title: DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies

abstract: Reusing code snippets shared by other programmers on Q&A forums (e.g., StackOverflow) is a common practice followed by software developers. However, lack of sufficient information about the fully qualified name (FQN) of identifiers in borrowed code snippets, results in serious compile errors. Programmers either have to manually search for the correct FQN of identifiers which is a tedious and error-prone process, or use tools developed to automatically identify correct FQNs. Despite the efforts made by researchers to automatically identify FQNs in code snippets, the current approaches suffer from low accuracy when it comes to practice. Moreover, while these tools focus on resolving the FQN for an identifier in a code snippet, they leave the challenge of finding the correct third-party library (i.e., dependency) implementing that FQN unresolved. Using an incorrect dependency or incorrect version of a dependency might lead to a semantic error which is not detectable by compilers. Therefore, it can result in serious damages in the run-time. In this paper, we introduce DepRes, a tool that leverages a sketch-based approach to resolve FQNs in java-based code snippets and recommend the correct dependency for each FQN. The source code, documentation, as well as a demo video of DepRes tool is available from its code repository at https://github.com/SoftwareDesignLab/DepRes-Tool.


title: Consistent Depth of Moving Objects in Video

abstract: We present a method to estimate depth of a dynamic scene, containing arbitrary moving objects, from an ordinary video captured with a moving camera. We seek a geometrically and temporally consistent solution to this underconstrained problem: the depth predictions of corresponding points across frames should induce plausible, smooth motion in 3D. We formulate this objective in a new test-time training framework where a depth-prediction CNN is trained in tandem with an auxiliary scene-flow prediction MLP over the entire input video. By recursively unrolling the scene-flow prediction MLP over varying time steps, we compute both short-range scene flow to impose local smooth motion priors directly in 3D, and long-range scene flow to impose multi-view consistency constraints with wide baselines. We demonstrate accurate and temporally coherent results on a variety of challenging videos containing diverse moving objects (pets, people, cars), as well as camera motion. Our depth maps give rise to a number of depth-and-motion aware video editing effects such as object and lighting insertion.


title: LISA Sensitivity and SNR Calculations

abstract: This Technical Note (LISA reference LISA-LCST-SGS-TN-001) describes the computation of the noise power spectral density, the sensitivity curve and the signal-to-noise ratio for LISA (Laser Interferometer Antenna). It is an applicable document for ESA (European Space Agency) and the reference for the LISA Science Requirement Document.


title: $(k,H)$-kernels in nearly tournaments

abstract: Let $H$ be a digraph possibly with loops, $D$ a digraph without loops, and $\rho : A(D) \rightarrow V(H)$ a coloring of $A(D)$ ($D$ is said to be an $H$-colored digraph). If $W=(x_{0}, \ldots , x_{n})$ is a walk in $D$, and $i \in \{ 0, \ldots , n-1 \}$, we say that there is an obstruction on $x_{i}$ whenever $(\rho(x_{i-1}, x_{i}), \rho (x_{i}, x_{i+1})) \notin A(H)$ (when $x_{0} = x_{n}$ the indices are taken modulo $n$). We denote by $O_{H}(W)$ the set $\{ i \in \{0, \ldots , n-1 \} :$ there is an obstruction on $x_{i} \}$. The $H$-length of $W$, denoted by $l_{H}(W)$, is defined by $|O_{H}(W)|+1$ whenever $x_{0} \neq x_{n}$, or $|O_{H}(W)|$ in other case. A $(k, H)$-kernel of an $H$-colored digraph $D$ ($k \geq 2$) is a subset of vertices of $D$, say $S$, such that, for every pair of different vertices in $S$, every path between them has $H$-length at least $k$, and for every vertex $x \in V(D) \setminus S$ there exists an $xS$-path with $H$-length at most $k-1$. This concept widely generalize previous nice concepts as kernel, $k$-kernel, kernel by monochromatic paths, kernel by properly colored paths, and $H$-kernel. In this paper, we will study the existence of $(k,H)$-kernels in interesting classes of digraphs, called nearly tournaments, which have been large and widely studied due its applications and theoretical results. We will show several conditions that guarantee the existence of $(k,H)$-kernel in tournaments, $r$-transitive digraphs, $r$-quasi-transitive digraphs, multipartite tournaments, and local tournaments.


title: Data Collection and Labeling of Real-Time IoT-Enabled Bio-Signals in Everyday Settings for Mental Health Improvement

abstract: Real-time physiological data collection and analysis play a central role in modern well-being applications. Personalized classifiers and detectors have been shown to outperform general classifiers in many contexts. However, building effective personalized classifiers in everyday settings - as opposed to controlled settings - necessitates the online collection of a labeled dataset by interacting with the user. This need leads to several challenges, ranging from building an effective system for the collection of the signals and labels, to developing strategies to interact with the user and building a dataset that represents the many user contexts that occur in daily life. Based on a stress detection use case, this paper (1) builds a system for the real-time collection and analysis of photoplethysmogram, acceleration, gyroscope, and gravity data from a wearable sensor, as well as self-reported stress labels based on Ecological Momentary Assessment (EMA), and (2) collects and analyzes a dataset to extract statistics of users' response to queries and the quality of the collected signals as a function of the context, here defined as the user's activity and the time of the day.


title: Optimal qubit circuits for quantum-enhanced telescopes

abstract: We propose two optimal phase-estimation schemes that can be used for quantum-enhanced long-baseline interferometry. By using distributed entanglement, it is possible to eliminate the loss of stellar photons during transmission over the baselines. The first protocol is a sequence of gates using nonlinear optical elements, optimized over all possible measurement schemes to saturate the Cram\'er-Rao bound. The second approach builds on an existing protocol, which encodes the time of arrival of the stellar photon into a quantum memory. Our modified version reduces both the number of ancilla qubits and the number of gate operations by a factor of two.


title: Active dipolar spheroids in shear flow and transverse field: Population splitting, cross-stream migration and orientational pinning

abstract: We study the steady-state behavior of active, dipolar, Brownian spheroids in a planar channel subjected to an imposed Couette flow and an external transverse field, applied in the 'downward' normal-to-flow direction. The field-induced torque on active spheroids (swimmers) is taken to be of magnetic form by assuming that they have a permanent magnetic dipole moment, pointing along their self-propulsion (swim) direction. Using a continuum approach, we show that a host of behaviors emerge over the parameter space spanned by the particle aspect ratio, self-propulsion and shear/field strengths, and the channel width. The cross-stream migration of the model swimmers is shown to involve a regime of linear response (quantified by a linear-response factor) in weak fields. For prolate swimmers, the weak-field behavior crosses over to a regime of full swimmer migration to the bottom half of the channel in strong fields. For oblate swimmers, a counterintuitive regime of reverse migration arises in intermediate fields, where a macroscopic fraction of swimmers reorient and swim to the top channel half at an acute `upward' angle relative to the field axis. The diverse behaviors reported here are analyzed based on the shear-induced population splitting (bimodality) of the swim orientation, giving two distinct, oppositely polarized, swimmer subpopulations (albeit very differently for prolate/oblate swimmers) in each channel half. In strong fields, swimmers of both types exhibit net upstream currents relative to the laboratory frame. The onsets of full migration and net upstream current depend on the aspect ratio, enabling efficient particle separation strategies in microfluidic setups.

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


title: Redshift Estimation and Constraints on Intergalactic and Interstellar Media from Dispersion and Scattering of Fast Radio Bursts

abstract: A sample of 14 FRBs with measured redshifts and scattering times is used to assess contributions to dispersion and scattering from the intergalactic medium (IGM), galaxy halos, and the disks of host galaxies. The IGM and galaxy halos contribute significantly to dispersion measures but evidently not to scattering, which is then dominated by host galaxies. This enables usage of scattering times for estimating DM contributions from host galaxies and also for a combined scattering-dispersion redshift estimator. Redshift estimation is calibrated using scattering of Galactic pulsars after taking into account different scattering geometries for Galactic and intergalactic lines of sight. The DM-only estimator has a bias $\sim 0.1$ and RMS error $\sim 0.15$ in the redshift estimate for an assumed ad-hoc value of 50 pc cm$^{-3}$ for the host galaxy's DM contribution. The combined redshift estimator shows less bias by a factor of four to ten and a 20 to 40% smaller RMS error. We find that values for the baryonic fraction of the ionized IGM $f_{\rm igm} \sim 0.85 \pm 0.05$ optimize redshift estimation using dispersion and scattering. Our study suggests that two of the 14 candidate galaxy associations (FRB 20190523 and FRB~20190611B) should be reconsidered.


title: Search for Galactic Civilizations Using Historical Supernovae

abstract: We study an interstellar signaling scheme which was originally proposed by Seto (2019) and efficiently links intentional transmitters to ETI searchers through a conspicuous astronomical burst, without prior communication. Based on the geometrical and game theoretic viewpoints, the scheme can be refined so that intentional signals can be sent and received after observing a reference burst, in contrast to the original proposal (before observing a burst). Given this inverted temporal structure, Galactic supernovae recorded in the past 2000 years can be regarded as interesting guideposts for an ETI search. While the best use period of SN 393 has presumably passed $\sim$100 years ago, some of the historical supernovae might allow us to compactify the ETI survey regions down to less than one present of $4\pi$, around two rings in the sky.


title: Knowledge-intensive Language Understanding for Explainable AI

abstract: AI systems have seen significant adoption in various domains. At the same time, further adoption in some domains is hindered by inability to fully trust an AI system that it will not harm a human. Besides the concerns for fairness, privacy, transparency, and explainability are key to developing trusts in AI systems. As stated in describing trustworthy AI "Trust comes through understanding. How AI-led decisions are made and what determining factors were included are crucial to understand." The subarea of explaining AI systems has come to be known as XAI. Multiple aspects of an AI system can be explained; these include biases that the data might have, lack of data points in a particular region of the example space, fairness of gathering the data, feature importances, etc. However, besides these, it is critical to have human-centered explanations that are directly related to decision-making similar to how a domain expert makes decisions based on "domain knowledge," that also include well-established, peer-validated explicit guidelines. To understand and validate an AI system's outcomes (such as classification, recommendations, predictions), that lead to developing trust in the AI system, it is necessary to involve explicit domain knowledge that humans understand and use.


title: A computational geometry approach for modeling neuronal fiber pathways

abstract: We propose a novel and efficient algorithm to model high-level topological structures of neuronal fibers. Tractography constructs complex neuronal fibers in three dimensions that exhibit the geometry of white matter pathways in the brain. However, most tractography analysis methods are time consuming and intractable. We develop a computational geometry-based tractography representation that aims to simplify the connectivity of white matter fibers. Given the trajectories of neuronal fiber pathways, we model the evolution of trajectories that encodes geometrically significant events and calculate their point correspondence in the 3D brain space. Trajectory inter-distance is used as a parameter to control the granularity of the model that allows local or global representation of the tractogram. Using diffusion MRI data from Alzheimer's patient study, we extract tractography features from our model for distinguishing the Alzheimer's subject from the normal control. Software implementation of our algorithm is available on GitHub.


title: Hierarchical Representations and Explicit Memory: Learning Effective Navigation Policies on 3D Scene Graphs using Graph Neural Networks

abstract: Representations are crucial for a robot to learn effective navigation policies. Recent work has shown that mid-level perceptual abstractions, such as depth estimates or 2D semantic segmentation, lead to more effective policies when provided as observations in place of raw sensor data (e.g., RGB images). However, such policies must still learn latent three-dimensional scene properties from mid-level abstractions. In contrast, high-level, hierarchical representations such as 3D scene graphs explicitly provide a scene's geometry, topology, and semantics, making them compelling representations for navigation. In this work, we present a reinforcement learning framework that leverages high-level hierarchical representations to learn navigation policies. Towards this goal, we propose a graph neural network architecture and show how to embed a 3D scene graph into an agent-centric feature space, which enables the robot to learn policies for low-level action in an end-to-end manner. For each node in the scene graph, our method uses features that capture occupancy and semantic content, while explicitly retaining memory of the robot trajectory. We demonstrate the effectiveness of our method against commonly used visuomotor policies in a challenging object search task. These experiments and supporting ablation studies show that our method leads to more effective object search behaviors, exhibits improved long-term memory, and successfully leverages hierarchical information to guide its navigation objectives.


title: Mapping ultrafast timing jitter in dispersion-managed 89 GHz frequency microcombs via self-heterodyne linear interferometry

abstract: Laser frequency microcombs provide equidistant coherent frequency markers over a broad spectrum, enabling new frontiers in chip-scale frequency metrology, laser spectroscopy, dense optical communications, precision distance metrology and astronomy. Here we demonstrate thermally stabilized frequency microcomb formation in dispersion-managed microresonators at the different mode-locking states featured with the negligible center frequency shift and broad frequency bandwidth. Subsequently, femtosecond timing jitter in the microcombs are characterized, supported by precision metrology on the timing phase, relative intensity noise and instantaneous linewidth. We contrast the fundamental noise for a range of 89 GHz microcomb states, from soliton crystals to multiple solitons and single-soliton regimes, determined by pump-resonance detuning. For the single-soliton state, we report a close-to-shot-noise-limited relative intensity noise of -153.2 dB/Hz and a quantum-noise-limited timing jitter power spectral density of 0.4 as2/Hz, at 100 kHz offset frequency. This is enabled by a self-heterodyne linear interferometer with 94.2 zs/Hz1/2 timing resolution, 50.6 mHz/Hz1/2 RF frequency resolution, and 6.7 uV/Hz frequency discrimination sensitivity. We achieve an integrated timing jitter at 1.7 fs, integrated from 10 kHz to 1 MHz. Measuring and understanding the fundamental noise parameters in these high-clock-rate frequency microcombs are essential to advance soliton physics and precision microwave-optical clockwork.


title: Higman-Thompson groups from self-similar groupoid actions

abstract: Given a self-similar groupoid action $(G,E)$ on a finite directed graph, we prove some properties of the corresponding ample groupoid of germs $\mathcal G(G,E)$. We study the analogue of the Higman-Thompson group associated to $(G,E)$ using $G$-tables and relate it to the topological full group of $\mathcal G(G,E)$, which is isomorphic to a subgroup of unitaries in the algebra $C^*(G,E)$. After recalling some concepts in groupoid homology, we discuss the Matui's AH-conjecture for $\mathcal G(G,E)$ in some particular cases.


title: On the Fukui-Kurdyka-Paunescu Conjecture

abstract: In this paper, we prove Fukui-Kurdyka-Paunescu's Conjecture, which says that subanalytic arc-analytic bi-Lipschitz homeomorphisms preserve the multiplicities of real analytic sets. We also prove several other results on the invariance of the multiplicity (resp. degree) of real and complex analytic (resp. algebraic) sets. For instance, still in the real case, we prove a global version of Fukui-Kurdyka-Paunescu's Conjecture. In the complex case, one of the results that we prove is the following: If $(X,0)\subset (\mathbb{C}^n,0), (Y,0)\subset (\mathbb{C}^m,0)$ are germs of analytic sets and $h\colon (X,0)\to (Y,0)$ is a semi-bi-Lipschitz homeomorphism whose graph is a complex analytic set, then the germs $(X,0)$ and $(Y,0)$ have the same multiplicity. One of the results that we prove in the global case is the following: If $X\subset \mathbb{C}^n, Y\subset \mathbb{C}^m$ are algebraic sets and $\phi\colon X\to Y$ is a semialgebraic semi-bi-Lipschitz homeomorphism such that the closure of its graph in $\mathbb{P}^{n+m}(\mathbb{C})$ is an orientable homological cycle, then ${\rm deg}(X)={\rm deg}(Y)$.


title: Galois correspondence for group-type partial actions of groupoids

abstract: Let $\operatorname{G}$ be a finite groupoid and $\alpha=(S_g,\alpha_g)_{g\in \operatorname{G}}$ a unital partial action of group-type of $\operatorname{G}$ on a commutative ring $S=\oplus_{y\in\operatorname{G}_0}S_y$. We shall prove a Galois correspondence between a class of wide subgroupoids of $\operatorname{G}$ and a class of subrings of $S$. We recover known results for global groupoid actions and we give several examples to illustrate the correspondence.


title: Waveform Selection for Radar Tracking in Target Channels With Memory via Universal Learning

abstract: In tracking radar, the sensing environment often varies significantly over a track duration due to the target's trajectory and dynamic interference. Adapting the radar's waveform using partial information about the state of the scene has been shown to provide performance benefits in many practical scenarios. Moreover, radar measurements generally exhibit strong temporal correlation, allowing memory-based learning algorithms to effectively learn waveform selection strategies. This work examines a radar system which builds a compressed model of the radar-environment interface in the form of a context-tree. The radar uses this context tree-based model to select waveforms in a signal-dependent target channel, which may respond adversarially to the radar's strategy. This approach is guaranteed to asymptotically converge to the average-cost optimal policy for any stationary target channel that can be represented as a Markov process of order U < $\infty$, where the constant U is unknown to the radar. The proposed approach is tested in a simulation study, and is shown to provide tracking performance improvements over two state-of-the-art waveform selection schemes.


title: Underreporting of errors in NLG output, and what to do about it

abstract: We observe a severe under-reporting of the different kinds of errors that Natural Language Generation systems make. This is a problem, because mistakes are an important indicator of where systems should still be improved. If authors only report overall performance metrics, the research community is left in the dark about the specific weaknesses that are exhibited by `state-of-the-art' research. Next to quantifying the extent of error under-reporting, this position paper provides recommendations for error identification, analysis and reporting.


title: Long-Time Error-Mitigating Simulation of Open Quantum Systems on Near Term Quantum Computers

abstract: We study an open quantum system simulation on quantum hardware, which demonstrates robustness to hardware errors even with deep circuits containing up to two thousand entangling gates. We simulate two systems of electrons coupled to an infinite thermal bath: 1) a system of dissipative free electrons in a driving electric field; and 2) the thermalization of two interacting electrons in a single orbital in a magnetic field -- the Hubbard atom. These problems are solved using IBM quantum computers, showing no signs of decreasing fidelity at long times. Our results demonstrate that algorithms for simulating open quantum systems are able to far outperform similarly complex non-dissipative algorithms on noisy hardware. Our two examples show promise that the driven-dissipative quantum many-body problem can eventually be solved on quantum computers.


title: Gravitational-wave searches in the era of Advanced LIGO and Virgo

abstract: The field of gravitational-wave astronomy has been opened up by gravitational-wave observations made with interferometric detectors. This review surveys the current state-of-the-art in gravitational-wave detectors and data analysis methods currently used by the Laser Interferometer Gravitational-Wave Observatory in the United States and the Virgo Observatory in Italy. These analysis methods will also be used in the recently completed KAGRA Observatory in Japan. Data analysis algorithms are developed to target one of four classes of gravitational waves. Short duration, transient sources include compact binary coalescences, and burst sources originating from poorly modelled or unanticipated sources. Long duration sources include sources which emit continuous signals of consistent frequency, and many unresolved sources forming a stochastic background. A description of potential sources and the search for gravitational waves from each of these classes are detailed.


title: Weakly multiplicative distributions and weighted Dirichlet spaces

abstract: We show that if $u$ is a compactly supported distribution on the complex plane such that, for every pair of entire functions $f,g$, \[ \langle u,f\overline{g}\rangle=\langle u,f\rangle\langle u,\overline{g}\rangle, \] then $u$ is supported at a single point. As an application, we complete the classification of all weighted Dirichlet spaces on the unit disk that are de Branges-Rovnyak spaces by showing that, for such spaces, the weight is necessarily a superharmonic function.


title: Implementation of Perdew-Zunger self-interaction correction in real space using Fermi-L\"owdin orbitals

abstract: Most widely used density functional approximations suffer from self-interaction (SI) error, which can be corrected using the Perdew-Zunger (PZ) self-interaction correction (SIC). We implement the recently proposed size-extensive formulation of PZ-SIC using Fermi-L\"owdin Orbitals (FLOs) in real space, which is amenable to systematic convergence and large-scale parallelization. We verify the new formulation within the generalized Slater scheme by computing atomization energies and ionization potentials of selected molecules and comparing to those obtained by existing FLOSIC implementations in Gaussian based codes. The results show good agreement between the two formulations, with new real-space results somewhat closer to experiment on average for the systems considered. We also obtain the ionization potentials and atomization energies by scaling down the Slater statistical average of SIC potentials. The results show that scaling down the average SIC potential improves both atomization energies and ionization potentials, bringing them closer to experiment. Finally, we verify the present formulation by calculating the barrier heights of chemical reactions in the BH6 dataset, where significant improvements are obtained relative to Gaussian based FLOSIC results.


title: Experimental Demonstration of Broadband Reconfigurable Mechanical Nonreciprocity

abstract: Breaking reciprocity has recently gained significant attention due to its broad range of applications in engineering systems. Here, we introduce the first experimental demonstration of a broadband mechanical beam waveguide, which can be reconfigured to represent wave nonreciprocity. This is achieved by using spatiotemporal stiffness modulation with piezoelectric patches in a closed-loop controller. Using a combination of analytical methods, numerical simulations, and experimental measurements, we show that contrary to the conventional shunted piezoelectrics or nonlinearity based methods, our setup is stable, less complicated, reconfigurable, and precise over a broad range of frequencies. Our reconfigurable nonreciprocal system has potential applications in phononic logic, wave diodes, energy trapping, and localization.


title: A Technical Primer on the Physical Modeling of Diffusion-Encoded Magnetic Resonance Experiments: A Random Process Perspective

abstract: Diffusion-encoded magnetic resonance (MR) experiments can provide important insights into the microstructural characteristics of a variety of biological tissues and other fluid- or gas-filled porous media. The physics of diffusion encoding has been studied extensively over the span of many decades, and many excellent descriptions can be found in the literature -- see, e.g., Refs. [1-5]. However, many of these descriptions spend relatively little time focusing on random process descriptions of the diffusion process, instead relying on different abstractions. In this primer, we describe diffusion-encoded MR experiments from a random process perspective. While the results we derive from this perspective are quite standard (and match the results obtained with other arguments), we expect that the alternative derivations may be insightful for some readers. This primer is intended for technical readers who have a graduate-level understanding of random processes. Readers are also expected to already have good familiarity with the basics of MR, and we anticipate that a signal processing perspective on MR [6] will be especially complementary to the random process perspectives presented herein.


title: Numerical investigation of turbulence of surface gravity waves

abstract: In this paper, we numerically study the wave turbulence of surface gravity waves in the framework of Euler equations of the free surface. The purpose is to understand the variation of the scaling of the spectra with wavenumber $k$ and energy flux $P$ at different nonlinearity levels under different forcing/free-decay conditions. For all conditions (free decay, narrow- and broadband forcing) we consider, we find that the spectral forms approach wave turbulence theory (WTT) solution $S_\eta\sim k^{-5/2}$ and $S_\eta\sim P^{1/3}$ at high nonlinearity levels. With the decrease of nonlinearity level, the spectra for all cases become steeper, with the narrow-band forcing case exhibiting the most rapid deviation from WTT. To interpret these spectral variations, we further investigate two hypothetical and disputable mechanisms about bound waves and finite-size effect. Through a tri-coherence analysis, we find that the finite-size effect is present in all cases, which is responsible for the overall steepening of the spectra and reduced capacity of energy flux at lower nonlinearity levels. The fraction of bound waves in the domain generally decreases with the decrease of nonlinearity level, except for the narrow-band case, which exhibits a transition at some critical nonlinearity level below which a rapid increase is observed. This increase serves as the main reason for the fastest deviation from WTT with the decrease of nonlinearity in the narrow-band forcing case.


title: Theory-agnostic tests of gravity with black hole shadows

abstract: Observations of black hole shadows with the Event Horizon Telescope have paved way for a novel approach to testing Einstein's theory of general relativity. Early analyses of the measured shadow put constraints on theory-agnostic parameters typically used to study deviations from Einstein's theory, but the robustness of these constraints was called into question. In this letter, we use a generic theory-agnostic metric to study the robustness of parameter estimation with BH shadows, taking into consideration current measurements made with the Event Horizon Telescope and future measurements expected with the Event Horizon Imager. We find that the robustness issue is highly nuanced, and parameter constraints can be highly misleading if parameter degeneracy is not handled carefully. We find that a certain kind of deviation is particularly well suited for the shadow based analysis, and can be recovered robustly with shadow measurements in the future.


title: Core-shell droplets and microcapsules formed through liquid-liquid phase separation of a colloid-polymer mixture

abstract: Microcapsules allow for the controlled containment, transport, and release of cargoes ranging from pharmaceuticals to fragrances. Given the interest from a variety of industries in microcapsules and other core-shell structures, a multitude of fabrication strategies exist. Here, we report on a method relying on a mixture of temperature-responsive microgel particles, poly(N-isopropylacrylamide) (pNIPAM), and a polymer which undergo fluid-fluid phase separation. At room temperature this mixture separates into colloid-rich (liquid) and colloid-poor (gas) fluids. By heating the sample above a critical temperature where the microgel particles shrink dramatically and develop a more deeply attractive interparticle potential, the droplets of the colloid-rich phase become gel-like. As the temperature is lowered back to room temperature, these droplets of gelled colloidal particles reliquefy and phase separation within the droplet occurs. This phase separation leads to colloid-poor droplets within the colloid-rich droplets surrounded by a continuous colloid-poor phase. The gas/liquid/gas all-aqueous double emulsion lasts only a few minutes before a majority of the inner droplets escape. However, the colloid-rich shell of the core-shell droplets can solidify with the addition of salt. That this method creates a core-shell structures with a shell composed of stimuli-sensitive microgel colloidal particles using only aqueous components makes it attractive for encapsulating biological materials and making capsules that respond to changes in, for example, temperature, salt concentration, or pH.


title: MOHAQ: Multi-Objective Hardware-Aware Quantization of Recurrent Neural Networks

abstract: The compression of deep learning models is of fundamental importance in deploying such models to edge devices. The selection of compression parameters can be automated to meet changes in the hardware platform and application using optimization algorithms. This article introduces a Multi-Objective Hardware-Aware Quantization (MOHAQ) method, which considers hardware efficiency and inference error as objectives for mixed-precision quantization. The proposed method feasibly evaluates candidate solutions in a large search space by relying on two steps. First, post-training quantization is applied for fast solution evaluation (inference-only search). Second, we propose the "beacon-based search" to retrain selected solutions only and use them as beacons to know the effect of retraining on other solutions. We use a speech recognition model based on Simple Recurrent Unit (SRU) using the TIMIT dataset and apply our method to run on SiLago and Bitfusion platforms. We provide experimental evaluations showing that SRU can be compressed up to 8x by post-training quantization without any significant error increase. On SiLago, we found solutions that achieve 97\% and 86\% of the maximum possible speedup and energy saving, with a minor increase in error. On Bitfusion, beacon-based search reduced the error gain of inference-only search by up to 4.9 percentage points.


title: Wide-Area Damping Control for Interarea Oscillations in Power Grids Based on PMU Measurements

abstract: In this paper, a phasor measurement unit (PMU)-based wide-area damping control method is proposed to damp the interarea oscillations that threaten the modern power system stability and security. Utilizing the synchronized PMU data, the proposed almost model-free approach can achieve an effective damping for the selected modes using a minimum number of synchronous generators. Simulations are performed to show the validity of the proposed wide-area damping control scheme.


title: Dynamic modeling of the Italians' attitude towards Covid-19

abstract: We analyze repeated cross-sectional survey data collected by the Institute of Global Health Innovation, to characterize the perception and behavior of the Italian population during the Covid-19 pandemic, focusing on the period that spans from April to November 2020. To accomplish this goal, we propose a Bayesian dynamic latent-class regression model, that accounts for the effect of sampling bias including survey weights into the likelihood function. According to the proposed approach, attitudes towards Covid-19 are described via three ideal behaviors that are fixed over time, corresponding to different degrees of compliance with spread-preventive measures. The overall tendency toward a specific profile dynamically changes across survey waves via a latent Gaussian process regression, that adjusts for subject-specific covariates. We illustrate the dynamic evolution of Italians' behaviors during the pandemic, providing insights on how the proportion of ideal behaviors has varied during the phases of the lockdown, while measuring the effect of age, sex, region and employment of the respondents on the attitude toward Covid-19.


title: $k$-spaces, sequential spaces and related topics in the absence of the axiom of choice

abstract: In the absence of the axiom of choice, new results concerning sequential, Fr\'echet-Urysohn, $k$-spaces, very $k$-spaces, Loeb and Cantor completely metrizable spaces are shown. New choice principles are introduced. Among many other theorems, it is proved in $\mathbf{ZF}$ that every Loeb, $T_3$-space having a base expressible as a countable union of finite sets is a metrizable second-countable space whose every $F_{\sigma}$-subspace is separable; moreover, every $G_{\delta}$-subspace of a second-countable, Cantor completely metrizable space is Cantor completely metrizable, Loeb and separable. It is also noticed that Arkhangel'skii's statement that every very $k$-space is Fr\'echet-Urysohn is unprovable in $\mathbf{ZF}$ but it holds in $\mathbf{ZF}$ that every first-countable, regular very $k$-space whose family of all non-empty compact sets has a choice function is Fr\'echet-Urysohn. That every second-countable metrizable space is a very $k$-space is equivalent to the axiom of countable choice for $\mathbb{R}$.


title: Rectangular Planar vs Concentric Circular Array for 5G Beamforming

abstract: The transmitter signals in the fifth generation (5G) wireless networks suffer from significant path loss due to the use of higher frequencies in Sub-6 GHz and millimeter-wave (mmWave) bands. Therefore, beamforming is an essential and powerful tool in 5G to enhance signal for the desired direction and suppress interferences from other directions. For a given number of antenna elements, the geometry of the array dictates its beam pattern. Most of the works in the existing literature address the use of rectangular planar antenna (RPA) arrays for 5G beamforming. In this work, we demonstrate that a concentric circular antenna (CCA) array is capable of generating a significantly narrower beam than an RPA array while operating with a notably lesser number of antenna elements on a considerably smaller area. This capability of the CCA array can be exploited and utilized in enhancing the performance of a 5G network in both the link and the system levels.


title: Enhanced wind-farm performance using windbreaks

abstract: The flow speed-up generated by windbreaks can be used to increase the power production of wind turbines. However, due to the increased drag imposed by the windbreaks, their use in large wind turbine arrays has been questioned. We use large eddy simulations to show that windbreaks can increase the power production of large wind farms. A crucial finding is that windbreaks in a wind farm should be much lower than for a single turbine case. In fact, the optimal windbreak for an isolated turbine can reduce wind farm performance. The optimal windbreak height in a wind farm namely depends on the right balance between flow speed-up over the windbreak and the drag imposed by all windbreaks in the farm. The increased performance is a result of the favorable total pressure flux created by the windbreaks.


title: Stochasticity of infectious outbreaks and consequences for optimal interventions

abstract: Global strategies to contain a pandemic, such as social distancing and protective measures, are designed to reduce the overall transmission rate between individuals. Despite such measures, essential institutions, including hospitals, schools, and food producing plants, remain focal points of local outbreaks. Here we develop a model for the stochastic outbreak dynamics in such local communities. We derive analytical expressions for the probability of containment of the outbreak, which is complementary to the probability of seeding a deterministically growing epidemic. This probability depends on the statistics of the intra-community contact network and the initial conditions, in particular, on the contact degree of patient zero. Based on this model, we suggest surveillance protocols by which individuals are tested proportionally to their degree in the contact network. We characterize the efficacy of contact-based protocols as a function of the epidemiological and the contact network parameters, and show numerically that such protocols outperform random testing.


title: Neural Image Representations for Multi-Image Fusion and Layer Separation

abstract: We propose a framework for aligning and fusing multiple images into a single view using neural image representations (NIRs), also known as implicit or coordinate-based neural representations. Our framework targets burst images that exhibit camera ego motion and potential changes in the scene. We describe different strategies for alignment depending on the nature of the scene motion -- namely, perspective planar (i.e., homography), optical flow with minimal scene change, and optical flow with notable occlusion and disocclusion. With the neural image representation, our framework effectively combines multiple inputs into a single canonical view without the need for selecting one of the images as a reference frame. We demonstrate how to use this multi-frame fusion framework for various layer separation tasks. The code and results are available at https://shnnam.github.io/research/nir.


title: Multispectral Vineyard Segmentation: A Deep Learning approach

abstract: Digital agriculture has evolved significantly over the last few years due to the technological developments in automation and computational intelligence applied to the agricultural sector, including vineyards which are a relevant crop in the Mediterranean region. In this work, a study is presented of semantic segmentation for vine detection in real-world vineyards by exploring state-of-the-art deep segmentation networks and conventional unsupervised methods. Camera data have been collected on vineyards using an Unmanned Aerial System (UAS) equipped with a dual imaging sensor payload, namely a high-definition RGB camera and a five-band multispectral and thermal camera. Extensive experiments using deep-segmentation networks and unsupervised methods have been performed on multimodal datasets representing four distinct vineyards located in the central region of Portugal. The reported results indicate that SegNet, U-Net, and ModSegNet have equivalent overall performance in vine segmentation. The results also show that multimodality slightly improves the performance of vine segmentation, but the NIR spectrum alone generally is sufficient on most of the datasets. Furthermore, results suggest that high-definition RGB images produce equivalent or higher performance than any lower resolution multispectral band combination. Lastly, Deep Learning (DL) networks have higher overall performance than classical methods. The code and dataset are publicly available at https://github.com/Cybonic/DL_vineyard_segmentation_study.git


title: Euclid preparation: I. The Euclid Wide Survey

abstract: Euclid is an ESA mission designed to constrain the properties of dark energy and gravity via weak gravitational lensing and galaxy clustering. It will carry out a wide area imaging and spectroscopy survey (EWS) in visible and near-infrared, covering roughly 15,000 square degrees of extragalactic sky on six years. The wide-field telescope and instruments are optimized for pristine PSF and reduced straylight, producing very crisp images. This paper presents the building of the Euclid reference survey: the sequence of pointings of EWS, Deep fields, Auxiliary fields for calibrations, and spacecraft movements followed by Euclid as it operates in a step-and-stare mode from its orbit around the Lagrange point L2. Each EWS pointing has four dithered frames; we simulate the dither pattern at pixel level to analyse the effective coverage. We use up-to-date models for the sky background to define the Euclid region-of-interest (RoI). The building of the reference survey is highly constrained from calibration cadences, spacecraft constraints and background levels; synergies with ground-based coverage are also considered. Via purposely-built software optimized to prioritize best sky areas, produce a compact coverage, and ensure thermal stability, we generate a schedule for the Auxiliary and Deep fields observations and schedule the RoI with EWS transit observations. The resulting reference survey RSD_2021A fulfills all constraints and is a good proxy for the final solution. Its wide survey covers 14,500 square degrees. The limiting AB magnitudes ($5\sigma$ point-like source) achieved in its footprint are estimated to be 26.2 (visible) and 24.5 (near-infrared); for spectroscopy, the H$_\alpha$ line flux limit is $2\times 10^{-16}$ erg cm$^{-2}$ s$^{-1}$ at 1600 nm; and for diffuse emission the surface brightness limits are 29.8 (visible) and 28.4 (near-infrared) mag arcsec$^{-2}$.


title: PIRM: Processing In Racetrack Memories

abstract: The growth in data needs of modern applications has created significant challenges for modern systems leading a "memory wall." Spintronic Domain Wall Memory (DWM), related to Spin-Transfer Torque Memory (STT-MRAM), provides near-SRAM read/write performance, energy savings and nonvolatility, potential for extremely high storage density, and does not have significant endurance limitations. However, DWM's benefits cannot address data access latency and throughput limitations of memory bus bandwidth. We propose PIRM, a DWM-based in-memory computing solution that leverages the properties of DWM nanowires and allows them to serve as polymorphic gates. While normally DWM is accessed by applying spin polarized currents orthogonal to the nanowire at access points to read individual bits, transverse access along the DWM nanowire allows the differentiation of the aggregate resistance of multiple bits in the nanowire, akin to a multilevel cell. PIRM leverages this transverse reading to directly provide bulk-bitwise logic of multiple adjacent operands in the nanowire, simultaneously. Based on this in-memory logic, PIRM provides a technique to conduct multi-operand addition and two operand multiplication using transverse access. PIRM provides a 1.6x speedup compared to the leading DRAM PIM technique for query applications that leverage bulk bitwise operations. Compared to the leading PIM technique for DWM, PIRM improves performance by 6.9x, 2.3x and energy by 5.5x, 3.4x for 8-bit addition and multiplication, respectively. For arithmetic heavy benchmarks, PIRM reduces access latency by 2.1x, while decreasing energy consumption by 25.2x for a reasonable 10% area overhead versus non-PIM DWM.


title: General null asymptotics and superrotation-compatible configuration spaces in $d\ge4$

abstract: We address the problem of consistent Campiglia-Laddha superrotations in $d>4$ by solving Bondi-Sachs gauge vacuum Einstein equations at the non-linear level with the most general boundary conditions preserving the null nature of infinity. We discuss how to generalise the boundary structure to make the configuration space compatible with supertanslation-like and superrotation-like transformations. One possibility requires that the time-independent boundary metric on the cuts of $\mathscr{I}$ is not fixed to be Einstein, while the other sticks to Einstein but time-dependent metrics. Both are novel features with respect to the four-dimensional case, where time-dependence of the two-dimensional cross-sectional metric is not required and the Einstein condition is trivially satisfied. Other cases are also discussed. These conditions imply that the configuration spaces are not asymptotically flat in the standard sense. We discuss the implications on the construction of the phase space and the relationship with soft scattering theorems. We show that in even spacetime dimensions, the initial data compatible with such asymptotic symmetries produce maximally polyhomogeneous expansions of the metric and we advance a potential interpretation of this structure in terms of AdS/CFT and realizations of Ricci-flat holography.


title: The RareDis corpus: a corpus annotated with rare diseases, their signs and symptoms

abstract: The RareDis corpus contains more than 5,000 rare diseases and almost 6,000 clinical manifestations are annotated. Moreover, the Inter Annotator Agreement evaluation shows a relatively high agreement (F1-measure equal to 83.5% under exact match criteria for the entities and equal to 81.3% for the relations). Based on these results, this corpus is of high quality, supposing a significant step for the field since there is a scarcity of available corpus annotated with rare diseases. This could open the door to further NLP applications, which would facilitate the diagnosis and treatment of these rare diseases and, therefore, would improve dramatically the quality of life of these patients.


title: Dynamics of quantum resources in regular and Majorana fermion systems

abstract: In recent years, the reassessment of quantum physical phenomena under the framework of resource theories has triggered the design of novel quantum technologies that take advantage from quantum resources, such as entanglement and quantum coherence. Bearing this in mind, in this work we study the dynamics of quantum resources for two solid-state fermionic quantum devices: (i) a system composed by a pair of Majorana fermions and (ii) another comprising a pair of regular fermions. In both systems, the fermionic species are coupled to a single-level quantum dot. From the interaction of these tripartite systems with a dissipative reservoir, we were able to characterize the dynamics of the devices for some initial states. By employing a time-nonlocal master equation approach, we obtain the evolution for fermionic occupations, quantum correlations, and quantum coherences in both the Markovian and non-Markovian dissipating regimes. We investigate the interconversion of local coherence and bipartite correlations for the marginal states in each device. While the dynamics of the entanglement and quantum coherence depend quite strongly on the temperature of the reservoir for regular fermions, we found these evolutions are qualitatively similar for the case of Majorana bound states regardless of temperature. Our results illustrate the use of quantum information-theoretic measures to characterize the role of quantum resources in fermion systems.


title: Coherent spin-spin coupling mediated by virtual microwave photons

abstract: We report the coherent coupling of two electron spins at a distance via virtual microwave photons. Each spin is trapped in a silicon double quantum dot at either end of a superconducting resonator, achieving spin-photon couplings up to around $g_s/2\pi = 40 \ \text{MHz}$. As the two spins are brought into resonance with each other, but detuned from the photons, an avoided crossing larger than the spin linewidths is observed with an exchange splitting around $2J/2\pi = 20 \ \text{MHz}$. In addition, photon-number states are resolved from the shift $2\chi_s/2\pi = -13 \ \text{MHz}$ that they induce on the spin frequency. These observations demonstrate that we reach the strong dispersive regime of circuit quantum electrodynamics with spins. Achieving spin-spin coupling without real photons is essential to long-range two-qubit gates between spin qubits and scalable networks of spin qubits on a chip.


title: Adoption Factors of Enabling I4.0 Technologies and Benefits in the Supply Chain

abstract: Industry 4.0 technologies is a new paradigm of integration of cyber-physical systems and information and communication solutions. This topic has been vaguely explored in social sciences; hence this study attempts to bridge this gap by investigating adoption process, based on I4.0 technologies. This paper aims to identify the barriers and benefits generated in the Supply Chain through a systematic literature review. The results present a framework that connects adoption factors, enabling technologies of I4.0, and benefits to the Supply Chain. innovations to be adopted.


title: User-Initiated Repetition-Based Recovery in Multi-Utterance Dialogue Systems

abstract: Recognition errors are common in human communication. Similar errors often lead to unwanted behaviour in dialogue systems or virtual assistants. In human communication, we can recover from them by repeating misrecognized words or phrases; however in human-machine communication this recovery mechanism is not available. In this paper, we attempt to bridge this gap and present a system that allows a user to correct speech recognition errors in a virtual assistant by repeating misunderstood words. When a user repeats part of the phrase the system rewrites the original query to incorporate the correction. This rewrite allows the virtual assistant to understand the original query successfully. We present an end-to-end 2-step attention pointer network that can generate the the rewritten query by merging together the incorrectly understood utterance with the correction follow-up. We evaluate the model on data collected for this task and compare the proposed model to a rule-based baseline and a standard pointer network. We show that rewriting the original query is an effective way to handle repetition-based recovery and that the proposed model outperforms the rule based baseline, reducing Word Error Rate by 19% relative at 2% False Alarm Rate on annotated data.


title: On ($1,C_4$) one-factorization and two orthogonal ($2,C_4$) one-factorization of complete graphs

abstract: An one-factorization $\mathcal{F}$ of the complete graph $K_n$ is ($l,C_k$), where $l\geq0$ and $k\geq4$ are integers, if the union $F\cup G$, for any $F,G\in\mathcal{F}$, includes exactly $l$ (edge-disjoint) cycles of length $k$ ($lk\leq n$). Moreover, a pair of orthogonal one-factorizations $\mathcal{F}$ and $\mathcal{G}$ of the complete graph $K_n$ is ($l,C_k$) if the union $F\cup G$, for any $F\in\mathcal{F}$ and $G\in\mathcal{G}$, includes exactly $l$ cycles of length $k$. In this paper, we prove the following: if $q\equiv11$ (mod 24) is an odd prime power, then there is a ($1,C_4$) one-factorization of $K_{q+1}$. Also, there is a pair of orthogonal ($2,C_4$) one-factorization of $K_{q+1}$.


title: Representation learning for neural population activity with Neural Data Transformers

abstract: Neural population activity is theorized to reflect an underlying dynamical structure. This structure can be accurately captured using state space models with explicit dynamics, such as those based on recurrent neural networks (RNNs). However, using recurrence to explicitly model dynamics necessitates sequential processing of data, slowing real-time applications such as brain-computer interfaces. Here we introduce the Neural Data Transformer (NDT), a non-recurrent alternative. We test the NDT's ability to capture autonomous dynamical systems by applying it to synthetic datasets with known dynamics and data from monkey motor cortex during a reaching task well-modeled by RNNs. The NDT models these datasets as well as state-of-the-art recurrent models. Further, its non-recurrence enables 3.9ms inference, well within the loop time of real-time applications and more than 6 times faster than recurrent baselines on the monkey reaching dataset. These results suggest that an explicit dynamics model is not necessary to model autonomous neural population dynamics. Code: https://github.com/snel-repo/neural-data-transformers


title: The Benefits of Spin Polarization for Inertial and Magneto-Inertial Fusion Propulsion

abstract: Spin-polarized fusion has the potential to lower the radiation shielding and ignition requirements for fusion rockets while simultaneously increasing the fusion fuel burnup and provide better momentum coupling to a spacecraft. This potential is estimated using simple, analytic techniques. Both DT and D\textsuperscript{3}He fusion fuels are analyzed.


title: Exploring the stellar rotation of early-type stars in the LAMOST Medium-Resolution Survey. I. Catalog

abstract: We derive stellar parameters and abundances (`stellar labels') of 40,034 late-B and A-type main-sequence stars extracted from the Large Sky Area Multi-Object Fiber Spectroscopic Telescope Medium Resolution Survey (LAMOST--MRS). The primary selection of our early-type sample was obtained from LAMOST Data Release 7 based on spectral line indices. We employed the Stellar LAbel Machine (SLAM) to derive their spectroscopic stellar parameters, drawing on Kurucz spectral synthesis models with 6000 K $< T_\mathrm{eff} <$ 15,000 K and $-1$ dex $< \mathrm{[M/H]} <$ 1 dex. For a signal-to-noise ratio of $\sim 60$, the cross-validated scatter is $\sim$75 K, 0.06 dex, 0.05 dex, and $\sim 3.5\,\mathrm{km\,s^{-1}}$ for $T_\mathrm{eff}$, $\log g$, [M/H], and $v\sin i$, respectively. A comparison with objects with prior, known stellar labels shows great consistency for all stellar parameters, except for $\log g$. Although this is an intrinsic caveat that comes from the MRS's narrow wavelength coverage, it only has a minor effect on estimates of the stellar rotation rates because of the decent spectral resolution and the profile-fitting method employed. The masses and ages of our early-type sample stars were inferred from non-rotating stellar evolution models. This paves the way for reviewing the properties of stellar rotation distributions as a function of stellar mass and age.


title: Exploring the stellar rotation of early-type stars in the LAMOST Medium-Resolution Survey. II. Statistics

abstract: Angular momentum is a key property regulating star formation and evolution. However, the physics driving the distribution of the stellar rotation rates of early-type main-sequence stars is as yet poorly understood. Using our catalog of 40,034 early-type stars with homogeneous $v\sin i$ parameters, we review the statistical properties of their stellar rotation rates. We discuss the importance of possible contaminants, including binaries and chemically peculiar stars. Upon correction for projection effects and rectification of the error distribution, we derive the distributions of our sample's equatorial rotation velocities, which show a clear dependence on stellar mass. Stars with masses less than $2.5\ {M_\odot}$ exhibit a unimodal distribution, with the peak velocity ratio increasing as stellar mass increases. A bimodal rotation distribution, composed of two branches of slowly and rapidly rotating stars, emerges for more massive stars ($M>2.5\ {M_\odot}$). For stars more massive than $3.0\ {M_\odot}$, the gap between the bifurcated branches becomes prominent. For the first time, we find that metal-poor ([M/H] $< -0.2$ dex) stars only exhibit a single branch of slow rotators, while metal-rich ([M/H] $> 0.2$ dex) stars clearly show two branches. The difference could be attributed to unexpectedly high spin-down rates and/or in part strong magnetic fields in the metal-poor subsample.


title: A Nonlocal Damage-enhanced Lattice Particle Model for Ductile Fracture Analysis

abstract: Ductile fracture of metallic materials typically involves the elastoplastic deformation and associated damaging process. The nonlocal lattice particle method (LPM) can be extended to model this complex behavior. Recently, a distortional energy-based model is formulated into LPM to simulate J2 plasticity. However, this model is based on the incremental updating algorithm which needs very small loading steps to get reasonable results. This is time-consuming and unstable for large systems. Therefore, in this paper, a tensor-based return-mapping algorithm is proposed to deal with these deficiencies. The material deterioration process is modelled as a nonlocal damage evolution process. The particle-size/lattice dependency of macroscopic mechanical responses are handled properly by using the proposed model. Numerical examples of predicting the elastoplastic behavior of engineering structures with/without damage and fracture are also provided. A multi-threaded implementation of LPM using C is available on the website: https://github.com/ymlasu/LPM-C.


title: Variational Actor-Critic Algorithms

abstract: We introduce a class of variational actor-critic algorithms based on a variational formulation over both the value function and the policy. The objective function of the variational formulation consists of two parts: one for maximizing the value function and the other for minimizing the Bellman residual. Besides the vanilla gradient descent with both the value function and the policy updates, we propose two variants, the clipping method and the flipping method, in order to speed up the convergence. We also prove that, when the prefactor of the Bellman residual is sufficiently large, the fixed point of the algorithm is close to the optimal policy.


title: DarkGAN: Exploiting Knowledge Distillation for Comprehensible Audio Synthesis with GANs

abstract: Generative Adversarial Networks (GANs) have achieved excellent audio synthesis quality in the last years. However, making them operable with semantically meaningful controls remains an open challenge. An obvious approach is to control the GAN by conditioning it on metadata contained in audio datasets. Unfortunately, audio datasets often lack the desired annotations, especially in the musical domain. A way to circumvent this lack of annotations is to generate them, for example, with an automatic audio-tagging system. The output probabilities of such systems (so-called "soft labels") carry rich information about the characteristics of the respective audios and can be used to distill the knowledge from a teacher model into a student model. In this work, we perform knowledge distillation from a large audio tagging system into an adversarial audio synthesizer that we call DarkGAN. Results show that DarkGAN can synthesize musical audio with acceptable quality and exhibits moderate attribute control even with out-of-distribution input conditioning. We release the code and provide audio examples on the accompanying website.


title: The case for a U(1)$_\pi$ Quantum Spin Liquid Ground State in the Dipole-Octupole Pyrochlore Ce$_2$Zr$_2$O$_7$

abstract: The Ce$^{3+}$ pseudospin-$\frac{1}{2}$ degrees of freedom in the pyrochlore magnet Ce$_2$Zr$_2$O$_7$ are known to possess dipole-octupole (DO) character, making it a candidate for novel quantum spin liquid (QSL) ground states at low temperatures. We report new polarized neutron diffraction at low temperatures, as well as heat capacity ($C_p$) measurements on single crystal Ce$_2$Zr$_2$O$_7$. The former bears both similarities and differences from that measured in the canonical dipolar spin ice compound Ho$_2$Ti$_2$O$_7$, while the latter rises sharply at low temperatures, initially plateauing near 0.08 K, before falling off towards a high temperature zero beyond 3 K. Above $\sim$0.5 K, the $C_p$ data set can be fit to the results of a quantum numerical linked cluster (NLC) calculation, carried out to 4$^{\mathrm{th}}$ order, that allows estimates for the terms in the near-neighbour XYZ Hamiltonian expected for such DO pyrochlore systems. Fits of the same theory to the temperature dependence of the magnetic susceptibility and unpolarized neutron scattering complement this analysis. A comparison between the resulting best fit NLC calculation and the polarized neutron diffraction shows both agreement and discrepancies, mostly in the form of zone-boundary diffuse scattering in the non-spin flip channel, which are attributed to interactions beyond near-neighbours. The lack of an observed thermodynamic anomaly and the constraints on the near-neighbour XYZ Hamiltonian suggest that Ce$_2$Zr$_2$O$_7$ realizes a U(1)$_\pi$ QSL state at low temperatures, and one that likely resides near the boundary between dipolar and octupolar character.


title: Generalized quantum circuit differentiation rules

abstract: Variational quantum algorithms that are used for quantum machine learning rely on the ability to automatically differentiate parametrized quantum circuits with respect to underlying parameters. Here, we propose the rules for differentiating quantum circuits (unitaries) with arbitrary generators. Unlike the standard parameter shift rule valid for unitaries generated by operators with spectra limited to at most two unique eigenvalues (represented by involutory and idempotent operators), our approach also works for generators with a generic non-degenerate spectrum. Based on a spectral decomposition, we derive a simple recipe that allows explicit derivative evaluation. The derivative corresponds to the weighted sum of measured expectations for circuits with shifted parameters. The number of function evaluations is equal to the number of unique positive non-zero spectral gaps (eigenvalue differences) for the generator. We apply the approach to relevant examples of two-qubit gates, among others showing that the fSim gate can be differentiated using four measurements. Additionally, we present generalized differentiation rules for the case of Pauli string generators, based on distinct shifts (here named as the triangulation approach), and analyse the variance for derivative measurements in different scenarios. Our work offers a toolbox for the efficient hardware-oriented differentiation needed for circuit optimization and operator-based derivative representation.


title: Computing the Newton-step faster than Hessian accumulation

abstract: Computing the Newton-step of a generic function with $N$ decision variables takes $O(N^3)$ flops. In this paper, we show that given the computational graph of the function, this bound can be reduced to $O(m\tau^3)$, where $\tau, m$ are the width and size of a tree-decomposition of the graph. The proposed algorithm generalizes nonlinear optimal-control methods based on LQR to general optimization problems and provides non-trivial gains in iteration-complexity even in cases where the Hessian is dense.


title: OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems

abstract: Deep learning methods can be used to produce control policies, but certifying their safety is challenging. The resulting networks are nonlinear and often very large. In response to this challenge, we present OVERT: a sound algorithm for safety verification of nonlinear discrete-time closed loop dynamical systems with neural network control policies. The novelty of OVERT lies in combining ideas from the classical formal methods literature with ideas from the newer neural network verification literature. The central concept of OVERT is to abstract nonlinear functions with a set of optimally tight piecewise linear bounds. Such piecewise linear bounds are designed for seamless integration into ReLU neural network verification tools. OVERT can be used to prove bounded-time safety properties by either computing reachable sets or solving feasibility queries directly. We demonstrate various examples of safety verification for several classical benchmark examples. OVERT compares favorably to existing methods both in computation time and in tightness of the reachable set.


title: Two new lower bounds for the smallest singular value

abstract: In this paper, we obtain two new lower bounds for the smallest singular value of nonsingular matrices which is better than the bound presented by zou \cite{zou2012lower}, Lin, Minghua and Xie, Mengyan \cite{lin2021some} under certain circumstances.


title: The Many Dimensions of Truthfulness: Crowdsourcing Misinformation Assessments on a Multidimensional Scale

abstract: Recent work has demonstrated the viability of using crowdsourcing as a tool for evaluating the truthfulness of public statements. Under certain conditions such as: (1) having a balanced set of workers with different backgrounds and cognitive abilities; (2) using an adequate set of mechanisms to control the quality of the collected data; and (3) using a coarse grained assessment scale, the crowd can provide reliable identification of fake news. However, fake news are a subtle matter: statements can be just biased ("cherrypicked"), imprecise, wrong, etc. and the unidimensional truth scale used in existing work cannot account for such differences. In this paper we propose a multidimensional notion of truthfulness and we ask the crowd workers to assess seven different dimensions of truthfulness selected based on existing literature: Correctness, Neutrality, Comprehensibility, Precision, Completeness, Speaker's Trustworthiness, and Informativeness. We deploy a set of quality control mechanisms to ensure that the thousands of assessments collected on 180 publicly available fact-checked statements distributed over two datasets are of adequate quality, including a custom search engine used by the crowd workers to find web pages supporting their truthfulness assessments. A comprehensive analysis of crowdsourced judgments shows that: (1) the crowdsourced assessments are reliable when compared to an expert-provided gold standard; (2) the proposed dimensions of truthfulness capture independent pieces of information; (3) the crowdsourcing task can be easily learned by the workers; and (4) the resulting assessments provide a useful basis for a more complete estimation of statement truthfulness.


title: The Organization of Chaos into a Molecular Trap that Supervises Ligand-Interaction, Selection and Steric Guidance Similar to Events in Black Holes

abstract: In the current study, we demonstrated that allostery transpires by entropy transfers across time-spatial scales that actualize the conception of a molecular trap that supervises ligand interaction, selection, and migration into the amphipathic groove of the 14-3-3 {\zeta} docking protein. Ligand binding transpires by steric guidance down a multi-dimensional trap constituted of superimposed chaotic, harmonic, and electromagnetic field gradients. The individual traps exist in discrete domains governed by disparate physics interconnected by their resonance states and are subjective to damping. Notably, the highly structured molecular entanglement was genesis by the organization of white noise emitted by the anarchic motion of residues that comprised many of the features of black holes.


title: Rapid Elastic Architecture Search under Specialized Classes and Resource Constraints

abstract: In many real-world applications, we often need to handle various deployment scenarios, where the resource constraint and the superclass of interest corresponding to a group of classes are dynamically specified. How to efficiently deploy deep models for diverse deployment scenarios is a new challenge. Previous NAS approaches seek to design architectures for all classes simultaneously, which may not be optimal for some individual superclasses. A straightforward solution is to search an architecture from scratch for each deployment scenario, which however is computation-intensive and impractical. To address this, we present a novel and general framework, called Elastic Architecture Search (EAS), permitting instant specializations at runtime for diverse superclasses with various resource constraints. To this end, we first propose to effectively train an over-parameterized network via a superclass dropout strategy during training. In this way, the resulting model is robust to the subsequent superclasses dropping at inference time. Based on the well-trained over-parameterized network, we then propose an efficient architecture generator to obtain promising architectures within a single forward pass. Experiments on three image classification datasets show that EAS is able to find more compact networks with better performance while remarkably being orders of magnitude faster than state-of-the-art NAS methods, e.g., outperforming OFA (once-for-all) by 1.3% on Top-1 accuracy at a budget around 361M #MAdds on ImageNet-10. More critically, EAS is able to find compact architectures within 0.1 second for 50 deployment scenarios.


title: A Multi-Hypothesis Approach to Pose Ambiguity in Object-Based SLAM

abstract: In object-based Simultaneous Localization and Mapping (SLAM), 6D object poses offer a compact representation of landmark geometry useful for downstream planning and manipulation tasks. However, measurement ambiguity then arises as objects may possess complete or partial object shape symmetries (e.g., due to occlusion), making it difficult or impossible to generate a single consistent object pose estimate. One idea is to generate multiple pose candidates to counteract measurement ambiguity. In this paper, we develop a novel approach that enables an object-based SLAM system to reason about multiple pose hypotheses for an object, and synthesize this locally ambiguous information into a globally consistent robot and landmark pose estimation formulation. In particular, we (1) present a learned pose estimation network that provides multiple hypotheses about the 6D pose of an object; (2) by treating the output of our network as components of a mixture model, we incorporate pose predictions into a SLAM system, which, over successive observations, recovers a globally consistent set of robot and object (landmark) pose estimates. We evaluate our approach on the popular YCB-Video Dataset and a simulated video featuring YCB objects. Experiments demonstrate that our approach is effective in improving the robustness of object-based SLAM in the face of object pose ambiguity.


title: Crucial role of interfacial $s$-$d$ exchange interaction in the temperature dependence of tunnel magnetoresistance

abstract: The tunnel magnetoresistance (TMR) is one of the most important spintronic phenomena but its reduction at finite temperature is a severe drawback for applications. Here, we reveal a crucial determinant of the drawback, that is, the $s$-$d$ exchange interaction between conduction $s$ and localized $d$ electrons at interfacial ferromagnetic layers. By calculating the temperature dependence of the TMR ratio in Fe/MgO/Fe(001), we show that the obtained TMR ratio significantly decreases with increasing temperature owing to the spin-flip scattering in the $\Delta_1$ state induced by the $s$-$d$ exchange interaction. The material dependence of the coupling constant $J_{sd}$ is also discussed on the basis of a nonempirical method.


title: Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference

abstract: We propose a predictive runtime monitoring framework that forecasts the distribution of future positions of mobile robots in order to detect and avoid impending property violations such as collisions with obstacles or other agents. Our approach uses a restricted class of temporal logic formulas to represent the likely intentions of the agents along with a combination of temporal logic-based optimal cost path planning and Bayesian inference to compute the probability of these intents given the current trajectory of the robot. First, we construct a large but finite hypothesis space of possible intents represented as temporal logic formulas whose atomic propositions are derived from a detailed map of the robot's workspace. Next, our approach uses real-time observations of the robot's position to update a distribution over temporal logic formulae that represent its likely intent. This is performed by using a combination of optimal cost path planning and a Boltzmann noisy rationality model. In this manner, we construct a Bayesian approach to evaluating the posterior probability of various hypotheses given the observed states and actions of the robot. Finally, we predict the future position of the robot by drawing posterior predictive samples using a Monte-Carlo method. We evaluate our framework using two different trajectory datasets that contain multiple scenarios implementing various tasks. The results show that our method can predict future positions precisely and efficiently, so that the computation time for generating a prediction is a tiny fraction of the overall time horizon.


title: Enhancement of parity-violating energy difference of H$_2 $X$_2$ molecules by electronic excitation

abstract: The parity-violating energy difference (PVED) between two enantiomers of a chiral molecule is caused by the weak interaction. Because of the smallness of the PVED, nonzero PVED is yet to be discovered in experimental searches. To detect the PVED, the search for molecules with large PVED values is important. Previously, one of the authors proposed that the PVED may be significantly enhanced in ionized or excited states. The significant enhancement of the PVED in some electronic excited states is proven in this study using H$_2$X$_2$ (X=O, S, Se, Te) molecules as examples. The maximum enhancement was an about 360-fold increase for H$_2$Se$_2$. For the PVED calculation, we employ the finite-field perturbation theory (FFPT) within the equation-of-motion coupled-cluster theory based on the exact two-component molecular-mean field Hamiltonian. The relation between the enhancement of the PVED and the contribution to the PVED from the highest occupied molecular orbital is also examined. The effects of computational elements, such as parameters related to the electron correlation and FFPT on PVED values in excited states of H$_2$X$_2$ molecules are studied.


title: Taking Cognition Seriously: A generalised physics of cognition

abstract: The study of complex systems through the lens of category theory consistently proves to be a powerful approach. We propose that cognition deserves the same category-theoretic treatment. We show that by considering a highly-compact cognitive system, there are fundamental physical trade-offs resulting in a utility problem. We then examine how to do this systematically, and propose some requirements for "cognitive categories", before investigating the phenomenona of topological defects in gauge fields over conceptual spaces.


title: Locally equivalent quasifree states and index theory

abstract: We consider quasifree ground states of Araki's self-dual CAR algebra from the viewpoint of index theory and symmetry protected topological (SPT) phases. We first review how Clifford module indices characterise a topological obstruction to connect pairs of symmetric gapped ground states. This construction is then generalised to give invariants in $KO_\ast(A^\mathfrak{r})$ with $A$ a $C^{*,\mathfrak{r}}$-algebra of allowed deformations. When $A=C^*(X)$, the Roe algebra of a coarse space $X$, and we restrict to gapped ground states that are locally equivalent with respect $X$, a $K$-homology class is also constructed. The coarse assembly map relates these two classes and clarifies the relevance of $K$-homology to free-fermionic SPT phases.


title: VLBI data processing on coronal radio-sounding experiments of Mars express

abstract: The ESA's Mars Express solar corona experiments were performed at two solar conjunctions in the years 2015 and 2017 by a number of radio telescopes in the European VLBI Network. This paper presents the methods to measure the frequency and phase fluctuations of the spacecraft radio signal, and the applications to study the characteristics of the plasma turbulence effects on the signal at a single station and at multiple stations via cross-correlation. The power spectra of the frequency fluctuations observed between 4.9 and 76.3 $\rm R_{s}$ have a power-law shape close to a Kolmogorov spectrum over the frequency interval $ \nu_{lo}< \nu <\nu_{up}$, where the nominal value of $\nu_{lo}$ is set to 3 mHz and $\nu_{up}$ is in the range of 0.03 $\sim$ 0.15 Hz. The RMS of the frequency fluctuations is presented as a function of the heliocentric distance. Furthermore, we analyse the variations of the electron column density fluctuations at solar offsets 4.9 $\rm{R_{s}}$ and 9.9 $\rm{R_{s}}$ and the cross-correlation products between the VLBI stations. The power density of the differential fluctuations between different stations decreases at $\nu < 0.01$ Hz. Finally, the fast flow speeds of solar wind $>700$ $\rm{km~s^{-1}}$ are derived from the cross-correlation of frequency fluctuations at $\nu < 0.01$ Hz. The fast flow speeds of solar wind correspond to the high heliolatitude of the coronal region that the radio rays passed. The VLBI observations and analysis methods can be used to study the electron column density fluctuations and the turbulence at multiple spatial points in the inner solar wind by providing multiple lines of sight between the Earth and the spacecraft.


title: Exposing minimal composition of Kohn-Sham theory and its extendability

abstract: Reducing the many-fermion problem to a set of single-particle (s.p.) equations, the Kohn-Sham (KS) theory has provided a practical tool to implement \textit{ab initio} calculations of ground-state energies and densities in many-electron systems. There have been attempts to extend the KS theory so that it could describe other physical quantities, or it could be applied to other many-fermion systems. By generalizing and reformulating the KS theory in terms of the 1-body density matrix, we expose the minimal composition of the theory that enables the reduction of the many-fermion problem to the s.p. equations. Based on the reformulation, several basic issues are reconsidered. The $v$- and $N$-representabilities for the KS theory are distinguished from those for the Hohenberg-Kohn theorem. Criteria for the extendability of the KS theory are addressed.


title: Design and Evaluation of a Hair Combing System Using a General-Purpose Robotic Arm

abstract: This work introduces an approach for automatic hair combing by a lightweight robot. For people living with limited mobility, dexterity, or chronic fatigue, combing hair is often a difficult task that negatively impacts personal routines. We propose a modular system for enabling general robot manipulators to assist with a hair-combing task. The system consists of three main components. The first component is the segmentation module, which segments the location of hair in space. The second component is the path planning module that proposes automatically-generated paths through hair based on user input. The final component creates a trajectory for the robot to execute. We quantitatively evaluate the effectiveness of the paths planned by the system with 48 users and qualitatively evaluate the system with 30 users watching videos of the robot performing a hair-combing task in the physical world. The system is shown to effectively comb different hairstyles.


title: AGAR a microbial colony dataset for deep learning detection

abstract: The Annotated Germs for Automated Recognition (AGAR) dataset is an image database of microbial colonies cultured on agar plates. It contains 18000 photos of five different microorganisms as single or mixed cultures, taken under diverse lighting conditions with two different cameras. All the images are classified into "countable", "uncountable", and "empty", with the "countable" class labeled by microbiologists with colony location and species identification (336442 colonies in total). This study describes the dataset itself and the process of its development. In the second part, the performance of selected deep neural network architectures for object detection, namely Faster R-CNN and Cascade R-CNN, was evaluated on the AGAR dataset. The results confirmed the great potential of deep learning methods to automate the process of microbe localization and classification based on Petri dish photos. Moreover, AGAR is the first publicly available dataset of this kind and size and will facilitate the future development of machine learning models. The data used in these studies can be found at https://agar.neurosys.com/.


title: Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency

abstract: A robot can invoke heterogeneous computation resources such as CPUs, cloud GPU servers, or even human computation for achieving a high-level goal. The problem of invoking an appropriate computation model so that it will successfully complete a task while keeping its compute and energy costs within a budget is called a model selection problem. In this paper, we present an optimal solution to the model selection problem with two compute models, the first being fast but less accurate, and the second being slow but more accurate. The main insight behind our solution is that a robot should invoke the slower compute model only when the benefits from the gain in accuracy outweigh the computational costs. We show that such cost-benefit analysis can be performed by leveraging the statistical correlation between the accuracy of fast and slow compute models. We demonstrate the broad applicability of our approach to diverse problems such as perception using neural networks and safe navigation of a simulated Mars rover.


title: Meta-fences: blocking waves utilizing a layer of identical tiny scatters

abstract: Wave steering by artificial materials (for example, phononic crystals and acoustic metamaterials) is a fascinating frontier in modern physics and engineering, but suffers from bulky sizes and intractable challenges in fabrication. Here, a sparse layer of identical tiny scatters, which we call meta-fences, is presented with a non-destructive way to omnidirectionally block flexural waves in plates. The underlying mechanism is that the restraining force and moment of the scatter are tuned simultaneously to counter-balance the incident wave. Both our experimental results and numerical analysis have demonstrated that broadband wave sources ranging from 3 to 7 kHz can be segregated from the protected area by the meta-fence. In addition, the meta-fence is further assembled into a waveguide routing with an arbitrary configuration. Compared with previous isolators and waveguides, our meta-fences exhibit absolute advantages in compact size, flexible configuration, and high structural strength. The current scenario sheds light on the design of lightweight-and-strong architectures for vibration control and energy harvesting with a high efficiency, and can be extended to microfluidics, acoustics, seismology and other fields.


title: Towards more reasonable identifications of the symmetries in noisy digital images from periodic and aperiodic crystals

abstract: A geometric form of information theory allows for reasonable, i.e. probabilistic, evidence-ranking based, and generalized noise-level dependent, classifications of the crystallographic and quasicrystallographic symmetries in noisy digital images. Such classifications are based solely on the image pixel intensity values, justifiable assumptions about the aggregate distribution of generalized noise in the images, asymptotic extrapolations to zero-noise images, and rational symmetry model selections with maximized predictive accuracy in the presence of both symmetry-inclusion relations and pseudo-symmetries. Preferring a well developed geometric form of information theory over a theoretically possible geometric-Bayesian approach for these classifications is the only subjective choice made. Using digital data planes and assuming approximately Gaussian distributed generalized noise, reasonable crystallographic and quasicrystallographic symmetry classifications can be made for noisy images from both scanning probe and transmission electron microscopes. A binary type classification of structurally very similar mate-rials into either a quasicrystal or one of its rational/crystalline approximants based on the approximate point symmetries in their noisy digital images is proposed here for the first time.


title: Nonergodic dynamics of the one-dimensional Bose-Hubbard model with a trapping potential

abstract: We investigate nonergodic behavior of the one-dimensional Bose-Hubbard model, which emerges in the unitary quantum dynamics starting with initial-state $|\psi(0)\rangle=|\cdots 2020\cdots \rangle$ in the presence of a trapping potential. We compute the level spacing statistic, the time evolution of the number imbalance between the odd and the even sites, and the entanglement entropy in order to show that the system exhibits nonergodicity in a strongly interacting regime. The trapping potential enhances nonergodicity even when the trapping potential is weak compared to the the hopping energy. We derive the effective spin-1/2 {\it XXZ} Hamiltonian for the strongly interacting regimes by using a perturbation method. On the basis of the effective Hamiltonian, we show that the trapping potential is effectively strengthened by the on-site interaction, leading to the enhancement of the nonergodic behavior. We also calculate the real-time dynamics under the effective Hamiltonian and find that the entanglement entropy grows logarithmically in time.


title: fauci-email: a json digest of Anthony Fauci's released emails

abstract: A collection of over 3000 pages of emails sent by Anthony Fauci and his staff were released in an effort to understand the United States government response to the COVID-19 pandemic. We describe how this email data was translated into a resource consisting of json files that make many future studies easy. Findings from our processed data include (i) successful organizational partitions using the simple mincut techniques in Zachary's karate club methodology, (ii) a natural example where the normalized cut and minimum conductance set are extremely different, and (iii) organizational groups identified by optimum modularity clusters that illustrate a working hierarchy. These example uses suggest the data will be useful for future research and pedagogical uses in terms of human and system behavioral interactions. We explain a number of ways to turn email information into a network, a hypergraph, a temporal sequence, and a tensor for subsequent analysis as well as a few examples of such analysis.


title: Dynamic Prediction Model for NOx Emission of SCR System Based on Hybrid Data-driven Algorithms

abstract: Aiming at the problem that delay time is difficult to determine and prediction accuracy is low in building prediction model of SCR system, a dynamic modeling scheme based on a hybrid of multiple data-driven algorithms was proposed. First, processed abnormal values and normalized the data. To improve the relevance of the input data, used MIC to estimate delay time and reconstructed production data. Then used combined feature selection method to determine input variables. To further mine data information, VMD was used to decompose input time series. Finally, established NOx emission prediction model combining ELM and EC model. Experimental results based on actual historical operating data show that the MAPE of predicted results is 2.61%. Model sensitivity analysis shows that besides the amount of ammonia injection, the inlet oxygen concentration and the flue gas temperature have a significant impact on NOx emission, which should be considered in SCR process control and optimization.


title: A 'Quick Look' at All-Sky Galactic Archeology with TESS: 158,000 Oscillating Red Giants from the MIT Quick-Look Pipeline

abstract: We present the first near all-sky yield of oscillating red giants from the prime mission data of NASA's Transiting Exoplanet Survey Satellite (TESS). We apply machine learning towards long-cadence TESS photometry from the first data release by the MIT Quick-Look Pipeline to automatically detect the presence of red giant oscillations in frequency power spectra. The detected targets are conservatively vetted to produce a total of 158,505 oscillating red giants, which is an order of magnitude increase over the yield from Kepler and K2 and a lower limit to the possible yield of oscillating giants across TESS's nominal mission. For each detected target, we report effective temperatures and radii derived from colors and Gaia parallaxes, as well as estimates of their frequency at maximum oscillation power. Using our measurements, we present the first near all-sky Gaia-asteroseismology mass map, which shows global structures consistent with the expected stellar populations of our Galaxy. To demonstrate the strong potential of TESS asteroseismology for Galactic archeology even with only one month of observations, we identify 354 new candidates for oscillating giants in the Galactic halo, display the vertical mass gradient of the Milky Way disk, and visualize correlations of stellar masses with kinematic phase space substructures, velocity dispersions, and $\alpha$-abundances.


title: Magneto Optical Sensing beyond the Shot Noise Limit

abstract: Magneto-optical sensors including spin noise spectroscopies and magneto-optical Kerr effect microscopies are now ubiquitous tools for materials characterization that can provide new understanding of spin dynamics, hyperfine interactions, spin-orbit interactions, and charge-carrier g-factors. Both interferometric and intensity-difference measurements can provide photon shot-noise limited sensitivity, but further improvements in sensitivity with classical resources require either increased laser power that can induce unwanted heating and electronic perturbations or increased measurement times that can obscure out-of-equilibrium dynamics and radically slow experimental throughput. Proof-of-principle measurements have already demonstrated quantum enhanced spin noise measurements with a squeezed readout field that are likely to be critical to the non-perturbative characterization of spin excitations in quantum materials that emerge at low temperatures. Here, we propose a truncated nonlinear interferometric readout for low-temperature magneto-optical Kerr effect measurements that is accessible with today's quantum optical resources. We show that 10 $\text{nrad}/\sqrt{\text{Hz}}$ sensitivity is achievable with optical power as small as 1 $\mu$W such that a realistic $T$ = 83 mK can be maintained in commercially available dilution refrigerators. The quantum advantage for the proposed measurements persists even in the limit of large loss and small squeezing parameters.


title: Some results on maximum likelihood from incomplete data: finite sample properties and improved M-estimator for resampling

abstract: This paper presents some results on the maximum likelihood (ML) estimation from incomplete data. Finite sample properties of conditional observed information matrices are established. They possess positive definiteness and the same Loewner partial ordering as the expected information matrices do. An explicit form of the observed Fisher information (OFI) is derived for the calculation of standard errors of the ML estimates. It simplifies Louis (1982) general formula for the OFI matrix. To prevent from getting an incorrect inverse of the OFI matrix, which may be attributed by the lack of sparsity and large size of the matrix, a monotone convergent recursive equation for the inverse matrix is developed which in turn generalizes the algorithm of Hero and Fessler (1994) for the Cram\'er-Rao lower bound. To improve the estimation, in particular when applying repeated sampling to incomplete data, a robust M-estimator is introduced. A closed form sandwich estimator of covariance matrix is proposed to provide the standard errors of the M-estimator. By the resulting loss of information presented in finite-sample incomplete data, the sandwich estimator produces smaller standard errors for the M-estimator than the ML estimates. In the case of complete information or absence of re-sampling, the M-estimator coincides with the ML estimates. Application to parameter estimation of a regime switching conditional Markov jump process is discussed to verify the results. The simulation study confirms the accuracy and asymptotic properties of the M-estimator.


title: Level-set forced mean curvature flow with the Neumann boundary condition

abstract: Here, we study a level-set forced mean curvature flow with the homogeneous Neumann boundary condition. We first show that the solution is Lipschitz in time and locally Lipschitz in space. Then, under an additional condition on the forcing term, we prove that the solution is globally Lipschitz. We obtain the large time behavior of the solution in this setting and study the large time profile in some specific situations. Finally, we give two examples demonstrating that the additional condition on the forcing term is sharp, and without it, the solution might not be globally Lipschitz.


title: The Performance Evaluation of Attention-Based Neural ASR under Mixed Speech Input

abstract: In order to evaluate the performance of the attention based neural ASR under noisy conditions, the current trend is to present hours of various noisy speech data to the model and measure the overall word/phoneme error rate (W/PER). In general, it is unclear how these models perform when exposed to a cocktail party setup in which two or more speakers are active. In this paper, we present the mixtures of speech signals to a popular attention-based neural ASR, known as Listen, Attend, and Spell (LAS), at different target-to-interference ratio (TIR) and measure the phoneme error rate. In particular, we investigate in details when two phonemes are mixed what will be the predicted phoneme; in this fashion we build a model in which the most probable predictions for a phoneme are given. We found a 65% relative increase in PER when LAS was presented with mixed speech signals at TIR = 0 dB and the performance approaches the unmixed scenario at TIR = 30 dB. Our results show the model, when presented with mixed phonemes signals, tend to predict those that have higher accuracies during evaluation of original phoneme signals.


title: AcousticFusion: Fusing Sound Source Localization to Visual SLAM in Dynamic Environments

abstract: Dynamic objects in the environment, such as people and other agents, lead to challenges for existing simultaneous localization and mapping (SLAM) approaches. To deal with dynamic environments, computer vision researchers usually apply some learning-based object detectors to remove these dynamic objects. However, these object detectors are computationally too expensive for mobile robot on-board processing. In practical applications, these objects output noisy sounds that can be effectively detected by on-board sound source localization. The directional information of the sound source object can be efficiently obtained by direction of sound arrival (DoA) estimation, but depth estimation is difficult. Therefore, in this paper, we propose a novel audio-visual fusion approach that fuses sound source direction into the RGB-D image and thus removes the effect of dynamic obstacles on the multi-robot SLAM system. Experimental results of multi-robot SLAM in different dynamic environments show that the proposed method uses very small computational resources to obtain very stable self-localization results.


title: Integral representations for $\zeta(3)$ with the inverse sine function

abstract: We show four new integral representations for $\zeta(3)$ as a reformulation of Ewell (1990) and Yue-Williams (1993) with the inverse sine function and Wallis integral. As a consequence, we also show a local integral representation for the trilogarithm function.


title: Stability of Numerical Solution to Pantograph Stochastic Functional Differential Equations

abstract: In this paper, we study the convergence of the Euler-Maruyama numerical solutions for pantograph stochastic functional differential equations which was proposed in [11]. We also show that the numerical solutions have the properties of almost surely polynomial stability and exponential stability with the help of semi-martingale convergence theorem.


title: CanvasVAE: Learning to Generate Vector Graphic Documents

abstract: Vector graphic documents present visual elements in a resolution free, compact format and are often seen in creative applications. In this work, we attempt to learn a generative model of vector graphic documents. We define vector graphic documents by a multi-modal set of attributes associated to a canvas and a sequence of visual elements such as shapes, images, or texts, and train variational auto-encoders to learn the representation of the documents. We collect a new dataset of design templates from an online service that features complete document structure including occluded elements. In experiments, we show that our model, named CanvasVAE, constitutes a strong baseline for generative modeling of vector graphic documents.