title: Generic Model Checking for Modal Fixpoint Logics in COOL-MC

abstract: We report on COOL-MC, a model checking tool for fixpoint logics that is parametric in the branching type of models (nondeterministic, game-based, probabilistic etc.) and in the next-step modalities used in formulae. The tool implements generic model checking algorithms developed in coalgebraic logic that are easily adapted to concrete instance logics. Apart from the standard modal $\mu$-calculus, COOL-MC currently supports alternating-time, graded, probabilistic and monotone variants of the $\mu$-calculus, but is also effortlessly extensible with new instance logics. The model checking process is realized by polynomial reductions to parity game solving, or, alternatively, by a local model checking algorithm that directly computes the extensions of formulae in a lazy fashion, thereby potentially avoiding the construction of the full parity game. We evaluate COOL-MC on informative benchmark sets.


title: Heating up quadruply quantized vortices: Splitting patterns and dynamical transitions

abstract: Using holographic duality, we investigate the impact of finite temperature on the instability and splitting patterns of quadruply quantized vortices, providing the first-ever analysis in this context. Through linear stability analysis, we reveal the occurrence of two consecutive dynamical transitions. At a specific low temperature, the dominant unstable mode transitions from the $2$-fold rotational symmetry mode to the $3$-fold one, followed by a transition from the $3$-fold one to the $4$-fold one at a higher temperature. As the temperature is increased, we also observe the $5$ and $6$-fold rotational symmetry unstable modes get excited successively. Employing the full non-linear numerical simulations, we further demonstrate that these two novel dynamical transitions, along with the temperature-induced instabilities for the $5$ and $6$-fold rotational symmetry modes, can be identified by examining the resulting distinct splitting patterns, which offers a promising route for the experimental verification in the cold atom gases.


title: On Graphs with Finite-Time Consensus and Their Use in Gradient Tracking

abstract: This paper studies sequences of graphs satisfying the finite-time consensus property (i.e., iterating through such a finite sequence is equivalent to performing global or exact averaging) and their use in Gradient Tracking. We provide an explicit weight matrix representation of the studied sequences and prove their finite-time consensus property. Moreover, we incorporate the studied finite-time consensus topologies into Gradient Tracking and present a new algorithmic scheme called Gradient Tracking for Finite-Time Consensus Topologies (GT-FT). We analyze the new scheme for nonconvex problems with stochastic gradient estimates. Our analysis shows that the convergence rate of GT-FT does not depend on the heterogeneity of the agents' functions or the connectivity of any individual graph in the topology sequence. Furthermore, owing to the sparsity of the graphs, GT-FT requires lower communication costs than Gradient Tracking using the static counterpart of the topology sequence.


title: Quasi Two-dimensional Vortex Matter in ThH$_{10}$ Superhydride

abstract: A comprehensive study of the vortex phases and vortex dynamics is presented for a recently discovered high-temperature superconductor ThH$_{10}$ with $\textit{T}$$_C$ = 153 K at 170 GPa. The obtained results strongly suggest a quasi two-dimensional (2D) character of the vortex glass phase transition in ThH$_{10}$. The activation energy yields a logarithmic dependence $\textit{U}$$_0$ $\propto$ ln($\textit{H}$) on magnetic field in a low field region and a power law dependence $\textit{U}$$_0$ ~ $\textit{H}$$^{-1}$ in a high field region, signaling a crossover from 2D regime to 3D collective pinning regime, respectively. Additionally, a pinning force field dependence showcases dominance of surface-type pinning in the vicinity of $\textit{T}$$_C$. Thermal activation energy ($\textit{U}$$_0$), derived within thermally activated flux flow (TAFF) theory, takes very high values above 2$\times$10$^5$ K together with the Ginzburg number $\textit{Gi}$ = 0.039 - 0.085, which is lower only than those of BiSrCaCuO cuprates and 10-3-8 family of iron based superconductor. This indicates the enormous role of thermal fluctuations in the dynamics of the vortex lattice of superhydrides, the physics of which is similar to the physics of unconventional high-temperature superconductors.


title: MMP for locally stable families and wall crossing for moduli of stable pairs

abstract: We construct reduction and wall-crossing morphisms between the moduli spaces of stable pairs as the coefficients vary, generalizing the earlier work of Ascher, Bejleri, Inchiostro and Patakfalvi which deals with the klt case. Along the proof, we show that one can run the MMP with scaling on normal locally stable families over a normal base, and that the existence of good minimal models is preserved when reducing coefficients away from zero.


title: The molecular pathology of genioglossus in obstructive sleep apnea

abstract: Obstructive sleep apnea (OSA) is a sleep respiratory disease characterized by sleep snoring accompanied by apnea and daytime sleeplessness. It is a complex disease, with the multifactorial etiology, and the pathology is incompletely understood. Genioglossus (GG), the largest dilator of upper airway, whose fatigue is strongly correlated to onset of OSA. This brief review was to investigate the pathogenesis of OSA targeting on GG from different risk factors as gender, obesity, and aging, and the molecular mechanism of GG injury in OSA pathogenesis. We hope to find the targeted molecular mechanism on GG in OSA treatment.


title: Method of Mechanical Exfoliation of Bismuth with Micro-Trench Structures

abstract: The discovery of graphene led to a burst in search for 2D materials originating from layered atomic crystals coupled by van der Waals force. While bulk bismuth crystals share this layered crystal structure, unlike other group V members of the periodic table, its interlayer bonds are stronger such that traditional mechanical cleavage and exfoliation techniques have shown to be inefficient. In this work, we present a novel mechanical cleavage method for exfoliating bismuth by utilizing the stress concentration effect induced by micro-trench SiO2 structures. As a result, the exfoliated bismuth flakes can achieve thicknesses down to the sub-10 nm range which are analyzed by AFM and Raman spectroscopy.


title: Lattice QCD Constraints on the Fourth Mellin Moment of the Pion Light Cone Distribution Amplitude using the HOPE method

abstract: The light-cone distribution amplitude (LCDA) of the pion contains information about the parton momentum carried by the quarks and is an important theoretical input for various predictions of exclusive processes at high energy, including the pion electromagnetic form factor. Progress towards constraining the fourth Mellin moment of the LCDA using the heavy-quark operator product expansion (HOPE) method is presented.


title: Towards Evaluating Transfer-based Attacks Systematically, Practically, and Fairly

abstract: The adversarial vulnerability of deep neural networks (DNNs) has drawn great attention due to the security risk of applying these models in real-world applications. Based on transferability of adversarial examples, an increasing number of transfer-based methods have been developed to fool black-box DNN models whose architecture and parameters are inaccessible. Although tremendous effort has been exerted, there still lacks a standardized benchmark that could be taken advantage of to compare these methods systematically, fairly, and practically. Our investigation shows that the evaluation of some methods needs to be more reasonable and more thorough to verify their effectiveness, to avoid, for example, unfair comparison and insufficient consideration of possible substitute/victim models. Therefore, we establish a transfer-based attack benchmark (TA-Bench) which implements 30+ methods. In this paper, we evaluate and compare them comprehensively on 25 popular substitute/victim models on ImageNet. New insights about the effectiveness of these methods are gained and guidelines for future evaluations are provided. Code at: https://github.com/qizhangli/TA-Bench.


title: The management of obstructive sleep apnea accompanied with mandibular retrognathia across the lifespan from orthodontic perspective

abstract: Obstructive sleep apnea (OSA) is a complex disease with complex etiology, which requires multidisciplinary cooperation in diagnosis and treatment. Mandibular retrognathia is strongly associated with OSA. Orthodontists can either correct the mandibular retrognathia of pediatric OSA via various kinds of orthodontic appliances, following adenoidectomy and tonsillectomy, or enlarge upper airway by mandibular advancement device (MAD) through repositioning the mandible and tongue of adult OSA patients. This mini review was to investigate the therapy of MAD to adult OSA as well as orthodontic treatment to pediatric OSA.


title: Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence

abstract: We propose Pushdown Normal Form (PDNF) Bisimulation to verify contextual equivalence in higher-order functional programming languages with local state. Similar to previous work on Normal Form (NF) bisimulation, PDNF Bisimulation is sound and complete with respect to contextual equivalence. However, unlike traditional NF Bisimulation, PDNF Bisimulation is also decidable for a class of program terms that reach bounded configurations but can potentially have unbounded call stacks and input an unbounded number of unknown functions from their context. Our approach relies on the principle that, in model-checking for reachability, pushdown systems can be simulated by finite-state automata designed to accept their initial/final stack content. We embody this in a stackless Labelled Transition System (LTS), together with an on-the-fly saturation procedure for call stacks, upon which bisimulation is defined. To enhance the effectiveness of our bisimulation, we develop up-to techniques and confirm their soundness for PDNF Bisimulation. We develop a prototype implementation of our technique which is able to verify equivalence in examples from practice and the literature that were out of reach for previous work.


title: Better Together: Enhancing Generative Knowledge Graph Completion with Language Models and Neighborhood Information

abstract: Real-world Knowledge Graphs (KGs) often suffer from incompleteness, which limits their potential performance. Knowledge Graph Completion (KGC) techniques aim to address this issue. However, traditional KGC methods are computationally intensive and impractical for large-scale KGs, necessitating the learning of dense node embeddings and computing pairwise distances. Generative transformer-based language models (e.g., T5 and recent KGT5) offer a promising solution as they can predict the tail nodes directly. In this study, we propose to include node neighborhoods as additional information to improve KGC methods based on language models. We examine the effects of this imputation and show that, on both inductive and transductive Wikidata subsets, our method outperforms KGT5 and conventional KGC approaches. We also provide an extensive analysis of the impact of neighborhood on model prediction and show its importance. Furthermore, we point the way to significantly improve KGC through more effective neighborhood selection.


title: High-dimensional Linear Bandits with Knapsacks

abstract: We study the contextual bandits with knapsack (CBwK) problem under the high-dimensional setting where the dimension of the feature is large. The reward of pulling each arm equals the multiplication of a sparse high-dimensional weight vector and the feature of the current arrival, with additional random noise. In this paper, we investigate how to exploit this sparsity structure to achieve improved regret for the CBwK problem. To this end, we first develop an online variant of the hard thresholding algorithm that performs the sparse estimation in an online manner. We further combine our online estimator with a primal-dual framework, where we assign a dual variable to each knapsack constraint and utilize an online learning algorithm to update the dual variable, thereby controlling the consumption of the knapsack capacity. We show that this integrated approach allows us to achieve a sublinear regret that depends logarithmically on the feature dimension, thus improving the polynomial dependency established in the previous literature. We also apply our framework to the high-dimension contextual bandit problem without the knapsack constraint and achieve optimal regret in both the data-poor regime and the data-rich regime. We finally conduct numerical experiments to show the efficient empirical performance of our algorithms under the high dimensional setting.


title: Analog information decoding of bosonic quantum LDPC codes

abstract: Quantum error correction is crucial for scalable quantum information processing applications. Traditional discrete-variable quantum codes that use multiple two-level systems to encode logical information can be hardware-intensive. An alternative approach is provided by bosonic codes, which use the infinite-dimensional Hilbert space of harmonic oscillators to encode quantum information. Two promising features of bosonic codes are that syndrome measurements are natively analog and that they can be concatenated with discrete-variable codes. In this work, we propose novel decoding methods that explicitly exploit the analog syndrome information obtained from the bosonic qubit readout in a concatenated architecture. Our methods are versatile and can be generally applied to any bosonic code concatenated with a quantum low-density parity-check (QLDPC) code. Furthermore, we introduce the concept of quasi-single-shot protocols as a novel approach that significantly reduces the number of repeated syndrome measurements required when decoding under phenomenological noise. To realize the protocol, we present a first implementation of time-domain decoding with the overlapping window method for general QLDPC codes, and a novel analog single-shot decoding method. Our results lay the foundation for general decoding algorithms using analog information and demonstrate promising results in the direction of fault-tolerant quantum computation with concatenated bosonic-QLDPC codes.


title: A Simple Solution for Offline Imitation from Observations and Examples with Possibly Incomplete Trajectories

abstract: Offline imitation from observations aims to solve MDPs where only task-specific expert states and task-agnostic non-expert state-action pairs are available. Offline imitation is useful in real-world scenarios where arbitrary interactions are costly and expert actions are unavailable. The state-of-the-art "DIstribution Correction Estimation" (DICE) methods minimize divergence of state occupancy between expert and learner policies and retrieve a policy with weighted behavior cloning; however, their results are unstable when learning from incomplete trajectories, due to a non-robust optimization in the dual domain. To address the issue, in this paper, we propose Trajectory-Aware Imitation Learning from Observations (TAILO). TAILO uses a discounted sum along the future trajectory as the weight for weighted behavior cloning. The terms for the sum are scaled by the output of a discriminator, which aims to identify expert states. Despite simplicity, TAILO works well if there exist trajectories or segments of expert behavior in the task-agnostic data, a common assumption in prior work. In experiments across multiple testbeds, we find TAILO to be more robust and effective, particularly with incomplete trajectories.


title: Lower bound of the expressibility of ansatzes for Variational Quantum Algorithms

abstract: The expressibility of an ansatz used in a variational quantum algorithm is defined as the uniformity with which it can explore the space of unitary matrices. The expressibility of a particular ansatz has a well-defined upper bound. In this work, we show that the expressibiliity also has a well-defined lower bound in the hypothesis space. We provide an analytical expression for the lower bound of the covering number, which is directly related to expressibility. We also perform numerical simulations to to support our claim. To numerically calculate the bond length of a diatomic molecule, we take hydrogen ($H_2$) as a prototype system and calculate the error in the energy for the equilibrium energy point for different ansatzes. We study the variation of energy error with circuit depths and show that in each ansatz template, a plateau exists for a range of circuit depths, which we call the set of acceptable points, and the corresponding expressibility is known as the best expressive region. We report that the width of this best expressive region in the hypothesis space is inversely proportional to the average error. Our analysis reveals that alongside trainability, the lower bound of expressibility also plays a crucial role in selecting variational quantum ansatzes.


title: Offline Imitation from Observation via Primal Wasserstein State Occupancy Matching

abstract: In real-world scenarios, arbitrary interactions with the environment can often be costly, and actions of expert demonstrations are not always available. To reduce the need for both, offline Learning from Observations (LfO) is extensively studied: the agent learns to solve a task given only expert states and task-agnostic non-expert state-action pairs. The state-of-the-art DIstribution Correction Estimation (DICE) methods, as exemplified by SMODICE, minimize the state occupancy divergence between the learner's and empirical expert policies. However, such methods are limited to either $f$-divergences (KL and $chi^2$) or Wasserstein distance with Rubinstein duality, the latter of which constrains the underlying distance metric crucial to the performance of Wasserstein-based solutions. To enable more flexible distance metrics, we propose Primal Wasserstein DICE (PW-DICE). It minimizes the primal Wasserstein distance between the learner and expert state occupancies and leverages a contrastively learned distance metric. Theoretically, our framework is a generalization of SMODICE, and is the first work that unifies $f$-divergence and Wasserstein minimization. Empirically, we find that PW-DICE improves upon several state-of-the-art methods. The code is available at https://github.com/KaiYan289/PW-DICE.


title: Fast ZZ-Free Entangling Gates for Superconducting Qubits Assisted by a Driven Resonator

abstract: Engineering high-fidelity two-qubit gates is an indispensable step toward practical quantum computing. For superconducting quantum platforms, one important setback is the stray interaction between qubits, which causes significant coherent errors. For transmon qubits, protocols for mitigating such errors usually involve fine-tuning the hardware parameters or introducing usually noisy flux-tunable couplers. In this work, we propose a simple scheme to cancel these stray interactions. The coupler used for such cancellation is a driven high-coherence resonator, where the amplitude and frequency of the drive serve as control knobs. Through the resonator-induced-phase (RIP) interaction, the static ZZ coupling can be entirely neutralized. We numerically show that such a scheme can enable short and high-fidelity entangling gates, including cross-resonance CNOT gates within 40 ns and adiabatic CZ gates within 140 ns. Our architecture is not only ZZ free but also contains no extra noisy components, such that it preserves the coherence times of fixed-frequency transmon qubits. With the state-of-the-art coherence times, the error of our cross-resonance CNOT gate can be reduced to below 1e-4.


title: A coadjoint orbit-like construction for Jordan superalgebras

abstract: We investigate the canonical pseudo-Riemannian metrics associated with Jordan-analogues of the coadjoint orbits for pseudo-Euclidean Jordan superalgebras.


title: Supervised Learning Based Real-Time Adaptive Beamforming On-board Multibeam Satellites

abstract: Satellite communications (SatCom) are crucial for global connectivity, especially in the era of emerging technologies like 6G and narrowing the digital divide. Traditional SatCom systems struggle with efficient resource management due to static multibeam configurations, hindering quality of service (QoS) amidst dynamic traffic demands. This paper introduces an innovative solution - real-time adaptive beamforming on multibeam satellites with software-defined payloads in geostationary orbit (GEO). Utilizing a Direct Radiating Array (DRA) with circular polarization in the 17.7 - 20.2 GHz band, the paper outlines DRA design and a supervised learning-based algorithm for on-board beamforming. This adaptive approach not only meets precise beam projection needs but also dynamically adjusts beamwidth, minimizes sidelobe levels (SLL), and optimizes effective isotropic radiated power (EIRP).


title: Automatic Robot Hand-Eye Calibration Enabled by Learning-Based 3D Vision

abstract: Hand-eye calibration, as a fundamental task in vision-based robotic systems, aims to estimate the transformation matrix between the coordinate frame of the camera and the robot flange. Most approaches to hand-eye calibration rely on external markers or human assistance. We proposed Look at Robot Base Once (LRBO), a novel methodology that addresses the hand-eye calibration problem without external calibration objects or human support, but with the robot base. Using point clouds of the robot base, a transformation matrix from the coordinate frame of the camera to the robot base is established as I=AXB. To this end, we exploit learning-based 3D detection and registration algorithms to estimate the location and orientation of the robot base. The robustness and accuracy of the method are quantified by ground-truth-based evaluation, and the accuracy result is compared with other 3D vision-based calibration methods. To assess the feasibility of our methodology, we carried out experiments utilizing a low-cost structured light scanner across varying joint configurations and groups of experiments. The proposed hand-eye calibration method achieved a translation deviation of 0.930 mm and a rotation deviation of 0.265 degrees according to the experimental results. Additionally, the 3D reconstruction experiments demonstrated a rotation error of 0.994 degrees and a position error of 1.697 mm. Moreover, our method offers the potential to be completed in 1 second, which is the fastest compared to other 3D hand-eye calibration methods. Code is released at github.com/leihui6/LRBO.


title: Covariance estimation using h-statistics in Monte Carlo and multilevel Monte Carlo methods

abstract: We present novel Monte Carlo (MC) and multilevel Monte Carlo (MLMC) methods to determine the unbiased covariance of random variables using h-statistics. The advantage of this procedure lies in the unbiased construction of the estimator's mean square error in a closed form. This is in contrast to conventional MC and MLMC covariance estimators, which are based on biased mean square errors defined solely by upper bounds, particularly within the MLMC. The numerical results of the algorithms are demonstrated by estimating the covariance of the stochastic response of a simple 1D stochastic elliptic PDE such as Poisson's model.


title: Adaptive Identification of SIS Models

abstract: Effective containment of spreading processes such as epidemics requires accurate knowledge of several key parameters that govern their dynamics. In this work, we first show that the problem of identifying the underlying parameters of epidemiological spreading processes is often ill-conditioned and lacks the persistence of excitation required for the convergence of adaptive learning schemes. To tackle this challenge, we leverage a relaxed property called initial excitation combined with a recursive least squares algorithm to design an online adaptive identifier to learn the parameters of the susceptible-infected-susceptible (SIS) epidemic model from the knowledge of its states. We prove that the iterates generated by the proposed algorithm minimize an auxiliary weighted least squares cost function. We illustrate the convergence of the error of the estimated epidemic parameters via several numerical case studies and compare it with results obtained using conventional approaches.


title: Securing Wireless Communication in Critical Infrastructure: Challenges and Opportunities

abstract: Critical infrastructure constitutes the foundation of every society. While traditionally solely relying on dedicated cable-based communication, this infrastructure rapidly transforms to highly digitized and interconnected systems which increasingly rely on wireless communication. Besides providing tremendous benefits, especially affording the easy, cheap, and flexible interconnection of a large number of assets spread over larger geographic areas, wireless communication in critical infrastructure also raises unique security challenges. Most importantly, the shift from dedicated private wired networks to heterogeneous wireless communication over public and shared networks requires significantly more involved security measures. In this paper, we identify the most relevant challenges resulting from the use of wireless communication in critical infrastructure and use those to identify a comprehensive set of promising opportunities to preserve the high security standards of critical infrastructure even when switching from wired to wireless communication.


title: Engineering Photon-mediated Long-Range Spin Interactions in Mott Insulators

abstract: We investigate the potential to induce long-range spin interactions in a Mott insulator via the quantum electromagnetic field of a cavity. The coupling between light and spins is inherently non-linear, and occurs via multi-photon processes like Raman scattering and two-photon absorption/emission with electronically excited intermediate states. Based on this, two pathways are elucidated: (i) In the absence of external driving, long-range interactions are mediated by the exchange of at least two virtual cavity photons. We show that these vacuum-mediated interactions can surpass local Heisenberg interactions in mesoscopic setups such as sufficiently small split-ring resonators. (ii) In a laser-driven cavity, interactions can be tailored through a hybrid scheme involving both external laser photons and cavity photons. This offers a versatile pathway for Floquet engineering of long-range interactions in macroscopic systems. In general, the derivation of these interactions requires careful consideration: Notably, we demonstrate that a simple phenomenological approach, based on a spin-photon Hamiltonian that captures Raman and two-photon processes with effective matrix elements, can be used only if the cavity is resonantly driven. Outside of these narrow resonant regimes as well as for the undriven case, a fourth-order series expansion within the underlying electronic model is necessary, which we perform to obtain long-range four-spin interactions in the half-filled Hubbard model.


title: The large scale velocity field from the Cosmicflows-4 data

abstract: The reconstruction of the large scale velocity field from the grouped Cosmicflows-4 (CF4) database is presented. The lognormal bias of the inferred distances and velocities data is corrected by the Bias Gaussianization correction (BGc) scheme, and the linear density and velocity fields are reconstructed by means of the Wiener filter (WF) and constrained realizations (CRs) algorithm. These tools are tested against a suite of random and constrained Cosmicflows-3-like mock data. The CF4 data consists of 3 main subsamples - the 6dFGS and the SDSS data - and the `others'. The individual contributions of the subsamples have been studied. The quantitative analysis of the velocity field is done mostly by the mean overdensity ($\Delta_L(R)$) and the bulk velocity ($V_{\mathrm{bulk}}(R)$) profiles of the velocity field out to $300\, h^{-1}{\rm Mpc}$. The $V_{\mathrm{bulk}}(R)$ and $\Delta_{\mathrm L}(R)$ profiles of the CF4 data without its 6dFGS component are consistent with the cosmic variance to within $1\sigma$. The 6dFGS sample dominates the $V_{\mathrm{bulk}}$ ($\Delta_{\mathrm L}$) profile beyond $\sim120\, h^{-1}{\rm Mpc}$, and drives it to roughly a $3.4\sigma$ ($-1.9\sigma$) excess (deficiency) relative to the cosmic variance at $R\sim250\ (190)\ \, h^{-1}{\rm Mpc}$. The excess in the amplitude of $V_{\mathrm{bulk}}$ is dominated by its Supergalactic X component, roughly in the direction of the Shapley Concentration. The amplitude and alignment of the inferred velocity field from the CF4 data is at $\sim(2\,-\,3)\,\sigma$ discrepancy with respect to the $\Lambda$CDM model. Namely, it is somewhat atypical but yet there is no compelling tension with the model.


title: Composite Dyadic Models for Spatio-Temporal Data

abstract: Mechanistic statistical models are commonly used to study the flow of biological processes. For example, in landscape genetics, the aim is to infer spatial mechanisms that govern gene flow in populations. Existing statistical approaches in landscape genetics do not account for temporal dependence in the data and may be computationally prohibitive. We infer mechanisms with a Bayesian hierarchical dyadic model that scales well with large data sets and that accounts for spatial and temporal dependence. We construct a fully-connected network comprising spatio-temporal data for the dyadic model and use normalized composite likelihoods to account for the dependence structure in space and time. We develop a dyadic model to account for physical mechanisms commonly found in physical-statistical models and apply our methods to ancient human DNA data to infer the mechanisms that affected human movement in Bronze Age Europe.


title: Gromov-Hausdorff stability of tori under Ricci and integral scalar curvature bounds

abstract: We establish a nonlinear analogue of a splitting map into a Euclidean space, as a harmonic map into a flat torus. We prove that the existence of such a map implies Gromov-Hausdorff closeness to a flat torus in any dimension. Furthermore, Gromov-Hausdorff closeness to a flat torus and an integral bound on the scalar curvature imply the existence of a harmonic splitting map. Combining these results with Stern's inequality, we provide a new Gromov-Hausdorff stability theorem for flat $3$-tori. The main tools we employ include the harmonic map heat flow, Ricci flow, and both Ricci limits and RCD theories.


title: Collaborative Large Language Model for Recommender Systems

abstract: Recently, there has been growing interest in developing the next-generation recommender systems (RSs) based on pretrained large language models (LLMs). However, the semantic gap between natural language and recommendation tasks is still not well addressed, leading to multiple issues such as spuriously correlated user/item descriptors, ineffective language modeling on user/item data, inefficient recommendations via auto-regression, etc. In this paper, we propose CLLM4Rec, the first generative RS that tightly integrates the LLM paradigm and ID paradigm of RSs, aiming to address the above challenges simultaneously. We first extend the vocabulary of pretrained LLMs with user/item ID tokens to faithfully model user/item collaborative and content semantics. Accordingly, a novel soft+hard prompting strategy is proposed to effectively learn user/item collaborative/content token embeddings via language modeling on RS-specific corpora, where each document is split into a prompt consisting of heterogeneous soft (user/item) tokens and hard (vocab) tokens and a main text consisting of homogeneous item tokens or vocab tokens to facilitate stable and effective language modeling. In addition, a novel mutual regularization strategy is introduced to encourage CLLM4Rec to capture recommendation-related information from noisy user/item content. Finally, we propose a novel recommendation-oriented finetuning strategy for CLLM4Rec, where an item prediction head with multinomial likelihood is added to the pretrained CLLM4Rec backbone to predict hold-out items based on soft+hard prompts established from masked user-item interaction history, where recommendations of multiple items can be generated efficiently without hallucination. Codes are released at https://github.com/yaochenzhu/llm4rec.


title: Like an Open Book? Read Neural Network Architecture with Simple Power Analysis on 32-bit Microcontrollers

abstract: Model extraction is a growing concern for the security of AI systems. For deep neural network models, the architecture is the most important information an adversary aims to recover. Being a sequence of repeated computation blocks, neural network models deployed on edge-devices will generate distinctive side-channel leakages. The latter can be exploited to extract critical information when targeted platforms are physically accessible. By combining theoretical knowledge about deep learning practices and analysis of a widespread implementation library (ARM CMSIS-NN), our purpose is to answer this critical question: how far can we extract architecture information by simply examining an EM side-channel trace? For the first time, we propose an extraction methodology for traditional MLP and CNN models running on a high-end 32-bit microcontroller (Cortex-M7) that relies only on simple pattern recognition analysis. Despite few challenging cases, we claim that, contrary to parameters extraction, the complexity of the attack is relatively low and we highlight the urgent need for practicable protections that could fit the strong memory and latency requirements of such platforms.


abstract: Special Ricci-Hessian equations on K\"ahler manifolds $(M,g)$, as defined by Maschler [Ann. Global Anal. Geom. 34 (2008), 367--380] involve functions $\tau$ on $M$ and state that, for some function $\alpha$ of the real variable $\tau$, the sum of $\alpha\nabla d\tau$ and the Ricci tensor equals a functional multiple of the metric $g$, while $\alpha\nabla d\tau$ itself is nonzero almost everywhere. Three well-known obvious cases are provided by (non-Einstein) gradient K\"ahler-Ricci solitons, conformally-Einstein K\"ahler metrics, and special K\"ahler-Ricci potentials. We show that, outside of these three cases, such an equation can only occur in complex dimension two and, at generic points, it must then represent one of three types, for which, up to normalizations, $\alpha = 2 \cot \tau$, or $\alpha = 2 \coth \tau$, or $\alpha = 2 \tanh \tau$. We also use the Cartan-K\"ahler theorem to prove that these three types are actually realized.


title: On the Proportion of Coprime Fractions in Number Fields

abstract: In this paper we determine the asymptotic density of coprime fractions in those of the reduced fractions of number fields. When ordered by norms of denominators, we count a fraction as soon as it ``appears'' for the first time and no later. The natural density of coprime fractions in the set of reduced fractions may then be computed using well-known facts about Hecke $L$-functions. Furthermore, we draw some connections to the modular group and Heegner points.


title: Multiple quantum Mpemba effect: exceptional points and oscillations

abstract: We explore the role of exceptional points and complex eigenvalues on the occurrence of the quantum Mpemba effect. To this end, we study a two-level driven dissipative system subjected to an oscillatory electric field and dissipative coupling with the environment. We find that both exceptional points and complex eigenvalues can lead to $multiple$ quantum Mpemba effect. It occurs in an observable when time evolved copies corresponding to two different initial conditions, one initially having higher observable value compared to the other and both relaxing towards the same steady state, intersect each other more than once during their relaxation process. Each of the intersections denotes a quantum Mpemba effect and marks the reversal of identities between the two copies i.e. the copy with higher observable value before the intersection becomes the lower valued copy (and vice versa) after the intersection. Such multiple intersections originate from additional algebraic time dependence at the exceptional points and due to oscillatory relaxation in the case of complex eigenvalues. We provide analytical results for quantum Mpemba effect in the density matrix in presence of coherence. Depending on the control parameters (drive and dissipation), observables such as energy, von Neumann entropy, temperature etc. exhibit either single or multiple quantum Mpemba effect. However, the distance from steady state measured in terms of the Kullback-Leibler divergence shows only single quantum Mpemba effect although the corresponding speed gives rise to either single or multiple quantum Mpemba effect.


title: StageOpt technical write-up

abstract: This document provides technical background for StageOpt. This tool helps to better understand fluid and proppant distribution between perforations and clusters within a fracturing stage. Limited entry technique is often used to achieve uniform fluid distribution between clusters. This, however, does not automatically guarantee uniform proppant distribution. In view of this observation, StageOpt allows users to overcome this obstacle and to better design perforation design by focusing on both fluid and proppant distribution between clusters. The algorithm in StageOpt is based primarily on the paper Dontsov (2023), but it also incorporates practically important features, such as the effect of stress shadow from previous stage, perforation erosion, and other phenomena. In this write-up, flow distribution between perforations is described first, and the effects of perforation friction, near-wellbore pressure drop, as well as perforation break down and stress shadow are included. Then, proppant distribution between perforations is discussed as a function of perforation orientation. Finally, perforation erosion is added to the model. The erosion changes perforation diameter as a function of several parameters, including the flow rate through the perforation as well as the amount of proppant that flows through it. The change of perforation size in turn changes magnitude of perforation friction, which then changes the distribution of slurry, that consequently changes proppant flow distribution. Such a coupled system often leads to complex results that are hard to deduce without systematic physical modeling, which is exactly what StageOpt provides.


title: Post-hoc Orthogonalization for Mitigation of Protected Feature Bias in CXR Embeddings

abstract: Purpose: To analyze and remove protected feature effects in chest radiograph embeddings of deep learning models. Methods: An orthogonalization is utilized to remove the influence of protected features (e.g., age, sex, race) in CXR embeddings, ensuring feature-independent results. To validate the efficacy of the approach, we retrospectively study the MIMIC and CheXpert datasets using three pre-trained models, namely a supervised contrastive, a self-supervised contrastive, and a baseline classifier model. Our statistical analysis involves comparing the original versus the orthogonalized embeddings by estimating protected feature influences and evaluating the ability to predict race, age, or sex using the two types of embeddings. Results: Our experiments reveal a significant influence of protected features on predictions of pathologies. Applying orthogonalization removes these feature effects. Apart from removing any influence on pathology classification, while maintaining competitive predictive performance, orthogonalized embeddings further make it infeasible to directly predict protected attributes and mitigate subgroup disparities. Conclusion: The presented work demonstrates the successful application and evaluation of the orthogonalization technique in the domain of chest X-ray image classification.


title: A Novel Adaptive Inertia Strategy in Large-Scale Electric Power Grids

abstract: The increasing penetration of new renewable sources of energy in today's power grids is accompanied by a decrease in available electromechanical inertia. This leads to a reduced dynamical stability. To counterbalance this effect, virtual synchronous generators have been proposed to emulate conventional generators and provide inertia to power systems. The high flexibility of these devices makes it possible to control the synthetic inertia they provide and to have them operate even more efficiently than the electromechanical inertia they replace. Here, we propose a novel control scheme for virtual synchronous generators, where the amount of inertia provided is large at short times - thereby absorbing local faults and disturbances as efficiently as conventional generators - but decreases over a tunable time interval to prevent long-time coherent oscillations from setting in. This new model is used to investigate the effect of adaptive inertia on large-scale power grids. Our model outperforms conventional constant inertia in all scenarios and for all performance measures considered. We show how an optimized geographical distribution of adaptive inertia devices not only effectively absorbs local faults, but also significantly improves the damping of inter-area oscillations.


title: Simplicial Models for the Epistemic Logic of Faulty Agents

abstract: In recent years, several authors have been investigating simplicial models, a model of epistemic logic based on higher-dimensional structures called simplicial complexes. In the original formulation, simplicial models were always assumed to be pure, meaning that all worlds have the same dimension. This is equivalent to the standard S5n semantics of epistemic logic, based on Kripke models. By removing the assumption that models must be pure, we can go beyond the usual Kripke semantics and study epistemic logics where the number of agents participating in a world can vary. This approach has been developed in a number of papers, with applications in fault-tolerant distributed computing where processes may crash during the execution of a system. A difficulty that arises is that subtle design choices in the definition of impure simplicial models can result in different axioms of the resulting logic. In this paper, we classify those design choices systematically, and axiomatize the corresponding logics. We illustrate them via distributed computing examples of synchronous systems where processes may crash.


title: Deep learning based Image Compression for Microscopy Images: An Empirical Study

abstract: With the fast development of modern microscopes and bioimaging techniques, an unprecedentedly large amount of imaging data are being generated, stored, analyzed, and even shared through networks. The size of the data poses great challenges for current data infrastructure. One common way to reduce the data size is by image compression. This present study analyzes classic and deep learning based image compression methods, and their impact on deep learning based image processing models. Deep learning based label-free prediction models (i.e., predicting fluorescent images from bright field images) are used as an example application for comparison and analysis. Effective image compression methods could help reduce the data size significantly without losing necessary information, and therefore reduce the burden on data management infrastructure and permit fast transmission through the network for data sharing or cloud computing. To compress images in such a wanted way, multiple classical lossy image compression techniques are compared to several AI-based compression models provided by and trained with the CompressAI toolbox using python. These different compression techniques are compared in compression ratio, multiple image similarity measures and, most importantly, the prediction accuracy from label-free models on compressed images. We found that AI-based compression techniques largely outperform the classic ones and will minimally affect the downstream label-free task in 2D cases. In the end, we hope the present study could shed light on the potential of deep learning based image compression and the impact of image compression on downstream deep learning based image analysis models.


title: libepa -- a C++/Python library for calculations of cross sections of ultraperipheral collisions

abstract: The library provides a set of C++/Python functions for computing cross sections of ultraperipheral collisions of high energy particles under the equivalent photons approximation. Cross sections are represented through multiple integrals over the phase space. The integrals are calculated through recurrent application of algorithms for one dimensional integration. The paper contains an introduction to the theory of ultraperipheral collisions, discusses the library approach and provides a few examples of calculations.


title: Collective Tree Exploration via Potential Function Method

abstract: We study the problem of collective tree exploration (CTE) where a team of $k$ agents is tasked to traverse all the edges of an unknown tree as fast as possible, assuming complete communication between the agents. In this paper, we present an algorithm performing collective tree exploration in only $2n/k+O(kD)$ rounds, where $n$ is the number of nodes in the tree, and $D$ is the tree depth. This leads to a competitive ratio of $O(\sqrt{k})$ for collective tree exploration, the first polynomial improvement over the initial $O(k/\log(k))$ ratio of [FGKP06]. Our analysis relies on a game with robots at the leaves of a continuously growing tree, which is presented in a similar manner as the `evolving tree game' of [BCR22], though its analysis and applications differ significantly. This game extends the `tree-mining game' (TM) of [Cos23] and leads to guarantees for an asynchronous extension of collective tree exploration (ACTE). Another surprising consequence of our results is the existence of algorithms $\{A_k\}_{k\in \mathbb{N}}$ for layered tree traversal (LTT) with cost at most $2L/k+O(kD)$, where $L$ is the sum of edge lengths and $D$ is the tree depth. For the case of layered trees of width $w$ and unit edge lengths, our guarantee is thus in $O(\sqrt{w}D)$.


title: Physically constrained eigenspace perturbation for turbulence model uncertainty estimation

abstract: Aerospace design is increasingly incorporating Design Under Uncertainty based approaches to lead to more robust and reliable optimal designs. These approaches require dependable estimates of uncertainty in simulations for their success. The key contributor of predictive uncertainty in Computational Fluid Dynamics (CFD) simulations of turbulent flows are the structural limitations of Reynolds-averaged Navier-Stokes models, termed model-form uncertainty. Currently, the common procedure to estimate turbulence model-form uncertainty is the Eigenspace Perturbation Framework (EPF), involving perturbations to the modeled Reynolds stress tensor within physical limits. The EPF has been applied with success in design and analysis tasks in numerous prior works from the industry and academia. Owing to its rapid success and adoption in several commercial and open-source CFD solvers, in depth Verification and Validation of the EPF is critical. In this work, we show that under certain conditions, the perturbations in the EPF can lead to Reynolds stress dynamics that are not physically realizable. This analysis enables us to propose a set of necessary physics-based constraints, leading to a realizable EPF. We apply this constrained procedure to the illustrative test case of a converging-diverging channel, and we demonstrate that these constraints limit physically implausible dynamics of the Reynolds stress tensor, while enhancing the accuracy and stability of the uncertainty estimation procedure.


title: Upper and lower bounds for the Lipschitz constant of random neural networks

abstract: Empirical studies have widely demonstrated that neural networks are highly sensitive to small, adversarial perturbations of the input. The worst-case robustness against these so-called adversarial examples can be quantified by the Lipschitz constant of the neural network. In this paper, we study upper and lower bounds for the Lipschitz constant of random ReLU neural networks. Specifically, we assume that the weights and biases follow a generalization of the He initialization, where general symmetric distributions for the biases are permitted. For shallow neural networks, we characterize the Lipschitz constant up to an absolute numerical constant. For deep networks with fixed depth and sufficiently large width, our established upper bound is larger than the lower bound by a factor that is logarithmic in the width.


title: Robust Identity Perceptual Watermark Against Deepfake Face Swapping

abstract: Notwithstanding offering convenience and entertainment to society, Deepfake face swapping has caused critical privacy issues with the rapid development of deep generative models. Due to imperceptible artifacts in high-quality synthetic images, passive detection models against face swapping in recent years usually suffer performance damping regarding the generalizability issue. Therefore, several studies have been attempted to proactively protect the original images against malicious manipulations by inserting invisible signals in advance. However, the existing proactive defense approaches demonstrate unsatisfactory results with respect to visual quality, detection accuracy, and source tracing ability. In this study, to fulfill the research gap, we propose the first robust identity perceptual watermarking framework that concurrently performs detection and source tracing against Deepfake face swapping proactively. We assign identity semantics regarding the image contents to the watermarks and devise an unpredictable and nonreversible chaotic encryption system to ensure watermark confidentiality. The watermarks are encoded and recovered by jointly training an encoder-decoder framework along with adversarial image manipulations. Falsification and source tracing are accomplished by justifying the consistency between the content-matched identity perceptual watermark and the recovered robust watermark from the image. Extensive experiments demonstrate state-of-the-art detection performance on Deepfake face swapping under both cross-dataset and cross-manipulation settings.


title: The Universal Statistical Structure and Scaling Laws of Chaos and Turbulence

abstract: Turbulence is a complex spatial and temporal structure created by the strong non-linear dynamics of fluid flows at high Reynolds numbers. Despite being an ubiquitous phenomenon that has been studied for centuries, a full understanding of turbulence remained a formidable challenge. Here, we introduce tools from the fields of quantum chaos and Random Matrix Theory (RMT) and present a detailed analysis of image datasets generated from turbulence simulations of incompressible and compressible fluid flows. Focusing on two observables: the data Gram matrix and the single image distribution, we study both the local and global eigenvalue statistics and compare them to classical chaos, uncorrelated noise and natural images. We show that from the RMT perspective, the turbulence Gram matrices lie in the same universality class as quantum chaotic rather than integrable systems, and the data exhibits power-law scalings in the bulk of its eigenvalues which are vastly different from uncorrelated classical chaos, random data, natural images. Interestingly, we find that the single sample distribution only appears as fully RMT chaotic, but deviates from chaos at larger correlation lengths, as well as exhibiting different scaling properties.

categories: cond-mat.stat-mech hep-th nlin.CD physics.flu-dyn stat.ML


title: Algebraic entropy for hex systems

abstract: Hex systems were recently introduced [A. P. Kels. Integrable systems on hexagonal lattices and consistency on polytopes with quadrilateral and hexagonal faces. 2022. arXiv:2205.02720 [math-ph]] as systems of equations defined on two-dimensional honeycomb lattices. We give a definition of algebraic entropy for such systems and use it to check the integrability of specific examples.


title: Minimum-dissipation model for large-eddy simulation using symmetry-preserving discretization in OpenFOAM

abstract: The minimum-dissipation model is applied to channel flow up to $Re_\tau = 2000$, flow past a circular cylinder at $Re=3900$, and flow over periodic hills at $Re=10595$. Numerical simulations were performed in OpenFOAM which is based on the finite volume methods. We used both symmetry-preserving and standard second-order accurate discretization methods in OpenFOAM on structured meshes. The results are compared to DNS and experimental data. The results of channel flow demonstrate a static QR model performs equally well as the dynamic models while reducing the computational cost. The model constant of $C=0.024$ gives the most accurate prediction, and the contribution of the sub-grid model decreases with the increase of the mesh resolution and becomes very small (less than 0.2 molecular viscosity) if a fine mesh is used. Furthermore, the QR model is able to predict the mean and rms velocity accurately up to $Re_\tau = 2000$ without a wall damping function. The symmetry-preserving discretization outperforms the standard OpenFOAM discretization at $Re_\tau=1000$. The results for the flow over a cylinder show that the mean velocity, drag coefficient, and lift coefficient are in good agreement with the experimental data and the central difference schemes conjugated with the QR model predict better results. The various comparisons carried out for flows over periodic hills demonstrate the need to use central difference schemes in OpenFOAM in combination with the minimum dissipation model. The best model constant is again $C=0.024$. The single wind turbine simulation shows that the QR model is capable of predicting accurate results in complex rotating scenarios.


title: GPT-4V(ision) as a Generalist Evaluator for Vision-Language Tasks

abstract: Automatically evaluating vision-language tasks is challenging, especially when it comes to reflecting human judgments due to limitations in accounting for fine-grained details. Although GPT-4V has shown promising results in various multi-modal tasks, leveraging GPT-4V as a generalist evaluator for these tasks has not yet been systematically explored. We comprehensively validate GPT-4V's capabilities for evaluation purposes, addressing tasks ranging from foundational image-to-text and text-to-image synthesis to high-level image-to-image translations and multi-images to text alignment. We employ two evaluation methods, single-answer grading and pairwise comparison, using GPT-4V. Notably, GPT-4V shows promising agreement with humans across various tasks and evaluation methods, demonstrating immense potential for multi-modal LLMs as evaluators. Despite limitations like restricted visual clarity grading and real-world complex reasoning, its ability to provide human-aligned scores enriched with detailed explanations is promising for universal automatic evaluator.


title: Handbook for Efficiently Quantifying Robustness of Magic

abstract: The nonstabilizerness, or magic, is an essential quantum resource to perform universal quantum computation. Robustness of magic (RoM) in particular characterizes the degree of usefulness of a given quantum state for non-Clifford operation. While the mathematical formalism of RoM can be given in a concise manner, it is extremely challenging to determine the RoM in practice, since it involves superexponentially many pure stabilizer states. In this work, we present efficient novel algorithms to compute the RoM. The crucial technique is a subroutine that achieves the remarkable features in calculation of overlaps between pure stabilizer states: (i) the time complexity per each stabilizer is reduced exponentially, (ii) the space complexity is reduced superexponentially. Based on this subroutine, we present algorithms to compute the RoM for arbitrary states up to $n=7$ qubits on a laptop, while brute-force methods require a memory size of 86 TiB. As a byproduct, the proposed subroutine allows us to simulate the stabilizer fidelity up to $n=8$ qubits, for which naive methods require memory size of 86 PiB so that any state-of-the-art classical computer cannot execute the computation. We further propose novel algorithms that utilize the preknowledge on the structure of target quantum state such as the permutation symmetry of disentanglement, and numerically demonstrate our state-of-the-art results for copies of magic states and partially disentangled quantum states. The series of algorithms constitute a comprehensive ``handbook'' to scale up the computation of the RoM, and we envision that the proposed technique applies to the computation of other quantum resource measures as well.


title: Variational Methods for Computing Non-Local Quantum Strategies

abstract: In a nonlocal game, two noncommunicating players cooperate to convince a referee that they possess a strategy that does not violate the rules of the game. Quantum strategies allow players to optimally win some games by performing joint measurements on a shared entangled state, but computing these strategies can be challenging. We develop a variational algorithm for computing strategies of nonlocal games and show that it can yield optimal strategies for small examples of both convex and non-convex games. We show that our algorithm is capable of generating a short-depth circuit that implements an optimal quantum strategy for a graph coloring game. Moreover, we describe how this technique can be run on quantum computers and argue that such circuits will be useful for benchmarking because of their sensitivity to 2-qubit gate noise and application to self-testing. Finally, we demonstrate the use of these strategies experimentally on 11 IBM quantum computers.


title: Supersymmetry and the Celestial Jacobi Identity

abstract: In this paper we study the simplifying effects of supersymmetry on celestial OPEs at both tree and loop level. We find at tree level that theories with unbroken supersymmetry around a stable vacuum have celestial soft current algebras satisfying the Jacobi identity, and we show at one loop that celestial OPEs in these theories have no double poles.


title: Pushing the high count rate limits of scintillation detectors for challenging neutron-capture experiments

abstract: One of the critical aspects for the accurate determination of neutron capture cross sections when combining time-of-flight and total energy detector techniques is the characterization and control of systematic uncertainties associated to the measuring devices. In this work we explore the most conspicuous effects associated to harsh count rate conditions: dead-time and pile-up effects. Both effects, when not properly treated, can lead to large systematic uncertainties and bias in the determination of neutron cross sections. In the majority of neutron capture measurements carried out at the CERN n\_TOF facility, the detectors of choice are the C$_{6}$D$_{6}$ liquid-based either in form of large-volume cells or recently commissioned sTED detector array, consisting of much smaller-volume modules. To account for the aforementioned effects, we introduce a Monte Carlo model for these detectors mimicking harsh count rate conditions similar to those happening at the CERN n\_TOF 20~m fligth path vertical measuring station. The model parameters are extracted by comparison with the experimental data taken at the same facility during 2022 experimental campaign. We propose a novel methodology to consider both, dead-time and pile-up effects simultaneously for these fast detectors and check the applicability to experimental data from $^{197}$Au($n$,$\gamma$), including the saturated 4.9~eV resonance which is an important component of normalization for neutron cross section measurements.


title: Genetic Algorithm-based Beamforming in Subarray Architectures for GEO Satellites

abstract: The incorporation of subarrays in Direct Radiating Arrays for satellite missions is fundamental in reducing the number of Radio Frequency chains, which correspondingly diminishes cost, power consumption, space, and mass. Despite the advantages, previous beamforming schemes incur significant losses during beam scanning, particularly when hybrid beamforming is not employed. Consequently, this paper introduces an algorithm capable of compensating for these losses by increasing the power, for this, the algorithm will activate radiating elements required to address a specific Effective Isotropic Radiated Power for a beam pattern over Earth, projected from a GeoStationary satellite. In addition to the aforementioned compensation, other beam parameters have been addressed in the algorithm, such as beamwidth and Side Lobe Levels. To achieve these objectives, we propose employing the array thinning concept through the use of genetic algorithms, which enable beam shaping with the desired characteristics and power. The full array design considers an open-ended waveguide, configured to operate in circular polarization within the Ka-band frequency range of 17.7-20.2 GHz.


title: Respiratory Anomaly Detection using Reflected Infrared Light-wave Signals

abstract: In this study, we present a non-contact respiratory anomaly detection method using incoherent light-wave signals reflected from the chest of a mechanical robot that can breathe like human beings. In comparison to existing radar and camera-based sensing systems for vitals monitoring, this technology uses only a low-cost ubiquitous infrared light source and sensor. This light-wave sensing system recognizes different breathing anomalies from the variations of light intensity reflected from the chest of the robot within a 0.5m-1.5m range with an average classification accuracy of up to 96.6% using machine learning.


title: Unstable capillary-gravity waves

abstract: We make rigorous spectral stability analysis for non-resonant capillary-gravity waves as well as resonant Wilton ripples of sufficiently small amplitude. Our analysis is based on a periodic Evans function approach, developed recently by the authors for Stokes waves. On top of our previous work, we add to the approach new framework ingredients, including a two-stage Weierstrass preparation manipulation for the Periodic Evans function associated to the wave and the definition of a stability function as an analytic function of the wave amplitude parameter. These new ingredients are keys for proving stability near non-resonant frequencies and defining index functions ruling both stability and instability near non-zero resonant frequencies. We also prove that unstable bubble spectra near non-zero resonant frequencies form, at the leading order, either an ellipse or a circle and provide a justification for Creedon, Deconinck, and Trichtchenko's formal asymptotic expansion for the Floquet exponent. For non-resonant capillary-gravity waves for the stability near the origin of the complex plane, our stability results agree with the prediction from formal multi-scale expansion. New are our stability results near non-zero resonant frequencies. As the effects of surface tension vanish, our result recovers that for gravity waves. Also new are our stability results for Wilton ripples of small amplitude near the origin as well as near non-zero resonant frequencies.


title: Localization of Beltrami fields: global smooth solutions and vortex reconnection for the Navier-Stokes equations

abstract: We introduce a class of divergence-free vector fields on $\mathbb{R}^3$ obtained after a suitable localization of Beltrami fields. First, we use them as initial data to construct unique global smooth solutions of the three dimensional Navier-Stokes equations. The relevant fact here is that these initial data can be chosen to be large in any critical space for the Navier-Stokes problem, however they satisfy the nonlinear smallness assumption introduced in [10]. As a further application of the method, we use these vector fields to provide analytical example of vortex-reconnection for the three-dimensional Navier-Stokes equations on $\mathbb{R}^3$. To do so, we exploit the ideas developed in [14] but differently from this latter we cannot rely on the non-trivial homotopy of the three-dimensional torus. To overcome this obstacle we use a different topological invariant, i.e. the number of hyperbolic critical points of the vector field.


title: Topological Waveguide Quantum Sensors

abstract: We present an efficient and robust protocol for quantum-enhanced sensing using a single-spin qubit in the topological waveguide system. Our method relies on the topological-paired bound states, which are localized near the spin and can be effectively regarded as a two-level system. Through the lens of Bayesian inference theory, we show the sensitivity can reach the Heisenberg limit across a large field range. Inheriting from the topological robustness of the waveguide, our sensing protocol is robust against local perturbations. The advantages of our protocol are multifold as it allows for sensing various parameters and uses a product initial state, which can be easily prepared in experiments. We expect this approach would pave the way towards robust topological quantum sensors based on near term quantum platforms such as topological photonics and Rydberg arrays.


title: Metrological robustness of high photon number optical cat states

abstract: In the domain of quantum metrology, cat states have demonstrated their utility despite their inherent fragility with respect to losses. Here, we introduce noise robust optical cat states which exhibit a metrological robustness for phase estimation in the regime of high photon numbers. These cat states are obtained from the intense laser driven process of high harmonic generation (HHG), and show a resilience against photon losses. Focusing on a realistic scenario including experimental imperfections we opt for the case in which we can maximize the lower bound of the quantum Fisher information (QFI) instead of analyzing the best case scenario. We show that the decrease of the QFI in the lossy case is suppressed for the HHG-cat state compared to the even and odd counterparts. In the regime of small losses of just a single photon, the HHG-cat state remains almost pure while the even/odd cat state counterparts rapidly decohere to the maximally mixed state. More importantly, this translates to a significantly enhanced robustness for the HHG-cat against photon loss, demonstrating that high photon number optical cat states can indeed be used for metrological applications even in the presence of losses.


title: Data-Augmented and Retrieval-Augmented Context Enrichment in Chinese Media Bias Detection

abstract: With the increasing pursuit of objective reports, automatically understanding media bias has drawn more attention in recent research. However, most of the previous work examines media bias from Western ideology, such as the left and right in the political spectrum, which is not applicable to Chinese outlets. Based on the previous lexical bias and informational bias structure, we refine it from the Chinese perspective and go one step further to craft data with 7 fine-grained labels. To be specific, we first construct a dataset with Chinese news reports about COVID-19 which is annotated by our newly designed system, and then conduct substantial experiments on it to detect media bias. However, the scale of the annotated data is not enough for the latest deep-learning technology, and the cost of human annotation in media bias, which needs a lot of professional knowledge, is too expensive. Thus, we explore some context enrichment methods to automatically improve these problems. In Data-Augmented Context Enrichment (DACE), we enlarge the training data; while in Retrieval-Augmented Context Enrichment (RACE), we improve information retrieval methods to select valuable information and integrate it into our models to better understand bias. Extensive experiments are conducted on both our dataset and an English dataset BASIL. Our results show that both methods outperform our baselines, while the RACE methods are more efficient and have more potential.


title: Optimization Efficient Open-World Visual Region Recognition

abstract: Understanding the semantics of individual regions or patches of unconstrained images, such as open-world object detection, remains a critical yet challenging task in computer vision. Building on the success of powerful image-level vision-language (ViL) foundation models like CLIP, recent efforts have sought to harness their capabilities by either training a contrastive model from scratch with an extensive collection of region-label pairs or aligning the outputs of a detection model with image-level representations of region proposals. Despite notable progress, these approaches are plagued by computationally intensive training requirements, susceptibility to data noise, and deficiency in contextual information. To address these limitations, we explore the synergistic potential of off-the-shelf foundation models, leveraging their respective strengths in localization and semantics. We introduce a novel, generic, and efficient architecture, named RegionSpot, designed to integrate position-aware localization knowledge from a localization foundation model (e.g., SAM) with semantic information from a ViL model (e.g., CLIP). To fully exploit pretrained knowledge while minimizing training overhead, we keep both foundation models frozen, focusing optimization efforts solely on a lightweight attention-based knowledge integration module. Extensive experiments in open-world object recognition show that our RegionSpot achieves significant performance gain over prior alternatives, along with substantial computational savings (e.g., training our model with 3 million data in a single day using 8 V100 GPUs). RegionSpot outperforms GLIP-L by 2.9 in mAP on LVIS val set, with an even larger margin of 13.1 AP for more challenging and rare categories, and a 2.5 AP increase on ODinW. Furthermore, it exceeds GroundingDINO-L by 11.0 AP for rare categories on the LVIS minival set.


title: Peano and Osgood theorems via effective infinitesimals

abstract: We provide choiceless proofs using infinitesimals of the global versions of Peano's existence theorem and Osgood's theorem on maximal solutions. We characterize all solutions in terms of infinitesimal perturbations. Our proofs are more effective than traditional non-infinitesimal proofs found in the literature. The background logical structure is the internal set theory SPOT, conservative over ZF.


title: Monotone Generative Modeling via a Gromov-Monge Embedding

abstract: Generative Adversarial Networks (GANs) are powerful tools for creating new content, but they face challenges such as sensitivity to starting conditions and mode collapse. To address these issues, we propose a deep generative model that utilizes the Gromov-Monge embedding (GME). It helps identify the low-dimensional structure of the underlying measure of the data and then maps it, while preserving its geometry, into a measure in a low-dimensional latent space, which is then optimally transported to the reference measure. We guarantee the preservation of the underlying geometry by the GME and $c$-cyclical monotonicity of the generative map, where $c$ is an intrinsic embedding cost employed by the GME. The latter property is a first step in guaranteeing better robustness to initialization of parameters and mode collapse. Numerical experiments demonstrate the effectiveness of our approach in generating high-quality images, avoiding mode collapse, and exhibiting robustness to different starting conditions.


title: Diagnostics from polarization of scattered optical light from Galactic infrared cirrus

abstract: We propose polarization of scattered optical light from intermediate Galactic latitude infrared cirrus as a new diagnostic to constrain models of interstellar dust and the anisotropic interstellar radiation field (aISRF). For single scattering by a sphere, with Mie scattering phase functions for intensity and polarized intensity for a dust model at a given wavelength (Sloan $r$ and $g$ bands), and with models of anisotropic illumination from the entire sky (represented in HEALPix), we develop the formalism for calculating useful summary parameters for an integrated flux nebula (IFN): average of the phase function weighted by the illumination, polarization angle ($\psi$), and polarization fraction ($p$). To demonstrate the diagnostic discrimination of polarization from scattered light, we report on the effects of different anisotropic illumination models and different dust models on the summary parameters for the Spider IFN. The summary parameters are also sensitive to the IFN location, as we illustrate using FRaNKIE illumination models. For assessing the viability of dust and aISRF models, we find that observations of $\psi$ and $p$ of scattered light are indeed powerful new diagnostics to complement joint modeling of the intensity of scattered light (related to the average phase function) and the intensity of thermal dust emission. However, optically thin IFNs that can be modelled using single scattering are faint and $p$ is not large, as it could be with Rayleigh scattering, and so these observations need to be carried out with care and precision. Results for the Draco nebula compared to the Spider illustrate the challenge.


title: Analysis of tidal flows through the Strait of Gibraltar using Dynamic Mode Decomposition

abstract: The Strait of Gibraltar is a region characterized by intricate oceanic sub-mesoscale features, influenced by topography, tidal forces, instabilities, and nonlinear hydraulic processes, all governed by the nonlinear equations of fluid motion. In this study, we aim to uncover the underlying physics of these phenomena within 3D MIT general circulation model simulations, including waves, eddies, and gyres. To achieve this, we employ Dynamic Mode Decomposition (DMD) to break down simulation snapshots into Koopman modes, with distinct exponential growth/decay rates and oscillation frequencies. Our objectives encompass evaluating DMD's efficacy in capturing known features, unveiling new elements, ranking modes, and exploring order reduction. We also introduce modifications to enhance DMD's robustness, numerical accuracy, and robustness of eigenvalues. DMD analysis yields a comprehensive understanding of flow patterns, internal wave formation, and the dynamics of the Strait of Gibraltar, its meandering behaviors, and the formation of a secondary gyre, notably the Western Alboran Gyre, as well as the propagation of Kelvin and coastal-trapped waves along the African coast. In doing so, it significantly advances our comprehension of intricate oceanographic phenomena and underscores the immense utility of DMD as an analytical tool for such complex datasets, suggesting that DMD could serve as a valuable addition to the toolkit of oceanographers.


title: Vision-Language Foundation Models as Effective Robot Imitators

abstract: Recent progress in vision language foundation models has shown their ability to understand multimodal data and resolve complicated vision language tasks, including robotics manipulation. We seek a straightforward way of making use of existing vision-language models (VLMs) with simple fine-tuning on robotics data. To this end, we derive a simple and novel vision-language manipulation framework, dubbed RoboFlamingo, built upon the open-source VLMs, OpenFlamingo. Unlike prior works, RoboFlamingo utilizes pre-trained VLMs for single-step vision-language comprehension, models sequential history information with an explicit policy head, and is slightly fine-tuned by imitation learning only on language-conditioned manipulation datasets. Such a decomposition provides RoboFlamingo the flexibility for open-loop control and deployment on low-performance platforms. By exceeding the state-of-the-art performance with a large margin on the tested benchmark, we show RoboFlamingo can be an effective and competitive alternative to adapt VLMs to robot control. Our extensive experimental results also reveal several interesting conclusions regarding the behavior of different pre-trained VLMs on manipulation tasks. We believe RoboFlamingo has the potential to be a cost-effective and easy-to-use solution for robotics manipulation, empowering everyone with the ability to fine-tune their own robotics policy.


title: Collaborative Decision-Making and the k-Strong Price of Anarchy in Common Interest Games

abstract: The control of large-scale, multi-agent systems often entails distributing decision-making across the system components. However, with advances in communication and computation technologies, we can consider new collaborative decision-making paradigms that exist somewhere between centralized and distributed control. In this work, we seek to understand the benefits and costs of increased collaborative communication in multi-agent systems. We specifically study this in the context of common interest games in which groups of up to k agents can coordinate their actions in maximizing the common objective function. The equilibria that emerge in these systems are the k-strong Nash equilibria of the common interest game; studying the properties of these states can provide relevant insights into the efficacy of inter-agent collaboration. Our contributions come threefold: 1) provide bounds on how well k-strong Nash equilibria approximate the optimal system welfare, formalized by the k-strong price of anarchy, 2) study the run-time and transient performance of collaborative agent-based dynamics, and 3) consider the task of redesigning objectives for groups of agents which improve system performance. We study these three facets generally as well as in the context of resource allocation problems, in which we provide tractable linear programs that give tight bounds on the k-strong price of anarchy.


title: Sim2Real Bilevel Adaptation for Object Surface Classification using Vision-Based Tactile Sensors

abstract: In this paper, we address the Sim2Real gap in the field of vision-based tactile sensors for classifying object surfaces. We train a Diffusion Model to bridge this gap using a relatively small dataset of real-world images randomly collected from unlabeled everyday objects via the DIGIT sensor. Subsequently, we employ a simulator to generate images by uniformly sampling the surface of objects from the YCB Model Set. These simulated images are then translated into the real domain using the Diffusion Model and automatically labeled to train a classifier. During this training, we further align features of the two domains using an adversarial procedure. Our evaluation is conducted on a dataset of tactile images obtained from a set of ten 3D printed YCB objects. The results reveal a total accuracy of 81.9%, a significant improvement compared to the 34.7% achieved by the classifier trained solely on simulated images. This demonstrates the effectiveness of our approach. We further validate our approach using the classifier on a 6D object pose estimation task from tactile data.


title: Li-Yau Inequality and Liouville Property to a Semilinear Heat Equation on Riemannian Manifolds

abstract: This work deals with the Entire solutions of a nonlinear equation. The first part of this paper is devoted to investigation of the Liouville property on compact manifolds, which extends a result by Castorina-Mantegazza [4] for positive f. Secondly, we will turn to non-compact manifolds and prove a Liouville theorem under the assumptions of boundedness of the Ricci curvature from below, diffeomorphism of M with R^N and sub-criticality of p defined below. Finally, we also present simplified proofs of Yau's theorem for harmonic function and Gidas-Spruck's theorem for elliptic semilinear equation. Our proofs are based on Li-Yau type estimation for nonlinear equations.


title: Theory of transient chimeras in finite Sakaguchi-Kuramoto networks

abstract: Chimera states are a phenomenon in which order and disorder can co-exist within a network that is fully homogeneous. Precisely how transient chimeras emerge in finite networks of Kuramoto oscillators with phase-lag remains unclear. Utilizing an operator-based framework to study nonlinear oscillator networks at finite scale, we reveal the spatiotemporal impact of the adjacency matrix eigenvectors on the Sakaguchi-Kuramoto dynamics. We identify a specific condition for the emergence of transient chimeras in these finite networks: the eigenvectors of the network adjacency matrix create a combination of a zero phase-offset mode and low spatial frequency waves traveling in opposite directions. This combination of eigenvectors leads directly to the coherent and incoherent clusters in the chimera. This approach provides two specific analytical predictions: (1) a precise formula predicting the combination of connectivity and phase-lag that creates transient chimeras, (2) a mathematical procedure for rewiring arbitrary networks to produce transient chimeras.


title: Economical routes to size-specific assembly of self-closing structures

abstract: Self-assembly is one of the prevalent strategies used by living systems to fabricate ensembles of precision nanometer-scale structures and devices. The push for analogous approaches to create synthetic nanomaterials has led to the development of a large class of programmable crystalline structures. However, many applications require `self-limiting' assemblies, which autonomously terminate growth at a well-defined size and geometry. For example, curved architectures such as tubules, vesicles, or capsids can be designed to self-close at a particular size, symmetry, and topology. But developing synthetic strategies for self-closing assembly has been challenging, in part because such structures are prone to polymorphism that arises from thermal fluctuations of their local curvature, a problem that worsens with increased target size. Here we demonstrate a strategy to eliminate this source of polymorphism in self-closing assembly of tubules by increasing the assembly complexity. In the limit of single-component assembly, we find that thermal fluctuations allow the system to assemble nearby, off-target structures with varying widths, helicities, and chirality. By increasing the number of distinct components, we reduce the density of off-target states, thereby increasing the selectivity of a user-specified target structure to nearly 100%. We further show that by reducing the design constraints by targeting either the pitch or the width of tubules, fewer components are needed to reach complete selectivity. Combining experiments with theory, our results reveal an economical limit, which determines the minimum number of components that are required to create arbitrary assembly sizes with full selectivity. In the future, this approach could be extended to more complex self-limited structures, such as shells or triply periodic surfaces.


title: Modeling of liquid metal droplet deformation by laser impact

abstract: The method of sequential simulation of liquid metal droplet deformation by a laser pulse is considered. The first stage is the laser impact on a droplet. It was simulated using RALEF-2D code, based on the radiative gas dynamic model. The next stage is target deformation from a droplet to a disk. This part of simulation was carried out using OpenFOAM code where surface tension forces are taken into account. Good agreement with experimental results was obtained.


title: Ultra-Fast Generation of Air Shower Images for Imaging Air Cherenkov Telescopes using Generative Adversarial Networks

abstract: For the analysis of data taken by Imaging Air Cherenkov Telescopes (IACTs), a large number of air shower simulations are needed to derive the instrument response. The simulations are very complex, involving computational and memory-intensive calculations, and are usually performed repeatedly for different observation intervals to take into account the varying optical sensitivity of the instrument. The use of generative models based on deep neural networks offers the prospect for memory-efficient storing of huge simulation libraries and cost-effective generation of a large number of simulations in an extremely short time. In this work, we use Wasserstein Generative Adversarial Networks to generate photon showers for an IACT equipped with the FlashCam design, which has more than $1{,}500$ pixels. Using simulations of the H.E.S.S. experiment, we demonstrate the successful generation of high-quality IACT images. The analysis includes a comprehensive study of the generated image quality based on low-level observables and the well-known Hillas parameters that describe the shower shape. We demonstrate for the first time that the generated images have high fidelity with respect to low-level observables, the Hillas parameters, their physical properties, as well as their correlations. The found increase in generation speed in the order of $10^5$ yields promising prospects for fast and memory-efficient simulations of air showers for IACTs.


title: Can Language Models Be Tricked by Language Illusions? Easier with Syntax, Harder with Semantics

abstract: Language models (LMs) have been argued to overlap substantially with human beings in grammaticality judgment tasks. But when humans systematically make errors in language processing, should we expect LMs to behave like cognitive models of language and mimic human behavior? We answer this question by investigating LMs' more subtle judgments associated with "language illusions" -- sentences that are vague in meaning, implausible, or ungrammatical but receive unexpectedly high acceptability judgments by humans. We looked at three illusions: the comparative illusion (e.g. "More people have been to Russia than I have"), the depth-charge illusion (e.g. "No head injury is too trivial to be ignored"), and the negative polarity item (NPI) illusion (e.g. "The hunter who no villager believed to be trustworthy will ever shoot a bear"). We found that probabilities represented by LMs were more likely to align with human judgments of being "tricked" by the NPI illusion which examines a structural dependency, compared to the comparative and the depth-charge illusions which require sophisticated semantic understanding. No single LM or metric yielded results that are entirely consistent with human behavior. Ultimately, we show that LMs are limited both in their construal as cognitive models of human language processing and in their capacity to recognize nuanced but critical information in complicated language materials.


title: Millimeter-scale exfoliation of hBN with tunable flake thickness

abstract: As a two-dimensional (2D) dielectric material, hexagonal boron nitride (hBN) is in high demand for applications in photonics, nonlinear optics, and nanoelectronics. Unfortunately, the high-throughput preparation of macroscopic-scale, high-quality hBN flakes with controlled thickness is an ongoing challenge, limiting device fabrication and technological integration. Here, we present a metal thin-film exfoliation method to prepare hBN flakes with millimeter-scale dimension, near-unity yields, and tunable flake thickness distribution from 1-7 layers, a substantial improvement over scotch tape exfoliation. The single crystallinity and high quality of the exfoliated hBN are demonstrated with optical microscopy, atomic force microscopy, Raman spectroscopy, and second harmonic generation. We further explore a possible mechanism for the effectiveness and selectivity based on thin-film residual stress measurements, density functional theory calculations, and transmission electron microscopy imaging of the deposited metal films. We find that the magnitude of the residual tensile stress induced by thin film deposition plays a key role in determining exfoliated flake thickness in a manner which closely resembles 3D semiconductor spalling. Lastly, we demonstrate that our exfoliated, large-area hBN flakes can be readily incorporated as encapsulating layers for other 2D monolayers. Altogether, this method brings us one step closer to the high throughput, mass production of hBN-based 2D photonic, optoelectronic, and quantum devices.


title: Time-series Generation by Contrastive Imitation

abstract: Consider learning a generative model for time-series data. The sequential setting poses a unique challenge: Not only should the generator capture the conditional dynamics of (stepwise) transitions, but its open-loop rollouts should also preserve the joint distribution of (multi-step) trajectories. On one hand, autoregressive models trained by MLE allow learning and computing explicit transition distributions, but suffer from compounding error during rollouts. On the other hand, adversarial models based on GAN training alleviate such exposure bias, but transitions are implicit and hard to assess. In this work, we study a generative framework that seeks to combine the strengths of both: Motivated by a moment-matching objective to mitigate compounding error, we optimize a local (but forward-looking) transition policy, where the reinforcement signal is provided by a global (but stepwise-decomposable) energy model trained by contrastive estimation. At training, the two components are learned cooperatively, avoiding the instabilities typical of adversarial objectives. At inference, the learned policy serves as the generator for iterative sampling, and the learned energy serves as a trajectory-level measure for evaluating sample quality. By expressly training a policy to imitate sequential behavior of time-series features in a dataset, this approach embodies "generation by imitation". Theoretically, we illustrate the correctness of this formulation and the consistency of the algorithm. Empirically, we evaluate its ability to generate predictively useful samples from real-world datasets, verifying that it performs at the standard of existing benchmarks.


title: Infinite Atomized Semilattices

abstract: We extend the theory of atomized semilattices to the infinite setting. We show that it is well-defined and that every semilattice is atomizable. We also study atom redundancy, focusing on complete and finitely generated semilattices and show that for finitely generated semilattices, atomizations consisting exclusively of non-redundant atoms always exist.


title: On $S$-Noetherian modules and $S$-strong Mori modules

abstract: In this paper, we study some properties of $S$-Noetherian modules and $S$-strong Mori modules. Among other things, we prove the Hilbert basis theorem for $S$-Noetherian modules and $S$-strong Mori modules.


title: Transverse Momentum Distributions from Lattice QCD without Wilson Lines

abstract: The transverse-momentum-dependent distributions (TMDs), which are defined by gauge-invariant 3D parton correlators with staple-shaped lightlike Wilson lines, can be calculated from quark and gluon correlators fixed in the Coulomb gauge on a Euclidean lattice. These quantities can be expressed gauge-invariantly as the correlators of dressed fields in the Coulomb gauge, which reduce to the standard TMD correlators in the infinite boost limit. In the framework of Large-Momentum Effective Theory, a quasi-TMD defined from such correlators in a large-momentum hadron state can be matched to the TMD via a factorization formula, whose exact form is derived using Soft Collinear Effective Theory and verified at one-loop order. Compared to the currently used gauge-invariant quasi-TMDs, this new method can substantially improve statistical precision and simplify renormalization, thus providing a more efficient way to calculate TMDs in lattice QCD.


title: Spectroscopic measurement of the excitation spectrum on effectively curved spacetimes in a polaritonic fluid of light

abstract: Quantum fields in regions of extreme spacetime curvature give rise to a wealth of effects, like Hawking radiation at the horizon of black holes. While quantum field theory can only be studied theoretically in black holes, it can be tested in controlled laboratory experiments. Typically, a fluid accelerating from sub- to supersonic speed will create an effectively curved spacetime for the acoustic field, with an apparent horizon where the speed of the fluid equals the speed of sound. Here we create effective curved spacetimes with a quantum fluid of light, with smooth and steep acoustic horizons and various supersonic fluid speeds. We use a recently developed spectroscopy method to measure the spectrum of acoustic excitations on these spacetimes, thus observing negative energy modes in the supersonic regions. This demonstrates the potential of quantum fluids of light for the study of field theories on curved spacetimes.


title: Absence of barren plateaus in finite local-depth circuits with long-range entanglement

abstract: Ground state preparation is classically intractable for general Hamiltonians. On quantum devices, shallow parameterized circuits can be effectively trained to obtain short-range entangled states under the paradigm of variational quantum eigensolver, while deep circuits are generally untrainable due to the barren plateau phenomenon. In this Letter, we give a general lower bound on the variance of circuit gradients for arbitrary quantum circuits composed of local 2-designs. Based on our unified framework, we prove the absence of barren plateaus in training finite local-depth circuits (FLDC) for the ground states of local Hamiltonians. FLDCs are allowed to be deep in the conventional circuit depth to generate long-range entangled ground states, such as topologically ordered states, but their local depths are finite, i.e., there is only a finite number of gates acting on individual qubits. This characteristic sets FLDC apart from shallow circuits: FLDC in general cannot be classically simulated to estimate local observables efficiently by existing tensor network methods in two and higher dimensions. We validate our analytical results with extensive numerical simulations and demonstrate the effectiveness of variational training using the generalized toric code model.


title: Learning Realistic Traffic Agents in Closed-loop

abstract: Realistic traffic simulation is crucial for developing self-driving software in a safe and scalable manner prior to real-world deployment. Typically, imitation learning (IL) is used to learn human-like traffic agents directly from real-world observations collected offline, but without explicit specification of traffic rules, agents trained from IL alone frequently display unrealistic infractions like collisions and driving off the road. This problem is exacerbated in out-of-distribution and long-tail scenarios. On the other hand, reinforcement learning (RL) can train traffic agents to avoid infractions, but using RL alone results in unhuman-like driving behaviors. We propose Reinforcing Traffic Rules (RTR), a holistic closed-loop learning objective to match expert demonstrations under a traffic compliance constraint, which naturally gives rise to a joint IL + RL approach, obtaining the best of both worlds. Our method learns in closed-loop simulations of both nominal scenarios from real-world datasets as well as procedurally generated long-tail scenarios. Our experiments show that RTR learns more realistic and generalizable traffic simulation policies, achieving significantly better tradeoffs between human-like driving and traffic compliance in both nominal and long-tail scenarios. Moreover, when used as a data generation tool for training prediction models, our learned traffic policy leads to considerably improved downstream prediction metrics compared to baseline traffic agents. For more information, visit the project website: https://waabi.ai/rtr


title: A Cosmological Bootstrap for Resonant Non-Gaussianity

abstract: Recent progress has revealed a number of constraints that cosmological correlators and the closely related field-theoretic wavefunction must obey as a consequence of unitarity, locality, causality and the choice of initial state. When combined with symmetries, namely homogeneity, isotropy and scale invariance, these constraints enable one to compute large classes of simple observables, an approach known as (boostless) cosmological bootstrap. Here we show that it is possible to relax the restriction of scale invariance, if one retains a discrete scaling subgroup. We find an infinite class of solutions to the weaker bootstrap constraints and show that they reproduce and extend resonant non-Gaussianity, which arises in well-motivated models such as axion monodromy inflation. We find no evidence of the new non-Gaussian shapes in the Planck data. Intriguingly, our results can be re-interpreted as a deformation of the scale-invariant case to include a complex order of the total energy pole, or more evocatively interactions with a complex number of derivatives. We also discuss for the first time IR-divergent resonant contributions and highlight an inconsequential inconsistency in the previous literature.


title: $L^p$-cohomology for groups of isometries of Hadamard spaces

abstract: We show that a discrete group $\Gamma$ which admits a non-elementary isometric action on a Hadamard manifold of bounded negative curvature admits an isometric action on an $L^p$-space $V$ for some $p>1$ with $H^1(\Gamma,V)\not=0$.


title: Schubert matroids, Delannoy paths, and Speyer's invariant

abstract: We provide a combinatorial way of computing Speyer's $g$-polynomial on arbitrary Schubert matroids via the enumeration of certain Delannoy paths. We define a new statistic of a basis in a matroid, and express the $g$-polynomial of a Schubert matroid in terms of it and internal and external activities. Some surprising positivity properties of the $g$-polynomial of Schubert matroids are deduced from our expression. Finally, we combine our formulas with a fundamental result of Derksen and Fink to provide an algorithm for computing the $g$-polynomial of an arbitrary matroid.