title: Almost all four-particle pure states are determined by their two-body marginals

abstract: We show that generic pure states (states drawn according to the Haar measure) of four particles of equal internal dimension are uniquely determined among all other pure states by their two-body marginals. In fact, certain subsets of three of the two-body marginals suffice for the characterization. We also discuss generalizations of the statement to pure states of more particles, showing that these are almost always determined among pure states by three of their $(n-2)$-body marginals. Finally, we present special families of symmetric pure four-particle states that share the same two-body marginals and are therefore undetermined. These are four-qubit Dicke states in superposition with generalized GHZ states.


title: Comparison of multi-task convolutional neural network (MT-CNN) and a few other methods for toxicity prediction

abstract: Toxicity analysis and prediction are of paramount importance to human health and environmental protection. Existing computational methods are built from a wide variety of descriptors and regressors, which makes their performance analysis difficult. For example, deep neural network (DNN), a successful approach in many occasions, acts like a black box and offers little conceptual elegance or physical understanding. The present work constructs a common set of microscopic descriptors based on established physical models for charges, surface areas and free energies to assess the performance of multi-task convolutional neural network (MT-CNN) architectures and a few other approaches, including random forest (RF) and gradient boosting decision tree (GBDT), on an equal footing. Comparison is also given to convolutional neural network (CNN) and non-convolutional deep neural network (DNN) algorithms. Four benchmark toxicity data sets (i.e., endpoints) are used to evaluate various approaches. Extensive numerical studies indicate that the present MT-CNN architecture is able to outperform the state-of-the-art methods.


title: Pattern formation and transition in complex networks

abstract: Dynamical patterns in complex networks of coupled oscillators are both of theoretical and practical interest, yet to fully reveal and understand the interplay between pattern emergence and network structure remains to be an outstanding problem. A fundamental issue is the effect of network structure on the stability of the patterns. We address this issue by using the setting where random links are systematically added to a regular lattice and focusing on the dynamical evolution of spiral wave patterns. As the network structure deviates more from the regular topology (so that it becomes increasingly more complex), the original stable spiral wave pattern can disappear and a different type of pattern can emerge. Our main findings are the following. (1) Short-distance links added to a small region containing the spiral tip can have a more significant effect on the wave pattern than long-distance connections. (2) As more random links are introduced into the network, distinct pattern transitions can occur, which include the transition of spiral wave to global synchronization, to a chimera-like state, and then to a pinned spiral wave. (3) Around the transitions the network dynamics is highly sensitive to small variations in the network structure in the sense that the addition of even a single link can change the pattern from one type to another. These findings provide insights into the pattern dynamics in complex networks, a problem that is relevant to many physical, chemical, and biological systems.


title: Triangles with prime hypotenuse

abstract: The sequence $3, 5, 9, 11, 15, 19, 21, 25, 29, 35,\dots$ consists of odd legs in right triangles with integer side lengths and prime hypotenuse. We show that the upper density of this sequence is zero, with logarithmic decay. The same estimate holds for the sequence of even legs in such triangles. We expect our upper bound, which involves the Erd\H{o}s--Ford--Tenenbaum constant, to be sharp up to a double-logarithmic factor. We also provide a nontrivial lower bound. Our techniques involve sieve methods, the distribution of Gaussian primes in narrow sectors, and the Hardy--Ramanujan inequality.


title: Geometric Symmetric Chain Decompositions

abstract: We create a framework for studying symmetric chain decompositions of families of finite posets based on the geometry of polytopes. Our framework unifies almost all known results regarding symmetric chain decompositions of the Young posets $L(m,n)$ --- arising as cells in the Bruhat decomposition of quotients of $SL_{m+n+1}$ --- and yields unexpected new results. The methods we provide are geometric in nature, systematic, and totally amenable to human analysis. This allows us to discover new phenomena which are impenetrable to casework and brute force computer search. In particular, our method yields perfect and near perfect decompositions of various families of posets, which are intractable by known methods. A fundamental tool we use is geometrical projection, which in our framework cleanly unifies many different types of induction; as we move a point from which we project between faces of our polytope, we alter the type of induction. Moreover, projection allows us to decrease dimension and therefore obtain a clear geometric intuition. We also provide additional tools for producing decompositions, and discuss how the various decompositions behave under products.


title: Anisotropic fluid dynamics for Gubser flow

abstract: Exploring a variety of closing schemes to the infinite hierarchy of momentum moments of the exactly solvable Boltzmann equation for systems undergoing Gubser flow, we study the precision with which the resulting hydrodynamic equations reproduce the exact evolution of hydrodynamic moments of the distribution function. We find that anisotropic hydrodynamics, obtained by ex- panding the distribution function around a dynamically evolving locally anisotropic background whose evolution is matched to exactly reproduce the macroscopic pressure anisotropy caused by the different longitudinal and transverse expansion rates in Gubser flow, provides the most accurate macroscopic description of the microscopic kinetic evolution. This confirms a similar earlier finding for Bjorken flow [Moln\'ar, Niemi and Rischke, Phys. Rev. D 94, 125003 (2016)]. We explain the physics behind this optimal matching procedure and show that one can efficiently correct for a non- optimized matching choice by adding a residual shear stress to the energy-momentum tensor whose evolution is again determined by the Boltzmann equation. Additional insights to guide the optimal choice of a macroscopic anisotropic hydrodynamic framework for strongly-coupled systems that do not admit a microscopic kinetic description are reported.


title: InverseFaceNet: Deep Monocular Inverse Face Rendering

abstract: We introduce InverseFaceNet, a deep convolutional inverse rendering framework for faces that jointly estimates facial pose, shape, expression, reflectance and illumination from a single input image. By estimating all parameters from just a single image, advanced editing possibilities on a single face image, such as appearance editing and relighting, become feasible in real time. Most previous learning-based face reconstruction approaches do not jointly recover all dimensions, or are severely limited in terms of visual quality. In contrast, we propose to recover high-quality facial pose, shape, expression, reflectance and illumination using a deep neural network that is trained using a large, synthetically created training corpus. Our approach builds on a novel loss function that measures model-space similarity directly in parameter space and significantly improves reconstruction accuracy. We further propose a self-supervised bootstrapping process in the network training loop, which iteratively updates the synthetic training corpus to better reflect the distribution of real-world imagery. We demonstrate that this strategy outperforms completely synthetically trained networks. Finally, we show high-quality reconstructions and compare our approach to several state-of-the-art approaches.


title: Spectral analysis of non-equilibrium molecular dynamics: spectral phonon temperature and phonon local non-equilibrium in thin films and across interfaces

abstract: Although extensive experimental and theoretical works have been conducted to understand the ballistic and diffusive phonon transport in nanomaterials recently, direct observation of temperature and thermal nonequilibrium of different phonon modes has not been realized. Herein, we have developed a method within the framework of molecular dynamics to calculate the temperatures of phonon in both real and phase spaces. Taking silicon thin film and graphene as examples, we directly obtained the spectral phonon temperature (SPT) and observed the local thermal nonequilibrium between the ballistic and diffusive phonons. Such nonequilibrium also generally exists across interfaces and is surprisingly large, and it provides an additional thermal interfacial resistance mechanism. Our SPT results directly show that the vertical thermal transport across the dimensionally mismatched graphene/substrate interface is through the coupling between flexural acoustic phonons of graphene and the longitudinal phonons in the substrate with mode conversion. In the dimensionally matched interfaces, e.g. graphene/graphene junction and graphene/boron nitride planar interfaces, strong coupling occurs between the acoustic phonon modes on both sides, and the coupling decreases with interfacial mixing. The SPT method together with the spectral heat flux can eliminate the size effect of the thermal conductivity prediction induced from ballistic transport. Our work shows that in thin films and across interfaces, phonons are in local thermal nonequilibrium.


title: Ultrasensitivity and Fluctuations in the Barkai-Leibler Model of Chemotaxis Receptors in {\it Escherichia coli}

abstract: A stochastic version of the Barkai-Leibler model of chemotaxis receptors in {\it E. coli} is studied here to elucidate the effects of intrinsic network noise in their conformational dynamics. It was originally proposed to explain the robust and near-perfect adaptation of {\it E. coli} observed across a wide range of spatially uniform attractant/repellent (ligand) concentrations. A receptor is either active or inactive and can stochastically switch between the two states. Enzyme CheR methylates inactive receptors while CheB demethylates active ones and the probability for it to be active depends on its level of methylation and ligandation. A simple version of the model with two methylation sites per receptor (M=2) shows zero-order ultrasensitivity (ZOU) akin to the classical 2-state model of covalent modification studied by Goldbeter and Koshland (GK). For extremely small and large ligand concentrations, the system reduces to two 2-state GK modules. A quantitative measure of the spontaneous fluctuations in activity (variance) estimated mathematically under linear noise approximation (LNA) is found to peak near the ZOU transition. The variance is a weak, non-monotonic and decreasing functions of ligand and receptor concentrations. Gillespie simulations for M=2 show excellent agreement with analytical results obtained under LNA. Numerical results for M=2, 3 and 4 show ZOU in mean activity; the variance is found to be smaller for larger M. The magnitude of receptor noise deduced from available experimental data is consistent with our predictions. A simple analysis of the downstream signaling pathway shows that this noise is large enough to have a beneficial effect on the motility of the organism. The response of mean receptor activity to small time-dependent changes in the external ligand concentration, computed within linear response theory, is found to have a bilobe form.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech q-bio.MN


title: Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey

abstract: Constraint Handling Rules is an effective concurrent declarative programming language and a versatile computational logic formalism. CHR programs consist of guarded reactive rules that transform multisets of constraints. One of the main features of CHR is its inherent concurrency. Intuitively, rules can be applied to parts of a multiset in parallel. In this comprehensive survey, we give an overview of concurrent and parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of refinement. These semantics range from the abstract to the concrete. They are related by formal soundness results. Their correctness is established as correspondence between parallel and sequential computations. We present common concise sample CHR programs that have been widely used in experiments and benchmarks. We review parallel CHR implementations in software and hardware. The experimental results obtained show a consistent parallel speedup. Most implementations are available online. The CHR formalism can also be used to implement and reason with models for concurrency. To this end, the Software Transaction Model, the Actor Model, Colored Petri Nets and the Join-Calculus have been faithfully encoded in CHR. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Learning Discourse-level Diversity for Neural Dialog Models using Conditional Variational Autoencoders

abstract: While recent neural encoder-decoder models have shown great promise in modeling open-domain conversations, they often generate dull and generic responses. Unlike past work that has focused on diversifying the output of the decoder at word-level to alleviate this problem, we present a novel framework based on conditional variational autoencoders that captures the discourse-level diversity in the encoder. Our model uses latent variables to learn a distribution over potential conversational intents and generates diverse responses using only greedy decoders. We have further developed a novel variant that is integrated with linguistic prior knowledge for better performance. Finally, the training procedure is improved by introducing a bag-of-word loss. Our proposed models have been validated to generate significantly more diverse responses than baseline approaches and exhibit competence in discourse-level decision-making.


title: Venus: Key to understanding the evolution of terrestrial planets

abstract: Why are the terrestrial planets so different? Venus should be the most Earth-like of all our planetary neighbours. Its size, bulk composition and distance from the Sun are very similar to those of the Earth. Its original atmosphere was probably similar to that of early Earth, with large atmospheric abundances of carbon dioxide and water - possibly even a liquid water ocean. While on Earth a moderate climate ensued, Venus experienced runaway greenhouse warming, which led to its current hostile climate. How and why did it all go wrong for Venus? What lessons can we learn about the life story of terrestrial planets in general, whether in our solar system or in others? ESA's Venus Express mission proved very successful, answering many questions about Earth's sibling planet and establishing European leadership in Venus research. However, further understanding of Venus and its history requires several more lines of investigation. Entry into the atmosphere is required to measure noble gas isotopes to constrain formation & evolution models. Radar mapping at metre-scale spatial resolution, and surface height change detection at centimetre scale, would enable detection of current volcanic & tectonic activity. A lander in the ancient tessera highlands would provide clues as to the earliest geologic record available on Venus. To address these themes we propose a combination of an in situ balloon platform, a radar-equipped orbiter, and (optionally) a descent probe. These mission elements are modelled on the 2010 EVE M3 mission proposal, on the 2010 EnVision M3 proposal, and on Russia's Venera-D entry probe, respectively. Together, these investigations address themes of comparative planetology and solar system evolution. This document was submitted in May 2013 as a response to ESA's Call for White Papers for the Definition of Science Themes for L2/L3 Missions in the ESA Science Programme.


title: Random Delta-Hausdorff-attractors

abstract: Global random attractors and random point attractors for random dynamical systems have been studied for several decades. Here we introduce two intermediate concepts: $\Delta$-attractors are characterized by attracting all deterministic compact sets of Hausdorff dimension at most $\Delta$, where $\Delta$ is a non-negative number, while cc-attractors attract all countable compact sets. We provide two examples showing that a given random dynamical system may have various different $\Delta$-attractors for different values of $\Delta$. It seems that both concepts are new even in the context of deterministic dynamical systems.


title: On hypergraphs without loose cycles

abstract: Recently, Mubayi and Wang showed that for $r\ge 4$ and $\ell \ge 3$, the number of $n$-vertex $r$-graphs that do not contain any loose cycle of length $\ell$ is at most $2^{O( n^{r-1} (\log n)^{(r-3)/(r-2)})}$. We improve this bound to $2^{O( n^{r-1} \log \log n) }$.


title: Uncorrelated far AGN flaring with their delayed UHECRs events

abstract: The most distant AGN, within the allowed GZK cut-off radius, have been recently candidate by many authors as the best location for observed UHECR origination. Indeed, the apparent homogeneity and isotropy of recent UHECR signals seems to require a far cosmic isotropic and homogeneous scenario involving a proton UHECR courier: our galaxy or nearest local group or super galactic plane (ruled by Virgo cluster) are too much near and apparently too much anisotropic in disagreement with PAO and TA almost homogeneous sample data. However, the few and mild observed UHECR clustering, the North and South Hot Spots, are smeared in wide solid angles. Their consequent random walk flight from most far GZK UHECR sources, nearly at 100 Mpc, must be delayed (with respect to a straight AGN photon gamma flaring arrival trajectory) at least by a million years. During this time, the AGN jet blazing signal, its probable axis deflection (such as the helical jet in Mrk501), its miss alignment or even its almost certain exhaust activity may lead to a complete misleading correlation between present UHECR events and a much earlier active AGN ejection. UHECR maps maybe anyway related to galactic or nearest (Cen A, M82) AGN extragalactic UHECR sources shining in twin Hot Spot. Therefore we defend our (quite different) scenarios where UHECR are mostly made by lightest UHECR nuclei originated by nearby AGN sources, or few galactic sources, whose delayed signals reach us within few thousand years in the observed smeared sky areas.


title: Polarization of a probe laser beam due to nonlinear QED effects

abstract: Nonlinear QED interactions induce different polarization properties on a given probe beam. We consider the polarization effects caused by the photon-photon interaction in laser experiments, when a laser beam propagates through a constant magnetic field or collides with another laser beam. We solve the quantum Boltzmann equation within the framework of the Euler-Heisenberg Lagrangian for both time-dependent and constant background field to explore the time evolution of the Stokes parameters Q, U, and V describing polarization. Assuming an initially linearly polarized probe laser beam, we also calculate the induced ellipticity and rotation of the polarization plane.


title: Analysis and prediction of protein folding energy changes upon mutation by element specific persistent homology

abstract: Motivation: Site directed mutagenesis is widely used to understand the structure and function of biomolecules. Computational prediction of protein mutation impacts offers a fast, economical and potentially accurate alternative to laboratory mutagenesis. Most existing methods rely on geometric descriptions, this work introduces a topology based approach to provide an entirely new representation of protein mutation impacts that could not be obtained from conventional techniques. Results: Topology based mutation predictor (T-MP) is introduced to dramatically reduce the geometric complexity and number of degrees of freedom of proteins, while element specific persistent homology is proposed to retain essential biological information. The present approach is found to outperform other existing methods in globular protein mutation impact predictions. A Pearson correlation coefficient of 0.82 with an RMSE of 0.92 kcal/mol is obtained on a test set of 350 mutation samples. For the prediction of membrane protein stability changes upon mutation, the proposed topological approach has a 84% higher Pearson correlation coefficient than the current state-of-the-art empirical methods, achieving a Pearson correlation of 0.57 and an RMSE of 1.09 kcal/mol in a 5-fold cross validation on a set of 223 membrane protein mutation samples.


title: Revisiting the decoupling effects in the running of the Cosmological Constant

abstract: We revisit the decoupling effects associated with heavy particles in the renormalization group running of the vacuum energy in a mass-dependent renormalization scheme. We find the running of the vacuum energy stemming from the Higgs condensate in the entire energy range and show that it behaves as expected from the simple dimensional arguments meaning that it exhibits the quadratic sensitivity to the mass of the heavy particles in the infrared regime. The consequence of such a running to the fine-tuning problem with the measured value of the Cosmological Constant is analyzed and the constraint on the mass spectrum of a given model is derived. We show that in the Standard Model (SM) this fine-tuning constraint is not satisfied while in the massless theories this constraint formally coincides with the well known Veltman condition. We also provide a remarkably simple extension of the SM where saturation of this constraint enables us to predict the radiative Higgs mass correctly. Generalization to constant curvature spaces is also given.


title: Signatures of quiet Sun reconnection events in Ca~{\sc ii}, H$\alpha$ and Fe~{\sc i}

abstract: We use observations of quiet Sun (QS) regions in the H$\alpha$ 6563 \AA, Ca~{\sc ii} 8542 \AA\, and Fe~{\sc i} 6302 \AA\ lines. We observe brightenings in the wings of the H$\alpha$ and Ca~{\sc ii} combined with observations of the interacting magnetic concentrations observed in the Stokes signals of Fe~{\sc i}. These brightenings are similar to Ellerman bombs (EBs), i.e. impulsive bursts in the wings of the Balmer lines which leave the line cores unaffected. Such enhancements suggest that these events have similar formation mechanisms to the classical EBs found in active regions, with the reduced intensity enhancements found in the QS regions due to a weaker feeding magnetic flux. The observations also show that the quiet Sun Ellerman bombs (QSEBs) are formed at a higher height in the upper photosphere than the photospheric continuum level. Using simulations, we investigate the formation mechanism associated with the events and suggest that these events are driven by the interaction of magnetic field-lines in the upper photospheric regions. The results of the simulation are in agreement with observations when comparing the light-curves, and in most cases we found that the peak in the Ca~{\sc ii} 8542 \AA\ wing occurred before the peak in H$\alpha$ wing. Moreover, in some cases, the line profiles observed in Ca~{\sc ii} are asymmetrical with a raised core profile. The source of heating in these events is shown by the MURaM simulations and is suggested to occur 430 km above the photosphere.


title: Nearly AdS2 Sugra and the Super-Schwarzian

abstract: In nearly AdS2 gravity the Einstein-Hilbert term is supplemented by the Jackiw-Teitelboim action. Integrating out the bulk metric gives rise to the Schwarzian action for the boundary curve. In the present note, we show how the extension to supergravity leads to the super-Schwarzian action for the superspace boundary.


title: Diversity of preferences can increase collective welfare in sequential exploration problems

abstract: In search engines, online marketplaces and other human-computer interfaces large collectives of individuals sequentially interact with numerous alternatives of varying quality. In these contexts, trial and error (exploration) is crucial for uncovering novel high-quality items or solutions, but entails a high cost for individual users. Self-interested decision makers, are often better off imitating the choices of individuals who have already incurred the costs of exploration. Although imitation makes sense at the individual level, it deprives the group of additional information that could have been gleaned by individual explorers. In this paper we show that in such problems, preference diversity can function as a welfare enhancing mechanism. It leads to a consistent increase in the quality of the consumed alternatives that outweighs the increased cost of search for the users.


title: High-speed 100 MHz strain monitor using fiber Bragg grating and optical filter for magnetostriction measurements under ultrahigh magnetic fields

abstract: A high-speed 100 MHz strain monitor using a fiber Bragg grating, an optical filter, and a mode-locked optical fiber laser has been devised, which has a resolution of $\Delta L/L\sim10^{-4}$. The strain monitor is sufficiently fast and robust for the magnetostriction measurements of magnetic materials under ultrahigh magnetic fields generated with destructive pulse magnets, where the sweep rate is in the range of 10-100 T/$\mu$s. As a working example, the magnetostriction of LaCoO$_{3}$ was measured at room temperature, 115 K, and 7$\sim$4.2 K up to a maximum magnetic field of 150 T. The smooth $B^{2}$ dependence and the first-order transition were observed at 115 K and 7$\sim$4.2 K, respectively, reflecting the field-induced spin-state evolution.


title: Solution of the Fokker-Planck equation with a logarithmic potential and mixed eigenvalue spectrum

abstract: Motivated by a problem in climate dynamics, we investigate the solution of a Bessel-like process with negative constant drift, described by a Fokker-Planck equation with a potential V(x) = - [b \ln(x) + a\, x], for b>0 and a<0. The problem belongs to a family of Fokker-Planck equations with logarithmic potentials closely related to the Bessel process, that has been extensively studied for its applications in physics, biology and finance. The Bessel-like process we consider can be solved by seeking solutions through an expansion into a complete set of eigenfunctions. The associated imaginary-time Schroedinger equation exhibits a mix of discrete and continuous eigenvalue spectra, corresponding to the quantum Coulomb potential describing the bound states of the hydrogen atom. We present a technique to evaluate the normalization factor of the continuous spectrum of eigenfunctions that relies solely upon their asymptotic behavior. We demonstrate the technique by solving the Brownian motion problem and the Bessel process both with a negative constant drift. We conclude with a comparison with other analytical methods and with numerical solutions.


title: Modified Interior-Point Method for Large-and-Sparse Low-Rank Semidefinite Programs

abstract: Semidefinite programs (SDPs) are powerful theoretical tools that have been studied for over two decades, but their practical use remains limited due to computational difficulties in solving large-scale, realistic-sized problems. In this paper, we describe a modified interior-point method for the efficient solution of large-and-sparse low-rank SDPs, which finds applications in graph theory, approximation theory, control theory, sum-of-squares, etc. Given that the problem data is large-and-sparse, conjugate gradients (CG) can be used to avoid forming, storing, and factoring the large and fully-dense interior-point Hessian matrix, but the resulting convergence rate is usually slow due to ill-conditioning. Our central insight is that, for a rank-$k$, size-$n$ SDP, the Hessian matrix is ill-conditioned only due to a rank-$nk$ perturbation, which can be explicitly computed using a size-$n$ eigendecomposition. We construct a preconditioner to "correct" the low-rank perturbation, thereby allowing preconditioned CG to solve the Hessian equation in a few tens of iterations. This modification is incorporated within SeDuMi, and used to reduce the solution time and memory requirements of large-scale matrix-completion problems by several orders of magnitude.


title: Stability Analysis of a Bose-Einstein Condensate Trapped in a Generic Potential

abstract: We investigate the dynamical behavior of the Gross-Pitaevskii equation for a Bose-Einstein condensate trapped in a spherical power law potential restricted to the repulsive case, from the dynamical system formalism point of view. A five-dimensional dynamical system is found (due the symmetry of the Gross-Pitaevskii equation interacting with a potential), where the Thomas-Fermi approximation constrains the parameter space of solutions. We show that for values of the power law exponent equal or smaller than 2 the system seems to be stable. However, when the corresponding exponent is bigger than 2, the instability of the system grows when the power law exponent grows, indicating that large values of the aforementioned parameter can be related to a loss in the number of particles from the condensed state. This fact can be used also to show that the stability conditions of the condensate are highly sensitive to the exponent associated with the external potential.


title: Measuring molecular frequencies in the 1--10 {\mu}m range at 11-digits accuracy

abstract: Mid infrared (MIR) photonics is a key region for molecular physics [1]. High-resolution spectroscopy in the 1--10 {\mu}m region, though, has never been fully tackled for the lack of widely-tunable and practical light sources. Indeed, all solutions proposed thus far suffer from at least one of three issues: they are feasible only in a narrow spectral range; the power available for spectroscopy is limited; the frequency accuracy is poor. Here, we present a setup for high-resolution spectroscopy that can be applied in the whole 1--10 {\mu}m range by combining the power of quantum cascade lasers (QCLs) and the accuracy achievable by difference frequency generation using an OP-GaP crystal. The frequency is measured against a primary frequency standard using the Italian metrological fibre link network. We demonstrate the performance of the setup by measuring a vibrational transition in a highly-excited metastable state of CO around 6 {\mu}m with 11 digits of precision, four orders of magnitude better than the value available in the literature [2].


title: Approximate Minimum Diameter

abstract: We study the minimum diameter problem for a set of inexact points. By inexact, we mean that the precise location of the points is not known. Instead, the location of each point is restricted to a contineus region ($\impre$ model) or a finite set of points ($\indec$ model). Given a set of inexact points in one of $\impre$ or $\indec$ models, we wish to provide a lower-bound on the diameter of the real points. In the first part of the paper, we focus on $\indec$ model. We present an $O(2^{\frac{1}{\epsilon^d}} \cdot \epsilon^{-2d} \cdot n^3 )$ time approximation algorithm of factor $(1+\epsilon)$ for finding minimum diameter of a set of points in $d$ dimensions. This improves the previously proposed algorithms for this problem substantially. Next, we consider the problem in $\impre$ model. In $d$-dimensional space, we propose a polynomial time $\sqrt{d}$-approximation algorithm. In addition, for $d=2$, we define the notion of $\alpha$-separability and use our algorithm for $\indec$ model to obtain $(1+\epsilon)$-approximation algorithm for a set of $\alpha$-separable regions in time $O(2^{\frac{1}{\epsilon^2}}\allowbreak . \frac{n^3}{\epsilon^{10} .\sin(\alpha/2)^3} )$.


title: Formalization of some central theorems in combinatorics of finite sets

abstract: We present fully formalized proofs of some central theorems from combinatorics. These are Dilworth's decomposition theorem, Mirsky's theorem, Hall's marriage theorem and the Erd\H{o}s-Szekeres theorem. Dilworth's decomposition theorem is the key result among these. It states that in any finite partially ordered set (poset), the size of a smallest chain cover and a largest antichain are the same. Mirsky's theorem is a dual of Dilworth's decomposition theorem, which states that in any finite poset, the size of a smallest antichain cover and a largest chain are the same. We use Dilworth's theorem in the proofs of Hall's Marriage theorem and the Erd\H{o}s-Szekeres theorem. The combinatorial objects involved in these theorems are sets and sequences. All the proofs are formalized in the Coq proof assistant. We develop a library of definitions and facts that can be used as a framework for formalizing other theorems on finite posets.


title: Optimal Precoders for Tracking the AoD and AoA of a mm-Wave Path

abstract: In millimeter-wave channels, most of the received energy is carried by a few paths. Traditional precoders sweep the angle-of-departure (AoD) and angle-of-arrival (AoA) space with directional precoders to identify directions with largest power. Such precoders are heuristic and lead to sub-optimal AoD/AoA estimation. We derive optimal precoders, minimizing the Cram\'{e}r-Rao bound (CRB) of the AoD/AoA, assuming a fully digital architecture at the transmitter and spatial filtering of a single path. The precoders are found by solving a suitable convex optimization problem. We demonstrate that the accuracy can be improved by at least a factor of two over traditional precoders, and show that there is an optimal number of distinct precoders beyond which the CRB does not improve.


title: Architecture of processing and analysis system for big astronomical data

abstract: This work explores the use of big data technologies deployed in the cloud for processing of astronomical data. We have applied Hadoop and Spark to the task of co-adding astronomical images. We compared the overhead and execution time of these frameworks. We conclude that performance of both frameworks is generally on par. The Spark API is more flexible, which allows one to easily construct astronomical data processing pipelines.


title: Coherence measurements of scattered incoherent light for lensless identification of an object's location and size

abstract: In absence of a lens to form an image, incoherent or partially coherent light scattering off an obstructive or reflective object forms a broad intensity distribution in the far field with only feeble spatial features. We show here that measuring the complex spatial coherence function can help in the identification of the size and location of a one-dimensional object placed in the path of a partially coherent light source. The complex coherence function is measured in the far field through wavefront sampling, which is performed via dynamically reconfigurable slits implemented on a digital micromirror device (DMD). The impact of an object -- parameterized by size and location -- that either intercepts or reflects incoherent light is studied. The experimental results show that measuring the spatial coherence function as a function of the separation between two slits located symmetrically around the optical axis can identify the object transverse location and angle subtended from the detection plane (the ratio of the object width to the axial distance from the detector). The measurements are in good agreement with numerical simulations of a forward model based on Fresnel propagators. The rapid refresh rate of DMDs may enable real-time operation of such a lensless coherency imaging scheme.


title: On coherency and other properties of MAXVAR

abstract: This paper is concerned with the MAXVAR risk measure on L^2 space. We present an elementary and direct proof of its coherency and averseness. Based on the observation that the MAXVAR measure is a continuous convex combination of the CVaR measure, we provide an explicit formula for the risk envelope of MAXVAR.


title: Topological fingerprints reveal protein-ligand binding mechanism

abstract: Protein-ligand binding is a fundamental biological process that is paramount to many other biological processes, such as signal transduction, metabolic pathways, enzyme construction, cell secretion, gene expression, etc. Accurate prediction of protein-ligand binding affinities is vital to rational drug design and the understanding of protein-ligand binding and binding induced function. Existing binding affinity prediction methods are inundated with geometric detail and involve excessively high dimensions, which undermines their predictive power for massive binding data. Topology provides an ultimate level of abstraction and thus incurs too much reduction in geometric information. Persistent homology embeds geometric information into topological invariants and bridges the gap between complex geometry and abstract topology. However, it over simplifies biological information. This work introduces element specific persistent homology (ESPH) to retain crucial biological information during topological simplification. The combination of ESPH and machine learning gives rise to one of the most efficient and powerful tools for revealing protein-ligand binding mechanism and for predicting binding affinities.


title: Detection of malicious data in vehicular ad-hoc networks for traffic signal control applications

abstract: Effective applications of vehicular ad hoc networks in traffic signal control require new methods for detection of malicious data. Injection of malicious data can result in significantly decreased performance of such applications, increased vehicle delays, fuel consumption, congestion, or even safety threats. This paper introduces a method, which combines a model of expected driver behaviour with position verification in order to detect the malicious data injected by vehicle nodes that perform Sybil attacks. Effectiveness of this approach was demonstrated in simulation experiments for a decentralized self-organizing system that controls the traffic signals at multiple intersections in an urban road network. Experimental results show that the proposed method is useful for mitigating the negative impact of malicious data on the performance of traffic signal control.


title: Explicit formulae for Chern-Simons invariants of the hyperbolic $J(2n,-2m)$ knot orbifolds

abstract: We calculate the Chern-Simons invariants of the hyperbolic double twist knot orbifolds using the Schl\"{a}fli formula for the generalized Chern-Simons function on the family of cone-manifold structures of double twist knots.


title: Evolution of Raman spectra in Mo$_{1-x}$W$_x$Te$_2$ alloys

abstract: The structural polymorphism in transition metal dichalcogenides (TMDs) provides exciting opportunities for developing advanced electronics. For example, MoTe$_2$ crystallizes in the 2H semiconducting phase at ambient temperature and pressure, but transitions into the 1T$^\prime$ semimetallic phase at high temperatures. Alloying MoTe$_2$ with WTe$_2$ reduces the energy barrier between these two phases, while also allowing access to the T$_d$ Weyl semimetal phase. The MoWTe$_2$ alloy system is therefore promising for developing phase change memory technology. However, achieving this goal necessitates a detailed understanding of the phase composition in the MoTe$_2$-WTe$_2$ system. We combine polarization-resolved Raman spectroscopy with X-ray diffraction (XRD) and scanning transmission electron microscopy (STEM) to study MoWTe$_2$ alloys over the full compositional range x from 0 to 1. We identify Raman and XRD signatures characteristic of the 2H, 1T$^\prime$, and T$_d$ structural phases that agree with density-functional theory (DFT) calculations, and use them to identify phase fields in the MoTe$_2$-WTe$_2$ system, including single-phase 2H, 1T$^\prime$, and T$_d$ regions, as well as a two-phase 1T$^\prime$ + T$_d$ region. Disorder arising from compositional fluctuations in MoWTe$_2$ alloys breaks inversion and translational symmetry, leading to the activation of an infrared 1T$^\prime$-MoTe$_2$ mode and the enhancement of a double-resonance Raman process in 2H-MoWTe$_2$ alloys. Compositional fluctuations limit the phonon correlation length, which we estimate by fitting the observed asymmetric Raman lineshapes with a phonon confinement model. These observations reveal the important role of disorder in MoWTe$_2$ alloys, clarify the structural phase boundaries, and provide a foundation for future explorations of phase transitions and electronic phenomena in this system.


title: The Number of Zeros of Unilateral Polynomials over Coquaternions Revisited

abstract: The literature on quaternionic polynomials and, in particular, on methods for determining and classifying their zero-sets, is fast developing and reveals a growing interest on this subject. In contrast, polynomials defined over the algebra of coquaternions have received very little attention from researchers. One of the few exceptions is the very recent paper by Janovsk\'a and Opfer [Electronic Transactions on Numerical Analysis, Volume 46, pp. 55-70, 2017], where, among other results, we can find a first attempt to prove that a unilateral coquaternionic polynomial of degree $n$ has, at most, $n(2n-1)$ zeros. In this paper we present a full proof of the referred result, using a totally different and, from our point of view, much simpler approach. Also, we give a complete characterization of the zero-sets of such polynomials and present a new result giving conditions which guarantee the existence of a special type of zeros. An algorithm to compute and classify all the zeros of a coquaternionic polynomial is proposed and several numerical examples are carefully constructed.


title: On the Impossibility of Supersized Machines

abstract: In recent years, a number of prominent computer scientists, along with academics in fields such as philosophy and physics, have lent credence to the notion that machines may one day become as large as humans. Many have further argued that machines could even come to exceed human size by a significant margin. However, there are at least seven distinct arguments that preclude this outcome. We show that it is not only implausible that machines will ever exceed human size, but in fact impossible.


title: Scattering for the radial focusing INLS equation in higher dimensions

abstract: We consider the inhomogeneous nonlinear Schr\"odinger equation $$ i u_t +\Delta u+|x|^{-b}|u|^\alpha u = 0, $$ where $\frac{4-2b}{N}<\alpha<\frac{4-2b}{N-2}$ (when $N=2$, $\frac{4-2b}{N}<\alpha<\infty$) and $0<b<\min\{N/3,1\}$. For a radial initial data $u_0\in H^1(\mathbb{R}^N)$ under a certain smallness condition we prove that the corresponding solution is global and scatters. The smallness condition is related to the ground state solution of $-Q+\Delta Q+ |x|^{-b}|Q|^{\alpha}Q=0$ and the critical Sobolev index $s_c=\frac{N}{2}-\frac{2-b}{\alpha}$. This is an extension of the recent work \cite{paper2} by the same authors, where they consider the case $N=3$ and $\alpha=2$. The proof is inspired by the concentration-compactness/rigidity method developed by Kenig-Merle \cite{KENIG} to study $H^1(\mathbb{R}^N)$-critical problem and also Holmer-Roudenko \cite{HOLROU} in the case of $H^1(\mathbb{R}^N)$-subcritical equations.


title: Binding energy of homogeneous Bose gas

abstract: We compute the energy needed to add or remove one particle from a homogeneous system of $N$ bosons on a torus. We focus on the mean-field limit when $N$ becomes large and the strength of particle interactions is proportional to $N^{-1}$, which allows us to justify Bogoliubov's approximation.


title: Singular Vector of Ding-Iohara-Miki Algebra and Hall-Littlewood Limit of 5D AGT Conjecture

abstract: In this thesis, we obtain the formula for the Kac determinant of the algebra arising from the level $N$ representation of the Ding-Iohara-Miki algebra. This formula can be proved by decomposing the level $N$ representation into the deformed $W$-algebra part and the $U(1)$ boson part, and using the screening currents of the deformed $W$-algebra. It is also discovered that singular vectors obtained by its screening currents correspond to the generalized Macdonald functions. Moreover, we investigate the $q \rightarrow 0$ limit of five-dimensional AGT correspondence. In this limit, the simplest 5D AGT conjecture is proved, that is, the inner product of the Whittaker vector of the deformed Virasoro algebra coincides with the partition function of the 5D pure gauge theory. Furthermore, the R-Matrix of the Ding-Iohara-Miki algebra is explicitly calculated, and its general expression in terms of the generalized Macdonald functions is conjectured.


title: Ultrahigh Charge Carrier Mobility in Nanotube Encapsulated Coronene Stack

abstract: Achieving high charge carrier mobility is the holy grail of organic electronics. In this letter we report a record charge carrier mobility of 14.93 cm$^2$ V$^{-1}$s$^{-1}$ through a coronene stack encapsulated in a single walled carbon nanotube (CNT) by using a multiscale modeling technique which combines MD simulations, first principle calculations and Kinetic Monte Carlo simulations. For the CNT having a diameter of 1.56 nm we find a highly ordered defect free organization of coronene molecules inside the CNT which is responsible for the high charge carrier mobility. The encapsulated coronene molecules are correlated with a large correlation length of $\sim $18 {\AA} which is independent of the length of the coronene column. Our simulation further suggests that coronene molecules can spontaneously enter the CNT, suggesting that the encapsulation is experimentally realizable.


title: The NIEP

abstract: The nonnegative inverse eigenvalue problem (NIEP) asks which lists of $n$ complex numbers (counting multiplicity) occur as the eigenvalues of some $n$-by-$n$ entry-wise nonnegative matrix. The NIEP has a long history and is a known hard (perhaps the hardest in matrix analysis?) and sought after problem. Thus, there are many subproblems and relevant results in a variety of directions. We survey most work on the problem and its several variants, with an emphasis on recent results, and include 130 references. The survey is divided into: a) the single eigenvalue problems; b) necessary conditions; c) low dimensional results; d) sufficient conditions; e) appending 0's to achieve realizability; f) the graph NIEP's; g) Perron similarities; and h) the relevance of Jordan structure.


title: Catalyst Acceleration for Gradient-Based Non-Convex Optimization

abstract: We introduce a generic scheme to solve nonconvex optimization problems using gradient-based algorithms originally designed for minimizing convex functions. Even though these methods may originally require convexity to operate, the proposed approach allows one to use them on weakly convex objectives, which covers a large class of non-convex functions typically appearing in machine learning and signal processing. In general, the scheme is guaranteed to produce a stationary point with a worst-case efficiency typical of first-order methods, and when the objective turns out to be convex, it automatically accelerates in the sense of Nesterov and achieves near-optimal convergence rate in function values. These properties are achieved without assuming any knowledge about the convexity of the objective, by automatically adapting to the unknown weak convexity constant. We conclude the paper by showing promising experimental results obtained by applying our approach to incremental algorithms such as SVRG and SAGA for sparse matrix factorization and for learning neural networks.


title: An Outline of Separation Logic

abstract: Separation Logic is an effective Program Logic for proving programs that involve pointers. Reasoning with pointers becomes difficult especially when there is aliasing arising due to several pointers to a given cell location. In this paper, we try to explore the problems with aliasing through some simple examples and introduce the notion of separating conjunction as a tool to deal with it. We introduce Separation Logic as an extension of the standard Hoare Logic with the help pf a programming language that has four pointer manipulating commands. These commands perform the usual heap operations such as lookup, update, allocation and deallocation. The new set of assertions and axioms of Separation Logic is presented in a semi-formal style. Examples are given to illustrate the unique features of the new assertions and axioms. Finally the paper concludes with the proofs of some real programs using the axioms of Separation Logic.


title: All Cognitive MIMO: A New Multiuser Detection Approach with Different Priorities

abstract: A new detection scheme for multiuser multiple-input multiple-output (MIMO) systems is analytically presented. In particular, the transmitting users are being categorized in two distinct priority service groups, while they communicate directly with a multi-antenna receiver. The linear zero-forcing scheme is applied in two consecutive detection stages upon the signal reception. In the first stage, the signals of one service group are detected, followed by the second stage including the corresponding detection of the remaining signals. An appropriate switching scheme based on specific transmission quality requirements is utilized prior to the detection so as to allocate the signals of a given service group to the suitable detection stage. The objective is the enhancement of the reception quality for both service groups. The proposed approach can be implemented directly in cognitive radio communication assigning the secondary users to the appropriate service group. The exact outage probability of the considered system is derived in closed form. The special case of massive MIMO is further studied yielding some useful engineering outcomes; the effective channel coherence time and a certain optimality condition defining both the transmission quality and effective number of independent transmissions.


title: The relation between alignment covariance and background-averaged epistasis

abstract: Epistasis, or the context-dependence of the effects of mutations, limits our ability to predict the functional impact of combinations of mutations, and ultimately our ability to predict evolutionary trajectories. Information about the context-dependence of mutations can essentially be obtained in two ways: First, by experimental measurement the functional effects of combinations of mutations and calculating the epistatic contributions directly, and second, by statistical analysis of the frequencies and co-occurrences of protein residues in a multiple sequence alignment of protein homologs. In this manuscript, we derive the mathematical relationship between epistasis calculated on the basis of functional measurements, and the covariance calculated from a multiple sequence alignment. There is no one-to-one mapping between covariance and epistatic terms: covariance implies epistasis, but epistasis does not necessarily lead to covariance, indicating that covariance in itself is not the directly relevant quantity for functional prediction. Having calculated epistatic contributions from the alignment, we can directly obtain a functional prediction from the alignment statistics by applying a Walsh-Hadamard transform, fully analogous to the transformation that reconstructs functional data from measured epistatic contributions. This embedding into the Hadamard framework is directly relevant for solidifying our theoretical understanding of statistical methods that predict function and three-dimensional structure from natural alignments.


title: Evolution of major sedimentary mounds on Mars

abstract: We present a new database of $>$300 layer-orientations from sedimentary mounds on Mars. These layer orientations, together with draped landslides, and draping of rocks over differentially-eroded paleo-domes, indicate that for the stratigraphically-uppermost $\sim$1 km, the mounds formed by the accretion of draping strata in a mound-shape. The layer-orientation data further suggest that layers lower down in the stratigraphy also formed by the accretion of draping strata in a mound-shape. The data are consistent with terrain-influenced wind erosion, but inconsistent with tilting by flexure, differential compaction over basement, or viscoelastic rebound. We use a simple landscape evolution model to show how the erosion and deposition of mound strata can be modulated by shifts in obliquity. The model is driven by multi-Gyr calculations of Mars' chaotic obliquity and a parameterization of terrain-influenced wind erosion that is derived from mesoscale modeling. Our results suggest that mound-spanning unconformities with kilometers of relief emerge as the result of chaotic obliquity shifts. Our results support the interpretation that Mars' rocks record intermittent liquid-water runoff during a $>$10$^8$-yr interval of sedimentary rock emplacement.


title: Using a DPG method to validate DMA experimental calibration of viscoelastic materials

abstract: A discontinuous Petrov-Galerkin (DPG) method is used to solve the time-harmonic equations of linear viscoelasticity. It is based on a "broken" primal variational formulation, which is very similar to the classical primal variational formulation used in Galerkin methods, but has additional "interface" variables at the boundaries of the mesh elements. Both the classical and broken formulations are proved to be well-posed in the infinite-dimensional setting, and the resulting discretization is proved to be stable. A full $hp$-convergence analysis is also included, and the analysis is verified using computational simulations. The method is particularly useful as it carries its own natural arbitrary-$p$ a posteriori error estimator, which is fundamental for solving problems with localized solution features. This proves to be useful when validating calibration models of dynamic mechanical analysis (DMA) experiments. Indeed, different DMA experiments of epoxy and silicone resins were successfully validated to within $5\%$ of the quantity of interest using the numerical method.


title: Rokhlin dimension for compact quantum group actions

abstract: We show that, for a given compact or discrete quantum group $G$, the class of actions of $G$ on C*-algebras is first-order axiomatizable in the logic for metric structures. As an application, we extend the notion of Rokhlin property for $G$-C*-algebra, introduced by Barlak, Szab\'{o}, and Voigt in the case when $G$ is second countable and coexact, to an arbitrary compact quantum group $G$. All the the preservations and rigidity results for Rokhlin actions of second countable coexact compact quantum groups obtained by Barlak, Szab\'{o}, and Voigt are shown to hold in this general context. As a further application, we extend the notion of equivariant order zero dimension for equivariant *-homomorphisms, introduced in the classical setting by the first and third authors, to actions of compact quantum groups. This allows us to define the Rokhlin dimension of an action of a compact quantum group on a C*-algebra, recovering the Rokhlin property as Rokhlin dimension zero. We conclude by establishing a preservation result for finite nuclear dimension and finite decomposition rank when passing to fixed point algebras and crossed products by compact quantum group actions with finite Rokhlin dimension.


title: Learning Visual Servoing with Deep Features and Fitted Q-Iteration

abstract: Visual servoing involves choosing actions that move a robot in response to observations from a camera, in order to reach a goal configuration in the world. Standard visual servoing approaches typically rely on manually designed features and analytical dynamics models, which limits their generalization capability and often requires extensive application-specific feature and model engineering. In this work, we study how learned visual features, learned predictive dynamics models, and reinforcement learning can be combined to learn visual servoing mechanisms. We focus on target following, with the goal of designing algorithms that can learn a visual servo using low amounts of data of the target in question, to enable quick adaptation to new targets. Our approach is based on servoing the camera in the space of learned visual features, rather than image pixels or manually-designed keypoints. We demonstrate that standard deep features, in our case taken from a model trained for object classification, can be used together with a bilinear predictive model to learn an effective visual servo that is robust to visual variation, changes in viewing angle and appearance, and occlusions. A key component of our approach is to use a sample-efficient fitted Q-iteration algorithm to learn which features are best suited for the task at hand. We show that we can learn an effective visual servo on a complex synthetic car following benchmark using just 20 training trajectory samples for reinforcement learning. We demonstrate substantial improvement over a conventional approach based on image pixels or hand-designed keypoints, and we show an improvement in sample-efficiency of more than two orders of magnitude over standard model-free deep reinforcement learning algorithms. Videos are available at http://rll.berkeley.edu/visual_servoing .


title: Eremenko points and the structure of the escaping set

abstract: Much recent work on the iterates of a transcendental entire function $f$ has been motivated by Eremenko's conjecture that all the components of the escaping set $I(f)$ are unbounded. Here we show that if $I(f)$ is disconnected, then the set $I(f)\setminus D$ has uncountably many unbounded components for any open disc $D$ that meets the Julia set of $f$. For the set $A_R(f)$, which is the `core' of the fast escaping set, we prove the much stronger result that for some $R>0$ either $A_R(f)$ is connected and has the structure of an infinite spider's web or it has uncountably many components each of which is unbounded. There are analogous results for the intersections of these sets with the Julia set when no multiply connected wandering domains are present, but strikingly different results when they are present. In proving these, we obtain the unexpected result that multiply connected wandering domains can have complementary components with no interior, indeed uncountably many.


title: Quantum supremacy in constant-time measurement-based computation: A unified architecture for sampling and verification

abstract: While quantum speed-up in solving certain decision problems by a fault-tolerant universal quantum computer has been promised, a timely research interest includes how far one can reduce the resource requirement to demonstrate a provable advantage in quantum devices without demanding quantum error correction, which is crucial for prolonging the coherence time of qubits. We propose a model device made of locally-interacting multiple qubits, designed such that simultaneous single-qubit measurements on it can output probability distributions whose average-case sampling is classically intractable, under similar assumptions as the sampling of non-interacting bosons and instantaneous quantum circuits. Notably, in contrast to these previous unitary-based realizations, our measurement-based implementation has two distinctive features. (i) Our implementation involves no adaptation of measurement bases, leading output probability distributions to be generated in constant time, independent of the system size. Thus, it could be implemented in principle without quantum error correction. (ii) Verifying the classical intractability of our sampling is done by changing the Pauli measurement bases only at certain output qubits. Our usage of random commuting quantum circuits in place of computationally universal circuits allows a unique unification of sampling and verification, so that they require the same physical resource requirements in contrast to the more demanding verification protocols seen elsewhere in the literature.


title: Making Sense of Bell's Theorem and Quantum Nonlocality

abstract: Bell's theorem has fascinated physicists and philosophers since his 1964 paper, which was written in response to the 1935 paper of Einstein, Podolsky, and Rosen. Bell's theorem and its many extensions have led to the claim that quantum mechanics and by inference nature herself are nonlocal in the sense that a measurement on a system by an observer at one location has an immediate effect on a distant "entangled" system (one with which the original system has previously interacted). Einstein was repulsed by such "spooky action at a distance" and was led to question whether quantum mechanics could provide a complete description of physical reality. In this paper I argue that quantum mechanics does not require spooky action at a distance of any kind and yet it is entirely reasonable to question the assumption that quantum mechanics can provide a complete description of physical reality. The magic of entangled quantum states has little to do with entanglement and everything to do with superposition, a property of all quantum systems and a foundational tenet of quantum mechanics.


title: On-the-fly algorithm for Dynamic Mode Decomposition using Incremental Singular Value Decomposition and Total Least Squares

abstract: Dynamic Mode Decomposition (DMD) is a useful tool to effectively extract the dominant dynamic flow structure from a unsteady flow field. However, DMD requires massive computational resources with respect to memory consumption and the usage of storage. In this paper, an alternative incremental algorithm of Total DMD (Incremental TDMD) is proposed which is based on Incremental Singular Value Decomposition (SVD). The advantage of Incremental TDMD compared to the existing on-the-fly algorithms of DMD is that Sparsity-Promoting DMD (SPDMD) can be performed after the incremental process without saving huge datasets on the disk space. SPDMD combined with Incremental TDMD enable the effective identification of dominant modes which are relevant to the results from conventional TDMD combined with SPDMD.


title: A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing

abstract: The usual epistemic S5 model for multi-agent systems is a Kripke graph, whose edges are labeled with the agents that do not distinguish between two states. We propose to uncover the higher dimensional information implicit in the Kripke graph, by using as a model its dual, a chromatic simplicial complex. For each state of the Kripke model there is a facet in the complex, with one vertex per agent. If an edge (u,v) is labeled with a set of agents S, the facets corresponding to u and v intersect in a simplex consisting of one vertex for each agent of S. Then we use dynamic epistemic logic to study how the simplicial complex epistemic model changes after the agents communicate with each other. We show that there are topological invariants preserved from the initial epistemic complex to the epistemic complex after an action model is applied, that depend on how reliable the communication is. In turn these topological properties determine the knowledge that the agents may gain after the communication happens.


title: Exact solution to the steady-state dynamics of a periodically-modulated resonator

abstract: We provide an analytic solution to the coupled-mode equations describing the steady-state of a single periodically-modulated optical resonator driven by a monochromatic input. The phenomenology of this system was qualitatively understood only in the adiabatic limit, i.e. for low modulation speed. However, both in and out of this regime, we find highly non-trivial effects for specific parameters of the modulation. For example, we show complete suppression of the transmission even with zero detuning between the input and the static resonator frequency. We also demonstrate the possibility for complete, lossless frequency conversion of the input into the side-band frequencies, as well as for optimizing the transmitted signal towards a given target temporal waveform. The analytic results are validated by first-principle simulations.


title: Quintessential Quartic Quasi-topological Quartet

abstract: We construct the quartic version of generalized quasi-topological gravity, which was recently constructed to cubic order in arXiv: 1703.01631. This class of theories includes Lovelock gravity and a known form of quartic quasi-topological gravity as special cases and possess a number of remarkable properties: (i) In vacuum, or in the presence of suitable matter, there is a single independent field equation which is a total derivative. (ii) At the linearized level, the equations of motion on a maximally symmetric background are second order, coinciding with the linearized Einstein equations up to a redefinition of Newton's constant. Therefore, these theories propagate only the massless, transverse graviton on a maximally symmetric background. (iii) While the Lovelock and quasi-topological terms are trivial in four dimensions, there exist four new generalized quasi-topological terms (the quartet) that are nontrivial, leading to interesting higher curvature theories in $d \geq 4$ dimensions that appear well suited for holographic study. We construct four dimensional black hole solutions to the theory and study their properties. A study of black brane solutions in arbitrary dimensions reveals that these solutions are modified from the `universal' properties these solutions have. This result may lead to interesting consequences for the dual CFTs.


title: Computing Nonvacuous Generalization Bounds for Deep (Stochastic) Neural Networks with Many More Parameters than Training Data

abstract: One of the defining properties of deep learning is that models are chosen to have many more parameters than available training data. In light of this capacity for overfitting, it is remarkable that simple algorithms like SGD reliably return solutions with low test error. One roadblock to explaining these phenomena in terms of implicit regularization, structural properties of the solution, and/or easiness of the data is that many learning bounds are quantitatively vacuous when applied to networks learned by SGD in this "deep learning" regime. Logically, in order to explain generalization, we need nonvacuous bounds. We return to an idea by Langford and Caruana (2001), who used PAC-Bayes bounds to compute nonvacuous numerical bounds on generalization error for stochastic two-layer two-hidden-unit neural networks via a sensitivity analysis. By optimizing the PAC-Bayes bound directly, we are able to extend their approach and obtain nonvacuous generalization bounds for deep stochastic neural network classifiers with millions of parameters trained on only tens of thousands of examples. We connect our findings to recent and old work on flat minima and MDL-based explanations of generalization.


title: Rotational inertia interface in a dynamic lattice of flexural beams

abstract: The paper presents a novel analysis of a transmission problem for a network of flexural beams incorporating conventional Euler-Bernoulli beams as well as Rayleigh beams with the enhanced rotational inertia. Although, in the low-frequency regime, these beams have a similar dynamic response, we have demonstrated novel features which occur in the transmission at higher frequencies across the layer of the Rayleigh beams.


title: The fading of Cassiopeia A, and improved models for the absolute spectrum of primary radio calibration sources

abstract: Based on five years of observations with the 40-foot telescope at Green Bank Observatory (GBO), Reichart & Stephens (2000) found that the radio source Cassiopeia A had either faded more slowly between the mid-1970s and late 1990s than Baars et al. (1977) had found it to be fading between the late 1940s and mid-1970s, or that it had rebrightened and then resumed fading sometime between the mid-1970s and mid-1990s, in L band (1.4 GHz). Here, we present 15 additional years of observations of Cas A and Cyg A with the 40-foot in L band, and three and a half additional years of observations of Cas A, Cyg A, Tau A, and Vir A with GBO's recently refurbished 20-meter telescope in L and X (9 GHz) bands. We also present a more sophisticated analysis of the 40-foot data, and a reanalysis of the Baars et al. (1977) data, which reveals small, but non-negligible differences. We find that overall, between the late 1950s and late 2010s, Cas A faded at an average rate of $0.670 \pm 0.019$ %/yr in L band, consistent with Reichart & Stephens (2000). However, we also find, at the 6.3$\sigma$ credible level, that it did not fade at a constant rate. Rather, Cas A faded at a faster rate through at least the late 1960s, rebrightened (or at least faded at a much slower rate), and then resumed fading at a similarly fast rate by, at most, the late 1990s. Given these differences from the original Baars et al. (1977) analysis, and given the importance of their fitted spectral and temporal models for flux-density calibration in radio astronomy, we update and improve on these models for all four of these radio sources. In doing so, we additionally find that Tau A is fading at a rate of $0.102^{+0.042}_{-0.043}$ %/yr in L band.


title: Spectral Methods for Nonparametric Models

abstract: Nonparametric models are versatile, albeit computationally expensive, tool for modeling mixture models. In this paper, we introduce spectral methods for the two most popular nonparametric models: the Indian Buffet Process (IBP) and the Hierarchical Dirichlet Process (HDP). We show that using spectral methods for the inference of nonparametric models are computationally and statistically efficient. In particular, we derive the lower-order moments of the IBP and the HDP, propose spectral algorithms for both models, and provide reconstruction guarantees for the algorithms. For the HDP, we further show that applying hierarchical models on dataset with hierarchical structure, which can be solved with the generalized spectral HDP, produces better solutions to that of flat models regarding likelihood performance.


title: Pulsed high magnetic field measurement via a Rubidium vapor sensor

abstract: We present a new technique to measure pulsed magnetic fields based on the use of Rubidium in gas phase as a metrological standard. We have therefore developed an instrument based on laser inducing transitions at about 780~nm (D2 line) in a Rubidium gas contained in a mini-cell of 3~mm~x~3~mm cross section. To be able to insert such a cell in a standard high field pulsed magnet we have realized a fibred probe kept at a fixed temperature. Transition frequencies for both the $\pi$ (light polarization parallel to the magnetic field) and $\sigma$ (light polarization perpendicular to the magnetic field) configurations are measured by a commercial wavemeter. One innovation of our sensor is that in addition of monitoring the light transmitted by the Rb cell, which is usual, we also monitor the fluorescence emission of the gas sample from a very small volume with the advantage of reducing the impact of the field inhomogeneity on the field measurement. Our sensor has been tested up to about 58~T.


title: A note on the possibility of incomplete theory

abstract: In the paper it is demonstrated that Bells theorem is an unprovable theorem.


title: Galaxy metallicity scaling relations in the EAGLE simulations

abstract: We quantify the correlations between gas-phase and stellar metallicities and global properties of galaxies, such as stellar mass, halo mass, age and gas fraction, in the Evolution and Assembly of GaLaxies and their Environments (EAGLE) suite of cosmological hydrodynamical simulations. The slope of the correlation between stellar mass and metallicity of star-forming (SF) gas ($M_*-Z_{\rm SF,gas}$ relation) depends somewhat on resolution, with the higher-resolution run reproducing a steeper slope. This simulation predicts a non-zero metallicity evolution, increasing by $\approx 0.5$ dex at $\sim 10^9 {\rm M}_{\odot}$ since $z = 3$. The simulated relation between stellar mass, metallicity and star formation rate at $z \lesssim 5$ agrees remarkably well with the observed fundamental metallicity relation. At $M_* \lesssim 10^{10.3} {\rm M}_{\odot}$ and fixed stellar mass, higher metallicities are associated with lower specific star formation rates, lower gas fractions and older stellar populations. On the other hand, at higher $M_*$, there is a hint of an inversion of the dependence of metallicity on these parameters. The fundamental parameter that best correlates with the metal content, in the simulations, is the gas fraction. The simulated gas fraction-metallicity relation exhibits small scatter and does not evolve significantly since $z = 3$. In order to better understand the origin of these correlations, we analyse a set of lower resolution simulations in which feedback parameters are varied. We find that the slope of the simulated $M_*-Z_{\rm SF,gas}$ relation is mostly determined by stellar feedback at low stellar masses ($M_* \lesssim 10^{10} {\rm M}_{\odot}$), and at high masses ($M_* \gtrsim 10^{10} {\rm M}_{\odot}$) by the feedback from active galactic nuclei.


title: The Repeated Divisor Function and Possible Correlation with Highly Composite Numbers

abstract: Let n be a non-null positive integer and $d(n)$ is the number of positive divisors of n, called the divisor function. Of course, $d(n) \leq n$. $d(n) = 1$ if and only if $n = 1$. For $n > 2$ we have $d(n) \geq 2$ and in this paper we try to find the smallest $k$ such that $d(d(...d(n)...)) = 2$ where the divisor function is applied $k$ times. At the end of the paper we make a conjecture based on some observations.


title: Hilbert Series and Operator Basis for NRQED and NRQCD/HQET

abstract: We use a Hilbert series to construct an operator basis in the $1/m$ expansion of a theory with a nonrelativistic heavy fermion in an electromagnetic (NRQED) or color gauge field (NRQCD/HQET). We present a list of effective operators with mass dimension $d\leq 8$. Comparing to the current literature, our results for NRQED agree for $d\leq 8$, but there are some discrepancies in NRQCD/HQET at $d=7$ and 8.


title: Prospects for observing extreme-mass-ratio inspirals with LISA

abstract: One of the key astrophysical sources for the Laser Interferometer Space Antenna (LISA) are the inspirals of stellar-origin compact objects into massive black holes in the centres of galaxies. These extreme-mass-ratio inspirals (EMRIs) have great potential for astrophysics, cosmology and fundamental physics. In this paper we describe the likely numbers and properties of EMRI events that LISA will observe. We present the first results computed for the 2.5 Gm interferometer that was the new baseline mission submitted in January 2017 in response to the ESA L3 mission call. In addition, we attempt to quantify the astrophysical uncertainties in EMRI event rate estimates by considering a range of different models for the astrophysical population. We present both likely event rates and estimates for the precision with which the parameters of the observed sources could be measured. We finish by discussing the implications of these results for science using EMRIs.


title: Neutrino Intensity Interferometry: Measuring Proto-neutron Star Radii During Core-Collapse Supernovae

abstract: Intensity interferometry is a technique that has been used to measure the size of sources ranging from the quark-gluon plasma formed in heavy ion collisions to the radii of stars. We investigate using the same technique to measure proto-neutron star (PNS) radii with the neutrino signal received from a core-collapse supernovae. Using a full wave-packet analysis, including the neutrino mass for the first time, we derive criteria where the effect can be expected to provide the desired signal, and find that neutrinos from the next Galactic supernova should contain extractable PNS radius information.


title: The Onset of Thermally Unstable Cooling from the Hot Atmospheres of Giant Galaxies in Clusters - Constraints on Feedback Models

abstract: We present accurate mass and thermodynamic profiles for a sample of 56 galaxy clusters observed with the Chandra X-ray Observatory. We investigate the effects of local gravitational acceleration in central cluster galaxies, and we explore the role of the local free-fall time (t$_{\rm ff}$) in thermally unstable cooling. We find that the local cooling time (t$_{\rm cool}$) is as effective an indicator of cold gas, traced through its nebular emission, as the ratio of t$_{\rm cool}$/t$_{\rm ff}$. Therefore, t$_{\rm cool}$ alone apparently governs the onset of thermally unstable cooling in hot atmospheres. The location of the minimum t$_{\rm cool}$/t$_{\rm ff}$, a thermodynamic parameter that simulations suggest may be key in driving thermal instability, is unresolved in most systems. As a consequence, selection effects bias the value and reduce the observed range in measured t$_{\rm cool}$/t$_{\rm ff}$ minima. The entropy profiles of cool-core clusters are characterized by broken power-laws down to our resolution limit, with no indication of isentropic cores. We show, for the first time, that mass isothermality and the $K \propto r^{2/3}$ entropy profile slope imply a floor in t$_{\rm cool}$/t$_{\rm ff}$ profiles within central galaxies. No significant departures of t$_{\rm cool}$/t$_{\rm ff}$ below 10 are found, which is inconsistent with many recent feedback models. The inner densities and cooling times of cluster atmospheres are resilient to change in response to powerful AGN activity, suggesting that the energy coupling between AGN heating and atmospheric gas is gentler than most models predict.


title: Massive Quiescent Galaxies at z>3 in The Millennium Simulation Populated by A Semi-analytic Galaxy Formation Model

abstract: We take advantage of the statistical power of the large-volume dark-matter-only Millennium simulation, combined with a sophisticated semi-analytic galaxy formation model, to explore whether the recently reported $z=3.7$ quiescent galaxy ZF-COSMOS-20115 (ZF; Glazebrook et al. 2017) can be accommodated in current galaxy formation models. In our model, a population of quiescent galaxies (QGs) with stellar masses and star formation rates comparable to those of ZF naturally emerges at redshifts $z<4$. There are two and five ZF analogues at the redshift $3.86$ and $3.58$ in the Millennium simulation volume, respectively. We demonstrate that, while the $z>3.5$ massive QGs are rare (about 2\% of the galaxies with the similar stellar masses), the existing AGN feedback model implemented in the semi-analytic galaxy formation model can successfully explain the formation of the high-redshift QGs as it does on their lower redshift counterparts.


title: High-speed noise-free optical quantum memory

abstract: Quantum networks promise to revolutionise computing, simulation, and communication. Light is the ideal information carrier for quantum networks, as its properties are not degraded by noise in ambient conditions, and it can support large bandwidths enabling fast operations and a large information capacity. Quantum memories, devices that store, manipulate, and release on demand quantum light, have been identified as critical components of photonic quantum networks, because they facilitate scalability. However, any noise introduced by the memory can render the device classical by destroying the quantum character of the light. Here we introduce an intrinsically noise-free memory protocol based on two-photon off-resonant cascaded absorption (ORCA). We consequently demonstrate for the first time successful storage of GHz-bandwidth heralded single photons in a warm atomic vapour with no added noise; confirmed by the unaltered photon statistics upon recall. Our ORCA memory platform meets the stringent noise-requirements for quantum memories whilst offering technical simplicity and high-speed operation, and therefore is immediately applicable to low-latency quantum networks.


title: Importance of resolving the spectral support of beam-plasma instabilities in simulations

abstract: Many astrophysical plasmas are prone to beam-plasma instabilities. For relativistic and dilute beams, the {\it spectral} support of the beam-plasma instabilities is narrow, i.e., the linearly unstable modes that grow with rates comparable to the maximum growth rate occupy a narrow range of wave numbers. This places stringent requirements on the box-sizes when simulating the evolution of the instabilities. We identify the implied lower limits on the box size imposed by the longitudinal beam plasma instability, i.e., typically the most stringent condition required to correctly capture the linear evolution of the instabilities in multidimensional simulations. We find that sizes many orders of magnitude larger than the resonant wavelength are typically required. Using one-dimensional particle-in-cell simulations, we show that the failure to sufficiently resolve the spectral support of the longitudinal instability yields slower growth and lower levels of saturation, potentially leading to erroneous physical conclusion.


title: Linking High-Energy Cosmic Particles by Black-Hole Jets Embedded in Large-Scale Structures

abstract: The origin of ultrahigh-energy cosmic rays (UHECRs) is a half-century old enigma (Linsley 1963). The mystery has been deepened by an intriguing coincidence: over ten orders of magnitude in energy, the energy generation rates of UHECRs, PeV neutrinos, and isotropic sub-TeV gamma rays are comparable, which hints at a grand-unified picture (Murase and Waxman 2016). Here we report that powerful black hole jets in aggregates of galaxies can supply the common origin of all of these phenomena. Once accelerated by a jet, low-energy cosmic rays confined in the radio lobe are adiabatically cooled; higher-energy cosmic rays leaving the source interact with the magnetized cluster environment and produce neutrinos and gamma rays; the highest-energy particles escape from the host cluster and contribute to the observed cosmic rays above 100 PeV. The model is consistent with the spectrum, composition, and isotropy of the observed UHECRs, and also explains the IceCube neutrinos and the non-blazar component of the Fermi gamma-ray background, assuming a reasonable energy output from black hole jets in clusters.


title: Opinion Mining on Non-English Short Text

abstract: As the type and the number of such venues increase, automated analysis of sentiment on textual resources has become an essential data mining task. In this paper, we investigate the problem of mining opinions on the collection of informal short texts. Both positive and negative sentiment strength of texts are detected. We focus on a non-English language that has few resources for text mining. This approach would help enhance the sentiment analysis in languages where a list of opinionated words does not exist. We propose a new method projects the text into dense and low dimensional feature vectors according to the sentiment strength of the words. We detect the mixture of positive and negative sentiments on a multi-variant scale. Empirical evaluation of the proposed framework on Turkish tweets shows that our approach gets good results for opinion mining.


title: Pseudodifferential Operators, Rellich-Kondrachov Theorem and Hardy-Sobolev Spaces

abstract: We will present versions of the Rellich-Kondrachov theorem for pseudo-differential operators acting on localizable Hardy spaces. One of the techniques includes boundedness properties for pseudodifferential operators with symbols in the H\"ormander class, that might be of interest in his own right, extending results previously obtained by Goldberg, Alvarez and Hounie, Taylor - among others. As application, we obtain compact embedding results for distributions in nonhomogeneous localizable Hardy-Sobolev spaces.


title: Automorphisms of certain affine complements in the projective space

abstract: We prove that every biregular automorphism of the affine algebraic variety ${\mathbb P}^M\setminus S$, $M\geqslant 3$, where $S\subset {\mathbb P}^M$ is a hypersurface of degree $m\geqslant M+1$ with a unique singular point of multiplicity $(m-1)$, resolved by one blow up, is a restriction of some automorphism of the projective space ${\mathbb P}^M$, preserving the hypersurface $S$; in particular, for a general hypersurface $S$ the group $\mathop{\rm Aut} ({\mathbb P}^M\setminus S)$ is trivial.


title: Transport through an AC driven impurity: Fano interference and bound states in the continuum

abstract: Using the Floquet formalism we study transport through an AC-driven impurity in a tight binding chain. The results obtained are exact and valid for all frequencies and barrier amplitudes. At frequencies comparable to the bulk bandwidth we observe a breakdown of the transmission $T=0$ which is related to the phenomenon of Fano resonances associated to AC-driven bound states in the continuum. We also demonstrate that the location and width of these resonances can be modified by tuning the frequency and amplitude of the driving field. At high frequencies there is a close relation between the resonances and the phenomenon of coherent destruction of tunneling. As the frequency is lowered no more resonances are possible below a critical value and the results approach a simple time average of the static transmission.


title: Elliptic Well-Poised Bailey Transforms and Lemmas on Root Systems

abstract: We list $A_n$, $C_n$ and $D_n$ extensions of the elliptic WP Bailey transform and lemma, given for $n=1$ by Andrews and Spiridonov. Our work requires multiple series extensions of Frenkel and Turaev's terminating, balanced and very-well-poised ${}_{10}V_9$ elliptic hypergeometric summation formula due to Rosengren, and Rosengren and Schlosser. In our study, we discover two new $A_n$ ${}_{12}V_{11}$ transformation formulas, that reduce to two new $A_n$ extensions of Bailey's $_{10}\phi_9$ transformation formulas when the nome $p$ is $0$, and two multiple series extensions of Frenkel and Turaev's sum.


title: Canonical and log canonical thresholds of Fano complete intersections

abstract: It is proved that the global log canonical threshold of a Zariski general Fano complete intersection of index 1 and codimension $k$ in ${\mathbb P}^{M+k}$ is equal to one, if $M\geqslant 2k+3$ and the maximum of the degrees of defining equations is at least 8. This is an essential improvements of the previous results about log canonical thresholds of Fano complete intersections. As a corollary we obtain the existence of K\" ahler-Einstein metrics on generic Fano complete intersections described above.


title: Empirical constraints on the origin of fast radio bursts: volumetric rates and host galaxy demographics as a test of millisecond magnetar connection

abstract: The localization of the repeating FRB 121102 to a low-metallicity dwarf galaxy at $z=0.193$, and its association with a quiescent radio source, suggests the possibility that FRBs originate from magnetars, formed by the unusual supernovae in such galaxies. We investigate this via a comparison of magnetar birth rates, the FRB volumetric rate, and host galaxy demographics. We calculate average volumetric rates of possible millisecond magnetar production channels such as superluminous supernovae (SLSNe), long and short gamma-ray bursts (GRBs), and general magnetar production via core-collapse supernovae. For each channel we also explore the expected host galaxy demographics using their known properties. We determine for the first time the number density of FRB emitters (the product of their volumetric birthrate and lifetime), $R_{\rm FRB}\tau\approx 10^4$Gpc$^{-3}$, assuming that FRBs are predominantly emitted from repetitive sources similar to FRB 121102 and adopting a beaming factor of 0.1. By comparing rates we find that production via rare channels (SLSNe, GRBs) implies a typical FRB lifetime of $\approx$30-300 yr, in good agreement with other lines of argument. The total energy emitted over this time is consistent with the available energy stored in the magnetic field. On the other hand, any relation to magnetars produced via normal core-collapse supernovae leads to a very short lifetime of $\approx$0.5yr, in conflict with both theory and observation. We demonstrate that due to the diverse host galaxy distributions of the different progenitor channels, many possible sources of FRB birth can be ruled out with $\lesssim 10$ host galaxy identifications. Conversely, targeted searches of galaxies that have previously hosted decades-old SLSNe and GRBs may be a fruitful strategy for discovering new FRBs and related quiescent radio sources, and determining the nature of their progenitors.


title: On the Reliable Detection of Concept Drift from Streaming Unlabeled Data

abstract: Classifiers deployed in the real world operate in a dynamic environment, where the data distribution can change over time. These changes, referred to as concept drift, can cause the predictive performance of the classifier to drop over time, thereby making it obsolete. To be of any real use, these classifiers need to detect drifts and be able to adapt to them, over time. Detecting drifts has traditionally been approached as a supervised task, with labeled data constantly being used for validating the learned model. Although effective in detecting drifts, these techniques are impractical, as labeling is a difficult, costly and time consuming activity. On the other hand, unsupervised change detection techniques are unreliable, as they produce a large number of false alarms. The inefficacy of the unsupervised techniques stems from the exclusion of the characteristics of the learned classifier, from the detection process. In this paper, we propose the Margin Density Drift Detection (MD3) algorithm, which tracks the number of samples in the uncertainty region of a classifier, as a metric to detect drift. The MD3 algorithm is a distribution independent, application independent, model independent, unsupervised and incremental algorithm for reliably detecting drifts from data streams. Experimental evaluation on 6 drift induced datasets and 4 additional datasets from the cybersecurity domain demonstrates that the MD3 approach can reliably detect drifts, with significantly fewer false alarms compared to unsupervised feature based drift detectors. The reduced false alarms enables the signaling of drifts only when they are most likely to affect classification performance. As such, the MD3 approach leads to a detection scheme which is credible, label efficient and general in its applicability.


title: Optical Lattice Trap for Kerr Solitons

abstract: We show theoretically and numerically that dichromatic pumping of a nonlinear microresonator by two continuous wave coherent optical pumps creates an optical lattice trap that results in the localization of intra-cavity Kerr solitons with soliton positions defined by the beat frequency of the pumps. This phenomenon corresponds to the stabilization of the Kerr frequency comb repetition rate. The locking of the second pump, through adiabatic tuning of its frequency, to the comb generated by the first pump allows transitioning to single-soliton states, manipulating the position of Kerr solitons in the cavity, and tuning the frequency comb repetition rate within the locking range. It also explains soliton crystal formation in resonators supporting a dispersive wave emitted as a result of higher-order group velocity dispersion or avoided mode crossing. We show that dichromatic pumping by externally stabilized pumps can be utilized for stabilization of microresonator-based optical frequency combs when the comb span does not cover an octave or a significant fraction thereof and standard self-referencing techniques cannot be employed. Our findings have significant ramifications for high-precision applications of optical frequency combs in spectrally pure signal generation, metrology, and timekeeping.


title: The GBT Beam Shape at 109 GHz

abstract: With the installation of the Argus 16-pixel receiver covering 75-115 GHz on the Green Bank Telescope (GBT), it is now possible to characterize the antenna beam at very high frequencies, where the use of the active surface and out-of-focus holography are critical to the telescope's performance. A recent measurement in good weather conditions (low atmospheric opacity, low winds, and stable night-time thermal conditions) at 109.4 GHz yielded a FWHM beam of 6.7"x6.4" in azimuth and elevation, respectively. This corresponds to 1.16+/-0.03 Lambda/D at 109.4 GHz. The derived ratio agrees well with the low-frequency value of 1.18+/-0.03 Lambda/D measured at 9.0 GHz. There are no detectable side-lobes at either frequency. In good weather conditions and after applying the standard antenna corrections (pointing, focus, and the active surface corrections for gravity and thermal effects), there is no measurable degradation of the beam of the GBT at its highest operational frequencies.


title: Upper Bounds on the Runtime of the Univariate Marginal Distribution Algorithm on OneMax

abstract: A runtime analysis of the Univariate Marginal Distribution Algorithm (UMDA) is presented on the OneMax function for wide ranges of its parameters $\mu$ and $\lambda$. If $\mu\ge c\log n$ for some constant $c>0$ and $\lambda=(1+\Theta(1))\mu$, a general bound $O(\mu n)$ on the expected runtime is obtained. This bound crucially assumes that all marginal probabilities of the algorithm are confined to the interval $[1/n,1-1/n]$. If $\mu\ge c' \sqrt{n}\log n$ for a constant $c'>0$ and $\lambda=(1+\Theta(1))\mu$, the behavior of the algorithm changes and the bound on the expected runtime becomes $O(\mu\sqrt{n})$, which typically even holds if the borders on the marginal probabilities are omitted. The results supplement the recently derived lower bound $\Omega(\mu\sqrt{n}+n\log n)$ by Krejca and Witt (FOGA 2017) and turn out as tight for the two very different values $\mu=c\log n$ and $\mu=c'\sqrt{n}\log n$. They also improve the previously best known upper bound $O(n\log n\log\log n)$ by Dang and Lehre (GECCO 2015).


title: Low frequency spectral energy distributions of radio pulsars detected with the Murchison Widefield Array

abstract: We present low-frequency spectral energy distributions of 60 known radio pulsars observed with the Murchison Widefield Array (MWA) telescope. We searched the GaLactic and Extragalactic All-sky MWA (GLEAM) survey images for 200-MHz continuum radio emission at the position of all pulsars in the ATNF pulsar catalogue. For the 60 confirmed detections we have measured flux densities in 20 x 8 MHz bands between 72 and 231 MHz. We compare our results to existing measurements and show that the MWA flux densities are in good agreement.


title: Improved Training of Wasserstein GANs

abstract: Generative Adversarial Networks (GANs) are powerful generative models, but suffer from training instability. The recently proposed Wasserstein GAN (WGAN) makes progress toward stable training of GANs, but sometimes can still generate only low-quality samples or fail to converge. We find that these problems are often due to the use of weight clipping in WGAN to enforce a Lipschitz constraint on the critic, which can lead to undesired behavior. We propose an alternative to clipping weights: penalize the norm of gradient of the critic with respect to its input. Our proposed method performs better than standard WGAN and enables stable training of a wide variety of GAN architectures with almost no hyperparameter tuning, including 101-layer ResNets and language models over discrete data. We also achieve high quality generations on CIFAR-10 and LSUN bedrooms.


title: A proof of Wright's conjecture

abstract: Wright's conjecture states that the origin is the global attractor for the delay differential equation $y'(t) = - \alpha y(t-1) [ 1 + y(t) ] $ for all $\alpha \in (0,\tfrac{\pi}{2}]$. This has been proven to be true for a subset of parameter values $\alpha$. We extend the result to the full parameter range $\alpha \in (0,\tfrac{\pi}{2}]$, and thus prove Wright's conjecture to be true. Our approach relies on a careful investigation of the neighborhood of the Hopf bifurcation occurring at $\alpha =\tfrac{\pi}{2}$. This analysis fills the gap left by complementary work on Wright's conjecture, which covers parameter values further away from the bifurcation point. Furthermore, we show that the branch of (slowly oscillating) periodic orbits originating from this Hopf bifurcation does not have any subsequent bifurcations (and in particular no folds) for $\alpha\in(\tfrac{\pi}{2} , \tfrac{\pi}{2} + 6.830 \times 10^{-3}]$. When combined with other results, this proves that the branch of slowly oscillating solutions that originates from the Hopf bifurcation at $\alpha=\tfrac{\pi}{2}$ is globally parametrized by $\alpha > \tfrac{\pi}{2}$.


title: Orbits in the problem of two fixed centers on the sphere

abstract: A trajectory isomorphism between the two Newtonian fixed center problem in the sphere and two associated planar two fixed center problems is constructed by performing two simultaneous gnomonic projections in $S^2$. This isomorphism converts the original quadratures into elliptic integrals and allows the bifurcation diagram of the spherical problem to be analyzed in terms of the corresponding ones of the planar systems. The dynamics along the orbits in the different regimes for the problem in $S^2$ is expressed in terms of Jacobi elliptic functions.


title: Recursive formulas for the motivic Milnor basis

abstract: We give recursive formulas for the generating elements in the Milnor basis of the mod 2 motivic Steenrod algebra.