title: Cross Subspace Alignment Codes for Coded Distributed Batch Computation

abstract: Coded distributed batch computation distributes a computation task, such as matrix multiplication, $N$-linear computation, or multivariate polynomial evaluation, across $S$ servers through a coding scheme, such that the response from any $R$ servers ($R$ is called the recovery threshold) is sufficient for the user to recover the desired computed value. Current approaches are based on either exclusively matrix-partitioning (Entangled Polynomial (EP) Codes for matrix multiplication), or exclusively batch processing (Lagrange Coded Computing (LCC)). We present three related classes of codes, based on the idea of Cross-Subspace Alignment (CSA) which was introduced originally in the context of private information retrieval. CSA codes are characterized by a Cauchy-Vandermonde matrix structure that facilitates interference alignment along Vandermonde terms, while the desired computations remain resolvable along the Cauchy terms. These codes unify, generalize and improve upon the state-of-art codes for distributed computing. First we introduce CSA codes for matrix multiplication, which yield LCC codes as a special case, and are shown to outperform LCC codes in general over strictly download-limited settings. Next, we introduce Generalized CSA (GCSA) codes for matrix multiplication that bridge the extremes of matrix-partitioning and batch processing approaches. Finally, we introduce $N$-CSA codes for $N$-linear distributed batch computations and multivariate batch polynomial evaluations. $N$-CSA codes include LCC codes as a special case, and are in general capable of achieving significantly lower downloads than LCC codes due to cross-subspace alignment. Generalizations of $N$-CSA codes to include $X$-secure data and $B$-byzantine servers are also obtained.


title: Efficient Bimanual Manipulation Using Learned Task Schemas

abstract: We address the problem of effectively composing skills to solve sparse-reward tasks in the real world. Given a set of parameterized skills (such as exerting a force or doing a top grasp at a location), our goal is to learn policies that invoke these skills to efficiently solve such tasks. Our insight is that for many tasks, the learning process can be decomposed into learning a state-independent task schema (a sequence of skills to execute) and a policy to choose the parameterizations of the skills in a state-dependent manner. For such tasks, we show that explicitly modeling the schema's state-independence can yield significant improvements in sample efficiency for model-free reinforcement learning algorithms. Furthermore, these schemas can be transferred to solve related tasks, by simply re-learning the parameterizations with which the skills are invoked. We find that doing so enables learning to solve sparse-reward tasks on real-world robotic systems very efficiently. We validate our approach experimentally over a suite of robotic bimanual manipulation tasks, both in simulation and on real hardware. See videos at http://tinyurl.com/chitnis-schema.


title: Expressive Inverse Kinematics Solving in Real-time for Virtual and Robotic Interactive Characters

abstract: With new advancements in interaction techniques, character animation also requires new methods, to support fields such as robotics, and VR/AR. Interactive characters in such fields are becoming driven by AI which opens up the possibility of non-linear and open-ended narratives that may even include interaction with the real, physical world. This paper presents and describes ERIK, an expressive inverse kinematics technique aimed at such applications. Our technique allows an arbitrary kinematic chain, such as an arm, snake, or robotic manipulator, to exhibit an expressive posture while aiming its end-point towards a given target orientation. The technique runs in interactive-time and does not require any pre-processing step such as e.g. training in machine learning techniques, in order to support new embodiments or new postures. That allows it to be integrated in an artist-friendly workflow, bringing artists closer to the development of such AI-driven expressive characters, by allowing them to use their typical animation tools of choice, and to properly pre-visualize the animation during design-time, even on a real robot. The full algorithmic specification is presented and described so that it can be implemented and used throughout the communities of the various fields we address. We demonstrate ERIK on different virtual kinematic structures, and also on a low-fidelity robot that was crafted using wood and hobby-grade servos, to show how well the technique performs even on a low-grade robot. Our evaluation shows how well the technique performs, i.e., how well the character is able to point at the target orientation, while minimally disrupting its target expressive posture, and respecting its mechanical rotation limits.


title: First-principles theory of proximity spin-orbit torque on a two-dimensional magnet: Current-driven antiferromagnet-to-ferromagnet reversible transition in bilayer CrI$_3$

abstract: The recently discovered two-dimensional (2D) magnetic insulator CrI$_3$ is an intriguing case for basic research and spintronic applications since it is a ferromagnet in the bulk, but an antiferromagnet in bilayer form, with its magnetic ordering amenable to external manipulations. Using first-principles quantum transport approach, we predict that injecting unpolarized charge current parallel to the interface of bilayer-CrI$_3$/monolayer-TaSe$_2$ van der Waals heterostructure will induce spin-orbit torque (SOT) and thereby driven dynamics of magnetization on the first monolayer of CrI$_3$ in direct contact with TaSe$_2$. By combining calculated complex angular dependence of SOT with the Landau-Lifshitz-Gilbert equation for classical dynamics of magnetization, we demonstrate that current pulses can switch the direction of magnetization on the first monolayer to become parallel to that of the second monolayer, thereby converting CrI$_3$ from antiferromagnet to ferromagnet while not requiring any external magnetic field. We explain the mechanism of this reversible current-driven nonequilibrium phase transition by showing that first monolayer of CrI$_3$ carries current due to evanescent wavefunctions injected by metallic transition metal dichalcogenide TaSe$_2$, while concurrently acquiring strong spin-orbit coupling (SOC) via such proximity effect, whereas the second monolayer of CrI$_3$ remains insulating. The transition can be detected by passing vertical read current through the vdW heterostructure, encapsulated by bilayer of hexagonal boron nitride and sandwiched between graphite electrodes, where we find tunneling magnetoresistance of $\simeq 240$%.


title: A Recurrent Ising Machine in a Photonic Integrated Circuit

abstract: Conventional computing architectures have no known efficient algorithms for combinatorial optimization tasks, which are encountered in fundamental areas and real-world practical problems including logistics, social networks, and cryptography. Physical machines have recently been proposed and implemented as an alternative to conventional exact and heuristic solvers for the Ising problem, one such optimization task that requires finding the ground state spin configuration of an arbitrary Ising graph. However, these physical approaches usually suffer from decreased ground state convergence probability or universality for high edge-density graphs or arbitrary graph weights, respectively. We experimentally demonstrate a proof-of-principle integrated nanophotonic recurrent Ising sampler (INPRIS) capable of converging to the ground state of various 4-spin graphs with high probability. The INPRIS exploits experimental physical noise as a resource to speed up the ground state search. By injecting additional extrinsic noise during the algorithm iterations, the INPRIS explores larger regions of the phase space, thus allowing one to probe noise-dependent physical observables. Since the recurrent photonic transformation that our machine imparts is a fixed function of the graph problem, and could thus be implemented with optoelectronic architectures that enable GHz clock rates (such as passive or non-volatile photonic circuits that do not require reprogramming at each iteration), our work paves a way for orders-of-magnitude speedups in exploring the solution space of combinatorially hard problems.


title: Exact Lorentz-violating $q$-deformed O($N$) universality class

abstract: We examine the influence of exact Lorentz-violating symmetry mechanism on the radiative quantum corrections to the critical exponents for massless $q$-deformed O($N$) $\lambda\phi^{4}$ scalar field theories. For that, we employ three different and independent field-theoretic renormalization group methods for computing analytically the $q$-deformed critical exponents up to next-to-leading order. Then we generalize the former finite loop level results for any loop order. We show that the Lorentz-violating $q$-deformed critical exponents, obtained through the three methods, turn out to be identical and furthermore the same as their Lorentz-invariant $q$-deformed ones. We argue that this result is in accordance with the universality hypothesis.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Higher-Rank Tensor Field Theory of Non-Abelian Fracton and Embeddon

abstract: We formulate a new class of tensor gauge field theories in any dimension that is a hybrid class between symmetric higher-rank tensor gauge theory (i.e., higher-spin gauge theory) and anti-symmetric tensor topological field theory. Our theory describes a mixed unitary phase interplaying between gapless and gapped topological order phases (which can live with or without Euclidean, Poincar\'e or anisotropic symmetry, at least in ultraviolet high or intermediate energy field theory, but not yet to a lattice cutoff scale). The "gauge structure" can be compact, continuous, abelian or non-abelian. Our theory sits outside the paradigm of Maxwell electromagnetic theory in 1865 and Yang-Mills isospin/color theory in 1954. We discuss its local gauge transformation in terms of the ungauged vector-like or tensor-like higher-moment global symmetry. The non-abelian gauge structure is caused by gauging the non-commutative symmetries: a higher-moment symmetry and a charge conjugation (particle-hole) symmetry. Vector global symmetries along time direction may exhibit time crystals. We explore the relation of these long-range entangled matters to a non-abelian generalization of Fracton order in condensed matter, a field theory formulation of foliation, the spacetime embedding and Embeddon that we newly introduce, and possible fundamental physics applications to dark matter or dark energy.


title: Vortex end Majorana zero modes in superconducting Dirac and Weyl semimetals

abstract: Time-reversal invariant (TRI) Dirac and Weyl semimetals in three dimensions (3D) can host open Fermi arcs and spin-momentum locking Fermi loops on the surfaces. We find that when they become superconducting with $s$-wave pairing and the doping is lower than a critical level, straight $\pi$-flux vortex lines terminating at surfaces with Fermi arcs or spin-momentum locking Fermi loops can realize 1D topological superconductivity and harbor Majorana zero modes at their ends. Remarkably, we find that the vortex-generation-associated Zeeman field can open (when the surfaces have only Fermi arcs) or enhance the topological gap protecting Majorana zero modes, which is contrary to the situation in superconducting topological insulators. By studying the tilting effect of bulk Dirac and Weyl cones, we further find that type-I Dirac and Weyl semimetals in general have a much broader topological regime than type-II ones. Our findings build up a connection between TRI Dirac and Weyl semimetals and Majorana zero modes in vortices.

categories: cond-mat.supr-con cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.str-el quant-ph


title: Demonstration of ThGEM-Multiwire Hybrid Charge Readout for Directional Dark Matter Searches

abstract: Sensitivities of current directional dark matter search detectors using gas time projection chambers are now constrained by target mass. A ton-scale gas TPC detector will require large charge readout areas. We present a first demonstration of a novel ThGEM-Multiwire hybrid charge readout technology which combines the robust nature and high gas gain of Thick Gaseous Electron Multipliers with lower capacitive noise of a one-plane multiwire charge readout in SF$_6$ target gas. Measurements performed with this hybrid detector show an ion drift velocity of $139~\pm~12~\text{ms}^{-1}$ in a reduced drift field $\text{E/N}$ of $93~\text{Td}~(10^{-17}~\text{V cm}^{2})$ at a gas gain of $2470\pm160$ in 20 Torr of pure SF$_\text{6}$ target gas.

categories: physics.ins-det astro-ph.IM hep-ex physics.app-ph


title: Time evolution with symmetric stochastic action

abstract: Quantum dynamical time-evolution of bosonic fields is shown to be equivalent to a stochastic trajectory in space-time, corresponding to samples of a statistical mechanical steady-state in a higher dimensional quasi-time. This is proved using the Q-function of quantum theory with time-symmetric diffusion, that is equivalent to a forward-backward stochastic process in both the directions of time. The resulting probability distribution has a positive, time-symmetric action principle and path integral, whose solution corresponds to a classical field equilibrating in an additional dimension. Comparisons are made to stochastic quantization and other higher dimensional physics proposals. Five-dimensional space-time was originally introduced by Kaluza and Klein, and is now widely proposed in cosmology and particle physics. Time-symmetric action principles for quantum fields are also related to electrodynamical absorber theory, which is known to be capable of violating a Bell inequality. We give numerical methods and examples of solutions to the resulting stochastic partial differential equations in a higher time-dimension, giving agreement with exact solutions for soluble boson field quantum dynamics. This approach may lead to useful computational techniques for quantum field theory, as the action principle is real, as well as to ontological models of physical reality.


title: Substrate Stiffness Changes Cell Rolling and Adhesion over L-selectin Coated Surface in a Viscous Shear Flow

abstract: Understanding the rolling and adhesion behavior of a cell on the vascular surface under viscous shear flow is important to better understand many biological processes. One of the important examples is the adhesion of the leukocytes onto sites of an inflammation. Recently, researchers have started to investigate the effects of surface rigidity on the cell rolling and adhesion. Inspired by recent studies, we employed Adhesive dynamics to investigate effects of substrate rigidity on a rolling cell in a hydrodynamic flow.


title: A memory theoretic approach for investigating the roles of language and intuition in mathematical thinking activities

abstract: Questions concerning origin of mathematical knowledge and roles of language and intuition (imagery) in mathematical thoughts are long standing and widely debated. By introspection, mathematicians usually have some beliefs regarding these questions. But these beliefs are usually in a big contrast with the recent cognitive theoretic findings concerning mathematics. Contemporary cognitive science opens new approaches to reformulate the fundamental questions concerning mathematics and helps mathematicians break through the Platonic beliefs about the essence and sources of mathematical knowledge. In this article, we introduce and discuss mathematical thinking activities and fundamental processes such as symbolic/formal and visual/spatial ones. Two different aspects of mathematics should be separated in mathematical cognition. One aspect considers mathematics as an explicit crystallized knowledge. The other aspect considers mathematics as an ongoing and transient mental processing. The cognitive processes and corresponding tasks involved in these aspects are different. Ongoing mathematical activities both elementary and advanced, demand working memory resources. Using dual-task techniques, we design some pilot experiments to differentiate the symbolic/formal and visual/spatial processes. Using this memory theoretic approach, we explain the crucial roles of language-based processes such as verbal articulation and instructive speech and also visuo-spatial intuition such as spatial imagery and mental movement in various aspects of mathematics.


title: Meta-Graph Based HIN Spectral Embedding: Methods, Analyses, and Insights

abstract: In this work, we propose to study the utility of different meta-graphs, as well as how to simultaneously leverage multiple meta-graphs for HIN embedding in an unsupervised manner. Motivated by prolific research on homogeneous networks, especially spectral graph theory, we firstly conduct a systematic empirical study on the spectrum and embedding quality of different meta-graphs on multiple HINs, which leads to an efficient method of meta-graph assessment. It also helps us to gain valuable insight into the higher-order organization of HINs and indicates a practical way of selecting useful embedding dimensions. Further, we explore the challenges of combining multiple meta-graphs to capture the multi-dimensional semantics in HIN through reasoning from mathematical geometry and arrive at an embedding compression method of autoencoder with $\ell_{2,1}$-loss, which finds the most informative meta-graphs and embeddings in an end-to-end unsupervised manner. Finally, empirical analysis suggests a unified workflow to close the gap between our meta-graph assessment and combination methods. To the best of our knowledge, this is the first research effort to provide rich theoretical and empirical analyses on the utility of meta-graphs and their combinations, especially regarding HIN embedding. Extensive experimental comparisons with various state-of-the-art neural network based embedding methods on multiple real-world HINs demonstrate the effectiveness and efficiency of our framework in finding useful meta-graphs and generating high-quality HIN embeddings.


title: Neural Embedding Propagation on Heterogeneous Networks

abstract: Classification is one of the most important problems in machine learning. To address label scarcity, semi-supervised learning (SSL) has been intensively studied over the past two decades, which mainly leverages data affinity modeled by networks. Label propagation (LP), however, as the most popular SSL technique, mostly only works on homogeneous networks with single-typed simple interactions. In this work, we focus on the more general and powerful heterogeneous networks, which accommodate multi-typed objects and links, and thus endure multi-typed complex interactions. Specifically, we propose \textit{neural embedding propagation} (NEP), which leverages distributed embeddings to represent objects and dynamically composed modular networks to model their complex interactions. While generalizing LP as a simple instance, NEP is far more powerful in its natural awareness of different types of objects and links, and the ability to automatically capture their important interaction patterns. Further, we develop a series of efficient training strategies for NEP, leading to its easy deployment on real-world heterogeneous networks with millions of objects. With extensive experiments on three datasets, we comprehensively demonstrate the effectiveness, efficiency, and robustness of NEP compared with state-of-the-art network embedding and SSL algorithms.


title: Spatial methods and their applications to environmental and climate data

abstract: Environmental and climate processes are often distributed over large space-time domains. Their complexity and the amount of available data make modelling and analysis a challenging task. Statistical modelling of environment and climate data can have several different motivations including interpretation or characterisation of the data. Results from statistical analysis are often used as a integral part of larger environmental studies. Spatial statistics is an active and modern statistical field, concerned with the quantitative analysis of spatial data; their dependencies and uncertainties. Spatio-temporal statistics extends spatial statistics through the addition of time to the, two or three, spatial dimensions. The focus of this introductory paper is to provide an overview of spatial methods and their application to environmental and climate data. This paper also gives an overview of several important topics including large data sets and non-stationary covariance structures. Further, it is discussed how Bayesian hierarchical models can provide a flexible way of constructing models. Hierarchical models may seem to be a good solution, but they have challenges of their own such as, parameter estimation. Finally, the application of spatio-temporal models to the LANDCLIM data (LAND cover - CLIMate interactions in NW Europe during the Holocene) will be discussed.


title: Some results on domination number of the graph defined by two levels of the n-cube

abstract: Let ${[n] \choose k}$ and ${[n] \choose l}$ $( k > l ) $ where $[n] = \{1,2,3,...,n\}$ denote the family of all $k$-element subsets and $l$-element subsets of $[n]$ respectively. Define a bipartite graph $G_{k,l} = ({[n] \choose k},{[n] \choose l},E)$ such that two vertices $S\, \epsilon \,{[n] \choose k} $ and $T\, \epsilon \,{[n] \choose l} $ are adjacent if and only if $T \subset S$. In this paper, we give an upper bound for the domination number of graph $G_{k,2}$ for $k > \lceil \frac{n}{2} \rceil$ and exact value for $k=n-1$.


title: $\frac{1}{2}$ Calabi-Yau 3-folds, Calabi-Yau 3-folds as double covers, and F-theory with U(1)s

abstract: In this study, we introduce a new class of rational elliptic 3-folds, which we refer to as "1/2 Calabi-Yau 3-folds". We construct elliptically fibered Calabi-Yau 3-folds by utilizing these rational elliptic 3-folds. The construction yields a novel approach to build elliptically fibered Calabi-Yau 3-folds of various Mordell-Weil ranks. Our construction of Calabi-Yau 3-folds can be considered as a three-dimensional generalization of the operation of gluing pairs of 1/2 K3 surfaces to yield elliptic K3 surfaces. From one to seven $U(1)$s form in six-dimensional $N=1$ F-theory on the constructed Calabi-Yau 3-folds. Seven tensor multiplets arise in these models.


title: Primordial plasma: influence of non-ideality on equilibrium radiation

abstract: The asymptotic behavior of the equilibrium radiation in Maxwellian plasma is studied for the low--frequency region. It is shown, that the equilibrium radiation can essentially deviate from the Planck law even for a weakly non-ideal plasma. The deviation from the Planck distribution is described by the transverse dielectric permittivity which takes into account both frequency and spatial dispersion. The influence of plasma non-ideality increases with the non-ideality parameter in the dielectric permittivity. The spectral energy distribution of the equilibrium radiation essentially changes in the region of observable frequencies. At asymptotically low frequencies, the equilibrium radiation begins to exhibit power behavior instead the logarithmic one. The results indicate that the spectral energy distribution of radiation could be different then the Planck one in the primordial plasma of the early Universe.


title: Spectral Distance on Lorentzian Moyal Plane

abstract: We present here a completely operatorial approach, using Hilbert-Schmidt operators, to compute spectral distances between time-like separated "events ", associated with the pure states of the algebra describing the Lorentzian Moyal plane, using the axiomatic framework given by [13, 14]. The result shows no deformations of non-commutative origin, as in the Euclidean case.


title: Data-Driven Model Set Design for Model Averaged Particle Filter

abstract: This paper is concerned with sequential state filtering in the presence of nonlinearity, non-Gaussianity and model uncertainty. For this problem, the Bayesian model averaged particle filter (BMAPF) is perhaps one of the most efficient solutions. Major advances of BMAPF have been made, while it still lacks a generic and practical approach to design the model set. This paper fills in this gap by proposing a generic data-driven method for BMAPF model set design. Unlike existent methods, the proposed solution does not require any prior knowledge on the parameter value of the true model; it only assumes that a small number of noisy observations are pre-obtained. The Bayesian optimization (BO) method is adapted to search the model components, each of which is associated with a specific segment of the pre-obtained dataset.The average performance of these model components is guaranteed since each one's parameter value is elaborately tuned via BO to maximize the marginal likelihood. The diversity in the model components is also ensured, as different components match the different segments of the pre-obtained dataset, respectively. Computer simulations are used to demonstrate the effectiveness of the proposed method.


title: Higgs boson potential at colliders: status and perspectives

abstract: This document summarises the current theoretical and experimental status of the di-Higgs boson production searches, and of the direct and indirect constraints on the Higgs boson self-coupling, with the wish to serve as a useful guide for the next years. The document discusses the theoretical status, including state-of-the-art predictions for di-Higgs cross sections, developments on the effective field theory approach, and studies on specific new physics scenarios that can show up in the di-Higgs final state. The status of di-Higgs searches and the direct and indirect constraints on the Higgs self-coupling at the LHC are presented, with an overview of the relevant experimental techniques, and covering all the variety of relevant signatures. Finally, the capabilities of future colliders in determining the Higgs self-coupling are addressed, comparing the projected precision that can be obtained in such facilities. The work has started as the proceedings of the Di-Higgs workshop at Colliders, held at Fermilab from the 4th to the 9th of September 2018, but it went beyond the topics discussed at that workshop and included further developments.


title: Exploring Regularized Maximum Likelihood Reconstruction for Stellar Imaging with the ngVLA

abstract: The proposed next-generation Very Large Array (ngVLA) will enable the imaging of astronomical sources in unprecedented detail by providing an order of magnitude improvement in sensitivity and angular resolution compared with radio interferometers currently operating at 1.2--116~GHz. However, the current ngVLA array design results in a highly non-Gaussian dirty beam that may make it difficult to achieve high-fidelity images with both maximum sensitivity and maximum angular resolution using traditional CLEAN deconvolution methods. This challenge may be overcome with regularized maximum-likelihood (RML) methods, a new class of imaging techniques developed for the Event Horizon Telescope. RML methods take a forward-modeling approach, directly solving for the images without using either the dirty beam or the dirty map. Consequently, this method has the potential to improve the fidelity and effective angular resolution of images produced by the ngVLA. As an illustrative case, we present ngVLA imaging simulations of stellar radio photospheres performed with both multi-scale (MS-) CLEAN and RML methods implemented in the CASA and SMILI packages, respectively. We find that both MS-CLEAN and RML methods can provide high-fidelity images recovering most of the representative structures for different types of stellar photosphere models. However, RML methods show better performance than MS-CLEAN for various stellar models in terms of goodness-of-fit to the data, residual errors of the images, and in recovering representative features in the ground truth images. Our simulations support the feasibility of transformative stellar imaging science with the ngVLA, and simultaneously demonstrate that RML methods are an attractive choice for ngVLA imaging.


title: $Z^\prime$ models with less-minimal flavour violation

abstract: We study the phenomenology of simplified $Z^\prime$ models with a global $U(2)^3$ flavour symmetry in the quark sector, broken solely by the Standard Model Yukawa couplings. This flavour symmetry, known as less-minimal flavour violation, protects $\Delta F=2$ processes from dangerously large new physics (NP) effects, and at the same time provides a free complex phase in $b\to s$ transitions, allowing for an explanation of the hints for additional direct CP violation in kaon decays ($\epsilon^\prime/\epsilon$) and in hadronic $B$-decays ($B\to K\pi$ puzzle). Furthermore, once the couplings of the $Z^\prime$ boson to the leptons are included, it is possible to address the intriguing hints for NP (above the 5$\,\sigma$ level) in $b\to s \ell^+\ell^-$ transitions. Taking into account all flavour observables in a global fit, we find that $\epsilon^\prime/\epsilon$, the $B\to K\pi$ puzzle and $b\to s \ell^+\ell^-$ data can be explained simultaneously. Sizeable CP violation in $b\to s \ell^+\ell^-$ observables, in particular $A_8$, is predicted, which can be tested in the near future, and an explanation of the $B\to K\pi$ and $\epsilon^\prime/\epsilon$ puzzles leads to effects in di-jet tails at the LHC, that are not far below the current limits. Once $b\to s \ell^+\ell^-$ is included, cancellations in di-muon tails, possibly by a second $Z^\prime$, are required by LHC data.


title: Direct Detection of Dark Matter Substructure in Strong Lens Images with Convolutional Neural Networks

abstract: Strong gravitational lensing is a promising way of uncovering the nature of dark matter, by finding perturbations to images that cannot be well accounted for by modeling the lens galaxy without additional structure, be it subhalos (smaller halos within the smooth lens) or line-of-sight (LOS) halos. We present results attempting to infer the presence of substructure from images without requiring an intermediate step in which a smooth model has to be subtracted, using a simple convolutional neural network (CNN). We find that the network is only able to infer the presence of subhalos with $>75\%$ accuracy when they have masses of $\geq 5 \times 10^9$M$_{\odot}$ if they lie within the main lens galaxy. Since less massive foreground LOS halos can have the same effect as higher mass subhalos, the CNN can probe lower masses in the halo mass function. The accuracy does not improve significantly if we add a population of less massive subhalos. With the expectation of experiments such as HST and Euclid yielding thousands of high-quality strong lensing images in the next years, having a way of analyzing images quickly to identify candidates that merit further analysis to determine individual subhalo properties while preventing extensive resources being used for images that would yield null detections could be very useful. By understanding the sensitivity as a function of substructure mass, non-detections could be combined with the information from images with substructure to constrain the cold dark matter scenario, in particular if the sensitivity can be pushed to lower masses.

categories: astro-ph.CO astro-ph.HE astro-ph.IM hep-ph physics.data-an


title: Binary white dwarfs and decihertz gravitational wave observations: From the Hubble constant to supernova astrophysics

abstract: Coalescences of binary white dwarfs represent a copious source of information for gravitational wave interferometers operating in the decihertz band. Moreover, according to the double degenerate scenario, they have been suggested to be possible progenitors of supernovae (SNe) Type Ia events. In this paper we discuss the detectability of gravitational waves emitted by the inspiral of double white dwarfs. We focus on the constraints that can be derived on the source's luminosity distance, and on other binary's parameters, such as the angular momentum orientation. We explore the possibility of coincident detections of gravitational and electromagnetic signals; the latter comes from the observation of the supernova counterpart. Confirmation of the double degenerate scenario would allow one to use distances inferred in the gravitational wave channel to consistently calibrate SNe as standard candles. We find that decihertz gravitational wave interferometers can measure the luminosity distance with relative accuracy better than $1\%$ for binaries at 100 Mpc. We show how multimessenger observations can put strong constraints on the Hubble constant, which are tighter than current bounds at low redshift, and how they can potentially shed new light on the differences with early-universe measurements.


title: Correlations Between Black Holes and Host Galaxies in the Illustris and IllustrisTNG Simulations

abstract: We study black hole - host galaxy correlations, and the relation between the over-massiveness (the distance from the average $M_{BH}-\sigma$ relation) of super-massive black holes (SMBHs) and star formation histories of their host galaxies in the Illustris and TNG100 simulations. We find that both simulations are able to produce black hole scaling relations in general agreement with observations at $z=0$, but with noticeable discrepancies. Both simulations show an offset from the observations for the $M_{BH}-\sigma$ relation, and the relation between $M_{BH}$ and the Sersic index. The relation between $M_{BH}$ and stellar mass $M_*$ is tighter than the observations, especially for TNG100. For massive galaxies in both simulations, the hosts of over-massive SMBHs (those above the mean $M_{BH}-\sigma$ relation) tend to have larger Sersic indices and lower baryon conversion efficiency, suggesting a multidimensional link between SMBHs and properties of their hosts. In Illustris, the hosts of over-massive SMBHs have formed earlier and have lower present-day star formation rates, in qualitative agreement with the observations for massive galaxies with $\sigma>100 \rm km/s$. For low-mass galaxies, such a correlation still holds in Illustris but does not exist in the observed data. For TNG100, the correlation between SMBH over-massiveness and star formation history is much weaker. The hosts of over-massive SMBHs generally have consistently larger star formation rates throughout history. These galaxies have higher stellar mass as well, due to the strong $M_{BH}-M_*$ correlation. Our findings show that simulated SMBH scaling relations and correlations are sensitive to features in the modeling of SMBHs.


title: Enhanced thermal Hall effect in nearly ferroelectric insulators

abstract: In the context of recent experimental observations of an unexpectedly large thermal Hall conductivity, $\kappa_H$, in insulating $\mathrm{La_2CuO_4}$ (LCO) and $\mathrm{SrTiO_3}$ (STO), we theoretically explore conditions under which acoustic phonons can give rise to such a large $\kappa_H$. Both the intrinsic and extrinsic contributions to $\kappa_H$ are large in proportion to the dielectric constant, $\epsilon$, and the flexoelectric coupling, $F$. While the intrinsic contribution is still orders of magnitude smaller than the observed effect, an extrinsic contribution proportional to the phonon mean free path appears likely to account for the observations, at least in STO. We predict a larger intrinsic $\kappa_H$ in certain insulating perovskites.


title: Non-Gaussian processes and neural networks at finite widths

abstract: Gaussian processes are ubiquitous in nature and engineering. A case in point is a class of neural networks in the infinite-width limit, whose priors correspond to Gaussian processes. Here we perturbatively extend this correspondence to finite-width neural networks, yielding non-Gaussian processes as priors. The methodology developed herein allows us to track the flow of preactivation distributions by progressively integrating out random variables from lower to higher layers, reminiscent of renormalization-group flow. We further develop a perturbative procedure to perform Bayesian inference with weakly non-Gaussian priors.


title: Scalable probes of measurement-induced criticality

abstract: We uncover a local order parameter for measurement-induced phase transitions: the average entropy of a single reference qubit initially entangled with the system. Using this order parameter, we identify scalable probes of measurement-induced criticality (MIC) that are immediately applicable to advanced quantum computing platforms. We test our proposal on a 1+1 dimensional stabilizer circuit model that can be classically simulated in polynomial time. We introduce the concept of a "decoding light cone" to establish the local and efficiently measurable nature of this probe. We also estimate bulk and surface critical exponents for the transition. Developing scalable probes of MIC in more general models may be a useful application of noisy-intermediate scale quantum (NISQ) devices, as well as point to more efficient realizations of fault-tolerant quantum computation.

categories: cond-mat.stat-mech cond-mat.dis-nn hep-th quant-ph


title: Adiabatic hydrodynamization in rapidly-expanding quark-gluon plasma

abstract: We propose a new scenario characterizing the transition of the quark-gluon plasma (QGP) produced in heavy-ion collisions from a highly non-equilibrium state at early times toward a fluid described by hydrodynamics at late times. We develop an analogy to the evolution of a quantum mechanical system that is governed by the instantaneous ground states. In the simplest case, these slow modes are "pre-hydrodynamic" in the sense that they are initially distinct from, but evolve continuously into, hydrodynamic modes. For a class of collision integrals, the pre-hydrodynamic mode represents the angular distribution (in momentum space) of those gluons that carry most of the energy. We illustrate this scenario using a kinetic description of weakly-coupled Bjorken expanding plasma. Rapid longitudinal expansion drives a reduction in the degrees of freedom at early times. In the relaxation time approximation for the collision integral, we show quantitatively that the full kinetic theory evolution is dominated by the pre-hydrodynamic mode. We elaborate on the criterion for the dominance of pre-hydrodynamic slow modes and speculate that adiabatic hydrodynamization may describe the pre-equilibrium behavior of the QGP produced in heavy-ion collisions.


title: Beyond $\Lambda$CDM with HI intensity mapping: robustness of cosmological constraints in the presence of astrophysics

abstract: Mapping the unresolved intensity of the 21-cm emission of neutral hydrogen (HI) is now regarded as one the most promising tools for cosmological investigation in the coming decades. Here, we investigate, for the first time, extensions of the standard cosmological model, such as modified gravity and primordial non-Gaussianity, taking self-consistently into account the present constraints on the astrophysics of HI clustering in the treatment of the brightness temperature fluctuations. To understand the boundaries within which results thus obtained can be considered reliable, we examine the robustness of cosmological parameter estimation performed via studies of 21-cm intensity mapping, against our knowledge of the astrophysical processes leading to HI clustering. Modelling of astrophysical effects affects cosmological observables through the relation linking the overall HI mass in a bound object, to the mass of the underlying dark matter halo that hosts it. We quantify the biases in estimates of standard cosmological parameters and those describing modified gravity and primordial non-Gaussianity, that are obtained if one misconceives the slope of the relation between HI mass and halo mass, or the lower virial velocity cut-off for a dark matter halo to be able to host HI. Remarkably, we find that astrophysical uncertainties will not affect searches for primordial non-Gaussianity - one of the strongest science cases for HI intensity mapping - despite the signal being deeply linked to the HI bias.


title: Multiparticle interactions for ultracold atoms in optical tweezers: Cyclic ring-exchange terms

abstract: Dominant multi-particle interactions can give rise to exotic physical phases with anyonic excitations and phase transitions without local order parameters. In spin systems with a global $SU(N)$ symmetry, cyclic ring-exchange couplings constitute the first higher-order interaction in this class. In this letter we propose a protocol how $SU(N)$ invariant multi-body interactions can be implemented in optical tweezer arrays. We utilize the flexibility to re-arrange the tweezer configuration on time scales short compared to the typical lifetimes, in combination with strong non-local Rydberg interactions. As a specific example we demonstrate how a chiral cyclic ring-exchange Hamiltonian can be implemented in a two-leg ladder geometry. We study its phase diagram using DMRG simulations and identify phases with dominant vector chirality, a ferromagnet, and an emergent spin-$1$ Haldane phase. We also discuss how the proposed protocol can be utilized to implement the strongly frustrated $J-Q$ model, a candidate for hosting a deconfined quantum critical point.


title: Neural Canonical Transformation with Symplectic Flows

abstract: Canonical transformation plays a fundamental role in simplifying and solving classical Hamiltonian systems. We construct flexible and powerful canonical transformations as generative models using symplectic neural networks. The model transforms physical variables towards a latent representation with an independent harmonic oscillator Hamiltonian. Correspondingly, the phase space density of the physical system flows towards a factorized Gaussian distribution in the latent space. Since the canonical transformation preserves the Hamiltonian evolution, the model captures nonlinear collective modes in the learned latent representation. We present an efficient implementation of symplectic neural coordinate transformations and two ways to train the model. The variational free energy calculation is based on the analytical form of physical Hamiltonian. While the phase space density estimation only requires samples in the coordinate space for separable Hamiltonians. We demonstrate appealing features of neural canonical transformation using toy problems including two-dimensional ring potential and harmonic chain. Finally, we apply the approach to real-world problems such as identifying slow collective modes in alanine dipeptide and conceptual compression of the MNIST dataset.

categories: cond-mat.stat-mech cs.LG physics.comp-ph stat.ML


title: A carbon-rich hot bubble in the planetary nebula NGC 5189

abstract: We present the discovery of extended X-ray emission from the planetary nebula (PN) NGC 5189 around the [WO1]-type WD 1330-657 with XMM-Newton. The X-ray-emitting gas fills the cavities detected in the Hubble Space Telescope [O III] narrow-band image and presents a limb-brightened morphology towards the outer edges of the east and west lobes. The bulk of the X-ray emission is detected in the soft (0.3 - 0.7 keV) band with the XMM-Newton EPIC spectra dominated by the C VI Ly$\alpha$ line at 0.37 keV (=33.7 \AA). Spectral analysis resulted in carbon and neon abundances 38 and 6 times their solar values, with a plasma temperature of $kT=0.14\pm0.01$ keV ($T=1.6\times10^{6}$ K) and X-ray luminosity of $L_\mathrm{X}=(2.8\pm0.8)\times10^{32}$ erg s$^{-1}$. NGC 5189 is an evolved and extended PN ($\lesssim$0.70 pc in radius), thus, we suggest that the origin of its X-ray emission is consistent with the born-again scenario in which the central star becomes carbon-rich through an eruptive very late thermal pulse, subsequently developing a fast, carbon-rich wind powering the X-ray emission as suggested for A30 and A78.


title: Conformal symmetry breaking in holographic QCD

abstract: In this paper, we investigate a simple holographic model which describes the conformal symmetry breaking at zero temperature. The model is implemented in the context of effective holographic models for QCD described by the Einstein-dilaton equations. The realization of spontaneous conformal symmetry breaking shows a massless state in the spectrum. The existence of this state is confirmed when we compute the two-point correlation function of the scalar operator in the dual field theory, where it has a pole. On the other hand, when there is an explicit conformal symmetry breaking the massless state becomes massive, which in the dual gravitational theory is related to a deformation of the Anti-de Sitter (AdS) background by a massive scalar (dilaton) field. Moreover, we show the mass dependence on the conformal dimension of the lightest state.


title: Test of validity of the force-field approximation with AMS-02 and PAMELA monthly fluxes

abstract: Galactic cosmic rays (GCRs) entering the heliosphere are disturbed by the magnetic field of the Sun, which varies the shape and intensity of their local interstellar spectrum. The force-field approximation is a popular way of dealing with solar modulation, especially for studies focused on galactic transport of cosmic rays. The validity of this approach to reproduce the modulated GCR fluxes at Earth is tested using monthly proton fluxes measured by PAMELA between July 2006 and January 2014 and monthly proton and helium fluxes measured by AMS-02 between May 2011 and May 2017. We show that the precision of the new AMS-02 data requires a rigidity-dependent modification of the force-field approximation.


title: Making $K_{r+1}$-Free Graphs $r$-partite

abstract: The Erd\H{o}s-Simonovits stability theorem states that for all \epsilon >0 there exists \alpha >0 such that if G is a K_{r+1}-free graph on n vertices with e(G) > ex(n,K_{r+1}) - \alpha n^2, then one can remove \epsilon n^2 edges from G to obtain an r-partite graph. F\"uredi gave a short proof that one can choose \alpha=\epsilon. We give a bound for the relationship of \alpha and \varepsilon which is asymptotically sharp as \epsilon \to 0.


title: On current algebras, generalised fluxes and non-geometry

abstract: A Hamiltonian formulation of the classical world-sheet theory in a generic, geometric or non-geometric, NSNS background is proposed. The essence of this formulation is a deformed current algebra, which is solely characterised by the generalised fluxes describing such a background. The construction extends to backgrounds for which there is no Lagrangian description -- namely magnetically charged backgrounds or those violating the strong constraint of double field theory -- at the cost of violating the Jacobi identity of the current algebra. The known non-commutative and non-associative interpretation of non-geometric flux backgrounds is reproduced by means of the deformed current algebra. Furthermore, the provided framework is used to suggest a generalisation of Poisson-Lie $T$-duality to generic models with constant generalised fluxes. As a side note, the relation between Lie and Courant algebroid structures of the string current algebra is clarified.


title: Kitaev quasiparticles in a proximate spin liquid: A many-body localization perspective

abstract: We study the stability of Kitaev quasiparticles in the presence of a perturbing Heisenberg interaction as a Fock space localization phenomenon. We identify parameter regimes where Kitaev states are localized, fractal or delocalized in the Fock space of exact eigenstates, with the first two implying quasiparticle stability. Finite temperature calculations show that a vison gap, and a nonzero plaquette Wilson loop at low temperatures, both characteristic of the deconfined Kitaev spin liquid phase, persist far into the neighboring phase that has a concomitant stripy spin-density wave (SDW) order. The key experimental implication for Kitaev materials is that below a characteristic energy scale, unrelated to the SDW ordering, Kitaev quasiparticles are stable.


title: On Extensions of $\widehat{\mathfrak{gl}(m|n)}$ Kac-Moody algebras and Calabi-Yau Singularities

abstract: We discuss a class of vertex operator algebras $\mathcal{W}_{m|n\times \infty}$ generated by a super-matrix of fields for each integral spin $1,2,3,\dots$. The algebras admit a large family of truncations that are in correspondence with holomorphic functions on the Calabi-Yau singularity given by solutions to $xy=z^mw^n$. We propose a free-field realization of such truncations generalizing the Miura transformation for $\mathcal{W}_N$ algebras. Relations in the ring of holomorphic functions lead to bosonization-like relations between different free-field realizations. The discussion provides a concrete example of a non-trivial interplay between vertex operator algebras, algebraic geometry and gauge theory.


title: LIP: Learning Instance Propagation for Video Object Segmentation

abstract: In recent years, the task of segmenting foreground objects from background in a video, i.e. video object segmentation (VOS), has received considerable attention. In this paper, we propose a single end-to-end trainable deep neural network, convolutional gated recurrent Mask-RCNN, for tackling the semi-supervised VOS task. We take advantage of both the instance segmentation network (Mask-RCNN) and the visual memory module (Conv-GRU) to tackle the VOS task. The instance segmentation network predicts masks for instances, while the visual memory module learns to selectively propagate information for multiple instances simultaneously, which handles the appearance change, the variation of scale and pose and the occlusions between objects. After offline and online training under purely instance segmentation losses, our approach is able to achieve satisfactory results without any post-processing or synthetic video data augmentation. Experimental results on DAVIS 2016 dataset and DAVIS 2017 dataset have demonstrated the effectiveness of our method for video object segmentation task.


title: Hidden Trigger Backdoor Attacks

abstract: With the success of deep learning algorithms in various domains, studying adversarial attacks to secure deep models in real world applications has become an important research topic. Backdoor attacks are a form of adversarial attacks on deep networks where the attacker provides poisoned data to the victim to train the model with, and then activates the attack by showing a specific small trigger pattern at the test time. Most state-of-the-art backdoor attacks either provide mislabeled poisoning data that is possible to identify by visual inspection, reveal the trigger in the poisoned data, or use noise to hide the trigger. We propose a novel form of backdoor attack where poisoned data look natural with correct labels and also more importantly, the attacker hides the trigger in the poisoned data and keeps the trigger secret until the test time. We perform an extensive study on various image classification settings and show that our attack can fool the model by pasting the trigger at random locations on unseen images although the model performs well on clean data. We also show that our proposed attack cannot be easily defended using a state-of-the-art defense algorithm for backdoor attacks.


title: FSPVDsse: A Forward Secure Publicly Verifiable Dynamic SSE scheme

abstract: A symmetric searchable encryption (SSE) scheme allows a client (data owner) to search on encrypted data outsourced to an untrusted cloud server. The search may either be a single keyword search or a complex query search like conjunctive or Boolean keyword search. Information leakage is quite high for dynamic SSE, where data might be updated. It has been proven that to avoid this information leakage an SSE scheme with dynamic data must be forward private. A dynamic SSE scheme is said to be forward private, if adding a keyword-document pair does not reveal any information about the previous search result with that keyword. In SSE setting, the data owner has very low computation and storage power. In this setting, though some schemes achieve forward privacy with honest-but-curious cloud, it becomes difficult to achieve forward privacy when the server is malicious, meaning that it can alter the data. Verifiable dynamic SSE requires the server to give a proof of the result of the search query. The data owner can verify this proof efficiently. In this paper, we have proposed a generic publicly verifiable dynamic SSE (DSSE) scheme that makes any forward private DSSE scheme verifiable without losing forward privacy. The proposed scheme does not require any extra storage at owner-side and requires minimal computational cost as well for the owner. Moreover, we have compared our scheme with the existing results and show that our scheme is practical.


title: Period integrals and Hodge modules

abstract: We define a map $\mathcal{P}_M$ attached to any polarized Hodge module $M$ such that the restriction of $\mathcal{P}_M$ to a locus on which $M$ is a variation of Hodge structures induces the usual period integral pairing for this variation of Hodge structures. In the case that $M$ is the minimal extension of a simple polarized variation of Hodge structures $V$, we show that the homotopy image of $\mathcal{P}_M$ is the minimal extension of the graph morphism of the usual period integral map for $V$.


title: Black Hole State Dependence as a Single Parameter

abstract: It has previously been proposed that the black hole interior of typical state large black holes in AdS can be described using state-dependent operators. We investigate the possibility that the interior can be described by explicit time dependence, which reduces the state-dependence of the interior operators to a single parameter. We also propose to use the natural cone, obtained from Tomita-Takesaki theory, as a candidate construction for the interior operators.


title: Categorical Saito theory, II: Landau-Ginzburg orbifolds

abstract: Let $W\in \mathbb{C}[x_1,\cdots,x_N]$ be an invertible polynomial with an isolated singularity at origin, and let $G\subset {{\sf SL}}_N\cap (\mathbb{C}^*)^N$ be a finite diagonal and special linear symmetry group of $W$. In this paper, we use the category ${{\sf MF}}_G(W)$ of $G$-equivariant matrix factorizations and its associated VSHS to construct a $G$-equivariant version of Saito's theory of primitive forms. We prove there exists a canonical categorical primitive form of ${{\sf MF}}_G(W)$ characterized by $G_W^{{\sf max}}$-equivariance. Conjecturally, this $G$-equivariant Saito theory is equivalent to the genus zero part of the FJRW theory under LG/LG mirror symmetry. In the marginal deformation direction, we verify this for the FJRW theory of $\big(\frac{1}{5}(x_1^5+\cdots+x_5^5),\mathbb{Z}/5\mathbb{Z}\big)$ with its mirror dual B-model Landau-Ginzburg orbifold $\big(\frac{1}{5}(x_1^5+\cdots+x_5^5), (\mathbb{Z}/5\mathbb{Z})^4\big)$. In the case of the Quintic family $\mathcal{W}=\frac{1}{5}(x_1^5+\cdots+x_5^5)-\psi x_1x_2x_3x_4x_5$, we also prove a comparison result of B-model VSHS's conjectured by Ganatra-Perutz-Sheridan.


title: Quasi-exact quantum computation

abstract: We study quasi-exact quantum error correcting codes and quantum computation with them. A quasi-exact code is an approximate code such that it contains a finite number of scaling parameters, the tuning of which can flow it to corresponding exact codes, serving as its fixed points. The computation with a quasi-exact code cannot realize any logical gate to arbitrary accuracy. To overcome this, the notion of quasi-exact universality is proposed, which makes quasi-exact quantum computation a feasible model especially for executing moderate-size algorithms. We find that the incompatibility between universality and transversality of the set of logical gates does not persist in the quasi-exact scenario. A class of covariant quasi-exact codes is defined which proves to support transversal and quasi-exact universal set of logical gates for $SU(d)$. This work opens the possibility of quantum computation with quasi-exact universality, transversality, and fault tolerance.


title: Graded modal logic and counting bisimulation

abstract: This note sketches the extension of the basic characterisation theorems as the bisimulation-invariant fragment of first-order logic to modal logic with graded modalities and matching adaptation of bisimulation. We focus on showing expressive completeness of graded multi-modal logic for those first-order properties of pointed Kripke structures that are preserved under counting bisimulation equivalence among all or among just all finite pointed Kripke structures.


title: Entropy and Gravitation: From Black Hole Computers to Dark Energy and Dark Matter

abstract: We show that the concept of entropy and the dynamics of gravitation provide the linchpin in a unified scheme to understand the physics of black hole computers, space-time foam, dark energy, dark matter and the phenomenon of turbulence. We use three different methods to estimate the foaminess of space-time, which, in turn, provides a back-door way to derive the Bekenstein-Hawking formula for black hole entropy and the holographic principle. Generalizing the discussion for a static space-time region to the cosmos, we find a component of dark energy (resembling an effective positive cosmological constant of the correct magnitude) in the current epoch of the universe. The conjunction of entropy and gravitation is shown to give rise to a phenomenological model of dark matter, revealing the natural emergence, in galactic and cluster dynamics, of a critical acceleration parameter related to the cosmological constant; the resulting mass profiles are consistent with observations. Unlike ordinary matter, the quanta of the dark sector are shown to obey infinite statistics. This property of dark matter may lead to some non-particle phenomenology, and may explain why dark matter particles have not been detected in dark matter search experiments. We also show that there are deep similarities between the problem of "quantum gravity" (more specifically, the holographic space-time foam) and turbulence.


title: The matrix-extended $W_{1+\infty}$ algebra

abstract: We construct a quadratic basis of generators of matrix-extended $\mathcal{W}_{1+\infty}$ using a generalization of the Miura transformation. This makes it possible to conjecture a closed-form formula for the operator product expansions defining the algebra. We study truncations of the algebra. An explicit calculation at low levels shows that these are parametrized in a way consistent with the gluing description of the algebra. It is perhaps surprising that in spite of the fact that the algebras are rather complicated and non-linear, the structure of their truncations follows very simple gluing rules.


title: Colossal magnetoresistance in the insulating ferromagnetic double perovskites Tl$_2$NiMnO$_6$: A neutron diffraction study

abstract: In the family of double perovskites, colossal magnetoresistance (CMR) has been so far observed only in half-metallic ferrimagnets such as the known case Sr$_2$FeMoO$_6$ where it has been assigned to the tunneling MR at grain boundaries due to the half-metallic nature. Here we report a new material-Tl$_2$NiMnO$_6$, a relatively ordered double perovskite stablized by the high pressure and high temperature synthesis-showing CMR in the vicinity of its Curie temperature. We explain the origin of such effect with neutron diffraction experiment and electronic structure calculations that reveal the material is a ferromagnetic insulator. Hence the ordered Tl$_2$NiMnO$_6$ (~70% of Ni$^{2+}$/Mn$^{4+}$ cation ordering) represents the first realization of a ferromagnetic insulating double perovskite, showing CMR. The study of the relationship between structure and magnetic properties allows us to clarify the nature of spin glass behaviour in the disordered Tl$_2$NiMnO$_6$ (~31% of cation ordering), which is related to the clustering of antisite defects and associated with the short-range spin correlations. Our results highlight the key role of the cation ordering in establishing the long range magnetic ground state and lay out new avenues to exploit advanced magnetic materials in double perovskites.


title: The Dirichlet Mechanism for Differential Privacy on the Unit Simplex

abstract: As members of a network share more information with each other and network providers, sensitive data leakage raises privacy concerns. To address this need for a class of problems, we introduce a novel mechanism that privatizes vectors belonging to the unit simplex. Such vectors can be seen in many applications, such as privatizing a decision-making policy in a Markov decision process. We use differential privacy as the underlying mathematical framework for these developments. The introduced mechanism is a probabilistic mapping that maps a vector within the unit simplex to the same domain according to a Dirichlet distribution. We find the mechanism well-suited for inputs within the unit simplex because it always returns a privatized output that is also in the unit simplex. Therefore, no further projection back onto the unit simplex is required. We verify the privacy guarantees of the mechanism for two cases, namely, identity queries and average queries. In the former case, we derive expressions for the differential privacy level of privatizing a single vector within the unit simplex. In the latter case, we study the mechanism for privatizing the average of a collection of vectors, each of which is in the unit simplex. We establish a trade-off between the strength of privacy and the variance of the mechanism output, and we introduce a parameter to balance the trade-off between them. Numerical results illustrate these developments.


title: Phosphorus Abundances in the Hyades and Galactic Disk

abstract: We have measured phosphorus abundances in nine disk stars between -1 $<$ [Fe/H] $<$ -0.5 and in 12 members of the Hyades open cluster using two P I lines at 1.06 $\mu$m. High resolution infrared spectra were obtained using Phoenix on Gemini South and abundances were determined by comparing synthetic spectra to the observations. The average abundance for the dwarf stars in our Hyades sample was $<$ [P/Fe] $>$ = -0.01 $\pm$ 0.06 and $<$ [P/Fe] $>$ = 0.03 $\pm$ 0.03 dex for the three giants. The consistency suggests abundances derived using the 1.06 $\mu$m P I lines are not subjected to temperature or luminosity dependent systematic effects at high metallicities. Our [P/Fe] ratios measured in disk stars are consistent with chemical evolution models with P yields increased by a factor of 2.75. We find [P/O], [P/Mg], [P/Si] and [P/Ti] ratios are consistent with the solar ratio over a range of -1.0 $<$ [Fe/H] $<$ 0.2 with the [P/Si] ratio increasing by $\sim$ 0.1 - 0.2 dex at the lowest [Fe/H] ratios. Finally, the evolution of [P/Fe] with age is similar to other $\alpha$ elements, providing evidence that P is produced at the same sites.


title: Direct comparison of many-body methods for realistic electronic Hamiltonians

abstract: A large collaboration carefully benchmarks 20 first principles many-body electronic structure methods on a test set of 7 transition metal atoms, and their ions and monoxides. Good agreement is attained between the 3 systematically converged methods, resulting in experiment-free reference values. These reference values are used to assess the accuracy of modern emerging and scalable approaches to the many-electron problem. The most accurate methods obtain energies indistinguishable from experimental results, with the agreement mainly limited by the experimental uncertainties. Comparison between methods enables a unique perspective on calculations of many-body systems of electrons.


title: C-DOC: Co-State Desensitized Optimal Control

abstract: In this paper, co-states are used to develop a framework that desensitizes the optimal cost. A general formulation for an optimal control problem with fixed final time is considered. The proposed scheme involves elevating the parameters of interest into states, and further augmenting the co-state equations of the optimal control problem to the dynamical model. A running cost that penalizes the co-states of the targeted parameters is then added to the original cost function. The solution obtained by minimizing the augmented cost yields a control which reduces the dispersion of the original cost with respect to parametric variations. The relationship between co-states and the cost-to-go function, for any given control law, is established substantiating the approach. Numerical examples and Monte-Carlo simulations that demonstrate the proposed scheme are discussed.


title: CAPP-8TB: Search for Axion Dark Matter in a Mass Range of 6.62 to 7.04 $\mu$eV

abstract: The axion is a hypothetical particle proposed to solve the strong $CP$ problem, and also a candidate for dark matter. This non-relativistic particle in the galactic halo can be converted into a photon under a strong magnetic field and detected with a microwave resonant cavity. Relying on this detection method, many experiments have excluded some mass regions with certain sensitivities in terms of axion-photon coupling ($g_{a\gamma\gamma}$) for decades, but no axion dark matter has been discovered to date. CAPP-8TB is an axion haloscope experiment at IBS/CAPP designed to search for the axion in a mass range of 6.62 to 7.04 $\mu$eV. The experiment aims for the most sensitive axion dark matter search in this particular mass range with its first-phase sensitivity reaching the QCD axion band. In this presentation, we discuss the overview of the experiment, and present the first result. We also discuss an upgrade of the experiment to achieve higher sensitivity.


title: Constructing Semi-Directed Level-1 Phylogenetic Networks from Quarnets

abstract: We introduce two algorithms for reconstructing semi-directed level-1 phylogenetic networks from their complete set of 4-leaf subnetworks, known as quarnets. The first algorithm, the sequential method, begins with a single quarnet and adds on one leaf at a time until all leaves have been placed. The second algorithm, the cherry-blob method, functions similarly to cherry-picking algorithms for phylogenetic trees by identifying exterior network structures from the quarnets.


title: GraphRQI: Classifying Driver Behaviors Using Graph Spectrums

abstract: We present a novel algorithm (GraphRQI) to identify driver behaviors from road-agent trajectories. Our approach assumes that the road-agents exhibit a range of driving traits, such as aggressive or conservative driving. Moreover, these traits affect the trajectories of nearby road-agents as well as the interactions between road-agents. We represent these inter-agent interactions using unweighted and undirected traffic graphs. Our algorithm classifies the driver behavior using a supervised learning algorithm by reducing the computation to the spectral analysis of the traffic graph. Moreover, we present a novel eigenvalue algorithm to compute the spectrum efficiently. We provide theoretical guarantees for the running time complexity of our eigenvalue algorithm and show that it is faster than previous methods by 2 times. We evaluate the classification accuracy of our approach on traffic videos and autonomous driving datasets corresponding to urban traffic. In practice, GraphRQI achieves an accuracy improvement of up to 25% over prior driver behavior classification algorithms. We also use our classification algorithm to predict the future trajectories of road-agents.


title: New avenues for testing collapse models

abstract: We present a concise outlook on future experimental tests of spontaneous wave function collapse models. We discuss tests based on force noise measurements in ultrasensitive mechanical systems, spontaneous heating in ultracold solid matter and atoms, matter-wave interferometry, and ultrahigh precision measurements.


title: Semantic Graph Parsing with Recurrent Neural Network DAG Grammars

abstract: Semantic parses are directed acyclic graphs (DAGs), so semantic parsing should be modeled as graph prediction. But predicting graphs presents difficult technical challenges, so it is simpler and more common to predict the linearized graphs found in semantic parsing datasets using well-understood sequence models. The cost of this simplicity is that the predicted strings may not be well-formed graphs. We present recurrent neural network DAG grammars, a graph-aware sequence model that ensures only well-formed graphs while sidestepping many difficulties in graph prediction. We test our model on the Parallel Meaning Bank---a multilingual semantic graphbank. Our approach yields competitive results in English and establishes the first results for German, Italian and Dutch.


title: Spectral density, Levinson's theorem, and the extra term in the second virial coefficient for 1D delta-function potential

abstract: In contrast with the 3D result, the Beth-Uhlenbeck (BU) formula in 1D contains an extra -1/2 term. The origin of this -1/2 term is explained using a spectral density approach. To be explicit, a delta-function potential is used to show that the correction term arises from a pole of the density of states at zero energy. The spectral density method shows that this term is actually an artifact of the non-normalizability of the scattering states and an infrared cutoff regularization scheme has to be used to get the correct result in 1D. The formal derivation of the BU formula would miss this term since it ignores the effects of the boundary terms. While the result is shown for the delta-function potential, the method and result are valid for more general potentials. Additionally, the 1D Levinson's theorem can be extracted from the spectral density method using the asymptotic form of general potentials. The importance of the result lies in the fact that all these correction terms in 1D have a universal source: a pole at zero energy. Similar calculations using quantum field theoretical approaches (without explicit infrared cutoff regularization schemes) also show the same subtleties with the correction term originating from the zero energy scattering states (appendix A).


title: A Price-Based Iterative Double Auction for Charger Sharing Markets

abstract: The unprecedented growth of demand for charging electric vehicles (EVs) calls for novel expansion solutions to today's charging networks. Riding on the wave of the proliferation of sharing economy, Airbnb-like charger sharing markets opens the opportunity to expand the existing charging networks without requiring costly and time-consuming infrastructure investments, yet the successful design of such markets relies on innovations at the interface between game theory, mechanism design, and large scale optimization. In this paper, we propose a price-based iterative double auction for charger sharing markets where charger owners rent out their under-utilized chargers to the charge-needing EV drivers. Charger owners and EV drivers form a two-sided market which is cleared by a price-based double auction. Chargers' locations, availability, and time unit costs as well as the EV drivers' time, distance constraints, and preferences are considered in the allocation and scheduling process. The goal is to compute social welfare maximizing allocations which benefits both charger owners and EV drivers and, in turn, ensure the continuous growth of the market. We prove that the proposed double auction is budget balanced, individually rational, and that it is a weakly dominant strategy for EV drivers and charger owners to truthfully report their charging time constraints. In addition, results from our computation study show that the double auction achieves on average 94% efficiency compared with the optimal solutions and scales well to larger problem instances.


title: Weakly Supervised Attention Networks for Fine-Grained Opinion Mining and Public Health

abstract: In many review classification applications, a fine-grained analysis of the reviews is desirable, because different segments (e.g., sentences) of a review may focus on different aspects of the entity in question. However, training supervised models for segment-level classification requires segment labels, which may be more difficult or expensive to obtain than review labels. In this paper, we employ Multiple Instance Learning (MIL) and use only weak supervision in the form of a single label per review. First, we show that when inappropriate MIL aggregation functions are used, then MIL-based networks are outperformed by simpler baselines. Second, we propose a new aggregation function based on the sigmoid attention mechanism and show that our proposed model outperforms the state-of-the-art models for segment-level sentiment classification (by up to 9.8% in F1). Finally, we highlight the importance of fine-grained predictions in an important public-health application: finding actionable reports of foodborne illness. We show that our model achieves 48.6% higher recall compared to previous models, thus increasing the chance of identifying previously unknown foodborne outbreaks.


title: The Effect of Graph Connecitivity on Metastability on a Stochastic System of Spiking Neurons

abstract: We consider a continuous-time stochastic model of spiking neurons. In this model, we have a finite or countable number of neurons which are vertices in some graph $G$ where the edges indicate the synaptic connection between them. We focus on metastability, understood as the property for the time of extinction of the network to be asymptotically memory-less, and we prove that this model exhibits two different behaviors depending on the nature of the specific underlying graph of interaction $G$ that is chosen. This model depends on a leakage parameter $\gamma$, and it was previously proven that when the graph $G$ is the infinite one-dimensional lattice, this model presents a phase transition with respect to $\gamma$. It was also proven that, when $\gamma$ is small enough, the renormalized time of extinction (the first time at which all neurons have a null membrane potential) of a finite version of the system converges in law toward an exponential random variable when the number of neurons goes to infinity. The present article is divided into two parts. First we prove that, in the finite one-dimensional lattice, this last result doesn't hold if $\gamma$ is not small anymore, in fact we prove that for $\gamma > 1$ the renormalized time of extinction is asymptotically deterministic. Then we prove that conversely, if $G$ is the complete graph, the result of metastability holds for any positive $\gamma$.


title: POIROT: Aligning Attack Behavior with Kernel Audit Records for Cyber Threat Hunting

abstract: Cyber threat intelligence (CTI) is being used to search for indicators of attacks that might have compromised an enterprise network for a long time without being discovered. To have a more effective analysis, CTI open standards have incorporated descriptive relationships showing how the indicators or observables are related to each other. However, these relationships are either completely overlooked in information gathering or not used for threat hunting. In this paper, we propose a system, called POIROT, which uses these correlations to uncover the steps of a successful attack campaign. We use kernel audits as a reliable source that covers all causal relations and information flows among system entities and model threat hunting as an inexact graph pattern matching problem. Our technical approach is based on a novel similarity metric which assesses an alignment between a query graph constructed out of CTI correlations and a provenance graph constructed out of kernel audit log records. We evaluate POIROT on publicly released real-world incident reports as well as reports of an adversarial engagement designed by DARPA, including ten distinct attack campaigns against different OS platforms such as Linux, FreeBSD, and Windows. Our evaluation results show that POIROT is capable of searching inside graphs containing millions of nodes and pinpoint the attacks in a few minutes, and the results serve to illustrate that CTI correlations could be used as robust and reliable artifacts for threat hunting.


title: Synthesizing Action Sequences for Modifying Model Decisions

abstract: When a model makes a consequential decision, e.g., denying someone a loan, it needs to additionally generate actionable, realistic feedback on what the person can do to favorably change the decision. We cast this problem through the lens of program synthesis, in which our goal is to synthesize an optimal (realistically cheapest or simplest) sequence of actions that if a person executes successfully can change their classification. We present a novel and general approach that combines search-based program synthesis and test-time adversarial attacks to construct action sequences over a domain-specific set of actions. We demonstrate the effectiveness of our approach on a number of deep neural networks.


title: Multi-Head Attention with Diversity for Learning Grounded Multilingual Multimodal Representations

abstract: With the aim of promoting and understanding the multilingual version of image search, we leverage visual object detection and propose a model with diverse multi-head attention to learn grounded multilingual multimodal representations. Specifically, our model attends to different types of textual semantics in two languages and visual objects for fine-grained alignments between sentences and images. We introduce a new objective function which explicitly encourages attention diversity to learn an improved visual-semantic embedding space. We evaluate our model in the German-Image and English-Image matching tasks on the Multi30K dataset, and in the Semantic Textual Similarity task with the English descriptions of visual content. Results show that our model yields a significant performance gain over other methods in all of the three tasks.


title: Global hypoellipticity and global solvability for vector fields on compact Lie groups

abstract: We present necessary and sufficient conditions to have global hypoellipticity and global solvability for a class of vector fields defined on a product of compact Lie groups. In view of Greenfield's and Wallach's conjecture, about the non-existence of globally hypoelliptic vector fields on compact manifolds different from tori, we also investigate different notions of regularity weaker than global hypoellipticity and describe completely the global hypoellipticity and global solvability of zero-order perturbations of our vector fields. We also present a class of vector fields with variable coefficients whose operators can be reduced to a normal form, and we prove that the study of the global properties of such operators is equivalent to the study of the respective properties for their normal forms.


title: Large Intelligent Surface for Positioning in Millimeter Wave MIMO Systems

abstract: Millimeter-wave (mmWave) multiple-input multiple-output (MIMO) system for the fifth generation (5G) cellular communications can also enable single-anchor positioning and object tracking due to its large bandwidth and inherently high angular resolution. In this paper, we introduce the newly invented concept, large intelligent surface (LIS), to mmWave positioning systems, study the theoretical performance bounds (i.e., Cram\'er-Rao lower bounds) for positioning, and evaluate the impact of the number of LIS elements and the value of phase shifters on the position estimation accuracy compared to the conventional scheme with one direct link and one non-line-of-sight path. It is verified that better performance can be achieved with a LIS from the theoretical analyses and numerical study.


title: Principles and Techniques of the Quantum Diamond Microscope

abstract: We provide an overview of the experimental techniques, measurement modalities, and diverse applications of the Quantum Diamond Microscope (QDM). The QDM employs a dense layer of fluorescent nitrogen-vacancy (NV) color centers near the surface of a transparent diamond chip on which a sample of interest is placed. NV electronic spins are coherently probed with microwaves and optically initialized and read out to provide spatially resolved maps of local magnetic fields. NV fluorescence is measured simultaneously across the diamond surface, resulting in a wide-field, two-dimensional magnetic field image with adjustable spatial pixel size set by the parameters of the imaging system. NV measurement protocols are tailored for imaging of broadband and narrowband fields, from DC to GHz frequencies. Here we summarize the physical principles common to diverse implementations of the QDM and review example applications of the technology in geoscience, biology, and materials science.


title: Tutorial on Implied Posterior Probability for SVMs

abstract: Implied posterior probability of a given model (say, Support Vector Machines (SVM)) at a point $\bf{x}$ is an estimate of the class posterior probability pertaining to the class of functions of the model applied to a given dataset. It can be regarded as a score (or estimate) for the true posterior probability, which can then be calibrated/mapped onto expected (non-implied by the model) posterior probability implied by the underlying functions, which have generated the data. In this tutorial we discuss how to compute implied posterior probabilities of SVMs for the binary classification case as well as how to calibrate them via a standard method of isotonic regression.


title: Q-Search Trees: An Information-Theoretic Approach Towards Hierarchical Abstractions for Agents with Computational Limitations

abstract: In this paper, we develop a framework to obtain graph abstractions for decision-making by an agent where the abstractions emerge as a function of the agent's limited computational resources. We discuss the connection of the proposed approach with information-theoretic signal compression, and formulate a novel optimization problem to obtain tree-based abstractions as a function of the agent's computational resources. The structural properties of the new problem are discussed in detail, and two algorithmic approaches are proposed to obtain solutions to this optimization problem. We discuss the quality of, and prove relationships between, solutions obtained by the two proposed algorithms. The framework is demonstrated to generate a hierarchy of abstractions for a non-trivial environment.


title: A Self-Healing Hardware Architecture for Safety-Critical Digital Embedded Devices

abstract: Digital Embedded Devices of next-generation safety-critical industrial automation systems require high levels of survivability and resilience against the hardware and software failure. One of the concepts for achieving this requirement is the design of resilient and survivable digital embedded systems. In the last two decades, development of self-healing digital systems based on molecular and cellular biology have received attention for the design of robust digital systems. However, many of these approaches have not been architected from the outset with safety in mind, nor have they been targeted for the applications of automation community where a significant need exists. This paper presents a new self-healing hardware architecture, inspired from the way nature responds, defends and heals: the stem cells in the immune system of living organisms, the life cycle of the living cell, and the pathway from Deoxyribonucleic acid (DNA) to protein. The proposed architecture is integrating cellular-based biological concepts, traditional fault tolerance techniques, and operational schematics for the international standard IEC 61131-3 to facilitate adoption in the automation industry and safety-critical applications. To date, two industrial applications have been mapped on the proposed architecture, which are capable of tolerating a significant number of faults that can stem from harsh environmental changes and external disturbances and we believe the nexus of its concepts can positively impact the next generation of critical systems in the automation industry


title: Lexical Features Are More Vulnerable, Syntactic Features Have More Predictive Power

abstract: Understanding the vulnerability of linguistic features extracted from noisy text is important for both developing better health text classification models and for interpreting vulnerabilities of natural language models. In this paper, we investigate how generic language characteristics, such as syntax or the lexicon, are impacted by artificial text alterations. The vulnerability of features is analysed from two perspectives: (1) the level of feature value change, and (2) the level of change of feature predictive power as a result of text modifications. We show that lexical features are more sensitive to text modifications than syntactic ones. However, we also demonstrate that these smaller changes of syntactic features have a stronger influence on classification performance downstream, compared to the impact of changes to lexical features. Results are validated across three datasets representing different text-classification tasks, with different levels of lexical and syntactic complexity of both conversational and written language.


title: Core and crust contributions in overshooting glitches: the Vela pulsar 2016 glitch

abstract: During the spin-up phase of a large pulsar glitch - a sudden decrease of the rotational period of a neutron star - the angular velocity of the star may overshoot, namely reach values greater than that observed for the new post-glitch equilibrium. These transient phenomena are expected on the basis of theoretical models for pulsar internal dynamics and their observation has the potential to provide an important diagnostic for glitch modelling. We present a simple criterion to assess the presence of an overshoot, based on the minimal analytical model that is able to reproduce an overshooting spin-up. We employ it to fit the data of the 2016 glitch of the Vela pulsar, obtaining estimates of the fractional moments of inertia of the internal superfluid components involved in the glitch, of the rise and decay timescales of the overshoot, and of the mutual friction parameters between the superfluid components and the normal one. We study the cases with and without strong entrainment in the crust: in the former, we find indication of a large inner core strongly coupled to the observable component and of a reservoir of angular momentum extending into the core to densities below nuclear saturation, while in the latter a large reservoir extending above nuclear saturation and a standard normal component without inner core are suggested.


title: Semi-supervised voice conversion with amortized variational inference

abstract: In this work we introduce a semi-supervised approach to the voice conversion problem, in which speech from a source speaker is converted into speech of a target speaker. The proposed method makes use of both parallel and non-parallel utterances from the source and target simultaneously during training. This approach can be used to extend existing parallel data voice conversion systems such that they can be trained with semi-supervision. We show that incorporating semi-supervision improves the voice conversion performance compared to fully supervised training when the number of parallel utterances is limited as in many practical applications. Additionally, we find that increasing the number non-parallel utterances used in training continues to improve performance when the amount of parallel training data is held constant.


title: Role of Spatial Context in Adversarial Robustness for Object Detection

abstract: The benefits of utilizing spatial context in fast object detection algorithms have been studied extensively. Detectors increase inference speed by doing a single forward pass per image which means they implicitly use contextual reasoning for their predictions. However, one can show that an adversary can design adversarial patches which do not overlap with any objects of interest in the scene and exploit contextual reasoning to fool standard detectors. In this paper, we examine this problem and design category specific adversarial patches which make a widely used object detector like YOLO blind to an attacker chosen object category. We also show that limiting the use of spatial context during object detector training improves robustness to such adversaries. We believe the existence of context based adversarial attacks is concerning since the adversarial patch can affect predictions without being in vicinity of any objects of interest. Hence, defending against such attacks becomes challenging and we urge the research community to give attention to this vulnerability.


title: Tightening Bounds for Variational Inference by Revisiting Perturbation Theory

abstract: Variational inference has become one of the most widely used methods in latent variable modeling. In its basic form, variational inference employs a fully factorized variational distribution and minimizes its KL divergence to the posterior. As the minimization can only be carried out approximately, this approximation induces a bias. In this paper, we revisit perturbation theory as a powerful way of improving the variational approximation. Perturbation theory relies on a form of Taylor expansion of the log marginal likelihood, vaguely in terms of the log ratio of the true posterior and its variational approximation. While first order terms give the classical variational bound, higher-order terms yield corrections that tighten it. However, traditional perturbation theory does not provide a lower bound, making it inapt for stochastic optimization. In this paper, we present a similar yet alternative way of deriving corrections to the ELBO that resemble perturbation theory, but that result in a valid bound. We show in experiments on Gaussian Processes and Variational Autoencoders that the new bounds are more mass covering, and that the resulting posterior covariances are closer to the true posterior and lead to higher likelihoods on held-out data.


title: Uniqueness and energy bounds for static AdS metrics

abstract: We show that Wang's proof of uniqueness of Anti-de Sitter spacetime can be adapted to provide uniqueness results for strictly static asymptotically locally hyperbolic vacuum metrics with toroidal infinity, and to prove negativity of the free energy $E-TS$ of asymptotically AdS black holes with higher-genus horizons.


title: Interpretable Convolutional Neural Networks for Preterm Birth Classification

abstract: The use of convolutional neural networks (CNNs) for classification tasks has become dominant in various medical imaging applications. At the same time, recent advances in interpretable machine learning techniques have shown great potential in explaining classifiers' decisions. Layer-wise relevance propagation (LRP) has been introduced as one of these novel methods that aim to provide visual interpretation for the network's decisions. In this work we propose the application of 3D CNNs with LRP for the first time for neonatal T2-weighted magnetic resonance imaging (MRI) data analysis. Through LRP, the decisions of our trained classifier are transformed into heatmaps indicating each voxel's relevance for the outcome of the decision. Our resulting LRP heatmaps reveal anatomically plausible features in distinguishing preterm neonates from term ones.


title: Experimental analysis of a physical pendulum with variable suspension point

abstract: A physical pendulum with variable point of suspension (and, as an outcome, variable inertia moment) is experimentally analysed. In particular, the period of the small oscillations as a function of position of the suspension point is measured using three different methods: a smartphone used both as an independent tool or as a data-logger and commercial photo-gate. The experimental results are successfully compared with theoretical calculations based on the addition of inertia moments and the Steiner theorem.


title: An econometric analysis of the Italian cultural supply

abstract: Price indexes in time and space is a most relevant topic in statistical analysis from both the methodological and the application side. In this paper a price index providing a novel and effective solution to price indexes over several periods and among several countries, that is in both a multi-period and a multilateral framework, is devised. The reference basket of the devised index is the union of the intersections of the baskets of all periods/countries in pairs. As such, it provides a broader coverage than usual indexes. Index closed-form expressions and updating formulas are provided and properties investigated. Last, applications with real and simulated data provide evidence of the performance of the index at stake.


title: Highly frustrated magnetism in relativistic $\boldsymbol{d}^\mathbf{4}$ Mott insulators: Bosonic analog of Kitaev honeycomb model

abstract: We study the orbitally frustrated singlet-triplet models that emerge in the context of spin-orbit coupled Mott insulators with $t_{2g}^4$ electronic configuration. In these compounds, low-energy magnetic degrees of freedom can be cast in terms of three-flavor "triplon" operators describing the transitions between spin-orbit entangled $J=0$ ionic ground state and excited $J=1$ levels. In contrast to a conventional, flavor-isotropic O(3) singlet-triplet models, spin-orbit entangled triplon interactions are flavor-and-bond selective and thus highly frustrated. In a honeycomb lattice, we find close analogies with the Kitaev spin model -- an infinite number of conserved quantities, no magnetic condensation, and spin correlations being strictly short-ranged. However, due to the bosonic nature of triplons, there are no emergent gapless excitations within the spin gap, and ground state is a strongly correlated paramagnet of dense triplon pairs with no long-range entanglement. Using exact diagonalization, we study the bosonic Kitaev model and its various extensions, which break exact symmetries of the model and allow magnetic condensation of triplons. Possible implications for magnetism of ruthenium oxides are discussed.


title: Vector, Bidirector and Bloch Skyrmion Phases Induced by Structural Crystallographic Symmetry Breaking

abstract: The 212 species of structural phase transitions which break macroscopic symmetry are analyzed with respect to the occurrence of time-reversal invariant vector and bidirector order parameters. The possibility of discerning the orientational domain states of the low-symmetry phase by these `vectorlike' physical properties has been derived using a computer algorithm exploiting the concept of polar, axial, chiral and neutral dipoles. It is argued that for species 32 > 3, 422 > 4 and 622 > 6, Bogdanov-Yablonskii phenomenological theory for a ferromagnetic Bloch Skyrmions applies also to the ferroelectric Bloch Skyrmions. In these fully-ferroelectric and nonferroelastic species, the Ginzburg Landau functional allows a pseudo-Lifshitz invariant of chiral bidirector symmetry, analogous to the chiral Dzyaloshinskii-Moria term assumed in magnetic Bloch Skyrmion theory.


title: The Precision of Mass Measurements Required for Robust Atmospheric Characterization of Transiting Exoplanets

abstract: Two of TESS's major science goals are to measure masses for 50 planets smaller than 4 Earth radii and to discover high-quality targets for atmospheric characterization efforts. It is important that these two goals are linked by quantifying what precision of mass constraint is required to yield robust atmospheric properties of planets. Here, we address this by conducting retrievals on simulated JWST transmission spectra under various assumptions for the degree of uncertainty in the planet's mass for a representative population of seven planets ranging from terrestrials to warm Neptunes to hot Jupiters. Only for the cloud-free, low metallicity gas giants are we able to infer exoplanet mass from transmission spectroscopy alone, to ~10% accuracy. For low metallicity cases (<4xSolar) we are able to accurately constrain atmospheric properties without prior knowledge of the planet's mass. For all other cases (including terrestrial-like planets), atmospheric properties can only be inferred with a mass precision of better than ~50%. At this level, though, the widths of the posterior distributions of the atmospheric properties are dominated by the uncertainties in mass. With a precision of ~20%, the widths of the posterior distributions are dominated by the spectroscopic data quality. Therefore, as a rule-of-thumb, we recommend: a ~50% mass precision for initial atmospheric characterization and a ~20% mass precision for more detailed atmospheric analyses.


title: Cloud Tomography from Space using MISR and MODIS: Locating the "Veiled Core" in Opaque Convective Clouds

abstract: For passive satellite imagers, current retrievals of cloud optical thickness and effective particle size fail for convective clouds with 3D morphology. Indeed, being based on 1D radiative transfer (RT) theory, they work well only for horizontally homogeneous clouds. A promising approach for treating clouds as fully 3D objects is cloud tomography, and this has been demonstrated for airborne observations. For cloud tomography from space, however, more efficient forward 3D RT solvers are required. Here, we present a path forward, acknowledging that optically thick clouds have "veiled cores." Photons scattered into and out of this deep region do not contribute significant information to the observed imagery about the inner structure of the cloud. We investigate the location of the veiled core for the MISR and MODIS imagers. While MISR provides multi-angle imagery in the visible and near-IR, MODIS includes channels in the short-wave IR, albeit at a single view angle. This combination will enable future 3D retrievals to disentangle the cloud's effective particle size and optical thickness. We find that, in practice, the veiled core is located at an optical distance of $\approx$5 starting from the cloud boundary along the line-of-sight. For MODIS' absorbing wavelengths the veiled core covers a larger volume, starting at smaller optical distances. This result makes it possible to reduce the number of unknowns for the cloud tomographic reconstruction, and opens up new ways to increase the efficiency of the 3D RT solver at the heart of the reconstruction algorithm.