title: Encrypted Speech Recognition using Deep Polynomial Networks

abstract: The cloud-based speech recognition/API provides developers or enterprises an easy way to create speech-enabled features in their applications. However, sending audios about personal or company internal information to the cloud, raises concerns about the privacy and security issues. The recognition results generated in cloud may also reveal some sensitive information. This paper proposes a deep polynomial network (DPN) that can be applied to the encrypted speech as an acoustic model. It allows clients to send their data in an encrypted form to the cloud to ensure that their data remains confidential, at mean while the DPN can still make frame-level predictions over the encrypted speech and return them in encrypted form. One good property of the DPN is that it can be trained on unencrypted speech features in the traditional way. To keep the cloud away from the raw audio and recognition results, a cloud-local joint decoding framework is also proposed. We demonstrate the effectiveness of model and framework on the Switchboard and Cortana voice assistant tasks with small performance degradation and latency increased comparing with the traditional cloud-based DNNs.


title: Protected superconductivity at the boundaries of charge-density-wave domains

abstract: Solid 4He may acquire superfluid characteristics due to the frustration of the solid phase at grain boundaries. Here, we show that an analogous effect occurs in systems with competition among charge-density-waves (CDWs) and superconductivity in the presence of disorder, as cuprate or dichalcogenide superconductors. The CDWs breaks apart in domains with topologically protected filamentary superconductivity (FSC) at the interfaces. Transport experiments carried out in underdoped cuprates with the magnetic field acting as a control parameter are shown to be in excellent agreement with the theoretical expectation. At high temperature and low fields we find a transition from CDWs to fluctuating superconductivity, weakly affected by disorder, while at high field and low temperature the protected filamentary superconducting phase appears in close analogy with "glassy" supersolid phenomena in 4He.


title: Modelling architectures of parametric weighted component-based systems

abstract: The design of complex software systems usually lies in multiple coordinating components with an unknown number of instances. For such systems a main challenge is modelling efficiently their architecture that determines the topology and the interaction principles among the components. To achieve well-founded design there is need to address the quantitative aspects of software architectures. In this paper we study the modelling problem of software architectures applied on parametric weighted component-based systems where the parameter is the number of instances of each component. For this, we introduce a weighted first-order extended interaction logic over a commutative semiring in order to serve as a modelling language for parametric quantitative architectures. We prove that the equivalence problem of formulas of that logic is decidable in the class (of subsemirings) of skew fields. Moreover, we show that our weighted logic can efficiently describe well-known parametric architectures with quantitative characteristics.


title: Fractional damping through restricted calculus of variations

abstract: We deliver a novel approach towards the variational description of Lagrangian mechanical systems subject to fractional damping by establishing a restricted Hamilton's principle. Fractional damping is a particular instance of non-local (in time) damping, which is ubiquitous in mechanical engineering applications. The restricted Hamilton's principle relies on including fractional derivatives to the state space, the doubling of curves (which implies an extra mirror system) and the restriction of the class of varied curves. We will obtain the correct dynamics, and will show rigorously that the extra mirror dynamics is nothing but the main one in reversed time; thus, the restricted Hamilton's principle is not adding extra physics to the original system. The price to pay, on the other hand, is that the fractional damped dynamics is only a sufficient condition for the extremals of the action. In addition, we proceed to discretise the new principle. This discretisation provides a set of numerical integrators for the continuous dynamics that we denote Fractional Variational Integrators (FVIs). The discrete dynamics is obtained upon the same ingredients, say doubling of discrete curves and restriction of the discrete variations. We display the performance of the FVIs, which have local truncation order 1, in two examples. As other integrators with variational origin, for instance those generated by the discrete Lagrange-d'Alembert principle, they show a superior performance tracking the dissipative energy, in opposition to direct (order 1) discretisations of the dissipative equations, such as explicit and implicit Euler schemes.


title: Symmetrization of representations of $GL_N$

abstract: In this article, we develop a process to symmetrize the irreducible admissible representation of $GL_N(\mathbb{Q}_p)$, as a consequence we obtain a more geometric understanding of the coefficient $m(\mathbf{b}, \mathbf{a})$ appearing in the decomposition of parabolic inductions, which allows us to prove a conjecture posed by Zelevinsky.


title: Criticality in elastoplastic models of amorphous solids with stress-dependent yielding rates

abstract: We analyze the behavior of different elastoplastic models approaching the yielding transition. We propose two kind of rules for the local yielding events: yielding occurs above the local threshold either at a constant rate or with a rate that increases as the square root of the stress excess. We establish a family of "static" universal critical exponents which do not depend on this dynamic detail of the model rules: in particular, the exponents for the avalanche size distribution $P(S)\sim S^{-\tau_S}f(S/L^{d_f})$ and the exponents describing the density of sites at the verge of yielding, which we find to be of the form $P(x)\simeq P(0) + x^\theta$ with $P(0)\sim L^{-a}$ controlling the extremal statistics. On the other hand, we discuss "dynamical" exponents that are sensitive to the local yielding rule details. We find that, apart form the dynamical exponent $z$ controlling the duration of avalanches, also the flowcurve's (inverse) Herschel-Bulkley exponent $\beta$ ($\dot\gamma\sim(\sigma-\sigma_c)^\beta$) enters in this category, and is seen to differ in $\frac12$ between the two yielding rate cases. We give analytical support to this numerical observation by calculating the exponent variation in the H\'ebraud-Lequeux model and finding an identical shift. We further discuss an alternative mean-field approximation to yielding only based on the so-called Hurst exponent of the accumulated mechanical noise signal, which gives good predictions for the exponents extracted from simulations of fully spatial models.


title: Odds-Theorem and Monotonicity

abstract: Given a finite sequence of events and a well-defined notion of events being interesting, the Odds-theorem (Bruss (2000)) gives an online strategy to stop on the last interesting event. It is optimal for independent events. Here we study questions in how far optimal win probabilities mirror monotonicity properties of the underlying sequence of probabilities of events. We make these questions precise, motivate them, and then give complete answers. This note, concentrating on the original Odds-theorem, is elementary, and the answers are hoped to be of interest. We include several applications.


title: Collision of particles near charged MSW black hole in 2 + 1 dimensions

abstract: Here, we explore the dynamics of particle near the horizon of charged Mandal-Sengupta-Wadia (MSW) black hole in 2+1 dimensions. It results analysis of angular momentum and potential energy for null and time-like geodesics. We also appraise the high center-of-mass energy of coming particles from rest at infinity near the horizon of the charged MSW black hole in 2+1 dimension for the extremal case. Finally, we study the ISCO and MBCO radii for this type of black hole.


title: On the cover time of {\lambda}-biased walk on supercritical Galton-Watson trees

abstract: In this paper, we study the time required for a {\lambda}-biased ({\lambda}>1) walk to visit all the vertices of a supercritical Galton-Watson tree up to generation n. Inspired by the extremal landscape approach in [Cortines, Louidor, Saglietti 2018] for the simple random walk on binary trees, we establish the scaling limit of the cover time in the biased setting.


title: A Deep Spatio-Temporal Fuzzy Neural Network for Passenger Demand Prediction

abstract: In spite of its importance, passenger demand prediction is a highly challenging problem, because the demand is simultaneously influenced by the complex interactions among many spatial and temporal factors and other external factors such as weather. To address this problem, we propose a Spatio-TEmporal Fuzzy neural Network (STEF-Net) to accurately predict passenger demands incorporating the complex interactions of all known important factors. We design an end-to-end learning framework with different neural networks modeling different factors. Specifically, we propose to capture spatio-temporal feature interactions via a convolutional long short-term memory network and model external factors via a fuzzy neural network that handles data uncertainty significantly better than deterministic methods. To keep the temporal relations when fusing two networks and emphasize discriminative spatio-temporal feature interactions, we employ a novel feature fusion method with a convolution operation and an attention layer. As far as we know, our work is the first to fuse a deep recurrent neural network and a fuzzy neural network to model complex spatial-temporal feature interactions with additional uncertain input features for predictive learning. Experiments on a large-scale real-world dataset show that our model achieves more than 10% improvement over the state-of-the-art approaches.


title: Transfer Learning for Scientific Data Chain Extraction in Small Chemical Corpus with BERT-CRF Model

abstract: Computational chemistry develops fast in recent years due to the rapid growth and breakthroughs in AI. Thanks for the progress in natural language processing, researchers can extract more fine-grained knowledge in publications to stimulate the development in computational chemistry. While the works and corpora in chemical entity extraction have been restricted in the biomedicine or life science field instead of the chemistry field, we build a new corpus in chemical bond field annotated for 7 types of entities: compound, solvent, method, bond, reaction, pKa and pKa value. This paper presents a novel BERT-CRF model to build scientific chemical data chains by extracting 7 chemical entities and relations from publications. And we propose a joint model to extract the entities and relations simultaneously. Experimental results on our Chemical Special Corpus demonstrate that we achieve state-of-art and competitive NER performance.


title: A new method to constrain neutron star structure from quasi-periodic oscillations

abstract: We develop a new method to measure neutron star parameters and derive constraints on the equation of state of dense matter by fitting the frequencies of simultaneous Quasi Periodic Oscillation modes observed in the X-ray flux of accreting neutron stars in low mass X-ray binaries. To this aim we calculate the fundamental frequencies of geodesic motion around rotating neutron stars based on an accurate general-relativistic approximation for their external spacetime. Once the fundamental frequencies are related to the observed frequencies through a QPO model, they can be fit to the data to obtain estimates of the three parameters describing the spacetime, namely the neutron star mass, angular momentum and quadrupole moment. From these parameters we derive information on the neutron star structure and equation of state. We present a proof of principle of our method applied to pairs of kHz QPO frequencies observed from three systems (4U1608-52, 4U0614+09 and 4U1728-34). We identify the kHz QPOs with the azimuthal and the periastron precession frequencies of matter orbiting the neutron star, and via our Bayesian inference technique we derive constraints on the neutrons stars' masses and radii. This method is applicable to other geodesic-frequency-based QPO models.


title: Further improving of upper bound on a geometric Ramsey problem

abstract: We consider following geometric Ramsey problem: find the least dimension $n$ such that for any 2-coloring of edges of complete graph on the points $\{\pm 1\}^n$ there exists 4-vertex coplanar monochromatic clique. Problem was first analyzed by Graham and Rothschild and they gave an upper bound: $n\le F(F(F(F(F(F(F(12)))))))$, where $F(m) = 2\uparrow^m3$. In 2014 Lavrov, Lee and Mackey greatly improved this result by giving upper bound $n< 2\uparrow\uparrow\uparrow 6 < F(5)$. In this paper we revisit their estimates and reduce upper bound to $n< 2\uparrow\uparrow\uparrow 5$


title: Monocular 3D Object Detection via Geometric Reasoning on Keypoints

abstract: Monocular 3D object detection is well-known to be a challenging vision task due to the loss of depth information; attempts to recover depth using separate image-only approaches lead to unstable and noisy depth estimates, harming 3D detections. In this paper, we propose a novel keypoint-based approach for 3D object detection and localization from a single RGB image. We build our multi-branch model around 2D keypoint detection in images and complement it with a conceptually simple geometric reasoning method. Our network performs in an end-to-end manner, simultaneously and interdependently estimating 2D characteristics, such as 2D bounding boxes, keypoints, and orientation, along with full 3D pose in the scene. We fuse the outputs of distinct branches, applying a reprojection consistency loss during training. The experimental evaluation on the challenging KITTI dataset benchmark demonstrates that our network achieves state-of-the-art results among other monocular 3D detectors.


title: Stability of Loday constructions

abstract: We study the question for which commutative ring spectra $A$ the tensor of a simplicial set $X$ with $A$, $X \otimes A$, is a stable invariant in the sense that it depends only on the homotopy type of $\Sigma X$. We prove several structural properties about different notions of stability, corresponding to different levels of invariance required of $X\otimes A$, and establish stability in important cases, such as complex and real periodic topological K-theory, $KU$ and $KO$.


title: Embedding Deligne's category $\mathrm{\underline{Re}p}(S_t)$ in the Heisenberg category

abstract: We define a faithful linear monoidal functor from the partition category, and hence from Deligne's category $\mathrm{\underline{Re}p}(S_t)$, to the Heisenberg category. We show that the induced map on Grothendieck rings is injective and corresponds to the Kronecker coproduct on symmetric functions.


title: Style Transformer: Unpaired Text Style Transfer without Disentangled Latent Representation

abstract: Disentangling the content and style in the latent space is prevalent in unpaired text style transfer. However, two major issues exist in most of the current neural models. 1) It is difficult to completely strip the style information from the semantics for a sentence. 2) The recurrent neural network (RNN) based encoder and decoder, mediated by the latent representation, cannot well deal with the issue of the long-term dependency, resulting in poor preservation of non-stylistic semantic content. In this paper, we propose the Style Transformer, which makes no assumption about the latent representation of source sentence and equips the power of attention mechanism in Transformer to achieve better style transfer and better content preservation.


title: Disentangled Human Body Embedding Based on Deep Hierarchical Neural Network

abstract: Human bodies exhibit various shapes for different identities or poses, but the body shape has certain similarities in structure and thus can be embedded in a low-dimensional space. This paper presents an autoencoder-like network architecture to learn disentangled shape and pose embedding specifically for the 3D human body. This is inspired by recent progress of deformation-based latent representation learning. To improve the reconstruction accuracy, we propose a hierarchical reconstruction pipeline for the disentangling process and construct a large dataset of human body models with consistent connectivity for the learning of the neural network. Our learned embedding can not only achieve superior reconstruction accuracy but also provide great flexibility in 3D human body generation via interpolation, bilinear interpolation, and latent space sampling. The results from extensive experiments demonstrate the powerfulness of our learned 3D human body embedding in various applications.


title: Perturbative post-quench overlaps in Quantum Field Theory

abstract: In analytic descriptions of quantum quenches, the overlaps between the initial pre-quench state and the eigenstates of the time evolving Hamiltonian are crucial ingredients. We construct perturbative expansions of these overlaps in quantum field theories where either the pre-quench or the post-quench Hamiltonian is integrable. Using the $E_8$ Ising field theory for concrete computations, we give explicit expressions for the overlaps up to second order in the quench size, and verify our results against numerical results obtained using the Truncated Conformal Space Approach. We demonstrate that the expansion using the post-quench basis is very effective, but find some serious limitations for the alternative approach using the pre-quench basis.


title: On Elkies' method for bounding the transitivity degree of Galois groups

abstract: In 2013 Elkies described a method for bounding the transitivity degree of Galois groups. Our goal is to give additional applications of this technique, in particular verifying that the monodromy group of the degree-276 cover defined over a degree-12 number field computed by Monien is isomorphic to the sporadic Conway group Co3.


title: On the homotopy hypothesis in dimension 3

abstract: We show that if the canonical left semi-model structure on the category of Grothendieck $n$-groupoids exists, then it satisfies the homotopy hypothesis, i.e. the associated $(\infty,1)$-category is equivalent to that of homotopy $n$-types, thus generalizing a result of the first named author. As a corollary of the second named author's proof of the existence of the canonical left semi-model structure for Grothendieck 3-groupoids, we obtain a proof of the homotopy hypothesis for Grothendieck 3-groupoids.


title: Lessons Learned from Real-World Experiments with DyRET: the Dynamic Robot for Embodied Testing

abstract: Robots are used in more and more complex environments, and are expected to be able to adapt to changes and unknown situations. The easiest and quickest way to adapt is to change the control system of the robot, but for increasingly complex environments one should also change the body of the robot -- its morphology -- to better fit the task at hand. The theory of Embodied Cognition states that control is not the only source of cognition, and the body, environment, interaction between these and the mind all contribute as cognitive resources. Taking advantage of these concepts could lead to improved adaptivity, robustness, and versatility, however, executing these concepts on real-world robots puts additional requirements on the hardware and has several challenges when compared to learning just control. In contrast to the majority of work in Evolutionary Robotics, Eiben argues for real-world experiments in his `Grand Challenges for Evolutionary Robotics'. This requires robust hardware platforms that are capable of repeated experiments which should at the same time be flexible when unforeseen demands arise. In this paper, we introduce our unique robot platform with self-adaptive morphology. We discuss the challenges we have faced when designing it, and the lessons learned from real-world testing and learning.


title: High Capacity Lossless Data Hiding in JPEG Bitstream Based on General VLC Mapping

abstract: JPEG is the most popular image format, which is widely used in our daily life. Therefore, reversible data hiding (RDH) for JPEG images is important. Most of the RDH schemes for JPEG images will cause significant distortions and large file size increments in the marked JPEG image. As a special case of RDH, the lossless data hiding (LDH) technique can keep the visual quality of the marked images no degradation. In this paper, a novel high capacity LDH scheme is proposed. In the JPEG bitstream, not all the variable length codes (VLC) are used to encode image data. By constructing the mapping between the used and unused VLCs, the secret data can be embedded by replacing the used VLC with the unused VLC. Different from the previous schemes, our mapping strategy allows the lengths of unused and used VLCs in a mapping set to be unequal. We present some basic insights into the construction of the mapping relationship. Experimental results show that most of the JPEG images using the proposed scheme obtain smaller file size increments than previous RDH schemes. Furthermore, the proposed scheme can obtain high embedding capacity while keeping the marked JPEG image with no distortion.


title: A new generic evolution for $k$-essence dark energy with $w \approx -1$

abstract: We reexamine $k$-essence dark energy models with a scalar field $\phi$ and a factorized Lagrangian, $\mathcal L = V(\phi)F(X)$, with $X = \frac{1}{2} \nabla_\mu \phi \nabla^\mu \phi.$ A value of the equation of state parameter, $w$, near $-1$ requires either $X \approx 0$ or $dF/dX \approx 0$. Previous work showed that thawing models with $X \approx 0$ evolve along a set of unique trajectories for $w(a)$, while those with $dF/dX \approx 0$ can result in a variety of different forms for $w(a)$. We show that if $dV/d\phi$ is small and $(1/V)(dV/d\phi)$ is roughly constant, then the latter models also converge toward a single unique set of behaviors for $w(a)$, different from those with $X \approx 0$. We derive the functional form for $w(a)$ in this case, determine the conditions on $V(\phi)$ for which it applies, and present observational constraints on this new class of models. We note that $k$-essence models with $dF/dX \approx 0$ correspond to a dark energy sound speed $c_s^2 \approx 0$.


title: A complete normal form for everywhere Levi degenerate hypersurfaces in $\mathbb C^{3}$

abstract: $2$-nondegenerate real hypersurfaces in complex manifolds play an important role in CR-geometry and the theory of Hermitian Symmetric Domains. In this paper, we construct a complete convergent normal form for everywhere $2$-nondegenerate real-analytic hypersurfaces in complex $3$-space. We do so by developing the homological approach of Chern-Moser in the $2$-nondegenerate setting. This seems to be the first such construction for hypersurfaces of infinite Catlin multitype. Our approach is based on using a rational (nonpolynomial) model for everywhere $2$-nondegenerate hypersurfaces, which is the local realization due to Fels-Kaup of the well known tube over the light cone. As an application, we obtain, in the spirit of Chern-Moser theory, a criterion for the local sphericity (i.e. local equivalence to the model) for a $2$-nondegenerate hypersurface in terms of its normal form. As another application, we obtain an explicit description of the moduli space of everywhere $2$-nondegenerate hypersurfaces.


title: The Hadamard product in a crossed product C*-algebra

abstract: We show that for a C*-algebra A and a discrete group G with an action of G on A, the reduced crossed product C*-algebra possesses a natural generalization of the convolution product, which we suggest should be named the Hadamard product. We show that this product has a natural Stinespring representation and we lift some known results on block Schur products to this setting, but we also show that the block Schur product is a special case of the Hadamard product in a crossed product algebra.


title: Structural transition states explored with minimalist coarse grained models: applications to Calmodulin

abstract: Transitions between different conformational states are ubiquitous in proteins, being involved in signaling, catalysis and other fundamental activities in cells. However, modeling those processes is extremely difficult, due to the need of efficiently exploring a vast conformational space in order to seek for the actual transition path for systems whose complexity is already high in the steady states. Here we report a strategy that simplifies this task attacking the complexity on several sides. We first apply a minimalist coarse-grained model to Calmodulin, based on an empirical force field with a partial structural bias, to explore the transition paths between the apo-closed state and the Ca-bound open state of the protein. We then select representative structures along the trajectory based on a structural clustering algorithm and build a cleaned-up trajectory with them. We finally compare this trajectory with that produced by the online tool MinActionPath, by minimizing the action integral using a harmonic network model, and with that obtained by the PROMPT morphing method, based on an optimal mass transportation-type approach including physical constraints. The comparison is performed both on the structural and energetic level, using the coarse-grained and the atomistic force fields upon reconstruction. Our analysis indicates that this method returns trajectories capable of exploring intermediate states with physical meaning, retaining a very low computational cost, which can allow systematic and extensive exploration of the multi-stable proteins transition pathways.


title: Experimental test of error-tradeoff uncertainty relation using a continuous-variable entangled state

abstract: Heisenberg's original uncertainty relation is related to measurement effect, which is different from the preparation uncertainty relation. However, it has been shown that Heisenberg's error-disturbance uncertainty relation can be violated in some cases. We experimentally test the error-tradeoff uncertainty relation by using a continuous-variable Einstein-Podolsky-Rosen (EPR) entangled state. Based on the quantum correlation between the two entangled optical beams, the errors on amplitude and phase quadratures of one EPR optical beam coming from joint measurement are estimated respectively, which are used to verify the error-tradeoff relation. Especially, the error-tradeoff relation for error-free measurement of one observable is verified in our experiment. We also verify the error-tradeoff relations for nonzero errors and mixed state by introducing loss on one EPR beam. Our experimental results demonstrate that Heisenberg's error-tradeoff uncertainty relation is violated in some cases for a continuous-variable system, while the Ozawa's and Brainciard's relations are valid.


title: Using Delay Tolerant Networks as a Backbone for Low-cost Smart Cities

abstract: Rapid urbanization burdens city infrastructure and creates the need for local governments to maximize the usage of resources to serve its citizens. Smart city projects aim to alleviate the urbanization problem by deploying a vast amount of Internet-of-things (IoT) devices to monitor and manage environmental conditions and infrastructure. However, smart city projects can be extremely expensive to deploy and manage. A significant portion of the expense is a result of providing Internet connectivity via 5G or WiFi to IoT devices. This paper proposes the use of delay tolerant networks (DTNs) as a backbone for smart city communication; enabling developing communities to become smart cities at a fraction of the cost. A model is introduced to aid policy makers in designing and evaluating the expected performance of such networks. Preliminary results are presented based on a public transit network data-set from Chapel Hill, North Carolina. Finally, innovative ways of improving network performance in a low-cost smart city is discussed.


title: An example related to the Erdos-Falconer question over arbitrary finite fields

abstract: There exists an infinite family of examples of subsets of $\mathbb{F}_q^2$ with $q^{4/3}$ elements whose distance sets are not the whole of $\mathbb{F}_q$.


title: On the share of mathematics published by Elsevier and Springer

abstract: For-profit editors such as Elsevier and Springer have been subject to sustained criticism from academics and university libraries, including calls to boycott, and discontinued subscriptions. Mathematicians have played a particularly active role in this critique, and have endeavored to imagine new publication practices and create new journals. This motivates the monitoring of the share of articles published by different editors. I used data from MathSciNet over the period 2000-2017, and focused on the 100 journals with highest citations per article. Within this category, the share of articles published by Elsevier and Springer has steadily increased over this period, from about a third to almost half of the total.


title: Enriched Lawvere Theories for Operational Semantics

abstract: Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity, where the vertices are operations and the edges are rewrites between operations. Enriched theories can be used to equip systems with operational semantics, and maps between enriching categories can serve to translate between different forms of operational and denotational semantics. The Grothendieck construction lets us study all models of all enriched theories in all contexts in a single category. We illustrate these ideas with the SKI-combinator calculus, a variable-free version of the lambda calculus.


title: Randomized Adversarial Imitation Learning for Autonomous Driving

abstract: With the evolution of various advanced driver assistance system (ADAS) platforms, the design of autonomous driving system is becoming more complex and safety-critical. The autonomous driving system simultaneously activates multiple ADAS functions; and thus it is essential to coordinate various ADAS functions. This paper proposes a randomized adversarial imitation learning (RAIL) method that imitates the coordination of autonomous vehicle equipped with advanced sensors. The RAIL policies are trained through derivative-free optimization for the decision maker that coordinates the proper ADAS functions, e.g., smart cruise control and lane keeping system. Especially, the proposed method is also able to deal with the LIDAR data and makes decisions in complex multi-lane highways and multi-agent environments.


title: Implications of detecting the Axion-Like Particles in Astro-Particle Physics

abstract: Axions and axion like particles in general are consequences of the extensions of the standard model in particle physics. Axions have been proposed as hypothetical pseudo-scalar particles in particle physics to solve the strong Charge-Parity problem using quantum chromodynamics. These particles are also proposed to be an attractive candidate for cold dark matter in the Universe. The current understanding of the existence and properties of the axions is not very clear and these hypothetical particles remain elusive. However many theoretical and experimental searches are being made for understanding and constraining the properties of axions via detection of axion like particles. The term axion like particles is used to include different types of axions going beyond the standard model. In this paper, we review the different physical properties of axions and axion like particles and their possible sources in the laboratory and Universe. We discuss different experimental set ups for detection of axion like particles proposed in the literature. Implications of detecting the axion like particles in the areas of particle physics, astrophysics and cosmology are also discussed in the framework of present and future motivations.


title: Low Complexity Algorithms for Robust Multigroup Multicast Beamforming

abstract: Existing methods for robust multigroup multicast beamforming obtain feasible points using semidefinite relaxation (SDR) and Gaussian randomization, and have high computational complexity. In this letter, we consider the robust multigroup multicast beamforming design to minimize the sum power (SP) or per-antenna power (PAP) under the signal-to-interference-plus-noise ratio (SINR) constraints and to maximize the worst-case SINR under the SP constraint or PAP constraints, respectively. The resulting optimization problems are challenging non-convex problems with infinitely many constraints. For each problem, using the majorization-minimization (MM) approach, we propose an iterative algorithm to obtain a feasible solution which is shown to be a stationary point under certain conditions. We also show that the proposed algorithms have much lower computational complexity than existing SDR-based algorithms.


title: Compton Scattering off Pions and Electromagnetic Polarizabilities

abstract: The electric ($\alpha_\pi$) and magnetic ($\beta_\pi$) Compton polarizabilities of both the charged and the neutral pion are of fundamental interest in the low-energy sector of quantum chromodynamics (QCD). Pion polarizabilities affect the shape of the $\gamma\pi\to\gamma\pi$ Compton scattering angular distribution at back scattering angles and $\gamma\gamma\to\pi\pi$ absolute cross sections. Theory derivations are given of the $\gamma\pi\to\gamma\pi$ Compton scattering differential cross section, dispersion relations, and sum rules in terms of the polarizabilities. We review experimental charged and neutral polarizability studies and theoretical predictions. The $\pi^0$ polarizabilities were deduced from DESY Crystal Ball $\gamma\gamma\to\pi^0\pi^0$ data, but with large uncertainties. The charged pion polarizabilities were deduced most recently from (1) radiative pion Primakoff scattering $\pi^- Z \to \pi^-Z\gamma$ at CERN COMPASS, (2) two-photon pion pair production $\gamma\gamma\to\pi^+\pi^-$ at SLAC Mark II, and (3) radiative pion photoproduction $\gamma p\to\gamma \pi^+ n$ from the proton at MAMI in Mainz. A stringent test of chiral perturbation theory (ChPT) is possible based on comparisons of precision experimental charged pion polarizabilities with ChPT predictions. Only the CERN COMPASS charged pion polarizability measurement has acceptably small uncertainties. Its value $\alpha_{\pi^\pm}-\beta_{\pi^\pm} = (4.0\pm 1.8)\times 10^{-4}\,\text{fm}^3$ agrees well with the two-loop ChPT prediction $\alpha_{\pi^\pm}-\beta_{\pi^\pm}=(5.7\pm 1.0)\times 10^{-4}\,\text{fm}^3$, strengthening the identification of the pion with the Goldstone boson of chiral symmetry breaking in QCD.


title: Direct retrieval method of the effective permittivity and permeability of bulk semi-infinite metamaterials by variable-angle spectroscopic ellipsometry

abstract: In this work, we present a simple method for the direct retrieval of the effective permittivity and permeability of a bulk semi-infinite metamaterial from variable-angle spectroscopic ellipsometry measurements. Starting from the well-known Fresnel equations, we derive an analytical expression in which unknown coefficients are fitted to the experimental data using a linear regression model. The effective permittivity and permeability are then determined by solving a simple system and the correct solution is selected based on physical criteria. As an example, the method is applied to the case of a self-assembled metamaterial exhibiting strong isotropic optical magnetism.


title: Scratchy: A Lightweight Modular Autonomous Robot for Robotic Competitions

abstract: We present Scratchy---a modular, lightweight robot built for low budget competition attendances. Its base is mainly built with standard 4040 aluminium profiles and the robot is driven by four mecanum wheels on brushless DC motors. In combination with a laser range finder we use estimated odometry -- which is calculated by encoders -- for creating maps using a particle filter. A RGB-D camera is utilized for object detection and pose estimation. Additionally, there is the option to use a 6-DOF arm to grip objects from an estimated pose or generally for manipulation tasks. The robot can be assembled in less than one hour and fits into two pieces of hand luggage or one bigger suitcase. Therefore, it provides a huge advantage for student teams that participate in robot competitions like the European Robotics League or RoboCup. Thus, this keeps the funding required for participation, which is often a big hurdle for student teams to overcome, low. The software and additional hardware descriptions are available under: https://github.com/homer-robotics/scratchy.


title: Sample Efficient Toeplitz Covariance Estimation

abstract: We study the sample complexity of estimating the covariance matrix $T$ of a distribution $\mathcal{D}$ over $d$-dimensional vectors, under the assumption that $T$ is Toeplitz. This assumption arises in many signal processing problems, where the covariance between any two measurements only depends on the time or distance between those measurements. We are interested in estimation strategies that may choose to view only a subset of entries in each vector sample $x \sim \mathcal{D}$, which often equates to reducing hardware and communication requirements in applications ranging from wireless signal processing to advanced imaging. Our goal is to minimize both 1) the number of vector samples drawn from $\mathcal{D}$ and 2) the number of entries accessed in each sample. We provide some of the first non-asymptotic bounds on these sample complexity measures that exploit $T$'s Toeplitz structure, and by doing so, significantly improve on results for generic covariance matrices. Our bounds follow from a novel analysis of classical and widely used estimation algorithms (along with some new variants), including methods based on selecting entries from each vector sample according to a so-called sparse ruler. In many cases, we pair our upper bounds with matching or nearly matching lower bounds. In addition to results that hold for any Toeplitz $T$, we further study the important setting when $T$ is close to low-rank, which is often the case in practice. We show that methods based on sparse rulers perform even better in this setting, with sample complexity scaling sublinearly in $d$. Motivated by this finding, we develop a new covariance estimation strategy that further improves on all existing methods in the low-rank case: when $T$ is rank-$k$ or nearly rank-$k$, it achieves sample complexity depending polynomially on $k$ and only logarithmically on $d$.


title: Meta-Learning for Low-resource Natural Language Generation in Task-oriented Dialogue Systems

abstract: Natural language generation (NLG) is an essential component of task-oriented dialogue systems. Despite the recent success of neural approaches for NLG, they are typically developed for particular domains with rich annotated training examples. In this paper, we study NLG in a low-resource setting to generate sentences in new scenarios with handful training examples. We formulate the problem from a meta-learning perspective, and propose a generalized optimization-based approach (Meta-NLG) based on the well-recognized model-agnostic meta-learning (MAML) algorithm. Meta-NLG defines a set of meta tasks, and directly incorporates the objective of adapting to new low-resource NLG tasks into the meta-learning optimization process. Extensive experiments are conducted on a large multi-domain dataset (MultiWoz) with diverse linguistic variations. We show that Meta-NLG significantly outperforms other training procedures in various low-resource configurations. We analyze the results, and demonstrate that Meta-NLG adapts extremely fast and well to low-resource situations.


title: Radiation-pressure-driven dust transport to galaxy halos at $z\sim 10$

abstract: The origin of dust in galaxy halos or in the circum-galactic medium (CGM) is still a mystery. We investigate if the radiation pressure in high-redshift ($z\sim 10$) galaxies can efficiently transport dust to halos. To clarify the first dust enrichment of galaxy halos in the early Universe, we solve the motion of a dust grain considering radiation pressure, gas drag, and gravity in the vertical direction of the galactic disc. Radiation pressure is estimated in a consistent manner with the stellar spectra and dust extinction. As a consequence, we find that dust grains with radii $a\sim 0.1~\mu$m successfully escape from the galactic disc if the ongoing star formation episode converts more than 15 per cent of the baryon content into stars and lasts $\gtrsim 30$ Myr, while larger and smaller grains are trapped in the disc because of gravity and gas drag, respectively. We also show that grain charge significantly enhances gas drag at a few--10 scale heights of the galactic disc, where the grain velocities are suppressed to $\sim 1$ km s$^{-1}$. There is an optimum dust-to-gas ratio ($\sim 10^{-3}$) in the galactic disc and an optimum virial mass $\sim 10^{10}$--$10^{11}$ M$_{\odot}$ for the transport of $a\sim 0.1~\mu$m grains to the halo. We conclude that early dust enrichment of galaxy halos at $z\gtrsim 10$ is important for the origin of dust in the CGM.


title: Finite automata, probabilistic method, and occurrence enumeration of a pattern in words and permutations

abstract: The main theme of this paper is the enumeration of the occurrence of a pattern in words and permutations. We mainly focus on asymptotic properties of the sequence $f_r^v(k,n),$ the number of $n$-array $k$-ary words that contain a given pattern $v$ exactly $r$ times. In addition, we study the asymptotic behavior of the random variable $X_n,$ the number of pattern occurrences in a random $n$-array word. The two topics are closely related through the identity $P(X_n=r) = $ $\frac{1}{k^n}f_r^v(k,n).$ In particular, we show that for any $r\geq 0,$ the Stanley-Wilf sequence $\bigl(f_r^v(k,n)\bigr)^{1/n}$ converges to a limit independent of $r,$ and determine the value of the limit. We then obtain several limit theorems for the distribution of $X_n,$ including a CLT, large deviation estimates, and the exact growth rate of the entropy of $X_n.$ Furthermore, we introduce a concept of weak avoidance and link it to a certain family of non-product measures on words that penalize pattern occurrences but do not forbid them entirely. We analyze this family of probability measures in a small parameter regime, where the distributions can be understood as a perturbation of a uniform measure. Finally, we extend some of our results for words, including the one regarding the equivalence of the limits of the Stanley-Wilf sequences, to pattern occurrences in permutations.


title: Recovery of Pressure and Wave Speed for Photoacoustic Imaging under a Condition of Relative Uncertainty

abstract: In this paper, we study the photoacoustic tomography problem for which we seek to recover both the initial state of the pressure field and the wave speed of the medium from the knowledge of a single boundary measurement. The goal is to propose practical assumptions to define a set of initial conditions and wave speeds over which uniqueness for this inverse problem is guaranteed. The main result of the paper is that given two sets of wave speeds and pressure profiles, they cannot produce the same acoustic measurements if the relative difference between the wave speeds is much smaller than the relative difference between the pressure profiles. Implications for iterative joint-reconstruction algorithms are discussed.


title: Gravitino vs Neutralino LSP at the LHC

abstract: Using the latest LHC data, we analyse and compare the lower limits on the masses of gluinos and the lightest stop in two natural supersymmetric motivated scenarios: one with a neutralino being the lightest supersymmetric particle (LSP) and the other one with gravitino as the LSP and neutralino as the next-to-lightest supersymmetric particle. In the second case our analysis applies to neutralinos promptly decaying to very light gravitinos, which are of cosmological interest, and are generic for low, of order O(100) TeV, messenger scale in gauge mediation models. We find that the lower bounds on the gluino and the lightest stop masses are stronger for the gravitino LSP scenarios due to the extra handle from the decay products of neutralinos. Generally, in contrast to the neutralino LSP case the limits now extend to a region of compressed spectrum. In bino scenarios the highest excluded stop mass increases from 1000 GeV to almost 1400 GeV. Additionally, in the higgsino-like NLSP scenario the higgsinos below 650 GeV are universally excluded and the stop mass limit is $m_{\tilde{t}} > 1150$ GeV, whereas there is no limit on stops in the higgsino LSP model for $m_{\tilde{h}} = 650$ GeV. Nevertheless, we find that the low messenger scale still ameliorates the fine tuning in the electroweak potential.


title: Ohmic contact engineering in few-layer black Phosphorus field effect transistors

abstract: Achieving good quality Ohmic contacts to van der Waals materials is a challenge, since at the interface between metal and van der Waals material, different conditions can occur, ranging from the presence of a large energy barrier between the two materials to the metallization of the layered material below the contacts. In black phosphorus (bP), a further challenge is its high reactivity to oxygen and moisture, since the presence of uncontrolled oxidation can substantially change the behavior of the contacts. In this study, we investigate the influence of the metal used for the contacts to bP against the variability between different flakes and different samples, using three of the most used metals as contacts: Chromium, Titanium, and Nickel. Using the transfer length method, from an analysis of ten devices, both at room temperature and at low temperature, Ni results to be the best metal for Ohmic contacts to bP, providing the lowest contact resistance and minimum scattering between different devices. Moreover, we investigate the gate dependence of the current-voltage characteristics of these devices. In the accumulation regime, we observe good linearity for all metals investigated.


title: Charged charmoniumlike structures in the $e^+ e^- \to \psi(3686) \pi^+ \pi^-$ process based on the ISPE mechanism

abstract: In 2017, the BESIII Collaboration announced the observation of a charged charmonium-like structure in the $\psi(3686)\pi^\pm$ invariant mass spectrum of the $e^+ e^- \to \psi(3686) \pi^+ \pi^-$ process at different energy points, which enables us to perform a precise study of this process based on the initial single pion emission (ISPE) mechanism. In this work, we perform a combined fit to the experimental data of the cross section of $e^+ e^- \to \psi(3686) \pi^+ \pi^-$, and the corresponding $\psi(3686)\pi^\pm$ and dipion invariant mass spectra. Our result shows that the observed charged charmonium-like structure in $e^+ e^- \to \psi(3686) \pi^+ \pi^-$ can be well reproduced based on the ISPE mechanism, and that the corresponding dipion invariant mass spectrum and cross section can be depicted with the same parameters. In fact, it provides strong evidence that the ISPE mechanism can be an underlying mechanism resulting in such novel a phenomenon.


title: Exponential decay of correlations in the two-dimensional random field Ising model

abstract: We study random field Ising model on $\mathbb Z^2$ where the external field is given by i.i.d.\ Gaussian variables with mean zero and positive variance. We show that the effect of boundary conditions on the magnetization in a finite box decays exponentially in the distance to the boundary.


title: "Tom" pet robot applied to urban autism

abstract: With the fast development of network information technology, more and more people are immersed in the virtual community environment brought by the network, ignoring the social interaction in real life. The consequent urban autism problem has become more and more serious. Promoting offline communication between people " and "eliminating loneliness through emotional communication between pet robots and breeders" to solve this problem, and has developed a design called "Tom". "Tom" is a smart pet robot with a pet robot-based social mechanism Called "Tom-Talker". The main contribution of this paper is to propose a social mechanism called "Tom-Talker" that encourages users to socialize offline. And "Tom-Talker" also has a corresponding reward mechanism and a friend recommendation algorithm. It also proposes a pet robot named "Tom" with an emotional interaction algorithm to recognize users' emotions, simulate animal emotions and communicate emotionally with use s. This paper designs experiments and analyzes the results. The results show that our pet robots have a good effect on solving urban autism problems.


title: Verification of the global gyrokinetic stellarator code XGC-S for linear ion temperature gradient driven modes

abstract: XGC (X-point Gyrokinetic Code) is a whole-volume, total-f gyrokinetic particle-in-cell code developed for modelling tokamaks. In recent work, XGC has been extended to model more general 3D toroidal magnetic configurations, such as stellarators. These improvements have resulted in the XGC-S version. In this paper, XGC-S is benchmarked for linear electrostatic ion temperature gradient-driven microinstabilities, which can underlie turbulent transport in stellarators. An initial benchmark of XGC-S in tokamak geometry shows good agreement with the XGC1, ORB5, and global GENE codes. A benchmark between XGC-S and the EUTERPE global gyrokinetic code for stellarators has also been performed, this time in geometry of the optimised stellarator Wendelstein 7-X. Good agreement has been found for the mode number spectrum, mode structure, and growth rate.


title: Swampland conjecture in $f(R)$ gravity by the Noether Symmetry Approach

abstract: Swampland conjecture has been recently proposed to connect early time cosmological models with the string landscape, and then to understand if related scalar fields and potentials can come from some fundamental theory in the high energy regime. In this paper, we discuss swampland criteria for $f(R)$ gravity considering models where duality symmetry is present. In this perspective, specific $f(R)$ models can naturally belong to the string landscape. In particular, it is possible to show that duality is a Noether symmetry emerging from dynamics. The selected $f(R)$ models, satisfying the swampland conjecture, are consistent, in principle, with both early and late-time cosmological behaviors.


title: Online Computation with Untrusted Advice

abstract: We study a generalization of the advice complexity model of online computation in which the advice is provided by an untrusted source. Our objective is to quantify the impact of untrusted advice so as to design and analyze online algorithms that are robust if the advice is adversarial, and efficient is the advice is foolproof. We focus on four well-studied online problems, namely ski rental, online bidding, bin packing and list update. For ski rental and online bidding, we show how to obtain algorithms that are Pareto-optimal with respect to the competitive ratios achieved, whereas for bin packing and list update, we give online algorithms with worst-case tradeoffs in their competitiveness, depending on whether the advice is trusted or adversarial. More importantly, we demonstrate how to prove lower bounds, within this model, on the tradeoff between the number of advice bits and the competitiveness of any online algorithm.


title: Weak scale from Planck scale -- Mass Scale Generation in Classically Conformal Two Scalar System --

abstract: In the standard model, the weak scale is the only parameter with mass dimensions. This means that the standard model itself can not explain the origin of the weak scale. On the other hand, from the results of recent accelerator experiments, except for some small corrections, the standard model has increased the possibility of being an effective theory up to the Planck scale. From these facts, it is naturally inferred that the weak scale is determined by some dynamics from the Planck scale. In order to answer this question, we rely on the multiple point criticality principle as a clue and consider the classically conformal $\mathbb{Z}_2\times \mathbb{Z}_2$ invariant two scalar model as a minimal model in which the weak scale is generated dynamically from the Planck scale. This model contains only two real scalar fields and does not contain any fermions and gauge fields. In this model, due to Coleman-Weinberg-like mechanism, one scalar field spontaneously breaks the $\mathbb{Z}_2$ symmetry with a vacuum expectation value connected with the cutoff momentum. We investigate this using the 1-loop effective potential, renormalization group and large N limit. We also investigate whether it is possible to reproduce the mass term and vacuum expectation value of the Higgs field by coupling this model with the standard model in the Higgs portal framework. In this case, the one scalar field that does not break $\mathbb{Z}_2$ can be a candidate for dark matter, and have a mass of about several TeV in appropriate parameters. On the other hand, the other scalar field breaks $\mathbb{Z}_2$ and has a mass of several tens of GeV. These results can be verified in near future experiments.


title: On higher-derivative effects on the gravitational potential and particle bending

abstract: Using modern amplitude techniques we compute the leading classical and quantum corrections to the classical gravitational potential between two massive scalars induced by adding an $R^3$ term to Einstein gravity. We then study the scattering of massless scalars, photons and gravitons off a heavy scalar in the presence of the same $R^3$ deformation, and determine the bending angle in the three cases from the non-analytic component of the scattering amplitude. Similarly to the Einstein-Hilbert case, we find that the classical contribution to the bending angle is universal, but unlike that case, universality is preserved also by the first quantum correction. Finally we extend our analysis to include a deformation of the form $\Phi R^2$, where $\Phi$ is the dilaton, which arises in the low-energy effective action of the bosonic string in addition to the $R^3$ term, and compute its effect on the graviton bending.


title: Equivariant Benjamini-Schramm Convergence of Simplicial Complexes and $\ell^2$-Multiplicities

abstract: We define a variant of Benjamini-Schramm convergence for finite simplicial complexes with the action of a fixed finite group G which leads to the notion of random rooted simplicial G-complexes. For every random rooted simplicial G-complex we define a corresponding $\ell^2$-homology and the $\ell^2$-multiplicity of an irreducible representation of G in the homology. The $\ell^2$-multiplicities generalize the $\ell^2$-Betti numbers and we show that they are continuous on the space of sofic random rooted simplicial G-complexes. In addition, we study induction of random rooted complexes and discuss the effect on $\ell^2$-multiplicities.


title: ActiveHNE: Active Heterogeneous Network Embedding

abstract: Heterogeneous network embedding (HNE) is a challenging task due to the diverse node types and/or diverse relationships between nodes. Existing HNE methods are typically unsupervised. To maximize the profit of utilizing the rare and valuable supervised information in HNEs, we develop a novel Active Heterogeneous Network Embedding (ActiveHNE) framework, which includes two components: Discriminative Heterogeneous Network Embedding (DHNE) and Active Query in Heterogeneous Networks (AQHN). In DHNE, we introduce a novel semi-supervised heterogeneous network embedding method based on graph convolutional neural network. In AQHN, we first introduce three active selection strategies based on uncertainty and representativeness, and then derive a batch selection method that assembles these strategies using a multi-armed bandit mechanism. ActiveHNE aims at improving the performance of HNE by feeding the most valuable supervision obtained by AQHN into DHNE. Experiments on public datasets demonstrate the effectiveness of ActiveHNE and its advantage on reducing the query cost.


title: Finitely Convergent Deterministic and Stochastic Iterative Methods for Solving Convex Feasibility Problems

abstract: We propose finitely convergent methods for solving convex feasibility problems defined over a possibly infinite pool of constraints. Following other works in this area, we assume that the interior of the solution set is nonempty and that certain overrelaxation parameters form a divergent series. We combine our methods with a very general class of deterministic control sequences where, roughly speaking, we require that sooner or later we encounter a violated constraint if one exists. This requirement is satisfied, in particular, by the cyclic, repetitive and remotest set controls. Moreover, it is almost surely satisfied for random controls.


title: Efficient Ladder-style DenseNets for Semantic Segmentation of Large Images

abstract: Recent progress of deep image classification models has provided great potential to improve state-of-the-art performance in related computer vision tasks. However, the transition to semantic segmentation is hampered by strict memory limitations of contemporary GPUs. The extent of feature map caching required by convolutional backprop poses significant challenges even for moderately sized Pascal images, while requiring careful architectural considerations when the source resolution is in the megapixel range. To address these concerns, we propose a novel DenseNet-based ladder-style architecture which features high modelling power and a very lean upsampling datapath. We also propose to substantially reduce the extent of feature map caching by exploiting inherent spatial efficiency of the DenseNet feature extractor. The resulting models deliver high performance with fewer parameters than competitive approaches, and allow training at megapixel resolution on commodity hardware. The presented experimental results outperform the state-of-the-art in terms of prediction accuracy and execution speed on Cityscapes, Pascal VOC 2012, CamVid and ROB 2018 datasets. Source code will be released upon publication.


title: Real-time spectral analysis of ultrafast pulses using a free-space angular chirp enhanced delay

abstract: Frequency to time mapping is a powerful technique for observing ultrafast phenomena and non-repetitive events in optics. However, many optical sources operate in wavelength regions, or at power levels, that are not compatible with standard frequency to time mapping implementations. The recently developed free-space angular chirp enhanced delay (FACED) removes many of these limitations, and offers a linear frequency to time mapping in any wavelength region where high-reflectivity mirrors and diffractive optics are available. In this work, we present a detailed formulation of the optical transfer function of a FACED device. Experimentally, we verify the properties of this transfer function, and then present simple guidelines to guarantee the correct operation of a FACED frequency to time measurement. We also experimentally demonstrate the real-time spectral analysis of femtosecond and picosecond pulses using this system.


title: Approximation of Optimal Transport problems with marginal moments constraints

abstract: Optimal Transport (OT) problems arise in a wide range of applications, from physics to economics. Getting numerical approximate solution of these problems is a challenging issue of practical importance. In this work, we investigate the relaxation of the OT problem when the marginal constraints are replaced by some moment constraints. Using Tchakaloff's theorem, we show that the Moment Constrained Optimal Transport problem (MCOT) is achieved by a finite discrete measure. Interestingly, for multimarginal OT problems, the number of points weighted by this measure scales linearly with the number of marginal laws, which is encouraging to bypass the curse of dimension. This approximation method is also relevant for Martingale OT problems. We show the convergence of the MCOT problem toward the corresponding OT problem. In some fundamental cases, we obtain rates of convergence in $O(1/n)$ or $O(1/n^2)$ where $n$ is the number of moments, which illustrates the role of the moment functions. Last, we present algorithms exploiting the fact that the MCOT is reached by a finite discrete measure and provide numerical examples of approximations.

categories: math.PR math.NA math.ST q-fin.CP stat.TH


title: On a Poincar\'e polynomial from Khovanov homology and Vassiliev invariants

abstract: We introduce a Poincar\'{e} polynomial with two-variable $t$ and $x$ for knots, derived from Khovanov homology, where the specialization $(t, x)$ $=$ $(1, -1)$ is a Vassiliev invariant of order $n$. Since for every $n$, there exist non-trivial knots with the same value of the Vassiliev invariant of order $n$ as that of the unknot, there has been no explicit formulation of a perturbative knot invariant which is a coefficient of $y^n$ by the replacement $q=e^y$ for the quantum parameter $q$ of a quantum knot invariant, and which distinguishes the above knots together with the unknot. The first formulation is our polynomial.


title: Quantitative Logic Reasoning

abstract: In this paper we show several similarities among logic systems that deal simultaneously with deductive and quantitative inference. We claim it is appropriate to call the tasks those systems perform as Quantitative Logic Reasoning. Analogous properties hold throughout that class, for whose members there exists a set of linear algebraic techniques applicable in the study of satisfiability decision problems. In this presentation, we consider as Quantitative Logic Reasoning the tasks performed by propositional Probabilistic Logic; first-order logic with counting quantifiers over a fragment containing unary and limited binary predicates; and propositional Lukasiewicz Infinitely-valued Probabilistic Logic


title: Effective locality and chiral symmetry breaking in QCD

abstract: A few years ago the use of standard functional manipulations was demonstrated to imply an unexpected property satisfied by the fermionic Green's functions of QCD, and called effective locality. This feature of QCD is non-perturbative as it results from a full integration of the gluonic degrees of freedom. In this paper, at eikonal and quenching approximation at least, the relation of effective locality to dynamical chiral symmetry breaking is examined.


title: Evaluation Metrics for Unsupervised Learning Algorithms

abstract: Determining the quality of the results obtained by clustering techniques is a key issue in unsupervised machine learning. Many authors have discussed the desirable features of good clustering algorithms. However, Jon Kleinberg established an impossibility theorem for clustering. As a consequence, a wealth of studies have proposed techniques to evaluate the quality of clustering results depending on the characteristics of the clustering problem and the algorithmic technique employed to cluster data.


title: Multiparty quantum random access codes

abstract: Random access code (RAC), a primitive for many information processing protocols, enables one party to encode n-bit string into one bit of message such that another party can retrieve partial information of that string. We introduce the multiparty version of RAC in which the n-bit string is distributed among many parties. For this task, we consider two distinct quantum communication scenarios: one allows shared quantum entanglement among the parties with classical communication, and the other allows communication through a quantum channel. We present several multiparty quantum RAC protocols that outclass its classical counterpart in both the aforementioned scenarios.


title: Stochastic thermodynamics of computation

abstract: One of the major resource requirements of computers - ranging from biological cells to human brains to high-performance (engineered) computers - is the energy used to run them. Those costs of performing a computation have long been a focus of research in physics, going back to the early work of Landauer. One of the most prominent aspects of computers is that they are inherently nonequilibrium systems. However, the early research was done when nonequilibrium statistical physics was in its infancy, which meant the work was formulated in terms of equilibrium statistical physics. Since then there have been major breakthroughs in nonequilibrium statistical physics, which are allowing us to investigate the myriad aspects of the relationship between statistical physics and computation, extending well beyond the issue of how much work is required to erase a bit. In this paper I review some of this recent work on the `stochastic thermodynamics of computation'. After reviewing the salient parts of information theory, computer science theory, and stochastic thermodynamics, I summarize what has been learned about the entropic costs of performing a broad range of computations, extending from bit erasure to loop-free circuits to logically reversible circuits to information ratchets to Turing machines. These results reveal new, challenging engineering problems for how to design computers to have minimal thermodynamic costs. They also allow us to start to combine computer science theory and stochastic thermodynamics at a foundational level, thereby expanding both.


title: Calibration of the cross-resonance two-qubit gate between directly-coupled transmons

abstract: Quantum computation requires the precise control of the evolution of a quantum system, typically through application of discrete quantum logic gates on a set of qubits. Here, we use the cross-resonance interaction to implement a gate between two superconducting transmon qubits with a direct static dispersive coupling. We demonstrate a practical calibration procedure for the optimization of the gate, combining continuous and repeated-gate Hamiltonian tomography with step-wise reduction of dominant two-qubit coherent errors through mapping to microwave control parameters. We show experimentally that this procedure can enable a $\hat{ZX}_{-\pi/2}$ gate with a fidelity $F=97.0(7)\%$, measured with interleaved randomized benchmarking. We show this in a architecture with out-of-plane control and readout that is readily extensible to larger scale quantum circuits.


title: Symplectic domination

abstract: Let M be a compact oriented even-dimensional manifold. This note constructs a compact symplectic manifold S of the same dimension and a map f from S to M of strictly positive degree. The construction relies on two deep results: the first is a theorem of Ontaneda that gives a Riemannian manifold N of tightly pinched negative curvature which admits a map to M of degree equal to one; the second is a result of Donaldson on the existence of symplectic divisors. Given Ontaneda's negatively curved manifold N, the twistor space Z is symplectic. The manifold S is then a suitable multisection of the twistor space, found via Donaldson's theorem.


title: Pulses from a mid-infrared quantum cascade laser frequency comb using an external compressor

abstract: A Martinez-type stretcher-compressor is used to modify the spectral phases of a high-power (~1 W) QCL comb emitted at 8.2 {\mu}m with more than 100 cm-1 spectral bandwidth. Using this scheme, we demonstrate a compression of the QCL output from a 134 ps continuous wave waveform, to a train of pulses of width 12 ps, and a power with peak to average ratio of 40.7. An evaluation of the phase noise of the free-running device yields an integrated timing jitter of 335 fs over the frequency range 20 kHz - 100 MHz, and a pulse-to-pulse jitter of 2.0 fs.


title: A Qualitative Post-Experience Method for Evaluating Changes in VR Presence Experience Over Time

abstract: A particular measure to evaluate a head-mounted display (HMD) based experience is the state of feeling present in virtual reality. Interruptions of a presence experience - break in presence (BIP) - appearing over time, need to be detected to assess and improve an application. Existing methods either lack in taking these BIPs into account - questionnaires - or are complex in their application and evaluation - physiological and behavioral measures -. To provide a practical approach, we propose a post-experience method in which the users reflect on their experience by drawing a line, indicating their experienced state of presence, in a paper-based drawing template. The amplitude of the drawn line represents the variation of their presence experience over time. We propose a descriptive model that describes temporal variations in the drawings by the definition of relevant points over time - e.g., putting on the HMD -, phases of the experience - e.g., transition into VR - and parameters - e.g., the transition time -. The descriptive model enables us to objectively evaluate user drawings and represent the course of the drawings by a defined set of parameters. An exploratory user study (N=30) showed that the drawings are very consistent, the method can detect all BIPs and shows good indications for representing the intensity of a BIP. With our method practitioners and researchers can accelerate the evaluation and optimization of experiences by evaluating BIPs. The possibility to store objective parameters paves the way for automated evaluation methods and big data approaches.


title: Phase diagrams of spin-3/2 Blume-Capel model on rectangular lattice under longitudinal magnetic field

abstract: The spin-3/2 Blume-Capel model on a rectangular lattice with the ferromagnetic bilinear short-range interaction $K^{\rm F}=K(1+x)$ in one direction and the anti-ferromagnetic one $K^{\rm AF}=K(-1+x)$ in the perpendicular direction under a longitudinal magnetic field and in the presence of a single-ion anisotropy is investigated within the mean field approximation. The quantity $x$ characterizes coupling between the interactions in the perpendicular directions and its absolute value does not exceed unity. Basing on the study of temperature dependencies of sublattice magnetizations the phase diagrams in the ($x$, temperature) plane are constructed for different values of the longitudinal magnetic field and the single-ion anisotropy. The global phase diagram of the model demonstrates an unusual abundance.


title: The Algonauts Project: A Platform for Communication between the Sciences of Biological and Artificial Intelligence

abstract: In the last decade, artificial intelligence (AI) models inspired by the brain have made unprecedented progress in performing real-world perceptual tasks like object classification and speech recognition. Recently, researchers of natural intelligence have begun using those AI models to explore how the brain performs such tasks. These developments suggest that future progress will benefit from increased interaction between disciplines. Here we introduce the Algonauts Project as a structured and quantitative communication channel for interdisciplinary interaction between natural and artificial intelligence researchers. The project's core is an open challenge with a quantitative benchmark whose goal is to account for brain data through computational models. This project has the potential to provide better models of natural intelligence and to gather findings that advance AI. The 2019 Algonauts Project focuses on benchmarking computational models predicting human brain activity when people look at pictures of objects. The 2019 edition of the Algonauts Project is available online: http://algonauts.csail.mit.edu/.


title: Heavy quarkonium suppression beyond the adiabatic limit

abstract: Many prior studies of in-medium quarkonium suppression have implicitly made use of an adiabatic approximation in which it was assumed that the heavy quark potential is a slowly varying function of time. In the adiabatic limit, one can separately determine the in-medium breakup rate and the medium time evolution, folding these together only at the end of the calculation. In this paper, we relax this assumption by solving the 3d Schrodinger equation in real-time in order to compute quarkonium suppression dynamically. We compare results obtained using the adiabatic approximation with real-time calculations for both harmonic oscillator and realistic complex heavy quark potentials. Using the latter, we find that, for the Upsilon(1s), the difference between the adiabatic approximation and full real-time evolution is at the few percent level, however, for the Upsilon(2s), we find that the correction can be as large as 18% in low temperature regions. For the J/Psi, we find a larger difference between the dynamical evolution and the adiabatic approximation, with the error reaching approximately 36%.


title: Sense Vocabulary Compression through the Semantic Knowledge of WordNet for Neural Word Sense Disambiguation

abstract: In this article, we tackle the issue of the limited quantity of manually sense annotated corpora for the task of word sense disambiguation, by exploiting the semantic relationships between senses such as synonymy, hypernymy and hyponymy, in order to compress the sense vocabulary of Princeton WordNet, and thus reduce the number of different sense tags that must be observed to disambiguate all words of the lexical database. We propose two different methods that greatly reduces the size of neural WSD models, with the benefit of improving their coverage without additional training data, and without impacting their precision. In addition to our method, we present a WSD system which relies on pre-trained BERT word vectors in order to achieve results that significantly outperform the state of the art on all WSD evaluation tasks.


title: Modeling Interference-Free Neuron Spikes with Optogenetic Stimulation

abstract: This paper predicts the ability to externally control the firing times of a cortical neuron whose behavior follows the Izhikevich neuron model. The Izhikevich neuron model provides an efficient and biologically plausible method to track a cortical neuron's membrane potential and its firing times. The external control is a simple optogenetic model represented by an illumination source that stimulates a saturating or decaying membrane current. This paper considers firing frequencies that are sufficiently low for the membrane potential to return to its resting potential after it fires. The time required for the neuron to charge and for the neuron to recover to the resting potential are numerically fitted to functions of the Izhikevich neuron model parameters and the peak input current. Results show that simple functions of the model parameters and maximum input current can be used to predict the charging and recovery times, even when there are deviations in the actual parameter values. Furthermore, the predictions lead to lower bounds on the firing frequency that can be achieved without significant distortion.


title: List-Decodable Linear Regression

abstract: We give the first polynomial-time algorithm for robust regression in the list-decodable setting where an adversary can corrupt a greater than $1/2$ fraction of examples. For any $\alpha < 1$, our algorithm takes as input a sample $\{(x_i,y_i)\}_{i \leq n}$ of $n$ linear equations where $\alpha n$ of the equations satisfy $y_i = \langle x_i,\ell^*\rangle +\zeta$ for some small noise $\zeta$ and $(1-\alpha)n$ of the equations are {\em arbitrarily} chosen. It outputs a list $L$ of size $O(1/\alpha)$ - a fixed constant - that contains an $\ell$ that is close to $\ell^*$. Our algorithm succeeds whenever the inliers are chosen from a \emph{certifiably} anti-concentrated distribution $D$. In particular, this gives a $(d/\alpha)^{O(1/\alpha^8)}$ time algorithm to find a $O(1/\alpha)$ size list when the inlier distribution is standard Gaussian. For discrete product distributions that are anti-concentrated only in \emph{regular} directions, we give an algorithm that achieves similar guarantee under the promise that $\ell^*$ has all coordinates of the same magnitude. To complement our result, we prove that the anti-concentration assumption on the inliers is information-theoretically necessary. Our algorithm is based on a new framework for list-decodable learning that strengthens the `identifiability to algorithms' paradigm based on the sum-of-squares method. In an independent and concurrent work, Raghavendra and Yau also used the Sum-of-Squares method to give a similar result for list-decodable regression.


title: Discovery of $\omega$-free high-temperature Ti-Ta-X shape memory alloys from first principles calculations

abstract: The rapid degradation of the functional properties of many Ti-based alloys is due to the precipitation of the $\omega$ phase. In the conventional high-temperature shape memory alloy Ti-Ta the formation of this phase compromises completely the shape memory effect and high (>100{\deg}C) transformation temperatures cannot be mantained during cycling. A solution to this problem is the addition of other elements to form Ti-Ta-X alloys, which often modifies the transformation temperatures; due to the largely unexplored space of possible compositions, very few elements are known to stabilize the shape memory effect without decreasing the transformation temperatures below 100{\deg}C. In this study we use transparent descriptors derived from first principles calculations to search for new ternary Ti-Ta-X alloys that combine stability and high temperatures. We suggest four new alloys with these properties, namely Ti-Ta-Sb, Ti-Ta-Bi, Ti-Ta-In, and Ti-Ta-Sc. Our predictions for the most promising of these alloys, Ti-Ta-Sc, are subsequently fully validated by experimental investigations, the new alloy Ti-Ta-Sc showing no traces of $\omega$ phase after cycling. Our computational strategy is immediately transferable to other materials and may contribute to suppress $\omega$ phase formation in a large class of alloys.


title: Alternating strain regimes for failure propagation in flexural systems

abstract: We consider both analytical and numerical studies of a steady-state fracture process inside a discrete mass-beam structure, composed of periodically placed masses connected by Euler-Bernoulli beams. A fault inside the structure is assumed to propagate with a constant speed and this occurs as a result of the action of a remote sinusoidal, mechanical load. The established regime of fracture corresponds to the case of an alternating generalised strain regime. The model is reduced to a Wiener-Hopf equation and its solution is presented. We determine the minimum feeding wave energy required for the steady-state fracture process to occur. In addition, we identify the dynamic features of the structure during the steady-state fracture regime. A transient analysis of this problem is also presented, where the existence of steady-state fracture regimes, revealed by the analytical model, are verified and the associated transient features of this process are discussed.


title: A Unified Linear-Time Framework for Sentence-Level Discourse Parsing

abstract: We propose an efficient neural framework for sentence-level discourse analysis in accordance with Rhetorical Structure Theory (RST). Our framework comprises a discourse segmenter to identify the elementary discourse units (EDU) in a text, and a discourse parser that constructs a discourse tree in a top-down fashion. Both the segmenter and the parser are based on Pointer Networks and operate in linear time. Our segmenter yields an $F_1$ score of 95.4, and our parser achieves an $F_1$ score of 81.7 on the aggregated labeled (relation) metric, surpassing previous approaches by a good margin and approaching human agreement on both tasks (98.3 and 83.0 $F_1$).


title: Capacity and Price Competition in Markets with Congestion Effects

abstract: We study oligopolistic competition in service markets where firms offer a service to customers. The service quality of a firm - from the perspective of a customer - depends on the congestion and the charged price. A firm can set a price for the service offered and additionally decides on the service capacity in order to mitigate congestion. The total profit of a firm is derived from the gained revenue minus the capacity investment cost. Firms simultaneously set capacities and prices in order to maximize their profit and customers subsequently choose the services with lowest combined cost (congestion and price). For this basic model, Johari et al. (2010) derived the first existence and uniqueness results of pure Nash equilibria (PNE) assuming mild conditions on congestion functions. Their existence proof relies on Kakutani's fixed-point theorem and a key assumption for the theorem to work is that demand for service is elastic (modeled by a smooth and strictly decreasing inverse demand function). In this paper, we consider the case of perfectly inelastic demand, i.e. there is a fixed volume of customers requesting service. This scenario applies to realistic cases where customers are not willing to drop out of the market, e.g. if prices are regulated by reasonable price caps. We investigate existence, uniqueness and quality of PNE for models with inelastic demand and price caps. We show that for linear congestion cost functions, there exists a PNE. This result requires a completely new proof approach compared to previous approaches, since the best response correspondences of firms may be empty, thus standard fixed-point arguments are not directly applicable. We show that the game is C-secure (see McLennan et al. (2011)), which leads to the existence of PNE. We furthermore show that the PNE is unique, and that the efficiency compared to a social optimum is unbounded in general.


title: Automated Parameterized Verification of CRDTs

abstract: Maintaining multiple replicas of data is crucial to achieving scalability, availability and low latency in distributed applications. Conflict-free Replicated Data Types (CRDTs) are important building blocks in this domain because they are designed to operate correctly under the myriad behaviors possible in a weakly-consistent distributed setting. Because of the possibility of concurrent updates to the same object at different replicas, and the absence of any ordering guarantees on these updates, convergence is an important correctness criterion for CRDTs. This property asserts that two replicas which receive the same set of updates (in any order) must nonetheless converge to the same state. One way to prove that operations on a CRDT converge is to show that they commute since commutative actions by definition behave the same regardless of the order in which they execute. In this paper, we present a framework for automatically verifying convergence of CRDTs under different weak-consistency policies. Surprisingly, depending upon the consistency policy supported by the underlying system, we show that not all operations of a CRDT need to commute to achieve convergence. We develop a proof rule parameterized by a consistency specification based on the concepts of commutativity modulo consistency policy and non-interference to commutativity. We describe the design and implementation of a verification engine equipped with this rule and show how it can be used to provide the first automated convergence proofs for a number of challenging CRDTs, including sets, lists, and graphs.


title: Quantum Anomalies, Running Vacuum and Leptogenesis: an Interplay

abstract: We discuss a connection between gravitational-wave physics, quantum theory anomalies, right-handed (sterile) neutrinos, (spontaneous) CPT Violation and Leptogenesis, within the framework of string-inspired cosmological models. In particular, we present a scenario, according to which (primordial) gravitational waves induce gravitational anomalies during inflation. This, in turn, results in the existence of an undiluted (at the exit of inflation/beginning of radiation era) bakcground of the Kalb-Ramond (KR) axion of the massless bosonic string gravitational multiplet. The latter may violate spontaneously CP and CPT symmetries, and induce leptogenesis during the radiation-dominated era in models involving right-handed neutrinos. The so-generated lepton asymmetry may then be communicated to the baryon sector by appropriate baryon-minus-lepton-number (B - L)-conserving, but (B + L)-violating, (sphaleron) processes in the Standard Model sector, thus leading to matter dominance over antimatter in the Universe.In the current (approximately de Sitter) era, the KR axion background may provide a source for an axionic dark matter in the Universe, through its mixing with other axions that are abundant in string models. As an interesting byproduct of our analysis, we demonstrate that the anomalies contribute to the vacuum energy density of the Universe terms of 'running-vacuum' type, proportional to the square of the Hubble parameter, $H^2$.


title: Network Pruning for Low-Rank Binary Indexing

abstract: Pruning is an efficient model compression technique to remove redundancy in the connectivity of deep neural networks (DNNs). Computations using sparse matrices obtained by pruning parameters, however, exhibit vastly different parallelism depending on the index representation scheme. As a result, fine-grained pruning has not gained much attention due to its irregular index form leading to large memory footprint and low parallelism for convolutions and matrix multiplications. In this paper, we propose a new network pruning technique that generates a low-rank binary index matrix to compress index data while decompressing index data is performed by simple binary matrix multiplication. This proposed compression method finds a particular fine-grained pruning mask that can be decomposed into two binary matrices. We also propose a tile-based factorization technique that not only lowers memory requirements but also enhances compression ratio. Various DNN models can be pruned with much fewer indexes compared to previous sparse matrix formats while maintaining the same pruning rate.


title: Ramification of Hilbert eigenvarieties at classical points

abstract: Andreatta-Iovita-Pilloni constructed eigenvarieties for cuspidal Hilbert modular forms. The eigenvariety has a natural map to the weight space, called the weight map. At a classical point, we compute a lower bound of the dimension of the tangent space of the fiber of the weight map using Galois deformation theory. Along with the classicality theorem due to Tian-Xiao, this enables us to characterize the classical points of the eigenvariety which are ramified over the weight space, in terms of the local splitting behavior of the associated Galois representation.


title: Finite direct sums of cyclic embeddings

abstract: In this paper we generalize Kaplansky's combinatorial characterization of the isomorphism types of embeddings of a cyclic subgroup in a finite abelian group given in his 1951 book ``Infinite Abelian Groups''. For this we introduce partial maps on Littlewood-Richardson tableaux and show that they characterize the isomorphism types of finite direct sums of such cyclic embeddings.


title: Trigonometric Rosen-Morse Potential as the Quark-Antiquark Interaction Potential for Meson Properties in the Non-Relativistic Quark Model Using EAIM

abstract: Trigonometric Rosen-Morse potential is suggested as the quark-antiquark interaction potential for studying the thermodynamic properties and the masses of heavy and heavy-light mesons. For this purpose, N-radial Schrodinger equation is analytically solved using an exact analytical iteration method (EAIM). The eigenvalues of energy and corresponding wave functions are obtained in the N-dimensional space. The present results are applied for calculating the mass of heavy mesons such as charmonium, bottomonium, bc, and cs mesons and thermodynamic properties such as the mean-internal energy, the specific heat, the free energy, and the entropy. The effect of dimensional number is studied on the meson masses. A comparison is studied with other works and experimental data. The present potential provides satisfying results in comparison with other works and experimental data.


title: The description of gravitational waves in geometric scalar gravity

abstract: It is investigated the gravitational waves phenomena in the geometric scalar theory of gravity (GSG), a class of theories such that gravity is described by a single scalar field. The associated physical metric describing the spacetime is constructed from a disformal transformation of Minkowski geometry. In this theory, a weak field approximation gives rise to a description similar to that one obtained in general relativity, with the gravitational waves propagating at the same speed as the light, although they have a characteristic longitudinal polarization mode, besides others modes that are observer dependent. We also analyze the energy carried by the gravitational waves as well as how their emission affects the orbital period of a binary system. Observational data coming from Hulse and Taylor binary pulsar is then used to constraint the theory parameter.


title: Evolution of the gravity offset of mixed modes in RGB stars

abstract: Observations of mixed modes in evolved low-mass stars enable us to probe the properties of not only the outer envelope of these stars, but also their deep layers. Among the seismic parameters associated with mixed modes, the gravity offset, denoted with $\varepsilon_{\rm g}$, is expected to reveal information on the boundaries of the inner buoyancy resonant cavity. This parameter was recently measured for hundreds of stars observed by the Kepler satellite and its value was shown to change during the evolution on the red giant branch. In this article, we theoretically investigate the reasons for such a variation in terms of structure properties. Using available asymptotic analyses and a simple model of the Brunt-V\"ais\"al\"a and Lamb frequencies, we derived an analytical expression of $\varepsilon_{\rm g}$ for dipolar modes and compared its predictions to observations. First, we show that the asymptotic value of $\varepsilon_{\rm g}$ well agrees with the mean value observed at the beginning of the ascent of the red giant branch, which results from the high density contrast between the helium core and the base of the convective envelope. Second, we demonstrate that the predicted value also explains the sharp decrease in $\varepsilon_{\rm g}$ observed for the more luminous red giant stars of the sample. This rapid drop turns out to occur just before the luminosity bump and result from the kink of the Brunt-V\"ais\"al\"a frequency near the upper turning point associated with the buoyancy cavity as stars evolve and this latter becomes close to the base of the convective envelope.The observed variation in $\varepsilon_{\rm g}$ and its link with the internal properties on the red giant branch are now globally understood. This motivates further analyses of the potential of this parameter as a seismic diagnosis of the region located between the helium core and the convective envelope.


title: Semiclassical correlators in Jackiw-Teitelboim gravity

abstract: In the semiclassical approximation to JT gravity, we find two-point and four-point correlators of heavy operators. To do so, we introduce a massive particle in the bulk and compute its action with gravitational backreaction. In Euclidean signature, the two-point function has a finite limit at large distances. In real time, we find that the thermal two-point function approaches an exponentially small value $\sim \exp(-N)$ at long time. We also find that after a period of exponential decay, the out of time ordered four-point function approaches an exponentially small value as well.


title: Multidimensional random walks conditioned to stay ordered via generalized ladder height functions

abstract: Random walks conditioned to stay positive are a prominent topic in fluctuation theory. One way to construct them is as a random walk conditioned to stay positive up to time $n$, and let $n$ tend to infinity. A second method is conditioning instead to stay positive up to an independent geometric time, and send its parameter to zero. The multidimensional case (condition the components of a $d$-dimensional random walk to be ordered) was solved in [EK08] using the first approach, but some moment conditions need to be imposed. Our approach is based on the second method, which has the advantage to require a minimal restriction, needed only for the finiteness of the $h$-transform in certain cases. We also characterize when the limit is Markovian or sub-Markovian, and give several reexpresions of the $h$-function. Under some conditions given in [Ign18], it can be proved that our $h$-function is the only harmonic function which is zero outside the Weyl chamber $\{x=(x_1,\ldots, x_d)\in \mathbb{R}^d: x_1<\cdots < x_d\}$.


title: LASER: Lightweight And SEcure Remote keyless entry protocol (Extended version)

abstract: Since Remote Keyless Entry (RKE) systems started to be widely used, several vulnerabilities in their protocols have been found. Attacks such as jamming-and-replay attacks and relay attacks are still effective against most recent RKE systems, even when many secure schemes have been designed. Although they are interesting from a theoretical point of view, the complexity of these solutions is excessive to implement them into a fob. This paper presents a lightweight and general solution based on a one message protocol, which guarantees the integrity and validity of the authentication in RKE systems, protecting the communication against the well-known jamming-and-replay and relay attacks, without using complex cryptographic schemes. Moreover, we also adapt our protocol for passive RKE (PRKE) systems. Our solution also includes a novel frequency-hopping-based approach which mitigates deny-of-service attacks. Finally, a prototype has been implemented using non-expensive hardware. Obtained results assure scalability, effectiveness and robustness.


title: Random walks on linear groups satisfying a Schubert condition

abstract: We study random walks on $\mathrm{GL}_d(\mathbb{R})$ whose proximal dimension $r$ is larger than $1$ and whose limit set in the Grassmannian $\mathrm{Gr}_{r,d}(\mathbb{R})$ is not contained any Schubert variety. These random walks, without being proximal, behave in many ways like proximal ones. Among other results, we establish a H\"older-type regularity for the stationary measure on the Grassmannian associated to these random walks. Using this and a generalization of Bourgain's discretized projection theorem, we prove that the proximality assumption in the Bourgain-Furman-Lindenstrauss-Mozes theorem can be relaxed to this Schubert condition.


title: Lifespan estimates for local in time solutions to the semilinear heat equation on the Heisenberg group

abstract: In this paper we consider the semilinear Cauchy problem for the heat equation with power nonlinearity in the Heisenberg group $\mathbf{H}_n$. The heat operator is given in this case by $\partial_t-\Delta_H$, where $\Delta_H$ is the so-called sub-Laplacian on $\mathbf{H}_n$. We prove that the Fujita exponent $1 + 2/Q$ is critical, where $Q = 2n + 2$ is the homogeneous dimension of $\mathbf{H}_n$. Furthermore, we prove sharp lifespan estimates for local in time solutions in the subcritical case and in the critical case. In order to get the upper bound estimate for the lifespan (especially, in the critical case) we employ a revisited test function method developed recently by Ikeda-Sobajima. On the other hand, to find the lower bound estimate for the lifespan we prove a local in time result in weighted $L^\infty$ space.


title: Planck 2018 results. IX. Constraints on primordial non-Gaussianity

abstract: We analyse the Planck full-mission cosmic microwave background (CMB) temperature and E-mode polarization maps to obtain constraints on primordial non-Gaussianity (NG). We compare estimates obtained from separable template-fitting, binned, and modal bispectrum estimators, finding consistent values for the local, equilateral, and orthogonal bispectrum amplitudes. Our combined temperature and polarization analysis produces the following results: f_NL^local = -0.9 +\- 5.1; f_NL^equil = -26 +\- 47; and f_NL^ortho = - 38 +\- 24 (68%CL, statistical). These results include the low-multipole (4 <= l < 40) polarization data, not included in our previous analysis, pass an extensive battery of tests, and are stable with respect to our 2015 measurements. Polarization bispectra display a significant improvement in robustness; they can now be used independently to set NG constraints. We consider a large number of additional cases, e.g. scale-dependent feature and resonance bispectra, isocurvature primordial NG, and parity-breaking models, where we also place tight constraints but do not detect any signal. The non-primordial lensing bispectrum is detected with an improved significance compared to 2015, excluding the null hypothesis at 3.5 sigma. We present model-independent reconstructions and analyses of the CMB bispectrum. Our final constraint on the local trispectrum shape is g_NLl^local = (-5.8 +\-6.5) x 10^4 (68%CL, statistical), while constraints for other trispectra are also determined. We constrain the parameter space of different early-Universe scenarios, including general single-field models of inflation, multi-field and axion field parity-breaking models. Our results provide a high-precision test for structure-formation scenarios, in complete agreement with the basic picture of the LambdaCDM cosmology regarding the statistics of the initial conditions (abridged).