title: Semi-Supervised Image Captioning Considering Wasserstein Graph Matching

abstract: Image captioning can automatically generate captions for the given images, and the key challenge is to learn a mapping function from visual features to natural language features. Existing approaches are mostly supervised ones, i.e., each image has a corresponding sentence in the training set. However, considering that describing images always requires a huge of manpower, we usually have limited amount of described images (i.e., image-text pairs) and a large number of undescribed images in real-world applications. Thereby, a dilemma is the "Semi-Supervised Image Captioning". To solve this problem, we propose a novel Semi-Supervised Image Captioning method considering Wasserstein Graph Matching (SSIC-WGM), which turns to adopt the raw image inputs to supervise the generated sentences. Different from traditional single modal semi-supervised methods, the difficulty of semi-supervised cross-modal learning lies in constructing intermediately comparable information among heterogeneous modalities. In this paper, SSIC-WGM adopts the successful scene graphs as intermediate information, and constrains the generated sentences from two aspects: 1) inter-modal consistency. SSIC-WGM constructs the scene graphs of the raw image and generated sentence respectively, then employs the wasserstein distance to better measure the similarity between region embeddings of different graphs. 2) intra-modal consistency. SSIC-WGM takes the data augmentation techniques for the raw images, then constrains the consistency among augmented images and generated sentences. Consequently, SSIC-WGM combines the cross-modal pseudo supervision and structure invariant measure for efficiently using the undescribed images, and learns more reasonable mapping function.


title: Quantum fields on projective geometries

abstract: Considering homogeneous four-dimensional space-time geometries within real projective geometry provides a mathematically well-defined framework to discuss their deformations and limits without the appearance of coordinate singularities. On Lie algebra level the related conjugacy limits act isomorphically to concatenations of contractions. We axiomatically introduce projective quantum fields on homogeneous space-time geometries, based on correspondingly generalized unitary transformation behavior and projectivization of the field operators. Projective correlators and their expectation values remain well-defined in all geometry limits, which includes their ultraviolet and infrared limits. They can degenerate with support on space-time boundaries and other lower-dimensional space-time subspaces. We explore fermionic and bosonic superselection sectors as well as the irreducibility of projective quantum fields. Dirac fermions appear, which obey spin-statistics as composite quantum fields. The framework systematically formalizes and generalizes the ambient space techniques regularly employed in conformal field theory.


title: La relation entre $\zeta(4n-1)$, $\zeta(2p)$ et $\zeta(4n-1-2p)$

abstract: The functional relation of the Riemann z\^eta function provides us with neither the nature nor the expression of z\^eta at positive odd numbers. From the function $F(z)=\frac{z^{-2n}}{e^z-1}$, we find a functional relation involving $\zeta(4n- 1)$, $\zeta(2p)$ and $\zeta(4n-1-2p)$. It is given by: \begin{equation} \zeta(4n-1)=\frac{1}{2n-1}\sum_{p=1}^{2n-2}\zeta(2p)\zeta(4n-1-2p). \end{equation} $n=2, 3, 4, 5, 6, ...$ From this formula we introduce a new approach to study the nature of $\zeta$ on these integers.


title: Text Is MASS: Modeling as Stochastic Embedding for Text-Video Retrieval

abstract: The increasing prevalence of video clips has sparked growing interest in text-video retrieval. Recent advances focus on establishing a joint embedding space for text and video, relying on consistent embedding representations to compute similarity. However, the text content in existing datasets is generally short and concise, making it hard to fully describe the redundant semantics of a video. Correspondingly, a single text embedding may be less expressive to capture the video embedding and empower the retrieval. In this study, we propose a new stochastic text modeling method T-MASS, i.e., text is modeled as a stochastic embedding, to enrich text embedding with a flexible and resilient semantic range, yielding a text mass. To be specific, we introduce a similarity-aware radius module to adapt the scale of the text mass upon the given text-video pairs. Plus, we design and develop a support text regularization to further control the text mass during the training. The inference pipeline is also tailored to fully exploit the text mass for accurate retrieval. Empirical evidence suggests that T-MASS not only effectively attracts relevant text-video pairs while distancing irrelevant ones, but also enables the determination of precise text embeddings for relevant pairs. Our experimental results show a substantial improvement of T-MASS over baseline (3% to 6.3% by R@1). Also, T-MASS achieves state-of-the-art performance on five benchmark datasets, including MSRVTT, LSMDC, DiDeMo, VATEX, and Charades.


title: The Relevance of Dynamical Friction for the MW/LMC/SMC Triple System

abstract: Simulations of structure formation in the standard cold dark matter cosmological model quantify the dark matter halos of galaxies. Taking into account dynamical friction between the dark matter halos, we investigate the past orbital dynamical evolution of the Magellanic Clouds in the presence of the Galaxy. Our calculations are based on a three-body model of rigid Navarro-Frenk-White profiles for the dark matter halos, but were verified in a previous publication by comparison to high-resolution N-body simulations of live self-consistent systems. Under the requirement that the LMC and SMC had an encounter within 20 kpc between 1 and 4 Gyr ago, in order to allow the development of the Magellanic Stream, and using the latest astrometric data, the dynamical evolution of the MW/LMC/SMC system is calculated backwards in time. With the employment of the genetic algorithm and a Markov-Chain Monte-Carlo method, the present state of this system is unlikely with a probability of <10^{-9} (6 sigma complement), because solutions found do not fit into the error bars for the observed plane-of-sky velocity components of the Magellanic Clouds. This implies that orbital solutions that assume dark matter halos according to cosmological structure formation theory to exist around the Magellanic Clouds and the Milky Way are not possible with a confidence of more than 6 sigma


title: Testing kinematic distances under a realistic Galactic potential

abstract: Obtaining reliable distance estimates to gas clouds within the Milky Way is challenging in the absence of certain tracers. The kinematic distance approach has been used as an alternative, derived from the assumption of circular trajectories around the Galactic centre. Consequently, significant errors are expected in regions where gas flow deviates from purely circular motions. We aim to quantify the systematic errors that arise from the kinematic distance method in the presence of a Galactic potential that is non-axisymmetric. We investigate how these errors differ in certain regions of the Galaxy and how they relate to the underlying dynamics. We perform 2D isothermal hydrodynamical simulation of the gas disk with the moving-mesh code Arepo, adding the capability of using an external potential provided by the Agama library for galactic dynamics. We introduce a new analytic potential of the Milky Way, taking elements from existing models and adjusting parameters to match recent observational constraints. We find significant errors in the kinematic distance estimate for gas close to the Sun, along sight lines towards the Galactic centre and anti-centre, and significant deviations associated with the Galactic bar. Kinematic distance errors are low within the spiral arms as gas resides close to local potential minima and the resulting line-of-sight velocity is close to what is expected for an axisymmetric potential. Interarm regions exhibit large deviations at any given Galactic radius. This is caused by the gas being sped up or slowed down as it travels into or out of the spiral arm. We are able to define 'zones of avoidance' in the lv-diagram, where the kinematic distance method is particularly unreliable and should only be used with caution. We report a power law relation between the kinematic distance error and the deviation of the project line-of-sight velocity from circular motion.


title: Discovery of widespread non-metastable ammonia masers in the Milky Way

abstract: We present the results of a search for ammonia maser emission in 119 Galactic high-mass star-forming regions (HMSFRs) known to host 22 GHz H$_2$O maser emission. Our survey has led to the discovery of non-metastable NH$_3$ inversion line masers toward 14 of these sources. This doubles the number of known non-metastable ammonia masers in our Galaxy, including nine new very high excitation ($J,K$)~=~(9,6) maser sources. These maser lines, including NH$_3$ (5,4), (6,4), (6,5), (7,6), (8,6), (9,6), (9,8), (10,8), and (11,9), arise from energy levels of 342 K, 513 K, 465 K, 606 K, 834 K, 1090 K, 942 K, 1226 K, and 1449 K above the ground state. Additionally, we tentatively report a new metastable NH$_3$ (3,3) maser in G048.49 and an NH$_3$ (7,7) maser in G029.95. Our observations reveal that all of the newly detected NH$_3$ maser lines exhibit either blueshifted or redshifted velocities with respect to the source systemic velocities. Among the non-metastable ammonia maser lines, larger velocity distributions, offset from the source systemic velocities, are found in the ortho-NH$_3$ ($K=3n$) than in the para-NH$_3$ ($K\neq3n$) transitions.


title: Partial alignment between jets and megamasers: coherent or selective accretion?

abstract: Spins play a crucial role in the appearance, evolution and occupation fraction of massive black holes. To date observational estimates of massive black hole spins are scarce, and the assumptions commonly made in such estimates have been recently questioned. Similarly, theoretical models for massive black hole spin evolution, while reproducing the few observational constraints, are based on possibly oversimplified assumptions. New independent constraints on massive black hole spins are therefore of primary importance. We present a rigorous statistical analysis of the relative orientation of radio jets and mega-maser discs in ten low-redshift galaxies. We find a strong preference for (partial) alignment between jets and mega-masers, that can be attributed to two different causes: "coherent" and "selective" accretion. In the first case the partial alignment is due to an anisotropy in the gas reservoir fueling the growth of MBHs. In the second case the spin-dependent anisotropic feedback allows for long-lived accretion only if the orbits of the gas inflows are almost aligned to the MBH equatorial plane. A discussion of the implications of the two accretion scenarios on the evolution of MBHs is presented, together with an outlook on future observational tests aiming at discriminating between the two scenarios and at checking if any of the two apply to different redshifts and black hole mass regimes.


title: Resonant Multi-Scalar Production in the Generic Complex Singlet Model in the Multi-TeV Region

abstract: We develop benchmarks for resonant di-scalar production in the generic complex singlet scalar extension of the Standard Model (SM), which contains two new scalars. These benchmarks maximize di-scalar resonant production: $pp\rightarrow h_2 \rightarrow h_1 h_1/h_1h_3/h_3h_3$, where $h_1$ is the observed SM-like Higgs boson and $h_{2,3}$ are new scalars. The decays $h_2\rightarrow h_1h_3$ and $h_2\rightarrow h_3h_3$ may be the only way to discover $h_3$, leading to a discovery of two new scalars at once. Current LHC and projected future collider (HL-LHC, FCC-ee, ILC500) constraints are used to produce benchmarks at the HL-LHC for $h_2$ masses between 250 GeV and 1 TeV and a future $pp$ collider for $h_2$ masses between 250 GeV and 12 TeV. We update the current LHC bounds on the singlet-Higgs boson mixing angle. As the mass of $h_2$ increases, certain limiting behaviors of the maximum rates are uncovered due to theoretical constraints on the parameters. These limits, which can be derived analytically, are ${\rm BR}(h_2\rightarrow h_1h_1)\rightarrow 0.25$, ${\rm BR}(h_2\rightarrow h_3h_3)\rightarrow 0.5$, and ${\rm BR}(h_2\rightarrow h_1h_3) \rightarrow 0$. It can also be shown that the maximum rates of $pp\rightarrow h_2\rightarrow h_1h_1/h_3h_3$ approach the same value. Hence, all three $h_2\rightarrow h_ih_j$ decays are promising discovery modes for $h_2$ masses below $\mathcal{O}(1 {\rm TeV})$, while above $\mathcal{O}(1 {\rm TeV})$ the decays $h_2\rightarrow h_1h_1/h_3h_3$ are more encouraging. Masses for $h_3$ are chosen to produce a large range of signatures including multi-b, multi-vector boson, and multi-$h_1$ production. The behavior of the maximum rates imply that in the multi-TeV region this model may be discovered in the Higgs quartet production mode before Higgs triple production is observed. The maximum di- and four Higgs production rates are similar in the multi-TeV range.


title: Natural Metric-Affine Inflation

abstract: We consider here natural inflation in the low energy (two-derivative) metric-affine theory containing only the minimal degrees of freedom in the inflationary sector, i.e. the massless graviton and the pseudo-Nambu-Goldstone boson (PNGB). This theory contains the Ricci-like and parity-odd Holst invariants together with non-minimal couplings between the PNGB and the above-mentioned invariants. The Palatini and Einstein-Cartan realizations of natural inflation are particular cases of our construction. Explicit models of this type featuring non-minimal couplings are shown to emerge from the microscopic dynamics of a QCD-like theory with an either sub-Planckian or trans-Planckian confining scale and that is renormalizable on Minkowski spacetime. Moreover, for these models, we find regions of the parameter space where the inflationary predictions agree with the most recent observations at the $2\sigma$ level. We find that in order to enter the $1\sigma$ region it is necessary (and sufficient) to have a finite value of the Barbero-Immirzi parameter and a sizable non-minimal coupling between the inflaton and the Holst invariant (with sign opposite to the Barbero-Immirzi parameter). Indeed, in this case the potential of the canonically normalized inflaton develops a plateau as shown analytically.


title: The Tale of Three Scales: the Planck, the Species, and the Black Hole Scales

abstract: Quantum gravity (QG) has a natural cutoff given by the Planck scale $M_{\rm pl}$. However, it is known that the EFT of gravity can break down at a lower scale, the species scale $\Lambda_s\lesssim M_{\rm pl}$, if there are light species of particles. Here we point out that there is a third scale $\Lambda_{\rm BH}\lesssim \Lambda_s\lesssim M_{\rm pl}$, which marks the inverse length (or the temperature) of the smallest black hole where the EFT gives a correct description of its entropy and free energy. This latter scale is hard to detect from the viewpoint of EFT as it represents a phase transition to a state with lower free energy. We illustrate this using examples drawn from consistent QG landscape. In particular $\Lambda_{\rm BH}$ gets related to Gregory--Laflamme transition in the decompactification limits of quantum gravity and to the Horowitz--Polchinski solution in the light perturbative string limits. We propose the existence of $\Lambda_{\rm BH}$ marking the temperature at which neutral black holes undergo a phase transition, as a new Swampland condition for all consistent quantum theories of gravity. In the asymptotic regimes of field space $\Lambda_{\rm BH}$ is close to the mass scale of the lightest tower but deviates from it as we move inwards in the moduli space.


title: Fast quantum integer multiplication with zero ancillas

abstract: The multiplication of superpositions of numbers is a core operation in many quantum algorithms. The standard method for multiplication (both classical and quantum) has a runtime quadratic in the size of the inputs. Quantum circuits with asymptotically fewer gates have been developed, but generally exhibit large overheads, especially in the number of ancilla qubits. In this work, we introduce a new paradigm for sub-quadratic-time quantum multiplication with zero ancilla qubits -- the only qubits involved are the input and output registers themselves. Our algorithm achieves an asymptotic gate count of $\mathcal{O}(n^{1+\epsilon})$ for any $\epsilon > 0$; with practical choices of parameters, we expect scalings as low as $\mathcal{O}(n^{1.3})$. Used as a subroutine in Shor's algorithm, our technique immediately yields a factoring circuit with $\mathcal{O}(n^{2+\epsilon})$ gates and only $2n + \mathcal{O}(\log n)$ qubits; to our knowledge, this is by far the best qubit count of any factoring circuit with a sub-cubic number of gates. Used in Regev's recent factoring algorithm, the gate count is $\mathcal{O}(n^{1.5+\epsilon})$. Finally, we demonstrate that our algorithm has the potential to outperform previous proposals at problem sizes relevant in practice, including yielding the smallest circuits we know of for classically-verifiable quantum advantage.


title: Typical thermalization of low-entanglement states

abstract: Proving thermalization from the unitary evolution of a closed quantum system is one of the oldest questions that is still nowadays only partially resolved. Several efforts have led to various formulations of what is called the eigenstate thermalization hypothesis, which leads to thermalization under certain conditions on the initial states. These conditions, however, are sensitive to the precise formulation of the hypothesis. In this work, we focus on the important case of low entanglement initial states, which are operationally accessible in many natural physical settings, including experimental schemes for testing thermalization and for quantum simulation. We prove thermalization of these states under precise conditions that have operational significance. More specifically, motivated by arguments of unavoidable finite resolution, we define a random energy smoothing on local Hamiltonians that leads to local thermalization when the initial state has low entanglement. Finally we show that such a transformation affects neither the Gibbs state locally nor, under generic smoothness conditions on the spectrum, the short-time dynamics.

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


title: Black hole thermodynamics in natural variables: the BTZ case

abstract: It has been recently shown for a wide range of black hole solutions in 4 and 5 dimensions that it is useful to reorganize the conventional thermodynamics on the inner and outer horizons in terms of left- and right-moving variables. The insight of arXiv:2310.13437 regarding the split of variables was loosely inspired by the example of the BTZ black hole and the corresponding dual CFT$_2$ thermodynamics governed by the Cardy formula. Here we revisit the BTZ case and its generalizations in 3d gravity theories with higher derivative corrections, and show formally the applicability of the newly defined variables and their direct relation to the Cardy formula, which is not a priori guaranteed.


title: Signatures of magnetic braking in Class 0 protostars ? Exploring the gas kinematics in magnetized models of low-mass star formation

abstract: Only indirect evidence of the role of magnetic braking in regulating gravitational collapse and the formation of circumstellar disks was found from observational work, such as compact disk sizes and the launching of high-velocity collimated protostellar jets. More direct tests of the magnetic braking shaping the angular momentum (AM) of the gas in Class 0 protostars are crucially needed. In the present work we have used non-ideal MHD models of protostellar collapse and synthetic observations of molecular gas spectral emission that we analyze to test whether possible kinematic signatures of the magnetic braking in the gas velocity field can be captured from maps of the molecular gas emission in protostellar envelopes. By comparing the 3D Specific AM of models with varying turbulent energy and magnetization, we show that, in the numerical models of protostellar evolution explored, the increase in magnetization and its consequences on the spatial redistribution of SAM modifies the shapes of the radial profiles of SAM. We show that widely used observational methods fail to quantitatively capture the magnitude of SAM of the gas in protostellar envelopes, and that no method allows to measure the differences in radial evolution of SAM due to different magnetization at all envelope radii. This is especially true in the more magnetized cases. However, our analysis suggests that the detection of symmetric patterns and organized velocity fields, in the moment-1 maps of the molecular line emission as well as monotonous radial profiles of the SAM showing a power-law decline, should be suggestive of a less magnetized scenario. Protostellar cores where efficient magnetic braking is at work are more likely to present a highly asymmetric velocity field, and more prone to show complex radial profiles of their specific angular momentum measured in the equatorial plane.


title: Pressure and speed of sound in two-flavor color-superconducting quark matter at next-to-leading order

abstract: Deconfined quark matter at asymptotically high densities is weakly coupled, due to the asymptotic freedom of Quantum Chromodynamics. In this weak-coupling regime, bulk thermodynamic properties of quark matter, assuming a trivial ground state, are currently known to partial next-to-next-to-next-to-leading order. However, the ground state at high densities is expected to be a color superconductor, in which the excitation spectrum of (at least some) quarks exhibit a gap with a non-perturbative dependence on the strong coupling. In this work, we calculate the thermodynamic properties of color-superconducting quark matter at high densities and zero temperature at next-to-leading order (NLO) in the coupling in the presence of a finite gap. We work in the limit of two massless quark flavors, which corresponds to deconfined symmetric nuclear matter, and further assume that the gap is small compared to the quark chemical potential. In these limits, we find that the NLO corrections to the pressure and speed of sound are comparable in size to the leading-order effects of the gap, and further increase both quantities above their values for non-superconducting quark matter. We also provide a parameterization of the NLO speed of sound to guide phenomenology in the high-density region, and we furthermore comment on whether our findings should be expected to extend to the case of three-flavor quark matter of relevance to neutron stars.


title: On AdS$_4$ deformations of celestial symmetries

abstract: Celestial holography has led to the discovery of new symmetry algebras arising from the study of collinear limits of perturbative gravity amplitudes in flat space. We explain from the twistor perspective how a non-vanishing cosmological constant $\Lambda$ naturally modifies the celestial chiral algebra. The cosmological constant deforms the Poisson bracket on twistor space, so the corresponding deformed algebra of Hamiltonians under the new bracket is automatically consistent. This algebra is equivalent to that recently found by Taylor and Zhu. We find a number of variations of the deformed algebra. We give the Noether charges arising from the expression of this algebra as a symmetry of the twistor action for self-dual gravity with cosmological constant.


title: A closer scrutiny of cosmic ray proton energy losses

abstract: The percent-level precision attained by modern cosmic ray (CR) observations motivates reaching a comparable or better control of theoretical uncertainties. Here we focus on energy-loss processes affecting low-energy CR protons ($\sim 0.1-5$ GeV), where the experimental errors are small and collisional effects play a comparatively larger role with respect to collisionless transport ones. We study three aspects of the problem: i) We quantitatively assess the role of the nuclear elastic cross-section, for the first time, providing analytical formulae for the stopping power and inelasticity. ii) We discuss the error arising from treating both elastic and pion production inelastic interactions as continuous energy loss processes, as opposed to catastrophic ones. The former is the approximation used in virtually all modern numerical calculations. iii) We consider sub-leading effects such as relativistic corrections, radiative and medium processes in ionization energy-losses. Our analysis reveals that neglecting i) leads to errors close to 1%, notably around and below 1 GeV; neglecting ii) leads to errors reaching about 3% within the considered energy range; iii) contributes to a minor effect, gauged at the level of 0.1%. Consequently, while iii) can currently be neglected, ii) warrants consideration, and we also recommend incorporating i) into computations. We conclude with some perspectives on further steps to be taken towards a high-precision goal of theoretical CR predictions regarding the treatment of energy-losses.


title: Rindler Fluids from Gravitational Shockwaves

abstract: We study a correspondence between gravitational shockwave geometry and its fluid description near a Rindler horizon in Minkowski spacetime. Utilizing the Petrov classification that describes algebraic symmetries for Lorentzian spaces, we establish an explicit mapping between a potential fluid and the shockwave metric perturbation, where the Einstein equation for the shockwave geometry is equivalent to the incompressibility condition of the fluid, augmented by a shockwave source. Then we consider an Ansatz of a stochastic quantum source for the potential fluid, which has the physical interpretation of shockwaves created by vacuum energy fluctuations. Under such circumstance, the Einstein equation, or equivalently, the incompressibility condition for the fluid, becomes a stochastic differential equation. By smearing the quantum source on a stretched horizon in a Lorentz invariant manner with a Planckian width (similarly to the membrane paradigm), we integrate fluctuations near the Rindler horizon to find an accumulated effect of the variance in the round-trip time of a photon traversing the horizon of a causal diamond.


title: Generalized Chern-Simons-Schrodinger system with critical exponential growth: the zero mass case

abstract: We consider the existence of ground state solutions for a class of zero-mass Chern-Simons-Schr\"{o}dinger systems \[ \left\{ \begin{array}{ll} \displaystyle -\Delta u +A_0 u+\sum\limits_{j=1}^2A_j^2 u=f(u)-a(x)|u|^{p-2}u, \newline \displaystyle \partial_1A_2-\partial_2A_1=-\frac{1}{2}|u|^2,~\partial_1A_1+\partial_2A_2=0, \newline \displaystyle \partial_1A_0=A_2|u|^2,~ \partial_2A_0=-A_1|u|^2, \end{array} \right. \] where $a:\mathbb R^2\to\mathbb R^+$ is an external potential, $p\in(1,2)$ and $f\in \mathcal{C}(\mathbb R)$ denotes a nonlinearity that fulfills the critical exponential growth in the Trudinger-Moser sense at infinity. By introducing an improvement of the version of Trudinger-Moser inequality, we are able to investigate the existence of positive ground state solutions for the given system using variational method.


title: A Constructive Method for Designing Safe Multirate Controllers for Differentially-Flat Systems

abstract: We present a multi-rate control architecture that leverages fundamental properties of differential flatness to synthesize controllers for safety-critical nonlinear dynamical systems. We propose a two-layer architecture, where the high-level generates reference trajectories using a linear Model Predictive Controller, and the low-level tracks this reference using a feedback controller. The novelty lies in how we couple these layers, to achieve formal guarantees on recursive feasibility of the MPC problem, and safety of the nonlinear system. Furthermore, using differential flatness, we provide a constructive means to synthesize the multi-rate controller, thereby removing the need to search for suitable Lyapunov or barrier functions, or to approximately linearize/discretize nonlinear dynamics. We show the synthesized controller is a convex optimization problem, making it amenable to real-time implementations. The method is demonstrated experimentally on a ground rover and a quadruped robotic system.


title: Equilibration of objective observables in a dynamical model of quantum measurements

abstract: The challenge of understanding quantum measurement persists as a fundamental issue in modern physics. Particularly, the abrupt and energy-non-conserving collapse of the wave function appears to contradict classical thermodynamic laws. The contradiction can be resolved by considering measurement itself to be an entropy-increasing process, driven by the second law of thermodynamics. This proposal, dubbed the Measurement-Equilibration Hypothesis, builds on the Quantum Darwinism framework derived to explain the emergence of the classical world. Measurement outcomes thus emerge objectively from unitary dynamics via closed-system equilibration. Working within this framework, we construct the set of \textit{`objectifying observables'} that best encode the measurement statistics of a system in an objective manner, and establish a measurement error bound to quantify the probability an observer will obtain an incorrect measurement outcome. Using this error bound, we show that the objectifying observables readily equilibrate on average under the set of Hamiltonians which preserve the outcome statistics on the measured system. Using a random matrix model for this set, we numerically determine the measurement error bound, finding that the error only approaches zero with increasing environment size when the environment is coarse-grained into so-called observer systems. This indicates the necessity of coarse-graining an environment for the emergence of objective measurement outcomes.


title: Nonsingularity of unsymmetric Kansa matrices: random collocation by MultiQuadrics and Inverse MultiQuadrics

abstract: Unisolvence of unsymmetric Kansa collocation is still a substantially open problem. We prove that Kansa matrices with MultiQuadrics and Inverse MultiQuadrics for the Dirichlet problem of the Poisson equation are almost surely nonsingular, when the collocation points are chosen by any continuous random distribution in the domain interior and arbitrarily on its boundary.


title: DORE: A Dataset For Portuguese Definition Generation

abstract: Definition modelling (DM) is the task of automatically generating a dictionary definition for a specific word. Computational systems that are capable of DM can have numerous applications benefiting a wide range of audiences. As DM is considered a supervised natural language generation problem, these systems require large annotated datasets to train the machine learning (ML) models. Several DM datasets have been released for English and other high-resource languages. While Portuguese is considered a mid/high-resource language in most natural language processing tasks and is spoken by more than 200 million native speakers, there is no DM dataset available for Portuguese. In this research, we fill this gap by introducing DORE; the first dataset for Definition MOdelling for PoRtuguEse containing more than 100,000 definitions. We also evaluate several deep learning based DM models on DORE and report the results. The dataset and the findings of this paper will facilitate research and study of Portuguese in wider contexts.


title: An analytic method for quadratic polarons in non-parabolic bands

abstract: Including the effect of lattice anharmonicity on electron-phonon interactions has recently garnered attention due to its role as a necessary and significant component in explaining various phenomena, including superconductivity, optical response, and the temperature dependence of mobility. This study focuses on analytically treating the effects of anharmonic electron-phonon coupling on the polaron self-energy, combined with numerical Diagrammatic Monte Carlo data. Specifically, we incorporate a quadratic interaction into the method of squeezed phonon states, which has proven effective for analytically calculating the polaron parameters. Additionally, we extend this method to non-parabolic finite-width conduction bands while maintaining the periodic translation symmetry of the system. Our results are compared with those obtained from Diagrammatic Monte Carlo, partially reported in a recent study [Phys. Rev. B 107, L121109(2023)], covering a wide range of coupling strengths for the nonlinear interaction. Remarkably, our analytic method predicts the same features as the Diagrammatic Monte Carlo simulation.


title: Entanglement entropy of coherent intertwiner in loop quantum gravity

abstract: In this paper, we carry out the entanglement calculations on the coherent intertwiners. We first consider the entanglement introduced by the group-averaging of the tensor-product type intertwiner on a four-valents vertex. The result shows that the entanglement is determined by the probability distribution of recoupling spin, and this probability distribution is a well-behaved peak for the highest (and lowest) weight states. Further, we calculated explicitly the entanglement on gauge-invariant coherent intertwiner with four legs. Our numerical results show that the shape of the semiclassical polyhedron described by the coherent intertwiner can be related to the entanglement; In other words, the entanglement is controlled by the face-angle of the semiclassical polyhedron. Finally, we extend our analytical calculation to the coherent intertwiners with arbitrary number of legs.


title: A Study on the Use of Simulation in Synthesizing Path-Following Control Policies for Autonomous Ground Robots

abstract: We report results obtained and insights gained while answering the following question: how effective is it to use a simulator to establish path following control policies for an autonomous ground robot? While the quality of the simulator conditions the answer to this question, we found that for the simulation platform used herein, producing four control policies for path planning was straightforward once a digital twin of the controlled robot was available. The control policies established in simulation and subsequently demonstrated in the real world are PID control, MPC, and two neural network (NN) based controllers. Training the two NN controllers via imitation learning was accomplished expeditiously using seven simple maneuvers: follow three circles clockwise, follow the same circles counter-clockwise, and drive straight. A test randomization process that employs random micro-simulations is used to rank the ``goodness'' of the four control policies. The policy ranking noted in simulation correlates well with the ranking observed when the control policies were tested in the real world. The simulation platform used is publicly available and BSD3-released as open source; a public Docker image is available for reproducibility studies. It contains a dynamics engine, a sensor simulator, a ROS2 bridge, and a ROS2 autonomy stack the latter employed both in the simulator and the real world experiments.


title: Nanoparticles of NbC produced by laser ablation in liquid: a study of structural, magnetic and superconductivity properties

abstract: Niobium carbide (NbC) is a high-field Type II superconductor with a critical temperature ($T_C$) of 11.1 K, just above that of pure Nb ($T_C = 9$ K). Downsizing NbC to the nanoparticle scale introduces significant alterations in its critical field and/or the superconducting temperature. Here we report on superconducting NbC nanoparticles with $T_C \approx$ 10 K synthesized by laser ablation in acetone, using the lens-target distance (laser fluence) and centrifugation as control parameters of the particle size. X-ray diffraction analyses certified the cubic NbC phase and electron microscopy images revealed spherical particles with average size near 8 nm, with no apparent size dependence on fluence. Besides, magnetization curves exhibited magnetic loops featuring a saturation magnetization around $10^{-3} \mu_B$/molecule along with a small and typical superconducting loop for all investigated samples. We also observed a suppression of the diamagnetic behavior below $T_C$ upon decreasing laser fluence. Moreover, all samples exhibited a weak electron spin resonance (ESR) Curie-like signal at $g\approx2.0$ probably associated with localized defects in the particle's surface. The intriguing coexistence of superconductivity and magnetism in nanoparticles has recently garnered significant research attention. This complex scenario and unique properties are due to the substantial increase of surface-to-volume ratio in these superconducting NbC nanoparticles and further investigation would be crucial to unveil novel material properties and shed new light on our understanding of the superconducting phenomenon in this new morphology.


title: Tripartite entanglement and Bell non-locality in loop-induced Higgs boson decays

abstract: In this article, we study quantum entanglement properties of the three-body $H\to\gamma l\bar{l}$ decays (for $l=e,\mu,\tau$) within the context of the Standard Model augmented with CP-violating interactions in the lepton Yukawa sector. Our aim is to elucidate the distribution of entanglement between the final photon, lepton and antilepton across the phase-space. These rare Higgs boson decays occur at 1-loop level, presenting a unique opportunity to scrutinize quantum correlations of fundamental interactions in tripartite systems by computing concurrence measures and investigating Bell non-locality. Moreover, we explore post-decay and autodistillation phenomena. Multipartite entanglement measures have much richer structure than those in the bipartite case, thus deserve more attention in collider phenomenology. In this line, we analyze here novel observables for these three-body Higgs boson decays, which can be extended to other multiparticle systems within the high-energy regime. We found that entanglement manifests among final particles, occasionally achieving a maximally entangled state in specific kinematical configurations. Also, these decay channels are promising for Bell non-locality tests but CP-effects are suppressed by lepton masses in this kind of observables.


title: Enriching Word Usage Graphs with Cluster Definitions

abstract: We present a dataset of word usage graphs (WUGs), where the existing WUGs for multiple languages are enriched with cluster labels functioning as sense definitions. They are generated from scratch by fine-tuned encoder-decoder language models. The conducted human evaluation has shown that these definitions match the existing clusters in WUGs better than the definitions chosen from WordNet by two baseline systems. At the same time, the method is straightforward to use and easy to extend to new languages. The resulting enriched datasets can be extremely helpful for moving on to explainable semantic change modeling.


title: Improving Pre-trained Language Model Sensitivity via Mask Specific losses: A case study on Biomedical NER

abstract: Adapting language models (LMs) to novel domains is often achieved through fine-tuning a pre-trained LM (PLM) on domain-specific data. Fine-tuning introduces new knowledge into an LM, enabling it to comprehend and efficiently perform a target domain task. Fine-tuning can however be inadvertently insensitive if it ignores the wide array of disparities (e.g in word meaning) between source and target domains. For instance, words such as chronic and pressure may be treated lightly in social conversations, however, clinically, these words are usually an expression of concern. To address insensitive fine-tuning, we propose Mask Specific Language Modeling (MSLM), an approach that efficiently acquires target domain knowledge by appropriately weighting the importance of domain-specific terms (DS-terms) during fine-tuning. MSLM jointly masks DS-terms and generic words, then learns mask-specific losses by ensuring LMs incur larger penalties for inaccurately predicting DS-terms compared to generic words. Results of our analysis show that MSLM improves LMs sensitivity and detection of DS-terms. We empirically show that an optimal masking rate not only depends on the LM, but also on the dataset and the length of sequences. Our proposed masking strategy outperforms advanced masking strategies such as span- and PMI-based masking.


title: Cross-system biological image quality enhancement based on the generative adversarial network as a foundation for establishing a multi-institute microscopy cooperative network

abstract: High-quality fluorescence imaging of biological systems is limited by processes like photobleaching and phototoxicity, and also in many cases, by limited access to the latest generations of microscopes. Moreover, low temporal resolution can lead to a motion blur effect in living systems. Our work presents a deep learning (DL) generative-adversarial approach to the problem of obtaining high-quality (HQ) images based on their low-quality (LQ) equivalents. We propose a generative-adversarial network (GAN) for contrast transfer between two different separate microscopy systems: a confocal microscope (producing HQ images) and a wide-field fluorescence microscope (producing LQ images). Our model proves that such transfer is possible, allowing us to receive HQ-generated images characterized by low mean squared error (MSE) values, high structural similarity index (SSIM), and high peak signal-to-noise ratio (PSNR) values. For our best model in the case of comparing HQ-generated images and HQ-ground truth images, the median values of the metrics are 6x10-4, 0.9413, and 31.87, for MSE, SSIM, and PSNR, respectively. In contrast, in the case of comparison between LQ and HQ ground truth median values of the metrics are equal to 0.0071, 0.8304, and 21.48 for MSE, SSIM, and PSNR respectively. Therefore, we observe a significant increase ranging from 14% to 49% for SSIM and PSNR respectively. These results, together with other single-system cross-modality studies, provide proof of concept for further implementation of a cross-system biological image quality enhancement.


title: Notes on chain conditions in $C_p(X)$

abstract: We present new results regarding calibers in the function spaces $C_p(X)$. We give sufficient conditions to characterize the calibers of $C_p(X)$ when $X$ is a topological sum, and we calculate the calibers of $C_p(X)$ when $X = \prod_{\xi < \lambda}X_\xi$ is a product of non-trivial Tychonoff spaces with $i$-weight $\leq \lambda$. Moreover, we calculate the calibers of $C_p(X)$ when $X$ is an interval of ordinals and when $X$ is the one-point $\lambda$-Lindel\"of extension of a discrete space of cardinality $\geq \lambda$. This allows to give examples of compact Hausdorff spaces $Z$ such that $iw(Z)=\kappa^{+}$ and $C_p(Z^{\kappa})$ does not have caliber $iw(Z)$; and examples of spaces $\{Z_\alpha : \alpha<cf(\kappa)\}$ such that $\kappa$ is a caliber for $C_p(Z_\alpha)$ whenever $\alpha<cf(\kappa)$ but it is not a caliber for $C_p(\bigoplus_{\alpha<cf(\kappa)} Z_\alpha)$.


title: Predicting Species Occurrence Patterns from Partial Observations

abstract: To address the interlinked biodiversity and climate crises, we need an understanding of where species occur and how these patterns are changing. However, observational data on most species remains very limited, and the amount of data available varies greatly between taxonomic groups. We introduce the problem of predicting species occurrence patterns given (a) satellite imagery, and (b) known information on the occurrence of other species. To evaluate algorithms on this task, we introduce SatButterfly, a dataset of satellite images, environmental data and observational data for butterflies, which is designed to pair with the existing SatBird dataset of bird observational data. To address this task, we propose a general model, R-Tran, for predicting species occurrence patterns that enables the use of partial observational data wherever found. We find that R-Tran outperforms other methods in predicting species encounter rates with partial information both within a taxon (birds) and across taxa (birds and butterflies). Our approach opens new perspectives to leveraging insights from species with abundant data to other species with scarce data, by modelling the ecosystems in which they co-occur.


title: Exact and Leading Order Radiative Effects in Semi-inclusive Deep Inelastic Scattering

abstract: Radiative effects in semi-inclusive hadron leptoproduction of unpolarized particles are calculated within the leading order approximation. The contributions of the infrared-free sum of the effects of real and virtual photon emission as well as the contribution of exclusive radiative tail are considered. It is demonstrated how the obtained formulae in the leading log approximation can be obtained using the standard approach of the leading log approximation as well as from the exact expressions for the radiative correction of the lowest order. The method of the electron structure function is used to calculate the higher order corrections. The results are analytically compared to the results obtained by other groups. Numeric illustrations are given in the kinematics of the modern experiments at Jefferson Laboratory.


title: EinExprs: Contraction Paths of Tensor Networks as Symbolic Expressions

abstract: Tensor Networks are graph representations of summation expressions in which vertices represent tensors and edges represent tensor indices or vector spaces. In this work, we present EinExprs.jl, a Julia package for contraction path optimization that offers state-of-art optimizers. We propose a representation of the contraction path of a Tensor Network based on symbolic expressions. Using this package the user may choose among a collection of different methods such as Greedy algorithms, or an approach based on the hypergraph partitioning problem. We benchmark this library with examples obtained from the simulation of Random Quantum Circuits (RQC), a well known example where Tensor Networks provide state-of-the-art methods.


title: The Impact of Syntactic and Semantic Proximity on Machine Translation with Back-Translation

abstract: Unsupervised on-the-fly back-translation, in conjunction with multilingual pretraining, is the dominant method for unsupervised neural machine translation. Theoretically, however, the method should not work in general. We therefore conduct controlled experiments with artificial languages to determine what properties of languages make back-translation an effective training method, covering lexical, syntactic, and semantic properties. We find, contrary to popular belief, that (i) parallel word frequency distributions, (ii) partially shared vocabulary, and (iii) similar syntactic structure across languages are not sufficient to explain the success of back-translation. We show however that even crude semantic signal (similar lexical fields across languages) does improve alignment of two languages through back-translation. We conjecture that rich semantic dependencies, parallel across languages, are at the root of the success of unsupervised methods based on back-translation. Overall, the success of unsupervised machine translation was far from being analytically guaranteed. Instead, it is another proof that languages of the world share deep similarities, and we hope to show how to identify which of these similarities can serve the development of unsupervised, cross-linguistic tools.


title: A Note on Almost Everywhere Convergence Along Tangential Curves to the Schr\"odinger Equation Initial Datum

abstract: In this short note, we give an easy proof of the following result: for $ n\geq 2, $ $\underset{t\to0}{\lim} \,e^{it\Delta }f\left(x+\gamma(t)\right) = f(x) $ almost everywhere whenever $ \gamma $ is an $ \alpha- $H\"older curve with $ \frac12\leq \alpha\leq 1 $ and $ f\in H^s(\mathbb{R}^n) $, with $ s > \frac{n}{2(n+1)} $. This is the optimal range of regularity up to the endpoint.


title: SpectralWaste Dataset: Multimodal Data for Waste Sorting Automation

abstract: The increase in non-biodegradable waste is a worldwide concern. Recycling facilities play a crucial role, but their automation is hindered by the complex characteristics of waste recycling lines like clutter or object deformation. In addition, the lack of publicly available labeled data for these environments makes developing robust perception systems challenging. Our work explores the benefits of multimodal perception for object segmentation in real waste management scenarios. First, we present SpectralWaste, the first dataset collected from an operational plastic waste sorting facility that provides synchronized hyperspectral and conventional RGB images. This dataset contains labels for several categories of objects that commonly appear in sorting plants and need to be detected and separated from the main trash flow for several reasons, such as security in the management line or reuse. Additionally, we propose a pipeline employing different object segmentation architectures and evaluate the alternatives on our dataset, conducting an extensive analysis for both multimodal and unimodal alternatives. Our evaluation pays special attention to efficiency and suitability for real-time processing and demonstrates how HSI can bring a boost to RGB-only perception in these realistic industrial settings without much computational overhead.


title: Rank distribution in cubic twist families of elliptic curves

abstract: Let $a$ be an integer which is not of the form $n^2$ or $-3 n^2$ for $n\in \mathbb{Z}$. Let $E_a$ be the elliptic curve with rational $3$-isogeny defined by $E_a:y^2=x^3+a$, and $K:=\mathbb{Q}(\mu_3)$. Assume that the $3$-Selmer group of $E_a$ over $K$ vanishes. It is shown that there is an explicit infinite set of cubefree integers $m$ such that the $3$-Selmer groups over $K$ of $E_{m^2 a}$ and $E_{m^4 a}$ both vanish. In particular, the ranks of these cubic twists are seen to be $0$ over $K$. Our results are proven by studying stability properties of $3$-Selmer groups in cyclic cubic extensions of $K$, via local and global Galois cohomological techniques.


title: Bidirectional Consistency Models

abstract: Diffusion models (DMs) are capable of generating remarkably high-quality samples by iteratively denoising a random vector, a process that corresponds to moving along the probability flow ordinary differential equation (PF ODE). Interestingly, DMs can also invert an input image to noise by moving backward along the PF ODE, a key operation for downstream tasks such as interpolation and image editing. However, the iterative nature of this process restricts its speed, hindering its broader application. Recently, Consistency Models (CMs) have emerged to address this challenge by approximating the integral of the PF ODE, largely reducing the number of iterations. Yet, the absence of an explicit ODE solver complicates the inversion process. To resolve this, we introduce the Bidirectional Consistency Model (BCM), which learns a single neural network that enables both forward and backward traversal along the PF ODE, efficiently unifying generation and inversion tasks within one framework. Notably, our proposed method enables one-step generation and inversion while also allowing the use of additional steps to enhance generation quality or reduce reconstruction error. Furthermore, by leveraging our model's bidirectional consistency, we introduce a sampling strategy that can enhance FID while preserving the generated image content. We further showcase our model's capabilities in several downstream tasks, such as interpolation and inpainting, and present demonstrations of potential applications, including blind restoration of compressed images and defending black-box adversarial attacks.


title: Move as You Say, Interact as You Can: Language-guided Human Motion Generation with Scene Affordance

abstract: Despite significant advancements in text-to-motion synthesis, generating language-guided human motion within 3D environments poses substantial challenges. These challenges stem primarily from (i) the absence of powerful generative models capable of jointly modeling natural language, 3D scenes, and human motion, and (ii) the generative models' intensive data requirements contrasted with the scarcity of comprehensive, high-quality, language-scene-motion datasets. To tackle these issues, we introduce a novel two-stage framework that employs scene affordance as an intermediate representation, effectively linking 3D scene grounding and conditional motion generation. Our framework comprises an Affordance Diffusion Model (ADM) for predicting explicit affordance map and an Affordance-to-Motion Diffusion Model (AMDM) for generating plausible human motions. By leveraging scene affordance maps, our method overcomes the difficulty in generating human motion under multimodal condition signals, especially when training with limited data lacking extensive language-scene-motion pairs. Our extensive experiments demonstrate that our approach consistently outperforms all baselines on established benchmarks, including HumanML3D and HUMANISE. Additionally, we validate our model's exceptional generalization capabilities on a specially curated evaluation set featuring previously unseen descriptions and scenes.


title: A remark on the distortion of twisted sums

abstract: Odell and Schlumprecht solved the distortion problem by proving that the classic sequence spaces $\ell_p$ for $1<p<\infty$ admit an inevitable biorthogonal system. In particular, these spaces are arbitrarily distortable. Later, Maurey extended the result to asymptotic $\ell_p$-spaces while Tomczak-Jaegermann did likewise for the Schatten classes. We observe that the Kalton-Peck spaces $Z_p$ for $1<p<\infty$ admit an inevitable biorthogonal system. Therefore, we may add this classic family to the list of arbitrarily distortable spaces.


title: TGGLinesPlus: A robust topological graph-guided computer vision algorithm for line detection from images

abstract: Line detection is a classic and essential problem in image processing, computer vision and machine intelligence. Line detection has many important applications, including image vectorization (e.g., document recognition and art design), indoor mapping, and important societal challenges (e.g., sea ice fracture line extraction from satellite imagery). Many line detection algorithms and methods have been developed, but robust and intuitive methods are still lacking. In this paper, we proposed and implemented a topological graph-guided algorithm, named TGGLinesPlus, for line detection. Our experiments on images from a wide range of domains have demonstrated the flexibility of our TGGLinesPlus algorithm. We also benchmarked our algorithm with five classic and state-of-the-art line detection methods and the results demonstrate the robustness of TGGLinesPlus. We hope our open-source implementation of TGGLinesPlus will inspire and pave the way for many applications where spatial science matters.


title: Doubly robust causal inference through penalized bias-reduced estimation: combining non-probability samples with designed surveys

abstract: Causal inference on the average treatment effect (ATE) using non-probability samples, such as electronic health records (EHR), faces challenges from sample selection bias and high-dimensional covariates. This requires considering a selection model alongside treatment and outcome models that are typical ingredients in causal inference. This paper considers integrating large non-probability samples with external probability samples from a design survey, addressing moderately high-dimensional confounders and variables that influence selection. In contrast to the two-step approach that separates variable selection and debiased estimation, we propose a one-step plug-in doubly robust (DR) estimator of the ATE. We construct a novel penalized estimating equation by minimizing the squared asymptotic bias of the DR estimator. Our approach facilitates ATE inference in high-dimensional settings by ignoring the variability in estimating nuisance parameters, which is not guaranteed in conventional likelihood approaches with non-differentiable L1-type penalties. We provide a consistent variance estimator for the DR estimator. Simulation studies demonstrate the double robustness of our estimator under misspecification of either the outcome model or the selection and treatment models, as well as the validity of statistical inference under penalized estimation. We apply our method to integrate EHR data from the Michigan Genomics Initiative with an external probability sample.


title: Global Point Cloud Registration Network for Large Transformations

abstract: Three-dimensional data registration is an established yet challenging problem that is key in many different applications, such as mapping the environment for autonomous vehicles, and modeling objects and people for avatar creation, among many others. Registration refers to the process of mapping multiple data into the same coordinate system by means of matching correspondences and transformation estimation. Novel proposals exploit the benefits of deep learning architectures for this purpose, as they learn the best features for the data, providing better matches and hence results. However, the state of the art is usually focused on cases of relatively small transformations, although in certain applications and in a real and practical environment, large transformations are very common. In this paper, we present ReLaTo (Registration for Large Transformations), an architecture that faces the cases where large transformations happen while maintaining good performance for local transformations. This proposal uses a novel Softmax pooling layer to find correspondences in a bilateral consensus manner between two point sets, sampling the most confident matches. These matches are used to estimate a coarse and global registration using weighted Singular Value Decomposition (SVD). A target-guided denoising step is then applied to both the obtained matches and latent features, estimating the final fine registration considering the local geometry. All these steps are carried out following an end-to-end approach, which has been shown to improve 10 state-of-the-art registration methods in two datasets commonly used for this task (ModelNet40 and KITTI), especially in the case of large transformations.


title: Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes

abstract: Control barrier functions (CBFs) have recently been introduced as a systematic tool to ensure safety by establishing set invariance. When combined with a control Lyapunov function (CLF), they form a safety-critical control mechanism. However, the effectiveness of CBFs and CLFs is closely tied to the system model. In practice, model uncertainty can jeopardize safety and stability guarantees and may lead to undesirable performance. In this paper, we develop a safe learning-based control strategy for switching systems in the face of uncertainty. We focus on the case that a nominal model is available for a true underlying switching system. This uncertainty results in piecewise residuals for each switching surface, impacting the CLF and CBF constraints. We introduce a batch multi-output Gaussian process (MOGP) framework to approximate these piecewise residuals, thereby mitigating the adverse effects of uncertainty. A particular structure of the covariance function enables us to convert the MOGP-based chance constraints CLF and CBF into second-order cone constraints, which leads to a convex optimization. We analyze the feasibility of the resulting optimization and provide the necessary and sufficient conditions for feasibility. The effectiveness of the proposed strategy is validated through a simulation of a switching adaptive cruise control system.


title: Extending Network Calculus To Deal With Partially Negative And Decreasing Service Curves

abstract: Network Calculus (NC) is a versatile analytical methodology to efficiently compute performance bounds in networked systems. The arrival and service curve abstractions allow to model diverse and heterogeneous distributed systems. The operations to compute residual service curves and to concatenate sequences of systems enable an efficient and accurate calculation of per-flow timing guarantees. Yet, in some scenarios involving multiple concurrent flows at a system, the central notion of so-called min-plus service curves is too weak to still be able to compute a meaningful residual service curve. In these cases, one usually resorts to so-called strict service curves that enable the computation of per-flow bounds. However, strict service curves are restrictive: (1) there are service elements for which only min-plus service curves can be provided but not strict ones and (2) strict service curves generally have no concatenation property, i.e., a sequence of two strict systems does not yield a strict service curve. In this report, we extend NC to deal with systems only offering aggregate min-plus service curves to multiple flows. The key to this extension is the exploitation of minimal arrival curves, i.e., lower bounds on the arrival process. Technically speaking, we provide basic performance bounds (backlog and delay) for the case of negative service curves. We also discuss their accuracy and show them to be tight. In order to illustrate their usefulness we also present patterns of application of these new results for: (1) heterogeneous systems involving computation and communication resources and (2) finite buffers that are shared between multiple flows.


title: MUSE view of PDS 456: kpc-scale wind, extended ionized gas and close environment

abstract: PDS 456 is the most luminous RQQ at z<0.3 and can be regarded as a local counterpart of the powerful QSOs shining at Cosmic Noon. It hosts a strong nuclear X-ray ultra-fast outflow, and a massive and clumpy CO(3-2) molecular outflow extending up to 5 kpc from the nucleus. We analyzed the first MUSE WFM and AO-NFM optical integral field spectroscopic observations of PDS456. The AO-NFM observations provide an unprecedented spatial resolution, reaching up to 280 pc. Our findings reveal a complex circumgalactic medium around PDS 456, extending up to a maximum projected size of ~46 kpc. This includes a reservoir of gas with a mass of ~1e7-1e8 Modot, along with eight companion galaxies, and a multi-phase outflow. WFM and NFM MUSE data reveal an outflow on a large scale (~12 kpc from the quasar) in [OIII], and on smaller scales (within 3 kpc) with higher resolution (about 280 pc) in Halpha, respectively. The [OIII] outflow mass rate is 2.3 +/- 0.2 Modot/yr which is significantly lower than those typically found in other luminous quasars. Remarkably, the Ha outflow shows a similar scale, morphology, and kinematics to the CO(3-2) molecular outflow, with the latter dominating in terms of kinetic energy and mass outflow rate by two and one orders of magnitude, respectively. Our results therefore indicate that mergers, powerful AGN activity, and feedback through AGN-driven winds will collectively contribute to shaping the host galaxy evolution of PDS 456, and likely, that of similar objects at the brightest end of the AGN luminosity function across all redshifts. Moreover, the finding that the momentum boost of the total outflow deviates from the expected energy-conserving expansion for large-scale outflows highlights the need of novel AGN-driven outflow models to comprehensively interpret these phenomena.


title: Deep polytopic autoencoders for low-dimensional linear parameter-varying approximations and nonlinear feedback design

abstract: Polytopic autoencoders provide low-dimensional parametrizations of states in a polytope. For nonlinear PDEs, this is readily applied to low-dimensional linear parameter-varying (LPV) approximations as they have been exploited for efficient nonlinear controller design via series expansions of the solution to the state-dependent Riccati equation. In this work, we develop a polytopic autoencoder for control applications and show how it outperforms standard linear approaches in view of LPV approximations of nonlinear systems and how the particular architecture enables higher order series expansions at little extra computational effort. We illustrate the properties and potentials of this approach to computational nonlinear controller design for large-scale systems with a thorough numerical study.

categories: math.OC cs.LG cs.NA math.DS math.NA physics.flu-dyn


title: Optical variability of the blazar 3C 371: from minute to year timescales

abstract: The BL Lac object 3C 371 has been observed by the Transiting Exoplanet Survey Satellite (\textit{TESS}) for approximately a year, between July 2019 and July 2020, with an unmatched 2-minute observing cadence. In parallel, the Whole Earth Blazar Telescope (WEBT) Collaboration organized an extensive observing campaign, providing three years of continuous optical monitoring between 2018 and 2020. These datasets allow for a thorough investigation of the variability of the source. The goal of this study is evaluating the optical variability of 3C 371. Taking advantage of the remarkable cadence of \textit{TESS} data, we aim to characterize the intra-day variability (IDV) displayed by the source and identify its shortest variability timescale. With this estimate, constraints on the size of the emitting region and black hole mass can be calculated. Moreover, WEBT data is used to investigate long-term variability (LTV), including understanding spectral behaviour of the source and the polarization variability. Based on the derived characteristics, information on the origin of the variability on different timescales is extracted. We evaluated the variability applying the variability amplitude tool that quantifies how variable the emission is. Moreover, we employed common tools like ANOVA (ANalysis Of VAariance) tests, wavelet and power spectral density (PSD) analyses to characterize the shortest variability timescales present in the emission and the underlying noise affecting the data. Short- and long-term colour behaviours have been evaluated to understand the spectral behaviour of the source. The polarized emission was analyzed, studying its variability and possible rotation patterns of the electric vector position angle (EVPA). Flux distributions of IDV and LTV were also studied with the aim of linking the flux variations to turbulent and/or accretion disc related processes.


title: Strain-induced enhancement of the charge-density-wave in the kagome metal ScV$_6$Sn$_6$

abstract: The kagome geometry is an example of frustrated configuration in which rich physics takes place, including the emergence of superconductivity and charge density wave (CDW). Among the kagome metals, ScV$_6$Sn$_6$ hosts an unconventional CDW, with its electronic order showing a different periodicity than that of the phonon which generates it. In this material, a CDW-softened flat phonon band has a second-order collapse at the same time that the first order transition occurs. This phonon band originates from the out-of-plane vibrations of the Sc and Sn atoms, and it is at the base of the electron-phonon-coupling driven CDW phase of ScV$_6$Sn$_6$. Here, we use uniaxial strain to tune the frequency of the flat phonon band, tracking the strain evolution via time-resolved optical spectroscopy and first-principles calculations. Our findings emphasize the capability to induce an enhancement of the unconventional CDW properties in ScV$_6$Sn$_6$ kagome metal through control of strain.


title: Integrated Unitarity for Scattering Amplitudes

abstract: We present a new method for computing multi-loop scattering amplitudes in Quantum Field Theory. It extends the Generalized Unitarity method by constraining not only the integrand of the amplitude but also its full integrated form. Our approach exploits the relation between cuts and discontinuities of the amplitude. Explicitly, by the virtue of analyticity and unitarity of the S-matrix, the amplitude can be expressed in terms of lower-loop on-shell amplitudes dispersively integrated along cuts. As both cuts and discontinuities can be computed systematically in dimensional regularization, we validated our method by reproducing the four-gluon amplitude in two-loop massless Quantum Chromodynamics. Moreover, since our approach improves the performance of the calculation, we provide a new result for the four-loop four-point massless planar ladder Feynman integral. It is expressed in terms of Harmonic Polylogarithms with letters 0 and 1.


title: A new look at AdS black holes with conformal scalar hair

abstract: We revisit static, spherically symmetric solutions to AdS-Einstein gravity with a conformally coupled scalar field (and no self-interaction potential) in four dimensions. We first observe that a convenient choice of coordinates leads to a significant simplification of the field equations, which enables one to identify various roots of the indicial equations and thus distinct branches of solutions. Next, we construct an explicit 2-parameter hairy black hole solution in terms of an infinite power series around the event horizon. The black hole is non-extremal with a regular scalar field on and outside the event horizon, and it reduces to the Schwarzschild-AdS metric in the limit of vanishing hair. Its properties are illustrated for various values of the parameters and compared with previous numerical results by other authors. In addition, the analysis reveals the presence of a photon sphere and how the scalar field affects its size and the angular radius of the corresponding shadow. The thermodynamics of the solution is also briefly discussed.


title: Quillen (co)homology of divided power algebras over an operad

abstract: Barr--Beck cohomology, put into the framework of model categories by Quillen, provides a cohomology theory for any algebraic structure, for example Andr\'e--Quillen cohomology of commutative rings. Quillen cohomology has been studied notably for divided power algebras and restricted Lie algebras, both of which are instances of divided power algebras over an operad $P$: the commutative and Lie operad respectively. In this paper, we investigate the Quillen cohomology of divided power algebras over an operad $P$, identifying Beck modules, derivations, and K\"ahler differentials in that setup. We also compare the cohomology of divided power algebras over $P$ with that of $P$-algebras, and work out some examples.


title: Double well ground state energy splitting (or instanton flipping rate); rendering the implicit explicit

abstract: A prime example of quantum tunnelling is the semiclassical 'energy splitting' of the levels of a symmetrical double well potential, or equivalently the flipping rate of an instanton. Curiously the accepted expression for the ground state energy splitting in terms of the (smooth) potential function has not been pursued to the full explicitness available from classical mechanics. This implicitness is rectified here.


title: Supervisory Prompt Training

abstract: The performance of Large Language Models (LLMs) relies heavily on the quality of prompts, which are often manually engineered and task-specific, making them costly and non-scalable. We propose a novel approach, Supervisory Prompt Training (SPT). SPT automates the generation of highly effective prompts using a dual LLM system. In this system, one LLM, the generator, performs a task while the other, the corrector, provides feedback and generates improved prompts. In contrast to earlier techniques, both the generator and corrector collaboratively and continuously improve their prompts over time. We also introduce the concept of \textit{impact scores} to measure the sentence-level effectiveness of the prompts. Our method was tested on four benchmarks, testing the level of hallucinations in LLMs. Notably, we were able to increase the accuracy of GPT-4 on GSM8K from 65.8\% to 94.1\% (28.3\% increase). SPT advances LLMs by refining prompts to enhance performance and reduce hallucinations, offering an efficient and scalable alternative to traditional model fine-tuning.


title: R2D2 image reconstruction with model uncertainty quantification in radio astronomy

abstract: The ``Residual-to-Residual DNN series for high-Dynamic range imaging'' (R2D2) approach was recently introduced for Radio-Interferometric (RI) imaging in astronomy. R2D2's reconstruction is formed as a series of residual images, iteratively estimated as outputs of Deep Neural Networks (DNNs) taking the previous iteration's image estimate and associated data residual as inputs. In this work, we investigate the robustness of the R2D2 image estimation process, by studying the uncertainty associated with its series of learned models. Adopting an ensemble averaging approach, multiple series can be trained, arising from different random DNN initializations of the training process at each iteration. The resulting multiple R2D2 instances can also be leveraged to generate ``R2D2 samples'', from which empirical mean and standard deviation endow the algorithm with a joint estimation and uncertainty quantification functionality. Focusing on RI imaging, and adopting a telescope-specific approach, multiple R2D2 instances were trained to encompass the most general observation setting of the Very Large Array (VLA). Simulations and real-data experiments confirm that: (i) R2D2's image estimation capability is superior to that of the state-of-the-art algorithms; (ii) its ultra-fast reconstruction capability (arising from series with only few DNNs) makes the computation of multiple reconstruction samples and of uncertainty maps practical even at large image dimension; (iii) it is characterized by a very low model uncertainty.


title: Shear banding and cracking in unsaturated porous media through a nonlocal THM meshfree paradigm

abstract: The thermo-hydro-mechanical of unsaturated soils plays a significant role in dynamic shear banding and fracturing. In this article, we propose a thermo-hydro-mechanical material model in the periporomechanics paradigm to model shear banding and crack triggered by temperature. Periporomechanics is a nonlocal framework for the mechanics of unsaturated soil where a length scale dictates the nonlocal interaction between material points. Periporomechanics unites continuous and discontinuous deformation and fluid flow in porous media. As a new contribution, we incorporate the thermo-hydro-mechanical material model in the periporomechanics through the correspondence principle for modeling shear banding and cracking in unsaturated porous media. The stabilized PPM correspondence principle that mitigates the multiphase zero-energy mode instability is augmented. At the global level, we have numerically implemented the periporomechanics paradigm through an explicit Lagrangian meshfree algorithm in the global level. At the local level, we impose the return mapping algorithm to implement the thermo-hydro-mechanical constitutive model. We present numerical examples to demonstrate the efficacy and robustness of proposed periporomechanics for modeling the shear banding bifurcation and crack in unsaturated porous media triggered by temperature.


title: Modifying Gibbs sampling to avoid self transitions

abstract: Gibbs sampling repeatedly samples from the conditional distribution of one variable, x_i, given other variables, either choosing i randomly, or updating sequentially using some systematic or random order. When x_i is discrete, a Gibbs sampling update may choose a new value that is the same as the old value. A theorem of Peskun indicates that, when i is chosen randomly, a reversible method that reduces the probability of such self transitions, while increasing the probabilities of transitioning to each of the other values, will decrease the asymptotic variance of estimates. This has inspired two modified Gibbs sampling methods, originally due to Frigessi, et al and to Liu, though these do not always reduce self transitions to the minimum possible. Methods that do reduce the probability of self transitions to the minimum, but do not satisfy the conditions of Peskun's theorem, have also been devised, by Suwa and Todo. I review past methods, and introduce a broader class of reversible methods, based on what I call "antithetic modification", which also reduce asymptotic variance compared to Gibbs sampling, even when not satisfying the conditions of Peskun's theorem. A modification of one method in this class reduces self transitions to the minimum possible, while still always reducing asymptotic variance compared to Gibbs sampling. I introduce another new class of non-reversible methods based on slice sampling that can also minimize self transition probabilities. I provide explicit, efficient implementations of all these methods, and compare their performance in simulations of a 2D Potts model, a Bayesian mixture model, and a belief network with unobserved variables. The non-reversibility produced by sequential updating can be beneficial, but no consistent benefit is seen from the individual updates being done by a non-reversible method.


title: Adaptive Boundary Control of the Kuramoto-Sivashinsky Equation Under Intermittent Sensing

abstract: We study in this paper boundary stabilization, in the L2 sense, of the one-dimensional Kuramoto-Sivashinsky equation subject to intermittent sensing. We assume that we measure the state of this spatio-temporal equation on a given spatial subdomain during certain intervals of time, while we measure the state on the remaining spatial subdomain during the remaining intervals of time. As a result, we assign a feedback law at the boundary of the spatial domain and force to zero the value of the state at the junction of the two subdomains. Throughout the study, the destabilizing coefficient is assumed to be space-dependent and bounded but unknown. Adaptive boundary controllers are designed under different assumptions on the forcing term. In particular, when the forcing term is null, we guarantee global exponential stability of the origin. Furthermore, when the forcing term is bounded and admits a known upper bound, we guarantee input-to-state stability, and only global uniform ultimate boundedness is guaranteed when the upper bound is unknown. Numerical simulations are performed to illustrate our results


title: Self-Clustering Hierarchical Multi-Agent Reinforcement Learning with Extensible Cooperation Graph

abstract: Multi-Agent Reinforcement Learning (MARL) has been successful in solving many cooperative challenges. However, classic non-hierarchical MARL algorithms still cannot address various complex multi-agent problems that require hierarchical cooperative behaviors. The cooperative knowledge and policies learned in non-hierarchical algorithms are implicit and not interpretable, thereby restricting the integration of existing knowledge. This paper proposes a novel hierarchical MARL model called Hierarchical Cooperation Graph Learning (HCGL) for solving general multi-agent problems. HCGL has three components: a dynamic Extensible Cooperation Graph (ECG) for achieving self-clustering cooperation; a group of graph operators for adjusting the topology of ECG; and an MARL optimizer for training these graph operators. HCGL's key distinction from other MARL models is that the behaviors of agents are guided by the topology of ECG instead of policy neural networks. ECG is a three-layer graph consisting of an agent node layer, a cluster node layer, and a target node layer. To manipulate the ECG topology in response to changing environmental conditions, four graph operators are trained to adjust the edge connections of ECG dynamically. The hierarchical feature of ECG provides a unique approach to merge primitive actions (actions executed by the agents) and cooperative actions (actions executed by the clusters) into a unified action space, allowing us to integrate fundamental cooperative knowledge into an extensible interface. In our experiments, the HCGL model has shown outstanding performance in multi-agent benchmarks with sparse rewards. We also verify that HCGL can easily be transferred to large-scale scenarios with high zero-shot transfer success rates.


title: Prioritized League Reinforcement Learning for Large-Scale Heterogeneous Multiagent Systems

abstract: Large-scale heterogeneous multiagent systems feature various realistic factors in the real world, such as agents with diverse abilities and overall system cost. In comparison to homogeneous systems, heterogeneous systems offer significant practical advantages. Nonetheless, they also present challenges for multiagent reinforcement learning, including addressing the non-stationary problem and managing an imbalanced number of agents with different types. We propose a Prioritized Heterogeneous League Reinforcement Learning (PHLRL) method to address large-scale heterogeneous cooperation problems. PHLRL maintains a record of various policies that agents have explored during their training and establishes a heterogeneous league consisting of diverse policies to aid in future policy optimization. Furthermore, we design a prioritized policy gradient approach to compensate for the gap caused by differences in the number of different types of agents. Next, we use Unreal Engine to design a large-scale heterogeneous cooperation benchmark named Large-Scale Multiagent Operation (LSMO), which is a complex two-team competition scenario that requires collaboration from both ground and airborne agents. We use experiments to show that PHLRL outperforms state-of-the-art methods, including QTRAN and QPLEX in LSMO.


title: COIG-CQIA: Quality is All You Need for Chinese Instruction Fine-tuning

abstract: Recently, there have been significant advancements in large language models (LLMs), particularly focused on the English language. These advancements have enabled these LLMs to understand and execute complex instructions with unprecedented accuracy and fluency. However, despite these advancements, there remains a noticeable gap in the development of Chinese instruction tuning. The unique linguistic features and cultural depth of the Chinese language pose challenges for instruction tuning tasks. Existing datasets are either derived from English-centric LLMs or are ill-suited for aligning with the interaction patterns of real-world Chinese users. To bridge this gap, we introduce COIG-CQIA, a high-quality Chinese instruction tuning dataset. Our aim is to build a diverse, wide-ranging instruction-tuning dataset to better align model behavior with human interactions. To this end, we collect a high-quality human-written corpus from various sources on the Chinese Internet, including Q&A communities, Wikis, examinations, and existing NLP datasets. This corpus was rigorously filtered and carefully processed to form the COIG-CQIA dataset. Furthermore, we train models of various scales on different subsets of CQIA, following in-depth evaluation and analyses. The findings from our experiments offer valuable insights for selecting and developing Chinese instruction-tuning datasets. We also find that models trained on CQIA-Subset achieve competitive results in human assessment as well as knowledge and security benchmarks. Data are available at https://huggingface.co/datasets/m-a-p/COIG-CQIA


title: Online Submodular Welfare Maximization Meets Post-Allocation Stochasticity and Reusability

abstract: We generalize the problem of online submodular welfare maximization to incorporate a variety of new elements arising from reusability, stochastic rewards, combinatorial actions and similar features that have received significant attention in recent years. For our general formulation, we show that a non-adaptive Greedy algorithm achieves the highest possible competitive ratio against an adaptive offline benchmark in the adversarial arrival model and in the unknown IID stochastic arrival model. In addition to generalizing several previous results, this shows that, in general, adaptivity to stochastic rewards (and similar features) offers no theoretical (worst-case) benefits.


title: The Cordiality Game and the Game Cordiality Number

abstract: The cordiality game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting \track{unlabeled} vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. The two players have opposite goals: Admirable attempts to minimize the number of edges with different labels as much as possible while Impish attempts to maximize this number. When both Admirable and Impish play their optimal games, we define the \emph{game cordiality number}, $c_g(G)$, as the absolute difference between the number of edges labeled zero and one. Let $P_n$ be the path on $n$ vertices. We show $c_g(P_n)\le \frac{n-3}{3}$ when $n \equiv 0 \pmod 3$, $c_g(P_n)\le \frac{n-1}{3}$ when $n \equiv 1 \pmod 3$, and $c_g(P_n)\le \frac{n+1}{3}$ when $n \equiv 2\pmod 3$. Furthermore, we show a similar bound, $c_g(T) \leq \frac{|T|}{2}$ holds for any tree $T$.


title: Efficient Hamiltonian reconstruction from equilibrium states

abstract: We describe a novel algorithm that recovers the Hamiltonian and temperature of a quantum state in thermal equilibrium using a restricted set of measurements. The algorithm works by imposing a semidefinite constraint based on free energy minimization, which we interpret in terms of thermodynamic stability. We benchmark the algorithm on the problem of learning a nearest-neighbour Hamiltonian on a 100-qubit spin chain.


title: ShapeGrasp: Zero-Shot Task-Oriented Grasping with Large Language Models through Geometric Decomposition

abstract: Task-oriented grasping of unfamiliar objects is a necessary skill for robots in dynamic in-home environments. Inspired by the human capability to grasp such objects through intuition about their shape and structure, we present a novel zero-shot task-oriented grasping method leveraging a geometric decomposition of the target object into simple, convex shapes that we represent in a graph structure, including geometric attributes and spatial relationships. Our approach employs minimal essential information - the object's name and the intended task - to facilitate zero-shot task-oriented grasping. We utilize the commonsense reasoning capabilities of large language models to dynamically assign semantic meaning to each decomposed part and subsequently reason over the utility of each part for the intended task. Through extensive experiments on a real-world robotics platform, we demonstrate that our grasping approach's decomposition and reasoning pipeline is capable of selecting the correct part in 92% of the cases and successfully grasping the object in 82% of the tasks we evaluate. Additional videos, experiments, code, and data are available on our project website: https://shapegrasp.github.io/.


title: Heracles: A Hybrid SSM-Transformer Model for High-Resolution Image and Time-Series Analysis

abstract: Transformers have revolutionized image modeling tasks with adaptations like DeIT, Swin, SVT, Biformer, STVit, and FDVIT. However, these models often face challenges with inductive bias and high quadratic complexity, making them less efficient for high-resolution images. State space models (SSMs) such as Mamba, V-Mamba, ViM, and SiMBA offer an alternative to handle high resolution images in computer vision tasks. These SSMs encounter two major issues. First, they become unstable when scaled to large network sizes. Second, although they efficiently capture global information in images, they inherently struggle with handling local information. To address these challenges, we introduce Heracles, a novel SSM that integrates a local SSM, a global SSM, and an attention-based token interaction module. Heracles leverages a Hartely kernel-based state space model for global image information, a localized convolutional network for local details, and attention mechanisms in deeper layers for token interactions. Our extensive experiments demonstrate that Heracles-C-small achieves state-of-the-art performance on the ImageNet dataset with 84.5\% top-1 accuracy. Heracles-C-Large and Heracles-C-Huge further improve accuracy to 85.9\% and 86.4\%, respectively. Additionally, Heracles excels in transfer learning tasks on datasets such as CIFAR-10, CIFAR-100, Oxford Flowers, and Stanford Cars, and in instance segmentation on the MSCOCO dataset. Heracles also proves its versatility by achieving state-of-the-art results on seven time-series datasets, showcasing its ability to generalize across domains with spectral data, capturing both local and global information. The project page is available at this link.\url{https://github.com/badripatro/heracles}


title: DC-Augmented Dielectric Barrier Discharge (DCA-DBD)

abstract: Time-dependent multiphysics interactions that drive the energy transfer in electromechanical systems are poorly understood. We probe dielectric barrier discharge (DBD) with an external DC-augmented (DCA) field to reveal new mechanistic insights. The biased HV DC electrode influences the interaction between the charged ions and the E-field, surface and space charge, and neutral molecules. Direct force measurement, velocity profiles, and time-resolved electrical and optical measurements of discharge characteristics provide evidence of complex plasma/flow interactions. Negative DCA leads to modest improvements in momentum transfer due to the field-augmented ion acceleration before the system transitions to sliding discharge and a counter jet at the DCA electrode, canceling the gains from positive ion acceleration. Positive DCA monotonically increases the wall-parallel force. A new oscillating residual charge interaction mechanism is identified to explain a greater than 2-fold increase in horizontal thrust, in which the acceleration of positive ions is augmented by the attraction from the residual (negative) charge.


title: Primitive elements in the Hall algebra of a cyclic quiver

abstract: We provide an explicit formula for primitive elements in the Hall algebras of nilpotent representations of cyclic quivers.


title: Path Integral Control with Rollout Clustering and Dynamic Obstacles

abstract: Model Predictive Path Integral (MPPI) control has proven to be a powerful tool for the control of uncertain systems (such as systems subject to disturbances and systems with unmodeled dynamics). One important limitation of the baseline MPPI algorithm is that it does not utilize simulated trajectories to their fullest extent. For one, it assumes that the average of all trajectories weighted by their performance index will be a safe trajectory. In this paper, multiple examples are shown where the previous assumption does not hold, and a trajectory clustering technique is presented that reduces the chances of the weighted average crossing in an unsafe region. Secondly, MPPI does not account for dynamic obstacles, so the authors put forward a novel cost function that accounts for dynamic obstacles without adding significant computation time to the overall algorithm. The novel contributions proposed in this paper were evaluated with extensive simulations to demonstrate improvements upon the state-of-the-art MPPI techniques.


title: State of the art applications of deep learning within tracking and detecting marine debris: A survey

abstract: Deep learning techniques have been explored within the marine litter problem for approximately 20 years but the majority of the research has developed rapidly in the last five years. We provide an in-depth, up to date, summary and analysis of 28 of the most recent and significant contributions of deep learning in marine debris. From cross referencing the research paper results, the YOLO family significantly outperforms all other methods of object detection but there are many respected contributions to this field that have categorically agreed that a comprehensive database of underwater debris is not currently available for machine learning. Using a small dataset curated and labelled by us, we tested YOLOv5 on a binary classification task and found the accuracy was low and the rate of false positives was high; highlighting the importance of a comprehensive database. We conclude this survey with over 40 future research recommendations and open challenges.


title: On the boundedness of solutions of a forced discontinuous oscillator

abstract: We study the global boundedness of the solutions of a non-smooth forced oscillator with a periodic and real analytic forcing. We show that the impact map associated with this discontinuous equation becomes a real analytic and exact symplectic map when written in suitable canonical coordinates. By an accurate study of the behaviour of the map for large amplitudes and by employing a parametrization KAM theorem, we show that the periodic solutions of the unperturbed oscillator persist as two-dimensional tori under conditions that depend on the Diophantine conditions of the frequency, but are independent on both the amplitude of the orbit and of the specific value of the frequency. This allows the construction of a sequence of nested invariant tori of increasing amplitude that confine the solutions within them, ensuring their boundedness. The same construction may be useful to address such persistence problem for a larger class of non-smooth forced oscillators.


title: Personalized Imputation in metric spaces via conformal prediction: Applications in Predicting Diabetes Development with Continuous Glucose Monitoring Information

abstract: The challenge of handling missing data is widespread in modern data analysis, particularly during the preprocessing phase and in various inferential modeling tasks. Although numerous algorithms exist for imputing missing data, the assessment of imputation quality at the patient level often lacks personalized statistical approaches. Moreover, there is a scarcity of imputation methods for metric space based statistical objects. The aim of this paper is to introduce a novel two-step framework that comprises: (i) a imputation methods for statistical objects taking values in metrics spaces, and (ii) a criterion for personalizing imputation using conformal inference techniques. This work is motivated by the need to impute distributional functional representations of continuous glucose monitoring (CGM) data within the context of a longitudinal study on diabetes, where a significant fraction of patients do not have available CGM profiles. The importance of these methods is illustrated by evaluating the effectiveness of CGM data as new digital biomarkers to predict the time to diabetes onset in healthy populations. To address these scientific challenges, we propose: (i) a new regression algorithm for missing responses; (ii) novel conformal prediction algorithms tailored for metric spaces with a focus on density responses within the 2-Wasserstein geometry; (iii) a broadly applicable personalized imputation method criterion, designed to enhance both of the aforementioned strategies, yet valid across any statistical model and data structure. Our findings reveal that incorporating CGM data into diabetes time-to-event analysis, augmented with a novel personalization phase of imputation, significantly enhances predictive accuracy by over ten percent compared to traditional predictive models for time to diabetes.


title: Global transformer overheating from geomagnetic storms

abstract: Geomagnetic storms occurring due to sustained, high-speed solar winds are known to induce currents in power distribution networks. These geomagnetically induced currents (GICs) can cause high voltage transformers (HVT) to overheat, thus resulting in a catastrophic electricity loss event (CELE). Since significant portions of infrastructures around the world rely heavily on access to electric power, it is essential to estimate the risks associated with GICs on a global scale. We assemble multiple methodologies across various scientific disciplines to develop a framework assessing the probability of a severe geomagnetic storm causing a long-term, widespread power outage. Our model incorporates thermal models of HVT tie bar hot spots, historical geoelectric field estimates, and a global conductivity model to estimate the risk of long-term power outage for regions between -70 degrees and 80 degrees geomagnetic latitude due to transformer overheating failure. Assuming a uniform 33% HVT spare capacity, our analysis indicates that a 1 in 10,000 year storm would result in approximately 1% of the population in Europe and North America experiencing a long-term (months to years) electricity loss.


title: From Sontag s to Cardano-Lyapunov Formula for Systems Not Affine in the Control: Convection-Enabled PDE Stabilization

abstract: We propose the first generalization of Sontag s universal controller to systems not affine in the control, particularly, to PDEs with boundary actuation. We assume that the system admits a control Lyapunov function (CLF) whose derivative, rather than being affine in the control, has either a depressed cubic, quadratic, or depressed quartic dependence on the control. For each case, a continuous universal controller that vanishes at the origin and achieves global exponential stability is derived. We prove our result in the context of convectionreaction-diffusion PDEs with Dirichlet actuation. We show that if the convection has a certain structure, then the L2 norm of the state is a CLF. In addition to generalizing Sontag s formula to some non-affine systems, we present the first general Lyapunov approach for boundary control of nonlinear PDEs. We illustrate our results via a numerical example.