title: Decoupled Mixup for Generalized Visual Recognition

abstract: Convolutional neural networks (CNN) have demonstrated remarkable performance when the training and testing data are from the same distribution. However, such trained CNN models often largely degrade on testing data which is unseen and Out-Of-the-Distribution (OOD). To address this issue, we propose a novel "Decoupled-Mixup" method to train CNN models for OOD visual recognition. Different from previous work combining pairs of images homogeneously, our method decouples each image into discriminative and noise-prone regions, and then heterogeneously combines these regions of image pairs to train CNN models. Since the observation is that noise-prone regions such as textural and clutter backgrounds are adverse to the generalization ability of CNN models during training, we enhance features from discriminative regions and suppress noise-prone ones when combining an image pair. To further improve the generalization ability of trained models, we propose to disentangle discriminative and noise-prone regions in frequency-based and context-based fashions. Experiment results show the high generalization performance of our method on testing data that are composed of unseen contexts, where our method achieves 85.76\% top-1 accuracy in Track-1 and 79.92\% in Track-2 in the NICO Challenge. The source code is available at https://github.com/HaozheLiu-ST/NICOChallenge-OOD-Classification.


title: Categorical SDEs with Simplex Diffusion

abstract: Diffusion models typically operate in the standard framework of generative modelling by producing continuously-valued datapoints. To this end, they rely on a progressive Gaussian smoothing of the original data distribution, which admits an SDE interpretation involving increments of a standard Brownian motion. However, some applications such as text generation or reinforcement learning might naturally be better served by diffusing categorical-valued data, i.e., lifting the diffusion to a space of probability distributions. To this end, this short theoretical note proposes Simplex Diffusion, a means to directly diffuse datapoints located on an n-dimensional probability simplex. We show how this relates to the Dirichlet distribution on the simplex and how the analogous SDE is realized thanks to a multi-dimensional Cox-Ingersoll-Ross process (abbreviated as CIR), previously used in economics and mathematical finance. Finally, we make remarks as to the numerical implementation of trajectories of the CIR process, and discuss some limitations of our approach.


title: 110 GHz, 110 mW Hybrid Silicon-Lithium Niobate Mach-Zehnder Modulator

abstract: High bandwidth, low voltage electro-optic modulators with high optical power handling capability are important for improving the performance of analog optical communications and RF photonic links. Here we designed and fabricated a thin-film lithium niobate (LN) Mach-Zehnder modulator (MZM) which can handle high optical power of 110 mW, while having 3-dB bandwidth greater than 110 GHz at 1550 nm. The design does not require etching of thin-film LN, and uses hybrid optical modes formed by bonding LN to planarized silicon photonic waveguide circuits. A high optical power handling capability in the MZM was achieved by carefully tapering the underlying Si waveguide to reduce the impact of optically-generated carriers, while retaining a high modulation efficiency. The MZM has a $V_\pi L$ product of 3.1 V$.$cm and an on-chip optical insertion loss of 1.8 dB.


title: Visualizing giant ferroelectric gating effects in large-scale WSe$_2$/BiFeO$_3$ heterostructures

abstract: Multilayers based on quantum materials (complex oxides, topological insulators, transition-metal dichalcogenides, etc) have enabled the design of devices that could revolutionize microelectronics and optoelectronics. However, heterostructures incorporating quantum materials from different families remain scarce, while they would immensely broaden the range of possible applications. Here we demonstrate the large-scale integration of compounds from two highly-multifunctional families: perovskite oxides and transition-metal dichalcogenides (TMDs). We couple BiFeO$_3$, a room-temperature multiferroic oxide, and WSe$_2$, a semiconducting two-dimensional material with potential for photovoltaics and photonics. WSe$_2$ is grown by molecular beam epitaxy and transferred on a centimeter-scale onto BiFeO$_3$ films. Using angle-resolved photoemission spectroscopy, we visualize the electronic structure of 1 to 3 monolayers of WSe$_2$ and evidence a giant energy shift as large as 0.75 eV induced by the ferroelectric polarization direction in the underlying BiFeO$_3$. Such a strong shift opens new perspectives in the efficient manipulation of TMDs properties by proximity effects.


title: Bracket width of the Lie algebra of vector fields on a smooth affine curve

abstract: We prove that the bracket width of the simple Lie algebra of vector fields $\rm{Vec}(C)$ of a smooth irreducible affine curve $C$ with a trivial tangent sheaf is at most three. In addition, if $C$ is a plane curve, the bracket width of $\rm{Vec}(C)$ is at most two and if moreover $C$ has a unique place at infinity, the bracket width of $\rm{Vec}(C)$ is exactly two. We also show that in case $C$ is rational, the width of $\rm{Vec}(C)$ equals one.


title: SUSY and tri-vector deformations

abstract: We analyze conditions for a tri-vector deformation of a supergravity background to preserve some supersymmetry. Working in the formalism of the SL(5) exceptional field theory, we present its supersymmetry transformations and introduce an additional USp(4) transformation to stay in the supergravity frame. This transformation acts on local indices and deforms BPS equations of exceptional field theory. The requirement for the deformation to vanish is the desired condition. The condition is shown to be consistent with previous results on bi-vector deformations.


title: Extracting Unique Information Through Markov Relations

abstract: We propose two new measures for extracting the unique information in $X$ and not $Y$ about a message $M$, when $X, Y$ and $M$ are joint random variables with a given joint distribution. We take a Markov based approach, motivated by questions in fair machine learning, and inspired by similar Markov-based optimization problems that have been used in the Information Bottleneck and Common Information frameworks. We obtain a complete characterization of our definitions in the Gaussian case (namely, when $X, Y$ and $M$ are jointly Gaussian), under the assumption of Gaussian optimality. We also examine the consistency of our definitions with the partial information decomposition (PID) framework, and show that these Markov based definitions achieve non-negativity, but not symmetry, within the PID framework.


title: Efficient prediction of turbulent flow quantities using a Bayesian hierarchical multifidelity model

abstract: High-fidelity scale-resolving simulations of turbulent flows quickly become prohibitively expensive, especially at high Reynolds numbers. As a remedy, we may use multifidelity models (MFM) to construct predictive models for flow quantities of interest (QoIs), with the purpose of uncertainty quantification, data fusion and optimization. For numerical simulation of turbulence, there is a hierarchy of methodologies ranked by accuracy and cost, which include several numerical/modeling parameters that control the predictive accuracy and robustness of the resulting outputs. Compatible with these specifications, the present hierarchical MFM strategy allows for simultaneous calibration of the fidelity-specific parameters in a Bayesian framework as developed by Goh et al. 2013. The purpose of the multifidelity model is to provide an improved prediction by combining lower and higher fidelity data in an optimal way for any number of fidelity levels; even providing confidence intervals for the resulting QoI. The capabilities of our multifidelity model are first demonstrated on an illustrative toy problem, and it is then applied to three realistic cases relevant to engineering turbulent flows. The latter include the prediction of friction at different Reynolds numbers in turbulent channel flow, the prediction of aerodynamic coefficients for a range of angles of attack of a standard airfoil, and the uncertainty propagation and sensitivity analysis of the separation bubble in the turbulent flow over periodic hills subject to the geometrical uncertainties. In all cases, based on only a few high-fidelity data samples (typically direct numerical simulations, DNS), the multifidelity model leads to accurate predictions of the QoIs accompanied with an estimate of confidence. The result of the UQ and sensitivity analyses are also found to be accurate compared to the ground truth in each case.


title: ViNL: Visual Navigation and Locomotion Over Obstacles

abstract: We present Visual Navigation and Locomotion over obstacles (ViNL), which enables a quadrupedal robot to navigate unseen apartments while stepping over small obstacles that lie in its path (e.g., shoes, toys, cables), similar to how humans and pets lift their feet over objects as they walk. ViNL consists of: (1) a visual navigation policy that outputs linear and angular velocity commands that guides the robot to a goal coordinate in unfamiliar indoor environments; and (2) a visual locomotion policy that controls the robot's joints to avoid stepping on obstacles while following provided velocity commands. Both the policies are entirely "model-free", i.e. sensors-to-actions neural networks trained end-to-end. The two are trained independently in two entirely different simulators and then seamlessly co-deployed by feeding the velocity commands from the navigator to the locomotor, entirely "zero-shot" (without any co-training). While prior works have developed learning methods for visual navigation or visual locomotion, to the best of our knowledge, this is the first fully learned approach that leverages vision to accomplish both (1) intelligent navigation in new environments, and (2) intelligent visual locomotion that aims to traverse cluttered environments without disrupting obstacles. On the task of navigation to distant goals in unknown environments, ViNL using just egocentric vision significantly outperforms prior work on robust locomotion using privileged terrain maps (+32.8% success and -4.42 collisions per meter). Additionally, we ablate our locomotion policy to show that each aspect of our approach helps reduce obstacle collisions. Videos and code at http://www.joannetruong.com/projects/vinl.html


title: Monodromy Approach to Pair Production of Charged Black Holes and Electric Fields

abstract: To find the pair production, absorption cross section and quasi-normal modes in background fields, we advance the monodromy method that makes use of the regular singular points of wave equations. We find the mean number of pairs produced in background fields whose mode equations belong to the Riemann differential equation and apply the method to the three particular cases: (i) charges near the horizon of near-extremal black holes, (ii) charges with minimal energy under the static balance in nonextremal charged black holes, and (iii) charges in the Sauter-type electric fields. We then compare the results from the monodromy with those from the exact wave functions in terms of the hypergeometric functions with three regular singular points. The explicit elaboration of monodromy and the model calculations worked out here seem to reveal evidences that the monodromy may provide a practical technique to study the spontaneous pair production in general black holes and electromagnetic fields.


title: M$^3$ViT: Mixture-of-Experts Vision Transformer for Efficient Multi-task Learning with Model-Accelerator Co-design

abstract: Multi-task learning (MTL) encapsulates multiple learned tasks in a single model and often lets those tasks learn better jointly. However, when deploying MTL onto those real-world systems that are often resource-constrained or latency-sensitive, two prominent challenges arise: (i) during training, simultaneously optimizing all tasks is often difficult due to gradient conflicts across tasks; (ii) at inference, current MTL regimes have to activate nearly the entire model even to just execute a single task. Yet most real systems demand only one or two tasks at each moment, and switch between tasks as needed: therefore such all tasks activated inference is also highly inefficient and non-scalable. In this paper, we present a model-accelerator co-design framework to enable efficient on-device MTL. Our framework, dubbed M$^3$ViT, customizes mixture-of-experts (MoE) layers into a vision transformer (ViT) backbone for MTL, and sparsely activates task-specific experts during training. Then at inference with any task of interest, the same design allows for activating only the task-corresponding sparse expert pathway, instead of the full model. Our new model design is further enhanced by hardware-level innovations, in particular, a novel computation reordering scheme tailored for memory-constrained MTL that achieves zero-overhead switching between tasks and can scale to any number of experts. When executing single-task inference, M$^{3}$ViT achieves higher accuracies than encoder-focused MTL methods, while significantly reducing 88% inference FLOPs. When implemented on a hardware platform of one Xilinx ZCU104 FPGA, our co-design framework reduces the memory requirement by 2.4 times, while achieving energy efficiency up to 9.23 times higher than a comparable FPGA baseline. Code is available at: https://github.com/VITA-Group/M3ViT.


title: The Contribution of Human Body Capacitance/Body-Area Electric Field To Individual and Collaborative Activity Recognition

abstract: The current dominated wearable body motion sensor is IMU. This work presented an alternative wearable motion-sensing approach: human body capacitance (HBC, also commonly defined as body-area electric field). While being less robust in tracking the posture and trajectory, HBC has two properties that make it an attractive. First, the deployment of the sensing node on the being tracked body part is not a requirement for HBC sensing approach. Second, HBC is sensitive to the body's interaction with its surroundings, including both touching and being in the immediate proximity of people and objects. We first described the sensing principle for HBC, sensor architecture and implementation, and methods for evaluation. We then presented two case studies demonstrating the usefulness of HBC as a complement/alternative to IMUs. First, we explored the exercise recognition and repetition counting of seven machine-free leg-only exercises and eleven general gym workouts with the signal source of HBC and IMU. The HBC sensing shows significant advantages over the IMU signals in classification(0.89 vs 0.78 in F-score) and counting(0.982 vs 0.938 in accuracy) of the leg-only exercises. For the general gym workouts, HBC only shows recognition improvement for certain workouts like adductor where legs alone complete the movement. And it also supplies better results over the IMU for workouts counting(0.800 vs. 0.756 when wearing the sensors on the wrist). In the second case, we tried to recognize actions related to manipulating objects and physical collaboration between users by using a wrist-worn HBC sensing unit. We detected collaboration between the users with 0.69 F-score when receiving data from a single user and 0.78 when receiving data from both users. The capacitive sensor can improve the recognition of collaborative activities with an F-score over a single wrist accelerometer approach by 16\%.


title: Enforcing Dirichlet boundary conditions in physics-informed neural networks and variational physics-informed neural networks

abstract: In this paper, we present and compare four methods to enforce Dirichlet boundary conditions in Physics-Informed Neural Networks (PINNs) and Variational Physics-Informed Neural Networks (VPINNs). Such conditions are usually imposed by adding penalization terms in the loss function and properly choosing the corresponding scaling coefficients; however, in practice, this requires an expensive tuning phase. We show through several numerical tests that modifying the output of the neural network to exactly match the prescribed values leads to more efficient and accurate solvers. The best results are achieved by exactly enforcing the Dirichlet boundary conditions by means of an approximate distance function. We also show that variationally imposing the Dirichlet boundary conditions via Nitsche's method leads to suboptimal solvers.


title: AD-DMKDE: Anomaly Detection through Density Matrices and Fourier Features

abstract: This paper presents a novel density estimation method for anomaly detection using density matrices (a powerful mathematical formalism from quantum mechanics) and Fourier features. The method can be seen as an efficient approximation of Kernel Density Estimation (KDE). A systematic comparison of the proposed method with eleven state-of-the-art anomaly detection methods on various data sets is presented, showing competitive performance on different benchmark data sets. The method is trained efficiently and it uses optimization to find the parameters of data embedding. The prediction phase complexity of the proposed algorithm is constant relative to the training data size, and it performs well in data sets with different anomaly rates. Its architecture allows vectorization and can be implemented on GPU/TPU hardware.


title: Is Multi-Task Learning an Upper Bound for Continual Learning?

abstract: Continual and multi-task learning are common machine learning approaches to learning from multiple tasks. The existing works in the literature often assume multi-task learning as a sensible performance upper bound for various continual learning algorithms. While this assumption is empirically verified for different continual learning benchmarks, it is not rigorously justified. Moreover, it is imaginable that when learning from multiple tasks, a small subset of these tasks could behave as adversarial tasks reducing the overall learning performance in a multi-task setting. In contrast, continual learning approaches can avoid the performance drop caused by such adversarial tasks to preserve their performance on the rest of the tasks, leading to better performance than a multi-task learner. This paper proposes a novel continual self-supervised learning setting, where each task corresponds to learning an invariant representation for a specific class of data augmentations. In this setting, we show that continual learning often beats multi-task learning on various benchmark datasets, including MNIST, CIFAR-10, and CIFAR-100.


title: Sharp inequalities for coherent states and their optimizers

abstract: We are interested in sharp functional inequalities for the coherent state transform related to the Wehrl conjecture and its generalizations. This conjecture was settled by Lieb in the case of the Heisenberg group and then by Lieb and Solovej for SU(2) and by Kulikov for SU(1,1) and the affine group. In this paper, we give alternative proofs and characterize, for the first time, the optimizers in the general case. We also extend the recent Faber--Krahn-type inequality for Heisenberg coherent states, due to Nicola and Tilli, to the SU(2) and SU(1,1) cases. Finally, we prove a family of reverse H\"older inequalities for polynomials, conjectured by Bodmann.


title: Segmentation of Bruch's Membrane in retinal OCT with AMD using anatomical priors and uncertainty quantification

abstract: Bruch's membrane (BM) segmentation on optical coherence tomography (OCT) is a pivotal step for the diagnosis and follow-up of age-related macular degeneration (AMD), one of the leading causes of blindness in the developed world. Automated BM segmentation methods exist, but they usually do not account for the anatomical coherence of the results, neither provide feedback on the confidence of the prediction. These factors limit the applicability of these systems in real-world scenarios. With this in mind, we propose an end-to-end deep learning method for automated BM segmentation in AMD patients. An Attention U-Net is trained to output a probability density function of the BM position, while taking into account the natural curvature of the surface. Besides the surface position, the method also estimates an A-scan wise uncertainty measure of the segmentation output. Subsequently, the A-scans with high uncertainty are interpolated using thin plate splines (TPS). We tested our method with ablation studies on an internal dataset with 138 patients covering all three AMD stages, and achieved a mean absolute localization error of 4.10 um. In addition, the proposed segmentation method was compared against the state-of-the-art methods and showed a superior performance on an external publicly available dataset from a different patient cohort and OCT device, demonstrating strong generalization ability.


title: Naturalistic Head Motion Generation from Speech

abstract: Synthesizing natural head motion to accompany speech for an embodied conversational agent is necessary for providing a rich interactive experience. Most prior works assess the quality of generated head motion by comparing them against a single ground-truth using an objective metric. Yet there are many plausible head motion sequences to accompany a speech utterance. In this work, we study the variation in the perceptual quality of head motions sampled from a generative model. We show that, despite providing more diverse head motions, the generative model produces motions with varying degrees of perceptual quality. We finally show that objective metrics commonly used in previous research do not accurately reflect the perceptual quality of generated head motions. These results open an interesting avenue for future work to investigate better objective metrics that correlate with human perception of quality.


title: Universal derivation of the asymptotic charges of bosonic massless particles

abstract: We present a unified treatment of the conserved asymptotic charges associated with any bosonic massless particle in any spacetime dimension. In particular we provide master formulae for the asymptotic charges and the central extensions in the corresponding charge algebras. These formulae can be explicitly evaluated for any given theory. For illustration we apply them to electromagnetism and gravity, thereby recovering earlier results.


title: Zero sound and higher-form symmetries in compressible holographic phases

abstract: Certain holographic states of matter with a global U(1) symmetry support a sound mode at zero temperature, caused neither by spontaneous symmetry breaking of the global U(1) nor by the emergence of a Fermi surface in the infrared. In this work, we show that such a mode is also found in zero density holographic quantum critical states. We demonstrate that in these states, the appearance of a zero temperature sound mode is the consequence of a mixed `t Hooft anomaly between the global U(1) symmetry and an emergent higher-form symmetry. At non-zero temperatures, the presence of a black hole horizon weakly breaks the emergent symmetry and gaps the collective mode, giving rise to a sharp Drude-like peak in the electric conductivity. A similar gapped mode arises at low temperatures for non-zero densities when the state has an emergent Lorentz symmetry, also originating from an approximate anomalous higher-form symmetry. However, in this case the collective excitation does not survive at zero temperature where, instead, it dissolves into a branch cut due to strong backreaction from the infrared, critical degrees of freedom. We comment on the relation between our results and the application of the Luttinger theorem to compressible holographic states of matter.


title: Don't Prompt, Search! Mining-based Zero-Shot Learning with Language Models

abstract: Masked language models like BERT can perform text classification in a zero-shot fashion by reformulating downstream tasks as text infilling. However, this approach is highly sensitive to the template used to prompt the model, yet practitioners are blind when designing them in strict zero-shot settings. In this paper, we propose an alternative mining-based approach for zero-shot learning. Instead of prompting language models, we use regular expressions to mine labeled examples from unlabeled corpora, which can optionally be filtered through prompting, and used to finetune a pretrained model. Our method is more flexible and interpretable than prompting, and outperforms it on a wide range of tasks when using comparable templates. Our results suggest that the success of prompting can partly be explained by the model being exposed to similar examples during pretraining, which can be directly retrieved through regular expressions.


title: Approximate Quantum Random Access Memory Architectures

abstract: Quantum supremacy in many applications using well-known quantum algorithms rely on availability of data in quantum format. Quantum Random Access Memory (QRAM), an equivalent of classical Random Access Memory (RAM), fulfills this requirement. However, the existing QRAM proposals either require qutrit technology and/or incur access challenges. We propose an approximate Parametric Quantum Circuit (PQC) based QRAM which takes address lines as input and gives out the corresponding data in these address lines as the output. We present two applications of the proposed PQC-based QRAM namely, storage of binary data and storage of machine learning (ML) dataset for classification.


title: The First Galaxies and the Effect of Heterogeneous Enrichment from Primordial Stars

abstract: We incorporate new scale-intelligent models of metal-enriched star formation (\starss) with surrogate models of primordial stellar feedback (\starnet) into the astrophysics simulation code \enzo to analyze the impact of heterogeneous metal enrichment on the first galaxies. Our study includes the earliest generations of stars and the protogalaxies ($10^6 \lesssim M_v/M_\odot \lesssim 10^8$) containing them. We compare results obtained with the new methods to two common paradigms of metallicity initial conditions in simulations: ignoring the metallicity initial condition and assuming a uniform metallicity floor. We find that ignoring metallicity requirements for enriched star formation results in a redshift-dependent excess in stellar mass created and compounding errors consisting of stars forming in pristine gas. We find that using a metallicity floor causes an early underproduction of stars before $z=21$ that reverses to overproduction by $z=18$. At the final redshift, $z=14.95$, there is $\sim 20\%$ excess stellar mass with 8.6\% increased protogalaxy count. Heterogeneous metallicity initial conditions greatly increase the range of halo observables, e.g., stellar metallicity, stellar mass, and luminosity. The increased range leads to better agreement with observations of ultra-faint dwarf galaxies when compared to metallicity-floor simulations. \starnet generates protogalaxies with low stellar mass, $M_* \lesssim 10^3 M_\odot$, so may also serve to model low-luminosity protogalaxies more effectively than a metallicity floor criterion at similar spatial and mass resolution.


title: On the first eigenvalue of the Laplacian for polygons

abstract: In 1947, P\'olya proved that if $n=3,4$ the regular polygon $P_n$ minimizes the principal frequency of an n-gon with given area $\alpha>0$ and suggested that the same holds when $n \ge 5$. In $1951,$ P\'olya & Szeg\"o discussed the possibility of counterexamples in the book "Isoperimetric Inequalities In Mathematical Physics." This paper constructs explicit $(2n-4)$--dimensional polygonal manifolds $\mathcal{M}(n, \alpha)$ and proves the existence of a computable $N \ge 5$ such that for all $n \ge N$, the admissible $n$-gons are given via $\mathcal{M}(n, \alpha)$ and there exists an explicit set $ \mathcal{A}_{n}(\alpha) \subset \mathcal{M}(n,\alpha)$ such that $P_n$ has the smallest principal frequency among $n$-gons in $\mathcal{A}_{n}(\alpha)$. Inter-alia when $n \ge 3$, a formula is proved for the principal frequency of a convex $P \in \mathcal{M}(n,\alpha)$ in terms of an equilateral $n$-gon with the same area; and, the set of equilateral polygons is proved to be an $(n-3)$--dimensional submanifold of the $(2n-4)$--dimensional manifold $\mathcal{M}(n,\alpha)$ near $P_n$. If $n=3$, the formula completely addresses a 2006 conjecture of Antunes and Freitas and another problem mentioned in "Isoperimetric Inequalities In Mathematical Physics." Moreover, a solution to the sharp polygonal Faber-Krahn stability problem for triangles is given and with an explicit constant. The techniques involve a partial symmetrization, tensor calculus, the spectral theory of circulant matrices, and $W^{2,p}/BMO$ estimates. Last, an application is given in the context of electron bubbles.

categories: math.AP math-ph math.DG math.FA math.MG math.MP


title: Genetic algorithm with a Bayesian approach for the detection of multiple points of change of time series of counting exceedances of specific thresholds

abstract: Although the applications of Non-Homogeneous Poisson Processes to model and study the threshold overshoots of interest in different time series of measurements have proven to provide good results, they needed to be complemented with an efficient and automatic diagnostic technique to establish the location of the change-points, which, when taken into account, make the estimated model fit poorly in regards of the information contained in the real model. For this reason, we propose a new method to solve the segmentation uncertainty of the time series of measurements, where the emission distribution of exceedances of a specific threshold is the focus of investigation. One of the great contributions of the present algorithm is that all the days that overflowed are candidates to be a change-point, so all the possible configurations of overflow days are the possible chromosomes, which will unite to have offspring. Under the heuristics of a genetic algorithm, the solution to the problem of finding such change points will be guaranteed to be non-local and the best possible one, reducing wasted machine time evaluating the least likely chromosomes to be a solution to the problem. The analytical evaluation technique will be by means of the Minimum Description Length (\textit{MDL}) as the objective function, which is the joint posterior distribution function of the parameters of each regime and the change points that determines them and which account as well for the influence of the presence of said times.


title: Search for Concepts: Discovering Visual Concepts Using Direct Optimization

abstract: Finding an unsupervised decomposition of an image into individual objects is a key step to leverage compositionality and to perform symbolic reasoning. Traditionally, this problem is solved using amortized inference, which does not generalize beyond the scope of the training data, may sometimes miss correct decompositions, and requires large amounts of training data. We propose finding a decomposition using direct, unamortized optimization, via a combination of a gradient-based optimization for differentiable object properties and global search for non-differentiable properties. We show that using direct optimization is more generalizable, misses fewer correct decompositions, and typically requires less data than methods based on amortized inference. This highlights a weakness of the current prevalent practice of using amortized inference that can potentially be improved by integrating more direct optimization elements.


title: Numerical simulations of MHD jets from Keplerian accretion disks I-Recollimation shocks

abstract: Aims. We wish to establish a firm link between jet simulations and analytical studies of magnetically-driven steady-state jets from Keplerian accretion disks. In particular, the latter have predicted the existence of recollimation shocks due to the dominant hoop-stress, so far never observed in platform simulations. Methods. We perform a set of axisymmetric MHD simulations of non-relativistic jets using the PLUTO code. The simulations are designed to reproduce the boundary conditions generally expected in analytical studies. We vary two parameters: the magnetic flux radial exponent $\alpha$ and the jet mass load $\kappa$. In order to reach the huge unprecedented spatial scales implied by the analytical solutions, a new method allowing to boost the temporal evolution has been used. Results. We confirm the existence of standing recollimation shocks at large distances, behaving qualitatively with the mass load $\kappa$ as in self-similar studies. The shocks are weak and correspond to oblique shocks in a moderately high fast-magnetosonic flow. The jet emitted from the disk is focused towards the axial inner spine, which is the outflow connected to the central objet. The presence of this spine is shown to have a strong influence on jet asymptotics. Conclusions. Internal recollimation shocks may produce observable features such as standing knots of enhanced emission and a decrease of the flow rotation rate. However, more realistic simulations, e.g. fully three-dimensional, must be done in order to investigate non-axisymmetric instabilities and with ejection only from a finite zone in the disk, so as to to verify whether these MHD recollimation shocks and their properties are maintained.


title: Deciphering the phases of QCD matter with fluctuations and correlations of conserved charges

abstract: A review is given on recent experimental and theoretical/phenomenological developments regarding the phase structure of the strongly interacting matter. Specifically, evolution with the collision energy of net-proton number fluctuations as measured by several experiments are presented and their implications for the QCD phase diagram are outlined. In addition, theoretical calculations on correlations between conserved charges are presented and prospects for their experimental explorations are addressed.


title: Theory-independent randomness generation with spacetime symmetries

abstract: We introduce a class of semi-device-independent protocols based on the breaking of spacetime symmetries. In particular, we characterise how the response of physical systems to spatial rotations constrains the probabilities of events that may be observed: in our setup, the set of quantum correlations arises from rotational symmetry without assuming quantum physics. On a practical level, our results allow for the generation of secure random numbers without trusting the devices or assuming quantum theory. On a fundamental level, we open a theory-agnostic framework for probing the interplay between probabilities of events (as prevalent in quantum mechanics) and the properties of spacetime (as prevalent in relativity).


title: The Biological Qubit: Calcium Phosphate Dimers, not Trimers

abstract: The Posner molecule (calcium phosphate trimer), has been hypothesized to function as a biological quantum information processor due to its supposedly long-lived entangled $^{31}$P nuclear spin states. This hypothesis was challenged by our recent finding that the molecule lacks a well-defined rotational axis of symmetry -- an essential assumption in the proposal for Posner-mediated neural processing -- and exists as an asymmetric dynamical ensemble. Following up, we investigate here the spin dynamics of the molecule's entangled $^{31}$P nuclear spins within the asymmetric ensemble. Our simulations show that entanglement between two nuclear spins prepared in a Bell state in separate Posner molecules decays on a sub-second timescale -- much faster than previously hypothesized, and not long enough for super-cellular neuronal processing. Calcium phosphate dimers however, are found to be surprisingly resilient to decoherence and are able to preserve entangled nuclear spins for hundreds of seconds, suggesting that neural processing might occur through them instead.

categories: quant-ph physics.atm-clus physics.bio-ph physics.chem-ph physics.comp-ph


title: HyperEF: Spectral Hypergraph Coarsening by Effective-Resistance Clustering

abstract: This paper introduces a scalable algorithmic framework (HyperEF) for spectral coarsening (decomposition) of large-scale hypergraphs by exploiting hyperedge effective resistances. Motivated by the latest theoretical framework for low-resistance-diameter decomposition of simple graphs, HyperEF aims at decomposing large hypergraphs into multiple node clusters with only a few inter-cluster hyperedges. The key component in HyperEF is a nearly-linear time algorithm for estimating hyperedge effective resistances, which allows incorporating the latest diffusion-based non-linear quadratic operators defined on hypergraphs. To achieve good runtime scalability, HyperEF searches within the Krylov subspace (or approximate eigensubspace) for identifying the nearly-optimal vectors for approximating the hyperedge effective resistances. In addition, a node weight propagation scheme for multilevel spectral hypergraph decomposition has been introduced for achieving even greater node coarsening ratios. When compared with state-of-the-art hypergraph partitioning (clustering) methods, extensive experiment results on real-world VLSI designs show that HyperEF can more effectively coarsen (decompose) hypergraphs without losing key structural (spectral) properties of the original hypergraphs, while achieving over $70\times$ runtime speedups over hMetis and $20\times$ speedups over HyperSF.


title: BioNLI: Generating a Biomedical NLI Dataset Using Lexico-semantic Constraints for Adversarial Examples

abstract: Natural language inference (NLI) is critical for complex decision-making in biomedical domain. One key question, for example, is whether a given biomedical mechanism is supported by experimental evidence. This can be seen as an NLI problem but there are no directly usable datasets to address this. The main challenge is that manually creating informative negative examples for this task is difficult and expensive. We introduce a novel semi-supervised procedure that bootstraps an NLI dataset from existing biomedical dataset that pairs mechanisms with experimental evidence in abstracts. We generate a range of negative examples using nine strategies that manipulate the structure of the underlying mechanisms both with rules, e.g., flip the roles of the entities in the interaction, and, more importantly, as perturbations via logical constraints in a neuro-logical decoding system. We use this procedure to create a novel dataset for NLI in the biomedical domain, called BioNLI and benchmark two state-of-the-art biomedical classifiers. The best result we obtain is around mid 70s in F1, suggesting the difficulty of the task. Critically, the performance on the different classes of negative examples varies widely, from 97% F1 on the simple role change negative examples, to barely better than chance on the negative examples generated using neuro-logic decoding.


title: On the Curious Case of $\ell_2$ norm of Sense Embeddings

abstract: We show that the $\ell_2$ norm of a static sense embedding encodes information related to the frequency of that sense in the training corpus used to learn the sense embeddings. This finding can be seen as an extension of a previously known relationship for word embeddings to sense embeddings. Our experimental results show that, in spite of its simplicity, the $\ell_2$ norm of sense embeddings is a surprisingly effective feature for several word sense related tasks such as (a) most frequent sense prediction, (b) Word-in-Context (WiC), and (c) Word Sense Disambiguation (WSD). In particular, by simply including the $\ell_2$ norm of a sense embedding as a feature in a classifier, we show that we can improve WiC and WSD methods that use static sense embeddings.


title: Deep Subspace Encoders for Nonlinear System Identification

abstract: Using Artificial Neural Networks (ANN) for nonlinear system identification has proven to be a promising approach, but despite of all recent research efforts, many practical and theoretical problems still remain open. Specifically, noise handling and models, issues of consistency and reliable estimation under minimisation of the prediction error are the most severe problems. The latter comes with numerous practical challenges such as explosion of the computational cost in terms of the number of data samples and the occurrence of instabilities during optimization. In this paper, we aim to overcome these issues by proposing a method which uses a truncated prediction loss and a subspace encoder for state estimation. The truncated prediction loss is computed by selecting multiple truncated subsections from the time series and computing the average prediction loss. To obtain a computationally efficient estimation method that minimizes the truncated prediction loss, a subspace encoder represented by an artificial neural network is introduced. This encoder aims to approximate the state reconstructability map of the estimated model to provide an initial state for each truncated subsection given past inputs and outputs. By theoretical analysis, we show that, under mild conditions, the proposed method is locally consistent, increases optimization stability, and achieves increased data efficiency by allowing for overlap between the subsections. Lastly, we provide practical insights and user guidelines employing a numerical example and state-of-the-art benchmark results.


title: Joint photon-electron Lorentz violation parameter plane from LHAASO data

abstract: The Large High Altitude Air Shower Observatory~(LHAASO) is one of the most sensitive gamma-ray detector arrays, whose ultrahigh-energy~(UHE) work bands not only help to study the origin and acceleration mechanism of UHE cosmic rays, but also provide the opportunity to test fundamental physics concepts such as Lorentz symmetry. LHAASO directly observes the $1.42~\mathrm{PeV}$ highest-energy photon. By adopting the synchrotion self-Compton model, LHAASO also suggests that the $1.12~\mathrm{PeV}$ high-energy photon from Crab Nebula corresponds to a $2.3~\mathrm{PeV}$ high-energy electron. We study the $1.42~\mathrm{PeV}$ photon decay and the $2.3~\mathrm{PeV}$ electron decay to perform a joint analysis on photon and electron two-dimensional Lorentz violation~(LV) parameter plane. Our analysis is systematic and comprehensive, and we naturally get the strictest constraints from merely considering photon LV effect in photon decay and electron LV effect in electron decay. Our result also permits the parameter space for new physics beyond relativity.


title: A Bioinspired Stiffness Tunable Sucker for Passive Adaptation and Firm Attachment to Angular Substrates

abstract: The ability to adapt and conform to angular and uneven surfaces improves the suction cup's performance in grasping and manipulation. However, in most cases, the adaptation costs lack of required stiffness for manipulation after surface attachment; thus, the ideal scenario is to have compliance during adaptation and stiffness after attachment to the surface. Nevertheless, most stiffness modulation techniques in suction cups require additional actuation. This article presents a new stiffness tunable suction cup that adapts to steep angular surfaces. Using granular jamming as a vacuum driven stiffness modulation provides a sensorless for activating the mechanism. Thus, the design is composed of a conventional active suction pad connected to a granular stalk, emulating a hinge behavior that is compliant during adaptation and has high stiffness after attachment is ensured. During the experiment, the suction cup can adapt to angles up to 85 degrees with force lower than 0.5 N. We also investigated the effect of granular stalk's length on the adaptation and how this design performs compared to passive adaptation without stiffness modulation.


title: Network Functional Compression for Control Applications

abstract: The trend of future communication systems is to aim for the steering and control of cyber physical systems. These systems can quickly become congested in environments like those presented in Industry 4.0. In these scenarios, a plethora of sensor data is transmitted wirelessly to multiple in network controllers that compute the control functions of the cyber physical systems. In this paper, we show an implementation of network Functional Compression (FC) as a proof of concept to drastically reduce the data traffic in these scenarios. FC is a form of goal-oriented communication scheme in which the objective of the sender receiver pair is to transmit the minimum amount of information to compute a function at the receiver end. In our scenario, the senders transmit an encoded and compressed version of the sensor data to a destination, an in-network controller interested in computing as its target function, a PID controller. We show that it is possible to achieve compression rates of over 50% in some cases by employing FC. We also show that using FC in a distributed cascade fashion can achieve more significant compression rates while reducing computational costs.


title: Sulphur monoxide emission tracing an embedded planet in the HD 100546 protoplanetary disk

abstract: Molecular line observations are powerful tracers of the physical and chemical conditions across the different evolutionary stages of star, disk and planet formation. Using the high angular resolution and unprecedented sensitivity of the Atacama Large Millimeter Array (ALMA) there is now a drive to detect small-scale gas structures in protoplanetary disks that can be attributed directly to forming planets. We report high angular resolution ALMA Band 7 observations of sulphur monoxide (SO) in the nearby planet-hosting disk around Herbig star HD 100546. SO is rarely detected in evolved protoplanetary disks but in other environments, it is most often utilised as a tracer of shocks. The SO emission from the HD 100546 disk is primarily originating from gas within the approx. 20 au mm-dust cavity and shows a clear azimuthal brightness asymmetry of a factor of 2. In addition, we see a significant difference in the line profile shape when comparing these new Cycle 7 data to Cycle 0 data of the same SO transitions. We discuss the different physical/chemical mechanisms that could be responsible for this asymmetry and time variability including disk winds, disk warps, and a shock triggered by a (forming) planet. We propose that the SO is enhanced in the cavity due to the presence of a giant planet. The SO asymmetry complements evidence for hot circumplanetary material around the giant planet HD 100546 c traced via CO ro-vibrational emission. This work sets the stage for further observational and modelling efforts to detect and understand the chemical imprint of a forming planet on its parent disk.


title: Quenching for a semi-linear wave equation for MEMS

abstract: We consider the formation of finite-time quenching singularities for solutions of semi-linear wave equations with negative power nonlinearities, as can model micro-electro-mechanical systems (MEMS). For radial initial data we obtain, formally, the existence of a sequence of quenching self-similar solutions. Also from formal asymptotic analysis, a solution to the PDE which is radially symmetric and increases strictly monotonically with distance from the origin quenches at the origin like an explicit spatially independent solution. The latter analysis and numerical experiments suggest a detailed conjecture for the singular behaviour.


title: Efficient search for superspecial hyperelliptic curves of genus four with automorphism group containing $\mathbb{Z}_6$

abstract: In arithmetic and algebraic geometry, superspecial (s.sp.\ for short) curves are one of the most important objects to be studied, with applications to cryptography and coding theory. If $g \geq 4$, it is not even known whether there exists such a curve of genus $g$ in general characteristic $p > 0$, and in the case of $g=4$, several computational approaches to search for those curves have been proposed. In the genus-$4$ hyperelliptic case, Kudo-Harashita proposed a generic algorithm to enumerate all s.sp.\ curves, and recently Ohashi-Kudo-Harashita presented an algorithm specific to the case where automorphism group contains the Klein 4-group. In this paper, we propose an algorithm with complexity $\tilde{O}(p^4)$ in theory but $\tilde{O}(p^3)$ in practice to enumerate s.sp.\ hyperelliptic curves of genus 4 with automorphism group containing the cyclic group of order $6$. By executing the algorithm over Magma, we enumerate those curves for $p$ up to $1000$. We also succeeded in finding a s.sp.\ hyperelliptic curve of genus $4$ in every $p$ with $p \equiv 2 \pmod{3}$. As a theoretical result, we classify hyperelliptic curves of genus $4$ in terms of automorphism groups in the appendix.


title: Visual Answer Localization with Cross-modal Mutual Knowledge Transfer

abstract: The goal of visual answering localization (VAL) in the video is to obtain a relevant and concise time clip from a video as the answer to the given natural language question. Early methods are based on the interaction modelling between video and text to predict the visual answer by the visual predictor. Later, using the textual predictor with subtitles for the VAL proves to be more precise. However, these existing methods still have cross-modal knowledge deviations from visual frames or textual subtitles. In this paper, we propose a cross-modal mutual knowledge transfer span localization (MutualSL) method to reduce the knowledge deviation. MutualSL has both visual predictor and textual predictor, where we expect the prediction results of these both to be consistent, so as to promote semantic knowledge understanding between cross-modalities. On this basis, we design a one-way dynamic loss function to dynamically adjust the proportion of knowledge transfer. We have conducted extensive experiments on three public datasets for evaluation. The experimental results show that our method outperforms other competitive state-of-the-art (SOTA) methods, demonstrating its effectiveness.


title: Analyzing Distribution Transformer Degradation with Increased Power Electronic Loads

abstract: The influx of non-linear power electronic loads into the distribution network has the potential to disrupt the existing distribution transformer operations. They were not designed to mediate the excessive heating losses generated from the harmonics. To have a good understanding of current standing challenges, a knowledge of the generation and load mix as well as the current harmonic estimations are essential for designing transformers and evaluating their performance. In this paper, we investigate a mixture of essential power electronic loads for a household designed in PSCAD/EMTdc and their potential impacts on transformer eddy current losses and derating using harmonic analysis. The various scenarios have been studied with increasing PV penetrations. The peak load conditions are chosen for each scenario to perform a transformer derating analysis. Our findings reveal that in the presence of high power electronic loads (especially third harmonics), along with increasing PV generation may worsen transformer degradation. However, with a low amount of power electronic loads, additional PV generation helps to reduce the harmonic content in the current and improve transformer performance.


title: Thermoelectric properties in semimetals with inelastic electron-hole scattering

abstract: We present systematic theoretical results on thermoelectric effects in semimetals based on the variational method of the linearized Boltzmann equation. Inelastic electron-hole scattering is known to play an important role in the unusual transport of semimetals, including the broad $T^2$ temperature dependence of the electrical resistivity and the strong violation of the Wiedemann-Franz law. By treating the inelastic electron-hole scattering more precisely beyond the relaxation time approximation, we show that the Seebeck coefficient when compensated depends on the screening length of the Coulomb interaction as well as the Lorenz ratio (the ratio of thermal to electric conductivity due to electrons divided by temperature). It is found that deviations from the compensation condition significantly increase the Seebeck coefficient, along with crucial suppressions of the Lorenz ratio. The result indicates that uncompensated semimetals with the electron-hole scattering have high thermoelectric efficiency when the phonon contribution to thermal conductivity is suppressed.


title: tf.data service: A Case for Disaggregating ML Input Data Processing

abstract: Machine learning (ML) computations commonly execute on expensive specialized hardware, such as GPUs and TPUs, which provide high FLOPs and performance-per-watt. For cost efficiency, it is essential to keep these accelerators highly utilized. This requires preprocessing input data at the rate at which the accelerators can ingest and perform ML computations on the data. To avoid data stalls, the host CPU and RAM required for input data processing per accelerator core used for ML computations varies across jobs. Hence, the traditional approach of processing input data on ML accelerator hosts with a fixed hardware ratio leads to either under-utilizing the accelerators or the host CPU and RAM. In this paper, we address these concerns by building a disaggregated ML data processing system. We present tf.data service, an open-source disaggregated input data processing service built on top of tf.data in TensorFlow. We show that disaggregating data preprocessing has three key advantages for large-scale ML training jobs. First, the service can horizontally scale-out to right-size CPU/RAM host resources for data processing in each job, saving 32x training time and 26x cost, on average. Second, the service can share ephemeral preprocessed data results across jobs, to optimize CPU usage and reduce redundant computations. Finally, the service supports coordinated reads, a technique that avoids stragglers due to different input sizes in distributed training, reducing training time by 2.2x, on average. Our design is inspired by lessons learned from deploying tf.data service in production, including relaxing data visitation guarantees without impacting model accuracy.


title: A Nonlinear Sum of Squares Search for CAZAC Sequences

abstract: We report on a search for CAZAC sequences by using nonlinear sum of squares optimization. Up to equivalence, we found all length 7 CAZAC sequences. We obtained evidence suggesting there are finitely many length 10 CAZAC sequences with a total of 3040 sequences. Last, we compute longer sequences and compare their aperiodic autocorrelation properties to known sequences. The code and results of this search are publicly available through GitHub.


title: Charge transport, information scrambling and quantum operator-coherence in a many-body system with U(1) symmetry

abstract: In this work, we derive an exact hydrodynamical description for the coupled, charge and operator dynamics, in a quantum many-body system with U(1) symmetry. Using an emergent symmetry in the complex Brownian SYK model with charge conservation, we map the operator dynamics in the model to the imaginary-time dynamics of an SU(4) spin-chain. We utilize the emergent SU(4) description to demonstrate that the U(1) symmetry causes quantum-coherence to persist even after disorder-averaging, in sharp contrast to models without symmetries. In line with this property, we write down a 'restricted' Fokker-Planck equation for the out-of-time ordered correlator (OTOC) in the large-$N$ limit, which permits a classical probability description strictly in the incoherent sector of the global operator-space. We then exploit this feature to describe the OTOC in terms of a Fisher-Kolmogorov-Petrovsky-Piskun (FKPP)-equation which couples the operator with the charge and is valid at all time-scales and for arbitrary charge-density profiles. The coupled equations obtained belong to a class of models also used to describe the population dynamics of bacteria embedded in a diffusive media. We simulate them to explore operator-dynamics in a background of non-uniform charge configuration, which reveals that the charge transport can strongly affect dynamics of operators, including those that have no overlap with the charge.


title: Stochastic homogenization of degenerate integral functionals with linear growth

abstract: We study the limit behaviour of a sequence of non-convex, vectorial, random integral functionals, defined on $W^{1,1}$, whose integrands satisfy degenerate linear growth conditions. These involve suitable random, scale-dependent weight-functions. Under minimal assumptions on the integrand and on the weight-functions, we show that the sequence of functionals homogenizes to a non-degenerate functional defined on $BV$.


title: Personalized Federated Learning via Heterogeneous Modular Networks

abstract: Personalized Federated Learning (PFL) which collaboratively trains a federated model while considering local clients under privacy constraints has attracted much attention. Despite its popularity, it has been observed that existing PFL approaches result in sub-optimal solutions when the joint distribution among local clients diverges. To address this issue, we present Federated Modular Network (FedMN), a novel PFL approach that adaptively selects sub-modules from a module pool to assemble heterogeneous neural architectures for different clients. FedMN adopts a light-weighted routing hypernetwork to model the joint distribution on each client and produce the personalized selection of the module blocks for each client. To reduce the communication burden in existing FL, we develop an efficient way to interact between the clients and the server. We conduct extensive experiments on the real-world test beds and the results show both the effectiveness and efficiency of the proposed FedMN over the baselines.


title: Streaming Radiance Fields for 3D Video Synthesis

abstract: We present an explicit-grid based method for efficiently reconstructing streaming radiance fields for novel view synthesis of real world dynamic scenes. Instead of training a single model that combines all the frames, we formulate the dynamic modeling problem with an incremental learning paradigm in which per-frame model difference is trained to complement the adaption of a base model on the current frame. By exploiting the simple yet effective tuning strategy with narrow bands, the proposed method realizes a feasible framework for handling video sequences on-the-fly with high training efficiency. The storage overhead induced by using explicit grid representations can be significantly reduced through the use of model difference based compression. We also introduce an efficient strategy to further accelerate model optimization for each frame. Experiments on challenging video sequences demonstrate that our approach is capable of achieving a training speed of 15 seconds per-frame with competitive rendering quality, which attains $1000 \times$ speedup over the state-of-the-art implicit methods. Code is available at https://github.com/AlgoHunt/StreamRF.


title: Perverse homotopy heart and MW-modules

abstract: We compute the perverse delta-homotopy heart of the motivic stable homotopy category over a base scheme with a dimension function delta, rationally or after inverting the exponential characteristic in the equicharacteristic case. In order to do that, we define the notion of homological Milnor-Witt cycle modules and construct a homotopy-invariant Rost-Schmid cycle complex. Moreover, we define the category of cohomological Milnor-Witt cycle modules and show a duality result in the smooth case.


title: Ballot stuffing and participation privacy in pollsite voting

abstract: We study the problem of simultaneously addressing both ballot stuffing and participation privacy for pollsite voting systems. Ballot stuffing is the attack where fake ballots (not cast by any eligible voter) are inserted into the system. Participation privacy is about hiding which eligible voters have actually cast their vote. So far, the combination of ballot stuffing and participation privacy has been mostly studied for internet voting, where voters are assumed to own trusted computing devices. Such approaches are inapplicable to pollsite voting where voters typically vote bare handed. We present an eligibility audit protocol to detect ballot stuffing in pollsite voting protocols. This is done while protecting participation privacy from a remote observer - one who does not physically observe voters during voting. Our protocol can be instantiated as an additional layer on top of most existing pollsite E2E-V voting protocols. To achieve our guarantees, we develop an efficient zero-knowledge proof (ZKP), that, given a value $v$ and a set $\Phi$ of commitments, proves $v$ is committed by some commitment in $\Phi$, without revealing which one. We call this a ZKP of reverse set membership because of its relationship to the popular ZKPs of set membership. This ZKP may be of independent interest.


title: Chemically Aware Unitary Coupled Cluster with ab initio Calculations on System Model H1: A Refrigerant Chemicals Application

abstract: Circuit depth reduction is of critical importance for quantum chemistry simulations on current and near term quantum computers. This issue is tackled by introducing a chemically aware strategy for the Unitary Coupled Cluster ansatz. The objective is to use the chemical description of a system to aid in the synthesis of a quantum circuit. We combine this approach with two flavours of Symmetry Verification for the reduction of experimental noise. These method enable the use of System Model H1 for a 6-qubit QSE (Quantum Subspace Expansion). We present (i) calculations to obtain CH4 optical spectra; (ii) an atmospheric gas reaction simulation involving $[$CH$^{\cdot}_3$--H--OH$^{\cdot}]^{\ddagger}$. Using our chemically aware UCC state-preparation strategy in tandem with state of the art symmetry verification methods, we improve device yield for CH4 at 6-qubits. This is demonstrated by a 90% improvement in two-qubit gate count and reduction in relative error to 0.2% for electronic energy calculated on System Model H1.


title: Analysis of the structural characteristics and optoelectronic properties of CaTiO3 as a non-toxic raw material for solar cells: a DFT study

abstract: Structural and optoelectronic properties of {\alpha}, \{beta}, {\gamma} phases of calcium titanate are studied with the implementation of first-principles quantum-chemical calculations in the framework of DFT. When optimizing the geometry, the GGA approximation was used. The relaxed lattice parameters obtained by us are identical with the experimental analogs. It has been established that the most stable phase of calcium titanate is the orthorhombic syngony, which corresponds to the results of experimental measurements. It is shown that as the transition from the {\alpha}-phase to the {\gamma}-phase proceeds, the lattice constant parameters and the interatomic distance in these systems increase. The optoelectronic properties of these materials have been studied using the Wien2k code. The high-precision TB-mBJ approximation was used to calculate the exchange-correlation effects. An analysis of the electronic properties of these materials showed that all the studied phases of calcium titanate belong to the class of wide-gap semiconductors. The calculated band gaps for the cubic, tetragonal, and orthorhombic CaTiO3 systems are 2.83, 3.07, and 3.26 eV, respectively. According to the analysis of DOS-plots, it was found that the tetragonal phase of calcium titanate is characterized by the highest density of states. Calculations of the optical constants of the systems under study showed that the CaTiO3 cubic system is characterized by an increased absorption capacity and a relatively high photoconductivity. However, for the other two phases of calcium titanate, the calculations gave identical patterns, i.e., the absorption and optical conductivity spectra of the tetragonal and orthorhombic CaTiO3 systems practically coincide.


title: Quantum simulator of link models using spinor dipolar ultracold atoms

abstract: We propose a scheme for the quantum simulation of quantum link models in two-dimensional lattices. Our approach considers spinor dipolar gases on a suitably shaped lattice, where the dynamics of particles in the different hyperfine levels of the gas takes place in one-dimensional chains coupled by the dipolar interactions. We show that at least four levels are needed. The present scheme does not require any particular fine-tuning of the parameters. We perform the derivation of the parameters of the quantum link models by means of two different approaches, a non-perturbative one tied to angular momentum conservation, and a perturbative one. A comparison with other schemes for $(2+1)$-dimensional quantum link models present in literature is discussed. Finally, the extension to three-dimensional lattices is presented, and its subtleties are pointed out.

categories: cond-mat.quant-gas hep-lat hep-th quant-ph


title: NeuralSearchX: Serving a Multi-billion-parameter Reranker for Multilingual Metasearch at a Low Cost

abstract: The widespread availability of search API's (both free and commercial) brings the promise of increased coverage and quality of search results for metasearch engines, while decreasing the maintenance costs of the crawling and indexing infrastructures. However, merging strategies frequently comprise complex pipelines that require careful tuning, which is often overlooked in the literature. In this work, we describe NeuralSearchX, a metasearch engine based on a multi-purpose large reranking model to merge results and highlight sentences. Due to the homogeneity of our architecture, we could focus our optimization efforts on a single component. We compare our system with Microsoft's Biomedical Search and show that our design choices led to a much cost-effective system with competitive QPS while having close to state-of-the-art results on a wide range of public benchmarks. Human evaluation on two domain-specific tasks shows that our retrieval system outperformed Google API by a large margin in terms of nDCG@10 scores. By describing our architecture and implementation in detail, we hope that the community will build on our design choices. The system is available at https://neuralsearchx.nsx.ai.


title: A hybrid map-$C_\ell$ component separation method for primordial CMB $B$-mode searches

abstract: The observation of the polarised emission from the Cosmic Microwave Background (CMB) from future ground-based and satellite-borne experiments holds the promise of indirectly detecting the elusive signal from primordial tensor fluctuations in the form of large-scale $B$-mode polarisation. Doing so, however, requires an accurate and robust separation of the signal from polarised Galactic foregrounds. We present a component separation method for multi-frequency CMB observations that combines some of the advantages of map-based and power-spectrum-based techniques, and which is direcly applicable to data in the presence of realistic foregrounds and instrumental noise. We demonstrate that the method is able to reduce the contamination from Galactic foregrounds below an equivalent tensor-to-scalar ratio $r_{\rm FG}\lesssim5\times10^{-4}$, as required for next-generation observatories, for a wide range of foreground models with varying degrees of complexity. This bias reduction is associated with a mild $\sim20-30\%$ increase in the final statistical uncertainties, and holds for large sky areas, and for experiments targeting both the reionisation and recombination bumps in the $B$-mode power spectrum.


title: Cyclic descents, matchings and Schur-positivity

abstract: A new descent set statistic on involutions, defined geometrically via their interpretation as matchings, is introduced in this paper, and shown to be equi-distributed with the standard one. This concept is then applied to construct explicit cyclic descent extensions on involutions, standard Young tableaux and Motzkin paths. Schur-positivity of the associated quasisymmetric functions follows.


title: Dynamically crossing diabolic points while encircling exceptional curves: A programmable symmetric-asymmetric multimode switch

abstract: Nontrivial spectral properties of non-Hermitian systems can lead to intriguing effects with no counterparts in Hermitian systems. For instance, in a two-mode photonic system, by dynamically winding around an exceptional point (EP) a controlled asymmetric-symmetric mode switching can be realized. That is, the system can either end up in one of its eigenstates, regardless of the initial eigenmode, or it can switch between the two states on demand, by simply controlling the winding direction. However, for multimode systems with higher-order EPs or multiple low-order EPs, the situation can be more involved, and the ability to control asymmetric-symmetric mode switching can be impeded, due to the breakdown of adiabaticity. Here we demonstrate that this difficulty can be overcome by winding around exceptional curves by additionally crossing diabolic points. We consider a four-mode $\cal PT$-symmetric bosonic system as a platform for experimental realization of such a multimode switch. Our work provides alternative routes for light manipulations in non-Hermitian photonic setups.


title: Nanosecond gating of superconducting nanowire single-photon detectors using cryogenic bias circuitry

abstract: Superconducting nanowire single-photon detectors (SNSPDs) show near unity efficiency, low dark count rate, and short recovery time. Combining these characteristics with temporal control of SNSPDs broadens their applications as in active de-latching for higher dynamic range counting or temporal filtering for pump-probe spectroscopy or LiDAR. To that end, we demonstrate active gating of an SNSPD with a minimum off-to-on rise time of 2.4 ns and a total gate length of 5.0 ns. We show how the rise time depends on the inductance of the detector in combination with the control electronics. The gate window is demonstrated to be fully and freely, electrically tunable up to 500 ns at a repetition rate of 1.0 MHz, as well as ungated, free-running operation. Control electronics to generate the gating are mounted on the 2.3 K stage of a closed-cycle sorption cryostat, while the detector is operated on the cold stage at 0.8 K. We show that the efficiency and timing jitter of the detector is not altered during the on-time of the gating window. We exploit gated operation to demonstrate a method to increase in the photon counting dynamic range by a factor 11.2, as well as temporal filtering of a strong pump in an emulated pump-probe experiment.


title: Continuum Robot State Estimation Using Gaussian Process Regression on $SE(3)$

abstract: Continuum robots have the potential to enable new applications in medicine, inspection, and countless other areas due to their unique shape, compliance, and size. Excellent progess has been made in the mechanical design and dynamic modelling of continuum robots, to the point that there are some canonical designs, although new concepts continue to be explored. In this paper, we turn to the problem of state estimation for continuum robots that can been modelled with the common Cosserat rod model. Sensing for continuum robots might comprise external camera observations, embedded tracking coils or strain gauges. We repurpose a Gaussian process (GP) regression approach to state estimation, initially developed for continuous-time trajectory estimation in $SE(3)$. In our case, the continuous variable is not time but arclength and we show how to estimate the continuous shape (and strain) of the robot (along with associated uncertainties) given discrete, noisy measurements of both pose and strain along the length. We demonstrate our approach quantitatively through simulations as well as through experiments. Our evaluations show that accurate and continuous estimates of a continuum robot's shape can be achieved, resulting in average end-effector errors between the estimated and ground truth shape as low as 3.5mm and 0.016$^\circ$ in simulation or 3.3mm and 0.035$^\circ$ for unloaded configurations and 6.2mm and 0.041$^\circ$ for loaded ones during experiments, when using discrete pose measurements.


title: TuneUp: A Simple Improved Training Strategy for Graph Neural Networks

abstract: Despite recent advances in Graph Neural Networks (GNNs), their training strategies remain largely under-explored. The conventional training strategy learns over all nodes in the original graph(s) equally, which can be sub-optimal as certain nodes are often more difficult to learn than others. Here we present TuneUp, a simple curriculum-based training strategy for improving the predictive performance of GNNs. TuneUp trains a GNN in two stages. In the first stage, TuneUp applies conventional training to obtain a strong base GNN. The base GNN tends to perform well on head nodes (nodes with large degrees) but less so on tail nodes (nodes with small degrees). Therefore, the second stage of TuneUp focuses on improving prediction on the difficult tail nodes by further training the base GNN on synthetically generated tail node data. We theoretically analyze TuneUp and show it provably improves generalization performance on tail nodes. TuneUp is simple to implement and applicable to a broad range of GNN architectures and prediction tasks. Extensive evaluation of TuneUp on five diverse GNN architectures, three types of prediction tasks, and both transductive and inductive settings shows that TuneUp significantly improves the performance of the base GNN on tail nodes, while often even improving the performance on head nodes. Altogether, TuneUp produces up to 57.6% and 92.2% relative predictive performance improvement in the transductive and the challenging inductive settings, respectively.


title: A robust and efficient model for transmission of surface plasmon polaritons onto metal-insulator-metal apertures

abstract: A simple yet accurate model for the transmission of surface plasmon polaritons (SPPs) in a finite metal-insulator-metal (MIM) waveguide to the sides of the apertures is proposed and demonstrated to be more accurate than available models. It is as simple as using a magnetic current density across the plane of the aperture whose value is defined by SPPs with any number of modes in the waveguide through the equivalence principle. Then, the generated SPPs on the both sides of the aperture are extracted from the convolution integral of the equivalent current density and Green's function. As a result, the model provides the transmission coefficients of SPPs in the MIM to the side walls of the aperture accurately and efficiently; not only for symmetric MIMs with a single isolating layer but also for non-symmetric ones with multi-layered insulating materials. The results are in very good agreement with those obtained by the FDTD method and better than the other approximations available in literature for a wide range of aperture widths.


title: Synthetic Tumors Make AI Segment Tumors Better

abstract: We develop a novel strategy to generate synthetic tumors. Unlike existing works, the tumors generated by our strategy have two intriguing advantages: (1) realistic in shape and texture, which even medical professionals can confuse with real tumors; (2) effective for AI model training, which can perform liver tumor segmentation similarly to a model trained on real tumors - this result is unprecedented because no existing work, using synthetic tumors only, has thus far reached a similar or even close performance to the model trained on real tumors. This result also implies that manual efforts for developing per-voxel annotation of tumors (which took years to create) can be considerably reduced for training AI models in the future. Moreover, our synthetic tumors have the potential to improve the success rate of small tumor detection by automatically generating enormous examples of small (or tiny) synthetic tumors.


title: ProVe: A Pipeline for Automated Provenance Verification of Knowledge Graphs against Textual Sources

abstract: Knowledge Graphs are repositories of information that gather data from a multitude of domains and sources in the form of semantic triples, serving as a source of structured data for various crucial applications in the modern web landscape, from Wikipedia infoboxes to search engines. Such graphs mainly serve as secondary sources of information and depend on well-documented and verifiable provenance to ensure their trustworthiness and usability. However, their ability to systematically assess and assure the quality of this provenance, most crucially whether it properly supports the graph's information, relies mainly on manual processes that do not scale with size. ProVe aims at remedying this, consisting of a pipelined approach that automatically verifies whether a Knowledge Graph triple is supported by text extracted from its documented provenance. ProVe is intended to assist information curators and consists of four main steps involving rule-based methods and machine learning models: text extraction, triple verbalisation, sentence selection, and claim verification. ProVe is evaluated on a Wikidata dataset, achieving promising results overall and excellent performance on the binary classification task of detecting support from provenance, with 87.5% accuracy and 82.9% F1-macro on text-rich sources. The evaluation data and scripts used in this paper are available on GitHub and Figshare.


title: Study of the adiabatic passage in tripod atomic systems in terms of the Riemannian geometry of the Bloch sphere

abstract: We present an analysis of the stimulated Raman adiabatic passage processes based on the methods of differential geometry. The present work was inspired by an excellent article by Bruce W. Shore et al. (R. G. Unanyan, B. W. Shore, and K. Bergmann Phys. Rev. A \textbf{59}, 2910 (1999)). We demonstrate how a purely geometric interpretation of the adiabatic passage in quantum tripod systems as a Riemannian parallel transport of the dark state vector along the Bloch sphere allows describing the evolution of the system for a given sequence of Stokes, pump and control laser excitation pulses. In combination with the Dykhne-Davis-Pechukas adiabaticity criterion and the minimax principle for circles on a sphere, this approach allows obtaining the analytical form of the optimal laser pulse sequences for a high fidelity tripod fractional STIRAP. In contrast to the conventional STIRAP in $\Lambda$-systems, the Gaussian approximations of the optimal laser pulse sequences allow reaching the infidelity of $10^{-7}$ for the adiabaticity parameter of $300$ without noticeable oscillatory or other detrimental effects on population transfer accuracy.


title: Non-Lorentzian theories with and without constraints

abstract: We exhibit a new method of constructing non-Lorentzian models by applying a method we refer to as starting from a so-called seed Lagrangian. This method typically produces additional constraints in the system that can drastically alter the physical content of the model. We demonstrate our method for particles, scalars and vector fields.


title: High-dimensional order-free multivariate spatial disease mapping

abstract: Despite the amount of research on disease mapping in recent years, the use of multivariate models for areal spatial data remains limited due to difficulties in implementation and computational burden. These problems are exacerbated when the number of small areas is very large. In this paper, we introduce an order-free multivariate scalable Bayesian modelling approach to smooth mortality (or incidence) risks of several diseases simultaneously. The proposal partitions the spatial domain into smaller subregions, fits multivariate models in each subdivision and obtains the posterior distribution of the relative risks across the entire spatial domain. The approach also provides posterior correlations among the spatial patterns of the diseases in each partition that are combined through a consensus Monte Carlo algorithm to obtain correlations for the whole study region. We implement the proposal using integrated nested Laplace approximations (INLA) in the R package bigDM and use it to jointly analyse colorectal, lung, and stomach cancer mortality data in Spanish municipalities. The new proposal permits the analysis of big data sets and provides better results than fitting a single multivariate model.


title: Text-to-speech synthesis from dark data with evaluation-in-the-loop data selection

abstract: This paper proposes a method for selecting training data for text-to-speech (TTS) synthesis from dark data. TTS models are typically trained on high-quality speech corpora that cost much time and money for data collection, which makes it very challenging to increase speaker variation. In contrast, there is a large amount of data whose availability is unknown (a.k.a, "dark data"), such as YouTube videos. To utilize data other than TTS corpora, previous studies have selected speech data from the corpora on the basis of acoustic quality. However, considering that TTS models robust to data noise have been proposed, we should select data on the basis of its importance as training data to the given TTS model, not the quality of speech itself. Our method with a loop of training and evaluation selects training data on the basis of the automatically predicted quality of synthetic speech of a given TTS model. Results of evaluations using YouTube data reveal that our method outperforms the conventional acoustic-quality-based method.


title: Continuity of the Lyapunov exponents of non-invertible random cocycles with constant rank

abstract: In this paper we establish uniform large deviations estimates of exponential type and H\"older continuity of the Lyapunov exponents for random non-invertible cocycles with constant rank.


title: Causality Detection using Multiple Annotation Decisions

abstract: The paper describes the work that has been submitted to the 5th workshop on Challenges and Applications of Automated Extraction of socio-political events from text (CASE 2022). The work is associated with Subtask 1 of Shared Task 3 that aims to detect causality in protest news corpus. The authors used different large language models with customized cross-entropy loss functions that exploit annotation information. The experiments showed that bert-based-uncased with refined cross-entropy outperformed the others, achieving a F1 score of 0.8501 on the Causal News Corpus dataset.


title: A family of potential-density pairs for galactic bars

abstract: We present a family of analytical potential-density pairs for barred discs, which can be combined to describe galactic bars in a realistic way, including boxy/peanut components. We illustrate this with two reasonable compound models. Computer code for the evaluation of potential, forces, density, and projected density is freely provided.


title: R-NL: Covariance Matrix Estimation for Elliptical Distributions based on Nonlinear Shrinkage

abstract: We combine Tyler's robust estimator of the dispersion matrix with nonlinear shrinkage. This approach delivers a simple and fast estimator of the dispersion matrix in elliptical models that is robust against both heavy tails and high dimensions. We prove convergence of the iterative part of our algorithm and demonstrate the favorable performance of the estimator in a wide range of simulation scenarios. Finally, an empirical application demonstrates its state-of-the-art performance on real data.


title: Multi-level Data Representation For Training Deep Helmholtz Machines

abstract: A vast majority of the current research in the field of Machine Learning is done using algorithms with strong arguments pointing to their biological implausibility such as Backpropagation, deviating the field's focus from understanding its original organic inspiration to a compulsive search for optimal performance. Yet, there have been a few proposed models that respect most of the biological constraints present in the human brain and are valid candidates for mimicking some of its properties and mechanisms. In this paper, we will focus on guiding the learning of a biologically plausible generative model called the Helmholtz Machine in complex search spaces using a heuristic based on the Human Image Perception mechanism. We hypothesize that this model's learning algorithm is not fit for Deep Networks due to its Hebbian-like local update rule, rendering it incapable of taking full advantage of the compositional properties that multi-layer networks provide. We propose to overcome this problem, by providing the network's hidden layers with visual queues at different resolutions using a Multi-level Data representation. The results on several image datasets showed the model was able to not only obtain better overall quality but also a wider diversity in the generated images, corroborating our intuition that using our proposed heuristic allows the model to take more advantage of the network's depth growth. More importantly, they show the unexplored possibilities underlying brain-inspired models and techniques.


title: Row-Factorization Matrices in Arf Numerical Semigroups and Defining Ideals

abstract: In this paper, we investigate the row-factorization matrices of Arf numerical semigroups, and we provide the full list of such matrices of certain Arf numerical semigroups. We use the information of row-factorization matrices to detect the generic nature and to find generators of the defining ideals.


title: $L^2$ estimates for a Nikodym maximal function associated to space curves

abstract: We consider the $L^p \rightarrow L^p$ boundedness of a Nikodym maximal function associated to a one-parameter family of tubes in $\mathbb{R}^{d+1}$ whose directions are determined by a non-degenerate curve $\gamma$ in $\mathbb{R}^d$. These operators arise in the analysis of maximal averages over space curves. The main theorem generalises the known results for $d = 2$ and $d = 3$ to general dimensions. The key ingredient is an induction scheme motivated by recent work of Ko--Lee--Oh.


title: Variational Matrix Product State Approach for Non-Hermitian System Based on a Companion Hermitian Hamiltonian

abstract: Non-Hermitian systems exhibiting topological properties are attracting growing interest. In this work, we propose an algorithm for solving the ground state of a non-Hermitian system in the matrix product state (MPS) formalism based on a companion Hermitian Hamiltonian. If the eigenvalues of the non-Hermitian system are known, the companion Hermitian Hamiltonian can be directly constructed and solved using Hermitian variational methods. When the eigenvalues are unknown, a gradient descent along with the companion Hermitian Hamiltonian yields both the ground state eigenenergy and the eigenstate. With the variational principle as a solid foundation, our algorithm ensures convergence and provides results in excellent agreement with the exact solutions of the non-Hermitian Su-Schrieffer-Heeger (nH-SSH) model as well as its interacting extension. The approach we present avoids solving any non-Hermitian matrix and overcomes numerical instabilities commonly encountered in large non-Hermitian systems.


title: Recursive Secondary Controller for Voltage Profile Improvement Based on Primary Virtual Admittance Control

abstract: This paper proposes a recursive, virtual admittance based, secondary controller for DG units that improves the voltage profile in distribution networks. First, the adaptation of the virtual admittance concept for the goal of voltage regulation is explained. Then, a recursive secondary controller is developed to periodically update the virtual admittance gains. The controller is formulated as an optimization problem with current and stability limitations as constraints. Measurements across the grid, transmitted through low-bandwidth communications, are used to simplify the calculations, resulting in a recursive algorithm. Weight vectors are included in the objective function to allow participation flexibility of each converter. Results show that the primary virtual admittance controller is able to mitigate over- and under-voltages in steady state and under transient conditions. Subsequently, the secondary controller is shown to further improve the voltage profiles across the grid. Experimental results obtained from a laboratory environment, comprising three DG units and a grid emulator, validate the functionality of the complete control structure.


title: Dependence matters: Statistical models to identify the drivers of tie formation in economic networks

abstract: Networks are ubiquitous in economic research on organizations, trade, and many other areas. However, while economic theory extensively considers networks, no general framework for their empirical modeling has yet emerged. We thus introduce two different statistical models for this purpose -- the Exponential Random Graph Model (ERGM) and the Additive and Multiplicative Effects network model (AME). Both model classes can account for network interdependencies between observations, but differ in how they do so. The ERGM allows one to explicitly specify and test the influence of particular network structures, making it a natural choice if one is substantively interested in estimating endogenous network effects. In contrast, AME captures these effects by introducing actor-specific latent variables affecting their propensity to form ties. This makes the latter a good choice if the researcher is interested in capturing the effect of exogenous covariates on tie formation without having a specific theory on the endogenous dependence structures at play. After introducing the two model classes, we showcase them through real-world applications to networks stemming from international arms trade and foreign exchange activity. We further provide full replication materials to facilitate the adoption of these methods in empirical economic research.


title: The Information Bottleneck Principle in Corporate Hierarchies

abstract: The hierarchical nature of corporate information processing is a topic of great interest in economic and management literature. Firms are characterised by a need to make complex decisions, often aggregating partial and uncertain information, which greatly exceeds the attention capacity of constituent individuals. However, the efficient transmission of these signals is still not fully understood. Recently, the information bottleneck principle has emerged as a powerful tool for understanding the transmission of relevant information through intermediate levels in a hierarchical structure. In this paper we note that the information bottleneck principle may similarly be applied directly to corporate hierarchies. In doing so we provide a bridge between organisation theory and that of rapidly expanding work in deep neural networks (DNNs), including the use of skip connections as a means of more efficient transmission of information in hierarchical organisations.


title: Visual Semantic Parsing: From Images to Abstract Meaning Representation

abstract: The success of scene graphs for visual scene understanding has brought attention to the benefits of abstracting a visual input (e.g., image) into a structured representation, where entities (people and objects) are nodes connected by edges specifying their relations. Building these representations, however, requires expensive manual annotation in the form of images paired with their scene graphs or frames. These formalisms remain limited in the nature of entities and relations they can capture. In this paper, we propose to leverage a widely-used meaning representation in the field of natural language processing, the Abstract Meaning Representation (AMR), to address these shortcomings. Compared to scene graphs, which largely emphasize spatial relationships, our visual AMR graphs are more linguistically informed, with a focus on higher-level semantic concepts extrapolated from visual input. Moreover, they allow us to generate meta-AMR graphs to unify information contained in multiple image descriptions under one representation. Through extensive experimentation and analysis, we demonstrate that we can re-purpose an existing text-to-AMR parser to parse images into AMRs. Our findings point to important future research directions for improved scene understanding.


title: Neutrino masses and self-interacting dark matter with mass mixing $Z-Z^\prime$ gauge portal

abstract: New light gauge bosons can affect several low-energy experiments, such as atomic parity violation or colliders. Here, we explore the possibility that a dark sector is charged under a new $U(1)$ gauge symmetry, and the portal to the Standard Model is through a $Z-Z'$ mass mixing. In our approach, breaking the new gauge symmetry is crucial to generate neutrino masses. We investigate the parameter space to reproduce neutrino masses, the correct dark matter relic abundance, and to produce the observed core-like DM distribution in galactic centers.


title: Dimensional reduction and incommensurate dynamic correlations in the $S=\frac{1}{2}$ triangular-lattice antiferromagnet Ca$_3$ReO$_5$Cl$_2$

abstract: The observation of spinon excitations in the $S=\frac{1}{2}$ triangular antiferromagnet Ca$_3$ReO$_5$Cl$_2$ reveals a quasi-one-dimensional (1D) nature of magnetic correlations, in spite of the nominally 2D magnetic structure. This phenomenon is known as frustration-induced dimensional reduction. Here, we present high-field electron spin resonance spectroscopy and magnetization studies of Ca$_3$ReO$_5$Cl$_2$, allowing us not only to refine spin-Hamiltonian parameters, but also to investigate peculiarities of its low-energy spin dynamics. We argue that the presence of the uniform Dzyaloshinskii-Moriya interaction (DMI) shifts the spinon continuum in momentum space and, as a result, opens a zero-field gap at the $\Gamma$ point. We observed this gap directly. The shift is found to be consistent with the structural modulation in the ordered state, suggesting this material as a perfect model triangular-lattice system, where a pure DMI-spiral ground state can be realized.


title: Color-kinematics dual representations of one-loop matrix elements in the open-superstring effective action

abstract: The $\alpha'$-expansion of string theory provides a rich set of higher-dimension operators, indexed by $\zeta$ values, which can be used to study color-kinematics duality and the double copy. These two powerful properties, actually first noticed in tree-level string amplitudes, simplify the construction of both gauge and gravity amplitudes. However, their applicability and limitations are not fully understood. We attempt to construct a set of color-kinematics dual numerators at one loop and four points for insertions of operator combinations corresponding to the lowest four $\zeta_2$-free operator insertions from the open superstring: $\zeta_3$, $\zeta_5$, $\zeta_3^2$, and $\zeta_7$. We succeed in finding a representation for the first three in terms of box, triangle, and bubble numerators. In the case of $\zeta_7$ we find an obstruction to a fully color-dual representation related to the bubble-on-external-leg type diagrams. We discuss two paths around this obstruction, both of which signal an incompatability between color-kinematics duality and manifesting certain desired properties. Using the constructed color-dual numerators, we find two different Bern-Carrasco-Johansson double copies that produce candidate closed-string-insertion numerators. Both approaches to the double copy match the kinematics of the cuts, with relative normalization set by either summing over both double copies including degeneracy or by including an explicit prefactor on the double-copy numerator definitions.


title: Drinfeld's lemma for $F$-isocrystals, I

abstract: We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the partial Frobenius maps, is an external product of $F$-isocrystals over the multiplicands. The corresponding statement for lisse $\bar{\mathbb{Q}}_\ell$-sheaves, for $\ell \neq p$ a prime, is a consequence of Drinfeld's lemma on the fundamental groups of absolute products of schemes in characteristic $p$. The latter plays a key role in V. Lafforgue's approach to the Langlands correspondence for reductive groups with $\ell$-adic coefficients; the $p$-adic analogue will be considered in subsequent work with Daxin Xu.


title: Beyond English-Centric Bitexts for Better Multilingual Language Representation Learning

abstract: In this paper, we elaborate upon recipes for building multilingual representation models that are not only competitive with existing state-of-the-art models but are also more parameter efficient, thereby promoting better adoption in resource-constrained scenarios and practical applications. We show that going beyond English-centric bitexts, coupled with a novel sampling strategy aimed at reducing under-utilization of training data, substantially boosts performance across model sizes for both Electra and MLM pre-training objectives. We introduce XY-LENT: X-Y bitext enhanced Language ENcodings using Transformers which not only achieves state-of-the-art performance over 5 cross-lingual tasks within all model size bands, is also competitive across bands. Our XY-LENT XL variant outperforms XLM-RXXL and exhibits competitive performance with mT5 XXL while being 5x and 6x smaller respectively. We then show that our proposed method helps ameliorate the curse of multilinguality, with the XY-LENT XL achieving 99.3% GLUE performance and 98.5% SQuAD 2.0 performance compared to a SoTA English only model in the same size band. We then analyze our models performance on extremely low resource languages and posit that scaling alone may not be sufficient for improving the performance in this scenario