title: Asymmetric double-winged multi-view clustering network for exploring Diverse and Consistent Information

abstract: In unsupervised scenarios, deep contrastive multi-view clustering (DCMVC) is becoming a hot research spot, which aims to mine the potential relationships between different views. Most existing DCMVC algorithms focus on exploring the consistency information for the deep semantic features, while ignoring the diverse information on shallow features. To fill this gap, we propose a novel multi-view clustering network termed CodingNet to explore the diverse and consistent information simultaneously in this paper. Specifically, instead of utilizing the conventional auto-encoder, we design an asymmetric structure network to extract shallow and deep features separately. Then, by aligning the similarity matrix on the shallow feature to the zero matrix, we ensure the diversity for the shallow features, thus offering a better description of multi-view data. Moreover, we propose a dual contrastive mechanism that maintains consistency for deep features at both view-feature and pseudo-label levels. Our framework's efficacy is validated through extensive experiments on six widely used benchmark datasets, outperforming most state-of-the-art multi-view clustering algorithms.


title: Effective equation solving, constraints and growth in virtually abelian groups

abstract: In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic order, abelianisation or context-free constraints added, can be effectively produced in finitely generated virtually abelian groups. Crucially, we translate each of the constraints above into a rational set in an effective way, and so reduce each problem to solving equations with rational constraints, which is decidable and well understood in virtually abelian groups. A byproduct of our results is that the growth series of a virtually abelian group, with respect to any generating set and any weight, is effectively computable. This series is known to be rational by a result of Benson, but his proof is non-constructive.


title: Multilayer Ferromagnetic Spintronic Devices for Neuromorphic Computing Applications

abstract: Spintronics has gone through substantial progress due to its applications in energy-efficient memory, logic and unconventional computing paradigms. Multilayer ferromagnetic thin films are extensively studied for understanding the domain wall and skyrmion dynamics. However, most of these studies are confined to the materials and domain wall/skyrmion physics. In this paper, we present the experimental and micromagnetic realization of a multilayer ferromagnetic spintronic device for neuromorphic computing applications. The device exhibits multilevel resistance states and the number of resistance states increases with lowering temperature. This is supported by the multilevel magnetization behavior observed in the micromagnetic simulations. Furthermore, the evolution of resistance states with spin-orbit torque is also explored in experiments and simulations. Using the multi-level resistance states of the device, we propose its applications as a synaptic device in hardware neural networks and study the linearity performance of the synaptic devices. The neural network based on these devices is trained and tested on the MNIST dataset using a supervised learning algorithm. The devices at the chip level achieve 90\% accuracy. Thus, proving its applications in neuromorphic computing. Furthermore, we lastly discuss the possible application of the device in cryogenic memory electronics for quantum computers.


title: Privacy Attacks and Defenses for Digital Twin Migrations in Vehicular Metaverses

abstract: The gradual fusion of intelligent transportation systems with metaverse technologies is giving rise to vehicular metaverses, which blend virtual spaces with physical space. As indispensable components for vehicular metaverses, Vehicular Twins (VTs) are digital replicas of Vehicular Metaverse Users (VMUs) and facilitate customized metaverse services to VMUs. VTs are established and maintained in RoadSide Units (RSUs) with sufficient computing and storage resources. Due to the limited communication coverage of RSUs and the high mobility of VMUs, VTs need to be migrated among RSUs to ensure real-time and seamless services for VMUs. However, during VT migrations, physical-virtual synchronization and massive communications among VTs may cause identity and location privacy disclosures of VMUs and VTs. In this article, we study privacy issues and the corresponding defenses for VT migrations in vehicular metaverses. We first present four kinds of specific privacy attacks during VT migrations. Then, we propose a VMU-VT dual pseudonym scheme and a synchronous pseudonym change framework to defend against these attacks. Additionally, we evaluate average privacy entropy for pseudonym changes and optimize the number of pseudonym distribution based on inventory theory. Numerical results show that the average utility of VMUs under our proposed schemes is 33.8% higher than that under the equal distribution scheme, demonstrating the superiority of our schemes.


title: On when the union of two algebraic sets is algebraic

abstract: In universal algebraic geometry, an algebra is called an equational domain if the union of two algebraic sets is algebraic. We characterize equational domains, with respect to polynomial equations, inside congruence permutable varieties, and with respect to term equations, among all algebras of size two and all algebras of size three with a cyclic automorphism. Furthermore, for each size at least three, we prove that, modulo term equivalence, there is a continuum of equational domains of that size.


title: Composition-driven Mott transition within SrTi$_{\rm 1-x}$V$_{\rm x}$O$_3$

abstract: The last few decades has seen the rapid growth of interest in the bulk perovskite-type transition metal oxides SrVO$_3$ and SrTiO$_3$. The electronic configuration of these perovskites differs by one electron associated to the transition metal species which gives rise to the drastically different electronic properties. Therefore, it is natural to look into how the electronic structure transitions between these bulk structures by using doping. Measurements of the substitutional doped SrTi$_{\rm 1-x}$V$_{\rm x}$O$_3$ shows an metal-insulator transition (MIT) as a function of doping. By using supercell density functional theory with dynamical mean field theory (DFT+DMFT), we show that the MIT is indeed the result of the combination of local electron correlation effects (Mott physics) within the t$_{\rm 2g}$ orbitals and the atomic site configuration of the transition metals which may indicate dependence on site disorder. SrTi$_{\rm 1-x}$V$_{\rm x}$O$_3$ may be an ideal candidate for benchmarking cutting-edge Mott-Anderson models of real systems. We show that applying an effective external perturbation on SrTi$_{\rm 1-x}$V$_{\rm x}$O$_3$ can switch the system between the insulating and metallic phase, meaning this is a bulk system with the potential use in Mott electronic devices.


title: Learning-based NLOS Detection and Uncertainty Prediction of GNSS Observations with Transformer-Enhanced LSTM Network

abstract: The global navigation satellite systems (GNSS) play a vital role in transport systems for accurate and consistent vehicle localization. However, GNSS observations can be distorted due to multipath effects and non-line-of-sight (NLOS) receptions in challenging environments such as urban canyons. In such cases, traditional methods to classify and exclude faulty GNSS observations may fail, leading to unreliable state estimation and unsafe system operations. This work proposes a deep-learning-based method to detect NLOS receptions and predict GNSS pseudorange errors by analyzing GNSS observations as a spatio-temporal modeling problem. Compared to previous works, we construct a transformer-like attention mechanism to enhance the long short-term memory (LSTM) networks, improving model performance and generalization. For the training and evaluation of the proposed network, we used labeled datasets from the cities of Hong Kong and Aachen. We also introduce a dataset generation process to label the GNSS observations using lidar maps. In experimental studies, we compare the proposed network with a deep-learning-based model and classical machine-learning models. Furthermore, we conduct ablation studies of our network components and integrate the NLOS detection with data out-of-distribution in a state estimator. As a result, our network presents improved precision and recall ratios compared to other models. Additionally, we show that the proposed method avoids trajectory divergence in real-world vehicle localization by classifying and excluding NLOS observations.


title: The Nicolai-map approach to supersymmetry

abstract: In 1980 Hermann Nicolai proposed a characterization of supersymmetric theories that became known as the Nicolai map. This is a particular nonlocal and nonlinear field transformation, whose perturbative expansion is given by fermion-line trees with bosonic leaves. Quantum correlation functions can by evaluated using the inversely transformed fields in the free theory. After initial promise and excitement (fuelling the author's PhD work!), the subject all but fell dormant for 35 years. Recently however, technical progress in the construction as well as a deeper insight into the nature of the map have been achieved, from quantum mechanics to super Yang-Mills in various dimensions. I will present the Nicolai map from this modern perspective and touch on some of the current developments.


title: Quantum Monte Carlo simulations in the restricted Hilbert space of Rydberg atom arrays

abstract: Rydberg atom arrays have emerged as a powerful platform to simulate a number of exotic quantum ground states and phase transitions. To verify these capabilities numerically, we develop a versatile quantum Monte Carlo sampling technique which operates in the reduced Hilbert space generated by enforcing the constraint of a Rydberg blockade. We use the framework of stochastic series expansion and show that in the restricted space, the configuration space of operator strings can be understood as a hard rod gas in $d+1$ dimensions. We use this mapping to develop cluster algorithms which can be visualized as various non-local movements of rods. We study the efficiency of each of our updates individually and collectively. To elucidate the utility of the algorithm, we show that it can efficiently generate the phase diagram of a Rydberg atom array, to temperatures much smaller than all energy scales involved, on a Kagom\'e link lattice. This is of broad interest as the presence of a $Z_2$ spin liquid has been hypothesized recently.


title: Geometry-aware Line Graph Transformer Pre-training for Molecular Property Prediction

abstract: Molecular property prediction with deep learning has gained much attention over the past years. Owing to the scarcity of labeled molecules, there has been growing interest in self-supervised learning methods that learn generalizable molecular representations from unlabeled data. Molecules are typically treated as 2D topological graphs in modeling, but it has been discovered that their 3D geometry is of great importance in determining molecular functionalities. In this paper, we propose the Geometry-aware line graph transformer (Galformer) pre-training, a novel self-supervised learning framework that aims to enhance molecular representation learning with 2D and 3D modalities. Specifically, we first design a dual-modality line graph transformer backbone to encode the topological and geometric information of a molecule. The designed backbone incorporates effective structural encodings to capture graph structures from both modalities. Then we devise two complementary pre-training tasks at the inter and intra-modality levels. These tasks provide properly supervised information and extract discriminative 2D and 3D knowledge from unlabeled molecules. Finally, we evaluate Galformer against six state-of-the-art baselines on twelve property prediction benchmarks via downstream fine-tuning. Experimental results show that Galformer consistently outperforms all baselines on both classification and regression tasks, demonstrating its effectiveness.


title: Fractional Wiener Chaos

abstract: The area of fractional calculus has made its way into various pure and applied scientific fields, as evidenced by its integration into numerous disciplines. An increasing number of researchers are exploring various approaches to incorporating fractional calculus into stochastic analysis. In this paper, we generalise the Wiener chaos expansion by constructing a fractional Wiener chaos expansion based on the parabolic cylinder function with an exponential factor. In the process, we demonstrate that this parabolic cylinder function with an exponential factor, which we call "a power normalised parabolic cylinder function" acts as an extension of a Hermite polynomial and retains the same martingale properties inherent in the Hermite polynomial, as well as other basic properties of Hermite polynomials. Hence, it is accurate to state that power normalised cylindrical functions can be viewed as fractional versions of Hermite polynomials.


title: Enhancing PGA Tour Performance: Leveraging ShotlinkTM Data for Optimization and Prediction

abstract: In this study, we demonstrate how data from the PGA Tour, combined with stochastic shortest path models (MDPs), can be employed to refine the strategies of professional golfers and predict future performances. We present a comprehensive methodology for this objective, proving its computational feasibility. This sets the stage for more in-depth exploration into leveraging data available to professional and amateurs for strategic optimization and forecasting performance in golf. For the replicability of our results, and to adapt and extend the methodology and prototype solution, we provide access to all our codes and analyses (R and C++).


title: A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalised

abstract: We provide a new sequent calculus that enjoys syntactic cut-elimination and strongly terminating backward proof search for the intuitionistic Strong L\"ob logic $\sf{iSL}$, an intuitionistic modal logic with a provability interpretation. A novel measure on sequents is used to prove both the termination of the naive backward proof search strategy, and the admissibility of cut in a syntactic and direct way, leading to a straightforward cut-elimination procedure. All proofs have been formalised in the interactive theorem prover Coq.


title: Hardinian Arrays

abstract: In 2014, R.H. Hardin contributed a family of sequences about king-moves on an array to the On-Line Encyclopedia of Integer Sequences (OEIS). The sequences were recently noticed in an automated search of the OEIS by Kauers and Koutschan, who conjectured a recurrence for one of them. We prove their conjecture as well as some older conjectures stated in the OEIS entries. We also have some new conjectures for the asymptotics of Hardin's sequences.


title: Controlled Martingale Problems And Their Markov Mimics

abstract: In this article we prove under suitable assumptions that the marginals of any solution to a relaxed controlled martingale problem on a Polish space $E$ can be mimicked by a Markovian solution of a Markov-relaxed controlled martingale problem. We also show how such `Markov mimics' can be obtained by relative entropy minimisation. We provide many examples where the above results can be applied.


title: How Does Forecasting Affect the Convergence of DRL Techniques in O-RAN Slicing?

abstract: The success of immersive applications such as virtual reality (VR) gaming and metaverse services depends on low latency and reliable connectivity. To provide seamless user experiences, the open radio access network (O-RAN) architecture and 6G networks are expected to play a crucial role. RAN slicing, a critical component of the O-RAN paradigm, enables network resources to be allocated based on the needs of immersive services, creating multiple virtual networks on a single physical infrastructure. In the O-RAN literature, deep reinforcement learning (DRL) algorithms are commonly used to optimize resource allocation. However, the practical adoption of DRL in live deployments has been sluggish. This is primarily due to the slow convergence and performance instabilities suffered by the DRL agents both upon initial deployment and when there are significant changes in network conditions. In this paper, we investigate the impact of time series forecasting of traffic demands on the convergence of the DRL-based slicing agents. For that, we conduct an exhaustive experiment that supports multiple services including real VR gaming traffic. We then propose a novel forecasting-aided DRL approach and its respective O-RAN practical deployment workflow to enhance DRL convergence. Our approach shows up to 22.8%, 86.3%, and 300% improvements in the average initial reward value, convergence rate, and number of converged scenarios respectively, enhancing the generalizability of the DRL agents compared with the implemented baselines. The results also indicate that our approach is robust against forecasting errors and that forecasting models do not have to be ideal.


title: Small weight codewords of projective geometric codes II

abstract: The $p$-ary linear code $\mathcal C_{k}(n,q)$ is defined as the row space of the incidence matrix $A$ of $k$-spaces and points of $\text{PG}(n,q)$. It is known that if $q$ is square, a codeword of weight $q^k\sqrt{q}+\mathcal O \left( q^{k-1} \right) $ exists that cannot be written as a linear combination of at most $\sqrt{q}$ rows of $A$. Over the past few decades, researchers have put a lot of effort towards proving that any codeword of smaller weight does meet this property. We show that if $ q \geqslant 32 $ is a composite prime power, every codeword of $\mathcal C_k(n,q)$ up to weight $\mathcal O \left( {q^k\sqrt{q}} \right) $ is a linear combination of at most $\sqrt{q}$ rows of $A$. We also generalise this result to the codes $\mathcal C_{j,k}(n,q) $, which are defined as the $p$-ary row span of the incidence matrix of $k$-spaces and $j$-spaces, $j < k$.


title: Feebly-interacting dark matter

abstract: We briefly review scenarios with feebly interacting particles (FIMPs) as dark matter candidates. The discussion covers issues with dark matter production in the early universe as well as signatures of FIMPs at the high energy and high intensity frontier as well as in astroparticle and cosmology.


title: Stable Orbits in the Feeding Zone of the Planet Proxima Centauri c

abstract: Estimates of the size of the feeding zone of the planet Proxima Centauri c have been made at initial orbital eccentricities of planetesimals equal to 0.02 or 0.15. The research is based on the results of modeling of the evolution of planetesimals' orbits under the influence of the star and planets Proxima Centauri c and b. The considered time interval reached a billion years. It was found that after the accumulation of the planet Proxima Centauri c some planetesimals may have continues to move in stable elliptical orbits within its feeding zone, largely cleared of planetesimals. Usually such planetesimals can move in some resonances with the planet (Proxima Centauri c), for example, in the resonance 1:1 (as Jupiter Trojans), 5:4 and 3:4 and usually have small eccentricities. Some planetesimals that moved for a long time (1-2 million years) along chaotic orbits fell into the resonances 5:2 and 3:10 with the planet Proxima Centauri c and moved in them at least tens of millions of years.


title: Tensor products of multimatroids and a Brylawski-type formula for the transition polynomial

abstract: Brylawski's tensor product formula expresses the Tutte polynomial of the tensor product of two graphs in terms of Tutte polynomials arising from the tensor factors. We are concerned with extensions of Brylawski's tensor product formula to the Bollobas-Riordan and transition polynomials of graphs embedded in surfaces. We give a tensor product formula for the multimatroid transition polynomial and show that Brylawski's formula and its topological analogues arise as specialisations of this more general result.


title: Multi-stage Deep Learning Artifact Reduction for Computed Tomography

abstract: In Computed Tomography (CT), an image of the interior structure of an object is computed from a set of acquired projection images. The quality of these reconstructed images is essential for accurate analysis, but this quality can be degraded by a variety of imaging artifacts. To improve reconstruction quality, the acquired projection images are often processed by a pipeline consisting of multiple artifact-removal steps applied in various image domains (e.g., outlier removal on projection images and denoising of reconstruction images). These artifact-removal methods exploit the fact that certain artifacts are easier to remove in a certain domain compared with other domains. Recently, deep learning methods have shown promising results for artifact removal for CT images. However, most existing deep learning methods for CT are applied as a post-processing method after reconstruction. Therefore, artifacts that are relatively difficult to remove in the reconstruction domain may not be effectively removed by these methods. As an alternative, we propose a multi-stage deep learning method for artifact removal, in which neural networks are applied to several domains, similar to a classical CT processing pipeline. We show that the neural networks can be effectively trained in succession, resulting in easy-to-use and computationally efficient training. Experiments on both simulated and real-world experimental datasets show that our method is effective in reducing artifacts and superior to deep learning-based post-processing.


title: Nonreciprocal superconducting transport and the spin Hall effect in gyrotropic structures

abstract: The search for superconducting systems exhibiting nonreciprocal transport and, specifically, the diode effect, has proliferated in recent years. This trend encompasses a wide variety of systems, including planar hybrid structures, asymmetric SQUIDs, and certain noncentrosymmetric superconductors. A common feature of such systems is a gyrotropic symmetry, realized on different scales and characterized by a polar vector. Alongside time-reversal symmetry breaking, the presence of a polar axis allows for magnetoelectric effects, which, when combined with proximity-induced superconductivity, results in spontaneous non-dissipative currents that underpin the superconducting diode effect. This symmetry established, we present a comprehensive theoretical study of transport in a lateral Josephson junctions composed of a normal metal supporting the spin Hall effect, and attached to a ferromagnetic insulator. Due to the presence of the latter, magnetoelectric effects arise without requiring external magnetic fields. We determine the dependence of the anomalous current on the spin relaxation length and the transport parameters commonly used in spintronics to characterize the interface between the metal and the ferromagnetic insulator. Therefore, our theory naturally unifies nonreciprocal transport in superconducting systems with classical spintronic effects, such as the spin Hall effect, spin galvanic effect, and spin Hall magnetoresistance. We propose an experiment involving measurements of magnetoresistance in the normal state and nonreciprocal transport in the superconducting state. Such experiment, on the one hand, allows for determining the parameters of the model and thus verifying with a greater precision the theories of magnetoelectric effects in normal systems. On the other hand, it contributes to a deeper understanding of the underlying microscopic origins that determine these parameters.


title: On the Sobolev Stability Threshold for the 2D MHD Equations with Horizontal Magnetic Dissipation

abstract: In this article we consider the stability threshold of the 2D magnetohydrodynamics (MHD) equations near a combination of Couette flow and large constant magnetic field. We study the partial dissipation regime with full viscous and only horizontal magnetic dissipation. In particular, we show that this regime behaves qualitatively differently than both the fully dissipative and the non-resistive setting.


title: Large-Separation Behavior of the Casimir-Polder Force from Real Graphene Sheet Deposited on a Dielectric Substrate

abstract: The Casimir-Polder force between atoms or nanoparticles and graphene-coated dielectric substrates is investigated in the region of large separations. Graphene coating with any value of the energy gap and chemical potential is described in the framework of the Dirac model using the formalism of the polarization tensor. It is shown that the Casimir-Polder force from a graphene-coated substrate reaches the limit of large separations at approximately 5.6 $\mu$m distance between an atom or a nanoparticle and graphene coating independently of the values of the energy gap and chemical potential. According to our results, however, the classical limit, where the Casimir-Polder force no longer depends on the Planck constant and the speed of light, may be attained at much larger separations depending on the values of the energy gap and chemical potential. In addition, we have found a simple analytic expression for the Casimir-Polder force from a graphene-coated substrate at large separations and determined the region of its applicability. It is demonstrated that the asymptotic results for the large-separation Casimir-Polder force from a graphene-coated substrate are in better agreement with the results of numerical computations for the graphene sheets with larger chemical potential and smaller energy gap. Possible applications of the obtained results in nanotechnology and bioelectronics are discussed.


title: Application of Deep Learning Methods in Monitoring and Optimization of Electric Power Systems

abstract: This PhD thesis thoroughly examines the utilization of deep learning techniques as a means to advance the algorithms employed in the monitoring and optimization of electric power systems. The first major contribution of this thesis involves the application of graph neural networks to enhance power system state estimation. The second key aspect of this thesis focuses on utilizing reinforcement learning for dynamic distribution network reconfiguration. The effectiveness of the proposed methods is affirmed through extensive experimentation and simulations.


title: Inversion of the attenuated momenta ray transform of planar symmetric tensors

abstract: We present a reconstruction method that stably recovers the real valued, symmetric tensors compactly supported in the Euclidean plane, from knowledge of their attenuated momenta ray transform. The problem is recast as an inverse boundary value problem for a system of transport equations, which we solve by an extension of Bukhgeim's $A$-analytic theory. The method of proof is constructive. To illustrate the reconstruction method, we present results obtained in the numerical implementation for the non-attenuated case of 1-tensors. This new version now includes the results of the preprint arXiv: 2307.10758.


title: Non-relativistic limit of the Mielke-Baekler gravity theory

abstract: In this paper, we present the most general non-relativistic Chern-Simons gravity model in three spacetime dimensions. We first study the non-relativistic limit of the Mielke-Baekler gravity through a contraction process. The resulting non-relativistic theory contains a source for the spatial component of the torsion and the curvature measured in terms of two parameters, denoted by $p$ and $q$. We then extend our results by defining a Newtonian version of the Mielke-Baekler gravity theory, based on a Newtonian like algebra which is obtained from the non-relativistic limit of an enhanced and enlarged relativistic algebra. Remarkably, in both cases, different known non-relativistic and Newtonian gravity theories can be derived by fixing the $\left(p,q\right)$ parameters. In particular, torsionless models are recovered for $q=0$.


title: FAUST X: Formaldehyde in the Protobinary System [BHB2007] 11: Small Scale Deuteration

abstract: Context. Deuterium in H-bearing species is enhanced during the early stages of star formation, however, only a small number of high spatial resolution deuteration studies exist towards protostellar objects, leaving the small-scale structures unrevealed and understudied. Aims. We aim to constrain the deuterium fractionation ratios in a Class 0/I protostellar object in formaldehyde (H2CO), which has abundant deuterated isotopologues in this environment. Methods. We observed the Class 0/I protobinary system [BHB2007] 11, whose emission components are embedded in circumstellar disks that have radii of 2-3 au, using ALMA within the context of the Large Program FAUST. The system is surrounded by a complex filamentary structure connecting to the larger circumbinary disk. In this work we present the first study of formaldehyde D-fractionation towards this source with detections of H2CO 3(0,3)-2(0,2), combined with HDCO 4(2,2)-3(2,1), HDCO 4(1,4)-3(1,3) and D2CO 4(0,4)-3(0,3). These observations enable multiple velocity components associated with the methanol hotspots also uncovered by FAUST data, as well as the external envelope, to be resolved. In addition, based on the kinematics seen in the observations of the H2CO emission, we propose the presence of a second large scale outflow. Results. HDCO and D2CO are only found in the central regions of the core while H2CO is found more ubiquitously. From radiative transfer modelling, the column densities ranges found for H2CO, HDCO and D2CO are (3-8)x10$^{14}$ cm$^{-2}$, (0.8-2.9)x10$^{13}$ cm$^{-2}$ and (2.6-4.3)x10$^{12}$ cm$^{-2}$, respectively, yielding an average D/H ratio of 0.01-0.04. Following the results of kinematic modelling, the second large scale feature is inconsistent with a streamer-like nature and we thus tentatively conclude that the feature is an asymmetric molecular outflow launched by a wide-angle disk wind.


title: How heat propagates in liquid $^3$He

abstract: In Landau's Fermi liquid picture, transport is governed by scattering between quasi-particles. The normal liquid $^3$He conforms to this picture but only at very low temperature. Here, we show that the deviation from the standard behavior is concomitant with the fermion-fermion scattering time falling below the Planckian time, $\frac{\hbar}{k_{\rm B}T}$ and the thermal diffusivity of this quantum liquid is bounded by a minimum set by fundamental physical constants and observed in classical liquids. This points to collective excitations (a sound mode) as carriers of heat. We propose that this mode has a wavevector of 2$k_F$ and a mean free path equal to the de Broglie thermal length. This would provide an additional conducting channel with a $T^{1/2}$ temperature dependence, matching what is observed by experiments. The experimental data from 0.007 K to 3 K can be accounted for, with a margin of 10\%, if thermal conductivity is the sum of two contributions: one by quasi-particles (varying as the inverse of temperature) and and another by sound (following the square root of temperature).

categories: cond-mat.stat-mech cond-mat.other cond-mat.quant-gas cond-mat.str-el


title: Inequalities for exchange Slater integrals

abstract: The variations of exchange Slater integrals with respect to their order $k$ are not well known. While direct Slater integrals $F^k$ are positive and decreasing when the order increases, this is not stricto sensu the case for exchange integrals $G^k$. However, two inequalities were published by Racah in his seminal article "Theory of complex spectra. II". In this article, we show that the technique used by Racah can be generalized, albeit with cumbersome calculations, to derive further relations, and provide two of them, involving respectively three and four exchange integrals. Such relations can prove useful to detect regularities in complex atomic spectra and classify energy levels.


title: The Complexity of Cluster Vertex Splitting and Company

abstract: Clustering a graph when the clusters can overlap can be seen from three different angles: We may look for cliques that cover the edges of the graph with bounded overlap, we may look to add or delete few edges to uncover the cluster structure, or we may split vertices to separate the clusters from each other. Splitting a vertex $v$ means to remove it and to add two new copies of $v$ and to make each previous neighbor of $v$ adjacent with at least one of the copies. In this work, we study underlying computational problems regarding the three angles to overlapping clusterings, in particular when the overlap is small. We show that the above-mentioned covering problem is NP-complete. We then make structural observations that show that the covering viewpoint and the vertex-splitting viewpoint are equivalent, yielding NP-hardness for the vertex-splitting problem. On the positive side, we show that splitting at most $k$ vertices to obtain a cluster graph has a problem kernel with $O(k)$ vertices. Finally, we observe that combining our hardness results with the so-called critical-clique lemma yields NP-hardness for Cluster Editing with Vertex Splitting, which was previously open (Abu-Khzam et al. [ISCO 2018]) and independently shown to be NP-hard by Arrighi et al. [IPEC 2023]. We observe that a previous version of the critical-clique lemma was flawed; a corrected version has appeared in the meantime on which our hardness result is based.


title: Rural Access Index: A global study

abstract: The Rural Access Index (RAI), one of the UN Sustainable Development Goal indicators (SDG 9.1.1), represents the proportion of the rural population residing within 2 km of all-season roads. It reflects the accessibility of rural residents to transportation services and could provide guidance for the improvement of road infrastructure. The primary deficiencies in assessing the RAI include the limited studying area, its incomplete meaning and the absence of correlation analysis with other influencing factors. To address these issues, this study proposes the "Not-served Rural Population (NSRP)" as a complementary indicator to RAI. Utilizing multi-source open data, we analysed the spatial patterns of RAI and NSRP indicators for 203 countries and then explored the correlation between these 2 indicators and other 10 relevant factors. The main findings are as follows: 1) North America, Europe, and Oceania exhibit relatively high RAI values (>80%) and low NSRP values (<1 million). In contrast, African regions have relatively low RAI values (<40%) and high NSRP values (>5 million). There is a negative correlation between RAI and NSRP. 2) There is spatial autocorrelation and significant imbalances in the distribution of these two indicators. 3) The RAI exhibit a positive correlation with the factors showing levels of the development of countries such as GDP, education, indicating that improving the road infrastructure could reduce the poverty rates and enhance access to education. And in contrast with RAI, NSRP exhibit the completely negative correlations with these factors.


title: Enabling Inverse Design in Chemical Compound Space: Mapping Quantum Properties to Structures for Small Organic Molecules

abstract: Computer-driven molecular design combines the principles of chemistry, physics, and artificial intelligence to identify novel chemical compounds and materials with desired properties for a specific application. In particular, quantum-mechanical (QM) methods combined with machine learning (ML) techniques have accelerated the estimation of accurate molecular properties, providing a direct mapping from 3D molecular structures to their properties. However, the development of reliable and efficient methodologies to enable \emph{inverse mapping} in chemical space is a long-standing challenge that has not been accomplished yet. Here, we address this challenge by demonstrating the possibility of parametrizing a given chemical space with a finite set of extensive and intensive QM properties. In doing so, we develop a proof-of-concept implementation that combines a Variational Auto-Encoder (VAE) trained on molecular structures with a property encoder designed to learn the latent representation from a set of QM properties. The result of this joint architecture is a common latent space representation for both structures and properties, which enables property-to-structure mapping for small drug-like molecules contained in the QM7-X dataset. We illustrate the capabilities of our approach by conditional generation of \emph{de novo} molecular structures with targeted properties, transition path interpolation for chemical reactions as well as insights into property-structure relationships. Our findings thus provide a proof-of-principle demonstration aiming to enable the inverse property-to-structure design in diverse chemical spaces.


title: Energy-dependent polarization of Gamma-Ray Bursts' prompt emission with the POLAR and POLAR-2 instruments

abstract: Gamma-Ray Bursts are among the most powerful events in the Universe. Despite half a century of observations of these transient sources, many open questions remain about their nature. Polarization measurements of the GRB prompt emission have long been theorized to be able to answer most of these questions. With the aim of characterizing the polarization of these prompt emissions, a compact Compton polarimeter, called POLAR, has been launched to space in September 2016. Time integrated polarization analysis of the POLAR GRB catalog have shown that the prompt emission is lowly polarized or fully unpolarized. However, time resolved analysis depicted strong hints of an evolving polarization angle within single pulses, washing out the polarization degree in time integrated analyses. Here we will for the first time present energy resolved polarization measurements with the POLAR data. The novel analysis, performed on several GRBs, will provide new insights and alter our understanding of GRB polarization. The analysis was performed using the 3ML framework to fit polarization parameters versus energy in parallel to the spectral parameters. Although limited by statistics, the results could provide a very relevant input to disentangle between existing theoretical models. In order to gather more statistics per GRB and perform joint time and energy resolved analysis, a successor instrument, called POLAR-2, is under development with a launch window early 2025 to the CSS. After presenting the first energy resolved polarization results of the POLAR mission, we will present the prospects for such measurements with the upcoming POLAR-2 mission.


title: Local Recovery of Two-layer Neural Networks at Overparameterization

abstract: Under mild assumptions, we investigate the structure of loss landscape of two-layer neural networks near global minima, determine the set of parameters which recovers the target function, and characterize the gradient flows around it. With novel techniques, our work uncovers some simple aspects of the complicated loss landscape and reveals how model, target function, samples and initialization affect the training dynamics differently. These results concludes that two-layer neural networks can be recovered locally at overparameterization.


title: Enriching inner discs and giant planets with heavy elements

abstract: Giant exoplanets seem to have on average a much larger heavy element content than the solar system giants. Past attempts to explain these heavy element contents include collisions between planets, accretion of volatile rich gas and accretion of gas enriched in micro-metre sized solids. However, these different theories individually could not explain the heavy element content of giants and the volatile to refractory ratios in atmospheres of giant planets at the same time. Here we combine the approaches of gas accretion enhanced with vapor and small micro-meter sized dust grains. As pebbles drift inwards, the volatile component evaporates and enriches the disc, while the smaller silicate core of the pebble continues to move inwards. The smaller silicate pebbles drift slower, leading to a pile-up of material interior to the water ice line, increasing the dust-to-gas ratio interior to the ice line. Under the assumption that these small dust grains follow the motion of the gas, gas accreting giants accrete large fractions of small solids in addition to the volatile vapor. The effectiveness of the solid enrichment requires a large disc radius to maintain the pebble flux for a long time and a large viscosity that reduces the size and inward drift of the small dust grains. However, this process depends crucially on the debated size difference of the pebbles interior and exterior of the water ice line. On the other hand, the volatile component released by the inward drifting pebbles can lead to a large enrichment with heavy element vapor, independently of a size difference of pebbles interior and exterior to the water ice line. Our model stresses the importance of the disc's radius and viscosity on the enrichment of dust and vapor. Consequently we show how our model could explain the heavy element content of the majority of giant planets by using combined estimates of dust and vapor enrichment.


title: Maximum number of limit cycles for Abel equation having coefficients with linear trigonometric functions

abstract: This paper devotes to the study of the classical Abel equation $\frac{dx}{dt}=g(t)x^{3}+f(t)x^{2}$, where $g(t)$ and $f(t)$ are trigonometric polynomials of degree $m\geq1$. We are interested in the problem that whether there is a uniform upper bound for the number of limit cycles of the equation with respect to $m$, which is known as the famous Smale-Pugh problem. In this work we generalize an idea from the recent paper (Yu, Chen and Liu, arXiv:$2304.13528$, $2023$) and give a new criterion to estimate the maximum multiplicity of limit cycles of the above Abel equations. By virtue of this criterion and the previous results given by {\'A}lvarez et al. and Bravo et al., we completely solve the simplest case of the Smale-Pugh problem, i.e., the case when $g(t)$ and $f(t)$ are linear trigonometric, and obtain that the maximum number of limit cycles, is three.


title: Schwinger-Keldysh effective field theory for stable and causal relativistic hydrodynamics

abstract: We construct stable and causal effective field theories (EFTs) for describing statistical fluctuations in relativistic diffusion and relativistic hydrodynamics. These EFTs are fully non-linear, including couplings to background sources, and enable us to compute n-point time-ordered correlation functions including the effects of statistical fluctuations. The EFTs we construct are inspired by the Maxwell-Cattaneo model of relativistic diffusion and M\"uller-Israel-Stewart model of relativistic hydrodynamics respectively, and have been derived using both the Martin-Siggia-Rose and Schwinger-Keldysh formalisms. The EFTs non-linearly realise the dynamical Kubo-Martin-Schwinger (KMS) symmetry, which ensures that n-point correlation functions and interactions in the theory satisfy the appropriate fluctuation-dissipation theorems. Since these EFTs typically admit ultraviolet sectors that are not fixed by the low-energy infrared symmetries, we find that they simultaneously admit multiple realisations of the dynamical KMS symmetry. We also comment on certain obstructions to including statistical fluctuations in the recently-proposed stable and causal Bemfica-Disconzi-Noronha-Kovtun model of relativistic hydrodynamics.

categories: hep-th cond-mat.stat-mech hep-ph nucl-th physics.flu-dyn


title: Relativistic hydrodynamic fluctuations from an effective action: causality, stability, and the information current

abstract: Causality is necessary for retarded Green's functions to remain retarded in all inertial frames in relativity, which ensures that dissipation of fluctuations is a Lorentz invariant concept. For first-order BDNK theories with stochastic fluctuations, introduced via the Schwinger-Keldysh formalism, we show that imposing causality and stability leads to correlation functions of hydrodynamic fluctuations that only display the expected physical properties at small frequencies and wavenumber, i.e., within the expected regime of validity of the first-order approach. For second-order theories of Israel and Stewart type, constructed using the information current such that entropy production is always non-negative, a stochastic formulation is presented using the Martin-Siggia-Rose approach where imposing causality and stability leads to correlators with the desired properties. We also show how Green's functions can be determined from such an action. We identify a $\mathbb{Z}_2$ symmetry, analogous to the Kubo-Martin-Schwinger symmetry, under which this Martin-Siggia-Rose action is invariant. This modified Kubo-Martin-Schwinger symmetry provides a new guide for the effective action formulation of hydrodynamic systems with dynamics not solely governed by conservation laws. Furthermore, this symmetry ensures that the principle of detailed balance is valid in a covariant manner. We employ the new symmetry to further clarify the connection between the Schwinger-Keldysh and Martin-Siggia-Rose approaches, establishing a precise link between these descriptions in second-order theories of relativistic hydrodynamics. Finally, the modified Kubo-Martin-Schwinger symmetry is used to determine the corresponding action describing diffusion in Israel-Stewart theories in a general hydrodynamic frame.


title: A normative approach to radicalization in social networks

abstract: In recent decades, the massification of online social connections has made information globally accessible in a matter of seconds. Unfortunately, this has been accompanied by a dramatic surge in extreme opinions, without a clear solution in sight. Using a model performing probabilistic inference in large-scale loopy graphs through exchange of messages between nodes, we show how circularity in the social graph directly leads to radicalization and the polarization of opinions. We demonstrate that these detrimental effects could be avoided if the correlations between incoming messages could be decreased. This approach is based on an extension of Belief Propagation (BP) named Circular Belief Propagation (CBP) that can be trained to drastically improve inference within a cyclic graph. CBP was benchmarked using data from Facebook and Twitter. This approach could inspire new methods for preventing the viral spreading and amplification of misinformation online, improving the capacity of social networks to share knowledge globally without resorting to censorship.


title: A Machine Vision Method for Correction of Eccentric Error: Based on Adaptive Enhancement Algorithm

abstract: In the procedure of surface defects detection for large-aperture aspherical optical elements, it is of vital significance to adjust the optical axis of the element to be coaxial with the mechanical spin axis accurately. Therefore, a machine vision method for eccentric error correction is proposed in this paper. Focusing on the severe defocus blur of reference crosshair image caused by the imaging characteristic of the aspherical optical element, which may lead to the failure of correction, an Adaptive Enhancement Algorithm (AEA) is proposed to strengthen the crosshair image. AEA is consisted of existed Guided Filter Dark Channel Dehazing Algorithm (GFA) and proposed lightweight Multi-scale Densely Connected Network (MDC-Net). The enhancement effect of GFA is excellent but time-consuming, and the enhancement effect of MDC-Net is slightly inferior but strongly real-time. As AEA will be executed dozens of times during each correction procedure, its real-time performance is very important. Therefore, by setting the empirical threshold of definition evaluation function SMD2, GFA and MDC-Net are respectively applied to highly and slightly blurred crosshair images so as to ensure the enhancement effect while saving as much time as possible. AEA has certain robustness in time-consuming performance, which takes an average time of 0.2721s and 0.0963s to execute GFA and MDC-Net separately on ten 200pixels 200pixels Region of Interest (ROI) images with different degrees of blur. And the eccentricity error can be reduced to within 10um by our method.


title: Directional Tykhonov well-posedness for optimization problems and variational inequalities

abstract: By using the so-called minimal time function, we propose and study a novel notion of directional Tykhonov well-posedness for optimization problems, which is an extension of the widely acknowledged notion of Tykhonov. In this way, we first provide some characterizations of this notion in terms of the diameter of level sets and admissible functions. Then, we investigate relationships between the level sets and admissible functions mentioned above. Finally, we apply the technology developed before to study directional Tykhonov well-posedness for variational inequalities. Several examples are presented as well to illustrate the applicability of our results.


title: Integral Quadratic Constraints with Infinite-Dimensional Channels

abstract: Modern control theory provides us with a spectrum of methods for studying the interconnection of dynamic systems using input-output properties of the interconnected subsystems. Perhaps the most advanced framework for such input-output analysis is the use of Integral Quadratic Constraints (IQCs), which considers the interconnection of a nominal linear system with an unmodelled nonlinear or uncertain subsystem with known input-output properties. Although these methods are widely used for Ordinary Differential Equations (ODEs), there have been fewer attempts to extend IQCs to infinite-dimensional systems. In this paper, we present an IQC-based framework for Partial Differential Equations (PDEs) and Delay Differential Equations (DDEs). First, we introduce infinite-dimensional signal spaces, operators, and feedback interconnections. Next, in the main result, we propose a formulation of hard IQC-based input-output stability conditions, allowing for infinite-dimensional multipliers. We then show how to test hard IQC conditions with infinite-dimensional multipliers on a nominal linear PDE or DDE system via the Partial Integral Equation (PIE) state-space representation using a sufficient version of the Kalman-Yakubovich-Popov lemma (KYP). The results are then illustrated using four example problems with uncertainty and nonlinearity.


title: Iterative, Small-Signal L2 Stability Analysis of Nonlinear Constrained Systems

abstract: This paper provides a method to analyze the small-signal L2 gain of control-affine nonlinear systems on compact sets via iterative semi-definite programs. First, a continuous piecewise affine storage function and the corresponding upper bound on the L2 gain are found on a bounded, compact set's triangulation. Then, to ensure that the state does not escape this set, a barrier function is found that is robust to small-signal inputs. Small-signal L2 stability then holds inside each sublevel set of the barrier function inside the set where the storage function was found. The bound on the inputs is also found while searching for a barrier function. The method's effectiveness is shown in a numerical example.


title: POLAR-2, the next generation of GRB polarization detector

abstract: The POLAR-2 Gamma-Ray Burst (GRB) Polarimetry mission is a follow-up to the successful POLAR mission. POLAR collected six months of data in 2016-2017 on board the Tiangong-2 Chinese Space laboratory. From a polarization study on 14 GRBs, POLAR measured an overall low polarization and a hint for an unexpected complexity in the time evolution of polarization during GRBs. Energy-dependent measurements of the GRB polarization will be presented by N. de Angelis in GA21-09 (August 2nd). These results demonstrate the need for measurements with significantly improved accuracy. Moreover, the recent discovery of gravitational waves and their connection to GRBs justifies a high-precision GRB polarimeter that can provide both high-precision polarimetry and detection of very faint GRBs. The POLAR-2 polarimeter is based on the same Compton scattering measurement principle as POLAR, but with an extended energy range and an order of magnitude increase in total effective area for polarized events. Proposed and developed by a joint effort of Switzerland, China, Poland and Germany, the device was selected for installation on the China Space Station and is scheduled to start operation for at least 2 years in 2025.


title: Score and Rank Semi-Monotonicity for Closeness, Betweenness and Harmonic Centrality

abstract: In the study of the behavior of centrality measures with respect to network modifications, score monotonicity means that adding an arc increases the centrality score of the target of the arc; rank monotonicity means that adding an arc improves the importance of the target of the arc relative to the remaining nodes. It is known that score and rank monotonicity hold in directed graphs for almost all centrality measures. In undirected graphs one expects that the corresponding properties (where both endpoints of the new edge enjoy the increase in score/rank) hold when adding a new edge. However, recent results have shown that in undirected networks this is not true: for many centrality measures, it is possible to find situations where adding an edge reduces the rank of one of its two endpoints. In this paper we introduce a weaker condition for undirected networks, semi-monotonicity, in which just one of the endpoints of a new edge is required to enjoy score or rank monotonicity. We show that this condition is satisfied by closeness and betweenness centrality, and that harmonic centrality satisfies it in an even stronger sense.


title: Robust Online Learning over Networks

abstract: The recent deployment of multi-agent networks has enabled the distributed solution of learning problems, where agents cooperate to train a global model without sharing their local, private data. This work specifically targets some prevalent challenges inherent to distributed learning: (i) online training, i.e., the local data change over time; (ii) asynchronous agent computations; (iii) unreliable and limited communications; and (iv) inexact local computations. To tackle these challenges, we apply the Distributed Operator Theoretical (DOT) version of the Alternating Direction Method of Multipliers (ADMM), which we call "DOT-ADMM". We prove that if the DOT-ADMM operator is metric subregular, then it converges with a linear rate for a large class of (not necessarily strongly) convex learning problems toward a bounded neighborhood of the optimal time-varying solution, and characterize how such neighborhood depends on (i)-(iv). We first derive an easy-to-verify condition for ensuring the metric subregularity of an operator, followed by tutorial examples on linear and logistic regression problems. We corroborate the theoretical analysis with numerical simulations comparing DOT-ADMM with other state-of-the-art algorithms, showing that only the proposed algorithm exhibits robustness to (i)-(iv).


title: Linearized Analysis of Adiabatic Oscillations of Rotating Gaseous Stars

abstract: We study adiabatic oscillations of rotating self-gravitating gaseous stars in mathematically rigorous manner. The internal motion of the star is supposed to be governed by the Euler-Poisson equations with rotation of constant angular velocity under the equation of state of the ideal gas. The motion is supposed to be adiabatic, but not to be barotropic in general. This causes a free boundary problem to gas-vacuum interface. Existence of solutions to the linearized equation in the Lagrange coordinates of the perturbations around a fixed stationary solution, the eigenvalue problem with concept of quadratic pencil of operators, and the stability problem with a new concept of stability introduced in this article are discussed.


title: Hyperbolic lattice point counting in unbounded rank

abstract: We use spectral analysis to give an asymptotic formula for the number of matrices in SL(n, Z) of height at most T with strong error terms, far beyond the previous known, both for small and large rank.


title: Integrated Charging Scheduling and Operational Control for an Electric Bus Network

abstract: The last few years have seen the massive deployment of electric buses in many existing transit networks. However, the planning and operation of an electric bus system differ from that of a bus system with conventional vehicles, and some key problems have not yet been studied in the literature. In this work, we address the integrated operational control and charging scheduling problem for a network of electric buses with a limited opportunity charging capacity. We propose a hierarchical control framework to solve this problem, where the charging and operational decisions are taken jointly by solving a mixed-integer linear program in the high-level control layer. Since this optimization problem might become very large as more bus lines are considered, we propose to apply Lagrangian relaxation in such a way as to exploit the structure of the problem and enable a decomposition into independent subproblems. A local search heuristic is then deployed in order to generate good feasible solutions to the original problem. This entire Lagrangian heuristic procedure is shown to scale much better on transit networks with an increasing number of bus lines than trying to solve the original problem with an off-the-shelf solver. The proposed procedure is then tested in the high-fidelity microscopic traffic environment Vissim on a bus network constructed from an openly available dataset of the city of Chicago. The results show the benefits of combining the charging scheduling decisions together with the real-time operational control of the vehicles as the proposed control framework manages to achieve both a better level of service and lower charging costs over control baselines with predetermined charging schedules.


title: On towers of Isogeny graphs with full level structure

abstract: Let $p,q,l$ be three distinct prime numbers and let $N$ be a positive integer coprime to $pql$. For an integer $n\ge 0$, we define the directed graph $X_l^q(p^nN)$ whose vertices are given by isomorphism classes of elliptic curves over a finite field of characteristic $q$ equipped with a level $p^nN$ structure. The edges of $X_l^q(p^nN)$ are given by $l$-isogenies. We are interested in when the connected components of $X_l^q(p^nN)$ give rise to a tower of Galois covers as $n$ varies. We show that only in the supersingular case we do get a tower of Galois covers. We also study similar towers of isogeny graphs given by oriented supersingular curves, as introduced by Col\`o-Kohel, enhanced with a level structure.


title: Optimal lifting of Levi-degenerate hypersurfaces and applications to the Cauchy--Szeg\"o projection

abstract: We consider a family of Levi-degenerate finite type hypersurfaces in $\mathbb C^2$, where in general there is no group structure. We lift these domains to stratified Lie groups via a constructive proof, which optimizes the well-known lifting procedure to free Lie groups of general manifolds defined by Rothschild and Stein. This yields an explicit version of the Taylor expansion with respect to the horizontal vector fields induced by the sub-Riemannian structure on these hypersurfaces. Hence, as an application, we establish the Schatten class estimates for the commutator of the Cauchy--Szeg\"{o} projection with respect to a suitable quasi-metric defined on the hypersurface.


title: SQLdepth: Generalizable Self-Supervised Fine-Structured Monocular Depth Estimation

abstract: Recently, self-supervised monocular depth estimation has gained popularity with numerous applications in autonomous driving and robotics. However, existing solutions primarily seek to estimate depth from immediate visual features, and struggle to recover fine-grained scene details with limited generalization. In this paper, we introduce SQLdepth, a novel approach that can effectively learn fine-grained scene structures from motion. In SQLdepth, we propose a novel Self Query Layer (SQL) to build a self-cost volume and infer depth from it, rather than inferring depth from feature maps. The self-cost volume implicitly captures the intrinsic geometry of the scene within a single frame. Each individual slice of the volume signifies the relative distances between points and objects within a latent space. Ultimately, this volume is compressed to the depth map via a novel decoding approach. Experimental results on KITTI and Cityscapes show that our method attains remarkable state-of-the-art performance (AbsRel = $0.082$ on KITTI, $0.052$ on KITTI with improved ground-truth and $0.106$ on Cityscapes), achieves $9.9\%$, $5.5\%$ and $4.5\%$ error reduction from the previous best. In addition, our approach showcases reduced training complexity, computational efficiency, improved generalization, and the ability to recover fine-grained scene details. Moreover, the self-supervised pre-trained and metric fine-tuned SQLdepth can surpass existing supervised methods by significant margins (AbsRel = $0.043$, $14\%$ error reduction). self-matching-oriented relative distance querying in SQL improves the robustness and zero-shot generalization capability of SQLdepth. Code and the pre-trained weights will be publicly available. Code is available at \href{https://github.com/hisfog/SQLdepth-Impl}{https://github.com/hisfog/SQLdepth-Impl}.


title: Quantitative characterization in contact Hamiltonian dynamics -- I

abstract: Based on the contact Hamiltonian Floer theory established by Will J. Merry and the second author that applies to any admissible contact Hamiltonian system $(M, \xi = \ker \alpha, h)$, where $h$ is a contact Hamiltonian function on a Liouville fillable contact manifold $(M, \xi = \ker \alpha)$, we associate a persistence module to $(M, \xi, h)$, called a gapped module, that is parametrized only by a partially ordered set. It enables us to define various numerical Floer-theoretic invariants. In this paper, we focus on the contact spectral invariants and their applications. Several key properties are proved, which include stability with respect to the Shelukhin-Hofer norm in contact geometry and a triangle inequality of contact spectral invariants. In particular, our stability property does not involve any conformal factors; our triangle inequality is derived from a novel analysis on pair-of-pants in the contact Hamiltonian Floer homology. While this paper was nearing completion, the authors were made aware of upcoming work by Dylan Cant, where a similar persistence module for contact Hamiltonian dynamics was constructed.


title: Trust your Good Friends: Source-free Domain Adaptation by Reciprocal Neighborhood Clustering

abstract: Domain adaptation (DA) aims to alleviate the domain shift between source domain and target domain. Most DA methods require access to the source data, but often that is not possible (e.g. due to data privacy or intellectual property). In this paper, we address the challenging source-free domain adaptation (SFDA) problem, where the source pretrained model is adapted to the target domain in the absence of source data. Our method is based on the observation that target data, which might not align with the source domain classifier, still forms clear clusters. We capture this intrinsic structure by defining local affinity of the target data, and encourage label consistency among data with high local affinity. We observe that higher affinity should be assigned to reciprocal neighbors. To aggregate information with more context, we consider expanded neighborhoods with small affinity values. Furthermore, we consider the density around each target sample, which can alleviate the negative impact of potential outliers. In the experimental results we verify that the inherent structure of the target features is an important source of information for domain adaptation. We demonstrate that this local structure can be efficiently captured by considering the local neighbors, the reciprocal neighbors, and the expanded neighborhood. Finally, we achieve state-of-the-art performance on several 2D image and 3D point cloud recognition datasets.


title: Shelukhin's Hofer distance and a symplectic cohomology barcode for contactomorphisms

abstract: This paper constructs a persistence module of Floer cohomology groups associated to a contactomorphism of the ideal boundary of a Liouville manifold. The barcode (or, bottleneck) distance between the persistence modules is bounded from above by Shelukhin's Hofer distance. Moreover, the barcode is supported (i.e., has spectrum) on the lengths of translated points of the contactomorphism. We use this structure to prove various existence results for translated points and to construct spectral invariants for contactomorphisms which are monotone with respect to positive paths and continuous with respect to Shelukhin's Hofer distance. While this paper was nearing completion, the author was made aware of similar upcoming work by Djordjevi\'c, Uljarevi\'c, Zhang.


title: Adaptive function approximation based on the Discrete Cosine Transform (DCT)

abstract: This paper studies the cosine as basis function for the approximation of univariate and continuous functions without memory. This work studies a supervised learning to obtain the approximation coefficients, instead of using the Discrete Cosine Transform (DCT). Due to the finite dynamics and orthogonality of the cosine basis functions, simple gradient algorithms, such as the Normalized Least Mean Squares (NLMS), can benefit from it and present a controlled and predictable convergence time and error misadjustment. Due to its simplicity, the proposed technique ranks as the best in terms of learning quality versus complexity, and it is presented as an attractive technique to be used in more complex supervised learning systems. Simulations illustrate the performance of the approach. This paper celebrates the 50th anniversary of the publication of the DCT by Nasir Ahmed in 1973.


title: On abelian varieties whose torsion is not self-dual

abstract: We construct infinitely many abelian surfaces $A$ defined over the rational numbers such that, for $\ell\leqslant 7$ prime, the $\ell$-torsion subgroup of $A$ is not isomorphic as a Galois module to the $\ell$-torsion subgroup of the dual abelian surface. We do this by analyzing the action of the Galois group on the $\ell$-adic Tate module and its reduction modulo $\ell$.


title: Intuitionistic G\"odel-L\"ob logic, \`a la Simpson: labelled systems and birelational semantics

abstract: We derive an intuitionistic version of G\"odel-L\"ob modal logic ($\sf{GL}$) in the style of Simpson, via proof theoretic techniques. We recover a labelled system, $\sf{\ell IGL}$, by restricting a non-wellfounded labelled system for $\sf{GL}$ to have only one formula on the right. The latter is obtained using techniques from cyclic proof theory, sidestepping the barrier that $\sf{GL}$'s usual frame condition (converse well-foundedness) is not first-order definable. While existing intuitionistic versions of $\sf{GL}$ are typically defined over only the box (and not the diamond), our presentation includes both modalities. Our main result is that $\sf{\ell IGL}$ coincides with a corresponding semantic condition in birelational semantics: the composition of the modal relation and the intuitionistic relation is conversely well-founded. We call the resulting logic $\sf{IGL}$. While the soundness direction is proved using standard ideas, the completeness direction is more complex and necessitates a detour through several intermediate characterisations of $\sf{IGL}$.


title: Revisiting a flux recovery systematic error arising from common deconvolution methods used in aperture-synthesis imaging

abstract: The point-spread function (PSF) is a fundamental property of any astronomical instrument. In interferometers, differing array configurations combined with their $uv$ coverage, and various weighting schemes can produce an irregular but deterministic PSF. As a result, the PSF is often deconvolved using CLEAN-style algorithms to improve image fidelity. In this paper, we revisit a significant effect that causes the flux densities measured with any interferometer to be systematically offset from the true values. Using a suite of carefully controlled simulations, we show that the systematic offset originates from a mismatch in the units of the image produced by these CLEAN-style algorithms. We illustrate that this systematic error can be significant, ranging from a few to tens of per cent. Accounting for this effect is important for current and future interferometric arrays, such as MeerKAT, LOFAR and the SKA, whose core-dominated configuration naturally causes an irregular PSF. We show that this offset is independent of other systematics, and can worsen due to some factors such as the goodness of the fit to the PSF, the deconvolution depth, and the signal-to-noise of the source. Finally, we present several methods that can reduce this effect to just a few per cent.


title: Electron surface scattering kernel for a plasma facing a semiconductor

abstract: Employing the invariant embedding principle for the electron backscattering function, we present a strategy for constructing an electron surface scattering kernel to be used in the boundary condition for the electron Boltzmann equation of a plasma facing a semiconducting solid. It takes the microphysics responsible for electron emission and backscattering from the interface into account. To illustrate the approach, we consider silicon and germanium, describing the interface potential by an image-step and impact ionization across the energy gap as well as scattering on phonons and ion cores by a randium-jellium model. The emission yields deduced from the kernel agree sufficiently well with measured data, despite the simplicity of the model, to support its use in the boundary condition of the plasma's electron Boltzmann equation.


title: Towards a Reduced Dependency Framework for Autonomous Unified Inspect-Explore Missions

abstract: The task of establishing and maintaining situational awareness in an unknown environment is a critical step to fulfil in a mission related to the field of rescue robotics. Predominantly, the problem of visual inspection of urban structures is dealt with view-planning being addressed by map-based approaches. In this article, we propose a novel approach towards effective use of Micro Aerial Vehicles (MAVs) for obtaining a 3-D shape of an unknown structure of objects utilizing a map-independent planning framework. The problem is undertaken via a bifurcated approach to address the task of executing a closer inspection of detected structures with a wider exploration strategy to identify and locate nearby structures, while being equipped with limited sensing capability. The proposed framework is evaluated experimentally in a controlled indoor environment in presence of a mock-up environment validating the efficacy of the proposed inspect-explore policy.


title: Preventing Others from Commercializing Your Innovation: Evidence from Creative Commons Licenses

abstract: Online innovation communities are an important source of innovation for many organizations. While contributions to such communities are typically made without financial compensation, these contributions are often governed by licenses such as Creative Commons that may prevent others from building upon and commercializing them. While this can diminish the usefulness of contributions, there is limited work analyzing what leads individuals to impose restrictions on the use of their work. In this paper, we examine innovators imposing restrictive licenses within the 3D-printable design community Thingiverse. Our analyses suggest that innovators are more likely to restrict commercialization of their contributions as their reputation increases and when reusing contributions created by others. These findings contribute to innovation communities and the growing literature on property rights in digital markets.


title: Statistics of remote regions of networks

abstract: We delve into the statistical properties of regions within complex networks that are distant from vertices with high centralities, such as hubs or highly connected clusters. These remote regions play a pivotal role in shaping the asymptotic behaviours of various spreading processes and the features of associated spectra. We investigate the probability distribution $P_{\geq m}(s)$ of the number $s$ of vertices located at distance $m$ or beyond from a randomly chosen vertex in an undirected network. Earlier, this distribution and its large $m$ asymptotics $1/s^2$ were obtained theoretically for undirected uncorrelated networks [S. N. Dorogovtsev, J. F. F. Mendes, A. N. Samukhin, Nucl. Phys. B 653 (2003) 307]. Employing numerical simulations and analysing empirical data, we explore a wide range of real undirected networks and their models, including trees and loopy networks, and reveal that the inverse square law is valid even for networks with strong correlations. We observe this law in the networks demonstrating the small-world effect and containing vertices with degree $1$ (so-called leaves or dead ends). We find the specific classes of networks for which this law is not valid. Such networks include the finite-dimensional networks and the networks embedded in finite-dimensional spaces. We notice that long chains of nodes in networks reduce the range of $m$ for which the inverse square law can be spotted. Interestingly, we detect such long chains in the remote regions of the undirected projection of a large Web domain.


title: Periodic patterns for resolution limit characterization of correlation plenoptic imaging

abstract: The measurement of the spatio-temporal correlations of light provides an interesting tool to overcome the traditional limitations of standard imaging, such as the strong trade-off between spatial resolution and depth of field. In particular, using correlation plenoptic imaging, one can detect both the spatial distribution and the direction of light in a scene, pushing both resolution and depth of field to the fundamental limit imposed by wave-optics. This allows one to perform refocusing of different axial planes and three-dimensional reconstruction without any spatial scanning. In the present work, we investigate the resolution limit in a particular correlation plenoptic imaging scheme, by considering periodic test patterns, which provide, through analytical results, a deeper insight in the resolution properties of this second-order imaging technique, also in comparison with standard imaging.


title: An integral representation for $\zeta(4)$

abstract: In this note, we propose an integral representation for $\zeta(4)$, where $\zeta$ is the Riemann zeta function. The corresponding expression is obtained using relations for polylogarithms. A possible generalization to any even argument of the zeta function is considered.


title: Instabilities of Super-Time-Stepping Methods on the Heston Stochastic Volatility Model

abstract: This note explores in more details instabilities of explicit super-time-stepping schemes, such as the Runge-Kutta-Chebyshev or Runge-Kutta-Legendre schemes, noticed in the litterature, when applied to the Heston stochastic volatility model. The stability remarks are relevant beyond the scope of super-time-stepping schemes.


title: Canonical Analysis of General Relativity Formulated with the New Metric f^{ab}=(-g)^{\alpha}g^{ab}

abstract: In this short note we investigate canonical formalism for General Relativity which is formulated with the metric f^{ab}=(-g)^\alpha g^{ab}. We find corresponding Hamiltonian and we show that constraint structure is the same as in the standard formulation.


title: Effective-medium approach to the resonance distribution of wave scattering in a random point field

abstract: In a previous paper [Phys. Rev. A 105, 042205 (2022)], the distribution of resonance poles in the complex plane of the wavenumber $k$ associated to the multiple scattering of a quantum particle in a random point field was numerically discovered. This distribution presented two distinctive structures: a set of peaks at small $k$ when the wavelength is larger than the interscatterer distance, and a band almost parallel to the real axis at larger $k$. In this paper, a theoretical study based on wave transport theory is proposed to explain the origin of these structures and to predict their distribution in the complex $k$ plane. First, it is shown that the peaks at small $k$ can be understood using the effective wave equation for the average wavefunction over the disorder. Then, that the band at large $k$ can be described by the Bethe-Salpeter equation for the square modulus of the wavefunction. This study is supported by careful comparisons with numerical simulations.


title: Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems

abstract: Deep learning models have shown promising predictive accuracy for time-series healthcare applications. However, ensuring the robustness of these models is vital for building trustworthy AI systems. Existing research predominantly focuses on robustness to synthetic adversarial examples, crafted by adding imperceptible perturbations to clean input data. However, these synthetic adversarial examples do not accurately reflect the most challenging real-world scenarios, especially in the context of healthcare data. Consequently, robustness to synthetic adversarial examples may not necessarily translate to robustness against naturally occurring adversarial examples, which is highly desirable for trustworthy AI. We propose a method to curate datasets comprised of natural adversarial examples to evaluate model robustness. The method relies on probabilistic labels obtained from automated weakly-supervised labeling that combines noisy and cheap-to-obtain labeling heuristics. Based on these labels, our method adversarially orders the input data and uses this ordering to construct a sequence of increasingly adversarial datasets. Our evaluation on six medical case studies and three non-medical case studies demonstrates the efficacy and statistical validity of our approach to generating naturally adversarial datasets


title: Modular, Multi-Robot Integration of Laboratories: An Autonomous Solid-State Workflow for Powder X-Ray Diffraction

abstract: Automation can transform productivity in research activities that use liquid handling, such as organic synthesis, but it has made less impact in materials laboratories, which require sample preparation steps and a range of solid-state characterization techniques. For example, powder X-ray diffraction (PXRD) is a key method in materials and pharmaceutical chemistry, but its end-to-end automation is challenging because it involves solid powder handling and sample processing. Here we present a fully autonomous solid-state workflow for PXRD experiments that can match or even surpass manual data quality. The workflow involves 12 steps performed by a team of three multipurpose robots, illustrating the power of flexible, modular automation to integrate complex, multitask laboratories.


title: Learning dynamical models of single and collective cell migration: a review

abstract: Single and collective cell migration are fundamental processes critical for physiological phenomena ranging from embryonic development and immune response to wound healing and cancer metastasis. To understand cell migration from a physical perspective, a broad variety of models for the underlying physical mechanisms that govern cell motility have been developed. A key challenge in the development of such models is how to connect them to experimental observations, which often exhibit complex stochastic behaviours. In this review, we discuss recent advances in data-driven theoretical approaches that directly connect with experimental data to infer dynamical models of stochastic cell migration. Leveraging advances in nanofabrication, image analysis, and tracking technology, experimental studies now provide unprecedented large datasets on cellular dynamics. In parallel, theoretical efforts have been directed towards integrating such datasets into physical models from the single cell to the tissue scale with the aim of conceptualizing the emergent behaviour of cells. We first review how this inference problem has been addressed in both freely migrating and confined cells. Next, we discuss why these dynamics typically take the form of underdamped stochastic equations of motion, and how such equations can be inferred from data. We then review applications of data-driven inference and machine learning approaches to heterogeneity in cell behaviour, subcellular degrees of freedom, and to the collective dynamics of multicellular systems. Across these applications, we emphasize how data-driven methods can be integrated with physical active matter models of migrating cells, and help reveal how underlying molecular mechanisms control cell behaviour.

categories: physics.bio-ph physics.data-an q-bio.CB q-bio.SC q-bio.TO


title: Bichromatic Perfect Matchings with Crossings

abstract: We consider bichromatic point sets with $n$ red and $n$ blue points and study straight-line bichromatic perfect matchings on them. We show that every such point set in convex position admits a matching with at least $\frac{3n^2}{8}-\frac{n}{2}+c$ crossings, for some $ -\frac{1}{2} \leq c \leq \frac{1}{8}$. This bound is tight since for any $k> \frac{3n^2}{8} -\frac{n}{2}+\frac{1}{8}$ there exist bichromatic point sets that do not admit any perfect matching with $k$ crossings.


title: Top Quark Mass Calibration for Monte Carlo Event Generators -- An Update

abstract: We generalize and update our former top quark mass calibration framework for Monte Carlo (MC) event generators based on the $e^+e^-$ hadron-level 2-jettiness $\tau_2$ distribution in the resonance region for boosted $t\bar t$ production, that was used to relate the PYTHIA 8.205 top mass parameter $m_t^{\rm MC}$ to the MSR mass $m_t^{\rm MSR}(R)$ and the pole mass $m_t^{\rm pole}$. The current most precise direct top mass measurements specifically determine $m_t^{\rm MC}$. The updated framework includes the addition of the shape variables sum of jet masses $\tau_s$ and modified jet mass $\tau_m$, and the treatment of two more gap subtraction schemes to remove the ${\cal O}(\Lambda_{\rm QCD})$ renormalon related to large-angle soft radiation. These generalizations entail implementing a more versatile shape-function fit procedure and accounting for a certain type of $(m_t/Q)^2$ power corrections to achieve gap-scheme and observable independent results. The theoretical description employs boosted heavy-quark effective theory (bHQET) at next-to-next-to-logarithmic order (N$^2$LL), matched to soft-collinear effective theory (SCET) at N$^2$LL and full QCD at next-to-leading order (NLO), and includes the dominant top width effects. Furthermore, the software framework has been modernized to use standard file and event record formats. We update the top mass calibration results by applying the new framework to PYTHIA 8.205, HERWIG 7.2 and SHERPA 2.2.11. Even though the hadron-level resonance positions produced by the three generators differ significantly for the same top mass parameter $m_t^{\rm MC}$ value, the calibration shows that these differences arise from the hadronization modeling. Indeed, we find that $m_t^{\rm MC}$ agrees with $m_t^{\rm MSR}(1\,\mbox{GeV})$ within $200$ MeV for the three generators and differs from the pole mass by $350$ to $600$ MeV.


title: Benchmarking the Immersed Boundary Method for Viscoelastic Flows

abstract: We present and analyze a series of benchmark tests regarding the application of the immersed boundary (IB) method to viscoelastic flows through and around non-trivial, stationary geometries. The IB method is widely used for the simulation of biological fluid dynamics and other modeling scenarios where a structure is immersed in a fluid. Although the IB method has been most commonly used to model systems with viscous incompressible fluids, it also can be applied to visoelastic fluids, and has enabled the study of a wide variety of dynamical problems including the settling of vesicles and the swimming of elastic filaments in fluids modeled by the Oldroyd-B constuitive equation. However, to date, relatively little work has explored the accuracy or convergence properties of the numerical scheme. Herein, we present benchmarking results for an IB solver applied to viscoelastic flows in and around non-trivial geometries using the idealized Oldroyd-B and more realistic, polymer-entanglement-based Rolie-Poly constitutive equations. We use two-dimensional numerical test cases along with results from rheology experiments to benchmark the IB method and compare it to more complex finite element and finite volume viscoelastic flow solvers. Additionally, we analyze different choices of regularized delta function and relative Lagrangian grid spacings which allow us to identify and recommend the key choices of these numerical parameters depending on the present flow regime.


title: Impact of Image Context for Single Deep Learning Face Morphing Attack Detection

abstract: The increase in security concerns due to technological advancements has led to the popularity of biometric approaches that utilize physiological or behavioral characteristics for enhanced recognition. Face recognition systems (FRSs) have become prevalent, but they are still vulnerable to image manipulation techniques such as face morphing attacks. This study investigates the impact of the alignment settings of input images on deep learning face morphing detection performance. We analyze the interconnections between the face contour and image context and suggest optimal alignment conditions for face morphing detection.


title: NeMig -- A Bilingual News Collection and Knowledge Graph about Migration

abstract: News recommendation plays a critical role in shaping the public's worldviews through the way in which it filters and disseminates information about different topics. Given the crucial impact that media plays in opinion formation, especially for sensitive topics, understanding the effects of personalized recommendation beyond accuracy has become essential in today's digital society. In this work, we present NeMig, a bilingual news collection on the topic of migration, and corresponding rich user data. In comparison to existing news recommendation datasets, which comprise a large variety of monolingual news, NeMig covers articles on a single controversial topic, published in both Germany and the US. We annotate the sentiment polarization of the articles and the political leanings of the media outlets, in addition to extracting subtopics and named entities disambiguated through Wikidata. These features can be used to analyze the effects of algorithmic news curation beyond accuracy-based performance, such as recommender biases and the creation of filter bubbles. We construct domain-specific knowledge graphs from the news text and metadata, thus encoding knowledge-level connections between articles. Importantly, while existing datasets include only click behavior, we collect user socio-demographic and political information in addition to explicit click feedback. We demonstrate the utility of NeMig through experiments on the tasks of news recommenders benchmarking, analysis of biases in recommenders, and news trends analysis. NeMig aims to provide a useful resource for the news recommendation community and to foster interdisciplinary research into the multidimensional effects of algorithmic news curation.


title: On a Class of Exact Arbitrarily Differentiable de Sitter Cores with Kerr Exteriors: Possible gravastar or regular black hole mimickers

abstract: Within the paradigm of non-perturbative Einstein gravity we study continuous manifolds which possess de Sitter interiors and Kerr exteriors. These manifolds could represent the spacetime of rotating gravastars or other similar black hole mimickers. The scheme presented here allows for a $C^{n}$ transition from the exactly de Sitter interior to the exactly Kerr exterior, with $n$ arbitrarily large. Generic properties that such models must possess are discussed, such as the changing of the topology of the ergosphere from $S^{2}$ to $S^{1}\times S^{1}$. It is shown how in the outer layers of the transition region (the "atmosphere" as it is often called in astrophysics) the dominant/weak and strong energy conditions can be respected. However, much like in the case of its static spherically symmetric gravastar counterpart, there must be some assumptions imposed in the atmosphere for the energy conditions to hold. These assumptions turn out to not be severe. The class of manifolds presented here are expected to possess all the salient features of the fully generic case. Strictly speaking, a number of the results are also applicable to the locally anti-de Sitter core scenario, although we focus on the case of a positive cosmological constant.


title: Meromorphic Bergman spaces

abstract: In this paper we introduce new spaces of holomorphic functions on the pointed unit disc of $\mathbb C$ that generalize classical Bergman spaces. We prove some fundamental properties of these spaces and their dual spaces. We finish the paper by extending Hardy-Littlewood and Fej\'er-Riesz inequalities to these spaces with an application on Toeplitz operators.


title: Unidimensionality in Rasch Models: Efficient Item Selection and Hierarchical Clustering Methods Based on Marginal Estimates

abstract: A strong tool for the selection of items that share a common trait from a set of given items is proposed. The selection method is based on marginal estimates and exploits that the estimates of the standard deviation of the mixing distribution are rather stable if items are from a Rasch model with a common trait. If, however, the item set is increased by adding items that do not share the latent trait the estimated standard deviations become distinctly smaller. A method is proposed that successively increases the set of items that are considered Rasch items by examining the estimated standard deviations of the mixing distribution. It is demonstrated that the selection procedure is on average very reliable and a criterion is proposed, which allows to identify items that should not be considered Rasch items for concrete item sets. An extension of the method allows to investigate which groups of items might share a common trait. The corresponding hierarchical clustering procedure is considered an exploratory tool but works well on average.


title: Orthogonality between weight and t-structures: simple-minded and silting collections

abstract: We study orthogonality of weight structures and t-structures in terms of silting collections and simple-minded collections, and formulate this relation using derived projective covers. We prove moreover a Koszul duality result for silting and simple-minded collections.


title: Dilepton polarization as a signature of plasma anisotropy

abstract: We propose the angular distribution of lepton pairs produced in ultrarelativistic heavy-ion collisions as a probe of thermalization of the quark-gluon plasma. We focus on dileptons with invariant masses large enough that they are produced through quark-antiquark annihilation in the early stages of the collision. The angular distribution of the lepton in the rest frame of the pair then reflects the angular distribution of quark momenta. At early times, the transverse pressure of the quark-gluon plasma is larger than its longitudinal pressure as a result of the fast longitudinal expansion, which results in an oblate lepton distribution. By contrast, direct (Drell-Yan) production by quarks and antiquarks from incoming nuclei, whose momenta are essentially longitudinal, results in a prolate distribution. As the invariant mass increases, Drell-Yan gradually becomes the dominant source of dilepton production, and the lepton distribution evolves from oblate to prolate. The invariant mass at which the transition occurs is highly sensitive to the equilibration time of the quark-gluon plasma or, equivalently, the shear viscosity over entropy ratio $\eta/s$ in the early stages of the collision.


title: The Effect of Punishment and Reward on Cooperation in a Prisoners' Dilemma Game

abstract: This work studies the effect of incentives (in the form of punishment and reward) on the equilibrium fraction of cooperators and defectors in an iterated n-person prisoners' dilemma game. With a finite population of players employing a strategy of nice tit-for-tat or universal defect, an equilibrium fraction of each player-type can be identified from linearized payoff functions. Incentives take the form of targeted and general punishment, and targeted and general reward. The primary contribution of this work is in clearly articulating the design and marginal effect of these incentives on cooperation. Generalizable results indicate that while targeted incentives have the potential to substantially reduce but never entirely eliminate defection, they exhibit diminishing marginal effectiveness. General incentives on the other hand have the potential to eliminate all defection from the population of players. Applications to policy are briefly considered.


title: Concentrated Differential Privacy for Bandits

abstract: Bandits serve as the theoretical foundation of sequential learning and an algorithmic foundation of modern recommender systems. However, recommender systems often rely on user-sensitive data, making privacy a critical concern. This paper contributes to the understanding of Differential Privacy (DP) in bandits with a trusted centralised decision-maker, and especially the implications of ensuring zero Concentrated Differential Privacy (zCDP). First, we formalise and compare different adaptations of DP to bandits, depending on the considered input and the interaction protocol. Then, we propose three private algorithms, namely AdaC-UCB, AdaC-GOPE and AdaC-OFUL, for three bandit settings, namely finite-armed bandits, linear bandits, and linear contextual bandits. The three algorithms share a generic algorithmic blueprint, i.e. the Gaussian mechanism and adaptive episodes, to ensure a good privacy-utility trade-off. We analyse and upper bound the regret of these three algorithms. Our analysis shows that in all of these settings, the prices of imposing zCDP are (asymptotically) negligible in comparison with the regrets incurred oblivious to privacy. Next, we complement our regret upper bounds with the first minimax lower bounds on the regret of bandits with zCDP. To prove the lower bounds, we elaborate a new proof technique based on couplings and optimal transport. We conclude by experimentally validating our theoretical results for the three different settings of bandits.

categories: stat.ML cs.CR cs.IT cs.LG math.IT math.ST stat.TH


title: FaST-GShare: Enabling Efficient Spatio-Temporal GPU Sharing in Serverless Computing for Deep Learning Inference

abstract: Serverless computing (FaaS) has been extensively utilized for deep learning (DL) inference due to the ease of deployment and pay-per-use benefits. However, existing FaaS platforms utilize GPUs in a coarse manner for DL inferences, without taking into account spatio-temporal resource multiplexing and isolation, which results in severe GPU under-utilization, high usage expenses, and SLO (Service Level Objectives) violation. There is an imperative need to enable an efficient and SLO-aware GPU-sharing mechanism in serverless computing to facilitate cost-effective DL inferences. In this paper, we propose \textbf{FaST-GShare}, an efficient \textit{\textbf{Fa}aS-oriented \textbf{S}patio-\textbf{T}emporal \textbf{G}PU \textbf{Sharing}} architecture for deep learning inferences. In the architecture, we introduce the FaST-Manager to limit and isolate spatio-temporal resources for GPU multiplexing. In order to realize function performance, the automatic and flexible FaST-Profiler is proposed to profile function throughput under various resource allocations. Based on the profiling data and the isolation mechanism, we introduce the FaST-Scheduler with heuristic auto-scaling and efficient resource allocation to guarantee function SLOs. Meanwhile, FaST-Scheduler schedules function with efficient GPU node selection to maximize GPU usage. Furthermore, model sharing is exploited to mitigate memory contention. Our prototype implementation on the OpenFaaS platform and experiments on MLPerf-based benchmark prove that FaST-GShare can ensure resource isolation and function SLOs. Compared to the time sharing mechanism, FaST-GShare can improve throughput by 3.15x, GPU utilization by 1.34x, and SM (Streaming Multiprocessor) occupancy by 3.13x on average.


title: Signal Processing and Learning for Next Generation Multiple Access in 6G

abstract: Wireless communication systems to date primarily rely on the orthogonality of resources to facilitate the design and implementation, from user access to data transmission. Emerging applications and scenarios in the sixth generation (6G) wireless systems will require massive connectivity and transmission of a deluge of data, which calls for more flexibility in the design concept that goes beyond orthogonality. Furthermore, recent advances in signal processing and learning have attracted considerable attention, as they provide promising approaches to various complex and previously intractable problems of signal processing in many fields. This article provides an overview of research efforts to date in the field of signal processing and learning for next-generation multiple access, with an emphasis on massive random access and non-orthogonal multiple access. The promising interplay with new technologies and the challenges in learning-based NGMA are discussed.