title: Sequential Gating Ensemble Network for Noise Robust Multi-Scale Face Restoration

abstract: Face restoration from low resolution and noise is important for applications of face analysis recognition. However, most existing face restoration models omit the multiple scale issues in face restoration problem, which is still not well-solved in research area. In this paper, we propose a Sequential Gating Ensemble Network (SGEN) for multi-scale noise robust face restoration issue. To endow the network with multi-scale representation ability, we first employ the principle of ensemble learning for SGEN network architecture designing. The SGEN aggregates multi-level base-encoders and base-decoders into the network, which enables the network to contain multiple scales of receptive field. Instead of combining these base-en/decoders directly with non-sequential operations, the SGEN takes base-en/decoders from different levels as sequential data. Specifically, it is visualized that SGEN learns to sequentially extract high level information from base-encoders in bottom-up manner and restore low level information from base-decoders in top-down manner. Besides, we propose to realize bottom-up and top-down information combination and selection with Sequential Gating Unit (SGU). The SGU sequentially takes information from two different levels as inputs and decides the output based on one active input. Experiment results on benchmark dataset demonstrate that our SGEN is more effective at multi-scale human face restoration with more image details and less noise than state-of-the-art image restoration models. Further utilizing adversarial training scheme, SGEN also produces more visually preferred results than other models under subjective evaluation.


title: The Variational Iteration Method for Solving Asymmetric System of PDEs

abstract: We propose a method to obtain iterative schemes guarantee unique solutions for systems of partial differential equations that are not symmetric with respect to the time by generalizing He variational iteration method and using Banach fixed point theorem. Then, iterative schemes for systems of incompressible fluid flow and incompressible micropolar fluid flow will be created by applying the generalized He variational iteration method.


title: Never Use Labels: Signal Strength-Based Bayesian Device-Free Localization in Changing Environments

abstract: Device-free localization (DFL) methods use measured changes in the received signal strength (RSS) between many pairs of RF nodes to provide location estimates of a person inside the wireless network. Fundamental challenges for RSS DFL methods include having a model of RSS measurements as a function of a person's location, and maintaining an accurate model as the environment changes over time. Current methods rely on either labeled empty-area calibration or labeled fingerprints with a person at each location. Both need to be frequently recalibrated or retrained to stay current with changing environments. Other DFL methods only localize people in motion. In this paper, we address these challenges by, first, introducing a new mixture model for link RSS as a function of a person's location, and second, providing the framework to update model parameters without ever being provided labeled data from either empty-area or known-location classes. We develop two new Bayesian localization methods based on our mixture model and experimentally validate our system at three test sites with seven days of measurements. We demonstrate that our methods localize a person with non-degrading performance in changing environments, and, in addition, reduce localization error by 11-51% compared to other DFL methods.


title: Multi-Player Multi-Armed Bandit Based Resource Allocation for D2D Communications

abstract: Device-to-device (D2D) communications is expected to play a significant role in increasing the system capacity of the fifth generation (5G) wireless networks. To accomplish this, efficient power and resource allocation algorithms need to be devised for the D2D users. Since the D2D users are treated as secondary users, their interference to the cellular users (CUs) should not hamper the CU communications. Most of the prior works on D2D resource allocation assume full channel state information (CSI) at the base station (BS). However, the required channel gains for the D2D pairs may not be known. To acquire these in a fast fading channel requires extra power and control overhead. In this paper, we assume partial CSI and formulate the D2D power and resource allocation problem as a multi-armed bandit problem. We propose a power allocation scheme for the D2D users in which the BS allocates power to the D2D users if a certain signal-to-interference-plus-noise ratio (SINR) is maintained for the CUs. In a single player environment a D2D user selects a CU in every time slot by employing UCB1 algorithm. Since this resource allocation problem can also be considered as an adversarial bandit problem we have applied the exponential-weight algorithm for exploration and exploitation (Exp3) to solve it. In a multiple player environment, we extend UCB1 and Exp3 to multiple D2D users. We also propose two algorithms that are based on distributed learning algorithm with fairness (DLF) and kth-UCB1 algorithms in which the D2D users are ranked. Our simulation results show that our proposed algorithms are fair and achieve good performance.


title: Property-based testing for Spark Streaming

abstract: Stream processing has reached the mainstream in the last years, as a new generation of open source distributed stream processing systems, designed for scaling horizontally on commodity hardware, has brought the capability for processing high volume and high velocity data streams to companies of all sizes. In this work we propose a combination of temporal logic and property-based testing (PBT) for dealing with the challenges of testing programs that employ this programming model. We formalize our approach in a discrete time temporal logic for finite words, with some additions to improve the expressiveness of properties, which includes timeouts for temporal operators and a binding operator for letters. In particular we focus on testing Spark Streaming programs written with the Spark API for the functional language Scala, using the PBT library ScalaCheck. For that we add temporal logic operators to a set of new ScalaCheck generators and properties, as part of our testing library sscheck. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Contracting Maps and Scalar Curvature

abstract: We explain how to derive largeness constraints in scalar curvature geometry using some basic splitting results and the potential theory on singular area minimizing hypersurfaces. This includes a variety of results like the non-existence of positive scalar curvature metrics on enlargeable manifolds or simplified proofs for positive mass theorems.


title: A variational approach to London dispersion interactions without density distortion

abstract: We introduce a class of variational wavefunctions that capture the long-range interaction between neutral systems (atoms and molecules) without changing the diagonal of the density matrix of each monomer. The corresponding energy optimization yields explicit expressions for the dispersion coefficients in terms of the ground-state pair densities of the isolated systems, providing a clean theoretical framework to build new approximations in several contexts. As the individual monomer densities are kept fixed, we can also unambiguously assess the effect of the density distortion on van der Waals interactions: for example, we obtain virtually exact dispersion coefficients between two hydrogen atoms up to $C_{10}$, and relative errors below $0.2\%$ in other simple cases.


title: A Peculiarity in the Parity of Primes

abstract: We create a simple test for distinguishing between sets of primes and random numbers using just the sum-of-digits function. We find that the sum-of-the-digits of prime numbers does not have an equal probability of being odd or even. The authors know of no reason why prime numbers should bias themselves towards a particular parity in their sums of digits, but our empirical tests show a very strong bias; strong enough that we are able to devise a test to reliably differentiate between collections of prime numbers versus random numbers by looking only at their sums of digits. We are also able to create similar tests for products of primes. We are even able to test "tainted" sets with mixtures of primes and random numbers: as the percentage of (randomly chosen) prime numbers in a set of random numbers is varied, we get a reliable, linear change in our parity measure. For example, when we add up the digits of prime numbers in base 10, their sum is significantly more likely to be odd than even. This effect persists across base changes, although which parity is more common might change. Note that the last digit being odd in base 10 simply reverses the parity. We have tested this for the first fifty million primes -- not primes up to 50,000,000, but the first 50,000,000 prime numbers -- and have found that this effect persists, and does so in a predictable manner. The effect is quite significant; for 50,000,000 primes in base 10, the number of primes which have an odd sum-of-digits is about an order of magnitude farther away from the mean than expected. We have run multiple tests to try and understand the source of this bias, including investigating primes modulo random numbers and adjusting for Chebyshev's bias. None of these tests yielded any satisfactory explanation for this phenomenon.


title: Do GANs leave artificial fingerprints?

abstract: In the last few years, generative adversarial networks (GAN) have shown tremendous potential for a number of applications in computer vision and related fields. With the current pace of progress, it is a sure bet they will soon be able to generate high-quality images and videos, virtually indistinguishable from real ones. Unfortunately, realistic GAN-generated images pose serious threats to security, to begin with a possible flood of fake multimedia, and multimedia forensic countermeasures are in urgent need. In this work, we show that each GAN leaves its specific fingerprint in the images it generates, just like real-world cameras mark acquired images with traces of their photo-response non-uniformity pattern. Source identification experiments with several popular GANs show such fingerprints to represent a precious asset for forensic analyses.


title: Exploring the prominent channel: Charged Higgs pair production in supersymmetric Two-parameter Non-Universal Higgs Model

abstract: In this study, the charged Higgs pair production is calculated in the context of the supersymmetry at a $\gamma\gamma$-collider. The channel is explored in Two-parameter Non-Universal Higgs Model where the model provides relatively light neutral and charged Higgs bosons. The computation is extended to one loop-level, and the divergence arising in the loop-diagrams are cured with the radiative photon correction. The production rate of the charged Higgs pair reaches up to $\hat{\sigma}_\text{UU}^\text{LO+NLO}=121\text{ fb}$ at $\sqrt{\hat{s}}=635\text{ GeV}$. The analysis of the cross-section is also given varying the parameters $m_A$ and $\tan\beta$. The total convoluted cross-section with the photon luminosity in an $e^+e^-$ machine is calculated as a function of the center-of-mass energy up to $1\text{ TeV}$, and it gets up to $42\text{ fb}$ at $\sqrt{s}=900 \text{ GeV}$ depending on the polarization of the initial electron and laser photon.


title: Nanorobots-assisted Detection of Multifocal Cancer: A Multimodal Optimization Perspective

abstract: We propose a new framework of computing-inspired multifocal cancer detection procedure (MCDP). Under the rubric of MCDP, the tumor foci to be detected are regarded as solutions of the objective function, the tissue region around the cancer areas represents the parameter space, and the nanorobots loaded with contrast medium molecules for cancer detection correspond to the optimization agents. The process that the nanorobots detect tumors by swimming in the high-risk tissue region can be regarded as the process that the agents search for the solutions of an objective function in the parameter space with some constraints. For multimodal optimization (MMO) aiming to locate multiple optimal solutions in a single simulation run, niche technology has been widely used. Specifically, the Niche Genetic Algorithm (NGA) has been shown to be particularly effective in solving MMO. It can be used to identify the global optima of multiple hump functions in a running, keep effectively the diversity of the population, and avoid premature of the genetic algorithm. Learning from the optimization procedure of NGA, we propose the NGA-inspired MCDP in order to locate the tumor targets efficiently while taking into account realistic in vivo propagation and controlling of nanorobots, which is different from the use scenario of the standard NGA. To improve the performance of the MCDP, we also modify the crossover operator of the original NGA from crossing within a population to crossing between two populations. Finally, we present comprehensive numerical examples to demonstrate the effectiveness of the NGA-inspired MCDP when the biological objective function is associated with the blood flow velocity profile caused by tumor-induced angiogenesis.


title: Opinion Dynamics Theory for Analysis of Consensus Formation and Division of Opinion on the Internet

abstract: The massive amount of text data on the web has facilitated research on the quantitative analysis of public opinion, which could not be visualized earlier. In this paper, we propose a new opinion dynamics theory. This theory that is intended to explain agreement formation and opinion breakup division in opinion exchanges on social media such as Twitter. With the popularization of the public network, we have become able to communicate with instantaneity and interactivity beyond the temporal and spatial constraints.Research on quantitatively analyzing the distribution of opinion on public opinion that has not been visualized so far utilizing massive web text data is progressing.Our model is based on the Bounded Confidence Model, that expresses opinions in as continuous quantity values. However, in the Bounded Confidence Model, it was assumed that people with different opinions move not in disregard but ignoring opinions. Furthermore, in our theory, it modeled so that it can expresser model incorporates the influence from of the external pressure outside and the phenomenon depending on the surrounding situation.


title: Topological corner modes in a brick lattice with nonsymmorphic symmetry

abstract: The quest for new realizations of higher-order topological system has garnered much recent attention. In this work, we propose a paradigmatic brick lattice model where corner modes requires protection by nonsymmorphic symmetry in addition to two commuting mirror symmetries. Unlike the well-known square corner mode lattice, it has an odd number of occupied bands, which necessitates a different definition for the $\mathbb Z_2\times \mathbb Z_2$ topological invariant. By studying both the quadrupolar polarization and effective edge model, our study culminates in a phase diagram containing two distinct topological regimes. Our brick lattice corner modes can be realized in a RLC circuit setup and detected via collossal "topolectrical" resonances.


title: Touschek with AdA in Orsay and the first direct observation of electron-positron collisions

abstract: We describe how the first direct observation of electron-positron collisions took place in 1963-1964 at the Laboratoire de l'Acc\'el\'erateur Lin\'eaire d'Orsay, in France, with the storage ring AdA, which had been proposed and constructed in the Italian National Laboratories of Frascati in 1960, under the guidance of Bruno Touschek. The obstacles and successes of the two and a half years during which the feasibility of electron-positron colliders was proved will be illustrated using archival and forgotten documents, in addition to transcripts from interviews with Carlo Bernardini, Peppino Di Giugno, Mario Fascetti, Francois Lacoste, and Jacques Ha\"issinski.


title: Some estimates for p-adic rough multilinear Hausdorff operators and commutators on weighted Morrey-Herz type spaces

abstract: The aim of this paper is to introduce and study the boundedness of a new class of p-adic rough multilinear Hausdorff operators on the product of Herz, central Morrey and Morrey-Herz spaces with power weights and Muckenhoupt weights. We also establish the boundedness for the commutators of p-adic rough multilinear Hausdorff operators on the weighted spaces with symbols in central BMO space.


title: Revealing the Newton-Raphson basins of convergence in the circular pseudo-Newtonian Sitnikov problem

abstract: In this paper we numerically explore the convergence properties of the pseudo-Newtonian circular restricted problem of three and four primary bodies. The classical Newton-Raphson iterative scheme is used for revealing the basins of convergence and their respective fractal basin boundaries on the complex plane. A thorough and systematic analysis is conducted in an attempt to determine the influence of the transition parameter on the convergence properties of the system. Additionally, the roots (numerical attractors) of the system and the basin entropy of the convergence diagrams are monitored as a function of the transition parameter, thus allowing us to extract useful conclusions. The probability distributions, as well as the distributions of the required number of iterations are also correlated with the corresponding basins of convergence.


title: A shortest-path based clustering algorithm for joint human-machine analysis of complex datasets

abstract: Clustering is a technique for the analysis of datasets obtained by empirical studies in several disciplines with a major application for biomedical research. Essentially, clustering algorithms are executed by machines aiming at finding groups of related points in a dataset. However, the result of grouping depends on both metrics for point-to-point similarity and rules for point-to-group association. Indeed, non-appropriate metrics and rules can lead to undesirable clustering artifacts. This is especially relevant for datasets, where groups with heterogeneous structures co-exist. In this work, we propose an algorithm that achieves clustering by exploring the paths between points. This allows both, to evaluate the properties of the path (such as gaps, density variations, etc.), and expressing the preference for certain paths. Moreover, our algorithm supports the integration of existing knowledge about admissible and non-admissible clusters by training a path classifier. We demonstrate the accuracy of the proposed method on challenging datasets including points from synthetic shapes in publicly available benchmarks and microscopy data.


title: Infrared Behavior of Quantum Fields in Inflationary Cosmology -- Issues and Approaches: an overview

abstract: This is a pedagogical guide to works on this subject which began in the 80s but has seen vibrant activities in the last decade. It aims to help orient readers, especially students, who wish to enter into research but bewildered by the vast and diverse literature on this subject. We describe the three main veins of activities: the Euclidean zero-mode dominance, the Lorentzian interacting quantum field theory and the classical stochastic field theory approaches in some detail, explaining the underlying physics and the technicalities of each. We show how these approaches are interconnected, and highlight recent papers which contain germs of worthy directions for future developments.


title: Fast Perceptual Image Enhancement

abstract: The vast majority of photos taken today are by mobile phones. While their quality is rapidly growing, due to physical limitations and cost constraints, mobile phone cameras struggle to compare in quality with DSLR cameras. This motivates us to computationally enhance these images. We extend upon the results of Ignatov et al., where they are able to translate images from compact mobile cameras into images with comparable quality to high-resolution photos taken by DSLR cameras. However, the neural models employed require large amounts of computational resources and are not lightweight enough to run on mobile devices. We build upon the prior work and explore different network architectures targeting an increase in image quality and speed. With an efficient network architecture which does most of its processing in a lower spatial resolution, we achieve a significantly higher mean opinion score (MOS) than the baseline while speeding up the computation by 6.3 times on a consumer-grade CPU. This suggests a promising direction for neural-network-based photo enhancement using the phone hardware of the future.


title: A high-order partitioned solver for general multiphysics problems and its applications in optimization

abstract: A high-order accurate adjoint-based optimization framework is presented for unsteady multiphysics problems. The fully discrete adjoint solver relies on the high-order, linearly stable, partitioned solver introduced in [1], where different subsystems are modeled and discretized separately. The coupled system of semi-discretized ordinary differential equations is taken as a monolithic system and partitioned using an implicit-explicit Runge-Kutta (IMEX-RK) discretization [2]. Quantities of interest (QoI) that take the form of space-time integrals are discretized in a solver-consistent manner. The corresponding adjoint equations are derived to compute exact gradients of QoI, which can be solved in a partitioned manner, i.e. subsystem-by-subsystem and substage-by-substage, thanks to the partitioned primal solver. These quantities of interest and their gradients are then used in the context of gradient-based PDE-constrained optimization. The present optimization framework is applied to two fluid-structure interaction problems: 1D piston problem with a three-field formulation and a 2D energy harvesting problem with a two-field formulation.


title: On the third-order Horadam matrix sequences

abstract: In this paper, we first give new generalizations for third-order Horadam $\{H_{n}^{(3)}\}_{n\in \mathbb{N}}$ and generalized Tribonacci $\{h_{n}^{(3)}\}_{n\in \mathbb{N}}$ sequences for classic Horadam and generalized Fibonacci numbers. Considering these sequences, we define the matrix sequences which have elements of $\{H_{n}^{(3)}\}_{n\in \mathbb{N}}$ and $\{h_{n}^{(3)}\}_{n\in \mathbb{N}}$. Then we investigate their properties.


title: Examples of stable exponential cosmological solutions with three factor spaces in EGB model with a $\Lambda$-term

abstract: We deal with Einstein-Gauss-Bonnet model in dimension $D$ with a $\Lambda$-term. We obtain three stable cosmological solutions with exponential behavior (in time) of three scale factors corresponding to subspaces of dimensions $(l_0,l_1,l_2) = (3, 4, 4), (3, 3, 2), (3, 4, 3)$ and $D = 12, 9, 11$, respectively. Any solution may describe an exponential expansion of $3$-dimensional subspace governed by Hubble parameter $H$. Two of them may also describe a small enough variation of the effective gravitational constant $G$ (in Jordan frame) for certain values of $\Lambda$.


title: Latent Variable Modeling for Generative Concept Representations and Deep Generative Models

abstract: Latent representations are the essence of deep generative models and determine their usefulness and power. For latent representations to be useful as generative concept representations, their latent space must support latent space interpolation, attribute vectors and concept vectors, among other things. We investigate and discuss latent variable modeling, including latent variable models, latent representations and latent spaces, particularly hierarchical latent representations and latent space vectors and geometry. Our focus is on that used in variational autoencoders and generative adversarial networks.


title: Deep phenotyping of cardiac function in heart transplant patients using cardiovascular systems models

abstract: Heart transplant patients are followed with periodic right heart catheterizations (RHCs) to identify post-transplant complications and guide treatment. Post-transplant positive outcomes are associated with a steady reduction of right ventricular and pulmonary arterial pressures, toward normal levels of right-side pressure (about 20mmHg) measured by RHC. This study shows more information about patient progression is obtained by combining standard RHC measures with mechanistic computational cardiovascular systems models. This study shows: to understand how cardiovascular system models can be used to represent a patient's cardiovascular state, and to use these models to track post-transplant recovery and outcome. To obtain reliable parameter estimates comparable within and across datasets, we use sensitivity analysis, parameter subset selection, and optimization to determine patient specific mechanistic parameter that can be reliably extracted from the RHC data. Patient-specific models are identified for ten patients from their first post-transplant RHC and longitudinal analysis is done for five patients. Results of sensitivity analysis and subset selection show we can reliably estimate seven non-measurable quantities including ventricular diastolic relaxation, systemic resistance, pulmonary venous elastance, pulmonary resistance, pulmonary arterial elastance, pulmonary valve resistance and systemic arterial elastance. Changes in parameters and predicted cardiovascular function post-transplant are used to evaluate cardiovascular state during recovery in five patients. Of these five patients, only one patient showed inconsistent trends during recovery in ventricular pressure-volume relationships and power output. At a four-year recovery time point this patient exhibited biventricular failure along with graft dysfunction while the remaining four exhibited no cardiovascular complications.


title: Thermal Emission Spectroscopy for Single Nanoparticle Temperature Measurement: Optical System Design and Calibration

abstract: We discuss the design of an optical system that allows measurement of 600 nm to 1650 nm emission spectra for individual nanoparticles (NPs), laser heated in an electrodynamic trap in controlled atmospheres. An approach to calibration of absolute intensity vs. wavelength for very low emission intensities is discussed, and examples of NP graphite and carbon black spectra are used to illustrate the methodology.


title: A discrete version of CMA-ES

abstract: Modern machine learning uses more and more advanced optimization techniques to find optimal hyper parameters. Whenever the objective function is non-convex, non continuous and with potentially multiple local minima, standard gradient descent optimization methods fail. A last resource and very different method is to assume that the optimum(s), not necessarily unique, is/are distributed according to a distribution and iteratively to adapt the distribution according to tested points. These strategies originated in the early 1960s, named Evolution Strategy (ES) have culminated with the CMA-ES (Covariance Matrix Adaptation) ES. It relies on a multi variate normal distribution and is supposed to be state of the art for general optimization program. However, it is far from being optimal for discrete variables. In this paper, we extend the method to multivariate binomial correlated distributions. For such a distribution, we show that it shares similar features to the multi variate normal: independence and correlation is equivalent and correlation is efficiently modeled by interaction between different variables. We discuss this distribution in the framework of the exponential family. We prove that the model can estimate not only pairwise interactions among the two variables but also is capable of modeling higher order interactions. This allows creating a version of CMA ES that can accommodate efficiently discrete variables. We provide the corresponding algorithm and conclude.


title: An example of a stable but fibrewise nonstable bundle on the twistor space of a hyperk\"ahler manifold

abstract: We construct an explicit example of a stable bundle on the twistor space $\mathrm{Tw}(M)$ of a hyperk\"ahler manifold $M$ whose restrictions to all the fibres of the natural twistor projection $\pi : \mathrm{Tw}(M) \to \mathbb{CP}^1$ are nonstable. We also describe the relationship between bundles on $\mathrm{Tw}(M)$ that do not have subsheaves of strictly lower rank and bundles that stably restrict to the fibres of $\pi$, and announce a result whose proof will appear in a forthcoming paper.


title: Statistical properties of worm algorithms for two dimensional frustrated Ising models

abstract: We study the distribution of lengths and other statistical properties of worms constructed by Monte Carlo worm algorithms in the power-law three-sublattice ordered phase of frustrated triangular and kagome lattice Ising antiferromagnets. Viewing each step of the worm construction as a position increment (step) of a random walker, we demonstrate that the persistence exponent $\theta$ and the dynamical exponent $z$ of this random walk depend only on the universal power-law exponents of the underlying critical phase, and not on the details of the worm algorithm or the microscopic Hamiltonian. Further, we argue that the detailed balance criterion obeyed by such worm algorithms and the power-law correlations of the underlying equilibrium system together give rise to two related properties of this random walk: First, the steps of the walk are expected to be power-law correlated in time. Second, the position distribution of the walker relative to its starting point is given by the equilibrium position distribution of a particle in an attractive logarithmic central potential of strength $\eta_m$, where $\eta_m$ is the universal power-law exponent of the equilibrium defect-antidefect correlation function of the underlying spin system. We derive a scaling relation, $z = (2-\eta_m)/(1-\theta)$, that allows us to express the dynamical exponent $z(\eta_m)$ of this process in terms of its persistence exponent $\theta(\eta_m)$. Our measurements of $z(\eta_m)$ and $\theta(\eta_m)$ are consistent with this relation over a range of values of the universal equilibrium exponent $\eta_m$, and yield subdiffusive ($z>2$) values of $z$ in the entire range. Thus we demonstrate that the worms represent a discrete-time realization of a fractional Brownian motion characterized by these properties.


title: Photon sphere and phase transition of $d$-dimensional ($d\ge5$) charged Gauss-Bonnet AdS black holes

abstract: Motivated by recent work, nonmonotonic behaviours of photon sphere radius can be used to reflect black hole phase transition for Reissner-Nordstr$\ddot{o}$m-AdS (RN-AdS) black holes, we study the case of five-dimensional charged Gauss-Bonnet-AdS (GB-AdS) black holes in the reduced parameter space. We find that the nonmonotonic behaviours of photon sphere radius still exist. Using the coexistence line calculated from $P-V$ plane, we capture the photon sphere radius of saturated small and large black holes (the boundary of the coexistence phase), then illustrate the reduced coexistence region. The results show that, reduced coexistence region decreases with charge $Q$ but increases with Gauss-Bonnet coefficient $\alpha$. When the charge vanishes, reduced coexistence region doesn't vary with Gauss-Bonnet coefficient $\alpha$ any more. In this case, the Gauss-Bonnet coefficient $\alpha$ plays the same role as the charge of five-dimensional RN-AdS black holes. Also, the situation of higher dimension is studied in the end.


title: Exterior controllability properties of a nonlocal Moore--Gibson--Thompson equation

abstract: The three concepts of exact, null and approximate controllabilities are analyzed from the exterior of the Moore--Gibson--Thompson equation associated with the fractional Laplace operator subject to the nonhomogeneous Dirichlet type exterior condition.


title: The theorem that was none - II. The profound 70s

abstract: This second pedagogical installment on the history of the Vogt-Russell theorem focuses on research in the 1970s on the existence and uniqueness of star models. An appendix presents stellar evolution models, computed with the MESA code, in different approximations to emphasize points made in the main text.


title: The energy of random signed graph

abstract: A signed graph $\Gamma(G)$ is a graph with a sign attached to each of its edges, where $G$ is the underlying graph of $\Gamma(G)$. The energy of a signed graph $\Gamma(G)$ is the sum of the absolute values of the eigenvalues of the adjacency matrix $A(\Gamma(G))$ of $\Gamma(G)$. The random signed graph model $\mathcal{G}_n(p, q)$ is defined as follows: Let $p, q \ge 0$ be fixed, $0 \le p+q \le 1$. Given a set of $n$ vertices, between each pair of distinct vertices there is either a positive edge with probability $p$ or a negative edge with probability $q$, or else there is no edge with probability $1-(p+ q)$. The edges between different pairs of vertices are chosen independently. In this paper, we obtain an exact estimate of energy for almost all signed graphs. Furthermore, we establish lower and upper bounds to the energy of random multipartite signed graphs.


title: From Pixels to Buildings: End-to-end Probabilistic Deep Networks for Large-scale Semantic Mapping

abstract: We introduce TopoNets, end-to-end probabilistic deep networks for modeling semantic maps with structure reflecting the topology of large-scale environments. TopoNets build a unified deep network spanning multiple levels of abstraction and spatial scales, from pixels representing geometry of local places to high-level descriptions of semantics of buildings. To this end, TopoNets leverage complex spatial relations expressed in terms of arbitrary, dynamic graphs. We demonstrate how TopoNets can be used to perform end-to-end semantic mapping from partial sensory observations and noisy topological relations discovered by a robot exploring large-scale office spaces. Thanks to their probabilistic nature and generative properties, TopoNets extend the problem of semantic mapping beyond classification. We show that TopoNets successfully perform uncertain reasoning about yet unexplored space and detect novel and incongruent environment configurations unknown to the robot. Our implementation of TopoNets achieves real-time, tractable and exact inference, which makes these new deep models a promising, practical solution to mobile robot spatial understanding at scale.


title: $G_2$-instantons on noncompact $G_2$-manifolds: results and open problems

abstract: We survey the known existence and non-existence results for $G_2$-instantons on non-compact cohomogeneity-1 $G_2$-manifolds and their consequences, including an explicit example of a family of $G_2$-instantons where bubbling, removable singularities and conservation of energy phenomena occur. We also describe several open problems for future research.


title: Electric field switching of the uniaxial magnetic anisotropy of an antiferromagnet

abstract: Electric field control of magnetic anisotropy in ferromagnets has been intensively pursued in spintronics to achieve efficient memory and computing devices with low energy consumption. Compared with ferromagnets, antiferromagnets hold huge potential in high-density information storage for their ultrafast spin dynamics and vanishingly small stray field. However, the switching of magnetic anisotropy of antiferromagnets via electric field remains elusive. Here we use ferroelastic strain from piezoelectric materials to switch the uniaxial magnetic anisotropy and the N\'eel order reversibly in antiferromagnetic Mn2Au films with an electric field of only a few kV/cm at room temperature. Owing to the uniaxial magnetic anisotropy, a ratchet-like switching behavior driven by the N\'eel spin-orbit torque is observed in the Mn2Au, which can be reversed by electric fields.


title: Chebyshev coordinates and Salem numbers

abstract: By expressing polynomials in the basis of Chebyshev polynomials, certain families of hyperbolic polynomials appear naturally. Some of these families have all their roots in the interval $[-2,2]$. In many cases the span of the family of polynomials thus found is greater than 4, and we show that they are the minimal polynomials of Salem numbers, possibly multiplied by some cyclotomic polynomials. In addition, we show how to compute the limit of the largest and smallest roots.


title: The Schauder estimate for kinetic integral equations

abstract: We establish interior Schauder estimates for kinetic equations with integro-differential diffusion. We study equations of the form $f_t + v \cdot \nabla_x f = \mathcal L_v f + c$, where $\mathcal L_v$ is an integro-differential diffusion operator of order $2s$ acting in the $v$-variable. Under suitable ellipticity and H\"older continuity conditions on the kernel of $\mathcal L_v$, we obtain an a priori estimate for $f$ in a properly scaled H\"older space.


title: Numerical methods for the construction of linear waves structures on discrete orthogonal grids

abstract: We study the possibility for the implementation of linear wave structures on discrete grids with various dimensions. The systems of the first order differential equations for the set of virtual functions, describing the wave propagation, are derived for different spectral zones. We are particularly interested in the spectral regions which are localized near the lowest and the maximal frequencies, as well as in the vicinity of a central frequency. The cases of discrete orthogonal grids with dimensions from 1 to 4 are analyzed. The possibility of the propagation of waves in the considered situations is substantiated by numerical simulations.


title: A rainbow version of Mantel's Theorem

abstract: Mantel's Theorem asserts that a simple $n$ vertex graph with more than $\frac{1}{4}n^2$ edges has a triangle (three mutually adjacent vertices). Here we consider a rainbow variant of this problem. We prove that whenever $G_1, G_2, G_3$ are simple graphs on a common set of $n$ vertices and $|E(G_i)| > ( \frac{ 26 - 2 \sqrt{7} }{81})n^2 \approx 0.2557 n^2$ for $1 \le i \le 3$, then there exist distinct vertices $v_1,v_2,v_3$ so that (working with the indices modulo 3) we have $v_i v_{i+1} \in E(G_i)$ for $1 \le i \le 3$. We provide an example to show this bound is best possible. This also answers a question of Diwan and Mubayi. We include a new short proof of Mantel's Theorem we obtained as a byproduct.


title: Oxygen-vacancy centers in Y3Al5O12 garnet crystals: electron paramagnetic resonance and dielectric spectroscopy study

abstract: F+ center, an electron trapped at oxygen vacancy (VO), was investigated in the oxygen deficient Y3Al5O12 (YAG) crystals by EPR. The measurements were performed at temperatures 5-450 K and frequencies 9.4-350 GHz with using both the continue wave and pulse EPR technique. The pulse electron-nuclear double resonance was applied to resolve the hyperfine interaction of the trapped electron with surrounding nuclei. The measurements show that at low temperatures, T < 50 K, EPR spectrum of the F+ center is anisotropic with g factors in the range 1.999-1.988 and originates from three magnetically inequivalent positions of the center in garnet lattice according to different directions of the Al(IV)-VO-Al(VI) chains, where Al(IV) and Al(VI) are the tetrahedral and octahedral Al sites, respectively. As the temperature increases, the EPR spectrum becomes isotropic suggesting a motional averaging of the anisotropy due to motion of electron between neighboring oxygen vacancies. With further increase of the temperature to T > 200 K, we observed delocalization of the electron into the conduction band with the activation energy about 0.4-0.5 eV that resulted in substantial narrowing of the EPR spectral line with simultaneous change of its shape from the Gaussian to Lorentzian due to diminish up to zero of the Fermi contact hyperfine field at 27Al and 89Y nuclei. Such temperature behavior of the F+-center electron in YAG is completely similar to behavior of a donor electron in a semiconductor. Our findings is further supported by measurements of the conductivity and dielectric properties. In particular, these data show that the conduction electrons are not homogeneously distributed in the crystal: there are high-conductive regions separated by poorly-conductive dielectric layers. This leads to the so-called Maxwell-Wagner dielectric relaxation with huge apparent dielectric constant at low frequencies.


title: Complete solutions of certain Lebesgue-Ramanujan-Nagell type equations

abstract: It is well-known that for $p=1, 2, 3, 7, 11, 19, 43, 67, 163$, the class number of $\mathbb{Q}(\sqrt{-p})$ is one. We use this fact to determine all the solutions of $x^2+p^m=4y^n$ in non-negative integers $x, y, m$ and $n$.


title: Full-speed Fuzzing: Reducing Fuzzing Overhead through Coverage-guided Tracing

abstract: Of coverage-guided fuzzing's three main components: (1) testcase generation, (2) code coverage tracing, and (3) crash triage, code coverage tracing is a dominant source of overhead. Coverage-guided fuzzers trace every testcase's code coverage through either static or dynamic binary instrumentation, or more recently, using hardware support. Unfortunately, tracing all testcases incurs significant performance penalties---even when the overwhelming majority of testcases and their coverage information are discarded because they do not increase code coverage. To eliminate needless tracing by coverage-guided fuzzers, we introduce the notion of coverage-guided tracing. Coverage-guided tracing leverages two observations: (1) only a fraction of generated testcases increase coverage, and thus require tracing; and (2) coverage-increasing testcases become less frequent over time. Coverage-guided tracing works by encoding the current frontier of code coverage in the target binary so that it self-reports when a testcase produces new coverage---without tracing. This acts as a filter for tracing; restricting the expense of tracing to only coverage-increasing testcases. Thus, coverage-guided tracing chooses to tradeoff increased coverage-increasing-testcase handling time for the ability to execute testcases initially at native speed. To show the potential of coverage-guided tracing, we create an implementation based on the static binary instrumentor Dyninst called UnTracer. We evaluate UnTracer using eight real-world binaries commonly used by the fuzzing community. Experiments show that after only an hour of fuzzing, UnTracer's average overhead is below 1%, and after 24-hours of fuzzing, UnTracer approaches 0% overhead, while tracing every testcase with popular white- and black-box-binary tracers AFL-Clang, AFL-QEMU, and AFL-Dyninst incurs overheads of 36%, 612%, and 518%, respectively.


title: Time evolution of matrix product operators with energy conservation

abstract: We devise a numerical scheme for the time evolution of matrix product operators by adapting the time-dependent variational principle for matrix product states [J. Haegeman et al, Phys. Rev. B 94, 165116 (2016)]. A simple augmentation of the initial operator $\mathcal{O}$ by the Hamiltonian $H$ helps to conserve the average energy $\mathrm{tr}[H \mathcal{O}(t)]$ in the numerical scheme and increases the overall precision. As demonstration, we apply the improved method to a random operator on a small one-dimensional lattice, using the spin-1 Heisenberg XXZ model Hamiltonian; we observe that the augmentation reduces the trace-distance to the numerically exact time-evolved operator by a factor of 10, at the same computational cost.


title: Vanadium in yttrium aluminum garnet: charge states and localization in the lattice

abstract: Vanadium ions charge states and their incorporation in the yttrium aluminum garnet Y3Al5O12 (YAG) lattice were studied by the correlated optical absorption and electron paramagnetic resonance (EPR) measurements. In as-grown crystals, the occupation of the V3+ at both the octahedral and tetrahedral aluminum sites was proven. The V3+ to V4+ charge transformation was observed after annealing in air, whereas annealing in the hydrogen atmosphere resulted exclusively in a slight weakening of the V3+ absorption bands due to partial recharge of these ions. Spin Hamiltonian parameters of the V3+ and V4+ ions at the tetrahedral sites including the zero field splitting and the 51V hyperfine constants have been determined using the high-frequency, up to 300 GHz, EPR measurements. From the analysis of the spin Hamiltonian parameters in the framework of the crystal field theory, the ground state energy levels splitting of the V3+ and V4+ ions were calculated. The charge distribution over the tetrahedral V3+ and its nearest oxygen surroundings was found to be strongly inhomogeneous whereas the tetrahedral V4+ ion concentrated the charge with very weak participation of surrounding ligands. Furthermore, the correlation of the optical and EPR data allowed the proper assignment of the optical absorption peaks in YAG:V crystals.


title: Optimal local estimates of visual motion in a natural environment

abstract: Many organisms, from flies to humans, use visual signals to estimate their motion through the world. To explore the motion estimation problem, we have constructed a camera/gyroscope system that allows us to sample, at high temporal resolution, the joint distribution of input images and rotational motions during a long walk in the woods. From these data we construct the optimal estimator of velocity based on spatial and temporal derivatives of image intensity in small patches of the visual world. Over the bulk of the naturally occurring dynamic range, the optimal estimator exhibits the same systematic errors seen in neural and behavioral responses, including the confounding of velocity and contrast. These results suggest that apparent errors of sensory processing may reflect an optimal response to the physical signals in the environment.


title: Topological Aspects of Matters and Langlands Program

abstract: The Langlands program is a vast mathematical projection linking number theory and geometry. In high-energy physics, a connection with mirror symmetry has been suggested in string theory, but it has been little studied in low-energy physics. In the framework of the Langlands program, we present a unified description of the integer and fractional quantum Hall effect and the duality found in the fractal nature of the energy spectrum of two-dimensional block electrons, statistical physics, and quantum computation. The new unified view of existing dualism presented in this paper raises the entirely new question of how each theory of physics is connected as a piece of the Langlands program.

categories: cond-mat.mes-hall hep-th math-ph math.MP quant-ph


title: On the zeros of sum from n=1 to 00 of lambda_P(n)/n^s

abstract: Our main result is to answer a question of Michel Balazard by giving a Dirichlet series with only one zero in its half-plane of convergence. At the end of the paper we also give several sufficient conditions for the Generalized Riemann Hypothesis and ask if any of them are true.


title: Probing interface localization-delocalization transitions by colloids

abstract: Interface localization-delocalization transitions (ILDT) occur in two-phase fluids confined in a slit with competing preferences of the walls for the two fluid phases. At low temperatures the interface between the two phases is localized at one of the walls. Upon increasing temperature it unbinds. Although intensively studied theoretically and computationally, such transitions have not yet been observed experimentally due to severe challenges in resolving fine details of the fluid structure. Here, using mean field theory and Monte Carlo simulations of the Ising model, we propose to detect these ILDT by using colloids. We show that the finite-size and fluctuation induced force acting on a colloid confined in such a system experiences a vivid change if, upon lowering the temperature, the interface localizes at one of the walls. This change can serve as a more easily accessible experimental indicator of the transition.


title: On properties of square-free elements in commutative cancellative monoids

abstract: We discuss various square-free factorizations in monoids in the context of: atomicity, ascending chain condition for principal ideals, decomposition, and a greatest common divisor property. Moreover, we obtain a full characterization of submonoids of factorial monoids in which all square-free elements of a submonoid are square-free in a monoid. We also present factorial properties implying that all atoms of a submonoid are square-free in a monoid.


title: Cayley-Klein Poisson homogeneous spaces

abstract: The nine two-dimensional Cayley-Klein geometries are firstly reviewed by following a graded contraction approach. Each geometry is considered as a set of three symmetrical homogeneous spaces (of points and two kinds of lines), in such a manner that the graded contraction parameters determine their curvature and signature. Secondly, new Poisson homogeneous spaces are constructed by making use of certain Poisson-Lie structures on the corresponding motion groups. Therefore, the quantization of these spaces provides noncommutative analogues of the Cayley-Klein geometries. The kinematical interpretation for the semi-Riemannian and pseudo-Riemannian Cayley-Klein geometries is emphasized, since they are just Newtonian and Lorentzian spacetimes of constant curvature.


title: Estimating information in time-varying signals

abstract: Across diverse biological systems -- ranging from neural networks to intracellular signaling and genetic regulatory networks -- the information about changes in the environment is frequently encoded in the full temporal dynamics of the network nodes. A pressing data-analysis challenge has thus been to efficiently estimate the amount of information that these dynamics convey from experimental data. Here we develop and evaluate decoding-based estimation methods to lower bound the mutual information about a finite set of inputs, encoded in single-cell high-dimensional time series data. For biological reaction networks governed by the chemical Master equation, we derive model-based information approximations and analytical upper bounds, against which we benchmark our proposed model-free decoding estimators. In contrast to the frequently-used k-nearest-neighbor estimator, decoding-based estimators robustly extract a large fraction of the available information from high-dimensional trajectories with a realistic number of data samples. We apply these estimators to previously published data on Erk and Ca signaling in mammalian cells and to yeast stress-response, and find that substantial amount of information about environmental state can be encoded by non-trivial response statistics even in stationary signals. We argue that these single-cell, decoding-based information estimates, rather than the commonly-used tests for significant differences between selected population response statistics, provide a proper and unbiased measure for the performance of biological signaling networks.


title: Generalisations of the Harer-Zagier recursion for 1-point functions

abstract: Harer and Zagier proved a recursion to enumerate gluings of a $2d$-gon that result in an orientable genus $g$ surface, in their work on Euler characteristics of moduli spaces of curves. Analogous results have been discovered for other enumerative problems, so it is natural to pose the following question: how large is the family of problems for which these so-called 1-point recursions exist? In this paper, we prove the existence of 1-point recursions for a class of enumerative problems that have Schur function expansions. In particular, we recover the Harer-Zagier recursion, but our methodology also applies to the enumeration of dessins d'enfant, to Bousquet-M\'{e}lou-Schaeffer numbers, to monotone Hurwitz numbers, and more. On the other hand, we prove that there is no 1-point recursion that governs simple Hurwitz numbers. Our results are effective in the sense that one can explicitly compute particular instances of 1-point recursions, and we provide several examples. We conclude the paper with a brief discussion and a conjecture relating 1-point recursions to the theory of topological recursion.


title: RF Jamming Classification using Relative Speed Estimation in Vehicular Wireless Networks

abstract: Wireless communications are vulnerable against radio frequency (RF) jamming which might be caused either intentionally or unintentionally. A particular subset of wireless networks, vehicular ad-hoc networks (VANET) which incorporate a series of safety-critical applications, may be a potential target of RF jamming with detrimental safety effects. To ensure secure communication and defend it against this type of attacks, an accurate detection scheme must be adopted. In this paper we introduce a detection scheme that is based on supervised learning. The machine-learning algorithms, KNearest Neighbors (KNN) and Random Forests (RF), utilize a series of features among which is the metric of the variations of relative speed (VRS) between the jammer and the receiver that is passively estimated from the combined value of the useful and the jamming signal at the receiver. To the best of our knowledge, this metric has never been utilized before in a machine-learning detection scheme in the literature. Through offline training and the proposed KNN-VRS, RF-VRS classification algorithms, we are able to efficiently detect various cases of Denial of Service Attacks (DoS) jamming attacks, differentiate them from cases of interference as well as foresee a potential danger successfully and act accordingly.


title: Quench dynamics and defects formation in the Ising chain in a transverse magnetic field

abstract: We study analytically and numerically quench dynamics and defects formation in the quantum Ising model in the presence of a time-dependent transverse magnetic field. We generalize the Landau-Ziner formula to the case of non-adiabatic evolution of the quantum system. For a quasi-static magnetic field, with a slow dependence on time, our outcomes are similar to the results predicted by the Landau-Zener formula. However, a quench dynamics under a shock-wave load is more complicated. The final state of the system depends on the amplitude and pulse velocity, resulting in the mixture of ground and excited states and significant density of defects.


title: Jacobians of $W^{1,p}$ homeomorphisms, case $p=[n/2]$

abstract: We investigate a known problem whether a Sobolev homeomorphism between domains in $\mathbb{R}^n$ can change sign of the Jacobian. The only case that remains open is when $f\in W^{1,[n/2]}$, $n\geq 4$. We prove that if $n\geq 4$, and a sense-preserving homeomorphism $f$ satisfies $f\in W^{1,[n/2]}$, $f^{-1}\in W^{1,n-[n/2]-1}$ and either $f$ is H\"older continuous on almost all spheres of dimension $[n/2]$, or $f^{-1}$ is H\"older continuous on almost all spheres of dimensions $n-[n/2]-1$, then the Jacobian of $f$ is non-negative, $J_f\geq 0$, almost everywhere. This result is a consequence of a more general result proved in the paper. Here $[x]$ stands for the greatest integer less than or equal to $x$.


title: Hybrid equation of state with pasta phases and third family of compact stars

abstract: The effect of pasta phases on the quark-hadron phase transition is investigated for a set of relativistic mean-field equations of state for both hadron and quark matter. The results of the full numerical solution with pasta phases are compared with those of an interpolating construction used in previous works, for which we demonstrate an adequate description of the numerical results. A one-to-one mapping of the free parameter of the construction to the physical surface tension of the quark-hadron interface is obtained for which a fit formula is given. For each pair of quark and hadron matter models the critical value of the surface tension is determined, above which the phase transition becomes close to the Maxwell construction. This result agrees well with earlier theoretical estimates. The study is extended to neutron star matter in beta equilibrium with electrons and muons and is applied to investigate the effect of pasta phases on the structure of hybrid compact stars and the robustness of a possible third family solution.


title: Phase shift in atom interferometers: corrections for non-quadratic potentials and finite-duration laser pulses

abstract: We derive an expression for the phase shift of an atom interferometer in a gravitational field taking into account both the finite duration of the light pulses and the effect of a small perturbing potential added to a stronger uniform gravitational field, extending the well-known results for rectangular pulses and at most quadratic potentials. These refinements are necessary for a correct analysis of present day high resolution interferometers.


title: How did Donald Trump Surprisingly Win the 2016 United States Presidential Election? an Information-Theoretic Perspective (Clean Sensing for Big Data Analytics:Optimal Strategies,Estimation Error Bounds Tighter than the Cram\'{e}r-Rao Bound)

abstract: Donald Trump was lagging behind in nearly all opinion polls leading up to the 2016 US presidential election, but he surprisingly won the election. This raises the following important questions: 1) why most opinion polls were not accurate in 2016? and 2) how to improve the accuracies of opinion polls? In this paper, we study the inaccuracies of opinion polls in the 2016 election through the lens of information theory. We first propose a general framework of parameter estimation, called clean sensing (polling), which performs optimal parameter estimation with sensing cost constraints, from heterogeneous and potentially distorted data sources. We then cast the opinion polling as a problem of parameter estimation from potentially distorted heterogeneous data sources, and derive the optimal polling strategy using heterogenous and possibly distorted data under cost constraints. Our results show that a larger number of data samples do not necessarily lead to better polling accuracy, which give a possible explanation of the inaccuracies of opinion polls in 2016. The optimal sensing strategy should instead optimally allocate sensing resources over heterogenous data sources according to several factors including data quality, and, moreover, for a particular data source, it should strike an optimal balance between the quality of data samples, and the quantity of data samples. As a byproduct of this research, in a general setting, we derive a group of new lower bounds on the mean-squared errors of general unbiased and biased parameter estimators. These new lower bounds can be tighter than the classical Cram\'{e}r-Rao bound (CRB) and Chapman-Robbins bound. Our derivations are via studying the Lagrange dual problems of certain convex programs. The classical Cram\'{e}r-Rao bound and Chapman-Robbins bound follow naturally from our results for special cases of these convex programs.

categories: cs.IT cs.LG eess.SP math.IT math.OC stat.ML


title: Matters of Gravity: The Newsletter of the Division of Gravitational Physics of the American Physical Society. Number 52. December 2018

abstract: we hear that..., by David Garfinkle APS April Meeting, by David Garfinkle


title: Some new characterizations of intrinsic transversality in Hilbert spaces

abstract: Motivated by a number of research questions concerning transversality-type properties of pairs of sets recently raised by Ioffe and Kruger, this paper reports several new characterizations of the intrinsic transversality property in Hilbert spaces. Our dual space results clarify the picture of intrinsic transversality, its variants and the only existing sufficient dual condition for subtransversality, and actually unify them. New primal space characterizations of the intrinsic transversality which is originally a dual space condition lead to new understanding of the property in terms of primal space elements for the first time. As a consequence, the obtained analysis allows us to address a number of research questions asked by the two aforementioned researchers about the intrinsic transversality property in the Hilbert space setting.


title: Accurate, Data-Efficient, Unconstrained Text Recognition with Convolutional Neural Networks

abstract: Unconstrained text recognition is an important computer vision task, featuring a wide variety of different sub-tasks, each with its own set of challenges. One of the biggest promises of deep neural networks has been the convergence and automation of feature extractors from input raw signals, allowing for the highest possible performance with minimum required domain knowledge. To this end, we propose a data-efficient, end-to-end neural network model for generic, unconstrained text recognition. In our proposed architecture we strive for simplicity and efficiency without sacrificing recognition accuracy. Our proposed architecture is a fully convolutional network without any recurrent connections trained with the CTC loss function. Thus it operates on arbitrary input sizes and produces strings of arbitrary length in a very efficient and parallelizable manner. We show the generality and superiority of our proposed text recognition architecture by achieving state of the art results on seven public benchmark datasets, covering a wide spectrum of text recognition tasks, namely: Handwriting Recognition, CAPTCHA recognition, OCR, License Plate Recognition, and Scene Text Recognition. Our proposed architecture has won the ICFHR2018 Competition on Automated Text Recognition on a READ Dataset.


title: An overview of $(\kappa,\tau)$-regular sets and their applications

abstract: A ($\kappa$,$\tau$)-regular set is a vertex subset S inducing a $\kappa$-regular subgraph such that every vertex out of S has $\tau$ neighbors in S. This article is an expository overview of the main results obtained for graphs with ($\kappa$,$\tau$)-regular sets. The graphs with classical combinatorial structures, like perfect matchings, Hamilton cycles, efficient dominating sets, etc, are characterized by ($\kappa$,$\tau$)-regular sets whose determination is equivalent to the determination of those classical combinatorial structures. The characterization of graphs with these combinatorial structures are presented. The determination of ($\kappa$,$\tau$)-regular sets in a finite number of steps is deduced and the main spectral properties of these sets are described.


title: Approximately Optimal Mechanism Design

abstract: Optimal mechanism design enjoys a beautiful and well-developed theory, and also a number of killer applications. Rules of thumb produced by the field influence everything from how governments sell wireless spectrum licenses to how the major search engines auction off online advertising. There are, however, some basic problems for which the traditional optimal mechanism design approach is ill-suited---either because it makes overly strong assumptions, or because it advocates overly complex designs. This survey reviews several common issues with optimal mechanisms, including exorbitant communication, computation, and informational requirements; and it presents several examples demonstrating that passing to the relaxed goal of an approximately optimal mechanism allows us to reason about fundamental questions that seem out of reach of the traditional theory.


title: Sharp asymptotic behavior of solutions of the $3d$ Vlasov-Maxwell system with small data

abstract: We study the asymptotic properties of the small data solutions of the Vlasov-Maxwell system in dimension three. No neutral hypothesis nor compact support assumptions are made on the data. In particular, the initial decay in the velocity variable is optimal. We use vector field methods to obtain sharp pointwise decay estimates in null directions on the electromagnetic field and its derivatives. For the Vlasov field and its derivatives, we obtain optimal pointwise decay estimates by a vector field method where the commutators are modification of those of the free relativistic transport equation. In order to control high velocities and to deal with non integrable source terms, we make fundamental use of the null structure of the system and of several hierarchies in the commuted equations.


title: A silicon photonic modulator neuron

abstract: There has been a recently renewed interest in neuromorphic photonics, a field promising to access pivotal and unexplored regimes of machine intelligence. Progress has been made on isolated neurons and analog interconnects; nevertheless, this renewal has yet to produce a demonstration of a silicon photonic neuron capable of interacting with other like neurons. We report a modulator-class photonic neuron fabricated in a conventional silicon photonic process line. We demonstrate behaviors of transfer function configurability, fan-in, inhibition, time-resolved processing, and, crucially, autaptic cascadability -- a sufficient set of behaviors for a device to act as a neuron participating in a network of like neurons. The silicon photonic modulator neuron constitutes the final piece needed to make photonic neural networks fully integrated on currently available silicon photonic platforms.


title: The path from finite to infinite volume: Hadronic observables from lattice QCD

abstract: Standard Model determinations of properties of strongly interacting systems of hadrons have become possible with the powerful method of lattice quantum chromodynamics (LQCD), a method with growing applicability and reliability. While growth in computational power and innovations in algorithmic and computational approaches have been essential in advancing the state of the field, conceptual and formal developments have played a crucial role in turning the output of LQCD computations to phenomenologically valuable results. From the invention of finite-volume technology to access physical observables by Martin L\"uscher over three decades ago to date, this field has grown in scope and complexity, enabling studies of scattering amplitudes and reaction rates, as well as spectroscopy of excited states of quantum chromodynamics (QCD) and resonances. Further, LQCD studies are augmented with the inclusion of quantum electrodynamics (QED), and subtleties related to the finite volume of systems in presence of QED have been understood and largely controlled. In this talk, I focus on selected developments to give a taste of the status of the field concerning the mapping between the finite and infinite-volume physics and its state-of-the-art applications.


title: Developing Cyber Buffer Zones

abstract: The United Nations conducts peace operations around the world, aiming tomaintain peace and security in conflict torn areas. Whilst early operations werelargely successful, the changing nature of warfare and conflict has often left peaceoperations strugglingto adapt. In this article, we make a contribution towardsefforts to plan for the next evolution in both intra and inter-state conflict: cyberwarfare. It is now widely accepted that cyber warfare will be a component offuture conflicts, and much researchhas been devoted to how governments andmilitaries can prepare for and fight in this new domain [1]. Despite the vastamount of research relating to cyber warfare, there has been less discussion onits impact towards successful peace operations. This is agap in knowledge thatis important to address, since the restoration of peace following conflict of anykind is of global importance. It is however a complex topic requiring discussionacross multiple domains. Input from the technical, political, governmental andsocietal domains are critical in forming the concept of cyber peacekeeping.Previous work on this topic has sought to define the concept of cyber peacekeeping[2, 3, 4]. We build upon this work by exploring the practicalities ofstarting up a cyber peacekeeping component and setting up a Cyber Buffer Zone (CBZ).


title: Large-Scale Object Detection of Images from Network Cameras in Variable Ambient Lighting Conditions

abstract: Computer vision relies on labeled datasets for training and evaluation in detecting and recognizing objects. The popular computer vision program, YOLO ("You Only Look Once"), has been shown to accurately detect objects in many major image datasets. However, the images found in those datasets, are independent of one another and cannot be used to test YOLO's consistency at detecting the same object as its environment (e.g. ambient lighting) changes. This paper describes a novel effort to evaluate YOLO's consistency for large-scale applications. It does so by working (a) at large scale and (b) by using consecutive images from a curated network of public video cameras deployed in a variety of real-world situations, including traffic intersections, national parks, shopping malls, university campuses, etc. We specifically examine YOLO's ability to detect objects in different scenarios (e.g., daytime vs. night), leveraging the cameras' ability to rapidly retrieve many successive images for evaluating detection consistency. Using our camera network and advanced computing resources (supercomputers), we analyzed more than 5 million images captured by 140 network cameras in 24 hours. Compared with labels marked by humans (considered as "ground truth"), YOLO struggles to consistently detect the same humans and cars as their positions change from one frame to the next; it also struggles to detect objects at night time. Our findings suggest that state-of-the art vision solutions should be trained by data from network camera with contextual information before they can be deployed in applications that demand high consistency on object detection.


title: {\omega}/T scaling and magnetic quantum criticality in BaFe2(As0.7P0.3)2

abstract: We used transport and inelastic neutron scattering to study the optimally phosphorus-doped BaFe$_2$(As$_{0.7}$P$_{0.3}$)$_2$ superconductor ($T_c = 30$ K). In the normal state, we find that the previously reported linear temperature dependence of the resistivity below room temperature extends to $\sim$ 500 K. Our analysis of the temperature and energy ($E=\hbar\omega$) dependence of spin dynamical susceptibility at the antiferromagnetic (AF) ordering wave vector $\chi^{\prime\prime}({\bf Q}_{\rm AF},\omega)$ reveal an $\omega / T$ scaling within $1.1<E/k_BT<110$. These results suggest that the linear temperature dependence of the resistivity is due to the presence of a magnetic quantum critical point in the cleanest iron pnictides near optimal superconductivity. Moreover, the results reconcile the strange-metal temperature dependences with the weakly first-order nature of the quantum transition out of the AF and nematic orders.


title: Randomized Rumor Spreading in Ad Hoc Networks with Buffers

abstract: The randomized rumor spreading problem generates a big interest in the area of distributed algorithms due to its simplicity, robustness and wide range of applications. The two most popular communication paradigms used for spreading the rumor are Push and Pull algorithms. The former protocol allows nodes to send the rumor to a randomly selected neighbor at each step, while the latter is based on sending a request and downloading the rumor from a randomly selected neighbor, provided the neighbor has it. Previous analysis of these protocols assumed that every node could process all such push/pull operations within a single step, which could be unrealistic in practical situations. Therefore we propose a new framework for analysis rumor spreading accommodating buffers, in which a node can process only one push/pull message or push request at a time. We develop upper and lower bounds for randomized rumor spreading time in the new framework, and compare the results with analogous in the old framework without buffers.


title: Coarse--graining and hints of scaling in a population of 1000+ neurons

abstract: In many systems we can describe emergent macroscopic behaviors, quantitatively, using models that are much simpler than the underlying microscopic interactions; we understand the success of this simplification through the renormalization group. Could similar simplifications succeed in complex biological systems? We develop explicit coarse-graining procedures that we apply to experimental data on the electrical activity in large populations of neurons in the mouse hippocampus. Probability distributions of coarse-grained variables seem to approach a fixed non-Gaussian form, and we see evidence of power-law dependencies in both static and dynamic quantities as we vary the coarse-graining scale over two decades. Taken together, these results suggest that the collective behavior of the network is described by a non-trivial fixed point.


title: On the orthogonal democratic systems in the $L^p$ spaces

abstract: The concept of bidemocratic pair for a Banach space was introduced in \cite{KS:18}. We construct a family of orthonormal systems $\mathfrak{F}_{l},$ $l\in (0,\infty)$ of functions defined on $[-1,1]$ such that the pair $(\mathfrak{F}_{l},\mathfrak{F}_{l})$ is bidemocratic for $L^{p}[-1,1]$ and for $L^{p'}[-1,1]$ if $l\in (0, \frac{p}{2(p-2)}]$, where $p>2$ and $p'= \frac{p}{p-1}$. The system $\mathfrak{F}_{l}$ is not democratic for $L^{p'}[-1,1]$ when $l\in (\frac{p}{2(p-2)}, \frac{p}{p-2}). $ When $l> \frac{p}{2(p-2)}$ the pair $(\mathfrak{F}_{l},\mathfrak{F}_{l})$ is not bidemocratic neither for $L^{p}[-1,1]$ nor for $L^{p'}[-1,1]$.


title: Seismic performance

abstract: Asteroseismology is a unique tool that can be used to study the interior of stars and hence deliver unique information for the studiy of stellar physics, stellar evolution, and Galactic archaeology. We aim to develop a simple model of the information content of asteroseismology and to characterize the ability and precision with which fundamental properties of stars can be estimated for different space missions. We defined and calibrated metrics of the seismic performance. The metrics, expressed by a seismic index ${\mathcal{E}$ defined by simple scaling relations, are calculated for an ensemble of stars. We studied the relations between the properties of mission observations, fundamental stellar properties, and the performance index. We also defined thresholds for asteroseismic detection and measurement of different stellar properties We find two regimes of asteroseismic performance: the first where the signal strength is dominated by stellar properties and not by observational noise; and the second where observational properties dominate. Typically, for evolved stars, stellar properties provide the dominant terms in estimating the information content, while main sequence stars fall in the regime where the observational properties, especially stellar magnitude, dominate. We estimate scaling relations to predict ${\mathcal{E}$ with an intrinsic scatter of around 21%. Incidentally, the metrics allow us to distinguish stars burning either hydrogen or helium. Our predictions will help identify the nature of the cohort of existing and future asteroseismic observations. In addition, the predicted performance for PLATO will help define optimal observing strategies for defined scientific goals.


title: Exoplanets in the Antarctic Sky. I. The First Data Release of AST3-II (CHESPA) and New Found Variables within the Southern CVZ of TESS

abstract: Located at Dome A, the highest point of the Antarctic plateau, the Chinese Kunlun station is considered to be one of the best ground-based photometric sites because of its extremely cold, dry, and stable atmosphere(Saunders et al. 2009). A target can be monitored from there for over 40 days without diurnal interruption during a polar winter. This makes Kunlun station a perfect site to search for short-period transiting exoplanets. Since 2008, an observatory has been built at Kunlun station and three telescopes are working there. Using these telescopes, the AST3 project has been carried out over the last six years with a search for transiting exoplanets as one of its key programs (CHESPA). In the austral winters of 2016 and 2017, a set of target fields in the Southern CVZ of TESS (Ricker et al. 2009) were monitored by the AST3-II telescope. In this paper, we introduce the CHESPA and present the first data release containing photometry of 26,578 bright stars (m_i < 15). The best photometric precision at the optimum magnitude for the survey is around 2 mmag. To demonstrate the data quality, we also present a catalog of 221 variables with a brightness variation greater than 5 mmag from the 2016 data. Among these variables, 179 are newly identified periodic variables not listed in the AAVSO databasea), and 67 are listed in the Candidate Target List(Stassun et al. 2017). These variables will require careful attention to avoid false-positive signals when searching for transiting exoplanets. Dozens of new transiting exoplanet candidates will be also released in a subsequent paper(Zhang et al. 2018b).


title: Structure of Higher Genus Gromov-Witten Invariants of Quintic 3-folds

abstract: There is a set of remarkable physical predictions for the structure of BCOV's higher genus B-model of mirror quintic 3-folds which can be viewed as conjectures for the Gromov-Witten theory of quintic 3-folds. They are (i) Yamaguchi--Yau's finite generation, (ii) the holomorphic anomaly equation, (iii) the orbifold regularity and (iv) the conifold gap condition. Moreover, these properties are expected to be universal properties for all the Calabi-Yau 3-folds. This article is devoted to proving first three conjectures. The main geometric input to our proof is a log GLSM moduli space and the comparison formula between its reduced virtual cycle (reproducing Gromov--Witten invariants of quintic 3-folds) and its nonreduced virtual cycle. Our starting point is a Combinatorial Structural Theorem expressing the Gromov-Witten cohomological field theory as an action of a generalized $R$-matrix in the sense of Givental. An $R$-matrix computation implies a graded finite generation property. Our graded finite generation implies Yamaguchi-Yau's (nongraded) finite generation, as well as the orbifold regularity. By differentiating the Combinatorial Structural Theorem carefully, we derive the holomorphic anomaly equations. Our technique is purely A-model theoretic and does not assume any knowledge of B-model. Finally, above structural theorems hold for a family of theories (the extended quintic family) including the theory of quintic as a special case.


title: Enhancement of axion decay constants in type IIA theory?

abstract: We investigate the possibility of enhancement of effective axion decay constant in well controlled constructions in string theory. To this end, we study the dynamics of axions arising in the compactifications of type IIA string theory on Calabi-Yau orientifolds with background fluxes (with non-perturbative effects included to ensure stabilization of all moduli). In this setup, we attempt to obtain large effective axion decay constant in two different ways: by searching for a direction in field space in which the potential is sufficiently flat and by arriving at a very explicit stringy embedding of the Kim-Nilles-Peloso (KNP) alignment mechanism. We do not find super-Planckian effective decay constants by either of the approaches. Furthermore, we find that the alignment angle of KNP mechanism can not be made arbitrarily small by adjusting the fluxes.


title: A remark about the anomalies of cyclic holomorphic permutation orbifolds

abstract: Using a result of Longo and Xu, we show that the anomaly arising from a cyclic permutation orbifold of order 3 of a holomorphic conformal net $\mathcal A$ with central charge $c=8k$ depends on the "gravitational anomaly" $k\pmod 3$. In particular, the conjecture that holomorphic permutation orbifolds are non-anomalous and therefore a stronger conjecture of M\"uger about braided crossed $S_n$-categories arising from permutation orbifolds of completely rational conformal nets are wrong. More general, we show that cyclic permutations of order $n$ are non-anomalous if and only if $3\nmid n$ or $24|c$. We also show that all cyclic permutation gaugings of $\mathrm{Rep}(\mathcal A)$ arise from conformal nets.


title: Ab initio calculations of permanent dipole moments and dipole polarizabilities of alkaline-earth monofluorides

abstract: The ground-state permanent dipole moments (PDMs) and molecular dipole polarizabilities (DPs) of open-shell alkaline-earth monofluorides, and atomic DPs of alkaline-earth- and fluorine atoms are reported at the Kramers-restricted configuration interaction level of theory limited to single- and double excitations (KRCISD), using the finite-field approach. Sufficiently large basis sets such as quadruple-zeta (QZ) and augmented-QZ basis sets together with the generalized active space technique is employed to carry out the field dependent energy calculations at the KRCISD level. The PDMs and the components of DPs are extracted from the linear- and quadratic fit of energies against perturbative electric field, respectively. Accuracy of the present calculations for the electronic properties is examined by comparison with the measurements and calculations where ever available.


title: A gap-protected zero-Hall effect state in the quantum limit of the nonsymmorphic metal KHgSb

abstract: A recurring theme in topological matter is the protection of unusual electronic states by symmetry, for example, protection of the surface states in Z2 topological insulators by time reversal symmetry [1-3]. Recently interest has turned to unusual surface states in the large class of nonsymmorphic materials [4-11]. In particular KHgSb is predicted to exhibit double quantum spin Hall (QSH) states [10]. Here we report observation of a novel feature of the Hall conductivity in KHgSb in strong magnetic field B. In the quantum limit, the Hall conductivity is observed to fall exponentially to zero, but the diagonal conductivity is finite. A large gap protects this unusual zero-Hall state. We propose that, in this limit, the chemical potential drops into the bulk gap, intersecting equal numbers of right and left-moving QSH surface modes to produce the zero-Hall state.


title: Relative Calabi-Yau structures II: Shifted Lagrangians in the moduli of objects

abstract: We show that a Calabi-Yau structure of dimension $d$ on a smooth dg category $C$ induces a symplectic form of degree $2-d$ on the moduli space of objects $M_{C}$. We show moreover that a relative Calabi-Yau structure on a dg functor $C \to D$ compatible with the absolute Calabi-Yau structure on $C$ induces a Lagrangian structure on the corresponding map of moduli $M_{D} \to M_{C}$.


title: Solitons: conservation laws & dressing methods

abstract: We review some of the fundamental notions associated to the theory of solitons. More precisely, we focus on the issue of conservation laws via the existence of the Lax pair and also on methods that provide solutions to partial or ordinary differential equations that are associated to discrete or continuous integrable systems. The Riccati equation associated to a given continuous integrable system is also solved and hence suitable conserved quantities are derived. The notion of the Darboux-Backlund transformation is introduced and employed in order to obtain soliton solutions for specific examples of integrable equations. The Zakharov-Shabat dressing scheme and the Gelfand-Levitan-Marchenko equation are also introduced. Via this method generic solutions are produced, and integrable hierarchies are explicitly derived. Various discrete and continuous integrable models are employed as examples such as the Toda chain, the discrete non-linear Schrodinger model, the Korteweg-de Vries and non-linear Schrodinger equations as well as the sine-Gordon and Liouville models.


title: Anomalous EDGES 21-cm Signal and Moduli Dominated Era

abstract: The EDGES collaboration has recently reported the detection of an unexpectedly stronger absorption signal in the global 21-cm spectrum around cosmic red-shift z = 17, resulting in the significant cooling of the primordial gas. The cooling of the gas can be expected to occur by considering the scattering off the baryons by a small fraction of DM carrying a tiny electromagnetic charge (milli-charged DM). However, it turns out the energy density of milli-charged DM obtained by considering thermal annihilation through massless photons will get overproduced in the range of parameters allowed by 21-cm line signal, if there are no new force carriers etc. In this study, we argue that the milli-charged DM particles might get decoupled during matter domination, in case there are moduli present in the theory. Therefore we estimated the value of relic abundance of milli-charged DM by taking into account an early matter dominated era. We found that for the value of modulus mass around m_{\Phi} ~ 10^6TeV, the milli-charged DM particles could actually yield the desired fraction of DM particles for the values of charge and DM required to explain the 21-cm signal. Thus, the problem of an overproduction of the milli-charged DM density in the desirable range of mass and charge of DM can be evaded by considering an early moduli/matter dominated era.


title: Second Moment of the Prime Geodesic Theorem for $\mathrm{PSL}(2, \mathbb{Z}[i])$

abstract: The remainder $E_\Gamma(X)$ in the Prime Geodesic Theorem for the Picard group $\Gamma = \mathrm{PSL}(2,\mathbb{Z}[i])$ is known to be bounded by $O(X^{3/2+\epsilon})$ under the assumption of the Lindel\"of hypothesis for quadratic Dirichlet $L$-functions over Gaussian integers. By studying the second moment of $E_\Gamma(X)$, we show that on average the same bound holds unconditionally.


title: Learning RUMs: Reducing Mixture to Single Component via PCA

abstract: We consider the problem of learning a mixture of Random Utility Models (RUMs). Despite the success of RUMs in various domains and the versatility of mixture RUMs to capture the heterogeneity in preferences, there has been only limited progress in learning a mixture of RUMs from partial data such as pairwise comparisons. In contrast, there have been significant advances in terms of learning a single component RUM using pairwise comparisons. In this paper, we aim to bridge this gap between mixture learning and single component learning of RUM by developing a `reduction' procedure. We propose to utilize PCA-based spectral clustering that simultaneously `de-noises' pairwise comparison data. We prove that our algorithm manages to cluster the partial data correctly (i.e., comparisons from the same RUM component are grouped in the same cluster) with high probability even when data is generated from a possibly {\em heterogeneous} mixture of well-separated {\em generic} RUMs. Both the time and the sample complexities scale polynomially in model parameters including the number of items. Two key features in the analysis are in establishing (1) a meaningful upper bound on the sub-Gaussian norm for RUM components embedded into the vector space of pairwise marginals and (2) the robustness of PCA with missing values in the $L_{2, \infty}$ sense, which might be of interest in their own right.


title: Whittemore: An embedded domain specific language for causal programming

abstract: This paper introduces Whittemore, a language for causal programming. Causal programming is based on the theory of structural causal models and consists of two primary operations: identification, which finds formulas that compute causal queries, and estimation, which applies formulas to transform probability distributions to other probability distribution. Causal programming provides abstractions to declare models, queries, and distributions with syntax similar to standard mathematical notation, and conducts rigorous causal inference, without requiring detailed knowledge of the underlying algorithms. Examples of causal inference with real data are provided, along with discussion of the implementation and possibilities for future extension.


title: Rigidity of Newton dynamics

abstract: We study rigidity of rational maps that come from Newton's root finding method for polynomials of arbitrary degrees. We establish dynamical rigidity of these maps: each point in the Julia set of a Newton map is either rigid (i.e. its orbit can be distinguished in combinatorial terms from all other orbits), or the orbit of this point eventually lands in the filled-in Julia set of a polynomial-like restriction of the original map. As a corollary, we show that the Julia sets of Newton maps in many non-trivial cases are locally connected; in particular, every cubic Newton map without Siegel points has locally connected Julia set. In the parameter space of Newton maps of arbitrary degree we obtain the following rigidity result: any two combinatorially equivalent Newton maps are quasiconformally conjugate in a neighborhood of their Julia sets provided that they either non-renormalizable, or they are both renormalizable ``in the same way''. Our main tool is the concept of complex box mappings due to Kozlovski, Shen, van Strien; we also extend a dynamical rigidity result for such mappings so as to include irrationally indifferent or renormalizable situations.


title: Symmetry Algebras of Stringy Cosets

abstract: We find the symmetry algebras of cosets which are generalizations of the minimal-model cosets, of the specific form $\frac{SU(N)_{k} \times SU(N)_{\ell}}{SU(N)_{k+\ell}}$. We study this coset in its free field limit, with $k,\ell \rightarrow \infty$, where it reduces to a theory of free bosons. We show that, in this limit and at large $N$, the algebra $\mathcal{W}^e_\infty[1]$ emerges as a sub-algebra of the coset algebra. The full coset algebra is a larger algebra than conventional $\mathcal{W}$-algebras, with the number of generators rising exponentially with the spin, characteristic of a stringy growth of states. We compare the coset algebra to the symmetry algebra of the large $N$ symmetric product orbifold CFT, which is known to have a stringy symmetry algebra labelled the `higher spin square'. We propose that the higher spin square is a sub-algebra of the symmetry algebra of our stringy coset.


title: Transfer operators and dimension of bad sets for non-uniform Fuchsian lattices

abstract: The set of real numbers which are badly approximable by rationals admits an exhaustion by sets Bad($\epsilon$), whose dimension converges to 1 as $\epsilon$ goes to zero. D. Hensley computed the asymptotic for the dimension up to the first order in $\epsilon$, via an analogous estimate for the set of real numbers whose continued fraction has all entries uniformly bounded. We consider diophantine approximations by parabolic fixed points of any non-uniform lattice in PSL(2,R) and a geometric notion of $\epsilon$-badly approximable points. We compute the dimension of the set of such points up to the first order in $\epsilon$, via the thermodynamic method of Ruelle and Bowen. Geometric good approximations are related to a notion of bounded partial quotients for the Bowen-Series expansion. This gives a family of Cantor sets and associated quasi-compact transfer operators, with simple and positive maximal eigenvalue. Perturbative analysis of spectra applies.


title: Epipolar Geometry based Learning of Multi-view Depth and Ego-Motion from Monocular Sequences

abstract: Deep approaches to predict monocular depth and ego-motion have grown in recent years due to their ability to produce dense depth from monocular images. The main idea behind them is to optimize the photometric consistency over image sequences by warping one view into another, similar to direct visual odometry methods. One major drawback is that these methods infer depth from a single view, which might not effectively capture the relation between pixels. Moreover, simply minimizing the photometric loss does not ensure proper pixel correspondences, which is a key factor for accurate depth and pose estimations. In contrast, we propose a 2-view depth network to infer the scene depth from consecutive frames, thereby learning inter-pixel relationships. To ensure better correspondences, thereby better geometric understanding, we propose incorporating epipolar constraints to make the learning more geometrically sound. We use the Essential matrix obtained using Nist'er's Five Point Algorithm, to enforce meaningful geometric constraints, rather than using it as training labels. This allows us to use lesser no. of trainable parameters compared to state-of-the-art methods. The proposed method results in better depth images and pose estimates, which capture the scene structure and motion in a better way. Such a geometrically constrained learning performs successfully even in cases where simply minimizing the photometric error would fail.


title: Coherent Single Photon Emission from Colloidal Lead Halide Perovskite Quantum Dots

abstract: Chemically prepared colloidal semiconductor quantum dots have long been proposed as scalable and color-tunable single emitters in quantum optics, but they have typically suffered from prohibitively incoherent emission. We now demonstrate that individual colloidal lead halide perovskite quantum dots (PQDs) display highly efficient single photon emission with optical coherence times as long as 80 ps, an appreciable fraction of their 210 ps radiative lifetimes. These measurements suggest that PQDs should be explored as building blocks in sources of indistinguishable single photons and entangled photon pairs. Our results present a starting point for the rational design of lead halide perovskite-based quantum emitters with fast emission, wide spectral-tunability, scalable production, and which benefit from the hybrid-integration with nano-photonic components that has been demonstrated for colloidal materials.


title: Interacting diffusions on sparse graphs: hydrodynamics from local weak limits

abstract: We prove limit theorems for systems of interacting diffusions on sparse graphs. For example, we deduce a hydrodynamic limit and the propagation of chaos property for the stochastic Kuramoto model with interactions determined by Erd\H{o}s-R\'{e}nyi graphs with constant mean degree. The limiting object is related to a potentially infinite system of SDEs defined over a Galton-Watson tree. Our theorems apply more generally, when the sequence of graphs ("decorated" with edge and vertex parameters) converges in the local weak sense. Our main technical result is a locality estimate bounding the influence of far-away diffusions on one another. We also numerically explore the emergence of synchronization phenomena on Galton-Watson random trees, observing rich phase transitions from synchronized to desynchronized activity among nodes at different distances from the root.


title: NLOX, a one-loop provider for Standard Model processes

abstract: NLOX is a computer program for calculations in high-energy particle physics. It provides fully renormalized scattering matrix elements in the Standard Model of particle physics, up to one-loop accuracy for all possible coupling-power combinations in the strong and electroweak couplings, and for processes with up to six external particles.


title: On the maximal function associated to the spherical means on the Heisenberg group

abstract: In this paper we deal with lacunary and full versions of the spherical maximal function on the Heisenberg group $\mathbb{H}^n$, for $n\ge 2$. By suitable adaptation of an approach developed by M. Lacey in the Euclidean case, we obtain sparse bounds for these maximal functions, which lead to new unweighted and weighted estimates. In particular, we deduce the $L^p$ boundedness, for $1<p<\infty$, of the lacunary maximal function associated to the spherical means on the Heisenberg group. In order to prove the sparse bounds, we establish $ L^p-L^q $ estimates for local (single scale) variants of the spherical means.


title: Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement

abstract: Hyperedge replacement (HR) grammars can generate NP-complete graph languages, which makes parsing hard even for fixed HR languages. Therefore, we study predictive shift-reduce (PSR) parsing that yields efficient parsers for a subclass of HR grammars, by generalizing the concepts of SLR(1) string parsing to graphs. We formalize the construction of PSR parsers and show that it is correct. PSR parsers run in linear space and time, and are more efficient than the predictive top-down (PTD) parsers recently developed by the authors.


title: Advancing Acoustic-to-Word CTC Model with Attention and Mixed-Units

abstract: The acoustic-to-word model based on the Connectionist Temporal Classification (CTC) criterion is a natural end-to-end (E2E) system directly targeting word as output unit. Two issues exist in the system: first, the current output of the CTC model relies on the current input and does not account for context weighted inputs. This is the hard alignment issue. Second, the word-based CTC model suffers from the out-of-vocabulary (OOV) issue. This means it can model only frequently occurring words while tagging the remaining words as OOV. Hence, such a model is limited in its capacity in recognizing only a fixed set of frequent words. In this study, we propose addressing these problems using a combination of attention mechanism and mixed-units. In particular, we introduce Attention CTC, Self-Attention CTC, Hybrid CTC, and Mixed-unit CTC. First, we blend attention modeling capabilities directly into the CTC network using Attention CTC and Self-Attention CTC. Second, to alleviate the OOV issue, we present Hybrid CTC which uses a word and letter CTC with shared hidden layers. The Hybrid CTC consults the letter CTC when the word CTC emits an OOV. Then, we propose a much better solution by training a Mixed-unit CTC which decomposes all the OOV words into sequences of frequent words and multi-letter units. Evaluated on a 3400 hours Microsoft Cortana voice assistant task, our final acoustic-to-word solution using attention and mixed-units achieves a relative reduction in word error rate (WER) over the vanilla word CTC by 12.09\%. Such an E2E model without using any language model (LM) or complex decoder also outperforms a traditional context-dependent (CD) phoneme CTC with strong LM and decoder by 6.79% relative.