title: Neutrino propagation in the Earth and emerging charged leptons with $\texttt{nuPyProp}$

abstract: Ultra-high-energy neutrinos serve as messengers of some of the highest energy astrophysical environments. Given that neutrinos are neutral and only interact via weak interactions, neutrinos can emerge from sources, traverse astronomical distances, and point back to their origins. Their weak interactions require large target volumes for neutrino detection. Using the Earth as a neutrino converter, terrestrial, sub-orbital, and satellite-based instruments are able to detect signals of neutrino-induced extensive air showers. In this paper, we describe the software code $\texttt{nuPyProp}$ that simulates tau neutrino and muon neutrino interactions in the Earth and predicts the spectrum of the $\tau$-lepton and muons that emerge. The $\texttt{nuPyProp}$ outputs are lookup tables of charged lepton exit probabilities and energies that can be used directly or as inputs to the $\texttt{nuSpaceSim}$ code designed to simulate optical and radio signals from extensive air showers induced by the emerging charged leptons. We describe the inputs to the code, demonstrate its flexibility and show selected results for $\tau$-lepton and muon exit probabilities and energy distributions. The $\texttt{nuPyProp}$ code is open source, available on Github.


title: Semi-integral Brauer-Manin obstruction and quadric orbifold pairs

abstract: We study local-global principles for two notions of semi-integral points, termed Campana points and Darmon points. In particular, we develop a semi-integral version of the Brauer-Manin obstruction interpolating between Manin's classical version for rational points and the integral version developed by Colliot-Th\'el\`ene and Xu. We determine the status of local-global principles, and obstructions to them, in two families of orbifolds naturally associated to quadric hypersurfaces. Further, we establish a quantitative result measuring the failure of the semi-integral Brauer-Manin obstruction to account for its integral counterpart for affine quadrics.


title: Hierarchies Everywhere -- Managing & Measuring Uncertainty in Hierarchical Time Series

abstract: We examine the problem of making reconciled forecasts of large collections of related time series through a behavioural/Bayesian lens. Our approach explicitly acknowledges and exploits the 'connectedness' of the series in terms of time-series characteristics and forecast accuracy as well as hierarchical structure. By making maximal use of the available information, and by significantly reducing the dimensionality of the hierarchical forecasting problem, we show how to improve the accuracy of the reconciled forecasts. In contrast to existing approaches, our structure allows the analysis and assessment of the forecast value added at each hierarchical level. Our reconciled forecasts are inherently probabilistic, whether probabilistic base forecasts are used or not.


title: Automated Characterization of Catalytically Active Inclusion Body Production in Biotechnological Screening Systems

abstract: We here propose an automated pipeline for the microscopy image-based characterization of catalytically active inclusion bodies (CatIBs), which includes a fully automatic experimental high-throughput workflow combined with a hybrid approach for multi-object microbial cell segmentation. For automated microscopy, a CatIB producer strain was cultivated in a microbioreactor from which samples were injected into a flow chamber. The flow chamber was fixed under a microscope and an integrated camera took a series of images per sample. To explore heterogeneity of CatIB development during the cultivation and track the size and quantity of CatIBs over time, a hybrid image processing pipeline approach was developed, which combines an ML-based detection of in-focus cells with model-based segmentation. The experimental setup in combination with an automated image analysis unlocks high-throughput screening of CatIB production, saving time and resources. Biotechnological relevance - CatIBs have wide application in synthetic chemistry and biocatalysis, but also could have future biomedical applications such as therapeutics. The proposed hybrid automatic image processing pipeline can be adjusted to treat comparable biological microorganisms, where fully data-driven ML-based segmentation approaches are not feasible due to the lack of training data. Our work is the first step towards image-based bioprocess control.


title: Cloud Classification with Unsupervised Deep Learning

abstract: We present a framework for cloud characterization that leverages modern unsupervised deep learning technologies. While previous neural network-based cloud classification models have used supervised learning methods, unsupervised learning allows us to avoid restricting the model to artificial categories based on historical cloud classification schemes and enables the discovery of novel, more detailed classifications. Our framework learns cloud features directly from radiance data produced by NASA's Moderate Resolution Imaging Spectroradiometer (MODIS) satellite instrument, deriving cloud characteristics from millions of images without relying on pre-defined cloud types during the training process. We present preliminary results showing that our method extracts physically relevant information from radiance data and produces meaningful cloud classes.


title: A Generalization of Lehman's Method

abstract: A new deterministic algorithm for finding square divisors, and finding $r$-power divisors in general, is presented. This algorithm is based on Lehman's method for integer factorization and is straightforward to implement. While the theoretical complexity of the new algorithm is far from best known, the algorithm becomes especially effective if even a loose bound on a square divisor is known. Additionally, we answer a question by D. Harvey and M. Hittmeir on whether their recent deterministic algorithm for integer factorization can be adapted to finding $r$-power divisors.


title: Investigating the Effect of Galaxy Interactions on Star Formation at 0.5<z<3.0

abstract: Observations and simulations of interacting galaxies and mergers in the local universe have shown that interactions can significantly enhance the star formation rates (SFR) and fueling of Active Galactic Nuclei (AGN). However, at higher redshift, some simulations suggest that the level of star formation enhancement induced by interactions is lower due to the higher gas fractions and already increased SFRs in these galaxies. To test this, we measure the SFR enhancement in a total of 2351 (1327) massive ($M_*>10^{10}M_\odot$) major ($1<M_1/M_2<4$) spectroscopic galaxy pairs at 0.5<z<3.0 with $\Delta V <5000$ km s$^{-1}$ (1000 km s$^{-1}$) and projected separation <150 kpc selected from the extensive spectroscopic coverage in the COSMOS and CANDELS fields. We find that the highest level of SFR enhancement is a factor of 1.23$^{+0.08}_{-0.09}$ in the closest projected separation bin (<25 kpc) relative to a stellar mass-, redshift-, and environment-matched control sample of isolated galaxies. We find that the level of SFR enhancement is a factor of $\sim1.5$ higher at 0.5<z<1 than at 1<z<3 in the closest projected separation bin. Among a sample of visually identified mergers, we find an enhancement of a factor of 1.86$^{+0.29}_{-0.18}$ for coalesced systems. For this visually identified sample, we see a clear trend of increased SFR enhancement with decreasing projected separation (2.40$^{+0.62}_{-0.37}$ vs.\ 1.58$^{+0.29}_{-0.20}$ for 0.5<z<1.6 and 1.6<z<3.0, respectively). The SFR enhancement seen in our interactions and mergers are all lower than the level seen in local samples at the same separation, suggesting that the level of interaction-induced star formation evolves significantly over this time period.


title: New Metric Formulas that Include Measurement Errors in Machine Learning for Natural Sciences

abstract: The application of machine learning to physics problems is widely found in the scientific literature. Both regression and classification problems are addressed by a large array of techniques that involve learning algorithms. Unfortunately, the measurement errors of the data used to train machine learning models are almost always neglected. This leads to estimations of the performance of the models (and thus their generalisation power) that is too optimistic since it is always assumed that the target variables (what one wants to predict) are correct. In physics, this is a dramatic deficiency as it can lead to the belief that theories or patterns exist where, in reality, they do not. This paper addresses this deficiency by deriving formulas for commonly used metrics (both for regression and classification problems) that take into account measurement errors of target variables. The new formulas give an estimation of the metrics which is always more pessimistic than what is obtained with the classical ones, not taking into account measurement errors. The formulas given here are of general validity, completely model-independent, and can be applied without limitations. Thus, with statistical confidence, one can analyze the existence of relationships when dealing with measurements with errors of any kind. The formulas have wide applicability outside physics and can be used in all problems where measurement errors are relevant to the conclusions of studies.


title: Where Should I Spend My FLOPS? Efficiency Evaluations of Visual Pre-training Methods

abstract: Self-supervised methods have achieved remarkable success in transfer learning, often achieving the same or better accuracy than supervised pre-training. Most prior work has done so by increasing pre-training computation by adding complex data augmentation, multiple views, or lengthy training schedules. In this work, we investigate a related, but orthogonal question: given a fixed FLOP budget, what are the best datasets, models, and (self-)supervised training methods for obtaining high accuracy on representative visual tasks? Given the availability of large datasets, this setting is often more relevant for both academic and industry labs alike. We examine five large-scale datasets (JFT-300M, ALIGN, ImageNet-1K, ImageNet-21K, and COCO) and six pre-training methods (CLIP, DINO, SimCLR, BYOL, Masked Autoencoding, and supervised). In a like-for-like fashion, we characterize their FLOP and CO$_2$ footprints, relative to their accuracy when transferred to a canonical image segmentation task. Our analysis reveals strong disparities in the computational efficiency of pre-training methods and their dependence on dataset quality. In particular, our results call into question the commonly-held assumption that self-supervised methods inherently scale to large, uncurated data. We therefore advocate for (1) paying closer attention to dataset curation and (2) reporting of accuracies in context of the total computational cost.


title: Constraints on dark matter annihilation from the FAST observation of the Coma Berenices dwarf galaxy

abstract: The Galactic center $\gamma$-ray excess, detected by the Fermi-LAT, is a very attractive tentative signal from dark matter annihilation. Searching for associated synchrotron emissions can test the dark matter interpretation for this excess. We geared the Five-hundred-meter Aperture Spherical radio Telescope (FAST) towards Coma Berenices (a dwarf Spheroidal galaxy) for 2-hours of observation, and found no significant continuum radio emission, which could { put constraints on the dark matter annihilation cross section}, from our target. We set very stringent annihilation cross-section constraints, with roughly an order of magnitude improvement over a large range of masses compared with previous radio searches. The dark matter scenario for the Galactic center $\gamma$-ray excess is in tension with the FAST observation for reasonable choices of astrophysical factors. But considering the large uncertainty on astrophysical parameters, such as the magnetic field, the diffusion coefficient, and the diffusion radius, and on DM halo parameters, the dark matter interpretation for the excess could still survive. Further radio observations by the FAST and other radio telescopes may reveal more about the dark matter properties.


title: The White Dwarf Binary Pathways Survey -- VIII: a post common envelope binary with a massive white dwarf and an active G-type secondary star

abstract: The white dwarf binary pathways survey is dedicated to studying the origin and evolution of binaries containing a white dwarf and an intermediate-mass secondary star of the spectral type A, F, G, or K (WD+AFGK). Here we present CPD-65\,264, a new post common envelope binary with an orbital period of 1.37\,days that contains a massive white dwarf ($ 0.86\pm 0.06\,\mathrm{M}_{\odot}$) and an intermediate-mass ($1.00\pm0.05\,\mathrm{M}_{\odot}$) main-sequence secondary star. We characterized the secondary star and measured the orbital period using high-resolution optical spectroscopy. The white dwarf parameters are determined from HST spectroscopy. In addition, TESS observations revealed that up to 19 per cent of the surface of the secondary is covered with starspots. Small period changes found in the light curve indicate that the secondary is the second example of a G-type secondary star in a post-common envelope binary with latitudinal differential rotation. Given the relatively large mass of the white dwarf and the short orbital period, future mass transfer will be dynamically and thermally stable and the system will evolve into a cataclysmic variable. The formation of the system can be understood assuming common envelope evolution without contributions from energy sources besides orbital energy. CPD-65\,264 is the seventh post-common envelope binaries with intermediate-mass secondaries that can be understood assuming a small efficiency in the common envelope energy equation, in agreement with findings for post-common envelope binaries with M-dwarf or sub-stellar companions.


title: Entanglement Meter: Estimation of entanglement with single copy in Interferometer

abstract: Efficient certification and quantification of high dimensional entanglement of composite systems are challenging both theoretically as well as experimentally. Here, we demonstrate that several entanglement detection methods can be implemented efficiently in a Mach-Zehnder Interferometric set-up. In particular, we demonstrate how to measure the linear entropy and the negativity of bipartite systems from the visibility of Mach-Zehnder interferometer using single copy of the input state. Our result shows that for any two qubit pure bipartite state, the interference visibility is a direct measure of entanglement. We also propose how to measure the mutual predictability experimentally from the intensity patterns of the interferometric set-up without having to resort to local measurements of mutually unbiased bases. Furthermore, we show that the entanglement witness operator can be measured in a interference setup and the phase shift is sensitive to the separable or entangled nature of the state. Our proposals bring out the power of Interferometric set-up in entanglement detection of pure and several mixed states which paves the way towards design of entanglement meter.


title: A simple analytical expression of quantum Fisher and Skew information and their dynamics under decoherence channels

abstract: In statistical estimation theory, it has been shown previously that the Wigner-Yanase skew information is bounded by the quantum Fisher information associated with the phase parameter. Besides, the quantum Cram\'er-Rao inequality is expressed in terms of skew information. Since these two fundamental quantities are based on the concept of quantum uncertainty, we derive here their analytical formulas for arbitrary two qubit $X$-states using the same analytical procedures. A comparison of these two informational quantifiers for two quasi-Werner states composed of two bipartite superposed coherent states is examined. Moreover, we investigated the decoherence effects on such quantities generated by the phase damping, depolarization and amplitude damping channels. We showed that decoherence strongly influences the quantum criteria during the evolution and these quantities exhibit similar dynamic behaviors. This current work is characterized by the fact that these two concepts play the same role and capture similar properties in quantum estimation protocols.


title: Self-Stabilization: The Implicit Bias of Gradient Descent at the Edge of Stability

abstract: Traditional analyses of gradient descent show that when the largest eigenvalue of the Hessian, also known as the sharpness $S(\theta)$, is bounded by $2/\eta$, training is "stable" and the training loss decreases monotonically. Recent works, however, have observed that this assumption does not hold when training modern neural networks with full batch or large batch gradient descent. Most recently, Cohen et al. (2021) observed two important phenomena. The first, dubbed progressive sharpening, is that the sharpness steadily increases throughout training until it reaches the instability cutoff $2/\eta$. The second, dubbed edge of stability, is that the sharpness hovers at $2/\eta$ for the remainder of training while the loss continues decreasing, albeit non-monotonically. We demonstrate that, far from being chaotic, the dynamics of gradient descent at the edge of stability can be captured by a cubic Taylor expansion: as the iterates diverge in direction of the top eigenvector of the Hessian due to instability, the cubic term in the local Taylor expansion of the loss function causes the curvature to decrease until stability is restored. This property, which we call self-stabilization, is a general property of gradient descent and explains its behavior at the edge of stability. A key consequence of self-stabilization is that gradient descent at the edge of stability implicitly follows projected gradient descent (PGD) under the constraint $S(\theta) \le 2/\eta$. Our analysis provides precise predictions for the loss, sharpness, and deviation from the PGD trajectory throughout training, which we verify both empirically in a number of standard settings and theoretically under mild conditions. Our analysis uncovers the mechanism for gradient descent's implicit bias towards stability.


title: Rethinking Data Heterogeneity in Federated Learning: Introducing a New Notion and Standard Benchmarks

abstract: Though successful, federated learning presents new challenges for machine learning, especially when the issue of data heterogeneity, also known as Non-IID data, arises. To cope with the statistical heterogeneity, previous works incorporated a proximal term in local optimization or modified the model aggregation scheme at the server side or advocated clustered federated learning approaches where the central server groups agent population into clusters with jointly trainable data distributions to take the advantage of a certain level of personalization. While effective, they lack a deep elaboration on what kind of data heterogeneity and how the data heterogeneity impacts the accuracy performance of the participating clients. In contrast to many of the prior federated learning approaches, we demonstrate not only the issue of data heterogeneity in current setups is not necessarily a problem but also in fact it can be beneficial for the FL participants. Our observations are intuitive: (1) Dissimilar labels of clients (label skew) are not necessarily considered data heterogeneity, and (2) the principal angle between the agents' data subspaces spanned by their corresponding principal vectors of data is a better estimate of the data heterogeneity. Our code is available at https://github.com/MMorafah/FL-SC-NIID.


title: Individual Privacy Accounting with Gaussian Differential Privacy

abstract: Individual privacy accounting enables bounding differential privacy (DP) loss individually for each participant involved in the analysis. This can be informative as often the individual privacy losses are considerably smaller than those indicated by the DP bounds that are based on considering worst-case bounds at each data access. In order to account for the individual privacy losses in a principled manner, we need a privacy accountant for adaptive compositions of randomised mechanisms, where the loss incurred at a given data access is allowed to be smaller than the worst-case loss. This kind of analysis has been carried out for the R\'enyi differential privacy (RDP) by Feldman and Zrnic (2021), however not yet for the so-called optimal privacy accountants. We make first steps in this direction by providing a careful analysis using the Gaussian differential privacy which gives optimal bounds for the Gaussian mechanism, one of the most versatile DP mechanisms. This approach is based on determining a certain supermartingale for the hockey-stick divergence and on extending the R\'enyi divergence-based fully adaptive composition results by Feldman and Zrnic. We also consider measuring the individual $(\varepsilon,\delta)$-privacy losses using the so-called privacy loss distributions. With the help of the Blackwell theorem, we can then make use of the RDP analysis to construct an approximative individual $(\varepsilon,\delta)$-accountant.


title: MEIM: Multi-partition Embedding Interaction Beyond Block Term Format for Efficient and Expressive Link Prediction

abstract: Knowledge graph embedding aims to predict the missing relations between entities in knowledge graphs. Tensor-decomposition-based models, such as ComplEx, provide a good trade-off between efficiency and expressiveness, that is crucial because of the large size of real world knowledge graphs. The recent multi-partition embedding interaction (MEI) model subsumes these models by using the block term tensor format and provides a systematic solution for the trade-off. However, MEI has several drawbacks, some of which carried from its subsumed tensor-decomposition-based models. In this paper, we address these drawbacks and introduce the Multi-partition Embedding Interaction iMproved beyond block term format (MEIM) model, with independent core tensor for ensemble effects and soft orthogonality for max-rank mapping, in addition to multi-partition embedding. MEIM improves expressiveness while still being highly efficient, helping it to outperform strong baselines and achieve state-of-the-art results on difficult link prediction benchmarks using fairly small embedding sizes. The source code is released at https://github.com/tranhungnghiep/MEIM-KGE.


title: Odd distances in colourings of the plane

abstract: We prove that every finite colouring of the plane contains a monochromatic pair of points at an odd distance from each other.


title: Descartes's "Rule of Signs'' and Poincar\'e's Positivstellensatz

abstract: This is an exposition of Poincar\'e's 1883 paper, ``Sur les \'equations alg\'ebriques,'' which gives an important refinement of Descartes's rule of signs and was a precursor of P\' olya's Positivstellensatz.


title: Tautological bundles on parabolic moduli spaces: Euler characteristics and Hecke correspondences

abstract: We calculate the Euler characteristic of associated vector bundles over the moduli spaces of stable parabolic bundles on smooth curves. Our method is based on a wall-crossing technique from Geometric Invariant Theory, certain iterated residue calculus and the tautological Hecke correspondence. Our work was motivated by the results of Teleman and Woodward on the index of K-theory classes on moduli stacks.


title: Design and analysis of digital communication within an SoC-based control system for trapped-ion quantum computing

abstract: Electronic control systems used for quantum computing have become increasingly complex as multiple qubit technologies employ larger numbers of qubits with higher fidelity targets. Whereas the control systems for different technologies share some similarities, parameters like pulse duration, throughput, real-time feedback, and latency requirements vary widely depending on the qubit type. In this paper, we evaluate the performance of modern System-on-Chip (SoC) architectures in meeting the control demands associated with performing quantum gates on trapped-ion qubits, particularly focusing on communication within the SoC. A principal focus of this paper is the data transfer latency and throughput of several high-speed on-chip mechanisms on Xilinx multi-processor SoCs, including those that utilize direct memory access (DMA). They are measured and evaluated to determine an upper bound on the time required to reconfigure a gate parameter. Worst-case and average-case bandwidth requirements for a custom gate sequencer core are compared with the experimental results. The lowest-variability, highest-throughput data-transfer mechanism is DMA between the real-time processing unit (RPU) and the PL, where bandwidths up to 19.2 GB/s are possible. For context, this enables reconfiguration of qubit gates in less than 2$\mu$s, comparable to the fastest gate time. Though this paper focuses on trapped-ion control systems, the gate abstraction scheme and measured communication rates are applicable to a broad range of quantum computing technologies.


title: The state of play of reproducibility in Statistics: an empirical analysis

abstract: Reproducibility, the ability to reproduce the results of published papers or studies using their computer code and data, is a cornerstone of reliable scientific methodology. Studies where results cannot be reproduced by the scientific community should be treated with caution. Over the past decade, the importance of reproducible research has been frequently stressed in a wide range of scientific journals such as \textit{Nature} and \textit{Science} and international magazines such as \textit{The Economist}. However, multiple studies have demonstrated that scientific results are often not reproducible across research areas such as psychology and medicine. Statistics, the science concerned with developing and studying methods for collecting, analyzing, interpreting and presenting empirical data, prides itself on its openness when it comes to sharing both computer code and data. In this paper, we examine reproducibility in the field of statistics by attempting to reproduce the results in 93 published papers in prominent journals utilizing functional magnetic resonance imaging (fMRI) data during the 2010-2021 period. Overall, from both the computer code and the data perspective, among all the 93 examined papers, we could only reproduce the results in 14 (15.1%) papers, that is, the papers provide both executable computer code (or software) with the real fMRI data, and our results matched the results in the paper. Finally, we conclude with some author-specific and journal-specific recommendations to improve the research reproducibility in statistics.


title: Modeling dispersive silver in the electrodynamic lattice-Boltzmann method using complex-conjugate pole-residue pairs

abstract: The polarization density of a broadband electrodynamic lattice-Boltzmann method (ELBM) is generalized to represent frequency-dispersion of materials interacting with electromagnetic waves. The frequency-dependent refractive index and extinction coefficient are modeled using complex-conjugate pole-residue pairs in an auxiliary-differential-equation (ADE). Electric and magnetic fields are evaluated on a single lattice, ensuring a stable numerical solution up to the Nyquist limit. The electric and magnetic fields from the ELBM are compared with the electric and magnetic fields from the finite-difference-time-domain (FDTD) method. Accurate transmittance of a 100 nm silver slab is extracted from the transmitted power spectrum of a broadband Dirac-delta wave-function for photon energies ranging from 0.125-5 eV. Given this capability, the ELBM with an ADE is an accurate and computationally efficient method for modeling broadband frequency-dispersion of materials.


title: Can quantized fragmentation replace colour reconnection models ?

abstract: A brief overview of properties of the model of quantized fragmentation of a helical QCD string is followed by the discussion of colour reconnection models and of the ways to reproduce the evolution of the average transverse momentum in hadronic events, as function of charged particle multiplicity. Reference to recent experimental data is included.


title: Bias Mimicking: A Simple Sampling Approach for Bias Mitigation

abstract: Prior work has shown that Visual Recognition datasets frequently underrepresent bias groups $B$ (\eg Female) within class labels $Y$ (\eg Programmers). This dataset bias can lead to models that learn spurious correlations between class labels and bias groups such as age, gender, or race. Most recent methods that address this problem require significant architectural changes or additional loss functions requiring more hyper-parameter tuning. Alternatively, data sampling baselines from the class imbalance literature (\eg Undersampling, Upweighting), which can often be implemented in a single line of code and often have no hyperparameters, offer a cheaper and more efficient solution. However, these methods suffer from significant shortcomings. For example, Undersampling drops a significant part of the input distribution per epoch while Oversampling repeats samples, causing overfitting. To address these shortcomings, we introduce a new class-conditioned sampling method: Bias Mimicking. The method is based on the observation that if a class $c$ bias distribution, \ie $P_D(B|Y=c)$ is mimicked across every $c^{\prime}\neq c$, then $Y$ and $B$ are statistically independent. Using this notion, BM, through a novel training procedure, ensures that the model is exposed to the entire distribution per epoch without repeating samples. Consequently, Bias Mimicking improves underrepresented groups' accuracy of sampling methods by 3\% over four benchmarks while maintaining and sometimes improving performance over nonsampling methods. Code: \url{https://github.com/mqraitem/Bias-Mimicking}


title: Frobenius monoidal functors from (co)Hopf adjunctions

abstract: Let $U:\mathcal{C}\rightarrow\mathcal{D}$ be a strong monoidal functor between abelian monoidal categories admitting a right adjoint $R$, such that $R$ is exact, faithful and the adjunction $U\dashv R$ is coHopf. Building on the work of Balan, we show that $R$ is separable (resp., special) Frobenius monoidal if and only if $R(\mathbb{1}_{\mathcal{D}})$ is a separable (resp., special) Frobenius algebra in $\mathcal{C}$. If further, $\mathcal{C},\mathcal{D}$ are pivotal (resp., ribbon) categories and $U$ is a pivotal (resp., braided pivotal) functor, then $R$ is a pivotal (resp., ribbon) functor if and only if $R(\mathbb{1}_{\mathcal{D}})$ is a symmetric Frobenius algebra in $\mathcal{C}$. As an application, we construct Frobenius monoidal functors going into the Drinfeld center $\mathcal{Z}(\mathcal{C})$, thereby producing Frobenius algebras in it.


title: Density of the free additive convolution of multi-cut measures

abstract: We consider the free additive convolution semigroup $\lbrace \mu^{\boxplus t}:\,t\ge 1\rbrace$ and determine the local behavior of the density of $\mu^{\boxplus t}$ at the endpoints and at any singular point of its support. We then study the free additive convolution of two multi-cut probability measures and show that its density decays either as a square root or as a cubic root at any endpoints of its support. The probability measures considered in this paper satisfy a power law behavior with exponents strictly between $-1$ and $1$ at the endpoints of their supports.


title: Shuffled linear regression through graduated convex relaxation

abstract: The shuffled linear regression problem aims to recover linear relationships in datasets where the correspondence between input and output is unknown. This problem arises in a wide range of applications including survey data, in which one needs to decide whether the anonymity of the responses can be preserved while uncovering significant statistical connections. In this work, we propose a novel optimization algorithm for shuffled linear regression based on a posterior-maximizing objective function assuming Gaussian noise prior. We compare and contrast our approach with existing methods on synthetic and real data. We show that our approach performs competitively while achieving empirical running-time improvements. Furthermore, we demonstrate that our algorithm is able to utilize the side information in the form of seeds, which recently came to prominence in related problems.


title: $\Phi$-DVAE: Physics-Informed Dynamical Variational Autoencoders for Unstructured Data Assimilation

abstract: Incorporating unstructured data into physical models is a challenging problem that is emerging in data assimilation. Traditional approaches focus on well-defined observation operators whose functional forms are typically assumed to be known. This prevents these methods from achieving a consistent model-data synthesis in configurations where the mapping from data-space to model-space is unknown. To address these shortcomings, in this paper we develop a physics-informed dynamical variational autoencoder ($\Phi$-DVAE) to embed diverse data streams into time-evolving physical systems described by differential equations. Our approach combines a standard, possibly nonlinear, filter for the latent state-space model and a VAE, to assimilate the unstructured data into the latent dynamical system. Unstructured data, in our example systems, comes in the form of video data and velocity field measurements, however the methodology is suitably generic to allow for arbitrary unknown observation operators. A variational Bayesian framework is used for the joint estimation of the encoding, latent states, and unknown system parameters. To demonstrate the method, we provide case studies with the Lorenz-63 ordinary differential equation, and the advection and Korteweg-de Vries partial differential equations. Our results, with synthetic data, show that $\Phi$-DVAE provides a data efficient dynamics encoding methodology which is competitive with standard approaches. Unknown parameters are recovered with uncertainty quantification, and unseen data are accurately predicted.


title: Global Hyperbolicity through the Eyes of the Null Distance

abstract: No Hopf-Rinow Theorem is possible in Lorentzian Geometry. Nonetheless, we prove that a spacetime is globally hyperbolic if and only if it is metrically complete with respect to the null distance of a time function. Our approach is based on the observation that null distances behave particularly well for weak temporal functions in terms of regularity and causality. Specifically, we also show that the null distances of Cauchy temporal functions and regular cosmological time functions encode causality globally.


title: Protein structure generation via folding diffusion

abstract: The ability to computationally generate novel yet physically foldable protein structures could lead to new biological discoveries and new treatments targeting yet incurable diseases. Despite recent advances in protein structure prediction, directly generating diverse, novel protein structures from neural networks remains difficult. In this work, we present a new diffusion-based generative model that designs protein backbone structures via a procedure that mirrors the native folding process. We describe protein backbone structure as a series of consecutive angles capturing the relative orientation of the constituent amino acid residues, and generate new structures by denoising from a random, unfolded state towards a stable folded structure. Not only does this mirror how proteins biologically twist into energetically favorable conformations, the inherent shift and rotational invariance of this representation crucially alleviates the need for complex equivariant networks. We train a denoising diffusion probabilistic model with a simple transformer backbone and demonstrate that our resulting model unconditionally generates highly realistic protein structures with complexity and structural patterns akin to those of naturally-occurring proteins. As a useful resource, we release the first open-source codebase and trained models for protein structure diffusion.


title: How to increase the physics output per MW.h for FCC-ee?

abstract: The efficiency of colliders for physics is largely determined by their luminosity, while most of the energy consumed by high-energy $e^+e^-$ colliders is proportional to the total beam current. Thus, the energy efficiency is mainly determined by the specific luminosity that needs to be maximized. One of the most effective ways to achieve this is by using the Crab waist collision scheme, which implies a large Piwinski angle (LPA). A distinctive feature of the FCC-ee is the great influence of beamstrahlung (radiation in the field of an opposite bunch) on beam dynamics. At low energies, this manifests itself in a significant increase in the energy spread and bunch length, at high energies, in a limitation of the beam lifetime. The collision of intense bunches with LPA and beamstrahlung can also lead to various kinds of instabilities limiting the luminosity. Here, we discuss the main aspects to consider when optimizing the parameters of the FCC-ee collider at different energies and explain the choice of basic parameters such as RF voltage, lattice functions at IP, bunch intensity, etc. We will also pay attention to open issues requiring further study and identify some key points for the next phase of this project.


title: Limit linear series: combinatorial theory

abstract: The aim of this paper is to develop a purely combinatorial theory of limit linear series on metric graphs. This will be based on the formalism of hypercube rank functions and slope structures. Some applications and connections to other concepts in combinatorial algebraic geometry, as well as several open questions, are discussed in the paper.


title: TinyTurbo: Efficient Turbo Decoders on Edge

abstract: In this paper, we introduce a neural-augmented decoder for Turbo codes called TINYTURBO . TINYTURBO has complexity comparable to the classical max-log-MAP algorithm but has much better reliability than the max-log-MAP baseline and performs close to the MAP algorithm. We show that TINYTURBO exhibits strong robustness on a variety of practical channels of interest, such as EPA and EVA channels, which are included in the LTE standards. We also show that TINYTURBO strongly generalizes across different rate, blocklengths, and trellises. We verify the reliability and efficiency of TINYTURBO via over-the-air experiments.


title: A Novel Mixture Model for Characterizing Human Aiming Performance Data

abstract: Fitts' law is often employed as a predictive model for human movement, especially in the field of human-computer interaction. Models with an assumed Gaussian error structure are usually adequate when applied to data collected from controlled studies. However, observational data (often referred to as data gathered "in the wild") typically display noticeable positive skewness relative to a mean trend as users do not routinely try to minimize their task completion time. As such, the exponentially-modified Gaussian (EMG) regression model has been applied to aimed movements data. However, it is also of interest to reasonably characterize those regions where a user likely was not trying to minimize their task completion time. In this paper, we propose a novel model with a two-component mixture structure -- one Gaussian and one exponential -- on the errors to identify such a region. An expectation-conditional-maximization (ECM) algorithm is developed for estimation of such a model and some properties of the algorithm are established. The efficacy of the proposed model, as well as its ability to inform model-based clustering, are addressed in this work through extensive simulations and an insightful analysis of a human aiming performance study.


title: Towards Multi-spatiotemporal-scale Generalized PDE Modeling

abstract: Partial differential equations (PDEs) are central to describing complex physical system simulations. Their expensive solution techniques have led to an increased interest in deep neural network based surrogates. However, the practical utility of training such surrogates is contingent on their ability to model complex multi-scale spatio-temporal phenomena. Various neural network architectures have been proposed to target such phenomena, most notably Fourier Neural Operators (FNOs), which give a natural handle over local & global spatial information via parameterization of different Fourier modes, and U-Nets which treat local and global information via downsampling and upsampling paths. However, generalizing across different equation parameters or time-scales still remains a challenge. In this work, we make a comprehensive comparison between various FNO, ResNet, and U-Net like approaches to fluid mechanics problems in both vorticity-stream and velocity function form. For U-Nets, we transfer recent architectural improvements from computer vision, most notably from object segmentation and generative modeling. We further analyze the design considerations for using FNO layers to improve performance of U-Net architectures without major degradation of computational cost. Finally, we show promising results on generalization to different PDE parameters and time-scales with a single surrogate model. Source code for our PyTorch benchmark framework is available at https://github.com/microsoft/pdearena.


title: Technical Report on: Anchoring Sagittal Plane Templates in a Spatial Quadruped

abstract: This technical report provides a more thorough treatment of the proofs and derivations contained in a recent conference paper submission. The description of the anchoring controller is reproduced here without abridgement, and additional appendices provide a clearer account of the implementation details.


title: Beyond Bayes-optimality: meta-learning what you know you don't know

abstract: Meta-training agents with memory has been shown to culminate in Bayes-optimal agents, which casts Bayes-optimality as the implicit solution to a numerical optimization problem rather than an explicit modeling assumption. Bayes-optimal agents are risk-neutral, since they solely attune to the expected return, and ambiguity-neutral, since they act in new situations as if the uncertainty were known. This is in contrast to risk-sensitive agents, which additionally exploit the higher-order moments of the return, and ambiguity-sensitive agents, which act differently when recognizing situations in which they lack knowledge. Humans are also known to be averse to ambiguity and sensitive to risk in ways that aren't Bayes-optimal, indicating that such sensitivity can confer advantages, especially in safety-critical situations. How can we extend the meta-learning protocol to generate risk- and ambiguity-sensitive agents? The goal of this work is to fill this gap in the literature by showing that risk- and ambiguity-sensitivity also emerge as the result of an optimization problem using modified meta-training algorithms, which manipulate the experience-generation process of the learner. We empirically test our proposed meta-training algorithms on agents exposed to foundational classes of decision-making experiments and demonstrate that they become sensitive to risk and ambiguity.


title: Point normal orientation and surface reconstruction by incorporating isovalue constraints to Poisson equation

abstract: Oriented normals are common pre-requisites for many geometric algorithms based on point clouds, such as Poisson surface reconstruction. However, it is not trivial to obtain a consistent orientation. In this work, we bridge orientation and reconstruction in the implicit space and propose a novel approach to orient point cloud normals by incorporating isovalue constraints to the Poisson equation. In implicit surface reconstruction, the reconstructed shape is represented as an isosurface of an implicit function defined in the ambient space. Therefore, when such a surface is reconstructed from a set of sample points, the implicit function values at the points should be close to the isovalue corresponding to the surface. Based on this observation and the Poisson equation, we propose an optimization formulation that combines isovalue constraints with local consistency requirements for normals. We optimize normals and implicit functions simultaneously and solve for a globally consistent orientation. Thanks to the sparsity of the linear system, our method can work on an average laptop with reasonable computational time. Experiments show that our method can achieve high performance in non-uniform and noisy data and manage varying sampling densities, artifacts, multiple connected components, and nested surfaces. The source code is available at \url{https://github.com/Submanifold/IsoConstraints}.


title: Family-Based Fingerprint Analysis: A Position Paper

abstract: Thousands of vulnerabilities are reported on a monthly basis to security repositories, such as the National Vulnerability Database. Among these vulnerabilities, software misconfiguration is one of the top 10 security risks for web applications. With this large influx of vulnerability reports, software fingerprinting has become a highly desired capability to discover distinctive and efficient signatures and recognize reportedly vulnerable software implementations. Due to the exponential worst-case complexity of fingerprint matching, designing more efficient methods for fingerprinting becomes highly desirable, especially for variability-intensive systems where optional features add another exponential factor to its analysis. This position paper presents our vision of a framework that lifts model learning and family-based analysis principles to software fingerprinting. In this framework, we propose unifying databases of signatures into a featured finite state machine and using presence conditions to specify whether and in which circumstances a given input-output trace is observed. We believe feature-based signatures can aid performance improvements by reducing the size of fingerprints under analysis.


title: Neural Unbalanced Optimal Transport via Cycle-Consistent Semi-Couplings

abstract: Comparing unpaired samples of a distribution or population taken at different points in time is a fundamental task in many application domains where measuring populations is destructive and cannot be done repeatedly on the same sample, such as in single-cell biology. Optimal transport (OT) can solve this challenge by learning an optimal coupling of samples across distributions from unpaired data. However, the usual formulation of OT assumes conservation of mass, which is violated in unbalanced scenarios in which the population size changes (e.g., cell proliferation or death) between measurements. In this work, we introduce NubOT, a neural unbalanced OT formulation that relies on the formalism of semi-couplings to account for creation and destruction of mass. To estimate such semi-couplings and generalize out-of-sample, we derive an efficient parameterization based on neural optimal transport maps and propose a novel algorithmic scheme through a cycle-consistent training procedure. We apply our method to the challenging task of forecasting heterogeneous responses of multiple cancer cell lines to various drugs, where we observe that by accurately modeling cell proliferation and death, our method yields notable improvements over previous neural optimal transport methods.


title: A Functional Model For Information Exploration Systems

abstract: Information exploration tasks are inherently complex, ill-structured, and involve sequences of actions usually spread over many sessions. When exploring a dataset, users tend to experiment higher degrees of uncertainty, mostly raised by knowledge gaps concerning the information sources, the task, and the efficiency of the chosen exploration actions, strategies, and tools in supporting the task solution process. Provided these concerns, exploration tools should be designed with the goal of leveraging the mapping between user's cognitive actions and solution strategies onto the current systems' operations. However, state-of-the-art systems fail in providing an expressive set of operations that covers a wide range of exploration problems. There is not a common understanding of neither which operators are required nor in which ways they can be used by explorers. In order to mitigate these shortcomings, this work presents a formal framework of exploration operations expressive enough to describe at least the majority of state-of-the-art exploration interfaces and tasks. We also show how the framework leveraged a new evaluation approach, where we draw precise comparisons between tools concerning the range of exploration tasks they support.


title: An Efficient Modular Exponentiation Proof Scheme

abstract: We present an efficient proof scheme for any instance of left-to-right modular exponentiation, used in many computational tests for primality. Specifically, we show that for any $(a,n,r,m)$ the correctness of a computation $a^n\equiv r\pmod m$ can be proven and verified with an overhead negligible compared to the computational cost of the exponentiation. Our work generalizes the Gerbicz-Pietrzak proof scheme used when $n$ is a power of $2$, and has been successfully implemented at PrimeGrid, doubling the efficiency of distributed searches for primes.


title: Finding NEEMo: Geometric Fitting using Neural Estimation of the Energy Mover's Distance

abstract: A novel neural architecture was recently developed that enforces an exact upper bound on the Lipschitz constant of the model by constraining the norm of its weights in a minimal way, resulting in higher expressiveness compared to other techniques. We present a new and interesting direction for this architecture: estimation of the Wasserstein metric (Earth Mover's Distance) in optimal transport by employing the Kantorovich-Rubinstein duality to enable its use in geometric fitting applications. Specifically, we focus on the field of high-energy particle physics, where it has been shown that a metric for the space of particle-collider events can be defined based on the Wasserstein metric, referred to as the Energy Mover's Distance (EMD). This metrization has the potential to revolutionize data-driven collider phenomenology. The work presented here represents a major step towards realizing this goal by providing a differentiable way of directly calculating the EMD. We show how the flexibility that our approach enables can be used to develop novel clustering algorithms.


title: Anomaly localization for copy detection patterns through print estimations

abstract: Copy detection patterns (CDP) are recent technologies for protecting products from counterfeiting. However, in contrast to traditional copy fakes, deep learning-based fakes have shown to be hardly distinguishable from originals by traditional authentication systems. Systems based on classical supervised learning and digital templates assume knowledge of fake CDP at training time and cannot generalize to unseen types of fakes. Authentication based on printed copies of originals is an alternative that yields better results even for unseen fakes and simple authentication metrics but comes at the impractical cost of acquisition and storage of printed copies. In this work, to overcome these shortcomings, we design a machine learning (ML) based authentication system that only requires digital templates and printed original CDP for training, whereas authentication is based solely on digital templates, which are used to estimate original printed codes. The obtained results show that the proposed system can efficiently authenticate original and detect fake CDP by accurately locating the anomalies in the fake CDP. The empirical evaluation of the authentication system under investigation is performed on the original and ML-based fakes CDP printed on two industrial printers.


title: B2RL: An open-source Dataset for Building Batch Reinforcement Learning

abstract: Batch reinforcement learning (BRL) is an emerging research area in the RL community. It learns exclusively from static datasets (i.e. replay buffers) without interaction with the environment. In the offline settings, existing replay experiences are used as prior knowledge for BRL models to find the optimal policy. Thus, generating replay buffers is crucial for BRL model benchmark. In our B2RL (Building Batch RL) dataset, we collected real-world data from our building management systems, as well as buffers generated by several behavioral policies in simulation environments. We believe it could help building experts on BRL research. To the best of our knowledge, we are the first to open-source building datasets for the purpose of BRL learning.


title: Localized quantitative estimates and potential blow-up rates for the Navier-Stokes equations

abstract: We show that if $v$ is a smooth suitable weak solution to the Navier-Stokes equations on $B(0,4)\times (0,T_*)$, that possesses a singular point $(x_0,T_*)\in B(0,4)\times \{T_*\}$, then for all $\delta>0$ sufficiently small one necessarily has $$\lim\sup_{t\uparrow T_*} \frac{\|v(\cdot,t)\|_{L^{3}(B(x_0,\delta))}}{\Big(\log\log\log\Big(\frac{1}{(T_*-t)^{\frac{1}{4}}}\Big)\Big)^{\frac{1}{1129}}}=\infty.$$ This local result improves upon the corresponding global result recently established by Tao. The proof is based upon a quantification of Escauriaza, Seregin and \v{S}verak's qualitative local result. In order to prove the required localized quantitative estimates, we show that in certain settings one can quantify a qualitative truncation/localization procedure introduced by Neustupa and Penel. After performing the quantitative truncation procedure, the remainder of the proof hinges on a physical space analogue of Tao's breakthrough strategy, established by Prange and the author.


title: Quantum-enhanced absorption spectroscopy with bright squeezed frequency combs

abstract: Absorption spectroscopy is a widely used technique that permits the detection and characterization of gas species at low concentrations. We propose a sensing strategy combining the advantages of frequency modulation spectroscopy with the reduced noise properties accessible by squeezing the probe state. A homodyne detection scheme allows the simultaneous measurement of the absorption at multiple frequencies and is robust against dispersion across the absorption profile. We predict a significant enhancement of the signal-to-noise ratio that scales exponentially with the squeezing factor. An order of magnitude improvement beyond the standard quantum limit is possible with state-of-the-art squeezing levels facilitating high precision gas sensing.


title: Atomistic Mechanisms of Sliding in Few-Layer and Bulk Doped MoS$_2$

abstract: Sliding of two-dimensional materials is critical for their application as solid lubricants for space, and also relevant for strain engineering and device fabrication. Dopants such as Ni surprisingly improve lubrication in MoS$_2$, despite formation of interlayer bonds by intercalated Ni, and the mechanism has remained unclear. While sliding on the atomistic level has been theoretically investigated in pristine 2D materials, there has been little work on doped forms, especially for the complicated case of intercalation. We use density functional theory to study sliding of Ni-doped MoS$_2$, considering Mo/S substitution and octahedral/tetrahedral intercalation. We find that bulk and trilayers are well described by pairwise bilayer interactions. Tetrahedral intercalation between layers dramatically increases their sliding barrier, but minimally affects sliding between adjacent undoped layers, thus preserving effective lubrication. We provide an atomistic view of how sliding occurs in doped transition-metal dichalcogenides, and a general methodology to analyze doped sliding.


title: Indecomposable pure-injective objects in stable categories of Gorenstein-projective modules over Gorenstein orders

abstract: We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.


title: Creating hyperbolic-regular singularities in the presence of an $\mathbb{S}^1$-symmetry

abstract: On a 4-dimensional compact symplectic manifold, we study how suitable perturbations of a toric system to a family of completely integrable systems with $\mathbb{S}^1$-symmetry lead to various hyperbolic-regular singularities. We compute and visualise associated phenomena like flaps, swallowtails, and $k$-stacked tori for $k \in \{2, 3, 4\}$ and give an upper bound for $k$ in our family of systems.


title: ExtrudeNet: Unsupervised Inverse Sketch-and-Extrude for Shape Parsing

abstract: Sketch-and-extrude is a common and intuitive modeling process in computer aided design. This paper studies the problem of learning the shape given in the form of point clouds by inverse sketch-and-extrude. We present ExtrudeNet, an unsupervised end-to-end network for discovering sketch and extrude from point clouds. Behind ExtrudeNet are two new technical components: 1) an effective representation for sketch and extrude, which can model extrusion with freeform sketches and conventional cylinder and box primitives as well; and 2) a numerical method for computing the signed distance field which is used in the network learning. This is the first attempt that uses machine learning to reverse engineer the sketch-and-extrude modeling process of a shape in an unsupervised fashion. ExtrudeNet not only outputs a compact, editable and interpretable representation of the shape that can be seamlessly integrated into modern CAD software, but also aligns with the standard CAD modeling process facilitating various editing applications, which distinguishes our work from existing shape parsing research. Code is released at https://github.com/kimren227/ExtrudeNet.


title: Finite generation of Cox rings

abstract: In this expository note we discuss a class of graded algebras named Cox rings, which are naturally associated to algebraic varieties generalizing the homogeneous coordinate rings of projective spaces. Whenever the Cox ring is finitely generated, the variety admits a quotient presentation by a quasitorus, which resembles the quotient construction of the projective space. We discuss the problem of the finite generation of Cox rings from a geometric perspective and provide examples of both the finitely and non-finitely generated cases.


title: A General Framework for Sample-Efficient Function Approximation in Reinforcement Learning

abstract: With the increasing need for handling large state and action spaces, general function approximation has become a key technique in reinforcement learning (RL). In this paper, we propose a general framework that unifies model-based and model-free RL, and an Admissible Bellman Characterization (ABC) class that subsumes nearly all Markov Decision Process (MDP) models in the literature for tractable RL. We propose a novel estimation function with decomposable structural properties for optimization-based exploration and the functional eluder dimension as a complexity measure of the ABC class. Under our framework, a new sample-efficient algorithm namely OPtimization-based ExploRation with Approximation (OPERA) is proposed, achieving regret bounds that match or improve over the best-known results for a variety of MDP models. In particular, for MDPs with low Witness rank, under a slightly stronger assumption, OPERA improves the state-of-the-art sample complexity results by a factor of $dH$. Our framework provides a generic interface to design and analyze new RL models and algorithms.


title: Vertical Semi-Federated Learning for Efficient Online Advertising

abstract: The traditional vertical federated learning schema suffers from two main issues: 1) restricted applicable scope to overlapped samples and 2) high system challenge of real-time federated serving, which limits its application to advertising systems. To this end, we advocate a new learning setting Semi-VFL (Vertical Semi-Federated Learning) to tackle these challenge. Semi-VFL is proposed to achieve a practical industry application fashion for VFL, by learning a federation-aware local model which performs better than single-party models and meanwhile maintain the convenience of local-serving. For this purpose, we propose the carefully designed Joint Privileged Learning framework (JPL) to i) alleviate the absence of the passive party's feature and ii) adapt to the whole sample space. Specifically, we build an inference-efficient single-party student model applicable to the whole sample space and meanwhile maintain the advantage of the federated feature extension. New representation distillation methods are designed to extract cross-party feature correlations for both the overlapped and non-overlapped data. We conducted extensive experiments on real-world advertising datasets. The results show that our method achieves the best performance over baseline methods and validate its superiority in the Semi-VFL setting.


title: Does solitary wave solution persist for the long wave equation with small perturbations?

abstract: In this paper, persistence of solitary wave solutions of the regularized long wave equation with small perturbations are investigated by the geometric singular perturbation theory. Two different kinds of the perturbations are considered in this paper: one is the weak backward diffusion and dissipation, the other is the Marangoni effects. Indeed, the solitary wave persists under small perturbations. Furthermore, the different perturbations do affect the proper wave speed ensuring the persistence of the solitary waves. Finally, numerical simulations are utilized to confirm the theoretical results.


title: Improving 3D-aware Image Synthesis with A Geometry-aware Discriminator

abstract: 3D-aware image synthesis aims at learning a generative model that can render photo-realistic 2D images while capturing decent underlying 3D shapes. A popular solution is to adopt the generative adversarial network (GAN) and replace the generator with a 3D renderer, where volume rendering with neural radiance field (NeRF) is commonly used. Despite the advancement of synthesis quality, existing methods fail to obtain moderate 3D shapes. We argue that, considering the two-player game in the formulation of GANs, only making the generator 3D-aware is not enough. In other words, displacing the generative mechanism only offers the capability, but not the guarantee, of producing 3D-aware images, because the supervision of the generator primarily comes from the discriminator. To address this issue, we propose GeoD through learning a geometry-aware discriminator to improve 3D-aware GANs. Concretely, besides differentiating real and fake samples from the 2D image space, the discriminator is additionally asked to derive the geometry information from the inputs, which is then applied as the guidance of the generator. Such a simple yet effective design facilitates learning substantially more accurate 3D shapes. Extensive experiments on various generator architectures and training datasets verify the superiority of GeoD over state-of-the-art alternatives. Moreover, our approach is registered as a general framework such that a more capable discriminator (i.e., with a third task of novel view synthesis beyond domain classification and geometry extraction) can further assist the generator with a better multi-view consistency.


title: Generation and transfer of entangled states between two connected microtoroidal cavities: analysis of different types of coupling

abstract: We investigate the generation and transfer of entangled states between two coupled microtoroidal cavities considering two different types of couplings, namely i) via a bridge qubit and ii) via evanescent fields. The cavities support two counter-propagating whispering-gallery modes (WGMs) that may also interact with each other. We firstly show that it is possible to transfer, with high fidelity, a maximally entangled state between the two modes of the first cavity (cavity 1) to the two modes of the second cavity (cavity 2), independently of the type of coupling. Interesting differences, though, arise concerning the generation of entangled states from initial product states; if the cavities are coupled via a bridge qubit, we show that it is possible to generate a 4-partite entangled state involving all four cavity modes. On the other hand, contrarily to what happens in the qubit coupling case, it is possible to generate bipartite maximally entangled states between modes of different cavities from initial separable states for cavities coupled by evanescent waves. Besides, we show that different entangled states between the propagating and counter-propagating modes of distinct cavities may be generated by tuning the interaction between modes belonging to the same cavity (intra-cavity couplings). Again, this is possible only for the couplings via evanescent waves. For the completion of our work, we discuss the effects of losses on the dynamics of the system.


title: F-VLM: Open-Vocabulary Object Detection upon Frozen Vision and Language Models

abstract: We present F-VLM, a simple open-vocabulary object detection method built upon Frozen Vision and Language Models. F-VLM simplifies the current multi-stage training pipeline by eliminating the need for knowledge distillation or detection-tailored pretraining. Surprisingly, we observe that a frozen VLM: 1) retains the locality-sensitive features necessary for detection, and 2) is a strong region classifier. We finetune only the detector head and combine the detector and VLM outputs for each region at inference time. F-VLM shows compelling scaling behavior and achieves +6.5 mask AP improvement over the previous state of the art on novel categories of LVIS open-vocabulary detection benchmark. In addition, we demonstrate very competitive results on COCO open-vocabulary detection benchmark and cross-dataset transfer detection, in addition to significant training speed-up and compute savings. Code will be released at the https://sites.google.com/view/f-vlm/home


title: HSD: A hierarchical singing annotation dataset

abstract: Commonly music has an obvious hierarchical structure, especially for the singing parts which usually act as the main melody in pop songs. However, most of the current singing annotation datasets only record symbolic information of music notes, ignoring the structure of music. In this paper, we propose a hierarchical singing annotation dataset that consists of 68 pop songs from Youtube. This dataset records the onset/offset time, pitch, duration, and lyric of each musical note in an enhanced LyRiCs format to present the hierarchical structure of music. We annotate each song in a two-stage process: first, create initial labels with the corresponding musical notation and lyrics file; second, manually calibrate these labels referring to the raw audio. We mainly validate the labeling accuracy of the proposed dataset by comparing it with an automatic singing transcription (AST) dataset. The result indicates that the proposed dataset reaches the labeling accuracy of AST datasets.


title: Geometrically exact isogeometric Bernoulli-Euler beam based on the Frenet-Serret frame

abstract: A novel geometrically exact model of the spatially curved Bernoulli-Euler beam is developed. The formulation utilizes the Frenet-Serret frame as the reference for updating the orientation of a cross section. The weak form is consistently derived and linearized, including the contributions from kinematic constraints and configuration-dependent load. The nonlinear terms with respect to the cross-sectional coordinates are strictly considered, and the obtained constitutive model is scrutinized. The main features of the formulation are invariance with respect to the rigid-body motion, path-independence, and improved accuracy for strongly curved beams. A new reduced beam model is conceived as a special case, by omitting the rotational DOF. Although rotation-free, the reduced model includes the part of the torsional stiffness that is related to the torsion of the beam axis. This allows simulation of examples where the angle between material axes and Frenet-Serret frame is small. The applicability of the obtained isogeometric finite element is verified via a set of standard academic benchmark examples. The formulation is able to accurately model strongly curved Bernoulli-Euler beams that have well-defined Frenet-Serret frames.


title: Evaluation of physics constrained data-driven methods for turbulence model uncertainty quantification

abstract: In order to achieve a virtual certification process and robust designs for turbomachinery, the uncertainty bounds for Computational Fluid Dynamics have to be known. The formulation of turbulence closure models implies a major source of the overall uncertainty of Reynolds-averaged Navier-Stokes simulations. We discuss the common practice of applying a physics constrained eigenspace perturbation of the Reynolds stress tensor in order to account for the model form uncertainty of turbulence models. Since the basic methodology often leads to overly generous uncertainty estimates, we extend a recent approach of adding a machine learning strategy. The application of a data-driven method is motivated by striving for the detection of flow regions, which are prone to suffer from a lack of turbulence model prediction accuracy. In this way any user input related to choosing the degree of uncertainty is supposed to become obsolete. This work especially investigates an approach, which tries to determine an a priori estimation of prediction confidence, when there is no accurate data available to judge the prediction. The flow around the NACA 4412 airfoil at near-stall conditions demonstrates the successful application of the data-driven eigenspace perturbation framework. Furthermore, we especially highlight the objectives and limitations of the underlying methodology.


title: Architecting materials for extremal stiffness, yield and buckling strength

abstract: This paper proposes a methodology for architecting microstructures with extremal stiffness, yield, and buckling strength using topology optimization. The optimized microstructures reveal an interesting transition from simple lattice like structures for yield-dominated situations to hierarchical lattice structures for buckling-dominated situations. The transition from simple to hierarchical is governed by the relative yield strength of the constituent base material as well as the volume fraction. The overall performances of the optimized microstructures indicate that maximum strength is determined by the buckling strength at low volume fractions and yield strength at higher volume fractions, regardless of the base material's relative yield strength. The non-normalized properties of the optimized microstructures show that higher base material Young's modulus leads to both higher Young's modulus and strength of the architected microstructures. Furthermore, the polynomial order of the maximum strength lines with respect to mass density obtained from the optimized microstructures reduces as base material relative yield strength decreases, reducing from 2.3 for buckling dominated Thermoplastic Polyurethane to 1 for yield dominated steel microstructures.


title: A comparative study on different background estimation methods for extensive air shower arrays

abstract: Background estimation is essential when studying TeV gamma-ray astronomy for extensive air shower arrays. In this work, by applying four applying four different methods including equi-zenith angle method, surrounding window method, direct integration method, and time-swapping method, the number of the background events is calculated. Based on simulation samples, the statistical significance of the excess signal from different background estimation methods is determined. Following this, we discuss the limits and the applicability of the four methods under different conditions. Under the detector stability assumption with signal, the results from the above four methods are consistent at the 1 sigma level. In the no signal condition, when the acceptance of the detector changes with both space and time, the surrounding window method is most stable and hardly affected. In this acceptance assumption, we find that the background estimation in the direct integration and time-swapping methods are sensitive to the selection of time window, and the shorter time window can reduce the impact on the background estimation to some extent.


title: Cadabra and Python algorithms in General Relativity and Cosmology I: Generalities

abstract: The aim of this work is to present a series of concrete examples which illustrate how the computer algebra system Cadabra can be used to manipulate expressions appearing in General Relativity and other gravitational theories. We highlight the way in which Cadabra's philosophy differs from other systems with related functionality. The use of various new built-in packages is discussed, and we show how such packages can also be created by end-users directly using the notebook interface. The current paper focuses on fairly generic applications in gravitational theories, including the use of differential forms, the derivation of field equations and the construction of their solutions. A follow-up paper discusses more specific applications related to the analysis of gravitational waves.

categories: gr-qc cs.MS physics.class-ph physics.comp-ph


title: A Graph Neural Network Approach to Automated Model Building in Cryo-EM Maps

abstract: Electron cryo-microscopy (cryo-EM) produces three-dimensional (3D) maps of the electrostatic potential of biological macromolecules, including proteins. Along with knowledge about the imaged molecules, cryo-EM maps allow de novo atomic modelling, which is typically done through a laborious manual process. Taking inspiration from recent advances in machine learning applications to protein structure prediction, we propose a graph neural network (GNN) approach for automated model building of proteins in cryo-EM maps. The GNN acts on a graph with nodes assigned to individual amino acids and edges representing the protein chain. Combining information from the voxel-based cryo-EM data, the amino acid sequence data and prior knowledge about protein geometries, the GNN refines the geometry of the protein chain and classifies the amino acids for each of its nodes. Application to 28 test cases shows that our approach outperforms the state-of-the-art and approximates manual building for cryo-EM maps with resolutions better than 3.5 \r{A}.


title: Cadabra and Python algorithms in General Relativity and Cosmology II: Gravitational Waves

abstract: Computer Algebra Systems (CASs) like Cadabra Software play a prominent role in a wide range of research activities in physics and related fields. We show how Cadabra language is easily implemented in the well established Python programming framework, gaining excellent flexibility and customization to address the issue of tensor perturbations in General Relativity. We obtain a performing algorithm to decompose tensorial quantities up to any perturbative order of the metric. The features of our code are tested by discussing some concrete computational issues in research activities related to first/higher-order gravitational waves.


title: Adversarial Attacks on Transformers-Based Malware Detectors

abstract: Signature-based malware detectors have proven to be insufficient as even a small change in malignant executable code can bypass these signature-based detectors. Many machine learning-based models have been proposed to efficiently detect a wide variety of malware. Many of these models are found to be susceptible to adversarial attacks - attacks that work by generating intentionally designed inputs that can force these models to misclassify. Our work aims to explore vulnerabilities in the current state of the art malware detectors to adversarial attacks. We train a Transformers-based malware detector, carry out adversarial attacks resulting in a misclassification rate of 23.9% and propose defenses that reduce this misclassification rate to half. An implementation of our work can be found at https://github.com/yashjakhotiya/Adversarial-Attacks-On-Transformers.


title: Extending Ultra-Diffuse Galaxy Abundances to Milky Way Analogs

abstract: We extend the Ultra-Diffuse Galaxy (UDG) abundance relation, $N_{UDG}-M_{200}$, to lower halo mass hosts $(M_{200}\sim10^{11.6-12.2}M_{\odot})$. We select UDG satellites from published catalogs of dwarf satellite galaxies around Milky Way analogs, namely the Exploration of Local Volume Satellites (ELVES) survey, Satellite Around Galactic Analogs (SAGA) survey, and a survey of Milky Way-like systems conducted using the Hyper-Suprime Cam. Of the 516 satellites around a total of 75 Milky Way-like hosts, we find 41 satellites around 33 hosts satisfy the UDG criteria. The distributions of host halo masses peak around $M_{200}\sim10^{12}M_{\odot}$ independent of whether the host has a UDG satellite or not. We use literature UDG abundances and those derived here to trace the $N_{UDG}-M_{200}$ relation over three orders of magnitude down to $M_{200}=10^{11.6}M_{\odot}$ and find a best-fit linear relation of $N_{UDG} = (38\pm5)\cdot(\frac{M_{200}}{10^{14}})^{0.89\pm0.04}$. This sub-linear slope is consistent with earlier studies of UDG abundances as well as abundance relations for brighter dwarf galaxies, excluding UDG formation mechanisms that require high-density environments. However, we highlight the need for further homogeneous characterization of UDGs across a wide range of environments to properly understand the $N_{UDG}-M_{200}$ relation.


title: A revised energy formalism for common-envelope evolution: repercussions for planetary engulfment and the formation of neutron star binaries

abstract: Common-envelope evolution is a stage in binary system evolution in which a giant star engulfs a companion. The standard energy formalism is an analytical framework to estimate the amount of energy transferred from the companion's shrinking orbit into the envelope of the star that engulfed it. We show analytically that this energy transfer is larger than predicted by the standard formalism. As the orbit of the companion shrinks, the mass it encloses becomes smaller, and the companion is less bound than if the enclosed mass had remained constant. Therefore, more energy must be transferred to the envelope for the orbit to shrink further. We derive a revised energy formalism that accounts for this effect, and discuss its consequences in two contexts: the formation of neutron star binaries, and the engulfment of planets and brown dwarfs by their host stars. The companion mass required to eject the stellar envelope is smaller by up to $50\%$, leading to differences in common-envelope evolution outcomes. The energy deposition in the outer envelope of the star, which is related to the transient luminosity and duration, is up to a factor of $\approx7$ higher. Common-envelope efficiency values above unity, as defined in the literature, are thus not necessarily unphysical, and result at least partly from an incomplete description of the energy deposition. The revised energy formalism presented here can improve our understanding of stellar merger and common-envelope observations and simulations.


title: Entanglement Renyi entropy of two disjoint intervals for large $c$ Liouville field theory

abstract: Entanglement entropy (EE) is a quantitative measure of the effective degrees of freedom and the correlation between the sub-systems of a physical system. Using the replica trick, we can obtain the EE by evaluating the entanglement Renyi entropy (ERE). The ERE is a $q$-analogue of the EE and expressed by the $q$ replicated partition function. In the semi-classical approximation, it is apparently easy to calculate the EE because the classical action represents the partition function by the saddle point approximation and we do not need to perform the path integral for the evaluation of the partition function. In previous studies, it has been assumed that only the minimal-valued saddle point contributes to the EE. In this paper, we propose that all the saddle points contribute equally to the EE by dealing carefully with the semi-classical limit and then the $q \to 1$ limit. For example, we numerically evaluate the ERE of two disjoint intervals for the large $c$ Liouville field theory with $q \sim 1$. We exploit the BPZ equation with the four twist operators, whose solution is given by the Heun function. We determine the ERE by tuning the behavior of the Heun function such that it becomes consistent with the geometry of the replica manifold. We find the same two saddle points as previous studies for $q \sim 1$ in the above system. Then, we provide the ERE for the large but finite $c$ and the $q \sim 1$ in case that all the saddle points contribute equally to the ERE. Based on this work, it shall be of interest to reconsider EE in other semi-classical physical systems with multiple saddle points.


title: Unidirectional subsystem symmetry in a hole-doped honeycomb-lattice Ising magnet

abstract: We study a model of a hole-doped collinear Ising antiferromagnet on the honeycomb lattice as a route toward the realization of subsystem symmetry. We find nearly exact conservation of dipole symmetry verified both numerically with exact diagonalization (ED) on finite clusters and analytically with perturbation theory. The emergent symmetry forbids the motion of single holes -- or fractons -- but allows hole pairs -- or dipoles -- to move freely along a one-dimensional line, the antiferromagnetic direction, of the system; in the transverse direction, both fractons and dipoles are completely localized. This presents a realization of a `unidirectional' subsystem symmetry. By studying interactions between dipoles, we argue that the subsystem symmetry is likely to continue to persist up to finite (but probably small) hole concentrations.


title: Mutual Information of Generalized Free Fields

abstract: We study generalized free fields (GFF) from the point of view of information measures. We first review conformal GFF, their holographic representation, and the ambiguities in the assignation of algebras to regions that arise in these theories. Then we study the mutual information (MI) in several geometric configurations. The MI displays unusual features at the short distance limit: a leading volume term rather than an area term, and a logarithmic term in any dimensions rather than only for even dimensions as in ordinary CFT's. We find the dependence of some subleading terms on the conformal dimension $\Delta$ of the GFF. We study the long distance limit of the MI for regions with boundary in the null cone. The pinching limit of these surfaces show the GFF behaves as an interacting model from the MI point of view. The pinching exponents depend on the choice of algebra. The entanglement wedge algebra choice allows these models to ``fake'' causality, giving results consistent with its role in the description of large $N$ models.


title: Strongly Lensed Supermassive Black Hole Binaries as Nanohertz Gravitational-Wave Sources

abstract: Supermassive black hole binary systems (SMBHBs) should be the most powerful sources of gravitational waves (GWs) in the Universe. Once Pulsar Timing Arrays (PTAs) detect the stochastic GW background from their cosmic merger history, searching for individually resolvable binaries will take on new importance. Since these individual SMBHBs are expected to be rare, here we explore how strong gravitational lensing can act as a tool for increasing their detection prospects by magnifying fainter sources and bringing them into view. Unlike for electromagnetic waves, when the geometric optics limit is nearly always valid, for GWs the wave-diffraction-interference effects can become important when the wavelength of the GWs is larger than the Schwarzchild radius of the lens, i.e. $M_{\rm lens} \sim 10^8\,(\frac{f}{mHz})^{-1}\,M_\odot$. For the GW frequency range explored in this work, the geometric optics limit holds. We investigate GW signals from SMBHBs that might be detectable with current and future PTAs under the assumption that quasars serve as bright beacons that signal a recent merger. Using the black hole mass function derived from quasars and a physically motivated magnification distribution, we expect to detect a few strongly lensed binary systems out to $z \approx 2$. Additionally, for a range of fixed magnifications $2 \leq \mu \leq 100$, strong lensing adds up to $\sim$30 more detectable binaries for PTAs. Finally, we investigate the possibility of observing both time-delayed electromagnetic signals and GW signals from these strongly lensed binary systems -- that will provide us with unprecedented multimessenger insights into their orbital evolution.


title: A Mass for the Dual Photon

abstract: We explore a novel IR phase of electromagnetism and place constraints on it. The usual IR modification of electromagnetism, the Higgs phase, involves adding a photon mass for the gauge field $A_\mu$, which screens electric fields and confines magnetic fields. We explore the confined phase resulting from adding a mass term for the dual photon, which screens magnetic fields and confines electric fields. We study the theory of a dual photon mass and argue that it is a consistent effective field theory. We then elucidate the phenomenological consequences of such a mass term and derive constraints on it. As the current constraints come with large uncertainties, we also propose a few new searches for a dual photon mass term.


title: Generalized thermalization in quantum-chaotic quadratic Hamiltonians

abstract: Thermalization (generalized thermalization) in nonintegrable (integrable) quantum systems requires two ingredients: equilibration and agreement with the predictions of the Gibbs (generalized Gibbs) ensemble. We prove that observables that exhibit eigenstate thermalization in single-particle sector equilibrate in many-body sectors of quantum-chaotic quadratic models. Remarkably, the same observables do not exhibit eigenstate thermalization in many-body sectors (we establish that there are exponentially many outliers). Hence, the generalized Gibbs ensemble is generally needed to describe their expectation values after equilibration, and it is characterized by Lagrange multipliers that are smooth functions of single-particle energies.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el quant-ph


title: Searching For Dark Matter with Plasma Haloscopes

abstract: We summarise the recent progress of the Axion Longitudinal Plasma HAloscope (ALPHA) Consortium, a new experimental collaboration to build a plasma haloscope to search for axions and dark photons. The plasma haloscope is a novel method for the detection of the resonant conversion of light dark matter to photons. ALPHA will be sensitive to QCD axions over almost a decade of parameter space, potentially discovering dark matter and resolving the Strong CP problem. Unlike traditional cavity haloscopes, which are generally limited in volume by the Compton wavelength of the dark matter, plasma haloscopes use a wire metamaterial to create a tuneable artificial plasma frequency, decoupling the wavelength of light from the Compton wavelength and allowing for much stronger signals. We develop the theoretical foundations of plasma haloscopes and discuss recent experimental progress. Finally, we outline a baseline design for ALPHA and show that a full-scale experiment could discover QCD axions over almost a decade of parameter space.

categories: hep-ph astro-ph.CO hep-ex physics.ins-det


title: The connected wedge theorem and its consequences

abstract: In the AdS/CFT correspondence, bulk causal structure has consequences for boundary entanglement. In quantum information science, causal structures can be replaced by distributed entanglement for the purposes of information processing. In this work, we deepen the understanding of both of these statements, and their relationship, with a number of new results. Centrally, we present and prove a new theorem, the $n$-to-$n$ connected wedge theorem, which considers $n$ input and $n$ output locations at the boundary of an asymptotically AdS$_{2+1}$ spacetime described by AdS/CFT. When a sufficiently strong set of causal connections exists among these points in the bulk, a set of $n$ associated regions in the boundary will have extensive-in-N mutual information across any bipartition of the regions. The proof holds in three bulk dimensions for classical spacetimes satisfying the null curvature condition and for semiclassical spacetimes satisfying standard conjectures. The $n$-to-$n$ connected wedge theorem gives a precise example of how causal connections in a bulk state can emerge from large-N entanglement features of its boundary dual. It also has consequences for quantum information theory: it reveals one pattern of entanglement which is sufficient for information processing in a particular class of causal networks. We argue this pattern is also necessary, and give an AdS/CFT inspired protocol for information processing in this setting. Our theorem generalizes the $2$-to-$2$ connected wedge theorem proven in arXiv:1912.05649. We also correct some errors in the proof presented there, in particular a false claim that existing proof techniques work above three bulk dimensions.


title: Two Invertible Networks for the Matrix Element Method

abstract: The matrix element method is widely considered the ultimate LHC inference tool for small event numbers. We show how a combination of two conditional generative neural networks encodes the QCD radiation and detector effects without any simplifying assumptions, while keeping the computation of likelihoods for individual events numerically efficient. We illustrate our approach for the CP-violating phase of the top Yukawa coupling in associated Higgs and single-top production. Currently, the limiting factor for the precision of our approach is jet combinatorics.


title: Disentangling the high and low cutoff scales via the trilinear Higgs couplings in the type-I two-Higgs-doublet model

abstract: The type-I two-Higgs-doublet model in the inverted Higgs scenario can retain the theoretical stability all the way up to the Planck scale. The Planck-cutoff scale, $\Lambda_{\rm cut}^{\rm Planck}$, directly impacts the mass spectra such that all the extra Higgs boson masses should be light below about 160 GeV. However, the observation of the light masses of new Higgs bosons does not indicate the high cutoff scale because a low cutoff scale can also accommodate the light masses. Over the viable parameter points that satisfy the theoretical requirements and the experimental constraints, we show that the trilinear Higgs couplings for low $\Lambda_{\rm cut}$ are entirely different from those for the Planck-cutoff scale. The most sensitive coupling to the cutoff scale is from the $h$-$h$-$h$ vertex, where $h$ is the lighter CP-even Higgs boson at a mass below 125 GeV. Among the multi-Higgs productions mediated by Higgs bosons, the gluon fusion processes of $gg \to h h $ and $gg \to AA$ are insensitive to the cutoff scale, yielding a small variation of $\mathcal{O}(1)\,{\rm fb}$ according to $\Lambda_{\rm cut}$. The smoking-gun signature is from the triple Higgs production of $q\bar{q}' \to W^* \to H^\pm hh$, which solely depends on the $h$-$h$-$h$ vertex. The cross section for $\Lambda_{\rm cut}=1\,{\rm TeV}$ is about $10^3$ times larger than that for the Planck-cutoff scale. Since the decay modes of $H^\pm \to W^* h/W^* A$ and $h/A \to bb$ are dominant, the process yields the $6b+\ell\nu$ final state, which enjoys an almost background-free environment. Consequently, the precision measurement of $pp \to H^\pm hh$ can probe the cutoff scale of the model.


title: Entanglement spectroscopy of anomalous surface states

abstract: We study entanglement spectra of gapped states on the surfaces of symmetry-protected topological phases. These surface states carry anomalies that do not allow them to be terminated by a trivial state. Their entanglement spectra are dominated by non-universal features, which reflect the underlying bulk. We introduce a modified type of entanglement spectra that incorporate the anomaly and argue that they correspond to physical edge states between different surface states. We support these arguments by explicit analytical and numerical calculations for free and interacting surfaces of three-dimensional topological insulators of electrons.


title: A high-order fast direct solver for surface PDEs

abstract: We introduce a fast direct solver for variable-coefficient elliptic partial differential equations on surfaces based on the hierarchical Poincar\'e-Steklov method. The method takes as input an unstructured, high-order quadrilateral mesh of a surface and discretizes surface differential operators on each element using a high-order spectral collocation scheme. Elemental solution operators and Dirichlet-to-Neumann maps tangent to the surface are precomputed and merged in a pairwise fashion to yield a hierarchy of solution operators that may be applied in $\mathcal{O}(N \log N)$ operations for a mesh with $N$ elements. The resulting fast direct solver may be used to accelerate high-order implicit time-stepping schemes, as the precomputed operators can be reused for fast elliptic solves on surfaces. On a standard laptop, precomputation for a 12th-order surface mesh with over 1 million degrees of freedom takes 17 seconds, while subsequent solves take only 0.25 seconds. We apply the method to a range of problems on both smooth surfaces and surfaces with sharp corners and edges, including the static Laplace-Beltrami problem, the Hodge decomposition of a tangential vector field, and some time-dependent nonlinear reaction-diffusion systems.


title: Non-degenerate surface pair density wave in the Kagome superconductor CsV$_3$Sb$_5$ -- application to vestigial orders

abstract: On the Sb-layer of the Kagome superconductor CsV$_3$Sb$_5$, pair density wave states have been observed. When the high-temperature charge orderings are treated as static backgrounds, these PDW states exhibit the same wavevector in the effective 2D Brillouin zone. Interestingly, these PDW states break the same symmetry on the surface. Considering the presence of this non-degenerate PDW, we investigate the implications for the possible existence of a vestigial charge-4e phase with a non-zero center-of-mass momentum. To distinguish between different vestigial phases, we propose scanning tunneling microscopy experiments. We aim to provide insights into the nature of the vestigial phases and their distinct characteristics in CsV$_3$Sb$_5$. This research sheds light on the interplay between PDW states, charge orderings, and superconductivity of the Kagome superconductor.


title: New Tools for Dissecting the General 2HDM

abstract: Two Higgs doublet models (2HDM) provide the low energy effective field theory (EFT) description in many well motivated extensions of the Standard Model. It is therefore relevant to study their properties, as well as the theoretical constraints on these models. In this article we concentrate on three relevant requirements for the validity of the 2HDM framework, namely the perturbative unitarity bounds, the bounded from below constraints, and the vacuum stability constraints. In this study, we concentrate on the most general renormalizable version of the 2HDM -- without imposing any parity symmetry, which may be violated in many UV extensions. We derive novel analytical expressions that generalize those previously obtained in more restrictive scenarios to the most general case. We also discuss the phenomenological implications of these bounds, focusing on CP violation.


title: Artificial Replay: A Meta-Algorithm for Harnessing Historical Data in Bandits

abstract: How best to incorporate historical data to "warm start" bandit algorithms is an open question: naively initializing reward estimates using all historical samples can suffer from spurious data and imbalanced data coverage, leading to computational and storage issues $\unicode{x2014}$ particularly salient in continuous action spaces. We propose Artificial Replay, a meta-algorithm for incorporating historical data into any arbitrary base bandit algorithm. Artificial Replay uses only a fraction of the historical data compared to a full warm-start approach, while still achieving identical regret for base algorithms that satisfy independence of irrelevant data (IIData), a novel and broadly applicable property that we introduce. We complement these theoretical results with experiments on $K$-armed and continuous combinatorial bandit algorithms, including a green security domain using real poaching data. We show the practical benefits of Artificial Replay, including for base algorithms that do not satisfy IIData.


title: CRC-Aided Short Convolutional Codes and RCU Bounds for Orthogonal Signaling

abstract: We extend earlier work on the design of convolutional code-specific CRC codes to $Q$-ary alphabets, with an eye toward $Q$-ary orthogonal signaling. Starting with distance-spectrum optimal, zero-terminated, $Q$-ary convolutional codes, we design $Q$-ary CRC codes so that the CRC/convolutional concatenation is distance-spectrum optimal. The $Q$-ary code symbols are mapped to a $Q$-ary orthogonal signal set and sent over an AWGN channel with noncoherent reception. We focus on $Q = 4$, rate-1/2 convolutional codes in our designs. The random coding union bound and normal approximation are used in earlier works as benchmarks for performance for distance-spectrum optimal convolutional codes. We derive a saddlepoint approximation of the random coding union bound for the coded noncoherent signaling channel, as well as a normal approximation for this channel, and compare the performance of our codes to these limits. Our best design is within $0.6$ dB of the RCU bound at a frame error rate of $10^{-4}$.