title: Steklov problem on differential forms

abstract: In this paper we study spectral properties of Dirichlet-to-Neumann map on differential forms obtained by a slight modification of the definition due to Belishev and Sharafutdinov. The resulting operator $\Lambda$ is shown to be self-adjoint on the subspace of coclosed forms and to have purely discrete spectrum there.We investigate properies of eigenvalues of $\Lambda$ and prove a Hersch-Payne-Schiffer type inequality relating products of those eigenvalues to eigenvalues of Hodge Laplacian on the boundary. Moreover, non-trivial eigenvalues of $\Lambda$ are always at least as large as eigenvalues of Dirichlet-to-Neumann map defined by Raulot and Savo. Finally, we remark that a particular case of $p$-forms on the boundary of $2p+2$-dimensional manifold shares a lot of important properties with the classical Steklov eigenvalue problem on surfaces.


title: Analytic continuation and numerical evaluation of the kite integral and the equal mass sunrise integral

abstract: We study the analytic continuation of Feynman integrals from the kite family, expressed in terms of elliptic generalisations of (multiple) polylogarithms. Expressed in this way, the Feynman integrals are functions of two periods of an elliptic curve. We show that all what is required is just the analytic continuation of these two periods. We present an explicit formula for the two periods for all values of $t \in {\mathbb R}$. Furthermore, the nome $q$ of the elliptic curve satisfies over the complete range in $t$ the inequality $|q|\le 1$, where $|q|=1$ is attained only at the singular points $t\in\{m^2,9m^2,\infty\}$. This ensures the convergence of the $q$-series expansion of the $\mathrm{ELi}$-functions and provides a fast and efficient evaluation of these Feynman integrals.


title: Boundary Algebraic Bethe Ansatz for a nineteen vertex model with $U_{q}[\mathrm{osp}(2|2)^{(2)}]$ symmetry

abstract: The boundary algebraic Bethe Ansatz for a supersymmetric nineteen vertex-model constructed from a three-dimensional representation of the twisted quantum affine Lie superalgebra $U_{q}[\mathrm{osp}(2|2)^{(2)}]$ is presented. The eigenvalues and eigenvectors of Sklyanin's transfer matrix, with diagonal reflection $K$-matrices, are calculated and the corresponding Bethe Ansatz equations are obtained.

categories: nlin.SI cond-mat.stat-mech math-ph math.MP


title: A Geometric Analysis Method for Evaluation of Coexistence between DSRC and Wi-Fi at 5.9 GHz

abstract: Co-channel coexistence between Dedicated Short-Range Communications (DSRC) and Wi-Fi needs thorough study. The reason is that although the 5.850-5.925 GHz (5.9 GHz) band has been reserved for DSRC so far, the U.S. government is moving swiftly on opening the band to be shared with Wi-Fi. However, most prior work lacks sufficient scientific rigor by relying on performance metrics such as packet delivery rate (PDR) and packet delay that cannot accurately measure performance of a vehicular network that primarily uses broadcast in dissemination of packets. Precise analysis of such broadcast operation is essential for rigorous investigation of DSRC-Wi-Fi coexistence because most safety-critical applications of DSRC operate based on broadcast. This paper proposes a new metric that can more accurately characterize the performance of a broadcast-based DSRC network. The new metric is used to (i) characterize coexistence of DSRC with IEEE 802.11ac-based Wi-Fi and (ii) suggest selection of key medium access control (MAC) parameters for DSRC: inter-broadcast interval (IBI) and contention window (CW).


title: Classifications of Innovations Survey and Future Directions

abstract: The purpose of this paper is to focus on similarity and/or heterogeneity of taxonomies of innovation present in the economic fields to show as the economic literature uses different names to indicate the same type of technical change and innovation, and the same name for different types of innovation. This ambiguity of classification makes it impossible to compare the various studies; moreover the numerous typologies existing in the economics of innovation, technometrics, economics of technical change, management of technology, etc., have hindered the development of knowledge in these fields. The research presents also new directions on the classification of innovation that try to overcome these problems.


title: Imaging and controlling vortex dynamics in mesoscopic superconductor-normal-metal-superconductor arrays

abstract: Harnessing the properties of vortices in superconductors is crucial for fundamental science and technological applications; thus, it has been an ongoing goal to locally probe and control vortices. Here, we use a scanning probe technique that enables studies of vortex dynamics in superconducting systems by leveraging the resonant behavior of a raster-scanned, magnetic-tipped cantilever. This experimental setup allows us to image and control vortices, as well as extract key energy scales of the vortex interactions. Applying this technique to lattices of superconductor island arrays on a metal, we obtain a variety of striking spatial patterns that encode information about the energy landscape for vortices in the system. We interpret these patterns in terms of local vortex dynamics and extract the relative strengths of the characteristic energy scales in the system, such as the vortex-magnetic field and vortex-vortex interaction strengths, as well as the vortex chemical potential. We also demonstrate that the relative strengths of the interactions can be tuned and show how these interactions shift with an applied bias. The high degree of tunability and local nature of such vortex imaging and control not only enable new understanding of vortex interactions, but also have potential applications in more complex systems such as those relevant to quantum computing.


title: Is error detection helpful on IBM 5Q chips ?

abstract: This paper reports on experiments realized on several IBM 5Q chips which show evidence for the advantage of using error detection and fault-tolerant design of quantum circuits. We show an average improvement of the task of sampling from states that can be fault-tolerantly prepared in the $[[4,2,2]]$ code, when using a fault-tolerant technique well suited to the layout of the chip. By showing that fault-tolerant quantum computation is already within our reach, the author hopes to encourage this approach.


title: Calibration of a two-phase xenon time projection chamber with a $^{37}$Ar source

abstract: We calibrate a two-phase xenon detector at 0.27 keV in the charge channel and at 2.8 keV in both the light and charge channels using a $^{37}$Ar source that is directly released into the detector. We map the light and charge yields as a function of electric drift field. For the 2.8 keV peak, we calculate the Thomas-Imel box parameter for recombination and determine its dependence on drift field. For the same peak, we achieve an energy resolution, $E_{\sigma}/E_{mean}$, between 9.8% and 10.8% for 0.1 kV/cm to 2 kV/cm electric drift fields.


title: Gravity from Quantum Spacetime by Twisted Deformation of the Quantum Poincar\'e Group

abstract: We investigate a quantum geometric space in the context of what could be considered an emerging effective theory from Quantum Gravity. Specifically we consider a two-parameter class of twisted Poincar\'e algebras, from which Lie-algebraic noncommutativities of the translations are derived as well as associative star-products, deformed Riemannian geometries, Lie-algebraic twisted Minkowski spaces and quantum effects that arise as noncommutativities. Starting from a universal differential algebra of forms based on the above mentioned Lie-algebraic noncommutativities of the translations, we construct the noncommutative differential forms and Inner and Outer derivations, which are the noncommutative equivalents of the vector fields in the case of commutative differential geometry. Having established the essentials of this formalism we construct a bimodule, required to be central under the action of the Inner derivations in order to have well defined contractions and from where the algebraic dependence of its coefficients is derived. This again then defines the noncommutative equivalent of the geometrical line-element in commutative differential geometry. We stress, however, that even though the components of the twisted metric are by construction symmetric in their algebra valuation, this is not so for their inverse and thus to construct it we made use of Gel'fand's theory of quasi-determinants, which is conceptually straightforward but computationally becoming quite complicate beyond an algebra of 3 generators. The consequences of the noncommutativity of the Lie-algebra twisted geometry are further discussed.


title: Energy flux enhancement, intermittency and turbulence via Fourier triad phase dynamics in 1D Burgers equation

abstract: We present a theoretical and numerical study of Fourier space triad phase dynamics in one-dimensional stochastically forced Burgers equation at Reynolds number $\mathrm{Re} \approx 2.7 \times 10^4$. We demonstrate that Fourier triad phases over the inertial range display a collective behaviour characterised by intermittent periods of synchronisation and alignment, reminiscent of Kuramoto model (Kuramoto 1984) and directly related to collisions of shocks in physical space. These periods of synchronisation favour efficient energy fluxes across the inertial range towards small scales, resulting in strong bursts of dissipation and enhanced coherence of Fourier energy spectrum. The fast time scale of the onset of synchronisation relegates energy dynamics to a passive role: this is further examined using a reduced system with the Fourier amplitudes fixed in time -- a phase-only model. We show that intermittent triad phase dynamics persists without amplitude evolution and we broadly recover many of the characteristics of the full Burgers system. In addition, for both full Burgers and phase-only systems the physical space velocity statistics reveals that triad phase alignment is directly related to the non-Gaussian statistics typically associated with structure-function intermittency in turbulent systems.


title: Efficient, Safe, and Probably Approximately Complete Learning of Action Models

abstract: In this paper we explore the theoretical boundaries of planning in a setting where no model of the agent's actions is given. Instead of an action model, a set of successfully executed plans are given and the task is to generate a plan that is safe, i.e., guaranteed to achieve the goal without failing. To this end, we show how to learn a conservative model of the world in which actions are guaranteed to be applicable. This conservative model is then given to an off-the-shelf classical planner, resulting in a plan that is guaranteed to achieve the goal. However, this reduction from a model-free planning to a model-based planning is not complete: in some cases a plan will not be found even when such exists. We analyze the relation between the number of observed plans and the likelihood that our conservative approach will indeed fail to solve a solvable problem. Our analysis show that the number of trajectories needed scales gracefully.


title: Deformations of coisotropic submanifolds in Jacobi manifolds

abstract: In this thesis, we study the deformation problem of coisotropic submanifolds in Jacobi manifolds. In particular we attach two algebraic invariants to any coisotropic submanifold $S$ in a Jacobi manifold, namely the $L_\infty[1]$-algebra and the BFV-complex of $S$. Our construction generalizes and unifies analogous constructions in symplectic, Poisson, and locally conformal symplectic geometry. As a new special case we also attach an $L_\infty[1]$-algebra and a BFV-complex to any coisotropic submanifold in a contact manifold. The $L_\infty[1]$-algebra of $S$ controls the formal coisotropic deformation problem of $S$, even under Hamiltonian equivalence. The BFV-complex of $S$ controls the non-formal coisotropic deformation problem of $S$, even under both Hamiltonian and Jacobi equivalence. In view of these results, we exhibit, in the contact setting, two examples of coisotropic submanifolds whose coisotropic deformation problem is obstructed.


title: DeepSecure: Scalable Provably-Secure Deep Learning

abstract: This paper proposes DeepSecure, a novel framework that enables scalable execution of the state-of-the-art Deep Learning (DL) models in a privacy-preserving setting. DeepSecure targets scenarios in which neither of the involved parties including the cloud servers that hold the DL model parameters or the delegating clients who own the data is willing to reveal their information. Our framework is the first to empower accurate and scalable DL analysis of data generated by distributed clients without sacrificing the security to maintain efficiency. The secure DL computation in DeepSecure is performed using Yao's Garbled Circuit (GC) protocol. We devise GC-optimized realization of various components used in DL. Our optimized implementation achieves more than 58-fold higher throughput per sample compared with the best-known prior solution. In addition to our optimized GC realization, we introduce a set of novel low-overhead pre-processing techniques which further reduce the GC overall runtime in the context of deep learning. Extensive evaluations of various DL applications demonstrate up to two orders-of-magnitude additional runtime improvement achieved as a result of our pre-processing methodology. This paper also provides mechanisms to securely delegate GC computations to a third party in constrained embedded settings.


title: Sampling from a log-concave distribution with compact support with proximal Langevin Monte Carlo

abstract: This paper presents a detailed theoretical analysis of the Langevin Monte Carlo sampling algorithm recently introduced in Durmus et al. (Efficient Bayesian computation by proximal Markov chain Monte Carlo: when Langevin meets Moreau, 2016) when applied to log-concave probability distributions that are restricted to a convex body $\mathsf{K}$. This method relies on a regularisation procedure involving the Moreau-Yosida envelope of the indicator function associated with $\mathsf{K}$. Explicit convergence bounds in total variation norm and in Wasserstein distance of order $1$ are established. In particular, we show that the complexity of this algorithm given a first order oracle is polynomial in the dimension of the state space. Finally, some numerical experiments are presented to compare our method with competing MCMC approaches from the literature.


title: Tree-level vacuum stability of two-Higgs-doublet models and new constraints on the scalar potential

abstract: The scalar potential of the two-Higgs-doublet model (2HDM) may have more than one local minimum and the usually considered vacuum could be located at one of them that could decay to another. This paper studies the condition that the usually considered vacuum is the global minimum which, combined with the bounded-from-below condition, will stabilize the vacuum at tree-level. We further apply these conditions to a specific 2HDM and obtain new constraints which could be important in phenomenological studies.


title: Communication vs Distributed Computation: an alternative trade-off curve

abstract: In this paper, we revisit the communication vs. distributed computing trade-off, studied within the framework of MapReduce in [1]. An implicit assumption in the aforementioned work is that each server performs all possible computations on all the files stored in its memory. Our starting observation is that, if servers can compute only the intermediate values they need, then storage constraints do not directly imply computation constraints. We examine how this affects the communication-computation trade-off and suggest that the trade-off be studied with a predetermined storage constraint. We then proceed to examine the case where servers need to perform computationally intensive tasks, and may not have sufficient time to perform all computations required by the scheme in [1]. Given a threshold that limits the computational load, we derive a lower bound on the associated communication load, and propose a heuristic scheme that achieves in some cases the lower bound.


title: Applications of amenable semigroups in operator theory

abstract: The paper deals with continuous homomorphisms $S \ni s \mapsto T_s \in L(E)$ of amenable semigroups $S$ into the algebra $L(E)$ of all bounded linear operators on a Banach space $E$. For a closed linear subspace $F$ of $E$, sufficient conditions are given under which there exists a projection $P \in L(E)$ onto $F$ that commutes with all $T_s$. And when $E$ is a Hilbert space, sufficient conditions are given for the existence of an invertible operator $R \in L(E)$ such that all $R T_s R^{-1}$ are isometries. Also certain results on extending intertwining operators, renorming as well as on operators on hereditarily indecomposable Banach spaces are offered.


title: Logic Tensor Networks for Semantic Image Interpretation

abstract: Semantic Image Interpretation (SII) is the task of extracting structured semantic descriptions from images. It is widely agreed that the combined use of visual data and background knowledge is of great importance for SII. Recently, Statistical Relational Learning (SRL) approaches have been developed for reasoning under uncertainty and learning in the presence of data and rich knowledge. Logic Tensor Networks (LTNs) are an SRL framework which integrates neural networks with first-order fuzzy logic to allow (i) efficient learning from noisy data in the presence of logical constraints, and (ii) reasoning with logical formulas describing general properties of the data. In this paper, we develop and apply LTNs to two of the main tasks of SII, namely, the classification of an image's bounding boxes and the detection of the relevant part-of relations between objects. To the best of our knowledge, this is the first successful application of SRL to such SII tasks. The proposed approach is evaluated on a standard image processing benchmark. Experiments show that the use of background knowledge in the form of logical constraints can improve the performance of purely data-driven approaches, including the state-of-the-art Fast Region-based Convolutional Neural Networks (Fast R-CNN). Moreover, we show that the use of logical background knowledge adds robustness to the learning system when errors are present in the labels of the training data.


title: Resolvent estimates on asymptotically cylindrical manifolds and on the half line

abstract: Manifolds with infinite cylindrical ends have continuous spectrum of increasing multiplicity as energy grows, and in general embedded resonances (resonances on the real line, embedded in the continuous spectrum) and embedded eigenvalues can accumulate at infinity. However, we prove that if geodesic trapping is sufficiently mild, then the number of embedded resonances and eigenvalues is finite, and moreover the cutoff resolvent is uniformly bounded at high energies. We obtain as a corollary the existence of resonance free regions near the continuous spectrum. We also obtain improved estimates when the resolvent is cut off away from part of the trapping, and along the way we prove some resolvent estimates for repulsive potentials on the half line which may be of independent interest.


title: Horndeski Gravity and the Violation of Reverse Isoperimetric Inequality

abstract: We consider Einstein-Horndeski-Maxwell gravity, together with a cosmological constant and multiple Horndeski axions. We construct charged AdS planar black holes in general dimensions where the Horndeski anxions span over the planar directions. We analyse the thermodynamics and obtain the black hole volumes. We show that the reverse isoperimetric inequality can be violated, implying that these black holes can store information more efficiently than the Schwarzschild black hole.


title: Optimal Cooperative Inference

abstract: Cooperative transmission of data fosters rapid accumulation of knowledge by efficiently combining experiences across learners. Although well studied in human learning and increasingly in machine learning, we lack formal frameworks through which we may reason about the benefits and limitations of cooperative inference. We present such a framework. We introduce novel indices for measuring the effectiveness of probabilistic and cooperative information transmission. We relate our indices to the well-known Teaching Dimension in deterministic settings. We prove conditions under which optimal cooperative inference can be achieved, including a representation theorem that constrains the form of inductive biases for learners optimized for cooperative inference. We conclude by demonstrating how these principles may inform the design of machine learning algorithms and discuss implications for human and machine learning.


title: Wave asymptotics for waveguides and manifolds with infinite cylindrical ends

abstract: We describe wave decay rates associated to embedded resonances and spectral thresholds for waveguides and manifolds with infinite cylindrical ends. We show that if the cut-off resolvent is polynomially bounded at high energies, as is the case in certain favorable geometries, then there is an associated asymptotic expansion, up to a $O(t^{-k_0})$ remainder, of solutions of the wave equation on compact sets as $t \to \infty$. In the most general such case we have $k_0=1$, and under an additional assumption on the infinite ends we have $k_0 = \infty$. If we localize the solutions to the wave equation in frequency as well as in space, then our results hold for quite general waveguides and manifolds with infinite cylindrical ends. To treat problems with and without boundary in a unified way, we introduce a black box framework analogous to the Euclidean one of Sj\"ostrand and Zworski. We study the resolvent, generalized eigenfunctions, spectral measure, and spectral thresholds in this framework, providing a new approach to some mostly well-known results in the scattering theory of manifolds with cylindrical ends.


title: Fermion-induced quantum criticality in two-dimensional Dirac semimetals: Non-perturbative flow equations, fixed points and critical exponents

abstract: We establish a scenario where fluctuations of new degrees of freedom at a quantum phase transition change the nature of a transition beyond the standard Landau-Ginzburg paradigm. To this end we study the quantum phase transition of gapless Dirac fermions coupled to a $\mathbb{Z}_3$ symmetric order parameter within a Gross-Neveu-Yukawa model in 2+1 dimensions, appropriate for the Kekul\'e transition in honeycomb lattice materials. For this model the standard Landau-Ginzburg approach suggests a first order transition due to the symmetry-allowed cubic terms in the action. At zero temperature, however, quantum fluctuations of the massless Dirac fermions have to be included. We show that they reduce the putative first-order character of the transition and can even render it continuous, depending on the number of Dirac fermions $N_f$. A non-perturbative functional renormalization group approach is employed to investigate the phase transition for a wide range of fermion numbers. For the first time we obtain the critical $N_f$, where the nature of the transition changes. Furthermore, it is shown that for large $N_f$ the change from the first to second order of the transition as a function of dimension occurs exactly in the physical 2+1 dimensions. We compute the critical exponents and predict sizable corrections to scaling for $N_f =2$.


title: Cultural Diffusion and Trends in Facebook Photographs

abstract: Online social media is a social vehicle in which people share various moments of their lives with their friends, such as playing sports, cooking dinner or just taking a selfie for fun, via visual means, that is, photographs. Our study takes a closer look at the popular visual concepts illustrating various cultural lifestyles from aggregated, de-identified photographs. We perform analysis both at macroscopic and microscopic levels, to gain novel insights about global and local visual trends as well as the dynamics of interpersonal cultural exchange and diffusion among Facebook friends. We processed images by automatically classifying the visual content by a convolutional neural network (CNN). Through various statistical tests, we find that socially tied individuals more likely post images showing similar cultural lifestyles. To further identify the main cause of the observed social correlation, we use the Shuffle test and the Preference-based Matched Estimation (PME) test to distinguish the effects of influence and homophily. The results indicate that the visual content of each user's photographs are temporally, although not necessarily causally, correlated with the photographs of their friends, which may suggest the effect of influence. Our paper demonstrates that Facebook photographs exhibit diverse cultural lifestyles and preferences and that the social interaction mediated through the visual channel in social media can be an effective mechanism for cultural diffusion.


title: Operator Spreading in Random Unitary Circuits

abstract: Random quantum circuits yield minimally structured models for chaotic quantum dynamics, able to capture for example universal properties of entanglement growth. We provide exact results and coarse-grained models for the spreading of operators by quantum circuits made of Haar-random unitaries. We study both 1+1D and higher dimensions, and argue that the coarse-grained pictures carry over to operator spreading in generic many-body systems. In 1+1D, we demonstrate that the out-of-time-order correlator (OTOC) satisfies a biased diffusion equation, which gives exact results for the spatial profile of the OTOC, and the butterfly speed $v_{B}$. We find that in 1+1D the `front' of the OTOC broadens diffusively, with a width scaling in time as $t^{1/2}$. We address fluctuations in the OTOC between different realizations of the random circuit, arguing that they are negligible in comparison to the broadening of the front. Turning to higher D, we show that the averaged OTOC can be understood exactly via a remarkable correspondence with a classical droplet growth problem. This implies that the width of the front of the averaged OTOC scales as $t^{1/3}$ in 2+1D and $t^{0.24}$ in 3+1D (KPZ exponents). We support our analytic argument with simulations in 2+1D. We point out that, in a lattice model, the late time shape of the spreading operator is in general not spherical. However when full spatial rotational symmetry is present in 2+1D, our mapping implies an exact asymptotic form for the OTOC in terms of the Tracy-Widom distribution. For an alternative perspective on the OTOC in 1+1D, we map it to the partition function of an Ising-like model. As a result of special structure arising from unitarity, this partition function reduces to a random walk calculation which can be performed exactly. We also use this mapping to give exact results for entanglement growth in 1+1D circuits.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: The Onsager-Machlup functional associated with additive fractional noise

abstract: We consider the solution of a stochastic differential equation with additive multidimensional fractional noise. In the case $\frac14<H<\frac12$, we compute the Onsager-Machlup functional (with respect to the driving fractional Brownian motion) for the supremum norm and the H\"older norms with exponent $\alpha \in \left(0,H-\frac14\right)$ for any element of the Cameron-Martin space $\mathcal H_H$, extending a previous result of Moret and Nualart. In the more general case $H<\frac12$ and $\alpha \in \left(0,H\right)$, we formulate a condition on $h\in\mathcal H_H$ under which the computation of the Onsager-Machlup functional $J\left(h\right)$ follows.


title: Multicut decomposition methods with cut selection for multistage stochastic programs

abstract: We introduce a variant of Multicut Decomposition Algorithms (MuDA), called CuSMuDA (Cut Selection for Multicut Decomposition Algorithms), for solving multistage stochastic linear programs that incorporates strategies to select the most relevant cuts of the approximate recourse functions. We prove the convergence of the method in a finite number of iterations and use it to solve six portfolio problems with direct transaction costs under return uncertainty and six inventory management problems under demand uncertainty. On all problem instances CuSMuDA is much quicker than MuDA: between 5.1 and 12.6 times quicker for the porfolio problems considered and between 6.4 and 15.7 times quicker for the inventory problems.


title: A nested sampling code for targeted searches for continuous gravitational waves from pulsars

abstract: This document describes a code to perform parameter estimation and model selection in targeted searches for continuous gravitational waves from known pulsars using data from ground-based gravitational wave detectors. We describe the general workings of the code and characterise it on simulated data containing both noise and simulated signals. We also show how it performs compared to a previous MCMC and grid-based approach to signal parameter estimation. Details how to run the code in a variety of cases are provided in Appendix A.


title: Automatic sequences and generalised polynomials

abstract: We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial $p(n)$ with at least one irrational coefficient (except for the constant one) and integer $m\geq 2$, the sequence $\lfloor p(n) \rfloor \bmod{m}$ is never automatic. We also prove that the conjecture is equivalent to the claim that the set of powers of an integer $k\geq 2$ is not given by a generalised polynomial.


title: Dynamical Topological Quantum Phase Transitions for Mixed States

abstract: We introduce and study dynamical probes of band structure topology in the post-quench time-evolution from mixed initial states of quantum many-body systems. Our construction generalizes the notion of dynamical quantum phase transitions (DQPTs), a real-time counterpart of conventional equilibrium phase transitions in quantum dynamics, to finite temperatures and generalized Gibbs ensembles. The non-analytical signatures hallmarking these mixed state DQPTs are found to be characterized by observable phase singularities manifesting in the dynamical formation of vortex-antivortex pairs in the interferometric phase of the density matrix. Studying quenches in Chern insulators, we find that changes in the topological properties of the Hamiltonian can be identified in this scenario, without ever preparing a topologically non-trivial or low-temperature initial state. Our observations are of immediate relevance for current experiments aimed at realizing topological phases in ultracold atomic gases.


title: H${}^2$ Spaces of Non-Commutative Functions

abstract: We define the Hardy spaces of free noncommutative functions on the noncommutative polydisc and the noncommutative ball and study their basic properties. Our technique combines the general methods of noncommutative function theory and asymptotic formulae for integration over the unitary group. The results are the first step in developing the general theory of free noncommutative bounded symmetric domains on the one hand and in studying the asymptotic free noncommutative analogues of classical spaces of analytic functions on the other.


title: Modeling The Intensity Function Of Point Process Via Recurrent Neural Networks

abstract: Event sequence, asynchronously generated with random timestamp, is ubiquitous among applications. The precise and arbitrary timestamp can carry important clues about the underlying dynamics, and has lent the event data fundamentally different from the time-series whereby series is indexed with fixed and equal time interval. One expressive mathematical tool for modeling event is point process. The intensity functions of many point processes involve two components: the background and the effect by the history. Due to its inherent spontaneousness, the background can be treated as a time series while the other need to handle the history events. In this paper, we model the background by a Recurrent Neural Network (RNN) with its units aligned with time series indexes while the history effect is modeled by another RNN whose units are aligned with asynchronous events to capture the long-range dynamics. The whole model with event type and timestamp prediction output layers can be trained end-to-end. Our approach takes an RNN perspective to point process, and models its background and history effect. For utility, our method allows a black-box treatment for modeling the intensity which is often a pre-defined parametric form in point processes. Meanwhile end-to-end training opens the venue for reusing existing rich techniques in deep network for point process modeling. We apply our model to the predictive maintenance problem using a log dataset by more than 1000 ATMs from a global bank headquartered in North America.


title: Plug-and-Play Unplugged: Optimization Free Reconstruction using Consensus Equilibrium

abstract: Regularized inversion methods for image reconstruction are used widely due to their tractability and ability to combine complex physical sensor models with useful regularity criteria. Such methods motivated the recently developed Plug-and-Play prior method, which provides a framework to use advanced denoising algorithms as regularizers in inversion. However, the need to formulate regularized inversion as the solution to an optimization problem limits the possible regularity conditions and physical sensor models. In this paper, we introduce Consensus Equilibrium (CE), which generalizes regularized inversion to include a much wider variety of both forward components and prior components without the need for either to be expressed with a cost function. CE is based on the solution of a set of equilibrium equations that balance data fit and regularity. In this framework, the problem of MAP estimation in regularized inversion is replaced by the problem of solving these equilibrium equations, which can be approached in multiple ways. The key contribution of CE is to provide a novel framework for fusing multiple heterogeneous models of physical sensors or models learned from data. We describe the derivation of the CE equations and prove that the solution of the CE equations generalizes the standard MAP estimate under appropriate circumstances. We also discuss algorithms for solving the CE equations, including ADMM with a novel form of preconditioning and Newton's method. We give examples to illustrate consensus equilibrium and the convergence properties of these algorithms and demonstrate this method on some toy problems and on a denoising example in which we use an array of convolutional neural network denoisers, none of which is tuned to match the noise level in a noisy image but which in consensus can achieve a better result than any of them individually.


title: Brouwer and Euclid

abstract: We explore the relationship between Brouwer's intuitionistic mathematics and Euclidean geometry. Brouwer wrote a paper in 1949 called "The contradictority of elementary geometry". In that paper, he showed that a certain classical consequence of the parallel postulate implies Markov's principle, which he found intuitionistically unacceptable. But Euclid's geometry, having served as a beacon of clear and correct reasoning for two millenia, is not so easily discarded. Brouwer started from a "theorem" that is not in Euclid, and requires Markov's principle for its proof. That means that Brouwer's paper did not address the question whether Euclid's "Elements" really requires Markov's principle. In this paper we show that there is a coherent theory of "non-Markovian Euclidean geometry." We show in some detail that our theory is an adequate formal rendering of (at least) Euclid's Book~I, and suffices to define geometric arithmetic, thus refining the author's previous investigations (which include Markov's principle as an axiom). Philosophically, Brouwer's proof that his version of the parallel postulate implies Markov's principle could be read just as well as geometric evidence for the truth of Markov's principle, if one thinks the geometrical "intersection theorem" with which Brouwer started is geometrically evident.


title: On finite determinacy of complete intersection singularities

abstract: We give an elementary combinatorial proof of the following fact: Every real or complex analytic complete intersection germ X is equisingular -- in the sense of the Hilbert-Samuel function -- with a germ of an algebraic set defined by sufficiently long truncations of the defining equations of X.


title: Low mass variable stars in the globular cluster NGC 6397

abstract: We have conducted a photometric survey of the globular cluster NGC 6397 in a search for variable stars. We obtained ~11h of time-resolved photometric images with one ne European Southern Observatory-Very Large Telescope using the FOcal Reducer and low dispersion Spectrograph imager distributed over two consecutive nights. We analyzed 8391 light curves of stars brighter than magnitude 23 with the 465 nm-filter, and we identified 412 variable stars, reaching ~ 4.8 +- 0.2 per cent of variability with timescales between 0.004 and 2d, with amplitudes variation greater than +- 0.2 mag.


title: The Dual Graph Shift Operator: Identifying the Support of the Frequency Domain

abstract: Contemporary data is often supported by an irregular structure, which can be conveniently captured by a graph. Accounting for this graph support is crucial to analyze the data, leading to an area known as graph signal processing (GSP). The two most important tools in GSP are the graph shift operator (GSO), which is a sparse matrix accounting for the topology of the graph, and the graph Fourier transform (GFT), which maps graph signals into a frequency domain spanned by a number of graph-related Fourier-like basis vectors. This alternative representation of a graph signal is denominated the graph frequency signal. Several attempts have been undertaken in order to interpret the support of this graph frequency signal, but they all resulted in a one-dimensional interpretation. However, if the support of the original signal is captured by a graph, why would the graph frequency signal have a simple one-dimensional support? That is why, for the first time, we propose an irregular support for the graph frequency signal, which we coin the dual graph. The dual GSO leads to a better interpretation of the graph frequency signal and its domain, helps to understand how the different graph frequencies are related and clustered, enables the development of better graph filters and filter banks, and facilitates the generalization of classical SP results to the graph domain.


title: Red clump stars and Gaia: Calibration of the standard candle using a hierarchical probabilistic model

abstract: Distances to individual stars in our own Galaxy are critical in order to piece together the nature of its velocity and spatial structure. Core helium burning red clump (RC) stars have similar luminosities, are abundant throughout the Galaxy, and thus constitute good standard candles. We build a hierarchical probabilistic model to quantify the quality of RC stars as standard candles using parallax measurements from the first Gaia data release. A unique aspect of our methodology is to fully account for (and marginalize over) parallax, photometry, and dust corrections uncertainties, which leads to more robust results than standard approaches. We determine the absolute magnitude and intrinsic dispersion of the RC in 2MASS bands J, H, Ks, Gaia G band, and WISE bands W1, W2, W3, and W4. We find that the absolute magnitude of the RC is $-1.61 \pm$ 0.01 (in Ks), $+0.44 \pm$ 0.01 (in G) , $-0.93 \pm$ 0.01 (in J), $-1.46 \pm$ 0.01 (in H), $-1.68 \pm$ 0.02 (in W1), $-1.69\pm$ 0.02 (in W2), $-1.67 \pm$ 0.02 (in W3), $1.76 \pm$ 0.01 mag (in W4). The mean intrinsic dispersion is $\sim 0.17 \pm$ 0.03 mag across all bands (yielding a typical distance precision of $\sim$ 8%). Thus RC stars are reliable and precise standard candles. In addition, we have also re-calibrated the zero point of the absolute magnitude of the RC in each band, which provide a benchmark for future studies to estimate distances to RC stars. Finally, the parallax error shrinkage in the hierarchical model outlined in this work can be used to obtain more precise parallaxes than Gaia for the most distant RC stars across the Galaxy.


title: On computational fluid dynamics models for sinonasal drug transport: relevance of nozzle subtraction and nasal vestibular dilation

abstract: Generating anatomically realistic three-dimensional (3D) models of the human sinonasal cavity for numerical investigations of sprayed drug transport presents a host of methodological ambiguities. For example, subject-specific radiographic images used for 3D reconstructions typically exclude spray bottles. Subtracting a bottle contour from the 3D airspace and dilating the anterior nasal vestibule for nozzle placement augment the complexity of model-building. So, we explored the question: how essential are these steps to adequately simulate nasal airflow and identify the optimal delivery conditions for intranasal sprays? In particular, we focused on particle deposition patterns in the maxillary sinus, a critical target site for chronic rhinosinusitis (CRS). The models were reconstructed from post-surgery computed tomography scans for a 39-year-old Caucasian male, with CRS history. Inspiratory airflow patterns during resting breathing are reliably tracked through CFD-based steady state laminar-viscous modeling and such regimes portray relative lack of sensitivity to inlet perturbations. Consequently, we hypothesized that the posterior airflow transport and the particle deposition trends should not be radically affected by the nozzle subtraction and vestibular dilation. The study involved 1 base model and 2 derived models; the latter two with nozzle contours (two different orientations) subtracted from the dilated anterior segment of the left vestibule. We analyzed spray transport in the left maxillary sinus for multiple release conditions. Similar release points, localized on an approximately 2mm-by-4.5mm contour, facilitated improved maxillary deposition in all three test cases. This suggests functional redundancy of nozzle insertion in a 3D numerical model for identifying the optimal spray release locations.


title: Knot Fertility and Lineage

abstract: In this paper, we introduce a new type of relation between knots called the descendant relation. One knot $H$ is a descendant of another knot $K$ if $H$ can be obtained from a minimal crossing diagram of $K$ by some number of crossing changes. We explore properties of the descendant relation and study how certain knots are related, paying particular attention to those knots, called fertile knots, that have a large number of descendants. Furthermore, we provide computational data related to various notions of knot fertility and propose several open questions for future exploration.


title: Approximation and Convergence Properties of Generative Adversarial Learning

abstract: Generative adversarial networks (GAN) approximate a target data distribution by jointly optimizing an objective function through a "two-player game" between a generator and a discriminator. Despite their empirical success, however, two very basic questions on how well they can approximate the target distribution remain unanswered. First, it is not known how restricting the discriminator family affects the approximation quality. Second, while a number of different objective functions have been proposed, we do not understand when convergence to the global minima of the objective function leads to convergence to the target distribution under various notions of distributional convergence. In this paper, we address these questions in a broad and unified setting by defining a notion of adversarial divergences that includes a number of recently proposed objective functions. We show that if the objective function is an adversarial divergence with some additional conditions, then using a restricted discriminator family has a moment-matching effect. Additionally, we show that for objective functions that are strict adversarial divergences, convergence in the objective function implies weak convergence, thus generalizing previous results.


title: Matroids Hitting Sets and Unsupervised Dependency Grammar Induction

abstract: This paper formulates a novel problem on graphs: find the minimal subset of edges in a fully connected graph, such that the resulting graph contains all spanning trees for a set of specifed sub-graphs. This formulation is motivated by an un-supervised grammar induction problem from computational linguistics. We present a reduction to some known problems and algorithms from graph theory, provide computational complexity results, and describe an approximation algorithm.


title: Overlap junctions for high coherence superconducting qubits

abstract: Fabrication of sub-micron Josephson junctions is demonstrated using standard processing techniques for high-coherence, superconducting qubits. These junctions are made in two separate lithography steps with normal-angle evaporation. Most significantly, this work demonstrates that it is possible to achieve high coherence with junctions formed on aluminum surfaces cleaned in situ with Ar milling before the junction oxidation. This method eliminates the angle-dependent shadow masks typically used for small junctions. Therefore, this is conducive to the implementation of typical methods for improving margins and yield using conventional CMOS processing. The current method uses electron-beam lithography and an additive process to define the top and bottom electrodes. Extension of this work to optical lithography and subtractive processes is discussed.


title: On the Privacy of the Opal Data Release: A Response

abstract: This document is a response to a report from the University of Melbourne on the privacy of the Opal dataset release. The Opal dataset was released by Data61 (CSIRO) in conjunction with the Transport for New South Wales (TfNSW). The data consists of two separate weeks of "tap-on/tap-off" data of individuals who used any of the four different modes of public transport from TfNSW: buses, light rail, train and ferries. These taps are recorded through the smart ticketing system, known as Opal, available in the state of New South Wales, Australia.


title: Classifying initial conditions of long GRBs modeled with relativistic radiation hydrodynamics

abstract: We present a method to classify initial conditions of a long gamma ray bursts model sourced by a single relativistic shock. It is based on the use of artificial neural networks (ANNs) that are trained with light curves (LC) generated with radiation relativistic hydrodynamics simulations. The model we use consists in a single shock with a highly relativistic injected beam into a stratified surrounding medium with profile $1/r^2$. In the process we only consider the bremsstrahlung radiation and Thomson scattering process. The initial conditions we use to train the ANN are three: the rest mass density, Lorentz factor and radiation energy density of the beam that produces the relativistic shock, together with the LC generated during the process. The classification selects the location of a box in the 3d parameter space that better fits a given LC, and in order to decrease the uncertainty of the parameters this box is refined and the classification selects a new box of smaller size.


title: An Experimental Platform for Multi-spacecraft Phase-Array Communications

abstract: The emergence of small satellites and CubeSats for interplanetary exploration will mean hundreds if not thousands of spacecraft exploring every corner of the solar-system. Current methods for communication and tracking of deep space probes use ground based systems such as the Deep Space Network (DSN). However, the increased communication demand will require radically new methods to ease communication congestion. Networks of communication relay satellites located at strategic locations such as geostationary orbit and Lagrange points are potential solutions. Instead of one large communication relay satellite, we could have scores of small satellites that utilize phase arrays to effectively operate as one large satellite. Excess payload capacity on rockets can be used to warehouse more small satellites in the communication network. The advantage of this network is that even if one or a few of the satellites are damaged or destroyed, the network still operates but with degraded performance. The satellite network would operate in a distributed architecture and some satellites maybe dynamically repurposed to split and communicate with multiple targets at once. The potential for this alternate communication architecture is significant, but this requires development of satellite formation flying and networking technologies. Our research has found neural-network control approaches such as the Artificial Neural Tissue can be effectively used to control multirobot/multi-spacecraft systems and can produce human competitive controllers. We have been developing a laboratory experiment platform called Athena to develop critical spacecraft control algorithms and cognitive communication methods. We briefly report on the development of the platform and our plans to gain insight into communication phase arrays for space.


title: State Space Decomposition and Subgoal Creation for Transfer in Deep Reinforcement Learning

abstract: Typical reinforcement learning (RL) agents learn to complete tasks specified by reward functions tailored to their domain. As such, the policies they learn do not generalize even to similar domains. To address this issue, we develop a framework through which a deep RL agent learns to generalize policies from smaller, simpler domains to more complex ones using a recurrent attention mechanism. The task is presented to the agent as an image and an instruction specifying the goal. This meta-controller guides the agent towards its goal by designing a sequence of smaller subtasks on the part of the state space within the attention, effectively decomposing it. As a baseline, we consider a setup without attention as well. Our experiments show that the meta-controller learns to create subgoals within the attention.


title: Large induced subgraphs with $k$ vertices of almost maximum degree

abstract: In this note we prove that for every integer $k$, there exist constants $g_{1}(k)$ and $g_{2}(k)$ such that the following holds. If $G$ is a graph on $n$ vertices with maximum degree $\Delta$ then it contains an induced subgraph $H$ on at least $n - g_{1}(k)\sqrt{\Delta}$ vertices, such that $H$ has $k$ vertices of the same degree of order at least $\Delta(H)-g_{2}(k)$. This solves a conjecture of Caro and Yuster up to the constant $g_{2}(k)$.


title: Influence of optical nonlinearities on plasma waves in graphene

abstract: A theory of the nonlinear plasma waves in graphene is developed in the nonperturbative regime. The influence of strong electric fields on the position and linewidth of plasma resonances in the far-infrared transmission experiments, as well as on the wavelength and the propagation length in the scanning near-field optical microscopy experiments is studied. The theory shows that the fields of order of a few to a few tens of kV/cm should lead to a red shift and broadening of plasma resonances in the first type and to a reduction of the wavelength and the propagation length in the second type of experiments.


title: Two-dimensional compressible viscous flow around a circular cylinder

abstract: Direct numerical simulation is performed to study compressible, viscous flow around a circular cylinder. The present study considers two-dimensional, shock-free continuum flow by varying the Reynolds number between 20 and 100 and the freestream Mach number between 0 and 0.5. The results indicate that compressibility effects elongate the near wake for cases above and below the critical Reynolds number for two-dimensional flow under shedding. The wake elongation becomes more pronounced as the Reynolds number approaches this critical value. Moreover, we determine the growth rate and frequency of linear instability for cases above the critical Reynolds number. From the analysis, it is observed that the frequency of the B\'enard-von K\'arm\'an vortex street in the time-periodic, fully-saturated flow increases from the dominant unstable frequency found from the linear stability analysis as the Reynolds number increases from its critical value, even for the low range of Reynolds numbers considered. We also notice that the compressibility effects reduce the growth rate and dominant frequency in the linear growth stage. Semi-empirical functional relationships for the growth rate and the dominant frequency in linearized flow around the cylinder in terms of the Reynolds number and freestream Mach number are presented.


title: Spin-wave spectroscopy on Dzyaloshinskii-Moriya interaction in room-temperature chiral magnets hosting skyrmions

abstract: Propagation character of spin wave was investigated for chiral magnets FeGe and Co-Zn-Mn alloys, which can host magnetic skyrmions near room temperature. On the basis of the frequency shift between counter-propagating spin waves, the magnitude and sign of Dzyaloshinskii-Moriya (DM) interaction were directly evaluated. The obtained magnetic parameters quantitatively account for the size and helicity of skyrmions as well as their materials variation, proving that the DM interaction plays a decisive role in the skyrmion formation in this class of room-temperature chiral magnets. The propagating spin-wave spectroscopy can thus be an efficient tool to study DM interaction in bulk single-phase compounds. Our results also demonstrate a function of spin-wave diode based on chiral crystal structures at room temperature.


title: Rheology of dilute cohesive granular gases

abstract: Rheology of a dilute cohesive granular gas is theoretically and numerically studied. The flow curve between the shear viscosity and the shear rate is derived from the inelastic Boltzmann equation for particles having square-well potentials in a simple shear flow. It is found that (i) the stable uniformly sheared state only exists above a critical shear rate and (ii) the viscosity in the uniformly sheared flow is almost identical to that for uniformly sheared flow of hard core granular particles. Below the critical shear rate, clusters grow with time, in which the viscosity can be approximated by that for the hard-core fluids if we replace the diameter of the particle by the mean diameter of clusters.


title: Extraction and Classification of Diving Clips from Continuous Video Footage

abstract: Due to recent advances in technology, the recording and analysis of video data has become an increasingly common component of athlete training programmes. Today it is incredibly easy and affordable to set up a fixed camera and record athletes in a wide range of sports, such as diving, gymnastics, golf, tennis, etc. However, the manual analysis of the obtained footage is a time-consuming task which involves isolating actions of interest and categorizing them using domain-specific knowledge. In order to automate this kind of task, three challenging sub-problems are often encountered: 1) temporally cropping events/actions of interest from continuous video; 2) tracking the object of interest; and 3) classifying the events/actions of interest. Most previous work has focused on solving just one of the above sub-problems in isolation. In contrast, this paper provides a complete solution to the overall action monitoring task in the context of a challenging real-world exemplar. Specifically, we address the problem of diving classification. This is a challenging problem since the person (diver) of interest typically occupies fewer than 1% of the pixels in each frame. The model is required to learn the temporal boundaries of a dive, even though other divers and bystanders may be in view. Finally, the model must be sensitive to subtle changes in body pose over a large number of frames to determine the classification code. We provide effective solutions to each of the sub-problems which combine to provide a highly functional solution to the task as a whole. The techniques proposed can be easily generalized to video footage recorded from other sports.


title: On overlapping domain decomposition methods for high-contrast multiscale problems

abstract: We review some important ideas in the design and analysis of robust overlapping domain decomposition algorithms for high-contrast multiscale problems and propose a domain decomposition method better performance in terms of the number of iterations. The main novelty of our approaches is the construction of coarse spaces, which are computed using spectral information of local bilinear forms. We present several approaches to incorporate the spectral information into the coarse problem in order to obtain minimal coarse space dimension. We show that using these coarse spaces, we can obtain a domain decomposition preconditioner with the condition number independent of contrast and small scales. To minimize further the number of iterations until convergence, we use this minimal dimensional coarse spaces in a construction combining them with large overlap local problems that take advantage of the possibility of localizing global fields orthogonal to the coarse space. We obtain a condition number close to 1 for the new method. We discuss possible drawbacks and further extensions.


title: Self-consistent semi-analytic models of the first stars

abstract: We have developed a semi-analytic framework to model the large-scale evolution of the first Population III (Pop III) stars and the transition to metal-enriched star formation. Our model follows dark matter halos from cosmological N-body simulations, utilizing their individual merger histories and three-dimensional positions, and applies physically motivated prescriptions for star formation and feedback from Lyman-Werner (LW) radiation, hydrogen ionizing radiation, and external metal enrichment due to supernovae winds. This method is intended to complement analytic studies, which do not include clustering or individual merger histories, and hydrodynamical cosmological simulations, which include detailed physics, but are computationally expensive and have limited dynamic range. Utilizing this technique, we compute the cumulative Pop III and metal-enriched star formation rate density (SFRD) as a function of redshift at $z \geq 20$. We find that varying the model parameters leads to significant qualitative changes in the global star formation history. The Pop III star formation efficiency and the delay time between Pop III and subsequent metal-enriched star formation are found to have the largest impact. The effect of clustering (i.e. including the three-dimensional positions of individual halos) on various feedback mechanisms is also investigated. The impact of clustering on LW and ionization feedback is found to be relatively mild in our fiducial model, but can be larger if external metal enrichment can promote metal-enriched star formation over large distances.


title: Arithmetic aspects of the Burkhardt quartic threefold

abstract: We show that the Burkhardt quartic threefold is rational over any field of characteristic distinct from 3. We compute its zeta function over finite fields. We realize one of its moduli interpretations explicitly by determining a model for the universal genus 2 curve over it, as a double cover of the projective line. We show that the j-planes in the Burkhardt quartic mark the order 3 subgroups on the Abelian varieties it parametrizes, and that the Hesse pencil on a j-plane gives rise to the universal curve as a discriminant of a cubic genus one cover.


title: Prediction of ultra-narrow Higgs resonance in magnon Bose-condensates

abstract: Higgs resonance modes in condensed matter systems are generally broad; meaning large decay widths or short relaxation times. This common feature has obscured and limited their observation to a select few systems. Contrary to this, the present work predicts that Higgs resonances in magnetic field induced, three-dimensional magnon Bose-condensates have vanishingly small decay widths. Specifically for parameters relating to TlCuCl$_3$, we find an energy ($\Delta_H$) to width ($\Gamma_H$) ratio $\Delta_H/\Gamma_H\sim500$, making this the narrowest predicted Higgs mode in a condensed matter system, some two orders of magnitude `narrower' than the sharpest condensed matter Higgs observed so far.


title: Center-to-limb observations of the Sun with ALMA

abstract: We measured the center-to-limb variation of the brightness temperature, $T_b$, from ALMA full-disk images at two frequencies and inverted the solution of the transfer equation to obtain the electron temperature, $T_e$ as a function of optical depth, $\tau$. The ALMA images are very similar to AIA images at 1600\AA. The brightness temperature at the center of the disk is 6180 and 7250 K at 239 and 100 GHz respectively, with dispersions of 100 and 170 K. Plage regions stand out clearly in the 239/100 GHz intensity ratio, while faculae and filament lanes do not. The solar disk radius, reduced to 1 AU, is $961.1\pm2.5$ arcsec and $964.1\pm4.5$ arcsec at 239 and 100 GHz respectively. A slight but statistically significant limb brightening is observed at both frequencies. The inversion of the center-to-limb curves shows that $T_e$ varies linearly with the logarithm of optical depth for $0.34<\tau_{100\,GHz}<12$, with a slope $d\ln T_e/d\tau=-608$ K. Our results are 5% lower than predicted by the average quiet sun model C of Fontenla et al. (1993), but do not confirm previous reports that the mm-$\lambda$ solar spectrum is better fitted with models of the cell interior.


title: Nontrivial Berry phase in magnetic BaMnSb2 semimetal

abstract: The subject of topological materials has attracted immense attention in condensed-matter physics, because they host new quantum states of matter containing Dirac, Majorana, or Weyl fermions. Although Majorana fermions can only exist on the surface of topological superconductors, Dirac and Weyl fermions can be realized in both 2D and 3D materials. The latter are semimetals with Dirac/Weyl cones either not tilted (type I) or tilted (type II). Although both Dirac and Weyl fermions have massless nature with the nontrivial Berry phase, the formation of Weyl fermions in 3D semimetals require either time-reversal or inversion symmetry breaking to lift degeneracy at Dirac points. Here, we demonstrate experimentally that canted antiferromagnetic BaMnSb2 is a 3D Weyl semimetal with a 2D electronic structure. The Shubnikov-de Hass oscillations of the magnetoresistance give nearly zero effective mass with high mobility and the nontrivial Berry phase. The ordered magnetic arrangement (ferromagnetic ordering in the ab plane and antiferromagnetic ordering along the c axis below 286 K) breaks the time-reversal symmetry, thus offering us an ideal platform to study magnetic Weyl fermions in a centrosymmetric material.


title: Barnacles and Gravity

abstract: Theories with more than one vacuum allow quantum transitions between them, which may proceed via bubble nucleation; theories with more than two vacua posses additional decay modes in which the wall of a bubble may further decay. The instantons which mediate such a process have $O(3)$ symmetry (in four dimensions, rather than the usual $O(4)$ symmetry of homogeneous vacuum decay), and have been called `barnacles'; previously they have been studied in flat space, in the thin wall limit, and this paper extends the analysis to include gravity. It is found that there are regions of parameter space in which, given an initial bubble, barnacles are the favoured subsequent decay process, and that the inclusion of gravity can enlarge this region. The relation to other heterogeneous vacuum decay scenarios, as well as some of the phenomenological implications of barnacles are briefly discussed.


title: Principled Hybrids of Generative and Discriminative Domain Adaptation

abstract: We propose a probabilistic framework for domain adaptation that blends both generative and discriminative modeling in a principled way. Under this framework, generative and discriminative models correspond to specific choices of the prior over parameters. This provides us a very general way to interpolate between generative and discriminative extremes through different choices of priors. By maximizing both the marginal and the conditional log-likelihoods, models derived from this framework can use both labeled instances from the source domain as well as unlabeled instances from both source and target domains. Under this framework, we show that the popular reconstruction loss of autoencoder corresponds to an upper bound of the negative marginal log-likelihoods of unlabeled instances, where marginal distributions are given by proper kernel density estimations. This provides a way to interpret the empirical success of autoencoders in domain adaptation and semi-supervised learning. We instantiate our framework using neural networks, and build a concrete model, DAuto. Empirically, we demonstrate the effectiveness of DAuto on text, image and speech datasets, showing that it outperforms related competitors when domain adaptation is possible.


title: Variable protostellar mass accretion rates in cloud cores

abstract: Spherical hydrodynamic models with a polytropic equation of state (EoS) for forming protostars are revisited in order to investigate the so-called luminosity conundrum highlighted by observations. For a molecular cloud (MC) core with such an EoS with polytropic index $\gamma$ >1, the central mass accretion rate (MAR) decreases with increasing time as a protostar emerges, offering a sensible solution to this luminosity problem. As the MAR decreases, the protostellar luminosity also decreases, meaning that it is invalid to infer the star formation time from the currently observed luminosity using an isothermal model. Furthermore, observations of radial density profiles and the radio continua of numerous MC cores evolving towards protostars also suggest that polytropic dynamic spheres of $\gamma$ > 1 should be used in physical models.


title: Discovery of Intrinsic Quantum Anomalous Hall Effect in Organic Mn-DCA Lattice

abstract: The quantum anomalous Hall (QAH) phase is a novel topological state of matter characterized by a nonzero quantized Hall conductivity without an external magnetic field. The realizations of QAH effect, however, are experimentally challengeable. Based on ab initio calculations, here we propose an intrinsic QAH phase in DCA Kagome lattice. The nontrivial topology in Kagome bands are confirmed by the nonzero chern number, quantized Hall conductivity, and gapless chiral edge states of Mn-DCA lattice. A tight-binding (TB) model is further constructed to clarify the origin of QAH effect. Furthermore, its Curie temperature, estimated to be ~ 253 K using Monte-Carlo simulation, is comparable with room temperature and higher than most of two-dimensional ferromagnetic thin films. Our findings present a reliable material platform for the observation of QAH effect in covalent-organic frameworks.


title: The tessellation problem of quantum walks

abstract: Quantum walks have received a great deal of attention recently because they can be used to develop new quantum algorithms and to simulate interesting quantum systems. In this work, we focus on a model called staggered quantum walk, which employs advanced ideas of graph theory and has the advantage of including the most important instances of other discrete-time models. The evolution operator of the staggered model is obtained from a tessellation cover, which is defined in terms of a set of partitions of the graph into cliques. It is important to establish the minimum number of tessellations required in a tessellation cover, and what classes of graphs admit a small number of tessellations. We describe two main results: (1) infinite classes of graphs where we relate the chromatic number of the clique graph to the minimum number of tessellations required in a tessellation cover, and (2) the problem of deciding whether a graph is $k$-tessellable for $k\ge 3$ is NP-complete.


title: Democracy Models and Civic Technologies: Tensions, Trilemmas, and Trade-offs

abstract: This paper aims at connecting democratic theory with civic technologies in order to highlight the links between some theoretical tensions and trilemmas and design trade-offs. First, it reviews some tensions and trilemmas raised by political philosophers and democratic theorists. Second, it considers both the role and the limitations of civic technologies in mitigating these tensions and trilemmas. Third, it proposes to adopt a meso-level approach, in between the macro-level of democratic theories and the micro-level of tools, to situate the interplay between people, digital technologies, and data.


title: A note on the $C$-numerical radius and the $\lambda$-Aluthge transform in finite factors

abstract: We prove that for any two elements $A$, $B$ in a factor $M$, if $B$ commutes with all the unitary conjugates of $A$, then either $A$ or $B$ is in $\mathbb{C}I$. Then we obtain an equivalent condition for the situation that the $C$-numerical radius $\omega_{C}(\cdot)$ is a weakly unitarily invariant norm on finite factors and we also prove some inequalities on the $C$-numerical radius on finite factors. As an application, we show that for an invertible operator $T$ in a finite factor $M$, $f(\bigtriangleup_{\lambda}(T))$ is in the weak operator closure of the set $\{\sum_{i=1}^{n}z_{i}U_{i}f(T)U_{i}^{*}|n\in\mathbb{N},(U_{i})_{1\leq i\leq n}\in \mathscr{U}(M),\sum_{i=1}^{n}|z_{i}|\leq 1\}$, where $f$ is a polynomial, $\bigtriangleup_{\lambda}(T)$ is the $\lambda$-Aluthge transform of $T$ and $0\leq\lambda \leq 1$.


title: Thermal-Diffusional Instability in White Dwarf Flames: Regimes of Flame Pulsation

abstract: Thermal-diffusional pulsation behaviors in planar as well as outwardly and inwardly propagating white dwarf carbon flames are systematically studied. In the 1D numerical simulation, the asymptotic degenerate equation of state and simplified one-step reaction rates for nuclear reactions are used to study the flame propagation and pulsation in white dwarfs. The numerical critical Zel'dovich numbers of planar flames at different densities ($\rho=2$, 3 and 4$\times 10^7$~g/cm$^3$) and of spherical flames (with curvature $c=$-0.01, 0, 0.01 and 0.05) at a particular density ($\rho=2\times 10^7$~g/cm$^3$) are presented. Flame front pulsation in different environmental densities and temperatures are obtained to form the regime diagram of pulsation, showing that carbon flames pulsate in the typical density of $2\times10^7~{\rm g/cm^3}$ and temperature of $0.6\times 10^9~{\rm K}$. While being stable at higher temperatures, at relatively lower temperatures the amplitude of the flame pulsation becomes larger. In outwardly propagating spherical flames the pulsation instability is enhanced and flames are also easier to quench due to pulsation at small radius, while the inwardly propagating flames are more stable.


title: A note on relative amenable of finite von Neumann algebras

abstract: Let $M$ be a finite von Neumann algebra (resp. a type II$_{1}$ factor) and let $N\subset M$ be a II$_{1}$ factor (resp. $N\subset M$ have an atomic part). We prove that the inclusion $N\subset M$ is amenable implies the identity map on $M$ has an approximate factorization through $M_m(\mathbb{C})\otimes N $ via trace preserving normal unital completely positive maps, which is a generalization of a result of Haagerup. We also prove two permanence properties for amenable inclusions. One is weak Haagerup property, the other is weak exactness.


title: Spin-orbit torque-driven skyrmion dynamics revealed by time-resolved X-ray microscopy

abstract: Magnetic skyrmions are topologically-protected spin textures with attractive properties suitable for high-density and low-power spintronic device applications. Much effort has been dedicated to understanding the dynamical behaviours of the magnetic skyrmions. However, experimental observation of the ultrafast dynamics of this chiral magnetic texture in real space, which is the hallmark of its quasiparticle nature, has so far remained elusive. Here, we report nanosecond-dynamics of a 100 nm-size magnetic skyrmion during a current pulse application, using a time-resolved pump-probe soft X-ray imaging technique. We demonstrate that distinct dynamic excitation states of magnetic skyrmions, triggered by current-induced spin-orbit torques, can be reliably tuned by changing the magnitude of spin-orbit torques. Our findings show that the dynamics of magnetic skyrmions can be controlled by the spin-orbit torque on the nanosecond time scale, which points to exciting opportunities for ultrafast and novel skyrmionic applications in the future.


title: The Populations of Carina. I. Decoding the Color--Magnitude Diagram

abstract: We investigate the color-magnitude diagram (CMD) of the Carina dwarf spheroidal galaxy using data of Stetson et al. (2011) and synthetic CMDs based on isochrones of Dotter et al. (2008), in terms of the parameters [Fe/H], age, and [alpha/Fe], for the cases when (i) [alpha/Fe] is held constant and (ii) [alpha/Fe] is varied. The data are well described by four basic epochs of star formation, having [Fe/H] = -1.85, -1.5, -1.2, and ~-1.15 and ages ~13, 7, ~3.5, and ~1.5 Gyr, respectively (for [alpha/Fe] = 0.1 (constant [alpha/Fe]) and [alpha/Fe] = 0.2, 0.1, -0.2, -0.2 (variable [alpha/Fe])), with small spreads in [Fe/H] and age of order 0.1 dex and 1 - 3 Gyr. Within an elliptical radius 13.1 arcmin, the mass fractions of the populations, at their times of formation, were (in decreasing age order) 0.34, 0.39, 0.23, and 0.04. This formalism reproduces five observed CMD features (two distinct subgiant branches of old and intermediate-age populations, two younger, main-sequence components, and the small color dispersion on the red giant branch (RGB)). The parameters of the youngest population are less certain than those of the others, and given it is less centrally concentrated it may not be directly related to them. High-resolution spectroscopically analyzed RGB samples appear statistically incomplete compared with those selected using radial velocity, which contain bluer stars comprising ~5 - 10% of the samples. We conjecture these objects may, at least in part, be members of the youngest population. We use the CMD simulations to obtain insight into the population structure of Carina's upper RGB.


title: Learning to Pour

abstract: Pouring is a simple task people perform daily. It is the second most frequently executed motion in cooking scenarios, after pick-and-place. We present a pouring trajectory generation approach, which uses force feedback from the cup to determine the future velocity of pouring. The approach uses recurrent neural networks as its building blocks. We collected the pouring demonstrations which we used for training. To test our approach in simulation, we also created and trained a force estimation system. The simulated experiments show that the system is able to generalize to single unseen element of the pouring characteristics.


title: A remark on ${\mathbb Z}_p$-orbifold constructions of the Moonshine vertex operator algebra

abstract: For $p = 3,5,7,13$, we consider a ${\mathbb Z}_p$-orbifold construction of the Moonshine vertex operator algebra $V^\natural$. We show that the vertex operator algebra obtained by the ${\mathbb Z}_p$-orbifold construction on the Leech lattice vertex operator algebra $V_\Lambda$ and a lift of a fixed-point-free isometry of order $p$ is isomorphic to the Moonshine vertex operator algebra $V^\natural$. We also describe the relationship between those ${\mathbb Z}_p$-orbifold constructions and the ${\mathbb Z}_2$-orbifold construction in a uniform manner. In Appendix, we give a characterization of the Moonshine vertex operator algebra $V^\natural$ by two mutually orthogonal Ising vectors.


title: The Populations of Carina. II. Chemical Enrichment

abstract: Chemical abundances are presented for 19 elements in a sample of 63 red giants in the Carina dwarf spheroidal galaxy (dSph), based on homogeneous 1D/LTE model atmosphere analyses of our own observations (32 stars) and data available in the literature (a further 31 independent stars). The (Fe) metallicity and [$\alpha$/Fe] distribution functions have mean values and dispersions of -1.59 and 0.33 dex ([Fe/H] range: -2.68 to -0.64), and 0.07 and 0.13 dex ([$\alpha$/Fe] range: -0.27 to 0.25), respectively. We confirm the finding of Venn et al. (2012) that a small percentage (some 10% in the present investigation) of the sample show clear evidence for significant enrichment by Type Ia supernovae ejecta. Calcium, with the most accurately determined abundance of the alpha-elements, shows an asymmetric distribution towards smaller values of [Ca/Fe] at all [Fe/H], most significantly over -2.0 < [Fe/H] < -1.0, suggestive of incomplete mixing of the ejecta of Type Ia SNe with the ambient medium of each of Carina's generations. Approximate color-magnitude-diagram age estimates are presented for the sample and, together with our chemical abundances, compared with the results of our previous synthetic CMD analysis, which reported the details of Carina's four well-defined populations. We searched for the Na-O anti-correlation universally reported in the Galaxy's globular clusters, and confirm that this phenomenon does not exist in Carina. We also found that one of the 32 stars in our sample has an extremely enhanced lithium abundance -- A(Li)$_{\text{NLTE}}$ = +3.36, consistent with membership of the ~1% group of Li-rich stars in dSph described by Kirby et al.


title: UAV-Aided Offloading for Cellular Hotspot

abstract: In conventional terrestrial cellular networks, mobile terminals (MTs) at the cell edge often pose a performance bottleneck due to their long distances from the serving ground base station (GBS), especially in hotspot period when the GBS is heavily loaded. This paper proposes a new hybrid network architecture by leveraging the use of unmanned aerial vehicle (UAV) as an aerial mobile base station, which flies cyclically along the cell edge to offload data traffic for cell-edge MTs. We aim to maximize the minimum throughput of all MTs by jointly optimizing the UAV's trajectory, bandwidth allocation and user partitioning. We first consider orthogonal spectrum sharing between the UAV and GBS, and then extend to spectrum reuse where the total bandwidth is shared by both the GBS and UAV with their mutual interference effectively avoided. Numerical results show that the proposed hybrid network with optimized spectrum sharing and cyclical multiple access design significantly improves the spatial throughput over the conventional GBS-only network; while the spectrum reuse scheme provides further throughput gains at the cost of slightly higher complexity for interference control. Moreover, compared to the conventional small-cell offloading scheme, the proposed UAV offloading scheme is shown to outperform in terms of throughput, besides saving the infrastructure cost.


title: Automating the Proofs of Strengthening Lemmas in the Abella Proof Assistant

abstract: In logical reasoning, it is often the case that only some of a collection of assumptions are needed to reach a conclusion. A strengthening lemma is an assertion that a given conclusion is independent in this sense of a particular assumption. Strengthening lemmas underlie many useful techniques for simplifying proofs in automated and interactive theorem-provers. For example, they underlie a mechanism called subordination that is useful in determining that expressions of a particular type cannot contain objects of another type and in thereby reducing the number of cases to be considered in proving universally quantified statements. This thesis concerns the automation of the proofs of strengthening lemmas in a specification logic called the logic of hereditary Harrop formulas (HOHH). The Abella Proof Assistant embeds this logic in a way that allows it to prove properties of both the logic itself and of specifications written in it. Previous research has articulated a (conservative) algorithm for checking if a claimed strengthening lemma is, in fact, true. We provide here an implementation of this algorithm within the setting of Abella. Moreover, we show how to generate an actual proof of the strengthening lemma in Abella from the information computed by the algorithm; such a proof serves as a more trustworthy certificate of the correctness of the lemma than the algorithm itself. The results of this work have been incorporated into the Abella system in the form of a "tactic command" that can be invoked within the interactive theorem-prover and that will result in an elaboration of a proof of the lemma and its incorporation into the collection of proven facts about a given specification.


title: Best-Choice Edge Grafting for Efficient Structure Learning of Markov Random Fields

abstract: Incremental methods for structure learning of pairwise Markov random fields (MRFs), such as grafting, improve scalability by avoiding inference over the entire feature space in each optimization step. Instead, inference is performed over an incrementally grown active set of features. In this paper, we address key computational bottlenecks that current incremental techniques still suffer by introducing best-choice edge grafting, an incremental, structured method that activates edges as groups of features in a streaming setting. The method uses a reservoir of edges that satisfy an activation condition, approximating the search for the optimal edge to activate. It also reorganizes the search space using search-history and structure heuristics. Experiments show a significant speedup for structure learning and a controllable trade-off between the speed and quality of learning.


title: Quantitative Coherence Witness for Finite Dimensional States

abstract: We define the stringent coherence witness as an observable which has zero mean value for all of incoherent states and hence a nonzero mean value indicates the coherence. The existence of such witnesses are proved for any finite-dimension states. Not only is the witness efficient in testing whether the state is coherent, the mean value is also quantitatively related to the amount of coherence contained in the state. For an unknown state, the modulus of the mean value of a normalized witness provides a tight lower bound of $l_1$-norm of coherence in the state. When we have some previous knowledge of the state, the optimal witness is derived such that its measured mean value, called the witnessed coherence, equals to the $l_1$-norm of coherence. One can also fix the witness and implement some incoherent operations on the state before the witness is measured. In this case, the measured mean value cannot reach the witnessed coherence if the initial state and the fixed witness does not match well. Based this result, we design a quantum coherence game. Our results provides a way to directly measure the coherence in arbitrary finite dimension states and an operational interpretation of the $l_1$-norm of coherence.


title: Activity Analyses for Solar-type Stars Observed with Kepler. II. Magnetic Feature Versus Flare Activity

abstract: The light curves of solar-type stars present both periodic fluctuation and flare spikes. The gradual periodic fluctuation is interpreted as the rotational modulation of magnetic features on the stellar surface and is used to deduce magnetic feature activity properties. The flare spikes in light curves are used to derive flare activity properties. In this paper, we analyze the light curve data of three solar-type stars (KIC 6034120, KIC 3118883, and KIC 10528093) observed with Kepler space telescope and investigate the relationship between their magnetic feature activities and flare activities. The analysis shows that: (1) both the magnetic feature activity and the flare activity exhibit long-term variations as the Sun does; (2) unlike the Sun, the long-term variations of magnetic feature activity and flare activity are not in phase with each other; (3) the analysis of star KIC 6034120 suggests that the long-term variations of magnetic feature activity and flare activity have a similar cycle length. Our analysis and results indicate that the magnetic features that dominate rotational modulation and the flares possibly have different source regions, although they may be influenced by the magnetic field generated through a same dynamo process.


title: Promising Ferroelectricity in 2D Group IV Tellurides: a First-Principles Study

abstract: Based on the first-principles calculations, we investigated the ferroelectric properties of two-dimensional (2D) Group-IV tellurides XTe (X=Si, Ge and Sn), with a focus on GeTe. 2D Group-IV tellurides energetically prefer an orthorhombic phase with a hinge-like structure and an in-plane spontaneous polarization. The intrinsic Curie temperature Tc of monolayer GeTe is as high as 570 K and can be raised quickly by applying a tensile strain. An out-of-plane electric field can effectively decrease the coercive field for the reversal of polarization, extending its potential for regulating the polarization switching kinetics. Moreover, for bilayer GeTe the ferroelectric phase is still the ground state. Combined with these advantages, 2D GeTe is a promising candidate material for practical integrated ferroelectric applications.


title: Einstein Equation from Covariant Loop Quantum Gravity in Semiclassical Continuum Limit

abstract: In this paper we explain how 4-dimensional general relativity and in particular, the Einstein equation, emerge from the spinfoam amplitude in loop quantum gravity. We propose a new limit which couples both the semiclassical limit and continuum limit of spinfoam amplitudes. The continuum Einstein equation emerges in this limit. Solutions of Einstein equation can be approached by dominant configurations in spinfoam amplitudes. A running scale is naturally associated to the sequence of refined triangulations. The continuum limit corresponds to the infrared limit of the running scale. An important ingredient in the derivation is a regularization for the sum over spins, which is necessary for the semiclassical continuum limit. We also explain in this paper the role played by the so-called flatness in spinfoam formulation, and how to take advantage of it.


title: Fast Causal Inference with Non-Random Missingness by Test-Wise Deletion

abstract: Many real datasets contain values missing not at random (MNAR). In this scenario, investigators often perform list-wise deletion, or delete samples with any missing values, before applying causal discovery algorithms. List-wise deletion is a sound and general strategy when paired with algorithms such as FCI and RFCI, but the deletion procedure also eliminates otherwise good samples that contain only a few missing values. In this report, we show that we can more efficiently utilize the observed values with test-wise deletion while still maintaining algorithmic soundness. Here, test-wise deletion refers to the process of list-wise deleting samples only among the variables required for each conditional independence (CI) test used in constraint-based searches. Test-wise deletion therefore often saves more samples than list-wise deletion for each CI test, especially when we have a sparse underlying graph. Our theoretical results show that test-wise deletion is sound under the justifiable assumption that none of the missingness mechanisms causally affect each other in the underlying causal graph. We also find that FCI and RFCI with test-wise deletion outperform their list-wise deletion and imputation counterparts on average when MNAR holds in both synthetic and real data.


title: Seven dimensional cohomogeneity one manifolds with nonnegative curvature

abstract: We show that a certain family of cohomogeneity one manifolds does not admit an invariant metric of nonnegative sectional curvature, unless it admits one with positive curvature. As a consequence, the classification of nonnegatively curved cohomogeneity one manifolds in dimension 7 is reduced to only one further family of candidates


title: The time-dependent spectrum of a single photon and its POVM

abstract: Suppose we measure the time-dependent spectrum of a single photon. That is, we first send the photon through a set of frequency filters (which we assume to have different filter frequencies but the same finite bandwidth $\Gamma$), and then record at what time (with some finite precision $\Delta t$, and with some finite efficiency $\eta$) and after passing what filter the photon is detected. What is the POVM (Positive-Operator Valued Measure, the most general description of a quantum measurement) corresponding to such a measurement? We show how to construct the POVM in various cases, with special interest in the case $\Gamma\Delta t\ll 1$ (time-frequency uncertainty still holds, even in that limit). One application of the formalism is to heralding single photons. We also find a Hong-Ou-Mandel type of interference effect with two photons entering a frequency filter.


title: Counting periodic points over finite fields

abstract: Let $V$ be a quasiprojective variety defined over $\mathbb{F}_q$, and let $\phi:V\rightarrow V$ be an endomorphism of $V$ that is also defined over $\mathbb{F}_q$. Let $G$ be a finite subgroup of $\operatorname{Aut}_{\mathbb{F}_q}(V)$ with the property that $\phi$ commutes with every element of $G$. We show that idempotent relations in the group ring $\mathbb{Q}[G]$ give relations between the periodic point counts for the maps induced by $\phi$ on the quotients of $V$ by the various subgroups of $G$. We also show that if $G$ is abelian, periodic point counts for the endomorphism on $V/G$ induced by $\phi$ are related to periodic point counts on $V$ and all of its twists by $G$.


title: Photonic ring resonator filters for astronomical OH suppression

abstract: Ring resonators provide a means of filtering specific wavelengths from a waveguide, and optionally dropping the filtered wavelengths into a second waveguide. Both of these features are potentially useful for astronomical instruments. In this paper we focus on their use as notch filters to remove the signal from atmospheric OH emission lines from astronomical spectra, however we also briefly discuss their use as frequency combs for wavelength calibration and as drop filters for Doppler planet searches. We derive the design requirements for ring resonators for OH suppression from theory and finite difference time domain simulations. We find that rings with small radii (<10 microns) are required to provide an adequate free spectral range, leading to high index contrast materials such as Si and Si$_{3}$N$_{4}$. Critically coupled rings with high self-coupling coefficients should provide the necessary Q factors, suppression depth, and throughput for efficient OH suppression. We report on our progress in fabricating both Si and Si$_{3}$N$_{4}$ rings for OH suppression, and give results from preliminary laboratory tests. Our early devices show good control over the free spectral range and wavelength separation of multi-ring devices. The self-coupling coefficients are high (>0.9), but further optimisation is required to achieve higher Q and deeper notches, with current devices having $Q \approx 4000$ and $\approx 10$ dB suppression. The overall prospects for the use of ring resonators in astronomical instruments is promising, provided efficient fibre-chip coupling can be achieved.


title: Lat-Net: Compressing Lattice Boltzmann Flow Simulations using Deep Neural Networks

abstract: Computational Fluid Dynamics (CFD) is a hugely important subject with applications in almost every engineering field, however, fluid simulations are extremely computationally and memory demanding. Towards this end, we present Lat-Net, a method for compressing both the computation time and memory usage of Lattice Boltzmann flow simulations using deep neural networks. Lat-Net employs convolutional autoencoders and residual connections in a fully differentiable scheme to compress the state size of a simulation and learn the dynamics on this compressed form. The result is a computationally and memory efficient neural network that can be iterated and queried to reproduce a fluid simulation. We show that once Lat-Net is trained, it can generalize to large grid sizes and complex geometries while maintaining accuracy. We also show that Lat-Net is a general method for compressing other Lattice Boltzmann based simulations such as Electromagnetism.


title: Deriving Neural Architectures from Sequence and Graph Kernels

abstract: The design of neural architectures for structured objects is typically guided by experimental insights rather than a formal process. In this work, we appeal to kernels over combinatorial structures, such as sequences and graphs, to derive appropriate neural operations. We introduce a class of deep recurrent neural operations and formally characterize their associated kernel spaces. Our recurrent modules compare the input to virtual reference objects (cf. filters in CNN) via the kernels. Similar to traditional neural operations, these reference objects are parameterized and directly optimized in end-to-end training. We empirically evaluate the proposed class of neural architectures on standard applications such as language modeling and molecular graph regression, achieving state-of-the-art results across these applications.


title: The unpolarized Shafarevich Conjecture for K3 Surfaces

abstract: We prove the unpolarized Shafarevich conjecture for K3 surfaces: the set of isomorphism classes of K3 surfaces over a fixed number field with good reduction away from a fixed and finite set of places is finite. Our proof is based on the theorems of Faltings and Andr\'e, as well as the Kuga-Satake construction.


title: The Heat Operator of a Transversally Elliptic Operator

abstract: Let $G$ be a connected compact Lie group. We study the heat operator of a $G$-transversally elliptic operator. After we review the spectral properties of a $G$-transversally elliptic operator, we define the character, that is a distribution on $G$ generalizing the trace of the heat operator to the $G$-equivariant case. The main theorem of this paper gives the estimate of $f_\alpha(t)$, which essentially determines the convergence of the character.


title: A Conic Integer Programming Approach to Constrained Assortment Optimization under the Mixed Multinomial Logit Model

abstract: We consider the constrained assortment optimization problem under the mixed multinomial logit model. Even moderately sized instances of this problem are challenging to solve directly using standard mixed-integer linear optimization formulations. This has motivated recent research exploring customized optimization strategies and approximation techniques. In contrast, we develop a novel conic quadratic mixed-integer formulation. This new formulation, together with McCormick inequalities exploiting the capacity constraints, enables the solution of large instances using commercial optimization software.


title: Increase in the amplitude of line-of-sight velocities of the small-scale motions in a solar filament before eruption

abstract: We present a study on the evolution of the small scale velocity field in a solar filament as it approaches to the eruption. The observation was carried out by the Solar Dynamics Doppler Imager (SDDI) that was newly installed on the Solar Magnetic Activity Research Telescope (SMART) at Hida Observatory. The SDDI obtains a narrow-band full disk image of the sun at 73 channels from H$\alpha$ - 9.0 \AA\ to H$\alpha$ + 9.0 \AA, allowing us to study the line-of-sight (LOS) velocity of the filament before and during the eruption. The observed filament is a quiescent filament that erupted on 2016 November 5. We derived the LOS velocity at each pixel in the filament using the Becker's cloud model, and made the histograms of the LOS velocity at each time. The standard deviation of the LOS velocity distribution can be regarded as a measure for the amplitude of the small scale motion in the filament. We found that the standard deviation on the previous day of the eruption was mostly constant around 2-3 km s$^{-1}$, and it slightly increased to 3-4 km s$^{-1}$ on the day of the eruption. It shows further increase with a rate of 1.1 m s$^{-2}$ about three hours before eruption and again with a rate of 2.8 m s$^{-2}$ about an hour before eruption. From this result we suggest the increase in the amplitude of the small scale motions in a filament can be regarded as a precursor of the eruption.