title: Lessons from Contextual Bandit Learning in a Customer Support Bot

abstract: In this work, we describe practical lessons we have learned from successfully using contextual bandits (CBs) to improve key business metrics of the Microsoft Virtual Agent for customer support. While our current use cases focus on single step einforcement learning (RL) and mostly in the domain of natural language processing and information retrieval we believe many of our findings are generally applicable. Through this article, we highlight certain issues that RL practitioners may encounter in similar types of applications as well as offer practical solutions to these challenges.


title: Entanglement Entropy and Subregion Complexity in Thermal Perturbations around Pure-AdS Spacetime

abstract: We compute the holographic entanglement entropy and subregion complexity of spherical boundary subregions in the uncharged and charged AdS black hole backgrounds, with the \textbf{change} in these quantities being defined with respect to the pure AdS result. This calculation is done perturbatively in the parameter $\frac{R}{z_{\rm h}}$, where $z_{\rm h}$ is the black hole horizon and $R$ is the radius of the entangling region. We provide analytic formulae for these quantities as functions of the boundary spacetime dimension $d$ including several orders higher than previously computed. We observe that the change in entanglement entropy has definite sign at each order and subregion complexity has a negative sign relative to entanglement entropy at each of those orders (except at first order or in three spacetime dimensions, where it vanishes identically). We combine pre-existing work on the "complexity equals volume" conjecture and the conjectured relationship between Fisher information and bulk entanglement to suggest a refinement of the so-called first law of entanglement thermodynamics by introducing a work term associated with complexity. This extends the previously proposed first law, which held to first order, to one which holds to second order. We note that the proposed relation does not hold to third order and speculate on the existence of additional information-theoretic quantities that may also play a role.


title: Carroll Structures, Null Geometry and Conformal Isometries

abstract: We study the concept of Carrollian spacetime starting from its underlying fiber-bundle structure. The latter admits an Ehresmann connection, which enables a natural separation of time and space, preserved by the subset of Carrollian diffeomorphisms. These allow for the definition of Carrollian tensors and the structure at hand provides the designated tools for describing the geometry of null hypersurfaces embedded in Lorentzian manifolds. Using these tools, we investigate the conformal isometries of general Carrollian spacetimes and their relationship with the BMS group.


title: On-shell renormalization scheme for ${\cal N}=1$ SQED and the NSVZ relation

abstract: In this paper we investigate the renormalization of ${\cal N}=1$ supersymmetric quantum electrodynamics, regularized by higher derivatives, in the on-shell scheme. It is demonstrated that in this scheme the exact Novikov, Shifman, Vainshtein, and Zakharov (NSVZ) equation relating the $\beta$-function to the anomalous dimension of the matter superfields is valid in all orders of the perturbation theory. This implies that the on-shell scheme enters the recently constructed continuous set of NSVZ subtraction schemes. To verify this statement, we compare the anomalous dimension of the matter superfields in the two-loop approximation and the $\beta$-function in the three-loop approximation, which are explicitly calculated in this scheme. The finite renormalizations relating the on-shell scheme to some other NSVZ subtraction schemes formulated previously are obtained.


title: Interference Visibility and Wave-Particle Duality in Multi-Path Interference

abstract: Wave-particle duality in multi-path interference is fraught with issues despite substantial progress in recent years. It was experimentally shown that in certain specific conditions, getting path information in a multi-path experiment can actually increase the visibility of interference. As a result, it was argued that in multi-path interference experiments, visibility of interference and 'which-path' information are not always complementary observables. In the present work, a new wave-particle duality relation is presented, based on a sum of visibilities of interference from individual pairs of path. This relation is always respected, even in the kind of specific situations mentioned above. This sum of visibilities turns out to be related to a recently introduced measure of coherence. As one of the consequences, it provides a novel way of experimentally measuring coherence in a multi-path interference experiment. As another consequence, this relation suggests a simple way of measuring path-distinguishability in multi-path interference. In addition, it resolves several outstanding issues concerning wave-particle duality in multi-path interference.


title: Scattering amplitude annihilators

abstract: Several second order differential operators are shown to annihilate the YM and GR tree scattering amplitudes. In particular we prove a conjecture of Loebbert, Mojaza and Plefka from their investigation of a hidden conformal symmetry in GR.


title: Chiral superconductivity in the alternate stacking compound 4Hb-TaS$_2$

abstract: Layered van der Waals (vdW) materials are emerging as one of the most versatile directions in the field of quantum condensed matter physics. They allow an unprecedented control of electronic properties via stacking of different types of two-dimensional (2D) materials. A fascinating frontier, largely unexplored, is the stacking of strongly-correlated phases of matter in vdW materials. Here, we study 4Hb-TaS$_2$, which naturally realizes an alternating stacking of a Mott insulator, recently reported as a gapless spin-liquid candidate(1T-TaS$_2$), and a 2D superconductor (1H-TaS$_2$). This raises the question of how these two components affect each other. We find a superconducting ground state with a transition temperature of 2.7K, which is significantly elevated compared to the 2H polytype (Tc=0.7K). Strikingly, the superconducting state exhibits signatures of time-reversal-symmetry breaking abruptly appearing at the superconducting transition, which can be naturally explained by a chiral superconducting state.


title: SN 2016coi (ASASSN-16fp): an energetic H-stripped core-collapse supernova from a massive stellar progenitor with large mass loss

abstract: We present comprehensive observations and analysis of the energetic H-stripped SN 2016coi (a.k.a. ASASSN-16fp), spanning the $\gamma$-ray through optical and radio wavelengths, acquired within the first hours to $\sim$420 days post explosion. Our campaign confirms the identification of He in the SN ejecta, which we interpret to be caused by a larger mixing of Ni into the outer ejecta layers. From the modeling of the broad bolometric light curve we derive a large ejecta mass to kinetic energy ratio ($M_{\rm{ej}}\sim 4-7\,\rm{M_{\odot}}$, $E_{\rm{k}}\sim 7-8\times 10^{51}\,\rm{erg}$). The small [\ion{Ca}{ii}] \lam\lam7291,7324 to [\ion{O}{i}] \lam\lam6300,6364 ratio ($\sim$0.2) observed in our late-time optical spectra is suggestive of a large progenitor core mass at the time of collapse. We find that SN 2016coi is a luminous source of X-rays ($L_{X}>10^{39}\,\rm{erg\,s^{-1}}$ in the first $\sim100$ days post explosion) and radio emission ($L_{8.5\,GHz}\sim7\times 10^{27}\,\rm{erg\,s^{-1}Hz^{-1}}$ at peak). These values are in line with those of relativistic SNe (2009bb, 2012ap). However, for SN 2016coi we infer substantial pre-explosion progenitor mass-loss with rate $\dot M \sim (1-2)\times 10^{-4}\,\rm{M_{\odot}yr^{-1}}$ and a sub-relativistic shock velocity $v_{sh}\sim0.15c$, in stark contrast with relativistic SNe and similar to normal SNe. Finally, we find no evidence for a SN-associated shock breakout $\gamma$-ray pulse with energy $E_{\gamma}>2\times 10^{46}\,\rm{erg}$. While we cannot exclude the presence of a companion in a binary system, taken together, our findings are consistent with a massive single star progenitor that experienced large mass loss in the years leading up to core-collapse, but was unable to achieve complete stripping of its outer layers before explosion.


title: On rationally connected varieties over $C_1$ fields of characteristic $0$

abstract: We use birational geometry to show that the existence of rational points on proper rationally connected varieties over fields of characteristic $0$ is a consequence of the existence of rational points on terminal Fano varieties. We discuss several consequences of this result, especially in relation to the $C_1$-conjecture. We also provide evidence that supports the conjecture in dimension $3$ for $C_1$ fields of characteristic $0$.


title: Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach

abstract: Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates in dynamic and partially unknown environments, which cause uncertainty that the SAS has to address to achieve its goals. Moreover, besides the environment, other classes of uncertainty have been identified. However, these various classes and their sources are not systematically addressed by current approaches throughout the life cycle of the SAS. In general, uncertainty typically makes the assurance provision of SAS goals exclusively at design time not viable. This calls for an assurance process that spans the whole life cycle of the SAS. In this work, we propose a goal-oriented assurance process that supports taming different sources (within different classes) of uncertainty from defining the goals at design time to performing self-adaptation at runtime. Based on a goal model augmented with uncertainty annotations, we automatically generate parametric symbolic formulae with parameterized uncertainties at design time using symbolic model checking. These formulae and the goal model guide the synthesis of adaptation policies by engineers. At runtime, the generated formulae are evaluated to resolve the uncertainty and to steer the self-adaptation using the policies. In this paper, we focus on reliability and cost properties, for which we evaluate our approach on the Body Sensor Network (BSN) implemented in OpenDaVINCI. The results of the validation are promising and show that our approach is able to systematically tame multiple classes of uncertainty, and that it is effective and efficient in providing assurances for the goals of self-adaptive systems.


title: Sparse data interpolation using the geodesic distance affinity space

abstract: In this paper, we adapt the geodesic distance-based recursive filter to the sparse data interpolation problem. The proposed technique is general and can be easily applied to any kind of sparse data. We demonstrate the superiority over other interpolation techniques in three experiments for qualitative and quantitative evaluation. In addition, we compare our method with the popular interpolation algorithm presented in the EpicFlow optical flow paper that is intuitively motivated by a similar geodesic distance principle. The comparison shows that our algorithm is more accurate and considerably faster than the EpicFlow interpolation technique.


title: Online learning of neural networks based on a model-free control algorithm

abstract: We explore the possibilities of using a model-free-based control law in order to train artificial neural networks. In the supervised learning context, we consider the problem of tuning the synaptic weights as a feedback control tracking problem where the control algorithm adjusts the weights online according to the input-output training data set of the neural network. Numerical results illustrate the dynamical learning process and an example of classifier that show very promising properties of our proposed approach.


title: A Geometric Approach to Obtain a Bird's Eye View from an Image

abstract: The objective of this paper is to rectify any monocular image by computing a homography matrix that transforms it to a bird's eye (overhead) view. We make the following contributions: (i) we show that the homography matrix can be parameterised with only four parameters that specify the horizon line and the vertical vanishing point, or only two if the field of view or focal length is known; (ii) We introduce a novel representation for the geometry of a line or point (which can be at infinity) that is suitable for regression with a convolutional neural network (CNN); (iii) We introduce a large synthetic image dataset with ground truth for the orthogonal vanishing points, that can be used for training a CNN to predict these geometric entities; and finally (iv) We achieve state-of-the-art results on horizon detection, with 74.52% AUC on the Horizon Lines in the Wild dataset. Our method is fast and robust, and can be used to remove perspective distortion from videos in real time.


title: The Astrochemical Impact of Cosmic Rays in Protoclusters I: Molecular Cloud Chemistry

abstract: We present astrochemical photo-dissociation region models in which cosmic ray attenuation has been fully coupled to the chemical evolution of the gas. We model the astrochemical impact of cosmic rays, including those accelerated by protostellar accretion shocks, on molecular clouds hosting protoclusters. Our models with embedded protostars reproduce observed ionization rates. We study the imprint of cosmic ray attenuation on ions for models with different surface cosmic ray spectra and different star formation efficiencies. We find that abundances, particularly ions, are sensitive to the treatment of cosmic rays. We show the column densities of ions are under predicted by the `classic' treatment of cosmic rays by an order of magnitude. We also test two common chemistry approximations used to infer ionization rates. We conclude that the approximation based on the H$_3^+$ abundance under predicts the ionization rate except in regions where the cosmic rays dominate the chemistry. Our models suggest the chemistry in dense gas will be significantly impacted by the increased ionization rates, leading to a reduction in molecules such as NH$_3$ and causing H$_2$-rich gas to become [C II] bright.


title: Eigenvalue rigidity for truncations of random unitary matrices

abstract: We consider the empirical eigenvalue distribution of an $m\times m$ principal submatrix of an $n\times n$ random unitary matrix distributed according to Haar measure. For $n$ and $m$ large with $\frac{m}{n}=\alpha$, the empirical spectral measure is well-approximated by a deterministic measure $\mu_\alpha$ supported on the unit disc. In earlier work, we showed that for fixed $n$ and $m$, the bounded-Lipschitz distance between the empirical spectral measure and the corresponding $\mu_\alpha$ is typically of order $\sqrt{\frac{\log(m)}{m}}$ or smaller. In this paper, we consider eigenvalues on a microscopic scale, proving concentration inequalities for the eigenvalue counting function and for individual bulk eigenvalues.


title: Image Matters: Scalable Detection of Offensive and Non-Compliant Content / Logo in Product Images

abstract: In e-commerce, product content, especially product images have a significant influence on a customer's journey from product discovery to evaluation and finally, purchase decision. Since many e-commerce retailers sell items from other third-party marketplace sellers besides their own, the content published by both internal and external content creators needs to be monitored and enriched, wherever possible. Despite guidelines and warnings, product listings that contain offensive and non-compliant images continue to enter catalogs. Offensive and non-compliant content can include a wide range of objects, logos, and banners conveying violent, sexually explicit, racist, or promotional messages. Such images can severely damage the customer experience, lead to legal issues, and erode the company brand. In this paper, we present a computer vision driven offensive and non-compliant image detection system for extremely large image datasets. This paper delves into the unique challenges of applying deep learning to real-world product image data from retail world. We demonstrate how we resolve a number of technical challenges such as lack of training data, severe class imbalance, fine-grained class definitions etc. using a number of practical yet unique technical strategies. Our system combines state-of-the-art image classification and object detection techniques with budgeted crowdsourcing to develop a solution customized for a massive, diverse, and constantly evolving product catalog.


title: Faster-than-light signalling in the rotating-wave approximation

abstract: We present new results on the causality violations introduced by the rotating wave approximation commonly used in quantum optics and high-energy physics. We find that the causality violations and faster-than-light signalling induced by the approximation have `fat tails', i.e., they are polynomially decaying with the distance from the light-cone of the emitter. Furthermore, we also show that the fundamental problems with the incompatibility between the approximation and relativity are not cured even in the long interaction time regime (where the approximation is often taken). This renders the approximation unsuitable for any regime where we are concerned about relativistic causality and information transmission via the electromagnetic field.


title: Optical Control of Chiral Charge Pumping in a Topological Weyl Semimetal

abstract: Solids with topologically robust electronic states exhibit unusual electronic and optical transport properties that do not exist in other materials. A particularly interesting example is chiral charge pumping, the so-called chiral anomaly, in recently discovered topological Weyl semimetals, where simultaneous application of parallel DC electric and magnetic fields creates an imbalance in the number of carriers of opposite topological charge (chirality). Here, using time-resolved terahertz measurements on the Weyl semimetal TaAs in a magnetic field, we optically interrogate the chiral anomaly by dynamically pumping the chiral charges and monitoring their subsequent relaxation. Theory based on Boltzmann transport shows that the observed effects originate from an optical nonlinearity in the chiral charge pumping process. Our measurements reveal that the chiral population relaxation time is much greater than 1 ns. The observation of terahertz-controlled chiral carriers with long coherence times and topological protection suggests the application of Weyl semimetals for quantum optoelectronic technology.


title: A Differential Game Approach to Decentralized Virus-Resistant Weight Adaptation Policy over Complex Networks

abstract: Increasing connectivity of communication networks enables large-scale distributed processing over networks and improves the efficiency for information exchange. However, malware and virus can take advantage of the high connectivity to spread over the network and take control of devices and servers for illicit purposes. In this paper, we use an SIS epidemic model to capture the virus spreading process and develop a virus-resistant weight adaptation scheme to mitigate the spreading over the network. We propose a differential game framework to provide a theoretic underpinning for decentralized mitigation in which nodes of the network cannot fully coordinate, and each node determines its own control policy based on local interactions with neighboring nodes. We characterize and examine the structure of the Nash equilibrium, and discuss the inefficiency of the Nash equilibrium in terms of minimizing the total cost of the whole network. A mechanism design through a penalty scheme is proposed to reduce the inefficiency of the Nash equilibrium and allow the decentralized policy to achieve social welfare for the whole network. We corroborate our results using numerical experiments and show that virus-resistance can be achieved by a distributed weight adaptation scheme.


title: FSMI: Fast computation of Shannon Mutual Information for information-theoretic mapping

abstract: Exploration tasks are embedded in many robotics applications, such as search and rescue and space exploration. Information-based exploration algorithms aim to find the most informative trajectories by maximizing an information-theoretic metric, such as the mutual information between the map and potential future measurements. Unfortunately, most existing information-based exploration algorithms are plagued by the computational difficulty of evaluating the Shannon mutual information metric. In this paper, we consider the fundamental problem of evaluating Shannon mutual information between the map and a range measurement. First, we consider 2D environments. We propose a novel algorithm, called the Fast Shannon Mutual Information (FSMI). The key insight behind the algorithm is that a certain integral can be computed analytically, leading to substantial computational savings. Second, we consider 3D environments, represented by efficient data structures, e.g., an OctoMap, such that the measurements are compressed by Run-Length Encoding (RLE). We propose a novel algorithm, called FSMI-RLE, that efficiently evaluates the Shannon mutual information when the measurements are compressed using RLE. For both the FSMI and the FSMI-RLE, we also propose variants that make different assumptions on the sensor noise distribution for the purpose of further computational savings. We evaluate the proposed algorithms in extensive experiments. In particular, we show that the proposed algorithms outperform existing algorithms that compute Shannon mutual information as well as other algorithms that compute the Cauchy-Schwarz Quadratic mutual information (CSQMI). In addition, we demonstrate the computation of Shannon mutual information on a 3D map for the first time.


title: English-Bhojpuri SMT System: Insights from the Karaka Model

abstract: This thesis has been divided into six chapters namely: Introduction, Karaka Model and it impacts on Dependency Parsing, LT Resources for Bhojpuri, English-Bhojpuri SMT System: Experiment, Evaluation of EB-SMT System, and Conclusion. Chapter one introduces this PhD research by detailing the motivation of the study, the methodology used for the study and the literature review of the existing MT related work in Indian Languages. Chapter two talks of the theoretical background of Karaka and Karaka model. Along with this, it talks about previous related work. It also discusses the impacts of the Karaka model in NLP and dependency parsing. It compares Karaka dependency and Universal Dependency. It also presents a brief idea of the implementation of these models in the SMT system for English-Bhojpuri language pair.


title: Restoring betatron phase coherence in a beam-loaded laser-wakefield accelerator

abstract: Matched beam loading in laser wakefield acceleration (LWFA), characterizing the state of flattening of the acceleration electric field along the bunch, leads to the minimization of energy spread at high bunch charges. Here, we demonstrate by independently controlling injected charge and acceleration gradients, using the self-truncated ionization injection scheme, that minimal energy spread coincides with a reduction of the normalized beam divergence. With the simultaneous confirmation of a constant beam radius at the plasma exit, deduced from betatron radiation spectroscopy, we attribute this effect to the reduction of chromatic betatron decoherence. Thus, beam loaded LWFA enables highest longitudinal and transverse phase space densities.


title: An optimizing multi-platform source-to-source compiler framework for the NEURON MODeling Language

abstract: Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit specific knowledge encoded in the constructs for the generation of code adapted to a particular hardware architecture; at the same time, they make it easier to generate optimized code for a multitude of platforms as the transformation has to be encoded only once. Here, we describe a new code generation framework (NMODL) for an existing DSL in the NEURON framework, a widely used software for massively parallel simulation of biophysically detailed brain tissue models. Existing NMODL DSL transpilers lack either essential features to generate optimized code or capability to parse the diversity of existing models in the user community. Our NMODL framework has been tested against a large number of previously published user models and offers high-level domain-specific optimizations and symbolic algebraic simplifications before target code generation. Furthermore, rich analysis tools are provided allowing the scientist to introspect models. NMODL implements multiple SIMD and SPMD targets optimized for modern hardware. Benchmarks were performed on Intel Skylake, Intel KNL and AMD Naples platforms. When comparing NMODL-generated kernels with NEURON we observe a speedup of up to 20x, resulting into overall speedups of two different production simulations by $\sim$10x. When compared to a previously published SIMD optimized version that heavily relied on auto-vectorization by the compiler still a speedup of up to $\sim$2x is observed.


title: LHC signals of a heavy doublet Higgs as dark matter portal: cut-based approach and improvement with gradient boosting and neural networks

abstract: Though the 125-GeV scalar, as the Higgs boson of the standard model, is disfavoured as a dark matter portal by direct searches and the observations on relic density, a heavier scalar in an extended electroweak sector can fit into that role. We explore this possibility in the context of two Higgs doublet models (2HDM). Taking Type I and Type II 2HDM as illustration, and assuming a scalar gauge singlet dark matter particle, we show that the heavy neutral CP-even scalar ($H$) can (a) serve as dark matter portal consistently with all data, and (b) have a substantial invisible branching ratio, over a wide region of the parameter space. Using this fact, we estimate rates of LHC signals where $H$ is produced via ({\it i}) gluon fusion, in association with a hard jet, and ({\it ii}) vector boson fusion. Invisible decays of the $H$ can then lead to monojet + $\slashed{E_T}$ in ({\it i}), and two forward jets with large rapidity gap + $\slashed{E_T}$ in ({\it ii}). The second kind of signal usually yields better significance for the high-luminosity run. We also supplement our cut-based analyses with those based on gradient boosted decision trees (XGboost) and artificial neural network (ANN) techniques, where the statistical significance distinctly improves, especially for Type II 2HDM.


title: Selection properties of the split interval and the Continuum Hypothesis

abstract: We prove that every usco multimap $\Phi:X\to Y$ from a metrizable separable space $X$ to a GO-space $Y$ has an $F_\sigma$-measurable selection. On the other hand, for the split interval $\ddot{\mathbb I}$ and the projection $P:\ddot{\mathbb I}^2\to{\mathbb I}^2$ of its square onto the unit square ${\mathbb I}^2$, the usco multimap $P^{-1}:{\mathbb I}^2\multimap\ddot{\mathbb I}^2$ has a Borel ($F_\sigma$-measurable) selection if and only if the Continuum Hypothesis holds. This CH-example shows that know results on Borel selections of usco maps into fragmentable compact spaces cannot be extended to a wider class of compact spaces.


title: Searching for MobileNetV3

abstract: We present the next generation of MobileNets based on a combination of complementary search techniques as well as a novel architecture design. MobileNetV3 is tuned to mobile phone CPUs through a combination of hardware-aware network architecture search (NAS) complemented by the NetAdapt algorithm and then subsequently improved through novel architecture advances. This paper starts the exploration of how automated search algorithms and network design can work together to harness complementary approaches improving the overall state of the art. Through this process we create two new MobileNet models for release: MobileNetV3-Large and MobileNetV3-Small which are targeted for high and low resource use cases. These models are then adapted and applied to the tasks of object detection and semantic segmentation. For the task of semantic segmentation (or any dense pixel prediction), we propose a new efficient segmentation decoder Lite Reduced Atrous Spatial Pyramid Pooling (LR-ASPP). We achieve new state of the art results for mobile classification, detection and segmentation. MobileNetV3-Large is 3.2\% more accurate on ImageNet classification while reducing latency by 15\% compared to MobileNetV2. MobileNetV3-Small is 4.6\% more accurate while reducing latency by 5\% compared to MobileNetV2. MobileNetV3-Large detection is 25\% faster at roughly the same accuracy as MobileNetV2 on COCO detection. MobileNetV3-Large LR-ASPP is 30\% faster than MobileNetV2 R-ASPP at similar accuracy for Cityscapes segmentation.


title: Interactive Semi-automated Specification Mining for Debugging: An Experience Report

abstract: Context: Specification mining techniques are typically used to extract the specification of a software in the absence of (up-to-date) specification documents. This is useful for program comprehension, testing, and anomaly detection. However, specification mining can also potentially be used for debugging, where a faulty behavior is abstracted to give developers a context about the bug and help them locating it. Objective: In this project, we investigate this idea in an industrial setting. We propose a very basic semi-automated specification mining approach for debugging and apply that on real reported issues from an AutoPilot software system from our industry partner, MicroPilot Inc. The objective is to assess the feasibility and usefulness of the approach in a real-world setting. Method: The approach is developed as a prototype tool, working on C code, which accept a set of relevant state fields and functions, per issue, and generates an extended finite state machine that represents the faulty behavior, abstracted with respect to the relevant context (the selected fields and functions). Results: We qualitatively evaluate the approach by a set of interviews (including observational studies) with the company's developers on their real-world reported bugs. The results show that a) our approach is feasible, b) it can be automated to some extent, and c) brings advantages over only using their code-level debugging tools. We also compared this approach with traditional fully automated state-merging algorithms and reported several issues when applying those techniques on a real-world debugging context. Conclusion: The main conclusion of this study is that the idea of an "interactive" specification mining rather than a fully automated mining tool is NOT impractical and indeed is useful for the debugging use case.


title: Self-Invariant Maximal Subfields and Their Connexion with Some Conjectures in Division Rings

abstract: Let D be a division algebra with center F. A maximal subfield of D is defined to be a field K such that CD(K) = K; that is, K is its own centralizer in D. A maximal subfield K is said to be self-invariant if it normalises by itself, i.e. ND*(K)= K: This kind of subfields is important because they have strong connexion with the most famous Albert's Conjecture (every division ring of prime index is cyclic). In fact, we pose a question that asserts whether every division ring whose all maximal subfields are self-invariant has to be commutative. The positive answer to this question, in finite dimensional case, implies the Albert's Conjecture (see x2). Although we show the Mal'cev-Neumann division ring demonstrates negative answer in the case of infinite dimensional division rings, but it is still most likely the question receives positive answer if we restrict ourselves to the finite dimensional division rings. We also have had the opportunity to use the Mal'cev-Neumann structure to answer Conjecture 1 below in negative (see x3). Finally, among other things, we rely on this kind of subfields to present a criteria for a division ring to have finite dimensional subdivision ring (see x4).


title: Wall-crossing and recursion formulae for tropical Jucys covers

abstract: In recent work, the authors derived a tropical interpretation of monotone and strictly monotone double Hurwitz numbers. In this paper, we apply the technique of tropical flows to this interpretation in order to provide a new proof of the piecewise polynomiality of these enumerative invariants. Moreover, we derive new types of wall-crossing formulae.


title: DeepRMSA: A Deep Reinforcement Learning Framework for Routing, Modulation and Spectrum Assignment in Elastic Optical Networks

abstract: This paper proposes DeepRMSA, a deep reinforcement learning framework for routing, modulation and spectrum assignment (RMSA) in elastic optical networks (EONs). DeepRMSA learns the correct online RMSA policies by parameterizing the policies with deep neural networks (DNNs) that can sense complex EON states. The DNNs are trained with experiences of dynamic lightpath provisioning. We first modify the asynchronous advantage actor-critic algorithm and present an episode-based training mechanism for DeepRMSA, namely, DeepRMSA-EP. DeepRMSA-EP divides the dynamic provisioning process into multiple episodes (each containing the servicing of a fixed number of lightpath requests) and performs training by the end of each episode. The optimization target of DeepRMSA-EP at each step of servicing a request is to maximize the cumulative reward within the rest of the episode. Thus, we obviate the need for estimating the rewards related to unknown future states. To overcome the instability issue in the training of DeepRMSA-EP due to the oscillations of cumulative rewards, we further propose a window-based flexible training mechanism, i.e., DeepRMSA-FLX. DeepRMSA-FLX attempts to smooth out the oscillations by defining the optimization scope at each step as a sliding window, and ensuring that the cumulative rewards always include rewards from a fixed number of requests. Evaluations with the two sample topologies show that DeepRMSA-FLX can effectively stabilize the training while achieving blocking probability reductions of more than 20.3% and 14.3%, when compared with the baselines.


title: MixMatch: A Holistic Approach to Semi-Supervised Learning

abstract: Semi-supervised learning has proven to be a powerful paradigm for leveraging unlabeled data to mitigate the reliance on large labeled datasets. In this work, we unify the current dominant approaches for semi-supervised learning to produce a new algorithm, MixMatch, that works by guessing low-entropy labels for data-augmented unlabeled examples and mixing labeled and unlabeled data using MixUp. We show that MixMatch obtains state-of-the-art results by a large margin across many datasets and labeled data amounts. For example, on CIFAR-10 with 250 labels, we reduce error rate by a factor of 4 (from 38% to 11%) and by a factor of 2 on STL-10. We also demonstrate how MixMatch can help achieve a dramatically better accuracy-privacy trade-off for differential privacy. Finally, we perform an ablation study to tease apart which components of MixMatch are most important for its success.


title: Hiding Data in Plain Sight: Undetectable Wireless Communications Through Pseudo-Noise Asymmetric Shift Keying

abstract: Undetectable wireless transmissions are fundamental to avoid eavesdroppers. To address this issue, wireless steganography hides covert information inside primary information by slightly modifying the transmitted waveform such that primary information will still be decodable, while covert information will be seen as noise by agnostic receivers. Since the addition of covert information inevitably decreases the SNR of the primary transmission, key challenges in wireless steganography are: i) to assess the impact of the covert channel on the primary channel as a function of different channel conditions; and ii) to make sure that the covert channel is undetectable. Existing approaches are protocol-specific, also we notice that existing wireless technologies rely on phase-keying modulations that in most cases do not use the channel up to its Shannon capacity. Therefore, the residual capacity can be leveraged to implement a wireless system based on a pseudo-noise asymmetric shift keying (PN-ASK) modulation, where covert symbols are mapped by shifting the amplitude of primary symbols. This way, covert information will be undetectable, since a receiver expecting phase-modulated symbols will see their shift in amplitude as an effect of channel/path loss degradation. We first investigate the SER of PN-ASK as a function of the channel; then, we find the optimal PN-ASK parameters that optimize primary and covert throughput under different channel condition. We evaluate the throughput performance and undetectability of PN-ASK through extensive simulations and on an experimental testbed based on USRP N210 software-defined radios. We show that PN-ASK improves the throughput by more than 8x with respect to prior art. Finally, we demonstrate through experiments that PN-ASK is able to transmit covert data on top of IEEE 802.11g frames, which are correctly decoded by an off-the-shelf laptop WiFi.


title: Hybrid 1D Plasmonic/Photonic Crystals are Responsive to Escherichia Coli

abstract: Photonic crystal-based biosensors hold great promise as valid and low-cost devices for real-time monitoring of a variety of biotargets. Given the high processability and easiness of read-out even for unskilled operators, these systems can be highly appealing for the detection of bacterial contaminants in food and water. Here, we propose a novel hybrid plasmonic/photonic device that is responsive to Escherichia coli, which is one of the most hazardous pathogenic bacterium. Our system consists of a thin layer of silver, a metal that exhibits both a plasmonic behavior and a well-known biocidal activity, on top of a solution processed 1D photonic crystal. We attribute the bio-responsivity to the modification of the dielectric properties of the silver film upon bacterial contamination, an effect that likely stems from the formation of polarization charges at the Ag/bacterium interface within a sort of bio-doping mechanism. Interestingly, this triggers a blue-shift in the photonic response. This work demonstrates that our hybrid plasmonic/photonic device can be a low-cost and portable platform for the detection of common contaminants in food and water.

categories: physics.app-ph cond-mat.mtrl-sci physics.bio-ph physics.optics


title: A perturbative approach to self-phase modulation and self-steepening of short laser pulses propagating in nonlinear media

abstract: The solution of the wave equation in the envelope approximation with temporal corrections for a laser pulse propagating in a medium where the Kerr effect, field ionization, and associated absorption take place, is obtained through a first-order perturbative approach. The closed-form expressions so obtained clarify the influence of the various terms of the equation on the laser amplitude and on the frequency generation as a function of the retarded time. Furthermore, they allow extracting scaling parameters which size the nonlinear effects. The results are illustrated quantitatively on the case of a femtosecond pulse focused in the air with typical parameters.


title: Bee$^+$: A 95-mg Four-Winged Insect-Scale Flying Robot Driven by Twinned Unimorph Actuators

abstract: We introduce Bee$^+$, a 95-mg four-winged microrobot with improved controllability and open-loop-response characteristics with respect to those exhibited by state-of-the-art two-winged microrobots with the same size and similar weight (i.e., the 75-mg Harvard RoboBee). The key innovation that made possible the development of Bee$^+$ is the introduction of an extremely light (28-mg) pair of twinned unimorph actuators, which enabled the design of a new microrobotic mechanism that flaps four wings independently. A first main advantage of the proposed design, compared to those of two-winged flyers, is that by increasing the number of actuators from two to four, the number of direct control inputs increases from three to four when simple sinusoidal excitations are employed. A second advantage of Bee$^+$ is that its four-wing configuration and flapping mode naturally damp the rotational disturbances that commonly affect the yaw degree of freedom of two-winged microrobots. In addition, the proposed design greatly reduces the complexity of the associated fabrication process compared to those of other microrobots, as the unimorph actuators are fairly easy to build. Lastly, we hypothesize that given the relatively low wing-loading affecting their flapping mechanisms, the life expectancy of Bee$^+$s must be considerably higher than those of the two-winged counterparts. The functionality and basic capabilities of the robot are demonstrated through a set of simple control experiments.


title: Comment on "If it's pinched it's a memristor" by L. Chua [Semicond. Sci. Technol. 29, 104001 (2014)]

abstract: In his paper "If it's pinched it's a memristor" [Semicond. Sci. Technol. 29, 104001 (2014)] L. Chua claims to extend the notion of memristor to all two-terminal resistive devices that show a hysteresis loop pinched at the origin. He also states that memcapacitors and meminductors can be defined by a trivial replacement of symbols in the memristor relations, and, therefore, there should be a correspondence between the hysteresis curves of different types of memory elements. This leads the author to the erroneous conclusion that charge-voltage curves of any memcapacitive devices should be pinched at the origin. The purpose of this Comment is to correct the wrong statements in Chua's paper, as well as to highlight some other inconsistencies in his reasoning. We also provide experimental evidence of a memcapacitive device showing non-pinched hysteresis.


title: Identification of point defects on Co-Ni co-doping in SnO$_{2}$ nanocrystals and their effect on the structural and optical properties

abstract: Sn$_{0.97-y}$Co$_{0.03}$Ni$_{y}$O$_{2}$ (0 $\leq y \leq$ 0.04) nanocrystals, with average crystallite size in the range of 7.3 nm ($y$=0.00) to 5.6 nm ($y$=0.04), have been synthesized using pH-controlled chemical co-precipitation technique. The non-stoichiometric Sn related defects and the O related stoichiometric Frenkel defects arising in the nanocrystals because of co-doping have been identified and their effect on the structural and optical properties of the nanocrystals have been extensively studied. It has been observed, using XPS that on increasing the Ni co-doping concentration ($y$), the non-stoichiometric Sn defect Sn$_{\text{Sn}}^{"}$ increases in compensation of existing defect Sn$_{i}^{....}$ for $y$ = 0.00 nanocrystals. High resolution transmission electron microscopy (HR-TEM) also confirms the existence of Sn$_{\text{Sn}}^{"}$. Regarding the Frenkel defect, XPS results indicate that the concentration of $V_{\text{O}}$ and O$_{i}$, manifested in the form of dangling bond related surface defect states,increases with increase in $y$. Temperature dependent magnetisation measurement of the nanocrystals confirm the charge state of $V_{\text{O}}$. The point defects have been found to affect the structural properties in a way that distortion in octahedral geometry of complete Sn-O octahderon effectively reduces whereas distortion in the trigonal planar coordination geometry of O increases. The investigation of Urbach edge indicates an enhancement in the disorder in the nanocrystals on co-doping. The optical band gap of the nanocrystals has been found to be red shifted upto $y$=0.02 and then a gradual blue shift has been observed. A direct effect of the O related defect has been observed on the blue luminescence of the nanocrystals such that the spectral contribution of blue luminescence in the total emission intensity increases by 72% for $y$=0.04 as compared to $y$=0.00.


title: On the onset of synchronization of Kuramoto oscillators in scale-free networks

abstract: Despite the great attention devoted to the study of phase oscillators on complex networks in the last two decades, it remains unclear whether scale-free networks exhibit a nonzero critical coupling strength for the onset of synchronization in the thermodynamic limit. Here, we systematically compare predictions from the heterogeneous degree mean-field (HMF) and the quenched mean-field (QMF) approaches to extensive numerical simulations on large networks. We provide compelling evidence that the critical coupling vanishes as the number of oscillators increases for scale-free networks characterized by a power-law degree distribution with an exponent $2 < \gamma \leq 3$, in line with what has been observed for other dynamical processes in such networks. For $\gamma > 3$, we show that the critical coupling remains finite, in agreement with HMF calculations and highlight phenomenological differences between critical properties of phase oscillators and epidemic models on scale-free networks. Finally, we also discuss at length a key choice when studying synchronization phenomena in complex networks, namely, how to normalize the coupling between oscillators.


title: Hybrid Density- and Partition-based Clustering Algorithm for Data with Mixed-type Variables

abstract: Clustering is an essential technique for discovering patterns in data. The steady increase in amount and complexity of data over the years led to improvements and development of new clustering algorithms. However, algorithms that can cluster data with mixed variable types (continuous and categorical) remain limited, despite the abundance of data with mixed types particularly in the medical field. Among existing methods for mixed data, some posit unverifiable distributional assumptions or that the contributions of different variable types are not well balanced. We propose a two-step hybrid density- and partition-based algorithm (HyDaP) that can detect clusters after variables selection. The first step involves both density-based and partition-based algorithms to identify the data structure formed by continuous variables and recognize the important variables for clustering; the second step involves partition-based algorithm together with a novel dissimilarity measure we designed for mixed data to obtain clustering results. Simulations across various scenarios and data structures were conducted to examine the performance of the HyDaP algorithm compared to commonly used methods. We also applied the HyDaP algorithm on electronic health records to identify sepsis phenotypes.


title: Toward Human-Like Summaries Generated from Heterogeneous Software Artefacts

abstract: Automatic text summarisation has drawn considerable interest in the field of software engineering. It can improve the efficiency of software developers, enhance the quality of products, and ensure timely delivery. In this paper, we present our initial work towards automatically generating human-like multi-document summaries from heterogeneous software artefacts. Our analysis of the text properties of 545 human-written summaries from 15 software engineering projects will ultimately guide heuristics searches in the automatic generation of human-like summaries.


title: Source Generator Attribution via Inversion

abstract: With advances in Generative Adversarial Networks (GANs) leading to dramatically-improved synthetic images and video, there is an increased need for algorithms which extend traditional forensics to this new category of imagery. While GANs have been shown to be helpful in a number of computer vision applications, there are other problematic uses such as `deep fakes' which necessitate such forensics. Source camera attribution algorithms using various cues have addressed this need for imagery captured by a camera, but there are fewer options for synthetic imagery. We address the problem of attributing a synthetic image to a specific generator in a white box setting, by inverting the process of generation. This enables us to simultaneously determine whether the generator produced the image and recover an input which produces a close match to the synthetic image.


title: On Closed 6-Manifolds Admitting Riemannian Metrics with Positive Sectional Curvature and Non-Abelian Symmetry

abstract: We study the topology of closed, simply-connected, 6-dimensional Riemannian manifolds of positive sectional curvature which admit isometric actions by $SU(2)$ or $SO(3)$. We show that their Euler characteristic agrees with that of the known examples, i.e. $S^6$, $\mathbb{CP}^3$, the Wallach space $SU(3)/T^2$ and the biquotient $SU(3)//T^2$. We also classify, up to equivariant diffeomorphism, certain actions without exceptional orbits and show that there are strong restrictions on the exceptional strata.


title: Mesoscopic simulations at the physics-chemistry-biology interface

abstract: We discuss the Lattice Boltzmann-Particle Dynamics (LBPD) multiscale paradigm for the simulation of complex states of flowing matter at the interface between Physics, Chemistry and Biology. In particular, we describe current large-scale LBPD simulations of biopolymer translocation across cellular membranes, molecular transport in ion channels and amyloid aggregation in cells. We also provide prospects for future LBPD explorations in the direction of cellular organization, the direct simulation of full biological organelles, all the way to up to physiological scales of potential relevance to future precision-medicine applications, such as the accurate description of homeostatic processes. It is argued that, with the advent of Exascale computing, the mesoscale physics approach advocated in this paper, may come to age in the next decade and open up new exciting perspectives for physics-based computational medicine.


title: Understanding extreme quasar optical variability with CRTS: II. Changing-state quasars

abstract: We present the results of a systematic search for quasars in the Catalina Real-time Transient Survey exhibiting both strong photometric and spectroscopic variability over a decadal baseline. We identify 73 sources with specific patterns of optical and mid-IR photometric behavior and a defined spectroscopic change. These "Changing-State" quasars (CSQs) form a higher luminosity sample to complement existing sets of "Changing-Look" AGN and quasars in the literature. The CSQs (by selection) exhibit larger photometric variability than the CLQs. The spectroscopic variability is marginally stronger in the CSQs than CLQs as defined by the change in H$\beta$/[OIII] ratio. We find 36 sources with declining H$\beta$ flux, 37 sources with increasing H$\beta$ flux and discover seven sources with $z > 0.8$, further extending the redshift arm. Our CSQ sample compares to the literature CLQ objects in similar distributions of H$\beta$ flux ratios and differential Eddington ratios between high (bright) and low (dim) states. Taken as a whole, we find that this population of extreme varying quasars is associated with changes in the Eddington ratio and the timescales imply cooling/heating fronts propagating through the disk.


title: Learning Algebraic Structures: Preliminary Investigations

abstract: We employ techniques of machine-learning, exemplified by support vector machines and neural classifiers, to initiate the study of whether AI can "learn" algebraic structures. Using finite groups and finite rings as a concrete playground, we find that questions such as identification of simple groups by "looking" at the Cayley table or correctly matching addition and multiplication tables for finite rings can, at least for structures of small size, be performed by the AI, even after having been trained only on small number of cases. These results are in tandem with recent investigations on whether AI can solve certain classes of problems in algebraic geometry.


title: Stable multivariate generalizations of matching polynomials

abstract: The first part of this note concerns stable averages of multivariate matching polynomials. In proving the existence of infinite families of bipartite Ramanujan $d$-coverings, Hall, Puder and Sawin introduced the $d$-matching polynomial of a graph $G$, defined as the uniform average of matching polynomials over the set of $d$-sheeted covering graphs of $G$. We prove that a natural multivariate version of the $d$-matching polynomial is stable, consequently giving a short direct proof of the real-rootedness of the $d$-matching polynomial. Our theorem also includes graphs with loops, thus answering a question of said authors. Furthermore we define a weaker notion of matchings for hypergraphs and prove that a family of natural polynomials associated to such matchings are stable. In particular this provides a hypergraphic generalization of the classical Heilmann-Lieb theorem.


title: Comprehensible Context-driven Text Game Playing

abstract: In order to train a computer agent to play a text-based computer game, we must represent each hidden state of the game. A Long Short-Term Memory (LSTM) model running over observed texts is a common choice for state construction. However, a normal Deep Q-learning Network (DQN) for such an agent requires millions of steps of training or more to converge. As such, an LSTM-based DQN can take tens of days to finish the training process. Though we can use a Convolutional Neural Network (CNN) as a text-encoder to construct states much faster than the LSTM, doing so without an understanding of the syntactic context of the words being analyzed can slow convergence. In this paper, we use a fast CNN to encode position- and syntax-oriented structures extracted from observed texts as states. We additionally augment the reward signal in a universal and practical manner. Together, we show that our improvements can not only speed up the process by one order of magnitude but also learn a superior agent.


title: Learning Clique Forests

abstract: We propose a topological learning algorithm for the estimation of the conditional dependency structure of large sets of random variables from sparse and noisy data. The algorithm, named Maximally Filtered Clique Forest (MFCF), produces a clique forest and an associated Markov Random Field (MRF) by generalising Prim's minimum spanning tree algorithm. To the best of our knowledge, the MFCF presents three elements of novelty with respect to existing structure learning approaches. The first is the repeated application of a local topological move, the clique expansion, that preserves the decomposability of the underlying graph. Through this move the decomposability and calculation of scores is performed incrementally at the variable (rather than edge) level, and this provides better computational performance and an intuitive application of multivariate statistical tests. The second is the capability to accommodate a variety of score functions and, while this paper is focused on multivariate normal distributions, it can be directly generalised to different types of statistics. Finally, the third is the variable range of allowed clique sizes which is an adjustable topological constraint that acts as a topological penalizer providing a way to tackle sparsity at $l_0$ semi-norm level; this allows a clean decoupling of structure learning and parameter estimation. The MFCF produces a representation of the clique forest, together with a perfect ordering of the cliques and a perfect elimination ordering for the vertices. As an example we propose an application to covariance selection models and we show that the MCFC outperforms the Graphical Lasso for a number of classes of matrices.


title: Dynamical thermalization in time-dependent Billiards

abstract: Numerical experiments of the statistical evolution of an ensemble of non-interacting particles in a time-dependent billiard with inelastic collisions, reveals the existence of three statistical regimes for the evolution of the speeds ensemble, namely, diffusion plateau, normal growth/exponential decay and stagnation. These regimes are linked numerically to the transition from Gauss-like to Boltzmann-like speed distributions. Further, the different evolution regimes are obtained analytically through velocity-space diffusion analysis. From these calculations the asymptotic root mean square of speed, initial plateau, and the growth/decay rates for intermediate number of collisions are determined in terms of the system parameters. The analytical calculations match the numerical experiments and point to a dynamical mechanism for thermalization, where inelastic collisions and a high-dimensional phase space lead to a bounded diffusion in the velocity space towards a stationary distribution function with a kind of reservoir temperature determined by the boundary oscillation amplitude and the restitution coefficient.


title: Transverse polarization light scattering in tubular semiconductor nanowires

abstract: We carry out numerical calculations of the scattering cross section of tubular semiconductor nanocylinders in the optical range. The scattering is investigated for the transversal incidence of light, i.e., along the diameter of the cylinder, with both transverse electric and transverse magnetic polarization. These subwavelength nanostructures support Mie resonances and, when the length of the cylinder is comparable to the wavelength, guided modes that can overlap with the Mie modes giving rise to sharp Fano resonances. We show that a varying internal radius affects each mode differently, allowing for an extra degree of freedom for tuning the spectral position of the resonant peaks.


title: A joint model of unpaired data from scRNA-seq and spatial transcriptomics for imputing missing gene expression measurements

abstract: Spatial studies of transcriptome provide biologists with gene expression maps of heterogeneous and complex tissues. However, most experimental protocols for spatial transcriptomics suffer from the need to select beforehand a small fraction of genes to be quantified over the entire transcriptome. Standard single-cell RNA sequencing (scRNA-seq) is more prevalent, easier to implement and can in principle capture any gene but cannot recover the spatial location of the cells. In this manuscript, we focus on the problem of imputation of missing genes in spatial transcriptomic data based on (unpaired) standard scRNA-seq data from the same biological tissue. Building upon domain adaptation work, we propose gimVI, a deep generative model for the integration of spatial transcriptomic data and scRNA-seq data that can be used to impute missing genes. After describing our generative model and an inference procedure for it, we compare gimVI to alternative methods from computational biology or domain adaptation on real datasets and outperform Seurat Anchors, Liger and CORAL to impute held-out genes.


title: Lifted multiplicity codes and the disjoint repair group property

abstract: Lifted Reed Solomon Codes (Guo, Kopparty, Sudan 2013) were introduced in the context of locally correctable and testable codes. They are multivariate polynomials whose restriction to any line is a codeword of a Reed-Solomon code. We consider a generalization of their construction, which we call lifted multiplicity codes. These are multivariate polynomial codes whose restriction to any line is a codeword of a multiplicity code (Kopparty, Saraf, Yekhanin 2014). We show that lifted multiplicity codes have a better trade-off between redundancy and a notion of locality called the $t$-disjoint-repair-group property than previously known constructions. More precisely, we show that lifted multiplicity codes with length $N$ and redundancy $O(t^{0.585} \sqrt{N})$ have the property that any symbol of a codeword can be reconstructed in $t$ different ways, each using a disjoint subset of the other coordinates. This gives the best known trade-off for this problem for any super-constant $t < \sqrt{N}$. We also give an alternative analysis of lifted Reed Solomon codes using dual codes, which may be of independent interest.


title: Can Predictive Filters Detect Gradually Ramping False Data Injection Attacks Against PMUs?

abstract: Intelligently designed false data injection (FDI) attacks have been shown to be able to bypass the $\chi^2$-test based bad data detector (BDD), resulting in physical consequences (such as line overloads) in the power system. In this paper, it is shown that if an attack is suddenly injected into the system, a predictive filter with sufficient accuracy is able to detect it. However, an attacker can gradually increase the magnitude of the attack to avoid detection, and still cause damage to the system.


title: On bias in social reviews of university courses

abstract: University course ranking forums are a popular means of disseminating information about satisfaction with the quality of course content and instruction, especially with undergraduate students. A variety of policy decisions by university administrators, instructional designers and teaching staff affect how students perceive the efficacy of pedagogies employed in a given course, in class and online. While there is a large body of research on qualitative driving factors behind the use of academic rating sites, there is little investigation of the (potential) implicit student bias on said forums towards desirable course outcomes at the institution level. To that end, we examine the connection between course outcomes (student-reported GPA) and the overall ranking of the primary course instructor, as well as rating disparity by nature of course outcomes, for several hundred courses taught at Virginia Tech based on data collected from a popular academic rating forum. We also replicate our analysis for several public universities across the US. Our experiments indicate that there is a discernible albeit complex bias towards course outcomes in the professor ratings registered by students.


title: Proton-impact-induced electron emission from biologically relevant molecules studied with a screened independent atom model

abstract: We use the recently introduced independent-atom-model pixel counting method to calculate proton-impact net ionization cross sections for a large class of biologically relevant systems including pyrimidines, purines, amino acids, and nucleotides from 10 keV to 10 MeV impact energy. Overall good agreement with experimental data, where available, is found. A scaling prescription that involves coefficients derived from the independent atom model is shown to represent the cross section results better than scalings based on the number of (bonding) valence electrons of the target molecules. It is shown that the scaled net ionization cross sections of the proton-nucleotide collision systems can be represented in terms of a simple analytical formula with four parameters to within 3% accuracy.


title: Unification of the K\"ahler-Ricci and Anomaly flows

abstract: A new formulation of the Anomaly flow in the case of vanishing slope parameter is given, where the dependence on the global section of the canonical bundle appears only in the initial data. This allows a natural unification of the Anomaly flow with the K\"ahler-Ricci flow.


title: Measuring Relativistic Dragging with Quantum Interference

abstract: An experiment to test for relativistic frame dragging effects with quantum interferometry is proposed. The idea that the classical trajectories of the interferometer surround a spherical mass source whose angular momentum is perpendicular to the plane containing these trajectories. A simple analysis allows one to find the phase shift for particles traveling in the innermost stable circular orbit; the result can be easily generalized for more realistic orbits. The phase difference goes like the source's angular momentum per mass times the quantum particles' mass. This is a small effect but it can be amplified by making the classical paths go around the source several times. Moreover, this experiment has the advantage that the source's angular momentum can be easily controlled.


title: Experimental Study of Ion Heating in Obliquely Merging Hypersonic Plasma Jets

abstract: In this experiment, we measure ion temperature evolution of collisional plasma shocks and colliding supersonic plasma flows across a range of species (Ar, Kr, Xe, N), Mach numbers, and collisionalities. Shocks are formed via the collision of discrete plasma jets relevant to plasma-jet-driven magneto-inertial fusion (PJMIF). We observe nearly classical ion shock heating and ion-electron equilibration, with peak temperatures attained consistent with collisional shock heating. We also observe cases where this heating occurs in a smooth merged structure with reduced density gradients due to significant intepenetration of the plasma jets. In application to PJMIF liners, we find that Mach number degradation due to ion shock heating will likely not be significant at the typical full-scale conditions proposed, and that a degree of interpenetration may be an attractive condition for PJMIF and similar approaches which seek to form uniform merged structures from discrete supersonic plasma jets.


title: Quantum oscillations from networked topological interfaces in a Weyl semimetal

abstract: Layered transition metal chalcogenides are promising hosts of electronic Weyl nodes and topological superconductivity. MoTe$_2$ is a striking example that harbors both noncentrosymmetric T$_d$ and centrosymmetric T' phases, both of which have been identified as topologically nontrivial. Applied pressure tunes the structural transition separating these phases to zero temperature, stabilizing a mixed T$_d$-T' matrix that entails a unique network of interfaces between the two non-trivial topological phases. Here, we show that this critical pressure range is characterized by unique coherent quantum oscillations, indicating that the change in topology between two phases give rise to a new topological interface state. A rare combination of topologically nontrivial electronic structures and locked-in transformation barriers leads to this counterintuitive situation wherein quantum oscillations can be observed in a structurally inhomogeneous material. These results open the possibility of stabilizing multiple topological superconducting phases, which are important for solving the decoherence problem in quantum computers.


title: Super-CMB fluctuations and the Hubble tension

abstract: We study the covariance in the angular power spectrum estimates of CMB fluctuations when the primordial fluctuations are non-Gaussian. The non-Gaussian covariance comes from a nonzero connected four-point correlation function -- or the trispectrum in Fourier space -- and can be large when long-wavelength (super-CMB) modes are strongly coupled to short-wavelength modes. The effect of such non-Gaussian covariance can be modeled through additional freedom in the theoretical CMB angular power spectrum and can lead to different inferred values of the standard cosmological parameters relative to those in $\Lambda$CDM. Taking the collapsed limit of the primordial trispectrum in the quasi-single field inflation model as an example, we study how the six standard $\Lambda$CDM parameters shift when two additional parameters describing the trispectrum are allowed. The reduced statistical significance of the Hubble tension in the extended model allows us to combine the {\it Planck} temperature data and the type Ia supernovae data from Panstarrs with the distance-ladder measurement of the Hubble constant. This combination of data shows strong evidence for a primordial trispectrum-induced non-Gaussian covariance, with a likelihood improvement of $\Delta \chi^2 \approx -15$ (with two additional parameters) relative to $\Lambda$CDM.


title: Hierarchical Coding to Enable Scalability and Flexibility in Heterogeneous Cloud Storage

abstract: In order to accommodate the ever-growing data from various, possibly independent, sources and the dynamic nature of data usage rates in practical applications, modern cloud data storage systems are required to be scalable, flexible, and heterogeneous. Codes with hierarchical locality have been intensively studied due to their effectiveness in reducing the average reading time in cloud storage. In this paper, we present the first codes with hierarchical locality that achieve scalability and flexibility in heterogeneous cloud storage using small field size. We propose a double-level construction utilizing so-called Cauchy Reed-Solomon codes. We then develop a triple-level construction based on this double-level code; this construction can be easily generalized into any hierarchical structure with a greater number of layers since it naturally achieves scalability in the cloud storage systems.


title: Numerical Modeling for Simulation of Contaminant Migration of Leachate in Soil Media

abstract: Solid waste disposal in a landfill causes leachate production whose discharge to soil layers carries soil and leachate contaminants to the groundwater. A landfill with a capacity of 3000 ton/day and an area of 0.5 square kilometers is studied to assess and control the environmental impacts of leachate discharge on the inner layers of soil. An analytical calculation is performed, a numerical model under two different boundary conditions is developed, and their outcomes are compared to the experimental values. The landfill data is used for programming and a finite element modelling is applied. The variables considered in the model are time steps and diffusion coefficient. Results obtained from numerical computations were compared with the experimental values. The comparison demonstrates a good agreement between experimental and numerical calculations. This model can be used at fields for the landfills to simulate transport of different types of ions available in the leachates in any scale.


title: Specific heat maximum as a signature of Mott physics in the two-dimensional Hubbard model

abstract: Recent experiments on cuprates show that as a function of doping, the normal-state specific heat sharply peaks at the doping $\delta^*$, where the pseudogap ends at low temperature. This finding is taken as the thermodynamic signature of a quantum critical point, whose nature has not yet been identified. Here we present calculations for the two-dimensional Hubbard model in the doped Mott insulator regime, which indicate that the specific heat anomaly can arise from the finite temperature critical endpoint of a first-order transition between a pseudogap phase with dominant singlet correlations and a metal. As a function of doping at the temperature of the endpoint, the specific heat diverges. Upon increasing temperature, the peak becomes broader. The diverging correlation length is associated with uniform density fluctuations. No broken symmetries are needed. These anomalies also occur at half-filling as a function of interaction strength, and are relevant for organic superconductors and ultracold atoms.


title: Binary Survival in the Outer Solar System

abstract: As indicated by their special characteristics, the cold classical Kuiper belt objects (KBOs) formed and survived at 42-47 au. Notably, they show a large fraction of equal-size binaries whose formation is probably related to the accretion of KBOs themselves. These binaries are uncommon in other --hot, resonant, scattered-- populations, which are thought to have been implanted from the massive disk below 30 au to >30 au during Neptune's migration. Here we highlight the possibility that equal-size binaries formed in the disk but were subsequently removed by impacts and/or dynamical effects (e.g., scattering encounters with Neptune). We determine the dependence of these processes on the size and separation of binary components. Our results indicate that tighter binaries, if they formed in the massive disk, have relatively good chances of survival (unless the disk was long-lived). In contrast, the widest binaries in the hot population, such as 2002 VF130, have a very low survival probability (<1%) even if the massive disk was short-lived. They may represent a trace of lucky survivors of a much larger population of the original disk binaries, or they formed at ~30-40~au and dodged the impact- and encounter-related perturbations that we studied here. We find that all known satellites of the largest KBOs would survive during the dynamical implantation of these bodies in the Kuiper belt. The low orbital eccentricities of Pluto's small moons may have been excited by impacts and/or encounters of the Pluto system to Neptune.


title: Caveats in Generating Medical Imaging Labels from Radiology Reports

abstract: Acquiring high-quality annotations in medical imaging is usually a costly process. Automatic label extraction with natural language processing (NLP) has emerged as a promising workaround to bypass the need of expert annotation. Despite the convenience, the limitation of such an approximation has not been carefully examined and is not well understood. With a challenging set of 1,000 chest X-ray studies and their corresponding radiology reports, we show that there exists a surprisingly large discrepancy between what radiologists visually perceive and what they clinically report. Furthermore, with inherently flawed report as ground truth, the state-of-the-art medical NLP fails to produce high-fidelity labels.


title: Parameter-free quantification of stochastic and chaotic signals

abstract: Recurrence entropy $(\cal S)$ is a novel time series complexity quantifier based on recurrence microstates. Here we show that $\mathsf{max}(\cal S)$ is a \textit{parameter-free} quantifier of time correlation of stochastic and chaotic signals, at the same time that it evaluates property changes of the probability distribution function (PDF) of the entire data set. $\mathsf{max}(\cal S)$ can distinguish distinct temporal correlations of stochastic signals following a power-law spectrum, $\displaystyle P(f) \propto 1/f^\alpha$ even when shuffled versions of the signals are used. Such behavior is related to its ability to quantify distinct subsets embedded in a time series. Applied to a deterministic system, the method brings new evidence about attractor properties and the degree of chaoticity. The development of a new parameter-free quantifier of stochastic and chaotic time series opens new perspectives to stochastic data and deterministic time series analyses and may find applications in many areas of science.


title: Simultaneous Object Detection and Semantic Segmentation

abstract: Both object detection in and semantic segmentation of camera images are important tasks for automated vehicles. Object detection is necessary so that the planning and behavior modules can reason about other road users. Semantic segmentation provides for example free space information and information about static and dynamic parts of the environment. There has been a lot of research to solve both tasks using Convolutional Neural Networks. These approaches give good results but are computationally demanding. In practice, a compromise has to be found between detection performance, detection quality and the number of tasks. Otherwise it is not possible to meet the real-time requirements of automated vehicles. In this work, we propose a neural network architecture to solve both tasks simultaneously. This architecture was designed to run with around 10 Hz on 1 MP images on current hardware. Our approach achieves a mean IoU of 61.2% for the semantic segmentation task on the challenging Cityscapes benchmark. It also achieves an average precision of 69.3% for cars and 67.7% on the moderate difficulty level of the KITTI benchmark.


title: Many-body localization in spin chains with the long-range transverse interactions: scaling of critical disorder with the system size

abstract: We investigate many-body localization in the chain of interacting spins with a transverse power-law interaction, $J_{0}/r^{\alpha}$, and random on-site potentials, $\phi_i \in \left(-W/2,W/2\right)$, in the long-range limit, $\alpha< 3/2$, which has been recently examined experimentally on trapped ions. The many-body localization threshold is characterized by the critical disordering, $W_c$, which separates localized ($W > W_c$) and chaotic ($W < W_c$) phases. Using the analysis of the instability of localized states with respect to resonant interactions complemented by numerical finite size scaling, we show that the critical disordering scales with the number of spins, $N$, as $W_c \approx [1.37 J_{0}/(4/3 - \alpha)]N^{4/3 - \alpha} \ln N$ for $0 < \alpha \leq 1$, and as $W_c \approx [J_{0}/(1-2\alpha/3)]N^{1-2\alpha/3} \ln^{2/3} N$ for $1 < \alpha < 3/2$ while the transition width scales as $\sigma_{W} \propto W_{c}/N$. We use this result to predict the spin long-term evolution for a very large number of spins ($N = 50$), inaccessible for exact diagonalization, and to suggest the rescaling of hopping interaction with the system size to attain the localization transition at finite disordering in the thermodynamic limit of infinite number of spins.


title: The Finite Matroid-Based Valuation Conjecture is False

abstract: The matroid-based valuation conjecture of Ostrovsky and Paes Leme states that all gross substitutes valuations on $n$ items can be produced from merging and endowments of weighted ranks of matroids defined on at most $m(n)$ items. We show that if $m(n) = n$, then this statement holds for $n \leq 3$ and fails for all $n \geq 4$. In particular, the set of gross substitutes valuations on $n \geq 4$ items is strictly larger than the set of matroid based valuations defined on the ground set $[n]$. Our proof uses matroid theory and discrete convex analysis to explicitly construct a large family of counter-examples. It indicates that merging and endowment by themselves are poor operations to generate gross substitutes valuations. We also connect the general MBV conjecture and related questions to long-standing open problems in matroid theory, and conclude with open questions at the intersection of this field and economics.


title: Nearly irreducibility of polynomials and the Newton diagrams

abstract: Let f be a polynomial in two complex variables. We say that f is nearly irreducible if any two nonconstant polynomial factors of f have a common zero. In the paper we give a criterion of nearly irreducibility for a given polynomial f in terms of its Newton diagram.


title: Effects of adiabatic index on the sonic surface and time variability of low angular momentum accretion flows

abstract: We study the role of adiabatic index in determining the critical points in the transonic low angular momentum accretion flow onto a black hole. We present the general relativistic 2D hydrodynamic simulations of axisymmetric, inviscid accretion flows in a fixed Kerr black hole gravitational field. A relativistic fluid where its bulk velocity is comparable to the speed of light, flowing in the accretion disk very close to the horizon can be described by an adiabatic index of 4/3 < {\gamma} < 5/3. The time dependent evolution of the shock position and respective effects on mass accretion rate and oscillation frequency with varying adiabatic index is discussed in the context of the observed microquasars.


title: Stochastic Lipschitz Dynamic Programming

abstract: We propose a new algorithm for solving multistage stochastic mixed integer linear programming (MILP) problems with complete continuous recourse. In a similar way to cutting plane methods, we construct nonlinear Lipschitz cuts to build lower approximations for the non-convex cost to go functions. An example of such a class of cuts are those derived using Augmented Lagrangian Duality for MILPs. The family of Lipschitz cuts we use is MILP representable, so that the introduction of these cuts does not change the class of the original stochastic optimization problem. We illustrate the application of this algorithm on two simple case studies, comparing our approach with the convex relaxation of the problems, for which we can apply SDDP, and for a discretized approximation, applying SDDiP.


title: Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data

abstract: There is an abundance of complex dynamic systems that are critical to our daily lives and our society but that are hardly understood, and even with today's possibilities to sense and collect large amounts of experimental data, they are so complex and continuously evolving that it is unlikely that their dynamics will ever be understood in full detail. Nevertheless, through computational tools we can try to make the best possible use of the current technologies and available data. We believe that the most useful models will have to take into account the imbalance between system complexity and available data in the context of limited knowledge or multiple hypotheses. The complex system of biological cells is a prime example of such a system that is studied in systems biology and has motivated the methods presented in this paper. They were developed as part of the DARPA Rapid Threat Assessment (RTA) program, which is concerned with understanding of the mechanism of action (MoA) of toxins or drugs affecting human cells. Using a combination of Gaussian processes and abstract network modeling, we present three fundamentally different machine-learning-based approaches to learn causal relations and synthesize causal networks from high-dimensional time series data. While other types of data are available and have been analyzed and integrated in our RTA work, we focus on transcriptomics (that is gene expression) data obtained from high-throughput microarray experiments in this paper to illustrate capabilities and limitations of our algorithms. Our algorithms make different but overall relatively few biological assumptions, so that they are applicable to other types of biological data and potentially even to other complex systems that exhibit high dimensionality but are not of biological nature.


title: Frame-wise Motion and Appearance for Real-time Multiple Object Tracking

abstract: The main challenge of Multiple Object Tracking (MOT) is the efficiency in associating indefinite number of objects between video frames. Standard motion estimators used in tracking, e.g., Long Short Term Memory (LSTM), only deal with single object, while Re-IDentification (Re-ID) based approaches exhaustively compare object appearances. Both approaches are computationally costly when they are scaled to a large number of objects, making it very difficult for real-time MOT. To address these problems, we propose a highly efficient Deep Neural Network (DNN) that simultaneously models association among indefinite number of objects. The inference computation of the DNN does not increase with the number of objects. Our approach, Frame-wise Motion and Appearance (FMA), computes the Frame-wise Motion Fields (FMF) between two frames, which leads to very fast and reliable matching among a large number of object bounding boxes. As auxiliary information is used to fix uncertain matches, Frame-wise Appearance Features (FAF) are learned in parallel with FMFs. Extensive experiments on the MOT17 benchmark show that our method achieved real-time MOT with competitive results as the state-of-the-art approaches.


title: Five new real-time detections of Fast Radio Bursts with UTMOST

abstract: We detail a new fast radio burst (FRB) survey with the Molonglo Radio Telescope, in which six FRBs were detected between June 2017 and December 2018. By using a real-time FRB detection system, we captured raw voltages for five of the six events, which allowed for coherent dedispersion and very high time resolution (10.24 $\mu$s) studies of the bursts. Five of the FRBs show temporal broadening consistent with interstellar and/or intergalactic scattering, with scattering timescales ranging from 0.16 to 29.1 ms. One burst, FRB181017, shows remarkable temporal structure, with 3 peaks each separated by 1 ms. We searched for phase-coherence between the leading and trailing peaks and found none, ruling out lensing scenarios. Based on this survey, we calculate an all-sky rate at 843 MHz of $98^{+59}_{-39}$ events sky$^{-1}$ day$^{-1}$ to a fluence limit of 8 Jy-ms: a factor of 7 below the rates estimated from the Parkes and ASKAP telescopes at 1.4 GHz assuming the ASKAP-derived spectral index $\alpha=-1.6$ ($F_{\nu}\propto\nu^{\alpha}$). Our results suggest that FRB spectra may turn over below 1 GHz. Optical, radio and X-ray followup has been made for most of the reported bursts, with no associated transients found. No repeat bursts were found in the survey.


title: Orbit spaces of torus actions on Hessenberg varieties

abstract: We consider effective actions of a compact torus $T^{n-1}$ on an even-dimensional smooth manifold $M^{2n}$ with isolated fixed points. We prove that under certain conditions on weights of tangent representations, the orbit space is a manifold with corners. Given that the action is Hamiltonian, the orbit space is homeomorphic to $S^{n+1} \setminus (U_1 \sqcup \ldots \sqcup U_l)$ where $S^{n+1}$ is the $(n+1)$--sphere and $U_1, \ldots, U_l$ are open domains. We apply the results to regular Hessenberg varieties and manifolds of isospectral Hermitian matrices of staircase form.


title: Analysis of Gene Interaction Graphs as Prior Knowledge for Machine Learning Models

abstract: Gene interaction graphs aim to capture various relationships between genes and can represent decades of biology research. When trying to make predictions from genomic data, those graphs could be used to overcome the curse of dimensionality by making machine learning models sparser and more consistent with biological common knowledge. In this work, we focus on assessing how well those graphs capture dependencies seen in gene expression data to evaluate the adequacy of the prior knowledge provided by those graphs. We propose a condition graphs should satisfy to provide good prior knowledge and test it using `Single Gene Inference' tasks. We also compare with randomly generated graphs, aiming to measure the true benefit of using biologically relevant graphs in this context, and validate our findings with five clinical tasks. We find some graphs capture relevant dependencies for most genes while being very sparse. Our analysis with random graphs finds that dependencies can be captured almost as well at random which suggests that, in terms of gene expression levels, the relevant information about the state of the cell is spread across many genes.


title: Are Graph Neural Networks Miscalibrated?

abstract: Graph Neural Networks (GNNs) have proven to be successful in many classification tasks, outperforming previous state-of-the-art methods in terms of accuracy. However, accuracy alone is not enough for high-stakes decision making. Decision makers want to know the likelihood that a specific GNN prediction is correct. For this purpose, obtaining calibrated models is essential. In this work, we perform an empirical evaluation of the calibration of state-of-the-art GNNs on multiple datasets. Our experiments show that GNNs can be calibrated in some datasets but also badly miscalibrated in others, and that state-of-the-art calibration methods are helpful but do not fix the problem.


title: Revisiting the Ramond sector of the $\mathcal{N}\!=\!1$ superconformal minimal models

abstract: Key to the exact solubility of the unitary minimal models in two-dimensional conformal field theory is the organization of their Hilbert space into Verma modules, whereby all eigenstates of the Hamiltonian are obtained by the repeated action of Virasoro lowering operators onto a finite set of highest-weight states. The usual representation-theoretic approach to removing from all modules zero-norm descendant states generated in such a way is based on the assumption that those states form a nested sequence of Verma submodules built upon singular vectors, i.e., descendant highest-weight states. We show that this fundamental assumption breaks down for the Ramond-sector Verma module with highest weight $c/24$ in the even series of $\mathcal{N}\!=\!1$ superconformal minimal models with central charge $c$. To resolve this impasse, we conjecture, and prove at low orders, the existence of a nested sequence of linear-dependence relations that enables us to compute the character of the irreducible $c/24$ module. Based on this character formula, we argue that imposing modular invariance of the torus partition function requires the introduction of a non-null odd-parity Ramond-sector ground state. This symmetrization of the ground-state manifold allows us to uncover a set of conformally invariant boundary conditions not previously discussed and absent in the odd series of superconformal minimal models, and to derive for the first time a complete set of fusion rules for the even series of those models.


title: Elastic-Degenerate String Matching via Fast Matrix Multiplication

abstract: An elastic-degenerate (ED) string is a sequence of $n$ sets of strings of total length $N$, which was recently proposed to model a set of similar sequences. The ED string matching (EDSM) problem is to find all occurrences of a pattern of length $m$ in an ED text. An $O(nm^{1.5}\sqrt{\log m}+N)$-time algorithm for EDSM is known [Aoyama et al., CPM 2018]. The standard assumption in the prior work on this question is that $N$ is substantially larger than both $n$ and $m$, and thus we would like to have a linear dependency on the former. Under this assumption, the natural open problem is whether we can decrease the 1.5 exponent in the time complexity, similarly as in the related (but, to the best of our knowledge, not equivalent) word break problem [Backurs and Indyk, FOCS 2016]. Our starting point is a conditional lower bound for EDSM. We use the popular combinatorial Boolean Matrix Multiplication (BMM) conjecture stating that there is no truly subcubic combinatorial algorithm for BMM [Abboud and Williams, FOCS 2014]. By designing an appropriate reduction we show that a combinatorial algorithm solving the EDSM problem in $O(nm^{1.5-e}+N)$ time, for any $e>0$, refutes this conjecture. Our reduction should be understood as an indication that decreasing the exponent requires fast matrix multiplication. String periodicity and fast Fourier transform are two standard tools in string algorithms. Our main technical contribution is that we successfully combine these tools with fast matrix multiplication to design a non-combinatorial $\tilde{O}(nm^{\omega-1}+N)$-time algorithm for EDSM, where $\omega$ denotes the matrix multiplication exponent. To the best of our knowledge, we are the first to combine these tools. In particular, using the fact that $\omega<2.373$ [Le Gall, ISSAC 2014; Williams, STOC 2012], we obtain an $O(nm^{1.373}+N)$-time algorithm for EDSM.


title: Asymptotic Behaviour of Time Stepping Methods for Phase Field Models

abstract: Adaptive time stepping methods for metastable dynamics of the Allen Cahn and Cahn Hilliard equations are investigated in the spatially continuous, semi-discrete setting. We analyse the performance of a number of first and second order methods, formally predicting step sizes required to satisfy specified local truncation error $\sigma$ in the limit of small order parameter $\epsilon \rightarrow 0$ during meta-stable dynamics. The formal predictions are made under stability assumptions that include the preservation of the asymptotic structure of the diffuse interface, a concept we call profile fidelity. In this setting, definite statements about the relative behaviour of time stepping methods can be made. Some methods, including all so-called energy stable methods but also some fully implicit methods, require asymptotically more time steps than others.The formal analysis is confirmed in computational studies. We observe that some provably energy stable methods popular in the literature perform worse than some more standard schemes. We show further that when Backward Euler is applied to meta-stable Allen Cahn dynamics, the energy decay and profile fidelity properties for these discretizations are preserved for much larger time steps than previous analysis would suggest. The results are established asymptotically for general interfaces, with a rigorous proof for radial interfaces. It is shown analytically and computationally that for most reaction terms, Eyre type time stepping performs asymptotically worse due to loss of profile fidelity.


title: A direction splitting scheme for Navier-Stokes-Boussinesq system in spherical shell geometries

abstract: This paper introduces a formally second-order direction-splitting method for solving the incompressible Navier-Stokes-Boussinesq system in a spherical shell region. The equations are solved on overset Yin-Yang grids, combined with spherical coordinate transforms. This approach allows to avoid the singularities at the poles and keeps the grid size relatively uniform. The downside is that the spherical shell is subdivided into two equally sized, overlapping subdomains that requires the use of Schwarz-type iterations. The temporal second order accuracy is achieved via an Artificial Compressibility (AC) scheme with bootstrapping. The spatial discretization is based on second order finite differences on the Marker-And-Cell (MAC) stencil. The entire scheme is implemented in parallel using a domain decomposition iteration, and a direction splitting approach for the local solves. The stability, accuracy and weak scalability of the method is verified on a manufactured solution of the Navier-Stokes-Boussinesq system and on the Landau solution of the Navier-Stokes equations on the sphere.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Nonlinear elastic moduli of composite materials with nonlinear spherical inclusions dispersed in a nonlinear matrix

abstract: A theory is developed for evaluation of nonlinear elastic moduli of composite materials with nonlinear inclusions dispersed in another nonlinear material (matrix). We elaborate a method aimed for determination of elastic parameters of a composite: its linear elastic moduli (second-order elastic constants) and nonlinear elastic moduli, which are known as the Murnaghan moduli (third-order elastic constants). We find an analytical form for the effective Murnaghan moduli of a composite with spherical inclusions. The effective moduli depend linearly on Murnaghan moduli of constituents. The results obtained have been verified through numerical modeling using the finite element method.


title: Measurement of the top-quark mass in $t\bar{t}+1$-jet events collected with the ATLAS detector in $pp$ collisions at $\sqrt{s}=8$ TeV

abstract: A determination of the top-quark mass is presented using 20.2 $\text{fb}^{-1}$ of 8 TeV proton-proton collision data produced by the Large Hadron Collider and collected by the ATLAS experiment. The normalised differential cross section of top-quark pair production in association with an energetic jet is measured in the lepton+jets final state and unfolded to parton and particle levels. The unfolded distribution at parton level can be described using next-to-leading-order QCD predictions in terms of either the top-quark pole mass or the running mass as defined in the (modified) minimal subtraction scheme. A comparison between the experimental distribution and the theoretical prediction allows the top-quark mass to be extracted in the two schemes. The value obtained for the pole-mass scheme is: \[ m_t^{\text{pole}} = 171.1 \pm 0.4 (\text{stat}) \pm 0.9 (\text{syst}) \substack{+0.7\\ -0.3} (\text{theo}) \text{ GeV}. \] The extracted value in the running-mass scheme is: \[ m_t(m_t) = 162.9 \pm 0.5 (\text{stat}) \pm 1.0 (\text{syst}) \substack{+2.1\\ -1.2} (\text{theo}) \text{ GeV}. \] The results for the top-quark mass using the two schemes are consistent, when translated from one scheme to the other.


title: Design Space Exploration as Quantified Satisfaction

abstract: We present novel algorithms for design and design space exploration. The designs discovered by these algorithms are compositions of function types specified in component libraries. Our algorithms reduce the design problem to quantified satisfiability and use advanced solvers to find solutions that represent useful systems. The algorithms we present in this paper are sound and complete and are guaranteed to discover correct designs of optimal size, if they exist. We apply our method to the design of Boolean systems and discover new and more optimal classical digital and quantum circuits for common arithmetic functions such as addition and multiplication. The performance of our algorithms is evaluated through extensive experimentation. We created a benchmark consisting of specifications of scalable synthetic digital circuits and real-world mirochips. We have generated multiple circuits functionally equivalent to the ones in the benchmark. The quantified satisfiability method shows more than four orders of magnitude speed-up, compared to a generate and test method that enumerates all non-isomorphic circuit topologies. Our approach generalizes circuit optimization. It uses arbitrary component libraries and has applications to areas such as digital circuit design, diagnostics, abductive reasoning, test vector generation, and combinatorial optimization.


title: CrossTrainer: Practical Domain Adaptation with Loss Reweighting

abstract: Domain adaptation provides a powerful set of model training techniques given domain-specific training data and supplemental data with unknown relevance. The techniques are useful when users need to develop models with data from varying sources, of varying quality, or from different time ranges. We build CrossTrainer, a system for practical domain adaptation. CrossTrainer utilizes loss reweighting, which provides consistently high model accuracy across a variety of datasets in our empirical analysis. However, loss reweighting is sensitive to the choice of a weight hyperparameter that is expensive to tune. We develop optimizations leveraging unique properties of loss reweighting that allow CrossTrainer to output accurate models while improving training time compared to naive hyperparameter search.