title: Development of a 100 ps TDC based on a Kintex 7 FPGA for the High Granular Neutron Time-of-Flight detector for the BM@N experiment

abstract: The prototype of a TDC board has been developed for the new high granular time-of-flight neutron detector (HGND). The board is based on the standard LVDS 4x asynchronous oversampling using the xc7k160 FPGA with a 100 ps bin width. The HGND is being developed for the BM@N (Baryonic Matter at Nuclotron) experiment to identify neutrons and to measure their energies in heavy-ion collisions at ion beam energies up to 4 A GeV. The HGND consists of about 2000 scintillator detectors (cells) with a size of $40 \times 40 \times 25 mm^3$ and light readout with EQR15 11-6060D-S photodetectors. To measure the time resolution of the scintillator cells, the two-channel FPGA TDC board prototype with two scintillator cells was tested with an electron beam of "Pakhra" synchrotron at the LPI institute (Moscow, Russia). The measured cell time resolution is 146 ps, which is in a good agreement with the 142 ps time resolution measured with a 12-bit @ 5 GS/s CAEN DT5742 digitizer. For the full HGND, the TDC readout board with three such FPGAs will read 250 channels. In total, eight such TDC boards will be used for the full HGND at the BM@N experiment.


title: Millimetre and submillimetre spectroscopy of isobutene and its detection in the molecular cloud G+0.693

abstract: Isobutene ((CH$_3$)$_2$C=CH$_2$) is one of the four isomers of butene (C$_4$H$_8$). Given the detection of propene (CH$_3$CH=CH$_2$) toward TMC-1, and also in the warmer environment of the solar-type protostellar system IRAS 16293$-$2422, one of the next alkenes, isobutene, is a promising candidate to be searched for in space. We aim to extend the limited line lists of the main isotopologue of isobutene from the microwave to the millimetre region in order to obtain a highly precise set of rest frequencies and to facilitate its detection in the interstellar medium. We investigated the rotational spectrum of isobutene in the 35$-$370 GHz range using absorption spectroscopy at room temperature. Quantum-chemical calculations were carried out to evaluate vibrational frequencies. We determined new or improved spectroscopic parameters for isobutene up to a sixth-order distortion constant. These new results enabled its detection in the G+0.693 molecular cloud for the first time, where propene was also recently found. The propene to isobutene column density ratio was determined to be about 3:1. The observed spectroscopic parameters for isobutene are sufficiently accurate that calculated transition frequencies should be reliable up to 700 GHz. This will further help in observing this alkene in other, warmer regions of the ISM.

categories: astro-ph.GA astro-ph.IM physics.atm-clus physics.chem-ph


title: On a Rankin-Selberg integral of three Hermitian cusp forms

abstract: Let $K = \mathbb{Q}(i)$. In this work, we study the Petersson inner product of a Hermitian Eisenstein series of Siegel type on the unitary group $U_{5}(K)$, diagonally-restricted on $U_2(K)\times U_2(K)\times U_1(K)$, against two Hermitian cuspidal eigenforms $F, G$ of degree $2$ and an elliptic cuspidal eigenform $h$ (seen as a Hermitian modular form of degree 1), all having weight $k \equiv 0 \pmod 4$. This consideration gives an integral representation of a certain Dirichlet series, which will then have an analytic continuation and functional equation, due to the one of the Eisenstein series. By taking $F$ to belong in the Maass space, we are able to show that the Dirichlet series possesses an Euler product. Moreover, its $p-$factor for an inert prime $p$ can be essentially identified with the twist by $h$ of a degree six Euler factor attached to $G$ by Gritsenko. The question of whether the same holds for the primes that split remains unanswered here, even though we make considerable steps in that direction too. Our paper is inspired by work of Heim, who considered a similar question in the case of Siegel modular forms.


title: A Framework and a python-package for Real-time NMPC parameters settings

abstract: This paper presents a framework that enables a systematic and rational choice of NMPC design components such as control updating period, down-sampling period for prediction, control parameterization, prediction horizon's length, the maximum number of iterations as well as penalties on the terminal cost and the soft constraints. The rationale that underlines the design choices is based on real-time implementability, convergence and constraints satisfaction for a given computational device and a specific optimization algorithm. Moreover, a freely available associated Python-based implementation is also described with a fully developed illustrative example implementing a nonlinear MPC controller for a Planar Vertical Take-Off and Landing (PVTOL) aircraft under control saturation and state constraints.


title: EGVD: Event-Guided Video Deraining

abstract: With the rapid development of deep learning, video deraining has experienced significant progress. However, existing video deraining pipelines cannot achieve satisfying performance for scenes with rain layers of complex spatio-temporal distribution. In this paper, we approach video deraining by employing an event camera. As a neuromorphic sensor, the event camera suits scenes of non-uniform motion and dynamic light conditions. We propose an end-to-end learning-based network to unlock the potential of the event camera for video deraining. First, we devise an event-aware motion detection module to adaptively aggregate multi-frame motion contexts using event-aware masks. Second, we design a pyramidal adaptive selection module for reliably separating the background and rain layers by incorporating multi-modal contextualized priors. In addition, we build a real-world dataset consisting of rainy videos and temporally synchronized event streams. We compare our method with extensive state-of-the-art methods on synthetic and self-collected real-world datasets, demonstrating the clear superiority of our method. The code and dataset are available at \url{https://github.com/booker-max/EGVD}.


title: Data-driven localized waves and parameter discovery in the massive Thirring model via extended physics-informed neural networks with interface zones

abstract: In this paper, we study data-driven localized wave solutions and parameter discovery in the massive Thirring (MT) model via the deep learning in the framework of physics-informed neural networks (PINNs) algorithm. Abundant data-driven solutions including soliton of bright/dark type, breather and rogue wave are simulated accurately and analyzed contrastively with relative and absolute errors. For higher-order localized wave solutions, we employ the extended PINNs (XPINNs) with domain decomposition to capture the complete pictures of dynamic behaviors such as soliton collisions, breather oscillations and rogue-wave superposition. In particular, we modify the interface line in domain decomposition of XPINNs into a small interface zone and introduce the pseudo initial, residual and gradient conditions as interface conditions linked adjacently with individual neural networks. Then this modified approach is applied successfully to various solutions ranging from bright-bright soliton, dark-dark soliton, dark-antidark soliton, general breather, Kuznetsov-Ma breather and second-order rogue wave. Experimental results show that this improved version of XPINNs reduce the complexity of computation with faster convergence rate and keep the quality of learned solutions with smoother stitching performance as well. For the inverse problems, the unknown coefficient parameters of linear and nonlinear terms in the MT model are identified accurately with and without noise by using the classical PINNs algorithm.


title: Measuring the Robustness of Predictive Probability for Early Stopping in Experimental Design

abstract: Physical experiments in the national security domain are often expensive and time-consuming. Test engineers must certify the compatibility of aircraft and their weapon systems before they can be deployed in the field, but the testing required is time consuming, expensive, and resource limited. Adopting Bayesian adaptive designs are a promising way to borrow from the successes seen in the clinical trials domain. The use of predictive probability (PP) to stop testing early and make faster decisions is particularly appealing given the aforementioned constraints. Given the high-consequence nature of the tests performed in the national security space, a strong understanding of new methods is required before being deployed. Although PP has been thoroughly studied for binary data, there is less work with continuous data, which often in reliability studies interested in certifying the specification limits of components. A simulation study evaluating the robustness of this approach indicate early stopping based on PP is reasonably robust to minor assumption violations, especially when only a few interim analyses are conducted. A post-hoc analysis exploring whether release requirements of a weapon system from an aircraft are within specification with desired reliability resulted in stopping the experiment early and saving 33% of the experimental runs.


title: On the structure of the $RO(G)$-graded homotopy of $H\underline{M}$ for cyclic $p$-groups

abstract: We study the structure of the $RO(G)$-graded homotopy Mackey functors of any Eilenberg-MacLane spectrum $H\underline{M}$ for $G$ a cyclic $p$-group. When $\underline{R}$ is a Green functor, we define orientation classes $u_V$ for $H\underline{R}$ and deduce a generalized gold relation. We deduce the $a_V,u_V$-isomorphism regions of the $RO(G)$-graded homotopy Mackey functors and prove two induction theorems. As applications, we compute the positive cone of $H\underline{\mathbb{A}}$, as well as the positive and negative cones of $H\underline{\mathbb{Z}}$. The latter two cones are essential to the slice spectral sequences of $MU^{((C_{2^n}))}$ and its variants.


title: Handling Correlated Rounding Error via Preclustering: A 1.73-approximation for Correlation Clustering

abstract: We consider the classic Correlation Clustering problem: Given a complete graph where edges are labelled either $+$ or $-$, the goal is to find a partition of the vertices that minimizes the number of the \pedges across parts plus the number of the \medges within parts. Recently, Cohen-Addad, Lee and Newman [CLN22] presented a 1.994-approximation algorithm for the problem using the Sherali-Adams hierarchy, hence breaking through the integrality gap of 2 for the classic linear program and improving upon the 2.06-approximation of Chawla, Makarychev, Schramm and Yaroslavtsev [CMSY15]. We significantly improve the state-of-the-art by providing a 1.73-approximation for the problem. Our approach introduces a preclustering of Correlation Clustering instances that allows us to essentially ignore the error arising from the {\em correlated rounding} used by [CLN22]. This additional power simplifies the previous algorithm and analysis. More importantly, it enables a new {\em set-based rounding} that complements the previous roundings. A combination of these two rounding algorithms yields the improved bound.


title: Improved stellarator permanent magnet designs through combined discrete and continuous optimizations

abstract: A common optimization problem in the areas of magnetized plasmas and fusion energy is the design of magnets to produce a given three-dimensional magnetic field distribution to high precision. When designing arrays of permanent magnets for stellarator plasma confinement, such problems have tens of thousands of degrees of freedom whose solutions, for practical reasons, should be constrained to discrete spaces. We perform a direct comparison between two algorithms that have been developed previously for this purpose, and demonstrate that composite procedures that apply both algorithms in sequence can produce substantially improved results. One approach uses a continuous, quasi-Newton procedure to optimize the dipole moments of a set of magnets and then projects the solution onto a discrete space. The second uses an inherently discrete greedy optimization procedure that has been enhanced and generalized for this work. The approaches are both applied to design arrays cubic rare-Earth permanent magnets to confine a quasi-axisymmetric plasma with a magnetic field on axis of 0.5 T. The first approach tends to find solutions with higher field accuracy, whereas the second can find solutions with substantially (up to 30%) fewer magnets. When the approaches are combined, they can obtain solutions with magnet quantities comparable to the second approach while matching the field accuracy of the first.


title: Scalable Performance Evaluation of Byzantine Fault-Tolerant Systems Using Network Simulation

abstract: Recent Byzantine fault-tolerant (BFT) state machine replication (SMR) protocols increasingly focus on scalability to meet the requirements of distributed ledger technology (DLT). Validating the performance of scalable BFT protocol implementations requires careful evaluation. Our solution uses network simulations to forecast the performance of BFT protocols while experimentally scaling the environment. Our method seamlessly plug-and-plays existing BFT implementations into the simulation without requiring code modification or re-implementation, which is often time-consuming and error-prone. Furthermore, our approach is also significantly cheaper than experiments with real large-scale cloud deployments. In this paper, we first explain our simulation architecture, which enables scalable performance evaluations of BFT systems through high performance network simulations. We validate the accuracy of these simulations for predicting the performance of BFT systems by comparing simulation results with measurements of real systems deployed on cloud infrastructures. We found that simulation results display a reasonable approximation at a larger system scale, because the network eventually becomes the dominating factor limiting system performance. In the second part of our paper, we use our simulation method to evaluate the performance of PBFT and BFT protocols from the blockchain generation, such as HotStuff and Kauri, in large-scale and realistic wide-area network scenarios, as well as under induced faults.


title: The soft X-ray background with Suzaku II: Supervirial temperature bubbles?

abstract: Observations of the hot X-ray emitting interstellar medium in the Milky Way are important for studying the stellar feedback and understanding the formation and evolution of galaxies. We present measurements of the soft X-ray background emission for 130 Suzaku observations at $75^\circ<l < 285^\circ$ and $|b|>15^\circ$. With the standard soft X-ray background model consisting of the local hot bubble and the Milky Way halo, residual structures remain at 0.7--1 keV in the spectra of some regions. Adding a collisional-ionization-equilibrium component with a temperature of $\sim$0.8 keV, much higher than the virial temperature of the Milky Way, significantly reduces the derived C-statistic for 56 out of 130 observations. The emission measure of the 0.8 keV component varies by more than an order of magnitude: Assuming the solar abundance, the median value is 3$\times 10^{-4}~ \rm{cm^{-6} pc}$ and the 16th-84th percentile range is (1--8)$\times 10^{-4}~ \rm{cm^{-6} pc}$. Regions toward the Orion-Eridanus Superbubble, a large cavity extending from the Ori OB1 association, have the highest emission measures of the 0.8 keV component. While the scatter is large, the emission measures tend to be higher toward the lower Galactic latitude. We discuss possible biases caused by the solar wind charge exchange, stars, and background groups. The 0.8 keV component is probably heated by supernovae in the Milky Way disk, possibly related to galactic fountains.


title: The translation invariant product measure problem in non-sigma finite case

abstract: We give an example of non-translation invariant product measure obtained from two translation invariant measures, one of which is non-sigma finite. This particular example also suggests that there can be infinitely many product measures if we abandon the sigma-finiteness assumption.


title: Introducing the Condor Array Telescope. II. Deep imaging observations of the edge-on spiral galaxy NGC 5907 and the NGC 5866 Group: yet another view of the iconic stellar stream

abstract: We used the Condor Array Telescope to obtain deep imaging observations through the luminance filter of the entirety of the NGC 5866 Group, including a very extended region surrounding the galaxy NGC 5907 and its stellar stream. We find that the stellar stream consists of a single curved structure that stretches $220$ kpc from a brighter eastern stream to a fainter western stream that bends to the north and then curls back toward the galaxy. This result runs contrary to a previous claim of a second loop of the stellar stream but is consistent with another previous description of the overall morphology of the stream. We further find that: (1) an extension of the western stream appears to bifurcate near its apex, (2) there is an apparent gap of $\approx 6$ kpc in the western stream due east of the galaxy, (3) contrary to a previous claim, there is no evidence of the remnant of a progenitor galaxy within the eastern stream, although (4) there are many other possible progenitor galaxies, (5) there is another structure that, if it is at the distance of the galaxy, stretches 240 kpc and contains two very large, very low-surface-brightness "patches" of emission, one of which was noted previously and another of which was not. We note the number and variety of stellar streams in the vicinity of NGC 5907 and the apparent gap in the western stream, which may be indicative of a dark subhalo or satellite in the vicinity of the galaxy.


title: Batch Calibration: Rethinking Calibration for In-Context Learning and Prompt Engineering

abstract: Prompting and in-context learning (ICL) have become efficient learning paradigms for large language models (LLMs). However, LLMs suffer from prompt brittleness and various bias factors in the prompt, including but not limited to the formatting, the choice verbalizers, and the ICL examples. To address this problem that results in unexpected performance degradation, calibration methods have been developed to mitigate the effects of these biases while recovering LLM performance. In this work, we first conduct a systematic analysis of the existing calibration methods, where we both provide a unified view and reveal the failure cases. Inspired by these analyses, we propose Batch Calibration (BC), a simple yet intuitive method that controls the contextual bias from the batched input, unifies various prior approaches, and effectively addresses the aforementioned issues. BC is zero-shot, inference-only, and incurs negligible additional costs. In the few-shot setup, we further extend BC to allow it to learn the contextual bias from labeled data. We validate the effectiveness of BC with PaLM 2-(S, M, L) and CLIP models and demonstrate state-of-the-art performance over previous calibration baselines across more than 10 natural language understanding and image classification tasks.


title: Liouville theorems for ancient solutions of subexponential growth to the heat equation on graphs

abstract: Mosconi proved Liouville theorems for ancient solutions of subexponential growth to the heat equation on a manifold with Ricci curvature bounded below. We extend these results to graphs with bounded geometry: for a graph with bounded geometry, any nonnegative ancient solution of subexponential growth in space and time to the heat equation is stationary, and thus is a harmonic solution.


abstract: We prove a $p$-adic version of the work by Gross and Zagier on the differences between singular moduli by proving a set of conjectures by Giampietro and Darmon, who investigated the factorisation of a rational invariant associated to a pair of CM-points on a genus zero Shimura curve, obtained as the ratio of the CM-values of $p$-adic $\Theta$-functions. As did Gross and Zagier, we give two proofs; an algebraic proof using CM-theory, and more interestingly, also an analytic proof using $p$-adic infinitesimal deformations of Hilbert Eisenstein series. Since there are no explicit formulae for its cuspidal $p$-adic deformations, we instead compute the Frobenius traces of the appropriate Galois deformation, and show their modularity via an $R = T$ theorem. This approach aims to bridge the gap between classical CM-theory and the more recent $p$-adic advances in the theory of real multiplication.


title: Forest Mixing: investigating the impact of multiple search trees and a shared refinements pool on ontology learning

abstract: We aim at development white-box machine learning algorithms. We focus here on algorithms for learning axioms in description logic. We extend the Class Expression Learning for Ontology Engineering (CELOE) algorithm contained in the DL-Learner tool. The approach uses multiple search trees and a shared pool of refinements in order to split the search space in smaller subspaces. We introduce the conjunction operation of best class expressions from each tree, keeping the results which give the most information. The aim is to foster exploration from a diverse set of starting classes and to streamline the process of finding class expressions in ontologies. %, particularly in large search spaces. The current implementation and settings indicated that the Forest Mixing approach did not outperform the traditional CELOE. Despite these results, the conceptual proposal brought forward by this approach may stimulate future improvements in class expression finding in ontologies. % and influence. % the way we traverse search spaces in general.


title: Secondary Defense Strategies of AC Microgrids Against Generally Unbounded Attacks

abstract: This paper develops a fully distributed attack-resilient secondary defense strategies for AC microgrids, addressing more generally unbounded attacks on control input channels than those addressed in existing literature. The secondary control of local inverter includes consensus-based voltage and current regulators utilizing relative information from neighboring inverters. This distributed control approach relies on localized control and a sparse communication network, making it susceptible to malicious cyber-physical attacks that can impair consensus performance and potentially destabilize the overall microgrid. In contrast to existing solutions that are limited to addressing either bounded faults, noises or unbounded attacks with bounded first-order time derivatives, we aim to surpass these constraints and enhance the defense capabilities of counteracting cyber-physical attacks by enabling the AC microgrids adopting the proposed strategies to withstand a much wider range of unbounded cyber-attack signals. Fully distributed attack-resilient secondary defense strategies are developed for AC microgrids to counteract the detrimental effects of generally unbounded attacks on control input channels. Rigorous proofs using Lyapunov techniques demonstrate that the proposed defense strategies accomplish the uniformly ultimately bounded convergence on frequency regulation and achieve voltage containment and active power sharing simultaneously for multi-inverter-based AC microgrids in the face of generally unbounded attacks. The proposed defense strategies are validated on a modified IEEE 34-bus test feeder benchmark system incorporating four inverter-based DERs.


title: Line-of-sight gas radiation effects on near-infrared two-color ratio pyrometry measurements during plasma wind tunnel experiments

abstract: Two-color ratio pyrometry is commonly used to measure the surface temperature of aerospace materials during plasma wind tunnel experiments. However, the effect of the plasma radiation on the measurement accuracy is often neglected. In this paper we formulate a model of the instrument response to analyze the systematic error induced by the gas radiation along the optical path. CFD simulations of the plasma flow field, together with a radiation code, allow to compute the gas spectral radiance within the instrument wavelength range. The measurement error is numerically assessed as a function of the true object temperature and emittance value. Our simulations explain the typical behavior observed in experiments, showing that a significant bias can affect the measured temperature during the material heating phase. For an actual experiment on a ceramic-matrix composite, a correction to the measured data is proposed, while comparative measurements with a spectrometer corroborate the results.


title: Knowledge Graphs for the Life Sciences: Recent Developments, Challenges and Opportunities

abstract: The term life sciences refers to the disciplines that study living organisms and life processes, and include chemistry, biology, medicine, and a range of other related disciplines. Research efforts in life sciences are heavily data-driven, as they produce and consume vast amounts of scientific data, much of which is intrinsically relational and graph-structured. The volume of data and the complexity of scientific concepts and relations referred to therein promote the application of advanced knowledge-driven technologies for managing and interpreting data, with the ultimate aim to advance scientific discovery. In this survey and position paper, we discuss recent developments and advances in the use of graph-based technologies in life sciences and set out a vision for how these technologies will impact these fields into the future. We focus on three broad topics: the construction and management of Knowledge Graphs (KGs), the use of KGs and associated technologies in the discovery of new knowledge, and the use of KGs in artificial intelligence applications to support explanations (explainable AI). We select a few exemplary use cases for each topic, discuss the challenges and open research questions within these topics, and conclude with a perspective and outlook that summarizes the overarching challenges and their potential solutions as a guide for future research.


title: The refined class number formula for Drinfeld modules

abstract: Let $K/k$ be a finite Galois extension of global function fields. Let $E$ be a Drinfeld module over $k$. We state and prove an equivariant refinement of Taelman's analogue of the analytic class number formula for $(E,K/k)$, and derive explicit consequences for the Galois structure of the Taelman class group of $E$ over $K$.


title: A Survey on Deep Learning Techniques for Action Anticipation

abstract: The ability to anticipate possible future human actions is essential for a wide range of applications, including autonomous driving and human-robot interaction. Consequently, numerous methods have been introduced for action anticipation in recent years, with deep learning-based approaches being particularly popular. In this work, we review the recent advances of action anticipation algorithms with a particular focus on daily-living scenarios. Additionally, we classify these methods according to their primary contributions and summarize them in tabular form, allowing readers to grasp the details at a glance. Furthermore, we delve into the common evaluation metrics and datasets used for action anticipation and provide future directions with systematical discussions.


title: A Kuratowski theorem revisited

abstract: It is a classical result that a function having baire property from a metric space into a separable metric space is continuous except on a set of first category. kuratowski asked whether the condition of separability could be removed. Several attempts to solve this problem were done in the past, the earliest one is by kunuji based on a theorem of luzin and novikov. Recently, grzegorek and labuda proved the theorem of kunuji based on a generalization of an earlier result of kuratowski in second countable topological space. In this paper, we develop an unification of this generalization of kuratowski result and its measure theoretic analogue in category bases and utilize the same to give a generalized version of the theorem of kunuji. A variant of this unification is also obtained in Marczewski structures.


title: Pharmacometrics-Enabled DOse OPtimization (PEDOOP) for Seamless Phase I-II Trials in Oncology

abstract: We consider a dose-optimization design for first-in-human oncology trial that aims to identify a suitable dose for late-phase drug development. The proposed approach, called the Pharmacometrics-Enabled DOse OPtimization (PEDOOP) design, incorporates observed patient-level pharmacokinetics (PK) measurements and latent pharmacodynamics (PD) information for trial decision making and dose optimization. PEDOOP consists of two seamless phases. In phase I, patient-level time-course drug concentrations, derived PD effects, and the toxicity outcomes from patients are integrated into a statistical model to estimate the dose-toxicity response. A simple dose-finding design guides dose escalation in phase I. At the end of the phase I dose finding, a graduation rule is used to assess the safety and efficacy of all the doses and select those with promising efficacy and acceptable safety for a randomized comparison against a control arm in phase II. In phase II, patients are randomized to the selected doses based on a fixed or adaptive randomization ratio. At the end of phase II, an optimal biological dose (OBD) is selected for late-phase development. We conduct simulation studies to assess the PEDOOP design in comparison to an existing seamless design that also combines phases I and II in a single trial.


title: PlaceNav: Topological Navigation through Place Recognition

abstract: Recent results suggest that splitting topological navigation into robot-independent and robot-specific components improves navigation performance by enabling the robot-independent part to be trained with data collected by robots of different types. However, the navigation methods' performance is still limited by the scarcity of suitable training data and they suffer from poor computational scaling. In this work, we present PlaceNav, subdividing the robot-independent part into navigation-specific and generic computer vision components. We utilize visual place recognition for the subgoal selection of the topological navigation pipeline. This makes subgoal selection more efficient and enables leveraging large-scale datasets from non-robotics sources, increasing training data availability. Bayesian filtering, enabled by place recognition, further improves navigation performance by increasing the temporal consistency of subgoals. Our experimental results verify the design and the new method obtains a 76% higher success rate in indoor and 23% higher in outdoor navigation tasks with higher computational efficiency.


title: Consistent123: One Image to Highly Consistent 3D Asset Using Case-Aware Diffusion Priors

abstract: Reconstructing 3D objects from a single image guided by pretrained diffusion models has demonstrated promising outcomes. However, due to utilizing the case-agnostic rigid strategy, their generalization ability to arbitrary cases and the 3D consistency of reconstruction are still poor. In this work, we propose Consistent123, a case-aware two-stage method for highly consistent 3D asset reconstruction from one image with both 2D and 3D diffusion priors. In the first stage, Consistent123 utilizes only 3D structural priors for sufficient geometry exploitation, with a CLIP-based case-aware adaptive detection mechanism embedded within this process. In the second stage, 2D texture priors are introduced and progressively take on a dominant guiding role, delicately sculpting the details of the 3D model. Consistent123 aligns more closely with the evolving trends in guidance requirements, adaptively providing adequate 3D geometric initialization and suitable 2D texture refinement for different objects. Consistent123 can obtain highly 3D-consistent reconstruction and exhibits strong generalization ability across various objects. Qualitative and quantitative experiments show that our method significantly outperforms state-of-the-art image-to-3D methods. See https://Consistent123.github.io for a more comprehensive exploration of our generated 3D assets.


title: Estimation and Inference in Distributional Reinforcement Learning

abstract: In this paper, we study distributional reinforcement learning from the perspective of statistical efficiency. We investigate distributional policy evaluation, aiming to estimate the complete distribution of the random return (denoted $\eta^\pi$) attained by a given policy $\pi$. We use the certainty-equivalence method to construct our estimator $\hat\eta^\pi$, given a generative model is available. We show that in this circumstance we need a dataset of size $\widetilde O\left(\frac{|\mathcal{S}||\mathcal{A}|}{\epsilon^{2p}(1-\gamma)^{2p+2}}\right)$ to guarantee a $p$-Wasserstein metric between $\hat\eta^\pi$ and $\eta^\pi$ is less than $\epsilon$ with high probability. This implies the distributional policy evaluation problem can be solved with sample efficiency. Also, we show that under different mild assumptions a dataset of size $\widetilde O\left(\frac{|\mathcal{S}||\mathcal{A}|}{\epsilon^{2}(1-\gamma)^{4}}\right)$ suffices to ensure the Kolmogorov metric and total variation metric between $\hat\eta^\pi$ and $\eta^\pi$ is below $\epsilon$ with high probability. Furthermore, we investigate the asymptotic behavior of $\hat\eta^\pi$. We demonstrate that the ``empirical process'' $\sqrt{n}(\hat\eta^\pi-\eta^\pi)$ converges weakly to a Gaussian process in the space of bounded functionals on Lipschitz function class $\ell^\infty(\mathcal{F}_{W_1})$, also in the space of bounded functionals on indicator function class $\ell^\infty(\mathcal{F}_{\mathrm{KS}})$ and bounded measurable function class $\ell^\infty(\mathcal{F}_{\mathrm{TV}})$ when some mild conditions hold. Our findings give rise to a unified approach to statistical inference of a wide class of statistical functionals of $\eta^\pi$.


title: Overcoming Traditional No-Go Theorems: Quantum Advantage in Multiple Access Channels

abstract: Extension of point-to-point communication model to the realm of multi-node configurations finds a plethora of applications in internet and telecommunication networks. Here, we establish a novel advantage of quantum communication in a commonly encountered network configuration known as the Multiple Access Channel (MAC). A MAC consists of multiple distant senders aiming to send their respective messages to a common receiver. Unlike the quantum superdense coding protocol, the advantage reported here is realized without invoking entanglement between the senders and the receiver. Notably, such an advantage is unattainable in traditional point-to-point communication involving one sender and one receiver, where the limitations imposed by the Holevo and Frankel Weiner no-go theorems come into play. Within the MAC setup, this distinctive advantage materializes through the receiver's unique ability to simultaneously decode the quantum systems received from multiple senders. Intriguingly, some of our MAC designs draw inspiration from various other constructs in quantum foundations, such as the Pusey-Barrett-Rudolph theorem and the concept of `nonlocality without entanglement', originally explored for entirely different purposes. Beyond its immediate applications in network communication, the presented quantum advantage hints at a profound connection with the concept of `quantum nonlocality without inputs' and holds the potential for semi-device-independent certification of entangled measurements.


title: A Foundation Model for General Moving Object Segmentation in Medical Images

abstract: Medical image segmentation aims to delineate the anatomical or pathological structures of interest, playing a crucial role in clinical diagnosis. A substantial amount of high-quality annotated data is crucial for constructing high-precision deep segmentation models. However, medical annotation is highly cumbersome and time-consuming, especially for medical videos or 3D volumes, due to the huge labeling space and poor inter-frame consistency. Recently, a fundamental task named Moving Object Segmentation (MOS) has made significant advancements in natural images. Its objective is to delineate moving objects from the background within image sequences, requiring only minimal annotations. In this paper, we propose the first foundation model, named iMOS, for MOS in medical images. Extensive experiments on a large multi-modal medical dataset validate the effectiveness of the proposed iMOS. Specifically, with the annotation of only a small number of images in the sequence, iMOS can achieve satisfactory tracking and segmentation performance of moving objects throughout the entire sequence in bi-directions. We hope that the proposed iMOS can help accelerate the annotation speed of experts, and boost the development of medical foundation models.


title: Effect of structure-based training on 3D localization precision and quality

abstract: This study introduces a structural-based training approach for CNN-based algorithms in single-molecule localization microscopy (SMLM) and 3D object reconstruction. We compare this approach with the traditional random-based training method, utilizing the LUENN package as our AI pipeline. The quantitative evaluation demonstrates significant improvements in detection rate and localization precision with the structural-based training approach, particularly in varying signal-to-noise ratios (SNRs). Moreover, the method effectively removes checkerboard artifacts, ensuring more accurate 3D reconstructions. Our findings highlight the potential of the structural-based training approach to advance super-resolution microscopy and deepen our understanding of complex biological systems at the nanoscale.


title: Refined and refined harmonic Jacobi--Davidson methods for computing several GSVD components of a large regular matrix pair

abstract: Three refined and refined harmonic extraction-based Jacobi--Davidson (JD) type methods are proposed, and their thick-restart algorithms with deflation and purgation are developed to compute several generalized singular value decomposition (GSVD) components of a large regular matrix pair. The new methods are called refined cross product-free (RCPF), refined cross product-free harmonic (RCPF-harmonic) and refined inverse-free harmonic (RIF-harmonic) JDGSVD algorithms, abbreviated as RCPF-JDGSVD, RCPF-HJDGSVD and RIF-HJDGSVD, respectively. The new JDGSVD methods are more efficient than the corresponding standard and harmonic extraction-based JDSVD methods proposed previously by the authors, and can overcome the erratic behavior and intrinsic possible non-convergence of the latter ones. Numerical experiments illustrate that RCPF-JDGSVD performs better for the computation of extreme GSVD components while RCPF-HJDGSVD and RIF-HJDGSVD suit better for that of interior GSVD components.


title: Wiki-En-ASR-Adapt: Large-scale synthetic dataset for English ASR Customization

abstract: We present a first large-scale public synthetic dataset for contextual spellchecking customization of automatic speech recognition (ASR) with focus on diverse rare and out-of-vocabulary (OOV) phrases, such as proper names or terms. The proposed approach allows creating millions of realistic examples of corrupted ASR hypotheses and simulate non-trivial biasing lists for the customization task. Furthermore, we propose injecting two types of ``hard negatives" to the simulated biasing lists in training examples and describe our procedures to automatically mine them. We report experiments with training an open-source customization model on the proposed dataset and show that the injection of hard negative biasing phrases decreases WER and the number of false alarms.


title: Income Mobility and Mixing in North Macedonia

abstract: This study presents the inaugural analysis of income mobility in North Macedonia from 1995-2021 using the Mixing Time and Mean First Passage Time (MFPT) metrics. We document larger mobility (in terms of Mixing Time) during the '90s, with and decreasing trend (in terms of mobility) until 1999. After this year the Mixing time has been consistent with a value of around 4 years. Using the MFPT, we highlight the evolving challenges individuals face when aspiring to higher income tiers. Namely, we show that there was a noticeable upward trend in MFPT from 1995 to 2006, a subsequent decline until 2017, and then an ascent again, peaking in 2021. These findings provide a foundational perspective on the income mobility in North Macedonia.


title: Unpaired Optical Coherence Tomography Angiography Image Super-Resolution via Frequency-Aware Inverse-Consistency GAN

abstract: For optical coherence tomography angiography (OCTA) images, a limited scanning rate leads to a trade-off between field-of-view (FOV) and imaging resolution. Although larger FOV images may reveal more parafoveal vascular lesions, their application is greatly hampered due to lower resolution. To increase the resolution, previous works only achieved satisfactory performance by using paired data for training, but real-world applications are limited by the challenge of collecting large-scale paired images. Thus, an unpaired approach is highly demanded. Generative Adversarial Network (GAN) has been commonly used in the unpaired setting, but it may struggle to accurately preserve fine-grained capillary details, which are critical biomarkers for OCTA. In this paper, our approach aspires to preserve these details by leveraging the frequency information, which represents details as high-frequencies ($\textbf{hf}$) and coarse-grained backgrounds as low-frequencies ($\textbf{lf}$). In general, we propose a GAN-based unpaired super-resolution method for OCTA images and exceptionally emphasize $\textbf{hf}$ fine capillaries through a dual-path generator. To facilitate a precise spectrum of the reconstructed image, we also propose a frequency-aware adversarial loss for the discriminator and introduce a frequency-aware focal consistency loss for end-to-end optimization. Experiments show that our method outperforms other state-of-the-art unpaired methods both quantitatively and visually.


title: Randomly sparsified Richardson iteration is really fast

abstract: Recently, a class of algorithms combining classical fixed point iterations with repeated random sparsification of approximate solution vectors has been successfully applied to eigenproblems with matrices as large as $10^{108} \times 10^{108}$. So far, a complete mathematical explanation for their success has proven elusive. Additionally, the methods have not been extended to linear system solves. In this paper we propose a new scheme based on repeated random sparsification that is capable of solving linear systems in extremely high dimensions. We provide a complete mathematical analysis of this new algorithm. Our analysis establishes a faster-than-Monte Carlo convergence rate and justifies use of the scheme even when the solution vector itself is too large to store.


title: Spiral shocks induced in galactic gaseous disk: hydrodynamic understanding of observational properties of spiral galaxies

abstract: We investigate the properties of spiral shocks in a steady, adiabatic, non-axisymmetric, self-gravitating, mass-outflowing accretion disk around a compact object. We obtain the accretion-ejection solutions in a gaseous galactic disk and apply them to the spiral galaxies to investigate the possible physical connections between some galaxy observational quantities. The self-gravitating disk potential is considered following Mestel's (1963) prescription. The spiral shock-induced accretion-ejection solutions are obtained following the point-wise self-similar approach. We observe that the self-gravitating disk profoundly affects the dynamics of the spiral structure of the disk and the properties of the spiral shocks. We find that the observational dispersion between the pitch angle and shear rate and between the pitch angle and star formation rate in spiral galaxies contains some important physical information. There are large differences in star formation rates among galaxies with similar pitch angles, which may be explained by the different star formation efficiencies caused by the distinct galactic ambient conditions.


title: Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistency

abstract: Large language models (LLMs) have exhibited remarkable ability in code generation. However, generating the correct solution in a single attempt still remains a challenge. Prior works utilize verification properties in software engineering to verify and re-rank solutions in a majority voting manner. But the assumption behind them that generated verification properties have better qualities than solutions may not always hold. In this paper, we treat them equally as different perspectives of LLMs' reasoning processes. We propose the Multi-Perspective Self-Consistency (MPSC) framework incorporating both inter- and intra-consistency across outputs from multiple perspectives. Specifically, we prompt LLMs to generate diverse outputs from three perspectives, Solution, Specification and Test case, constructing a 3-partite graph. With two measure functions of consistency, we embed both inter- and intra-consistency information into the graph. The optimal choice of solutions is then determined based on analysis in the graph. MPSC significantly boosts performance of foundation models (ChatGPT in this paper) on various benchmarks, including HumanEval (+15.91%), MBPP (+6.43%) and CodeContests (+9.37%), even surpassing GPT-4.


title: Characterizing losses in InAs two-dimensional electron gas-based gatemon qubits

abstract: The tunnelling of cooper pairs across a Josephson junction (JJ) allow for the nonlinear inductance necessary to construct superconducting qubits, amplifiers, and various other quantum circuits. An alternative approach using hybrid superconductor-semiconductor JJs can enable superconducting qubit architectures with all electric control. Here we present continuous-wave and time-domain characterization of gatemon qubits and coplanar waveguide resonators based on an InAs two-dimensional electron gas. We show that the qubit undergoes a vacuum Rabi splitting with a readout cavity and we drive coherent Rabi oscillations between the qubit ground and first excited states. We measure qubit relaxation times to be $T_1 =$ 100 ns over a 1.5 GHz tunable band. We detail the loss mechanisms present in these materials through a systematic study of the quality factors of coplanar waveguide resonators. While various loss mechanisms are present in III-V gatemon circuits we detail future directions in enhancing the relaxation times of qubit devices on this platform.


title: A Ramsey-type phenomenon in two and three dimensional simplices

abstract: We develop a Ramsey-like theorem for subsets of the two and three-dimensional simplex. A generalization of the combinatorial theorem presented here to all dimensions would produce a new proof that $\textrm{Homeo}_+[0,1]$ is extremely amenable (a theorem due to Pestov) using general results of Uspenskij on extreme amenability in homeomorphism groups.


title: Utility-based Adaptive Teaching Strategies using Bayesian Theory of Mind

abstract: Good teachers always tailor their explanations to the learners. Cognitive scientists model this process under the rationality principle: teachers try to maximise the learner's utility while minimising teaching costs. To this end, human teachers seem to build mental models of the learner's internal state, a capacity known as Theory of Mind (ToM). Inspired by cognitive science, we build on Bayesian ToM mechanisms to design teacher agents that, like humans, tailor their teaching strategies to the learners. Our ToM-equipped teachers construct models of learners' internal states from observations and leverage them to select demonstrations that maximise the learners' rewards while minimising teaching costs. Our experiments in simulated environments demonstrate that learners taught this way are more efficient than those taught in a learner-agnostic way. This effect gets stronger when the teacher's model of the learner better aligns with the actual learner's state, either using a more accurate prior or after accumulating observations of the learner's behaviour. This work is a first step towards social machines that teach us and each other, see https://teacher-with-tom.github.io.


title: Jointly invariant measures for the Kardar-Parisi-Zhang Equation

abstract: We give an explicit description of the jointly invariant measures for the KPZ equation. These are couplings of Brownian motions with drift, and can be extended to a process defined for all drift parameters simultaneously. We term this process the KPZ horizon (KPZH). As a corollary of this description, we resolve a recent conjecture of Janjigian, and the second and third authors by showing the existence of a random, countably infinite dense set of directions at which the Busemann process of the KPZ equation is discontinuous. This signals instability and shows the failure of the one force--one solution principle and the existence of at least two extremal semi-infinite polymer measures in the exceptional directions. As the inverse temperature parameter $\beta$ for the KPZ equation goes to $\infty$, the KPZH converges to the stationary horizon (SH) first introduced by Busani, and studied further by Busani and the third and fourth authors. As $\beta \searrow 0$, the KPZH converges to a coupling of Brownian motions that differ by linear shifts, which is a jointly invariant measure for the Edwards-Wilkinson fixed point.


title: Suspicion-Agent: Playing Imperfect Information Games with Theory of Mind Aware GPT-4

abstract: Unlike perfect information games, where all elements are known to every player, imperfect information games emulate the real-world complexities of decision-making under uncertain or incomplete information. GPT-4, the recent breakthrough in large language models (LLMs) trained on massive passive data, is notable for its knowledge retrieval and reasoning abilities. This paper delves into the applicability of GPT-4's learned knowledge for imperfect information games. To achieve this, we introduce \textbf{Suspicion-Agent}, an innovative agent that leverages GPT-4's capabilities for performing in imperfect information games. With proper prompt engineering to achieve different functions, Suspicion-Agent based on GPT-4 demonstrates remarkable adaptability across a range of imperfect information card games. Importantly, GPT-4 displays a strong high-order theory of mind (ToM) capacity, meaning it can understand others and intentionally impact others' behavior. Leveraging this, we design a planning strategy that enables GPT-4 to competently play against different opponents, adapting its gameplay style as needed, while requiring only the game rules and descriptions of observations as input. In the experiments, we qualitatively showcase the capabilities of Suspicion-Agent across three different imperfect information games and then quantitatively evaluate it in Leduc Hold'em. The results show that Suspicion-Agent can potentially outperform traditional algorithms designed for imperfect information games, without any specialized training or examples. In order to encourage and foster deeper insights within the community, we make our game-related data publicly available.


title: Toward Robust Recommendation via Real-time Vicinal Defense

abstract: Recommender systems have been shown to be vulnerable to poisoning attacks, where malicious data is injected into the dataset to cause the recommender system to provide biased recommendations. To defend against such attacks, various robust learning methods have been proposed. However, most methods are model-specific or attack-specific, making them lack generality, while other methods, such as adversarial training, are oriented towards evasion attacks and thus have a weak defense strength in poisoning attacks. In this paper, we propose a general method, Real-time Vicinal Defense (RVD), which leverages neighboring training data to fine-tune the model before making a recommendation for each user. RVD works in the inference phase to ensure the robustness of the specific sample in real-time, so there is no need to change the model structure and training process, making it more practical. Extensive experimental results demonstrate that RVD effectively mitigates targeted poisoning attacks across various models without sacrificing accuracy. Moreover, the defensive effect can be further amplified when our method is combined with other strategies.


title: Electronic structure and magnetic properties of La$_{3}$Ni$_{2}$O$_{7}$ under pressure: active role of the Ni-$d_{x^2-y^2}$ orbitals

abstract: Following the recent report of superconductivity in the bilayer nickelate La$_{3}$Ni$_{2}$O$_{7}$ under pressure, we present an analysis of the electronic and magnetic properties of La$_{3}$Ni$_{2}$O$_{7}$ as a function of pressure using correlated density functional theory methods (DFT+$U$). At the bare DFT level, the electronic structure of the ambient and high-pressure phases of La$_{3}$Ni$_{2}$O$_{7}$are qualitatively similar. Upon including local correlation effects within DFT+$U$ and allowing for magnetic ordering, we find a delicate interplay between pressure and electronic correlations. Within the pressure-correlations phase space, we identify a region (at $U$ values consistent with constrained RPA) characterized by a high spin to low spin transition with increasing pressure. In contrast to previous theoretical work that only highlights the crucial role of the Ni-$d_{z^2}$ orbitals in this material, we find that the Ni-$d_{x^{2}-y^{2}}$ orbitals are active upon pressure and drive this rich magnetic landscape. This picture is preserved in the presence of oxygen deficiencies.


title: STRONG -- Structure Controllable Legal Opinion Summary Generation

abstract: We propose an approach for the structure controllable summarization of long legal opinions that considers the argument structure of the document. Our approach involves using predicted argument role information to guide the model in generating coherent summaries that follow a provided structure pattern. We demonstrate the effectiveness of our approach on a dataset of legal opinions and show that it outperforms several strong baselines with respect to ROUGE, BERTScore, and structure similarity.


title: Information Flow in Self-Supervised Learning

abstract: In this paper, we conduct a comprehensive analysis of two dual-branch (Siamese architecture) self-supervised learning approaches, namely Barlow Twins and spectral contrastive learning, through the lens of matrix mutual information. We prove that the loss functions of these methods implicitly optimize both matrix mutual information and matrix joint entropy. This insight prompts us to further explore the category of single-branch algorithms, specifically MAE and U-MAE, for which mutual information and joint entropy become the entropy. Building on this intuition, we introduce the Matrix Variational Masked Auto-Encoder (M-MAE), a novel method that leverages the matrix-based estimation of entropy as a regularizer and subsumes U-MAE as a special case. The empirical evaluations underscore the effectiveness of M-MAE compared with the state-of-the-art methods, including a 3.9% improvement in linear probing ViT-Base, and a 1% improvement in fine-tuning ViT-Large, both on ImageNet.


title: An algebraic model to study the internal structure of pseudo-scalar mesons with heavy-light quark content

abstract: The internal structure of all lowest-lying pseudo-scalar mesons with heavy-light quark content is studied in detail using an algebraic model that has been applied recently, and successfully, to the same physical observables of pseudo-scalar and vector mesons with hidden-flavor quark content, from light to heavy quark sectors. The algebraic model consists on constructing simple and evidence-based \emph{ans\"atze} of the meson's Bethe-Salpeter amplitude (BSA) and quark's propagator in such a way that the Bethe-Salpeter wave function (BSWF) can then be readily computed algebraically. Its subsequent projection onto the light front yields the light front wave function (LFWF) whose form allows us a simple access to the valence-quark Parton Distribution Amplitude (PDA) by integrating over the transverse momentum squared. We exploit our current knowledge of the PDAs of lowest-lying pseudo-scalar heavy-light mesons to compute their Generalized Parton Distributions (GPDs) through the overlap representation of LFWFs. From these three dimensional knowledge, different limits/projections lead us to deduce the related Parton Distribution functions (PDFs), Electromagnetic Form Factors (EFFs), and Impact parameter space GPDs (IPS-GPDs). When possible, we make explicit comparisons with available experimental results and earlier theoretical predictions.


title: The Blessings of Multiple Treatments and Outcomes in Treatment Effect Estimation

abstract: Assessing causal effects in the presence of unobserved confounding is a challenging problem. Existing studies leveraged proxy variables or multiple treatments to adjust for the confounding bias. In particular, the latter approach attributes the impact on a single outcome to multiple treatments, allowing estimating latent variables for confounding control. Nevertheless, these methods primarily focus on a single outcome, whereas in many real-world scenarios, there is greater interest in studying the effects on multiple outcomes. Besides, these outcomes are often coupled with multiple treatments. Examples include the intensive care unit (ICU), where health providers evaluate the effectiveness of therapies on multiple health indicators. To accommodate these scenarios, we consider a new setting dubbed as multiple treatments and multiple outcomes. We then show that parallel studies of multiple outcomes involved in this setting can assist each other in causal identification, in the sense that we can exploit other treatments and outcomes as proxies for each treatment effect under study. We proceed with a causal discovery method that can effectively identify such proxies for causal estimation. The utility of our method is demonstrated in synthetic data and sepsis disease.


title: Differentially Private Computation of Basic Reproduction Numbers in Networked Epidemic Models

abstract: The basic reproduction number of a networked epidemic model, denoted $R_0$, can be computed from a network's topology to quantify epidemic spread. However, disclosure of $R_0$ risks revealing sensitive information about the underlying network, such as an individual's relationships within a social network. Therefore, we propose a framework to compute and release $R_0$ in a differentially private way. First, we provide a new result that shows how $R_0$ can be used to bound the level of penetration of an epidemic within a single community as a motivation for the need of privacy, which may also be of independent interest. We next develop a privacy mechanism to formally safeguard the edge weights in the underlying network when computing $R_0$. Then we formalize tradeoffs between the level of privacy and the accuracy of values of the privatized $R_0$. To show the utility of the private $R_0$ in practice, we use it to bound this level of penetration under privacy, and concentration bounds on these analyses show they remain accurate with privacy implemented. We apply our results to real travel data gathered during the spread of COVID-19, and we show that, under real-world conditions, we can compute $R_0$ in a differentially private way while incurring errors as low as $7.6\%$ on average.


title: Efficient Large Scale Medical Image Dataset Preparation for Machine Learning Applications

abstract: In the rapidly evolving field of medical imaging, machine learning algorithms have become indispensable for enhancing diagnostic accuracy. However, the effectiveness of these algorithms is contingent upon the availability and organization of high-quality medical imaging datasets. Traditional Digital Imaging and Communications in Medicine (DICOM) data management systems are inadequate for handling the scale and complexity of data required to be facilitated in machine learning algorithms. This paper introduces an innovative data curation tool, developed as part of the Kaapana open-source toolkit, aimed at streamlining the organization, management, and processing of large-scale medical imaging datasets. The tool is specifically tailored to meet the needs of radiologists and machine learning researchers. It incorporates advanced search, auto-annotation and efficient tagging functionalities for improved data curation. Additionally, the tool facilitates quality control and review, enabling researchers to validate image and segmentation quality in large datasets. It also plays a critical role in uncovering potential biases in datasets by aggregating and visualizing metadata, which is essential for developing robust machine learning models. Furthermore, Kaapana is integrated within the Radiological Cooperative Network (RACOON), a pioneering initiative aimed at creating a comprehensive national infrastructure for the aggregation, transmission, and consolidation of radiological data across all university clinics throughout Germany. A supplementary video showcasing the tool's functionalities can be accessed at https://bit.ly/MICCAI-DEMI2023.


title: Flux-pulse-assisted Readout of a Fluxonium Qubit

abstract: Much attention has focused on the transmon architecture for large-scale superconducting quantum devices, however, the fluxonium qubit has emerged as a possible successor. With a shunting inductor in parallel to a Josephson junction, the fluxonium offers larger anharmonicity and stronger protection against dielectric loss, leading to higher coherence times as compared to conventional transmon qubits. The interplay between the inductive and Josephson energy potentials of the fluxonium qubit leads to a rich dispersive shift landscape when tuning the external flux. Here we propose to exploit the features in the dispersive shift to improve qubit readout. Specifically, we report on theoretical simulations showing improved readout times and error rates by performing the readout at a flux bias point with large dispersive shift. We expand the scheme to include different error channels, and show that flux-pulse-assisted readout offers 5 times improvement in signal to noise ratio after 200 ns integration time. Moreover, we show that the performance improvement persists in the presence of finite measurement efficiency combined with quasi-static flux noise. We suggest energy parameters for the fluxonium architecture that will allow for the implementation of our proposed flux-pulse-assisted readout scheme.


title: Euclid: The search for primordial features

abstract: Primordial features, in particular oscillatory signals, imprinted in the primordial power spectrum of density perturbations represent a clear window of opportunity for detecting new physics at high-energy scales. Future spectroscopic and photometric measurements from the $Euclid$ space mission will provide unique constraints on the primordial power spectrum, thanks to the redshift coverage and high-accuracy measurement of nonlinear scales, thus allowing us to investigate deviations from the standard power-law primordial power spectrum. We consider two models with primordial undamped oscillations superimposed on the matter power spectrum, one linearly spaced in $k$-space the other logarithmically spaced in $k$-space. We forecast uncertainties applying a Fisher matrix method to spectroscopic galaxy clustering, weak lensing, photometric galaxy clustering, cross correlation between photometric probes, spectroscopic galaxy clustering bispectrum, CMB temperature and $E$-mode polarization, temperature-polarization cross correlation, and CMB weak lensing. We also study a nonlinear density reconstruction method to retrieve the oscillatory signals in the primordial power spectrum. We find the following percentage relative errors in the feature amplitude with $Euclid$ primary probes for the linear (logarithmic) feature model: 21% (22%) in the pessimistic settings and 18% (18%) in the optimistic settings at 68.3% confidence level (CL) using GC$_{\rm sp}$+WL+GC$_{\rm ph}$+XC. Combining all the sources of information explored expected from $Euclid$ in combination with future SO-like CMB experiment, we forecast ${\cal A}_{\rm lin} \simeq 0.010 \pm 0.001$ at 68.3% CL and ${\cal A}_{\rm log} \simeq 0.010 \pm 0.001$ for GC$_{\rm sp}$(PS rec + BS)+WL+GC$_{\rm ph}$+XC+SO-like both for the optimistic and pessimistic settings over the frequency range $(1,\,10^{2.1})$.


title: AutoAgents: A Framework for Automatic Agent Generation

abstract: Large language models (LLMs) have enabled remarkable advances in automated task-solving with multi-agent systems. However, most existing LLM-based multi-agent approaches rely on predefined agents to handle simple tasks, limiting the adaptability of multi-agent collaboration to different scenarios. Therefore, we introduce AutoAgents, an innovative framework that adaptively generates and coordinates multiple specialized agents to build an AI team according to different tasks. Specifically, AutoAgents couples the relationship between tasks and roles by dynamically generating multiple required agents based on task content and planning solutions for the current task based on the generated expert agents. Multiple specialized agents collaborate with each other to efficiently accomplish tasks. Concurrently, an observer role is incorporated into the framework to reflect on the designated plans and agents' responses and improve upon them. Our experiments on various benchmarks demonstrate that AutoAgents generates more coherent and accurate solutions than the existing multi-agent methods. This underscores the significance of assigning different roles to different tasks and of team cooperation, offering new perspectives for tackling complex tasks. The repository of this project is available at https://github.com/Link-AGI/AutoAgents.


title: Orbital Stability of Periodic Traveling Waves in the $b$-Camassa-Holm Equation

abstract: In this paper, we identify criteria that guarantees the nonlinear orbital stability of a given periodic traveling wave solution within the b-family Camassa-Holm equation. These periodic waves exist as 3-parameter families (up to spatial translations) of smooth traveling wave solutions, and their stability criteria are expressed in terms of Jacobians of the conserved quantities with respect to these parameters. The stability criteria utilizes a general Hamiltonian structure which exists for every $b>1$, and hence applies outside of the completely integrable cases ($b=2$ and $b=3$).


title: In search of dispersed memories: Generative diffusion models are associative memory networks

abstract: Uncovering the mechanisms behind long-term memory is one of the most fascinating open problems in neuroscience and artificial intelligence. Artificial associative memory networks have been used to formalize important aspects of biological memory. Generative diffusion models are a type of generative machine learning techniques that have shown great performance in many tasks. Like associative memory systems, these networks define a dynamical system that converges to a set of target states. In this work we show that generative diffusion models can be interpreted as energy-based models and that, when trained on discrete patterns, their energy function is (asymptotically) identical to that of modern Hopfield networks. This equivalence allows us to interpret the supervised training of diffusion models as a synaptic learning process that encodes the associative dynamics of a modern Hopfield network in the weight structure of a deep neural network. Leveraging this connection, we formulate a generalized framework for understanding the formation of long-term memory, where creative generation and memory recall can be seen as parts of a unified continuum.


title: Exponentially Many Correspondence Colourings of Planar and Locally Planar Graphs

abstract: We show that there exists a constant $c > 0$ such that if $G$ is a planar graph with 5-correspondence assignment $(L,M)$, then $G$ has at least $2^{c\cdot v(G)}$ distinct $(L,M)$-colourings. This confirms a conjecture of Langhede and Thomassen. More broadly, we introduce a general method showing how hyperbolicity theorems for certain families of critical graphs can be used to derive lower bounds on the number of colourings of the associated class of planar graphs. Hence our main result follows from this method plus a technical theorem (that we proved in a previous paper) involving the hyperbolicity of graphs critical for $5$-correspondence colouring. We further demonstrate our method in the case of counting 3-correspondence colourings of planar graphs of girth at least five. Finally, we use these theorems to show analogous results hold in the case of counting 5-correspondence colourings of locally planar graphs, and counting 3-correspondence colourings of locally planar graphs of girth at least five.


title: Spectral gap and embedded trees for the Laplacian of the Erd\H{o}s-R\'enyi graph

abstract: For the Erd\H{o}s-R\'enyi graph of size $N$ with mean degree $(1+o(1))\frac{\log N}{t+1}\leq d\leq(1-o(1))\frac{\log N}{t}$ where $t\in\mathbb{N}^{*}$, with high probability the smallest non zero eigenvalue of the Laplacian is equal to $2-2\cos(\pi(2t+1)^{-1})+o(1)$. This eigenvalue arises from a small subgraph isomorphic to a line of size $t$ linked to the giant connected component by only one edge.


title: Quantum Privacy-preserving Two-party Circle Intersection Protocol Based on Phase-encoded Query

abstract: Privacy-preserving geometric intersection (PGI) is an important issue in Secure multiparty computation (SMC). The existing quantum PGI protocols are mainly based on grid coding, which requires a lot of computational complexity. The phase-encoded query method which has been used in some Quantum SMC protocols is suitable to solve the decision problem, but it needs to apply high dimensional Oracle operators. In this paper, we use the principle of phase-encoded query to solve an important PGI problem, namely privacy-preserving two-party circle intersection. We study the implementation of Oracle operator in detail, and achieve polynomial computational complexity by decompsing it into quantum arithmetic operations. Performance analysis shows that our protocol is correct and efficient, and can protect the privacy of all participants against internal and external attacks.


title: Time-space dynamics of income segregation: a case study of Milan's neighbourhoods

abstract: Traditional approaches to urban income segregation focus on static residential patterns, often failing to capture the dynamic nature of social mixing at the neighborhood level. Leveraging high-resolution location-based data from mobile phones, we capture the interplay of three different income groups (high, medium, low) based on their daily routines. We propose a three-dimensional space to analyze social mixing, which is embedded in the temporal dynamics of urban activities. This framework offers a more detailed perspective on social interactions, closely linked to the geographical features of each neighborhood. While residential areas fail to encourage social mixing in the nighttime, the working hours foster inclusion, with the city center showing a heightened level of interaction. As evening sets in, leisure areas emerge as potential facilitators for social interactions, depending on urban features such as public transport and a variety of Points Of Interest. These characteristics significantly modulate the magnitude and type of social stratification involved in social mixing, also underscoring the significance of urban design in either bridging or widening socio-economic divides.


title: covXtreme : MATLAB software for non-stationary penalised piecewise constant marginal and conditional extreme value models

abstract: The covXtreme software provides functionality for estimation of marginal and conditional extreme value models, non-stationary with respect to covariates, and environmental design contours. Generalised Pareto (GP) marginal models of peaks over threshold are estimated, using a piecewise-constant representation for the variation of GP threshold and scale parameters on the (potentially multidimensional) covariate domain of interest. The conditional variation of one or more associated variates, given a large value of a single conditioning variate, is described using the conditional extremes model of Heffernan and Tawn (2004), the slope term of which is also assumed to vary in a piecewise constant manner with covariates. Optimal smoothness of marginal and conditional extreme value model parameters with respect to covariates is estimated using cross-validated roughness-penalised maximum likelihood estimation. Uncertainties in model parameter estimates due to marginal and conditional extreme value threshold choice, and sample size, are quantified using a bootstrap resampling scheme. Estimates of environmental contours using various schemes, including the direct sampling approach of Huseby et al. 2013, are calculated by simulation or numerical integration under fitted models. The software was developed in MATLAB for metocean applications, but is applicable generally to multivariate samples of peaks over threshold. The software and case study data can be downloaded from GitHub, with an accompanying user guide.


title: Navigating the Design Space of Equivariant Diffusion-Based Generative Models for De Novo 3D Molecule Generation

abstract: Deep generative diffusion models are a promising avenue for 3D de novo molecular design in materials science and drug discovery. However, their utility is still limited by suboptimal performance on large molecular structures and limited training data. To address this gap, we explore the design space of E(3)-equivariant diffusion models, focusing on previously unexplored areas. Our extensive comparative analysis evaluates the interplay between continuous and discrete state spaces. From this investigation, we present the EQGAT-diff model, which consistently outperforms established models for the QM9 and GEOM-Drugs datasets. Significantly, EQGAT-diff takes continuous atom positions, while chemical elements and bond types are categorical and uses time-dependent loss weighting, substantially increasing training convergence, the quality of generated samples, and inference time. We also showcase that including chemically motivated additional features like hybridization states in the diffusion process enhances the validity of generated molecules. To further strengthen the applicability of diffusion models to limited training data, we investigate the transferability of EQGAT-diff trained on the large PubChem3D dataset with implicit hydrogen atoms to target different data distributions. Fine-tuning EQGAT-diff for just a few iterations shows an efficient distribution shift, further improving performance throughout data sets. Finally, we test our model on the Crossdocked data set for structure-based de novo ligand generation, underlining the importance of our findings showing state-of-the-art performance on Vina docking scores.


title: Structurally complete finitary extensions of positive \L ukasiewicz logic

abstract: In this paper we study $\mathcal{MV}^+$, i.e. the positive fragment of {\L}ukasiewicz Multi-Valued Logic $\mathcal{MV}$. In particular we describe all the finitary extensions of $\mathcal{MV}^+$ that are structurally complete and all the axiomatic extensions of $\mathcal{MV}^+$ that are hereditarily structurally complete. Examples of hereditarily structurally complete finitary extensions and non hereditarily structurally complete finitary extensions are provided.


title: LRPD: Large Replay Parallel Dataset

abstract: The latest research in the field of voice anti-spoofing (VAS) shows that deep neural networks (DNN) outperform classic approaches like GMM in the task of presentation attack detection. However, DNNs require a lot of data to converge, and still lack generalization ability. In order to foster the progress of neural network systems, we introduce a Large Replay Parallel Dataset (LRPD) aimed for a detection of replay attacks. LRPD contains more than 1M utterances collected by 19 recording devices in 17 various environments. We also provide an example training pipeline in PyTorch [1] and a baseline system, that achieves 0.28% Equal Error Rate (EER) on evaluation subset of LRPD and 11.91% EER on publicly available ASVpoof 2017 [2] eval set. These results show that model trained with LRPD dataset has a consistent performance on the fully unknown conditions. Our dataset is free for research purposes and hosted on GDrive. Baseline code and pre-trained models are available at GitHub.


title: Quantum Amplitude Estimation for Probabilistic Methods in Power Systems

abstract: This paper introduces quantum computing methods for Monte Carlo simulations in power systems which are expected to be exponentially faster than their classical computing counterparts. Monte Carlo simulations is a fundamental method, widely used in power systems to estimate key parameters of unknown probability distributions, such as the mean value, the standard deviation, or the value at risk. It is, however, very computationally intensive. Approaches based on Quantum Amplitude Estimation can offer a quadratic speedup, requiring orders of magnitude less samples to achieve the same accuracy. This paper explains three Quantum Amplitude Estimation methods to replace the Classical Monte Carlo method, namely the Iterative Quantum Amplitude Estimation (IQAE), Maximum Likelihood Amplitude Estimation (MLAE), and Faster Amplitude Estimation (FAE), and compares their performance for three different types of probability distributions for power systems.


title: Is orbital ordering in crystals a magnetic phase transition?

abstract: It is shown that the time-reversal symmetry is broken during the phase transition causing orbital ordering in a crystal with Jahn-Teller (J-T) ions. This means that such phase transitions are magnetic ones. As an example we have considered the spinel crystals containing $T_{2g}$ ions: $NiCr_2O_4$ ($T_{orb}=310$ K, $T_c=70$ K) and $CuCr_2O_4$ ($T_{orb}=860$ K, $T_c=135$ K), where the orbital ordering precedes the spin ordering, which occurs at lower temperatures. The spin-ordering transition is naturally included into our general group-theoretical scheme of the phase transition. Based on the symmetry group of the parent phase, the symmetry groups for possible orbital- and spin-ordered phases are found. We present arguments in favor of the idea that the orbital ordering occurs due to the superexchange between J-T ions, and the spin ordering is caused by the spin-orbital interaction. At the same time, the displacements of atoms of the coordination polyhedron do not lead to the removal of the orbital degeneracy, and they are merely an accompanying effect.


title: Distributed Resilient Control of DC Microgrids Under Generally Unbounded FDI Attacks

abstract: Due to the nature of distributed secondary control paradigm, DC microgrids are prone to malicious cyber-physical attacks, which could be unbounded to maximize their damage. Existing resilient secondary control methods addressing unbounded attacks require that the first time derivatives of cyber-physical attack signals be bounded. The secondary defense strategy presented in this letter relax such a strict constraint by addressing more generally unbounded attack signals and hence, enhance the resilience of DC microgrids in adversarial environments. Rigorous proofs, based on Lyapunov techniques, show that the proposed method guarantees the uniformly ultimately bounded convergence for both voltage regulation and proportional load sharing under generally unbounded attacks. Comparative case studies further validate the enhanced resilience of the proposed attack-resilient control strategy.


title: Geometry of tropical extensions of hyperfields

abstract: We study the geometry of tropical extensions of hyperfields, including the ordinary, signed and complex tropical hyperfields. We introduce the framework of `enriched valuations' as hyperfield homomorphisms to tropical extensions, and show that a notable family of them are relatively algebraically closed. Our main results are hyperfield analogues of Kapranov's theorem and the Fundamental theorem of tropical geometry. Utilizing these theorems, we introduce fine tropical varieties and exhibit a number of applications to motivate their study.


title: Prescanning Assembly Optimization Criteria for Computed Tomography

abstract: Computerized Tomography assembly and system configuration are optimized for enhanced invertibility in sparse data reconstruction. Assembly generating maximum principal components/condition number of weight matrix is designated as best configuration. The gamma CT system is used for testing. The unoptimized sample location placement with 7.7% variation results in a maximum 50% root mean square error, 16.5% loss of similarity index, and 40% scattering noise in the reconstructed image relative to the optimized sample location when the proposed criteria are used. The method can help to automate the CT assembly, resulting in relatively artifact-free recovery and reducing the iteration to figure out the best scanning configuration for a given sample size, thus saving time, dosage, and operational cost.


title: Source-Replacement Model for Phase-Matching Quantum Key Distribution

abstract: Quantum key distribution has emerged as a promising solution for constructing secure communication networks, offering information-theoretic security guaranteed by the principles of quantum mechanics. One of the most advanced quantum key distribution protocols to date is the phase-matching protocol. Its security was initially established using an abstract method known as symmetry-protected privacy. In this study, we reevaluate the security of the phase-matching protocol using an intuitive source-replacement model, and we arrive at conclusions that align with the original proof. This model provides a fresh perspective on the protocol's security. As an application of this approach, we introduce a beam-splitting attack scheme. Leveraging the source-replacement model, we derive a lower bound on the phase error rate under this attack, further underscoring the robustness of our security analysis method.


title: Precise photoexcitation measurement of Tan's contact in the entire BCS-BEC crossover

abstract: We study two-body correlations in a spin-balanced ultracold harmonically trapped Fermi gas of $^6$Li atoms in the crossover from the Bardeen-Cooper-Schrieffer (BCS) to the Bose-Einstein-Condensate (BEC) regime. For this, we precisely measure Tan's contact using a novel method based on photoexcitation of atomic pairs, which was recently proposed by Wang et al. [Phys. Rev. A 104 063309 (2021)]. We map out the contact in the entire phase diagram of the BCS-BEC crossover for various temperatures and interaction strengths, probing regions in phase-space that have not been investigated yet. Our measurements reach an uncertainty of $\approx 2 \%$ and thus represent a precise quantitative benchmark. We compare our data to theoretical predictions and interpolations and localize the regions in phase space where the latter give valid results. In regions where the contact is already well known we find excellent agreement with our measurements. Thus, our results demonstrate that photoinduced loss is a precise probe to measure quantum correlations in a strongly interacting Fermi gas.


title: Adaptive nonparametric drift estimation for multivariate jump diffusions under sup-norm risk

abstract: We investigate nonparametric drift estimation for multidimensional jump diffusions based on continuous observations. The results are derived under anisotropic smoothness assumptions and the estimators' performance is measured in terms of the sup-norm loss. We present two different Nadaraya--Watson type estimators, which are both shown to achieve the classical nonparametric rate of convergence under varying assumptions on the jump measure. Fully data-driven versions of both estimators are also introduced and shown to attain the same rate of convergence. The results rely on novel uniform moment bounds for empirical processes associated to the investigated jump diffusion, which are of independent interest.


title: Data-Driven Min-Max MPC for Linear Systems

abstract: Designing data-driven controllers in the presence of noise is an important research problem, in particular when guarantees on stability, robustness, and constraint satisfaction are desired. In this paper, we propose a data-driven min-max model predictive control (MPC) scheme to design state-feedback controllers from noisy data for unknown linear time-invariant (LTI) system. The considered min-max problem minimizes the worst-case cost over the set of system matrices consistent with the data. We show that the resulting optimization problem can be reformulated as a semidefinite program (SDP). By solving the SDP, we obtain a state-feedback control law that stabilizes the closed-loop system and guarantees input and state constraint satisfaction. A numerical example demonstrates the validity of our theoretical results.


title: Hilbert Schemes of Points in the Plane and Quasi-Lisse Vertex Algebras with $\mathcal{N}=4$ Symmetry

abstract: To each complex reflection group $\Gamma$ one can attach a canonical symplectic singularity $\mathcal{M}_\Gamma$ arXiv:math/9903070. Motivated by the 4D/2D duality arXiv:1312.5344, arXiv:1707.07679, Bonetti, Meneghelli and Rastelli arXiv:1810.03612 conjectured the existence of a supersymmetric vertex operator superalgebra $\mathsf{W}_\Gamma$ whose associated variety is isomorphic to $\mathcal{M}_\Gamma$. We prove this conjecture when the complex reflection group $\Gamma$ is the symmetric group $S_N$ by constructing a sheaf of $\hbar$-adic vertex operator superalgebras on the Hilbert scheme of $N$ points in the plane. For that case, we also show the free-field realisation of $\mathsf{W}_\Gamma$ in terms of $\operatorname{rk}(\Gamma)$ many $\beta\gamma bc$-systems proposed in arXiv:1810.03612, and identify the character of $\mathsf{W}_\Gamma$ as a certain quasimodular form of mixed weight and multiple $q$-zeta value. In physical terms, the vertex operator superalgebra $\mathsf{W}_{S_N}$ constructed in this article corresponds via the 4D/2D duality arXiv:1312.5344 to the four-dimensional $\mathcal{N}=4$ supersymmetric Yang-Mills theory with gauge group $\operatorname{SL}_N$.


title: Polyglot Jet Finding

abstract: The evaluation of new computing languages for a large community, like HEP, involves comparison of many aspects of the languages' behaviour, ecosystem and interactions with other languages. In this paper we compare a number of languages using a common, yet non-trivial, HEP algorithm: the \akt\ clustering algorithm used for jet finding. We compare specifically the algorithm implemented in Python (pure Python and accelerated with numpy and numba), and Julia, with respect to the reference implementation in C++, from Fastjet. As well as the speed of the implementation we describe the ergonomics of the language for the coder, as well as the efforts required to achieve the best performance, which can directly impact on code readability and sustainability.


title: Leave-one-out Distinguishability in Machine Learning

abstract: We introduce an analytical framework to quantify the changes in a machine learning algorithm's output distribution following the inclusion of a few data points in its training set, a notion we define as leave-one-out distinguishability (LOOD). This is key to measuring data **memorization** and information **leakage** as well as the **influence** of training data points in machine learning. We illustrate how our method broadens and refines existing empirical measures of memorization and privacy risks associated with training data. We use Gaussian processes to model the randomness of machine learning algorithms, and validate LOOD with extensive empirical analysis of leakage using membership inference attacks. Our analytical framework enables us to investigate the causes of leakage and where the leakage is high. For example, we analyze the influence of activation functions, on data memorization. Additionally, our method allows us to identify queries that disclose the most information about the training data in the leave-one-out setting. We illustrate how optimal queries can be used for accurate **reconstruction** of training data.


title: Reference Vertical Excitation Energies for Transition Metal Compounds

abstract: To enrich and enhance the diversity of the \textsc{quest} database of highly-accurate excitation energies [\href{https://doi.org/10.1002/wcms.1517}{V\'eril \textit{et al.}, \textit{WIREs Comput.~Mol.~Sci.}~\textbf{11}, e1517 (2021)}], we report vertical transition energies in transition metal compounds. Eleven diatomic molecules with singlet or doublet ground state containing a fourth-row transition metal (\ce{CuCl}, \ce{CuF}, \ce{CuH}, \ce{ScF}, \ce{ScH}, \ce{ScO}, \ce{ScS}, \ce{TiN}, \ce{ZnH}, \ce{ZnO}, and \ce{ZnS}) are considered and the corresponding excitation energies are computed using high-level coupled-cluster (CC) methods, namely CC3, CCSDT, CC4, and CCSDTQ, as well as multiconfigurational methods such as CASPT2 and NEVPT2. In some cases, to provide more comprehensive benchmark data, we also provide full configuration interaction estimates computed with the \textit{"Configuration Interaction using a Perturbative Selection made Iteratively"} (CIPSI) method. Based on these calculations, theoretical best estimates of the transition energies are established in both the aug-cc-pVDZ and aug-cc-pVTZ basis sets. This allows us to accurately assess the performance of CC and multiconfigurational methods for this specific set of challenging transitions. Furthermore, comparisons with experimental data and previous theoretical results are also reported.


title: Elastic bounds of the coupling tensor of anisotropic composite laminates: a polar approach

abstract: In the equivalent single layer theories of anisotropic laminates, the coupling tensor B describes the relation between the in- and out-of plane behavior of the plate. This tensor has some peculiar characteristics and in particular it is not defined, so it is normally considered as an unbounded tensor. We show in this paper a way to determine some relations between the polar invariants of B and those of the tensors describing the in- and out-of- plane behaviors of the laminate, A and D respectively. These relations constitute a set of bounds for the invariants of all the tensors of the laminate, A,B and D. It is hence shown that also the components of B must satisfy some conditions. Some peculiar cases, interesting for applications, are also considered.


title: Few-Shot Domain Adaptation for Charge Prediction on Unprofessional Descriptions

abstract: Recent works considering professional legal-linguistic style (PLLS) texts have shown promising results on the charge prediction task. However, unprofessional users also show an increasing demand on such a prediction service. There is a clear domain discrepancy between PLLS texts and non-PLLS texts expressed by those laypersons, which degrades the current SOTA models' performance on non-PLLS texts. A key challenge is the scarcity of non-PLLS data for most charge classes. This paper proposes a novel few-shot domain adaptation (FSDA) method named Disentangled Legal Content for Charge Prediction (DLCCP). Compared with existing FSDA works, which solely perform instance-level alignment without considering the negative impact of text style information existing in latent features, DLCCP (1) disentangles the content and style representations for better domain-invariant legal content learning with carefully designed optimization goals for content and style spaces and, (2) employs the constitutive elements knowledge of charges to extract and align element-level and instance-level content representations simultaneously. We contribute the first publicly available non-PLLS dataset named NCCP for developing layperson-friendly charge prediction models. Experiments on NCCP show the superiority of our methods over competitive baselines.


title: Extremes of joint inversions and descents on finite Coxeter groups

abstract: The numbers of inversions and descents of random permutations are known to be asymptotically normal. On general finite Coxeter groups, the central limit theorem (CLT) is still valid under mild conditions. The extreme values of these two statistics are attracted by the Gumbel distribution. The joint distribution of inversions and descents is a likewise interesting object, but only the CLT on symmetric groups has been established thus far. In this paper, we comprehensively extend the knowledge of the joint distribution of inversions and descents. We prove both the CLT and the extreme value attraction for the joint distribution of inversions and descents by using H\'ajek projections and a suitable Gaussian approximation. On the signed permutation groups, we additionally show that these results are still valid when the choice of the random signs is biased. Furthermore, we investigate the applicability of these techniques to products of classical Weyl groups.


title: Data-Driven Newton Raphson Controller Based on Koopman Operator Theory

abstract: Newton-Raphson controller is a powerful prediction-based variable gain integral controller. Basically, the classical model-based Newton-Raphson controller requires two elements: the prediction of the system output and the derivative of the predicted output with respect to the control input. In real applications, the model may not be known and it is infeasible to predict the system sometime ahead and calculate the derivative by finite difference method as done in simulation. To solve these problems, in this work, we utilize the Koopman operator framework to reconstruct a linear model of the original nonlinear dynamical system and then utilize the output of the new linear system as the predictor of the Newton-Raphson controller. This method is only based on collected data within some time instant thus more practical. Three examples related to highly nonlinear systems are provided to verify the effectiveness of our proposed method.


title: Robust Stochastic Optimization via Gradient Quantile Clipping

abstract: We introduce a clipping strategy for Stochastic Gradient Descent (SGD) which uses quantiles of the gradient norm as clipping thresholds. We prove that this new strategy provides a robust and efficient optimization algorithm for smooth objectives (convex or non-convex), that tolerates heavy-tailed samples (including infinite variance) and a fraction of outliers in the data stream akin to Huber contamination. Our mathematical analysis leverages the connection between constant step size SGD and Markov chains and handles the bias introduced by clipping in an original way. For strongly convex objectives, we prove that the iteration converges to a concentrated distribution and derive high probability bounds on the final estimation error. In the non-convex case, we prove that the limit distribution is localized on a neighborhood with low gradient. We propose an implementation of this algorithm using rolling quantiles which leads to a highly efficient optimization procedure with strong robustness properties, as confirmed by our numerical experiments.


title: Groups $\Gamma_n^4$: algebraic properties

abstract: In the paper, groups $\Gamma_n^4$ closely connected with braid groups are researched from algebraic point of view. More exactly, for $n\geqslant7$, it is proved that $\Gamma_n^4$ is a nilpotent finite $2$-group with $4$-torsion and that its subgroup $(\Gamma_n^4)'$ is central.


title: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification

abstract: This volume contains the proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). The aim of GandALF 2023 symposium is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.


title: Building Privacy-Preserving and Secure Geospatial Artificial Intelligence Foundation Models

abstract: In recent years we have seen substantial advances in foundation models for artificial intelligence, including language, vision, and multimodal models. Recent studies have highlighted the potential of using foundation models in geospatial artificial intelligence, known as GeoAI Foundation Models, for geographic question answering, remote sensing image understanding, map generation, and location-based services, among others. However, the development and application of GeoAI foundation models can pose serious privacy and security risks, which have not been fully discussed or addressed to date. This paper introduces the potential privacy and security risks throughout the lifecycle of GeoAI foundation models and proposes a comprehensive blueprint for research directions and preventative and control strategies. Through this vision paper, we hope to draw the attention of researchers and policymakers in geospatial domains to these privacy and security risks inherent in GeoAI foundation models and advocate for the development of privacy-preserving and secure GeoAI foundation models.