title: A Review of Modularization Techniques in Artificial Neural Networks

abstract: Artificial neural networks (ANNs) have achieved significant success in tackling classical and modern machine learning problems. As learning problems grow in scale and complexity, and expand into multi-disciplinary territory, a more modular approach for scaling ANNs will be needed. Modular neural networks (MNNs) are neural networks that embody the concepts and principles of modularity. MNNs adopt a large number of different techniques for achieving modularization. Previous surveys of modularization techniques are relatively scarce in their systematic analysis of MNNs, focusing mostly on empirical comparisons and lacking an extensive taxonomical framework. In this review, we aim to establish a solid taxonomy that captures the essential properties and relationships of the different variants of MNNs. Based on an investigation of the different levels at which modularization techniques act, we attempt to provide a universal and systematic framework for theorists studying MNNs, also trying along the way to emphasise the strengths and weaknesses of different modularization approaches in order to highlight good practices for neural network practitioners.


title: Consensus Control for Leader-follower Multi-agent Systems under Prescribed Performance Guarantees

abstract: This paper addresses the problem of distributed control for leader-follower multi-agent systems under prescribed performance guarantees. Leader-follower is meant in the sense that a group of agents with external inputs are selected as leaders in order to drive the group of followers in a way that the entire system can achieve consensus within certain prescribed performance transient bounds. Under the assumption of tree graphs, a distributed control law is proposed when the decay rate of the performance functions is within a sufficient bound. Then, two classes of tree graphs that can have additional followers are investigated. Finally, several simulation examples are given to illustrate the results.


title: Bulk viscosity and contact correlations in attractive Fermi gases

abstract: The bulk viscosity determines dissipation during hydrodynamic expansion. It vanishes in scale invariant fluids, while a nonzero value quantifies the deviation from scale invariance. For the dilute Fermi gas the bulk viscosity is given exactly by the correlation function of the contact density of local pairs. As a consequence, scale invariance is broken purely by pair fluctuations. These fluctuations give rise also to logarithmic terms in the bulk viscosity of the high-temperature nondegenerate gas. For the quantum degenerate regime I report numerical Luttinger-Ward results for the contact correlator and the dynamical bulk viscosity throughout the BEC-BCS crossover. The ratio of bulk to shear viscosity $\zeta/\eta$ is found to exceed the kinetic theory prediction in the quantum degenerate regime. Near the superfluid phase transition the bulk viscosity is enhanced by critical fluctuations and has observable effects on dissipative heating, expansion dynamics and sound attenuation.


title: Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms

abstract: Noisy Max and Sparse Vector are selection algorithms for differential privacy and serve as building blocks for more complex algorithms. In this paper we show that both algorithms can release additional information for free (i.e., at no additional privacy cost). Noisy Max is used to return the approximate maximizer among a set of queries. We show that it can also release for free the noisy gap between the approximate maximizer and runner-up. This free information can improve the accuracy of certain subsequent counting queries by up to 50%. Sparse Vector is used to return a set of queries that are approximately larger than a fixed threshold. We show that it can adaptively control its privacy budget (use less budget for queries that are likely to be much larger than the threshold) in order to increase the amount of queries it can process. These results follow from a careful privacy analysis.


title: Routing Networks and the Challenges of Modular and Compositional Computation

abstract: Compositionality is a key strategy for addressing combinatorial complexity and the curse of dimensionality. Recent work has shown that compositional solutions can be learned and offer substantial gains across a variety of domains, including multi-task learning, language modeling, visual question answering, machine comprehension, and others. However, such models present unique challenges during training when both the module parameters and their composition must be learned jointly. In this paper, we identify several of these issues and analyze their underlying causes. Our discussion focuses on routing networks, a general approach to this problem, and examines empirically the interplay of these challenges and a variety of design decisions. In particular, we consider the effect of how the algorithm decides on module composition, how the algorithm updates the modules, and if the algorithm uses regularization.


title: Exact Testing of Many Moment Inequalities Against Multiple Violations

abstract: This paper considers the problem of testing many moment inequalities, where the number of moment inequalities ($p$) is possibly larger than the sample size ($n$). Chernozhukov et al. (2019) proposed asymptotic tests for this problem using the maximum $t$ statistic. We observe that such tests can have low power if multiple inequalities are violated. As an alternative, we propose novel randomization tests based on a maximum non-negatively weighted combination of $t$ statistics. We provide a condition guaranteeing size control in large samples. Simulations show that the tests control size in small samples ($n = 30$, $p = 1000$), and often has substantially higher power against alternatives with multiple violations than tests based on the maximum $t$ statistic.


title: Determining the Walsh spectra of Taniguchi's and related APN-functions

abstract: We introduce a method based on Bezout's theorem on intersection points of two projective plane curves, for determining the nonlinearity of some classes of quadratic functions on $\mathbb{F}_{2^{2m}}$. Among those are the functions of Taniguchi 2019, Carlet 2011, and Zhou and Pott 2013, all of which are APN under certain conditions. This approach helps to understand why the majority of the functions in those classes have solely bent and semibent components, which in the case of APN functions is called the classical spectrum. More precisely, we show that all Taniguchi functions have the classical spectrum independent from being APN. We determine the nonlinearity of all functions belonging to Carlet's class and to the class of Zhou and Pott, which also confirms with comparatively simple proofs earlier results on the Walsh spectrum of APN-functions in these classes. Using the Hasse-Weil bound, we show that some simple sufficient conditions for the APN-ness of the Zhou-Pott functions, which are given in the original paper, are also necessary.


title: Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter

abstract: In this paper, we study a discrete system of entities residing on a two-dimensional square grid. Each entity is modelled as a node occupying a distinct cell of the grid. The set of all $n$ nodes forms initially a connected shape $A$. Entities are equipped with a linear-strength pushing mechanism that can push a whole line of entities, from 1 to $n$, in parallel in a single time-step. A target connected shape $B$ is also provided and the goal is to \emph{transform} $A$ into $B$ via a sequence of line movements. Existing models based on local movement of individual nodes, such as rotating or sliding a single node, can be shown to be special cases of the present model, therefore their (inefficient, $\Theta(n^2)$) \emph{universal transformations} carry over. Our main goal is to investigate whether the parallelism inherent in this new type of movement can be exploited for efficient, i.e., sub-quadratic worst-case, transformations. As a first step towards this, we restrict attention solely to centralised transformations and leave the distributed case as a direction for future research. Our results are positive. By focusing on the apparently hard instance of transforming a diagonal $A$ into a straight line $B$, we first obtain transformations of time $O(n\sqrt{n})$ without and with preserving the connectivity of the shape throughout the transformation. Then, we further improve by providing two $O(n\log n)$-time transformations for this problem. By building upon these ideas, we first manage to develop an $O(n\sqrt{n})$-time universal transformation. Our main result is then an $ O(n \log n) $-time universal transformation. We leave as an interesting open problem a suspected $\Omega(n\log n)$-time lower bound.


title: On certain complex surface singularities

abstract: The thesis deals with holomorphic germs $ \Phi: (\mathbb{C}^2, 0) \to (\mathbb{C}^3,0) $ singular only at the origin, with a special emphasis on the distinguished class of finitely determined germs. The results are published in two articles (arXiv:1404.2853 and arXiv:1902.01229), joint with Andr\'{a}s N\'{e}methi. In Chapter 3 of the thesis we study the associated immersion $ S^3 \looparrowright S^5 $, while Chapter 5 contains an algorithm providing the Milnor fibre boundary of the non-isolated hypersurface singularity determined by the image of $ \Phi $. These results create bridges between different areas of complex singularity theory and immersion theory. The background of these topics is summerized in Chapter 1, 2 and 4.


title: Energy Scales of the Doped Anderson Lattice Model

abstract: This paper explores the energy scales of the doped Anderson lattice model using dynamical mean-field theory (DMFT), using a continuous-time Quantum Monte Carlo (CTQMC) impurity solver. We show that the low temperature properties of the lattice can not be scaled using the single ion local Kondo temperature $T_K$ but instead are governed by a doping-dependent coherence temperature $T*$ which can be used to scale the temperature dependence of the spectral function, transport properties, and entropy. At half filling $T*$ closely approximates the single ion $T_K$, but as the filling $n_c$ is reduced to zero, $T*$ also vanishes. The coherence temperature $T*$ is shown to play a role of effective impurity Kondo temperature in the lattice model, and physical observables show significant evolution at $T*$. In the DMFT framework, we showed that the hybridization strength of the effective impurity model is qualitatively affected by the doping level, and determines $T*$ in the lattice model.


title: A Simple Derivation of the Refined Sphere Packing Bound Under Certain Symmetry Hypotheses

abstract: A judicious application of the Berry-Esseen theorem via suitable Augustin information measures is demonstrated to be sufficient for deriving the sphere packing bound with a prefactor that is $\mathit{\Omega}\left(n^{-0.5(1-E_{sp}'(R))}\right)$ for all codes on certain families of channels -- including the Gaussian channels and the non-stationary Renyi symmetric channels -- and for the constant composition codes on stationary memoryless channels. The resulting non-asymptotic bounds have definite approximation error terms. As a preliminary result that might be of interest on its own, the trade-off between type I and type II error probabilities in the hypothesis testing problem with (possibly non-stationary) independent samples is determined up to some multiplicative constants, assuming that the probabilities of both types of error are decaying exponentially with the number of samples, using the Berry-Esseen theorem.


title: A Tight Relation between Spiral Arm Pitch Angle and Protoplanetary Disk Mass

abstract: We use two-dimensional Fourier transformation to measure the pitch angle ($\varphi$) of the dominant spiral Fourier mode of well-defined spiral arms in 13 protoplanetary disks, making use of near-infrared scattered-light images of AB Aur, SAO 206462, MWC 758, V1247 Ori, HD 142527, DZ Cha, LkH$\alpha$ 330, and HD 100453, and ALMA millimeter continuum images of Elias 2-27, IM Lup, AS 205, and HT Lup. We find that the measured pitch angle correlates strongly with disk mass ($M_{D}$), such that more massive protoplanetary disks have smaller pitch angles, following $|\varphi| = -(7.8\pm1.7)\log(M_{D}/M_{\odot})+(2.7\pm2.6)$. Interestingly, four disks with a known companion (HD 142527, HD 100453, AS 205, and HT Lup) share the same trend. Such a strong dependence of spiral arm pitch angle on disk mass suggests that the disk mass, independent of the formation mechanism, plays a fundamental role in determining the arm tightness of the observed spiral structure. The physical origin of the $\varphi-M_D$ relation is still not clear. The pitch angle of spiral arms in protoplanetary disks provides an independent constraint on the disk mass.


title: Transversally Elliptic Complex and Cohomological Field Theory

abstract: This work is a continuation of our previous paper arXiv:1812.06473 where we have constructed ${\cal N}=2$ supersymmetric Yang-Mills theory on 4D manifolds with a Killing vector field with isolated fixed points. In this work we expand on the mathematical aspects of the theory, with a particular focus on its nature as a cohomological field theory. The well-known Donaldson-Witten theory is a twisted version of ${\cal N}=2$ SYM and can also be constructed using the Atiyah-Jeffrey construction. This theory is concerned with the moduli space of anti-self-dual gauge connections, with a deformation theory controlled by an elliptic complex. More generally, supersymmetry requires considering configurations that look like either instantons or anti-instantons around fixed points, which we call flipping instantons. The flipping instantons of our 4D ${\cal N}=2$ theory are derived from the 5D contact instantons. The novelty is that their deformation theory is controlled by a transversally elliptic complex, which we demonstrate here. We repeat the Atiyah-Jeffrey construction in the equivariant setting and arrive at the Lagrangian (an equivariant Euler class in the relevant field space) that was also obtained from our previous work arXiv:1812.06473. We show that the transversal ellipticity of the deformation complex is crucial for the non-degeneracy of the Lagrangian and the calculability of the theory. Our construction is valid on a large class of quasi toric 4 manifolds.


title: On the growth of massive scalar hair around a Schwarzschild black hole

abstract: Through numerical simulations of a minimally coupled massive Klein-Gordon scalar field, we show that it is possible to grow hair on a Schwarzschild black hole if one assumes an initial periodically time-varying but spatially homogeneous scalar background. By "hair", we mean a non-trivial profile in the scalar field. We find that this profile emerges on a timescale related to the mass of the black hole, with features related to the mass of the scalar particle. We undertake simulations with and without backreaction on the metric and see that the essential, qualitative features remain consistent. We also contrast the results from higher mass scalars to the case of a low mass with a large Compton wavelength. The results are particularly relevant for scalar-tensor theories of gravity and dark matter models consisting of a massive scalar, e.g. axions.


title: Dirac and Weyl Fermions in 3D Hopf-linked Honeycomb Lattices: Hopfene

abstract: Carbon allotropes such as diamond, nano-tube, Fullerene, and Graphene, have unique lattice symmetries of crystal lattice, but these are topologically trivial. We have proposed a topologically-nontrivial allotrope, named Hopfene, which has three-dimensional (3D) arrays of Hopf-links to bind 2D Graphene sheets both vertically and horizontally. Here, we describe the electronic structures of Hopfene by simple tight-binding calculations. We confirmed the original Dirac points of 2D Graphene were topologically protected upon the introduction of the Hopf links, and low-energy excitations are described by 1D, 2D, and 3D Dirac and Weyl Fermions.


abstract: Style transfer algorithms strive to render the content of one image using the style of another. We propose Style Transfer by Relaxed Optimal Transport and Self-Similarity (STROTSS), a new optimization-based style transfer algorithm. We extend our method to allow user-specified point-to-point or region-to-region control over visual similarity between the style image and the output. Such guidance can be used to either achieve a particular visual effect or correct errors made by unconstrained style transfer. In order to quantitatively compare our method to prior work, we conduct a large-scale user study designed to assess the style-content tradeoff across settings in style transfer algorithms. Our results indicate that for any desired level of content preservation, our method provides higher quality stylization than prior work. Code is available at https://github.com/nkolkin13/STROTSS


title: Extended $D=3$ Bargmann supergravity from a Lie algebra expansion

abstract: In this paper we show how the method of Lie algebra expansions may be used to obtain, in a simple way, both the extended Bargmann Lie superalgebra and the Chern-Simons action associated to it in three dimensions, starting from $D=3$, $\mathcal{N}=2$ superPoincar\'e and its corresponding Chern-Simons supergravity.


title: Graph Matching Networks for Learning the Similarity of Graph Structured Objects

abstract: This paper addresses the challenging problem of retrieval and matching of graph structured objects, and makes two key contributions. First, we demonstrate how Graph Neural Networks (GNN), which have emerged as an effective model for various supervised prediction problems defined on structured data, can be trained to produce embedding of graphs in vector spaces that enables efficient similarity reasoning. Second, we propose a novel Graph Matching Network model that, given a pair of graphs as input, computes a similarity score between them by jointly reasoning on the pair through a new cross-graph attention-based matching mechanism. We demonstrate the effectiveness of our models on different domains including the challenging problem of control-flow-graph based function similarity search that plays an important role in the detection of vulnerabilities in software systems. The experimental analysis demonstrates that our models are not only able to exploit structure in the context of similarity learning but they can also outperform domain-specific baseline systems that have been carefully hand-engineered for these problems.


title: Magneto-Rossby waves in the solar tachocline and the annual variations in solar activity

abstract: Annual oscillations have been detected in many indices of solar activity during many cycles. Recent multi spacecraft observations of coronal bright points revealed slow retrograde toroidal phase drift (with the speed of 3 m/s of 1 yr oscillations, which naturally suggested their connection with Rossby-type waves in the interior. We have studied from a theoretical point of view the dynamics of global magneto-Kelvin and magneto-Rossby waves in the solar tachocline with toroidal magnetic field. Using spherical coordinates, the dispersion relations of the waves and latitudinal structure of solutions were obtained analytically. We have also obtained the spectrum of unstable magneto-Rossby wave harmonics in the presence of the latitudinal differential rotation. Estimated periods and phase speeds show that the magneto-Rossby waves rather than the Kelvin waves match with the observations of 1 yr oscillations. On the other hand, Morlet wavelet analysis of Greenwich Royal Observatory sunspot areas for the solar cycle 23 has revealed multiple periodicities with periods of 450-460 days, 370-380 days, 310-320 days, 240-270 days, and 150-175 days in hemispheric and full disk data. Comparison of theoretical results with the observations allow us to conclude that the global magneto-Kelvin waves in the upper overshoot tachocline may be responsible for the periodicity of 450-460 days (1.3 yrs), while the remaining periods can be connected with different harmonics of global fast magneto-Rossby waves.


title: Constraining a nonminimally coupled curvature-matter gravity model with ocean experiments

abstract: We examine the constraints on the Yukawa regime from the non-minimally coupled curvature-matter gravity theory arising from deep underwater ocean experiments. We consider the geophysical experiment of Zumberge et al. of 1991 for searching deviations of Newton's inverse square law in ocean. In the context of non-minimally coupled curvature-matter theory of gravity the results of Zumberge et al. can be used to obtain an upper bound both on the strength $\alpha$ and range $\lambda$ of the Yukawa potential arising from the non-relativistic limit of the non-minimally coupled theory. The existence of an upper bound on $\lambda$ is related to the presence of an extra force, specific of the nonminimally coupled theory, which depends on $\lambda$ and on the gradient of mass density, and has an effect in the ocean because of compressibility of seawater. These results can be achieved after a suitable treatment of the conversion of pressure to depth in the ocean by resorting to the equation of state of seawater and taking into account the effect of the extra force on hydrostatic equilibrium. If the sole Yukawa interaction were present the experiment would yield only a bound on $\alpha$, while, in the presence of the extra force we find an upper bound on the range: $\lambda_{\rm max}= 57.4$ km. In the interval $1 \,{\rm m}<\lambda<\lambda_{\rm max}$ the upper bound on $\alpha$ is consistent with the constraint $\alpha<0.002$ found in Zumberge et al.


title: Astro 2020: Astromineralogy of interstellar dust with X-ray spectroscopy

abstract: X-ray absorption fine structure (XAFS) in the 0.2-2 keV band is a crucial component in multi-wavelength studies of dust mineralogy, size, and shape -- parameters that are necessary for interpreting astronomical observations and building physical models across all fields, from cosmology to exoplanets. Despite its importance, many fundamental questions about dust remain open. What is the origin of the dust that suffuses the interstellar medium (ISM)? Where is the missing interstellar oxygen? How does iron, predominantly produced by Type Ia supernovae, become incorporated into dust? What is the main form of carbon in the ISM, and how does it differ from carbon in stellar winds? The next generation of X-ray observatories, employing microcalorimeter technology and $R \equiv \lambda/\Delta \lambda \geq 3000$ gratings, will provide pivotal insights for these questions by measuring XAFS in absorption and scattering. However, lab measurements of mineralogical candidates for astrophysical dust, with R > 1000, are needed to fully take advantage of the coming observations.


title: Topological Color-Hall Insulators: SU(3) Fermions in Optical Lattices

abstract: We discuss the emergence of topological color insulators in optical lattices as quantum phases of SU(3) ultra-cold neutral fermions. We construct the Chern matrix and classify all insulating phases in terms of three topological invariants: the charge-charge, the color-charge and the color-color Chern numbers. Our classification transcends that of SU(2) systems which require only the charge-charge (charge-Hall) and spin-charge (spin-Hall) Chern numbers. To illustrate the topological classification of the insulating phases of SU(3) fermions, we construct phase diagrams of chemical potential and color-orbit parameter versus color-flip fields for fixed magnetic flux ratio.


title: Fully Homomorphic Encryption Encapsulated Difference Expansion for Reversible Data hiding in Encrypted Domain

abstract: This paper proposes a fully homomorphic encryption encapsulated difference expansion (FHEE-DE) scheme for reversible data hiding in encrypted domain (RDH-ED). In the proposed scheme, we use key-switching and bootstrapping techniques to control the ciphertext extension and decryption failure. To realize the data extraction directly from the encrypted domain without the private key, a key-switching based least-significant-bit (KS-LSB) data hiding method has been designed. In application, the user first encrypts the plaintext and uploads ciphertext to the server. Then the server performs data hiding by FHEE-DE and KS-LSB to obtain the marked ciphertext. Additional data can be extracted directly from the marked ciphertext by the server without the private key. The user can decrypt the marked ciphertext to obtain the marked plaintext. Then additional data or plaintext can be obtained from the marked plaintext by using the standard DE extraction or recovery. A fidelity constraint of DE is introduced to reduce the distortion of the marked plaintext. FHEE-DE enables the server to implement FHEE-DE recovery or extraction on the marked ciphertext, which returns the ciphertext of original plaintext or additional data to the user. In addition, we simplified the homomorphic operations of the proposed universal FHEE-DE to obtain an efficient version. The Experimental results demonstrate that the embedding capacity, fidelity, and reversibility of the proposed scheme are superior to existing RDH-ED methods, and fully separability is achieved without reducing the security of encryption.


title: Breaking the entanglement barrier: Tensor network simulation of quantum transport

abstract: The recognition that large classes of quantum many-body systems have limited entanglement in the ground and low-lying excited states led to dramatic advances in their numerical simulation via so-called tensor networks. However, global dynamics elevates many particles into excited states, and can lead to macroscopic entanglement and the failure of tensor networks. Here, we show that for quantum transport -- one of the most important cases of this failure -- the fundamental issue is the canonical basis in which the scenario is cast: When particles flow through an interface, they scatter, generating a "bit" of entanglement between spatial regions with each event. The frequency basis naturally captures that -- in the long-time limit and in the absence of inelastic scattering -- particles tend to flow from a state with one frequency to a state of identical frequency. Recognizing this natural structure yields a striking -- potentially exponential in some cases -- increase in simulation efficiency, greatly extending the attainable spatial- and time-scales, and broadening the scope of tensor network simulation to hitherto inaccessible classes of non-equilibrium many-body problems.


title: Constraint-Aware Neural Networks for Riemann Problems

abstract: Neural networks are increasingly used in complex (data-driven) simulations as surrogates or for accelerating the computation of classical surrogates. In many applications physical constraints, such as mass or energy conservation, must be satisfied to obtain reliable results. However, standard machine learning algorithms are generally not tailored to respect such constraints. We propose two different strategies to generate constraint-aware neural networks. We test their performance in the context of front-capturing schemes for strongly nonlinear wave motion in compressible fluid flow. Precisely, in this context so-called Riemann problems have to be solved as surrogates. Their solution describes the local dynamics of the captured wave front in numerical simulations. Three model problems are considered: a cubic flux model problem, an isothermal two-phase flow model, and the Euler equations. We demonstrate that a decrease in the constraint deviation correlates with low discretization errors for all model problems, in addition to the structural advantage of fulfilling the constraint.


title: TileGAN: Synthesis of Large-Scale Non-Homogeneous Textures

abstract: We tackle the problem of texture synthesis in the setting where many input images are given and a large-scale output is required. We build on recent generative adversarial networks and propose two extensions in this paper. First, we propose an algorithm to combine outputs of GANs trained on a smaller resolution to produce a large-scale plausible texture map with virtually no boundary artifacts. Second, we propose a user interface to enable artistic control. Our quantitative and qualitative results showcase the generation of synthesized high-resolution maps consisting of up to hundreds of megapixels as a case in point.


title: Relational Collaborative Filtering:Modeling Multiple Item Relations for Recommendation

abstract: Existing item-based collaborative filtering (ICF) methods leverage only the relation of collaborative similarity. Nevertheless, there exist multiple relations between items in real-world scenarios. Distinct from the collaborative similarity that implies co-interact patterns from the user perspective, these relations reveal fine-grained knowledge on items from different perspectives of meta-data, functionality, etc. However, how to incorporate multiple item relations is less explored in recommendation research. In this work, we propose Relational Collaborative Filtering (RCF), a general framework to exploit multiple relations between items in recommender system. We find that both the relation type and the relation value are crucial in inferring user preference. To this end, we develop a two-level hierarchical attention mechanism to model user preference. The first-level attention discriminates which types of relations are more important, and the second-level attention considers the specific relation values to estimate the contribution of a historical item in recommending the target item. To make the item embeddings be reflective of the relational structure between items, we further formulate a task to preserve the item relations, and jointly train it with the recommendation task of preference modeling. Empirical results on two real datasets demonstrate the strong performance of RCF. Furthermore, we also conduct qualitative analyses to show the benefits of explanations brought by the modeling of multiple item relations.


title: On varieties defined by large sets of quadrics and their application to error-correcting codes

abstract: Let $U$ be a $({ k-1 \choose 2}-1)$-dimensional subspace of quadratic forms defined on $\mathrm{PG}(k-1,{\mathbb F})$ with the property that $U$ does not contain any reducible quadratic form. Let $V(U)$ be the points of $\mathrm{PG}(k-1,{\mathbb F})$ which are zeros of all quadratic forms in $U$. We will prove that if there is a group $G$ which fixes $U$ and no line of $\mathrm{PG}(k-1,{\mathbb F})$ and $V(U)$ spans $\mathrm{PG}(k-1,{\mathbb F})$ then any hyperplane of $\mathrm{PG}(k-1,{\mathbb F})$ is incident with at most $k$ points of $V(U)$. If ${\mathbb F}$ is a finite field then the linear code generated by the matrix whose columns are the points of $V(U)$ is a $k$-dimensional linear code of length $|V(U)|$ and minimum distance at least $|V(U)|-k$. A linear code with these parameters is an MDS code or an almost MDS code. We will construct examples of such subspaces $U$ and groups $G$, which include the normal rational curve, the elliptic curve, Glynn's arc from \cite{Glynn1986} and other examples found by computer search. We conjecture that the projection of $V(U)$ from any $k-4$ points is contained in the intersection of two quadrics, the common zeros of two linearly independent quadratic forms. This would be a strengthening of a classical theorem of Fano, which itself is an extension of a theorem of Castelnuovo, for which we include a proof using only linear algebra.


title: Mathematical studies of the dynamics of finite-size binary neural networks: A review of recent progress

abstract: Traditional mathematical approaches to studying analytically the dynamics of neural networks rely on the mean-field approximation, which is rigorously applicable only to networks of infinite size. However, all existing real biological networks have finite size, and many of them, such as microscopic circuits in invertebrates, are composed only of a few tens of neurons. Thus, it is important to be able to extend to small-size networks our ability to study analytically neural dynamics. Analytical solutions of the dynamics of finite-size neural networks have remained elusive for many decades, because the powerful methods of statistical analysis, such as the central limit theorem and the law of large numbers, do not apply to small networks. In this article, we critically review recent progress on the study of the dynamics of small networks composed of binary neurons. In particular, we review the mathematical techniques we developed for studying the bifurcations of the network dynamics, the dualism between neural activity and membrane potentials, cross-neuron correlations, and pattern storage in stochastic networks. Finally, we highlight key challenges that remain open, future directions for further progress, and possible implications of our results for neuroscience.


title: Classicalization by phase space measurements

abstract: This article provides an accessible illustration of the measurement approach to the study of the quantum-classical transition suitable for beginning graduate students. As an example, we apply it to a quantum system with a general quadratic Hamiltonian and obtain the exact solution of the dynamics for an arbitrary measurement strength.


title: Arcs and tensors

abstract: To an arc $\mathcal{A}$ of $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ we associate a tensor in $\langle \nu_{k,t}(\mathcal{A})\rangle^{\otimes k-1}$, where $\nu_{k,t}$ denotes the Veronese map of degree $t$ defined on $\mathrm{PG}(k-1,q)$. As a corollary we prove that for each arc $\mathcal{A}$ in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$, which is not contained in a hypersurface of degree $t$, there exists a polynomial $F(Y_1,\ldots,Y_{k-1})$ (in $k(k-1)$ variables) where $Y_j=(X_{j1},\ldots,X_{jk})$, which is homogeneous of degree $t$ in each of the $k$-tuples of variables $Y_j$, which upon evaluation at any $(k-2)$-subset $S$ of the arc $\mathcal{A}$ gives a form of degree $t$ on $\mathrm{PG}(k-1,q)$ whose zero locus is the tangent hypersurface of $\mathcal{A}$ at $S$, i.e. the union of the tangent hyperplanes of $\mathcal{A}$ at $S$. This generalises the equivalent result for planar arcs ($k=3$), proven in \cite{BaLa2018}, to arcs in projective spaces of arbitrary dimension. A slightly weaker result is obtained for arcs in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ which are contained in a hypersurface of degree $t$. We also include a new proof of the Segre-Blokhuis-Bruen-Thas hypersurface associated to an arc of hyperplanes in $\mathrm{PG}(k-1,q)$.


title: On connected quandles of prime power order

abstract: We develop some general ideas to study connected quandles of prime power size and we classify non-affine connected quandles of size $p^3$ for $p>3$, using a combination of group theoretical and universal algebraic tools. As a byproduct we obtain a classification of Bruck loops of the same size and that they are in one-to-one correspondence with commutative automorphic loops.


title: Room-temperature structural phase transition in the quasi-2D spin-1/2 Heisenberg antiferromagnet Cu(pz)$_2$(ClO$_4$)$_2$

abstract: Cu(pz)$_2$(ClO$_4$)$_2$ (with pz denoting pyrazine C$_4$H$_4$N$_2$) is a two-dimensional spin-1/2 square-lattice antiferromagnet with $T_{\mathrm{N}}$ = 4.24 K. Due to a persisting focus on the low-temperature magnetic properties, its room-temperature structural and physical properties caught no attention up to now. Here we report a study of the structural features of Cu(pz)$_2$(ClO$_4$)$_2$ in the paramagnetic phase, up to 330 K. By employing magnetization, specific heat, $^{35}$Cl nuclear magnetic resonance, and neutron diffraction measurements, we provide evidence of a second-order phase transition at $T^{\star}$ = 294 K, not reported before. The absence of a magnetic ordering across $T^{\star}$ in the magnetization data, yet the presence of a sizable anomaly in the specific heat, suggest a structural order-to-disorder type transition. NMR and neutron-diffraction data corroborate our conjecture, by revealing subtle angular distortions of the pyrazine rings and of ClO$^-_4$ counteranion tetrahedra, shown to adopt a configuration of higher symmetry above the transition temperature.


title: Black Hole Hair from Scalar Dark Matter

abstract: We show that a black hole surrounded by scalar dark matter develops scalar hair. This is the generalization of a phenomenon pointed out by Jacobson, that a minimally coupled scalar with a non-trivial time dependence far away from the black hole would endow the black hole with hair. In our case, the time dependence arises from the oscillation of a scalar field with a non-zero mass. We systematically explore the scalar profile around the black hole for different scalar masses. In the small mass limit, the scalar field has a $1/r$ component at large radius $r$, consistent with Jacobson's result. In the large mass limit (with the Compton wavelength of order of the horizon or smaller), the scalar field has a $1/r^{3/4}$ profile yielding a pile-up close to the horizon, while distinctive nodes occur for intermediate masses. Thus, the dark matter profile around a black hole, while challenging to measure, contains information about the dark matter particle mass. As an application, we consider the case of the supermassive black hole at the center of M87, recently imaged by the Event Horizon Telescope. Its horizon size is roughly the Compton wavelength of a scalar particle of mass $10^{-20}$ eV. We consider the implications of the expected scalar pile-up close to the horizon, for fuzzy dark matter at a mass of $10^{-20}$ eV or below.


title: The I/O complexity of hybrid algorithms for square matrix multiplication

abstract: Asymptotically tight lower bounds are derived for the I/O complexity of a general class of hybrid algorithms computing the product of $n \times n$ square matrices combining ``\emph{Strassen-like}'' fast matrix multiplication approach with computational complexity $\Theta{n^{\log_2 7}}$, and ``\emph{standard}'' matrix multiplication algorithms with computational complexity $\Omega\left(n^3\right)$. We present a novel and tight $\Omega\left(\left(\frac{n}{\max\{\sqrt{M},n_0\}}\right)^{\log_2 7}\left(\max\{1,\frac{n_0}{M}\}\right)^3M\right)$ lower bound for the I/O complexity a class of ``\emph{uniform, non-stationary}'' hybrid algorithms when executed in a two-level storage hierarchy with $M$ words of fast memory, where $n_0$ denotes the threshold size of sub-problems which are computed using standard algorithms with algebraic complexity $\Omega\left(n^3\right)$. The lower bound is actually derived for the more general class of ``\emph{non-uniform, non-stationary}'' hybrid algorithms which allow recursive calls to have a different structure, even when they refer to the multiplication of matrices of the same size and in the same recursive level, although the quantitative expressions become more involved. Our results are the first I/O lower bounds for these classes of hybrid algorithms. All presented lower bounds apply even if the recomputation of partial results is allowed and are asymptotically tight. The proof technique combines the analysis of the Grigoriev's flow of the matrix multiplication function, combinatorial properties of the encoding functions used by fast Strassen-like algorithms, and an application of the Loomis-Whitney geometric theorem for the analysis of standard matrix multiplication algorithms. Extensions of the lower bounds for a parallel model with $P$ processors are also discussed.


title: Supplemental Material: Eshelby ensemble of highly viscous flow out of equilibrium

abstract: Supplemental Material to ArXiv:1902.02746


title: A Motion Planning Algorithm in a lollipop graph

abstract: This paper is concerned with problems relevant to motion planning in robotics. Configuration spaces are of practical relevance in designing safe control schemes for robots moving on a track. The topological complexity of a configuration space is an integer which can be thought of as the minimum number of continuous instructions required to describe how to move robots between any initial configuration to any final one without collisions. We calculate this number for various examples of robots moving in different tracks represented by graphs. We present and implement an explicit algorithm for two robots to move autonomously and without collisions on a lollipop track.


title: Graded persistence diagrams and persistence landscapes

abstract: We introduce a refinement of the persistence diagram, the graded persistence diagram. It is the Mobius inversion of the graded rank function, which is obtained from the rank function using the unary numeral system. Both persistence diagrams and graded persistence diagrams are integer-valued functions on the Cartesian plane. Whereas the persistence diagram takes non-negative values, the graded persistence diagram takes values of 0, 1, or -1. The sum of the graded persistence diagrams is the persistence diagram. We show that the positive and negative points in the k-th graded persistence diagram correspond to the local maxima and minima, respectively, of the k-th persistence landscape. We prove a stability theorem for graded persistence diagrams: the 1-Wasserstein distance between k-th graded persistence diagrams is bounded by twice the 1-Wasserstein distance between the corresponding persistence diagrams, and this bound is attained. In the other direction, the 1-Wasserstein distance is a lower bound for the sum of the 1-Wasserstein distances between the k-th graded persistence diagrams. In fact, the 1-Wasserstein distance for graded persistence diagrams is more discriminative than the 1-Wasserstein distance for the corresponding persistence diagrams.


title: Dynamics of Ferroelectric Negative Capacitance -- Electrostatic MEMS Hybrid Actuators

abstract: We propose a framework to model ferroelectric negative capacitance: electrostatic Micro Electro Mechanical Systems (MEMS) hybrid actuators and analyze their dynamic (step input) response. Using this framework, we report the first proposal for reduction in the dynamic pull-in and pull-out voltages of the hybrid actuators due to the negative capacitance of the ferroelectric. The proposed model also reveals the effect of ferroelectric thickness on the dynamic pull-in and pull-out voltages and the effect of ferroelectric damping on the energy dissipated during actuation. We infer from our analysis that the hybrid actuators are better than the standalone MEMS actuators in terms of operating voltage and energy dissipation. Further, we show that one can trade-off a small part of the reduction in actuation voltage to achieve identical pull-in times in the hybrid and standalone MEMS actuators, while still consuming substantially lower energy in the former as compared to the latter. The circuit compatibility of the proposed hybrid actuator model makes it suitable for analysis and evaluation of various heterogeneous systems consisting of hybrid MEMS actuators and other electronic devices.


title: A Split-Step Fourier Scheme for the Dissipative Kundu-Eckhaus Equation and its Rogue Wave Dynamics

abstract: We investigate the rogue wave dynamics of the dissipative Kundu-Eckhaus equation. With this motivation, we propose a split-step Fourier scheme for its numerical solution. After testing the accuracy and stability of the scheme using an analytical solution as a benchmark problem, we analyze the chaotic wave fields generated by the modulation instability within the frame of the dissipative Kundu-Eckhaus equation. We discuss the effects of various parameters on rogue wave formation probability and we also discuss the role of dissipation on occurrences of such waves.


title: Asymptotic regime for impropriety tests of complex random vectors

abstract: Impropriety testing for complex-valued vector has been considered lately due to potential applications ranging from digital communications to complex media imaging. This paper provides new results for such tests in the asymptotic regime, i.e. when the vector dimension and sample size grow commensurately to infinity. The studied tests are based on invariant statistics named impropriety coefficients. Limiting distributions for these statistics are derived, together with those of the Generalized Likelihood Ratio Test (GLRT) and Roy's test, in the Gaussian case. This characterization in the asymptotic regime allows also to identify a phase transition in Roy's test with potential application in detection of complex-valued low-rank subspace corrupted by proper noise in large datasets. Simulations illustrate the accuracy of the proposed asymptotic approximations.


title: Variations in 2D and 3D models by a new family of subdivision schemes and algorithms for its analysis

abstract: A new family of combined subdivision schemes with one tension parameter is proposed by the interpolatory and approximating subdivision schemes. The displacement vectors between the points of interpolatory and approximating subdivision schemes provide the flexibility in designing the limit curves and surfaces. Therefore, the limit curves generated by the proposed subdivision schemes variate in between or around the approximating and interpolatory curves. We also design few analytical algorithms to study the properties of the proposed schemes theoretically. The efficiency of these algorithms are analyzed by calculating their time complexity. The graphical representations and graphical properties of the proposed schemes are also analyzed.


title: Geometric quantization of coupled K\"ahler-Einstein metrics

abstract: We study the quantization of coupled K\"ahler-Einstein (CKE) metrics, namely we approximate CKE metrics by means of the canonical Bergman metrics, so called the ``balanced metrics''. We prove the existence and weak convergence of balanced metrics for the negative first Chern class, while for the positive first Chern class, we introduce some algebro-geometric obstruction which interpolates between the Donaldson-Futaki invariant and Chow weight. Then we show the existence and weak convergence of balanced metrics on CKE manifolds under the vanishing of this obstruction. Moreover, restricted to the case when the automorphism group is discrete, we also discuss approximate solutions and a gradient flow method towards the smooth convergence.


title: Exciton Shift Currents: DC Conduction with Sub-bandgap Photo Excitations

abstract: Shift current is a DC current generated from nonlinear light-matter interaction in a non-centrosymmetric crystal and is considered a promising candidate for next generation photovoltaic devices. The mechanism for shift currents in real materials is, however, still not well understood, especially if electron-hole interactions are taken into account. Here, we employ a first-principles interacting Green's-function approach on the Keldysh contour to study photocurrents generated by nonlinear optical processes in real materials and discover a strong DC shift current at subbandgap excitation frequencies in monolayer GeS due to strongly bound excitons, as well as giant enhancement in the shift current coefficients at above bandgap photon frequencies. Our results suggest that atomically thin two-dimensional materials may be promising building blocks for next generation shift current devices with efficiencies beyond the Shockley-Queisser limit.


title: The standard and the fractional Ornstein-Uhlenbeck process on a growing domain

abstract: We study normal diffusive and subdiffusive processes in a harmonic potential (Ornstein-Uhlenbeck process) on a uniformly growing/contracting domain. Our starting point is a recently derived fractional Fokker-Planck equation, which covers both the case of Brownian diffusion and the case of a subdiffusive Continuous-Time Random Walk (CTRW). We find a high sensitivity of the random walk properties to the details of the domain growth rate, which gives rise to a variety of regimes with extremely different behaviors. At the origin of this rich phenomenology is the fact that the walkers still move while they wait to jump, since they are dragged by the deterministic drift arising from the domain growth. Thus, the increasingly long waiting times associated with the ageing of the subdiffusive CTRW imply that, in the time interval between two consecutive jumps, the walkers might travel over much longer distances than in the normal diffusive case. This gives rise to seemingly counterintuitive effects. For example, on a static domain, both Brownian diffusion and subdiffusive CTRWs yield a stationary particle distribution with finite width when a harmonic potential is at play, thus indicating a confinement of the diffusing particle. However, for a sufficiently fast growing/contracting domain, this qualitative behavior breaks down, and differences between the Brownian case and the subdiffusive case are found. In the case of Brownian particles, a sufficiently fast exponential domain growth is needed to break the confinement induced by the harmonic force; in contrast, for subdiffusive particles such a breakdown may already take place for a sufficiently fast power-law domain growth. Our analytic and numerical results for both types of diffusion are fully confirmed by random walk simulations.


title: A background estimator for jet studies in p+p and A+A collisions

abstract: Experimentally, jet physics studies face an unavoidable task: distinguishing, at the detector level, the particles produced in the hard partonic scattering from the ones created in unrelated soft processes such as pileup interactions in high-luminosity proton-proton scattering or the underlying event in heavy-ion collisions. The fluctuating nature of the background constitutes the main source of uncertainty for any subtraction algorithm. Aiming at mitigating the effect of such fluctuations, we present a new method to estimate the background contribution to the transverse momentum on a jet-by-jet basis. Our approach is based on estimating the median background momentum density stored above a $p_{\rm T}$-cut applied at the constituent level and an experimentally accessible correction term related to the signal contribution below the cut. This allows to trade part of the uncertainty due to background contamination for that of the signal below the cut, similarly to SoftKiller method. We propose to reduce the fluctuations of the latter by exploiting intrinsic correlations among the soft and hard sectors of QCD jets. Our data-driven approach is tested against PYTHIA8 and JEWEL di-jet events embedded in a thermal background and compared to the area-median and SoftKiller methods. The main result of this study is a $\sim 5\!-\!40\%$ improvement on the resolution of the reconstructed jet $p_T$ compared to previous methods in a high-luminosity proton-proton scenario. Its applicability in a heavy-ion context is also discussed.


title: Self-Sovereign Identity Solutions: The Necessity of Blockchain Technology

abstract: With the advancement of technology and subsequently the age of digital information, online trustworthy identification has become increasingly more important. With respect to the various data breaches and privacy regulations, the current identity solutions are not fully optimized. In this paper, we will take a look at several Self-Sovereign Identity solutions which are already available. Some of them are built upon blockchain technology as this already provides decentralised persistent data and consensus. We will explore the emerging landscape of Self-Sovereign Identity solutions and dissect their implementations under multiple aspect criteria to determine the necessity of blockchain technology in this field. We conclude that blockchain technology is not explicitly required for a Self-Sovereign Identity solution but it is a good foundation to build up on, due to various technical advantages that the blockchain has to offer.


title: Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms

abstract: We present an abstract model of quantum computation, the "Pauli Fusion" model, whose primitive operations correspond closely to generators of the ZX calculus (a formal graphical language for quantum computing). The fundamental operations of Pauli Fusion are also straightforward abstractions of basic processes in some leading proposed quantum technologies. These operations have non-deterministic heralded effects, similarly to measurement-based quantum computation. We describe sufficient conditions for Pauli Fusion procedures to be deterministically realisable, so that it performs a given transformation independently of its non-deterministic outcomes. This provides an operational model to realise ZX terms beyond the circuit model.


title: Planetary system around the nearby M dwarf GJ 357 including a transiting, hot, Earth-sized planet optimal for atmospheric characterization

abstract: We report the detection of a transiting Earth-size planet around GJ 357, a nearby M2.5V star, using data from the Transiting Exoplanet Survey Satellite (TESS). GJ 357 b (TOI-562.01) is a transiting, hot, Earth-sized planet (Teq=525+-11 K) with a radius of Rb=1.217+-0.084 Re and an orbital period of Pb=3.93 d. Precise stellar radial velocities from CARMENES and PFS, as well as archival data from HIRES, UVES, and HARPS also display a 3.93-day periodicity, confirming the planetary nature and leading to a planetary mass of Mb=1.84+-0.31 Me. In addition to the radial velocity signal for GJ 357 b, more periodicities are present in the data indicating the presence of two further planets in the system: GJ 357 c, with a minimum mass of Mc=3.40+-0.46 Me in a 9.12 d orbit, and GJ 357 d, with a minimum mass of Md=6.1+-1.0 Me in a 55.7 d orbit inside the habitable zone. The host is relatively inactive and exhibits a photometric rotation period of Prot=78+-2 d. GJ 357 b is to date the second closest transiting planet to the Sun, making it a prime target for further investigations such as transmission spectroscopy. Therefore, GJ 357 b represents one of the best terrestrial planets suitable for atmospheric characterization with the upcoming JWST and ground-based ELTs.


title: Complexity and Newton's Laws

abstract: In a recent note I argued that the holographic origin of gravitational attraction is the quantum mechanical tendency for operators to grow under time evolution. In a followup the claim was tested in the context of the SYK theory and its bulk dual---the theory of near-extremal black holes. In this paper I give an improved version of the size-momentum correspondence and show that Newton's laws of motion are a consequence. Operator size is closely related to complexity. Therefore one may say that gravitational attraction is a manifestation of the tendency for complexity to increase. The improved version of the size-momentum correspondence can be justified by the arguments of Lin, Maldacena, and Zhao constructing symmetry generators for the approximate symmetries of the SYK model.


title: Symmetries Near the Horizon

abstract: We consider a nearly-AdS$_2$ gravity theory on the two-sided wormhole geometry. We construct three gauge-invariant operators in NAdS which move bulk matter relative to the dynamical boundaries. In a two-sided system, these operators satisfy an SL(2) algebra (up to non-perturbative corrections). In a semiclassical limit, these generators act like SL(2) transformations of the boundary time, or conformal symmetries of the two sided boundary theory. These can be used to define an operator-state mapping. A particular large N and low temperature limit of the SYK model has precisely the same structure, and this construction of the exact generators also applies. We also discuss approximate, but simpler, constructions of the generators in the SYK model. These are closely related to the "size" operator and are connected to the maximal chaos behavior captured by out of time order correlators.


title: High density matter physics at J-PARC-HI

abstract: Physics prospective of the high density matter using heavy ions collisions is presented. The J-PARC-HI project which is a unique lab to tackle the high density matter physics is described. The world highest rate of heavy ion beam of 10$^{11}$ Hz is aimed at J-PARC-HI which enables us to perform measurements of hadrons, fluctuation of conserved quantities, dileptons, multi-strange hypernuclei. New event selections are also discussed to reach a highest baryon density on the ground.


title: Analysis of the Rigorous Coupled Wave Approach for s-Polarized Light in Gratings

abstract: We study the convergence properties of the two-dimensional Rigorous Coupled Wave Approach (RCWA) for s-polarized monochromatic incident light. The RCWA is widely used to solve electromagnetic boundary-value problems where the relative permittivity varies periodically in one direction, i.e., scattering by a grating. This semi-analytical approach expands all the electromagnetic field phasors as well as the relative permittivity as Fourier series in the spatial variable along the direction of periodicity, and also replaces the relative permittivity with a stairstep approximation along the direction normal to the direction of periodicity. Thus, there is error due to Fourier truncation and also due to the approximation of grating permittivity. We prove that the RCWA is a Galerkin scheme, which allows us to employ techniques borrowed from the Finite Element Method to analyze the error. An essential tool is a Rellich identity that shows that certain continuous problems have unique solutions that depend continuously on the data with a continuity constant having explicit dependence on the relative permittivity. We prove that the RCWA converges with an increasing number of retained Fourier modes and with a finer approximation of the grating interfaces. Numerical results show that our convergence results for increasing the number of retained Fourier modes are seen in practice, while our estimates of convergence in slice thickness are pessimistic.


title: Junctions of mass-deformed nonlinear sigma models on the Grassmann manifold

abstract: We study vacua and walls of the mass-deformed nonlinear sigma model on the Grassmann manifold $G_{N_F,N_C}=\frac{SU(N_F)}{SU(N_C)\times SU(N_F-N_C)\times U(1)}$ and discuss three-pronged junctions for $N_C=1,2,3$ in four dimensions.


title: Experimental Demonstration of Data Transmission Based on the Exact Inverse Periodic Nonlinear Fourier Transform

abstract: We design a two-dimensional signal constellation based on the exact periodic inverse nonlinear Fourier transform. Feasibility of continuous transmission with periodic signals is experimentally demonstrated over more than 2000 km.


title: Using Uncertainty Data in Chance-Constrained Trajectory Planning

abstract: We consider the problem of trajectory planning in an environment comprised of a set of obstacles with uncertain locations. While previous approaches model the uncertainties with a prescribed Gaussian distribution, we consider the realistic case in which the distribution's moments are unknown and are learned online. We derive tight concentration bounds on the error of the estimated moments. These bounds are then used to derive a tractable and tight mixed-integer convex reformulation of the trajectory planning problem, assuming linear dynamics and polyhedral constraints. The solution of the resulting optimization program is a feasible solution for the original problem with high confidence. We illustrate the approach with a case study from autonomous driving.


title: Metallic Network of Topological Domain Walls

abstract: We study the electronic and transport properties of a network of domain walls between insulating domains with opposite valley Chern numbers. We find that the network is semi-metallic with Dirac dispersion near the charge neutrality point and the corresponding electronic states distribute along the domain walls. Near the charge neutrality point, we find quantized conductance in nanoribbon with sawtooth domain wall edges that propagates along the boundaries and is robust against weak disorder. For a trident edged ribbon, we find a small energy gap due to the finite size effect making the nanoribbon an insulator. When the Fermi energy is away from charge neutrality point, all domain walls contribute to the conduction of current. Our results provide a comprehensive analysis of the electronic transport properties in a topological domain wall network that not only agrees qualitatively with experiments on marginally twisted bilayer graphene under a perpendicular electric field, but also can provide useful insights for designing low-power topological quantum devices.


title: Integrable deformations of string sigma models and generalized supergravity

abstract: This thesis is mainly devoted to studying integrable deformations of the ${\rm AdS}_5 \times {\rm S}^5$ superstring and generalized supergravity. We start to give a brief review of the ${\rm AdS}_5 \times {\rm S}^5$ superstring formulated in the Green-Schwartz formalism, and then introduce homogeneous Yang-Baxter (YB) deformation of the ${\rm AdS}_5 \times {\rm S}^5$ superstring based on $r$-matrices which are solutions to the homogeneous classical YB equation. By performing a supercoset construction, we derive the general formula for homogeneous YB deformed backgrounds associated with bosonic $r$-matrices. The deformed backgrounds are shown to be solutions of the standard type IIB supergravity or generalized supergravity. Next, we explain that homogeneous YB deformation can be regarded as a kind of the $O(d,d)$ duality transformations. Once YB deformations are realized as duality transformations, the corresponding $O(d,d)$ transformations are applied to almost all backgrounds. Moreover, we discuss spacetime structures of homogeneous YB deformed backgrounds and clarify a T-fold structure of them by showing the associated $O(d,d; \mathbb{Z})$ $T$-duality monodromy. Finally, we consider the Weyl invariance of string theories in generalized supergravity backgrounds. We show that generalized supergravity can be reproduced from double field theory with the dilaton depending on a linear dual coordinate. From this result, we construct a possible counterterm to cancel out the Weyl anomaly of bosonic string theories on generalized supergravity backgrounds. In particular, we show that the counterterm is definitely local. In this sense, string theories can be consistently defined in generalized supergravity backgrounds.


title: Partially Ordered Statistics Demapping for Multi-Dimensional Modulation Formats

abstract: We propose a very low-complexity and high-performance algorithm for soft-demapping of multi-dimensional modulation formats. We assess its performance over the linear channel for four 8D formats, generated using binary arithmetics. This solution outperforms current algorithms in terms of complexity without loss in performances.


title: Tracelets and Tracelet Analysis Of Compositional Rewriting Systems

abstract: Taking advantage of a recently discovered associativity property of rule compositions, we extend the classical concurrency theory for rewriting systems over adhesive categories. We introduce the notion of tracelets, which are defined as minimal derivation traces that universally encode sequential compositions of rewriting rules. Tracelets are compositional, capture the causality of equivalence classes of traditional derivation traces, and intrinsically suggest a clean mathematical framework for the definition of various notions of abstractions of traces. We illustrate these features by introducing a first prototype for a framework of tracelet analysis, which as a key application permits to formulate a first-of-its-kind algorithm for the static generation of minimal derivation traces with prescribed terminal events.


title: OTOC, complexity and entropy in bi-partite systems

abstract: There is a remarkable interest in the study of Out-of-time ordered correlators (OTOCs) that goes from many body theory and high energy physics to quantum chaos. In this latter case there is a special focus on the comparison with the traditional measures of quantum complexity such as the spectral statistics, for example. The exponential growth has been verified for many paradigmatic maps and systems. But less is known for multi-partite cases. On the other hand the recently introduced Wigner separability entropy (WSE) and its classical counterpart (CSE) provide with a complexity measure that treats equally quantum and classical distributions in phase space. We have compared the behavior of these measures in a system consisting of two coupled and perturbed cat maps with different dynamics: double hyperbolic (HH), double elliptic (EE) and mixed (HE). In all cases, we have found that the OTOCs and the WSE have essentially the same behavior, providing with a complete characterization in generic bi-partite systems and at the same time revealing them as very good measures of quantum complexity for phase space distributions. Moreover, we establish a relation between both quantities by means of a recently proven theorem linking the second Renyi entropy and OTOCs.


title: Wave Physics as an Analog Recurrent Neural Network

abstract: Analog machine learning hardware platforms promise to be faster and more energy-efficient than their digital counterparts. Wave physics, as found in acoustics and optics, is a natural candidate for building analog processors for time-varying signals. Here we identify a mapping between the dynamics of wave physics, and the computation in recurrent neural networks. This mapping indicates that physical wave systems can be trained to learn complex features in temporal data, using standard training techniques for neural networks. As a demonstration, we show that an inverse-designed inhomogeneous medium can perform vowel classification on raw audio signals as their waveforms scatter and propagate through it, achieving performance comparable to a standard digital implementation of a recurrent neural network. These findings pave the way for a new class of analog machine learning platforms, capable of fast and efficient processing of information in its native domain.

categories: physics.comp-ph cs.LG cs.NE physics.optics


title: Viscosity spectral functions of resonating fermions in the quantum virial expansion

abstract: We consider two-component fermions with a zero-range interaction both in two and three dimensions and study their spectral functions of bulk and shear viscosities for an arbitrary scattering length. Here the Kubo formulas are systematically evaluated up to the second order in the quantum virial expansion applicable to the high-temperature regime. In particular, our computation of the bulk viscosity spectral function is facilitated by expressing it with the contact-contact response function, which can be measured experimentally under the periodic modulation of the scattering length. The obtained formulas are fully consistent with the known constraints on high-frequency tail and sum rule. Although our static shear viscosity agrees with that derived from the kinetic theory, our static bulk viscosity disagrees. Furthermore, the latter for three dimensions exhibits an unexpected non-analyticity of $\zeta\sim(\ln a^2)/a^2$ in the unitarity limit $a\to\infty$, which thus challenges the "crossover" hypothesis.


title: Bok globule CB17: Polarization, extinction and distance

abstract: In this paper, the results obtained from the polarimetric study of a Bok globule CB17 in both optical and sub-millimeter wavelength are presented. The optical polarimetric observations in R-band ($\lambda$ = 630 nm, $\Delta \lambda$ = 120 nm) were conducted from 1.04-meter Sampurnanand Telescope, ARIES, Nainital, India on 9th March 2016, while, the sub-mm polarimetric data are taken from the SCUPOL data archive which has been reanalyzed. The contours of Herschel\footnote{Herschel is an ESA space observatory with science instruments provided by European-led Principal Investigator consortia and with important participation from NASA.} SPIRE 500$\mu m$ dust continuum emissions of CB17 (typically a cometary-shaped globule) are overlaid on the DSS image of CB17 along with polarization vectors (optical and submm). The magnetic field strength at the core of the globule is estimated to be $99\mu$G. Using the Near-Infrared photometric technique and \emph{Gaia} data, the distance to CB17 is found to be $253 \pm 43$ parsec. A correlation between the various quantities of the globule is also studied. It is observed that the magnetic field in the cloud core as revealed by polarization measurements at the sub-millimeter dust emission is found to be almost aligned along the minor axis of the globule which fits the magnetically regulated star formation model. The misalignment between core-scale magnetic field direction and molecular outflow direction is also found.


title: Incorporating prior financial domain knowledge into neural networks for implied volatility surface prediction

abstract: In this paper we develop a novel neural network model for predicting implied volatility surface. Prior financial domain knowledge is taken into account. A new activation function that incorporates volatility smile is proposed, which is used for the hidden nodes that process the underlying asset price. In addition, financial conditions, such as the absence of arbitrage, the boundaries and the asymptotic slope, are embedded into the loss function. This is one of the very first studies which discuss a methodological framework that incorporates prior financial domain knowledge into neural network architecture design and model training. The proposed model outperforms the benchmarked models with the option data on the S&P 500 index over 20 years. More importantly, the domain knowledge is satisfied empirically, showing the model is consistent with the existing financial theories and conditions related to implied volatility surface.


title: Adaptive detection and localization exploiting the IEEE 802.11ad standard

abstract: In this work, we exploit the sector level sweep of the IEEE 802.11ad communication standard to implement an opportunistic radar at mmWaves and derive an adaptive procedure for detecting multiple targets (echoes) and estimating their parameters. The proposed detector/estimator extracts the prospective echoes one-by-one from the received signal, after removing the interference caused by the previously detected (stronger) targets. Examples are provided to assess the system performance, also in comparison with the canonical matched-filter peak-detector and the Cram\'er-Rao bounds. Results indicate that the proposed method is robust against the signal spillover and the near-far problem caused by the imperfect auto-correlation of the probing signal and, for the same probability of false alarm, grants detection and localization performances close to those previously obtained in a simplified single-target scenario.


title: A linear topological invariant for spaces of quasianalytic functions of Roumieu type

abstract: We show that the spaces $\mathcal{E}_{\{\omega\}}(\Omega)$ of ultradifferentiable functions of Roumieu type satisfy the dual interpolation estimate for small theta, where $\omega$ is a quasianalytic weight function and $\Omega$ is an arbitrary open subset of $\mathbb{R}^d$. This result was previously shown by Bonet and Doma\'nski [2] under the additional assumptions that $\Omega$ is convex and $\omega$ satisfies the condition $(\alpha_1)$. In particular, our work solves Problem 9.7 in [1].


title: The NA62 GigaTracKer: a low mass high intensity beam 4D tracker with 65 ps time resolution on tracks

abstract: The GigaTracKer (GTK) is the beam spectrometer of the CERN NA62 experiment. The detector features challenging design specifications, in particular a peak particle flux reaching up to 2.0 MHz/mm$^2$, a single hit time resolution smaller than 200 ps and, a material budget of 0.5% X$_0$ per tracking plane. To fulfill these specifications, novel technologies were especially employed in the domain of silicon hybrid time-stamping pixel technology and micro-channel cooling. This article describes the detector design and reports on the achieved performance.


title: The Step Decay Schedule: A Near Optimal, Geometrically Decaying Learning Rate Procedure For Least Squares

abstract: Minimax optimal convergence rates for classes of stochastic convex optimization problems are well characterized, where the majority of results utilize iterate averaged stochastic gradient descent (SGD) with polynomially decaying step sizes. In contrast, SGD's final iterate behavior has received much less attention despite their widespread use in practice. Motivated by this observation, this work provides a detailed study of the following question: what rate is achievable using the final iterate of SGD for the streaming least squares regression problem with and without strong convexity? First, this work shows that even if the time horizon T (i.e. the number of iterations SGD is run for) is known in advance, SGD's final iterate behavior with any polynomially decaying learning rate scheme is highly sub-optimal compared to the minimax rate (by a condition number factor in the strongly convex case and a factor of $\sqrt{T}$ in the non-strongly convex case). In contrast, this paper shows that Step Decay schedules, which cut the learning rate by a constant factor every constant number of epochs (i.e., the learning rate decays geometrically) offers significant improvements over any polynomially decaying step sizes. In particular, the final iterate behavior with a step decay schedule is off the minimax rate by only $log$ factors (in the condition number for strongly convex case, and in T for the non-strongly convex case). Finally, in stark contrast to the known horizon case, this paper shows that the anytime (i.e. the limiting) behavior of SGD's final iterate is poor (in that it queries iterates with highly sub-optimal function value infinitely often, i.e. in a limsup sense) irrespective of the stepsizes employed. These results demonstrate the subtlety in establishing optimal learning rate schemes (for the final iterate) for stochastic gradient procedures in fixed time horizon settings.


title: Two-Loop Massive Quark Jet Functions in SCET

abstract: We calculate the $\mathcal O(\alpha_s^2)$ corrections to the primary massive quark jet functions in Soft-Collinear Effective Theory (SCET). They are an important ingredient in factorized predictions for inclusive jet mass cross sections initiated by massive quarks emerging from a hard interaction with smooth quark mass dependence. Due to the effects coming from the secondary production of massive quark-antiquark pairs there are two options to define the SCET jet function, which we call universal and mass mode jet functions. They are related to whether or not a soft mass mode (zero) bin subtraction is applied for the secondary massive quark contributions and differ in particular concerning the infrared behavior for vanishing quark mass. We advocate that a useful alternative to the common zero-bin subtraction concept is to define the SCET jet functions through subtractions related to collinear-soft matrix elements. This avoids the need to impose additional power counting arguments as required for zero-bin subtractions. We demonstrate how the two SCET jet function definitions may be used in the context of two recently developed factorization approaches to treat secondary massive quark effects. We clarify the relation between these approaches and in which way they are equivalent. Our two-loop calculation involves interesting technical subtleties related to spurious rapidity divergences and infrared regularization in the presence of massive quarks.


title: SEALion: a Framework for Neural Network Inference on Encrypted Data

abstract: We present SEALion: an extensible framework for privacy-preserving machine learning with homomorphic encryption. It allows one to learn deep neural networks that can be seamlessly utilized for prediction on encrypted data. The framework consists of two layers: the first is built upon TensorFlow and SEAL and exposes standard algebra and deep learning primitives; the second implements a Keras-like syntax for training and inference with neural networks. Given a required level of security, a user is abstracted from the details of the encoding and the encryption scheme, allowing quick prototyping. We present two applications that exemplifying the extensibility of our proposal, which are also of independent interest: i) improving efficiency of neural network inference by an activity sparsifier and ii) transfer learning by querying a server-side Variational AutoEncoder that can handle encrypted data.


title: On stratification for spaces with Noetherian mod $p$ cohomology

abstract: Let $X$ be a topological space with Noetherian mod $p$ cohomology and let $C^*(X;\mathbb{F}_p)$ be the commutative ring spectrum of $\mathbb{F}_p$-valued cochains on $X$. The goal of this paper is to exhibit conditions under which the category of module spectra on $C^*(X;\mathbb{F}_p)$ is stratified in the sense of Benson, Iyengar, Krause, providing a classification of all its localizing subcategories. We establish stratification in this sense for classifying spaces of a large class of topological groups including Kac--Moody groups as well as whenever $X$ admits an $H$-space structure. More generally, using Lannes' theory we prove that stratification for $X$ is equivalent to a condition that generalizes Chouinard's theorem for finite groups. In particular, this relates the generalized telescope conjecture in this setting to a question in unstable homotopy theory.


title: On stability of delay equations with positive and negative coefficients with applications

abstract: We obtain new explicit exponential stability conditions for linear scalar equations with positive and negative delayed terms $$ \dot{x}(t)+ \sum_{k=1}^m a_k(t)x(h_k(t))- \sum_{k=1}^l b_k(t)x(g_k(t))=0 $$ and its modifications, and apply them to investigate local stability of Mackey--Glass type models $$\dot{x}(t)=r(t)\left[\beta\frac{x(g(t))}{1+x^n(g(t))}-\gamma x(h(t))\right]$$ and $$\dot{x}(t)=r(t)\left[\beta\frac{x(g(t))}{1+x^n(h(t))}-\gamma x(t)\right].$$


title: Adversarial Training for Free!

abstract: Adversarial training, in which a network is trained on adversarial examples, is one of the few defenses against adversarial attacks that withstands strong attacks. Unfortunately, the high cost of generating strong adversarial examples makes standard adversarial training impractical on large-scale problems like ImageNet. We present an algorithm that eliminates the overhead cost of generating adversarial examples by recycling the gradient information computed when updating model parameters. Our "free" adversarial training algorithm achieves comparable robustness to PGD adversarial training on the CIFAR-10 and CIFAR-100 datasets at negligible additional cost compared to natural training, and can be 7 to 30 times faster than other strong adversarial training methods. Using a single workstation with 4 P100 GPUs and 2 days of runtime, we can train a robust model for the large-scale ImageNet classification task that maintains 40% accuracy against PGD attacks. The code is available at https://github.com/ashafahi/free_adv_train.


title: Almost sure rates of mixing for partially hyperbolic attractors

abstract: We introduce random towers to study almost sure rates of correlation decay for random partially hyperbolic attractors. Using this framework, we obtain abstract results on almost sure exponential, stretched exponential and polynomial correlation decay rates. We then apply our results to small random perturbations of Axiom A attractors, small perturbations of derived from Anosov partially hyperbolic systems and to solenoidal attractors with random intermittency.


title: Frobenian multiplicative functions and rational points in fibrations

abstract: We consider the problem of counting the number of varieties in a family over $\mathbb{Q}$ with a rational point. We obtain lower bounds for this counting problem for some families over $\mathbb{P}^1$, even if the Hasse principle fails. We also obtain sharp results for some multinorm equations and for specialisations of certain Brauer group elements on higher dimensional projective spaces, where we answer some cases of a question of Serre. Our techniques come from arithmetic geometry and additive combinatorics.


title: HIGAN: Cosmic Neutral Hydrogen with Generative Adversarial Networks

abstract: One of the most promising ways to observe the Universe is by detecting the 21cm emission from cosmic neutral hydrogen (HI) through radio-telescopes. Those observations can shed light on fundamental astrophysical questions only if accurate theoretical predictions are available. In order to maximize the scientific return of these surveys, those predictions need to include different observables and be precise on non-linear scales. Currently, one of the best ways to achieve this is via cosmological hydrodynamic simulations; however, the computational cost of these simulations is high -- tens of millions of CPU hours. In this work, we use Wasserstein Generative Adversarial Networks (WGANs) to generate new high-resolution ($35~h^{-1}{\rm kpc}$) 3D realizations of cosmic HI at $z=5$. We do so by sampling from a 100-dimension manifold, learned by the generator, that characterizes the fully non-linear abundance and clustering of cosmic HI from the state-of-the-art simulation IllustrisTNG. We show that different statistical properties of the produced samples -- 1D PDF, power spectrum, bispectrum, and void size function -- match very well those of IllustrisTNG, and outperform state-of-the-art models such as Halo Occupation Distributions (HODs). Our WGAN samples reproduce the abundance of HI across 9 orders of magnitude, from the Ly$\alpha$ forest to Damped Lyman Absorbers. WGAN can produce new samples orders of magnitude faster than hydrodynamic simulations.


title: Optimal Sparse Decision Trees

abstract: Decision tree algorithms have been among the most popular algorithms for interpretable (transparent) machine learning since the early 1980's. The problem that has plagued decision tree algorithms since their inception is their lack of optimality, or lack of guarantees of closeness to optimality: decision tree algorithms are often greedy or myopic, and sometimes produce unquestionably suboptimal models. Hardness of decision tree optimization is both a theoretical and practical obstacle, and even careful mathematical programming approaches have not been able to solve these problems efficiently. This work introduces the first practical algorithm for optimal decision trees for binary variables. The algorithm is a co-design of analytical bounds that reduce the search space and modern systems techniques, including data structures and a custom bit-vector library. Our experiments highlight advantages in scalability, speed, and proof of optimality. The code is available at https://github.com/xiyanghu/OSDT.


title: Unsupervised Data Augmentation for Consistency Training

abstract: Semi-supervised learning lately has shown much promise in improving deep learning models when labeled data is scarce. Common among recent approaches is the use of consistency training on a large amount of unlabeled data to constrain model predictions to be invariant to input noise. In this work, we present a new perspective on how to effectively noise unlabeled examples and argue that the quality of noising, specifically those produced by advanced data augmentation methods, plays a crucial role in semi-supervised learning. By substituting simple noising operations with advanced data augmentation methods such as RandAugment and back-translation, our method brings substantial improvements across six language and three vision tasks under the same consistency training framework. On the IMDb text classification dataset, with only 20 labeled examples, our method achieves an error rate of 4.20, outperforming the state-of-the-art model trained on 25,000 labeled examples. On a standard semi-supervised learning benchmark, CIFAR-10, our method outperforms all previous approaches and achieves an error rate of 5.43 with only 250 examples. Our method also combines well with transfer learning, e.g., when finetuning from BERT, and yields improvements in high-data regime, such as ImageNet, whether when there is only 10% labeled data or when a full labeled set with 1.3M extra unlabeled examples is used. Code is available at https://github.com/google-research/uda.


title: Explicit stability tests for linear neutral delay equations using infinite series

abstract: We obtain new explicit exponential stability conditions for the linear scalar neutral equation with two bounded delays $ (x(t)-a(t)x(g(t)))'+b(t)x(h(t))=0, $ where $|a(t)| \leq A_0 < 1$, $0<b_0\leq b(t)\leq B_0$, assuming that all parameters of the equation are measurable functions. To analyze exponential stability, we apply the Bohl-Perron theorem and a reduction of a neutral equation to an equation with an infinite number of non-neutral delay terms. This method has never been used before for this neutral equation; its application allowed to omit a usual restriction $|a(t)|<\frac{1}{2}$ in known asymptotic stability tests and consider variable delays.


title: Orbital Deflection of Comets by Directed Energy

abstract: Cometary impacts pose a long-term hazard to life on Earth. Impact mitigation techniques have been studied extensively, but they tend to focus on asteroid diversion. Typical asteroid interdiction schemes involve spacecraft physically intercepting the target, a task feasible only for targets identified decades in advance and in a narrow range of orbits---criteria unlikely to be satisfied by a threatening comet. Comets, however, are naturally perturbed from purely gravitational trajectories through solar heating of their surfaces which activates sublimation-driven jets. Artificial heating of a comet, such as by a laser, may supplement natural heating by the Sun to purposefully manipulate its path and thereby avoid an impact. Deflection effectiveness depends on the comet's heating response, which varies dramatically depending on factors including nucleus size, orbit and dynamical history. These factors are incorporated into a numerical orbital model to assess the effectiveness and feasibility of using high-powered laser arrays in Earth orbit and on the ground for comet deflection. Simulation results suggest that a diffraction-limited 500 m orbital or terrestrial laser array operating at 10 GW for 1% of each day over 1 yr is sufficient to fully avert the impact of a typical 500 m diameter comet with primary nongravitational parameter A1 = 2 x 10^-8 au d^-2. Strategies to avoid comet fragmentation during deflection are also discussed.


title: Polynomial functors and two-parameter quantum symmetric pairs

abstract: We develop a theory of two-parameter quantum polynomial functors. Similar to how (strict) polynomial functors give a new interpretation of polynomial representations of the general linear groups $\operatorname{GL}_n$, the two-parameter polynomial functors give a new interpretation of (polynomial) representations of the quantum symmetric pair $(U_{Q,q}^B(\mathfrak{gl}_n), U_q(\mathfrak{gl}_n) )$ which specializes to type AIII/AIV quantum symmetric pairs. The coideal subalgebra $U_{Q,q}^B(\mathfrak{gl}_n)$ appears in a Schur-Weyl duality with the type B Hecke algebra $\mathcal H^B_{Q,q}(d)$. We endow two-parameter polynomial functors with a cylinder braided structure which we use to construct the two-parameter Schur functors. Our polynomial functors can be precomposed with the quantum polynomial functors of type A producing new examples of action pairs.


title: Search for an Immobile Hider on a Stochastic Network

abstract: Harry hides on an edge of a graph and does not move from there. Sally, starting from a known origin, tries to find him as soon as she can. Harry's goal is to be found as late as possible. At any given time, each edge of the graph is either active or inactive, independently of the other edges, with a known probability of being active. This situation can be modeled as a zero-sum two-person stochastic game. We show that the game has a value and we provide upper and lower bounds for this value. Finally, by generalizing optimal strategies of the deterministic case, we provide more refined results for trees and Eulerian graphs.


title: On morphisms killing weights and Hurewicz-type theorems

abstract: We study "canonical weight decompositions" slightly generalizing that defined by J. Wildeshaus. For an triangulated category $C$, any integer $n$, and a weight structure $w$ on $C$ a triangle $LM\to M\to RM\to LM[1]$, where $LM$ is of weights at most $m-1$ and $RM$ is of weights at least $n+1$ for some $m\le n$, is determined by $M$ if exists. This happens if and only if the weight complex $t(M)\in Obj K(Hw)$ ($Hw$ is the heart of $w$) is homotopy equivalent to a complex with zero terms in degrees $-n,\dots, -m$; hence this condition can be "detected" via pure functors. One can also take $m=-\infty$ or $n=+\infty$ to obtain that the weight complex functor is "conservative and detects weights up to objects of infinitely small and infinitely large weights"; this is a significant improvement over previously known bounded conservativity results. Applying this statement we "calculate intersections of purely generated subcategories" and prove that certain weight-exact functors are conservative up to weight-degenerate objects. The main tool is the new interesting notion of morphisms killing weights $m,\dots, n$ that we study in detail as well. We apply general results to equivariant stable homotopy categories and spherical weight structures for them (as introduced in the previous paper) and obtain a certain converse to the (equivariant) stable Hurewicz theorem. In particular, the singular homology of a spectrum $E$ vanishes in negative degrees if and only if $E$ is an extension of a connective spectrum by an acyclic one.


title: Collisional formation of massive exomoons of super-terrestrial exoplanets

abstract: Exomoons orbiting terrestrial or super-terrestrial exoplanets have not yet been discovered; their possible existence and properties are therefore still an unresolved question. Here we explore the collisional formation of exomoons through giant planetary impacts. We make use of smooth particle hydrodynamical (SPH) collision simulations and survey a large phase-space of terrestrial/super-terrestrial planetary collisions. We characterize the properties of such collisions, finding one rare case in which an exomoon forms through a graze&capture scenario, in addition to a few graze&merge or hit&run scenarios. Typically however, our collisions form massive circumplanetary discs, for which we use follow-up N-body simulations in order to derive lower-limit mass estimates for the ensuing exomoons. We investigate the mass, long-term tidal-stability, composition and origin of material in both the discs and the exomoons. Our giant-impact models often generate relatively iron-rich moons, that form beyond the synchronous radius of the planet, and would thus tidally evolve outward with stable orbits, rather than be destroyed. Our results suggest that it is extremely difficult to collisionally form currently-detectable exomoons orbiting super-terrestrial planets, through single giant impacts. It might be possible to form massive, detectable exomoons through several mergers of smaller exomoons, formed by multiple impacts, however more studies are required in order to reach a conclusion. Given the current observational initiatives, the search should focus primarily on more massive planet categories. However, about a quarter of the exomoons predicted by our models are approximately Mercury-mass or more, and are much more likely to be detectable given a factor 2 improvement in the detection capability of future instruments, providing further motivation for their development.


title: Liquid actuated gravity experiments

abstract: We describe a new actuation technique for gravity experiments based on a liquid field mass. The Characterizing idea is to modulate the gravity force acting on a test mass by controlling the level of a liquid in a suitable container. This allows to obtain a periodical gravity force without moving parts (except the liquid level) close to the TM. We describe in detail the most relevant aspects of the liquid actuator and discuss how it can be used in gravity experiments. In particular we analyse an application to test the inverse square law in the mm to cm distance region.


title: Learning Image Information for eCommerce Queries

abstract: Computing similarity between a query and a document is fundamental in any information retrieval system. In search engines, computing query-document similarity is an essential step in both retrieval and ranking stages. In eBay search, document is an item and the query-item similarity can be computed by comparing different facets of the query-item pair. Query text can be compared with the text of the item title. Likewise, a category constraint applied on the query can be compared with the listing category of the item. However, images are one signal that are usually present in the items but are not present in the query. Images are one of the most intuitive signals used by users to determine the relevance of the item given a query. Including this signal in estimating similarity between the query-item pair is likely to improve the relevance of the search engine. We propose a novel way of deriving image information for queries. We attempt to learn image information for queries from item images instead of generating explicit image features or an image for queries. We use canonical correlation analysis (CCA) to learn a new subspace where projecting the original data will give us a new query and item representation. We hypothesize that this new query representation will also have image information about the query. We estimate the query-item similarity using a vector space model and report the performance of the proposed method on eBay's search data. We show 11.89\% relevance improvement over the baseline using area under the receiver operating characteristic curve (AUROC) as the evaluation metric. We also show 3.1\% relevance improvement over the baseline with area under the precision recall curve (AUPRC) .


title: AutoCross: Automatic Feature Crossing for Tabular Data in Real-World Applications

abstract: Feature crossing captures interactions among categorical features and is useful to enhance learning from tabular data in real-world businesses. In this paper, we present AutoCross, an automatic feature crossing tool provided by 4Paradigm to its customers, ranging from banks, hospitals, to Internet corporations. By performing beam search in a tree-structured space, AutoCross enables efficient generation of high-order cross features, which is not yet visited by existing works. Additionally, we propose successive mini-batch gradient descent and multi-granularity discretization to further improve efficiency and effectiveness, while ensuring simplicity so that no machine learning expertise or tedious hyper-parameter tuning is required. Furthermore, the algorithms are designed to reduce the computational, transmitting, and storage costs involved in distributed computing. Experimental results on both benchmark and real-world business datasets demonstrate the effectiveness and efficiency of AutoCross. It is shown that AutoCross can significantly enhance the performance of both linear and deep models.


title: Sensitivity bounds on heavy neutrino mixing $|U_{\mu N}|^2$ and $|U_{\tau N}|^2$ from LHCb upgrade

abstract: Decays of heavy pseudoscalar mesons $B$, $B_c$, $B_s$ and $D_s$ at LHCb upgrade are considered, which produce either two equal sign muons or taus. In addition, we consider the analogous decays with opposite sign muons or taus. All these decays are considered to be mediated by a heavy on-shell neutrino $N$. Such decays of $B$ mesons, if not detected, will give in general stringent upper bounds on the heavy-light mixing parameter $|U_{\mu N}|^2$ as a function of the neutrino mass $M_N \sim 1$ GeV, principally due to the large expected number of produced mesons $B$. While some of the decays of the other mentioned mesons are attractive due to a weaker CKM-suppression, the expected produced number of such mesons is significantly smaller that that of $B$'s; therefore, the sensitivity bounds from such decays are in general comparable or less restrictive. When $\tau$ pairs are produced, only two types of such decays are significant: $B^{\pm}, B_{c}^{\pm} \to \tau^{\pm} \tau^{\pm} \pi^{\mp}$ (and $\tau^{\pm} \tau^{\mp} \pi^{\pm}$), giving us stringent upper bounds on $|U_{\tau N}|^2$; the other decays with a pair of $\tau$, such as $B^0 \to D^{(*)-} \tau^+ \tau^+ \pi^-$ (and $D^{(*)-} \tau^+ \tau^- \pi^+$), are prohibited or very suppressed by kinematics.


title: Soft Bootstrap and Effective Field Theories

abstract: The soft bootstrap program aims to construct consistent effective field theories (EFT's) by recursively imposing the desired soft limit on tree-level scattering amplitudes through on-shell recursion relations. A prime example is the leading two-derivative operator in the EFT of $\text{SU} (N)\times \text{SU} (N)/\text{SU} (N)$ nonlinear sigma model (NLSM), where $ \mathcal{O} (p^2)$ amplitudes with an arbitrary multiplicity of external particles can be soft-bootstrapped. We extend the program to $ \mathcal{O} (p^4)$ operators and introduce the "soft blocks," which are the seeds for soft bootstrap. The number of soft blocks coincides with the number of independent operators at a given order in the derivative expansion and the incalculable Wilson coefficient emerges naturally. We also uncover a new soft-constructible EFT involving the "multi-trace" operator at the leading two-derivative order, which is matched to $\text{SO} (N+1)/ \text{SO} (N)$ NLSM. In addition, we consider Wess-Zumino-Witten (WZW) terms, the existence of which, or the lack thereof, depends on the number of flavors in the EFT, after a novel application of Bose symmetry. Remarkably, we find agreements with group-theoretic considerations on the existence of WZW terms in $\text{SU} (N)$ NLSM for $N\ge 3$ and the absence of WZW terms in $\text{SO} (N)$ NLSM for $N\neq 5$.