title: Notes on Finite Element Discretization for a Model Convection-Diffusion Problem

abstract: We present recent finite element numerical results on a model convection-diffusion problem in the singular perturbed case when the convection term dominates the problem. We compare the standard Galerkin discretization using the linear element with a saddle point least square discretization that uses quadratic test functions, trying to control and explain the non-physical oscillations of the discrete solutions. We also relate the up-winding Petrov-Galerkin method and the stream-line diffusion discretization method, by emphasizing the resulting linear systems and by comparing appropriate error norms. Some results can be extended to the multidimensional case in order to come up with efficient approximations for more general singular perturbed problems, including convection dominated models.


title: Cartesian Gray-Monoidal Double Categories

abstract: In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally globular, Gray categories. The motivating example comprises double categories themselves, together with their functors, transformations, and modifications. A one-object locally cubical Gray category is a Gray-monoidal double category. Braiding, syllepsis, and symmetry for these is introduced in a manner analogous to that for 2-categories. Adding cartesian structure requires the introduction of doubly-lax functors of double categories to manage the order of copies. The resulting theory is algebraically rather complex, largely due to the bureaucracy of linearizing higher-dimensional boundary constraints. Fortunately, it has a relatively simple and compelling representation in the graphical calculus of surface diagrams, which we present.


title: Asteroseismology of evolved stars to constrain the internal transport of angular momentum. VI. Testing a parametric formulation for the azimuthal magneto-rotational instability

abstract: Asteroseismic measurements of the internal rotation rate in evolved stars pointed out to a lack of angular momentum (AM) transport in stellar evolution models. Several physical processes in addition to hydrodynamical ones were proposed as candidates for the missing mechanism. Nonetheless, no current candidate can satisfy all the constraints provided by asteroseismology. We revisit the role of a candidate process whose efficiency scales with the contrast between the rotation rate of the core and the surface which was proposed to be related to the azimuthal magneto-rotational instability (AMRI) by Spada et al. We compute stellar evolution models of low- and intermediate-mass stars with the parametric formulation of AM transport proposed by Spada et al. until the end of the core-helium burning for low- and intermediate-mass stars and compare our results to the latest asteroseismic constraints available in the post main sequence phase. Both hydrogen-shell burning stars in the red giant branch and core-helium burning stars of low- and intermediate-mass in the mass range $1 M_{\odot} \lesssim M \lesssim 2.5 M_{\odot}$ can be simultaneously reproduced by this kind of parametrisation. Given current constraints from asteroseismology, the core rotation rate of post-main sequence stars seems to be well explained by a process whose efficiency is regulated by the internal degree of differential rotation in radiative zones.


title: Regularity conditions for vector-valued function algebras

abstract: We consider several notions of regularity, including strong regularity, bounded relative units, and Ditkin's condition, in the setting of vector-valued function algebras. Given a commutative Banach algebra $A$ and a compact space $X$, let $\mathcal{A}$ be a Banach $A$-valued function algebra on $X$ and let $\mathfrak{A}$ be the subalgebra of $\mathcal{A}$ consisting of scalar-valued functions. This paper is about the connection between regularity conditions of the algebra $\mathcal{A}$ and the associated algebras $\mathfrak{A}$ and $A$. That $\mathcal{A}$ inherits a certain regularity condition $P$ to $\mathfrak{A}$ and $A$ is the easy part of the problem. We investigate the converse and show that, under certain conditions, $\mathcal{A}$ receives $P$ form $\mathfrak{A}$ and $A$. The results apply to tensor products of commutative Banach algebras as they are included in the class of vector-valued function algebras.


title: Overcoming vaccine hesitancy by multiplex social network targeting: An analysis of targeting algorithms and implications

abstract: Incorporating social factors into disease prevention and control efforts is an important undertaking of behavioral epidemiology. The interplay between disease transmission and human health behaviors, such as vaccine uptake, results in complex dynamics of biological and social contagions. Maximizing intervention adoptions via network-based targeting algorithms by harnessing the power of social contagion for behavior and attitude changes largely remains a challenge. Here we address this issue by considering a multiplex network setting. Individuals are situated on two layers of networks: the disease transmission network layer and the peer influence network layer. The disease spreads through direct close contacts while vaccine views and uptake behaviors spread interpersonally within a potentially virtual network. The results of our comprehensive simulations show that network-based targeting with pro-vaccine supporters as initial seeds significantly influences vaccine adoption rates and reduces the extent of an epidemic outbreak. Network targeting interventions are much more effective by selecting individuals with a central position in the opinion network as compared to those grouped in a community or connected professionally. Our findings provide insight into network-based interventions to increase vaccine confidence and demand during an ongoing epidemic.


title: A Quantum Computing Implementation of Nuclear-Electronic Orbital (NEO) Theory: Towards an Exact pre-Born-Oppenheimer Formulation of Molecular Quantum Systems

abstract: Nuclear quantum phenomena beyond the Born-Oppenheimer approximation are known to play an important role in a growing number of chemical and biological processes. While there exists no unique consensus on a rigorous and efficient implementation of coupled electron-nuclear quantum dynamics, it is recognised that these problems scale exponentially with system size on classical processors and therefore may benefit from quantum computing implementations. Here, we introduce a methodology for the efficient quantum treatment of the electron-nuclear problem on near-term quantum computers, based upon the Nuclear-Electronic Orbital (NEO) approach. We generalize the electronic two-qubit tapering scheme to include nuclei by exploiting symmetries inherent in the NEO framework; thereby reducing the hamiltonian dimension, number of qubits, gates, and measurements needed for calculations. We also develop parameter transfer and initialisation techniques, which improve convergence behavior relative to conventional initialisation. These techniques are applied to H$_2$ and malonaldehyde for which results agree with Nuclear-Electronic Orbital Full Configuration Interaction and Nuclear-Electronic Orbital Complete Active Space Configuration Interaction benchmarks for ground state energy to within $10^{-6}$ Ha and entanglement entropy to within $10^{-4}$. These implementations therefore significantly reduce resource requirements for full quantum simulations of molecules on near-term quantum devices while maintaining high accuracy.


title: Deep Learning Aided Parametric Channel Covariance Matrix Estimation for Millimeter Wave Hybrid Massive MIMO

abstract: Millimeter-wave (mmWave) channels, which occupy frequency ranges much higher than those being used in previous wireless communications systems, are utilized to meet the increased throughput requirements that come with 5G communications. The high levels of attenuation experienced by electromagnetic waves in these frequencies causes MIMO channels to have high spatial correlation. To attain desirable error performances, systems require knowledge about the channel correlations. In this thesis, a deep neural network aided method is proposed for the parametric estimation of the channel covariance matrix (CCM), which contains information regarding the channel correlations. When compared to some methods found in the literature, the proposed method yields satisfactory performance in terms of both computational complexity and channel estimation errors.


title: Variations of vibronic states in densely-packed structures of molecules with intramolecular dipoles

abstract: Electrostatic potentials strongly affect molecular energy levels and charge states, providing the fascinating opportunity of molecular gating. Their influence on molecular vibrations remains less explored. Here, we investigate Ethyl-Diaminodicyanoquinone molecules on a monolayer of MoS$_2$ on Au(111) using scanning tunneling and atomic force microscopy and spectroscopy. These molecules exhibit a large dipole moment in gas phase, which we find to (partially) persist on the MoS$_2$ monolayer. The self-assembled structures consist of chains, where the dipoles of neighboring molecules are aligned anti-parallel. Thanks to the decoupling efficiency of the molecular states from the metal by the MoS$_2$ interlayer, we resolve vibronic states of the molecules, which vary in intensity depending on the molecular surrounding. We suggest that the vibrations are strongly damped by electrostatic interactions with the environment.


title: Tri-Perspective View for Vision-Based 3D Semantic Occupancy Prediction

abstract: Modern methods for vision-centric autonomous driving perception widely adopt the bird's-eye-view (BEV) representation to describe a 3D scene. Despite its better efficiency than voxel representation, it has difficulty describing the fine-grained 3D structure of a scene with a single plane. To address this, we propose a tri-perspective view (TPV) representation which accompanies BEV with two additional perpendicular planes. We model each point in the 3D space by summing its projected features on the three planes. To lift image features to the 3D TPV space, we further propose a transformer-based TPV encoder (TPVFormer) to obtain the TPV features effectively. We employ the attention mechanism to aggregate the image features corresponding to each query in each TPV plane. Experiments show that our model trained with sparse supervision effectively predicts the semantic occupancy for all voxels. We demonstrate for the first time that using only camera inputs can achieve comparable performance with LiDAR-based methods on the LiDAR segmentation task on nuScenes. Code: https://github.com/wzzheng/TPVFormer.


title: Generalizations of Powers--St{\o}rmer's inequality

abstract: Relating to finding possible upper bounds for the probability of error for discriminating between two quantum states, it is well-known that \begin{align*} \mathrm{tr}(A+B) - \mathrm{tr}|A-B|\leq 2\, \mathrm{tr}\big(f(A)g(B)\big) \end{align*} holds for every positive-valued matrix monotone function $f$, where $g(x)=x/f(x)$, and all positive definite matrices $A$ and $B$. This study demonstrates that the set of functions satisfying this inequality includes additional elements and provides illustrative examples to support this claim. Furthermore, we present a characterization of matrix decreasing functions based on a matrix version of the above inequality.


title: Estimated of $CP$ violation in $B^0$ meson decays into $D^{*+}$ and $D^-$ mesons

abstract: The decay $B^0\rightarrow D^{*+}D^-$ is favorable mode for studying $CP$ violation in the interference between mixing and decay for $B^0$ and $\bar{B}^0$ mesons. The latest analysis of the $CP$ parameters has been performed by the LHCb collaboration values of $S_{D^*D}=-0.861\pm0.077\pm0.019$, $C_{D^*D}=-0.059\pm0.092\pm0.020$, $\triangle S_{D^*D}=0.019\pm0.075\pm0.012$, $\triangle C_{D^*D}=-0.031\pm0.092\pm0.016$, and $\mathcal{A}_{D^*D}^{CP}=0.008\pm0.014\pm0.006\pm0.003$. We have been estimated the parameters $S_{D^*D}$ and $C_{D^*D}$ of the $B^0\rightarrow D^{*+}D^-$ decay as $-0.709\pm0.024$ and $-0.051\pm0.004$. In the following, we have obtained the values of $\triangle S_{D^*D}=0.054\pm0.003$ and $\triangle C_{D^*D}=0.020\pm0.001$ and direct $CP$ violation of $0.008\pm0.001$. Also, we have calculated the branching ratio of $B^0\rightarrow D^{*+}D^-$ decay. The values obtained in this work are comparable with the corresponding experimental values.


title: Equilibria of large random Lotka-Volterra systems with vanishing species: a mathematical approach

abstract: Ecosystems with a large number of species are often modelled as Lotka-Volterra dynamical systems built around a large random interaction matrix. Under some known conditions, a global equilibrium exists and is unique. In this article, we rigorously study its statistical properties in the large dimensional regime. Such an equilibrium vector is known to be the solution of a so-called Linear Complementarity Problem (LCP). We describe its statistical properties by designing an Approximate Message Passing (AMP) algorithm, a technique that has recently aroused an intense research effort in the fields of statistical physics, Machine Learning, or communication theory. Interaction matrices taken from the Gaussian Orthogonal Ensemble, or following a Wishart distribution are considered. Beyond these models, the AMP approach developed in this article has the potential to describe the statistical properties of equilibria associated to more involved interaction matrix models.


title: Perfect Sampling of $q$-Spin Systems on $\mathbb Z^2$ via Weak Spatial Mixing

abstract: We present a perfect marginal sampler of the unique Gibbs measure of a spin system on $\mathbb Z^2$. The algorithm is an adaptation of a previous `lazy depth-first' approach by the authors, but relaxes the requirement of strong spatial mixing to weak. It exploits a classical result in statistical physics relating weak spatial mixing on $\mathbb Z^2$ to strong spatial mixing on squares. When the spin system exhibits weak spatial mixing, the run-time of our sampler is linear in the size of sample. Applications of note are the ferromagnetic Potts model at supercritical temperatures, and the ferromagnetic Ising model with consistent non-zero external field at any non-zero temperature.


title: Silkswap: An asymmetric automated market maker model for stablecoins

abstract: Silkswap is an automated market maker model designed for efficient stablecoin trading with minimal price impact. The original purpose of Silkswap is to facilitate the trading of fiat-pegged stablecoins with the stablecoin Silk, but it can be applied to any pair of stablecoins. The Silkswap invariant is a hybrid function that generates an asymmetric price impact curve. We present the derivation of the Silkswap model and its mathematical properties. We also compare different numerical methods used to solve the invariant equation. Finally, we compare our model with the well-known Curve Finance model.

categories: q-fin.CP econ.GN q-fin.EC q-fin.PR q-fin.TR


title: How Low Can Q Go?

abstract: Gravitational instability plays a substantial role in the evolution of galaxies. Various schemes to include it in galaxy evolution models exist, generally assuming that the Toomre $Q$ parameter is self-regulated to $Q_\mathrm{crit}$, the critical $Q$ dividing stable from unstable conditions in a linear stability analysis. This assumption is in tension with observational estimates of $Q$ that find values far below any plausible value of $Q_\mathrm{crit}$. While the observations are subject to some uncertainty, this tension can more easily be relieved on the theoretical side by relaxing the common assumption that $Q\ge Q_\mathrm{crit}$. Based on observations of both $z\sim 2$ disks and local face-on galaxies, we estimate the effect of gravitational instability necessary to balance out every other physical process that affects $Q$. In particular we find that the disk's response to low $Q$ values can be described by simple functions that depend only on $Q$. These response functions allow galaxies to maintain $Q$ values below $Q_\mathrm{crit}$ in equilibrium over a wide range of parameters. Extremely low values of $Q$ are predicted when the gas surface density is greater than $\sim 10^3$ M$_\odot$ pc$^{-2}$, the rotation curve provides minimal shear, the orbital time becomes long, and/or when the gas is much more unstable than the stellar component. We suggest that these response functions should be used in place of the $Q\ge Q_\mathrm{crit}$ ansatz.


title: Instance-wise Grasp Synthesis for Robotic Grasping

abstract: Generating high-quality instance-wise grasp configurations provides critical information of how to grasp specific objects in a multi-object environment and is of high importance for robot manipulation tasks. This work proposed a novel \textbf{S}ingle-\textbf{S}tage \textbf{G}rasp (SSG) synthesis network, which performs high-quality instance-wise grasp synthesis in a single stage: instance mask and grasp configurations are generated for each object simultaneously. Our method outperforms state-of-the-art on robotic grasp prediction based on the OCID-Grasp dataset, and performs competitively on the JACQUARD dataset. The benchmarking results showed significant improvements compared to the baseline on the accuracy of generated grasp configurations. The performance of the proposed method has been validated through both extensive simulations and real robot experiments for three tasks including single object pick-and-place, grasp synthesis in cluttered environments and table cleaning task.


title: Verification Testing of MQXFA Nb3Sn Wires Procured Under LARP

abstract: The High-Luminosity LHC Accelerator Upgrade Project (AUP) in the U.S. will construct quadrupole magnets to be delivered to CERN. An initial 3 tons, over 600 km total length of conductor was procured under the LHC Accelerator R&D Program (LARP) for this project. Programs for quality control(QC) at the supplier and quality verification (QV) at the laboratories were solidified into components of the overall quality plan for strand procurement under AUP. Measurements of the critical current (Ic) and residual resistance ratio (RRR), and related probes and techniques, are central to the quality plan. Described below is the verification testing that has taken place at the National High Magnetic Field Laboratory (NHMFL). Testing challenges are presented by the high sensitivity of these wires. In addition, new RRR test software was developed to accommodate challenges presented by meeting international standards with existing configurations of test strands.


title: Superconducting Transformer for Superconducting Cable Testing up to 45 kA

abstract: A facility capable of testing superconducting cables with current of tens of kA is essential for the development of large superconducting magnets. A superconducting transformer (SCT) is a suitable choice as a high DC current source for testing superconducting cables. In this work, we will present our experimental results of a SCT up to output current of 45 kA. The properties of this SCT is characterized at 4.2 K. Its behaviors during quenches at different current levels are studied.


title: Calibration of a superconducting transformer by measuring critical current of a NbTi Rutherford cable

abstract: Large high field superconducting magnets often requires high current superconducting cables. In order to develop these cables, a facility capable of providing high magnetic field with large sampling area as well as electrical current of tens of kA is essential. A superconducting transformer is an energy-efficient and low-cost way to provide large current to superconducting cables. Previously, we co-developed a superconducting transformer and successfully tested it to a maximum output current of 45 kA in zero magnetic field. In this work, this superconducting transformer is installed to the 12 T split solenoid magnet at the National High Magnetic Field Laboratory (NHMFL). We calibrated it by using this facility to measure critical current of a NbTi Rutherford cable as a function of magnetic field up to 10 T, and compare the results with those available in the literature. In addition, a strand extracted from the NbTi cable is tested for critical current. The critical current of the extracted strand is scaled and compared with critical current of the cable. The accuracy of the critical current measurement using this superconducting transformer is discussed in detail. This work concludes the commissioning of this superconducting transformer which combined with the 12 T split magnet will provide unique cable testing capability for future cable development for the NHMFL and its users.


title: Over-parametrization via Lifting for Low-rank Matrix Sensing: Conversion of Spurious Solutions to Strict Saddle Points

abstract: This paper studies the role of over-parametrization in solving non-convex optimization problems. The focus is on the important class of low-rank matrix sensing, where we propose an infinite hierarchy of non-convex problems via the lifting technique and the Burer-Monteiro factorization. This contrasts with the existing over-parametrization technique where the search rank is limited by the dimension of the matrix and it does not allow a rich over-parametrization of an arbitrary degree. We show that although the spurious solutions of the problem remain stationary points through the hierarchy, they will be transformed into strict saddle points (under some technical conditions) and can be escaped via local search methods. This is the first result in the literature showing that over-parametrization creates a negative curvature for escaping spurious solutions. We also derive a bound on how much over-parametrization is requited to enable the elimination of spurious solutions.


title: Optical Networks and Interconnects

abstract: The rapid evolution of communication technologies such as 5G and beyond, rely on optical networks to support the challenging and ambitious requirements that include both capacity and reliability. This chapter begins by giving an overview of the evolution of optical access networks, focusing on Passive Optical Networks (PONs). The development of the different PON standards and requirements aiming at longer reach, higher client count and delivered bandwidth are presented. PON virtualization is also introduced as the flexibility enabler. Triggered by the increase of bandwidth supported by access and aggregation network segments, core networks have also evolved, as presented in the second part of the chapter. Scaling the physical infrastructure requires high investment and hence, operators are considering alternatives to optimize the use of the existing capacity. This chapter introduces different planning problems such as Routing and Spectrum Assignment problems, placement problems for regenerators and wavelength converters, and how to offer resilience to different failures. An overview of control and management is also provided. Moreover, motivated by the increasing importance of data storage and data processing, this chapter also addresses different aspects of optical data center interconnects. Data centers have become critical infrastructure to operate any service. They are also forced to take advantage of optical technology in order to keep up with the growing capacity demand and power consumption. This chapter gives an overview of different optical data center network architectures as well as some expected directions to improve the resource utilization and increase the network capacity.


title: Hourglass of constant weight as an illustrative example of a system with a variable mass

abstract: We provide an alternative approach to a problem posed in the article "Hourglass of Constant Weight" by Volker Becker and Thorsten P\"{o}schel, which appeared in Granular Matter 10 (2008), 231-232, i.e. 14 years ago. Our goal to return to this article after so much time is purely pedagogical. Although there is a slight and subtle inaccuracy in the derivation of equation (8) in the work of Becker and P\"{o}schel, which we correct, we use this circumstance only to give a detailed pedagogical exposition of an excellent physical problem and to show the pedagogical usefulness of the concept of momentum flux when considering the mechanics of systems with variable mass.


title: A Mean Curvature Flow Propagating in a Cylinder at Exponential Speed

abstract: In this paper, we study the long time behaviour of mean curvature flow in a cylinder with Robin boundary conditions. Such a boundary condition can force the solution to have a singular behaviour at the boundary when $t\to \infty$. The planar version of this problem has been investigated in an existing literature, where the curve shortening flow in $2$-dimensional band with Robin boundary conditions is shown to converge to a translating Grim Reaper with finite speed and fixed profile. By considering a radially symmetric mean curvature flow, denoted by $u(|x|,t)$, in $(N+1)$-dimensional cylinder ($N\geq 2$), we find in the present paper a new feature of the flow: both the interior gradients and the propagating speed of the flow increase to infinity exponentially, $Du/u\sim x$ and $ u\sim C_0 e^{(N-1)t}e^{\frac{|x|^2}{2}}$ as $t\to \infty$ for some $C_0>0$, which is completely different from the 2-dimensional case.


title: Deep Anomaly Detection under Labeling Budget Constraints

abstract: Selecting informative data points for expert feedback can significantly improve the performance of anomaly detection (AD) in various contexts, such as medical diagnostics or fraud detection. In this paper, we determine a set of theoretical conditions under which anomaly scores generalize from labeled queries to unlabeled data. Motivated by these results, we propose a data labeling strategy with optimal data coverage under labeling budget constraints. In addition, we propose a new learning framework for semi-supervised AD. Extensive experiments on image, tabular, and video data sets show that our approach results in state-of-the-art semi-supervised AD performance under labeling budget constraints.


title: On invariants and equivalence of differential operators under Lie pseudogroups actions

abstract: In this paper, we study invariants of linear differential operators with respect to algebraic Lie pseudogroups. Then we use these invariants and the principle of n-invariants to get normal forms (or models) of the differential operators and solve the equivalence problem for actions of algebraic Lie pseudogroups. As a running example of application of the methods, we use the pseudogroup of local symplectomorphisms.


title: Automorphic line measures in the half-plane and the Grand Riemann Hypothesis

abstract: Poincare-type series, such as Selberg's, are known to produce automorphic functions, in the hyperbolic half-plane, the decompositions of which into eigenfunctions (genuine or generalized) of the automorphic Laplacian contain all modular forms of nonholomorphic type. We introduce a one-parameter family of explicit automorphic measures supported by discrete unions of congruent lines with the same property, except for one value of the real parameter, for which they miss exactly the Eisenstein series associated to non-trivial zeros of zeta, and the Hecke eigenforms the $L$-functions associated to which vanish as $\frac{1}{2}$. The Grand Riemann Hypothesis, a special case of which is needed, is proved.


title: Quantum gravitational corrected evolution equations of charged black holes

abstract: We explain how quantum gravity, treated as an effective field theory, might modify the evaporative evolution of a four-dimensional, non-extremal, non-rotating, charged black hole. With some approximations, we derive a set of coupled differential equations describing the charge and mass of the black hole as a function of time. These equations represent a generalisation of the analogous ones already present in the literature for classical black holes.


title: Assessing enactment of content regulation policies: A post hoc crowd-sourced audit of election misinformation on YouTube

abstract: With the 2022 US midterm elections approaching, conspiratorial claims about the 2020 presidential elections continue to threaten users' trust in the electoral process. To regulate election misinformation, YouTube introduced policies to remove such content from its searches and recommendations. In this paper, we conduct a 9-day crowd-sourced audit on YouTube to assess the extent of enactment of such policies. We recruited 99 users who installed a browser extension that enabled us to collect up-next recommendation trails and search results for 45 videos and 88 search queries about the 2020 elections. We find that YouTube's search results, irrespective of search query bias, contain more videos that oppose rather than support election misinformation. However, watching misinformative election videos still lead users to a small number of misinformative videos in the up-next trails. Our results imply that while YouTube largely seems successful in regulating election misinformation, there is still room for improvement.


title: Learning Random Access Schemes for Massive Machine-Type Communication with MARL

abstract: In this paper, we explore various multi-agent reinforcement learning (MARL) techniques to design grant-free random access (RA) schemes for low-complexity, low-power battery operated devices in massive machine-type communication (mMTC) wireless networks. We use value decomposition networks (VDN) and QMIX algorithms with parameter sharing (PS) with centralized training and decentralized execution (CTDE) while maintaining scalability. We then compare the policies learned by VDN, QMIX, and deep recurrent Q-network (DRQN) and explore the impact of including the agent identifiers in the observation vector. We show that the MARL-based RA schemes can achieve a better throughput-fairness trade-off between agents without having to condition on the agent identifiers. We also present a novel correlated traffic model, which is more descriptive of mMTC scenarios, and show that the proposed algorithm can easily adapt to traffic non-stationarities


title: On diffeologies from infinite dimensional geometry to PDE constrained optimization

abstract: We review how diffeologies complete the settings classically used from infinite dimensional geometry to partial differential equations, based on classical settings of functional analysis and with classical mapping spaces as key examples. As the classical examples of function spaces, we deal with manifolds of mappings in Sobolev classes (and describe the ILB setting), jet spaces and spaces of triangulations, that are key frameworks for the two fields of applications of diffeologies that we choose to highlight: evolution equations and integrable systems, and optimization problems constrained by partial differential equations.


title: A "morphogenetic action" principle for 3D shape formation by the growth of thin sheets

abstract: How does growth encode form in developing organisms? Many different spatiotemporal growth profiles may sculpt tissues into the same target 3D shapes, but only specific growth patterns are observed in animal and plant development. In particular, growth profiles may differ in their degree of spatial variation and growth anisotropy, however, the criteria that distinguish observed patterns of growth from other possible alternatives are not understood. Here we exploit the mathematical formalism of quasiconformal transformations to formulate the problem of "growth pattern selection" quantitatively in the context of 3D shape formation by growing 2D epithelial sheets. We propose that nature settles on growth patterns that are the 'simplest' in a certain way. Specifically, we demonstrate that growth pattern selection can be formulated as an optimization problem and solved for the trajectories that minimize spatiotemporal variation in areal growth rates and deformation anisotropy. The result is a complete prediction for the growth of the surface, including not only a set of intermediate shapes, but also a prediction for cell displacement along those surfaces in the process of growth. Optimization of growth trajectories for both idealized surfaces and those observed in nature show that relative growth rates can be uniformized at the cost of introducing anisotropy. Minimizing the variation of programmed growth rates can therefore be viewed as a generic mechanism for growth pattern selection and may help to understand the prevalence of anisotropy in developmental programs.


title: Causally-interpretable meta-analysis: clearly-defined causal effects and two case studies

abstract: Meta-analysis is commonly used to combine results from multiple clinical trials, but traditional meta-analysis methods do not refer explicitly to a population of individuals to whom the results apply and it is not clear how to use their results to assess a treatment's effect for a population of interest. We describe recently-introduced causally-interpretable meta-analysis methods and apply their treatment effect estimators to two individual-participant data sets. These estimators transport estimated treatment effects from studies in the meta-analysis to a specified target population using individuals' potentially effect-modifying covariates. We consider different regression and weighting methods within this approach and compare the results to traditional aggregated-data meta-analysis methods. In our applications, certain versions of the causally-interpretable methods performed somewhat better than the traditional methods, but the latter generally did well. The causally-interpretable methods offer the most promise when covariates modify treatment effects and our results suggest that traditional methods work well when there is little effect heterogeneity. The causally-interpretable approach gives meta-analysis an appealing theoretical framework by relating an estimator directly to a specific population and lays a solid foundation for future developments.


title: Quantum Entropy and Central Limit Theorem

abstract: We introduce a framework to study discrete-variable (DV) quantum systems based on qudits. It relies on notions of a mean state (MS), a minimal stabilizer-projection state (MSPS), and a new convolution. Some interesting consequences are: The MS is the closest MSPS to a given state with respect to the relative entropy; the MS is extremal with respect to the von Neumann entropy, demonstrating a ''maximal entropy principle in DV systems.'' We obtain a series of inequalities for quantum entropies and for Fisher information based on convolution, giving a ''second law of thermodynamics for quantum convolutions.'' We show that the convolution of two stabilizer states is a stabilizer state. We establish a central limit theorem, based on iterating the convolution of a zero-mean quantum state, and show this converges to its MS. The rate of convergence is characterized by the ''magic gap,'' which we define in terms of the support of the characteristic function of the state. We elaborate on two examples: the DV beam splitter and the DV amplifier.


title: Augmented Language Models: a Survey

abstract: This survey reviews works in which language models (LMs) are augmented with reasoning skills and the ability to use tools. The former is defined as decomposing a potentially complex task into simpler subtasks while the latter consists in calling external modules such as a code interpreter. LMs can leverage these augmentations separately or in combination via heuristics, or learn to do so from demonstrations. While adhering to a standard missing tokens prediction objective, such augmented LMs can use various, possibly non-parametric external modules to expand their context processing ability, thus departing from the pure language modeling paradigm. We therefore refer to them as Augmented Language Models (ALMs). The missing token objective allows ALMs to learn to reason, use tools, and even act, while still performing standard natural language tasks and even outperforming most regular LMs on several benchmarks. In this work, after reviewing current advance in ALMs, we conclude that this new research direction has the potential to address common limitations of traditional LMs such as interpretability, consistency, and scalability issues.


title: Quantifying gender imbalance in East Asian academia: Research career and citation practice

abstract: Gender imbalance in academia has been confirmed in terms of a variety of indicators, and its magnitude often varies from country to country. Europe and North America, which cover a large fraction of research workforce in the world, have been the main geographical regions for research on gender imbalance in academia. However, the academia in East Asia, which accounts for a substantial fraction of research, may be exposed to strong gender imbalance because Asia has been facing persistent and stronger gender imbalance in society at large than Europe and North America. Here we use publication data between 1950 and 2020 to analyze gender imbalance in academia in China, Japan, and South Korea in terms of the number of researchers, their career, and citation practice. We found that, compared to the average of the other countries, gender imbalance is larger in these three East Asian countries in terms of the number of researchers and their citation practice and additionally in Japan in terms of research career. Moreover, we found that Japan has been exposed to the larger gender imbalance than China and South Korea in terms of research career and citation practice.


title: Deep Learning for Detection and Localization of B-Lines in Lung Ultrasound

abstract: Lung ultrasound (LUS) is an important imaging modality used by emergency physicians to assess pulmonary congestion at the patient bedside. B-line artifacts in LUS videos are key findings associated with pulmonary congestion. Not only can the interpretation of LUS be challenging for novice operators, but visual quantification of B-lines remains subject to observer variability. In this work, we investigate the strengths and weaknesses of multiple deep learning approaches for automated B-line detection and localization in LUS videos. We curate and publish, BEDLUS, a new ultrasound dataset comprising 1,419 videos from 113 patients with a total of 15,755 expert-annotated B-lines. Based on this dataset, we present a benchmark of established deep learning methods applied to the task of B-line detection. To pave the way for interpretable quantification of B-lines, we propose a novel "single-point" approach to B-line localization using only the point of origin. Our results show that (a) the area under the receiver operating characteristic curve ranges from 0.864 to 0.955 for the benchmarked detection methods, (b) within this range, the best performance is achieved by models that leverage multiple successive frames as input, and (c) the proposed single-point approach for B-line localization reaches an F1-score of 0.65, performing on par with the inter-observer agreement. The dataset and developed methods can facilitate further biomedical research on automated interpretation of lung ultrasound with the potential to expand the clinical utility.


title: NL2CMD: An Updated Workflow for Natural Language to Bash Commands Translation

abstract: Translating natural language into Bash Commands is an emerging research field that has gained attention in recent years. Most efforts have focused on producing more accurate translation models. To the best of our knowledge, only two datasets are available, with one based on the other. Both datasets involve scraping through known data sources (through platforms like stack overflow, crowdsourcing, etc.) and hiring experts to validate and correct either the English text or Bash Commands. This paper provides two contributions to research on synthesizing Bash Commands from scratch. First, we describe a state-of-the-art translation model used to generate Bash Commands from the corresponding English text. Second, we introduce a new NL2CMD dataset that is automatically generated, involves minimal human intervention, and is over six times larger than prior datasets. Since the generation pipeline does not rely on existing Bash Commands, the distribution and types of commands can be custom adjusted. We evaluate the performance of ChatGPT on this task and discuss the potential of using it as a data generator. Our empirical results show how the scale and diversity of our dataset can offer unique opportunities for semantic parsing researchers.


title: A Note on Brondsted's Fixed Point Theorem

abstract: We show that for the case of uniformly convex Banach spaces the conditions of the Brondsted fixed point theorem can be relaxed.


title: Controlled $\ast$-K-operator frame for $End_\mathcal{A}^\ast (\mathcal{H})$

abstract: Frame Theory has a great revolution for recent years. This theory has been extended from Hilbert spaces to Hilbert $C^{\ast}$-modules. In this paper, we introduce the concept of Controlled $\ast$-$K$-operator frame for the space $End_{\mathcal{A}}^{\ast}(\mathcal{H})$ of all adjointable operators on a Hilbert $\mathcal{A}$-module $\mathcal{H}$ and we establish some results.


title: One-Shot Face Video Re-enactment using Hybrid Latent Spaces of StyleGAN2

abstract: While recent research has progressively overcome the low-resolution constraint of one-shot face video re-enactment with the help of StyleGAN's high-fidelity portrait generation, these approaches rely on at least one of the following: explicit 2D/3D priors, optical flow based warping as motion descriptors, off-the-shelf encoders, etc., which constrain their performance (e.g., inconsistent predictions, inability to capture fine facial details and accessories, poor generalization, artifacts). We propose an end-to-end framework for simultaneously supporting face attribute edits, facial motions and deformations, and facial identity control for video generation. It employs a hybrid latent-space that encodes a given frame into a pair of latents: Identity latent, $\mathcal{W}_{ID}$, and Facial deformation latent, $\mathcal{S}_F$, that respectively reside in the $W+$ and $SS$ spaces of StyleGAN2. Thereby, incorporating the impressive editability-distortion trade-off of $W+$ and the high disentanglement properties of $SS$. These hybrid latents employ the StyleGAN2 generator to achieve high-fidelity face video re-enactment at $1024^2$. Furthermore, the model supports the generation of realistic re-enactment videos with other latent-based semantic edits (e.g., beard, age, make-up, etc.). Qualitative and quantitative analyses performed against state-of-the-art methods demonstrate the superiority of the proposed approach.


title: Zero-Shot Anomaly Detection via Batch Normalization

abstract: Anomaly detection (AD) plays a crucial role in many safety-critical application domains. The challenge of adapting an anomaly detector to drift in the normal data distribution, especially when no training data is available for the "new normal," has led to the development of zero-shot AD techniques. In this paper, we propose a simple yet effective method called Adaptive Centered Representations (ACR) for zero-shot batch-level AD. Our approach trains off-the-shelf deep anomaly detectors (such as deep SVDD) to adapt to a set of inter-related training data distributions in combination with batch normalization, enabling automatic zero-shot generalization for unseen AD tasks. This simple recipe, batch normalization plus meta-training, is a highly effective and versatile tool. Our theoretical results guarantee the zero-shot generalization for unseen AD tasks; our empirical results demonstrate the first zero-shot AD results for tabular data and outperform existing methods in zero-shot anomaly detection and segmentation on image data from specialized domains. Code is at https://github.com/aodongli/zero-shot-ad-via-batch-norm


title: A note on limits of sequences of binary trees

abstract: We discuss a notion of convergence for binary trees that is based on subtree sizes. In analogy to recent developments in the theory of graphs, posets and permutations we investigate some general aspects of the topology, such as a characterization of the set of possible limits and its structure as a metric space. For random trees the subtree size topology arises in the context of algorithms for searching and sorting when applied to random input, resulting in a sequence of nested trees. For these we obtain a structural result based on a local version of exchangeability. This in turn leads to a central limit theorem, with possibly mixed asymptotic normality.


title: Continuized Acceleration for Quasar Convex Functions in Non-Convex Optimization

abstract: Quasar convexity is a condition that allows some first-order methods to efficiently minimize a function even when the optimization landscape is non-convex. Previous works develop near-optimal accelerated algorithms for minimizing this class of functions, however, they require a subroutine of binary search which results in multiple calls to gradient evaluations in each iteration, and consequently the total number of gradient evaluations does not match a known lower bound. In this work, we show that a recently proposed continuized Nesterov acceleration can be applied to minimizing quasar convex functions and achieves the optimal bound with a high probability. Furthermore, we find that the objective functions of training generalized linear models (GLMs) satisfy quasar convexity, which broadens the applicability of the relevant algorithms, while known practical examples of quasar convexity in non-convex learning are sparse in the literature. We also show that if a smooth and one-point strongly convex, Polyak-Lojasiewicz, or quadratic-growth function satisfies quasar convexity, then attaining an accelerated linear rate for minimizing the function is possible under certain conditions, while acceleration is not known in general for these classes of functions.


title: Generalized principal bundles and quotient stacks

abstract: We consider the internalization of the usual notion of principal bundle in a site that has all pullbacks and a terminal object. We use this notion to consider the explicit construction of quotient prestacks via presheaves of categories of principal bundles equipped with equivariant morphisms in this abstract context. We then prove that, if the site is subcanonical and the underlying category satisfies some mild conditions, these quotient prestacks satisfy descent in the sense of stacks.


title: The star formation history of the Sco-Cen association. Coherent star formation patterns in space and time

abstract: We reconstruct the star formation history of the Sco-Cen OB association using a novel high-resolution age map of the region. We develop an approach to produce robust ages for Sco-Cen's recently identified 37 stellar clusters using the SigMA algorithm. The Sco-Cen star formation timeline reveals four periods of enhanced star formation activity, or bursts, remarkably separated by about 5 Myr. Of these, the second burst, which occurred about 15 million years ago, is by far the dominant, and most of Sco-Cen's stars and clusters were in place by the end of this burst. The formation of stars and clusters in Sco-Cen is correlated but not linearly, implying that more stars were formed per cluster during the peak of the star formation rate. Most of the clusters that are large enough to have supernova precursors were formed during the 15 Myr period. Star and cluster formation activity has been continuously declining since then. We have clear evidence that Sco-Cen formed from the inside out and contains 100-pc long chains of contiguous clusters exhibiting well-defined age gradients, from massive older clusters to smaller young clusters. These observables suggest an important role for feedback in forming about half of Sco-Cen stars, although follow-up work is needed to quantify this statement. Finally, we confirm that the Upper-Sco age controversy discussed in the literature during the last decades is solved: the nine clusters previously lumped together as Upper-Sco, a benchmark region for planet formation studies, exhibit a wide range of ages from 3 to 19 Myr.


title: Benchmarking Continuous Time Models for Predicting Multiple Sclerosis Progression

abstract: Multiple sclerosis is a disease that affects the brain and spinal cord, it can lead to severe disability and has no known cure. The majority of prior work in machine learning for multiple sclerosis has been centered around using Magnetic Resonance Imaging scans or laboratory tests; these modalities are both expensive to acquire and can be unreliable. In a recent paper it was shown that disease progression can be predicted effectively using performance outcome measures and demographic data. In our work we build on this to investigate the modeling side, using continuous time models to predict progression. We benchmark four continuous time models using a publicly available multiple sclerosis dataset. We find that the best continuous model is often able to outperform the best benchmarked discrete time model. We also carry out an extensive ablation to discover the sources of performance gains, we find that standardizing existing features leads to a larger performance increase than interpolating missing features.


title: Could $\infty$-category theory be taught to undergraduates?

abstract: The extension of ordinary category theory to $\infty$-categories at the start of the 21st century was a spectacular achievement pioneered by Joyal and Lurie with contributions from many others. Unfortunately, the technical arguments required to solve the infinite homotopy coherence problems inherent in these results make this theory difficult for non-experts to learn. This essay surveys two programs that seek to narrow the gap between $\infty$-category theory and ordinary 1-category theory. The first leverages similarities between the categories in which 1-categories and $\infty$-categories live as objects to provide "formal" proofs of standard categorical theorems. The second, which is considerably more speculative, explores $\infty$-categories from new "univalent" foundations closely related to homotopy type theory.


title: Dictionary-based Phrase-level Prompting of Large Language Models for Machine Translation

abstract: Large language models (LLMs) demonstrate remarkable machine translation (MT) abilities via prompting, even though they were not explicitly trained for this task. However, even given the incredible quantities of data they are trained on, LLMs can struggle to translate inputs with rare words, which are common in low resource or domain transfer scenarios. We show that LLM prompting can provide an effective solution for rare words as well, by using prior knowledge from bilingual dictionaries to provide control hints in the prompts. We propose a novel method, DiPMT, that provides a set of possible translations for a subset of the input words, thereby enabling fine-grained phrase-level prompted control of the LLM. Extensive experiments show that DiPMT outperforms the baseline both in low-resource MT, as well as for out-of-domain MT. We further provide a qualitative analysis of the benefits and limitations of this approach, including the overall level of controllability that is achieved.


title: asevolution: a relativistic N-body implementation of the (a)symmetron

abstract: We present asevolution, a cosmological N-body code developed based on gevolution, which consistently solves for the (a)symmetron scalar field and metric potentials within the weak-field approximation. In asevolution, the scalar field is dynamic and can form non-linear structures. A cubic term is added in the symmetron potential to make the symmetry-broken vacuum expectation values different, which is motivated by observational tensions in the late-time universe. To study the effects of the scalar field dynamics, we also implement a constraint solver making use of the quasi-static approximation, and provide options for evaluating the background evolution, including using the full energy density averaged over the simulation box within the Friedmann equation. The asevolution code is validated by comparison with the Newtonian N-body code ISIS that makes use of the quasi-static approximation. There is found a very small effect of including relativistic and weak-field corrections in our small test simulations; it is seen that for small masses, the field is dynamic and can not be accurately solved for using the quasi-static approximation; and we observe the formation of unstable domain walls and demonstrate a useful way to identify them within the code. A first consideration indicates that the domain walls are more unstable in the asymmetron scenario.


title: Solutions in $\mathbb{Z}[i]$ of $A^{5}+B^{5}=C^{5}\pm 1$

abstract: We build solutions in $\mathbb{Z}[i]$ of $A^{5}+B^{5}=C^{5}\pm 1$ based on a method developed by Michael D. Hirschhorn in his article "An Amazing Identity of Ramanujan", from Mathematics Magazine, Vol. 68, No3 (June 1995).


title: Weighted Tur\'an theorems with applications to Ramsey-Tur\'an type of problems

abstract: We study extensions of Tur\'an Theorem in edge-weighted settings. A particular case of interest is when constraints on the weight of an edge come from the order of the largest clique containing it. These problems are motivated by Ramsey-Tur\'an type problems. Some of our proofs are based on the method of graph Lagrangians, while the other proofs use flag algebras. Using these results, we prove several new upper bounds on the Ramsey-Tur\'an density of cliques. Other applications of our results are in a recent paper of Balogh, Chen, McCourt and Murley.


title: ODIN: Where Do Lyman-alpha Blobs Live? Contextualizing Blob Environments within the Large-Scale Structure

abstract: While many Lyman-alpha Blobs (LABs) are found in and around several well-known protoclusters at high redshift, how they trace the underlying large-scale structure is still poorly understood. In this work, we utilize 5,352 Lyman-alpha emitters (LAEs) and 129 LABs at z=3.1 identified over a $\sim$ 9.5 sq. degree area in early data from the ongoing One-hundred-deg$^2$ DECam Imaging in Narrowbands (ODIN) survey to investigate this question. Using LAEs as tracers of the underlying matter distribution, we identify overdense structures as galaxy groups, protoclusters, and filaments of the cosmic web. We find that LABs preferentially reside in regions of higher-than-average density and are located in closer proximity to overdense structures, which represent the sites of protoclusters and their substructures. Moreover, protoclusters hosting one or more LABs tend to have a higher descendant mass than those which do not. Blobs are also strongly associated with filaments of the cosmic web, with $\sim$ 70% of the population being within a projected distance of 2.4 pMpc from a filament. We show that the proximity of LABs to protoclusters is naturally explained by their association with filaments as large cosmic structures are where many filaments converge. The contiguous wide-field coverage of the ODIN survey allows us for the first time to firmly establish a connection between LABs as a population and their environment.


title: Exclusive meets inclusive at small Bjorken-$x_B$: how to relate exclusive measurements to PDFs based on evolution equations

abstract: Exclusive heavy-vector-meson photoproduction is a prominent signal in collider experiments with hadron beams. At the highest photon-hadron collision energies, this process is considered as a candidate to constrain gluon parton distribution functions (PDFs) at small longitudinal momentum fractions. However, in the framework of collinear factorisation, exclusive particle production is described in terms of generalised parton distributions (GPDs). In this contribution, we investigate at the leading order in $\alpha_s$ the connection between GPDs and PDFs. Our main result is a proposal to quantify the systematic uncertainty inherent to this connection. We put our approach into context with respect to the Shuavev transform. Our uncertainty estimate can be straightforwardly adapted to higher fixed orders and small-$x$ resummations. The question of extrapolating GPDs to vanishing skewness is paramount for the programme of the Electron Ion Collider (EIC), notably for the extraction of the radial distributions of partons.


title: Almost Sure Saddle Avoidance of Stochastic Gradient Methods without the Bounded Gradient Assumption

abstract: We prove that various stochastic gradient descent methods, including the stochastic gradient descent (SGD), stochastic heavy-ball (SHB), and stochastic Nesterov's accelerated gradient (SNAG) methods, almost surely avoid any strict saddle manifold. To the best of our knowledge, this is the first time such results are obtained for SHB and SNAG methods. Moreover, our analysis expands upon previous studies on SGD by removing the need for bounded gradients of the objective function and uniformly bounded noise. Instead, we introduce a more practical local boundedness assumption for the noisy gradient, which is naturally satisfied in empirical risk minimization problems typically seen in training of neural networks.


title: Speculative Decoding with Big Little Decoder

abstract: The recent emergence of Large Language Models based on the Transformer architecture has enabled dramatic advancements in the field of Natural Language Processing. However, these models have long inference latency, which limits their deployment and makes them prohibitively expensive for various real-time applications. The inference latency is further exacerbated by autoregressive generative tasks, as models need to run iteratively to generate tokens sequentially without leveraging token-level parallelization. To address this, we propose Big Little Decoder (BiLD), a framework that can improve inference efficiency and latency for a wide range of text generation applications. The BiLD framework contains two models with different sizes that collaboratively generate text. The small model runs autoregressively to generate text with a low inference cost, and the large model is only invoked occasionally to refine the small model's inaccurate predictions in a non-autoregressive manner. To coordinate the small and large models, BiLD introduces two simple yet effective policies: (1) the fallback policy that determines when to hand control over to the large model; and (2) the rollback policy that determines when the large model needs to correct the small model's inaccurate predictions. To evaluate our framework across different tasks and models, we apply BiLD to various text generation scenarios encompassing machine translation on IWSLT 2017 De-En and WMT 2014 De-En, and summarization on XSUM and CNN/DailyMail. On an NVIDIA T4 GPU, our framework achieves a speedup of up to 2.12x speedup with minimal generation quality degradation. Furthermore, our framework is fully plug-and-play and can be applied without any modifications in the training process or model architecture. Our code is open-sourced


title: Denoising Diffusion Probabilistic Models for Robust Image Super-Resolution in the Wild

abstract: Diffusion models have shown promising results on single-image super-resolution and other image- to-image translation tasks. Despite this success, they have not outperformed state-of-the-art GAN models on the more challenging blind super-resolution task, where the input images are out of distribution, with unknown degradations. This paper introduces SR3+, a diffusion-based model for blind super-resolution, establishing a new state-of-the-art. To this end, we advocate self-supervised training with a combination of composite, parameterized degradations for self-supervised training, and noise-conditioing augmentation during training and testing. With these innovations, a large-scale convolutional architecture, and large-scale datasets, SR3+ greatly outperforms SR3. It outperforms Real-ESRGAN when trained on the same data, with a DRealSR FID score of 36.82 vs. 37.22, which further improves to FID of 32.37 with larger models, and further still with larger training sets.


title: Dataset Interfaces: Diagnosing Model Failures Using Controllable Counterfactual Generation

abstract: Distribution shift is a major source of failure for machine learning models. However, evaluating model reliability under distribution shift can be challenging, especially since it may be difficult to acquire counterfactual examples that exhibit a specified shift. In this work, we introduce the notion of a dataset interface: a framework that, given an input dataset and a user-specified shift, returns instances from that input distribution that exhibit the desired shift. We study a number of natural implementations for such an interface, and find that they often introduce confounding shifts that complicate model evaluation. Motivated by this, we propose a dataset interface implementation that leverages Textual Inversion to tailor generation to the input distribution. We then demonstrate how applying this dataset interface to the ImageNet dataset enables studying model behavior across a diverse array of distribution shifts, including variations in background, lighting, and attributes of the objects. Code available at https://github.com/MadryLab/dataset-interfaces.


title: Do Deep Neural Networks Capture Compositionality in Arithmetic Reasoning?

abstract: Compositionality is a pivotal property of symbolic reasoning. However, how well recent neural models capture compositionality remains underexplored in the symbolic reasoning tasks. This study empirically addresses this question by systematically examining recently published pre-trained seq2seq models with a carefully controlled dataset of multi-hop arithmetic symbolic reasoning. We introduce a skill tree on compositionality in arithmetic symbolic reasoning that defines the hierarchical levels of complexity along with three compositionality dimensions: systematicity, productivity, and substitutivity. Our experiments revealed that among the three types of composition, the models struggled most with systematicity, performing poorly even with relatively simple compositions. That difficulty was not resolved even after training the models with intermediate reasoning steps.


title: Learning Performance-Improving Code Edits

abstract: With the decline of Moore's law, optimizing program performance has become a major focus of software research. However, high-level optimizations such as API and algorithm changes remain elusive due to the difficulty of understanding the semantics of code. Simultaneously, pretrained large language models (LLMs) have demonstrated strong capabilities at solving a wide range of programming tasks. To that end, we introduce a framework for adapting LLMs to high-level program optimization. First, we curate a dataset of performance-improving edits made by human programmers of over 77,000 competitive C++ programming submission pairs, accompanied by extensive unit tests. A major challenge is the significant variability of measuring performance on commodity hardware, which can lead to spurious "improvements." To isolate and reliably evaluate the impact of program optimizations, we design an environment based on the gem5 full system simulator, the de facto simulator used in academia and industry. Next, we propose a broad range of adaptation strategies for code optimization; for prompting, these include retrieval-based few-shot prompting and chain-of-thought, and for finetuning, these include performance-conditioned generation and synthetic data augmentation based on self-play. A combination of these techniques achieves a mean speedup of 6.86 with eight generations, higher than average optimizations from individual programmers (3.66). Using our model's fastest generations, we set a new upper limit on the fastest speedup possible for our dataset at 9.64 compared to using the fastest human submissions available (9.56).


title: Target Specific De Novo Design of Drug Candidate Molecules with Graph Transformer-based Generative Adversarial Networks

abstract: Discovering novel drug candidate molecules is one of the most fundamental and critical steps in drug development. Generative deep learning models, which create synthetic data given a probability distribution, have been developed with the purpose of picking completely new samples from a partially known space. Generative models offer high potential for designing de novo molecules; however, in order for them to be useful in real-life drug development pipelines, these models should be able to design target-specific molecules, which is the next step in this field. In this study, we propose DrugGEN, for the de novo design of drug candidate molecules that interact with selected target proteins. The proposed system represents compounds and protein structures as graphs and processes them via serially connected two generative adversarial networks comprising graph transformers. DrugGEN is trained using a large dataset of compounds from ChEMBL and target-specific bioactive molecules, to design effective and specific inhibitory molecules against the AKT1 protein, which has critical importance for developing treatments against various types of cancer. On fundamental benchmarks, DrugGEN models have either competitive or better performance against other methods. To assess the target-specific generation performance, we conducted further in silico analysis with molecular docking and deep learning-based bioactivity prediction. Results indicate that de novo molecules have high potential for interacting with the AKT1 protein structure in the level of its native ligand. DrugGEN can be used to design completely novel and effective target-specific drug candidate molecules for any druggable protein, given target features and a dataset of experimental bioactivities. Code base, datasets, results and trained models of DrugGEN are available at https://github.com/HUBioDataLab/DrugGEN


title: Improved Online Conformal Prediction via Strongly Adaptive Online Learning

abstract: We study the problem of uncertainty quantification via prediction sets, in an online setting where the data distribution may vary arbitrarily over time. Recent work develops online conformal prediction techniques that leverage regret minimization algorithms from the online learning literature to learn prediction sets with approximately valid coverage and small regret. However, standard regret minimization could be insufficient for handling changing environments, where performance guarantees may be desired not only over the full time horizon but also in all (sub-)intervals of time. We develop new online conformal prediction methods that minimize the strongly adaptive regret, which measures the worst-case regret over all intervals of a fixed length. We prove that our methods achieve near-optimal strongly adaptive regret for all interval lengths simultaneously, and approximately valid coverage. Experiments show that our methods consistently obtain better coverage and smaller prediction sets than existing methods on real-world tasks, such as time series forecasting and image classification under distribution shift.

categories: cs.LG cs.AI math.ST stat.ME stat.ML stat.TH


title: Astrophysical properties of 15062 Gaia DR3 gravity-mode pulsators: pulsation amplitudes, rotation, and spectral line broadening

abstract: Gravito-inertial asteroseismology saw its birth thanks to high-precision CoRoT and Kepler space photometric light curves. So far, it gave rise to the internal rotation frequency of a few hundred intermediate-mass stars, yet only several tens of these have been weighed, sized, and age-dated with high precision from asteroseismic modelling. We aim to increase the sample of optimal targets for future gravito-inertial asteroseismology by assessing the properties of 15062 newly found Gaia DR3 gravity-mode pulsators. We also wish to investigate if there is any connection between their fundamental parameters and dominant mode on the one hand, and their spectral line broadening measured by Gaia on the other hand. After re-classifying about 22% of the F-type gravity-mode pulsators as B-type according to their effective temperature, we construct histograms of the fundamental parameters and mode properties of the 15062 new Gaia DR3 pulsators. We compare these histograms with those of 63 Kepler bona fide class members. We fit errors-in-variables regression models to couple the effective temperature, luminosity, gravity, and oscillation properties to the two Gaia DR3 parameters capturing spectral line broadening for a fraction of the pulsators. We find that the selected 15062 gravity-mode pulsators have properties fully in line with those of their well-known Kepler analogues, revealing that Gaia has a role to play in asteroseismology. The dominant g-mode frequency is a significant predictor of the spectral line broadening for the class members having this quantity measured. We show that the Gaia vbroad parameter captures the joint effect of time-independent intrinsic and rotational line broadening and time-dependent tangential pulsational broadening. Gaia was not desiged to detect non-radial oscillations, yet its homogeneous data treatment allow us to identify many new gravity-mode pulsators.


title: Clifford Fourier Transforms in (2+1)D Lattice Simulations of Soliton Propagations

abstract: Monte Carlo simulation of solitonic phonon propagation on a 2D plane in Weyl fermion-sea is analyzed. We assume materials are filled with Weyl spinors located on $256\times 256$ 2D lattice points, which are expressed by quaternions ${\bf H}$. The topology of solitonic phonon propagation is defined by modifying fixed point actions of 4D Quantum Chromo Dynamics action to (2+1)D action, replacing Dirac fermions by Weyl fermions, and changing the electric charge current flow to the energy flow. We consider $A$ type loops whose path are on a 2D plane, and $B$ type loops which contain two parallel links that connect two 2D plane on different time slices. The length of loops are restricted to be less than or equal to 8 lattice units. At the moment spatial lattice unit and time lattice unit are same. They can be chosen arbitrarily when one compares hysteresis effects with experimental data. Using the quaternion expression of Porteous, we calculate the plaquette part of loop actions and the link part of loop actions. Link actions of $A$ type loops cancel with each other, but those of $B$ type loops depends on whether the spin rotation is clockwise or that is counterclockwise. In the present work we consider average of clockwise rotating and counterclockwise rotating loop contributions.


title: Data-Centric Governance

abstract: Artificial intelligence (AI) governance is the body of standards and practices used to ensure that AI systems are deployed responsibly. Current AI governance approaches consist mainly of manual review and documentation processes. While such reviews are necessary for many systems, they are not sufficient to systematically address all potential harms, as they do not operationalize governance requirements for system engineering, behavior, and outcomes in a way that facilitates rigorous and reproducible evaluation. Modern AI systems are data-centric: they act on data, produce data, and are built through data engineering. The assurance of governance requirements must also be carried out in terms of data. This work explores the systematization of governance requirements via datasets and algorithmic evaluations. When applied throughout the product lifecycle, data-centric governance decreases time to deployment, increases solution quality, decreases deployment risks, and places the system in a continuous state of assured compliance with governance requirements.


title: Separating Technological and Clinical Safety Assurance for Medical Devices

abstract: The safety and clinical effectiveness of medical devices are closely associated with their specific use in clinical treatments. Assuring safety and the desired clinical effectiveness is challenging. Different people may react differently to the same treatment due to variability in their physiology and genetics. Thus, we need to consider the outputs and behaviour of the device itself as well as the effect of using the device to treat a wide variety of patients. High-intensity focused ultrasound systems and radiation therapy machines are examples of systems in which this is a primary concern. Conventional monolithic assurance cases are complex, and this complexity affects our ability to address these concerns adequately. Based on the principle of separation of concerns, we propose separating the assurance of the use of these types of systems in clinical treatments into two linked assurance cases. The first assurance case demonstrates the safety of the manufacturer's device independent of the clinical treatment. The second demonstrates the safety and clinical effectiveness of the device when it is used in a specific clinical treatment. We introduce the idea of these separate assurance cases, and describe briefly how they are separated and linked.


title: C14 Automatic Imaging Telescope Photometry of GJ1214

abstract: GJ1214b is the highest signal-to-noise sub-Neptune for atmospheric studies. Although most previous transmission spectroscopy measurements have revealed a frustratingly featureless spectrum, JWST observations are expected to give new insights to this benchmark planet. We have performed photometric monitoring of GJ1214 (the host star) to provide context for these observations. We find that GJ1214 entered a period of relatively high brightness during 2021 and 2022. This implies that the JWST MIRI/LRS phase curve observation of GJ1214b in July 2022 was obtained during an epoch of low activity for the spot-dominated host star. Like previous works, we are unable to definitively identify the star's rotation period. Nevertheless, we confirm that it is likely >50 days.


title: Ultrafast single-channel machine vision based on neuro-inspired photonic computing

abstract: High-speed machine vision is increasing its importance in both scientific and technological applications. Neuro-inspired photonic computing is a promising approach to speed-up machine vision processing with ultralow latency. However, the processing rate is fundamentally limited by the low frame rate of image sensors, typically operating at tens of hertz. Here, we propose an image-sensor-free machine vision framework, which optically processes real-world visual information with only a single input channel, based on a random temporal encoding technique. This approach allows for compressive acquisitions of visual information with a single channel at gigahertz rates, outperforming conventional approaches, and enables its direct photonic processing using a photonic reservoir computer in a time domain. We experimentally demonstrate that the proposed approach is capable of high-speed image recognition and anomaly detection, and furthermore, it can be used for high-speed imaging. The proposed approach is multipurpose and can be extended for a wide range of applications, including tracking, controlling, and capturing sub-nanosecond phenomena.


title: The AFISS web platform for the correlation of high-energy transient events

abstract: In the multi-messenger era, facilities share their results with the scientific community through networks such as the General Coordinates Network to study transient phenomena (e.g., Gamma-ray bursts) and implement real-time analysis pipelines to detect transient events, reacting to science alerts received from other observatories. The fast analysis of transient events is crucial for detecting counterparts of gravitational waves and neutrino candidate events. In this context, collecting scientific results from different high-energy satellites observing the same transient event represents a key step in improving the statistical significance of the high-energy candidate events. This project aims to develop a system and a web platform to share information and scientific results of transient events between high-energy satellites with INAF participation (AGILE, FERMI, INTEGRAL and SWIFT). The AFISS platform implements the COMET VO- Event broker and provides a web portal where the users visualize the list of transient events detected by multi-messenger facilities and received through the GCN. The web portal could show, for each event, a summary of the scientific results shared by the real-time analysis pipelines and a list of time-correlated transient events. In addition, the platform is ready to receive results from participating facilities on sub-threshold events (STE) that cannot be shared with the community due to the low statistical significance. If the platform finds a time correlation between two or more STEs, it can promote them to science alerts. The web interface shows the list of STEs with possible time correlation with other STEs or science alerts. The platform notifies the users with an email when a new transient event is received.


title: Gromov--Hausdorff Convergence of Spectral Truncations for Tori

abstract: We consider operator systems associated to spectral truncations of tori. We show that their state spaces, when equipped with the Connes distance function, converge in the Gromov--Hausdorff sense to the space of all Borel probability measures on the torus equipped with the Monge--Kantorovich distance. A crucial role will be played by the relationship between Schur and Fourier multipliers. Along the way, we introduce the spectral Fej\'er kernel and show that it is a good kernel. This allows to make the estimates sufficient to prove the desired convergence of state spaces. We conclude with some structure analysis of the pertinent operator systems, including the C*-envelope and the propagation number, and with an observation about the dual operator system.


title: Observational evidence for cosmological coupling of black holes and its implications for an astrophysical source of dark energy

abstract: Observations have found black holes spanning ten orders of magnitude in mass across most of cosmic history. The Kerr black hole solution is however provisional as its behavior at infinity is incompatible with an expanding universe. Black hole models with realistic behavior at infinity predict that the gravitating mass of a black hole can increase with the expansion of the universe independently of accretion or mergers, in a manner that depends on the black hole's interior solution. We test this prediction by considering the growth of supermassive black holes in elliptical galaxies over $0<z\lesssim2.5$. We find evidence for cosmologically coupled mass growth among these black holes, with zero cosmological coupling excluded at 99.98% confidence. The redshift dependence of the mass growth implies that, at $z\lesssim7$, black holes contribute an effectively constant cosmological energy density to Friedmann's equations. The continuity equation then requires that black holes contribute cosmologically as vacuum energy. We further show that black hole production from the cosmic star formation history gives the value of $\Omega_{\Lambda}$ measured by Planck while being consistent with constraints from massive compact halo objects. We thus propose that stellar remnant black holes are the astrophysical origin of dark energy, explaining the onset of accelerating expansion at $z \sim 0.7$.

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


title: Discrete scale invariant fixed point in a quasiperiodic classical dimer model

abstract: We study close-packed dimers on the quasiperiodic Ammann-Beenker (AB) graph, that was recently shown to have the unusual feature that hard-core dimer constraints are exactly reproduced at successive discrete length scales. This observation led to a conjecture that it would be possible to construct an exact real-space decimation scheme where each iteration preserves both the quasiperiodic tiling structure and the constraint. Here, we confirm this conjecture by explicitly constructing the corresponding renormalization group transformation and show, using large-scale Monte Carlo simulations, that the dimer distributions flow to a fixed point with non-zero dimer potentials. We use the fixed-point Hamiltonian to demonstrate the existence of slowly decaying dimer correlations. We thus identify a remarkable example of a classical statistical mechanical model whose properties are controlled by the fixed point of an exact renormalization group procedure exhibiting discrete scale invariance but lacking translational and continuous rotational symmetries.


title: A red giant orbiting a black hole

abstract: We report spectroscopic and photometric follow-up of a dormant black hole (BH) candidate from Gaia DR3. The system, which we call Gaia BH2, contains a $\sim 1M_{\odot}$ red giant and a dark companion with mass $M_2 = 8.9\pm 0.3\,M_{\odot}$ that is very likely a BH. The orbital period, $P_{\rm orb} = 1277$ days, is much longer than that of any previously studied BH binary. Our radial velocity (RV) follow-up over a 7-month period spans more than 90% of the orbit's dynamic range in RV and is in excellent agreement with predictions of the Gaia solution. UV imaging and high-resolution optical spectra rule out all plausible luminous companions that could explain the orbit. The star is a bright ($G=12.3$), slightly metal-poor ($\rm [Fe/H]=-0.22$) low-luminosity giant ($T_{\rm eff}=4600\,\rm K$; $R = 7.8\,R_{\odot}$; $\log\left[g/\left({\rm cm\,s^{-2}}\right)\right] = 2.6$). The binary's orbit is moderately eccentric ($e=0.52$). The giant is strongly enhanced in $\alpha-$elements, with $\rm [\alpha/Fe] = +0.26$, but the system's Galactocentric orbit is typical of the thin disk. We obtained X-ray and radio nondetections of the source near periastron, which support BH accretion models in which the net accretion rate at the horizon is much lower than the Bondi-Hoyle-Lyttleton rate. At a distance of 1.16 kpc, Gaia BH2 is the second-nearest known BH, after Gaia BH1. Its orbit -- like that of Gaia BH1 -- seems too wide to have formed through common envelope evolution. Gaia BH1 and BH2 have orbital periods at opposite edges of the Gaia DR3 sensitivity curve, perhaps hinting at a bimodal intrinsic period distribution for wide BH binaries. Dormant BH binaries like Gaia BH1 and Gaia BH2 likely significantly outnumber their close, X-ray bright cousins, but their formation pathways remain uncertain.


title: Surface brightness discontinuities in radio halos. Insights from the MeerKAT Galaxy Cluster Legacy Survey

abstract: Dynamical motions in the ICM can imprint distinctive features on X-ray images that map the thermal emission from galaxy clusters, such as sharp surface brightness discontinuities due to shocks and cold fronts. The gas dynamics during cluster mergers may also drive large-scale turbulence in the ICM, which in turn generates extended synchrontron sources known as radio halos. Surface brightness edges have been found numerous times in the thermal gas of clusters based on X-ray observations. In contrast, edges in radio halos have only been observed in a handful of cases. Our goal is to search for new radio surface brightness discontinuities in the ICM. We inspected the images of the Bullet Cluster and the other 25 radio halos reported in the MeerKAT Galaxy Cluster Legacy Survey. To aid the identification of surface brightness discontinuities, we applied a gradient-filtering edge-detection method to the radio images. We find that the adopted filtering technique is helpful in identifying surface brightness edges in radio images, allowing us to identify at least one gradient in half of the radio halos studied. For the Bullet Cluster, we find excellent agreement between the locations of the 4 radio discontinuities detected and the X-ray edges. This similarity informs us that there is substantial interplay between thermal and nonthermal components in galaxy clusters. This interplay is likely due to the frozen-in ICM magnetic field, which mediates the advection of cosmic rays while being dragged by thermal gas flows. We conclude that radio halos are shaped by dynamical motions in the ICM and that they often display surface brightness discontinuities, which appear to be co-located with edges in the thermal gas emission. Our results demonstrate that new and future generations of radio telescopes will provide a complementary approach to X-rays to efficiently detect shocks and cold fronts in the ICM.


title: The role of baryons in self-interacting dark matter mergers

abstract: Mergers of galaxy clusters are promising probes of dark matter (DM) physics. For example, an offset between the DM component and the galaxy distribution can constrain DM self-interactions. We investigate the role of the intracluster medium (ICM) and its influence on DM-galaxy offsets in self-interacting dark matter models. To this end, we employ Smoothed Particle Hydrodynamics + N-body simulations to study idealized setups of equal- and unequal-mass mergers with head-on collisions. Our simulations show that the ICM hardly affects the offsets arising shortly after the first pericentre passage compared to DM-only simulations. But later on, e.g. at the first apocentre, the offsets can be amplified by the presence of the ICM. Furthermore, we find that cross-sections small enough not to be excluded by measurements of the core sizes of relaxed galaxy clusters have a chance to produce observable offsets. We found that different DM models affect the DM distribution and also the galaxy and ICM distribution, including its temperature. Potentially, the position of the shock fronts, combined with the brightest cluster galaxies, provides further clues to the properties of DM. Overall our results demonstrate that mergers of galaxy clusters at stages about the first apocentre passage could be more interesting in terms of DM physics than those shortly after the first pericentre passage. This may motivate further studies of mergers at later evolutionary stages.


title: Complex fixed points of the non-Hermitian Kondo model in a Luttinger liquid

abstract: Non-Hermitian physics in open quantum many-body systems provides novel opportunities for the discovery of exotic quantum phenomena unexpected in Hermitian systems. A previous study of the non-Hermitian Kondo problem in ultracold atoms reports reversion of renormalization group flows which violates the $g$ theorem and produces an unusual quantum phase transition. In this work, we study the effect of electron-electron interactions by considering the non-Hermitian Kondo problem in a Luttinger liquid. By performing a perturbative renormalization group analysis to two-loop order, we find that the interplay between non-Hermitian Kondo couplings and electron-electron interactions can produce a pair of complex fixed points. Complex fixed points have often been discussed in an attempt to understand the extremely long correlation length of Hermitian systems with weakly first-order transitions. Here, we show that complex fixed points arise naturally and can be physically realized in open quantum systems. We discuss consequences of the complex fixed points and future directions.


title: Keck Integral-Field Spectroscopy of M87 Reveals an Intrinsically Triaxial Galaxy and a Revised Black Hole Mass

abstract: The three-dimensional intrinsic shape of a galaxy and the mass of the central supermassive black hole provide key insight into the galaxy's growth history over cosmic time. Standard assumptions of a spherical or axisymmetric shape can be simplistic and can bias the black hole mass inferred from the motions of stars within a galaxy. Here we present spatially-resolved stellar kinematics of M87 over a two-dimensional $250\mbox{$^{\prime\prime}$} \times 300\mbox{$^{\prime\prime}$}$ contiguous field covering a radial range of 50 pc-12 kpc from integral-field spectroscopic observations at the Keck II Telescope. From about 5 kpc and outward, we detect a prominent 25 $\mathrm{km~s}^{-1}$ rotational pattern, in which the kinematic axis (connecting the maximal receding and approaching velocities) is $40^\circ$ misaligned with the photometric major axis of M87. The rotational amplitude and misalignment angle both decrease in the inner 5 kpc. Such misaligned and twisted velocity fields are a hallmark of triaxiality, indicating that M87 is not an axisymmetrically shaped galaxy. Triaxial Schwarzschild orbit modeling with more than 4000 observational constraints enabled us to determine simultaneously the shape and mass parameters. The models incorporate a radially declining profile for the stellar mass-to-light ratio suggested by stellar population studies. We find that M87 is strongly triaxial, with ratios of $p=0.845$ for the middle-to-long principal axes and $q=0.722$ for the short-to-long principal axes, and determine the black hole mass to be $(5.37^{+0.37}_{-0.25}\pm 0.22)\times 10^9 M_\odot$, where the second error indicates the systematic uncertainty associated with the distance to M87.


title: A model of $d$-wave superconductivity, antiferromagnetism, and charge order on the square lattice

abstract: Early studies proposed a connection between cuprate superconductivity and fractionalized spin liquid states. But the low temperature phase diagram is dominated by states without fractionalization, with a competition between superconductivity and charge-ordered states which break translational symmetry. Our theory uncovers novel features associated with a particular spin-liquid presumed to underlie the pseudogap metal, and shows that it has multiple nearly-degenerate instabilities to confinement of fractionalized excitations, leading to antiferromagnetism, $d$-wave superconductivity, and/or charge order. Our theory provides routes to resolving a number of open puzzles on the cuprate phase diagram. The spin liquid is described by a SU(2) gauge theory of $N_f=2$ massless fundamental Dirac fermions, has an emergent SO(5)$_f$ global symmetry, and is presumed to confine at low energies to the N\'eel state. At non-zero doping (or smaller Hubbard repulsion at half-filling) we argue that confinement occurs via the Higgs condensation of bosonic chargons carrying fundamental SU(2) gauge charges moving in $\pi$ flux. At half-filling, the low energy Higgs sector has $N_b=2$ relativistic bosons with a possible emergent SO(5)$_b$ global symmetry describing rotations between a $d$-wave superconductor, period-2 charge stripes, and the time-reversal breaking `$d$-density wave' state. We propose a deconfined quantum critical point between a confining state which breaks SO(5)$_f$ and a confining state which breaks SO(5)$_b$. The pattern of symmetry breaking within both SO(5)s is determined by terms likely irrelevant at the critical point, which can be chosen to obtain a transition between N\'eel order and $d$-wave superconductivity. A similar theory applies at non-zero doping and large $U$, with longer-range couplings of the chargons leading to charge order with longer periods.


title: Observational Signatures of Carbon-Oxygen White Dwarf Merger Remnants

abstract: Many double white dwarf (WD) mergers likely do not lead to a prompt thermonuclear explosion. We investigate the prospects for observationally detecting the surviving remnants of such mergers, focusing on the case of mergers of double Carbon-Oxygen WDs. For $\sim 10^4$ yr, the merger remnant is observationally similar to an extreme AGB star evolving to become a massive WD. Identifying merger remnants is thus easiest in galaxies with high stellar masses (high WD merger rate) and low star formation rates (low birth rate of $\sim 6-10 \,{\rm M_{\odot}}$ stars). Photometrically identifying merger remnants is challenging even in these cases because the merger remnants appear similar to He stars and post-outburst classical novae. We propose that the most promising technique for discovering WD merger remnants is through their unusual surrounding photoionized nebulae. We use CLOUDY photoionization calculations to investigate their unique spectral features. Merger remnants should produce weak hydrogen lines and strong carbon and oxygen recombination and fine-structure lines in the UV, optical and IR. With narrow-band imaging or integral field spectrographs, we predict that multiple candidates are detectable in the bulge of M31, the outskirts of M87 and other nearby massive galaxies, and the Milky Way. Our models roughly reproduce the WISE nebula surrounding the Galactic WD merger candidate IRAS 00500+6713; we predict detectable [Ne\,VI] and [Mg\,VII] lines with JWST but that the mid-IR WISE emission is dominated by dust not fine-structure lines.


title: Gravitational Wave Backgrounds from Colliding ECOs

abstract: Long baseline atom interferometers offer an exciting opportunity to explore mid-frequency gravitational waves. In this work we survey the landscape of possible contributions to the total 'gravitational wave background' in this frequency band and advocate for targeting this observable. Such an approach is complimentary to searches for resolved mergers from individual sources and may have much to reveal about the Universe. We find that the inspiral phases of stellar-mass compact binaries cumulatively produce a signal well within reach of the proposed AION-km and AEDGE experiments. Hypothetical populations of dark sector exotic compact objects, harbouring just a tiny fraction of the dark energy density, could also generate signatures unique to mid- and low-frequency gravitational wave detectors, providing a novel means to probe complexity in the dark sector.


title: High-dimensional Encoding in the Round-Robin Differential-Phase-Shift Protocol

abstract: In quantum key distribution (QKD), protocols are tailored to adopt desirable experimental attributes, including high key rates, operation in high noise levels, and practical security considerations. The round-robin differential phase shift protocol (RRDPS), falling in the family of differential phase shift protocols, was introduced to remove restrictions on the security analysis, such as the requirement to monitor signal disturbances, improving its practicality in implementations. While the RRDPS protocol requires the encoding of single photons in high-dimensional quantum states, at most, only one bit of secret key is distributed per sifted photon. However, another family of protocols, namely high-dimensional (HD) QKD, enlarges the encoding alphabet, allowing single photons to carry more than one bit of secret key each. The high-dimensional BB84 protocol exemplifies the potential benefits of such an encoding scheme, such as larger key rates and higher noise tolerance. Here, we devise an approach to extend the RRDPS QKD to an arbitrarily large encoding alphabet and explore the security consequences. We demonstrate our new framework with a proof-of-concept experiment and show that it can adapt to various experimental conditions by optimizing the protocol parameters. Our approach offers insight into bridging the gap between seemingly incompatible quantum communication schemes by leveraging the unique approaches to information encoding of both HD and DPS QKD.


title: Confinement of exotic matter. I. Static solutions

abstract: We present the ${\cal E}$-boson star: A novel configuration of a boson star with an exotic matter nucleus; the exotic matter being described by a real massive scalar field with self-interaction term and kinetic term of the opposite sign. The other scalar field is canonical, so that the system is similar to the material component of the quintom cosmological scenario. Considering the static spherical symmetric case, we obtain cases where both fields are distributed as concentric spheres, and others with the remarkable feature that the canonical matter is pushed outwards and obtain a shell-like distribution of the canonical field, with a nucleus of exotic matter at the center. We present global properties of such ${\cal E}$-boson stars and stress the differences that these configuration have with respect to the usual boson stars. In particular, we obtain cases where the compactness goes beyond the Buchdahl limit.


title: $\mathrm{morphofit}$: An automated galaxy structural parameters fitting package

abstract: In today's modern wide-field galaxy surveys, there is the necessity for parametric surface brightness decomposition codes characterised by accuracy, small degree of user intervention, and high degree of parallelisation. We try to address this necessity by introducing $\mathrm{morphofit}$, a highly parallelisable $\mathrm{Python}$ package for the estimate of galaxy structural parameters. The package makes use of wide-spread and reliable codes, namely $\mathrm{SExtractor}$ and $\mathrm{GALFIT}$. It has been optimised and tested in both low-density and crowded environments, where blending and diffuse light makes the structural parameters estimate particularly challenging. $\mathrm{morphofit}$ allows the user to fit multiple surface brightness components to each individual galaxy, among those currently implemented in the code. Using simulated images of single S\'ersic and bulge plus disk galaxy light profiles with different bulge-to-total luminosity ($\mathrm{B/T}$) ratios, we show that $\mathrm{morphofit}$ is able to recover the input structural parameters of the simulated galaxies with good accuracy. We also compare its estimates against existing literature studies, finding consistency within the errors. We use the package in Tortorelli et al. 2023 to measure the structural parameters of cluster galaxies in order to study the wavelength dependence of the Kormendy relation of early-type galaxies. The package is available on github (https://github.com/torluca/morphofit) and on the Pypi server (https://pypi.org/project/morphofit/).