title: General Procedure to Provide High-Probability Guarantees for Stochastic Saddle Point Problems

abstract: This paper considers smooth strongly convex and strongly concave (SC-SC) stochastic saddle point (SSP) problems. Suppose there is an arbitrary oracle that in expectation returns an $\epsilon$-solution in the sense of certain gaps, which can be the duality gap or its weaker variants. We propose a general PB-SSP framework to guarantee an $\epsilon$ small duality gap solution with high probability via only $\mathcal{O}\big(\log \frac{1}{p}\cdot\text{poly}(\log \kappa)\big)$ calls of this oracle, where $p\in(0,1)$ is the confidence level and $\kappa$ is the condition number. When applied to the sample average approximation (SAA) oracle, in addition to equipping the solution with high probability, our approach even improves the sample complexity by a factor of $\text{poly}(\kappa)$, since the high-probability argument enables us to circumvent some key difficulties of the uniform stability analysis of SAA.


title: Geometric Constraints via Page Curves: Insights from Island Rule and Quantum Focusing Conjecture

abstract: Exploring the inverse problem tied to the Page curve phenomenon and island paradigm, we investigate the geometric conditions underpinning black hole evaporation where information is preserved and islands manifest, giving rise to the characteristic Page curve. Focusing on a broad class of static black hole metrics in asymptotically Minkowski or (anti-)de Sitter spacetimes, we derive a pivotal constraint on the blacken factor $f(r)$ for which the island exists and reproduce the Page curve. Specifically, we reveal that a sufficient yet not universally necessary criterion -- manifested in the negativity of the second derivative of $f(r)$, i.e. $f^{\prime \prime} (r)<0$, in proximity to the event horizon where $r \sim r_h+ {\cal O} (G_N)$, ensures the emergence of Page curves in a manner transcending specific theoretical models. This pivotal finding, supported by the tenets of the quantum focusing conjecture.


title: Spatial and Surface Correspondence Field for Interaction Transfer

abstract: In this paper, we introduce a new method for the task of interaction transfer. Given an example interaction between a source object and an agent, our method can automatically infer both surface and spatial relationships for the agent and target objects within the same category, yielding more accurate and valid transfers. Specifically, our method characterizes the example interaction using a combined spatial and surface representation. We correspond the agent points and object points related to the representation to the target object space using a learned spatial and surface correspondence field, which represents objects as deformed and rotated signed distance fields. With the corresponded points, an optimization is performed under the constraints of our spatial and surface interaction representation and additional regularization. Experiments conducted on human-chair and hand-mug interaction transfer tasks show that our approach can handle larger geometry and topology variations between source and target shapes, significantly outperforming state-of-the-art methods.


title: Computational Efficient Width-Wise Early Exits in Modulation Classification

abstract: Deep learning (DL) techniques are increasingly pervasive across various domains, including wireless communication, where they extract insights from raw radio signals. However, the computational demands of DL pose significant challenges, particularly in distributed wireless networks like Cell-free networks, where deploying DL models on edge devices becomes hard due to heightened computational loads. These computational loads escalate with larger input sizes, often correlating with improved model performance. To mitigate this challenge, Early Exiting (EE) techniques have been introduced in DL, primarily targeting the depth of the model. This approach enables models to exit during inference based on specified criteria, leveraging entropy measures at intermediate exits. Doing so makes less complex samples exit early, reducing computational load and inference time. In our contribution, we propose a novel width-wise exiting strategy for Convolutional Neural Network (CNN)-based architectures. By selectively adjusting the input size, we aim to regulate computational demands effectively. Our approach aims to decrease the average computational load during inference while maintaining performance levels comparable to conventional models. We specifically investigate Modulation Classification, a well-established application of DL in wireless communication. Our experimental results show substantial reductions in computational load, with an average decrease of 28%, and particularly notable reductions of 65% in high-SNR scenarios. Through this work, we present a practical solution for reducing computational demands in deep learning applications, particularly within the domain of wireless communication.


title: The Kansei Engineering Approach in Web Design:Case of Transportation Website

abstract: Kansei Engineering (KE) is a user-centered design approach that emphasizes the emotional aspects of user experience. This paper explores the integration of KE in the case of a transportation company that focuses on connecting cargo owners with transportation providers. The methodology involves aligning the design process with the company's strategy, collecting and semantic scaling Kansei words, and evaluating website design through experimental and statistical analyses. Initially, we collaborated with the company to understand their strategic goals, using Use Case and Entity Relationship diagrams to learn about the website functionality. Subsequent steps involved collecting Kansei words that resonate with the company's vision. Website samples from comparable transportation companies were then evaluated by X subject in the survey. Participants were asked to arrange samples based on emotional feedback using a 5-point SD scale. We used Principal Component Analysis (PCA) to identify critical factors affecting users' perceptions of the design. Based on these results, we collaborated with designers to reformulate the website, ensuring the design features aligned with the Kansei principles. The outcome is a user-centric web design to enhance the site's user experience. This study shows that KE can be effective in creating more user-friendly web interfaces in the transportation industry.


title: A Two-Step Method Coupling Eddy Currents and Magneto-Statics

abstract: We present the mathematical theory and its numerical validation of a method tailored to include eddy-current effects only in a part of the domain. This results in a heterogeneous problem combining an eddy-current model in a subset of the computational domain with a magneto-static model in the remainder of the domain. We adopt a two-domain two-step approach in which the primary variables of the problem are the electric scalar potential and the magnetic vector potential. We show numerical results that validate the formulation.


title: Consistent response prediction for multilayer networks on unknown manifolds

abstract: Our paper deals with a collection of networks on a common set of nodes, where some of the networks are associated with responses. Assuming that the networks correspond to points on a one-dimensional manifold in a higher dimensional ambient space, we propose an algorithm to consistently predict the response at an unlabeled network. Our model involves a specific multiple random network model, namely the common subspace independent edge model, where the networks share a common invariant subspace, and the heterogeneity amongst the networks is captured by a set of low dimensional matrices. Our algorithm estimates these low dimensional matrices that capture the heterogeneity of the networks, learns the underlying manifold by isomap, and consistently predicts the response at an unlabeled network. We provide theoretical justifications for the use of our algorithm, validated by numerical simulations. Finally, we demonstrate the use of our algorithm on larval Drosophila connectome data.


title: Dynamics of spatial phase coherence in a dissipative Bose-Hubbard atomic system

abstract: We investigate the loss of spatial coherence of one-dimensional bosonic gases in optical lattices illuminated by a near-resonant excitation laser. Because the atoms recoil in a random direction after each spontaneous emission, the atomic momentum distribution progressively broadens. Equivalently, the spatial correlation function (the Fourier-conjugate quantity of the momentum distribution) progressively narrows down as more photons are scattered. Here we measure the correlation function of the matter field for fixed distances corresponding to nearest-neighbor (n-n) and next-nearest-neighbor (n-n-n) sites of the optical lattice as a function of time, hereafter called n-n and n-n-n correlators. For strongly interacting lattice gases, we find that the n-n correlator $C_1$ decays as a power-law at long times, $C_1\propto 1/t^{\alpha}$, in stark contrast with the exponential decay expected for independent particles. The power-law decay reflects a non-trivial dissipative many-body dynamics, where interactions change drastically the interplay between fluorescence destroying spatial coherence, and coherent tunnelling between neighboring sites restoring spatial coherence at short distances. The observed decay exponent $\alpha \approx 0.54(6) $ is in good agreement with the prediction $\alpha=1/2$ from a dissipative Bose-Hubbard model accounting for the fluorescence-induced decoherence. Furthermore, we find that the n-n correlator $C_1$ controls the n-n-n correlator $C_2$ through the relation $C_2 \approx C_1^2$, also in accordance with the dissipative Bose-Hubbard model.


title: Symmetry and Dynamical Analysis of a Discrete Time Model: The Higher Order Berverton-Holt Equation

abstract: In this paper, we study the higher-order Beverton-Holt equation. We derive nontrivial symmetries, and thereafter, solutions are obtained. For constant rate and carrying capacity, we study the periodic nature of the solution and analyze the stability of the equilibrium points have been analyzed.


title: TED: Accelerate Model Training by Internal Generalization

abstract: Large language models have demonstrated strong performance in recent years, but the high cost of training drives the need for efficient methods to compress dataset sizes. We propose TED pruning, a method that addresses the challenge of overfitting under high pruning ratios by quantifying the model's ability to improve performance on pruned data while fitting retained data, known as Internal Generalization (IG). TED uses an optimization objective based on Internal Generalization Distance (IGD), measuring changes in IG before and after pruning to align with true generalization performance and achieve implicit regularization. The IGD optimization objective was verified to allow the model to achieve the smallest upper bound on generalization error. The impact of small mask fluctuations on IG is studied through masks and Taylor approximation, and fast estimation of IGD is enabled. In analyzing continuous training dynamics, the prior effect of IGD is validated, and a progressive pruning strategy is proposed. Experiments on image classification, natural language understanding, and large language model fine-tuning show TED achieves lossless performance with 60-70\% of the data. Upon acceptance, our code will be made publicly available.


title: Spectral conditions for the existence of (doubly) chorded cycles in graphs with fixed size

abstract: A chorded cycle is a cycle with at least one chord, and a doubly chorded cycle is a cycle with at least two chords. Gould asked in [Graphs Comb. 38 (2022) 189] the question: What spectral conditions imply a graph contains a chorded cycle? For a graph with fixed size, extremal spectral conditions are given to ensure that a graph contains a chorded cycle and a doubly chorded cycle, respectively, via spectral radius.


title: Slicing for Dense Smart Factory Network: Current State, Scenarios, Challenges and Expectations

abstract: In the era of Industry 4.0, smart factories have emerged as a paradigm shift, redefining manufacturing with the integration of advanced digital technologies. Central to this transformation is the deployment of 5G networks, offering unprecedented levels of connectivity, speed, reliability, and ultra-low latency. Among the revolutionary features of 5G is network slicing, a technology that offers enhanced capabilities through the customization of network resources by allowing multiple logical networks (or slices) to run on top of a shared physical infrastructure. This capability is particularly crucial in the densely packed and highly dynamic environment of smart factories, where diverse applications - from robotic automation to real-time analytics - demand varying network requirements. In this paper, we present a comprehensive overview of the integration of slicing in smart factory networks, emphasizing its critical role in enhancing operational efficiency and supporting the diverse requirements of future manufacturing processes. We elaborate on the recent advances, and technical scenarios, including indoor factory propagation conditions, traffic characteristics, system requirements, slice-aware radio resource management, network elements, enabling technologies and current standardisation efforts. Additionally, we identify open research challenges as well as key technical issues stifling deployments. Finally, we speculate on the future trajectory of slicing-enabled smart factories, emphasizing the need for continuous adaptation to emerging technologies.


title: Minimal compact group actions on C$^*$-algebras with simple fixed point algebras

abstract: The notion of qausi-product actions of a compact group on a C$^*$-algebra was introduced by Bratteli et al. in their attempt to seek an equivariant analogue of Glimm's characterization of non-type I C$^*$-algebras. We show that a faithful minimal action of a second countable compact group on a separable C$^*$-algebra is quasi-product whenever its fixed point algebra is simple. This was previously known only for compact abelian groups and for profinite groups. Our proof relies on a subfactor technique applied to finite index inclusions of simple C$^*$-algebras in the purely infinite case, and also uses ergodic actions of compact groups in the general case. As an application, we show that if moreover the fixed point algebra is a Kirchberg algebra, such an action is always isometrically shift-absorbing, and hence is classifiable by the equivariant KK-theory due to a recent result of Gabe-Szab\'o.


title: Successive Interference Cancellation for Optical Fiber Using Discrete Constellations

abstract: Successive interference cancellation is used to detect discrete modulation symbols transmitted over a 1000 km fiber-optic link. A transmitter and receiver are presented that have linear complexity in the number of transmitted symbols and achieve the information rates of previous studies that use continuous modulations.


title: ADMM for Nonconvex Optimization under Minimal Continuity Assumption

abstract: This paper introduces a novel approach to solving multi-block nonconvex composite optimization problems through a proximal linearized Alternating Direction Method of Multipliers (ADMM). This method incorporates an Increasing Penalization and Decreasing Smoothing (IPDS) strategy. Distinguishing itself from existing ADMM-style algorithms, our approach (denoted IPDS-ADMM) imposes a less stringent condition, specifically requiring continuity in just one block of the objective function. IPDS-ADMM requires that the penalty increases and the smoothing parameter decreases, both at a controlled pace. When the associated linear operator is bijective, IPDS-ADMM uses an over-relaxation stepsize for faster convergence; however, when the linear operator is surjective, IPDS-ADMM uses an under-relaxation stepsize for global convergence. We devise a novel potential function to facilitate our convergence analysis and prove an oracle complexity $\mathcal{O}(\epsilon^{-3})$ to achieve an $\epsilon$-approximate critical point. To the best of our knowledge, this is the first complexity result for using ADMM to solve this class of nonsmooth nonconvex problems. Finally, some experiments on the sparse PCA problem are conducted to demonstrate the effectiveness of our approach.


title: A Reliable Framework for Human-in-the-Loop Anomaly Detection in Time Series

abstract: Time series anomaly detection is a critical machine learning task for numerous applications, such as finance, healthcare, and industrial systems. However, even high-performed models may exhibit potential issues such as biases, leading to unreliable outcomes and misplaced confidence. While model explanation techniques, particularly visual explanations, offer valuable insights to detect such issues by elucidating model attributions of their decision, many limitations still exist -- They are primarily instance-based and not scalable across dataset, and they provide one-directional information from the model to the human side, lacking a mechanism for users to address detected issues. To fulfill these gaps, we introduce HILAD, a novel framework designed to foster a dynamic and bidirectional collaboration between humans and AI for enhancing anomaly detection models in time series. Through our visual interface, HILAD empowers domain experts to detect, interpret, and correct unexpected model behaviors at scale. Our evaluation with two time series datasets and user studies demonstrates the effectiveness of HILAD in fostering a deeper human understanding, immediate corrective actions, and the reliability enhancement of models.


title: Cross-Modal Domain Adaptation in Brain Disease Diagnosis: Maximum Mean Discrepancy-based Convolutional Neural Networks

abstract: Brain disorders are a major challenge to global health, causing millions of deaths each year. Accurate diagnosis of these diseases relies heavily on advanced medical imaging techniques such as Magnetic Resonance Imaging (MRI) and Computed Tomography (CT). However, the scarcity of annotated data poses a significant challenge in deploying machine learning models for medical diagnosis. To address this limitation, deep learning techniques have shown considerable promise. Domain adaptation techniques enhance a model's ability to generalize across imaging modalities by transferring knowledge from one domain (e.g., CT images) to another (e.g., MRI images). Such cross-modality adaptation is essential to improve the ability of models to consistently generalize across different imaging modalities. This study collected relevant resources from the Kaggle website and employed the Maximum Mean Difference (MMD) method - a popular domain adaptation method - to reduce the differences between imaging domains. By combining MMD with Convolutional Neural Networks (CNNs), the accuracy and utility of the model is obviously enhanced. The excellent experimental results highlight the great potential of data-driven domain adaptation techniques to improve diagnostic accuracy and efficiency, especially in resource-limited environments. By bridging the gap between different imaging modalities, the study aims to provide clinicians with more reliable diagnostic tools.


title: Federated Reinforcement Learning with Constraint Heterogeneity

abstract: We study a Federated Reinforcement Learning (FedRL) problem with constraint heterogeneity. In our setting, we aim to solve a reinforcement learning problem with multiple constraints while $N$ training agents are located in $N$ different environments with limited access to the constraint signals and they are expected to collaboratively learn a policy satisfying all constraint signals. Such learning problems are prevalent in scenarios of Large Language Model (LLM) fine-tuning and healthcare applications. To solve the problem, we propose federated primal-dual policy optimization methods based on traditional policy gradient methods. Specifically, we introduce $N$ local Lagrange functions for agents to perform local policy updates, and these agents are then scheduled to periodically communicate on their local policies. Taking natural policy gradient (NPG) and proximal policy optimization (PPO) as policy optimization methods, we mainly focus on two instances of our algorithms, ie, {FedNPG} and {FedPPO}. We show that FedNPG achieves global convergence with an $\tilde{O}(1/\sqrt{T})$ rate, and FedPPO efficiently solves complicated learning tasks with the use of deep neural networks.


title: On k-(total) limited packing in graphs

abstract: A set $B\subseteq V(G)$ is called a $k$-total limited packing set in a graph $G$ if $|B\cap N(v)|\leq k$ for any vertex $v\in V(G)$. The $k$-total limited packing number $L_{k,t}(G)$ is the maximum cardinality of a $k$-total limited packing set in $G$. Here, we give some results on the $k$-total limited packing number of graphs emphasizing trees, especially when $k=2$. We also study the $2$-(total) limited packing number of some product graphs. A $k$-limited packing partition ($k$LPP) of graph $G$ is a partition of $V(G)$ into $k$-limited packing sets. The minimum cardinality of a $k$LPP is called the $k$LPP number of $G$ and is denoted by $\chi_{\times k}(G)$, and we obtain some results for this parameter.


title: Interface Modes in Honeycomb Topological Photonic Structures with Broken Reflection Symmetry

abstract: In this work, we present a mathematical theory for Dirac points and interface modes in honeycomb topological photonic structures consisting of impenetrable obstacles. Starting from a honeycomb lattice of obstacles attaining $120^\circ$-rotation symmetry and horizontal reflection symmetry, we apply the boundary integral equation method to show the existence of Dirac points for the first two bands at the vertices of the Brillouin zone. We then study interface modes in a joint honeycomb photonic structure, which consists of two periodic lattices obtained by perturbing the honeycomb one with Dirac points differently. The perturbations break the reflection symmetry of the system, as a result, they annihilate the Dirac points and generate two structures with different topological phases, which mimics the quantum valley Hall effect in topological insulators. We investigate the interface modes that decay exponentially away from the interface of the joint structure in several configurations with different interface geometries, including the zigzag interface, the armchair interface, and the rational interfaces. Using the layer potential technique and asymptotic analysis, we first characterize the band-gap opening for the two perturbed periodic structures and derive the asymptotic expansions of the Bloch modes near the band gap surfaces. By formulating the eigenvalue problem for each joint honeycomb structure using boundary integral equations over the interface and analyzing the characteristic values of the associated boundary integral operators, we prove the existence of interface modes when the perturbation is small.

categories: math-ph math.AP math.MP math.SP physics.optics


title: Deep Learning for Detecting and Early Predicting Chronic Obstructive Pulmonary Disease from Spirogram Time Series: A UK Biobank Study

abstract: Chronic Obstructive Pulmonary Disease (COPD) is a chronic inflammatory lung condition that causes airflow obstruction. The existing methods can only detect patients who already have COPD based on obvious features shown in the spirogram (In this article, the spirogram specifically involves measuring Volume-Flow curve time series). Early prediction of COPD risk is vital for monitoring COPD disease progression, slowing it down, or even preventing its onset. However, these methods fail to early predict an individual's probability of COPD in the future based on subtle features in the spirogram. To address this gap, for the first time, we propose DeepSpiro, a method based on deep learning for early prediction of future COPD risk. DeepSpiro consists of four parts. First, we construct Volume-Flow curves guided by Time-Volume instability smoothing (SpiroSmoother) to enhance the stability of the original Volume-Flow curves precisely. Second, we extract critical features from the evolution of varied-length key patches (SpiroEncoder) to capture the key temporal evolution from original high-dimensional dynamic sequences to a unified low-dimensional temporal representation. Third, we explain the model based on temporal attention and heterogeneous feature fusion (SpiroExplainer), which integrates information from heterogeneous data such as spirogram and demographic information. Fourth, we predict the risk of COPD based on the evolution of key patch concavity (SpiroPredictor), enabling accurate prediction of the risk of disease in high-risk patients who are not yet diagnosed, for up to 1, 2, 3, 4, 5 years, and beyond. We conduct experiments on the UK Biobank dataset. Results show that DeepSpiro achieves an AUC value of 0.8328 in the task of detecting COPD. In early prediction tasks, high-risk and low-risk groups show significant differences in the future, with a p-value of <0.001.


title: Accretion Efficiency Evolution of Central Supermassive Black Holes in Quasars

abstract: The ongoing debate regarding the most accurate accretion model for supermassive black holes at the center of quasars has remained a contentious issue in astrophysics. One significant challenge is the variation in calculated accretion efficiency, with values exceeding the standard range of $0.038 < \epsilon < 0.42$. This discrepancy is especially pronounced in high redshift supermassive black holes, necessitating the development of a comprehensive model that can address the accretion efficiency for supermassive black holes in both the low and high redshift ranges. In this study, we have focused on low redshift ($z < 0.5$) PG quasars (79 quasars) and high redshift ($z \geq 3$) quasars with standard disks from the flux- and volume-limited QUOTAS+QuasarNET dataset (76 quasars) to establish a model for accretion efficiency. An interesting trend is revealed where in redshift larger than 3, accretion efficiency increases as redshift decreases, while in redshift lower than 0.5, accretion efficiency decreases with reducing redshift. This suggests a peak in accretion efficiency between the low and high redshift quasars. This peak is recognized for the flux- and volume-limited QUOTAS+QuasarNET+DL11 dataset, which is $z \sim 2.675$, and it seems to be related to the peak of the star formation rate. ($1 < z_{SFR} < 3$). This result can potentially lead to a more accurate correlation between the star formation rate in quasars and their relationship with the mass of the central supermassive black holes with a more comprehensive disk model in future studies.


title: Probing flavor violation and baryogenesis via primordial gravitational waves

abstract: We show that observations of primordial gravitational waves of inflationary origin can shed light into the scale of flavor violation in a flavon model which also explains the mass hierarchy of fermions. The energy density stored in oscillations of the flavon field around the minimum of its potential redshifts as matter and is expected to dominate over radiation in the early universe. At the same time, the evolution of primordial gravitational waves acts as bookkeeping to understand the expansion history of the universe. Importantly, the gravitational wave spectrum is different if there is an early flavon dominated era compared to radiation domination expected from a standard cosmological model and this spectrum gets damped by the entropy released in flavon decays, determined by the mass of the flavon field $m_S$ and new scale of flavor violation $\Lambda_{\rm FV}$. We derive analytical expressions of the frequency above which the spectrum is damped, as-well-as the amount of damping, in terms of $m_S$ and $\Lambda_{\rm FV}$. We show that the damping of the gravitational wave spectrum would be detectable at BBO, DECIGO, U-DECIGO, $\mu-$ARES, LISA, CE and ET detectors for $\Lambda_{\rm FV}=10^{5-10}$ GeV and $m_S=\mathcal{O({\rm TeV})}$. Furthermore, the flavon decays can source the baryon asymmetry of the universe. We identify the $m_S-\Lambda_{\rm FV}$ parameter space where the observed baryon asymmetry $\eta \sim 10^{-10}$ is produced and can be tested by gravitational wave detectors like LISA and ET. We also discuss our results in the context of the recently measured stochastic gravitational background signals by NANOGrav.


title: Global existence and scattering of small data smooth solutions to a class of quasilinear wave systems on $\mathbb{R}^2\times\mathbb{T}$

abstract: In this paper, we are concerned with the global existence and scattering of small data smooth solutions to a class of quasilinear wave systems on the product space $\mathbb{R}^2\times\mathbb{T}$. These quasilinear wave systems include 3D irrotational potential flow equation of Chaplygin gases, 3D relativistic membrane equation, some 3D quasilinear wave equations which come from the corresponding Lagrangian functionals as perturbations of the Lagrangian densities of linear waves, and nonlinear wave maps system. Through looking for some suitable transformations of unknown functions, the nonlinear wave system can be reduced into a more tractable form. Subsequently, by applying the vector-field method together with the ghost weight technique as well as deriving some kinds of weighted $L^\infty-L^\infty$ and $L^\infty-L^2$ estimates of solution $w$ to the 2D linear wave equation $\Box w=f(t,x)$, the global existence and scattering of small data solutions are established.


title: Mind the Gap Between Synthetic and Real: Utilizing Transfer Learning to Probe the Boundaries of Stable Diffusion Generated Data

abstract: Generative foundation models like Stable Diffusion comprise a diverse spectrum of knowledge in computer vision with the potential for transfer learning, e.g., via generating data to train student models for downstream tasks. This could circumvent the necessity of collecting labeled real-world data, thereby presenting a form of data-free knowledge distillation. However, the resultant student models show a significant drop in accuracy compared to models trained on real data. We investigate possible causes for this drop and focus on the role of the different layers of the student model. By training these layers using either real or synthetic data, we reveal that the drop mainly stems from the model's final layers. Further, we briefly investigate other factors, such as differences in data-normalization between synthetic and real, the impact of data augmentations, texture vs.\ shape learning, and assuming oracle prompts. While we find that some of those factors can have an impact, they are not sufficient to close the gap towards real data. Building upon our insights that mainly later layers are responsible for the drop, we investigate the data-efficiency of fine-tuning a synthetically trained model with real data applied to only those last layers. Our results suggest an improved trade-off between the amount of real training data used and the model's accuracy. Our findings contribute to the understanding of the gap between synthetic and real data and indicate solutions to mitigate the scarcity of labeled real data.


title: Examining Changes in Internal Representations of Continual Learning Models Through Tensor Decomposition

abstract: Continual learning (CL) has spurred the development of several methods aimed at consolidating previous knowledge across sequential learning. Yet, the evaluations of these methods have primarily focused on the final output, such as changes in the accuracy of predicted classes, overlooking the issue of representational forgetting within the model. In this paper, we propose a novel representation-based evaluation framework for CL models. This approach involves gathering internal representations from throughout the continual learning process and formulating three-dimensional tensors. The tensors are formed by stacking representations, such as layer activations, generated from several inputs and model `snapshots', throughout the learning process. By conducting tensor component analysis (TCA), we aim to uncover meaningful patterns about how the internal representations evolve, expecting to highlight the merits or shortcomings of examined CL strategies. We conduct our analyses across different model architectures and importance-based continual learning strategies, with a curated task selection. While the results of our approach mirror the difference in performance of various CL strategies, we found that our methodology did not directly highlight specialized clusters of neurons, nor provide an immediate understanding the evolution of filters. We believe a scaled down version of our approach will provide insight into the benefits and pitfalls of using TCA to study continual learning dynamics.


title: How improving performance may imply losing consistency in event-triggered consensus

abstract: Event-triggered control is often argued to lower the average triggering rate compared to time-triggered control while still achieving a desired control goal, e.g., the same performance level. However, this property, often called consistency, cannot be taken for granted and can be hard to analyze in many settings. In particular, although numerous decentralized event-triggered control schemes have been proposed in the past years, their performance properties with respect to time-triggered control remain mostly unexplored. In this paper, we therefore examine the performance properties of event-triggered control (relative to time-triggered control) for a single-integrator consensus problem with a level-triggering rule. We consider the long-term average quadratic deviation from consensus as a performance measure. For this setting, we show that enriching the information the local controllers use improves the performance of the consensus algorithm but renders a previously consistent event-triggered control scheme inconsistent. In addition, we do so while deploying optimal control inputs which we derive for both information cases and all triggering schemes. With this insight, we can furthermore explain the relationship between two contrasting consistency results from the literature on decentralized event-triggered control. We support our theoretical findings with simulation results.


title: Minimal Lagrangian surfaces in $\mathbb{C}P^2$ via the loop group method Part II: The general case

abstract: We extend the techniques introduced in \cite{DoMaB1} for contractible Riemann surfaces to construct minimal Lagrangian immersions from arbitrary Riemann surfaces into $\mathbb{C}P^2$ via the loop group method. Based on the potentials of translationally equivariant minimal Lagrangian surfaces, we introduce perturbed equivariant minimal Lagrangian surfaces in $\mathbb{C}P^2$ and construct a class of minimal Lagrangian cylinders. Furthermore, we show that these minimal Lagrangian cylinders approximate Delaunay cylinders with respect to some weighted Wiener norm of the twisted loop group $\Lambda SU(3)_{\sigma}$.


title: The colliding-wind binary HD 168112

abstract: Radio surveys of early-type stars have revealed a number of non-thermal emitters. Most of these have been shown to be binaries, where the collision between the two stellar winds is responsible for the non-thermal emission. HD 168112 is a non-thermal radio emitter, whose binary nature has only recently been confirmed spectroscopically. We obtained independent spectroscopic observations to determine its orbit, in addition to radio observations to see if the thermal or non-thermal nature of the emission changes during the periastron passage. We monitored HD 168112 spectroscopically for a 13 year time span. From these data, we determined the orbital parameters, which we compared to the previous results in the literature. From the spectral index of the radio observations, we found how the nature of the emission changes as the system goes through periastron. Combining our results with other literature data allowed us to further constrain the orbital and stellar parameters. We find HD 168112 to have an orbital period of P = 512.17+0.41-0.11 d, an eccentricity of e = 0.7533+0.0053-0.0124, and a mass ratio close to one. From our spectroscopic modelling, we derived the stellar parameters, but we had difficulty arriving at a spectroscopic mass ratio of one. The radio observations around periastron show only thermal emission, suggesting that most of the synchrotron photons are absorbed in the two stellar winds at that phase. Combining our data with the optical interferometry detection, we could constrain the inclination angle to i ~ 63 deg, and the mass of each component to ~ 26 Msun. We have provided an independent spectroscopic confirmation of the binary nature of HD 168112. Although detected as a non-thermal radio emitter, near periastron the radio emission of this highly eccentric system is thermal and is mainly formed in the colliding-wind region. [abridged]


title: Communication-Efficient Federated Learning with Adaptive Compression under Dynamic Bandwidth

abstract: Federated learning can train models without directly providing local data to the server. However, the frequent updating of the local model brings the problem of large communication overhead. Recently, scholars have achieved the communication efficiency of federated learning mainly by model compression. But they ignore two problems: 1) network state of each client changes dynamically; 2) network state among clients is not the same. The clients with poor bandwidth update local model slowly, which leads to low efficiency. To address this challenge, we propose a communication-efficient federated learning algorithm with adaptive compression under dynamic bandwidth (called AdapComFL). Concretely, each client performs bandwidth awareness and bandwidth prediction. Then, each client adaptively compresses its local model via the improved sketch mechanism based on his predicted bandwidth. Further, the server aggregates sketched models with different sizes received. To verify the effectiveness of the proposed method, the experiments are based on real bandwidth data which are collected from the network topology we build, and benchmark datasets which are obtained from open repositories. We show the performance of AdapComFL algorithm, and compare it with existing algorithms. The experimental results show that our AdapComFL achieves more efficient communication as well as competitive accuracy compared to existing algorithms.


title: V-line tensor tomography: numerical results

abstract: This article presents the numerical verification and validation of several inversion algorithms for V-line transforms (VLTs) acting on symmetric 2-tensor fields in the plane. The analysis of these transforms and the theoretical foundation of their inversion methods were studied in a recent work [G. Ambartsoumian, R. K. Mishra, and I. Zamindar, Inverse Problems, 40 (2024), 035003]. We demonstrate the efficient recovery of an unknown symmetric 2-tensor field from various combinations of the longitudinal, transverse, and mixed VLTs, their corresponding first moments, and the star VLT. The paper examines the performance of the proposed algorithms in different settings and illustrates the results with numerical simulations on smooth and non-smooth phantoms.


title: A survey to measure cognitive biases influencing mobility choices

abstract: In this paper, we describe a survey about the perceptions of 4 mobility modes (car, bus, bicycle, walking) and the preferences of users for 6 modal choice factors. This survey has gathered 650 answers in 2023, that are published as open data. In this study, we analyse these results to highlight the influence of 3 cognitive biases on mobility decisions: halo bias, choice-supportive bias, and reactance. These cognitive biases are proposed as plausible explanations of the observed behaviour, where the population tends to stick to individual cars despite urban policies aiming at favouring soft mobility. This model can serve as the basis for a simulator of mobility decisions in a virtual town, and the gathered data can be used to initialise this population with realistic attributes. Work is ongoing to design a simulation-based serious game where the player takes the role of an urban manager faced with planning choices to make their city more sustainable.


title: Exploring the Frontiers of Softmax: Provable Optimization, Applications in Diffusion Model, and Beyond

abstract: The softmax activation function plays a crucial role in the success of large language models (LLMs), particularly in the self-attention mechanism of the widely adopted Transformer architecture. However, the underlying learning dynamics that contribute to the effectiveness of softmax remain largely unexplored. As a step towards better understanding, this paper provides a theoretical study of the optimization and generalization properties of two-layer softmax neural networks, providing theoretical insights into their superior performance as other activation functions, such as ReLU and exponential. Leveraging the Neural Tangent Kernel (NTK) framework, our analysis reveals that the normalization effect of the softmax function leads to a good perturbation property of the induced NTK matrix, resulting in a good convex region of the loss landscape. Consequently, softmax neural networks can learn the target function in the over-parametrization regime. To demonstrate the broad applicability of our theoretical findings, we apply them to the task of learning score estimation functions in diffusion models, a promising approach for generative modeling. Our analysis shows that gradient-based algorithms can learn the score function with a provable accuracy. Our work provides a deeper understanding of the effectiveness of softmax neural networks and their potential in various domains, paving the way for further advancements in natural language processing and beyond.


title: A Universal List Decoding Algorithm with Application to Decoding of Polar Codes

abstract: This paper is concerned with a guessing codeword decoding (GCD) of linear block codes. Compared with the guessing noise decoding (GND), which is only efficient for high-rate codes, the GCD is efficient for not only high-rate codes but also low-rate codes. We prove that the GCD typically requires a fewer number of queries than the GND. Compared with the ordered statistics decoding (OSD), the GCD does not require the online Gaussian elimination (GE). In addition to limiting the maximum number of searches, we suggest limiting the radius of searches in terms of soft weights or tolerated performance loss to further reduce the decoding complexity, resulting in the so-called truncated GCD. The performance gap between the truncated GCD and the optimal decoding can be upper bounded approximately by the saddlepoint approach or other numerical approaches. The derived upper bound captures the relationship between the performance and the decoding parameters, enabling us to balance the performance and the complexity by optimizing the decoding parameters of the truncated GCD. We also introduce a parallel implementation of the (truncated) GCD algorithm to reduce decoding latency without compromising performance. Another contribution of this paper is the application of the GCD to the polar codes. We propose a multiple-bit-wise decoding algorithm over a pruned tree for the polar codes, referred to as the successive-cancellation list (SCL) decoding algorithm by GCD. First, we present a strategy for pruning the conventional polar decoding tree based on the complexity analysis rather than the specific bit patterns. Then we apply the GCD algorithm in parallel aided by the early stopping criteria to the leaves of the pruned tree. Simulation results show that, without any performance loss as justified by analysis, the proposed decoding algorithm can significantly reduce the decoding latency of the polar codes.


title: Calibration of a soft secondary vertex tagger using proton-proton collisions at $\sqrt{s}=$13 TeV with the ATLAS detector

abstract: Several processes studied by the ATLAS experiment at the Large Hadron Collider produce low-momentum $b$-flavored hadrons in the final state. This paper describes the calibration of a dedicated tagging algorithm that identifies $b$-flavored hadrons outside of hadronic jets by reconstructing the soft secondary vertices originating from their decays. The calibration is based on a proton-proton collision dataset at a center-of-mass energy of 13 TeV corresponding to an integrated luminosity of 140 fb$^{-1}$. Scale factors used to correct the algorithm's performance in simulated events are extracted for the $b$-tagging efficiency and the mistag rate of the algorithm using a data sample enriched in $t\bar{t}$ events. Several orthogonal measurement regions are defined, binned as a function of the multiplicities of soft secondary vertices and jets containing a $b$-flavored hadron in the event. The mistag rate scale factors are estimated separately for events with low and high average number of interactions per bunch crossing. The results, which are derived from events with low missing transverse momentum, are successfully validated in a phase space characterized by high missing transverse momentum and therefore are applicable to new physics searches carried out in either phase space regimes.


title: Automatic Assessment of Dysarthria Using Audio-visual Vowel Graph Attention Network

abstract: Automatic assessment of dysarthria remains a highly challenging task due to high variability in acoustic signals and the limited data. Currently, research on the automatic assessment of dysarthria primarily focuses on two approaches: one that utilizes expert features combined with machine learning, and the other that employs data-driven deep learning methods to extract representations. Research has demonstrated that expert features are effective in representing pathological characteristics, while deep learning methods excel at uncovering latent features. Therefore, integrating the advantages of expert features and deep learning to construct a neural network architecture based on expert knowledge may be beneficial for interpretability and assessment performance. In this context, the present paper proposes a vowel graph attention network based on audio-visual information, which effectively integrates the strengths of expert knowledges and deep learning. Firstly, various features were combined as inputs, including knowledge based acoustical features and deep learning based pre-trained representations. Secondly, the graph network structure based on vowel space theory was designed, allowing for a deep exploration of spatial correlations among vowels. Finally, visual information was incorporated into the model to further enhance its robustness and generalizability. The method exhibited superior performance in regression experiments targeting Frenchay scores compared to existing approaches.


title: Multi-Modality Spatio-Temporal Forecasting via Self-Supervised Learning

abstract: Multi-modality spatio-temporal (MoST) data extends spatio-temporal (ST) data by incorporating multiple modalities, which is prevalent in monitoring systems, encompassing diverse traffic demands and air quality assessments. Despite significant strides in ST modeling in recent years, there remains a need to emphasize harnessing the potential of information from different modalities. Robust MoST forecasting is more challenging because it possesses (i) high-dimensional and complex internal structures and (ii) dynamic heterogeneity caused by temporal, spatial, and modality variations. In this study, we propose a novel MoST learning framework via Self-Supervised Learning, namely MoSSL, which aims to uncover latent patterns from temporal, spatial, and modality perspectives while quantifying dynamic heterogeneity. Experiment results on two real-world MoST datasets verify the superiority of our approach compared with the state-of-the-art baselines. Model implementation is available at https://github.com/beginner-sketch/MoSSL.


title: MARE: Multi-Agents Collaboration Framework for Requirements Engineering

abstract: Requirements Engineering (RE) is a critical phase in the software development process that generates requirements specifications from stakeholders' needs. Recently, deep learning techniques have been successful in several RE tasks. However, obtaining high-quality requirements specifications requires collaboration across multiple tasks and roles. In this paper, we propose an innovative framework called MARE, which leverages collaboration among large language models (LLMs) throughout the entire RE process. MARE divides the RE process into four tasks: elicitation, modeling, verification, and specification. Each task is conducted by engaging one or two specific agents and each agent can conduct several actions. MARE has five agents and nine actions. To facilitate collaboration between agents, MARE has designed a workspace for agents to upload their generated intermediate requirements artifacts and obtain the information they need. We conduct experiments on five public cases, one dataset, and four new cases created by this work. We compared MARE with three baselines using three widely used metrics for the generated requirements models. Experimental results show that MARE can generate more correct requirements models and outperform the state-of-the-art approaches by 15.4%. For the generated requirements specifications, we conduct a human evaluation in three aspects and provide insights about the quality


title: Null controllability for stochastic fourth order semi-discrete parabolic equations

abstract: This paper is devoted to studying null controllability for a class of stochastic fourth order semi-discrete parabolic equations, where the spatial variable is discretized with finite difference scheme and the time is kept as a continuous variable. For this purpose, we establish a new global Carleman estimate for a backward stochastic fourth order semi-discrete parabolic operators, in which the large parameter is connected to the mesh size. A relaxed observability estimate is established for backward stochastic fourth order semi-discrete parabolic equations by this new Carleman estimate, with an explicit observability constant that depends on the discretization parameter and coefficients of lower order terms. Then, the $\phi$-null controllability of the stochastic fourth order semi-discrete parabolic equations is proved using the standard duality technique.


title: A Computational Approach to the Homotopy Theory of DG categories

abstract: We give a specific cylinder functor for semifree dg categories. This allows us to construct a homotopy colimit functor explicitly. These two functors are "computable", specifically, the constructed cylinder functor sends a dg category of finite type, i.e., a semifree dg category having finitely many generating morphisms, to a dg category of finite type. The homotopy colimit functor has a similar property. Moreover, using the cylinder functor, we give a cofibration category of semifree dg categories and that of dg categories of finite type, independently from the work of Tabuada. All the results similarly work for semifree dg algebras. We also describe an application to symplectic topology and provide a toy example.


title: The Ising Model Coupled to 2D Gravity: Genus Zero Partition Function

abstract: We compute the genus $0$ free energy for the $2$-matrix model with quartic interactions, which acts as a generating function for the Ising model's partition function on a random, $4$-regular, planar graph. This rigorously confirms the predictions of V.A. Kazakov and D.V. Boulatov on this model, and provides a new parametric formula for the free energy. We also give a characterization of the phase space of the model. Our analysis is based on a steepest descent Riemann-Hilbert analysis of the associated biorthogonal polynomials and the corresponding isomonodromic $\tau$-function. A key ingredient in the analysis is a parametrization of the spectral curve.


title: The Ising Model Coupled to 2D Gravity: Higher-order Painlev\'{e} Equations/The $(3,4)$ String Equation

abstract: In continuation of the work [1], we study a higher-order Painlev\'{e}-type equation, arising as a string equation of the $3^{rd}$ order reduction of the KP hierarchy. This equation appears at the multi-critical point of the $2$-matrix model with quartic interactions, and describes the Ising phase transition coupled to 2D gravity. We characterize this equation in terms of the isomonodromic deformations of a particular rational connection on $\mathbb{P}^{1}$. We also identify the (nonautonomous) Hamiltonian structure associated to this equation, and write a suitable $\tau$-differential for this system. This $\tau$-differential can be extended to the canonical coordinates of the associated Hamiltonian system, allowing us to verify Conjectures 1. and 2. of [2] in our case. We also present a fairly general formula for the $\tau$-differential of a special class of resonant connections, which is somewhat simpler than that of [3]. [1] M. Duits, N. Hayford, and S.-Y. Lee. "The Ising Model Coupled to 2D Gravity: Genus Zero Partition Function". arXiv preprint, 2023. [2] A.R. Its and A. Prokhorov. "On some Hamiltonian properties of the isomonodromic tau functions". Rev. Math. Phys. 30.7 (2018). [3] M. Bertola and M.Y. Mo. "Isomonodromic deformation of resonant rational connections". Int. Math. Res. Pap. 11 (2005).


title: A nonlinear criterion for characterizing high-dimensional multipartite entanglement

abstract: Understanding entanglement of potentially high-dimensional multipartite quantum systems is crucial across different disciplines in quantum sciences. We take inspiration from covariance matrix based techniques to derive a nonlinear criterion that can be used to lower bound the dimensionality vector of mixed quantum states, revealing both the level of multipartiteness and the dimensionality of the entanglement in the quantum states. The technique is based on a system of inequalities that has to be satisfied by all quantum states with a given entanglement dimensionality vector, which can be checked via linear programming. We test our condition on paradigmatic classes of high-dimensional multipartite entangled states like imperfect Greenberger-Horne-Zeilinger (GHZ) states and find that, in comparison with other available criteria our method provides a significant advantage, which is enhanced especially in the case that the dimensions of the individual particles are different from each other.


title: End-to-End Reinforcement Learning of Curative Curtailment with Partial Measurement Availability

abstract: In the course of the energy transition, the expansion of generation and consumption will change, and many of these technologies, such as PV systems, electric cars and heat pumps, will influence the power flow, especially in the distribution grids. Scalable methods that can make decisions for each grid connection are needed to enable congestion-free grid operation in the distribution grids. This paper presents a novel end-to-end approach to resolving congestion in distribution grids with deep reinforcement learning. Our architecture learns to curtail power and set appropriate reactive power to determine a non-congested and, thus, feasible grid state. State-of-the-art methods such as the optimal power flow (OPF) demand high computational costs and detailed measurements of every bus in a grid. In contrast, the presented method enables decisions under sparse information with just some buses observable in the grid. Distribution grids are generally not yet fully digitized and observable, so this method can be used for decision-making on the majority of low-voltage grids. On a real low-voltage grid the approach resolves 100\% of violations in the voltage band and 98.8\% of asset overloads. The results show that decisions can also be made on real grids that guarantee sufficient quality for congestion-free grid operation.


title: Generalized thermodynamic relations for perfect spin hydrodynamics

abstract: Generalized thermodynamic relations are introduced into the framework of a relativistic perfect spin hydrodynamics. They allow for consistent treatment of spin degrees of freedom, including the use of spin tensors whose structure follows from microscopic calculations. The obtained results are important for establishing consistency between different formulations of spin hydrodynamics and form the basis for introducing dissipative corrections.


title: Delooping generated groups in homotopy type theory

abstract: Homotopy type theory is a logical setting based on Martin-L\"of type theory in which one can perform geometric constructions and proofs in a synthetic way. Namely, types can be interpreted as spaces (up to continuous deformation) and proofs as homotopy invariant constructions. In this context, the loop spaces of types with a distinguished element (more precisely, pointed connected groupoids), provide a natural representation of groups, what we call here internal groups. The construction which internalizes a given group is called delooping, because it is a formal inverse to the loop space operator. As we recall in the article, this delooping operation has a concrete definition for any group G given by the type of G-torsors. Those are particular sets together with an action of G, which means that they come equipped with an endomorphism for every element of G. We show that, when a generating set is known for the group, we can construct a smaller representation of the type of G-torsors, using the fact that we only need automorphisms for the elements of the generating set. We thus obtain a concise definition of (internal) groups in homotopy type theory, which can be useful to define deloopings without resorting to higher inductive types, or to perform computations on those. We also investigate an abstract construction for the Cayley group of a generated group. Most of the developments performed in the article have been formalized using the cubical version of the Agda proof assistant.


title: Ladder top-quark condensation imprints in supercooled electroweak phase transition

abstract: The electroweak (EW) phase transition in the early Universe might be supercooled due to the presence of the classical scale invariance involving Beyond the Standard Model (BSM) sectors and the supercooling could persist down till a later epoch around which the QCD chiral phase transition is supposed to take place. Since this supercooling period keeps masslessness for all the six SM quarks, it has simply been argued that the QCD phase transition is the first order, and so is the EW one. However, not only the QCD coupling but also the top Yukawa and the Higgs quartic couplings get strong at around the QCD scale due to the renormalization group running, hence this scenario is potentially subject to a rigorous nonperturbative analysis. In this work, we employ the ladder Schwinger-Dyson (LSD) analysis based on the Cornwall-Jackiw-Tomboulis formalism at the two-loop level in such a gauge-Higgs-Yukawa system. We show that the chiral broken QCD vacuum emerges with the nonperturbative top condensate and the lightness of all six quarks is guaranteed due to the accidental U(1) axial symmetry presented in the top-Higgs sector. We employ a quark-meson model-like description in the mean field approximation to address the impact on the EW phase transition arising due to the top quark condensation at the QCD phase transition epoch. In the model, the LSD results are encoded to constrain the model parameter space. We then observe the cosmological phase transition of the first-order type and discuss the induced gravitational wave (GW) productions. We find that in addition to the conventional GW signals sourced from an expected BSM at around or over the TeV scale, the dynamical topponium-Higgs system can yield another power spectrum sensitive to the BBO, LISA, and DECIGO, etc.


title: Efficient computation of Katz centrality for very dense networks via "negative parameter Katz"

abstract: Katz centrality (and its limiting case, eigenvector centrality) is a frequently used tool to measure the importance of a node in a network, and to rank the nodes accordingly. One reason for its popularity is that Katz centrality can be computed very efficiently when the network is sparse, i.e., having only $O(n)$ edges between its $n$ nodes. While sparsity is common in practice, in some applications one faces the opposite situation of a very dense network, where only $O(n)$ potential edges are missing with respect to a complete graph. We explain why and how, even for very dense networks, it is possible to efficiently compute the ranking stemming from Katz centrality for unweighted graphs, possibly directed and possibly with loops, by working on the complement graph. Our approach also provides an interpretation, regardless of sparsity, of "Katz centrality with negative parameter" as usual Katz centrality on the complement graph. For weighted graphs, we provide instead an approximation method that is based on removing sufficiently many edges from the network (or from its complement), and we give sufficient conditions for this approximation to provide the correct ranking. We include numerical experiments to illustrate the advantages of the proposed approach.


title: Characterizing the Dilemma of Performance and Index Size in Billion-Scale Vector Search and Breaking It with Second-Tier Memory

abstract: Vector searches on large-scale datasets are critical to modern online services like web search and RAG, which necessity storing the datasets and their index on the secondary storage like SSD. In this paper, we are the first to characterize the trade-off of performance and index size in existing SSD-based graph and cluster indexes: to improve throughput by 5.7$\times$ and 1.7$\times$, these indexes have to pay a 5.8$\times$ storage amplification and 7.7$\times$ with respect to the dataset size, respectively. The root cause is that the coarse-grained access of SSD mismatches the fine-grained random read required by vector indexes with small amplification. This paper argues that second-tier memory, such as remote DRAM/NVM connected via RDMA or CXL, is a powerful storage for addressing the problem from a system's perspective, thanks to its fine-grained access granularity. However, putting existing indexes -- primarily designed for SSD -- directly on second-tier memory cannot fully utilize its power. Meanwhile, second-tier memory still behaves more like storage, so using it as DRAM is also inefficient. To this end, we build a graph and cluster index that centers around the performance features of second-tier memory. With careful execution engine and index layout designs, we show that vector indexes can achieve optimal performance with orders of magnitude smaller index amplification, on a variety of second-tier memory devices. Based on our improved graph and vector indexes on second-tier memory, we further conduct a systematic study between them to facilitate developers choosing the right index for their workloads. Interestingly, the findings on the second-tier memory contradict the ones on SSDs.


title: On the enumeration of permutations avoiding chains of patterns

abstract: In 2019, B\'ona and Smith introduced the notion of strong pattern avoidance, saying that a permutation $\pi$ strongly avoids a pattern $\sigma$ if $\pi$ and $\pi^2$ both avoid $\sigma$. Recently, Archer and Geary generalized the idea of strong pattern avoidance to chain avoidance, in which a permutation $\pi$ avoids a chain of patterns $(\tau^{(1)}:\tau^{(2)}:\cdots:\tau^{(k)})$ if the $i$-th power of the permutation avoids the pattern $\tau^{(i)}$ for $1\leq i\leq k$. In this paper, we give explicit formulae for the number of sets of permutations avoiding certain chains of patterns. Our results give affirmative answers to two conjectures proposed by Archer and Geary.


title: Morse properties in convex projective geometry

abstract: We study properties of "hyperbolic directions" in groups acting cocompactly on properly convex domains in real projective space, from three different perspectives simultaneously: the (coarse) metric geometry of the Hilbert metric, the projective geometry of the boundary of the domain, and the singular value gaps of projective automorphisms. We describe the relationship between different definitions of "Morse" and "regular" quasi-geodesics arising in these three different contexts. This generalizes several results of Benoist and Guichard to the non-Gromov hyperbolic setting.


title: Matroid-reachability-based decomposition into arborescences

abstract: The problem of matroid-reachability-based packing of arborescences was solved by Kir\'aly. Here we solve the corresponding decomposition problem that turns out to be more complicated. The result is obtained from the solution of the more general problem of matroid-reachability-based $(\ell,\ell')$-limited packing of arborescences where we are given a lower bound $\ell$ and an upper bound $\ell'$ on the total number of arborescences in the packing. The problem is considered for branchings and in directed hypergraphs as well.


title: Understanding the effects of spacecraft trajectories through solar coronal mass ejection flux ropes using 3DCOREweb

abstract: This study investigates the impact of spacecraft positioning and trajectory on in situ signatures of coronal mass ejections (CMEs). Employing the 3DCORE model, a 3D flux rope model that can generate in situ profiles for any given point in space and time, we conduct forward modeling to analyze such signatures for various latitudinal and longitudinal positions, with respect to the flux rope apex, at 0.8~au. Using this approach, we explore the appearance of the resulting in situ profiles for different flux rope types, with different handedness and inclination angles, for both high and low twist CMEs. Our findings reveal that CMEs exhibit distinct differences in signatures between apex hits and flank encounters, with the latter displaying elongated profiles with reduced rotation. However, constant, non-rotating in situ signatures are only observed for flank encounters of low twist CMEs, suggesting the existence of untwisted magnetic field lines within CME legs. Additionally, our study confirms the unambiguous appearance of different flux rope types in in situ signatures, contributing to the broader understanding and interpretation of observational data. Given the model assumptions, this may refute trajectory effects to be the cause for mismatching flux rope types as identified in solar signatures. While acknowledging limitations inherent in our model, such as the assumption of constant twist and non-deformable torus-like shape, we still draw relevant conclusions within the context of global magnetic field structures of CMEs and the potential for distinguishing flux rope types based on in situ observations.


title: WorldQA: Multimodal World Knowledge in Videos through Long-Chain Reasoning

abstract: Multimodal information, together with our knowledge, help us to understand the complex and dynamic world. Large language models (LLM) and large multimodal models (LMM), however, still struggle to emulate this capability. In this paper, we present WorldQA, a video understanding dataset designed to push the boundaries of multimodal world models with three appealing properties: (1) Multimodal Inputs: The dataset comprises 1007 question-answer pairs and 303 videos, necessitating the analysis of both auditory and visual data for successful interpretation. (2) World Knowledge: We identify five essential types of world knowledge for question formulation. This approach challenges models to extend their capabilities beyond mere perception. (3) Long-Chain Reasoning: Our dataset introduces an average reasoning step of 4.45, notably surpassing other videoQA datasets. Furthermore, we introduce WorldRetriever, an agent designed to synthesize expert knowledge into a coherent reasoning chain, thereby facilitating accurate responses to WorldQA queries. Extensive evaluations of 13 prominent LLMs and LMMs reveal that WorldRetriever, although being the most effective model, achieved only 70% of humanlevel performance in multiple-choice questions. This finding highlights the necessity for further advancement in the reasoning and comprehension abilities of models. Our experiments also yield several key insights. For instance, while humans tend to perform better with increased frames, current LMMs, including WorldRetriever, show diminished performance under similar conditions. We hope that WorldQA,our methodology, and these insights could contribute to the future development of multimodal world models.


title: Evaluation of Drivers' Interaction Ability at Social Scenarios: A Process-Based Framework

abstract: Assessing drivers' interaction capabilities is crucial for understanding human driving behavior and enhancing the interactive abilities of autonomous vehicles. In scenarios involving strong interaction, existing metrics focused on interaction outcomes struggle to capture the evolutionary process of drivers' interactive behaviors, making it challenging for autonomous vehicles to dynamically assess and respond to other agents during interactions. To address this issue, we propose a framework for assessing drivers' interaction capabilities, oriented towards the interactive process itself, which includes three components: Interaction Risk Perception, Interaction Process Modeling, and Interaction Ability Scoring. We quantify interaction risks through motion state estimation and risk field theory, followed by introducing a dynamic action assessment benchmark based on a game-theoretical rational agent model, and designing a capability scoring metric based on morphological similarity distance. By calculating real-time differences between a driver's actions and the assessment benchmark, the driver's interaction capabilities are scored dynamically. We validated our framework at unsignalized intersections as a typical scenario. Validation analysis on driver behavior datasets from China and the USA shows that our framework effectively distinguishes and evaluates conservative and aggressive driving states during interactions, demonstrating good adaptability and effectiveness in various regional settings.


title: MACE: A Machine learning Approach to Chemistry Emulation

abstract: The chemistry of an astrophysical environment is closely coupled to its dynamics, the latter often found to be complex. Hence, to properly model these environments a 3D context is necessary. However, solving chemical kinetics within a 3D hydro simulation is computationally infeasible for a even a modest parameter study. In order to develop a feasible 3D hydro-chemical simulation, the classical chemical approach needs to be replaced by a faster alternative. We present mace, a Machine learning Approach to Chemistry Emulation, as a proof-of-concept work on emulating chemistry in a dynamical environment. Using the context of AGB outflows, we have developed an architecture that combines the use of an autoencoder (to reduce the dimensionality of the chemical network) and a set of latent ordinary differential equations (that are solved to perform the temporal evolution of the reduced features). Training this architecture with an integrated scheme makes it possible to successfully reproduce a full chemical pathway in a dynamical environment. mace outperforms its classical analogue on average by a factor 26. Furthermore, its efficient implementation in PyTorch results in a sub-linear scaling with respect to the number of hydrodynamical simulation particles.

categories: physics.comp-ph astro-ph.GA astro-ph.IM astro-ph.SR


title: Difference ascent sequences and related combinatorial structures

abstract: Ascent sequences were introduced by Bousquet-M\'elou, Claesson, Dukes and Kitaev, which are in bijection with unlabeled $(2+2)$-free posets, Fishburn matrices, permutations avoiding a bivincular pattern of length $3$, and Stoimenow matchings. Analogous results for weak ascent sequences have been obtained by B\'enyi, Claesson and Dukes. Recently, Dukes and Sagan introduced a more general class of sequences which are called $d$-ascent sequences. They showed that some maps from the weak case can be extended to bijections for general $d$ while the extensions of others continue to be injective. The main objective of this paper is to restore these injections to bijections. To be specific, we introduce a class of permutations which we call them $d$-permutations and a class of factorial posets which we call them $d$-posets, both of which are showed to be in bijection with $d$-ascent sequences. Moreover, we also give a direct bijection between a class of matrices with a certain column restriction and Fishburn matrices. Our results give answers to several questions posed by Dukes and Sagan.


title: Interactions and cold collisions of AlF in the ground and excited electronic states with He

abstract: Aluminium monofluoride (AlF) is a promising candidate for laser cooling and the production of dense ultracold molecular gases, thanks to its relatively high chemical stability and diagonal Frank-Condon factors. In this study, we examine the interactions and collisions of AlF in its $X^1\Sigma^+$, $a^3\Pi$, and $A^{1}\Pi$ electronic states with ground-state He using state-of-the-art \textit{ab initio} quantum chemistry techniques. We construct accurate potential energy surfaces (PESs) employing either the explicitly correlated coupled-cluster CCSD(T)-F12 method augmented by the CCSDT correction or the multireference configuration-interaction method for higher-excited electronic states. Subsequently, we employ these PESs in coupled-channel calculations to determine the scattering cross-sections for AlF+He collisions and bound states of the complex. We estimate the uncertainty of the calculated PESs and apply it to assess the uncertainty of the scattering results. We find a relatively low sensitivity of the cross-sections to the variation of the PESs, but the positions of shape resonances remain uncertain. The present results are relevant for further improvements and optimizations of buffer-gas cooling of AlF molecules.


title: Distributed Adaptive Spatial Filtering with Inexact Local Solvers

abstract: The Distributed Adaptive Signal Fusion (DASF) framework is a meta-algorithm for computing data-driven spatial filters in a distributed sensing platform with limited bandwidth and computational resources, such as a wireless sensor network. The convergence and optimality of the DASF algorithm has been extensively studied under the assumption that an exact, but possibly impractical solver for the local optimization problem at each updating node is available. In this work, we provide convergence and optimality results for the DASF framework when used with an inexact, finite-time solver such as (proximal) gradient descent or Newton's method. We provide sufficient conditions that the solver should satisfy in order to guarantee convergence of the resulting algorithm, and a lower bound for the convergence rate. We also provide numerical simulations to validate these theoretical results.


title: Approximate Realizations for Outerplanaric Degree Sequences

abstract: We study the question of whether a sequence d = (d_1,d_2, \ldots, d_n) of positive integers is the degree sequence of some outerplanar (a.k.a. 1-page book embeddable) graph G. If so, G is an outerplanar realization of d and d is an outerplanaric sequence. The case where \sum d \leq 2n - 2 is easy, as d has a realization by a forest (which is trivially an outerplanar graph). In this paper, we consider the family \cD of all sequences d of even sum 2n\leq \sum d \le 4n-6-2\multipl_1, where \multipl_x is the number of x's in d. (The second inequality is a necessary condition for a sequence d with \sum d\geq 2n to be outerplanaric.) We partition \cD into two disjoint subfamilies, \cD=\cD_{NOP}\cup\cD_{2PBE}, such that every sequence in \cD_{NOP} is provably non-outerplanaric, and every sequence in \cD_{2PBE} is given a realizing graph $G$ enjoying a 2-page book embedding (and moreover, one of the pages is also bipartite).


title: Lifelong Knowledge Editing for LLMs with Retrieval-Augmented Continuous Prompt Learning

abstract: Model editing aims to correct outdated or erroneous knowledge in large language models (LLMs) without the need for costly retraining. Lifelong model editing is the most challenging task that caters to the continuous editing requirements of LLMs. Prior works primarily focus on single or batch editing; nevertheless, these methods fall short in lifelong editing scenarios due to catastrophic knowledge forgetting and the degradation of model performance. Although retrieval-based methods alleviate these issues, they are impeded by slow and cumbersome processes of integrating the retrieved knowledge into the model. In this work, we introduce RECIPE, a RetriEval-augmented ContInuous Prompt lEarning method, to boost editing efficacy and inference efficiency in lifelong learning. RECIPE first converts knowledge statements into short and informative continuous prompts, prefixed to the LLM's input query embedding, to efficiently refine the response grounded on the knowledge. It further integrates the Knowledge Sentinel (KS) that acts as an intermediary to calculate a dynamic threshold, determining whether the retrieval repository contains relevant knowledge. Our retriever and prompt encoder are jointly trained to achieve editing properties, i.e., reliability, generality, and locality. In our experiments, RECIPE is assessed extensively across multiple LLMs and editing datasets, where it achieves superior editing performance. RECIPE also demonstrates its capability to maintain the overall performance of LLMs alongside showcasing fast editing and inference speed.


title: Animate Your Thoughts: Decoupled Reconstruction of Dynamic Natural Vision from Slow Brain Activity

abstract: Reconstructing human dynamic vision from brain activity is a challenging task with great scientific significance. The difficulty stems from two primary issues: (1) vision-processing mechanisms in the brain are highly intricate and not fully revealed, making it challenging to directly learn a mapping between fMRI and video; (2) the temporal resolution of fMRI is significantly lower than that of natural videos. To overcome these issues, this paper propose a two-stage model named Mind-Animator, which achieves state-of-the-art performance on three public datasets. Specifically, during the fMRI-to-feature stage, we decouple semantic, structural, and motion features from fMRI through fMRI-vision-language tri-modal contrastive learning and sparse causal attention. In the feature-to-video stage, these features are merged to videos by an inflated Stable Diffusion. We substantiate that the reconstructed video dynamics are indeed derived from fMRI, rather than hallucinations of the generative model, through permutation tests. Additionally, the visualization of voxel-wise and ROI-wise importance maps confirms the neurobiological interpretability of our model.


title: FDSPC: Fast and Direct Smooth Path Planning via Continuous Curvature Integration

abstract: In recent decades, global path planning of robot has seen significant advancements. Both heuristic search-based methods and probability sampling-based methods have shown capabilities to find feasible solutions in complex scenarios. However, mainstream global path planning algorithms often produce paths with bends, requiring additional smoothing post-processing. In this work, we propose a fast and direct path planning method based on continuous curvature integration. This method ensures path feasibility while directly generating global smooth paths with constant velocity, thus eliminating the need for post-path-smoothing. Furthermore, we compare the proposed method with existing approaches in terms of solution time, path length, memory usage, and smoothness under multiple scenarios. The proposed method is vastly superior to the average performance of state-of-the-art (SOTA) methods, especially in terms of the self-defined $\mathcal{S}_2 $ smoothness (mean angle of steering). These results demonstrate the effectiveness and superiority of our approach in several representative environments.


title: Hermite expansions for spaces of functions with nearly optimal time-frequency decay

abstract: We establish Hermite expansion characterizations for several subspaces of the Fr\'{e}chet space of functions on the real line satisfying the time-frequency decay bounds \[ |f(x)| \lesssim e^{-(\frac{1}{2} - \lambda) x^{2}} , \qquad |\widehat{f}(\xi)| \lesssim e^{-(\frac{1}{2} - \lambda) \xi^{2}} , \qquad \forall \lambda > 0 . \] In particular, our results improve and extend upon recent Fourier characterizations of the so-called proper Pilpovi\'{c} spaces obtained in [J. Funct. Anal. 284 (2023), 109724]. The main ingredients in our proofs are the Bargmann transform and some optimal forms of the Phragm\'{e}n-Lindel\"{o}f principle on sectors, also provided in this article.


title: H\"older Continuity and Harnack estimate for non-homogeneous parabolic equations

abstract: In this paper we continue the study on intrinsic Harnack inequality for non- homogeneous parabolic equations in non-divergence form initiated by the first author in [1]. We establish a forward-in-time intrinsic Harnack inequality, which in particular implies the H\"older continuity of the solutions. We also provide a Harnack type estimate on global scale which quantifies the strong minimum principle. In the time-independent setting, this together with [1] provides an alternative proof of the generalized Harnack inequality proven by the second author in [9].


title: Gravitational lensing of a Schwarzschild-like black hole in Kalb-Ramond gravity

abstract: In this paper, we investigate the gravitational lensing effect for the Schwarzschild-like black hole spacetime in the background of a Kalb-Ramond (KR) field proposed in [K. Yang et. al., Phys. Rev. D 108 (2023) 124004]. The solution is characterized by a single extra parameter $l$, which is associated to the Lorentz symmetry breaking induced by the KR field. First, we calculate the exact deflection angle of massive and massless particles for finite distances using elliptic integrals. Then we study this effect in the weak and strong field regimes, discussing the correction of the KR parameter on the coefficients of the expansions in both limits. We also find that increasing $l$ decreases the deflection angle. Furthermore, we use the available data from the Sagittarius $A^{\star}$ object, which is believed to be a supermassive black hole at the center of our galaxy, to calculate relevant observables, such as, the image position, luminosity, and delay time. The values found could be potentially measured in the weak field regime, though for strong fields one would have to wait for the next generation of interferometers.


title: A continuous approach for computing the pseudospectra of linear operators

abstract: We propose a continuous approach for computing the pseudospectra of linear operators following a 'solve-then-discretize' strategy. Instead of taking a finite section approach or using a finite-dimensional matrix to approximate the operator of interest, the new method employs an operator analogue of the Lanczos process to work directly with operators and functions. The method is shown to be free of spectral pollution and spectral invisibility, fully adaptive, nearly optimal in accuracy, and well-conditioned. The advantages of the method are demonstrated by extensive numerical examples and comparison with the traditional method.


title: Study of quantum decoherence at Protvino to ORCA experiment

abstract: Protvino to ORCA (Oscillation Research with Cosmics in the Abyss) (P2O) is an upcoming neutrino oscillation experiment with a very long baseline of 2595 km. Due to the substantial baseline, this experiment provides a unique opportunity to study the earth matter effects over very large distances. This makes it a suitable experiment to investigate the environmental decoherence in neutrino oscillations, where the neutrino system could interact with a stochastic environment and lead to a loss in the coherence of neutrino states. In this work, we consider an open quantum system framework to simulate the neutrino oscillations in P2O experiment and obtain bounds on the decoherence parameters in different phenomenological models. We assume that the decoherence parameter $\Gamma$ depends on neutrino energy $E_\nu$ as $\Gamma_{ij}(E_\nu) = \Gamma_{0} (\frac{E_\nu}{E_0})^n$. Further, we use these bounds to study the effect on the neutrino mass ordering sensitivity and CP violation sensitivity of P2O experiment.


title: Evaluating Eye Movement Biometrics in Virtual Reality: A Comparative Analysis of VR Headset and High-End Eye-Tracker Collected Dataset

abstract: Previous studies have shown that eye movement data recorded at 1000 Hz can be used to authenticate individuals. This study explores the effectiveness of eye movement-based biometrics (EMB) by utilizing data from an eye-tracking (ET)-enabled virtual reality (VR) headset (GazeBaseVR) and compares it to the performance using data from a high-end eye tracker (GazeBase) that has been downsampled to 250 Hz. The research also aims to assess the biometric potential of both binocular and monocular eye movement data. GazeBaseVR dataset achieves an equal error rate (EER) of 1.67% and a false rejection rate (FRR) at 10^-4 false acceptance rate (FAR) of 22.73% in a binocular configuration. This study underscores the biometric viability of data obtained from eye-tracking-enabled VR headset.


title: Fundamental Bounds on Unequal Error Protection Codes

abstract: Unequal error protection (UEP) codes can facilitate the transmission of messages with different protection levels. In this paper, we study the achievability bounds on UEP by the generalization of Gilbert-Varshamov (GV) bound. For the first time, we show that under certain conditions, UEP enhances the code rate comparing with time-sharing (TS) strategies asymptotically.


title: Exact vacuum spacetimes from Fierz-Pauli

abstract: Nilpotent deformations of an arbitrary background spacetime are considered . Those are of the form $\bg_{\m\n}+ l_\m l_\n$ with $l^2=0$. The relationship between the Ricci tensor of the background metric and the Ricci tensor of the deformed metric is found exactly. It consists of two terms. one is essentially the Fierz-Pauli operator, and the other is new. When the background is flat, the Kerr-Schild family is recovered. Novel examples for more general backgrounds are discussed.


title: Coordinating Cooperative Perception in Urban Air Mobility for Enhanced Environmental Awareness

abstract: The trend for Urban Air Mobility (UAM) is growing with prospective air taxis, parcel deliverers, and medical and industrial services. Safe and efficient UAM operation relies on timely communication and reliable data exchange. In this paper, we explore Cooperative Perception (CP) for Unmanned Aircraft Systems (UAS), considering the unique communication needs involving high dynamics and a large number of UAS. We propose a hybrid approach combining local broadcast with a central CP service, inspired by centrally managed U-space and broadcast mechanisms from automotive and aviation domains. In a simulation study, we show that our approach significantly enhances the environmental awareness for UAS compared to fully distributed approaches, with an increased communication channel load, which we also evaluate. These findings prompt a discussion on communication strategies for CP in UAM and the potential of a centralized CP service in future research.


title: Spontaneous Lorentz symmetry-breaking constraints in Kalb-Ramond gravity

abstract: In this work, we study timelike and lightlike geodesics in Kalb-Ramond (KR) gravity around a black hole with the goal of constraining the Lorentz symmetry-breaking parameter $l$. The analysis involves studying the precession of the S2 star periastron orbiting Sgr A* and geodesic precession around the Earth. The ratio of precession frequencies for General Relativity (GR) and KR gravity is computed, with Event Horizon Telescope (EHT) results providing a parameter range for the spontaneous symmetry-breaking of $-0.185022 \leq l \leq 0.060938$. Utilizing the geodesic precession frequency from the Gravity Probe B (GP-B), the $l$ parameter is further constrained to $-6.30714 \times 10^{-12} \leq l \leq 3.90708 \times 10^{-12}$, which is consistent with the Schwarzschild limits. Moreover, for timelike geodesics, the innermost circular orbit (ICO) and innermost stable circular orbit (ISCO) are determined and analyzed to illustrate the impact of the symmetry breaking term. Zoom-whirl obstructions are compared with the Schwarzschild solution. Lower and upper limits of the photon sphere for lightlike geodesics are established to demonstrate the influence of KR gravity on the photon sphere. Additionally, the shadow radius is determined for two observers, one situated at a finite distance from the KR black hole, and the other located at an infinite distance, to constrain the symmetry-breaking parameter $l$, with comparisons made to EHT results. The bounds for $l$ derived from constraints on the photon sphere radius for lightlike geodesics yield $-0.0700225 \leq l \leq 0.189785$ using EHT data. The findings of this paper align with experimental results in the $l \rightarrow 0$ limit.


title: Source Region and Launch Characteristics of Magnetic-arch-blowout Solar Coronal Mass Ejections Driven by Homologous Compact-flare Blowout Jets

abstract: We study the formation of four coronal mass ejections (CMEs) originating from homologous blowout jets. All of the blowout jets originated from NOAA active region (AR) 11515 on 2012 July 2, within a time interval of $\approx$14 hr. All of the CMEs were wide (angular widths $\approx$95$-$150$^\circ$), and propagated with speeds ranging between $\approx$300$-$500 km s$^{-1}$ in LASCO coronagraph images. Observations at various EUV wavelengths in Solar Dynamics Observatory/Atmospheric Imaging Assembly images reveal that in all the cases, the source region of the jets lies at the boundary of the leading part of AR 11515 that hosts a small filament before each event. Coronal magnetic field modeling based on nonlinear force free extrapolations indicate that in each case the filament is contained inside of a magnetic flux rope that remains constrained by overlying compact loops. The southern footpoint of each filament is rooted in the negative polarity region where the eruption onsets occur. This negative-polarity region undergoes continuous flux changes, including emergence and cancellation with opposite polarity in the vicinity of the flux rope, and the EUV images reveal brightening episodes near the filament's southeastern footpoint before each eruption. Therefore, these flux changes are likely the cause of the subsequent eruptions. These four homologous eruptions originate near adjacent feet of two large-scale loop systems connecting from that positive-polarity part of the AR to two remote negative-polarity regions, and result in large-scale consequences in the solar corona.


title: Deep Learning and genetic algorithms for cosmological Bayesian inference speed-up

abstract: In this paper, we present a novel approach to accelerate the Bayesian inference process, focusing specifically on the nested sampling algorithms. Bayesian inference plays a crucial role in cosmological parameter estimation, providing a robust framework for extracting theoretical insights from observational data. However, its computational demands can be substantial, primarily due to the need for numerous likelihood function evaluations. Our proposed method utilizes the power of deep learning, employing feedforward neural networks to approximate the likelihood function dynamically during the Bayesian inference process. Unlike traditional approaches, our method trains neural networks on-the-fly using the current set of live points as training data, without the need for pre-training. This flexibility enables adaptation to various theoretical models and datasets. We perform simple hyperparameter optimization using genetic algorithms to suggest initial neural network architectures for learning each likelihood function. Once sufficient accuracy is achieved, the neural network replaces the original likelihood function. The implementation integrates with nested sampling algorithms and has been thoroughly evaluated using both simple cosmological dark energy models and diverse observational datasets. Additionally, we explore the potential of genetic algorithms for generating initial live points within nested sampling inference, opening up new avenues for enhancing the efficiency and effectiveness of Bayesian inference methods.

categories: astro-ph.IM astro-ph.CO cs.LG cs.NE stat.ML


title: On the generalized Dirichlet beta and Riemann zeta functions and Ramanujan-type formulae for beta and zeta values

abstract: We define the generalized Dirichlet beta and Riemann zeta functions in terms of the integrals, involving powers of the hyperbolic secant and cosecant functions. The corresponding functional equations are established. Some consequences of the Ramanujan identity for zeta values at odd integers are investigated and new formulae of the Ramanujan type are obtained.


title: Modeling non stationary noise in pulsar timing array data analysis

abstract: Pulsar Timing Array (PTA) collaborations recently reported evidence for the presence of a gravitational wave background (GWB) in their datasets. The main candidate that is expected to produce such a GWB is the population of supermassive black hole binaries (SMBHB). Some analyses showed that the recovered signal may exhibit time-dependent properties, i.e. non-stationarity. In this paper, we propose an approximated non-stationary Gaussian process (GP) model obtained from the perturbation of stationary processes. The presented method is applied to the second data release of the European pulsar timing array to search for non-stationary features in the GWB. We analyzed the data in different time slices and showed that the inferred properties of the GWB evolve with time. We find no evidence for such non-stationary behavior and the Bayes factor in favor of the latter is $\mathcal{B}^{NS}_{S} = 1.5$. We argue that the evolution of the GWB properties most likely comes from the \mf{improvement of the observation cadence} with time and \mf{better} characterization of the noise of individual pulsars. Such non-stationary GWB could also be produced by the leakage of non-stationary features in the noise of individual pulsars or by the presence of an eccentric single source.


title: Coefficient Decomposition for Spectral Graph Convolution

abstract: Spectral graph convolutional network (SGCN) is a kind of graph neural networks (GNN) based on graph signal filters, and has shown compelling expressivity for modeling graph-structured data. Most SGCNs adopt polynomial filters and learn the coefficients from the training data. Many of them focus on which polynomial basis leads to optimal expressive power and models' architecture is little discussed. In this paper, we propose a general form in terms of spectral graph convolution, where the coefficients of polynomial basis are stored in a third-order tensor. Then, we show that the convolution block in existing SGCNs can be derived by performing a certain coefficient decomposition operation on the coefficient tensor. Based on the generalized view, we develop novel spectral graph convolutions CoDeSGC-CP and -Tucker by tensor decomposition CP and Tucker on the coefficient tensor. Extensive experimental results demonstrate that the proposed convolutions achieve favorable performance improvements.


title: Radial fields on the manifolds of symmetric positive definite matrices

abstract: On Hadamard manifolds, the radial fields, which are the negative gradients of the Busemann functions, can be used to designate a canonical sense of direction. This has many potential interesting applications to Hadamard manifold-valued data, for example in defining notions of quantiles or treatment effects. Some of the most commonly encountered Hadamard manifolds in statistics are the spaces of symmetric positive definite matrices, which are used in, for example, covariance matrix analysis and diffusion tensor imaging. In this paper, we derive an expression for the radial fields on these manifolds and demonstrate their smoothness.


title: Online Clustering of Known and Emerging Malware Families

abstract: Malware attacks have become significantly more frequent and sophisticated in recent years. Therefore, malware detection and classification are critical components of information security. Due to the large amount of malware samples available, it is essential to categorize malware samples according to their malicious characteristics. Clustering algorithms are thus becoming more widely used in computer security to analyze the behavior of malware variants and discover new malware families. Online clustering algorithms help us to understand malware behavior and produce a quicker response to new threats. This paper introduces a novel machine learning-based model for the online clustering of malicious samples into malware families. Streaming data is divided according to the clustering decision rule into samples from known and new emerging malware families. The streaming data is classified using the weighted k-nearest neighbor classifier into known families, and the online k-means algorithm clusters the remaining streaming data and achieves a purity of clusters from 90.20% for four clusters to 93.34% for ten clusters. This work is based on static analysis of portable executable files for the Windows operating system. Experimental results indicate that the proposed online clustering model can create high-purity clusters corresponding to malware families. This allows malware analysts to receive similar malware samples, speeding up their analysis.