Next Page: 10000

          La historia de uno de los grandes retos científicos y tecnológicos de nuestros tiempos: conseguir una máquina que planche la ropa      Cache   Translate Page      

La historia de uno de los grandes retos científicos y tecnológicos de nuestros tiempos: conseguir una máquina que planche la ropa#source%3Dgooglier%2Ecom#https%3A%2F%2Fgooglier%2Ecom%2Fpage%2F%2F10000

Invertimos unas 9.000 horas de nuestra vida en doblar la ropa. Es un dato de Foldimate, una de las empresas que está intentando revolucionar un sector que nos afecta a todos como es el de las tareas domésticas más básicas. Lavar, doblar o planchar la ropa. Cerca de un año de nuestras vidas que podremos aprovechar en otros quehaceres si logran tener éxito en su misión: crear una máquina que doble y planche la ropa por nosotros.

Aunque un robot para planchar la ropa puede que solo sea otra de esas ocurrencias tecnológicas sin sentido, en realidad es la innovación que todos esperábamos. Y no está siendo nada fácil. Desde hace más de diez años investigadores y expertos en robótica están trabajando en construir un robot capaz de realizar estos movimientos, naturales para el ser humano pero todo un desafío para las máquinas.

Afortunadamente tenemos buenas noticias. Los avances en robótica e inteligencia artificial están dando sus frutos y ya tenemos varios modelos preparados para aterrizar al mercado. Vamos a conocerlos y repasar el camino que se ha tenido que recorrer hasta poder fabricar estas máquinas que todos querremos tener en nuestra casa.

Laundroid, un proyecto con más de 60 millones detrás

El proyecto más ambicioso de crear una máquina que doble y planche la ropa por nosotros era Laundroid. Fue mostrado por primera vez hace cuatro años pero el modelo final sigue sin estar disponible. ¿Su precio? Todavía no está confirmado pero sus creadores hablan de unos 16.000 dólares.

Seven Dreamers es la empresa japonesa detrás de Laundroid. Pero para este proyecto tan ambicioso no están solos. Panasonic y Daiwa House han colaborado con ellos desde el principio con una fuerte inversión. 60 millones de dólares por parte de Panasonic con una participación del 10% del proyecto según la BBC. Todo sea por adelantarse en la carrera por construir una de las máquinas del futuro.

Laundroid Robot Plancha

Durante el CES del año pasado tuvimos oportunidad de ver Laundroid en funcionamiento. Estamos ante un enorme armario en cuyo interior tiene un mecanismo para reconocer las distintas prendas y sacarlas perfectamente dobladas y planchadas. El objetivo de la empresa es que en el futuro tengamos un Laundroid en la habitación, donde podamos colocar la ropa de cualquier manera y nos la devuelva en perfecto estado.

Laundroid es la máquina para doblar y planchar la ropa más avanzada. Un proyecto que cuenta con el fuerte apoyo de compañías japonesas como Daiwa House y Panasonic pero sigue sin materializarse.

El sistema tarda de cinco a diez minutos en plegar cada prenda, pero esperan reducir ese tiempo significativamente. La compañía cuenta con más de 40 desarrollos propios en campos como el análisis de imagen, inteligencia artificial y robótica. Una serie de tecnologías que permiten al Laundroid identificar los tejidos, el tipo de ropa y organizar las prendas en montones separados. Todo en un armario que no hacía especialmente ruido cuando estuvimos viéndolo y con un diseño vanguardista. También es cierto que su tamaño y precio lo alejan bastante de la máquina para planchar la ropa que podríamos tener en nuestras casas.

La última versión mostrada Laundroid dispone de integración con el asistente de voz Alexa así como una aplicación para móvil donde el usuario puede elegir qué piezas de ropa concretas la máquina doblará y planchará. El equipo de Laundroid tiene en mente además lanzar una API para que otros puedan extender sus posibilidades, aunque todavía estamos lejos de esa fase.

Panasonic aprovechó la IFA para promocionar su idea futurista de hogar conectado. Entre los distintos electrodomésticos también se mostró un prototipo de mantenedor sostenible. Un sistema de lavado inteligente que identificar la ropa, elige el ciclo de lavado apropiado según el nivel de suciedad, seca la ropa, la plancha y la dobla en su lugar correspondiente. Un modelo muy similar al de Laundroid y muestra que tarde o temprano el gigante japonés quiere ofrecer una máquina de estas características. Veremos si finalmente en el IFA de este año conocemos alguna novedad de este ambicioso proyecto.

TEO y su plancha

Teo

Para llegar a fabricar estas sofisticadas máquinas antes se han hecho muchas pruebas. Experimentos, robots más rudimentarios y muchísima investigación en robótica e inteligencia artificial para poder realizar una tarea aparentemente tan sencilla. En el hogar tenemos robots aspiradores o de cocina pero la automatización del planchado representa un reto más grande.

En 2010, Pieter Abbeel y Jeremy Maitin-Shepard del Departamento de Ingeniería Eléctrica y Ciencia Computacional de la Universidad de Berkeley crearon un robot denominado B.R.E.T.T (Berkeley Robot for the Elimination of Tedious Tasks). Teníamos un robot con dos brazos capaz de coger la ropa, apilarla y en unos 20-25 minutos doblarla. Todo un trabajo en inteligencia artificial para aprender cómo enfrentarse a una pieza de ropa.

Laundry Robot Ropa

Programar doblar una camisa era una tarea sencilla, pero si esta camisa no se colocaba de una determinada forma o tenía más botones, entonces el algoritmo fallaba. Los investigadores lo planearon de otra forma. Breet coge la prenda y mediante sus cámaras 3D identifica la forma y el peso de la camisa para poder extenderla en la mesa. Una vez extendida el robot es capaz de identificar las esquinas, las mangas y las distintas partes. Y entonces proceder al planchado. Las primeras demostraciones se hicieron con 50 toallas de diversos colores y tamaños.

Más reciente es TEO, el robot fruto de la investigación de David Estévez, Juan G. Victores, Raul Fernandez-Fernandez y Carlos Balaguer de la Universidad Carlos III de Madrid. De nuevo a partir de cámaras 3D puede planchar prendas y entender arrugas o pliegues en la ropa.

Su sistema de computación "Wrinkleness Local Descriptor" calcula la trayectoria de la plancha y al contrario que otros trabajos no necesita conocer previamente cómo será la ropa. Los resultados son muy precisos y al contrario que otras máquinas planchadoras, a TEO le han dado forma humanoide.

Los avances en visión por computador e inteligencia artificial están permitiendo algoritmos más precisos capaces de entender arrugas en tejidos de todos los tipos.
Iron Workflow

Otra investigación enfocada en el planchado de nuestra ropa es la del Departamento de Ciencia Computacional de La Universidad de Columbia. En 2016, Peter K. Allen y su equipo nos mostraban todo su trabajo en análisis de superficies para detectar arrugas y eliminarlas.

El algoritmo se basa en dos técnicas, por un lado escaneo de curvaturas y otro de discontinuidades. La primera de ella analiza la altura del tejido mientras que la segunda detecta las zonas más abruptas que normalmente corresponden a las arrugas. Con una combinación de estas dos el sistema sabe dónde debe planchar. Estas investigaciones fueron la base de la creación de estas máquinas y continuarán siéndolo para conseguir que sean más eficientes.

¿Cuánto costarán estas máquinas? Unos 1000 euros si quieres doblar la ropa

Hemos visto el ambicioso proyecto de Panasonic y Laundroid. La tecnología para reconocer arrugas también está muy avanzada. ¿Qué es lo que queda? Principalmente crear una máquina suficiente económica para ser un producto viable comercialmente. Y esto es lo que ha conseguido FoldiMate, capaz de doblar hasta 25 piezas en menos de 5 minutos.

FoldiMate nos doblará la ropa por 980$. Disponible a finales de 2019 en los EEUU y con un tamaño no mucho más grande que el de una lavadora.

FoldiMate nos ofrece una máquina en un tamaño no mucho más grande que una lavadora. Colocamos la pieza de ropa sobre una placa, la máquina se traga la pieza y la devuelve perfectamente doblada en un cajón en la parte inferior. La pudimos probar con pantalones, camisas, camisetas, toallas o jerseys y en todos funcionó a la perfección. Aunque tiene sus limitaciones, FoldiMate se limita a doblar y no plancha la ropa. También debemos colocar la ropa inicialmente en una posición concreta para que la máquina pueda doblarla. El prototipo mostrado de momento es bastante delicado y se atasca en cuanto colocábamos mal la prenda o la recogemos antes de tiempo.

Gal Rozov, CEO de FoldiMate anticipa que "Estamos encantados con el nuevo modelo mejorado y queremos tenerlo en nuestras casas lo antes posible.". Una muestra que su dispositivo está listo para el mercado ya que desde su web online abrirán las reservas. ¿Precio y disponibilidad? 980 dólares en los Estados Unidos a finales de 2019.

Pese a que no dispone de función de planchado, ya están trabajando con BSH para popularizar seriamente este tipo de máquinas.

Más interesante además es su alianza con BSH, líder de electrodomésticos en Europa. Más reconocido por ser la matriz de marcas como Bosch, Siemens, Junkers o Balay. De momento se trata de una exploración de sinergias e innovación conjunta, pero sin duda es un paso en la buena dirección para democratizar las máquinas que doblan nuestra ropa.

FoldiMate además asegura que la máquina está preparada para recibir actualizaciones OTA a través de WiFi, por lo que en el futuro también podría recibir nuevas formas de doblado y mejoras en su algoritmo.

Para planchar la clave sigue siendo el vapor

Effie

A decir verdad ya tenemos disponibles máquinas que ponen nuestra ropa a punto en 10 minutos. Tenemos opciones como Swash, que además de reducir las arrugas también elimina los malos olores. Se trata una máquina que al contrario que el resto no se basa en movimientos mecánicos, sino en unas pequeñas pastillas que contienen componentes químicos como humidificadores, agua y neutralizadores del pH. Se puso a la venta en 2016 por 499 dólares en los EEUU, pero no parece que tuvo el tirón necesario para expandirse.

En primavera de 2018 llegó Effie, una máquina de planchado creada por Rohan Kamdar y Trevor Kerth. Dos jóvenes londinenses que prometen haber reducido en un 95% el tiempo de planchado. Únicamente tres minutos para planchar cada prenda y otros tres para secarlas.

Encontrar una máquina que nos doble y planche la ropa todavía es difícil, pero si lo que queremos es únicamente planchado sí podemos encontrar numerosas opciones. Principalmente basadas en el vapor.

Su precio será de 699 libras y el diseño es peculiar. Un armario de plástico de 128cm de altura con doce perchas ajustables en el interior. Tiene además un espacio donde lo rellenaremos con agua y esto nos creará un vapor que mediante un brazo irá subiendo y bajando. Una máquina que copia el mecanismo de la plancha de vapor más tradicional pero automatiza el proceso.

Effie permite planchar hasta 12 prendas de una tirada, funciona con todo tipo de prendas tradicionales como pantalones, camisas o camisetas y también con la mayoría de tejidos excepto el cuero.

Lg Styler
Los armarios del futuro nos plancharán y doblarán la ropa. Pero hay que esperar que mejoren la identificación de prendas y arrugas, sean más ágiles y cuidadosos al doblar la ropa y por supuesto bajen de precio.

Otra máquina que nos planchará la ropa es el LG Styler, un elegante armario con espejo exterior que también mediante vapor caliente pulverizado nos ayudará a eliminar las arrugas y reducir el mal olor. En 20 minutos podremos tener nuestras prendas listas para la ocasión. En este caso, el precio sube a los 2099 dólares.

Durante este CES, LG ha presentado una modificación de su LG Styler con espejo y un diseño más refinado y moderno. Adicionalmente se ha añadido compatibilidad con Google Assistant y el uso de tecnologías como 'LG TrueSteam' para eliminar olores y bacterías o 'Pants Crease Care' para garantizar una apariencia limpia y sin arrugas.

Lg Styler

De momento estas máquinas para doblar y planchar nuestra ropa son bastante limitados pero los avances en los últimos años nos hacen ser optimistas. Por un lado tenemos los robots capaces de doblar la ropa como FoldiMate que estarán listos, previsiblemente, para este año, por otro máquinas de vapor en forma de armario para planchar como Effie o el LG Styler que ya se pueden comprar. Finalmente hay proyectos muy ambiciosos como Laundroid que permiten planchar y doblar la ropa, pero su precio, tamaño y disponibilidad los sitúa de momento lejos de nuestros bolsillos.

recommendation.header

Ni repelentes, ni modificación genética, ni venenos: estos señuelos "caseros" son increíblemente eficaces contra los mosquitos

En el espacio la ropa sucia no se lava, se quema: en la Estación Espacial Internacional ser calzoncillo tiene un destino incierto

Gasolina, diésel, híbrido… Cómo acertar con la propulsión

-
the.news La historia de uno de los grandes retos científicos y tecnológicos de nuestros tiempos: conseguir una máquina que planche la ropa originally.published.in por Enrique Pérez .


          Fusion Rules for the Lattice Vertex Operator Algebra $V_L$. (arXiv:1903.04665v1 [math.QA])      Cache   Translate Page      

Authors: Danquynh Nguyen

For a positive-definite, even, integral lattice $L$, the lattice vertex operator algebra $V_L$ is known to be rational and $C_2$-cofinite, and thus the fusion products of its modules always exist. The fusion product of two untwisted irreducible $V_L$-modules is well-known, namely $V_{L+\lambda} \boxtimes_{V_L} V_{L+\mu} = V_{L + \lambda + \mu}$. In this paper, we determine the other two fusion products: $V_{L+\lambda} \boxtimes_{V_L} V_L^{T_{\chi}}$ and $V_L^{T_{\chi_1}} \boxtimes_{V_L} V_L^{T_{\chi_2}}$.


          Noncommutative gauge theories on D-branes in non-geometric backgrounds. (arXiv:1903.04947v1 [hep-th])      Cache   Translate Page      

Authors: Chris Hull, Richard J. Szabo

We investigate the noncommutative gauge theories arising on the worldvolumes of D-branes in non-geometric backgrounds obtained by T-duality from twisted tori. We revisit the low-energy effective description of D-branes on three-dimensional T-folds, examining both cases of parabolic and elliptic twists in detail. We give a detailed description of the decoupling limits and explore various physical consequences of the open string non-geometry. The T-duality monodromies of the non-geometric backgrounds lead to Morita duality monodromies of the noncommutative Yang-Mills theories induced on the D-branes. While the parabolic twists recover the well-known examples of noncommutative principal torus bundles from topological T-duality, the elliptic twists give new examples of noncommutative fibrations with non-geometric torus fibres. We extend these considerations to D-branes in backgrounds with R-flux, using the doubled geometry formulation, finding that both the non-geometric background and the D-brane gauge theory necessarily have explicit dependence on the dual coordinates, and so have no conventional formulation in spacetime.


          The colored Jones polynomial and Kontsevich-Zagier series for double twist knots, II. (arXiv:1903.05060v1 [math.GT])      Cache   Translate Page      

Authors: Jeremy Lovejoy, Robert Osburn

Let $K_{(m,p)}$ denote the family of double twist knots where $2m-1$ and $2p$ are non-zero integers denoting the number of half-twists in each region. Using a result of Takata, we prove a formula for the colored Jones polynomial of $K_{(-m,-p)}$ and $K_{(-m,p)}$. The latter case leads to new families of $q$-hypergeometric series generalizing the Kontsevich-Zagier series. We also use Bailey pairs and formulas of Walsh to find cyclotomic-like expansions for the colored Jones polynomials of $K_{(m,p)}$ and $K_{(m,-p)}$.


          Braided C*-quantum groups. (arXiv:1601.00169v2 [math.OA] UPDATED)      Cache   Translate Page      

Authors: Sutanu Roy

We propose a general theory of braided quantum groups in the C*-algebraic framework using the language of multiplicative unitaries. More precisely, we construct C*-quantum groups in the monoidal category of Yetter-Drinfeld C*-algebras over regular C*-quantum groups $\mathbb{G}$ from manageable multiplicative unitaries in the braided monoidal category of $\mathbb{G}$-Yetter-Drinfeld compatible Hilbert space representations. Moreover, we show that braided C*-quantum groups are equivalent to C*-quantum groups with projection which generalises the Radford-Majid bosonization (for Hopf algebras) to C*-quantum groups. We show that complex quantum plane admits a braided C*-quantum group structure and the associated semidirect product is a simplified version of quantum $E(2)$ of Woronowicz.


          Boundary matrices for the higher spin six vertex model. (arXiv:1903.00274v2 [math-ph] UPDATED)      Cache   Translate Page      

Authors: Vladimir V. Mangazeev, Xilin Lu

In this paper we consider solutions to the reflection equation related to the higher spin stochastic six vertex model. The corresponding higher spin $R$-matrix is associated with the affine quantum algebra $U_q(\widehat{sl(2)})$. The explicit formulas for boundary $K$-matrices for spins $s=1/2,1$ are well known. We derive difference equations for the generating function of matrix elements of the $K$-matrix for any spin $s$ and solve them in terms of hypergeometric functions. As a result we derive the explicit formula for matrix elements of the $K$-matrix for arbitrary spin. In the lower- and upper- triangular cases, the $K$-matrix simplifies and reduces to simple products of $q$-Pochhammer symbols.


          Quantization of Magnetic Poisson Structures. (arXiv:1903.02845v1 [hep-th] CROSS LISTED)      Cache   Translate Page      

Authors: Richard J. Szabo

We describe three perspectives on higher quantization, using the example of magnetic Poisson structures which embody recent discussions of nonassociativity in quantum mechanics with magnetic monopoles and string theory with non-geometric fluxes. We survey approaches based on deformation quantization of twisted Poisson structures, symplectic realization of almost symplectic structures, and geometric quantization using 2-Hilbert spaces of sections of suitable bundle gerbes. We compare and contrast these perspectives, describing their advantages and shortcomings in each case, and mention many open avenues for investigation.


          Google puede entender lo que le digas sin conexión a la red      Cache   Translate Page      

En menos de una década los reconocimientos de voz pasaron de ser relativamente útiles a sorprender a más de uno y hoy a poder seguir sorprendiendo pero sin siquiera conectarse a la red.

Esta es una de las características más pedidas por casi todos, que no exista delay de red, que no tenga que resolver el problema una enorme granja de servidores en la nube sino un simple teléfono.

Con "simple teléfono" también estamos siendo irónicos porque hoy hablamos de hasta ocho núcleos a 2GHz, 4GB de RAM y semejantes en teléfonos de gama media, algo que en los comienzos no era precisamente algo que existiera.

Google parece tener resuelto en parte esto con un nuevo modelo para el reconocimiento de voz que compactado puede ocupar unos 80Mb de espacio en un teléfono y ofrecer un proceso casi inmediato sin interrupciones. El modelo matemático es mucho más grande así que Google también trabajó notablemente en achicarlo comprimiéndolo y convirtiéndolo a otros modelos para llegar a este espacio que, siendo tan pequeño, entra hasta en un teléfono de gama baja.

El modelo utilizado, End-to-end (E2E), hasta terminó como paper publicado por Google y es una gran ventaja que sólo los dueños de un Pixel 3 podrán experimentar en el corto plazo pero que, seguramente, en un tiempo lo veamos en cualquier equipo ya que es una ventaja muy por encima de Siri o Alexa.

Obviamente este modelo sólo está entrenado en inglés americano, olvídense de nuestro idioma aunque sea de los más hablados del mundo, creo que el español sólo está por detrás del mandarín, pero así las cosas, siempre se hace todo primero en inglés.

Es muy interesante el posteo de Google al respecto por si les interesa indagar un poco más en el modelo utilizado y el método de compresión.


Copyright (C) 2005-2014, Fabio Baccaglioni [Permalink] [Comentarios] [Google]


          La fiscalia arxiva la causa contra el batlle de Santa Coloma de Farners per haver donat suport a l’1-O      Cache   Translate Page      
Joan Martí considera que s'ha demostrat que votar no és delicte
          R Packages worth a look      Cache   Translate Page      
The Pliable Lasso Test (pliable)Fits a pliable lasso model. For details see Tibshirani and Friedman (2018) <arXiv:1712.00484>.An R package for …

Continue reading


          Whats new on arXiv      Cache   Translate Page      
The Role of Artificial Intelligence (AI) in Adaptive eLearning System (AES) Content Formation: Risks and Opportunities involved Artificial Intelligence (AI) …

Continue reading


          Re: The Reference Frame: Six photons claimed to prove that Wigner, his friend have irreconcilable views      Cache   Translate Page      

Michael, I think that what is flawed is the Wigner's friend interpretation of the experiment and they are not the original source of it. Instead, they just parrot a theorist, namely the confused quasi philosopher Časlav Brukner, references 3,4.

https://arxiv.org/abs/1507....

Brukner has written other wrong stuff. For example here in 2015

https://motls.blogspot.com/...

he and others claim that just sitting in gravitational fields makes quantum systems decohere. And then the experimentalists blindly take the wrong reference 5 by Renner-Frauchiger that has been discussed on this blog earlier.


          Communication-efficient distributed SGD with Sketching. (arXiv:1903.04488v1 [cs.LG])      Cache   Translate Page      

Authors: Nikita Ivkin, Daniel Rothchild, Enayat Ullah, Vladimir Braverman, Ion Stoica, Raman Arora

Large-scale distributed training of neural networks is often limited by network bandwidth, wherein the communication time overwhelms the local computation time. Motivated by the success of sketching methods in sub-linear/streaming algorithms, we propose a sketching-based approach to minimize the communication costs between nodes without losing accuracy. In our proposed method, workers in a distributed, synchronous training setting send sketches of their gradient vectors to the parameter server instead of the full gradient vector. Leveraging the theoretical properties of sketches, we show that this method recovers the favorable convergence guarantees of single-machine top-$k$ SGD. Furthermore, when applied to a model with $d$ dimensions on $W$ workers, our method requires only $\Theta(kW)$ bytes of communication, compared to $\Omega(dW)$ for vanilla distributed SGD. To validate our method, we run experiments using a residual network trained on the CIFAR-10 dataset. We achieve no drop in validation accuracy with a compression ratio of 4, or about 1 percentage point drop with a compression ratio of 8. We also demonstrate that our method scales to many workers.


          Directed acyclic decomposition of Kuramoto equations. (arXiv:1903.04492v1 [math.CO])      Cache   Translate Page      

Authors: Tianran Chen

The Kuramoto model is one of the most widely studied model for describing synchronization behaviors in a network of coupled oscillators, and it has found a wide range of applications. Finding all possible frequency synchronization configurations in a general non-uniform heterogeneous sparse network is an important yet difficult problem due to the complicated nonlinear interactions. In this paper, we develop a general framework for decomposing a Kuramoto network into smaller directed acyclic subnetworks that will form the foundation of a divide-and-conquer approach for studying the frequency synchronization configurations of large Kuramoto networks.


          Stability of the logarithmic Sobolev inequality via the F\"ollmer Process. (arXiv:1903.04522v1 [math.PR])      Cache   Translate Page      

Authors: Ronen Eldan, Joseph Lehec, Yair Shenfeld

We study the stability and instability of the Gaussian logarithmic Sobolev inequality, in terms of covariance, Wasserstein distance and Fisher information, addressing several open questions in the literature. We first establish an improved logarithmic Sobolev inequality which is at the same time scale invariant and dimension free. As a corollary, we show that if the covariance of the measure is bounded by the identity, one may obtain a sharp and dimension-free stability bound in terms of the Fisher information matrix. We then investigate under what conditions stability estimates control the covariance, and when such control is impossible. For the class of measures whose covariance matrix is dominated by the identity, we obtain optimal dimension-free stability bounds which show that the deficit in the logarithmic Sobolev inequality is minimized by Gaussian measures, under a fixed covariance constraint. On the other hand, we construct examples showing that without the boundedness of the covariance, the inequality is not stable. Finally, we study stability in terms of the Wasserstein distance, and show that even for the class of measures with a bounded covariance matrix, it is hopeless to obtain a dimension-free stability result. The counterexamples provided motivate us to put forth a new notion of stability, in terms of proximity to mixtures of the Gaussian distribution. We prove new estimates (some dimension-free) based on this notion. These estimates are strictly stronger than some of the existing stability results in terms of the Wasserstein metric. Our proof techniques rely heavily on stochastic methods.


          The Iterated Local Model for Social Networks. (arXiv:1903.04523v1 [math.CO])      Cache   Translate Page      

Authors: Anthony Bonato, Huda Chuangpishit, Sean English, Bill Kay, Erin Meger

On-line social networks, such as in Facebook and Twitter, are often studied from the perspective of friendship ties between agents in the network. Adversarial ties, however, also play an important role in the structure and function of social networks, but are often hidden. Underlying generative mechanisms of social networks are predicted by structural balance theory, which postulates that triads of agents, prefer to be transitive, where friends of friends are more likely friends, or anti-transitive, where adversaries of adversaries become friends. The previously proposed Iterated Local Transitivity (ILT) and Iterated Local Anti-Transitivity (ILAT) models incorporated transitivity and anti-transitivity, respectively, as evolutionary mechanisms. These models resulted in graphs with many observable properties of social networks, such as low diameter, high clustering, and densification.

We propose a new, generative model, referred to as the Iterated Local Model (ILM) for social networks synthesizing both transitive and anti-transitive triads over time. In ILM, we are given a countably infinite binary sequence as input, and that sequence determines whether we apply a transitive or an anti-transitive step. The resulting model exhibits many properties of complex networks observed in the ILT and ILAT models. In particular, for any input binary sequence, we show that asymptotically the model generates finite graphs that densify, have clustering coefficient bounded away from 0, have diameter at most 3, and exhibit bad spectral expansion. We also give a thorough analysis of the chromatic number, domination number, Hamiltonicity, and isomorphism types of induced subgraphs of ILM graphs.


          When can a link be obtained from another using crossing exchanges and smoothings?. (arXiv:1903.04532v1 [math.GT])      Cache   Translate Page      

Authors: Carolina Medina, Gelasio Salazar

Let L be a fixed link. Given a link diagram D, is there a sequence of crossing exchanges and smoothings on D that yields a diagram of L? We approach this problem from the computational complexity point of view. It follows from work by Endo, Itoh, and Taniyama that if L is a prime link with crossing number at most 5, then there is an algorithm that answers this question in polynomial time. We show that the same holds for all torus links T 2,m and all twist knots.


          Minimal separators in graph classes defined by small forbidden induced subgraphs. (arXiv:1903.04534v1 [math.CO])      Cache   Translate Page      

Authors: Martin Milanič, Nevena Pivač

Minimal separators in graphs are an important concept in algorithmic graph theory. In particular, many problems that are NP-hard for general graphs are known to become polynomial-time solvable for classes of graphs with a polynomially bounded number of minimal separators. Several well-known graph classes have this property, including chordal graphs, permutation graphs, circular-arc graphs, and circle graphs. We perform a systematic study of the question which classes of graphs defined by small forbidden induced subgraphs have a polynomially bounded number of minimal separators. We focus on sets of forbidden induced subgraphs with at most four vertices and obtain an almost complete dichotomy, leaving open only two cases.


          On the role of cancer cells' diffusion in the tumor growth paradox. (arXiv:1903.04537v1 [math.AP])      Cache   Translate Page      

Authors: Isai Padilla, Ramón G. Plaza

In this contribution, the non-local, integro-partial differential system of equations proposed by Hillen et al. (Bull. Math. Biol. 75, 2013, no.1, 161-184) to account for the the tumor growth paradox (or the observation that some incomplete cancer treatments may enhance tumor growth) is reviewed. It is shown that when cancer cells' diffusion effects and Neumann boundary conditions are taken into consideration, the same paradoxical tumor growth emerges.


          Edge colorings of graphs without monochromatic stars. (arXiv:1903.04541v1 [math.CO])      Cache   Translate Page      

Authors: Lucas Colucci, Ervin Győri

In this note, we improve on results of Hoppen, Kohayakawa and Lefmann about the maximum number of edge colorings without monochromatic copies of a star of a fixed size that a graph on $n$ vertices may admit. Our results rely on an improved application of an entropy inequality of Shearer.


          On the distribution of consecutive square-free numbers of the form $\mathbf{[\alpha n], [\alpha n]+1}$. (arXiv:1903.04545v1 [math.NT])      Cache   Translate Page      

Authors: S. I. Dimitrov

In the present paper we show that there exist infinitely many consecutive square-free numbers of the form $[\alpha n]$, $[\alpha n]+1$, where $\alpha>1$ is irrational number with bounded partial quotient or irrational algebraic number.


          Optimisation and Comprehensive Evaluation of Alternative Energising Paths for Power System Restoration. (arXiv:1903.04547v1 [eess.SP])      Cache   Translate Page      

Authors: Shaoyan Li, Xueping Gu, Guangqi Zhou, Yang Li

Power system restoration after a major blackout is a complex process, in which selection of energising paths is a key issue to realize unit and load restoration safely and efficiently. In general, the energising path scheme made beforehand may not be executed successfully due to the possible faults on the related lines under the extreme system condition, so it is necessary to provide alternative path schemes for system restoration. In view of this, the energising path optimisation based on the minimum cost flow model is investigated, then an iterative searching method for alternative path schemes based on mixed integer linear programming is proposed. The iterative method for alternative path schemes could determine more than one scheme with minimal charging reactive power efficiently. In order to make a comprehensive evaluation of the alternative schemes, an evaluation index set is established, and the method based on similarity to ideal grey relational projection is introduced to achieve the final evaluation. The New England 10-unit 39-bus system and the southern Hebei power system of China are employed to demonstrate the effectiveness of the proposed method. The proposed method can provide more efficient and comprehensive decision support for the dispatchers to select reasonable energising paths.


          Extended Nonstandard Neutrosophic Logic, Set, and Probability based on Extended Nonstandard Analysis. (arXiv:1903.04558v1 [math.GM])      Cache   Translate Page      

Authors: Florentin Smarandache

We extend for the second time the Nonstandard Analysis by adding the left monad closed to the right, and right monad closed to the left, while besides the pierced binad (we introduced in 1998) we add now the unpierced binad - all these in order to close the newly extended nonstandard space under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations. Then, we extend the Nonstandard Neutrosophic Logic, Nonstandard Neutrosophic Set, and Nonstandard Probability on this Extended Nonstandard Analysis space - that we prove it is a nonstandard neutrosophic lattice of first type (endowed with a nonstandard neutrosophic partial order) as well as a nonstandard neutrosophic lattice of second type (as algebraic structure, endowed with two binary neutrosophic laws, inf_N and sup_N). Many theorems, new terms introduced, and examples of nonstandard neutrosophic operations are given.


          A proof of the Khavinson conjecture. (arXiv:1903.04564v1 [math.AP])      Cache   Translate Page      

Authors: Petar Melentijević

\begin{abstract}

This paper deals with an extremal problem for bounded harmonic functions in

the unit ball $\mathbb{B}^n.$ We solve the Khavinson conjecture in $\mathbb{R}^3,$

an intriguing open question since 1992 posed by D. Khavinson, later considered in a general context by Kresin and Maz'ya. Precisely, we obtain the following inequality:

$$|\nabla u(x)|\leq \frac{1}{\rho^2}\bigg({\frac{(1+\frac{1}{3}\rho^2)^{\frac{3}{2}}}{1-\rho^2}-1}\bigg) \sup_{|y|<1} |u(y)|, $$

with $\rho=|x|,$ thus sharpening the previously known with $|\langle \nabla u(x),n_{x} \rangle |$ instead of $|\nabla u(x)|, $ where $n_{x}=\frac{x}{|x|}.$ \end{abstract}


          Pointwise gradient bounds for entire solutions of elliptic equations with non-standard growth conditions and general nonlinearities. (arXiv:1903.04569v1 [math.AP])      Cache   Translate Page      

Authors: Cecilia Cavaterra, Serena Dipierro, Alberto Farina, Zu Gao, Enrico Valdinoci

We give pointwise gradient bounds for solutions of (possibly non-uniformly) elliptic partial differential equations in the entire Euclidean space.

The operator taken into account is very general and comprises also the singular and degenerate nonlinear case with non-standard growth conditions. The sourcing term is also allowed to have a very general form, depending on the space variables, on the solution itself, on its gradient, and possibly on higher order derivatives if additional structural conditions are satisfied.


          The normalized distance Laplacian. (arXiv:1903.04575v1 [math.CO])      Cache   Translate Page      

Authors: Carolyn Reinhart

The distance matrix $\mathcal{D}(G)$ of a graph $G$ is the matrix containing the pairwise distances between vertices. The transmission of a vertex $v_i$ in $G$ is the sum of the distances from $v_i$ to all other vertices and $T(G)$ is the diagonal matrix of transmissions of the vertices of the graph. The normalized distance Laplacian, $\mathcal{D}^{\mathcal {L}}(G)=I-T(G)^{-1/2}\mathcal{D}(G) T(G)^{-1/2}$, is introduced. This is analogous to the normalized Laplacian matrix, $\mathcal{L}(G)=I-D(G)^{-1/2}A(G)D(G)^{-1/2}$, where $D(G)$ is the diagonal matrix of degrees of the vertices of the graph and $A(G)$ is the adjacency matrix. Bounds on the spectral radius of $\mathcal{D}^{\mathcal {L}}$ and connections with the normalized Laplacian matrix are presented. Twin vertices are used to determine eigenvalues of the normalized distance Laplacian. The generalized distance characteristic polynomial is defined and its properties discussed. Finally, $\mathcal{D}^{\mathcal {L}}$-cospectrality is studied for all graphs on 10 and fewer vertices, providing evidence that the normalized distance Laplacian has fewer cospectral pairs than other matrices.


          Brazilian Primes Which Are Also Sophie Germain Primes. (arXiv:1903.04577v1 [math.NT])      Cache   Translate Page      

Authors: Jon Grantham, Hester Graves

We disprove a conjecture of Schott that no Brazilian primes are Sophie Germain primes. We enumerate all counterexamples up to $10^{44}$.


          The smooth locus in infinite-level Rapoport-Zink spaces. (arXiv:1903.04588v1 [math.NT])      Cache   Translate Page      

Authors: Alexander B. Ivanov, Jared Weinstein

Rapoport-Zink spaces are deformation spaces for $p$-divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let $\mathscr{M}_{\infty}$ be an infinite-level Rapoport-Zink space of EL type, and let $\mathscr{M}_{\infty}^\circ$ be one geometrically connected component of it. We show that $\mathscr{M}_{\infty}^{\circ}$ contains a dense open subset which is cohomologically smooth in the sense of Scholze. This is the locus of $p$-divisible groups which do not have any extra endomorphisms. As a corollary, we find that the cohomologically smooth locus in the infinite-level modular curve $X(p^\infty)^{\circ}$ is exactly the locus of elliptic curves $E$ with supersingular reduction, such that the formal group of $E$ has no extra endomorphisms.


          Complete open Kahler manifolds with nonnegative bisectional curvature and non-maximal volume growth. (arXiv:1903.04594v1 [math.DG])      Cache   Translate Page      

Authors: James W. Ogaja

It is still an open problem that a complete open Kahler manifold with positive bisectional curvature is Stein. This paper partially resolve the problem by putting a restriction to volume growth condition. The partial solution here improves the observation in ([8], page 341). The improvement is based on assuming a weaker volume growth condition that is not sufficiently maximal.


          Decentralized Optimal Control of Connected Automated Vehicles at Signal-Free Intersections Including Comfort-Constrained Turns and Safety Guarantees. (arXiv:1903.04600v1 [math.OC])      Cache   Translate Page      

Authors: Yue Zhang, Christos G. Cassandras

We extend earlier work for optimally controlling Connected Automated Vehicles (CAVs) crossing a signal-free intersection by including all possible turns taken so as to optimize a passenger comfort metric along with energy and travel time minimization. We show that it is possible to achieve this goal in a decentralized manner with each CAV solving an optimal control problem, and derive explicit solutions that guarantee collision avoidance and safe distance constraints within a control zone. We investigate the associated tradeoffs between minimizing energy and vehicle travel time, as well as the passenger comfort metric and include extensive simulations to illustrate this framework.


          Nijenhuis Geometry. (arXiv:1903.04603v1 [math.DG])      Cache   Translate Page      

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

This work is the first, and main, of the series of papers in progress dedicated to Nienhuis operators, i.e., fields of endomorphisms with vanishing Nijenhuis tensor. It serves as an introduction to Nijenhuis Geometry that should be understood in much wider context than before: from local description at generic points to singularities and global analysis. The goal of the present paper is to introduce terminology, develop new important techniques (e.g., analytic functions of Nijenhuis operators, splitting theorem and linearisation), summarise and generalise basic facts (some of which are already known but we give new self-contained proofs), and more importantly, to demonstrate that the research programme proposed in the paper is realistic by proving a series of new, not at all obvious, results.


          So what is class number 2?. (arXiv:1903.04606v1 [math.AC])      Cache   Translate Page      

Authors: Scott T. Chapman

Using factorization properties, we give several characterizations for an algebraic number ring to have class number 2.


          A Translation of "Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen" by Heinz Bachmann. (arXiv:1903.04609v1 [math.LO])      Cache   Translate Page      

Authors: Heinz Bachmann

This is a translation of Heinz Bachmann's influential paper, wherein the Bachmann-Howard ordinal is defined, and some general considerations given on systems of ordinal functions. Permission to post has been granted by the editors of Vierteljahrsschrift der Naturforschenden Gesellschaft in Zurich (www.ngzh.ch)


          Modal logics of finite direct powers of $\omega$ have the finite model property. (arXiv:1903.04614v1 [math.LO])      Cache   Translate Page      

Authors: Ilya Shapirovsky

Let $(\omega^n,\preceq)$ be the direct power of $n$ instances of $(\omega,\leq)$, natural numbers with the standard ordering, $(\omega^n,\prec)$ the direct power of $n$ instances of $(\omega,<)$. We show that for all finite $n$, the modal logics of $(\omega^n,\preceq)$ and of $(\omega^n,\prec)$ have the finite model property and moreover, the modal algebras of the frames $(\omega^n,\preceq)$ and $(\omega^n,\prec)$ are locally finite.


          The $q$-Higgs and Askey-Wilson algebras. (arXiv:1903.04616v1 [math-ph])      Cache   Translate Page      

Authors: Luc Frappat, Julien Gaboriaud, Eric Ragoucy, Luc Vinet

A $q$-analogue of the Higgs algebra, which describes the symmetry properties of the harmonic oscillator on the $2$-sphere, is obtained as the commutant of the $\mathfrak{o}_{q^{1/2}}(2) \oplus \mathfrak{o}_{q^{1/2}}(2)$ subalgebra of $\mathfrak{o}_{q^{1/2}}(4)$ in the $q$-oscillator representation of the quantized universal enveloping algebra $U_q(\mathfrak{u}(4))$. This $q$-Higgs algebra is also found as a specialization of the Askey--Wilson algebra embedded in the tensor product $U_q(\mathfrak{su}(1,1))\otimes U_q(\mathfrak{su}(1,1))$. The connection between these two approaches is established on the basis of the Howe duality of the pair $\big(\mathfrak{o}_{q^{1/2}}(4),U_q(\mathfrak{su}(1,1))\big)$.


          Scherk-like Translators for Mean Curvature Flow. (arXiv:1903.04617v1 [math.DG])      Cache   Translate Page      

Authors: David Hoffman, Francisco Martín, Brian White

We prove existence and uniqueness for a two-parameter family of translators for mean curvature flow. We get additional examples by taking limits at the boundary of the parameter space. Some of the translators resemble well-known minimal surfaces (Scherk's doubly periodic minimal surfaces, helicoids), but others have no minimal surface analogs.


          Pay to change lanes: A cooperative lane-changing strategy for connected/automated driving. (arXiv:1903.04620v1 [math.OC])      Cache   Translate Page      

Authors: DianChao Lin, Li Li, Saif Eddin Jabari

This paper proposes a cooperative lane changing strategy using a transferable utility games framework. This allows vehicles to engage in transactions where gaps in traffic are created in exchange for monetary compensation. We formulate gains in travel time, referred to as time differences, that result from achieving higher speeds. These time differences, coupled with value of time, are used to formulate a utility function where utility is transferable. We also allow for games between connected vehicles that do not involve transfer of utility. We apply Nash bargaining theory to solve the latter. A cellular automaton is developed and utilized to perform simulation experiments that explore the impact of such transactions on traffic conditions (travel-time savings, resulting speed-density relations and shock wave formation) and the benefit to vehicles. The results show that lane changing with transferable utility between drivers can help achieve win-win results, improve both individual and social benefits without resulting in any adverse effects on traffic characteristics in general and, in fact, result in slight improvement at traffic densities outside of free-flow and (bumper-to-bumper) jammed traffic.


          A conservative, consistent, and scalable meshfree mimetic method. (arXiv:1903.04621v1 [math.NA])      Cache   Translate Page      

Authors: Nathaniel Trask, Pavel Bochev, Mauro Perego

Mimetic methods discretize divergence by restricting the Gauss theorem to mesh cells. Because point clouds lack such geometric entities, construction of a compatible meshfree divergence remains a challenge. In this work, we define an abstract Meshfree Mimetic Divergence (MMD) operator on point clouds by contraction of field and virtual face moments. This MMD satisfies a discrete divergence theorem, provides a discrete local conservation principle, and is first-order accurate. We consider two MMD instantiations. The first one assumes a background mesh and uses generalized moving least squares (GMLS) to obtain the necessary field and face moments. This MMD instance is appropriate for settings where a mesh is available but its quality is insufficient for a robust and accurate mesh-based discretization. The second MMD operator retains the GMLS field moments but defines virtual face moments using computationally efficient weighted graph-Laplacian equations. This MMD instance does not require a background grid and is appropriate for applications where mesh generation creates a computational bottleneck. It allows one to trade an expensive mesh generation problem for a scalable algebraic one, without sacrificing compatibility with the divergence operator. We demonstrate the approach by using the MMD operator to obtain a virtual finite-volume discretization of conservation laws on point clouds. Numerical results in the paper confirm the mimetic properties of the method and show that it behaves similarly to standard finite volume methods.


          Finite semantics for fragments of intuitionistic logic. (arXiv:1903.04625v1 [math.LO])      Cache   Translate Page      

Authors: Felipe S. Albarelli, Rodolfo Ertola-Biraben

In 1932, G\"odel proved that there is no finite semantics for intuitionistic logic. We consider all fragments of intuitionistic logic and check in each case whether a finite semantics exists. We may fulfill a didactic goal, as little logic and algebra are presupposed.


          Safe Convex Learning under Uncertain Constraints. (arXiv:1903.04626v1 [math.OC])      Cache   Translate Page      

Authors: Ilnura Usmanova, Andreas Krause, Maryam Kamgarpour

We address the problem of minimizing a convex smooth function $f(x)$ over a compact polyhedral set $D$ given a stochastic zeroth-order constraint feedback model. This problem arises in safety-critical machine learning applications, such as personalized medicine and robotics. In such cases, one needs to ensure constraints are satisfied while exploring the decision space to find optimum of the loss function. We propose a new variant of the Frank-Wolfe algorithm, which applies to the case of uncertain linear constraints. Using robust optimization, we provide the convergence rate of the algorithm while guaranteeing feasibility of all iterates, with high probability.


          Holomorphic extension of meromorphic mappings along real analytic hypersurfaces. (arXiv:1903.04633v1 [math.CV])      Cache   Translate Page      

Authors: Ozcan Yazici

Let $M\subset \mathbb C^n$ be a real analytic hypersurface, $M'\subset \mathbb C^N$ $(N\geq n)$ be a strongly pseudoconvex real algebraic hypersurface of the special form and $F$ be a meromorphic mapping in a neighborhood of a point $p\in M$ which is holomorphic in one side of $M$. Assuming some additional conditions for the mapping $F$ on the hypersurface $M$, we proved that $F$ has a holomorphic extension to $p$. This result may be used to show the regularity of CR mappings between real hypersurfaces of different dimensions.


          On nonlinear Schr\"odinger equations with attractive inverse-power potentials. (arXiv:1903.04636v1 [math.AP])      Cache   Translate Page      

Authors: Van Duong Dinh

We study the Cauchy problem for nonlinear Schr\"odinger equations with attractive inverse-power potentials. By using variational arguments, we first determine a sharp threshold of global well-posedness and blow-up for the equation in the mass-supercritical case. We next study the existence and non-existence of minimizers for the energy functional with prescribed mass constraint. In the mass-critical case, we also study the blow-up behavior of minimizers when the mass tends to a critical value.


          Generalized Sparse Additive Models. (arXiv:1903.04641v1 [stat.ME])      Cache   Translate Page      

Authors: Asad Haris, Noah Simon, Ali Shojaie

We present a unified framework for estimation and analysis of generalized additive models in high dimensions. The framework defines a large class of penalized regression estimators, encompassing many existing methods. An efficient computational algorithm for this class is presented that easily scales to thousands of observations and features. We prove minimax optimal convergence bounds for this class under a weak compatibility condition. In addition, we characterize the rate of convergence when this compatibility condition is not met. Finally, we also show that the optimal penalty parameters for structure and sparsity penalties in our framework are linked, allowing cross-validation to be conducted over only a single tuning parameter. We complement our theoretical results with empirical studies comparing some existing methods within this framework.


          The Multi-objective Dynamic Traveling Salesman Problem: Last Mile Delivery with Unmanned Aerial Vehicles Assistance. (arXiv:1903.04643v1 [math.OC])      Cache   Translate Page      

Authors: Ben Remer, Andreas A. Malikopoulos

In this paper, we present an approach to optimizing the last-mile delivery route of a truck using coordination with unmanned aerial vehicles (UAVs). First, a traveling salesman problem is formulated to determine the truck's route. Then, a scheduling problem is formulated to determined the routes for the UAVs. A genetic algorithm is used to solve these problems, and simulated results are presented.


          Some qualitative studies of the focusing inhomogeneous Gross-Pitaevskii equation. (arXiv:1903.04644v1 [math.AP])      Cache   Translate Page      

Authors: Alex H. Ardila, Van Duong Dinh

We study the Cauchy problem for an inhomogeneous Gross-Pitaevskii equation. We first derive a sharp threshold for global existence and blow up of the solution. Then we construct and classify finite time blow up solutions at the minimal mass threshold. Additionally, using variational techniques, we study the existence, the orbital stability and instability of standing waves.


          Syzygy Filtrations of Cyclic Nakayama Algebras. (arXiv:1903.04645v1 [math.RT])      Cache   Translate Page      

Authors: Emre Sen

We introduce a method "syzygy filtration" to give building blocks of syzygies appearing in projective resolutions of indecomposable $\Lambda$-modules where $\Lambda$ is a cyclic Nakayama algebra. We interpret homological invariants of $\Lambda$ including finitistic dimension, $\varphi$ dimension, Gorenstein dimension and their upper bounds in terms of this new filtration. We give a simpler proof of theorem relating Gorenstein dimension to $\varphi$ dimension. Moreover we show that ($\varphi\dim\Lambda-fin\dim\Lambda) \leq 1$.


          MPC for Energy Efficient HVAC Control with Humidity and Latent Heat Considerations. (arXiv:1903.04652v1 [cs.SY])      Cache   Translate Page      

Authors: Naren Srivaths Raman, Karthikeya Devaprasad, Bo Chen, Herbert A. Ingley, Prabir Barooah

Even though energy efficient climate control of buildings using model predictive control (MPC) has been widely investigated, most MPC formulations ignore humidity and latent heat. The inclusion of moisture makes the problem considerably more challenging, primarily since a cooling and dehumidifying coil model which accounts for both sensible and latent heat transfers is needed. In this work, we propose an MPC controller in which humidity and latent heat are incorporated in a principled manner. We construct low order data-driven models of a cooling and dehumidifying coil that can be used in the MPC formulation. The resulting controller's performance is tested in simulation using a plant that differs significantly from the model used by the optimizer. Additionally, the performance of the proposed controller is compared with that of a naive MPC controller which does not explicitly consider humidity, and also to that of a conventional rule-based controller. Simulations show that the proposed MPC controller outperforms the other two consistently. It is also observed that the naive MPC formulation which does not consider humidity leads to poor humidity control under certain conditions. Such violations in humidity can adversely affect occupant comfort and health.


          Directed diagrammatic reducibility. (arXiv:1903.04653v1 [math.GT])      Cache   Translate Page      

Authors: Jens Harlander, Stephan Rosebrock

We introduce the notion of directed diagrammatic reducibility which is a relative version of diagrammatic reducibility. Directed diagrammatic reducibility has strong group theoretic and topological consequences. A multi-relator version of the Freiheitssatz in the presence of directed diagrammatic reducibility is given. Results concerning relative asphericity and $\pi_1$-injectivity of subcomplexes are shown. We generalize the Corson/Trace characterization of diagrammatic reducibility to directed diagrammatic reducibility. We compare diagrammatic reducibility of relative presentations to directed diagrammatic reducibility. Classical tools for showing diagrammatic reducibility, such as the weight test, the max/min test, and small cancellation techniques are adapted to directed diagrammatic reducibility. The paper ends with some applications to labeled oriented trees.


          Joint Time Series and Cross-Section Limit Theory under Mixingale Assumptions. (arXiv:1903.04655v1 [math.PR])      Cache   Translate Page      

Authors: Jinyong Hahn, Guido Kuersteiner, Maurizio Mazzocco

In this paper we complement joint time series and cross-section convergence results of Hahn, Kuersteiner and Mazzocco (2016) by allowing for serial correlation in the time series sample. The implications of our analysis are limiting distributions that have a well known form of long run variances for the time series limit. We obtain these results at the cost of imposing strict stationarity for the time series model and conditional independence between the time series and cross-section samples. Our results can be applied to estimators that combine time series and cross-section data in the presence of aggregate uncertainty in models with rationally forward looking agents.


          Hamiltonian Monte Carlo On Lie Groups and Constrained Mechanics on Homogeneous Manifolds. (arXiv:1903.04662v1 [math.DG])      Cache   Translate Page      

Authors: Alessandro Barp

In this paper we show that the Hamiltonian Monte Carlo method for compact Lie groups constructed in \cite{kennedy88b} using a symplectic structure can be recovered from canonical geometric mechanics with a bi-invariant metric. Hence we obtain the correspondence between the various formulations of Hamiltonian mechanics on Lie groups, and their induced HMC algorithms. Working on $\G\times \g$ we recover the Euler-Arnold formulation of geodesic motion, and construct explicit HMC schemes that extend \cite{kennedy88b,Kennedy:2012} to non-compact Lie groups by choosing metrics with appropriate invariances. Finally we explain how mechanics on homogeneous spaces can be formulated as a constrained system over their associated Lie groups, and how in some important cases the constraints can be naturally handled by the symmetries of the Hamiltonian.


          Calibrating dependence between random elements. (arXiv:1903.04663v1 [math.PR])      Cache   Translate Page      

Authors: Abram M. Kagan, Gabor J. Székely

Attempts to quantify dependence between random elements X and Y via maximal correlation go back to Gebelein (1941) and R\'{e}nyi (1959). After summarizing properties (including some new) of the R\'{e}nyi measure of dependence, a calibrated scale of dependence is introduced. It is based on the ``complexity`` of approximating functions of X by functions of Y.


          Accelerated Learning in the Presence of Time Varying Features with Applications to Machine Learning and Adaptive Control. (arXiv:1903.04666v1 [math.OC])      Cache   Translate Page      

Authors: Joseph E. Gaudio, Travis E. Gibson, Anuradha M. Annaswamy, Michael A. Bolender

Features in machine learning problems are often time varying and may be related to outputs in an algebraic or dynamical manner. The dynamic nature of these machine learning problems renders current accelerated gradient descent methods unstable or weakens their convergence guarantees. This paper proposes algorithms for the case when time varying features are present, and demonstrates provable performance guarantees. We develop a variational perspective within a continuous time algorithm. This variational perspective includes, among other things, higher-order learning concepts and normalization, both of which stem from adaptive control, and allows stability to be established for dynamical machine learning problems. These higher-order algorithms are also examined for achieving accelerated learning in adaptive control. Simulations are provided to verify the theoretical results.


          Exceptional points of the Lindblad operator of a two-level system. (arXiv:1903.04676v1 [quant-ph])      Cache   Translate Page      

Authors: Naomichi Hatano

The Lindblad equation for a two-level system under an electric field is analyzed by mapping to a linear equation with a non-Hermitian matrix. Exceptional points of the matrix are found to be extensive; the second-order ones are located on lines in a two-dimensional parameter space, while the third-order one is at a point.


          Odd singular vector formula for general linear Lie superalgebras. (arXiv:1903.04683v1 [math.RT])      Cache   Translate Page      

Authors: Jie Liu, Li Luo, Weiqiang Wang

We establish a closed formula for a singular vector of weight $\lambda-\beta$ in the Verma module of highest weight $\lambda$ for Lie superalgebra $\mathfrak{gl}(m|n)$ when $\lambda$ is atypical with respect to an odd positive root $\beta$. It is further shown that this vector is unique up to a scalar multiple, and it descends to a singular vector, again unique up to a scalar multiple, in the corresponding Kac module when both $\lambda$ and $\lambda-\beta$ are dominant integral.


          The limits of distribution-free conditional predictive inference. (arXiv:1903.04684v1 [math.ST])      Cache   Translate Page      

Authors: Rina Foygel Barber, Emmanuel J. Candès, Aaditya Ramdas, Ryan J. Tibshirani

We consider the problem of distribution-free predictive inference, with the goal of producing predictive coverage guarantees that hold conditionally rather than marginally. Existing methods such as conformal prediction offer marginal coverage guarantees, where predictive coverage holds on average over all possible test points, but this is not sufficient for many practical applications where we would like to know that our predictions are valid for a given individual, not merely on average over a population. On the other hand, exact conditional inference guarantees are known to be impossible without imposing assumptions on the underlying distribution. In this work we aim to explore the space in between these two, and examine what types of relaxations of the conditional coverage property would alleviate some of the practical concerns with marginal coverage guarantees while still being possible to achieve in a distribution-free setting.


          Existence of Lyapunov function for the planar system with one arbitrary limit cycle. (arXiv:1903.04690v1 [math.DS])      Cache   Translate Page      

Authors: Xiao-Liang Gan, Hao-Yu Wang, Ping Ao, Yuan-Kai Cao

The existence of Lyapunov function for the planar system with an arbitrary limit cycle is proved. Firstly, the generalized definition of Lyapunov function for fixed point and limit cycle are given, respectively. And they are logically consistent with the definition in dynamical systems textbooks. Secondly, combined with Schoenflies theorem, Riemann mapping theorem and boundary correspondence theorem, that arbitrary simple closed curve in plane can be mapped to the unit circle one by one is proved. Thirdly, according to the definition of potential function in physics, the one-dimensional radial system of polar coordinate system corresponding to two-dimensional dynamic system is studied, and then the strictly analytic construction of Lyapunov function is given for the system with an unit circle as a limit cycle. Finally, by discussing two well-known criteria for system dissipation, that they are not equivalent is demonstrated. Such discussion may provide an understanding on the confusion on Lyapunov function in limit cycles still existing in recent textbooks. What's more, some corresponding examples are provided above.


          Two-Timescale Hybrid Compression and Forward for Massive MIMO Aided C-RAN. (arXiv:1903.04692v1 [cs.IT])      Cache   Translate Page      

Authors: An Liu, Xihan Chen, Wei Yu, Vincent Lau, Min-Jian Zhao

We consider the uplink of a cloud radio access network (C-RAN), where massive MIMO remote radio heads (RRHs) serve as relays between users and a centralized baseband unit (BBU). Although employing massive MIMO at RRHs can improve the spectral efficiency, it also significantly increases the amount of data transported over the fronthaul links between RRHs and BBU, which becomes a performance bottleneck. Existing fronthaul compression methods for conventional C-RAN are not suitable for the massive MIMO regime because they require fully-digital processing and/or real-time full channel state information (CSI), incurring high implementation cost for massive MIMO RRHs. To overcome this challenge, we propose to perform a two-timescale hybrid analog-and-digital spatial filtering at each RRH to reduce the fronthaul consumption. Specifically, the analog filter is adaptive to the channel statistics to achieve massive MIMO array gain, and the digital filter is adaptive to the instantaneous effective CSI to achieve spatial multiplexing gain. Such a design can alleviate the performance bottleneck of limited fronthaul with reduced hardware cost and power consumption, and is more robust to the CSI delay. We propose an online algorithm for the two-timescale non-convex optimization of analog and digital filters, and establish its convergence to stationary solutions. Finally, simulations verify the advantages of the proposed scheme.


          Bit-Interleaved Coded Multiple Beamforming in Millimeter-Wave Massive MIMO Systems. (arXiv:1903.04693v1 [cs.IT])      Cache   Translate Page      

Authors: Sadjad Sedighi, Ender Ayanoglu

In this paper we carry out the asymptotic diversity analysis for millimeter-wave (mmWave) massive multiple-input multiple-output (MIMO) systems by using bit interleaved coded multiple beamforming (BICMB). First, a single-user mmWave system which employs $M_t$ antenna subarrays at the transmitter and $M_r$ antenna subarrays at the receiver is studied. Each antenna subarray in the transmitter and the receiver has $N_r$ and $N_t$ antennas, respectively. We establish a theorem for the diversity gain when the number of antennas in each remote antenna unit (RAU) goes to infinity. Based on the theorem, the distributed system with BICMB achieves full spatial multiplexing of $L_t=\sum_{i,j}L_{ij}$ and full spatial diversity of $\frac{\left(\sum_{i,j}\beta_{ij}\right)^2}{\sum_{i,j}\beta_{ij}^2L_{ij}^{-1}}$ where $L_{ij}$ is the number of propagation paths and $\beta_{ij}$ is the large scale fading coefficient between the $i$th RAU in the transmitter and the $j$th RAU in the receiver. This result shows that one can increase the diversity gain in the system by increasing the number of RAUs. Simulation results show that, when the perfect channel state information assumption is satisfied, the use of BICMB increases the diversity gain in the system.


          Standard Bases for Fractional Ideals of the Local Ring of an Algebroid Curve. (arXiv:1903.04696v1 [math.AG])      Cache   Translate Page      

Authors: Emilio Carvalho, Marcelo Escudeiro Hernandes

In this paper we present an algorithm to compute a Standard Basis for a fractional ideal $\mathcal{I}$ of the local ring $\mathcal{O}$ of an $n$-space algebroid curve with several branches. This allows us to determine the semimodule of values of $\mathcal{I}$. When $\mathcal{I}=\mathcal{O}$, we may obtain a (finite) set of generators of the semiring of values of the curve, which determines its classical semigroup. In the complex context, identifying the K\"{a}hler differential module $\Omega_{\mathcal{O}/\mathbb{C}}$ of a plane curve with a fractional ideal of $\mathcal{O}$ and applying our algorithm, we can compute the set of values of $\Omega_{\mathcal{O}/\mathbb{C}}$, which is an important analytic invariant associated to the curve.


          Eells-Sampson type theorems for subelliptic harmonic maps from sub-Riemannian manifolds. (arXiv:1903.04702v1 [math.DG])      Cache   Translate Page      

Authors: Yuxin Dong

In this paper, we consider critical maps of a horizontal energy functional for maps from a sub-Riemannian manifold to a Riemannian manifold. These critical maps are referred to as subelliptic harmonic maps. In terms of the subelliptic harmonic map heat flow, we investigate the existence problem for subelliptic harmonic maps. Under the assumption that the target Riemannian manifold has non-positive sectional curvature, we prove some Eells-Sampson type existence results for this flow when the source manifold is either a step-2 sub-Riemannian manifold or a step-r sub-Riemannian manifold whose sub-Riemannian structure comes from a tense Riemannian foliation. Finally, some Hartman type results are also established for the flow.


          Practical Multi-fidelity Bayesian Optimization for Hyperparameter Tuning. (arXiv:1903.04703v1 [cs.LG])      Cache   Translate Page      

Authors: Jian Wu, Saul Toscano-Palmerin, Peter I. Frazier, Andrew Gordon Wilson

Bayesian optimization is popular for optimizing time-consuming black-box objectives. Nonetheless, for hyperparameter tuning in deep neural networks, the time required to evaluate the validation error for even a few hyperparameter settings remains a bottleneck. Multi-fidelity optimization promises relief using cheaper proxies to such objectives --- for example, validation error for a network trained using a subset of the training points or fewer iterations than required for convergence. We propose a highly flexible and practical approach to multi-fidelity Bayesian optimization, focused on efficiently optimizing hyperparameters for iteratively trained supervised learning models. We introduce a new acquisition function, the trace-aware knowledge-gradient, which efficiently leverages both multiple continuous fidelity controls and trace observations --- values of the objective at a sequence of fidelities, available when varying fidelity using training iterations. We provide a provably convergent method for optimizing our acquisition function and show it outperforms state-of-the-art alternatives for hyperparameter tuning of deep neural networks and large-scale kernel learning.


          Relative Dolbeault cohomology. (arXiv:1903.04710v1 [math.CV])      Cache   Translate Page      

Authors: Tatsuo Suwa

We review the notion of relative Dolbeault cohomology and prove that it is canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato with coefficients in the sheaf of holomorphic forms. We deal with this cohomology from two viewpoints. One is the Cech theoretical approach, which is convenient to define such operations as the cup product and integration and leads to the study of local duality. Along the way we also establish some notable canonical isomorphisms among various cohomologies. The other is to regard it as the cohomology of a certain complex, which is interpreted as a notion dual to the mapping cone in the theory of derived categories. This approach shows that the cohomology goes well with derived functors. We also give some examples and indicate applications, including simple explicit expressions of Sato hyperfunctions, fundamental operations on them and related local duality theorems.


          Spacetime torsion changes the polarization but not the speed of gravitational waves. (arXiv:1903.04712v1 [gr-qc])      Cache   Translate Page      

Authors: José Barrientos, Fernando Izaurieta, Eduardo Rodríguez, Omar Valdivia

Gravitational waves, and multi-messenger astronomy, in particular, have opened up a new window into the Universe. For instance, the recently established experimental fact that electromagnetic and gravitational waves travel at the same speed in vacuum wiped out whole families of alternative gravitational theories. In this paper, we show in a model-independent way that the presence of spacetime torsion affects the polarization, but not the speed, of gravitational waves as compared with a torsionless spacetime. These results are the consequence of a careful examination of the Weitzenb\"ock-Lichnerowicz wave operator, the Weitzenb\"ock identity, their generalizations for spaces with torsion, and the study of the eikonal limit on Riemann-Cartan geometries. The analysis is general enough to include waves for other fields and to discover when torsion affects their polarization.


          Monoids, their boundaries, fractals and $C^\ast$-algebras. (arXiv:1903.04716v1 [math.AT])      Cache   Translate Page      

Authors: Giulia dal Verme, Thomas Weigel

In this note we establish some connections between the theory of self-similar fractals in the sense of John E. Hutchinson (cf. [3]) and the theory of boundary quotients of $C^\ast$-algebras associated to monoids. Although we must leave several important questions open, we show that the existence of self-similar M-fractals for a given monoid M, gives rise to examples of $C^\ast$- algebras generalizing the boundary quotients discussed by X. Li in [4, {\S}7, p. 71]. The starting point for our investigations is the observation that the universal boundary of a finitely 1-generated monoid carries naturally two topologies. The fine topology plays a prominent role in the construction of these boundary quotients. On the other hand, the cone topology can be used to define canonical measures on the attractor of an M-fractal provided M is finitely 1-generated.


          On the sharpness of Tian's criterion for K-stability. (arXiv:1903.04719v1 [math.AG])      Cache   Translate Page      

Authors: Yuchen Liu, Ziquan Zhuang

Tian's criterion for K-stability states that a Fano variety of dimension $n$ whose alpha invariant is greater than $\frac{n}{n+1}$ is K-stable. We show that this criterion is sharp by constructing singular Fano varieties with alpha invariants $\frac{n}{n+1}$ that are not K-polystable for sufficiently large $n$. We also construct K-unstable Fano varieties with alpha invariants $\frac{n-1}{n}$.


          Representations of the Orlicz Figa-Talamanca Herz Algebras and Spectral subspaces. (arXiv:1903.04727v1 [math.FA])      Cache   Translate Page      

Authors: Rattan Lal, N.Shravan Kumar

Let G be a locally compact group. In this note, we characterise non-degenerate *-representations of A_\Phi(G) and B_\Phi(G). We also study spectral subspaces associated to a non-degenerate Banach space representation of A_\Phi(G).


          Smoothly non-isotopic Lagrangian disk fillings of Legendrian knots. (arXiv:1903.04731v1 [math.GT])      Cache   Translate Page      

Authors: Youlin Li, Motoo Tange

In this paper, we construct the first families of distinct Lagrangian ribbon disks in the standard symplectic 4-ball which have the same boundary Legendrian knots, and are not smoothly isotopic or have non-homeomorphic exteriors.


          Robust Dynamic Event-Triggered Coordination with a Designable Minimum Inter-Event Time. (arXiv:1903.04734v1 [math.OC])      Cache   Translate Page      

Authors: James Berneburg, Cameron Nowzari

This paper revisits the classical multi-agent average consensus problem for which many different event-triggered control strategies have been proposed over the last decade. Many of the earliest versions of these works conclude asymptotic stability without proving that Zeno behavior, or deadlocks, do not occur along the trajectories of the system. More recent works that resolve this issue either: (i) propose the use of a dwell-time that forces inter-event times to be lower-bounded away from 0 but sacrifice asymptotic convergence in exchange for practical convergence (or convergence to a neighborhood); (ii) guarantee non-Zeno behaviors and asymptotic convergence but do not provide a positive minimum inter-event time guarantee; or (iii) are not fully distributed. Additionally, the overwhelming majority of these works provide no form of robustness analysis. Instead, this work for the first time presents a fully distributed, robust, dynamic event-triggered algorithm, for general directed communication networks, for which a desired positive minimum inter-event time can be chosen by each agent in a distributed fashion. Simulations illustrate our results.


          Dini derivatives for Exchangeable Increments processes and applications. (arXiv:1903.04745v1 [math.PR])      Cache   Translate Page      

Authors: Osvaldo Angtuncio Hernández, Gerónimo Uribe Bravo

Let $X$ be an exchangeable increment (EI) process whose sample paths are of infinite variation. We prove that, for any fixed $t$ almost surely, \[ \limsup_{h\to 0 \pm} (X_{t+h}-X_t)/h=\infty \quad\text{and}\quad \liminf_{h\to 0\pm} (X_{t+h}-X_t)/h=-\infty. \]This extends a celebrated result of Rogozin (1968) for L\'evy processes, and completes the known picture for finite-variation EI processes. Applications are numerous. For example, we deduce that both half-lines $(-\infty, 0)$ and $(0,\infty)$ are visited immediately for infinite variation EI processes (called upward and downward regularity). We also generalize the zero-one law of Millar (1977) for L\'evy processes by showing continuity of $X$ when it reaches its minimum in the infinite variation EI case; an analogous result for all EI processes links right and left continuity at the minimum with upward and downward regularity. We also consider results of Durrett, Iglehart and Miller (1977) on the weak convergence of conditioned Brownian bridges to the normalized Brownian excursion, and broadened to a subclass of L\'evy processes and EI processes by Uribe Bravo (2014) and Chaumont and Uribe Bravo (2015). We prove it here for all infinite variation EI processes. We furthermore obtain a description of the convex minorant for non-piecewise linear EI processes, the case of L\'evy processes given by Pitman and Uribe Bravo (2012). Our main tool to study the Dini derivatives is a change of measure for EI processes which extends the Esscher transform for L\'evy processes.


          Limit theorems for multi-type general branching processes with population dependence. (arXiv:1903.04747v1 [math.PR])      Cache   Translate Page      

Authors: Jie Yen Fan, Kais Hamza, Peter Jagers, Fima C. Klebaner

A general multi-type population model is considered, where individuals live and reproduce according to their age and type, but also under the influence of the size and composition of the entire population. We describe the dynamics of the population density as a measure-valued process and obtain its asymptotics, as the population grows with the environmental carrying capacity. "Density" in this paper generally refers to the population size as compared to the carrying capacity. Thus, a deterministic approximation is given, in the form of a Law of Large Numbers, as well as a Central Limit Theorem. Migration can also be incorporated. This general framework is then adapted to model sexual reproduction, with a special section on serial monogamic mating systems.


          On the Maximum Weight Independent Set Problem in graphs without induced cycles of length at least five. (arXiv:1903.04761v1 [cs.DM])      Cache   Translate Page      

Authors: Maria Chudnovsky, Marcin Pilipczuk, Michał Pilipczuk, Stéphan Thomassé

A hole in a graph is an induced cycle of length at least $4$, and an antihole is the complement of an induced cycle of length at least $4$. A hole or antihole is long if its length is at least $5$. For an integer $k$, the $k$-prism is the graph consisting of two cliques of size $k$ joined by a matching. The complexity of Maximum (Weight) Independent Set (MWIS) in long-hole-free graphs remains an important open problem. In this paper we give a polynomial time algorithm to solve MWIS in long-hole-free graphs with no $k$-prism (for any fixed integer $k$), and a subexponential algorithm for MWIS in long-hole-free graphs in general. As a special case this gives a polynomial time algorithm to find a maximum weight clique in perfect graphs with no long antihole, and no hole of length $6$. The algorithms use the framework of minimal chordal completions and potential maximal cliques.


          Artificial Intelligence-aided Receiver for A CP-Free OFDM System: Design, Simulation, and Experimental Test. (arXiv:1903.04766v1 [cs.IT])      Cache   Translate Page      

Authors: Jing Zhang, Chao-Kai Wen, Shi Jin, Geoffrey Ye Li

Orthogonal frequency division multiplexing (OFDM), usually with sufficient cyclic prefix (CP), has been widely applied in various communication systems. The CP in OFDM consumes additional resource and reduces spectrum and energy efficiency. However, channel estimation and signal detection are very challenging for CP-free OFDM systems. In this paper, we propose a novel artificial intelligence (AI)-aided receiver (AI receiver) for a CP-free OFDM system. The AI receiver includes a channel estimation neural network (CE-NET) and a signal detection neural network based on orthogonal approximate message passing (OAMP), called OAMP-NET. The CE-NET is initialized by the least-square channel estimation algorithm and refined by a linear minimum mean-squared error neural network. The OAMP-NET is established by unfolding the iterative OAMP algorithm and adding several trainable parameters to improve the detection performance. We first investigate their performance under different channel models through extensive simulation and then establish a real transmission system using a 5G rapid prototyping system for an over-the-air (OTA) test. Based on our study, the AI receiver can estimate time-varying channels with a single training phase. It also has great robustness to various imperfections and has better performance than those competitive algorithms, especially for high-order modulation. The OTA test further verifies its feasibility to real environments and indicates its potential for future communications systems.


          On the uniqueness of Barrett's solution to the fermion doubling problem in Noncommutative Geometry. (arXiv:1903.04769v1 [hep-th])      Cache   Translate Page      

Authors: Fabien Besnard

A solution of the so-called fermion doubling problem in Connes' Noncommutative Standard Model has been given by Barrett in 2006 in the form of Majorana-Weyl conditions on the fermionic field. These conditions define a ${\cal U}_{J,\chi}$-invariant subspace of the correct physical dimension, where ${\cal U}_{J,\chi}$ is the group of Krein unitaries commuting with the chirality and real structure. They require the KO-dimension of the total triple to be $0$. In this paper we show that this solution is, up to some trivial modifications, and under some mild assumptions on the finite triple, the only one with this invariance property. We also observe that a simple modification of the fermionic action can act as a substitute for the explicit projection on the physical subspace.


          Multiplicative derivations on rank-$s$ matrices for relatively small $s$. (arXiv:1903.04773v1 [math.RA])      Cache   Translate Page      

Authors: Xiaowei Xu, Baochuan Xie, Yanhua Wang, Zhibing Zhao

Let $n$ and $s$ be fixed integers such that $n\geq 2$ and $1\leq s\leq \frac{n}{2}$. Let $M_n(\mathbb{K})$ be the ring of all $n\times n$ matrices over a field $\mathbb{K}$. If a map $\delta:M_n(\mathbb{K})\rightarrow M_n(\mathbb{K})$ satisfies that $\delta(xy)=\delta(x)y+x\delta(y)$ for any two rank-$s$ matrices $x,y\in M_n(\mathbb{K})$, then there exists a derivation $D$ of $M_n(\mathbb{K})$ such that $\delta(x)=D(x)$ holds for each rank-$k$ matrix $x\in M_n(\mathbb{K})$ with $0\leq k\leq s$.


          Existence of martingale solutions and large-time behavior for a stochastic mean curvature flow of graphs. (arXiv:1903.04785v1 [math.PR])      Cache   Translate Page      

Authors: Nils Dabrock, Martina Hofmanová, Matthias Röger

We are concerned with a stochastic mean curvature flow of graphs over a periodic domain of any space dimension. We establish existence of martingale solutions which are strong in the PDE sense and study their large-time behavior. Our analysis is based on a viscous approximation and new global bounds, namely, an $L^{\infty}_{\omega,x,t}$ estimate for the gradient and an $L^{2}_{\omega,x,t}$ bound for the Hessian. The proof makes essential use of the delicate interplay between the deterministic mean curvature part and the stochastic perturbation, which permits to show that certain gradient-dependent energies are supermartingales. Our energy bounds in particular imply that solutions become asymptotically spatially homogeneous and approach a Brownian motion perturbed by a random constant.


          Quotients and invariants of AS-sets equipped with a finite group action. (arXiv:1903.04790v1 [math.AG])      Cache   Translate Page      

Authors: Fabien Priziac (I2M)

Using the geometric quotient of a real algebraic set by the action of a finite group G, we construct invariants of GAS sets with respect to equivariant homeomorphisms with AS-graph, including additive invariants with values in Z.


          Inner approximations of the maximal positively invariant set for polynomial dynamical systems. (arXiv:1903.04798v1 [math.OC])      Cache   Translate Page      

Authors: Antoine Oustry (LIX), Matteo Tacchi (LAAS-MAC), Didier Henrion (LAAS-MAC)

The Lasserre or moment-sum-of-square hierarchy of linear matrix inequality relaxations is used to compute inner approximations of the maximal positively invariant set for continuous-time dynamical systems with polynomial vector fields. Convergence in volume of the hierarchy is proved under a technical growth condition on the average exit time of trajectories. Our contribution is to deal with inner approximations in infinite time, while former work with volume convergence guarantees proposed either outer approximations of the maximal positively invariant set or inner approximations of the region of attraction in finite time.


          Procurement of Spinning Reserve Capacity in aHydropower Dominated System Through MixedStochastic-Robust Optimization. (arXiv:1903.04805v1 [math.OC])      Cache   Translate Page      

Authors: Christian Øyn Naversen, Hossein Farahmand, Arild Helseth

As the penetration of variable renewable powergeneration increases in power systems around the world, systemsecurity is challenged. Ensuring that enough reserve capacity isavailable to balance the increased forecast errors introduced bywind and solar power are and will be an important challengeto solve for system operators. This is also true in systems thatalready have flexible balancing resources, such as hydropower.The main challenge in this case will be the coordination ofthe reserve procurement between connected hydropower plants,as the water flow is changed when the reserve capacity isactivated. However, the activation step is often ignored orsimplified in hydropower scheduling models that include reservecapacity procurement. In this paper, a two-stage model forscheduling power and procuring symmetric spinning reserves in ahydropower system with uncertain net load is proposed to capturethe effect of geographic reserve capacity coordination. To modelthe uncertainty in the net load, a new mixed stochastic-robustoptimization model is proposed to achieve cost efficiency andsystem security. We show that this proposed model outperformsits natural contenders in the given case study, and so does notsuffer from the typical overly conservative nature of pure robustmodels.


          The group structure of the homotopy set whose target is the automorphism group of the Cuntz algebra. (arXiv:1903.04809v1 [math.OA])      Cache   Translate Page      

Authors: Masaki Izumi, Taro Sogabe

We determine the group structure of the homotopy set whose target is the automorphism group of the Cuntz algebra $O_{n+1}$ for finite n in terms of K-theory. We show that there is an example of a space for which the homotopy set is a non-commutative group, and hence the classifying space of the automorphism group of the Cuntz algebra for finite n is not an H-space. We also make an improvement of Dadarlat's classification of continuous fields of the Cuntz algebras in terms of vector bundles.


          Quantization and the Resolvent Algebra. (arXiv:1903.04819v1 [math.FA])      Cache   Translate Page      

Authors: Teun D.H. van Nuland

We introduce a novel commutative C*-algebra of functions on a symplectic vector space admitting a complex structure, along with a strict deformation quantization that maps a dense subalgebra to the resolvent algebra introduced by Buchholz and Grundling \cite{BG2008}. The associated quantization map is a field-theoretical Weyl quantization compatible with the work of Binz, Honegger and Rieckers \cite{BHR}. We also define a Berezin-type quantization map on the whole C*-algebra, which continuously and bijectively maps it onto the resolvent algebra.

This C*-algebra, generally defined on a real inner product space X, intimately depends on the finite dimensional subspaces of X. We thoroughly analyze the structure and applicability of this algebra in the finite dimensional case by giving a characterization of its elements and by computing its Gelfand spectrum.


          Nearly optimal stability for Serrin's problem and the Soap Bubble theorem. (arXiv:1903.04823v1 [math.AP])      Cache   Translate Page      

Authors: Rolando Magnanini, Giorgio Poggesi

We present new quantitative estimates for the radially symmetric configuration concerning Serrin's overdetermined problem for the torsional rigidity, Alexandrov's Soap Bubble Theorem, and other related problems. The new estimates improve on those obtained in two our previous articles, and are in some cases optimal.


          Volume versus rank of lattices in Lie groups. (arXiv:1903.04828v1 [math.GR])      Cache   Translate Page      

Authors: Tsachik Gelander, Raz Slutsky

We prove that the rank (that is, the minimal size of a generating set) of lattices in a general connected Lie group is bounded by the co-volume of the projection of the lattice to the semi-simple part of the group. This is a generalization of a result by Gelander for semi-simple Lie groups and a result of Mostow for solvable Lie groups.


          The breakdown of superconductivity in the presence of magnetic steps. (arXiv:1903.04847v1 [math-ph])      Cache   Translate Page      

Authors: Wafaa Assaad

Many earlier works were devoted to the study of the breakdown of superconductivity in type-II superconducting bounded planar domains, submitted to smooth magnetic fields. In the present contribution, we consider a new situation where the applied magnetic field is piecewise-constant, and the discontinuity jump occurs along a smooth curve meeting the boundary transversely. To handle this situation, we perform a detailed spectral analysis of a new effective model. Consequently, we establish the monotonicity of the transition from a superconducting to a normal state. Moreover, we determine the location of superconductivity in the sample just before it disappears completely. Interestingly, the study shows similarities with the case of corner domains subjected to constant fields.


          A characterization of representation infinite quiver settings. (arXiv:1903.04849v1 [math.RT])      Cache   Translate Page      

Authors: Grzegorz Bobinski

We characterize pairs (Q,d) consisting of a quiver Q and a dimension vector d, such that over a given algebraically closed field k there are infinitely many representations of Q of dimension vector d. We also present an application of this result to the study of algebras with finitely many orbits with respect to the action of (the double product) of the group of units.


          Spectrally reasonable measures II. (arXiv:1903.04853v1 [math.FA])      Cache   Translate Page      

Authors: Przemysław Ohrysko, Michał Wojciechowski

A measure on a locally compact Abelian group is said to have a natural spectrum if its spectrum is equal to the closure of the range of the Fourier-Stieltjes transform. In this paper we continue the study of spectrally reasonable measures (measures perturbing any measure with a natural spectrum to a measure with a natural spectrum) initiated in \cite{ow}. Particularly, we provide a full characterization of such measures for certain class of locally compact Abelian groups which includes the circle and the real line. We also elaborate on the spectral properties of measures with non-natural but real spectra constructed by F. Parreau.


          Unbounded norm continuous operators and strong continuous operators on Banach lattices. (arXiv:1903.04854v1 [math.FA])      Cache   Translate Page      

Authors: Zhangjun Wang, Zili Chen, Jinxi Chen

In this paper, using the unbounded norm convergence in Banach lattices, we define new classes of operators, named unbounded norm continuous(for short, un-continuous) and strong continuous operators. We study the properties of those operators and the relationship with other operators.


          Asymptotics for the Sasa--Satsuma equation in terms of a modified Painlev\'e II transcendent. (arXiv:1903.04857v1 [math.AP])      Cache   Translate Page      

Authors: Lin Huang, Jonatan Lenells

We consider the initial-value problem for the Sasa-Satsuma equation on the line with decaying initial data. Using a Riemann-Hilbert formulation and steepest descent arguments, we compute the long-time asymptotics of the solution in the sector $|x| \leq M t^{1/3}$, $M$ constant. It turns out that the asymptotics can be expressed in terms of the solution of a modified Painlev\'e II equation. Whereas the standard Painlev\'e II equation is related to a $2 \times 2$ matrix Riemann-Hilbert problem, this modified Painlev\'e II equation is related to a $3 \times 3$ matrix Riemann--Hilbert problem.


          Modules for twistes affine Lie superalgebras. (arXiv:1903.04861v1 [math.RT])      Cache   Translate Page      

Authors: Malihe Yousofzadeh

This work provides the first step toward the classification of irreducible finite weight modules over twisted affine Lie superalgebras. We study all such modules whether the canonical central element acts as a nonzero multiple of the identity map or not. Moreover, we reduce the classification of some subclasses of irreducible finite weight modules to the classification of cuspidal modules of finite dimensional cuspidal superalgebras which is known by a work of Dimitrov, Mathieu and Penkov.


          Triforce and Corners. (arXiv:1903.04863v1 [math.CO])      Cache   Translate Page      

Authors: Jacob Fox, Ashwin Sah, Mehtaab Sawhney, David Stoner, Yufei Zhao

May the $\mathit{triforce}$ be the 3-uniform hypergraph on six vertices with edges $\{123',12'3,1'23\}$. We show that the minimum triforce density in a 3-uniform hypergraph of edge density $\delta$ is $\delta^{4-o(1)}$ but not $O(\delta^4)$.

Let $M(\delta)$ be the maximum number such that the following holds: for every $\epsilon > 0$ and $G = \mathbb{F}_2^n$ with $n$ sufficiently large, if $A \subseteq G \times G$ with $A \ge \delta|G|^2$, then there exists a nonzero "popular difference" $d \in G$ such that the number of "corners" $(x,y), (x+d,y), (x,y+d) \in A$ is at least $(M(\delta) - \epsilon)|G|^2$. As a corollary via a recent result of Mandache, we conclude that $M(\delta) = \delta^{4-o(1)}$ and $M(\delta) = \omega(\delta^4)$.

On the other hand, for $0 < \delta < 1/2$ and sufficiently large $N$, there exists $A \subseteq [N]^3$ with $|A|\ge\delta N^3$ such that for every $d \ne 0$, the number of corners $(x,y,z), (x+d,y,z),(x,y+d,z),(x,y,z+d) \in A$ is at most $\delta^{c \log (1/\delta)} N^3$. A similar bound holds in higher dimensions, or for any configuration with at least 5 points or affine dimension at least 3.


          Generalization of the cover pebbling number on trees. (arXiv:1903.04867v1 [math.CO])      Cache   Translate Page      

Authors: Zheng-Jiang Xia, Zhen-Mu Hong

A pebbling move on a graph consists of taking two pebbles off from one vertex and add one pebble on an adjacent vertex, the $t$-pebbling number of a graph $G$ is the minimum number of pebbles so that we can move $t$ pebbles on any vertex on $G$ regardless the original distribution of pebbles. Let $\omega$ be a positive function on $V(G)$, the $\omega$-cover pebbling number of a graph $G$ is the minimum number of pebbles so that we can reach a distribution with at least $\omega(v)$ pebbles on $v$ for all $v\in V(G)$. In this paper, we give the $\omega$-cover pebbling number of trees for nonnegative function $\omega$, which generalized the $t$-pebbling number and the traditional weighted cover pebbling number of trees.


          Non normal logics: semantic analysis and proof theory. (arXiv:1903.04868v1 [math.LO])      Cache   Translate Page      

Authors: Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.


          Noise sensitivity of the top eigenvector of a Wigner matrix. (arXiv:1903.04869v1 [math.PR])      Cache   Translate Page      

Authors: Charles Bordenave, Gábor Lugosi, Nikita Zhivotovskiy

We investigate the noise sensitivity of the top eigenvector of a Wigner matrix in the following sense. Let $v$ be the top eigenvector of an $N\times N$ Wigner matrix. Suppose that $k$ randomly chosen entries of the matrix are resampled, resulting in another realization of the Wigner matrix with top eigenvector $v^{[k]}$. We prove that, with high probability, when $k \ll N^{5/3-o(1)}$, then $v$ and $v^{[k]}$ are almost collinear and when $k\gg N^{5/3}$, then $v^{[k]}$ is almost orthogonal to $v$.


          Projective varieties that are not hypersurfaces. (arXiv:1903.04871v1 [math.AG])      Cache   Translate Page      

Authors: Helge Öystein Maakestad

The aim of this note is to use elementary methods to give a large class of examples of projective varieties $ Y \subseteq \mathbb{P}^d_k$ over a field $k$ with the property that $Y$ is not isomorphic to a hypersurface $H\subseteq \mathbb{P}^N_k$ in projective space $\mathbb{P}^N_k$ with $N:=dim(Y)+1$. We apply this construction to the study of the arithmetic genus $p_a(Y)$ of $Y$ and the problem of determining if $p_a(Y)$ is a birational invariant of $Y$ in general. We give an infinite number of examples of pairs of smooth projective varieties $(Y, Y')$ in any dimension $dim(Y)=dim(Y')\geq 4$ where $Y$ is birational to $Y'$, but where $p_a(Y)\neq p_a(Y')$. The arithmetic genus is known to be a birational invariant in dimension $\leq 3$. In each dimension $d\geq 4$ we give positive dimensional families of paris of smooth projective varieties $(Y,Y')$ that are birational but where the arithmetic genus differ.


          Minimal Lipschitz and $\infty$-Harmonic Extensions of Vector-Valued Functions on Finite Graphs. (arXiv:1903.04873v1 [math.NA])      Cache   Translate Page      

Authors: Miroslav Bačák, Johannes Hertrich, Sebastian Neumayer, Gabriele Steidl

This paper deals with extensions of vector-valued functions on finite graphs fulfilling distinguished minimality properties. We show that so-called lex and L-lex minimal extensions are actually the same and call them minimal Lipschitz extensions. Then we prove that the solution of the graph $p$-Laplacians converge to these extensions as $p\to \infty$. Furthermore, we examine the relation between minimal Lipschitz extensions and iterated weighted midrange filters and address their connection to $\infty$-Laplacians for scalar-valued functions. A convergence proof for an iterative algorithm proposed by Elmoataz et al.~(2014) for finding the zero of the $\infty$-Laplacian is given. Finally, we present applications in image inpainting.


          Onsager's type conjecture and renormalized solutions for the relativistic Vlasov Maxwell system. (arXiv:1903.04878v1 [math.AP])      Cache   Translate Page      

Authors: Claude Bardos, Nicolas Besse, Toan T. Nguyen

In this paper we give a proof of an Onsager type conjecture on conservation of energy and entropies of weak solutions to the relativistic Vlasov--Maxwell equations. As concerns the regularity of weak solutions, say in Sobolev spaces $W^{\alpha,p}$, we determine Onsager type exponents $\alpha$ that guarantee the conservation of all entropies. In particular, the Onsager exponent $\alpha$ is smaller than $\alpha = 1/3$ established for fluid models. Entropies conservation is equivalent to the renormalization property, which have been introduced by DiPerna--Lions for studying well-posedness of passive transport equations and collisionless kinetic equations. For smooth solutions renormalization property or entropies conservation are simply the consequence of the chain rule. For weak solutions the use of the chain rule is not always justified. Then arises the question about the minimal regularity needed for weak solutions to guarantee such properties. In the DiPerna--Lions and Bouchut--Ambrosio theories, renormalization property holds under sufficient conditions in terms of the regularity of the advection field, which are roughly speaking an entire derivative in some Lebesgue spaces (DiPerna--Lions) or an entire derivative in the space of measures with finite total variation (Bouchut--Ambrosio). In return there is no smoothness requirement for the advected density, except some natural a priori bounds. Here we show that the renormalization property holds for an electromagnetic field with only a fractional space derivative in some Lebesgue spaces. To compensate this loss of derivative for the electromagnetic field, the distribution function requires an additional smoothness, typically fractional Sobolev differentiability in phase-space. As concerns the conservation of total energy, if the macroscopic kinetic energy is in $L^2$, then total energy is preserved.


          Compact Approximate Taylor methods for systems of conservation laws. (arXiv:1903.04883v1 [math.NA])      Cache   Translate Page      

Authors: Hugo Carrillo, Carlos Parés

A new family of high order methods for systems of conservation laws are introduced: the Compact Approximate Taylor (CAT) methods. These methods are based on centered (2p + 1)-point stencils where p is an arbitrary integer. We prove that the order of accuracy is 2p and that CAT methods are an extension of high-order Lax-Wendroff methods for linear problems. Due to this, they are linearly L2-stable under a CFL<1 condition. In order to prevent the spurious oscillations that appear close to discontinuities two shock-capturing techniques have been considered: a fux-limiter technique (FL-CAT methods) and WENO reconstruction for the frst time derivative (WENO-CAT methods). We follow the WENO-Lax Wendroff Approximate Taylor method of Zorio, Baeza and Mullet (2017) in the second approach. A number of test cases are considered to compare these methods with other WENO-based schemes: the linear transport equation, Burgers equation, and the 1D compressible Euler system are considered. Although CAT methods present an extra computational cost due to the local character, this extra cost is compensated by the fact that they still give good solutions with CFL values close to 1.


          Contraction centers in families of hyperkahler manifolds. (arXiv:1903.04884v1 [math.AG])      Cache   Translate Page      

Authors: Ekaterina Amerik, Misha Verbitsky

We study the exceptional loci of birational (bimeromorphic) contractions of a hyperk\"ahler manifold $M$. Such a contraction locus is the union of all minimal rational curves in a collection of cohomology classes which are orthogonal to a wall of the K\"ahler cone. Homology classes which can possibly be orthogonal to a wall of the K\"ahler cone of some deformation of $M$ are called MBM classes. We prove that all MBM classes of type (1,1) can be represented by rational curves, called MBM curves. All MBM curves can be contracted on an appropriate birational model of $M$, unless $b_2(M) \leq 5$. When $b_2(M)>5$, this property can be used as an alternative definition of an MBM class and an MBM curve. Using the results of Bakker and Lehn, we prove that the diffeomorphism type of a contraction locus remains stable under all deformations for which these classes remains of type (1,1), unless the contracted variety has $b_2\leq 4$. Moreover, these diffeomorphisms preserve the MBM curves, and induce biholomorphic maps on the contraction fibers, if they are normal.


          Helper and Equivalent Objectives: An Efficient Approach to Constrained Optimisation. (arXiv:1903.04886v1 [math.OC])      Cache   Translate Page      

Authors: Tao Xu, Jun He, Changjing Shang

Numerous multi-objective optimisation evolutionary algorithms have been designed for solving constrained optimisation problems in last two decades. Their idea is to transform a constrained optimisation problem into a multi-objective optimisation problem without inequality and equality constraints and then to apply a multi-objective evolutionary algorithm into solving it. This paper investigates the helper and equivalent objective method for constrained optimisation, in which one objective is equivalent to solving the original constrained problem and other objectives play a helper role. Several new contributions are made in this paper. First, the helper and equivalent objective method is analysed in a rigorous way. It is proven that using helper and equivalent objectives may shorten the expected hitting time of a multi-objective algorithm leaving a local optimum with respect to a single objective algorithm. Secondly, in order to reduce the preference of feasible solutions over infeasible ones, a new equivalent objective function is constructed. Then the multi-objective problem consisting of helper and equivalent objectives is decomposed into several single objective problems using the weighted sum approach. Weights are dynamically adjusted so that each single objective eventually tends to an equivalent objective. At the end, a new multi-objective evolutionary algorithm is designed for constrained optimisation. This algorithm is run on benchmarks in IEEE CEC 2017 and 2018 constrained optimisation competitions. Comparative experiment shows that the proposed algorithm is capable of producing dominating results compared with all algorithms participated in the two competitions.


          A rigidity result for normalized subfactors. (arXiv:1903.04895v1 [math.OA])      Cache   Translate Page      

Authors: Vadim Alekseev, Rahel Brugger

We show a rigidity result for subfactors that are normalized by a representation of a lattice $\Gamma$ in a higher rank simple Lie group with trivial center into a finite factor. This implies that every subfactor of $L\Gamma$ which is normalized by the natural copy of $\Gamma$ is trivial or of finite index.


          Optimal piecewise cubic finite element schemes for the biharmonic equation on general triangulations. (arXiv:1903.04897v1 [math.NA])      Cache   Translate Page      

Authors: Shuo Zhang

This paper presents two piecewise (exactly) cubic finite element schemes for the biharmonic equation. One scheme involves the formulation of the nonconforming finite element scheme, and the other involves the formulation of the interior penalty discontinuous Galerkin (IPDG) scheme. The optimal convergence rate is proved for both schemes on general triangulations; notably, for the IPDG scheme, the accuracy does not deteriorate as the penalty parameter tends to infinity. The basis for the two schemes is a piecewise cubic polynomial space, which can approximate the $H^4$ functions in broken $H^2$ norm with $\mathcal{O}(h^2)$ accuracy. Furthermore, this approximation property is proved by constructing and utilizing a discretized Stokes complex.


          The 5-Way Scale. (arXiv:1903.04900v1 [math.CO])      Cache   Translate Page      

Authors: Tanya Khovanova, Joshua Lee

In this paper, we discuss coin-weighing problems that use a 5-way scale which has five different possible outcomes: MUCH LESS, LESS, EQUAL, MORE, and MUCH MORE. The 5-way scale provides more information than the regular 3-way scale. We study the problem of finding two fake coins from a pile of identically looking coins in a minimal number of weighings using a 5-way scale. We discuss similarities and differences between the 5-way and 3-way scale. We introduce a strategy for a 5-way scale that can find both counterfeit coins among $2^k$ coins in $k+1$ weighings, which is better than any strategy for a 3-way scale.


          Nonlinear expectations of random sets. (arXiv:1903.04901v1 [math.PR])      Cache   Translate Page      

Authors: Ilya Molchanov, Anja Mühlemann

Sublinear functionals of random variables are known as sublinear expectations; they are convex homogeneous functionals on infinite-dimensional linear spaces. We extend this concept for set-valued functionals defined on measurable set-valued functions (which form a nonlinear space), equivalently, on random closed sets. This calls for a separate study of sublinear and superlinear expectations, since a change of sign does not convert one to the other in the set-valued setting. We identify the extremal expectations as those arising from the primal and dual representations of them. Several general construction methods for nonlinear expectations are presented and the corresponding duality representation results are obtained. On the application side, sublinear expectations are naturally related to depth trimming of multivariate samples, while superlinear ones can be used to assess utilities of multiasset portfolios.


          Divisibility Tests Unified: Stacking the Trimmings for Sums. (arXiv:1903.04903v1 [math.NT])      Cache   Translate Page      

Authors: Edwin O'Shea

Divisibility tests are algorithms that can quickly decide if one integer is divisible by another. There are many tests but most are either of the trimming or summing variety. Our goals are to present Zbikowski's family of trimming tests as one test and to unify the trimming and summing tests. We do the latter by showing, first, that the most effective summing tests, due to Khare, can be derived directly from the Zbikowski's test and, second, that the best known summing tests - the binomial tests - can be derived from an adapted form of Zbikowski's tests. We introduce the notion of stacking, the claim that a six year old would always choose 10 pennies over a dime, and use only basic divisibility properties to achieve our goals.


          The number of cycles in a random permutation and the number of segregating sites jointly converge to the Brownian sheet. (arXiv:1903.04906v1 [math.PR])      Cache   Translate Page      

Authors: Helmut Pitters

Consider a random permutation of $\{1, \ldots, \lfloor n^{t_2}\rfloor\}$ drawn according to the Ewens measure with parameter $t_1$ and let $K(n, t)$ denote the number of its cycles, where $t\equiv (t_1, t_2)\in\mathbb [0, 1]^2$.

Next, consider a sample drawn from a large, neutral population of haploid individuals subject to mutation under the infinitely many sites model of Kimura whose genealogy is governed by Kingman's coalescent. Let $S(n, t)$ count the number of segregating sites in a sample of size $\lfloor n^{t_2}\rfloor$ when mutations arrive at rate $t_1/2$.

Our main result is a coupling of the above two models such that one has weak convergence of processes, \begin{align*}

\left\{\frac{(K(n, s), S(n, t))-(s_1s_2, t_1t_2)\log n}{\sqrt{\log n}}, s, t\in [0, 1]^2\right\}\to\{(\mathscr B(s), \mathscr B(t)), s, t\in [0, 1]^2\}, \end{align*} as $n\to\infty,$ where $\mathscr B$ is a one-dimensional Brownian sheet. This generalises and unifies a number of well-known results.


          $BV$-packing integral in $\mathbb{R}^n$. (arXiv:1903.04908v1 [math.CA])      Cache   Translate Page      

Authors: Kristýna Kuncová

We introduce new integrals (called packing $\mathcal{R}$ and $\mathcal{R}^*$ integrals) which combine advantages of integrals developed by Pfeffer, Mal\'y, Kuncov\'a & Mal\'y and Mal\'y & Pfeffer. We prove Gauss-Green theorem in generality of the new integrals and provide comparison with the integrals mentioned above and some others (like $MC_{\alpha}$ by Ball and Preiss).


          On the Highly Connected Dyadic, Near-Regular, and Sixth-Root-of-Unity Matroids. (arXiv:1903.04910v1 [math.CO])      Cache   Translate Page      

Authors: Ben Clark, Kevin Grace, James Oxley, Stefan H.M. van Zwam

Subject to announced results by Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the classes of dyadic, near-regular, and sixth-root-of-unity matroids.


          Construction of Isodual Quasi-cyclic Codes over Finite Fields. (arXiv:1903.04911v1 [cs.IT])      Cache   Translate Page      

Authors: Fatma-Zahra Benahmed, Kenza Guenda, Aicha Batoul, T. Aaron Gulliver

This paper considers the construction of isodual quasi-cyclic codes. First we prove that two quasi-cyclic codes are permutation equivalent if and only if their constituent codes are equivalent. This gives conditions on the existence of isodual quasi-cyclic codes. Then these conditions are used to obtain isodual quasi-cyclic codes. We also provide a construction for isodual quasi-cyclic codes as the matrix product of isodual codes.


          Sequential coarse structures of topological groups. (arXiv:1903.04915v1 [math.GN])      Cache   Translate Page      

Authors: Igor Protasov

We endow a topological group $(G, \tau)$ with a coarse structure defined by the smallest group ideal $S_{\tau} $ on $G$ containing all converging sequences with their limits and denote the obtained coarse group by $(G, S_{\tau})$. If $G$ is discrete then $(G, S_{\tau})$ is a finitary coarse group studding in Geometric Group Theory. The main result: if a topological abelian group $(G, \tau)$ contains a non-trivial converging sequence then $asdim \ (G, S_{\tau})= \infty $.


          Some weighted isoperimetric problems on $\mathbb{R}^N _+ $ with stable half balls have no solutions. (arXiv:1903.04922v1 [math.AP])      Cache   Translate Page      

Authors: Friedemann Brock, Francesco Chiacchio

We show the counter-intuitive fact that some weighted isoperimetric problems on the half-space $ \mathbb{R}^N _+ $, for which half-balls centered at the origin are stable, have no solutions. A particular case is the measure $d\mu = x_N ^{\alpha } \, dx$, with $\alpha \in (-1,0)$. Some results on stability and nonexistence for weighted isoperimetric problems on $\mathbb{R}^N $ are also obtained.


          A Passivity-Based Network Identification Algorithm with Minimal Time Complexity. (arXiv:1903.04923v1 [cs.SY])      Cache   Translate Page      

Authors: Miel Sharf, Daniel Zelazo

The theory of network identification, namely identifying the (weighted) interaction topology among a known number of agents, has been widely developed for linear agents over recent years. However, the theory for nonlinear agents is far less developed, and non-applicable to large systems due to long running times. We use the notion of maximal equilibrium-independent passivity (MEIP) and network optimization theory to present a network identification method for nonlinear agents. We do so by first designing a sub-cubic time algorithm for LTI agents, and then augment it by linearization to achieve a sub-cubic time algorithm for network reconstruction for nonlinear agents and controllers. Lastly, we study the problem of network reconstruction from a complexity theory standpoint, showing that the presented algorithms are in fact optimal in terms of time complexity. We provide examples of reconstructing large-scale networks, including a network of first-order linear agents, and a non-linear neural network model.


          Exhausting Curve Complexes by Finite Superrigid Sets on Nonorientable Surfaces. (arXiv:1903.04926v1 [math.GT])      Cache   Translate Page      

Authors: Elmas Irmak

Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(N)$ be the curve complex of $N$. We prove that if $(g, n) \neq (1,2)$ and $g + n \neq 4$, then there is an exhaustion of $\mathcal{C}(N)$ by a sequence of finite superrigid sets.


          The Inverse first passage time method for a two compartment model as a tool to relate Inverse Gaussian and Gamma spike distributions. (arXiv:1903.04927v1 [math.PR])      Cache   Translate Page      

Authors: Alessia Civallero, Cristina Zucca

In a previous paper (Lansky, Sacerdote, Zucca (2016)) we related the stochastic leaky integrate and fire (LIF) and the Gamma models. The question investigated in that paper was the possibility of getting a Gamma distributed output from a LIF model in the presence of coherent choices of the parameters. The used LIF model was the classical one-dimensional Ornstein-Uhlenbeck process and we applied the Inverse first passage time method to verify the possibility to get a Gamma distributed output from this model.


          On the parallel transport in quantum mechanics with an application to three-state systems. (arXiv:1903.04928v1 [math-ph])      Cache   Translate Page      

Authors: Raphaël Leone (LPCT)

The aim of this article is to give a rigorous although simple treatment of the geometric notions around parallel transport in quantum mechanics. I start by defining the teleparallelism (or generalized Pancharatnam connection) between n-dimensional vector subspaces (or n-planes) of the whole Hilbert space. It forms the basis of the concepts of parallel transport and of both cyclic and non-cyclic holonomies in the Grassmann manifold of n-planes. They are introduced in the discrete case (broken lines) before being rendered 'continuous' (smooth curves) and the role of the geodesics is stressed. Then, I discuss the interest of such a construction to geometrize a part of the dynamics when a (quasi-)dynamical invariant is known, especially in the adiabatic limit. Finally, I illustrate the general theory with a three-state toy model allowing for non-Abelian adiabatic transports.


          Regge symmetry, confocal conics, and Schl\"afli formula. (arXiv:1903.04929v1 [math.MG])      Cache   Translate Page      

Authors: Arseniy Akopyan, Ivan Izmestiev

Regge symmetry is a set of remarkable relations between two tetrahedra whose edge lengths are related in a simple fashion. It was first discovered as a consequence of an asymptotic formula in mathematical physics. Here we give a simple geometric proof of Regge symmetries in Euclidean, spherical, and hyperbolic geometry.


          Vanishing parameter for an optimal control problem modeling tumor growth. (arXiv:1903.04930v1 [math.AP])      Cache   Translate Page      

Authors: Andrea Signori

A distributed optimal control problem for a phase field system which physical context is that of tumor growth is discussed. The system we are going to take into account consists of a Cahn-Hilliard equation for the phase variable (relative concentration of the tumor), coupled with a reaction-diffusion equation for the nutrient. The cost functional is of standard tracking-type and the control variable models the intensity with which it is possible to dispense a medication. The model we deal with presents two small and positive parameters which are introduced in previous contributions as relaxation terms. Here, starting from the already investigated optimal control problem for the relaxed model, we aim at confirming the existence of optimal control and characterizing the first-order optimality condition, via asymptotic schemes, when one of the two occurring parameters goes to zero.


          A note on two species collisional plasma in bounded domains. (arXiv:1903.04935v1 [math.AP])      Cache   Translate Page      

Authors: Yunbai Cao

We construct a unique global-in-time solution to the two species Vlasov-Poisson-Boltzmann system in convex domains with the diffuse boundary condition, which can be viewed as one of the ideal scattering boundary model. The construction follows a new $L^{2}$-$L^{\infty}$ framework in [4]. In our knowledge this result is the first construction of strong solutions for $\textit{two species}$ plasma models with $\textit{self-consistent field}$ in general bounded domains.


          Block Factor-Width-Two Matrices in Semidefinite Programming. (arXiv:1903.04938v1 [math.OC])      Cache   Translate Page      

Authors: Aivar Sootla, Yang Zheng, Antonis Papachristodoulou

In this paper, we introduce a set of block factor-width-two matrices, which is a generalisation of factor-width-two matrices and is a subset of positive semidefinite matrices. The set of block factor-width-two matrices is a proper cone and we compute a closed-form expression for its dual cone. We use these cones to build hierarchies of inner and outer approximations of the cone of positive semidefinite matrices. The main feature of these cones is that they enable a decomposition of a large semidefinite constraint into a number of smaller semidefinite constraints. As the main application of these classes of matrices, we envision large-scale semidefinite feasibility optimisation programs including sum-of-squares (SOS) programs. We present numerical examples from SOS optimisation showcasing the properties of this decomposition.


          Computer proof of ergodicity breaking in expanding coupled maps. (arXiv:1903.04941v1 [math-ph])      Cache   Translate Page      

Authors: Bastien Fernandez

From a dynamical viewpoint, basic phase transitions of statistical mechanics can be regarded as some ergodicity breaking. While many random models exhibiting such transitions exist, deterministic examples, which would only use chaotic dynamics as the source of randomness, are rare, if at all existent. Here, the dynamics of a family of $N$ coupled expanding circle maps is investigated in a parameter regime where their attractor supports absolutely continuous measures. Empirical evidence is given for symmetry breaking of the ergodic components upon increase of the coupling strength. An automated, $N$-independent, procedure is proposed, based on exact computer arithmetic, which aims to rigorously demonstrate the existence of asymmetric ergodic components of positive Lebesgue measure. This algorithm successfully terminates for only small values of $N$, due to the explosive growth of the computational resources required. However, this approach suggests that phase transitions in systems with erratic dynamics should be provable in a purely deterministic setting, without any reference to random processes.


          Solitons and Black Holes in 4 and 5 Dimensions. (arXiv:1903.04942v1 [gr-qc])      Cache   Translate Page      

Authors: G.W. Gibbons

Two lectures given in Paris in 1985. They were circulated as a preprint Solitons And Black Holes In Four-Dimensions, Five-Dimensions. G.W. Gibbons (Cambridge U.) . PRINT-85-0958 (CAMBRIDGE), (Received Dec 1985). 14pp. and appeared in print in De Vega, H.J. ( Ed.), Sanchez, N. ( Ed.) : Field Theory, Quantum Gravity and Strings*, 46-59 and Preprint - GIBBONS, G.W. (REC.OCT.85) 14p.

I have scanned the original, reformatted and and corrected various typos.


          None compactness versus critical points at infinity: an example. (arXiv:1903.04943v1 [math.DG])      Cache   Translate Page      

Authors: Martin Mayer

We illustrate an example of a generic, positive function K on a Riemannian manifold to be conformally prescribed as the scalar curvature, for which the corresponding Yamabe type L2-gradient flow exhibits non compact flow lines, while a slight modification of it is compact.


          Partial Isometries, Duality, and Determinantal Point Processes. (arXiv:1903.04945v1 [math.PR])      Cache   Translate Page      

Authors: Makoto Katori, Tomoyuki Shirai

A determinantal point process (DPP) is an ensemble of random nonnegative-integer-valued Radon measures $\Xi$ on a space $S$ with measure $\lambda$, whose correlation functions are all given by determinants specified by an integral kernel $K$ called the correlation kernel. We consider a pair of Hilbert spaces, $H_{\ell}, \ell=1,2$, which are assumed to be realized as $L^2$-spaces, $L^2(S_{\ell}, \lambda_{\ell})$, $\ell=1,2$, and introduce a bounded linear operator ${\cal W} : H_1 \to H_2$ and its adjoint ${\cal W}^{\ast} : H_2 \to H_1$. We prove that if both of ${\cal W}$ and ${\cal W}^{\ast}$ are partial isometries and both of ${\cal W}^{\ast} {\cal W}$ and ${\cal W} {\cal W}^{\ast}$ are of locally trace class, then we have unique pair of DPPs, $(\Xi_{\ell}, K_{\ell}, \lambda_{\ell})$, $\ell=1,2$, which satisfy useful duality relations. We assume that ${\cal W}$ admits an integral kernel $W$ on $L^2(S_1, \lambda_1)$, and give practical setting of $W$ which makes ${\cal W}$ and ${\cal W}^{\ast}$ satisfy the above conditions. In order to demonstrate that the class of DPPs obtained by our method is large enough to study universal structures in a variety of DPPs, we show many examples of DPPs in one-, two-, and higher-dimensional spaces $S$, where several types of weak convergence from finite DPPs to infinite DPPs are given. One-parameter ($d \in \mathbb{N}$) series of infinite DPPs on $S=\mathbb{R}^d$ and $\mathbb{C}^d$ are discussed, which we call the Euclidean and the Heisenberg families of DPPs, respectively, following the terminologies of Zelditch.


          Threshold phenomenon for homogenized fronts in random elastic media. (arXiv:1903.04952v1 [math.AP])      Cache   Translate Page      

Authors: Patrick Dondl, Martin Jesenko

We investigate the behaviour of solutions of a fractional semilinear partial differential equation that models the evolution of an interface in a random medium. We show a pinning result and apply it to the related homogenizing process.


          ECKO: Ensemble of Clustered Knockoffs for multivariate inference on fMRI data. (arXiv:1903.04955v1 [math.ST])      Cache   Translate Page      

Authors: Tuan-Binh Nguyen, Jérôme-Alexis Chevalier, Bertrand Thirion

Continuous improvement in medical imaging techniques allows the acquisition of higher-resolution images. When these are used in a predictive setting, a greater number of explanatory variables are potentially related to the dependent variable (the response). Meanwhile, the number of acquisitions per experiment remains limited. In such high dimension/small sample size setting, it is desirable to find the explanatory variables that are truly related to the response while controlling the rate of false discoveries. To achieve this goal, novel multivariate inference procedures, such as knockoff inference, have been proposed recently. However, they require the feature covariance to be well-defined, which is impossible in high-dimensional settings. In this paper, we propose a new algorithm, called Ensemble of Clustered Knockoffs, that allows to select explanatory variables while controlling the false discovery rate (FDR), up to a prescribed spatial tolerance. The core idea is that knockoff-based inference can be applied on groups (clusters) of voxels, which drastically reduces the problem's dimension; an ensembling step then removes the dependence on a fixed clustering and stabilizes the results. We benchmark this algorithm and other FDR-controlling methods on brain imaging datasets and observe empirical gains in sensitivity, while the false discovery rate is controlled at the nominal level.


          On some recent results concerning non-uniqueness for the transport equation. (arXiv:1903.04962v1 [math.AP])      Cache   Translate Page      

Authors: Stefano Modena

In these notes we present some recent results concerning the non-uniqueness of solutions to the transport equation, obtained in collaboration with Gabriel Sattig and Laszlo Szekelyhidi.


          A quantitative Weinstock inequality. (arXiv:1903.04964v1 [math.AP])      Cache   Translate Page      

Authors: Nunzia Gavitone, Domenico Angelo La Manna, Gloria Paoli, Leonardo Trani

The paper is devoted to the study of a quantitative Weinstock inequality in higher dimension for the first non trivial Steklov eigenvalue of Laplace operator for convex sets. The key rule is played by a quantitative isoperimetric inequality which involves the boundary momentum, the volume and the perimeter of a convex open set of $\mathbb R^n$, $n \ge 2$.


          A quantitative Lov\'asz criterion for Property B. (arXiv:1903.04968v1 [math.CO])      Cache   Translate Page      

Authors: Asaf Ferber, Asaf Shapira

A well known observation of Lov\'asz is that if a hypergraph is not $2$-colorable, then at least one pair of its edges intersect at a single vertex. %This very simple criterion turned out to be extremly useful . In this short paper we consider the quantitative version of Lov\'asz's criterion. That is, we ask how many pairs of edges intersecting at a single vertex, should belong to a non $2$-colorable $n$-uniform hypergraph? Our main result is an {\em exact} answer to this question, which further characterizes all the extremal hypergraphs. The proof combines Bollob\'as's two families theorem with Pluhar's randomized coloring algorithm.


          Hybrid Symplectic Integrators for Planetary Dynamics. (arXiv:1903.04972v1 [astro-ph.EP])      Cache   Translate Page      

Authors: Hanno Rein, David M. Hernandez, Daniel Tamayo, Garett Brown, Emily Eckels, Emma Holmes, Michelle Lau, Rejean Leblanc, Ari Silburt

Hybrid symplectic integrators such as MERCURY are widely used to simulate complex dynamical phenomena in planetary dynamics that could otherwise not be investigated. A hybrid integrator achieves high accuracy during close encounters by using a high order integration scheme for the duration of the encounter while otherwise using a standard 2nd order Wisdom-Holman scheme, thereby optimizing both speed and accuracy. In this paper we reassess the criteria for choosing the switching function that determines which parts of the Hamiltonian are integrated with the high order integrator. We show that the original motivation for choosing a polynomial switching function in MERCURY is not correct. We explain the nevertheless excellent performance of the MERCURY integrator and then explore a wide range of different switching functions including an infinitely differentiable function and a Heaviside function. We find that using a Heaviside function leads to a significantly simpler scheme compared to MERCURY, while maintaining the same accuracy in short term simulations.


          Linear algebraic techniques for spanning tree enumeration. (arXiv:1903.04973v1 [math.CO])      Cache   Translate Page      

Authors: Steven Klee, Matthew T. Stamps

Kirchhoff's Matrix-Tree Theorem asserts that the number of spanning trees in a finite graph can be computed from the determinant of any of its reduced Laplacian matrices. In many cases, even for well-studied families of graphs, this can be computationally or algebraically taxing. We show how two well-known results from linear algebra, the Matrix Determinant Lemma and the Schur complement, can be used to elegantly count the spanning trees in several significant families of graphs.


          Energy level splitting for weakly interacting bosons in a harmonic trap. (arXiv:1903.04974v1 [cond-mat.quant-gas])      Cache   Translate Page      

Authors: Ben Craps, Marine De Clerck, Oleg Evnin, Surbhi Khetrapal

We consider identical quantum bosons with weak contact interactions in a two-dimensional isotropic harmonic trap. When the interactions are turned off, the energy levels are equidistant and highly degenerate. At linear order in the coupling parameter, these degenerate levels split, and we study the patterns of this splitting. It turns out that the problem is mathematically identical to diagonalizing the quantum resonant system of the two-dimensional Gross-Pitaevskii equation, whose classical counterpart has been previously studied in the mathematical literature on turbulence. Enhanced symmetry structures are known for this resonant system, and our purpose is to report on powerful implications these symmetries have for the level splitting in the quantum case. In particular, the symmetries relate energy shifts of different unperturbed levels so that infinitely many exactly integer energy differences survive at linear order in the interaction strength. The highest energy state emanating from each unperturbed level is explicitly described by our analytics. Considerable simplifications in computing the spectrum numerically result from exploiting the symmetries. We furthermore discuss the energy level spacing distributions in the spirit of quantum chaos theory. After separating the eigenvalues into blocks with respect to the known conservation laws, we observe the Wigner-Dyson statistics within such individual blocks, which suggests that no integrable structures beyond the symmetries we display should be expected in the problem.


          Gelfand-type theorems for dynamical Banach modules. (arXiv:1903.04985v1 [math.DS])      Cache   Translate Page      

Authors: H. Kreidler, S. Siewert

The representation theorems of Gelfand and Kakutani for commutative C*-algebras and AM- and AL-spaces are the basis for the Koopman linearization of topological and measure-preserving dynamical systems. In this article we prove versions of these results for dynamics on topological and measurable Banach bundles and the corresponding weighted Koopman representations on Banach modules.


          In Koenigs' footsteps: Diagonalization of composition operators. (arXiv:1903.04990v1 [math.SP])      Cache   Translate Page      

Authors: Wolfgang Arendt, Benjamin Célariès, Isabelle Chalendar

Let $\varphi:\mathbb{D} \to \mathbb{D}$ be a holomorphic map with a fixed point $\alpha\in\mathbb{D}$ such that $0\leq |\varphi'(\alpha)|<1$. We show that the spectrum of the composition operator $C_\varphi$ on the Fr\'echet space $ \textrm{Hol}(\mathbb{D})$ is $\{0\}\cup \{ \varphi'(\alpha)^n:n=0,1,\cdots\}$ and its essential spectrum is reduced to $\{0\}$. This contrasts the situation where a restriction of $C_\varphi$ to Banach spaces such as $H^2(\mathbb{D})$ is considered. Our proofs are based on explicit formulae for the spectral projections associated with the point spectrum found by Koenigs. Finally, as a byproduct, we obtain information on the spectrum for bounded composition operators induced by a Schr\"oder symbol on arbitrary Banach spaces of holomorphic functions.


          On first-order expressibility of satisfiability in submodels. (arXiv:1903.04993v1 [math.LO])      Cache   Translate Page      

Authors: Denis I. Saveliev

Let $\kappa,\lambda$ be regular cardinals, $\lambda\le\kappa$, let $\varphi$ be a sentence of the language $L_{\kappa,\lambda}$ in a given signature, and let $\vartheta(\varphi)$ express the fact that $\varphi$ holds in a submodel, i.e., any model $\mathfrak A$ in the signature satisfies $\vartheta(\varphi)$ if and only if some submodel $\mathfrak B$ of $\mathfrak A$ satisfies $\varphi$. It was shown in [1] that, whenever $\varphi$ is in $L_{\kappa,\omega}$ in the signature having less than $\kappa$ functional symbols (and arbitrarily many predicate symbols), then $\vartheta(\varphi)$ is equivalent to a monadic existential sentence in the second-order language $L^{2}_{\kappa,\omega}$, and that for any signature having at least one binary predicate symbol there exists $\varphi$ in $L_{\omega,\omega}$ such that $\vartheta(\varphi)$ is not equivalent to any (first-order) sentence in $L_{\infty,\omega}$. Nevertheless, in certain cases $\vartheta(\varphi)$ are first-order expressible. In this note, we provide several (syntactical and semantical) characterizations of the case when $\vartheta(\varphi)$ is in $L_{\kappa,\kappa}$ and $\kappa$ is $\omega$ or, more generally, a compact cardinal.


          New Dependencies of Hierarchies in Polynomial Optimization. (arXiv:1903.04996v1 [cs.DS])      Cache   Translate Page      

Authors: Adam Kurpisz, Timo de Wolff

We compare four key hierarchies for solving Constrained Polynomial Optimization Problems (CPOP): Sum of Squares (SOS), Sum of Diagonally Dominant Polynomials (SDSOS), Sum of Nonnegative Circuits (SONC), and the Sherali Adams (SA) hierarchies. We prove a collection of dependencies among these hierarchies both for general CPOPs and for optimization problems on the Boolean hypercube. Key results include for the general case that the SONC and SOS hierarchy are polynomially incomparable, while SDSOS is contained in SONC. A direct consequence is the non-existence of a Putinar-like Positivstellensatz for SDSOS. On the Boolean hypercube, we show as a main result that Schm\"udgen-like versions of the hierarchies SDSOS*, SONC*, and SA* are polynomially equivalent. Moreover, we show that SA* is contained in any Schm\"udgen-like hierarchy that provides a O(n) degree bound.


          $D$-Magic and Antimagic Labelings of Hypercubes. (arXiv:1903.05005v1 [math.CO])      Cache   Translate Page      

Authors: Palton Anuwiksa, Akihiro Munemasa, Rinovia Simanjuntak

For a set of distances $D$, a graph $G$ of order $n$ is said to be $D-$magic if there exists a bijection $f:V\rightarrow \{1,2, \ldots, n\}$ and a constant $k$ such that for any vertex $x$, $\sum_{y\in N_D(x)} f(y) ={\sf k}$, where $N_D(x)=\{y|d(y,x)=j, j\in D\}$.

In this paper we shall find sets of distances $D$s, such that the hypercube is $D-$magic. We shall utilise well-known properties of (bipartite) distance-regular graphs to construct the $D-$magic labelings.


          An Efficient Augmented Lagrangian Based Method for Constrained Lasso. (arXiv:1903.05006v1 [math.OC])      Cache   Translate Page      

Authors: Zengde Deng, Anthony Man-Cho So

Variable selection is one of the most important tasks in statistics and machine learning. To incorporate more prior information about the regression coefficients, the constrained Lasso model has been proposed in the literature. In this paper, we present an inexact augmented Lagrangian method to solve the Lasso problem with linear equality constraints. By fully exploiting second-order sparsity of the problem, we are able to greatly reduce the computational cost and obtain highly efficient implementations. Furthermore, numerical results on both synthetic data and real data show that our algorithm is superior to existing first-order methods in terms of both running time and solution accuracy.


          Incidence strata of affine varieties with complex multiplicities. (arXiv:1903.05011v1 [math.AG])      Cache   Translate Page      

Authors: Hunter Spink, Dennis Tseng

To each affine variety $X$ and $m_1,\ldots,m_k\in \mathbb{C}$ such that no subset of the $m_i$ add to zero, we construct a variety which for $m_1,\ldots,m_k \in \mathbb{N}$ specializes to the closed $(m_1,\ldots,m_k)$-incidence stratum of $Sym^{m_1+\ldots+m_k}X$. These fit into a finite-type family, which is functorial in $X$, and which is topologically a family of $\mathbb{C}$-weighted configuration spaces. We verify our construction agrees with an analogous construction in the Deligne category $Rep(S_{d})$ for $d \in \mathbb{C}$.

We next classify the singularity locus and branching behaviour of colored incidence strata for arbitrary smooth curves. As an application, we negatively answer a question of Farb and Wolfson concerning the existence of an isomorphism between two natural moduli spaces.


          Linear system matrices of rational transfer functions. (arXiv:1903.05016v1 [math.DS])      Cache   Translate Page      

Authors: Froilán M. Dopico, María C. Quintana, Paul Van Dooren

In this paper we derive new sufficient conditions for a linear system matrix $$S(\lambda):=\left[\begin{array}{ccc} T(\lambda) & -U(\lambda) \\ V(\lambda) & W(\lambda) \end{array}\right],$$ where $T(\lambda)$ is assumed regular, to be strongly irreducible. In particular, we introduce the notion of strong minimality, and the corresponding conditions are shown to be sufficient for a polynomial system matrix to be strongly minimal. A strongly irreducible or minimal system matrix has the same structural elements as the rational matrix $R(\lambda)= W(\lambda) + V(\lambda)T(\lambda)^{-1}U(\lambda)$, which is also known as the transfer function connected to the system matrix $S(\lambda)$. The pole structure, zero structure and null space structure of $R(\lambda)$ can be then computed with the staircase algorithm and the $QZ$ algorithm applied to pencils derived from $S(\lambda)$. We also show how to derive a strongly minimal system matrix from an arbitrary linear system matrix by applying to it a reduction procedure, that only uses unitary equivalence transformations. This implies that numerical errors performed during the reduction procedure remain bounded. Finally, we show how to perform diagonal scalings to an arbitrary pencil such that its row and column norms are all of the order of 1. Combined with the fact that we use unitary transformation in both the reduction procedure and the computation of the eigenstructure, this guarantees that we computed the exact eigenstructure of a perturbed linear system matrix, but where the perturbation is of the order of the machine precision.


          The speed of the tagged particle in the exclusion process on Galton-Watson trees. (arXiv:1903.05019v1 [math.PR])      Cache   Translate Page      

Authors: Nina Gantert, Dominik Schmid

We study two different versions of the simple exclusion process on augmented Galton-Watson trees, the constant speed model and the varying speed model. In both cases, the simple exclusion process starts from an equilibrium distribution with non-vanishing particle density. Moreover, we assume to have initially a particle in the root, the tagged particle. We show for both models that the tagged particle has a positive linear speed and we give explicit formulas for the speeds.


          Repeatedly Appending Any Digit to Generate Composite Numbers. (arXiv:1903.05023v1 [math.NT])      Cache   Translate Page      

Authors: Jon Grantham, Witold Jarnicki, John Rickert, Stan Wagon

We investigate the problem of finding integers $k$ such that appending any number of copies of the base-ten digit $d$ to $k$ yields a composite number. In particular, we prove that there exist infinitely many integers coprime to all digits such that repeatedly appending {\it any} digit yields a composite number.


          Matrix-oriented discretization methods for reaction-diffusion PDEs: comparisons and applications. (arXiv:1903.05030v1 [math.NA])      Cache   Translate Page      

Authors: Maria Chiara D'Autilia, Ivonne Sgura, Valeria Simoncini

Systems of reaction-diffusion partial differential equations (RD-PDEs) are widely applied for modelling life science and physico-chemical phenomena. In particular, the coupling between diffusion and nonlinear kinetics can lead to the so-called Turing instability, giving rise to a variety of spatial patterns (like labyrinths, spots, stripes, etc.) attained as steady state solutions for large time intervals. To capture the morphological peculiarities of the pattern itself, a very fine space discretization may be required, limiting the use of standard (vector-based) ODE solvers in time because of excessive computational costs. We show that the structure of the diffusion matrix can be exploited so as to use matrix-based versions of time integrators, such as Implicit-Explicit (IMEX) and exponential schemes. This implementation entails the solution of a sequence of discrete matrix problems of significantly smaller dimensions than in the vector case, thus allowing for a much finer problem discretization. We illustrate our findings by numerically solving the Schnackenberg model, prototype of RD-PDE systems with Turing pattern solutions, and the DIB-morphochemical model describing metal growth during battery charging processes.


          Unlikely intersections and the Chabauty-Kim method over number fields. (arXiv:1903.05032v1 [math.NT])      Cache   Translate Page      

Authors: Netan Dogra

We extend some results known for the Chabauty-Kim method over $\mathbb{Q} $ to the case of general number fields. The main new result is an unlikely intersection theorem for zeroes of iterated integrals on subvarieties of products of curves.


          On the scaling behaviour of the alternating spin chain. (arXiv:1903.05033v1 [hep-th])      Cache   Translate Page      

Authors: Vladimir V. Bazhanov, Gleb A. Kotousov, Sergii M. Koval, Sergei L. Lukyanov

In this note we report the results of our study of a 1D integrable spin chain whose critical behaviour is governed by a CFT possessing a continuous spectrum of scaling dimensions. It is argued that the computation of the density of Bethe states of the continuous theory can be reduced to the calculation of the connection coefficients for a certain class of differential equations whose monodromy properties are similar to those of the conventional confluent hypergeometric equation. The finite size corrections to the scaling are also discussed.


          Uniform resolvent estimate for Schr\"odinger operator with an inverse-square potential. (arXiv:1903.05040v1 [math.AP])      Cache   Translate Page      

Authors: Haruya Mizutani, Junyong Zhang, Jiqiang Zheng

We study the uniform resolvent estimates for the Schr\"odinger operator with a Hardy-type singular potential.

Let $\mathcal{L}_V=-\Delta+V(x)$ where $\Delta$ is the usual Laplacian on $\mathbb{R}^n$ and $V(x)=V_0(\theta) r^{-2}$ where $r=|x|, \theta=x/|x|$ and $V_0(\theta)\in\mathcal{C}^1(\mathbb{S}^{n-1})$ is a real function such that the operator $-\Delta_\theta+V_0(\theta)+(n-2)^2/4$ is a strictly positive operator on $L^2(\mathbb{S}^{n-1})$. We prove some new uniform weighted resolvent estimates and also obtain some uniform Sobolev estimates associated with the operator $\mathcal{L}_V$.


          Stochastic Volterra integral equations and a class of first order stochastic partial differential equations. (arXiv:1903.05045v1 [math.PR])      Cache   Translate Page      

Authors: Fred Espen Benth, Nils Detering, Paul Kruehner

We investigate stochastic Volterra equations and their limiting laws. The stochastic Volterra equations we consider are driven by a Hilbert space valued \Levy noise and integration kernels may have non-linear dependence on the current state of the process. Our method is based on an embedding into a Hilbert space of functions which allows to represent the solution of the Volterra equation as the boundary value of a solution to a stochastic partial differential equation. We first gather abstract results and give more detailed conditions in more specific function spaces.


          The All-or-Nothing Phenomenon in Sparse Linear Regression. (arXiv:1903.05046v1 [math.ST])      Cache   Translate Page      

Authors: Galen Reeves, Jiaming Xu, Ilias Zadik

We study the problem of recovering a hidden binary $k$-sparse $p$-dimensional vector $\beta$ from $n$ noisy linear observations $Y=X\beta+W$ where $X_{ij}$ are i.i.d. $\mathcal{N}(0,1)$ and $W_i$ are i.i.d. $\mathcal{N}(0,\sigma^2)$. A closely related hypothesis testing problem is to distinguish the pair $(X,Y)$ generated from this structured model from a corresponding null model where $(X,Y)$ consist of purely independent Gaussian entries. In the low sparsity $k=o(p)$ and high signal to noise ratio $k/\sigma^2=\Omega\left(1\right)$ regime, we establish an `All-or-Nothing' information-theoretic phase transition at a critical sample size $n^*=2 k\log \left(p/k\right) /\log \left(1+k/\sigma^2\right)$, resolving a conjecture of \cite{gamarnikzadik}. Specifically, we show that if $\liminf_{p\to \infty} n/n^*>1$, then the maximum likelihood estimator almost perfectly recovers the hidden vector with high probability and moreover the true hypothesis can be detected with a vanishing error probability. Conversely, if $\limsup_{p\to \infty} n/n^*<1$, then it becomes information-theoretically impossible even to recover an arbitrarily small but fixed fraction of the hidden vector support, or to test hypotheses strictly better than random guess.

Our proof of the impossibility result builds upon two key techniques, which could be of independent interest. First, we use a conditional second moment method to upper bound the Kullback-Leibler (KL) divergence between the structured and the null model. Second, inspired by the celebrated area theorem, we establish a lower bound to the minimum mean squared estimation error of the hidden vector in terms of the KL divergence between the two models.


          Winter Model at Finite Volume. (arXiv:1903.05051v1 [quant-ph])      Cache   Translate Page      

Authors: U. G. Aglietti

We study Winter or delta-shell model at finite volume (length), describing a small resonating cavity weakly-coupled to a large one. For generic values of the coupling, a resonance of the usual model corresponds, in the finite-volume case, to a compression of the spectral lines; For specific values of the coupling, a resonance corresponds instead to a degenerate or quasi-degenerate doublet. Secular terms occur in the perturbative expansion of the spectrum from third order in the coupling on, which are resummed by means of standard multi-scale methods. The resulting improved perturbative expansions provide a rather complete analytic description of resonance dynamics at finite volume.


          Dirac's theorem for random regular graphs. (arXiv:1903.05052v1 [math.CO])      Cache   Translate Page      

Authors: Padraig Condon, Alberto Espuny Díaz, António Girão, Daniela Kühn, Deryk Osthus

We prove a `resilience' version of Dirac's theorem in the setting of random regular graphs. More precisely, we show that, whenever $d$ is sufficiently large compared to $\varepsilon>0$, a.a.s. the following holds: let $G'$ be any subgraph of the random $n$-vertex $d$-regular graph $G_{n,d}$ with minimum degree at least $(1/2+\varepsilon)d$. Then $G'$ is Hamiltonian.

This proves a conjecture of Ben-Shimon, Krivelevich and Sudakov. Our result is best possible: firstly, the condition that $d$ is large cannot be omitted, and secondly, the minimum degree bound cannot be improved.


          Collapsibility of Random Clique Complexes. (arXiv:1903.05055v1 [math.CO])      Cache   Translate Page      

Authors: Greg Malen

We prove a sufficient condition for a finite clique complex to collapse to a $k$-dimensional complex, and use this to exhibit thresholds for $(k+1)$-collapsibility in a sparse random clique complex. In particular, if every strongly connected, pure $(k+1)$-dimensional subcomplex of a clique complex $X$ has a vertex of degree at most $2k+1$, then $X$ is $(k+1)$-collapsible. In the random model $X(n,p)$ of clique complexes of an Erd\H{o}s--R\'{e}nyi random graph $G(n,p)$, we then show that for any fixed $k\geq 0$, if $p=n^{-\alpha}$ for fixed $1/(k+1) < \alpha < 1/k$, then a clique complex $X\overset{dist}{=} X(n,p)$ is $(k+1)$-collapsible with high probability.


          A Higher-order Maximum Principle for Impulsive Optimal Control Problems. (arXiv:1903.05056v1 [math.OC])      Cache   Translate Page      

Authors: M. Soledad Aronna, Monica Motta, Franco Rampazzo

We consider a nonlinear control system, affine with respect to an unbounded control $u$ taking values in a closed cone of $\mathbb{R}^m$, and with drift depending on a second, ordinary control $a$, ranging on a bounded set. We provide first and higher order necessary optimality conditions for a Bolza problem associated to this system. The lack of coercivity assumptions gives an impulsive character to the problem: minimizing sequences of trajectories happen to converge toward impulsive, namely discontinuous, trajectories. As is known, a distributional approach does not make sense in such a nonlinear setting, where instead, a suitable embedding in the graph space is needed. We will illustrate how the chance of using impulse perturbations, makes it possible to derive a Maximum Principle which includes both the usual maximum condition and higher order conditions involving the Lie brackets of the vector fields involved in the dynamics.


          How much delocalisation is needed for an enhanced area law of the entanglement entropy?. (arXiv:1903.05057v1 [math-ph])      Cache   Translate Page      

Authors: Peter Müller, Leonid Pastur, Ruth Schulte

We consider the random dimer model in one space dimension with Bernoulli disorder. For sufficiently small disorder, we show that the entanglement entropy exhibits at least a logarithmically enhanced area law if the Fermi energy coincides with a critical energy of the model where the localisation length diverges.


          Directed polymer in $\gamma$-stable Random Environments. (arXiv:1903.05058v1 [math.PR])      Cache   Translate Page      

Authors: Roberto Viveros

The transition from a weak-disorder (diffusive phase) to a strong-disorder (localized phase) for directed polymers in a random environment is a well studied phenomenon. In the most common setup, it is established that the phase transition is trivial when the transversal dimension $d$ equals $1$ or $2$ (the diffusive phase is reduced to $\beta=0$) while when $d\geq 3$, there is a critical temperature $\beta_c\in (0,\infty)$ which delimits the two phases. The proof of the existence of a diffusive regime for $d\geq 3$ is based on a second moment method, and thus relies heavily on the assumption that the variable which encodes the disorder intensity (which in most of the mathematics literature assumes the form $e^{\beta \eta_x}$), has finite second moment. The aim of this work is to investigate how the presence/absence of phase transition may depend on the dimension $d$ in the case when the disorder variable displays heavier tail. To this end we replace $e^{\beta \eta_x}$ by $(1+\beta \omega_x)$ where $\omega_x$ is in the domain of attraction of a stable law with parameter $\gamma \in (1, 2)$.


          An index theorem for split-step quantum walks. (arXiv:1903.05061v1 [math-ph])      Cache   Translate Page      

Authors: Yasumichi Matsuzawa

Split-step quantum walks admit supersymmetry, and thus their Witten indices can be defined. We prove that the Witten index of a split-step quantum walk coincides with the difference between the winding numbers of functions corresponding to the right-limit of coins and the left-limit of coins. As a corollary, we give an alternative derivation of the index formula for split-step quantum walks, which is recently obtained by Suzuki and Tanaka. Our method is general, it can be applied to various models of supersymmetric quantum walks.


          Well control optimization using a two-step surrogate treatment. (arXiv:1903.05065v1 [math.OC])      Cache   Translate Page      

Authors: Daniel Ullmann de Brito, Louis J. Durlofsky

Large numbers of flow simulations are typically required for determining optimal well settings. These simulations are often computationally demanding, which poses challenges for the optimizations. In this paper we present a new two-step surrogate treatment (ST) that reduces the computational expense associated with well control optimization. The method is applicable for oil production via waterflood, with well rates optimized at a single control period. The two-step ST entails two separate optimizations, which can both be performed very efficiently. In the first optimization, optimal well-rate ratios (i.e., the fraction of total injection or production associated with each well) are determined such that a measure of velocity variability over the field is minimized, leading to more uniform sweep. In the second step, overall injection and production rates are determined. The flow physics in the first step is highly simplified, while the actual physical system is simulated in the second step. Near-globally-optimal results can be determined in both cases, as the first optimization is posed as a QP problem, and the second step entails just a single optimization variable. Under full parallelization, the overall elapsed time for the ST corresponds to the runtime for 1-2 full-order simulations. Results are presented for multiple well configurations, for 2D and 3D channelized models, and comparisons with formal optimization procedures (MADS and adjoint-gradient) are conducted. Three different fluid mobility ratios (M = 1, 3 and 5) are considered. Optimization results demonstrate that the two-step ST provides results in reasonable agreement with those from MADS and adjoint-gradient, with speedups of 5x or more. We also show that the ST is applicable in the inner-loop in field development optimization, where it will be especially useful since many different well configurations must be evaluated.


          Age of Information in a Multiple Access Channel with Heterogeneous Traffic and an Energy Harvesting Node. (arXiv:1903.05066v1 [cs.IT])      Cache   Translate Page      

Authors: Zheng Chen, Nikolaos Pappas, Emil Björnson, Erik G. Larsson

Age of Information (AoI) is a newly appeared concept and metric to characterize the freshness of data. In this work, we study the delay and AoI in a multiple access channel (MAC) with two source nodes transmitting different types of data to a common destination. The first node is grid-connected and its data packets arrive in a bursty manner, and at each time slot it transmits one packet with some probability. Another energy harvesting (EH) sensor node generates a new status update with a certain probability whenever it is charged. We derive the delay of the grid-connected node and the AoI of the EH sensor as functions of different parameters in the system. The results show that the mutual interference has a non-trivial impact on the delay and age performance of the two nodes.


          A generalized Noether theorem for scaling symmetry. (arXiv:1903.05070v1 [math-ph])      Cache   Translate Page      

Authors: P.-M. Zhang, M. Elbistan, P. A. Horvathy, P. Kosinski

The recently discovered conserved quantity associated with Kepler's rescaling [1] is recovered by proving a generalised Noether's theorem. Applied to a free particle we get a two-parameter family of generalized rescaling symmetries, all of whose associated charges reduce however to a single one, namely to the familiar Schr\"odinger-dilation-charge. For a harmonic oscillator we get pure position rescaling, and the associated conserved quantity allows us to derive the virial theorem.


          Elastic energy regularization for inverse obstacle scattering problems. (arXiv:1903.05074v1 [math.NA])      Cache   Translate Page      

Authors: Julian Eckhardt, Ralf Hiptmair, Thorsten Hohage, Henrik Schumacher, Max Wardetzky

By introducing a shape manifold as a solution set to solve inverse obstacle scattering problems we allow the reconstruction of general, not necessarily star-shaped curves. The bending energy is used as a stabilizing term in Tikhonov regularization to gain independence of the parametrization. Moreover, we discuss how self-intersections can be avoided by penalization with the M\"obius energy and prove the regularizing property of our approach as well as convergence rates under variational source conditions.

In the second part of the paper the discrete setting is introduced, and we describe a numerical method for finding the minimizer of the Tikhonov functional on a shape-manifold. Numerical examples demonstrate the feasibility of reconstructing non-star-shaped obstacles.


          A total variation based regularizer promoting piecewise-Lipschitz reconstructions. (arXiv:1903.05079v1 [math.NA])      Cache   Translate Page      

Authors: Martin Burger, Yury Korolev, Carola-Bibiane Schönlieb, Christiane Stollenwerk

We introduce a new regularizer in the total variation family that promotes reconstructions with a given Lipschitz constant (which can also vary spatially). We prove regularizing properties of this functional and investigate its connections to total variation and infimal convolution type regularizers TVLp and, in particular, establish topological equivalence. Our numerical experiments show that the proposed regularizer can achieve similar performance as total generalized variation while having the advantage of a very intuitive interpretation of its free parameter, which is just a local estimate of the norm of the gradient. It also provides a natural approach to spatially adaptive regularization.


          Explicit structure of the graded ring of modular forms. (arXiv:1111.4777v36 [math.NT] UPDATED)      Cache   Translate Page      

Authors: Suda Tomohiko

We give explicit structure of the graded ring of modular forms with respect to Gamma(N) (N=1,2,3,4,5,6,7,8,9,10,12,16) and for some other congruence groups. We also study the modular forms of half-integer weight for certain groups.


          Loose Legendrian embeddings in high dimensional contact manifolds. (arXiv:1201.2245v5 [math.SG] UPDATED)      Cache   Translate Page      

Authors: Emmy Murphy

We give an $h$--principle type result for a class of Legendrian embeddings in contact manifolds of dimension at least $5$. These Legendrians, referred to as loose, have trivial pseudo-holomorphic invariants. We demonstrate they are classified up to Legendrian isotopy by their smooth isotopy class equipped with an almost complex framing. This result is inherently high dimensional: analogous results in dimension $3$ are false.


          Quantum cohomology and toric minimal model programs. (arXiv:1207.3253v7 [math.AG] UPDATED)      Cache   Translate Page      

Authors: Eduardo Gonzalez, Chris Woodward

We give a quantum version of the Danilov-Jurkiewicz presentation of the cohomology of a compact toric orbifold with projective coarse moduli space. More precisely, we construct a canonical isomorphism from a formal version of the Batyrev ring to the quantum orbifold cohomology at a canonical bulk deformation. This isomorphism generalizes results of Givental, Iritani, and Fukaya-Oh-Ohta-Ono for toric manifolds and Coates-Lee-Corti-Tseng for weighted projective spaces. The proof uses a quantum version of Kirwan surjectivity and an equality of dimensions deduced using a toric minimal model program (tmmp). We show that there is a natural decomposition of the quantum cohomology where summands correspond to singularities in the tmmp, each giving rise to a collection of Hamiltonian non-displaceable tori.


          Analytic classification of families of linear differential systems unfolding a resonant irregular singularity. (arXiv:1301.5228v6 [math.DS] UPDATED)      Cache   Translate Page      

Authors: Martin Klimeš

We give a complete classification of analytic equivalence of germs of parametric families of systems of linear differential equations unfolding a generic resonant singularity of Poincar\'e rank 1 in dimension 2 whose leading matrix is a Jordan bloc. The moduli space of analytic equivalence classes is described in terms of a tuple of formal invariants and a single analytic invariant obtained from the trace of monodromy. Moreover, analytic normal forms are given for all such singularities. We also explain the phenomena of confluence of singularities and of change of order of Borel summability of formal solutions in dependence on the complex parameter.


          Extended Fourier analysis of signals. (arXiv:1303.2033v9 [cs.DS] UPDATED)      Cache   Translate Page      

Authors: Vilnis Liepins

This summary of the doctoral thesis is created to emphasize the close connection of the proposed spectral analysis method with the Discrete Fourier Transform (DFT), the most extensively studied and frequently used approach in the history of signal processing. It is shown that in a typical application case, where uniform data readings are transformed to the same number of uniformly spaced frequencies, the results of the classical DFT and proposed approach coincide. The difference in performance appears when the length of the DFT is selected to be greater than the length of the data. The DFT solves the unknown data problem by padding readings with zeros up to the length of the DFT, while the proposed Extended DFT (EDFT) deals with this situation in a different way, it uses the Fourier integral transform as a target and optimizes the transform basis in the extended frequency range without putting such restrictions on the time domain. Consequently, the Inverse DFT (IDFT) applied to the result of EDFT returns not only known readings, but also the extrapolated data, where classical DFT is able to give back just zeros, and higher resolution are achieved at frequencies where the data has been successfully extended. It has been demonstrated that EDFT able to process data with missing readings or gaps inside or even nonuniformly distributed data. Thus, EDFT significantly extends the usability of the DFT-based methods, where previously these approaches have been considered as not applicable. The EDFT founds the solution in an iterative way and requires repeated calculations to get the adaptive basis, and this makes it numerical complexity much higher compared to DFT. This disadvantage was a serious problem in the 1990s, when the method has been proposed. Fortunately, since then the power of computers has increased so much that nowadays EDFT application could be considered as a real alternative.


          Group approximation in Cayley topology and coarse geometry, Part I: Coarse embeddings of amenable groups. (arXiv:1310.4736v3 [math.GR] UPDATED)      Cache   Translate Page      

Authors: Masato Mimura, Hiroki Sako

The objective of this series is to study metric geometric properties of (coarse) disjoint unions of amenable Cayley graphs. We employ the Cayley topology and observe connections between large scale structure of metric spaces and group properties of Cayley accumulation points. In this Part I, we prove that a disjoint union has property A of G. Yu if and only if all groups appearing as Cayley accumulation points in the space of marked groups are amenable. As an application, we construct two disjoint unions of finite special linear groups (and unimodular linear groups) with respect to two systems of generators that look similar such that one has property A and the other does not admit (fibred) coarse embeddings into any Banach space with non-trivial type (for instance, any uniformly convex Banach space).


          Bifurcation values of polynomial functions and perverse sheaves. (arXiv:1401.0762v4 [math.AG] UPDATED)      Cache   Translate Page      

Authors: Kiyoshi Takeuchi

We characterize bifurcation values of polynomial functions by using the theory of perverse sheaves and their vanishing cycles. In particular, by introducing a method to compute the jumps of the Euler characteristics with compact support of their fibers, we confirm the conjecture of N\'emethi-Zaharia in many cases.


          Strong-viscosity solutions: Semilinear parabolic PDEs and path-dependent PDEs. (arXiv:1505.02927v2 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Andrea Cosso (LPMA), Francesco Russo (UMA)

The aim of the present work is the introduction of a viscosity type solution, called strong-viscosity solution to distinguish it from the classical one, with the following peculiarities: it is a purely analytic object; it can be easily adapted to more general equations than classical partial differential equations. First, we introduce the notion of strong-viscosity solution for semilinear parabolic partial differential equations, defining it, in a few words, as the pointwise limit of classical solutions to perturbed semilinear parabolic partial differential equations; we compare it with the standard definition of viscosity solution. Afterwards, we extend the concept of strong-viscosity solution to the case of semilinear parabolic path-dependent partial differential equations, providing an existence and uniqueness result.


          Upper bounds for prime gaps related to Firoozbakht's conjecture. (arXiv:1506.03042v4 [math.NT] UPDATED)      Cache   Translate Page      

Authors: Alexei Kourbatov

We study two kinds of conjectural bounds for the prime gap after the k-th prime $p_k$: (A) $p_{k+1} < (p_k)^{1+1/k}$ and (B) $p_{k+1}-p_k < \log^2 p_k - \log p_k - b$ for $k>9$. The upper bound (A) is equivalent to Firoozbakht's conjecture. We prove that (A) implies (B) with $b=1$; on the other hand, (B) with $b=1.17$ implies (A). We also give other sufficient conditions for (A) that have the form (B) with $b\to1$ as $k\to\infty$.


          Linearizability of Saturated Polynomials. (arXiv:1507.02666v3 [math.DS] UPDATED)      Cache   Translate Page      

Authors: Lukas Geyer

Brjuno and R\"ussmann proved that every irrationally indifferent fixed point of an analytic function with a Brjuno rotation number is linearizable, and Yoccoz proved that this is sharp for quadratic polynomials. Douady conjectured that this is sharp for all rational functions of degree at least 2, i.e., that non-M\"obius rational functions cannot have Siegel disks with non-Brjuno rotation numbers. We prove that Douady's conjecture holds for the class of polynomials for which the number of infinite tails of critical orbits in the Julia set equals the number of irrationally indifferent cycles. As a corollary, Douady's conjecture holds for the polynomials $P(z) = z^d + c$ for all $d > 1$ and all complex $c$.


          Central limit theorem analogues for multicolour urn models. (arXiv:1604.02964v5 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Noela Müller

The asymptotic behaviour of a generalised P\'olya--Eggenberger urn is well--known to depend on the spectrum of its replacement matrix: If its dominant eigenvalue $r$ is simple and no other eigenvalue is `large' in the sense that its real part is greater than $r/2$, the normalized urn composition is asymptotically normally distributed. However, if there is more than one large eigenvalue, the first few random draws have a non--negligible effect on the evolution of the urn process and almost sure random tendencies of order larger than $\sqrt{n}$ typically prevent a classical central limit theorem. In the present work, a central limit theorem analogue for the fluctuations of urn models with regard to random linear drift and random periodic growth of order larger than $\sqrt{n}$ is proved, covering the $m$-ary search tree and B-trees. The proof builds on an eigenspace decomposition of the process in order to separate components of different growth orders. By an accurately tailored adaption of martingale techniques to the components, their joint limiting behaviour is established and translated back to the urn process. Conveniently, the approach encompasses results on small urn models and therefore provides a unifying perspective on central limit theorems for certain urn models, irrespective of their spectrum.


          Non-unique lifting of integer variables in minimal inequalities. (arXiv:1605.06686v4 [math.OC] UPDATED)      Cache   Translate Page      

Authors: Amitabh Basu, Santanu S. Dey, Joseph Paat

We explore the lifting question in the context of cut-generating functions. Most of the prior literature on this question focuses on cut-generating functions that have the unique lifting property. We develop a general theory for understanding the lifting question for cut-generating functions that do not necessarily have the unique lifting property.


          Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals. (arXiv:1606.09531v2 [math.LO] UPDATED)      Cache   Translate Page      

Authors: John K Truss, Edith Vargas-Garcia

We extend results from an earlier paper giving reconstruction results for the endomorphism monoid of the rational numbers under the strict and reflexive relations to the first order reducts of the rationals and the corresponding polymorphism clones. We also give some similar results about the coloured rationals.


          Minors of a random binary matroid. (arXiv:1612.02084v5 [math.CO] UPDATED)      Cache   Translate Page      

Authors: Colin Cooper, Alan Frieze, Wesley Pegden

Let ${\bf A}={\bf A}_{n,m,k}$ be a random $n\times m$ matrix over $\mathbf{GF}_2$ wher each column consists of $k$ randomly chosen ones. Let $M$ be an arbirary fixed binary matroid. We show that if $m/n$ and $k$ are sufficiently large then as $n\to\infty$ the binary matroid induced by {\bf A} contains $M$ as a minor.


          Geometric Ergodicity of the multivariate COGARCH(1,1) Process. (arXiv:1701.07859v3 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Robert Stelzer, Johanna Vestweber

For the multivariate COGARCH(1,1) volatility process we show sufficient conditions for the existence of a unique stationary distribution, for the geometric ergodicity and for the finiteness of moments of the stationary distribution by a Foster-Lyapunov drift condition approach. The test functions used are naturally related to the geometry of the cone of positive semi-definite matrices and the drift condition is shown to be satisfied if the drift term of the defining stochastic differential equation is sufficiently `negative'. We show easily applicable sufficient conditions for the needed irreducibility and aperiodicity of the volatility process living in the cone of positive semidefinite matrices, if the driving L\'evy process is a compound Poisson process.


          Parametric Polynomial Preserving Recovery on Manifolds. (arXiv:1703.06509v3 [math.NA] UPDATED)      Cache   Translate Page      

Authors: Guozhi Dong, Hailong Guo

This paper investigates gradient recovery schemes for data defined on discretized manifolds. The proposed method, parametric polynomial preserving recovery (PPPR), does not require the tangent spaces of the exact manifolds, and they have been assumed for some significant gradient recovery methods in the literature. Another advantage of PPPR is that superconvergence is guaranteed without the symmetric condition which has been asked in the existing techniques. There is also numerical evidence that the superconvergence by PPPR is high curvature stable, which distinguishes itself from the others. As an application, we show its capability of constructing an asymptotically exact \textit{a posteriori} error estimator. Several numerical examples on two-dimensional surfaces are presented to support the theoretical results and comparisons with existing methods are documented.


          Remarks on Entropy Formulae for Linear Heat Equation. (arXiv:1705.00765v3 [math.DG] UPDATED)      Cache   Translate Page      

Authors: Yucheng Ji

In this note, we prove some new entropy formulae for linear heat equation on static Riemannian manifold with nonnegative Ricci curvature. The results are simpler versions of Cao and Hamilton's entropies for Ricci flow coupled with heat-type equations.


          Equidistribution of saddle connections on translation surfaces. (arXiv:1705.10847v2 [math.DS] UPDATED)      Cache   Translate Page      

Authors: Benjamin Dozier

Fix a translation surface $X$, and consider the measures on $X$ coming from averaging the uniform measures on all the saddle connections of length at most $R$. Then as $R\to\infty$, the weak limit of these measures exists and is equal to the Lebesgue measure on $X$. We also show that any weak limit of a subsequence of the counting measures on $S^1$ given by the angles of all saddle connections of length at most $R_n$, as $R_n\to\infty$, is in the Lebesgue measure class. The proof of the first result uses the second result, together with the result of Kerckhoff-Masur-Smillie that the directional flow on a surface is uniquely ergodic in almost every direction.


          Equivalences induced by infinitely generated silting modules. (arXiv:1705.10981v4 [math.RT] UPDATED)      Cache   Translate Page      

Authors: Simion Breaz, George Ciprian Modoi

We study equivalences induced by a silting module $T$ or, equivalently, by a complex of projectives $\mathbb{P}$, concentrated in $-1$ and $0$ which is silting in the derived category $\mathbf{D}(R)$ of a ring $R$.


          On the construction and convergence of traces of forms. (arXiv:1706.08314v2 [math.FA] UPDATED)      Cache   Translate Page      

Authors: Hichem BelHadjAli, Ali BenAmor, Christian Seifert, Amina Thabet

We elaborate a new method for constructing traces of quadratic forms in the framework of Hilbert and Dirichlet spaces. Our method relies on monotone convergence of quadratic forms and the canonical decomposition into regular and singular part. We give various situations where the trace can be described more explicitly and compute it for some illustrating examples. We then show that Mosco convergence of Dirichlet forms implies Mosco convergence of a subsequence of their approximating traces and that asymptotic compactness of Dirichlet forms yields asymptotic compactness of their traces.


          Root data with group actions. (arXiv:1707.01935v2 [math.RT] UPDATED)      Cache   Translate Page      

Authors: Jeffrey D. Adler, Joshua M. Lansky

Suppose $k$ is a field, $G$ is a connected reductive algebraic $k$-group, $T$ is a maximal $k$-torus in $G$, and $\Gamma$ is a finite group that acts on $(G,T)$. From the above, one obtains a root datum $\Psi$ on which $\text{Gal}(k)\times\Gamma$ acts. Provided that $\Gamma$ preserves a positive system in $\Psi$, not necessarily invariant under $\text{Gal}(k)$, we construct an inverse to this process. That is, given a root datum on which $\text{Gal}(k)\times\Gamma$ acts appropriately, we show how to construct a pair $(G,T)$, on which $\Gamma$ acts as above.

Although the pair $(G,T)$ and the action of $\Gamma$ are canonical only up to an equivalence relation, we construct a particular pair for which $G$ is $k$-quasisplit and $\Gamma$ fixes a $\text{Gal}(k)$-stable pinning of $G$. Using these choices, we can define a notion of taking "$\Gamma$-fixed points" at the level of equivalence classes, and this process is compatible with a general "restriction" process for root data with $\Gamma$-action.


          Measures of maximal entropy for suspension flows over the full shift. (arXiv:1708.00550v3 [math.DS] UPDATED)      Cache   Translate Page      

Authors: Tamara Kucherenko, Daniel J. Thompson

We consider suspension flows with continuous roof function over the full shift $\Sigma$ on a finite alphabet. For any positive entropy subshift of finite type $Y \subset \Sigma$, we explictly construct a roof function such that the measure(s) of maximal entropy for the suspension flow over $\Sigma$ are exactly the lifts of the measure(s) of maximal entropy for $Y$. In the case when $Y$ is transitive, this gives a unique measure of maximal entropy for the flow which is not fully supported. If $Y$ has more than one transitive component, all with the same entropy, this gives explicit examples of suspension flows over the full shift with multiple measures of maximal entropy. This contrasts with the case of a H\"older continuous roof function where it is well known the measure of maximal entropy is unique and fully supported.


          Verification of the Quillen conjecture in the rank 2 imaginary quadratic case. (arXiv:1708.02545v2 [math.AT] UPDATED)      Cache   Translate Page      

Authors: Bui Anh Tuan, Alexander Rahm

We confirm a conjecture of Quillen in the case of the mod $2$ cohomology of arithmetic groups ${\rm SL}_2({\mathcal{O}}_{\mathbb{Q}(\sqrt{-m})}[\frac{1}{2}]\thinspace)$, where ${\mathcal{O}}_{\mathbb{Q}(\sqrt{-m}\thinspace)}$ is an imaginary quadratic ring of integers. To make explicit the free module structure on the cohomology ring conjectured by Quillen, we compute the mod $2$ cohomology of ${\rm SL}_2({\mathbb{Z}}[\sqrt{-2}\thinspace][\frac{1}{2}])$ via the amalgamated decomposition of the latter group.


          Bounded t-structures on the bounded derived category of coherent sheaves over a weighted projective line. (arXiv:1708.05274v3 [math.RT] UPDATED)      Cache   Translate Page      

Authors: Chao Sun

We use recollement and HRS-tilt to describe bounded t-structures on the bounded derived category $\mathcal{D}^b(\mathbb{X})$ of coherent sheaves over a weighted projective line $\mathbb{X}$ of virtual genus $\leq 1$. We will see from our description that the combinatorics in classification of bounded t-structures on $\mathcal{D}^b(\mathbb{X})$ can be reduced to that in classification of bounded t-structures on bounded derived categories of finite dimensional right modules over representation-finite finite dimensional hereditary algebras.


          On the relative hyperbolicity and manifold structure of certain right-angled Coxeter groups. (arXiv:1708.07818v3 [math.GR] UPDATED)      Cache   Translate Page      

Authors: Matthew Haulmark, Hoang Thanh Nguyen, Hung Cong Tran

In this article, we first study the Bowditch boundary of relatively hyperbolic right-angled Coxeter groups. More precisely, we give "visual descriptions" of cut points and non-parabolic cut pairs in the Bowditch boundary of relatively hyperbolic right-angled Coxeter groups. Then we study the manifold structure and the relatively hyperbolic structure of right-angled Coxeter groups with planar nerves. We use these structures to study the quasi-isometry problem for this class of right-angled Coxeter groups.


          Local geometry of random geodesics on hyperbolic surfaces. (arXiv:1708.09830v2 [math.GT] UPDATED)      Cache   Translate Page      

Authors: Jayadev S. Athreya, Steven P. Lalley, Jenya Sapir, Matthew Wroten

It is shown that the tessellation of a compact, hyperbolic surface induced by a typical long geodesic segment, when properly scaled, looks locally like a Poisson line process. This implies that the global statistics of the tessellation -- for instance, the fraction of triangles -- approach those of the limiting Poisson line process.


          Low-Complexity Hybrid Beamforming for Massive MIMO Systems in Frequency-Selective Channels. (arXiv:1710.01584v3 [cs.IT] UPDATED)      Cache   Translate Page      

Authors: Sohail Payami, Mathini Sellathurai, Konstantinos Nikitopoulos

Hybrid beamforming for frequency-selective channels is a challenging problem as the phase shifters provide the same phase shift to all of the subcarriers. The existing approaches solely rely on the channel's frequency response and the hybrid beamformers maximize the average spectral efficiency over the whole frequency band. Compared to state-of-the-art, we show that substantial sum-rate gains can be achieved, both for rich and sparse scattering channels, by jointly exploiting the frequency and time domain characteristics of the massive multiple-input multiple-output (MIMO) channels. In our proposed approach, the radio frequency (RF) beamformer coherently combines the received symbols in the time domain and, thus, it concentrates signal's power on a specific time sample. As a result, the RF beamformer flattens the frequency response of the "effective" transmission channel and reduces its root mean square delay spread. Then, a baseband combiner mitigates the residual interference in the frequency domain. We present the closed-form expressions of the proposed beamformer and its performance by leveraging the favorable propagation condition of massive MIMO channels and we prove that our proposed scheme can achieve the performance of fully-digital zero-forcing when number of employed phase shifter networks is twice the resolvable multipath components in the time domain.


          Quantum-classical correspondence on associated vector bundles over locally symmetric spaces. (arXiv:1710.04625v3 [math.SP] UPDATED)      Cache   Translate Page      

Authors: Benjamin Küster, Tobias Weich

For a compact Riemannian locally symmetric space $\mathcal M$ of rank one and an associated vector bundle $\mathbf V_\tau$ over the unit cosphere bundle $S^\ast\mathcal M$, we give a precise description of those classical (Pollicott-Ruelle) resonant states on $\mathbf V_\tau$ that vanish under covariant derivatives in the Anosov-unstable directions of the chaotic geodesic flow on $S^\ast\mathcal M$. In particular, we show that they are isomorphically mapped by natural pushforwards into generalized common eigenspaces of the algebra of invariant differential operators $D(G,\sigma)$ on compatible associated vector bundles $\mathbf W_\sigma$ over $\mathcal M$. As a consequence of this description, we obtain an exact band structure of the Pollicott-Ruelle spectrum. Further, under some mild assumptions on the representations $\tau$ and $\sigma$ defining the bundles $\mathbf V_\tau$ and $\mathbf W_\sigma$, we obtain a very explicit description of the generalized common eigenspaces. This allows us to relate classical Pollicott-Ruelle resonances to quantum eigenvalues of a Laplacian in a suitable Hilbert space of sections of $\mathbf W_\sigma$. Our methods of proof are based on representation theory and Lie theory.


          Optimal Control of Endo-Atmospheric Launch Vehicle Systems: Geometric and Computational Issues. (arXiv:1710.11501v2 [math.OC] UPDATED)      Cache   Translate Page      

Authors: Riccardo Bonalli (Palaiseau, LJLL, CaGE), Bruno Hérissé (Palaiseau), Emmanuel Trélat (LJLL, CaGE)

In this paper we develop a geometric analysis and a numerical algorithm, based on indirect methods, to solve optimal guidance of endo-atmospheric launch vehicle systems under mixed control-state constraints. Two main difficulties are addressed. First, we tackle the presence of Euler singularities by introducing a representation of the configuration manifold in appropriate local charts. In these local coordinates, not only the problem is free from Euler singularities but also it can be recast as an optimal control problem with only pure control constraints. The second issue concerns the initialization of the shooting method. We introduce a strategy which combines indirect methods with homotopies, thus providing high accuracy. We illustrate the efficiency of our approach by numerical simulations on missile interception problems under challenging scenarios.


          Random walk on a randomly oriented honeycomb lattice. (arXiv:1711.06524v3 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Gianluca Bosi, Massimo Campanino

We study the recurrence behaviour of random walks on partially oriented honeycomb lattices. The vertical edges are undirected while the orientation of the horizontal edges is random: depending on their distribution, we prove a.s. transience in some cases, and a.s. recurrence in other ones. The results extend those obtained for the partially oriented square grid lattices (Campanino and Petritis (2003), Campanino and Petritis (2014)).


          A Probability Monad as the Colimit of Spaces of Finite Samples. (arXiv:1712.05363v4 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Tobias Fritz, Paolo Perrone

We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein distance. This monad is analogous to the Giry monad on the category of Polish spaces, and it extends a construction due to van Breugel for compact and for 1-bounded complete metric spaces.

We prove that this Kantorovich monad arises from a colimit construction on finite power-like constructions, which formalizes the intuition that probability measures are limits of finite samples. The proof relies on a criterion for when an ordinary left Kan extension of lax monoidal functors is a monoidal Kan extension. The colimit characterization allows the development of integration theory and the treatment of measures on spaces of measures, without measure theory.

We also show that the category of algebras of the Kantorovich monad is equivalent to the category of closed convex subsets of Banach spaces with short affine maps as morphisms.


          Motivic spectral sequence for relative homotopy K-theory. (arXiv:1801.00922v2 [math.AG] UPDATED)      Cache   Translate Page      

Authors: Amalendu Krishna, Pablo Pelaez

We construct a motivic spectral sequence for the relative homotopy invariant K-theory of a closed immersion of schemes $D \subset X$. The $E_2$-terms of this spectral sequence are the cdh-hypercohomology of a complex of equi-dimensional cycles.

Using this spectral sequence, we obtain a cycle class map from the relative motivic cohomology group of 0-cycles to the relative homotopy invariant K-theory. For a smooth scheme $X$ and a divisor $D \subset X$, we construct a canonical homomorphism from the Chow groups with modulus $\CH^i(X|D)$ to the relative motivic cohomology groups $H^{2i}(X|D, \Z(i))$ appearing in the above spectral sequence. This map is shown to be an isomorphism when $X$ is affine and $i = \dim(X)$.


          Contact (+1)-surgeries along Legendrian Two-component Links. (arXiv:1801.02180v3 [math.GT] UPDATED)      Cache   Translate Page      

Authors: Fan Ding, Youlin Li, Zhongtao Wu

In this paper, we study contact surgeries along Legendrian links in the standard contact 3-sphere. On one hand, we use algebraic methods to prove the vanishing of the contact Ozsv\'{a}th-Szab\'{o} invariant for contact $(+1)$-surgery along certain Legendrian two-component links. The main tool is a link surgery formula for Heegaard Floer homology developed by Manolescu and Ozsv\'{a}th. On the other hand, we use contact-geometric argument to show the overtwistedness of the contact 3-manifolds obtained by contact $(+1)$-surgeries along Legendrian two-component links whose two components are linked in some special configurations.


          Stochastic grid bundling method for backward stochastic differential equations. (arXiv:1801.05180v2 [math.NA] UPDATED)      Cache   Translate Page      

Authors: Ki Wai Chau, Cornelis W. Oosterlee

In this work, we apply the Stochastic Grid Bundling Method (SGBM) to numerically solve backward stochastic differential equations (BSDEs). The SGBM algorithm is based on conditional expectations approximation by means of bundling of Monte Carlo sample paths and a local regress-later regression within each bundle. The basic algorithm for solving the backward stochastic differential equations will be introduced and an upper error bound is established for the local regression. A full error analysis is also conducted for the explicit version of our algorithm and numerical experiments are performed to demonstrate various properties of our algorithm.


          Stochastic homogenization of a scalar viscoelastic model exhibiting stress-strain hysteresis. (arXiv:1802.05549v2 [math.AP] UPDATED)      Cache   Translate Page      

Authors: Thomas Hudson, Frédéric Legoll, Tony Lelièvre

Motivated by rate-independent stress-strain hysteresis observed in filled rubber, this article considers a scalar viscoelastic model in which the constitutive law is random and varies on a lengthscale which is small relative to the overall size of the solid. Using stochastic two-scale convergence as introduced by Bourgeat, Mikelic and Wright, we obtain the homogenized limit of the evolution, and demonstrate that under certain hypotheses, the homogenized model exhibits hysteretic behaviour which persists under asymptotically slow loading. These results are illustrated by means of numerical simulations in a particular one-dimensional instance of the model.


          Cohomology of finite p-groups of fixed nilpotency class. (arXiv:1802.09459v2 [math.AT] UPDATED)      Cache   Translate Page      

Authors: Oihana Garaialde Ocaña, Jon González-Sánchez

Let p be a prime number and let c, d be natural numbers. Then, the number of possible isomorphism types for the mod p cohomology algebra of a d-generated finite p-group of nilpotency class c is bounded by a function depending only on p, c and d.


          Approximation of the Boltzmann Collision Operator Based on Hermite Spectral Method. (arXiv:1803.11191v2 [math.NA] UPDATED)      Cache   Translate Page      

Authors: Yanli Wang, Zhenning Cai

Based on the Hermite expansion of the distribution function, we introduce a Galerkin spectral method for the spatially homogeneous Boltzmann equation with the realistic inverse-power-law models. A practical algorithm is proposed to evaluate the coefficients in the spectral method with high accuracy, and these coefficients are also used to construct new computationally affordable collision models. Numerical experiments show that our method captures the low-order moments very efficiently.


          Generalized Affine Scaling Algorithms for Linear Programming Problems. (arXiv:1804.07373v3 [math.OC] UPDATED)      Cache   Translate Page      

Authors: Md Sarowar Morshed, Md. Noor-E-Alam

Interior Point Methods are widely used to solve Linear Programming problems. In this work, we present two primal affine scaling algorithms to achieve faster convergence in solving Linear Programming problems. In the first algorithm, we integrate Nesterov's restarting strategy in the primal affine scaling method with an extra parameter, which in turn generalizes the original primal affine scaling method. We provide the proof of convergence for the proposed generalized algorithm considering long step size. We also provide the proof of convergence for the primal and dual sequence without the degeneracy assumption. This convergence result generalizes the original convergence result for the affine scaling methods and it gives us hints about the existence of a new family of methods. Then, we introduce a second algorithm to accelerate the convergence rate of the generalized algorithm by integrating a non-linear series transformation technique. Our numerical results show that the proposed algorithms outperform the original primal affine scaling method.


          Maximum-Entropy Priors with Derived Parameters in a Specified Distribution. (arXiv:1804.08143v3 [math.ST] UPDATED)      Cache   Translate Page      

Authors: Will Handley, Marius Millea

We propose a method for transforming probability distributions so that parameters of interest are forced into a specified distribution. We prove that this approach is the maximum entropy choice, and provide a motivating example applicable to neutrino hierarchy inference.


          Homogenization of time-harmonic Maxwell's equations in nonhomogeneous plasmonic structures. (arXiv:1805.07671v2 [math.AP] UPDATED)      Cache   Translate Page      

Authors: Matthias Maier, Dionisios Margetis, Antoine Mellet

We carry out the homogenization of time-harmonic Maxwell's equations in a periodic, layered structure made of two-dimensional (2D) metallic sheets immersed in a heterogeneous and in principle anisotropic dielectric medium. In this setting, the tangential magnetic field exhibits a jump across each sheet. Our goal is the rigorous derivation of the effective dielectric permittivity of the system from the solution of a local cell problem via suitable averages. Each sheet has a fine-scale, inhomogeneous and possibly anisotropic surface conductivity that scales linearly with the microstructure scale, $d$. Starting with the weak formulation of the requisite boundary value problem, we prove the convergence of its solution to a homogenization limit as $d$ approaches zero. The effective permittivity and cell problem express a bulk average from the host dielectric and a surface average germane to the 2D material (metallic layer). We discuss implications of this analysis in the modeling of plasmonic crystals.


          Longest increasing paths with gaps. (arXiv:1805.09136v2 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Anne-Laure Basdevant (MODAL'X), Lucas Gerin (CMAP)

We consider a variant of the continuous and discrete Ulam-Hammersley problems: we study the maximal length of an increasing path through a Poisson point process (or a Bernoulli point process) with the restriction that there must be minimal gaps between abscissae and ordinates of successive points of the path.For both cases (continuous and discrete) our approach rely on couplings with well-studied models: respectively the classical Ulam-Hammersley problem and last-passage percolation with geometric weights. Thanks to these couplings we obtain explicit limiting shapes in both settings.We also establish that, as in the classical Ulam-Hammersley problem, the fluctuations around the mean are given by the Tracy-Widom distribution.


          The upper bound theorem for flag homology 5-manifolds. (arXiv:1805.09179v2 [math.CO] UPDATED)      Cache   Translate Page      

Authors: Hailun Zheng

We prove that among all flag homology $5$-manifolds with $n$ vertices, the join of $3$ circles of as equal length as possible is the unique maximizer of all the face numbers. The same upper bounds on the face numbers hold for $5$-dimensional flag Eulerian normal pseudomanifolds.


          A Reflected Moving Boundary Problem Driven by Space-Time White Noise. (arXiv:1805.10166v2 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Ben Hambly, Jasdeep Kalsi

We study a system of two reflected SPDEs which share a moving boundary. The equations describe competition at an interface and are motivated by the modelling of the limit order book in financial markets. The derivative of the moving boundary is given by a function of the two SPDEs in their relative frames. We prove existence and uniqueness for the equations until blow-up, and show that the solution is global when the boundary speed is bounded. We also derive the expected H\"older continuity for the process and hence for the derivative of the moving boundary. Both the case when the spatial domains are given by fixed finite distances from the shared boundary, and when the spatial domains are the semi-infinite intervals on either side of the shared boundary are considered. In the second case, our results require us to further develop the known theory for reflected SPDEs on infinite spatial domains by extending the uniqueness theory and establishing the local H\"older continuity of the solutions.


          On 2-absorbing ideals of commutative semirings. (arXiv:1805.11928v2 [math.RA] UPDATED)      Cache   Translate Page      

Authors: Hussein Behzadipour, Peyman Nasehpour

In this paper, we investigate 2-absorbing ideals of commutative semirings and prove that if $\mathfrak{a}$ is a nonzero proper ideal of a subtractive valuation semiring $S$ then $\mathfrak{a}$ is a 2-absorbing ideal of $S$ if and only if $\mathfrak{a}=\mathfrak{p}$ or $\mathfrak{a}=\mathfrak{p}^2$ where $\mathfrak{p}=\sqrt\mathfrak{a}$ is a prime ideal of $S$. We also show that each 2-absorbing ideal of a subtractive semiring $S$ is prime if and only if the prime ideals of $S$ are comparable and if $\mathfrak{p}$ is a minimal prime over a 2-absorbing ideal $\mathfrak{a}$, then $\mathfrak{am} = \mathfrak{p}$, where $\mathfrak{m}$ is the unique maximal ideal of $S$.


          Some Quantum-Mechanical Relations in case of singular operators and potentials. (arXiv:1806.01268v4 [quant-ph] UPDATED)      Cache   Translate Page      

Authors: Anzor Khelashvili, Teimuraz Nadareishvili

Elaboration of some fundamental relations in three dimensional quantum mechanics is considered taking into account the restricted character of areas in radial distance. In such cases the boundary behavior of the radial wave function and singularity of operators at the origin of coordinates contribute to these relations. We derive the relation between the average value of the operator time derivative and the time derivative of mean value of this operator, which is usually considered to be the same by definition. The deviation from the known result is deduced and manifested by extra term, which depends on the boundary behavior mentioned above. The general form for this extra term takes place in the hypervirial like theorems. As a particular case, the virial theorem for Coulomb and oscillator potentials is considered and correction to the Kramers sum rule is derived. Moreover the corrected Ehrenfest theorem is deduced and its consistency with real physical picture is demonstrated.


          Linear Representations and Frobenius Morphisms of Groupoids. (arXiv:1806.09327v2 [math.RT] UPDATED)      Cache   Translate Page      

Authors: Juan Jesús Barbarán Sánchez, Laiachi EL Kaoutit

Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A morphism with this property is termed a Frobenius morphism of groupoids. As a consequence, an extension by a subgroupoid is Frobenius if and only if each fibre of the (left or right) pull-back biset has finitely many orbits. Our results extend and clarify the classical Frobenius reciprocity formulae in the theory of finite groups, and characterize Frobenius extension of algebras with enough orthogonal idempotents.


          A note on a question of Dimca and Greuel. (arXiv:1807.05967v2 [math.AG] UPDATED)      Cache   Translate Page      

Authors: Patricio Almirón, Guillem Blanco

In this note we give a positive answer to a question of Dimca and Greuel about the quotient between the Milnor and Tjurina numbers of an isolated plane curve singularity in the cases of one Puiseux pair and semi-quasi-homogeneous singularities.


          Characterizations of the weakly compact ideal on $P_\kappa\lambda$. (arXiv:1807.11896v3 [math.LO] UPDATED)      Cache   Translate Page      

Authors: Brent Cody

Sun \cite{MR1245524} proved that a set $W\subseteq\kappa$ is $\Pi^1_1$-indescribable (or equivalently weakly compact) if and only if $W\cap C\neq\emptyset$ for every $1$-club $C\subseteq \kappa$; here, a set $C\subseteq\kappa$ is \emph{$1$-club} if and only if $C\in\text{NS}_\kappa^+$ and whenever $\alpha<\kappa$ is inaccessible and $C\cap \alpha\in\text{NS}_\alpha^+$ then $\alpha\in C$. We generalize Sun's characterization to $\Pi^1_1$-indescribable subsets of $P_\kappa\lambda$, which were first defined by Baumgartner by using a natural two-cardinal version of the cumulative hierarchy. Using the minimal \emph{strongly} normal ideal on $P_\kappa\lambda$, which is distinct from $\text{NS}_{\kappa,\lambda}$ when $\kappa$ is inaccessible, we formulate a notion of $1$-club subset of $P_\kappa\lambda$ and prove that a set $W\subseteq P_\kappa\lambda$ is $\Pi^1_1$-indescribable if and only if $W\cap C\neq\emptyset$ for every $1$-club $C\subseteq P_\kappa\lambda$. We also prove that elementary embeddings considered by Schanker \cite{MR2989393} witnessing \emph{near supercompactness} lead to the definition of a normal ideal on $P_\kappa\lambda$, and indeed, this ideal is equal to Baumgartner's ideal of non--$\Pi^1_1$-indescribable subsets of $P_\kappa\lambda$. Additionally, we prove several results involving a two-cardinal weakly compact diamond principle, answer a question of Cox-L\"ucke \cite{MR3620068} and show that if $\kappa$ is $\kappa^+$-supercompact then there is a forcing extension in which there is a weakly compact $(\kappa,\kappa^+)$-semimorass $W\subseteq P_\kappa\lambda$.


          A note on concentration inequality for vector-valued martingales with weak exponential-type tails. (arXiv:1809.02495v2 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Chris Junchi Li

We present novel martingale concentration inequalities for martingale differences with finite Orlicz-$\psi_\alpha$ norms. Such martingale differences with weak exponential-type tails scatters in many statistical applications and can be heavier than sub-exponential distributions. In the case of one dimension, we prove in general that for a sequence of scalar-valued supermartingale difference, the tail bound depends solely on the sum of squared Orlicz-$\psi_\alpha$ norms instead of the maximal Orlicz-$\psi_\alpha$ norm, generalizing the results of Lesigne & Voln\'y (2001) and Fan et al. (2012). In the multidimensional case, using a dimension reduction lemma proposed by Kallenberg & Sztencel (1991) we show that essentially the same concentration tail bound holds for vector-valued martingale difference sequences.


          Primes In Fractional Sequences. (arXiv:1809.02821v2 [math.GM] UPDATED)      Cache   Translate Page      

Authors: N. A. Carella

The results for the fractional sequence $\left \{[x/n]+1:n \leq x\right \}$, and the fractional sequence in arithmetic progression $\left \{q[x/n]+a:n \leq x\right \}$, where $a<q$ are integers such that $\gcd(a,q)=1$, prove that these sequences of fractional numbers contain the set of primes, and the set primes in arithmetic progressions as $x \to \infty$ respectively. Furthermore, the corresponding error terms for these sequences are improved. Other results considered are the fractional sequences of integers such as the sequence $\left \{[x/n]^2+1:n \leq x\right \}$ generated by the quadratic polynomial $n^2+1$, and the sequence $\left \{[x/n]^3+2:n \leq x\right \}$ generated by the cubic polynomial $n^3+2$. It is shown that each of these sequences of fractional numbers contains infinitely many primes as $x \to \infty$.


          Adaptive finite element simulations of waveguide configurations involving parallel 2D material sheets. (arXiv:1809.06516v2 [physics.comp-ph] UPDATED)      Cache   Translate Page      

Authors: Jung Heon Song, Matthias Maier, Mitchell Luskin

We discuss analytically and numerically the propagation and energy transmission of electromagnetic waves caused by the coupling of surface plasmon polaritons (SPPs) between two spatially separated layers of 2D materials, such as graphene, at subwavelength distances. We construct an adaptive finite-element method to compute the ratio of energy transmitted within these waveguide structures reliably and efficiently. At its heart, the method is built upon a goal-oriented a posteriori error estimation with the dual-weighted residual method (DWR). Further, we derive analytic solutions of the two-layer system, compare those to (known) single-layer configurations, and compare and validate our numerical findings by comparing numerical and analytical values for optimal spacing of the two-layer configuration. Additional aspects of our numerical treatment, such as local grid refinement, and the utilization of perfectly matched layers (PMLs) are examined in detail.


          Quot-scheme limit of Fubini-Study metrics and Donaldson's functional for bundles. (arXiv:1809.08425v2 [math.AG] UPDATED)      Cache   Translate Page      

Authors: Yoshinori Hashimoto, Julien Keller

For a holomorphic vector bundle $E$ over a polarised K\"ahler manifold, we establish a direct link between the slope stability of $E$ and the asymptotic behaviour of Donaldson's functional, by defining the Quot-scheme limit of Fubini-Study metrics. In particular, we provide an explicit estimate which proves that Donaldson's functional is coercive on the set of Fubini-Study metrics if $E$ is slope stable, and give a new proof of Hermitian-Einstein metrics implying slope stability.


          Stabilizing Graph-dependent Switched Systems. (arXiv:1810.03311v2 [math.DS] UPDATED)      Cache   Translate Page      

Authors: Nikita Agarwal

We give sufficient conditions for stability of a continuous-time linear switched system consisting of finitely many subsystems. The switching between subsystems is governed by an underlying graph. The results are applicable to switched systems having some or all non-Hurwitz subsystems. We also present a slow-fast switching mechanism on subsystems comprising simple loops of underlying graph to ensure stability of the switched system.


          Energy distribution of harmonic 1-forms and Jacobians of Riemann surfaces with a short closed geodesic. (arXiv:1810.05259v2 [math.DG] UPDATED)      Cache   Translate Page      

Authors: Peter Buser, Eran Makover, Bjoern Muetzel, Robert Silhol

We study the energy distribution of harmonic 1-forms on a compact hyperbolic Riemann surface $S$ where a short closed geodesic is pinched. If the geodesic separates the surface into two parts, then the Jacobian torus of $S$ develops into a torus that splits. If the geodesic is nonseparating then the Jacobian torus of $S$ degenerates. The aim of this work is to get insight into this process and give estimates in terms of geometric data of both the initial surface $S$ and the final surface, such as its injectivity radius and the lengths of geodesics that form a homology basis. As an invariant we introduce new families of symplectic matrices that compensate for the lack of full dimensional Gram-period matrices in the noncompact case.


          Weak solutions of the Cahn-Hilliard system with dynamic boundary conditions: A gradient flow approach. (arXiv:1810.09817v2 [math.AP] UPDATED)      Cache   Translate Page      

Authors: Harald Garcke, Patrik Knopf

The Cahn-Hilliard equation is the most common model to describe phase separation processes of a mixture of two components. For a better description of short-range interactions of the material with the solid wall, various dynamic boundary conditions have been considered in recent times. New models with dynamic boundary conditions have been proposed recently by C. Liu and H. Wu [arXiv:1710.08318]. We prove the existence of weak solutions to these new models by interpreting the problem as a suitable gradient flow of a total free energy which contains volume as well as surface contributions. The formulation involves an inner product which couples bulk and surface quantities in an appropriate way. We use an implicit time discretization and show that the obtained approximate solutions converge to a weak solution of the Cahn-Hilliard system. This allows us to substantially improve earlier results which needed strong assumptions on the geometry of the domain. Furthermore, we prove that this weak solution is unique.


          Asymptotics of eigenstructure of sample correlation matrices for high-dimensional spiked models. (arXiv:1810.10214v3 [math.ST] UPDATED)      Cache   Translate Page      

Authors: David Morales-Jimenez, Iain M. Johnstone, Matthew R. McKay, Jeha Yang

Sample correlation matrices are employed ubiquitously in statistics. However, quite surprisingly, little is known about their asymptotic spectral properties for high-dimensional data, particularly beyond the case of "null models" for which the data is assumed independent. Here, considering the popular class of spiked models, we apply random matrix theory to derive asymptotic first-order and distributional results for both the leading eigenvalues and eigenvectors of sample correlation matrices. These results are obtained under high-dimensional settings for which the number of samples n and variables p approach infinity, with p/n tending to a constant. To first order, the spectral properties of sample correlation matrices are seen to coincide with those of sample covariance matrices; however their asymptotic distributions can differ significantly, with fluctuations of both the sample eigenvalues and eigenvectors often being remarkably smaller than those of their sample covariance counterparts.


          On completion of the cone of CP linear maps with respect to the energy-constrained diamond norm. (arXiv:1810.10922v2 [math.FA] UPDATED)      Cache   Translate Page      

Authors: M.E.Shirokov

For a given positive operator $G$ we consider the cones of linear maps between Banach spaces of trace class operators characterized by the Stinespring-like representation with $\sqrt{G}$-bounded and $\sqrt{G}$-infinitesimal operators correspondingly. We prove the completeness of both cones w.r.t. the energy-constrained diamond norm induced by $G$ (as an energy observable) and the coincidence of the second cone with the completion of the cone of CP linear maps w.r.t. this norm.

We show that the sets of quantum channels and quantum operations are complete w.r.t. the energy-constrained diamond norm for any energy observable $G$.

Some properties of the maps belonging to the introduced cones are described. In particular, the corresponding generalization of the Kretschmann-Schlingemann-Werner theorem is obtained.

We also give a nonconstructive description of the completion of the set of all Hermitian-preserving completely bounded linear maps w.r.t. the ECD norm.


          On truncated quasi-categories. (arXiv:1810.11188v2 [math.CT] UPDATED)      Cache   Translate Page      

Authors: Alexander Campbell, Edoardo Lanari

For each $n \geq -1$, a quasi-category is said to be $n$-truncated if its hom-spaces are $(n-1)$-types. In this paper we study the model structure for $n$-truncated quasi-categories, which we show can be constructed as the Bousfield localisation of Joyal's model structure for quasi-categories with respect to the boundary inclusion of the $(n+2)$-simplex. Furthermore, we prove the expected Quillen equivalences between categories and $1$-truncated quasi-categories and between $n$-truncated quasi-categories and Rezk's $(n,1)$-$\Theta$-spaces.


          Resolutions of ideals associated to subspace arrangements. (arXiv:1810.11694v2 [math.AC] UPDATED)      Cache   Translate Page      

Authors: Francesca Gandini

Given a collection of $t$ subspaces in an $n$-dimensional $\mathbb{K} $-vector space $W$ we can associate to them $t$ vanishing ideals in the symmetric algebra $\mathcal{S}(W^*) = \mathbb{K}[x_1,x_2,\dots,x_n]$. As a subspace is defined by a set of linear equations, its vanishing ideal is generated by linear forms so it is a linear ideal. Conca and Herzog showed that the Castelnuovo-Mumford regularity of the product of $t$ linear ideals is equal to $t$. Derksen and Sidman showed that the Castelnuovo-Mumford regularity of the intersection of $t$ linear ideals is at most $t$ and they also showed that similar results hold for a more general class of ideals constructed from linear ideals. In this paper we show that analogous results hold when we replace the symmetric algebra $\mathcal{S}(W^*)$ with the exterior algebra $ \bigwedge(W^*)$ and work over a field of characteristic 0. To prove these results we rely on the functoriality of free resolutions and construct a functor $\Omega$ from the category of polynomial functors to itself. The functor $\Omega$ transforms resolutions of ideals in the symmetric algebra to resolutions of ideals in the exterior algebra.


          A new formula for $\zeta(s)$. (arXiv:1811.09226v4 [math.NT] UPDATED)      Cache   Translate Page      

Authors: Chenfeng He

In this paper, by introducing a new operation in the vector space of analytic functions, the author presents a method for derivating the well-known formulas: $\zeta(1-k)=-\frac{B_k}{k}$ and $\zeta(1-n,a)=-\frac{B_n(a)}{n}$ , where $\zeta$, $\zeta(1-n,a)$ denote the Riemann zeta function and the Hurwitz zeta function respectively. $B_k$ is the $k$-th Bernoulli number. Also the author steps further to deduce some identities related to Bernoulli number and Bernoulli polynomial. Moreover, when combining the operation with forward difference, we can show a new formula for Riemann zeta function, i.e. \[\zeta(s)=e\sum_{n=0}^{\infty}\sum_{i=0}^{n}(-1)^{n-i}\frac{1}{(n-i)!(1+i)^{s}}.\]


          Remarks on expansions of the real field: tameness, Hardy fields and smooth rings. (arXiv:1811.09255v2 [math.LO] UPDATED)      Cache   Translate Page      

Authors: Rodrigo Figueiredo, Hugo Luiz Mariano

In the talk \cite{vandendries-matthias-} presented at Logic and Foundations section of ICM-2018, Rio de Janeiro, the authors analyze, under a model-theoretic perspective, three ways to enrich the real continuum by infinitesimal and infinite quantities. In the present work, we present a first model-theoretic connection of another (but related to the previous one) triple of structures: o-minimal structures, Hardy fields and smooth rings.


          Convergence in the $p$-contest model. (arXiv:1812.00629v2 [math.PR] UPDATED)      Cache   Translate Page      

Authors: Philip Kennerberg, Stanislav Volkov

We study asymptotic properties of the following Markov system of $N \geq 3$ points in~$[0,1]$. At each time step, the point farthest from the current centre of mass, multiplied by a constant $p>0$, is removed and replaced by an independent $\zeta$-distributed point; the problem, inspired by variants of the Bak--Sneppen model of evolution and called a $p$-contest, was posed in [Grinfeld, M, Knight, P.A., and Wade, A.R. Rank-driven Markov processes, J. Stat. Phys. 146 (2012)]. We obtain various criteria for the convergences of the system, both for $p<1$ and $p>1$.

In particular, when $p<1$ and $\zeta\sim U[0,1]$, we show that the limiting configuration converges to zero. When $p>1$, we show that the configuration must converge to either zero or one, and we present an example where both outcomes are possible. Finally, when $p>1$, $N=3$ and $\zeta$ satisfies certain conditions (e.g.~$\zeta\sim U[0,1]$), we prove that the configuration can only converge to one a.s.

Our paper substantially extends the results of [Grinfeld, M., Volkov, S., and Wade, A.R. Convergence in a multidimensional randomized Keynesian beauty contest. Adv. in Appl. Probab. 47 (2015)] and [Kennerberg, P., and Volkov, S. Jante's law process. Adv. in Appl. Probab. 50 (2018)] where it was assumed that $p=1$. Unlike the previous models, one can no longer use the Lyapunov function based just on the radius of gyration; when $0<p<1$ one has to find a much finer tuned function which turns out to be a supermartingale; the proof of this fact constitutes an unwieldy, albeit necessary, part of the paper.


          Finding Tutte paths in linear time. (arXiv:1812.04543v2 [cs.DS] UPDATED)      Cache   Translate Page      

Authors: Therese Biedl, Philipp Kindermann

It is well-known that every planar graph has a Tutte path, i.e., a path $P$ such that any component of $G-P$ has at most three attachment points on $P$. However, it was only recently shown that such Tutte paths can be found in polynomial time. In this paper, we give a new proof that 3-connected planar graphs have Tutte paths, which leads to a linear-time algorithm to find Tutte paths. Furthermore, our Tutte path has special properties: it visits all exterior vertices, all components of $G-P$ have exactly three attachment points, and we can assign distinct representatives to them that are interior vertices. Finally, our running time bound is slightly stronger; we can bound it in terms of the degrees of the faces that are incident to $P$. This allows us to find some applications of Tutte paths (such as binary spanning trees and 2-walks) in linear time as well.


          A new understanding of $\zeta(k)$. (arXiv:1812.06392v3 [math.NT] UPDATED)      Cache   Translate Page      

Authors: Chenfeng He

In this paper, by introducing a new operation in the vector space of Laurent series, the author derived explicit series for the values of $\zeta$-funtion at positive integers, where $\zeta$ denotes the Riemann zeta function. The values of $\zeta(k),\ k>1$ are largely connected with Bernoulli numbers and binomial numbers. The method in this paper seems new, and the resluts are about divergent series. Using Borel summation for these divergent series one can connect $\zeta$ function, Bernoulli numbers, and most series representations of Riemann zeta function.


          Classical Bounded and Almost Periodic Solutions to Quasilinear First-Order Hyperbolic Systems in a Strip. (arXiv:1812.08006v2 [math.AP] UPDATED)      Cache   Translate Page      

Authors: I. Kmit, L. Recke, V. Tkachenko

We consider boundary value problems for quasilinear first-order one-dimensional hyperbolic systems in a strip. The boundary conditions are supposed to be of a smoothing type, in the sense that the $L^2$-generalized solutions to the initial-boundary value problems become eventually $C^2$-smooth for any initial $L^2$-data. We investigate small global classical solutions and obtain the existence and uniqueness result under the condition that the evolution family generated by the linearized problem has exponential dichotomy on R. We prove that the dichotomy survives under small perturbations in the leading coefficients of the hyperbolic system. Assuming that the coefficients of the hyperbolic system are almost periodic, we prove that the bounded solution is almost periodic also.


          Determination of convection terms and quasi-linearities appearing in diffusion equations. (arXiv:1812.08495v2 [math.AP] UPDATED)      Cache   Translate Page      

Authors: Pedro Caro, Yavar Kian

We consider the highly nonlinear and ill-posed inverse problem of determining some general expression $F(x,t,u,\nabla_xu)$ appearing in the diffusion equation $\partial_tu-\Delta_x u+F(x,t,u,\nabla_xu)=0$ on $\Omega\times(0,T)$, with $T>0$ and $\Omega$ a bounded open subset of $\mathbb R^n$, $n\geq2$, from measurements of solutions on the lateral boundary $\partial\Omega\times(0,T)$. We consider both linear and nonlinear expression of $F(x,t,u,\nabla_xu)$. In the linear case, the equation can be seen as a convection-diffusion equation and our inverse problem corresponds to the unique recovery, in some suitable sense, of a time evolving velocity field associated with the moving quantity as well as the density of the medium in some rough setting described by non-smooth coefficients on a Lipschitz domain. In the nonlinear case, we prove the recovery of more general quasi-linear expression appearing in a nonlinear parabolic equation associated with more complex model. Here the goal is to determine the underlying physical low of the system associated with our equation. In this paper, we consider for what seems to be the first time the unique recovery of a general vector valued first order coefficient, depending on both time and space variable. Moreover, we provide results of full recovery of some general class of quasi-linear terms admitting evolution inside the system independently of the solution from measurements at the boundary. These last results improve earlier works of Isakov in terms of generality and precision. In addition, our results give a partial positive answer, in terms of measurements restricted to the lateral boundary, to an open problem posed by Isakov in his classic book (\textit{Inverse Problems for Partial Differential Equations}) extended to the recovery of quasi-linear terms.


          An invitation to Gabor analysis. (arXiv:1812.08647v2 [math.CA] UPDATED)      Cache   Translate Page      

Authors: Kasso A. Okoudjou

Gabor analysis which can be traced back to Dennis Gabor's influential 1946 paper \emph{Theory of communication}, is concerned with both the theory and the applications of the approximation properties of sets of time and frequency shifts of a given window function. It re-emerged with the advent of wavelets at the end of the last century and is now at the intersection of many fields of mathematics, applied mathematics, engineering, and science. The goal of this paper is to give a brief introduction to Gabor analysis by elaborating on three open problems.


          Large values of $L$-functions on $1$-line. (arXiv:1901.01625v2 [math.NT] UPDATED)      Cache   Translate Page      

Authors: Anup B. Dixit, Kamalakshya Mahatab

In this paper, we study lower bounds of a general family of $L$-functions on the $1$-line. More precisely, we show that for any $F(s)$ in this family, there exists arbitrary large $t$ such that $F(1+it) \geq e^{\gamma_F} {(\log\log t + \log \log \log t)}^m + O(1)$, where $m$ is the order of the pole at $s=1$ of $F(s)$. This is the generalization of the same result of Aistleitner, Munsch and the second author for the Riemann zeta-function. As a consequence, we get lower bounds for large values of Dedekind zeta-functions and Rankin-Selberg $L$-functions of the type $L(s, f \times f)$ on the $1$-line.


          Large cliques in hypergraphs with forbidden substructures. (arXiv:1903.00245v2 [math.CO] UPDATED)      Cache   Translate Page      

Authors: Andreas F. Holmsen

A result due to Gy\'arf\'as, Hubenko, and Solymosi (answering a question of Erd\"os) states that if a graph $G$ on $n$ vertices does not contain $K_{2,2}$ as an induced subgraph yet has at least $c\binom{n}{2}$ edges, then $G$ has a complete subgraph on at least $\frac{c^2}{10}n$ vertices. In this paper we suggest a "higher-dimensional" analogue of the notion of an induced $K_{2,2}$ which allows us to generalize their result to $k$-uniform hypergraphs. Our result also has an interesting consequence in discrete geometry. In particular, it implies that the fractional Helly theorem can be derived as a purely combinatorial consequence of the colorful Helly theorem.


          4D, N = 1 Supersymmetry Genomics (II). (arXiv:1112.2147v2 [hep-th] CROSS LISTED)      Cache   Translate Page      

Authors: S. James Gates Jr, Jared Hallett, James Parker, Vincent G. J. Rodgers, Kory Stiffler

We continue the development of a theory of off-shell supersymmetric representations analogous to that of compact Lie algebras such as SU(3). For off-shell 4D, N = 1 systems, quark-like representations have been identified [1] in terms of cis-Adinkras and trans-Adinkras and it has been conjectured that arbitrary representations are composites of $n_c$-cis and $n_t$-trans representations. Analyzing the real scalar and complex linear superfield multiplets, these "chemical enantiomer" numbers are found to be $n_c$ = $n_t$ = 1 and $n_c$ = 1, $n_t$ = 2, respectively.


          Ergodic behavior of non-conservative semigroups via generalized Doeblin's conditions. (arXiv:1710.05584v3 [math.AP] CROSS LISTED)      Cache   Translate Page      

Authors: Vincent Bansaye (CMAP), Bertrand Cloez (MISTEA), Pierre Gabriel (LMV)

We provide quantitative estimates in total variation distance for positive semi-groups, which can be non-conservative and non-homogeneous. The techniques relies on a family of conservative semigroups that describes a typical particle and Doeblin's type conditions for coupling the associated process. Our aim is to provide quantitative estimates for linear partial differential equations and we develop several applications for population dynamics in varying environment. We start with the asymptotic profile for a growth diffusion model with time and space non-homogeneity. Moreover we provide general estimates for semigroups which become asymptotically homogeneous, which are applied to an age-structured population model. Finally, we obtain a speed of convergence for periodic semi-groups and new bounds in the homogeneous setting. They are are illustrated on the renewal equation.


          Millones de fotos de Flickr acaban en sistemas de reconocimiento facial: un uso perverso de la licencia Creative Commons      Cache   Translate Page      

Millones de fotos de Flickr acaban en sistemas de reconocimiento facial: un uso perverso de la licencia Creative Commons#source%3Dgooglier%2Ecom#https%3A%2F%2Fgooglier%2Ecom%2Fpage%2F%2F10000

Los sistemas de reconocimiento facial están por todas partes, pero necesitan una materia prima esencial: datos y más datos. Para entrenar los algoritmos, los investigadores no solo trabajan en mejorar sus modelos, también necesitan grandes bases de datos para poder probar si los sistemas funcionan. ¿De dónde salen estos datos? En el caso de IBM, según ha revelado NBCNews, de imágenes con licencia CC de Flickr.

IBM publicó el año pasado un conjunto de datos denominado 'Diversity in Faces'. Se trata de un trabajo interesante ya que en vez de basarse en imágenes de personas famosas, mostraban la amplia pluralidad de rostros que pueden existir. Algo que sirve para mejorar el reconocimiento facial en su tratamiento, por ejemplo, con diversos tonos de piel.

Pero lo que no se conocía es que muchas de estas imágenes han sido extraídas de Flickr e incluyen imágenes personales. Tanto es así que muchos usuarios se han encontrado sorprendidos al conocer que estaban en esa base de datos, sin haber dado consentimiento previo para tal uso.

De tener fotos en Flickr a encontrarse en la base de datos de IBM

Ibm Facial Data

Según explica un fotógrafo afectado a la NBC, "ninguna de las personas que fotografié tenían idea que sus fotos iban a ser utilizadas de esta manera". La clave del asunto está en el uso de la licencia Creative Commons; mientras que sí se permite utilizar estas imágenes, era difícil anticipar que se utilizarían estas imágenes para entrenar sistemas de reconocimiento facial y que posteriormente pueden clasificar rostros en función del género, el color de pelo o la etnia.

Precisamente para evitar que el reconocimiento facial estuviera inclinado hacia un tipo de perfil o persona, se utilizó una base de datos suficiente grande para mejorar la precisión. Y aquí es donde entran los millones de fotos utilizadas.

Las imágenes no fueron recopiladas directamente por IBM, sino por Yahoo. En concreto, el set de rostros se encuentra dentro de la base de datos YFCC100M, un conjunto de 99.2 millones de fotos con licencia creative commons creada por Yahoo, quien recordemos es dueño de la propia Flickr.

Ibm Facial

La NBC ha ofrecido una herramienta para conocer si tu foto se encuentra entre la base de datos utilizada. Hay que introducir el usuario de Flickr y se obtendrá un resultado.

En concreto, la base de datos de IBM no es pública. Aunque si eres investigador y ofreces tus motivos, puedes solicitar acceso a IBM para trabajar con este set de datos.

La base de datos de 'Diversity in Faces' utilizada por IBM contenía inicialmente 100 millones de imágenes de Flickr, que posteriormente fueron reducidas a un millón de rostros para poder trabajar con ellos e identificar los patrones más importantes de cada uno. Valores como la edad estimada, el género, el tamaño de la nariz, la distancia entre los ojos, el color de piel... más de 200 valores para identificar a una persona con sus algoritmos.

Ibm

Como comenta el investigador Jack Poulson, "es casi imposible conseguir que eliminen nuestra foto. IBM requiere enlaces a esas fotos, pero la compañía no ha publicado públicamente la lista de usuarios de Flickr y por tanto es muy difícil saber quién tiene su foto incluida".

Actualmente, la compañía ofrece su sistema IBM Watson Visual Recognition para reconocer y estimar la edad y el género de las personas y puede ser utilizado por otros clientes para identificar a personas específicas en fotos o vídeos. Una habilidad que se ha entrenado en parte gracias al uso sin consentimiento del rostro de millones de personas. E IBM no es la única compañía en utilizar nuestras fotos para tal propósito.

Desde Xataka hemos contactado con IBM para obtener su postura oficial respecto al uso de estas imágenes en sus algoritmos de reconocimiento facial. Actualizaremos en cuanto obtengamos una respuesta.

recommendation.header

El experimento viral del #10yearchallenge puede tener truco: es un caramelo para entrenar sistemas de reconocimiento facial

Gasolina, diésel, híbrido… Cómo acertar con la propulsión

El buscador de imagen inversa de Yandex da mucho miedo: sus resultados son tan precisos que si subes una foto de una persona, te encuentra más fotos suyas

-
the.news Millones de fotos de Flickr acaban en sistemas de reconocimiento facial: un uso perverso de la licencia Creative Commons originally.published.in por Enrique Pérez .


          Consiguen en laboratorio que el tiempo fluya hacia atrás      Cache   Translate Page      

Un equipo internacional de investigadores ha conseguido en laboratorio algo que hasta ahora parecía imposible: hacer que el tiempo en una computadora cuántica avance hacia el pasado. Los físicos también lograron calcular la probabilidad de que, de forma natural, un electrón libre en el vacío del espacio interestelar “regrese”, de forma espontánea, a su pasado reciente. Los impactantes resultados de este trabajo, que se publicarán el 13 de marzo en Scientific Reports, ya pueden consultarse en arxiv.org.

"Este es uno de una serie de artículos sobre la posibilidad de violar la Segunda Ley de la Termodinámica -explica Gordey Lesovik, autor principal de la investigación-. Dicha ley está estrechamente relacionada con la noción de la flecha del tiempo, y obliga a que el tiempo fluya en un solo sentido: del pasado hacia el futuro."

"Comenzamos describiendo la llamada máquina de movimiento perpetuo local del segundo tipo -prosigue Lesovik-. Más tarde, en diciembre, publicamos un segundo documento que analiza la violación de la segunda ley a través de un dispositivo llamado demonio de Maxwell. Y el presente artículo, el más reciente, aborda el mismo problema desde un tercer ángulo: hemos creado artificialmente un estado que evoluciona en una dirección opuesta a la de la flecha termodinámica del tiempo". Es decir, que evoluciona hacia el pasado en lugar de hacia el futuro.

¿En qué se diferencian pasado y futuro?

La pregunta puede tener varias respuestas, según quien y en qué contexto la formule. Pero desde un punto de vista estrictamente científico, el pasado y el futuro se parecen tanto que pueden llegar a ser intercambiables. De hecho, la mayor parte de las leyes de la Física no admiten distinciones temporales, y funcionan exactamente igual con independencia de que el tiempo esté avanzando o retrocediendo.

Por ejemplo, si grabamos en vídeo la colisión y el rebote de dos bolas de billar idénticas y pasamos después la cinta al revés, ambas versiones, la que avanza hacia el futuro y la que retrocede en el pasado, podrán describirse con la misma ecuación. Y aún más, basándose solo en el vídeo, nadie podría decir en qué sentido iba el tiempo durante la grabación. Sería como si las bolas de billar estuvieran desafiando nuestra intuición natural sobre hacia dónde está avanzando el tiempo.

Sin embargo, imagine ahora que alguien graba el momento en que una bola de billar rompe la formación triangular donde están todas las demás bolas antes de empezar la partida, y las dispersa en todas direcciones. Aunque pasemos ese vídeo a la inversa, en este caso nadie tendrá la menor duda de cuál de las dos versiones se corresponde con la grabación original.

Lo que hace que en este segundo ejemplo la versión “marcha atrás” del vídeo sea tan absurda es nuestra comprensión intuitiva e innata de la Segunda Ley de la Termodinámica, según la que un sistema aislado o bien permanece cerrado, o bien evoluciona hacia un estado más caótico que el original, pero nunca hacia otro más ordenado.

Lo cierto es que, de por sí, las leyes de la Física no impiden que las bolas de la mesa se junten espontáneamente para formar un triángulo, ni que el té que se ha disuelto en el agua vuelva solo a la bolsa, ni que la lava fluya hacia el interior del cráter de un volcán en lugar de manar de él durante una erupción. Sin embargo, a lo largo de nuestra vidas no vemos que suceda nada de eso, porque significaría que un sistema aislado puede asumir, sin intervención externa alguna, un estado más ordenado que el inicial, lo que va en contra de la segunda ley.

Y si bien es cierto que la naturaleza íntima de esa ley no ha sido aún explicada en detalle, también lo es que los investigadores han avanzado mucho en la comprensión de los principios básicos que la respaldan.

Un electrón solitario

Durante su experimento, los autores de este trabajo cambiaron la bola de billar por un electrón solitario en medio del inmenso vacío del espacio interestelar. Se trataba de verificar si, por lo menos para una partícula individual, el tiempo podía revertirse espontáneamente, de forma natural y aunque fuera solo durante una pequeña fracción de segundo.

"Supongamos que el electrón está bien localizado cuando comenzamos a observarlo -afirma Andrey Lebedev, coautor del estudio-. Esto significa que estamos bastante seguros de su posición en el espacio. Es cierto que las leyes de la mecánica cuántica nos impiden saber dónde está con absoluta precisión, pero podemos delinear una pequeña región en cuyo interior el electrón está localizado”.

El físico explica que la evolución del estado electrónico se rige por la ecuación de Schrödinger. Y aunque la ecuación en sí no hace distinciones entre el futuro y el pasado, la región del espacio que contiene el electrón se expandirá muy rápidamente. Es decir, el sistema tenderá a volverse más caótico, lo que aumentará el grado de incertidumbre sobre la posición del electrón. En otras palabras, debido a la Segunda Ley de la Termodinámica, el desorden del sistema será cada vez mayor, exactamente lo mismo que sucede en nuestra mesa de billar.

"Sin embargo -añade por su parte Valerii Vinokur, coautora del artículo- resulta que la ecuación de Schrödinger es reversible. Lo cual, matemáticamente hablando, significa que bajo un cierto tipo de transformaciones, la ecuación describirá un electrón “difuso”, localizado algo atrás en el tiempo pero en la misma y pequeña región del espacio que ocupa en el tiempo presente". Aunque este fenómeno no se observa en la naturaleza, en teoría podría ocurrir debido a las fluctuaciones aleatorias del fondo cósmico de microondas (la radiación residual del Big Bang) que impregna todo el Universo.

En otras palabras, el equipo pretendía calcular la probabilidad de observar un electrón "difuso" en un pequeño lapso de tiempo, apenas una fracción de segundo, y comprobar si ese electrón podía materializarse después espontáneamente en su pasado reciente. El resultado fue que la probabilidad de que algo así suceda de forma natural y espontánea es mínima.

Los científicos, en efecto, calcularon que incluso si uno se pasara toda la vida del universo (13.700 millones de años) observando 10.000 millones de electrones por cada segundo de ese inmenso lapso de tiempo, la evolución inversa del estado de la partícula solo ocurriría una vez. E incluso en ese caso, el electrón no viajaría más que una simple diez mil millonésima de segundo hacia el pasado.

Obviamente, los fenómenos a gran escala que involucran bolas de billar, volcanes, etc, objetos formados por billones de partículas y no por una sola, se desarrollan en escalas de tiempo incluso mucho mayores. Lo cual explica por qué no observamos situaciones en las que las personas mayores, por ejemplo, se estén volviendo más jóvenes o en las que un huevo recién frito se “desfría” por sí mismo para volver, intacto, al interior de su cáscara.

Revertir el tiempo «a la carta»

Quedaba muy claro, pues, que las probabilidades de observar algún fenómeno natural, por diminuto que fuera, cambiando espontáneamente la flecha del tiempo para avanzar hacia el pasado, quedaba prácticamente descartada. Ahora bien, sería posible forzar de alguna forma la situación para conseguir que, en laboratorio, el tiempo corriera hacia atrás?

Para averiguarlo, los investigadores idearon un ingenioso experimento en cuatro fases para revertir el tiempo. Y en lugar de un electrón, decidieron observar el estado de una computadora cuántica formada primero por dos y después por tres bits cuánticos (qubits) superconductores.

Fase 1: Orden

Cada qubit se inicia en su estado fundamental (cero). Se trata de una configuración altamente ordenada y que se corresponde con la de un electrón localizado en una pequeña región de espacio o con las bolas de una mesa de billar perfectamente colocadas antes de la partida.

Fase 2: Degradación

El orden inicial se pierde. Del mismo modo en que el electrón se difumina en una región de espacio que es cada vez más grande, o que las bolas de billar rompen su formación triangular para rebotar por toda la mesa, el estado de los Qubits se convierte en un patrón cambiante y cada vez más complejo de ceros y unos. Lo cual se consigue poniendo en marcha brevemente el programa de evolución en la computadora cuántica. En realidad, la misma degradación habría ocurrido por si misma debido a las interacciones con el medio ambiente y sin necesidad de ejecutar programa alguno. Sin embargo, el uso del software de evolución autónoma controlada era necesario para permitir la última fase del experimento.

Fase 3: Inversión temporal

Un software especial modifica nuevamente el estado de la computadora cuántica de forma que ésta evolucione “hacia atrás”, desde una situación caótica a otra más ordenada. La operación es equivalente a la fluctuación aleatoria del fondo de microondas en el ejemplo del electrón, con la diferencia de que se induce deliberadamente. En el ejemplo del billar, sería como si alguien le diera a la mesa una patada perfectamente calculada para obtener un resultado concreto, en este caso reordenar las bolas.

Fase 4: Regeneración

Se activa de nuevo el programa de evolución de la Fase 2. Si se hace bien, esto no produce más caos, sino que “rebobina “ el estado que tenían los qubits en el pasado, la forma en que un electrón “difuso” se localizaría o el modo en que las bolas de billar regresan sobre sus trayectorias para volver a disponerse en un triángulo perfecto.

Los investigadores hallaron que en el 85 por ciento de los casos la computadora cuántica de dos qubits regresaba al estado inicial. Cuando se involucraron tres qubits en vez de dos, ocurrieron más errores, lo que resultó en una tasa de éxito de aproximadamente el 50 por ciento. Según los autores, estos errores se deben a imperfecciones en la computadora cuántica real. A medida que se diseñen dispositivos más sofisticados, se espera que la tasa de error disminuya.


          Cloud computing simplified: a Berkeley view on serverless computing      Cache   Translate Page      
Cloud programming simplified: a Berkeley view on serverless computing Jonas et al., arXiv 2019 With thanks to Eoin Brazil who first pointed this paper out to me via Twitter…. Ten years ago Berkeley released the ‘Berkeley view of cloud computing’ paper, predicting that cloud use would accelerate. Today’s paper choice is billed as its logical […]
          ETs poderiam povoar galáxia mais rápido do que se pensava, diz estudo      Cache   Translate Page      
Via Láctea, em foto tirada no ano de 2009 (Foto: NASA)

 

É fácil se perder olhando para o céu noturno. Principalmente porque ele é o símbolo mais explícito que temos da vastidão do universo. Para se ter uma ideia, em uma noite de céu aberto, podemos ver até 2,500 estrelas, o que corresponde a apenas um centésimo de milionésimo do total delas em nossa galáxia. Em relação a nós, quase todas estão a uma distância que corresponde a somente 1% do diâmetro da Via Láctea (pouco menos de mil-anos luz). 

Diante da imensidão e de nossa pequenitude, não é a toa que o físico Enrico Fermi, em 1950, foi o primeiro a se perguntar: “onde está todo mundo?”. Ele apresentou o que ficou conhecido como o Paradoxo de Fermi, que é a contradição entre a grandeza do universo e o fato do ser humano ainda não ter encontrado vida avançada em nenhum lugar além da terra. 

Já houve muita especulação para solucionar tal paradoxo. Mas um novo estudo liderado pelo astrônomo Jonathan Carroll-Nellenback, da Universidade de Rochester, e revisado pelo The Astrophysical Journal, refutou teorias anteriores de alguns estudiosos sobre o assunto. De acordo com a descoberta, seria possível povoar uma galáxia mais rapidamente do que se pensava. Isso se aconteceria através dos movimentos estelares, que serviriam como distribuidores de vida. 

Além disso, segundo a pesquisa, a nossa solidão não seria tão paradoxal assim: experimentos determinaram que há uma variabilidade natural. Isso significa que as galáxias às vezes podem ser dominadas, e outras vezes, não – o que acabaria de vez com as dúvidas a respeito do Paradoxo de Fermi.

Em busca de respostas

Os pesquisadores fizeram simulações com diferentes densidades de estrelas, civilizações em estado inicial, velocidades de naves e outras variáveis. Assim, determinaram que há um meio termo entre aquelas galáxias que são silenciosas, vazias ou que estão cheias de vida. 

NGC 595, nebulosa da Galáxia do Triângulo (Foto: NASA, ESA, and M. Durbin, J. Dalcanton, and B. F. Williams (University of Washington))

 

Para eles, é possível que a Via Láctea seja parcialmente – ou totalmente – povoada. Há até mesmo a possibilidade de alguns exploradores extraterrestres terem visitado a galáxia no passado; porém, eles já teriam sido dizimados e nós não teríamos registros deles. Nosso Sistema Solar também pode estar entre vários outros sistemas já visitados, mesmo que nos últimos milhões de anos não tenhamos recebido nenhuma visita comprovadamente registrada.

Foi considerada pelos estudiosos a velocidade de um hipotético povoado avançado via sondas de velocidade finita – isso para determinar se uma galáxia poderia se tornar cenário para explorações espaciais em escalas de tempo menores do que a própria idade dela. Os cientistas também incluiram o efeito de movimentos estelares sobre o comportamento a longo prazo do povoado. 

Refutando Carl Sagan e William Newman

Uma das teorias mais famosas a refutar o Paradoxo de Fermi foi a de Carl Sagan e William Newman, do ano de 1981. Eles escreveram um relatório defendendo que a humanidade precisaria de paciência: ninguém teria nos visitado, pois qualquer forma de vida estaria muito longe. E levaria muito tempo para que uma espécie inteligentemente suficiente evoluísse a ponto de construir naves espaciais.

Newman e Sagan estariam errados, de acordo com o novo estudo liderado por Jonathan Carroll-Nellenback, já que, ao contrário do que a dupla de cientistas pensou, não levaria tanto tempo para que civilizações com capacidade de realizar viagens espaciais atravessassem uma galáxia. Os movimentos estelares também são capazes de distribuir vida – e em escalas bem menos demoradas do que a idade de uma galáxia. Um exemplo de viagem estelar seria o da estrela central do nosso Sistema Solar. “O Sol já atravessou a Via Láctea 50 vezes”, contou Carroll-Nellenback. 

Galáxia espiral M100  (Foto: NASA)

 

Civilizações muito avançadas têm maior probabilidade de crescer devagar, segundo Newman e Sagan. Por isso, muitas sociedades provavelmente teriam desaparecido antes mesmo de atingir as estrelas. “Essa ideia confunde a expansão das espécies como um todo com a sustentabilidade de alguns povoados individuais”, discordou Jason Wright.

Leia Mais:
+ NASA transforma galáxias em música – e o resultado é bem estranho
+ Galáxia "fantasmagórica" pode ajudar a desvendar origem do universo

Discordando de Michael Hart 

Outros pesquisadores, por sua vez, teorizaram que espécies tecnologicamente evoluídas, quando se destacam, facilmente se autodestroem. Logo, alienígenas poderiam ter nos visitado no passado; ou, talvez, estariam nos evitando de propósito, desconfiados dos seres terrestres.

Em um relatório de sua pesquisa de 1975, o astrofísico da NASA Michael Hart ainda duvidou da existência de quaisquer alienígenas, o que explicaria a ausência de qualquer visita por parte deles. 

Hart calculou que levaria alguns milhões de anos para que uma única espécie com capacidade de viajar pelo espaço conseguisse povoar uma galáxia. Esse tempo poderia ser estimado em, no mínimo, 650.000 anos. Logo, a ausência das espécies que não foram descobertas (o que Hart chamava de “Fato A”) significaria apenas que elas não existem. 

Jason Wright e Carroll-Nellenback, dizem, por outro lado, que somente o fato de que ainda não recebemos visitantes interestelares não permite que concluamos a inexistência deles. Para eles, algumas civilizações se expandem e tornam-se interestelares; mas elas não duram para sempre. Além disso, nem todos os planetas são habitáveis e algumas estrelas não seriam a melhor escolha para um destino.

Povoações do futuro

Adam Frank, da Universidade de Rochester, que também contribuiu com o estudo de Carroll-Nellenback, fala ainda do “Efeito Aurora”, no qual os “colonizadores” chegam a habitar um planeta, mas não sobrevivem às suas condições. 

Frank defende que precisamos procurar cada vez mais por sinais de alienígenas. Eles poderiam se tornar mais visíveis nas próximas décadas, à medida que telescópios descobrem cada vez mais exoplanetas e começam a espiar as atmosferas deles. “Estamos entrando em uma era na qual haverá reais dados acerca da vida em outros planetas”, defendeu Frank. “Nesse momento em que vivemos, isso não poderia ser mais relevante”.

Curte o conteúdo da GALILEU? Tem mais de onde ele veio: baixe o app Globo Mais para ler reportagens exclusivas e ficar por dentro de todas as publicações da Editora Globo. Você também pode assinar a revista, a partir de R$ 4,90, e ter acesso às nossas edições.


          La fiscalia també arxiva les causes per l’1-O contra els batlles d’Olot i Palafrugell      Cache   Translate Page      
Se'ls investigava pels delictes de desobediència, prevaricació i malversació
          Re: The Reference Frame: AdS bulk is a neural network, entanglement is a quantum gauge field      Cache   Translate Page      

A surprising political comment. The first reference in the paper by Czech et al. is this 2016 preprint:

https://arxiv.org/abs/1601....

The author list is Xi Dong, Daniel Harlow, and Aron Wall. Now, as you know, Daniel Harlow is one of the most aggressive far left activists in the theoretical physics community - and the author of the anti-Strumia "particles for justice" hit piece, among other things. What about Aron Wall?

It turns out that last summer, a homosexualist outlet ran a hit piece against Wall who was hired by Cambridge yet he dared to say that homosexuality was unnatural:

https://www.pinknews.co.uk/...

Despite these differences, Harlow and Wall could have still written a rather influential paper (118 cits now). Would it be possible today?


          The racism of technology - and why driverless cars could be the most dangerous example yet      Cache   Translate Page      

‘Machine vision’ is struggling to recognise darker-skinned pedestrians, and cost pressures could make things worse

There is a rule for dealing with computers: garbage in, garbage out. Put the wrong number of zeroes in your Excel spreadsheet and it will unthinkingly pay your staff pennies on the pound; train a self-driving car to recognise human figures by showing it millions of pictures of white people, and it might struggle to identify pedestrians of other races.

That was the finding of researchers from Georgia Tech, who analysed how effective various “machine vision” systems were at recognising pedestrians with different skin tones. The results were alarming: AI systems were consistently better at identifying pedestrians with lighter skin tones than darker. And not by a little bit: one headline comparison suggests that a white person was 10% more likely to be correctly identified as a pedestrian than a black person.

Continue reading...
          No, todavía no se puede «viajar al pasado» ni «revertir el tiempo» y tanto la causalidad como la Segunda ley de la termodinámica siguen bien, gracias      Cache   Translate Page      

Arrow of time and its reversal on the IBM quantum computer

Un reciente trabajo recién publicado de investigadores del Instituto de Física y Tecnología de Moscú esta dando lugar a grandes y espectaculares titulares del tipo «El sueño cumplido de viajar al pasado» (Diario Vasco) o «Físicos logran revertir el tiempo una fracción de segundo gracias a un ordenador cuántico» (El Confidencial) o «Físicos hacen retroceder el tiempo usando una computadora cuántica» (Europa Press). Especialmente notable es que todas estas «noticias» incluyen (a) una foto de Regreso al futuro y (b) menciones al DeLorean.

Yo no soy físico, y por mucho que leo sigo sin entender la mecánica cuántica más allá de sus rudimentos, pero en Phys.org se explica un poco mejor el asunto, que por cierto ha comenzado en un trabajo publicado en el Scientific Reports de Nature: Arrow of time and its reversal on the IBM quantum computer (en PDF en ArXiV).

Para empezar hay que aclarar que el experimento en cuestión está realizado en un ordenador cuántico de IBM; forma parte de un intento de idear métodos para posibilitar la violación de la Segunda ley de la termodinámica e incluso para invertir la llamada Flecha del tiempo. La física distingue entre varias Flechas del tiempo: desde la que experimentamos los humanos –flecha del tiempo psicológica– la causal (las causas anteceden a los efectos) y otras como la flecha del tiempo cuántica que es de la que trata el experimento y tiene matices diferentes.

El tema es tan complicado que yo me esperaría a la explicación del profe Villatoro en La ciencia de la mula Francis pero en Phys.org. De momento en MetaFilter ya le quitan «espectacularidad» al asunto haciendo un paralelismo: se trata básicamente de añadir energía a un sistema para devolverlo a un estado anterior. Algo así como conseguir que un huevo roto se recomponga, algo que no está prohibido por las leyes de la física pero es estadísticamente improbable (por no decir imposible). Si en vez de huevo se utiliza un electrón solitario (o un par de qubits), y si en vez de unos segundos de tiempo se reduce el «viaje» a billonésimas de segundo, el asunto parece simplificarse. De este modo algo que parece en principio imposible se puede preparar y observar en un experimento… en un ordenador cuántico, no en el aparcamiento del centro comercial de Hill Valley. Y no siempre, pero sí con cierta probabilidad, algo que incluso muy pronto decae debido a «imperfecciones propias de los ordenadores cuánticos actuales».

En el ejemplo por analogía que ponen queda más claro:

La mayor parte de las leyes de la física no distinguen entre el futuro y el pasado. Por ejemplo, las leyes que describen la colisión de dos bolas de billar idénticas. Si se graba y se reproduce luego la película al revés no se puede distinguir un sentido del otro.

Pero si en vez de eso vemos una bola de billar rompiendo el triángulo inicial y las bolas saliendo en todas direcciones será muy fácil de distinguir de la misma película vista al revés.

Lo que habrían hecho en el experimento –salvando la analogía, especialmente porque poco tienen que ver los electrones y qubits con bolas de billar– sería algo así como simplificar esa mesa de billar y conseguir grabar una película normal pero que parece «ir al revés». Habrían inyectado energía y hecho que una bola golpee a otra y vuelva a su posición inicial, algo «aparentemente» imposible pero factible en esas condiciones. No olvidemos la naturaleza estadística de la segunda ley de la termodinámica. Según explican es algo complicado y delicado, pero no imposible, aunque no tiene mucho que ver con «viajes en el tiempo», DeLoreans ni regresos al pasado. Como dicen en MeFi,

Es un buen truco, pero hablar de «invertir la flecha del tiempo» suena bastante exagerado.

– Cirgue

El caso recordó un poco aquel vídeo que parecía grabado al revés… pero en realidad no. Y estaba grabado en una sola toma: buen truco.

Relacionado:

# Enlace Permanente




Next Page: 10000

Site Map 2018_01_14
Site Map 2018_01_15
Site Map 2018_01_16
Site Map 2018_01_17
Site Map 2018_01_18
Site Map 2018_01_19
Site Map 2018_01_20
Site Map 2018_01_21
Site Map 2018_01_22
Site Map 2018_01_23
Site Map 2018_01_24
Site Map 2018_01_25
Site Map 2018_01_26
Site Map 2018_01_27
Site Map 2018_01_28
Site Map 2018_01_29
Site Map 2018_01_30
Site Map 2018_01_31
Site Map 2018_02_01
Site Map 2018_02_02
Site Map 2018_02_03
Site Map 2018_02_04
Site Map 2018_02_05
Site Map 2018_02_06
Site Map 2018_02_07
Site Map 2018_02_08
Site Map 2018_02_09
Site Map 2018_02_10
Site Map 2018_02_11
Site Map 2018_02_12
Site Map 2018_02_13
Site Map 2018_02_14
Site Map 2018_02_15
Site Map 2018_02_15
Site Map 2018_02_16
Site Map 2018_02_17
Site Map 2018_02_18
Site Map 2018_02_19
Site Map 2018_02_20
Site Map 2018_02_21
Site Map 2018_02_22
Site Map 2018_02_23
Site Map 2018_02_24
Site Map 2018_02_25
Site Map 2018_02_26
Site Map 2018_02_27
Site Map 2018_02_28
Site Map 2018_03_01
Site Map 2018_03_02
Site Map 2018_03_03
Site Map 2018_03_04
Site Map 2018_03_05
Site Map 2018_03_06
Site Map 2018_03_07
Site Map 2018_03_08
Site Map 2018_03_09
Site Map 2018_03_10
Site Map 2018_03_11
Site Map 2018_03_12
Site Map 2018_03_13
Site Map 2018_03_14
Site Map 2018_03_15
Site Map 2018_03_16
Site Map 2018_03_17
Site Map 2018_03_18
Site Map 2018_03_19
Site Map 2018_03_20
Site Map 2018_03_21
Site Map 2018_03_22
Site Map 2018_03_23
Site Map 2018_03_24
Site Map 2018_03_25
Site Map 2018_03_26
Site Map 2018_03_27
Site Map 2018_03_28
Site Map 2018_03_29
Site Map 2018_03_30
Site Map 2018_03_31
Site Map 2018_04_01
Site Map 2018_04_02
Site Map 2018_04_03
Site Map 2018_04_04
Site Map 2018_04_05
Site Map 2018_04_06
Site Map 2018_04_07
Site Map 2018_04_08
Site Map 2018_04_09
Site Map 2018_04_10
Site Map 2018_04_11
Site Map 2018_04_12
Site Map 2018_04_13
Site Map 2018_04_14
Site Map 2018_04_15
Site Map 2018_04_16
Site Map 2018_04_17
Site Map 2018_04_18
Site Map 2018_04_19
Site Map 2018_04_20
Site Map 2018_04_21
Site Map 2018_04_22
Site Map 2018_04_23
Site Map 2018_04_24
Site Map 2018_04_25
Site Map 2018_04_26
Site Map 2018_04_27
Site Map 2018_04_28
Site Map 2018_04_29
Site Map 2018_04_30
Site Map 2018_05_01
Site Map 2018_05_02
Site Map 2018_05_03
Site Map 2018_05_04
Site Map 2018_05_05
Site Map 2018_05_06
Site Map 2018_05_07
Site Map 2018_05_08
Site Map 2018_05_09
Site Map 2018_05_15
Site Map 2018_05_16
Site Map 2018_05_17
Site Map 2018_05_18
Site Map 2018_05_19
Site Map 2018_05_20
Site Map 2018_05_21
Site Map 2018_05_22
Site Map 2018_05_23
Site Map 2018_05_24
Site Map 2018_05_25
Site Map 2018_05_26
Site Map 2018_05_27
Site Map 2018_05_28
Site Map 2018_05_29
Site Map 2018_05_30
Site Map 2018_05_31
Site Map 2018_06_01
Site Map 2018_06_02
Site Map 2018_06_03
Site Map 2018_06_04
Site Map 2018_06_05
Site Map 2018_06_06
Site Map 2018_06_07
Site Map 2018_06_08
Site Map 2018_06_09
Site Map 2018_06_10
Site Map 2018_06_11
Site Map 2018_06_12
Site Map 2018_06_13
Site Map 2018_06_14
Site Map 2018_06_15
Site Map 2018_06_16
Site Map 2018_06_17
Site Map 2018_06_18
Site Map 2018_06_19
Site Map 2018_06_20
Site Map 2018_06_21
Site Map 2018_06_22
Site Map 2018_06_23
Site Map 2018_06_24
Site Map 2018_06_25
Site Map 2018_06_26
Site Map 2018_06_27
Site Map 2018_06_28
Site Map 2018_06_29
Site Map 2018_06_30
Site Map 2018_07_01
Site Map 2018_07_02
Site Map 2018_07_03
Site Map 2018_07_04
Site Map 2018_07_05
Site Map 2018_07_06
Site Map 2018_07_07
Site Map 2018_07_08
Site Map 2018_07_09
Site Map 2018_07_10
Site Map 2018_07_11
Site Map 2018_07_12
Site Map 2018_07_13
Site Map 2018_07_14
Site Map 2018_07_15
Site Map 2018_07_16
Site Map 2018_07_17
Site Map 2018_07_18
Site Map 2018_07_19
Site Map 2018_07_20
Site Map 2018_07_21
Site Map 2018_07_22
Site Map 2018_07_23
Site Map 2018_07_24
Site Map 2018_07_25
Site Map 2018_07_26
Site Map 2018_07_27
Site Map 2018_07_28
Site Map 2018_07_29
Site Map 2018_07_30
Site Map 2018_07_31
Site Map 2018_08_01
Site Map 2018_08_02
Site Map 2018_08_03
Site Map 2018_08_04
Site Map 2018_08_05
Site Map 2018_08_06
Site Map 2018_08_07
Site Map 2018_08_08
Site Map 2018_08_09
Site Map 2018_08_10
Site Map 2018_08_11
Site Map 2018_08_12
Site Map 2018_08_13
Site Map 2018_08_15
Site Map 2018_08_16
Site Map 2018_08_17
Site Map 2018_08_18
Site Map 2018_08_19
Site Map 2018_08_20
Site Map 2018_08_21
Site Map 2018_08_22
Site Map 2018_08_23
Site Map 2018_08_24
Site Map 2018_08_25
Site Map 2018_08_26
Site Map 2018_08_27
Site Map 2018_08_28
Site Map 2018_08_29
Site Map 2018_08_30
Site Map 2018_08_31
Site Map 2018_09_01
Site Map 2018_09_02
Site Map 2018_09_03
Site Map 2018_09_04
Site Map 2018_09_05
Site Map 2018_09_06
Site Map 2018_09_07
Site Map 2018_09_08
Site Map 2018_09_09
Site Map 2018_09_10
Site Map 2018_09_11
Site Map 2018_09_12
Site Map 2018_09_13
Site Map 2018_09_14
Site Map 2018_09_15
Site Map 2018_09_16
Site Map 2018_09_17
Site Map 2018_09_18
Site Map 2018_09_19
Site Map 2018_09_20
Site Map 2018_09_21
Site Map 2018_09_23
Site Map 2018_09_24
Site Map 2018_09_25
Site Map 2018_09_26
Site Map 2018_09_27
Site Map 2018_09_28
Site Map 2018_09_29
Site Map 2018_09_30
Site Map 2018_10_01
Site Map 2018_10_02
Site Map 2018_10_03
Site Map 2018_10_04
Site Map 2018_10_05
Site Map 2018_10_06
Site Map 2018_10_07
Site Map 2018_10_08
Site Map 2018_10_09
Site Map 2018_10_10
Site Map 2018_10_11
Site Map 2018_10_12
Site Map 2018_10_13
Site Map 2018_10_14
Site Map 2018_10_15
Site Map 2018_10_16
Site Map 2018_10_17
Site Map 2018_10_18
Site Map 2018_10_19
Site Map 2018_10_20
Site Map 2018_10_21
Site Map 2018_10_22
Site Map 2018_10_23
Site Map 2018_10_24
Site Map 2018_10_25
Site Map 2018_10_26
Site Map 2018_10_27
Site Map 2018_10_28
Site Map 2018_10_29
Site Map 2018_10_30
Site Map 2018_10_31
Site Map 2018_11_01
Site Map 2018_11_02
Site Map 2018_11_03
Site Map 2018_11_04
Site Map 2018_11_05
Site Map 2018_11_06
Site Map 2018_11_07
Site Map 2018_11_08
Site Map 2018_11_09
Site Map 2018_11_10
Site Map 2018_11_11
Site Map 2018_11_12
Site Map 2018_11_13
Site Map 2018_11_14
Site Map 2018_11_15
Site Map 2018_11_16
Site Map 2018_11_17
Site Map 2018_11_18
Site Map 2018_11_19
Site Map 2018_11_20
Site Map 2018_11_21
Site Map 2018_11_22
Site Map 2018_11_23
Site Map 2018_11_24
Site Map 2018_11_25
Site Map 2018_11_26
Site Map 2018_11_27
Site Map 2018_11_28
Site Map 2018_11_29
Site Map 2018_11_30
Site Map 2018_12_01
Site Map 2018_12_02
Site Map 2018_12_03
Site Map 2018_12_04
Site Map 2018_12_05
Site Map 2018_12_06
Site Map 2018_12_07
Site Map 2018_12_08
Site Map 2018_12_09
Site Map 2018_12_10
Site Map 2018_12_11
Site Map 2018_12_12
Site Map 2018_12_13
Site Map 2018_12_14
Site Map 2018_12_15
Site Map 2018_12_16
Site Map 2018_12_17
Site Map 2018_12_18
Site Map 2018_12_19
Site Map 2018_12_20
Site Map 2018_12_21
Site Map 2018_12_22
Site Map 2018_12_23
Site Map 2018_12_24
Site Map 2018_12_25
Site Map 2018_12_26
Site Map 2018_12_27
Site Map 2018_12_28
Site Map 2018_12_29
Site Map 2018_12_30
Site Map 2018_12_31
Site Map 2019_01_01
Site Map 2019_01_02
Site Map 2019_01_03
Site Map 2019_01_04
Site Map 2019_01_06
Site Map 2019_01_07
Site Map 2019_01_08
Site Map 2019_01_09
Site Map 2019_01_11
Site Map 2019_01_12
Site Map 2019_01_13
Site Map 2019_01_14
Site Map 2019_01_15
Site Map 2019_01_16
Site Map 2019_01_17
Site Map 2019_01_18
Site Map 2019_01_19
Site Map 2019_01_20
Site Map 2019_01_21
Site Map 2019_01_22
Site Map 2019_01_23
Site Map 2019_01_24
Site Map 2019_01_25
Site Map 2019_01_26
Site Map 2019_01_27
Site Map 2019_01_28
Site Map 2019_01_29
Site Map 2019_01_30
Site Map 2019_01_31
Site Map 2019_02_01
Site Map 2019_02_02
Site Map 2019_02_03
Site Map 2019_02_04
Site Map 2019_02_05
Site Map 2019_02_06
Site Map 2019_02_07
Site Map 2019_02_08
Site Map 2019_02_09
Site Map 2019_02_10
Site Map 2019_02_11
Site Map 2019_02_12
Site Map 2019_02_13
Site Map 2019_02_14
Site Map 2019_02_15
Site Map 2019_02_16
Site Map 2019_02_17
Site Map 2019_02_18
Site Map 2019_02_19
Site Map 2019_02_20
Site Map 2019_02_21
Site Map 2019_02_22
Site Map 2019_02_23
Site Map 2019_02_24
Site Map 2019_02_25
Site Map 2019_02_26
Site Map 2019_02_27
Site Map 2019_02_28
Site Map 2019_03_01
Site Map 2019_03_02
Site Map 2019_03_03
Site Map 2019_03_04
Site Map 2019_03_05
Site Map 2019_03_06
Site Map 2019_03_07
Site Map 2019_03_08
Site Map 2019_03_09
Site Map 2019_03_10
Site Map 2019_03_11
Site Map 2019_03_12
Site Map 2019_03_13