title: Optimization methods for solving matrix equations

abstract: In this paper, we focus on using optimization methods to solve matrix equations by transforming the problem of solving the Sylvester matrix equation or continuous algebraic Riccati equation into an optimization problem. Initially, we use a constrained convex optimization method (CCOM) to solve the Sylvester matrix equation with $\ell_{2,1}$-norm, where we provide a convergence analysis and numerical examples of CCOM; however, the results show that the algorithm is not efficient. To address this issue, we employ classical quasi-Newton methods such as DFP and BFGS algorithms to solve the Sylvester matrix equation and present the convergence and numerical results of the algorithm. Additionally, we compare these algorithms with the CG algorithm and AR algorithm, and our results demonstrate that the presented algorithms are effective. Furthermore, we propose a unified framework of the alternating direction multiplier method (ADMM) for directly solving the continuous algebraic Riccati equation (CARE), and we provide the convergence and numerical results of ADMM. Our experimental results indicate that ADMM is an effective optimization algorithm for solving CARE. Finally, to improve the effectiveness of the optimization method for solving Riccati equation, we propose the Newton-ADMM algorithm framework, where the outer iteration of this method is the classical Newton method, and the inner iteration involves using ADMM to solve Lyapunov matrix equations inexactly. We also provide the convergence and numerical results of this algorithm, which our results demonstrate are more efficient than ADMM for solving CARE.


title: FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning

abstract: We present FuSeBMC-AI, a test generation tool grounded in machine learning techniques. FuSeBMC-AI extracts various features from the program and employs support vector machine and neural network models to predict a hybrid approach optimal configuration. FuSeBMC-AI utilizes Bounded Model Checking and Fuzzing as back-end verification engines. FuSeBMC-AI outperforms the default configuration of the underlying verification engine in certain cases while concurrently diminishing resource consumption.


title: Inverse melting and intertwined orders in PrCuSb$_2$

abstract: Much of the rich physics of correlated systems is manifested in the diverse range of intertwined ordered phases and other quantum states that are associated with different electronic and structural degrees of freedom. Here we find that PrCuSb$_2$ exhibits such phenomena, which at ambient pressure exhibits a fragile antiferromagnetic order, where cooling in a small $c$ axis magnetic field leads to an additional transition to a field-induced ferromagnetic state. This corresponds to an 'inverse melting' effect, whereby further cooling the system restores symmetries of the paramagnetic state broken at the antiferromagnetic transition. Moreover, hydrostatic pressure induces an additional first-order transition at low temperatures, which despite being not likely associated with solely magnetic degrees of freedom, is closely entwined with the magnetic order, disappearing once antiferromagnetism is destroyed by pressure or magnetic fields. Consequently, PrCuSb$_2$ presents a distinct scenario for interplay between different orders, underscoring the breadth of such behaviors within one family of correlated materials.


title: Little Strokes Fell Great Oaks: Boosting the Hierarchical Features for Multi-exposure Image Fusion

abstract: In recent years, deep learning networks have made remarkable strides in the domain of multi-exposure image fusion. Nonetheless, prevailing approaches often involve directly feeding over-exposed and under-exposed images into the network, which leads to the under-utilization of inherent information present in the source images. Additionally, unsupervised techniques predominantly employ rudimentary weighted summation for color channel processing, culminating in an overall desaturated final image tone. To partially mitigate these issues, this study proposes a gamma correction module specifically designed to fully leverage latent information embedded within source images. Furthermore, a modified transformer block, embracing with self-attention mechanisms, is introduced to optimize the fusion process. Ultimately, a novel color enhancement algorithm is presented to augment image saturation while preserving intricate details. The source code is available at https://github.com/ZhiyingDu/BHFMEF.


title: Low-rank generalized alternating direction implicit iteration method for solving matrix equations

abstract: This paper presents an effective low-rank generalized alternating direction implicit iteration (R-GADI) method for solving large-scale sparse and stable Lyapunov matrix equations and continuous-time algebraic Riccati matrix equations. The method is based on generalized alternating direction implicit iteration (GADI), which exploits the low-rank property of matrices and utilizes the Cholesky factorization approach for solving. The advantage of the new algorithm lies in its direct and efficient low-rank formulation, which is a variant of the Cholesky decomposition in the Lyapunov GADI method, saving storage space and making it computationally effective. When solving the continuous-time algebraic Riccati matrix equation, the Riccati equation is first simplified to a Lyapunov equation using the Newton method, and then the R-GADI method is employed for computation. Additionally, we analyze the convergence of the R-GADI method and prove its consistency with the convergence of the GADI method. Finally, the effectiveness of the new algorithm is demonstrated through corresponding numerical experiments.


title: PM4Py.LLM: a Comprehensive Module for Implementing PM on LLMs

abstract: pm4py is a process mining library for Python implementing several process mining (PM) artifacts and algorithms. It also offers methods to integrate PM with large language models (LLMs). This paper examines how the current paradigms of PM on LLM are implemented in pm4py, identifying challenges such as privacy, hallucinations, and the context window limit.


title: Space-Time Video Super-resolution with Neural Operator

abstract: This paper addresses the task of space-time video super-resolution (ST-VSR). Existing methods generally suffer from inaccurate motion estimation and motion compensation (MEMC) problems for large motions. Inspired by recent progress in physics-informed neural networks, we model the challenges of MEMC in ST-VSR as a mapping between two continuous function spaces. Specifically, our approach transforms independent low-resolution representations in the coarse-grained continuous function space into refined representations with enriched spatiotemporal details in the fine-grained continuous function space. To achieve efficient and accurate MEMC, we design a Galerkin-type attention function to perform frame alignment and temporal interpolation. Due to the linear complexity of the Galerkin-type attention mechanism, our model avoids patch partitioning and offers global receptive fields, enabling precise estimation of large motions. The experimental results show that the proposed method surpasses state-of-the-art techniques in both fixed-size and continuous space-time video super-resolution tasks.


title: A Survey of Distributed Graph Algorithms on Massive Graphs

abstract: Distributed processing of large-scale graph data has many practical applications and has been widely studied. In recent years, a lot of distributed graph processing frameworks and algorithms have been proposed. While many efforts have been devoted to analyzing these, with most analyzing them based on programming models, less research focuses on understanding their challenges in distributed environments. Applying graph tasks to distributed environments is not easy, often facing numerous challenges through our analysis, including parallelism, load balancing, communication overhead, and bandwidth. In this paper, we provide an extensive overview of the current state-of-the-art in this field by outlining the challenges and solutions of distributed graph algorithms. We first conduct a systematic analysis of the inherent challenges in distributed graph processing, followed by presenting an overview of existing general solutions. Subsequently, we survey the challenges highlighted in recent distributed graph processing papers and the strategies adopted to address them. Finally, we discuss the current research trends and identify potential future opportunities.


title: Effects of prestress in the coating of an elastic disk

abstract: An elastic disk is coated with an elastic rod, uniformly prestressed with a tensile or compressive axial force. The prestress state is assumed to be induced by three different models of external radial load or by 'shrink-fit' forcing the coating onto the disk. The prestressed coating/disk system, when loaded with an additional and arbitrary incremental external load, experiences incremental displacement, strain, and stress, which are solved via complex potentials. The analysis incorporates models for both perfect and imperfect bonding at the coating/disk interface. The derived solution highlights the significant influence not only of the prestress but also of the method employed to generate it. These two factors lead, in different ways, to a loss or an increase in incremental stiffness for compressive or tensile prestress. The first bifurcation load of the structure (which differs for different prestress generations) is determined in a perturbative way. The results emphasize the importance of modelling the load and may find applications in flexible electronics and robot arms subject to pressure or uniformly-distributed radial forces.


title: Breathing New Life into Existing Visualizations: A Natural Language-Driven Manipulation Framework

abstract: We propose an approach to manipulate existing interactive visualizations to answer users' natural language queries. We analyze the natural language tasks and propose a design space of a hierarchical task structure, which allows for a systematic decomposition of complex queries. We introduce a four-level visualization manipulation space to facilitate in-situ manipulations for visualizations, enabling a fine-grained control over the visualization elements. Our methods comprise two essential components: the natural language-to-task translator and the visualization manipulation parser. The natural language-to-task translator employs advanced NLP techniques to extract structured, hierarchical tasks from natural language queries, even those with varying degrees of ambiguity. The visualization manipulation parser leverages the hierarchical task structure to streamline these tasks into a sequence of atomic visualization manipulations. To illustrate the effectiveness of our approach, we provide real-world examples and experimental results. The evaluation highlights the precision of our natural language parsing capabilities and underscores the smooth transformation of visualization manipulations.


title: Integrated empirical measures and generalizations of classical goodness-of-fit statistics

abstract: Based on $m$-fold integrated empirical measures, we study three new classes of goodness-of-fits tests, generalizing Anderson-Darling, Cram\'er-von Mises, and Watson statistics, respectively, and examine the corresponding limiting stochastic processes. The limiting null distributions of the statistics all lead to explicitly solvable cases with closed-form expressions for the corresponding Karhunen-Lo\`{e}ve expansions and covariance kernels. In particular, the eigenvalues are shown to be $\frac1{k(k+1)\cdots (k+2m-1)}$ for the generalized Anderson-Darling, $\frac1{(\pi k)^{2m}}$ for the generalized Cram\'er-von Mises, and $\frac1{2\pi\lceil k/2\rceil^{2m}}$ for the generalized Watson statistics, respectively. The infinite products of the resulting moment generating functions are further simplified to finite ones so as to facilitate efficient numerical calculations. These statistics are capable of detecting different features of the distributions and thus provide a useful toolbox for goodness-of-fit testing.


title: On Evaluating the Efficiency of Source Code Generated by LLMs

abstract: Recent years have seen the remarkable capabilities of large language models (LLMs) for code generation. Different from existing work that evaluate the correctness of the code generated by LLMs, we propose to further evaluate its efficiency. More efficient code can lead to higher performance and execution efficiency of programs and software completed by LLM-assisted programming. First, we evaluate the efficiency of the code generated by LLMs on two benchmarks, HumanEval and MBPP. Then, we choose a set of programming problems from the online judge platform LeetCode to conduct a more difficult evaluation. Finally, we explore several prompts that would enable LLMs to generate more efficient code.


title: Tailoring the energy landscape of a Bloch point singularity with curvature

abstract: Topological defects, or singularities, play a key role in the statics and dynamics of complex systems. In magnetism, Bloch point singularities represent point defects that mediate the nucleation of textures such as skyrmions and hopfions. However, while the textures are typically stabilised in chiral magnets, the influence of chirality on the Bloch point singularities remains relatively unexplored. Here we harness advanced three-dimensional nanofabrication to explore the influence of chirality on Bloch point singularities by introducing curvature-induced symmetry breaking in a ferromagnetic nanowire. Combining X-ray magnetic microscopy with the application of in situ magnetic fields, we demonstrate that Bloch point singularity-containing domain walls are stabilised in straight regions of the sample, and determine that curvature can be used to tune the energy landscape of the Bloch points. Not only are we able to pattern pinning points but, by controlling the gradient of curvature, we define asymmetric potential wells to realise a robust Bloch point shift-register with non-reciprocal behaviour. These insights into the influence of symmetry and chirality on singularities offers a route to the controlled nucleation and propagation of topological textures, providing opportunities for logic and computing devices.


title: Automatic Configuration Tuning on Cloud Database: A Survey

abstract: Faced with the challenges of big data, modern cloud database management systems are designed to efficiently store, organize, and retrieve data, supporting optimal performance, scalability, and reliability for complex data processing and analysis. However, achieving good performance in modern databases is non-trivial as they are notorious for having dozens of configurable knobs, such as hardware setup, software setup, database physical and logical design, etc., that control runtime behaviors and impact database performance. To find the optimal configuration for achieving optimal performance, extensive research has been conducted on automatic parameter tuning in DBMS. This paper provides a comprehensive survey of predominant configuration tuning techniques, including Bayesian optimization-based solutions, Neural network-based solutions, Reinforcement learning-based solutions, and Search-based solutions. Moreover, it investigates the fundamental aspects of parameter tuning pipeline, including tuning objective, workload characterization, feature pruning, knowledge from experience, configuration recommendation, and experimental settings. We highlight technique comparisons in each component, corresponding solutions, and introduce the experimental setting for performance evaluation. Finally, we conclude this paper and present future research opportunities. This paper aims to assist future researchers and practitioners in gaining a better understanding of automatic parameter tuning in cloud databases by providing state-of-the-art existing solutions, research directions, and evaluation benchmarks.


title: Object Dynamics Modeling with Hierarchical Point Cloud-based Representations

abstract: Modeling object dynamics with a neural network is an important problem with numerous applications. Most recent work has been based on graph neural networks. However, physics happens in 3D space, where geometric information potentially plays an important role in modeling physical phenomena. In this work, we propose a novel U-net architecture based on continuous point convolution which naturally embeds information from 3D coordinates and allows for multi-scale feature representations with established downsampling and upsampling procedures. Bottleneck layers in the downsampled point clouds lead to better long-range interaction modeling. Besides, the flexibility of point convolutions allows our approach to generalize to sparsely sampled points from mesh vertices and dynamically generate features on important interaction points on mesh faces. Experimental results demonstrate that our approach significantly improves the state-of-the-art, especially in scenarios that require accurate gravity or collision reasoning.


title: Bracket width of current Lie algebras

abstract: The length of an element $z$ of a Lie algebra $L$ is defined as the smallest number $s$ needed to represent $z$ as a sum of $s$ brackets. The bracket width of $L$ is defined as supremum of the lengths of its elements. Given a finite-dimensional simple Lie algebra $\mathfrak g$ over an algebraically closed field $k$ of characteristic zero, we study the bracket width of current Lie algebras $L=\mathfrak g\otimes A$. We show that for an arbitrary $A$ the width is at most 2. For $A=k[[t]]$ and $A=k[t]$ we compute the width for algebras of types A and C.


title: Nuclear charge radii of germanium isotopes around $N$ = 40

abstract: Collinear laser spectroscopy measurements were performed on $^{68-74}$Ge isotopes ($Z = 32$) at ISOLDE-CERN, by probing the $4s^2 4p^2 \, ^3\!P_1 \rightarrow 4s^2 4p 5s \, ^3\!P_1^o$ atomic transition (269~nm) of germanium. Nuclear charge radii are determined via the measured isotope shifts, revealing a larger local variation than the neighboring isotopic chains. Nuclear density functional theory with the Fayans functionals Fy($\Delta r$,HFB) and Fy(IVP), and the SV-min Skyrme describes the experimental data for the differential charge radii $\delta\langle r^{2} \rangle$ and charge radii $R_{\rm c}$ within the theoretical uncertainties. The observed large variation in the charge radii of germanium isotopes is better accounted for by theoretical models incorporating ground state quadrupole correlations. This suggests that the polarization effects due to pairing and deformation contribute to the observed large odd-even staggering in the charge radii of the Ge isotopic chain.


title: A Systematic Literature Survey of Sparse Matrix-Vector Multiplication

abstract: Sparse matrix-vector multiplication (SpMV) is a crucial computing kernel with widespread applications in iterative algorithms. Over the past decades, research on SpMV optimization has made remarkable strides, giving rise to various optimization contributions. However, the comprehensive and systematic literature survey that introduces, analyzes, discusses, and summarizes the advancements of SpMV in recent years is currently lacking. Aiming to fill this gap, this paper compares existing techniques and analyzes their strengths and weaknesses. We begin by highlighting two representative applications of SpMV, then conduct an in-depth overview of the important techniques that optimize SpMV on modern architectures, which we specifically classify as classic, auto-tuning, machine learning, and mixed-precision-based optimization. We also elaborate on the hardware-based architectures, including CPU, GPU, FPGA, processing in Memory, heterogeneous, and distributed platforms. We present a comprehensive experimental evaluation that compares the performance of state-of-the-art SpMV implementations. Based on our findings, we identify several challenges and point out future research directions. This survey is intended to provide researchers with a comprehensive understanding of SpMV optimization on modern architectures and provide guidance for future work.


title: Quantum computing topological invariants of two-dimensional quantum matter

abstract: Quantum algorithms provide a potential strategy for solving computational problems that are intractable by classical means. Computing the topological invariants of topological matter is one central problem in research on quantum materials, and a variety of numerical approaches for this purpose have been developed. However, the complexity of quantum many-body Hamiltonians makes calculations of topological invariants challenging for interacting systems. Here, we present two quantum circuits for calculating Chern numbers of two-dimensional quantum matter on quantum computers. Both circuits combine a gate-based adiabatic time-evolution over the discretized Brillouin zone with particular phase estimation techniques. The first algorithm uses many qubits, and we analyze it using a tensor-network simulator of quantum circuits. The second circuit uses fewer qubits, and we implement it experimentally on a quantum computer based on superconducting qubits. Our results establish a method for computing topological invariants with quantum circuits, taking a step towards characterizing interacting topological quantum matter using quantum computers.


title: Relativistic imprints on dispersion measure space distortions

abstract: We investigate the three-dimensional clustering of sources emitting electromagnetic pulses traveling through cold electron plasma, whose radial distance is inferred from their dispersion measure. As a distance indicator, dispersion measure is systematically affected by inhomogeneities in the electron density along the line of sight and special and general relativistic effects, similar to the case of redshift surveys. We present analytic expressions for the correlation function of fast radio bursts (FRBs), and for the galaxy-FRB cross-correlation function, in the presence of these dispersion measure-space distortions. We find that the even multipoles of these correlations are primarily dominated by non-local contributions (e.g. the electron density fluctuations integrated along the line of sight), while the dipole also receives a significant contribution from the Doppler effect, one of the major relativistic effects. A large number of FRBs, $\mathcal{O}(10^{5}\sim10^{6})$, expected to be observed in the Square Kilometre Array, would be enough to measure the even multipoles at very high significance, ${\rm S}/{\rm N} \approx 100$, and perhaps to make a first detection of the dipole (${\rm S}/{\rm N} \approx 10$) in the FRB correlation function and FRB-galaxy cross correlation function. This measurement could open a new window to study and test cosmological models.


title: Incremental Joint Learning of Depth, Pose and Implicit Scene Representation on Monocular Camera in Large-scale Scenes

abstract: Dense scene reconstruction for photo-realistic view synthesis has various applications, such as VR/AR, autonomous vehicles. However, most existing methods have difficulties in large-scale scenes due to three core challenges: \textit{(a) inaccurate depth input.} Accurate depth input is impossible to get in real-world large-scale scenes. \textit{(b) inaccurate pose estimation.} Most existing approaches rely on accurate pre-estimated camera poses. \textit{(c) insufficient scene representation capability.} A single global radiance field lacks the capacity to effectively scale to large-scale scenes. To this end, we propose an incremental joint learning framework, which can achieve accurate depth, pose estimation, and large-scale scene reconstruction. A vision transformer-based network is adopted as the backbone to enhance performance in scale information estimation. For pose estimation, a feature-metric bundle adjustment (FBA) method is designed for accurate and robust camera tracking in large-scale scenes. In terms of implicit scene representation, we propose an incremental scene representation method to construct the entire large-scale scene as multiple local radiance fields to enhance the scalability of 3D scene representation. Extended experiments have been conducted to demonstrate the effectiveness and accuracy of our method in depth estimation, pose estimation, and large-scale scene reconstruction.


title: Regularized relativistic corrections for polyelectronic and polyatomic systems with explicitly correlated Gaussians

abstract: Drachmann's regularization approach is implemented for floating explicitly correlated Gaussians (fECGs) and molecular systems. Earlier applications of drachmannized relativistic corrections for molecular systems were hindered due to the unknown analytic matrix elements of $1/r_{ix}1/r_{jy}$-type operators with fECGs. In the present work, one of the $1/r$ factors is approximated by a linear combination of Gaussians, which results in calculable integrals. The numerical approach is found to be precise and robust over a range of molecular systems and nuclear configurations, and thus, it opens the route towards an automated evaluation of high-precision relativistic corrections over potential energy surfaces of polyatomic systems. Furthermore, the newly developed integration approach makes it possible to construct the matrix representation of the square of the electronic Hamiltonian relevant for energy lower-bound as well as time-dependent computations of molecular systems with a flexible and high-precision fECG basis representation.


title: Shallow Quantum Circuit Implementation of Symmetric Functions with Limited Ancillary Qubits

abstract: In quantum computation, optimizing depth and number of ancillary qubits in quantum circuits is crucial due to constraints imposed by current quantum devices. This paper presents an innovative approach to implementing arbitrary symmetric Boolean functions using poly-logarithmic depth quantum circuits with logarithmic number of ancillary qubits. Symmetric functions are those whose outputs rely solely on the Hamming weight of the inputs. These functions find applications across diverse domains, including quantum machine learning, arithmetic circuit synthesis, and quantum algorithm design (e.g., Grover's algorithm). Moreover, by fully leveraging the potential of qutrits (an additional energy level), the ancilla count can be further reduced to 1. The key technique involves a novel poly-logarithmic depth quantum circuit designed to compute Hamming weight without the need for ancillary qubits. The quantum circuit for Hamming weight is of independent interest because of its broad applications, such as quantum memory and quantum machine learning.


title: How coherence measurements of a qubit steer its quantum environment

abstract: Repetitive Ramsey interferometry measurements (RIMs) are often used to measure qubit coherence, assuming that the environment remains unaffected after each measurement and the outcomes of all measurements are independent and identically distributed (i.i.d.). While this assumption is valid for a classical environment, it may not hold for a quantum environment due to the non-negligible backaction from qubit to environment. Here we present a general theoretical framework to incorporate the measurement backaction from qubit to environment in sequential RIMs. We show that a RIM of a qubit induces a quantum channel on the quantum environment, and sequential RIMs gradually steer the quantum environment to the fixed points of the channel. We reveal three distinct environment steering effects -- polarization, depolarization and metastable polarization, depending on the commutativity of the noise operator $B$ and the free environment Hamiltonian $H_e$: (1) if $B$ commutes with $H_e$, i.e., $[B,H_e]=0$, the quantum environment is gradually polarized to different eigenstates of $B$ as the number $m$ of repetitive RIMs increases; (2) When $[B,H_e]\neq 0$, the quantum environment is gradually depolarized to a maximally mixed state of its whole Hilbert space or a Hilbert subspace; (3) When $[B,H_e]\neq 0$ but one of $H_e$ and $B$ is a small perturbation on the other, metastable polarization can happen, such that the quantum environment is first polarized for a finite range of $m$ but becomes gradually depolarized as $m$ increases further. The environment steering also makes the measurement statistics of sequential RIMs develop non-i.i.d. features, such that the measurement result distribution can display multiple peaks for a small quantum environment, corresponding to different fixed points of the quantum channel.


title: Pseudo MIMO (pMIMO): An Energy and Spectral Efficient MIMO-OFDM System

abstract: This article introduces an energy and spectral efficient multiple-input multiple-output orthogonal frequency division multiplexing (MIMO-OFDM) transmission scheme designed for the future sixth generation (6G) wireless communication networks. The approach involves connecting each receiving radio frequency (RF) chain with multiple antenna elements and conducting sample-level adjustments for receiving beamforming patterns. The proposed system architecture and the dedicated signal processing methods enable the scheme to transmit a bigger number of parallel data streams than the number of receiving RF chains, achieving a spectral efficiency performance close to that of a fully digital (FD) MIMO system with the same number of antenna elements, each equipped with an RF chain. We refer to this system as a ''pseudo MIMO'' system due to its ability to mimic the functionality of additional invisible RF chains. The article begins with introducing the underlying principles of pseudo MIMO and discussing potential hardware architectures for its implementation. We then highlight several advantages of integrating pseudo MIMO into next-generation wireless networks. To demonstrate the superiority of our proposed pseudo MIMO transmission scheme to conventional MIMO systems, simulation results are presented. Additionally, we validate the feasibility of this new scheme by building the first pseudo MIMO prototype. Furthermore, we present some key challenges and outline potential directions for future research.


title: Online/Offline Learning to Enable Robust Beamforming: Limited Feedback Meets Deep Generative Models

abstract: Robust beamforming is a pivotal technique in massive multiple-input multiple-output (MIMO) systems as it mitigates interference among user equipment (UE). One current risk-neutral approach to robust beamforming is the stochastic weighted minimum mean square error method (WMMSE). However, this method necessitates statistical channel information, which is typically inaccessible, particularly in fifth-generation new radio frequency division duplex cellular systems with limited feedback. To tackle this challenge, we propose a novel approach that leverages a channel variational auto-encoder (CVAE) to simulate channel behaviors using limited feedback, eliminating the need for specific distribution assumptions present in existing methods. To seamlessly integrate model learning into practical wireless communication systems, this paper introduces two learning strategies to prepare the CVAE model for practical deployment. Firstly, motivated by the digital twin technology, we advocate employing a high-performance channel simulator to generate training data, enabling pretraining of the proposed CVAE while ensuring non-disruption to the practical wireless communication system. Moreover, we present an alternative online method for CVAE learning, where online training data is sourced based on channel estimations using Type II codebook. Numerical results demonstrate the effectiveness of these strategies, highlighting their exceptional performance in channel generation and robust beamforming applications.


title: Demonstration of Lossy Linear Transformations and Two-Photon Interference on a Photonic Chip

abstract: Studying quantum correlations in the presence of loss is of critical importance for the physical modeling of real quantum systems. Here, we demonstrate the control of spatial correlations between entangled photons in a photonic chip, designed and modeled using the singular value decomposition approach. We show that engineered loss, using an auxiliary waveguide, allows one to invert the spatial statistics from bunching to antibunching. Furthermore, we study the photon statistics within the loss-emulating channel and observe photon coincidences, which may provide insights into the design of quantum photonic integrated chips.


title: Unified Multi-modal Diagnostic Framework with Reconstruction Pre-training and Heterogeneity-combat Tuning

abstract: Medical multi-modal pre-training has revealed promise in computer-aided diagnosis by leveraging large-scale unlabeled datasets. However, existing methods based on masked autoencoders mainly rely on data-level reconstruction tasks, but lack high-level semantic information. Furthermore, two significant heterogeneity challenges hinder the transfer of pre-trained knowledge to downstream tasks, \textit{i.e.}, the distribution heterogeneity between pre-training data and downstream data, and the modality heterogeneity within downstream data. To address these challenges, we propose a Unified Medical Multi-modal Diagnostic (UMD) framework with tailored pre-training and downstream tuning strategies. Specifically, to enhance the representation abilities of vision and language encoders, we propose the Multi-level Reconstruction Pre-training (MR-Pretrain) strategy, including a feature-level and data-level reconstruction, which guides models to capture the semantic information from masked inputs of different modalities. Moreover, to tackle two kinds of heterogeneities during the downstream tuning, we present the heterogeneity-combat downstream tuning strategy, which consists of a Task-oriented Distribution Calibration (TD-Calib) and a Gradient-guided Modality Coordination (GM-Coord). In particular, TD-Calib fine-tunes the pre-trained model regarding the distribution of downstream datasets, and GM-Coord adjusts the gradient weights according to the dynamic optimization status of different modalities. Extensive experiments on five public medical datasets demonstrate the effectiveness of our UMD framework, which remarkably outperforms existing approaches on three kinds of downstream tasks.


title: Entropy numbers of finite-dimensional Lorentz space embeddings

abstract: The sequence of entropy numbers quantifies the degree of compactness of a linear operator acting between quasi-Banach spaces. We determine the asymptotic behavior of entropy numbers in the case of natural embeddings between finite-dimensional Lorentz spaces $\ell_{p,q}^n$ in all regimes; our results are sharp up to constants. This generalizes classical results obtained by Sch\"utt (in the case of Banach spaces) and Edmunds and Triebel, K\"uhn, as well as Gu\'edon and Litvak (in the case of quasi-Banach spaces) for entropy numbers of identities between Lebesgue sequence spaces $\ell_p^n$. We employ techniques such as interpolation, volume comparison as well as techniques from sparse approximation and combinatorial arguments. Further, we characterize entropy numbers of embeddings between symmetric quasi-Banach spaces satisfying a lattice property in terms of best $s$-term approximation numbers.


title: Efficient Quantum Circuits for Machine Learning Activation Functions including Constant T-depth ReLU

abstract: In recent years, Quantum Machine Learning (QML) has increasingly captured the interest of researchers. Among the components in this domain, activation functions hold a fundamental and indispensable role. Our research focuses on the development of activation functions quantum circuits for integration into fault-tolerant quantum computing architectures, with an emphasis on minimizing $T$-depth. Specifically, we present novel implementations of ReLU and leaky ReLU activation functions, achieving constant $T$-depths of 4 and 8, respectively. Leveraging quantum lookup tables, we extend our exploration to other activation functions such as the sigmoid. This approach enables us to customize precision and $T$-depth by adjusting the number of qubits, making our results more adaptable to various application scenarios. This study represents a significant advancement towards enhancing the practicality and application of quantum machine learning.


title: Bose-Einstein condensate as a quantum gravity probe; "Erste Abhandlung"

abstract: We consider a Bose-Einstein condensate interacting with a gravitational wave for the case when the gravitational fluctuations are quantized in order to incorporate quantum gravity effects into the theory. We observe that the solution of the time-dependent part of the pseudo-Goldstone boson has infusions from the noise induced by gravitons and the corresponding differential equation of motion is Langevin-like. Using this result, we obtain the quantum gravity modified Fisher information which has been termed as the quantum gravitational Fisher information (QGFI). The inverse square root of the stochastic average of the QGFI gives the minimum uncertainty in the measurement of the gravitational wave amplitude. The minimum uncertainty does not go to infinity as the measurement time approaches zero in a quantum gravity setup rather it has a measurable finite value for gravitons with high squeezing. Finally, we observe the effect of decoherence due to interacting phonon modes in the QGFI and observe a less obvious decoherence effect for higher squeezing of the initial graviton.


title: A preconditioned iteration method for solving saddle point problems

abstract: This paper introduces a preconditioned method designed to comprehensively address the saddle point system with the aim of improving convergence efficiency. In the preprocessor construction phase, a technical approach for solving the approximate inverse matrix of sparse matrices is presented. The effectiveness of the proposed method is demonstrated through numerical examples, emphasizing its efficacy in approximating the inverse matrix. Furthermore, the preprocessing technology includes a low-rank processing step, effectively reducing algorithmic complexity. Numerical experiments validate the effectiveness and feasibility of PSLR-GMRES in solving the saddle point system.


title: Asymptotic values, deficiencies and Bank-Laine functions

abstract: Some results are proved concerning asymptotic and deficient values in connection with the second order linear differential equation $y'' + Ay = 0$, in which the coefficient $A$ is entire.


title: All in One: An Empirical Study of GPT for Few-Shot Aspect-Based Sentiment Anlaysis

abstract: Aspect-Based Sentiment Analysis (ABSA) is an indispensable and highly challenging task in natural language processing. Current efforts have focused on specific sub-tasks, making it difficult to comprehensively cover all sub-tasks within the ABSA domain. With the development of Generative Pre-trained Transformers (GPTs), there came inspiration for a one-stop solution to sentiment analysis. In this study, we used GPTs for all sub-tasks of few-shot ABSA while defining a general learning paradigm for this application. We propose the All in One (AiO) model, a simple yet effective two-stage model for all ABSA sub-tasks. In the first stage, a specific backbone network learns the semantic information of the review and generates heuristically enhanced candidates. In the second stage, AiO leverages GPT contextual learning capabilities to generate predictions. The study conducted comprehensive comparative and ablation experiments on five benchmark datasets, and the results show that AiO can effectively handle all ABSA sub-tasks, even with few-shot data.


title: Constructing hierarchical time series through clustering: Is there an optimal way for forecasting?

abstract: Forecast reconciliation has attracted significant research interest in recent years, with most studies taking the hierarchy of time series as given. We extend existing work that uses time series clustering to construct hierarchies, with the goal of improving forecast accuracy, in three ways. First, we investigate multiple approaches to clustering, including not only different clustering algorithms, but also the way time series are represented and how distance between time series is defined. We find that cluster-based hierarchies lead to improvements in forecast accuracy relative to two-level hierarchies. Second, we devise an approach based on random permutation of hierarchies, keeping the structure of the hierarchy fixed, while time series are randomly allocated to clusters. In doing so, we find that improvements in forecast accuracy that accrue from using clustering do not arise from grouping together similar series but from the structure of the hierarchy. Third, we propose an approach based on averaging forecasts across hierarchies constructed using different clustering methods, that is shown to outperform any single clustering method. All analysis is carried out on two benchmark datasets and a simulated dataset. Our findings provide new insights into the role of hierarchy construction in forecast reconciliation and offer valuable guidance on forecasting practice.


title: Unified Entropy Optimization for Open-Set Test-Time Adaptation

abstract: Test-time adaptation (TTA) aims at adapting a model pre-trained on the labeled source domain to the unlabeled target domain. Existing methods usually focus on improving TTA performance under covariate shifts, while neglecting semantic shifts. In this paper, we delve into a realistic open-set TTA setting where the target domain may contain samples from unknown classes. Many state-of-the-art closed-set TTA methods perform poorly when applied to open-set scenarios, which can be attributed to the inaccurate estimation of data distribution and model confidence. To address these issues, we propose a simple but effective framework called unified entropy optimization (UniEnt), which is capable of simultaneously adapting to covariate-shifted in-distribution (csID) data and detecting covariate-shifted out-of-distribution (csOOD) data. Specifically, UniEnt first mines pseudo-csID and pseudo-csOOD samples from test data, followed by entropy minimization on the pseudo-csID data and entropy maximization on the pseudo-csOOD data. Furthermore, we introduce UniEnt+ to alleviate the noise caused by hard data partition leveraging sample-level confidence. Extensive experiments on CIFAR benchmarks and Tiny-ImageNet-C show the superiority of our framework. The code is available at https://github.com/gaozhengqing/UniEnt


title: Weak colourings of Kirkman triple systems

abstract: A $\delta$-colouring of the point set of a block design is said to be {\em weak} if no block is monochromatic. The {\em weak chromatic number} $\chi(S)$ of a block design $S$ is the smallest integer $\delta$ such that $S$ has a weak $\delta$-colouring. It has previously been shown that any Steiner triple system has weak chromatic number at least $3$ and that for each $v\equiv 1$ or $3\pmod{6}$ there exists a Steiner triple system on $v$ points that has weak chromatic number $3$. Moreover, for each integer $\delta \geq 3$ there exist infinitely many Steiner triple systems with weak chromatic number $\delta$. We consider colourings of the subclass of Steiner triple systems which are resolvable. We show that for each $v\equiv 3\pmod{6}$ there exists a Kirkman triple system on $v$ points with weak chromatic number $3$. We also show that for each integer $\delta \geq 3$, there exist infinitely many Kirkman triple systems with weak chromatic number $\delta$. We close with several open problems.


title: Kernels of Perturbed Hankel Operators

abstract: In the classical Hardy space $H^2(\mathbb{D})$, it is well-known that the kernel of the Hankel operator is invariant under the action of shift operator S and sometimes nearly invariant under the action of backward shift operator $S^{*}$. It appears in this paper that kernels of finite rank perturbations of Hankel operators are almost shift invariant as well as nearly $S^*$- invariant with finite defect. This allows us to obtain a structure of the kernel in several important cases by applying a recent theorem due to Chalendar, Gallardo, and Partington.


title: The Voronoi Diagram of Weakly Smooth Planar Point Sets in $O(\log n)$ Deterministic Rounds on the Congested Clique

abstract: We study the problem of computing the Voronoi diagram of a set of $n^2$ points with $O(\log n)$-bit coordinates in the Euclidean plane in a substantially sublinear in $n$ number of rounds in the congested clique model with $n$ nodes. Recently, Jansson et al. have shown that if the points are uniformly at random distributed in a unit square then their Voronoi diagram within the square can be computed in $O(1)$ rounds with high probability (w.h.p.). We show that if a very weak smoothness condition is satisfied by an input set of $n^2$ points with $O(\log n)$-bit coordinates in the unit square then the Voronoi diagram of the point set within the unit square can be computed in $O(\log n)$ rounds in this model.


title: Fully Dynamic Matching and Ordered Ruzsa-Szemer\'edi Graphs

abstract: We study the fully dynamic maximum matching problem. In this problem, the goal is to efficiently maintain an approximate maximum matching of a graph that is subject to edge insertions and deletions. Our focus is particularly on algorithms that maintain the edges of a $(1-\epsilon)$-approximate maximum matching for an arbitrarily small constant $\epsilon > 0$. Until recently, the fastest known algorithm for this problem required $\Theta(n)$ time per update where $n$ is the number of vertices. This bound was slightly improved to $n/(\log^* n)^{\Omega(1)}$ by Assadi, Behnezhad, Khanna, and Li [STOC'23] and very recently to $n/2^{\Omega(\sqrt{\log n})}$ by Liu [ArXiv'24]. Whether this can be improved to $n^{1-\Omega(1)}$ remains a major open problem. In this paper, we present a new algorithm that maintains a $(1-\epsilon)$-approximate maximum matching. The update-time of our algorithm is parametrized based on the density of a certain class of graphs that we call Ordered Ruzsa-Szemer\'edi (ORS) graphs, a generalization of the well-known Ruzsa-Szemer\'edi graphs. While determining the density of ORS (or RS) remains a hard problem in combinatorics, we prove that if the existing constructions of ORS graphs are optimal, then our algorithm runs in $n^{1/2+O(\epsilon)}$ time for any fixed $\epsilon > 0$ which would be significantly faster than existing near-linear in $n$ time algorithms.


title: Complete Active Space Iterative Coupled Cluster Theory

abstract: In this work, we investigate the possibility of improving multireference-driven coupled cluster (CC) approaches with an algorithm that iteratively combines complete active space (CAS) calculations with tailored CC and externally corrected CC. This is accomplished by establishing a feedback loop between the CC and CAS parts of a calculation through similarity transformation of the Hamiltonian with those CC amplitudes that are not encompassed by the active space. We denote this approach the complete active space iterative coupled cluster (CASiCC) ansatz. We investigate its efficiency and accuracy in the singles and doubles approximation by studying the prototypical molecules H4, H8, H2O, and N2. Our results demonstrate that CASiCC systematically improves on the single-reference CCSD and the ecCCSD methods across entire potential energy curves, while retaining modest computational costs. However, the tailored coupled cluster method shows superior performance in the strong correlation regime suggesting that its accuracy is based on error compensation. We find that the iterative version of externally corrected and tailored coupled cluster methods converge to the same results.


title: Subfitness in distributive (semi)lattices

abstract: We investigate whether the set of subfit elements of a distributive semilattice is an ideal. This question was raised by the second author at the BLAST conference in 2022. We show that in general it has a negative solution, however if the semilattice is a lattice, then the solution is positive. This is somewhat unexpected since, as we show, a semilattice is subfit if and only if so is its distributive lattice envelope.


title: Transmit and Receive Antenna Port Selection for Channel Capacity Maximization in Fluid-MIMO Systems

abstract: In this letter, we study a discrete optimization problem, namely, the maximization of channel capacity in fluid multiple-input multiple-output (fluid-MIMO) systems through the selection of antenna ports/positions at the transmitter and the receiver. First, we present a new joint convex relaxation (JCR) problem by using an upper bound on the channel capacity and exploiting the binary nature of optimization variables. Then, we develop and analyze two optimization algorithms with different performance-complexity tradeoffs: the first is based on JCR and reduced exhaustive search (JCR&RES), while the second on JCR and alternating optimization (JCR&AO). Finally, numerical results show that the proposed algorithms significantly outperform two baseline schemes, the random port selection and the conventional MIMO setup.


title: A Knowledge Producer's View on the Knowledge Commons

abstract: Hardin introduced the notorious concept of "tragedy of the commons". Worrying about the consequences of human overpopulation on the planet, he discussed "hard problems": problems with no technical solutions, that can only be addressed by way of an evolving morality. Hardin's tragedy of the commons predicts that the hard problem of human population growth directly implies a hard problem of overuse or pollution of the commons. This paper focuses on the knowledge commons. A technical proposal is presented, based on a JSON schema for structuring pieces of knowledge. This is used to show that even if the knowledge commons satisfies the necessary conditions of the tragedy of the commons, the ensuing problems are not necessarily hard. Some can be made trivial by relying on traditional principles implemented in a technical framework.


title: The Effects of Splayed Lipid Molecules on Lubrication by Lipid Bilayers

abstract: The outstanding lubrication of articular cartilage in the major synovial joints such as hips and knees, essential for the joint well-being, has been attributed to boundary layers of lipids at the outer cartilage surfaces, which have very low friction mediated by the hydration lubrication mechanism at their highly hydrated exposed headgroups. However, the role of spontaneously present lipid splays, lipids with an acyl tail in each of the opposing bilayers, in modulating the frictional force between lipid bilayers has not, to date, been considered. In this study, we perform all-atom molecular dynamics simulations to quantitatively assess the significance of splayed molecules within the framework of lubricating lipid bilayers. We demonstrate that, although transient, splayed molecules significantly increase the inter-membrane friction until their retraction back into the lamellar phase, with this effect more steadily occurring at lower sliding velocities that are comparable to the physiological velocities of sliding articular cartilage.


title: LIPT: Latency-aware Image Processing Transformer

abstract: Transformer is leading a trend in the field of image processing. Despite the great success that existing lightweight image processing transformers have achieved, they are tailored to FLOPs or parameters reduction, rather than practical inference acceleration. In this paper, we present a latency-aware image processing transformer, termed LIPT. We devise the low-latency proportion LIPT block that substitutes memory-intensive operators with the combination of self-attention and convolutions to achieve practical speedup. Specifically, we propose a novel non-volatile sparse masking self-attention (NVSM-SA) that utilizes a pre-computing sparse mask to capture contextual information from a larger window with no extra computation overload. Besides, a high-frequency reparameterization module (HRM) is proposed to make LIPT block reparameterization friendly, which improves the model's detail reconstruction capability. Extensive experiments on multiple image processing tasks (e.g., image super-resolution (SR), JPEG artifact reduction, and image denoising) demonstrate the superiority of LIPT on both latency and PSNR. LIPT achieves real-time GPU inference with state-of-the-art performance on multiple image SR benchmarks.


title: Image and Video Compression using Generative Sparse Representation with Fidelity Controls

abstract: We propose a framework for learned image and video compression using the generative sparse visual representation (SVR) guided by fidelity-preserving controls. By embedding inputs into a discrete latent space spanned by learned visual codebooks, SVR-based compression transmits integer codeword indices, which is efficient and cross-platform robust. However, high-quality (HQ) reconstruction in the decoder relies on intermediate feature inputs from the encoder via direct connections. Due to the prohibitively high transmission costs, previous SVR-based compression methods remove such feature links, resulting in largely degraded reconstruction quality. In this work, we treat the intermediate features as fidelity-preserving control signals that guide the conditioned generative reconstruction in the decoder. Instead of discarding or directly transferring such signals, we draw them from a low-quality (LQ) fidelity-preserving alternative input that is sent to the decoder with very low bitrate. These control signals provide complementary fidelity cues to improve reconstruction, and their quality is determined by the compression rate of the LQ alternative, which can be tuned to trade off bitrate, fidelity and perceptual quality. Our framework can be conveniently used for both learned image compression (LIC) and learned video compression (LVC). Since SVR is robust against input perturbations, a large portion of codeword indices between adjacent frames can be the same. By only transferring different indices, SVR-based LIC and LVC can share a similar processing pipeline. Experiments over standard image and video compression benchmarks demonstrate the effectiveness of our approach.


title: Is Your AI Truly Yours? Leveraging Blockchain for Copyrights, Provenance, and Lineage

abstract: As Artificial Intelligence (AI) integrates into diverse areas, particularly in content generation, ensuring rightful ownership and ethical use becomes paramount. AI service providers are expected to prioritize responsibly sourcing training data and obtaining licenses from data owners. However, existing studies primarily center on safeguarding static copyrights, which simply treats metadata/datasets as non-fungible items with transferable/trading capabilities, neglecting the dynamic nature of training procedures that can shape an ongoing trajectory. In this paper, we present \textsc{IBis}, a blockchain-based framework tailored for AI model training workflows. \textsc{IBis} integrates on-chain registries for datasets, licenses and models, alongside off-chain signing services to facilitate collaboration among multiple participants. Our framework addresses concerns regarding data and model provenance and copyright compliance. \textsc{IBis} enables iterative model retraining and fine-tuning, and offers flexible license checks and renewals. Further, \textsc{IBis} provides APIs designed for seamless integration with existing contract management software, minimizing disruptions to established model training processes. We implement \textsc{IBis} using Daml on the Canton blockchain. Evaluation results showcase the feasibility and scalability of \textsc{IBis} across varying numbers of users, datasets, models, and licenses.


abstract: Traditional recommender systems heavily rely on ID features, which often encounter challenges related to cold-start and generalization. Modeling pre-extracted content features can mitigate these issues, but is still a suboptimal solution due to the discrepancies between training tasks and model parameters. End-to-end training presents a promising solution for these problems, yet most of the existing works mainly focus on retrieval models, leaving the multimodal techniques under-utilized. In this paper, we propose an industrial multimodal recommendation framework named EM3: End-to-end training of Multimodal Model and ranking Model, which sufficiently utilizes multimodal information and allows personalized ranking tasks to directly train the core modules in the multimodal model to obtain more task-oriented content features, without overburdening resource consumption. First, we propose Fusion-Q-Former, which consists of transformers and a set of trainable queries, to fuse different modalities and generate fixed-length and robust multimodal embeddings. Second, in our sequential modeling for user content interest, we utilize Low-Rank Adaptation technique to alleviate the conflict between huge resource consumption and long sequence length. Third, we propose a novel Content-ID-Contrastive learning task to complement the advantages of content and ID by aligning them with each other, obtaining more task-oriented content embeddings and more generalized ID embeddings. In experiments, we implement EM3 on different ranking models in two scenario, achieving significant improvements in both offline evaluation and online A/B test, verifying the generalizability of our method. Ablation studies and visualization are also performed. Furthermore, we also conduct experiments on two public datasets to show that our proposed method outperforms the state-of-the-art methods.


title: The X-LANCE Technical Report for Interspeech 2024 Speech Processing Using Discrete Speech Unit Challenge

abstract: Discrete speech tokens have been more and more popular in multiple speech processing fields, including automatic speech recognition (ASR), text-to-speech (TTS) and singing voice synthesis (SVS). In this paper, we describe the systems developed by the SJTU X-LANCE group for the TTS (acoustic + vocoder), SVS, and ASR tracks in the Interspeech 2024 Speech Processing Using Discrete Speech Unit Challenge. Notably, we achieved 1st rank on the leaderboard in the TTS track both with the whole training set and only 1h training data, with the highest UTMOS score and lowest bitrate among all submissions.


title: Using Few-Shot Learning to Classify Primary Lung Cancer and Other Malignancy with Lung Metastasis in Cytological Imaging via Endobronchial Ultrasound Procedures

abstract: This study aims to establish a computer-aided diagnosis system for endobronchial ultrasound (EBUS) surgery to assist physicians in the preliminary diagnosis of metastatic cancer. This involves arranging immediate examinations for other sites of metastatic cancer after EBUS surgery, eliminating the need to wait for reports, thereby shortening the waiting time by more than half and enabling patients to detect other cancers earlier, allowing for early planning and implementation of treatment plans. Unlike previous studies on cell image classification, which have abundant datasets for training, this study must also be able to make effective classifications despite the limited amount of case data for lung metastatic cancer. In the realm of small data set classification methods, Few-shot learning (FSL) has become mainstream in recent years. Through its ability to train on small datasets and its strong generalization capabilities, FSL shows potential in this task of lung metastatic cell image classification. This study will adopt the approach of Few-shot learning, referencing existing proposed models, and designing a model architecture for classifying lung metastases cell images. Batch Spectral Regularization (BSR) will be incorporated as a loss update parameter, and the Finetune method of PMF will be modified. In terms of test results, the addition of BSR and the modified Finetune method further increases the accuracy by 8.89% to 65.60%, outperforming other FSL methods. This study confirms that FSL is superior to supervised and transfer learning in classifying metastatic cancer and demonstrates that using BSR as a loss function and modifying Finetune can enhance the model's capabilities.


title: Energetic bounds on gyrokinetic instabilities. Part 4. Bounce-averaged electrons

abstract: Upper bounds on the growth of instabilities in gyrokinetic systems have recently been derived by considering the optimal perturbations that maximise the growth of a chosen energy norm. This technique has previously been applied to two-species gyrokinetic systems with fully kinetic ions and electrons. However, in tokamaks and stellarators, the expectation from linear instability analyses is that the most important kinetic-electron contribution to ion-scale modes comes from the trapped electrons, which bounce faster than the timescale upon which instabilities evolve. As a result, a fully-kinetic electron response is not required to describe unstable modes in most cases. Here, we apply the optimal mode analysis to a reduced two-species system that consists of fully gyrokinetic ions and bounce-averaged electrons with the aim of finding a tighter bound on ion-scale instabilities in toroidal geometry. This analysis yields bounds that are greatly reduced in comparison to the earlier two-species result. Moreover, if the energy norm is properly chosen, wave-particle resonance effects can be captured, reproducing the stabilisation of density-gradient-driven instabilities in maximum-$J$ devices. The optimal mode analysis also reveals that the maximum-$J$ property has an additional stabilising effect on ion-temperature-gradient-driven instabilities, even in the absence of an electron-free energy source. This effect is explained in terms of the concept of mode inertia, making it distinct from other mechanisms.


title: A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs

abstract: Although the context length limitation of large language models (LLMs) has been mitigated, it still hinders their application to software development tasks. This study proposes a method incorporating execution traces into RAG for inquiries about source code. Small-scale experiments confirm a tendency for the method to contribute to improving LLM response quality.


title: Telecom wavelength single-photon source based on InGaSb/AlGaSb quantum dot technology

abstract: Deterministic light sources capable of generating quantum states on-demand at wavelengths compatible with fiber optics and atmospheric transmission are essential for practical applications in quantum communication, photonic quantum computing, and quantum metrology. To this end, single-photon emission at 1500 nm is demonstrated from an InGaSb quantum dot (QD) grown by filling droplet-etched nanoholes for the first time. The QD was embedded in a device structure comprising an antimony-based high refractive index contrast back-reflector designed for cryogenic operation and a solid immersion lens for improved photon extraction. The longitudinal optical (LO) phonon assisted excitation of the QD ground state and quasi-resonant excitation of the QD excited state is realized with a novel compact wavelength-tunable power-stabilized semiconductor laser. These direct approaches to exciting a single QD unlock access to its excitonic fine structure. The neutral exciton-biexciton structure exhibits a negative binding energy of 1.4 meV (2.6 nm) and a fine structure splitting of 24.1+/-0.4 ueV. Furthermore, spectrally pure/isolated emission from a charged single exciton state with a single-photon purity of 95 % is achieved with LO phonon assisted two-color excitation. These results represent a major step forward for the use of the novel antimonide-based QD emitters as deterministic quantum light sources in complex quantum secure networks exploiting the wavelength compatibility with standard telecom fibers.


title: Using a coupled optical and electrical monitoring method to follow the R-HiPIMS TiO$_2$ deposition process drifts

abstract: In this work, coupled optical and electrical discharge measurements have been implemented to investigate the plasma state of a reactive HiPIMS TiO$_2$ deposition process running at a fixed duty cycle of 2% and at a repetition rate of 1 kHz. Investigations focus on both the effect of the erosion target and substrate-holder temperature in an Ar/O$_2$ gas mixture at fixed working pressure. First, as the racetrack shape evolves with the use of the target, the deposition rate is modified, in the same way as the emission intensity measured. Second, with the heater set at 400 $^\circ$C in pure Ar, the coating appears thinner, and the optical emission spectroscopy measurement reveals the presence of oxygen atoms. Thus, the results from the coupled optical and electrical measurements are sensitive enough to track potential drift of the process.


title: On the stability of the Abrikosov lattice in the Lowest Landau Level

abstract: We study the Lowest Landau Level equation set on simply and doubly-periodic domains (in other words, rectangles and strips with appropriate boundary conditions). To begin with, we study well-posedness and establish the existence of stationary solutions. Then we investigate the linear stability of the lattice solution and prove it is stable for the (hexagonal) Abrikosov lattice, but unstable for rectangular lattices.


title: Probing Berry phase effect in topological surface states

abstract: We have observed the Berry phase effect associated with interband coherence in topological surface states (TSSs) using two-color high-harmonic spectroscopy. This Berry phase accumulates along the evolution path of strong field-driven election-hole quasiparticles in electronic bands with strong spin-orbit coupling. By introducing a secondary weak field, we perturb the evolution of Dirac fermions in TSSs and thus provide access to the Berry phase. We observe a significant shift in the oscillation phase of the even-order harmonics from the spectral interferogram. We reveal that such a modulation feature is linked to the geometric phase acquired in the nonperturbative dynamics of TSSs. Furthermore, we show that the overwhelming Berry phase effect can significantly deform the quantum paths of electron-hole pairs, thus enhancing the ability to harness electron spin using lightwaves in quantum materials with strong spin-orbit interactions.


title: The Overlap Gap Property limits limit swapping in QAOA

abstract: The Quantum Approximate Optimization Algorithm (QAOA) is a quantum algorithm designed for Combinatorial Optimization Problem (COP). We show that if a COP with an underlying Erd\"os--R\'enyi hypergraph exhibits the Overlap Gap Property (OGP), then a random regular hypergraph exhibits it as well. Given that Max-$q$-XORSAT on an Erd\"os--R\'enyi hypergraph is known to exhibit the OGP, and since the performance of QAOA for the pure $q$-spin model matches asymptotically for Max-$q$-XORSAT on large-girth regular hypergraph, we show that the average-case value obtained by QAOA for the pure $q$-spin model for even $q\ge 4$ is bounded away from optimality even when the algorithm runs indefinitely. This suggests that a necessary condition for the validity of limit swapping in QAOA is the absence of OGP in a given combinatorial optimization problem. Furthermore, the results suggests that even when sub-optimised, the performance of QAOA on spin glass is equal in performance to classical algorithms in solving the mean field spin glass problem providing further evidence that the conjecture of getting the exact solution under limit swapping for the Sherrington--Kirkpatrick model to be true.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cs.DS


title: Binary Cyclic Transversal Polytopes

abstract: With every family of finitely many subsets of a finite-dimensional vector space over the Galois-field with two elements we associate a cyclic transversal polytope. It turns out that those polytopes generalize several well-known polytopes that are relevant in combinatorial optimization, among them cut polytopes as well as stable set and matching polytopes. We introduce the class of lifted odd-set inequalities and prove results demonstrating their strength. In particular, we show that they suffice to describe cyclic transversal polytopes if the union of the sets in the family has rank at most two. We also describe extended formulations for cyclic transversal polytopes and introduce a special relaxation hierarchy for them.


title: EVE: Enabling Anyone to Train Robots using Augmented Reality

abstract: The increasing affordability of robot hardware is accelerating the integration of robots into everyday activities. However, training robots to automate tasks typically requires physical robots and expensive demonstration data from trained human annotators. Consequently, only those with access to physical robots produce demonstrations to train robots. To mitigate this issue, we introduce EVE, an iOS app that enables everyday users to train robots using intuitive augmented reality visualizations without needing a physical robot. With EVE, users can collect demonstrations by specifying waypoints with their hands, visually inspecting the environment for obstacles, modifying existing waypoints, and verifying collected trajectories. In a user study ($N=14$, $D=30$) consisting of three common tabletop tasks, EVE outperformed three state-of-the-art interfaces in success rate and was comparable to kinesthetic teaching-physically moving a real robot-in completion time, usability, motion intent communication, enjoyment, and preference ($mean_{p}=0.30$). We conclude by enumerating limitations and design considerations for future AR-based demonstration collection systems for robotics.


title: Fair Graph Neural Network with Supervised Contrastive Regularization

abstract: In recent years, Graph Neural Networks (GNNs) have made significant advancements, particularly in tasks such as node classification, link prediction, and graph representation. However, challenges arise from biases that can be hidden not only in the node attributes but also in the connections between entities. Therefore, ensuring fairness in graph neural network learning has become a critical problem. To address this issue, we propose a novel model for training fairness-aware GNN, which enhances the Counterfactual Augmented Fair Graph Neural Network Framework (CAF). Our approach integrates Supervised Contrastive Loss and Environmental Loss to enhance both accuracy and fairness. Experimental validation on three real datasets demonstrates the superiority of our proposed model over CAF and several other existing graph-based learning methods.


title: Hash3D: Training-free Acceleration for 3D Generation

abstract: The evolution of 3D generative modeling has been notably propelled by the adoption of 2D diffusion models. Despite this progress, the cumbersome optimization process per se presents a critical hurdle to efficiency. In this paper, we introduce Hash3D, a universal acceleration for 3D generation without model training. Central to Hash3D is the insight that feature-map redundancy is prevalent in images rendered from camera positions and diffusion time-steps in close proximity. By effectively hashing and reusing these feature maps across neighboring timesteps and camera angles, Hash3D substantially prevents redundant calculations, thus accelerating the diffusion model's inference in 3D generation tasks. We achieve this through an adaptive grid-based hashing. Surprisingly, this feature-sharing mechanism not only speed up the generation but also enhances the smoothness and view consistency of the synthesized 3D objects. Our experiments covering 5 text-to-3D and 3 image-to-3D models, demonstrate Hash3D's versatility to speed up optimization, enhancing efficiency by 1.3 to 4 times. Additionally, Hash3D's integration with 3D Gaussian splatting largely speeds up 3D model creation, reducing text-to-3D processing to about 10 minutes and image-to-3D conversion to roughly 30 seconds. The project page is at https://adamdad.github.io/hash3D/.


title: Analytic thermodynamic properties of the Lieb-Liniger gas

abstract: We present a comprehensive review on the state-of-the-art of the approximate analytic approaches describing the finite-temperature thermodynamic quantities of the Lieb-Liniger model of the one-dimensional (1D) Bose gas with contact repulsive interactions. This paradigmatic model of quantum many-body-theory plays an important role in many areas of physics -- thanks to its integrability and possible experimental realization using, e.g., ensembles of ultracold bosonic atoms confined to quasi-1D geometries. The thermodynamics of the uniform Lieb-Liniger gas can be obtained numerically using the exact thermal Bethe ansatz (TBA) method, first derived in 1969 by Yang and Yang. However, the TBA numerical calculations do not allow for the in-depth understanding of the underlying physical mechanisms that govern the thermodynamic behavior of the Lieb-Liniger gas at finite temperature. Our work is then motivated by the insights that emerge naturally from the transparency of closed-form analytic results, which are derived here in six different regimes of the gas and which exhibit an excellent agreement with the TBA numerics. Our findings can be further adopted for characterising the equilibrium properties of inhomogeneous (e.g., harmonically trapped) 1D Bose gases within the local density approximation and for the development of improved hydrodynamic theories, allowing for the calculation of breathing mode frequencies which depend on the underlying thermodynamic equation of state. Our analytic approaches can be applied to other systems including impurities in a quantum bath, liquid helium-4, and ultracold Bose gas mixtures.


title: Supervised Contamination Detection, with Flow Cytometry Application

abstract: The contamination detection problem aims to determine whether a set of observations has been contaminated, i.e. whether it contains points drawn from a distribution different from the reference distribution. Here, we consider a supervised problem, where labeled samples drawn from both the reference distribution and the contamination distribution are available at training time. This problem is motivated by the detection of rare cells in flow cytometry. Compared to novelty detection problems or two-sample testing, where only samples from the reference distribution are available, the challenge lies in efficiently leveraging the observations from the contamination detection to design more powerful tests. In this article, we introduce a test for the supervised contamination detection problem. We provide non-asymptotic guarantees on its Type I error, and characterize its detection rate. The test relies on estimating reference and contamination densities using histograms, and its power depends strongly on the choice of the corresponding partition. We present an algorithm for judiciously choosing the partition that results in a powerful test. Simulations illustrate the good empirical performances of our partition selection algorithm and the efficiency of our test. Finally, we showcase our method and apply it to a real flow cytometry dataset.


title: S-box Security Analysis of NIST Lightweight Cryptography Candidates: A Critical Empirical Study

abstract: In the resource-constrained world of the digital landscape, lightweight cryptography plays a critical role in safeguarding information and ensuring the security of various systems, devices, and communication channels. Its efficient and resource-friendly nature makes it the ideal solution for applications where computational power is limited. In response to the growing need for platform-specific implementations, NIST issued a call for standardization of Lightweight cryptography algorithms in 2018. Ascon emerged as the winner of this competition. NIST initially established general evaluation criteria for a standard lightweight scheme including security strength, mitigation against side-channel and fault-injection attacks, and implementation efficiency. To verify the security claims, evaluating the individual components used in any cryptographic algorithm is a crucial step. The quality of a substitution box (S-box) significantly impacts the overall security of a cryptographic primitive. This paper analyzes the S-boxes of six finalists in the NIST Lightweight Cryptography (LWC) standardization process. We evaluate them based on well-established cryptographic properties. Our analysis explores how these properties influence the S-boxes' resistance against known cryptanalytic attacks and potential implementation-specific vulnerabilities, thus reflecting on their compliance with NIST's security requirements.


title: Masked Modeling Duo: Towards a Universal Audio Pre-training Framework

abstract: Self-supervised learning (SSL) using masked prediction has made great strides in general-purpose audio representation. This study proposes Masked Modeling Duo (M2D), an improved masked prediction SSL, which learns by predicting representations of masked input signals that serve as training signals. Unlike conventional methods, M2D obtains a training signal by encoding only the masked part, encouraging the two networks in M2D to model the input. While M2D improves general-purpose audio representations, a specialized representation is essential for real-world applications, such as in industrial and medical domains. The often confidential and proprietary data in such domains is typically limited in size and has a different distribution from that in pre-training datasets. Therefore, we propose M2D for X (M2D-X), which extends M2D to enable the pre-training of specialized representations for an application X. M2D-X learns from M2D and an additional task and inputs background noise. We make the additional task configurable to serve diverse applications, while the background noise helps learn on small data and forms a denoising task that makes representation robust. With these design choices, M2D-X should learn a representation specialized to serve various application needs. Our experiments confirmed that the representations for general-purpose audio, specialized for the highly competitive AudioSet and speech domain, and a small-data medical task achieve top-level performance, demonstrating the potential of using our models as a universal audio pre-training framework. Our code is available online for future studies at https://github.com/nttcslab/m2d


title: Higgs Alignment from Multicritical-Point Principle in Two Higgs Doublet Models

abstract: In models with non-minimal Higgs sectors, enforcing (near) Higgs alignment, necessary to prevent significant deviations in the Higgs boson coupling from the standard model prediction, causes a serious fine-tuning problem. We demonstrate that the Higgs alignment is naturally deduced from the multicritical point principle (MPP) in the general two Higgs doublet model. Furthermore, we discuss the possibility of realizing the Yukawa alignment from the MPP, which is necessary to prevent flavor-changing neutral currents mediated by Higgs bosons at tree level.


title: Hydrostatic pressure control of the spin-orbit proximity effect and spin relaxation in a phosphorene-WSe$_2$ heterostructure

abstract: Effective control of interlayer interactions is a key element in modifying the properties of van der Waals heterostructures and the next step toward their practical applications. Focusing on the phosphorene-WSe$_2$ heterostructure, we demonstrate, using first-principles calculations, how the spin-orbit coupling can be transferred from WSe$_2$, a strong spin-orbit coupling material, to phosphorene and further amplified by applying vertical pressure. We simulate external pressure by changing the interlayer distance between bilayer constituents and show that it is possible to tune the spin-orbit field of phosphorene holes in a controllable way. By fitting effective electronic states of the proposed Hamiltonian to the first principles data, we reveal that the spin-orbit coupling in phosphorene hole bands is enhanced more than two times for experimentally accessible pressures up to 17 kbar. Finally, we find that the pressure-enhanced spin-orbit coupling boosts the Dyakonov-Perel spin relaxation mechanism, reducing the spin lifetime of phosphorene holes by factor 4.


title: Weak lensing combined with the kinetic Sunyaev Zel'dovich effect: A study of baryonic feedback

abstract: Extracting precise cosmology from weak lensing surveys requires modelling the non-linear matter power spectrum, which is suppressed at small scales due to baryonic feedback processes. However, hydrodynamical galaxy formation simulations make widely varying predictions for the amplitude and extent of this effect. We use measurements of Dark Energy Survey Year 3 weak lensing (WL) and Atacama Cosmology Telescope DR5 kinematic Sunyaev-Zel'dovich (kSZ) to jointly constrain cosmological and astrophysical baryonic feedback parameters using a flexible analytical model, `baryonification'. First, using WL only, we compare the $S_8$ constraints using baryonification to a simulation-calibrated halo model, a simulation-based emulator model and the approach of discarding WL measurements on small angular scales. We find that model flexibility can shift the value of $S_8$ and degrade the uncertainty. The kSZ provides additional constraints on the astrophysical parameters and shifts $S_8$ to $S_8=0.823^{+0.019}_{-0.020}$, a higher value than attained using the WL-only analysis. We measure the suppression of the non-linear matter power spectrum using WL + kSZ and constrain a mean feedback scenario that is more extreme than the predictions from most hydrodynamical simulations. We constrain the baryon fractions and the gas mass fractions and find them to be generally lower than inferred from X-ray observations and simulation predictions. We conclude that the WL + kSZ measurements provide a new and complementary benchmark for building a coherent picture of the impact of gas around galaxies across observations.


title: The majorant method for the fermionic effective action

abstract: We revisit the problem of controlling Polchinski's equation by the solution of an associate Hamilton-Jacobi equation which determines a norm majorant for the fermionic effective action. This method, referred to as the Majorant Method, was first introduced by D. Brydges and J. Wright in 1988, but its original formulation contains a gap which has never been addressed. We overcome this gap and show that the majorant equation and its existence condition are analogous to the ones originally obtained by Brydges and Wright. As an application of the method, we investigate systems with quartic perturbations.


title: Ginzburg-Landau description for multicritical Yang-Lee models

abstract: We revisit and extend Fisher's argument for a Ginzburg-Landau description of multicritical Yang-Lee models in terms of a single boson Lagrangian with potential $\varphi^2 (i \varphi)^n$. We explicitly study the cases of $n=1,2$ by a Truncated Hamiltonian Approach based on the free massive boson perturbed by $\boldsymbol P\boldsymbol T$ symmetric deformations, providing clear evidence of the spontaneous breaking of $\boldsymbol P \boldsymbol T$ symmetry. For $n=1$, the symmetric and the broken phases are separated by the critical point corresponding to the minimal model $\mathcal M(2,5)$, while for $n=2$, they are separated by a critical manifold corresponding to the minimal model $\mathcal M(2,5)$ with $\mathcal M(2,7)$ on its boundary. Our numerical analysis strongly supports our Ginzburg-Landau descriptions for multicritical Yang-Lee models.


title: Making Old Kurdish Publications Processable by Augmenting Available Optical Character Recognition Engines

abstract: Kurdish libraries have many historical publications that were printed back in the early days when printing devices were brought to Kurdistan. Having a good Optical Character Recognition (OCR) to help process these publications and contribute to the Kurdish languages resources which is crucial as Kurdish is considered a low-resource language. Current OCR systems are unable to extract text from historical documents as they have many issues, including being damaged, very fragile, having many marks left on them, and often written in non-standard fonts and more. This is a massive obstacle in processing these documents as currently processing them requires manual typing which is very time-consuming. In this study, we adopt an open-source OCR framework by Google, Tesseract version 5.0, that has been used to extract text for various languages. Currently, there is no public dataset, and we developed our own by collecting historical documents from Zheen Center for Documentation and Research, which were printed before 1950 and resulted in a dataset of 1233 images of lines with transcription of each. Then we used the Arabic model as our base model and trained the model using the dataset. We used different methods to evaluate our model, Tesseracts built-in evaluator lstmeval indicated a Character Error Rate (CER) of 0.755%. Additionally, Ocreval demonstrated an average character accuracy of 84.02%. Finally, we developed a web application to provide an easy- to-use interface for end-users, allowing them to interact with the model by inputting an image of a page and extracting the text. Having an extensive dataset is crucial to develop OCR systems with reasonable accuracy, as currently, no public datasets are available for historical Kurdish documents; this posed a significant challenge in our work. Additionally, the unaligned spaces between characters and words proved another challenge with our work.


title: Estimating the lateral speed of a fast shock driven by a coronal mass ejection at the location of solar radio emissions

abstract: Fast coronal mass ejections (CMEs) can drive shock waves capable of accelerating electrons to high energies. These shock-accelerated electrons act as sources of electromagnetic radiation, often in the form of solar radio bursts. Recent findings suggest that radio imaging of solar radio bursts can provide a means to estimate the lateral expansion of CMEs and associated shocks in the low corona. Our aim is to estimate the expansion speed of a CME-driven shock at the locations of radio emission using 3D reconstructions of the shock wave from multiple viewpoints. We estimated the 3D location of radio emission using radio imaging from the Nan\c{c}ay Radioheliograph and the 3D location of the shock. The 3D shock was reconstructed using white-light and extreme ultraviolet images of the CME from the Solar Terrestrial Relations Observatory, Solar Dynamics Observatory, and the Solar and Heliospheric Observatory. The lateral expansion speed of the CME-driven shock at the electron acceleration locations was then estimated using the approximate 3D locations of the radio emission on the surface of the shock. The radio bursts associated with the CME were found to reside at the flank of the expanding CME-driven shock. We identified two prominent radio sources at two different locations and found that the lateral speed of the shock was in the range of $800-1000\,\mathrm{km\,s^{-1}}$ at these locations. Such a high speed during the early stages of the eruption already indicates the presence of a fast shock in the low corona. We also found a larger ratio between the radial and lateral expansion speed compared to values obtained higher up in the corona. The high shock speed obtained is indicative of a fast acceleration during the initial stage of the eruption. This acceleration is most likely one of the key parameters contributing to the presence of metric radio emissions, such as type II radio bursts.


title: Exploring Diverse Sounds: Identifying Outliers in a Music Corpus

abstract: Existing research on music recommendation systems primarily focuses on recommending similar music, thereby often neglecting diverse and distinctive musical recordings. Musical outliers can provide valuable insights due to the inherent diversity of music itself. In this paper, we explore music outliers, investigating their potential usefulness for music discovery and recommendation systems. We argue that not all outliers should be treated as noise, as they can offer interesting perspectives and contribute to a richer understanding of an artist's work. We introduce the concept of 'Genuine' music outliers and provide a definition for them. These genuine outliers can reveal unique aspects of an artist's repertoire and hold the potential to enhance music discovery by exposing listeners to novel and diverse musical experiences.


title: A singular Riemannian Geometry Approach to Deep Neural Networks III. Piecewise Differentiable Layers and Random Walks on $n$-dimensional Classes

abstract: Neural networks are playing a crucial role in everyday life, with the most modern generative models able to achieve impressive results. Nonetheless, their functioning is still not very clear, and several strategies have been adopted to study how and why these model reach their outputs. A common approach is to consider the data in an Euclidean settings: recent years has witnessed instead a shift from this paradigm, moving thus to more general framework, namely Riemannian Geometry. Two recent works introduced a geometric framework to study neural networks making use of singular Riemannian metrics. In this paper we extend these results to convolutional, residual and recursive neural networks, studying also the case of non-differentiable activation functions, such as ReLU. We illustrate our findings with some numerical experiments on classification of images and thermodynamic problems.


title: Bicolored point sets admitting non-crossing alternating Hamiltonian paths

abstract: Consider a bicolored point set $P$ in general position in the plane consisting of $n$ blue and $n$ red points. We show that if a subset of the red points forms the vertices of a convex polygon separating the blue points, lying inside the polygon, from the remaining red points, lying outside the polygon, then the points of $P$ can be connected by non-crossing straight-line segments so that the resulting graph is a properly colored closed Hamiltonian path.


title: Unifying Low Dimensional Observations in Deep Learning Through the Deep Linear Unconstrained Feature Model

abstract: Modern deep neural networks have achieved high performance across various tasks. Recently, researchers have noted occurrences of low-dimensional structure in the weights, Hessian's, gradients, and feature vectors of these networks, spanning different datasets and architectures when trained to convergence. In this analysis, we theoretically demonstrate these observations arising, and show how they can be unified within a generalized unconstrained feature model that can be considered analytically. Specifically, we consider a previously described structure called Neural Collapse, and its multi-layer counterpart, Deep Neural Collapse, which emerges when the network approaches global optima. This phenomenon explains the other observed low-dimensional behaviours on a layer-wise level, such as the bulk and outlier structure seen in Hessian spectra, and the alignment of gradient descent with the outlier eigenspace of the Hessian. Empirical results in both the deep linear unconstrained feature model and its non-linear equivalent support these predicted observations.


title: Exploring the Necessity of Visual Modality in Multimodal Machine Translation using Authentic Datasets

abstract: Recent research in the field of multimodal machine translation (MMT) has indicated that the visual modality is either dispensable or offers only marginal advantages. However, most of these conclusions are drawn from the analysis of experimental results based on a limited set of bilingual sentence-image pairs, such as Multi30k. In these kinds of datasets, the content of one bilingual parallel sentence pair must be well represented by a manually annotated image, which is different from the real-world translation scenario. In this work, we adhere to the universal multimodal machine translation framework proposed by Tang et al. (2022). This approach allows us to delve into the impact of the visual modality on translation efficacy by leveraging real-world translation datasets. Through a comprehensive exploration via probing tasks, we find that the visual modality proves advantageous for the majority of authentic translation datasets. Notably, the translation performance primarily hinges on the alignment and coherence between textual and visual contents. Furthermore, our results suggest that visual information serves a supplementary role in multimodal translation and can be substituted.


title: Symmetry-guided gradient descent for quantum neural networks

abstract: Many supervised learning tasks have intrinsic symmetries, such as translational and rotational symmetry in image classifications. These symmetries can be exploited to enhance performance. We formulate the symmetry constraints into a concise mathematical form. We design two ways to adopt the constraints into the cost function, thereby shaping the cost landscape in favour of parameter choices which respect the given symmetry. Unlike methods that alter the neural network circuit ansatz to impose symmetry, our method only changes the classical post-processing of gradient descent, which is simpler to implement. We call the method symmetry-guided gradient descent (SGGD). We illustrate SGGD in entanglement classification of Werner states and in a binary classification task in a 2-D feature space. In both cases, the results show that SGGD can accelerate the training, improve the generalization ability, and remove vanishing gradients, especially when the training data is biased.


title: Revising Densification in Gaussian Splatting

abstract: In this paper, we address the limitations of Adaptive Density Control (ADC) in 3D Gaussian Splatting (3DGS), a scene representation method achieving high-quality, photorealistic results for novel view synthesis. ADC has been introduced for automatic 3D point primitive management, controlling densification and pruning, however, with certain limitations in the densification logic. Our main contribution is a more principled, pixel-error driven formulation for density control in 3DGS, leveraging an auxiliary, per-pixel error function as the criterion for densification. We further introduce a mechanism to control the total number of primitives generated per scene and correct a bias in the current opacity handling strategy of ADC during cloning operations. Our approach leads to consistent quality improvements across a variety of benchmark scenes, without sacrificing the method's efficiency.


title: Generalized Positive Energy Representations of the Group of Compactly Supported Diffeomorphisms

abstract: Motivated by asymptotic symmetry groups in general relativity, we consider projective unitary representations $(\overline{\rho}, \mathcal{H})$ of the Lie group $\mathrm{Diff}_c(M)$ of compactly supported diffeomorphisms of a smooth manifold $M$ that satisfy a so-called generalized positive energy condition. In particular, this captures representations that are in a suitable sense compatible with a KMS state on the von Neumann algebra generated by $\overline{\rho}$. We show that if $M$ is connected and $\dim(M) > 1$, then any such representation is necessarily trivial on the identity component $\mathrm{Diff}_c(M)_0$. As an intermediate step towards this result, we determine the continuous second Lie algebra cohomology $H^2_{\mathrm{ct}}(\mathcal{X}_c(M), \mathbb{R})$ of the Lie algebra of compactly supported vector fields (which is subtly different from Gelfand--Fuks cohomology).


title: A statistical model to identify excess mortality in Italy in the period 2011-2022

abstract: Excess mortality is defined as an increase in the number of deaths above what is expected based on historical trends, hereafter called baseline. In a previous paper, we introduced a statistical method that allows an unbiased and robust determination of the baseline to be used for the computation of excesses. A good determination of the baseline allows us to efficiently evaluate the excess of casualties that occurred in Italy in the last 12 years and in particular in the last 3 years due to the Coronavirus Disease 2019 (COVID-19) epidemic. To this extent, we have analyzed the data on mortality in Italy in the period January 1st 2011 to December 31th 2022, provided by the Italian National Institute of Statistics (ISTAT). The dataset contains information on deaths for all possible causes, without specific reference to any particular one. The data exhibit strikingly evident periodicity in the number of deaths with pronounced maxima in the winter and minima in the summer, repeating itself in amplitude along the whole twelve-year sample. Superimposed on this wave-like structure are often present excesses of casualties, most likely due to occasional causes of death such as the flu epidemics (in winter) and heat waves (in summer). The very accurate periodicity along the seasons (the "baseline"), allows us to determine with great accuracy and confidence the number of expected deaths for each day of the year in the absence of occasional contributions. Each of the latter can be modeled with an additional function that parameterizes the deviation from the baseline.


title: Maximum Nim and Josephus Problem algorithm

abstract: In this study, we study a Josephus problem algorithm. Let $n,k$ be positive integers and $g_k(n) = \left\lfloor \frac{n}{k-1} \right\rfloor +1$, where $ \left\lfloor \ \ \right\rfloor$ is a floor function. Suppose that there exists $p$ such that $g_{k}^{p-1}(0) < n(k-1) \leq g_{k}^{p}(0)$, where $g_{k}^p$ is the $p$-th functional power of $g_k$. Then, the last number that remains is $nk-h2_{k}^{p}(0)$ in the Josephus problem of $n$ numbers, where every $k$-th numbers are removed. This algorithm is based on Maximum Nim with the rule function $f_k(n)=\left\lfloor \frac{n}{k} \right\rfloor$. Using the present article's result, we can build a new algorithm for Josephus problem.