title: Can Large Language Models Serve as Rational Players in Game Theory? A Systematic Analysis

abstract: Game theory, as an analytical tool, is frequently utilized to analyze human behavior in social science research. With the high alignment between the behavior of Large Language Models (LLMs) and humans, a promising research direction is to employ LLMs as substitutes for humans in game experiments, enabling social science research. However, despite numerous empirical researches on the combination of LLMs and game theory, the capability boundaries of LLMs in game theory remain unclear. In this research, we endeavor to systematically analyze LLMs in the context of game theory. Specifically, rationality, as the fundamental principle of game theory, serves as the metric for evaluating players' behavior -- building a clear desire, refining belief about uncertainty, and taking optimal actions. Accordingly, we select three classical games (dictator game, Rock-Paper-Scissors, and ring-network game) to analyze to what extent LLMs can achieve rationality in these three aspects. The experimental results indicate that even the current state-of-the-art LLM (GPT-4) exhibits substantial disparities compared to humans in game theory. For instance, LLMs struggle to build desires based on uncommon preferences, fail to refine belief from many simple patterns, and may overlook or modify refined belief when taking actions. Therefore, we consider that introducing LLMs into game experiments in the field of social science should be approached with greater caution.


title: Invariants of virtual links and twisted links using affine indices

abstract: The affine index polynomial and the $n$-writhe are invariants of virtual knots which are introduced by Kauffman and by Satoh and Taniguchi independently. They are defined by using indices assigned to each classical crossing, which we call affine indices in this paper. We discuss a relationship between the invariants and generalize them to invariants of virtual links. The invariants for virtual links can be also computed by using cut systems. We also introduce invariants of twisted links by using affine indices.


title: Shapley Values-enabled Progressive Pseudo Bag Augmentation for Whole Slide Image Classification

abstract: In computational pathology, whole slide image (WSI) classification presents a formidable challenge due to its gigapixel resolution and limited fine-grained annotations. Multiple instance learning (MIL) offers a weakly supervised solution, yet refining instance-level information from bag-level labels remains complex. While most of the conventional MIL methods use attention scores to estimate instance importance scores (IIS) which contribute to the prediction of the slide labels, these often lead to skewed attention distributions and inaccuracies in identifying crucial instances. To address these issues, we propose a new approach inspired by cooperative game theory: employing Shapley values to assess each instance's contribution, thereby improving IIS estimation. The computation of the Shapley value is then accelerated using attention, meanwhile retaining the enhanced instance identification and prioritization. We further introduce a framework for the progressive assignment of pseudo bags based on estimated IIS, encouraging more balanced attention distributions in MIL models. Our extensive experiments on CAMELYON-16, BRACS, and TCGA-LUNG datasets show our method's superiority over existing state-of-the-art approaches, offering enhanced interpretability and class-wise insights. We will release the code upon acceptance.


title: Using Captum to Explain Generative Language Models

abstract: Captum is a comprehensive library for model explainability in PyTorch, offering a range of methods from the interpretability literature to enhance users' understanding of PyTorch models. In this paper, we introduce new features in Captum that are specifically designed to analyze the behavior of generative language models. We provide an overview of the available functionalities and example applications of their potential for understanding learned associations within generative language models.


title: cuSZ-I: High-Fidelity Error-Bounded Lossy Compression for Scientific Data on GPUs

abstract: Error-bounded lossy compression is a critical technique for significantly reducing scientific data volumes. Compared to CPU-based scientific compressors, GPU-accelerated compressors exhibit substantially higher throughputs, which can thus better adapt to GPU-based scientific simulation applications. However, a critical limitation still lies in all existing GPU-accelerated error-bounded lossy compressors: they suffer from low compression ratios, which strictly restricts their scope of usage. To address this limitation, in this paper, we propose a new design of GPU-accelerated scientific error-bounded lossy compressor, namely cuSZ-I, which has achieved the following contributions: (1) A brand new GPU-customized interpolation-based data pre-diction method is raised in cuSZ-I for extensively improving the compression ratio and the decompression data quality. (2) The Huffman encoding module in cuSZ-I has been improved for both efficiency and stability. (3) cuSZ-I is the first work to integrate the highly effective NVIDIA bitcomp lossless compression module to maximally boost the compression ratio for GPU-accelerated lossy compressors with nearly negligible speed degradation. In experimental evaluations, with the same magnitude of compression throughput as existing GPU-accelerated compressors, in terms of compression ratio and quality, cuSZ-I outperforms other state-of-the-art GPU-based scientific lossy compressors to a significant extent. It gains compression ratio improvements by up to 500% under the same error bound or PSNR. In several real-world use cases, cuSZ-I also achieves the optimized performance, having the minimized time cost for distributed lossy data transmission tasks and the highest decompression data visualization quality.


title: Energy and system size dependence of strongly intensive fluctuation measures in heavy-ion collisions at FAIR energies

abstract: Event-by-event fluctuations of multiplicity and transverse momentum of charged hadrons produced in heavy-ion collisions at FAIR energies, 10A, 20A, 30A and 40A GeV are studied in the framework of relativistic transport model, URQMD. Dependence of two families of strongly intensive measures of multiplicity($N$) and transverse momentum($p_{\rm T}$) fluctuations, $\Delta[p_{\rm T},N]$ and $\Sigma[p_{\rm T},N]$, on collision centrality, centrality bin-widths and pseudorapidity windows are examined. Attempts are also made to study $NN$, $N$$p_{\rm T}$ and $p_{\rm T}$$p_{\rm T}$ fluctuations using two window analysis method. The findings suggest that the measure, $\Delta[p_{\rm T},N]$ be dealt with proper selection of centrality intervals. This measure also exhibits a strong dependence on the widths of $\eta$ windows. The variable $\Sigma[p_{\rm T},N]$, however, is observed to be insensitive to the centrality bin-widths and shows a variation of $< 5\%$ with the widths of $\eta$ windows. The analysis of data after event mixing gives $\Delta[p_{\rm T},N]$ and $\Sigma[p_{\rm T},N]$ values as $\sim 1$ irrespective of the widths of $\eta$ windows and collision centrality, as predicted by model of independent particle emission, IPM. The study of joint fluctuations of the two quantities on two $\eta$ windows separated in $\eta$ space, reveals that $\Sigma[N_{\rm F},N_{\rm B}]$ values are $\sim 1$ irrespective of the position of $\eta$ windows whereas, the values of $\Sigma[N_{\rm F},p_{\rm T_B}]$ and $\Sigma[p_{\rm T_F},p_{\rm T_B}]$ firstly increase with $\eta_{sep}$ and later acquire saturations. The observed trend of centrality dependence of $\Sigma[N_{\rm F},N_{\rm B}], \Sigma[N_{\rm F},p_{\rm T_B}]$ and $\Sigma[p_{\rm T_F},p_{\rm T_B}]$ agrees fairly well with those observed in MC simulated studies carried out for AA collisions at LHC energies in the framework model of string fusion.


title: Electron Weibel instability and~quasi-magnetostatic structures in~an~expanding collisionless plasma

abstract: We outline transient quasi-magnetostatic phenomena associated with Weibel-type instabilities, mainly, the formation and decay of the current sheets and filaments. We consider a collisionless anisotropic plasma cloud with hot electrons expanding into an inhomogeneous background plasma taking into account an external magnetic field in different geometries entailing (i) a hot-electron spot of a circular or cylindrical form within an initial-value problem or a finite-time injection of electrons from a target surface, (ii) inhomogeneous layers of cold background plasma of different densities and spatial scales, (iii) an external magnetic field with three orientations: perpendicular to the target or along it, directed either across or parallel to a long axis of the hot-electron spot. We heed typical laser-plasma experiments. We outline development of the principle current structures linked with distinct forms of the anisotropic electron velocity distribution using particle-in-cell modeling of the instability process for diverse sets of the attributes (i)--(iii). Applications to the analysis of laboratory and space plasma problems involving an explosive development of the small-scale filamentation of the electric current and self-consistent magnetic turbulence are discussed.


title: Van der Waals semiconductor InSe plastifies by phase transformation

abstract: Inorganic semiconductor materials are integral to various modern technologies, yet their brittleness and limited deformability/processability pose a significant challenge in the development of flexible, wearable, and miniaturized electronics. The recent discovery of room-temperature plasticity in a few inorganic semiconductors offers a promising pathway to address this challenge, but the deformation mechanisms of these materials remain unclear. Here, we investigate the deformation of InSe, a two-dimensional (2D) van der Waals (vdW) semiconductor with substantial plasticity. By developing a machine-learned deep potential, we perform atomistic simulations that capture the deformation features of hexagonal InSe upon out-of-plane compression. Surprisingly, we discover that InSe plastifies through a so-far unrecognized martensitic phase transformation; that is, the layered hexagonal structure is converted to a tetragonal lattice with specific orientation relationship. This observation is corroborated by high-resolution experimental observations and theory. It suggests a change of paradigm, where the design of new plastically-deformable inorganic semiconductors should focus on compositions and structures that favor phase transformations rather than traditional dislocation slip.


title: Flexible Cross-Modal Steganography via Implicit Representations

abstract: We present INRSteg, an innovative lossless steganography framework based on a novel data form Implicit Neural Representations (INR) that is modal-agnostic. Our framework is considered for effectively hiding multiple data without altering the original INR ensuring high-quality stego data. The neural representations of secret data are first concatenated to have independent paths that do not overlap, then weight freezing techniques are applied to the diagonal blocks of the weight matrices for the concatenated network to preserve the weights of secret data while additional free weights in the off-diagonal blocks of weight matrices are fitted to the cover data. Our framework can perform unexplored cross-modal steganography for various modalities including image, audio, video, and 3D shapes, and it achieves state-of-the-art performance compared to previous intra-modal steganographic methods.


title: History Matters: Temporal Knowledge Editing in Large Language Model

abstract: The imperative task of revising or updating the knowledge stored within large language models arises from two distinct sources: intrinsic errors inherent in the model which should be corrected and outdated knowledge due to external shifts in the real world which should be updated. Prevailing efforts in model editing conflate these two distinct categories of edits arising from distinct reasons and directly modify the original knowledge in models into new knowledge. However, we argue that preserving the model's original knowledge remains pertinent. Specifically, if a model's knowledge becomes outdated due to evolving worldly dynamics, it should retain recollection of the historical knowledge while integrating the newfound knowledge. In this work, we introduce the task of Temporal Knowledge Editing (TKE) and establish a benchmark AToKe (Assessment of TempOral Knowledge Editing) to evaluate current model editing methods. We find that while existing model editing methods are effective at making models remember new knowledge, the edited model catastrophically forgets historical knowledge. To address this gap, we propose a simple and general framework termed Multi-Editing with Time Objective (METO) for enhancing existing editing models, which edits both historical and new knowledge concurrently and optimizes the model's prediction for the time of each fact. Our assessments demonstrate that while AToKe is still difficult, METO maintains the effectiveness of learning new knowledge and meanwhile substantially improves the performance of edited models on utilizing historical knowledge.


title: Sharp upper bounds for integral quantities related to the Bellman function of three variables of the dyadic maximal operator

abstract: We obtain sharp upper bounds for integral quantities related to the Bellman function of three integral variables of the dyadic maximal operator.


title: C*: A New Bounding Approach for the Moving-Target Traveling Salesman Problem

abstract: We introduce a new bounding approach called Continuity* (C*) that provides optimality guarantees to the Moving-Target Traveling Salesman Problem (MT-TSP). Our approach relies on relaxing the continuity constraints on the agent's tour. This is done by partitioning the targets' trajectories into small sub-segments and allowing the agent to arrive at any point in one of the sub-segments and depart from any point in the same sub-segment when visiting each target. This lets us pose the bounding problem as a Generalized Traveling Salesman Problem (GTSP) in a graph where the cost of traveling an edge requires us to solve a new problem called the Shortest Feasible Travel (SFT). We also introduce C*-lite, which follows the same approach as C*, but uses simple and easy to compute lower-bounds to the SFT. We first prove that the proposed algorithms provide lower bounds to the MT-TSP. We also provide computational results to corroborate the performance of C* and C*-lite for instances with up to 15 targets. For the special case where targets travel along lines, we compare our C* variants with the SOCP based method, which is the current state-of-the-art solver for MT-TSP. While the SOCP based method performs well for instances with 5 and 10 targets, C* outperforms the SOCP based method for instances with 15 targets. For the general case, on average, our approaches find feasible solutions within ~4% of the lower bounds for the tested instances.


title: Estimation of the Galactocentric Distance of the Sun from Cepheids Close to the Solar Circle

abstract: Based on Cepheids located near the solar circle, we have determined the Galactocentric distance of the Sun $R_0$ and the Galactic rotation velocity at the solar distance $V_0$. For our analysis we used a sample of $\sim$200 classical Cepheids from the catalogue by Skowron et al. (2019), where the distances to them were determined from the period-luminosity relation. For these stars the proper motions and line-of-sight velocities were taken from the Gaia DR3 catalogue. The values of $R_0$ found lie within the range [7.8-8.3] kpc, depending on the heliocentric distance of the sample stars, on the adopted solar velocity relative to the local standard of rest, and on whether or not the perturbations caused by the Galactic spiral density wave are taken into account. The dispersion of the $R_0$ estimates is $\sim$2 kpc. Similarly, the values of $V_0$ lie within the range [240-270] km s$^{-1}$ with a dispersion of the estimates of 70-90 km s$^{-1}$. We consider the following estimates to be the final ones: $R_0=8.24\pm0.20$ kpc and $V_0=268\pm8$ km s$^{-1}$ found by taking into account the perturbations from the Galactic spiral density wave.


title: Vacuum currents for a scalar field in models with compact dimensions

abstract: This paper reviews the investigations on the vacuum expectation value of the current density for a charged scalar field in spacetimes with toroidally compactified spatial dimensions. As background geometries locally Minkowskian (LM), locally de Sitter (LdS) and locally anti-de Sitter (LAdS) spacetimes are considered. Along compact dimensions quasiperiodicity conditions are imposed on the field operator and the presence of a constant gauge field is assumed. The vacuum current has non-zero components only along compact dimensions. Those components are periodic functions of the magnetic flux enclosed by compact dimensions with the period equal to the flux quantum. For LdS and LAdS geometries and for small values of the length of a compact dimension, compared with the curvature radius, the leading term in the expansion of the the vacuum current along that dimension coincides with that for LM bulk. In this limit the dominant contribution to the mode sum for the current density comes from the vacuum fluctuations with wavelength smaller than the curvature radius and the influence of the gravitational field is weak. The effects of the gravitational field are essential for lengths of compact dimensions larger than the curvature radius. In particular, instead of the exponential suppression of the current density in LM bulk one can have power law decay in LdS and LAdS spacetimes.


title: Poisoning $\times$ Evasion: Symbiotic Adversarial Robustness for Graph Neural Networks

abstract: It is well-known that deep learning models are vulnerable to small input perturbations. Such perturbed instances are called adversarial examples. Adversarial examples are commonly crafted to fool a model either at training time (poisoning) or test time (evasion). In this work, we study the symbiosis of poisoning and evasion. We show that combining both threat models can substantially improve the devastating efficacy of adversarial attacks. Specifically, we study the robustness of Graph Neural Networks (GNNs) under structure perturbations and devise a memory-efficient adaptive end-to-end attack for the novel threat model using first-order optimization.


title: Aligner: One Global Token is Worth Millions of Parameters When Aligning Large Language Models

abstract: We introduce Aligner, a novel Parameter-Efficient Fine-Tuning (PEFT) method for aligning multi-billion-parameter-sized Large Language Models (LLMs). Aligner employs a unique design that constructs a globally shared set of tunable tokens that modify the attention of every layer. Remarkably with this method, even when using one token accounting for a mere 5,000 parameters, Aligner can still perform comparably well to state-of-the-art LLM adaptation methods like LoRA that require millions of parameters. This capacity is substantiated in both instruction following and value alignment tasks. Besides the multiple order-of-magnitude improvement in parameter efficiency, the insight Aligner provides into the internal mechanisms of LLMs is also valuable. The architectural features and efficacy of our method, in addition to our experiments demonstrate that an LLM separates its internal handling of "form" and "knowledge" in a somewhat orthogonal manner. This finding promises to motivate new research into LLM mechanism understanding and value alignment.


title: Incidence Coalgebras: Automorphisms and Derivations

abstract: We describe automorphisms and derivations of the incidence coalgebra $\text{Co}(X,F)$ of the partially ordered set $X$ over a field $F$. In this case, the fact is significantly used that the dual algebra of the coalgebra $\text{Co}(X,F)$ is isomorphic to the incidence algebra $I(X,F)$ of the partially ordered set $X$ over the field $F$.


title: Distinct Shortest Walk Enumeration for RPQs

abstract: We consider the Distinct Shortest Walks problem. Given two vertices $s$ and $t$ of a graph database $\mathcal{D}$ and a regular path query, enumerate all walks of minimal length from $s$ to $t$ that carry a label that conforms to the query. Usual theoretical solutions turn out to be inefficient when applied to graph models that are closer to real-life systems, in particular because edges may carry multiple labels. Indeed, known algorithms may repeat the same answer exponentially many times. We propose an efficient algorithm for multi-labelled graph databases. The preprocessing runs in $O{|\mathcal{D}|\times|\mathcal{A}|}$ and the delay between two consecutive outputs is in $O(\lambda\times|\mathcal{A}|)$, where $\mathcal{A}$ is a nondeterministic automaton representing the query and $\lambda$ is the minimal length. The algorithm can handle $\varepsilon$-transitions in $\mathcal{A}$ or queries given as regular expressions at no additional cost.


title: Trade-off of Security, Latency, and Throughput of the Nakamoto Consensus

abstract: This paper delves into the fundamental trade-off between security, latency, and throughput in proof-of-work longest-chain-wins protocols, also known as the Nakamoto consensus. New upper and lower bounds on the probability of violating transaction safety are derived as a function of honest and adversarial mining rates, an upper bound on block propagation delays, and transaction confirmation latency, both in time and in block depth. The results include a first closed-form finite-latency bound applicable to all delays and mining rates up to the ultimate fault tolerance. Notably, for most parameters relevant to Bitcoin and proof-of-work Ethereum, the gap between the upper and lower bounds is significantly narrower than the best gaps previously established in the literature. Furthermore, the paper reveals a fundamental trade-off between transaction throughput and confirmation latency, ultimately determined by the desired fault tolerance and the growth of block propagation delay as block size increases.


title: Direct Numerical Solutions to Stochastic Differential Equations with Multiplicative Noise

abstract: Inspired by path-integral solutions to the quantum relaxation problem, we develop a numerical method to solve classical stochastic differential equations with multiplicative noise that avoids averaging over trajectories. To test the method, we simulate the dynamics of a classical oscillator multiplicatively coupled to non-Markovian noise. When accelerated using tensor factorization techniques, it accurately estimates the transition into the bifurcation regime of the oscillator and outperforms trajectory-averaging simulations with a computational cost that is orders of magnitude lower.


title: Improving Adversarial Robust Fairness via Anti-Bias Soft Label Distillation

abstract: Adversarial Training (AT) has been widely proved to be an effective method to improve the adversarial robustness against adversarial examples for Deep Neural Networks (DNNs). As a variant of AT, Adversarial Robustness Distillation (ARD) has demonstrated its superior performance in improving the robustness of small student models with the guidance of large teacher models. However, both AT and ARD encounter the robust fairness problem: these models exhibit strong robustness when facing part of classes (easy class), but weak robustness when facing others (hard class). In this paper, we give an in-depth analysis of the potential factors and argue that the smoothness degree of samples' soft labels for different classes (i.e., hard class or easy class) will affect the robust fairness of DNN models from both empirical observation and theoretical analysis. Based on the above finding, we propose an Anti-Bias Soft Label Distillation (ABSLD) method to mitigate the adversarial robust fairness problem within the framework of Knowledge Distillation (KD). Specifically, ABSLD adaptively reduces the student's error risk gap between different classes to achieve fairness by adjusting the class-wise smoothness degree of samples' soft labels during the training process, and the smoothness degree of soft labels is controlled by assigning different temperatures in KD to different classes. Extensive experiments demonstrate that ABSLD outperforms state-of-the-art AT, ARD, and robust fairness methods in terms of overall performance of robustness and fairness.


title: Rank-two reflexive sheaves on the projective space with second Chern class equal to four

abstract: We study rank-two reflexive sheaves on $\mathbb{P}^3$ with $c_2 =4$, expanding on previous results for $c_2\le3$. We show that every spectrum not previously ruled out is realized. Moreover, moduli spaces are studied and described in detail for $c_1=-1$ or $0$ and $c_3\ge8$.


title: Repeating FRBs reveal the secret of pulsar magnetospheric activity

abstract: The puzzling mechanism of coherent radio emission remains unknown, but fortunately, repeating fast radio bursts (FRBs) provide a precious opportunity, with extremely bright subpulses created in a clear and vacuum-like pulsar magnetosphere. FRBs are millisecond-duration signals that are highly dispersed at distant galaxies but with uncertain physical origin(s). Coherent curvature radiation by bunches has already been proposed for repeating FRBs. The charged particles are created during central star's quakes, which can form bunches streaming out along curved magnetic field lines, so as to trigger FRBs. The nature of narrow-band radiation with time-frequency drifting can be a natural consequence that bunches could be observed at different times with different curvatures. Additionally, high linear-polarization can be seen if the line of sight is confined to the beam angle, whereas the emission could be highly circular-polarized if off-beam. It is also discussed that pulsar surface may be full of small hills (i.e., zits) which would help producing bulk of energetic bunches for repeating FRBs as well as for rotation-powered pulsars.


title: Error analysis of BDF 1-6 time-stepping methods for the transient Stokes problem: velocity and pressure estimates

abstract: We present a new stability and error analysis of fully discrete approximation schemes for the transient Stokes equation. For the spatial discretization, we consider a wide class of Galerkin finite element methods which includes both inf-sup stable spaces and symmetric pressure stabilized formulations. We extend the results from Burman and Fern\'andez [\textit{SIAM J. Numer. Anal.}, 47 (2009), pp. 409-439] and provide a unified theoretical analysis of backward difference formulae (BDF methods) of order 1 to 6. The main novelty of our approach lies in the use of Dahlquist's G-stability concept together with multiplier techniques introduced by Nevannlina-Odeh and recently by Akrivis et al. [\textit{SIAM J. Numer. Anal.}, 59 (2021), pp. 2449-2472] to derive optimal stability and error estimates for both the velocity and the pressure. When combined with a method dependent Ritz projection for the initial data, unconditional stability can be shown while for arbitrary interpolation, pressure stability is subordinate to the fulfillment of a mild inverse CFL-type condition between space and time discretizations.


title: Computational workflow for investigating hydrogen permeation in novel hydrogen storage materials

abstract: The United States Department of Energy (DOE) has set ambitious targets for hydrogen storage materials for onboard light-duty cars which are to be achieved by 2027. One of the major problems in solid hydrogen storage materials is the sluggish uptake/release kinetics. Much attention has been focused on understanding kinetics. Hydrogen solid-state diffusion is a rate-controlling step in the majority of metal hydrides. Here we dis-cuss computational workflow which can be used to estimate hydrogen diffusivity. A de-tailed study of hydrogen concentration, hydrogen neighbors is performed on nickel hy-dride (NiH) fcc materials to understand their effect on H diffusion. The nudged elastic band (NEB) method is used to determine hydrogen diffusion barrier with various hydro-gen concentrations in presence of hydrogen neighbors. The energy barriers for hydrogen hopping were calculated for few million different configurations with various local chemical environments. Two paths for H hopping from one octahedral site to a vacant neighbor octahedral site are identified: one path is straight, and the other is curved via tetrahedral site. The curved path shows diffusion faster than the straight path. This study demonstrates H diffusion is faster at higher hydrogen concentration, as the concomitant volume expansion lowers the energy barrier.


title: Machine Learning applications for Cataclysmic Variable discovery in the ZTF alert stream

abstract: Cataclysmic variables (CV) encompass a diverse array of accreting white dwarf binary systems. Each class of CV represents a snapshot along an evolutionary journey, one with the potential to trigger a type Ia supernova event. The study of CVs offers valuable insights into binary evolution and accretion physics, with the rarest examples potentially providing the deepest insights. However, the escalating number of detected transients, coupled with our limited capacity to investigate them all, poses challenges in identifying such rarities. Machine Learning (ML) plays a pivotal role in addressing this issue by facilitating the categorisation of each detected transient into its respective transient class. Leveraging these techniques, we have developed a two-stage pipeline tailored to the ZTF transient alert stream. The first stage is an alerts filter aimed at removing non-CVs, while the latter is an ML classifier produced using XGBoost, achieving a macro average AUC score of 0.92 for distinguishing between CV classes. By utilising the Generative Topographic Mapping algorithm with classifier posterior probabilities as input, we obtain representations indicating that CV evolutionary factors play a role in classifier performance, while the associated feature maps present a potent tool for identifying the features deemed most relevant for distinguishing between classes. Implementation of the pipeline in June 2023 yielded 51 intriguing candidates that are yet to be reported as CVs or classified with further granularity. Our classifier represents a significant step in the discovery and classification of different CV classes, a domain of research still in its infancy.


title: Prime orbit theorems for expanding Thurston maps: Dirichlet series and orbifolds

abstract: We obtain an analog of the prime number theorem for a class of branched covering maps on the $2$-sphere $S^2$ called expanding Thurston maps, which are topological models of some non-uniformly expanding rational maps without any smoothness or holomorphicity assumptions. More precisely, we show that the number of primitive periodic orbits, ordered by a weight on each point induced by an (eventually) positive real-valued H\"{o}lder continuous function on $S^2$ that is not cohomologous to a constant, is asymptotically the same as the well-known logarithmic integral. In particular, our results apply to postcritically-finite rational maps for which the Julia set is the whole Riemann sphere.


title: Exploration of Superposition Theorem in Spectrum Space for Composite Event Analysis in an ADN

abstract: This study presents a formulation of the Superposition Theorem (ST) in the spectrum space, tailored for the analysis of composite events in an active distribution network (ADN). Our formulated ST enables a quantitative analysis on a composite event, uncovering the property of additivity among independent atom events in the spectrum space. This contribution is a significant addition to the existing literature and has profound implications in various application scenarios. To accomplish this, we leverage random matrix theory (RMT), specifically the asymptotic empirical spectral distribution, Stieltjes transform, and R transform. These mathematical tools establish a nonlinear, model-free, and unsupervised addition operation in the spectrum space. Comprehensive details, including a related roadmap,theorems, deductions, and proofs, are provided in this work. Case studies, utilizing field data, validate our newly derived ST formulation by demonstrating a remarkable performance. Our ST formulation is model-free, non-linear, non-supervised, theory-guided, and uncertainty-insensitive, making it a valuable asset in the realm of composite event analysis in ADN.


title: Stateful Large Language Model Serving with Pensieve

abstract: Large Language Models (LLMs) are wildly popular today and it is important to serve them efficiently. Existing LLM serving systems are stateless across requests. Consequently, when LLMs are used in the common setting of multi-turn conversations, a growing log of the conversation history must be processed alongside any request by the serving system at each turn, resulting in repeated processing. In this paper, we design Pensieve, a system optimized for multi-turn conversation LLM serving. Pensieve maintains the conversation state across requests by caching previously processed history to avoid duplicate processing. Pensieve's multi-tier caching strategy can utilize both GPU and CPU memory to efficiently store and retrieve cached data. Pensieve also generalizes the recent PagedAttention kernel to support attention between multiple input tokens with a GPU cache spread over non-contiguous memory. Our evaluation shows that Pensieve can achieve 13-58% more throughput compared to vLLM and TensorRT-LLM and significantly reduce latency.


title: Flexible Base Station Sleeping and Resource Cooperation Enabled Green Fully-Decoupled RAN

abstract: Base station (BS) sleeping, a promising technique to address the growing energy consumption in wireless communication networks, encounters challenges such as coverage holes and coupled uplink and downlink transmissions. As an innovative architecture designed for future-generation mobile communication networks, the fully-decoupled radio access network (FD-RAN) is anticipated to overcome these challenges by fully decoupled control-data planes and uplink-downlink transmissions. In this paper, we investigate energy-efficient uplink FD-RAN leveraging flexible BS sleeping and resource cooperation. First, we introduce a holistic energy consumption model and formulate a bi-level energy efficiency maximizing problem for FD-RAN, involved with the joint optimization of user equipment (UE) association, BS sleeping, and power control. Subsequently, through employing the Tammer decomposition method, the formulated bi-level problem is converted into two equivalent upper-level and lower-level problems. The lower-level problem encompassed with UE power control is addressed by introducing a successive lower-bound maximization-based Dinkelbach's algorithm, and the upper-level problem for UE association and BS sleeping is solved through a modified low-complexity many-to-many swap matching algorithm, respectively. Extensive simulation results not only demonstrate the superior effectiveness of FD-RAN and our proposed algorithms but also reveal the sources of energy efficiency gains within FD-RAN.


title: Marangoni spreading on liquid substrates in new media art

abstract: With the advent of new media art, artists have harnessed fluid dynamics to create captivating visual narratives. A striking technique known as dendritic painting employs mixtures of ink and isopropanol atop paint, yielding intricate tree-like patterns. To unravel the intricacies of that technique, we examine the spread of ink/alcohol droplets over liquid substrates with diverse rheological properties. On Newtonian substrates, the droplet size evolution exhibits two power laws, suggesting an underlying interplay between viscous and Marangoni forces. The leading edge of the droplet spreads as a precursor film with an exponent of 3/8, while its main body spreads with an exponent of 1/4. For a weakly shear-thinning acrylic resin substrate, the same power laws persist, but dendritic structures emerge, and the texture of the precursor film roughens. The observed roughness and growth exponents (3/4 and 3/5) suggest a connection to the quenched Kardar--Parisi--Zhang universality class, hinting at the existence of quenched disorder in the liquid substrate. Mixing the resin with acrylic paint renders it more viscous and shear-thinning, refining the dendrite edges and further roughening the precursor film. At larger paint concentrations, the substrate becomes a power-law fluid. The roughness and growth exponents then approach 1/2 and 3/4, respectively, deviating from known universality classes. The ensuing structures have a fractal dimension of 1.68, characteristic of diffusion-limited aggregation. These findings underscore how the non-linear rheological properties of the liquid substrate, coupled with the Laplacian nature of Marangoni spreading, can overshadow the local kinetic roughening of the droplet interface.


title: Isomorphic-Consistent Variational Graph Auto-Encoders for Multi-Level Graph Representation Learning

abstract: Graph representation learning is a fundamental research theme and can be generalized to benefit multiple downstream tasks from the node and link levels to the higher graph level. In practice, it is desirable to develop task-agnostic general graph representation learning methods that are typically trained in an unsupervised manner. Related research reveals that the power of graph representation learning methods depends on whether they can differentiate distinct graph structures as different embeddings and map isomorphic graphs to consistent embeddings (i.e., the isomorphic consistency of graph models). However, for task-agnostic general graph representation learning, existing unsupervised graph models, represented by the variational graph auto-encoders (VGAEs), can only keep the isomorphic consistency within the subgraphs of 1-hop neighborhoods and thus usually manifest inferior performance on the more difficult higher-level tasks. To overcome the limitations of existing unsupervised methods, in this paper, we propose the Isomorphic-Consistent VGAE (IsoC-VGAE) for multi-level task-agnostic graph representation learning. We first devise a decoding scheme to provide a theoretical guarantee of keeping the isomorphic consistency under the settings of unsupervised learning. We then propose the Inverse Graph Neural Network (Inv-GNN) decoder as its intuitive realization, which trains the model via reconstructing the GNN node embeddings with multi-hop neighborhood information, so as to maintain the high-order isomorphic consistency within the VGAE framework. We conduct extensive experiments on the representative graph learning tasks at different levels, including node classification, link prediction and graph classification, and the results verify that our proposed model generally outperforms both the state-of-the-art unsupervised methods and representative supervised methods.


title: Augmenty: A Python Library for Structured Text Augmentation

abstract: Augmnety is a Python library for structured text augmentation. It is built on top of spaCy and allows for augmentation of both the text and its annotations. Augmenty provides a wide range of augmenters which can be combined in a flexible manner to create complex augmentation pipelines. It also includes a set of primitives that can be used to create custom augmenters such as word replacement augmenters. This functionality allows for augmentations within a range of applications such as named entity recognition (NER), part-of-speech tagging, and dependency parsing.


title: On functions with Fourier transforms in Generalized Grand Lebesgue space

abstract: Let $1<p,q<\infty ,\ \theta_1 \geq 0,\ \theta_2 \geq 0$ and let $a(x), b(x)$ be a weight functions. In the present paper we intend to study the function space $A_{q),\theta _{2}}^{p),\theta _{1}}\left( \mathbb R^n\right)$ consisting of all functions $f\in L_a^{p),\theta_1 }\left( \mathbb R^n\right) $ whose generalized Fourier transforms $\widehat{f}$ belong to grand $L_b^{q),\theta_2 }\left( \mathbb R^n\right), $ where $ L_a^{p),\theta_1 }\left( \mathbb R^n\right)$ and $L_b^{q),\theta_2 }\left( \mathbb R^n\right) $ are generalized grand Lebesgue spaces. In the second section some definitions and notations used in this work are given. In the third and fourth sections we discuss some basic properties and inclusion properties of $A_{q),\theta _{2}}^{p),\theta _{1}}\left( \mathbb R^n\right)$. In the fifth section we characterize the multipliers from ${L^{1 }(\mathbb R^{n}, a^{\frac{\varepsilon}{p}})}$ to $( L_a^{p),\theta}\left(\mathbb R^{n}\right))^{\ast}$ and from ${L^{1 }(\mathbb R^{n}, a^{\frac{\varepsilon}{p}})}$ into $(A_{q),\theta_2}^{p),\theta_1}\left(\mathbb R^{n}\right))^{\ast}$ for ${0<\varepsilon \leq p-1}.$ The importance of this section is that, it gives us some insight into the structure of the dual space $( L_a^{p),\theta}\left(\mathbb R^{n}\right))^{\ast}$ of the generalized grand Lebesgue space, the properties of which are not yet known. Later we discuss duality and reflexivitiy properties of the space $A_{q),\theta _{2}}^{p),\theta _{1}}\left( \mathbb R^n\right)$.


title: The cyclic flats of $\mathcal{L}$-polymatroids

abstract: We consider properties of the class of $\mathcal{L}$-polymatroids, especially those that are defined on a finite modular complemented lattice $\mathcal{L}$. We give a set of cover-weight axioms and hence give a cryptomorphism between these axioms and the rank axioms of an $\mathcal{L}$-polymatroid. We introduce the notion of a cyclic flat of an $\mathcal{L}$-polymatroid and study properties of its lattice of cyclic flats. We show that the weighted lattice of cyclic flats of an $\mathcal{L}$-polymatroid along with its atomic weights are sufficient to define its rank function on $\mathcal{L}$. In our main result, we characterise those lattices $\mathcal{Z} \subseteq \mathcal{L}$ such that $\mathcal{Z}$ is the collection of cyclic flats of an $\mathcal{L}$-polymatroid.


title: Functional Data Analysis: An Introduction and Recent Developments

abstract: Functional data analysis (FDA) is a statistical framework that allows for the analysis of curves, images, or functions on higher dimensional domains. The goals of FDA, such as descriptive analyses, classification, and regression, are generally the same as for statistical analyses of scalar-valued or multivariate data, but FDA brings additional challenges due to the high- and infinite dimensionality of observations and parameters, respectively. This paper provides an introduction to FDA, including a description of the most common statistical analysis techniques, their respective software implementations, and some recent developments in the field. The paper covers fundamental concepts such as descriptives and outliers, smoothing, amplitude and phase variation, and functional principal component analysis. It also discusses functional regression, statistical inference with functional data, functional classification and clustering, and machine learning approaches for functional data analysis. The methods discussed in this paper are widely applicable in fields such as medicine, biophysics, neuroscience, and chemistry, and are increasingly relevant due to the widespread use of technologies that allow for the collection of functional data. Sparse functional data methods are also relevant for longitudinal data analysis. All presented methods are demonstrated using available software in R by analyzing a data set on human motion and motor control. To facilitate the understanding of the methods, their implementation, and hands-on application, the code for these practical examples is made available on Github: https://github.com/davidruegamer/FDA_tutorial .


title: Web of Science Core Collection's coverage expansion:The forgotten Arts & Humanities Citation Index?

abstract: The expansion of Web of Science Core Collection (WoSCC) over the recent years has partially accounted for the "norm" of growth of research output in many bibliometric analysis studies. However, the expansion patterns of different citation indexes may be different, which may benefit some disciplines but hinder others. Utilizing Science Citation Index Expanded (SCIE), Social Sciences Citation Index (SSCI), and Arts & Humanities Citation Index (A&HCI), this study attempts to elaborate on WoSCC's coverage expansion patterns among these three databases from 2001 to 2020. Results show that different from SCIE/SSCI, both the annual publication volumes in the A&HCI database and all A&HCI journals have remained relatively stagnant in all document types considered scenario or have gained relatively slight increases in only citable items considered scenario. Although the number of A&HCI journals also has increased remarkably, the average journal publication volume of A&HCI journals has decreased gradually if all document types are considered or kept relatively stagnant when citable items only are considered. Besides, the A&HCI database has ceased the systematic index of individually selected items from SCIE/SSCI journals since 2018. The study finally discusses the possible causes and consequences of the unbalanced expansion of WoSCC's different citation indexes.


title: You Only Learn One Query: Learning Unified Human Query for Single-Stage Multi-Person Multi-Task Human-Centric Perception

abstract: Human-centric perception (e.g. pedetrian detection, segmentation, pose estimation, and attribute analysis) is a long-standing problem for computer vision. This paper introduces a unified and versatile framework (HQNet) for single-stage multi-person multi-task human-centric perception (HCP). Our approach centers on learning a unified human query representation, denoted as Human Query, which captures intricate instance-level features for individual persons and disentangles complex multi-person scenarios. Although different HCP tasks have been well-studied individually, single-stage multi-task learning of HCP tasks has not been fully exploited in the literature due to the absence of a comprehensive benchmark dataset. To address this gap, we propose COCO-UniHuman benchmark dataset to enable model development and comprehensive evaluation. Experimental results demonstrate the proposed method's state-of-the-art performance among multi-task HCP models and its competitive performance compared to task-specific HCP models. Moreover, our experiments underscore Human Query's adaptability to new HCP tasks, thus demonstrating its robust generalization capability. Codes and data will be publicly accessible.


title: Reinforcement Neighborhood Selection for Unsupervised Graph Anomaly Detection

abstract: Unsupervised graph anomaly detection is crucial for various practical applications as it aims to identify anomalies in a graph that exhibit rare patterns deviating significantly from the majority of nodes. Recent advancements have utilized Graph Neural Networks (GNNs) to learn high-quality node representations for anomaly detection by aggregating information from neighborhoods. However, the presence of anomalies may render the observed neighborhood unreliable and result in misleading information aggregation for node representation learning. Selecting the proper neighborhood is critical for graph anomaly detection but also challenging due to the absence of anomaly-oriented guidance and the interdependence with representation learning. To address these issues, we utilize the advantages of reinforcement learning in adaptively learning in complex environments and propose a novel method that incorporates Reinforcement neighborhood selection for unsupervised graph ANomaly Detection (RAND). RAND begins by enriching the candidate neighbor pool of the given central node with multiple types of indirect neighbors. Next, RAND designs a tailored reinforcement anomaly evaluation module to assess the reliability and reward of considering the given neighbor. Finally, RAND selects the most reliable subset of neighbors based on these rewards and introduces an anomaly-aware aggregator to amplify messages from reliable neighbors while diminishing messages from unreliable ones. Extensive experiments on both three synthetic and two real-world datasets demonstrate that RAND outperforms the state-of-the-art methods.


title: Rare K decays off and on the lattice

abstract: The importance of rare $K$ decays especially in the context of a kaon unitarity triangle (KUT) is emphasized. The decay $K_L \to \pi^0 \nu \bar \nu$ is theoretically very clean but experimentally extremely challenging. The Standard Model prediction $\mathcal{B}\sim 3 \times 10^{-11}$ is still about two orders of magnitude away from the current experimental upper bound. One way to continue to make progress towards the construction of a KUT is by improving the accuracy in the calculation of $\varepsilon'$. Another way which is the primary focus here is via studies of $K^0 \to \pi^0 \mu^+ \mu^-$. LHCb, J-PARC, the proposed HIKE project, phenomenology, and in fact precision studies on the lattice can all play a very important role in this context.


title: Exploring 3D U-Net Training Configurations and Post-Processing Strategies for the MICCAI 2023 Kidney and Tumor Segmentation Challenge

abstract: In 2023, it is estimated that 81,800 kidney cancer cases will be newly diagnosed, and 14,890 people will die from this cancer in the United States. Preoperative dynamic contrast-enhanced abdominal computed tomography (CT) is often used for detecting lesions. However, there exists inter-observer variability due to subtle differences in the imaging features of kidney and kidney tumors. In this paper, we explore various 3D U-Net training configurations and effective post-processing strategies for accurate segmentation of kidneys, cysts, and kidney tumors in CT images. We validated our model on the dataset of the 2023 Kidney and Kidney Tumor Segmentation (KiTS23) challenge. Our method took second place in the final ranking of the KiTS23 challenge on unseen test data with an average Dice score of 0.820 and an average Surface Dice of 0.712.


title: Bipartite $q$-Kneser graphs and two-generated irreducible linear groups

abstract: Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $\Gamma_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section.


title: Towards Smart Healthcare: Challenges and Opportunities in IoT and ML

abstract: The COVID-19 pandemic and other ongoing health crises have underscored the need for prompt healthcare services worldwide. The traditional healthcare system, centered around hospitals and clinics, has proven inadequate in the face of such challenges. Intelligent wearable devices, a key part of modern healthcare, leverage Internet of Things technology to collect extensive data related to the environment as well as psychological, behavioral, and physical health. However, managing the substantial data generated by these wearables and other IoT devices in healthcare poses a significant challenge, potentially impeding decision-making processes. Recent interest has grown in applying data analytics for extracting information, gaining insights, and making predictions. Additionally, machine learning, known for addressing various big data and networking challenges, has seen increased implementation to enhance IoT systems in healthcare. This chapter focuses exclusively on exploring the hurdles encountered when integrating ML methods into the IoT healthcare sector. It offers a comprehensive summary of current research challenges and potential opportunities, categorized into three scenarios: IoT-based, ML-based, and the implementation of machine learning methodologies in the IoT-based healthcare industry. This compilation will assist future researchers, healthcare professionals, and government agencies by offering valuable insights into recent smart healthcare advancements.


title: KEN: Kernel Extensions using Natural Language

abstract: The ability to modify and extend an operating system is an important feature for improving a system's security, reliability, and performance. The extended Berkeley Packet Filters (eBPF) ecosystem has emerged as the standard mechanism for extending the Linux kernel and has recently been ported to Windows. eBPF programs inject new logic into the kernel that the system will execute before or after existing logic. While the eBPF ecosystem provides a flexible mechanism for kernel extension, it is difficult for developers to write eBPF programs today. An eBPF developer must have deep knowledge of the internals of the operating system to determine where to place logic and cope with programming limitations on the control flow and data accesses of their eBPF program enforced by the eBPF verifier. This paper presents KEN, an alternative framework that alleviates the difficulty of writing an eBPF program by allowing Kernel Extensions to be written in Natural language. KEN uses recent advances in large language models (LLMs) to synthesize an eBPF program given a user's English language prompt. To ensure that LLM's output is semantically equivalent to the user's prompt, KEN employs a combination of LLM-empowered program comprehension, symbolic execution, and a series of feedback loops. KEN's key novelty is the combination of these techniques. In particular, the system uses symbolic execution in a novel structure that allows it to combine the results of program synthesis and program comprehension and build on the recent success that LLMs have shown for each of these tasks individually. To evaluate KEN, we developed a new corpus of natural language prompts for eBPF programs. We show that KEN produces correct eBPF programs on 80% which is an improvement of a factor of 2.67 compared to an LLM-empowered program synthesis baseline.


title: Deep imaging with Milankovi\'c telescope: Linking merger history to kinematics of elliptical galaxies

abstract: Kinematical and morphological features observed in early-type galaxies provide valuable insights into the evolution of their hosts. We studied the origin of prolate rotation (i.e., rotation around the long axis) in Illustris large-scale cosmological hydrodynamical simulations. We found that basically all the simulated massive prolate rotators were created in relatively recent major mergers of galaxies. Such mergers are expected to produce tidal features such as tails, shells, asymmetric stellar halos. We investigated deep optical images of prolate rotators, including newly obtained Milankovi\'c data, revealing signs of galaxy interaction in all of them. This correlation proves to be statistically very significant when compared with a general sample of early-type galaxies from the MATLAS deep imaging survey. In an ongoing project, we use Milankovi\'c to assemble deep images of the complete sample of all known nearby massive prolate rotators. Additionally, we searched these data for asteroids to improve the accuracy of trajectories and even discover one previously unknown main-belt asteroid. The most frequent tidal features among the prolate rotators happen to be shells. We developed methods to calculate the probable time of the merger from optical images. This will allow us to compare the merger history of the sample with predictions from Illustris. Our plan is to expand these methods to even larger samples of shell galaxies supplied by upcoming large surveys like LSST at Rubin Observatory. This will provide an unprecedented amount of statistically significant data on the recent merger history of our Universe and allow extensive investigation of the impact of mergers to a wide range of other astrophysical phenomena.


title: Broken weak and strong spin rotational symmetries and tunable interaction between phonon and the continuum in Cr2Ge2Te6

abstract: Phase transitions with lowering temperature is a manifestation of decreased entropy and within the Landau theoretical framework these are accompanied by the symmetry breaking. Whenever a symmetry is broken weakly or strongly, it leaves its trail and the same may be captured indirectly using renormalization of the quasi-particle excitations. Cr2Ge2Te6, a quasi-two-dimensional magnetic material, provides a rich playground to probe dynamics of the quasi-particle excitations as well as multiple phase transitions with lowering temperature intimately linked with the lattice and spin degrees of freedom. Here, we report in-depth inelastic light scattering measurements on single crystals of Cr2Ge2Te6 as a function of temperature, from 6 K to 330 K, and polarization. Our measurements reveal the long as well as short range ordering of the spins below Tc (~ 60 K) and T* (~ 180 K), respectively; setting the stage for broken rotational and time reversal symmetry, gauged via the distinct renormalization of the phonon self-energy parameters along with the modes intensity. Our measurements also uncovered an intriguing dependence of the interaction strength between discrete state (phonon here) and the underlying continuum, quantified using the Fano asymmetry parameter, as a function of the scattered light polarization. Our results suggest the possibility of tuning the interaction strength using controlled scattered light and symmetry in this 2D magnet.


title: Extended codes and deep holes of MDS codes

abstract: For a given linear code $\C$ of length $n$ over $\gf(q)$ and a nonzero vector $\bu$ in $\gf(q)^n$, Sun, Ding and Chen defined an extended linear code $\overline{\C}(\bu)$ of $\C$, which is a generalisation of the classical extended code $\overline{\C}(-\bone)$ of $\C$ and called the second kind of an extended code of $\C$ (see arXiv:2307.04076 and arXiv:2307.08053). They developed some general theory of the extended codes $\overline{\C}(\bu)$ and studied the extended codes $\overline{\C}(\bu)$ of several families of linear codes, including cyclic codes, projective two-weight codes, nonbinary Hamming codes, and a family of reversible MDS cyclic codes. The objective of this paper is to investigate the extended codes $\overline{\C}(\bu)$ of MDS codes $\C$ over finite fields. The main result of this paper is that the extended code $\overline{\C}(\bu)$ of an MDS $[n,k]$ code $\C$ remains MDS if and only if the covering radius $\rho(\mathcal{C}^{\bot})=k$ and the vector $\bu$ is a deep hole of the dual code $\C^\perp$. As applications of this main result, the extended codes of the GRS codes and extended GRS codes are investigated and the covering radii of several families of MDS codes are determined.


title: Chemical potential of magnetic skyrmion quasiparticles in heavy metal/iron bilayers

abstract: We performed metadynamics Monte Carlo simulations to obtain the free energy as a function of the topological charge in the skyrmion-hosting magnetic model systems (Pt$_{0.95}$Ir$_{0.05}$)/Fe/Pd(111) and Pd/Fe/Ir(111), using a spin model containing parameters based on ab initio calculations. Using the topological charge as collective variable, this method allows for evaluating the temperature dependence of the number of skyrmionic quasiparticles. In addition, from the free-energy cost of increasing and decreasing the topological charge of the system we determined chemical potentials as a function of the temperature. At lower temperature, the chemical potential for creating skyrmions and antiskyrmions from the topologically trivial state is different. This splitting of the chemical potential is particularly pronounced for large external magnetic fields when the system is in a field-polarized phase. We observed a change in the shape of the free-energy curves when skyrmion-skyrmion interactions become more pronounced.


title: Influence of capillary number on nonlinear Rayleigh-Taylor instability to the Navier-Stokes-Korteweg equations

abstract: Motivated by Bresch, Desjardins, Gisclon and Sart (2008), in this paper, we study the influence of capillary number on an instability result related to the Navier-Stokes-Korteweg equations. Precisely, we investigate the instability of a steady-state profile with a heavier fluid lying above a lighter fluid, i.e., to study the Rayleigh-Taylor instability problem if the capillary number is below the critical value. After writing the nonlinear equations in a perturbed form, the first part is to provide a spectral analysis showing that, there exist possibly multiple normal modes to the linearized equations by following the operator method of Lafitte-Nguyen (2022). Hence, we construct a wide class of initial data for which the nonlinear perturbation problem departs from the equilibrium, based on the finding of possibly multiple normal modes. Using a refined framework of Guo-Strauss (1995), we prove the nonlinear instability.


title: Study of 3-dimensional SU(2) gauge theory with adjoint Higgs as a model for cuprate superconductors

abstract: We study a 3-dimensional SU(2) gauge theory with 4 Higgs fields which transform under the adjoint representation of the gauge group, that has been recently proposed by Sachdev et al. to explain the physics of cuprate superconductors near optimal doping. The symmetric confining phase of the theory corresponds to the usual Fermi-liquid phase while the broken (Higgs) phase is associated with the interesting pseudogap phase of cuprates. We employ the Hybrid Monte-Carlo algorithm to study the phase diagram of the theory. We find the existence of a variety of broken phases in qualitative accordance with earlier mean-field predictions and discuss their role in cuprates. In addition, we investigate the behavior of Polyakov loop to probe the confinement/deconfinement phase transition, and find that the Higgs phase hosts a stable deconfining phase consistent with previous studies.


title: CSL: Class-Agnostic Structure-Constrained Learning for Segmentation Including the Unseen

abstract: Addressing Out-Of-Distribution (OOD) Segmentation and Zero-Shot Semantic Segmentation (ZS3) is challenging, necessitating segmenting unseen classes. Existing strategies adapt the class-agnostic Mask2Former (CA-M2F) tailored to specific tasks. However, these methods cater to singular tasks, demand training from scratch, and we demonstrate certain deficiencies in CA-M2F, which affect performance. We propose the Class-Agnostic Structure-Constrained Learning (CSL), a plug-in framework that can integrate with existing methods, thereby embedding structural constraints and achieving performance gain, including the unseen, specifically OOD, ZS3, and domain adaptation (DA) tasks. There are two schemes for CSL to integrate with existing methods (1) by distilling knowledge from a base teacher network, enforcing constraints across training and inference phrases, or (2) by leveraging established models to obtain per-pixel distributions without retraining, appending constraints during the inference phase. We propose soft assignment and mask split methodologies that enhance OOD object segmentation. Empirical evaluations demonstrate CSL's prowess in boosting the performance of existing algorithms spanning OOD segmentation, ZS3, and DA segmentation, consistently transcending the state-of-art across all three tasks.


title: Numerical Simulation of the Cleaning Process of Microchannel by an External Stationary Flow

abstract: Clogging of microchannels due to particle adhesion on the walls is a serious problem in many industrial processes. As such, the service life of microfluidic systems is determined by their ability to maintain flow without interruption over a long period of time. Quite often, cleaning of microfluidic and filtration systems by flushing them with a clean liquid flow is used to extend their operating time. A hydrodynamic approach is required for modeling of the cleaning process. In this paper, a mathematical model of microchannel cleaning from fine particles due to interaction with the flow is proposed. The interaction of particles with the flow is described within the Stokes approximation, a random force caused by diffusion is taken into account. The interaction between particles is neglected. The interaction with the channel walls is caused by van der Waals force only. The equations describing the dynamics of particles and flow changes inside the microchannel during their detachment are obtained. The problem is solved numerically in the framework of the random walk model with statistical processing of obtaining data. The flow characteristics and the time of microchannel cleaning depending on the model parameters are obtained


title: Federated Causality Learning with Explainable Adaptive Optimization

abstract: Discovering the causality from observational data is a crucial task in various scientific domains. With increasing awareness of privacy, data are not allowed to be exposed, and it is very hard to learn causal graphs from dispersed data, since these data may have different distributions. In this paper, we propose a federated causal discovery strategy (FedCausal) to learn the unified global causal graph from decentralized heterogeneous data. We design a global optimization formula to naturally aggregate the causal graphs from client data and constrain the acyclicity of the global graph without exposing local data. Unlike other federated causal learning algorithms, FedCausal unifies the local and global optimizations into a complete directed acyclic graph (DAG) learning process with a flexible optimization objective. We prove that this optimization objective has a high interpretability and can adaptively handle homogeneous and heterogeneous data. Experimental results on synthetic and real datasets show that FedCausal can effectively deal with non-independently and identically distributed (non-iid) data and has a superior performance.


title: DPoser: Diffusion Model as Robust 3D Human Pose Prior

abstract: This work targets to construct a robust human pose prior. However, it remains a persistent challenge due to biomechanical constraints and diverse human movements. Traditional priors like VAEs and NDFs often exhibit shortcomings in realism and generalization, notably with unseen noisy poses. To address these issues, we introduce DPoser, a robust and versatile human pose prior built upon diffusion models. DPoser regards various pose-centric tasks as inverse problems and employs variational diffusion sampling for efficient solving. Accordingly, designed with optimization frameworks, DPoser seamlessly benefits human mesh recovery, pose generation, pose completion, and motion denoising tasks. Furthermore, due to the disparity between the articulated poses and structured images, we propose truncated timestep scheduling to enhance the effectiveness of DPoser. Our approach demonstrates considerable enhancements over common uniform scheduling used in image domains, boasting improvements of 5.4%, 17.2%, and 3.8% across human mesh recovery, pose completion, and motion denoising, respectively. Comprehensive experiments demonstrate the superiority of DPoser over existing state-of-the-art pose priors across multiple tasks.


title: Geometric properties of integrable Kepler and Hooke billiards with conic section boundaries

abstract: We study the geometry of reflection of a massive point-like particle at conic section boundaries. Thereby the particle is subjected to a central force associated with either a Kepler or Hooke potential. The conic section is assumed to have a focus at the Kepler center, or have its center at the Hookian center respectively. When the particle hits the boundary it is ideally reflected according to the law of reflection. These systems are known to be integrable. We describe the consecutive billiard orbits in terms of their foci. We show that the second foci of these orbits always lie on a circle in the Kepler case. In the Hooke case, we show that the foci of the orbits lie on a Cassini oval. For both systems we analyze the envelope of the directrices of the orbits as well.

categories: math.DS math-ph math.MP physics.class-ph


title: Scale-free network generation model with addition and deletion of nodes based on triadic closure mechanism

abstract: Many real systems exhibit the processes of growth and shrink. In this paper, we propose a network evolution model based on the simultaneous application of both node addition and deletion rules. To obtain a higher clustering that is present in real social networks, the model employs the triadic formation step at each iteration. The results show that the degree distribution in the networks generated based on this model follows a power law.


title: Magnetic properties of ferro-antiferromagnetic spin triangle chain

abstract: We study the frustrated spin-$\frac{1}{2}$ model consisting of a linear chain of triangles with ferro (F)- and antiferromagnetic (AF) interactions connected by ferromagnetic interactions (triangles chain). The ground state phase diagram as a function of the frustration parameter (a ratio of F and AF interactions) and the interaction between triangles consists of the ferromagnetic, two ferrimagnetic and the singlet phases. We study the magnetic properties in these phases and analyze the magnetization curves. We show that there are the magnetization plateau in the singlet phase and the magnetization jumps in some region of this phase. We study the low-thermodynamics and its relation to the specific structure of the excitation spectrum of the triangle chain.


title: Deformation and motion of giant unilamellar vesicles loaded with gold nanoparticles driven by induced charge electro-osmotic flow

abstract: A vesicle is a spherical structure composed of a phospholipid bilayer that is used as a container for chemicals, both it in vivo and it in vitro systems. In both cases, the vesicles can be passively moved using external molecular motors or flows. The active motion of the vesicles can potentially expand their applications in microfluid devices. In this study, we created giant unilamellar vesicles (GUVs) that loads dodecanethiol-functionalized gold nanoparticles (AuNPs) using natural swelling method. An external alternating current (AC) electric field was applied to the sample to drive the system. A flow was confirmed with dense optical flow method around GUVs, even in the absence of AuNPs. The quadratic dependence of the flow on applied elecric fields confirms that the flow is due to induced charge electro-osmotic (ICEO) mechanism. Furthermore, the GUVs containing AuNPs moved and deformed significantly under external AC electric fields compared with those without AuNPs. We also confirmed that the translational speed of GUVs was positively correlated with the volume ratio of AuNPs. These experimental results suggest that the motion and deformation of GUVs were cause by ICEO flow, which was unbalanced owing to the presence of localized AuNPs on the membrane.


title: Symmetry breaking operator for the reductive dual pair $(\mathrm{U}_l,\mathrm{U}_{l'})$

abstract: We consider the dual pair $(G,G')=(\mathrm{U}_l,\mathrm{U}_{l'})$ in the symplectic group $\mathrm{Sp}_{2ll'}(\mathbb{R})$. Fix a Weil representation of the metaplectic group $\tilde{\mathrm{Sp}}_{2ll'}(\mathbb{R})$. Let $\tilde{G\,}$ and $\tilde{G'}$ be the preimages of $G$ and $G'$ under the metaplectic cover $\tilde{\mathrm{Sp}}_{2ll'}(\mathbb{R})\to \mathrm{Sp}_{2ll'}(\mathbb{R})$, and let $\Pi\otimes\Pi'$ be a genuine irreducible representation of $\tilde{G\,}\times\tilde{G'}$. We study the Weyl symbol $f_{\Pi\otimes\Pi'}$ of the (unique up to a possibly zero constant) symmetry breaking operator (SBO) intertwining the Weil representation with $\Pi\otimes\Pi'$. This SBO coincides with the orthogonal projection of the space of the Weil representation onto its $\Pi$-isotypic component and also with the orthogonal projection onto its $\Pi'$-isotypic component. Hence $f_{\Pi\otimes\Pi'}$ can be computed in two different ways, one using $\Pi$ and the other using $\Pi'$. By matching the results, we recover Weyl's theorem stating that $\Pi\otimes\Pi'$ occurs in the Weil representation with multiplicity at most one and we also recover the complete list of the representations $\Pi\otimes\Pi'$ occurring in Howe's correspondence.


title: Signatures Meet Dynamic Programming: Generalizing Bellman Equations for Trajectory Following

abstract: Path signatures have been proposed as a powerful representation of paths that efficiently captures the path's analytic and geometric characteristics, having useful algebraic properties including fast concatenation of paths through tensor products. Signatures have recently been widely adopted in machine learning problems for time series analysis. In this work we establish connections between value functions typically used in optimal control and intriguing properties of path signatures. These connections motivate our novel control framework with signature transforms that efficiently generalizes the Bellman equation to the space of trajectories. We analyze the properties and advantages of the framework, termed signature control. In particular, we demonstrate that (i) it can naturally deal with varying/adaptive time steps; (ii) it propagates higher-level information more efficiently than value function updates; (iii) it is robust to dynamical system misspecification over long rollouts. As a specific case of our framework, we devise a model predictive control method for path tracking. This method generalizes integral control, being suitable for problems with unknown disturbances. The proposed algorithms are tested in simulation, with differentiable physics models including typical control and robotics tasks such as point-mass, curve following for an ant model, and a robotic manipulator.


title: A Unified Multi-Phase CT Synthesis and Classification Framework for Kidney Cancer Diagnosis with Incomplete Data

abstract: Multi-phase CT is widely adopted for the diagnosis of kidney cancer due to the complementary information among phases. However, the complete set of multi-phase CT is often not available in practical clinical applications. In recent years, there have been some studies to generate the missing modality image from the available data. Nevertheless, the generated images are not guaranteed to be effective for the diagnosis task. In this paper, we propose a unified framework for kidney cancer diagnosis with incomplete multi-phase CT, which simultaneously recovers missing CT images and classifies cancer subtypes using the completed set of images. The advantage of our framework is that it encourages a synthesis model to explicitly learn to generate missing CT phases that are helpful for classifying cancer subtypes. We further incorporate lesion segmentation network into our framework to exploit lesion-level features for effective cancer classification in the whole CT volumes. The proposed framework is based on fully 3D convolutional neural networks to jointly optimize both synthesis and classification of 3D CT volumes. Extensive experiments on both in-house and external datasets demonstrate the effectiveness of our framework for the diagnosis with incomplete data compared with state-of-the-art baselines. In particular, cancer subtype classification using the completed CT data by our method achieves higher performance than the classification using the given incomplete data.


abstract: Unveil, model, and comprehend the causal mechanisms underpinning natural phenomena stand as fundamental endeavors across myriad scientific disciplines. Meanwhile, new knowledge emerges when discovering causal relationships from data. Existing causal learning algorithms predominantly focus on the isolated effects of variables, overlook the intricate interplay of multiple variables and their collective behavioral patterns. Furthermore, the ubiquity of high-dimensional data exacts a substantial temporal cost for causal algorithms. In this paper, we develop a novel method called MgCSL (Multi-granularity Causal Structure Learning), which first leverages sparse auto-encoder to explore coarse-graining strategies and causal abstractions from micro-variables to macro-ones. MgCSL then takes multi-granularity variables as inputs to train multilayer perceptrons and to delve the causality between variables. To enhance the efficacy on high-dimensional data, MgCSL introduces a simplified acyclicity constraint to adeptly search the directed acyclic graph among variables. Experimental results show that MgCSL outperforms competitive baselines, and finds out explainable causal connections on fMRI datasets.


title: D3A-TS: Denoising-Driven Data Augmentation in Time Series

abstract: It has been demonstrated that the amount of data is crucial in data-driven machine learning methods. Data is always valuable, but in some tasks, it is almost like gold. This occurs in engineering areas where data is scarce or very expensive to obtain, such as predictive maintenance, where faults are rare. In this context, a mechanism to generate synthetic data can be very useful. While in fields such as Computer Vision or Natural Language Processing synthetic data generation has been extensively explored with promising results, in other domains such as time series it has received less attention. This work specifically focuses on studying and analyzing the use of different techniques for data augmentation in time series for classification and regression problems. The proposed approach involves the use of diffusion probabilistic models, which have recently achieved successful results in the field of Image Processing, for data augmentation in time series. Additionally, the use of meta-attributes to condition the data augmentation process is investigated. The results highlight the high utility of this methodology in creating synthetic data to train classification and regression models. To assess the results, six different datasets from diverse domains were employed, showcasing versatility in terms of input size and output types. Finally, an extensive ablation study is conducted to further support the obtained outcomes.


title: Multi-dimensional Fair Federated Learning

abstract: Federated learning (FL) has emerged as a promising collaborative and secure paradigm for training a model from decentralized data without compromising privacy. Group fairness and client fairness are two dimensions of fairness that are important for FL. Standard FL can result in disproportionate disadvantages for certain clients, and it still faces the challenge of treating different groups equitably in a population. The problem of privately training fair FL models without compromising the generalization capability of disadvantaged clients remains open. In this paper, we propose a method, called mFairFL, to address this problem and achieve group fairness and client fairness simultaneously. mFairFL leverages differential multipliers to construct an optimization objective for empirical risk minimization with fairness constraints. Before aggregating locally trained models, it first detects conflicts among their gradients, and then iteratively curates the direction and magnitude of gradients to mitigate these conflicts. Theoretical analysis proves mFairFL facilitates the fairness in model development. The experimental evaluations based on three benchmark datasets show significant advantages of mFairFL compared to seven state-of-the-art baselines.


title: Improving Parameter Training for VQEs by Sequential Hamiltonian Assembly

abstract: A central challenge in quantum machine learning is the design and training of parameterized quantum circuits (PQCs). Similar to deep learning, vanishing gradients pose immense problems in the trainability of PQCs, which have been shown to arise from a multitude of sources. One such cause are non-local loss functions, that demand the measurement of a large subset of involved qubits. To facilitate the parameter training for quantum applications using global loss functions, we propose a Sequential Hamiltonian Assembly, which iteratively approximates the loss function using local components. Aiming for a prove of principle, we evaluate our approach using Graph Coloring problem with a Varational Quantum Eigensolver (VQE). Simulation results show, that our approach outperforms conventional parameter training by 29.99% and the empirical state of the art, Layerwise Learning, by 5.12% in the mean accuracy. This paves the way towards locality-aware learning techniques, allowing to evade vanishing gradients for a large class of practically relevant problems.


title: Factorization and resummation at next-to-leading-power

abstract: We discuss recent progress concerning the resummation of large logarithms at next-to-leading power (NLP) in scattering processes such as Drell-Yan and deep inelastic scattering near threshold, and thrust in the two-jet limit. We start by reviewing the approach based on soft-collinear effective field theory and show that the standard factorization into short distance coefficients, collinear and soft functions at NLP leads in general to the appearance of endpoint divergences, which prevent the naive application of resummation techniques based on the renormalization group. Taking thrust as a case study, we then show that these singularities are indeed an artifact of the effective theory, and discuss how they can be removed to recover a finite factorization theorem and achieve resummation at NLP, at LL accuracy. Last, we discuss recent work concerning the calculation of all collinear and soft functions necessary to reproduce Drell-Yan near threshold up to NNLO in perturbation theory. This calculation provides useful data to extend resummation at NLP beyond LL accuracy.


title: Fair-MPC: a control-oriented framework for socially just decision-making

abstract: Control theory can play a pivotal role in tackling many of the global challenges currently affecting our society, representing an actionable tool to help policymakers in shaping our future. At the same time, for this to be possible, elements of social justice must be accounted for within a control theoretical framework, so as not to exacerbate the existing divide in our society. In turn, this requires the formulation of new constraints and control objectives and their integration into existing or new control design strategies. Devising a formally sound framework to ensure social fairness can enable a leap in the comprehension of the meaning of such goals and their non-trivial relation with the usual notion of performance in control. In this new and challenging context, we propose Fair-MPC, an economic model predictive control scheme to promote fairness in control design and model-based decision-making. Moving beyond traditional measures of performance, Fair-MPC enables the integration of social fairness metrics, articulated in equality and equity, allowing the design of optimal input sequences to trade-off fairness and efficiency, which are often in conflict. By establishing a theoretical link between Fair-MPC and the standard model predictive control framework (quadratic cost and linear constraints), we provide insights into the impact of social justice objectives on the final control action, which is ultimately assessed along the efficiency of the controller over two numerical examples.


title: Axion limits from the 10-year gamma-ray emission 1ES 1215+303

abstract: We present the limits on photon to axionlike particle (ALP) coupling from the 10-year period observations of the TeV BL Lacertae blazar 1ES 1215+303 (with redshift $z=0.130$). The contemporaneous gamma-ray spectra are measured by the collaborations Fermi-LAT and VERITAS with five flux phases from 2008 to 2017, including four low states and one flare. Using these flux phases, we show the spectral energy distributions (SEDs) under the null/ALP hypotheses and set the combined limit on ALP. The 95% $\rm C.L.$ combined limit set by 1ES 1215+303 with the 10-year gamma-ray data is roughly at the photon-ALP coupling constant $g_{a\gamma} \gtrsim 1.5\times 10^{-11} \rm \, GeV^{-1}$ for the ALP mass $5.0\times10^{-10} \, {\rm eV} \lesssim m_a \lesssim 1.0\times10^{-7} \, {\rm eV}$.


title: Second-order computational homogenization of flexoelectric composites

abstract: Flexoelectricity shows promising applications for self-powered devices with its increased power density. This paper presents a second-order computational homogenization strategy for flexoelectric composite. The macro-micro scale transition, Hill-Mandel energy condition, periodic boundary conditions, and macroscopic constitutive tangents for the two-scale electromechanical coupling are investigated and considered in the homogenization formulation. The macrostructure and microstructure are discretized using $C^1$ triangular finite elements. The second-order multiscale solution scheme is implemented using ABAQUS with user subroutines. Finally, we present numerical examples including parametric analysis of a square plate with holes and the design of piezoelectric materials made of non-piezoelectric materials to demonstrate the numerical implementation and the size-dependent effects of flexoelectricity.


title: Long-Term Rate-Fairness-Aware Beamforming Based Massive MIMO Systems

abstract: This is the first treatise on multi-user (MU) beamforming designed for achieving long-term rate-fairness in fulldimensional MU massive multi-input multi-output (m-MIMO) systems. Explicitly, based on the channel covariances, which can be assumed to be known beforehand, we address this problem by optimizing the following objective functions: the users' signal-toleakage-noise ratios (SLNRs) using SLNR max-min optimization, geometric mean of SLNRs (GM-SLNR) based optimization, and SLNR soft max-min optimization. We develop a convex-solver based algorithm, which invokes a convex subproblem of cubic time-complexity at each iteration for solving the SLNR maxmin problem. We then develop closed-form expression based algorithms of scalable complexity for the solution of the GMSLNR and of the SLNR soft max-min problem. The simulations provided confirm the users' improved-fairness ergodic rate distributions.


title: Asymptotic analysis of particle cluster formation in the presence of anchoring sites

abstract: The aggregation or clustering of proteins and other macromolecules plays an important role in the formation of large-scale molecular assemblies within cell membranes. Examples include lipid rafts and postsynaptic domains (PSDs). PSDs are rich in scaffolding proteins that transiently trap transmembrane neurotransmitter receptors, thus localizing them at specific spatial positions. Hence, PSDs play a key role in determining the strength of synaptic connections and their regulation during learning and memory. Recently, a 2D diffusion-mediated aggregation model of PSD formation has been developed in which the spatial locations of the clusters are determined by a set of fixed anchoring sites. The system is kept out of equilibrium by the recycling of particles between the cell membrane and interior. This results in a stationary distribution consisting of multiple clusters, whose average size can be determined using an effective mean-field description of the particle concentration around each anchored cluster. In this paper, we derive corrections to mean-field theory using asymptotic methods, assuming that the clusters are well separated and much smaller than the membrane surface. The analysis proceeds by matching inner solutions around each cluster with and an outer region where mean-field interactions occur. This generates an asymptotic expansion of the particle concentration that sums over all logarithmic terms involving the small parameter $\nu=-1/\ln \epsilon$, where $\epsilon$ specifies the relative size of the clusters. This is then used to derive an expression for the radius of each cluster, which includes higher-order corrections to mean-field theory that depend on the positions of the clusters and the boundary of the domain. Finally, motivated by a recent study of light-activated protein oligomerization in cells, we develop the analogous theory for cluster formation in a 2D domain.


title: Spectral Jacobi approximations for Boussinesq systems

abstract: This paper is concerned with the numerical approximation of initial-boundary-value problems of a three-parameter family of Bona-Smith systems, derived as a model for the propagation of surface waves under a physical Boussinesq regime. The work proposed here is focused on the corresponding problem with Dirichlet boundary conditions and its approximation in space with spectral methods based on Jacobi polynomials, which are defined from the orthogonality with respect to some weighted $L^{2}$ inner product. Well-posedness of the problem on the corresponding weighted Sobolev spaces is first analyzed and existence and uniqueness of solution, locally in time, are proved. Then the spectral Galerkin semidiscrete scheme and some detailed comments on its implementation are introduced. The existence of numerical solution and error estimates on those weighted Sobolev spaces are established. Finally, the choice of the time integrator to complete the full discretization takes care of different stability issues that may be relevant when approximating the semidiscrete system. Some numerical experiments illustrate the results.


title: Enhancing the Accuracy of Predictors of Activity Sequences of Business Processes

abstract: Predictive process monitoring is an evolving research field that studies how to train and use predictive models for operational decision-making. One of the problems studied in this field is that of predicting the sequence of upcoming activities in a case up to its completion, a.k.a. the case suffix. The prediction of case suffixes provides input to estimate short-term workloads and execution times under different resource schedules. Existing methods to address this problem often generate suffixes wherein some activities are repeated many times, whereas this pattern is not observed in the data. Closer examination shows that this shortcoming stems from the approach used to sample the successive activity instances to generate a case suffix. Accordingly, the paper introduces a sampling approach aimed at reducing repetitions of activities in the predicted case suffixes. The approach, namely Daemon action, strikes a balance between exploration and exploitation when generating the successive activity instances. We enhance a deep learning approach for case suffix predictions using this sampling approach, and experimentally show that the enhanced approach outperforms the unenhanced ones with respect to control-flow accuracy measures.


title: Nonreciprocal Photon-Phonon Entanglement in Kerr-Modified Spinning Cavity Magnomechanics

abstract: Cavity magnomechanics has shown great potential in studying macroscopic quantum effects, especially for quantum entanglement, which is a key resource for quantum information science. Here we propose to realize magnon mediated nonreciprocal photon-phonon entanglement, which exhibits asymmetry when opposite magnetic or driving fields are respectively applied to the magnons with the Kerr effect or the photons with the Sagnac effect. We find that the mean magnon number can selectively exhibit nonreciprocal linear or nonlinear (bistable) behavior with the strength of the strong driving field on the cavity. Assisted by this driving field, the magnon-phonon coupling is greatly enhanced, leading to the nonreciprocal photon-phonon entanglement via the swapping interaction between the magnons and photons. This nonreciprocal entanglement can be significantly enhanced with the magnon Kerr and Sagnac effects. Given the available parameters, the nonreciprocal photon-phonon entanglement can be preserved at $\sim3$ K, showing remarkable resilience against the bath temperature. The result reveals that our paper holds promise in developing various nonreciprocal devices with both the magnon Kerr and Sagnac effects in cavity magnomechanics.


title: Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models

abstract: Large Language Models (LLMs) have demonstrated remarkable potential in code generation. The integration of Chain of Thought (CoT) reasoning can further boost their performance. However, current CoT methods often require manual writing or LLMs with over 100 billion parameters to generate, impeding their applicability in resource-constrained scenarios. In this study, we investigate lightweight Language Models (lLMs), which are defined to have fewer than 10 billion parameters. Empirically, we find that most lLMs cannot generate high-quality CoTs when prompted by the few-shot method, but can take advantage of high-quality CoTs generated elsewhere to improve their performance in code generation. Based on these findings, we design a novel approach COTTON which can leverage lLMs to automatically generate CoTs for code generation. We synthesize new datasets and conduct extensive experiments on various benchmarks. The results show that the CoTs generated by COTTON outperform the baselines in terms of automated and human evaluation metrics. In particular, the CoTs generated by COTTON boost various lLMs to achieve higher performance gains than those generated by LLMs such as ChatGLM (130B), and are competitive with those generated by gpt-3.5-turbo (175B). Our study also showcases the potential of lLMs in software engineering applications.


title: Administration 4.0: Administrative informatics as a customized and necessary educational platform for a modern IT-supported federal administration

abstract: Digitalization is conquering and stressing out the federal administration. Using selected large-scale ICT projects, we show how complex and interdisciplinary the tasks are. The federal administration's IT strategy requires well-trained specialists for all defined fields of action. This scarce resource is increasingly being trained academically in separate, tailor-made degree courses that are developed specifically for the needs of the German ministries and authorities. We use the example of administrative informatics courses to explain their necessity and success story. Using a Bachelor's/Master's program developed by the authors for the ITZBund and the Federal Ministry of Finance, we look at a concrete implementation and justify two of our design decisions in the development of the course, namely transdisciplinarity and design thinking. We adopt a German perspective throughout the paper. However, the conclusions also apply to other countries.


title: Majority distinguishing edge coloring

abstract: We consider edge colorings of graphs. An edge coloring is a majority coloring if for every vertex at most half of the edges incident with it are in one color. And edge coloring is a distinguishing coloring if for every non-trivial automorphism at least one edge changes its color. We consider these two notions together. We show that every graph without pendant edges has a majority distinguishing edge coloring with at most $\lceil\sqrt{\Delta}\rceil+5$ colors. Moreover, we show results for some classes of graphs and a~general result for symmetric digraphs.


title: Nonlinear stability of planar shock wave to 3-D compressible Navier-Stokes equations in half space with Navier Boundary conditions

abstract: In this paper, we consider the large time behavior of planar shock wave for 3-D compressible isentropic Navier-Stokes equations (CNS) in half space. Providing the strength of the shock wave and initial perturbations are small, we proved the planar shock wave for 3-D CNS is nonlinearly stable in half space with Navier boundary condition. The main difficulty comes from the compressibility of shock wave, which leads to lower order terms with bad sign, see the third line in \cref{C17}. We apply a decomposition of the solution into zero and non-zero modes: we take the anti-derivative for the zero mode and obtain the space-time estimates for the energy of perturbation itself. Then combining the fact that the Poincar\'e inequality is available for the non-zero mode, we have successfully controlled the lower order terms with bad sign in \cref{C17}. To overcome the difficulty that comes from the boundary, we introduce the two crucial estimates on boundary \cref{CLem0} and fully utilize the property of Navier boundary conditions, which means that the normal velocity is zero on the boundary and the fluid tangential velocity is proportional to the tangential component of the viscous stress tensor on the boundary. Finally, the nonlinear stability is proved by the weighted energy method.