title: DeepEnroll: Patient-Trial Matching with Deep Embedding and Entailment Prediction

abstract: Clinical trials are essential for drug development but often suffer from expensive, inaccurate and insufficient patient recruitment. The core problem of patient-trial matching is to find qualified patients for a trial, where patient information is stored in electronic health records (EHR) while trial eligibility criteria (EC) are described in text documents available on the web. How to represent longitudinal patient EHR? How to extract complex logical rules from EC? Most existing works rely on manual rule-based extraction, which is time consuming and inflexible for complex inference. To address these challenges, we proposed DeepEnroll, a cross-modal inference learning model to jointly encode enrollment criteria (text) and patients records (tabular data) into a shared latent space for matching inference. DeepEnroll applies a pre-trained Bidirectional Encoder Representations from Transformers(BERT) model to encode clinical trial information into sentence embedding. And uses a hierarchical embedding model to represent patient longitudinal EHR. In addition, DeepEnroll is augmented by a numerical information embedding and entailment module to reason over numerical information in both EC and EHR. These encoders are trained jointly to optimize patient-trial matching score. We evaluated DeepEnroll on the trial-patient matching task with demonstrated on real world datasets. DeepEnroll outperformed the best baseline by up to 12.4% in average F1.


title: A model for the generation of road networks

abstract: As part of the effort undertaken to understand urban environments and their generation, we need to explore models that produce statistically valid configurations of roads. These sort of models will help us to derive plausible mechanisms for the spatial location of population. This task is of fundamental importance, as we need to create an experimental environment that allows us to disentangle the specificities of a spatial configuration from the ideal system. Creating statistically valid models of road networks along with models of city generation allows to average the effects of geometry bringing us one step closer to understanding urban environments. To completely understand road networks we need to be able to grasp what principles of economy do their growth entail. It is therefore of interest to explore the possible shape that a performance function would have for transportation systems. In this work, we tackle this issue by proposing a network generation model based on a single parameter $\alpha$ which is capable of creating any type of network from trees to quasi-surfaces and which is shown to generate networks close to the real road networks under study. This is obtained through the definition of local and weighted versions of centrality measures. These centrality measures deal with distance-decay effects and nodes having different masses. We set ourselves to determine the properties and different regimes of this $\alpha$-model and we lay out a definition for the performance of a network taking into account factors such as robustness, construction cost, congestion and distance. We obtain the optimal alpha from the analysis of the space of possible performance functions, giving an intuition on the self-organisational properties of the original network.


title: Boosting room temperature magneto-ionics in Co3O4

abstract: Voltage control of magnetism through electric field-induced oxygen motion (magneto-ionics) could represent a significant breakthrough in the pursuit for new strategies to enhance energy efficiency in a large variety of magnetic devices, such as magnetic micro-electro-mechanical systems (MEMS), magnetic logics, spin electronics, or neuromorphic computing, i.e., envisaging ultra-low power emulation of the biological synapse. Boosting the induced changes in magnetization, magneto-ionic motion and cyclability (endurance) continue to be key challenges to turn magneto-ionic phenomena into real applications. Here, we demonstrate that, without degrading cyclability, room temperature magneto-ionic motion in electrolyte-gated paramagnetic and fairly thick (> 100 nm) Co3O4 films largely depends on the configuration used to apply the electric field. In particular, magneto-ionic effects are significantly increased both in terms of generated magnetization (6 times larger: from 118.5 to 699.2 emu cm-3) and speed (35 times faster: from 33.1 to 1170.8 emu cm-3 h-1) if the electric field is applied across a conducting buffer layer (grown underneath the Co3O4 films), instead of directly contacting Co3O4. This is attributed to a greater uniformity and strength of the applied electric field when using the conducting layer. These results may trigger the use of oxygen magneto-ionics into promising new technologies, such as magnetic MEMS or brain-inspired computing, which require endurance and moderate speeds of operation.


title: New constraints on the structure of the nuclear stellar cluster of the Milky Way from star counts and MIR imaging

abstract: The Milky Way nuclear star cluster (MWNSC) is a crucial laboratory for studying the galactic nuclei of other galaxies, but its properties have not been determined unambiguously until now. Aims. We aim to study the size and spatial structure of the MWNSC. Methods. This study uses data and methods that address potential shortcomings of previous studies on the topic. We use $0.2''$ angular resolution $K_{s}$ data to create a stellar density map in the central $86.4$pc x $21$pc at the Galactic center. We include data from selected adaptive-optics-assisted images obtained for the inner parsecs. In addition, we use IRAC/Spitzer mid-infrared (MIR) images. We model the Galactic bulge and the nuclear stellar disk in order to subtract them from the MWNSC. Finally, we fit a S\'ersic model to the MWNSC and investigate its symmetry. Results. Our results are consistent with previous work. The MWNSC is flattened with an axis ratio of $q=0.71 \pm0.10$, an effective radius of $R_{e}=(5.1 \pm1.0)$ pc, and a S\'ersic index of $n=2.2 \pm0.7$. Its major axis may be tilted out of the Galactic plane by up to $-10$ degrees. The distribution of the giants brighter than the Red Clump (RC) is found to be significantly flatter than the distribution of the faint stars. We investigate the 3D structure of the central stellar cusp using our results on the MWNSC structure on large scales to constrain the deprojection of the measured stellar surface number density, obtaining a value of the 3D inner power law of $\gamma=1.38\pm0.06_{sys}\pm0.01_{stat}$. Conclusions. The MWNSC shares its main properties with other extragalactic NSCs found in spiral galaxies. The differences in the structure between bright giants and RC stars might be related to the existence of not completely mixed populations of different ages. This may hint at recent growth of the MWNSC through star formation or cluster accretion.


title: A Single-Quantum-Dot Heat Valve

abstract: We demonstrate gate control of electronic heat flow in a thermally-biased single-quantum-dot junction. Electron temperature maps taken in the immediate vicinity of the junction, as a function of the gate and bias voltages applied to the device, reveal clearly defined Coulomb diamond patterns revealing a maximum heat transfer right at the charge degeneracy point. The non-trivial bias and gate dependence of this heat valve results from both the quantum nature of the dot at the heart of device and its strong coupling to leads.


title: GraphGen: A Scalable Approach to Domain-agnostic Labeled Graph Generation

abstract: Graph generative models have been extensively studied in the data mining literature. While traditional techniques are based on generating structures that adhere to a pre-decided distribution, recent techniques have shifted towards learning this distribution directly from the data. While learning-based approaches have imparted significant improvement in quality, some limitations remain to be addressed. First, learning graph distributions introduces additional computational overhead, which limits their scalability to large graph databases. Second, many techniques only learn the structure and do not address the need to also learn node and edge labels, which encode important semantic information and influence the structure itself. Third, existing techniques often incorporate domain-specific rules and lack generalizability. Fourth, the experimentation of existing techniques is not comprehensive enough due to either using weak evaluation metrics or focusing primarily on synthetic or small datasets. In this work, we develop a domain-agnostic technique called GraphGen to overcome all of these limitations. GraphGen converts graphs to sequences using minimum DFS codes. Minimum DFS codes are canonical labels and capture the graph structure precisely along with the label information. The complex joint distributions between structure and semantic labels are learned through a novel LSTM architecture. Extensive experiments on million-sized, real graph datasets show GraphGen to be 4 times faster on average than state-of-the-art techniques while being significantly better in quality across a comprehensive set of 11 different metrics. Our code is released at https://github.com/idea-iitd/graphgen.


title: Admissible pinnacle orderings

abstract: A pinnacle of a permutation is a value that is larger than its immediate neighbors when written in one-line notation. In this paper, we build on previous work that characterized admissible pinnacle sets of permutations. For these sets, there can be specific orderings of the pinnacles that are not admissible, meaning that they are not realized by any permutation. Here we characterize admissible orderings, using the relationship between a pinnacle x and its rank in the pinnacle set to bound the number of times that the pinnacles less than or equal to x can be interrupted by larger values.


title: Doubling Constructions: the complete L-function for coverings of the symplectic group

abstract: We develop the local theory of the generalized doubling method for the $m$-fold central extension $Sp_{2n}^{(m)}$ of Matsumoto of the symplectic group. We define local $\gamma$-, $L$- and $\epsilon$-factors for pairs of genuine representations of $Sp_{2n}^{(m)}\times\widetilde{GL}_k$ and prove their fundamental properties, in the sense of Shahidi. Here $\widetilde{GL}_k$ is the central extension of $GL_k$ arising in the context of the Langlands--Shahidi method for covering groups of $Sp_{2n}\times GL_k$. We then construct the complete $L$-function for cuspidal representations and prove its global functional equation. Possible applications include classification results and a Shimura type lift of representations from covering groups to general linear groups (a global lift is sketched here for $m=2$).


title: Rank Bounds for Approximating Gaussian Densities in the Tensor-Train Format

abstract: Low-rank tensor approximations have shown great potential for uncertainty quantification in high dimensions, for example, to build surrogate models that can be used to speed up large-scale inference problems (Eigel et al., Inverse Problems 34, 2018; Dolgov et al., Statistics & Computing 30, 2020). The feasibility and efficiency of such approaches depends critically on the rank that is necessary to represent or approximate the underlying distribution. In this paper, a-priori rank bounds for approximations in the functional tensor-train representation for the case of Gaussian models are developed. It is shown that under suitable conditions on the precision matrix, the Gaussian density can be approximated to high accuracy without suffering from an exponential growth of complexity as the dimension increases. These results provide a rigorous justification of the suitability and the limitations of low-rank tensor methods in a simple but important model case. Numerical experiments confirm that the rank bounds capture the qualitative behavior of the rank structure when varying the parameters of the precision matrix and the accuracy of the approximation. Finally, the practical relevance of the theoretical results is demonstrated in the context of a Bayesian filtering problem.


title: Discovering Salient Anatomical Landmarks by Predicting Human Gaze

abstract: Anatomical landmarks are a crucial prerequisite for many medical imaging tasks. Usually, the set of landmarks for a given task is predefined by experts. The landmark locations for a given image are then annotated manually or via machine learning methods trained on manual annotations. In this paper, in contrast, we present a method to automatically discover and localize anatomical landmarks in medical images. Specifically, we consider landmarks that attract the visual attention of humans, which we term visually salient landmarks. We illustrate the method for fetal neurosonographic images. First, full-length clinical fetal ultrasound scans are recorded with live sonographer gaze-tracking. Next, a convolutional neural network (CNN) is trained to predict the gaze point distribution (saliency map) of the sonographers on scan video frames. The CNN is then used to predict saliency maps of unseen fetal neurosonographic images, and the landmarks are extracted as the local maxima of these saliency maps. Finally, the landmarks are matched across images by clustering the landmark CNN features. We show that the discovered landmarks can be used within affine image registration, with average landmark alignment errors between 4.1% and 10.9% of the fetal head long axis length.


title: Automatic phantom test pattern classification through transfer learning with deep neural networks

abstract: Imaging phantoms are test patterns used to measure image quality in computer tomography (CT) systems. A new phantom platform (Mercury Phantom, Gammex) provides test patterns for estimating the task transfer function (TTF) or noise power spectrum (NPF) and simulates different patient sizes. Determining which image slices are suitable for analysis currently requires manual annotation of these patterns by an expert, as subtle defects may make an image unsuitable for measurement. We propose a method of automatically classifying these test patterns in a series of phantom images using deep learning techniques. By adapting a convolutional neural network based on the VGG19 architecture with weights trained on ImageNet, we use transfer learning to produce a classifier for this domain. The classifier is trained and evaluated with over 3,500 phantom images acquired at a university medical center. Input channels for color images are successfully adapted to convey contextual information for phantom images. A series of ablation studies are employed to verify design aspects of the classifier and evaluate its performance under varying training conditions. Our solution makes extensive use of image augmentation to produce a classifier that accurately classifies typical phantom images with 98% accuracy, while maintaining as much as 86% accuracy when the phantom is improperly imaged.

categories: cs.CV cs.LG cs.NE eess.IV physics.med-ph


title: ASNP: a tame fragment of existential second-order logic

abstract: Amalgamation SNP (ASNP) is a fragment of existential second-order logic that strictly contains binary connected MMSNP of Feder and Vardi and binary guarded monotone SNP of Bienvenu, ten Cate, Lutz, and Wolter; it is a promising candidate for an expressive subclass of NP that exhibits a complexity dichotomy. We show that ASNP has a complexity dichotomy if and only if the infinite-domain dichotomy conjecture holds for constraint satisfaction problems for first-order reducts of binary finitely bounded homogeneous structures. For such CSPs, powerful universal-algebraic hardness conditions are known that are conjectured to describe the border between NP-hard and polynomial-time tractable CSPs. The connection to CSPs also implies that every ASNP sentence can be evaluated in polynomial time on classes of finite structures of bounded treewidth. We show that the syntax of ASNP is decidable. The proof relies on the fact that for classes of finite binary structures given by finitely many forbidden substructures, the amalgamation property is decidable.


title: Extended TQFTs via Generators and Relations I: The Extended Toric Code

abstract: In his PhD thesis, Goosen combined the string-net and the generators-and-relations formalisms for arbitrary once-extended 3-dimensional TQFTs. In this paper we work this out in detail for the simplest non-trivial example, where the underlying spherical fusion category is the category of $\mathbb{Z}/2\mathbb{Z}$-graded vector spaces. This allows us to give an elementary string-net description of the linear maps associated to 3-dimensional bordisms. The string-net formalism also simplifies the description of the mapping class group action in the resulting TQFT. We conclude the paper by performing some example calculations from this viewpoint.


title: Complexity, Stability Properties of Mixed Games and Dynamic Algorithms, and Learning in the Sharing Economy

abstract: The Sharing Economy (which includes Airbnb, Apple, Alibaba, Uber, WeWork, Ebay, Didi Chuxing, Amazon) blossomed across the world, triggered structural changes in industries and significantly affected international capital flows primarily by disobeying a wide variety of statutes and laws in many countries. They also illegally reduced and changing the nature of competition in many industries often to the detriment of social welfare. This article develops new dynamic pricing models for the SEOs and derives some stability properties of mixed games and dynamic algorithms which eliminate antitrust liability and also reduce deadweight losses, greed, Regret and GPS manipulation. The new dynamic pricing models contravene the Myerson Satterthwaite Impossibility Theorem.


title: StarAI: Reducing incompleteness in the game of Bridge using PLP

abstract: Bridge is a trick-taking card game requiring the ability to evaluate probabilities since it is a game of incomplete information where each player only sees its cards. In order to choose a strategy, a player needs to gather information about the hidden cards in the other players' hand. We present a methodology allowing us to model a part of card playing in Bridge using Probabilistic Logic Programming.


title: ClassCode: An Interactive Teaching and Learning Environment for Programming Education in Classrooms

abstract: Programming education is becoming important as demands on computer literacy and coding skills are growing. Despite the increasing popularity of interactive online learning systems, many programming courses in schools have not changed their teaching format from the conventional classroom setting. We see two research opportunities here. Students may have diverse expertise and experience in programming. Thus, particular content and teaching speed can be disengaging for experienced students or discouraging for novice learners. In a large classroom, instructors cannot oversee the learning progress of each student, and have difficulty matching teaching materials with the comprehension level of individual students. We present ClassCode, a web-based environment tailored to programming education in classrooms. Students can take online tutorials prepared by instructors at their own pace. They can then deepen their understandings by performing interactive coding exercises interleaved within tutorials. ClassCode tracks all interactions by each student, and summarizes them to instructors. This serves as a progress report, facilitating the instructors to provide additional explanations in-situ or revise course materials. Our user evaluation through a small lecture and expert review by instructors and teaching assistants confirm the potential of ClassCode by uncovering how it could address issues in existing programming courses at universities.


title: Inferring the connectivity of coupled oscillators and anticipating their transition to synchrony through lag-time analysis

abstract: The synchronization phenomenon is ubiquitous in nature. In ensembles of coupled oscillators, explosive synchronization is a particular type of transition to phase synchrony that is first-order as the coupling strength increases. Explosive sychronization has been observed in several natural systems, and recent evidence suggests that it might also occur in the brain. A natural system to study this phenomenon is the Kuramoto model that describes an ensemble of coupled phase oscillators. Here we calculate bi-variate similarity measures (the cross-correlation, $\rho_{ij}$, and the phase locking value, PLV$_{ij}$) between the phases, $\phi_i(t)$ and $\phi_j(t)$, of pairs of oscillators and determine the lag time between them as the time-shift, $\tau_{ij}$, which gives maximum similarity (i.e., the maximum of $\rho_{ij}(\tau)$ or PLV$_{ij}(\tau)$). We find that, as the transition to synchrony is approached, changes in the distribution of lag times provide an earlier warning of the synchronization transition (either gradual or explosive). The analysis of experimental data, recorded from Rossler-like electronic chaotic oscillators, suggests that these findings are not limited to phase oscillators, as the lag times display qualitatively similar behavior with increasing coupling strength, as in the Kuramoto oscillators. We also analyze the statistical relationship between the lag times between pairs of oscillators and the existence of a direct connection between them. We find that depending on the strength of the coupling, the lags can be informative of the network connectivity.


title: An introduction to the category of spectra

abstract: These notes give a brief introduction to the category of spectra as defined in stable homotopy theory. In particular, Section 5 discusses an extensive list of examples of spectra whose properties have been found to be interesting.


title: Reproducing the CO-to-H$_2$ conversion factor in cosmological simulations of Milky Way-mass galaxies

abstract: We present models of CO(1-0) emission from Milky Way-mass galaxies at redshift zero in the FIRE-2 cosmological zoom-in simulations. We calculate the molecular abundances by post-processing the simulations with an equilibrium chemistry solver while accounting for the effects of local sources, and determine the emergent CO(1-0) emission using a line radiative transfer code. We find that the results depend strongly on the shielding length assumed, which in our models sets the attenuation of the incident UV radiation field. At the resolution of these simulations, commonly used choices for the shielding length, such as the Jeans length, result in CO abundances that are too high at a given H$_2$ abundance. We find that a model with a distribution of shielding lengths, which has a median shielding length of $\sim 3$ pc in cold gas ($T < 300$ K) for both CO and H$_{2}$, is able to reproduce both the observed CO(1-0) luminosity and inferred CO-to-H$_{2}$ conversion factor at a given star formation rate compared with observations. We suggest that this short shielding length can be thought of as a subgrid model which controls the amount of radiation that penetrates giant molecular clouds.


title: Safety Considerations in Deep Control Policies with Safety Barrier Certificates Under Uncertainty

abstract: Recent advances in Deep Machine Learning have shown promise in solving complex perception and control loops via methods such as reinforcement and imitation learning. However, guaranteeing safety for such learned deep policies has been a challenge due to issues such as partial observability and difficulties in characterizing the behavior of the neural networks. While a lot of emphasis in safe learning has been placed during training, it is non-trivial to guarantee safety at deployment or test time. This paper extends how under mild assumptions, Safety Barrier Certificates can be used to guarantee safety with deep control policies despite uncertainty arising due to perception and other latent variables. Specifically for scenarios where the dynamics are smooth and uncertainty has a finite support, the proposed framework wraps around an existing deep control policy and generates safe actions by dynamically evaluating and modifying the policy from the embedded network. Our framework utilizes control barrier functions to create spaces of control actions that are safe under uncertainty, and when the original actions are found to be in violation of the safety constraint, uses quadratic programming to minimally modify the original actions to ensure they lie in the safe set. Representations of the environment are built through Euclidean signed distance fields that are then used to infer the safety of actions and to guarantee forward invariance. We implement this method in simulation in a drone-racing environment and show that our method results in safer actions compared to a baseline that only relies on imitation learning to generate control actions.


title: Neural Embeddings of Scholarly Periodicals Reveal Complex Disciplinary Organizations

abstract: Understanding the structure of knowledge domains is one of the foundational challenges in science of science. Here, we propose a neural embedding technique that leverages the information contained in the citation network to obtain continuous vector representations of scientific periodicals. We demonstrate that our periodical embeddings encode nuanced relationships between periodicals as well as the complex disciplinary and interdisciplinary structure of science, allowing us to make cross-disciplinary analogies between periodicals. Furthermore, we show that the embeddings capture meaningful "axes" that encompass knowledge domains, such as an axis from "soft" to "hard" sciences or from "social" to "biological" sciences, which allow us to quantitatively ground periodicals on a given dimension. By offering novel quantification in science of science, our framework may in turn facilitate the study of how knowledge is created and organized.


title: How Fast Can You Escape a Compact Polytope?

abstract: The Continuous Polytope Escape Problem (CPEP) asks whether every trajectory of a linear differential equation initialised within a convex polytope eventually escapes the polytope. We provide a polynomial-time algorithm to decide CPEP for compact polytopes. We also establish a quantitative uniform upper bound on the time required for every trajectory to escape the given polytope. In addition, we establish iteration bounds for termination of discrete linear loops via reduction to the continuous case.


title: A Neural Network based Shock Detection and Localization Approach for Discontinuous Galerkin Methods

abstract: The stable and accurate approximation of discontinuities such as shocks on a finite computational mesh is a challenging task. Detection of shocks or strong discontinuities in the flow solution is typically achieved through a priori troubled cell indicators, which guide the subsequent action of an appropriate shock capturing mechanism. Arriving at a stable and accurate solution often requires empirically based parameter tuning and adjustments of the indicator settings to the discretization and solution at hand. In this work, we propose to separate the task of shock detection and shock capturing more strongly and aim to develop a shock indicator that is robust, accurate, requires minimal user input and is suitable for high order element-based methods like discontinuous Galerkin and flux reconstruction methods. The novel indicator is learned from analytical data through a supervised learning strategy; its input is given by the high order solution field, its output is an element-local map of the shock position. We use state of the art methods from edge detection in image analysis based on deep convolutional multiscale networks and deep supervision to train the indicators. The resulting networks are then used as black box indicators, showing their robustness and accuracy on well established canonical testcases. All simulations are run ab initio using the developed indicators, showing that they provide also stability during the strongly transient phases. In particular for high order schemes with large cells and considerable inner-cell resolution capabilities, we demonstrate how the additional accurate prediction of the position of the shock front can be exploited to guide inner-element shock capturing strategies.


title: RDAnet: A Deep Learning Based Approach for Synthetic Aperture Radar Image Formation

abstract: Synthetic Aperture Radar (SAR) imaging systems operate by emitting radar signals from a moving object, such as a satellite, towards the target of interest. Reflected radar echoes are received and later used by image formation algorithms to form a SAR image. There is great interest in using SAR images in computer vision tasks such as classification or automatic target recognition. Today, however, SAR applications consist of multiple operations: image formation followed by image processing. In this work, we train a deep neural network that performs both the image formation and image processing tasks, integrating the SAR processing pipeline. Results show that our integrated pipeline can output accurately classified SAR imagery with image quality comparable to those formed using a traditional algorithm. We believe that this work is the first demonstration of an integrated neural network based SAR processing pipeline using real data.


title: 5-Dimensional Chern-Simons Gauge Theory on an Interval: Massive Spin-2 Theory from Symmetry Breaking via Boundary Conditions

abstract: In this note, we revisit the 4-dimensional theory of massive gravity through compactification of an extra dimension and geometric symmetry breaking. We dimensionally reduce the 5-dimensional topological Chern-Simons gauge theory of (anti) de Sitter group on an interval. We apply non-trivial boundary conditions at the endpoints to break all of the gauge symmetries. We identify different components of the gauge connection as invertible vierbein and spin-connection to interpret it as a gravitational theory. The effective field theory in four dimensions includes the dRGT potential terms and has a tower of Kaluza-Klein states without massless graviton in the spectrum. The UV cut of the theory is the Planck scale of the 5-dimensional gravity $l^{-1}$. If $\zeta$ is the scale of symmetry breaking and $L$ is the length of the interval, then the masses of the lightest graviton $m$ and the level $n$ (for $n<Ll^{-1}$) KK gravitons $m_{\rm KK}^{(n)}$ are determined as $m=(\zeta L^{-1})^{\frac{1}{2}}\ll m_{\rm KK}^{(n)}=nL^{-1}$. The 4-dimensional Planck mass is $m_{\rm Pl}\sim (Ll^{-3})^{\frac{1}{2}}$ and we find the hierarchy $\zeta< m< L^{-1}<l^{-1}<m_{\rm Pl}$.


title: Non-polyhedral effective cones from the moduli space of curves

abstract: We show that the pseudoeffective cone of divisors $\overline{\text{Eff}}^1(\overline{\mathcal{M}}_{g,n})$ for $g\geq 2$ and $n\geq 2$ is not polyhedral by showing that the class of the fibre of the morphism forgetting one point forms an extremal ray of the dual nef cone of curves $\overline{\text{Nef}}_1(\overline{\mathcal{M}}_{g,n})$ and the cone at this ray is not polyhedral.


title: Holographic Space-time and Quantum Information

abstract: The formalism of Holographic Space-time (HST) is a translation of the principles of Lorentzian geometry into the language of quantum information. Intervals along time-like trajectories, and their associated causal diamonds, completely characterize a Lorentzian geometry. The Bekenstein-Hawking-Gibbons-'t Hooft-Jacobson-Fischler-Susskind-Bousso Covariant Entropy Principle, equates the logarithm of the dimension of the Hilbert space associated with a diamond to one quarter of the area of the diamond's holographic screen, measured in Planck units. The most convincing argument for this principle is Jacobson's derivation of Einstein's equations as the hydrodynamic expression of this entropy law. In that context, the null energy condition (NEC) is seen to be the analog of the local law of entropy increase. The quantum version of Einstein's relativity principle is a set of constraints on the mutual quantum information shared by causal diamonds along different time-like trajectories. The implementation of this constraint for trajectories in relative motion is the greatest unsolved problem in HST. The other key feature of HST is its claim that, for non-negative cosmological constant or causal diamonds much smaller than the asymptotic radius of curvature for negative c.c., the degrees of freedom localized in the bulk of a diamond are constrained states of variables defined on the holographic screen. This principle gives a simple explanation of otherwise puzzling features of BH entropy formulae, and resolves the firewall problem for black holes in Minkowski space. It motivates a covariant version of the CKN\cite{ckn} bound on the regime of validity of quantum field theory (QFT) and a detailed picture of the way in which QFT emerges as an approximation to the exact theory.


title: Decay properties of $^{22}\mathrm{Ne} + \alpha$ resonances and their impact on $s$-process nucleosynthesis

abstract: The astrophysical $s$-process is one of the two main processes forming elements heavier than iron. A key outstanding uncertainty surrounding $s$-process nucleosynthesis is the neutron flux generated by the ${}^{22}\mathrm{Ne}(\alpha, n){}^{25}\mathrm{Mg}$ reaction during the He-core and C-shell burning phases of massive stars. This reaction, as well as the competing ${}^{22}\mathrm{Ne}(\alpha, \gamma){}^{26}\mathrm{Mg}$ reaction, is not well constrained in the important temperature regime from ${\sim} 0.2$--$0.4$~GK, owing to uncertainties in the nuclear properties of resonances lying within the Gamow window. To address these uncertainties, we have performed a new measurement of the ${}^{22}\mathrm{Ne}({}^{6}\mathrm{Li}, d){}^{26}\mathrm{Mg}$ reaction in inverse kinematics, detecting the outgoing deuterons and ${}^{25,26}\mathrm{Mg}$ recoils in coincidence. We have established a new $n / \gamma$ decay branching ratio of $1.14(26)$ for the key $E_x = 11.32$ MeV resonance in $^{26}\mathrm{Mg}$, which results in a new $(\alpha, n)$ strength for this resonance of $42(11)~\mu$eV when combined with the well-established $(\alpha, \gamma)$ strength of this resonance. We have also determined new upper limits on the $\alpha$ partial widths of neutron-unbound resonances at $E_x = 11.112,$ $11.163$, $11.169$, and $11.171$ MeV. Monte-Carlo calculations of the stellar ${}^{22}\mathrm{Ne}(\alpha, n){}^{25}\mathrm{Mg}$ and ${}^{22}\mathrm{Ne}(\alpha, \gamma){}^{26}\mathrm{Mg}$ rates, which incorporate these results, indicate that both rates are substantially lower than previously thought in the temperature range from ${\sim} 0.2$--$0.4$~GK.


title: Composite Quadrature Methods for Weakly Singular Convolution Integrals

abstract: The well-known Caputo fractional derivative and the corresponding Caputo fractional integral occur naturally in many equations that model physical phenomena under inhomogeneous media. The relationship between the two fractional terms can be readily obtained by applying the Laplace transform to a given equation. We seek to numerically approximate Caputo fractional integrals using a Taylor series expansion for convolution integrals. This naturally extends into being able to approximate convolution integrals for a wider class of convolution integral kernels $K(t-s)$. One of the main advantages under this approach is the ability to numerically approximate weakly singular kernels, which fail to converge under traditional quadrature methods. We provide stability and convergence analysis for these composite quadratures, which offer optimal convergence for approximating functions in $C^{\gamma}[0,T]$, where $\alpha \leq \gamma \leq 5$ and $0<\alpha < 1$. For the order $\gamma = 1,2,3,4,5$ scheme, the resulting approximation is $O(\tau^{\gamma})$ accurate, where $\tau$ is the size of the partition of the time domain. By instead utilizing a fractional Taylor series expansion, we are able to obtain for $\gamma \in (0,5)-\{1,2,3,4\}$ order scheme, which yields an approximation of $O(\tau^{\gamma})$ with a constant dependent on the kernel function which improves the order of convergence. This allows for a far wider class of functions to be approximated, and by strengthening the regularity assumption, we are able to obtain more accurate results. General convolution integrals exhibit these results up to $\gamma = 2$ without the assumption of $K$ being decreasing. Finally, some numerical examples are presented, which validate our findings.


title: Searching for Ultra-fast Outflows in AGN using Variability Spectra

abstract: We present a qualitative search for ultra-fast outflows (UFOs) in excess variance spectra of radio-quiet active galactic nuclei (AGN). We analyse 42 sources from the Tombesi et al. (2010) spectroscopic UFO detection sample, and an additional 22 different sources from the Kara et al. (2016) variability sample. A total of 58 sources have sufficient observational data from XMM-Newton EPIC-pn and variability for an excess variance spectrum to be calculated. We examine these spectra for peaks corresponding to variable blue-shifted H- and He-like ion absorption lines from UFOs. We find good evidence for such outflows in 28% of the AGN sample and weak evidence in a further 31%, meaning that $\sim$ 30-60% of the AGN sample hosts such UFOs. The mean and median blue-shifted velocity is found to be $\sim$ 0.14c and 0.12c, respectively. Current variability methods allow for a fast, model-independent determination of UFOs, however, further work needs to be undertaken to better characterize the statistical significance of the peaks in these spectra by more rigorous modelling. Detecting good evidence for variable UFO lines in a large number of sources also lays the groundwork for detailed analysis of the variability timescales of the absorbers. This will allow us to probe their densities and hence distances from the central super-massive black hole.


title: Groups definable in weakly o-minimal non-valuational structures

abstract: Let $\mathcal M$ be a weakly o-minimal non-valuational structure, and $\mathcal N$ its canonical o-minimal extension (by Wencel). We prove that every group $G$ definable in $\mathcal M$ is a subgroup of a group $K$ definable in $\mathcal N$, which is canonical in the sense that it is the smallest such group. As an application, we obtain that $G^{00}= G\cap K^{00}$, and establish Pillay's Conjecture in this setting: $G/G^{00}$, equipped with the logic topology, is a compact Lie group, and if $G$ has finitely satisfiable generics, then $\dim_{Lie}(G/G^{00})= \dim(G)$.


title: Multilingual Denoising Pre-training for Neural Machine Translation

abstract: This paper demonstrates that multilingual denoising pre-training produces significant performance gains across a wide variety of machine translation (MT) tasks. We present mBART -- a sequence-to-sequence denoising auto-encoder pre-trained on large-scale monolingual corpora in many languages using the BART objective. mBART is one of the first methods for pre-training a complete sequence-to-sequence model by denoising full texts in multiple languages, while previous approaches have focused only on the encoder, decoder, or reconstructing parts of the text. Pre-training a complete model allows it to be directly fine tuned for supervised (both sentence-level and document-level) and unsupervised machine translation, with no task-specific modifications. We demonstrate that adding mBART initialization produces performance gains in all but the highest-resource settings, including up to 12 BLEU points for low resource MT and over 5 BLEU points for many document-level and unsupervised models. We also show it also enables new types of transfer to language pairs with no bi-text or that were not in the pre-training corpus, and present extensive analysis of which factors contribute the most to effective pre-training.


title: Nowhere to Hide: Cross-modal Identity Leakage between Biometrics and Devices

abstract: Along with the benefits of Internet of Things (IoT) come potential privacy risks, since billions of the connected devices are granted permission to track information about their users and communicate it to other parties over the Internet. Of particular interest to the adversary is the user identity which constantly plays an important role in launching attacks. While the exposure of a certain type of physical biometrics or device identity is extensively studied, the compound effect of leakage from both sides remains unknown in multi-modal sensing environments. In this work, we explore the feasibility of the compound identity leakage across cyber-physical spaces and unveil that co-located smart device IDs (e.g., smartphone MAC addresses) and physical biometrics (e.g., facial/vocal samples) are side channels to each other. It is demonstrated that our method is robust to various observation noise in the wild and an attacker can comprehensively profile victims in multi-dimension with nearly zero analysis effort. Two real-world experiments on different biometrics and device IDs show that the presented approach can compromise more than 70\% of device IDs and harvests multiple biometric clusters with ~94% purity at the same time.


title: Active Perception with A Monocular Camera for Multiscopic Vision

abstract: We design a multiscopic vision system that utilizes a low-cost monocular RGB camera to acquire accurate depth estimation for robotic applications. Unlike multi-view stereo with images captured at unconstrained camera poses, the proposed system actively controls a robot arm with a mounted camera to capture a sequence of images in horizontally or vertically aligned positions with the same parallax. In this system, we combine the cost volumes for stereo matching between the reference image and the surrounding images to form a fused cost volume that is robust to outliers. Experiments on the Middlebury dataset and real robot experiments show that our obtained disparity maps are more accurate than two-frame stereo matching: the average absolute error is reduced by 50.2% in our experiments.


title: Real-time, non-contact, cellular imaging and angiography of human cornea and limbus with common-path Full-field/SDOCT

abstract: In today's clinics, a cellular-resolution view of the cornea can be achieved only with an in vivo confocal microscope (IVCM) in contact with the eye. Here, we present a common-path Full-field/Spectral-domain OCT microscope (FF/SD OCT), which, for the first time, enables cell-detail imaging of the entire ocular surface (central and peripheral cornea, limbus, sclera, tear film) without contact and in real time. The device, which has been successfully tested in human subjects, is now ready for direct implementation in clinical research. Real-time performance is achieved through rapid axial eye tracking and simultaneous defocusing correction. Images, extracted from real-time videos, contain cells and nerves, which can be quantified over a millimetric field-of-view, beyond the capability of IVCM and conventional OCT. In the limbus, Palisades of Vogt, vessels and blood flow can be resolved with high contrast without contrast agent injection. The fast imaging speed of 275 frames/s (0.6 billion pixels/s) allowed direct monitoring of blood flow dynamics, enabling creation of high-resolution velocity maps for the first time. Tear flow velocity and evaporation time could be measured without fluorescein administration.


title: Stellar rotation periods from K2 Campaigns 0-18 -- Evidence for rotation period bimodality and simultaneous variability decrease

abstract: Rotation period measurements of stars observed with the Kepler mission have revealed a lack of stars at intermediate rotation periods, accompanied by a decrease of photometric variability. Whether this so-called dearth region is a peculiarity of stars in the Kepler field, or reflects a general manifestation of stellar magnetic activity, is still under debate. Our goal is to measure stellar rotation periods and photometric variabilities for tens of thousands of K2 stars, located in different fields along the ecliptic plane, to shed light on the relation between stellar rotation and photometric variability. We use Lomb-Scargle periodograms, auto-correlation and wavelet functions to determine consistent rotation periods. Stellar brightness variability is assessed by computing the variability range from the light curve. We further apply Gaussian mixture models to search for bimodality in the rotation period distribution. Combining measurements from all K2 campaigns, we detect rotation periods in 29,860 stars. For effective temperatures below 6000K, the variability range shows a local minimum at different periods, consistent with an isochrone age of 750 Myr. Additionally, the K2 rotation period distribution shows evidence for bimodality, although the dearth region is less pronounced compared to the Kepler field. The period at the dip of the bimodal distribution shows good agreement with the period at the local variability minimum. We conclude that the period bimodality is present in different fields of the sky, and is hence a general manifestation of stellar magnetic activity. The reduced variability in the dearth region is interpreted as a cancelation between dark spots and bright faculae. Our results strongly advocate that the role of faculae has been underestimated so far, suggesting a more complex dependence of the brightness variability on the rotation period.


title: Examining a Peak-Luminosity/Decline-Rate Relationship for Tidal Disruption Events

abstract: We compare the luminosity, radius, and temperature evolution of the UV/optical blackbodies for 21 well-observed tidal disruption events (TDEs), 8 of which were discovered by the All-Sky Automated Survey for Supernovae. We find that the blackbody radii generally increase prior to peak and slowly decline at late times. The blackbody temperature evolution is generally flat, with a few objects showing small-scale variations. The bolometric UV/optical luminosities generally evolve smoothly and flatten out at late times. Finally, we find an apparent correlation between the peak luminosity and the decline rate of TDEs. This relationship is strongest when comparing the peak luminosity to its decline over 40 days. A linear fit yields $\log_{10}( L_{peak}) = (44.1^{+0.1}_{-0.1}) + (1.6^{+0.4}_{-0.2})(\Delta L_{40} + 0.5)$ in cgs, where $\Delta L_{40} = \log_{10}(L_{40} / L_{peak})$.


title: An Extreme X-ray Variability Event of a Weak-Line Quasar

abstract: We report the discovery of an extreme X-ray flux rise (by a factor of > 20) of the weak-line quasar SDSS J153913.47+395423.4 (hereafter SDSS J1539+3954) at z = 1.935. SDSS J1539+3954 is the most-luminous object among radio-quiet type 1 AGNs where such dramatic X-ray variability has been observed. Before the X-ray flux rise, SDSS J1539+3954 appeared X-ray weak compared with the expectation from its UV flux; after the rise, the ratio of its X-ray flux and UV flux is consistent with the majority of the AGN population. We also present a contemporaneous HET spectrum of SDSS J1539+3954, which demonstrates that its UV continuum level remains generally unchanged despite the dramatic increase in the X-ray flux, and its C iv emission line remains weak. The dramatic change only observed in the X-ray flux is consistent with a shielding model, where a thick inner accretion disk can block our line of sight to the central X-ray source. This thick inner accretion disk can also block the nuclear ionizing photons from reaching the high-ionization broad emission-line region, so that weak high-ionization emission lines are observed. Under this scenario, the extreme X-ray variability event may be caused by slight variations in the thickness of the disk. This event might also be explained by gravitational light-bending effects in a reflection model.


title: Simulating Floquet topological phases in static systems

abstract: We show that scattering from the boundary of static, higher-order topological insulators (HOTIs) can be used to simulate the behavior of (time-periodic) Floquet topological insulators. We consider D-dimensional HOTIs with gapless corner states which are weakly probed by external waves in a scattering setup. We find that the unitary reflection matrix describing back-scattering from the boundary of the HOTI is topologically equivalent to a (D-1)-dimensional nontrivial Floquet operator. To characterize the topology of the reflection matrix, we introduce the concept of `nested' scattering matrices. Our results provide a route to engineer topological Floquet systems in the lab without the need for external driving. As benefit, the topological system does not to suffer from decoherence and heating.


title: Holographic spontaneous anisotropy

abstract: We construct a family of holographic duals to anisotropic states in a strongly coupled gauge theory. On the field theory side the anisotropy is generated by giving a vacuum expectation value to a dimension three operator. We obtain our gravity duals by considering the geometry corresponding to the intersection of D3- and D5- branes along 2+1 dimensions. Our backgrounds are supersymmetric and solve the fully backreacted equations of motion of ten-dimensional supergravity with smeared D5-brane sources. In all cases the geometry flows to $AdS_{5}\times {\mathbb S}^5$ in the UV, signaling an isotropic UV fixed point of the dual field theory. In the IR, depending on the parameters of the solution, we find two possible behaviors: an isotropic fixed point or a geometry with anisotropic Lifshitz-like scaling symmetry. We study several properties of the solutions, including the entanglement entropy of strips. We show that any natural extension of existing $c$-functions will display non-monotonic behavior, conforming with the presence of new degrees of freedom only at intermediate energy scales.


title: On two phases inside the Bose condensation dome of Yb$_2$Si$_2$O$_7$

abstract: Recent experimental data on Bose-Einstein Condensation (BEC) of magnons in the spin-gap compound Yb$_2$Si$_2$O$_7$ revealed an asymmetric BEC dome arXiv:1810.13096v2. We examine modifications to the Heisenberg model on a breathing honeycomb lattice, showing that this physics can be explained by competing forms of weak anisotropy. We employ a gamut of analytical and numerical techniques to show that the anisotropy yields a field driven phase transition from a state with broken Ising symmetry to a phase which breaks no symmetries and crosses over to the polarized limit.


title: Primordial black holes as dark matter and gravitational waves from single-field polynomial inflation

abstract: We consider the possibility that the majority of dark matter in our Universe consists of black holes of primordial origin. We determine the conditions under which such black holes may have originated from a single-field model of inflation characterized by a quartic polynomial potential. We also explore the effect of higher-dimensional operators. The large power spectrum of curvature perturbations that is needed for a large black hole abundance sources sizable second order tensor perturbations. The resulting stochastic background of primordial gravitational waves could be detected by the future space-based observatories LISA and DECIGO or --as long as we give up on the dark matter connection--by the ground-based Advanced LIGO-Virgo detector network.


title: Discovering novae in early-type galaxies with MUSE: A chance find in NGC 1404, and twelve more candidates from an archival search

abstract: I report the discovery of a transient broad-H$\alpha$ point source in the outskirts of the giant elliptical galaxy NGC 1404, discovered in archival observations taken with the MUSE integral field spectrograph. The H$\alpha$ line width of 1950 km s$^{-1}$ FWHM, and luminosity of (4.1$\pm$0.1)$\times$10$^{36}$ erg s$^{-1}$, are consistent with a nova outburst, and the source is not visible in MUSE data obtained nine months later. A transient soft X-ray source was detected at the same position (within $<$1 arcsec), 14 years before the H$\alpha$ transient. If the X-ray and H$\alpha$ emission are from the same object, the source may be a short-timescale recurrent nova with a massive white dwarf accretor, and hence a possible Type-Ia supernova progenitor. Selecting broad-H$\alpha$ point sources in MUSE archival observations for a set of nearby early-type galaxies, I discovered twelve more nova candidates with similar properties to the NGC 1404 source, including five in NGC 1380 and four in NGC 4365. Multi-epoch data are available for four of these twelve sources; all four are confirmed to be transient on $\sim$1 year timescales, supporting their identification as novae.


title: Operator and entanglement growth in non-thermalizing systems: many-body localization and the random singlet phase

abstract: We characterize the growth and spreading of operators and entanglement in two paradigmatic non-thermalizing phases - the many-body localized phase and the random singlet phase - using out-of-time-ordered correlators, the entanglement contour, and operator entanglement. We contrast these phases with strongly thermalizing holographic conformal field theories and fully localized Anderson insulators. We obtain a phenomenological description of the operator and state dynamics of these phases and demonstrate the utility of the entanglement contour and operator entanglement measures as useful probes of slowly scrambling and non-thermalizing dynamics.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.stat-mech hep-th


title: Constraining the origin of the planetary debris surrounding ZTF J0139+5245 through rotational fission of a triaxial asteroid

abstract: White dwarfs containing orbiting planetesimals or their debris represent crucial benchmarks by which theoretical investigations of post-main-sequence planetary systems may be calibrated. The photometric transit signatures of likely planetary debris in the ZTF J0139+5245 white dwarf system has an orbital period of about 110 days. An asteroid which breaks up to produce this debris may spin itself to destruction through repeated close encounters with the star without entering its Roche radius and without influence from the white dwarf's luminosity. Here, we place coupled constraints on the orbital pericentre ($q$) and the ratio ($\beta$) of the middle to longest semiaxes of a triaxial asteroid which disrupts outside of this white dwarf's Roche radius ($r_{\rm Roche}$) soon after attaining its 110-day orbit. We find that disruption within tens of years is likely when $\beta \lesssim 0.6$ and $q\approx 1.0-2.0r_{\rm Roche}$, and when $\beta \lesssim 0.2$ out to $q\approx 2.5r_{\rm Roche}$. Analysing the longer-timescale disruption of triaxial asteroids around ZTF J0139+5245 is desirable but may require either an analytical approach relying on ergodic theory or novel numerical techniques.


title: A multiplicity study of transiting exoplanet host stars. I. High-contrast imaging with VLT/SPHERE

abstract: We study the multiplicity of host stars to known transiting extra-solar planets to test competing theories on the formation mechanisms of hot Jupiters. We observed 45 exoplanet host stars using VLT/SPHERE/IRDIS to search for potential companions. For each identified candidate companion we determined the probability that it is gravitationally bound to its host by performing common proper motion checks and modelling of synthetic stellar populations around the host. We detected new candidate companions around K2-38, WASP-72, WASP-80, WASP-87, WASP-88, WASP-108, WASP-118, WASP-120, WASP-122, WASP123, WASP-130, WASP-131 and WASP-137. The closest candidates were detected at separations of $0.124''\pm0.007''$ and $0.189''\pm0.003''$ around WASP-108 and WASP-131; the measured $K$ band contrasts indicate that these are stellar companions of $0.35\pm0.02\,M_{\odot}$ and $0.62^{+0.05}_{-0.04}\,M_{\odot}$, respectively. Including the re-detection and confirmation of previously known companions in 13 other systems we derived a multiplicity fraction of $55.4^{+5.9}_{-9.4}\,\%$. For the representative sub-sample of 40 hot Jupiter host stars among our targets, the derived multiplicity rate is $54.8^{+6.3}_{-9.9}\,\%$. Our data do not confirm any trend that systems with eccentric planetary companions are preferably part of multiple systems. On average, we reached a magnitude contrast of $8.5\pm0.9$ mag at an angular separation of 0.5''. This allows to exclude additional stellar companions with masses larger than $0.08$ M$_\odot$ for almost all observed systems; around the closest and youngest systems this sensitivity is achieved at physical separations as small as 10 au. The presented study shows that SPHERE is an ideal instrument to detect and characterize close companions to exoplanetary host stars.


title: A multiplicity study of transiting exoplanet host stars. II. Revised properties of transiting planetary systems with companions

abstract: We perform a detailed study of six transiting planetary systems with relatively bright stars close enough to affect observations of these systems. Light curves are analysed taking into account the contaminating light and its uncertainty. We present and apply a method to correct the velocity amplitudes of the host stars for the presence of contaminating light. We determine the physical properties of six systems (WASP-20, WASP-70, WASP-8, WASP-76, WASP-2 and WASP-131) accounting for contaminating light. In the case of WASP-20 the measured physical properties are very different for the three scenarios considered (ignoring binarity, planet transits brighter star, and planet transits fainter star). In the other five cases our results are very similar to those obtained neglecting contaminating light. We use our results to determine the mean correction factors to planet radius, $\langle X_R\rangle$, mass, $\langle X_M\rangle$, and density, $\langle X_\rho\rangle$, caused by nearby objects. We find $\langle X_R\rangle=1.009\pm0.045$, which is smaller than literature values because we were able to reject the possibility that the planet orbits the fainter star in all but one case. We find $\langle X_M\rangle=1.031\pm0.019$, which is larger than $\langle X_R\rangle$ because of the strength of the effect of contaminating light on the radial velocity measurements of the host star. We find $\langle X_\rho\rangle=0.995\pm 0.046$: the small size of this correction is due to two effects: the corrections on planet radius and mass partially cancel; and some nearby stars are close enough to contaminate the light curves of the system but not radial velocities of the host star. We conclude that binarity of planet host stars is important for the small number of transiting hot Jupiters with a very bright and close nearby star, but it has only a small effect on population-level studies of these objects.


title: Floquet prethermalization in a Bose-Hubbard system

abstract: Periodic driving has emerged as a powerful tool in the quest to engineer new and exotic quantum phases. While driven many-body systems are generically expected to absorb energy indefinitely and reach an infinite-temperature state, the rate of heating can be exponentially suppressed when the drive frequency is large compared to the local energy scales of the system -- leading to long-lived 'prethermal' regimes. In this work, we experimentally study a bosonic cloud of ultracold atoms in a driven optical lattice and identify such a prethermal regime in the Bose-Hubbard model. By measuring the energy absorption of the cloud as the driving frequency is increased, we observe an exponential-in-frequency reduction of the heating rate persisting over more than 2 orders of magnitude. The tunability of the lattice potentials allows us to explore one- and two-dimensional systems in a range of different interacting regimes. Alongside the exponential decrease, the dependence of the heating rate on the frequency displays features characteristic of the phase diagram of the Bose-Hubbard model, whose understanding is additionally supported by numerical simulations in one dimension. Our results show experimental evidence of the phenomenon of Floquet prethermalization, and provide insight into the characterization of heating for driven bosonic systems.


title: Abundances in the Milky Way across five nucleosynthetic channels from 4 million LAMOST stars

abstract: Large stellar surveys are revealing the chemodynamical structure of the Galaxy across a vast spatial extent. However, the many millions of low-resolution spectra observed to date are yet to be fully exploited. We employ The Cannon, a data-driven approach to estimating abundances, to obtain detailed abundances from low-resolution (R = 1800) LAMOST spectra, using the GALAH survey as our reference. We deliver five (for dwarfs) or six (for giants) estimated abundances representing five different nucleosynthetic channels, for 3.9 million stars, to a precision of 0.05 - 0.23 dex. Using wide binary pairs, we demonstrate that our abundance estimates provide chemical discriminating power beyond metallicity alone. We show the coverage of our catalogue with radial, azimuthal and dynamical abundance maps, and examine the neutron capture abundances across the disk and halo, which indicate different origins for the in-situ and accreted halo populations. LAMOST has near-complete Gaia coverage and provides an unprecedented perspective on chemistry across the Milky Way.


title: Microwave-assisted tunneling and interference effects in superconducting junctions under fast driving signals

abstract: As scanning tunneling microscopy is pushed towards fast local dynamics, a quantitative understanding of tunnel junctions under the influence of a fast AC driving signal is required, especially at the ultra-low temperatures relevant to spin dynamics and correlated electron states. We subject a superconductor-insulator-superconductor junction to a microwave signal from an antenna mounted \textit{in situ} and examine the DC response of the contact to this driving signal. Quasi-particle tunneling and the Josephson effect can be interpreted in the framework of Tien-Gordon theory. The situation is more complex when it comes to higher order effects such as multiple Andreev reflections. Microwave assisted tunneling unravel these complex processes, providing deeper insights into tunneling than are available in a pure DC measurement.


title: Search for L5 Earth Trojans with DECam

abstract: Most of the major planets in the Solar System support populations of co-orbiting bodies, known as Trojans, at their L4 and L5 Lagrange points. In contrast, Earth has only one known co-orbiting companion. This paper presents the results from a search for Earth Trojans using the DECam instrument on the Blanco Telescope at CTIO. This search found no additional Trojans in spite of greater coverage compared to previous surveys of the L5 point. Therefore, the main result of this work is to place the most stringent constraints to date on the population of Earth Trojans. These constraints depend on assumptions regarding the underlying population properties, especially the slope of the magnitude distribution (which in turn depends on the size and albedo distributions of the objects). For standard assumptions, we calculate upper limits to a 90% confidence limit on the L5 population of $N_{ET}<1$ for magnitude $H<15.5$, $N_{ET}=60-85$ for $H<19.7$, and $N_{ET}\ $= 97 for $H=20.4$. This latter magnitude limit corresponds to Trojans $\sim$300 m in size for albedo $0.15$. At H=19.7, these upper limits are consistent with previous L4 Earth Trojan constraints and significantly improve L5 constraints.


title: Landau Quasiparticles in Weak Power-Law Liquids

abstract: The failure of Landau-Fermi liquid theory is often considered a telltale sign of universal, scale-invariant behavior in the emergent field theory of interacting fermions. Nevertheless, there exist borderline cases where weak scale invariance coupled with particle-hole asymmetry can coexist with the Landau quasiparticle paradigm. In this letter, I show explicitly that a Landau-Fermi liquid can exist for weak power-law scaling of the retarded Green's function. Such an exotic variant of the traditional Fermi liquid, although exhibiting a finite quasiparticle weight and large quasiparticle lifetime, is shown to always be incompatible with Luttinger's theorem for any non-trivial scaling. This result yields evidence for a Fermi liquid-like ground state in the high-field, underdoped pseudogap phase of the high-temperature cuprate superconductors.


title: Nonlinear Blockchain Scalability: a Game-Theoretic Perspective

abstract: Recent advances in the blockchain research have been made in two important directions. One is refined resilience analysis utilizing game theory to study the consequences of selfish behaviors of users (miners), and the other is the extension from a linear (chain) structure to a non-linear (graphical) structure for performance improvements, such as IOTA and Graphcoin. The first question that comes to people's minds is what improvements that a blockchain system would see by leveraging these new advances. In this paper, we consider three major metrics for a blockchain system: full verification, scalability, and finality-duration. We { establish a formal framework and} prove that no blockchain system can achieve full verification, high scalability, and low finality-duration simultaneously. We observe that classical blockchain systems like Bitcoin achieves full verification and low finality-duration, Harmony and Ethereum 2.0 achieve low finality-duration and high scalability. As a complementary, we design a non-linear blockchain system that achieves full verification and scalability. We also establish, for the first time, the trade-off between scalability and finality-duration.


title: Quantum scars as embeddings of weakly "broken" Lie algebra representations

abstract: We present an interpretation of scar states and quantum revivals as weakly "broken" representations of Lie algebras spanned by a subset of eigenstates of a many-body quantum system. We show that the PXP model, describing strongly-interacting Rydberg atoms, supports a "loose" embedding of multiple $\mathrm{su(2)}$ Lie algebras corresponding to distinct families of scarred eigenstates. Moreover, we demonstrate that these embeddings can be made progressively more accurate via an iterative process which results in optimal perturbations that stabilize revivals from arbitrary charge density wave product states, $|\mathbb{Z}_n\rangle$, including ones that show no revivals in the unperturbed PXP model. We discuss the relation between the loose embeddings of Lie algebras present in the PXP model and recent exact constructions of scarred states in related models.


title: Deep Learning Enabled Strain Mapping of Single-Atom Defects in 2D Transition Metal Dichalcogenides with Sub-picometer Precision

abstract: 2D materials offer an ideal platform to study the strain fields induced by individual atomic defects, yet challenges associated with radiation damage have so-far limited electron microscopy methods to probe these atomic-scale strain fields. Here, we demonstrate an approach to probe single-atom defects with sub-picometer precision in a monolayer 2D transition metal dichalcogenide, WSe$_{2-2x}$Te$_{2x}$. We utilize deep learning to mine large datasets of aberration-corrected scanning transmission electron microscopy images to locate and classify point defects. By combining hundreds of images of nominally identical defects, we generate high signal-to-noise class-averages which allow us to measure 2D atomic coordinates with up to 0.3 pm precision. Our methods reveal that Se vacancies introduce complex, oscillating strain fields in the WSe$_{2-2x}$Te$_{2x}$ lattice which cannot be explained by continuum elastic theory. These results indicate the potential impact of computer vision for the development of high-precision electron microscopy methods for beam-sensitive materials.


title: Non-Kolmogorov Turbulence and Inverse Energy Cascade in Intracranial Aneurysm: Near-Wall Scales Suggest Mechanobiological Relevance

abstract: The genesis, growth and rupture of intracranial aneurysm (IA) are open questions in neurovascular medicine until the present moment. The complexity of aneurysm mechanobiology and pathobiology staggeringly combine intertwining biological and physical processes that are tightly connected. Recently, transition to turbulence in IA blood flow is thought to play a central role in IA growth and rupture as it can be directly linked to endothelial dysfunction. However, the problem of turbulence brings unprecedented complications to the topic. We found turbulence in IA to be of non-Kolmogorov type. For the first time, we detected inverse kinetic energy cascade in blood flow and in non-Kolmogorov turbulence. Here, we hypothesize that the near-wall turbulence undergoing inverse energy cascade have scales that could affect the mechano-signaling of endothelial cells. Our findings could be a paradigm shift in the contemporary theory of aneurysm hemodynamics.


title: Search for decaying heavy dark matter in an effective interaction framework: a comparison of $\gamma$-ray and radio observations

abstract: We investigate and compare the possibilities of observing decaying dark matter (DM) in $\gamma$-ray and radio telescopes. The special emphasise of the study is on a scalar heavy DM particle with mass in the trans-TeV range. DM decays, consistent with existing limits on the life time, are assumed to be driven by higher dimensional effective operators. We consider both two-body decays of a scalar dark particle and a dark sector having three-body decays, producing two standard model particles. It is found that the Fermi-LAT data on isotropic $\gamma$-ray background provides the best constraints so far, although the CTA telescope may be more effective for decays where one or two photons are directly produced. In all cases, deeper probes of the effective operators are possible in the upcoming SKA radio telescope with a few hundred hours of observation, using the radio synchrotron flux coming from energetic electrons produced in the decay cascades within dwarf spheroidal galaxies. Finally, we estimate how the SKA can constrain the parameter space spanned by the galactic magnetic field and the diffusion coefficient, if observations consistent with $\gamma$-ray data actually take place.


title: Search-Based Software Engineering for Self-Adaptive Systems: Survey, Disappointments, Suggestions and Opportunities

abstract: Search-Based Software Engineering (SBSE) is a promising paradigm that exploits the computational search to optimize different processes when engineering complex software systems. Self-adaptive system (SAS) is one category of such complex systems that permits to optimize different functional and non-functional objectives/criteria under changing environments (e.g., requirements and workload), which involves problems that are subject to search. In this regard, over years, there has been a considerable amount of work that investigates SBSE for SASs. In this paper, we provide the first systematic and comprehensive survey exclusively on SBSE for SASs, covering papers in 27 venues from 7 repositories, which eventually leads to several key statistics from the most notable 74 primary studies in this particular field of research. Our results, surprisingly, have revealed five disappointments that are of utmost importance and can result in serve consequences but have been overwhelmingly ignored in existing studies. We provide theoretical and/or experimental evidence to justify our arguments against the disappointments, present suggestions, and highlight the promising research opportunities towards their mitigation. We also elaborate on three other emergent, but currently under-explored opportunities for future work on SBSE for SASs. By mitigating the disappointments revealed in this work, together with the highlighted opportunities, we hope to be able to excite a much more significant growth in this particular research direction.


title: Developments in non-relativistic field theory and complexity

abstract: This thesis focuses on two research areas: non-relativistic field theories and complexity. In the first part we review the general classification of the trace anomaly for 2+1 dimensional field theories coupled to a Newton-Cartan background and we apply the heat kernel method to compute the trace anomaly for specific theories. We find a relation with the conformal anomaly of the 3+1 dimensional relativistic counterpart which suggests the existence of a non-relativistic version of the a-theorem. We consider a model realizing a $\mathcal{N}=2$ supersymmetric extension of the Bargmann group in 2+1 dimensions with non-vanishing superpotential, obtained by null reduction of a relativistic Wess-Zumino model. We check that the superpotential is protected against quantum corrections as in the relativistic parent theory, thus finding a non-relativistic version of the non-renormalization theorem. We find evidence that the theory is one-loop exact, due to the causal structure of the non-relativistic propagator together with mass conservation. In the second part of the thesis we review the holographic conjectures proposed by Susskind to describe the time-evolution of the Einstein-Rosen bridge in gravity: the complexity=volume and complexity=action. We investigate both the volume and the action for black holes living in warped $\mathrm{AdS}_3$ spacetime. There exist extensions of the proposals when the dual state from the field theory side is mixed; we then analytically compute the subregion action complexity for a general segment on the boundary in the BTZ black hole background, finding that it is equal to the sum of a linearly divergent term proportional to the size of the subregion and of a term proportional to the entanglement entropy. We also find that mutual holographic complexity carries a different content compared to mutual information. This means that entropy is not enough!


title: A note on the Hurwitz action on reflection factorizations of Coxeter elements in complex reflection groups

abstract: We show that the Hurwitz action is "as transitive as possible" on reflection factorizations of Coxeter elements in the well-generated complex reflection groups $G(d, 1, n)$ (the group of $d$-colored permutations) and $G(d, d, n)$.


title: The Radial Dependence of Proton-scale Magnetic Spectral Break in Slow Solar Wind during PSP Encounter 2

abstract: Magnetic field fluctuations in the solar wind are commonly observed to follow a power law spectrum. Near proton-kinetic scales, a spectral break occurs which is commonly interpreted as a transition to kinetic turbulence. However, this transition is not yet entirely understood. By studying the scaling of the break with various plasma properties, it may be possible to constrain the processes leading to the onset of kinetic turbulence. Using data from Parker Solar Probe (\textit{PSP}), we measure the proton scale break over a range of heliocentric distances, enabling a measurement of the transition from inertial to kinetic scale turbulence under various plasma conditions. We find that the break frequency $f_b$ increases as the heliocentric distance $r$ decreases in the slow solar wind following a power law $f_b\sim r^{-1.11}$. We also compare this to the characteristic plasma ion scales to relate the break to the possible physical mechanisms occurring at this scale. The ratio between $f_b$ and $f_c$, the Doppler shifted ion cyclotron resonance scale, is approximately unity for all plasma $\beta_p$. At high $\beta_p$ the ratio between $f_b$ and $f_\rho$, the Doppler shifted gyroscale, is approximately unity; while at low $\beta_p$ the ratio between $f_b$ and $f_d$, the Doppler shifted proton-inertial length is unity. Due to the large comparable Alfv\'en and solar wind speeds, we analyze these results using both the standard and modified Taylor hypothesis, demonstrating robust statistical results.


title: A growth adjusted price-earnings ratio

abstract: The purpose of this paper is to introduce a new growth adjusted price-earnings measure (GA-P/E) and assess its efficacy as measure of value and predictor of future stock returns. Taking inspiration from the interpretation of the traditional price-earnings ratio as a period of time, the new measure computes the requisite payback period whilst accounting for earnings growth. Having derived the measure, we outline a number of its properties before conducting an extensive empirical study utilising a sorted portfolio methodology. We find that the returns of the low GA-P/E stocks exceed those of the high GA-P/E stocks, both in an absolute sense and also on a risk-adjusted basis. Furthermore, the returns from the low GA-P/E porfolio was found to exceed those of the value portfolio arising from a P/E sort on the same pool of stocks. Finally, the returns of our GA-P/E sorted porfolios were subjected to analysis by conducting regressions against the standard Fama and French risk factors.


title: Lyman Continuum Escape Fraction in Ly$\alpha$ Emitters at $z\simeq3.1$

abstract: We measure the LyC escape fraction in 54 faint Lyman Alpha Emitters (LAEs) at $z\simeq3.1$ in the GOODS-South field. With the average magnitude of $R=26.7$ AB ($M_{UV}=-18.8$, $L\simeq0.1L^*$), these galaxies represent a population of compact young dwarf galaxies. Their properties are likely to resemble those in the galaxies responsible for reionising the Universe at $z>6$. We do not detect LyC emission in any individual LAEs in the deep {\em HST} F336W images, which covers the rest-frame 820\r{A}. We do not detect the LyC emission of these LAEs in the stacked F336W images, either. The $3\sigma$ upper limit of LyC escape fractions is $f_{\rm esc}<14-32\%$. However, the high Ly$\alpha$ rest-frame equivalent width, low stellar mass and UV luminosity of these LAEs suggest that they should have $f_{\rm esc}>50\%$. The low LyC escape fraction from this work and other stacking analysis suggest that the LyC leaking galaxies with $f_{\rm esc} > 50\%$ at $z=2-3$ do not follow the relation between the $f_{\rm esc}$ and UV luminosity and Ly$\alpha$ equivalent width (EW) derived from typical galaxies at similar redshift. Therefore, the UV luminosity and Ly$\alpha$ equivalent width (EW) are not the best indicators for the LyC escape fraction.


title: Empirical calibration of the reddening maps in the Magellanic Clouds

abstract: We present reddening maps of the Large Magellanic Cloud (LMC) and Small Magellanic Cloud (SMC), based on color measurements of the red clump. Reddening values of our maps were obtained by calculating the difference of the observed and intrinsic color of the red clump in both galaxies. To obtain the intrinsic color of the red clump, we used reddenings obtained from late-type eclipsing binary systems, measurements for blue supergiants and reddenings derived from Str\"{o}mgren photometry of B-type stars. We obtained intrinsic color of the red clump $(V-I)_0$ = 0.838 $\pm$ 0.034 mag in the LMC, and $(V-I)_{0}$ = 0.814 $\pm$ 0.034 mag in the SMC. We prepared our map with 3 arcmin resolution, covering the central part of the LMC and SMC. The mean value of the reddening is E$(B-V)_{\mathrm{LMC}}$=0.127 mag and E$(B-V)_{\mathrm{SMC}}$=0.084 mag for the LMC and SMC, respectively. The systematic uncertainty of the average reddening value assigned to each field of our maps is 0.013 mag for both Magellanic Clouds. Our reddening values are on average higher by 0.061 mag for the LMC and 0.054 mag for the SMC, compared with the maps of Haschke et al. (2011). We also compared our values with different types of reddening tracers. Cepheids, RR Lyrae stars, early-type eclipsing binaries and other reddening estimations based on the red clump color on average show reddenings consistent with our map to within a few hundredths of magnitude.


title: Strongly surjective maps from certain two-complexes with trivial top-cohomology onto the projective plane

abstract: For the model two-complex $K$ of the group presentation $\mathcal{P}=\langle x,y\,|\,x^{k+1}yxy \rangle$, with $k\geq1$ odd, we describe representatives for all free and based homotopy classes of maps from $K$ into the real projective plane and we classify the homotopy classes containing only surjective maps. With this approach we get an answer, for maps into the real projective plane, for a classical question in topological root theory, which is known so far, in dimension two, only for maps into the sphere, the torus and the Klein bottle. The answer follows by proving that for all $k\geq1$ odd, $H^2(K;mathbb{Z})=0$ and, for $k\geq3$ odd, there exist maps from $K$ into the real projective plane which are strongly surjective. For $k=1$, there is no such a strongly surjective map. 55N25, 57M20.


title: The divergence-conforming immersed boundary method: Application to vesicle and capsule dynamics

abstract: We extend the recently introduced divergence-conforming immersed boundary (DCIB) method [1] to fluid-structure interaction (FSI) problems involving closed co-dimension one solids. We focus on capsules and vesicles, whose discretization is particularly challenging due to the higher-order derivatives that appear in their formulations. In two-dimensional settings, we employ cubic B-splines with periodic knot vectors to obtain discretizations of closed curves with C^2 inter-element continuity. In three-dimensional settings, we use analysis-suitable bi-cubic T-splines to obtain discretizations of closed surfaces with at least C^1 inter-element continuity. Large spurious changes of the fluid volume inside closed co-dimension one solids is a well-known issue for IB methods. The DCIB method results in volume changes orders of magnitude lower than conventional IB methods. This is a byproduct of discretizing the velocity-pressure pair with divergence-conforming B-splines, which lead to negligible incompressibility errors at the Eulerian level. The higher inter-element continuity of divergence-conforming B-splines is also crucial to avoid the quadrature/interpolation errors of IB methods becoming the dominant discretization error. Benchmark and application problems of vesicle and capsule dynamics are solved, including mesh-independence studies and comparisons with other numerical methods.


title: Making an Example: Signalling Threat in the Evolution of Cooperation

abstract: Social punishment has been suggested as a key approach to ensuring high levels of cooperation and norm compliance in one-shot (i.e. non-repeated) interactions. However, it has been shown that it only works when punishment is highly cost-efficient. On the other hand, signalling retribution hearkens back to medieval sovereignty, insofar as the very word for gallows in French stems from the Latin word for power and serves as a grim symbol of the ruthlessness of high justice. Here we introduce the mechanism of signalling an act of punishment and a special type of defector emerges, one who can recognise this signal and avoid punishment by way of fear. We describe the analytical conditions under which threat signalling can maintain high levels of cooperation. Moreover, we perform extensive agent-based simulations so as to confirm and expand our understanding of the external factors that influence the success of social punishment. We show that our suggested mechanism catalyses cooperation, even when signalling is costly or when punishment would be impractical. We observe the preventive nature of advertising retributive acts and we contend that the resulting social prosperity is a desirable outcome in the contexts of AI and multi-agent systems. To conclude, we argue that fear acts as an effective stimulus to pro-social behaviour.


title: Diophantine equations involving Euler function

abstract: In this paper, we show that the equation $\varphi(|x^{m}-y^{m}|)=|x^{n}-y^{n}|$ has no nontrivial solutions in integers $x,y,m,n$ with $xy\neq0, m>0, n>0$ except for the solutions $(x,y,m,n)=((2^{t-1}\pm1),-(2^{t-1}\mp1),2,1), (-(2^{t-1}\pm1),(2^{t-1}\mp1),2,1),$ where $t$ is a integer with $t\geq 2.$ The equation $\varphi(|\frac{x^{m}-y^{m}}{x-y}|)=|\frac{x^{n}-y^{n}}{x-y}|$ has no nontrivial solutions in integers $x,y,m,n$ with $xy\neq0, m>0, n>0$ except for the solutions $(x,y,m,n)=(a\pm1, -a, 1, 2), (a\pm i, -a, 2, 1),$ where $a$ is a integer with $i=1,2.$


title: PENet: Object Detection using Points Estimation in Aerial Images

abstract: Aerial imagery has been increasingly adopted in mission-critical tasks, such as traffic surveillance, smart cities, and disaster assistance. However, identifying objects from aerial images faces the following challenges: 1) objects of interests are often too small and too dense relative to the images; 2) objects of interests are often in different relative sizes; and 3) the number of objects in each category is imbalanced. A novel network structure, Points Estimated Network (PENet), is proposed in this work to answer these challenges. PENet uses a Mask Resampling Module (MRM) to augment the imbalanced datasets, a coarse anchor-free detector (CPEN) to effectively predict the center points of the small object clusters, and a fine anchor-free detector FPEN to locate the precise positions of the small objects. An adaptive merge algorithm Non-maximum Merge (NMM) is implemented in CPEN to address the issue of detecting dense small objects, and a hierarchical loss is defined in FPEN to further improve the classification accuracy. Our extensive experiments on aerial datasets visDrone and UAVDT showed that PENet achieved higher precision results than existing state-of-the-art approaches. Our best model achieved 8.7% improvement on visDrone and 20.3% on UAVDT.


title: How Much Position Information Do Convolutional Neural Networks Encode?

abstract: In contrast to fully connected networks, Convolutional Neural Networks (CNNs) achieve efficiency by learning weights associated with local filters with a finite spatial extent. An implication of this is that a filter may know what it is looking at, but not where it is positioned in the image. Information concerning absolute position is inherently useful, and it is reasonable to assume that deep CNNs may implicitly learn to encode this information if there is a means to do so. In this paper, we test this hypothesis revealing the surprising degree of absolute position information that is encoded in commonly used neural networks. A comprehensive set of experiments show the validity of this hypothesis and shed light on how and where this information is represented while offering clues to where positional information is derived from in deep CNNs.


title: CMC Graphs With Planar Boundary in $\mathbb{H}^{2}\times \mathbb{R}$

abstract: It is known that for $\Omega \subset \mathbb{R}^{2}$ an unbounded convex domain and $H>0$, there exists a graph $G\subset \mathbb{R}^{3}$ of constant mean curvature $H$ over $\Omega $ with $\partial G=$ $\partial \Omega $ if and only if $\Omega $ is included in a strip of width $1/H$. In this paper we obtain results in $\mathbb{H}^{2}\times \mathbb{R}$ in the same direction: given $H\in \left( 0,1/2\right) $, if $\Omega $ is included in a region of $\mathbb{ H}^{2}\times \left\{ 0\right\} $ bounded by two equidistant hypercycles $\ell(H)$ apart, we show that, if the geodesic curvature of $\partial \Omega $ is bounded from below by $-1,$ then there is an $H$-graph $G$ over $\Omega $ with $\partial G=\partial \Omega$. We also present more refined existence results involving the curvature of $\partial\Omega,$ which can also be less than $-1.$


title: Talek: Private Group Messaging with Hidden Access Patterns

abstract: Talek is a private group messaging system that sends messages through potentially untrustworthy servers, while hiding both data content and the communication patterns among its users. Talek explores a new point in the design space of private messaging; it guarantees access sequence indistinguishability, which is among the strongest guarantees in the space, while assuming an anytrust threat model, which is only slightly weaker than the strongest threat model currently found in related work. Our results suggest that this is a pragmatic point in the design space, since it supports strong privacy and good performance: we demonstrate a 3-server Talek cluster that achieves throughput of 9,433 messages/second for 32,000 active users with 1.7-second end-to-end latency. To achieve its security goals without coordination between clients, Talek relies on information-theoretic private information retrieval. To achieve good performance and minimize server-side storage, Talek introduces new techniques and optimizations that may be of independent interest, e.g., a novel use of blocked cuckoo hashing and support for private notifications. The latter provide a private, efficient mechanism for users to learn, without polling, which logs have new messages.


title: Democratizing Spin Qubits

abstract: I've been building Powerpoint-based quantum computers with electron spins in silicon for 20 years. Unfortunately, real-life-based quantum dot quantum computers are harder to implement. Materials, fabrication, and control challenges still impede progress. The way to accelerate discovery is to make and measure more qubits. Here I discuss separating the qubit realization and testing circuitry from the materials science and on-chip fabrication that will ultimately be necessary. This approach should allow us, in the shorter term, to characterize wafers non-invasively for their qubit-relevant properties, to make small qubit systems on various different materials with little extra cost, and even to test spin-qubit to superconducting cavity entanglement protocols where the best possible cavity quality is preserved. Such a testbed can advance the materials science of semiconductor quantum information devices and enable small quantum computers. This article may also be useful as a light and light-hearted introduction to quantum dot spin qubits.


title: Electron Groups in Solar Wind and Gas Discharge Plasmas

abstract: The formation of electron groups is a common phenomenon in gas discharges and space plasmas. We describe similarities between electron kinetics in solar wind, cathode region of glow discharges, and magnetic nozzles. Remarkable resemblances between adiabatic focusing of magnetized electrons and spherical geometry effects for neutral particles escaping planet atmosphere are pointed out. The previously developed kinetic solvers for electrons coupled to Poisson equation for self-consistent simulations of the electric field are used to analyse the formation of electron groups in the cathode region of glow discharges and solar wind plasma.


title: To schedule or not to schedule: when no-scheduling can beat the best-known flow scheduling algorithm in datacenter networks

abstract: Conventional wisdom for minimizing the average flow completion time (AFCT) in the datacenter network (DCN), where flow sizes are highly variable, would suggest scheduling every individual flow. However, we show that considering scheduling delay (including scheduler's computational and communication delays), serving most of the flows without any scheduling and only in first-come-first-served (FCFS) manner significantly improves their performance even when it is compared to the shortest remaining processing time (SRPT)-known as optimum algorithm when scheduling delay is zero. To do so, we only require to have two coarse classes of flows categorized based on flows' sizes (1st-class including flows smaller than a threshold, H, and 2nd-class including others) and serve 1st-class flows always before serving 2nd-class ones. To show that, we take SRPT scheduling algorithm accompanied by the global knowledge of flows, formulate impact of scheduling delay on its performance, and prove that for any flow size distribution and network load (<1), there is always a threshold, H, which guarantees 1st-class flows achieve lower AFCT under FCFS compared to SRPT. Our numerically calculated results and extensive flow-level simulations show that on average, more than 90% of flows could be in 1st-class and consequently do not require any scheduling.


title: Robust block preconditioners for poroelasticity

abstract: In this paper we study the linear systems arising from discretized poroelasticity problems. We formulate one block preconditioner for the two-filed Biot model and several preconditioners for the classical three-filed Biot model under the unified relationship framework between well-posedness and preconditioners. By the unified theory, we show all the considered preconditioners are uniformly optimal with respect to material and discretization parameters. Numerical tests demonstrate the robustness of these preconditioners.


title: A Probabilistic Framework for Imitating Human Race Driver Behavior

abstract: Understanding and modeling human driver behavior is crucial for advanced vehicle development. However, unique driving styles, inconsistent behavior, and complex decision processes render it a challenging task, and existing approaches often lack variability or robustness. To approach this problem, we propose Probabilistic Modeling of Driver behavior (ProMoD), a modular framework which splits the task of driver behavior modeling into multiple modules. A global target trajectory distribution is learned with Probabilistic Movement Primitives, clothoids are utilized for local path generation, and the corresponding choice of actions is performed by a neural network. Experiments in a simulated car racing setting show considerable advantages in imitation accuracy and robustness compared to other imitation learning algorithms. The modular architecture of the proposed framework facilitates straightforward extensibility in driving line adaptation and sequencing of multiple movement primitives for future research.


title: The Lorentz Force on Ions in Membrane Channels of Neurons as a Mechanism for Transcranial Static Magnetic Stimulation

abstract: Transcranial static magnetic stimulation is a novel noninvasive method of reduction of the cortical excitability in certain neurological diseases that, unlike ordinary transcranial magnetic stimulation, makes use of static magnetic fields generated by permanent magnets. The physical principle underlying transcranial magnetic stimulation is well known, that is, the Faradays law. By contrast, the physical mechanism that explains the interaction between neurons and static magnetic fields in transcranial static magnetic stimulation remains unclear, which makes it difficult to improve and fine tune the treatment. In the present work it is discussed the possibility that this mechanism might be the Lorentz force exerted on the ions flowing along the membrane channels of neurons. To support this hypothesis, a dimensional analysis it is carried out to compare the Larmor radius of the ions in the presence of a static magnetic field with the dimensions of the cross section of human axons and membrane channels in neurons. This analysis shows that whereas a moderate static magnetic field is not expected to affect the ion flux through axons, nevertheless it can affect the ion flux along membrane channels. The overall effect of the static magnetic field would be to introduce an additional friction between the ions and the walls of the membrane channels, thus reducing its conductance. Calculations performed by using a Hodgkin-Huxley model demonstrate that even a slight reduction of the conductance of the membrane channels can lead to the suppression of the action potential, thus inhibiting neuronal activity.


title: Using Virtual Reality in Electrostatics Instruction: The Impact of Training

abstract: Recent years have seen a resurgence of interest in using Virtual Reality (VR) technology to benefit instruction, especially in physics and related subjects. As VR devices improve and become more widely available, there remains a number of unanswered questions regarding the impact of VR on student learning and how best to use this technology in the classroom. On the topic of electrostatics, for example, a large, controlled, randomized study performed by Smith et al. 2017\cite{smith17}, found that VR-based instruction had an overall negligible impact on student learning compared to videos or images. However, they did find a strong trend for students who reported frequent video game play to learn better from VR than other media. One possible interpretation of this result is that extended videogame play provides a kind of "training" that enables a student to learn more comfortably in the virtual environment. In the present work we consider if a VR training activity that is unrelated to electrostatics can help prepare students to learn electrostatics from subsequent VR instruction. We find that preliminary VR training leads to a small but statistically significant improvement in student performance on our electrostatics assessment. We also find that student reported game play is still correlated with higher scores on this metric.


title: A family of multipartite separability criteria based on correlation tensor

abstract: A family of separability criteria based on correlation matrix (tensor) is provided. Interestingly, it unifies several criteria known before like e.g. CCNR or realignment criterion, de Vicente criterion and derived recently separability criterion based on SIC POVMs. It should be stressed that, unlike the well known Correlation Matrix Criterion or criterion based on Local Uncertainty Relations, the new criteria are linear in the density operator and hence one may find new classes of entanglement witnesses and positive maps. Interestingly, there is a natural generalization to multipartite scenario using multipartite correlation matrix. We illustrate the detection power of the above criteria on several well known examples of quantum states.