title: Statistical testing of random number generators and their improvement using randomness extraction

abstract: Random number generators (RNGs) are notoriously hard to build and test, especially in a cryptographic setting. Although one cannot conclusively determine the quality of an RNG by testing the statistical properties of its output alone, running numerical tests is both a powerful verification tool and the only universally applicable method. In this work, we present and make available a comprehensive statistical testing environment (STE) that is based on existing statistical test suites. The STE can be parameterised to run lightweight (i.e. fast) all the way to intensive testing, which goes far beyond what is required by certification bodies. With it, we benchmark the statistical properties of several RNGs, comparing them against each other. We then present and implement a variety of post-processing methods, in the form of randomness extractors, which improve the RNG's output quality under different sets of assumptions and analyse their impact through numerical testing with the STE.


title: Semi-Supervised Learning for Deep Causal Generative Models

abstract: Developing models that can answer questions of the form "How would $x$ change if $y$ had been $z$?" is fundamental for advancing medical image analysis. Training causal generative models that address such counterfactual questions, though, currently requires that all relevant variables have been observed and that corresponding labels are available in training data. However, clinical data may not have complete records for all patients and state of the art causal generative models are unable to take full advantage of this. We thus develop, for the first time, a semi-supervised deep causal generative model that exploits the causal relationships between variables to maximise the use of all available data. We explore this in the setting where each sample is either fully labelled or fully unlabelled, as well as the more clinically realistic case of having different labels missing for each sample. We leverage techniques from causal inference to infer missing values and subsequently generate realistic counterfactuals, even for samples with incomplete labels.


title: Constructive proofs of existence and stability of solitary waves in the capillary-gravity Whitham equation

abstract: In this manuscript, we present a method to prove constructively the existence and spectral stability of solitary waves (solitons) in the capillary-gravity Whitham equation. By employing Fourier series analysis and computer-aided techniques, we successfully approximate the Fourier multiplier operator in this equation, allowing the construction of an approximate inverse for the linearization around an approximate solution $u_0$. Then, using a Newton-Kantorovich approach, we provide a sufficient condition under which the existence of a unique solitary wave $\tilde{u}$ in a ball centered at $u_0$ is obtained. The verification of such a condition is established combining analytic techniques and rigorous numerical computations. Moreover, we derive a methodology to control the spectrum of the linearization around $\tilde{u}$, enabling the study of spectral stability of the solution. As an illustration, we provide a (constructive) computer-assisted proof of existence of a stable soliton in both the case with capillary effects ($T>0$) and without capillary effects ($T=0$). The methodology presented in this paper can be generalized and provides a new approach for addressing the existence and spectral stability of solitary waves in nonlocal nonlinear equations. All computer-assisted proofs, including the requisite codes, are accessible on GitHub at \cite{julia_cadiot}.


title: On the scaling of random Tamari intervals and Schnyder woods of random triangulations (with an asymptotic D-finite trick)

abstract: We consider a Tamari interval of size $n$ (i.e., a pair of Dyck paths which are comparable for the Tamari relation) chosen uniformly at random. We show that the height of a uniformly chosen vertex on the upper or lower path scales as $n^{3/4}$, and has an explicit limit law. By the Bernardi-Bonichon bijection, this result also describes the height of points in the canonical Schnyder trees of a uniform random plane triangulation of size $n$. The exact solution of the model is based on polynomial equations with one and two catalytic variables. To prove the convergence from the exact solution, we use a version of moment pumping based on D-finiteness, which is essentially automatic and should apply to many other models. We are not sure to have seen this simple trick used before. It would be interesting to study the universality of this convergence for decomposition trees associated to positive Bousquet-M\'elou--Jehanne equations.


title: Testing Resource Isolation for System-on-Chip Architectures

abstract: Ensuring resource isolation at the hardware level is a crucial step towards more security inside the Internet of Things. Even though there is still no generally accepted technique to generate appropriate tests, it became clear that tests should be generated at the system level. In this paper, we illustrate the modeling aspects in test generation for resource isolation, namely modeling the behavior and expressing the intended test scenario. We present both aspects using the industrial standard PSS and an academic approach based on conformance testing.


title: PhysicsAssistant: An LLM-Powered Interactive Learning Robot for Physics Lab Investigations

abstract: Robot systems in education can leverage Large language models' (LLMs) natural language understanding capabilities to provide assistance and facilitate learning. This paper proposes a multimodal interactive robot (PhysicsAssistant) built on YOLOv8 object detection, cameras, speech recognition, and chatbot using LLM to provide assistance to students' physics labs. We conduct a user study on ten 8th-grade students to empirically evaluate the performance of PhysicsAssistant with a human expert. The Expert rates the assistants' responses to student queries on a 0-4 scale based on Bloom's taxonomy to provide educational support. We have compared the performance of PhysicsAssistant (YOLOv8+GPT-3.5-turbo) with GPT-4 and found that the human expert rating of both systems for factual understanding is the same. However, the rating of GPT-4 for conceptual and procedural knowledge (3 and 3.2 vs 2.2 and 2.6, respectively) is significantly higher than PhysicsAssistant (p < 0.05). However, the response time of GPT-4 is significantly higher than PhysicsAssistant (3.54 vs 1.64 sec, p < 0.05). Hence, despite the relatively lower response quality of PhysicsAssistant than GPT-4, it has shown potential for being used as a real-time lab assistant to provide timely responses and can offload teachers' labor to assist with repetitive tasks. To the best of our knowledge, this is the first attempt to build such an interactive multimodal robotic assistant for K-12 science (physics) education.


title: Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment

abstract: Rijkswaterstaat, the National Dutch body responsible for infrastructure, recognised the importance of formal modelling and set up a program to model the control of road tunnels. This is done to improve the standardisation of tunnel control and make communication with suppliers smoother. A subset of SysML is used to formulate the models, which are substantial. In an earlier paper we have shown that these models can be used to prove behavioural properties by manually translating the models to mCRL2. In this paper we report on an automatic translation to mCRL2. As the results of the translation became unwieldy, we also investigated modelling tunnel control in the specification language Dezyne which has built-in verification capabilities and compared the results.


title: Four Formal Models of IEEE 1394 Link Layer

abstract: We revisit the IEEE 1394 high-performance serial bus ("FireWire"), which became a success story in formal methods after three PhD students, by using process algebra and model checking, detected a deadlock error in this IEEE standard. We present four formal models for the asynchronous mode of the Link Layer of IEEE 1394: the original model in muCRL, a simplified model in mCRL2, a revised model in LOTOS, and a novel model in LNT.


title: An exactly curl-free finite-volume scheme for a hyperbolic compressible barotropic two-phase model

abstract: We present a new second order accurate structure-preserving finite volume scheme for the solution of the compressible barotropic two-phase model of Romenski et. al in multiple space dimensions. The governing equations fall into the wider class of symmetric hyperbolic and thermodynamically compatible (SHTC) systems and consist of a set of first-order hyperbolic partial differential equations (PDE). In the absence of algebraic source terms, the model is subject to a curl-free constraint for the relative velocity between the two phases. The main objective of this paper is, therefore, to preserve this structural property exactly also at the discrete level. The new numerical method is based on a staggered grid arrangement where the relative velocity field is stored in the cell vertexes while all the remaining variables are stored in the cell centers. This allows the definition of discretely compatible gradient and curl operators, which ensure that the discrete curl errors of the relative velocity field remain zero up to machine precision. A set of numerical results confirms this property also experimentally.


title: Probabilistic Model Checking of Stochastic Reinforcement Learning Policies

abstract: We introduce a method to verify stochastic reinforcement learning (RL) policies. This approach is compatible with any RL algorithm as long as the algorithm and its corresponding environment collectively adhere to the Markov property. In this setting, the future state of the environment should depend solely on its current state and the action executed, independent of any previous states or actions. Our method integrates a verification technique, referred to as model checking, with RL, leveraging a Markov decision process, a trained RL policy, and a probabilistic computation tree logic (PCTL) formula to build a formal model that can be subsequently verified via the model checker Storm. We demonstrate our method's applicability across multiple benchmarks, comparing it to baseline methods called deterministic safety estimates and naive monolithic model checking. Our results show that our method is suited to verify stochastic RL policies.


title: Hydroflux-Controlled Growth of Magnetic K-Cu-Te-O(H) Phases

abstract: Innovative synthetic approaches can yield new phases containing novel structural and magnetic motifs. In this work, we show the synthesis and magnetic characterization of three new and one previously reported layered phase in the K-Cu-Te-O(H) phase space using a tunable hydroflux technique. The hydroflux, with a roughly equal molar ratio of water and alkali hydroxide, is a highly oxidizing, low melting solvent which can be used to isolate metastable phases unattainable through traditional solid state or flux techniques. The newly synthesized phases, K$_{2}$Cu$_{2}$TeO$_{6}$, K$_{2}$Cu$_{2}$TeO$_{6}$ $\cdot$ H$_{2}$O, and K$_{6}$Cu$_{9}$Te$_{4}$O$_{24}$ $\cdot$ 2 H$_{2}$O, contain Cu$^{2+}$ within CuO$_{4}$ square planar plaquettes and TeO$_{6}$ octahedra ordering to form structural honeycomb layers isolated by interlayer K$^{+}$ ions and H$_{2}$O molecules. We find the synthesized structures display varying tilt sequences of the CuO$_{4}$ plaquettes, leading to distinct Cu$^{2+}$ magnetic motifs on the structural honeycomb lattice and a range of effective magnetic dimensionalities. We find that K$_{2}$Cu$_{2}$TeO$_{6}$ $\cdot$ H$_{2}$O does not order and displays alternating chain Heisenberg antiferromagnetic (AFM) behavior, while K$_{2}$Cu$_{2}$TeO$_{6}$ and K$_{6}$Cu$_{9}$Te$_{4}$O$_{24}$ $\cdot$ 2 H$_{2}$O order antiferromagnetically (T$_{N}$ = 100 K and T$_{N}$ = 6.5 K respectively). The previously known phase, K$_{2}$CuTeO$_{4}$(OH)$_{2}$ $\cdot$ H$_{2}$O, we find contains structurally and magnetically one-dimensional CuO$_{4}$ plaquettes leading to uniform chain Heisenberg AFM behavior and shows no magnetic order down to T = 0.4 K. We discuss and highlight the usefulness of the hydroflux technique in novel syntheses and the interesting magnetic motifs that arise in these particular phases.


title: Modular representations of the Yangian $Y_2$

abstract: Let $Y_2$ be the Yangian associated to the general linear Lie algebra $\mathfrak{gl}_2$, defined over an algebraically closed field $\mathbbm{k}$ of characteristic $p > 0$. In this paper, we study the representation theory of the restricted Yangian $Y^{[p]}_2$. This leads to a description of the representations of $\mathfrak{gl}_{2n}$, whose $p$-character is nilpotent with Jordan type given by a two-row partition $(n, n)$.


title: Utility of ocean wave parameters for improving predictions of ambient noise

abstract: This study is concerned with prediction of the "wind noise" component of ambient noise (AN) in the ocean. It builds on the seminal paper by Felizardo and Melville (1995), in which the authors quantified the correlation between AN and individual wind/wave parameters. Acoustic data are obtained from hydrophones deployed in the north and northeast Pacific Ocean, and wind/wave parameters are obtained from moored buoys and numerical models. We describe a procedure developed for this study which isolates the correlation of AN with wave parameters, independent of mutual correlation with wind speed (residual correlation). We then describe paired calibration/prediction experiments, whereby multiple wind/wave parameters are used simultaneously to estimate AN. We find that the improvement from inclusion of wave parameters is robust but modest. We interpret the latter outcome as suggesting that wave breaking responds to changes in local winds quickly, relative to, for example, total wave energy, which develops more slowly. This outcome is consistent with prior knowledge of the physics of wave breaking, e.g. Babanin (2011). We discuss this in context of the time/space response of various wave parameters to wind forcing.


title: ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses

abstract: The uninterpretability of DNNs hinders their deployment to safety-critical applications. Recent works have shown that Abstract-Interpretation-based formal certification techniques provide promising avenues for building trust in DNNs to some extent. The intricate mathematical background of Abstract Interpretation poses two challenges: (i) easily designing the algorithms that capture the intricate DNN behavior by balancing cost vs. precision tradeoff, and (ii) maintaining the over-approximation-based soundness of these certifiers. General-purpose programming languages like C++ provide extensive functionality, however, verifying the soundness of the algorithms written in them can be impractical. The most commonly used DNN certification libraries like auto_LiRPA and ERAN prove the correctness of their analyses. However, they consist of only a few hard-coded abstract domains and abstract transformers (or transfer functions) and do not allow the user to define new analyses. Further, these libraries can handle only specific DNN architectures. To address these issues, we develop a declarative DSL -- ConstraintFlow -- that can be used to specify Abstract Interpretation-based DNN certifiers. In ConstraintFlow, programmers can easily define various existing and new abstract domains and transformers, all within just a few 10s of Lines of Code as opposed to 1000s of LOCs of existing libraries. We also provide lightweight automatic verification, which can be used to ensure the over-approximation-based soundness of the certifier code written in ConstraintFlow for arbitrary (but bounded) DNN architectures. Using this automated verification procedure, for the first time, we can verify the soundness of state-of-the-art DNN certifiers for arbitrary DNN architectures, all within a few minutes. We prove the soundness of our verification procedure and the completeness of a subset of ConstraintFlow.


title: Towards Image Ambient Lighting Normalization

abstract: Lighting normalization is a crucial but underexplored restoration task with broad applications. However, existing works often simplify this task within the context of shadow removal, limiting the light sources to one and oversimplifying the scene, thus excluding complex self-shadows and restricting surface classes to smooth ones. Although promising, such simplifications hinder generalizability to more realistic settings encountered in daily use. In this paper, we propose a new challenging task termed Ambient Lighting Normalization (ALN), which enables the study of interactions between shadows, unifying image restoration and shadow removal in a broader context. To address the lack of appropriate datasets for ALN, we introduce the large-scale high-resolution dataset Ambient6K, comprising samples obtained from multiple light sources and including self-shadows resulting from complex geometries, which is the first of its kind. For benchmarking, we select various mainstream methods and rigorously evaluate them on Ambient6K. Additionally, we propose IFBlend, a novel strong baseline that maximizes Image-Frequency joint entropy to selectively restore local areas under different lighting conditions, without relying on shadow localization priors. Experiments show that IFBlend achieves SOTA scores on Ambient6K and exhibits competitive performance on conventional shadow removal benchmarks compared to shadow-specific models with mask priors. The dataset, benchmark, and code are available at https://github.com/fvasluianu97/IFBlend.


title: Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods

abstract: This research presents a method that utilizes explainability techniques to amplify the performance of machine learning (ML) models in forecasting the quality of milling processes, as demonstrated in this paper through a manufacturing use case. The methodology entails the initial training of ML models, followed by a fine-tuning phase where irrelevant features identified through explainability methods are eliminated. This procedural refinement results in performance enhancements, paving the way for potential reductions in manufacturing costs and a better understanding of the trained ML models. This study highlights the usefulness of explainability techniques in both explaining and optimizing predictive models in the manufacturing realm.


title: Identifying CP Basis Invariants in SMEFT

abstract: Building on our automated framework that uses ring diagrams for classifying CP basis invariants [1], this paper broadens the application of the methodology with more extensive examples and a wider scope of theoretical frameworks. Here, we showcase its versatility through detailed analyses in the Standard Model Effective Field Theory (SMEFT) up to dim-2n, and SMEFT with sterile neutrinos ({\nu}SMEFT) up to dimension-7. By integrating the ring-diagram technique with the Cayley-Hamilton theorem, we have developed a system that not only simplifies the process of identifying basic and joint invariants but also enables the automatic differentiation between CP-even and CP-odd invariants from the lowest orders. Additionally, this work presents a comparison of our results with those derived using the traditional Hilbert-Poincar\'e series and its Plethystic logarithm. While these conventional approaches primarily yield the numerical count of invariants, our framework provides a complete structure of invariants, thereby surpassing the limitations of these traditional methods.


title: Light-cone feature selection for quantum machine learning

abstract: Feature selection plays an essential role in improving the predictive performance and interpretability of trained models in classical machine learning. On the other hand, the usability of conventional feature selection could be limited for quantum machine learning tasks; the technique might not provide a clear interpretation on embedding quantum circuits for classical data tasks and, more importantly, is not applicable to quantum data tasks. In this work, we propose a feature selection method with a specific focus on quantum machine learning. Our scheme treats the light-cones (i.e., subspace) of quantum models as features and then select relevant ones through training of the corresponding local quantum kernels. We numerically demonstrate its versatility for four different applications using toy tasks: (1) feature selection of classical inputs, (2) circuit architecture search for data embedding, (3) compression of quantum machine learning models and (4) subspace selection for quantum data. The proposed framework paves the way towards applications of quantum machine learning to practical tasks. Also, this technique could be used to practically test if the quantum machine learning tasks really need quantumness, while it is beyond the scope of this work.


title: A vascular synthetic model for improved aneurysm segmentation and detection via Deep Neural Networks

abstract: We hereby present a full synthetic model, able to mimic the various constituents of the cerebral vascular tree: the cerebral arteries, the bifurcations and the intracranial aneurysms. By building this model, our goal was to provide a substantial dataset of brain arteries which could be used by a 3D Convolutional Neural Network (CNN) to either segment or detect/recognize various vascular diseases (such as artery dissection/thrombosis) or even some portions of the cerebral vasculature, such as the bifurcations or aneurysms. In this study, we will particularly focus on Intra-Cranial Aneurysm (ICA) detection and segmentation. The cerebral aneurysms most often occur on a particular structure of the vascular tree named the Circle of Willis. Various studies have been conducted to detect and monitor the ICAs and those based on Deep Learning (DL) achieve the best performances. Specifically, in this work, we propose a full synthetic 3D model able to mimic the brain vasculature as acquired by Magnetic Resonance Angiography (MRA), and more particularly the Time Of Flight (TOF) principle. Among the various MRI modalities, the MRA-TOF allows to have a relatively good rendering of the blood vessels and is non-invasive (no contrast liquid injection). Our model has been designed to simultaneously mimic the arteries geometry, the ICA shape and the background noise. The geometry of the vascular tree is modeled thanks to an interpolation with 3D Spline functions, and the statistical properties of the background MRI noise is collected from MRA acquisitions and reproduced within the model. In this work, we thoroughly describe the synthetic vasculature model, we build up a neural network designed for ICA segmentation and detection, and finally, we carry out an in-depth evaluation of the performance gap gained thanks to the synthetic model data augmentation.


title: Nonlinear model reduction for operator learning

abstract: Operator learning provides methods to approximate mappings between infinite-dimensional function spaces. Deep operator networks (DeepONets) are a notable architecture in this field. Recently, an extension of DeepONet based on model reduction and neural networks, proper orthogonal decomposition (POD)-DeepONet, has been able to outperform other architectures in terms of accuracy for several benchmark tests. We extend this idea towards nonlinear model order reduction by proposing an efficient framework that combines neural networks with kernel principal component analysis (KPCA) for operator learning. Our results demonstrate the superior performance of KPCA-DeepONet over POD-DeepONet.


title: Characterization of genuine ramification using formal orbifolds

abstract: We give a characterization of genuinely ramified maps of formal orbifolds in the Tannakian framework. In particular we show that a morphism is genuinely ramified if and only if the pullback of every stable bundle remains stable in the orbifold category. We also give some other characterizations of genuine ramification. This generalizes the results of [BKP1] and [BP1]. In fact, it is a positive characteristic analogue of results in [BKP2].


title: Optimal Rebalancing in Dynamic AMMs

abstract: Dynamic AMM pools, as found in Temporal Function Market Making, rebalance their holdings to a new desired ratio (e.g. moving from being 50-50 between two assets to being 90-10 in favour of one of them) by introducing an arbitrage opportunity that disappears when their holdings are in line with their target. Structuring this arbitrage opportunity reduces to the problem of choosing the sequence of portfolio weights the pool exposes to the market via its trading function. Linear interpolation from start weights to end weights has been used to reduce the cost paid by pools to arbitrageurs to rebalance. Here we obtain the $\textit{optimal}$ interpolation in the limit of small weight changes (which has the downside of requiring a call to a transcendental function) and then obtain a cheap-to-compute approximation to that optimal approach that gives almost the same performance improvement. We then demonstrate this method on a range of market backtests, including simulating pool performance when trading fees are present, finding that the new approximately-optimal method of changing weights gives robust increases in pool performance. For a BTC-ETH-DAI pool from July 2022 to June 2023, the increases of pool P\&L from approximately-optimal weight changes is $\sim25\%$ for a range of different strategies and trading fees.


title: The extension of traces for Sobolev mappings between manifolds

abstract: The compact Riemannian manifolds $\mathcal{M}$ and $\mathcal{N}$ for which the trace operator from the first-order Sobolev space of mappings $\smash{\dot{W}}^{1, p} (\mathcal{M}, \mathcal{N})$ to the fractional Sobolev-Slobodecki\u{\i} space $\smash{\smash{\dot{W}}^{1 - 1/p, p}} (\partial \mathcal{M}, \mathcal{N})$ is surjective when $1 < p < m$ are characterised. The traces are extended using a new construction which can be carried out assuming the absence of the known topological and analytical obstructions. When $p \ge m$ the same construction provides a Sobolev extension with linear estimates for maps that have a continuous extension, provided that there are no known analytical obstructions to such a control.


title: Usage-Specific Survival Modeling Based on Operational Data and Neural Networks

abstract: Accurate predictions of when a component will fail are crucial when planning maintenance, and by modeling the distribution of these failure times, survival models have shown to be particularly useful in this context. The presented methodology is based on conventional neural network-based survival models that are trained using data that is continuously gathered and stored at specific times, called snapshots. An important property of this type of training data is that it can contain more than one snapshot from a specific individual which results in that standard maximum likelihood training can not be directly applied since the data is not independent. However, the papers show that if the data is in a specific format where all snapshot times are the same for all individuals, called homogeneously sampled, maximum likelihood training can be applied and produce desirable results. In many cases, the data is not homogeneously sampled and in this case, it is proposed to resample the data to make it homogeneously sampled. How densely the dataset is sampled turns out to be an important parameter; it should be chosen large enough to produce good results, but this also increases the size of the dataset which makes training slow. To reduce the number of samples needed during training, the paper also proposes a technique to, instead of resampling the dataset once before the training starts, randomly resample the dataset at the start of each epoch during the training. The proposed methodology is evaluated on both a simulated dataset and an experimental dataset of starter battery failures. The results show that if the data is homogeneously sampled the methodology works as intended and produces accurate survival models. The results also show that randomly resampling the dataset on each epoch is an effective way to reduce the size of the training data.


title: Effects of Dark Matter on $f$-mode oscillations of Neutron Stars

abstract: The aim of this study is to investigate the effect of dark matter (DM) on $f$-mode oscillations in DM admixed neutron stars (NSs). We consider hadronic matter modeled by the relativistic mean field model and the DM model based on the neutron decay anomaly. We study the non-radial $f$-mode oscillations for such DM admixed NS in a full general relativistic framework. We investigate the impact of DM, DM self-interaction, and DM fraction on the $f$-mode characteristics. We derive relations encoding the effect of DM on $f$-mode parameters. We then perform a systematic study by varying all the model parameters within their known uncertainty range and obtain a universal relation for the DM fraction based on the total mass of the star and DM self-interaction strength. We also perform a correlation study among model parameters and NS observables, in particular, $f$-mode parameters. Finally, we check the $f$-mode universal relations (URs) for the case of DM admixed NSs and demonstrate the existence of a degeneracy between purely hadronic NSs and DM admixed NSs.


title: Perturbative $T$-odd asymmetries in the Drell-Yan process revisited

abstract: We calculate the perturbative $T$-odd contributions to the lepton angular distribution in the Drell-Yan process. Using collinear factorization, we work at the first order in QCD perturbation theory where these contributions appear, ${\cal O}(\alpha_s^2)$, and address both $W^\pm$ and $\gamma/Z^0$ boson exchange. A major focus of our calculation is on the regime where the boson's transverse momentum $Q_T$ is much smaller than its mass $Q$. We carefully expand our results up to next-to-next-to-leading power in $Q_T/Q$. Our calculation provides a benchmark for studies of $T$-odd contributions that employ transverse-momentum dependent parton distribution functions. In the neutral-current case we compare our results for the $T$-odd structure functions to available ATLAS data.


title: Understanding the Learning Dynamics of Alignment with Human Feedback

abstract: Aligning large language models (LLMs) with human intentions has become a critical task for safely deploying models in real-world systems. While existing alignment approaches have seen empirical success, theoretically understanding how these methods affect model behavior remains an open question. Our work provides an initial attempt to theoretically analyze the learning dynamics of human preference alignment. We formally show how the distribution of preference datasets influences the rate of model updates and provide rigorous guarantees on the training accuracy. Our theory also reveals an intricate phenomenon where the optimization is prone to prioritizing certain behaviors with higher preference distinguishability. We empirically validate our findings on contemporary LLMs and alignment tasks, reinforcing our theoretical insights and shedding light on considerations for future alignment approaches. Disclaimer: This paper contains potentially offensive text; reader discretion is advised.


title: Highly confined incident-angle-robust surface phonon polariton bound states in the continuum metasurfaces

abstract: Squeezing light into subwavelength dimensions is vital for on-chip integration of photonic technologies. One approach to overcome the diffraction limit is coupling light to material excitations, leading to polariton states. Here, we showcase how low-loss mid-infrared surface phonon polaritons enable metasurfaces supporting quasi-bound states in the continuum (qBICs) with deeply subwavelength unit cells. Utilizing 100 nm thick free-standing silicon carbide membranes, we achieve highly confined qBIC states with a unit cell volume ~ 10^4 times smaller than the diffraction limit. This results in remarkable robustness of the platform against the incident angle that is unique among qBIC systems. We also demonstrate vibrational strong coupling with a thin layer of spin-coated molecules, leveraging the small mode volume. This work introduces phononic qBICs as a novel ultra-confined nanophotonic platform, paving a way for the miniaturization of mid-infrared devices for molecular sensing and thermal radiation engineering.


title: A nonsmooth Frank-Wolfe algorithm through a dual cutting-plane approach

abstract: An extension of the Frank-Wolfe Algorithm (FWA), also known as Conditional Gradient algorithm, is proposed. In its standard form, the FWA allows to solve constrained optimization problems involving $\beta$-smooth cost functions, calling at each iteration a Linear Minimization Oracle. More specifically, the oracle solves a problem obtained by linearization of the original cost function. The algorithm designed and investigated in this article, named Dualized Level-Set (DLS) algorithm, extends the FWA and allows to address a class of nonsmooth costs, involving in particular support functions. The key idea behind the construction of the DLS method is a general interpretation of the FWA as a cutting-plane algorithm, from the dual point of view. The DLS algorithm essentially results from a dualization of a specific cutting-plane algorithm, based on projections on some level sets. The DLS algorithm generates a sequence of primal-dual candidates, and we prove that the corresponding primal-dual gap converges with a rate of $O(1/\sqrt{t})$.


title: Fast Decision Algorithms for Efficient Access Point Assignment in SDN-Controlled Wireless Access Networks

abstract: Global optimization of access point (AP) assignment to user terminals requires efficient monitoring of user behavior, fast decision algorithms, efficient control signaling, and fast AP reassignment mechanisms. In this scenario, software defined networking (SDN) technology may be suitable for network monitoring, signaling, and control. We recently proposed embedding virtual switches in user terminals for direct management by an SDN controller, further contributing to SDN-oriented access network optimization. However, since users may restrict terminal-side traffic monitoring for privacy reasons (a common assumption by previous authors), we infer user traffic classes at the APs. On the other hand, since handovers will be more frequent in dense small-cell networks (e.g., mmWave-based 5G deployments will require dense network topologies with inter-site distances of ~150-200 m), the delay to take assignment decisions should be minimal. To this end, we propose taking fast decisions based exclusively on extremely simple network-side application flow-type predictions based on past user behavior. Using real data we show that a centralized allocation algorithm based on those predictions achieves network utilization levels that approximate those of optimal allocations. We also test a distributed version of this algorithm. Finally, we quantify the elapsed time since a user traffic event takes place until its terminal is assigned an AP, when needed.


title: CYCLE: Learning to Self-Refine the Code Generation

abstract: Pre-trained code language models have achieved promising performance in code generation and improved the programming efficiency of human developers. However, their self-refinement capability is typically overlooked by the existing evaluations of code LMs, which focus only on the accuracy of the one-time prediction. For the cases when code LMs fail to implement the correct program, developers actually find it hard to debug and fix the faulty prediction since it is not written by the developers themselves. Unfortunately, our study reveals that code LMs cannot efficiently self-refine their faulty generations as well. In this paper, we propose CYCLE framework, learning to self-refine the faulty generation according to the available feedback, such as the execution results reported by the test suites. We evaluate CYCLE on three popular code generation benchmarks, HumanEval, MBPP, and APPS. The results reveal that CYCLE successfully maintains, sometimes improves, the quality of one-time code generation, while significantly improving the self-refinement capability of code LMs. We implement four variants of CYCLE with varied numbers of parameters across 350M, 1B, 2B, and 3B, and the experiments show that CYCLE consistently boosts the code generation performance, by up to 63.5%, across benchmarks and varied model sizes. We also notice that CYCLE outperforms code LMs that have 3$\times$ more parameters in self-refinement.


title: Ferroelastic control of magnetic domain structure: direct imaging by Magnetic Force Microscopy

abstract: Pyrrhotite, Fe$_7$S$_8$, provides an example of exceptionally strong magnetoelastic coupling through pinning of ferromagnetic domains by ferroelastic twins. Using direct imaging of both magnetic and ferroelastic domains by magnetic force microscopy (MFM), the mechanism by which this coupling controls local magnetic switching behaviour of regions on the pyrrhotite surface is revealed, and leads to quantitative fitting of field dependent MFM phase shifts with bulk magnetometry data. It is shown that characteristic inflection points in the magnetometry data along certain direction, in particular $[\overline 120]^*_h$ of the hexagonal parent structure, are in fact caused by ferroelastic pinning of the magnetic moments.


title: The extended eigenvalues of composition operator on Bergman space and Fock space

abstract: A complex scalar k is said to be an extended eigenvalue of a bounded linear operator A on a complex Hilbert space if there is a nonzero operator X such that AX=kXA. There are some solutions to the problem of computing the extended eigenvalues for composition operators induced on the Fock space and Bergman space by linear fractional transformationsof the complex plane in this paper.


title: Robust Numerical Algebraic Geometry

abstract: The field of numerical algebraic geometry consists of algorithms for numerically solving systems of polynomial equations. When the system is exact, such as having rational coefficients, the solution set is well-defined. However, for a member of a parameterized family of polynomial systems where the parameter values may be measured with imprecision or arise from prior numerical computations, uncertainty may arise in the structure of the solution set, including the number of isolated solutions, the existence of higher dimensional solution components, and the number of irreducible components along with their multiplicities. The loci where these structures change form a stratification of exceptional algebraic sets in the space of parameters. We describe methodologies for making the interpretation of numerical results more robust by searching for nearby parameter values on an exceptional set. We demonstrate these techniques on several illustrative examples and then treat several more substantial problems arising from the kinematics of mechanisms and robots.


title: Full counting statistics of 1d short-range Riesz gases in confinement

abstract: We investigate the full counting statistics (FCS) of a harmonically confined 1d short-range Riesz gas consisting of $N$ particles in equilibrium at finite temperature. The particles interact with each other through a repulsive power-law interaction with an exponent $k>1$ which includes the Calogero-Moser model for $k=2$. We examine the probability distribution of the number of particles in a finite domain $[-W, W]$ called number distribution, denoted by $\mathcal{N}(W, N)$. We analyze the probability distribution of $\mathcal{N}(W, N)$ and show that it exhibits a large deviation form for large $N$ characterised by a speed $N^{\frac{3k+2}{k+2}}$ and by a large deviation function of the fraction $c = \mathcal{N}(W, N)/N$ of the particles inside the domain and $W$. We show that the density profiles that create the large deviations display interesting shape transitions as one varies $c$ and $W$. This is manifested by a third-order phase transition exhibited by the large deviation function that has discontinuous third derivatives. Monte-Carlo (MC) simulations show good agreement with our analytical expressions for the corresponding density profiles. We find that the typical fluctuations of $\mathcal{N}(W, N)$, obtained from our field theoretic calculations are Gaussian distributed with a variance that scales as $N^{\nu_k}$, with $\nu_k = (2-k)/(2+k)$. We also present some numerical findings on the mean and the variance. Furthermore, we adapt our formalism to study the index distribution (where the domain is semi-infinite $(-\infty, W])$, linear statistics (the variance), thermodynamic pressure and bulk modulus.


title: Identifying the electromagnetic counterparts of LISA massive black hole binaries in archival LSST data

abstract: The Vera C. Rubin Observatory's Legacy Survey of Space and Time (LSST) will catalogue the light-curves of up to 100 million quasars. Among these there can be up to approximately 100 ultra-compact massive black hole (MBH) binaries, which 5-15 years later can be detected in gravitational waves (GWs) by the Laser Interferometer Space Antenna (LISA). Here we assume that GWs from a MBH binary have been detected by LISA, and we assess whether or not its electromagnetic (EM) counterpart can be uniquely identified in archival LSST data as a periodic quasar. We use the binary's properties derived from the LISA waveform, such as the past evolution of its orbital frequency, its total mass, distance and sky localization, to predict the redshift, magnitude and historical periodicity of the quasar expected in the archival LSST data. We then use Monte Carlo simulations to compute the false alarm probability, i.e. the number of quasars in the LSST catalogue matching these properties by chance, based on the (extrapolated) quasar luminosity function, the sampling cadence of LSST, and intrinsic ``damped random walk (DRW)" quasar variability. We perform our analysis on four fiducial LISA binaries, with total masses and redshifts of $(M_{\rm bin}/{\rm M_{\odot}},z) = (3\times10^5,0.3)$, $(3\times10^6,0.3)$, $(10^7,0.3)$ and $(10^7,1)$. While DRW noise and aliasing due to LSST's cadence can produce false periodicities by chance, we find that the frequency chirp of the LISA source during the LSST observations washes out these noise peaks and allows the genuine source to stand out in Lomb-Scargle periodograms. We find that all four fiducial binaries yield excellent chances to be uniquely identified, with false alarm probabilities below $10^{-5}$, a week or more before their merger. This then enables deep follow-up EM observations targeting the individual EM counterparts during their inspiral stage.


title: Neutron Stars Mass-Radius relations analysis in the Quintessence scenario

abstract: In this paper, we explore the effects of General Relativity modification on the Mass-Radius relations of Neutron Stars induced by the presence of the Quintessence field. We consider, in particular, the Kiselev model, according to which the Quintessence field, being present in the entire Universe, might also be present around massive objects. Considering the Equation of State (EoS) for Baryonic matter BSk22 derived by A. Y. Potekhin et al., we infer the upper limit for NS masses in the presence of Quintessence. The presence of Quintessence generates a peculiar effect for which the Mass-Radius relation is unvaried and therefore the presence of Quintessence is indistinguishable from ordinary matter, at least for the Kiselev model studied in this paper.


title: General quantum resources provide advantages in work extraction tasks

abstract: We provide a thermodynamic task to certify the general quantum resources of both states and channels via work extraction, showing that general quantum resources provide advantages in work extraction. Such work extraction tasks can be further applied to certify quantum entanglement in a one-sided device-independent way. As an application, we report a novel type of anomalous energy flow -- a type of locally extractable energy that is attributed to the globally distributed entanglement. Finally, we show that the existence of this novel anomalous energy flow is equivalent to measurement incompatibility.


title: Long gamma-ray burst light curves as the result of a common stochastic pulse-avalanche process

abstract: Context. The complexity and variety exhibited by the light curves of long gamma-ray bursts (GRBs) enclose a wealth of information that still awaits being fully deciphered. Despite the tremendous advance in the knowledge of the energetics, structure, and composition of the relativistic jet that results from the core collapse of the progenitor star, the nature of the inner engine, how it powers the relativistic outflow, and the dissipation mechanisms remain open issues. Aims. A promising way to gain insights is describing GRB light curves as the result of a common stochastic process. In the Burst And Transient Source Experiment (BATSE) era, a stochastic pulse avalanche model was proposed and tested through the comparison of ensemble-average properties of simulated and real light curves. Here we aim to revive and further test this model. Methods. We apply it to two independent data sets, BATSE and Swift/BAT, through a machine learning approach: the model parameters are optimised using a genetic algorithm. Results. The average properties are successfully reproduced. Notwithstanding the different populations and passbands of both data sets, the corresponding optimal parameters are interestingly similar. In particular, for both sets the dynamics appears to be close to a critical state, which is key to reproduce the observed variety of time profiles. Conclusions. Our results propel the avalanche character in a critical regime as a key trait of the energy release in GRB engines, which underpins some kind of instability.


title: Many-Objective Evolutionary Influence Maximization: Balancing Spread, Budget, Fairness, and Time

abstract: The Influence Maximization (IM) problem seeks to discover the set of nodes in a graph that can spread the information propagation at most. This problem is known to be NP-hard, and it is usually studied by maximizing the influence (spread) and, optionally, optimizing a second objective, such as minimizing the seed set size or maximizing the influence fairness. However, in many practical scenarios multiple aspects of the IM problem must be optimized at the same time. In this work, we propose a first case study where several IM-specific objective functions, namely budget, fairness, communities, and time, are optimized on top of the maximization of influence and minimization of the seed set size. To this aim, we introduce MOEIM (Many-Objective Evolutionary Algorithm for Influence Maximization) a Multi-Objective Evolutionary Algorithm (MOEA) based on NSGA-II incorporating graph-aware operators and a smart initialization. We compare MOEIM in two experimental settings, including a total of nine graph datasets, two heuristic methods, a related MOEA, and a state-of-the-art Deep Learning approach. The experiments show that MOEIM overall outperforms the competitors in most of the tested many-objective settings. To conclude, we also investigate the correlation between the objectives, leading to novel insights into the topic. The codebase is available at https://github.com/eliacunegatti/MOEIM.


title: Detection of subclinical atherosclerosis by image-based deep learning on chest x-ray

abstract: Aims. To develop a deep-learning based system for recognition of subclinical atherosclerosis on a plain frontal chest x-ray. Methods and Results. A deep-learning algorithm to predict coronary artery calcium (CAC) score (the AI-CAC model) was developed on 460 chest x-ray (80% training cohort, 20% internal validation cohort) of primary prevention patients (58.4% male, median age 63 [51-74] years) with available paired chest x-ray and chest computed tomography (CT) indicated for any clinical reason and performed within 3 months. The CAC score calculated on chest CT was used as ground truth. The model was validated on an temporally-independent cohort of 90 patients from the same institution (external validation). The diagnostic accuracy of the AI-CAC model assessed by the area under the curve (AUC) was the primary outcome. Overall, median AI-CAC score was 35 (0-388) and 28.9% patients had no AI-CAC. AUC of the AI-CAC model to identify a CAC>0 was 0.90 in the internal validation cohort and 0.77 in the external validation cohort. Sensitivity was consistently above 92% in both cohorts. In the overall cohort (n=540), among patients with AI-CAC=0, a single ASCVD event occurred, after 4.3 years. Patients with AI-CAC>0 had significantly higher Kaplan Meier estimates for ASCVD events (13.5% vs. 3.4%, log-rank=0.013). Conclusion. The AI-CAC model seems to accurately detect subclinical atherosclerosis on chest x-ray with elevated sensitivity, and to predict ASCVD events with elevated negative predictive value. Adoption of the AI-CAC model to refine CV risk stratification or as an opportunistic screening tool requires prospective evaluation.


title: The Fubini--Study metric on an `odd' Grassmannian is rigid

abstract: Following the ideas of Gasqui and Goldschmidt, we give an explicit description of the infinitesimal Einstein deformations admitted by the Fubini--Study metric on complex Grassmannians $G_{m}(\mathbb{C}^{n+m})$ with $m,n\geq 2$. The deformations were first shown to exist by Koiso in the 1980s but it has remained an open question as to whether they can be integrated to give genuine deformations of the Fubini--Study metric. We show that when $n+m$ is odd, the answer is no.


title: On the cohomological dimension of kernels of maps to $\mathbb Z$

abstract: We prove that if $G$ is a finitely generated RFRS group of cohomological dimension $2$, then $G$ is virtually free-by-cyclic if and only if $b_2^{(2)}(G) = 0$. This answers a question of Wise and generalises and gives a new proof of a recent theorem of Kielak and Linton, where the same result is obtained under the additional hypotheses that $G$ is virtually compact special and hyperbolic. More generally, we show that if $G$ is a RFRS group of cohomological dimension $n$ and of type $\mathrm{FP}_{n-1}$, then $G$ admits a virtual map to $\mathbb Z$ with kernel of rational cohomological dimension $n-1$ if and only if $b_n^{(2)}(G) = 0$.


title: Symmetries of the Large Scale Structures of the Universe as a Phenomenology of a Fractal Turbulence: The Role of the Plasma Component

abstract: We present a new perspective on the symmetries that govern the formation of large-scale structures across the Universe, particularly focusing on the transition from the seeds of galaxy clusters to the seeds of galaxies themselves. We address two main features of cosmological fluid dynamics pertaining to both the linear and non-linear regimes. The linear dynamics of cosmological perturbations within the Hubble horizon is characterized by the Jeans length, which separates stable configurations from unstable fluctuations due to the gravitational effect on sufficiently large (and therefore, massive enough) overdensities. On the other hand, the non-linear dynamics of the cosmological fluid is associated with a turbulent behavior once the Reynolds numbers reach a sufficiently high level. This turbulent regime leads to energy dissipation across smaller and smaller scales, resulting in a fractal distribution of eddies throughout physical space. The proposed scenario suggests that the spatial scale of eddy formation is associated with the Jeans length of various levels of fragmentation from an original large-scale structure. By focusing on the fragmentation of galaxy cluster seeds versus galaxy seeds, we arrived at a phenomenological law that links the ratio of the two structure densities to the number of galaxies in each cluster and to the Hausdorff number of the Universe matter distribution. Finally, we introduced a primordial magnetic field and studied its influence on the Jeans length dynamics. The resulting anisotropic behavior of the density contrast led us to infer that the main features of the turbulence could be reduced to a 2D Euler equation. Numerical simulations showed that the two lowest wavenumbers contained the major energy contribution of the spectrum.


title: MLDT: Multi-Level Decomposition for Complex Long-Horizon Robotic Task Planning with Open-Source Large Language Model

abstract: In the realm of data-driven AI technology, the application of open-source large language models (LLMs) in robotic task planning represents a significant milestone. Recent robotic task planning methods based on open-source LLMs typically leverage vast task planning datasets to enhance models' planning abilities. While these methods show promise, they struggle with complex long-horizon tasks, which require comprehending more context and generating longer action sequences. This paper addresses this limitation by proposing MLDT, theMulti-Level Decomposition Task planning method. This method innovatively decomposes tasks at the goal-level, task-level, and action-level to mitigate the challenge of complex long-horizon tasks. In order to enhance open-source LLMs' planning abilities, we introduce a goal-sensitive corpus generation method to create high-quality training data and conduct instruction tuning on the generated corpus. Since the complexity of the existing datasets is not high enough, we construct a more challenging dataset, LongTasks, to specifically evaluate planning ability on complex long-horizon tasks. We evaluate our method using various LLMs on four datasets in VirtualHome. Our results demonstrate a significant performance enhancement in robotic task planning, showcasing MLDT's effectiveness in overcoming the limitations of existing methods based on open-source LLMs as well as its practicality in complex, real-world scenarios.


title: MATTopo: Topology-preserving Medial Axis Transform with Restricted Power Diagram

abstract: We present a novel topology-preserving 3D medial axis computation framework based on volumetric restricted power diagram (RPD), while preserving the medial features and geometric convergence simultaneously, for both 3D CAD and organic shapes. The volumetric RPD discretizes the input 3D volume into sub-regions given a set of medial spheres. With this intermediate structure, we convert the homotopy equivalency between the generated medial mesh and the input 3D shape into a localized contractibility checking for each restricted element (power cell, power face, power edge), by checking their connected components and Euler characteristics. We further propose a fractional Euler characteristic algorithm for efficient GPU-based computation of Euler characteristic for each restricted element on the fly while computing the volumetric RPD. Compared with existing voxel-based or point-cloud-based methods, our approach is the first to adaptively and directly revise the medial mesh without globally modifying the dependent structure, such as voxel size or sampling density, while preserving its topology and medial features. In comparison with the feature preservation method MATFP, our method provides geometrically comparable results with fewer spheres and more robustly captures the topology of the input 3D shape.


title: ModaLink: Unifying Modalities for Efficient Image-to-PointCloud Place Recognition

abstract: Place recognition is an important task for robots and autonomous cars to localize themselves and close loops in pre-built maps. While single-modal sensor-based methods have shown satisfactory performance, cross-modal place recognition that retrieving images from a point-cloud database remains a challenging problem. Current cross-modal methods transform images into 3D points using depth estimation for modality conversion, which are usually computationally intensive and need expensive labeled data for depth supervision. In this work, we introduce a fast and lightweight framework to encode images and point clouds into place-distinctive descriptors. We propose an effective Field of View (FoV) transformation module to convert point clouds into an analogous modality as images. This module eliminates the necessity for depth estimation and helps subsequent modules achieve real-time performance. We further design a non-negative factorization-based encoder to extract mutually consistent semantic features between point clouds and images. This encoder yields more distinctive global descriptors for retrieval. Experimental results on the KITTI dataset show that our proposed methods achieve state-of-the-art performance while running in real time. Additional evaluation on the HAOMO dataset covering a 17 km trajectory further shows the practical generalization capabilities. We have released the implementation of our methods as open source at: https://github.com/haomo-ai/ModaLink.git.


title: Duality for Hodge-Witt cohomology with modulus

abstract: Given an effective Cartier divisor D with simple normal crossing support on a smooth and proper scheme X over a perfect field of positive characteristic p, there is a natural notion of de Rham-Witt sheaves on X with zeros along D. We show that these sheaves correspond under Grothendieck duality for coherent sheaves to de Rham-Witt sheaves on X with modulus (X,D), as defined in the theory of cube invariant modulus sheaves with transfers developed by Kahn-Miyazaki-Saito-Yamazaki. From this we deduce refined versions of Ekedahl - and Poincar\'e duality for crystalline cohomology generalizing results of Mokrane and Nakkajima for reduced D, and a modulus version of Milne-Kato duality for \'etale motivic cohomology with p-primary torsion coefficients, which refines a result of Jannsen-Saito-Zhao. We furthermore get new integral models for rigid cohomology with compact supports on the complement of D and a modulus version of Milne's perfect Brauer group pairing for smooth projective surfaces over finite fields.


title: Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

abstract: As the development of autonomous vehicles progresses, efficient safety assurance methods become increasingly necessary. Safety assurance methods such as monitoring and scenario-based testing call for formalisation of driving scenarios. In this paper, we develop a temporal-logic formalisation of an important class of critical scenarios in the ISO standard 34502. We use signal temporal logic (STL) as a logical formalism. Our formalisation has two main features: 1) modular composition of logical formulas for systematic and comprehensive formalisation (following the compositional methodology of ISO 34502); 2) use of the RSS distance for defining danger. We find our formalisation comes with few parameters to tune thanks to the RSS distance. We experimentally evaluated our formalisation; using its results, we discuss the validity of our formalisation and its stability with respect to the choice of some parameter values.


title: CaT: Constraints as Terminations for Legged Locomotion Reinforcement Learning

abstract: Deep Reinforcement Learning (RL) has demonstrated impressive results in solving complex robotic tasks such as quadruped locomotion. Yet, current solvers fail to produce efficient policies respecting hard constraints. In this work, we advocate for integrating constraints into robot learning and present Constraints as Terminations (CaT), a novel constrained RL algorithm. Departing from classical constrained RL formulations, we reformulate constraints through stochastic terminations during policy learning: any violation of a constraint triggers a probability of terminating potential future rewards the RL agent could attain. We propose an algorithmic approach to this formulation, by minimally modifying widely used off-the-shelf RL algorithms in robot learning (such as Proximal Policy Optimization). Our approach leads to excellent constraint adherence without introducing undue complexity and computational overhead, thus mitigating barriers to broader adoption. Through empirical evaluation on the real quadruped robot Solo crossing challenging obstacles, we demonstrate that CaT provides a compelling solution for incorporating constraints into RL frameworks. Videos and code are available at https://constraints-as-terminations.github.io.


title: Superior Parallel Big Data Clustering through Competitive Stochastic Sample Size Optimization in Big-means

abstract: This paper introduces a novel K-means clustering algorithm, an advancement on the conventional Big-means methodology. The proposed method efficiently integrates parallel processing, stochastic sampling, and competitive optimization to create a scalable variant designed for big data applications. It addresses scalability and computation time challenges typically faced with traditional techniques. The algorithm adjusts sample sizes dynamically for each worker during execution, optimizing performance. Data from these sample sizes are continually analyzed, facilitating the identification of the most efficient configuration. By incorporating a competitive element among workers using different sample sizes, efficiency within the Big-means algorithm is further stimulated. In essence, the algorithm balances computational time and clustering quality by employing a stochastic, competitive sampling strategy in a parallel computing setting.


title: The best approximation pair problem relative to two subsets in a normed space

abstract: In the classical best approximation pair (BAP) problem, one is given two nonempty, closed, convex and disjoint subsets in a finite- or an infinite-dimensional Hilbert space, and the goal is to find a pair of points, each from each subset, which realizes the distance between the subsets. This problem, which has a long history, has found applications in science and technology. We discuss the problem in more general normed spaces and with possibly non-convex subsets, and focus our attention on the issues of uniqueness and existence of the solution to the problem. To the best of our knowledge these fundamental issues have not received much attention. In particular, we present several sufficient geometric conditions for the (at most) uniqueness of a BAP relative to these subsets. These conditions are related to the structure of the boundaries of the subsets, their relative orientation, and the structure of the unit sphere of the space. In addition, we present many sufficient conditions for the existence of a BAP, possibly without convexity . Our results allow us to significantly extend the horizon of the recent alternating simultaneous Halpern-Lions-Wittmann-Bauschke (A-S-HLWB) algorithm [Censor, Mansour and Reem, The alternating simultaneous Halpern-Lions-Wittmann-Bauschke algorithm for finding the best approximation pair for two disjoint intersections of convex sets, arXiv:2304.09600 (2023)] for solving the BAP problem.


title: Efficient Generation of Multi-partite Entanglement between Non-local Superconducting Qubits using Classical Feedback

abstract: Quantum entanglement is one of the primary features which distinguishes quantum computers from classical computers. In gate-based quantum computing, the creation of entangled states or the distribution of entanglement across a quantum processor often requires circuit depths which grow with the number of entangled qubits. However, in teleportation-based quantum computing, one can deterministically generate entangled states with a circuit depth that is constant in the number of qubits, provided that one has access to an entangled resource state, the ability to perform mid-circuit measurements, and can rapidly transmit classical information. In this work, aided by fast classical FPGA-based control hardware with a feedback latency of only 150 ns, we explore the utility of teleportation-based protocols for generating non-local, multi-partite entanglement between superconducting qubits. First, we demonstrate well-known protocols for generating Greenberger-Horne-Zeilinger (GHZ) states and non-local CNOT gates in constant depth. Next, we utilize both protocols for implementing an unbounded fan-out (i.e., controlled-NOT-NOT) gate in constant depth between three non-local qubits. Finally, we demonstrate deterministic state teleportation and entanglement swapping between qubits on opposite side of our quantum processor.


title: Improved Neural Protoform Reconstruction via Reflex Prediction

abstract: Protolanguage reconstruction is central to historical linguistics. The comparative method, one of the most influential theoretical and methodological frameworks in the history of the language sciences, allows linguists to infer protoforms (reconstructed ancestral words) from their reflexes (related modern words) based on the assumption of regular sound change. Not surprisingly, numerous computational linguists have attempted to operationalize comparative reconstruction through various computational models, the most successful of which have been supervised encoder-decoder models, which treat the problem of predicting protoforms given sets of reflexes as a sequence-to-sequence problem. We argue that this framework ignores one of the most important aspects of the comparative method: not only should protoforms be inferable from cognate sets (sets of related reflexes) but the reflexes should also be inferable from the protoforms. Leveraging another line of research -- reflex prediction -- we propose a system in which candidate protoforms from a reconstruction model are reranked by a reflex prediction model. We show that this more complete implementation of the comparative method allows us to surpass state-of-the-art protoform reconstruction methods on three of four Chinese and Romance datasets.


title: Rogue curves in the Davey-Stewartson I equation

abstract: We report new rogue wave patterns whose wave crests form closed or open curves in the spatial plane, which we call rogue curves, in the Davey-Stewartson I equation. These rogue curves come in various striking shapes, such as rings, double rings, and many others. They emerge from a uniform background (possibly with a few lumps on it), reach high amplitude in such striking shapes, and then disappear into the same background again. We reveal that these rogue curves would arise when an internal parameter in bilinear expressions of the rogue waves is real and large. Analytically, we show that these rogue curves are predicted by root curves of certain types of double-real-variable polynomials. We compare analytical predictions of rogue curves to true solutions and demonstrate good agreement between them.


title: CheckEval: Robust Evaluation Framework using Large Language Model via Checklist

abstract: We introduce CheckEval, a novel evaluation framework using Large Language Models, addressing the challenges of ambiguity and inconsistency in current evaluation methods. CheckEval addresses these challenges by dividing evaluation criteria into detailed sub-aspects and constructing a checklist of Boolean questions for each, simplifying the evaluation. This approach not only renders the process more interpretable but also significantly enhances the robustness and reliability of results by focusing on specific evaluation dimensions. Validated through a focused case study using the SummEval benchmark, CheckEval indicates a strong correlation with human judgments. Furthermore, it demonstrates a highly consistent Inter-Annotator Agreement. These findings highlight the effectiveness of CheckEval for objective, flexible, and precise evaluations. By offering a customizable and interactive framework, CheckEval sets a new standard for the use of LLMs in evaluation, responding to the evolving needs of the field and establishing a clear method for future LLM-based evaluation.


title: Non-local quantum field theory from doubly special relativity

abstract: Non-local quantum field theories could be a solution to the inconsistencies arising when quantizing gravity. Doubly special relativity is regarded as a low-energy limit of a quantum gravity theory with testable predictions. We present a new formulation of quantum field theories in doubly special relativity with non-local behavior. Our construction restricts the models to those showing linear Lorentz invariance. The deformed Klein--Gordon, Dirac, and electromagnetic Lagrangians are derived. The deformed Maxwell equations and the electric potential of a point charge are discussed.


title: On the equivalence of all notions of generalized derivations whose domain is a C$^{\ast}$-algebra

abstract: Let $\mathcal{M}$ be a Banach bimodule over an associative Banach algebra $\mathcal{A}$, and let $F: \mathcal{A}\to \mathcal{M}$ be a linear mapping. Three main uses of the term \emph{generalized derivation} are identified in the available literature, namely, ($\checkmark$) $F$ is a generalized derivation of the first type if there exists a derivation $ d : \mathcal{A}\to \mathcal{M}$ satisfying $F(a b ) = F(a) b + a d(b)$ for all $a,b\in \mathcal{A}$. ($\checkmark$) $F$ is a generalized derivation of the second type if there exists an element $\xi\in \mathcal{M}^{**}$ satisfying $F(a b ) = F(a) b + a F(b) - a \xi b$ for all $a,b\in \mathcal{A}$. ($\checkmark$) $F$ is a generalized derivation of the third type if there exist two (non-necessarily linear) mappings $G,H : \mathcal{A}\to \mathcal{M}$ satisfying $F(a b ) = G(a) b + a H(b)$ for all $a,b\in \mathcal{A}$. There are examples showing that these three definitions are not, in general, equivalent. Despite that the first two notions are well studied when $\mathcal{A}$ is a C$^*$-algebra, it is not known if the three notions are equivalent under these special assumptions. In this note we prove that every generalized derivation of the third type whose domain is a C$^*$-algebra is automatically continuous. We also prove that every (continuous) generalized derivation of the third type from a C$^*$-algebra $\mathcal{A}$ into a general Banach $\mathcal{A}$-bimodule is a generalized derivation of the first and second type. In particular, the three notions coincide in this case. We also explore the possible notions of generalized Jordan derivations on a C$^*$-algebra and establish some continuity properties for them.


title: RAW: A Robust and Agile Plug-and-Play Watermark Framework for AI-Generated Images with Provable Guarantees

abstract: Safeguarding intellectual property and preventing potential misuse of AI-generated images are of paramount importance. This paper introduces a robust and agile plug-and-play watermark detection framework, dubbed as RAW. As a departure from traditional encoder-decoder methods, which incorporate fixed binary codes as watermarks within latent representations, our approach introduces learnable watermarks directly into the original image data. Subsequently, we employ a classifier that is jointly trained with the watermark to detect the presence of the watermark. The proposed framework is compatible with various generative architectures and supports on-the-fly watermark injection after training. By incorporating state-of-the-art smoothing techniques, we show that the framework provides provable guarantees regarding the false positive rate for misclassifying a watermarked image, even in the presence of certain adversarial attacks targeting watermark removal. Experiments on a diverse range of images generated by state-of-the-art diffusion models reveal substantial performance enhancements compared to existing approaches. For instance, our method demonstrates a notable increase in AUROC, from 0.48 to 0.82, when compared to state-of-the-art approaches in detecting watermarked images under adversarial attacks, while maintaining image quality, as indicated by closely aligned FID and CLIP scores.


title: ImageNet-D: Benchmarking Neural Network Robustness on Diffusion Synthetic Object

abstract: We establish rigorous benchmarks for visual perception robustness. Synthetic images such as ImageNet-C, ImageNet-9, and Stylized ImageNet provide specific type of evaluation over synthetic corruptions, backgrounds, and textures, yet those robustness benchmarks are restricted in specified variations and have low synthetic quality. In this work, we introduce generative model as a data source for synthesizing hard images that benchmark deep models' robustness. Leveraging diffusion models, we are able to generate images with more diversified backgrounds, textures, and materials than any prior work, where we term this benchmark as ImageNet-D. Experimental results show that ImageNet-D results in a significant accuracy drop to a range of vision models, from the standard ResNet visual classifier to the latest foundation models like CLIP and MiniGPT-4, significantly reducing their accuracy by up to 60\%. Our work suggests that diffusion models can be an effective source to test vision models. The code and dataset are available at https://github.com/chenshuang-zhang/imagenet_d.


title: Breaking the Limitations with Sparse Inputs by Variational Frameworks (BLIss) in Terahertz Super-Resolution 3D Reconstruction

abstract: Data acquisition, image processing, and image quality are the long-lasting issues for terahertz (THz) 3D reconstructed imaging. Existing methods are primarily designed for 2D scenarios, given the challenges associated with obtaining super-resolution (SR) data and the absence of an efficient SR 3D reconstruction framework in conventional computed tomography (CT). Here, we demonstrate BLIss, a new approach for THz SR 3D reconstruction with sparse 2D data input. BLIss seamlessly integrates conventional CT techniques and variational framework with the core of the adapted Euler-Elastica-based model. The quantitative 3D image evaluation metrics, including the standard deviation of Gaussian, mean curvatures, and the multi-scale structural similarity index measure (MS-SSIM), validate the superior smoothness and fidelity achieved with our variational framework approach compared with conventional THz CT modal. Beyond its contributions to advancing THz SR 3D reconstruction, BLIss demonstrates potential applicability in other imaging modalities, such as X-ray and MRI. This suggests extensive impacts on the broader field of imaging applications.


title: New Graph and Hypergraph Container Lemmas with Applications in Property Testing

abstract: The graph and hypergraph container methods are powerful tools with a wide range of applications across combinatorics. Recently, Blais and Seth (FOCS 2023) showed that the graph container method is particularly well-suited for the analysis of the natural canonical tester for two fundamental graph properties: having a large independent set and $k$-colorability. In this work, we show that the connection between the container method and property testing extends further along two different directions. First, we show that the container method can be used to analyze the canonical tester for many other properties of graphs and hypergraphs. We introduce a new hypergraph container lemma and use it to give an upper bound of $\widetilde{O}(kq^3/\epsilon)$ on the sample complexity of $\epsilon$-testing satisfiability, where $q$ is the number of variables per constraint and $k$ is the size of the alphabet. This is the first upper bound for the problem that is polynomial in all of $k$, $q$ and $1/\epsilon$. As a corollary, we get new upper bounds on the sample complexity of the canonical testers for hypergraph colorability and for every semi-homogeneous graph partition property. Second, we show that the container method can also be used to study the query complexity of (non-canonical) graph property testers. This result is obtained by introducing a new container lemma for the class of all independent set stars, a strict superset of the class of all independent sets. We use this container lemma to give a new upper bound of $\widetilde{O}(\rho^5/\epsilon^{7/2})$ on the query complexity of $\epsilon$-testing the $\rho$-independent set property. This establishes for the first time the non-optimality of the canonical tester for a non-homogeneous graph partition property.


title: 3P-LLM: Probabilistic Path Planning using Large Language Model for Autonomous Robot Navigation

abstract: Much worldly semantic knowledge can be encoded in large language models (LLMs). Such information could be of great use to robots that want to carry out high-level, temporally extended commands stated in natural language. However, the lack of real-world experience that language models have is a key limitation that makes it challenging to use them for decision-making inside a particular embodiment. This research assesses the feasibility of using LLM (GPT-3.5-turbo chatbot by OpenAI) for robotic path planning. The shortcomings of conventional approaches to managing complex environments and developing trustworthy plans for shifting environmental conditions serve as the driving force behind the research. Due to the sophisticated natural language processing abilities of LLM, the capacity to provide effective and adaptive path-planning algorithms in real-time, great accuracy, and few-shot learning capabilities, GPT-3.5-turbo is well suited for path planning in robotics. In numerous simulated scenarios, the research compares the performance of GPT-3.5-turbo with that of state-of-the-art path planners like Rapidly Exploring Random Tree (RRT) and A*. We observed that GPT-3.5-turbo is able to provide real-time path planning feedback to the robot and outperforms its counterparts. This paper establishes the foundation for LLM-powered path planning for robotic systems.


title: IR Spectroscopy of Carboxylate-Passivated Semiconducting Nanocrystals: Simulation and Experiment

abstract: Surfaces of colloidal nanocrystals are frequently passivated with carboxylate ligands which exert significant effects on their optoelectronic properties and chemical stability. Experimentally, binding geometries of such ligands are typically investigated using vibrational spectroscopy, but the interpretation of the IR signal is usually not trivial. Here, using machine-learning (ML) algorithms trained on DFT data, we simulate an IR spectrum of a lead-rich PbS nanocrystal passivated with butyrate ligands. We obtain a good agreement with the experimental signal and demonstrate that the observed line shape stems from a very wide range of `tilted-bridge'-type geometries and does not indicate a coexistence of `bridging' and `chelating' binding modes as has been previously assumed. This work illustrates limitations of empirical spectrum assignment and demonstrates the effectiveness of ML-driven molecular dynamics simulations in reproducing IR spectra of nanoscopic systems.


title: Universal bounds on the entropy of toroidal attractors

abstract: A toroidal set is a compactum $K \subseteq \mathbb{R}^3$ which has a neighbourhood basis of solid tori. We study the topological entropy of toroidal attractors $K$, bounding it from below in terms of purely topological properties of $K$. In particular, we show that for a toroidal set $K$, either any smooth attracting dynamics on $K$ has an entropy at least $\log 2$, or (up to continuation) $K$ admits smooth attracting dynamics which are stationary (hence with a zero entropy).


title: Hypergraph Unreliability in Quasi-Polynomial Time

abstract: The hypergraph unreliability problem asks for the probability that a hypergraph gets disconnected when every hyperedge fails independently with a given probability. For graphs, the unreliability problem has been studied over many decades, and multiple fully polynomial-time approximation schemes are known starting with the work of Karger (STOC 1995). In contrast, prior to this work, no non-trivial result was known for hypergraphs (of arbitrary rank). In this paper, we give quasi-polynomial time approximation schemes for the hypergraph unreliability problem. For any fixed $\varepsilon \in (0, 1)$, we first give a $(1+\varepsilon)$-approximation algorithm that runs in $m^{O(\log n)}$ time on an $m$-hyperedge, $n$-vertex hypergraph. Then, we improve the running time to $m\cdot n^{O(\log^2 n)}$ with an additional exponentially small additive term in the approximation.


title: Beyond boundaries: Gary Lorden's groundbreaking contributions to sequential analysis

abstract: Gary Lorden provided a number of fundamental and novel insights to sequential hypothesis testing and changepoint detection. In this article we provide an overview of Lorden's contributions in the context of existing results in those areas, and some extensions made possible by Lorden's work, mentioning also areas of application including threat detection in physical-computer systems, near-Earth space informatics, epidemiology, clinical trials, and finance.


title: Towards a World-English Language Model for On-Device Virtual Assistants

abstract: Neural Network Language Models (NNLMs) for Virtual Assistants (VAs) are generally language-, region-, and in some cases, device-dependent, which increases the effort to scale and maintain them. Combining NNLMs for one or more of the categories is one way to improve scalability. In this work, we combine regional variants of English to build a ``World English'' NNLM for on-device VAs. In particular, we investigate the application of adapter bottlenecks to model dialect-specific characteristics in our existing production NNLMs {and enhance the multi-dialect baselines}. We find that adapter modules are more effective in modeling dialects than specializing entire sub-networks. Based on this insight and leveraging the design of our production models, we introduce a new architecture for World English NNLM that meets the accuracy, latency, and memory constraints of our single-dialect models.


title: SplatFace: Gaussian Splat Face Reconstruction Leveraging an Optimizable Surface

abstract: We present SplatFace, a novel Gaussian splatting framework designed for 3D human face reconstruction without reliance on accurate pre-determined geometry. Our method is designed to simultaneously deliver both high-quality novel view rendering and accurate 3D mesh reconstructions. We incorporate a generic 3D Morphable Model (3DMM) to provide a surface geometric structure, making it possible to reconstruct faces with a limited set of input images. We introduce a joint optimization strategy that refines both the Gaussians and the morphable surface through a synergistic non-rigid alignment process. A novel distance metric, splat-to-surface, is proposed to improve alignment by considering both the Gaussian position and covariance. The surface information is also utilized to incorporate a world-space densification process, resulting in superior reconstruction quality. Our experimental analysis demonstrates that the proposed method is competitive with both other Gaussian splatting techniques in novel view synthesis and other 3D reconstruction methods in producing 3D face meshes with high geometric precision.


title: Measuring the Lense-Thirring precession and the neutron star moment of inertia with pulsars

abstract: Neutron stars (NSs) are compact objects that host the densest forms of matter in the observable universe, providing unique opportunities to study the behaviour of matter at extreme densities. While precision measurements of NS masses through pulsar timing have imposed effective constraints on the equation of state (EoS) of dense matter, accurately determining the radius or moment of inertia (MoI) of a NS remains a major challenge. This article presents a detailed review on measuring the Lense-Thirring (LT) precession effect in the orbit of binary pulsars, which would give access to the MoI of NSs and offer further constraints on the EoS. We discuss the suitability of certain classes of binary pulsars for measuring the LT precession from the perspective of binary star evolution, and highlight five pulsars that exhibit properties promising to realise these goals in the near future. Finally, discoveries of compact binaries with shorter orbital periods hold the potential to greatly enhance measurements of the MoI of NSs. The MoI measurements of binary pulsars are pivotal to advancing our understanding of matter at supranuclear densities as well as improving the precision of gravity tests, such as the orbital decay due to gravitational wave emission and of tests of alternative gravity theories.


title: Structure and thermodynamics of supported lipid membranes on hydrophobic van der Waals surfaces

abstract: Understanding the adsorption and physical characteristics of supported lipid membranes is crucial for their effective use as model cell membranes. Their morphological and thermodynamic properties at the nanoscale have traditionally been studied on hydrophilic substrates, such as mica and silicon oxide, which have proved to facilitate the reconstruction of biomembranes. However, in more recent years, with the advent of the van der Waals crystals technology, two-dimensional crystals such as graphene have been proposed as potential substrates in biosensing devices. Membranes formed on these crystals are expected to behave differently owing to their intrinsic hydrophobicity, however thus far knowledge of their morphological and thermodynamic properties is lacking. Here we present a comprehensive nanoscale analysis of the adsorption of phosphatidylcholine lipid monolayers on two of the most commonly used van der Waals crystals, graphite and hexagonal boron nitride. Both morphological and thermodynamic properties of the lipid membranes were investigated using temperature-controlled atomic force microscopy. Our experiments show that the lipids adsorb onto the crystals, forming monolayers with their orientation dependent upon their concentration. Furthermore, we found that the hydrophobicity of van der Waals crystals determines a strong increase in the transition temperature of the lipid monolayer compared to that observed on hydrophilic substrates. These results are important for understanding the properties of lipid membranes at solid surfaces and extending their use to novel drug delivery and biosensing devices made of van der Waals crystals.

categories: cond-mat.soft cond-mat.mes-hall physics.bio-ph physics.chem-ph


title: Universality classes for percolation models with long-range correlations

abstract: We consider a class of percolation models where the local occupation variables have long-range correlations decaying as a power law $\sim r^{-a}$ at large distances $r$, for some $0< a< d$ where $d$ is the underlying spatial dimension. For several of these models, we present both, rigorous analytical results and matching simulations that determine the critical exponents characterizing the fixed point associated to their phase transition, which is of second order. The exact values we obtain are rational functions of the two parameters $a$ and $d$ alone, and do not depend on the specifics of the model.


title: Peregrine: ML-based Malicious Traffic Detection for Terabit Networks

abstract: Malicious traffic detectors leveraging machine learning (ML), namely those incorporating deep learning techniques, exhibit impressive detection capabilities across multiple attacks. However, their effectiveness becomes compromised when deployed in networks handling Terabit-speed traffic. In practice, these systems require substantial traffic sampling to reconcile the high data plane packet rates with the comparatively slower processing speeds of ML detection. As sampling significantly reduces traffic observability, it fundamentally undermines their detection capability. We present Peregrine, an ML-based malicious traffic detector for Terabit networks. The key idea is to run the detection process partially in the network data plane. Specifically, we offload the detector's ML feature computation to a commodity switch. The Peregrine switch processes a diversity of features per-packet, at Tbps line rates - three orders of magnitude higher than the fastest detector - to feed the ML-based component in the control plane. Our offloading approach presents a distinct advantage. While, in practice, current systems sample raw traffic, in Peregrine sampling occurs after feature computation. This essential trait enables computing features over all traffic, significantly enhancing detection performance. The Peregrine detector is not only effective for Terabit networks, but it is also energy- and cost-efficient. Further, by shifting a compute-heavy component to the switch, it saves precious CPU cycles and improves detection throughput.


title: Constraining primordial non-Gaussianity from the large scale structure two-point and three-point correlation functions

abstract: Surveys of cosmological large-scale structure (LSS) are sensitive to the presence of local primordial non-Gaussianity (PNG), and may be used to constrain models of inflation. Local PNG, characterized by fNL, the amplitude of the quadratic correction to the potential of a Gaussian random field, is traditionally measured from LSS two-point and three-point clustering via the power spectrum and bi-spectrum. We propose a framework to measure fNL using the configuration space two-point correlation function (2pcf) monopole and three-point correlation function (3pcf) monopole of survey tracers. Our model estimates the effect of the scale-dependent bias induced by the presence of PNG on the 2pcf and 3pcf from the clustering of simulated dark matter halos. We describe how this effect may be scaled to an arbitrary tracer of the cosmological matter density. The 2pcf and 3pcf of this tracer are measured to constrain the value of fNL. Using simulations of luminous red galaxies observed by the Dark Energy Spectroscopic Instrument (DESI), we demonstrate the accuracy and constraining power of our model, and forecast the ability to constrainfNL to a precision of sigma(fNL) = 22 with one year of DESI survey data.


title: Squeezing below the ground state of motion of a continuously monitored levitating nanoparticle

abstract: Squeezing is a crucial resource for quantum information processing and quantum sensing. In levitated nanomechanics, squeezed states of motion can be generated via temporal control of the trapping frequency of a massive particle. However, the amount of achievable squeezing typically suffers from detrimental environmental effects. We analyze the performance of a scheme that, by embedding careful time-control of trapping potentials and fully accounting for the most relevant sources of noise -- including measurement backaction -- achieves significant levels of mechanical squeezing. The feasibility of our proposal, which is close to experimental state-of-the-art, makes it a valuable tool for quantum state engineering.


title: Object Pose Estimation via the Aggregation of Diffusion Features

abstract: Estimating the pose of objects from images is a crucial task of 3D scene understanding, and recent approaches have shown promising results on very large benchmarks. However, these methods experience a significant performance drop when dealing with unseen objects. We believe that it results from the limited generalizability of image features. To address this problem, we have an in-depth analysis on the features of diffusion models, e.g. Stable Diffusion, which hold substantial potential for modeling unseen objects. Based on this analysis, we then innovatively introduce these diffusion features for object pose estimation. To achieve this, we propose three distinct architectures that can effectively capture and aggregate diffusion features of different granularity, greatly improving the generalizability of object pose estimation. Our approach outperforms the state-of-the-art methods by a considerable margin on three popular benchmark datasets, LM, O-LM, and T-LESS. In particular, our method achieves higher accuracy than the previous best arts on unseen objects: 98.2% vs. 93.5% on Unseen LM, 85.9% vs. 76.3% on Unseen O-LM, showing the strong generalizability of our method. Our code is released at https://github.com/Tianfu18/diff-feats-pose.


title: The relative prevalence of wave-packets and coherent structures in the inertial and kinetic ranges of turbulence as seen by Solar Orbiter

abstract: The Solar Orbiter (SO) mission provides the opportunity to study the evolution of solar wind turbulence. We use SO observations of nine extended intervals of homogeneous turbulence to determine when turbulent magnetic field fluctuations may be characterized as: (i) wave-packets and (ii) coherent structures (CS). We perform the first systematic scale-by-scale decomposition of the magnetic field using two wavelets known to resolve wave-packets and discontinuities, the Daubechies 10 (Db10) and Haar respectively. The probability distributions (pdfs) of turbulent fluctuations on small scales exhibit stretched tails, becoming Gaussian at the outer scale of the cascade. Using quantile-quantile plots, we directly compare the wavelet fluctuations pdfs, revealing three distinct regimes of behaviour. Deep within the inertial range (IR) both decompositions give essentially the same fluctuation pdfs. Deep within the kinetic range (KR) the pdfs are distinct as the Haar wavelet fluctuations have larger variance and more extended tails. On intermediate scales, spanning the IR-KR break, the pdf is composed of two populations: a core of common functional form containing $\sim97\%$ of fluctuations, and tails which are more extended for Haar fluctuations than Db10 fluctuations. This establishes a crossover between wave-packet (core) and CS (tail) phenomenology in the IR and KR respectively. The range of scales where the pdfs are $2$-component is narrow at $0.9$ au ($4-16$ s) and broader ($0.5-8$ s) at $0.4$ au. As CS and wave-wave interactions are both candidates to mediate the turbulent cascade, these results offer new insights into the distinct physics of the IR and KR.


title: Theory of quantum error mitigation for non-Clifford gates

abstract: Quantum error mitigation techniques mimic noiseless quantum circuits by running several related noisy circuits and combining their outputs in particular ways. How well such techniques work is thought to depend strongly on how noisy the underlying gates are. Weakly-entangling gates, like $R_{ZZ}(\theta)$ for small angles $\theta$, can be much less noisy than entangling Clifford gates, like CNOT and CZ, and they arise naturally in circuits used to simulate quantum dynamics. However, such weakly-entangling gates are non-Clifford, and are therefore incompatible with two of the most prominent error mitigation techniques to date: probabilistic error cancellation (PEC) and the related form of zero-noise extrapolation (ZNE). This paper generalizes these techniques to non-Clifford gates, and comprises two complementary parts. The first part shows how to effectively transform any given quantum channel into (almost) any desired channel, at the cost of a sampling overhead, by adding random Pauli gates and processing the measurement outcomes. This enables us to cancel or properly amplify noise in non-Clifford gates, provided we can first characterize such gates in detail. The second part therefore introduces techniques to do so for noisy $R_{ZZ}(\theta)$ gates. These techniques are robust to state preparation and measurement (SPAM) errors, and exhibit concentration and sensitivity--crucial features in many experiments. They are related to randomized benchmarking, and may also be of interest beyond the context of error mitigation. We find that while non-Clifford gates can be less noisy than related Cliffords, their noise is fundamentally more complex, which can lead to surprising and sometimes unwanted effects in error mitigation. Whether this trade-off can be broadly advantageous remains to be seen.


title: Evaluation of transition rates from nonequilibrium instantons

abstract: Equilibrium rate theories play a crucial role in understanding rare, reactive events. However, they are inapplicable to a range of irreversible processes in systems driven far from thermodynamic equilibrium like active and biological matter. Here, we develop a general, computationally efficient nonequilibrium rate theory in the weak-noise limit based on an instanton approximation to the stochastic path integral and illustrate its wide range of application in the study of rare nonequilibrium events. We demonstrate excellent agreement of the instanton rates with numerically exact results for a particle under a non-conservative force. We also study phase transitions in an active field theory. We elucidate how activity alters the stability of the two phases and their rates of interconversion in a manner that can be well-described by modifying classical nucleation theory


title: Gamba: Marry Gaussian Splatting with Mamba for single view 3D reconstruction

abstract: We tackle the challenge of efficiently reconstructing a 3D asset from a single image at millisecond speed. Existing methods for single-image 3D reconstruction are primarily based on Score Distillation Sampling (SDS) with Neural 3D representations. Despite promising results, these approaches encounter practical limitations due to lengthy optimizations and significant memory consumption. In this work, we introduce Gamba, an end-to-end 3D reconstruction model from a single-view image, emphasizing two main insights: (1) Efficient Backbone Design: introducing a Mamba-based GambaFormer network to model 3D Gaussian Splatting (3DGS) reconstruction as sequential prediction with linear scalability of token length, thereby accommodating a substantial number of Gaussians; (2) Robust Gaussian Constraints: deriving radial mask constraints from multi-view masks to eliminate the need for warmup supervision of 3D point clouds in training. We trained Gamba on Objaverse and assessed it against existing optimization-based and feed-forward 3D reconstruction approaches on the GSO Dataset, among which Gamba is the only end-to-end trained single-view reconstruction model with 3DGS. Experimental results demonstrate its competitive generation capabilities both qualitatively and quantitatively and highlight its remarkable speed: Gamba completes reconstruction within 0.05 seconds on a single NVIDIA A100 GPU, which is about $1,000\times$ faster than optimization-based methods. Please see our project page at https://florinshen.github.io/gamba-project.