title: Complex molecular gas kinematics in the inner 5 kpc of 4C12.50 as seen by ALMA

abstract: The nearby system 4C12.50, also known as IRAS 13451+1217 and PKS 1345+12, is a merger of gas-rich galaxies with infrared and radio activity. It has a perturbed interstellar medium (ISM) and a dense configuration of gas and dust around the nucleus. The radio emission at small ($\sim$100 pc) and large ($\sim$100 kpc) scales, as well as the large X-ray cavity in which the system is embedded, are indicative of a jet that could have affected the ISM. We carried out observations of the CO(1-0), (3-2), and (4-3) lines with the Atacama Large Millimeter Array (ALMA) to determine basic properties (i.e., extent, mass, and excitation) of the cold molecular gas in this system, including its already-known wind. The CO emission reveals the presence of gaseous streams related to the merger, which result in a small ($\sim$4kpc-wide) disk around the western nucleus. The disk reaches a rotational velocity of 200 $kms^{-1}$ , and has a mass of 3.8($\pm$0.4)$\times$10${^9}M_{\odot}$. It is truncated at a gaseous ridge north of the nucleus that is bright in [O III]. Regions with high-velocity CO emission are seen at signal-to-noise ratios of between 3 and 5 along filaments that radially extend from the nucleus to the ridge and that are bright in [O III] and stellar emission. A tentative wind detection is also reported in the nucleus and in the disk. The molecular gas speed could be as high as 2200 $kms^{-1}$ and the total wind mass could be as high as 1.5($\pm$0.1)$\times$10$^9M_{\odot}$. Energetically, it is possible that the jet, assisted by the radiation pressure of the active nucleus or the stars, accelerated clouds inside an expanding bubble.


title: Model comparison from LIGO-Virgo data on GW170817's binary components and consequences for the merger remnant

abstract: GW170817 is the very first observation of gravitational waves originating from the coalescence of two compact objects in the mass range of neutron stars, accompanied by electromagnetic counterparts, and offers an opportunity to directly probe the internal structure of neutron stars. We perform Bayesian model selection on a wide range of theoretical predictions for the neutron star equation of state. For the binary neutron star hypothesis, we find that we cannot rule out the majority of theoretical models considered. In addition, the gravitational-wave data alone does not rule out the possibility that one or both objects were low-mass black holes. We discuss the possible outcomes in the case of a binary neutron star merger, finding that all scenarios from prompt collapse to long-lived or even stable remnants are possible. For long-lived remnants, we place an upper limit of 1.9 kHz on the rotation rate. If a black hole was formed any time after merger and the coalescing stars were slowly rotating, then the maximum baryonic mass of non-rotating neutron stars is at most 3.05 $M_\odot$, and three equations of state considered here can be ruled out. We obtain a tighter limit of 2.67 $M_\odot$ for the case that the merger results in a hypermassive neutron star.


title: Free Fermions with a Localized Source

abstract: We study an open quantum system of free fermions on an infinite lattice coupled to a localized particle source. In the long time limit, the total number of fermions in the system increases linearly with growth rate dependent on the lattice geometry and dimensionality. We express the growth rate in terms of lattice Green functions and derive explicit formulae in one dimension and for the square lattice. The interplay between the dynamics and the coupling to the environment leads, in contrast to classical systems, to a non-monotonic dependence of the particle growth rate on the input rate. We show that for all lattices the particle growth rate is inversely proportional to the input rate when the latter becomes large. This is a manifestation of the quantum Zeno effect.


title: A Survey on Compressive Sensing: Classical Results and Recent Advancements

abstract: Recovering sparse signals from linear measurements has demonstrated outstanding utility in a vast variety of real-world applications. Compressive sensing is the topic that studies the associated raised questions for the possibility of a successful recovery. This topic is well-nourished and numerous results are available in the literature. However, their dispersity makes it challenging and time-consuming for readers and practitioners to quickly grasp its main ideas and classical algorithms, and further touch upon the recent advancements in this surging field. Besides, the sparsity notion has already demonstrated its effectiveness in many contemporary fields. Thus, these results are useful and inspiring for further investigation of related questions in these emerging fields from new perspectives. In this survey, we gather and overview vital classical tools and algorithms in compressive sensing and describe significant recent advancements. We conclude this survey by a numerical comparison of the performance of described approaches on an interesting application.


title: Are there broad absorption-line blazars?

abstract: We report the first systematic search for blazars among broad-absorption-line (BAL) quasars. This is based on our intranight optical monitoring of a well-defined sample of 10 candidates selected on the criteria of a flat spectrum and an abnormally high linear polarization at radio wavelengths. A small population of BAL blazars can be expected in the 'polar model' of BAL quasars. However, no such case is found, since none of our 30 monitoring sessions devoted to the 10 candidates yielded a positive detection of intra-night optical variability (INOV), which is uncharacteristic of blazars. This lack of INOV detection contrasts with the high duty cycle of INOV observed for a comparison sample of 15 'normal' (i.e., non-BAL) blazars. Some possible implications of this are pointed out.


title: Talbot Effect of orbital angular momentum lattices with single photons

abstract: The self-imaging, or Talbot Effect, that occurs with the propagation of periodically structured waves has enabled several unique applications in optical metrology, image processing, data transmission, and matter-wave interferometry. In this work, we report on the first demonstration of a Talbot Effect with single photons prepared in a lattice of orbital angular momentum (OAM) states. We observe that upon propagation, the wavefronts of the single photons manifest self-imaging whereby the OAM lattice intensity profile is recovered. Furthermore, we show that the intensity at fractional Talbot distances is indicative of a periodic helical phase structure corresponding to a lattice of OAM states. This phenomenon is a powerful addition to the toolbox of orbital angular momentum and spin-orbit techniques that have already enabled many recent developments in quantum optics.


title: Staircase patterns in words: subsequences, subwords, and separation number

abstract: We revisit staircases for words and prove several exact as well as asymptotic results for longest left-most staircase subsequences and subwords and staircase separation number, the latter being defined as the number of consecutive maximal staircase subwords packed in a word. We study asymptotic properties of the sequence $h_{r,k}(n),$ the number of $n$-array words with $r$ separations over alphabet $[k]$ and show that for any $r\geq 0,$ the growth sequence $\big(h_{r,k}(n)\big)^{1/n}$ converges to a characterized limit, independent of $r.$ In addition, we study the asymptotic behavior of the random variable $\mathcal{S}_k(n),$ the number of staircase separations in a random word in $[k]^n$ and obtain several limit theorems for the distribution of $\mathcal{S}_k(n),$ including a law of large numbers, a central limit theorem, and the exact growth rate of the entropy of $\mathcal{S}_k(n).$ Finally, we obtain similar results, including growth limits, for longest $L$-staircase subwords and subsequences.


title: First Sub-pc Sale Mapping of Magnetic Fields in the Vicinity of a Very Low Luminosity Object, L1521F-IRS

abstract: L1521F is found to be forming multiple cores and it is cited as an example of the densest core with an embedded VeLLO in a highly dynamical environment. We present the core-scale magnetic fields (B-fields) in the near vicinity of the VeLLO L1521F-IRS using submm polarization measurements at 850$~\mu$m using JCMT POL-2. This is the first attempt to use high-sensitivity observations to map the sub-parsec scale B-fields in a core with a VeLLO. The B-fields are ordered and very well connected to the parsec-scale field geometry seen in our earlier optical polarization observations and the large-scale structure seen in Planck dust polarization. The core scale B-field strength estimated using Davis-Chandrasekhar-Fermi relation is $\rm 330\pm100~\mu$G which is more than ten times of the value we obtained in the envelope (envelope in this paper is "core envelope"). This indicates that B-fields are getting stronger on smaller scales. The magnetic energies are found to be 1 to 2 orders of magnitude higher than non-thermal kinetic energies in the envelope and core. This suggests that magnetic fields are more important than turbulence in the energy budget of L1521F. The mass-to-flux ratio of 2.3$\pm$0.7 suggests that the core is magnetically-supercritical. The degree of polarization is steadily decreasing towards the denser part of the core with a power law slope of -0.86.


title: The Magnetic Toroidal Sector as A broad-band Electron-Positron Pair Spectrometer I. Lepton Trajectories

abstract: We report an analysis of electron-optical properties of a toroidal magnetic sector spectrometer and examine parameters for its implementation in a relativistic heavy-ion storage ring like HESR. For studies of free-free pair production in heavy-ion atom collisions this spectrometer exhibits very high efficiencies for coincident $e^+e^-$ pair spectroscopy over a wide range of momenta of emitted lepton pairs. The high coincidence efficiency of the spectrometer is the key for stringent tests of theoretical predictions for the coincident positron- and electron- emission characteristics and for the phase space correlation of lepton vector momenta in free-free pair production.


title: Optimal Separation and Strong Direct Sum for Randomized Query Complexity

abstract: We establish two results regarding the query complexity of bounded-error randomized algorithms. * Bounded-error separation theorem. There exists a total function $f : \{0,1\}^n \to \{0,1\}$ whose $\epsilon$-error randomized query complexity satisfies $\overline{\mathrm{R}}_\epsilon(f) = \Omega( \mathrm{R}(f) \cdot \log\frac1\epsilon)$. * Strong direct sum theorem. For every function $f$ and every $k \ge 2$, the randomized query complexity of computing $k$ instances of $f$ simultaneously satisfies $\overline{\mathrm{R}}_\epsilon(f^k) = \Theta(k \cdot \overline{\mathrm{R}}_{\frac\epsilon k}(f))$. As a consequence of our two main results, we obtain an optimal superlinear direct-sum-type theorem for randomized query complexity: there exists a function $f$ for which $\mathrm{R}(f^k) = \Theta( k \log k \cdot \mathrm{R}(f))$. This answers an open question of Drucker (2012). Combining this result with the query-to-communication complexity lifting theorem of G\"o\"os, Pitassi, and Watson (2017), this also shows that there is a total function whose public-coin randomized communication complexity satisfies $\mathrm{R}^{\mathrm{cc}} (f^k) = \Theta( k \log k \cdot \mathrm{R}^{\mathrm{cc}}(f))$, answering a question of Feder, Kushilevitz, Naor, and Nisan (1995).


title: Polarization-resolved Raman spectroscopy of {\alpha}-RuCl3 and evidence of room temperature two-dimensional magnetic scattering

abstract: Polarization-resolved Raman spectroscopy was performed and analyzed from large, high quality, mono-domain single crystal of {\alpha}-RuCl3, a proximate Kitaev quantum spin liquid. Spectra were collected with laser polarizations parallel and perpendicular to the honeycomb plane. Pairs of nearly degenerate phonons were discovered and show either a 4-fold or 2-fold polarization angle dependence in their Raman intensity, thereby providing evidence to definitively assign the bulk crystal point group as C2h. The low frequency continuum that is often attributed to scattering from pairs of Majorana fermions was also examined and found to disappear when the laser excitation and scattered photon polarizations were perpendicular to the honeycomb plane. This disappearance, along with the behavior of the phonon spectrum in the same polarization configuration, strongly suggests that the scattering continuum is 2-dimensional. We argue that this scattering continuum originates from the Kitaev magnetic interactions that survives up to room temperature, a scale larger than the bare Kitaev exchange energy of approximately 50 K.


title: Health-Informed Policy Gradients for Multi-Agent Reinforcement Learning

abstract: This paper proposes a definition of system health in the context of multiple agents optimizing a joint reward function. We use this definition as a credit assignment term in a policy gradient algorithm to distinguish the contributions of individual agents to the global reward. The health-informed credit assignment is then extended to a multi-agent variant of the proximal policy optimization algorithm and demonstrated on particle and multiwalker robot environments that have characteristics such as system health, risk-taking, semi-expendable agents, continuous action spaces, and partial observability. We show significant improvement in learning performance compared to policy gradient methods that do not perform multi-agent credit assignment.


title: A Kernel Based High Order "Explicit" Unconditionally Stable Constrained Transport Method for Ideal Magnetohydrodynamics

abstract: The ideal Magnetohydrodynamics (MHD) equations are challenging because one needs to maintain the divergence free condition, $\nabla \cdot \Bv = 0$. Many numerical methods have been developed to enforce this condition. In this work, we further our work on mesh aligned constrained transport by developing a new kernel based approach for the vector potential in 2D and 3D. The approach for solving the vector potential is based on the method of lines transpose and is A-stable, eliminating the need for diffusion limiters needed in our previous work in 3D. The work presented here is an improvement over the previous method in the context of problems with strong shocks due to the fact that we could eliminate the diffusion limiter that was needed in our previous version of constrained transport. The method is robust and has been tested on the 2D and 3D cloud shock, blast wave and field loop problems.


title: What is the Point of Fairness? Disability, AI and The Complexity of Justice

abstract: Work integrating conversations around AI and Disability is vital and valued, particularly when done through a lens of fairness. Yet at the same time, analyzing the ethical implications of AI for disabled people solely through the lens of a singular idea of "fairness" risks reinforcing existing power dynamics, either through reinforcing the position of existing medical gatekeepers, or promoting tools and techniques that benefit otherwise-privileged disabled people while harming those who are rendered outliers in multiple ways. In this paper we present two case studies from within computer vision - a subdiscipline of AI focused on training algorithms that can "see" - of technologies putatively intended to help disabled people but, through failures to consider structural injustices in their design, are likely to result in harms not addressed by a "fairness" framing of ethics. Drawing on disability studies and critical data science, we call on researchers into AI ethics and disability to move beyond simplistic notions of fairness, and towards notions of justice.


title: Theoretical prediction of a highly responsive material: Spin fluctuations and superconductivity in FeNiB2 system

abstract: By analyzing Fe-Ni-B compositional diagram we predict an energetically and dynamically stable FeNiB2 compound. This system belongs to the class of highly responsive state of material, as it is very sensitive to the external perturbations. This state is also characterized by a high level of spin fluctuations which strongly influence possible magnetic long- and short-range orders. Furthermore, we demonstrate that these antiferromagnetically dominating fluctuations could lead to the appearance of spin mediated superconductivity. The obtained results suggest a promising avenue for the search of strong spin fluctuation systems and related superconductors.


title: Combinatorics of periodic ellipsoidal billiards

abstract: We study combinatorics of billiard partitions which arose recently in the description of periodic trajectories of ellipsoidal billiards in d-dimensional Euclidean and pseudo-Euclidean spaces. Such partitions uniquely codify the sets of caustics, up to their types, which generate periodic trajectories. The period of a periodic trajectory is the largest part while the winding numbers are the remaining summands of the corresponding partition. In order to take into account the types of caustics as well, we introduce weighted partitions. We provide closed forms for the generating functions of these partitions.


title: Boundary treatment of implicit-explicit Runge-Kutta method for hyperbolic systems with source terms

abstract: In this paper, we develop a high order finite difference boundary treatment method for the implicit-explicit (IMEX) Runge-Kutta (RK) schemes solving hyperbolic systems with possibly stiff source terms on a Cartesian mesh. The main challenge is how to obtain the solutions at ghost points resulting from the wide stencil of the interior high order scheme. We address this problem by combining the idea of using the RK schemes at the boundary and an inverse Lax-Wendroff procedure. The former preserves the accuracy of the RK schemes and the latter guarantees the stability. Our method is different from the widely used approach for the explicit RK schemes by imposing boundary conditions at intermediate stages, which could not be derived for the IMEX schemes. In addition, the intermediate boundary conditions are only available for explicit RK schemes up to third order while our method applies to arbitrary order IMEX and explicit RK schemes. Moreover, the present boundary treatment method may be adapted to IMEX RK schemes solving many other partial differential equations. For a specific third-order IMEX scheme, we demonstrate the good stability and third-order accuracy of our boundary treatment through both 1D examples and 2D reactive Euler equations.


title: Evaluating the use of e-assessment in a first-year pure mathematics module

abstract: This article presents the findings of a case study which introduced online quizzes as a form of assessment in pure mathematics. Rather than being designed as an assessment of learning, these quizzes were designed to be an assessment for learning; they aimed to academically support students in their transition from A-Level mathematics to university-level pure mathematics by providing an extrinsic motivation to engage them with their learning material early on and to emphasise the small details within proofs, such as defining notation, which are not necessarily emphasised by written homework assignments. The results obtained during the two-year study using online quizzes show e-assessment to be a powerful complementary tool to traditional written homework assignments.


title: An Efficient Evolutionary Algorithm for Minimum Cost Submodular Cover

abstract: In this paper, the Minimum Cost Submodular Cover problem is studied, which is to minimize a modular cost function such that the monotone submodular benefit function is above a threshold. For this problem, an evolutionary algorithm EASC is introduced that achieves a constant, bicriteria approximation in expected polynomial time; this is the first polynomial-time evolutionary approximation algorithm for Minimum Cost Submodular Cover. To achieve this running time, ideas motivated by submodularity and monotonicity are incorporated into the evolutionary process, which likely will extend to other submodular optimization problems. In a practical application, EASC is demonstrated to outperform the greedy algorithm and converge faster than competing evolutionary algorithms for this problem.


title: $L^p$ theory for the square roots and square functions of elliptic operators having a BMO anti-symmetric part

abstract: We consider the operator $L=-{\rm div}(A\nabla)$, where the $n\times n$ matrix $A$ is real-valued, elliptic, with the symmetric part of $A$ in $L^\infty(\mathbb{R}^n)$, and the anti-symmetric part of $A$ only belongs to the space $BMO(\mathbb{R}^n)$, $n\ge2$. We prove the Gaussian estimates for the kernel of $e^{-tL}$, as well as that of $\partial_t^le^{-tL}$, for any $l\in\mathbb{N}$. We show that the square root of $L$ satisfies the $L^p$ estimates $\left\Vert{L^{1/2}f}\right\Vert_{L^p}\lesssim\left\Vert{\nabla f}\right\Vert_{L^p}$ for $1<p<\infty$, and $\left\Vert{\nabla f}\right\Vert_{L^p}\lesssim\left\Vert{L^{1/2}f}\right\Vert_{L^p}$ for $1<p<2+\epsilon$ for some $\epsilon>0$ depending on the ellipticity constant and the BMO semi-norm of the coefficients. Finally, we prove the $L^p$ estimates for square functions associated to $e^{-tL}$. In another article of the authors, these results are used to establish the solvability of the Dirichlet problem for elliptic equation ${\rm div}(A(x)\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}_+^{n+1}$ with the boundary data in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$.


title: RuleKit: A Comprehensive Suite for Rule-Based Learning

abstract: Rule-based models are often used for data analysis as they combine interpretability with predictive power. We present RuleKit, a versatile tool for rule learning. Based on a sequential covering induction algorithm, it is suitable for classification, regression, and survival problems. The presence of a user-guided induction facilitates verifying hypotheses concerning data dependencies which are expected or of interest. The powerful and flexible experimental environment allows straightforward investigation of different induction schemes. The analysis can be performed in batch mode, through RapidMiner plug-in, or R package. A documented Java API is also provided for convenience. The software is publicly available at GitHub under GNU AGPL-3.0 license.


title: Realization of Ohmic-contact and velocity saturation in organic field-effect transistors by crystallized monolayer

abstract: The contact resistance limits the down-scaling and operating range of OFETs. With the monolayer (1L) organic crystals and non-destructive metal/semiconductor interfaces, intrinsic mobility of 12.5 cm2V-1s-1 and Ohmic contact resistance of 40 ohm-cm were achieved. The on/off ratio maintained at 10^3 even at a small VDS of -0.1 mV. High current density of 4.2 uA/um was achieved with the 1L-crystal as the active layer. At such high current density, the velocity saturation and channel self-heating effects are observed in OFETs for the first time. In addition to the low contact resistance and high-resolution lithography, we suggest the thermal management of the high mobility OFETs will be the next major challenge to achieve high-speed densely integrated flexible electronics.


title: A note on cohomology for multiplier Hopf algebras

abstract: In this note we discuss the possibility of constructing the cosimplicial complex for the multiplier Hopf algebras and extending the cyclicity operator to obtain the Hopf-cyclic cohomology for them. We show that the definition of modular pairs in involution for multiplier Hopf algebras and provide the definition of Hopf-cyclic cohomology for algebras of functions over discrete groups.


title: Efficient Truncated Statistics with Unknown Truncation

abstract: We study the problem of estimating the parameters of a Gaussian distribution when samples are only shown if they fall in some (unknown) subset $S \subseteq \R^d$. This core problem in truncated statistics has long history going back to Galton, Lee, Pearson and Fisher. Recent work by Daskalakis et al. (FOCS'18), provides the first efficient algorithm that works for arbitrary sets in high dimension when the set is known, but leaves as an open problem the more challenging and relevant case of unknown truncation set. Our main result is a computationally and sample efficient algorithm for estimating the parameters of the Gaussian under arbitrary unknown truncation sets whose performance decays with a natural measure of complexity of the set, namely its Gaussian surface area. Notably, this algorithm works for large families of sets including intersections of halfspaces, polynomial threshold functions and general convex sets. We show that our algorithm closely captures the tradeoff between the complexity of the set and the number of samples needed to learn the parameters by exhibiting a set with small Gaussian surface area for which it is information theoretically impossible to learn the true Gaussian with few samples.

categories: math.ST cs.DS cs.LG stat.CO stat.ML stat.TH


title: Research Opportunities in Sociotechnical Interventions for Health Disparity Reduction

abstract: The implicit and explicit biases built into our computing systems are becoming increasingly clear -- they impact everything from targeting of advertisements to how we are identified as people. These biases disproportionately affect marginalized groups -- people who are excluded from mainstream social, economic, cultural, or political life -- more acutely. While these biases can affect all aspects of our lives, from leisure to criminal justice to personal finances, they are all the more critical in the context of health and healthcare due to their significant personal and societal implications. In this interdisciplinary workshop, we explored how to design and build health systems for diverse populations through the following disciplinary lenses. The Computing Community Consortium (CCC) sponsored a two-day workshop titled Sociotechnical Interventions for Health Disparity Reduction in collaboration with the leadership of the Society for Behavioral Medicine's (SBM) 39th Annual Meeting on Monday, April 9 and Tuesday, April 10, 2018 in New Orleans, Louisiana. The workshop's goal was to bring together leading researchers in computing, health informatics, behavioral medicine, and health disparities to develop an integrative research agenda focused on sociotechnical interventions to reduce health disparities and improve the health of marginalized populations.


title: The information loss problem: an analogue gravity perspective

abstract: Analogue gravity can be used to reproduce the phenomenology of quantum field theory in curved spacetime and in particular phenomena such as cosmological particle creation and Hawking radiation. In black hole physics, taking into account the backreaction of such effects on the metric requires an extension to semiclassical gravity and leads to an apparent inconsistency in the theory: the black hole evaporation induces a breakdown of the unitary quantum evolution leading to the so called information loss problem. Here we show that analogue gravity can provide an interesting perspective on the resolution of this problem, albeit the backreaction in analogue systems is not described by semiclassical Einstein equations. In particular, by looking at the simpler problem of cosmological particle creation, we show, in the context of Bose--Einstein condensates analogue gravity, that the emerging analogue geometry and quasi-particles have correlations due to the quantum nature of the atomic degrees of freedom underlying the emergent spacetime. The quantum evolution is, of course, always unitary, but on the whole Hilbert space, which cannot be exactly factorised a posteriori in geometry and quasi-particle components. In analogy, in a black hole evaporation one should expect a continuous process creating correlations between the Hawking quanta and the microscopic quantum degrees of freedom of spacetime, implying so that only a full quantum gravity treatment would be able to resolve the information loss problem by proving the unitary evolution on the full Hilbert space.


title: Approximating Pointwise Products of Quasimodes

abstract: We obtain approximation bounds for products of quasimodes for the Laplace-Beltrami operator, on compact Riemannian manifolds of all dimensions without boundary. We approximate the products of quasimodes $uv$ by a low-degree vector space $B_{n}$, and we prove that the size of the space $\dim(B_{n})$ is small. In our paper, we first study bilinear quasimode estimates of all dimensions $d = 2, 3$, $d = 4,5$ and $d \ge 6$, respectively, to make the highest frequency disappear from the right hand. Furthermore, the result of the case $\lambda=\mu$ of bilinear quasimode estimates improves $L^{4}$ quasimodes estimates of Sogge-Zelditch in \cite{sogge6} when $d \ge 8$. And on this basis, we give approximation bounds in $H^{-1}$ norm. We also prove approximation bounds for the products of quasimodes in $L^{2}$ norm using the results of $L^{p}$-estimates for quasimodes in \cite{sogge3}. We extend the results of Lu-Steinerberger in \cite{lu} to quasimodes.


title: Orbital Stability of Standing Waves for Fractional Hartree Equation with Unbounded Potentials

abstract: We prove the existence of the set of ground states in a suitable energy space $\Sigma^s=\{u: \int_{\mathbb{R}^N} \bar{u}(-\Delta+m^2)^s u+V |u|^2<\infty\}$, $s\in (0,\frac{N}{2})$ for the mass-subcritical nonlinear fractional Hartree equation with unbounded potentials. As a consequence we obtain, as a priori result, the orbital stability of the set of standing waves. The main ingredient is the observation that $\Sigma^s$ is compactly embedded in $L^2$. This enables us to apply the concentration compactness argument in the works of Cazenave-Lions and Zhang, namely, relative compactness for any minimizing sequence in the energy space.


title: Linear Dynamics: Clustering without identification

abstract: Linear dynamical systems are a fundamental and powerful parametric model class. However, identifying the parameters of a linear dynamical system is a venerable task, permitting provably efficient solutions only in special cases. This work shows that the eigenspectrum of unknown linear dynamics can be identified without full system identification. We analyze a computationally efficient and provably convergent algorithm to estimate the eigenvalues of the state-transition matrix in a linear dynamical system. When applied to time series clustering, our algorithm can efficiently cluster multi-dimensional time series with temporal offsets and varying lengths, under the assumption that the time series are generated from linear dynamical systems. Evaluating our algorithm on both synthetic data and real electrocardiogram (ECG) signals, we see improvements in clustering quality over existing baselines.


title: Nonperturbative Dynamics of Hadronic Collisions

abstract: In the last couple of years, the LHC has released precise measurements of elastic proton-proton scattering which has become an important guide in the search for selecting phenomenological models and theoretical approaches to understand, in a deeper level, the theory of strong interactions. In this thesis, through the formulation of two models compatible with analyticity and unitarity constraints, we study some aspects concerning the Physics behind hadronic interactions. In particular, we investigate the proton-proton and the antiproton-proton elastic scattering at high energies using a Regge theory-based model, where the increase of the total cross section is attributed to the exchange of a colorless state having the quantum numbers of the vacuum, and using a model based on the Quantum-Chromodynamics-improved parton model, where the increase of the total cross section is in turn associated with semihard scatterings of partons in the hadrons.


title: Flat Metrics with a Prescribed Derived Coframing

abstract: The following problem is addressed: A $3$-manifold $M$ is endowed with a triple $\Omega = \big(\Omega^1,\Omega^2,\Omega^3\big)$ of closed $2$-forms. One wants to construct a coframing $\omega = \big(\omega^1,\omega^2,\omega^3\big)$ of $M$ such that, first, ${\rm d}\omega^i = \Omega^i$ for $i=1,2,3$, and, second, the Riemannian metric $g=\big(\omega^1\big)^2+\big(\omega^2\big)^2+\big(\omega^3\big)^2$ be flat. We show that, in the 'nonsingular case', i.e., when the three $2$-forms $\Omega^i_p$ span at least a $2$-dimensional subspace of $\Lambda^2(T^*_pM)$ and are real-analytic in some $p$-centered coordinates, this problem is always solvable on a neighborhood of $p\in M$, with the general solution $\omega$ depending on three arbitrary functions of two variables. Moreover, the characteristic variety of the generic solution $\omega$ can be taken to be a nonsingular cubic. Some singular situations are considered as well. In particular, we show that the problem is solvable locally when $\Omega^1$, $\Omega^2$, $\Omega^3$ are scalar multiples of a single 2-form that do not vanish simultaneously and satisfy a nondegeneracy condition. We also show by example that solutions may fail to exist when these conditions are not satisfied.


title: A note on Newton's problem of minimal resistance for convex bodies

abstract: We consider the following problem: minimize the functional $\int_\Omega f(\nabla u(x))\, dx$ in the class of concave functions $u: \Omega \to [0,M]$, where $\Omega \subset \mathbb{R}^2$ is a convex body and $M > 0$. If $f(x) = 1/(1 + |x|^2)$ and $\Omega$ is a circle, the problem is called Newton's problem of least resistance. It is known that the problem admits at least one solution. We prove that if all points of $\partial\Omega$ are regular and ${|x|f(x)}/(|y|f(y)) \to +\infty$ as $|x|/|y| \to 0$ then a solution $u$ to the problem satisfies $u\rfloor_{\partial\Omega} = 0$. This result proves the conjecture stated in 1993 for Newton's problem.


title: Hadron and Nuclear Physics on the Light Front

abstract: The QCD light-front (LF) Hamiltonian equation H_{LF}|\Psi> = M^2 |\Psi> derived from quantization at fixed LF time \tau = t+z/c provides a causal, frame-independent, method for computing hadron spectroscopy as well as dynamical observables such as structure functions, transverse momentum distributions, and distribution amplitudes. The LF formalism also leads to novel nuclear phenomena, such as "hidden color", "color transparency", "nuclear-bound quarkonium" and the shadowing and antishadowing of nuclear structure functions. For example, there are five distinct color-singlet Fock state representations of the six color-triplet quarks of the deuteron. The hidden color Fock states become manifest when the deuteron is probed when it has small transverse size, as in measurements of the deuteron form factor at large momentum transfer. The QCD Lagrangian with zero quark mass has no explicit mass scale. However, as shown by de Alfaro, Fubini, and Furlan (dAFF), a mass scale can appear in the equations of motion without affecting the conformal invariance of the Action. When one applies the dAFF procedure to the QCD LF Hamiltonian, it leads to a color confining potential \kappa^4 \zeta^2 for mesons, where \zeta^2 is the LF radial variable conjugate to the qbar-q invariant mass squared. The same result, including spin terms, is obtained using LF holography (AdS/QCD) -- the duality between LF dynamics and AdS_5 -- if one modifies the AdS_5 Action by the dilaton exp{+\kappa^2 z^2} in the fifth dimension z. If this procedure is generalized using superconformal algebra, the resulting LF eigensolutions provide unified Regge spectroscopy of mesons, baryons, and tetraquarks, including remarkable supersymmetric relations between the masses of mesons, baryons and tetraquarks with a universal Regge slope...


title: Identifying Treatment Effects using Trimmed Means when Data are Missing Not at Random

abstract: Patients often discontinue treatment in a clinical trial because their health condition is not improving. Consequently, the patients still in the study at the end of the trial have better health outcomes on average than the initial patient population would have had if every patient had completed the trial. If we only analyze the patients who complete the trial, then this missing data problem biases the estimator of a medication's efficacy because study outcomes are missing not at random (MNAR). One way to overcome this problem - the trimmed means approach for missing data - sets missing values as slightly worse than the worst observed outcome and then trims away a fraction of the distribution from each treatment arm before calculating differences in treatment efficacy (Permutt 2017, Pharmaceutical statistics 16.1:20-28). In this paper we derive sufficient and necessary conditions for when this approach can identify the average population treatment effect in the presence of MNAR data. Numerical studies show the trimmed means approach's ability to effectively estimate treatment efficacy when data are MNAR and missingness is strongly associated with an unfavorable outcome, but trimmed means fail when data are missing at random (MAR) when the better approach would be to multiply impute the missing values. If the reasons for discontinuation in a clinical trial are known analysts can improve estimates with a combination of multiple imputation (MI) and the trimmed means approach when the assumptions of each missing data mechanism hold. When the assumptions are justifiable, using trimmed means can help identify treatment effects notwithstanding MNAR data.


title: Molecular Beam Epitaxy Growth of Scandium Nitride on Hexagonal SiC, GaN, and AlN

abstract: RF plasma assisted MBE growth of Scandium Nitride (ScN) thin films on GaN (0001)/SiC, AlN (0001)/Al2O3 and on 6H-SiC (0001) hexagonal substrates is found to lead to a face centered cubic (rock-salt) crystal structure with (111) out-of-plane orientation instead of hexagonal orientation. For the first time, cubic (111) twinned patterns in ScN are observed by in-situ electron diffraction during epitaxy, and the twin domains in ScN are detected by electron backscattered diffraction, and further corroborated with X-ray diffraction. The epitaxial ScN films display very smooth, sub nanometer surface roughness at a growth temperature of 750C. Temperature-dependent Hall-effect measurements indicate a constant high n-type carrier concentration of ~1x1020/cm3 and electron mobilities of ~ 20 cm2/Vs.


title: Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation

abstract: Determining possible failure scenarios is a critical step in the evaluation of autonomous vehicle systems. Real-world vehicle testing is commonly employed for autonomous vehicle validation, but the costs and time requirements are high. Consequently, simulation-driven methods such as Adaptive Stress Testing (AST) have been proposed to aid in validation. AST formulates the problem of finding the most likely failure scenarios as a Markov decision process, which can be solved using reinforcement learning. In practice, AST tends to find scenarios where failure is unavoidable and tends to repeatedly discover the same types of failures of a system. This work addresses these issues by encoding domain relevant information into the search procedure. With this modification, the AST method discovers a larger and more expressive subset of the failure space when compared to the original AST formulation. We show that our approach is able to identify useful failure scenarios of an autonomous vehicle policy.


title: An Incremental Approach to Online Dynamic Mode Decomposition for Time-Varying Systems with Applications to EEG Data Modeling

abstract: Dynamic Mode Decomposition (DMD) is a data-driven technique to identify a low dimensional linear time invariant dynamics underlying high-dimensional data. For systems in which such underlying low-dimensional dynamics is time-varying, a time-invariant approximation of such dynamics computed through standard DMD techniques may not be appropriate. We focus on DMD techniques for such time-varying systems and develop incremental algorithms for systems without and with exogenous control inputs. We build upon the work in [35] to scenarios in which high dimensional data are governed by low dimensional time-varying dynamics. We consider two classes of algorithms that rely on (i) a discount factor on previous observations, and (ii) a sliding window of observations. Our algorithms leverage existing techniques for incremental singular value decomposition and allow us to determine an appropriately reduced model at each time and are applicable even if data matrix is singular. We apply the developed algorithms for autonomous systems to Electroencephalographic (EEG) data and demonstrate their effectiveness in terms of reconstruction and prediction. Our algorithms for non-autonomous systems are illustrated using randomly generated linear time-varying systems.


title: Analytical estimates of secular frequencies for binary star systems

abstract: Binary and multiple star systems are extreme environments for the formation and long-term presence of extrasolar planets. Circumstellar planets are subject to gravitational perturbations from the distant companion star, and this interaction leads to a long-period precession of their orbits. We investigate analytical models that allow to quantify these perturbations and calculate the secular precession frequency in the dynamical model of the restricted three-body problem. These models are applied to test cases and we discuss some of their shortcomings. In addition, we introduce a modified Laplace-Lagrange model which allows to obtain better frequency estimates than the traditional model for large eccentricities of the perturber. We then generalize this model to any number of perturbers, and present an application to the four-body problem.


title: A model for full-field optical coherence tomography in scattering media

abstract: We develop a model of full-field optical coherence tomography (FF-OCT) that includes a description of partial temporal and spatial coherence, together with a mean-field scattering theory going beyond the Born approximation. Based on explicit expressions of the FF-OCT signal, we discuss essential features of FF-OCT imaging, such as the influence of partial coherence on the optical transfer function, and on the decay of the signal with depth that is captured by the model. We derive the conditions under which the spatially averaged signal exhibits a pure exponential decay with depth, providing a clear frame for the use of the Beer-Lambert law for quantitative measurements of the extinction length in scattering media.


title: Falls Prediction in eldery people using Gated Recurrent Units

abstract: Falls prevention, especially in older people, becomes an increasingly important topic in the times of aging societies. In this work, we present Gated Recurrent Unit-based neural networks models designed for predicting falls (syncope). The cardiovascular systems signals used in the study come from Gravitational Physiology, Aging and Medicine Research Unit, Institute of Physiology, Medical University of Graz. We used two of the collected signals, heart rate, and mean blood pressure. By using bidirectional GRU model, it was possible to predict the syncope occurrence approximately ten minutes before the manual marker.


title: Spams meet Cryptocurrencies: Sextortion in the Bitcoin Ecosystem

abstract: In the past year, a new spamming scheme has emerged: sexual extortion messages requiring payments in the cryptocurrency Bitcoin, also known as sextortion. This scheme represents a first integration of the use of cryptocurrencies by members of the spamming industry. Using a dataset of 4,340,736 sextortion spams, this research aims at understanding such new amalgamation by uncovering spammers' operations. To do so, a simple, yet effective method for projecting Bitcoin addresses mentioned in sextortion spams onto transaction graph abstractions is computed over the entire Bitcoin blockchain. This allows us to track and investigate monetary flows between involved actors and gain insights into the financial structure of sextortion campaigns. We find that sextortion spammers are somewhat sophisticated, following pricing strategies and benefiting from cost reductions as their operations cut the upper-tail of the spamming supply chain. We discover that one single entity is likely controlling the financial backbone of the majority of the sextortion campaigns and that the 11-month operation studied yielded a lower-bound revenue between \$1,300,620 and \$1,352,266. We conclude that sextortion spamming is a lucrative business and spammers will likely continue to send bulk emails that try to extort money through cryptocurrencies.


title: Weight Friction: A Simple Method to Overcome Catastrophic Forgetting and Enable Continual Learning

abstract: In recent years, deep neural networks have found success in replicating human-level cognitive skills, yet they suffer from several major obstacles. One significant limitation is the inability to learn new tasks without forgetting previously learned tasks, a shortcoming known as catastrophic forgetting. In this research, we propose a simple method to overcome catastrophic forgetting and enable continual learning in neural networks. We draw inspiration from principles in neurology and physics to develop the concept of weight friction. Weight friction operates by a modification to the update rule in the gradient descent optimization method. It converges at a rate comparable to that of the stochastic gradient descent algorithm and can operate over multiple task domains. It performs comparably to current methods while offering improvements in computation and memory efficiency.


title: Calculating n-Point Charge Correlations in Evolving Systems

abstract: In dynamic systems, charge susceptibilities and local charge correlations change with time. These changes are accompanied by non-local correlations which spread diffusively with time and are constrained by local charge conservation. Assuming the local features of the correlation, which for a gas would be the correlation of charges within the same particle, are equilibrated, a diagrammatic formalism is presented for calculating the evolution of the associated non-local correlations. These provide correlations of $n$ density operators at different positions for arbitrary $n$. The techniques were developed with an eye towards relativistic heavy-ion collisions, and can account for correlations indexed by up, down and strange charges. Understanding the evolution of such correlations is crucial if one is to interpret measurements of charge fluctuations from the Relativistic Heavy-Ion Collider.


title: Cross-validation tests for cryo-EM maps using an independent particle set

abstract: Cryo-electron microscopy is a revolutionary technique that can provide 3D density maps at near-atomic resolution. However, map validation is still an open issue in the field. Despite several efforts from the community, it is possible to overfit the reconstructions to noisy data. Here, inspired by modern statistics, we develop a novel methodology that uses a small independent particle set to validate the 3D maps. The main idea is to monitor how the map probability evolves over the control set during the refinement. The method is complementary to the gold-standard procedure, which generates two reconstructions at each iteration. We low-pass filter the two reconstructions for different frequency cutoffs, and we calculate the probability of each filtered map given the control set. For high-quality maps, the probability should increase as a function of the frequency cutoff and of the refinement iteration. We also compute the similarity between the probability distributions of the two reconstructions. As higher frequencies are added to the maps, more dissimilar are the distributions. We optimized the BioEM software package to perform these calculations, and tested the method on several systems, some which were overfitted. Our results show that our method is able to discriminate the overfitted sets from the non-overfitted ones. We conclude that having a control particle set, not used for the refinement, is essential for cross-validating cryo-EM maps.


title: Quantale semantics of Lambek calculus with subexponential modalities

abstract: In this paper, we consider the polymodal version of Lambek calculus with subexponential modalities initially introduced by Kanovich, Kuznetsov, Nigam, and Scedrov and its quantale semantics. In our approach, subexponential modalities have an interpretation in terms of quantic conuclei. We show that this extension of Lambek calculus is complete w.r.t quantales with quantic conuclei. Also, we prove a representation theorem for quantales with quantic conuclei and show that Lambek calculus with subexponentials is relationally complete. Finally, we extend this representation theorem to the category of quantales with quantic conuclei.


title: A General Theory of Concept Lattice (I): Emergence of General Concept Lattice

abstract: As the first part of the treatise on A General Theory of Concept Lattice (I-V), this work develops the general concept lattice for the problem concerning categorization of objects according to their properties. Unlike the conventional approaches, such as the formal concept lattice and the rough set lattice, the general concept lattice is designed to adhere to the general principle that the information content should be invariant regardless how the variables/parameters are presented. Here, one will explicitly demonstrate the existence of such a construction by a sequence of fulfillment compatible with the conventional lattice structure. The general concept lattice promises to be a comprehensive categorization for all the distinctive object classes according to whatever properties they are equipped with. It will be shown that one can always regain the formal concept lattice and rough set lattice from the general concept lattice.


title: Proposition d'un mod\`ele pour l'optimisation automatique de boucles dans le compilateur Tiramisu : cas d'optimisation de d\'eroulage

abstract: Computer architectures become more and more complex. It requires more effort to develop techniques that improve the programs of performance and allow to exploit material resources efficiently. As a result, many transformations are applied on various levels of code abstraction. The first level is the high level, where the representation is close to the high level language. The second one is the low level, where the presentation is close to the machine code. Those transformations are called code optimizations. Optimizing programs requires deep expertise. On one hand, it is a tedious task, because it requires a lot of tests to find out the best combination of optimizations to apply with their best factors. On the other hand, this task is critical, because it may degrade the performance of the program instead of improving it. The automatization of this task can deal with this problem and permit to obtain good results. Our end of study project consists on proposing a novel approach based on neural networks to automatically optimize loops in Tiramisu. Tiramisu is a new language to create a code of high performance. It allows to separate between the algorithm and its optimizations. We have chosen loop unrolling as a study case. Our contribution aims to automate the choice of the best loop unrolling factor for a program written in Tiramisu.


title: Extremal convex bodies for affine measures of symmetry

abstract: This paper is devoted to measures of symmetry based on distance between centroid and one of the centers of John and Lowner ellipsoid. The author proves the accuracy of the derived upper bounds for the considered measures of symmetry.


title: Privacy-preserving Distributed Machine Learning via Local Randomization and ADMM Perturbation

abstract: With the proliferation of training data, distributed machine learning (DML) is becoming more competent for large-scale learning tasks. However, privacy concerns have to be given priority in DML, since training data may contain sensitive information of users. In this paper, we propose a privacy-preserving ADMM-based DML framework with two novel features: First, we remove the assumption commonly made in the literature that the users trust the server collecting their data. Second, the framework provides heterogeneous privacy for users depending on data's sensitive levels and servers' trust degrees. The challenging issue is to keep the accumulation of privacy losses over ADMM iterations minimal. In the proposed framework, a local randomization approach, which is differentially private, is adopted to provide users with self-controlled privacy guarantee for the most sensitive information. Further, the ADMM algorithm is perturbed through a combined noise-adding method, which simultaneously preserves privacy for users' less sensitive information and strengthens the privacy protection of the most sensitive information. We provide detailed analyses on the performance of the trained model according to its generalization error. Finally, we conduct extensive experiments using real-world datasets to validate the theoretical results and evaluate the classification performance of the proposed framework.

categories: cs.LG cs.CR cs.DC cs.MA cs.SY eess.SY stat.ML


title: Multilingual Speech Recognition with Corpus Relatedness Sampling

abstract: Multilingual acoustic models have been successfully applied to low-resource speech recognition. Most existing works have combined many small corpora together and pretrained a multilingual model by sampling from each corpus uniformly. The model is eventually fine-tuned on each target corpus. This approach, however, fails to exploit the relatedness and similarity among corpora in the training set. For example, the target corpus might benefit more from a corpus in the same domain or a corpus from a close language. In this work, we propose a simple but useful sampling strategy to take advantage of this relatedness. We first compute the corpus-level embeddings and estimate the similarity between each corpus. Next, we start training the multilingual model with uniform-sampling from each corpus at first, then we gradually increase the probability to sample from related corpora based on its similarity with the target corpus. Finally, the model would be fine-tuned automatically on the target corpus. Our sampling strategy outperforms the baseline multilingual model on 16 low-resource tasks. Additionally, we demonstrate that our corpus embeddings capture the language and domain information of each corpus.


title: Classi-Fly: Inferring Aircraft Categories from Open Data using Machine Learning

abstract: In recent years, air traffic communication data has become easy to access, enabling novel research in many fields. Exploiting this new data source, a wide range of applications have emerged, from weather forecasting to stock market prediction, or the collection of information about military and government movements. Typically these applications require knowledge about the metadata of the aircraft, specifically its operator and the aircraft category. armasuisse Science + Technology, the R\&D agency for the Swiss Armed Forces, has been developing Classi-Fly, a novel approach to obtain metadata about aircraft based on their movement patterns. We validate Classi-Fly using several hundred thousand flights collected through open source means, in conjunction with ground truth from publicly available aircraft registries containing more than two million aircraft. Classi-Fly obtains the correct aircraft category with an accuracy of over 88%, demonstrating that it can improve the meta data necessary for applications working with air traffic communication. Finally, we show that it is feasible to automatically detect specific flights such as police and surveillance missions.


title: CMB-S4 Decadal Survey APC White Paper

abstract: We provide an overview of the science case, instrument configuration and project plan for the next-generation ground-based cosmic microwave background experiment CMB-S4, for consideration by the 2020 Decadal Survey.


title: Transitions from chimeras to coherence: An analytical approach by means of the coherent stability function

abstract: Chimera states have been a vibrant subject of research in the recent past, but the analytical treatment of transitions from chimeras to coherent states remains a challenge. Here we analytically derive the necessary conditions for this transition by means of the coherent stability function approach, which is akin to the master stability function approach that is traditionally used to study the stability of synchronization in coupled oscillators. In chimera states, there is typically at least one group of oscillators that evolves in a drifting, random manner, while other groups of oscillators follow a smoother, more coherent profile. In the coherent state, there thus exists a smooth functional relationship between the oscillators. This lays the foundation for the coherent stability function approach, where we determine the stability of the coherent state. We subsequently test the analytical prediction numerically by calculating the strength of incoherence during the transition point. We use leech neurons, which exhibit a coexistence of chaotic and periodic tonic spiking depending on initial conditions, coupled via non-local electrical synapses, to demonstrate our approach. We systematically explore various dynamical states with the focus on the transitions between chimeras and coherence, fully confirming the validity of the coherent stability function. We also observe complete synchronization for higher values of the coupling strength, which we verify by the master stability function approach.


title: When lost in a multiverse again

abstract: The short Communication based on results of notes: Andre Geim "When lost in a multiverse" (Nat. Phys. 13, 1142 (2017)) and Klaus von Klitzing "Metrology in 2019" (Nat. Phys. 13, 198 (2017))


title: XMMSL2 J144605.0+685735 : a slow tidal disruption event

abstract: Aims. We investigate the evolution of X-ray selected tidal disruption events. Methods. New events are found in near-real time data from XMM-Newton slews and are monitored by multi-wavelength facilities. Results. In August 2016, X-ray emission was detected from the galaxy XMMSL2 J144605.0+685735 (a.k.a. 2MASX 14460522+6857311), a factor 20 times higher than an upper limit from 25 years earlier. The X-ray flux was flat for ~100 days and then fell by a factor 100 over the following 500 days. The UV flux was stable for the first 400 days before fading by a magnitude, while the optical (U,B,V bands) have been roughly constant for 850 days. Optically, the galaxy appears to be quiescent, at a distance of $127\pm{4}$ Mpc (z=$0.029\pm{0.001}$) with a spectrum consisting of a young stellar population of age 1-5 Gyr, an older population and a total stellar mass of ~6 x $10^{9}$ solar masses. The bolometric luminosity peaked at L bol ~ $10^{43}$ ergs s$^{-1}$ with an X-ray spectrum that may be modeled by a power-law of $\Gamma$~2.6 or Comptonisation of a low-temperature thermal component by thermal electrons. We consider a tidal disruption event to be the most likely cause of the flare. Radio emission was absent in this event down to < 10$\mu$Jy, which limits the total energy of a hypothetical off-axis jet to E < 5 x $10^{50}$ ergs. The independent behaviour of the optical, UV and X-ray light curves challenges models where the UV emission is produced by reprocessing of thermal nuclear emission or by stream-stream collisions. We suggest that the observed UV emission may have been produced from a truncated accretion disk and the X-rays from Compton upscattering of these disk photons.


title: A non-equilibrium theoretical framework for statistical physics with application to turbulent systems and their predictability

abstract: A new theoretical approach to non-equilibrium statistical systems has recently been proposed by the author, a co-author and others. It is based on a variational principle which is associated with the discrepancy of a path through thermodynamical space to one following Liouvillean evolution. In this contribution the approach is extended in such a way that it can be applied to a wide range of practical non-equilibrium statistical systems such as those arising in turbulence but also to a general class of statistical physics models. The new methodology allows for application to autonomous dynamical systems generalizing the previous work which applied only to Hamiltonian systems. Furthermore it provides a general analysis of near equilibrium conditions which allows for a natural analysis of predictability limits in turbulent systems. Finally it describes a method is described for the numerical calculation of far from equilibrium thermodynamical trajectories.


abstract: While low resource speech recognition has attracted a lot of attention from the speech community, there are a few tools available to facilitate low resource speech collection. In this work, we present SANTLR: Speech Annotation Toolkit for Low Resource Languages. It is a web-based toolkit which allows researchers to easily collect and annotate a corpus of speech in a low resource language. Annotators may use this toolkit for two purposes: transcription or recording. In transcription, annotators would transcribe audio files provided by the researchers; in recording, annotators would record their voice by reading provided texts. We highlight two properties of this toolkit. First, SANTLR has a very user-friendly User Interface (UI). Both researchers and annotators may use this simple web interface to interact. There is no requirement for the annotators to have any expertise in audio or text processing. The toolkit would handle all preprocessing and postprocessing steps. Second, we employ a multi-step ranking mechanism facilitate the annotation process. In particular, the toolkit would give higher priority to utterances which are easier to annotate and are more beneficial to achieving the goal of the annotation, e.g. quickly training an acoustic model.


title: Ergodic control of diffusions with compound Poisson jumps under a general structural hypothesis

abstract: We study the ergodic control problem for a class of controlled jump diffusions driven by a compound Poisson process. This extends the results of [SIAM J. Control Optim. 57 (2019), no. 2, 1516-1540] to running costs that are not near-monotone. This generality is needed in applications such as optimal scheduling of large-scale parallel server networks. We provide a full characterization of optimality via the Hamilton-Jacobi-Bellman (HJB) equation, for which we additionally exhibit regularity of solutions under mild hypotheses. In addition, we show that optimal stationary Markov controls are a.s. pathwise optimal. Lastly, we show that one can fix a stable control outside a compact set and obtain near-optimal solutions by solving the HJB on a sufficiently large bounded domain. This is useful for constructing asymptotically optimal scheduling policies for multiclass parallel server networks.


title: Point Node Gap Structure of Spin-Triplet Superconductor UTe2

abstract: Low-temperature electrical and thermal transport, magnetic penetration depth, and heat capacity measurements were performed on single crystals of the actinide superconductor UTe2 to determine the structure of the superconducting energy gap. Heat transport measurements performed with currents directed along both crystallographic a- and b-axes reveal a vanishingly small residual fermionic component of the thermal conductivity. The magnetic field dependence of the residual term follows a rapid, quasi-linear increase consistent with the presence of nodal quasiparticles, rising toward the a-axis upper critical field where the Wiedemann-Franz law is recovered. Together with a quadratic temperature dependence of the magnetic penetration depth up to T/T_c=0.3, these measurements provide evidence for an unconventional spin-triplet superconducting order parameter with point nodes. Millikelvin specific heat measurements performed on the same crystals used for thermal transport reveal an upturn below 300 mK that is well described by a divergent quantum-critical contribution to the density of states (DOS). Modeling this contribution with a T^{-1/3} power law allows restoration of the full entropy balance in the superconducting state and a resultant cubic power law for the electronic DOS below T_c, consistent with the point-node gap structure determined by thermal conductivity and penetration depth measurements.


title: Adaloss: Adaptive Loss Function for Landmark Localization

abstract: Landmark localization is a challenging problem in computer vision with a multitude of applications. Recent deep learning based methods have shown improved results by regressing likelihood maps instead of regressing the coordinates directly. However, setting the precision of these regression targets during the training is a cumbersome process since it creates a trade-off between trainability vs localization accuracy. Using precise targets introduces a significant sampling bias and hence makes the training more difficult, whereas using imprecise targets results in inaccurate landmark detectors. In this paper, we introduce "Adaloss", an objective function that adapts itself during the training by updating the target precision based on the training statistics. This approach does not require setting problem-specific parameters and shows improved stability in training and better localization accuracy during inference. We demonstrate the effectiveness of our proposed method in three different applications of landmark localization: 1) the challenging task of precisely detecting catheter tips in medical X-ray images, 2) localizing surgical instruments in endoscopic images, and 3) localizing facial features on in-the-wild images where we show state-of-the-art results on the 300-W benchmark dataset.


title: On the modes of convergence of Stochastic Optimistic Mirror Descent (OMD) for saddle point problems

abstract: In this article, we study the convergence of Mirror Descent (MD) and Optimistic Mirror Descent (OMD) for saddle point problems satisfying the notion of coherence as proposed in Mertikopoulos et al. We prove convergence of OMD with exact gradients for coherent saddle point problems, and show that monotone convergence only occurs after some sufficiently large number of iterations. This is in contrast to the claim in Mertikopoulos et al. of monotone convergence of OMD with exact gradients for coherent saddle point problems. Besides highlighting this important subtlety, we note that the almost sure convergence guarantees of MD and OMD with stochastic gradients for strictly coherent saddle point problems that are claimed in Mertikopoulos et al. are not fully justified by their proof. As such, we fill out the missing details in the proof and as a result have only been able to prove convergence with high probability. We would like to note that our analysis relies heavily on the core ideas and proof techniques introduced in Zhou et al. and Mertikopoulos et al., and we only aim to re-state and correct the results in light of what we were able to prove rigorously while filling in the much needed missing details in their proofs.


title: The Software-Defined Metasurfaces Concept and Electromagnetic Aspects

abstract: We present the concept and electromagnetic aspects of HyperSurFaces (HSFs), artificial, ultrathin structures with software controlled electromagnetic properties. The HSFs key unit is the metasurface, a plane with designed subwavelength features whose electromagnetic response can be tuned via voltage-controlled continuously-tunable electrical elements that provide local control of the surface impedance and advanced functionalities, such as tunable perfect absorption or wavefront manipulation. A nanonetwork of controllers enables software defined HSFs control related to the emerging Internet of Things paradigm.


title: U-Net Fixed-Point Quantization for Medical Image Segmentation

abstract: Model quantization is leveraged to reduce the memory consumption and the computation time of deep neural networks. This is achieved by representing weights and activations with a lower bit resolution when compared to their high precision floating point counterparts. The suitable level of quantization is directly related to the model performance. Lowering the quantization precision (e.g. 2 bits), reduces the amount of memory required to store model parameters and the amount of logic required to implement computational blocks, which contributes to reducing the power consumption of the entire system. These benefits typically come at the cost of reduced accuracy. The main challenge is to quantize a network as much as possible, while maintaining the performance accuracy. In this work, we present a quantization method for the U-Net architecture, a popular model in medical image segmentation. We then apply our quantization algorithm to three datasets: (1) the Spinal Cord Gray Matter Segmentation (GM), (2) the ISBI challenge for segmentation of neuronal structures in Electron Microscopic (EM), and (3) the public National Institute of Health (NIH) dataset for pancreas segmentation in abdominal CT scans. The reported results demonstrate that with only 4 bits for weights and 6 bits for activations, we obtain 8 fold reduction in memory requirements while loosing only 2.21%, 0.57% and 2.09% dice overlap score for EM, GM and NIH datasets respectively. Our fixed point quantization provides a flexible trade off between accuracy and memory requirement which is not provided by previous quantization methods for U-Net such as TernaryNet.


title: Spectrum for first-order properties of random hypergraphs

abstract: The notion of spectrum of first-order properties introduced by J. Spencer for Erdos-Renyi random graph is considered in relation to random uniform hypergraphs. We study properties of spectrum for first-order formulae with bounded quantifier depth and estimate the values of minimum and maximum points of this spectrum. We also consider the set of limit points of the spectrum and give a bound for its minimum value.


title: Simple Equations methodology (SEsM) for searching of multisolitons and other exact solutions of nonlinear partial differential equations

abstract: We discuss a version the methodology for obtaining exact solutions of nonlinear partial differential equations based on the possibility for use of: (i) more than one simplest equation; (ii) relationship that contains as particular cases the relationship used by Hirota \cite{hirota} and the relationship used in the previous version of the methodology; (iii) transformation of the solution that contains as particular case the possibility of use of the Painleve expansion; (iv) more than one balance equation. The discussed version of the methodology allows: (i) obtaining multi-soliton solutions of nonlinear partial differential equations if such solutions do exist; (ii) obtaining particular solutions of nonintegrable nonlinear partial differential equations. Several examples for the application of the methodology are discussed. Special attention is devoted to the use of the simplest equation $f_\xi =n[f^{(n-1)/n} - f^{(n+1)/n}]$ where $n$ is a positive real number. This simplest equation allows us to obtain exact solutions of nonlinear partial differential equations containing fractional powers.


title: Trinomials with given roots

abstract: We show that, apart from some obvious exceptions, the number of trinomials vanishing at given complex numbers is bounded by an absolute constant. When the numbers are algebraic, we also bound effectively the degrees and the heights of these trinomials.


title: Plasmon enhanced second harmonic generation by periodic arrays of triangular nanoholes coupled to quantum emitters

abstract: Optical properties of periodic arrays of nanoholes of a triangular shape with experimentally realizable parameters are examined in both linear and nonlinear regimes. Utilizing fully vectorial three-dimensional approach based on the nonlinear hydrodynamic Drude model describing metal coupled to Maxwells equations and Bloch equations for molecular emitters we analyze linear transmission, reflection, and nonlinear power spectra. Rigorous numerical calculations demonstrating second and third harmonic generation by the triangular hole arrays are performed. It is shown that both the Coulomb interaction of conduction electrons and the convective term contribute on equal footing to the nonlinear response of metal. It is demonstrated that the energy conversion efficiency in the second harmonic process is the highest when the system is pumped at the localized surface plasmon resonance. When molecular emitters are placed on a surface of the hole array lineshapes of the second harmonic signal exhibits three peaks corresponding to second harmonics of the localized surface plasmon mode and upper and lower polaritonic states.


title: Multi-label Classification for Fault Diagnosis of Rotating Electrical Machines

abstract: Primary importance is devoted to Fault Detection and Diagnosis (FDI) of electrical machine and drive systems in modern industrial automation. The widespread use of Machine Learning techniques has made it possible to replace traditional motor fault detection techniques with more efficient solutions that are capable of early fault recognition by using large amounts of sensory data. However, the detection of concurrent failures is still a challenge in the presence of disturbing noises or when the multiple faults cause overlapping features. The contribution of this work is to propose a novel methodology using multi-label classification method for simultaneously diagnosing multiple faults and evaluating the fault severity under noisy conditions. Performance of various multi-label classification models are compared. Current and vibration signals are acquired under normal and fault conditions. The applicability of the proposed method is experimentally validated under diverse fault conditions such as unbalance and misalignment.


title: Arithmetic and geometry of a K3 surface emerging from virtual corrections to Drell--Yan scattering

abstract: We study a K3 surface, which appears in the two-loop mixed electroweak-quantum chromodynamic virtual corrections to Drell--Yan scattering. A detailed analysis of the geometric Picard lattice is presented, computing its rank and discriminant in two independent ways: first using explicit divisors on the surface and then using an explicit elliptic fibration. We also study in detail the elliptic fibrations of the surface and use them to provide an explicit Shioda--Inose structure. Moreover, we point out the physical relevance of our results.


title: LSTM Based Music Generation System

abstract: Traditionally, music was treated as an analogue signal and was generated manually. In recent years, music is conspicuous to technology which can generate a suite of music automatically without any human intervention. To accomplish this task, we need to overcome some technical challenges which are discussed descriptively in this paper. A brief introduction about music and its components is provided in the paper along with the citation and analysis of related work accomplished by different authors in this domain. Main objective of this paper is to propose an algorithm which can be used to generate musical notes using Recurrent Neural Networks (RNN), principally Long Short-Term Memory (LSTM) networks. A model is designed to execute this algorithm where data is represented with the help of musical instrument digital interface (MIDI) file format for easier access and better understanding. Preprocessing of data before feeding it into the model, revealing methods to read, process and prepare MIDI files for input are also discussed. The model used in this paper is used to learn the sequences of polyphonic musical notes over a single-layered LSTM network. The model must have the potential to recall past details of a musical sequence and its structure for better learning. Description of layered architecture used in LSTM model and its intertwining connections to develop a neural network is presented in this work. This paper imparts a peek view of distributions of weights and biases in every layer of the model along with a precise representation of losses and accuracy at each step and batches. When the model was thoroughly analyzed, it produced stellar results in composing new melodies.


title: Residual stress distributions in athermally deformed amorphous solids from atomistic simulations

abstract: The distribution of local residual stresses (threshold to instability) that controls the statistical properties of plastic flow in athermal amorphous solids is examined with an atomistic simulation technique. For quiescent configurations, the distribution has a pseudogap (power-law) form with an exponent that agrees well with global yielding statistics. As soon as deformation sets in, the pseudogap region gives way to a system size dependent plateau at small residual stresses that can be understood from the statistics of local residual stress {\em differences} between plastic events. Results further suggest that the local yield stress in amorphous solids changes even if the given region does not participate in plastic activity.


title: Experimental realization of self-guided quantum process tomography

abstract: Characterization of quantum processes is a preliminary step necessary in the development of quantum technology. The conventional method uses standard quantum process tomography, which requires $d^2$ input states and $d^4$ quantum measurements for a $d$-dimensional Hilbert space. These experimental requirements are compounded by the complexity of processing the collected data, which can take several orders of magnitude longer than the experiment itself. In this paper we propose an alternative self-guided algorithm for quantum process tomography, tuned for the task of finding an unknown unitary process. Our algorithm is a fully automated and adaptive process characterization technique. The advantages of our algorithm are: inherent robustness to both statistical and technical noise; requires less space and time since there is no post-processing of the data; requires only a single input state and measurement; and, provides on-the-fly diagnostic information while the experiment is running. Numerical results show our algorithm achieves the same $1/n$ scaling as standard quantum process tomography when $n$ uses of the unknown process are used. We also present experimental results wherein the algorithm, and its advantages, are realized for the task of finding an element of $SU(2)$.


title: Iterative methods for linear systems of equations: A brief historical journey

abstract: This paper presents a brief historical survey of iterative methods for solving linear systems of equations. The journey begins with Gauss who developed the first known method that can be termed iterative. The early 20th century saw good progress of these methods which were initially used to solve least-squares systems, and then linear systems arising from the discretization of partial different equations. Then iterative methods received a big impetus in the 1950s - partly because of the development of computers. The survey does not attempt to be exhaustive. Rather, the aim is to underline the way of thinking at a specific time and to highlight the major ideas that steered the field.


title: Eulerian polynomials and excedance statistics

abstract: A formula of Stembridge states that the permutation peak polynomials and descent polynomials are connected via a quadratique transformation. The aim of this paper is to establish the cycle analogue of Stembridge's formula by using cycle peaks and excedances of permutations. We prove a series of new general formulae expressing polynomials counting permutations by various excedance statistics in terms of refined Eulerian polynomials. Our formulae are comparable with Zhuang's generalizations [Adv. in Appl. Math. 90 (2017) 86-144] using descent statistics of permutations. Our methods include permutation enumeration techniques involving variations of classical bijections from permutations to Laguerre histories, explicit continued fraction expansions of combinatorial generating functions in Shin and Zeng [European J. Combin. 33 (2012), no. 2, 111--127] and cycle version of modified Foata-Strehl action. We also prove similar formulae for restricted permutations such as derangements and permutations avoiding certain patterns. Moreover, we provide new combinatorial interpretations for the $\gamma$-coefficients of the inversion polynomials restricted on $321$-avoiding permutations.


title: Geometrically Constrained Kinklike Configurations

abstract: In this work we study kinklike structures, which are localized solutions that appear in models described by real scalar fields. The model to be considered is characterized by two real scalar fields and includes a function of one of the two fields that modifies the kinematics associated to the other field. The investigation brings to light a first order framework that minimizes the energy of the solutions by introducing an auxiliary function that directly contributes to describe the system. We explore an interesting route, in which one field acts independently, entrapping the other field, inducing important modifications in the profile of the localized structure. The procedure may make the solution to spring up as a kinklike configuration with internal structure, engendering the important feature that also appears directly connected with issues of current interest at the nanometric scale, in particular in the electronic transport in molecules in the presence of vibrational degrees of freedom.


title: A Stochastic Primal-Dual Method for Optimization with Conditional Value at Risk Constraints

abstract: We study a first-order primal-dual subgradient method to optimize risk-constrained risk-penalized optimization problems, where risk is modeled via the popular conditional value at risk (CVaR) measure. The algorithm processes independent and identically distributed samples from the underlying uncertainty in an online fashion, and produces an $\eta/\sqrt{K}$-approximately feasible and $\eta/\sqrt{K}$-approximately optimal point within $K$ iterations with constant step-size, where $\eta$ increases with tunable risk-parameters of CVaR. We find optimized step sizes using our bounds and precisely characterize the computational cost of risk aversion as revealed by the growth in $\eta$. Our proposed algorithm makes a simple modification to a typical primal-dual stochastic subgradient algorithm. With this mild change, our analysis surprisingly obviates the need for a priori bounds or complex adaptive bounding schemes for dual variables assumed in many prior works. We also draw interesting parallels in sample complexity with that for chance-constrained programs derived in the literature with a very different solution architecture.


title: Adaptive Shrinkage Estimation for Streaming Graphs

abstract: Networks are a natural representation of complex systems across the sciences, and higher-order dependencies are central to the understanding and modeling of these systems. However, in many practical applications such as online social networks, networks are massive, dynamic, and naturally streaming, where pairwise interactions among vertices become available one at a time in some arbitrary order. The massive size and streaming nature of these networks allow only partial observation, since it is infeasible to analyze the entire network. Under such scenarios, it is challenging to study the higher-order structural and connectivity patterns of streaming networks. In this work, we consider the fundamental problem of estimating the higher-order dependencies using adaptive sampling. We propose a novel adaptive, single-pass sampling framework and unbiased estimators for higher-order network analysis of large streaming networks. Our algorithms exploit adaptive techniques to identify edges that are highly informative for efficiently estimating the higher-order structure of streaming networks from small sample data. We also introduce a novel James-Stein shrinkage estimator to reduce the estimation error. Our approach is fully analytic, computationally efficient, and can be incrementally updated in a streaming setting. Numerical experiments on large networks show that our approach is superior to baseline methods.


title: Temperature-induced shape morphing of bi-metallic structures

abstract: In this work, we study the thermo-mechanical behavior of metallic structures designed to significantly change shape in response to thermal stimuli. This behavior is achieved by arranging two metals with different coefficient of thermal expansion (CTE), Aluminum and Titanium, as to create displacement-amplifying units that can expand uniaxially. In particular, our design comprises a low-CTE bar surrounded by a high-CTE frame that features flexure hinges and thicker links. When the temperature increases, the longitudinal expansion of the high-CTE portion is geometrically constrained by the low-CTE bar, resulting in a large tangential displacement. Our design is guided by theoretical models and numerical simulations. We validate our approach by fabricating and characterizing individual units, one dimensional arrays and three-dimensional structures. Our work shows that structurally robust metallic structures can be designed for large shape changes. The results also demonstrate how harsh environmental conditions (e.g., the extreme temperature swings that are characteristic of extraterrestrial environments) can be leveraged to produce function in a fully passive way.


title: Path Length Bounds for Gradient Descent and Flow

abstract: We derive bounds on the path length $\zeta$ of gradient descent (GD) and gradient flow (GF) curves for various classes of smooth convex and nonconvex functions. Among other results, we prove that: (a) if the iterates are linearly convergent with factor $(1-c)$, then $\zeta$ is at most $\mathcal{O}(1/c)$; (b) under the Polyak-Kurdyka-Lojasiewicz (PKL) condition, $\zeta$ is at most $\mathcal{O}(\sqrt{\kappa})$, where $\kappa$ is the condition number, and at least $\widetilde\Omega(\sqrt{d} \wedge \kappa^{1/4})$; (c) for quadratics, $\zeta$ is $\Theta(\min\{\sqrt{d},\sqrt{\log \kappa}\})$ and in some cases can be independent of $\kappa$; (d) assuming just convexity, $\zeta$ can be at most $2^{4d\log d}$; (e) for separable quasiconvex functions, $\zeta$ is ${\Theta}(\sqrt{d})$. Thus, we advance current understanding of the properties of GD and GF curves beyond rates of convergence. We expect our techniques to facilitate future studies for other algorithms.


title: Theoretical model for the Seebeck coefficient in superlattice materials with energy relaxation

abstract: We present an analytical model for the Seebeck coefficient S of superlattice materials that explicitly takes into account the energy relaxation due to electron-optical phonon (e-ph) scattering. In such materials, the Seebeck coefficient is not only determined by the bulk Seebeck values of the materials but, in addition, is dependent on the energy relaxation process of charge carriers as they propagate from the less-conductive barrier region into the more-conductive well region. We calculate S as a function of the well size d, where carrier energy becomes increasingly relaxed within the well for d greater than l, where l is the energy relaxation length. We validate the model against more advanced quantum transport simulations based on the nonequilibrium Green function (NEGF) method and also with an experiment, and we find very good agreement. In the case in which no energy relaxation is taken into account, the results deviate substantially from the NEGF results. The model also yields accurate results with only a small deviation (up to ~3%) when varying the optical phonon energy hw or the e-ph coupling strength D0, physical parameters that would determine l. As a first order approximation, the model is valid for nanocomposite materials, and it could prove useful in the identification of material combinations and in the estimation of ideal sizes in the design of nanoengineered thermoelectric materials with enhanced power factor performance.


title: Toward Understanding Catastrophic Forgetting in Continual Learning

abstract: We study the relationship between catastrophic forgetting and properties of task sequences. In particular, given a sequence of tasks, we would like to understand which properties of this sequence influence the error rates of continual learning algorithms trained on the sequence. To this end, we propose a new procedure that makes use of recent developments in task space modeling as well as correlation analysis to specify and analyze the properties we are interested in. As an application, we apply our procedure to study two properties of a task sequence: (1) total complexity and (2) sequential heterogeneity. We show that error rates are strongly and positively correlated to a task sequence's total complexity for some state-of-the-art algorithms. We also show that, surprisingly, the error rates have no or even negative correlations in some cases to sequential heterogeneity. Our findings suggest directions for improving continual learning benchmarks and methods.


title: Machine-learning based three-qubit gate for realization of a Toffoli gate with cQED-based transmon systems

abstract: We use machine learning techniques to design a 50 ns three-qubit flux-tunable controlled-controlled-phase gate with fidelity of >99.99% for nearest-neighbor coupled transmons in circuit quantum electrodynamics architectures. We explain our gate design procedure where we enforce realistic constraints, and analyze the new gate's robustness under decoherence, distortion, and random noise. Our controlled-controlled-phase gate in combination with two single-qubit gates realizes a Toffoli gate which is widely used in quantum circuits, logic synthesis, quantum error correction, and quantum games.


title: H$_2$O$_2$ within chaos terrain on Europa's leading hemisphere

abstract: Hydrogen peroxide is part of an important radiolytic cycle on Europa and may be a critical source of oxidants to the putative subsurface ocean. The surface geographic distribution of hydrogen peroxide may constrain the processes governing its abundance as well as its potential relevance to the subsurface chemistry. However, maps of Europa's hydrogen peroxide beyond hemispherical averages have never been published. Here, we present spatially resolved L-band (3.16 - 4 $\mu$m) observations of Europa's 3.5 $\mu$m hydrogen peroxide absorption, which we obtained using the near-infrared spectrometer NIRSPEC and the adaptive optics system on the Keck II telescope. Using these data, we map the strength of the 3.5 $\mu$m absorption across the surface at a nominal spatial resolution of $\sim$300 km. Though previous disk-integrated data seemed consistent with the laboratory expectation that Europa's hydrogen peroxide exists primarily in its coldest and iciest regions, we find nearly the exact opposite at this finer spatial scale. Instead, we observe the largest hydrogen peroxide absorptions at low latitudes on the leading and anti-Jovian hemispheres, correlated with chaos terrain, and relative depletions toward the cold, icy high latitudes. This distribution may reflect the effects of decreased hydrogen peroxide destruction due to efficient electron scavenging by CO$_2$ within chaos terrain.


title: Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components

abstract: Autonomous vehicles are complex systems that are challenging to test and debug. A requirements-driven approach to the development process can decrease the resources required to design and test these systems, while simultaneously increasing the reliability. We present a testing framework that uses signal temporal logic (STL), which is a precise and unambiguous requirements language. Our framework evaluates test cases against the STL formulae and additionally uses the requirements to automatically identify test cases that fail to satisfy the requirements. One of the key features of our tool is the support for machine learning (ML) components in the system design, such as deep neural networks. The framework allows evaluation of the control algorithms, including the ML components, and it also includes models of CCD camera, lidar, and radar sensors, as well as the vehicle environment. We use multiple methods to generate test cases, including covering arrays, which is an efficient method to search discrete variable spaces. The resulting test cases can be used to debug the controller design by identifying controller behaviors that do not satisfy requirements. The test cases can also enhance the testing phase of development by identifying critical corner cases that correspond to the limits of the system's allowed behaviors. We present STL requirements for an autonomous vehicle system, which capture both component-level and system-level behaviors. Additionally, we present three driving scenarios and demonstrate how our requirements-driven testing framework can be used to identify critical system behaviors, which can be used to support the development process.


title: Completely positive master equation for arbitrary driving and small level spacing

abstract: Markovian master equations are a ubiquitous tool in the study of open quantum systems, but deriving them from first principles involves a series of compromises. On the one hand, the Redfield equation is valid for fast environments (whose correlation function decays much faster than the system relaxation time) regardless of the relative strength of the coupling to the system Hamiltonian, but is notoriously non-completely-positive. On the other hand, the Davies equation preserves complete positivity but is valid only in the ultra-weak coupling limit and for systems with a finite level spacing, which makes it incompatible with arbitrarily fast time-dependent driving. Here we show that a recently derived Markovian coarse-grained master equation (CGME), already known to be completely positive, has a much expanded range of applicability compared to the Davies equation, and moreover, is locally generated and can be generalized to accommodate arbitrarily fast driving. This generalization, which we refer to as the time-dependent CGME, is thus suitable for the analysis of fast operations in gate-model quantum computing, such as quantum error correction and dynamical decoupling. Our derivation proceeds directly from the Redfield equation and allows us to place rigorous error bounds on all three equations: Redfield, Davies, and coarse-grained. Our main result is thus a completely positive Markovian master equation that is a controlled approximation to the true evolution for any time-dependence of the system Hamiltonian, and works for systems with arbitrarily small level spacing. We illustrate this with an analysis showing that dynamical decoupling can extend coherence times even in a strictly Markovian setting.


title: On the discrete Wigner function for SU(N)

abstract: We present a self-consistent theoretical framework for finite-dimensional discrete phase spaces that leads us to establish a well-grounded mapping scheme between Schwinger unitary operators and generators of the special unitary group $\mathrm{SU(N)}$. This general mathematical construction provides a sound pathway to the formulation of a genuinely discrete Wigner function for arbitrary quantum systems described by finite-dimensional state vector spaces. To illustrate our results, we obtain a general discrete Wigner function for the group $\mathrm{SU(3)}$ and apply this to the study of a particular three-level system. Moreover, we also discuss possible extensions to the discrete Husimi and Glauber-Sudarshan functions, as well as future investigations on multipartite quantum states.


title: High-dimensional quantum teleportation under noisy environments

abstract: We study the protocol of qudit teleportation using quantum systems subjected to several kinds of noise for arbitrary dimensionality $d$. We consider four classes of noise: dit-flip, $d$-phase-flip, dit-phase-flip and depolarizing, each of them corresponding to a family of Weyl operators, introduced via Kraus formalism. We derive a general expression for the average fidelity of teleportation in arbitrary dimension $d$ for any combination of noise on the involved qudits. Under a different approach we derive the average fidelity of teleportation for a more general scenario involving the $d$-dimensional generalization of amplitude damping noise as well. We show that all possible scenarios may be classified in four different behaviours and discuss the cases in which it is possible to improve the fidelity by increasing the associated noise fractions. All our results are in agreement with previous analysis by Fortes and Rigolin for the case of qubits (Phys. Rev. A, 92 012338, 2015).


title: Simultaneous Semantic Segmentation and Outlier Detection in Presence of Domain Shift

abstract: Recent success on realistic road driving datasets has increased interest in exploring robust performance in real-world applications. One of the major unsolved problems is to identify image content which can not be reliably recognized with a given inference engine. We therefore study approaches to recover a dense outlier map alongside the primary task with a single forward pass, by relying on shared convolutional features. We consider semantic segmentation as the primary task and perform extensive validation on WildDash val (inliers), LSUN val (outliers), and pasted objects from Pascal VOC 2007 (outliers). We achieve the best validation performance by training to discriminate inliers from pasted ImageNet-1k content, even though ImageNet-1k contains many road-driving pixels, and, at least nominally, fails to account for the full diversity of the visual world. The proposed two-head model performs comparably to the C-way multi-class model trained to predict uniform distribution in outliers, while outperforming several other validated approaches. We evaluate our best two models on the WildDash test dataset and set a new state of the art on the WildDash benchmark.