title: Code Book for the Annotation of Diverse Cross-Document Coreference of Entities in News Articles

abstract: This paper presents a scheme for annotating coreference across news articles, extending beyond traditional identity relations by also considering near-identity and bridging relations. It includes a precise description of how to set up Inception, a respective annotation tool, how to annotate entities in news articles, connect them with diverse coreferential relations, and link them across documents to Wikidata's global knowledge graph. This multi-layered annotation approach is discussed in the context of the problem of media bias. Our main contribution lies in providing a methodology for creating a diverse cross-document coreference corpus which can be applied to the analysis of media bias by word-choice and labelling.


title: A Persuasive Approach to Combating Misinformation

abstract: Bayesian Persuasion is proposed as a tool for social media platforms to combat the spread of misinformation. Since platforms can use machine learning to predict the popularity and misinformation features of to-be-shared posts, and users are largely motivated to share popular content, platforms can strategically signal this informational advantage to change user beliefs and persuade them not to share misinformation. We characterize the optimal signaling scheme with imperfect predictions as a linear program and give sufficient and necessary conditions on the classifier to ensure optimal platform utility is non-decreasing and continuous. Next, this interaction is considered under a performative model, wherein platform intervention affects the user's future behaviour. The convergence and stability of optimal signaling under this performative process are fully characterized. Lastly, we experimentally validate that our approach significantly reduces misinformation in both the single round and performative setting and discuss the broader scope of using information design to combat misinformation.


title: Great Britain's Hydrogen Infrastructure Development -- Investment Priorities and Locational Flexibility

abstract: Future pathways for Great Britain's energy system decarbonisation have highlighted the importance of low-carbon hydrogen as an energy carrier and demand flexibility support. However, the potential application within various sectors (heating, industry, transport) and production capacity through different technologies (methane reformation with carbon capture, biomass gasification, electrolysis) is highly varying, introducing substantial uncertainties for hydrogen infrastructure development. This study sets out infrastructure priorities and identifies locational flexibility for hydrogen supply and demand options. Advances on limitations of previous research are made by developing an open-source model of the hydrogen system of Great Britain, based on three Net Zero scenarios set out by National Grid in their Future Energy Scenarios, in high temporal and spatial resolution. The model comprehensively covers demand sectors and supply options, in addition to extending the locational considerations of the Future Energy Scenarios. This study recommends prioritising the establishment of green hydrogen hubs, in the near-term, aligning with demands for synthetic fuels production, industry, and power, which can facilitate the subsequent roll out of up to 10GW of hydrogen production capacity by 2050. The analysis quantifies a high proportion of hydrogen supply and demand which can be located flexibly.


title: Thermo-electric Transport of Dyonic Gubser-Rocha Black Holes

abstract: We study the thermo-electric transport coefficients of an extended version of the Gubser-Rocha model. After reviewing the two relaxation time model from holography and studying the effect of the magnetic field on thermo-electric transports from hydrodynamic theory, we present a new dilatonic dyonic asymptotically AdS black hole solution. Notice that S-duality plays an important role in finding the analytic solution with the magnetic field. Using the AdS/CMT dictionary, we analyze the electric and thermo-electric transport properties of the dual field theory. The resistivity exhibits T-linearity in the low-temperature regime. However, in the strong momentum relaxation and a strong magnetic field limit, the resistivitiy shows explicit deviation from the linear-in-T resistivity. The Hall angle is linear-in-T for both the low-temperature regime and the high-temperature regime for fixed momentum dissipation strength. The Nernst signal is a bell-shaped function in terms of the magnetic field even when the momentum relaxation is strong. Finally, we discuss the possibility of getting a semi-realistic strange metal description from our model.


title: A model category for modal logic

abstract: We define Quillen model structures on a family of presheaf toposes arising from tree unravellings of Kripke models, leading to a homotopy theory for modal logic. Modal preservation theorems and the Hennessy-Milner property are revisited from a homotopical perspective.


title: Transformers for scientific data: a pedagogical review for astronomers

abstract: The deep learning architecture associated with ChatGPT and related generative AI products is known as transformers. Initially applied to Natural Language Processing, transformers and the self-attention mechanism they exploit have gained widespread interest across the natural sciences. The goal of this pedagogical and informal review is to introduce transformers to scientists. The review includes the mathematics underlying the attention mechanism, a description of the original transformer architecture, and a section on applications to time series and imaging data in astronomy. We include a Frequently Asked Questions section for readers who are curious about generative AI or interested in getting started with transformers for their research problem.


title: The era of the ARG: an empiricist's guide to ancestral recombination graphs

abstract: In the presence of recombination, the evolutionary relationships between a set of sampled genomes cannot be described by a single genealogical tree. Instead, the genomes are related by a complex, interwoven collection of genealogies formalized in a structure called an ancestral recombination graph (ARG). An ARG extensively encodes the ancestry of the genome(s) and thus is replete with valuable information for addressing diverse questions in evolutionary biology. Despite its potential utility, technological and methodological limitations, along with a lack of approachable literature, have severely restricted awareness and application of ARGs in empirical evolution research. Excitingly, recent progress in ARG reconstruction and simulation have made ARG-based approaches feasible for many questions and systems. In this review, we provide an accessible introduction and exploration of ARGs, survey recent methodological breakthroughs, and describe the potential for ARGs to further existing goals and open avenues of inquiry that were previously inaccessible in evolutionary genomics. Through this discussion, we aim to more widely disseminate the promise of ARGs in evolutionary genomics and encourage the broader development and adoption of ARG-based inference.


title: Higgs-Induced Screening Mechanisms in Scalar-Tensor Theories

abstract: We consider the theory of a light conformally coupled scalar field, i.e., one that is coupled directly to the Ricci scalar of the gravitational sector. This theory can be written equivalently as one of a light scalar that is coupled to the Standard Model of particle physics with a particular combination of Higgs-portal couplings. When the conformal coupling function contains terms that are linear and quadratic in the conformally coupled scalar, we find that the effective mass of the light propagating mode and its coupling to matter fields, obtained after expanding around a minimum of the classical potential, depend on the energy density of the background environment. This is despite the absence of non-linear terms in the original equation of motion for the light conformally coupled field. Instead, we find that the non-linearities of the prototype Higgs potential are communicated to the light mode. In this way, we present a novel realisation of screening mechanisms, in which light degrees of freedom coupled to the Standard Model are able to avoid experimental constraints through environmental and thin-shell effects.


title: SPEED: Speculative Pipelined Execution for Efficient Decoding

abstract: Generative Large Language Models (LLMs) based on the Transformer architecture have recently emerged as a dominant foundation model for a wide range of Natural Language Processing tasks. Nevertheless, their application in real-time scenarios has been highly restricted due to the significant inference latency associated with these models. This is particularly pronounced due to the autoregressive nature of generative LLM inference, where tokens are generated sequentially since each token depends on all previous output tokens. It is therefore challenging to achieve any token-level parallelism, making inference extremely memory-bound. In this work, we propose SPEED, which improves inference efficiency by speculatively executing multiple future tokens in parallel with the current token using predicted values based on early-layer hidden states. For Transformer decoders that employ parameter sharing, the memory operations for the tokens executing in parallel can be amortized, which allows us to accelerate generative LLM inference. We demonstrate the efficiency of our method in terms of latency reduction relative to model accuracy and demonstrate how speculation allows for training deeper decoders with parameter sharing with minimal runtime overhead.


title: A universal Euler characteristic of non-orbifold groupoids and Riemannian structures on Lie groupoids

abstract: We introduce the universal Euler characteristic of an orbit space definable groupoid, a class of groupoids containing cocompact proper Lie groupoids as well as translation groupoids for semialgebraic group actions. Generalizing results of Gusein-Zade, Luengo, and Melle-Hern\'andez, we show that every additive and multiplicative invariant of orbit space definable groupoids with an additional local triviality hypothesis arises as a ring homomorphism applied to the universal Euler characteristic. This in particular includes the $\Gamma$-orbifold Euler characteristic introduced by the first and third authors when $\Gamma$ is a finitely presented group. For Lie groupoids with Riemannian structures in the sense of del Hoyo-Fernandes, and for Cartan-Lie groupoids with Riemannian structures in the sense of Kotov-Strobl, we study the Riemannian structures induced on the suborbifolds of the inertia space given by images of isotropy groups. We realize the $\mathbb{Z}$-orbifold Euler characteristic as the integral of a differential form defined on the arrow space or the space of composable pairs of arrows of the original groupoid.


title: Towards Safer Operations: An Expert-involved Dataset of High-Pressure Gas Incidents for Preventing Future Failures

abstract: This paper introduces a new IncidentAI dataset for safety prevention. Different from prior corpora that usually contain a single task, our dataset comprises three tasks: named entity recognition, cause-effect extraction, and information retrieval. The dataset is annotated by domain experts who have at least six years of practical experience as high-pressure gas conservation managers. We validate the contribution of the dataset in the scenario of safety prevention. Preliminary results on the three tasks show that NLP techniques are beneficial for analyzing incident reports to prevent future failures. The dataset facilitates future research in NLP and incident management communities. The access to the dataset is also provided (the IncidentAI dataset is available at: https://github.com/Cinnamon/incident-ai-dataset).


title: Monte-Carlo Tree Search for Behavior Planning in Autonomous Driving

abstract: The integration of autonomous vehicles into urban and highway environments necessitates the development of robust and adaptable behavior planning systems. This study presents an innovative approach to address this challenge by utilizing a Monte-Carlo Tree Search (MCTS) based algorithm for autonomous driving behavior planning. The core objective is to leverage the balance between exploration and exploitation inherent in MCTS to facilitate intelligent driving decisions in complex scenarios. We introduce an MCTS-based algorithm tailored to the specific demands of autonomous driving. This involves the integration of carefully crafted cost functions, encompassing safety, comfort, and passability metrics, into the MCTS framework. The effectiveness of our approach is demonstrated by enabling autonomous vehicles to navigate intricate scenarios, such as intersections, unprotected left turns, cut-ins, and ramps, even under traffic congestion, in real-time. Qualitative instances illustrate the integration of diverse driving decisions, such as lane changes, acceleration, and deceleration, into the MCTS framework. Moreover, quantitative results, derived from examining the impact of iteration time and look-ahead steps on decision quality and real-time applicability, substantiate the robustness of our approach. This robustness is further underscored by the high success rate of the MCTS algorithm across various scenarios.


title: Exploring Fairness in Pre-trained Visual Transformer based Natural and GAN Generated Image Detection Systems and Understanding the Impact of Image Compression in Fairness

abstract: It is not only sufficient to construct computational models that can accurately classify or detect fake images from real images taken from a camera, but it is also important to ensure whether these computational models are fair enough or produce biased outcomes that can eventually harm certain social groups or cause serious security threats. Exploring fairness in forensic algorithms is an initial step towards correcting these biases. Since visual transformers are recently being widely used in most image classification based tasks due to their capability to produce high accuracies, this study tries to explore bias in the transformer based image forensic algorithms that classify natural and GAN generated images. By procuring a bias evaluation corpora, this study analyzes bias in gender, racial, affective, and intersectional domains using a wide set of individual and pairwise bias evaluation measures. As the generalizability of the algorithms against image compression is an important factor to be considered in forensic tasks, this study also analyzes the role of image compression on model bias. Hence to study the impact of image compression on model bias, a two phase evaluation setting is followed, where a set of experiments is carried out in the uncompressed evaluation setting and the other in the compressed evaluation setting.


title: One-Shot Imitation Learning: A Pose Estimation Perspective

abstract: In this paper, we study imitation learning under the challenging setting of: (1) only a single demonstration, (2) no further data collection, and (3) no prior task or object knowledge. We show how, with these constraints, imitation learning can be formulated as a combination of trajectory transfer and unseen object pose estimation. To explore this idea, we provide an in-depth study on how state-of-the-art unseen object pose estimators perform for one-shot imitation learning on ten real-world tasks, and we take a deep dive into the effects that camera calibration, pose estimation error, and spatial generalisation have on task success rates. For videos, please visit https://www.robot-learning.uk/pose-estimation-perspective.


title: Deformation Mechanisms in High Entropy Alloys: A Minireview of Short-Range Order Effects

abstract: The complex atomic scale structure of high entropy alloys presents new opportunities to expand the deformation theories of mechanical metallurgy. In this regard, solute-defect interactions have emerged as critical piece in elucidating the operation of deformation mechanisms. While notable progress has been made in understanding solute-defect interactions for random solute arrangements, recent interest in high entropy alloys with short-range order adds a new layer of structural complexity for which a cohesive picture has yet to emerge. To this end, this minireview synthesizes the current understanding of short-range order effects on defect behavior through an examination of the key recent literature. This analysis centers on the nanoscale metallurgy of deformation mechanisms, with the order-induced changes to the relevant defect energy landscapes serving as a touchstone for discussion. The topics reviewed include dislocation-mediated strengthening, twinning and phase transformation-based mechanisms, and vacancy-mediated processes. This minireview concludes with remarks on current challenges and opportunities for future efforts.


title: Differential Equation Scaling Limits of Shaped and Unshaped Neural Networks

abstract: Recent analyses of neural networks with shaped activations (i.e. the activation function is scaled as the network size grows) have led to scaling limits described by differential equations. However, these results do not a priori tell us anything about "ordinary" unshaped networks, where the activation is unchanged as the network size grows. In this article, we find similar differential equation based asymptotic characterization for two types of unshaped networks. Firstly, we show that the following two architectures converge to the same infinite-depth-and-width limit at initialization: (i) a fully connected ResNet with a $d^{-1/2}$ factor on the residual branch, where $d$ is the network depth. (ii) a multilayer perceptron (MLP) with depth $d \ll$ width $n$ and shaped ReLU activation at rate $d^{-1/2}$. Secondly, for an unshaped MLP at initialization, we derive the first order asymptotic correction to the layerwise correlation. In particular, if $\rho_\ell$ is the correlation at layer $\ell$, then $q_t = \ell^2 (1 - \rho_\ell)$ with $t = \frac{\ell}{n}$ converges to an SDE with a singularity at $t=0$. These results together provide a connection between shaped and unshaped network architectures, and opens up the possibility of studying the effect of normalization methods and how it connects with shaping activation functions.


title: Aperiodic MEG abnormality in patients with focal to bilateral tonic-clonic seizures

abstract: Aperiodic activity is a physiologically distinct component of the electrophysiological power spectrum. It is suggested to reflect the balance of excitation and inhibition in the brain, within selected frequency bands. However, the impact of recurrent seizures on aperiodic activity remains unknown, particularly in patients with severe bilateral seizures. Here, we hypothesised greater aperiodic abnormality in the epileptogenic zone, in patients with focal to bilateral tonic clonic (FBTC) seizures, and earlier age of seizure onset. Pre-operative magnetoencephalography (MEG) recordings were acquired from 36 patients who achieved complete seizure freedom (Engel I outcome) post-surgical resection. A normative whole brain map of the aperiodic exponent was computed by averaging across subjects for each region in the hemisphere contralateral to the side of resection. Selected regions of interest were then tested for abnormality using deviations from the normative map in terms of z-scores. Resection masks drawn from postoperative structural imaging were used as an approximation of the epileptogenic zone. Patients with FBTC seizures had greater abnormality compared to patients with focal onset seizures alone in the resection volume (p=0.003, area under the ROC curve = 0.78 ). Earlier age of seizure onset was correlated with greater abnormality of the aperiodic exponent in the resection volume (correlation coefficient = -0.3, p= 0.04)) as well as the whole cortex (rho = -0.33, p=0.03). The abnormality of the aperiodic exponent did not significantly differ between the resected and non-resected regions of the brain. Abnormalities in aperiodic components relate to important clinical characteristics such as severity and age of seizure onset. This suggests the potential use of the aperiodic band power component as a marker for severity of epilepsy.


title: Robust Graph Matching Using An Unbalanced Hierarchical Optimal Transport Framework

abstract: Graph matching is one of the most significant graph analytic tasks, which aims to find the node correspondence across different graphs. Most existing graph matching approaches mainly rely on topological information, whose performances are often sub-optimal and sensitive to data noise because of not fully leveraging the multi-modal information hidden in graphs, such as node attributes, subgraph structures, etc. In this study, we propose a novel and robust graph matching method based on an unbalanced hierarchical optimal transport (UHOT) framework, which, to our knowledge, makes the first attempt to exploit cross-modal alignment in graph matching. In principle, applying multi-layer message passing, we represent each graph as layer-wise node embeddings corresponding to different modalities. Given two graphs, we align their node embeddings within the same modality and across different modalities, respectively. Then, we infer the node correspondence by the weighted average of all the alignment results. This method is implemented as computing the UHOT distance between the two graphs -- each alignment is achieved by a node-level optimal transport plan between two sets of node embeddings, and the weights of all alignment results correspond to an unbalanced modality-level optimal transport plan. Experiments on various graph matching tasks demonstrate the superiority and robustness of our method compared to state-of-the-art approaches. Our implementation is available at https://github.com/Dixin-Lab/UHOT-GM.


title: Accessing ultrafast spin-transport dynamics in copper using broadband terahertz spectroscopy

abstract: We study the spatiotemporal dynamics of ultrafast electron spin transport across nanometer-thick copper layers using broadband terahertz spectroscopy. Our analysis of temporal delays, broadening and attenuation of the spin-current pulse revealed ballistic-like propagation of the pulse peak, approaching the Fermi velocity, and diffusive features including a significant velocity dispersion. A comparison to the frequency-dependent Ficks law identified the diffusion-dominated transport regime for distances larger than 2 nm. The findings lie the groundwork for designing future broadband spintronic devices.


title: Contributing Components of Metabolic Energy Models to Metabolic Cost Estimations in Gait

abstract: Objective: As metabolic cost is a primary factor influencing humans' gait, we want to deepen our understanding of metabolic energy expenditure models. Therefore, this paper identifies the parameters and input variables, such as muscle or joint states, that contribute to accurate metabolic cost estimations. Methods: We explored the parameters of four metabolic energy expenditure models in a Monte Carlo sensitivity analysis. Then, we analysed the model parameters by their calculated sensitivity indices, physiological context, and the resulting metabolic rates during the gait cycle. The parameter combination with the highest accuracy in the Monte Carlo simulations represented a quasi-optimized model. In the second step, we investigated the importance of input parameters and variables by analysing the accuracy of neural networks trained with different input features. Results: Power-related parameters were most influential in the sensitivity analysis and the neural network-based feature selection. We observed that the quasi-optimized models produced negative metabolic rates, contradicting muscle physiology. Neural network-based models showed promising abilities but have been unable to match the accuracy of traditional metabolic energy expenditure models. Conclusion: We showed that power-related metabolic energy expenditure model parameters and inputs are most influential during gait. Furthermore, our results suggest that neural network-based metabolic energy expenditure models are viable. However, bigger datasets are required to achieve better accuracy. Significance: As there is a need for more accurate metabolic energy expenditure models, we explored which musculoskeletal parameters are essential when developing a model to estimate metabolic energy.


title: Quantum Radio Astronomy: Data Encodings and Quantum Image Processing

abstract: We explore applications of quantum computing for radio interferometry and astronomy using recent developments in quantum image processing. We evaluate the suitability of different quantum image representations using a toy quantum computing image reconstruction pipeline, and compare its performance to the classical computing counterpart. For identifying and locating bright radio sources, quantum computing can offer an exponential speedup over classical algorithms, even when accounting for data encoding cost and repeated circuit evaluations. We also propose a novel variational quantum computing algorithm for self-calibration of interferometer visibilities, and discuss future developments and research that would be necessary to make quantum computing for radio astronomy a reality.


title: On the Benefit of Generative Foundation Models for Human Activity Recognition

abstract: In human activity recognition (HAR), the limited availability of annotated data presents a significant challenge. Drawing inspiration from the latest advancements in generative AI, including Large Language Models (LLMs) and motion synthesis models, we believe that generative AI can address this data scarcity by autonomously generating virtual IMU data from text descriptions. Beyond this, we spotlight several promising research pathways that could benefit from generative AI for the community, including the generating benchmark datasets, the development of foundational models specific to HAR, the exploration of hierarchical structures within HAR, breaking down complex activities, and applications in health sensing and activity summarization.


title: FactCHD: Benchmarking Fact-Conflicting Hallucination Detection

abstract: Despite their impressive generative capabilities, LLMs are hindered by fact-conflicting hallucinations in real-world applications. The accurate identification of hallucinations in texts generated by LLMs, especially in complex inferential scenarios, is a relatively unexplored area. To address this gap, we present FactCHD, a dedicated benchmark designed for the detection of fact-conflicting hallucinations from LLMs. FactCHD features a diverse dataset that spans various factuality patterns, including vanilla, multi-hop, comparison, and set operation. A distinctive element of FactCHD is its integration of fact-based evidence chains, significantly enhancing the depth of evaluating the detectors' explanations. Experiments on different LLMs expose the shortcomings of current approaches in detecting factual errors accurately. Furthermore, we introduce Truth-Triangulator that synthesizes reflective considerations by tool-enhanced ChatGPT and LoRA-tuning based on Llama2, aiming to yield more credible detection through the amalgamation of predictive results and evidence. The benchmark dataset is available at https://github.com/zjunlp/FactCHD.


title: Efficient calculation of self magnetic field, self-force, and self-inductance for electromagnetic coils. II. Rectangular cross-section

abstract: For designing high-field electromagnets, the Lorentz force on coils must be computed to ensure a support structure is feasible, and the inductance should be computed to evaluate the stored energy. Also, the magnetic field and its variation inside the conductor is of interest for computing stress and strain, and due to superconducting quench limits. For these force, inductance, energy, and internal field calculations, the coils cannot be naively approximated as infinitesimally thin filaments due to divergences when the source and evaluation points coincide, so more computationally demanding calculations are usually required, resolving the finite cross-section of the conductors. Here, we present a new alternative method that enables the internal magnetic field vector, self-force, and self-inductance to be computed rapidly and accurately within a 1D filament model. The method is applicable to coils for which the curve center-line can have general noncircular shape, as long as the conductor width is small compared to the radius of curvature. This paper extends a previous calculation for circular-cross-section conductors [Hurwitz et al, arXiv:2310.09313 (2023)] to consider the case of rectangular cross-section. The reduced model is derived by rigorous analysis of the singularity, regularizing the filament integrals such that they match the true high-dimensional integrals at high coil aspect ratio. The new filament model exactly recovers analytic results for a circular coil, and is shown to accurately reproduce full finite-cross-section calculations for a non-planar coil of a stellarator magnetic fusion device. Due to the efficiency of the model here, it is well suited for use inside design optimization.

categories: physics.app-ph physics.acc-ph physics.class-ph physics.comp-ph physics.plasm-ph


title: Improving probabilistic wind speed forecasting using M-Rice distribution and spatial data integration

abstract: We consider the problem of short-term forecasting of surface wind speed probability distribution. Our approach consists in predicting the parameters of a given probability density function by training a neural network model whose loss function is the corresponding log-likelihood. We compare different possibilities among a set of distributions that have been previously considered in the context of modeling wind fluctuations. Our results rely on two wind datasets recorded respectively by M\'et\'eo-France in Corsica (South France) and by KNMI over the Netherlands. A first part of our work globally unveils the superiority of the so-called "Multifractal Rice" (M-Rice) distribution over alternative parametric models, showcasing its potential as a reliable tool for wind speed forecasting. This family ofdistributions relies on a random cascade model model for wind speeds along the same picture as fully developed turbulence. For all stations in both regions, it consistently provides better results regardless of the considered scoring rule or forecasting horizon. Our second findings demonstrate significant enhancements in forecasting accuracy when one incorporates wind speed data from proximate weather stations, in full agreement with former results for point-wise wind speed prediction. Moreover, we reveal that the incorporation of ERA5 reanalysis of 10 m wind data from neighboring grid points contributes to a substantial improvement mostly at longest time horizons ($h=6$ h). It turns out that accounting for pertinent explanatory factors, notably those related the spatial distribution and wind speed and direction, emerges as a more critical factor in enhancing accuracy than the choice of the "optimal" parametric distribution. We also find out that such explanatory factors mainly increases the resolution performances while it does not change the reliability contribution to the CRPS score.


title: Ejecta Evolution Following a Planned Impact into an Asteroid: The First Five Weeks

abstract: The impact of the DART spacecraft into Dimorphos, moon of the asteroid Didymos, changed Dimorphos' orbit substantially, largely from the ejection of material. We present results from twelve Earth-based facilities involved in a world-wide campaign to monitor the brightness and morphology of the ejecta in the first 35 days after impact. After an initial brightening of ~1.4 magnitudes, we find consistent dimming rates of 0.11-0.12 magnitudes/day in the first week, and 0.08-0.09 magnitudes/day over the entire study period. The system returned to its pre-impact brightness 24.3-25.3 days after impact through the primary ejecta tail remained. The dimming paused briefly eight days after impact, near in time to the appearance of the second tail. This was likely due to a secondary release of material after re-impact of a boulder released in the initial impact, through movement of the primary ejecta through the aperture likely played a role.


title: Chemical Analysis of the Brightest Star of the Cetus II Ultra-Faint Dwarf Galaxy Candidate

abstract: We present a detailed chemical abundance analysis of the brightest star in the ultra-faint dwarf (UFD) galaxy candidate Cetus II from high-resolution Magellan/MIKE spectra. For this star, DES J011740.53-173053, abundances or upper limits of 18 elements from Carbon to Europium are derived. Its chemical abundances generally follow those of other UFD galaxy stars, with a slight enhancement of the alpha-elements (Mg, Si, and Ca) and low neutron-capture element (Sr, Ba, Eu) abundances supporting the classification of Cetus II as a likely UFD. The star exhibits lower Sc, Ti, and V abundances than Milky Way (MW) halo stars with similar metallicity. This signature is consistent with yields from a supernova (SN) originating from a star with a mass of ~11.2 solar masses. In addition, the star has a Potassium abundance of [K/Fe] = 0.81 which is somewhat higher than the K abundances of MW halo stars with similar metallicity, a signature which is also present in a number of UFD galaxies. A comparison including globular clusters (GC) and stellar stream stars suggests that high K is a specific characteristic for some UFD galaxy stars and can thus be used to help classify objects as UFD galaxies.


title: Designs related through projective and Hopf maps

abstract: We formalize constructions which use the $\Bbb F$-projective map to build a spherical $t$-design on $S^d$ from a projective $\left\lfloor\frac t2\right\rfloor$-design on a real, complex, quaternionic, or octonionic projective space $\Bbb{FP}^n\neq \Bbb{OP}^2$ and spherical $t$-designs on $S^k$ or to build a projective $\left\lfloor\frac t2\right\rfloor$-design on $\Bbb{FP}^n$ from a spherical $t$-design on $S^d$, where $k=(\Bbb F\::\:\Bbb R)-1$ and $d=(k+1)n+k$. We prove that the $n=1$ cases of these constructions give rise to analogous constructions which use generalized Hopf maps to relate spherical $t$-designs on $S^{2k+1}$ to spherical $\left\lfloor\frac t2\right\rfloor$-designs on $S^{k+1}$. This generalizes work of K\"{o}nig and Kuperberg, who proved validity of the $\Bbb F=\Bbb C$ case of the projective constructions, and of Okuda, who proved validity of the $\Bbb F=\Bbb C$ case of the Hopf constructions.


title: HSTR-Net: Reference Based Video Super-resolution for Aerial Surveillance with Dual Cameras

abstract: Aerial surveillance requires high spatio-temporal resolution (HSTR) video for more accurate detection and tracking of objects. This is especially true for wide-area surveillance (WAS), where the surveyed region is large and the objects of interest are small. This paper proposes a dual camera system for the generation of HSTR video using reference-based super-resolution (RefSR). One camera captures high spatial resolution low frame rate (HSLF) video while the other captures low spatial resolution high frame rate (LSHF) video simultaneously for the same scene. A novel deep learning architecture is proposed to fuse HSLF and LSHF video feeds and synthesize HSTR video frames at the output. The proposed model combines optical flow estimation and (channel-wise and spatial) attention mechanisms to capture the fine motion and intricate dependencies between frames of the two video feeds. Simulations show that the proposed model provides significant improvement over existing reference-based SR techniques in terms of PSNR and SSIM metrics. The method also exhibits sufficient frames per second (FPS) for WAS when deployed on a power-constrained drone equipped with dual cameras.


title: Ion kinetics of plasma interchange reconnection in the lower solar corona

abstract: The exploration of the inner heliosphere by Parker Solar Probe has revealed a highly structured solar wind with ubiquitous deflections from the Parker spiral, known as switchbacks. Interchange reconnection (IR) may play an important role in generating these switchbacks by forming unstable particle distributions that generate wave activity that in turn may evolve to such structures. IR occurs in very low beta plasmas and in the presence of strong guiding fields. Although IR is unlikely to release enough energy to provide an important contribution to the heating and acceleration of the solar wind, it affects the way the solar wind is connected to its sources, connecting open field lines to regions of closed fields. This "switching on" provides a mechanism by which plasma near coronal hole boundaries can mix with that trapped inside the closed loops. This mixing can lead to a new energy balance. It may significantly change the characteristics of the solar wind because this plasma is already pre-heated and can potentially have quite different density and particle distributions. It not only replenishes the solar wind, but also affects the electric field, which in turn affects the energy balance. This interpenetration is manifested by the formation of a bimodal ion distribution, with a core and a beam-like population. Such distributions are indeed frequently observed by the Parker Solar Probe. Here we provide a first step towards assessing the role of such processes in accelerating and heating the solar wind.


title: Large Rashba splittings in bulk and monolayer of BiAs

abstract: Two-dimensional materials with Rashba split bands near the Fermi level are key to developing upcoming next-generation spintronics. They enable generating, detecting, and manipulating spin currents without an external magnetic field. Here, we propose BiAs as a novel layered semiconductor with large Rashba splitting in bulk and monolayer forms. Using first-principles calculations, we determined the lowest energy structure of BiAs and its basic electronic properties. Bulk BiAs has a layered crystal structure with two atoms in a rhombohedral primitive cell, similar to the parent Bi and As elemental phases. It is a semiconductor with a narrow and indirect band gap. The spin-orbit coupling leads to Rashba-Dresselhaus spin splitting and characteristic spin texture around the L-point in the Brillouin zone of the hexagonal conventional unit cell, with Rashba energy and Rashba coupling constant for valence (conduction) band of $E_R$= 137 meV (93 meV) and $\alpha_R$= 6.05 eV\AA~(4.6 eV{\AA}). In monolayer form (i.e., composed of a BiAs bilayer), BiAs has a much larger and direct band gap at $\Gamma$, with a circular spin texture characteristic of a pure Rashba effect. The Rashba energy $E_R$= 18 meV and Rashba coupling constant $\alpha_R$= 1.67 eV{\AA} of monolayer BiAs are quite large compared to other known 2D materials, and these values are shown to increase under tensile biaxial strain.


title: On the latent dimension of deep autoencoders for reduced order modeling of PDEs parametrized by random fields

abstract: Deep Learning is having a remarkable impact on the design of Reduced Order Models (ROMs) for Partial Differential Equations (PDEs), where it is exploited as a powerful tool for tackling complex problems for which classical methods might fail. In this respect, deep autoencoders play a fundamental role, as they provide an extremely flexible tool for reducing the dimensionality of a given problem by leveraging on the nonlinear capabilities of neural networks. Indeed, starting from this paradigm, several successful approaches have already been developed, which are here referred to as Deep Learning-based ROMs (DL-ROMs). Nevertheless, when it comes to stochastic problems parameterized by random fields, the current understanding of DL-ROMs is mostly based on empirical evidence: in fact, their theoretical analysis is currently limited to the case of PDEs depending on a finite number of (deterministic) parameters. The purpose of this work is to extend the existing literature by providing some theoretical insights about the use of DL-ROMs in the presence of stochasticity generated by random fields. In particular, we derive explicit error bounds that can guide domain practitioners when choosing the latent dimension of deep autoencoders. We evaluate the practical usefulness of our theory by means of numerical experiments, showing how our analysis can significantly impact the performance of DL-ROMs.


title: Vital Edges for (s,t)-mincut: Efficient Algorithms, Compact Structures, and Optimal Sensitivity Oracle

abstract: Let G be a directed weighted graph (DiGraph) on n vertices and m edges with source s and sink t. An edge in G is vital if its removal reduces the capacity of (s,t)-mincut. Since the seminal work of Ford and Fulkerson, a long line of work has been done on computing the most vital edge and all vital edges of G. Unfortunately, after 60 years, the existing results are for undirected or unweighted graphs. We present the following result for DiGraph, which solves an open problem stated by Ausiello et al. 1. There is an algorithm that computes all vital edges as well as the most vital edge of G using O(n) maxflow computations. Vital edges play a crucial role in the design of Sensitivity Oracle (SO) for (s,t)-mincut. For directed graphs, the only existing SO is for unweighted graphs by Picard and Queyranne. We present the first and optimal SO for DiGraph. 2. (a) There is an O(n) space SO that can report in O(1) time the capacity of (s,t)-mincut and (b) an O($n^2$) space SO that can report an (s,t)-mincut in O(n) time after failure/insertion of an edge. For unweighted graphs, Picard and Queyranne designed an O(m) space DAG that stores and characterizes all mincuts for all vital edges. Conversely, there is a set containing at most n-1 (s,t)-cuts such that at least one mincut for every vital edge belongs to the set. We generalize these results for DiGraph. 3. (a) There is a set containing at most n-1 (s,t)-cuts such that at least one mincut for every vital edge is present in the set. (b) We design two compact structures for storing and characterizing all mincuts for all vital edges, (i) O(m) space DAG for partial characterization and (ii) O(mn) space structure for complete characterization. To arrive at our results, we develop new techniques, especially a generalization of maxflow-mincut theorem by Ford and Fulkerson, which might be of independent interest.


title: Blind-search constraints on the sub-kiloparsec population of continuous gravitational-wave sources

abstract: We use the latest all-sky continuous gravitational-wave (CW) searches to estimate constraints on the sub-kiloparsec population of unknown neutron stars (NS). We then extend this analysis to the forthcoming LIGO-Virgo-KAGRA observing runs and the third generation (3G) of ground-based interferometric detectors (Einstein Telescope and Cosmic Explorer). We find that sources with ellipticities greater than $\epsilon \gtrsim 10^{-7}$ can be well-constrained by current and future detectors regardless of their frequency. 3G detectors will extend these constraints down to $\epsilon \gtrsim 10^{-8}$ across the whole sensitive band and $\epsilon \gtrsim 10^{-9}$ above $1\,\textrm{kHz}$. We do not expect $\epsilon \lesssim 10^{-8}$ sources to be constrained below $1\,\textrm{kHz}$. Finally, we discuss the potential impact of using astronomical priors on all-sky searches in terms of sensitivity and computing cost. The populations here described can be used as a guide to set up future all-sky CW searches.


title: Symmetric improved estimators for multipoint vertex functions

abstract: Multipoint vertex functions, and the four-point vertex in particular, are crucial ingredients in many-body theory. Recent years have seen significant algorithmic progress toward numerically computing their dependence on multiple frequency arguments. However, such computations remain challenging and are prone to suffer from numerical artifacts, especially in the real-frequency domain. Here, we derive estimators for multipoint vertices that are numerically more robust than those previously available. We show that the two central steps for extracting vertices from correlators, namely the subtraction of disconnected contributions and the amputation of external legs, can be achieved accurately through repeated application of equations of motion, in a manner that is symmetric with respect to all frequency arguments and involves only fully renormalized objects. The symmetric estimators express the core part of the vertex and all asymptotic contributions through separate expressions that can be computed independently, without subtracting the large-frequency limits of various terms with different asymptotic behaviors. Our strategy is general and applies equally to the Matsubara formalism, the real-frequency zero-temperature formalism, and the Keldysh formalism. We demonstrate the advantages of the symmetric improved estimators by computing the Keldysh four-point vertex of the single-impurity Anderson model using the numerical renormalization group.


title: Zigzag materials: selective interchain couplings control the coexistence of one-dimensional physics and deviations from it

abstract: The coexistence in the low-temperature spin-conducting phases of the zigzag materials BaCo2V2O8 and SrCo2V2O8 of one-dimensional (1D) physics with important deviations from it is not well understood. The studies of this paper account for an important selection rule that follows from interchain spin states being coupled more strongly within the spin dynamical structure factor of such zigzag materials whenever they are connected by a specific symmetry operation of the underlying lattice. In the case of excited states, this symmetry operation is only a symmetry in spin-space ifno electronic spin flip is performed within the generation of such states. Our results on both the role of selective interchain couplings in protecting the 1D physics and being behind deviations from it and on the dynamical properties being controlled by scattering of singlet pairs of physical spins 1/2 open the door to a key advance in the understanding of the physics of the spin chains in BaCo2V2O8 and SrCo2V2O8.


title: Non-Intrusive Adaptation: Input-Centric Parameter-efficient Fine-Tuning for Versatile Multimodal Modeling

abstract: Large language models (LLMs) and vision language models (VLMs) demonstrate excellent performance on a wide range of tasks by scaling up parameter counts from O(10^9) to O(10^{12}) levels and further beyond. These large scales make it impossible to adapt and deploy fully specialized models given a task of interest. Parameter-efficient fine-tuning (PEFT) emerges as a promising direction to tackle the adaptation and serving challenges for such large models. We categorize PEFT techniques into two types: intrusive and non-intrusive. Intrusive PEFT techniques directly change a model's internal architecture. Though more flexible, they introduce significant complexities for training and serving. Non-intrusive PEFT techniques leave the internal architecture unchanged and only adapt model-external parameters, such as embeddings for input. In this work, we describe AdaLink as a non-intrusive PEFT technique that achieves competitive performance compared to SoTA intrusive PEFT (LoRA) and full model fine-tuning (FT) on various tasks. We evaluate using both text-only and multimodal tasks, with experiments that account for both parameter-count scaling and training regime (with and without instruction tuning).


title: Design and testing of an affordable desktop wind tunnel

abstract: Wind tunnels are a key source of data collection, but their cost and size can be a significant obstacle to their acquisition and usage, especially for applications such as instrument calibration, instruction, or in-class demonstrations. Here we propose a design for a cost-effective, desktop wind tunnel. This design takes advantage of readily available, inexpensive materials. Special consideration was taken to allow the wind tunnel to be serviceable, as well as giving the operator the ability to change key features without a complete redesign. There are three main sections, the first being a fan enclosure, which holds seven ducted fans in a hexagonal array. The second section holds honeycomb flow straighteners, and provides an enclosed volume suitable for larger, lower-speed experiments. The third section is a contraction, terminating in a 2in x 2in, higher-speed square section. The wind tunnel has a footprint of approximately 13.5in x 5.5in, making it small enough to be portable and to fit on a desk. An off-the-shelf masked stereolithography apparatus (MSLA) 3D printer was used to prepare the parts. This allows the wind tunnel to be built for under \$500; even including the cost of a 3D printer, the overall cost remains under \$1,000. This design is able to produce flow at up to 44.1 m/s, enabling a variety of aerodynamic demonstrations.


title: Direct quarkonium-plus-gluon production in DIS in the Color Glass Condensate

abstract: We compute the differential cross-section for direct quarkonium production accompanied by a gluon in high-energy deep inelastic scattering (DIS) at small-$x$. We employ the Non-Relativistic QCD factorization framework, focusing on the $S$-wave contribution to the formation of the quarkonium, and including both color singlet and octet contributions. Our short distance coefficients for the production of the heavy quark pair are obtained within the Color Glass Condensate effective field theory. Our results pave the way towards the next-to-leading order computation of direct quarkonium in DIS, as well as the study of azimuthal correlations of direct quarkonium and jet.


title: Quality Diversity through Human Feedback: Towards Open-Ended Diversity-Driven Optimization

abstract: Reinforcement Learning from Human Feedback (RLHF) has shown potential in qualitative tasks where easily defined performance measures are lacking. However, there are drawbacks when RLHF is commonly used to optimize for average human preferences, especially in generative tasks that demand diverse model responses. Meanwhile, Quality Diversity (QD) algorithms excel at identifying diverse and high-quality solutions but often rely on manually crafted diversity metrics. This paper introduces Quality Diversity through Human Feedback (QDHF), a novel approach that progressively infers diversity metrics from human judgments of similarity among solutions, thereby enhancing the applicability and effectiveness of QD algorithms in complex and open-ended domains. Empirical studies show that QDHF significantly outperforms state-of-the-art methods in automatic diversity discovery and matches the efficacy of QD with manually crafted diversity metrics on standard benchmarks in robotics and reinforcement learning. Notably, in open-ended generative tasks, QDHF substantially enhances the diversity of text-to-image generation from a diffusion model and is more favorably received in user studies. We conclude by analyzing QDHF's scalability, robustness, and quality of derived diversity metrics, emphasizing its strength in open-ended optimization tasks. Code and tutorials are available at https://liding.info/qdhf.


title: Classical-Nonclassical Polarity of Gaussian States

abstract: Gaussian states with nonclassical properties such as squeezing and entanglement serve as crucial resources for quantum information processing. Accurately quantifying these properties within multi-mode Gaussian states has posed some challenges. To address this, we introduce a unified quantification: the 'classical-nonclassical polarity', represented by $\mathcal{P}$. For a single mode, a positive value of $\mathcal{P}$ captures the reduced minimum quadrature uncertainty below the vacuum noise, while a negative value represents an enlarged uncertainty due to classical mixtures. For multi-mode systems, a positive $\mathcal{P}$ indicates bipartite quantum entanglement. We show that the sum of the total classical-nonclassical polarity is conserved under arbitrary linear optical transformations for any two-mode and three-mode Gaussian states. For any pure multi-mode Gaussian state, the total classical-nonclassical polarity equals the sum of the mean photon number from single-mode squeezing and two-mode squeezing. Our results provide a new perspective on the quantitative relation between single-mode nonclassicality and entanglement, which may find applications in a unified resource theory of nonclassical features.


title: A stratification of the equivariant slice filtration

abstract: In this paper, we construct a stratification tower for the equivariant slice filtration. This tower stratifies the slice spectral sequence of a $G$-spectrum $X$ into distinct regions. Within each of these regions, the differentials are determined by the localized slice spectral sequences, which compute the geometric fixed points along with their associated residue group actions. Consequently, the stratification tower offers an inductive method of understanding the entirety of the equivariant slice spectral sequence of $X$ by examining each of its distinct stratification regions.


title: Advances in compilation for quantum hardware -- A demonstration of magic state distillation and repeat-until-success protocols

abstract: Fault-tolerant protocols enable large and precise quantum algorithms. Many such protocols rely on a feed-forward processing of data, enabled by a hybrid of quantum and classical logic. Representing the control structure of such programs can be a challenge. Here we explore two such fault-tolerant subroutines and analyze the performance of the subroutines using Quantum Intermediate Representation (QIR) as their underlying intermediate representation. First, we look at QIR's ability to leverage the LLVM compiler toolchain to unroll the quantum iteration logic required to perform magic state distillation on the $[[5,1,3]]$ quantum error-correcting code as originally introduced by Bravyi and Kitaev [Phys. Rev. A 71, 022316 (2005)]. This allows us to not only realize the first implementation of a real-time magic state distillation protocol on quantum hardware, but also demonstrate QIR's ability to optimize complex program structures without degrading machine performance. Next, we investigate a different fault-tolerant protocol that was first introduced by Paetznick and Svore [arXiv:1311.1074 (2013)], that reduces the amount of non-Clifford gates needed for a particular algorithm. We look at four different implementations of this two-stage repeat-until-success algorithm to analyze the performance changes as the results of programming choices. We find the QIR offers a viable representation for a compiled high-level program that performs nearly as well as a hand-optimized version written directly in quantum assembly. Both of these results demonstrate QIR's ability to accurately and efficiently expand the complexity of fault-tolerant protocols that can be realized today on quantum hardware.


title: An Online Learning Theory of Brokerage

abstract: We investigate brokerage between traders from an online learning perspective. At any round $t$, two traders arrive with their private valuations, and the broker proposes a trading price. Unlike other bilateral trade problems already studied in the online learning literature, we focus on the case where there are no designated buyer and seller roles: each trader will attempt to either buy or sell depending on the current price of the good. We assume the agents' valuations are drawn i.i.d. from a fixed but unknown distribution. If the distribution admits a density bounded by some constant $M$, then, for any time horizon $T$: $\bullet$ If the agents' valuations are revealed after each interaction, we provide an algorithm achieving regret $M \log T$ and show this rate is optimal, up to constant factors. $\bullet$ If only their willingness to sell or buy at the proposed price is revealed after each interaction, we provide an algorithm achieving regret $\sqrt{M T}$ and show this rate is optimal, up to constant factors. Finally, if we drop the bounded density assumption, we show that the optimal rate degrades to $\sqrt{T}$ in the first case, and the problem becomes unlearnable in the second.


title: New Black Hole Spin Values for Sagittarius A* Obtained with the Outflow Method

abstract: Six archival Chandra observations are matched with eight sets of radio data and studied in the context of the outflow method to measure and study the spin properties of $\rm{Sgr ~A^*}$. Three radio and X-ray data sets obtained simultaneously, or partially simultaneously, are identified as preferred for the purpose of measuring the spin properties of $\rm{Sgr ~A^*}$. Similar results are obtained with other data sets. Results obtained with the preferred data sets are combined and indicate a weighted mean value of the spin function of $\rm{F} = 0.62 \pm 0.10$ and dimensionless spin angular momentum of $\rm{a_*} = 0.90 \pm 0.06$. The spin function translates into measurements of the black hole rotational mass, $\rm{M_{rot}}$, irreducible mass, $\rm{M_{irr}}$, and spin mass-energy available for extraction, $\rm{M_{spin}}$, relative to the total black hole dynamical mass, $\rm{M_{dyn}}$. Weighted mean values of $\rm{(M_{rot}/M_{dyn}) = (0.53 \pm 0.06)}$, $\rm{({M_{irr}/M_{dyn})} = (0.85 \pm 0.04)}$, $\rm{({M_{spin}/M_{dyn})} = (0.15 \pm 0.04)}$, $\rm{{M_{rot}} = (2.2 \pm 0.3) \times 10^6 ~M_{\odot}}$, $\rm{{M_{irr}} = (3.5 \pm 0.2) \times 10^6 ~M_{\odot}}$, and $\rm{{M_{spin}} = (6.2 \pm 1.6) \times 10^5 ~M_{\odot}}$ are obtained; of course $\rm{{(M_{rot}/M_{irr})} = (0.62 \pm 0.10)}$ since $\rm{{(M_{rot}/M_{irr})} = F}$. Values obtained for $\rm{Sgr ~A^*}$ are compared with those obtained for M87 based on the published spin function which indicate that M87 carries substantially more rotational energy and spin mass-energy relative to the total (i.e., dynamical) black hole mass, the irreducible black hole mass, and in absolute terms.


title: Monarch Mixer: A Simple Sub-Quadratic GEMM-Based Architecture

abstract: Machine learning models are increasingly being scaled in both sequence length and model dimension to reach longer contexts and better performance. However, existing architectures such as Transformers scale quadratically along both these axes. We ask: are there performant architectures that can scale sub-quadratically along sequence length and model dimension? We introduce Monarch Mixer (M2), a new architecture that uses the same sub-quadratic primitive along both sequence length and model dimension: Monarch matrices, a simple class of expressive structured matrices that captures many linear transforms, achieves high hardware efficiency on GPUs, and scales sub-quadratically. As a proof of concept, we explore the performance of M2 in three domains: non-causal BERT-style language modeling, ViT-style image classification, and causal GPT-style language modeling. For non-causal BERT-style modeling, M2 matches BERT-base and BERT-large in downstream GLUE quality with up to 27% fewer parameters, and achieves up to 9.1$\times$ higher throughput at sequence length 4K. On ImageNet, M2 outperforms ViT-b by 1% in accuracy, with only half the parameters. Causal GPT-style models introduce a technical challenge: enforcing causality via masking introduces a quadratic bottleneck. To alleviate this bottleneck, we develop a novel theoretical view of Monarch matrices based on multivariate polynomial evaluation and interpolation, which lets us parameterize M2 to be causal while remaining sub-quadratic. Using this parameterization, M2 matches GPT-style Transformers at 360M parameters in pretraining perplexity on The PILE--showing for the first time that it may be possible to match Transformer quality without attention or MLPs.


title: Simulating 2D lattice gauge theories on a qudit quantum computer

abstract: Particle physics underpins our understanding of the world at a fundamental level by describing the interplay of matter and forces through gauge theories. Yet, despite their unmatched success, the intrinsic quantum mechanical nature of gauge theories makes important problem classes notoriously difficult to address with classical computational techniques. A promising way to overcome these roadblocks is offered by quantum computers, which are based on the same laws that make the classical computations so difficult. Here, we present a quantum computation of the properties of the basic building block of two-dimensional lattice quantum electrodynamics, involving both gauge fields and matter. This computation is made possible by the use of a trapped-ion qudit quantum processor, where quantum information is encoded in $d$ different states per ion, rather than in two states as in qubits. Qudits are ideally suited for describing gauge fields, which are naturally high-dimensional, leading to a dramatic reduction in the quantum register size and circuit complexity. Using a variational quantum eigensolver, we find the ground state of the model and observe the interplay between virtual pair creation and quantized magnetic field effects. The qudit approach further allows us to seamlessly observe the effect of different gauge field truncations by controlling the qudit dimension. Our results open the door for hardware-efficient quantum simulations with qudits in near-term quantum devices.


title: DASA: Difficulty-Aware Semantic Augmentation for Speaker Verification

abstract: Data augmentation is vital to the generalization ability and robustness of deep neural networks (DNNs) models. Existing augmentation methods for speaker verification manipulate the raw signal, which are time-consuming and the augmented samples lack diversity. In this paper, we present a novel difficulty-aware semantic augmentation (DASA) approach for speaker verification, which can generate diversified training samples in speaker embedding space with negligible extra computing cost. Firstly, we augment training samples by perturbing speaker embeddings along semantic directions, which are obtained from speaker-wise covariance matrices. Secondly, accurate covariance matrices are estimated from robust speaker embeddings during training, so we introduce difficultyaware additive margin softmax (DAAM-Softmax) to obtain optimal speaker embeddings. Finally, we assume the number of augmented samples goes to infinity and derive a closed-form upper bound of the expected loss with DASA, which achieves compatibility and efficiency. Extensive experiments demonstrate the proposed approach can achieve a remarkable performance improvement. The best result achieves a 14.6% relative reduction in EER metric on CN-Celeb evaluation set.


title: A Cautionary Tale: On the Role of Reference Data in Empirical Privacy Defenses

abstract: Within the realm of privacy-preserving machine learning, empirical privacy defenses have been proposed as a solution to achieve satisfactory levels of training data privacy without a significant drop in model utility. Most existing defenses against membership inference attacks assume access to reference data, defined as an additional dataset coming from the same (or a similar) underlying distribution as training data. Despite the common use of reference data, previous works are notably reticent about defining and evaluating reference data privacy. As gains in model utility and/or training data privacy may come at the expense of reference data privacy, it is essential that all three aspects are duly considered. In this paper, we first examine the availability of reference data and its privacy treatment in previous works and demonstrate its necessity for fairly comparing defenses. Second, we propose a baseline defense that enables the utility-privacy tradeoff with respect to both training and reference data to be easily understood. Our method is formulated as an empirical risk minimization with a constraint on the generalization error, which, in practice, can be evaluated as a weighted empirical risk minimization (WERM) over the training and reference datasets. Although we conceived of WERM as a simple baseline, our experiments show that, surprisingly, it outperforms the most well-studied and current state-of-the-art empirical privacy defenses using reference data for nearly all relative privacy levels of reference and training data. Our investigation also reveals that these existing methods are unable to effectively trade off reference data privacy for model utility and/or training data privacy. Overall, our work highlights the need for a proper evaluation of the triad model utility / training data privacy / reference data privacy when comparing privacy defenses.


title: CAPGrasp: An $\mathbb{R}^3\times \text{SO(2)-equivariant}$ Continuous Approach-Constrained Generative Grasp Sampler

abstract: We propose CAPGrasp, an $\mathbb{R}^3\times \text{SO(2)-equivariant}$ 6-DoF continuous approach-constrained generative grasp sampler. It includes a novel learning strategy for training CAPGrasp that eliminates the need to curate massive conditionally labeled datasets and a constrained grasp refinement technique that improves grasp poses while respecting the grasp approach directional constraints. The experimental results demonstrate that CAPGrasp is more than three times as sample efficient as unconstrained grasp samplers while achieving up to 38% grasp success rate improvement. CAPGrasp also achieves 4-10% higher grasp success rates than constrained but noncontinuous grasp samplers. Overall, CAPGrasp is a sample-efficient solution when grasps must originate from specific directions, such as grasping in confined spaces.


title: Dissipationless collapse and the dynamical mass-ellipticity relation of elliptical galaxies in Newtonian gravity and MOND

abstract: Context. Deur (2014) and Winters et al. (2023) proposed an empirical relation between the dark to total mass ratio and ellipticity in elliptical galaxies from their observed total dynamical mass-to-light ratio data M/L = (14.1 +/- 5.4){\epsilon}. In other words, the larger is the content of dark matter in the galaxy, the more the stellar component would be flattened. Such observational claim, if true, appears to be in stark contrast with the common intuition of the formation of galaxies inside dark halos with reasonably spherical symmetry. Aims. Comparing the processes of dissipationless galaxy formation in different theories of gravity, and emergence of the galaxy scaling relations therein is an important frame where, in principle one could discriminate them. Methods. By means of collisionless N-body simulations in modified Newtonian dynamics (MOND) and Newtonian gravity with and without active dark matter halos, with both spherical and clumpy initial structure, I study the trends of intrinsic and projected ellipticities, S\'ersic index and anisotropy with the total dynamical to stellar mass ratio. Results. It is shown that, the end products of both cold spherical collapses and mergers of smaller clumps depart more and more from the spherical symmetry for increasing values of the total dynamical mass to stellar mass, at least in a range of halo masses. The equivalent Newtonian systems of the end products of MOND collapses show a similar behaviour. The M/L relation obtained from the numerical experiments in both gravities is however rather different from that reported by Deur and coauthors.


title: MMD-based Variable Importance for Distributional Random Forest

abstract: Distributional Random Forest (DRF) is a flexible forest-based method to estimate the full conditional distribution of a multivariate output of interest given input variables. In this article, we introduce a variable importance algorithm for DRFs, based on the well-established drop and relearn principle and MMD distance. While traditional importance measures only detect variables with an influence on the output mean, our algorithm detects variables impacting the output distribution more generally. We show that the introduced importance measure is consistent, exhibits high empirical performance on both real and simulated data, and outperforms competitors. In particular, our algorithm is highly efficient to select variables through recursive feature elimination, and can therefore provide small sets of variables to build accurate estimates of conditional output distributions.


title: Distributed Indexing Schemes for k-Dominant Skyline Analytics on Uncertain Edge-IoT Data

abstract: Skyline queries typically search a Pareto-optimal set from a given data set to solve the corresponding multiobjective optimization problem. As the number of criteria increases, the skyline presumes excessive data items, which yield a meaningless result. To address this curse of dimensionality, we proposed a k-dominant skyline in which the number of skyline members was reduced by relaxing the restriction on the number of dimensions, considering the uncertainty of data. Specifically, each data item was associated with a probability of appearance, which represented the probability of becoming a member of the k-dominant skyline. As data items appear continuously in data streams, the corresponding k-dominant skyline may vary with time. Therefore, an effective and rapid mechanism of updating the k-dominant skyline becomes crucial. Herein, we proposed two time-efficient schemes, Middle Indexing (MI) and All Indexing (AI), for k-dominant skyline in distributed edge-computing environments, where irrelevant data items can be effectively excluded from the compute to reduce the processing duration. Furthermore, the proposed schemes were validated with extensive experimental simulations. The experimental results demonstrated that the proposed MI and AI schemes reduced the computation time by approximately 13% and 56%, respectively, compared with the existing method.


title: Effects of intra-layer correlations on electron-hole double-layer superfluidity

abstract: We investigate the correlations acting within the layers in a superfluid system of electron-hole spatially separated layers. In this system of quasi-dipoles, the dominant correlations are Hartree--Fock. We find in the BEC regime of the superfluid where screening is negligible, that the effect of the correlations on superfluid properties is also negligible. However, in the BCS-BEC crossover regime, where the screening plays a crucial role, we find that the superfluid gap is significantly weakened because the correlations significantly boost the number of low-energy particle-hole excitations participating in the screening process. Finally, the intralayer correlations are found in this system to suppress a predicted phenomenon in which the average pair size passes through a minimum as the crossover regime is traversed. In the presence of intralayer correlations, the minimum is either extremely weak or completely absent.


title: Harnessing Dataset Cartography for Improved Compositional Generalization in Transformers

abstract: Neural networks have revolutionized language modeling and excelled in various downstream tasks. However, the extent to which these models achieve compositional generalization comparable to human cognitive abilities remains a topic of debate. While existing approaches in the field have mainly focused on novel architectures and alternative learning paradigms, we introduce a pioneering method harnessing the power of dataset cartography (Swayamdipta et al., 2020). By strategically identifying a subset of compositional generalization data using this approach, we achieve a remarkable improvement in model accuracy, yielding enhancements of up to 10% on CFQ and COGS datasets. Notably, our technique incorporates dataset cartography as a curriculum learning criterion, eliminating the need for hyperparameter tuning while consistently achieving superior performance. Our findings highlight the untapped potential of dataset cartography in unleashing the full capabilities of compositional generalization within Transformer models. Our code is available at https://github.com/cyberiada/cartography-for-compositionality.


title: Anti-concentration of Suprema of Gaussian Processes and Gaussian Order Statistics

abstract: We derive, up to a constant factor, matching lower and upper bounds on the concentration functions of suprema of separable centered Gaussian processes and order statistics of Gaussian random fields. These bounds reveal that suprema of separable centered Gaussian processes $\{X_u : u \in U\}$ exhibit the same anti-concentration properties as a single Gaussian random variable with mean zero and variance $\mathrm{Var}(\sup_{u \in U} X_u)$. To apply these results to high-dimensional statistical problems, it is therefore essential to understand the asymptotic behavior of $\mathrm{Var}(\sup_{u \in U} X_u)$ as the dimension or metric entropy of the index set $U$ increases. Consequently, we also derive lower and upper bounds on this quantity.


title: Observation of helimagnetism in the candidate ferroelectric CrI$_2$

abstract: CrI$_{2}$ is a quasi-one dimensional (1D) van der Waals (vdW) system that exhibits helimagnetism that propagates along the ribbons. This was determined from neutron time-of-flight diffraction measurements. Below $T_N=17$ K, a screw-like helimagnetic order develops with an incommensurate wavevector of $\mathbf{q} \approx (0.2492,0,0)$ at 8 K. Using density functional theory (DFT)$+U$ calculations, the $J_{1}$-$J_{2}$ model was leveraged to describe the helimagnetism, where $J_{1} (> 0)$ and $J_2 (< 0)$ correspond, respectively, to a ferromagnetic nearest neighbor (NN) and antiferromagnetic next-nearest neighbor (NNN) intrachain interaction. The DFT$+U$ calculations predict that bulk CrI$_2$ in the orthorhombic $Cmc2_1$ crystal structure satisfies the $|J_2| > |J_1|/4$ condition, which favors formation of helimagnetic order.


title: Automatic prediction of mortality in patients with mental illness using electronic health records

abstract: Mental disorders impact the lives of millions of people globally, not only impeding their day-to-day lives but also markedly reducing life expectancy. This paper addresses the persistent challenge of predicting mortality in patients with mental diagnoses using predictive machine-learning models with electronic health records (EHR). Data from patients with mental disease diagnoses were extracted from the well-known clinical MIMIC-III data set utilizing demographic, prescription, and procedural information. Four machine learning algorithms (Logistic Regression, Random Forest, Support Vector Machine, and K-Nearest Neighbors) were used, with results indicating that Random Forest and Support Vector Machine models outperformed others, with AUC scores of 0.911. Feature importance analysis revealed that drug prescriptions, particularly Morphine Sulfate, play a pivotal role in prediction. We applied a variety of machine learning algorithms to predict 30-day mortality followed by feature importance analysis. This study can be used to assist hospital workers in identifying at-risk patients to reduce excess mortality.


title: The Circular Atwood Machine

abstract: The Atwood Machine, a classic apparatus in physics education, has historically been pivotal in demonstrating Newtonian mechanics, specifically Newton's Second Law. This study introduces an innovative adaptation, the circular Atwood machine, aimed at exploring circular motion and angular dynamics and integrating emerging technologies, specifically smartphone sensors. Through a rotating disc subjected to controlled external torque, the experiment delves into the relationship between the torque applied and the resulting angular momentum. The study not only presents the theoretical framework but also outlines a practical setup using readily available materials, emphasizing the potential for contemporary technology to enhance the comprehension and teaching of fundamental physical concepts.


title: Semi-uniform stabilization of anisotropic Maxwell's equations via boundary feedback on split boundary

abstract: We regard anisotropic Maxwell's equations as a boundary control and observation system on a bounded Lipschitz domain. The boundary is split into two parts: one part with perfect conductor boundary conditions and the other where the control and observation takes place. We apply a feedback control law that stabilizes the system in a semi-uniform manner without any further geometric assumption on the domain. This will be achieved by separating the equilibriums from the system and show that the remaining system is described by an operator with compact resolvent. Furthermore, we will apply a unique continuation principle on the resolvent equation to show that there are no eigenvalues on the imaginary axis.


title: Time-energy uncertainty relation for neutrino oscillations: historical development, applications and future prospects

abstract: Time-energy uncertainty relation (TEUR) plays a fundamental role in quantum mechanics, as it allows to grasp peculiar aspects of a variety of phenomena based on very general principles and symmetries of the theory. Using the Mandelstam-Tamm method, TEUR has been recently derived for neutrino oscillations by connecting the uncertainty on neutrino energy with the characteristic time-scale of oscillations. Interestingly enough, the suggestive interpretation of neutrinos as unstable-like particles has proved to naturally emerge in this context. Further aspects have been later discussed in semiclassical gravity by computing corrections to the neutrino energy uncertainty in a generic stationary curved spacetime, and in quantum field theory, where the clock observable turns out to be identified with the non-conserved flavor charge operator. In the present work, we give an overview on the above achievements. In particular, we analyze the implications of TEUR and explore the impact of gravitational and non-relativistic effects on the standard condition for neutrino oscillations.


title: Comprehensive High-resolution Chemical Spectroscopy of Barnard's Star with SPIRou

abstract: Determination of fundamental parameters of stars impacts all fields of astrophysics, from galaxy evolution to constraining the internal structure of exoplanets. This paper presents a detailed spectroscopic analysis of Barnard's star that compares an exceptionally high-quality (an average signal-to-noise ratio of $\sim$1000 in the entire domain), high-resolution NIR spectrum taken with CFHT/SPIRou to PHOENIX-ACES stellar atmosphere models. The observed spectrum shows thousands of lines not identified in the models with a similar large number of lines present in the model but not in the observed data. We also identify several other caveats such as continuum mismatch, unresolved contamination and spectral lines significantly shifted from their expected wavelengths, all of these can be a source of bias for abundance determination. Out of $>10^4$ observed lines in the NIR that could be used for chemical spectroscopy, we identify a short list of a few hundred lines that are reliable. We present a novel method for determining the effective temperature and overall metallicity of slowly-rotating M dwarfs that uses several groups of lines as opposed to bulk spectral fitting methods. With this method, we infer $T_{eff}$ = 3231 $\pm$ 21 K for Barnard's star, consistent with the value of 3238 $\pm$ 11 K inferred from the interferometric method. We also provide abundance measurements of 15 different elements for Barnard's star, including the abundances of four elements (K, O, Y, Th) never reported before for this star. This work emphasizes the need to improve current atmosphere models to fully exploit the NIR domain for chemical spectroscopy analysis.


title: SHARCS: Efficient Transformers through Routing with Dynamic Width Sub-networks

abstract: We introduce SHARCS for adaptive inference that takes into account the hardness of input samples. SHARCS can train a router on any transformer network, enabling the model to direct different samples to sub-networks with varying widths. Our experiments demonstrate that: (1) SHARCS outperforms or complements existing per-sample adaptive inference methods across various classification tasks in terms of accuracy vs. FLOPs; (2) SHARCS generalizes across different architectures and can be even applied to compressed and efficient transformer encoders to further improve their efficiency; (3) SHARCS can provide a 2 times inference speed up at an insignificant drop in accuracy.


title: A Tale of Pronouns: Interpretability Informs Gender Bias Mitigation for Fairer Instruction-Tuned Machine Translation

abstract: Recent instruction fine-tuned models can solve multiple NLP tasks when prompted to do so, with machine translation (MT) being a prominent use case. However, current research often focuses on standard performance benchmarks, leaving compelling fairness and ethical considerations behind. In MT, this might lead to misgendered translations, resulting, among other harms, in the perpetuation of stereotypes and prejudices. In this work, we address this gap by investigating whether and to what extent such models exhibit gender bias in machine translation and how we can mitigate it. Concretely, we compute established gender bias metrics on the WinoMT corpus from English to German and Spanish. We discover that IFT models default to male-inflected translations, even disregarding female occupational stereotypes. Next, using interpretability methods, we unveil that models systematically overlook the pronoun indicating the gender of a target occupation in misgendered translations. Finally, based on this finding, we propose an easy-to-implement and effective bias mitigation solution based on few-shot learning that leads to significantly fairer translations.


title: DiagrammerGPT: Generating Open-Domain, Open-Platform Diagrams via LLM Planning

abstract: Text-to-image (T2I) generation has seen significant growth over the past few years. Despite this, there has been little work on generating diagrams with T2I models. A diagram is a symbolic/schematic representation that explains information using structurally rich and spatially complex visualizations (e.g., a dense combination of related objects, text labels, directional arrows, connection lines, etc.). Existing state-of-the-art T2I models often fail at diagram generation because they lack fine-grained object layout control when many objects are densely connected via complex relations such as arrows/lines and also often fail to render comprehensible text labels. To address this gap, we present DiagrammerGPT, a novel two-stage text-to-diagram generation framework that leverages the layout guidance capabilities of LLMs (e.g., GPT-4) to generate more accurate open-domain, open-platform diagrams. In the first stage, we use LLMs to generate and iteratively refine 'diagram plans' (in a planner-auditor feedback loop) which describe all the entities (objects and text labels), their relationships (arrows or lines), and their bounding box layouts. In the second stage, we use a diagram generator, DiagramGLIGEN, and a text label rendering module to generate diagrams following the diagram plans. To benchmark the text-to-diagram generation task, we introduce AI2D-Caption, a densely annotated diagram dataset built on top of the AI2D dataset. We show quantitatively and qualitatively that our DiagrammerGPT framework produces more accurate diagrams, outperforming existing T2I models. We also provide comprehensive analysis including open-domain diagram generation, vector graphic diagram generation in different platforms, human-in-the-loop diagram plan editing, and multimodal planner/auditor LLMs (e.g., GPT-4Vision). We hope our work can inspire further research on diagram generation via T2I models and LLMs.


title: Chiral spin textures creation and dynamics in a rectangular nanostructure

abstract: Controlled creation of stable chiral spin textures is required to use them as an energy-efficient information carrier in spintronics. Here we have studied the stable creation of isolated chiral spin texture (skyrmion and antiskyrmion) and its pair through the magnetization reversal of a rectangular nanostructure using spin-polarized currents. An isolated spin texture is created through a negative current pulse. Dynamics of the stable spin texture are explored under external magnetic fields, and the resonant frequencies are calculated. A stable skyrmion pair is created using an asymmetric current pulse, and their interaction is studied using the Thiele equation. The stability of isolated or paired spin texture depends on the DMI strength, spin-polarized current density, and pulse duration. In addition, the stability of the skyrmion pair depends on their initial separation, and a threshold for the separation between skyrmions of 78 nm is observed.


title: Moduli Space Tilings and Lie-Theoretic Color Factors

abstract: A detailed understanding of the moduli spaces $X(k,n)$ of $n$ points in projective $k-1$ space is essential to the investigation of generalized biadjoint scalar amplitudes, as discovered by Cachazo, Early, Guevara and Mizera (CEGM) in 2019. But in math, conventional wisdom says that it is completely hopeless due to the arbitrarily high complexity of realization spaces of oriented matroids. In this paper, we nonetheless find a path forward. We present a Lie-theoretic realization of color factors for color-dressed generalized biadjoint scalar amplitudes, formulated in terms of certain tilings of the real moduli space $X(k,n)$ and collections of logarithmic differential forms, resolving an important open question from recent work by Cachazo, Early and Zhang. The main idea is to replace the realization space decomposition of $X(k,n)$ with a large class of overlapping tilings whose topologies are individually relatively simple. So we obtain a collection of color-dressed amplitudes, each of which satisfies $U(1)$ decoupling separately. The essential complexity appears when they are all superposed.


title: Automated Attribute Extraction from Legal Proceedings

abstract: The escalating number of pending cases is a growing concern world-wide. Recent advancements in digitization have opened up possibilities for leveraging artificial intelligence (AI) tools in the processing of legal documents. Adopting a structured representation for legal documents, as opposed to a mere bag-of-words flat text representation, can significantly enhance processing capabilities. With the aim of achieving this objective, we put forward a set of diverse attributes for criminal case proceedings. We use a state-of-the-art sequence labeling framework to automatically extract attributes from the legal documents. Moreover, we demonstrate the efficacy of the extracted attributes in a downstream task, namely legal judgment prediction.


title: The Effects of Computational Resources on Flaky Tests

abstract: Flaky tests are tests that nondeterministically pass and fail in unchanged code. These tests can be detrimental to developers' productivity. Particularly when tests run in continuous integration environments, the tests may be competing for access to limited computational resources (CPUs, memory etc.), and we hypothesize that resource (in)availability may be a significant factor in the failure rate of flaky tests. We present the first assessment of the impact that computational resources have on flaky tests, including a total of 52 projects written in Java, JavaScript and Python, and 27 different resource configurations. Using a rigorous statistical methodology, we determine which tests are RAFT (Resource-Affected Flaky Tests). We find that 46.5% of the flaky tests in our dataset are RAFT, indicating that a substantial proportion of flaky-test failures can be avoided by adjusting the resources available when running tests. We report RAFTs and configurations to avoid them to developers, and received interest to either fix the RAFTs or to improve the specifications of the projects so that tests would be run only in configurations that are unlikely to encounter RAFT failures. Our results also have implications for researchers attempting to detect flaky tests, e.g., reducing the resources available when running tests is a cost-effective approach to detect more flaky failures.


title: A comprehensible analysis of the efficacy of Ensemble Models for Bug Prediction

abstract: The correctness of software systems is vital for their effective operation. It makes discovering and fixing software bugs an important development task. The increasing use of Artificial Intelligence (AI) techniques in Software Engineering led to the development of a number of techniques that can assist software developers in identifying potential bugs in code. In this paper, we present a comprehensible comparison and analysis of the efficacy of two AI-based approaches, namely single AI models and ensemble AI models, for predicting the probability of a Java class being buggy. We used two open-source Apache Commons Project's Java components for training and evaluating the models. Our experimental findings indicate that the ensemble of AI models can outperform the results of applying individual AI models. We also offer insight into the factors that contribute to the enhanced performance of the ensemble AI model. The presented results demonstrate the potential of using ensemble AI models to enhance bug prediction results, which could ultimately result in more reliable software systems.


title: Are Switchback boundaries observed by Parker Solar Probe closed?

abstract: Switchbacks are sudden and large deflections in the magnetic field that Parker Solar Probe frequently observes in the inner heliosphere. Their ubiquitous occurrence has prompted numerous studies to determine their nature and origin. Our goal is to describe the boundary of these switchbacks using a series of events detected during the spacecraft's first encounter with the Sun. Using FIELDS and SWEAP data, we investigate different methods for determining the boundary normal. The observed boundaries are arc-polarized structures with a rotation that is always contained in a plane. Classical minimum variance analysis (MVA) gives misleading results and overestimates the number of rotational discontinuities. We propose a robust geometric method to identify the nature of these discontinuities, which involves determining whether or not the plane that contains them also includes the origin ($\textbf{B}=0$). Most boundaries appear to have the same characteristics as tangential discontinuities in the context of switchbacks, with little evidence for having rotational discontinuities. We find no effect of the size of the Parker spiral deviation. Furthermore, the thickness of the boundary is within MHD scales. We conclude that most of the switchback boundaries observed by Parker Solar Probe are likely to be closed, in contrast to previous studies. Our results suggest that their erosion may be much slower than expected.

categories: astro-ph.SR astro-ph.EP physics.plasm-ph physics.space-ph


title: Pseudointelligence: A Unifying Framework for Language Model Evaluation

abstract: With large language models surpassing human performance on an increasing number of benchmarks, we must take a principled approach for targeted evaluation of model capabilities. Inspired by pseudorandomness, we propose pseudointelligence, which captures the maxim that "(perceived) intelligence lies in the eye of the beholder". That is, that claims of intelligence are meaningful only when their evaluator is taken into account. Concretely, we propose a complexity-theoretic framework of model evaluation cast as a dynamic interaction between a model and a learned evaluator. We demonstrate that this framework can be used to reason about two case studies in language model evaluation, as well as analyze existing evaluation methods.


title: Recurrence analysis of uniform binary substitutions

abstract: Recurrence rate, determinism, average line length, and entropy of line lengths are measures of complexity in recurrence quantification analysis, that help to understand the structure, predictability and complexity of dynamical systems. In this paper, we provide explicit formulas for these characteristics for all binary substitutions of constant length. Moreover, we show that the determinism of such substitutions converges to one, which shows that these systems are highly predictable.


title: A little more about bipartite biregular cages, block designs, and generalized polygons

abstract: In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$. For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and sub-polygons in generalized polygons to obtain $(m,n;2r)$-bipartite biregular graphs. We emphasize that, as we improve the lower bounds on the order of these graphs, we also prove that some of them are $(m,n;2r)$-bipartite biregular cages. In particular, we construct relatively small bipartite biregular graphs from a special class of generalized quadrangles and hexagons. In a special case, we show that the graph obtained is actually a $(3,4;8)$-bipartite biregular cage on $56$ vertices.


title: The NANOGrav 15-year data set: Search for Transverse Polarization Modes in the Gravitational-Wave Background

abstract: Recently we found compelling evidence for a gravitational wave background with Hellings and Downs (HD) correlations in our 15-year data set. These correlations describe gravitational waves as predicted by general relativity, which has two transverse polarization modes. However, more general metric theories of gravity can have additional polarization modes which produce different interpulsar correlations. In this work we search the NANOGrav 15-year data set for evidence of a gravitational wave background with quadrupolar Hellings and Downs (HD) and Scalar Transverse (ST) correlations. We find that HD correlations are the best fit to the data, and no significant evidence in favor of ST correlations. While Bayes factors show strong evidence for a correlated signal, the data does not strongly prefer either correlation signature, with Bayes factors $\sim 2$ when comparing HD to ST correlations, and $\sim 1$ for HD plus ST correlations to HD correlations alone. However, when modeled alongside HD correlations, the amplitude and spectral index posteriors for ST correlations are uninformative, with the HD process accounting for the vast majority of the total signal. Using the optimal statistic, a frequentist technique that focuses on the pulsar-pair cross-correlations, we find median signal-to-noise-ratios of 5.0 for HD and 4.6 for ST correlations when fit for separately, and median signal-to-noise-ratios of 3.5 for HD and 3.0 for ST correlations when fit for simultaneously. While the signal-to-noise-ratios for each of the correlations are comparable, the estimated amplitude and spectral index for HD are a significantly better fit to the total signal, in agreement with our Bayesian analysis.


title: Optimal and parameter-free gradient minimization methods for convex and nonconvex optimization

abstract: We propose novel optimal and parameter-free algorithms for computing an approximate solution with small (projected) gradient norm. Specifically, for computing an approximate solution such that the norm of its (projected) gradient does not exceed $\varepsilon$, we obtain the following results: a) for the convex case, the total number of gradient evaluations is bounded by $O(1)\sqrt{L\|x_0 - x^*\|/\varepsilon}$, where $L$ is the Lipschitz constant of the gradient and $x^*$ is any optimal solution; b) for the strongly convex case, the total number of gradient evaluations is bounded by $O(1)\sqrt{L/\mu}\log(\|\nabla f(x_0)\|/\epsilon)$, where $\mu$ is the strong convexity modulus; and c) for the nonconvex case, the total number of gradient evaluations is bounded by $O(1)\sqrt{Ll}(f(x_0) - f(x^*))/\varepsilon^2$, where $l$ is the lower curvature constant. Our complexity results match the lower complexity bounds of the convex and strongly cases, and achieve the above best-known complexity bound for the nonconvex case for the first time in the literature. Moreover, for all the convex, strongly convex, and nonconvex cases, we propose parameter-free algorithms that do not require the input of any problem parameters. To the best of our knowledge, there do not exist such parameter-free methods before especially for the strongly convex and nonconvex cases. Since most regularity conditions (e.g., strong convexity and lower curvature) are imposed over a global scope, the corresponding problem parameters are notoriously difficult to estimate. However, gradient norm minimization equips us with a convenient tool to monitor the progress of algorithms and thus the ability to estimate such parameters in-situ.


title: Online Estimation with Rolling Validation: Adaptive Nonparametric Estimation with Streaming Data

abstract: Online nonparametric estimators are gaining popularity due to their efficient computation and competitive generalization abilities. An important example includes variants of stochastic gradient descent. These algorithms often take one sample point at a time and instantly update the parameter estimate of interest. In this work we consider model selection and hyperparameter tuning for such online algorithms. We propose a weighted rolling-validation procedure, an online variant of leave-one-out cross-validation, that costs minimal extra computation for many typical stochastic gradient descent estimators. Similar to batch cross-validation, it can boost base estimators to achieve a better, adaptive convergence rate. Our theoretical analysis is straightforward, relying mainly on some general statistical stability assumptions. The simulation study underscores the significance of diverging weights in rolling validation in practice and demonstrates its sensitivity even when there is only a slim difference between candidate estimators.