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 
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ásEl 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. 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 planchaPara 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 MaitinShepard 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 2025 minutos doblarla. Todo un trabajo en inteligencia artificial para aprender cómo enfrentarse a una pieza de 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 FernandezFernandez 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. 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 ropaHemos 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 vaporA 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. 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. 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.headerGasolina, diésel, híbrido… Cómo acertar con la propulsión  
Fusion Rules for the Lattice Vertex Operator Algebra $V_L$. (arXiv:1903.04665v1 [math.QA]) Cache Translate Page 
Authors: Danquynh Nguyen For a positivedefinite, 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 wellknown, 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 Dbranes in nongeometric backgrounds. (arXiv:1903.04947v1 [hepth]) Cache Translate Page 
Authors: Chris Hull, Richard J. Szabo We investigate the noncommutative gauge theories arising on the worldvolumes of Dbranes in nongeometric backgrounds obtained by Tduality from twisted tori. We revisit the lowenergy effective description of Dbranes on threedimensional Tfolds, 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 nongeometry. The Tduality monodromies of the nongeometric backgrounds lead to Morita duality monodromies of the noncommutative YangMills theories induced on the Dbranes. While the parabolic twists recover the wellknown examples of noncommutative principal torus bundles from topological Tduality, the elliptic twists give new examples of noncommutative fibrations with nongeometric torus fibres. We extend these considerations to Dbranes in backgrounds with Rflux, using the doubled geometry formulation, finding that both the nongeometric background and the Dbrane gauge theory necessarily have explicit dependence on the dual coordinates, and so have no conventional formulation in spacetime. 
The colored Jones polynomial and KontsevichZagier 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 $2m1$ and $2p$ are nonzero integers denoting the number of halftwists 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 KontsevichZagier series. We also use Bailey pairs and formulas of Walsh to find cyclotomiclike 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 YetterDrinfeld C*algebras over regular C*quantum groups $\mathbb{G}$ from manageable multiplicative unitaries in the braided monoidal category of $\mathbb{G}$YetterDrinfeld compatible Hilbert space representations. Moreover, we show that braided C*quantum groups are equivalent to C*quantum groups with projection which generalises the RadfordMajid 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 [mathph] 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 [hepth] 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 nongeometric fluxes. We survey approaches based on deformation quantization of twisted Poisson structures, symplectic realization of almost symplectic structures, and geometric quantization using 2Hilbert 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, Endtoend (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) 20052014, Fabio Baccaglioni [Permalink] [Comentarios] [Google] 
La fiscalia arxiva la causa contra el batlle de Santa Coloma de Farners per haver donat suport a l’1O 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 … 
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) … 
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 RennerFrauchiger that has been discussed on this blog earlier. 
Communicationefficient 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 Largescale 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 sublinear/streaming algorithms, we propose a sketchingbased 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 singlemachine 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 CIFAR10 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 nonuniform 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 divideandconquer 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 dimensionfree 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 dimensionfree 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 dimensionfree 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 dimensionfree) 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 Online 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 antitransitive, where adversaries of adversaries become friends. The previously proposed Iterated Local Transitivity (ILT) and Iterated Local AntiTransitivity (ILAT) models incorporated transitivity and antitransitivity, 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 antitransitive 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 antitransitive 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 NPhard for general graphs are known to become polynomialtime solvable for classes of graphs with a polynomially bounded number of minimal separators. Several wellknown graph classes have this property, including chordal graphs, permutation graphs, circulararc 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 nonlocal, integropartial differential system of equations proposed by Hillen et al. (Bull. Math. Biol. 75, 2013, no.1, 161184) 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 squarefree 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 squarefree 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 10unit 39bus 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 nonstandard 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 nonuniformly) 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 nonstandard 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)=IT(G)^{1/2}\mathcal{D}(G) T(G)^{1/2}$, is introduced. This is analogous to the normalized Laplacian matrix, $\mathcal{L}(G)=ID(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 infinitelevel RapoportZink spaces. (arXiv:1903.04588v1 [math.NT]) Cache Translate Page 
Authors: Alexander B. Ivanov, Jared Weinstein RapoportZink spaces are deformation spaces for $p$divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let $\mathscr{M}_{\infty}$ be an infinitelevel RapoportZink 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 infinitelevel 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 nonmaximal 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 SignalFree Intersections Including ComfortConstrained 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 signalfree 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 selfcontained 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 BachmannHoward 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 AskeyWilson algebras. (arXiv:1903.04616v1 [mathph]) 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 AskeyWilson 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)$. 
Scherklike 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 twoparameter 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 wellknown minimal surfaces (Scherk's doubly periodic minimal surfaces, helicoids), but others have no minimal surface analogs. 
Pay to change lanes: A cooperative lanechanging 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 (traveltime savings, resulting speeddensity relations and shock wave formation) and the benefit to vehicles. The results show that lane changing with transferable utility between drivers can help achieve winwin 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 freeflow and (bumpertobumper) 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 firstorder 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 meshbased discretization. The second MMD operator retains the GMLS field moments but defines virtual face moments using computationally efficient weighted graphLaplacian 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 finitevolume 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 ErtolaBiraben 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 zerothorder constraint feedback model. This problem arises in safetycritical 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 FrankWolfe 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 inversepower 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 inversepower potentials. By using variational arguments, we first determine a sharp threshold of global wellposedness and blowup for the equation in the masssupercritical case. We next study the existence and nonexistence of minimizers for the energy functional with prescribed mass constraint. In the masscritical case, we also study the blowup 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 crossvalidation 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 Multiobjective 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 lastmile 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 GrossPitaevskii equation. (arXiv:1903.04644v1 [math.AP]) Cache Translate Page 
Authors: Alex H. Ardila, Van Duong Dinh We study the Cauchy problem for an inhomogeneous GrossPitaevskii 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\Lambdafin\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 datadriven 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 rulebased 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 multirelator 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 CrossSection 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 crosssection 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 crosssection samples. Our results can be applied to estimators that combine time series and crosssection 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 biinvariant 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 EulerArnold formulation of geodesic motion, and construct explicit HMC schemes that extend \cite{kennedy88b,Kennedy:2012} to noncompact 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, higherorder learning concepts and normalization, both of which stem from adaptive control, and allows stability to be established for dynamical machine learning problems. These higherorder 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 twolevel system. (arXiv:1903.04676v1 [quantph]) Cache Translate Page 
Authors: Naomichi Hatano The Lindblad equation for a twolevel system under an electric field is analyzed by mapping to a linear equation with a nonHermitian matrix. Exceptional points of the matrix are found to be extensive; the secondorder ones are located on lines in a twodimensional parameter space, while the thirdorder 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}(mn)$ 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 distributionfree 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 distributionfree 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 distributionfree setting. 
Existence of Lyapunov function for the planar system with one arbitrary limit cycle. (arXiv:1903.04690v1 [math.DS]) Cache Translate Page 
Authors: XiaoLiang Gan, HaoYu Wang, Ping Ao, YuanKai 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 onedimensional radial system of polar coordinate system corresponding to twodimensional 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 wellknown 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. 
TwoTimescale Hybrid Compression and Forward for Massive MIMO Aided CRAN. (arXiv:1903.04692v1 [cs.IT]) Cache Translate Page 
Authors: An Liu, Xihan Chen, Wei Yu, Vincent Lau, MinJian Zhao We consider the uplink of a cloud radio access network (CRAN), 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 CRAN are not suitable for the massive MIMO regime because they require fullydigital processing and/or realtime full channel state information (CSI), incurring high implementation cost for massive MIMO RRHs. To overcome this challenge, we propose to perform a twotimescale hybrid analoganddigital 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 twotimescale nonconvex optimization of analog and digital filters, and establish its convergence to stationary solutions. Finally, simulations verify the advantages of the proposed scheme. 
BitInterleaved Coded Multiple Beamforming in MillimeterWave 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 millimeterwave (mmWave) massive multipleinput multipleoutput (MIMO) systems by using bit interleaved coded multiple beamforming (BICMB). First, a singleuser 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. 
EellsSampson type theorems for subelliptic harmonic maps from subRiemannian 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 subRiemannian 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 nonpositive sectional curvature, we prove some EellsSampson type existence results for this flow when the source manifold is either a step2 subRiemannian manifold or a stepr subRiemannian manifold whose subRiemannian structure comes from a tense Riemannian foliation. Finally, some Hartman type results are also established for the flow. 
Practical Multifidelity Bayesian Optimization for Hyperparameter Tuning. (arXiv:1903.04703v1 [cs.LG]) Cache Translate Page 
Authors: Jian Wu, Saul ToscanoPalmerin, Peter I. Frazier, Andrew Gordon Wilson Bayesian optimization is popular for optimizing timeconsuming blackbox 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. Multifidelity 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 multifidelity Bayesian optimization, focused on efficiently optimizing hyperparameters for iteratively trained supervised learning models. We introduce a new acquisition function, the traceaware knowledgegradient, 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 stateoftheart alternatives for hyperparameter tuning of deep neural networks and largescale 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 [grqc]) Cache Translate Page 
Authors: José Barrientos, Fernando Izaurieta, Eduardo Rodríguez, Omar Valdivia Gravitational waves, and multimessenger 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 modelindependent 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\"ockLichnerowicz wave operator, the Weitzenb\"ock identity, their generalizations for spaces with torsion, and the study of the eikonal limit on RiemannCartan 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 selfsimilar 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 selfsimilar Mfractals 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 1generated 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 Mfractal provided M is finitely 1generated. 
On the sharpness of Tian's criterion for Kstability. (arXiv:1903.04719v1 [math.AG]) Cache Translate Page 
Authors: Yuchen Liu, Ziquan Zhuang Tian's criterion for Kstability states that a Fano variety of dimension $n$ whose alpha invariant is greater than $\frac{n}{n+1}$ is Kstable. We show that this criterion is sharp by constructing singular Fano varieties with alpha invariants $\frac{n}{n+1}$ that are not Kpolystable for sufficiently large $n$. We also construct Kunstable Fano varieties with alpha invariants $\frac{n1}{n}$. 
Representations of the Orlicz FigaTalamanca 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 nondegenerate *representations of A_\Phi(G) and B_\Phi(G). We also study spectral subspaces associated to a nondegenerate Banach space representation of A_\Phi(G). 
Smoothly nonisotopic 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 4ball which have the same boundary Legendrian knots, and are not smoothly isotopic or have nonhomeomorphic exteriors. 
Robust Dynamic EventTriggered Coordination with a Designable Minimum InterEvent Time. (arXiv:1903.04734v1 [math.OC]) Cache Translate Page 
Authors: James Berneburg, Cameron Nowzari This paper revisits the classical multiagent average consensus problem for which many different eventtriggered 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 dwelltime that forces interevent times to be lowerbounded away from 0 but sacrifice asymptotic convergence in exchange for practical convergence (or convergence to a neighborhood); (ii) guarantee nonZeno behaviors and asymptotic convergence but do not provide a positive minimum interevent 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 eventtriggered algorithm, for general directed communication networks, for which a desired positive minimum interevent 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 finitevariation EI processes. Applications are numerous. For example, we deduce that both halflines $(\infty, 0)$ and $(0,\infty)$ are visited immediately for infinite variation EI processes (called upward and downward regularity). We also generalize the zeroone 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 nonpiecewise 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 multitype 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 multitype 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 measurevalued 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 longholefree graphs remains an important open problem. In this paper we give a polynomial time algorithm to solve MWIS in longholefree graphs with no $k$prism (for any fixed integer $k$), and a subexponential algorithm for MWIS in longholefree 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 Intelligenceaided Receiver for A CPFree OFDM System: Design, Simulation, and Experimental Test. (arXiv:1903.04766v1 [cs.IT]) Cache Translate Page 
Authors: Jing Zhang, ChaoKai 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 CPfree OFDM systems. In this paper, we propose a novel artificial intelligence (AI)aided receiver (AI receiver) for a CPfree OFDM system. The AI receiver includes a channel estimation neural network (CENET) and a signal detection neural network based on orthogonal approximate message passing (OAMP), called OAMPNET. The CENET is initialized by the leastsquare channel estimation algorithm and refined by a linear minimum meansquared error neural network. The OAMPNET 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 overtheair (OTA) test. Based on our study, the AI receiver can estimate timevarying channels with a single training phase. It also has great robustness to various imperfections and has better performance than those competitive algorithms, especially for highorder 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 [hepth]) Cache Translate Page 
Authors: Fabien Besnard A solution of the socalled fermion doubling problem in Connes' Noncommutative Standard Model has been given by Barrett in 2006 in the form of MajoranaWeyl 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 KOdimension 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 largetime 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 largetime 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 gradientdependent 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 ASsets 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 ASgraph, 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 (LAASMAC), Didier Henrion (LAASMAC) The Lasserre or momentsumofsquare hierarchy of linear matrix inequality relaxations is used to compute inner approximations of the maximal positively invariant set for continuoustime 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 MixedStochasticRobust 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 twostage 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 stochasticrobustoptimization 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 Ktheory. We show that there is an example of a space for which the homotopy set is a noncommutative group, and hence the classifying space of the automorphism group of the Cuntz algebra for finite n is not an Hspace. 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 fieldtheoretical Weyl quantization compatible with the work of Binz, Honegger and Rieckers \cite{BHR}. We also define a Berezintype 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 covolume of the projection of the lattice to the semisimple part of the group. This is a generalization of a result by Gelander for semisimple Lie groups and a result of Mostow for solvable Lie groups. 
The breakdown of superconductivity in the presence of magnetic steps. (arXiv:1903.04847v1 [mathph]) Cache Translate Page 
Authors: Wafaa Assaad Many earlier works were devoted to the study of the breakdown of superconductivity in typeII superconducting bounded planar domains, submitted to smooth magnetic fields. In the present contribution, we consider a new situation where the applied magnetic field is piecewiseconstant, 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 FourierStieltjes 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 nonnatural 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, uncontinuous) and strong continuous operators. We study the properties of those operators and the relationship with other operators. 
Asymptotics for the SasaSatsuma 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 initialvalue problem for the SasaSatsuma equation on the line with decaying initial data. Using a RiemannHilbert formulation and steepest descent arguments, we compute the longtime 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 RiemannHilbert problem, this modified Painlev\'e II equation is related to a $3 \times 3$ matrix RiemannHilbert 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 3uniform hypergraph on six vertices with edges $\{123',12'3,1'23\}$. We show that the minimum triforce density in a 3uniform hypergraph of edge density $\delta$ is $\delta^{4o(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 \deltaG^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^{4o(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: ZhengJiang Xia, ZhenMu 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 multitype methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bimodal 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/3o(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 VectorValued 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 vectorvalued functions on finite graphs fulfilling distinguished minimality properties. We show that socalled lex and Llex 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 scalarvalued 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 VlasovMaxwell 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 DiPernaLions for studying wellposedness 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 DiPernaLions and BouchutAmbrosio 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 (DiPernaLions) or an entire derivative in the space of measures with finite total variation (BouchutAmbrosio). 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 phasespace. 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 highorder LaxWendroff methods for linear problems. Due to this, they are linearly L2stable under a CFL<1 condition. In order to prevent the spurious oscillations that appear close to discontinuities two shockcapturing techniques have been considered: a fuxlimiter technique (FLCAT methods) and WENO reconstruction for the frst time derivative (WENOCAT methods). We follow the WENOLax 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 WENObased 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 multiobjective 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 multiobjective optimisation problem without inequality and equality constraints and then to apply a multiobjective 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 multiobjective 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 multiobjective 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 multiobjective 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 5Way Scale. (arXiv:1903.04900v1 [math.CO]) Cache Translate Page 
Authors: Tanya Khovanova, Joshua Lee In this paper, we discuss coinweighing problems that use a 5way scale which has five different possible outcomes: MUCH LESS, LESS, EQUAL, MORE, and MUCH MORE. The 5way scale provides more information than the regular 3way 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 5way scale. We discuss similarities and differences between the 5way and 3way scale. We introduce a strategy for a 5way scale that can find both counterfeit coins among $2^k$ coins in $k+1$ weighings, which is better than any strategy for a 3way 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 infinitedimensional linear spaces. We extend this concept for setvalued functionals defined on measurable setvalued 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 setvalued 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 onedimensional Brownian sheet. This generalises and unifies a number of wellknown 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 GaussGreen 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, NearRegular, and SixthRootofUnity 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, nearregular, and sixthrootofunity matroids. 
Construction of Isodual Quasicyclic Codes over Finite Fields. (arXiv:1903.04911v1 [cs.IT]) Cache Translate Page 
Authors: FatmaZahra Benahmed, Kenza Guenda, Aicha Batoul, T. Aaron Gulliver This paper considers the construction of isodual quasicyclic codes. First we prove that two quasicyclic codes are permutation equivalent if and only if their constituent codes are equivalent. This gives conditions on the existence of isodual quasicyclic codes. Then these conditions are used to obtain isodual quasicyclic codes. We also provide a construction for isodual quasicyclic 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 nontrivial 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 counterintuitive fact that some weighted isoperimetric problems on the halfspace $ \mathbb{R}^N _+ $, for which halfballs 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 PassivityBased 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 nonapplicable to large systems due to long running times. We use the notion of maximal equilibriumindependent passivity (MEIP) and network optimization theory to present a network identification method for nonlinear agents. We do so by first designing a subcubic time algorithm for LTI agents, and then augment it by linearization to achieve a subcubic 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 largescale networks, including a network of firstorder linear agents, and a nonlinear 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 onedimensional OrnsteinUhlenbeck 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 threestate systems. (arXiv:1903.04928v1 [mathph]) 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 ndimensional vector subspaces (or nplanes) of the whole Hilbert space. It forms the basis of the concepts of parallel transport and of both cyclic and noncyclic holonomies in the Grassmann manifold of nplanes. 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 threestate toy model allowing for nonAbelian 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 CahnHilliard equation for the phase variable (relative concentration of the tumor), coupled with a reactiondiffusion equation for the nutrient. The cost functional is of standard trackingtype 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 firstorder 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 globalintime solution to the two species VlasovPoissonBoltzmann 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{selfconsistent field}$ in general bounded domains. 
Block FactorWidthTwo 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 factorwidthtwo matrices, which is a generalisation of factorwidthtwo matrices and is a subset of positive semidefinite matrices. The set of block factorwidthtwo matrices is a proper cone and we compute a closedform 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 largescale semidefinite feasibility optimisation programs including sumofsquares (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 [mathph]) 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 [grqc]) 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 FourDimensions, FiveDimensions. G.W. Gibbons (Cambridge U.) . PRINT850958 (CAMBRIDGE), (Received Dec 1985). 14pp. and appeared in print in De Vega, H.J. ( Ed.), Sanchez, N. ( Ed.) : Field Theory, Quantum Gravity and Strings*, 4659 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 L2gradient 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 nonnegativeintegervalued 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 higherdimensional spaces $S$, where several types of weak convergence from finite DPPs to infinite DPPs are given. Oneparameter ($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: TuanBinh Nguyen, JérômeAlexis Chevalier, Bertrand Thirion Continuous improvement in medical imaging techniques allows the acquisition of higherresolution 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 welldefined, which is impossible in highdimensional 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 knockoffbased 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 FDRcontrolling 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 nonuniqueness 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 nonuniqueness 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 [astroph.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 WisdomHolman 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 MatrixTree 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 wellstudied families of graphs, this can be computationally or algebraically taxing. We show how two wellknown 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 [condmat.quantgas]) Cache Translate Page 
Authors: Ben Craps, Marine De Clerck, Oleg Evnin, Surbhi Khetrapal We consider identical quantum bosons with weak contact interactions in a twodimensional 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 twodimensional GrossPitaevskii 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 WignerDyson statistics within such individual blocks, which suggests that no integrable structures beyond the symmetries we display should be expected in the problem. 
Gelfandtype 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 ALspaces are the basis for the Koopman linearization of topological and measurepreserving 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 firstorder 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 secondorder 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 (firstorder) sentence in $L_{\infty,\omega}$. Nevertheless, in certain cases $\vartheta(\varphi)$ are firstorder 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 nonexistence of a Putinarlike Positivstellensatz for SDSOS. On the Boolean hypercube, we show as a main result that Schm\"udgenlike versions of the hierarchies SDSOS*, SONC*, and SA* are polynomially equivalent. Moreover, we show that SA* is contained in any Schm\"udgenlike 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)=\{yd(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 wellknown properties of (bipartite) distanceregular 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 ManCho 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 secondorder 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 firstorder 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 finitetype 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 GaltonWatson 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 GaltonWatson trees, the constant speed model and the varying speed model. In both cases, the simple exclusion process starts from an equilibrium distribution with nonvanishing 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 baseten 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. 
Matrixoriented discretization methods for reactiondiffusion PDEs: comparisons and applications. (arXiv:1903.05030v1 [math.NA]) Cache Translate Page 
Authors: Maria Chiara D'Autilia, Ivonne Sgura, Valeria Simoncini Systems of reactiondiffusion partial differential equations (RDPDEs) are widely applied for modelling life science and physicochemical phenomena. In particular, the coupling between diffusion and nonlinear kinetics can lead to the socalled 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 (vectorbased) 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 matrixbased versions of time integrators, such as ImplicitExplicit (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 RDPDE systems with Turing pattern solutions, and the DIBmorphochemical model describing metal growth during battery charging processes. 
Unlikely intersections and the ChabautyKim method over number fields. (arXiv:1903.05032v1 [math.NT]) Cache Translate Page 
Authors: Netan Dogra We extend some results known for the ChabautyKim 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 [hepth]) 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 inversesquare 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 Hardytype 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}^{n1})$ is a real function such that the operator $\Delta_\theta+V_0(\theta)+(n2)^2/4$ is a strictly positive operator on $L^2(\mathbb{S}^{n1})$. 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 nonlinear 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 AllorNothing 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 `AllorNothing' informationtheoretic 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 informationtheoretically 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 KullbackLeibler (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 [quantph]) Cache Translate Page 
Authors: U. G. Aglietti We study Winter or deltashell model at finite volume (length), describing a small resonating cavity weaklycoupled to a large one. For generic values of the coupling, a resonance of the usual model corresponds, in the finitevolume case, to a compression of the spectral lines; For specific values of the coupling, a resonance corresponds instead to a degenerate or quasidegenerate 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 multiscale 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 BenShimon, 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}sR\'{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 Higherorder 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 [mathph]) 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 weakdisorder (diffusive phase) to a strongdisorder (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 splitstep quantum walks. (arXiv:1903.05061v1 [mathph]) Cache Translate Page 
Authors: Yasumichi Matsuzawa Splitstep quantum walks admit supersymmetry, and thus their Witten indices can be defined. We prove that the Witten index of a splitstep quantum walk coincides with the difference between the winding numbers of functions corresponding to the rightlimit of coins and the leftlimit of coins. As a corollary, we give an alternative derivation of the index formula for splitstep 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 twostep 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 twostep 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 twostep ST entails two separate optimizations, which can both be performed very efficiently. In the first optimization, optimal wellrate 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. Neargloballyoptimal 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 12 fullorder simulations. Results are presented for multiple well configurations, for 2D and 3D channelized models, and comparisons with formal optimization procedures (MADS and adjointgradient) are conducted. Three different fluid mobility ratios (M = 1, 3 and 5) are considered. Optimization results demonstrate that the twostep ST provides results in reasonable agreement with those from MADS and adjointgradient, with speedups of 5x or more. We also show that the ST is applicable in the innerloop 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 gridconnected 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 gridconnected 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 nontrivial impact on the delay and age performance of the two nodes. 
A generalized Noether theorem for scaling symmetry. (arXiv:1903.05070v1 [mathph]) 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 twoparameter family of generalized rescaling symmetries, all of whose associated charges reduce however to a single one, namely to the familiar Schr\"odingerdilationcharge. 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 starshaped curves. The bending energy is used as a stabilizing term in Tikhonov regularization to gain independence of the parametrization. Moreover, we discuss how selfintersections 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 shapemanifold. Numerical examples demonstrate the feasibility of reconstructing nonstarshaped obstacles. 
A total variation based regularizer promoting piecewiseLipschitz reconstructions. (arXiv:1903.05079v1 [math.NA]) Cache Translate Page 
Authors: Martin Burger, Yury Korolev, CarolaBibiane 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 halfinteger 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 pseudoholomorphic 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 DanilovJurkiewicz 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 FukayaOhOhtaOno for toric manifolds and CoatesLeeCortiTseng 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 nondisplaceable 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 DFTbased 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 nontrivial 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\'emethiZaharia in many cases. 
Strongviscosity solutions: Semilinear parabolic PDEs and pathdependent 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 strongviscosity 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 strongviscosity 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 strongviscosity solution to the case of semilinear parabolic pathdependent 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 kth 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 nonM\"obius rational functions cannot have Siegel disks with nonBrjuno 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\'olyaEggenberger urn is wellknown 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 nonnegligible 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 Btrees. 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. 
Nonunique 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 cutgenerating functions. Most of the prior literature on this question focuses on cutgenerating functions that have the unique lifting property. We develop a general theory for understanding the lifting question for cutgenerating 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 VargasGarcia 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 FosterLyapunov drift condition approach. The test functions used are naturally related to the geometry of the cone of positive semidefinite 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 twodimensional 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 heattype 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 KerckhoffMasurSmillie 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 tstructures 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 HRStilt to describe bounded tstructures 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 tstructures on $\mathcal{D}^b(\mathbb{X})$ can be reduced to that in classification of bounded tstructures on bounded derived categories of finite dimensional right modules over representationfinite finite dimensional hereditary algebras. 
On the relative hyperbolicity and manifold structure of certain rightangled 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 rightangled Coxeter groups. More precisely, we give "visual descriptions" of cut points and nonparabolic cut pairs in the Bowditch boundary of relatively hyperbolic rightangled Coxeter groups. Then we study the manifold structure and the relatively hyperbolic structure of rightangled Coxeter groups with planar nerves. We use these structures to study the quasiisometry problem for this class of rightangled 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. 
LowComplexity Hybrid Beamforming for Massive MIMO Systems in FrequencySelective Channels. (arXiv:1710.01584v3 [cs.IT] UPDATED) Cache Translate Page 
Authors: Sohail Payami, Mathini Sellathurai, Konstantinos Nikitopoulos Hybrid beamforming for frequencyselective 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 stateoftheart, we show that substantial sumrate gains can be achieved, both for rich and sparse scattering channels, by jointly exploiting the frequency and time domain characteristics of the massive multipleinput multipleoutput (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 closedform 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 fullydigital zeroforcing when number of employed phase shifter networks is twice the resolvable multipath components in the time domain. 
Quantumclassical 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 (PollicottRuelle) resonant states on $\mathbf V_\tau$ that vanish under covariant derivatives in the Anosovunstable 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 PollicottRuelle 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 PollicottRuelle 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 EndoAtmospheric 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 endoatmospheric launch vehicle systems under mixed controlstate 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 KantorovichWasserstein 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 1bounded complete metric spaces. We prove that this Kantorovich monad arises from a colimit construction on finite powerlike 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 Ktheory. (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 Ktheory of a closed immersion of schemes $D \subset X$. The $E_2$terms of this spectral sequence are the cdhhypercohomology of a complex of equidimensional cycles. Using this spectral sequence, we obtain a cycle class map from the relative motivic cohomology group of 0cycles to the relative homotopy invariant Ktheory. For a smooth scheme $X$ and a divisor $D \subset X$, we construct a canonical homomorphism from the Chow groups with modulus $\CH^i(XD)$ to the relative motivic cohomology groups $H^{2i}(XD, \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 Twocomponent 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 3sphere. On one hand, we use algebraic methods to prove the vanishing of the contact Ozsv\'{a}thSzab\'{o} invariant for contact $(+1)$surgery along certain Legendrian twocomponent 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 contactgeometric argument to show the overtwistedness of the contact 3manifolds obtained by contact $(+1)$surgeries along Legendrian twocomponent 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 regresslater 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 stressstrain hysteresis. (arXiv:1802.05549v2 [math.AP] UPDATED) Cache Translate Page 
Authors: Thomas Hudson, Frédéric Legoll, Tony Lelièvre Motivated by rateindependent stressstrain 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 twoscale 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 onedimensional instance of the model. 
Cohomology of finite pgroups of fixed nilpotency class. (arXiv:1802.09459v2 [math.AT] UPDATED) Cache Translate Page 
Authors: Oihana Garaialde Ocaña, Jon GonzálezSá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 dgenerated finite pgroup 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 inversepowerlaw 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 loworder 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. NoorEAlam 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 nonlinear series transformation technique. Our numerical results show that the proposed algorithms outperform the original primal affine scaling method. 
MaximumEntropy 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 timeharmonic 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 timeharmonic Maxwell's equations in a periodic, layered structure made of twodimensional (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 finescale, 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: AnneLaure Basdevant (MODAL'X), Lucas Gerin (CMAP) We consider a variant of the continuous and discrete UlamHammersley 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 wellstudied models: respectively the classical UlamHammersley problem and lastpassage percolation with geometric weights. Thanks to these couplings we obtain explicit limiting shapes in both settings.We also establish that, as in the classical UlamHammersley problem, the fluctuations around the mean are given by the TracyWidom distribution. 
The upper bound theorem for flag homology 5manifolds. (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 SpaceTime 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 blowup, 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 semiinfinite 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 2absorbing ideals of commutative semirings. (arXiv:1805.11928v2 [math.RA] UPDATED) Cache Translate Page 
Authors: Hussein Behzadipour, Peyman Nasehpour In this paper, we investigate 2absorbing 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 2absorbing 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 2absorbing 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 2absorbing ideal $\mathfrak{a}$, then $\mathfrak{am} = \mathfrak{p}$, where $\mathfrak{m}$ is the unique maximal ideal of $S$. 
Some QuantumMechanical Relations in case of singular operators and potentials. (arXiv:1806.01268v4 [quantph] 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 coinduction 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) pullback 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 semiquasihomogeneous 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 twocardinal 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 twocardinal weakly compact diamond principle, answer a question of CoxL\"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 vectorvalued martingales with weak exponentialtype 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 exponentialtype tails scatters in many statistical applications and can be heavier than subexponential distributions. In the case of one dimension, we prove in general that for a sequence of scalarvalued 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 vectorvalued 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.compph] 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 finiteelement method to compute the ratio of energy transmitted within these waveguide structures reliably and efficiently. At its heart, the method is built upon a goaloriented a posteriori error estimation with the dualweighted residual method (DWR). Further, we derive analytic solutions of the twolayer system, compare those to (known) singlelayer configurations, and compare and validate our numerical findings by comparing numerical and analytical values for optimal spacing of the twolayer configuration. Additional aspects of our numerical treatment, such as local grid refinement, and the utilization of perfectly matched layers (PMLs) are examined in detail. 
Quotscheme limit of FubiniStudy 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 Quotscheme limit of FubiniStudy metrics. In particular, we provide an explicit estimate which proves that Donaldson's functional is coercive on the set of FubiniStudy metrics if $E$ is slope stable, and give a new proof of HermitianEinstein metrics implying slope stability. 
Stabilizing Graphdependent Switched Systems. (arXiv:1810.03311v2 [math.DS] UPDATED) Cache Translate Page 
Authors: Nikita Agarwal We give sufficient conditions for stability of a continuoustime 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 nonHurwitz subsystems. We also present a slowfast switching mechanism on subsystems comprising simple loops of underlying graph to ensure stability of the switched system. 
Energy distribution of harmonic 1forms 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 1forms 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 Gramperiod matrices in the noncompact case. 
Weak solutions of the CahnHilliard system with dynamic boundary conditions: A gradient flow approach. (arXiv:1810.09817v2 [math.AP] UPDATED) Cache Translate Page 
Authors: Harald Garcke, Patrik Knopf The CahnHilliard equation is the most common model to describe phase separation processes of a mixture of two components. For a better description of shortrange 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 CahnHilliard 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 highdimensional spiked models. (arXiv:1810.10214v3 [math.ST] UPDATED) Cache Translate Page 
Authors: David MoralesJimenez, 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 highdimensional 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 firstorder and distributional results for both the leading eigenvalues and eigenvectors of sample correlation matrices. These results are obtained under highdimensional 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 energyconstrained 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 Stinespringlike representation with $\sqrt{G}$bounded and $\sqrt{G}$infinitesimal operators correspondingly. We prove the completeness of both cones w.r.t. the energyconstrained 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 energyconstrained 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 KretschmannSchlingemannWerner theorem is obtained. We also give a nonconstructive description of the completion of the set of all Hermitianpreserving completely bounded linear maps w.r.t. the ECD norm. 
On truncated quasicategories. (arXiv:1810.11188v2 [math.CT] UPDATED) Cache Translate Page 
Authors: Alexander Campbell, Edoardo Lanari For each $n \geq 1$, a quasicategory is said to be $n$truncated if its homspaces are $(n1)$types. In this paper we study the model structure for $n$truncated quasicategories, which we show can be constructed as the Bousfield localisation of Joyal's model structure for quasicategories with respect to the boundary inclusion of the $(n+2)$simplex. Furthermore, we prove the expected Quillen equivalences between categories and $1$truncated quasicategories and between $n$truncated quasicategories 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 CastelnuovoMumford regularity of the product of $t$ linear ideals is equal to $t$. Derksen and Sidman showed that the CastelnuovoMumford 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 wellknown formulas: $\zeta(1k)=\frac{B_k}{k}$ and $\zeta(1n,a)=\frac{B_n(a)}{n}$ , where $\zeta$, $\zeta(1n,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)^{ni}\frac{1}{(ni)!(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{vandendriesmatthias} presented at Logic and Foundations section of ICM2018, Rio de Janeiro, the authors analyze, under a modeltheoretic perspective, three ways to enrich the real continuum by infinitesimal and infinite quantities. In the present work, we present a first modeltheoretic connection of another (but related to the previous one) triple of structures: ominimal 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 BakSneppen model of evolution and called a $p$contest, was posed in [Grinfeld, M, Knight, P.A., and Wade, A.R. Rankdriven 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 wellknown that every planar graph has a Tutte path, i.e., a path $P$ such that any component of $GP$ 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 3connected planar graphs have Tutte paths, which leads to a lineartime algorithm to find Tutte paths. Furthermore, our Tutte path has special properties: it visits all exterior vertices, all components of $GP$ 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 2walks) 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 FirstOrder 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 firstorder onedimensional 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 initialboundary 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 quasilinearities appearing in diffusion equations. (arXiv:1812.08495v2 [math.AP] UPDATED) Cache Translate Page 
Authors: Pedro Caro, Yavar Kian We consider the highly nonlinear and illposed 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 convectiondiffusion 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 nonsmooth coefficients on a Lipschitz domain. In the nonlinear case, we prove the recovery of more general quasilinear 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 quasilinear 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 quasilinear 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 reemerged 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 zetafunction. As a consequence, we get lower bounds for large values of Dedekind zetafunctions and RankinSelberg $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 "higherdimensional" 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 [hepth] 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 offshell supersymmetric representations analogous to that of compact Lie algebras such as SU(3). For offshell 4D, N = 1 systems, quarklike representations have been identified [1] in terms of cisAdinkras and transAdinkras 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 nonconservative 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 semigroups, which can be nonconservative and nonhomogeneous. 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 nonhomogeneity. Moreover we provide general estimates for semigroups which become asymptotically homogeneous, which are applied to an agestructured population model. Finally, we obtain a speed of convergence for periodic semigroups 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 
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 IBMSegú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. 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. 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.headerGasolina, diésel, híbrido… Cómo acertar con la propulsión  
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 solitarioDurante 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: OrdenCada 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ónEl 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 temporalUn 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ónSe 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 
É 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 milanos 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 CarrollNellenback, 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.
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 CarrollNellenback, 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 CarrollNellenback.
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: 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 CarrollNellenback, 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 tornamse 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 CarrollNellenback, 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’1O 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 antiStrumia "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 darkerskinned 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 selfdriving 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 
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. 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:
