title: Primordial Black Holes and Gravitational Waves in the $U(1)_{B-L}$ Extended Inert Doublet Model: A First-Order Phase Transition Perspective

abstract: We conduct an analysis of a $U(1)_{B-L}$ extended inert doublet model and obtained the parameter space allowing strong first order phase transitions. We show that a large part of the parameter space can cause double first-order phase transitions. Whereas both of these phase transitions can generate a detectable stochastic gravitational wave background, one of them can create primordial black holes with appreciable abundance. The primordial black holes generated at the high scale transition can account for the dark matter maintaining the correct relic abundance. We also show specific benchmark cases and their consequences from the aspect of primordial black holes and gravitational waves.


title: Fine Structure of the Age-Chromospheric Activity Relation in Solar-Type Stars: II. H$\alpha$ Line

abstract: Excess chromospheric emissions within deep photospheric lines are effective proxies of stellar magnetism for FGK stars. This emission decays with stellar age and is a potential determinant of this important stellar quantity. We report absolutely calibrated H$\alpha$ chromospheric fluxes for 511 solar-type stars in a wide interval of precisely determined masses, $[$Fe/H$]$, ages, and evolution states from high S/N, moderately high$-$resolution spectra. The comparison of H$\alpha$ and H+K chromospheric fluxes reveals a metallicity bias (absent from H$\alpha$) affecting Ca II H+K fluxes thereby metal-rich stars with deep line profiles mimic low chromospheric flux levels, and vice versa for metal-poor stars. This bias blurs the age-activity relation, precluding age determinations for old, inactive stars unless mass and $[$Fe/H$]$ are calibrated into the relation. The H+K lines being the most widely studied tool to quantify magnetic activity in FGK stars, care should be exercised in its use whenever wide ranges of mass and $[$Fe/H$]$ are involved. The H$\alpha$ age-activity-mass-metallicity calibration appears to be in line with the theoretical expectation that (other parameters being equal) more massive stars possess narrower convective zones and are less active than less massive stars, while more metal-rich stars have deeper convective zones and appear more active than metal-poorer stars. If regarded statistically in tandem with other age diagnostics, H$\alpha$ chromospheric fluxes may be suitable to constrain ages for FGK stars with acceptable precision.


title: On the analysis of two-time correlation functions: equilibrium vs non-equilibrium systems

abstract: X-ray photon correlation spectroscopy (XPCS) is a powerful tool for the investigation of dynamics covering a broad range of time and length scales. The two-time correlation function (TTC) is commonly used to track non-equilibrium dynamical evolution in XPCS measurements, followed by the extraction of one-time correlations. While the theoretical foundation for the quantitative analysis of TTCs is primarily established for equilibrium systems, where key parameters such as diffusion remain constant, non-equilibrium systems pose a unique challenge. In such systems, different projections ("cuts") of the TTC may lead to divergent results if the underlying fundamental parameters themselves are subject to temporal variations. This article explores widely used approaches for TTC calculations and common methods for extracting relevant information from correlation functions on case studies, particularly in the light of comparing dynamics in equilibrium and non-equilibrium systems.


title: Cosmic Strings from Tribrid Inflation

abstract: Tribrid inflation is a class of supersymmetric inflation models where the scalar component of a matter superfield, or a $D$-flat direction of matter fields, drives inflation. Similar to Hybrid inflation, the end of inflation is reached when a "waterfall field", which was stabilized during inflation at a field value where the scalar potential features a large vacuum energy, starts rapidly rolling towards its minimum where a symmetry group $G$ is spontaneously broken. In contrast to standard supersymmetric Hybrid inflation, where the inflaton is a gauge singlet, in Tribrid inflation it can be a gauge non-singlet, which, via its vacuum expectation value, already breaks the gauge symmetry. This raises the question whether topological defects can still form after inflation in this class of models, and if so, which types of defects are generated. We investigate this question systematically in realisations of Tribrid inflation where $G = U(1)$ and we analyse under which conditions cosmic strings form. We find that in the considered cases where domain walls form, these are only temporary and do not invalidate the model realisations. We also discuss how our results can be used to analyse models of Tribrid inflation associated with the final step of $SO(10)$ breaking, where cosmic strings can be metastable and provide a promising explanation of the recent PTA results hinting at a stochastic gravitational wave background at nanohertz frequencies.


title: Photohermal Microswimmer Penetrate Cell Membrane with Cavitation Bubble

abstract: Self-propelled micromotors can efficiently convert ambient energy into mechanical motion, which is of great interest for its potential biomedical applications in delivering therapeutics noninvasively. However, navigating these micromotors through biological barriers remains a significant challenge as most micromotors do not provide sufficient disruption forces in in-vivo conditions. In this study, we employed focused scanning laser from conventional confocal microscope to manipulate carbon microbottle based microswimmers. With the increasing of the laser power, the microswimmers' motions translates from autonomous to directional, and finally the high power laser induced the microswimmer explosions, which effectively deliveres microbottle fragments through the cell membrane. It is revealed that photothermally-induced cavitation bubbles enable the propulsion of microbottles in liquids, where the motion direction can be precisely regulated by the scanning orientation of the laser. Furthermore, the membrane penetration ability of the microbottles promised potential applications in drug delivery and cellular injections. As microbottles navigate toward cells, we strategically increase the laser power to trigger their explosion. By loading microswimmers with transfection genes, cytoplasmic transfection can be realized, which is demonstrated by successful gene transfection of GPF in cells. Our findings open new possibilities for cell injection and gene transfection using micromotors.


title: Heat Equation from Exact Renormalization Group Equation (ERGE) at Local Potential Approximation (LPA)

abstract: By simply applying the Local Potential Approximation (LPA) on the Polchinski's Exact Renormalization Group (ERG) flow equation for single Bosonic and spinless Fermionic fields, and initially considering only the coarse-graining (blocking) aspect of Wilson's Renormalization Group program. Within the LPA limit the Polchinski's ERG flow equation simplifies into a heat differential equation for both Bosonic and Fermionic fields. Solving the differential equations leads to logarithmic interactions (logarithmic vertex function) in both Bosonic and Fermionic fields at their fixed points.


title: Solitons in higher-order topological insulator created by unit cell twisting

abstract: We show that higher-order topological insulators can be created from usual square structure by twisting waveguides in each unit cell around the axis passing through the center of the unit cell, even without changing intracell distance between waveguides. When applied to usual square array, this approach produces two-dimensional generalization of Su-Schrieffer-Heeger (SSH) structure supporting topological corner modes with propagation constants belonging to two forbidden spectral gaps opening only for twist angles from certain interval. In contrast to usual SSH arrays, where higher-order topology is typically introduced by diagonal waveguide shifts and only one type of corner states exists, our SSH-like structure in topological phase supports two co-existing types of in-phase and out-of-phase corner modes appearing in two different topological gaps that open in the spectrum. Therefore, twisting of the unit cell qualitatively changes topological properties of the system, offering a new degree of freedom in creation of higher-order topological phases. In material with focusing cubic nonlinearity two coexisting types of topological corner solitons emerge from these modes, whose existence and stability properties are studied here. Despite different internal structure, both such modes can be simultaneously dynamically stable in the appreciable part of the topological gap.


title: Anatomy of Elite and Mass Polarization in Social Networks

abstract: Existing methods for quantifying polarization in social networks typically report a single value describing the amount of polarization in a social system. While this approach can be used to confirm the observation that many societies have witnessed an increase in political polarization in recent years, it misses the complexities that could be used to understand the reasons behind this phenomenon. Notably, opposing groups can have unequal impact on polarization, and the elites are often understood to be more divided than the masses, making it critical to differentiate their roles in polarized systems. We propose a method to characterize these distinct hierarchies in polarized networks, enabling separate polarization measurements for these groups within a single social system. Applied to polarized topics in the Finnish Twittersphere surrounding the 2019 and 2023 parliamentary elections, our analysis reveals valuable insights: 1) The impact of opposing groups on observed polarization is rarely balanced, and 2) while the elite strongly contributes to structural polarization and consistently display greater alignment across various topics, the masses have also recently experienced a surge in issue alignment, a special form of polarization. Our findings suggest that the masses may not be as immune to an increasingly polarized environment as previously thought.


title: On the Convergence of T\^atonnement for Linear Fisher Markets

abstract: T\^atonnement is a simple, intuitive market process where prices are iteratively adjusted based on the difference between demand and supply. Many variants under different market assumptions have been studied and shown to converge to a market equilibrium, in some cases at a fast rate. However, the classical case of linear Fisher markets have long eluded the analyses, and it remains unclear whether t\^atonnement converges in this case. We show that, for a sufficiently small step size, the prices given by the t\^atonnement process are guaranteed to converge to equilibrium prices, up to a small approximation radius that depends on the stepsize. To achieve this, we consider the dual Eisenberg-Gale convex program in the price space, view t\^atonnement as subgradient descent on this convex program, and utilize novel last-iterate convergence results for subgradient descent under error bound conditions. In doing so, we show that the convex program satisfies a particular error bound condition, the quadratic growth condition, and that the price sequence generated by t\^atonnement is bounded above and away from zero. We also show that a similar convergence result holds for t\^atonnement in quasi-linear Fisher markets. Numerical experiments are conducted to demonstrate that the theoretical linear convergence aligns with empirical observations.


title: FuseGen: PLM Fusion for Data-generation based Zero-shot Learning

abstract: Data generation-based zero-shot learning, although effective in training Small Task-specific Models (STMs) via synthetic datasets generated by Pre-trained Language Models (PLMs), is often limited by the low quality of such synthetic datasets. Previous solutions have primarily focused on single PLM settings, where synthetic datasets are typically restricted to specific sub-spaces and often deviate from real-world distributions, leading to severe distribution bias. To mitigate such bias, we propose FuseGen, a novel data generation-based zero-shot learning framework that introduces a new criteria for subset selection from synthetic datasets via utilizing multiple PLMs and trained STMs. The chosen subset provides in-context feedback to each PLM, enhancing dataset quality through iterative data generation. Trained STMs are then used for sample re-weighting as well, further improving data quality. Extensive experiments across diverse tasks demonstrate that FuseGen substantially outperforms existing methods, highly effective in boosting STM performance in a PLM-agnostic way. Code is provided in https://github.com/LindaLydia/FuseGen.


title: Composite Topological Weyl Nodal lines

abstract: Nodal lines are one-dimensional topological features of semi-metal band structures along which two bands are degenerate as a result of non-accidental symmetry-protected crossings, and behave topologically as $k$-space vortices in the Berry connection. Here, we present a new class of tilted nodal lines, protected by mirror symmetry, formed from the intersection of three band crossings at a set of critical points. One crossing is gapped out, fusing the remaining two crossings at the shifted critical points to form composite nodal lines. We demonstrate these composite nodal lines are capable of supporting fundamentally different Berry curvature textures than the typical two-band case, despite having a simple ring topology. In addition, we present a realistic model based on cubic, forced-ferromagnetic, EuTiO$_3$, where the spin and orbital degrees of freedom are plentiful enough to allow the material realization of such composite nodal lines. In this system, the composite nature of the nodal line results in a spin Hall conductivity with a non-monotonic dependence on carrier concentration.


title: LLM4MSR: An LLM-Enhanced Paradigm for Multi-Scenario Recommendation

abstract: As the demand for more personalized recommendation grows and a dramatic boom in commercial scenarios arises, the study on multi-scenario recommendation (MSR) has attracted much attention, which uses the data from all scenarios to simultaneously improve their recommendation performance. However, existing methods tend to integrate insufficient scenario knowledge and neglect learning personalized cross-scenario preferences, thus leading to suboptimal performance and inadequate interpretability. Meanwhile, though large language model (LLM) has shown great capability of reasoning and capturing semantic information, the high inference latency and high computation cost of tuning hinder its implementation in industrial recommender systems. To fill these gaps, we propose an effective efficient interpretable LLM-enhanced paradigm LLM4MSR in this work. Specifically, we first leverage LLM to uncover multi-level knowledge including scenario correlations and users' cross-scenario interests from the designed scenario- and user-level prompt without fine-tuning the LLM, then adopt hierarchical meta networks to generate multi-level meta layers to explicitly improves the scenario-aware and personalized recommendation capability. Our experiments on KuaiSAR-small, KuaiSAR, and Amazon datasets validate two significant advantages of LLM4MSR: (i) the effectiveness and compatibility with different multi-scenario backbone models (achieving 1.5%, 1%, and 40% AUC improvement on three datasets), (ii) high efficiency and deployability on industrial recommender systems, and (iii) improved interpretability. The implemented code and data is available to ease reproduction.


title: Discrete-Time Conewise Linear Systems with Finitely Many Switches

abstract: We investigate discrete-time conewise linear systems (CLS) for which all the solutions exhibit a finite number of switches. By switches, we mean transitions of a solution from one cone to another. Our interest in this class of CLS comes from the optimization-based control of an insulin infusion model for which the fact that solutions switch finitely many times appears to be key to establish the global exponential stability of the origin. The stability analysis of this class of CLS greatly simplifies compared to general CLS as all solutions eventually exhibit linear dynamics. The main challenge is to characterize CLS satisfying this finite number of switches property. We first present general conditions in terms of set intersections for this purpose. To ease the testing of these conditions, we translate them as a non-negativity test of linear forms using Farkas lemma. As a result, the problem reduces to verify the non-negativity of a single solution to an auxiliary linear discrete-time system. Interestingly, this property differs from the classical non-negativity problem, where any solution to a system must remain non-negative (component-wise) for any non-negative initial condition, and thus requires novel tools to test it. We finally illustrate the relevance of the presented results on the optimal insulin infusion problem.


title: TREE: Tree Regularization for Efficient Execution

abstract: The rise of machine learning methods on heavily resource constrained devices requires not only the choice of a suitable model architecture for the target platform, but also the optimization of the chosen model with regard to execution time consumption for inference in order to optimally utilize the available resources. Random forests and decision trees are shown to be a suitable model for such a scenario, since they are not only heavily tunable towards the total model size, but also offer a high potential for optimizing their executions according to the underlying memory architecture. In addition to the straightforward strategy of enforcing shorter paths through decision trees and hence reducing the execution time for inference, hardware-aware implementations can optimize the execution time in an orthogonal manner. One particular hardware-aware optimization is to layout the memory of decision trees in such a way, that higher probably paths are less likely to be evicted from system caches. This works particularly well when splits within tree nodes are uneven and have a high probability to visit one of the child nodes. In this paper, we present a method to reduce path lengths by rewarding uneven probability distributions during the training of decision trees at the cost of a minimal accuracy degradation. Specifically, we regularize the impurity computation of the CART algorithm in order to favor not only low impurity, but also highly asymmetric distributions for the evaluation of split criteria and hence offer a high optimization potential for a memory architecture-aware implementation. We show that especially for binary classification data sets and data sets with many samples, this form of regularization can lead to an reduction of up to approximately four times in the execution time with a minimal accuracy degradation.


title: Magnetic field and kinetic helicity evolution in simulations of interacting disk galaxies

abstract: We carry out a parameter study of interacting disk galaxies with impact parameters ranging from central collisions to weakly interacting scenarios. The orientations of the disks are also varied. In particular, we investigate how magnetic field amplification depends on the these parameters. We use magnetohydrodynamics for gas disks in combination with live dark matter halos in adaptive mesh refinement simulations. The disks are initialized using a setup for isolated disks in hydrostatic equilibrium. Small-scale filtering of the velocity and magnetic field allows us to estimate the turbulent electromotive force (EMF) and kinetic helicity. Time series of the average magnetic field in central and outer disk regions show pronounced peaks during close encounters and mergers. This agrees with observed magnetic fields at different interaction stages. The central field strength exceeds 10 microgauss (corresponding to an amplification factor of 2 to 3) for small impact parameters. As the disks are increasingly disrupted and turbulence is produced by tidal forces, the small-scale EMF reaches a significant fraction of the total EMF. The small-scale kinetic helicity is initially antisymmetric across the disk plane. Albeit its evolution is sensitive to both the impact parameter and inclinations of the rotation axes with respect to the relative motion of the disks, antisymmetry is generally broken through interactions and the merger remnant has lost most of the initial helicity. The EMF and the magnetic field also decay rapidly after coalescence. The strong amplification during close encounters of the interacting galaxies are mostly driven by helical flows and a mean-field dynamo. The small-scale dynamo contributes significantly in post-interaction phases. However, the amplification of the magnetic field cannot be sustained.


title: Characterizations of $3$-manifolds with diagonal metrics as almost $\eta$-Ricci solitons

abstract: We characterize the $3$-dimensional manifold $\mathbb R^3$ with a diagonal Riemannian metric as an almost $\eta$-Ricci soliton from the following points of view: under certain assumptions, we determine the potential vector field if $\eta$ is given; we get obstructions on the metric when the potential vector field has a particular expression; and we compute the defining functions of the soliton when both the potential vector field and the $1$-form are prescribed. Moreover, we find conditions for the manifold to be flat or Ricci-flat. Based on the theoretical results we provide many examples.


title: Unified Active Retrieval for Retrieval Augmented Generation

abstract: In Retrieval-Augmented Generation (RAG), retrieval is not always helpful and applying it to every instruction is sub-optimal. Therefore, determining whether to retrieve is crucial for RAG, which is usually referred to as Active Retrieval. However, existing active retrieval methods face two challenges: 1. They usually rely on a single criterion, which struggles with handling various types of instructions. 2. They depend on specialized and highly differentiated procedures, and thus combining them makes the RAG system more complicated and leads to higher response latency. To address these challenges, we propose Unified Active Retrieval (UAR). UAR contains four orthogonal criteria and casts them into plug-and-play classification tasks, which achieves multifaceted retrieval timing judgements with negligible extra inference cost. We further introduce the Unified Active Retrieval Criteria (UAR-Criteria), designed to process diverse active retrieval scenarios through a standardized procedure. Experiments on four representative types of user instructions show that UAR significantly outperforms existing work on the retrieval timing judgement and the performance of downstream tasks, which shows the effectiveness of UAR and its helpfulness to downstream tasks.


title: Predicting Award Winning Research Papers at Publication Time

abstract: In recent years, many studies have been focusing on predicting the scientific impact of research papers. Most of these predictions are based on citations count or rely on features obtainable only from already published papers. In this study, we predict the likelihood for a research paper of winning an award only relying on information available at publication time. For each paper, we build the citation subgraph induced from its bibliography. We initially consider some features of this subgraph, such as the density and the global clustering coefficient, to make our prediction. Then, we mix this information with textual features, extracted from the abstract and the title, to obtain a more accurate final prediction. We made our experiments considering the ArnetMiner citation graph, while the ground truth on award-winning papers has been obtained from a collection of best paper awards from 32 computer science conferences. In our experiment, we obtained an encouraging F1 score of 0.694. Remarkably, The high recall and the low false negatives rate, show how the model performs very well at identifying papers that will not win an award. This behavior can help researchers in getting a first evaluation of their work at publication time. Lastly, we made some first experiments on interpretability. Our results highlight some interesting patterns both in topological and textual features.


title: ViDSOD-100: A New Dataset and a Baseline Model for RGB-D Video Salient Object Detection

abstract: With the rapid development of depth sensor, more and more RGB-D videos could be obtained. Identifying the foreground in RGB-D videos is a fundamental and important task. However, the existing salient object detection (SOD) works only focus on either static RGB-D images or RGB videos, ignoring the collaborating of RGB-D and video information. In this paper, we first collect a new annotated RGB-D video SOD (ViDSOD-100) dataset, which contains 100 videos within a total of 9,362 frames, acquired from diverse natural scenes. All the frames in each video are manually annotated to a high-quality saliency annotation. Moreover, we propose a new baseline model, named attentive triple-fusion network (ATF-Net), for RGB-D video salient object detection. Our method aggregates the appearance information from an input RGB image, spatio-temporal information from an estimated motion map, and the geometry information from the depth map by devising three modality-specific branches and a multi-modality integration branch. The modality-specific branches extract the representation of different inputs, while the multi-modality integration branch combines the multi-level modality-specific features by introducing the encoder feature aggregation (MEA) modules and decoder feature aggregation (MDA) modules. The experimental findings conducted on both our newly introduced ViDSOD-100 dataset and the well-established DAVSOD dataset highlight the superior performance of the proposed ATF-Net. This performance enhancement is demonstrated both quantitatively and qualitatively, surpassing the capabilities of current state-of-the-art techniques across various domains, including RGB-D saliency detection, video saliency detection, and video object segmentation. Our data and our code are available at github.com/jhl-Det/RGBD_Video_SOD.


title: Lipschitzness of the width and diameter functions of convex bodies in $\mathbb R^n$

abstract: Lipschitz constants for the width and diameter functions of a convex body in $\mathbb R^n$ are found in terms of its diameter and thickness (maximum and minimum of both functions). Also, a dual approach to thickness is proposed.


title: Variational Distillation of Diffusion Policies into Mixture of Experts

abstract: This work introduces Variational Diffusion Distillation (VDD), a novel method that distills denoising diffusion policies into Mixtures of Experts (MoE) through variational inference. Diffusion Models are the current state-of-the-art in generative modeling due to their exceptional ability to accurately learn and represent complex, multi-modal distributions. This ability allows Diffusion Models to replicate the inherent diversity in human behavior, making them the preferred models in behavior learning such as Learning from Human Demonstrations (LfD). However, diffusion models come with some drawbacks, including the intractability of likelihoods and long inference times due to their iterative sampling process. The inference times, in particular, pose a significant challenge to real-time applications such as robot control. In contrast, MoEs effectively address the aforementioned issues while retaining the ability to represent complex distributions but are notoriously difficult to train. VDD is the first method that distills pre-trained diffusion models into MoE models, and hence, combines the expressiveness of Diffusion Models with the benefits of Mixture Models. Specifically, VDD leverages a decompositional upper bound of the variational objective that allows the training of each expert separately, resulting in a robust optimization scheme for MoEs. VDD demonstrates across nine complex behavior learning tasks, that it is able to: i) accurately distill complex distributions learned by the diffusion model, ii) outperform existing state-of-the-art distillation methods, and iii) surpass conventional methods for training MoE.


title: The Heterophilic Snowflake Hypothesis: Training and Empowering GNNs for Heterophilic Graphs

abstract: Graph Neural Networks (GNNs) have become pivotal tools for a range of graph-based learning tasks. Notably, most current GNN architectures operate under the assumption of homophily, whether explicitly or implicitly. While this underlying assumption is frequently adopted, it is not universally applicable, which can result in potential shortcomings in learning effectiveness. In this paper, \textbf{for the first time}, we transfer the prevailing concept of ``one node one receptive field" to the heterophilic graph. By constructing a proxy label predictor, we enable each node to possess a latent prediction distribution, which assists connected nodes in determining whether they should aggregate their associated neighbors. Ultimately, every node can have its own unique aggregation hop and pattern, much like each snowflake is unique and possesses its own characteristics. Based on observations, we innovatively introduce the Heterophily Snowflake Hypothesis and provide an effective solution to guide and facilitate research on heterophilic graphs and beyond. We conduct comprehensive experiments including (1) main results on 10 graphs with varying heterophily ratios across 10 backbones; (2) scalability on various deep GNN backbones (SGC, JKNet, etc.) across various large number of layers (2,4,6,8,16,32 layers); (3) comparison with conventional snowflake hypothesis; (4) efficiency comparison with existing graph pruning algorithms. Our observations show that our framework acts as a versatile operator for diverse tasks. It can be integrated into various GNN frameworks, boosting performance in-depth and offering an explainable approach to choosing the optimal network depth. The source code is available at \url{https://github.com/bingreeky/HeteroSnoH}.


title: Heritability of K\H{o}nig's Property from finite edge sets

abstract: A hypergraph $H = (V,E)$ is said to have K\H{o}nig's Property if there is a matching $M\subseteq E$ and $S\subseteq V$ such that $|S \cap e| = 1$ for all $e\in M$, and $S$ is a vertex cover of $H$. Aharoni posed the question whether K\H{o}nig's Property is inheritable from finite subsets of $E$. We provide a negative answer and investigate similar questions for weaker properties.


title: Generalized mixed and primal hybrid methods with applications to plate bending

abstract: We present an extended framework for hybrid finite element approximations of self-adjoint, positive definite operators. It covers the cases of primal, mixed, and ultraweak formulations, both at the continuous and discrete levels, and gives rise to conforming discretizations. Our framework allows for flexible continuity restrictions across elements, and includes the extreme cases of conforming and discontinuous hybrid methods. We illustrate an application of the framework to the Kirchhoff-Love plate pending model and present three primal hybrid and two mixed hybrid methods, four of them with numerical examples. In particular, we present conforming frameworks for (in classical meaning) non-conforming elements of Morley, Zienkiewicz triangular, and Hellan-Herrmann-Johnson types.


title: Structured Detection for Simultaneous Super-Resolution and Optical Sectioning in Laser Scanning Microscopy

abstract: Fast and sensitive detector arrays enable image scanning microscopy (ISM), overcoming the trade-off between spatial resolution and signal-to-noise ratio (SNR) typical of confocal microscopy. However, current ISM approaches cannot provide optical sectioning and fail with thick samples, unless the size of the detector is limited. Thus, another trade-off between optical sectioning and SNR persists. Here, we propose a method without drawbacks that combines uncompromised super-resolution, high SNR, and optical sectioning. Furthermore, our approach enables super-sampling of images, relaxing Nyquist's criterion by a factor of two. Based on the observation that imaging with a detector array inherently embeds axial information about the sample, we designed a straightforward reconstruction algorithm that inverts the physical model of ISM. We present the comprehensive theoretical framework and validate our method with synthetic and experimental images of biological samples captured using a custom setup equipped with a single-photon avalanche diode (SPAD) array detector. We demonstrate the feasibility of our approach exciting fluorescence emission both in the linear and non-linear regime. Moreover, we generalize the algorithm for fluorescence lifetime imaging, fully exploiting the single-photon timing ability of the SPAD array detector. Our method outperforms conventional approaches to ISM and can be extended to any LSM technique.


title: Phase-controlled heat modulation with Aharonov-Bohm interferometers

abstract: A heat modulator is proposed based on a voltage-biased Aharonov-Bohm interferometer. Once an electrical bias is applied, Peltier effects give rise to a flow of heat that can be modulated by a magnetic flux. We determine the corresponding temperature changes using a simple thermal model. Our calculations demonstrate that the modulated temperature difference can be as large as 80 mK at base temperature about 600 mK with relative temperature variations reaching 10\%. Our model also predicts, quite generally, the emergence of spin-polarized heat flows without any ferromagnetic contacts, if Rashba spin-orbit interaction is combined with the applied magnetic flux, which potentially paves the way towards caloritronic information processing.


title: Integrating Representational Gestures into Automatically Generated Embodied Explanations and its Effects on Understanding and Interaction Quality

abstract: In human interaction, gestures serve various functions such as marking speech rhythm, highlighting key elements, and supplementing information. These gestures are also observed in explanatory contexts. However, the impact of gestures on explanations provided by virtual agents remains underexplored. A user study was carried out to investigate how different types of gestures influence perceived interaction quality and listener understanding. This study addresses the effect of gestures in explanation by developing an embodied virtual explainer integrating both beat gestures and iconic gestures to enhance its automatically generated verbal explanations. Our model combines beat gestures generated by a learned speech-driven synthesis module with manually captured iconic gestures, supporting the agent's verbal expressions about the board game Quarto! as an explanation scenario. Findings indicate that neither the use of iconic gestures alone nor their combination with beat gestures outperforms the baseline or beat-only conditions in terms of understanding. Nonetheless, compared to prior research, the embodied agent significantly enhances understanding.


title: Two-center harmonic oscillator basis for Skyrme-DFT calculations (I): formalism and Proof of Principle

abstract: We present a new method to solve the nuclear density functional theory (DFT) equations using a two-center harmonic oscillator basis, incorporating pairing and Coulomb interactions. The goal is to efficiently determine the fission and fusion configurations in nuclei. The Coulomb exchange terms are evaluated exactly, allowing for a novel approach to neck formation without the Slater approximation, which has been commonly used in space coordinate-based approaches. The new method has been implemented in the code {\sc hfodd}, enabling direct comparison with standard one-center solutions. This first paper focuses on deriving and implementing a methodology based on stable, precise, and exact applications of harmonic oscillator bases for the two fragments, which can either overlap or be separated by arbitrarily large distances. The implementation is tested on two proof-of-principle examples using light nuclei, specifically $^8$Be and $^{24}$Mg.


title: Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language Models

abstract: Knights and knaves problems represent a classic genre of logical puzzles where characters either tell the truth or lie. The objective is to logically deduce each character's identity based on their statements. The challenge arises from the truth-telling or lying behavior, which influences the logical implications of each statement. Solving these puzzles requires not only direct deductions from individual statements, but the ability to assess the truthfulness of statements by reasoning through various hypothetical scenarios. As such, knights and knaves puzzles serve as compelling examples of suppositional reasoning. In this paper, we introduce $\textit{TruthQuest}$, a benchmark for suppositional reasoning based on the principles of knights and knaves puzzles. Our benchmark presents problems of varying complexity, considering both the number of characters and the types of logical statements involved. Evaluations on $\textit{TruthQuest}$ show that large language models like Llama 3 and Mixtral-8x7B exhibit significant difficulties solving these tasks. A detailed error analysis of the models' output reveals that lower-performing models exhibit a diverse range of reasoning errors, frequently failing to grasp the concept of truth and lies. In comparison, more proficient models primarily struggle with accurately inferring the logical implications of potentially false statements.


title: Next Generation of Phishing Attacks using AI powered Browsers

abstract: The increase in the number of phishing demands innovative solutions to safeguard users from phishing attacks. This study explores the development and utilization of a real-time browser extension integrated with machine learning model to improve the detection of phishing websites. The results showed that the model had an accuracy of 98.32%, precision of 98.62%, recall of 97.86%, and an F1-score of 98.24%. When compared to other algorithms like Support Vector Machine, Na\"ive Bayes, Decision Tree, XGBoost, and K Nearest Neighbor, the Random Forest algorithm stood out for its effectiveness in detecting phishing attacks. The zero-day phishing attack detection testing over a 15-day period revealed the model's capability to identify previously unseen threats and thus achieving an overall accuracy rate of 99.11%. Furthermore, the model showed better performance when compared to conventional security measures like Google Safe Browsing. The model had successfully detected phishing URLs that evaded detection by Google safe browsing. This research shows how using machine learning in real-time browser extensions can defend against phishing attacks. It gives useful information about cybersecurity and helps make the internet safer for everyone.


title: P-Tailor: Customizing Personality Traits for Language Models via Mixture of Specialized LoRA Experts

abstract: Personalized large language models (LLMs) have attracted great attention in many applications, such as intelligent education and emotional support. Most work focuses on controlling the character settings based on the profile (e.g., age, skill, experience, and so on). Conversely, the psychological theory-based personality traits with implicit expression and behavior are not well modeled, limiting their potential application in more specialized fields such as the psychological counseling agents. In this paper, we propose a mixture of experts (MoE)-based personalized LLMs, named P-tailor, to model the Big Five Personality Traits. Particularly, we learn specialized LoRA experts to represent various traits, such as openness, conscientiousness, extraversion, agreeableness and neuroticism. Then, we integrate P-Tailor with a personality specialization loss, promoting experts to specialize in distinct personality traits, thereby enhancing the efficiency of model parameter utilization. Due to the lack of datasets, we also curate a high-quality personality crafting dataset (PCD) to learn and develop the ability to exhibit different personality traits across various topics. We conduct extensive experiments to verify the great performance and effectiveness of P-Tailor in manipulation of the fine-grained personality traits of LLMs.


title: MultiSocial: Multilingual Benchmark of Machine-Generated Text Detection of Social-Media Texts

abstract: Recent LLMs are able to generate high-quality multilingual texts, indistinguishable for humans from authentic human-written ones. Research in machine-generated text detection is however mostly focused on the English language and longer texts, such as news articles, scientific papers or student essays. Social-media texts are usually much shorter and often feature informal language, grammatical errors, or distinct linguistic items (e.g., emoticons, hashtags). There is a gap in studying the ability of existing methods in detection of such texts, reflected also in the lack of existing multilingual benchmark datasets. To fill this gap we propose the first multilingual (22 languages) and multi-platform (5 social media platforms) dataset for benchmarking machine-generated text detection in the social-media domain, called MultiSocial. It contains 472,097 texts, of which about 58k are human-written and approximately the same amount is generated by each of 7 multilingual LLMs. We use this benchmark to compare existing detection methods in zero-shot as well as fine-tuned form. Our results indicate that the fine-tuned detectors have no problem to be trained on social-media texts and that the platform selection for training matters.


title: Offline Imitation Learning with Model-based Reverse Augmentation

abstract: In offline Imitation Learning (IL), one of the main challenges is the \textit{covariate shift} between the expert observations and the actual distribution encountered by the agent, because it is difficult to determine what action an agent should take when outside the state distribution of the expert demonstrations. Recently, the model-free solutions introduce the supplementary data and identify the latent expert-similar samples to augment the reliable samples during learning. Model-based solutions build forward dynamic models with conservatism quantification and then generate additional trajectories in the neighborhood of expert demonstrations. However, without reward supervision, these methods are often over-conservative in the out-of-expert-support regions, because only in states close to expert-observed states can there be a preferred action enabling policy optimization. To encourage more exploration on expert-unobserved states, we propose a novel model-based framework, called offline Imitation Learning with Self-paced Reverse Augmentation (SRA). Specifically, we build a reverse dynamic model from the offline demonstrations, which can efficiently generate trajectories leading to the expert-observed states in a self-paced style. Then, we use the subsequent reinforcement learning method to learn from the augmented trajectories and transit from expert-unobserved states to expert-observed states. This framework not only explores the expert-unobserved states but also guides maximizing long-term returns on these states, ultimately enabling generalization beyond the expert data. Empirical results show that our proposal could effectively mitigate the covariate shift and achieve the state-of-the-art performance on the offline imitation learning benchmarks. Project website: \url{https://www.lamda.nju.edu.cn/shaojj/KDD24_SRA/}.


title: Doppler Dimming and Brightening Effects in Solar Prominences

abstract: We explored the impact that Doppler dimming and brightening effects from bulk motions of solar prominences have on the formation of Lya, Ha, and MgII h line profiles. We compared two schemes in which these effects manifest; when the prominence is moving radially away from the solar surface (radial case), and when the prominence is moving parallel to the solar surface (horizontal case). To do this, we analysed 13,332 model profiles generated through the use of the 1D NLTE (i.e. departures from Local Thermodynamic equilibrium) radiative transfer (RT) code Promweaver, built on the Lightweaver NLTE RT framework to mimic the behaviour and output of the 1D NLTE RT code PROM. We found that horizontal velocities are just as, or more important than radial velocities. This demonstrates that horizontal velocities need to be accounted for when attempting to do any sort of forward modelling.


title: Evolutionary Spiking Neural Networks: A Survey

abstract: Spiking neural networks (SNNs) are gaining increasing attention as potential computationally efficient alternatives to traditional artificial neural networks(ANNs). However, the unique information propagation mechanisms and the complexity of SNN neuron models pose challenges for adopting traditional methods developed for ANNs to SNNs. These challenges include both weight learning and architecture design. While surrogate gradient learning has shown some success in addressing the former challenge, the latter remains relatively unexplored. Recently, a novel paradigm utilizing evolutionary computation methods has emerged to tackle these challenges. This approach has resulted in the development of a variety of energy-efficient and high-performance SNNs across a wide range of machine learning benchmarks. In this paper, we present a survey of these works and initiate discussions on potential challenges ahead.


title: Measuring Information Diffusion in Code Review at Spotify

abstract: Background: As a core practice in software engineering, the nature of code review has been frequently subject to research. Prior exploratory studies found that code review, the discussion around a code change among humans, forms a communication network that enables its participants to exchange and spread information. Although popular in software engineering, there is no confirmatory research corroborating this theory and the actual extent of information diffusion in code review is not well understood. Objective: In this registered report, we propose an observational study to measure information diffusion in code review to test the theory of code review as communication network. Method: We approximate the information diffusion in code review through the frequency and the similarity between (1) human participants, (2) affected components, and (3) involved teams of linked code reviews. The measurements approximating the information diffusion in code review serve as a foundation for falsifying the theory of code review as communication network.


title: Populating secluded dark sector with ultra-relativistic bubbles

abstract: We study Dark Matter production during first order phase transitions from bubble-plasma collisions. We focus on scenarios where the Dark Matter sector is secluded and its interaction with the visible sector (including the Standard Model) originates from dimension-five and dimension-six operators. We find that such DM is generally heavy and has a large initial velocity, leading to the possibility of DM being warm today. We differentiate between the cases of weakly and strongly coupled dark sectors, where, in the latter case, we focus on glueball DM, which turns out to have very distinct phenomenological properties. We also systematically compute the Freeze-In production of the dark sector and compare it with the bubble-plasma DM abundances.


title: Stability Theory for Matrix Polynomials in One and Several Variables with Extensions of Classical Theorems

abstract: The file contains PhD Dissertation by Oskar Jakub Szyma\'nski. This work ends his study at Doctoral School of Exact and Natural Sciences at Jagiellonian University where the Author has attended in years 2019-2024. The subject of the Thesis is the stability theory developed for matrix polynomials. The main concept described in the Dissertation is hyperstability with respect to an open or closed subset of the complex plane. The notion of hyperstability is a contribution of the Author of the Thesis. Disseration is devoted mostly to regular polynomials, singular polynomials play marginal role in the Thesis. The Author of the Thesis has discovered several interesting results extending classical theorems from complex analysis. These are for example: multi-variable Gauss-Lucas theorem for matrix polynomials and Sz\'asz-type inequalities for matrix norms such as the matrix two-norm and the Frobenius norm.


title: Towards Deep Application-Network Integration: Architectures, Progress and Opportunities

abstract: With the rise of a new generation of applications (e.g., virtual and augmented reality, artificial intelligence, etc) demanding stringent performance requirements, the need for networking solutions and architectures that can enable a higher Quality of Experience (QoE) is becoming increasingly important. While jointly optimizing application and network may increase the applications' QoE and simultaneously improve the utilization of network resources, such a paradigm has had limited success in real production networks. However, with the combination of revolutionary trends in (1) compute processing demands, (2) networking capabilities, and (3) sustainable business models, it is high time the community explores the full potential of deeper integration between application and network. In this paper, recent trends observed over the past few years are systematically reviewed. These include the paradigm shift in modern communication services towards computing-driven applications, such as on-site AI training, advances in programmable network technologies like Software Defined Networking (SDN), and new business models incentivizing collaboration and cooperation between parties. Following this, successful scenarios that benefit from various forms of deeper network-application integration are reported, highlighting their considerable potential. A unified framework is then introduced, providing an overview of possible architecture paradigms for network-application integration and bringing awareness to existing abstractions, mechanisms, tools, and their potential combinations. The paper concludes with a discussion of several remaining challenges in building practical network-application integrated systems.


title: Asymptotic behavior of Moncrief Lines in constant curvature space-times

abstract: We study the asymptotic behavior of Moncrief lines on $2+1$ maximal globally hyperbolic spatially compact space-time $M$ of non-negative constant curvature. We show that when the unique geodesic lamination associated with $M$ is either maximal uniquely ergodic or simplicial, the Moncrief line converges, as time goes to zero, to a unique point in the Thurston boundary of the Teichm\"uller space.


title: $F(Q)$ gravity with Gauss-Bonnet corrections: from early-time inflation to late-time acceleration

abstract: We show that in the $f(Q)$ gravity with a non-metricity scalar $Q$, the curvatures in Einstein's gravity, that is, the Riemann curvature constructed from the standard Levi-Civita connection, could not be excluded or naturally appear. The first observation is that even in $f(Q)$ gravity, the conservation of the matter energy-momentum tensor is not described by the covariant derivatives in the non-metricity gravity but that is given by the Levi-Civita connection. The commutator of the covariant derivatives in Einstein's gravity inevitably induces the Riemann curvature. There is no symmetry nor principle which prohibits the Riemann curvature in non-metricity gravity. Based on this observation, we propose and investigate $f\left(Q, \mathcal{G} \right)$ gravity with the Gauss-Bonnet invariant $\mathcal{G}$ and its generalisations. We show how $f\left(Q, \mathcal{G} \right)$ models realising any given the Friedmann-Lema\^{i}tre-Robertson-Walker (FLRW) spacetime can be reconstructed. We apply the reconstruction formalism to cosmology. Explicitly, the gravity models which realise slow roll or constant roll inflation, dark energy epoch as well as the unification of the inflation and dark energy are found. The dynamical autonomous system and the gravitational wave in the theory under investigation are discussed. It is found the condition that the de Sitter spacetime becomes the (stable) fixed point of the system.


title: Polynomial realizations of Hopf algebras built from nonsymmetric operads

abstract: The natural Hopf algebra $\mathbf{N} \cdot \mathcal{O}$ of an operad $\mathcal{O}$ is a Hopf algebra whose bases are indexed by some words on $\mathcal{O}$. We construct polynomial realizations of $\mathbf{N} \cdot \mathcal{O}$ by using alphabets of noncommutative variables endowed with unary and binary relations. By using particular alphabets, we establish links between $\mathbf{N} \cdot \mathcal{O}$ and some other Hopf algebras including the Hopf algebra of word quasi-symmetric functions of Hivert, the decorated versions of the noncommutative Connes-Kreimer Hopf algebra of Foissy, the noncommutative Fa\`a di Bruno Hopf algebra and its deformations, the noncommutative multi-symmetric functions Hopf algebras of Novelli and Thibon, and the double tensor Hopf algebra of Ebrahimi-Fard and Patras.


title: Towards Bayesian Data Selection

abstract: A wide range of machine learning algorithms iteratively add data to the training sample. Examples include semi-supervised learning, active learning, multi-armed bandits, and Bayesian optimization. We embed this kind of data addition into decision theory by framing data selection as a decision problem. This paves the way for finding Bayes-optimal selections of data. For the illustrative case of self-training in semi-supervised learning, we derive the respective Bayes criterion. We further show that deploying this criterion mitigates the issue of confirmation bias by empirically assessing our method for generalized linear models, semi-parametric generalized additive models, and Bayesian neural networks on simulated and real-world data.


title: A positive density of elliptic curves are diophantine stable in certain Galois extensions

abstract: Let $p \in \{3, 5\}$ and consider a cyclic $p$-extension $L/\mathbb{Q}$. We show that there exists an effective positive density of elliptic curves $ E $ defined over $ \mathbb{Q} $, ordered by height, that are diophantine stable in $ L $.


title: Censored fractional Bernstein derivatives and stochastic processes

abstract: In this paper, we define the censored fractional Bernstein derivative on the positive half line $(0, \infty)$ based on the Bernstein Riemann--Liouville fractional derivative. This derivative can be shown to be the generator of the censored subordinator by solving a resolvent equation. We also show that the censored subordinator hits the boundary in finite time under certain conditions.


title: A Super-human Vision-based Reinforcement Learning Agent for Autonomous Racing in Gran Turismo

abstract: Racing autonomous cars faster than the best human drivers has been a longstanding grand challenge for the fields of Artificial Intelligence and robotics. Recently, an end-to-end deep reinforcement learning agent met this challenge in a high-fidelity racing simulator, Gran Turismo. However, this agent relied on global features that require instrumentation external to the car. This paper introduces, to the best of our knowledge, the first super-human car racing agent whose sensor input is purely local to the car, namely pixels from an ego-centric camera view and quantities that can be sensed from on-board the car, such as the car's velocity. By leveraging global features only at training time, the learned agent is able to outperform the best human drivers in time trial (one car on the track at a time) races using only local input features. The resulting agent is evaluated in Gran Turismo 7 on multiple tracks and cars. Detailed ablation experiments demonstrate the agent's strong reliance on visual inputs, making it the first vision-based super-human car racing agent.


title: Low-Resource Machine Translation through the Lens of Personalized Federated Learning

abstract: We present a new approach based on the Personalized Federated Learning algorithm MeritFed that can be applied to Natural Language Tasks with heterogeneous data. We evaluate it on the Low-Resource Machine Translation task, using the dataset from the Large-Scale Multilingual Machine Translation Shared Task (Small Track #2) and the subset of Sami languages from the multilingual benchmark for Finno-Ugric languages. In addition to its effectiveness, MeritFed is also highly interpretable, as it can be applied to track the impact of each language used for training. Our analysis reveals that target dataset size affects weight distribution across auxiliary languages, that unrelated languages do not interfere with the training, and auxiliary optimizer parameters have minimal impact. Our approach is easy to apply with a few lines of code, and we provide scripts for reproducing the experiments at https://github.com/VityaVitalich/MeritFed


title: 1-cocycles of the Witt algebra with coefficients in tensor product of modules

abstract: In this paper, we classify 1-cocycles of the Witt algebra with coefficients in the tensor product of two arbitrary tensor density modules. In a special case, we recover a theorem originally established by Ng and Taft in \cite{NT}. Furthermore, by these 1-cocycles, we determine Lie bialgebra structures over certain infinite-dimensional Lie algebras containing the Witt algebra.


title: RichRAG: Crafting Rich Responses for Multi-faceted Queries in Retrieval-Augmented Generation

abstract: Retrieval-augmented generation (RAG) effectively addresses issues of static knowledge and hallucination in large language models. Existing studies mostly focus on question scenarios with clear user intents and concise answers. However, it is prevalent that users issue broad, open-ended queries with diverse sub-intents, for which they desire rich and long-form answers covering multiple relevant aspects. To tackle this important yet underexplored problem, we propose a novel RAG framework, namely RichRAG. It includes a sub-aspect explorer to identify potential sub-aspects of input questions, a multi-faceted retriever to build a candidate pool of diverse external documents related to these sub-aspects, and a generative list-wise ranker, which is a key module to provide the top-k most valuable documents for the final generator. These ranked documents sufficiently cover various query aspects and are aware of the generator's preferences, hence incentivizing it to produce rich and comprehensive responses for users. The training of our ranker involves a supervised fine-tuning stage to ensure the basic coverage of documents, and a reinforcement learning stage to align downstream LLM's preferences to the ranking of documents. Experimental results on two publicly available datasets prove that our framework effectively and efficiently provides comprehensive and satisfying responses to users.


title: Flow Optimization at Inter-Datacenter Networks for Application Run-time Acceleration

abstract: In the present-day, distributed applications are commonly spread across multiple datacenters, reaching out to edge and fog computing locations. The transition away from single datacenter hosting is driven by capacity constraints in datacenters and the adoption of hybrid deployment strategies, combining on-premise and public cloud facilities. However, the performance of such applications is often limited by extended Flow Completion Times (FCT) for short flows due to queuing behind bursts of packets from concurrent long flows. To address this challenge, we propose a solution to prioritize short flows over long flows in the Software-Defined Wide-Area Network (SD-WAN) interconnecting the distributed computing platforms. Our solution utilizes eBPF to segregate short and long flows, transmitting them over separate tunnels with the same properties. By effectively mitigating queuing delays, we consistently achieve a 1.5 times reduction in FCT for short flows, resulting in improved application response times. The proposed solution works with encrypted traffic and is application-agnostic, making it deployable in diverse distributed environments without modifying the applications themselves. Our testbed evaluation demonstrates the effectiveness of our approach in accelerating the run-time of distributed applications, providing valuable insights for optimizing multi-datacenter and edge deployments.


title: Analysing India's Cyber Warfare Readiness and Developing a Defence Strategy

abstract: The demand for strong cyber defence measures grows, especially in countries such as India, where the rate of digitalization far exceeds cybersecurity developments. The increasing amount of cyber threats highlights the urgent need to strengthen cyber defences. The literature review reveals significant shortcomings in India's cyber defence readiness, especially in real-time threat detection and response capabilities. Through simulation models, the study explores network security behaviours and the impact of defences on network security. The next section of this study focuses on implementing a cyber threat detection system that uses machine learning to identify and categorise cyber threats in real time, followed by strategies to integrate it into India's present infrastructure. Also, the study proposes an educational framework for training cyber professionals. The study concludes with a reflection on the implemented defence strategies. It adds to the continuing discussion about national security by providing an in-depth investigation of cyber warfare preparation and recommending a systematic method to improving through both technological and educational solutions.


title: MOYU: A Theoretical Study on Massive Over-activation Yielded Uplifts in LLMs

abstract: Massive Over-activation Yielded Uplifts(MOYU) is an inherent property of large language models, and dynamic activation(DA) based on the MOYU property is a clever yet under-explored strategy designed to accelerate inference in these models. Existing methods that utilize MOYU often face a significant 'Impossible Trinity': struggling to simultaneously maintain model performance, enhance inference speed, and extend applicability across various architectures. Due to the theoretical ambiguities surrounding MOYU, this paper elucidates the root cause of the MOYU property and outlines the mechanisms behind two primary limitations encountered by current DA methods: 1) history-related activation uncertainty, and 2) semantic-irrelevant activation inertia. Our analysis not only underscores the limitations of current dynamic activation strategies within large-scale LLaMA models but also proposes opportunities for refining the design of future sparsity schemes.


title: Applying Ensemble Methods to Model-Agnostic Machine-Generated Text Detection

abstract: In this paper, we study the problem of detecting machine-generated text when the large language model (LLM) it is possibly derived from is unknown. We do so by apply ensembling methods to the outputs from DetectGPT classifiers (Mitchell et al. 2023), a zero-shot model for machine-generated text detection which is highly accurate when the generative (or base) language model is the same as the discriminative (or scoring) language model. We find that simple summary statistics of DetectGPT sub-model outputs yield an AUROC of 0.73 (relative to 0.61) while retaining its zero-shot nature, and that supervised learning methods sharply boost the accuracy to an AUROC of 0.94 but require a training dataset. This suggests the possibility of further generalisation to create a highly-accurate, model-agnostic machine-generated text detector.


title: The significance of the configuration space Lie group for the constraint satisfaction in numerical time integration of multibody systems

abstract: The dynamics simulation of multibody systems (MBS) using spatial velocities (non-holonomic velocities) requires time integration of the dynamics equations together with the kinematic reconstruction equations (relating time derivatives of configuration variables to rigid body velocities). The latter are specific to the geometry of the rigid body motion underlying a particular formulation, and thus to the used configuration space (c-space). The proper c-space of a rigid body is the Lie group SE(3), and the geometry is that of the screw motions. The rigid bodies within a MBS are further subjected to geometric constraints, often due to lower kinematic pairs that define SE(3) subgroups. Traditionally, however, in MBS dynamics the translations and rotations are parameterized independently, which implies the use of the direct product group $SO\left( 3\right) \times {\Bbb R}^{3}$ as rigid body c-space, although this does not account for rigid body motions. Hence, its appropriateness was recently put into perspective. In this paper the significance of the c-space for the constraint satisfaction in numerical time stepping schemes is analyzed for holonomicaly constrained MBS modeled with the 'absolute coordinate' approach, i.e. using the Newton-Euler equations for the individual bodies subjected to geometric constraints. It is shown that the geometric constraints a body is subjected to are exactly satisfied if they constrain the motion to a subgroup of its c-space. Since only the $SE\left( 3\right) $ subgroups have a practical significance it is regarded as the appropriate c-space for the constrained rigid body. Consequently the constraints imposed by lower pair joints are exactly satisfied if the joint connects a body to the ground. For a general MBS, where the motions are not constrained to a subgroup, the SE(3) and $SO\left( 3\right) \times {\Bbb R}^{3}$ yield the same order of accuracy.


title: Mathador-LM: A Dynamic Benchmark for Mathematical Reasoning on Large Language Models

abstract: We introduce Mathador-LM, a new benchmark for evaluating the mathematical reasoning on large language models (LLMs), combining ruleset interpretation, planning, and problem-solving. This benchmark is inspired by the Mathador game, where the objective is to reach a target number using basic arithmetic operations on a given set of base numbers, following a simple set of rules. We show that, across leading LLMs, we obtain stable average performance while generating benchmark instances dynamically, following a target difficulty level. Thus, our benchmark alleviates concerns about test-set leakage into training data, an issue that often undermines popular benchmarks. Additionally, we conduct a comprehensive evaluation of both open and closed-source state-of-the-art LLMs on Mathador-LM. Our findings reveal that contemporary models struggle with Mathador-LM, scoring significantly lower than average 3rd graders. This stands in stark contrast to their strong performance on popular mathematical reasoning benchmarks.


title: Computationally Efficient System Level Tube-MPC for Uncertain Systems

abstract: Tube-based model predictive control (MPC) is the principal robust control technique for constrained linear systems affected by additive disturbances. While tube-based methods that compute the tubes online have been successfully applied to systems with additive disturbances, their application to systems affected by additional model uncertainties is challenging. This paper introduces a new tube-based MPC method - named filter-based system level tube-MPC (SLTMPC) - which overapproximates both uncertainties with an online optimized disturbance set, while simultaneously computing the tube controller online. Extending prior work, we generalize the method to polytopic disturbance sets and for the first time provide rigorous closed-loop guarantees for the receding horizon controller. These guarantees are obtained by virtue of a new terminal controller design and an online optimized terminal set. To reduce the computational complexity of the proposed method, we additionally introduce an asynchronous computation scheme that separates the optimization of the tube controller and the nominal trajectory. Finally, we provide a comprehensive numerical evaluation of the proposed methods to demonstrate their effectiveness.


title: A Behavioral Theory for Distributed Systems with Weak Recovery

abstract: Distributed systems can be subject to various kinds of partial failures, therefore building fault-tolerance or failure mitigation mechanisms for distributed systems remains an important domain of research. In this paper, we present a calculus to formally model distributed systems subject to crash failures with recovery. The recovery model considered in the paper is weak, in the sense that it makes no assumption on the exact state in which a failed node resumes its execution, only its identity has to be distinguishable from past incarnations of itself. Our calculus is inspired in part by the Erlang programming language and in part by the distributed $\pi$-calculus with nodes and link failures (D$\pi$F) introduced by Francalanza and Hennessy. In order to reason about distributed systems with failures and recovery we develop a behavioral theory for our calculus, in the form of a contextual equivalence, and of a fully abstract coinductive characterization of this equivalence by means of a labelled transition system semantics and its associated weak bisimilarity. This result is valuable for it provides a compositional proof technique for proving or disproving contextual equivalence between systems.


title: Training Diffusion Models with Federated Learning

abstract: The training of diffusion-based models for image generation is predominantly controlled by a select few Big Tech companies, raising concerns about privacy, copyright, and data authority due to their lack of transparency regarding training data. To ad-dress this issue, we propose a federated diffusion model scheme that enables the independent and collaborative training of diffusion models without exposing local data. Our approach adapts the Federated Averaging (FedAvg) algorithm to train a Denoising Diffusion Model (DDPM). Through a novel utilization of the underlying UNet backbone, we achieve a significant reduction of up to 74% in the number of parameters exchanged during training,compared to the naive FedAvg approach, whilst simultaneously maintaining image quality comparable to the centralized setting, as evaluated by the FID score.


title: Dark energy with a shift-symmetric scalar field: obstacles, loophole hunting and dead ends

abstract: We discuss the possibility of a scalar field being the fundamental description of dark energy without the need of self-tuning any parameter. Thereby, we focus on shift-symmetric scalar-tensor theories satisfying also that the propagation speed of gravitational waves is equal to the speed of light. Analysing the stability of scalar linear perturbations, we discuss the conditions that seems to be necessary to describe (super) accelerated cosmic expansion without introducing instabilities. It has been established, however, that this stability can be ruined when taking into account the interaction with tensor perturbations (essentially gravitational waves). Indeed, although we shall point out that the standard proof of absence of dark energy stable braiding models due to this interaction has a possible way-out, we find general arguments suggesting that there are no dark energy stable solutions that can exploit this loophole. Thus, we discuss future research directions for finding viable fundamental descriptions of dark energy. We also provide a dictionary between the covariant version of the scalar field theory and that of the Effective Field Theory approach, explicitly computing the parameters in the latter formalism in terms of the functions appearing in the covariant version, and its derivatives. To the best of our knowledge, this is the first time these expressions are explicitly obtained up-to arbitrary order in perturbation theory.


title: Cephalometric Landmark Detection across Ages with Prototypical Network

abstract: Automated cephalometric landmark detection is crucial in real-world orthodontic diagnosis. Current studies mainly focus on only adult subjects, neglecting the clinically crucial scenario presented by adolescents whose landmarks often exhibit significantly different appearances compared to adults. Hence, an open question arises about how to develop a unified and effective detection algorithm across various age groups, including adolescents and adults. In this paper, we propose CeLDA, the first work for Cephalometric Landmark Detection across Ages. Our method leverages a prototypical network for landmark detection by comparing image features with landmark prototypes. To tackle the appearance discrepancy of landmarks between age groups, we design new strategies for CeLDA to improve prototype alignment and obtain a holistic estimation of landmark prototypes from a large set of training images. Moreover, a novel prototype relation mining paradigm is introduced to exploit the anatomical relations between the landmark prototypes. Extensive experiments validate the superiority of CeLDA in detecting cephalometric landmarks on both adult and adolescent subjects. To our knowledge, this is the first effort toward developing a unified solution and dataset for cephalometric landmark detection across age groups. Our code and dataset will be made public on https://github.com/ShanghaiTech-IMPACT/Cephalometric-Landmark-Detection-across-Ages-with-Prototypical-Network


title: Periodic variable A-F spectral type stars in the southern TESS continuous viewing zone

abstract: We accurately identify and classify the variability of A-F stars in the southern continuous viewing zone of the TESS satellite. The brightness limit was set to 10 mag to ensure the utmost reliability of our results and allow for spectroscopic follow-up observations using small telescopes. We aim to compare our findings with existing catalogues of variable stars. The light curves from TESS and their Fourier transform were used to manually classify stars in our sample. Cross-matching with other catalogues was performed to identify contaminants and false positives. We have identified 1171 variable stars (51 % of the sample). Among these variable stars, 67 % have clear classifications, which includes $\delta$ Sct and $\gamma$ Dor pulsating stars and their hybrids, rotationally variables, and eclipsing binaries. We have provided examples of the typical representatives of variable stars and discussed the ambiguous cases. We found 20 pairs of stars with the same frequencies and identified the correct source of the variations. Additionally, we found that the variations in 12 other stars are caused by the contamination with the light of faint nearby large-amplitude variable stars. To compare our sample with other variable star catalogues, we have defined two parameters reflecting the agreement in identification of variable stars and their classification. This comparison reveals intriguing disagreements in classification ranging from 52 % to 100 %. However, if we assume that stars without specific types are only marked as variable, then the agreement is relatively good, ranging from 57 % to 85 % (disagreement 15-43 %). We have demonstrated that the TESS classification is superior to the classification based on other photometric surveys. The classification of stellar variability is complex and requires careful consideration. Caution should be exercised when using catalogue classifications.


title: Plasmons in two-dimensional electron systems with infinite and semi-infinite metal gratings

abstract: We analytically investigate the plasmons propagating in a homogeneous two-dimensional (2D) electron system, along the metal grating in the form of a periodic array of strip-shaped electrodes (gates) in the vicinity of the 2D system. We show that in the case of semi-infinite grating, the Tamm plasmon modes localized near and propagating along the grating edge can exist in the gaps of the plasmonic band structure provided that the last gate differs in width from the other gates. When the last gate is wider, the spectrum of the fundamental Tamm plasmon mode lies in the lowest frequency gap, below the first plasmonic band. Importantly, we find the mode to exist in this case only for finite values of the wave vector along the grating. Otherwise, if the width of the last gate is smaller, the Tamm plasmon modes occupy higher frequency gaps, and delocalized plasmons from the first frequency band become the lowest frequency excitations.


title: Behavior-Dependent Linear Recurrent Units for Efficient Sequential Recommendation

abstract: Sequential recommender systems aims to predict the users' next interaction through user behavior modeling with various operators like RNNs and attentions. However, existing models generally fail to achieve the three golden principles for sequential recommendation simultaneously, i.e., training efficiency, low-cost inference, and strong performance. To this end, we propose RecBLR, an Efficient Sequential Recommendation Model based on Behavior-Dependent Linear Recurrent Units to accomplish the impossible triangle of the three principles. By incorporating gating mechanisms and behavior-dependent designs into linear recurrent units, our model significantly enhances user behavior modeling and recommendation performance. Furthermore, we unlock the parallelizable training as well as inference efficiency for our model by designing a hardware-aware scanning acceleration algorithm with a customized CUDA kernel. Extensive experiments on real-world datasets with varying lengths of user behavior sequences demonstrate RecBLR's remarkable effectiveness in simultaneously achieving all three golden principles - strong recommendation performance, training efficiency, and low-cost inference, while exhibiting excellent scalability to datasets with long user interaction histories.


title: Vegetation clustering and self-organization in inhomogeneous environments

abstract: Due to climatic changes, excessive grazing, and deforestation, semi-arid and arid ecosystems are vulnerable to desertification and land degradation. Adversely affected biological productivity has a negative impact on social, economic, and environmental factors. The term 'arid ecosystems' refers not only to water-scarce landscapes but also to nutrient-poor environments. Specifically, the vegetation cover loses spatial homogeneity as aridity increases, and the self-organized heterogeneous vegetation patterns developed could eventually collapse into a bare state. It is still unclear whether this transition would be gradual or abrupt, leading to the often-called catastrophic shift of ecosystems. Several studies suggest that environmental inhomogeneities in time or space can promote a gradual transition to bare soil, thus avoiding catastrophic shifts. Environmental inhomogeneities include non-uniformities in the spatial distribution of precipitation, spatial irregularities in topography and other external factors. Employing a generic mathematical model including environmental inhomogeneities in space, we show how two branches of vegetation patterns create a hysteresis loop when the effective mortality level changes. These two branches correspond to qualitatively distinct vegetation self-organized responses. In an increasing mortality scenario, one observes an equilibrium branch of high vegetation biomass forming self-organized patterns with a well-defined wavelength. However, reversing the mortality trend, one observes a low biomass branch lacking a wavelength. We call this phenomenon the clustering of vegetation patches. This behavior can be connected to historically significant trends of climate change in arid ecosystems.


title: Constraining neutron star matter from $dM/dR$

abstract: We analyse the implications of information about local derivatives from the mass-radius diagram in neutron star matter. It is expected that the next generation of gravitational wave and electromagnetic detectors will allow the determination of the neutron star radius and mass with a small uncertainty. Observations of neutron stars clustered around a given neutron star mass allow the estimation of local derivatives in the $M(R)$ diagram, which can be used to constrain neutron star properties. From a model-independent description of the neutron star equation of state, it is shown that a $M(R)$ curve with a negative slope at 1.4$M_\odot$ predicts a $2M_\odot$ neutron star radius below 12 km. Furthermore, a maximum mass below 2.3$M_\odot$ is obtained if the $M(R)$ slope is negative in the whole range of masses above $1M_\odot$, and a maximum mass above 2.4$M_\odot$ requires the $M(R)$ slope to be positive in some range of masses. Constraints on the mass-radius curve of neutron stars will place strong constraints on microscopic models.


title: Cheeger type inequalities associated with isocapacitary constants on graphs

abstract: In this paper, we introduce Cheeger type constants via isocapacitary constants introduced by May'za to estimate first Dirichlet, Neumann and Steklov eigenvalues on a finite subgraph of a graph. Moreover, we estimate the bottom of the spectrum of the Laplace operator and the Dirichlet-to-Neumann operator for an infinite subgraph. Estimates for higher-order Steklov eigenvalues on a finite or infinite subgraph are also proved.


title: Minimal surfaces with low genus in lens spaces

abstract: Given a Riemannian $\mathbb{RP}^3$ with a bumpy metric or a metric of positive Ricci curvature, we show that there either exist four distinct minimal real projective planes, or exist one minimal real projective plane together with two distinct minimal $2$-spheres. Our proof is based on a variant multiplicity one theorem for the Simon-Smith min-max theory under certain equivariant settings. In particular, we show under the positive Ricci assumption that $\mathbb{RP}^3$ contains at least four distinct minimal real projective planes and four distinct minimal tori. Additionally, the number of minimal tori can be improved to five for a generic positive Ricci metric on $\mathbb{RP}^3$ by the degree method. Moreover, using the same strategy, we show that in the lens space $L(4m,2m\pm 1)$, $m\geq 1$, with a bumpy metric or a metric of positive Ricci curvature, there either exist $N(m)$ numbers of distinct minimal Klein bottles, or exist one minimal Klein bottle and three distinct minimal $2$-spheres, where $N(1)=4$, $N(m)=2$ for $m\geq 2$, and the first case happens under the positive Ricci assumption.


title: Breaking the Ceiling of the LLM Community by Treating Token Generation as a Classification for Ensembling

abstract: Ensembling multiple models has always been an effective approach to push the limits of existing performance and is widely used in classification tasks by simply averaging the classification probability vectors from multiple classifiers to achieve better accuracy. However, in the thriving open-source Large Language Model (LLM) community, ensembling methods are rare and typically limited to ensembling the full-text outputs of LLMs, such as selecting the best output using a ranker, which leads to underutilization of token-level probability information. In this paper, we treat the Generation of each token by LLMs as a Classification (GaC) for ensembling. This approach fully exploits the probability information at each generation step and better prevents LLMs from producing early incorrect tokens that lead to snowballing errors. In experiments, we ensemble state-of-the-art LLMs on several benchmarks, including exams, mathematics and reasoning, and observe that our method breaks the existing community performance ceiling. Furthermore, we observed that most of the tokens in the answer are simple and do not affect the correctness of the final answer. Therefore, we also experimented with ensembling only key tokens, and the results showed better performance with lower latency across benchmarks.


title: Count-Min sketches for Telemetry: analysis of performance in P4 implementations

abstract: Monitoring streams of packets at 100~Gb/s and beyond requires using compact and efficient hashing-techniques like HyperLogLog (HLL) or Count-Min Sketch (CMS). In this work, we evaluate the uses and applications of Count-Min Sketch for Metro Networks employing P4-based packet-optical nodes. We provide dimensioning rules for CMS at 100~Gb/s and 400~Gb/s and evaluate its performance in a real implementation testbed.


title: Restorer: Solving Multiple Image Restoration Tasks with One Set of Parameters

abstract: Although there are many excellent solutions in image restoration, the fact that they are specifically designed for a single image restoration task may prevent them from being state-of-the-art (SOTA) in other types of image restoration tasks. While some approaches require considering multiple image restoration tasks, they are still not sufficient for the requirements of the real world and may suffer from the task confusion issue. In this work, we focus on designing a unified and effective solution for multiple image restoration tasks including deraining, desnowing, defogging, deblurring, denoising, and low-light enhancement. Based on the above purpose, we propose a Transformer network Restorer with U-Net architecture. In order to effectively deal with degraded information in multiple image restoration tasks, we need a more comprehensive attention mechanism. Thus, we design all-axis attention (AAA) through stereo embedding and 3D convolution, which can simultaneously model the long-range dependencies in both spatial and channel dimensions, capturing potential correlations among all axis. Moreover, we propose a Restorer based on textual prompts. Compared to previous methods that employ learnable queries, textual prompts bring explicit task priors to solve the task confusion issue arising from learnable queries and introduce interactivity. Based on these designs, Restorer demonstrates SOTA or comparable performance in multiple image restoration tasks compared to universal image restoration frameworks and methods specifically designed for these individual tasks. Meanwhile, Restorer is faster during inference. The above results along with the real-world test results show that Restorer has the potential to serve as a backbone for multiple real-world image restoration tasks.


title: UIFV: Data Reconstruction Attack in Vertical Federated Learning

abstract: Vertical Federated Learning (VFL) facilitates collaborative machine learning without the need for participants to share raw private data. However, recent studies have revealed privacy risks where adversaries might reconstruct sensitive features through data leakage during the learning process. Although data reconstruction methods based on gradient or model information are somewhat effective, they reveal limitations in VFL application scenarios. This is because these traditional methods heavily rely on specific model structures and/or have strict limitations on application scenarios. To address this, our study introduces the Unified InverNet Framework into VFL, which yields a novel and flexible approach (dubbed UIFV) that leverages intermediate feature data to reconstruct original data, instead of relying on gradients or model details. The intermediate feature data is the feature exchanged by different participants during the inference phase of VFL. Experiments on four datasets demonstrate that our methods significantly outperform state-of-the-art techniques in attack precision. Our work exposes severe privacy vulnerabilities within VFL systems that pose real threats to practical VFL applications and thus confirms the necessity of further enhancing privacy protection in the VFL architecture.


title: Discovering Minimal Reinforcement Learning Environments

abstract: Reinforcement learning (RL) agents are commonly trained and evaluated in the same environment. In contrast, humans often train in a specialized environment before being evaluated, such as studying a book before taking an exam. The potential of such specialized training environments is still vastly underexplored, despite their capacity to dramatically speed up training. The framework of synthetic environments takes a first step in this direction by meta-learning neural network-based Markov decision processes (MDPs). The initial approach was limited to toy problems and produced environments that did not transfer to unseen RL algorithms. We extend this approach in three ways: Firstly, we modify the meta-learning algorithm to discover environments invariant towards hyperparameter configurations and learning algorithms. Secondly, by leveraging hardware parallelism and introducing a curriculum on an agent's evaluation episode horizon, we can achieve competitive results on several challenging continuous control problems. Thirdly, we surprisingly find that contextual bandits enable training RL agents that transfer well to their evaluation environment, even if it is a complex MDP. Hence, we set up our experiments to train synthetic contextual bandits, which perform on par with synthetic MDPs, yield additional insights into the evaluation environment, and can speed up downstream applications.


title: Fluctuating field series: towards calculations of correlated systems with high accuracy

abstract: We introduce regular series expansion for weakly- and moderately-correlated fermionic systems, based on Fluctuating Local Field approach. The method relies on the explicit account of leading fluctuating mode(s) and is therefore suitable for medium-sized lattices. It can be also used as a solver for the cluster approximations for infinite-size lattices. We introduce classical fluctuating field coupled to fermionic collective mode(s). This way, fluctuations in selected modes are treated in a non-perturbative way. Other degrees of freedom are accounted for the diagram expansion performed at each value of the fluctuating field. The method is benchmarked for the $U/t=1$ and $U/t=2$ Hubbard lattices at half-filling. Results for susceptibility in the antiferromagnetic channel along with the single particle density of states are compared with the numerically exact quantum Monte Carlo data. Calculations up to the third order of the series expansion are performed and show a uniform convergence to the reference result for the susceptibility. This convergence is observed well below the DMFT Ne\'el temperature and makes our practically simple method applicable in a much wider temperature range than DMFT-based diagrammatic schemes.


title: Spectral analysis of the magnetooptical response in valley polarized Pb$_{1-x}$Sn$_x$Se

abstract: Since the last century, considerable efforts have been devoted to the study of valley-degenerate narrow gap semiconductors, such as the Pb$_{1-x}$Sn$_x$Se alloy. This material possesses band minima at the $L$-points of their Brillouin zone, yielding a valley degeneracy of four. However, in (111)-oriented films, it is still not fully understood how differences between the longitudinal valley, oriented along the growth axis, and the oblique valleys, oriented at an angle with respect to that axis, appear in magneto-optical infrared spectroscopy. In this work, we report a magnetooptical study on this family of alloys, focusing on an anomaly in the interband transition of the peak intensity ratio of longitudinal and oblique valleys under a magnetic field applied along the [111] direction. Based on the Mitchell-Wallis model, we provide a theoretical fit for the experimental transmission data, which quantitatively explains the spectral shape of the data at magnetic fields as high as 35T. In particular, we attribute this anomalous peak intensity variation to the carrier density difference between the two types of valleys as well as the field-dependent thin-film interference. Our analysis also allows for the extraction of the real and imaginary parts of the dielectric function.


title: Unmasking the Veil: An Investigation into Concept Ablation for Privacy and Copyright Protection in Images

abstract: In this paper, we extend the study of concept ablation within pre-trained models as introduced in 'Ablating Concepts in Text-to-Image Diffusion Models' by (Kumari et al.,2022). Our work focuses on reproducing the results achieved by the different variants of concept ablation proposed and validated through predefined metrics. We also introduce a novel variant of concept ablation, namely 'trademark ablation'. This variant combines the principles of memorization and instance ablation to tackle the nuanced influence of proprietary or branded elements in model outputs. Further, our research contributions include an observational analysis of the model's limitations. Moreover, we investigate the model's behavior in response to ablation leakage-inducing prompts, which aim to indirectly ablate concepts, revealing insights into the model's resilience and adaptability. We also observe the model's performance degradation on images generated by concepts far from its target ablation concept, documented in the appendix.


title: PromptDSI: Prompt-based Rehearsal-free Instance-wise Incremental Learning for Document Retrieval

abstract: Differentiable Search Index (DSI) utilizes Pre-trained Language Models (PLMs) for efficient document retrieval without relying on external indexes. However, DSIs need full re-training to handle updates in dynamic corpora, causing significant computational inefficiencies. We introduce PromptDSI, a rehearsal-free, prompt-based approach for instance-wise incremental learning in document retrieval. PromptDSI attaches prompts to the frozen PLM's encoder of DSI, leveraging its powerful representation to efficiently index new corpora while maintaining a balance between stability and plasticity. We eliminate the initial forward pass of prompt-based continual learning methods that doubles training and inference time. Moreover, we propose a topic-aware prompt pool that employs neural topic embeddings as fixed keys. This strategy ensures diverse and effective prompt usage, addressing the challenge of parameter underutilization caused by the collapse of the query-key matching mechanism. Our empirical evaluations demonstrate that PromptDSI matches IncDSI in managing forgetting while significantly enhancing recall by over 4% on new corpora.


title: On optimizing Inband Telemetry systems for accurate latency-based service deployments

abstract: The power of Machine Learning and Artificial Intelligence algorithms based on collected datasets, along with the programmability and flexibility provided by Software Defined Networking can provide the building blocks for constructing the so-called Zero-Touch Network and Service Management systems. However, the fuel towards this goal relies on the availability of sufficient and good-quality data collected from measurements and telemetry. This article provides a telemetry methodology to collect accurate latency measurements, as a first step toward building intelligent control planes that make correct decisions based on precise information.


title: The form-type Calabi-Yau equation on a class of complex manifolds

abstract: In this paper, we study the form type Calabi-Yau equation. We define the astheno-Ricci curvature and prove that there exists a solution for the form type Calabi-Yau equation if the astheno-Ricci curvature is non-positive.


title: Beyond Near-Field: Far-Field Location Division Multiple Access in Downlink MIMO Systems

abstract: Exploring channel dimensions has been the driving force behind breakthroughs in successive generations of mobile communication systems. In 5G, space division multiple access (SDMA) leveraging massive MIMO has been crucial in enhancing system capacity through spatial differentiation of users. However, SDMA can only finely distinguish users at adjacent angles in ultra-dense networks by extremely large-scale antenna arrays. For a long time, most research has focused on the angle domain of the space, overlooking the potential of the distance domain. Near-field location division multiple access (LDMA) was proposed based on the beam-focusing effect yielded by near-field spherical propagation model, partitioning channel resources by both angle and distance. To achieve a similar idea in the far-field region, this paper introduces a far-field LDMA scheme for wideband systems based on orthogonal frequency division multiplexing (OFDM). Benefiting from frequency diverse arrays (FDA), it becomes possible to manipulate beams in the distance domain. Combined with OFDM, the inherent cyclic prefix ensures a complete OFDM symbol can be received without losing distance information, while the matched filter of OFDM helps eliminate the time-variance of FDA steering vectors. Theoretical and simulation results show that LDMA can fully exploit the additional degrees of freedom in the distance domain to significantly improve spectral efficiency, especially in narrow sector multiple access (MA) scenarios. Moreover, LDMA can maintain independence between array elements even in single-path channels, making it stand out in MA schemes at millimeter-wave and higher frequency bands.