title: General Discussions on the SU(2) Vector Boson Dark Matter Model with a Single Higgs Multiplet -- Lagrangian, Discrete Subgroups, and Scalar Classifications

abstract: The vector boson dark matter particles which stem from some broken gauge symmetries usually requires some unbroken symmetries to keep themselves stable. In the previous literature, some simplest cases have been discussed, in which the unbroken symmetry is provided by a remnant subgroup of the gauge group. It would be interesting to ask whether all the possible remnant subgroups as well as all the possible coupling forms can be enumerated. Classifying all the Higgs components into different mass degenerate representations to simplify the diagonalization processes is also necessary. Rather than the ambitious target of providing a general solution to all kinds of gauge groups configured with all forms of the Higgs multiplets, in this paper, we concentrate on the case of $\text{SU(2)}_{\text{D}}$ gauge group together with a single Higgs multiplet. We enumerate all possible discrete subgroups that can survive up to $n=21$, where $n$ is the dimension of the Higgs multiplet. We also provide the general algorithms to enumerate all possible renormalizable operators, to write down the general forms of the vacuum expectation value (VEV) configurations, and to give the detailed results of all the mass degenerate irreducible representations embedded in the Higgs multiplet.


title: The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective

abstract: Formal language theory has recently been successfully employed to unravel the power of transformer encoders. This setting is primarily applicable in Natural Languange Processing (NLP), as a token embedding function (where a bounded number of tokens is admitted) is first applied before feeding the input to the transformer. On certain kinds of data (e.g. time series), we want our transformers to be able to handle \emph{arbitrary} input sequences of numbers (or tuples thereof) without \emph{a priori} limiting the values of these numbers. In this paper, we initiate the study of the expressive power of transformer encoders on sequences of data (i.e. tuples of numbers). Our results indicate an increase in expressive power of hard attention transformers over data sequences, in stark contrast to the case of strings. In particular, we prove that Unique Hard Attention Transformers (UHAT) over inputs as data sequences no longer lie within the circuit complexity class $AC^0$ (even without positional encodings), unlike the case of string inputs, but are still within the complexity class $TC^0$ (even with positional encodings). Over strings, UHAT without positional encodings capture only regular languages. In contrast, we show that over data sequences UHAT can capture non-regular properties. Finally, we show that UHAT capture languages definable in an extension of linear temporal logic with unary numeric predicates and arithmetics.


title: On the configurations of four spheres supporting the vertices of a tetrahedron

abstract: A reformulation of the three circles theorem of Johnson with distance coordinates to the vertices of a triangle is explicitly represented in a polynomial system and solved by symbolic computation. A similar polynomial system in distance coordinates to the vertices of a tetrahedron $T \subset \mathbb{R}^3$ is introduced to represent the configurations of four spheres of radius $R^*$, which intersect in one point, each sphere containing three vertices of $T$ but not the fourth one. This problem is related to that of computing the largest value $r$ for which the set of vertices of $T$ is an $r$-body. For triangular pyramids we completely describe the set of geometric configurations with the required four balls of radius $R^*$. The solutions obtained by symbolic computation show that triangular pyramids are splitted into two different classes: in the first one $R^*$ is unique, in the second one three values $R^*$ there exist. The first class can be itself subdivided into two subclasses, one of which is related to the family of $r$-bodies.


title: Multi-Player Approaches for Dueling Bandits

abstract: Various approaches have emerged for multi-armed bandits in distributed systems. The multiplayer dueling bandit problem, common in scenarios with only preference-based information like human feedback, introduces challenges related to controlling collaborative exploration of non-informative arm pairs, but has received little attention. To fill this gap, we demonstrate that the direct use of a Follow Your Leader black-box approach matches the lower bound for this setting when utilizing known dueling bandit algorithms as a foundation. Additionally, we analyze a message-passing fully distributed approach with a novel Condorcet-winner recommendation protocol, resulting in expedited exploration in many cases. Our experimental comparisons reveal that our multiplayer algorithms surpass single-player benchmark algorithms, underscoring their efficacy in addressing the nuanced challenges of the multiplayer dueling bandit setting.


title: Bending-Neutral Deformations of Minimal Surfaces

abstract: Minimal surfaces are ubiquitous in nature. Here they are considered as geometric objects that bear a deformation content. By refining the resolution of the surface deformation gradient afforded by the polar decomposition theorem, we identify a bending content and a class of deformations that leave it unchanged. These are the bending-neutral deformations, fully characterized by an integrability condition. We prove that (1) every minimal surface is transformed into a minimal surface by a bending-neutral deformation and (2) given two minimal surfaces, there is a bending-neutral deformation that maps one into the other. Thus, all minimal surfaces have indeed a universal bending content.


title: Selecting long-lived particles in the first trigger level at the LHC

abstract: The LHCb experiment is starting to take data in Run 3 with a new DAQ system, capable of performing complete event reconstruction at the full LHC collision rate. One novel opportunity offered by this system is triggering on long-lived particles (LLPs) at the very first stage of the trigger. This could potentially increase trigger efficiency for LLPs, typically suffering from low online detection efficiency at hadron collider experiments, because of their decay signatures. We investigated the feasibility and effectiveness of an early LLP-triggering approach in LHCb with the implementation of two LLP-dedicated selections in the first trigger level (HLT1), targeting the presence of either one, or two, $K^0_S$ decays. Selection tuning is performed on simulation, targeting some benchmark channels with $K^0_S$ particles in the final state, as $D^0 \rightarrow K^0_S K^0_S$ and $B^0 \rightarrow K^0_S K^0_S$. Tests ran on simulated samples predict a large increase in selection efficiency, up to 2.6x for the $D^0 \rightarrow K^0_S K^0_S$ channel, at the price of a very modest increase of HLT1 computational load and trigger rate. These selections were implemented in the GPU-based HLT1 trigger sequence, and took data during the physics data-taking LHCb run in year 2022. In this document, we present results obtained from these first data, yielding good quality $K^0_S$ and $K^0_S$-pair samples even from a very limited integrated luminosity. We conclude with a discussion of the physics prospects opened by these new triggers, and their planned extension to tracks decaying outside the volume of the VELO subdector ("downstream tracks") to further extend their acceptance.


title: Peculiarities of the Landau level collapse on graphene ribbons in the crossed magnetic and in-plane electric fields

abstract: Employing the low-energy effective theory alongside a combination of analytical and numerical techniques, we explore the Landau level collapse phenomenon, uncovering previously undisclosed features. We consider both finite-width graphene ribbons and semi-infinite geometries subjected to a perpendicular magnetic field and an in-plane electric field, applied perpendicular to both zigzag and armchair edges. In the semi-infinite geometry the hole (electron)-like Landau levels collapse as the ratio of electric and magnetic fields reaches the critical value $ +(-) 1$. On the other hand, the energies of the electron (hole)-like levels remain distinctive near the edge and deeply within the bulk approaching each other asymptotically for the same critical value. In the finite geometry, we show that the electron (hole)-like levels become denser and merge forming a band.


title: Existence and nonexistence of solutions for underdetermined generalized absolute value equations

abstract: Underdetermined generalized absolute value equations (GAVE) has real applications. The underdetermined GAVE may have no solution, one solution, finitely multiple solutions or infinitely many solutions. This paper aims to give some sufficient conditions which guarantee the existence or nonexistence of solutions for the underdetermined GAVE. Particularly, sufficient conditions under which certain or each sign pattern possesses infinitely many solutions of the underdetermined GAVE are given. In addition, iterative methods are developed to solve a solution of the underdetermined GAVE. Some existing results about the square GAVE are extended.


title: Diffusion-based Reinforcement Learning via Q-weighted Variational Policy Optimization

abstract: Diffusion models have garnered widespread attention in Reinforcement Learning (RL) for their powerful expressiveness and multimodality. It has been verified that utilizing diffusion policies can significantly improve the performance of RL algorithms in continuous control tasks by overcoming the limitations of unimodal policies, such as Gaussian policies, and providing the agent with enhanced exploration capabilities. However, existing works mainly focus on the application of diffusion policies in offline RL, while their incorporation into online RL is less investigated. The training objective of the diffusion model, known as the variational lower bound, cannot be optimized directly in online RL due to the unavailability of 'good' actions. This leads to difficulties in conducting diffusion policy improvement. To overcome this, we propose a novel model-free diffusion-based online RL algorithm, Q-weighted Variational Policy Optimization (QVPO). Specifically, we introduce the Q-weighted variational loss, which can be proved to be a tight lower bound of the policy objective in online RL under certain conditions. To fulfill these conditions, the Q-weight transformation functions are introduced for general scenarios. Additionally, to further enhance the exploration capability of the diffusion policy, we design a special entropy regularization term. We also develop an efficient behavior policy to enhance sample efficiency by reducing the variance of the diffusion policy during online interactions. Consequently, the QVPO algorithm leverages the exploration capabilities and multimodality of diffusion policies, preventing the RL agent from converging to a sub-optimal policy. To verify the effectiveness of QVPO, we conduct comprehensive experiments on MuJoCo benchmarks. The final results demonstrate that QVPO achieves state-of-the-art performance on both cumulative reward and sample efficiency.


title: Dynamic Scattering Arrays for Simultaneous Electromagnetic Processing and Radiation in Holographic MIMO Systems

abstract: To meet the stringent requirements of next-generation wireless networks, multiple-input multiple-output (MIMO) technology is expected to become massive and pervasive. Unfortunately, this could pose scalability issues in terms of complexity, power consumption, cost, and processing latency. Therefore, novel technologies and design approaches, such as the recently introduced holographic MIMO paradigm, must be investigated to make future networks sustainable. In this context, we propose the concept of a dynamic scattering array (DSA) as a versatile 3D structure capable of performing joint wave-based computing and radiation by moving the processing from the digital domain to the electromagnetic (EM) domain. We provide a general analytical framework for modeling DSAs, introduce specific design algorithms, and apply them to various use cases. The examples presented in the numerical results demonstrate the potential of DSAs to further reduce complexity and the number of radiofrequency (RF) chains in holographic MIMO systems while achieving enhanced EM wave processing and radiation flexibility for tasks such as beamforming and single- and multi-user MIMO.


title: Time-periodic solutions to heated ferrofluid flow models

abstract: In this work we prove the existence of time-periodic solutions to a model describing a ferrofluid flow heated from below. Navier-Stokes equations satisfied by the fluid velocity are coupled to the temperature equation and the magnetostatic equation satisfied by the magnetic potential. The magnetization is assumed to be parallel to the magnetic field and is given by a non-linear magnetization law generalizing the Langevin law. The proof is based on a semi-Galerkin approximation and regularization methods together with the fixed point method.


title: Bi-reachability in Petri nets with data

abstract: We investigate Petri nets with data, an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equalities between data values. We provide a decision procedure for the bi-reachability problem: given a Petri net and its two configurations, we ask if each of the configurations is reachable from the other. This pushes forward the decidability borderline, as the bi-reachability problem subsumes the coverability problem (which is known to be decidable) and is subsumed by the reachability problem (whose decidability status is unknown).


title: Transformer Meets Gated Residual Networks To Enhance Photoplethysmogram Artifact Detection Informed by Mutual Information Neural Estimation

abstract: This study delves into the effectiveness of various learning methods in improving Transformer models, focusing particularly on the Gated Residual Network Transformer (GRN-Transformer) in the context of pediatric intensive care units (PICU) with limited data availability. Our findings indicate that Transformers trained via supervised learning are less effective compared to MLP, CNN, and LSTM networks in such environments. Yet, leveraging unsupervised and self-supervised learning on unannotated data, with subsequent fine-tuning on annotated data, notably enhances Transformer performance, although not to the level of the GRN-Transformer. Central to our research is the analysis of different activation functions for the Gated Linear Unit (GLU), a crucial element of the GRN structure. We also employ Mutual Information Neural Estimation (MINE) to evaluate the GRN's contribution. Additionally, the study examines the effects of integrating GRN within the Transformer's Attention mechanism versus using it as a separate intermediary layer. Our results highlight that GLU with sigmoid activation stands out, achieving 0.98 accuracy, 0.91 precision, 0.96 recall, and 0.94 F1 score. The MINE analysis supports the hypothesis that GRN enhances the mutual information between the hidden representations and the output. Moreover, the use of GRN as an intermediate filter layer proves more beneficial than incorporating it within the Attention mechanism. In summary, this research clarifies how GRN bolsters GRN-Transformer's performance, surpassing other learning techniques. These findings offer a promising avenue for adopting sophisticated models like Transformers in data-constrained environments, such as PPG artifact detection in PICU settings.


title: Accelerating Inference of Retrieval-Augmented Generation via Sparse Context Selection

abstract: Large language models (LLMs) augmented with retrieval exhibit robust performance and extensive versatility by incorporating external contexts. However, the input length grows linearly in the number of retrieved documents, causing a dramatic increase in latency. In this paper, we propose a novel paradigm named Sparse RAG, which seeks to cut computation costs through sparsity. Specifically, Sparse RAG encodes retrieved documents in parallel, which eliminates latency introduced by long-range attention of retrieved documents. Then, LLMs selectively decode the output by only attending to highly relevant caches auto-regressively, which are chosen via prompting LLMs with special control tokens. It is notable that Sparse RAG combines the assessment of each individual document and the generation of the response into a single process. The designed sparse mechanism in a RAG system can facilitate the reduction of the number of documents loaded during decoding for accelerating the inference of the RAG system. Additionally, filtering out undesirable contexts enhances the model's focus on relevant context, inherently improving its generation quality. Evaluation results of two datasets show that Sparse RAG can strike an optimal balance between generation quality and computational efficiency, demonstrating its generalizability across both short- and long-form generation tasks.


title: Network reduction and absence of Hopf Bifurcations in dual phosphorylation networks with three Intermediates

abstract: Phosphorylation networks, representing the mechanisms by which proteins are phosphorylated at one or multiple sites, are ubiquitous in cell signalling and display rich dynamics such as unlimited multistability. Dual-site phosphorylation networks are known to exhibit oscillations in the form of periodic trajectories, when phosphorylation and dephosphorylation occurs as a mixed mechanism: phosphorylation of the two sites requires one encounter of the kinase, while dephosphorylation of the two sites requires two encounters with the phosphatase. A still open question is whether a mechanism requiring two encounters for both phosphorylation and dephosphorylation also admits oscillations. In this work we provide evidence in favor of the absence of oscillations of this network by precluding Hopf bifurcations in any reduced network comprising three out of its four intermediate protein complexes. Our argument relies on a novel network reduction step that preserves the absence of Hopf bifurcations, and on a detailed analysis of the semi-algebraic conditions precluding Hopf bifurcations obtained from Hurwitz determinants of the characteristic polynomial of the Jacobian of the system. We conjecture that the removal of certain reverse reactions appearing in Michaelis-Menten-type mechanisms does not have an impact on the presence or absence of Hopf bifurcations. We prove an implication of the conjecture under certain favorable scenarios and support the conjecture with additional example-based evidence.


title: Physical phenomena during nanoindentation deformation of amorphous glassy polymers

abstract: In this work, we examine material phenomena in glassy polymers during Berkovich nanoindentation, a form of locally imposed deformation. We consider both, thermoplastics (PC and PMMA) and thermosets (partially and maximally crosslinked SU-8 epoxy). Visco-elasto-plastic (VEP) effects occur simultaneously, from the onset of glassy polymer nanoindentation. Visual observation via in-situ nanoindentation indicates mainly sink-in during loading, with pile-up after unloading. Scanning Probe Microscopy (SPM) indicates significant volume conserving upflow (below the tip) for these compliant materials, with high geometric fractional contact depth at maximum displacement (including blunt height, h_b), (h_c+h_b)/(h_m+h_b)~0.9. Considering the Berkovich tip as a family of cones, with cone angles ranging over the included angles of the tip, enables contact area calculation and a visual depiction of the upflow and the displacement paths below the tip. The combination of SPM and P-h data, indicates a mixed comparison with uniaxial deformation, with conventionally defined hardness, H<3*sig_y and nanoindentation modulus E_N>E. By rationally removing viscoelastic (VE) effects during loading, we find instant, zero-time hardness H_L0>3*sig_y. Constraint-induced VE recovery of the highly yielded tip-apex region is consistent with the significant constraint effects on the conventionally defined H_L0 and E_N for compliant materials such as glassy polymers.


title: Enhancing Adversarial Transferability Through Neighborhood Conditional Sampling

abstract: Transfer-based attacks craft adversarial examples utilizing a white-box surrogate model to compromise various black-box target models, posing significant threats to many real-world applications. However, existing transfer attacks suffer from either weak transferability or expensive computation. To bridge the gap, we propose a novel sample-based attack, named neighborhood conditional sampling (NCS), which enjoys high transferability with lightweight computation. Inspired by the observation that flat maxima result in better transferability, NCS is formulated as a max-min bi-level optimization problem to seek adversarial regions with high expected adversarial loss and small standard deviations. Specifically, due to the inner minimization problem being computationally intensive to resolve, and affecting the overall transferability, we propose a momentum-based previous gradient inversion approximation (PGIA) method to effectively solve the inner problem without any computation cost. In addition, we prove that two newly proposed attacks, which achieve flat maxima for better transferability, are actually specific cases of NCS under particular conditions. Extensive experiments demonstrate that NCS efficiently generates highly transferable adversarial examples, surpassing the current best method in transferability while requiring only 50% of the computational cost. Additionally, NCS can be seamlessly integrated with other methods to further enhance transferability.


title: Spread complexity and quantum chaos for periodically driven spin-chains

abstract: The complexity of quantum states under dynamical evolution can be investigated by studying the spread with time of the state over a pre-defined basis. It is known that this complexity is minimised by choosing the Krylov basis, thus defining the spread complexity. We study the dynamics of spread complexity for quantum maps using the Arnoldi iterative procedure. The main illustrative quantum many-body model we use is the periodically kicked Ising spin-chain with non-integrable deformations, a chaotic system where we look at both local and non-local interactions. In the various cases we find distinctive behaviour of the Arnoldi coefficients and spread complexity for regular vs. chaotic dynamics: suppressed fluctuations in the Arnoldi coefficients as well as larger saturation value in spread complexity in the chaotic case. We compare the behaviour of the Krylov measures with that of standard spectral diagnostics of chaos. We also study the effect of changing the driving frequency on the complexity saturation.

categories: quant-ph cond-mat.stat-mech hep-th nlin.CD


title: Graph Neural PDE Solvers with Conservation and Similarity-Equivariance

abstract: Utilizing machine learning to address partial differential equations (PDEs) presents significant challenges due to the diversity of spatial domains and their corresponding state configurations, which complicates the task of encompassing all potential scenarios through data-driven methodologies alone. Moreover, there are legitimate concerns regarding the generalization and reliability of such approaches, as they often overlook inherent physical constraints. In response to these challenges, this study introduces a novel machine-learning architecture that is highly generalizable and adheres to conservation laws and physical symmetries, thereby ensuring greater reliability. The foundation of this architecture is graph neural networks (GNNs), which are adept at accommodating a variety of shapes and forms. Additionally, we explore the parallels between GNNs and traditional numerical solvers, facilitating a seamless integration of conservative principles and symmetries into machine learning models. Our findings from experiments demonstrate that the model's inclusion of physical laws significantly enhances its generalizability, i.e., no significant accuracy degradation for unseen spatial domains while other models degrade. The code is available at https://github.com/yellowshippo/fluxgnn-icml2024.


title: Safe Deep Model-Based Reinforcement Learning with Lyapunov Functions

abstract: Model-based Reinforcement Learning (MBRL) has shown many desirable properties for intelligent control tasks. However, satisfying safety and stability constraints during training and rollout remains an open question. We propose a new Model-based RL framework to enable efficient policy learning with unknown dynamics based on learning model predictive control (LMPC) framework with mathematically provable guarantees of stability. We introduce and explore a novel method for adding safety constraints for model-based RL during training and policy learning. The new stability-augmented framework consists of a neural-network-based learner that learns to construct a Lyapunov function, and a model-based RL agent to consistently complete the tasks while satisfying user-specified constraints given only sub-optimal demonstrations and sparse-cost feedback. We demonstrate the capability of the proposed framework through simulated experiments.


title: Differentiable Cluster Graph Neural Network

abstract: Graph Neural Networks often struggle with long-range information propagation and in the presence of heterophilous neighborhoods. We address both challenges with a unified framework that incorporates a clustering inductive bias into the message passing mechanism, using additional cluster-nodes. Central to our approach is the formulation of an optimal transport based implicit clustering objective function. However, the algorithm for solving the implicit objective function needs to be differentiable to enable end-to-end learning of the GNN. To facilitate this, we adopt an entropy regularized objective function and propose an iterative optimization process, alternating between solving for the cluster assignments and updating the node/cluster-node embeddings. Notably, our derived closed-form optimization steps are themselves simple yet elegant message passing steps operating seamlessly on a bipartite graph of nodes and cluster-nodes. Our clustering-based approach can effectively capture both local and global information, demonstrated by extensive experiments on both heterophilous and homophilous datasets.


title: A strong approximation in L2 for the solutions of the Maxwell system with highly oscillating periodic coefficients

abstract: We consider a Maxwell system on $\mathbb{R}^3$ with periodic and highly oscillating coefficients. It is known that the solutions converge in the weak-$\ast$ topology of $L^\infty(0,T;\,L^2(\mathbb{R}^3))$ to the solution of a similar problem with constant coefficients given as the $H$-limits of the electric permittivity and the magnetic permeability respectively, i.e. the limit in the sense of the homogenization of linear elliptic equations with varying coefficients. However, it is not true that the elliptic corrector also provides a corrector for the solution of the Maxwell system, i.e. an approximation of the solutions in the strong topology of $L^2$. We shall prove that the oscillations in the space variable also produce oscillations in the time variable. We get a corrector consisting of adding to the elliptic corrector the sum of infinitely plane waves in the fast variable. Note that related results have been previously proved for the wave equation. Our proof is based on the two-scale convergence theory for almost periodic functions. One of the novelties is to show how this contains the classical Block decomposition.


title: An X-Ray High-Frequency QPO in NGC 1365

abstract: This study presents the detection of a high-frequency Quasi-Periodic Oscillation (QPO) in the Seyfert galaxy NGC 1365, based on observational data obtained by the XMM-Newton in January 2004. Utilizing the Weighted Wavelet Z-transform (WWZ) and Lomb-Scargle Periodogram (LSP) methods, a QPO signal was identified at a frequency of 2.19 * 10^-4 Hz (4566 s), with a confidence level of 3.6 sigma. The signal was notably absent in the lower 0.2-1.0 keV energy band, with the primary contribution emerging from the 2.0-10.0 keV band, where the confidence level reached 3.9 sigma. Spectral analysis shows that there are multiple absorption and emission lines in the high-energy band (> 6 keV). The correlation between the QPO frequency (f_QPO) and the mass of NGC 1365 central black hole (M_BH) aligns with the established logarithmic trend observed across black holes, indicating the QPO is of high frequency. This discovery provides new clues for studying the generation mechanism of QPO in Seyfert galaxies, which helps us understand the accretion process around supermassive black holes and the characteristics of strong gravitational fields in active galactic nuclei.


title: Phantom Networks of Finite Chains

abstract: Molecular chains of elastomer networks are modeled as ideal, finite, Freely Jointed Chains (FJC). We first develop a compact, closed-form, mathematically accurate representation of this model. We begin with the closed form of the Pade approximations for the Inverse Langevin Function, modified by the Slater (2003) method to map to the ideal FJC model. We fit the generalized form of this expression to exact the series expression by Treloar (1975) for the probability density function. The resulting fit yields the exact expression with respect to the Treloar expression. We verify this exact fit from the precise correlation of the moments from the fitted probability distribution with the analytical FJC distribution moments. These expressions are incorporated into the 8-chain geometry, to yield the affine network elasticity expression. We extend the exact and compact expression of an ideal FJC to determine the fluctuation distribution (about its mean position), of the junction between two ideal FJCs. The fluctuation is the conditional probability of the junction, given the separation of the distal points of the connected FJCs. The fluctuation distribution corresponds to an ideal FJC, whose effective number of segments, decreases linearly with the distal end separation. Finally, we develop the elasticity relationship for such an ideal network whose junctions can fluctuate to reduce the strain energy density. However, this reduction itself decreases with deformation, which is incorporated in developing resulting in the elasticity expression for a phantom network of finite chains.


title: Non-local optical response of a multi-phased quantum material

abstract: Light-matter interaction in quantum materials presents a new paradigm as light can tip the balance between many competing quantum many-body phases to result in new phenomena. Describing the optical response of such materials requires complex models. Here, we develop a non-local model to describe the optical response of a quantum material, 1T-TaS$_2$. 1T-TaS$_2$ is a nearly commensurate charge-density-wave material at room temperature. The competing stacking configurations of the charge domains in this layered material result in significant optical inhomogeneity that necessitates a non-local dielectric function. We experimentally measure the non-local optical response of 1T-TaS$_2$ films under various illumination intensities and validate our model. The non-local parameter extracted from our measurements sheds light on the competition between the two stacking configurations of 1T-TaS$_2$. Our technique of measuring non-local optical response serves as a quick, simple, and non-invasive method to probe the energy landscape of strong correlations in many such quantum materials.


title: Confinement Phenomena in Topological Stars

abstract: Quantum Chromodynamics (QCD) is the fundamental theory describing the strong nuclear force and the interactions among quarks and gluons. Topological stars, characterized by extreme density conditions, offer a unique environment where QCD phenomena play a crucial role due to the confinement of fundamental particles. Understanding these phenomena is essential for unraveling the behavior and properties of these celestial bodies. In this study, we explore the implications of QCD within extreme density regimes, focusing on its contribution to the energy-momentum tensor ($T^{\mu\nu}_{\text{QCD}}$) within the framework of Quantum Chromodynamics. Our analysis sheds light on how these QCD effects influence the fabric of spacetime in the vicinity of topological stars, providing valuable insights into their underlying physics.


title: Rocket Landing Control with Grid Fins and Path-following using MPC

abstract: In this project, we attempt to optimize a landing trajectory of a rocket. The goal is to minimize the total fuel consumption during the landing process using different techniques. Once the optimal and feasible trajectory is generated using batch approach, we attempt to follow the path using a Model Predictive Control (MPC) based algorithm, called Trajectory Optimizing Path following Estimation from Demonstration (TOPED), in order to generalize to similar initial states and models, where we introduce a novel cost function for the MPC to solve. We further show that TOPED can follow a demonstration trajectory well in practice under model mismatch and different initial states.


title: Novel closed-form point estimators for a weighted exponential family derived from likelihood equations

abstract: In this paper, we propose and investigate closed-form point estimators for a weighted exponential family. We also develop a bias-reduced version of these proposed closed-form estimators through bootstrap methods. Estimators are assessed using a Monte Carlo simulation, revealing favorable results for the proposed bootstrap bias-reduced estimators.


title: Effect of Interest Payments on External Debt on Economic Growth in Kenya

abstract: In Kenya, interest payments on external debt have been increasing from 2010 to 2015, while GDP growth experienced a slight decline over the same period. Policymakers are concerned that the rapid increase in external debt in developing countries such as Kenya has the potential to erode the country's sovereign rating, particularly if it is not supported by proportionate growth in the size of the economy. The purpose of this study was to investigate the effect of interest payments on external debt on economic growth in Kenya. The study utilized secondary data for 25 years, from 1991 to 2015, for GDP growth and interest payments on external debt. The results from the analysis of variance statistics indicate that the model was statistically significant. This implies that interest payments on external debt are good predictors of GDP growth. Regression coefficient results show that GDP growth and the logarithm of interest payments on external debt are negatively and significantly related. The study recommends that future government plans should ensure that external borrowings are taken at rates not higher than the interest rate payments.


abstract: Imitation learning aims to learn a policy from observing expert demonstrations without access to reward signals from environments. Generative adversarial imitation learning (GAIL) formulates imitation learning as adversarial learning, employing a generator policy learning to imitate expert behaviors and discriminator learning to distinguish the expert demonstrations from agent trajectories. Despite its encouraging results, GAIL training is often brittle and unstable. Inspired by the recent dominance of diffusion models in generative modeling, this work proposes Diffusion-Reward Adversarial Imitation Learning (DRAIL), which integrates a diffusion model into GAIL, aiming to yield more precise and smoother rewards for policy learning. Specifically, we propose a diffusion discriminative classifier to construct an enhanced discriminator; then, we design diffusion rewards based on the classifier's output for policy learning. We conduct extensive experiments in navigation, manipulation, and locomotion, verifying DRAIL's effectiveness compared to prior imitation learning methods. Moreover, additional experimental results demonstrate the generalizability and data efficiency of DRAIL. Visualized learned reward functions of GAIL and DRAIL suggest that DRAIL can produce more precise and smoother rewards.


title: Adaptive $Q$-Network: On-the-fly Target Selection for Deep Reinforcement Learning

abstract: Deep Reinforcement Learning (RL) is well known for being highly sensitive to hyperparameters, requiring practitioners substantial efforts to optimize them for the problem at hand. In recent years, the field of automated Reinforcement Learning (AutoRL) has grown in popularity by trying to address this issue. However, these approaches typically hinge on additional samples to select well-performing hyperparameters, hindering sample-efficiency and practicality in RL. Furthermore, most AutoRL methods are heavily based on already existing AutoML methods, which were originally developed neglecting the additional challenges inherent to RL due to its non-stationarities. In this work, we propose a new approach for AutoRL, called Adaptive $Q$-Network (AdaQN), that is tailored to RL to take into account the non-stationarity of the optimization procedure without requiring additional samples. AdaQN learns several $Q$-functions, each one trained with different hyperparameters, which are updated online using the $Q$-function with the smallest approximation error as a shared target. Our selection scheme simultaneously handles different hyperparameters while coping with the non-stationarity induced by the RL optimization procedure and being orthogonal to any critic-based RL algorithm. We demonstrate that AdaQN is theoretically sound and empirically validate it in MuJoCo control problems, showing benefits in sample-efficiency, overall performance, training stability, and robustness to stochasticity.


title: Maintaining and Managing Road Quality:Using MLP and DNN

abstract: Poor roads are a major issue for cars, drivers, and pedestrians since they are a major cause of vehicle damage and can occasionally be quite dangerous for both groups of people (pedestrians and drivers), this makes road surface condition monitoring systems essential for traffic safety, reducing accident rates ad also protecting vehicles from getting damaged. The primary objective is to develop and evaluate machine learning models that can accurately classify road conditions into four categories: good, satisfactory, poor, and very poor, using a Kaggle dataset of road images. To address this, we implemented a variety of machine learning approaches. Firstly, a baseline model was created using a Multilayer Perceptron (MLP) implemented from scratch. Secondly, a more sophisticated Deep Neural Network (DNN) was constructed using Keras. Additionally, we developed a Logistic Regression model from scratch to compare performance. Finally, a wide model incorporating extensive feature engineering was built using the K-Nearest Neighbors (KNN) algorithm with sklearn.The study compared different models for image-based road quality assessment. Deep learning models, the DNN with Keras achieved the best accuracy, while the baseline MLP provided a solid foundation. The Logistic Regression although it is simpler, but it provided interpretability and insights into important features. The KNN model, with the help of feature engineering, achieved the best results. The research shows that machine learning can automate road condition monitoring, saving time and money on maintenance. The next step is to improve these models and test them in real cities, which will make our cities better managed and safer.


title: A 7K Parameter Model for Underwater Image Enhancement based on Transmission Map Prior

abstract: Although deep learning based models for underwater image enhancement have achieved good performance, they face limitations in both lightweight and effectiveness, which prevents their deployment and application on resource-constrained platforms. Moreover, most existing deep learning based models use data compression to get high-level semantic information in latent space instead of using the original information. Therefore, they require decoder blocks to generate the details of the output. This requires additional computational cost. In this paper, a lightweight network named lightweight selective attention network (LSNet) based on the top-k selective attention and transmission maps mechanism is proposed. The proposed model achieves a PSNR of 97\% with only 7K parameters compared to a similar attention-based model. Extensive experiments show that the proposed LSNet achieves excellent performance in state-of-the-art models with significantly fewer parameters and computational resources. The code is available at https://github.com/FuhengZhou/LSNet}{https://github.com/FuhengZhou/LSNet.


title: On the classification of multiprojective spaces

abstract: Given a positive integer $n$ and a partition $(n_1,\ldots,n_r)$ of $n$, one can consider the $n$-dimensional multiprojective space $\mathbb{P}^{n_1}\times \cdots \times \mathbb{P}^{n_r}$ corresponding to that partition. In this paper, we classify these multiprojective spaces. To be precise, we prove that given any two distinct partitions of any positive integer $n$, corresponding multiprojective spaces are not isomorphic using a decomposition of tensor products of irreducible representations of simple Lie algebras.


title: Twisted braids

abstract: Twisted knot theory, introduced by M.O. Bourgoin, is a generalization of virtual knot theory. It naturally yields the notion of a twisted braid, which is closely related to the notion of a virtual braid due to Kauffman. In this paper, we first prove that any twisted link can be described as the closure of a twisted braid, which is unique up to certain basic moves. This is the analogue of the Alexander Theorem and the Markov Theorem for classical braids and links. Then we also give reduced presentations for the twisted braid group and the flat twisted braid group. These reduced presentations are based on the fact that these twisted braid groups on $n$ strands are generated by a single braiding element and a single bar element plus the generators of the symmetric group on $n$ letters.


title: FlightPatchNet: Multi-Scale Patch Network with Differential Coding for Flight Trajectory Prediction

abstract: Accurate multi-step flight trajectory prediction plays an important role in Air Traffic Control, which can ensure the safety of air transportation. Two main issues limit the flight trajectory prediction performance of existing works. The first issue is the negative impact on prediction accuracy caused by the significant differences in data range. The second issue is that real-world flight trajectories involve underlying temporal dependencies, and existing methods fail to reveal the hidden complex temporal variations and only extract features from one single time scale. To address the above issues, we propose FlightPatchNet, a multi-scale patch network with differential coding for flight trajectory prediction. Specifically, FlightPatchNet first utilizes the differential coding to encode the original values of longitude and latitude into first-order differences and generates embeddings for all variables at each time step. Then, a global temporal attention is introduced to explore the dependencies between different time steps. To fully explore the diverse temporal patterns in flight trajectories, a multi-scale patch network is delicately designed to serve as the backbone. The multi-scale patch network exploits stacked patch mixer blocks to capture inter- and intra-patch dependencies under different time scales, and further integrates multi-scale temporal features across different scales and variables. Finally, FlightPatchNet ensembles multiple predictors to make direct multi-step prediction. Extensive experiments on ADS-B datasets demonstrate that our model outperforms the competitive baselines. Code is available at: https://github.com/FlightTrajectoryResearch/FlightPatchNet.


title: Further study on two fixed point iterative schemes for absolute value equations

abstract: In this paper, we reconsider two new iterative methods for solving absolute value equations (AVE), which is proposed by Ali and Pan (Jpn. J. Ind. Appl. Math. 40: 303--314, 2023). Convergence results of the two iterative schemes and new sufficient conditions for the unique solvability of AVE are presented. In addition, for a special case, the optimal iteration parameters of the two algorithms are analyzed, respectively. Numerical results demonstrate our claims.


title: Boundary actions by higher-rank lattices: Classification and embedding in low dimensions, local rigidity, smooth factors

abstract: We study actions by lattices in higher-rank (semi)simple Lie groups on compact manifolds. By classifying certain measures invariant under a related higher-rank abelian action (the diagonal action on the suspension space) we deduce a number of new rigidity results related to standard projective actions (i.e. boundary actions) by such groups. Specifically, in low dimensions we show all actions (with infinite image) are conjugate to boundary actions. We also show standard boundary actions (e.g. projective actions on generalized flag varieties) are local rigid and classify all smooth actions that are topological factors of such actions. Finally, for volume-preserving actions in low dimensions (with infinite image) we provide a mechanism to detect the presence of "blow-ups" for the action by studying measures that are $P$-invariant but not $G$-invariant for the suspension action.


title: Evolutionary Large Language Model for Automated Feature Transformation

abstract: Feature transformation aims to reconstruct the feature space of raw features to enhance the performance of downstream models. However, the exponential growth in the combinations of features and operations poses a challenge, making it difficult for existing methods to efficiently explore a wide space. Additionally, their optimization is solely driven by the accuracy of downstream models in specific domains, neglecting the acquisition of general feature knowledge. To fill this research gap, we propose an evolutionary LLM framework for automated feature transformation. This framework consists of two parts: 1) constructing a multi-population database through an RL data collector while utilizing evolutionary algorithm strategies for database maintenance, and 2) utilizing the ability of Large Language Model (LLM) in sequence understanding, we employ few-shot prompts to guide LLM in generating superior samples based on feature transformation sequence distinction. Leveraging the multi-population database initially provides a wide search scope to discover excellent populations. Through culling and evolution, the high-quality populations are afforded greater opportunities, thereby furthering the pursuit of optimal individuals. Through the integration of LLMs with evolutionary algorithms, we achieve efficient exploration within a vast space, while harnessing feature knowledge to propel optimization, thus realizing a more adaptable search paradigm. Finally, we empirically demonstrate the effectiveness and generality of our proposed method.


title: VOODOO XP: Expressive One-Shot Head Reenactment for VR Telepresence

abstract: We introduce VOODOO XP: a 3D-aware one-shot head reenactment method that can generate highly expressive facial expressions from any input driver video and a single 2D portrait. Our solution is real-time, view-consistent, and can be instantly used without calibration or fine-tuning. We demonstrate our solution on a monocular video setting and an end-to-end VR telepresence system for two-way communication. Compared to 2D head reenactment methods, 3D-aware approaches aim to preserve the identity of the subject and ensure view-consistent facial geometry for novel camera poses, which makes them suitable for immersive applications. While various facial disentanglement techniques have been introduced, cutting-edge 3D-aware neural reenactment techniques still lack expressiveness and fail to reproduce complex and fine-scale facial expressions. We present a novel cross-reenactment architecture that directly transfers the driver's facial expressions to transformer blocks of the input source's 3D lifting module. We show that highly effective disentanglement is possible using an innovative multi-stage self-supervision approach, which is based on a coarse-to-fine strategy, combined with an explicit face neutralization and 3D lifted frontalization during its initial training stage. We further integrate our novel head reenactment solution into an accessible high-fidelity VR telepresence system, where any person can instantly build a personalized neural head avatar from any photo and bring it to life using the headset. We demonstrate state-of-the-art performance in terms of expressiveness and likeness preservation on a large set of diverse subjects and capture conditions.


title: GeneAgent: Self-verification Language Agent for Gene Set Knowledge Discovery using Domain Databases

abstract: Gene set knowledge discovery is essential for advancing human functional genomics. Recent studies have shown promising performance by harnessing the power of Large Language Models (LLMs) on this task. Nonetheless, their results are subject to several limitations common in LLMs such as hallucinations. In response, we present GeneAgent, a first-of-its-kind language agent featuring self-verification capability. It autonomously interacts with various biological databases and leverages relevant domain knowledge to improve accuracy and reduce hallucination occurrences. Benchmarking on 1,106 gene sets from different sources, GeneAgent consistently outperforms standard GPT-4 by a significant margin. Moreover, a detailed manual review confirms the effectiveness of the self-verification module in minimizing hallucinations and generating more reliable analytical narratives. To demonstrate its practical utility, we apply GeneAgent to seven novel gene sets derived from mouse B2905 melanoma cell lines, with expert evaluations showing that GeneAgent offers novel insights into gene functions and subsequently expedites knowledge discovery.


title: GlycanML: A Multi-Task and Multi-Structure Benchmark for Glycan Machine Learning

abstract: Glycans are basic biomolecules and perform essential functions within living organisms. The rapid increase of functional glycan data provides a good opportunity for machine learning solutions to glycan understanding. However, there still lacks a standard machine learning benchmark for glycan function prediction. In this work, we fill this blank by building a comprehensive benchmark for Glycan Machine Learning (GlycanML). The GlycanML benchmark consists of diverse types of tasks including glycan taxonomy prediction, glycan immunogenicity prediction, glycosylation type prediction, and protein-glycan interaction prediction. Glycans can be represented by both sequences and graphs in GlycanML, which enables us to extensively evaluate sequence-based models and graph neural networks (GNNs) on benchmark tasks. Furthermore, by concurrently performing eight glycan taxonomy prediction tasks, we introduce the GlycanML-MTL testbed for multi-task learning (MTL) algorithms. Experimental results show the superiority of modeling glycans with multi-relational GNNs, and suitable MTL methods can further boost model performance. We provide all datasets and source codes at https://github.com/GlycanML/GlycanML and maintain a leaderboard at https://GlycanML.github.io/project


title: Impacts of extreme weather events on terrestrial carbon sequestration revealed by weather stations in the Northern Hemisphere

abstract: The increasing frequency of global climate extremes has significantly impacted the terrestrial carbon cycle. Extreme weather events such as heatwaves, droughts, and extreme precipitation pose serious threats to ecosystem carbon sequestration. This study investigated the impacts of these extreme events on terrestrial carbon sequestration using data from weather stations in the Northern Hemisphere, by combining weather station observations and machine learning-based Gross Primary Production (GPP) and ecosystem respiration (Reco) estimates. Droughts and heatwaves have the most significant impact, often correlated as compound events. The effects of extreme precipitation and cold extremes may have been underestimated in the past. Whether various extreme events occur in spring or summer led to different mechanisms. We provided a more precise and station-specific analysis compared to using coarse-resolution climate reanalysis and model simulations. It also suggests the need for improved methodologies and the integration of data-driven and process-based models to better predict and understand the effects of extreme weather on ecosystem carbon cycling.


title: Normal forms for contracting dynamics, revisited

abstract: We revisit the theory of normal forms for non-uniformly contracting dynamics. We collect a number of lemmas and reformulations of the standard theory that will be used in other projects.


title: Analytical photoresponses of Schottky contact MoS2 phototransistors

abstract: High-gain photodetectors based on two-dimensional (2D) semiconductors, in particular those in photoconductive mode, have been extensively investigated in the past decade. However, the classical photoconductive theory was derived on two misplaced assumptions. In this work, we established an explicit analytical device model for Schottky contact MoS2 phototransistors that fits well with experimental data. From the fitting results, we found that the Richardson constant of the MoS2 Schottky contact is temperature dependent, indicating that the Schottky contacts for the 2D material is best described by the mixed thermionic emission and diffusion model. Based on this device model, we further established an analytical photoresponse for the few-layer MoS2 phototransistors, from which we found the voltage distribution on the two Schottky contacts and the channel, and extracted the minority carrier recombination lifetimes. The lifetimes are comparable with the values found from transient photoluminescence measurements, which therefore validates our analytical photoresponses for Schottky contact 2D semiconducting phototransistors.


title: Scalar Leptoquark Contribution to Two Photon Elastic Scattering

abstract: We study the contribution of Scalar Leptoquark (SLQ) loops to the two photon scattering cross section at high energies. The leading order helicity amplitudes are discussed at coupling O(e4) for Standard Model (SM) fermions, weak bosons and SLQs. Helicity amplitudes for the different types of loops are calculated for photon center of mass energies being much higher than weak boson mass scale but still much lower than the predicted Leptoquark mass scales. Finally, the cross section due to the SLQ loops is presented in conjunction with the known SM contribution.


title: Thomas Fermi Screening Length in q-Deformed Statistical Mechanics

abstract: The q-deformed statistical mechanics for fermions has been used to investigate the Thomas-Fermi screening length at finite temperature. Considering linear response, the calculations have been made at weakly nondegenerate regime. The results show that q-deformation has significance effects on screening length at higher temperatures. It is also shown that the q-deformation effects vanish at zero temperature limit. One can find that more correction terms of deformation have more effects on screening length. The bahaviour of screening length is different for different values of q.


title: New estimates for numerical radius in $C^*$-algebras

abstract: Several numerical radius inequalities in the framework of $C^*$-algebras are proved in this paper. These results, which are based on an extension of Buzano inequality for elements in a pre-Hilbert $C^*$-module, generalize earlier numerical radius inequalities.


title: Learning Visual-Semantic Subspace Representations for Propositional Reasoning

abstract: Learning representations that capture rich semantic relationships and accommodate propositional calculus poses a significant challenge. Existing approaches are either contrastive, lacking theoretical guarantees, or fall short in effectively representing the partial orders inherent to rich visual-semantic hierarchies. In this paper, we propose a novel approach for learning visual representations that not only conform to a specified semantic structure but also facilitate probabilistic propositional reasoning. Our approach is based on a new nuclear norm-based loss. We show that its minimum encodes the spectral geometry of the semantics in a subspace lattice, where logical propositions can be represented by projection operators.


title: Underwater Image Enhancement by Diffusion Model with Customized CLIP-Classifier

abstract: Underwater Image Enhancement (UIE) aims to improve the visual quality from a low-quality input. Unlike other image enhancement tasks, underwater images suffer from the unavailability of real reference images. Although existing works exploit synthetic images and manually select well-enhanced images as reference images to train enhancement networks, their upper performance bound is limited by the reference domain. To address this challenge, we propose CLIP-UIE, a novel framework that leverages the potential of Contrastive Language-Image Pretraining (CLIP) for the UIE task. Specifically, we propose employing color transfer to yield synthetic images by degrading in-air natural images into corresponding underwater images, guided by the real underwater domain. This approach enables the diffusion model to capture the prior knowledge of mapping transitions from the underwater degradation domain to the real in-air natural domain. Still, fine-tuning the diffusion model for specific downstream tasks is inevitable and may result in the loss of this prior knowledge. To migrate this drawback, we combine the prior knowledge of the in-air natural domain with CLIP to train a CLIP-Classifier. Subsequently, we integrate this CLIP-Classifier with UIE benchmark datasets to jointly fine-tune the diffusion model, guiding the enhancement results towards the in-air natural domain. Additionally, for image enhancement tasks, we observe that both the image-to-image diffusion model and CLIP-Classifier primarily focus on the high-frequency region during fine-tuning. Therefore, we propose a new fine-tuning strategy that specifically targets the high-frequency region, which can be up to 10 times faster than traditional strategies. Extensive experiments demonstrate that our method exhibits a more natural appearance.


title: Individual and Contextual Variables of Cyber Security Behaviour -- An empirical analysis of national culture, industry, organisation, and individual variables of (in)secure human behaviour

abstract: Cyber security incidents are increasing and humans play an important role in reducing their likelihood and impact. We identify a skewed focus towards technical aspects of cyber security in the literature, whereas factors influencing the secure behaviour of individuals require additional research. These factors span across both the individual level and the contextual level in which the people are situated. We analyse two datasets of a total of 37,075 records from a) self-reported security behaviours across the EU, and b) observed phishing-related behaviours from the industry security awareness training programmes. We identify that national culture, industry type, and organisational security culture play are influential Variables (antecedents) of individuals' security behaviour at contextual level. Whereas, demographics (age, gender, and level or urbanisation) and security-specific factors (security awareness, security knowledge, and prior experience with security incidents) are found to be influential variables of security behaviour at individual level. Our findings have implications for both research and practice as they fill a gap in the literature and provide concrete statistical evidence on the variables which influence security behaviour. Moreover, findings provides practical insights for organisations regarding the susceptibility of groups of people to insecure behaviour. Consequently, organisations can tailor their security training and awareness efforts (e.g., through behaviour change interventions and/or appropriate employee group profiles), adapt their communications (e.g., of information security policies), and customise their interventions according to national culture characteristics to improve security behaviour.


title: Pin the loop taut: a one-player topologame

abstract: We introduce a $1$-player game called \emph{pin the loop} and analyse its complexity. A loop is a generic immersion of the circle in a surface, considered up to isotopy. A loop is taut when it is minimally intersecting in its homotopy class. A pinning set of a loop is a set of points $P$ in the surface avoiding the loop, such that the loop is taut in the surface punctured at $P$. The pinning number is the minimal cardinal of its pinning sets, and a pinning set is optimal if it has that cardinal. We show that the decision problem associated to computing the pinning number of a plane loop is \texttt{NP-complete}. We implement a polynomial algorithm to check if a given point-set is pinning, adapting a method of Birman--Series for computing intersection numbers of curves in surfaces. After improving a theorem of Hass--Scott characterising taut loops in surfaces, we reduce the problem to a boolean formula whose solutions correspond to the pinning sets. Finally, we reduce the vertex-cover problem for graphs to an instance of the pinning problem for plane loops. Our results imply that given a closed geodesic in a complete Riemannian surface with punctures, it is hard to guess the location of the punctures from the sole isotopy class of the geodesic in the compactified surface.


title: Gr\"obner bases and final polynomials

abstract: In [4] Sturmfels linked the Hilbert Nullstellensatz to Gr\"obner bases through final polynomials. In (loc. cit.) it was claimed that final polynomials always appear in a lexicographic Gr\"obner basis of a certain ideal. In this paper, we give a counterexample to this claim. We also show how the introduction of an extra variable restores the claim in a deformed setup, which we call extended final polynomials.


title: On the Optimal Time Complexities in Decentralized Stochastic Asynchronous Optimization

abstract: We consider the decentralized stochastic asynchronous optimization setup, where many workers asynchronously calculate stochastic gradients and asynchronously communicate with each other using edges in a multigraph. For both homogeneous and heterogeneous setups, we prove new time complexity lower bounds under the assumption that computation and communication speeds are bounded. We develop a new nearly optimal method, Fragile SGD, and a new optimal method, Amelie SGD, that converge under arbitrary heterogeneous computation and communication speeds and match our lower bounds (up to a logarithmic factor in the homogeneous setting). Our time complexities are new, nearly optimal, and provably improve all previous asynchronous/synchronous stochastic methods in the decentralized setup.


title: Deep Causal Generative Models with Property Control

abstract: Generating data with properties of interest by external users while following the right causation among its intrinsic factors is important yet has not been well addressed jointly. This is due to the long-lasting challenge of jointly identifying key latent variables, their causal relations, and their correlation with properties of interest, as well as how to leverage their discoveries toward causally controlled data generation. To address these challenges, we propose a novel deep generative framework called the Correlation-aware Causal Variational Auto-encoder (C2VAE). This framework simultaneously recovers the correlation and causal relationships between properties using disentangled latent vectors. Specifically, causality is captured by learning the causal graph on latent variables through a structural causal model, while correlation is learned via a novel correlation pooling algorithm. Extensive experiments demonstrate C2VAE's ability to accurately recover true causality and correlation, as well as its superiority in controllable data generation compared to baseline models.


title: DAFFNet: A Dual Attention Feature Fusion Network for Classification of White Blood Cells

abstract: The precise categorization of white blood cell (WBC) is crucial for diagnosing blood-related disorders. However, manual analysis in clinical settings is time-consuming, labor-intensive, and prone to errors. Numerous studies have employed machine learning and deep learning techniques to achieve objective WBC classification, yet these studies have not fully utilized the information of WBC images. Therefore, our motivation is to comprehensively utilize the morphological information and high-level semantic information of WBC images to achieve accurate classification of WBC. In this study, we propose a novel dual-branch network Dual Attention Feature Fusion Network (DAFFNet), which for the first time integrates the high-level semantic features with morphological features of WBC to achieve accurate classification. Specifically, we introduce a dual attention mechanism, which enables the model to utilize the channel features and spatially localized features of the image more comprehensively. Morphological Feature Extractor (MFE), comprising Morphological Attributes Predictor (MAP) and Morphological Attributes Encoder (MAE), is proposed to extract the morphological features of WBC. We also implement Deep-supervised Learning (DSL) and Semi-supervised Learning (SSL) training strategies for MAE to enhance its performance. Our proposed network framework achieves 98.77%, 91.30%, 98.36%, 99.71%, 98.45%, and 98.85% overall accuracy on the six public datasets PBC, LISC, Raabin-WBC, BCCD, LDWBC, and Labelled, respectively, demonstrating superior effectiveness compared to existing studies. The results indicate that the WBC classification combining high-level semantic features and low-level morphological features is of great significance, which lays the foundation for objective and accurate classification of WBC in microscopic blood cell images.


title: Nonreciprocal Multipartite Entanglement in a two-cavity magnomechanical system

abstract: We propose a scheme for the generation of nonreciprocal multipartite entanglement in a two-mode cavity magnomechanical system, consisting of two cross microwave (MW) cavities having an yttrium iron garnet (YIG) sphere, which is coupled through magnetic dipole interaction. Our results show that the magnon self-Kerr effect can significantly enhance bipartite entanglement, which turns out to be non-reciprocal when the magetic field is tuned along the crystallographic axis [110]. This is due to the frequency shift on the magnons (YIG sphere), which depends upon the direction of magnetic field. Interestingly, the degree of nonreciprocity of entanglement depends upon a careful optimal choice of system parameters like normalizd cavity detunings, bipartite nonlinear index $\Delta E_{K}$, self-Kerr coefficient and effective magnomechanical coupling rate $G$. In addition to bipartite entanglement, we also explored the nonreciprocity in tripartite entanglement. Our present theoretical proposal for nonreciprocity in multipartite entanglement may find applications in diverse engineering nonreciprocal devices.


title: Proposal for a Quantum Mechanical Test of Gravity at Millimeter Scale

abstract: The experimental verification of the Newton law of gravity at small scales has been a longstanding challenge. Recently, torsion balance experiments have successfully measured gravitational force at the millimeter scale. However, testing gravity force on quantum mechanical wave function at small scales remains difficult. In this paper, we propose a novel experiment that utilizes the Josephson effect to detect the different evolution of quantum phase induced from the potential difference caused by gravity. We demonstrate that this experiment can test gravity quantum mechanically at the millimeter scale, and also has a potential to investigate the parity invariance of gravity at small scales.


title: Near Optimality of Lipschitz and Smooth Policies in Controlled Diffusions

abstract: For optimal control of diffusions under several criteria, due to computational or analytical reasons, many studies have a apriori assumed control policies to be Lipschitz or smooth, often with no rigorous analysis on whether this restriction entails loss. While optimality of Markov/stationary Markov policies for expected finite horizon/infinite horizon (discounted/ergodic) cost and cost-up-to-exit time optimal control problems can be established under certain technical conditions, an optimal solution is typically only measurable in the state (and time, if the horizon is finite) with no apriori additional structural properties. In this paper, building on our recent work [S. Pradhan and S. Y\"uksel, Continuity of cost in Borkar control topology and implications on discrete space and time approximations for controlled diffusions under several criteria, Electronic Journal of Probability (2024)] establishing the regularity of optimal cost on the space of control policies under the Borkar control topology for a general class of diffusions, we establish near optimality of smooth/Lipschitz continuous policies for optimal control under expected finite horizon, infinite horizon discounted/average, and up-to-exit time cost criteria. Under mild assumptions, we first show that smooth/Lipschitz continuous policies are dense in the space of Markov/stationary Markov policies under the Borkar topology. Then utilizing the continuity of optimal costs as a function of policies on the space of Markov/stationary policies under the Borkar topology, we establish that optimal policies can be approximated by smooth/Lipschitz continuous policies with arbitrary precision. While our results are extensions of our recent work, the practical significance of an explicit statement and accessible presentation dedicated to Lipschitz and smooth policies, given their prominence in the literature, motivates our current paper.


title: Negative as Positive: Enhancing Out-of-distribution Generalization for Graph Contrastive Learning

abstract: Graph contrastive learning (GCL), standing as the dominant paradigm in the realm of graph pre-training, has yielded considerable progress. Nonetheless, its capacity for out-of-distribution (OOD) generalization has been relatively underexplored. In this work, we point out that the traditional optimization of InfoNCE in GCL restricts the cross-domain pairs only to be negative samples, which inevitably enlarges the distribution gap between different domains. This violates the requirement of domain invariance under OOD scenario and consequently impairs the model's OOD generalization performance. To address this issue, we propose a novel strategy "Negative as Positive", where the most semantically similar cross-domain negative pairs are treated as positive during GCL. Our experimental results, spanning a wide array of datasets, confirm that this method substantially improves the OOD generalization performance of GCL.


title: Local Causal Structure Learning in the Presence of Latent Variables

abstract: Discovering causal relationships from observational data, particularly in the presence of latent variables, poses a challenging problem. While current local structure learning methods have proven effective and efficient when the focus lies solely on the local relationships of a target variable, they operate under the assumption of causal sufficiency. This assumption implies that all the common causes of the measured variables are observed, leaving no room for latent variables. Such a premise can be easily violated in various real-world applications, resulting in inaccurate structures that may adversely impact downstream tasks. In light of this, our paper delves into the primary investigation of locally identifying potential parents and children of a target from observational data that may include latent variables. Specifically, we harness the causal information from m-separation and V-structures to derive theoretical consistency results, effectively bridging the gap between global and local structure learning. Together with the newly developed stop rules, we present a principled method for determining whether a variable is a direct cause or effect of a target. Further, we theoretically demonstrate the correctness of our approach under the standard causal Markov and faithfulness conditions, with infinite samples. Experimental results on both synthetic and real-world data validate the effectiveness and efficiency of our approach.


title: Detecting Adversarial Data via Perturbation Forgery

abstract: As a defense strategy against adversarial attacks, adversarial detection aims to identify and filter out adversarial data from the data flow based on discrepancies in distribution and noise patterns between natural and adversarial data. Although previous detection methods achieve high performance in detecting gradient-based adversarial attacks, new attacks based on generative models with imbalanced and anisotropic noise patterns evade detection. Even worse, existing techniques either necessitate access to attack data before deploying a defense or incur a significant time cost for inference, rendering them impractical for defending against newly emerging attacks that are unseen by defenders. In this paper, we explore the proximity relationship between adversarial noise distributions and demonstrate the existence of an open covering for them. By learning to distinguish this open covering from the distribution of natural data, we can develop a detector with strong generalization capabilities against all types of adversarial attacks. Based on this insight, we heuristically propose Perturbation Forgery, which includes noise distribution perturbation, sparse mask generation, and pseudo-adversarial data production, to train an adversarial detector capable of detecting unseen gradient-based, generative-model-based, and physical adversarial attacks, while remaining agnostic to any specific models. Comprehensive experiments conducted on multiple general and facial datasets, with a wide spectrum of attacks, validate the strong generalization of our method.


title: SIGNLINE: Digital signature scheme based on linear equations cryptosystem

abstract: The paper explores a novel cryptosystem for digital signatures based on linear equa-tions for logarithmic signatures. A logarithmic signature serves as a fundamental cryptographic primitive, characterized by properties such as nonlinearity, non-commutability, unidirectionality, and key-dependent factorability. The proposed cryptosystem ensures the secrecy of logarithmic signatures through its foundation in linear equations. Quantum security is achieved by eliminating any possible mapping between the input and output of the logarithmic signature, thereby rendering Grover's quantum attack ineffective. The public key sizes for the NIST security levels of 128, 192, and 256 bits are 1, 1.5, and 2 KB, respectively. The algorithm demonstrates scalability concerning computational costs, memory usage, and hardware limitations without compromising security. Its primary operation involves bitwise XOR over logarithmic arrays of 8, 16, 32, and 64 bits.


title: Generalized Volterra-type integral operators between Bloch-type spaces

abstract: The Volterra-type integral operator plays an essential role in modern complex analysis and operator theory. Recently, Chalmoukis \cite{Cn} introduced a generalized integral operator, say $I_{g,a}$, defined by $$I_{g,a}f=I^n(a_0f^{(n-1)}g'+a_1f^{(n-2)}g''+\cdots+a_{n-1}fg^{(n)}),$$ where $g\in H(\mathbb{D})$ and $a=(a_0,a_1,\cdots,a_{n-1})\in \mathbb{C}^n$. $I^n$ is the $n$th iteration of the integral operator $I$. In this paper, we introduce a more generalized integral operators $I_{\mathbf{g}}^{(n)}$ that cover $I_{g,a}$ on the Bloch-type space $\mathcal{B}^{\alpha}$, defined by $$I_{\mathbf{g}}^{(n)}f=I^n(fg_0+\cdots+f^{(n-1)}g_{n-1}).$$ We show the rigidity of the operator $I_{\mathbf{g}}^{(n)}$ and further the sum $\sum_{i=1}^nI_{g_i}^{N_i,k_i}$, where $I_{g_i}^{N_i,k_i}f=I^{N_i}(f^{(k_i)}g_i)$. Specifically, the boundedness and compactness of $\sum_{i=1}^nI_{g_i}^{N_i,k_i}$ are equal to those of each $I_{g_i}^{N_i,k_i}$. Moreover, the boundedness and compactness of $I^n((fg')^{(n-1)})$ are independent of $n$ when $\alpha>1$.


title: No Two Devils Alike: Unveiling Distinct Mechanisms of Fine-tuning Attacks

abstract: The existing safety alignment of Large Language Models (LLMs) is found fragile and could be easily attacked through different strategies, such as through fine-tuning on a few harmful examples or manipulating the prefix of the generation results. However, the attack mechanisms of these strategies are still underexplored. In this paper, we ask the following question: \textit{while these approaches can all significantly compromise safety, do their attack mechanisms exhibit strong similarities?} To answer this question, we break down the safeguarding process of an LLM when encountered with harmful instructions into three stages: (1) recognizing harmful instructions, (2) generating an initial refusing tone, and (3) completing the refusal response. Accordingly, we investigate whether and how different attack strategies could influence each stage of this safeguarding process. We utilize techniques such as logit lens and activation patching to identify model components that drive specific behavior, and we apply cross-model probing to examine representation shifts after an attack. In particular, we analyze the two most representative types of attack approaches: Explicit Harmful Attack (EHA) and Identity-Shifting Attack (ISA). Surprisingly, we find that their attack mechanisms diverge dramatically. Unlike ISA, EHA tends to aggressively target the harmful recognition stage. While both EHA and ISA disrupt the latter two stages, the extent and mechanisms of their attacks differ significantly. Our findings underscore the importance of understanding LLMs' internal safeguarding process and suggest that diverse defense mechanisms are required to effectively cope with various types of attacks.


title: Active oversight and quality control in standard Bayesian optimization for autonomous experiments

abstract: The fusion of experimental automation and machine learning has catalyzed a new era in materials research, prominently featuring Gaussian Process Bayesian Optimization (GPBO) driven autonomous experiments navigating complex experimental conditions for accelerated scientific discovery. In traditional GPBO-driven experiments, a predefined scalarizer function is often required to preprocess the experimental data, transforming non-scalar raw data into scalar descriptors for GP training. However, such predefined scalarizer functions have limitations, which likely fail to accommodate the diversity and complexity of real-world experimental data, potentially skewing experimental outcomes. Thus, oversight and quality control are necessitated over the process to avoid GPBO from being misled by low quality scalarizers. To address the limitation, we introduce a Dual-GP approach that enhances traditional GPBO by adding a secondary surrogate model to dynamically constrain the experimental space based on real-time assessments of the raw experimental data. This Dual-GP approach enhances the optimization efficiency of traditional GPBO by isolating more promising space for BO sampling and more valuable experimental data for primary GP training. We also incorporate a flexible, human-in-the-loop intervention method in the Dual-GP workflow to adjust for unanticipated results. We demonstrate the effectiveness of the Dual-GP model with synthetic model data and implement this approach in autonomous pulsed laser deposition experimental data. This Dual-GP approach has broad applicability in diverse GPBO-driven experimental settings, providing a more adaptable and precise framework for refining autonomous experimentation for more efficient optimization.


title: Almost covers of finite sets of points

abstract: Let $\mbox{$\cal V$} \subseteq {\mathbb F}^n$ be a finite set of points in an affine space. A finite set of affine hyperplanes $\{H_1, \ldots ,H_m\}$ is said to be an almost cover of $\mbox{$\cal V$}$ and $\mathbf{v}$, if their union $\cup_{j=1}^m H_j$ contains $\mbox{$\cal V$}\setminus \{\mathbf{v}\}$ but does not contain $\mathbf{v}$. We give here a lower bound for the size of a minimal almost cover of $\mbox{$\cal V$}$ and $\mathbf{v}$ in terms of the size of $\mbox{$\cal V$}$ and the dimension $n$. We prove a generalization of Sziklai and Weiner's Theorem. Our simple proof is based on Gr\"obner basis theory.


title: Numerical scheme for delay-type stochastic McKean-Vlasov equations driven by fractional Brownian motion

abstract: This paper focuses on the numerical scheme for delay-type stochastic McKean-Vlasov equations (DSMVEs) driven by fractional Brownian motion with Hurst parameter $H\in (0,1/2)\cup (1/2,1)$. The existence and uniqueness of the solutions to such DSMVEs whose drift coefficients contain polynomial delay terms are proved by exploting the Banach fixed point theorem. Then the propagation of chaos between interacting particle system and non-interacting system in $\mathcal{L}^p$ sense is shown. We find that even if the delay term satisfies the polynomial growth condition, the unmodified classical Euler-Maruyama scheme still can approximate the corresponding interacting particle system without the particle corruption. The convergence rates are revealed for $H\in (0,1/2)\cup (1/2,1)$. Finally, as an example that closely fits the original equation, a stochastic opinion dynamics model with both extrinsic memory and intrinsic memory is simulated to illustrate the plausibility of the theoretical result.


title: Client2Vec: Improving Federated Learning by Distribution Shifts Aware Client Indexing

abstract: Federated Learning (FL) is a privacy-preserving distributed machine learning paradigm. Nonetheless, the substantial distribution shifts among clients pose a considerable challenge to the performance of current FL algorithms. To mitigate this challenge, various methods have been proposed to enhance the FL training process. This paper endeavors to tackle the issue of data heterogeneity from another perspective -- by improving FL algorithms prior to the actual training stage. Specifically, we introduce the Client2Vec mechanism, which generates a unique client index for each client before the commencement of FL training. Subsequently, we leverage the generated client index to enhance the subsequent FL training process. To demonstrate the effectiveness of the proposed Client2Vec method, we conduct three case studies that assess the impact of the client index on the FL training process. These case studies encompass enhanced client sampling, model aggregation, and local training. Extensive experiments conducted on diverse datasets and model architectures show the efficacy of Client2Vec across all three case studies. Our code is avaliable at \url{https://github.com/LINs-lab/client2vec}.


title: Vision Language Models for Spreadsheet Understanding: Challenges and Opportunities

abstract: This paper explores capabilities of Vision Language Models on spreadsheet comprehension. We propose three self-supervised challenges with corresponding evaluation metrics to comprehensively evaluate VLMs on Optical Character Recognition (OCR), spatial perception, and visual format recognition. Additionally, we utilize the spreadsheet table detection task to assess the overall performance of VLMs by integrating these challenges. To probe VLMs more finely, we propose three spreadsheet-to-image settings: column width adjustment, style change, and address augmentation. We propose variants of prompts to address the above tasks in different settings. Notably, to leverage the strengths of VLMs in understanding text rather than two-dimensional positioning, we propose to decode cell values on the four boundaries of the table in spreadsheet boundary detection. Our findings reveal that VLMs demonstrate promising OCR capabilities but produce unsatisfactory results due to cell omission and misalignment, and they notably exhibit insufficient spatial and format recognition skills, motivating future work to enhance VLMs' spreadsheet data comprehension capabilities using our methods to generate extensive spreadsheet-image pairs in various settings.


title: A better approach to diagnose retinal diseases: Combining our Segmentation-based Vascular Enhancement with deep learning features

abstract: Abnormalities in retinal fundus images may indicate certain pathologies such as diabetic retinopathy, hypertension, stroke, glaucoma, retinal macular edema, venous occlusion, and atherosclerosis, making the study and analysis of retinal images of great significance. In conventional medicine, the diagnosis of retina-related diseases relies on a physician's subjective assessment of the retinal fundus images, which is a time-consuming process and the accuracy is highly dependent on the physician's subjective experience. To this end, this paper proposes a fast, objective, and accurate method for the diagnosis of diseases related to retinal fundus images. This method is a multiclassification study of normal samples and 13 categories of disease samples on the STARE database, with a test set accuracy of 99.96%. Compared with other studies, our method achieved the highest accuracy. This study innovatively propose Segmentation-based Vascular Enhancement(SVE). After comparing the classification performances of the deep learning models of SVE images, original images and Smooth Grad-CAM ++ images, we extracted the deep learning features and traditional features of the SVE images and input them into nine meta learners for classification. The results shows that our proposed UNet-SVE-VGG-MLP model has the optimal performance for classifying diseases related to retinal fundus images on the STARE database, with a overall accuracy of 99.96% and a weighted AUC of 99.98% for the 14 categories on test dataset. This method can be used to realize rapid, objective, and accurate classification and diagnosis of retinal fundus image related diseases.


title: A statistical framework for weak-to-strong generalization

abstract: Modern large language model (LLM) alignment techniques rely on human feedback, but it is unclear whether the techniques fundamentally limit the capabilities of aligned LLMs. In particular, it is unclear whether it is possible to align (stronger) LLMs with superhuman capabilities with (weaker) human feedback without degrading their capabilities. This is an instance of the weak-to-strong generalization problem: using weaker (less capable) feedback to train a stronger (more capable) model. We prove that weak-to-strong generalization is possible by eliciting latent knowledge from pre-trained LLMs. In particular, we cast the weak-to-strong generalization problem as a transfer learning problem in which we wish to transfer a latent concept from a weak model to a strong pre-trained model. We prove that a naive fine-tuning approach suffers from fundamental limitations, but an alternative refinement-based approach suggested by the problem structure provably overcomes the limitations of fine-tuning. Finally, we demonstrate the practical applicability of the refinement approach with three LLM alignment tasks.


title: N-BVH: Neural ray queries with bounding volume hierarchies

abstract: Neural representations have shown spectacular ability to compress complex signals in a fraction of the raw data size. In 3D computer graphics, the bulk of a scene's memory usage is due to polygons and textures, making them ideal candidates for neural compression. Here, the main challenge lies in finding good trade-offs between efficient compression and cheap inference while minimizing training time. In the context of rendering, we adopt a ray-centric approach to this problem and devise N-BVH, a neural compression architecture designed to answer arbitrary ray queries in 3D. Our compact model is learned from the input geometry and substituted for it whenever a ray intersection is queried by a path-tracing engine. While prior neural compression methods have focused on point queries, ours proposes neural ray queries that integrate seamlessly into standard ray-tracing pipelines. At the core of our method, we employ an adaptive BVH-driven probing scheme to optimize the parameters of a multi-resolution hash grid, focusing its neural capacity on the sparse 3D occupancy swept by the original surfaces. As a result, our N-BVH can serve accurate ray queries from a representation that is more than an order of magnitude more compact, providing faithful approximations of visibility, depth, and appearance attributes. The flexibility of our method allows us to combine and overlap neural and non-neural entities within the same 3D scene and extends to appearance level of detail.


title: Rigidity of ideal symmetric sets

abstract: We characterize higher rank model geometries -- Riemannian symmetric spaces, Euclidean buildings and products -- among Hadamard spaces by using antipodal sets at infinity.


title: Revisiting the Higgs Boson Decay into a Photon and a Neutrino Pair

abstract: We present new calculations of the leading-order one-loop amplitude and the decay rate for $H\to \nu \bar{\nu} \gamma$ within the standard model, employing reduction to a set of basic Passarino-Veltman functions resulting in more concise expressions compared to prior works. Our result for the total decay rate is $\Gamma(H\to \nu\bar{\nu} \gamma)=1.33\,\text{keV}$, in close agreement with the narrow width approximation (NWA) for the intermediate Z boson. A comparison with previous results available in the literature is also provided. We evaluate the differential decay rate with respect to the energy of the photon and find that the non-resonant contributions from box diagrams beyond the NWA notably affect the kinematic region associated with high-energy photons, where the intermediate Z boson is offshell. This suggests potential implications for searches of dark sector mediators, particularly in future lepton collider experiments.


title: Analytic Federated Learning

abstract: In this paper, we introduce analytic federated learning (AFL), a new training paradigm that brings analytical (i.e., closed-form) solutions to the federated learning (FL) community. Our AFL draws inspiration from analytic learning -- a gradient-free technique that trains neural networks with analytical solutions in one epoch. In the local client training stage, the AFL facilitates a one-epoch training, eliminating the necessity for multi-epoch updates. In the aggregation stage, we derive an absolute aggregation (AA) law. This AA law allows a single-round aggregation, removing the need for multiple aggregation rounds. More importantly, the AFL exhibits a \textit{weight-invariant} property, meaning that regardless of how the full dataset is distributed among clients, the aggregated result remains identical. This could spawn various potentials, such as data heterogeneity invariance, client-number invariance, absolute convergence, and being hyperparameter-free (our AFL is the first hyperparameter-free method in FL history). We conduct experiments across various FL settings including extremely non-IID ones, and scenarios with a large number of clients (e.g., $\ge 1000$). In all these settings, our AFL constantly performs competitively while existing FL techniques encounter various obstacles. Code is available at \url{https://github.com/ZHUANGHP/Analytic-federated-learning}


title: FastQuery: Communication-efficient Embedding Table Query for Private LLM Inference

abstract: With the fast evolution of large language models (LLMs), privacy concerns with user queries arise as they may contain sensitive information. Private inference based on homomorphic encryption (HE) has been proposed to protect user query privacy. However, a private embedding table query has to be formulated as a HE-based matrix-vector multiplication problem and suffers from enormous computation and communication overhead. We observe the overhead mainly comes from the neglect of 1) the one-hot nature of user queries and 2) the robustness of the embedding table to low bit-width quantization noise. Hence, in this paper, we propose a private embedding table query optimization framework, dubbed FastQuery. FastQuery features a communication-aware embedding table quantization algorithm and a one-hot-aware dense packing algorithm to simultaneously reduce both the computation and communication costs. Compared to prior-art HE-based frameworks, e.g., Cheetah, Iron, and Bumblebee, FastQuery achieves more than $4.3\times$, $2.7\times$, $1.3\times$ latency reduction, respectively and more than $75.7\times$, $60.2\times$, $20.2\times$ communication reduction, respectively, on both LLAMA-7B and LLAMA-30B.


title: Single and Double Diffractive Production of Dilepton and Photon at LHC

abstract: We have investigated the single and double diffractive production of dileptons and photons in ultra-peripheral collisions at the Large Hadron Collider (LHC). Utilizing advanced theoretical models that integrate quantum electrodynamics (QED) and Quantum Chromodynamics (QCD) frameworks, we analyze the differential cross sections of these processes, with particular emphasis on the role of the Pomeron and resolved Pomeron structures, as well as resolved photon structures. Our research employs diffractive production mechanisms to predict dilepton and photon production rates under various LHC energy scenarios. Our results demonstrate distinct production patterns for single and double diffractive processes, highlighting their potential as probes for studying the electromagnetic structure of heavy ions and the dynamics of soft interactions in high-energy collisions. This paper provides new insights into the photon-mediated and Pomeron-mediated production mechanisms and sets the stage for future experimental investigations at collider facilities.


title: A Complete Invariant for Shift Equivalence for Boolean Matrices and Finite Relations

abstract: We give a complete invariant for shift equivalence for Boolean matrices (equivalently finite relations), in terms of the period, the induced partial order on recurrent components, and the cohomology class of the relation on those components.


title: The effect of external magnetic field on electron scale Kelvin-Helmholtz instability

abstract: We use particle-in-cell, fully electromagnetic, plasma kinetic simulation to study the effect of external magnetic field on electron scale Kelvin-Helmholtz instability (ESKHI). The results are applicable to collisionless plasmas when e.g. solar wind interacts with planetary magnetospheres or magnetic field is generated in AGN jets. We find that as in the case of magnetohydrodynamic KHI, in the kinetic regime, presence of external magnetic field reduces growth rate of the instability. In MHD case there is known threshold magnetic field for KHI stabilization, while in for ESKHI this is to be analytically determined. Without a kinetic analytical expression, we use several numerical simulation runs to establish an empirical dependence of ESKHI growth rate, $\Gamma(B_0)\omega_{\rm pe}$, on the strength of applied external magnetic field. We find the best fit is hyperbolic, $\Gamma(B_0)\omega_{\rm pe}=\Gamma_0\omega_{\rm pe}/(A+B\bar B_0)$, where $\Gamma_0$ is the ESKHI growth rate without external magnetic field and $\bar B_0=B_0/B_{\rm MHD}$ is the ratio of external and two-fluid MHD stability threshold magnetic field, derived here. An analytical theory to back up this growth rate dependence on external magnetic field is needed. The results suggest that in astrophysical settings where strong magnetic field pre-exists, the generation of an additional magnetic field by the ESKHI is suppressed, which implies that the Nature provides a "safety valve" -- natural protection not to "over-generate" magnetic field by ESKHI mechanism. Remarkably, we find that our two-fluid MHD threshold magnetic field is the same (up to a factor $\sqrt{\gamma_0}$) as the DC saturation magnetic field, previously predicted by fully kinetic theory.


title: Shape of a droplet on a surface in the presence of an external field and its critical disruption condition

abstract: Due to the potential application of regulating droplet shape by external fields in microfluidic technology and micro devices, it becomes increasingly important to understand the shape formation of a droplet in the presence of an electric field. How to understand and determine such a deformable boundary shape at equilibrium has been a long-term physical and mathematical challenge. Here, based on the theoretical model we propose, and combining the finite element method and the gradient descent algorithm, we successfully obtain the droplet shape by considering the contributions made by electrostatic energy, surface tension energy, and gravitational potential energy. We also carry out scaling analyses and obtain an empirical critical disruption condition with a universal scaling exponent 1/2 for the contact angle in terms of normalized volume. The master curve fits both the experimental and the numerical results very well.