title: A version of de Broglie's double solution theory reproducing Landau's quantization in a uniform magnetic field

abstract: In this work we develop a model based on the double solution theory of de Broglie in order to reproduce the famous Landau levels splitting in a constant magnetic field.


title: Electric and chiral response to a pseudoelectric field in Weyl materials

abstract: The electric and chiral current response to the time- and coordinate-dependent pseudoelectric field $\mathbf{E}_5$ in Weyl semimetals is studied. It is found that $\mathbf{E}_5$ leads to an electric current in the direction perpendicular to the field and the wave vector of the field-inducing perturbation. We dubbed this phenomenon the anomalous pseudo-Hall effect. The response of the chiral or valley current to the pseudoelectric field is also found to be nontrivial. Since the wave vector for $\mathbf{E}_5$ cannot be neglected, the frequency profile of the chiral conductivity is drastically different from its electric counterpart showing a step-like feature instead of a smooth Drude peak. The proposed effects can be investigated by driving sound waves in Weyl semimetals with broken time-reversal symmetry.


title: Higgs/Amplitude Mode Dynamics From Holography

abstract: Second order phase transitions are universally driven by an order parameter which becomes trivial at the critical point. At the same time, collective excitations which involve the amplitude of the order parameter develop a gap which smoothly closes to zero at criticality. We develop analytical techniques to study this "Higgs" mode in holographic systems which undergo a continuous phase transition at finite temperature and chemical potential. This allows us to study the linear response of the system at energy scales of the order of the gap. We express the Green's functions of scalar operators in terms of thermodynamic quantities and a single transport coefficient which we fix in terms of black hole horizon data.


title: More Doublets and Singlets

abstract: I give an overview on models that extend the Standard Model scalar sector by additional gauge singlets or multiplets. I discuss current constraints on such models, as well as possible signatures and discovery prospects at current and future colliders.


title: Integrating User and Item Reviews in Deep Cooperative Neural Networks for Movie Recommendation

abstract: User evaluations include a significant quantity of information across online platforms. This information source has been neglected by the majority of existing recommendation systems, despite its potential to ease the sparsity issue and enhance the quality of suggestions. This work presents a deep model for concurrently learning item attributes and user behaviour from review text. Deep Cooperative Neural Network (DeepCoNN) is the suggested model consisting of two parallel neural networks connected in their final layers. One of the networks focuses on learning user behaviour from reviews submitted by the user, while the other network learns item attributes from user reviews. On top, a shared layer is added to connect these two networks. Similar to factorization machine approaches, the shared layer allows latent factors acquired for people and things to interact with each other. On a number of datasets, DeepCoNN surpasses all baseline recommendation systems, according to experimental findings.


title: Improving Sequential Query Recommendation with Immediate User Feedback

abstract: We propose an algorithm for next query recommendation in interactive data exploration settings, like knowledge discovery for information gathering. The state-of-the-art query recommendation algorithms are based on sequence-to-sequence learning approaches that exploit historical interaction data. Due to the supervision involved in the learning process, such approaches fail to adapt to immediate user feedback. We propose to augment the transformer-based causal language models for query recommendations to adapt to the immediate user feedback using multi-armed bandit (MAB) framework. We conduct a large-scale experimental study using log files from a popular online literature discovery service and demonstrate that our algorithm improves the per-round regret substantially, with respect to the state-of-the-art transformer-based query recommendation models, which do not make use of immediate user feedback. Our data model and source code are available at https://github.com/shampp/exp3_ss


title: Categorifying quadratic zeta functions

abstract: The Dedekind zeta function of a quadratic number field factors as a product of the Riemann zeta function and the $L$-function of a quadratic Dirichlet character. We categorify this formula using objective linear algebra in the abstract incidence algebra of the division poset.


title: Qubit-efficient simulation of thermal states with quantum tensor networks

abstract: We present a holographic quantum simulation algorithm to variationally prepare thermal states of $d$-dimensional interacting quantum many-body systems, using only enough hardware qubits to represent a ($d$-1)-dimensional cross-section. This technique implements the thermal state by approximately unraveling the quantum matrix-product density operator (qMPDO) into a stochastic mixture of quantum matrix product states (sto-qMPS). The parameters of the quantum circuits generating the qMPS and of the probability distribution generating the stochastic mixture are determined through a variational optimization procedure. We demonstrate a small-scale proof of principle demonstration of this technique on Quantinuum's trapped-ion quantum processor to simulate thermal properties of correlated spin-chains over a wide temperature range using only a single pair of hardware qubits. Then, through classical simulations, we explore the representational power of two versions of sto-qMPS ansatzes for larger and deeper circuits and establish empirical relationships between the circuit resources and the accuracy of the variational free-energy.


title: Scheduling Quantum Teleportation with Noisy Memories

abstract: Quantum teleportation channels can overcome the effects of photonic loss, a major challenge in the implementation of a quantum network over fiber. Teleportation channels are created by distributing an entangled state between two nodes which is a probabilistic process requiring classical communication. This causes critical delays that can cause information loss as quantum data suffers from decoherence when stored in memory. In this work, we quantify the effect of decoherence on fidelity at a node in a quantum network due to the storage of qubits in noisy memory platforms. We model the memory platform as a buffer that stores incoming qubits waiting for the creation of a teleportation channel. Memory platforms are parameterized with decoherence rate and buffer size, in addition to the order in which the incoming qubits are served. We show that fidelity at a node is a linear sum of terms, exponentially decaying with time, where the decay rate depends on the decoherence rate of the memory platform. This allows us to utilize Laplace Transforms to derive efficiently computable functions of average fidelity with respect to the load, buffer size, and decoherence rate of the memory platform. We prove that serving qubits in a Last In First Out order with pushout for buffer overflow management is optimal in terms of average fidelity. Lastly, we apply this framework to model a single repeater node to calculate the average fidelity of the teleportation channels created by this repeater assuming perfect gate operations.


title: Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty

abstract: In this paper we address mobile manipulation planning problems in the presence of sensing and environmental uncertainty. In particular, we consider mobile sensing manipulators operating in environments with unknown geometry and uncertain movable objects, while being responsible for accomplishing tasks requiring grasping and releasing objects in a logical fashion. Existing algorithms either do not scale well or neglect sensing and/or environmental uncertainty. To face these challenges, we propose a hybrid control architecture, where a symbolic controller generates high-level manipulation commands (e.g., grasp an object) based on environmental feedback, an informative planner designs paths to actively decrease the uncertainty of objects of interest, and a continuous reactive controller tracks the sparse waypoints comprising the informative paths while avoiding a priori unknown obstacles. The overall architecture can handle environmental and sensing uncertainty online, as the robot explores its workspace. Using numerical simulations, we show that the proposed architecture can handle tasks of increased complexity while responding to unanticipated adverse configurations.


title: From maximum force to the field equations of general relativity -- and implications

abstract: There are at least two ways to deduce Einstein's field equations from the principle of maximum force $c^4/4G$ or from the equivalent principle of maximum power $c^5/4G$. Tests in gravitational wave astronomy, cosmology, and numerical gravitation confirm the two principles. Apparent paradoxes about the limits can all be resolved. Several related bounds arise. The limits illuminate the beauty, consistency and simplicity of general relativity from an unusual perspective.


title: Using Natural Sentences for Understanding Biases in Language Models

abstract: Evaluation of biases in language models is often limited to synthetically generated datasets. This dependence traces back to the need for a prompt-style dataset to trigger specific behaviors of language models. In this paper, we address this gap by creating a prompt dataset with respect to occupations collected from real-world natural sentences present in Wikipedia. We aim to understand the differences between using template-based prompts and natural sentence prompts when studying gender-occupation biases in language models. We find bias evaluations are very sensitive to the design choices of template prompts, and we propose using natural sentence prompts for systematic evaluations to step away from design choices that could introduce bias in the observations.


title: Overparameterization Improves StyleGAN Inversion

abstract: Deep generative models like StyleGAN hold the promise of semantic image editing: modifying images by their content, rather than their pixel values. Unfortunately, working with arbitrary images requires inverting the StyleGAN generator, which has remained challenging so far. Existing inversion approaches obtain promising yet imperfect results, having to trade-off between reconstruction quality and downstream editability. To improve quality, these approaches must resort to various techniques that extend the model latent space after training. Taking a step back, we observe that these methods essentially all propose, in one way or another, to increase the number of free parameters. This suggests that inversion might be difficult because it is underconstrained. In this work, we address this directly and dramatically overparameterize the latent space, before training, with simple changes to the original StyleGAN architecture. Our overparameterization increases the available degrees of freedom, which in turn facilitates inversion. We show that this allows us to obtain near-perfect image reconstruction without the need for encoders nor for altering the latent space after training. Our approach also retains editability, which we demonstrate by realistically interpolating between images.


title: Real-time Virtual-Try-On from a Single Example Image through Deep Inverse Graphics and Learned Differentiable Renderers

abstract: Augmented reality applications have rapidly spread across online platforms, allowing consumers to virtually try-on a variety of products, such as makeup, hair dying, or shoes. However, parametrizing a renderer to synthesize realistic images of a given product remains a challenging task that requires expert knowledge. While recent work has introduced neural rendering methods for virtual try-on from example images, current approaches are based on large generative models that cannot be used in real-time on mobile devices. This calls for a hybrid method that combines the advantages of computer graphics and neural rendering approaches. In this paper we propose a novel framework based on deep learning to build a real-time inverse graphics encoder that learns to map a single example image into the parameter space of a given augmented reality rendering engine. Our method leverages self-supervised learning and does not require labeled training data which makes it extendable to many virtual try-on applications. Furthermore, most augmented reality renderers are not differentiable in practice due to algorithmic choices or implementation constraints to reach real-time on portable devices. To relax the need for a graphics-based differentiable renderer in inverse graphics problems, we introduce a trainable imitator module. Our imitator is a generative network that learns to accurately reproduce the behavior of a given non-differentiable renderer. We propose a novel rendering sensitivity loss to train the imitator, which ensures that the network learns an accurate and continuous representation for each rendering parameter. Our framework enables novel applications where consumers can virtually try-on a novel unknown product from an inspirational reference image on social media. It can also be used by graphics artists to automatically create realistic rendering from a reference product image.


title: Probabilistic Estimation of Instantaneous Frequencies of Chirp Signals

abstract: We present a continuous-time probabilistic approach for estimating the chirp signal and its instantaneous frequency function when the true forms of these functions are not accessible. Our model represents these functions by non-linearly cascaded Gaussian processes represented as non-linear stochastic differential equations. The posterior distribution of the functions is then estimated with stochastic filters and smoothers. We compute a (posterior) Cram\'er--Rao lower bound for the Gaussian process model, and derive a theoretical upper bound for the estimation error in the mean squared sense. The experiments show that the proposed method outperforms a number of state-of-the-art methods on a synthetic data. We also show that the method works out-of-the-box for two real-world datasets.


title: Analytical and FDTD design of hybrid Fabry-Perot plano-concave microcavity for hexagonal boron nitride

abstract: The emission of light of an efficient single-photon emitter (SPE) should have a high-count rate into a well-defined spatio-temporal mode along with an accessible numerical aperture (NA) to increase the light extraction efficiency that is required for effective coupling into optical waveguides. Based on a previously developed experimental approach to fabricate hybrid Fabry-Perot microcavities (Further information is available [F. Ortiz-Huerta et al, Opt.Express 26, 33245 (2018)]), we managed to find analytical and finite-difference time-domain (FDTD) values for the, experimentally achievable, geometrical parameters of a hybrid plano-concave microcavity that enhances the spontaneous emission (i.e. Purcell enhancement) of color centers in two-dimensional (2D) hexagonal boron nitride (hBN) while simultaneously limiting the NA of the emitter. Paraxial approximation and a transfer matrix model are used to find the spotsize of the fundamental Gaussian mode and the resonant modes of our microcavity, respectively. A Purcell enhancement of 6 is found for a SPE (i.e. in-plane dipole) hosted by a 2D hBN layer inside the hybrid plano-concave microcavity.


title: An Equivalence Principle for the Spectrum of Random Inner-Product Kernel Matrices with Polynomial Scalings

abstract: We investigate random matrices whose entries are obtained by applying a nonlinear kernel function to pairwise inner products between $n$ independent data vectors, drawn uniformly from the unit sphere in $\mathbb{R}^d$. This study is motivated by applications in machine learning and statistics, where these kernel random matrices and their spectral properties play significant roles. We establish the weak limit of the empirical spectral distribution of these matrices in a polynomial scaling regime, where $d, n \to \infty$ such that $n / d^\ell \to \kappa$, for some fixed $\ell \in \mathbb{N}$ and $\kappa \in (0, \infty)$. Our findings generalize an earlier result by Cheng and Singer, who examined the same model in the linear scaling regime (with $\ell = 1$). Our work reveals an equivalence principle: the spectrum of the random kernel matrix is asymptotically equivalent to that of a simpler matrix model, constructed as a linear combination of a (shifted) Wishart matrix and an independent matrix sampled from the Gaussian orthogonal ensemble. The aspect ratio of the Wishart matrix and the coefficients of the linear combination are determined by $\ell$ and the expansion of the kernel function in the orthogonal Hermite polynomial basis. Consequently, the limiting spectrum of the random kernel matrix can be characterized as the free additive convolution between a Marchenko-Pastur law and a semicircle law. We also extend our results to cases with data vectors sampled from isotropic Gaussian distributions instead of spherical distributions.


title: Transport and entanglement growth in long-range random Clifford circuits

abstract: Conservation laws can constrain entanglement dynamics in isolated quantum systems, manifest in a slowdown of higher R\'enyi entropies. Here, we explore this phenomenon in a class of long-range random Clifford circuits with U$(1)$ symmetry where transport can be tuned from diffusive to superdiffusive. We unveil that the different hydrodynamic regimes reflect themselves in the asymptotic entanglement growth according to $S(t) \propto t^{1/z}$, where the dynamical transport exponent $z$ depends on the probability $\propto r^{-\alpha}$ of gates spanning a distance $r$. For sufficiently small $\alpha$, we show that the presence of hydrodynamic modes becomes irrelevant such that $S(t)$ behaves similarly in circuits with and without conservation law. We explain our findings in terms of the inhibited operator spreading in U$(1)$-symmetric Clifford circuits, where the emerging light cones can be understood in the context of classical L\'evy flights. Our work sheds light on the connections between Clifford circuits and more generic many-body quantum dynamics.


title: Possible continuous transition from fractional quantum Hall to stripe phase at $\nu_e=7/3$

abstract: We study the phase diagram of $\nu_e=7/3$ state in the $N=1$ Landau level in the presence of band mass anisotropy. Using density matrix renormalization group on an infinite cylinder geometry, we find a continuous transition from the topologically ordered Laughlin fractional quantum Hall state to a stripe phase with a period of approximately five and a half magnetic lengths. The transition is driven by the condensation of the magnetoroton mode which becomes gapless at the critical point. We interpret the transition within the composite-boson theory as the onset of stripe order in a superfluid background, resulting from the roton mode going soft.


title: Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments

abstract: Deep reinforcement learning (RL) has shown promising results in the motion planning of manipulators. However, no method guarantees the safety of highly dynamic obstacles, such as humans, in RL-based manipulator control. This lack of formal safety assurances prevents the application of RL for manipulators in real-world human environments. Therefore, we propose a shielding mechanism that ensures ISO-verified human safety while training and deploying RL algorithms on manipulators. We utilize a fast reachability analysis of humans and manipulators to guarantee that the manipulator comes to a complete stop before a human is within its range. Our proposed method guarantees safety and significantly improves the RL performance by preventing episode-ending collisions. We demonstrate the performance of our proposed method in simulation using human motion capture data.


title: Gamma-Ray Bursts at TeV Energies: Theoretical Considerations

abstract: Gamma-ray bursts (GRBs) are the most luminous explosions in the Universe and are powered by ultra-relativistic jets. Their prompt $\gamma$-ray emission briefly outshines the rest of the $\gamma$-ray sky making them detectable from cosmological distances. It is followed by, and sometimes partially overlaps with, a similarly energetic but very broadband and longer-lasting afterglow emission. While most GRBs are detected below a few MeV, over a hundred were detected at high ($\gtrsim0.1\;$GeV) energies and several have now been observed up to tens of GeV with the \textit{Fermi} Large Area Telescope (LAT). A new electromagnetic window in the very high energy (VHE) domain ($\gtrsim0.1\;$TeV) was recently opened with the detection of afterglow emission in the $(0.1$\textendash$1)\,$TeV energy band by ground-based imaging atmospheric Cherenkov telescopes. The emission mechanism for the VHE spectral component is not fully understood, and its detection offers important constraints for GRB physics. This review provides a brief overview of the different leptonic and hadronic mechanisms capable of producing VHE emission in GRBs. The same mechanisms possibly give rise to the high-energy spectral component seen during the prompt emission of many \textit{Fermi}-LAT GRBs. Possible origins of its delayed onset and long duration, well into the afterglow phase, with implications for the emission region and relativistic collisionless shock physics are discussed. Key results for using GRBs as ideal probes for constraining models of extra-galactic background light and intergalactic magnetic fields, as well as for testing Lorentz invariance violation, are presented.


title: Detailed Balanced Chemical Reaction Networks as Generalized Boltzmann Machines

abstract: Can a micron sized sack of interacting molecules understand, and adapt to a constantly-fluctuating environment? Cellular life provides an existence proof in the affirmative, but the principles that allow for life's existence are far from being proven. One challenge in engineering and understanding biochemical computation is the intrinsic noise due to chemical fluctuations. In this paper, we draw insights from machine learning theory, chemical reaction network theory, and statistical physics to show that the broad and biologically relevant class of detailed balanced chemical reaction networks is capable of representing and conditioning complex distributions. These results illustrate how a biochemical computer can use intrinsic chemical noise to perform complex computations. Furthermore, we use our explicit physical model to derive thermodynamic costs of inference.


title: From Weakly-terminating Binary Agreement and Reliable Broadcast to Atomic Broadcast

abstract: We present a novel and simple solution to Atomic Broadcast (AB). We reduce AB to two subproblems. One of them is Reliable Broadcast (RB). We also introduce a subproblem we call Weakly-terminating Binary Agreement (WBA). WBA relaxes Binary Agreement (BA) protocols by not always terminating. WBA admits much simpler solutions than BA. We discuss concrete solutions to RB and WBA. We prove safety, liveness, and censorship resilience of our new AB protocol.


title: Interface Networks for Failure Localization in Power Systems

abstract: Transmission power systems usually consist of interconnected sub-grids that are operated relatively independently. When a failure happens, it is desirable to localize its impact within the sub-grid where the failure occurs. This paper introduces three interface networks to connect sub-grids, achieving better failure localization while maintaining robust network connectivity. The proposed interface networks are validated with numerical experiments on the IEEE 118-bus test network under both DC and AC power flow models.


title: Continuity in right semitopological groups

abstract: Groups with a topology that is in consistent one way or another with the algebraic structure are considered. Classical groups with a topology are topological, paratopological, semitopological, and quasitopological groups. We also study other ways of matching topology and algebraic structure. The minimum requirement in this paper is that the group is a right semitopological group (such groups are often called right topological groups). We study when a group with a topology is a topological group; research in this direction began with the work of Deane Montgomery and Robert Ellis. (Invariant) semi-neighborhoods of the diagonal are used as a means of study.


title: Tuning charge-density wave order and superconductivity in the kagome metals KV$_3$Sb$_{5-x}$Sn$_x$ and RbV$_3$Sb$_{5-x}$Sn$_x$

abstract: The family of AV$_3$Sb$_5$ (A = K, Rb, Cs) kagome metals exhibit charge density wave (CDW) order, proposed to be chiral, followed by a lower temperature superconducting state. Recent studies have proposed the importance of band structure saddle points proximal to the Fermi energy in governing these two transitions. Here we show the effects of hole-doping achieved via chemical substitution of Sn for Sb on the CDW and superconducting states in both KV$_3$Sb$_5$ and RbV$_3$Sb$_5$, and generate a phase diagram. Hole-doping lifts the $\Gamma$ pocket and van Hove singularities (vHs) toward $E_F$ causing the superconducting $T_C$ in both systems to increase to about 4.5 K, while rapidly suppressing the CDW state.


title: The Photometric Study of Six W UMa Systems and Investigation of the Mass-Radius Relations for Contact Binary Stars

abstract: We present the photometric analysis of six short-period systems (EI Oct, V336 TrA, NX Boo, V356 Boo, PS Boo, and V2282 Cyg). This is the first photometric analysis of these systems except for V336 TrA. Observations were conducted for 27 nights at three observatories in the northern and southern hemispheres. We calculated a new ephemeris for each of the systems using our minimum times and additional literature. The Markov Chain Monte Carlo (MCMC) approach was used to determine the eclipse timing variation trends of the systems. We found a likely orbital growth for V336 TrA and PS Boo; four other systems show a linear trend in orbital period changes, which is most likely due to the accumulation of measurement errors in their linear ephemeris parameters. The light curve analysis was performed using the Physics of Eclipsing Binaries (PHOEBE) 2.3.59 version code with the MCMC approach. The absolute parameters of the systems were calculated by using the Gaia Early Data Release 3 (EDR3) parallax. The positions of the systems were also depicted on the Hertzsprung-Russell (H-R) and $logJ_0-logM$ diagrams. According to a sample, we were able to present relations for the mass-radius (M-R) relationships of contact binary systems. There is also a strong relationship between the mass ratio and the radius ratio in the W UMa systems for which we also provided a new relation. We compared the M-R updated relationships in this study with seven systems in other studies obtained using the spectroscopic method. In addition, we estimated some of the absolute parameters for 1734 EW systems, based on the new relationships.


title: Transient dynamics of subradiance and superradiance in open optical ensembles

abstract: We introduce a computational Maxwell-Bloch framework for investigating out-of-equilibrium optical emitters in open systems. To do so, we compute the pulse-induced dynamics of each emitter from fundamental light-matter interactions and self-consistently calculate their radiative coupling, including phase inhomogeneity from propagation effects. This semiclassical framework is applied to open quantum dots systems with different densities and dipolar coupling. We observe signatures of superradiant behavior, such as directionality and faster decay, as well as subradiant emission. We compare and discuss the computed light emission obtained with our method and a Master equation approach. Our framework enables quantitative investigations of large optical ensembles in the time domain and could be used to design new systems with enhanced superradiant and subradiant properties.


title: Modelling spatially autocorrelated detection probabilities in spatial capture-recapture using random effects

abstract: Spatial capture-recapture (SCR) models are now widely used for estimating density from repeated individual spatial encounters. SCR accounts for the inherent spatial autocorrelation in individual detections by modelling detection probabilities as a function of distance between the detectors and individual activity centres. However, additional spatial heterogeneity in detection probability may still creep in due to environmental or sampling characteristics. if unaccounted for, such variation can lead to pronounced bias in population size estimates. Using simulations, we describe and test three Bayesian SCR models that use generalized linear mixed models (GLMM) to account for latent heterogeneity in baseline detection probability across detectors using: independent random effects (RE), spatially autocorrelated random effects (SARE), and a two-group finite mixture model (FM). Overall, SARE provided the least biased population size estimates (median RB: -9 -- 6%). When spatial autocorrelation was high, SARE also performed best at predicting the spatial pattern of heterogeneity in detection probability. At intermediate levels of autocorrelation, spatially-explicit estimates of detection probability obtained with FM where more accurate than those generated by SARE and RE. In cases where the number of detections per detector is realistically low (at most 1), all GLMMs considered here may require dimension reduction of the random effects by pooling baseline detection probability parameters across neighboring detectors ("aggregation") to avoid over-parameterization. The added complexity and computational overhead associated with SCR-GLMMs may only be justified in extreme cases of spatial heterogeneity. However, even in less extreme cases, detecting and estimating spatially heterogeneous detection probability may assist in planning or adjusting monitoring schemes.


title: Noun2Verb: Probabilistic frame semantics for word class conversion

abstract: Humans can flexibly extend word usages across different grammatical classes, a phenomenon known as word class conversion. Noun-to-verb conversion, or denominal verb (e.g., to Google a cheap flight), is one of the most prevalent forms of word class conversion. However, existing natural language processing systems are impoverished in interpreting and generating novel denominal verb usages. Previous work has suggested that novel denominal verb usages are comprehensible if the listener can compute the intended meaning based on shared knowledge with the speaker. Here we explore a computational formalism for this proposal couched in frame semantics. We present a formal framework, Noun2Verb, that simulates the production and comprehension of novel denominal verb usages by modeling shared knowledge of speaker and listener in semantic frames. We evaluate an incremental set of probabilistic models that learn to interpret and generate novel denominal verb usages via paraphrasing. We show that a model where the speaker and listener cooperatively learn the joint distribution over semantic frame elements better explains the empirical denominal verb usages than state-of-the-art language models, evaluated against data from 1) contemporary English in both adult and child speech, 2) contemporary Mandarin Chinese, and 3) the historical development of English. Our work grounds word class conversion in probabilistic frame semantics and bridges the gap between natural language processing systems and humans in lexical creativity.


title: Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems

abstract: The ubiquity of distributed agreement protocols, such as consensus, has galvanized interest in verification of such protocols as well as applications built on top of them. The complexity and unboundedness of such systems, however, makes their verification onerous in general, and, particularly prohibitive for full automation. An exciting, recent breakthrough reveals that, through careful modeling, it becomes possible for verification of interesting distributed agreement-based (DAB) systems, that are unbounded in the number of processes, to be reduced to model checking of small, finite-state systems. It is an open question if such reductions are also possible for DAB systems that are doubly-unbounded, in particular, DAB systems that additionally have unbounded data domains. We answer this question in the affirmative in this work for models of DAB systems, thereby broadening the class of DAB systems which can be automatically verified. We present a new symmetry-based reduction and develop a tool, Venus, that can efficiently verify sophisticated DAB system models.


title: Modular Baskets Queue

abstract: A modular version of the baskets queue of Hoffman, Shalev and Shavit is presented. It manipulates the head and tail using a novel object called load-link/increment-conditional, which can be implemented using only READ/WRITE instructions, and admits implementations that spread contention. This suggests that there might be an alternative to the seemingly inherent bottleneck in previous queue implementations that manipulate the head and the tail using read-modify-write instructions over a single shared register.


title: Graph Neural Network Modeling of Grain-scale Anisotropic Elastic Behavior using Simulated and Measured Microscale Data

abstract: Here we assess the applicability of graph neural networks (GNNs) for predicting the grain-scale elastic response of polycrystalline metallic alloys. Using GNN surrogate models, grain-averaged stresses during uniaxial elastic tension in Low Solvus High Refractory (LSHR) Ni Superalloy and Ti 7wt%Al (Ti-7Al), as example face centered cubic and hexagonal closed packed alloys, are predicted. A transfer learning approach is taken in which GNN surrogate models are trained using crystal elasticity finite element method (CEFEM) simulations and then the trained surrogate models are used to predict the mechanical response of microstructures measured using high-energy X-ray diffraction microscopy (HEDM). The performance of using various microstructural and micromechanical descriptors for input nodal features to the GNNs is explored through comparisons to traditional mean-field theory predictions, reserved full-field CEFEM data, and measured far-field HEDM data. The effects of elastic anisotropy on GNN model performance and outlooks for extension of the framework are discussed.


title: The role of charge content in the two-step deswelling of Poly(N-isopropylacrylamide)-based microgels

abstract: Poly(N-isopropylacrylamide)-based microgels are soft colloids undergoing a Volume Phase Transition (VPT) close to ambient temperature. Although widely employed for fundamental research and application purposes, the modifications of the microgel internal structure occurring at the VPT are not yet completely understood, especially concerning the role of electrostatics. Here we study in detail, both experimentally and numerically, the effect of the addition of acrylic acid (AAc) co-monomer on the microgel deswelling process. By combining viscosimetry, light scattering and electrophoresis, we show that the progressive addition of AAc increases the microgel mass and suppresses the occurrence of the VPT, progressively shifting the microgel collapse to higher temperatures. Most importantly, it also highly enhances the two-step deswelling of these submicron-sized networks, so that the inner core collapses at temperatures always lower than those marking the transition of the outer corona. These results indicate that a net increase of the charge density mismatch between the bulk and the surface of the microgels takes place. Numerical simulations fully confirm this scenario and clarify the impact of the charge distribution on the two-step deswelling, with mobile counterions efficiently screening the charges within the inner core, while leaving more monomers ionized on the surface. Our work unambiguously shows how electrostatic interactions influence the behavior of thermosensitive microgels in aqueous environment close to the VPT.


title: Multi-Environment Meta-Learning in Stochastic Linear Bandits

abstract: In this work we investigate meta-learning (or learning-to-learn) approaches in multi-task linear stochastic bandit problems that can originate from multiple environments. Inspired by the work of [1] on meta-learning in a sequence of linear bandit problems whose parameters are sampled from a single distribution (i.e., a single environment), here we consider the feasibility of meta-learning when task parameters are drawn from a mixture distribution instead. For this problem, we propose a regularized version of the OFUL algorithm that, when trained on tasks with labeled environments, achieves low regret on a new task without requiring knowledge of the environment from which the new task originates. Specifically, our regret bound for the new algorithm captures the effect of environment misclassification and highlights the benefits over learning each task separately or meta-learning without recognition of the distinct mixture components.


title: Image Gradient Decomposition for Parallel and Memory-Efficient Ptychographic Reconstruction

abstract: Ptychography is a popular microscopic imaging modality for many scientific discoveries and sets the record for highest image resolution. Unfortunately, the high image resolution for ptychographic reconstruction requires significant amount of memory and computations, forcing many applications to compromise their image resolution in exchange for a smaller memory footprint and a shorter reconstruction time. In this paper, we propose a novel image gradient decomposition method that significantly reduces the memory footprint for ptychographic reconstruction by tessellating image gradients and diffraction measurements into tiles. In addition, we propose a parallel image gradient decomposition method that enables asynchronous point-to-point communications and parallel pipelining with minimal overhead on a large number of GPUs. Our experiments on a Titanate material dataset (PbTiO3) with 16632 probe locations show that our Gradient Decomposition algorithm reduces memory footprint by 51 times. In addition, it achieves time-to-solution within 2.2 minutes by scaling to 4158 GPUs with a super-linear strong scaling efficiency at 364% compared to runtimes at 6 GPUs. This performance is 2.7 times more memory efficient, 9 times more scalable and 86 times faster than the state-of-the-art algorithm.


title: Nuclear-Electronic Orbital Approach to Quantization of Protons in Periodic Electronic Structure Calculations

abstract: The nuclear-electronic orbital (NEO) method is a well-established approach for treating nuclei quantum mechanically in molecular systems beyond the usual Born-Oppenheimer approximation. In this work, we present a strategy to implement the NEO method for periodic electronic structure calculations, particularly focused on multicomponent density functional theory (DFT). The NEO-DFT method is implemented in an all-electron electronic structure code, FHI-aims, using a combination of analytical and numerical integration techniques as well as a resolution of the identity scheme to enhance computational efficiency. After validating this implementation, proof-of-concept applications are presented to illustrate the effects of quantized protons on the physical properties of extended systems such as two-dimensional materials and liquid-semiconductor interfaces. Specifically, periodic NEO-DFT calculations are performed for a trans-polyacetylene chain, a hydrogen boride sheet, and a titanium oxide-water interface. The zero-point energy effects of the protons, as well as electron-proton correlation, are shown to noticeably impact the density of states and band structures for these systems. These developments provide a foundation for the application of multicomponent DFT to a wide range of other extended condensed matter systems.


title: Cosmology in the presence of diffeomorphism-violating, nondynamical background fields

abstract: We consider diffeomorphism violation, which is parameterized by nondynamical background fields of the gravitational Standard-Model Extension (SME), and study its effects on the time evolution of the Universe. Our goal is to identify background field configurations that imply stages of accelerated expansion without exotic forms of matter and radiation present. Although our approach gives rise to a set of restrictive conditions, configurations are encountered that exhibit this property or show other interesting behaviors. The findings of our article, which is among the first to apply the SME to a cosmological setting, provide an initial understanding of how to technically incorporate background fields into the cosmological evolution equations and what their phenomenological impact may be.


title: Optimizing Apportionment of Redundancies in Hierarchical RAID

abstract: Large disk arrays are organized into storage nodes -- SNs or bricks with their own cashed RAID controller for multiple disks. Erasure coding at SN level is attained via parity or Reed-Solomon codes. Hierarchical RAID -- HRAID -- provides an additional level of coding across SNs, e.g., check strips P, Q at intra-SN level and R at the inter-SN level. Failed disks and SNs are not replaced and rebuild is accomplished by restriping, e.g., overwriting P and Q for disk failures and R for an SN failure. For a given total redundancy level we use an approximate reliability analysis method and Monte-Carlo simulation to explore the better apportionment of check blocks for intra- vs inter-SN redundancy. Our study indicates that a higher MTTDL -- Mean-Time-to-Data-Loss -- is attained by associating higher reliability at intra-SN level rather than inter-SN level, which is contrary to that of an IBM study.


title: Collaborative Multi-agent Stochastic Linear Bandits

abstract: We study a collaborative multi-agent stochastic linear bandit setting, where $N$ agents that form a network communicate locally to minimize their overall regret. In this setting, each agent has its own linear bandit problem (its own reward parameter) and the goal is to select the best global action w.r.t. the average of their reward parameters. At each round, each agent proposes an action, and one action is randomly selected and played as the network action. All the agents observe the corresponding rewards of the played actions and use an accelerated consensus procedure to compute an estimate of the average of the rewards obtained by all the agents. We propose a distributed upper confidence bound (UCB) algorithm and prove a high probability bound on its $T$-round regret in which we include a linear growth of regret associated with each communication round. Our regret bound is of order $\mathcal{O}\Big(\sqrt{\frac{T}{N \log(1/|\lambda_2|)}}\cdot (\log T)^2\Big)$, where $\lambda_2$ is the second largest (in absolute value) eigenvalue of the communication matrix.


title: Effects of Lorentz violation in the Higgs sector of the Minimal Standard Model Extension

abstract: A bound on the CPT-odd four vector coefficient $k^\mu_\phi$ that appears in Higgs sector of the Minimal Standard Model Extended (MSME) is presented. The analysis is based on the contributions arising from the sector in question to the anomalous dipole moment for leptons calculated at the one loop level, for which an analytical expression is obtained. The largest contribution of this Lorentz violating coefficient is on the lightest lepton, which results as a consequence of a strong non-decoupling effect. By using the experimental uncertainty of the electron anomalous dipole moment we predict that $|k^2_{ \phi\,R}|<3.29\times 10^{-29}$ GeV$^2$.


title: Visuomotor Control in Multi-Object Scenes Using Object-Aware Representations

abstract: Perceptual understanding of the scene and the relationship between its different components is important for successful completion of robotic tasks. Representation learning has been shown to be a powerful technique for this, but most of the current methodologies learn task specific representations that do not necessarily transfer well to other tasks. Furthermore, representations learned by supervised methods require large labeled datasets for each task that are expensive to collect in the real world. Using self-supervised learning to obtain representations from unlabeled data can mitigate this problem. However, current self-supervised representation learning methods are mostly object agnostic, and we demonstrate that the resulting representations are insufficient for general purpose robotics tasks as they fail to capture the complexity of scenes with many components. In this paper, we explore the effectiveness of using object-aware representation learning techniques for robotic tasks. Our self-supervised representations are learned by observing the agent freely interacting with different parts of the environment and is queried in two different settings: (i) policy learning and (ii) object location prediction. We show that our model learns control policies in a sample-efficient manner and outperforms state-of-the-art object agnostic techniques as well as methods trained on raw RGB images. Our results show a 20 percent increase in performance in low data regimes (1000 trajectories) in policy training using implicit behavioral cloning (IBC). Furthermore, our method outperforms the baselines for the task of object localization in multi-object scenes.


title: Fast optical transport of ultracold molecules over long distances

abstract: Optically trapped laser-cooled polar molecules hold promise for new science and technology in quantum information and quantum simulation. Large numerical aperture optical access and long trap lifetimes are needed for many studies, but these requirements are challenging to achieve in a magneto-optical trap (MOT) vacuum chamber that is connected to a cryogenic buffer gas beam source, as is the case for all molecule laser cooling experiments so far. Long distance transport of molecules greatly eases fulfilling these requirements as molecules are placed into a region separate from the MOT chamber. We realize a fast transport method for ultracold molecules based on an electronically focus-tunable lens combined with an optical lattice. The high transport speed is achieved by the 1D red-detuned optical lattice, which is generated by interference of a focus-tunable laser beam and a focus-fixed laser beam. Efficiency of 48(8)% is realized in the transport of ultracold calcium monofluoride (CaF) molecules over 46 cm distance in 50 ms, with a moderate heating from 32(2) {\mu}K to 53(4) {\mu}K. Positional stability of the molecular cloud allows for stable loading of an optical tweezer array with single molecules.


title: Frucht's theorem in Borel setting

abstract: In this paper, we show that Frucht's theorem holds in Borel setting. More specifically, we prove that any standard Borel group can be realized as the Borel automorphism group of a Borel graph. A slight modification of our construction also yields the following result in topological setting: Any Polish group can be realized as the homeomorphic automorphism group of a $\mathbf{\Delta^0_2}$-graph on a Polish space.


title: The Muon g-2 Experiment at Fermilab

abstract: The muon magnetic anomaly, $a_{\mu}$, is a powerful test of the Standard Model of particle physics. A new experiment at Fermilab has recently measured $a_{\mu}$ with unprecedented precision, confirming the results of the earlier Brookhaven experiment and strengthening the tension with the prediction of the Standard Model as determined by dispersive methods. We here describe the experimental technique, recapitulate the recent result, and discuss some of the improvements made for subsequent analyses.


title: An Approach to Adaptive Microlearning in Higher Education

abstract: Current changes in society and the education system, cumulated with the accelerated development of new technologies, entail inherent changes in the educational process. Numerous studies have shown that the pandemic has forced a rapid transformation of higher education. Thus, if before the pandemic digital technologies were used to supplement the learning process, now they are the main means of learning delivery. In addition, as previous research has shown, new pedagogical strategies and new ways of teaching and learning are needed for the current generation of students, the so-called Generation Z, to acquire new knowledge and develop new skills. In this necessary evolution of the educational process, a possible solution to increase the effectiveness of the learning process for the Generation Z students is to use microlearning to extend the traditional ways of learning. Many studies have shown that microlearning, based on how today's students learn and memorize, facilitates learning. In recent years there has been a growing trend in their use of microlearning in the educational process. But, in order to be effective, this approach must allow the individual knowledge building, by indicating a guiding direction of the optimal path to achieve the proposed objectives. We propose a system for personalized learning using microlearning, which provides support and guidance to students based on their individual needs, in order to increase their interest in learning, but also to compensate for various deficiencies in their educational background. We also present a case study from the higher education sector. Feedback from students and data collected during the semester as a result of the students' behavioural analysis and their real learning motivations will be used to improve the proposed system.


title: A Multivariate Hawkes Process Model for Stablecoin-Cryptocurrency Depegging Event Dynamics

abstract: Stablecoins, digital assets pegged to a specific currency or commodity value, are heavily involved in transactions of major cryptocurrencies. The effects of deviations from their desired fixed values (depeggings) on the cryptocurrencies for which they are frequently used in transactions are therefore of interest to study. We propose a model for this phenomenon using a multivariate mutually-exciting Hawkes process, and present a numerical example applying this model to Tether (USDT) and Bitcoin (BTC).


title: Master integrals for ${\cal O}(\alpha \alpha_s)$ corrections to $H \to ZZ^*$

abstract: We present analytic results for all the Feynman integrals relevant for ${\mathcal O}(\alpha \alpha_s)$ virtual corrections to $H \rightarrow ZZ^*$ decay. We use the method of differential equations to solve the master integrals while keeping the full dependence on the masses of all the particles including internal propagators. Due to the presence of four mass scales we encounter multiple square roots. We argue that all the occurring square roots can not be rationalized at the same time as a simultaneous rationalization brings us to integrals over $CY_3$ manifolds. Hence we rationalize only three square roots simultaneously and construct suitable ans\"atze to obtain dlog-forms containing the square root, after obtaining an epsilon-factorised form for the differential equations. We present the alphabet and the analytic form of all the boundary constants that appear in the solutions of the differential equations. The results for master integrals are expressed in terms of Chen's iterated integrals with dlog one-forms.


title: Asteroid Families: properties, recent advances and future opportunities

abstract: Collisions are one of the key processes shaping planetary systems. Asteroid families are outcomes of such collisions still identifiable across our solar system. The families provide a unique view of catastrophic disruption phenomena and have been in the focus of planetary scientists for more than a century. Most of them are located in the main belt, a ring of asteroids between Mars and Jupiter. Here we review the basic properties of the families, discuss some recent advances, and anticipate future challenges. This review pays more attention to dynamic aspects such as family identification, age determination, and long-term evolution. The text, however, goes beyond that. Especially, we cover the details of young families that see the major advances in the last years, and we anticipate it will develop even faster in the future. We also discuss the relevance of asteroid families for water-ice content in the asteroid belt and our current knowledge on links between families and main-belt comets.


title: Reversing monoid actions and domination in graphs

abstract: Given a graph $G=(V,E)$, a set of vertices $D\subseteq V $ is called a dominating set if every vertex in $V\backslash D$ is adjacent to a vertex in $D$, and a subset $B\subseteq V $ is called a nonblocking set if $V-B$ is a dominating set. In this paper, we introduce a graph dynamical systems detecting vertex sets that are simultaneously dominating and nonblocking sets via reversing the action of the system. Moreover, by using actions of multiple such graph dynamical systems we define actions of free monoid on two letters for which elements in the reverse action corresponds to more special dominating sets.


title: Generalized Variational Inference in Function Spaces: Gaussian Measures meet Bayesian Deep Learning

abstract: We develop a framework for generalized variational inference in infinite-dimensional function spaces and use it to construct a method termed Gaussian Wasserstein inference (GWI). GWI leverages the Wasserstein distance between Gaussian measures on the Hilbert space of square-integrable functions in order to determine a variational posterior using a tractable optimisation criterion and avoids pathologies arising in standard variational function space inference. An exciting application of GWI is the ability to use deep neural networks in the variational parametrisation of GWI, combining their superior predictive performance with the principled uncertainty quantification analogous to that of Gaussian processes. The proposed method obtains state-of-the-art performance on several benchmark datasets.


title: Average capacity of quantum entanglement

abstract: As an alternative to entanglement entropies, the capacity of entanglement becomes a promising candidate to probe and estimate the degree of entanglement of quantum bipartite systems. In this work, we study the typical behavior of entanglement capacity over major models of random states. In particular, the exact and asymptotic formulas of average capacity have been derived under the Hilbert-Schmidt and Bures-Hall ensembles. The obtained formulas generalize some partial results of average capacity computed recently in the literature. As a key ingredient in deriving the results, we make use of recent advances in random matrix theory pertaining to the underlying orthogonal polynomials and special functions. Numerical study has been performed to illustrate the usefulness of average capacity as an entanglement indicator.

categories: math-ph cs.IT hep-th math.IT math.MP quant-ph


title: Engineered Josephson Parametric Amplifier in quantum two-modes squeezed radar

abstract: Josephson parametric amplifier (JPA) engineering is a significant component in the quantum two-mode squeezed radar (QTMS), to enhance, for instance, radar performance and the detection range or bandwidth. In this study, we apply quantum theory to a research domain focusing the design of QTMS radar. We apply engineered JPA (EJPA) to enhance the performance of a quantum radar (QR). We investigate the correlation between the signal and idler using and we propose strategies for maintaining entanglement at room temperature. We define the quantum signal-to-noise ratio (SNR) and detection range equations of the QTMS radar. The engineering JPA, leads to a remarkable improvement of the quantum radar performance, i.e. a large enhancement in quantum SNR of about 6 dB, a substantial improvement in the probability of detection through far fewer channels, and a huge increase in QTMS radar range, from half a meter in the conventional JPA to 482 m in the current study.


title: From Users to (Sense)Makers: On the Pivotal Role of Stigmergic Social Annotation in the Quest for Collective Sensemaking

abstract: The web has become a dominant epistemic environment, influencing people's beliefs at a global scale. However, online epistemic environments are increasingly polluted, impairing societies' ability to coordinate effectively in the face of global crises. We argue that centralized platforms are a main source of epistemic pollution, and that healthier environments require redesigning how we collectively govern attention. Inspired by decentralization and open source software movements, we propose Open Source Attention, a socio-technical framework for "freeing" human attention from control by platforms, through a decentralized eco-system for creating, storing and querying stigmergic markers; the digital traces of human attention.


title: Retrodictive Quantum Computing

abstract: Quantum models of computation are widely believed to be more powerful than classical ones. Efforts center on proving that, for a given problem, quantum algorithms are more resource efficient than any classical one. All this, however, assumes a standard predictive paradigm of reasoning where, given initial conditions, the future holds the answer. How about bringing information from the future to the present and exploit it to one's advantage? This is a radical new approach for reasoning, so-called Retrodictive Computation, that benefits from the specific form of the computed functions. We demonstrate how to use tools of symbolic computation to realize retrodictive quantum computing at scale and exploit it to efficiently, and classically, solve instances of the quantum Deutsch-Jozsa, Bernstein-Vazirani, Simon, Grover, and Shor's algorithms.


title: SKYSURF: Constraints on Zodiacal Light and Extragalactic Background Light through Panchromatic HST All-Sky Surface-Brightness Measurements: II. First Limits on Diffuse Light at 1.25, 1.4, and 1.6 microns

abstract: We present the first results from the HST Archival Legacy project "SKYSURF." As described in Windhorst et al. 2022, SKYSURF utilizes the large HST archive to study the diffuse UV, optical, and near-IR backgrounds and foregrounds in detail. Here we utilize SKYSURF's first sky-surface brightness measurements to constrain the level of near-IR diffuse Extragalactic Background Light (EBL). Our sky-surface brightness measurements have been verified to an accuracy of better than 1%, which when combined with systematic errors associated with HST, results in sky brightness uncertainties of $\sim$2-4% $\simeq$ 0.005 MJy/sr in each image. We put limits on the amount of diffuse EBL in three near-IR filters (F125W, F140W, and F160W) by comparing our preliminary sky measurements of $> 30,000$ images to Zodiacal light models, carefully selecting the darkest images to avoid contamination from stray light. In addition, we investigate the impact that instrumental thermal emission has on our measurements, finding that it has a limited impact on F125W and F140W measurements, whereas uncertainties in the exact thermal state of HST results in significant uncertainties in the level of astrophysical diffuse light in F160W images. When compared to the Kelsall et al. (1998) Zodiacal model, an isotropic diffuse background of $30$ nW m$^{-2}$ sr$^{-1}$ remains, whereas using the Wright (1998) Zodiacal model results in no discernible diffuse background. Based primarily on uncertainties in the foreground model subtraction, we present limits on the amount of diffuse EBL of 29 nW m$^{-2}$ sr$^{-1}$, 40 nW m$^{-2}$ sr$^{-1}$, and 29 nW m$^{-2}$ sr$^{-1}$ for F125W, F140W, and F160W respectively. While this light is generally isotropic, our modeling at this point does not distinguish between a cosmological origin or a Solar System origin (such as a dim, diffuse, spherical cloud of cometary dust).


title: Deriving Thermonuclear Supernova Properties from Gamma-Ray Line Measurements

abstract: We illustrate methods for deriving properties of thermonuclear, or Type Ia, supernovae, including synthesized $^{56}$Ni mass, total ejecta mass, ejecta kinetic energy, and $^{56}$Ni distribution in velocity, from gamma-ray line observations. We simulate data from a small number of published SN Ia models for a simple gamma-ray instrument, and measure their underlying properties from straightforward analyses. Assuming spherical symmetry and homologous expansion, we calculate exact line profiles for all $^{56}$Co and $^{56}$Ni lines at all times, requiring only the variation of mass density and $^{56}$Ni mass fraction with expansion velocity as input. By parameterizing these quantities, we iterate the parameters to fit the simulated data. We fit the full profiles of multiple lines, or we integrate over the lines and fit line fluxes only versus time. Line profile fits are more robust, but in either case, we can recover accurately the values of the aforementioned properties of the models simulated, given sufficient signal-to-noise in the lines. A future gamma-ray mission with line sensitivity approaching 10$^{-6}$ photons cm$^{-2}$ s$^{-1}$ would measure these properties for many SN Ia, and with unprecedented precision and accuracy for a few per year. Our analyses applied to the reported $^{56}$Co lines from SN 2014J favor a low $^{56}$Ni mass and low ejecta mass, relative to other estimates.


title: SODA: a TypeScript/JavaScript Library for Visualizing Biological Sequence Annotation

abstract: We present SODA, a lightweight and open-source visualization library for biological sequence annotations that enables straightforward development of flexible, dynamic, and interactive web graphics. SODA is implemented in TypeScript and can be used as a library within TypeScript and JavaScript.


title: On the Economics of Multilingual Few-shot Learning: Modeling the Cost-Performance Trade-offs of Machine Translated and Manual Data

abstract: Borrowing ideas from {\em Production functions} in micro-economics, in this paper we introduce a framework to systematically evaluate the performance and cost trade-offs between machine-translated and manually-created labelled data for task-specific fine-tuning of massively multilingual language models. We illustrate the effectiveness of our framework through a case-study on the TyDIQA-GoldP dataset. One of the interesting conclusions of the study is that if the cost of machine translation is greater than zero, the optimal performance at least cost is always achieved with at least some or only manually-created data. To our knowledge, this is the first attempt towards extending the concept of production functions to study data collection strategies for training multilingual models, and can serve as a valuable tool for other similar cost vs data trade-offs in NLP.


title: Interpretable Climate Change Modeling With Progressive Cascade Networks

abstract: Typical deep learning approaches to modeling high-dimensional data often result in complex models that do not easily reveal a new understanding of the data. Research in the deep learning field is very actively pursuing new methods to interpret deep neural networks and to reduce their complexity. An approach is described here that starts with linear models and incrementally adds complexity only as supported by the data. An application is shown in which models that map global temperature and precipitation to years are trained to investigate patterns associated with changes in climate.


title: An Actionable Framework for Understanding and Improving Developer Experience

abstract: Developer experience is an important concern for software organizations as enhancing developer experience improves productivity, satisfaction, engagement and retention. We set out to understand what affects developer experience through semi-structured interviews with 21 developers from industry, which we transcribed and iteratively coded. Our findings elucidate factors that affect developer experience and characteristics that influence their respective importance to individual developers. We also identify strategies employed by individuals and teams to improve developer experience and the barriers that stand in their way. Lastly, we describe the coping mechanisms of developers when developer experience cannot be sufficiently improved. Our findings result in the DX Framework, an actionable conceptual framework for understanding and improving developer experience. The DX Framework provides a go-to reference for organizations that want to enable more productive and effective work environments for their developers.


title: Explosive electrostatic instability of ferroelectric liquid droplets on ferroelectric solid surfaces

abstract: We investigated the electrostatic behavior of ferroelectric liquid droplets exposed to the pyroelectric field of a lithium niobate ferroelectric crystal substrate. The ferroelectric liquid is a nematic liquid crystal in which almost complete polar ordering of the molecular dipoles generates an internal macroscopic polarization locally collinear to the mean molecular long axis. Upon entering the ferroelectric phase by reducing the temperature from the nematic phase, the liquid crystal droplets become electromechanically unstable and disintegrate by the explosive emission of fluid jets. These jets are mostly interfacial, spreading out on the substrate surface, and exhibit fractal branching out into smaller streams to eventually disrupt, forming secondary droplets. We understand this behavior as a manifestation of the Rayleigh instability of electrically charged fluid droplets, expected when the electrostatic repulsion exceeds the surface tension of the fluid. In this case the charges are due to the bulk polarization of the ferroelectric fluid which couples to the pyroelectric polarization of the underlying lithium niobate substrate through its fringing field and solid-fluid interface coupling. Since the ejection of fluid does not neutralize the droplet surfaces, they can undergo multiple explosive events as the temperature decreases.


title: Lithium depletion boundary, stellar associations, and Gaia

abstract: Stellar ages are key to improving our understanding of different astrophysical phenomena. However, many techniques to estimate stellar ages are highly model-dependent. The lithium depletion boundary (LDB), based on the presence or absence of lithium in low-mass stars, can be used to derive ages in stellar associations of between 20 and 500~Ma. The purpose of this work is to revise former LDB ages in stellar associations in a consistent way, taking advantage of the homogeneous \textit{Gaia} parallaxes as well as bolometric luminosity estimations that do not rely on monochromatic bolometric corrections. We studied nine open clusters and three moving groups characterised by a previous determination of the LDB age. We gathered all the available information from our data and the literature: membership, distances, photometric data, reddening, metallicity, and surface gravity. We re-assigned membership and calculated bolometric luminosities and effective temperatures using distances derived from Gaia DR2 and multi-wavelength photometry for individual objects around the former LDB. We located the LDB using a homogeneous method for all the stellar associations. Finally, we estimated the age by comparing it with different evolutionary models. We located the LDB for the twelve stellar associations and derived their ages using several theoretical evolutionary models. We compared the LDB ages among them, along with data obtained with other techniques, such as isochrone fitting, ultimately finding some discrepancies among the various approaches. Finally, we remark that the 32 Ori MG is likely to be composed of at least two populations of different ages.


title: Warm-starting DARTS using meta-learning

abstract: Neural architecture search (NAS) has shown great promise in the field of automated machine learning (AutoML). NAS has outperformed hand-designed networks and made a significant step forward in the field of automating the design of deep neural networks, thus further reducing the need for human expertise. However, most research is done targeting a single specific task, leaving research of NAS methods over multiple tasks mostly overlooked. Generally, there exist two popular ways to find an architecture for some novel task. Either searching from scratch, which is ineffective by design, or transferring discovered architectures from other tasks, which provides no performance guarantees and is probably not optimal. In this work, we present a meta-learning framework to warm-start Differentiable architecture search (DARTS). DARTS is a NAS method that can be initialized with a transferred architecture and is able to quickly adapt to new tasks. A task similarity measure is used to determine which transfer architecture is selected, as transfer architectures found on similar tasks will likely perform better. Additionally, we employ a simple meta-transfer architecture that was learned over multiple tasks. Experiments show that warm-started DARTS is able to find competitive performing architectures while reducing searching costs on average by 60%.


title: Beyond Static Models and Test Sets: Benchmarking the Potential of Pre-trained Models Across Tasks and Languages

abstract: Although recent Massively Multilingual Language Models (MMLMs) like mBERT and XLMR support around 100 languages, most existing multilingual NLP benchmarks provide evaluation data in only a handful of these languages with little linguistic diversity. We argue that this makes the existing practices in multilingual evaluation unreliable and does not provide a full picture of the performance of MMLMs across the linguistic landscape. We propose that the recent work done in Performance Prediction for NLP tasks can serve as a potential solution in fixing benchmarking in Multilingual NLP by utilizing features related to data and language typology to estimate the performance of an MMLM on different languages. We compare performance prediction with translating test data with a case study on four different multilingual datasets, and observe that these methods can provide reliable estimates of the performance that are often on-par with the translation based approaches, without the need for any additional translation as well as evaluation costs.


title: Solvability of some Stefan type problems

abstract: In this paper, we interest on some class of Stefan type problems. We prove the existence and uniqueness of renormalized solution in anisotropic Sobolev spaces with data belongs to $L^1- data,$ based on the properties of the renormalized trunctions and the generalized monotonicity method in the functional spaces.


title: Ultrafast collapse of molecular polaritons in photoswitch-nanoantennas at room temperature

abstract: Molecular polaritons are hybrid light-matter states that emerge when a molecular transition strongly interacts with photons in a resonator. At optical frequencies, this interaction unlocks a way to explore and control new chemical phenomena at the nanoscale. Achieving such a control at ultrafast timescales, however, is an outstanding challenge, as it requires a deep understanding of the dynamics of the collectively coupled molecular excitation and the nanoconfined electromagnetic fields. Here, we investigate the dynamics of collective polariton states, realized by coupling molecular photoswitches to optically anisotropic plasmonic nanoantennas. Pump-probe experiments reveal an ultrafast collapse of polaritons to a single-molecule transition triggered by femtosecond-pulse excitation at room-temperature. Through a synergistic combination of experiments and quantum mechanical modelling, we show that the response of the system is governed by intramolecular dynamics, occurring one order of magnitude faster with respect to the unperturbed excited molecule relaxation to the ground state.


title: Deep Learning for Prawn Farming: Forecasting and Anomaly Detection

abstract: We present a decision support system for managing water quality in prawn ponds. The system uses various sources of data and deep learning models in a novel way to provide 24-hour forecasting and anomaly detection of water quality parameters. It provides prawn farmers with tools to proactively avoid a poor growing environment, thereby optimising growth and reducing the risk of losing stock. This is a major shift for farmers who are forced to manage ponds by reactively correcting poor water quality conditions. To our knowledge, we are the first to apply Transformer as an anomaly detection model, and the first to apply anomaly detection in general to this aquaculture problem. Our technical contributions include adapting ForecastNet for multivariate data and adapting Transformer and the Attention model to incorporate weather forecast data into their decoders. We attain an average mean absolute percentage error of 12% for dissolved oxygen forecasts and we demonstrate two anomaly detection case studies. The system is successfully running in its second year of deployment on a commercial prawn farm.


title: Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+

abstract: We present a new technique for automatically inferring inductive invariants of parameterized distributed protocols specified in TLA+. Ours is the first such invariant inference technique to work directly on TLA+, an expressive, high level specification language. To achieve this, we present a new algorithm for invariant inference that is based around a core procedure for generating plain, potentially non-inductive lemma invariants that are used as candidate conjuncts of an overall inductive invariant. We couple this with a greedy lemma invariant selection procedure that selects lemmas that eliminate the largest number of counterexamples to induction at each round of our inference procedure. We have implemented our algorithm in a tool, endive, and evaluate it on a diverse set of distributed protocol benchmarks, demonstrating competitive performance and ability to uniquely solve an industrial scale reconfiguration protocol.


title: Building A Trusted Execution Environment for In-Storage Computing

abstract: In-storage computing with modern solid-state drives (SSDs) enables developers to offload programs from the host to the SSD. It has been proven to be an effective approach to alleviating the I/O bottleneck. To facilitate in-storage computing, many frameworks have been proposed. However, few of them consider security as the priority for in-storage computing. Specifically, since modern SSD controllers do not have a trusted execution environment, an offloaded (malicious) program could steal, modify, and even destroy the data stored in the SSD. In this paper, we first investigate the attacks that could be conducted by offloaded in-storage programs. To defend against these attacks, we build IceClave, a lightweight trusted execution environment for in-storage computing. IceClave enables security isolation between in-storage programs and flash management functions. IceClave also achieves security isolation between in-storage programs and enforces memory encryption and integrity verification of in-storage DRAM with low overhead. To protect data loaded from flash chips, IceClave develops a lightweight data encryption/decryption mechanism in flash controllers. We develop IceClave with a full system simulator and evaluate IceClave with a variety of data-intensive applications. Compared to state-of-the-art in-storage computing approaches, IceClave introduces only 7.6% performance overhead, while enforcing security isolation in the SSD controller with minimal hardware cost. IceClave still keeps the performance benefit of in-storage computing by delivering up to 2.31$\times$ better performance than the conventional host-based trusted computing approach.


title: Thermal Transport and Non-Mechanical Forces in Metals

abstract: We discuss contributions to the thermopower in an electron fluid. A simple argument based on Newton's second law with the pressure gradient as the force suggests that the thermopower is given by a thermodynamic derivative, viz., the entropy per particle, rather than being an independent transport coefficient. The resolution is the existence of an entropic force that results from a coupling between the mass current and the heat current in the fluid. We also discuss and clarify some aspects of a recent paper (Phys. Rev. B {\bf 102}, 214306 (2020)) that provided a method for exactly solving electronic transport equations in the low-temperature limit.


title: Causal Estimation of Position Bias in Recommender Systems Using Marketplace Instruments

abstract: Information retrieval systems, such as online marketplaces, news feeds, and search engines, are ubiquitous in today's digital society. They facilitate information discovery by ranking retrieved items on predicted relevance, i.e. likelihood of interaction (click, share) between users and items. Typically modeled using past interactions, such rankings have a major drawback: interaction depends on the attention items receive. A highly-relevant item placed outside a user's attention could receive little interaction. This discrepancy between observed interaction and true relevance is termed the position bias. Position bias degrades relevance estimation and when it compounds over time, it can silo users into false relevant items, causing marketplace inefficiencies. Position bias may be identified with randomized experiments, but such an approach can be prohibitive in cost and feasibility. Past research has also suggested propensity score methods, which do not adequately address unobserved confounding; and regression discontinuity designs, which have poor external validity. In this work, we address these concerns by leveraging the abundance of A/B tests in ranking evaluations as instrumental variables. Historical A/B tests allow us to access exogenous variation in rankings without manually introducing them, harming user experience and platform revenue. We demonstrate our methodology in two distinct applications at LinkedIn - feed ads and the People-You-May-Know (PYMK) recommender. The marketplaces comprise users and campaigns on the ads side, and invite senders and recipients on PYMK. By leveraging prior experimentation, we obtain quasi-experimental variation in item rankings that is orthogonal to user relevance. Our method provides robust position effect estimates that handle unobserved confounding well, greater generalizability, and easily extends to other information retrieval systems.


title: Closed-Form Solution of the Unit Normal Loss Integral in Two-Dimensions

abstract: In Value of Information (VoI) analysis, the unit normal loss integral (UNLI) frequently emerges as a solution for the computation of various VoI metrics. However, one limitation of the UNLI has been that its closed-form solution is available for only one dimension, and thus can be used for comparisons involving only two strategies (where it is applied to the scalar incremental net benefit). We derived a closed-form solution for the two-dimensional UNLI, enabling closed-form VoI calculations for three strategies. We verified the accuracy of this method via simulation studies. A case study based on a three-arm clinical trial was used as an example. VoI methods based on the closed-form solutions for the UNLI can now be extended to three-decision comparisons, taking a fraction of a second to compute and not being subject to Monte Carlo error. An R implementation of this method is provided as part of the predtools package (https://github.com/resplab/predtools/).


title: Fractional-Step Runge--Kutta Methods: Representation and Linear Stability Analysis

abstract: Fractional-step methods are a popular and powerful divide-and-conquer approach for the numerical solution of differential equations. When the integrators of the fractional steps are Runge--Kutta methods, such methods can be written as generalized additive Runge--Kutta (GARK) methods, and thus the representation and analysis of such methods can be done through the GARK framework. We show how the general Butcher tableau representation and linear stability of such methods are related to the coefficients of the splitting method, the individual sub-integrators, and the order in which they are applied. We use this framework to explain some observations in the literature about fractional-step methods such as the choice of sub-integrators, the order in which they are applied, and the role played by negative splitting coefficients in the stability of the method.


title: Violation of the magnonic Wiedemann-Franz law in the strong nonlinear regime

abstract: The celebrated Wiedemann-Franz (WF) law which governs the relation between charge and heat transport traces back to the experimental discovery in 1853 by Wiedemann and Franz. Despite the fundamental difference of the quantum-statistical properties between fermions and bosons, the linear-in-$T$ behavior of the WF law at low temperatures has recently been found to be the universal property by the discovery of the WF law for magnon transport. However, the WF law is for the linear response, and whether or not the universal law is valid even in the nonlinear regime of Bose systems remains an open issue. Here we provide a solution to this fundamental challenge. We show that the ratio of the thermal to spin transport coefficient of magnons in topologically trivial insulating magnets exhibits a different behavior from the linear response and the universal law breaks down in the strong nonlinear regime. This finding is within experimental reach with current device and measurement technologies. Our discovery is the key ingredient in magnon-based spintronics, in the evaluation of the figure of merit for thermomagnetic conversion elements of spintronics devices.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: A Machine Learning Approach to Classify Vortex Wakes of Energy Harvesting Oscillating Foils

abstract: A machine learning model is developed to establish wake patterns behind oscillating foils whose kinematics are within the energy harvesting regime. The role of wake structure is particularly important for array deployments of oscillating foils, since the unsteady wake highly influences performance of downstream foils. This work explores 46 oscillating foil kinematics, with the goal of parameterizing the wake based on the input kinematic variables and grouping vortex wakes through image analysis of vorticity fields. A combination of a convolutional neural network (CNN) with long short-term memory (LSTM) units is developed to classify the wakes into three groups. To fully verify the physical wake differences among foil kinematics, a convolutional autoencoder combined with k-means++ clustering is utilized and four different wake patterns are found. With the classification model, these patterns are associated with a range of foil kinematics. Future work can use these correlations to predict the performance of foils placed in the wake and build optimal foil arrangements for tidal energy harvesting.


title: Standard position for surfaces in link complements in arbitrary 3-manifolds

abstract: Since the 1980s, it has been known that essential surfaces in alternating link complements can be isotoped to be transverse to the link diagram almost everywhere, with the exception of some well-understood intersections, and described combinatorially as a result. This was called standard position for surfaces and has had numerous applications. However, the original techniques only apply to classical alternating links projected onto the 2-sphere inside the 3-sphere. In this paper, we prove that standard position for surfaces can be extended to a broader class, namely weakly generalized alternating links. Such links include all classical prime non-split alternating links in the 3-sphere, and also many links that are alternating on higher genus surfaces, or lie in manifolds besides the 3-sphere. As an application, we show that all such links are prime, and that under mild restrictions, essential Conway spheres for such links interact with the diagram exactly as in the classical alternating setting.


title: How to Combine Membership-Inference Attacks on Multiple Updated Models

abstract: A large body of research has shown that machine learning models are vulnerable to membership inference (MI) attacks that violate the privacy of the participants in the training data. Most MI research focuses on the case of a single standalone model, while production machine-learning platforms often update models over time, on data that often shifts in distribution, giving the attacker more information. This paper proposes new attacks that take advantage of one or more model updates to improve MI. A key part of our approach is to leverage rich information from standalone MI attacks mounted separately against the original and updated models, and to combine this information in specific ways to improve attack effectiveness. We propose a set of combination functions and tuning methods for each, and present both analytical and quantitative justification for various options. Our results on four public datasets show that our attacks are effective at using update information to give the adversary a significant advantage over attacks on standalone models, but also compared to a prior MI attack that takes advantage of model updates in a related machine-unlearning setting. We perform the first measurements of the impact of distribution shift on MI attacks with model updates, and show that a more drastic distribution shift results in significantly higher MI risk than a gradual shift. Our code is available at https://www.github.com/stanleykywu/model-updates.


title: Characterizing patterns in police stops by race in Minneapolis from 2016-2021

abstract: The murder of George Floyd centered Minneapolis, Minnesota, in conversations on racial injustice in the US. We leverage open data from the Minneapolis Police Department to analyze individual, geographic, and temporal patterns in more than 170,000 police stops since 2016. We evaluate person and vehicle searches at the individual level by race using generalized estimating equations with neighborhood clustering, directly addressing neighborhood differences in police activity. Minneapolis exhibits clear patterns of disproportionate policing by race, wherein Black people are searched at higher rates compared to White people. Temporal visualizations indicate that police stops declined following the murder of George Floyd. This analysis provides contemporary evidence on the state of policing for a major metropolitan area in the United States.


title: Coulomb gas sum rules for vortex-pair fluctuations in 2D superfluids

abstract: Vortex fluctuations above and below the critical Kosterlitz-Thouless (KT) transition temperature are characterized using simulations of the 2D XY model. The net winding number of vortices at a given temperature in a circle of radius $R$ is computed as a function of $R$. The average squared winding number is found to vary linearly with the perimeter of the circle at all temperatures above and below $T_{KT}$, and the slope with $R$ displays a sharp peak near the specific heat peak, decreasing then to a value at infinite temperature that is in agreement with an early theory by Dhar. We have also computed the vortex-vortex distribution functions, finding an asymptotic power-law variation in the vortex separation distance at all temperatures. In conjunction with a Coulomb-gas sum rule on the perimeter fluctuations, these can be used to successfully model the start of the perimeter-slope peak in the region below $T_{KT}$.


title: Measurement of Lepton Mass Squared Moments in $B \to X_c \ell \bar \nu_{\ell}$ Decays with the Belle II Experiment

abstract: We present measurements of the first to fourth moments of the lepton mass squared $q^2$ of \mbox{$B \to X_c \, \ell\, \bar \nu_{\ell}$} decays for $\ell = e, \mu$ and with $X_c$ a hadronic system containing a charm quark. These results use a sample of electron-positron collisions at the $\Upsilon(4S)$ resonance corresponding to $62.8 \, \mathrm{fb}^{-1}$ of integrated luminosity and collected by the Belle II experiment in 2019 and 2020. To identify the $X_c$ system and reconstruct $q^2$, one of the $B$ mesons from an $\Upsilon(4S) \to B \kern 0.18em\overline{\kern -0.18em B}$ decay is fully reconstructed in a hadronic decay mode using a multivariate $B$ tagging algorithm. We report raw and central moments for $ q^2 > 1.5 \; \mathrm{GeV^2/c^4}$ up to $q^2 > 8.5 \; \mathrm{GeV^2/c^4}$, probing up to 77\% of the accessible \mbox{$B \to X_c \, \ell\, \bar \nu_{\ell}$} phase space. This is the first measurement of moments in the experimentally challenging range of $[ 1.5, 2.5 ] \, \mathrm{GeV^2/c^4}$.


title: Continuous Interior Penalty stabilization for divergence-free finite element methods

abstract: In this paper we propose, analyze, and test numerically a pressure-robust stabilized finite element for a linearized problem in incompressible fluid mechanics, namely, the steady Oseen equation with low viscosity. Stabilization terms are defined by jumps of different combinations of derivatives for the convective term over the element faces of the triangulation of the domain. With the help of these stabilizing terms, and the fact the finite element space is assumed to provide a point-wise divergence-free velocity, an $\mathcal O\big(h^{k+\frac12}\big)$ error estimate in the $L^2$-norm is proved for the method (in the convection-dominated regime), and optimal order estimates in the remaining norms of the error. Numerical results supporting the theoretical findings are provided.


title: A new framework for computing a general local self-diffusion coefficient using statistical mechanics

abstract: Widely applicable, modified Green-Kubo expressions for the local diffusion coefficient ($D_l$) are obtained using linear response theory. In contrast to past definitions in use, these expressions are statistical mechanical results. Molecular simulations of systems with anisotropic diffusion and an inhomogeneous density profile confirm the validity of the results. Diffusion coefficients determined from different expressions in terms of currents and velocity correlations agree in the limit of large systems. Furthermore, they apply to arbitrarily small local regions, making them readily applicable to nanoscale and inhomogeneous systems where knowledge of $D_l$ is important.


title: A description of the Zeta map on Dyck paths area sequences

abstract: We give a description of the well known Zeta map on Dyck paths which sends the dinv,area statistics to the area,bounce statistics. Our description uses Dyck paths area sequences and can be implemented easily.


title: KASAM: Spline Additive Models for Function Approximation

abstract: Neural networks have been criticised for their inability to perform continual learning due to catastrophic forgetting and rapid unlearning of a past concept when a new concept is introduced. Catastrophic forgetting can be alleviated by specifically designed models and training techniques. This paper outlines a novel Spline Additive Model (SAM). SAM exhibits intrinsic memory retention with sufficient expressive power for many practical tasks, but is not a universal function approximator. SAM is extended with the Kolmogorov-Arnold representation theorem to a novel universal function approximator, called the Kolmogorov-Arnold Spline Additive Model - KASAM. The memory retention, expressive power and limitations of SAM and KASAM are illustrated analytically and empirically. SAM exhibited robust but imperfect memory retention, with small regions of overlapping interference in sequential learning tasks. KASAM exhibited greater susceptibility to catastrophic forgetting. KASAM in combination with pseudo-rehearsal training techniques exhibited superior performance in regression tasks and memory retention.


title: Dibaryon resonances and short-range $NN$ interaction

abstract: The dibaryon concept for the nuclear force is presented, assuming that the main attraction between the nucleons at medium distances is determined by the $s$-channel exchange of an intermediate six-quark (dibaryon) state. To construct the respective $NN$ interaction model, a microscopic six-quark description of the $NN$ system is used, in which symmetry aspects play a special role. It is shown that the $NN$ interaction in all important partial waves can be described properly by a superposition of the long-range $t$-channel one-pion exchange and the $s$-channel exchange by an intermediate dibaryon. The developed model gives a good description of both elastic phase shifts and inelasticities of $NN$ scattering in all $S$, $P$, $D$ and $F$ partial waves at energies from zero to 600 - 800 MeV and even higher.The parameters of the intermediate six-quark states corresponding to the best fit of $NN$ scattering data are found to be consistent with the parameters of the known dibaryon resonances in those $NN$ partial configurations where their existence has been experimentally confirmed. Predictions for new dibaryon states are given as well.


title: ACHILLES: A novel event generator for electron- and neutrino-nucleus scattering

abstract: We present a novel lepton-nucleus event generator: ACHILLES, A CHIcagoLand Lepton Event Simulator. The generator factorizes the primary interaction from the propagation of hadrons in the nucleus, which allows for a great deal of modularity, facilitating further improvements and interfaces with existing codes. We validate our generator against high quality electron-carbon scattering data in the quasielastic regime, including the recent CLAS/e4v reanalysis of existing data. We find good agreement in both inclusive and exclusive distributions. By varying the assumptions on the propagation of knocked out nucleons throughout the nucleus, we estimate a component of theoretical uncertainties. We also propose novel observables that will allow for further testing of lepton-nucleus scattering models. ACHILLES is readily extendable to generate neutrino-nucleus scattering events.


title: Quantum Computing and Preconditioners for Hydrological Linear Systems

abstract: Modeling hydrological fracture networks is a hallmark challenge in computational earth sciences. Accurately predicting critical features of fracture systems, e.g. percolation, can require solving large linear systems far beyond current or future high performance capabilities. Quantum computers can theoretically bypass the memory and speed constraints faced by classical approaches, however several technical issues must first be addressed. Chief amongst these difficulties is that such systems are often ill-conditioned, i.e. small changes in the system can produce large changes in the solution, which can slow down the performance of linear solving algorithms. We test several existing quantum techniques to improve the condition number, but find they are insufficient. We then introduce the inverse Laplacian preconditioner, which improves the scaling of the condition number of the system from $O(N)$ to $O(\sqrt{N})$ and admits a quantum implementation. These results are a critical first step in developing a quantum solver for fracture systems, both advancing the state of hydrological modeling and providing a novel real-world application for quantum linear systems algorithms.


title: Photonic Generation of Millimeter-Waves Disciplined by Molecular Rotational Spectroscopy

abstract: Optical generation of millimeter-waves (mm-wave) is made possible by an optical heterodyne of two diode lasers on a uni-traveling-carrier photodiode (UTC-PD). We utilized this technique to produce a mm-wave oscillator with desirable phase-noise characteristics, which were inherited from a pair of narrow-linewidth diode lasers. We present the long-term stabilization of our oscillator, achieved by referencing it to a rotational transition of gaseous nitrous oxide (N2O). Direct frequency modulation spectroscopy at 301.442 GHz (J=11) generated an error signal that disciplined the frequency difference between the diode lasers and thus, locked the millimeter-wave radiation to the molecular rotational line. The mm-wave frequency was down-converted using an electro-optic (EO) comb, and recorded by a frequency counter referenced to a Rubidium (Rb) clock. This resulted in short-term fractional frequency stability of $1.5 \times 10^{-11}/\sqrt{\tau}$ and a long term-stability of $4\times 10^{-12}$ at 10,000 s averaging time.


title: Analyzing Impact of Dependency Injection on Software Maintainability

abstract: Dependency injection (DI) is generally known to improve maintainability by keeping application classes separate from the library. Particularly within the Java environment, there are many applications using the principles of DI with the aim to improve maintainability. There exists some work that provides an inference on the impact of DI on maintainability, but no conclusive evidence is provided. The fact that there are no publicly available tools for quantifying DI makes such an evidence more difficult to be produced. In this paper, we propose a novel metric, DCBO, to measure the proportion of DI in a project based on weighted couplings. We describe how DCBO can serve as a more meaningful metric in computing maintainability when DI is also considered. The metric is implemented in the CKJM-Analyzer, an extension of the CKJM tool that utilizes static code analysis to detect DI. We discuss the algorithmic approach behind the static analysis and prove the soundness of the tool using a set of open-source Java projects.