title: A non-asymptotic distributional theory of approximate message passing for sparse and robust regression

abstract: Characterizing the distribution of high-dimensional statistical estimators is a challenging task, due to the breakdown of classical asymptotic theory in high dimension. This paper makes progress towards this by developing non-asymptotic distributional characterizations for approximate message passing (AMP) -- a family of iterative algorithms that prove effective as both fast estimators and powerful theoretical machinery -- for both sparse and robust regression. Prior AMP theory, which focused on high-dimensional asymptotics for the most part, failed to describe the behavior of AMP when the number of iterations exceeds $o\big({\log n}/{\log \log n}\big)$ (with $n$ the sample size). We establish the first finite-sample non-asymptotic distributional theory of AMP for both sparse and robust regression that accommodates a polynomial number of iterations. Our results derive approximate accuracy of Gaussian approximation of the AMP iterates, which improves upon all prior results and implies enhanced distributional characterizations for both optimally tuned Lasso and robust M-estimator.

categories: math.ST cs.IT cs.LG eess.SP math.IT stat.ML stat.TH


title: On the Exact Matching Problem in Dense Graphs

abstract: In the Exact Matching problem, we are given a graph whose edges are colored red or blue and the task is to decide for a given integer k, if there is a perfect matching with exactly k red edges. Since 1987 it is known that the Exact Matching Problem can be solved in randomized polynomial time. Despite numerous efforts, it is still not known today whether a deterministic polynomial-time algorithm exists as well. In this paper, we make substantial progress by solving the problem for a multitude of different classes of dense graphs. We solve the Exact Matching problem in deterministic polynomial time for complete r-partite graphs, for unit interval graphs, for bipartite unit interval graphs, for graphs of bounded neighborhood diversity, for chain graphs, and for graphs without a complete bipartite t-hole. We solve the problem in quasi-polynomial time for Erd\H{o}s-R\'enyi random graphs G(n, 1/2). We also reprove an earlier result for bounded independence number/bipartite independence number. We use two main tools to obtain these results: A local search algorithm as well as a generalization of an earlier result by Karzanov.


title: Rastro-DM: data mining with a trail

abstract: This paper proposes a methodology for documenting data mining (DM) projects, Rastro-DM (Trail Data Mining), with a focus not on the model that is generated, but on the processes behind its construction, in order to leave a trail (Rastro in Portuguese) of planned actions, training completed, results obtained, and lessons learned. The proposed practices are complementary to structuring methodologies of DM, such as CRISP-DM, which establish a methodological and paradigmatic framework for the DM process. The application of best practices and their benefits is illustrated in a project called 'Cladop' that was created for the classification of PDF documents associated with the investigative process of damages to the Brazilian Federal Public Treasury. Building the Rastro-DM kit in the context of a project is a small step that can lead to an institutional leap to be achieved by sharing and using the trail across the enterprise.


title: Temperature-induced miscibility of impurities in trapped Bose gases

abstract: We study the thermal properties of impurities embedded in a repulsive Bose gas under a harmonic trapping potential. In order to obtain exact structural properties in this inhomogeneous many-body system, we resort to the path-integral Monte Carlo method. We find that, at low temperatures, a single impurity is expelled to the edges of the bath cloud if the impurity-boson coupling constant is larger than the boson-boson one. However, when the temperature is increased, but still in the Bose-condensed phase, the impurity occupies the core of the trap and, thus, the system becomes miscible. This thermal-induced miscibility transition is also observed for a finite concentration of impurities in this inhomogeneous system. We find that the transition temperature for miscibility depends on the impurity-boson interaction and we indicate a novel nondestructive method to measure the temperature of a system based on the studied phenomenon.


title: The random field Ising chain domain-wall structure in the large interaction limit

abstract: We study the configurations of the nearest neighbor Ising ferromagnetic chain with IID centered and square integrable external random field in the limit in which the pairwise interaction tends to infinity. The available free energy estimates for this model show a strong form of disorder relevance, i.e., a strong effect of disorder on the free energy behavior, and our aim is to make explicit how the disorder affects the spin configurations. We give a quantitative estimate that shows that the infinite volume spin configurations are close to one explicit disorder dependent configuration when the interaction is large. Our results confirm predictions on this model obtained in D. S. Fisher, P. Le Doussal and C. Monthus (Phys. Rev. E 2001) by applying the renormalization group method introduced by D. S. Fisher (Phys. Rev. B 1995).


title: Dimension reduction and homogenization of composite plate with matrix pre-strain

abstract: This paper focuses on the simultaneous homogenization and dimension reduction of periodic composite plates within the framework of non-linear elasticity. The composite plate in its reference (undeformed) configuration consists of a periodic perforated plate made of stiff material with holes filled by soft matrix material. The structure is clamped on a cylindrical part. Two cases of asymptotic analysis are considered: one without pre-strain and the other with matrix pre-strain. In both cases, the total elastic energy is in the von-K\'arm\'an (vK) regime ($\varepsilon^5$). A new splitting of the displacements is introduced to analyze the asymptotic behavior. The displacements are decomposed using the Kirchhoff-Love (KL) plate displacement decomposition. The use of a re-scaling unfolding operator allows for deriving the asymptotic behavior of the Green St. Venant's strain tensor in terms of displacements. The limit homogenized energy is shown to be of vK type with linear elastic cell problems, established using the $\Gamma$-convergence. Additionally, it is shown that for isotropic homogenized material, our limit vK plate is orthotropic. The derived results have practical applications in the design and analysis of composite structures.


title: Cosmology Ruler Bookmark for Teaching and Outreach Purposes (Pen-and-pencil cosmological ruler calculator for everyone, especially students)

abstract: Cosmology in general, and relation between redshift and cosmic epoch in particular, is usually obscure to first years university students, secondary students, as well as journalists, politicians and the general public scientists may have interactions with. I identify the need for a simple artifact scientists may give to the public to clarify a few relations between redshift and other physical quantities, more meaningful for a non-scientist audience. This simple bookmark aims at completing previous "pen-and-pencil cosmological calculator" nomograms. I created a small, handy, duplicable bookmark with two printed sides, showing the corresponding cosmological values of redshift, age, time, and angular scale (for 1 kpc), using the Planck 2018 cosmology. On the recto, the redshift range of [0.1, 1000] approaches the recombination with a logarithmic scale. On the verso, the redshift range is chosen to be [0, 30] using a linear scale, covering the range of current (and future) detections of galaxies. A few examples are given, illustrating e.g. Planck, JWST or Euclid capabilities and complementarities, time interval non-linearity, properties of galaxies and clusters. This handy bookmark may be printed cheaply and offered to every student in physics (undergrad and grad student) in our universities or to secondary schools students we visit. The Cosmology Ruler Bookmark included is ready to print (single- or double-sided). The python script is available on github, allowing changes adapted to everyone's needs for teaching and outreach purposes, including with other cosmologies or applied to other scientific fields.


title: A prototype electromagnetic calorimeter for the MUonE experiment: status and first performance results

abstract: The MUonE experiment proposes a novel approach to determine the leading hadronic contribution to the muon g-2, from a precise measurement of the differential cross section of the $\mu-e$ elastic scattering, achievable by using the CERN SPS muon beam onto atomic electrons of a light target. The detector layout is modular, consisting of an array of identical tracking stations, each one made of a light target and silicon strip planes, followed by an electromagnetic calorimeter made of $PbWO_4$ crystals with APD readout, placed after the last station, and a muon filter. The scattering particles are tracked without any magnetic field, and the event kinematics can be defined in a large phase space region from the expected correlation of the outgoing particle angles. The ambiguity affecting a specific region, with electron and muon outgoing with similar deflection angles, can be solved by identifying the electron track as the one with extrapolation matching the calorimeter cluster or the muon track by associating it to hits in the muon filter. The role of the calorimeter will be important for background estimate and reduction, and to assess systematic errors, providing some useful redundancy and allowing for alternative selections. Beam tests are carried out at CERN with a prototype calorimeter to determine its calibration with both high energy (20-150 GeV) and low energy electrons (1-10 GeV). In late summer a pilot run is scheduled with up to three tracking stations and the calorimeter integrated within a common triggerless readout system. The main motivations for the MUonE calorimeter are discussed, and the status and first performance results will be presented.


title: Self-similar and Universal Dynamics in Drainage of Mobile Soap Films

abstract: Vertical soap films drain under the influence of gravity, as indicated by the downward motion of colorful horizontal interference fringes observed on their surfaces. In this study conducted with rectangular soap films, we experimentally characterize the descent dynamics of these isothickness fringes and report its self-similar nature. We also show that this result is equivalent to thickness profiles exhibiting a separation of space and time. By integrating new measurements with data from the literature across various conditions, we validate these properties and establish the universality of the dynamics, governed by a single physical scalar. Our findings provide new insights for proposing a drainage model and understanding the mechanism of marginal regeneration at the origin of the process.


title: Using reinforcement learning to improve drone-based inference of greenhouse gas fluxes

abstract: Accurate mapping of greenhouse gas fluxes at the Earth's surface is essential for the validation and calibration of climate models. In this study, we present a framework for surface flux estimation with drones. Our approach uses data assimilation (DA) to infer fluxes from drone-based observations, and reinforcement learning (RL) to optimize the drone's sampling strategy. Herein, we demonstrate that a RL-trained drone can quantify a CO2 hotspot more accurately than a drone sampling along a predefined flight path that traverses the emission plume. We find that information-based reward functions can match the performance of an error-based reward function that quantifies the difference between the estimated surface flux and the true value. Reward functions based on information gain and information entropy can motivate actions that increase the drone's confidence in its updated belief, without requiring knowledge of the true surface flux. These findings provide valuable insights for further development of the framework for the mapping of more complex surface flux fields.


title: Disjoint Isolating Sets and Graphs with Maximum Isolation Number

abstract: An isolating set in a graph is a set $X$ of vertices such that every edge of the graph is incident with a vertex of $X$ or its neighborhood. The isolation number of a graph, or equivalently the vertex-edge domination number, is the minimum number of vertices in an isolating set. Caro and Hansberg, and independently \.{Z}yli\'{n}ski, showed that the isolation number is at most one-third the order for every connected graph of order at least $6$. We show that in fact all such graphs have three disjoint isolating sets. Further, using a family introduced by Lema\'{n}ska, Mora, and Souto-Salorio, we determine all graphs with equality in the original bound.


title: Coherent excitation of a $\mu$Hz scale optical magnetic quadrupole transition

abstract: We report on the coherent excitation of the ultranarrow $^{1}\mathrm{S}_0$-$^{3}\mathrm{P}_2$ magnetic quadrupole transition in $^{88}\mathrm{Sr}$. By confining atoms in a state insensitive optical lattice, we achieve excitation fractions of 97(1)% and observe linewidths as narrow as 58(1) Hz. With Ramsey spectroscopy, we find coherence times of 14(1) ms, which can be extended to 266(36) ms using a spin-echo sequence. We determine the linewidth of the M2 transition to 24(7) $\mu$Hz, confirming longstanding theoretical predictions. These results establish an additional clock transition in strontium and pave the way for applications of the metastable $^{3}\mathrm{P}_2$ state in quantum computing and quantum simulations.


title: Continuity of solutions to complex Monge-Amp\`{e}re equations on compact K\"{a}hler spaces

abstract: We prove the continuity of bounded solutions to complex Monge-Amp\`{e}re equations on reduced, locally irreducible compact K\"{a}hler spaces. This in particular implies that any singular K\"{a}hler-Einstein potentials constructed in \cite{EGZ09} and \cite{Tsuji88, TianZhang06, ST17} are continuous. We also provide an affirmative answer to a conjecture in \cite{EGZ09} by showing that a resolution of any compact normal K\"{a}hler space satisfies the continuous approximation property. Finally, we settle the continuity of the potentials of the weak K\"{a}hler-Ricci flows \cite{ST17, GLZ20} on compact K\"{a}hler varieties with log terminal singularities.


title: Exploratory Evaluation of Speech Content Masking

abstract: Most recent speech privacy efforts have focused on anonymizing acoustic speaker attributes but there has not been as much research into protecting information from speech content. We introduce a toy problem that explores an emerging type of privacy called "content masking" which conceals selected words and phrases in speech. In our efforts to define this problem space, we evaluate an introductory baseline masking technique based on modifying sequences of discrete phone representations (phone codes) produced from a pre-trained vector-quantized variational autoencoder (VQ-VAE) and re-synthesized using WaveRNN. We investigate three different masking locations and three types of masking strategies: noise substitution, word deletion, and phone sequence reversal. Our work attempts to characterize how masking affects two downstream tasks: automatic speech recognition (ASR) and automatic speaker verification (ASV). We observe how the different masks types and locations impact these downstream tasks and discuss how these issues may influence privacy goals.


title: Cutoff for mixtures of permuted Markov chains: reversible case

abstract: We investigate the mixing properties of a model of reversible Markov chains in random environment, which notably contains the simple random walk on the superposition of a deterministic graph and a second graph whose vertex set has been permuted uniformly at random. It generalizes in particular a result of Hermon, Sly and Sousi, who proved the cutoff phenomenon at entropic time for the simple random walk on a graph with an added uniform matching. Under mild assumptions on the base Markov chains, we prove that with high probability the resulting chain exhibits the cutoff phenomenon at entropic time log n/h, h being some constant related to the entropy of the chain. We note that the results presented here are the consequence of a work conducted for a more general model that does not assume reversibility, which will be the object of a companion paper. Thus, most of our proofs do not actually require reversibility, which constitutes an important technical contribution. Finally, our argument relies on a novel concentration result for "low-degree" functions on the symmetric group, established specifically for our purpose but which could be of independent interest.


title: Recovering the 3D UUV Position using UAV Imagery in Shallow-Water Environments

abstract: In this paper we propose a novel approach aimed at recovering the 3D position of an UUV from UAV imagery in shallow-water environments. Through combination of UAV and UUV measurements, we show that our method can be utilized as an accurate and cost-effective alternative when compared to acoustic sensing methods, typically required to obtain ground truth information in underwater localization problems. Furthermore, our approach allows for a seamless conversion to geo-referenced coordinates which can be utilized for navigation purposes. To validate our method, we present the results with data collected through a simulation environment and field experiments, demonstrating the ability to successfully recover the UUV position with sub-meter accuracy.


title: Multi-scale attention-based instance segmentation for measuring crystals with large size variation

abstract: Quantitative measurement of crystals in high-resolution images allows for important insights into underlying material characteristics. Deep learning has shown great progress in vision-based automatic crystal size measurement, but current instance segmentation methods reach their limits with images that have large variation in crystal size or hard to detect crystal boundaries. Even small image segmentation errors, such as incorrectly fused or separated segments, can significantly lower the accuracy of the measured results. Instead of improving the existing pixel-wise boundary segmentation methods, we propose to use an instance-based segmentation method, which gives more robust segmentation results to improve measurement accuracy. Our novel method enhances flow maps with a size-aware multi-scale attention module. The attention module adaptively fuses information from multiple scales and focuses on the most relevant scale for each segmented image area. We demonstrate that our proposed attention fusion strategy outperforms state-of-the-art instance and boundary segmentation methods, as well as simple average fusion of multi-scale predictions. We evaluate our method on a refractory raw material dataset of high-resolution images with large variation in crystal size and show that our model can be used to calculate the crystal size more accurately than existing methods.


title: Heffter Spaces

abstract: The notion of a Heffter array, which received much attention in the last decade, is equivalent to a pair of orthogonal Heffter systems. In this paper we study the existence problem of a set of $r$ mutually orthogonal Heffter systems for any $r$. Such a set is equivalent to a resolvable partial linear space of degree $r$ whose parallel classes are Heffter systems: this is a new combinatorial design that we call a Heffter space. We present a series of direct constructions of Heffter spaces with block size odd and arbitrarily large degree $r$ obtained with the crucial use of finite fields. Among the applications we establish, in particular, the existence of $r$ mutually orthogonal $k$-cycle systems of order a prime power $q=2kw+1$ whenever $kw$ is odd and $w>4k^4\lceil{r\over k}\rceil$.


title: Berezin transforms on modified Bergman spaces

abstract: In this paper we study the continuity of the Berezin transform on modified Bergman spaces and we establish a Lipschitz estimate in terms of the Bergman-Poincar\'e metric.


title: Extended Formulations for Binary Optimal Control Problems

abstract: Extended formulations are an important tool in polyhedral combinatorics. Many combinatorial optimization problems require an exponential number of inequalities when modeled as a linear program in the natural space of variables. However, by adding artificial variables, one can often find a small linear formulation, i.e., one containing a polynomial number of variables and constraints, such that the projection to the original space of variables yields a perfect linear formulation. Motivated by binary optimal control problems with switching constraints, we show that a similar approach can be useful also for optimization problems in function space, in order to model the closed convex hull of feasible controls in a compact way. More specifically, we present small extended formulations for switches with bounded variation and for dwell-time constraints. For general linear switching point constraints, we devise an extended model linearizing the problem, but show that a small extended formulation that is compatible with discretization cannot exist unless P=NP.


title: BQP, meet NP: Search-to-decision reductions and approximate counting

abstract: What is the power of polynomial-time quantum computation with access to an NP oracle? In this work, we focus on two fundamental tasks from the study of Boolean satisfiability (SAT) problems: search-to-decision reductions, and approximate counting. We first show that, in strong contrast to the classical setting where a poly-time Turing machine requires $\Theta(n)$ queries to an NP oracle to compute a witness to a given SAT formula, quantumly $\Theta(\log n)$ queries suffice. We then show this is tight in the black-box model - any quantum algorithm with "NP-like" query access to a formula requires $\Omega(\log n)$ queries to extract a solution with constant probability. Moving to approximate counting of SAT solutions, by exploiting a quantum link between search-to-decision reductions and approximate counting, we show that existing classical approximate counting algorithms are likely optimal. First, we give a lower bound in the "NP-like" black-box query setting: Approximate counting requires $\Omega(\log n)$ queries, even on a quantum computer. We then give a "white-box" lower bound (i.e. where the input formula is not hidden in the oracle) - if there exists a randomized poly-time classical or quantum algorithm for approximate counting making $o(log n)$ NP queries, then $\text{BPP}^{\text{NP}[o(n)]}$ contains a $\text{P}^{\text{NP}}$-complete problem if the algorithm is classical and $\text{FBQP}^{\text{NP}[o(n)]}$ contains an $\text{FP}^{\text{NP}}$-complete problem if the algorithm is quantum.


title: Diegetic Graphical User Interfaces and Intuitive Control of Assistive Robots via Eye-gaze

abstract: Individuals with tetraplegia and similar forms of paralysis suffer physically and emotionally due to a lack of autonomy. To help regain part of this autonomy, assistive robotic arms have been shown to increase living independence. However, users with paralysis pose unique challenging conditions for the control of these devices. In this article, we present the use of Diegetic Graphical User Interfaces, a novel, intuitive, and computationally inexpensive approach for gaze-controlled interfaces applied to robots. By using symbols paired with fiducial markers, interactive buttons can be defined in the real world which the user can trigger via gaze, and which can be embedded easily into the environment. We apply this system to pilot a 3-degree-of-freedom robotic arm for precision pick-and-place tasks. The interface is placed directly on the robot to allow intuitive and direct interaction, eliminating the need for context-switching between external screens, menus, and the robot. After calibration and a brief habituation period, twenty-one participants from multiple backgrounds, ages and eye-sight conditions completed the Yale-CMU-Berkeley (YCB) Block Pick and Place Protocol to benchmark the system, achieving a mean score of 13.71 out of the maximum 16.00 points. Good usability and user experience were reported (System Usability Score of 75.36) while achieving a low task workload measure (NASA-TLX of 44.76). Results show that users can employ multiple interface elements to perform actions with minimal practice and with a small cognitive load. To our knowledge, this is the first easily reconfigurable screenless system that enables robot control entirely via gaze for Cartesian robot control without the need for eye or face gestures.


title: SpeechAgents: Human-Communication Simulation with Multi-Modal Multi-Agent Systems

abstract: Human communication is a complex and diverse process that not only involves multiple factors such as language, commonsense, and cultural backgrounds but also requires the participation of multimodal information, such as speech. Large Language Model (LLM)-based multi-agent systems have demonstrated promising performance in simulating human society. Can we leverage LLM-based multi-agent systems to simulate human communication? However, current LLM-based multi-agent systems mainly rely on text as the primary medium. In this paper, we propose SpeechAgents, a multi-modal LLM based multi-agent system designed for simulating human communication. SpeechAgents utilizes multi-modal LLM as the control center for individual agent and employes multi-modal signals as the medium for exchanged messages among agents. Additionally, we propose Multi-Agent Tuning to enhance the multi-agent capabilities of LLM without compromising general abilities. To strengthen and evaluate the effectiveness of human communication simulation, we build the Human-Communication Simulation Benchmark. Experimental results demonstrate that SpeechAgents can simulate human communication dialogues with consistent content, authentic rhythm, and rich emotions and demonstrate excellent scalability even with up to 25 agents, which can apply to tasks such as drama creation and audio novels generation. Code and models will be open-sourced at https://github. com/0nutation/SpeechAgents


title: TextMachina: Seamless Generation of Machine-Generated Text Datasets

abstract: Recent advancements in Large Language Models (LLMs) have led to high-quality Machine-Generated Text (MGT), giving rise to countless new use cases and applications. However, easy access to LLMs is posing new challenges due to misuse. To address malicious usage, researchers have released datasets to effectively train models on MGT-related tasks. Similar strategies are used to compile these datasets, but no tool currently unifies them. In this scenario, we introduce TextMachina, a modular and extensible Python framework, designed to aid in the creation of high-quality, unbiased datasets to build robust models for MGT-related tasks such as detection, attribution, mixcase, or boundary detection. It provides a user-friendly pipeline that abstracts away the inherent intricacies of building MGT datasets, such as LLM integrations, prompt templating, and bias mitigation. The quality of the datasets generated by TextMachina has been assessed in previous works, including shared tasks where more than one hundred teams trained robust MGT detectors.


title: Guiding drones by information gain

abstract: The accurate estimation of locations and emission rates of gas sources is crucial across various domains, including environmental monitoring and greenhouse gas emission analysis. This study investigates two drone sampling strategies for inferring source term parameters of gas plumes from atmospheric measurements. Both strategies are guided by the goal of maximizing information gain attained from observations at sequential locations. Our research compares the myopic approach of infotaxis to a far-sighted navigation strategy trained through deep reinforcement learning. We demonstrate the superior performance of deep reinforcement learning over infotaxis in environments with non-isotropic gas plumes.


title: Reconstruction of Excitation Waves from Mechanical Deformation using Physics-Informed Neural Networks

abstract: Non-invasive assessment of the electrical activation pattern can significantly contribute to the diagnosis and treatment of cardiac arrhythmias, due to faster and safer diagnosis, improved surgical planning and easier follow-up. One promising path is to measure the mechanical contraction via echocardiography and utilize this as an indirect way of measuring the original activation pattern. To solve this demanding inversion task, we make use of physics-informed neural networks, an upcoming methodology to solve forward and inverse physical problems governed by partial differential equations. In this study, synthetic data sets were created, consisting of 2D excitation waves coupled to an isotropic and linearly deforming elastic medium. We show that for both focal and spiral patterns, the underlying excitation waves can be reconstructed accurately. We test the robustness of the method against Gaussian noise, reduced spatial resolution and projected tri-planar data. In situations where the data quality is heavily reduced, we show how to improve the reconstruction by additional regularization on the wave speed. Results on the optimization of hyperparameters are also discussed. Our findings suggest that physics-informed neural networks hold the potential to solve sparse and noisy bio-mechanical inversion problems and may offer a pathway to non-invasive assessment of certain cardiac arrhythmias.

categories: physics.med-ph math-ph math.MP physics.comp-ph


title: A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds

abstract: The paper establishes a sharp and rigid isoperimetric-type inequality in Lorentzian signature under the assumption of Ricci curvature bounded below in the timelike directions. The inequality is proved in the high generality of Lorentzian pre-length spaces satisfying timelike Ricci lower bounds in a synthetic sense via optimal transport, the so-called $\mathsf{TCD}^e_p(K,N)$ spaces. The results are new already for smooth Lorentzian manifolds. Applications include an upper bound on the area of Cauchy hypersurfaces inside the interior of a black hole (original already in Schwarzschild) and an upper bound on the area of Cauchy hypersurfaces in cosmological space-times.


title: Quantum coherence in dissociative electron attachment: isotope effect

abstract: Dissociative electron attachment (DEA) is one of the processes that shows a strong coupling between the nuclear and electronic degrees of freedom in a molecule. This coupling results in an efficient transformation of the kinetic energy of attaching free electrons into the chemical energy of the compound molecule. A recent discovery of quantum coherence in this process has opened a whole new dimension in its description. On the other hand, the mass variation in isotopes of the constituent atoms has a profound effect on DEA. In quantum coherence observed in DEA, the isotope effect depicts itself in terms of change in the phase and the amplitude of the interfering dissociation paths. Here, we report the quantum coherence observed in DEA to HD, an isotopologue of H$_2$. In this isotopologue, both H$^-$ and D$^-$ show identical forward-backward asymmetry in the angular distribution. We explain these findings using the interference between two quantum paths, with the permanent dipole moment of the asymmetric mass playing no role in the process.


title: The Robust Bilevel Selection Problem

abstract: In bilevel optimization problems, a leader and a follower make their decisions in a hierarchy, and both decisions influence each other. Usually one assumes that both players have full knowledge also of the other player's data. In a more realistic model, uncertainty can be quantified, e.g., using the robust optimization approach: We assume that the leader does not know the follower's objective precisely, but only up to some uncertainty set, and her aim is to optimize the worst case of the corresponding scenarios. Now the question arises how the complexity of bilevel optimization changes under the additional complications of this uncertainty. We make a further step towards answering this question by examining an easy bilevel problem. In the Bilevel Selection Problem (BSP), the leader and the follower each select some items, while a common number of items to select in total is given, and each player minimizes the total costs of the selected items, according to different sets of item costs. We show that the BSP can be solved in polynomial time and then investigate its robust version. If the item sets controlled by the players are disjoint, it can still be solved in polynomial time for several types of uncertainty sets. Otherwise, we show that the Robust BSP is NP-hard and present a 2-approximation algorithm and exact exponential-time approaches. Furthermore, we investigate variants of the BSP where one or both of the two players take a continuous decision. One variant leads to an example of a bilevel optimization problem whose optimum value may not be attained. For the Robust Continuous BSP, where all variables are continuous, we also develop a new approach for the setting of discrete uncorrelated uncertainty, which gives a polynomial-time algorithm for the Robust Continuous BSP and a pseudopolynomial-time algorithm for the Robust Bilevel Continuous Knapsack Problem.


title: On Lattice Boltzmann Methods based on vector-kinetic models for hyperbolic partial differential equations

abstract: In this paper, we are concerned about the lattice Boltzmann methods (LBMs) based on vector-kinetic models for hyperbolic partial differential equations. In addition to usual lattice Boltzmann equation (LBE) derived by explicit discretisation of vector-kinetic equation (VKE), we also consider LBE derived by semi-implicit discretisation of VKE and compare the relaxation factors of both. We study the properties such as H-inequality, total variation boundedness and positivity of both the LBEs, and infer that the LBE due to semi-implicit discretisation naturally satisfies all the properties while the LBE due to explicit discretisation requires more restrictive condition on relaxation factor compared to the usual condition obtained from Chapman-Enskog expansion. We also derive the macroscopic finite difference form of the LBEs, and utilise it to establish the consistency of LBEs with the hyperbolic system. Further, we extend this LBM framework to hyperbolic conservation laws with source terms, such that there is no spurious numerical convection due to imbalance between convection and source terms. We also present a D$2$Q$9$ model that allows upwinding even along diagonal directions in addition to the usual upwinding along coordinate directions. The different aspects of the results are validated numerically on standard benchmark problems.


title: Multifractal analysis for the pointwise Assouad dimension of self-similar measures

abstract: We quantify the pointwise doubling properties of self-similar measures using the notion of pointwise Assouad dimension. We show that all self-similar measures satisfying the open set condition are pointwise doubling in a set of full Hausdorff dimension, despite the fact that they can in general be non-doubling in a set of full Hausdorff measure. More generally, we carry out multifractal analysis by determining the Hausdorff dimension of the level sets of the pointwise Assouad dimension.


title: Mono-Higgs and Mono-$Z$ Production in the Minimal Vector Dark Matter Model

abstract: The Minimal Vector Dark Matter is a viable realization of the minimal dark matter paradigm. It extends the Standard Model by the inclusion of a vector matter field in the adjoint representation of $SU (2)_L$. The dark matter candidate corresponds to the neutral component of the new vector field ($V^0$). Previous studies have shown that the model can explain the observed dark matter abundance while evading direct and indirect searches. At colliders, the attention has been put on the production of the charged companions of the dark matter candidate. In this work, we focus on the mono-Higgs and mono-$Z$ signals at hadron colliders. The new charged vectors ($V^{\pm}$) are invisible unless a dedicated search is performed. Consequently, we assume that the mono-Higgs and mono-$Z$ processes correspond the $pp\rightarrow h V^{+,0} V^{-,0}$ and $pp\rightarrow Z V^{+,0} V^{-,0}$ reactions, respectively. We show that, while the $p p \rightarrow h V^{+,0} V^{-,0}$ is more important, both channels may produce significant signals at the HL-LHC and colliders running at $\sqrt{s} = 27$ TeV and $100$ TeV, probing almost the complete parameter space.


title: Tiny Time Mixers (TTMs): Fast Pre-trained Models for Enhanced Zero/Few-Shot Forecasting of Multivariate Time Series

abstract: Large pre-trained models excel in zero/few-shot learning for language and vision tasks but face challenges in multivariate time series (TS) forecasting due to diverse data characteristics. Consequently, recent research efforts have focused on developing pre-trained TS forecasting models. These models, whether built from scratch or adapted from large language models (LLMs), excel in zero/few-shot forecasting tasks. However, they are limited by slow performance, high computational demands, and neglect of cross-channel and exogenous correlations. To address this, we introduce Tiny Time Mixers (TTM), a compact model (starting from 1M parameters) with effective transfer learning capabilities, trained exclusively on public TS datasets. TTM, based on the light-weight TSMixer architecture, incorporates innovations like adaptive patching, diverse resolution sampling, and resolution prefix tuning to handle pre-training on varied dataset resolutions with minimal model capacity. Additionally, it employs multi-level modeling to capture channel correlations and infuse exogenous signals during fine-tuning. TTM outperforms existing popular benchmarks in zero/few-shot forecasting by (4-40\%), while reducing computational requirements significantly. Moreover, TTMs are lightweight and can be executed even on CPU-only machines, enhancing usability and fostering wider adoption in resource-constrained environments. Model weights for our initial variant (TTM-Q) are available at https://huggingface.co/ibm-granite/granite-timeseries-ttm-v1. Model weights for more sophisticated variants (TTM-B, TTM-E, and TTM-A) will be shared soon. The source code for TTM can be accessed at https://github.com/ibm-granite/granite-tsfm/tree/main/tsfm_public/models/tinytimemixer.


title: The Optimal Rate for Linear KB-splines and LKB-splines Approximation of High Dimensional Continuous Functions and its Application

abstract: We propose a new approach for approximating functions in $C([0,1]^d)$ via Kolmogorov superposition theorem (KST) based on the linear spline approximation of the K-outer function in Kolmogorov superposition representation. We improve the results in \cite{LaiShenKST21} by showing that the optimal approximation rate based on our proposed approach is $\mathcal{O}(\frac{1}{n^2})$, with $n$ being the number of knots over $[0,1]$, and the approximation constant increases linearly in $d$. We show that there is a dense subclass in $C([0,1]^d)$ whose approximation can achieve such optimal rate, and the number of parameters needed in such approximation is at most $\mathcal{O}(nd)$. Moreover, for $d\geq 4$, we apply the tensor product spline denoising technique to smooth the KB-splines and get the corresponding LKB-splines. We use those LKB-splines as the basis to approximate functions for the cases when $d=4$ and $d=6$, which extends the results in \cite{LaiShenKST21} for $d=2$ and $d=3$. Based on the idea of pivotal data locations introduced in \cite{LaiShenKST21}, we validate via numerical experiments that fewer than $\mathcal{O}(nd)$ function values are enough to achieve the approximation rates such as $\mathcal{O}(\frac{1}{n})$ or $\mathcal{O}(\frac{1}{n^2})$ based on the smoothness of the K-outer function. Finally, we demonstrate that our approach can be applied to numerically solving partial differential equation such as the Poisson equation with accurate approximation results.


title: Genuinely sharp estimates for heat kernels on Weyl chambers

abstract: We consider heat kernels on Weyl chambers corresponding to Laplacians subject to mixed Dirichlet-Neumann boundary conditions imposed on the boundary. Using purely analytic tools we prove genuinely sharp two-sided global estimates in the frameworks of orthogonal root systems and the dihedral root systems $I_2(3)$ and $I_2(4)$.


title: Tangent Velocity constraint for orbital maneuvers with Theory of Functional Connections

abstract: Maneuvering a spacecraft in the cislunar space is a complex problem, since it is highly perturbed by the gravitational influence of both the Earth and the Moon, and possibly also the Sun. Trajectories minimizing the needed fuel are generally preferred in order to decrease the mass of the payload. A classical method to constrain maneuvers is mathematically modelling them using the Two Point Boundary Value Problem (TPBVP), defining spacecraft positions at the start and end of the trajectory. Solutions to this problem can then be obtained with optimization techniques like the nonlinear least squares conjugated with the Theory of Functional Connections (TFC) to embed the constraints, which recently became an effective method for deducing orbit transfers. In this paper, we propose a tangential velocity (TV) type of constraints to design orbital maneuvers. We show that the technique presented in this paper can be used to transfer a spacecraft (e.g. from the Earth to the Moon) and perform rendezvous maneuvers (e.g. a swing-by with the Moon). In comparison with the TPBVP, solving the TV constraints via TFC offers several advantages, leading to a significant reduction in computational time. Hence, it proves to be an efficient technique to design these maneuvers.


title: Projected rotational velocities for LAMOST stars with effective temperature lower than 9000 K

abstract: In Data Release 9 of LAMOST, we present measurements of v sin i for a total of 121,698 stars measured using the Medium Resolution Spectrograph (MRS) and 80,108 stars using the Low Resolution Spectrograph (LRS). These values were obtained through a chi^2 minimisation process, comparing LAMOST spectra with corresponding grids of synthetically broadened spectra. Due to the resolution and the spectral range of LAMOST, v sin i measurements are limited to stars with effective temperature (Teff) ranging from 5000 K to 8500 K for MRS and 7000 K to 9000 K for LRS. The detectable v sin i for MRS is set between 27 km/s and 350 km/s , and for LRS between 110 km/s and 350 km/s, This limitation is because the convolved reference spectra become less informative beyond 350 km/s. The intrinsic precisions of v sin i , determined from multi-epoch observations, is approximately 4.0 km/s for MRS and 10.0 km/s for LRS at signal-to-noise ratio (S/N) greater than 50. Our v sin i values show consistence with those from APOGEE17, displaying a scatter of 8.79 km/s. They are also in agreement with measurements from the Gaia DR3 and SUN catalogs. An observed trend in LAMOST MRS data is the decrease in v sin i with dropping Teff, particularly transiting around 7000 K for dwarfs and 6500 K for giants, primarily observed in stars with near-solar abundances.


title: Comparing Data-Driven and Mechanistic Models for Predicting Phenology in Deciduous Broadleaf Forests

abstract: Understanding the future climate is crucial for informed policy decisions on climate change prevention and mitigation. Earth system models play an important role in predicting future climate, requiring accurate representation of complex sub-processes that span multiple time scales and spatial scales. One such process that links seasonal and interannual climate variability to cyclical biological events is tree phenology in deciduous broadleaf forests. Phenological dates, such as the start and end of the growing season, are critical for understanding the exchange of carbon and water between the biosphere and the atmosphere. Mechanistic prediction of these dates is challenging. Hybrid modelling, which integrates data-driven approaches into complex models, offers a solution. In this work, as a first step towards this goal, train a deep neural network to predict a phenological index from meteorological time series. We find that this approach outperforms traditional process-based models. This highlights the potential of data-driven methods to improve climate predictions. We also analyze which variables and aspects of the time series influence the predicted onset of the season, in order to gain a better understanding of the advantages and limitations of our model.


title: In silico reproduction of the pathophysiology of in-stent restenosis

abstract: The occurrence of in-stent restenosis following percutaneous coronary intervention highlights the need for the creation of computational tools that can extract pathophysiological insights and optimize interventional procedures on a patient-specific basis. In light of this, a comprehensive framework encompassing multiple physical phenomena is introduced in this work. This framework effectively captures the intricate interplay of chemical, mechanical, and biological factors. In addition, computational approaches for the extraction of hemodynamic indicators that modulate the severity of the restenotic process are devised. Thus, this marks a significant stride towards facilitating computer-assisted clinical methodologies.


title: The enigmatic dance of the HD 189733A system: Does the planet accrete onto the star?

abstract: Several studies suggest that the emission properties of a star can be affected by its interaction with a nearby planet. However, the actual observability of these effects remains a subject of debate. An example is the HD189733A system, where some characteristics of its emissions have been interpreted as indicative of ongoing interactions between the star and its planet. Other studies attribute these characteristics to the coronal activity of the star. In this work, we investigate whether the observed stellar X-ray flare events, which appear to be in phase with the planetary period in the HD189733A system, could be attributed to the accretion of the planetary wind onto the stellar surface or resulted from an interaction between the planetary and stellar winds. We developed a 3D MHD model that describes the system HD189733A, including the central host star and its hot Jupiter, along with their respective winds. The effects of gravity and the magnetic fields of both star and planet are taken into account. In the cases examined in this study, the accretion scenario is only viable when the stellar and planetary magnetic field strengths are at 5 G and 1 G, respectively. In this case, the Rayleigh-Taylor instabilities (RTIs) lead to the formation of an accretion column connecting star and planet. Once formed the column remains stable for the entire simulation. The accretion column yields an accretion rates of about 1e12 g/s and shows a mean density of about 1e7 cm^-3. In the other cases, the accretion column does not form because the RTI is suppressed by the stronger magnetic field intensities assumed for both the star and the planet. We synthesized the emission resulting from the shocked planetary wind and, its total X-ray emission ranges from 5e23 to 1e24 erg/s. In the case of accretion, the emission originating from the hot spot cannot be distinguished from the coronal activity.


title: Geodesic interpolation of frame-wise speaker embeddings for the diarization of meeting scenarios

abstract: We propose a modified teacher-student training for the extraction of frame-wise speaker embeddings that allows for an effective diarization of meeting scenarios containing partially overlapping speech. To this end, a geodesic distance loss is used that enforces the embeddings computed from regions with two active speakers to lie on the shortest path on a sphere between the points given by the d-vectors of each of the active speakers. Using those frame-wise speaker embeddings in clustering-based diarization outperforms segment-level clustering-based diarization systems such as VBx and Spectral Clustering. By extending our approach to a mixture-model-based diarization, the performance can be further improved, approaching the diarization error rates of diarization systems that use a dedicated overlap detection, and outperforming these systems when also employing an additional overlap detection.


title: Well-balanced convex limiting for finite element discretizations of steady convection-diffusion-reaction equations

abstract: We address the numerical treatment of source terms in algebraic flux correction schemes for steady convection-diffusion-reaction (CDR) equations. The proposed algorithm constrains a continuous piecewise-linear finite element approximation using a monolithic convex limiting (MCL) strategy. Failure to discretize the convective derivatives and source terms in a compatible manner produces spurious ripples, e.g., in regions where the coefficients of the continuous problem are constant and the exact solution is linear. We cure this deficiency by incorporating source term components into the fluxes and intermediate states of the MCL procedure. The design of our new limiter is motivated by the desire to preserve simple steady-state equilibria exactly, as in well-balanced schemes for the shallow water equations. The results of our numerical experiments for two-dimensional CDR problems illustrate potential benefits of well-balanced flux limiting in the scalar case.


title: Differential Equations for Continuous-Time Deep Learning

abstract: This short, self-contained article seeks to introduce and survey continuous-time deep learning approaches that are based on neural ordinary differential equations (neural ODEs). It primarily targets readers familiar with ordinary and partial differential equations and their analysis who are curious to see their role in machine learning. Using three examples from machine learning and applied mathematics, we will see how neural ODEs can provide new insights into deep learning and a foundation for more efficient algorithms.


title: Twisted cohomology

abstract: We discuss twisted cohomology, not just for ordinary cohomology but also for $K$-theory and other exceptional cohomology theories, and discuss several of the applications of these in mathematical physics. Our list of applications is by no means exhaustive, but we are hoping that it is extensive enough to give the reader a feel for the possible applications of twisted theories in many different contexts. We also give many suggestions for further reading, but this subject has now expanded to the point where the bibliography is necessarily very incomplete.


title: Nano-assembled open quantum dot nanotube devices

abstract: A pristine suspended carbon nanotube is a near ideal environment to host long-lived quantum states. For this reason, they have been used as the core element of qubits and to explore numerous condensed matter physics phenomena. One of the most advanced technique to realize complex carbon nanotube based quantum circuits relies on a mechanical integration of the nanotube into the circuit. Despite the high-quality and complexity of the fabricated circuits, the range of possible experiments was limited to the closed quantum dot regime. Here, by engineering a transparent metal-nanotube interface, we developed a technique that overcomes this limitation. We reliably reach the open quantum dot regime as demonstrated by measurements of Fabry-Perot interferences and Kondo physics in multiple devices. A circuit-nanotube alignment precision of +/-200nm is demonstrated. Our technique allows to envision experiments requiring the combination of complex circuits and strongly coupled carbon nanotubes such as the realization of carbon nanotube superconducting qubits or flux-mediated optomechanics experiments.


title: scDiffusion: conditional generation of high-quality single-cell data using diffusion model

abstract: Single-cell RNA sequencing (scRNA-seq) data are important for studying the laws of life at single-cell level. However, it is still challenging to obtain enough high-quality scRNA-seq data. To mitigate the limited availability of data, generative models have been proposed to computationally generate synthetic scRNA-seq data. Nevertheless, the data generated with current models are not very realistic yet, especially when we need to generate data with controlled conditions. In the meantime, the Diffusion models have shown their power in generating data at high fidelity, providing a new opportunity for scRNA-seq generation. In this study, we developed scDiffusion, a generative model combining diffusion model and foundation model to generate high-quality scRNA-seq data with controlled conditions. We designed multiple classifiers to guide the diffusion process simultaneously, enabling scDiffusion to generate data under multiple condition combinations. We also proposed a new control strategy called Gradient Interpolation. This strategy allows the model to generate continuous trajectories of cell development from a given cell state. Experiments showed that scDiffusion can generate single-cell gene expression data closely resembling real scRNA-seq data. Also, scDiffusion can conditionally produce data on specific cell types including rare cell types. Furthermore, we could use the multiple-condition generation of scDiffusion to generate cell type that was out of the training data. Leveraging the Gradient Interpolation strategy, we generated a continuous developmental trajectory of mouse embryonic cells. These experiments demonstrate that scDiffusion is a powerful tool for augmenting the real scRNA-seq data and can provide insights into cell fate research.


title: Harvesting nucleating structures in nanoparticle crystallization: The example of gold, silver and iron

abstract: The thermodynamics and kinetics of crystallization of nanoparticles, as opposed to bulk phases, may be influenced by surface and size effects. We investigate the importance of such factors in the crystallization process of gold, silver, and iron nanodroplets using numerical simulations in the form of molecular dynamics combined with path sampling. This modeling strategy is targeted at obtaining representative ensembles of structures located at the transition state of the crystallization process. A structural analysis of the transition state ensembles reveals that both the average size and location of the critical nucleation cluster are influenced by surface and nanoscale size effets. Furthermore, we also show that transition state structures in smaller nanodroplets exhibit a more ordered liquid phase, and differentiating between a well-ordered critical cluster and its surrounding disordered liquid phase becomes less evident. All in all, these findings demonstrate that crystallization mechanisms in nanoparticles go beyond the assumptions of classical nucleation theory.


title: The local Universe in the era of large surveys -- III. Radial activity profiles of S0 galaxies

abstract: Spatially resolved MaNGA's optical spectra of 1072 present-day lenticular (S0) galaxies, dimensionally reduced from a principal component analysis (PCA), are used to determine their radial activity structure shaped by any possible nebular ionization source. Activity profiles within $1.5\,R_{\mathrm e}$ are examined in tandem with the mass, age, ellipticity and kinematics of the stars, as well as environmental density. Among the results of this comparison, we find that the sign of the radial activity gradient of S0s is tightly related to their PCA classification, BPT designation, and star formation status. PCA-passive lenticulars often show low-level, flat activity profiles, although there is also a significant number of systems with positive gradients, while their less common active counterparts generally have negative gradients, usually associated with high SSFRs and, sometimes, moderate Seyfert emission. A fraction of the latter also shows radial activity profiles with positive gradients, which become more abundant with increasing stellar mass regardless of environmental density. Our analysis also reveals that the subset of active S0s with negative gradients experiences at all galactocentric radii a systematic reduction in its median activity level with stellar mass, consistent with expectations for main sequence galaxies. In contrast, passive S0s with positive gradients show the opposite behaviour. Furthermore, systems whose activity is dominated by star formation are structurally rounder than the rest of S0s, while those classified as Seyfert exhibit higher rotational support. The possibility that negative and positive activity gradients in S0s may result from rejuvenation by two distinct types of minor mergers is raised.


title: Influence of Core Substitution on the Electronic Structure of Benzobisthiadiazoles

abstract: Benzobisthiadiazoles (BBTs) are promising organic semiconductors for applications in field effect transistors and solar cells, since they possess a strong electron-accepting character. Thereby the electronic structure of organic/metal interfaces and within thin films is essential for the performance of organic electronic devices. Here, we study the structural and the electronic properties of two BBTs, with different core substitution pattern, a phenyl (BBT-Ph) and thiophene (BBT-Th) derivative adsorbed on Au(111) using vibrational and electronic high-resolution electron energy loss spectroscopy in combination with state-of-the-art quantum chemical calculations. In the mono- and multilayer both BBTs adopt a planar adsorption geometry with the molecular backbone as well as the phenyl and thiophene side groups are oriented parallel to the gold substrate. The energies of the lowest excited electronic singlet states and the first triplet state (T1) are determined. The optical gap is found to be 2.2 eV for BBT-Ph and 1.6 eV for BBT-Th. The energy of T1 is identified to be 1.2 eV in BBT-Ph and in the case of BBT-Th 0.7 eV. Thus, both the optical gap size as well as the T1 energy are drastically reduced in BBT-Th compared to BBT-Ph. Based on our quantum chemical calculations this is attributed to the electron-rich nature of the five-membered thiophene rings in conjunction with their preference for planar geometries. Variation of the substitution pattern in BBTs opens the opportunity for tailoring their electronic properties.


title: Medical follow-up optimization: A Monte-Carlo planning strategy

abstract: Designing patient-specific follow-up strategy is a crucial step towards personalized medicine in cancer. Tools to help doctors deciding on treatment allocation together with next visit date, based on patient preferences and medical observations, would be particularly beneficial. Such tools should be based on realistic models of disease progress under the impact of medical treatments, involve the design of (multi-)objective functions that a treatment strategy should optimize along the patient's medical journey, and include efficient resolution algorithms to optimize personalized follow-up by taking the patient's history and preferences into account. We propose to model cancer evolution with a Piecewise Deterministic Markov Process where patients alternate between remission and relapse phases with disease-specific tumor evolution. This model is controlled via the online optimization of a long-term cost function accounting for treatment side-effects, hospital visits burden and disease impact on the quality of life. Optimization is based on noisy measurements of blood markers at visit dates. We leverage the Partially-Observed Monte-Carlo Planning algorithm to solve this continuous-time, continuous-state problem, taking advantage of the nearly-deterministic nature of cancer evolution. We show that this approximate solution approach of the exact model performs better than the counterpart exact resolution of the discrete model, while allowing for more versatility in the cost function model.


title: Riesz completions of some spaces of regular operators

abstract: We describe the Riesz completion (in the sense of van Haandel) of some spaces of regular operators as explicitly identified subspaces of the regular operators into larger range spaces


title: The gravitational angular momentum for the super-energy Bel-Robinson tensor

abstract: Although the super-energy Bel-Robinson tensor gives a desirable gravitational energy-momentum in a small sphere region, the angular-momentum is vanishing. Intuitively, it should be non-zero. Our present work shows that indeed the angular momentum is non-vanishing under the continuity equation requirement. Meanwhile this angular momentum can be converted as a ``Poynting" vector. In addition, by the analog, we also constructed the four ``Maxwell" equations in general relativity.


title: Localization in Quantum Field Theory for inertial and accelerated observers

abstract: We study the problem of localization in Quantum Field Theory (QFT) from the point of view of inertial and accelerated experimenters. We consider the Newton-Wigner, the Algebraic Quantum Field Theory (AQFT) and the modal localization schemes, which are, respectively, based on the orthogonality condition for states localized in disjoint regions of space, on the algebraic approach to QFT and on the representation of single particles as positive frequency solution of the field equation. We show that only the AQFT scheme obeys causality and physical invariance under diffeomorphisms. Then, we consider the nonrelativistic limit of quantum fields in the Rindler frame. We demonstrate the convergence between the AQFT and the modal scheme and we show the emergence of the Born notion of localization of states and observables. Also, we study the scenario in which an experimenter prepares states over a background vacuum by means of nonrelativistic local operators and another experimenter carries out nonrelativistic local measurements in a different region. We find that the independence between preparation of states and measurements is not guaranteed when both experimenters are accelerated and the background state is different from Rindler vacuum, or when one of the two experimenters is inertial.


title: 4D Chern-Simons and the pure spinor $AdS_5\times S^5$ superstring

abstract: Four-dimensional Chern-Simons (4DCS) theory is useful for understanding integrable sigma-models and constructing new ones. In this paper, we show how to derive the complete pure spinor $AdS_5\times S^5$ superstring sigma-model from 4DCS theory with defects. The matter sector of this sigma model was previously derived by Costello and Yamazaki, and we propose here that the pure spinor ghosts come from gauge-fixing meromorphic transformations of 4DCS which lead to the usual pure spinor Lax connection including the ghost contribution.


title: On the infinite time horizon approximation for L\'evy-driven McKean-Vlasov SDEs with non-globally Lipschitz continuous and super-linearly growth drift and diffusion coefficients

abstract: This paper studies the numerical approximation for McKean-Vlasov stochastic differential equations driven by L\'evy processes. We propose a tamed-adaptive Euler-Maruyama scheme and consider its strong convergence in both finite and infinite time horizons when applying for some classes of L\'evy-driven McKean-Vlasov stochastic differential equations with non-globally Lipschitz continuous and super-linearly growth drift and diffusion coefficients.


title: Multi-channel polarization manipulation based on graphene for encryption communication

abstract: Wave-based cryptography, at the vanguard of advancing technologies in advanced information science, is essential for establishing a diverse array of secure cryptographic platforms. The realization of these platforms hinges on the intelligent application of multiplexing techniques, seamlessly combined with appropriate metasurface technology. Nevertheless, existing multi-channel encryption technologies based on metasurfaces face challenges related to information leakage during partial channel decoding processes. In this paper, we present a reprogrammable metasurface for polarization modulation. This metasurface not only allows for the arbitrary customization of linearly polarized reflected waves but also enables real-time amplitude modulation. Here, relying on polarization amplitude control, a fully secure communication protocol is developed precisely in the terahertz (THZ) spectrum to achieve real-time information encryption based on polarization modulation metasurfaces where access to information is highly restricted. The proposed metasurface employs the double random phase encryption (DRPE) algorithm for information encryption. It transmits the encrypted data through different polarization channels using two graphene nanoribbons, exclusively controlled by external biasing conditions. Various encryption scenarios have been outlined to fortify information protection against potential eavesdroppers. The simulated results show that this unique technology for hiding images by manipulating the polarization of the reflected wave provides new opportunities for various applications, including encryption, THz communications, THz secure data storage, and imaging.


title: Measuring the Subjective Passage of Time

abstract: I address the question of measuring the subjective perception of the passage of time at the individual level in relation to its objective duration using a physicist-type treatment. A simple model is thus built in terms of a very small number of equations, which is found to yield a quantitative framework for individual subjective perception of time. Given an objective unit of time like the year, the hypothesis is to introduce a subjective unit of time for each person, which is inversely proportional to the number of objective units already experienced by that person. A power law is also considered. The model is then implemented by stacking individual clocks, each being linked to social rituals, which mark and shape the specific time of an individual throughout their life. For each person, the first of these events is their own birth. A future horizon, as well as an origin of the past, are then defined, along with a speed of subjective passage of time. The model shows that the price for the first ritualized socialization is to exit eternity in terms of a future to be lived with the simultaneous reward of experiencing a moment of infinity analogous to that of birth. The results recover common feelings about the passage of time over a lifetime. In particular, the fact that time passes more quickly with age.


title: From black hole mimickers to black holes

abstract: We present a simple analytical model for studying the collapse of an ultracompact stellar object (regular black hole mimicker with infinite redshift surface) to form a (integrable) black hole, in the framework of General Relativity. Both initial and final configurations have the same ADM mass, so that the transition represents an internal redistribution of matter without emission of energy. The model, despite being quite idealized, can be viewed as a good starting point to investigate near-horizon quantum physics


title: Discretisation of an Oldroyd-B viscoelastic fluid flow using a Lie derivative formulation

abstract: In this article we present a numerical method for the Stokes flow of an Oldroyd-B fluid. The viscoelastic stress evolves according to a constitutive law formulated in terms of the upper convected time derivative. A finite difference method is used to discretise along fluid trajectories to approximate the advection and deformation terms of the upper convected derivative in a simple, cheap and cohesive manner, as well as ensuring that the discrete conformation tensor is positive definite. A full implementation with coupling to the fluid flow is presented, along with detailed discussion of the issues that arise with such schemes. We demonstrate the performance of this method with detailed numerical experiments in a lid-driven cavity setup. Numerical results are benchmarked against published data, and the method is shown to perform well in this challenging case.


title: Sharp bounds for the number of rational points on algebraic curves and dimension growth, over all global fields

abstract: Let $C\subset{\mathbb P}_K^2$ be an algebraic curve over a number field $K$, and denote by $d_K$ the degree of $K$ over ${\mathbb Q}$. We prove that the number of $K$-rational points of height at most $H$ in $C$ is bounded by $c d^{2}H^{2d_K/d}(\log H)^\kappa$ where $c,\kappa$ are absolute constants. We also prove analogous results for global fields in positive characteristic, and, for higher dimensional varieties. The quadratic dependence on $d$ in the bound as well as the exponent of $H$ are optimal; the novel aspect is the quadratic dependence on $d$ which answers a question raised by Salberger. We derive new results on Heath-Brown's and Serre's dimension growth conjecture for global fields, which generalize in particular the results by the first two authors and Novikov from the case $K={\mathbb Q}$. The proofs however are of a completely different nature, replacing the real analytic approach previously used by the $p$-adic determinant method. The optimal dependence on $d$ is achieved using a technical improvement in the treatment of high multiplicity points on mod $p$ reductions of algebraic curves.


title: On characteristic properties of the ellipsoid in terms of circumscribed cones of a convex body

abstract: We strongly believe that in order to prove two important geometrical pro\-blems in convexity, namely, the G. Bianchi and P. Gruber's Conjecture \cite{bigru} and the J. A. Barker and D. G. Larman's Conjecture \cite{Barker}, it is necessary obtain new characteristic properties of the ellipsoid, which involves the notions defined in such problems. In this work we present a series of results which intent to be a progress in such direction: Let $L,K\subset \mathbb{R}^n$ be convex bodies, $n\geq 3$, and $L$ be a subset in the interior of $K$. Then each of the following conditions i), ii) and iii) implies that $L$ is an ellipsoid. i) $L$ is $O$-symmetric and, for every $x$ in the boundary of $K$, the support cone $S(L,x)$ is ellipsoidal. ii) there exists a point $p\in \mathbb{R}^n$ such that for every $x$ in the boundary of $K$, there exists a point $y$ in the boundary of $K$ and hyperplane $\Pi$, passing through $p$, such that \[ S(L,x)\cap S(L,y)=\Pi \cap \textrm{bd } K. \] iii) $K$ and $L$ are $O$-symmetric, every $x$ in the boundary of $K$ is a pole of $L$ and $\Omega_x:=S(L,x)\cap S(L,-x)$ is contained in the interior of $K$. In the case ii), $K$ is also an ellipsoid and it is concentric with $L$. On the other hand, let $K\subset \mathbb{R}^n$ be a $O$-symmetric convex body, $n\geq 3$, and let $B$ in $\mathbb{R}^n$ be a ball with centre at $O$. We are going to prove that if $B$ is small enough and all the sections of $K$ given by planes tangent to $B$ are $(n-1)$-ellipsoids, then $K$ is an $n$-ellipsoid.


title: On Spectral Inclusion Sets and Computing the Spectra and Pseudospectra of Bounded Linear Operators

abstract: In this paper we derive novel families of inclusion sets for the spectrum and pseudospectrum of large classes of bounded linear operators, and establish convergence of particular sequences of these inclusion sets to the spectrum or pseudospectrum, as appropriate. Our results apply, in particular, to bounded linear operators on a separable Hilbert space that, with respect to some orthonormal basis, have a representation as a bi-infinite matrix that is banded or band-dominated. More generally, our results apply in cases where the matrix entries themselves are bounded linear operators on some Banach space. In the scalar matrix entry case we show that our methods, given the input information we assume, lead to a sequence of approximations to the spectrum, each element of which can be computed in finitely many arithmetic operations, so that, with our assumed inputs, the problem of determining the spectrum of a band-dominated operator has solvability complexity index one, in the sense of Ben-Artzi et al. (C. R. Acad. Sci. Paris, Ser. I 353 (2015), 931-936). As a concrete and substantial application, we apply our methods to the determination of the spectra of non-self-adjoint bi-infinite tridiagonal matrices that are pseudoergodic in the sense of Davies (Commun. Math. Phys. 216 (2001) 687-704).


title: BST1047+1156: A (Failing) Ultradiffuse Tidal Dwarf in the Leo I Group

abstract: We use deep Hubble Space Telescope imaging to study the resolved stellar populations in BST1047+1156, a gas-rich, ultradiffuse dwarf galaxy found in the intragroup environment of the Leo I galaxy group. While our imaging reaches approximately two magnitudes below the tip of the red giant branch at the Leo I distance of 11 Mpc, we find no evidence for an old red giant sequence that would signal an extended star formation history for the object. Instead, we clearly detect the red and blue helium burning sequences of its stellar populations, as well as the fainter blue main sequence, all indicative of a recent burst of star formation having taken place over the past 50--250 Myr. Comparing to isochrones for young metal-poor stellar populations, we infer this post-starburst population to be moderately metal poor, with metallicity [M/H] in the range -1 to -1.5. The combination of a young, moderately metal-poor post starburst population and no old stars motivates a scenario in which BST1047 was recently formed during a weak burst of star formation in gas that was tidally stripped from the outskirts of the neighboring massive spiral M96. BST1047's extremely diffuse nature, lack of ongoing star formation, and disturbed HI morphology all argue that it is a transitory object, a "failing tidal dwarf" in the process of being disrupted by interactions within the Leo I group. Finally, in the environment surrounding BST1047, our imaging also reveals the old, metal-poor ([M/H]=-1.3 +/- 0.2) stellar halo of M96 at a projected radius of 50 kpc.


title: Probabilistic derangement numbers and polynomials

abstract: Let Y be a random variable such that the moment generating function of Y exists in a neighborhood of the origin. The aim of this paper is to study probabilistic versions of the derangement polynomials, the derangement polynomials of type 2 and the r-derangement numbers, namely the probabilistic derangement polynomials associated with Y, the probabilistic derangement polynomials of type 2 associated with Y and the probabilistic r-derangement numbers associated Y, respectively. We derive some properties, explicit expressions, certain identities and recurrence relations for those polynomials and numbers. In addition, we consider the special case that Y is the gamma random variable with parameters {\alpha},\b{eta} > 0.


title: Navigating the Congestion Maze: Geospatial Analysis and Travel Behavior Insights for Dockless Bike-Sharing Systems in Xiamen

abstract: Shared bicycles have emerged as a transformative force in urban transportation, effectively addressing the perennial 'last mile' challenge faced by commuters. The limitations of station-based bike-sharing systems, constrained by point-to-point travel, have spurred the popularity of the dockless model, offering flexible rentals and eliminating docking infrastructure constraints. However, the rapid growth of the sharing economy has introduced new challenges, notably an imbalance between supply and demand, leading to issues like the unavailability of bicycles and insufficient parking spaces during peak hours. To address these challenges, this study introduces a novel variable, Congestion Density (C), to quantitatively measure dynamic congestion levels in dockless bicycle-sharing systems. Leveraging real-time shared bike information from Xiamen, China, we present a sophisticated clustering framework for congested spots, identifying 563 congested spots categorized into Over-crowded, Semi-crowded, and Light-crowded clusters. Strikingly, these clusters align with established subway lines and bus stops, revealing a prevalent trend of integration between subway/bus services and bike-sharing. Overall, this study proposes parking lot management plans and policy recommendations based on the dynamics of crowded parking spaces, geographical characteristics, and land functional attributes. Our findings provide crucial insights for implementing bike-sharing electric fences and understanding urban mobility patterns, contributing to sustainable urban transportation.


title: A Primer on Temporal Graph Learning

abstract: This document aims to familiarize readers with temporal graph learning (TGL) through a concept-first approach. We have systematically presented vital concepts essential for understanding the workings of a TGL framework. In addition to qualitative explanations, we have incorporated mathematical formulations where applicable, enhancing the clarity of the text. Since TGL involves temporal and spatial learning, we introduce relevant learning architectures ranging from recurrent and convolutional neural networks to transformers and graph neural networks. We also discuss classical time series forecasting methods to inspire interpretable learning solutions for TGL.


title: MS-DETR: Efficient DETR Training with Mixed Supervision

abstract: DETR accomplishes end-to-end object detection through iteratively generating multiple object candidates based on image features and promoting one candidate for each ground-truth object. The traditional training procedure using one-to-one supervision in the original DETR lacks direct supervision for the object detection candidates. We aim at improving the DETR training efficiency by explicitly supervising the candidate generation procedure through mixing one-to-one supervision and one-to-many supervision. Our approach, namely MS-DETR, is simple, and places one-to-many supervision to the object queries of the primary decoder that is used for inference. In comparison to existing DETR variants with one-to-many supervision, such as Group DETR and Hybrid DETR, our approach does not need additional decoder branches or object queries. The object queries of the primary decoder in our approach directly benefit from one-to-many supervision and thus are superior in object candidate prediction. Experimental results show that our approach outperforms related DETR variants, such as DN-DETR, Hybrid DETR, and Group DETR, and the combination with related DETR variants further improves the performance.


title: Identification with possibly invalid IVs

abstract: This paper proposes a novel identification strategy relying on quasi-instrumental variables (quasi-IVs). A quasi-IV is a relevant but possibly invalid IV because it is not exogenous or not excluded. We show that a variety of models with discrete or continuous endogenous treatment which are usually identified with an IV - quantile models with rank invariance, additive models with homogenous treatment effects, and local average treatment effect models - can be identified under the joint relevance of two complementary quasi-IVs instead. To achieve identification, we complement one excluded but possibly endogenous quasi-IV (e.g., "relevant proxies" such as lagged treatment choice) with one exogenous (conditional on the excluded quasi-IV) but possibly included quasi-IV (e.g., random assignment or exogenous market shocks). Our approach also holds if any of the two quasi-IVs turns out to be a valid IV. In practice, being able to address endogeneity with complementary quasi-IVs instead of IVs is convenient since there are many applications where quasi-IVs are more readily available. Difference-in-differences is a notable example: time is an exogenous quasi-IV while the group assignment acts as a complementary excluded quasi-IV.


title: Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark

abstract: Artificial intelligence (AI) has made remarkable progress across various domains, with large language models like ChatGPT gaining substantial attention for their human-like text-generation capabilities. Despite these achievements, spatial reasoning remains a significant challenge for these models. Benchmarks like StepGame evaluate AI spatial reasoning, where ChatGPT has shown unsatisfactory performance. However, the presence of template errors in the benchmark has an impact on the evaluation results. Thus there is potential for ChatGPT to perform better if these template errors are addressed, leading to more accurate assessments of its spatial reasoning capabilities. In this study, we refine the StepGame benchmark, providing a more accurate dataset for model evaluation. We analyze GPT's spatial reasoning performance on the rectified benchmark, identifying proficiency in mapping natural language text to spatial relations but limitations in multi-hop reasoning. We provide a flawless solution to the benchmark by combining template-to-relation mapping with logic-based reasoning. This combination demonstrates proficiency in performing qualitative reasoning on StepGame without encountering any errors. We then address the limitations of GPT models in spatial reasoning. We deploy Chain-of-thought and Tree-of-thoughts prompting strategies, offering insights into GPT's ``cognitive process", and achieving remarkable improvements in accuracy. Our investigation not only sheds light on model deficiencies but also proposes enhancements, contributing to the advancement of AI with more robust spatial reasoning capabilities.


title: Optical and Radio Variability of the Blazar S4 0954+658

abstract: We present an optical-to-radio study of the BL Lac object S4 0954+658 observations during 1998-2023. The measurements were obtained with the SAO RAS Zeiss-1000 1-m and AS-500/2 0.5-m telescopes in 2003-2023, with the RATAN-600 radio telescope at 1.25 (0.96, 1.1), 2.3, 4.7 (3.7, 3.9), 8.2 (7.7), 11.2, 22.3 (21.7) GHz in 1998-2023, with the IAA RAS RT-32 Zelenchukskaya and Badary telescopes at 5.05 and 8.63 GHz in 2020--2023, and with the RT-22 single-dish telescope of CrAO RAS at 36.8 GHz in 2009-2023. In this period the blazar had been showing extremely high broadband activity with the variability amplitude of flux densities up to 70-100% both in the optical and radio domains. In the period of 2014-2023 the blazar had been showing the historically highest activity in the radio wavelengths, and we detected multiple radio flares of varying amplitude and duration. The large flares last on average from 0.3 to 1 year at 22-36.8 GHz and slightly longer at 5-11.2 GHz. The optical flares are shorter and last 7-50 days. In the most active epoch of 2018-2023 the characteristic time scale $\tau$ of variation at 5-22 GHz is about 100 days and about 1000 days for the state with lower activity in 2009-2014. We found a general correlation between the optical, radio, and $\gamma$-ray flux variations, which suggests that we observe the same photon population from different emission regions. We estimated linear size of this region as 0.5-2 pc for different epochs. A broadband two components radio spectrum of S4 0954+658 jet was modelled by using both electrons and protons as emitting particles. It is shown that the synchrotron radio waves in this AGN may be generated by relativistic protons.


title: Behavioural Cloning in VizDoom

abstract: This paper describes methods for training autonomous agents to play the game "Doom 2" through Imitation Learning (IL) using only pixel data as input. We also explore how Reinforcement Learning (RL) compares to IL for humanness by comparing camera movement and trajectory data. Through behavioural cloning, we examine the ability of individual models to learn varying behavioural traits. We attempt to mimic the behaviour of real players with different play styles, and find we can train agents that behave aggressively, passively, or simply more human-like than traditional AIs. We propose these methods of introducing more depth and human-like behaviour to agents in video games. The trained IL agents perform on par with the average players in our dataset, whilst outperforming the worst players. While performance was not as strong as common RL approaches, it provides much stronger human-like behavioural traits to the agent.


title: Classification of solutions to $3$-D and $4$-D mixed order conformally invariant systems with critical and exponential growth

abstract: In this paper, without any assumption on $v$ and under the extremely mild assumption $u(x)= O(|x|^{K})$ as $|x|\rightarrow+\infty$ for some $K\gg1$ arbitrarily large, we classify solutions of the following conformally invariant system with mixed order and exponentially increasing nonlinearity in $\mathbb{R}^{3}$: $$ \begin{cases} \ (-\Delta)^{\frac{1}{2}} u=v^{4} ,&x\in \mathbb{R}^{3},\\ \ -\Delta v=e^{pw} ,&x\in \mathbb{R}^{3},\\ \ (-\Delta)^{\frac{3}{2}} w=u^{3} ,&x\in \mathbb{R}^{3}, \end{cases} $$ where $p>0$, $w(x)=o(|x|^{2})$ at $\infty$ and $u,v\geq0$ satisfies the finite total curvature condition $\int_{\mathbb{R}^{3}}u^{3}(x)\mathrm{d}x<+\infty$. Moreover, under the extremely mild assumption that \emph{either} $u(x)$ or $v(x)=O(|x|^{K})$ as $|x|\rightarrow+\infty$ for some $K\gg1$ arbitrarily large \emph{or} $\int_{\mathbb{R}^{4}}e^{\Lambda pw(y)}\mathrm{d}y<+\infty$ for some $\Lambda\geq1$, we also prove classification of solutions to the conformally invariant system with mixed order and exponentially increasing nonlinearity in $\mathbb{R}^{4}$: \begin{align*} \begin{cases} \ (-\Delta)^{\frac{1}{2}} u=e^{pw} ,&x\in \mathbb{R}^{4},\\ \ -\Delta v=u^2 ,&x\in \mathbb{R}^{4},\\ \ (-\Delta)^{2} w=v^{4} ,&x\in \mathbb{R}^{4}, \end{cases} \end{align*} where $p>0$, and $w(x)=o(|x|^{2})$ at $\infty$ and $u,v\geq0$ satisfies the finite total curvature condition $\int_{\mathbb{R}^{4}}v^{4}(x)\mathrm{d}x<+\infty$. The key ingredients are deriving the integral representation formulae and crucial asymptotic behaviors of solutions $(u,v,w)$ and calculating the explicit value of the total curvature.


title: Nonlinear solution of classical three-wave interaction via finite dimensional quantum model

abstract: The quantum three-wave interaction, the lowest order nonlinear interaction in plasma physics, describes energy-momentum transfer between three resonant waves in the quantum regime. We describe how it may also act as a finite-degree-of-freedom approximation to the classical three-wave interaction in certain circumstances. By promoting the field variables to operators, we quantize the classical system, show that the quantum system has more free parameters than the classical system, and explain how these parameters may be selected to optimize either initial or long-term correspondence. We then numerically compare the long-time quantum/classical correspondence far from the fixed point dynamics. We discuss the Poincare recurrence of the system and the mitigation of quantum scrambling.


title: Nigeria's ICT and Economic Sustainability in the Digital Age

abstract: Nigeria's remarkable information and communication technology (ICT) journey spans decades, playing a pivotal role in economic sustainability, especially as the nation celebrates its Republic at Sixty. This paper provides an overview of Nigeria's ICT journey, underscoring its central role in sustainable economic prosperity. We explore the potential of artificial intelligence, blockchain, and the Internet of Things (IoT), revealing the remarkable opportunities on the horizon. We stress the urgency of achieving digital inclusivity, bridging the urban-rural gap, and reducing the technological divide, all of which are critical as Nigeria marks its sixtieth year. We intend to prove the invaluable opportunities of ICT for policymakers, business leaders, and educational institutes as Nigeria looks towards enduring economic development in this digital age. Specifically, we envision a dynamic landscape where emerging technologies are set to redefine industries, supercharge economic growth, and enhance the quality of life for every Nigerian.


title: Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems under Generalized Time-Varying Output Constraints

abstract: This paper introduces a novel control framework to address the satisfaction of multiple time-varying output constraints in uncertain high-order MIMO nonlinear control systems. Unlike existing methods, which often assume that the constraints are always decoupled and feasible, our approach can handle coupled time-varying constraints even in the presence of potential infeasibilities. First, it is shown that satisfying multiple constraints essentially boils down to ensuring the positivity of a scalar variable, representing the signed distance from the boundary of the time-varying output-constrained set. To achieve this, a single consolidating constraint is designed that, when satisfied, guarantees convergence to and invariance of the time-varying output-constrained set within a user-defined finite time. Next, a novel robust and low-complexity feedback controller is proposed to ensure the satisfaction of the consolidating constraint. Additionally, we provide a mechanism for online modification of the consolidating constraint to find a least violating solution when the constraints become mutually infeasible for some time. Finally, simulation examples of trajectory and region tracking for a mobile robot validate the proposed approach.


title: Zeroth-Order Non-Convex Optimization for Cooperative Multi-Agent Systems with Diminishing Step Size and Smoothing Radius

abstract: We study a class of zeroth-order distributed optimization problems, where each agent can control a partial vector and observe a local cost that depends on the joint vector of all agents, and the agents can communicate with each other with time delay. We propose and study a gradient descent-based algorithm using two-point gradient estimators with diminishing smoothing parameters and diminishing step-size and we establish the convergence rate to a first-order stationary point for general nonconvex problems. A byproduct of our proposed method with diminishing step size and smoothing parameters, as opposed to the fixed-parameter scheme, is that our proposed algorithm does not require any information regarding the local cost functions. This makes the solution appealing in practice as it allows for optimizing an unknown (black-box) global function without prior knowledge of its smoothness parameters. At the same time, the performance will adaptively match the problem instance parameters.


title: Polynomial Precision Dependence Solutions to Alignment Research Center Matrix Completion Problems

abstract: We present solutions to the matrix completion problems proposed by the Alignment Research Center that have a polynomial dependence on the precision $\varepsilon$. The motivation for these problems is to enable efficient computation of heuristic estimators to formally evaluate and reason about different quantities of deep neural networks in the interest of AI alignment. Our solutions involve reframing the matrix completion problems as a semidefinite program (SDP) and using recent advances in spectral bundle methods for fast, efficient, and scalable SDP solving.


title: Joint distribution of primes in multiple short intervals

abstract: Assuming the Riemann hypothesis (RH) and the linear independence conjecture (LI), we show that the weighted count of primes in multiple disjoint short intervals has a multivariate Gaussian logarithmic limiting distribution with weak negative correlation. As a consequence, we derive short-interval counterparts for many important works in the literature of the Shanks-R\'enyi prime number race, including the sharp phase transition from all races being asymptotically unbiased to the existence of biased races. Our result remains novel, even for primes in a single moving interval, especially under a quantitative formulation of the linear independence conjecture (QLI).


title: Systematic shell-model study of $^{99-129}$Cd isotopes and isomers in neutron-rich $^{127-131}$In isotopes

abstract: Systematic shell-model calculations are presented for odd-mass Cd isotopes with $N=51-81$ utilizing a combination of a $G$-matrix interaction and a semiempirical one. The excited energy spectra and electromagnetic transition probabilities are compared with the recently available experimental data. We have found that the observed quadrupole moments in the $11/2^-_1$ states that linearly change with the neutron number are well accounted for by the dominance of prolate shapes throughout the Cd isotope chain. We have also described the properties of several isomeric states in neutron-rich $^{127-131}$In isotopes that were recently observed in Jyv\"askyl\"a.


title: Hidden Variables: Rehabilitation of von Neumann's Analysis, and Pauli's Uncashable Check

abstract: In his book \textit{The Mathematical Foundations of Quantum Mechanics}, published in 1932, J. von Neumann performed an analysis of the consequences of introducing hidden parameters (hidden variables) into quantum mechanics. He showed that hidden variables cannot be incorporated into the existing theory of quantum mechanics without major modifications, and concluded that if they did exist, the theory would have already failed in situations where it has been successfully applied. von Neumann left open the possibility that the theory is not complete, and his analysis for internal consistency is the best that can be done for a self-referenced logical system (G\"odel's theorem). This analysis had been taken as an ``incorrect proof" against the existence of hidden variables. von Neumann's so-called proof isn't even wrong as such a proof does not exist. One of the earliest attempts at a hidden variable theory was by D. Bohm, and because there were no experimental consequences, W. Pauli referred to it as an ``uncashable check." To our knowledge, a successful hidden variable extension to quantum mechanics with testable consequences has not yet been produced, suggesting that von Neumann's analysis is worthy of rehabilitation, which we attempt to provide in a straightforward manner.


title: Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

abstract: Past research into robotic planning with temporal logic specifications, notably Linear Temporal Logic (LTL), was largely based on singular formulas for individual or groups of robots. But with increasing task complexity, LTL formulas unavoidably grow lengthy, complicating interpretation and specification generation, and straining the computational capacities of the planners. By leveraging the intrinsic structure of tasks, we introduced a hierarchical structure to LTL specifications with requirements on syntax and semantics, and proved that they are more expressive than their flat counterparts. Second, we employ a search-based approach to synthesize plans for a multi-robot system, accomplishing simultaneous task allocation and planning. The search space is approximated by loosely interconnected sub-spaces, with each sub-space corresponding to one LTL specification. The search is predominantly confined to a single sub-space, transitioning to another sub-space under certain conditions, determined by the decomposition of automatons. Moreover, multiple heuristics are formulated to expedite the search significantly. A theoretical analysis concerning completeness and optimality is conducted under mild assumptions. When compared with existing methods on service tasks, our method outperforms in terms of execution times with comparable solution quality. Finally, scalability is evaluated by testing a group of 30 robots and achieving reasonable runtimes.


title: Generative adversarial wavelet neural operator: Application to fault detection and isolation of multivariate time series data

abstract: Fault detection and isolation in complex systems are critical to ensure reliable and efficient operation. However, traditional fault detection methods often struggle with issues such as nonlinearity and multivariate characteristics of the time series variables. This article proposes a generative adversarial wavelet neural operator (GAWNO) as a novel unsupervised deep learning approach for fault detection and isolation of multivariate time series processes.The GAWNO combines the strengths of wavelet neural operators and generative adversarial networks (GANs) to effectively capture both the temporal distributions and the spatial dependencies among different variables of an underlying system. The approach of fault detection and isolation using GAWNO consists of two main stages. In the first stage, the GAWNO is trained on a dataset of normal operating conditions to learn the underlying data distribution. In the second stage, a reconstruction error-based threshold approach using the trained GAWNO is employed to detect and isolate faults based on the discrepancy values. We validate the proposed approach using the Tennessee Eastman Process (TEP) dataset and Avedore wastewater treatment plant (WWTP) and N2O emissions named as WWTPN2O datasets. Overall, we showcase that the idea of harnessing the power of wavelet analysis, neural operators, and generative models in a single framework to detect and isolate faults has shown promising results compared to various well-established baselines in the literature.