title: A Riemannian Proximal Newton-CG Method

abstract: Recently, a Riemannian proximal Newton method has been developed for optimizing problems in the form of $\min_{x\in\mathcal{M}} f(x) + \mu \|x\|_1$, where $\mathcal{M}$ is a compact embedded submanifold and $f(x)$ is smooth. Although this method converges superlinearly locally, global convergence is not guaranteed. The existing remedy relies on a hybrid approach: running a Riemannian proximal gradient method until the iterate is sufficiently accurate and switching to the Riemannian proximal Newton method. This existing approach is sensitive to the switching parameter. This paper proposes a Riemannian proximal Newton-CG method that merges the truncated conjugate gradient method with the Riemannian proximal Newton method. The global convergence and local superlinear convergence are proven. Numerical experiments show that the proposed method outperforms other state-of-the-art methods.


title: Towards Principled Evaluations of Sparse Autoencoders for Interpretability and Control

abstract: Disentangling model activations into meaningful features is a central problem in interpretability. However, the absence of ground-truth for these features in realistic scenarios makes validating recent approaches, such as sparse dictionary learning, elusive. To address this challenge, we propose a framework for evaluating feature dictionaries in the context of specific tasks, by comparing them against \emph{supervised} feature dictionaries. First, we demonstrate that supervised dictionaries achieve excellent approximation, control, and interpretability of model computations on the task. Second, we use the supervised dictionaries to develop and contextualize evaluations of unsupervised dictionaries along the same three axes. We apply this framework to the indirect object identification (IOI) task using GPT-2 Small, with sparse autoencoders (SAEs) trained on either the IOI or OpenWebText datasets. We find that these SAEs capture interpretable features for the IOI task, but they are less successful than supervised features in controlling the model. Finally, we observe two qualitative phenomena in SAE training: feature occlusion (where a causally relevant concept is robustly overshadowed by even slightly higher-magnitude ones in the learned features), and feature over-splitting (where binary features split into many smaller, less interpretable features). We hope that our framework will provide a useful step towards more objective and grounded evaluations of sparse dictionary learning methods.


title: Three-dimensional Magneto-hydrodynamic Simulations of Core-collapse Supernovae: I. Hydrodynamic evolution and protoneutron star properties

abstract: We present results from three-dimensional, magnetohydrodynamic, core-collapse simulations of sixteen progenitors following until 0.5 s after bounce. We use non-rotating solar-metallicity progenitor models with zero-age main-sequence mass between 9 and 24 $M_{\odot}$. The examined progenitors cover a wide range of the compactness parameter including a peak around $23 M_{\odot}$. We find that neutrino-driven explosions occur for all models within 0.3 s after bounce. We also find that the properties of the explosions and the central remnants are well correlated with the compactness. Early shock evolution is sensitive to the mass accretion rate onto the central core, reflecting the density profile of the progenitor stars. The most powerful explosions with diagnostic explosion energy $E_{\rm exp} \sim 0.75 \times 10^{51}$ erg are obtained by 23 and 24 $M_{\odot}$ models, which have the highest compactness among the examined models. These two models exhibit spiral SASI motions during 150-230 ms after bounce preceding a runaway shock expansion and leave a rapidly rotating neutron star with spin periods $\sim 50$ ms. Our models predict the gravitational masses of the neutron star ranging between $1.22 M_{\odot}$ and $1.67 M_{\odot}$ and their spin periods 0.04-4 s. The number distribution of these values roughly matches observation. On the other hand, our models predict small hydrodynamic kick velocity (15-260 km/s), although they are still growing at the end of our simulations. Further systematic studies, including rotation and binary effects, as well as long-term simulations up to several seconds, will enable us to explore the origin of various core-collapse supernova explosions.


title: Microscopic investigation of wobbling motion in atomic nuclei using the triaxial projected shell model approach

abstract: A systematic investigation of the wobbling band structures observed in odd-mass nuclei of $^{161,163,165,167}$Lu, $^{167}$Ta $^{131}$Cs, $^{135}$Pr, $^{151}$Eu, $^{183}$Au, $^{133}$Ba, $^{105}$Pd, $^{133}$La, $^{187}$Au and $^{127}$Xe is performed using the triaxial projected shell model (TPSM) approach. It is demonstrated that all the studied band structures have transverse wobbling mode, except for $^{133}$La, $^{187}$Au (negative parity), $^{183}$Au (positive parity) and $^{127}$Xe nuclei where the wobbling frequency increases with spin, indicating that the collective motion has a longitudinal character. To elucidate further the wobbling nature of the band structures, electromagnetic transition probabilities have been evaluated and it is observed that inter-band transitions are dominated by $E2$ rather than $M1$ as expected for a typical signature partner band. It is shown that TPSM approach provides a reasonable description of all the measured properties of the studied nuclei.


title: A generic approach to homogenization of a diffusion driven by growing incompressible drift

abstract: We study how the resolvent-family of a diffusion behaves, as thedrift grows to infinity. The limit turns out to be a selfadjoint pseudo-resolvent.After reduction of the underlying Hilbert-space, this pseudo-resolvent becomesa resolvent to a strongly continuous semi-group of contractions. We prove thatthis semi-group is associated to some Hunt-process on some suitable state-space which is constructed from equivalence classes of the drifts trajectories.Finally, we show a distributional limit theorem for the accelerated diffusiontoward the associated Hunt process.


title: Orbifolded Elliptic Genera of Non-Compact Models

abstract: We revisit the flavored elliptic genus of the N=2 superconformal cigar model and generalize the analysis of the path integral result to the case of real central charge. It gives rise to a non-holomorphic modular covariant function generalizing completed mock modular forms. We also compute the genus for angular orbifolds of the cigar and Liouville theory and decompose it in terms of discrete and continuous contributions. The orbifolded elliptic genus at fractional level is a completed mock modular form with a shadow related to U$(1)$ modular invariants at rational radius squared. We take the limit of the orbifolded genera towards a weighted ground state index and carefully interpret the contributions. We stress that the orbifold cigar and Liouville theories have a maximal and a minimal radius, respectively.


title: Homogeneous spaces of semidirect products and finite Gelfand pairs

abstract: Let $K\leq H$ be two finite groups and let $C\leq A$ be two finite abelian groups, with $H$ acting on $A$ as a group of isomorphisms admitting $C$ as a $K$-invariant subgroup. We study the homogeneous space $X\coloneqq\left(H\ltimes A\right)/\left(K\ltimes C\right)$ and determine the decomposition of the permutation representation of $H\ltimes A$ acting on $X$. We then characterize when this is multiplicity-free, that is, when $\left(H\ltimes A,K\ltimes C\right)$ is a Gelfand pair. If this is the case, we explicitly calculate the corresponding spherical functions. From our general construction and related analysis, we recover Dunkl's results on the $q$-analog of the nonbinary Johnson scheme.


title: Reasoning about Interior Mutability in Rust using Library-Defined Capabilities

abstract: Existing automated verification techniques for safe Rust code rely on the strong type-system properties to reason about programs, especially to deduce which memory locations do not change (i.e., are framed) across function calls. However, these type guarantees do not hold in the presence of interior mutability (e.g., when interacting with any concurrent data structure). As a consequence, existing verification techniques for safe code such as Prusti and Creusot are either unsound or fundamentally incomplete if applied to this setting. In this work, we present the first technique capable of automatically verifying safe clients of existing interiorly mutable types. At the core of our approach, we identify a novel notion of implicit capabilities: library-defined properties that cannot be expressed using Rust's types. We propose new annotations to specify these capabilities and a first-order logic encoding suitable for program verification. We have implemented our technique in a verifier called Mendel and used it to prove absence of panics in Rust programs that make use of popular standard-library types with interior mutability, including Rc, Arc, Cell, RefCell, AtomicI32, Mutex and RwLock. Our evaluation shows that these library annotations are useful for verifying usages of real-world libraries, and powerful enough to require zero client-side annotations in many of the verified programs.


title: PromptMind Team at MEDIQA-CORR 2024: Improving Clinical Text Correction with Error Categorization and LLM Ensembles

abstract: This paper describes our approach to the MEDIQA-CORR shared task, which involves error detection and correction in clinical notes curated by medical professionals. This task involves handling three subtasks: detecting the presence of errors, identifying the specific sentence containing the error, and correcting it. Through our work, we aim to assess the capabilities of Large Language Models (LLMs) trained on a vast corpora of internet data that contain both factual and unreliable information. We propose to comprehensively address all subtasks together, and suggest employing a unique prompt-based in-context learning strategy. We will evaluate its efficacy in this specialized task demanding a combination of general reasoning and medical knowledge. In medical systems where prediction errors can have grave consequences, we propose leveraging self-consistency and ensemble methods to enhance error correction and error detection performance.


title: On Long Range Ising Models with Random Boundary Conditions

abstract: We consider polynomial long-range Ising models in one dimension, with ferromagnetic pair interactions decaying with power $2-\alpha$ (for $0 \leq \alpha < 1$), and prepared with randomly chosen boundary conditions. We show that at low temperatures in the thermodynamic limit the finite-volume Gibbs measures do not converge, but have a distributional limit, the so-called metastate. We find that there is a distinction between the values of $\alpha$ less than or larger than $\frac{1}{2}$. For moderate, or intermediate, decay $\alpha < \frac{1}{2}$, the metastate is very dispersed and supported on the set of all Gibbs measures, both extremal and non-extremal, whereas for slow decays $\alpha > \frac{1}{2}$ the metastate is still dispersed, but has its support just on the set of the two extremal Gibbs measures, the plus measure and the minus measure. The former, moderate decays case, appears to be new and is due to the occurrence of almost sure boundedness of the random variable which is the sum of all interaction (free) energies between random and ordered half-lines, when the decay is fast enough, but still slow enough to get a phase transition ($\alpha>0$); while the latter, slow decays case, is more reminiscent of and similar to the behaviour of higher-dimensional nearest-neighbour Ising models with diverging boundary (free) energies. We leave the threshold case $\alpha=\frac{1}{2}$ for further studies.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: OliVier: an Oil and Vinegar based cryptosystem

abstract: In this paper, we present OliVier a new Public Key Exchange cryptosystem that is based on a multivariate quadratic polynomial system: Oil & Vinegar polynomials together with fully quadratic ones. We describe its designing process, usage, complexity


title: |Vcs| determination and LFU test in charm decays at BESIII

abstract: In this talk, we present the recent results of charm physics from the BESIII experiment. It covers the studies of the pure leptonic and semi-leptonic decays of charmed hadrons, from which the |Vcs| are precisely determined and the LFU is tested.


title: ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles

abstract: We prove that Hamiltonicity in maximum-degree-3 grid graphs (directed or undirected) is ASP-complete, i.e., it has a parsimonious reduction from every NP search problem (including a polynomial-time bijection between solutions). As a consequence, given k Hamiltonian cycles, it is NP-complete to find another; and counting Hamiltonian cycles is #P-complete. If we require the grid graph's vertices to form a full $m \times n$ rectangle, then we show that Hamiltonicity remains ASP-complete if the edges are directed or if we allow removing some edges (whereas including all undirected edges is known to be easy). These results enable us to develop a stronger "T-metacell" framework for proving ASP-completeness of rectangular puzzles, which requires building just a single gadget representing a degree-3 grid-graph vertex. We apply this general theory to prove ASP-completeness of 38 pencil-and-paper puzzles where the goal is to draw a loop subject to given constraints: Slalom, Onsen-meguri, Mejilink, Detour, Tapa-Like Loop, Kouchoku, Icelom; Masyu, Yajilin, Nagareru, Castle Wall, Moon or Sun, Country Road, Geradeweg, Maxi Loop, Mid-loop, Balance Loop, Simple Loop, Haisu, Reflect Link, Linesweeper; Vertex/Touch Slitherlink, Dotchi-Loop, Ovotovata, Building Walk, Rail Pool, Disorderly Loop, Ant Mill, Koburin, Mukkonn Enn, Rassi Silai, (Crossing) Ichimaga, Tapa, Canal View, Aqre, and Paintarea. The last 14 of these puzzles were not even known to be NP-hard. Along the way, we prove ASP-completeness of some simple forms of Tree-Residue Vertex-Breaking (TRVB), including planar multigraphs with degree-6 breakable vertices, or with degree-4 breakable and degree-1 unbreakable vertices.


title: Weak well-posedness and weak discretization error for stable-driven SDEs with Lebesgue drift

abstract: We are interested in the discretization of stable driven SDEs with additive noise for $\alpha$ $\in$ (1, 2) and Lq -- Lp drift under the Serrin type condition $\alpha$/q + d/p < $\alpha$ -- 1. We show weak existence and uniqueness as well as heat kernel estimates for the SDE and obtain a convergence rate of order (1/$\alpha$)*($\alpha$ -- 1 -- $\alpha$/q - d/p) for the difference of the densities for the Euler scheme approximation involving suitably cutoffed and time randomized drifts.


title: Detecting and Handling Reflection Symmetries in Mixed-Integer (Nonlinear) Programming

abstract: Symmetries in mixed-integer (nonlinear) programs (MINLP), if not handled appropriately, are known to negatively impact the performance of (spatial) branch-and-bound algorithms. Usually one thus tries to remove symmetries from the problem formulation or is relying on a solver that automatically detects and handles symmetries. While modelers of a problem can handle various kinds of symmetries, automatic symmetry detection and handling is mostly restricted to permutation symmetries. This article therefore develops techniques such that also black-box solvers can automatically detect and handle a broader class of symmetries. Inspired from geometric packing problems such as the kissing number problem, we focus on reflection symmetries of MINLPs. We develop a generic and easily applicable framework that allows to automatically detect reflection symmetries for MINLPs. To handle this broader class of symmetries, we discuss generalizations of state-of-the-art methods for permutation symmetries, and develop dedicated symmetry handling methods for special reflection symmetry groups. Our symmetry detection framework has been implemented in the open-source solver SCIP and we provide a comprehensive discussion of the implementation. The article concludes with a detailed numerical evaluation of our symmetry handling methods when solving MINLPs.


title: CIER: A Novel Experience Replay Approach with Causal Inference in Deep Reinforcement Learning

abstract: In the training process of Deep Reinforcement Learning (DRL), agents require repetitive interactions with the environment. With an increase in training volume and model complexity, it is still a challenging problem to enhance data utilization and explainability of DRL training. This paper addresses these challenges by focusing on the temporal correlations within the time dimension of time series. We propose a novel approach to segment multivariate time series into meaningful subsequences and represent the time series based on these subsequences. Furthermore, the subsequences are employed for causal inference to identify fundamental causal factors that significantly impact training outcomes. We design a module to provide feedback on the causality during DRL training. Several experiments demonstrate the feasibility of our approach in common environments, confirming its ability to enhance the effectiveness of DRL training and impart a certain level of explainability to the training process. Additionally, we extended our approach with priority experience replay algorithm, and experimental results demonstrate the continued effectiveness of our approach.


title: On Instability Properties of the Fractional Calder\'{o}n Problem

abstract: We prove exponential instability properties for the fractional Calder\'on problem and the conductivity formulation of the fractional Calder\'on problem in the regime of fractional powers $s\in (0,1)$. We particularly focus on two settings: First, we discuss instability properties in general domain geometries with scaling critical $L^{\frac{n}{2s}}$ potentials and constant background metrics. Secondly, we investigate instability properties in general geometries with $L^{\frac{n}{2s}}$ potentials and low regularity, variable coefficient, possibly anisotropic background metrics. In both settings we make use of the methods introduced in \cite{KRS21} and we deduce strong compression estimates for the forward problem. In the first setting this is based on analytic smoothing estimates for a suitable comparison operator while in the second setting involving low regularity metrics this is based on an iterated compression gain. We thus generalize the results from \cite{RS18} to generic geometries and variable coefficients and further also discuss the setting of fractional conductivity equations. In particular, this proves that the logarithmic stability estimates for the fractional Calder\'on problem from \cite{RS20} are optimal.


title: Application of Probabilistic-bit in Precision Measurements

abstract: We propose a novel approach for precision measurement utilizing an ensemble of probabilistic bits (p-bits). This method leverages the inherent fluctuations of p-bits to achieve high sensitivity in various applications, including magnetic field sensing, temperature monitoring and timekeeping. The sensitivity scales proportionally to the square root of the total number of p-bits, enabling unprecedented accuracy with large ensembles. Furthermore, the robustness of this method against device imperfections and non-uniformity enhances its practicality and scalability. This work paves the way for a new paradigm in precision measurement, offering a cost-effective and versatile alternative to traditional methods.


title: Faithful Artin induction and the Chebotarev density theorem

abstract: Given a finite group G, we prove that the vector space spanned by the faithful irreducible characters of G is generated by the monomial characters in the vector space. As a consequence, we show that in any family of G-extensions of a fixed number field F, almost all are subject to a strong effective version of the Chebotarev density theorem. We use this version of the Chebotarev density theorem to deduce several consequences for class groups in families of number fields.


title: Group Dispersal Modelling revisited

abstract: In this paper we revisit the notion of grouped dispersal that have been introduced by Soubeyrand and co-authors \cite{soubeyrand2011patchy} to model the simultaneous (and hence dependent) dispersal of several propagules from a single source in a homogeneous environment. We built a time continuous measure valued process that takes into account the main feature of a grouped dispersal and derive its infinitesimal generator. To cope with the mutligeneration aspect associated to the demography we introduce two types of propagules in the description of the population which is one of the main innovations here. We also provide a rigorous description of the process and its generator. We derive as well, some large population asymptotics of the process unveilling the degenerate ultra parabolic system of PDE satisfied by the density of population. Finally, we also show that such a PDE system has a non-trivial solution which is unique in a certain functional space.


title: Regions of suppressed diffusion around supernova remnants?

abstract: The recent discovery of the so-called TeV halos has attracted much attention. The morphology of the emission requires that the region is characterized by severe suppression of the diffusion coefficient. This finding raises many questions as to its origin: 1) is the suppressed diffusion to be attributed to instabilities induced by the same radiating particles? 2) or does it actually show that the diffusion coefficient is small throughout the disc of the Galaxy? In both cases, one would expect that the surroundings of supernova remnants (SNRs) should also show evidence of reduced diffusion coefficient, since most remnants are located in the disc and are expected to be sites of effective particle acceleration. Should we expect the existence of regions of extended $\gamma$-ray emission from these regions as well? Here we investigate the transport of cosmic rays (CRs) escaped from SNRs in order to assess the viability of the idea of having a cocoon of suppressed diffusion around them. A comparison of our results with the $\gamma$-ray emission from the regions around HB9 and W28 does not provide solid evidence of reduced diffusivity. However, if indeed the phenomenon of reduced diffusivity occurs around SNRs surrounded by molecular clouds, our calculations show that the effects on the grammage of Galactic CRs can be significant.


title: Robust non-Abelian even-denominator fractional Chern insulator in twisted bilayer MoTe$_2$

abstract: A recent experiment observes a series of quantum spin Hall effects in transition metal dichalcogenide moir\'e MoTe$_2$ [K. Kang, \textit{et. al}, Nature 628, 522-526 (2024)]. Among them, the filling $\nu=3$ state points to a time-reversal pair of edge states resembling those of the even-denominator fractional Chern insulators (FCIs). Inspired by this discovery, we investigate whether a robust incompressible quantum Hall liquid can be stabilized in the half-filled Chern band of twisted MoTe$_2$ bilayers. We use the continuum model with parameters relevant to twisted MoTe$_2$ bilayers and obtain three consecutive nearly flat Chern bands with the same Chern number. Crucially, when the second moir\'e miniband is half-filled, signatures of non-Abelian states are found via exact diagonalization calculations, including the stable six-fold ground state degeneracy which grows more robust for larger lattice sizes and is consistent with an even-denominator FCI state. We further perform flux insertion simulations to reveal a 1/2 quantized many-body Chern number as direct evidence of topological order. Furthermore, the ground state density structure factors show no sharp peak, indicating no charge density wave order. These evidences signal the potential of realizing the non-Abelian state at zero magnetic field in twisted bilayer MoTe$_2$ at the fractional hole filling 3/2.


title: Quest for an efficient mathematical and computational method to explore optimal extreme weather modification

abstract: It is a grand challenge to find a feasible weather modification method to mitigate the impact of extreme weather events such as tropical cyclones. Previous works have proposed potentially effective actuators and assessed their capabilities to achieve weather modification objectives through numerical simulations. However, few studies have explored efficient mathematical and computational methods to inversely determine optimal actuators from specific modification goals. Here I demonstrate the utility of the ensemble Kalman filter (EnKF)-based control method, referred to as ensemble Kalman control (EnKC). The series of numerical experiments with the Lorenz 96 model indicates that EnKC efficiently identifies local, small, and intermittent control perturbations that can mitigate extreme events. The existing techniques of EnKF, such as background error covariance localization and observation error covariance inflation, can improve the sparsity and efficiency of the control. This work paves the way toward the real-world applications of EnKC to explore the controllability of extreme atmospheric events.


title: The Radio and Microwave Sky as Seen by Juno on its Mission to Jupiter

abstract: We present six nearly full-sky maps made from data taken by radiometers on the Juno satellite during its 5-year flight to Jupiter. The maps represent integrated emission over $\sim 4\%$ passbands spaced approximately in octaves between 600 MHz and 21.9 GHz. Long time-scale offset drifts are removed in all bands, and, for the two lowest frequency bands, gain drifts are also removed from the maps via a self-calibration algorithm similar to the NPIPE pipeline used by the Planck collaboration. We show that, after this solution is applied, residual noise in the maps is consistent with thermal radiometer noise. We verify our map solutions with several consistency tests and end-to-end simulations. We also estimate the level of pixelization noise and polarization leakage via simulations.


title: The Grushin problem for Bismut's hypoelliptic Laplacian

abstract: We study in this article the combined asymptoticanalysis of Bismut's hypoelliptic Laplacian, in the high friction b $\rightarrow$ 0+ and possibly low temperature h $\rightarrow$ 0+ regimes.


title: Weak solutions to the steady incompressible Euler equations with source terms

abstract: In this paper, we prove the non-uniqueness of stationary solutions to steady incompressible Euler equations with source terms. Based on the convex integration scheme developed by De Lellis and Sz\'{e}kelyhidi, the Euler system is reformulated as a differential inclusion. The key point is to construct the corresponding plane-wave solutions via high frequency perturbations. Then we use iteration and Baire category argument to conclude that there exist a large amount of weak solutions with given energy profile.


title: Cerebralization of mathematical quantities and physical features in neural science: a critical evaluation

abstract: At the turn of the 20th century, Henri Poincar{\'e} explained that geometry is a convention and that the properties of space and time are the properties of our measuring instruments. Intriguingly, numerous contemporary authors argue that space, time and even number are ''encoded'' within the brain, as a consequence of evolution, adaptation and natural selection. In the neuroscientific study of movement generation, the activity of neurons would ''encode'' kinematic parameters: when they emit action potentials, neurons would ''speak'' a language carrying notions of classical mechanics. In this article, we shall explain that the movement of a body segment is the ultimate product of a measurement, a filtered numerical outcome of multiple processes taking place in parallel in the central nervous system and converging on the groups of neurons responsible for muscle contractions. The fact that notions of classical mechanics efficiently describe movements does not imply their implementation in the inner workings of the brain. Their relevance to the question how the brain activity enables one to produce accurate movements is questioned within the framework of the neurophysiology of orienting gaze movements toward a visual target.


title: Neuromorphic Robust Estimation of Nonlinear Dynamical Systems Applied to Satellite Rendezvous

abstract: State estimation of nonlinear dynamical systems has long aimed to balance accuracy, computational efficiency, robustness, and reliability. The rapid evolution of various industries has amplified the demand for estimation frameworks that satisfy all these factors. This study introduces a neuromorphic approach for robust filtering of nonlinear dynamical systems: SNN-EMSIF (spiking neural network-extended modified sliding innovation filter). SNN-EMSIF combines the computational efficiency and scalability of SNNs with the robustness of EMSIF, an estimation framework designed for nonlinear systems with zero-mean Gaussian noise. Notably, the weight matrices are designed according to the system model, eliminating the need for a learning process. The framework's efficacy is evaluated through comprehensive Monte Carlo simulations, comparing SNN-EMSIF with EKF and EMSIF. Additionally, it is compared with SNN-EKF in the presence of modeling uncertainties and neuron loss, using RMSEs as a metric. The results demonstrate the superior accuracy and robustness of SNN-EMSIF. Further analysis of runtimes and spiking patterns reveals an impressive reduction of 85% in emitted spikes compared to possible spikes, highlighting the computational efficiency of SNN-EMSIF. This framework offers a promising solution for robust estimation in nonlinear dynamical systems, opening new avenues for efficient and reliable estimation in various industries that can benefit from neuromorphic computing.


title: Gaussian measure on the dual of $\mathrm{U}(N)$, random partitions, and topological expansion of the partition function

abstract: We study a Gaussian measure with parameter $q\in(0,1)$ on the dual of the unitary group of size $N$: we prove that a random highest weight under this measure is the coupling of two independent $q$-uniform random partitions $\alpha,\beta$ and a random highest weight of $\mathrm{U}(1)$. We prove deviation inequalities for the $q$-uniform measure, and use them to show that the coupling of random partitions under the Gaussian measure vanishes in the limit $N\to\infty$. We also prove that the partition function of this measure admits an asymptotic expansion in powers of $1/N$, and that this expansion is topological, in the sense that its coefficients are related to the enumeration of ramified coverings of elliptic curves. It provides a rigorous proof of the gauge/string duality for the Yang-Mills theory on a 2D torus with gauge group $\mathrm{U}(N),$ advocated by Gross and Taylor \cite{GT,GT2}.


title: Weak solutions to the steady compressible Euler equations with source terms

abstract: In this paper, we showed that for some given suitable density and pressure, there exist infinitely many compactly supported solutions with prescribed energy profile. The proof is mainly based on the convex integration scheme. We construct suitable subsolutions and localized plane-wave solutions to the reformulated system, and weak solutions are obtained by iterating these subsolutions.


title: Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs

abstract: The closed architecture of prevailing blockchain systems renders the usage of this technology mostly infeasible for a wide range of real-world problems. Most blockchains trap users and applications in their isolated space without the possibility of cooperating or switching to other blockchains. Therefore, blockchains need additional mechanisms for seamless communication and arbitrary data exchange between each other and external systems. Unfortunately, current approaches for cross-blockchain communication are resource-intensive or require additional blockchains or tailored solutions depending on the applied consensus mechanisms of the connected blockchains. Therefore, we propose an oracle with an off-chain aggregation mechanism based on ZeroKnowledge Succinct Non-interactive Arguments of Knowledge (zk-SNARKs) to facilitate cross-blockchain communication. The oracle queries data from another blockchain and applies a rollup-like mechanism to move state and computation off-chain. The zkOracle contract only expects the transferred data, an updated state root, and proof of the correct execution of the aggregation mechanism. The proposed solution only requires constant 378 kgas to submit data on the Ethereum blockchain and is primarily independent of the underlying technology of the queried blockchains.


title: Coupled-Band ESSFM for Low-Complexity DBP

abstract: We propose a novel digital backpropagation (DBP) technique that combines perturbation theory, subband processing, and splitting ratio optimization. We obtain 0.23 dB, 0.47 dB, or 0.91 dB gains w.r.t. dispersion compensation with only 74, 161, or 681 real multiplications/2D-symbol, improving significantly on existing DBP techniques.


title: Self-supervised contrastive learning unveils cortical folding pattern linked to prematurity

abstract: Brain folding patterns have been reported to carry clinically relevant information. The brain folds mainly during the last trimester of pregnancy, and the process might be durably disturbed by preterm birth. Yet little is known about preterm-specific patterns. In this work, we train a self-supervised model (SimCLR) on the UKBioBank cohort (21070 adults) to represent the right superior temporal sulcus (STS) region and apply it to sulci images of 374 babies from the dHCP database, containing preterms and full-terms, and acquired at 40 weeks post-menstrual age. We find a lower variability in the preterm embeddings, supported by the identification of a knob pattern, missing in the extremely preterm population.


title: Exploring the spatial segmentation of housing markets from online listings

abstract: The real estate market shows an inherent connection to space. Real estate agencies unevenly operate and specialize across space, price and type of properties, thereby segmenting the market into submarkets. We introduce here a methodology based on multipartite networks to detect the spatial segmentation emerging from data on housing online listings. Considering the spatial information of the listings, we build a bipartite network that connects agencies and spatial units. This bipartite network is projected into a network of spatial units, whose connections account for similarities in the agency ecosystem. We then apply clustering methods to this network to segment markets into spatially-coherent regions, which are found to be robust across different clustering detection algorithms, discretization of space and spatial scales, and across countries with case studies in France and Spain. This methodology addresses the long-standing issue of housing market segmentation, relevant in disciplines such as urban studies and spatial economics, and with implications for policymaking.


title: Exploring material compositions for synthesis using oxidation states

abstract: Recent advances in machine learning techniques have made it possible to use high-throughput screening to identify novel materials with specific properties. However, the large number of potential candidates produced by these techniques can make it difficult to select the most promising ones. In this study, we develop the oxidation state probability (OSP) method which evaluates ternary compounds based on the probability (the OSP metric) of each element to adopt the required oxidation states for fulfilling charge neutrality. We compare this model with Roost and the Fourier-transformed crystal properties (FTCP)-based synthesizability score. Among the top 1000 systems with the most database entries in Materials Project (MP), more than 500 systems exhibit an attested compound among the top 3 compositions when ranked by the OSP metric. We find that the OSP method shows promising results for certain classes of ternary systems, especially those containing nonmetals, s-block, or transition metals. When applied to the Cu-In-Te ternary system, an interesting system for thermoelectric applications, the OSP method predicted the synthesizability of CuIn$_3$Te$_5$ without prior knowledge, and we have successfully synthesized CuIn$_3$Te$_5$ in experiment. Our method has the potential to accelerate the discovery of novel compounds by providing a guide for experimentalists to easily select the most synthesizable candidates from an arbitrarily large set of possible chemical compositions.


title: Stylometric Watermarks for Large Language Models

abstract: The rapid advancement of large language models (LLMs) has made it increasingly difficult to distinguish between text written by humans and machines. Addressing this, we propose a novel method for generating watermarks that strategically alters token probabilities during generation. Unlike previous works, this method uniquely employs linguistic features such as stylometry. Concretely, we introduce acrostica and sensorimotor norms to LLMs. Further, these features are parameterized by a key, which is updated every sentence. To compute this key, we use semantic zero shot classification, which enhances resilience. In our evaluation, we find that for three or more sentences, our method achieves a false positive and false negative rate of 0.02. For the case of a cyclic translation attack, we observe similar results for seven or more sentences. This research is of particular of interest for proprietary LLMs to facilitate accountability and prevent societal harm.


title: Realtime Global Optimization of a Fail-Safe Emergency Stop Maneuver for Arbitrary Electrical / Electronical Failures in Automated Driving

abstract: In the event of a critical system failures in auto-mated vehicles, fail-operational or fail-safe measures provide minimum guarantees for the vehicle's performance, depending on which of its subsystems remain operational. Various such methods have been proposed which, upon failure, use different remaining sets of operational subsystems to execute maneuvers that bring the vehicle into a safe state under different environmental conditions. One particular such method proposes a fail-safe emergency stop system that requires no particular electric or electronic subsystem to be available after failure, and still provides a basic situation-dependent emergency stop maneuver. This is achieved by preemptively setting parameters to a hydraulic / mechanical system prior to failure, which after failure executes the preset maneuver "blindly". The focus of this paper is the particular challenge of implementing a lightweight planning algorithm that can cope with the complex uncertainties of the given task while still providing a globally optimal solution at regular intervals, based on the perceived and predicted environment of the automated vehicle.


title: Investigating the 'Autoencoder Behavior' in Speech Self-Supervised Models: a focus on HuBERT's Pretraining

abstract: Self-supervised learning has shown great success in Speech Recognition. However, it has been observed that finetuning all layers of the learned model leads to lower performance compared to resetting top layers. This phenomenon is attributed to the ''autoencoder'' behavior: top layers contain information closer to the input and are less suitable for tasks that require linguistic information, such as Speech Recognition.To better our understanding of this behavior, we propose to study the evolution of high-level information within the model during pretraining. We focus on the HuBERT model, which exhibits a less pronounced ''autoencoder'' behavior. By experimentally exploring various factors that may have an impact, we aim to improve the training procedure and enhance the top layers of HuBERT for high-level tasks.Furthermore, our experiments demonstrate that these improvements in the training procedure result in faster convergence and competitive performance on downstream tasks.


title: TFWT: Tabular Feature Weighting with Transformer

abstract: In this paper, we propose a novel feature weighting method to address the limitation of existing feature processing methods for tabular data. Typically the existing methods assume equal importance across all samples and features in one dataset. This simplified processing methods overlook the unique contributions of each feature, and thus may miss important feature information. As a result, it leads to suboptimal performance in complex datasets with rich features. To address this problem, we introduce Tabular Feature Weighting with Transformer, a novel feature weighting approach for tabular data. Our method adopts Transformer to capture complex feature dependencies and contextually assign appropriate weights to discrete and continuous features. Besides, we employ a reinforcement learning strategy to further fine-tune the weighting process. Our extensive experimental results across various real-world datasets and diverse downstream tasks show the effectiveness of TFWT and highlight the potential for enhancing feature weighting in tabular data analysis.


title: Genetic contribution of an advantaged mutant in the biparental Moran model -- finite selection

abstract: We consider a population of N individuals, whose dynamics through time is represented by a biparental Moran model with two types: an advantaged type and a disadvantaged type. The advantage is due to a mutation, transmitted in a Mendelian way from parent to child that reduces the death probability of individuals carrying it. We assume that initially this mutation is carried by a proportion a of individuals in the population. Once the mutation is fixed, a gene is sampled uniformly in the population, at a locus independent of the locus under selection. We then give the probability that this gene initially comes from an advantaged individual, i.e. the genetic contribution of these individuals, as a function of a and when the population size is large.


title: A constraint-based approach to function interpolation, with application to performance estimation for weakly convex optimisation

abstract: We propose a novel approach to obtain interpolation constraints for a wide range of function classes, i.e. necessary and sufficient constraints that a set of points, functions values and (sub)gradients must satisfy to ensure the existence of a global function of the class considered, consistent with this set. The derivation of such constraints is crucial for instance in the performance analysis of optimization methods, since obtaining a priori tight performance guarantees requires using a tight description of function classes of interest. Our method allows setting aside all analytic properties of the function class to work only at an algebraic level, and to easily obtain counterexamples when a condition characterizing a function class cannot serve as an interpolation constraint. As an illustration, we provide interpolation constraints for a class of non convex non smooth functions: weakly convex functions with bounded subgradients, and rely on these new interpolation constraints to outperform state of the art bounds on the performance of the subgradient method on this class.


title: Towards a Hybrid Digital Twin: Physics-Informed Neural Networks as Surrogate Model of a Reinforced Concrete Beam

abstract: In this study, we investigate the potential of fast-to-evaluate surrogate modeling techniques for developing a hybrid digital twin of a steel-reinforced concrete beam, serving as a representative example of a civil engineering structure. As surrogates, two distinct models are developed utilizing physics-informed neural networks, which integrate experimental data with given governing laws of physics. The experimental data (sensor data) is obtained from a previously conducted four-point bending test. The first surrogate model predicts strains at fixed locations along the center line of the beam for various time instances. This time-dependent surrogate model is inspired by the motion of a harmonic oscillator. For this study, we further compare the physics-based approach with a purely data-driven method, revealing the significance of physical laws for the extrapolation capabilities of models in scenarios with limited access to experimental data. Furthermore, we identify the natural frequency of the system by utilizing the physics-based model as an inverse solver. For the second surrogate model, we then focus on a fixed instance in time and combine the sensor data with the equations of linear elasticity to predict the strain distribution within the beam. This example reveals the importance of balancing different loss components through the selection of suitable loss weights.


title: Global existence of small data weak solutions to the semilinear wave equations with time-dependent scale-invariant damping

abstract: In this paper, we are concerned with the global existence of small data weak solutions to the $n-$dimensional semilinear wave equation $\partial_t^2u-\Delta u+\frac{\mu}{t}\partial_tu=|u|^p$ with time-dependent scale-invariant damping, where $n\geq 2$, $t\geq 1$, $\mu\in(0,1)\cup(1,2]$ and $p>1$. This equation can be changed into the semilinear generalized Tricomi equation $\partial_t^2u-t^m\Delta u=t^{\alpha(m)}|u|^p$, where $m=m(\mu)>0$ and $\alpha(m)\in\Bbb R$ are two suitable constants. At first, for the more general semilinear Tricomi equation $\partial_t^2v-t^m\Delta v=t^{\alpha}|v|^p$ with any fixed constant $m>0$ and arbitrary parameter $\alpha\in\Bbb R$, we shall show that in the case of $\alpha\leq -2$, $n\geq 3$ and $p>1$, the small data weak solution $v$ exists globally; in the case of $\alpha>-2$, through determining the conformal exponent $p_{conf}(n,m,\alpha)>1$, the global small data weak solution $v$ exists when some extra restrictions of $p\geq p_{conf}(n,m,\alpha)$ are given. Returning to the original equation $\partial_t^2u-\Delta u+\frac{\mu}{t}\partial_tu=|u|^p$, the corresponding global existence results on the small data solution $u$ can be obtained.


title: An ALCHEMI inspection of sulphur-bearing species towards the central molecular zone of NGC 253

abstract: Sulphur-bearing species are detected in various environments within Galactic star-forming regions and are particularly abundant in the gas phase of outflows and shocks, and photo-dissociation regions. In this work, we aim to investigate the nature of the emission from the most common sulphur-bearing species observable at millimetre wavelengths towards the nuclear starburst of the galaxy NGC 253. We intend to understand which type of regions are probed by sulphur-bearing species and which process(es) dominate(s) the release of sulphur into the gas phase. We used the high-angular resolution (1.6" or 27 pc) observations from the ALCHEMI ALMA Large Program to image several sulphur-bearing species towards the central molecular zone (CMZ) of NGC 253. We performed local thermodynamic equilibrium (LTE) and non-LTE large velocity gradient (LVG) analyses to derive the physical conditions of the gas in which S-bearing species are emitted, and their abundance ratios across the CMZ. Finally, we compared our results with previous ALCHEMI studies and a few selected Galactic environments. We found that not all sulphur-bearing species trace the same type of gas: strong evidence indicates that H2S and part of the emission of OCS, H2CS, and SO, are tracing shocks whilst part of SO and CS emission rather trace the dense molecular gas. For some species, such as CCS and SO2, we could not firmly conclude on their origin of emission. The present analysis indicates that the emission from most sulphur-bearing species throughout the CMZ is likely dominated by shocks associated with ongoing star formation. In the inner part of the CMZ where the presence of super star clusters was previously indicated, we could not distinguish between shocks or thermal evaporation as the main process releasing the S-bearing species.


title: Bifurcation analysis of a two-neuron central pattern generator model for both oscillatory and convergent neuronal activities

abstract: The neural oscillator model proposed by Matsuoka is a piecewise affine system, which exhibits distinctive periodic solutions. Although such typical oscillation patterns have been widely studied, little is understood about the dynamics of convergence to certain fixed points and bifurcations between the periodic orbits and fixed points in this model. We performed fixed point analysis on a two-neuron version of the Matsuoka oscillator model, the result of which explains the mechanism of oscillation and the discontinuity-induced bifurcations such as subcritical/supercritical Hopf-like, homoclinic-like, and grazing bifurcations. Furthermore, it provided theoretical predictions concerning a logarithmic oscillation-period scaling law and noise-induced oscillations, which are both observed around those bifurcations. These results are expected to underpin further investigations into both oscillatory and transient neuronal activities with respect to central pattern generators.


title: Classification of closed conformally flat Lorentzian manifolds with unipotent holonomy

abstract: We classify closed, conformally flat Lorentzian manifolds of dimension $n \geq 3$ with unipotent holonomy in PO(2,n). They are all Kleinian and fall into four different geometric types according to the intersection of the image of the developing map with a holonomy-invariant isotropic flag. They are homeomorphic to $S^{n-1} \times S^1$ or a nilmanifold of degree at most three, up to a finite cover. We classify those admitting an essential conformal flow; these fall into two geometric types, both homeomorphic to $S^{n-1} \times S^1$ up to finite cover.


title: Large-Scale Metric Computation in Online Controlled Experiment Platform

abstract: Online controlled experiment (also called A/B test or experiment) is the most important tool for decision-making at a wide range of data-driven companies like Microsoft, Google, Meta, etc. Metric computation is the core procedure for reaching a conclusion during an experiment. With the growth of experiments and metrics in an experiment platform, computing metrics efficiently at scale becomes a non-trivial challenge. This work shows how metric computation in WeChat experiment platform can be done efficiently using bit-sliced index (BSI) arithmetic. This approach has been implemented in a real world system and the performance results are presented, showing that the BSI arithmetic approach is very suitable for large-scale metric computation scenarios.


title: Compact bilinear operators and paraproducts revisited

abstract: We present a new proof of the compactness of bilinear paraproducts with CMO symbols. By drawing an analogy to compact linear operators, we first explore further properties of compact bilinear operators on Banach spaces and present examples. We then prove compactness of bilinear paraproducts with CMO symbols by combining one of the properties of compact bilinear operators thus obtained with vanishing Carleson measure estimates and interpolation of bilinear compactness.


title: Bootstrapping Lagrangian Perturbation Theory for the Large Scale Structure

abstract: We develop a model-independent approach to lagrangian perturbation theory for the large scale structure of the universe. We focus on the displacement field for dark matter particles, and derive its most general structure without assuming a specific form for the equations of motion, but implementing a set of general requirements based on symmetry principles and consistency with the perturbative approach. We present explicit results up to sixth order, and provide an algorithmic procedure for arbitrarily higher orders. The resulting displacement field is expressed as an expansion in operators built up from the linear density field, with time-dependent coefficients that can be obtained, in a specific model, by solving ordinary differential equations. The derived structure is general enough to cover a wide spectrum of models beyond $\Lambda$CDM, including modified gravity scenarios of the Hordenski type and models with multiple dark matter species. This work is a first step towards a complete model-independent lagrangian forward model, to be employed in cosmological analyses with power spectrum and bispectrum, other summary statistics, and field-level inference.


title: ICO learning as a measure of transient chaos in PT-symmetric Li\'enard systems

abstract: In this article, we investigate the implications of the unsupervised learning rule known as Input-Correlations (ICO) learning in the nonlinear dynamics of two linearly coupled PT-symmetric Li\'enard oscillators. The fixed points of the oscillator have been evaluated analytically and the Jacobian linearization is employed to study their stability. We find that on increasing the amplitude of the external periodic drive, the system exhibits period-doubling cascade to chaos within a specific parametric regime wherein we observe emergent chaotic dynamics. We further notice that the system indicates an intermittency route to chaos in the chaotic regime. Finally, in the period-4 regime of our bifurcation analysis, we predict the emergence of transient chaos which eventually settles down to a period-2 oscillator response which has been further validated by both the maximal Finite-Time Lyapunov Exponent (FTLE) using the well-known Gram-Schmidt orthogonalization technique and the Hilbert Transform of the time-series. In the transiently chaotic regime, we deploy the ICO learning to analyze the time-series from which we identify that when the chaotic evolution transforms into periodic dynamics, the synaptic weight associated with the time-series of the loss oscillator exhibits stationary temporal evolution. This signifies that in the periodic regime, there is no overlap between the filtered signals obtained from the time-series of the coupled PT-symmetric oscillators. In addition, the temporal evolution of the weight associated with the stimulus mimics the behaviour of the Hilbert transform of the time-series.


title: On the transcendentality condition for Gaussian Gabor frames

abstract: We give a criterion for higher-dimensional Gaussian Gabor frames, which is a reformulation of one of the main results in a previous article by the first and last authors in more explicit terms. We also show that this density criterion for Gaussian Gabor frames is generic in a certain sense.


title: Compact $T(1)$ theorem \`a la Stein

abstract: We prove a compact $T(1)$ theorem, involving quantitative estimates, analogous to the quantitative classical $T(1)$ theorem due to Stein. We also discuss the $C_c^\infty$-to-$CMO$ mapping properties of non-compact Calder\'on-Zygmund operators.


title: Simple and Efficient Quantization Techniques for Neural Speech Coding

abstract: Neural audio coding has emerged as a vivid research direction by promising good audio quality at very low bitrates unachievable by classical coding techniques. Here, end-to-end trainable autoencoder-like models represent the state of the art, where a discrete representation in the bottleneck of the autoencoder has to be learned that allows for efficient transmission of the input audio signal. This discrete representation is typically generated by applying a quantizer to the output of the neural encoder. In almost all state-of-the-art neural audio coding approaches, this quantizer is realized as a Vector Quantizer (VQ) and a lot of effort has been spent to alleviate drawbacks of this quantization technique when used together with a neural audio coder. In this paper, we propose simple alternatives to VQ, which are based on projected Scalar Quantization (SQ). These quantization techniques do not need any additional losses, scheduling parameters or codebook storage thereby simplifying the training of neural audio codecs. Furthermore, we propose a new causal network architecture for neural speech coding that shows good performance at very low computational complexity.


title: The Stiffness of 3-PRS PM Across Parasitic and Orientational Workspace

abstract: This study investigates the stiffness characteristics of the Sprint Z3 head, also known as 3-PRS Parallel Kinematics Machines, which are among the most extensively researched and viably successful manipulators for precision machining applications. Despite the wealth of research on these robotic manipulators, no previous work has demonstrated their stiffness performance within the parasitic motion space. Such an undesired motion influences their stiffness properties, as stiffness is configuration-dependent. Addressing this gap, this paper develops a stiffness model that accounts for both the velocity-level parasitic motion space and the regular workspace. Numerical simulations are provided to illustrate the stiffness characteristics of the manipulator across all considered spaces. The results indicate that the stiffness profile within the parasitic motion space is both shallower and the values are smaller when compared to the stiffness distribution across the orientation workspace. This implies that evaluating a manipulator's performance adequately requires assessing its ability to resist external loads during parasitic motion. Therefore, comprehending this aspect is crucial for redesigning components to enhance overall stiffness.


title: WaterMamba: Visual State Space Model for Underwater Image Enhancement

abstract: Underwater imaging often suffers from low quality due to factors affecting light propagation and absorption in water. To improve image quality, some underwater image enhancement (UIE) methods based on convolutional neural networks (CNN) and Transformer have been proposed. However, CNN-based UIE methods are limited in modeling long-range dependencies, and Transformer-based methods involve a large number of parameters and complex self-attention mechanisms, posing efficiency challenges. Considering computational complexity and severe underwater image degradation, a state space model (SSM) with linear computational complexity for UIE, named WaterMamba, is proposed. We propose spatial-channel omnidirectional selective scan (SCOSS) blocks comprising spatial-channel coordinate omnidirectional selective scan (SCCOSS) modules and a multi-scale feedforward network (MSFFN). The SCOSS block models pixel and channel information flow, addressing dependencies. The MSFFN facilitates information flow adjustment and promotes synchronized operations within SCCOSS modules. Extensive experiments showcase WaterMamba's cutting-edge performance with reduced parameters and computational resources, outperforming state-of-the-art methods on various datasets, validating its effectiveness and generalizability. The code will be released on GitHub after acceptance.


title: Stabilization of lead-free bulk CsSnI$_3$ perovskite thermoelectrics via incorporating of TiS$_3$ nanoribbon clusters

abstract: The intense research for efficient low-temperature thermoelectric materials motivates the exploration of innovative compounds and composite systems. This study examines the effects of integrating low-dimensional titanium trisulfide (TiS$_3$) into bulk tin-based halide perovskites (CsSnI$_3$) for use in thermoelectric applications. The addition of small amounts of two-dimensional titanium trisulfide (TiS$_3$) to bulk tin-based halide perovskites (CsSnI$_3$) significantly enhanced the structural stability of the composite material and suppressed oxidation processes. The CsSnI$_3$-TiS$_3$ composites demonstrated stabilization of temperature-dependent electrical properties (conductivity and Seebeck coefficient). This study provides valuable insights into the promising approach of using low-dimensional TiS3 as an additive to stabilize the thermoelectric performance of CsSnI$_3$.


title: Faster algorithms for the alignment of sparse correlated Erd\"os-R\'enyi random graphs

abstract: The correlated Erd\"os-R\'enyi random graph ensemble is a probability law on pairs of graphs with $n$ vertices, parametrized by their average degree $\lambda$ and their correlation coefficient $s$. It can be used as a benchmark for the graph alignment problem, in which the labels of the vertices of one of the graphs are reshuffled by an unknown permutation; the goal is to infer this permutation and thus properly match the pairs of vertices in both graphs. A series of recent works has unveiled the role of Otter's constant $\alpha$ (that controls the exponential rate of growth of the number of unlabeled rooted trees as a function of their sizes) in this problem: for $s>\sqrt{\alpha}$ and $\lambda$ large enough it is possible to recover in a time polynomial in $n$ a positive fraction of the hidden permutation. The exponent of this polynomial growth is however quite large and depends on the other parameters, which limits the range of applications of the algorithm. In this work we present a family of faster algorithms for this task, show through numerical simulations that their accuracy is only slightly reduced with respect to the original one, and conjecture that they undergo, in the large $\lambda$ limit, phase transitions at modified Otter's thresholds $\sqrt{\widehat{\alpha}}>\sqrt{\alpha}$, with $\widehat{\alpha}$ related to the enumeration of a restricted family of trees.

categories: cond-mat.dis-nn cs.DS math.PR math.ST stat.TH


title: Hereditary undecidability of fragments of some elementary theories

abstract: It is well known that whenever a class of structures $\mathcal{K}_1$ is interpretable in a class of structures $\mathcal{K}_2$, then the hereditary undecidability of (a fragment of) the theory of $\mathcal{K}_1$ implies the hereditary undecidability of (a suitable fragment of) the theory of $\mathcal{K}_2$. In the present paper, we construct a $\Sigma_1$-interpretation of the class of all finite bipartite graphs in the class of all pairs of equivalence relations on the same finite domain; from this we obtain the hereditary undecidability of the $\Sigma_2$-theory of the second class. Next, we construct a $\Sigma_1$-interpretation of the class of all pairs of equivalence relations on the same finite domain in the class of all pairs consisting of a linear ordering and an equivalence relation on the same finite domain; this gives us the hereditary undecidability of the $\Sigma_2$-theory of the second class. The corresponding results are, in a sense, optimal, since the $\Pi_2$-theories of the classes under consideration are decidable. Keywords: undecidability, elementary theories, prefix fragments


title: NAFRSSR: a Lightweight Recursive Network for Efficient Stereo Image Super-Resolution

abstract: Stereo image super-resolution (SR) refers to the reconstruction of a high-resolution (HR) image from a pair of low-resolution (LR) images as typically captured by a dual-camera device. To enhance the quality of SR images, most previous studies focused on increasing the number and size of feature maps and introducing complex and computationally intensive structures, resulting in models with high computational complexity. Here, we propose a simple yet efficient stereo image SR model called NAFRSSR, which is modified from the previous state-of-the-art model NAFSSR by introducing recursive connections and lightweighting the constituent modules. Our NAFRSSR model is composed of nonlinear activation free and group convolution-based blocks (NAFGCBlocks) and depth-separated stereo cross attention modules (DSSCAMs). The NAFGCBlock improves feature extraction and reduces number of parameters by removing the simple channel attention mechanism from NAFBlock and using group convolution. The DSSCAM enhances feature fusion and reduces number of parameters by replacing 1x1 pointwise convolution in SCAM with weight-shared 3x3 depthwise convolution. Besides, we propose to incorporate trainable edge detection operator into NAFRSSR to further improve the model performance. Four variants of NAFRSSR with different sizes, namely, NAFRSSR-Mobile (NAFRSSR-M), NAFRSSR-Tiny (NAFRSSR-T), NAFRSSR-Super (NAFRSSR-S) and NAFRSSR-Base (NAFRSSR-B) are designed, and they all exhibit fewer parameters, higher PSNR/SSIM, and faster speed than the previous state-of-the-art models. In particular, to the best of our knowledge, NAFRSSR-M is the lightest (0.28M parameters) and fastest (50 ms inference time) model achieving an average PSNR/SSIM as high as 24.657 dB/0.7622 on the benchmark datasets. Codes and models will be released at https://github.com/JNUChenYiHong/NAFRSSR.


title: Tackling Prevalent Conditions in Unsupervised Combinatorial Optimization: Cardinality, Minimum, Covering, and More

abstract: Combinatorial optimization (CO) is naturally discrete, making machine learning based on differentiable optimization inapplicable. Karalias & Loukas (2020) adapted the probabilistic method to incorporate CO into differentiable optimization. Their work ignited the research on unsupervised learning for CO, composed of two main components: probabilistic objectives and derandomization. However, each component confronts unique challenges. First, deriving objectives under various conditions (e.g., cardinality constraints and minimum) is nontrivial. Second, the derandomization process is underexplored, and the existing derandomization methods are either random sampling or naive rounding. In this work, we aim to tackle prevalent (i.e., commonly involved) conditions in unsupervised CO. First, we concretize the targets for objective construction and derandomization with theoretical justification. Then, for various conditions commonly involved in different CO problems, we derive nontrivial objectives and derandomization to meet the targets. Finally, we apply the derivations to various CO problems. Via extensive experiments on synthetic and real-world graphs, we validate the correctness of our derivations and show our empirical superiority w.r.t. both optimization quality and speed.


title: Rogers-Ramanujan identities in Statistical Mechanics

abstract: We describe the story of the Rogers-Ramanujan identities; being known for 85 years and having about 130 pure mathematics proofs, suddenly entering physics when Rodney Baxter solved the Hard Hexagon Model in Statistical Mechanics in 1980. We next cover the accompanying proofs by George E Andrews of other related Baxter identities arisen of Rogers-Ramanujan type, leading into a new flourishing partnership of Physics and Mathematics. Our narrative goes into the subsequent 44 years, explaining the progress in physics and mathematical analysis. Finally we show some related crossovers with regard to the Elliptic q-gamma function and some Vector Partition generating functional equations; the latter of which may be new. The present paper is essentially chapter 11 of a 32 chapter book to appear in June 2024.


title: On the universal and generalized orbifold Euler characteristics

abstract: We discuss the universal orbifold Euler characteristic and generalized orbifold Euler characteristics corresponding to finitely generated groups $A$ (the $A$-Euler characteristics). We show that the collection of all $A$-Euler characteristics for $A$ of the form $A'\times Z$ ($Z$ is the group of integers) with finite $A'$ determine the universal orbifold Euler characteristic.


title: Impact of Stickers on Multimodal Chat Sentiment Analysis and Intent Recognition: A New Task, Dataset and Baseline

abstract: Stickers are increasingly used in social media to express sentiment and intent. When finding typing troublesome, people often use a sticker instead. Despite the significant impact of stickers on sentiment analysis and intent recognition, little research has been conducted. To address this gap, we propose a new task: Multimodal chat Sentiment Analysis and Intent Recognition involving Stickers (MSAIRS). Additionally, we introduce a novel multimodal dataset containing Chinese chat records and stickers excerpted from several mainstream social media platforms. Our dataset includes paired data with the same text but different stickers, and various stickers consisting of the same images with different texts, allowing us to better understand the impact of stickers on chat sentiment and intent. We also propose an effective multimodal joint model, MMSAIR, for our task, which is validated on our datasets and indicates that visual information of stickers counts. Our dataset and code will be publicly available.


title: A Low-Power Spike Detector Using In-Memory Computing for Event-based Neural Frontend

abstract: With the sensor scaling of next-generation Brain-Machine Interface (BMI) systems, the massive A/D conversion and analog multiplexing at the neural frontend poses a challenge in terms of power and data rates for wireless and implantable BMIs. While previous works have reported the neuromorphic compression of neural signal, further compression requires integration of spike detectors on chip. In this work, we propose an efficient HRAM-based spike detector using In-memory computing for compressive event-based neural frontend. Our proposed method involves detecting spikes from event pulses without reconstructing the signal and uses a 10T hybrid in-memory computing bitcell for the accumulation and thresholding operations. We show that our method ensures a spike detection accuracy of 92-99% for neural signal inputs while consuming only 13.8 nW per channel in 65 nm CMOS.


title: TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection

abstract: Robust road surface estimation is required for autonomous ground vehicles to navigate safely. Despite it becoming one of the main targets for autonomous mobility researchers in recent years, it is still an open problem in which cameras and LiDAR sensors have demonstrated to be adequate to predict the position, size and shape of the road a vehicle is driving on in different environments. In this work, a novel Convolutional Neural Network model is proposed for the accurate estimation of the roadway surface. Furthermore, an ablation study has been conducted to investigate how different encoding strategies affect model performance, testing 6 slightly different neural network architectures. Our model is based on the use of a Twin Encoder-Decoder Neural Network (TEDNet) for independent camera and LiDAR feature extraction, and has been trained and evaluated on the Kitti-Road dataset. Bird's Eye View projections of the camera and LiDAR data are used in this model to perform semantic segmentation on whether each pixel belongs to the road surface. The proposed method performs among other state-of-the-art methods and operates at the same frame-rate as the LiDAR and cameras, so it is adequate for its use in real-time applications.


title: Conformal product structures on compact K\"ahler manifolds

abstract: A conformal product structure on a Riemannian manifold is a Weyl connection with reducible holonomy. We give the geometric description of all compact K\"ahler manifolds admitting conformal product structures


title: Similarity Metrics for MR Image-To-Image Translation

abstract: Image-to-image translation can create large impact in medical imaging, for instance the possibility to synthetically transform images to other modalities, sequence types, higher resolutions or lower noise levels. In order to assure a high level of patient safety, these methods are mostly validated by human reader studies, which require a considerable amount of time and costs. Quantitative metrics have been used to complement such studies and to provide reproducible and objective assessment of synthetic images. Even though the SSIM and PSNR metrics are extensively used, they do not detect all types of errors in synthetic images as desired. Other metrics could provide additional useful evaluation. In this study, we give an overview and a quantitative analysis of 15 metrics for assessing the quality of synthetically generated images. We include 11 full-reference metrics (SSIM, MS-SSIM, CW-SSIM, PSNR, MSE, NMSE, MAE, LPIPS, DISTS, NMI and PCC), three non-reference metrics (BLUR, MLC, MSLC) and one downstream task segmentation metric (DICE) to detect 11 kinds of typical distortions and artifacts that occur in MR images. In addition, we analyze the influence of four prominent normalization methods (Minmax, cMinmax, Zscore and Quantile) on the different metrics and distortions. Finally, we provide adverse examples to highlight pitfalls in metric assessment and derive recommendations for effective usage of the analyzed similarity metrics for evaluation of image-to-image translation models.


title: Hochster's type formulae

abstract: We give an elementary proof and generalize some Hochsters's type formulae on local cohomology and Ext's of squarefree modules


title: On finite groups in which the twisted conjugacy classes of the unit element are subgroups

abstract: We consider groups $G$ such that the set $[G,\varphi]=\{g^{-1}g^{\varphi}|g\in G\}$ is a subgroup for every automorphism $\varphi$ of $G$, and we prove that there exists such a group $G$ that is finite and nilpotent of class $n$ for every $n\in\mathbb N$. Then there exists an infinite nonnilpotent group with the above property and the conjecture 18.14 of $[5]$ is false.


title: TP3M: Transformer-based Pseudo 3D Image Matching with Reference

abstract: Image matching is still challenging in such scenes with large viewpoints or illumination changes or with low textures. In this paper, we propose a Transformer-based pseudo 3D image matching method. It upgrades the 2D features extracted from the source image to 3D features with the help of a reference image and matches to the 2D features extracted from the destination image by the coarse-to-fine 3D matching. Our key discovery is that by introducing the reference image, the source image's fine points are screened and furtherly their feature descriptors are enriched from 2D to 3D, which improves the match performance with the destination image. Experimental results on multiple datasets show that the proposed method achieves the state-of-the-art on the tasks of homography estimation, pose estimation and visual localization especially in challenging scenes.


title: Duality and Black Hole Evaporation

abstract: We construct a model that describes the quantum black hole evaporation unitarily in a Hilbert space of infinite dimension. This construction generalizes Page's finite dimensional approach to infinite dimensions. The basic ingredient is the Murray-von Neumann coupling for finite type II factors. This coupling measures, at each time of the evaporation, the relative continuous dimension of the radiation and the black hole subspaces. The unitary transformation, implementing the quantum evaporation and thus determining the time dependence of the coupling, is identified with the dual modular automorphism. In the appendix we sketch, using von Neumann construction of infinite tensor products of EPR pairs of q-bits, some q-bit holographic correspondences as well as an algebraic definition of ER bridges.


title: General amplitude of near-threshold hadron scattering for exotic hadrons

abstract: We discuss the general behavior of the scattering amplitude with channel couplings near the two-body threshold. It is known that the Flatt\'{e} amplitude, which is often used in the analysis of experimental data involving exotic hadrons, has some constraint in the near-threshold energy region. While the M-matrix gives the general expression of the scattering amplitude, it is not smoothly connected to the Flatt\'{e} amplitude, due to the property of the determinant of the amplitude in channel space. In this paper, based on the effective field theory, we propose new parametrization of the scattering amplitude which gives the general expression near the threshold and has a well-defined limit reproducing the Flatt\'{e} amplitude. We show that the nonresonant background contribution exists in the general amplitude even in the first order in the momentum. Finally, we quantitatively evaluate the cross sections by changing the strength of the background contribution. We find that the interference with the background term may induce a dip structure of the cross section near the threshold, in addition to the peak and threshold cusp structures.


title: Stabilization and dynamics of magnetic antivortices in a nanodisk with anisotropic Dzyaloshinskii-Moriya interaction

abstract: We theoretically investigate the antivortex stabilized by anisotropic Dzyaloshinskii-Moriya interaction (DMI) in nanodisks. It is remarkably found that the antivortex remains stable even when the nanodisk radius is reduced to 15 nm, owing to the short-range nature of the DMI. We also investigate the antivortex dynamics under a static in-plane magnetic field, which shows that the displacement of the antivortex core depends on its vorticity and helicity, providing a fundamental basic for distinguishing different vortex types. Additionally, spin-polarized currents can trigger a self-sustained gyration of the antivortex at low current densities, while inducing polarity switching at high current densities. Our findings offer valuable insights into the DMI role in stabilizing topological solitons and their potential applications in spin-torque nano-oscillators and magnetic memories.


title: Magnetic fluctuation and dominant superconducting pairing symmetry near the tunable Van Hove singularity

abstract: We have investigated the magnetism and pairing correlations of the triangular lattice based on the Hubbard model using the determinant quantum Monte Carlo method and the constrained path Monte Carlo. The results show that the presence of the next-nearest-neighbor hopping integral $t^{\prime}$ introduces an additional energy scale to the system, and through $t^{\prime}$, one can regulate the shape of the density of states and thus the position of the van Hove singularity point. Increasing inverse temperature $\beta$ and on-site interaction $U$ favor the formation of ferromagnetic correlation in a rather large filling region, and the calculations for different lattice sizes show that the range of the ferromagnetic correlations is smaller than the smallest lattice simulated at the investigated temperatures. We study the different pairing correlations of the triangular lattice near several typical fillings and show that the $f$-wave pairing dominates the system in the filling region near the van Hove singularity point with a high density of states, where the ferromagnetic correlation is also enhanced. When the filling is close to half-filling, the pairing susceptibility with $f$ wave is suppressed and the pairing susceptibility of $f_n$ wave is enhanced, however, both the effective pairing interaction with $f$ wave and $f_n$ wave are negative, which indicates that neither $f$-wave nor $f_n$-wave superconductivity may exist. Finally, we find that the pairing channel of different symmetry in the system maybe closely related to the magnetic properties. Ferromagnetic fluctuation favors the formation of $f$-wave pairing, while antiferromagnetic fluctuation tends to promote $f_n$-wave pairing.


title: A link between static and dynamical perturbation theory

abstract: Dynamics, the physical change in time and a pillar of natural sciences, can be regarded as an emergent phenomenon when the system of interest is part of a larger, static one. This "relational approach to time", in which the system's environment provides a temporal reference, does not only provide insight into foundational issues of physics, but holds the potential for a deeper theoretical understanding as it intimately links statics and dynamics. Reinforcing the significance of this connection, we demonstrate, based on recent progress [Phys. Rev. Lett. 131, 140202 (2023)], the role of emergent time as a vital link between time-independent and time-dependent perturbation theory in quantum mechanics. We calculate first order contributions, which are often the most significant, and discuss the issue of degenerate spectra. Based on our results, we envision future applications for the calculation of dynamical phenomena based on a single pure energy eigenstate.


title: DGCformer: Deep Graph Clustering Transformer for Multivariate Time Series Forecasting

abstract: Multivariate time series forecasting tasks are usually conducted in a channel-dependent (CD) way since it can incorporate more variable-relevant information. However, it may also involve a lot of irrelevant variables, and this even leads to worse performance than the channel-independent (CI) strategy. This paper combines the strengths of both strategies and proposes the Deep Graph Clustering Transformer (DGCformer) for multivariate time series forecasting. Specifically, it first groups these relevant variables by a graph convolutional network integrated with an autoencoder, and a former-latter masked self-attention mechanism is then considered with the CD strategy being applied to each group of variables while the CI one for different groups. Extensive experimental results on eight datasets demonstrate the superiority of our method against state-of-the-art models, and our code will be publicly available upon acceptance.


title: Unveiling quantum phase transitions from traps in variational quantum algorithms

abstract: Understanding quantum phase transitions in physical systems is fundamental to characterize their behaviour at small temperatures. Achieving this requires both accessing good approximations to the ground state and identifying order parameters to distinguish different phases. Addressing these challenges, our work introduces a hybrid algorithm that combines quantum optimization with classical machine learning. This approach leverages the capability of near-term quantum computers to prepare locally trapped states through finite optimization. Specifically, we utilize LASSO for identifying conventional phase transitions and the Transformer model for topological transitions, applying these with a sliding window of Hamiltonian parameters to learn appropriate order parameters and estimate the critical points accurately. We verified the effectiveness of our method with numerical simulation and real-hardware experiments on Rigetti's Ankaa 9Q-1 quantum computer. Our protocol not only provides a robust framework for investigating quantum phase transitions using shallow quantum circuits but also significantly enhances efficiency and precision, opening new avenues in the integration of quantum computing and machine learning.


title: Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

abstract: We answer a question of Calderoni and Clay by showing that the conjugation equivalence relation of left orderings of the Baumslag-Solitar groups $\mathrm{BS}(1,n)$ is hyperfinite for any $n$. Our proof relies on a classification of $\mathrm{BS}(1,n)$'s left-orderings via its one-dimensional dynamical realizations. We furthermore use the effectiveness of the dynamical realizations of $\mathrm{BS}(1,n)$ to study algorithmic properties of the left-orderings on $\mathrm{BS}(1,n)$.


title: Safety Constrained Multi-Agent Reinforcement Learning for Active Voltage Control

abstract: Active voltage control presents a promising avenue for relieving power congestion and enhancing voltage quality, taking advantage of the distributed controllable generators in the power network, such as roof-top photovoltaics. While Multi-Agent Reinforcement Learning (MARL) has emerged as a compelling approach to address this challenge, existing MARL approaches tend to overlook the constrained optimization nature of this problem, failing in guaranteeing safety constraints. In this paper, we formalize the active voltage control problem as a constrained Markov game and propose a safety-constrained MARL algorithm. We expand the primal-dual optimization RL method to multi-agent settings, and augment it with a novel approach of double safety estimation to learn the policy and to update the Lagrange-multiplier. In addition, we proposed different cost functions and investigated their influences on the behavior of our constrained MARL method. We evaluate our approach in the power distribution network simulation environment with real-world scale scenarios. Experimental results demonstrate the effectiveness of the proposed method compared with the state-of-the-art MARL methods.


title: Multi-dimensional piecewise contractions are asymptotically periodic

abstract: Piecewise contractions (PCs) are piecewise smooth maps that decrease distance between pair of points in the same domain of continuity. The dynamics of a variety of systems is described by PCs. During the last decade, a lot of effort has been devoted to proving that in parametrized families of one-dimensional PCs, the $\omega$-limit set of a typical PC consists of finitely many periodic orbits while there exist atypical PCs with Cantor $\omega$-limit sets. In this article, we extend these results to the multi-dimensional case. More precisely, we provide criteria to show that an arbitrary family $\{f_{\mu}\}_{\mu\in U}$ of locally bi-Lipschitz piecewise contractions $f_\mu:X\to X$ defined on a compact metric space $X$ is asymptotically periodic for Lebesgue almost every parameter $\mu$ running over an open subset $U$ of the $M$-dimensional Euclidean space $\mathbb{R}^M$. As a corollary of our results, we prove that piecewise affine contractions of $\mathbb{R}^d$ defined in generic polyhedral partitions are asymptotically periodic.


title: Spectral characterisation of the extinction properties of NGC 3603 using JWST NIRSpec

abstract: Context. A necessary ingredient in understanding the star formation history of a young cluster is knowledge of the extinction towards the region. This has typically been done by making use of the colour-difference method with photometry, or similar methods utilising the colour-colour diagram. Aims. The colour-excess can be independently determined by studying the decrements of the recombination lines produced by the nebular gas. Having access to many recombination lines from the same spectral series removes the need of adopting an extinction curve. Methods. Using the Micro-Shutter Assembly (MSA) on board the Near InfraRed Spectrograph (NIRSpec), multi-object spectroscopy was performed, yielding 600 nebular spectra from the Galactic massive star formation region NGC 3603. The recombination line intensity ratios were used to determine independent values of colour-excess. Results. The extinction characteristics of NGC 3603 are similar to other Galactic HII regions like Orion, as well as starburst regions such 30 Doradus in the Large Magellanic Cloud, in that we find a relatively large value of total-to-selective extinction of 4.8 $\pm$ 1.06, larger than the Galactic average of 3.1. We find a typical value for the colour-excess of 0.64 $\pm$ 0.27, significantly lower than values determined in previous studies. We also present a stacked nebular spectrum with a typical continuum S/N = 70. This spectrum highlights the recombination lines of the HII region, several s-process elements such as Kr III and Se IV, and molecular H2 emission lines. Conclusions. Using ratios of hydrogen recombination lines, we calculated the total-to-selective extinction, colour-excess and visual extinction for > 200 lines of sight across NGC 3603. An extinction curve with a total-to-selective extinction of 4.8 $\pm$ 1.06 was found, corresponding to a colour-excess of 0.64 $\pm$ 0.27.


title: A mean curvature type flow with capillary boundary in a horoball in hyperbolic space

abstract: In this paper, we study a mean curvature type flow with capillary boundary in a horoball in hyperbolic space. Our flow preserves the volume of the bounded domain enclosed by the hypersurface and monotonically decreases the energy functional. We show that it has the long time existence and converges to a truncated umbilical hypersurface in hyperbolic space. As an application, we solve an isoperimetric type problem for hypersurfaces with capillary boundary in a horoball.


title: AI-Resilient Interfaces

abstract: AI is powerful, but it can make choices that result in objective errors, contextually inappropriate outputs, and disliked options. We need AI-resilient interfaces that help people be resilient to the AI choices that are not right, or not right for them. To support this goal, interfaces need to help users notice and have the context to appropriately judge those AI choices. Existing human-AI interaction guidelines recommend efficient user dismissal, modification, or otherwise efficient recovery from AI choices that a user does not like. However, in order to recover from AI choices, the user must notice them first. This can be difficult. For example, when generating summaries of long documents, a system's exclusion of a detail that is critically important to the user is hard for the user to notice. That detail can be hiding in a wall of text in the original document, and the existence of a summary may tempt the user not to read the original document as carefully. Once noticed, judging AI choices well can also be challenging. The interface may provide very little information that contextualizes the choices, and the user may fall back on assumptions when deciding whether to dismiss, modify, or otherwise recover from an AI choice. Building on prior work, this paper defines key aspects of AI-resilient interfaces, illustrated with examples. Designing interfaces for increased AI-resilience of users will improve AI safety, usability, and utility. This is especially critical where AI-powered systems are used for context- and preference-dominated open-ended AI-assisted tasks, like ideating, summarizing, searching, sensemaking, and the reading and writing of text or code.


title: Understanding the performance gap between online and offline alignment algorithms

abstract: Reinforcement learning from human feedback (RLHF) is the canonical framework for large language model alignment. However, rising popularity in offline alignment algorithms challenge the need for on-policy sampling in RLHF. Within the context of reward over-optimization, we start with an opening set of experiments that demonstrate the clear advantage of online methods over offline methods. This prompts us to investigate the causes to the performance discrepancy through a series of carefully designed experimental ablations. We show empirically that hypotheses such as offline data coverage and data quality by itself cannot convincingly explain the performance difference. We also find that while offline algorithms train policy to become good at pairwise classification, it is worse at generations; in the meantime the policies trained by online algorithms are good at generations while worse at pairwise classification. This hints at a unique interplay between discriminative and generative capabilities, which is greatly impacted by the sampling process. Lastly, we observe that the performance discrepancy persists for both contrastive and non-contrastive loss functions, and appears not to be addressed by simply scaling up policy networks. Taken together, our study sheds light on the pivotal role of on-policy sampling in AI alignment, and hints at certain fundamental challenges of offline alignment algorithms.


title: Exploring Dynamical Phase Transitions in the XY Chain through Linear Quench: Early and Long-term Perspectives

abstract: We investigate the nonequilibrium dynamics induced by a finite-time linear quench in the XY chain. Initially, we examine the dynamical quantum phase transition, characterized by the nonanalytic behavior of the Loschmidt amplitude. We find distinct behaviors of DQPTs during and following the ramp. Following the ramp, the ramp crossing the critical point $h_{c}$ is the sufficient condition for the occurrence of DQPT, but it is not during the ramp. Through AIA approximation analysis, we establish that adequate distancing from the critical point is crucial for DQPT manifestation during the ramp, elucidating the absence of DQPT as the ramp gets faster. Additionally, we explore another type of dynamical phase transition, describing the long-term relaxation behavior of the order parameter. Our finding indicates that the asymptotic behavior of the time-dependent part induced by the linear quench is equivalent to that following a sudden quench, i.e., time-dependent part exhibits power-law decays of $\sim t^{-3/2}$ and $\sim t^{-1/2}$ for the ramp to the commensurate and incommensurate phases, respectively. Moreover, we also delve into the steady part, which showcases nonanalytic singularities at the critical point.


title: Effective Front-Descent Algorithms with Convergence Guarantees

abstract: In this manuscript, we address continuous unconstrained optimization problems and we discuss descent type methods for the reconstruction of the Pareto set. Specifically, we analyze the class of Front Descent methods, which generalizes the Front Steepest Descent algorithm allowing the employment of suitable, effective search directions (e.g., Newton, Quasi-Newton, Barzilai-Borwein). We provide a deep characterization of the behavior and the mechanisms of the algorithmic framework, and we prove that, under reasonable assumptions, standard convergence results and some complexity bounds hold for the generalized approach. Moreover, we prove that popular search directions can indeed be soundly used within the framework. Then, we provide a completely novel type of convergence results, concerning the sequence of sets produced by the procedure. In particular, iterate sets are shown to asymptotically approach stationarity for all of their points; additionally, in finite precision settings, the sets are shown to only be enriched through exploration steps in later iterations, and suitable stopping conditions can be devised. Finally, the results from a large experimental benchmark show that the proposed class of approaches far outperforms state-of-the-art methodologies.


title: Planet formation regulated by galactic-scale interstellar turbulence

abstract: Planet formation occurs over a few Myr within protoplanetary discs of dust and gas, which are often assumed to evolve in isolation. However, extended gaseous structures have been uncovered around many protoplanetary discs, suggestive of late-stage in-fall from the interstellar medium (ISM). To quantify the prevalence of late-stage in-fall, we apply an excursion set formalism to track the local density and relative velocity of the ISM over the disc lifetime. We then combine the theoretical Bondi-Hoyle-Lyttleton (BHL) accretion rate with a simple disc evolution model, anchoring stellar accretion time-scales to observational constraints. Disc lifetimes, as well as masses, stellar accretion rates and approximate gas radii as a function of stellar mass and age are remarkably well-reproduced by our simple model that includes only ISM accretion. If BHL accretion is the origin of the initial disc material, then $20{-}70$ percent of discs are mostly composed of material accreted in the most recent half of their lifetime, suggesting that disc properties are not a direct test of isolated evolution models. The ISM also deposits sufficient energy to drive observed turbulence in protoplanetary discs with viscous $\alpha_\mathrm{SS} \sim 10^{-5}- 10^{-1}$, although we emphasise that angular momentum transport may still be driven internal processes. Overall, our findings represent a compelling case for regulation of planet formation by galactic-scale turbulence, with broad consequences for planet formation theory. Our simple approach can be easily applied to semi-analytic models, and our results represent urgent motivation for an unbiased survey to confirm or refute our findings.


title: Far-from-equilibrium complex landscapes

abstract: Systems with a complex dynamics like glasses or models of biological evolution are often pictured in terms of complex landscapes, with a large number of possible collective states. We show on the example of a stochastic spin model with non-reciprocal and heterogeneous interactions how the complex landscape notion can be generalized far from equilibrium, where collective states may exhibit spontaneous oscillations, often hidden by the presence of disorder. We identify relevant observables, like the density of entropy production, to unveil the presence of oscillations, and we characterize the complex landscape of our model in terms of a configurational entropy, that counts the number of nonequilibrium collective states with a given entropy production density.


title: Outside and inside a magnetic island: different perspectives to describe the same observables

abstract: We compare three different approaches to describe a magnetic island in a generic toroidal plasma: (i) perturbative, from the perspective of the equilibrium magnetic field and the related action in a variational principle formulation, (ii) again perturbative, based on the integrability of a system with a single resonant mode and the application of a canonical transformation onto a new island equilibrium system, and (iii) non-perturbative, making use of a full geometric description of the island considered as a stand-alone plasma domain. For the three approaches, we characterize some observables and discuss the respective limits.


title: How Alignment Helps Make the Most of Multimodal Data

abstract: When studying political communication, combining the information from text, audio, and video signals promises to reflect the richness of human communication more comprehensively than confining it to individual modalities alone. However, when modeling such multimodal data, its heterogeneity, connectedness, and interaction are challenging to address. We argue that aligning the respective modalities can be an essential step in entirely using the potential of multimodal data because it informs the model with human understanding. Exploring aligned modalities unlocks promising analytical leverage. First, it allows us to make the most of information in the data, which inter alia opens the door to better quality predictions. Second, it is possible to answer research questions that span multiple modalities with cross-modal queries. Finally, alignment addresses concerns about model interpretability. We illustrate the utility of this approach by analyzing how German MPs address members of the far-right AfD in their speeches, and predicting the tone of video advertising in the context of the 2020 US presidential race. Our paper offers important insights to all keen to analyze multimodal data effectively.