title: A Link Between the Multiplicative and Additive Functional Asplund's Metrics

abstract: Functional Asplund's metrics were recently introduced to perform pattern matching robust to lighting changes thanks to double-sided probing in the Logarithmic Image Processing (LIP) framework. Two metrics were defined, namely the LIP-multiplicative Asplund's metric which is robust to variations of object thickness (or opacity) and the LIP-additive Asplund's metric which is robust to variations of camera exposure-time (or light intensity). Maps of distances-i.e. maps of these metric values-were also computed between a reference template and an image. Recently, it was proven that the map of LIP-multiplicative As-plund's distances corresponds to mathematical morphology operations. In this paper, the link between both metrics and between their corresponding distance maps will be demonstrated. It will be shown that the map of LIP-additive Asplund's distances of an image can be computed from the map of the LIP-multiplicative Asplund's distance of a transform of this image and vice-versa. Both maps will be related by the LIP isomorphism which will allow to pass from the image space of the LIP-additive distance map to the positive real function space of the LIP-multiplicative distance map. Experiments will illustrate this relation and the robustness of the LIP-additive Asplund's metric to lighting changes.


title: Generating superconducting vortices via spin-orbit coupling

abstract: Spin-orbit coupling (SOC) is known to play an important role in superconductor/ferromagnet heterostructures. Here we demonstrate that SOC results in the spontaneous generation of vortices in an \textit{s}-wave superconductor placed below a ferromagnetic metal with intrinsic or interfacial SOC. By using the generalized London and Ginzburg-Landau theories, we calculate the supercurrent amplitude in various types of S/F heterostructures at and below the superconducting critical temperature. In particular, we show that even in the limit of weak SOC, vortex-antivortex pairs are stabilized and that an attractive interaction between vortices and SOC act to pin vortices along the S/F interface. We discuss key experiments to investigate these phenomena, which would provide a platform to the creation of Abrikosov vortex memory.


title: The small quantum cohomology of the Cayley Grassmannian

abstract: We compute the small cohomology ring of the Cayley Grassmannian, that parametrizes four-dimensional subalgebras of the complexified octonions. We show that all the Gromov-Witten invariants in the multiplication table of the Schubert classes are non negative and deduce Golyshev's conjecture O holds true for this variety. We also check that the quantum cohomology is semisimple and that there exists, as predicted by Dubrovin's conjecture, an exceptional collection of maximal length in the derived category.


title: Simulation of charge readout with segmented tiles in nEXO

abstract: nEXO is a proposed experiment to search for the neutrino-less double beta decay ($0\nu\beta\beta$) of $^{136}$Xe in a tonne-scale liquid xenon time projection chamber (TPC). The nEXO TPC will be equipped with charge collection tiles to form the anode. In this work, the charge reconstruction performance of this anode design is studied with a dedicated simulation package. A multi-variate method and a deep neural network are developed to distinguish simulated $0\nu\beta\beta$ signals from backgrounds arising from trace levels of natural radioactivity in the detector materials. These simulations indicate that the nEXO TPC with charge-collection tiles shows promising capability to discriminate the $0\nu\beta\beta$ signal from backgrounds. The estimated half-life sensitivity for $0\nu\beta\beta$ decay is improved by $\sim$20$~(32)\%$ with the multi-variate~(deep neural network) methods considered here, relative to the sensitivity estimated in the nEXO pre-conceptual design report.


title: Convergence and Hardness of Strategic Schelling Segregation

abstract: The phenomenon of residential segregation was captured by Schelling's famous segregation model where two types of agents are placed on a grid and an agent is content with her location if the fraction of her neighbors which have the same type as her is at least $\tau$, for some $0<\tau<1$. Discontent agents simply swap their location with a randomly chosen other discontent agent or jump to a random empty cell. We analyze a generalized game-theoretic model of Schelling segregation which allows more than two agent types and more general underlying graphs modeling the residential area. For this we show that both aspects heavily influence the dynamic properties and the tractability of finding an optimal placement. We map the boundary of when improving response dynamics (IRD), i.e., the natural approach for finding equilibrium states, are guaranteed to converge. For this we prove several sharp threshold results where guaranteed IRD convergence suddenly turns into the strongest possible non-convergence result: a violation of weak acyclicity. In particular, we show such threshold results also for Schelling's original model, which is in contrast to the standard assumption in many empirical papers. Furthermore, we show that in case of convergence, IRD find an equilibrium in $\mathcal{O}(m)$ steps, where $m$ is the number of edges in the underlying graph and show that this bound is met in empirical simulations starting from random initial agent placements.


title: Self Organizing Supply Chains for Micro-Prediction: Present and Future uses of the ROAR Protocol

abstract: A multi-agent system is trialed as a means of crowd-sourcing inexpensive but high quality streams of predictions. Each agent is a microservice embodying statistical models and endowed with economic self-interest. The ability to fork and modify simple agents is granted to a large number of employees in a firm and empirical lessons are reported. We suggest that one plausible trajectory for this project is the creation of a Prediction Web.


title: A probabilistic approach to extreme statistics of Brownian escape times in dimensions 1, 2, and 3

abstract: First passage time (FPT) theory is often used to estimate timescales in cellular and molecular biology. While the overwhelming majority of studies have focused on the time it takes a given single Brownian searcher to reach a target, cellular processes are instead often triggered by the arrival of the first molecule out of many molecules. In these scenarios, the more relevant timescale is the FPT of the first Brownian searcher to reach a target from a large group of independent and identical Brownian searchers. Though the searchers are identically distributed, one searcher will reach the target before the others and will thus have the fastest FPT. This fastest FPT depends on extremely rare events and its mean can be orders of magnitude faster than the mean FPT of a given single searcher. In this paper, we use rigorous probabilistic methods to study this fastest FPT. We determine the asymptotic behavior of all the moments of this fastest FPT in the limit of many searchers in a general class of two- and three-dimensional domains. We establish these results by proving that the fastest searcher takes an almost direct path to the target.


title: Frontiers of open quantum system dynamics

abstract: We briefly examine recent developments in the field of open quantum system theory, devoted to the introduction of a satisfactory notion of memory for a quantum dynamics. In particular, we will consider a possible formalization of the notion of non-Markovian dynamics, as well as the construction of quantum evolution equations featuring a memory kernel. Connections will be drawn to the corresponding notions in the framework of classical stochastic processes, thus pointing to the key differences between a quantum and classical formalization of the notion of memory effects.


title: Small eigenvalues of the Witten Laplacian with Dirichlet boundary conditions: the case with critical points on the boundary

abstract: In this work, we give sharp asymptotic equivalents in the limit $h\to 0$ of the small eigenvalues of the Witten Laplacian, that is the operator associated with the quadratic form $$ \psi\in H^1_0(\Omega)\mapsto h^2 \int_\Omega \big \vert \nabla \big (e^{\frac 1hf} \psi\big )\big \vert^2\, e^{-\frac 2hf},$$where $\overline\Omega=\Omega\cup \partial \Omega$ is an oriented $C^\infty$ compact and connected Riemannian manifold with non empty boundary $\partial \Omega$ and $f: \overline \Omega\to \mathbb R$ is a $C^\infty$ Morse function. The function $f$ is allowed to admit critical points on $ \partial \Omega$, which is the main novelty of this work in comparison with the existing literature.


title: Stereo Event Lifetime and Disparity Estimation for Dynamic Vision Sensors

abstract: Event-based cameras are biologically inspired sensors that output asynchronous pixel-wise brightness changes in the scene called events. They have a high dynamic range and temporal resolution of a microsecond, opposed to standard cameras that output frames at fixed frame rates and suffer from motion blur. Forming stereo pairs of such cameras can open novel application possibilities, since for each event depth can be readily estimated; however, to fully exploit asynchronous nature of the sensor and avoid fixed time interval event accumulation, stereo event lifetime estimation should be employed. In this paper, we propose a novel method for event lifetime estimation of stereo event-cameras, allowing generation of sharp gradient images of events that serve as input to disparity estimation methods. Since a single brightness change triggers events in both event-camera sensors, we propose a method for single shot event lifetime and disparity estimation, with association via stereo matching. The proposed method is approximately twice as fast and more accurate than if lifetimes were estimated separately for each sensor and then stereo matched. Results are validated on real-world data through multiple stereo event-camera experiments.


title: Dramatic effect of a transverse electric field on frictional properties of graphene

abstract: We study the influence of transverse electric fields on the interfacial forces between a graphene layer and a carbon nanotube tip by means of atomistic simulations, in which a Gaussian regularized charge-dipole potential is combined with classical force fields. A significant effect of the field-induced electric charge on the normal force is observed. The normal pressure is found to be sensitive to the presence of a transverse electric field, while the friction force remains relatively invariant for the here-used field intensities. The contact can even be turned to have a negative coefficient of friction in a constant-distance scenario when the field strength reaches a critical value, which increases with decreasing tip-surface distance. These results shed light on how the frictional properties of nanomaterials can be controlled via applied electric fields.


title: Suppression of twinning and enhanced electronic anisotropy of SrIrO3 films

abstract: The spin-orbit coupling and electron correlation in perovskite SrIrO3 (SIO) strongly favor new quantum states and make SIO very attractive for next generation quantum information technology. In addition, the small electronic band-width offers the possibility to manipulate anisotropic electronic transport by strain. However, twinned film growth of SIO often masks electronic anisotropy which could be very useful for device applications. We demonstrate that the twinning of SIO films on (001) oriented SrTiO3 (STO) substrates can be strongly reduced for thin films with thickness t less than 30 nm by using substrates displaying a TiO2-terminated surface with step-edge alignment parallel to the a- or b-axis direction of the substrate. This allows us to study electronic anisotropy of strained SIO films which hitherto has been reported only for bulk-like SIO. For films with t < 30 nm electronic anisotropy increases with increasing t and becomes even twice as large compared to nearly strain-free films grown on (110) DyScO3. The experiments demonstrate the high sensitivity of electronic transport towards structural distortion and the possibility to manipulate transport by substrate engineering.


title: Stochastic Optimization for Trajectory Planning with Heteroscedastic Gaussian Processes

abstract: Trajectory optimization methods for motion planning attempt to generate trajectories that minimize a suitable objective function. Such methods efficiently find solutions even for high degree-of-freedom robots. However, a globally optimal solution is often intractable in practice and state-of-the-art trajectory optimization methods are thus prone to local minima, especially in cluttered environments. In this paper, we propose a novel motion planning algorithm that employs stochastic optimization based on the cross-entropy method in order to tackle the local minima problem. We represent trajectories as samples from a continuous-time Gaussian process and introduce heteroscedasticity to generate powerful trajectory priors better suited for collision avoidance in motion planning problems. Our experimental evaluation shows that the proposed approach yields a more thorough exploration of the solution space and a higher success rate in complex environments than a current Gaussian process based state-of-the-art trajectory optimization method, namely GPMP2, while having comparable execution time.


title: Real-time cosmology with SKA

abstract: In this work, we investigate what role the redshift drift data of Square Kilometre Array (SKA) will play in the cosmological parameter estimation in the future. To test the constraint capability of the redshift drift data of SKA-only, the $\Lambda$CDM model is chosen as a reference model. We find that using the SKA1 mock data, the $\Lambda$CDM model can be loosely constrained, while the model can be well constrained when the SKA2 mock data are used. When the mock data of SKA are combined with the data of the European Extremely Large Telescope (E-ELT), the constraints can be significantly improved almost as good as the data combination of the type Ia supernovae observation (SN), the cosmic microwave background observation (CMB), and the baryon acoustic oscillations observation (BAO). Furthermore, we explore the impact of the redshift drift data of SKA on the basis of SN+CMB+BAO+E-ELT in the $\Lambda$CDM model, the $w$CDM model, the CPL model, and the HDE model. We find that the redshift drift measurement of SKA could help to significantly improve the constraints on dark energy and could break the degeneracy between the cosmological parameters. Therefore, we conclude that redshift-drift observation of SKA would provide a good improvement in the cosmological parameter estimation in the future and has the enormous potential to be one of the most competitive cosmological probes in constraining dark energy.


title: A Multivariate Extreme Value Theory Approach to Anomaly Clustering and Visualization

abstract: In a wide variety of situations, anomalies in the behaviour of a complex system, whose health is monitored through the observation of a random vector X = (X1,. .. , X d) valued in R d , correspond to the simultaneous occurrence of extreme values for certain subgroups $\alpha$ $\subset$ {1,. .. , d} of variables Xj. Under the heavy-tail assumption, which is precisely appropriate for modeling these phenomena, statistical methods relying on multivariate extreme value theory have been developed in the past few years for identifying such events/subgroups. This paper exploits this approach much further by means of a novel mixture model that permits to describe the distribution of extremal observations and where the anomaly type $\alpha$ is viewed as a latent variable. One may then take advantage of the model by assigning to any extreme point a posterior probability for each anomaly type $\alpha$, defining implicitly a similarity measure between anomalies. It is explained at length how the latter permits to cluster extreme observations and obtain an informative planar representation of anomalies using standard graph-mining tools. The relevance and usefulness of the clustering and 2-d visual display thus designed is illustrated on simulated datasets and on real observations as well, in the aeronautics application domain.


title: The Marginal Stability of Proteins: How Jiggling and Wiggling of Atoms are Connected to Neutral Evolution

abstract: Here we propose that the upper bound marginal stability of proteins (7.4 kcal/mol) is a universal property that includes macro-molecular complexes and is not affected by molecular changes such as mutations and Post-Translational Modifications. Its existence is, essentially, a consequence of the Anfinsen thermodynamic hypothesis rather than a result of an evolutive process. This result enables us to conjecture that neutral evolution should also be, with respect to protein stability, a universal phenomenon.


title: Low Barrier Nanomagnet Design for Binary Stochastic Neurons: Design Challenges for Real Nanomagnets with Fabrication Defects

abstract: Much attention has been focused on the design of low barrier nanomagnets (LBM), whose magnetizations vary randomly in time owing to thermal noise, for use in binary stochastic neurons (BSN) which are hardware accelerators for machine learning. The performance of BSNs depend on two important parameters: the correlation time associated with the random magnetization dynamics in a LBM, and the spin-polarized pinning current which stabilizes the magnetization of a LBM in a chosen direction within a chosen time. Here, we show that common fabrication defects in LBMs make these two parameters unpredictable since they are strongly sensitive to the defects. That makes the design of BSNs with real LBMs very challenging. Unless the LBMs are fabricated with extremely tight control, the BSNs which use them could be unreliable or suffer from poor yield.


title: Almawave-SLU: A new dataset for SLU in Italian

abstract: The widespread use of conversational and question answering systems made it necessary to improve the performances of speaker intent detection and understanding of related semantic slots, i.e., Spoken Language Understanding (SLU). Often, these tasks are approached with supervised learning methods, which needs considerable labeled datasets. This paper presents the first Italian dataset for SLU. It is derived through a semi-automatic procedure and is used as a benchmark of various open source and commercial systems.


title: Trace formulas for general Hermitian matrices: Unitary scattering approach and periodic orbits on an associated graph

abstract: Two trace formulas for the spectra of arbitrary Hermitian matrices are derived by transforming the given Hermitian matrix $H$ to a unitary analogue. In the first type the unitary matrix is $e^{i(\lambda\II - H)}$ where $\lambda$ is the spectral parameter. The new feature is that the spectral parameter appears in the final form as an argument of Eulerian polynomials -- thus connecting the periodic orbits to combinatorial objects in a novel way. To obtain the second type, one expresses the input in terms of a unitary scattering matrix in a larger Hilbert space. One of the surprising features here is that the locations and radii of the spectral discs of Gershgorin's theorem appear naturally as the pole parameters of the scattering matrix. Both formulas are discussed and possible applications are outlined.


title: A substitute for the classical Neumann--Morgenstern characteristic function in cooperative differential games

abstract: In this paper, we present a systematic overview of different endogenous optimization-based characteristic functions and discuss their properties. Furthermore, we define and analyze in detail a new, $\eta$-characteristic function. This characteristic function has a substantial advantage over other characteristic functions in that it can be obtained with a minimal computational effort and has a reasonable economic interpretation. In particular, the new characteristic function can be seen as a reduced version of the classical Neumann-Morgenstern characteristic function, where the players both from the coalition and from the complementary coalition use their previously computed strategies instead of solving respective optimization problems. Our finding are illustrated by a pollution control game with $n$ non-identical players. For the considered game, we compute all characteristic functions and compare their properties. Quite surprisingly, it turns out that both the characteristic functions and the resulting cooperative solutions satisfy some symmetry relations.


title: Resonant-state expansion applied to three-dimensional open optical systems: A complete set of static modes

abstract: We present two alternative complete sets of static modes of a homogeneous dielectric sphere, for their use in the resonant-state expansion (RSE), a rigorous perturbative method in electrodynamics. Physically, these modes are needed to correctly describe the static electric field of a charge redistribution within the optical system due to a perturbation of the permittivity. We demonstrate the convergence of the RSE towards the exact result for a perturbation describing a size reduction of the basis sphere. We then revisit the quarter-sphere perturbation treated in [Doost {\it et al.}, Phys. Rev. A {\bf 90}, 013834 (2014)], where only a single static mode per each angular momentum was introduced, and show that using a complete set of static modes leads to a small, though non-negligible correction of the RSE result, improving the agreement with finite-element simulations. As another example of applying the RSE with a complete set of static modes, we calculate the resonant states of a dielectric cylinder, also comparing the result with a finite-element simulation.


title: Super-localization of excitons in carbon nanotubes at cryogenic temperature

abstract: At cryogenic temperature and at the single emitter level, the optical properties of single-wall carbon nanotubes depart drastically from that of a one-dimensional (1D) object. In fact, the (usually unintentional) localization of excitons in local potential wells leads to nearly 0D behaviors such as photon antibunching, spectral diffusion, inhomogeneous broadening, etc. Here, we present an hyperspectral imaging of this exciton self-localization effect at the single nanotube level using a super-resolved optical microscopy approach. We report on the statistical distribution of the traps localization, depth and width. We use a quasi-resonant photoluminescence excitation approach to probe the confined quantum states. Numerical simulations of the quantum states and exciton diffusion show that the excitonic states are deeply modified by the interface disorder inducing a remarkable discretization of the excitonic absorption spectrum and a quenching of the free 1D exciton absorption.


title: Scalar and Fermion field interactions with a gravitational wave

abstract: Given that gravitational waves are the future probes of the universe, it is important to test various physical effects of these on matter. This article explores the first-order perturbation, caused by a planar gravitational wave, on massless scalar and chiral fermions. We find a new propagating mode for the perturbed fields with a new dispersion relation by solving inhomogeneous differential equations. We also discuss the massive scalar field, and find interesting effects due to the gravitational wave. Our results have physical implications for early universe cosmology and also for ground-based observations, where the new mode might be able to help in the gravitational waves' detection on earth.


title: A Nanomagnetic Voltage-Tunable Correlation Generator between Two Random Bit Streams for Stochastic Computing

abstract: Graphical probabilistic circuit models of stochastic computing are more powerful than the predominant deep learning models, but also have more demanding requirements. For example, they require "programmable stochasticity", e.g. generating two random binary bit streams with tunable amount of correlation between the corresponding bits in the two streams. Electronic implementation of such a system would call for several components leaving a large footprint on a chip and dissipating excessive amount of energy. Here, we show an elegant implementation with just two dipole-coupled magneto-tunneling junctions (MTJ), with magnetostrictive soft layers, fabricated on a piezoelectric film. The resistance states of the two MTJs (high or low) encode the bits in the two streams. The first MTJ is driven to a random resistance state via a current or voltage generating spin transfer torque and/or voltage controlled magnetic anisotropy, while the second MTJ's resistance state is determined solely by dipole coupling with the first. The effect of dipole coupling can be varied with local strain applied to the second MTJ with a local voltage (~0.2 V) and that varies the correlation between the resistance states of the two MTJs and hence between the bits in the two streams (from 0% to 100%). This paradigm can be extended to arbitrary number of bit streams.

categories: cond-mat.mes-hall cs.SY eess.SY physics.app-ph


title: Bayesian analysis of $f(T)$ gravity using $f\sigma_8$ data

abstract: We use observational data from Supernovae (SNIa) Pantheon sample, from direct Hubble constant measurements with cosmic chronometers (CC), from the Cosmic Microwave Background shift parameter $\text{CMB}_{\text{shift}}$, and from redshift space distortion ($f\sigma_8$) measurements, in order to constrain $f(T)$ gravity. We do not follow the common $\gamma$ parameterization within the semi-analytical approximation of the growth rate, in order to avoid model-dependent uncertainties. Up to our knowledge this is the first time that $f(T)$ gravity is analyzed within a Bayesian framework, and with background and perturbation behaviour considered jointly. We show that all three examined $f(T)$ models are able to describe adequately the $f\sigma_8$ data. Furthermore, applying the Akaike, Bayesian and Deviance Information Criteria, we conclude that all considered models are statistically equivalent, however the most efficient candidate is the exponential model, which additionally presents a small deviation from $\Lambda$CDM paradigm.


title: Recursive Scheme for Angles of Random Simplices, and Applications to Random Polytopes

abstract: Consider a random simplex $[X_1,\ldots,X_n]$ defined as the convex hull of independent identically distributed random points $X_1,\ldots,X_n$ in $\mathbb{R}^{n-1}$ with the following beta density: $$ f_{n-1,\beta} (x) \propto (1-\|x\|^2)^{\beta} 1_{\{\|x\| < 1\}}, \qquad x\in\mathbb{R}^{n-1}, \quad \beta>-1. $$ Let $J_{n,k}(\beta)$ be the expected internal angle of the simplex $[X_1,\ldots,X_n]$ at its face $[X_1,\ldots,X_k]$. Define $\tilde J_{n,k}(\beta)$ analogously for i.i.d. random points distributed according to the beta' density $$ \tilde f_{n-1,\beta} (x) \propto (1+\|x\|^2)^{-\beta}, \qquad x\in\mathbb{R}^{n-1}, \quad \beta > \frac{n-1}{2}. $$ We derive formulae for $J_{n,k}(\beta)$ and $\tilde J_{n,k}(\beta)$ which make it possible to compute these quantities symbolically, in finitely many steps, for any integer or half-integer value of $\beta$. For $J_{n,1}(\pm 1/2)$ we even provide explicit formulae in terms of products of Gamma functions. We give applications of these results to two seemingly unrelated problems of stochastic geometry. (i) We compute the expected $f$-vectors of the typical Poisson-Voronoi cells in dimensions up to $10$. (ii) Consider the random polytope $K_{n,d} := [U_1,\ldots,U_n]$ where $U_1,\ldots,U_n$ are i.i.d. random points sampled uniformly inside some $d$-dimensional convex body $K$ with smooth boundary and unit volume. M. Reitzner proved the existence of the limit of the normalized expected $f$-vector of $K_{n,d}$: $$ \lim_{n\to\infty} n^{-{\frac{d-1}{d+1}}}\mathbb E \mathbf f(K_{n,d}) = \mathbf c_d \cdot \Omega(K), $$ where $\Omega(K)$ is the affine surface area of $K$, and $\mathbf c_d$ is an unknown vector not depending on $K$. We compute $\mathbf c_d$ explicitly in dimensions up to $d=10$ and also solve the analogous problem for random polytopes with vertices distributed uniformly on the sphere.


title: Tactile Model O: Fabrication and testing of a 3d-printed, three-fingered tactile robot hand

abstract: Bringing tactile sensation to robotic hands will allow for more effective grasping, along with the wide range of benefits of human-like touch. Here we present a 3D-printed, three-fingered tactile robot hand comprising an OpenHand Model O customized to house a TacTip soft biomimetic tactile sensor in the distal phalanx of each finger. We expect that combining the grasping capabilities of this underactuated hand with sophisticated tactile sensing will result in an effective platform for robot hand research -- the Tactile Model O (T-MO). The design uses three JeVois machine vision systems, each comprising a miniature camera in the tactile fingertip with a processing module in the base of the hand. To evaluate the capabilities of the T-MO, we benchmark its grasping performance using the Gripper Assessment Benchmark on the YCB object set. Tactile sensing capabilities are evaluated by performing tactile object classification on 26 objects and predicting whether a grasp will successfully lift each object. Results are consistent with the state of the art, taking advantage of advances in deep learning applied to tactile image outputs. Overall, this work demonstrates that the T-MO is an effective platform for robot hand research and we expect it to open-up a range of applications in autonomous object handling. Supplemental video: https://youtu.be/RTcCpgffCrQ.


title: Experimental self-characterization of quantum measurements

abstract: The accurate and reliable description of measurement devices is a central problem in both observing uniquely non-classical behaviors and realizing quantum technologies from powerful computing to precision metrology. To date quantum tomography is the prevalent tool to characterize quantum detectors. However, such a characterization relies on accurately characterized probe states, rendering reliability of the characterization lost in circular argument. Here we report a self-characterization method of quantum measurements based on reconstructing the response range, the entirety of attainable measurement outcomes, eliminating the reliance on known states. We characterize two representative measurements implemented with photonic setups and obtain fidelities above 99.99% with the conventional tomographic reconstructions. This initiates range-based techniques in characterizing quantum systems and foreshadows novel device-independent protocols of quantum information applications.


title: Non-Gaussian macroscopic entanglement of motion in a hybrid electromechanical device

abstract: We propose a scheme for entangling the motion of two massive objects in a hybrid electromechanical architecture. The entanglement is generated due to the interaction of two mechanical oscillators with a mediating superconducting qubit. We show that the generated macroscopic entangled states are non-Gaussian and its lifetime is limited by coherence time of the qubit. The entanglement is attainable in a wide range of parameters with appropriate control of the qubit. We confirm performance of our scheme by numerically solving the quantum optical master equation including sources of noise. The effect of imperfections, such as asymmetries in the coupling rates as well as mechanical thermal noise are studied and shown how they affect the amount and lifetime of the entangled state. Due to the nonlinear nature of the qubit, the initial Gaussian state of mechanical resonators evolves into a quasi-stationary non-Gaussian state, which is essential for universal quantum information processing in continuous variable systems. This work, therefore, provides the first step towards a universal continuous variable quantum network.


title: Global regularity of second order twisted differential operators

abstract: In this paper we characterize global regularity in the sense of Shubin of twisted partial differential operators of second order in dimension $2$. These operators form a class containing the twisted Laplacian, and in bi-unique correspondence with second order ordinary differential operators with polynomial coefficients and symbol of degree $2$. This correspondence is established by a transformation of Wigner type. In this way the global regularity of twisted partial differential operators turns out to be equivalent to global regularity and injectivity of the corresponding ordinary differential operators, which can be completely characterized in terms of the asymptotic behavior of the Weyl symbol. In conclusion we observe that we have obtained a new class of globally regular partial differential operators which is disjoint from the class of hypo-elliptic operators in the sense of Shubin.


title: On the quantum mechanics of how an ideal carbon nanotube field emitter can exhibit a constant field enhancement factor

abstract: Measurements of current-voltage characteristics from ideal carbon nanotube (CNT) field electron emitters of small apex radius have shown that these emitters can exhibit a linear Fowler-Nordheim (FN) plot [e.g., Dean and Chalamala, Appl. Phys. Lett., 76, 375, 2000]. From such a plot, a constant (voltage-independent) characteristic field enhancement factor (FEF) can be deduced. Over fifteen years later, this experimental result has not yet been convincingly retrieved from first-principles electronic structure calculations, or more generally from quantum mechanics (QM). On the contrary, several QM calculations have deduced that the characteristic FEF should be a function of the macroscopic field applied to the CNT. This apparent contradiction between experiment and QM theory has been an unexplained feature of CNT emission science, and has raised doubts about the ability of existing QM models to satisfactorily describe experimental CNT emission behavior. In this work we demonstrate, by means of a density functional theory analysis of single-walled CNTs "floating" in an applied macroscopic field, the following significant result. This is that agreement between experiment, classical-conductor CNT models and QM calculations can be achieved if the latter are used to calculate (from the "real" total-charge-density distributions initially obtained) the distributions of $\textit{induced}$ charge-density, induced local fields and induced local FEFs. The present work confirms, more reliably and in significantly greater detail than in earlier work on a different system, that this finding applies to the common "post-on-a-conducing plane" situation of CNT field electron emission. This finding also brings out various further theoretical questions that need to be explored.


title: Interacting scenarios with dynamical dark energy: observational constraints and alleviation of the $H_0$ tension

abstract: We investigate interacting scenarios which belong to a wider class, since they include a dynamical dark energy component whose equation of state follows various one-parameter parametrizations. We confront them with the latest observational data from Cosmic Microwave Background (CMB), Joint light-curve (JLA) sample from Supernovae Type Ia, Baryon Acoustic Oscillations (BAO), Hubble parameter measurements from Cosmic Chronometers (CC) and a gaussian prior on the Hubble parameter $H_0$. In all examined scenarios we find a non-zero interaction, nevertheless the non-interacting case is allowed within 2$\sigma$. Concerning the current value of the dark energy equation of state for all combination of datasets it always lies in the phantom regime at more than two/three standard deviations. Finally, for all interacting models, independently of the combination of datasets considered, the estimated values of the present Hubble parameter $H_0$ are greater compared to the $\Lambda$CDM-based Planck's estimation and close to the local measurements, thus alleviating the $H_0$ tension.


title: A Conjectural Brouwer Inequality for Higher-Dimensional Laplacian Spectra

abstract: We present a generalization of Brouwer's conjectural family of inequalities -- a popular family of inequalities in spectral graph theory bounding the partial sum of the Laplacian eigenvalues of graphs -- for the case of abstract simplicial complexes of any dimension. We prove that this family of inequalities holds for shifted simplicial complexes, which generalize threshold graphs, and give tighter bounds (linear in the dimension of the complexes) for simplicial trees. We prove that the conjecture holds for the the first, second, and last partial sums for all simplicial complexes, generalizing many known proofs for graphs to the case of simplicial complexes. We also show that the conjecture holds for the tth partial sum for all simplicial complexes with dimension at least t and matching number greater than $t$. Returning to the special case of graphs, we expand on a known proof to show that the Brouwer's conjecture holds with equality for the tth partial sum where t is the maximum clique size of the graph minus one (or, equivalently, the number of cone vertices). Along the way, we develop machinery that may give further insights into related long-standing conjectures.


title: Representation formulas for contact type Hamilton-Jacobi equations

abstract: We discuss various kinds of representation formulas for the viscosity solutions of the contact type Hamilton-Jacobi equations by using the Herglotz' variational principle.


title: Low-Shot Classification: A Comparison of Classical and Deep Transfer Machine Learning Approaches

abstract: Despite the recent success of deep transfer learning approaches in NLP, there is a lack of quantitative studies demonstrating the gains these models offer in low-shot text classification tasks over existing paradigms. Deep transfer learning approaches such as BERT and ULMFiT demonstrate that they can beat state-of-the-art results on larger datasets, however when one has only 100-1000 labelled examples per class, the choice of approach is less clear, with classical machine learning and deep transfer learning representing valid options. This paper compares the current best transfer learning approach with top classical machine learning approaches on a trinary sentiment classification task to assess the best paradigm. We find that BERT, representing the best of deep transfer learning, is the best performing approach, outperforming top classical machine learning algorithms by 9.7% on average when trained with 100 examples per class, narrowing to 1.8% at 1000 labels per class. We also show the robustness of deep transfer learning in moving across domains, where the maximum loss in accuracy is only 0.7% in similar domain tasks and 3.2% cross domain, compared to classical machine learning which loses up to 20.6%.


title: Branching laws for discrete series of some affine symmetric spaces

abstract: In this paper we study branching laws for certain unitary representations. This is done on the smooth vectors via a version of the {\it period integrals}, studied in number theory, and also closely connected to the {\it symmetry-breaking operators}, introduced by T.~Kobayashi. We exhibit non-vanishing symmetry breaking operators for the restriction of a representation $\Pi$ in the discrete spectrum for real hyperboloids to representations of smaller orthogonal groups. In the last part we discuss some conjectures for the restriction of representations in Arthur packets containing the representation $\Pi$ and the corresponding Arthur-Vogan packets to smaller orthogonal groups; these are inspired by the Gross-Prasad conjectures.


title: Design and analysis of high electron mobility transistor (HEMT) inspired III-V electro-optic modulator topologies

abstract: III-V heterostructure based high electron mobility transistors (HEMTs) offer superior performance as compared to CMOS silicon transistors owing to the high mobility in the 2D electron gas (2DEG) channel at the heterostructure interface. Gallium nitride (GaN) based HEMTs are also suitable for high power and high temperature applications. GaN has a rich offering of material properties spanning domains of nonlinear optics, piezoelectric micro-electro-mechanical systems (MEMS), and monolithic microwave integrated circuits (MMICs). In this paper, we propose HEMT inspired III-V electro-optic modulator topologies that could potentially outperform silicon photonic modulators. We analyze the electroabsorption and electrorefraction on account of the 2DEG interaction with light and present a design framework to selectively leverage the desired mechanism of modulation. Our analysis suggests that modulation index of electrorefractive modulation in a HEMT-like structure is comparable to silicon photonic modulators, albeit with much higher electron mobility and thereby much higher modulation rates.


title: The Steiner distance problem for large vertex subsets in the hypercube

abstract: We find the asymptotic behavior of the Steiner k-diameter of the $n$-cube if $k$ is large. Our main contribution is the lower bound, which utilizes the probabilistic method.


title: Tor-pairs: products and approximations

abstract: Recently the author has studied rings for which products of flat modules have finite flat dimension. In this paper we extend the theory to characterize when products of modules in $\mathcal T$ have finite $\mathcal T$-projective dimension, where $\mathcal T$ is the left hand class of a Tor-pair $(\mathcal T,\mathcal S)$, relating this property with the relative $\mathcal T$-Mittag-Leffler dimension of modules in $\mathcal S$. We apply these results to study the existence of approximations by modules in $\mathcal T$. In order to do this, we give short proofs of the well known results that a deconstructible class is precovering and that a deconstructible class closed under products is preenveloping.


title: Distribution of the ratio of two consecutive level spacings in orthogonal to unitary crossover ensembles

abstract: The ratio of two consecutive level spacings has emerged as a very useful metric in investigating universal features exhibited by complex spectra. It does not require the knowledge of density of states and is therefore quite convenient to compute in analyzing the spectrum of a general system. The Wigner-surmise-like results for the ratio distribution are known for the invariant classes of Gaussian random matrices. However, for the crossover ensembles, which are useful in modeling systems with partially broken symmetries, corresponding results have remained unavailable so far. In this work, we derive exact results for the distribution and average of the ratio of two consecutive level spacings in the Gaussian orthogonal to unitary crossover ensemble using a $3\times 3$ random matrix model. This crossover is useful in modeling time-reversal symmetry breaking in quantum chaotic systems. Although based on a $3\times 3$ matrix model, our results can also be applied in the study of large spectra, provided the symmetry-breaking parameter facilitating the crossover is suitably scaled. We substantiate this claim by considering Gaussian and Laguerre crossover ensembles comprising large matrices. Moreover, we apply our result to investigate the violation of time-reversal invariance in the quantum kicked rotor system.


title: Low-frequency charge noise in Si/SiGe quantum dots

abstract: Electron spins in silicon have long coherence times and are a promising qubit platform. However, electric field noise in semiconductors poses a challenge for most single- and multi-qubit operations in quantum-dot spin qubits. Here, we investigate the dependence of low-frequency charge noise spectra on temperature and aluminum-oxide gate dielectric thickness in Si/SiGe quantum dots with overlapping gates. We find that charge noise increases with aluminum oxide thickness. We also find strong dot-to-dot variations in the temperature dependence of the noise magnitude and spectrum. These findings suggest that each quantum dot experiences noise caused by a distinct ensemble of two-level systems, each of which has a non-uniform distribution of thermal activation energies. Taken together, our results suggest that charge noise in Si/SiGe quantum dots originates at least in part from a non-uniform distribution of two-level systems near the surface of the semiconductor.


title: Geometric subdivision and multiscale transforms

abstract: Any procedure applied to data, and any quantity derived from data, is required to respect the nature and symmetries of the data. This axiom applies to refinement procedures and multiresolution transforms as well as to more basic operations like averages. This chapter discusses different kinds of geometric structures like metric spaces, Riemannian manifolds, and groups, and in what way we can make elementary operations geometrically meaningful. A nice example of this is the Riemannian metric naturally associated with the space of positive definite matrices and the intrinsic operations on positive definite matrices derived from it. We disucss averages first and then proceed to refinement operations (subdivision) and multiscale transforms. In particular, we report on the current knowledge as regards convergence and smoothness.


title: Impact of an off-centred dipole on neutron star binaries

abstract: Neutron stars are strongly magnetized rotating compact objects. Therefore they also produce huge electric fields accelerating particles to ultra-relativistic energies. The simplest magnetic topology is a dipole traditionally located at the stellar centre. In this paper, we reinvestigate the consequences of an off-centred rotating magnetic dipole, showing accurate magnetic field line geometries, the associated spin-down luminosity as well as the corresponding electromagnetic kick and torque imprinted to the neutron star. Results are obtained by time dependent numerical simulations of Maxwell equations in vacuum using pseudo-spectral methods. We compare our results to known analytical expressions available to lowest order in the parameter $\epsilon = d/R$, where $d$ is the displacement of the dipole from the stellar centre and $R$ the neutron star radius. We found good agreement between our numerical computations and our analytical approximations even for well off-centred dipoles having large displacements with a sizeable fraction of the radius, i.e. $\epsilon \lesssim 1$. An explanation for binary neutron star eccentricity distribution functions is given with an emphasize on highly eccentric systems as an alternative scenario to traditional binary formation.


title: Output-weighted optimal sampling for Bayesian regression and rare event statistics using few samples

abstract: For many important problems the quantity of interest is an unknown function of the parameters, which is a random vector with known statistics. Since the dependence of the output on this random vector is unknown, the challenge is to identify its statistics, using the minimum number of function evaluations. This problem can been seen in the context of active learning or optimal experimental design. We employ Bayesian regression to represent the derived model uncertainty due to finite and small number of input-output pairs. In this context we evaluate existing methods for optimal sample selection, such as model error minimization and mutual information maximization. We show that for the case of known output variance, the commonly employed criteria in the literature do not take into account the output values of the existing input-output pairs, while for the case of unknown output variance this dependence can be very weak. We introduce a criterion that takes into account the values of the output for the existing samples and adaptively selects inputs from regions of the parameter space which have important contribution to the output. The new method allows for application to high-dimensional inputs, paving the way for optimal experimental design in high-dimensions.


title: The Geometric Syzygy Conjecture in Even Genus

abstract: We prove the Geometric Syzygy Conjecture for generic canonical curves of even genus. This result extends Green's classical result on the generation of the ideal of a canonical curve by rank four quadrics to the highest linear syzygy group.


title: Large-Scale Parallel Electric Fields and Return Currents in a Global Simulation Model

abstract: A new computational model, kglobal, is being developed to explore energetic electron production via magnetic reconnection in macroscale systems. The model is based on the discovery that the production of energetic electrons during reconnection is controlled by Fermi reflection in large-scale magnetic fields and not by parallel electric fields localized in kinetic scale boundary layers. Thus, the model eliminates these boundary layers. However, although the parallel electric fields that develop around the magnetic x-line and associated separatrices are not important in producing energetic electrons, there is a large scale electric field that kickstarts the heating of low-energy electrons and drives the cold-electron return current that accompanies escaping energetic electrons in open systems. This macroscale electric field is produced by magnetic-field-aligned gradients in the electron pressure. We have upgraded kglobal to include this large-scale electric field while maintaining energy conservation. The new model is tested by exploring the dynamics of electron acoustic modes which develop as a consequence of the presence of two electron species: hot kinetic and cold fluid electrons. Remarkably, the damping of electron acoustic modes is accurately captured by kglobal. Additionally, it has been established that kglobal correctly describes the dynamics of the interaction of the parallel electric field with escaping hot electrons through benchmarking simulations with the Particle-In-Cell (PIC) code p3d.


title: Heat flux direction controlled by power-law oscillators under non-Gaussian fluctuations

abstract: Chains of particles coupled through anharmonic interactions and subject to non-Gaussian baths can exhibit paradoxical outcomes such as heat currents flowing from colder to hotter reservoirs. Aiming to explore the role of generic non-harmonicities in mediating the contributions of non-Gaussian fluctuations to the direction of heat propagation, we consider a chain of power-law oscillators, with interaction potential $V(x) \propto |x|^\alpha$, subject to Gaussian and Poissonian baths at its ends. Performing numerical simulations and addressing heuristic considerations, we show that a deformable potential has bidirectional control over heat flux.


title: Optimal Secure Control with Linear Temporal Logic Constraints

abstract: Prior work on automatic control synthesis for cyber-physical systems under logical constraints has primarily focused on environmental disturbances or modeling uncertainties, however, the impact of deliberate and malicious attacks has been less studied. In this paper, we consider a discrete-time dynamical system with a linear temporal logic (LTL) constraint in the presence of an adversary, which is modeled as a stochastic game. We assume that the adversary observes the control policy before choosing an attack strategy. We investigate two problems. In the first problem, we synthesize a robust control policy for the stochastic game that maximizes the probability of satisfying the LTL constraint. A value iteration based algorithm is proposed to compute the optimal control policy. In the second problem, we focus on a subclass of LTL constraints, which consist of an arbitrary LTL formula and an invariant constraint. We then investigate the problem of computing a control policy that minimizes the expected number of invariant constraint violations while maximizing the probability of satisfying the arbitrary LTL constraint. We characterize the optimality condition for the desired control policy. A policy iteration based algorithm is proposed to compute the control policy. We illustrate the proposed approaches using two numerical case studies.


title: Liouville-type equations for the n-particle distribution functions of an open system

abstract: In this work we derive a mathematical model for an open system that exchanges particles and momentum with a reservoir from their joint Hamiltonian dynamics. The complexity of this many-particle problem is addressed by introducing a countable set of n-particle phase space distribution functions just for the open subsystem, while accounting for the reservoir only in terms of statistical expectations. From the Liouville equation for the full system we derive a set of coupled Liouville-type equations for the n-particle distributions by marginalization with respect to reservoir states. The resulting equation hierarchy describes the external momentum forcing of the open system by the reservoir across its boundaries, and it covers the effects of particle exchanges, which induce probability transfers between the n- and (n+1)-particle distributions. Similarities and differences with the Bergmann-Lebowitz model of open systems (P.G.Bergmann, J.L. Lebowitz, Phys.Rev., 99:578--587 (1955)) are discussed in the context of the implementation of these guiding principles in a computational scheme for molecular simulations.

categories: math-ph cond-mat.stat-mech math.MP physics.comp-ph


title: All-sky Medium Energy Gamma-ray Observatory: Exploring the Extreme Multimessenger Universe

abstract: The All-sky Medium Energy Gamma-ray Observatory (AMEGO) is a probe class mission concept that will provide essential contributions to multimessenger astrophysics in the late 2020s and beyond. AMEGO combines high sensitivity in the 200 keV to 10 GeV energy range with a wide field of view, good spectral resolution, and polarization sensitivity. Therefore, AMEGO is key in the study of multimessenger astrophysical objects that have unique signatures in the gamma-ray regime, such as neutron star mergers, supernovae, and flaring active galactic nuclei. The order-of-magnitude improvement compared to previous MeV missions also enables discoveries of a wide range of phenomena whose energy output peaks in the relatively unexplored medium-energy gamma-ray band.


title: Inductive Analysis of the Internet Protocol TLS

abstract: Internet browsers use security protocols to protect sensitive messages. An inductive analysis of TLS (a descendant of SSL 3.0) has been performed using the theorem prover Isabelle. Proofs are based on higher-order logic and make no assumptions concerning beliefs or finiteness. All the obvious security goals can be proved; session resumption appears to be secure even if old session keys have been compromised. The proofs suggest minor changes to simplify the analysis. TLS, even at an abstract level, is much more complicated than most protocols that researchers have verified. Session keys are negotiated rather than distributed, and the protocol has many optional parts. Nevertheless, the resources needed to verify TLS are modest: six man-weeks of effort and three minutes of processor time.


title: Detailed spectroscopic and photometric study of three detached eclipsing binaries

abstract: Detached eclipsing binaries are remarkable systems to provide accurate fundamental stellar parameters. The fundamental stellar parameters and the metallicity values of stellar systems are needed to deeply understand the stellar evolution and formation. In this study, we focus on the detailed spectroscopic and photometric studies of three detached eclipsing binary systems, V372\,And, V2080\,Cyg, and CF\,Lyn to obtain their accurate stellar, atmospheric parameters,and chemical compositions. An analysis of light and radial velocity curves was carried out to derive the orbital and stellar parameters. The disentangled spectra of component stars were obtained for the spectroscopic analysis. Final \teff, \logg, $\xi$, \vsini\, parameters and the element abundances of component stars were derived by using the spectrum synthesis method. The fundamental stellar parameters were determined with a high certainty for V372\,And, V2080\,Cyg ($\sim$$1-2$\%) and with an accuracy for CF\,Lyn ($\sim$$2-6$\%). The evolutionary status of the systems was examined and their ages were obtained. It was found that the component stars of V2080\,Cyg have similar iron abundance which is slightly lower than solar iron abundance. Additionally, we showed that the primary component of CF\,Lyn exhibits a non-spherical shape with its 80\% Roche lobe filling factor. It could be estimated that CF\,Lyn will start its first Roche overflow in the next 0.02\,Gyr.


title: Self-Attentive Hawkes Processes

abstract: Asynchronous events on the continuous time domain, e.g., social media actions and stock transactions, occur frequently in the world. The ability to recognize occurrence patterns of event sequences is crucial to predict which typeof events will happen next and when. A de facto standard mathematical framework to do this is the Hawkes process. In order to enhance expressivity of multivariate Hawkes processes, conventional statistical methods and deep recurrent networks have been employed to modify its intensity function. The former is highly interpretable and requires small size of training data but relies on correct model design while the latter has less dependency on prior knowledge and is more powerful in capturing complicated patterns. We leverage pros and cons of these models and propose a self-attentive Hawkes process(SAHP). The proposed method adapts self-attention to fit the intensity function of Hawkes processes. This design has two benefits:(1) compared with conventional statistical methods, the SAHP is more powerful to identify complicated dependency relationships between temporal events; (2)compared with deep recurrent networks, the self-attention mechanism is able to capture longer historical information, and is more interpretable because the learnt attention weight tensor shows contributions of each historical event. Experiments on four real-world datasets demonstrate the effectiveness of the proposed method.


title: Shallow Embedding of Type Theory is Morally Correct

abstract: There are multiple ways to formalise the metatheory of type theory. For some purposes, it is enough to consider specific models of a type theory, but sometimes it is necessary to refer to the syntax, for example in proofs of canonicity and normalisation. One option is to embed the syntax deeply, by using inductive definitions in a proof assistant. However, in this case the handling of definitional equalities becomes technically challenging. Alternatively, we can reuse conversion checking in the metatheory by shallowly embedding the object theory. In this paper, we consider the standard model of a type theoretic object theory in Agda. This model has the property that all of its equalities hold definitionally, and we can use it as a shallow embedding by building expressions from the components of this model. However, if we are to reason soundly about the syntax with this setup, we must ensure that distinguishable syntactic constructs do not become provably equal when shallowly embedded. First, we prove that shallow embedding is injective up to definitional equality, by modelling the embedding as a syntactic translation targeting the metatheory. Second, we use an implementation hiding trick to disallow illegal propositional equality proofs and constructions which do not come from the syntax. We showcase our technique with very short formalisations of canonicity and parametricity for Martin-L\"of type theory. Our technique only requires features which are available in all major proof assistants based on dependent type theory.


title: Geometric Resonance of Four-Flux Composite Fermions

abstract: Two-dimensional interacting electrons exposed to strong perpendicular magnetic fields generate emergent, exotic quasiparticles phenomenologically distinct from electrons. Specifically, electrons bind with an even number of flux quanta, and transform into composite fermions (CFs). Besides providing an intuitive explanation for the fractional quantum Hall states, CFs also possess Fermi-liquid-like properties, including a well-defined Fermi sea, at and near even-denominator Landau level filling factors such as $\nu=1/2$ or $1/4$. Here, we directly probe the Fermi sea of the rarely studied four-flux CFs near $\nu=1/4$ via geometric resonance experiments. The data reveal some unique characteristics. Unlike in the case of two-flux CFs, the magnetic field positions of the geometric resonance resistance minima for $\nu<1/4$ and $\nu>1/4$ are symmetric with respect to the position of $\nu=1/4$. However, when an in-plane magnetic field is applied, the minima positions become asymmetric, implying a mysterious asymmetry in the CF Fermi sea anisotropy for $\nu<1/4$ and $\nu>1/4$. This asymmetry, which is in stark contrast to the two-flux CFs, suggests that the four-flux CFs on the two sides of $\nu=1/4$ have very different effective masses, possibly because of the proximity of the Wigner crystal formation at small $\nu$.


title: Conversational Help for Task Completion and Feature Discovery in Personal Assistants

abstract: Intelligent Personal Assistants (IPAs) have become widely popular in recent times. Most of the commercial IPAs today support a wide range of skills including Alarms, Reminders, Weather Updates, Music, News, Factual Questioning-Answering, etc. The list grows every day, making it difficult to remember the command structures needed to execute various tasks. An IPA must have the ability to communicate information about supported skills and direct users towards the right commands needed to execute them. Users interact with personal assistants in natural language. A query is defined to be a Help Query if it seeks information about a personal assistant's capabilities, or asks for instructions to execute a task. In this paper, we propose an interactive system which identifies help queries and retrieves appropriate responses. Our system comprises of a C-BiLSTM based classifier, which is a fusion of Convolutional Neural Networks (CNN) and Bidirectional LSTM (BiLSTM) architectures, to detect help queries and a semantic Approximate Nearest Neighbours (ANN) module to map the query to an appropriate predefined response. Evaluation of our system on real-world queries from a commercial IPA and a detailed comparison with popular traditional machine learning and deep learning based models reveal that our system outperforms other approaches and returns relevant responses for help queries.


title: Optimal Energy Allocation and Task Offloading Policy for Wireless Powered Mobile Edge Computing Systems

abstract: This paper studies a wireless powered mobile edge computing (MEC) system with fluctuating channels and dynamic task arrivals over time. We jointly optimize the transmission energy allocation at the energy transmitter (ET) for WPT and the task allocation at the user for local computing and offloading over a particular finite horizon, with the objective of minimizing the total transmission energy consumption at the ET while ensuring the user's successful task execution. First, in order to characterize the fundamental performance limit, we consider the offline optimization by assuming that the perfect knowledge of channel state information and task state information (i.e., task arrival timing and amounts) is known a-priori. In this case, we obtain the well-structured optimal solution in a closed form to the energy minimization problem via convex optimization techniques. Next, inspired by the structured offline solutions obtained above, we develop heuristic online designs for the joint energy and task allocation when the knowledge of CSI/TSI is only causally known. Finally, numerical results are provided to show that the proposed joint designs achieve significantly smaller energy consumption than benchmark schemes with only local computing or full offloading at the user, and the proposed heuristic online designs perform close to the optimal offline solutions.


title: Indefinite Stein fillings and Pin(2)-monopole Floer homology

abstract: Given a spin$^c$ rational homology sphere $(Y,\mathfrak{s})$ with $\mathfrak{s}$ self-conjugate and for which the reduced monopole Floer homology $\mathit{HM}_{\bullet}(Y,\mathfrak{s})$ has rank one, we provide obstructions to the intersection forms of its Stein fillings which are not negative definite. The proof of this result (and of its natural generalizations we discuss) uses $\mathrm{Pin}(2)$-monopole Floer homology.


title: The Transient program of the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) is the next generation high-energy gamma-ray observatory. It will improve the sensitivity of current instruments up to an order of magnitude, while providing energy coverage for photons from 20 GeV to at least 300 TeV to reach high redshifts and extreme accelerators and will give access to the shortest time-scale phenomena. CTA is thus a uniquely powerful instrument for the exploration of the violent and variable universe. The ability to probe short timescales at the highest energies will allow CTA to explore the connection between accretion and ejection phenomena surrounding compact objects, investigate the processes occurring in relativistic outflows, and open up significant phase space for serendipitous discoveries. Aiming at playing a central role in the era of multi-messenger astrophysics, the CTA Transient program includes follow-up observations of a broad range of multi-wavelength and multi-messenger alerts, ranging from Galactic compact object binary systems to novel phenomena like Fast Radio Bursts. A promising case is that of gamma-ray bursts (GRBs), where CTA will for the first time enable high-statistics measurements above $\sim$ 10 GeV, probing new spectral components and shedding light on the physical processes at work in these systems. Dedicated programs searching for very-high-energy (VHE) gamma-ray counterparts to gravitational waves and high-energy neutrinos complete the CTA transients program. This contribution will introduce and outline the CTA Transients program. We will provide an overview of the various science topics and discuss the links to multi-messenger and multi-wavelength observations.


title: Machine Learning based Simulation Optimisation for Trailer Management

abstract: In many situations, simulation models are developed to handle complex real-world business optimisation problems. For example, a discrete-event simulation model is used to simulate the trailer management process in a big Fast-Moving Consumer Goods company. To address the problem of finding suitable inputs to this simulator for optimising fleet configuration, we propose a simulation optimisation approach in this paper. The simulation optimisation model combines a metaheuristic search (genetic algorithm), with an approximation model filter (feed-forward neural network) to optimise the parameter configuration of the simulation model. We introduce an ensure probability that overrules the rejection of potential solutions by the approximation model and we demonstrate its effectiveness. In addition, we evaluate the impact of the parameters of the optimisation model on its effectiveness and show the parameters such as population size, filter threshold, and mutation probability can have a significant impact on the overall optimisation performance. Moreover, we compare the proposed method with a single global approximation model approach and a random-based approach. The results show the effectiveness of our method in terms of computation time and solution quality.


title: New physics in light of the $H_0$ tension: an alternative view

abstract: The strong discrepancy between local and inverse distance ladder estimates of the Hubble constant $H_0$ could be pointing towards new physics beyond $\Lambda$CDM. Several attempts to address this tension through new physics rely on extended models, featuring extra free parameters beyond the 6 $\Lambda$CDM parameters. However, marginalizing over extra parameters has the effect of broadening the uncertainties on the inferred parameters, and it is often the case that within these models the $H_0$ tension is addressed due to larger uncertainties rather than a genuine shift in the central value of $H_0$. What happens if a physical theory is able to fix the extra parameters to a specific set of non-standard values? The degrees of freedom of the model are reduced with respect to the standard case where the extra parameters are free to vary. Focusing on the dark energy equation of state $w$ and the effective number of relativistic species $N_{\rm eff}$, I find that physical theories able to fix $w \approx -1.3$ or $N_{\rm eff} \approx 3.95$ would lead to an estimate of $H_0$ from CMB, BAO, and SNeIa data in perfect agreement with the local distance ladder estimate, without broadening its uncertainty. These two non-standard models are, from a model-selection perspective, strongly disfavoured with respect to $\Lambda$CDM. However, models that predict $N_{\rm eff} \approx 3.45$ would be able to bring the tension down to $1.5\sigma$ while only being weakly disfavored with respect to $\Lambda$CDM, whereas models that predict $w \approx -1.1$ would be able to bring the tension down to $2\sigma$ (at the cost of the preference for $\Lambda$CDM being definite). Finally, I estimate dimensionless multipliers relating variations in $H_0$ to variations in $w$ and $N_{\rm eff}$, which can be used to repeat the analysis of this paper in light of future more precise local distance ladder estimates of $H_0$.


title: FOSNet: An End-to-End Trainable Deep Neural Network for Scene Recognition

abstract: Scene recognition is an image recognition problem aimed at predicting the category of the place at which the image is taken. In this paper, a new scene recognition method using the convolutional neural network (CNN) is proposed. The proposed method is based on the fusion of the object and the scene information in the given image and the CNN framework is named as FOS (fusion of object and scene) Net. In addition, a new loss named scene coherence loss (SCL) is developed to train the FOSNet and to improve the scene recognition performance. The proposed SCL is based on the unique traits of the scene that the 'sceneness' spreads and the scene class does not change all over the image. The proposed FOSNet was experimented with three most popular scene recognition datasets, and their state-of-the-art performance is obtained in two sets: 60.14% on Places 2 and 90.37% on MIT indoor 67. The second highest performance of 77.28% is obtained on SUN 397.


title: A restricted weak type inequality with application to a Tp theorem and optimal cancellation conditions for CZO's

abstract: This paper continues the investigation begun in arXiv:1906.05602 of extending the T1 theorem of David and Journ\'e, and optimal cancellation conditions, to more general weight pairs. The main additional tool developed here is a two weight restricted weak type inequality. Assuming {\sigma} and {\omega} are locally finite positive Borel measures, with one of them an A infinity weight, we show that the two weight restricted weak type inequality for an {\alpha}-fractional Calder\'on-Zygmund singular integral T holds if and (provided T is elliptic) only if the classical fractional Muckenhoupt condition holds. In the case {\alpha} = 0, boundedness of T on unweighted L2 is assumed as well. Applications are then given to a Tp theorem for CZO's with doubling weights when one is A infinity, and then to optimal cancellation conditions for CZO's in terms of polynomial testing in similar situations.


title: Automatic sequences defined by Theta functions and some infinite products

abstract: Let $p(x) \in C(x)$ be a rational function satisfying the condition $p(0)=1$ and $q$ an integer larger than $1$, in this article we will consider the power expansion of the infinite product $$f(x)=\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=0}^{\infty}c_ix^i,$$ and study when the sequence $(c_i)_{i \in \mathbf{N}}$ is $q$-automatic. The main result is that for given integers $q \geq 2$ and $d \geq 0$, there exist finitely many polynomials of degree $d$ defined over the field of rational numbers $\mathbf{Q}$, such that $\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=1}^{\infty}c_ix^i$ is a $q$-automatic power series.


title: AquaSight: Automatic Water Impurity Detection Utilizing Convolutional Neural Networks

abstract: According to the United Nations World Water Assessment Programme, every day, 2 million tons of sewage and industrial and agricultural waste are discharged into the worlds water. In order to address this pervasive issue of increasing water pollution, while ensuring that the global population has an efficient, accurate, and low cost method to assess whether the water they drink is contaminated, we propose AquaSight, a novel mobile application that utilizes deep learning methods, specifically Convolutional Neural Networks, for automated water impurity detection. After comprehensive training with a dataset of 105 images representing varying magnitudes of contamination, the deep learning algorithm achieved a 96 percent accuracy and loss of 0.108. Furthermore, the machine learning model uses efficient analysis of the turbidity and transparency levels of water to estimate a particular sample of waters level of contamination. When deployed, the AquaSight system will provide an efficient way for individuals to secure an estimation of water quality, alerting local and national government to take action and potentially saving millions of lives worldwide.


title: Improved Algorithms for Time Decay Streams

abstract: In the time-decay model for data streams, elements of an underlying data set arrive sequentially with the recently arrived elements being more important. A common approach for handling large data sets is to maintain a \emph{coreset}, a succinct summary of the processed data that allows approximate recovery of a predetermined query. We provide a general framework that takes any offline-coreset and gives a time-decay coreset for polynomial time decay functions. We also consider the exponential time decay model for $k$-median clustering, where we provide a constant factor approximation algorithm that utilizes the online facility location algorithm. Our algorithm stores $\mathcal{O}(k\log(h\Delta)+h)$ points where $h$ is the half-life of the decay function and $\Delta$ is the aspect ratio of the dataset. Our techniques extend to $k$-means clustering and $M$-estimators as well.


title: Assessment of the probability of microbial contamination for sample return from Martian moons I: Departure of microbes from Martian surface

abstract: Potential microbial contamination of Martian moons, Phobos and Deimos, which can be brought about by transportation of Mars ejecta produced by meteoroid impacts on the Martian surface, has been comprehensively assessed in a statistical approach, based on the most probable history of recent major gigantic meteoroid collisions on the Martian surface. This article is the first part of our study to assess potential microbial density in Mars ejecta departing from the Martian atmosphere, as a source of the second part where statistical analysis of microbial contamination probability is conducted. Potential microbial density on the Martian surface as the source of microorganisms was estimated by analogy to the terrestrial areas having the similar arid and cold environments, from which a probabilistic function was deduced as the asymptotic limit. Microbial survival rate during hypervelocity meteoroid collisions was estimated by numerical analysis of impact phenomena with and without taking internal friction and plastic deformation of the colliding meteoroid and the target ground into consideration. Trajectory calculations of departing ejecta through the Martian atmosphere were conducted with taking account of aerodynamic deceleration and heating by the aid of computational fluid dynamic analysis. It is found that Mars ejecta smaller than 0.03 m in diameter hardly reach the Phobos orbit due to aerodynamic deceleration, or mostly sterilized due to significant aerodynamic heating even though they can reach the Phobos orbit and beyond. Finally, the baseline dataset of microbial density in Mars ejecta departing for Martian moons has been presented for the second part of our study.


title: Assessment of the probability of microbial contamination for sample return from Martian moons II: The fate of microbes on Martian moons

abstract: This paper presents a case study of microbe transportation in the Mars-satellites system. We examined the spatial distribution of potential impact-transported microbes on the Martian moons using impact physics by following a companion study (Fujita et al.). We used sterilization data from the precede studies. We considered that the microbes came mainly from the Zunil crater on Mars. We found that 70-80% of the microbes are likely to be dispersed all over the moon surface and are rapidly sterilized due to radiation except for those microbes within a thick ejecta deposit produced by meteoroids. The other 20-30% might be shielded from radiation by thick regolith layers that formed at collapsed layers in craters produced by Mars rock impacts. The total number of potentially surviving microbes at the thick ejecta deposits is estimated to be 3-4 orders of magnitude lower than at the Mars rock craters. The microbe concentration is irregular in the horizontal direction and is largely depth-dependent due to the radiation sterilization. The surviving fraction of transported microbes would be only 1 ppm on Phobos and 100 ppm on Deimos, suggesting that the transport processes and radiation severely affect microbe survival. The microbe sampling probability from the Martian moons was also investigated. We suggest that sample return missions from the Martian moons are classified into Unrestricted Earth-Return missions for 30 g samples and 10 cm depth sampling, even in our conservative scenario. We also conducted a full statistical analysis for sampling the regolith of Phobos to include the effects of uncertainties in input parameters on the sampling probability. The most likely probability of microbial contamination for return samples is estimated to be two orders of magnitude lower than the criterion defined by the planetary protection policy of the Committee on Space Research (COSPAR).


title: QCD effective charges and the structure function $F_{2}$ at small-$x$: Higher twist effects

abstract: We consider the effect of higher twist operators of the Wilson operator product expansion in the structure function $F_{2}(x,Q^{2})$ at small-$x$, taking into account QCD effective charges whose infrared behavior is constrained by a dynamical mass scale. The higher twist corrections are obtained from the renormalon formalism. Our analysis is performed within the conventional framework of next-to-leading order, with the factorization and renormalization scales chosen to be $Q^{2}$. The infrared properties of QCD are treated in the context of the generalized double-asymptotic-scaling approximation. We show that the corrections to $F_{2}$ associated with twist-four and twist-six are both necessary and sufficient for a good description of the deep infrared experimental data.


title: Properties of the geometry of solutions and capacity of multi-layer neural networks with Rectified Linear Units activations

abstract: Rectified Linear Units (ReLU) have become the main model for the neural units in current deep learning systems. This choice has been originally suggested as a way to compensate for the so called vanishing gradient problem which can undercut stochastic gradient descent (SGD) learning in networks composed of multiple layers. Here we provide analytical results on the effects of ReLUs on the capacity and on the geometrical landscape of the solution space in two-layer neural networks with either binary or real-valued weights. We study the problem of storing an extensive number of random patterns and find that, quite unexpectedly, the capacity of the network remains finite as the number of neurons in the hidden layer increases, at odds with the case of threshold units in which the capacity diverges. Possibly more important, a large deviation approach allows us to find that the geometrical landscape of the solution space has a peculiar structure: while the majority of solutions are close in distance but still isolated, there exist rare regions of solutions which are much more dense than the similar ones in the case of threshold units. These solutions are robust to perturbations of the weights and can tolerate large perturbations of the inputs. The analytical results are corroborated by numerical findings.


title: Berry phase manipulation in ultrathin SrRuO$_3$ films

abstract: A notion of the Berry phase is a powerful means to unravel the non-trivial role of topology in various novel phenomena observed in chiral magnetic materials and structures. A celebrated example is the intrinsic anomalous Hall effect (AHE) driven by the non-vanishing Berry phase in the momentum space. As the AHE is highly dependent on details of the band structure near the Fermi edge, the Berry phase and AHE can be altered in thin films whose chemical potential is tunable by dimensionality and disorder. Here, we demonstrate that in ultrathin SrRuO$_3$ films the Berry phase can be effectively manipulated by the effects of disorder on the intrinsic Berry phase contribution to the AHE, which is corroborated by our numerically exact calculations. In addition, our findings provide ample experimental evidence for the superficial nature of the topological Hall effect attribution to the protected spin texture and instead lend strong support to the multi-channel AHE scenario in ultrathin SrRuO$_3$.


title: Feature-driven Improvement of Renewable Energy Forecasting and Trading

abstract: Inspired from recent insights into the common ground of machine learning, optimization and decision-making, this paper proposes an easy-to-implement, but effective procedure to enhance both the quality of renewable energy forecasts and the competitive edge of renewable energy producers in electricity markets with a dual-price settlement of imbalances. The quality and economic gains brought by the proposed procedure essentially stem from the utilization of valuable predictors (also known as features) in a data-driven newsvendor model that renders a computationally inexpensive linear program. We illustrate the proposed procedure and numerically assess its benefits on a realistic case study that considers the aggregate wind power production in the Danish DK1 bidding zone as the variable to be predicted and traded. Within this context, our procedure leverages, among others, spatial information in the form of wind power forecasts issued by transmission system operators (TSO) in surrounding bidding zones and publicly available in online platforms. We show that our method is able to improve the quality of the wind power forecast issued by the Danish TSO by several percentage points (when measured in terms of the mean absolute or the root mean square error) and to significantly reduce the balancing costs incurred by the wind power producer.


title: News Cover Assessment via Multi-task Learning

abstract: Online personalized news product needs a suitable cover for the article. The news cover demands to be with high image quality, and draw readers' attention at same time, which is extraordinary challenging due to the subjectivity of the task. In this paper, we assess the news cover from image clarity and object salience perspective. We propose an end-to-end multi-task learning network for image clarity assessment and semantic segmentation simultaneously, the results of which can be guided for news cover assessment. The proposed network is based on a modified DeepLabv3+ model. The network backbone is used for multiple scale spatial features exaction, followed by two branches for image clarity assessment and semantic segmentation, respectively. The experiment results show that the proposed model is able to capture important content in images and performs better than single-task learning baselines on our proposed game content based CIA dataset.


title: Testing for Unobserved Heterogeneity via k-means Clustering

abstract: Clustering methods such as k-means have found widespread use in a variety of applications. This paper proposes a formal testing procedure to determine whether a null hypothesis of a single cluster, indicating homogeneity of the data, can be rejected in favor of multiple clusters. The test is simple to implement, valid under relatively mild conditions (including non-normality, and heterogeneity of the data in aspects beyond those in the clustering analysis), and applicable in a range of contexts (including clustering when the time series dimension is small, or clustering on parameters other than the mean). We verify that the test has good size control in finite samples, and we illustrate the test in applications to clustering vehicle manufacturers and U.S. mutual funds.


title: The $XYZ$ states: experimental and theoretical status and perspectives

abstract: The quark model was formulated in 1964 to classify mesons as bound states made of a quark-antiquark pair, and baryons as bound states made of three quarks. For a long time all known mesons and baryons could be classified within this scheme. Quantum Chromodynamics (QCD), however, in principle also allows the existence of more complex structures, generically called exotic hadrons or simply exotics. These include four-quark hadrons (tetraquarks and hadronic molecules), five-quark hadrons (pentaquarks) and states with active gluonic degrees of freedom (hybrids), and even states of pure glue (glueballs). Exotic hadrons have been systematically searched for in numerous experiments for many years. Remarkably, in the past fifteen years, many new hadrons that do not exhibit the expected properties of ordinary (not exotic) hadrons have been discovered in the quarkonium spectrum. These hadrons are collectively known as $XYZ$ states. Some of them, like the charged states, are undoubtedly exotic. Parallel to the experimental progress, the last decades have also witnessed an enormous theoretical effort to reach a theoretical understanding of the $XYZ$ states. Theoretical approaches include not only phenomenological extensions of the quark model to exotics, but also modern non-relativistic effective field theories and lattice QCD calculations. The present work aims at reviewing the rapid progress in the field of exotic $XYZ$ hadrons over the past few years both in experiments and theory. It concludes with a summary on future prospects and challenges.


title: Constraining the initial planetary population in the gravitational instability model

abstract: Direct imaging (DI) surveys suggest that gas giants beyond 20 AU are rare around FGK stars. However, it is not clear what this means for the formation frequency of Gravitational Instability (GI) protoplanets due to uncertainties in gap opening and migration efficiency. Here we combine state-of-the-art calculations of homogeneous planet contraction with a population synthesis code. We find DI constraints to be satisfied if protoplanet formation by GI occurs in tens of percent of systems if protoplanets `super migrate' to small separations. In contrast, GI may occur in only a few percent of systems if protoplanets remain stranded at wide orbits because their migration is `quenched' by efficient gap opening. We then use the frequency of massive giants in radial velocity surveys inside 5 AU to break this degeneracy - observations recently showed that this population does not correlate with the host star metallicity and is therefore suspected to have formed via GI followed by inward migration. We find that only the super-migration scenario can sufficiently explain this population whilst simultaneously satisfying the DI constraints and producing the right mass spectrum of planets inside 5 AU. If massive gas-giants inside 5 AU formed via GI, then our models imply that migration must be efficient and that the formation of GI protoplanets occurs in at least a tens of percent of systems.


title: Deep Metric Learning with Alternating Projections onto Feasible Sets

abstract: During the training of networks for distance metric learning, minimizers of the typical loss functions can be considered as "feasible points" satisfying a set of constraints imposed by the training data. To this end, we reformulate distance metric learning problem as finding a feasible point of a constraint set where the embedding vectors of the training data satisfy desired intra-class and inter-class proximity. The feasible set induced by the constraint set is expressed as the intersection of the relaxed feasible sets which enforce the proximity constraints only for particular samples (a sample from each class) of the training data. Then, the feasible point problem is to be approximately solved by performing alternating projections onto those feasible sets. Such an approach introduces a regularization term and results in minimizing a typical loss function with a systematic batch set construction where these batches are constrained to contain the same sample from each class for a certain number of iterations. Moreover, these particular samples can be considered as the class representatives, allowing efficient utilization of hard class mining during batch construction. The proposed technique is applied with the well-accepted losses and evaluated on Stanford Online Products, CAR196 and CUB200-2011 datasets for image retrieval and clustering. Outperforming state-of-the-art, the proposed approach consistently improves the performance of the integrated loss functions with no additional computational cost and boosts the performance further by hard negative class mining.


title: Friedmann-like universes with weak torsion: a dynamical system approach

abstract: We consider Friedmann-like universes with torsion and take a step towards studying their stability. In so doing, we apply dynamical-system techniques to an autonomous system of differential equations, which monitors the evolution of these models via the associated density parameters. Assuming relatively weak torsion, we identify the system's equilibrium points. These are found to represent homogeneous and isotropic spacetimes with nonzero torsion that undergo accelerated expansion. We then examine the linear stability of the aforementioned fixed points. Our results indicate that Friedmann-like cosmologies with weak torsion are generally stable attractors, either asymptotically or in the Lyapunov sense. In addition, depending on the equation of state of the matter, the equilibrium states can also act as intermediate saddle points, marking a transition from a torsional to a torsion-free universe.


title: A Differentiable Programming System to Bridge Machine Learning and Scientific Computing

abstract: Scientific computing is increasingly incorporating the advancements in machine learning and the ability to work with large amounts of data. At the same time, machine learning models are becoming increasingly sophisticated and exhibit many features often seen in scientific computing, stressing the capabilities of machine learning frameworks. Just as the disciplines of scientific computing and machine learning have shared common underlying infrastructure in the form of numerical linear algebra, we now have the opportunity to further share new computational infrastructure, and thus ideas, in the form of Differentiable Programming. We describe Zygote, a Differentiable Programming system that is able to take gradients of general program structures. We implement this system in the Julia programming language. Our system supports almost all language constructs (control flow, recursion, mutation, etc.) and compiles high-performance code without requiring any user intervention or refactoring to stage computations. This enables an expressive programming model for deep learning, but more importantly, it enables us to incorporate a large ecosystem of libraries in our models in a straightforward way. We discuss our approach to automatic differentiation, including its support for advanced techniques such as mixed-mode, complex and checkpointed differentiation, and present several examples of differentiating programs.


title: Fractional Immigration-Death Processes

abstract: In this paper we study explicit strong solutions for two difference-differential fractional equations, defined via the generator of an immigration-death process, by using spectral methods. Moreover, we give a stochastic representation of the solutions of such difference-differential equations by means of a stable time-changed immigration-death process and we use this stochastic representation to show boundedness and then uniqueness of these strong solutions. Finally, we study the limit distribution of the time-changed process.


title: Bibasic sequences in Banach lattices

abstract: Given a Schauder basic sequence $(x_k)$ in a Banach lattice, we say that $(x_k)$ is bibasic if the expansion of every vector in $[x_k]$ converges not only in norm, but also in order. We prove that, in this definition, order convergence may be replaced with uniform convergence, with order boundedness of the partial sums, or with norm boundedness of finite suprema of the partial sums. The results in this paper extend and unify those from the pioneering paper "Order Schauder bases in Banach lattices" by A.Gumenchuk et al. In particular, we are able to characterize bibasic sequences in terms of the bibasis inequality, a result they obtained under certain additional assumptions. We then embark on a deeper study of their properties. We show that they are independent of ambient space, stable under small perturbations, and preserved under sequentially uniformly continuous norm isomorphic embeddings. We consider several special kinds of bibasic sequences, including permutable sequences, i.e., sequences for which every permutation is bibasic, and absolute sequences, i.e., sequences where expansions remain convergent after we replace every term with its modulus. We provide several equivalent characterizations of absolute sequences, showing how they relate to bibases and to further modifications of the basis inequality. We further consider bibasic sequences with unique order expansions. We show that this property does generally depend on ambient space, but not for the inclusion of $c_0$ into $\ell_\infty$. We also show that small perturbations of bibases with unique order expansions have unique order expansions, but this is not true if "bibases" is replaced with "bibasic sequences". Finally, we consider uo-bibasic sequences, which are obtained by replacing order convergence with uo-convergence in the definition of a bibasic sequence. We show that such sequences are very common.


title: Mitigating Uncertainty in Document Classification

abstract: The uncertainty measurement of classifiers' predictions is especially important in applications such as medical diagnoses that need to ensure limited human resources can focus on the most uncertain predictions returned by machine learning models. However, few existing uncertainty models attempt to improve overall prediction accuracy where human resources are involved in the text classification task. In this paper, we propose a novel neural-network-based model that applies a new dropout-entropy method for uncertainty measurement. We also design a metric learning method on feature representations, which can boost the performance of dropout-based uncertainty methods with smaller prediction variance in accurate prediction trials. Extensive experiments on real-world data sets demonstrate that our method can achieve a considerable improvement in overall prediction accuracy compared to existing approaches. In particular, our model improved the accuracy from 0.78 to 0.92 when 30\% of the most uncertain predictions were handed over to human experts in "20NewsGroup" data.


title: Defining Functions on Equivalence Classes

abstract: A quotient construction defines an abstract type from a concrete type, using an equivalence relation to identify elements of the concrete type that are to be regarded as indistinguishable. The elements of a quotient type are \emph{equivalence classes}: sets of equivalent concrete values. Simple techniques are presented for defining and reasoning about quotient constructions, based on a general lemma library concerning functions that operate on equivalence classes. The techniques are applied to a definition of the integers from the natural numbers, and then to the definition of a recursive datatype satisfying equational constraints.


title: Assessing Treatment Effect Variation in Observational Studies: Results from a Data Challenge

abstract: A growing number of methods aim to assess the challenging question of treatment effect variation in observational studies. This special section of "Observational Studies" reports the results of a workshop conducted at the 2018 Atlantic Causal Inference Conference designed to understand the similarities and differences across these methods. We invited eight groups of researchers to analyze a synthetic observational data set that was generated using a recent large-scale randomized trial in education. Overall, participants employed a diverse set of methods, ranging from matching and flexible outcome modeling to semiparametric estimation and ensemble approaches. While there was broad consensus on the topline estimate, there were also large differences in estimated treatment effect moderation. This highlights the fact that estimating varying treatment effects in observational studies is often more challenging than estimating the average treatment effect alone. We suggest several directions for future work arising from this workshop.