title: Topologically protected subdiffusive transport in two-dimensional fermionic wires

abstract: The conductance at the band edges of one-dimensional fermionic wires, with $N$ sites, has been shown to have subdiffusive $(1/N^2)$ behavior. We investigate this issue in two-dimensional fermionic wires described by a hopping model on an $N_x\times N_y$ rectangular lattice comprised of vertical chains with a Hermitian intra-chain and inter-chain hopping matrices given by $H_0$ and $H_1$, respectively. We study particle transport using the non-equilibrium Green's function formalism, and show that the asymptotic behavior of the conductance, $T(\omega)$, at the Fermi level $\omega$, is controlled by the spectrum of a dimensionless matrix $A(\omega)=(-\omega+H_0)H_1^{-1}$. This gives three simple conditions on the spectrum of $A(\omega)$ for observing ballistic, subdiffusive, and exponentially decaying $T(\omega)$ with respect to $N_x$. We show that certain eigenvalues of $A(\omega)$ give rise to subdiffusive contributions in the conductance, and correspond to the band edges of the isolated wire. We demonstrate that the condition for observing the subdiffusive behavior can be satisfied if $A(\omega)$ has nontrivial topology. In that case, a transition from ballistic behavior to subdiffusive behavior of the conductance is observed as the hopping parameters are tuned within the topological regime. We argue that at the transition point, different behaviors of the conductance can arise as the trivial bulk bands of $A(\omega)$ also contribute subdiffusively. We illustrate our findings in a simple model by numerically computing the variation of the conductance with $N_x$. Our numerical results indicate a different subdiffusive behavior ($1/N_x^3$) of the conductance at the transition point. We find the numerical results in good agreement with the theoretical predictions.


title: Can We Edit Multimodal Large Language Models?

abstract: In this paper, we focus on editing Multimodal Large Language Models (MLLMs). Compared to editing single-modal LLMs, multimodal model editing is more challenging, which demands a higher level of scrutiny and careful consideration in the editing process. To facilitate research in this area, we construct a new benchmark, dubbed MMEdit, for editing multimodal LLMs and establishing a suite of innovative metrics for evaluation. We conduct comprehensive experiments involving various model editing baselines and analyze the impact of editing different components for multimodal LLMs. Empirically, we notice that previous baselines can implement editing multimodal LLMs to some extent, but the effect is still barely satisfactory, indicating the potential difficulty of this task. We hope that our work can provide the NLP community with insights. Code and dataset are available in https://github.com/zjunlp/EasyEdit.


title: Morse-Smale 3-diffeomorphisms with saddles of the same unstable manifold dimension

abstract: In this paper, we consider a class of Morse-Smale diffeomorphisms defined on a closed 3-manifold (non-necessarily orientable) under the assumption that all their saddle points have the same dimension of the unstable manifolds. The simplest example of such diffeomorphisms is the well-known ``source-sink'' or ``north pole - south pole'' diffeomorphism, whose non-wandering set consists of exactly one source and one sink. Such systems, as Reeb showed back in 1946, can be realized only on the sphere. We generalize his result, namely, we show that diffeomorphisms from the considered class also can be defined only on the 3-sphere.


title: TASEP Exit Times

abstract: We address the question of the time needed by $N$ particles, initially located on the first sites of a finite 1D lattice of size $L$, to exit that lattice when they move according to a TASEP transport model. Using analytical calculations and numerical simulations, we show that when $N \ll L$, the mean exit time of the particles is asymptotically given by $T_N(L) \sim L+\beta_N \sqrt{L}$ for large lattices. Building upon exact results obtained for 2 particles, we devise an approximate continuous space and time description of the random motion of the particles that provides an analytical recursive relation for the coefficients $\beta_N$. The results are shown to be in very good agreement with numerical results. This approach sheds some light on the exit dynamics of $N$ particles in the regime where $N$ is finite while the lattice size $L\rightarrow \infty$. This complements previous asymptotic results obtained by Johansson in \cite{Johansson2000} in the limit where both $N$ and $L$ tend to infinity while keeping the particle density $N/L$ finite.


title: Nonrelativistic Limit of Normalized Solutions to a class of nonlinear Dirac equations

abstract: In this paper, we investigate the nonrelativistic limit of normalized solutions to a nonlinear Dirac equation as given below: \begin{equation*} \begin{cases} &-i c\sum\limits_{k=1}^3\alpha_k\partial_k u +mc^2 \beta {u}- \Gamma * (K |{u}|^\kappa) K|{u}|^{\kappa-2}{u}- P |{u}|^{s-2}{u}=\omega {u}, \\ &\displaystyle\int_{\mathbb{R}^3}\vert u \vert^2 dx =1. \end{cases} \end{equation*} Here, $c>0$ represents the speed of light, $m > 0$ is the mass of the Dirac particle, $\omega\in\mathbb{R}$ emerges as an indeterminate Lagrange multiplier, $\Gamma$, $K$, $P$ are real-valued function defined on $\mathbb{R}^3$, also known as potential functions. Our research first confirms the presence of normalized solutions to the Dirac equation under high-speed light conditions. We then illustrate that these solutions progress to become the ground states of a system of nonlinear Schr\"odinger equations with a normalized constraint, exhibiting uniform boundedness and exponential decay irrespective of the light speed. Our results form the first discussion on nonrelativistic limit of normalized solutions to nonlinear Dirac equations. This not only aids in the study of normalized solutions of the nonlinear Schr\"odinger equations, but also physically explains that the normalized ground states of high-speed particles and low-speed motion particles are consistent.


title: Personalised dynamic super learning: an application in predicting hemodiafiltration's convection volumes

abstract: Obtaining continuously updated predictions is a major challenge for personalised medicine. Leveraging combinations of parametric regressions and machine learning approaches, the personalised online super learner (POSL) can achieve such dynamic and personalised predictions. We adapt POSL to predict a repeated continuous outcome dynamically and propose a new way to validate such personalised or dynamic prediction models. We illustrate its performance by predicting the convection volume of patients undergoing hemodiafiltration. POSL outperformed its candidate learners with respect to median absolute error, calibration-in-the-large, discrimination, and net benefit. We finally discuss the choices and challenges underlying the use of POSL.


title: Heterogeneous nucleation in the random field Ising model

abstract: We investigate the nucleation dynamics of the three-dimensional random field Ising model (RFIM) under an external field. We use umbrella sampling to compute the free-energy cost of a critical nucleus, and use forward flux sampling for the direct estimation of nucleation rates. For moderate to strong disorder, our results indicate that the size of the nucleating cluster is not a good reaction coordinate, contrary to the pure Ising model. We rectify this problem by introducing a coordinate that also accounts for the location of the nucleus. Using the free energy barrier to predict the nucleation rate, we find reasonable agreement, although deviations become stronger as disorder increases. We attribute this effect to cluster shape fluctuations. We also discuss finite-size effects on the nucleation rate.


title: Commutative nilpotent transformation semigroups

abstract: Cameron, et al. determined the maximum size of a null subsemigroup of the full transformation semigroup $\mathcal{T}(X)$ on a finite set $X$ and provided a description of the null semigroups that achieve that size. In this paper we extend the results on null semigroups (which are commutative) to commutative nilpotent semigroups. Using a mixture of algebraic and combinatorial techniques, we show that, when $X$ is finite, the maximum order of a commutative nilpotent subsemigroup of $\mathcal{T}(X)$ is equal to the maximum order of a null subsemigroup of $\mathcal{T}(X)$ and we prove that the largest commutative nilpotent subsemigroups of $\mathcal{T}(X)$ are the null semigroups previoulsy characterized by Cameron, et al..


title: DIISC-III: Signatures of Stellar Disk Growth in Nearby Galaxies

abstract: We explore the growth of the stellar disks in 14 nearby spiral galaxies as part of the Deciphering the Interplay between the Interstellar medium, Stars, and the Circumgalactic medium (DIISC) survey. We study the radial distribution of specific star formation rates (sSFR) and investigate the ratio of the difference in the outer and inner sSFR ($\Delta_{sSFR}~={\rm sSFR}_{out}-{\rm sSFR}_{in}$) of the disk and the total sSFR, $\Delta_{sSFR}$/sSFR to quantify disk growth. We find $\Delta_{sSFR}$/sSFR and the HI gas fraction to show a mild correlation of Spearman's $\rho=0.30$, indicating that star formation and disk growth are likely to proceed outward in galactic disks with high HI gas fractions. The HI gas fractions and $\Delta_{sSFR}$/sSFR of the galaxies also increase with the distance to the nearest L$_\star$ neighbor, suggesting that galaxies are likely to sustain their ISM cold gas and exhibit inside-out growth in isolated environments. However, the HI content in their circumgalactic medium, probed by the Ly$\alpha$ equivalent width (W$_{Ly\alpha}$) excess, is observed to be suppressed in isolated environments, apparent from the strong anti-correlation between the W$_{Ly\alpha}$ excess and the distance to the 5$^{\rm th}$ nearest L$_\star$ neighbor (Spearman's $\rho=-0.62$). As expected, W$_{Ly\alpha}$ is also found to be suppressed in cluster galaxies. We find no relation between the W$_{Ly\alpha}$ excess of the detected CGM absorber and $\Delta_{sSFR}$/sSFR implying that the enhancement and suppression of the circumgalactic HI gas does not affect the direction in which star formation proceeds in a galactic disk or vice-versa.


title: Understanding the Humans Behind Online Misinformation: An Observational Study Through the Lens of the COVID-19 Pandemic

abstract: The proliferation of online misinformation has emerged as one of the biggest threats to society. Considerable efforts have focused on building misinformation detection models, still the perils of misinformation remain abound. Mitigating online misinformation and its ramifications requires a holistic approach that encompasses not only an understanding of its intricate landscape in relation to the complex issue and topic-rich information ecosystem online, but also the psychological drivers of individuals behind it. Adopting a time series analytic technique and robust causal inference-based design, we conduct a large-scale observational study analyzing over 32 million COVID-19 tweets and 16 million historical timeline tweets. We focus on understanding the behavior and psychology of users disseminating misinformation during COVID-19 and its relationship with the historical inclinations towards sharing misinformation on Non-COVID domains before the pandemic. Our analysis underscores the intricacies inherent to cross-domain misinformation, and highlights that users' historical inclination toward sharing misinformation is positively associated with their present behavior pertaining to misinformation sharing on emergent topics and beyond. This work may serve as a valuable foundation for designing user-centric inoculation strategies and ecologically-grounded agile interventions for effectively tackling online misinformation.


title: Gravitational form factors of the proton from lattice QCD

abstract: The gravitational form factors (GFFs) of a hadron encode fundamental aspects of its structure, including its shape and size as defined from e.g., its energy density. This work presents a determination of the flavor decomposition of the GFFs of the proton from lattice QCD, in the kinematic region $0\leq -t\leq 2~\text{GeV}^2$. The decomposition into up-, down-, strange-quark, and gluon contributions provides first-principles constraints on the role of each constituent in generating key proton structure observables, such as its mechanical radius, mass radius, and $D$-term.


title: Arithmetic finiteness of very irregular varieties

abstract: We prove the Shafarevich conjecture for very irregular varieties of dimension less than half the dimension of their Albanese variety, subject to some mild numerical conditions. Our proof relies on the Lawrence-Venkatesh method as in the work of Lawrence-Sawin, together with the big monodromy criterion from our work with Javanpeykar and Lehn.


title: Sparse critical graphs for defective $(1,3)$-coloring

abstract: A graph $G$ is $(1,3)$-colorable if its vertices can be partitioned into subsets $V_1$ and $V_2$ so that every vertex in $G[V_1]$ has degree at most $1$ and every vertex in $G[V_2]$ has degree at most $3$. We prove that every graph with maximum average degree at most 28/9 is $(1, 3)$-colorable.


title: GraphextQA: A Benchmark for Evaluating Graph-Enhanced Large Language Models

abstract: While multi-modal models have successfully integrated information from image, video, and audio modalities, integrating graph modality into large language models (LLMs) remains unexplored. This discrepancy largely stems from the inherent divergence between structured graph data and unstructured text data. Incorporating graph knowledge provides a reliable source of information, enabling potential solutions to address issues in text generation, e.g., hallucination, and lack of domain knowledge. To evaluate the integration of graph knowledge into language models, a dedicated dataset is needed. However, there is currently no benchmark dataset specifically designed for multimodal graph-language models. To address this gap, we propose GraphextQA, a question answering dataset with paired subgraphs, retrieved from Wikidata, to facilitate the evaluation and future development of graph-language models. Additionally, we introduce a baseline model called CrossGNN, which conditions answer generation on the paired graphs by cross-attending question-aware graph features at decoding. The proposed dataset is designed to evaluate graph-language models' ability to understand graphs and make use of it for answer generation. We perform experiments with language-only models and the proposed graph-language model to validate the usefulness of the paired graphs and to demonstrate the difficulty of the task.


title: Community Consensus: Converging Locally despite Adversaries and Heterogeneous Connectivity

abstract: We introduce the concept of community consensus in the presence of malicious agents using a well-known median-based consensus algorithm. We consider networks that have multiple well-connected regions that we term communities, characterized by specific robustness and minimum degree properties. Prior work derives conditions on properties that are necessary and sufficient for achieving global consensus in a network. This, however, requires the minimum degree of the network graph to be proportional to the number of malicious agents in the network, which is not very practical in large networks. In this work, we present a natural generalization of this previous result. We characterize cases where, although global consensus is not reached, some subsets of agents $V_i$ will still converge to the same values $M_i$ among themselves. To reach this new type of consensus, we define more relaxed requirements in terms of the number of malicious agents in each community, and the number $k$ of edges connecting an agent in a community to agents external to the community.


title: Broadband mode division multiplexing of OAM-modes by a micro printed waveguide structure

abstract: A light beam carrying orbital angular momentum (OAM) is characterized by a helical phase-front that winds around the center of the beam. These beams have unique properties that have found numerous applications. In the field of data transmission, they represent a degree of freedom that could potentially increase capacity by a factor of several distinct OAM modes. While an efficient method for (de)composing beams based on their OAM exists for free-space optics, a device capable of performing this (de)composition in an integrated, compact fiber application without the use of external active optical elements and for multiple OAM modes simultaneously has not been reported. In this study, a waveguide structure is presented that can serve as a broadband OAM (de)multiplexer. The structure design is based on the adiabatic principle used in photonic lanterns for highly efficient conversion of spatially separated single modes into eigenmodes of a few-mode fiber. In addition, an artificial magnetic field is introduced by twisting the structure during the adiabatic evolution, which removes the degeneracy between modes having the same absolute OAM. This structure can simplify, stabilize, and miniaturize the creation or decomposition of OAM beams, making them useful for various applications.


title: Balancing ACT: weighing prior dependency and global tensions of DR6 lensing with other datasets

abstract: We provide a complementary nested sampling analysis for the Atacama Cosmology Telescope lensing data release 6. This allows the quantification of global consistency statistics between ACT lensing and alternative datasets. In the context of flat $\Lambda$CDM, we find no inconsistency between ACT, Baryonic Acoustic Oscillations, Planck anisotropies, weak lensing datasets, or NPIPE lensing. As part of our analysis, we also investigate the effect of the prior widths used in the ACT analysis and find that the headline results are quantitatively but not qualitatively affected by the chosen priors. We use both Bayes factors and the suspiciousness statistic to quantify the possibility of tension, and find suspiciousness unsuitable in the case of strong agreement between ACT DR6 and NPIPE. Nested sampling provides a competitive alternative to Metropolis Hastings and we recommend it be used alongside existing analyses. We release the chains and plotting source for the analysis using anesthetic.


title: Prometheus: Inducing Fine-grained Evaluation Capability in Language Models

abstract: Recently, using a powerful proprietary Large Language Model (LLM) (e.g., GPT-4) as an evaluator for long-form responses has become the de facto standard. However, for practitioners with large-scale evaluation tasks and custom criteria in consideration (e.g., child-readability), using proprietary LLMs as an evaluator is unreliable due to the closed-source nature, uncontrolled versioning, and prohibitive costs. In this work, we propose Prometheus, a fully open-source LLM that is on par with GPT-4's evaluation capabilities when the appropriate reference materials (reference answer, score rubric) are accompanied. We first construct the Feedback Collection, a new dataset that consists of 1K fine-grained score rubrics, 20K instructions, and 100K responses and language feedback generated by GPT-4. Using the Feedback Collection, we train Prometheus, a 13B evaluator LLM that can assess any given long-form text based on customized score rubric provided by the user. Experimental results show that Prometheus scores a Pearson correlation of 0.897 with human evaluators when evaluating with 45 customized score rubrics, which is on par with GPT-4 (0.882), and greatly outperforms ChatGPT (0.392). Furthermore, measuring correlation with GPT-4 with 1222 customized score rubrics across four benchmarks (MT Bench, Vicuna Bench, Feedback Bench, Flask Eval) shows similar trends, bolstering Prometheus's capability as an evaluator LLM. Lastly, Prometheus achieves the highest accuracy on two human preference benchmarks (HHH Alignment & MT Bench Human Judgment) compared to open-sourced reward models explicitly trained on human preference datasets, highlighting its potential as an universal reward model. We open-source our code, dataset, and model at https://kaistai.github.io/prometheus/.


abstract: In this note, we complete the analysis of the Martingale Wasserstein Inequality started in arXiv:2011.11599 by checking that this inequality fails in dimension $d\ge 2$ when the integrability parameter $\rho$ belongs to $[1,2)$ while a stronger Maximal Martingale Wasserstein Inequality holds whatever the dimension $d$ when $\rho\ge 2$.


title: The Average Size of 2-Selmer Groups of Elliptic Curves in Characteristic 2

abstract: Let $K$ be the function field of a smooth curve $B$ over a finite field $k$ of arbitrary characteristic. We prove that the average size of the $2$-Selmer groups of elliptic curves $E/K$ is at most $1+2\zeta_B(2)\zeta_B(10)$, where $\zeta_B$ is the zeta function of the curve $B/k$. In particular, in the limit as $q=\#k\to\infty$ (with the genus $g(B)$ fixed), we see that the average size of 2-Selmer is bounded above by $3$, even in "bad" characteristics.


title: An Experience-based TAMP Framework for Foliated Manifolds

abstract: Due to their complexity, foliated structure problems often pose intricate challenges to task and motion planning in robotics manipulation. To counter this, our study presents the ``Foliated Repetition Roadmap.'' This roadmap assists task and motion planners by transforming the complex foliated structure problem into a more accessible graph format. By leveraging query experiences from different foliated manifolds, our framework can dynamically and efficiently update this graph. The refined graph can generate distribution sets, optimizing motion planning performance in foliated structure problems. In our paper, we lay down the theoretical groundwork and illustrate its practical applications through real-world examples.


title: Characterizing climate pathways using feature importance on echo state networks

abstract: The 2022 National Defense Strategy of the United States listed climate change as a serious threat to national security. Climate intervention methods, such as stratospheric aerosol injection, have been proposed as mitigation strategies, but the downstream effects of such actions on a complex climate system are not well understood. The development of algorithmic techniques for quantifying relationships between source and impact variables related to a climate event (i.e., a climate pathway) would help inform policy decisions. Data-driven deep learning models have become powerful tools for modeling highly nonlinear relationships and may provide a route to characterize climate variable relationships. In this paper, we explore the use of an echo state network (ESN) for characterizing climate pathways. ESNs are a computationally efficient neural network variation designed for temporal data, and recent work proposes ESNs as a useful tool for forecasting spatio-temporal climate data. Like other neural networks, ESNs are non-interpretable black-box models, which poses a hurdle for understanding variable relationships. We address this issue by developing feature importance methods for ESNs in the context of spatio-temporal data to quantify variable relationships captured by the model. We conduct a simulation study to assess and compare the feature importance techniques, and we demonstrate the approach on reanalysis climate data. In the climate application, we select a time period that includes the 1991 volcanic eruption of Mount Pinatubo. This event was a significant stratospheric aerosol injection, which we use as a proxy for an artificial stratospheric aerosol injection. Using the proposed approach, we are able to characterize relationships between pathway variables associated with this event.


title: The Uncertainty-based Retrieval Framework for Ancient Chinese CWS and POS

abstract: Automatic analysis for modern Chinese has greatly improved the accuracy of text mining in related fields, but the study of ancient Chinese is still relatively rare. Ancient text division and lexical annotation are important parts of classical literature comprehension, and previous studies have tried to construct auxiliary dictionary and other fused knowledge to improve the performance. In this paper, we propose a framework for ancient Chinese Word Segmentation and Part-of-Speech Tagging that makes a twofold effort: on the one hand, we try to capture the wordhood semantics; on the other hand, we re-predict the uncertain samples of baseline model by introducing external knowledge. The performance of our architecture outperforms pre-trained BERT with CRF and existing tools such as Jiayan.


title: Impact of time and note duration tokenizations on deep learning symbolic music modeling

abstract: Symbolic music is widely used in various deep learning tasks, including generation, transcription, synthesis, and Music Information Retrieval (MIR). It is mostly employed with discrete models like Transformers, which require music to be tokenized, i.e., formatted into sequences of distinct elements called tokens. Tokenization can be performed in different ways. As Transformer can struggle at reasoning, but capture more easily explicit information, it is important to study how the way the information is represented for such model impact their performances. In this work, we analyze the common tokenization methods and experiment with time and note duration representations. We compare the performances of these two impactful criteria on several tasks, including composer and emotion classification, music generation, and sequence representation learning. We demonstrate that explicit information leads to better results depending on the task.


title: Frustration Propagation in Tubular Foldable Mechanisms

abstract: Shell mechanisms are patterned surface-like structures with compliant deformation modes that allow them to change shape drastically. Examples include many origami and kirigami tessellations as well as other periodic truss mechanisms. The deployment paths of a shell mechanism are greatly constrained by the inextensibility of the constitutive material locally, and by the compatibility requirements of surface geometry globally. With notable exceptions (e.g., Miura-ori), the deployment of a shell mechanism often couples in-plane stretching and out-of-plane bending. Here, we investigate the repercussions of this kinematic coupling in the presence of geometric confinement, specifically in tubular states. We demonstrate that the confinement in the hoop direction leads to a frustration that propagates axially as if by buckling. We fully characterize this phenomenon in terms of amplitude, wavelength, and mode shape, in the asymptotic regime where the size of the unit cell of the mechanism~$r$ is small compared to the typical radius of curvature~$\rho$. In particular, we conclude that the amplitude and wavelength of the frustration are of order $\sqrt{r/\rho}$ and that the mode shape is an elastica solution. Derivations are carried out for a particular pyramidal truss mechanism. Findings are supported by numerical solutions of the exact kinematics.


title: Nutation-Based Longitudinal Sensing Protocols for High-Field NMR With Nitrogen-Vacancy Centers in Diamond

abstract: Nitrogen vacancy (NV) centers in diamond enable nuclear magnetic resonance (NMR) spectroscopy of samples at the nano- and micron scales. However, at typical tesla-scale NMR magnetic field strengths, NV-NMR protocols become difficult to implement due to the challenge of driving fast NV pulse sequences sensitive to nuclear Larmor frequencies above a few megahertz. We perform simulations and theoretical analysis of the experimental viability of NV-NMR at tesla-scale magnetic fields using a new measurement protocol called DRACAERIS (Double Rewound ACquisition Amplitude Encoded Radio Induced Signal). DRACAERIS detects the NMR sample's longitudinal magnetization at a much lower driven Rabi frequency, more suitable technically for NV detection. We discuss how pulse errors, finite pulse lengths, and nuclear spin-spin couplings affect the resulting NMR spectra. We find that DRACAERIS is less susceptible to pulse imperfections and off-resonance effects than previous protocols for longitudinal magnetization detection. We also identify reasonable parameters for experimental implementation.


title: Progress towards ultracold Sr for the AION project -- sub-microkelvin atoms and an optical-heterodyne diagnostic tool for injection-locked laser diodes

abstract: Long-baseline atom interferometers, such as the one to be built by the AION collaboration, require ultra-cold atomic clouds. These are produced by trapping the atoms in Magneto-Optical Traps (MOTs) using high-power, narrow-linewidth lasers. We report on the laser and optical master-slave injection locked system used to address the 1S0 - 3P1 strontium transition at 689 nm, and on the trapping of strontium atoms in a narrowband MOT. We demonstrate the quality of the injection through the characterisation of the injection lock using a novel, easy-to-assemble method which uses a double pass acousto-optic modulator (AOM) to generate and detect a heterodyne beatnote. The reported system is used to produce an atomic cloud at a temperature of 812 +/- 43 nK in a narrowband red MOT.

categories: physics.atom-ph astro-ph.IM hep-ex physics.ins-det quant-ph


title: Unsupervised Learning of Object-Centric Embeddings for Cell Instance Segmentation in Microscopy Images

abstract: Segmentation of objects in microscopy images is required for many biomedical applications. We introduce object-centric embeddings (OCEs), which embed image patches such that the spatial offsets between patches cropped from the same object are preserved. Those learnt embeddings can be used to delineate individual objects and thus obtain instance segmentations. Here, we show theoretically that, under assumptions commonly found in microscopy images, OCEs can be learnt through a self-supervised task that predicts the spatial offset between image patches. Together, this forms an unsupervised cell instance segmentation method which we evaluate on nine diverse large-scale microscopy datasets. Segmentations obtained with our method lead to substantially improved results, compared to state-of-the-art baselines on six out of nine datasets, and perform on par on the remaining three datasets. If ground-truth annotations are available, our method serves as an excellent starting point for supervised training, reducing the required amount of ground-truth needed by one order of magnitude, thus substantially increasing the practical applicability of our method. Source code is available at https://github.com/funkelab/cellulus.


title: Strengthening interacting agegraphic dark energy DGP constraints with local measurements and multimessenger forecastings

abstract: An explanation of the nature of dark energy has been treated in extra dimensions within the scheme of string theory. One of the most successful models is inspired by the Dvali-Gabadadze-Porrati (DGP) model, in which the universe is a 4-dimensional brane embedded in a 5-dimensional Minkowski space-time. In this landscape, the study of the evolution of the normal branch has led us to different kinds of dark energy, where the most simple case is the cosmological constant $\Lambda$. Moreover, other viable cosmological solutions are related to agegraphic dark energy, which allows a late cosmic acceleration within an interacting mechanism. To explore the viability of these solutions and possible gravitational leakage, in this paper, we present constraints on such models using recent standard sirens forecasting in addition to local observables such as Pantheon (SNIa), $H(z)$ measurements, baryonic acoustic oscillations (BAO). Our results show that the value associated with the species of quantum fields $n$ in these models is strongly restricted for supernovae observations to $n=20$, and for GW standard sirens mock data prefers a value of $n=1$.


title: Revealing characteristics of dark GRB 150309A: dust extinguished or high-z?

abstract: Dark GRBs constitute a significant fraction of the GRB population. In this paper, we present the multiwavelength analysis of an intense two-episodic GRB 150309A observed early on to ~114 days post-burst. Despite the strong gamma-ray emission, no optical afterglow was detected for this burst. However, we discovered near-infrared afterglow ($K_{\rm S}$-band), ~5.2 hours post burst, with the CIRCE instrument mounted at the 10.4m GTC. We used Fermi observations of GRB 150309A to understand the prompt emission mechanisms and jet composition. We performed the early optical observations using the BOOTES robotic telescope and late-time afterglow observations using the GTC. A potential faint host galaxy is also detected at optical wavelength using the GTC. We modelled the potential host galaxy of GRB 150309A in order to explore the environment of the burst. The time-resolved spectral analysis of Fermi data indicates a hybrid jet composition consisting of a matter-dominated fireball and magnetic-dominated Poynting flux. GTC observations of the afterglow revealed that the counterpart of GRB 150309A was very red, with H-$K_{\rm S}$ > 2.1 mag (95 $\%$ confidence). The red counterpart was not discovered in any bluer filters of Swift UVOT, indicative of high redshift origin. This possibility was discarded based on multiple arguments, such as spectral analysis of X-ray afterglow constrain z < 4.15 and a moderate redshift value obtained using spectral energy distribution modelling of the potential galaxy. The broadband afterglow SED implies a very dusty host galaxy with deeply embedded GRB (suggesting $A_{\rm V}$ $\gtrsim$ 35 mag). The environment of GRB 150309A demands a high extinction towards the line of sight, demanding dust obscuration is the most probable origin of optical darkness and the very red afterglow of GRB 150309A. This result makes GRB 150309A the highest extinguished GRB known to date.


title: Abelian Higgs gauge theories with multicomponent scalar fields and multiparameter scalar potentials

abstract: We consider multicomponent Abelian Higgs (AH) gauge theories with multiparameter scalar quartic potentials that are extensions, with a smaller global symmetry group, of $SU(N)$-invariant AH theories. In particular, we consider an AH model with a two-parameter scalar potential and $SO(N)$ global symmetry. We discuss the renormalization-group flow of the $SO(N)$-invariant AH field theory and the phase diagram and critical behavior of a corresponding three-dimensional (3D) noncompact lattice AH model. We argue that the phase diagram of 3D noncompact $SO(N)$- and $SU(N)$-symmetric lattice AH models are qualitatively similar. In both cases there are three phases: the high-temperature Coulomb phase, and the low-temperature molecular and Higgs phases that differ for the topological properties of the gauge correlations. However, the main features of the low-temperature ordered phases, and in particular of the Higgs phase, differ significantly in $SO(N)$ and $SU(N)$ models. In particular, in $SO(N)$ models they depend on the sign of the self-interaction parameter $v$ that controls the symmetry breaking from $SU(N)$ to $SO(N)$. As a consequence, also the universal features of the transitions related with the spontaneous breaking of the global symmetry (those between the high-temperature Coulomb phase and the low-temperature molecular and Higgs phases) depend on the sign of $v$.


title: Isometric deformations of surfaces of translation

abstract: A \emph{surface of translation} is a sum $(u,v)\mapsto\gt\alpha(u)+\gt\beta(v)$ of two space curves: a \emph{path} $\gt\alpha$ and a \emph{profile} $\gt\beta$. A fundamental problem of differential geometry and shell theory is to determine the ways in which surfaces deform isometrically, i.e., by bending without stretching. Here, we explore how surfaces of translation bend. Existence conditions and closed-form expressions for special bendings of the infinitesimal and finite kinds are provided. In particular, all surfaces of translation admit a purely torsional infinitesimal bending. Surfaces of translation whose path and profile belong to an elliptic cone or to two planes but never to their intersection further admit a torsion-free infinitesimal bending. Should the planes be orthogonal, the infinitesimal bending can be integrated into a torsion-free (finite) bending. Surfaces of translation also admit a torsion-free bending if the path or profile has exactly two tangency directions. Throughout, smooth and piecewise smooth surfaces, i.e., surfaces with straight or curved creases, are invariably dealt with and some extra care is given to situations where the bendings cause new creases to emerge.


title: Hopf actions on vertex algebras

abstract: In this article, we investigate Hopf actions on vertex algebras. Our first main result is that every finite-dimensional Hopf algebra that inner faithfully acts on a given \pi_2-injective vertex algebra must be a group algebra. Secondly, under suitable assumptions, we establish a Schur-Weyl type duality for semisimple Hopf actions on Hopf modules of vertex algebras.


title: Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language

abstract: The Rust programming language is becoming increasingly popular among systems programmers due to its efficient performance and robust memory safety guarantees. Rust employs an ownership model to ensure this guarantee by allowing each value to be owned by only one identifier at a time. Additionally, it introduces the concept of borrowing and lifetimes to enable other variables to borrow the values under certain conditions temporarily. Despite its benefits, security vulnerabilities have been reported in Rust projects, often attributed to the use of "unsafe" Rust code. These vulnerabilities, in part, arise from incorrect lifetime annotations on function signatures. However, existing tools fail to detect these bugs, primarily because such bugs are rare, challenging to detect through dynamic analysis, and require explicit memory models. To overcome these limitations, first, we characterize incorrect lifetime annotations as a source of memory safety bugs and leverage this understanding to devise a novel static analysis tool, Yuga, to detect potential lifetime annotation bugs. Yuga uses a multi-phase analysis approach, starting with a quick pattern-matching algorithm to identify potential buggy components and then conducting a flow and field-sensitive alias analysis to confirm the bugs. We also curate new datasets of lifetime annotation bugs. Yuga successfully detects bugs with good precision on these datasets, and we make the code and datasets publicly available for review.


title: Two regimes of dilute turbulent settling suspensions under shear

abstract: When turbulent flow is laden with negatively buoyant particles, their mean distribution over the direction of gravity can induce stable density gradients that penalize turbulent fluctuations. This effect is studied numerically for shear-driven flow with dilute non-inertial sediment. The turbulent dynamics and sediment transport depend critically on particle settling velocity $v_s$, splitting into two regimes: homogeneous weakly stratified turbulence and flow with developed turbulence atop an intermittent boundary layer. At intermediate $v_s$, neither state can be sustained and the flow laminarizes.


title: On the regularity conditions in the CLT for the LUE

abstract: We consider the Laguerre Unitary Ensemble (LUE), the set of $n\times n$ sample covariance matrices $M = \frac{1}{n}X^*X$ where the $m\times n$ ($n \le m$) matrix $X$ has i.i.d. standard complex Gaussian entries. In particular we are concerned with the case where $\alpha := m - n$ is fixed, in which case the limiting eigenvalue density has a hard edge at $0$. We study the minimal regularity conditions required for a central limit theorem (CLT) type result to hold for the linear spectral statistics of the LUE. As long as the expression for the limiting variance is finite (and a slightly stonger condition holds near the soft edge) we show that the variance of the linear spectral statistic converges and consequently the CLT holds. Our methods are based on analyzing the explicit kernel for the LUE using asymptotics of the Laguerre polynomials. The CLT follows from approximating the test function of the statistic by Chebyshev polynomials.


title: Coherent states of the Laguerre-Gauss modes

abstract: Large quantum photonic systems hold promise for surpassing classical computational limits, yet their state preparation remains a challenge. We propose an alternative approach to study multiparticle dynamics by mapping the excitation mode of these systems to physical properties of the Laguerre-Gauss modes. We construct coherent states establishing a direct link between excitation number dynamics and the evolution of the Laguerre-Gauss mode. This highlights the photon transverse spatial degree of freedom as a versatile platform for testing fundamental aspects of quantum multiparticle systems.


title: HoneyBee: Progressive Instruction Finetuning of Large Language Models for Materials Science

abstract: We propose an instruction-based process for trustworthy data curation in materials science (MatSci-Instruct), which we then apply to finetune a LLaMa-based language model targeted for materials science (HoneyBee). MatSci-Instruct helps alleviate the scarcity of relevant, high-quality materials science textual data available in the open literature, and HoneyBee is the first billion-parameter language model specialized to materials science. In MatSci-Instruct we improve the trustworthiness of generated data by prompting multiple commercially available large language models for generation with an Instructor module (e.g. Chat-GPT) and verification from an independent Verifier module (e.g. Claude). Using MatSci-Instruct, we construct a dataset of multiple tasks and measure the quality of our dataset along multiple dimensions, including accuracy against known facts, relevance to materials science, as well as completeness and reasonableness of the data. Moreover, we iteratively generate more targeted instructions and instruction-data in a finetuning-evaluation-feedback loop leading to progressively better performance for our finetuned HoneyBee models. Our evaluation on the MatSci-NLP benchmark shows HoneyBee's outperformance of existing language models on materials science tasks and iterative improvement in successive stages of instruction-data refinement. We study the quality of HoneyBee's language modeling through automatic evaluation and analyze case studies to further understand the model's capabilities and limitations. Our code and relevant datasets are publicly available at \url{https://github.com/BangLab-UdeM-Mila/NLP4MatSci-HoneyBee}.


title: Optimum filter-based analysis for the characterization of a high-resolution magnetic microcalorimeter towards the DELight experiment

abstract: Ultra-sensitive cryogenic calorimeters have become a favored technology with widespread application where eV-scale energy resolutions are needed. In this article, we characterize the performance of an X-ray magnetic microcalorimeter (MMC) using a Fe-55 source. Employing an optimum filter-based amplitude estimation and energy reconstruction, we demonstrate that an unprecedented FWHM resolution of $\Delta E_\mathrm{FWHM} = \left(1.25\pm0.17\mathrm{\scriptsize{(stat)}}^{+0.05}_{-0.07}\mathrm{\scriptsize{(syst)}}\right)\,\text{eV}$ can be achieved. We also derive the best possible resolution and discuss limiting factors affecting the measurement. The analysis pipeline for the MMC data developed in this paper is furthermore an important step for the realization of the proposed superfluid helium-based experiment DELight, which will search for direct interaction of dark matter with masses below 100 MeV/c$^2$.


title: How connectivity structure shapes rich and lazy learning in neural circuits

abstract: In theoretical neuroscience, recent work leverages deep learning tools to explore how some network attributes critically influence its learning dynamics. Notably, initial weight distributions with small (resp. large) variance may yield a rich (resp. lazy) regime, where significant (resp. minor) changes to network states and representation are observed over the course of learning. However, in biology, neural circuit connectivity could exhibit a low-rank structure and therefore differs markedly from the random initializations generally used for these studies. As such, here we investigate how the structure of the initial weights -- in particular their effective rank -- influences the network learning regime. Through both empirical and theoretical analyses, we discover that high-rank initializations typically yield smaller network changes indicative of lazier learning, a finding we also confirm with experimentally-driven initial connectivity in recurrent neural networks. Conversely, low-rank initialization biases learning towards richer learning. Importantly, however, as an exception to this rule, we find lazier learning can still occur with a low-rank initialization that aligns with task and data statistics. Our research highlights the pivotal role of initial weight structures in shaping learning regimes, with implications for metabolic costs of plasticity and risks of catastrophic forgetting.


title: Stabilization against gravity and self-tuning of an elastic variable-length rod through an oscillating sliding sleeve

abstract: An elastic rod, straight in its undeformed state, has a mass attached at one end and a variable length, due to a constraint at the other end by a frictionless sliding sleeve. The constraint is arranged with the sliding direction parallel to a gravity field, in a way that the rod can freely slip inside of the sleeve, when the latter is not moving. In this case, the free fall of the mass continues until the rod is completely injected into the constraint. However, when the sliding sleeve is subject to a harmonic transverse vibration, it is shown that the fall of the mass and the rod injection are hindered by the presence of a configurational force developing at the sliding sleeve and acting oppositely to gravity. During the dynamic motion, such a configurational force is varying in time because it is associated with the variable bending moment at the sleeve entrance. It is (experimentally, analytically, and numerically) demonstrated that, in addition to the states of complete injection or ejection of the elastic rod (for which the mass falls down or is thrown out), a stable sustained oscillation around a finite height can be realized. This 'suspended motion' is the signature of a new attractor, that arises by the constraint oscillation. This behaviour shares similarities with parametric oscillators, as for instance the Kapitza inverted pendulum. However, differently from the classical parametric oscillators, the 'suspended' configuration of the rod violates equilibrium and the stabilization occurs through a transverse mechanical input, instead of a longitudinal one. By varying the sliding sleeve oscillation amplitude and frequency within specific sets of values, the system spontaneously adjusts the sustained motion through a self-tuning of the rod's external length. This self-tuning property opens the way to the design of vibration-based devices with extended frequency range.


title: Primary breakup of liquid jet Effect of jet velocity profile

abstract: The present work examines the effect of the velocity profile on primary breakup of liquid jets emanating from fuel injectors. Direct Numerical Simulation (DNS) is used to simulate liquid jet breakup. Different velocity profiles are imposed on the liquid and their effect on breakup is examined. It is a common practice in the literature to use flat or uniform velocity profiles in such studies. The validity of this assumption is assessed and its implications are highlighted. Droplet sizes and degree of atomization are compared for all the cases. Further, a detailed comparison of jet breakup structure is made for two cases parabolic and power law velocity profiles. The liquid surface is observed to show two-dimensional waves initially, which subsequently transform into three-dimensional waves and give rise to ligament formation and surface breakup. Tip vortex rollup and its role in jet breakup is discussed. The distinction between different velocity profiles is examined in detail in terms of surface waves, degree of atomization, and jet structure.


title: Enhanced symmetries in minimally-twisted three-dimensional supersymmetric theories

abstract: We show that the action of residual supersymmetries in holomorphic-topological twists of $N = 2$ theories in three dimensions naturally extends to the action of certain infinite dimensional Lie superalgebras. We demonstrate this in a range of examples, including $N = 4$ Yang-Mills theories and superconformal Chern-Simons theories, describing how the symmetries are implemented at the level of local operators.


title: A linear proof language for second-order intuitionistic linear logic

abstract: We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling the proof of a linearity result at the syntactic level.


title: On the five-dimensional non-extremal Reissner-Nordstr\"{o}m black hole: Retractions and scalar quasibound states

abstract: In this paper, we examine the role played by topology, and some specific boundary conditions as well, on the physics of a higher-dimensional black hole. We analyze the line element of a five-dimensional non-extremal Reissner-Nordstr\"{o}m black hole to obtain a new family of subspaces that are types of strong retractions and deformations, and then we extend these results to higher dimensions in order to deduce the relationship between various types of transformations. We also study the scalar field perturbations in the background under consideration and obtain an analytical expression for the quasibound state frequencies by using the Vieira-Bezerra-Kokkotas approach, which uses the polynomial conditions of the general Heun functions, and then we discuss the stability of the system and present the radial eigenfunctions. Our main goal is to discuss the physical meaning of these mathematical applications in such higher-dimensional effective metric.


title: Martingale solutions in stochastic fluid-structure interaction

abstract: We consider a viscous incompressible fluid interacting with a linearly elastic shell of Koiter type which is located at some part of the boundary. Recently models with stochastic perturbation in the shell equation have been proposed in the literature but only analysed in simplified cases. We investigate the full model with transport noise, where (a part of) the boundary of the fluid domain is randomly moving in time. We prove the existence of a weak martingale solution to the underlying system.


title: Curved-crease origami for morphing metamaterials

abstract: We find a closed-form expression for the Poisson's coefficient of curved-crease variants of the ``Miura ori'' origami tessellation. This is done by explicitly constructing a continuous one-parameter family of isometric piecewise-smooth surfaces that describes the action of folding out of a reference state. The response of the tessellations in bending is investigated as well: \comment{using a numerical convergence scheme,} the effective normal curvatures under infinitesimal bending are found to occur in a ratio equal and opposite to the Poisson's coefficient. These results are the first of their kind and, by their simplicity, should provide a fruitful benchmark for the design and modeling of curved-crease origami and compliant shell mechanisms. Here, the developed methods are used to design a curved crease 3D morphing solid with a tunable self-locked state.


title: Bottom-up dust nucleation theory in oxygen-rich evolved stars II. Magnesium and calcium aluminate clusters

abstract: Spinel (MgAl$_{2}$O$_{4}$) and krotite (CaAl$_{2}$O$_{4}$) are alternative candidates to alumina (Al$_2$O$_3$) as primary dust condensates in the atmospheres of oxygen-rich evolved stars. Moreover, spinel was proposed as a potential carrier of the circumstellar 13 $\mu$m feature. However, the formation of nucleating spinel clusters is challenging; in particular, the inclusion of Mg constitutes a kinetic bottleneck. We aim to understand the initial steps of cosmic dust formation (i.e. nucleation) in oxygen-rich environments using a quantum-chemical bottom-up approach. Starting with an elemental gas-phase composition, we constructed a detailed chemical-kinetic network that describes the formation and destruction of magnesium-, calcium-, and aluminium-bearing molecules as well as the smallest dust-forming (MgAl$_{2}$O$_{4}$)$_1$ and (CaAl$_{2}$O$_{4}$)$_1$ monomer clusters. Different formation scenarios with exothermic pathways were explored, including the alumina (Al$_2$O$_3$) cluster chemistry studied in Paper I of this series. The resulting extensive network was applied to two model stars, a semi-regular variable and a Mira-type star, and to different circumstellar gas trajectories, including a non-pulsating outflow and a pulsating model. We employed global optimisation techniques to find the most favourable (MgAl$_2$O$_4$)$_n$, (CaAl$_2$O$_4$)$_n$, and mixed (Mg$_x$Ca$_{(1-x)}$Al$_2$O$_4$)$_n$ isomers, with $n$=1$-$7 and x$\in$[0..1], and we used high level quantum-chemical methods to determine their potential energies. The growth of larger clusters with $n$=2$-$7 is described by the temperature-dependent Gibbs free energies.In the considered stellar outflow models, spinel clusters do not form in significant amounts. However, we find that in the Mira-type non-pulsating model CaAl$_2$O$_3$(OH)$_2$, a hydroxylated form of the calcium aluminate krotite monomer forms ...


title: Is the Euclidean path integral always equal to the thermal partition function?

abstract: The Euclidean path integral is compared to the thermal (canonical) partition function in curved static space-times. It is shown that if spatial sections are non-compact and there is no Killing horizon, the logarithms of these two quantities differ only by a term proportional to the inverse temperature, that arises from the vacuum energy. When spatial sections are bordered by Killing horizons the Euclidean path integral is not equal to the thermal partition function. It is shown that the expression for the Euclidean path integral depends on which integral is taken first: over coordinates or over momenta. In the first case the Euclidean path integral depends on the scattering phase shift of the mode and it is UV diverge. In the second case it is the total derivative and diverge on the horizon. Furthermore we demonstrate that there are three different definitions of the energy, and the derivative with respect to the inverse temperature of the Euclidean path integral does not give the value of any of these three types of energy. We also propose the new method of computation of the Euclidean path integral that gives the correct equality between the Euclidean path integral and thermal partition function for non-compact spaces with and without Killing horizon.


title: LLM-augmented Preference Learning from Natural Language

abstract: Finding preferences expressed in natural language is an important but challenging task. State-of-the-art(SotA) methods leverage transformer-based models such as BERT, RoBERTa, etc. and graph neural architectures such as graph attention networks. Since Large Language Models (LLMs) are equipped to deal with larger context lengths and have much larger model sizes than the transformer-based model, we investigate their ability to classify comparative text directly. This work aims to serve as a first step towards using LLMs for the CPC task. We design and conduct a set of experiments that format the classification task into an input prompt for the LLM and a methodology to get a fixed-format response that can be automatically evaluated. Comparing performances with existing methods, we see that pre-trained LLMs are able to outperform the previous SotA models with no fine-tuning involved. Our results show that the LLMs can consistently outperform the SotA when the target text is large -- i.e. composed of multiple sentences --, and are still comparable to the SotA performance in shorter text. We also find that few-shot learning yields better performance than zero-shot learning.


title: Higgs and coulomb branches from superconformal raviolo vertex algebras

abstract: We propose a method for extracting the Higgs and Coulomb branches of a three-dimensional N = 4 quantum field theory from the algebra of local operators in its holomorphic-topological twist using the formalism of raviolo vertex algebras. Our construction parallels that of the chiral ring and twisted chiral ring of an N = 2 superconformal vertex operator algebra.


title: An enhanced abundance of bright galaxies in protocluster candidates at z~3-5

abstract: We present a protocluster search covering $z\sim3$ to $z\sim5$ based on the combination of the Hyper SuprimeCam Subaru Strategic Programme and the CFHT Large Area $U$-band Deep Survey. We identify about 30 protocluster candidates per unit redshift over the $\sim25\,\mathrm{deg^2}$ area of the Deep/Ultra-Deep layer. Protocluster candidates are selected as regions with a significantly enhanced surface density of dropout galaxies. With this large sample, we characterise the properties of their individual member galaxies. We compare the number counts of dropout galaxies in protocluster candidates with that of coeval field galaxies. Rest-frame UV bright galaxies are over-abundant in protocluster candidates, a trend seen across the full redshift range studied. We do not find evidence for their spatial distribution within protocluster candidates to be distinct from their fainter counterparts, nor for their UV colour to be different from that of field galaxies with the same brightness. Cosmological simulations predict this bright-end excess, with the main cause being a richer population of massive galaxies, with only a minor contribution from an enhancement in star formation activity (and therefore UV emission) at fixed mass. $U$-to-$K$ SED modelling of our observed samples supports this interpretation. This environmental differentiation in number counts is already in place at $z\sim5$, with no significant redshift dependence over the range in lookback times probed. These observational results and model predictions suggest that the cosmic clock is ahead in high-density environments.


title: Recycled Dark Matter

abstract: We outline a new production mechanism for dark matter that we dub "recycling": dark sector particles are kinematically trapped in the false vacuum during a dark phase transition; the false pockets collapse into primordial black holes (PBHs), which ultimately evaporate before Big Bang Nucleosynthesis (BBN) to reproduce the dark sector particles. The requirement that all PBHs evaporate prior to BBN necessitates high scale phase transitions and hence high scale masses for the dark sector particles in the true vacuum. Our mechanism is therefore particularly suited for the production of ultra heavy dark matter (UHDM) with masses above $\sim 10^{12}\,{\rm GeV}$. The correct relic density of UHDM is obtained because of the exponential suppression of the false pocket number density. Recycled UHDM has several novel features: the dark sector today consists of multiple decoupled species that were once in thermal equilibrium and the PBH formation stage has extended mass functions whose shape can be controlled by IR operators coupling the dark and visible sectors.


title: The quest of CMB spectral distortions to probe the scalar-induced gravitational wave background interpretation in PTA data

abstract: Gravitational Waves (GW) sourced by second-order primordial curvature fluctuations are among the favoured models fitting the recent Pulsar Timing Array (PTA) measurement of a Stochastic GW Background (SGWB). We study how spectral distortions (SDs) and anisotropies of the Cosmic Microwave Background (CMB) can constrain such scalar fluctuations. Whereas COBE FIRAS data have no sufficient sensitivity to probe the PTA lognormal hypothesis, we show how future PIXIE-like experiments can detect the CMB SDs from the scalar-induced interpretation of the SGWB in PTA data. We finally show how the transformative synergy between PTA data and future CMB SD measurements is important for reconstructing primordial fluctuations at these small scales.


title: 4D Gaussian Splatting for Real-Time Dynamic Scene Rendering

abstract: Representing and rendering dynamic scenes has been an important but challenging task. Especially, to accurately model complex motions, high efficiency is usually hard to guarantee. To achieve real-time dynamic scene rendering while also enjoying high training and storage efficiency, we propose 4D Gaussian Splatting (4D-GS) as a holistic representation for dynamic scenes rather than applying 3D-GS for each individual frame. In 4D-GS, a novel explicit representation containing both 3D Gaussians and 4D neural voxels is proposed. A decomposed neural voxel encoding algorithm inspired by HexPlane is proposed to efficiently build Gaussian features from 4D neural voxels and then a lightweight MLP is applied to predict Gaussian deformations at novel timestamps. Our 4D-GS method achieves real-time rendering under high resolutions, 82 FPS at an 800$\times$800 resolution on an RTX 3090 GPU while maintaining comparable or better quality than previous state-of-the-art methods. More demos and code are available at https://guanjunwu.github.io/4dgs/.


title: GaussianDreamer: Fast Generation from Text to 3D Gaussians by Bridging 2D and 3D Diffusion Models

abstract: In recent times, the generation of 3D assets from text prompts has shown impressive results. Both 2D and 3D diffusion models can help generate decent 3D objects based on prompts. 3D diffusion models have good 3D consistency, but their quality and generalization are limited as trainable 3D data is expensive and hard to obtain. 2D diffusion models enjoy strong abilities of generalization and fine generation, but 3D consistency is hard to guarantee. This paper attempts to bridge the power from the two types of diffusion models via the recent explicit and efficient 3D Gaussian splatting representation. A fast 3D object generation framework, named as GaussianDreamer, is proposed, where the 3D diffusion model provides priors for initialization and the 2D diffusion model enriches the geometry and appearance. Operations of noisy point growing and color perturbation are introduced to enhance the initialized Gaussians. Our GaussianDreamer can generate a high-quality 3D instance or 3D avatar within 15 minutes on one GPU, much faster than previous methods, while the generated instances can be directly rendered in real time. Demos and code are available at https://taoranyi.com/gaussiandreamer/.


title: UniPose: Detecting Any Keypoints

abstract: This work proposes a unified framework called UniPose to detect keypoints of any articulated (e.g., human and animal), rigid, and soft objects via visual or textual prompts for fine-grained vision understanding and manipulation. Keypoint is a structure-aware, pixel-level, and compact representation of any object, especially articulated objects. Existing fine-grained promptable tasks mainly focus on object instance detection and segmentation but often fail to identify fine-grained granularity and structured information of image and instance, such as eyes, leg, paw, etc. Meanwhile, prompt-based keypoint detection is still under-explored. To bridge the gap, we make the first attempt to develop an end-to-end prompt-based keypoint detection framework called UniPose to detect keypoints of any objects. As keypoint detection tasks are unified in this framework, we can leverage 13 keypoint detection datasets with 338 keypoints across 1,237 categories over 400K instances to train a generic keypoint detection model. UniPose can effectively align text-to-keypoint and image-to-keypoint due to the mutual enhancement of textual and visual prompts based on the cross-modality contrastive learning optimization objectives. Our experimental results show that UniPose has strong fine-grained localization and generalization abilities across image styles, categories, and poses. Based on UniPose as a generalist keypoint detector, we hope it could serve fine-grained visual perception, understanding, and generation.


title: Effective isometries of periodic shells

abstract: We argue that the standard classification of isometric deformations into infinitesimal v.s. finite is inadequate for the study of compliant shell mechanisms. Indeed, many compliant shells, particularly ones that are periodically corrugated, exhibit low-energy deformations that are far too large to be infinitesimally isometric and far too rich to be finitely isometric. Here, rather than abandon the geometric standpoint in favor of a full theory of elastic shells, we introduce the concept of \emph{effective isometric deformations} defined as deformations that are first-order isometric in a small scale separation parameter given by the ratio of the size of the corrugation to the size of the shell. The main result then states that effective isometries are solutions to a quasilinear second-order PDE whose type is function of an effective geometric Poisson's ratio. The result is based on a self-adjointness property of the differential operator of infinitesimal isometries; it holds for periodic surfaces that are smooth, piecewise smooth or polyhedral, i.e., periodic surfaces with or without straight and curved creases. In particular, it unifies and generalizes a series of previous results regarding the effective Poisson's ratio of parallelogram-based origami tessellations. Numerical simulations illustrate and validate the conclusions.


title: Platform for generating medical datasets for machine learning in public health

abstract: Currently, there are many difficulties regarding the interoperability of medical data and related population data sources. These complications get in the way of the generation of high-quality data sets at city, region and national levels. Moreover, the collection of datasets within large medical centers is feasible due to own IT departments whereas the collection of raw medical data from multiple organizations is a more complicated process. In these circumstances, the most appropriate option is to develop digital products based on microservice architecture. Because of this approach, it is possible to ensure the multimodality of the system, the flexibility of the interface and the internal system approach, when interconnected elements behave as a whole, demonstrating behavior different from the behavior when working independently. These conditions allow, in turn, to ensure the maximum number and representativeness of the resulting data sets. This paper demonstrates a concept of the platform for a sustainable generation of quality and reliable sets of multimodal medical data. It collects data from different external sources, harmonizes it using a special service, anonymizes harmonized data, and labels processed data. The proposed system aims to be a promising solution to the improvement of medical data quality for machine learning.


title: Efficient Representation of Minimally Entangled Typical Thermal States in two dimensions via Projected Entangled Pair States

abstract: The Minimally Entangled Typical Thermal States (METTS) are an ensemble of pure states, equivalent to the Gibbs thermal state, that can be efficiently represented by tensor networks. In this article, we use the Projected Entangled Pair States (PEPS) ansatz as to represent METTS on a two-dimensional (2D) lattice. While Matrix Product States (MPS) are less efficient for 2D systems due to their complexity growing exponentially with the lattice size, PEPS provide a more tractable approach. To substantiate the prowess of PEPS in modeling METTS (dubbed as PEPS-METTS), we benchmark it against the purification method for the 2D quantum Ising model at its critical temperature. Our analysis reveals that PEPS-METTS achieves accurate long-range correlations with significantly lower bond dimensions. We further corroborate this finding in the 2D Fermi Hubbard model at half-filling. At a technical level, we introduce an efficient \textit{zipper} method to obtain PEPS boundary matrix product states needed to compute expectation values. The imaginary time evolution is performed with the neighbourhood tensor update.


title: Animating Street View

abstract: We present a system that automatically brings street view imagery to life by populating it with naturally behaving, animated pedestrians and vehicles. Our approach is to remove existing people and vehicles from the input image, insert moving objects with proper scale, angle, motion, and appearance, plan paths and traffic behavior, as well as render the scene with plausible occlusion and shadowing effects. The system achieves these by reconstructing the still image street scene, simulating crowd behavior, and rendering with consistent lighting, visibility, occlusions, and shadows. We demonstrate results on a diverse range of street scenes including regular still images and panoramas.


title: Formally Specifying the High-Level Behavior of LLM-Based Agents

abstract: Autonomous, goal-driven agents powered by LLMs have recently emerged as promising tools for solving challenging problems without the need for task-specific finetuned models that can be expensive to procure. Currently, the design and implementation of such agents is ad hoc, as the wide variety of tasks that LLM-based agents may be applied to naturally means there can be no one-size-fits-all approach to agent design. In this work we aim to alleviate the difficulty of designing and implementing new agents by proposing a minimalistic generation framework that simplifies the process of building agents. The framework we introduce allows the user to define desired agent behaviors in a high-level, declarative specification that is then used to construct a decoding monitor which guarantees the LLM will produce an output exhibiting the desired behavior. Our declarative approach, in which the behavior is described without concern for how it should be implemented or enforced, enables rapid design, implementation, and experimentation with different LLM-based agents. We demonstrate how the proposed framework can be used to implement recent LLM-based agents (e.g., ReACT), and show how the flexibility of our approach can be leveraged to define a new agent with more complex behavior, the Plan-Act-Summarize-Solve (PASS) agent. Lastly, we demonstrate that our method outperforms other agents on multiple popular reasoning-centric question-answering benchmarks.


title: Real-time Prediction of the Great Recession and the Covid-19 Recession

abstract: This paper uses standard and penalized logistic regression models to predict the Great Recession and the Covid-19 recession in the US in real time. It examines the predictability of various macroeconomic and financial indicators with respect to the NBER recession indicator. The findings strongly support the use of penalized logistic regression models in recession forecasting. These models, particularly the ridge logistic regression model, outperform the standard logistic regression model in predicting the Great Recession in the US across different forecast horizons. The study also confirms the traditional significance of the term spread as an important recession indicator. However, it acknowledges that the Covid-19 recession remains unpredictable due to the unprecedented nature of the pandemic. The results are validated by creating a recession indicator through principal component analysis (PCA) on selected variables, which strongly correlates with the NBER recession indicator and is less affected by publication lags.


title: XAI Benchmark for Visual Explanation

abstract: The rise of deep learning has ushered in significant progress in computer vision (CV) tasks, yet the "black box" nature of these models often precludes interpretability. This challenge has spurred the development of Explainable Artificial Intelligence (XAI) by generating explanations to AI's decision-making process. An explanation is aimed to not only faithfully reflect the true reasoning process (i.e., faithfulness) but also align with humans' reasoning (i.e., alignment). Within XAI, visual explanations employ visual cues to elucidate the reasoning behind machine learning models, particularly in image processing, by highlighting images' critical areas important to predictions. Despite the considerable body of research in visual explanations, standardized benchmarks for evaluating them are seriously underdeveloped. In particular, to evaluate alignment, existing works usually merely illustrate a few images' visual explanations, or hire some referees to report the explanation quality under ad-hoc questionnaires. However, this cannot achieve a standardized, quantitative, and comprehensive evaluation. To address this issue, we develop a benchmark for visual explanation, consisting of eight datasets with human explanation annotations from various domains, accommodating both post-hoc and intrinsic visual explanation methods. Additionally, we devise a visual explanation pipeline that includes data loading, explanation generation, and method evaluation. Our proposed benchmarks facilitate a fair evaluation and comparison of visual explanation methods. Building on our curated collection of datasets, we benchmarked eight existing visual explanation methods and conducted a thorough comparison across four selected datasets using six alignment-based and causality-based metrics. Our benchmark will be accessible through our website https://xaidataset.github.io.


title: Image2PCI -- A Multitask Learning Framework for Estimating Pavement Condition Indices Directly from Images

abstract: The Pavement Condition Index (PCI) is a widely used metric for evaluating pavement performance based on the type, extent and severity of distresses detected on a pavement surface. In recent times, significant progress has been made in utilizing deep-learning approaches to automate PCI estimation process. However, the current approaches rely on at least two separate models to estimate PCI values -- one model dedicated to determining the type and extent and another for estimating their severity. This approach presents several challenges, including complexities, high computational resource demands, and maintenance burdens that necessitate careful consideration and resolution. To overcome these challenges, the current study develops a unified multi-tasking model that predicts the PCI directly from a top-down pavement image. The proposed architecture is a multi-task model composed of one encoder for feature extraction and four decoders to handle specific tasks: two detection heads, one segmentation head and one PCI estimation head. By multitasking, we are able to extract features from the detection and segmentation heads for automatically estimating the PCI directly from the images. The model performs very well on our benchmarked and open pavement distress dataset that is annotated for multitask learning (the first of its kind). To our best knowledge, this is the first work that can estimate PCI directly from an image at real time speeds while maintaining excellent accuracy on all related tasks for crack detection and segmentation.


title: A scaled local gate controller for optically addressed qubits

abstract: Scalable classical controllers are a key component of future fault-tolerant quantum computers. Neutral atom quantum computers leverage commercially available optoelectronic devices for generating large-scale tweezer arrays and performing parallel readout, but implementing massively parallel, locally-addressed gate operations is an open challenge. In this work, we demonstrate an optical modulator system based on off-the-shelf components, which can generate a two-dimensional array of over 10,000 focused spots with uniform frequency and amplitude, and switching them on and off individually in arbitrary configurations at rates of up to 43 kHz. Through careful control of aberrations, the modulator achieves an extinction ratio of 46 dB, and nearest-neighbor crosstalk of $-44$ dB with a beam spacing of 4.6 waists. The underlying components can operate at wavelengths from the UV to the NIR, and sustain high laser intensities. This approach is suitable for local addressing of gates with low cross-talk error rates in any optically addressed qubit platform, including neutral atoms, trapped ions, or solid-state atomic defects.


title: Do pretrained Transformers Learn In-Context by Gradient Descent?

abstract: The emergence of In-Context Learning (ICL) in LLMs remains a remarkable phenomenon that is partially understood. To explain ICL, recent studies have created theoretical connections to Gradient Descent (GD). We ask, do such connections hold up in actual pre-trained language models? We highlight the limiting assumptions in prior works that make their setup considerably different from the practical setup in which language models are trained. For example, their experimental verification uses \emph{ICL objective} (training models explicitly for ICL), which differs from the emergent ICL in the wild. Furthermore, the theoretical hand-constructed weights used in these studies have properties that don't match those of real LLMs. We also look for evidence in real models. We observe that ICL and GD have different sensitivity to the order in which they observe demonstrations. Finally, we probe and compare the ICL vs. GD hypothesis in a natural setting. We conduct comprehensive empirical analyses on language models pre-trained on natural data (LLaMa-7B). Our comparisons of three performance metrics highlight the inconsistent behavior of ICL and GD as a function of various factors such as datasets, models, and the number of demonstrations. We observe that ICL and GD modify the output distribution of language models differently. These results indicate that \emph{the equivalence between ICL and GD remains an open hypothesis} and calls for further studies.


title: Idea2Img: Iterative Self-Refinement with GPT-4V(ision) for Automatic Image Design and Generation

abstract: We introduce ``Idea to Image,'' a system that enables multimodal iterative self-refinement with GPT-4V(ision) for automatic image design and generation. Humans can quickly identify the characteristics of different text-to-image (T2I) models via iterative explorations. This enables them to efficiently convert their high-level generation ideas into effective T2I prompts that can produce good images. We investigate if systems based on large multimodal models (LMMs) can develop analogous multimodal self-refinement abilities that enable exploring unknown models or environments via self-refining tries. Idea2Img cyclically generates revised T2I prompts to synthesize draft images, and provides directional feedback for prompt revision, both conditioned on its memory of the probed T2I model's characteristics. The iterative self-refinement brings Idea2Img various advantages over vanilla T2I models. Notably, Idea2Img can process input ideas with interleaved image-text sequences, follow ideas with design instructions, and generate images of better semantic and visual qualities. The user preference study validates the efficacy of multimodal iterative self-refinement on automatic image design and generation.


title: On the Bowditch boundary of a free group with random cyclic peripheral groups

abstract: The topology of the Bowditch boundary of a relatively hyperbolic group pair gives information about relative splittings of the group. It is therefore interesting to ask if there is generic behavior of this boundary. The purpose of this article is to show that in the case of a non-abelian free group with cyclic peripheral structure, there is not a generic case. This goal is accomplished by showing the minimal size of cut sets in the boundary increases as the lengths of the random words generating the peripheral structure go to infinity.


title: NetDiffusion: Network Data Augmentation Through Protocol-Constrained Traffic Generation

abstract: Datasets of labeled network traces are essential for a multitude of machine learning (ML) tasks in networking, yet their availability is hindered by privacy and maintenance concerns, such as data staleness. To overcome this limitation, synthetic network traces can often augment existing datasets. Unfortunately, current synthetic trace generation methods, which typically produce only aggregated flow statistics or a few selected packet attributes, do not always suffice, especially when model training relies on having features that are only available from packet traces. This shortfall manifests in both insufficient statistical resemblance to real traces and suboptimal performance on ML tasks when employed for data augmentation. In this paper, we apply diffusion models to generate high-resolution synthetic network traffic traces. We present NetDiffusion, a tool that uses a finely-tuned, controlled variant of a Stable Diffusion model to generate synthetic network traffic that is high fidelity and conforms to protocol specifications. Our evaluation demonstrates that packet captures generated from NetDiffusion can achieve higher statistical similarity to real data and improved ML model performance than current state-of-the-art approaches (e.g., GAN-based approaches). Furthermore, our synthetic traces are compatible with common network analysis tools and support a myriad of network tasks, suggesting that NetDiffusion can serve a broader spectrum of network analysis and testing tasks, extending beyond ML-centric applications.


title: Plasmon dispersion and Landau damping in the nonlinear quantum regime

abstract: We study the dispersion properties of electron plasma waves, or plasmons, which can be excited in quantum plasmas in the nonlinear regime. In order to describe nonlinear electron response to finite amplitude plasmons, we apply the Volkov approach to non-relativistic electrons. For that purpose, we use the Schr\"odinger equation and describe the electron population of a quantum plasma as a mixture of quantum states. Within the kinetic framework that we are able to derive from the Volkov solutions, we discuss the role of the wave amplitude on the nonlinear plasma response. Finally, we focus on the quantum properties of nonlinear Landau damping and study the contributions of multi-plasmon absorption and emission processes.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.other physics.plasm-ph


title: Gauge origami and quiver W-algebras

abstract: We explore the quantum algebraic formalism of the gauge origami system in $\mathbb{C}^{4}$, where D2/D4/D6/D8-branes are present. We demonstrate that the contour integral formulas have free field interpretations, leading to the operator formalism of $qq$-characters associated with each D-brane. The $qq$-characters of D2 and D4-branes correspond to screening charges and generators of the affine quiver W-algebra, respectively. On the other hand, the $qq$-characters of D6 and D8-branes represent novel types of $qq$-characters, where monomial terms are characterized by plane partitions and solid partitions. The composition of these $qq$-characters yields the instanton partition functions of the gauge origami system, eventually establishing the BPS/CFT correspondence. Additionally, we demonstrate that the fusion of $qq$-characters of D-branes in lower dimensions results in higher-dimensional D-brane $qq$-characters. We also investigate quadratic relations among these $qq$-characters. Furthermore, we explore the relationship with the representations, $q$-characters, and the Bethe ansatz equations of the quantum toroidal $\mathfrak{gl}_{1}$. This connection provides insights into the Bethe/Gauge correspondence of the gauge origami system from both gauge-theoretic and quantum-algebraic perspectives. We finally present conjectures regarding generalizations to general toric Calabi-Yau four-folds. These generalizations imply the existence of an extensive class of $qq$-characters, which we call BPS $qq$-characters. These BPS $qq$-characters offer a new systematic approach to derive a broader range of BPS/CFT correspondence and Bethe/Gauge correspondence.


title: Geometric branching operators on the Bruhat-Tits building associated to the symplectic group

abstract: In this thesis we study geometric branching operators on simplices in the (affine) Bruhat-Tits building associated to the symplectic group over a local field. We use these operators to study the simple random walk on the building's vertices. This work lays the foundations for studying the total-variation cutoff phenomenon for simple random walk on Ramanujan complexes of type $\tilde{C}_n$ ($n\geq 2$).


title: Kondo Screening Cloud Scaling: Impurity Entanglement and Magnetization

abstract: The screening of an impurity spin in the Kondo model occurs over a characteristic length scale $\xi_K$, that defines the size of the Kondo screening cloud or ``mist". The presence of such a length sc A consistent way to show the presence of the screening cloud is to demonstrate scaling in the spatial correlations depending on $r$, in terms of the single variable $r/\xi_K$ rather than depending on $r$ and $\xi_K$ separately. Here we study the paradigmatic one channel Kondo model using a spin chain representation, with an impurity spin at one end of the chain coupled with a strength $J_K'$. Using Fermi liquid theory combined with numerical results, we obtain new high precision estimates of the non-universal terms in the entanglement entropy which leads to a verification of the expected non-integer ground-state degeneracy, $g$. This then allows us to study the impurity contribution to the entanglement in detail. If the impurity coupling $J_K'$ is varied, a precise determination of $\xi_K$ can then be obtained. The length scale, $\xi_K$, is then shown to characterize the scaling of both the uniform and alternating part of a measure of the magnetization of part of an odd length chain with.


title: Stronger Coreset Bounds for Kernel Density Estimators via Chaining

abstract: We apply the discrepancy method and a chaining approach to give improved bounds on the coreset complexity of a wide class of kernel functions. Our results give randomized polynomial time algorithms to produce coresets of size $O\big(\frac{\sqrt{d}}{\varepsilon}\sqrt{\log\log \frac{1}{\varepsilon}}\big)$ for the Gaussian and Laplacian kernels in the case that the data set is uniformly bounded, an improvement that was not possible with previous techniques. We also obtain coresets of size $O\big(\frac{1}{\varepsilon}\sqrt{\log\log \frac{1}{\varepsilon}}\big)$ for the Laplacian kernel for $d$ constant. Finally, we give the best known bounds of $O\big(\frac{\sqrt{d}}{\varepsilon}\sqrt{\log(2\max\{1,\alpha\})}\big)$ on the coreset complexity of the exponential, Hellinger, and JS Kernels, where $1/\alpha$ is the bandwidth parameter of the kernel.


title: Cross-Episodic Curriculum for Transformer Agents

abstract: We present a new algorithm, Cross-Episodic Curriculum (CEC), to boost the learning efficiency and generalization of Transformer agents. Central to CEC is the placement of cross-episodic experiences into a Transformer's context, which forms the basis of a curriculum. By sequentially structuring online learning trials and mixed-quality demonstrations, CEC constructs curricula that encapsulate learning progression and proficiency increase across episodes. Such synergy combined with the potent pattern recognition capabilities of Transformer models delivers a powerful cross-episodic attention mechanism. The effectiveness of CEC is demonstrated under two representative scenarios: one involving multi-task reinforcement learning with discrete control, such as in DeepMind Lab, where the curriculum captures the learning progression in both individual and progressively complex settings; and the other involving imitation learning with mixed-quality data for continuous control, as seen in RoboMimic, where the curriculum captures the improvement in demonstrators' expertise. In all instances, policies resulting from CEC exhibit superior performance and strong generalization. Code is open-sourced at https://cec-agent.github.io/ to facilitate research on Transformer agent learning.


title: Bicomplex generalized hypergeometric functions and their applications

abstract: In this work, generalized hypergeometric functions for bicomplex argument is introduced and its convergence criteria is derived. Furthermore, integral representation of this function has been established. Moreover, quadratic transformation, differential relation, analyticity and contiguous relations of this function are derived. Additionally, applications in quantum information system and quantum optics are provided as a consequence.


title: How secure is the time-modulated array-enabled ofdm directional modulation?

abstract: Time-modulated arrays (TMA) transmitting orthogonal frequency division multiplexing (OFDM) waveforms achieve physical layer security by allowing the signal to reach the legitimate destination undistorted, while making the signal appear scrambled in all other directions. In this paper, we examine how secure the TMA OFDM system is, and show that it is possible for the eavesdropper to defy the scrambling. In particular, we show that, based on the scrambled signal, the eavesdropper can formulate a blind source separation problem and recover data symbols and TMA parameters via independent component analysis (ICA) techniques. We show how the scaling and permutation ambiguities arising in ICA can be resolved by exploiting the Toeplitz structure of the corresponding mixing matrix, and knowledge of data constellation, OFDM specifics, and the rules for choosing TMA parameters. We also introduce a novel TMA implementation to defend the scrambling against the eavesdropper.


title: Threshold graphs, Kemeny's constant, and related random walk parameters

abstract: Kemeny's constant measures how fast a random walker moves around in a graph. Expressions for Kemeny's constant can be quite involved, and for this reason, many lines of research focus on graphs with structure that makes them amenable to more in-depth study (for example, regular graphs, acyclic graphs, and 1-connected graphs). In this article, we study Kemeny's constant for random walks on threshold graphs, which are an interesting family of graphs with properties that make examining Kemeny's constant difficult; that is, they are usually not regular, not acyclic, and not 1-connected. This article is a showcase of various techniques for calculating Kemeny's constant and related random walk parameters for graphs. We establish explicit formulae for $\mathcal{K}(G)$ in terms of the construction code of a threshold graph, and completely determine the ordering of the accessibility indices of vertices in threshold graphs.


title: Transmission line dynamics on inverter-dominated grids: analysis and simulations

abstract: In this work, we study fast time scale dynamic interactions between inverters, synchronous machines, and transmission lines. The overlapping time scales between inverter controls and electromagnetic phenomena idfentified in recent years has necessitated a re-evaluation of assumptions made in power system dynamics studies. We utilize an open-source modeling platform to perform both small signal stability and dynamic time domain studies of networks containing inverters, machines, and loads. We use transmission line models of varying fidelity, including models with multiple segments and frequency dependence. Our results indicate that, for the cases we study, line dynamics are not important for characterizing small signal stability. However, while in many cases the high fidelity line models are unnecessary for dynamic simulations, there are some cases in which simpler models omit dynamics that could be important to the operation of inner inverter control loops.


title: Generalized symmetries in singularity-free nonlinear $\sigma$-models and their disordered phases

abstract: We study the nonlinear $\sigma$-model in ${(d+1)}$-dimensional spacetime with connected target space $K$ and show that, at energy scales below singularities (e.g., vortices, hedgehogs, etc.), it has an emergent non-invertible higher symmetry. The symmetry defects of the emergent symmetry are described by the $d$-representations of a discrete $d$-group $\mathbb{G}^{(d)}$, so the emergent symmetry is the dual of the invertible $d$-group $\mathbb{G}^{(d)}$ symmetry. The $d$-group $\mathbb{G}^{(d)}$ is determined such that its classifying space $B\mathbb{G}^{(d)}$ is given by the $d$-th Postnikov stage of $K$. In $(2+1)$D for finite $\mathbb{G}^{(2)}$, this symmetry is always holo-equivalent to an invertible ${0}$-form $\unicode{x2013}$ ordinary $\unicode{x2013}$ symmetry with potential 't Hooft anomaly. The singularity-free disordered phase of the nonlinear $\sigma$-model spontaneously breaks this symmetry, and when $\mathbb{G}^{(d)}$ is finite, it is described by the deconfined phase of $\mathbb{G}^{(d)}$ higher gauge theory. We consider examples of such disordered phases. We focus on a singularity-free $S^2$ nonlinear $\sigma$-model in ${(3+1)}$D and show that its disordered phase is described by axion electrodynamics and has two gapless modes corresponding to a photon and a massless axion. This result is obtained via its emergent symmetry, which is the dual of a $\mathbb{G}^{(3)}$ symmetry. Its classifying space $B\mathbb{G}^{(3)}$ satisfies $\pi_1(B\mathbb{G}^{(3)})=0$, $\pi_2(B\mathbb{G}^{(3)})=\mathbb{Z}$, $\pi_3(B\mathbb{G}^{(3)})=\mathbb{Z}$, and has a nontrivial Postnikov invariant that describes the interplay between $\pi_2$ and $\pi_3$. This means that the emergent symmetry is an exotic continuous non-invertible symmetry in ${(3+1)}$D, while just an ordinary $U(1)$ invertible ${0}$-form symmetry in ${(2+1)}$D.


title: Stability of saddles and choices of contour in the Euclidean path integral for linearized gravity: Dependence on the DeWitt Parameter

abstract: Due to the conformal factor problem, the definition of the Euclidean gravitational path integral requires a non-trivial choice of contour. The present work examines a generalization of a recently proposed rule-of-thumb \cite{Marolf:2022ntb} for selecting this contour at quadratic order about a saddle. The original proposal depended on the choice of an indefinite-signature metric on the space of perturbations, which was taken to be a DeWitt metric with parameter $\alpha =-1$. This choice was made to match previous results, but was otherwise admittedly {\it ad hoc}. To begin to investigate the physics associated with the choice of such a metric, we now explore contours defined using analogous prescriptions for $\alpha \neq -1$. We study such contours for Euclidean gravity linearized about AdS-Schwarzschild black holes in reflecting cavities with thermal (canonical ensemble) boundary conditions, and we compare path-integral stability of the associated saddles with thermodynamic stability of the classical spacetimes. While the contour generally depends on the choice of DeWitt parameter $\alpha$, the precise agreement between these two notions of stability found at $\alpha =-1$ continues to hold over the finite interval $(-2,-2/d)$, where $d$ is the dimension of the bulk spacetime. This agreement manifestly fails for $\alpha > -2/d$ when the DeWitt metric becomes positive definite. However, we also find dramatic failures for $\alpha< -2$ that correlate with breakdowns of the de Donder-like gauge condition defined by $\alpha$, and at which the relevant fluctuation operator fails to be diagonalizable. This provides criteria that may be useful in predicting metrics on the space of perturbations that give physically-useful contours in more general settings. Along the way, we also identify an interesting error in \cite{Marolf:2022ntb}, though we show this error to be harmless.


title: Linear-in-temperature conductance in electron hydrodynamics

abstract: Linear temperature dependence of transport coefficients in metals is habitually ascribed to non-Fermi-liquid physics. Here we establish the T-linear behavior for 2D electron fluids, systems in which carrier collisions assist conduction, leading to resistance decreasing with temperature. This behavior originates from exotic hydrodynamics described by Fermi surface modulations evolving in space and time in an amoeba-like loop manner that features a large family of long-lived excitations manifest as multiple viscous modes. A cascade of these modes results in a linear T dependence that extends down to lowest temperatures, as well as a Kolmogorov-like fractional power -5/3 scaling of conductivity vs. wavenumber. These dependences provide a smoking gun for nonclassical hydrodynamics and are expected to be generic for strongly-correlated 2D systems with simple near-circular Fermi surfaces.


title: A Common Origin for the QCD Axion and Sterile Neutrinos from $SU(5)$ Strong Dynamics

abstract: We identify the QCD axion and right-handed (sterile) neutrinos as bound states of an $SU(5)$ chiral gauge theory with Peccei-Quinn (PQ) symmetry arising as a global symmetry of the strong dynamics. The strong dynamics is assumed to spontaneously break the PQ symmetry, producing a high-quality axion and naturally generating Majorana masses for the right-handed neutrinos at the PQ scale. The composite sterile neutrinos can directly couple to the left-handed (active) neutrinos, realizing a standard see-saw mechanism. Alternatively, the sterile neutrinos can couple to the active neutrinos via a naturally small mass mixing with additional elementary states, leading to light sterile neutrino eigenstates. The $SU(5)$ strong dynamics therefore provides a common origin for a high-quality QCD axion and sterile neutrinos.