title: Metrics of Positive Ricci Curvature on Simply-Connected Manifolds of Dimension $6k$

abstract: A consequence of the surgery theorem of Gromov and Lawson is that every closed, simply-connected 6-manifold admits a Riemannian metric of positive scalar curvature. For metrics of positive Ricci curvature it is widely open whether a similar result holds; there are no obstructions known for those manifolds to admit a metric of positive Ricci curvature, while the number of examples known is limited. In this article we introduce a new description of certain $6k$-dimensional manifolds via labeled bipartite graphs and use an earlier result of the author to construct metrics of positive Ricci curvature on these manifolds. In this way we obtain many new examples, both spin and non-spin, of $6k$-dimensional manifolds with a metric of positive Ricci curvature.


title: A positivity-preserving and conservative high-order flux reconstruction method for the polyatomic Boltzmann--BGK equation

abstract: In this work, we present a positivity-preserving high-order flux reconstruction method for the polyatomic Boltzmann--BGK equation augmented with a discrete velocity model that ensures the scheme is discretely conservative. Through modeling the internal degrees of freedom, the approach is further extended to polyatomic molecules and can encompass arbitrary constitutive laws. The approach is validated on a series of large-scale complex numerical experiments, ranging from shock-dominated flows computed on unstructured grids to direct numerical simulation of three-dimensional compressible turbulent flows, the latter of which is the first instance of such a flow computed by directly solving the Boltzmann equation. The results show the ability of the scheme to directly resolve shock structures without any ad hoc numerical shock capturing method and correctly approximate turbulent flow phenomena in a consistent manner with the hydrodynamic equations.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Benchtop magnetic shielding for benchmarking atomic magnetometers

abstract: Here, a benchtop hybrid magnetic shield containing four mumetal cylinders and nine internal flexible printed circuit boards is designed, constructed, tested, and operated. The shield is designed specifically as a test-bed for building and operating ultra-sensitive quantum magnetometers. The geometry and spacing of the mumetal cylinders are optimized to maximize shielding efficiency while maintaining Johnson noise $<15$ fT/$\sqrt{}$Hz. Experimental measurements at the shield's center show passive shielding efficiency of $\left(1.0\pm0.1\right){\times}10^6$ for a $0.2$ Hz oscillating field applied along the shield's axis. The nine flexible printed circuit boards generate three uniform fields, which all deviate from perfect uniformity by ${\leq}0.5$% along $50$% of the inner shield axis, and five linear field gradients and one second-order gradient, which all deviate by ${\leq}4$% from perfect linearity and curvature, respectively, over measured target regions. Together, the target field amplitudes are adjusted to minimize the remnant static field along $40$% of the inner shield axis, as mapped using an atomic magnetometer. In this region, the active null reduces the norm of the magnitudes of the three uniform fields and six gradients by factors of $19.5$ and $19.8$, respectively, thereby reducing the total static field from $1.68$ nT to $0.23$ nT.


title: The law of one price in quadratic hedging and mean-variance portfolio selection

abstract: The \emph{law of one price (LOP)} broadly asserts that identical financial flows should command the same price. We show that, when properly formulated, LOP is the minimal condition for a well-defined mean--variance portfolio allocation framework without degeneracy. Crucially, the paper identifies a new mechanism through which LOP can fail in a continuous-time $L^2(P)$ setting without frictions, namely `trading from just before a predictable stopping time', which surprisingly identifies LOP violations even for continuous price processes. Closing this loophole allows to give a version of the ``Fundamental Theorem of Asset Pricing'' appropriate in the quadratic context, establishing the equivalence of the economic concept of LOP with the probabilistic property of the existence of a local $\scr{E}$-martingale state price density. The latter provides unique prices for all square-integrable contingent claims in an extended market and subsequently plays an important role in mean-variance portfolio selection and quadratic hedging.


title: Private and Reliable Neural Network Inference

abstract: Reliable neural networks (NNs) provide important inference-time reliability guarantees such as fairness and robustness. Complementarily, privacy-preserving NN inference protects the privacy of client data. So far these two emerging areas have been largely disconnected, yet their combination will be increasingly important. In this work, we present the first system which enables privacy-preserving inference on reliable NNs. Our key idea is to design efficient fully homomorphic encryption (FHE) counterparts for the core algorithmic building blocks of randomized smoothing, a state-of-the-art technique for obtaining reliable models. The lack of required control flow in FHE makes this a demanding task, as na\"ive solutions lead to unacceptable runtime. We employ these building blocks to enable privacy-preserving NN inference with robustness and fairness guarantees in a system called Phoenix. Experimentally, we demonstrate that Phoenix achieves its goals without incurring prohibitive latencies. To our knowledge, this is the first work which bridges the areas of client data privacy and reliability guarantees for NNs.


title: ACES: Translation Accuracy Challenge Sets for Evaluating Machine Translation Metrics

abstract: As machine translation (MT) metrics improve their correlation with human judgement every year, it is crucial to understand the limitations of such metrics at the segment level. Specifically, it is important to investigate metric behaviour when facing accuracy errors in MT because these can have dangerous consequences in certain contexts (e.g., legal, medical). We curate ACES, a translation accuracy challenge set, consisting of 68 phenomena ranging from simple perturbations at the word/character level to more complex errors based on discourse and real-world knowledge. We use ACES to evaluate a wide range of MT metrics including the submissions to the WMT 2022 metrics shared task and perform several analyses leading to general recommendations for metric developers. We recommend: a) combining metrics with different strengths, b) developing metrics that give more weight to the source and less to surface-level overlap with the reference and c) explicitly modelling additional language-specific information beyond what is available via multilingual embeddings.


title: Cross-Domain Neural Entity Linking

abstract: Entity Linking is the task of matching a mention to an entity in a given knowledge base (KB). It contributes to annotating a massive amount of documents existing on the Web to harness new facts about their matched entities. However, existing Entity Linking systems focus on developing models that are typically domain-dependent and robust only to a particular knowledge base on which they have been trained. The performance is not as adequate when being evaluated on documents and knowledge bases from different domains. Approaches based on pre-trained language models, such as Wu et al. (2020), attempt to solve the problem using a zero-shot setup, illustrating some potential when evaluated on a general-domain KB. Nevertheless, the performance is not equivalent when evaluated on a domain-specific KB. To allow for more accurate Entity Linking across different domains, we propose our framework: Cross-Domain Neural Entity Linking (CDNEL). Our objective is to have a single system that enables simultaneous linking to both the general-domain KB and the domain-specific KB. CDNEL works by learning a joint representation space for these knowledge bases from different domains. It is evaluated using the external Entity Linking dataset (Zeshel) constructed by Logeswaran et al. (2019) and the Reddit dataset collected by Botzer et al. (2021), to compare our proposed method with the state-of-the-art results. The proposed framework uses different types of datasets for fine-tuning, resulting in different model variants of CDNEL. When evaluated on four domains included in the Zeshel dataset, these variants achieve an average precision gain of 9%.


title: Light nuclei production in pp and pA collisions in the Baryon Canonical Ensemble

abstract: The increase in yields of light nuclei with charged particle multiplicity, as reported by the ALICE collaboration at CERN in p-p and p-Pb collisions at the LHC energy is investigated in the thermal hadron resonance gas model. The model is extended to account for exact baryon number conservation. The focus is on the production of protons, deuterons, $^3$He, and $^3_\Lambda$H. A very good description of proton and deuteron yields is obtained as a function of charged particle multiplicity in the mid-rapidity region using the same fixed temperature as in central Pb-Pb collisions. The yields of light nuclei $^3$He and $^3_\Lambda$H though qualitatively explained as a function of multiplicity, are lower than the model expectation. One of the possible reasons could be that for $^{3}$He and $^{3}_{\Lambda}$H, the chemical equilibrium is not yet reached at small multiplicities.


title: Two $q$-operational equations and Hahn polynomials

abstract: Motivated by Liu's recent work in \cite{Liu2022}. We shall reveal the essential feature of Hahn polynomials by presenting two new $q$-exponential operators. These lead us to use a systematic method to study identities involving Hahn polynomials. As applications, we use the method of $q$-exponential operator to prove the bilinear generating function of Hahn polynomials and Heine's second transformation formula. Moreover, a generalization of $q$-Gaussian summation is given, too.


title: Large area photon calorimeter with Ir-Pt bilayer transition-edge sensor for the CUPID experiment

abstract: CUPID is a next-generation neutrinoless double-beta decay experiment that will require cryogenic light detectors to improve background suppression, via the simultaneous readout of heat and light channels from its scintillating crystals. In this work we showcase light detectors based on a novel Ir-Pt bilayer transition edge sensor. We have performed a systematic study to improve the thermal coupling between the photon absorber and the sensor, and thereby its responsivity. Our first devices meet CUPID's baseline noise requirement of <100~eV rms. Our detectors have risetimes of $\sim$180 $\mu$s and measured timing jitter of <20 $\mu$s for the expected signal-to-noise at the Q-value of the decay, which achieves the CUPID's criterion of rejecting two-neutrino double-beta decay pileup events. The current work will inform the fabrication of future devices, culminating in the final TES design and a scaleable readout scheme for CUPID.

categories: physics.ins-det hep-ex nucl-ex physics.app-ph


title: The Dirac and Klein-Gordon equations and Greybody Radiation for the Regular Hayward Black Hole

abstract: We investigate the Dirac and Klein-Gordon equations, as well as greybody radiation, for the Hayward black hole (BH) spacetime. We first consider the Dirac equation using a null tetrad in the Newman- Penrose (NP) formalism. The equations are then separated into angular and radial parts. A pair of one-dimensional Schr\"odinger like wave equations with effective potentials is obtained from the radial part. In order to examine the behavior of potentials, they are plotted with respect to radial distances. Additionally, the Klein-Gordon equation is considered in the Hayward BH spacetime. At the end, we compute greybody factors for bosons and fermions and our results are shown graphically and discussed.


title: Class Based Thresholding in Early Exit Semantic Segmentation Networks

abstract: We propose Class Based Thresholding (CBT) to reduce the computational cost of early exit semantic segmentation models while preserving the mean intersection over union (mIoU) performance. A key idea of CBT is to exploit the naturally-occurring neural collapse phenomenon. Specifically, by calculating the mean prediction probabilities of each class in the training set, CBT assigns different masking threshold values to each class, so that the computation can be terminated sooner for pixels belonging to easy-to-predict classes. We show the effectiveness of CBT on Cityscapes and ADE20K datasets. CBT can reduce the computational cost by $23\%$ compared to the previous state-of-the-art early exit models.


title: Clustered Archimax Copulas

abstract: When modeling multivariate phenomena, properly capturing the joint extremal behavior is often one of the many concerns. Archimax copulas appear as successful candidates in case of asymptotic dependence. In this paper, the class of Archimax copulas is extended via their stochastic representation to a clustered construction. These clustered Archimax copulas are characterized by a partition of the random variables into groups linked by a radial copula; each cluster is Archimax and therefore defined by its own Archimedean generator and stable tail dependence function. The proposed extension allows for both asymptotic dependence and independence between the clusters, a property which is sought, for example, in applications in environmental sciences and finance. The model also inherits from the ability of Archimax copulas to capture dependence between variables at pre-extreme levels. The asymptotic behavior of the model is established, leading to a rich class of stable tail dependence functions.


title: Neural Networks with Quantization Constraints

abstract: Enabling low precision implementations of deep learning models, without considerable performance degradation, is necessary in resource and latency constrained settings. Moreover, exploiting the differences in sensitivity to quantization across layers can allow mixed precision implementations to achieve a considerably better computation performance trade-off. However, backpropagating through the quantization operation requires introducing gradient approximations, and choosing which layers to quantize is challenging for modern architectures due to the large search space. In this work, we present a constrained learning approach to quantization aware training. We formulate low precision supervised learning as a constrained optimization problem, and show that despite its non-convexity, the resulting problem is strongly dual and does away with gradient estimations. Furthermore, we show that dual variables indicate the sensitivity of the objective with respect to constraint perturbations. We demonstrate that the proposed approach exhibits competitive performance in image classification tasks, and leverage the sensitivity result to apply layer selective quantization based on the value of dual variables, leading to considerable performance improvements.


title: Quantum-enhanced mean value estimation via adaptive measurement

abstract: Quantum-enhanced (i.e., less query complexity compared to any classical method) mean value estimation of observables is a fundamental task in various quantum technologies; in particular, it is an essential subroutine in quantum computing algorithms. Notably, the quantum estimation theory identifies the ultimate precision of such estimator, which is referred to as the quantum Cram\'{e}r-Rao (QCR) lower bound or equivalently the inverse of the quantum Fisher information. Because the estimation precision directly determines the performance of those quantum technological systems, it is highly demanded to develop a generic and practically implementable estimation method that achieves the QCR bound. Under imperfect conditions, however, such an ultimate and implementable estimator for quantum mean values has not been developed. In this paper, we propose a quantum-enhanced mean value estimation method in a depolarizing noisy environment that asymptotically achieves the QCR bound in the limit of a large number of qubits. To approach the QCR bound in a practical setting, the method adaptively optimizes the amplitude amplification and a specific measurement that can be implemented without any knowledge of state preparation. We provide a rigorous analysis for the statistical properties of the proposed adaptive estimator such as consistency and asymptotic normality. Furthermore, several numerical simulations are provided to demonstrate the effectiveness of the method, particularly showing that the estimator needs only a modest number of measurements to almost saturate the QCR bound.


title: Neutrinos from the Brightest Gamma-Ray Burst?

abstract: We discuss implications that can be obtained by searches for neutrinos from the brightest gamma-ray burst, GRB 221009A. We derive constraints on GRB model parameters such as the cosmic-ray loading factor and dissipation radius, taking into account both neutrino spectra and effective areas. The results are strong enough to constrain proton acceleration near the photosphere, and we find that the single burst limits are comparable to those from stacking analysis. Quasithermal neutrinos from subphotospheres and ultrahigh-energy neutrinos from external shocks are not yet constrained. We show that GeV-TeV neutrinos originating from neutron collisions are detectable, and urge dedicated analysis on these neutrinos with DeepCore and IceCube as well as ORCA and KM3NeT.


title: Schwinger particle production: rapid switch off of the external field versus dynamical assistance

abstract: We consider the process of electron-positron pair production in the presence of strong electric backgrounds being rapidly switched on and off and examine the total particle yield. For sufficiently sharp field profiles, the particle number can be substantially enhanced. It is demonstrated that this enhancement is quite similar to the phenomenon of dynamical assistance by a weak high-frequency field superimposed on a strong background. Both these mechanisms are analyzed by means of exact numerical computations, worldline instanton approach, and the locally-constant field approximation. We identify the time scale of the switching profile leading to the pair-production enhancement and argue that the particle yield is highly unlikely to be increased by shaping the switch off of realistic laser pulses. On the other hand, we confirm that it is feasible to observe the dynamically assisted Schwinger effect by adding a rapidly oscillating field to a strong electric background.


title: A Weil-Petersson Type Metric on the Space of Fano Kaehler-Ricci Solitons

abstract: In this paper we define a Weil-Petersson type metric on the space of shrinking Kaehler-Ricci solitons and prove a necessary and sufficient condition on when it is independent of the choices of Kaehler-Ricci soliton metrics. We also show that the Weil-Petersson metric is Kaehler when it defines a metric on the Kuranishi space of small deformations of Fano Kaehler-Ricci solitons. Finally, we establish the first and second order deformation of Fano K\"ahler-Ricci solitons and show that, essentially, the first effective term in deforming Kaehler-Ricci solitons leads to the Weil-Petersson metric.


title: Human-centered Benchmarking for Socially-compliant Robot Navigation

abstract: Social compatibility is one of the most important parameters for service robots. It characterizes the quality of interaction between a robot and a human. In this paper, a human-centered benchmarking framework is proposed for socially-compliant robot navigation. In an end-to-end manner, four open-source robot navigation methods are benchmarked, two of which are socially-compliant. All aspects of the benchmarking are clarified to ensure the reproducibility and replicability of the experiments. The social compatibility of robot navigation methods with the Robotic Social Attributes Scale (RoSAS) is measured. After that, the correspondence between RoSAS and the robot-centered metrics is validated. Based on experiments, the extra robot time ratio and the extra distance ratio are the most suitable to judge social compatibility.


title: Language Control Diffusion: Efficiently Scaling through Space, Time, and Tasks

abstract: Training generalist agents is difficult across several axes, requiring us to deal with high-dimensional inputs (space), long horizons (time), and generalization to novel tasks. Recent advances with architectures have allowed for improved scaling along one or two of these axes, but are still computationally prohibitive to use. In this paper, we propose to address all three axes by leveraging \textbf{L}anguage to \textbf{C}ontrol \textbf{D}iffusion models as a hierarchical planner conditioned on language (LCD). We effectively and efficiently scale diffusion models for planning in extended temporal, state, and task dimensions to tackle long horizon control problems conditioned on natural language instructions, as a step towards generalist agents. Comparing LCD with other state-of-the-art models on the CALVIN language robotics benchmark finds that LCD outperforms other SOTA methods in multi-task success rates, whilst improving inference speed over other comparable diffusion models by 3.3x~15x. We show that LCD can successfully leverage the unique strength of diffusion models to produce coherent long range plans while addressing their weakness in generating low-level details and control.


title: In-stream Probabilistic Cardinality Estimation for Bloom Filters

abstract: The amount of data coming from different sources such as IoT-sensors, social networks, cellular networks, has increased exponentially during the last few years. Probabilistic Data Structures (PDS) are efficient alternatives to deterministic data structures suitable for large data processing and streaming applications. They are mainly used for approximate membership queries, frequency count, cardinality estimation and similarity research. Finding the number of distinct elements in a large dataset or in streaming data is an active research area. In this work, we show that usual methods based on Bloom filters for this kind of cardinality estimation are relatively accurate on average but have a high variance. Therefore, reducing this variance is interesting to obtain accurate statistics. We propose a probabilistic approach to estimate more accurately the cardinality of a Bloom filter based on its parameters, i.e., number of hash functions $k$, size $m$, and a counter $s$ which is incremented whenever an element is not in the filter (i.e., when the result of the membership query for this element is negative). The value of the counter can never be larger than the exact cardinality due to the Bloom filter's nature, but hash collisions can cause it to underestimate it. This creates a counting error that we estimate accurately, in-stream, along with its standard deviation. We also discuss a way to optimize the parameters of a Bloom filter based on its counting error. We evaluate our approach with synthetic data created from an analysis of a real mobility dataset provided by a mobile network operator in the form of displacement matrices computed from mobile phone records. The approach proposed here performs at least as well on average and has a much lower variance (about 6 to 7 times less) than state of the art methods.


title: Exploring Effective Distillation of Self-Supervised Speech Models for Automatic Speech Recognition

abstract: Recent years have witnessed great strides in self-supervised learning (SSL) on the speech processing. The SSL model is normally pre-trained on a great variety of unlabelled data and a large model size is preferred to increase the modeling capacity. However, this might limit its potential applications due to the expensive computation and memory costs introduced by the oversize model. Miniaturization for SSL models has become an important research direction of practical value. To this end, we explore the effective distillation of HuBERT-based SSL models for automatic speech recognition (ASR). First, in order to establish a strong baseline, a comprehensive study on different student model structures is conducted. On top of this, as a supplement to the regression loss widely adopted in previous works, a discriminative loss is introduced for HuBERT to enhance the distillation performance, especially in low-resource scenarios. In addition, we design a simple and effective algorithm to distill the front-end input from waveform to Fbank feature, resulting in 17% parameter reduction and doubling inference speed, at marginal performance degradation.


title: Aerial Manipulation Using a Novel Unmanned Aerial Vehicle Cyber-Physical System

abstract: Unmanned Aerial Vehicles(UAVs) are attaining more and more maneuverability and sensory ability as a promising teleoperation platform for intelligent interaction with the environments. This work presents a novel 5-degree-of-freedom (DoF) unmanned aerial vehicle (UAV) cyber-physical system for aerial manipulation. This UAV's body is capable of exerting powerful propulsion force in the longitudinal direction, decoupling the translational dynamics and the rotational dynamics on the longitudinal plane. A high-level impedance control law is proposed to drive the vehicle for trajectory tracking and interaction with the environments. In addition, a vision-based real-time target identification and tracking method integrating a YOLO v3 real-time object detector with feature tracking, and morphological operations is proposed to be implemented onboard the vehicle with support of model compression techniques to eliminate latency caused by video wireless transmission and heavy computation burden on traditional teleoperation platforms.


title: Virgo Detector Characterization and Data Quality: results from the O3 run

abstract: The Advanced Virgo detector has contributed with its data to the rapid growth of the number of detected gravitational-wave (GW) signals in the past few years, alongside the two Advanced LIGO instruments. First during the last month of the Observation Run 2 (O2) in August 2017 (with, most notably, the compact binary mergers GW170814 and GW170817), and then during the full Observation Run 3 (O3): an 11-months data taking period, between April 2019 and March 2020, that led to the addition of about 80 events to the catalog of transient GW sources maintained by LIGO, Virgo and now KAGRA. These discoveries and the manifold exploitation of the detected waveforms require an accurate characterization of the quality of the data, such as continuous study and monitoring of the detector noise sources. These activities, collectively named {\em detector characterization and data quality} or {\em DetChar}, span the whole workflow of the Virgo data, from the instrument front-end hardware to the final analyses. They are described in details in the following article, with a focus on the results achieved by the Virgo DetChar group during the O3 run. Concurrently, a companion article describes the tools that have been used by the Virgo DetChar group to perform this work.


title: Virgo Detector Characterization and Data Quality: tools

abstract: Detector characterization and data quality studies -- collectively referred to as {\em DetChar} activities in this article -- are paramount to the scientific exploitation of the joint dataset collected by the LIGO-Virgo-KAGRA global network of ground-based gravitational-wave (GW) detectors. They take place during each phase of the operation of the instruments (upgrade, tuning and optimization, data taking), are required at all steps of the dataflow (from data acquisition to the final list of GW events) and operate at various latencies (from near real-time to vet the public alerts to offline analyses). This work requires a wide set of tools which have been developed over the years to fulfill the requirements of the various DetChar studies: data access and bookkeeping; global monitoring of the instruments and of the different steps of the data processing; studies of the global properties of the noise at the detector outputs; identification and follow-up of noise peculiar features (whether they be transient or continuously present in the data); quick processing of the public alerts. The present article reviews all the tools used by the Virgo DetChar group during the third LIGO-Virgo Observation Run (O3, from April 2019 to March 2020), mainly to analyse the Virgo data acquired at EGO. Concurrently, a companion article focuses on the results achieved by the DetChar group during the O3 run using these tools.


title: Simple Method for Perfect Reconstruction QMF Filter Design

abstract: The purpose of this work is the design of FIR QMF (Quadrature Mirror Filters) filters of perfect reconstruction and odd number of coefficients (even order). By design, these filters will have linear phase and integer delay. These filter pairs have many applications in wavelet transforms and other multi-frequency decompositions. Perfect reconstruction filters have been studied from long time ago but we still found publications about them.


title: Precisely computing phonons via irreducible derivatives

abstract: Computing phonons from first-principles is typically considered a solved problem, yet inadequacies in existing techniques continue to yield deficient results in systems with sensitive phonons. Here we circumvent this issue using the lone irreducible derivative (LID) and bundled irreducible derivative (BID) approaches to computing phonons via finite displacements, where the former optimizes precision via energy derivatives and the latter provides the most efficient algorithm using force derivatives. A condition number optimized (CNO) basis for BID is derived which guarantees the minimum amplification of error. Additionally, a hybrid LID-BID approach is formulated, where select irreducible derivatives computed using LID replace BID results. We illustrate our approach on two prototypical systems with sensitive phonons: the shape memory alloy AuZn and metallic lithium. Comparing our resulting phonons in the aforementioned crystals to calculations in the literature reveals nontrivial inaccuracies. Our approaches can be fully automated, making them well suited for both niche systems of interest and high throughput approaches.


title: Towards Correlated Sequential Rules

abstract: The goal of high-utility sequential pattern mining (HUSPM) is to efficiently discover profitable or useful sequential patterns in a large number of sequences. However, simply being aware of utility-eligible patterns is insufficient for making predictions. To compensate for this deficiency, high-utility sequential rule mining (HUSRM) is designed to explore the confidence or probability of predicting the occurrence of consequence sequential patterns based on the appearance of premise sequential patterns. It has numerous applications, such as product recommendation and weather prediction. However, the existing algorithm, known as HUSRM, is limited to extracting all eligible rules while neglecting the correlation between the generated sequential rules. To address this issue, we propose a novel algorithm called correlated high-utility sequential rule miner (CoUSR) to integrate the concept of correlation into HUSRM. The proposed algorithm requires not only that each rule be correlated but also that the patterns in the antecedent and consequent of the high-utility sequential rule be correlated. The algorithm adopts a utility-list structure to avoid multiple database scans. Additionally, several pruning strategies are used to improve the algorithm's efficiency and performance. Based on several real-world datasets, subsequent experiments demonstrated that CoUSR is effective and efficient in terms of operation time and memory consumption.


title: LyricJam Sonic: A Generative System for Real-Time Composition and Musical Improvisation

abstract: Electronic music artists and sound designers have unique workflow practices that necessitate specialized approaches for developing music information retrieval and creativity support tools. Furthermore, electronic music instruments, such as modular synthesizers, have near-infinite possibilities for sound creation and can be combined to create unique and complex audio paths. The process of discovering interesting sounds is often serendipitous and impossible to replicate. For this reason, many musicians in electronic genres record audio output at all times while they work in the studio. Subsequently, it is difficult for artists to rediscover audio segments that might be suitable for use in their compositions from thousands of hours of recordings. In this paper, we describe LyricJam Sonic -- a novel creative tool for musicians to rediscover their previous recordings, re-contextualize them with other recordings, and create original live music compositions in real-time. A bi-modal AI-driven approach uses generated lyric lines to find matching audio clips from the artist's past studio recordings, and uses them to generate new lyric lines, which in turn are used to find other clips, thus creating a continuous and evolving stream of music and lyrics. The intent is to keep the artists in a state of creative flow conducive to music creation rather than taking them into an analytical/critical state of deliberately searching for past audio segments. The system can run in either a fully autonomous mode without user input, or in a live performance mode, where the artist plays live music, while the system "listens" and creates a continuous stream of music and lyrics in response.


title: The nature of an ultra-faint galaxy in the cosmic Dark Ages seen with JWST

abstract: In the first billion years after the Big Bang, sources of ultraviolet (UV) photons are believed to have ionized intergalactic hydrogen, rendering the Universe transparent to UV radiation. Galaxies brighter than the characteristic luminosity $L^{*}$ do not provide enough ionizing photons to drive this cosmic reionization. Fainter galaxies are thought to dominate the photon budget; however they are surrounded by neutral gas that prevents the escape of the Lyman-$\alpha$ photons, which has been the dominant way to identify them so far. JD1 was previously identified as a triply-imaged galaxy with a magnification factor of 13 provided by the foreground cluster Abell 2744, and a photometric redshift of $z\sim10$. Here we report the spectroscopic confirmation of this very low luminosity ($\sim0.05 L^{*}$) galaxy at $z=9.79$, observed 480 Myr after the Big Bang, by means of the identification of the Lyman break and redward continuum, as well as multiple $\gtrsim4\sigma$ emission lines, with the Near-InfraRed Spectrograph (NIRSpec) and Near-InfraRed Camera (NIRCam) instruments. The combination of the James Webb Space Telescope (JWST) and gravitational lensing shows that this ultra-faint galaxy ($M_{\rm UV}=-17.35$) -- with a luminosity typical of the sources responsible for cosmic reionization -- has a compact ($\sim$150 pc) and complex morphology, low stellar mass (10$^{7.19}$ M$_\odot$), and subsolar ($\sim$0.6 $Z_{\odot}$) gas-phase metallicity.


title: Renormalization Group for Non-minimal $\phi^2 R$ Couplings and Gravitational Contact Interactions

abstract: Theories of scalars and gravity, with an Einstein-Hilbert term and non-minimal interactions, $M^2R/2 -\alpha\phi^2R/12 $, have graviton exchange induced contact interactions. These modify the renormalization group, leading to a discrepancy between the conventional calculations in the Jordan frame that ignore this effect (and are found to be incorrect), and the Einstein frame in which $\alpha$ does not exist. Thus, the calculation of quantum effects in the Jordan and Einstein frames does not generally commute with the transition from the Jordan to the Einstein frame. In the Einstein frame, though $\alpha$ is absent, for small steps in scale $\delta\mu/\mu$ infinitesimal contact terms $\sim \delta\alpha$ are induced, that are then absorbed back into other couplings by the contact terms. This modifies the $\beta$-functions in the Einstein frame. We show how correct results can be obtained in a simple model by including this effect.


title: Centrality dependence of proton and light nuclei yields as a consequence of baryon annihilation in the hadronic phase

abstract: The centrality dependence of the $p/\pi$ ratio measured by the ALICE Collaboration in 5.02 TeV Pb-Pb collisions indicates a statistically significant suppression with the increase of the charged particle multiplicity once the centrality-correlated part of the systematic uncertainty is eliminated from the data. We argue that this behavior can be attributed to baryon annihilation in the hadronic phase. By implementing the $B\bar{B} \leftrightarrow 5\pi$ reaction within a generalized partial chemical equilibrium framework, we estimate the annihilation freeze-out temperature at different centralities, which decreases with increasing charged multiplicity and yields $T_{\rm ann} = 132 \pm 5$ MeV in 0-5% most central collisions. This value is considerably below the hadronization temperature of $T_{\rm had} \sim 160$ MeV but above the thermal (kinetic) freeze-out temperature of $T_{\rm kin} \sim 100$ MeV. Baryon annihilation reactions thus remain relevant in the initial stage of the hadronic phase but freeze out before (pseudo-)elastic hadronic scatterings. One experimentally testable consequence of this picture is a suppression of various light nuclei to proton ratios in central collisions of heavy ions.


title: Existential Definability over the Subword Ordering

abstract: We study first-order logic (FO) over the structure consisting of finite words over some alphabet $A$, together with the (non-contiguous) subword ordering. In terms of decidability of quantifier alternation fragments, this logic is well-understood: If every word is available as a constant, then even the $\Sigma_1$ (i.e., existential) fragment is undecidable, already for binary alphabets $A$. However, up to now, little is known about the expressiveness of the quantifier alternation fragments: For example, the undecidability proof for the existential fragment relies on Diophantine equations and only shows that recursively enumerable languages over a singleton alphabet (and some auxiliary predicates) are definable. We show that if $|A|\ge 3$, then a relation is definable in the existential fragment over $A$ with constants if and only if it is recursively enumerable. This implies characterizations for all fragments $\Sigma_i$: If $|A|\ge 3$, then a relation is definable in $\Sigma_i$ if and only if it belongs to the $i$-th level of the arithmetical hierarchy. In addition, our result yields an analogous complete description of the $\Sigma_i$-fragments for $i\ge 2$ of the pure logic, where the words of $A^*$ are not available as constants.


title: Precise asymptotics for the spectral radius of a large random matrix

abstract: We consider the spectral radius of a large random matrix $X$ with independent, identically distributed entries. We show that its typical size is given by a precise three-term asymptotics with an optimal error term beyond the radius of the celebrated circular law. The coefficients in this asymptotics are universal but they differ from a similar asymptotics recently proved for the rightmost eigenvalue of $X$ in [29]. To access the more complicated spectral radius, we need to establish a new decorrelation mechanism for the low-lying singular values of $X-z$ for different complex shift parameters $z$ using the Dyson Brownian Motion.


title: Twin stars as probes of the nuclear equation of state: effects of rotation through the PSR J0952-0607 pulsar and constraints via the tidal deformability from the GW170817 event

abstract: In agreement with the constantly increasing gravitational wave events, new aspects of the internal structure of compact stars can be considered. A scenario in which a first order transition takes place inside these stars is of particular interest as it can lead, under conditions, to a third gravitationally stable branch (besides white dwarfs and neutron stars), the twin stars. The new branch yields stars with the same mass as normal compact stars but quite different radii. In the present work, we focus on hybrid stars undergone a hadron to quark phase transition near their core and how this new stable configuration arises. Emphasis is to be given on the aspects of the phase transition and its parametrization in two different ways, namely with Maxwell and Gibbs construction. We systematically study the gravitational mass, the radius, and the tidal deformability, and we compare them with the predictions of the recent observation by LIGO/VIRGO collaboration, the GW170817 event, along with the mass and radius limits, suggesting possible robust constraints. Moreover, we extent the study in order to include rotation effects on the twin stars configurations. The recent discovery of the fast rotating supermassive pulsar PSR J0952-0607 triggered the effort to constrain the equation of state and moreover to examine possible predictions related to the phase transition in dense nuclear matter. We pay special attention to relate the PSR J0952-0607 pulsar properties with the twin stars predictions and mainly to explore the possibility that the existence of such a massive object would rule out the existence of twin stars. Finally, we discuss the constraints on the radius and mass of the recently observed compact object within the supernova remnant HESS J1731-347. The estimations implies that this object is either the lightest neutron star known, or a star with a more exotic equation of state.


title: Dragoman: Efficiently Evaluating Declarative Mapping Languages over Frameworks for Knowledge Graph Creation

abstract: In recent years, there have been valuable efforts and contributions to make the process of RDF knowledge graph creation traceable and transparent; extending and applying declarative mapping languages is an example. One challenging step is the traceability of procedures that aim to overcome interoperability issues, a.k.a. data-level integration. In most pipelines, data integration is performed by ad-hoc programs, preventing traceability and reusability. However, formal frameworks provided by function-based declarative mapping languages such as FunUL and RML+FnO empower expressiveness. Data-level integration can be defined as functions and integrated as part of the mappings performing schema-level integration. However, combining functions with the mappings introduces a new source of complexity that can considerably impact the required number of resources and execution time. We tackle the problem of efficiently executing mappings with functions and formalize the transformation of them into function-free mappings. These transformations are the basis of an optimization process that aims to perform an eager evaluation of function-based mapping rules. These techniques are implemented in a framework named Dragoman. We demonstrate the correctness of the transformations while ensuring that the function-free data integration processes are equivalent to the original one. The effectiveness of Dragoman is empirically evaluated in 230 testbeds composed of various types of functions integrated with mapping rules of different complexity. The outcomes suggest that evaluating function-free mapping rules reduces execution time in complex knowledge graph creation pipelines composed of large data sources and multiple types of mapping rules. The savings can be up to 75%, suggesting that eagerly executing functions in mapping rules enable making these pipelines applicable and scalable in real-world settings.


title: Topology of singular set of semiconcave function via Arnaud's theorem

abstract: We proved the (local) path-connectedness of certain subset of the singular set of semiconcave functions with linear modulus in general. In some sense this result is optimal. The proof is based on a theorem by Marie-Claude Arnaud (M.-C. Arnaud, \textit{Pseudographs and the Lax-Oleinik semi-group: a geometric and dynamical interpretation}. Nonlinearity, \textbf{24}(1): 71-78, 2011.). We also gave a new proof of the theorem in time-dependent case.


title: Super-sample covariance of the power spectrum, bispectrum, halos, voids, and their cross covariances

abstract: We study the effect of super-sample covariance (SSC) on the power spectrum and higher-order statistics: bispectrum, halo mass function, and void size function. We also investigate the effect of SSC on the cross covariance between the statistics. We consider both the matter and halo fields. Higher-order statistics of the large-scale structure contain additional cosmological information beyond the power spectrum and are a powerful tool to constrain cosmology. They are a promising probe for ongoing and upcoming high precision cosmological surveys such as DESI, PFS, Rubin Observatory LSST, Euclid, SPHEREx, SKA, and Roman Space Telescope. Cosmological simulations used in modeling and validating these statistics often have sizes that are much smaller than the observed Universe. Density fluctuations on scales larger than the simulation box, known as super-sample modes, are not captured by the simulations and in turn can lead to inaccuracies in the covariance matrix. We compare the covariance measured using simulation boxes containing super-sample modes to those without. We also compare with the Separate Universe approach. We find that while the power spectrum, bispectrum and halo mass function show significant scale- or mass-dependent SSC, the void size function shows relatively small SSC. We also find significant SSC contributions to the cross covariances between the different statistics, implying that future joint-analyses will need to carefully take into consideration the effect of SSC. To enable further study of SSC, our simulations have been made publicly available at https://github.com/HalfDomeSims/ssc.


title: Lighting Electroweak-Violating ALP-Lepton Interactions at $e^{+}e^{-}$ and $ep$ Colliders

abstract: Recently, Altmannshofer, Dror and Gori (2022) claimed there is a four-point interaction, $W$-$\ell$-$\nu$-$a$, in the electroweak-violating scenario of axion-like particle (ALP) and lepton interactions which plays a critical role in searching for ALPs from $\pi^{\pm}$, $K^{\pm}$ mesons and $W$ boson decays because of the novel energy enhancements. Inspired by this interesting finding, we first propose new t-channel processes, $e^{+}e^{-}\rightarrow\nu_e a\bar{\nu_e}$ and $e^{-}p\rightarrow\nu_e a j$, for electrophilic ALPs ($e$ALPs) which also involve $W$-$\ell$-$\nu$-$a$ four-point interaction and have obvious energy enhancement behaviors in their cross sections when the collision energy is increasing. On the other hand, heavier $e$ALPs mainly decay to a photon pair induced by the chiral anomaly instead of an electron-positron pair. Therefore, studies of these t-channel processes with a photon pair plus missing energy at $e^+ e^-$ and $ep$ colliders open a new door to search for $e$ALPs at high energy colliders. The proposed search strategies are not only aiming to generate a larger production rate of ALPs, but also trying to distinguish electroweak-violating ALP-lepton interactions from electroweak-preserving ones.


title: Joint velocity and density reconstruction of the Universe with nonlinear differentiable forward modeling

abstract: Reconstructing the initial conditions of the Universe from late-time observations has the potential to optimally extract cosmological information. Due to the high dimensionality of the parameter space, a differentiable forward model is needed for convergence, and recent advances have made it possible to perform reconstruction with nonlinear models based on galaxy (or halo) positions. In addition to positions, future surveys will provide measurements of galaxies' peculiar velocities through the kinematic Sunyaev-Zel'dovich effect (kSZ), type Ia supernovae, and the fundamental plane or Tully-Fisher relations. Here we develop the formalism for including halo velocities, in addition to halo positions, to enhance the reconstruction of the initial conditions. We show that using velocity information can significantly improve the reconstruction accuracy compared to using only the halo density field. We study this improvement as a function of shot noise, velocity measurement noise, and angle to the line of sight. We also show how halo velocity data can be used to improve the reconstruction of the final nonlinear matter overdensity and velocity fields. We have built our pipeline into the differentiable Particle-Mesh FlowPM package, paving the way to perform field-level cosmological inference with joint velocity and density reconstruction. This is especially useful given the increased ability to measure peculiar velocities in the near future.


title: Cold Neutron-Deuteron Capture and Wigner-SU(4) Symmetry

abstract: We calculate the cold neutron-deuteron ($nd$) capture cross section, $\sigma_{nd}$, to next-to-next-to leading order (NNLO) using the model-independent approach of pionless effective field theory (EFT($\pi\!\!\!/$)). At leading order we find $\sigma_{nd} = 0.315 \pm 0.217$ mb, while the experimental result is 0.508(15) mb [Jurney, Bendt and Browne in Phys. Rev. C 25, 2810 (1982)] for a laboratory neutron velocity of 2200 m/s. At next-to-leading-order (NLO), we show that $\sigma_{nd}$ is sensitive to the low energy constant (LEC), $L_1^{(0)}$, of the two-nucleon isovector current appearing at NLO. A fit of $L_1^{(0)}$ at NLO to the triton magnetic moment yields a NLO prediction of $\sigma_{nd}=0.393 \pm 0.164$ mb, where the error comes from propagating the error from the $L_1^{(0)}$ fit. At next-to-next-to-leading-order (NNLO), we find that a new three-nucleon magnetic moment counterterm is required for renormalization group invariance of both $\sigma_{nd}$ and the triton magnetic moment. Fitting the NNLO correction to $L_1^{(0)}$ (denoted $L_1^{(1)}$) to cold neutron-proton capture ($\sigma_{np}$) yields a NNLO prediction of $\sigma_{nd}=0.447 \pm 0.130$ mb, where the error comes from propagating the error from the $L_1^{(1)}$ fit. We also study different fittings of $L_1^{(0)}$ and $L_1^{(1)}$ to $\sigma_{np}$, $\sigma_{nd}$, and/or the triton magnetic moment. For example, fitting $L_1^{(0)}$ simultaneously to $\sigma_{np}$, $\sigma_{nd}$, and the triton magnetic moment at NLO, and fitting $L_1^{(1)}$ simultaneously to $\sigma_{np}$ and $\sigma_{nd}$ at NNLO, yields $\sigma_{nd} = 0.480 \pm 0.114$ mb and $0.511 \pm 0.042$ mb, respectively, where errors are naively estimated from EFT($\pi\!\!\!/$) power counting. In addition, we discuss how Wigner-SU(4) symmetry may alter the naive EFT($\pi\!\!\!/$) expansion of $\sigma_{nd}$.


title: Learning Single-Index Models with Shallow Neural Networks

abstract: Single-index models are a class of functions given by an unknown univariate ``link'' function applied to an unknown one-dimensional projection of the input. These models are particularly relevant in high dimension, when the data might present low-dimensional structure that learning algorithms should adapt to. While several statistical aspects of this model, such as the sample complexity of recovering the relevant (one-dimensional) subspace, are well-understood, they rely on tailored algorithms that exploit the specific structure of the target function. In this work, we introduce a natural class of shallow neural networks and study its ability to learn single-index models via gradient flow. More precisely, we consider shallow networks in which biases of the neurons are frozen at random initialization. We show that the corresponding optimization landscape is benign, which in turn leads to generalization guarantees that match the near-optimal sample complexity of dedicated semi-parametric methods.


title: User Identification: A Key Enabler for Multi-User Vision-Aided Communications

abstract: Vision-aided wireless communication is attracting increasing interest and finding new use cases in various wireless communication applications. These vision-aided communication frameworks leverage visual data captured, for example, by cameras installed at the infrastructure or mobile devices to construct some perception about the communication environment through the use of deep learning and advances in computer vision and visual scene understanding. Prior work has investigated various problems such as vision-aided beam, blockage, and hand-off prediction in millimeter wave (mmWave) systems and vision-aided covariance prediction in massive MIMO systems. This prior work, however, has focused on scenarios with a single object (user) in front of the camera. In this paper, we define the \textit{user identification} task as a key enabler for realistic vision-aided communication systems that can operate in crowded scenarios and support multi-user applications. The objective of the user identification task is to identify the target communication user from the other candidate objects (distractors) in the visual scene. We develop machine learning models that process either one frame or a sequence of frames of visual and wireless data to efficiently identify the target user in the visual/communication environment. Using the large-scale multi-modal sense and communication dataset, DeepSense 6G, which is based on real-world measurements, we show that the developed approaches can successfully identify the target users with more than 97$\%$ accuracy in realistic settings. This paves the way for scaling the vision-aided wireless communication applications to real-world scenarios and practical deployments.


title: Freezing-in hadrophilic dark matter at low reheating temperatures

abstract: If the reheating temperature at the end of inflation is low, of order 10 MeV, then dark matter produced through ultraviolet freeze-in has a large direct detection cross section. We study such a scenario in which dark matter is hadrophilic. This leads to dark matter-nucleon scattering cross sections of interest for near-future experiments for dark matter masses in the range of 100 keV-100 MeV. We explore how these predictions vary if reheating is non-instantaneous.


title: Reductions in Higher-Order Rewriting and Their Equivalence

abstract: Proof terms are syntactic expressions that represent computations in term rewriting. They were introduced by Meseguer and exploited by van Oostrom and de Vrijer to study equivalence of reductions in (left-linear) first-order term rewriting systems. We study the problem of extending the notion of proof term to higher-order rewriting, which generalizes the first-order setting by allowing terms with binders and higher-order substitution. In previous works that devise proof terms for higher-order rewriting, such as Bruggink's, it has been noted that the challenge lies in reconciling composition of proof terms and higher-order substitution (\b{eta}-equivalence). This led Bruggink to reject "nested" composition, other than at the outermost level. In this paper, we propose a notion of higher-order proof term we dub rewrites that supports nested composition. We then define two notions of equivalence on rewrites, namely permutation equivalence and projection equivalence, and show that they coincide. We also propose a standardization procedure, that computes a canonical representative of the permutation equivalence class of a rewrite.


title: GILP: An Interactive Tool for Visualizing the Simplex Algorithm

abstract: The Simplex algorithm for solving linear programs-one of Computing in Science & Engineering's top 10 most influential algorithms of the 20th century-is an important topic in many algorithms courses. While the Simplex algorithm relies on intuitive geometric ideas, the computationally-involved mechanics of the algorithm can obfuscate a geometric understanding. In this paper, we present gilp, an easy-to-use Simplex algorithm visualization tool designed to explicitly connect the mechanical steps of the algorithm with their geometric interpretation. We provide an extensive library with example visualizations, and our tool allows an instructor to quickly produce custom interactive HTML files for students to experiment with the algorithm (without requiring students to install anything!). The tool can also be used for interactive assignments in Jupyter notebooks, and has been incorporated into a forthcoming Data Science and Decision Making interactive textbook. In this paper, we first describe how the tool fits into the existing literature on algorithm visualizations: how it was designed to facilitate student engagement and instructor adoption, and how it substantially extends existing algorithm visualization tools for Simplex. We then describe the development and usage of the tool, and report feedback from its use in a course with roughly 100 students. Student feedback was overwhelmingly positive, with students finding the tool easy to use: it effectively helped them link the algebraic and geometrical views of the Simplex algorithm and understand its nuances. Finally, gilp is open-source, includes an extension to visualizing linear programming-based branch and bound, and is readily amenable to further extensions.


title: Taxonomic Classification of IoT Smart Home Voice Control

abstract: Voice control in the smart home is commonplace, enabling the convenient control of smart home Internet of Things hubs, gateways and devices, along with information seeking dialogues. Cloud-based voice assistants are used to facilitate the interaction, yet privacy concerns surround the cloud analysis of data. To what extent can voice control be performed using purely local computation, to ensure user data remains private? In this paper we present a taxonomy of the voice control technologies present in commercial smart home systems. We first review literature on the topic, and summarise relevant work categorising IoT devices and voice control in the home. The taxonomic classification of these entities is then presented, and we analyse our findings. Following on, we turn to academic efforts in implementing and evaluating voice-controlled smart home set-ups, and we then discuss open-source libraries and devices that are applicable to the design of a privacy-preserving voice assistant for smart homes and the IoT. Towards the end, we consider additional technologies and methods that could support a cloud-free voice assistant, and conclude the work.


title: Detecting fake accounts through Generative Adversarial Network in online social media

abstract: Online social media is integral to human life, facilitating messaging, information sharing, and confidential communication while preserving privacy. Platforms like Twitter, Instagram, and Facebook exemplify this phenomenon. However, users face challenges due to network anomalies, often stemming from malicious activities such as identity theft for financial gain or harm. This paper proposes a novel method using user similarity measures and the Generative Adversarial Network (GAN) algorithm to identify fake user accounts in the Twitter dataset. Despite the problem's complexity, the method achieves an AUC rate of 80\% in classifying and detecting fake accounts. Notably, the study builds on previous research, highlighting advancements and insights into the evolving landscape of anomaly detection in online social networks.


title: All the Feels: A dexterous hand with large-area tactile sensing

abstract: High cost and lack of reliability has precluded the widespread adoption of dexterous hands in robotics. Furthermore, the lack of a viable tactile sensor capable of sensing over the entire area of the hand impedes the rich, low-level feedback that would improve learning of dexterous manipulation skills. This paper introduces an inexpensive, modular, robust, and scalable platform -- the DManus -- aimed at resolving these challenges while satisfying the large-scale data collection capabilities demanded by deep robot learning paradigms. Studies on human manipulation point to the criticality of low-level tactile feedback in performing everyday dexterous tasks. The DManus comes with ReSkin sensing on the entire surface of the palm as well as the fingertips. We demonstrate effectiveness of the fully integrated system in a tactile aware task -- bin picking and sorting. Code, documentation, design files, detailed assembly instructions, trained models, task videos, and all supplementary materials required to recreate the setup can be found on https://sites.google.com/view/roboticsbenchmarks/platforms/dmanus.


title: A Primal-dual Approach for Solving Variational Inequalities with General-form Constraints

abstract: Yang et al. (2023) recently addressed the open problem of solving Variational Inequalities (VIs) with equality and inequality constraints through a first-order gradient method. However, the proposed primal-dual method called ACVI is applicable when we can compute analytic solutions of its subproblems; thus, the general case remains an open problem. In this paper, we adopt a warm-starting technique where we solve the subproblems approximately at each iteration and initialize the variables with the approximate solution found at the previous iteration. We prove its convergence and show that the gap function of the last iterate of this inexact-ACVI method decreases at a rate of $\mathcal{O}(\frac{1}{\sqrt{K}})$ when the operator is $L$-Lipschitz and monotone, provided that the errors decrease at appropriate rates. Interestingly, we show that often in numerical experiments, this technique converges faster than its exact counterpart. Furthermore, for the cases when the inequality constraints are simple, we propose a variant of ACVI named P-ACVI and prove its convergence for the same setting. We further demonstrate the efficacy of the proposed methods through numerous experiments. We also relax the assumptions in Yang et al., yielding, to our knowledge, the first convergence result that does not rely on the assumption that the operator is $L$-Lipschitz. Our source code is provided at $\texttt{https://github.com/mpagli/Revisiting-ACVI}$.


title: Nodal pair-density-waves from quarter-metal in crystalline graphene multilayers

abstract: Crystalline graphene heterostructures, namely Bernal bilayer and rhombohedral trilayer graphene, subject to electric displacement fields, display a rich confluence of competing orders, resulting in a valley-degenerate, spin-polarized half-metal at moderate doping, and a spin- and valley-polarized quarter-metal at low doping. Here we show that the annular Fermi surface of such a quarter-metal can be susceptible toward the nucleation of a unique spin and valley polarized superconducting state, accommodating interlayer Cooper pairs that break the translational symmetry, giving rise to a Kekul\'e or columnar pair-density-wave. The superconducting ground state produces isolated Fermi pockets of neutral Majorana fermions, featuring a three-fold rotational symmetry, resulting in power-law scaling physical observables with temperature ($T$), such as specific heat $C_v \sim T$.


title: Dynamic melting and condensation of topological dislocation modes

abstract: Bulk dislocation lattice defects are instrumental in identifying translationally active topological insulators (TATIs), featuring band inversion at a finite momentum (${\bf K}_{\rm inv}$). As such, TATIs host robust gapless modes around the dislocation core, when the associated Burgers vector ${\bf b}$ satisfies ${\bf K}_{\rm inv} \cdot {\bf b}=\pi$ (modulo $2 \pi$). From the time evolution of appropriate density matrices, we show that when a TATI via a real time ramp enters into a trivial or translationally inert topological insulating phase, devoid of gapless dislocation modes, the signatures of the preramp defect modes survive for a long time. More intriguingly, as the system ramps into a TATI phase from any translationally inert insulator, signature of the dislocation mode dynamically builds up near its core, which is prominent for slow ramps. We exemplify these generic outcomes for two-dimensional time-reversal symmetry breaking insulators. Proposed dynamic responses at the dislocation core can be experimentally observed in quantum crystals, optical lattices and metamaterials with time a tunable band gap.


title: Dark photon and dark $Z$ mediated $B$ meson decays

abstract: We study flavor changing neutral current decays of $B$ and $K$ mesons in the dark $U(1)_D$ model, with the dark photon/dark $Z$ mass between 10 MeV and 2 GeV. Although the model provides an improved fit (compared to the standard model) to the differential decay distributions of $B \to K^{(*)} \ell^+ \ell^-$, with $\ell= \mu, e$, and $B_s \to \phi \mu^+ \mu^-$, the allowed parameter space is ruled out by measurements of atomic parity violation, $K^+ \to \mu^+ + invisible$ decay, and $B_s - \overline{B}_s$ mixing, among others. To evade constraints from low energy data, we extend the model to allow for (1) additional invisible $Z_D$ decay, (2) a direct vector coupling of $Z_D$ to muons, and (3) a direct coupling of $Z_D$ to both muons and electrons, with the electron coupling fine-tuned to cancel the $Z_D$ coupling to electrons via mixing. We find that only the latter case survives all constraints.


title: Deep Generative Models on 3D Representations: A Survey

abstract: Generative models aim to learn the distribution of observed data by generating new instances. With the advent of neural networks, deep generative models, including variational autoencoders (VAEs), generative adversarial networks (GANs), and diffusion models (DMs), have progressed remarkably in synthesizing 2D images. Recently, researchers started to shift focus from 2D to 3D space, considering that 3D data is more closely aligned with our physical world and holds immense practical potential. However, unlike 2D images, which possess an inherent and efficient representation (\textit{i.e.}, a pixel grid), representing 3D data poses significantly greater challenges. Ideally, a robust 3D representation should be capable of accurately modeling complex shapes and appearances while being highly efficient in handling high-resolution data with high processing speeds and low memory requirements. Regrettably, existing 3D representations, such as point clouds, meshes, and neural fields, often fail to satisfy all of these requirements simultaneously. In this survey, we thoroughly review the ongoing developments of 3D generative models, including methods that employ 2D and 3D supervision. Our analysis centers on generative models, with a particular focus on the representations utilized in this context. We believe our survey will help the community to track the field's evolution and to spark innovative ideas to propel progress towards solving this challenging task.


title: State of the Art in Dense Monocular Non-Rigid 3D Reconstruction

abstract: 3D reconstruction of deformable (or non-rigid) scenes from a set of monocular 2D image observations is a long-standing and actively researched area of computer vision and graphics. It is an ill-posed inverse problem, since -- without additional prior assumptions -- it permits infinitely many solutions leading to accurate projection to the input 2D images. Non-rigid reconstruction is a foundational building block for downstream applications like robotics, AR/VR, or visual content creation. The key advantage of using monocular cameras is their omnipresence and availability to the end users as well as their ease of use compared to more sophisticated camera set-ups such as stereo or multi-view systems. This survey focuses on state-of-the-art methods for dense non-rigid 3D reconstruction of various deformable objects and composite scenes from monocular videos or sets of monocular views. It reviews the fundamentals of 3D reconstruction and deformation modeling from 2D image observations. We then start from general methods -- that handle arbitrary scenes and make only a few prior assumptions -- and proceed towards techniques making stronger assumptions about the observed objects and types of deformations (e.g. human faces, bodies, hands, and animals). A significant part of this STAR is also devoted to classification and a high-level comparison of the methods, as well as an overview of the datasets for training and evaluation of the discussed techniques. We conclude by discussing open challenges in the field and the social aspects associated with the usage of the reviewed methods.


title: DUNE Offline Computing Conceptual Design Report

abstract: This document describes the conceptual design for the Offline Software and Computing for the Deep Underground Neutrino Experiment (DUNE). The goals of the experiment include 1) studying neutrino oscillations using a beam of neutrinos sent from Fermilab in Illinois to the Sanford Underground Research Facility (SURF) in Lead, South Dakota, 2) studying astrophysical neutrino sources and rare processes and 3) understanding the physics of neutrino interactions in matter. We describe the development of the computing infrastructure needed to achieve the physics goals of the experiment by storing, cataloging, reconstructing, simulating, and analyzing $\sim$ 30 PB of data/year from DUNE and its prototypes. Rather than prescribing particular algorithms, our goal is to provide resources that are flexible and accessible enough to support creative software solutions and advanced algorithms as HEP computing evolves. We describe the physics objectives, organization, use cases, and proposed technical solutions.


title: Simulation of continuous dynamic recrystallization using a level-set method

abstract: Dynamic recrystallization is one of the main phenomena responsible for microstructure evolutions during hot forming. Consequently, getting a better understanding of DRX mechanisms and being able to predict them is crucial. This paper proposes a full-field numerical framework to predict the evolution of subgrain structures upon grain growth, continuous dynamic and post-dynamic recrystallization. The microstructure representation into the numerical environment is presented. The developments made to improve substructure description are detailed extensively. Using these simulation tools, simulation of grain growth of a fully substructured microstructure are run. The influence of microstructure topology, of subgrain parameters and of some remaining stored energy due to plastic deformation is discussed. An analysis of the criterion for discrimination of recrystallized grains is proposed. Finally, the ability of the framework to model continuous dynamic and post-dynamic recrystallization is assessed upon a case study. The influence of grain boundary properties and of nucleation rules are studied. The representativity of the results in regards of experimental data will be discussed in an upcoming article.


title: Probabilistic Prediction of Coalescence Flutter Using Measurements: Application to the Flutter Margin Method

abstract: Zimmerman and Weissenburger's flutter margin method is widely used to estimate the aeroelastic coalescence flutter speed. In contrast to aeroelastic decay rates, the flutter margin exhibits monotonic decay with respect to airspeed redering it effective in extrapolating the flutter speed using flight test data conducted at pre-flutter airspeeds. This paper reports the generalization of the Bayesian formulation of the flutter margin method by Khalil et al. developed to tackle measurement and modeling uncertainties. This paper improves the predictive performance of the previous algorithm by incorporating the joint prior of aeroelastic modal frequencies and decay rates among airspeeds in order to better estimate the joint posterior of modal parameters using observational data. The modal parameter prior is constructed using the classical two-degree-of-freedom pitch-plunge aeroelastic model whose system matrices (e.g. structural stiffness and damping matrices) vary randomly. Such joint modal parameter prior enforces statistical dependence among posteriors of modal parameters and the associated flutter margins across airspeeds. Numerical studies demonstrate a considerable reduction of uncertainties on the predicted flutter speed obtained from the generalized Bayesian flutter margin method. This improved algorithm can cut cost by reducing the number of flight tests and better assess the uncertainty against aeroelastic flutter.


title: FerroX : A GPU-accelerated, 3D Phase-Field Simulation Framework for Modeling Ferroelectric Devices

abstract: We present a massively parallel, 3D phase-field simulation framework for modeling ferro-electric materials based scalable logic devices. We self-consistently solve the time-dependent Ginzburg Landau (TDGL) equation for ferroelectric polarization, Poisson equation for electric potential, and charge equation for carrier densities in semiconductor regions. The algorithm is implemented using the AMReX software framework, which provides effective scalability on manycore and GPU-based supercomputing architectures. We demonstrate the performance of the algorithm with excellent scaling results on NERSC multicore and GPU systems, with a significant (15x) speedup on the GPU using a node-by-node comparison. We further demonstrate the applicability of the code in simulations of ferroelectric domain-wall induced negative capacitance (NC) effect in Metal-Ferroelectric-Insulator-Metal (MFIM) and Metal-Ferroelectric-Insulator-Semiconductor-Metal (MFISM) devices. The charge (Q) v.s. applied voltage (V) responses for these structures clearly indicates stabilized negative capacitance.


title: On Catalan Constant Continued Fractions

abstract: The Ramanujan Machine project detects new expressions related to constants of interest, such as $\zeta$ function values, $\gamma$ and algebraic numbers (to name a few). In particular the project lists a number of conjectures concerning the Catalan constant $G= 0.91596559\ldots$ We show how to generate infinitely many. We used an ad hoc software toolchain and rather tedious mathematical developments. Because we do not provide a proper peer-reviewed proof of the relations given here we do not claim them to be theorems.


title: Knowledge-Guided Exploration in Deep Reinforcement Learning

abstract: This paper proposes a new method to drastically speed up deep reinforcement learning (deep RL) training for problems that have the property of state-action permissibility (SAP). Two types of permissibility are defined under SAP. The first type says that after an action $a_t$ is performed in a state $s_t$ and the agent has reached the new state $s_{t+1}$, the agent can decide whether $a_t$ is permissible or not permissible in $s_t$. The second type says that even without performing $a_t$ in $s_t$, the agent can already decide whether $a_t$ is permissible or not in $s_t$. An action is not permissible in a state if the action can never lead to an optimal solution and thus should not be tried (over and over again). We incorporate the proposed SAP property and encode action permissibility knowledge into two state-of-the-art deep RL algorithms to guide their state-action exploration together with a virtual stopping strategy. Results show that the SAP-based guidance can markedly speed up RL training.


title: Excess noise and photo-induced effects in highly reflective crystalline mirror coatings

abstract: Thermodynamically induced length fluctuations of high-reflectivity mirror coatings put a fundamental limit on sensitivity and stability of precision optical interferometers like gravitational wave detectors and ultra-stable lasers. The main contribution - Brownian thermal noise - is related to the mechanical loss of the coating material. Owing to their low mechanical losses, Al\textsubscript{0.92}Ga\textsubscript{0.08}As/GaAs crystalline mirror coatings are expected to reduce this limit. At room temperature they have demonstrated lower Brownian thermal noise than with conventional amorphous coatings. %However, no detailed study on the noise constituents from these coatings in optical interferometers has been conducted. We present a detailed study on the spatial and temporal noise properties of such coatings by using them in two independent cryogenic silicon optical Fabry-Perot resonators operated at 4 K, 16 K and 124 K. We confirm the expected low Brownian thermal noise, but also discover two new noise sources that exceed the Brownian noise: birefringent noise that can be canceled via polarization averaging and global excess noise (10 dB above Brownian noise). These new noise contributions are a barrier to improving ultra-stable lasers and the related performance of atomic clocks, and potentially limit the sensitivity of third-generation gravitational wave detectors. Hence, they must be considered carefully in precision interferometry experiments using similar coatings based on semiconductor materials.


title: Average Age of Information Penalty of Short-Packet Communications with Packet Management

abstract: In this paper, we analyze the non-linear age of information (AoI) performance in a point-to-point short packet communication system, where a transmitter generates packets based on status updates and transmits the packets to a receiver. Specifically, we investigate three packet management strategies, namely, the non-preemption with no buffer strategy, the non-preemption with one buffer strategy, and the preemption strategy. To characterize the level of the receiver's dissatisfaction on outdated data, we adopt a generalized \alpha-\beta AoI penalty function into the analysis and derive closed-form expressions for the average AoI penalty achieved by the three packet management strategies. Simulation results are used to corroborate our analysis and explicitly evaluate the impact of various system parameters, such as the coding rate and status update generation rate, on the AoI performance. Additionally, we find that the value of \alpha reflects the system transmission reliability.


title: The influence of anisotropy on the evolution of interfacial morphologies in directional solidification: A phase-field study

abstract: By adjusting the interface energy, curvature, and velocity, the anisotropy plays an important role in the interaction between interfacial processes and transport processes, determining the solidification structures. In this paper, through the quantitative phase-field model, the influence of anisotropy on the evolution of interfacial morphologies in directional solidification is investigated. To represent different interfacial anisotropies, the solidification processes with different preferred crystallographic orientations are performed. Then the effect of anisotropy on morphological evolution is discussed systematically. At the planar growth stage, the interfacial anisotropy makes no difference in the transport processes and morphological evolution. At the onset time of planar instability, the anisotropy determines the detailed evolution by adjusting the interface stiffness. At the planar-cellular-transition stage, with the influence of anisotropy, the interfacial curvature decreases from {\theta}0=0{\deg} to {\theta}0=40{\deg}. Hence, the solute concentration ahead of the interface increases from {\theta}0=0{\deg} to {\theta}0=40{\deg}, while the instantaneous velocity of the interface decreases from {\theta}0=0{\deg} to {\theta}0=40{\deg}. At the quasi-steady-state stage, the anisotropy determines the growth direction and tip velocity of the primary dendrite, as well as the onset of sidebranches.


title: Reverse Survival Model (RSM): A Pipeline for Explaining Predictions of Deep Survival Models

abstract: The aim of survival analysis in healthcare is to estimate the probability of occurrence of an event, such as a patient's death in an intensive care unit (ICU). Recent developments in deep neural networks (DNNs) for survival analysis show the superiority of these models in comparison with other well-known models in survival analysis applications. Ensuring the reliability and explainability of deep survival models deployed in healthcare is a necessity. Since DNN models often behave like a black box, their predictions might not be easily trusted by clinicians, especially when predictions are contrary to a physician's opinion. A deep survival model that explains and justifies its decision-making process could potentially gain the trust of clinicians. In this research, we propose the reverse survival model (RSM) framework that provides detailed insights into the decision-making process of survival models. For each patient of interest, RSM can extract similar patients from a dataset and rank them based on the most relevant features that deep survival models rely on for their predictions.


title: Feature Necessity & Relevancy in ML Classifier Explanations

abstract: Given a machine learning (ML) model and a prediction, explanations can be defined as sets of features which are sufficient for the prediction. In some applications, and besides asking for an explanation, it is also critical to understand whether sensitive features can occur in some explanation, or whether a non-interesting feature must occur in all explanations. This paper starts by relating such queries respectively with the problems of relevancy and necessity in logic-based abduction. The paper then proves membership and hardness results for several families of ML classifiers. Afterwards the paper proposes concrete algorithms for two classes of classifiers. The experimental results confirm the scalability of the proposed algorithms.


title: Deepening Neural Networks Implicitly and Locally via Recurrent Attention Strategy

abstract: More and more empirical and theoretical evidence shows that deepening neural networks can effectively improve their performance under suitable training settings. However, deepening the backbone of neural networks will inevitably and significantly increase computation and parameter size. To mitigate these problems, we propose a simple-yet-effective Recurrent Attention Strategy (RAS), which implicitly increases the depth of neural networks with lightweight attention modules by local parameter sharing. The extensive experiments on three widely-used benchmark datasets demonstrate that RAS can improve the performance of neural networks at a slight addition of parameter size and computation, performing favorably against other existing well-known attention modules.


title: ITVOLT: An Iterative Solver for the Time-Dependent Schr\"odinger Equation

abstract: We present a novel approach for solving the time-dependent Schr\"{o}dinger equation (TDSE). The method we propose converts the TDSE to an equivalent Volterra integral equation; introducing a global Lagrange interpolation of the integrand transforms the equation to a linear system, which is then solved iteratively. In this paper, we derive the method, explore its performance on several examples, and discuss the corresponding numerical details.


title: Prototype-Based Layered Federated Cross-Modal Hashing

abstract: Recently, deep cross-modal hashing has gained increasing attention. However, in many practical cases, data are distributed and cannot be collected due to privacy concerns, which greatly reduces the cross-modal hashing performance on each client. And due to the problems of statistical heterogeneity, model heterogeneity, and forcing each client to accept the same parameters, applying federated learning to cross-modal hash learning becomes very tricky. In this paper, we propose a novel method called prototype-based layered federated cross-modal hashing. Specifically, the prototype is introduced to learn the similarity between instances and classes on server, reducing the impact of statistical heterogeneity (non-IID) on different clients. And we monitor the distance between local and global prototypes to further improve the performance. To realize personalized federated learning, a hypernetwork is deployed on server to dynamically update different layers' weights of local model. Experimental results on benchmark datasets show that our method outperforms state-of-the-art methods.


title: Taming the TuRMoiL: The Temperature Dependence of Turbulence in Cloud-Wind Interactions

abstract: Turbulent radiative mixing layers (TRMLs) play an important role in many astrophysical contexts where cool ($\lesssim 10^4$ K) clouds interact with hot flows (e.g., galactic winds, high velocity clouds, infalling satellites in halos and clusters). The fate of these clouds (as well as many of their observable properties) is dictated by the competition between turbulence and radiative cooling; however, turbulence in these multiphase flows remains poorly understood. We have investigated the emergent turbulence arising in the interaction between clouds and supersonic winds in hydrodynamic ENZO-E simulations. In order to obtain robust results, we employed multiple metrics to characterize the turbulent velocity, $v_{\rm turb}$. We find four primary results, when cooling is sufficient for cloud survival. First, $v_{\rm turb}$ manifests clear temperature dependence. Initially, $v_{\rm turb}$ roughly matches the scaling of sound speed on temperature. In gas hotter than the temperature where cooling peaks, this dependence weakens with time until $v_{\rm turb}$ is constant. Second, the relative velocity between the cloud and wind initially drives rapid growth of $v_{\rm turb}$. As it drops (from entrainment), $v_{\rm turb}$ starts to decay before it stabilizes at roughly half its maximum. At late times cooling flows appear to support turbulence. Third, the magnitude of $v_{\rm turb}$ scales with the ratio between the hot phase sound crossing time and the minimum cooling time. Finally, we find tentative evidence for a length-scale associated with resolving turbulence. Under-resolving this scale may cause violent shattering and affect the cloud's large-scale morphological properties.


title: Weak-Scale Higgs Inflation

abstract: The present measurement of the standard model (SM) parameters suggests that the Higgs effective potential has a maximum at the intermediate scale, and the electroweak (EW) vacuum is not absolutely stable. The simplest possibility for absolute EW stability may be introducing a very large Higgs-Ricci scalar non-minimal coupling. In this extension of the SM, I study the cosmic inflation driven by the Higgs field. Since the resulting Hubble parameter happens to be around the weak scale, I call this scenario $weak\text{-}scale\text{ }Higgs\text{ }inflation$. It is pointed out that the cosmic-microwave background normalization of the scalar density perturbation can be enhanced compared with the conventional Higgs inflation prediction, thanks to the potential maximum predicted by the SM. It turns out in the Palatini formulation of the gravity with various higher dimensional terms suppressed by the scale close to the Planck scale that the inflation is successful, with a prediction of the running of the spectral index, $\alpha_s=-(3-4)\times 10^{-3}$, which can be tested in the future. I also argue the UV (in)sensitivity of the prediction, the fact that the parameter region for successful inflation is very close to the criticality for potential shapes for eternal and non-eternal inflation, and the phenomenological applications.


title: Mid-Infrared Echoes of Ambiguous Nuclear Transients Reveal High Dust Covering Fractions: Evidence for Dusty Tori

abstract: Alongside the recent increase in discoveries of tidal disruption events (TDEs) have come an increasing number of ambiguous nuclear transients (ANTs). These ANTs are characterized by hot blackbody-like UV/optical spectral energy distributions (SEDs) and smooth photometric evolution, often with hard powerlaw-like X-ray emission. ANTs are likely exotic TDEs or smooth flares originating in otherwise narrow-line active galactic nuclei (AGNs). While their emission in the UV/optical and X-ray has been relatively well-explored, their infrared (IR) emission has not been studied in detail. Here we use the NEOWISE mission and its low-cadence mapping of the entire sky to study mid-infrared dust reprocessing echoes of ANTs. We study 19 ANTs, finding significant MIR flares in 18 objects for which we can estimate an IR luminosity and temperature evolution. The dust reprocessing echoes show a wide range in IR luminosities ($\sim 10^{42} - 10^{45}$ erg s$^{-1}$) with blackbody temperatures largely consistent with sublimation temperature of graphite grains. Excluding the two sources possibly associated with luminous supernovae (ASASSN-15lh and ASASSN-17jz), the dust covering fractions (f$_c$) for detected IR flares lie between 0.05 and 0.91, with a mean of f$_c$ = 0.29 for all ANTs (including limits) and f$_c$ = $0.38 \pm 0.04$ for detections. These covering fractions are much higher than optically-selected TDEs and similar to AGNs. We interpret the high covering fractions in ANT host galaxies as evidence for the presence of a dusty torus.


title: Meson content of entanglement spectra after integrable and nonintegrable quantum quenches

abstract: We use tensor network simulations to calculate the time evolution of the lower part of the entanglement spectrum and return rate functions after global quantum quenches in the Ising model. We consider ground state quenches towards mesonic parameter ranges with confined fermion pairs as nonperturbative bound states in a semiclassical regime and the relativistic E$_8$ theory. We find that in both cases only the dominant eigenvalue of the modular Hamiltonian fully encodes the meson content of the quantum many-body system or quantum field theory, giving rise to nearly identical entanglement oscillations in the entanglement entropy. When the initial state is prepared in the paramagnetic phase, the return rate density exhibits regular cusps at unequally spaced positions, signaling the appearance of dynamical quantum phase transitions, at which the entanglement spectrum remains gapped. Our analyses provide a deeper understanding on the role of quantum information quantities for the dynamics of emergent phenomena reminiscent of systems in high-energy physics.

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


title: QFT in AdS instead of LSZ

abstract: The boundary correlation functions for a QFT in a fixed AdS background should reduce to S-matrix elements in the flat-space limit. We consider this procedure in detail for four-point functions. With minimal assumptions we rigorously show that the resulting S-matrix element obeys a dispersion relation, the non-linear unitarity conditions, and the Froissart-Martin bound. QFT in AdS thus provides an alternative route to fundamental QFT results that normally rely on the LSZ axioms.


title: Combining effective-one-body accuracy and reduced-order-quadrature speed for binary neutron star merger parameter estimation with machine learning

abstract: We present mlgw-bns, a gravitational waveform surrogate that allows for a significant improvement in the generation speed of frequency-domain waveforms for binary neutron star mergers, at a negligible cost in accuracy. This improvement is achieved by training a machine-learning model on a dataset of waveforms generated with an accurate but comparatively costlier approximant: the state-of-the-art effective-one-body model TEOBResumSPA. When coupled to a reduced-order scheme, mlgw-bns can accelerate waveform generation up to a factor of ~35, outperforming all other approximants of similar accuracy. By analyzing GW170817 in realistic parameter estimation settings with our scheme, we showcase an overall speedup against TEOBResumSPA greater than an order of magnitude. Our methodology will bear a significant impact on the scientific program of next generation detectors by allowing routine usage of accurate effective-one-body models.


title: Exotic marginally outer trapped surfaces in rotating spacetimes of any dimension

abstract: The recently developed MOTSodesic method for locating marginally outer trapped surfaces was effectively restricted to non-rotating spacetimes. In this paper we extend the method to (multi-)axisymmetric time slices of (multi-)axisymmetric spacetimes of any dimension. We then apply this method to study marginally outer trapped surfaces (MOTSs) in the BTZ, Kerr and Myers-Perry black holes. While there are many similarities between the MOTSs observed in these spacetimes and those seen in Schwarzschild and Reissner-Nordstr\"om, details of the more complicated geometries also introduce some new, previously unseen, behaviours.


title: Minidisk Influence on Flow Variability in Accreting Spinning Black Hole Binaries: Simulations in Full General Relativity

abstract: We perform magnetohydrodynamic simulations of accreting, equal-mass binary black holes in full general relativity focusing on the effect of spin and minidisks on the accretion rate and Poynting luminosity variability. We report on the structure of the minidisks and periodicities in the mass of the minidisks, mass accretion rates, and Poynting luminosity. The accretion rate exhibits a quasi-periodic behavior related to the orbital frequency of the binary in all systems that we study, but the amplitude of this modulation is dependent on the existence of persistent minidisks. In particular, systems that are found to produce persistent minidisks have a much weaker modulation of the mass accretion rate, indicating that minidisks can increase the inflow time of matter onto the black holes, and dampen out the quasi-periodic behavior. This finding has potential consequences for binaries at greater separations where minidisks can be much larger and may dampen out the periodicities significantly.


title: Lower Bounds on Quantum Annealing Times

abstract: The adiabatic theorem provides sufficient conditions for the time needed to prepare a target ground state. While it is possible to prepare a target state much faster with more general quantum annealing protocols, rigorous results beyond the adiabatic regime are rare. Here, we provide such a result, deriving lower bounds on the time needed to successfully perform quantum annealing. The bounds are asymptotically saturated by three toy models where fast annealing schedules are known: the Roland and Cerf unstructured search model, the Hamming spike problem, and the ferromagnetic p-spin model. Our bounds demonstrate that these schedules have optimal scaling. Our results also show that rapid annealing requires coherent superpositions of energy eigenstates, singling out quantum coherence as a computational resource.


title: Extending Optical Flare Models to the UV: Results from Comparing of TESS and GALEX Flare Observations For M Dwarfs

abstract: The ultraviolet (UV) emission of stellar flares may have a pivotal role in the habitability of rocky exoplanets around low-mass stars. Previous studies have used white-light observations to calibrate empirical models which describe the optical and UV flare emission. However, the accuracy of the UV predictions of models have previously not been tested. We combined TESS optical and GALEX UV observations to test the UV predictions of empirical flare models calibrated using optical flare rates of M stars. We find that the canonical 9000 K blackbody model used by flare studies underestimates the GALEX NUV energies of field age M stars by up to a factor of 6.5$\pm$0.7 and the GALEX FUV energies of fully convective field age M stars by 30.6$\pm$10.0. We calculated energy correction factors that can be used to bring the UV predictions of flare models closer in line with observations. We calculated pseudo-continuum flare temperatures that describe both the white-light and GALEX NUV emission. We measured a temperature of 10,700 K for flares from fully convective M stars after accounting for the contribution from UV line emission. We also applied our correction factors to the results of previous studies of the role of flares in abiogenesis. Our results show that M stars do not need to be as active as previously thought in order to provide the NUV flux required for prebiotic chemistry, however we note that flares will also provide more FUV flux than previously modelled.


title: Angular Momentum Loss Due to Tidal Effects in the Post-Minkowskian Expansion

abstract: We calculate the tidal corrections to the loss of angular momentum in a two-body collision at leading Post-Minkowskian order from an amplitude-based approach. The eikonal operator allows us to efficiently combine elastic and inelastic amplitudes, and captures both the contributions due to genuine gravitational-wave emissions and those due to the static gravitational field. We calculate the former by harnessing powerful collider-physics techniques such as reverse-unitarity, thereby reducing them to cut two-loop integrals, and validate the result with an independent calculation in the Post-Newtonian limit. For the latter, we can employ the results of arXiv:2203.11915 where static-field effects were calculated for generic gravitational scattering events using the leading soft graviton theorem.


title: Impact of Rubin Observatory cadence choices on supernovae photometric classification

abstract: The Vera C. Rubin Observatory's Legacy Survey of Space and Time (LSST) will discover an unprecedented number of supernovae (SNe), making spectroscopic classification for all the events infeasible. LSST will thus rely on photometric classification, whose accuracy depends on the not-yet-finalized LSST observing strategy. In this work, we analyze the impact of cadence choices on classification performance using simulated multi-band light curves. First, we simulate SNe with an LSST baseline cadence, a non-rolling cadence, and a presto-color cadence which observes each sky location three times per night instead of twice. Each simulated dataset includes a spectroscopically-confirmed training set, which we augment to be representative of the test set as part of the classification pipeline. Then, we use the photometric transient classification library snmachine to build classifiers. We find that the active region of the rolling cadence used in the baseline observing strategy yields a 25% improvement in classification performance relative to the background region. This improvement in performance in the actively-rolling region is also associated with an increase of up to a factor of 2.7 in the number of cosmologically-useful Type Ia supernovae relative to the background region. However, adding a third visit per night as implemented in presto-color degrades classification performance due to more irregularly sampled light curves. Overall, our results establish desiderata on the observing cadence related to classification of full SNe light curves, which in turn impacts photometric SNe cosmology with LSST.