title: A Brownian cyclic engine operating in a viscoelastic active suspension

abstract: We investigate a model for a Stirling-like engine consisting of a passive Brownian particle confined by a harmonic potential and interacting with a suspension of active Brownian particles that self-propel in a viscous solvent, which cyclically operates under isothermal conditions by means of temporal variations of the trap stiffness and the self-propulsion speed of the active particles. We derive an effective stochastic equation of motion of the trapped Brownian particle, which includes a friction memory kernel as well as thermal and active fluctuating forces due to its coupling with the active suspension, from which we analytically compute the efficiency of the engine in the quasi-static limit. We find that, on average, the engine is capable to produce mechanical work with an efficiency that depends on the interplay between the different time-scales of the system, where the general effect of the ensuing viscoelasticity of the active suspension is to reduce the quasi-static efficiency of the Brownian engine, as compared to the case of a system with instantaneous friction. Nevertheless, there are regions in the parameters space of the system where such memory effects are negligible in the performance of the engine, thus effectively behaving as in contact with an inert viscous bath working at two different temperatures related to the propulsion speed of the active particles.


title: Adaptive Second Order Coresets for Data-efficient Machine Learning

abstract: Training machine learning models on massive datasets incurs substantial computational costs. To alleviate such costs, there has been a sustained effort to develop data-efficient training methods that can carefully select subsets of the training examples that generalize on par with the full training data. However, existing methods are limited in providing theoretical guarantees for the quality of the models trained on the extracted subsets, and may perform poorly in practice. We propose AdaCore, a method that leverages the geometry of the data to extract subsets of the training examples for efficient machine learning. The key idea behind our method is to dynamically approximate the curvature of the loss function via an exponentially-averaged estimate of the Hessian to select weighted subsets (coresets) that provide a close approximation of the full gradient preconditioned with the Hessian. We prove rigorous guarantees for the convergence of various first and second-order methods applied to the subsets chosen by AdaCore. Our extensive experiments show that AdaCore extracts coresets with higher quality compared to baselines and speeds up training of convex and non-convex machine learning models, such as logistic regression and neural networks, by over 2.9x over the full data and 4.5x over random subsets.


title: Utterance-by-utterance overlap-aware neural diarization with Graph-PIT

abstract: Recent speaker diarization studies showed that integration of end-to-end neural diarization (EEND) and clustering-based diarization is a promising approach for achieving state-of-the-art performance on various tasks. Such an approach first divides an observed signal into fixed-length segments, then performs {\it segment-level} local diarization based on an EEND module, and merges the segment-level results via clustering to form a final global diarization result. The segmentation is done to limit the number of speakers in each segment since the current EEND cannot handle a large number of speakers. In this paper, we argue that such an approach involving the segmentation has several issues; for example, it inevitably faces a dilemma that larger segment sizes increase both the context available for enhancing the performance and the number of speakers for the local EEND module to handle. To resolve such a problem, this paper proposes a novel framework that performs diarization without segmentation. However, it can still handle challenging data containing many speakers and a significant amount of overlapping speech. The proposed method can take an entire meeting for inference and perform {\it utterance-by-utterance} diarization that clusters utterance activities in terms of speakers. To this end, we leverage a neural network training scheme called Graph-PIT proposed recently for neural source separation. Experiments with simulated active-meeting-like data and CALLHOME data show the superiority of the proposed approach over the conventional methods.


title: Identifying $s$-wave pairing symmetry in single-layer FeSe from topologically trivial edge states

abstract: Determining the pairing symmetry of single-layer FeSe on SrTiO$_3$ is the key to understanding the enhanced pairing mechanism; furthermore, it guides exploring new superconductors with high transition temperatures ($T_\mathrm{c}$). Despite significant efforts, it remains controversial whether the symmetry is the sign-preserving $s$- or the sign-changed $s_{\pm}$-wave. Here, we investigate the pairing symmetry of single-layer FeSe from a topological point of view. Using low-temperature scanning tunneling microscopy/spectroscopy, we have systematically characterized the superconducting states at isolated edges and corners of single-layer FeSe. The tunneling spectra collected at edges and corners exhibit full gap and substantial dip, respectively, demonstrating the absence of topologically non-trivial edge/corner modes. According to the theoretical calculation, these spectroscopic features are strong evidence for the sign-preserving $s$-wave pairing.


title: Why Accuracy Is Not Enough: The Need for Consistency in Object Detection

abstract: Object detectors are vital to many modern computer vision applications. However, even state-of-the-art object detectors are not perfect. On two images that look similar to human eyes, the same detector can make different predictions because of small image distortions like camera sensor noise and lighting changes. This problem is called inconsistency. Existing accuracy metrics do not properly account for inconsistency, and similar work in this area only targets improvements on artificial image distortions. Therefore, we propose a method to use non-artificial video frames to measure object detection consistency over time, across frames. Using this method, we show that the consistency of modern object detectors ranges from 83.2% to 97.1% on different video datasets from the Multiple Object Tracking Challenge. We conclude by showing that applying image distortion corrections like .WEBP Image Compression and Unsharp Masking can improve consistency by as much as 5.1%, with no loss in accuracy.


title: Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions

abstract: Path-tracking control of self-driving vehicles can benefit from deep learning for tackling longstanding challenges such as nonlinearity and uncertainty. However, deep neural controllers lack safety guarantees, restricting their practical use. We propose a new approach of learning almost-barrier functions, which approximately characterizes the forward invariant set for the system under neural controllers, to quantitatively analyze the safety of deep neural controllers for path-tracking. We design sampling-based learning procedures for constructing candidate neural barrier functions, and certification procedures that utilize robustness analysis for neural networks to identify regions where the barrier conditions are fully satisfied. We use an adversarial training loop between learning and certification to optimize the almost-barrier functions. The learned barrier can also be used to construct online safety monitors through reachability analysis. We demonstrate effectiveness of our methods in quantifying safety of neural controllers in various simulation environments, ranging from simple kinematic models to the TORCS simulator with high-fidelity vehicle dynamics simulation.


title: Topology and chromatic number of random $\epsilon$-distance graphs on spheres

abstract: Given $0<\alpha\leq\pi$, ${\epsilon}>0$ and $n$, we define random graphs on the $d$-dimensional sphere by drawing $n$ i.i.d. uniform random points for the vertices, and edges $u {\sim} v$ whenever the geodesic distance between $u$ and $v$ is ${\epsilon}$-close to ${\alpha}$. This model generalizes distance graphs on spheres, and also random Borsuk graphs. Topological tools are known to give tight bounds for the chromatic number of Borsuk graphs. We now study the efficiency of one of these topological invariants, namely the connectivity of L\'ovasz's neighborhood complex, to bound the chromatic number of this model of random graphs. We show that, in general, this bound performs badly, however, it still produces some useful bounds in dimensions $d=1$ and 2.


title: Stability and numerical analysis of backward problem for subdiffusion with time-dependent coefficients

abstract: Our aim is to study the backward problem, i.e. recover the initial data from the terminal observation, of the subdiffusion with time dependent coefficients. First of all, by using the smoothing property of solution operators and a perturbation argument of freezing the diffusion coefficients, we show a stability estimate in Sobolev spaces, under some smallness/largeness condition on the terminal time. Moreover, in case of noisy observation, we apply a quasi-boundary value method to regularize the problem and then show the convergence of the regularization scheme. Finally, to numerically reconstruct the initial data, we propose a completely discrete scheme by applying the finite element method in space and backward Euler convolution quadrature in time. An \textsl{a priori} error estimate is then established. The proof is heavily built on a perturbation argument dealing with time dependent coefficients and some nonstandard error estimates for the direct problem. The error estimate gives a useful guide for balancing discretization parameters, regularization parameter and noise level. Some numerical experiments are presented to illustrate our theoretical results.


title: Para-hydrodynamics from weak surface scattering in ultraclean thin flakes

abstract: Electron hydrodynamics typically emerges in electron fluids with a high electron-electron collision rate. However, new experiments with thin flakes of WTe$_2$ have revealed that other momentum-conserving scattering processes can replace the role of the electron-electron interaction, thereby leading to a novel, so-called para-hydrodynamic regime. Here, we develop the kinetic theory for para-hydrodynamic transport. To this end, we consider a ballistic electron gas in a thin 3-dimensional sheet where the momentum-relaxing ($\ell_{mr}$) and momentum-conserving ($\ell_{mc}$) mean free paths are decreased due to boundary scattering from a rough surface. The resulting effective mean free path of the electronic flow is then expressed in terms of microscopic parameters of the sheet boundaries, predicting that a para-hydrodynamic regime with $\ell_{mr}\gg \ell_{mc}$ emerges generically in ultraclean three-dimensional materials. Using our approach, we recover the transport properties of WTe$_2$ in the para-hydrodynamic regime in good agreement with existing experiments.


title: Generative Hypergraph Models and Spectral Embedding

abstract: Many complex systems involve interactions between more than two agents. Hypergraphs capture these higher-order interactions through hyperedges that may link more than two nodes. We consider the problem of embedding a hypergraph into low-dimensional Euclidean space so that most interactions are short-range. This embedding is relevant to many follow-on tasks, such as node reordering, clustering, and visualization. We focus on two spectral embedding algorithms customized to hypergraphs which recover linear and periodic structures respectively. In the periodic case, nodes are positioned on the unit circle. We show that the two spectral hypergraph embedding algorithms are associated with a new class of generative hypergraph models. These models generate hyperedges according to node positions in the embedded space and encourage short-range connections. They allow us to quantify the relative presence of periodic and linear structures in the data through maximum likelihood. They also improve the interpretability of node embedding and provide a metric for hyperedge prediction. We demonstrate the hypergraph embedding and follow-on tasks -- including structure quantification, clustering and hyperedge prediction -- on synthetic and real-world hypergraphs. We find that the hypergraph approach can outperform clustering algorithms that use only dyadic edges. We also compare several triadic edge prediction methods on high school contact data where our algorithm improves upon benchmark methods when the amount of training data is limited.

categories: cs.SI cs.NA math.NA math.PR physics.soc-ph stat.CO


title: Escape of cosmic rays from perpendicular shocks in the circumstellar magnetic field

abstract: We investigate the escape process of cosmic rays (CRs) from perpendicular shock regions of a spherical shock propagating to a circumstellar medium with the Parker-spiral magnetic field. The diffusive shock acceleration in perpendicular shocks of supernova remnants (SNRs) is expected to accelerate CRs up to PeV without upstream magnetic field amplification. Red supergiants (RSGs) and Wolf-Rayet (WR) stars are considered as progenitors in this work. We perform test particle simulations to investigate the escape process and escape-limited maximum energy without magnetic field amplification in the upstream region, where the magnetic field strength and rotation period expected from observations of RSGs and WR stars are used. We show that particles escape to the far upstream region while moving along the equator or poles and the maximum energy is about $10-100~{\rm TeV}$ when SNRs propagate to free wind regions of RSGs and WR stars. In most cases, the escape-limited maximum energy is given by the potential difference between the equator and pole. If progenitors are oblique rotators and SNRs are in the early phase just after the supernova explosion, the escape-limited maximum energy is limited by the half wavelength of the wavy current sheet. In addition, for RSGs, we show that the luminosity of CRs accelerated in the wind region is sufficient to supply the observed CR flux above $10~{\rm TeV}$ if a strong magnetic field strength is sustained in most RSGs. In terms of the CR luminosity, SNRs propagating to the free wind of WR stars can contribute to PeV CRs. As long as no magnetic field amplification works around SNR shocks, the maximum energy is decided by the magnetic field strength in the wind region, which depends on the rotation period, stellar wind, and surface magnetic field of RSGs and WR stars. Therefore, we need to observe these quantities to understand the origin of CRs.


title: ReFRS: Resource-efficient Federated Recommender System for Dynamic and Diversified User Preferences

abstract: Owing to its nature of scalability and privacy by design, federated learning (FL) has received increasing interest in decentralized deep learning. FL has also facilitated recent research on upscaling and privatizing personalized recommendation services, using on-device data to learn recommender models locally. These models are then aggregated globally to obtain a more performant model, while maintaining data privacy. Typically, federated recommender systems (FRSs) do not consider the lack of resources and data availability at the end-devices. In addition, they assume that the interaction data between users and items is i.i.d. and stationary across end-devices, and that all local recommender models can be directly averaged without considering the user's behavioral diversity. However, in real scenarios, recommendations have to be made on end-devices with sparse interaction data and limited resources. Furthermore, users' preferences are heterogeneous and they frequently visit new items. This makes their personal preferences highly skewed, and the straightforwardly aggregated model is thus ill-posed for such non-i.i.d. data. In this paper, we propose Resource Efficient Federated Recommender System (ReFRS) to enable decentralized recommendation with dynamic and diversified user preferences. On the device side, ReFRS consists of a lightweight self-supervised local model built upon the variational autoencoder for learning a user's temporal preference from a sequence of interacted items. On the server side, ReFRS utilizes a semantic sampler to adaptively perform model aggregation within each identified user cluster. The clustering module operates in an asynchronous and dynamic manner to support efficient global model update and cope with shifting user interests. As a result, ReFRS achieves superior performance in terms of both accuracy and scalability, as demonstrated by comparative experiments.


title: Asymptotic Formula for Counting in Dynamical Systems

abstract: This paper studies a version of counting problem in dynamical system that is of interest specially in conformal dynamical systems where functions of the systems are angle preserving. Recently M. Pollicott and M. Urba\'{n}ski published a result in this context for D-generic systems where the complex transfer operator behaves nice on the critical line of the Poincare series. Their result contains an asymptotic formula for the planer Apollonian circle packing. We lift the D-generic condition in the paper to see how their asymptotic formula changes. Further we observed an asymptotic of length closely related to this counting problem.


title: Spin-Relaxation of Dipolar-Coupled Nitrogen-Vacancy Centers : The role of Double-flip Processes

abstract: We study relaxation processes of the spins of dipolar-coupled negatively charged nitrogen vacancy (NV$^-$) centers under transverse electric and magnetic fields. Specifically, we uncover regimes where flip-flop, double-flip processes as well as mixing induced by local electric fields play a significant role in NV-NV cross-relaxation. Our results are relevant for understanding decoherence in many-body spin systems as well as for high sensitivity magneto- and electro-metry with long-lived interacting solid-state spins. As a proof of principle, we present an orientation and microwave-free magnetometer based on cross-relaxation.


title: Tuning electronic and magnetic properties of FeRh alloy by chemical and physical method

abstract: The electronic, magnetic, and thermodynamic properties of ordered and chemically disordered FeRh alloy is studied using ab-initio methods. The equiatomic Fe$_{50}$Rh$_{50}$ composition is reported for both ordered and disordered phases. Chemically disordered Fe$_x$Rh$_{100-x}$ is reported and the effect of disorder on electronic and magnetic properties is discussed. Further, We have reported the effects of stress and strain in both the order and disorder phases. The result is only for the cubic phase and no distortion has been taken into consideration. This study is motivated by the recent resurgence in FeRh study motivated by the fact that the barocaloric properties can be possible to sustain over the cycle. Hence, we have discussed the properties of Fe$_x$ Rh${100-x}$ with chemical disorder and pressure together, to gain an insight into the compound effect and the interplay between them


title: SpDISTAL: Compiling Distributed Sparse Tensor Computations

abstract: We introduce SpDISTAL, a compiler for sparse tensor algebra that targets distributed systems. SpDISTAL combines separate descriptions of tensor algebra expressions, sparse data structures, data distribution, and computation distribution. Thus, it enables distributed execution of sparse tensor algebra expressions with a wide variety of sparse data structures and data distributions. SpDISTAL is implemented as a C++ library that targets a distributed task-based runtime system and can generate code for nodes with both multi-core CPUs and multiple GPUs. SpDISTAL generates distributed code that achieves performance competitive with hand-written distributed functions for specific sparse tensor algebra expressions and that outperforms general interpretation-based systems by one to two orders of magnitude.


title: On large Iwasawa $\lambda$-invariants of imaginary quadratic function fields

abstract: Let $\ell$ be a prime number and $q$ be a power of $\ell$. Given an odd prime number $p$ and an imaginary quadratic extension $F$ of the rational function field $\mathbb{F}_q(T)$, let $\lambda_p(F)$ denote the Iwasawa $\lambda$-invariant of the constant $\mathbb{Z}_p$-extension of $F$. We show that for any number $r>0$ and all large enough values of $q\not\equiv 1\mod{p}$, there is a positive proportion of imaginary quadratic fields $F/\mathbb{F}_q(T)$ with the property that $\lambda_p(F)\geq r$. The main result is proved as a consequence of recent unconditional theorems of Ellenberg-Venkatesh-Westerland on the distribution of class groups of imaginary quadratic function fields.


title: Joint complete monotonicity of rational functions in two variables and toral $m$-isometric pairs

abstract: We discuss the problem of classifying polynomials $p : \mathbb R^2_+ \rightarrow (0, \infty)$ for which $\frac{1}{p}=\{\frac{1}{p(m, n)}\}_{m, n \geq 0}$ is joint completely monotone, where $p$ is a linear polynomial in $y.$ We show that if $p(x, y)=a+b x+c y+d xy$ with $a > 0$ and $b, c, d \geq 0,$ then $\frac{1}{p}$ is joint completely monotone if and only if $a d - b c \leq 0.$ We also present an application to the Cauchy dual subnormality problem for toral $3$-isometric weighted $2$-shifts.


title: CaminAR: Supporting Walk-and-talk Experiences for Remote Dyads using Augmented Reality on Smart Glasses

abstract: In this paper, we propose CaminAR, an augmented reality (AR) system for remote social walking among dyads. CaminAR enables two people who are physically away from one another to synchronously see and hear each other while going on a walk. The system shows a partner's avatar superimposed onto the physical world using smart glasses while walking and talking. Using a combination of visual and auditory augments, CaminAR simulates the experience of co-located walking when dyads are apart.


title: Reflectance study of ice and Mars soil simulant associations -- II. CO$_2$ and H$_2$O ice

abstract: We measure the visible and near-infrared reflectance of icy analogues of the Martian surface made of CO$_2$ ice associated in different ways with H$_2$O ice and the regolith simulant JSC Mars-1. Such experimental results obtained with well-controlled samples in the laboratory are precious to interpret quantitatively the imaging and spectral data collected by various Mars orbiters, landers and rovers. Producing and maintaining well-characterized icy samples while acquiring spectro-photometric measurements is however challenging and we discuss some of the difficulties encountered in preparing and measuring our samples. We present the results in the form of photometric and spectral criteria computed from the spectra and plotted as a function of the composition and physical properties of the samples. Consistent with previous studies, we find that when intimately mixed with other materials, including water ice, CO$_2$ ice becomes rapidly undetectable due to its low absorptivity. As low as 5 wt.$\%$ of fine-grained H$_2$O ice is enough to mask entirely the signatures of CO$_2$. Similarly, sublimation experiments performed with ternary mixtures of CO$_2$ ice, H$_2$O ice and JSC Mars-1 show that water, even when present as a minor component (3 wt.$\%$), determines the texture and evolution of the mixtures. We assess the ability of various combinations of spectral parameters to identify samples with H$_2$O, CO$_2$, JSC Mars-1, or various mixtures from their reflectance and orient our study to helping interpret ice and soil reflectance spectra from the Martian surface. From the laboratory spectra, we simulate the colour signal generated by the CaSSIS instrument to allow for direct comparisons with results from this instrument and provide to databases the necessary spectral data to perform the same operations with other instruments.


title: Quasi-resonant diffusion of wave packets in one-dimensional disordered mosaic lattices

abstract: We investigate numerically the time evolution of wave packets incident on one-dimensional semi-infinite lattices with mosaic modulated random on-site potentials, which are characterized by the integer-valued modulation period $\kappa$ and the disorder strength $W$. For Gaussian wave packets with the central energy $E_0$ and a small spectral width, we perform extensive numerical calculations of the disorder-averaged time-dependent reflectance, $\langle R(t)\rangle$, for various values of $E_0$, $\kappa$, and $W$. We find that the long-time behavior of $\langle R(t)\rangle$ obeys a power law of the form $t^{-\gamma}$ in all cases. In the presence of the mosaic modulation, $\gamma$ is equal to 2 for almost all values of $E_0$, implying the onset of the Anderson localization, while at a finite number of discrete values of $E_0$ dependent on $\kappa$, $\gamma$ approaches 3/2, implying the onset of the classical diffusion. This phenomenon is independent of the disorder strength and arises in a quasi-resonant manner such that $\gamma$ varies rapidly from 3/2 to 2 in a narrow energy range as $E_0$ varies away from the quasi-resonance values. We deduce a simple analytical formula for the quasi-resonance energies and provide an explanation of the delocalization phenomenon based on the interplay between randomness and band structure and the node structure of the wave functions. We explore the nature of the states at the quasi-resonance energies using a finite-size scaling analysis of the average participation ratio and find that the states are neither extended nor exponentially localized, but ciritical states..


title: Resonance-to-bound transition of $^5$He in neutron matter and its analogy with heteronuclear Feshbach molecule

abstract: We theoretically investigate the fate of a neutron-alpha $p$-wave resonance in dilute neutron matter, which may be encountered in neutron stars and supernova explosions. While $^5$He is known as a resonant state that decays to a neutron and an alpha particle in vacuum, this unstable state turns into a stable bound state in the neutron Fermi sea because the decay process is forbidden by the Pauli-blocking effect of neutrons. Such a resonance-to-bound transition assisted by the Pauli-blocking effect can be realized in cold atomic experiments for a quantum mixture near the heteronuclear Feshbach resonance.


title: Light-induced swirling and locomotion

abstract: Photomechanical liquid crystal elastomers (LCEs) are responsive polymers that can convert light directly into mechanical deformation. This unique feature makes these materials an attractive candidate for soft actuators capable of remote and multi-mode actuation. In this work, we propose a three-dimensional multi-scale model of the nonlinear and nonlocal dynamics of fibers of photomechanical LCEs under illumination. We use the model to show that a pre-stressed helix-like fibers immersed in a fluid can undergo a periodic whirling motion under steady illumination. We analyze the photo-driven spatiotemporal pattern and stability of the whirling deformation, and provide a parametric study. Unlike previous work on photo-driven periodic motion, this whirling motion does not exploit instabilities in the form of snap-through phenomena, or gravity as in rolling. We then show that such motion can be exploited in developing remote controlled bio-inspired microswimmers and novel micromixers.


title: Exploiting Negative Preference in Content-based Music Recommendation with Contrastive Learning

abstract: Advanced music recommendation systems are being introduced along with the development of machine learning. However, it is essential to design a music recommendation system that can increase user satisfaction by understanding users' music tastes, not by the complexity of models. Although several studies related to music recommendation systems exploiting negative preferences have shown performance improvements, there was a lack of explanation on how they led to better recommendations. In this work, we analyze the role of negative preference in users' music tastes by comparing music recommendation models with contrastive learning exploiting preference (CLEP) but with three different training strategies - exploiting preferences of both positive and negative (CLEP-PN), positive only (CLEP-P), and negative only (CLEP-N). We evaluate the effectiveness of the negative preference by validating each system with a small amount of personalized data obtained via survey and further illuminate the possibility of exploiting negative preference in music recommendations. Our experimental results show that CLEP-N outperforms the other two in accuracy and false positive rate. Furthermore, the proposed training strategies produced a consistent tendency regardless of different types of front-end musical feature extractors, proving the stability of the proposed method.


title: Infinite metacyclic subgroups of the mapping class group

abstract: For $g\geq 2$, let $\text{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g$. In this paper, we provide necessary and sufficient conditions for the existence of infinite metacyclic subgroups of $\text{Mod}(S_g)$. In particular, we provide necessary and sufficient conditions under which a pseudo-Anosov mapping class generates an infinite metacyclic subgroup of $\text{Mod}(S_g)$ with a nontrivial periodic mapping class. As applications of our main results, we establish the existence of infinite metacyclic subgroups of $\text{Mod}(S_g)$ isomorphic to $\mathbb{Z}\rtimes \mathbb{Z}_m, \mathbb{Z}_n \rtimes \mathbb{Z}$, and $\mathbb{Z} \rtimes \mathbb{Z}$. Furthermore, we derive bounds on the order of a nontrivial periodic generator of an infinite metacyclic subgroup of $\text{Mod}(S_g)$ that are realized. Finally, we show that the centralizer of an irreducible periodic mapping class $F$ is either $\langle F\rangle$ or $\langle F\rangle \times \langle i\rangle$, where $i$ is a hyperelliptic involution.


title: The Chevalley-Herbrand formula and the real abelian Main Conjecture

abstract: The Main Theorem for abelian fields (often called Main Conjecture despite proofs in most cases) has a long history which has found a solution by means of "elementary arithmetic", as detailed in Washington's book from Thaine's method having led to Kolyvagin's Euler systems. Analytic theory of real abelian fields $K$ says (in the semi-simple case) that the order of the $p$-class group $\mathcal{H}_K$ is equal to the $p$-index of cyclotomic units $(\mathcal{E}_K : \mathcal{F}_K)$. We have conjectured (1977) the relations $\# \mathcal{H}_\varphi = (\mathcal{E}_\varphi : \mathcal{F}_\varphi)$ for the isotypic $p$-adic components using the irreducible $p$-adic characters $\varphi$ of $K$. We develop, in this article, new promising links between: (i) the Chevalley-Herbrand formula giving the number of ``ambiguous classes'' in $p$-extensions $L/K$, $L \subset K(\mu_\ell^{})$ for the auxiliary prime numbers $\ell \equiv 1 \pmod {2p^N}$ inert in $K$; (ii) the phenomenon of capitulation of $\mathcal{H}_K$ in $L$; (iii) the real Main Conjecture $\# \mathcal{H}_\varphi = (\mathcal{E}_\varphi : \mathcal{F}_\varphi)$ for all~$\varphi$. We prove that the real Main Conjecture is trivially fulfilled as soon as $\mathcal{H}_K$ capitulates in $L$ (Theorem \ref{thmppl}). Computations with PARI programs support this new philosophy of the Main Conjecture. The very frequent phenomenon of capitulation suggests Conjecture 1.2.


title: Frobenius structures in star-autonomous categories

abstract: It is known that the quantale of sup-preserving maps from a complete lattice to itself is a Frobenius quantale if and only if the lattice is completely distributive. Since completely distributive lattices are the nuclear objects in the autonomous category of complete lattices and sup-preserving maps, we study the above statement in a categorical setting. We introduce the notion of Frobenius structure in an arbitrary autonomous category, generalizing that of Frobenius quantale. We prove that the monoid of endomorphisms of a nuclear object has a Frobenius structure. If the environment category is star-autonomous and has epi-mono factorizations, a variant of this theorem allows to develop an abstract phase semantics and to generalise the previous statement. Conversely, we argue that, in a star-autonomous category where the monoidal unit is a dualizing object, if the monoid of endomorphisms of an object has a Frobenius structure and the monoidal unit embeds into this object as a retract, then the object is nuclear.


title: A health telemonitoring platform based on data integration from different sources

abstract: The management of people with long-term or chronic illness is one of the biggest challenges for national health systems. In fact, these diseases are among the leading causes of hospitalization, especially for the elderly, and huge amount of resources required to monitor them leads to problems with sustainability of the healthcare systems. The increasing diffusion of portable devices and new connectivity technologies allows the implementation of telemonitoring system capable of providing support to health care providers and lighten the burden on hospitals and clinics. In this paper, we present the implementation of a telemonitoring platform for healthcare, designed to capture several types of physiological health parameters from different consumer mobile and custom devices. Consumer medical devices can be integrated into the platform via the Google Fit ecosystem that supports hundreds of devices, while custom devices can directly interact with the platform with standard communication protocols. The platform is designed to process the acquired data using machine learning algorithms, and to provide patients and physicians the physiological health parameters with a user-friendly, comprehensive, and easy to understand dashboard which monitors the parameters through time. Preliminary usability tests show a good user satisfaction in terms of functionality and usefulness.


title: Anatomy of a Stablecoin's failure: the Terra-Luna case

abstract: We quantitatively describe the main events that led to the Terra project's failure in May 2022. We first review, in a systematic way, news from heterogeneous social media sources; we discuss the fragility of the Terra project and its vicious dependence on the Anchor protocol. We hence identify the crash's trigger events, analysing hourly and transaction data for Bitcoin, Luna, and TerraUSD. Finally, using state-of-the-art techniques from network science, we study the evolution of dependency structures for 61 highly capitalised cryptocurrencies during the down-market and we also highlight the absence of herding behaviour analysing cross-sectional absolute deviation of returns.


title: Multi-horizons black hole solutions, photon sphere and perihelion shift in weak ghost-free Gauss-Bonnet theory of gravity

abstract: Among the modified gravitational theories, the ghost-free Gauss-Bonnet (GFGB) theory of gravity has been considered from the viewpoint of cosmology. The best way to check its applicability could be to elicit observable predicts which give guidelines or limitations on the theory, which could be contrasted with the actual observations. In the present study, we derive consistent field equations for GFGB and by applying the equations to a spherically symmetric space-time, we obtain new spherically symmetric black hole (BH) solutions. We study the physical properties of these BH solutions and show that the obtained space-time possesses multi-horizons and the Gauss-Bonnet invariants in the space-time are not trivial. We also investigate the thermodynamical quantities related to these BH solutions and we show that these quantities are consistent with what is known in the previous works. Finally, we study the geodesic equations of these solutions which give the photon spheres and we find the perihelion shift for weak GFGB. In addition, we calculate the first-order GFGB perturbations in the Schwarzschild solution and new BH solutions and show that we improve and extend existing results in the past literature on the spherically symmetric solutions.


title: A Novel Data Augmentation Technique for Out-of-Distribution Sample Detection using Compounded Corruptions

abstract: Modern deep neural network models are known to erroneously classify out-of-distribution (OOD) test data into one of the in-distribution (ID) training classes with high confidence. This can have disastrous consequences for safety-critical applications. A popular mitigation strategy is to train a separate classifier that can detect such OOD samples at the test time. In most practical settings OOD examples are not known at the train time, and hence a key question is: how to augment the ID data with synthetic OOD samples for training such an OOD detector? In this paper, we propose a novel Compounded Corruption technique for the OOD data augmentation termed CnC. One of the major advantages of CnC is that it does not require any hold-out data apart from the training set. Further, unlike current state-of-the-art (SOTA) techniques, CnC does not require backpropagation or ensembling at the test time, making our method much faster at inference. Our extensive comparison with 20 methods from the major conferences in last 4 years show that a model trained using CnC based data augmentation, significantly outperforms SOTA, both in terms of OOD detection accuracy as well as inference time. We include a detailed post-hoc analysis to investigate the reasons for the success of our method and identify higher relative entropy and diversity of CnC samples as probable causes. We also provide theoretical insights via a piece-wise decomposition analysis on a two-dimensional dataset to reveal (visually and quantitatively) that our approach leads to a tighter boundary around ID classes, leading to better detection of OOD samples. Source code link: https://github.com/cnc-ood


title: Breast shape estimation and correction in CESM biopsy

abstract: Description of purpose: Contrast-enhanced spectral mammography can be used to guide needle biopsies. However, in vertical approach the compressed breast is deformed generating a so-called bump in the paddle aperture, which may interfere with the visibility of contrast-uptakes. Local thickness estimation would provide an enhanced image quality of the recombined image, increasing the visibility of the contrast-uptakes to be targeted during the biopsy procedure. In this work we propose a method to estimate the shape of the breast bump in biopsy vertical approach. Materials and Methods: Our method consists on two steps: first, we compute a raw thickness which does not take into account the presence of contrast-uptakes; second, we use a physical model to separate the sparse iodine texture from the breast shape. This physical model is composed by a sum of Fourier components, describing the main shape of the bump, a series of low-order polynomials, describing the main compressed thickness, paddle tilt and deflection, and non-linear components describing the translation and rotation of the paddle aperture. A 3D object mimicking a bump was fabricated to test the pertinence of our shape model. Also, clinical images of 21 patients which followed CESM-guided biopsy were visually assessed. Results: Comparison between raw and final estimated thickness of our 3D test object shows an error standard deviation of 0.37 mm similar to the noise standard deviation equals to 0.32 mm. The visual assessment of clinical cases showed that the thickness correction removes the superimposed low-frequency pattern due to non-uniform thickness of the bump, improving the identification of the lesion to be targeted. Conclusion: The proposed method for thickness estimation is adapted to CESM-guided biopsies in vertical approach and it improves the identification of the contrast-uptakes that need to be targeted during the procedure.


title: Adaptive Time Step Algorithms for the Simulation of marine Ecosystem Models using the Transport Matrix Method Implementation Metos3D

abstract: The reduction of the computational effort is desirable for the simulation of marine ecosystem models. Using a marine ecosystem model, the assessment and the validation of annual periodic solutions (i.e., steady annual cycles) against observational data are crucial to identify biogeochemical processes, which, for example, influence the global carbon cycle. For marine ecosystem models, the transport matrix method (TMM) already lowers the runtime of the simulation significantly and enables the application of larger time steps straightforwardly. However, the selection of an appropriate time step is a challenging compromise between accuracy and shortening the runtime. Using an automatic time step adjustment during the computation of a steady annual cycle with the TMM, we present in this paper different algorithms applying either an adaptive step size control or decreasing time steps in order to use the time step always as large as possible without any manual selection. For these methods and a variety of marine ecosystem models of different complexity, the accuracy of the computed steady annual cycle achieved the same accuracy as solutions obtained with a fixed time step. Depending on the complexity of the marine ecosystem model, the application of the methods shortened the runtime significantly. Due to the certain overhead of the adaptive method, the computational effort may be higher in special cases using the adaptive step size control. The presented methods represent computational efficient methods for the simulation of marine ecosystem models using the TMM but without any manual selection of the time step.


title: Persona-Knowledge Dialogue Multi-Context Retrieval and Enhanced Decoding Methods

abstract: Persona and Knowledge dual context open-domain chat is a novel dialogue generation task introduced recently. While Persona and Knowledge is each interesting context of open-domain dialogue, the combination of both has not been well studied. We tackle Persona-Knowledge identification and response generation tasks in this paper. We design an informed data augmentation strategy that is compatible with neural Q&A retrieval models. With the augmented data, we perform permutative Persona-Knowledge evaluation and successive Persona search fine-tuning. Furthermore, we perform dialogue generation with various decoding techniques and illustrate crucial elements. We achieve SOTA across official metrics with 93.99% Grounding accuracy average and 23.62 SacreBLEU score.


title: The HD 93963 A transiting system: A 1.04d super-Earth and a 3.65 d sub-Neptune discovered by TESS and CHEOPS

abstract: We present the discovery of two small planets transiting HD 93963A (TOI-1797), a G0\,V star (M$_*$=1.109\,$\pm$\,0.043\,M$_\odot$, R$_*$=1.043\,$\pm$\,0.009\,R$_\odot$) in a visual binary system. We combined TESS and CHEOPS space-borne photometry with data from MuSCAT 2, `Alopeke, PHARO, TRES, FIES, and SOPHIE. We validated and spectroscopically confirmed the outer transiting planet HD 93963 Ac, a sub-Neptune with an orbital period of P$_c \approx$ 3.65 d, reported as a TESS object of interest (TOI) shortly after the release of Sector 22 data. HD 93963 Ac has a mass of M$_c = 19.2 \pm 4.1$ M$_{\oplus}$ and a radius of R$_c = 3.228 \pm 0.059$ R$_{\oplus}$, implying a mean density of $\rho_c=3.1\pm0.7$ gcm$^{-3}$. The inner object, HD 93963 Ab, is a validated 1.04 d ultra-short period (USP) transiting super-Earth that we discovered in the TESS light curve and that was not listed as a TOI, owing to the low significance of its signal (TESS signal-to-noise ratio $\approx$ 6.7, TESS $+$ CHEOPS combined transit depth D$_b=141.5 \pm 8.5$ ppm). We intensively monitored the star with CHEOPS by performing nine transit observations to confirm the presence of the inner planet and validate the system. HD 93963 Ab is the first small (R$_b = 1.35 \pm 0.042$ R$_{\oplus}$) USP planet discovered and validated by TESS and CHEOPS. Unlike planet c, HD 93963 Ab is not significantly detected in our radial velocities (M$_b = 7.8 \pm 3.2$ M$_{\oplus}$). We also discovered a linear trend in our Doppler measurements, suggesting the possible presence of a long-period outer planet. With a V-band magnitude of 9.2, HD 93963 A is among the brightest stars known to host a USP planet, making it one of the most favourable targets for precise mass measurement via Doppler spectroscopy and an important laboratory to test formation, evolution, and migration models of planetary systems hosting ultra-short period planets.


title: HelixFold-Single: MSA-free Protein Structure Prediction by Using Protein Language Model as an Alternative

abstract: AI-based protein structure prediction pipelines, such as AlphaFold2, have achieved near-experimental accuracy. These advanced pipelines mainly rely on Multiple Sequence Alignments (MSAs) as inputs to learn the co-evolution information from the homologous sequences. Nonetheless, searching MSAs from protein databases is time-consuming, usually taking dozens of minutes. Consequently, we attempt to explore the limits of fast protein structure prediction by using only primary sequences of proteins. HelixFold-Single is proposed to combine a large-scale protein language model with the superior geometric learning capability of AlphaFold2. Our proposed method, HelixFold-Single, first pre-trains a large-scale protein language model (PLM) with thousands of millions of primary sequences utilizing the self-supervised learning paradigm, which will be used as an alternative to MSAs for learning the co-evolution information. Then, by combining the pre-trained PLM and the essential components of AlphaFold2, we obtain an end-to-end differentiable model to predict the 3D coordinates of atoms from only the primary sequence. HelixFold-Single is validated in datasets CASP14 and CAMEO, achieving competitive accuracy with the MSA-based methods on the targets with large homologous families. Furthermore, HelixFold-Single consumes much less time than the mainstream pipelines for protein structure prediction, demonstrating its potential in tasks requiring many predictions. The code of HelixFold-Single is available at https://github.com/PaddlePaddle/PaddleHelix/tree/dev/apps/protein_folding/helixfold-single, and we also provide stable web services on https://paddlehelix.baidu.com/app/drug/protein-single/forecast.


title: Bernstein-Remez inequality for Nash functions: A complex analytic approach

abstract: Consider an open, bounded set $\Omega\subset \mathbb{C}$, a positive integer $k$ and a compact $\mathcal{K}\subset \Omega$ of cardinality strictly greater than $k$. We prove that, for any function $f$ which is holomorphic in $\overline \Omega$, and whose graph satisfies $S(z,f(z))=0$ for some polynomial $S\in\mathbb{C}[z,w]$ of degree at most $k$ (hence $f$ is an algebraic function), the quantity $\max_{\overline\Omega}|f|/\max_{\mathcal{K}}|f|$ is bounded by a constant that only depends on $k$, $\Omega$, $\mathcal{K}$ but not on $f$ (estimates of this kind are called Bernstein-Remez inequalities). This result has been demonstrated by Roytwarf and Yomdin in case $\mathcal{K}$ is a real interval, and later by Yomdin for a discrete set $\mathcal{K}$ of sufficiently high cardinality, by using arguments of real-algebraic and analytic geometry. Here we present and extend a proof due to Nekhoroshev on the existence of a uniform Bernstein-Remez inequality for algebraic functions, which relies on classical theorems of complex analysis. Nekhoroshev's work remained unstudied despite its important consequences in Hamiltonian dynamics and is here presented and extended in a self-contained and pedagogical way, while the original reasonings were rather sketchy.


title: A generic framework for decision support in retail inventory management

abstract: The success of any business depends on how well it is able to satisfy customer demand, while remaining financially viable. Globalisation and the growth of e-commerce have resulted in retail businesses having to manage increasing numbers of products. As the number of products sold increases, so does the complexity of the corresponding inventory management problem. High-quality decision making, in this regard, necessitates the utilisation of computerised decision support systems capable of accommodating the complexity presented by a large number of products. Existing frameworks for decision support in inventory management are mainly focused on a single facet of the inventory management problem - generic, integrated frameworks seem to be absent from the literature. In this paper, a holistic framework design is proposed which integrates all of the major components expected to form part of a generic framework for inventory management. The objective of the framework is to provide decision support in respect of various inventory management operations, such as product segmentation, demand forecasting and determining the sizes and timings of replenishment orders, in pursuit of a desirable balance between the conflicting objectives in inventory management.


title: Linear Last-Iterate Convergence for Continuous Games with Coupled Inequality Constraints

abstract: In this paper, the generalized Nash equilibrium (GNE) seeking problem for continuous games with coupled affine inequality constraints is investigated in a partial-decision information scenario, where each player can only access its neighbors' information through local communication although its cost function possibly depends on all other players' strategies. To this end, a novel decentralized primal-dual algorithm based on consensus and dual diffusion methods is devised for seeking the variational GNE of the studied games. This paper also provides theoretical analysis to show that the designed algorithm converges linearly for the last-iterate, which, to our best knowledge, is the first to propose a linearly convergent GNE seeking algorithm under coupled affine inequality constraints. Finally, a numerical example is presented to demonstrate the effectiveness of the obtained theoretical results.


title: Dynamic Analysis of Confined Ionic Liquids and Ionic Magnetic Fluids: Highlighting Long Range Elastic Interactions

abstract: By reinforcing the interaction energy of the liquid with respect to the surface using total wetting boundary conditions, the response of liquids to mechanical shear stress is stronger and exhibits at sub-millimeter scale elastic properties. This study extends here to liquids with strong electrostatic interactions such as ionic liquids and paramagnetic liquids. We show that it is also possible to identify and measure a non-zero low-frequency shear elasticity at sub-millimeter scale. The observation of mesoscopic elastic properties in liquids generally considered as viscous away from any phase transition and the absence of extended structuring confirm the relevance of considering elastic interactions as contributing to collective effects under external electric or magnetic field.


title: Morphological adjunctions represented by matrices in max-plus algebra for signal and image processing

abstract: In discrete signal and image processing, many dilations and erosions can be written as the max-plus and min-plus product of a matrix on a vector. Previous studies considered operators on symmetrical, unbounded complete lattices, such as Cartesian powers of the completed real line. This paper focuses on adjunctions on closed hypercubes, which are the complete lattices used in practice to represent digital signals and images. We show that this constrains the representing matrices to be doubly-0-astic and we characterise the adjunctions that can be represented by them. A graph interpretation of the defined operators naturally arises from the adjacency relationship encoded by the matrices, as well as a max-plus spectral interpretation.


title: Mechanical Characterization of Superelastic NiTi Nanofoams by Molecular Dynamics Simulations

abstract: Nanoporous metals or nanofoams are a promising material class that is considered for sensing, actuation, and catalysis. To date, they mostly based on simple noble metals such as nanoporous gold, which exhibit peculiar stress-strain response different from the bulk material. At the same time bulk alloys such as NiTi feature a reversible martensitic phase transition giving rise to interesting shape memory and superelastic effects. Combining the rich mechanics of NiTi with the geometrical features of a nanofoam is expected to improve the mechanical performance of this material. In this atomistic study we explore the behavior of a NiTi nanofoam at varying temperature and its reaction to (cyclic) compression. Using molecular dynamics simulations we track the microscopic processes enabling reversible deformation as well as the mechanical failure mechanisms of the NiTi nanofoam.


title: On the Cauchy problem for the Hartree approximation in quantum dynamics

abstract: We prove existence and uniqueness results for the time-dependent Hartree approximation arising in quantum dynamics. The Hartree equations of motion form a coupled system of nonlinear Schr{\"o}dinger equations for the evolution of product state approximations. They are a prominent example for dimension reduction in the context of the the time-dependent Dirac-Frenkel variational principle. We handle the case of Coulomb potentials thanks to Strichartz estimates. Our main result addresses a general setting where the nonlinear coupling cannot be considered as a perturbation. The proof uses a recursive construction that is inspired by the standard approach for the Cauchy problem associated to symmetric quasilinear hyperbolic equations.


title: MLRIP: Pre-training a military language representation model with informative factual knowledge and professional knowledge base

abstract: Incorporating prior knowledge into pre-trained language models has proven to be effective for knowledge-driven NLP tasks, such as entity typing and relation extraction. Current pre-training procedures usually inject external knowledge into models by using knowledge masking, knowledge fusion and knowledge replacement. However, factual information contained in the input sentences have not been fully mined, and the external knowledge for injecting have not been strictly checked. As a result, the context information cannot be fully exploited and extra noise will be introduced or the amount of knowledge injected is limited. To address these issues, we propose MLRIP, which modifies the knowledge masking strategies proposed by ERNIE-Baidu, and introduce a two-stage entity replacement strategy. Extensive experiments with comprehensive analyses illustrate the superiority of MLRIP over BERT-based models in military knowledge-driven NLP tasks.


title: Reflectance study of ice and Mars soil simulant associations -- I. H$_2$O ice

abstract: The reflectance of water ice and dust mixtures depends, amongst other parameters, on how the components are mixed (e.g. intimate mixture, areal mixture or coating) (Clark et al. 1999). Therefore, when inverting the reflectance spectra measured from planetary surfaces to derive the amount of water ice present at the surface, it is critical to distinguish between different mixing modes of ice and dust. However, the distinction between mixing modes from reflectance spectra remains ambiguous. Here we show how to identify some water ice/soil mixing modes from the study of defined spectral criteria and colour analysis of laboratory mixtures. We have recreated ice and dust mixtures and found that the appearance of frost on a surface increases its reflectance and flattens its spectral slopes, whereas the increasing presence of water ice in intimate mixtures mainly impacts the absorption bands. In particular, we provide laboratory data and a spectral analysis to help interpret ice and soil reflectance spectra from the Martian surface.


title: Robust thin-plate splines for multivariate spatial smoothing

abstract: We propose a novel family of multivariate robust smoothers based on the thin-plate (Sobolev) penalty that is particularly suitable for the analysis of spatial data. The proposed family of estimators can be expediently computed even in high dimensions, is invariant with respect to rigid transformations of the coordinate axes and can be shown to possess optimal theoretical properties under mild assumptions. The competitive performance of the proposed thin-plate spline estimators relative to its non-robust counterpart is illustrated in a simulation study and a real data example involving two-dimensional geographical data on ozone concentration.


title: Photohadronic interpretation of the different incarnation of 1ES 2344+514

abstract: Since its discovery in 1995, the high-energy peaked blazar 1ES 2344+514 has undergone several episodes of GeV-TeV flaring and has been observed in the multiwavelength by several other telescopes. The observed X-ray spectrum of 1996 and the flaring event of 2016 establish that 1ES 2344+514 has a temporary EHBL-like behavior. Such behavior has also been observed in several nearby high-energy peaked blazars. We use the photohadronic model to account for the GeV-TeV flaring observed events of 1995 and 2007. Also, a recently proposed two-zone photohadronic model, which is successful in explaining the multi-TeV flaring events of many transient EHBL-like source, is employed to explain the GeV-TeV flaring spectra of MJD 57611 and MJD 57612. We find that the zone-2 parameters of the two-zone photohadronic model play a central role in explaining these spectra. Probably this is an indication of a new type of transient EHBL-like source. We find that our fits to the observed spectra are comparable or better than the other leptonic and hadronic models employed in the literature to address the same issue.


title: Supersymmetry and R-symmetries in Wess-Zumino models: properties and model dataset construction

abstract: The Nelson-Seiberg theorem and its extensions relate supersymmetry breaking and R-symmetries in Wess-Zumino models. But their applicability may be limited by previously found non-generic counterexamples. Constructing a dataset of R-symmetric Wess-Zumino models is useful for studying the occurrence of such counterexamples as well as other purposes. This work gives a pedagogical review on the basics of supersymmetry in (3+1)-dimensions, Wess-Zumino models and their supergravity extensions, the Nelson-Seiberg theorem and its extensions. We present a preliminary construction of the dataset of R-symmetric Wess-Zumino models with up to 5 chiral fields. Among 925 models in total, 20 of them with non-generic R-charges are counterexamples to both the Nelson-Seiberg theorem and its extensions. Thus the dataset gives an estimation of the accuracy of the field counting method based on these theorems. More constructions and applications of the dataset are expected in future work.


title: A Unifying View on Blind Source Separation of Convolutive Mixtures based on Independent Component Analysis

abstract: In many daily-life scenarios, acoustic sources recorded in an enclosure can only be observed with other interfering sources. Hence, convolutive Blind Source Separation (BSS) is a central problem in audio signal processing. Methods based on Independent Component Analysis (ICA) are especially important in this field as they require only few and weak assumptions and allow for blindness regarding the original source signals and the acoustic propagation path. Most of the currently used algorithms belong to one of the following three families: Frequency Domain ICA (FD-ICA), Independent Vector Analysis (IVA), and TRIple-N Independent component analysis for CONvolutive mixtures (TRINICON). While the relation between ICA, FD-ICA and IVA becomes apparent due to their construction, the relation to TRINICON is not well established yet. This paper fills this gap by providing an in-depth treatment of the common building blocks of these algorithms and their differences, and thus provides a common framework for all considered algorithms.


title: On the local structure of the Brill-Noether locus of locally free sheaves on a smooth variety

abstract: We study the functor $\operatorname{Def}_E^k$ of infinitesimal deformations of a locally free sheaf $E$ of $\mathcal{O}_X$-modules on a smooth variety $X$, such that at least $k$ independent sections lift to the deformed sheaf, where $h^0(E) \geq k$. We deduce some information on the $k$-th Brill-Noether locus of $E$, such as the description of the tangent cone at some singular points, of the tangent space at some smooth ones and some links between the smoothness of the functor $\operatorname{Def}_E^k$ and the smoothness of some well know deformations functors and their associated moduli spaces. As a tool for the investigation of $\operatorname{Def}_E^k$, we study infinitesimal deformations of the pairs $(E,U)$, where $U$ is a linear subspace of sections of $E$. We generalise to the case where $E$ has any rank and $X$ any dimension many classical results concerning the moduli space of coherent systems, like the description of its tangent space and the link between its smoothness and the injectivity of the Petri map.


title: Aether-quasi-dilaton massive gravity

abstract: Although quasi-dilaton massive gravity is a well-defined gravitational theory, it exhibits instabilities and suffers from the strong coupling problem. In this work we construct an extension of the theory, through the inclusion of the aether field. Focusing on flat Friedmann-Lemaitre-Robertson-Walker geometry, we show the existence of exact, self-accelerating solutions at the background level, characterized by an effective cosmological constant arising from the graviton mass. Additionally, we perform a detailed perturbation analysis, investigating separately the tensor, vector, and scalar perturbations, extracting the dispersion relation of gravitational waves, and determining the stability conditions for vector and scalar sectors. As we show, there are always regions in the parameter space in which the obtained solutions are free from ghost instabilities, as well as from the strong coupling problem. Hence, although the aether field does not play an important role in the background self-accelerating solutions, it does play a crucial role in the alleviation of the perturbation-related problems of the simple quasi-dilaton massive gravity.


title: Carleson embedding theorem for an exponential Bergman space on the unit ball

abstract: We characterize the Carleson measures for an exponential Bergman space on the unit ball of $\mathbb C^n$ in terms of the ball induced by the complex Hessian of the logarithm of the weight function. The boundedness (or compactness) of integral operators, Ces\`{a}ro operators and Toeplitz operators, is given using the Carleson measure (or vanishing Carleson measure) characterization.


title: Deriving Priestley duality and its generalizations from Pontryagin duality for semilattices

abstract: We show how to derive Priestley duality for distributive lattices and its generalizations to distributive meet-semilattices from Pontryagin duality for semilattices. Among other things, this involves consideration of various morphisms between algebraic frames. We conclude by showing how Stone duality for boolean algebras and for generalized boolean algebras also fits as a particular case of the general picture.


title: Stable Matching with Mistaken Agents

abstract: Motivated by growing evidence of agents' mistakes in strategically simple environments, we propose a solution concept -- robust equilibrium -- that requires only an asymptotically optimal behavior. We use it to study large random matching markets operated by the applicant-proposing Deferred Acceptance (DA). Although truth-telling is a dominant strategy, almost all applicants may be non-truthful in robust equilibrium; however, the outcome must be arbitrarily close to the stable matching. Our results imply that one can assume truthful agents to study DA outcomes, theoretically or counterfactually. However, to estimate the preferences of mistaken agents, one should assume stable matching but not truth-telling.


title: Very large-scale neighborhood search for drone routing with energy replenishment

abstract: The Drone Routing Problem with Energy replenishment (DRP-E) belongs to a general class of routing problems with intermediate stops and synchronization constraints. In DRP-E, the drone has to visit a set of nodes and routinely requires battery swaps from a (potentially) mobile replenishment station. Contrary to widespread restrictions in the drone routing literature, several destinations may be visited in between two consecutive battery swaps. In this paper, we propose a nontrivial very large-scale neighbourhood for DRP-E, which synergetically leverages two large-sized polynomially solvable DRP-E SubProblems (SP1 and SP2). The number of feasible solutions in the resulting neighborhood is a multiple of those in SP1 and SP2, and, thus, exponential in the input size of the problem, whereas the computational time to search it remains polynomial. The proposed polynomial two-stage dynamic programming algorithm VLSN to search this neighborhood can be flexibly adjusted to the desired trade-off between accuracy and computational time. For instance, the search procedure can be converted into an exact algorithm of competitive runtime for DRP-E. In computational tests, the developed solution methods outperform current state-of-the art heuristics for DRP-E by a significant margin. A case study based on a search for missing persons demonstrates that VLSN easily accommodates additional practice relevant features and outperforms the state-of-the-art solution in disaster relief by 20%.


title: A Civil Protection Early Warning System to Improve the Resilience of Adriatic-Ionian Territories to Natural and Man-made Risk

abstract: We are currently witnessing an increased occurrence of extreme weather events, causing a great deal of disruption and distress across the globe. In this setting, the importance and utility of Early Warning Systems is becoming increasingly obvious. In this work, we present the design of an early warning system called TransCPEarlyWarning, aimed at seven countries in the Adriatic-Ionian area in Europe. The overall objective is to increase the level of cooperation among national civil protection institutions in these countries, addressing natural and man-made risks from the early warning stage and improving the intervention capabilities of civil protection mechanisms. The system utilizes an innovative approach with a lever effect, while also aiming to support the whole system of Civil Protection.


title: Long-term stability of interacting Hawkes processes on random graphs

abstract: We consider a population of Hawkes processes modeling the activity of $N$ interacting neurons. The neurons are regularly positioned on the segment $[0,1]$, and the connectivity between neurons is given by a random possibly diluted and inhomogeneous graph where the probability of presence of each edge depends on the spatial position of its vertices through a spatial kernel. The main result of the paper concerns the longtime stability of the synaptic current of the population, as $N\to\infty$, in the subcritical regime in case the synaptic memory kernel is exponential, up to time horizons that are polynomial in $N$.


title: Fundamental Theory and R-linear Convergence of Stretch Energy Minimization for Equiareal parameterizations

abstract: In this paper, we first extend the finite distortion problem from the bounded domains in $\mathbb{R}^2$ to the closed genus-zero surfaces in $\mathbb{R}^3$ by the stereographic projection. Then we derive a theoretical foundation for spherical equiareal parameterizations between a simply connected closed surface $\mathcal{M}$ and a unit sphere $\mathbb{S}^2$ via minimizing the total area distortion energy on $\overline{\mathbb{C}}$. Provided we determine the minimizer of the total area distortion energy, the minimizer composed with the initial conformal map determines the equiareal map between the extended planes. Taking the inverse stereographic projection, we can derive the equiareal map between $\mathcal{M}$ and $\mathbb{S}^2$. The total area distortion energy can be rewritten into the sum of Dirichlet energies associated with the southern and northern hemispheres, respectively, and can be decreased by alternatingly solving the corresponding Laplacian equations. Based on this foundational theory, we develop a modified stretch energy minimization for the computation of the spherical equiareal parameterization between $\mathcal{M}$ and $\mathbb{S}^2$. In addition, under some mild conditions, we verify that our proposed algorithm has asymptotically R-linear convergence or forms a quasi-periodic solution. Numerical experiments on various benchmarks validate the assumptions for convergence always hold and indicate the efficiency, reliability and robustness of the developed modified stretch energy minimization.


title: On the Multidimensional Random Subset Sum Problem

abstract: In the Random Subset Sum Problem, given $n$ i.i.d. random variables $X_1, ..., X_n$, we wish to approximate any point $z \in [-1,1]$ as the sum of a suitable subset $X_{i_1(z)}, ..., X_{i_s(z)}$ of them, up to error $\varepsilon$. Despite its simple statement, this problem is of fundamental interest to both theoretical computer science and statistical mechanics. More recently, it gained renewed attention for its implications in the theory of Artificial Neural Networks. An obvious multidimensional generalisation of the problem is to consider $n$ i.i.d. $d$-dimensional random vectors, with the objective of approximating every point $\mathbf{z} \in [-1,1]^d$. In 1998, G. S. Lueker showed that, in the one-dimensional setting, $n=\mathcal{O}(\log \frac 1\varepsilon)$ samples guarantee the approximation property with high probability.In this work, we prove that, in $d$ dimensions, $n = \mathcal{O}(d^3\log \frac 1\varepsilon \cdot (\log \frac 1\varepsilon + \log d))$ samples suffice for the approximation property to hold with high probability. As an application highlighting the potential interest of this result, we prove that a recently proposed neural network model exhibits universality: with high probability, the model can approximate any neural network within a polynomial overhead in the number of parameters.


title: Polynomials with maximal differential uniformity and the exceptional APN conjecture

abstract: We contribute to the exceptional APN conjecture by showing that no polynomial of degree m = 2 r (2 {\ell} + 1) where gcd(r, {\ell}) 2, r 2, {\ell} 1 with a nonzero second leading coefficient can be APN over infinitely many extensions of the base field. More precisely, we prove that for n sufficiently large, all polynomials of F 2 n [x] of such a degree with a nonzero second leading coefficient have a differential uniformity equal to m -- 2.


title: Commutation relations of $\mathfrak g\_2$ and the incidence geometry of the Fano plane

abstract: We continue our study and classification of structures on the Fano plane ${\cal F}$ and its dual ${\cal F}^\ast$ involved in the construction of octonions and the Lie algebra $\mathfrak g_2 (\mathbb F)$ over a field $\mathbb F$. These are a "composition factor": ${\cal F}\times {\cal F} \to\{-1, 1\}$, inducing an octonion multiplication, and a function $\delta^\ast : Aut({\cal F}) \times {\cal F}^\ast \to \{-1, 1\}$ such that $g \in Aut({\cal F})$ can be lifted to an automorphism of the octonions iff $\delta^\ast(g, \cdot)$ is the Radon transform of a function on ${\cal F}$. We lift the action of $Aut({\cal F})$ on ${\cal F}$ to the action of a non-trivial eight-fold covering $Aut({\cal F})$ on a twofold covering $\hat {\cal F}$ of ${\cal F}$ contained in the octonions. This extends tautologically to an action on the octonions by automorphism. Finally, we associate to incident point-line pairs a generating set of $\mathfrak g_2 (\mathbb F)$ and express brackets in terms of the incidence geometry of ${\cal F}$ and $\epsilon$.


title: Privacy-Preserving Federated Recurrent Neural Networks

abstract: We present RHODE, a novel system that enables privacy-preserving training of and prediction on Recurrent Neural Networks (RNNs) in a cross-silo federated learning setting by relying on multiparty homomorphic encryption. RHODE preserves the confidentiality of the training data, the model, and the prediction data; and it mitigates federated learning attacks that target the gradients under a passive-adversary threat model. We propose a packing scheme, multi-dimensional packing, for a better utilization of Single Instruction, Multiple Data (SIMD) operations under encryption. With multi-dimensional packing, RHODE enables the efficient processing, in parallel, of a batch of samples. To avoid the exploding gradients problem, RHODE provides several clipping approximations for performing gradient clipping under encryption. We experimentally show that the model performance with RHODE remains similar to non-secure solutions both for homogeneous and heterogeneous data distribution among the data holders. Our experimental evaluation shows that RHODE scales linearly with the number of data holders and the number of timesteps, sub-linearly and sub-quadratically with the number of features and the number of hidden units of RNNs, respectively. To the best of our knowledge, RHODE is the first system that provides the building blocks for the training of RNNs and its variants, under encryption in a federated learning setting.


title: An Interpretability Evaluation Benchmark for Pre-trained Language Models

abstract: While pre-trained language models (LMs) have brought great improvements in many NLP tasks, there is increasing attention to explore capabilities of LMs and interpret their predictions. However, existing works usually focus only on a certain capability with some downstream tasks. There is a lack of datasets for directly evaluating the masked word prediction performance and the interpretability of pre-trained LMs. To fill in the gap, we propose a novel evaluation benchmark providing with both English and Chinese annotated data. It tests LMs abilities in multiple dimensions, i.e., grammar, semantics, knowledge, reasoning and computation. In addition, it provides carefully annotated token-level rationales that satisfy sufficiency and compactness. It contains perturbed instances for each original instance, so as to use the rationale consistency under perturbations as the metric for faithfulness, a perspective of interpretability. We conduct experiments on several widely-used pre-trained LMs. The results show that they perform very poorly on the dimensions of knowledge and computation. And their plausibility in all dimensions is far from satisfactory, especially when the rationale is short. In addition, the pre-trained LMs we evaluated are not robust on syntax-aware data. We will release this evaluation benchmark at \url{http://xyz}, and hope it can facilitate the research progress of pre-trained LMs.


title: Cerebro spinal fluid dynamic in front of cardiac and breathing influence

abstract: It is still debated how breathing interacts with the CSF. New Phase contrast MRI sequence based on Echo Planar imaging (EPI-PC) can now produce continuously during minutes a velocity map, more or less every 100 ms. We did not found in the literature quantitative evaluation of the CSF stroke volume change during breathing. The aim of this work is to quantify CSF dynamics change in the aqueduct and in the spinal canal during the breathing and cardiac period using EPI-PC.


title: Accuracy of Real-Time Echo-Planar Imaging Phase Contrast MRI

abstract: Compared with CINE phase contrast MRI (CINE-PC), echo-planar imaging phase contrast (EPI-PC) can achieve realtime quantification of blood flow, with lower SNR. In this study, the pulsating real model of the simulated cerebral vasculature was used to verify the accuracy of EPI-PC. The imaging time of EPI-PC was 62ms/image at 100*60 spatial resolution. The reconstructed EPI-PC flow curve was extracted by homemade post-processing software. After comparison with the CINE-PC flow curve, it was concluded that EPI-PC can provide an average flow with less than 3% error, and its flow curve will be similar to the CINE-PC flow curve in shape.


title: Isogeny classes of cubic spaces

abstract: A cubic space is a vector space equipped with a symmetric trilinear form. Two cubic spaces are isogeneous if each embeds into the other. A cubic space is non-degenerate if its form cannot be expressed as a finite sum of products of linear and quadratic forms. We classify non-degenerate cubic spaces of countable dimension up to isogeny: the isogeny classes are completely determined by an invariant we call the residual rank, which takes values in $\mathbf{N} \cup \{\infty\}$. In particular, the set of classes is discrete and (under the partial order of embedability) satisfies the descending chain condition.


title: On a federated architecture for utilizing domain-specific descriptive models. (Poster)

abstract: In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of models are essential for their exchange and reuse, the way in which the data of these models are defined and the information conveyed is also essential for their (re) utilization -- e.g., for analysis or synthesis purposes. Category Theory has made it possible to link seemingly separate fields or domains, so that anything that can be rewritten in this framework benefits from a level of abstraction and a relational viewpoint -- essential to address complexity. We therefore take advantage of this framework to define a federated architecture for projecting and conveying these models without sacrificing clarity and precision. A federated architecture has two important advantages. On the one hand, it unifies these models from their structure; on the other hand, it allows a specific usage (instantiation or interpretation) of this structure within a business domain. We define the structure of these models as a symmetric multicategory. In particular, we rely on matrices over a semiring to define morphisms and their composition. The choice of matrices is intended to facilitate the application in practice.


title: LLWP -- A new Loomis-Wood Software at the Example of Acetone-13C1

abstract: Acetone-13C1 is a complex organic molecule with two internal methyl (-CH3) rotors having relatively low effective barriers to internal rotation of about 249 cm-1. This leads to two low-lying torsional modes and five internal rotation components resulting in a dense and complicated spectrum. In this study, measurements of acetone-13C1 were performed with an isotopically enriched sample in the frequency range 37-1102 GHz. Predicted spectra of acetone-13C1 created with ERHAM allow for future radio astronomical searches. Loomis-Wood plots are one approach to improve and fasten the analysis of such crowded spectra. In this study, the new Loomis-Wood software LLWP was used for fast and confident assignments. LLWP focuses on being user-friendly, intuitive, and applicable to a broad range of assignment tasks. The software is presented here and can be downloaded from llwp.astro.uni-koeln.de.


title: Beyond the delta method

abstract: We give an asymptotic development of the maximum likelihood estimator (MLE), or any other estimator defined implicitly, in a way which involves the limiting behavior of the score and its higher-order derivatives. This development, which is explicitly computable, gives some insights about the non-asymptotic behavior of the renormalized MLE and its departure from its limit. We highlight that the results hold whenever the score and its derivative converge, including to non Gaussian limits. Our approach is based on an asymptotic implicit function theorem, inspired from perturbative approaches.


title: Neural Architecture Search on Efficient Transformers and Beyond

abstract: Recently, numerous efficient Transformers have been proposed to reduce the quadratic computational complexity of standard Transformers caused by the Softmax attention. However, most of them simply swap Softmax with an efficient attention mechanism without considering the customized architectures specially for the efficient attention. In this paper, we argue that the handcrafted vanilla Transformer architectures for Softmax attention may not be suitable for efficient Transformers. To address this issue, we propose a new framework to find optimal architectures for efficient Transformers with the neural architecture search (NAS) technique. The proposed method is validated on popular machine translation and image classification tasks. We observe that the optimal architecture of the efficient Transformer has the reduced computation compared with that of the standard Transformer, but the general accuracy is less comparable. It indicates that the Softmax attention and efficient attention have their own distinctions but neither of them can simultaneously balance the accuracy and efficiency well. This motivates us to mix the two types of attention to reduce the performance imbalance. Besides the search spaces that commonly used in existing NAS Transformer approaches, we propose a new search space that allows the NAS algorithm to automatically search the attention variants along with architectures. Extensive experiments on WMT' 14 En-De and CIFAR-10 demonstrate that our searched architecture maintains comparable accuracy to the standard Transformer with notably improved computational efficiency.


title: Variation formulae for the volume of coassociative submanifolds

abstract: We prove new variation formulae for the volume of coassociative submanifolds, expressed in terms of $G_2$ data. As a special case, we obtain a second variation formula for variations within the moduli space of coassociative submanifolds; this formula highlights the role of the ambient torsion and Ricci curvature. These results apply, for example, to coassociative fibrations. We illustrate our formulae with several examples, both homogeneous and non.


title: Possible $\Lambda_c\bar{\Lambda}_c$ molecular states and their productions in nulceon-antinulceon collision

abstract: In this work, a study of possible molecular states from the $\Lambda_c\bar{\Lambda}_c$ interaction and their productions in nucleon-antinucleon collision is performed in a quasipotential Bethe-Salpeter equation approach. Two bound states with quantum numbers $J^{PC}=0^{-+}$ and $1^{--}$ are produced with almost the same binding energy from the $\Lambda_c\bar{\Lambda}_c$ interaction which is described by the light meson exchanges. However, the result does not support the assignment of experimentally observed $Y(4630)$ as a $\Lambda_c\bar{\Lambda}_c$ molecular state because it is hard to obtain a peak near experimental mass of the $Y(4630)$ which is far above the $\Lambda_c\bar{\Lambda}_c$ threshold. The possibility to search these states in nucleon-antinucleon collision is studied by including couplings to $N\bar{N}$ and $D^{(*)}\bar{D}^{(*)}$ channels. The peaks can be found obviously near the $\Lambda_c\bar{\Lambda}_c$ threshold in the $D^*\bar{D}^*$ channel at an order of amplitude of 10 $\mu$b. Too small width of state with $0^{-+}$ may lead to the difficulty to be observed in experiment. Based on the results in the current work, search for the $\Lambda_c\bar{\Lambda}_c$ molecular state with $1^{--}$ is suggested in process $N\bar{N}\to D^*\bar{D}^*$, which is accessible at $\rm \bar{P}ANDA$.


title: Learning Based High-Level Decision Making for Abortable Overtaking in Autonomous Vehicles

abstract: Autonomous vehicles are a growing technology that aims to enhance safety, accessibility, efficiency, and convenience through autonomous maneuvers ranging from lane change to overtaking. Overtaking is one of the most challenging maneuvers for autonomous vehicles, and current techniques for autonomous overtaking are limited to simple situations. This paper studies how to increase safety in autonomous overtaking by allowing the maneuver to be aborted. We propose a decision-making process based on a deep Q-Network to determine if and when the overtaking maneuver needs to be aborted. The proposed algorithm is empirically evaluated in simulation with varying traffic situations, indicating that the proposed method improves safety during overtaking maneuvers. Furthermore, the approach is demonstrated in real-world experiments using the autonomous shuttle iseAuto.


title: ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems

abstract: This paper proposes an algorithmic framework for various reconfiguration problems using zero-suppressed binary decision diagrams (ZDDs), a data structure for families of sets. In general, a reconfiguration problem checks if there is a step-by-step transformation between two given feasible solutions (e.g., independent sets of an input graph) of a fixed search problem such that all intermediate results are also feasible and each step obeys a fixed reconfiguration rule (e.g., adding/removing a single vertex to/from an independent set). The solution space formed by all feasible solutions can be exponential in the input size, and indeed many reconfiguration problems are known to be PSPACE-complete. This paper shows that an algorithm in the proposed framework efficiently conducts the breadth-first search by compressing the solution space using ZDDs, and finds a shortest transformation between two given feasible solutions if exists. Moreover, the proposed framework provides rich information on the solution space, such as the connectivity of the solution space and all feasible solutions reachable from a specified one. We demonstrate that the proposed framework can be applied to various reconfiguration problems, and experimentally evaluate their performances.


title: Moment-functional based spectral density-functional theory

abstract: We describe a density-functional method which aims at computing the ground state electron density and the spectral function at the same time. One basic ingredient of our method is the construction of the spectral function from the first four spectral moment matrices. The second basic ingredient is the construction of the spectral moment matrices from density functionals. We call our method moment-functional based spectral density-functional theory (MFbSDFT), because it is based on density-functionals for the spectral moments and because it allows us to compute the spectral function. If it is implemented in second variation our method consumes only a fraction more computer time than a standard DFT calculation with the PBE functional. We show that MFbSDFT captures correlation effects such as the valence-band satellite in Ni and the formation of lower and upper Hubbard bands in SrVO$_3$. For the purpose of constructing the spectral function from the first four $N\times N$ spectral moment matrices we describe an efficient algorithm based on the diagonalization of one hermitean $2N\times 2N$ matrix.


title: A truncated Siegel-Weil formula and Borcherds forms

abstract: In this paper we use the regularized Siegel-Weil formula of Gan-Qiu-Takeda to obtain an expression of the integral of the theta function over the truncated modular curve. We apply this result to express the integral over the truncated modular curve of the logarithm of the Borcherds form and we describe explicitly its asymptotic behaviour, and in particular the convergent and divergent contributions. The result provides a complement to the work of Kudla on integrals of Borcherds forms in a limiting case which falls out the range of applications.


title: Analysis and comparison of boundary condition variants in the free-surface lattice Boltzmann method

abstract: The accuracy of the free-surface lattice Boltzmann method (FSLBM) depends significantly on the boundary condition employed at the free interface. Ideally, the chosen boundary condition balances the forces exerted by the liquid and gas pressure. Different variants of the same boundary condition are possible, depending on the number and choice of the particle distribution functions (PDFs) to which it is applied. This study analyzes and compares four variants, in which (i) the boundary condition is applied to all PDFs oriented in the opposite direction of the free interface's normal vector, including or (ii) excluding the central PDF. While these variants overwrite existing information, the boundary condition can also be applied (iii) to only missing PDFs without dropping available data or (iv) to only missing PDFs but at least three PDFs as suggested in the literature. It is shown that neither variant generally balances the forces exerted by the liquid and gas pressure at the free surface. The four variants' accuracy was compared in five different numerical experiments covering various applications. These include a standing gravity wave, a rectangular and cylindrical dam break, a rising Taylor bubble, and a droplet impacting a thin pool of liquid. Overall, variant (iii) was substantially more accurate than the other variants in the numerical experiments performed in this study.


title: Meta-Learning based Degradation Representation for Blind Super-Resolution

abstract: The most of CNN based super-resolution (SR) methods assume that the degradation is known (\eg, bicubic). These methods will suffer a severe performance drop when the degradation is different from their assumption. Therefore, some approaches attempt to train SR networks with the complex combination of multiple degradations to cover the real degradation space. To adapt to multiple unknown degradations, introducing an explicit degradation estimator can actually facilitate SR performance. However, previous explicit degradation estimation methods usually predict Gaussian blur with the supervision of groundtruth blur kernels, and estimation errors may lead to SR failure. Thus, it is necessary to design a method that can extract implicit discriminative degradation representation. To this end, we propose a Meta-Learning based Region Degradation Aware SR Network (MRDA), including Meta-Learning Network (MLN), Degradation Extraction Network (DEN), and Region Degradation Aware SR Network (RDAN). To handle the lack of groundtruth degradation, we use the MLN to rapidly adapt to the specific complex degradation after several iterations and extract implicit degradation information. Subsequently, a teacher network MRDA$_{T}$ is designed to further utilize the degradation information extracted by MLN for SR. However, MLN requires iterating on paired low-resolution (LR) and corresponding high-resolution (HR) images, which is unavailable in the inference phase. Therefore, we adopt knowledge distillation (KD) to make the student network learn to directly extract the same implicit degradation representation (IDR) as the teacher from LR images.


title: Estimate of traffic emissions through multiscale second order models with heterogeneous data

abstract: In this paper we propose a multiscale traffic model, based on the family of Generic Second Order Models, which integrates multiple trajectory data into the velocity function. This combination of a second order macroscopic model with microscopic information allows us to reproduce significant variations in speed and acceleration that strongly influence traffic emissions. We obtain accurate approximations even with a few trajectory data. The proposed approach is therefore a computationally efficient and highly accurate tool for calculating macroscopic traffic quantities and estimating emissions.


title: Extending RNN-T-based speech recognition systems with emotion and language classification

abstract: Speech transcription, emotion recognition, and language identification are usually considered to be three different tasks. Each one requires a different model with a different architecture and training process. We propose using a recurrent neural network transducer (RNN-T)-based speech-to-text (STT) system as a common component that can be used for emotion recognition and language identification as well as for speech recognition. Our work extends the STT system for emotion classification through minimal changes, and shows successful results on the IEMOCAP and MELD datasets. In addition, we demonstrate that by adding a lightweight component to the RNN-T module, it can also be used for language identification. In our evaluations, this new classifier demonstrates state-of-the-art accuracy for the NIST-LRE-07 dataset.


title: Non-equilibrium components in very low transverse momentum region in high-energy nuclear collisions

abstract: We analyze Pb+Pb collisions at $\sqrt{s_{\mathrm{NN}}}=2.76$ TeV with a novel framework based on the dynamical core--corona picture that describes particle productions from both equilibrium and non-equilibrium components. We remark the possibility of the contribution from non-equilibrium components at very low transverse momentum ($p_{T}$) region and show that such contributions significantly affect $p_{T}$-integrated four-particle cumulants. These results strongly suggest the necessity of non-equilibrium components when one extracts properties of the quark-gluon plasma from experimental data using sophisticated dynamical models based on relativistic hydrodynamics.


title: Extendability of differential forms via Cartier operators

abstract: Let $X$ be a normal variety over a perfect field of positive characteristic and $B$ a reduced divisor on $X$. We prove that if the Cartier isomorphism on the log smooth locus of $(X,B)$ extends to the entire $X$, then $(X,B)$ satisfies the logarithmic extension theorem for differential forms. As an application, we show that the logarithmic extension theorem holds for good quotients of smooth varieties by actions of reduced linearly reductive group schemes. In addition, the logarithmic extension theorem for one-forms holds for singularities of higher codimension under assumptions about Serre's condition. We also prove that tame quotients satisfy the regular extension theorem.


title: Discrete breathers in a mechanical metamaterial

abstract: We consider a previously experimentally realized discrete model that describes a mechanical metamaterial consisting of a chain of pairs of rigid units connected by flexible hinges. Upon analyzing the linear band structure of the model, we identify parameter regimes in which this system may possess discrete breather solutions with frequencies inside the gap between optical and acoustic dispersion bands. We compute numerically exact solutions of this type for several different parameter regimes and investigate their properties and stability. Our findings demonstrate that upon appropriate parameter tuning within experimentally tractable ranges, the system exhibits a plethora of discrete breathers, with multiple branches of solutions that feature period-doubling and symmetry-breaking bifurcations, in addition to other mechanisms of stability change such as saddle-center and Hamiltonian Hopf bifurcations. The relevant stability analysis is corroborated by direct numerical computations examining the dynamical properties of the system and paving the way for potential further experimental exploration of this rich nonlinear dynamical lattice setting.


title: A multiple-time-step integration algorithm for particle-resolved simulation with physical collision time

abstract: In this paper, we present a multiple-time-step integration algorithm (MTSA) for particle collisions in particle-resolved simulations. Since the time step required for resolving a collision process is much smaller than that for a fluid flow, the computational cost of the traditional soft-sphere model by reducing the time step is quite high in particle-resolved simulations. In one state-of-the-art methodology, collision time is stretched to several times the flow solver time step for the fluid to adapt to the sudden change in particle motion. However, the stretched collision time is not physical, the hydrodynamic force may be severely underestimated during a stretched collision, and the simulation of sediment transport may be sensitive to the stretched collision time. The proposed MTSA adopts different time steps to resolve fluid flow, fluid-particle interaction, and particle collision. We assessed the MTSA for particle-wall collisions as well as particle-particle collisions, determined the optimal iteration number in the algorithm, and obtained excellent agreements with experimental measurements and reference simulations. The computational cost of the MTSA can be reduced to about one order of magnitude less than that using the traditional soft-sphere model with almost the same accuracy. The MTSA was then implemented in a particle-resolved simulation of sediment transport with thousands of particles. {By comparing the results obtained using the MTSA and a version of the stretching collision time algorithm similar to Costa et al.(2015), we found that stretching the collision time reduced particle stiffness, weakened particle entrainment, and affected some turbulence and particle statistics.


title: PHEMEPlus: Enriching Social Media Rumour Verification with External Evidence

abstract: Work on social media rumour verification utilises signals from posts, their propagation and users involved. Other lines of work target identifying and fact-checking claims based on information from Wikipedia, or trustworthy news articles without considering social media context. However works combining the information from social media with external evidence from the wider web are lacking. To facilitate research in this direction, we release a novel dataset, PHEMEPlus, an extension of the PHEME benchmark, which contains social media conversations as well as relevant external evidence for each rumour. We demonstrate the effectiveness of incorporating such evidence in improving rumour verification models. Additionally, as part of the evidence collection, we evaluate various ways of query formulation to identify the most effective method.