title: CoCA: Fusing Position Embedding with Collinear Constrained Attention in Transformers for Long Context Window Extending

abstract: Self-attention and position embedding are two key modules in transformer-based Large Language Models (LLMs). However, the potential relationship between them is far from well studied, especially for long context window extending. In fact, anomalous behaviors harming long context extrapolation exist between Rotary Position Embedding (RoPE) and vanilla self-attention unveiled by our work. To address this issue, we propose a novel attention mechanism, CoCA (Collinear Constrained Attention). Specifically, we enforce a collinear constraint between $Q$ and $K$ to seamlessly integrate RoPE and self-attention. While only adding minimal computational and spatial complexity, this integration significantly enhances long context window extrapolation ability. We provide an optimized implementation, making it a drop-in replacement for any existing transformer-based models. Extensive experiments show that CoCA performs extraordinarily well in extending context windows. A CoCA-based GPT model, trained with a context length of 512, can seamlessly extend the context window up to 32K (60$\times$), without any fine-tuning. Additionally, by dropping CoCA in LLaMA-7B, we achieve extrapolation up to 32K within only 2K training length. Our code is publicly available at: https://github.com/codefuse-ai/Collinear-Constrained-Attention


title: Intent Detection at Scale: Tuning a Generic Model using Relevant Intents

abstract: Accurately predicting the intent of customer support requests is vital for efficient support systems, enabling agents to quickly understand messages and prioritize responses accordingly. While different approaches exist for intent detection, maintaining separate client-specific or industry-specific models can be costly and impractical as the client base expands. This work proposes a system to scale intent predictions to various clients effectively, by combining a single generic model with a per-client list of relevant intents. Our approach minimizes training and maintenance costs while providing a personalized experience for clients, allowing for seamless adaptation to changes in their relevant intents. Furthermore, we propose a strategy for using the clients relevant intents as model features that proves to be resilient to changes in the relevant intents of clients -- a common occurrence in production environments. The final system exhibits significantly superior performance compared to industry-specific models, showcasing its flexibility and ability to cater to diverse client needs.


title: MAPLE: Mobile App Prediction Leveraging Large Language Model Embeddings

abstract: In recent years, predicting mobile app usage has become increasingly important for areas like app recommendation, user behaviour analysis, and mobile resource management. Existing models, however, struggle with the heterogeneous nature of contextual data and the user cold start problem. This study introduces a novel prediction model, Mobile App Prediction Leveraging Large Language Model Embeddings (MAPLE), which employs Large Language Models (LLMs) and installed app similarity to overcome these challenges. MAPLE utilises the power of LLMs to process contextual data and discern intricate relationships within it effectively. Additionally, we explore the use of installed app similarity to address the cold start problem, facilitating the modelling of user preferences and habits, even for new users with limited historical data. In essence, our research presents MAPLE as a novel, potent, and practical approach to app usage prediction, making significant strides in resolving issues faced by existing models. MAPLE stands out as a comprehensive and effective solution, setting a new benchmark for more precise and personalised app usage predictions. In tests on two real-world datasets, MAPLE surpasses contemporary models in both standard and cold start scenarios. These outcomes validate MAPLE's capacity for precise app usage predictions and its resilience against the cold start problem. This enhanced performance stems from the model's proficiency in capturing complex temporal patterns and leveraging contextual information. As a result, MAPLE can potentially improve personalised mobile app usage predictions and user experiences markedly.


title: An inspection technology of inner surface of the fine hole based on machine vision

abstract: Fine holes are an important structural component of industrial components, and their inner surface quality is closely related to their function.In order to detect the quality of the inner surface of the fine hole,a special optical measurement system was investigated in this paper. A sight pipe is employed to guide the external illumination light into the fine hole and output the relevant images simultaneously. A flexible light array is introduced to suit the narrow space, and the effective field of view is analyzed. Besides, the arc surface projection error and manufacturing assembly error of the device are analyzed, then compensated or ignored if small enough. In the test of prefabricated circular defects with the diameter {\phi}0.1mm, {\phi}0.2mm, 0.4mm distance distribution and the fissure defects with the width 0.3mm, the maximum measurement error standard deviation are all about 10{\mu}m. The minimum diameter of the measured fine hole is 4mm and the depth can reach 47mm.


title: Adversarial Attacks on Tables with Entity Swap

abstract: The capabilities of large language models (LLMs) have been successfully applied in the context of table representation learning. The recently proposed tabular language models have reported state-of-the-art results across various tasks for table interpretation. However, a closer look into the datasets commonly used for evaluation reveals an entity leakage from the train set into the test set. Motivated by this observation, we explore adversarial attacks that represent a more realistic inference setup. Adversarial attacks on text have been shown to greatly affect the performance of LLMs, but currently, there are no attacks targeting tabular language models. In this paper, we propose an evasive entity-swap attack for the column type annotation (CTA) task. Our CTA attack is the first black-box attack on tables, where we employ a similarity-based sampling strategy to generate adversarial examples. The experimental results show that the proposed attack generates up to a 70% drop in performance.


title: Quantitative strong unique continuation property for the Schr\"odinger operator with unbounded potential

abstract: We revisit \cite[Theorem 6.3]{JK}. Following the main ideas used to prove this theorem, we establish a quantitative version of the strong unique continuation property for the Sch\"odinger operator with unbounded potential. We also show that a combination of this result with a global quantitative unique continuation property from an arbitrary interior data yields a global quantitative strong unique continuation.


title: Quantifying Credit Portfolio sensitivity to asset correlations with interpretable generative neural networks

abstract: In this research, we propose a novel approach for the quantification of credit portfolio Value-at-Risk (VaR) sensitivity to asset correlations with the use of synthetic financial correlation matrices generated with deep learning models. In previous work Generative Adversarial Networks (GANs) were employed to demonstrate the generation of plausible correlation matrices, that capture the essential characteristics observed in empirical correlation matrices estimated on asset returns. Instead of GANs, we employ Variational Autoencoders (VAE) to achieve a more interpretable latent space representation. Through our analysis, we reveal that the VAE latent space can be a useful tool to capture the crucial factors impacting portfolio diversification, particularly in relation to credit portfolio sensitivity to asset correlations changes.


title: What can galaxy shapes tell us about physics beyond the standard model?

abstract: The shapes of galaxies trace scalar physics in the late-Universe through the large-scale gravitational potential. Are they also sensitive to higher-spin physics? We present a general study into the observational consequences of vector and tensor modes in the early and late Universe, through the statistics of cosmic shear and its higher-order generalization, flexion. Higher-spin contributions arise from both gravitational lensing and intrinsic alignments, and we give the leading-order correlators for each (some of which have been previously derived), in addition to their flat-sky limits. In particular, we find non-trivial sourcing of shear $EB$ and $BB$ spectra, depending on the parity properties of the source. We consider two sources of vector and tensor modes: scale-invariant primordial fluctuations and cosmic strings, forecasting the detectability of each for upcoming surveys. Shear is found to be a powerful probe of cosmic strings, primarily through the continual sourcing of vector modes; flexion adds little to the constraining power except on very small scales ($\ell\gtrsim 1000$), though it could be an intriguing probe of as-yet-unknown rank-three tensors or halo-scale physics. Such probes could be used to constrain new physics proposed to explain recent pulsar timing array observations.

categories: astro-ph.CO astro-ph.GA gr-qc hep-ph hep-th


title: Torsion, Gravity Induced Chiral Symmetry Breaking and Cosmological Bounce

abstract: In this paper, we elaborate and extend our proposal arXiv:2307.16098 of the cosmological bouncing model in which a chiral condensate violates the null energy condition and induces a bounce. The condensate formation is caused by the gravitational effects that arise in the effective action when the curvature of space-time is non-zero. As the chiral condensation is a vacuum effect, the symmetries of the FRW space-time are not violated. We explicitly calculate the spinor effective action in the presence of a background gravitational field up to second order in curvature and with derivative corrections and also derive the initial conditions of the condensate. In addition, a new interaction term between the condensate and the scalar field is introduced that might be relevant for producing the adiabatic perturbations during the contraction phase. The curvature/energy density stays far from Planckian values throughout this evolution.


title: Generalized Ray Tracing for Axions in Astrophysical Plasmas

abstract: Ray tracing plays a vital role in black hole imaging, modeling the emission mechanisms of pulsars, and deriving signatures from physics beyond the Standard Model. In this work we focus on one specific application of ray tracing, namely, predicting radio signals generated from the resonant conversion of axion dark matter in the strongly magnetized plasma surrounding neutron stars. The production and propagation of low-energy photons in these environments are sensitive to both the anisotropic response of the background plasma and curved spacetime; here, we employ a fully covariant framework capable of treating both effects. We implement this both via forward and backward ray tracing. In forward ray tracing, photons are sampled at the point of emission and propagated to infinity, whilst in the backward-tracing approach, photons are traced backwards from an image plane to the point of production. We explore various approximations adopted in prior work, quantifying the importance of gravity, plasma anisotropy, the neutron star mass and radius, and imposing the proper kinematic matching of the resonance. Finally, using a more realistic model for the charge distribution of magnetar magnetospheres, we revisit the sensitivity of current and future radio and sub-mm telescopes to spectral lines emanating from the Galactic Center Magnetar, showing such observations may extend sensitivity to axion masses $m_a \sim \mathcal{O}({\rm few}) \times 10^{-3}$ eV, potentially even probing parameter space of the QCD axion.


title: Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts

abstract: Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware platform primarily due to its long coherence times and scalability. Additionally, NAQC offers computational advantages encompassing potential long-range connectivity, native multi-qubit gate support, and the ability to physically rearrange qubits with high fidelity. However, for the successful operation of a NAQC processor, one additionally requires new software tools to translate high-level algorithmic descriptions into a hardware executable representation, taking maximal advantage of the hardware capabilities. Realizing new software tools requires a close connection between tool developers and hardware experts to ensure that the corresponding software tools obey the corresponding physical constraints. This work aims to provide a basis to establish this connection by investigating the broad spectrum of capabilities intrinsic to the NAQC platform and its implications on the compilation process. To this end, we first review the physical background of NAQC and derive how it affects the overall compilation process by formulating suitable constraints and figures of merit. We then provide a summary of the compilation process and discuss currently available software tools in this overview. Finally, we present selected case studies and employ the discussed figures of merit to evaluate the different capabilities of NAQC and compare them between two hardware setups.


title: On the Red Supergiant Wind Kink. A Universal mass-loss concept for massive stars

abstract: Red supergiants (RSG) are key objects for the evolution of massive stars and their endpoints, but uncertainties in their underlying mass-loss mechanism have thus far prevented an appropriate framework for massive star evolution. We analyse an empirical mass loss"kink" feature uncovered by Yang et al., and we highlight its similarity to hot star radiation-driven wind models and observations at the optically thin/thick transition point. We motivate a new RSG mass-loss prescription that depends on the Eddington factor Gamma (including both a steep L dependence and an inverse steep M dependence). We subsequently implement this new RSG mass-loss prescription in the stellar evolution code MESA. We find that our physically motivated mass-loss behaviour naturally reproduces the Humphreys-Davidson limit without a need for any ad-hoc tweaks. It also resolves the RSG supernova "problem". We argue that a universal behaviour of radiation-driven winds across the HR diagram, independent of the exact source of opacity, is a key feature of the evolution of the most massive stars.


title: Taking the Milky Way for a spin: disc formation in the ARTEMIS simulations

abstract: We investigate the formation (spin-up) of galactic discs in the ARTEMIS simulations of Milky Way-mass galaxies. In almost all galaxies discs spin up at higher [Fe/H] than the Milky Way (MW). Those that contain an analogue of the Gaia Sausage-Enceladus (GSE) spin up at a lower average metallicity than those without. We identify six galaxies with spin-up metallicity similar to that of the MW, which form their discs $\sim 8-11$ Gyr ago. Five of these experience a merger similar to the GSE. The spin-up times correlate with the halo masses at early times: galaxies with early spin-up have larger virial masses at a lookback time $t_L=12$ Gyr. The fraction of stars accreted from outside the host galaxy is smaller in galaxies with earlier spin-ups. Accreted fractions small enough to be comparable to the MW are only found in galaxies with the earliest disc formation and large initial virial masses ($M_\mathrm{200c} \approx2\times10^{11}M_\odot$ at $t_L=12$ Gyr). We find that discs form when the halo's virial mass reaches a threshold of $M_\mathrm{200c}\approx(6\pm3)\times10^{11}M_\odot$, independent of the spin-up time. However, the failure to form a disc in other galaxies appears to be instead related to mergers at early times. We also find that discs form when the central potential is not particularly steep. Our results indicate that the MW assembled its mass and formed its disc earlier than the average galaxy of a similar mass.


title: Evolution of cosmic filaments in the MTNG simulation

abstract: We present a study of the evolution of cosmic filaments across redshift with an emphasis on some important properties: filament lengths, growth rates, and radial profiles of galaxy densities. Following an observation-driven approach, we build cosmic filament catalogues at z=0,1,2,3, and 4 from the galaxy distributions of the large hydro-dynamical run of the MilleniumTNG project. We employ the extensively used DisPerSE cosmic web finder code, for which we provide a user-friendly guide, including the details of a physics-driven calibration procedure, with the hope of helping future users. We perform the first statistical measurements of the evolution of connectivity in a large-scale simulation, finding that the connectivity of cosmic nodes (defined as the number of filaments attached) globally decreases from early to late times. The study of cosmic filaments in proper coordinates reveals that filaments grow in length and radial extent, as expected from large-scale structures in an expanding Universe. But the most interesting results arise once the Hubble flow is factored out. We find remarkably stable comoving filament length functions and over-density profiles, showing only little evolution of the total population of filaments in the past ~12.25 Gyrs. However, by tracking the spatial evolution of individual structures, we demonstrate that filaments of different lengths actually follow different evolutionary paths. While short filaments preferentially contract, long filaments expand along their longitudinal direction with growth rates that are the highest in the early, matter-dominated Universe. Filament diversity at fixed redshift is also shown by the different (~$5 \sigma$) density values between the shortest and longest filaments. Our results hint that cosmic filaments can be used as additional probes for dark energy, but further theoretical work is still needed.


title: Astronomaly at scale: searching for anomalies amongst 4 million galaxies

abstract: Modern astronomical surveys are producing datasets of unprecedented size and richness, increasing the potential for high-impact scientific discovery. This possibility, coupled with the challenge of exploring a large number of sources, has led to the development of novel machine-learning-based anomaly detection approaches, such as Astronomaly. For the first time, we test the scalability of Astronomaly by applying it to almost 4 million images of galaxies from the Dark Energy Camera Legacy Survey. We use a trained deep learning algorithm to learn useful representations of the images and pass these to the anomaly detection algorithm isolation forest, coupled with Astronomaly's active learning method, to discover interesting sources. We find that data selection criteria have a significant impact on the trade-off between finding rare sources such as strong lenses and introducing artefacts into the dataset. We demonstrate that active learning is required to identify the most interesting sources and reduce artefacts, while anomaly detection methods alone are insufficient. Using Astronomaly, we find 1635 anomalies among the top 2000 sources in the dataset after applying active learning, including eight strong gravitational lens candidates, 1609 galaxy merger candidates, and 18 previously unidentified sources exhibiting highly unusual morphology. Our results show that by leveraging the human-machine interface, Astronomaly is able to rapidly identify sources of scientific interest even in large datasets.


title: Dark Matter-Induced Baryonic Feedback in Galaxies

abstract: We demonstrate that non-gravitational interactions between dark matter and baryonic matter can affect structural properties of galaxies. Detailed galaxy simulations and analytic estimates demonstrate that dark matter which collects inside white dwarf stars and ignites Type Ia supernovae can substantially alter star formation, stellar feedback, and the halo density profile through a dark matter-induced baryonic feedback process, distinct from usual supernova feedback in galaxies.


title: Modeling the Past Hypothesis: A Mechanical Cosmology

abstract: There is a paradox in the standard model of cosmology. How can matter in the early universe have been in thermal equilibrium, indicating maximum entropy, but the initial state also have been low entropy (the "past hypothesis"), so as to underpin the second law of thermodynamics? The problem has been highly contested, with the only consensus being that gravity plays a role in the story, but with the exact mechanism undecided. In this paper, we construct a well-defined mechanical model to study this paradox. We show how it reproduces the salient features of standard big-bang cosmology with surprising success, and we use it to produce novel results on the statistical mechanics of a gas in an expanding universe. We conclude with a discussion of potential uses of the model, including the explicit computation of the time-dependent coarse-grained entropies needed to investigate the past hypothesis.


title: Implementing fault-tolerant non-Clifford gates using the [[8,3,2]] color code

abstract: Quantum computers promise to solve problems that are intractable for classical computers, but qubits are vulnerable to many sources of error, limiting the depth of the circuits that can be reliably executed on today's quantum hardware. Quantum error correction has been proposed as a solution to this problem, whereby quantum information is protected by encoding it into a quantum error-correcting code. But protecting quantum information is not enough, we must also process the information using logic gates that are robust to faults that occur during their execution. One method for processing information fault-tolerantly is to use quantum error-correcting codes that have logical gates with a tensor product structure (transversal gates), making them naturally fault-tolerant. Here, we test the performance of a code with such transversal gates, the [[8,3,2]] color code, using trapped-ion and superconducting hardware. We observe improved performance (compared to no encoding) for encoded circuits implementing non-Clifford gates, a class of gates that are essential for achieving universal quantum computing. In particular, we find improved performance for an encoded circuit implementing the control-control $Z$ gate, a key gate in Shor's algorithm. Our results illustrate the potential of using codes with transversal gates to implement non-trivial algorithms on near-term quantum hardware.


title: Symplectic formulation of the type IIB scalar potential with U-dual fluxes

abstract: We present a symplectic formulation of the $N =1$ four-dimensional type IIB scalar potential arising from a flux superpotential which has four S-dual pairs of fluxes demanded by the U-dual completion arguments. Our symplectic formulation presents a very compact and concise way of expressing the generic scalar potential in just a few terms via using a set of symplectic identities along with the so-called ``axionic-flux" combinations. We demonstrate the utility of our symplectic master-formula by considering an underlying four-dimensional type IIB supergravity model based on a ${\mathbb T}^6/({\mathbb Z}_2 \times {\mathbb Z}_2)$ orientifold, in which the scalar potential induced by the U-dual flux superpotential results in a total of 76276 terms involving 128 flux parameters. Given that our symplectic formulation does not need the information about the metric of the internal background, it is applicable to the models beyond the toroidal compactifications such as to those which use orientifolds of the Calabi-Yau threefolds.


title: Prospects from TESS and Gaia to constrain the flatness of planetary systems

abstract: The mutual inclination between planets orbiting the same star provides key information to understand the formation and evolution of multi-planet systems. In this work, we investigate the potential of Gaia astrometry in detecting and characterizing cold Jupiters in orbits exterior to the currently known TESS planet candidates. According to our simulations, out of the $\sim 3350$ systems expected to have cold Jupiter companions, Gaia, by its nominal 5-year mission, should be able to detect $\sim 200$ cold Jupiters and measure the orbital inclinations with a precision of $\sigma_{\cos i}<0.2$ in $\sim 120$ of them. These numbers are estimated under the assumption that the orbital orientations of the CJs follow an isotropic distribution, but these only vary slightly for less broad distributions. We also discuss the prospects from radial velocity follow-ups to better constrain the derived properties and provide a package to do quick forecasts using our Fisher matrix analysis. Overall, our simulations show that Gaia astrometry of cold Jupiters orbiting stars with TESS planets can distinguish dynamically cold (mean mutual inclination $\lesssim5^\circ$) from dynamically hot systems (mean mutual inclination $\gtrsim 20^\circ$), placing a new set of constraints on their formation and evolution.


title: Variational Embeddings for Many Body Quantum Systems

abstract: We propose a variational scheme to represent composite quantum systems using multiple parameterized functions of varying accuracies on both classical and quantum hardware. The approach follows the variational principle over the entire system, and is naturally suited for scenarios where an accurate description is only needed in a smaller subspace. We show how to include quantum devices as high-accuracy solvers on these correlated degrees of freedom, while handling the remaining contributions with a classical device. We demonstrate the effectiveness of the protocol on spin chains and small molecules and provide insights into its accuracy and computational cost.


title: Subphotospheric emission from short gamma-ray bursts: Protons mold the multi-messenger signals

abstract: The origin of the observed Band-like photon spectrum in short gamma-ray bursts (sGRBs) is a long-standing mystery. We carry out the first general relativistic magnetohydrodynamic simulation of a sGRB jet with initial magnetization $\sigma_0 = 150$ in dynamical ejecta from a binary merger. From this simulation, we identify regions along the jet of efficient energy dissipation due to magnetic reconnection and collisionless sub-shocks. Taking into account electron and proton acceleration processes, we solve for the first time the coupled transport equations for photons, electrons, protons, neutrinos, and intermediate particles species up to close to the photosphere (i.e., up to $1 \times 10^{12}$ cm), accounting for all relevant radiative and cooling processes. We find that the subphotospheric multi-messenger signals carry strong signatures of the hadronic interactions and their resulting particle cascades. Importantly, the spectral energy distribution of photons is significantly distorted with respect to the Wien one, commonly assumed below the photosphere. Our findings suggest that the bulk of the non-thermal photon spectrum observed in sGRBs can stem from hadronic processes, occurring below the photosphere and previously neglected, with an accompanying energy flux of neutrinos peaking in the GeV energy range.


title: Observation of odd-parity superconductivity in UTe2

abstract: Symmetry properties of the order parameter are among the most fundamental characteristics of a superconductor. The pairing symmetry of recently discovered heavy fermion superconductor UTe2 featuring an exceedingly large upper critical field has attracted a great deal of attention. Even though it is widely believed that UTe2 possesses an odd-parity, spin-triplet pairing symmetry, direct evidence for it is lacking, especially at zero or low magnetic fields. We report here the selection-rule results of Josephson coupling between In, an s-wave superconductor, and UTe2. The orientation dependence of the Josephson coupling suggests very strongly that UTe2 possess an odd-parity pairing state of B_1u in zero magnetic fields. We also report the formation of Andreev surface bound states on the (1-10) surface of UTe2.


title: Measuring the physical imprints of gas flows in galaxies I: Accretion rate histories

abstract: Galaxies are expected to accrete pristine gas from their surroundings to sustain their star formation over cosmic timescales. Its lower abundance affects the metallicity of the ISM in which stars are born, leaving chemical imprints in the stellar populations. We measure the amount of pristine gas that galaxies accrete during their lifetime, using information on the ages and abundances of their stellar populations and a chemical evolution model. We also aim to determine the efficiency of star formation over time. We derived star formation histories and metallicity histories for a sample of 8523 galaxies from the MaNGA survey. We use the former to predict the evolution of the metallicity in a closed-box scenario, and estimate for each epoch the gas accretion rate required to match these predictions with the measured stellar metallicity. Using only chemical parameters, we find that the history of gas accretion depends on the mass of galaxies. More massive galaxies accrete more gas and at higher redshifts than less massive galaxies, which accrete their gas over longer periods. We also find that galaxies with a higher star formation rate at z = 0 have a more persistent accretion history for a given mass. The star formation efficiency shows similar correlations: early-type galaxies and higher-mass galaxies had a higher efficiency in the past, and it declined such that they are less efficient in the present. Our analysis of individual galaxies shows that compactness affects the peak star formation efficiency that galaxies reach, and that the slope of the efficiency history of galaxies with current star formation is flat. Our results support the hypothesis that a steady and substantial supply of pristine gas is required for persistent star formation in galaxies. Once they lose access to this gas supply, star formation comes to a halt.


title: Trace Anomaly of Weyl Fermions via the Path Integral

abstract: We compute the trace, diffeomorphism and Lorentz anomalies of a free Weyl fermion in a gravitational background field by path integral methods. This is achieved by regularising the variation of the determinant of the Weyl operator building on earlier work by Leutwyler. The trace anomaly is found to be one half of the one of a Dirac fermion. Most importantly we establish that the potential parity-odd curvature term $R \tilde R$, corresponding to the Pontryagin density, vanishes. This is to the contrary of some recent findings in the literature which gave rise to a controversy. We verify, that the regularisation does not lead to (spurious) anomalies in the Lorentz and diffeomorphism symmetries. We argue that in $d = 2\;(\textrm{mod } 4)$ $P$- and $CP$-odd terms cannot appear and that for $d = 4\;(\textrm{mod } 4)$ they are absent at least at leading order.


title: Designing Moir\'e Patterns by Strain

abstract: Experiments conducted on two-dimensional twisted materials have revealed a plethora of moir\'e patterns with different forms and shapes. The formation of these patterns is usually attributed to the presence of small strains in the samples, which typically arise during their fabrication. In this work we find that the superlattice structure of such systems actually depends crucially on the interplay between twist and strain. For systems composed of honeycomb lattices, we show that this can lead to the formation of practically any moir\'e geometry, even if each lattice is only slightly distorted. As a result, we show that under strain the moir\'e Brillouin zone is not a stretched irregular hexagon, but rather a primitive cell that changes according to the geometry of the strained moir\'e vectors. We identify the conditions for the formation of hexagonal moir\'e patterns arising solely due to shear or biaxial strain, thus opening the possibility of engineering moir\'e patterns solely by strain. Moreover, we study the electronic properties in such moir\'e patterns and find that the strain tends to suppress the formation of the flat moir\'e bands, even in the strain-induced hexagonal patterns analogous to those obtained by the twist only. Our work explains the plethora of moir\'e patterns observed in experiments, and provides a solid theoretical foundation from which one can design moir\'e patterns by strain.


title: Nancy Grace Roman Space Telescope Coronagraph Instrument Overview and Status

abstract: The Nancy Grace Roman Space Telescope Coronagraph Instrument is a critical technology demonstrator for NASA's Habitable Worlds Observatory. With a predicted visible-light flux ratio detection limit of 1E-8 or better, it will be capable of reaching new areas of parameter space for both gas giant exoplanets and circumstellar disks. It is in the final stages of integration and test at the Jet Propulsion Laboratory, with an anticipated delivery to payload integration in the coming year. This paper will review the instrument systems, observing modes, potential observing applications, and overall progress toward instrument integration and test.


title: A Two-Level Linear Dependent Type Theory

abstract: We present a type theory combining both linearity and dependency by stratifying typing rules into a level for logics and a level for programs. The distinction between logics and programs decouples their semantics, allowing the type system to assume tight resource bounds. A natural notion of irrelevancy is established where all proofs and types occurring inside programs are fully erasable without compromising their operational behavior. Through a heap-based operational semantics, we show that extracted programs always make computational progress and run memory clean. Additionally, programs can be freely reflected into the logical level for conducting deep proofs in the style of standard dependent type theories. This enables one to write resource safe programs and verify their correctness using a unified language.


title: Fake News Detectors are Biased against Texts Generated by Large Language Models

abstract: The spread of fake news has emerged as a critical challenge, undermining trust and posing threats to society. In the era of Large Language Models (LLMs), the capability to generate believable fake content has intensified these concerns. In this study, we present a novel paradigm to evaluate fake news detectors in scenarios involving both human-written and LLM-generated misinformation. Intriguingly, our findings reveal a significant bias in many existing detectors: they are more prone to flagging LLM-generated content as fake news while often misclassifying human-written fake news as genuine. This unexpected bias appears to arise from distinct linguistic patterns inherent to LLM outputs. To address this, we introduce a mitigation strategy that leverages adversarial training with LLM-paraphrased genuine news. The resulting model yielded marked improvements in detection accuracy for both human and LLM-generated news. To further catalyze research in this domain, we release two comprehensive datasets, \texttt{GossipCop++} and \texttt{PolitiFact++}, thus amalgamating human-validated articles with LLM-generated fake and real news.


title: The DESI One-Percent Survey: Evidence for Assembly Bias from Low-Redshift Counts-in-Cylinders Measurements

abstract: We explore the galaxy-halo connection information that is available in low-redshift samples from the early data release of the Dark Energy Spectroscopic Instrument (DESI). We model the halo occupation distribution (HOD) from z=0.1-0.3 using Survey Validation 3 (SV3; a.k.a., the One-Percent Survey) data of the DESI Bright Galaxy Survey (BGS). In addition to more commonly used metrics, we incorporate counts-in-cylinders (CiC) measurements, which drastically tighten HOD constraints. Our analysis is aided by the Python package, galtab, which enables the rapid, precise prediction of CiC for any HOD model available in halotools. This methodology allows our Markov chains to converge with much fewer trial points, and enables even more drastic speedups due to its GPU portability. Our HOD fits constrain characteristic halo masses tightly and provide statistical evidence for assembly bias, especially at lower luminosity thresholds: the HOD of central galaxies in $z\sim0.15$ samples with limiting absolute magnitude $M_r < -20.0$ and $M_r < -20.5$ samples is positively correlated with halo concentration with a significance of 99.9% and 99.5%, respectively. Our models also favor positive central assembly bias for the brighter $M_r < -21.0$ sample at $z\sim0.25$ (94.8% significance), but there is no significant evidence for assembly bias with the same luminosity threshold at $z\sim0.15$. We provide our constraints for each threshold sample's characteristic halo masses, assembly bias, and other HOD parameters. These constraints are expected to be significantly tightened with future DESI data, which will span an area 100 times larger than that of SV3.


title: Stabilizer circuit verification

abstract: The ubiquity of stabilizer circuits in the design and operation of quantum computers makes techniques to verify their correctness essential. The simulation of stabilizer circuits, which aims to replicate their behavior using a classical computer, is known to be efficient and provides a means of testing correctness. However, simulation is limited in its ability to examine the exponentially large space of possible measurement outcomes. We propose a comprehensive set of efficient classical algorithms to fully characterize and exhaustively verify stabilizer circuits with Pauli unitaries conditioned on parities of measurements. We introduce, as a practical characterization, a general form for such circuits and provide an algorithm to find a general form of any stabilizer circuit. We then provide an algorithm for checking the equivalence of stabilizer circuits. When circuits are not equivalent our algorithm suggests modifications for reconciliation. Next, we provide an algorithm that characterizes the logical action of a (physical) stabilizer circuit on an encoded input. All of our algorithms provide relations of measurement outcomes among corresponding circuit representations. Finally, we provide an analytic description of the logical action induced by measuring a stabilizer group, with application in correctness proofs of code-deformation protocols including lattice surgery and code switching.


title: Optimal quantization with branched optimal transport distances

abstract: We consider the problem of optimal approximation of a target measure by an atomic measure with $N$ atoms, in branched optimal transport distance. This is a new branched transport version of optimal quantization problems. New difficulties arise, since in classical semi-discrete optimal transport with Wasserstein distance, the interfaces between cells associated with neighboring atoms have Vorono\"i structure and satisfy an explicit description. This description is missing for our problem, in which the cell interfaces are thought to have fractal boundary. We study the asymptotic behaviour of optimal quantizers for absolutely continuous measures as the number $N$ of atoms grows to infinity. We compute the limit distribution of the corresponding point clouds and show in particular a branched transport version of Zador's theorem. Moreover, we establish uniformity bounds of optimal quantizers in terms of separation distance and covering radius of the atoms, when the measure is $d$-Ahlfors regular. A crucial technical tool is the uniform in $N$ H\"older regularity of the landscape function, a branched transport analog to Kantorovich potentials in classical optimal transport.


title: Evaluating the Impact of Local Differential Privacy on Utility Loss via Influence Functions

abstract: How to properly set the privacy parameter in differential privacy (DP) has been an open question in DP research since it was first proposed in 2006. In this work, we demonstrate the ability of influence functions to offer insight into how a specific privacy parameter value will affect a model's test loss in the randomized response-based local DP setting. Our proposed method allows a data curator to select the privacy parameter best aligned with their allowed privacy-utility trade-off without requiring heavy computation such as extensive model retraining and data privatization. We consider multiple common randomization scenarios, such as performing randomized response over the features, and/or over the labels, as well as the more complex case of applying a class-dependent label noise correction method to offset the noise incurred by randomization. Further, we provide a detailed discussion over the computational complexity of our proposed approach inclusive of an empirical analysis. Through empirical evaluations we show that for both binary and multi-class settings, influence functions are able to approximate the true change in test loss that occurs when randomized response is applied over features and/or labels with small mean absolute error, especially in cases where noise correction methods are applied.


title: PACOME: Optimal multi-epoch combination of direct imaging observations for joint exoplanet detection and orbit estimation

abstract: Exoplanet detections and characterizations via direct imaging require high contrast and high angular resolution. These requirements typically require (i) cutting-edge instrumental facilities, (ii) optimized differential imaging to introduce a diversity in the signals of the sought-for objects, and (iii) dedicated processing algorithms to further eliminate the residual stellar leakages. Substantial efforts have been undertaken on the design of more efficient post-processing algorithms but their performance remains upper-bounded at shorter angular separations due to the the lack of diversity induced by the processing of each epoch of observations individually. We propose a new algorithm that is able to combine several observations of the same star by accounting for the Keplerian orbital motion across epochs of the sought-for sources in order to constructively co-add their weak signals. The proposed algorithm, PACOME, integrates an exploration of the plausible orbits within a statistical detection and estimation formalism. It is extended to a multi-epoch combination of the maximum likelihood framework of PACO, which is a mono-epoch post-processing algorithm. We derive a reliable multi-epoch detection criterion, interpretable both in terms of probability of detection and of false alarm. We tested the proposed algorithm on several datasets obtained from the VLT/SPHERE instrument with IRDIS and IFS. By resorting to injections of synthetic exoplanets, we show that PACOME is able to detect sources remaining undetectable in mono-epoch frameworks. The gain in detection sensitivity scales as high as the square root of the number of epochs. We also applied PACOME on a set of observations from the HR 8799 star hosting four known exoplanets, which are detected with very high signal-to-noise ratios. In addition, its implementation is efficient, fast, and fully automatized.


title: ASA-SimaaS: Advancing Digital Transformation through Simulation Services in the Brazilian Air Force

abstract: This work explores the use of military simulations in predicting and evaluating the outcomes of potential scenarios. It highlights the evolution of military simulations and the increased capabilities that have arisen due to the advancement of artificial intelligence. Also, it discusses the various applications of military simulations, such as developing tactics and employment doctrines, training decision-makers, evaluating new acquisitions, and developing new technologies. The paper then focuses on the Brazilian Air Force's efforts to create its own simulation tool, the Aerospace Simulation Environment (Ambiente de Simula\c{c}\~ao Aeroespacial -- ASA in Portuguese), and how this cloud-based service called ASA Simulation as a Service (ASA-SimaaS) can provide greater autonomy and economy for the military force. The main contribution of this work is to present the ASA-SimaaS solution as a means of empowering digital transformation in defense scenarios, establishing a partnership network, and improving the military's simulation capabilities and competitiveness.


title: Enhancing Near-Field Sensing and Communications with Sparse Arrays: Potentials, Challenges, and Emerging Trends

abstract: As a promising technique, extremely large-scale (XL)-arrays offer potential solutions for overcoming the severe path loss in millimeter-wave (mmWave) and TeraHertz (THz) channels, crucial for enabling 6G. Nevertheless, XL-arrays introduce deviations in electromagnetic propagation compared to traditional arrays, fundamentally challenging the assumption with the planar-wave model. Instead, it ushers in the spherical-wave (SW) model to accurately represent the near-field propagation characteristics, significantly increasing signal processing complexity. Fortunately, the SW model shows remarkable benefits on sensing and communications (S\&C), e.g., improving communication multiplexing capability, spatial resolution, and degrees of freedom. In this context, this article first overviews hardware/algorithm challenges, fundamental potentials, promising applications of near-field S\&C enabled by XL-arrays. To overcome the limitations of existing XL-arrays with dense uniform array layouts and improve S\&C applications, we introduce sparse arrays (SAs). Exploring their potential, we propose XL-SAs for mmWave/THz systems using multi-subarray designs. Finally, several applications, challenges and resarch directions are identified.


title: A conformal Hopf-Rinow theorem for semi-Riemannian spacetimes

abstract: The famous Hopf-Rinow Theorem states, amongst others, that a Riemannian manifold is metrically complete if and only if it is geodesically complete. The Clifton-Pohl torus fails to be geodesically complete proving that this theorem cannot be generalized to compact Lorentzian manifolds. On the other hand, Hopf and Rinow characterized metric completeness also by properness. Garc\'ia-Heveling and the author recently obtained a Lorentzian completeness-compactness result for open manifolds with a similar flavor. In this manuscript, we extend the null distance used in this approach and our theorem to proper cone structures and to a new class of semi-Riemannian manifolds, dubbed $(n-\nu,\nu)$-spacetimes. Moreover, we demonstrate that our result implies, and hence generalizes, the metric part of the Hopf-Rinow Theorem.


title: Shining Light on the Hosts of the Nano-Hertz Gravitational Wave Sources: A Theoretical Perspective

abstract: The formation of supermassive black holes (SMBHs) in the Universe and its role in the properties of the galaxies is one of the open questions in astrophysics and cosmology. Though, traditionally, electromagnetic waves have been instrumental in direct measurements of SMBHs, significantly influencing our comprehension of galaxy formation, gravitational waves (GW) bring an independent avenue to detect numerous binary SMBHs in the observable Universe in the nano-Hertz range using the pulsar timing array observation. This brings a new way to understand the connection between the formation of binary SMBHs and galaxy formation if we can connect theoretical models with multi-messenger observations namely GW data and galaxy surveys. Along these lines, we present here the first paper on this series based on {\sc Romulus25} cosmological simulation on the properties of the host galaxies of SMBHs and propose on how this can be used to connect with observations of nano-Hertz GW signal and galaxy surveys. We show that the most dominant contribution to the background will arise from sources with high chirp masses which are likely to reside in low redshift early-type galaxies with high stellar mass, largely old stellar population, and low star formation rate, and that reside at centers of galaxy groups and manifest evidence of recent mergers. The masses of the sources show a correlation with the halo mass and stellar mass of the host galaxies. This theoretical study will help in understanding the host properties of the GW sources and can help in establishing a connection with observations.

categories: astro-ph.GA astro-ph.CO astro-ph.HE gr-qc


title: Music Source Separation Based on a Lightweight Deep Learning Framework (DTTNET: DUAL-PATH TFC-TDF UNET)

abstract: Music source separation (MSS) aims to extract 'vocals', 'drums', 'bass' and 'other' tracks from a piece of mixed music. While deep learning methods have shown impressive results, there is a trend toward larger models. In our paper, we introduce a novel and lightweight architecture called DTTNet, which is based on Dual-Path Module and Time-Frequency Convolutions Time-Distributed Fully-connected UNet (TFC-TDF UNet). DTTNet achieves 10.12 dB cSDR on 'vocals' compared to 10.01 dB reported for Bandsplit RNN (BSRNN) but with 86.7% fewer parameters. We also assess pattern-specific performance and model generalization for intricate audio patterns.


title: Fairly Allocating Goods in Parallel

abstract: We initiate the study of parallel algorithms for fairly allocating indivisible goods among agents with additive preferences. We give fast parallel algorithms for various fundamental problems, such as finding a Pareto Optimal and EF1 allocation under restricted additive valuations, finding an EF1 allocation for up to three agents, and finding an envy-free allocation with subsidies. On the flip side, we show that fast parallel algorithms are unlikely to exist (formally, $CC$-hard) for the problem of computing Round-Robin EF1 allocations.


title: Generation of stable Gaussian cluster states in optomechanical systems with multifrequency drives

abstract: We show how to dissipatively stabilize the quantum state of $N$ mechanical resonators in an optomechnical system, where the resonators interact by radiation pressure with $N$ optical modes, which are driven by properly selected multifrequency drives. We analyze the performance of this approach for the stationary preparation of Gaussian cluster states.


title: Speeding up charge exchange recombination spectroscopy analysis in support of NERSC/DIII-D realtime workflow

abstract: We report optimization work made in support of the development of a realtime Superfacility workflow between DIII-D and NERSC. At DIII-D, the ion properties measured by charge exchange recombination (CER) spectroscopy are required inputs for a Superfacility realtime workflow that computes the full plasma kinetic equilibrium. In this workflow, minutes matter since the results must be ready during the brief 10-15 minute pause between plasma discharges. Prior to this work, a sample CERFIT analysis took approximately 15 minutes. Because the problem consists of many calculations that can be done independently, we were able to restructure the CERFIT code to leverage this parallelism with Slurm job arrays. We reduced the runtime to approximately 51 seconds -- a speedup of roughly 20x, saving valuable time for both the scientists interested in the CER results and also for the larger equilibrium reconstruction workflow.


title: Probabilistic Constellation Shaping With Denoising Diffusion Probabilistic Models: A Novel Approach

abstract: With the incredible results achieved from generative pre-trained transformers (GPT) and diffusion models, generative AI (GenAI) is envisioned to yield remarkable breakthroughs in various industrial and academic domains. In this paper, we utilize denoising diffusion probabilistic models (DDPM), as one of the state-of-the-art generative models, for probabilistic constellation shaping in wireless communications. While the geometry of constellations is predetermined by the networking standards, probabilistic constellation shaping can help enhance the information rate and communication performance by designing the probability of occurrence (generation) of constellation symbols. Unlike conventional methods that deal with an optimization problem over the discrete distribution of constellations, we take a radically different approach. Exploiting the ``denoise-and-generate'' characteristic of DDPMs, the key idea is to learn how to generate constellation symbols out of noise, ``mimicking'' the way the receiver performs symbol reconstruction. By doing so, we make the constellation symbols sent by the transmitter, and what is inferred (reconstructed) at the receiver become as similar as possible. Our simulations show that the proposed scheme outperforms deep neural network (DNN)-based benchmark and uniform shaping, while providing network resilience as well as robust out-of-distribution performance under low-SNR regimes and non-Gaussian noise. Notably, a threefold improvement in terms of mutual information is achieved compared to DNN-based approach for 64-QAM geometry.


title: A collinear-spin machine learned interatomic potential for Fe$_{7}$Cr$_{2}$Ni alloy

abstract: We have developed a new machine learned interatomic potential for the prototypical austenitic steel Fe$_{7}$Cr$_{2}$Ni, using the Gaussian approximation potential (GAP) framework. This new GAP can model the alloy's properties with close to density functional theory (DFT) accuracy, while at the same time allowing us to access larger length and time scales than expensive first-principles methods. We also extended the GAP input descriptors to approximate the effects of collinear spins (Spin GAP), and demonstrate how this extended model successfully predicts structural distortions due to antiferromagnetic and paramagnetic spin states. We demonstrate the application of the Spin GAP model for bulk properties and vacancies and validate against DFT. These results are a step towards modelling the atomistic origins of ageing in austenitic steels with higher accuracy.


title: BANSAC: A dynamic BAyesian Network for adaptive SAmple Consensus

abstract: RANSAC-based algorithms are the standard techniques for robust estimation in computer vision. These algorithms are iterative and computationally expensive; they alternate between random sampling of data, computing hypotheses, and running inlier counting. Many authors tried different approaches to improve efficiency. One of the major improvements is having a guided sampling, letting the RANSAC cycle stop sooner. This paper presents a new adaptive sampling process for RANSAC. Previous methods either assume no prior information about the inlier/outlier classification of data points or use some previously computed scores in the sampling. In this paper, we derive a dynamic Bayesian network that updates individual data points' inlier scores while iterating RANSAC. At each iteration, we apply weighted sampling using the updated scores. Our method works with or without prior data point scorings. In addition, we use the updated inlier/outlier scoring for deriving a new stopping criterion for the RANSAC loop. We test our method in multiple real-world datasets for several applications and obtain state-of-the-art results. Our method outperforms the baselines in accuracy while needing less computational time.


title: The additive-multiplicative distance matrix of a graph, and a novel third invariant

abstract: Graham showed with Pollak and Hoffman-Hosoya that for any directed graph $G$ with strong blocks $G_e$, the determinant $\det(D_G)$ and cofactor-sum $cof(D_G)$ of the distance matrix $D_G$ can be computed from the same quantities for the blocks $G_e$. This was extended to trees - and in our recent work to any graph - with multiplicative and $q$-distance matrices. For trees, we went further and unified all previous variants with weights in a unital commutative ring, into a distance matrix with additive and multiplicative edge-data. In this work: (1) We introduce the additive-multiplicative distance matrix $D_G$ of every strongly connected graph $G$, using what we term the additive-multiplicative block-datum $\mathcal{G}$. This subsumes the previously studied additive, multiplicative, and $q$-distances for all graphs. (2) We introduce an invariant $\kappa(D_G)$ that seems novel to date, and use it to show "master" Graham-Hoffman-Hosoya (GHH) identities, which express $\det(D_G), cof(D_G)$ in terms of the blocks $G_e$. We show how these imply all previous variants. (3) We show $\det(.), cof(.), \kappa(.)$ depend only on the block-data for not just $D_G$, but also several minors of $D_G$. This was not studied in any setting to date; we show it in the "most general" additive-multiplicative setting, hence in all known settings. (4) We compute $D_G^{-1}$ in closed-form; this specializes to all known variants. In particular, we recover our previous formula for $D_T^{-1}$ for additive-multiplicative trees (which itself specializes to a result of Graham-Lovasz and answers a 2006 question of Bapat-Lal-Pati.) (5) We also show that not the Laplacian, but a closely related matrix is the "correct" one to use in $D_G^{-1}$ - for the most general additive-multiplicative matrix $D_G$ of each $G$. As examples, we compute in closed form $\det(D_G), cof(D_G), \kappa(D_G), D_G^{-1}$ for hypertrees.


title: Structure Studies of $^{13}\text{Be}$ from the $^{12}$Be(d,p) reaction in inverse kinematics on a solid deuteron target

abstract: The low-lying structure of $^{13}$Be has remained an enigma for decades. Despite numerous experimental and theoretical studies, large inconsistencies remain. Being both unbound, and one neutron away from $^{14}$Be, the heaviest bound beryllium nucleus, $^{13}$Be is difficult to study through simple reactions with weak radioactive ion beams or more complex reactions with stable-ion beams. Here, we present the results of a study using the $^{12}$Be(d,p)$^{13}$Be reaction in inverse kinematics using a 9.5~MeV per nucleon $^{12}$Be beam from the ISAC-II facility. The solid deuteron target of IRIS was used to achieve an increased areal thickness compared to conventional deuterated polyethylene targets. The Q-value spectrum below -4.4~MeV was analyzed using a Bayesian method with GEANT4 simulations. A three-point angular distribution with the same Q-value gate was fit with a mixture of $s$- and $p$-wave, $s$- and $d$-wave, or pure $p$-wave transfer. The Q-value spectrum was also compared with GEANT simulations obtained using the energies and widths of states reported in four previous works. It was found that our results are incompatible with works that revealed a wide $5/2^+$ resonance but shows better agreement with ones that reported a narrower width.


title: The pseudo-Boolean polytope and polynomial-size extended formulations for binary polynomial optimization

abstract: With the goal of obtaining strong relaxations for binary polynomial optimization problems, we introduce the pseudo-Boolean polytope defined as the convex hull of the set of binary points satisfying a collection of equations containing pseudo-Boolean functions. By representing the pseudo-Boolean polytope via a signed hypergraph, we obtain sufficient conditions under which this polytope has a polynomial-size extended formulation. Our new framework unifies and extends all prior results on the existence of polynomial-size extended formulations for the convex hull of the feasible region of binary polynomial optimization problems of degree at least three.


title: Higher Dimensional Energetic Causal Sets

abstract: The energetic causal set (ECS) program of Cort\^es and Smolin, whose distinguishing feature is the foundational time irreversibility of the evolution equations of quantum gravity, was initiated ten years ago. The model showed the emergence of a time-reversible phase from the time-irreversible foundational regime, but originally only had one spatial dimension. The extension to two and more spatial dimensions has posed a substantial challenge, the higher-dimensional set of solutions having measure zero (requiring infinitely-specified initial conditions). This challenge is overcome here with the extension of the ECS to 2+1 dimensions, invoking a finite interaction cross-section to determine generation of new events and including an adjustable fundamental stochasticity. As in the 1+1 dimensional case, we successfully observe a phase transition into a time-symmetric phase, here through the emergence of crystal-like structures. Due to the irreversible evolution we also witness the discrete dynamical systems behaviour of the 1d+1 case explored in later articles of the ECS program, in which the model is captured in and out of the limit cycles which here take the form of lattice crystals. In a companion paper we carry out a detailed parameter investigation and study the causal network underlying the set, explaining the emergence of the time-symmetric phase. In a final section we propose a view of science as a (potential) unifier of threads, and present one such perspective unifying aspects of quantum gravity, biology, and artificial general intelligence (AGI).


title: Resolving Legalese: A Multilingual Exploration of Negation Scope Resolution in Legal Documents

abstract: Resolving the scope of a negation within a sentence is a challenging NLP task. The complexity of legal texts and the lack of annotated in-domain negation corpora pose challenges for state-of-the-art (SotA) models when performing negation scope resolution on multilingual legal data. Our experiments demonstrate that models pre-trained without legal data underperform in the task of negation scope resolution. Our experiments, using language models exclusively fine-tuned on domains like literary texts and medical data, yield inferior results compared to the outcomes documented in prior cross-domain experiments. We release a new set of annotated court decisions in German, French, and Italian and use it to improve negation scope resolution in both zero-shot and multilingual settings. We achieve token-level F1-scores of up to 86.7% in our zero-shot cross-lingual experiments, where the models are trained on two languages of our legal datasets and evaluated on the third. Our multilingual experiments, where the models were trained on all available negation data and evaluated on our legal datasets, resulted in F1-scores of up to 91.1%.


title: RIFL: A Reliable Link Layer Network Protocol for Data Center Communication

abstract: More and more latency-sensitive services and applications are being deployed into the data center. Performance can be limited by the high latency of the network interconnect. Because the conventional network stack is designed not only for LAN, but also for WAN, it carries a great amount of redundancy that is not required in a data center network. This paper introduces the concept of a three-layer protocol stack that can fulfill the exact demands of data center network communications. The detailed design and implementation of the first layer of the stack, which we call RIFL, is presented. A novel low latency in-band hop-by-hop re-transmission protocol is proposed and adopted in RIFL, which guarantees lossless transmission in a data center environment. Experimental results show that RIFL achieves 110 nanoseconds point-to-point latency on 10-meter Active Optical Cables, at a line rate of 112 Gbps. RIFL is a multi-lane protocol with scalable throughput up to multi-hundred gigabits per second. It can be the enabler of low latency, high throughput, flexible, scalable, and lossless data center networks.


title: A More Secure Split: Enhancing the Security of Privacy-Preserving Split Learning

abstract: Split learning (SL) is a new collaborative learning technique that allows participants, e.g. a client and a server, to train machine learning models without the client sharing raw data. In this setting, the client initially applies its part of the machine learning model on the raw data to generate Activation Maps (AMs) and then sends them to the server to continue the training process. Previous works in the field demonstrated that reconstructing AMs could result in privacy leakage of client data. In addition to that, existing mitigation techniques that overcome the privacy leakage of SL prove to be significantly worse in terms of accuracy. In this paper, we improve upon previous works by constructing a protocol based on U-shaped SL that can operate on homomorphically encrypted data. More precisely, in our approach, the client applies homomorphic encryption on the AMs before sending them to the server, thus protecting user privacy. This is an important improvement that reduces privacy leakage in comparison to other SL-based works. Finally, our results show that, with the optimum set of parameters, training with HE data in the U-shaped SL setting only reduces accuracy by 2.65% compared to training on plaintext. In addition, raw training data privacy is preserved.


title: Modelling Irregularly Sampled Time Series Without Imputation

abstract: Modelling irregularly-sampled time series (ISTS) is challenging because of missing values. Most existing methods focus on handling ISTS by converting irregularly sampled data into regularly sampled data via imputation. These models assume an underlying missing mechanism leading to unwanted bias and sub-optimal performance. We present SLAN (Switch LSTM Aggregate Network), which utilizes a pack of LSTMs to model ISTS without imputation, eliminating the assumption of any underlying process. It dynamically adapts its architecture on the fly based on the measured sensors. SLAN exploits the irregularity information to capture each sensor's local summary explicitly and maintains a global summary state throughout the observational period. We demonstrate the efficacy of SLAN on publicly available datasets, namely, MIMIC-III, Physionet 2012 and Physionet 2019. The code is available at https://github.com/Rohit102497/SLAN.


title: Effect of the F\"orster Interaction and the Pulsed Pumping on the Quantum Correlations of a Two Quantum Dot-Microcavity System in the Strong Coupling Regime

abstract: The quantum correlations of a system of two quantum dots with F\"oster interaction ({\Gamma}) in a microcavity with strongly coupled dissipation and a single mode of the electromagnetic field and driven by a laser pulse were studied theoretically, using the formalism of the master equation in Lindbland form. The energy eigenvalues of the system were studied as a function of detuning for the first and second excitation varieties. Concurrence (CC), formation entanglement (EoF),mutual information (I) and quantum discord (Q) are studied as a function of time considering different values of F\"oster coupling, varying the pump times of the simulated laser pulse and pulse intensity. We found a discrepancy between EoF and CC as entanglement quantifiers, noting that concurrence reaches much higher values than EoF; so concurrence can indicate results that are well above the EoF. The presence of the F\"oster interaction favors that the quantum discord is the dominant correlation in the system, which indicates that the system maintains quantum correlations even when the entanglement of the system has disappeared, but that it is affected by the increase in the laser pump time


title: Wasserstein Distributionally Robust Control Barrier Function using Conditional Value-at-Risk with Differentiable Convex Programming

abstract: Control Barrier functions (CBFs) have attracted extensive attention for designing safe controllers for their deployment in real-world safety-critical systems. However, the perception of the surrounding environment is often subject to stochasticity and further distributional shift from the nominal one. In this paper, we present distributional robust CBF (DR-CBF) to achieve resilience under distributional shift while keeping the advantages of CBF, such as computational efficacy and forward invariance. To achieve this goal, we first propose a single-level convex reformulation to estimate the conditional value at risk (CVaR) of the safety constraints under distributional shift measured by a Wasserstein metric, which is by nature tri-level programming. Moreover, to construct a control barrier condition to enforce the forward invariance of the CVaR, the technique of differentiable convex programming is applied to enable differentiation through the optimization layer of CVaR estimation. We also provide an approximate variant of DR-CBF for higher-order systems. Simulation results are presented to validate the chance-constrained safety guarantee under the distributional shift in both first and second-order systems.


title: Performance Metrics for Probabilistic Ordinal Classifiers

abstract: Ordinal classification models assign higher penalties to predictions further away from the true class. As a result, they are appropriate for relevant diagnostic tasks like disease progression prediction or medical image grading. The consensus for assessing their categorical predictions dictates the use of distance-sensitive metrics like the Quadratic-Weighted Kappa score or the Expected Cost. However, there has been little discussion regarding how to measure performance of probabilistic predictions for ordinal classifiers. In conventional classification, common measures for probabilistic predictions are Proper Scoring Rules (PSR) like the Brier score, or Calibration Errors like the ECE, yet these are not optimal choices for ordinal classification. A PSR named Ranked Probability Score (RPS), widely popular in the forecasting field, is more suitable for this task, but it has received no attention in the image analysis community. This paper advocates the use of the RPS for image grading tasks. In addition, we demonstrate a counter-intuitive and questionable behavior of this score, and propose a simple fix for it. Comprehensive experiments on four large-scale biomedical image grading problems over three different datasets show that the RPS is a more suitable performance metric for probabilistic ordinal predictions. Code to reproduce our experiments can be found at https://github.com/agaldran/prob_ord_metrics .


title: Stochastic differential equations and stochastic parallel translations in the Wasserstein space

abstract: We will develop some elements in stochastic analysis in the Wasserstein space $\mathbb{P}_2(M)$ over a compact Riemannian manifold $M$, such as intrinsic It$\^o$ formulae, stochastic regular curves and parallel translations along them. We will establish the existence of parallel translations along regular curves, or stochastic regular curves in case of $\mathbb{P}_2(\mathbb{T})$. Surprisingly enough, in this last case, the equation defining stochastic parallel translations is a SDE on a Hilbert space, instead of a SPDE.


title: The discrepancy of greater-than

abstract: The discrepancy of the $n \times n$ greater-than matrix is shown to be $\frac{\pi}{2 \ln n}$ up to lower order terms.


title: Co-Optimization of Damage Assessment and Restoration: A Resilience-Driven Dynamic Crew Allocation for Power Distribution Systems

abstract: This study introduces a mixed-integer linear programming (MILP) model, effectively co-optimizing patrolling, damage assessment, fault isolation, repair, and load re-energization processes. The model is designed to solve a vital operational conundrum: deciding between further network exploration to obtain more comprehensive data or addressing the repair of already identified faults. As information on the fault location and repair timelines becomes available, the model allows for dynamic adaptation of crew dispatch decisions. In addition, this study proposes a conservative power flow constraint set that considers two network loading scenarios within the final network configuration. This approach results in the determination of an upper and a lower bound for node voltage levels and an upper bound for power line flows. To underscore the practicality and scalability of the proposed model, we have demonstrated its application using IEEE 123-node and 8500-node test systems, where it delivered promising results.


title: Torsion Vanishing for Some Shimura Varieties

abstract: We generalize the torsion vanishing results of Caraiani-Scholze and Koshikawa. Our results apply to the cohomology of general Shimura varieties $(\mathbf{G},X)$ of PEL type $A$ or $C$, localized at a suitable maximal ideal $\mathfrak{m}$ in the spherical Hecke algebra at primes $p$ such that $\mathbf{G}_{\mathbb{Q}_{p}}$ is a group for which we know the Fargues-Scholze local Langlands correspondence is the semi-simplification of a suitably nice local Langlands correspondence. This is accomplished by combining Koshikawa's technique, the theory of geometric Eisenstein series over the Fargues-Fontaine curve, the work of Santos describing the structure of the fibers of the minimally and toroidally compactified Hodge-Tate period morphism for general PEL type Shimura varieties of type $A$ or $C$, and ideas developed by Zhang on comparing Hecke correspondences on the moduli stack of $G$-bundles with the cohomology of Shimura varieties. In the process, we also establish a description of the generic part of the cohomology that bears resemblance to the work of Xiao-Zhu. Moreover, we also construct a filtration on the compactly supported cohomology that differs from Manotovan's filtration in the case that the Shimura variety is non-compact, allowing us to circumvent some of the circumlocutions taken by Cariani-Scholze. Our method showcases a very general strategy for proving such torsion vanishing results, and should bear even more fruit once the inputs are generalized. Motivated by this, we formulate an even more general torsion vanishing conjecture.


title: Raman sideband cooling of molecules in an optical tweezer array to the 3-D motional ground state

abstract: Ultracold polar molecules are promising for quantum information processing and searches for physics beyond the Standard Model. Laser cooling to ultracold temperatures is an established technique for trapped diatomic and triatomic molecules. Further cooling of the molecules to near the motional ground state is crucial for reducing various dephasings in quantum and precision applications. In this work, we demonstrate Raman sideband cooling of CaF molecules in optical tweezers to near their motional ground state, with average motional occupation quantum numbers of $\bar{n}_{x}=0.16(12)$, $\bar{n}_{y}=0.17(17)$ (radial directions), $\bar{n}_{z}=0.22(16)$ (axial direction) and a 3-D motional ground state probability of $54\pm18\%$. This paves the way to increase molecular coherence times in optical tweezers for robust quantum computation and simulation applications.


title: Fixed-b Asymptotics for Panel Models with Two-Way Clustering

abstract: This paper studies a cluster robust variance estimator proposed by Chiang, Hansen and Sasaki (2024) for linear panels. First, we show algebraically that this variance estimator (CHS estimator, hereafter) is a linear combination of three common variance estimators: the one-way unit cluster estimator, the "HAC of averages" estimator, and the "average of HACs" estimator. Based on this finding, we obtain a fixed-b asymptotic result for the CHS estimator and corresponding test statistics as the cross-section and time sample sizes jointly go to infinity. Furthermore, we propose two simple bias-corrected versions of the variance estimator and derive the fixed-b limits. In a simulation study, we find that the two bias-corrected variance estimators along with fixed-b critical values provide improvements in finite sample coverage probabilities. We illustrate the impact of bias-correction and use of the fixed-b critical values on inference in an empirical example from Thompson (2011) on the relationship between industry profitability and market concentration.


title: Frustratingly Simple Memory Efficiency for Pre-trained Language Models via Dynamic Embedding Pruning

abstract: The extensive memory footprint of pre-trained language models (PLMs) can hinder deployment in memory-constrained settings, such as cloud environments or on-device. PLMs use embedding matrices to represent extensive vocabularies, forming a large proportion of the model parameters. While previous work towards parameter-efficient PLM development has considered pruning parameters within the transformer layers, pruning the embedding matrix as part of fine-tuning or inference has yet to be explored. We first demonstrate that a significant proportion of the vocabulary remains unused in these scenarios. We then propose a simple yet effective approach that leverages this finding to minimize the memory footprint of the embedding matrix. We show that this approach provides substantial reductions in memory usage across a wide range of models and tasks. Notably, our approach maintains equivalent downstream task performance while allowing a more efficient use of compute resources.


title: Price of Safety in Linear Best Arm Identification

abstract: We introduce the safe best-arm identification framework with linear feedback, where the agent is subject to some stage-wise safety constraint that linearly depends on an unknown parameter vector. The agent must take actions in a conservative way so as to ensure that the safety constraint is not violated with high probability at each round. Ways of leveraging the linear structure for ensuring safety has been studied for regret minimization, but not for best-arm identification to the best our knowledge. We propose a gap-based algorithm that achieves meaningful sample complexity while ensuring the stage-wise safety. We show that we pay an extra term in the sample complexity due to the forced exploration phase incurred by the additional safety constraint. Experimental illustrations are provided to justify the design of our algorithm.


title: Clustered Multi-Agent Linear Bandits

abstract: We address in this paper a particular instance of the multi-agent linear stochastic bandit problem, called clustered multi-agent linear bandits. In this setting, we propose a novel algorithm leveraging an efficient collaboration between the agents in order to accelerate the overall optimization problem. In this contribution, a network controller is responsible for estimating the underlying cluster structure of the network and optimizing the experiences sharing among agents within the same groups. We provide a theoretical analysis for both the regret minimization problem and the clustering quality. Through empirical evaluation against state-of-the-art algorithms on both synthetic and real data, we demonstrate the effectiveness of our approach: our algorithm significantly improves regret minimization while managing to recover the true underlying cluster partitioning.


title: A fast-running physics-based wake model for a semi-infinite wind farm

abstract: This paper presents a new generation of fast-running physics-based models to predict the wake of a semi-infinite wind farm, extending infinitely in the lateral direction but with finite size in the streamwise direction. The assumption of a semi-infinite wind farm enables concurrent solving of the laterally-averaged momentum equations in both streamwise and spanwise directions. The developed model captures important physical phenomena such as vertical top-down transport of energy into the farm, variable wake recovery rate due to the farm-generated turbulence, and also wake deflection due to turbine yaw misalignment and Coriolis force. Of special note is the model's capability to predict and shed light on the counteracting effect of Coriolis force causing wake deflections in both positive and negative directions. Moreover, the impact of wind-farm layout configuration on the flow distribution is modelled through a parameter called the local deficit coefficient. Model predictions were validated against large-eddy simulations extending up to 45 kilometres downstream of wind farms. Detailed analyses were performed to study the impacts of various factors such as incoming turbulence, wind-farm size, inter-turbine spacing, and wind-farm layout on the farm wake.


title: Antiferromagnetic $\mathbb{Z}_2$ topological metal near the metal-insulator transition in MnS$_2$

abstract: Antiferromagnetic (AFM) semiconductor MnS$_2$ possesses both high-spin and low-spin magnetic phases that can be reversibly switched by applying pressure. With increasing pressure, the high-spin state undergoes pressure-induced metalization before transforming into a low-spin configuration, which is then closely followed by a volume collapse and structural transition. We show that the pressure driven band inversion is in fact topological, resulting in an antiferromagnetic $\mathbb{Z}_2$ topological metal (Z2AFTM) phase with a small gap and a Weyl metal phase at higher pressures, both of which precede the spin-state crossover and volume collapse. In the Z2AFTM phase, the magnetic order results in a doubling of the periodic unit cell, and the resulting folding of the Brillouin zone leads to a $\mathbb{Z}_2$ topological invariant protected by the persisting combined time-reversal and half-translation symmetries. Such a topological phase was proposed theoretically by Mong, Essin, and Moore in 2010 for a system with AFM order on a face-centered cubic (FCC) lattice, which until now has not been found in the pool of real materials. MnS$_2$ represents a realization of this original proposal through AFM order on the Mn FCC sublattice. A rich phase diagram of topological and magnetic phases tunable by pressure, establishes MnS$_2$ as a candidate material for exploring magnetic topological phase transitions and for potential applications in AFM spintronics.


title: How does international guidance for statistical practice align with the ASA Ethical Guidelines?

abstract: Gillikin (2017) defines a 'practice standard' as a document to 'define the way the profession's body of knowledge is ethically translated into day-to-day activities' (Gillikin 2017, p. 1). Such documents fulfill three objectives: they 1) define the profession; 2) communicate uniform standards to stakeholders; and 3) reduce conflicts between personal and professional conduct (Gillikin, 2017 p. 2). However, there are many guidelines - this is due to different purposes that guidance writers may have, as well as to the fact that there are different audiences for the many guidance documents. The existence of diverse statements do not necessarily make it clear that there are commonalities; and while some statements are explicitly aspirational, professionals as well as the public need to know that ethically-trained practitioners follow accepted practice standards. This paper applies the methodological approach described in Tractenberg (2023) and demonstrated in Park and Tractenberg (2023) to study alignment among international guidance for official statistics, and between these guidance documents and the ASA Ethical Guidelines for Statistical Practice functioning as an ethical practice standard (Tractenberg, 2022-A, 2022-B; after Gillikin 2017). In the spirit of exchanging experiences and lessons learned, we discuss how our findings could inform closer examination, clarification, and, if beneficial, possible revision of guidance in the future.


title: Generating Semantic Graph Corpora with Graph Expansion Grammar

abstract: We introduce Lovelace, a tool for creating corpora of semantic graphs. The system uses graph expansion grammar as a representational language, thus allowing users to craft a grammar that describes a corpus with desired properties. When given such grammar as input, the system generates a set of output graphs that are well-formed according to the grammar, i.e., a graph bank. The generation process can be controlled via a number of configurable parameters that allow the user to, for example, specify a range of desired output graph sizes. Central use cases are the creation of synthetic data to augment existing corpora, and as a pedagogical tool for teaching formal language theory.


title: Formalizing BPE Tokenization

abstract: In this paper, we formalize practical byte pair encoding tokenization as it is used in large language models and other NLP systems, in particular we formally define and investigate the semantics of the SentencePiece and HuggingFace tokenizers, in particular how they relate to each other, depending on how the tokenization rules are constructed. Beyond this we consider how tokenization can be performed in an incremental fashion, as well as doing it left-to-right using an amount of memory constant in the length of the string, enabling e.g. using a finite state string-to-string transducer.


title: Deterministic Real-Time Tree-Walking-Storage Automata

abstract: We study deterministic tree-walking-storage automata, which are finite-state devices equipped with a tree-like storage. These automata are generalized stack automata, where the linear stack storage is replaced by a non-linear tree-like stack. Therefore, tree-walking-storage automata have the ability to explore the interior of the tree storage without altering the contents, with the possible moves of the tree pointer corresponding to those of tree-walking automata. In addition, a tree-walking-storage automaton can append (push) non-existent descendants to a tree node and remove (pop) leaves from the tree. Here we are particularly considering the capacities of deterministic tree-walking-storage automata working in real time. It is shown that even the non-erasing variant can accept rather complicated unary languages as, for example, the language of words whose lengths are powers of two, or the language of words whose lengths are Fibonacci numbers. Comparing the computational capacities with automata from the classical automata hierarchy, we derive that the families of languages accepted by real-time deterministic (non-erasing) tree-walking-storage automata is located between the regular and the deterministic context-sensitive languages. There is a context-free language that is not accepted by any real-time deterministic tree-walking-storage automaton. On the other hand, these devices accept a unary language in non-erasing mode that cannot be accepted by any classical stack automaton, even in erasing mode and arbitrary time. Basic closure properties of the induced families of languages are shown. In particular, we consider Boolean operations (complementation, union, intersection) and AFL operations (union, intersection with regular languages, homomorphism, inverse homomorphism, concatenation, iteration). It turns out that the two families in question have the same properties and, in particular, share all but one of these closure properties with the important family of deterministic context-free languages.


title: Ordered Context-Free Grammars Revisited

abstract: We continue our study of ordered context-free grammars, a grammar formalism that places an order on the parse trees produced by the corresponding context-free grammar. In particular, we simplify our previous definition of a derivation of a string for a given ordered context-free grammar, and present a parsing algorithm, using shared packed parse forests, with time complexity O(n^4), where n is the length of the input string being parsed.


title: On Languages Generated by Signed Grammars

abstract: We consider languages defined by signed grammars which are similar to context-free grammars except productions with signs associated to them are allowed. As a consequence, the words generated also have signs. We use the structure of the formal series of yields of all derivation trees over such a grammar as a method of specifying a formal language and study properties of the resulting family of languages.


title: Final Sentential Forms

abstract: Let G be a context-free grammar with a total alphabet V, and let F be a final language over an alphabet W such that W is a subset of V. A final sentential form is any sentential form of G that, after omitting symbols from V - W, it belongs to F. The string resulting from the elimination of all nonterminals from W in a final sentential form is in the language of G finalized by F if and only if it contains only terminals. The language of any context-free grammar finalized by a regular language is context-free. On the other hand, it is demonstrated that L is a recursively enumerable language if and only if there exists a propagating context-free grammar G such that L equals the language of G finalized by {w#w^R | w is a string over a binary alphabet}, where w^R is the reversal of w.


title: Latvian Quantum Finite State Automata for Unary Languages

abstract: We design Latvian quantum finite state automata (LQFAs for short) recognizing unary regular languages with isolated cut point 1/2. From an architectural point of view, we combine two LQFAs recognizing with isolated cut point, respectively, the finite part and the ultimately periodic part of any given unary regular language L. In both modules, we use a component addressed in the literature and here suitably adapted to the unary case, to discriminate strings on the basis of their length. The number of basis states and the isolation around the cut point of the resulting LQFA for L exponentially depends on the size of the minimal deterministic finite state automaton for L.


title: Relative $h$-principles for closed stable forms

abstract: This paper uses convex integration to develop a new, general method for proving relative $h$-principles for closed, stable, exterior forms on manifolds. This method is applied to prove the relative $h$-principle for 4 classes of closed stable forms which were previously not known to satisfy the $h$-principle, $\textit{viz.}$ stable $(2k-2)$-forms in $2k$ dimensions, stable $(2k-1)$-forms in $2k+1$ dimensions, $\widetilde{\mathrm{G}}_2$ 3-forms and $\widetilde{\mathrm{G}}_2$ 4-forms. The method is also used to produce new, unified proofs of all three previously established $h$-principles for closed, stable forms, $\textit{viz.}$ the $h$-principles for closed stable 2-forms in $2k+1$ dimensions, closed $\mathrm{G}_2$ 4-forms and closed $\mathrm{SL}(3;\mathbb{C})$ 3-forms. In addition, it is shown that if a class of closed stable forms satisfies the relative $h$-principle, then the corresponding Hitchin functional (whenever defined) is necessarily unbounded above. Due to the general nature of the $h$-principles considered in this paper, the application of convex integration requires an analogue of Hodge decomposition on arbitrary $n$-manifolds (possibly non-compact, or with boundary) which cannot, to the author's knowledge, be found elsewhere in the literature. Such a decomposition is proven in Appendix A.


title: Constituency Parsing as an Instance of the M-monoid Parsing Problem

abstract: We consider the constituent parsing problem which states: given a final state normalized constituent tree automaton (CTA) and a string, compute the set of all constituent trees that are inductively recognized by the CTA and yield the string. We show that this problem is an instance of the M-monoid parsing problem. Moreover, we show that we can employ the generic M-monoid parsing algorithm to solve the constituency parsing problem for a meaningful class of CTA.


title: Sweeping Permutation Automata

abstract: This paper introduces sweeping permutation automata, which move over an input string in alternating left-to-right and right-to-left sweeps and have a bijective transition function. It is proved that these automata recognize the same family of languages as the classical one-way permutation automata (Thierrin, "Permutation automata", Mathematical Systems Theory, 1968). An n-state two-way permutation automaton is transformed to a one-way permutation automaton with F(n)=\max_(k+l=n, m <= l) k (l \choose m) (k - 1 \choose l - m) (l - m)! states. This number of states is proved to be necessary in the worst case, and its growth rate is estimated as F(n) = n^(n/2 - (1 + \ln 2)/2 \cdot n/(\ln n) \cdot (1 + o(1))).


title: Merging two Hierarchies of Internal Contextual Grammars with Subregular Selection

abstract: In this paper, we continue the research on the power of contextual grammars with selection languages from subfamilies of the family of regular languages. In the past, two independent hierarchies have been obtained for external and internal contextual grammars, one based on selection languages defined by structural properties (finite, monoidal, nilpotent, combinational, definite, ordered, non-counting, power-separating, suffix-closed, commutative, circular, or union-free languages), the other one based on selection languages defined by resources (number of non-terminal symbols, production rules, or states needed for generating or accepting them). In a previous paper, the language families of these hierarchies for external contextual grammars were compared and the hierarchies merged. In the present paper, we compare the language families of these hierarchies for internal contextual grammars and merge these hierarchies.


title: Three-dimensional magnetic resonance tomography with sub-10 nanometer resolution

abstract: We demonstrate three-dimensional magnetic resonance tomography with a resolution down to 5.99 +- 0.07 nm. Our measurements use lithographically fabricated microwires as a source of three-dimensional magnetic field gradients, which we use to image NV centers in a densely doped diamond by Fourier-accelerated magnetic resonance tomography. We also present a compressed sensing scheme for imaging of a spatially localized ensemble from undersampled data, which allows for a direct visual interpretation without numerical optimization. The resolution achieved in our work approaches the positioning accuracy of site-directed spin labeling, paving the way to three-dimensional structure analysis by magnetic-gradient based tomography.


title: Using a quantitative assessment of propulsion biomechanics in wheelchair racing to guide the design of personalized gloves: a case study

abstract: This study with a T-52 class wheelchair racing athlete aimed to combine quantitative biomechanical measurements to the athlete's perception to design and test different prototypes of a new kind of rigid gloves. Three personalized rigid gloves with various, fixed wrist extension angles were prototyped and tested on a treadmill in a biomechanics laboratory. The prototype with 45{\deg} wrist extension was the athlete's favourite as it reduced his perception of effort. Biomechanical assessment and user-experience data indicated that his favourite prototype increased wrist stability throughout the propulsion cycle while maintaining a very similar propulsion technique to the athlete's prior soft gloves. Moreover, the inclusion of an innovative attachment system on the new gloves allowed the athlete to put his gloves on by himself, eliminating the need for external assistance and thus significantly increasing his autonomy. This multidisciplinary approach helped to prototype and develop a new rigid personalized gloves concept and is clearly a promising avenue to tailor adaptive sports equipment to an athlete's needs.


title: Segmentation of Tubular Structures Using Iterative Training with Tailored Samples

abstract: We propose a minimal path method to simultaneously compute segmentation masks and extract centerlines of tubular structures with line-topology. Minimal path methods are commonly used for the segmentation of tubular structures in a wide variety of applications. Recent methods use features extracted by CNNs, and often outperform methods using hand-tuned features. However, for CNN-based methods, the samples used for training may be generated inappropriately, so that they can be very different from samples encountered during inference. We approach this discrepancy by introducing a novel iterative training scheme, which enables generating better training samples specifically tailored for the minimal path methods without changing existing annotations. In our method, segmentation masks and centerlines are not determined after one another by post-processing, but obtained using the same steps. Our method requires only very few annotated training images. Comparison with seven previous approaches on three public datasets, including satellite images and medical images, shows that our method achieves state-of-the-art results both for segmentation masks and centerlines.


title: SculptBot: Pre-Trained Models for 3D Deformable Object Manipulation

abstract: Deformable object manipulation presents a unique set of challenges in robotic manipulation by exhibiting high degrees of freedom and severe self-occlusion. State representation for materials that exhibit plastic behavior, like modeling clay or bread dough, is also difficult because they permanently deform under stress and are constantly changing shape. In this work, we investigate each of these challenges using the task of robotic sculpting with a parallel gripper. We propose a system that uses point clouds as the state representation and leverages pre-trained point cloud reconstruction Transformer to learn a latent dynamics model to predict material deformations given a grasp action. We design a novel action sampling algorithm that reasons about geometrical differences between point clouds to further improve the efficiency of model-based planners. All data and experiments are conducted entirely in the real world. Our experiments show the proposed system is able to successfully capture the dynamics of clay, and is able to create a variety of simple shapes.


title: An annotated bibliography for comparative prime number theory

abstract: The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory together with a summary of its results. We use a unified system of notation for the quantities being studied and for the hypotheses under which results are obtained. We encourage feedback on this manuscript (see the end of Section~1 for details).