title: A Comprehensive Dynamic Simulation Framework for Coupled Neuromusculoskeletal-Exoskeletal Systems

abstract: The modeling and simulation of coupled neuromusculoskeletal-exoskeletal systems play a crucial role in human biomechanical analysis, as well as in the design and control of exoskeletons. However, conventional dynamic simulation frameworks have limitations due to their reliance on experimental data and their inability to capture comprehensive biomechanical signals and dynamic responses. To address these challenges, we introduce an optimization-based dynamic simulation framework that integrates a complete neuromusculoskeletal feedback loop, rigid-body dynamics, human-exoskeleton interaction, and foot-ground contact. Without relying on experimental measurements or empirical data, our framework employs a stepwise optimization process to determine muscle reflex parameters, taking into account multidimensional criteria. This allows the framework to generate a full range of kinematic and biomechanical signals, including muscle activations, muscle forces, joint torques, etc., which are typically challenging to measure experimentally. To validate the effectiveness of the framework, we compare the simulated results with experimental data obtained from a healthy subject wearing an exoskeleton while walking at different speeds (0.9, 1.0, and 1.1 m/s) and terrains (flat and uphill). The results demonstrate that our framework can effectively and accurately capture the qualitative differences in muscle activity associated with different functions, as well as the evolutionary patterns of muscle activity and kinematic signals under varying walking conditions. The simulation framework we propose has the potential to facilitate gait analysis and performance evaluation of coupled human-exoskeleton systems, as well as enable efficient and cost-effective testing of novel exoskeleton designs and control strategies.


title: Measurement of the absolute branching fraction of the three-body decay $\Lambda_{c}^+ \to \Xi^{0}K^{+}\pi^{0}$ and search for $\Lambda_{c}^+ \to nK^+\pi^0$, $\Sigma^{0}K^{+}\pi^{0}$ and $\Lambda K^{+}\pi^{0}$

abstract: The Cabbibo-favored decay $\Lambda_{c}^+ \to \Xi^{0}K^{+}\pi^{0}$ is studied for the first time using 6.1 fb$^{-1}$ of $e^+e^-$ collision data at center-of-mass energies between 4.600 and 4.840 GeV, collected with the BESIII detector at the BEPCII collider. With a double-tag method, the branching fraction of the three-body decay $\Lambda_{c}^+ \to \Xi^{0}K^{+}\pi^{0}$ is measured to be $(7.79 \pm 1.46 _{\rm} \pm0.71 _{\rm}) \times 10^{ - 3}$, where the first and second uncertainties are statistical and systematic, respectively. The branching fraction of the two-body decay $\Lambda_{c}^+ \to \Xi(1530)^{0}K^+$ is $(5.99\pm1.04\pm0.29)\times10^{-3}$, which is consistent with the previous result of $(5.02\pm0.99\pm0.31)\times 10^{-3}$. In addition, the upper limit on the branching fraction of the doubly Cabbibo-suppressed decay $\Lambda_{c}^+ \to nK^+\pi^0$ is $7.1 \times 10^{-4}$ at the 90$\%$ confidence level. The upper limits on the branching fractions of $\Lambda_{c}^+ \to \Sigma^{0}K^{+}\pi^{0}$ and $\Lambda K^{+}\pi^{0}$ are also determined to be $1.8\times 10^{-3}$ and $ 2.0 \times 10^{-3}$, respectively.


title: Geometrically Higher Order Unfitted Space-Time Methods for PDEs on Moving Domains: Geometry Error Analysis

abstract: In [Heimann, Lehrenfeld, Preu{\ss}, SIAM J. Sci. Comp. 45(2), 2023, B139 - B165] new geometrically unfitted space-time Finite Element methods for partial differential equations posed on moving domains of higher-order accuracy in space and time have been introduced. For geometrically higher-order accuracy a parametric mapping on a background space-time tensor-product mesh has been used. In this paper, we concentrate on the geometrical accuracy of the approximation and derive rigorous bounds for the distance between the realized and an ideal mapping in different norms and derive results for the space-time regularity of the parametric mapping. These results are important and lay the ground for the error analysis of corresponding unfitted space-time finite element methods.


title: Sample Complexity of Opinion Formation on Networks

abstract: Consider public health officials aiming to spread awareness about a new vaccine in a community interconnected by a social network. How can they distribute information with minimal resources, ensuring community-wide understanding that aligns with the actual facts? This concern mirrors numerous real-world situations. In this paper, we initialize the study of sample complexity in opinion formation to solve this problem. Our model is built on the recognized opinion formation game, where we regard each agent's opinion as a data-derived model parameter, not just a real number as in prior studies. Such an extension offers a wider understanding of opinion formation and ties closely with federated learning. Through this formulation, we characterize the sample complexity bounds for any network and also show asymptotically tight bounds for specific network structures. Intriguingly, we discover optimal strategies often allocate samples inversely to the degree, hinting at vital policy implications. Our findings are empirically validated on both synthesized and real-world networks.


title: Two-sided cells of Weyl groups and certain splitting Whittaker polynomials

abstract: Consider the subset of a Weyl group with a fixed descent set. For Weyl groups of classical types, we determine the number of two-sided cells this subset intersect. Moreover, we apply this result to prove that certain rational Whittaker polynomials associated with covering groups split over the field of rational numbers.


title: Software in P2P way: a software model without central software and enabling any software to join or leave freely

abstract: The P2P model encompasses a network of equal peers, whether in hardware or software, operating autonomously without central control, allowing individual peer failure while ensuring high availability. Nevertheless, current P2P technologies primarily focus on hardware-level resilience, often referred to as P2P networks, which do not safeguard against software failures. This paper introduces a pioneering Peer-to-Peer (P2P) software model aimed at enhancing software-level high availability. Diverging from prevalent hardware-centric P2P technologies, this model accentuates the decentralized nature of various software components, or "software peers," which function independently, enabling seamless network entry and exit without relying on central software. The model's collaborative approach cultivates a network topology with multiple autonomous processing paths, ensuring continuous operation through dynamic task allocation in a distributed manner. By surpassing the limitations of traditional redundancy methods, this P2P model provides an adaptive and scalable solution for achieving robust availability. Validation results underscore the model's effectiveness in enhancing the probabilities of successful task processing while ensuring high availability.


title: Multi-band optical variability on diverse timescales of the TeV blazar TXS 0506+56, the first cosmic neutrino source

abstract: We report the first extensive optical flux and spectral variability study of the TeV blazar TXS 0506+056 on intra-night to long-term timescales using BVRI data collected over 220 nights between January 21, 2017 to April 9, 2022 using 8 optical ground-based telescopes. In our search for intraday variability (IDV), we have employed two statistical analysis techniques, the nested ANOVA test and the power enhanced F-test. We found the source was variable in 8 nights out of 35 in the R-band and in 2 of 14 in the V-band yielding Duty Cycles (DC) of 22.8% and 14.3%, respectively. Clear colour variation in V - R was seen in only 1 out of 14 observing nights, but no IDV was found in the more limited B, I, and B - I data. During our monitoring period the source showed a 1.18 mag variation in the R-band and similar variations are clearly seen at all optical wavelengths. We extracted the optical (BVRI) SEDs of the blazar for 44 nights when observations were carried out in all four of those wavebands. The mean spectral index (\alpha) was determined to be 0.897+-0.171


title: Solutions of the tt*-equations constructed from the SU(2)$_k$-fusion ring, and Smyth potentials

abstract: Cecotti and Vafa introduced the tt*-equation (topological-antitopological fusion equation), whose solutions describe massive deformations of supersymmetric conformal field theories. We describe some solutions of the tt*-equation constructed from the SU(2)$_k$-fusion algebra. The idea of the construction is due to Cecotti and Vafa, but we give a precise mathematical formulation and a description of the "holomorphic data" corresponding to the solutions by using the DPW method. Furthermore, we give a relation between the solutions and the representations of SU(2). As a special case, we consider the solutions corresponding to the supersymmetric A$_k$-minimal model.


title: Self-excited converging shock structure in a complex plasma medium

abstract: We report the study of a self-excited converging shock structure observed in a complex plasma medium for the first time. A high-density dust cloud of melamine formaldehyde particles is created and horizontally confined by a circular ring in a DC glow discharge plasma at a particular discharge voltage and pressure. Later on, as the discharge voltage is increased, a circular density crest is spontaneously generated around the outer boundary of the dust cloud. This nonlinear density structure is seen to propagate inward towards the center of the dust cloud. The properties of the excited structure are analyzed and found to follow the characteristics of a converging shock structure. A three dimension molecular dynamics (MD) simulation has also been performed in which a stable dust cloud is formed and levitated by the balance of forces due to gravity and an external electric field mimicking the cathode sheath electric field in the experiment. Particles are also horizontally confined by an external electric field, representing the sheath electric field of the circular ring present in the experiment. A circular shock structure has been excited by applying an external perturbation in the horizontal electric field around the outer boundary of the dust cloud. The characteristic properties of the shock are analyzed in the simulation and qualitatively compared with the experimental findings. This study is not only of fundamental interest but has many implications concerning the study of converging shock waves excited in other media for various potential applications.


title: TreeSwap: Data Augmentation for Machine Translation via Dependency Subtree Swapping

abstract: Data augmentation methods for neural machine translation are particularly useful when limited amount of training data is available, which is often the case when dealing with low-resource languages. We introduce a novel augmentation method, which generates new sentences by swapping objects and subjects across bisentences. This is performed simultaneously based on the dependency parse trees of the source and target sentences. We name this method TreeSwap. Our results show that TreeSwap achieves consistent improvements over baseline models in 4 language pairs in both directions on resource-constrained datasets. We also explore domain-specific corpora, but find that our method does not make significant improvements on law, medical and IT data. We report the scores of similar augmentation methods and find that TreeSwap performs comparably. We also analyze the generated sentences qualitatively and find that the augmentation produces a correct translation in most cases. Our code is available on Github.


title: MATA*: Combining Learnable Node Matching with A* Algorithm for Approximate Graph Edit Distance Computation

abstract: Graph Edit Distance (GED) is a general and domain-agnostic metric to measure graph similarity, widely used in graph search or retrieving tasks. However, the exact GED computation is known to be NP-complete. For instance, the widely used A* algorithms explore the entire search space to find the optimal solution which inevitably suffers scalability issues. Learning-based methods apply graph representation techniques to learn the GED by formulating a regression task, which can not recover the edit path and lead to inaccurate GED approximation (i.e., the predicted GED is smaller than the exact). To this end, in this work, we present a data-driven hybrid approach MATA* for approximate GED computation based on Graph Neural Networks (GNNs) and A* algorithms, which models from the perspective of learning to match nodes instead of directly regressing GED. Specifically, aware of the structure-dominant operations (i.e.,node and edge insertion/deletion) property in GED computation, a structure-enhanced GNN is firstly designed to jointly learn local and high-order structural information for node embeddings for node matchings. Second, top-k candidate nodes are produced via a differentiable top-k operation to enable the training for node matchings, which is adhering to another property of GED, i.e., multiple optimal node matchings. Third, benefiting from the candidate nodes, MATA* only performs on the promising search directions, reaching the solution efficiently. Finally, extensive experiments show the superiority of MATA* as it significantly outperforms the combinatorial search-based, learning-based and hybrid methods and scales well to large-size graphs.


title: Contrastive Deep Nonnegative Matrix Factorization for Community Detection

abstract: Recently, nonnegative matrix factorization (NMF) has been widely adopted for community detection, because of its better interpretability. However, the existing NMF-based methods have the following three problems: 1) they directly transform the original network into community membership space, so it is difficult for them to capture the hierarchical information; 2) they often only pay attention to the topology of the network and ignore its node attributes; 3) it is hard for them to learn the global structure information necessary for community detection. Therefore, we propose a new community detection algorithm, named Contrastive Deep Nonnegative Matrix Factorization (CDNMF). Firstly, we deepen NMF to strengthen its capacity for information extraction. Subsequently, inspired by contrastive learning, our algorithm creatively constructs network topology and node attributes as two contrasting views. Furthermore, we utilize a debiased negative sampling layer and learn node similarity at the community level, thereby enhancing the suitability of our model for community detection. We conduct experiments on three public real graph datasets and the proposed model has achieved better results than state-of-the-art methods. Code available at https://github.com/6lyc/CDNMF.git.


title: Domain Transfer in Latent Space (DTLS) Wins on Image Super-Resolution -- a Non-Denoising Model

abstract: Large scale image super-resolution is a challenging computer vision task, since vast information is missing in a highly degraded image, say for example forscale x16 super-resolution. Diffusion models are used successfully in recent years in extreme super-resolution applications, in which Gaussian noise is used as a means to form a latent photo-realistic space, and acts as a link between the space of latent vectors and the latent photo-realistic space. There are quite a few sophisticated mathematical derivations on mapping the statistics of Gaussian noises making Diffusion Models successful. In this paper we propose a simple approach which gets away from using Gaussian noise but adopts some basic structures of diffusion models for efficient image super-resolution. Essentially, we propose a DNN to perform domain transfer between neighbor domains, which can learn the differences in statistical properties to facilitate gradual interpolation with results of reasonable quality. Further quality improvement is achieved by conditioning the domain transfer with reference to the input LR image. Experimental results show that our method outperforms not only state-of-the-art large scale super resolution models, but also the current diffusion models for image super-resolution. The approach can readily be extended to other image-to-image tasks, such as image enlightening, inpainting, denoising, etc.


title: Deformation of the Weighted Scalar Curvature

abstract: Inspired by the work of Fischer-Marsden [Duke Math. J. 42 (1975), 519-547], we study in this paper the deformation of the weighted scalar curvature. By studying the kernel of the formal $L_\phi^2$-adjoint for the linearization of the weighted scalar curvature, we prove several geometric results. In particular, we define a weighted vacuum static space, and study locally conformally flat weighted vacuum static spaces. We then prove some stability results of the weighted scalar curvature on flat spaces. Finally, we consider the prescribed weighted scalar curvature problem on closed smooth metric measure spaces.


title: Multi-wavelength studies on Fast Radio Bursts

abstract: Multi-wavelength (MW) observations of Fast Radio Bursts (FRBs) is a key avenue to uncover the yet-unknown origin(s) of these extragalactic signals. In this proceeding, we discuss the need for precise localization to conduct MW studies. We present a number of theoretical predictions of MW counterparts and mention a few examples of on-going MW campaigns.


title: A basic system of paraconsistent Nelsonian logic of conditionals

abstract: We define a Kripke semantics for a conditional logic based on the propositional logic $\mathsf{N4}$, the paraconsistent variant of Nelson's logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting logic, which we call $\mathsf{N4CK}$, shows strong connections both with the basic intuitionistic logic of conditionals $\mathsf{IntCK}$ introduced earlier in arXiv:2306.10402 and with the $\mathsf{N4}$-based modal logic $\mathsf{FSK}^d$ introduced by S. Odintsov and H. Wansing as one of the possible counterparts to the classical modal system $\mathsf{K}$. We map these connections by looking into the embeddings which obtain between the aforementioned systems.


title: Decoy Effect in Search Interaction: A Pilot Study

abstract: In recent years, the influence of cognitive effects and biases on users' thinking, behaving, and decision-making has garnered increasing attention in the field of interactive information retrieval. The decoy effect, one of the main empirically confirmed cognitive biases, refers to the shift in preference between two choices when a third option (the decoy) which is inferior to one of the initial choices is introduced. However, it is not clear how the decoy effect influences user interactions with and evaluations on Search Engine Result Pages (SERPs). To bridge this gap, our study seeks to understand how the decoy effect at the document level influences users' interaction behaviors on SERPs, such as clicks, dwell time, and usefulness perceptions. We conducted experiments on two publicly available user behavior datasets and the findings reveal that, compared to cases where no decoy is present, the probability of a document being clicked could be improved and its usefulness score could be higher, should there be a decoy associated with the document.


title: Higher homotopy and lattice gauge fields

abstract: We present a general formalism for higher dimensional versions of lattice gauge fields based on higher strict homotopy groupoids. First, using the language of nonabelian Algebraic Topology, we define local lattice higher gauge fields. Then, we provide local-to-global principles for lattice higher gauge fields based on the HHSvK theorem. We prove that, under the correct assumptions, lattice higher gauge field as presented here, subsumes both the notion of extended lattice gauge field and other notions of higher lattice gauge field present in the literature.


title: The weighted geometric inequalities for static convex domains in static rotationally symmetric spaces

abstract: We consider a locally constrained curvature flow in a static rotationally symmetric space $\mathbf{N}^{n+1}$, which was firstly introduced by Hu and Li in the hyperbolic space. We prove that if the initial hypersurface is graphical, then the smooth solution of the flow remains to be graphical, exists for all positive time $t\in[0,\infty)$ and converges to a slice of $\mathbf{N}^{n+1}$ exponentially in the smooth topology. Moreover, we prove that the flow preserves static convexity if the initial hypersurface is close to a slice of $\mathbf{N}^{n+1}$ in the $C^1$ sense. As applications, we prove a family of weighted geometric inequalities for static convex domains which is close to a slice of $\mathbf{N}^{n+1}$ in the $C^1$ sense.


title: Evolution of reciprocity with limited payoff memory

abstract: Direct reciprocity is a mechanism for the evolution of cooperation in repeated social interactions. According to this literature, individuals naturally learn to adopt conditionally cooperative strategies if they have multiple encounters with their partner. Corresponding models have greatly facilitated our understanding of cooperation, yet they often make strong assumptions on how individuals remember and process payoff information. For example, when strategies are updated through social learning, it is commonly assumed that individuals compare their average payoffs. This would require them to compute (or remember) their payoffs against everyone else in the population. To understand how more realistic constraints influence direct reciprocity, we consider the evolution of conditional behaviors when individuals learn based on more recent experiences. Even in the most extreme case that they only take into account their very last interaction, we find that cooperation can still evolve. However, such individuals adopt less generous strategies, and they tend to cooperate less often than in the classical setup with average payoffs. Interestingly, once individuals remember the payoffs of two or three recent interactions, cooperation rates quickly approach the classical limit. These findings contribute to a literature that explores which kind of cognitive capabilities are required for reciprocal cooperation. While our results suggest that some rudimentary form of payoff memory is necessary, it already suffices to remember a few interactions.


title: Optimal Discrimination Between Two Pure States and Dolinar-Type Coherent-State Detection

abstract: We consider the problem of discrimination between two pure quantum states. It is well known that the optimal measurement under both the error-probability and log-loss criteria is a projection, while under an ``erasure-distortion'' criterion it is a three-outcome positive operator-valued measure (POVM). These results were derived separately. We present a unified approach which finds the optimal measurement under any distortion measure that satisfies a convexity relation with respect to the Bhattacharyya distance. Namely, whenever the measure is relatively convex (resp. concave), the measurement is the projection (resp. three-outcome POVM) above. The three above-mentioned results are obtained as special cases of this simple derivation. As for further measures for which our result applies, we prove that Renyi entropies of order $1$ and above (resp. $1/2$ and below) are relatively convex (resp. concave). A special setting of great practical interest, is the discrimination between two coherent-light waveforms. In a remarkable work by Dolinar it was shown that a simple detector consisting of a photon counter and a feedback-controlled local oscillator obtains the quantum-optimal error probability. Later it was shown that the same detector (with the same local signal) is also optimal in the log-loss sense. By applying a similar convexity approach, we obtain in a unified manner the optimal signal for a variety of criteria.


title: Quantum Communications

abstract: The second quantum revolution has been picking up momentum over the last decade. Quantum technologies are starting to attract more attention from governments, private companies, investors, and public. The ability to control individual quantum systems for the purpose of information processing and communication is no longer a theoretical dream, but is steadily becoming routine in laboratories and startups around the world. With this comes the need to educate the future generation of quantum engineers. This textbook is a companion to our video lectures on Overview of Quantum Communications from the Q-Leap Education project known as Quantum Academy of Science and Technology. It is a gentle introduction to quantum networks, and is suitable for use as a textbook for undergraduate students of diverse background. No prior knowledge of quantum physics or quantum information is assumed. Exercises are included in each chapter.


title: Rapid Optical Flares in the Blazar OJ 287 on Intraday Timescales with TESS

abstract: We have analyzed the optical light curves of the blazar OJ 287 obtained with the Transiting Exoplanet Survey Satellite (TESS) over about 80 days from 2021 October 13 to December 31, with an unprecedented sampling of 2 minutes. Although significant variability has been found during the entire period, we have detected two exceptional flares with flux nearly doubling and then nearly tripling over 2 days in the middle of 2021 November. We went through the light curves analysis using the excess variance, generalized Lomb-Scargle periodogram, and Continuous Auto-Regressive Moving Average (CARMA) methods, and estimated the flux halving/doubling timescales. The most probable shortest variability timescale was found to be 0.38 days in the rising phase of the first flare. We briefly discuss some emission models for the variability in radio-loud active galactic nuclei that could be capable of producing such fast flares.


title: TACNET: Temporal Audio Source Counting Network

abstract: In this paper, we introduce the Temporal Audio Source Counting Network (TaCNet), an innovative architecture that addresses limitations in audio source counting tasks. TaCNet operates directly on raw audio inputs, eliminating complex preprocessing steps and simplifying the workflow. Notably, it excels in real-time speaker counting, even with truncated input windows. Our extensive evaluation, conducted using the LibriCount dataset, underscores TaCNet's exceptional performance, positioning it as a state-of-the-art solution for audio source counting tasks. With an average accuracy of 74.18 percentage over 11 classes, TaCNet demonstrates its effectiveness across diverse scenarios, including applications involving Chinese and Persian languages. This cross-lingual adaptability highlights its versatility and potential impact.


title: FIRE 6.5: Feynman Integral Reduction with New Simplification Library

abstract: FIRE is a program which performs integration-by-parts (IBP) reduction of Feynman integrals. Originally, the C++ version of FIRE relies on the computer algebra system Fermat by Robert Lewis to simplify rational functions. We present an upgrade of FIRE which incorporates a new library FUEL initially described in a separate publication, which enables a flexible choice of third-party computer algebra systems as simplifiers, as well as efficient communications with some of the simplifiers as C++ libraries rather than through Unix pipes. We achieve significant speedups for IBP reduction of Feynman integrals involving many kinematic variables, when using an open source backend based on FLINT newly added in this work, or the Symbolica backend developed by Ben Ruijl as a potential successor of FORM.


title: Multiphonon interactions and collective excitations in charge density wave of transition metal dichalcogenides

abstract: Charge density wave (CDW) is a periodic modulation of electronic charge leading to a reconstruction of the lattice, an emergence of zone folded mode along with collective excitations.1 Transition metal chalcogenides have shown a great potential to study the underlying physics of multi body interactions like electron-phonon (e-ph) as well as plasmons-phonon coupling,2,3 excitonic complexes4 and CDW instabilities.5,6 We are elaborating on the collective excitation and multiphonon interactions like amplitude, zone-folded and two phonon (2_ph) mode associated with CDW in 2H-TaS2 and 2H-NbSe2. The 2_ph is a unique excitation appears due to anharmonicity mediated longitudinal acoustic modes associated with the Kohn anomaly and provides a substantial evidences of e-ph coupling.7 The experimental observations of anomalous response of 2_ph mode across CDW is clarified with phonon self-energy formalism. Transport measurements shows that both materials exhibit incommensurate CDW (TI-CDW) at ~ 76 K (2H-TaS2) and ~ 30 K (2H-NbSe2). As revealed by the estimated e-ph coupling (l ~ 0.007 for 2H-NbSe2 and ~ 0.013 for 2H-TaS2) and anharmonicity constant (d ~ 6.92 for 2H-NbSe2 and ~ 2.723 for 2H-TaS2), we emphasize on higher e-ph coupling in 2H-TaS2 while larger anharmonicity 2H-NbSe2.


title: Quasi-simultaneous Optical Flux and Polarization Variability of the Binary Super Massive Black Hole Blazar OJ 287 from 2015 to 2023: Detection of an Anticorrelation in Flux and Polarization Variability

abstract: We study the optical flux and polarization variability of the binary black hole blazar OJ 287 using quasi-simultaneous observations from 2015 to 2023 carried out using telescopes in the USA, Japan, Russia, Crimea, and Bulgaria. This is one of the most extensive quasi-simultaneous optical flux and polarization variability studies of OJ 287. OJ 287 showed large amplitude, ~3.0 mag flux variability, large changes of ~37% in degree of polarization, and a large swing of ~215 degrees in the angle of the electric vector of polarization. During the period of observation, several flares in flux were detected. Those flares are correlated with a rapid increase in the degree of polarization and swings in electric vector of polarization angle. A peculiar behavior of anticorrelation between flux and polarization degree, accompanied by a nearly constant polarization angle, was detected from JD 2,458,156 to JD 2,458,292. We briefly discuss some explanations for the flux and polarization variations observed in OJ 287.


title: From Trojan Horses to Castle Walls: Unveiling Bilateral Data Poisoning Effects in Diffusion Models

abstract: While state-of-the-art diffusion models (DMs) excel in image generation, concerns regarding their security persist. Earlier research highlighted DMs' vulnerability to data poisoning attacks, but these studies placed stricter requirements than conventional methods like `BadNets' in image classification. This is because the art necessitates modifications to the diffusion training and sampling procedures. Unlike the prior work, we investigate whether BadNets-like data poisoning methods can directly degrade the generation by DMs. In other words, if only the training dataset is contaminated (without manipulating the diffusion process), how will this affect the performance of learned DMs? In this setting, we uncover bilateral data poisoning effects that not only serve an adversarial purpose (compromising the functionality of DMs) but also offer a defensive advantage (which can be leveraged for defense in classification tasks against poisoning attacks). We show that a BadNets-like data poisoning attack remains effective in DMs for producing incorrect images (misaligned with the intended text conditions). Meanwhile, poisoned DMs exhibit an increased ratio of triggers, a phenomenon we refer to as `trigger amplification', among the generated images. This insight can be then used to enhance the detection of poisoned training data. In addition, even under a low poisoning ratio, studying the poisoning effects of DMs is also valuable for designing robust image classifiers against such attacks. Last but not least, we establish a meaningful linkage between data poisoning and the phenomenon of data replications by exploring DMs' inherent data memorization tendencies.


title: Riemannian stochastic optimization methods avoid strict saddle points

abstract: Many modern machine learning applications - from online principal component analysis to covariance matrix identification and dictionary learning - can be formulated as minimization problems on Riemannian manifolds, and are typically solved with a Riemannian stochastic gradient method (or some variant thereof). However, in many cases of interest, the resulting minimization problem is not geodesically convex, so the convergence of the chosen solver to a desirable solution - i.e., a local minimizer - is by no means guaranteed. In this paper, we study precisely this question, that is, whether stochastic Riemannian optimization algorithms are guaranteed to avoid saddle points with probability 1. For generality, we study a family of retraction-based methods which, in addition to having a potentially much lower per-iteration cost relative to Riemannian gradient descent, include other widely used algorithms, such as natural policy gradient methods and mirror descent in ordinary convex spaces. In this general setting, we show that, under mild assumptions for the ambient manifold and the oracle providing gradient information, the policies under study avoid strict saddle points / submanifolds with probability 1, from any initial condition. This result provides an important sanity check for the use of gradient methods on manifolds as it shows that, almost always, the limit state of a stochastic Riemannian algorithm can only be a local minimizer.


title: Williams' path decomposition for self-similar Markov processes in $\mathbb{R}^d$

abstract: The classical result due tof Williams states that a Brownian motion with positive drift $\mu$ and issued from the origin is equal in law to a Brownian motion with unit negative drift, $-\mu$, run until it hits a negative threshold, whose depth below the origin is independently and exponentially distributed with parameter $2\mu$, after which it behaves like a Brownian motion conditioned never to go below the aforesaid threshold (i.e. a Bessel-3 process, or equivalently a Brownian motion conditioned to stay positive, relative to the threshold). In this article we consider the analogue of Williams' path decomposition for a general self-similar Markov process (ssMp) on $\mathbb{R}^d$. Roughly speaking, we will prove that law of a ssMp, say $X$, in $\mathbb{R}^d$ is equivalent in law to the concatenation of paths described as follows: suppose that we sample the point $x^*$ according to the law of the point of closest reach to the origin, sample; given $x^*$, we build $X^{\downarrow}$ having the law of $X$ conditioned to hit $x^*$ continuously without entering the ball of radius $|x^*|$; then, we construct $X^\uparrow$ to have the law of $X$ issued from $x^*$ conditioned never to enter the ball of radius $|x^*|$; glueing the path of $X^\uparrow$ end-to-end with $X^\downarrow$ via the point $x^*$ produces a process which is equal in law to our original ssMp $X$. In essence, Williams' path decomposition in the setting of a ssMp follows directly from an analogous decomposition for Markov additive processes (MAPs). The latter class are intimately related to the former via a space-time transform known as the Lamperti--Kiu transform. As a key feature of our proof of Williams' path decomposition, will prove the analogue of Silverstein's duality identity for the excursion occupation measure for general Markov additive processes (MAPs).


title: Intelligent Reflecting Surface-Aided Wireless Communication with Movable Elements

abstract: Intelligent reflecting surface (IRS) has been recognized as a powerful technology for boosting communication performance. To reduce manufacturing and control costs, it is preferable to consider discrete phase shifts (DPSs) for IRS, which are set by default as uniformly distributed in the range of $[ - \pi,\pi )$ in the literature. Such setting, however, cannot achieve a desirable performance over the general Rician fading where the channel phase concentrates in a narrow range with a higher probability. Motivated by this drawback, we in this paper design optimal non-uniform DPSs for IRS to achieve a desirable performance level. The fundamental challenge is the \textit{possible offset in phase distribution across different cascaded source-element-destination channels}, if adopting conventional IRS where the position of each element is fixed. Such phenomenon leads to different patterns of optimal non-uniform DPSs for each IRS element and thus causes huge manufacturing costs especially when the number of IRS elements is large. Driven by the recently emerging fluid antenna system (or movable antenna technology), we demonstrate that if the position of each IRS element can be flexibly adjusted, the above phase distribution offset can be surprisingly eliminated, leading to the same pattern of DPSs for each IRS element. Armed with this, we then determine the form of unified non-uniform DPSs based on a low-complexity iterative algorithm. Simulations show that our proposed design significantly improves the system performance compared to competitive benchmarks.


title: Broken scale invariant unparticle physics and its prospective effects on the MuonE experiment

abstract: We investigate the effects of broken scale invariant unparticle at the MUonE experiment. The choice of the broken model is because the original scale-invariant model is severely suppressed by constraints from cosmology and low-energy experiments. Broken scale invariant unparticle model is categorized into four types: pseudoscalar, scalar, axial-vector, and vector unparticle. Each uparticle type is characterized by three free parameters: coupling constant $\lambda$, scaling dimension $d$, and energy scale $\mu$ at which the scale-invariance is broken. After considering all of the available constraints on the model, we find that the MUonE experiment is sensitive to (axial-)vector unparticle with $1 < d < 1.4$ and $1\le \mu \le 12$ GeV.


title: MTS-DVGAN: Anomaly Detection in Cyber-Physical Systems using a Dual Variational Generative Adversarial Network

abstract: Deep generative models are promising in detecting novel cyber-physical attacks, mitigating the vulnerability of Cyber-physical systems (CPSs) without relying on labeled information. Nonetheless, these generative models face challenges in identifying attack behaviors that closely resemble normal data, or deviate from the normal data distribution but are in close proximity to the manifold of the normal cluster in latent space. To tackle this problem, this article proposes a novel unsupervised dual variational generative adversarial model named MST-DVGAN, to perform anomaly detection in multivariate time series data for CPS security. The central concept is to enhance the model's discriminative capability by widening the distinction between reconstructed abnormal samples and their normal counterparts. Specifically, we propose an augmented module by imposing contrastive constraints on the reconstruction process to obtain a more compact embedding. Then, by exploiting the distribution property and modeling the normal patterns of multivariate time series, a variational autoencoder is introduced to force the generative adversarial network (GAN) to generate diverse samples. Furthermore, two augmented loss functions are designed to extract essential characteristics in a self-supervised manner through mutual guidance between the augmented samples and original samples. Finally, a specific feature center loss is introduced for the generator network to enhance its stability. Empirical experiments are conducted on three public datasets, namely SWAT, WADI and NSL_KDD. Comparing with the state-of-the-art methods, the evaluation results show that the proposed MTS-DVGAN is more stable and can achieve consistent performance improvement.


title: Accelerating Reinforcement Learning of Robotic Manipulations via Feedback from Large Language Models

abstract: Reinforcement Learning (RL) plays an important role in the robotic manipulation domain since it allows self-learning from trial-and-error interactions with the environment. Still, sample efficiency and reward specification seriously limit its potential. One possible solution involves learning from expert guidance. However, obtaining a human expert is impractical due to the high cost of supervising an RL agent, and developing an automatic supervisor is a challenging endeavor. Large Language Models (LLMs) demonstrate remarkable abilities to provide human-like feedback on user inputs in natural language. Nevertheless, they are not designed to directly control low-level robotic motions, as their pretraining is based on vast internet data rather than specific robotics data. In this paper, we introduce the Lafite-RL (Language agent feedback interactive Reinforcement Learning) framework, which enables RL agents to learn robotic tasks efficiently by taking advantage of LLMs' timely feedback. Our experiments conducted on RLBench tasks illustrate that, with simple prompt design in natural language, the Lafite-RL agent exhibits improved learning capabilities when guided by an LLM. It outperforms the baseline in terms of both learning efficiency and success rate, underscoring the efficacy of the rewards provided by an LLM.


title: On implicit interpolation models for nonlinear anisotropic magnetic material behavior

abstract: Implicit models for magnetic coenergy have been proposed by Pera et al. to describe the anisotropic nonlinear material behavior of electrical steel sheets. This approach aims at predicting magnetic response for any direction of excitation by interpolating measured of B--H curves in the rolling and transverse directions. In an analogous manner, an implicit model for magnetic energy is proposed. We highlight some mathematical properties of these implicit models and discuss their numerical realization, outline the computation of magnetic material laws via implicit differentiation, and discuss the potential use for finite element analysis in the context of nonlinear magnetostatics.


title: Entire monogenic functions of given proximate order and continuous homomorphisms

abstract: Infinite order differential operators appear in different fields of mathematics and physics. In the past decade they turned out to play a crucial role in the theory of superoscillations and provided new insight in the study of the evolution as initial data for the Schr\"odinger equation. Inspired by the infinite order differential operators arising in quantum mechanics, in this paper we investigate the continuity of a class of infinite order differential operators acting on spaces of entire hyperholomorphic functions. Precisely, we consider homomorphisms acting on functions in the kernel of the Dirac operator. For this class of functions, often called monogenic functions, we introduce the proximate order and prove some fundamental properties. As important application we are able to characterize infinite order differential operators that act continuously on spaces of monogenic entire functions.


title: Ultra-Long Sequence Distributed Transformer

abstract: Transformer models trained on long sequences often achieve higher accuracy than short sequences. Unfortunately, conventional transformers struggle with long sequence training due to the overwhelming computation and memory requirements. Existing methods for long sequence training offer limited speedup and memory reduction, and may compromise accuracy. This paper presents a novel and efficient distributed training method, the Long Short-Sequence Transformer (LSS Transformer), for training transformer with long sequences. It distributes a long sequence into segments among GPUs, with each GPU computing a partial self-attention for its segment. Then, it uses a fused communication and a novel double gradient averaging technique to avoid the need to aggregate partial self-attention and minimize communication overhead. We evaluated the performance between LSS Transformer and the state-of-the-art Nvidia sequence parallelism on a Wikipedia enwik8 dataset. Results show that our proposed method lead to 5.6x faster and 10.2x more memory-efficient implementation compared to state-of-the-art sequence parallelism on 144 Nvidia V100 GPUs. Moreover, our algorithm scales to an extreme sequence length of 50,112 at 3,456 GPUs, achieving 161% super-linear parallel efficiency and a throughput of 32 petaflops.


title: Crank equidistribution and $(k,j)$-overlined partitions

abstract: In a paper published in 2023, Wagner introduced and studied Jacobi forms with complex multiplication, and gave several applications. One such application was in constructing a new doubly-infinite family of partition-theoretic objects, called $(k,j)$-coloured overpartitions and labelled by $\overline{p}_{k,j}$, and using the Jacobi forms to construct crank functions which explain the Ramanujan-type congruences satisfied by $\overline{p}_{k,j}$. In this note, we give an asymptotic formula for the number of $(k,j)$-coloured overpartitions and prove that any crank constructed by Wagner is asymptotically equidistributed on arithmetic progressions, following several recent papers in the literature.


title: The Case of Transparent Cache Invalidation in Web Applications

abstract: Application-level caches are widely adopted by web applications to minimize the response time of user requests as well as to reduce the burden on the system backend, such as the database servers. In the state of practice, developers have to take care of the data freshness of application-level caches manually. Given the growing complexities of today's web applications, it becomes increasingly challenging for developers to understand, reason about, and implement cache invalidation methods. Furthermore, according to our survey of open-source web application projects and engineers, it is indeed challenging to map database updates with cache entries at the application level. Therefore, we propose a design to handle data validity in a transparent and precise manner, without requiring any intervention from developers. Its main idea is to modify the DBMS to provide necessary information for cache management and enhance the cache with an invalidation index to identify and invalidate outdated data automatically and efficiently. Based on the design, we further provide two specific solutions. Our preliminary experiments indicate that our solutions could effectively achieve transparent cache invalidation while maintaining cost-effectiveness.


title: There is no perfect Mondrian partition for squares of side lengths less than 1001

abstract: In mathematics, a dissection of a square (or rectangle) into non-congruent rectangles is a Mondrian partition. If all the rectangles have the same area, it is called a perfect Mondrian partition. In this paper, we present a computational result by which we can affirm that there is no perfect Mondrian partition of a length $n$ square for $n\leq 1000$. Using the same algorithm we have been able to establish that there is no perfect Mondrian partition of a $n \times m$ rectangle for $n,m \leq 400$.


title: On the Takai duality of $L^p$ operator crossed products, II

abstract: This paper aims to study the $L^p$ Takai duality problem raised by N. C. Phillips. Let $G$ be a countable discrete Abelian group, $A$ be a separable unital $L^p$ operator algebra with $p\in [1,\infty)$, and $\alpha$ be an isometric action of $G$ on $A$. When $A$ is $p$-incompressible and has unique $L^p$ operator matrix norms, it is proved in this paper that the iterated $L^p$ operator crossed product $F^{p}(\hat{G},F^p(G,A,\alpha),\hat{\alpha})$ is isometrically isomorphic to $\overline{M}_{G}^{p}\otimes_{p}A$ if and only if $p=2$.


title: A note on a Conjecture of Gao and Zhuang for groups of order $27$

abstract: The small Davenport constant ${\mathsf{d}}(G)$ of a finite group $G$ is defined to be the maximal length of a sequence over $G$ which has no non-trivial product-one subsequence. In this paper, we prove that ${\mathsf{d}}(G) = 6$ for the non-abelian group of order $27$ and exponent $3$ and thereby establish a conjecture by Gao and Zhuang for this group.


title: A theoretical expansion of the Sprout game

abstract: Sprout is a two-player pen and paper game which starts with $n$ vertices, and the players take turns to join two pre-existing dots by a subdivided edge while keeping the graph sub-cubic planar at all times. The first player not being able to move loses. A major conjecture claims that Player 1 has a winning strategy if and only if $n \equiv 3,4,5$ ($\bmod~6$). The conjecture is verified until $44$, and a few isolated values of $n$, usually with the help of a computer. However, to the best of our understanding, not too much progress could be made towards finding a theoretical proof of the conjecture till now. In this article, we try to take a bottom-up approach and start building a theory around the problem. We start by expanding a related game called Brussels Sprout (where dots are replaced by crosses) introduced by Conway, possibly to help the understanding of Sprout. In particular, we introduce and study a generalized version of Brussels Sprout where crosses are replaced by a dot having an arbitrary number of ``partial edges'' (say, general cross) coming out, and planar graphs are replaced by any (pre-decided) hereditary class of graphs. We study the game for forests, graphs on surfaces, and sparse planar graphs. We also do a nimber characterization of the game when the hereditary class is taken to be triangle-free planar graphs, and we have started the game with two arbitrary generalized crosses. Moreover, while studying this particular case, we naturally stumble upon a circular version of the same game and solve a difficult nimber characterization using the method of structural induction. The above mentioned proof may potentially be one approach to solving the Sprout conjecture.


title: Multiplayer Homicidal Chauffeur Reach-Avoid Games: A Pursuit Enclosure Function Approach

abstract: This paper presents a multiplayer Homicidal Chauffeur reach-avoid differential game, which involves Dubins-car pursuers and simple-motion evaders. The goal of the pursuers is to cooperatively protect a planar convex region from the evaders, who strive to reach the region. We propose a cooperative strategy for the pursuers based on subgames for multiple pursuers against one evader and optimal task allocation. We introduce pursuit enclosure functions (PEFs) and propose a new enclosure region pursuit (ERP) winning approach that supports forward analysis for the strategy synthesis in the subgames. We show that if a pursuit coalition is able to defend the region against an evader under the ERP winning, then no more than two pursuers in the coalition are necessarily needed. We also propose a steer-to-ERP approach to certify the ERP winning and synthesize the ERP winning strategy. To implement the strategy, we introduce a positional PEF and provide the necessary parameters, states, and strategies that ensure the ERP winning for both one pursuer and two pursuers against one evader. Additionally, we formulate a binary integer program using the subgame outcomes to maximize the captured evaders in the ERP winning for the pursuit task allocation. Finally, we propose a multiplayer receding-horizon strategy where the ERP winnings are checked in each horizon, the task is allocated, and the strategies of the pursuers are determined. Numerical examples are provided to illustrate the results.


title: AI-based Self-healing Solutions Applied to Cellular Networks: An Overview

abstract: In this article, we provide an overview of machine learning (ML) methods, both classical and deep variants, that are used to implement self-healing for cell outages in cellular networks. Self-healing is a promising approach to network management, which aims to detect and compensate for cell outages in an autonomous way. This technology aims to decrease the expenses associated with the installation and maintenance of existing 4G and 5G, i.e. emerging 6G networks by simplifying operational tasks through its ability to heal itself. We provide an overview of the basic concepts and taxonomy for SON, self-healing, and ML techniques, in network management. Moreover, we review the state-of-the-art in literature for cell outages, with a particular emphasis on ML-based approaches.


title: The quantum superposition principle: a reconsideration

abstract: The quantum superposition principle is reconsidered based on adiabatic theorem of quantum mechanics, nonadiabatic dressed states and experimental evidence. The physical mechanism and physical properties of the quantum superposition are revealed.


title: Cross-Level Distillation and Feature Denoising for Cross-Domain Few-Shot Classification

abstract: The conventional few-shot classification aims at learning a model on a large labeled base dataset and rapidly adapting to a target dataset that is from the same distribution as the base dataset. However, in practice, the base and the target datasets of few-shot classification are usually from different domains, which is the problem of cross-domain few-shot classification. We tackle this problem by making a small proportion of unlabeled images in the target domain accessible in the training stage. In this setup, even though the base data are sufficient and labeled, the large domain shift still makes transferring the knowledge from the base dataset difficult. We meticulously design a cross-level knowledge distillation method, which can strengthen the ability of the model to extract more discriminative features in the target dataset by guiding the network's shallow layers to learn higher-level information. Furthermore, in order to alleviate the overfitting in the evaluation stage, we propose a feature denoising operation which can reduce the feature redundancy and mitigate overfitting. Our approach can surpass the previous state-of-the-art method, Dynamic-Distillation, by 5.44% on 1-shot and 1.37% on 5-shot classification tasks on average in the BSCD-FSL benchmark. The implementation code will be available at https://github.com/jarucezh/cldfd.


title: Continual Learning of Unsupervised Monocular Depth from Videos

abstract: Spatial scene understanding, including monocular depth estimation, is an important problem in various applications, such as robotics and autonomous driving. While improvements in unsupervised monocular depth estimation have potentially allowed models to be trained on diverse crowdsourced videos, this remains underexplored as most methods utilize the standard training protocol, wherein the models are trained from scratch on all data after new data is collected. Instead, continual training of models on sequentially collected data would significantly reduce computational and memory costs. Nevertheless, naive continual training leads to catastrophic forgetting, where the model performance deteriorates on older domains as it learns on newer domains, highlighting the trade-off between model stability and plasticity. While several techniques have been proposed to address this issue in image classification, the high-dimensional and spatiotemporally correlated outputs of depth estimation make it a distinct challenge. To the best of our knowledge, no framework or method currently exists focusing on the problem of continual learning in depth estimation. Thus, we introduce a framework that captures the challenges of continual unsupervised depth estimation (CUDE), and define the necessary metrics to evaluate model performance. We propose a rehearsal-based dual-memory method, MonoDepthCL, which utilizes spatiotemporal consistency for continual learning in depth estimation, even when the camera intrinsics are unknown.


title: NeuroEvoBench: Benchmarking Evolutionary Optimizers for Deep Learning Applications

abstract: Recently, the Deep Learning community has become interested in evolutionary optimization (EO) as a means to address hard optimization problems, e.g. meta-learning through long inner loop unrolls or optimizing non-differentiable operators. One core reason for this trend has been the recent innovation in hardware acceleration and compatible software - making distributed population evaluations much easier than before. Unlike for gradient descent-based methods though, there is a lack of hyperparameter understanding and best practices for EO - arguably due to severely less 'graduate student descent' and benchmarking being performed for EO methods. Additionally, classical benchmarks from the evolutionary community provide few practical insights for Deep Learning applications. This poses challenges for newcomers to hardware-accelerated EO and hinders significant adoption. Hence, we establish a new benchmark of EO methods (NeuroEvoBench) tailored toward Deep Learning applications and exhaustively evaluate traditional and meta-learned EO. We investigate core scientific questions including resource allocation, fitness shaping, normalization, regularization & scalability of EO. The benchmark is open-sourced at https://github.com/neuroevobench/neuroevobench under Apache-2.0 license.


title: Multi-band Cross-correlated Radio Variability of the Blazar 3C 279

abstract: We present the results of our study of cross-correlations between long-term multi-band observations of the radio variability of the blazar 3C 279. More than a decade (2008-2022) of radio data were collected at seven different frequencies ranging from 2 GHz to 230 GHz. The multi-band radio light curves show variations in flux, with the prominent flare features appearing first at higher-frequency and later in lower-frequency bands. This behavior is quantified by cross-correlation analysis, which finds that the emission at lower-frequency bands lags that at higher-frequency bands. Lag versus frequency plots are well fit by straight lines with negative slope, typically ~-30 day/GHz. We discuss these flux variations in conjunction with the evolution of bright moving knots seen in multi-epoch VLBA maps to suggest possible physical changes in the jet that can explain the observational results. Some of the variations are consistent with the predictions of shock models, while others are better explained by a changing Doppler beaming factor as the knot trajectory bends slightly, given a small viewing angle to the jet.


title: Precise Robotic Needle-Threading with Tactile Perception and Reinforcement Learning

abstract: This work presents a novel tactile perception-based method, named T-NT, for performing the needle-threading task, an application of deformable linear object (DLO) manipulation. This task is divided into two main stages: Tail-end Finding and Tail-end Insertion. In the first stage, the agent traces the contour of the thread twice using vision-based tactile sensors mounted on the gripper fingers. The two-run tracing is to locate the tail-end of the thread. In the second stage, it employs a tactile-guided reinforcement learning (RL) model to drive the robot to insert the thread into the target needle eyelet. The RL model is trained in a Unity-based simulated environment. The simulation environment supports tactile rendering which can produce realistic tactile images and thread modeling. During insertion, the position of the poke point and the center of the eyelet are obtained through a pre-trained segmentation model, Grounded-SAM, which predicts the masks for both the needle eye and thread imprints. These positions are then fed into the reinforcement learning model, aiding in a smoother transition to real-world applications. Extensive experiments on real robots are conducted to demonstrate the efficacy of our method. More experiments and videos can be found in the supplementary materials and on the website: https://sites.google.com/view/tac-needlethreading.


title: Revisiting the dynamics of interacting vector-like dark energy

abstract: We revise the dynamics of interacting vector-like dark energy, a theoretical framework proposed to explain the accelerated expansion of the universe. By investigating the interaction between vector-like dark energy and dark matter, we analyze its effects on the cosmic expansion history and the thermodynamics of the accelerating universe. Our results demonstrate that the presence of interaction significantly influences the evolution of vector-like dark energy, leading to distinct features in its equation of state and energy density. We compare our findings with observational data and highlight the importance of considering interactions in future cosmological studies.


title: CDR-Adapter: Learning Adapters to Dig Out More Transferring Ability for Cross-Domain Recommendation Models

abstract: Data sparsity and cold-start problems are persistent challenges in recommendation systems. Cross-domain recommendation (CDR) is a promising solution that utilizes knowledge from the source domain to improve the recommendation performance in the target domain. Previous CDR approaches have mainly followed the Embedding and Mapping (EMCDR) framework, which involves learning a mapping function to facilitate knowledge transfer. However, these approaches necessitate re-engineering and re-training the network structure to incorporate transferrable knowledge, which can be computationally expensive and may result in catastrophic forgetting of the original knowledge. In this paper, we present a scalable and efficient paradigm to address data sparsity and cold-start issues in CDR, named CDR-Adapter, by decoupling the original recommendation model from the mapping function, without requiring re-engineering the network structure. Specifically, CDR-Adapter is a novel plug-and-play module that employs adapter modules to align feature representations, allowing for flexible knowledge transfer across different domains and efficient fine-tuning with minimal training costs. We conducted extensive experiments on the benchmark dataset, which demonstrated the effectiveness of our approach over several state-of-the-art CDR approaches.


title: Entropy Aware Training for Fast and Accurate Distributed GNN

abstract: Several distributed frameworks have been developed to scale Graph Neural Networks (GNNs) on billion-size graphs. On several benchmarks, we observe that the graph partitions generated by these frameworks have heterogeneous data distributions and class imbalance, affecting convergence, and resulting in lower performance than centralized implementations. We holistically address these challenges and develop techniques that reduce training time and improve accuracy. We develop an Edge-Weighted partitioning technique to improve the micro average F1 score (accuracy) by minimizing the total entropy. Furthermore, we add an asynchronous personalization phase that adapts each compute-host's model to its local data distribution. We design a class-balanced sampler that considerably speeds up convergence. We implemented our algorithms on the DistDGL framework and observed that our training techniques scale much better than the existing training approach. We achieved a (2-3x) speedup in training time and 4\% improvement on average in micro-F1 scores on 5 large graph benchmarks compared to the standard baselines.


title: From Plate to Production: Artificial Intelligence in Modern Consumer-Driven Food Systems

abstract: Global food systems confront the urgent challenge of supplying sustainable, nutritious diets in the face of escalating demands. The advent of Artificial Intelligence (AI) is bringing in a personal choice revolution, wherein AI-driven individual decisions transform food systems from dinner tables, to the farms, and back to our plates. In this context, AI algorithms refine personal dietary choices, subsequently shaping agricultural outputs, and promoting an optimized feedback loop from consumption to cultivation. Initially, we delve into AI tools and techniques spanning the food supply chain, and subsequently assess how AI subfields$\unicode{x2013}$encompassing machine learning, computer vision, and speech recognition$\unicode{x2013}$are harnessed within the AI-enabled Food System (AIFS) framework, which increasingly leverages Internet of Things, multimodal sensors and real-time data exchange. We spotlight the AIFS framework, emphasizing its fusion of AI with technologies such as digitalization, big data analytics, biotechnology, and IoT extensively used in modern food systems in every component. This paradigm shifts the conventional "farm to fork" narrative to a cyclical "consumer-driven farm to fork" model for better achieving sustainable, nutritious diets. This paper explores AI's promise and the intrinsic challenges it poses within the food domain. By championing stringent AI governance, uniform data architectures, and cross-disciplinary partnerships, we argue that AI, when synergized with consumer-centric strategies, holds the potential to steer food systems toward a sustainable trajectory. We furnish a comprehensive survey for the state-of-the-art in diverse facets of food systems, subsequently pinpointing gaps and advocating for the judicious and efficacious deployment of emergent AI methodologies.


title: BarcodeBERT: Transformers for Biodiversity Analysis

abstract: Understanding biodiversity is a global challenge, in which DNA barcodes - short snippets of DNA that cluster by species - play a pivotal role. In particular, invertebrates, a highly diverse and under-explored group, pose unique taxonomic complexities. We explore machine learning approaches, comparing supervised CNNs, fine-tuned foundation models, and a DNA barcode-specific masking strategy across datasets of varying complexity. While simpler datasets and tasks favor supervised CNNs or fine-tuned transformers, challenging species-level identification demands a paradigm shift towards self-supervised pretraining. We propose BarcodeBERT, the first self-supervised method for general biodiversity analysis, leveraging a 1.5 M invertebrate DNA barcode reference library. This work highlights how dataset specifics and coverage impact model selection, and underscores the role of self-supervised pretraining in achieving high-accuracy DNA barcode-based identification at the species and genus level. Indeed, without the fine-tuning step, BarcodeBERT pretrained on a large DNA barcode dataset outperforms DNABERT and DNABERT-2 on multiple downstream classification tasks. The code repository is available at https://github.com/Kari-Genomics-Lab/BarcodeBERT


title: Hybrid quantum image classification and federated learning for hepatic steatosis diagnosis

abstract: In the realm of liver transplantation, accurately determining hepatic steatosis levels is crucial. Recognizing the essential need for improved diagnostic precision, particularly for optimizing diagnosis time by swiftly handling easy-to-solve cases and allowing the expert time to focus on more complex cases, this study aims to develop cutting-edge algorithms that enhance the classification of liver biopsy images. Additionally, the challenge of maintaining data privacy arises when creating automated algorithmic solutions, as sharing patient data between hospitals is restricted, further complicating the development and validation process. This research tackles diagnostic accuracy by leveraging novel techniques from the rapidly evolving field of quantum machine learning, known for their superior generalization abilities. Concurrently, it addresses privacy concerns through the implementation of privacy-conscious collaborative machine learning with federated learning. We introduce a hybrid quantum neural network model that leverages real-world clinical data to assess non-alcoholic liver steatosis accurately. This model achieves an image classification accuracy of 97%, surpassing traditional methods by 1.8%. Moreover, by employing a federated learning approach that allows data from different clients to be shared while ensuring privacy, we maintain an accuracy rate exceeding 90%. This initiative marks a significant step towards a scalable, collaborative, efficient, and dependable computational framework that aids clinical pathologists in their daily diagnostic tasks.


title: Effect of Andreev Processes on the Goos-H\"anchen (GH) shift in the Graphene-Superconductor-Graphene (GSG) junctions

abstract: In this article, we study the transport properties of Graphene-Superconductor-Graphene (GSG) heterojunction where the superconducting region is created in the middle of a graphene sheet, as contrasted to widely studied transport properties through a Superconductor-Graphene-Superconductor (SGS) type of Josephson junction. We particularly analyse in detail the Goos-H\"anchen shift of the electron and the hole at the GS interface in such a junction, due to normal as well as Andreev reflection, using a transfer matrix-based approach. Additionally, we evaluate the normalised differential conductance as a function of bias voltage that characterises the transport through such junction and point out how they are influenced by Andreev and normal reflection. In the subsequent parts of the article we demonstrate how the GH shift for both electron and hole changes with the width of the superconducting region. The behavior of the differential conductance in such junctions as a function of the bias voltage in the region, dominated by Andreev and normal reflection, is also presented and analysed.


title: Towards Finding the Second Best Einstein Metric in Low Dimensions

abstract: In the following work we investigate the structure of Einstein manifolds with positive scalar curvature whose curvature operator is sufficiently close to the identity operator in dimensions below 12. An Einstein manifold with positive scalar curvature, that is not locally isometric to the round sphere, is called the second best Einstein manifold if its curvature operator minimizes the angle to the identity operator among all of these manifolds. In dimensions above 11 the search for the second best Einstein manifold turns out to be of purely algebraic nature and is, by a conjecture of B\"ohm and Wilking, locally isometric to the product of spheres of a certain dimension. In lower dimensions the angle of the curvature operator of the complex projective plane to the identity operator is an obstruction for proving the same result with algebraic methods. We show that, assuming a conjecture of B\"ohm and Wilking, there exists an angle slightly smaller than the angle of the product of spheres to the identity operator such that any simply connected Einstein manifold with positive scalar curvature whose angle of the curvature operator to the identity is smaller than this angle is isometric to the round sphere. We will also be able to compute this angle explicitely.


title: SplitMAC: Wireless Split Learning over Multiple Access Channels

abstract: This paper presents a novel split learning (SL) framework, referred to as SplitMAC, which reduces the latency of SL by leveraging simultaneous uplink transmission over multiple access channels. The key strategy is to divide devices into multiple groups and allow the devices within the same group to simultaneously transmit their smashed data and device-side models over the multiple access channels. The optimization problem of device grouping to minimize SL latency is formulated, and the benefit of device grouping in reducing the uplink latency of SL is theoretically derived. By examining a two-device grouping case, two asymptotically-optimal algorithms are devised for device grouping in low and high signal-to-noise ratio (SNR) scenarios, respectively, while providing proofs of their optimality. By merging these algorithms, a near-optimal device grouping algorithm is proposed to cover a wide range of SNR. Our SL framework is also extended to consider practical fading channels and to support a general group size. Simulation results demonstrate that our SL framework with the proposed device grouping algorithm is superior to existing SL frameworks in reducing SL latency.


title: ECO-DKF: Event-Triggered and Certifiable Optimal Distributed Kalman Filter under Unknown Correlations

abstract: This paper presents ECO-DKF, the first Event-Triggered and Certifiable Optimal Distributed Kalman Filter. Our algorithm addresses two major issues inherent to Distributed Kalman Filters: (i) fully distributed and scalable optimal estimation and (ii) reduction of the communication bandwidth usage. The first requires to solve an NP-hard optimisation problem, forcing relaxations that lose optimality guarantees over the original problem. Using only information from one-hop neighbours, we propose a tight Semi-Definite Programming relaxation that allows to certify locally and online if the relaxed solution is the optimum of the original NP-hard problem. In that case, ECO-DKF is optimal in the square error sense under scalability and event-triggered one-hop communications restrictions. Additionally, ECO-DKF is a globally asymptotically stable estimator. To address the second issue, we propose an event-triggered scheme from the relaxed optimisation output. The consequence is a broadcasting-based algorithm that saves communication bandwidth, avoids individual communication links and multiple information exchanges within instants, and preserves the optimality and stability properties of the filter.


title: The equivalence of dynamic and strategic stability under regularized learning in games

abstract: In this paper, we examine the long-run behavior of regularized, no-regret learning in finite games. A well-known result in the field states that the empirical frequencies of no-regret play converge to the game's set of coarse correlated equilibria; however, our understanding of how the players' actual strategies evolve over time is much more limited - and, in many cases, non-existent. This issue is exacerbated further by a series of recent results showing that only strict Nash equilibria are stable and attracting under regularized learning, thus making the relation between learning and pointwise solution concepts particularly elusive. In lieu of this, we take a more general approach and instead seek to characterize the \emph{setwise} rationality properties of the players' day-to-day play. To that end, we focus on one of the most stringent criteria of setwise strategic stability, namely that any unilateral deviation from the set in question incurs a cost to the deviator - a property known as closedness under better replies (club). In so doing, we obtain a far-reaching equivalence between strategic and dynamic stability: a product of pure strategies is closed under better replies if and only if its span is stable and attracting under regularized learning. In addition, we estimate the rate of convergence to such sets, and we show that methods based on entropic regularization (like the exponential weights algorithm) converge at a geometric rate, while projection-based methods converge within a finite number of iterations, even with bandit, payoff-based feedback.


title: Citance-Contextualized Summarization of Scientific Papers

abstract: Current approaches to automatic summarization of scientific papers generate informative summaries in the form of abstracts. However, abstracts are not intended to show the relationship between a paper and the references cited in it. We propose a new contextualized summarization approach that can generate an informative summary conditioned on a given sentence containing the citation of a reference (a so-called "citance"). This summary outlines the content of the cited paper relevant to the citation location. Thus, our approach extracts and models the citances of a paper, retrieves relevant passages from cited papers, and generates abstractive summaries tailored to each citance. We evaluate our approach using $\textbf{Webis-Context-SciSumm-2023}$, a new dataset containing 540K~computer science papers and 4.6M~citances therein.


title: On free boundary minimal submanifolds in geodesic balls in $\mathbb H^n$ and $\mathbb S^n_+$

abstract: We consider free boundary minimal submanifolds in geodesic balls in the hyperbolic space $\mathbb H^n$ and in the round upper hemisphere $\mathbb S^n_+$. Recently, Lima and Menezes have found a connection between free boundary minimal surfaces in geodesic balls in $\mathbb S^n_+$ and maximal metrics for a functional, defined on the set of Riemannian metrics on a given compact surface with boundary. This connection is similar to the connection between free boundary minimal submanifolds in Euclidean balls and the critical metrics of the functional \say{the $k$-th normalized Steklov eigenvalue}, introduced by Faser and Schoen. We define two natural functionals on the set of Riemannian metrics on a compact surface with boundary. One of these functionals is the high order generalization of the functional, introduced by Lima and Menezes. We prove that the critical metrics for these functionals arise as metrics induced by free boundary minimal immersions in geodesic balls in $\mathbb H^n$ and in $\mathbb S^n_+$, respectively. We also prove a converse statement. Besides that, we discuss the (Morse) index of free boundary minimal submanifolds in geodesic balls in $\mathbb H^n$ or $\mathbb S^n_+$. We show that the index of the critical spherical catenoids in these spaces is 4 and the index of a geodesic $k$-ball is $2(n-k)$. For the proof of these statements we introduce the notion of spectral index similarly to the case of free boundary minimal submanifolds in a unit ball in the Euclidean space.


title: Double Yangian and reflection algebras of the Lie superalgebra $\mathfrak{gl}_{m|n}$

abstract: We study the double Yangian associated with the Lie superalgebra $\mathfrak{gl}_{m|n}$. Our main focus is on establishing the Poincar\'{e}-Birkhoff-Witt Theorem for the double Yangian and constructing its central elements in the form of coefficients of the quantum contraction. Next, as an application, we introduce reflection algebras, certain left coideal subalgebras of the level 0 double Yangian, and find their presentations by generators and relations.


title: A Directional Monitoring Approach of Sequential Incomplete Wind Power Curves with Copula-based Variational Inference

abstract: Wind turbines often work under complex conditions which result in performance degradation. Accurate performance degradation monitoring is essential to ensure the reliable operation of wind turbines and reduce the maintenance costs. Wind turbine power curve monitoring is an effective way to detect performance degradation. However, due to the intermittency and fluctuation of wind speed, the wind speed range varies at different time periods, making power curves difficult to compare. Motivated by this, we proposed copula-based variational inference framework and used it to establish a sequential incomplete wind power curve estimation algorithm. First, a monotone power curve is constructed based on copula-based variational inference and integrated spline regression model. Besides, the prior distribution of model parameters are sequentially updated. Then, a directional control chart based on a new statistic named KLdivergence factor is constructed to monitor wind turbine performance degradation. The real data of a wind farm in the east of the United Kingdom shows that the proposed method can both improve the accuracy of wind turbine power curve modeling and monitor wind turbine performance degradation more precisely and comprehensively than the existing approaches.


title: Antidurotaxis Droplet Motion onto Gradient Brush Substrates

abstract: Durotaxis motion is a spectacular phenomenon manifesting itself by the autonomous motion of a nano-object between parts of a substrate with different stiffness. This motion usually takes place along a stiffness gradient from softer to stiffer parts of the substrate. Here, we propose a new design of a polymer brush substrate that demonstrates antidurotaxis droplet motion, that is, droplet motion from stiffer to softer parts of the substrate. By carrying out extensive molecular dynamics simulation of a coarse-grained model, we find that antidurotaxis is solely controlled by the gradient in the grafting density of the brush and is favorable for fluids with a strong attraction to the substrate (low surface energy). The driving force of the antidurotaxial motion is the minimization of the droplet-substrate interfacial energy, which is attributed to the penetration of the droplet into the brush. Thus, we anticipate that the proposed substrate design offers a new understanding and possibilities in the area of autonomous motion of droplets for applications in microfluidics, energy conservation, and biology.


title: P2O-Calib: Camera-LiDAR Calibration Using Point-Pair Spatial Occlusion Relationship

abstract: The accurate and robust calibration result of sensors is considered as an important building block to the follow-up research in the autonomous driving and robotics domain. The current works involving extrinsic calibration between 3D LiDARs and monocular cameras mainly focus on target-based and target-less methods. The target-based methods are often utilized offline because of restrictions, such as additional target design and target placement limits. The current target-less methods suffer from feature indeterminacy and feature mismatching in various environments. To alleviate these limitations, we propose a novel target-less calibration approach which is based on the 2D-3D edge point extraction using the occlusion relationship in 3D space. Based on the extracted 2D-3D point pairs, we further propose an occlusion-guided point-matching method that improves the calibration accuracy and reduces computation costs. To validate the effectiveness of our approach, we evaluate the method performance qualitatively and quantitatively on real images from the KITTI dataset. The results demonstrate that our method outperforms the existing target-less methods and achieves low error and high robustness that can contribute to the practical applications relying on high-quality Camera-LiDAR calibration.


title: Electronic quantum wires in extended quasiparticle picture

abstract: A one-dimensional quantum wire of Fermions is considered and ground state properties are calculated in the high density regime within the extended quasiparticle picture and Born approximation. Expanding the two-particle Green functions determines the selfenergy and the polarization as well as the response function on the same footing. While the on-shell selfenergies are strictly zero due to Pauli-blocking of elastic scattering, the off-shell behaviour shows a rich structure of a gap in the damping of excitation which is closed when the momentum approaches the Fermi one. The consistent spectral function is presented completing the first two energy-weighted sum rules. The excitation spectrum shows a splitting due to holons and antiholons as non-Fermi liquid behaviour. A renormalization procedure is proposed by subtracting an energy constant to render the Fock exchange energy finite. The effective mass derived from meanfield shows a dip as onset of Peierls instability. The correlation energy is calculated with the help of the extended quasiparticle picture which accounts for off-shell effects. The corresponding response function leads to the same correlation energy as the selfenergy in agreement with perturbation theory. The reduced density matrix or momentum distribution is calculated with the help of a Pad\'e regularization repairing deficiencies of the perturbation theory. A seemingly finite step at the Fermi energy indicating Fermi-liquid behaviour is repaired in this way.


title: Time-Division Based Integrated Sensing, Communication, and Computing in Integrated Satellite-Terrestrial Networks

abstract: In this paper, we investigate time-division based framework for integrated sensing, communication, and computing in integrated satellite-terrestrial networks. We consider a scenario, where Internet-of-Things devices on the ground operate with sensing and communication in a time-division manner, and can process the sensing results locally, at the edge, or in the cloud via the satellite communication link. Based on the proposed framework, we formulate a multi-dimensional optimization problem to maximize the utility performance of sensing, communication, and computing abilities. After decomposing the original optimization problem into two subproblems, we first derive the closed-form solution of the optimal task partitioning strategy for terrestrial users and satellite users. Then, we develop the joint subframe allocation and task partitioning strategy to optimize the overall performance, by means of which the Pareto optimal solutions can be obtained along the Pareto frontier. Extensive simulations are provided to demonstrated the effectiveness of the proposed strategy, which is 10% to 60% superior compared with the benchmarks. Also, the trade-off between the multidimensional resource and multi-functional performance is analyzed from the perspective of network design.


title: Expressive Power of Hypergraph Lambek Grammars

abstract: Hypergraph Lambek grammars (HL-grammars) is a novel logical approach to generating graph languages based on the hypergraph Lambek calculus. In this paper, we establish a precise relation between HL-grammars and hypergraph grammars based on the double pushout (DPO) approach: we prove that HL-grammars generate the same class of languages as DPO grammars with the linear restriction on lengths of derivations. This can be viewed as a complete description of the expressive power of HL-grammars and also as an analogue of the Pentus theorem, which states that Lambek grammars generate the same class of languages as context-free grammars. As a corollary, we prove that HL-grammars subsume contextual hyperedge replacement grammars.


title: Molecular dynamics simulation of the coalescence of surfactant-laden droplets

abstract: We investigate the coalescence of surfactant-laden water droplets by using several different surfactant types and a wide range of concentrations by means of a coarse-grained model obtained by the statistical associating fluid theory. Our results demonstrate in detail a universal mass transport mechanism of surfactant across many concentrations and several surfactant types during the process. Coalescence initiation is seen to occur via a single pinch due to aggregation of surface surfactant, and its remnants tend to become engulfed in part inside the forming bridge. Across the board we confirm the existence of an initial thermal regime with constant bridge width followed by a later inertial regime with bridge width scaling roughly as the square root of time, but see no evidence of an intermediate viscous regime. Coalescence becomes slower as surfactant concentration grows, and we see evidence of the appearance of a further slowdown of a different nature for several times the critical concentration. We anticipate that our results provide further insights in the mechanisms of coalescence of surfactant-laden droplets.


title: Locally coherent exact categories

abstract: A locally coherent exact category is a finitely accessible additive category endowed with an exact structure in which the admissible short exact sequences are the directed colimits of admissible short exact sequences of finitely presentable objects. We show that any exact structure on a small idempotent-complete additive category extends uniquely to a locally coherent exact structure on the category of ind-objects; in particular, any finitely accessible category has the unique maximal and the unique minimal locally coherent exact category structures. All locally coherent exact categories are of Grothendieck type in the sense of Stovicek. We also discuss the canonical embedding of a small exact category into the abelian category of additive sheaves in connection with the locally coherent exact structure on the ind-objects, and deduce two periodicity theorems as applications.


title: Deterministic generation of hybrid entangled states using quantum walks

abstract: In recent times, hybrid entanglement (HE) between a qubit and a coherent state has demonstrated superior performance in various quantum information processing tasks, particularly in quantum key distribution. Despite its theoretical advantages, efficient generation of such states in the laboratory has been a challenge. Here, we introduce a deterministic and efficient approach for generating HE states using quantum walks. Our method achieves a remarkable fidelity of $99.9\%$ with just $20$ time steps in a one-dimensional split-step quantum walk. This represents a significant improvement over prior approaches for probabilistic generation of HE states with fidelity as low as $80\%$. Our scheme not only provides a robust solution to the generation of HE states but also highlights a unique advantage of quantum walks, thereby contributing to the advancement of this burgeoning field. Moreover, our scheme is experimentally feasible with the current technology.


title: Numerical Recovery of a Time-Dependent Potential in Subdiffusion

abstract: In this work we investigate an inverse problem of recovering a time-dependent potential in a semilinear subdiffusion model from an integral measurement of the solution over the domain. The model involves the Djrbashian--Caputo fractional derivative in time. Theoretically, we prove a novel conditional Lipschitz stability result, and numerically, we develop an easy-to-implement fixed point iteration for recovering the unknown coefficient. In addition, we establish rigorous error bounds on the discrete approximation. These results are obtained by crucially using smoothing properties of the solution operators and suitable choice of a weighted $L^p(0,T)$ norm. The efficiency and accuracy of the scheme are showcased on several numerical experiments in one- and two-dimensions.


title: Digital Twins for Human-Robot Collaboration: A Future Perspective

abstract: As collaborative robot (Cobot) adoption in many sectors grows, so does the interest in integrating digital twins in human-robot collaboration (HRC). Virtual representations of physical systems (PT) and assets, known as digital twins, can revolutionize human-robot collaboration by enabling real-time simulation, monitoring, and control. In this article, we present a review of the state-of-the-art and our perspective on the future of digital twins (DT) in human-robot collaboration. We argue that DT will be crucial in increasing the efficiency and effectiveness of these systems by presenting compelling evidence and a concise vision of the future of DT in human-robot collaboration, as well as insights into the possible advantages and challenges associated with their integration.


title: Beyond the Screen: Safeguarding Mental Health in the Digital Workplace Through Organizational Commitment and Ethical Environment

abstract: This research explores the intricate relationship between organizational commitment and nomophobia, illuminating the mediating influence of the ethical environment. Utilizing Meyer and Allen's three-component model, the study finds a significant inverse correlation between organizational commitment and nomophobia, highlighting how strong organizational ties can alleviate the anxiety of digital disconnection. The ethical environment further emerges as a significant mediator, indicating its dual role in promoting ethical behavior and mitigating nomophobia's psychological effects. The study's theoretical advancement lies in its empirical evidence on the seldom-explored nexus between organizational commitment and technology-induced stress. By integrating organizational ethics and technological impact, the research offers a novel perspective on managing digital dependence in the workplace. From a practical standpoint, this study serves as a catalyst for organizational leaders to reinforce affective and normative commitment, thereby reducing nomophobia. The findings underscore the necessity of ethical leadership and comprehensive ethical policies as foundations for employee well-being in the digital age. Conclusively, this study delineates the protective role of organizational commitment and the significance of ethical environments, guiding organizations to foster cultures that balance technological efficiency with employee welfare. As a contribution to both academic discourse and practical application, it emphasizes the importance of nurturing a supportive and ethically sound workplace in an era of pervasive digital integration.


title: Payoff-based learning with matrix multiplicative weights in quantum games

abstract: In this paper, we study the problem of learning in quantum games - and other classes of semidefinite games - with scalar, payoff-based feedback. For concreteness, we focus on the widely used matrix multiplicative weights (MMW) algorithm and, instead of requiring players to have full knowledge of the game (and/or each other's chosen states), we introduce a suite of minimal-information matrix multiplicative weights (3MW) methods tailored to different information frameworks. The main difficulty to attaining convergence in this setting is that, in contrast to classical finite games, quantum games have an infinite continuum of pure states (the quantum equivalent of pure strategies), so standard importance-weighting techniques for estimating payoff vectors cannot be employed. Instead, we borrow ideas from bandit convex optimization and we design a zeroth-order gradient sampler adapted to the semidefinite geometry of the problem at hand. As a first result, we show that the 3MW method with deterministic payoff feedback retains the $\mathcal{O}(1/\sqrt{T})$ convergence rate of the vanilla, full information MMW algorithm in quantum min-max games, even though the players only observe a single scalar. Subsequently, we relax the algorithm's information requirements even further and we provide a 3MW method that only requires players to observe a random realization of their payoff observable, and converges to equilibrium at an $\mathcal{O}(T^{-1/4})$ rate. Finally, going beyond zero-sum games, we show that a regularized variant of the proposed 3MW method guarantees local convergence with high probability to all equilibria that satisfy a certain first-order stability condition.


title: A quantum battery with quadratic driving

abstract: Quantum batteries are energy storage devices built using quantum mechanical objects, which are developed with the aim of outperforming their classical counterparts. Proposing optimal designs of quantum batteries which are able to exploit quantum advantages requires balancing the competing demands for fast charging, durable storage and effective work extraction. Here we study theoretically a bipartite quantum battery model, composed of a driven charger connected to an energy holder, within two paradigmatic cases of a driven-dissipative open quantum system: linear driving and quadratic driving. The linear battery is governed by a single exceptional point which splits the response of the battery into two regimes, one of which induces a good amount of useful work. Quadratic driving leads to a squeezed quantum battery, which generates plentiful useful work near to critical points associated with dissipative phase transitions. Our theoretical results may be realized with parametric cavities or nonlinear circuits, potentially leading to the manifestation of a quantum battery exhibiting squeezing.


title: Locally compact sofic entropy theory

abstract: This paper generalizes sofic entropy theory, in both the topological and measure-theory settings, to actions of locally compact groups. We prove invariance under topological and measure conjugacy of these entropies and establish the variational principle.


title: Online Non-convex Optimization with Long-term Non-convex Constraints

abstract: A novel Follow-the-Perturbed-Leader type algorithm is proposed and analyzed for solving general long-term constrained optimization problems in online manner, where the objective and constraints are arbitrarily generated and not necessarily convex. In each period, random linear perturbation and strongly concave perturbation are incorporated in primal and dual directions, respectively, to the offline oracle, and a global minimax point is searched as the solution. Based on a proposed expected static cumulative regret, we derive the first sublinear $O(T^{8/9})$ regret complexity for this class of problems. The proposed algorithm is applied to tackle a long-term (extreme value) constrained river pollutant source identification problem, validate the theoretical results and exhibit superior performance compared to existing methods.


title: Succinct Data Structure for Graphs with $d$-Dimensional $t$-Representation

abstract: Erd\H{o}s and West (Discrete Mathematics'85) considered the class of $n$ vertex intersection graphs which have a {\em $d$-dimensional} {\em $t$-representation}, that is, each vertex of a graph in the class has an associated set consisting of at most $t$ $d$-dimensional axis-parallel boxes. In particular, for a graph $G$ and for each $d \geq 1$, they consider $i_d(G)$ to be the minimum $t$ for which $G$ has such a representation. For fixed $t$ and $d$, they consider the class of $n$ vertex labeled graphs for which $i_d(G) \leq t$, and prove an upper bound of $(2nt+\frac{1}{2})d \log n - (n - \frac{1}{2})d \log(4\pi t)$ on the logarithm of size of the class. In this work, for fixed $t$ and $d$ we consider the class of $n$ vertex unlabeled graphs which have a {\em $d$-dimensional $t$-representation}, denoted by $\mathcal{G}_{t,d}$. We address the problem of designing a succinct data structure for the class $\mathcal{G}_{t,d}$ in an attempt to generalize the relatively recent results on succinct data structures for interval graphs (Algorithmica'21). To this end, for each $n$ such that $td^2$ is in $o(n / \log n)$, we first prove a lower bound of $(2dt-1)n \log n - O(ndt \log \log n)$-bits on the size of any data structure for encoding an arbitrary graph that belongs to $\mathcal{G}_{t,d}$. We then present a $((2dt-1)n \log n + dt\log t + o(ndt \log n))$-bit data structure for $\mathcal{G}_{t,d}$ that supports navigational queries efficiently. Contrasting this data structure with our lower bound argument, we show that for each fixed $t$ and $d$, and for all $n \geq 0$ when $td^2$ is in $o(n/\log n)$ our data structure for $\mathcal{G}_{t,d}$ is succinct. As a byproduct, we also obtain succinct data structures for graphs of bounded boxicity (denoted by $d$ and $t = 1$) and graphs of bounded interval number (denoted by $t$ and $d=1$) when $td^2$ is in $o(n/\log n)$.