title: Online Stochastic Gradient Descent Learns Linear Dynamical Systems from A Single Trajectory

abstract: This work investigates the problem of estimating the weight matrices of a stable time-invariant linear dynamical system from a single sequence of noisy measurements. We show that if the unknown weight matrices describing the system are in Brunovsky canonical form, we can efficiently estimate the ground truth unknown matrices of the system from a linear system of equations formulated based on the transfer function of the system, using both online and offline stochastic gradient descent (SGD) methods. Specifically, by deriving concrete complexity bounds, we show that SGD converges linearly in expectation to any arbitrary small Frobenius norm distance from the ground truth weights. To the best of our knowledge, ours is the first work to establish linear convergence characteristics for online and offline gradient-based iterative methods for weight matrix estimation in linear dynamical systems from a single trajectory. Extensive numerical tests verify that the performance of the proposed methods is consistent with our theory, and show their superior performance relative to existing state of the art methods.


title: Conformally flat models in Penrose's Conformal Cyclic Cosmology

abstract: We consider two consecutive conformally flat eons in Penrose's Conformal Cyclic Cosmology and study how the perfect fluid matter content of the past eon determines the matter content of the present eon by means of Penrose's reciprocity hypothesis.


title: An Aligned Rank Transform Procedure for Multifactor Contrast Tests

abstract: Data from multifactor HCI experiments often violates the normality assumption of parametric tests (i.e., nonconforming data). The Aligned Rank Transform (ART) is a popular nonparametric analysis technique that can find main and interaction effects in nonconforming data, but leads to incorrect results when used to conduct contrast tests. We created a new algorithm called ART-C for conducting contrasts within the ART paradigm and validated it on 72,000 data sets. Our results indicate that ART-C does not inflate Type I error rates, unlike contrasts based on ART, and that ART-C has more statistical power than a t-test, Mann-Whitney U test, Wilcoxon signed-rank test, and ART. We also extended a tool called ARTool with our ART-C algorithm for both Windows and R. Our validation had some limitations (e.g., only six distribution types, no mixed factorial designs, no random slopes), and data drawn from Cauchy distributions should not be analyzed with ART-C.


title: Interpretability in Contact-Rich Manipulation via Kinodynamic Images

abstract: Deep Neural Networks (NNs) have been widely utilized in contact-rich manipulation tasks to model the complicated contact dynamics. However, NN-based models are often difficult to decipher which can lead to seemingly inexplicable behaviors and unidentifiable failure cases. In this work, we address the interpretability of NN-based models by introducing the kinodynamic images. We propose a methodology that creates images from the kinematic and dynamic data of a contact-rich manipulation task. Our formulation visually reflects the task's state by encoding its kinodynamic variations and temporal evolution. By using images as the state representation, we enable the application of interpretability modules that were previously limited to vision-based tasks. We use this representation to train Convolution-based Networks and we extract interpretations of the model's decisions with Grad-CAM, a technique that produces visual explanations. Our method is versatile and can be applied to any classification problem using synchronous features in manipulation to visually interpret which parts of the input drive the model's decisions and distinguish its failure modes. We evaluate this approach on two examples of real-world contact-rich manipulation: pushing and cutting, with known and unknown objects. Finally, we demonstrate that our method enables both detailed visual inspections of sequences in a task, as well as high-level evaluations of a model's behavior and tendencies. Data and code for this work are available at https://github.com/imitsioni/interpretable_manipulation.


title: Ultralight Axions Versus Primordial Black Holes

abstract: We reconsider entropy arguments which have been previously argued to support the idea that the dark matter constituents are primordial black holes with many solar masses. It has recently been shown that QCD axions which solve the strong CP problem may have masses $m_a$ in the extended range $10^{-3}eV > m_a > 10^{-33} eV$. Ultralight axions provide so many degrees of freedom that their entropy can exceed that of primordial black holes. This suggests that ultralight axions are more suited than primordial black holes to be constituents of dark matter.


title: A proof of Lee-Lee's conjecture about geometry of rigid modules

abstract: This paper proves Lee-Lee's conjecture that establishes a coincidence between the set of associated roots of non-self-intersecting curves in a $n$-punctured disc and the set of real Schur roots of acyclic (valued) quivers with $n$ vertices.


title: Uniform Elgot Iteration in Foundations

abstract: Category theory is famous for its innovative way of thinking of concepts by their descriptions, in particular by establishing universal properties. Concepts that can be characterized in a universal way receive a certain quality seal, which makes them easily transferable across application domains. The notion of partiality is however notoriously difficult to characterize in this way, although the importance of it is certain, especially for computer science where entire research areas, such as synthetic and axiomatic domain theory revolve around notions of partiality. More recently, this issue resurfaced in the context of (constructive) intensional type theory. Here, we provide a generic categorical iteration-based notion of partiality, which is arguably the most basic one. We show that the emerging free structures, which we dub uniform-iteration algebras enjoy various desirable properties, in particular, yield an equational lifting monad. We then study the impact of classicality assumptions and choice principles on this monad, in particular, we establish a suitable categorial formulation of the axiom of countable choice entailing that the monad is an Elgot monad.


title: The Bloch vectors formalism for a finite-dimensional quantum system

abstract: In the present article, we consistently develop the main issues of the Bloch vectors formalism for an arbitrary finite-dimensional quantum system. In the frame of this formalism, qudit states and their evolution in time, qudit observables and their expectations, entanglement and nonlocality, etc. are expressed in terms of the Bloch vectors -- the vectors in the Euclidean space $\mathbb{R}^{d^{2}-1}$ arising under decompositions of observables and states in different operator bases. Within this formalism, we specify for all $d\geq2$ the set of Bloch vectors of traceless qudit observables and describe its properties; also, find for the sets of the Bloch vectors of qudit states, pure and mixed, the new compact expressions in terms of the operator norms that explicitly reveal the general properties of these sets and have the unified form for all $d\geq2$. For the sets of the Bloch vectors of qudit states under the generalized Gell-Mann representation, these general properties cannot be analytically extracted from the known equivalent specifications of these sets via the system of algebraic equations. We derive the general equations describing the time evolution of the Bloch vector of a qudit state if a qudit system is isolated and if it is open and find for both cases the main properties of the Bloch vector evolution in time. For a pure bipartite state of a dimension $d_{1}\times d_{2}$, we quantify its entanglement in terms of the Bloch vectors for its reduced states. The introduced general formalism is important both for the theoretical analysis of quantum system properties and for quantum applications, in particular, for optimal quantum control, since, for systems where states are described by vectors in the Euclidean space, the methods of optimal control, analytical and numerical, are well developed.


title: Solving high-dimensional parabolic PDEs using the tensor train format

abstract: High-dimensional partial differential equations (PDEs) are ubiquitous in economics, science and engineering. However, their numerical treatment poses formidable challenges since traditional grid-based methods tend to be frustrated by the curse of dimensionality. In this paper, we argue that tensor trains provide an appealing approximation framework for parabolic PDEs: the combination of reformulations in terms of backward stochastic differential equations and regression-type methods in the tensor format holds the promise of leveraging latent low-rank structures enabling both compression and efficient computation. Following this paradigm, we develop novel iterative schemes, involving either explicit and fast or implicit and accurate updates. We demonstrate in a number of examples that our methods achieve a favorable trade-off between accuracy and computational efficiency in comparison with state-of-the-art neural network based approaches.


title: Opportunities in Quantum Reservoir Computing and Extreme Learning Machines

abstract: Quantum reservoir computing (QRC) and quantum extreme learning machines (QELM) are two emerging approaches that have demonstrated their potential both in classical and quantum machine learning tasks. They exploit the quantumness of physical systems combined with an easy training strategy, achieving an excellent performance. The increasing interest in these unconventional computing approaches is fueled by the availability of diverse quantum platforms suitable for implementation and the theoretical progresses in the study of complex quantum systems. In this review article, recent proposals and first experiments displaying a broad range of possibilities are reviewed when quantum inputs, quantum physical substrates and quantum tasks are considered. The main focus is the performance of these approaches, on the advantages with respect to classical counterparts and opportunities.


title: Stashing And Parallelization Pentagons

abstract: Parallelization is an algebraic operation that lifts problems to sequences in a natural way. Given a sequence as an instance of the parallelized problem, another sequence is a solution of this problem if every component is instance-wise a solution of the original problem. In the Weihrauch lattice parallelization is a closure operator. Here we introduce a dual operation that we call stashing and that also lifts problems to sequences, but such that only some component has to be an instance-wise solution. In this case the solution is stashed away in the sequence. This operation, if properly defined, induces an interior operator in the Weihrauch lattice. We also study the action of the monoid induced by stashing and parallelization on the Weihrauch lattice, and we prove that it leads to at most five distinct degrees, which (in the maximal case) are always organized in pentagons. We also introduce another closely related interior operator in the Weihrauch lattice that replaces solutions of problems by upper Turing cones that are strong enough to compute solutions. It turns out that on parallelizable degrees this interior operator corresponds to stashing. This implies that, somewhat surprisingly, all problems which are simultaneously parallelizable and stashable have computability-theoretic characterizations. Finally, we apply all these results in order to study the recently introduced discontinuity problem, which appears as the bottom of a number of natural stashing-parallelization pentagons. The discontinuity problem is not only the stashing of several variants of the lesser limited principle of omniscience, but it also parallelizes to the non-computability problem. This supports the slogan that "non-computability is the parallelization of discontinuity".


title: Two-fluid model of rf current condensation in magnetic islands

abstract: The stabilization of tearing modes with rf waves is subject to a nonlinear effect, termed rf current condensation, that has the potential to greatly enhance and localize current driven within magnetic islands. Here we extend previous investigations of this effect with a two fluid model that captures the balance of diffusive and thermal equilibration processes within the island. We show that the effective power, and resulting strength of the condensation effect, can be greatly enhanced by avoiding collisional heat loss to the ions. The relative impact of collisions on the overall power balance within the island depends on the ratio of the characteristic diffusion time scale and the electron-ion equilibration time, rather than the latter alone. Although relative heat loss to ions increases with island size, the heating efficiency does as well. In particular, we show that the latter safely dominates for large deposition profiles, as is typically the case for LHCD. This supports the possibility of passive stabilization of NTMs, without the precise aiming of the rf waves required for ECCD stabilization.


title: Finding Stable Matchings in PhD Markets with Consistent Preferences and Cooperative Partners

abstract: We introduce a new algorithm for finding stable matchings in multi-sided matching markets. Our setting is motivated by a PhD market of students, advisors, and co-advisors, and can be generalized to supply chain networks viewed as $n$-sided markets. In the three-sided PhD market, students primarily care about advisors and then about co-advisors (consistent preferences), while advisors and co-advisors have preferences over students only (hence they are cooperative). A student must be matched to one advisor and one co-advisor, or not at all. In contrast to previous work, advisor-student and student-co-advisor pairs may not be mutually acceptable (e.g., a student may not want to work with an advisor or co-advisor and vice versa). We show that three-sided stable matchings always exist, and present an algorithm that, in time quadratic in the market size (up to log factors), finds a three-sided stable matching using any two-sided stable matching algorithm as matching engine. We illustrate the challenges that arise when not all advisor-co-advisor pairs are compatible. We then generalize our algorithm to $n$-sided markets with quotas and show how they can model supply chain networks. Finally, we show how our algorithm outperforms the baseline given by [Danilov, 2003] in terms of both producing a stable matching and a larger number of matches on a synthetic dataset.


title: Charge-conserving unitaries typically generate optimal covariant quantum error-correcting codes

abstract: Quantum error correction and symmetries play central roles in quantum information science and physics. It is known that quantum error-correcting codes covariant with respect to continuous symmetries cannot correct erasure errors perfectly (an important case being the Eastin-Knill theorem), in contrast to the case without symmetry constraints. Furthermore, there are fundamental limits on the accuracy of such covariant codes for approximate quantum error correction. Here, we consider the quantum error correction capability of random covariant codes. In particular, we show that $U(1)$-covariant codes generated by Haar random $U(1)$-symmetric unitaries, i.e. unitaries that commute with the charge operator (or conserve the charge), typically saturate the fundamental limits to leading order in terms of both the average- and worst-case purified distances against erasure noise. We note that the results hold for symmetric variants of unitary 2-designs, and comment on the convergence problem of charge-conserving random circuits. Our results not only indicate (potentially efficient) randomized constructions of optimal $U(1)$-covariant codes, but also reveal fundamental properties of random charge-conserving unitaries, which may underlie important models of complex quantum systems in wide-ranging physical scenarios where conservation laws are present, such as black holes and many-body spin systems.


title: Fertilitopes

abstract: We introduce tools from discrete convexity theory and polyhedral geometry into the theory of West's stack-sorting map $s$. Associated to each permutation $\pi$ is a particular set $\mathcal V(\pi)$ of integer compositions that appears in a formula for the fertility of $\pi$, which is defined to be $|s^{-1}(\pi)|$. These compositions also feature prominently in more general formulas involving families of colored binary plane trees called troupes and in a formula that converts from free to classical cumulants in noncommutative probability theory. We show that $\mathcal V(\pi)$ is a transversal discrete polymatroid when it is nonempty. We define the fertilitope of $\pi$ to be the convex hull of $\mathcal V(\pi)$, and we prove a surprisingly simple characterization of fertilitopes as nestohedra arising from full binary plane trees. Using known facts about nestohedra, we provide a procedure for describing the structure of the fertilitope of $\pi$ directly from $\pi$ using Bousquet-M\'elou's notion of the canonical tree of $\pi$. As a byproduct, we obtain a new combinatorial cumulant conversion formula in terms of generalizations of canonical trees that we call quasicanonical trees. We also apply our results on fertilitopes to study combinatorial properties of the stack-sorting map. In particular, we show that the set of fertility numbers has density $1$, and we determine all infertility numbers of size at most $126$. Finally, we reformulate the conjecture that $\sum_{\sigma\in s^{-1}(\pi)}x^{\text{des}(\sigma)+1}$ is always real-rooted in terms of nestohedra, and we propose natural ways in which this new version of the conjecture could be extended.


title: Fast 2-impulse non-Keplerian orbit-transfer using the Theory of Functional Connections

abstract: This study applies a new approach, the Theory of Functional Connections (TFC), to solve the two-point boundary-value problem (TPBVP) in non-Keplerian orbit transfer. The perturbations considered are drag, solar radiation pressure, higher-order gravitational potential harmonic terms, and multiple bodies. The proposed approach is applied to Earth-to-Moon transfers, and obtains exact boundary condition satisfaction and with very fast convergence. Thanks to this highly efficient approach, perturbed pork-chop plots of Earth-to-Moon transfers are generated, and individual analyses on the transfers' parameters are easily done at low computational costs. The minimum fuel analysis is provided in terms of the time of flight, thrust application points, and relative geometry of the Moon and Sun. The transfer costs obtained are in agreement with the literature's best solutions, and in some cases are even slightly better.


title: Page Layout Analysis System for Unconstrained Historic Documents

abstract: Extraction of text regions and individual text lines from historic documents is necessary for automatic transcription. We propose extending a CNN-based text baseline detection system by adding line height and text block boundary predictions to the model output, allowing the system to extract more comprehensive layout information. We also show that pixel-wise text orientation prediction can be used for processing documents with multiple text orientations. We demonstrate that the proposed method performs well on the cBAD baseline detection dataset. Additionally, we benchmark the method on newly introduced PERO layout dataset which we also make public.


title: New representations for all sporadic Ap\'ery-like sequences, with applications to congruences

abstract: Sporadic Ap\'ery-like sequences were discovered by Zagier, by Almkvist and Zudilin and by Cooper in their searches for integral solutions for certain families of second- and third-order differential equations. We find new representations, in terms of constant terms of powers of Laurent polynomials, for all the 15 sporadic sequences. The new representations in turn lead to binomial expressions for the sequences, which, as opposed to previous expressions, do not involve powers of 8 and powers of 3. We use these to establish the supercongruence $B_{np^k} \equiv B_{np^{k-1}} \bmod p^{2k}$ for all primes $p \ge 3$ and integers $n,k \ge 1$, where $B_n$ is a sequence discovered by Zagier and known as Sequence $\mathbf{B}$. Additionally, for 14 out of the 15 sequences, the Newton polytopes of the Laurent polynomials used in our representations contain the origin as their only interior integral point. This property allows us to prove that these 14 sporadic sequences satisfy a strong form of the Lucas congruences, extending work of Malik and Straub. Moreover, we obtain lower bounds on the $p$-adic valuation of these 14 sequences via recent work of Delaygue.


title: Convergence rates for gradient descent in the training of overparameterized artificial neural networks with biases

abstract: In recent years, artificial neural networks have developed into a powerful tool for dealing with a multitude of problems for which classical solution approaches reach their limits. However, it is still unclear why randomly initialized gradient descent optimization algorithms, such as the well-known batch gradient descent, are able to achieve zero training loss in many situations even though the objective function is non-convex and non-smooth. One of the most promising approaches to solving this problem in the field of supervised learning is the analysis of gradient descent optimization in the so-called overparameterized regime. In this article we provide a further contribution to this area of research by considering overparameterized fully-connected rectified artificial neural networks with biases. Specifically, we show that for a fixed number of training data the mean squared error using batch gradient descent optimization applied to such a randomly initialized artificial neural network converges to zero at a linear convergence rate as long as the width of the artificial neural network is large enough, the learning rate is small enough, and the training input data are pairwise linearly independent.


title: The evolution of the COVID-19 pandemic in Chile during 2020: a data perspective

abstract: The COVID-19 pandemic has had a great impact in most countries worldwide, in particular impacting Chile greatly to become one of the worst hit countries in the world, despite its low population compared to other affected countries around the world. In this study we report the evolution of the COVID-19 pandemic and the spread of the SARS-CoV-2 virus in Chile since the first positive case was announced on March 3, 2020, and until November 30, 2020. We provide a detailed description of the data provided by the Chilean Ministry of Science per administrative region on the number of new cases, tests per capita, and deaths in the country.


title: "Membrane-outside" as an optomechanical system

abstract: We theoretically study an optomechanical system, which consists of a two-sided cavity and a mechanical membrane that is placed outside of it. The membrane is positioned close to one of its mirrors, and the cavity is coupled to the external light field through the other mirror. Our study is focused on the regime where the dispersive optomechanical coupling in the system vanishes. Such a regime is found to be possible if the membrane is less reflecting than the adjacent mirror, yielding a potentially very strong dissipative optomechanical coupling. Specifically, if the absolute values of amplitude transmission coefficients of the membrane and the mirror, $t$ and $t_m$ respectively, obey the condition $ t_m^2< t\ll t_m\ll 1$, the dissipative coupling constant of the setup exceeds the dispersive coupling constant for an optomechanical cavity of the same length. The dissipative coupling constant and the corresponding optomechanical cooperativity of the proposed system are also compared with those of the Michelson-Sagnac interferometer and the so-called "membrane-at-the-edge" system, which are known for a strong optomechanical dissipative interaction. It is shown that under the above condition, the system proposed here is advantageous in both aspects. It also enables an efficient realization of the two-port configuration, which was recently proposed as a promising optomechanical system, providing, among other benefits, a possibility of quantum limited optomechanical measurements in a system, which does not suffer from any optomechanical instability.


title: Exact solutions in radiation reaction and the radiation-free direction

abstract: We present new exact solutions of the Landau-Lifshitz and higher-order Landau-Lifshitz equations describing particle motion, with radiation reaction, in intense electromagnetic fields. Through these solutions and others we compare the phenomenological predictions of different equations in the context of the conjectured `radiation-free direction' (RFD). We confirm analytically in several cases that particle orbits predicted by the Landau-Lifshitz equation indeed approach the RFD at extreme intensities, and give time-resolved signals of this behaviour in radiation spectra.


title: Resource Reservation in Backhaul and Radio Access Network with Uncertain User Demands

abstract: Resource reservation is an essential step to enable wireless data networks to support a wide range of user demands. In this paper, we consider the problem of joint resource reservation in the backhaul and Radio Access Network (RAN) based on the statistics of user demands and channel states, and also network availability. The goal is to maximize the sum of expected traffic flow rates, subject to link and access point budget constraints, while minimizing the expected outage of downlinks. The formulated problem turns out to be non-convex and difficult to solve to global optimality. We propose an efficient Block Coordinate Descent (BCD) algorithm to approximately solve the problem. The proposed BCD algorithm optimizes the link capacity reservation in the backhaul using a novel multipath routing algorithm that decomposes the problem down to link-level and parallelizes the computation across backhaul links, while the reservation of transmission resources in RAN is carried out via a novel scalable and distributed algorithm based on Block Successive Upper-bound Minimization (BSUM). We prove that the proposed BCD algorithm converges to a Karush-Kuhn-Tucker solution. Simulation results verify the efficiency and the efficacy of our BCD approach against two heuristic algorithms.


title: Learning with User-Level Privacy

abstract: We propose and analyze algorithms to solve a range of learning tasks under user-level differential privacy constraints. Rather than guaranteeing only the privacy of individual samples, user-level DP protects a user's entire contribution ($m \ge 1$ samples), providing more stringent but more realistic protection against information leaks. We show that for high-dimensional mean estimation, empirical risk minimization with smooth losses, stochastic convex optimization, and learning hypothesis classes with finite metric entropy, the privacy cost decreases as $O(1/\sqrt{m})$ as users provide more samples. In contrast, when increasing the number of users $n$, the privacy cost decreases at a faster $O(1/n)$ rate. We complement these results with lower bounds showing the minimax optimality of our algorithms for mean estimation and stochastic convex optimization. Our algorithms rely on novel techniques for private mean estimation in arbitrary dimension with error scaling as the concentration radius $\tau$ of the distribution rather than the entire range.


title: Catalytic quantum teleportation and beyond

abstract: We address fundamental limitations of quantum teleportation -- the process of transferring quantum information using classical communication and preshared entanglement. We develop a new teleportation protocol based upon the idea of using ancillary entanglement catalytically, i.e. without depleting it. This protocol is then used to show that catalytic entanglement allows for a noiseless quantum channel to be simulated with a quality that could never be achieved using only entanglement from the shared state, even for catalysts with a small dimension. On the one hand, this allows for a more faithful transmission of quantum information using generic states and a fixed amount of consumed entanglement. On the other hand, this shows, for the first time, that entanglement catalysis provides a genuine advantage in a generic quantum-information processing task. Finally, we show that similar ideas can be directly applied to study quantum catalysis for more general problems in quantum mechanics. As an application, we show that catalysts can activate so-called passive states, a concept that finds widespread application e.g. in quantum thermodynamics.


title: Time- and ensemble-average statistical mechanics of the Gaussian Network Model

abstract: We present analytical results (up to a numerical diagonalization of a real symmetric matrix) for a set of time- and ensemble-average physical observables in the non-Hookean Gaussian Network Model (GNM) - a generalization of the Rouse model to elastic networks with links with a certain degree of extensional and rotational stiffness. We focus on a set of coarse-grained observables that may be of interest in the analysis of GNM in the context of internal motions in proteins and mechanical frames in contact with a heat bath. A C++ computer code is made available that implements all analytical results.

categories: cond-mat.stat-mech cond-mat.soft physics.bio-ph physics.chem-ph


title: An Explainable Artificial Intelligence Approach for Unsupervised Fault Detection and Diagnosis in Rotating Machinery

abstract: The monitoring of rotating machinery is an essential task in today's production processes. Currently, several machine learning and deep learning-based modules have achieved excellent results in fault detection and diagnosis. Nevertheless, to further increase user adoption and diffusion of such technologies, users and human experts must be provided with explanations and insights by the modules. Another issue is related, in most cases, with the unavailability of labeled historical data that makes the use of supervised models unfeasible. Therefore, a new approach for fault detection and diagnosis in rotating machinery is here proposed. The methodology consists of three parts: feature extraction, fault detection and fault diagnosis. In the first part, the vibration features in the time and frequency domains are extracted. Secondly, in the fault detection, the presence of fault is verified in an unsupervised manner based on anomaly detection algorithms. The modularity of the methodology allows different algorithms to be implemented. Finally, in fault diagnosis, Shapley Additive Explanations (SHAP), a technique to interpret black-box models, is used. Through the feature importance ranking obtained by the model explainability, the fault diagnosis is performed. Two tools for diagnosis are proposed, namely: unsupervised classification and root cause analysis. The effectiveness of the proposed approach is shown on three datasets containing different mechanical faults in rotating machinery. The study also presents a comparison between models used in machine learning explainability: SHAP and Local Depth-based Feature Importance for the Isolation Forest (Local- DIFFI). Lastly, an analysis of several state-of-art anomaly detection algorithms in rotating machinery is included.


title: Usability and Security of Different Authentication Methods for an Electronic Health Records System

abstract: We conducted a survey of 67 graduate students enrolled in the Privacy and Security in Healthcare course at Indiana University Purdue University Indianapolis. This was done to measure user preference and their understanding of usability and security of three different Electronic Health Records authentication methods: single authentication method (username and password), Single sign-on with Central Authentication Service (CAS) authentication method, and a bio-capsule facial authentication method. This research aims to explore the relationship between security and usability, and measure the effect of perceived security on usability in these three aforementioned authentication methods. We developed a formative-formative Partial Least Square Structural Equation Modeling (PLS-SEM) model to measure the relationship between the latent variables of Usability, and Security. The measurement model was developed using five observed variables (measures). - Efficiency and Effectiveness, Satisfaction, Preference, Concerns, and Confidence. The results obtained highlight the importance and impact of these measures on the latent variables and the relationship among the latent variables. From the PLS-SEM analysis, it was found that security has a positive impact on usability for Single sign-on and bio-capsule facial authentication methods. We conclude that the facial authentication method was the most secure and usable among the three authentication methods. Further, descriptive analysis was done to draw out the interesting findings from the survey regarding the observed variables.


title: Anomalous Electrodynamics and Quantum Geometry in the Dirac-Harper model for a Graphene Bilayer

abstract: Graphene bilayers with layer antisymmetric strains are studied using the Dirac-Harper model for a pair of single layer Dirac Hamiltonians coupled by a one-dimensional moir\'e-periodic interlayer tunneling amplitude. This model hosts low energy, nearly dispersionless bands near charge neutrality that support anomalous polarizations of its charge multipole distributions. These are analyzed introducing a generalized Berry curvature that encodes the field-induced dynamics of multipole fields allowed in a chiral medium with time reversal symmetry. The formulation identifies a reciprocity relation between responses to layer-symmetric and layer-antisymmetric in-plane electric fields and reveals momentum-space quantum oscillations produced by a spatial pattern of band inversions on the moir\'e scale.


title: Quantum dynamics of a planar rotor driven by suddenly switched combined aligning and orienting interactions

abstract: We investigate, both analytically and numerically, the quantum dynamics of a planar (2D) rigid rotor subject to suddenly switched-on or switched-off concurrent orienting and aligning interactions. We find that the time-evolution of the post-switch populations as well as of the expectation values of orientation and alignment reflects the spectral properties and the eigensurface topology of the planar pendulum eigenproblem established in our earlier work [Frontiers in Physics 2, 37 (2014); Eur. Phys. J. D 71, 149 (2017)]. This finding opens the possibility to examine the topological properties of the eigensurfaces experimentally as well as provides the means to make use of these properties for controlling the rotor dynamics in the laboratory.


title: A Quantum Photonic Interface for Tin-Vacancy Centers in Diamond

abstract: The realization of quantum networks critically depends on establishing efficient, coherent light-matter interfaces. Optically active spins in diamond have emerged as promising quantum nodes based on their spin-selective optical transitions, long-lived spin ground states, and potential for integration with nanophotonics. Tin-vacancy (SnV$^{\,\textrm{-}}$) centers in diamond are of particular interest because they exhibit narrow-linewidth emission in nanostructures and possess long spin coherence times at temperatures above 1 K. However, a nanophotonic interface for SnV$^{\,\textrm{-}}$ centers has not yet been realized. Here, we report cavity enhancement of the emission of SnV$^{\,\textrm{-}}$ centers in diamond. We integrate SnV$^{\,\textrm{-}}$ centers into one-dimensional photonic crystal resonators and observe a 40-fold increase in emission intensity. The Purcell factor of the coupled system is 25, resulting in channeling of the majority of photons ($90\%$) into the cavity mode. Our results pave the way for the creation of efficient, scalable spin-photon interfaces based on SnV$^{\,\textrm{-}}$ centers in diamond.


title: Non-quasiconvex subgroups of hyperbolic groups via Stallings-like techniques

abstract: We provide a new method of constructing non-quasiconvex subgroups of hyperbolic groups by utilizing techniques inspired by Stallings' foldings. The hyperbolic groups constructed are in the natural class of right-angled Coxeter groups (RACGs for short) and can be chosen to be 2-dimensional. More specifically, given a non-quasiconvex subgroup of a (possibly non-hyperbolic) RACG, our construction gives a corresponding non-quasiconvex subgroup of a hyperbolic RACG. We use this to construct explicit examples of non-quasiconvex subgroups of hyperbolic RACGs including subgroups whose generators are as short as possible (length two words), finitely generated free subgroups, non-finitely presentable subgroups, and subgroups of fundamental groups of square complexes of nonpositive sectional curvature.


title: Conditional Dichotomy of Boolean Ordered Promise CSPs

abstract: Promise Constraint Satisfaction Problems (PCSPs) are a generalization of Constraint Satisfaction Problems (CSPs) where each predicate has a strong and a weak form and given a CSP instance, the objective is to distinguish if the strong form can be satisfied vs. even the weak form cannot be satisfied. Since their formal introduction by Austrin, Guruswami, and H\aa stad, there has been a flurry of works on PCSPs [BBKO19,KO19,WZ20]. The key tool in studying PCSPs is the algebraic framework developed in the context of CSPs where the closure properties of the satisfying solutions known as the polymorphisms are analyzed. The polymorphisms of PCSPs are much richer than CSPs. In the Boolean case, we still do not know if dichotomy for PCSPs exists analogous to Schaefer's dichotomy result for CSPs. In this paper, we study a special case of Boolean PCSPs, namely Boolean Ordered PCSPs where the Boolean PCSPs have the predicate $x \leq y$. In the algebraic framework, this is the special case of Boolean PCSPs when the polymorphisms are monotone functions. We prove that Boolean Ordered PCSPs exhibit a computational dichotomy assuming the Rich 2-to-1 Conjecture [BKM21] which is a perfect completeness surrogate of the Unique Games Conjecture. Assuming the Rich 2-to-1 Conjecture, we prove that a Boolean Ordered PCSP can be solved in polynomial time if for every $\epsilon>0$, it has polymorphisms where each coordinate has Shapley value at most $\epsilon$, else it is NP-hard. The algorithmic part of our dichotomy is based on a structural lemma that Boolean monotone functions with each coordinate having low Shapley value have arbitrarily large threshold functions as minors. The hardness part proceeds by showing that the Shapley value is consistent under a uniformly random 2-to-1 minor. Of independent interest, we show that the Shapley value can be inconsistent under an adversarial 2-to-1 minor.


title: Deep Unitary Convolutional Neural Networks

abstract: Deep neural networks can suffer from the exploding and vanishing activation problem, in which the networks fail to train properly because the neural signals either amplify or attenuate across the layers and become saturated. While other normalization methods aim to fix the stated problem, most of them have inference speed penalties in those applications that require running averages of the neural activations. Here we extend the unitary framework based on Lie algebra to neural networks of any dimensionalities, overcoming the major constraints of the prior arts that limit synaptic weights to be square matrices. Our proposed unitary convolutional neural networks deliver up to 32% faster inference speeds and up to 50% reduction in permanent hard disk space while maintaining competitive prediction accuracy.


title: Meta-Learned Attribute Self-Gating for Continual Generalized Zero-Shot Learning

abstract: Zero-shot learning (ZSL) has been shown to be a promising approach to generalizing a model to categories unseen during training by leveraging class attributes, but challenges still remain. Recently, methods using generative models to combat bias towards classes seen during training have pushed the state of the art of ZSL, but these generative models can be slow or computationally expensive to train. Additionally, while many previous ZSL methods assume a one-time adaptation to unseen classes, in reality, the world is always changing, necessitating a constant adjustment for deployed models. Models unprepared to handle a sequential stream of data are likely to experience catastrophic forgetting. We propose a meta-continual zero-shot learning (MCZSL) approach to address both these issues. In particular, by pairing self-gating of attributes and scaled class normalization with meta-learning based training, we are able to outperform state-of-the-art results while being able to train our models substantially faster ($>100\times$) than expensive generative-based approaches. We demonstrate this by performing experiments on five standard ZSL datasets (CUB, aPY, AWA1, AWA2 and SUN) in both generalized zero-shot learning and generalized continual zero-shot learning settings.


title: Bounded conjugacy classes, commutators, and approximate subgroups

abstract: Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup $G'$ is finite. We establish the following results. Let $K,n$ be positive integers and $G$ a group having a $K$-approximate subgroup $A$. If $|a^G|\leq n$ for each $a\in A$, then the commutator subgroup of $\langle A^G\rangle$ has finite $(K,n)$-bounded order. If $|[g,a]^G|\leq n$ for all $g\in G$ and $a\in A$, then the commutator subgroup of $[G,A]$ has finite $(K,n)$-bounded order.


title: Understanding and controlling hexagonal patterns of wrinkles in neo-Hookean elastic bilayer structures

abstract: A controlled surface wrinkling pattern has been widely used in diverse applications, such as stretchable electronics, smart windows, and haptics. Here, we focus on hexagonal wrinkling patterns because of their great potentials in realizing anisotropic and tunable friction and serving as a dynamical template for making non-flat thin films through self-assembling processes. We employ large-scale finite element simulations of a bilayer neo-Hookean solid (e.g., a film bonded on a substrate) to explore mechanical principles that govern the formation of hexagonal wrinkling patterns and strategies for making nearly perfect hexagonal patterns. In our model, the wrinkling instabilities are driven by the confined film expansion. Our results indicate robust hexagonal patterns exist at a relatively small modulus mismatch (on the order of 10) between the film and substrate. Besides, the film expansion should not exceed the onset of wrinkling value too much to avoid post-buckling patterns. By harnessing the imperfection insensitivity of one-dimension sinusoidal wrinkles, we apply a sequential loading to the bilayer structure to produce the nearly perfect hexagonal patterns. Lastly, we discuss the connection between the simple bilayer model and the gradient structures commonly existed in experiments.


title: STEP: Segmenting and Tracking Every Pixel

abstract: The task of assigning semantic classes and track identities to every pixel in a video is called video panoptic segmentation. Our work is the first that targets this task in a real-world setting requiring dense interpretation in both spatial and temporal domains. As the ground-truth for this task is difficult and expensive to obtain, existing datasets are either constructed synthetically or only sparsely annotated within short video clips. To overcome this, we introduce a new benchmark encompassing two datasets, KITTI-STEP, and MOTChallenge-STEP. The datasets contain long video sequences, providing challenging examples and a test-bed for studying long-term pixel-precise segmentation and tracking under real-world conditions. We further propose a novel evaluation metric Segmentation and Tracking Quality (STQ) that fairly balances semantic and tracking aspects of this task and is more appropriate for evaluating sequences of arbitrary length. Finally, we provide several baselines to evaluate the status of existing methods on this new challenging dataset. We have made our datasets, metric, benchmark servers, and baselines publicly available, and hope this will inspire future research.


title: Automated Discovery of Adaptive Attacks on Adversarial Defenses

abstract: Reliable evaluation of adversarial defenses is a challenging task, currently limited to an expert who manually crafts attacks that exploit the defense's inner workings or approaches based on an ensemble of fixed attacks, none of which may be effective for the specific defense at hand. Our key observation is that adaptive attacks are composed of reusable building blocks that can be formalized in a search space and used to automatically discover attacks for unknown defenses. We evaluated our approach on 24 adversarial defenses and show that it outperforms AutoAttack, the current state-of-the-art tool for reliable evaluation of adversarial defenses: our tool discovered significantly stronger attacks by producing 3.0\%-50.8\% additional adversarial examples for 10 models, while obtaining attacks with slightly stronger or similar strength for the remaining models.


title: Generative Modelling of BRDF Textures from Flash Images

abstract: We learn a latent space for easy capture, consistent interpolation, and efficient reproduction of visual material appearance. When users provide a photo of a stationary natural material captured under flashlight illumination, first it is converted into a latent material code. Then, in the second step, conditioned on the material code, our method produces an infinite and diverse spatial field of BRDF model parameters (diffuse albedo, normals, roughness, specular albedo) that subsequently allows rendering in complex scenes and illuminations, matching the appearance of the input photograph. Technically, we jointly embed all flash images into a latent space using a convolutional encoder, and -- conditioned on these latent codes -- convert random spatial fields into fields of BRDF parameters using a convolutional neural network (CNN). We condition these BRDF parameters to match the visual characteristics (statistics and spectra of visual features) of the input under matching light. A user study compares our approach favorably to previous work, even those with access to BRDF supervision.


title: Site-resolved imaging of ultracold fermions in a triangular-lattice quantum gas microscope

abstract: Quantum gas microscopes have expanded the capabilities of quantum simulation of Hubbard models by enabling the study of spatial spin and density correlations in square lattices. However, quantum gas microscopes have not been realized for fermionic atoms in frustrated geometries. Here, we demonstrate the single-atom resolved imaging of ultracold fermionic $^{6}$Li atoms in a triangular optical lattice with a lattice constant of 1003 nm. The optical lattice is formed by a recycled narrow-linewidth, high-power laser combined with a light sheet to allow for Raman sideband cooling on the $D_1$ line. We optically resolve single atoms on individual lattice sites using a high-resolution objective to collect scattered photons while cooling them close to the two-dimensional ground vibrational level in each lattice site. By reconstructing the lattice occupation, we measure an imaging fidelity of ~98%. Our new triangular lattice microscope platform for fermions clears the path for studying spin-spin correlations, entanglement and dynamics of geometrically frustrated Hubbard systems which are expected to exhibit exotic emergent phenomena including spin liquids and kinetic frustration.


title: Predicting the pseudocapacitive windows for MXene electrodes with voltage-dependent cluster expansion models

abstract: MXene transition-metal carbides and nitrides are of growing interest for energy storage applications. These compounds are especially promising for use as pseudocapacitive electrodes due to their ability to convert energy electrochemically at fast rates. Using voltage-dependent cluster expansion models, we predict the charge storage performance of MXene pseudocapacitors for a range of electrode compositions. $M_3C_2O_2$ electrodes based on group-VI transition metals have up to 80% larger areal energy densities than prototypical titanium-based ( e.g. $Ti_3C_2O_2$) MXene electrodes. We attribute this high pseudocapacitance to the Faradaic voltage windows of group-VI MXene electrodes, which are predicted to be 1.2 to 1.8 times larger than those of titanium-based MXenes. The size of the pseudocapacitive voltage window increases with the range of oxidation states that is accessible to the MXene transition metals. By similar mechanisms, the presence of multiple ions in the solvent (Li$^+$ and H$^+$) leads to sharp changes in the transition-metal oxidation states and can significantly increase the charge capacity of MXene pseudocapacitors.


title: A Refined Complexity Analysis of Fair Districting over Graphs

abstract: We study the NP-hard Fair Connected Districting problem recently proposed by Stoica et al. [AAMAS 2020]: Partition a vertex-colored graph into k connected components (subsequently referred to as districts) so that in every district the most frequent color occurs at most a given number of times more often than the second most frequent color. Fair Connected Districting is motivated by various real-world scenarios where agents of different types, which are one-to-one represented by nodes in a network, have to be partitioned into disjoint districts. Herein, one strives for "fair districts" without any type being in a dominating majority in any of the districts. This is to e.g. prevent segregation or political domination of some political party. We conduct a fine-grained analysis of the (parameterized) computational complexity of Fair Connected Districting. In particular, we prove that it is polynomial-time solvable on paths, cycles, stars, and caterpillars, but already becomes NP-hard on trees. Motivated by the latter negative result, we perform a parameterized complexity analysis with respect to various graph parameters, including treewidth, and problem-specific parameters, including, the numbers of colors and districts. We obtain a rich and diverse, close to complete picture of the corresponding parameterized complexity landscape (that is, a classification along the complexity classes FPT, XP, W[1]-hard, and para-NP-hard).


title: Probabilistic Spatial Analysis in Quantitative Microscopy with Uncertainty-Aware Cell Detection using Deep Bayesian Regression of Density Maps

abstract: 3D microscopy is key in the investigation of diverse biological systems, and the ever increasing availability of large datasets demands automatic cell identification methods that not only are accurate, but also can imply the uncertainty in their predictions to inform about potential errors and hence confidence in conclusions using them. While conventional deep learning methods often yield deterministic results, advances in deep Bayesian learning allow for accurate predictions with a probabilistic interpretation in numerous image classification and segmentation tasks. It is however nontrivial to extend such Bayesian methods to cell detection, which requires specialized learning frameworks. In particular, regression of density maps is a popular successful approach for extracting cell coordinates from local peaks in a postprocessing step, which hinders any meaningful probabilistic output. We herein propose a deep learning-based cell detection framework that can operate on large microscopy images and outputs desired probabilistic predictions by (i) integrating Bayesian techniques for the regression of uncertainty-aware density maps, where peak detection can be applied to generate cell proposals, and (ii) learning a mapping from the numerous proposals to a probabilistic space that is calibrated, i.e. accurately represents the chances of a successful prediction. Utilizing such calibrated predictions, we propose a probabilistic spatial analysis with Monte-Carlo sampling. We demonstrate this in revising an existing description of the distribution of a mesenchymal stromal cell type within the bone marrow, where our proposed methods allow us to reveal spatial patterns that are otherwise undetectable. Introducing such probabilistic analysis in quantitative microscopy pipelines will allow for reporting confidence intervals for testing biological hypotheses of spatial distributions.


title: Doubly Robust Off-Policy Actor-Critic: Convergence and Optimality

abstract: Designing off-policy reinforcement learning algorithms is typically a very challenging task, because a desirable iteration update often involves an expectation over an on-policy distribution. Prior off-policy actor-critic (AC) algorithms have introduced a new critic that uses the density ratio for adjusting the distribution mismatch in order to stabilize the convergence, but at the cost of potentially introducing high biases due to the estimation errors of both the density ratio and value function. In this paper, we develop a doubly robust off-policy AC (DR-Off-PAC) for discounted MDP, which can take advantage of learned nuisance functions to reduce estimation errors. Moreover, DR-Off-PAC adopts a single timescale structure, in which both actor and critics are updated simultaneously with constant stepsize, and is thus more sample efficient than prior algorithms that adopt either two timescale or nested-loop structure. We study the finite-time convergence rate and characterize the sample complexity for DR-Off-PAC to attain an $\epsilon$-accurate optimal policy. We also show that the overall convergence of DR-Off-PAC is doubly robust to the approximation errors that depend only on the expressive power of approximation functions. To the best of our knowledge, our study establishes the first overall sample complexity analysis for a single time-scale off-policy AC algorithm.


title: Reversing orientation homeomorphisms of surfaces

abstract: Let $M$ be a connected compact orientable surface, $f:M\to \mathbb{R}$ be a Morse function, and $h:M\to M$ be a diffeomorphism which preserves $f$ in the sense that $f\circ h = f$. We will show that if $h$ leaves invariant each regular component of each level set of $f$ and reverses its orientation, then $h^2$ is isotopic to the identity map of $M$ via $f$-preserving isotopy. This statement can be regarded as a foliated and a homotopy analogue of a well known observation that every reversing orientation orthogonal isomorphism of a plane has order $2$, i.e. is a mirror symmetry with respect to some line. The obtained results hold in fact for a larger class of maps with isolated singularities from connected compact orientable surfaces to the real line and the circle.


title: Machine Learning Regression for Operator Dynamics

abstract: Determining the dynamics of the expectation values for operators acting on a quantum many-body (QMB) system is a challenging task. Matrix product states (MPS) have traditionally been the "go-to" models for these systems because calculating expectation values in this representation can be done with relative simplicity and high accuracy. However, such calculations can become computationally costly when extended to long times. Here, we present a solution for efficiently extending the computation of expectation values to long time intervals. We utilize a multi-layer perceptron (MLP) model as a tool for regression on MPS expectation values calculated within the regime of short time intervals. With this model, the computational cost of generating long-time dynamics is significantly reduced, while maintaining a high accuracy. These results are demonstrated with operators relevant to quantum spin models in one spatial dimension.


title: Magnetic order in van der Waals antiferromagnet CrPS4: anisotropic H-T phase diagrams and effects of pressure

abstract: Single crystalline samples of the van der Waals antiferromagnet CrPS4 were studied by measurements of specific heat and comprehensive anisotropic temperature- and magnetic field-dependent magnetization. In addition, measurements of the heat capacity and magnetization were performed under pressures of up to ~21 kbar and ~14 kbar respectively. At ambient pressure, two magnetic transitions are observed, second order from a paramagnetic to an antiferromagnetic state at TN ~ 37 K, and a first-order spin reorientation transition at T* ~ 34 K. Anisotropic H - T phase diagrams were constructed using the M(T,H) data. As pressure is increased, TN is weakly suppressed with dTN/dP ~ -0.1 K/kbar. T*, on the other hand, is suppressed quite rapidly, with dT*/dP ~ -2 K/kbar, extrapolating to a possible quantum phase transition at Pc ~ 15 kbar.


title: UnsupervisedR&R: Unsupervised Point Cloud Registration via Differentiable Rendering

abstract: Aligning partial views of a scene into a single whole is essential to understanding one's environment and is a key component of numerous robotics tasks such as SLAM and SfM. Recent approaches have proposed end-to-end systems that can outperform traditional methods by leveraging pose supervision. However, with the rising prevalence of cameras with depth sensors, we can expect a new stream of raw RGB-D data without the annotations needed for supervision. We propose UnsupervisedR&R: an end-to-end unsupervised approach to learning point cloud registration from raw RGB-D video. The key idea is to leverage differentiable alignment and rendering to enforce photometric and geometric consistency between frames. We evaluate our approach on indoor scene datasets and find that we outperform existing traditional approaches with classic and learned descriptors while being competitive with supervised geometric point cloud registration approaches.


title: Quasi-periodic oscillatory motion of particles orbiting a distorted deformed compact object

abstract: This work explores the dynamic properties of test particles surrounding a distorted, deformed compact object. The astrophysical motivation was to choose such background, which could constitute a more reasonable model of a real situation that arises in the vicinity of compact objects with the possibility of having parameters as the extra physical degrees of freedom. This can facilitate associating observational data with astrophysical systems. This work's main goal is to study the dynamic regime of motion and quasi-periodic oscillation in this background, depending on different parameters of the system. Also, we exercise the resonant phenomena of the radial and vertical oscillations at their observed quasi-periodic oscillations frequency ratio of 3:2.


title: Clustering Aware Classification for Risk Prediction and Subtyping in Clinical Data

abstract: In data containing heterogeneous subpopulations, classification performance benefits from incorporating the knowledge of cluster structure in the classifier. Previous methods for such combined clustering and classification either 1) are classifier-specific and not generic, or 2) independently perform clustering and classifier training, which may not form clusters that can potentially benefit classifier performance. The question of how to perform clustering to improve the performance of classifiers trained on the clusters has received scant attention in previous literature, despite its importance in several real-world applications. In this paper, first, we theoretically analyze the generalization performance of classifiers trained on clustered data and find conditions under which clustering can potentially aid classification. This motivates the design of a simple k-means-based classification algorithm called Clustering Aware Classification (CAC) and its neural variant {DeepCAC}. DeepCAC effectively leverages deep representation learning to learn latent embeddings and finds clusters in a manner that make the clustered data suitable for training classifiers for each underlying subpopulation. Our experiments on synthetic and real benchmark datasets demonstrate the efficacy of DeepCAC over previous methods for combined clustering and classification.


title: A solution to the incompressible Navier-Stokes Equation

abstract: For the N>=2 dimensional incompressible Naver-Stokes Equation, We have got its solution as a power series of time t, in which the coefficients are all known functions determined only by the initial velocity v0. We also prove that the solution series is convergent globally, so that the existence and smoothness problem are solved.


title: Performance-optimized components for quantum technologies via additive manufacturing

abstract: Novel quantum technologies and devices place unprecedented demands on the performance of experimental components, while their widespread deployment beyond the laboratory necessitates increased robustness and fast, affordable production. We show how the use of additive manufacturing, together with mathematical optimization techniques and innovative designs, allows the production of compact, lightweight components with greatly enhanced performance. We use such components to produce a magneto-optical trap that captures $\sim 2 \times 10^8$ rubidium atoms, employing for this purpose a compact and highly stable device for spectroscopy and optical power distribution, optimized neodymium magnet arrays for magnetic field generation, and a lightweight, additively manufactured ultra-high vacuum chamber. We show how the use of additive manufacturing enables substantial weight reduction and stability enhancement, while also illustrating the transferability of our approach to experiments and devices across the quantum technology sector and beyond.


title: A coplanar circumbinary protoplanetary disk in the TWA 3 triple M dwarf system

abstract: We present sensitive ALMA observations of TWA 3, a nearby, young ($\sim$10 Myr) hierarchical system composed of three pre-main sequence M3--M4.5 stars. For the first time, we detected ${}^{12}$CO and ${}^{13}$CO $J$=2-1 emission from the circumbinary protoplanetary disk around TWA 3A. We jointly fit the protoplanetary disk velocity field, stellar astrometric positions, and stellar radial velocities to infer the architecture of the system. The Aa and Ab stars ($0.29\pm0.01\,M_\odot$ and $0.24\pm0.01\,M_\odot$, respectively) comprising the tight ($P=35$ days) eccentric ($e=0.63\pm0.01$) spectroscopic binary are coplanar with their circumbinary disk (misalignment $< 6^{\circ}$ with 68% confidence), similar to other short-period binary systems. From models of the spectral energy distribution, we found the inner radius of the circumbinary disk ($r_\mathrm{inner} = 0.50 - 0.75$ au) to be consistent with theoretical predictions of dynamical truncation $r_\mathrm{cav}/a_\mathrm{inner} \approx 3$. The outer orbit of the tertiary star B ($0.40\pm0.28\,M_\odot$, $a\sim65 \pm 18$ au, $e=0.3\pm0.2$) is not as well constrained as the inner orbit, however, orbits coplanar with the A system are still preferred (misalignment $ < 20^{\circ}$). To better understand the influence of the B orbit on the TWA 3A circumbinary disk, we performed SPH simulations of the system and found that the outer edge of the gas disk ($r_\mathrm{outer}=8.5\pm0.2$ au) is most consistent with truncation from a coplanar, circular or moderately eccentric orbit, supporting the preference from the joint orbital fit.


title: UniverseMachine: Predicting Galaxy Star Formation over Seven Decades of Halo Mass with Zoom-in Simulations

abstract: We apply the empirical galaxy--halo connection model UniverseMachine to dark matter-only zoom-in simulations of isolated Milky Way (MW)--mass halos along with their parent cosmological simulations. This application extends \textsc{UniverseMachine} predictions into the ultra-faint dwarf galaxy regime ($ 10^{2}\,\mathrm{M_{\odot}} \leqslant M_{\ast} \leqslant 10^{5}\,\mathrm{M_{\odot}}$) and yields a well-resolved stellar mass--halo mass (SMHM) relation over the peak halo mass range $10^8\,\mathrm{M_{\odot}}$ to $10^{15}\,\mathrm{M_{\odot}}$. The extensive dynamic range provided by the zoom-in simulations allows us to assess specific aspects of dwarf galaxy evolution predicted by \textsc{UniverseMachine}. In particular, although UniverseMachine is not constrained for dwarf galaxies with $M_* \lesssim 10^{8}\,\mathrm{M_{\odot}}$, our predicted SMHM relation is consistent with that inferred for MW satellite galaxies at $z=0$ using abundance matching. However, UniverseMachine predicts that nearly all galaxies are actively star forming below $M_{\ast}\sim 10^{7}\,\mathrm{M_{\odot}}$ and that these systems typically form more than half of their stars at $z\lesssim 4$, which is discrepant with the star formation histories of Local Group dwarf galaxies that favor early quenching. This indicates that the current UniverseMachine model does not fully capture galaxy quenching physics at the low-mass end. We highlight specific improvements necessary to incorporate environmental and reionization-driven quenching for dwarf galaxies, and provide a new tool to connect dark matter accretion to star formation over the full dynamic range that hosts galaxies.


title: Cosmic Ray Transport in the Ionized and Neutral ISM: MHD-PIC Simulations and Effective Fluid Treatments

abstract: Cosmic rays (CRs) have critical impacts in the multiphase interstellar medium (ISM), driving dynamical motions in low-density plasma and modifying the ionization state, temperature, and chemical composition of higher-density atomic and molecular gas. We present a study of CR propagation between the ionized ISM and a neutral cloud. Using one-dimensional magnetohydrodynamic particle-in-cell simulations which include ion-neutral drag to damp Alfv$\acute{\text{e}}$n waves in the cloud, we self-consistently evolve the kinetic physics of CRs and fluid dynamics of the multiphase gas. By introducing the cloud in our periodic domain, our simulations break translational symmetry and allow the emergence of spatial structure in the CR distribution function. A negative spatial gradient forms across the fully-ionized ISM region while a positive gradient forms across the neutral cloud. We connect our results with CR hydrodynamics formulations by computing the wave-particle scattering rates as predicted by quasilinear, fluid, and Fokker-Planck theory. For momenta where the mean free path is short relative to the box size, we find excellent agreement among all scattering rates. By exploring different cloud sizes and ion-neutral collision rates, we show that our results are robust. Our work provides a first-principles verification of CR hydrodynamics when particles stream down their pressure gradient, and opens a pathway toward comprehensive calibrations of transport coefficients from self-generated Alfv$\acute{\text{e}}$n wave scattering with CRs.


title: Influence of Ion-Neutral Damping on the Cosmic-Ray Streaming Instability: Magnetohydrodynamic Particle-in-cell Simulations

abstract: We explore the physics of the gyro-resonant cosmic ray streaming instability (CRSI) including the effects of ion-neutral (IN) damping. This is the main damping mechanism in (partially-ionized) atomic and molecular gas, which are the primary components of the interstellar medium (ISM) by mass. Limitation of CRSI by IN damping is important in setting the amplitude of Alfv\'en waves that scatter cosmic rays and control galactic-scale transport. Our study employs the MHD-PIC hybrid fluid-kinetic numerical technique to follow linear growth as well as post-linear and saturation phases. During the linear phase of the instability -- where simulations and analytical theory are in good agreement -- IN damping prevents wave growth at small and large wavelengths, with the unstable bandwidth lower for higher ion-neutral collision rate $\nu_{\rm in}$. Purely MHD effects during the post-linear phase extend the wave spectrum towards larger $k$. In the saturated state, the cosmic ray distribution evolves toward greater isotropy (lower streaming velocity) by scattering off of Alv\'en waves excited by the instability. In the absence of low-$k$ waves, CRs with sufficiently high momentum are not isotropized. The maximum wave amplitude and rate of isotropization of the distribution function decreases at higher $\nu_{\rm in}$. When the IN damping rate approaches the maximum growth rate of CSRI, wave growth and isotropization is suppressed. Implications of our results for CR transport in partially ionized ISM phases are discussed.


title: Neutrinos from tidal disruption events

abstract: Tidal disruption events are an excellent probe for supermassive black holes in distant inactive galaxies because they show bright multi-wavelength flares lasting several months to years. AT2019dsg presents the first potential association with neutrino emission from such an explosive event.


title: Electromagnetic response of composite Dirac fermions in the half-filled Landau level

abstract: An effective field theory of composite Dirac fermions was proposed by Son [Phys. Rev. X 5, 031027 (2015)] as a theory of the half-filled Landau level with explicit particle-hole symmetry. We compute the electromagnetic response of this Son-Dirac theory on the level of the random phase approximation (RPA), where we pay particular attention to the effect of an additional composite-fermion dipole term that is needed to restore Galilean invariance. We find that once this dipole correction is taken into account, spurious interband transitions and collective modes that are present in the response of the unmodified theory either cancel or are strongly suppressed. We demonstrate that this gives rise to a consistent theory of the half-filled Landau level valid at all frequencies, at least to leading order in the momentum. In addition, the dipole contribution modifies the Fermi-liquid response at small frequency and momentum, which is a prediction of the Son-Dirac theory within the RPA that distinguishes it from a separate description of the half-filled Landau level by Halperin, Lee, and Read within the RPA.


title: Revisiting Coleman-de Luccia transitions in the AdS regime using holography

abstract: Coleman-de Luccia processes for AdS to AdS decays in Einstein-scalar theories are studied. Such tunnelling processes are interpreted as vev-driven holographic RG flows of a quantum field theory on de Sitter space-time. These flows do not exist for generic scalar potentials, which is the holographic formulation of the fact that gravity can act to stabilise false AdS vacua. The existence of Coleman-de Luccia tunnelling solutions in a potential with a false AdS vacuum is found to be tied to the existence of exotic RG flows in the same potential. Such flows are solutions where the flow skips possible fixed points or reverses direction in the coupling. This connection is employed to construct explicit potentials that admit Coleman-de Luccia instantons in AdS and to study the associated tunnelling solutions. Thin-walled instantons are observed to correspond to dual field theories with a parametrically large value of the dimension $\Delta$ for the operator dual to the scalar field, casting doubt on the attainability of this regime in holography. From the boundary perspective, maximally symmetric instantons describe the probability of symmetry breaking of the dual QFT in de Sitter. It is argued that, even when such instantons exist, they do not imply an instability of the same theory on flat space or on $R\times S^3$.


title: Equilibration time in many-body quantum systems

abstract: Isolated many-body quantum systems quenched far from equilibrium can eventually equilibrate, but it is not yet clear how long they take to do so. To answer this question, we use exact numerical methods and analyze the entire evolution, from perturbation to equilibration, of a paradigmatic disordered many-body quantum system in the chaotic regime. We investigate how the equilibration time depends on the system size and observables. We show that if dynamical manifestations of spectral correlations in the form of the correlation hole ("ramp") are taken into account, the time for equilibration scales exponentially with system size, while if they are neglected, the scaling is better described by a power law with system size, though with an exponent larger than what is expected for diffusive transport.


title: Testing Bell inequalities at the LHC with top-quark pairs

abstract: Entanglement between the spins of top-quark pairs produced at a collider can be used to test a (generalized) Bell inequality at energies never explored so far. We show how the measurement of a single observable can provide a test of the violation of the Bell inequality at the 98% CL with the data already collected at the Large Hadron Collider and at the 99.99% CL with the higher luminosity of the next run.


title: Late-time tails and mode coupling of linear waves on Kerr spacetimes

abstract: We provide a rigorous derivation of the precise late-time asymptotics for solutions to the scalar wave equation on subextremal Kerr backgrounds, including the asymptotics for projections to angular frequencies $\ell\geq 1$ and $\ell\geq 2$. The $\ell$-dependent asymptotics on Kerr spacetimes differ significantly from the non-rotating Schwarzschild setting ("Price's law"). The main differences with Schwarzschild are slower decay rates for higher angular frequencies and oscillations along the null generators of the event horizon. We introduce a physical space-based method that resolves the following two main difficulties for establishing $\ell$-dependent asymptotics in the Kerr setting: 1) the coupling of angular modes and 2) a loss of ellipticity in the ergoregion. Our mechanism identifies and exploits the existence of conserved charges along null infinity via a time invertibility theory, which in turn relies on new elliptic estimates in the full black hole exterior. This framework is suitable for resolving the conflicting numerology in Kerr late-time asymptotics that appears in the numerics literature.


title: Tumbling Dice: Radio Constraints on the Presence of Circumstellar Shells around Type Ia Supernovae with Impact Near Maximum Light

abstract: The progenitors of Type Ia supernovae (SNe Ia) are debated, particularly the evolutionary state of the binary companion that donates mass to the exploding carbon-oxygen white dwarf. In previous work, we presented hydrodynamic models and optically thin radio synchrotron light-curves of SNe Ia interacting with detached, confined shells of CSM, representing CSM shaped by novae. In this work, we extend these light-curves to the optically thick regime, considering both synchrotron self-absorption and free-free absorption. We obtain simple formulae to describe the evolution of optical depth seen in the simulations, allowing optically thick light-curves to be approximated for arbitrary shell properties. We then demonstrate the use of this tool by interpreting published radio data. First, we consider the non-detection of PTF11kx - an SN Ia known to have a detached, confined shell - and find that the non-detection is consistent with current models for its CSM, and that observations at a later time would have been useful for this event. Secondly, we statistically analyze an ensemble of radio non-detections for SNe Ia with no signatures of interaction, and find that shells with masses $(10^{-4}-0.3)~M_\odot$ located $(10^{15}-10^{16})$ cm from the progenitor are currently not well constrained by radio datasets, due to their dim, rapidly-evolving light-curves.


title: Resource-efficient encoding algorithm for variational bosonic quantum simulations

abstract: Quantum algorithms are promising candidates for the enhancement of computational efficiency for a variety of computational tasks, allowing for the numerical study of physical systems intractable to classical computers. In the Noisy Intermediate Scale Quantum (NISQ) era of quantum computing, however, quantum resources are limited and thus quantum algorithms utilizing such resources efficiently are highly coveted. We present a resource-efficient quantum algorithm for bosonic ground and excited state computations using the Variational Quantum Eigensolver algorithm with the Unitary Coupled Cluster ansatz. The algorithm is based on two quantum resource reduction strategies, consisting of a selective Hamming truncation of the encoded qubit Hilbert space along with a qubit ground state encoding protocol. Our algorithm proves to significantly increase accuracy with a simultaneous reduction of required quantum resources compared to current approaches. Furthermore, the selective Hamming truncation of our algorithm presents a versatile method to tailor the utilized quantum resources of a quantum computer depending on the hardware parameters. Finally, our work may contribute to shortening the route to achieve a practical quantum advantage in bosonic quantum simulations. The study of vibrational properties of molecular systems is crucial in a variety of contexts, such as spectroscopy, fluorescence, chemical reaction dynamics and transport properties. Thus, our algorithm provides a resource-efficient flexible approach to study such applications in the context of quantum computational chemistry on quantum computers.


title: Quantum Cross Entropy and Maximum Likelihood Principle

abstract: Quantum machine learning is an emerging field at the intersection of machine learning and quantum computing. Classical cross entropy plays a central role in machine learning. We define its quantum generalization, the quantum cross entropy, prove its lower bounds, and investigate its relation to quantum fidelity. In the classical case, minimizing cross entropy is equivalent to maximizing likelihood. In the quantum case, when the quantum cross entropy is constructed from quantum data undisturbed by quantum measurements, this relation holds. Classical cross entropy is equal to negative log-likelihood. When we obtain quantum cross entropy through empirical density matrix based on measurement outcomes, the quantum cross entropy is lower-bounded by negative log-likelihood. These two different scenarios illustrate the information loss when making quantum measurements. We conclude that to achieve the goal of full quantum machine learning, it is crucial to utilize the deferred measurement principle.

categories: quant-ph cs.IT cs.LG hep-th math.IT stat.ML


title: Price's law and precise late-time asymptotics for subextremal Reissner-Nordstr\"om black holes

abstract: In this paper, we prove precise late-time asymptotics for solutions to the wave equation supported on angular frequencies greater or equal to $\ell$ on the domain of outer communications of subextremal Reissner-Nordstr\"om spacetimes up to and including the event horizon. Our asymptotics yield, in particular, sharp upper and lower decay rates which are consistent with Price's law on such backgrounds. We present a theory for inverting the time operator and derive an explicit representation of the leading-order asymptotic coefficient in terms of the Newman-Penrose charges at null infinity associated with the time integrals. Our method is based on purely physical space techniques. For each angular frequency $\ell$ we establish a sharp hierarchy of $r$-weighted radially commuted estimates with length $2\ell+5$. We complement this hierarchy with a novel hierarchy of weighted elliptic estimates of length $\ell+1$.


title: Mobility edge and multifractality in a periodically driven Aubry-Andr\'{e} model

abstract: We study the localization-delocalization transition of Floquet eigenstates in a driven fermionic chain with an incommensurate Aubry-Andr\'{e} potential and a hopping amplitude which is varied periodically in time. Our analysis shows the presence of a mobility edge separating single-particle delocalized states from localized and multifractal states in the Floquet spectrum. Such a mobility edge does not have any counterpart in the static Aubry-Andr\'{e} model and exists for a range of drive frequencies near the critical frequency at which the transition occurs. The presence of the mobility edge is shown to leave a distinct imprint on fermion transport in the driven chain; it also influences the Shannon entropy and the survival probability of the fermions at long times. In addition, we find the presence of CAT states in the Floquet spectrum with weights centered around a few nearby sites of the chain. This is shown to be tied to the flattening of Floquet bands over a range of quasienergies. We support our numerical studies with a semi-analytic expression for the Floquet Hamiltonian ($H_F$) computed within a Floquet perturbation theory. The eigenspectra of the perturbative $H_F$ so obtained exhibit qualitatively identical properties to the exact eigenstates of $H_F$ obtained numerically. Our results thus constitute an analytic expression of a $H_F$ whose spectrum supports multifractal and CAT states. We suggest experiments which can test our theory.


title: Andromeda XXI -- a dwarf galaxy in a low density dark matter halo

abstract: Andromeda XXI (And XXI) has been proposed as a dwarf spheroidal galaxy with a central dark matter density that is lower than expected in the Standard $\Lambda$ Cold Dark Matter ($\Lambda$CDM) cosmology. In this work, we present dynamical observations for 77 member stars in this system, more than doubling previous studies to determine whether this galaxy is truly a low density outlier. We measure a systemic velocity of $v_r=-363.4\pm1.0\,{\rm kms}^{-1}$ and a velocity dispersion of $\sigma_v=6.1^{+1.0}_{-0.9}\,{\rm kms}^{-1}$, consistent with previous work and within $1\sigma$ of predictions made within the modified Newtonian dynamics framework. We also measure the metallicity of our member stars from their spectra, finding a mean value of ${\rm [Fe/H]}=-1.7\pm0.1$~dex. We model the dark matter density profile of And~XXI using an improved version of \GravSphere, finding a central density of $\rho_{\rm DM}({\rm 150 pc})=2.7_{-1.7}^{+2.7} \times 10^7 \,{\rm M_\odot\,kpc^{-3}}$ at 68\% confidence, and a density at two half light radii of $\rho_{\rm DM}({\rm 1.75 kpc})=0.9_{-0.2}^{+0.3} \times 10^5 \,{\rm M_\odot\,kpc^{-3}}$ at 68\% confidence. These are both a factor ${\sim}3-5$ lower than the densities expected from abundance matching in $\Lambda$CDM. We show that this cannot be explained by `dark matter heating' since And~XXI had too little star formation to significantly lower its inner dark matter density, while dark matter heating only acts on the profile inside the half light radius. However, And~XXI's low density can be accommodated within $\Lambda$CDM if it experienced extreme tidal stripping (losing $>95\%$ of its mass), or if it inhabits a low concentration halo on a plunging orbit that experienced repeated tidal shocks.


title: Correlation functions in finite temperature CFT and black hole singularities

abstract: We compute thermal 2-point correlation functions in the black brane $AdS_5$ background dual to 4d CFT's at finite temperature for operators of large scaling dimension. We find a formula that matches the expected structure of the OPE. It exhibits an exponentiation property, whose origin we explain. We also compute the first correction to the two-point function due to graviton emission, which encodes the proper time from the event horizon to the black hole singularity.


title: A Multi-Band Forced-Photometry Catalog in the ELAIS-S1 Field

abstract: The ELAIS-S1 field will be an LSST Deep Drilling field, and it also has extensive multiwavelength coverage. To improve the utility of the existing data, we use The Tractor to perform forced-photometry measurements in this field. We compile data in 16 bands from the DeepDrill, VIDEO, DES, ESIS, and VOICE surveys. Using a priori information from the high-resolution fiducial images in VIDEO, we model the images in other bands and generate a forced-photometry catalog. This technique enables consistency throughout different surveys, deblends sources from low-resolution images, extends photometric measurements to a fainter magnitude regime, and improves photometric-redshift estimates. Our catalog contains over 0.8 million sources covering a 3.4 deg2 area in the VIDEO footprint and is available at 10.5281/zenodo.4540178.


title: Honey, I Shrunk The Actor: A Case Study on Preserving Performance with Smaller Actors in Actor-Critic RL

abstract: Actors and critics in actor-critic reinforcement learning algorithms are functionally separate, yet they often use the same network architectures. This case study explores the performance impact of network sizes when considering actor and critic architectures independently. By relaxing the assumption of architectural symmetry, it is often possible for smaller actors to achieve comparable policy performance to their symmetric counterparts. Our experiments show up to 99% reduction in the number of network weights with an average reduction of 77% over multiple actor-critic algorithms on 9 independent tasks. Given that reducing actor complexity results in a direct reduction of run-time inference cost, we believe configurations of actors and critics are aspects of actor-critic design that deserve to be considered independently, particularly in resource-constrained applications or when deploying multiple actors simultaneously.


title: Wavelet Transform Analytics for RF-Based UAV Detection and Identification System Using Machine Learning

abstract: In this work, we performed a thorough comparative analysis on a radio frequency (RF) based drone detection and identification system (DDI) under wireless interference, such as WiFi and Bluetooth, by using machine learning algorithms, and a pre-trained convolutional neural network-based algorithm called SqueezeNet, as classifiers. In RF signal fingerprinting research, the transient and steady state of the signals can be used to extract a unique signature from an RF signal. By exploiting the RF control signals from unmanned aerial vehicles (UAVs) for DDI, we considered each state of the signals separately for feature extraction and compared the pros and cons for drone detection and identification. Using various categories of wavelet transforms (discrete wavelet transform, continuous wavelet transform, and wavelet scattering transform) for extracting features from the signals, we built different models using these features. We studied the performance of these models under different signal to noise ratio (SNR) levels. By using the wavelet scattering transform to extract signatures (scattergrams) from the steady state of the RF signals at 30 dB SNR, and using these scattergrams to train SqueezeNet, we achieved an accuracy of 98.9% at 10 dB SNR.


title: MGait: Model-Based Gait Analysis Using Wearable Bend and Inertial Sensors

abstract: Movement disorders, such as Parkinson's disease, affect more than 10 million people worldwide. Gait analysis is a critical step in the diagnosis and rehabilitation of these disorders. Specifically, step length provides valuable insights into the gait quality and rehabilitation process. However, traditional approaches for estimating step length are not suitable for continuous daily monitoring since they rely on special mats and clinical environments. To address this limitation, we present a novel and practical step-length estimation technique using low-power wearable bend and inertial sensors. Experimental results show that the proposed model estimates step length with 5.49% mean absolute percentage error and provides accurate real-time feedback to the user.


title: Targeted False Data Injection Attack against DC State Estimation without Line Parameters

abstract: A novel false data injection attack (FDIA) model against DC state estimation is proposed, which requires no network parameters and exploits only limited phasor measurement unit (PMU) data. The proposed FDIA model can target specific states and launch large deviation attacks using estimated line parameters. Sufficient conditions for the proposed method are also presented. Different attack vectors are studied in the IEEE 39-bus system, showing that the proposed FDIA method can successfully bypass the bad data detection (BDD) with high success rates of up to 95.3%.


title: Balanced Derivatives, Identities, and Bounds for Trigonometric and Bessel Series

abstract: Motivated by two identities published with Ramanujan's lost notebook and connected, respectively, with the Gauss circle problem and the Dirichlet divisor problem, in an earlier paper, three of the present authors derived representations for certain sums of products of trigonometric functions as double series of Bessel functions. These series are generalized in the present paper by introducing the novel notion of balanced derivatives, leading to further theorems. As we will see below, the regions of convergence in the unbalanced case are entirely different than those in the balanced case. From this viewpoint, it is remarkable that Ramanujan had the intuition to formulate entries that are, in our new terminology, "balanced". If $x$ denotes the number of products of the trigonometric functions appearing in our sums, in addition to proving the identities mentioned above, theorems and conjectures for upper and lower bounds for the sums as $x\to\infty$ are established.


title: Wound opening in a thin incompressible viscoelastic tissue

abstract: We develop a model to investigate analytically and numerically the mechanics of wound opening made in a viscoelastic, isotropic, homogeneous, and incompressive thin tissue. This process occurs just immediately after the wound infliction. Before any active biological action has taken place, the tissue relaxes, and the wound opens mostly due to the initial homeostatic tension of the tissue, its elastic and viscous properties, and the existing friction between the tissue and its substrate. We find that for a circular wound the regimes of deformation are defined by a single adimensional parameter $\lambda$, which characterizes the relative importance of viscosity over friction.


title: Existence of gradient Gibbs measures on regular trees which are not translation invariant

abstract: We provide an existence theory for gradient Gibbs measures for Z-valued spin models on regular trees which are not invariant under translations of the tree, assuming only summability of the transfer operator. The gradient states we obtain are delocalized. The construction we provide for them starts from a two-layer hidden Markov model representation in a setup which is not invariant under tree-automorphisms, involving internal q-spin models. The proofs of existence and lack of translation invariance of infinite-volume gradient states are based on properties of the local pseudo-unstable manifold of the corresponding discrete dynamical systems of these internal models, around the free state, at large q.


title: Fixity of elusive groups and the polycirculant conjecture

abstract: Let $G\leq{\rm Sym}(\Omega)$ be transitive. Then $G$ is called \textit{elusive} on $\Omega$ if it has no fixed point free element of prime order. The \textit{$2$-closure} of $G$, denoted by $G^{(2),\Omega}$, is the largest subgroup of ${\rm Sym}(\Omega)$ whose orbits on $\Omega\times\Omega$ are the same orbits of $G$. $G$ is called $2$-closed on $\Omega$ if $G=G^{(2),\Omega}$. The \textit{polycirculant conjecture} states that there is no $2$-closed elusive group. In this paper, we study the \textit{fixity} of elusive groups, where the fixity of $G$ is the maximal number of fixed points of a non-trivial element of $G$. In particular, we prove that there is no $2$-closed elusive solvable group of fixity at most $5$, a partial answer to the polycirculant conjecture.


title: Construction of arbitrary order finite element degree-of-freedom maps on polygonal and polyhedral cell meshes

abstract: We develop a method for generating degree-of-freedom maps for arbitrary order finite element spaces for any cell shape. The approach is based on the composition of permutations and transformations by cell sub-entity. Current approaches to generating degree-of-freedom maps for arbitrary order problems typically rely on a consistent orientation of cell entities that permits the definition of a common local coordinate system on shared edges and faces. However, while orientation of a mesh is straightforward for simplex cells and is a local operation, it is not a strictly local operation for quadrilateral cells and in the case of hexahedral cells not all meshes are orientable. The permutation and transformation approach is developed for a range of element types, including Lagrange, and divergence- and curl-conforming elements, and for a range of cell shapes. The approach is local and can be applied to cells of any shape, including general polytopes and meshes with mixed cell types. A number of examples are presented and the developed approach has been implemented in an open-source finite element library.


title: Fiberized diamond-based vector magnetometers

abstract: We present two fiberized vector magnetic-field sensors, based on nitrogen-vacancy (NV) centers in diamond. The sensors feature sub-nT/$\sqrt{\textrm{Hz}}$ magnetic sensitivity. We use commercially available components to construct sensors with a small sensor size, high photon collection, and minimal sensor-sample distance. Both sensors are located at the end of optical fibres with the sensor-head freely accessible and robust under movement. These features make them ideal for mapping magnetic fields with high sensitivity and spatial resolution ($\leq$\,mm). As a demonstration we use one of the sensors to map the vector magnetic field inside the bore of a $\geq$ 100\,mT Halbach array. The vector field sensing protocol translates microwave spectroscopy data addressing all diamonds axes and including double quantum transitions to a 3D magnetic field vector.


title: Neural ranking models for document retrieval

abstract: Ranking models are the main components of information retrieval systems. Several approaches to ranking are based on traditional machine learning algorithms using a set of hand-crafted features. Recently, researchers have leveraged deep learning models in information retrieval. These models are trained end-to-end to extract features from the raw data for ranking tasks, so that they overcome the limitations of hand-crafted features. A variety of deep learning models have been proposed, and each model presents a set of neural network components to extract features that are used for ranking. In this paper, we compare the proposed models in the literature along different dimensions in order to understand the major contributions and limitations of each model. In our discussion of the literature, we analyze the promising neural components, and propose future research directions. We also show the analogy between document retrieval and other retrieval tasks where the items to be ranked are structured documents, answers, images and videos.


title: A Review of Generalizability and Transportability

abstract: When assessing causal effects, determining the target population to which the results are intended to generalize is a critical decision. Randomized and observational studies each have strengths and limitations for estimating causal effects in a target population. Estimates from randomized data may have internal validity but are often not representative of the target population. Observational data may better reflect the target population, and hence be more likely to have external validity, but are subject to potential bias due to unmeasured confounding. While much of the causal inference literature has focused on addressing internal validity bias, both internal and external validity are necessary for unbiased estimates in a target population. This paper presents a framework for addressing external validity bias, including a synthesis of approaches for generalizability and transportability, the assumptions they require, as well as tests for the heterogeneity of treatment effects and differences between study and target populations.


title: Grounded Relational Inference: Domain Knowledge Driven Explainable Autonomous Driving

abstract: Explainability is essential for autonomous vehicles and other robotics systems interacting with humans and other objects during operation. Humans need to understand and anticipate the actions taken by the machines for trustful and safe cooperation. In this work, we aim to develop an explainable model that generates explanations consistent with both human domain knowledge and the model's inherent causal relation. In particular, we focus on an essential building block of autonomous driving, multi-agent interaction modeling. We propose Grounded Relational Inference (GRI). It models an interactive system's underlying dynamics by inferring an interaction graph representing the agents' relations. We ensure a semantically meaningful interaction graph by grounding the relational latent space into semantic interactive behaviors defined with expert domain knowledge. We demonstrate that it can model interactive traffic scenarios under both simulation and real-world settings, and generate semantic graphs explaining the vehicle's behavior by their interactions.


title: Handling Background Noise in Neural Speech Generation

abstract: Recent advances in neural-network based generative modeling of speech has shown great potential for speech coding. However, the performance of such models drops when the input is not clean speech, e.g., in the presence of background noise, preventing its use in practical applications. In this paper we examine the reason and discuss methods to overcome this issue. Placing a denoising preprocessing stage when extracting features and target clean speech during training is shown to be the best performing strategy.