title: Determining Quasar Orientation

abstract: Since the discovery of active galactic nuclei (AGN) and their subclasses, a unification scheme of AGN has been long sought. Orientation-based unified models predict that some of the diversity within AGN subclasses can be explained by the different viewing angles of the observer. Several orientation categorisations have been suggested, but a widely applicable measure has yet to be found. Using the properties of the ultraviolet and optical broad emission lines of quasars, in particular the velocity offsets and line widths of high-ionisation CIV and low-ionisation MgII lines, a correlation has been measured. It is postulated that this correlation is due to the viewing angle of the observer. Comparison with other orientation tracers shows consistency with this interpretation. Using a simulation of a wide angle disk-wind model for the broad emission line region, we successfully replicate the observed correlation with inclination. Future more detailed modelling will not only enable improved accuracy in the determination of the viewing angle to individual AGN, but will also substantially increase our understanding of the emitting regions of AGN.


title: Local SGD with Periodic Averaging: Tighter Analysis and Adaptive Synchronization

abstract: Communication overhead is one of the key challenges that hinders the scalability of distributed optimization algorithms. In this paper, we study local distributed SGD, where data is partitioned among computation nodes, and the computation nodes perform local updates with periodically exchanging the model among the workers to perform averaging. While local SGD is empirically shown to provide promising results, a theoretical understanding of its performance remains open. We strengthen convergence analysis for local SGD, and show that local SGD can be far less expensive and applied far more generally than current theory suggests. Specifically, we show that for loss functions that satisfy the Polyak-{\L}ojasiewicz condition, $O((pT)^{1/3})$ rounds of communication suffice to achieve a linear speed up, that is, an error of $O(1/pT)$, where $T$ is the total number of model updates at each worker. This is in contrast with previous work which required higher number of communication rounds, as well as was limited to strongly convex loss functions, for a similar asymptotic performance. We also develop an adaptive synchronization scheme that provides a general condition for linear speed up. Finally, we validate the theory with experimental results, running over AWS EC2 clouds and an internal GPU cluster.


title: Nuclear Magnetic Resonance model of an entangled sensor under noise

abstract: Entangled sensors have been attracting a lot of attention recently because they can achieve the sensitivity beyond that of the classical sensors. To exploit entanglement as a resource, it is important to understand the effect of noise because the entangled state is fragile against noise. Here, we provide a Nuclear Magnetic Resonance (NMR) model of an entangled sensor under engineered noise: one can implement an entangled sensor under various noisy environments. In particular, we experimentally investigate the performance of the entangled sensor under the effect of time-inhomogeneous noisy environment with which the entangled sensor holds potential to beat the classical sensors. Our "entangled sensor" consists of a multi-spin molecule solved in isotropic liquid, and we can perform the quantum sensing by using NMR techniques.


title: Analytic smoothing effect for the nonlinear Landau equation of Maxwellian molecules

abstract: We consider the Cauchy problem of the nonlinear Landau equation of Maxwellian molecules, under the perturbation frame work to global equilibrium. We show that if $H^r_x(L^2_v), r >3/2$ norm of the initial perturbation is small enough, then the Cauchy problem of the nonlinear Landau equation admits a unique global solution which becomes analytic with respect to both position $x$ and velocity $v$ variables for any time $t>0$. This is the first result of analytic smoothing effect for the spatially inhomogeneous nonlinear kinetic equation. The method used here is microlocal analysis and energy estimates. The key point is adopting a time integral weight associated with the kinetic transport operator.


title: Deep Weakly-supervised Anomaly Detection

abstract: Recent semi-supervised anomaly detection methods that are trained using small labeled anomaly examples and large unlabeled data (mostly normal data) have shown largely improved performance over unsupervised methods. However, these methods often focus on fitting abnormalities illustrated by the given anomaly examples only (i.e.,, seen anomalies), and consequently they fail to generalize to those that are not, i.e., new types/classes of anomaly unseen during training. To detect both seen and unseen anomalies, we introduce a novel deep weakly-supervised approach, namely Pairwise Relation prediction Network (PReNet), that learns pairwise relation features and anomaly scores by predicting the relation of any two randomly sampled training instances, in which the pairwise relation can be anomaly-anomaly, anomaly-unlabeled, or unlabeled-unlabeled. Since unlabeled instances are mostly normal, the relation prediction enforces a joint learning of anomaly-anomaly, anomaly-normal, and normal-normal pairwise discriminative patterns, respectively. PReNet can then detect any seen/unseen abnormalities that fit the learned pairwise abnormal patterns, or deviate from the normal patterns. Further, this pairwise approach also seamlessly and significantly augments the training anomaly data. Empirical results on 12 real-world datasets show that PReNet significantly outperforms nine competing methods in detecting seen and unseen anomalies. We also theoretically and empirically justify the robustness of our model w.r.t. anomaly contamination in the unlabeled data. The code is available at https://github.com/mala-lab/PReNet.


title: Paths Explored, Paths Omitted, Paths Obscured: Decision Points & Selective Reporting in End-to-End Data Analysis

abstract: Drawing reliable inferences from data involves many, sometimes arbitrary, decisions across phases of data collection, wrangling, and modeling. As different choices can lead to diverging conclusions, understanding how researchers make analytic decisions is important for supporting robust and replicable analysis. In this study, we pore over nine published research studies and conduct semi-structured interviews with their authors. We observe that researchers often base their decisions on methodological or theoretical concerns, but subject to constraints arising from the data, expertise, or perceived interpretability. We confirm that researchers may experiment with choices in search of desirable results, but also identify other reasons why researchers explore alternatives yet omit findings. In concert with our interviews, we also contribute visualizations for communicating decision processes throughout an analysis. Based on our results, we identify design opportunities for strengthening end-to-end analysis, for instance via tracking and meta-analysis of multiple decision paths.


title: When MAML Can Adapt Fast and How to Assist When It Cannot

abstract: Model-Agnostic Meta-Learning (MAML) and its variants have achieved success in meta-learning tasks on many datasets and settings. On the other hand, we have just started to understand and analyze how they are able to adapt fast to new tasks. For example, one popular hypothesis is that the algorithms learn good representations for transfer, as in multi-task learning. In this work, we contribute by providing a series of empirical and theoretical studies, and discover several interesting yet previously unknown properties of the algorithm. We find MAML adapts better with a deep architecture even if the tasks need only a shallow one (and thus, no representation learning is needed). While echoing previous findings by others that the bottom layers in deep architectures enable representation learning, we also find that upper layers enable fast adaptation by being meta-learned to perform adaptive gradient update when generalizing to new tasks. Motivated by these findings, we study several meta-optimization approaches and propose a new one for learning to optimize adaptively. Those approaches attain stronger performance in meta-learning both shallower and deeper architectures than MAML.


title: Pathological subgradient dynamics

abstract: We construct examples of Lipschitz continuous functions, with pathological subgradient dynamics both in continuous and discrete time. In both settings, the iterates generate bounded trajectories, and yet fail to detect any (generalized) critical points of the function.


title: Analyzing powers in $d(\vec{p}, pp)n$ at intermediate and large scattering angles at $190$~MeV

abstract: Understanding of the exact nature of three-nucleon forces is the most challenging topic in the field of nuclear physics. Three-nucleon break-up reaction is a good tool to look into the underlying dynamics of the nuclear force, thanks to its rich kinematical phase space which has different levels of sensitivity to three-nucleon force effects. The recent studies on few-nucleon systems have revealed that the current nuclear force models cannot describe nucleon-deuteron scattering data accurately. In the present work, the analyzing powers of the proton-deuteron break-up reaction obtained using a 190 MeV polarized proton beam will be discussed. We present for the first time the vector analyzing powers for the kinematics in which one of the protons scatters to intermediate and large scattering angles at this energy. The results show a fairly good agreement with various theoretical predictions for both intermediate and large scattering angles of the break-up phase space.


title: Evidence for a Parity Broken Monoclinic Ground State in the S = 1/2 Kagom\'{e} Antiferromagnet Herbertsmithite

abstract: Nearest-neighbor interacting S = 1/2 spins on the ideal Kagom\'{e} lattice are predicted to form a variety of novel quantum entangled states, including quantum spin-liquid (SL) and valence bond solid (VBS) phases. In real materials, the presence of additional perturbative spin interactions may further expand the variety of entangled states, which recent theoretical analyses show are identifiable through the spontaneous loss of particular discrete point group symmetries. Here we comprehensively resolve the ground state point group symmetries of the prototypical Kagom\'{e} SL candidate ZnCu$_3$(OH)$_6$Cl$_2$ (Herbertsmithite) using a combination of optical ellipsometry and wavelength-dependent multi-harmonic optical polarimetry. We uncover a subtle parity breaking monoclinic structural distortion at a temperature above the nearest-neighbor exchange energy scale. Surprisingly, the parity-breaking order parameter is dramatically enhanced upon cooling and closely tracks the build-up of nearest-neighbor spin correlations, suggesting that it is energetically favored by the SL state. The refined low temperature symmetry group greatly restricts the number of viable ground states, and, in the perturbative limit, points toward the formation of a nematic $Z_2$ striped SL ground state - a SL analogue of a liquid crystal.


title: Mathematical decisions and non-causal elements of explainable AI

abstract: The social implications of algorithmic decision-making in sensitive contexts have generated lively debates among multiple stakeholders, such as moral and political philosophers, computer scientists, and the public. Yet, the lack of a common language and a conceptual framework for an appropriate bridging of the moral, technical, and political aspects of the debate prevents the discussion to be as effective as it can be. Social scientists and psychologists are contributing to this debate by gathering a wealth of empirical data, yet a philosophical analysis of the social implications of algorithmic decision-making remains comparatively impoverished. In attempting to address this lacuna, this paper argues that a hierarchy of different types of explanations for why and how an algorithmic decision outcome is achieved can establish the relevant connection between the moral and technical aspects of algorithmic decision-making. In particular, I offer a multi-faceted conceptual framework for the explanations and the interpretations of algorithmic decisions, and I claim that this framework can lay the groundwork for a focused discussion among multiple stakeholders about the social implications of algorithmic decision-making, as well as AI governance and ethics more generally.


title: Finely tuned models sacrifice explanatory depth

abstract: It is commonly argued that an undesirable feature of a theoretical or phenomenological model is that salient observables are sensitive to values of parameters in the model. But in what sense is it undesirable to have such 'fine-tuning' of observables (and hence of the underlying model)? In this paper, we argue that the fine-tuning can be interpreted as a shortcoming of the explanatory capacity of the model: in particular it signals a lack of explanatory depth. In support of this argument, we develop a schema -- for (a certain class of) models that arise broadly in physical settings -- that quantitatively relates fine-tuning of observables to a lack of depth of explanations based on these models. We apply our schema in two different settings in which, within each setting, we compare the depth of two competing explanations. The first setting involves explanations for the Euclidean nature of spatial slices of the universe today: in particular, we compare an explanation provided by the big-bang model of the early 1970s (where no inflationary period is included) with an explanation provided by a general model of cosmic inflation. The second setting has a more phenomenological character, where the goal is to infer from a limited sequence of data points, using maximum entropy techniques, the underlying probability distribution from which these data are drawn. In both of these settings we find that our analysis favors the model that intuitively provides the deeper explanation of the observable(s) of interest. We thus provide an account that relates two 'theoretical virtues' of models used broadly in physical settings -- namely, a lack of fine-tuning and explanatory depth -- and argue that finely tuned models sacrifice explanatory depth.


title: Intrinsic 1T' phase induced in atomically thin 2H-MoTe$_2$ by a single terahertz pulse

abstract: Polymorphic transitions in layered transition metal dichalcogenides provide an excellent platform for discovering exotic phenomena associated with metastable states, ranging from topological phase transitions to enhanced superconductivity. In particular, the transition from 2H to 1T'-MoTe$_2$, which was thought to be induced by high-energy photon irradiation among many other means, has been intensely studied for its technological relevance in nanoscale transistors. Despite the remarkable electrical performance arising from this 2H-to-1T' transition, it remains controversial whether a crystalline 1T' phase is produced because optical signatures of this putative transition are found to be associated with the formation of elemental Te clusters instead. Here, we demonstrate the creation of an intrinsic 1T' lattice after irradiating a mono- or few-layer 2H-MoTe$_2$ with a single field-enhanced terahertz pulse, whose low photon energy limits possible structural damage by optical pulses. To visualize the temporal evolution of this irreversible transition, we further develop a single-shot terahertz pump-second harmonic probe technique, and we find that the transition out of the 2H phase occurs within 10 ns after photoexcitation. Our results not only resolve the long-standing debate over the light-induced polymorphic transition in MoTe$_2$, they also highlight the unique capability of strong-field terahertz pulses in manipulating the structure of quantum materials.


title: Geometry of the graphs of nonseparating curves: covers and boundaries

abstract: We investigate the geometry of the graphs of nonseparating curves for surfaces of finite positive genus with potentially infinitely many punctures. This graph has infinite diameter and is known to be Gromov hyperbolic by work of the author. We study finite covers between such surfaces and show that lifts of nonseparating curves to the nonseparating curve graph of the cover span quasiconvex subgraphs which are infinite diameter and not coarsely equal to the nonseparating curve graph of the cover. In the finite type case, we also reprove a theorem of Hamenst\"{a}dt identifying the Gromov boundary with the space of ending laminations on full genus subsurfaces. We introduce several tools based around the analysis of bicorn curves and laminations which may be of independent interest for studying the geometry of nonseparating curve graphs of infinite type surfaces and their boundaries.


title: Anomalous Magnetoresistance due to Longitudinal Spin Fluctuations in a Jeff = 1/2 Mott Semiconductor

abstract: As a hallmark of electronic correlation, spin-charge interplay underlies many emergent phenomena in doped Mott insulators, such as high-temperature superconductivity, whereas the half-filled parent state is usually electronically frozen with an antiferromagnetic order that resists external control. We report on the observation of a new positive magnetoresistance that probes the staggered susceptibility of a pseudospin-half square-lattice Mott insulator built as an artificial SrIrO3/SrTiO3 superlattice. Its size is particularly large in the high-temperature insulating paramagnetic phase near the N\'eel transition. This novel magnetoresistance originates from a collective charge response to the large longitudinal spin fluctuations under a linear coupling between the external magnetic field and the staggered magnetization enabled by strong spin-orbit interaction. Our results demonstrate a magnetic control of the binding energy of the fluctuating particle-hole pairs in the Slater-Mott crossover regime analogous to the BCS-to-Bose-Einstein condensation crossover of ultracold-superfluids.


title: Orbits and resonances of the regular moons of Neptune

abstract: We report integrated orbital fits for the inner regular moons of Neptune based on the most complete astrometric data set to date, with observations from Earth-based telescopes, Voyager 2, and the Hubble Space Telescope covering 1981-2016. We summarize the results in terms of state vectors, mean orbital elements, and orbital uncertainties. The estimated masses of the two innermost moons, Naiad and Thalassa, are $GM_{Naiad}$= 0.0080 $\pm$ 0.0043 $km^3 s^{-2}$ and $GM_{Thalassa}$=0.0236 $\pm$ 0.0064 $km^3 s^{-2}$, corresponding to densities of 0.80 $\pm$ 0.48 $g cm^{-3}$ and 1.23 $\pm$ 0.43 $g cm^{-3}$, respectively. Our analysis shows that Naiad and Thalassa are locked in an unusual type of orbital resonance. The resonant argument 73 $\dot{\lambda}_{Thalassa}$-69 $\dot{\lambda}_{Naiad}$-4 $\dot{\Omega}_{Naiad}$ $\approx$ 0 librates around 180 deg with an average amplitude of ~66 deg and a period of ~1.9 years for the nominal set of masses. This is the first fourth-order resonance discovered between the moons of the outer planets. More high precision astrometry is needed to better constrain the masses of Naiad and Thalassa, and consequently, the amplitude and the period of libration. We also report on a 13:11 near-resonance of Hippocamp and Proteus, which may lead to a mass estimate of Proteus provided that there are future observations of Hippocamp. Our fit yielded a value for Neptune's oblateness coefficient of $J_2$=3409.1$\pm$2.9 $\times 10^{-6}$.


title: Bounding Regression Errors in Data-driven Power Grid Steady-state Models

abstract: Data-driven models analyze power grids under incomplete physical information, and their accuracy has been mostly validated empirically using certain training and testing datasets. This paper explores error bounds for data-driven models under all possible training and testing scenarios, and proposes an evaluation implementation based on Rademacher complexity theory. We answer key questions for data-driven models: how much training data is required to guarantee a certain error bound, and how partial physical knowledge can be utilized to reduce the required amount of data. Our results are crucial for the evaluation and application of data-driven models in power grid analysis. We demonstrate the proposed method by finding generalization error bounds for two applications, i.e. branch flow linearization and external network equivalent under different degrees of physical knowledge. Results identify how the bounds decrease with additional power grid physical knowledge or more training data.


title: Continuous Control with Contexts, Provably

abstract: A fundamental challenge in artificial intelligence is to build an agent that generalizes and adapts to unseen environments. A common strategy is to build a decoder that takes the context of the unseen new environment as input and generates a policy accordingly. The current paper studies how to build a decoder for the fundamental continuous control task, linear quadratic regulator (LQR), which can model a wide range of real-world physical environments. We present a simple algorithm for this problem, which uses upper confidence bound (UCB) to refine the estimate of the decoder and balance the exploration-exploitation trade-off. Theoretically, our algorithm enjoys a $\widetilde{O}\left(\sqrt{T}\right)$ regret bound in the online setting where $T$ is the number of environments the agent played. This also implies after playing $\widetilde{O}\left(1/\epsilon^2\right)$ environments, the agent is able to transfer the learned knowledge to obtain an $\epsilon$-suboptimal policy for an unseen environment. To our knowledge, this is first provably efficient algorithm to build a decoder in the continuous control setting. While our main focus is theoretical, we also present experiments that demonstrate the effectiveness of our algorithm.


title: Asymptotic Divergences and Strong Dichotomy

abstract: The Schnorr-Stimm dichotomy theorem concerns finite-state gamblers that bet on infinite sequences of symbols taken from a finite alphabet $\Sigma$. In this paper we use the Kullback-Leibler divergence to formulate the $\textit{lower asymptotic divergence}$ $\text{div}(S||\alpha)$ of a probability measure $\alpha$ on $\Sigma$ from a sequence $S$ over $\Sigma$ and the $\textit{upper asymptotic divergence}$ $\text{Div}(S||\alpha)$ of $\alpha$ from $S$ in such a way that a sequence $S$ is $\alpha$-normal (meaning that every string $w$ has asymptotic frequency $\alpha(w)$ in $S$) if and only if $\text{Div}(S||\alpha)=0$. We also use the Kullback-Leibler divergence to quantify the $\textit{total risk }$ $\text{Risk}_G(w)$ that a finite-state gambler $G$ takes when betting along a prefix $w$ of $S$. Our main theorem is a $\textit{strong dichotomy theorem}$ that uses the above notions to $\textit{quantify}$ the exponential rates of winning and losing on the two sides of the Schnorr-Stimm dichotomy theorem (with the latter routinely extended from normality to $\alpha$-normality). Modulo asymptotic caveats in the paper, our strong dichotomy theorem says that the following two things hold for prefixes $w$ of $S$. (1) The infinitely-often exponential rate of winning is $2^{\text{Div}(S||\alpha)|w|}$. (2) The exponential rate of loss is $2^{-\text{Risk}_G(w)}$. We also use (1) to show that $1-\text{Div}(S||\alpha)/c$, where $c= \log(1/ \min_{a\in\Sigma}\alpha(a))$, is an upper bound on the finite-state $\alpha$-dimension of $S$ and prove the dual fact that $1-\text{div}(S||\alpha)/c$ is an upper bound on the finite-state strong $\alpha$-dimension of $S$.


title: Multimodal Model-Agnostic Meta-Learning via Task-Aware Modulation

abstract: Model-agnostic meta-learners aim to acquire meta-learned parameters from similar tasks to adapt to novel tasks from the same distribution with few gradient updates. With the flexibility in the choice of models, those frameworks demonstrate appealing performance on a variety of domains such as few-shot image classification and reinforcement learning. However, one important limitation of such frameworks is that they seek a common initialization shared across the entire task distribution, substantially limiting the diversity of the task distributions that they are able to learn from. In this paper, we augment MAML with the capability to identify the mode of tasks sampled from a multimodal task distribution and adapt quickly through gradient updates. Specifically, we propose a multimodal MAML (MMAML) framework, which is able to modulate its meta-learned prior parameters according to the identified mode, allowing more efficient fast adaptation. We evaluate the proposed model on a diverse set of few-shot learning tasks, including regression, image classification, and reinforcement learning. The results not only demonstrate the effectiveness of our model in modulating the meta-learned prior in response to the characteristics of tasks but also show that training on a multimodal distribution can produce an improvement over unimodal training.


title: Large anomalous Nernst effect in a van der Waals ferromagnet Fe$_3$GeTe$_2$

abstract: Anomalous Nernst effect, a result of charge current driven by temperature gradient, provides a probe of the topological nature of materials due to its sensitivity to the Berry curvature near the Fermi level. Fe3GeTe2, one important member of the recently discovered two-dimensional van der Waals magnetic materials, offers a unique platform for anomalous Nernst effect because of its metallic and topological nature. Here, we report the observation of large anomalous Nernst effect in Fe3GeTe2. The anomalous Hall angle and anomalous Nernst angle are about 0.07 and 0.09 respectively, far larger than those in common ferromagnets. By utilizing the Mott relation, these large angles indicate a large Berry curvature near the Fermi level, consistent with the recent proposal for Fe3GeTe2 as a topological nodal line semimetal candidate. Our work provides evidence of Fe3GeTe2 as a topological ferromagnet, and demonstrates the feasibility of using two-dimensional magnetic materials and their band topology for spin caloritronics applications.


title: Optimal Analysis of Subset-Selection Based L_p Low Rank Approximation

abstract: We study the low rank approximation problem of any given matrix $A$ over $\mathbb{R}^{n\times m}$ and $\mathbb{C}^{n\times m}$ in entry-wise $\ell_p$ loss, that is, finding a rank-$k$ matrix $X$ such that $\|A-X\|_p$ is minimized. Unlike the traditional $\ell_2$ setting, this particular variant is NP-Hard. We show that the algorithm of column subset selection, which was an algorithmic foundation of many existing algorithms, enjoys approximation ratio $(k+1)^{1/p}$ for $1\le p\le 2$ and $(k+1)^{1-1/p}$ for $p\ge 2$. This improves upon the previous $O(k+1)$ bound for $p\ge 1$ \cite{chierichetti2017algorithms}. We complement our analysis with lower bounds; these bounds match our upper bounds up to constant $1$ when $p\geq 2$. At the core of our techniques is an application of \emph{Riesz-Thorin interpolation theorem} from harmonic analysis, which might be of independent interest to other algorithmic designs and analysis more broadly. As a consequence of our analysis, we provide better approximation guarantees for several other algorithms with various time complexity. For example, to make the algorithm of column subset selection computationally efficient, we analyze a polynomial time bi-criteria algorithm which selects $O(k\log m)$ columns. We show that this algorithm has an approximation ratio of $O((k+1)^{1/p})$ for $1\le p\le 2$ and $O((k+1)^{1-1/p})$ for $p\ge 2$. This improves over the best-known bound with an $O(k+1)$ approximation ratio. Our bi-criteria algorithm also implies an exact-rank method in polynomial time with a slightly larger approximation ratio.


title: Line Expansion Opacity in Relativistically Expanding Media

abstract: Spectral lines of heavy atomic elements in the ejecta of supernovae and neutron star mergers can have important contribution to the opacity of the ejecta matter even when the abundance of the elements is very small. Under favorable conditions, the line expansion opacity arising from spectral lines and the expansion of the medium can be orders of magnitude larger than the opacity of electron scattering. In this paper we derive the formulae for evaluating the line expansion opacity and its Rosseland mean in an expanding medium in the framework of special relativity, which can be considered as a generalization of the previous work in the Newtonian approximation. Then we compare the derived relativistic formulae to the Newtonian ones to explore the relativistic effect on the opacity, and test the new formulae with the spectral lines of some heavy atomic elements. We also derive some approximation formulae for the Rosseland mean of the line expansion opacity that are easy to use in numerical works while still maintaining a high enough accuracy relative to exact solutions. The formulae derived in this paper are expected to have important applications in radiative problems related to relativistic astrophysical phenomena such as neutron star mergers, supernovae, and gamma-ray bursts where relativistic or subrelativistic expansions are involved.


title: Algorithmic Randomness in Continuous-Time Markov Chains

abstract: In this paper, we develop the elements of the theory of algorithmic randomness in continuous-time Markov chains (CTMCs). Our main contribution is a rigorous, useful notion of what it means for an $\textit{ individual trajectory }$ of a CTMC to be ${ \textit random }$. CTMCs have discrete state spaces and operate in continuous time. This, together with the fact that trajectories may or may not halt, presents challenges not encountered in more conventional developments of algorithmic randomness. Although we formulate algorithmic randomness in the general context of CTMCs, we are primarily interested in the $\textit{ computational }$ power of stochastic chemical reaction networks, which are special cases of CTMCs. This leads us to embrace situations in which the long-term behavior of a network depends essentially on its initial state and hence to eschew assumptions that are frequently made in Markov chain theory to avoid such dependencies. After defining the randomness of trajectories in terms of a new kind of martingale (algorithmic betting strategy), we prove equivalent characterizations in terms of constructive measure theory and Kolmogorov complexity. As a preliminary application, we prove that, in any stochastic chemical reaction network, $\textit{ every }$ random trajectory with bounded molecular counts has the $\textit{ non-Zeno property }$ that infinitely many reactions do not occur in any finite interval of time.


title: New radio constraints on the obscured star formation rates of massive GRB hosts at redshifts 2-3.5

abstract: It is not clear whether gamma-ray bursts (GRBs) are unbiased tracers of cosmic star formation at $z > 2$. Since dusty starburst galaxies are significant contributors to the cosmic star formation at these redshifts, they should form a major part of the GRB host population. However, recent studies at $z \leq 2$ have shown that the majority of the star formation activity in GRB hosts is not obscured by dust. Here, we investigate the galaxy-scale dust obscuration in $z \sim 2-3.5$ GRB hosts pre-selected to have high-resolution, high signal-to-noise afterglow spectra in the rest-frame ultraviolet (UV) and thus relatively low line-of-sight dust obscuration. We present new deep VLA observations of four GRB hosts, and compare the radio-based (upper limits on the) "total" star formation rates (SFRs) to the "unobscured" SFRs derived from fits to the optical-UV spectral energy distribution. The fraction of the total SFR that is obscured by dust in these galaxies is found to be $<$ 90% in general, and $\lesssim$ 50% for GRB 021004 in particular. These observations suggest that $z \sim 2-3.5$ GRBs with UV-unobscured sightlines originate in star-forming galaxies with low overall dust obscuration, unlike the dusty starburst population.


title: On the possible origin and evolution of genetic coding

abstract: To synthesize peptides alongside the RNAs making the so-called RNA world, some genetic coding involving RNA had to develop. Herein, it is proposed that the first real-coding setup was a direct one, made up of continuous poly-tRNA-like molecules, with each tRNA-like moiety carrying, beyond and near its 5 prime or 3 prime end, a trinucleotide site for specific amino acid binding: the sequence and continuity of the tRNA moieties of a particular poly-tRNA would ensure the sequence and continuity of the amino acids of the corresponding peptide or small protein. In parallel with these particular entities, and enhancing their peptide-forming function, a proto-ribosome and primitive amino acid-activation system would develop. At some stage, one critical innovation would be the appearance of RNA fragments that could tighten several adjacent tRNA moieties together on a particular poly-tRNA molecule, by pairing with the second trinucleotide sequence (identical to the first one carrying the specific amino acid-binding site) situated at, or close to, the middle of each tRNA moiety (i.e., the present anticodon site). These RNA fragments, acting as authentic co-ribozymes in the peptide-synthesizing apparatus, would constitute the ancestors of the present mRNAs. Later, on these mRNA-like guiding fragments, free tRNA forms would be additionally used, first keeping their amino acid-binding sites, then losing them in favor of a specific amino acid attachment at a CCA arm at their 3 prime end. Finally, these latter mechanisms would progressively prevail, leading to the modern and universal indirect genetic coding system. Experimental and theoretical arguments are presented and discussed in favor of such a scenario for the origin and evolution of genetic coding.


title: Remarks on the distribution of colors in Gallai colorings

abstract: A Gallai coloring of a complete graph $K_n$ is an edge coloring without triangles colored with three different colors. A sequence $e_1\ge \dots \ge e_k$ of positive integers is an $(n,k)$-sequence if $\sum_{i=1}^k e_i=\binom{n}{2}$. An $(n,k)$-sequence is a G-sequence if there is a Gallai coloring of $K_n$ with $k$ colors such that there are $e_i$ edges of color $i$ for all $i,1\le i \le k$. Gy\'arf\'as, P\'alv\"olgyi, Patk\'os and Wales proved that for any integer $k\ge 3$ there exists an integer $g(k)$ such that every $(n,k)$-sequence is a G-sequence if and only if $n\ge g(k)$. They showed that $g(3)=5, g(4)=8$ and $2k-2\le g(k)\le 8k^2+1$. We show that $g(5)=10$ and give almost matching lower and upper bounds for $g(k)$ by showing that with suitable constants $\alpha,\beta>0$, $\frac{\alpha k^{1.5}}{\ln k}\le g(k) \le \beta k^{1.5}$ for all sufficiently large $k$.


title: The structure of primitive permutation groups with finite suborbits and t.d.l.c. groups admitting a compact open subgroup that is maximal

abstract: This paper is about the structure of infinite primitive permutation groups and totally disconnected locally compact groups ("tdlc groups'"). The permutation groups we investigate are subdegree-finite (i.e. all orbits of point stabilisers are finite). Automorphism groups of connected, locally finite graphs are examples of subdegree-finite permutation groups. The tdlc groups we investigate all have a maximal subgroup that is compact and open. Tdlc groups with few open subgroups (recently studied by Pierre-Emmanuel Caprace and Timoth\'ee Marquis) are examples of such groups. We prove a classification result, and use it to show that every closed, subdegree-finite primitive group is a primitive subgroup of a product H Wr F_1 [X] F_2 Wr ... [X] F_{m-1} Wr F_m, where H is a closed, subdegree-finite and primitive group that is either finite or one-ended and almost topologically simple. The groups F_i are transitive and finite and m is finite. The product [X] here denotes the recently discovered box product, and all wreath products here act via their product action. We apply this permutational result to tdlc groups. If G is a tdlc group then it contains a compact open subgroup V. The permutation group induced by the action of G on the coset space G/V is called the Schlichting completion of the pair (G,V), and is denoted G//V. Knowledge of this action of G on G/V underpins many recent influential results in tdlc theory. We show that if V is a maximal subgroup of G, and G is non-compact, then G//V is subject to a topological interpretation of our result for primitive groups. We use this to show that in this case, if G//V is nondiscrete, preserves no nontrivial homogenous cartesian decomposition on G/V, and does not split nontrivially over a compact open subgroup, then the monolith of G//V is a nondiscrete, one-ended, topologically simple, compactly generated tdlc group.


title: Two Phase Authentication and VPN Based Secured Communication for IoT Home Networks

abstract: With the advancement of technology, devices, which are considered non-traditional in terms of internet capabilities, are now being embedded in microprocessors to communicate and these devices are known as IoT devices. This technology has enabled household devices to have the ability to communicate with the internet and a network comprising of such device can create a home IoT network. Such IoT devices are resource constrained and lack high-level security protocols. Thus, security becomes a major issue for such network systems. One way to secure the networks is through reliable authentication protocols and data transfer mechanism. As the household devices are controllable by the users remotely, they are accessed over the internet. Therefore, there should also be a method to make the communication over the internet between IoT devices and the users more secured. This paper proposes a two-phase authentication protocol for authentication purposes and a VPN based secure channel creation for the communication of the devices in the network. Furthermore, the paper discusses the Elliptic Curve Cryptography as a viable alternative to RSA for a more efficient Key exchange mechanism for low-powered IoT devices in the network.


title: Two-body hadronic weak decays of antitriplet charmed baryons

abstract: We study Cabibbo-favored (CF) and singly Cabibbo-suppressed (SCS) two-body hadronic weak decays of the antitriplet charmed baryons $\Lambda_c^+$, $\Xi_c^0$ and $\Xi_c^+$ with more focus on the last two. Both factorizable and nonfactorizable contributions are considered in the topologic diagram approach. The estimation of nonfactorizable contributions from $W$-exchange and inner $W$-emission diagrams relies on the pole model and current algebra. The non-perturbative parameters in both factorizable and nonfactorizable parts are calculated in the MIT bag model. Branching fractions and up-down decay asymmetries for all the CF and SCS decays of antitriplet charmed baryons are presented. The prediction of $\mathcal{B}(\Xi_c^+\to \Xi^0\pi^+ )$ agrees well with the measurements inferred from Belle and CLEO, while the calculated ${\cal B}(\Xi_c^0\to \Xi^-\pi^+)$ is too large compared to the recent Belle measurement. We conclude that these two $\Xi_c\to\Xi \pi^+$ modes cannot be simultaneously explained within the current-algebra framework for $S$-wave amplitudes. This issue needs to be resolved in future study. The long-standing puzzle with the branching fraction and decay asymmetry of $\Lambda_c^+\to\Xi^0 K^+$ is resolved by noting that only type-II $W$-exchange diagram will contribute to this mode. We find that not only the calculated rate agrees with experiment but also the predicted decay asymmetry is consistent with the SU(3)-flavor symmetry approach in sign and magnitude. Likewise, the CF mode $\Xi_c^0\to \Sigma^+K^-$ and the SCS decays $\Xi_c^0\to pK^-,\Sigma^+\pi^-$ proceed only through type-II $W$-exchange. They are predicted to have large and {\it positive} decay asymmetries. These features can be tested in the near future.


title: Spectral Subsampling MCMC for Stationary Time Series

abstract: Bayesian inference using Markov Chain Monte Carlo (MCMC) on large datasets has developed rapidly in recent years. However, the underlying methods are generally limited to relatively simple settings where the data have specific forms of independence. We propose a novel technique for speeding up MCMC for time series data by efficient data subsampling in the frequency domain. For several challenging time series models, we demonstrate a speedup of up to two orders of magnitude while incurring negligible bias compared to MCMC on the full dataset. We also propose alternative control variates for variance reduction based on data grouping and coreset constructions.


title: A pulsar-based timescale from the International Pulsar Timing Array

abstract: We have constructed a new timescale, TT(IPTA16), based on observations of radio pulsars presented in the first data release from the International Pulsar Timing Array (IPTA). We used two analysis techniques with independent estimates of the noise models for the pulsar observations and different algorithms for obtaining the pulsar timescale. The two analyses agree within the estimated uncertainties and both agree with TT(BIPM17), a post-corrected timescale produced by the Bureau International des Poids et Mesures (BIPM). We show that both methods could detect significant errors in TT(BIPM17) if they were present. We estimate the stability of the atomic clocks from which TT(BIPM17) is derived using observations of four rubidium fountain clocks at the US Naval Observatory. Comparing the power spectrum of TT(IPTA16) with that of these fountain clocks suggests that pulsar-based timescales are unlikely to contribute to the stability of the best timescales over the next decade, but they will remain a valuable independent check on atomic timescales. We also find that the stability of the pulsar-based timescale is likely to be limited by our knowledge of solar-system dynamics, and that errors in TT(BIPM17) will not be a limiting factor for the primary goal of the IPTA, which is to search for the signatures of nano-Hertz gravitational waves.


title: Broadband and wide-temperature-range thermal emitter with super-hydrophobicity based on oxidized high-entropy film

abstract: This paper demonstrates broadband and wide-temperature-range thermal emitter with super-hydrophobicity based on an oxidized high-entropy film. The annealed (NiCuCrFeSi)O high-entropy film can serve as a mid-infrared emitter due to its three characteristics: i) High blackbody-like emission in a broadband mid-infrared region from 2.5 um to 20 um; ii) High emittance (more than 90%) in a wide temperature range from 300 K to 1000 K; iii) Super-hydrophobicity with high contact angle (CA) of 151 degree and low title angle (TA) of 5 degree. These characteristics originate from the recrystallization of as-deposited film and formation of cavernous structure with a plethora of nanoscale polyhedrons and holes after an annealing process, supported by the results of XRD and SEM/EDX. This work may provide new ideas for applications of thermal emitters operating at substantially wide temperature range.


title: Energy-Constrained UAV Data Collection Systems: NOMA and OMA

abstract: This paper investigates unmanned aerial vehicle (UAV) data collection systems with different multiple access schemes, where a rotary-wing UAV is dispatched to collect data from multiple ground nodes (GNs). Our goal is to maximize the minimum UAV data collection throughput from GNs for both orthogonal multiple access (OMA) and non-orthogonal multiple access (NOMA) transmission, subject to the energy budgets at both the UAV and GNs, namely \emph{double energy limitations}. 1) For OMA, we propose an efficient algorithm by invoking alternating optimization (AO) method, where each subproblem is alternately solved by applying successive convex approximation (SCA) technique. 2) For NOMA, we first handle subproblems with fixed decoding order using SCA technique. Then, we develop a penalty-based algorithm to solve the decoding order design subproblem. Numerical results show that: i) The proposed algorithms are capable of improving the max-min throughput performance compared with other benchmark schemes; and ii) NOMA yields a higher performance gain than OMA when GNs have sufficient energy.


title: When does Diversity Help Generalization in Classification Ensembles?

abstract: Ensembles, as a widely used and effective technique in the machine learning community, succeed within a key element -- "diversity." The relationship between diversity and generalization, unfortunately, is not entirely understood and remains an open research issue. To reveal the effect of diversity on the generalization of classification ensembles, we investigate three issues on diversity, i.e., the measurement of diversity, the relationship between the proposed diversity and the generalization error, and the utilization of this relationship for ensemble pruning. In the diversity measurement, we measure diversity by error decomposition inspired by regression ensembles, which decomposes the error of classification ensembles into accuracy and diversity. Then we formulate the relationship between the measured diversity and ensemble performance through the theorem of margin and generalization and observe that the generalization error is reduced effectively only when the measured diversity is increased in a few specific ranges, while in other ranges larger diversity is less beneficial to increasing the generalization of an ensemble. Besides, we propose two pruning methods based on diversity management to utilize this relationship, which could increase diversity appropriately and shrink the size of the ensemble without much-decreasing performance. Empirical results validate the reasonableness of the proposed relationship between diversity and ensemble generalization error and the effectiveness of the proposed pruning methods.


title: RCRnorm: An integrated system of random-coefficient hierarchical regression models for normalizing NanoString nCounter data

abstract: Formalin-fixed paraffin-embedded (FFPE) samples have great potential for biomarker discovery, retrospective studies and diagnosis or prognosis of diseases. Their application, however, is hindered by the unsatisfactory performance of traditional gene expression profiling techniques on damaged RNAs. NanoString nCounter platform is well suited for profiling of FFPE samples and measures gene expression with high sensitivity which may greatly facilitate realization of scientific and clinical values of FFPE samples. However, methodological development for normalization, a critical step when analyzing this type of data, is far behind. Existing methods designed for the platform use information from different types of internal controls separately and rely on an overly-simplified assumption that expression of housekeeping genes is constant across samples for global scaling. Thus, these methods are not optimized for the nCounter system, not mentioning that they were not developed for FFPE samples. We construct an integrated system of random-coefficient hierarchical regression models to capture main patterns and characteristics observed from NanoString data of FFPE samples and develop a Bayesian approach to estimate parameters and normalize gene expression across samples. Our method, labeled RCRnorm, incorporates information from all aspects of the experimental design and simultaneously removes biases from various sources. It eliminates the unrealistic assumption on housekeeping genes and offers great interpretability. Furthermore, it is applicable to freshly frozen or like samples that can be generally viewed as a reduced case of FFPE samples. Simulation and applications showed the superior performance of RCRnorm.


title: Disclosure Games with Large Evidence Spaces

abstract: We study a disclosure game with a large evidence space. There is an unknown binary state. A sender observes a sequence of binary signals about the state and discloses a left truncation of the sequence to a receiver in order to convince him that the state is good. We focus on truth-leaning equilibria (cf. Hart et al. (2017)), where the sender discloses truthfully when doing so is optimal, and the receiver takes off-path disclosure at face value. In equilibrium, seemingly sub-optimal truncations are disclosed, and the disclosure contains the longest truncation that yields the maximal difference between the number of good and bad signals. We also study a general framework of disclosure games which is compatible with large evidence spaces, a wide range of disclosure technologies, and finitely many states. We characterize the unique equilibrium value function of the sender and propose a method to construct equilibria for a broad class of games.


title: An Augmented Transformer Architecture for Natural Language Generation Tasks

abstract: The Transformer based neural networks have been showing significant advantages on most evaluations of various natural language processing and other sequence-to-sequence tasks due to its inherent architecture based superiorities. Although the main architecture of the Transformer has been continuously being explored, little attention was paid to the positional encoding module. In this paper, we enhance the sinusoidal positional encoding algorithm by maximizing the variances between encoded consecutive positions to obtain additional promotion. Furthermore, we propose an augmented Transformer architecture encoded with additional linguistic knowledge, such as the Part-of-Speech (POS) tagging, to boost the performance on some natural language generation tasks, e.g., the automatic translation and summarization tasks. Experiments show that the proposed architecture attains constantly superior results compared to the vanilla Transformer.


title: Blockchain Based Secured E-voting by Using the Assistance of Smart Contract

abstract: Voting is a very important issue which can be beneficial in term of choosing the right leader in an election. A good leader can bring prosperity to a country and also can lead the country in the right direction every time. However, elections are surrounds with ballot forgery, coercion and multiple voting issues. Moreover, while giving votes, a person has to wait in a long queue and it is a very time consuming process. Blockchain is a distributed database in which data are shared with the participant of the node and each participant holds the same copy of the data. Blockchain has properties like distributed, pseudonymous, data integrity etc. In the paper, a fully decentralized evoting system based on blockchain technology is proposed. This protocol utilizes smart contract into the evoting system to deal with security issues, accuracy and voters privacy during the vote. The protocol results in a transparent, non editable and independently verifiable procedure that discards all the intended fraudulent activities occurring during the election process by removing the least participation of the third party and enabling voters right during the election. Both transparency and coercion are obtained at the same time.


title: Exploiting Intelligent Reflecting Surfaces in NOMA Networks: Joint Beamforming Optimization

abstract: This paper investigates a downlink multiple-input single-output intelligent reflecting surface (IRS) aided non-orthogonal multiple access (NOMA) system, where a base station (BS) serves multiple users with the aid of IRSs. Our goal is to maximize the sum rate of all users by jointly optimizing the active beamforming at the BS and the passive beamforming at the IRS, subject to successive interference cancellation decoding rate conditions and IRS reflecting elements constraints. In term of the characteristics of reflection amplitudes and phase shifts, we consider ideal and non-ideal IRS assumptions. To tackle the formulated non-convex problems, we propose efficient algorithms by invoking alternating optimization, which design the active beamforming and passive beamforming alternately. For the ideal IRS scenario, the two subproblems are solved by invoking the successive convex approximation technique. For the non-ideal IRS scenario, constant modulus IRS elements are further divided into continuous phase shifts and discrete phase shifts. To tackle the passive beamforming problem with continuous phase shifts, a novel algorithm is developed by utilizing the sequential rank-one constraint relaxation approach, which is guaranteed to find a locally optimal rank-one solution. Then, a quantization-based scheme is proposed for discrete phase shifts. Finally, numerical results illustrate that: i) the system sum rate can be significantly improved by deploying the IRS with the proposed algorithms; ii) 3-bit phase shifters are capable of achieving almost the same performance as the ideal IRS; iii) the proposed IRS-aided NOMA systems achieve higher system sum rate than the IRS-aided orthogonal multiple access system.


title: Phononic Helical Nodal Lines with $\mathcal{PT}$ Protection in MoB$_{2}$

abstract: While condensed matter systems host both Fermionic and Bosonic quasi-particles, reliably predicting and empirically verifying topological states is only mature for Fermionic electronic structures, leaving topological Bosonic excitations sporadically explored. This is unfortunate, as Bosonic systems such a phonons offer the opportunity to assess spinless band structures where nodal lines can be realized without invoking special additional symetries to protect against spin-orbit coupling. Here we combine first-principles calculations and meV-resolution inelastic x-ray scattering to demonstrate the first realization of parity-time reversal ($\mathcal{PT}$) symmetry protected helical nodal lines in the phonon spectrum of MoB$_{2}$. This structure is unique to phononic systems as the spin-orbit coupling present in electronic systems tends to lift the degeneracy away from high-symmetry locations. Our study establishes a protocol to accurately identify topological Bosonic excitations, opening a new route to explore exotic topological states in crystalline materials.


title: A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP

abstract: Deadlock and nondeterminism may become increasingly hard to detect in concurrent and distributed systems. UML activity diagrams are flowcharts that model sequential and concurrent behavior. Although the UML community widely adopts such diagrams, there is no standard approach to verify the presence of deadlock and nondeterministic behavior in activity diagrams. Nondeterminism is usually neglected in the literature even though it may be considered a very relevant property. This work proposes a framework for the automatic verification of deadlock and nondeterminism in UML activity diagrams. It introduces a compositional CSP semantics for activity diagrams that is used to automatically generate CSP specifications from UML models. These specifications are the input for the automatic verification of deadlock and nondeterministic behavior using the FDR refinement checker. We propose a plugin for the Astah modeling environment that mechanizes the translation process, and that calls FDR in the background to perform the verification of properties. The tool keeps the traceability between a diagram and its CSP specification. It parses the FDR results to highlight the diagram paths that lead to a deadlock or a nondeterministic behavior. This framework adds verification capabilities to the UML modeling tool and keeps the formal semantics transparent to the users. Therefore, the user does not need to understand or manipulate formal notations during modeling. We present the results of a case study that applies the proposed framework for the verification of models in the domain of cloud computing. We discuss future applications due to the potential of our approach.


title: Smooth Solutions of the tt* Equation: A Numerical Aided Case Study

abstract: An important special class of the tt* equations are the tt*-Toda equations. Guest et al. have given comprehensive studies on the tt*-Toda equations in a series of papers. The fine asymptotics for a large class of solutions of a special tt*-Toda equation, the case 4a in their classification, have been obtained in a paper (Commun. Math. Phys. 374, 923-973) in the series. Most of these formulas are obtained with elaborate reasoning and the calculations involved are lengthy. There are concerns about these formulas if they have not been verified by other methods. The first part of this paper is devoted to the numerical verification of these fine asymptotics. In fact, the numerical studies can do more and should do more. A natural question is whether we can find more such beautiful formulas in the tt* equation via numerical study. The second part of this paper is devoted to the numerical study of the fine asymptotics of the solutions in an enlarged class defined from the Stoke data side. All the fine asymptotics of the solutions in the enlarged class are found by the numerical study. The success of the numerical study is largely due to the truncation structures of the tt* equation.


title: On the $l_p$ stability estimates for stochastic and deterministic difference equations and their application to SPDEs and PDEs

abstract: In this paper we develop the $l_p$-theory of space-time stochastic difference equations which can be considered as a discrete counterpart of N.V. Krylov's $L_p$-theory of stochastic partial differential equations. We also prove a Calderon-Zygmund type estimate for deterministic parabolic finite difference schemes with variable coefficients under relaxed assumptions on the coefficients, the initial data and the forcing term.


title: Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

abstract: The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was based on a careful reviewing process and that are included in these proceedings.


title: Magnetic anisotropy of chiral magnet Yb(Ni$_{1-x}$Cu$_x$)$_{3}$Al$_{9}$ at high magnetic fields

abstract: We have measured the magnetization of rare-earth chiral magnets Yb(Ni$_{1-x}$Cu$_x$)$_{3}$Al$_{9}$ for $x$=0 and 0.06 up to 14.5 T. Magnetization for the field direction $H \parallel c$, which is the hard axis at low temperatures and low fields, overtakes the easy axis magnetization for $H \perp c$ above $\sim$4 T. We analyzed this overtaking of the magnetization curves by considering a crystalline electric field model. It is shown that the $B_{66}$ term, which connects the $|\pm5/2 \rangle$ and the $|\mp7/2\rangle$ states through the off-diagonal matrix element, is responsible for the characteristic magnetization process in this compound. We also introduce orbital dependent exchange interactions to explain the temperature dependence of magnetic susceptibility.


title: Global phase diagram of a spin-orbital Kondo impurity model and the suppression of Fermi-liquid scale

abstract: Many correlated metallic materials are described by Landau Fermi-liquid theory at low energies, but for Hund metals the Fermi-liquid coherence scale $T_{\text{FL}}$ is found to be surprisingly small. In this Letter, we study the simplest impurity model relevant for Hund metals, the three-channel spin-orbital Kondo model, using the numerical renormalization group (NRG) method and compute its global phase diagram. In this framework, $T_{\text{FL}}$ becomes arbitrarily small close to two new quantum critical points (QCPs) which we identify by tuning the spin or spin-orbital Kondo couplings into the ferromagnetic regimes. We find quantum phase transitions to a singular Fermi-liquid or a novel non-Fermi-liquid phase. The new non-Fermi-liquid phase shows frustrated behavior involving alternating overscreenings in spin and orbital sectors, with universal power laws in the spin ($\omega^{-1/5}$), orbital ($\omega^{1/5}$) and spin-orbital ($\omega^1$) dynamical susceptibilities. These power laws, and the NRG eigenlevel spectra, can be fully understood using conformal field theory arguments, which also clarify the nature of the non-Fermi-liquid phase.


title: Compatible left-symmetric algebraic structures on high rank Witt and Virasoro algebras

abstract: We classify all graded compatible left-symmetric algebraic structures on high rank Witt algebras, and classify all non-graded ones satisfying a minor condition. Furthermore, graded compatible left-symmetric algebraic structures on high rank Virasoro algebras are also classified.


title: Automatic Testing With Reusable Adversarial Agents

abstract: Autonomous systems such as self-driving cars and general-purpose robots are safety-critical systems that operate in highly uncertain and dynamic environments. We propose an interactive multi-agent framework where the system-under-design is modeled as an ego agent and its environment is modeled by a number of adversarial (ado) agents. For example, a self-driving car is an ego agent whose behavior is influenced by ado agents such as pedestrians, bicyclists, traffic lights, road geometry etc. Given a logical specification of the correct behavior of the ego agent, and a set of constraints that encode reasonable adversarial behavior, our framework reduces the adversarial testing problem to the problem of synthesizing controllers for (constrained) ado agents that cause the ego agent to violate its specifications. Specifically, we explore the use of tabular and deep reinforcement learning approaches for synthesizing adversarial agents. We show that ado agents trained in this fashion are better than traditional falsification or testing techniques because they can generalize to ego agents and environments that differ from the original ego agent. We demonstrate the efficacy of our technique on two real-world case studies from the domain of self-driving cars.


title: C3DVQA: Full-Reference Video Quality Assessment with 3D Convolutional Neural Network

abstract: Traditional video quality assessment (VQA) methods evaluate localized picture quality and video score is predicted by temporally aggregating frame scores. However, video quality exhibits different characteristics from static image quality due to the existence of temporal masking effects. In this paper, we present a novel architecture, namely C3DVQA, that uses Convolutional Neural Network with 3D kernels (C3D) for full-reference VQA task. C3DVQA combines feature learning and score pooling into one spatiotemporal feature learning process. We use 2D convolutional layers to extract spatial features and 3D convolutional layers to learn spatiotemporal features. We empirically found that 3D convolutional layers are capable to capture temporal masking effects of videos. We evaluated the proposed method on the LIVE and CSIQ datasets. The experimental results demonstrate that the proposed method achieves the state-of-the-art performance.


title: An ASKAP search for a radio counterpart to the first high-significance neutron star-black hole merger LIGO/Virgo S190814bv

abstract: We present results from a search for a radio transient associated with the LIGO/Virgo source S190814bv, a likely neutron star-black hole (NSBH) merger, with the Australian Square Kilometre Array Pathfinder. We imaged a $30\,{\rm deg}^2$ field at $\Delta T$=2, 9 and 33 days post-merger at a frequency of 944\,MHz, comparing them to reference images from the Rapid ASKAP Continuum Survey observed 110 days prior to the event. Each epoch of our observations covers $89\%$ of the LIGO/Virgo localisation region. We conducted an untargeted search for radio transients in this field, resulting in 21 candidates. For one of these, \object[AT2019osy]{AT2019osy}, we performed multi-wavelength follow-up and ultimately ruled out the association with S190814bv. All other candidates are likely unrelated variables, but we cannot conclusively rule them out. We discuss our results in the context of model predictions for radio emission from neutron star-black hole mergers and place constrains on the circum-merger density and inclination angle of the merger. This survey is simultaneously the first large-scale radio follow-up of an NSBH merger, and the most sensitive widefield radio transients search to-date.


title: Oxygen vacancy-driven orbital multichannel Kondo effect in Dirac nodal line metals IrO2 and RuO2

abstract: Strong electron correlations have long been recognized as driving the emergence of novel phases of matter. A well recognized example is high-temperature superconductivity which cannot be understood in terms of the standard weak-coupling theory. The exotic properties that accompany the formation of the two-channel Kondo effect including the emergence of an unconventional metallic state in the low-energy limit also originate from strong electron interactions. Despite its paradigmatic role for the formation of non-standard metal behavior, the stringent conditions required for its emergence have made the observation of the nonmagnetic, orbital two-channel Kondo effect in real quantum materials difficult, if not impossible. We report the observation of orbital one- and two-channel Kondo physics in the symmetry-enforced Dirac nodal line metals IrO2 and RuO2 nanowires and show that the symmetries that enforce the existence of Dirac nodal lines also promote the formation of nonmagnetic Kondo correlations. Rutile oxide nanostructures thus form a versatile quantum matter platform to engineer and explore intrinsic, interacting topological states of matter.


title: Spectroscopic and Stereoscopic Observations of the Solar Jets

abstract: We present a comprehensive study of a series of recurrent jets that occurred at the periphery of the NOAA active region 12114 on 2014 July 7. These jets were found to share the same source region and exhibited rotational motions as they propagated outward. The multi-wavelength imaging observations made by the AIA and {\it IRIS} telescopes reveal that some of the jets contain cool plasma only, while some others contain not only cool but also hot plasma. The Doppler velocities calculated from the {\it IRIS} spectra show a continuous evolution from blue to red shifts as the jet motions change from upward to downward. Additionally, some jets exhibit opposite Doppler shifts on their both sides, indicative of rotating motions along their axes. The inclination angle and three-dimensional velocity of the largest jet were inferred from the imaging and spectroscopic observations, which show a high consistence with those derived from the stereoscopic analysis using dual-perspective observations by {\it SDO}/AIA and {\it STEREO}-B/EUVI. By relating the jets to the local UV/EUV and full-disk {\it GOES} X-ray emission enhancements, we found that the previous five small-scale jets were triggered by five bright points while the last/largest one was triggered by a C1.6 solar flare. Together with a number of type III radio bursts generated during the jet eruptions as well as a weak CME that was observed in association with the last jet, our observations provide evidences in support of multi-scale magnetic reconnection processes being responsible for the production of jet events.


title: Bundle methods for dual atomic pursuit

abstract: The aim of structured optimization is to assemble a solution, using a given set of (possibly uncountably infinite) atoms, to fit a model to data. A two-stage algorithm based on gauge duality and bundle method is proposed. The first stage discovers the optimal atomic support for the primal problem by solving a sequence of approximations of the dual problem using a bundle-type method. The second stage recovers the approximate primal solution using the atoms discovered in the first stage. The overall approach leads to implementable and efficient algorithms for large problems.


title: Decadal attribution of historic temperature and ocean heat content change to anthropogenic emissions

abstract: We present an alternative method of calculating the historical effective radiative forcing using the observed temperature record and a kernel based on the CMIP5 temperature response. This estimate is the effective radiative forcing time series that the average climate model would need to simulate the observed global mean surface temperature anomalies. We further infer the anthropogenic aerosols radiative forcing as a residual using the better-known greenhouse gas radiative forcing. This allows an independent estimate of anthropogenic aerosol radiative forcing, which suggests a cooling influence due to aerosols in the early part of the 20th century. The temporal kernels are also used to calculate decadal contributions from the dominant forcing agents to present day temperature, ocean heat content, and thermosteric sea level rise. The current global mean temperature anomaly is dominated by emissions in the past two decades, while current ocean heat content is more strongly affected by earlier decades.


title: Achieving Positive Covert Capacity over MIMO AWGN Channels

abstract: We consider covert communication, i.e., hiding the presence of communication from an adversary for multiple-input multiple-output (MIMO) additive white Gaussian noise (AWGN) channels. We characterize the maximum covert coding rate under a variety of settings, including different regimes where either the number of transmit antennas or the blocklength is scaled up. We show that a non-zero covert capacity can be achieved in the massive MIMO regime in which the number of transmit antennas scales up but under specific conditions. Under such conditions, we show that the covert capacity of MIMO AWGN channels converges the capacity of MIMO AWGN channels. Furthermore, we derive the order-optimal scaling of the number of covert bits in the regime where the covert capacity is zero. We provide an insightful comparative analysis of different cases in which secrecy and energy-undetectability constraints are imposed separately or jointly.


title: Twisted S-Duality

abstract: S-duality is a nontrivial self-duality of type IIB string theory that exchanges strong and weak coupling. We give a mathematically rigorous description of how S-duality acts on a low-energy supersymmetry-protected sector of IIB string theory, using a conjectural description of such protected sectors in terms of topological string theory. We then give some applications which are of relevance to Geometric Langlands Theory and the representation theory of the Yangian.

categories: math-ph hep-th math.AG math.MP math.QA math.RT


title: Layered Uncertainty in Planetary Thermal History Models: Implications for Hypotheses Discrimination and Habitability Modeling

abstract: Multiple hypotheses/models have been put forward regarding the cooling history of the Earth. The search for life beyond Earth has brought these models into a new light as they connect to one of the two energy sources life can tap. The ability to discriminate between different Earth cooling models, and the utility of adopting such models to aid in the assessment of planetary habitability, has been hampered by a lack of uncertainty analysis. This motivates a layered uncertainty analysis for a range of thermal history models that have been applied to the Earth. The analysis evaluates coupled model input, initial condition, and structural uncertainty. Layered model uncertainty, together with data uncertainty and multiple working hypotheses (another form of uncertainty), means that results must be evaluated in a probabilistic sense even if the models are deterministic. For the Earth's cooling history uncertainty leads to ambiguity - multiple models, based on different hypotheses, can match data constraints. This has implications for using such models to forecast conditions for exoplanets that share Earth characteristics but are older than the Earth, i.e., it has implications for modeling the long-term life potential of terrestrial planets. Even for the most Earth-like planet we know of, the Earth itself, model uncertainty and ambiguity leads to large forecast spreads. Given that this comes from the planet with the most data constraints we should expect larger spreads for models of terrestrial planets in general. The layered uncertainty approach can be expanded by coupling planetary cooling models to climate models and propagating uncertainty between them to assess habitability from a probabilistic versus a binary view.


title: Probing charge pumping and relaxation of the chiral anomaly in a Dirac semimetal

abstract: The linear band crossings of 3D Dirac and Weyl semimetals are characterized by a charge chirality, the parallel or anti-parallel locking of electron spin to its momentum. Such materials are believed to exhibit a ${\bf E} \cdot {\bf B}$ chiral magnetic effect that is associated with the near conservation of chiral charge. Here, we use magneto-terahertz spectroscopy to study epitaxial Cd$_3$As$_2$ films and extract their conductivities $\sigma(\omega)$ as a function of ${\bf E} \cdot {\bf B}$. As field is applied, we observe a remarkably sharp Drude response that rises out of the broader background. Its appearance is a definitive signature of a new transport channel and consistent with the chiral response, with its spectral weight a measure of the net chiral charge and width a measure of the scattering rate between chiral species. The field independence of the chiral relaxation establishes that it is set by the approximate conservation of the isospin that labels the crystalline point-group representations.


title: Outliagnostics: Visualizing Temporal Discrepancy in Outlying Signatures of Data Entries

abstract: This paper presents an approach to analyzing two-dimensional temporal datasets focusing on identifying observations that are significant in calculating the outliers of a scatterplot. We also propose a prototype, called Outliagnostics, to guide users when interactively exploring abnormalities in large time series. Instead of focusing on detecting outliers at each time point, we monitor and display the discrepant temporal signatures of each data entry concerning the overall distributions. Our prototype is designed to handle these tasks in parallel to improve performance. To highlight the benefits and performance of our approach, we illustrate and validate the use of Outliagnostics on real-world datasets of various sizes in different parallelism configurations. This work also discusses how to extend these ideas to handle time series with a higher number of dimensions and provides a prototype for this type of datasets.


title: Optimal Scheduling Control in Fluid Models of General $n\times n$ Input-Queued Switches

abstract: Most of the early input-queued switch research focused on establishing throughput optimality of the max-weight scheduling policy, with some recent research showing that max-weight scheduling is optimal with respect to total expected delay asymptotically in the heavy-traffic regime. However, the question of delay-optimal scheduling in input-queued switches remains open in general, as does the question of delay-optimal scheduling under more general objective functions. To gain fundamental insights into these very difficult problems, we consider a fluid model of $n \times n$ input-queued switches with associated fluid-flow costs, and we derive an optimal scheduling control policy to an infinite horizon discounted control problem with a general linear objective function of fluid cost. Our optimal policy coincides with the $c\mu$-rule in certain parameter domains. More generally, due to the input-queued switch constraints, the optimal policy takes the form of the solution to a flow maximization problem, after we identify the Lagrangian multipliers of some key constraints through carefully designed algorithms. Computational experiments demonstrate the benefits of our optimal scheduling policy over variants of max-weight scheduling within fluid models of input-queued switches.


title: Local subsemigroups and variants of some class of semigroups

abstract: For an element a in a semigroup S the local subsemigroup of S with respect to a is the subsemigroup aSa of S and the variant of S with respect to a is a semigroup with underlying set S with a sandwich operation xy = xay for all x, y in S. In this paper we discuss the structures of local subsemigroups of full transformation semigroups and symmetric inverse monoids. It is also shown that the set of all local subsemigroups of finite symmetric inverse monoids and the set of all variants of all finite symmetric inverse monoids are same upto isomorphism.


title: Efficient Privacy-Preserving Stochastic Nonconvex Optimization

abstract: While many solutions for privacy-preserving convex empirical risk minimization (ERM) have been developed, privacy-preserving nonconvex ERM remains a challenge. We study nonconvex ERM, which takes the form of minimizing a finite-sum of nonconvex loss functions over a training set. We propose a new differentially private stochastic gradient descent algorithm for nonconvex ERM that achieves strong privacy guarantees efficiently, and provide a tight analysis of its privacy and utility guarantees, as well as its gradient complexity. Our algorithm reduces gradient complexity while improves the best previous utility guarantee given by Wang et al. (NeurIPS 2017). Our experiments on benchmark nonconvex ERM problems demonstrate superior performance in terms of both training cost and utility gains compared with previous differentially private methods using the same privacy budgets.


title: Whispering gallery modes in triple microdisks of triangular configurations

abstract: We study whispering gallery modes in triple microdisks of equilateral and isosceles triangular configurations. The characteristic properties of resonant modes in three microdisks on vertices of an equilateral triangle are explained by discrete rotational symmetry of the triangle. The avoided crossings of resonant modes in three microdisks on vertices of an isosceles triangle are also studied in terms of a combination of single and coupled microdisks. Finally, we propose the matrix models which well explain the resonant modes in triple microdisks.


title: On decoherence induced by a spin chain: role of initial prepared states

abstract: We study the decoherence process induced by a spin chain environment on a central spin consisting of R spins and we apply it on the dynamics of quantum correlations (QCs) of three interacting qubits. In order to see the impact of the initial prepared state of the spin chain environment on the decoherence process, we assume the spin chain environment prepared in two main ways, namely, either the ground state or the vacuum state in the momentum space. We develop a general heuristic analysis when the spin chain environment in prepared in these states, in order to understand the decoherence process against the physical parameters. We show that the decoherence process is mainly determined by the choice of the initial prepared state, the number of spin of the chain, the coupling strength, the anisotropy parameter and the position from the quantum critical point. In fact, in the strong coupling regime, the decoherence process does not appear for the environment prepared in the vacuum state and it behaves oscillatory in the case of evolution from ground state. On the other hand, in the weak coupling regime and far from the quantum critical point, decoherence induced by the ground state is weaker than that of the vacuum state. Finally, we show that, QCs are completely shielded from decoherence in the case of evolution from the W state and obey the same dynamics as the decoherence factors for the GHZ state.


title: Constraining properties of neutron star merger outflows with radio observations

abstract: The jet opening angle and inclination of GW170817 -- the first detected binary neutron star merger -- were vital to understand its energetics, relation to short gamma-ray bursts, and refinement of the standard siren-based determination of the Hubble constant, $H_0$. These basic quantities were determined through a combination of the radio lightcurve and Very Long Baseline Interferometry (VLBI) measurements of proper motion. In this paper we discuss and quantify the prospects for the use of radio VLBI observations and observations of scintillation-induced variability to measure the source size and proper motion of merger afterglows, and thereby infer properties of the merger including inclination angle, opening angle and energetics. We show that these techniques are complementary as they probe different parts of the circum-merger density/inclination angle parameter space and different periods of the temporal evolution of the afterglow. We also find that while VLBI observations will be limited to the very closest events it will be possible to detect scintillation for a large fraction of events beyond the range of current gravitational wave detectors. Scintillation will also be detectable with next generation telescopes such as the Square Kilometre Array, 2000 antenna Deep Synoptic Array and the next generation Very Large Array, for a large fraction of events detected with third generation gravitational wave detectors. Finally, we discuss prospects for the measurement of the $H_0$ with VLBI observations of neutron star mergers and compare this technique to other standard siren methods.


title: Synthesizing the Quantum Spin Hall Phase for Ultracold Atoms in Bichromatic Chiral Optical Ladders

abstract: Realizing the topological bands of helical states poses a challenge in studying ultracold atomic gases. Motivated by the recent experimental success in realizing chiral optical ladders, here we present a scheme for synthesizing topological quantum matter, especially the quantum spin Hall phase, in the chiral optical ladders. More precisely, we first establish the synthetic pseudo-spin-orbit coupling and Zeeman splitting in the chiral ladders. We analyze the band structure of the ladders exposed to the bichromatic optical potentials and report the existence of quantum spin Hall phase. We further identify a rich phase diagram of the bichromatic chiral ladders, illustrating that our proposal features a large space of system parameters exhibiting a variety of quantum phase transitions. Our scheme can be readily implemented in the existing experimental systems and hence provides a new method to engineer the sophisticated topological bands for cold atomic gases.


title: Phenotyping of Clinical Notes with Improved Document Classification Models Using Contextualized Neural Language Models

abstract: Clinical notes contain an extensive record of a patient's health status, such as smoking status or the presence of heart conditions. However, this detail is not replicated within the structured data of electronic health systems. Phenotyping, the extraction of patient conditions from free clinical text, is a critical task which supports avariety of downstream applications such as decision support and secondary use of medical records. Previous work has resulted in systems which are high performing but require hand engineering, often of rules. Recent work in pretrained contextualized language models have enabled advances in representing text for a variety of tasks. We therefore explore several architectures for modeling pheno-typing that rely solely on BERT representations of the clinical note, removing the need for manual engineering. We find these architectures are competitive with or outperform existing state of the art methods on two phenotyping tasks.


title: Protostellar Evolution in Serpens Main: Possible Origin of Disk-Size Diversity

abstract: We have observed the submillimeter continuum condensations SMM2, SMM4, SMM9, and SMM11 in the star forming cluster Serpens Main using the Atacama Large Millimeter/submillimeter Array during Cycle 3 in the 1.3 mm continuum, 12CO J=2-1, SO J_N=6_5-5_4, and C18O J=2-1 lines at an angular resolution of ~0.55 (240 au). Sixteen sources have been detected in the 1.3 mm continuum, which can be classified into three groups. Group 1 consists of six sources showing extended continuum emission and bipolar/monopolar 12CO outflows. Although all the Group 1 members are classified as Class 0 protostars, our observations suggest evolutionary trends among them in terms of 12CO outflow dynamical time, SO emission distribution, C18O fractional abundance, and continuum morphology. Group 2 consists of four sources associated with a continuum filamentary structure and no 12CO outflows. Central densities estimated from the 1.3 mm continuum intensity suggest that they are prestellar sources in a marginally Jeans unstable state. Group 3 consists of six Spitzer sources showing point-like 1.3 mm continuum emission and clumpy 12CO outflows. These features of Group 3 suggest envelope dissipation, preventing disk growth from the present size, r <~ 60 au. The Group 3 members are protostars that may be precursors to the T Tauri stars associated with small disks at tens-au radii identified in recent surveys.


title: Explicit Description of Centralizers for a Matrix

abstract: Let $k$ be a field and $A\in M_n(k)$ be an $n\times n$ matrix. We denote $C_{M_n(k)}(A) = \{B\in M_n(k) : BA = AB\}$ be its centralizers in $M_n(k)$. The dimension of the space of centralizer was already known by Frobenius. This paper will give the explicit $k$-basis for $C_{M_n(k)}(A)$ and also an algorithm (with polynomial complexity respect to multiplication in the field $k$) to construct the explicit basis. Lastly, the result can be used to solve a weaker version of the Wild Problem.


title: Robustness of FCS (Fluorescence Correlation Spectroscopy) with Quenchers Present

abstract: Inspired by recent publications doubtful of the FCS technique, we scrutinize how irreversible (static) and reversible (dynamic) quenching can influence the interpretation of such data. We consider intermediate cases where the assessment of photophysics (static quenching, blinking-like triplet state relaxation) influence on autocorrelation curves can be delicate if dye-labeled objects diffuse on comparably-rapid time scales and use tryptophan as the quencher. As our example of small-molecule dye that diffuses rapidly, we mix quencher with Alexa 488 dye, and quenching is reflected in the fact that the data become exceptionally noisy. This reflects the bidisperse population of quenched and unquenched dye when the time scales overlap between the processes of translational diffusion, quenching, and blinking. As our example of large-molecule dye-labeled object, we mixed quencher with dye-labeled bovine serum albumin. Diffusion, static quenching and blinking time scales are now separated, and inferred translational diffusion now depends weakly on quencher. We conclude that when the diffusing molecule is substantially slower to diffuse than the time scale of photophysical processes of the fluorescent dye to which it is attached, influence of quenching is self-evident and the FCS autocorrelation curves give appropriate diffusion coefficient if correct fitting functions are chosen in the analysis.


title: Random concave functions

abstract: Spaces of convex and concave functions appear naturally in theory and applications. For example, convex regression and log-concave density estimation are important topics in nonparametric statistics. In stochastic portfolio theory, concave functions on the unit simplex measure the concentration of capital, and their gradient maps define novel investment strategies. The gradient maps may also be regarded as optimal transport maps on the simplex. In this paper we construct and study probability measures supported on spaces of concave functions. These measures may serve as prior distributions in Bayesian statistics and Cover's universal portfolio, and induce distribution-valued random variables via optimal transport. The random concave functions are constructed on the unit simplex by taking a suitably scaled (mollified, or soft) minimum of random hyperplanes. Depending on the regime of the parameters, we show that as the number of hyperplanes tends to infinity there are several possible limiting behaviors. In particular, there is a transition from a deterministic almost sure limit to a non-trivial limiting distribution that can be characterized using convex duality and Poisson point processes.


title: An Investigation Into Several Explicit Versions of Burgess' Bound

abstract: Let $\chi$ be a Dirichlet character modulo $p$, a prime. In applications, one often needs estimates for short sums involving $\chi$. One such estimate is the family of bounds known as \emph{Burgess' bound}. In this paper, we explore several minor adjustments one can make to the work of Enrique Trevi\~no on explicit versions of Burgess' bound. For an application, we investigate the problem of the existence of a $k$th power non-residue modulo $p$ which is less than $p^\alpha$ for several fixed $\alpha$. We also provide a quick improvement to the conductor bounds for norm-Euclidean cyclic fields.


title: Not even wrong: Reply to Wagg et al

abstract: We demonstrate that the issues described in the Wagg et al. (2019) Comment on our paper (Pillai and Gouhier, 2019) are all due to misunderstandings about the implications of pairwise effects, the nature of the null baseline in both our framework and in the Loreau-Hector (LH) partitioning scheme (i.e., the midpoint of the monocultures), and the impact of nonlinearity on the LH partitioning results. Specifically, we show that (i) pairwise effects can be computed over any time horizon and thus do not imply stable coexistence, (ii) the midpoint of the monocultures corresponds to a neutral community so coexistence was always part of the LH baseline, and (iii) contrary to what Wagg et al. suggested, generalized diversity-interaction models do not account for (and may in fact exacerbate) the problem of nonlinearity in monocultures, which inflates the LH net biodiversity effect and generates incorrect estimates of selection and complementarity. Hence, all of our original claims about the triviality inherent in biodiversity-ecosystem functioning research and the issues with the LH partitioning scheme hold.


title: Facial Image Deformation Based on Landmark Detection

abstract: In this work, we use facial landmarks to make the deformation for facial images more authentic. The deformation includes the expansion of eyes and the shrinking of noses, mouths, and cheeks. An advanced 106-point facial landmark detector is utilized to provide control points for deformation. Bilinear interpolation is used in the expansion and Moving Least Squares methods (MLS) including Affine Deformation, Similarity Deformation and Rigid Deformation are used in the shrinking. We compare the running time as well as the quality of deformed images using different MLS methods. The experimental results show that the Rigid Deformation which can keep other parts of the images unchanged performs better even if it takes the longest time.


title: Input-Output Equivalence of Unitary and Contractive RNNs

abstract: Unitary recurrent neural networks (URNNs) have been proposed as a method to overcome the vanishing and exploding gradient problem in modeling data with long-term dependencies. A basic question is how restrictive is the unitary constraint on the possible input-output mappings of such a network? This work shows that for any contractive RNN with ReLU activations, there is a URNN with at most twice the number of hidden states and the identical input-output mapping. Hence, with ReLU activations, URNNs are as expressive as general RNNs. In contrast, for certain smooth activations, it is shown that the input-output mapping of an RNN cannot be matched with a URNN, even with an arbitrary number of states. The theoretical results are supported by experiments on modeling of slowly-varying dynamical systems.


title: Thompson Sampling via Local Uncertainty

abstract: Thompson sampling is an efficient algorithm for sequential decision making, which exploits the posterior uncertainty to address the exploration-exploitation dilemma. There has been significant recent interest in integrating Bayesian neural networks into Thompson sampling. Most of these methods rely on global variable uncertainty for exploration. In this paper, we propose a new probabilistic modeling framework for Thompson sampling, where local latent variable uncertainty is used to sample the mean reward. Variational inference is used to approximate the posterior of the local variable, and semi-implicit structure is further introduced to enhance its expressiveness. Our experimental results on eight contextual bandit benchmark datasets show that Thompson sampling guided by local uncertainty achieves state-of-the-art performance while having low computational complexity.


title: Efficient Robust Parameter Identification in Generalized Kalman Smoothing Models

abstract: Dynamic inference problems in autoregressive (AR/ARMA/ARIMA), exponential smoothing, and navigation are often formulated and solved using state-space models (SSM), which allow a range of statistical distributions to inform innovations and errors. In many applications the main goal is to identify not only the hidden state, but also additional unknown model parameters (e.g. AR coefficients or unknown dynamics). We show how to efficiently optimize over model parameters in SSM that use smooth process and measurement losses. Our approach is to project out state variables, obtaining a value function that only depends on the parameters of interest, and derive analytical formulas for first and second derivatives that can be used by many types of optimization methods. The approach can be used with smooth robust penalties such as Hybrid and the Student's t, in addition to classic least squares. We use the approach to estimate robust AR models and long-run unemployment rates with sudden changes.


title: Form2Fit: Learning Shape Priors for Generalizable Assembly from Disassembly

abstract: Is it possible to learn policies for robotic assembly that can generalize to new objects? We explore this idea in the context of the kit assembly task. Since classic methods rely heavily on object pose estimation, they often struggle to generalize to new objects without 3D CAD models or task-specific training data. In this work, we propose to formulate the kit assembly task as a shape matching problem, where the goal is to learn a shape descriptor that establishes geometric correspondences between object surfaces and their target placement locations from visual input. This formulation enables the model to acquire a broader understanding of how shapes and surfaces fit together for assembly -- allowing it to generalize to new objects and kits. To obtain training data for our model, we present a self-supervised data-collection pipeline that obtains ground truth object-to-placement correspondences by disassembling complete kits. Our resulting real-world system, Form2Fit, learns effective pick and place strategies for assembling objects into a variety of kits -- achieving $90\%$ average success rates under different initial conditions (e.g. varying object and kit poses), $94\%$ success under new configurations of multiple kits, and over $86\%$ success with completely new objects and kits.


title: Multi Modal Semantic Segmentation using Synthetic Data

abstract: Semantic understanding of scenes in three-dimensional space (3D) is a quintessential part of robotics oriented applications such as autonomous driving as it provides geometric cues such as size, orientation and true distance of separation to objects which are crucial for taking mission critical decisions. As a first step, in this work we investigate the possibility of semantically classifying different parts of a given scene in 3D by learning the underlying geometric context in addition to the texture cues BUT in the absence of labelled real-world datasets. To this end we generate a large number of synthetic scenes, their pixel-wise labels and corresponding 3D representations using CARLA software framework. We then build a deep neural network that learns underlying category specific 3D representation and texture cues from color information of the rendered synthetic scenes. Further on we apply the learned model on different real world datasets to evaluate its performance. Our preliminary investigation of results show that the neural network is able to learn the geometric context from synthetic scenes and effectively apply this knowledge to classify each point of a 3D representation of a scene in real-world.


title: Enhanced skyrmion motion via strip domain wall

abstract: When magnetic skyrmions move under spin orbit torque in magnetic nanowires, they experience a skyrmion Hall effect, which pushes them towards the nanowire edge where they risk being annihilated; this puts an upper limit on how fast they can be driven. However, the same magnetic multilayer harboring skyrmions can sustain a N\'eel-type strip domain wall along the nanowire length, potentially keeping the skyrmions separated from the edge. Here we study the interplay between current driven skyrmions and domain walls and find that they increase the annihilation current and allow the skyrmions to move faster. Based on the Thiele formalism, we confirm that the emergent longitudinal repulsive force and the modified energy landscape linked to the domain wall are responsible for the enhanced skyrmion motion. Furthermore, we identify that the longitudinal repulsive force emerges because of the broken axisymmetry in the local magnetization in front of the skyrmion. Our study uncovers key aspects in the interplay between two topological magnetic textures from different homotopy groups and may inspire new device concepts.