title: Performance of H-Matrix-Vector Multiplication with Floating Point Compression

abstract: Matrix-vector multiplication forms the basis of many iterative solution algorithms and as such is an important algorithm also for hierarchical matrices. However, due to its low computational intensity, its performance is typically limited by the available memory bandwidth. By optimizing the storage representation of the data within such matrices, this limitation can be lifted and the performance increased. This applies not only to hierarchical matrices but for also for other low-rank approximation schemes, e.g. block low-rank matrices.


title: Calibration of Uncertainties of the Gaia DR3 Catalog Based on Data on Wide Binary Stars of the Galaxy Field

abstract: The catalog of wide binary stars by El-Badry et al. (2021) [arXiv:2101.05282], created on the basis of Gaia EDR3 data and including more than a million pairs, was used to analyze Gaia DR3 data obtained independently for their components. By comparison with the model distribution, it is shown that the catalog contains approximately 2.5 times fewer binary stars than would be expected in the absence of spatial incompleteness. It is confirmed that the radius of spatial completeness of the catalog is on average close to 200 pc and depends on the absolute magnitude of the main component. The spatial density of binary stars in the catalog depends weakly on the difference in the magnitudes of the components, and significantly depends on the physical distance between the components. A high correlation between the degree of agreement between the characteristics and the reliability of the pair was found for radial velocities. Qualitative agreement is observed for metallicity [Fe/H] estimates and, to a lesser extent, for absorption A_G estimates. No agreement was found for the ages of the stars, which indicates their great uncertainty in the ensemble, consisting mainly of main sequence stars. Age estimates for pairs with evolved components show significantly better agreement than for the dataset as a whole. Using the parameters of the components of the pairs from Gaia DR3, an independent estimate of the uncertainties in the radial velocities and metallicities depending on the apparent magnitude of the sources was performed. Estimates of the probable median values of errors in the radial velocities and metallicities of Gaia DR3 sources are proposed. Depending on the apparent magnitude, they exceed the median error values given in the catalog: for radial velocities by 1.5-3 times, for metallicities [Fe/H] by 7-25 times.


title: SSyncOA: Self-synchronizing Object-aligned Watermarking to Resist Cropping-paste Attacks

abstract: Modern image processing tools have made it easy for attackers to crop the region or object of interest in images and paste it into other images. The challenge this cropping-paste attack poses to the watermarking technology is that it breaks the synchronization of the image watermark, introducing multiple superimposed desynchronization distortions, such as rotation, scaling, and translation. However, current watermarking methods can only resist a single type of desynchronization and cannot be applied to protect the object's copyright under the cropping-paste attack. With the finding that the key to resisting the cropping-paste attack lies in robust features of the object to protect, this paper proposes a self-synchronizing object-aligned watermarking method, called SSyncOA. Specifically, we first constrain the watermarked region to be aligned with the protected object, and then synchronize the watermark's translation, rotation, and scaling distortions by normalizing the object invariant features, i.e., its centroid, principal orientation, and minimum bounding square, respectively. To make the watermark embedded in the protected object, we introduce the object-aligned watermarking model, which incorporates the real cropping-paste attack into the encoder-noise layer-decoder pipeline and is optimized end-to-end. Besides, we illustrate the effect of different desynchronization distortions on the watermark training, which confirms the necessity of the self-synchronization process. Extensive experiments demonstrate the superiority of our method over other SOTAs.


title: Revisiting the spatially inhomogeneous condensates in the $(1 + 1)$-dimensional chiral Gross-Neveu model via the bosonic two-point function in the infinite-$N$ limit

abstract: This work shows that the known phase boundary between the phase with chiral symmetry and the phase of spatially inhomogeneous chiral symmetry breaking in the phase diagram of the $(1 + 1)$-dimensional chiral Gross-Neveu model can be detected from the bosonic two-point function alone and thereby confirms and extends previous results arXiv:hep-th/0008175, arXiv:0807.2571, arXiv:0909.3714, arXiv:1810.03921, arXiv:2203.08503. The analysis is refered to as the stability analysis of the symmetric phase and does not require knowledge about spatial modulations of condensates. We perform this analysis in the infinite-$N$ limit at nonzero temperature and nonzero quark and chiral chemical potentials also inside the inhomogeneous phase. Thereby we observe an interesting relation between the bosonic $1$-particle irreducible two-point vertex function of the chiral Gross-Neveu model and the spinodal line of the Gross-Neveu model.


title: Polynomial lower bound on the effective resistance for the one-dimensional critical long-range percolation

abstract: In this work, we study the critical long-range percolation on $\mathbb{Z}$, where an edge connects $i$ and $j$ independently with probability $1-\exp\{-\beta |i-j|^{-2}\}$ for some fixed $\beta>0$. Viewing this as a random electric network where each edge has a unit conductance, we show that with high probability the effective resistances from the origin 0 to $[-N, N]^c$ and from the interval $[-N,N]$ to $[-2N,2N]^c$ (conditioned on no edge joining $[-N,N]$ and $[-2N,2N]^c$) both have a polynomial lower bound in $N$. Our bound holds for all $\beta>0$ and thus rules out a potential phase transition (around $\beta = 1$) which seemed to be a reasonable possibility.


title: Variations on a Theme of Makowski

abstract: We distinguish the axiomatic study of proofs in geometry from study about geometry from general axioms for mathematics. We briefly report on an abuse of that distinction and its unfortunate effect on US high school education. We review a number of 20th century approaches to synthetic geometry. In doing so, we disambiguate (in the Wikipedia sense) the terms: metric, orthogonal, isotropic and hyperbolic. With some of these systems we are able to axiomatize `affine geometry' over the complex field (The argument is trivial from [Wu94] or [Szm78], but not remarked by either of them.). We examine the general question of the connections between axioms for Affine geometries and the stability classification of associated complete first order theories of fields. We conclude with reminiscences of a half-century friendship with Jan\'{o}s.


title: A Lightweight Neural Architecture Search Model for Medical Image Classification

abstract: Accurate classification of medical images is essential for modern diagnostics. Deep learning advancements led clinicians to increasingly use sophisticated models to make faster and more accurate decisions, sometimes replacing human judgment. However, model development is costly and repetitive. Neural Architecture Search (NAS) provides solutions by automating the design of deep learning architectures. This paper presents ZO-DARTS+, a differentiable NAS algorithm that improves search efficiency through a novel method of generating sparse probabilities by bi-level optimization. Experiments on five public medical datasets show that ZO-DARTS+ matches the accuracy of state-of-the-art solutions while reducing search times by up to three times.


title: Evidence of Kolmogorov like scalings and multifractality in the rainfall events

abstract: In this paper we present a detailed statistical analysis related to the characterization of the spatial and temporal fluctuations present in the rainfall patterns of North-East region ($26.05^{\circ}N-26.95^{\circ}N$, $88.05^{\circ}E-94.95^{\circ}E$) of India using half hourly rainfall data over the last 20 years for the range 2001-2020. We analyze the nature of the distribution by computing the mean, second moment of the fluctuation, skewness and kurtosis of the temporal rainfall data that indicate the presence of heavy tail in the right skewed distribution a typical feature of the presence of rare events. We find that the temporal distribution of the rainfall data follow the multiplicative Log-Normal probability distribution. Further we compute the spatial and temporal correlation of the rainfall in this region indicate that the rainfall events are correlated in the spatial direction of about 70 Km. The Power spectral density of temporal rainfall shows power law behaviour with frequency with an exponent $\sim -1.5$ close to the Kolmogorov exponent ($-1.67$) exhibited for the turbulent passive scalar driven by the mean flow. Our wavelet analysis reveals the evidence of multiple frequencies in the rainfall pattern which can attributed to different short and long range factors responsible for the rainfall. We have also used the Hilbert Huang transformation to identify the frequencies corresponding fluctuating part of the rainfall time series. Using multifractal detrended fluctuation analysis, finally we establish the multifractal nature of the rainfall pattern with Hurst exponent close to $0.65$ .


title: Next-to-leading-order electroweak correction to $H\to Z^0\gamma$

abstract: Inspired by the recent observation of the Higgs boson radiative decay into $Z^0$ by {\tt ATLAS} and {\tt CMS} Collaborations, we investigate the next-to-leading-order (NLO) electroweak correction to this rare decay process in Standard Model (SM). Implementing the on-shell renormalization scheme, we find that the magnitude of the NLO electroweak correction may reach $7\%$ of the leading order (LO) prediction, much more significant than that of the NLO QCD correction, which is merely about $0.3\%$. After incorporating the ${\cal O}(\alpha)$ correction, the predicted partial width from various $\alpha$ schemes tend to converge to each other. Including both NLO electroweak and QCD corrections, the SM prediction for the branching fraction shifts from the LO value of $(1.40-1.71)\times 10^{-3}$ to $(1.55\pm 0.06)\times 10^{-3}$, considerably lower than the measured value ${\cal B}_{\rm exp}[H\to Z^0\gamma]=(3.4\pm 1.1)\times 10^{-3}$. Resolving this alarming discrepancy clearly calls for further theoretical investigations, and, more importantly, experimental efforts from {\tt HL-LHC} and the prospective Higgs factories such as {\tt CEPC} and {\tt FCC-ee}.


title: Geometric formulation of generalized root-$T\bar{T}$ deformations

abstract: We develop a generic geometric formalism that incorporates both $T\bar{T}$-like and root-$T\bar{T}$-like deformations in arbitrary dimensions. This framework applies to a wide family of stress-energy tensor perturbations and encompasses various well-known field theories. Building upon the recently proposed correspondence between Ricci-based gravity and $T\bar{T}$-like deformations, we further extend this duality to include root-$T\bar{T}$-like perturbations. This refinement extends the potential applications of our approach and contributes to a deeper exploration of the interplay between stress tensor perturbations and gravitational dynamics. Among the various original outcomes detailed in this article, we have also obtained a deformation of the flat Jackiw-Teitelboim gravity action.


title: A family of air-stable chalcogenide solid electrolytes in Li$_2$BMQ$_4$ (B = Ca, Sr and Ba; M = Si, Ge and Sn; Q = O, S and Se) systems

abstract: Combining high-throughput first-principles calculations and experimental measurements, we have identified a novel family of fast lithium-ion chalcogenide conductors in Li$_2$BMQ$_4$ (2114, B = Ca, Sr and Ba; M = Si, Ge and Sn; Q = O, S and Se) systems. Our calculations demonstrate that most of the thermodynamically and kinetically stable sulfides and selenides in this new system exhibit ultralow Li$^+$ ion migration activation energy (0.16 eV ~ 0.56 eV) and considerable bandgaps varying between ~ 2 eV and 3.5 eV. We have successfully synthesized Li$_2$BaSnS$_4$ and Li$_2$SrSiS$_4$, and they exhibit excellent moisture stability through H$_2$S gas measurements. Electrochemical impedance measurements indicate 2114 systems show the typical features of solid ionic conductors, with a room-temperature Li$^+$ conductivity close to 5$\times$10$^{-4}$ mS/cm aligning with our molecular dynamics simulations. Furthermore, we have theoretically investigated the substitution of Cl$^-$ at S$^{2-}$ site. The doped compounds display significantly higher conductivity, with an increase of about three orders of magnitude (up to a maximum of 0.72 mS/cm) compared to the undoped compounds. These findings offer valuable insights for the further exploration of potential chalcogenide solid electrolyte materials with robust air stability and enhanced ionic conductivity for practical applications in lithium-ion batteries.


title: Welfare Loss in Connected Resource Allocation

abstract: We study the allocation of indivisible goods that form an undirected graph and investigate the worst-case welfare loss when requiring that each agent must receive a connected subgraph. Our focus is on both egalitarian and utilitarian welfare. Specifically, we introduce the concept of egalitarian (resp., utilitarian) price of connectivity, which captures the worst-case ratio between the optimal egalitarian (resp., utilitarian) welfare among all allocations and that among the connected allocations. We provide tight or asymptotically tight bounds on the price of connectivity for various large classes of graphs when there are two agents as well as for paths, stars and cycles in the general case. Many of our results are supplemented with algorithms which find connected allocations with a welfare guarantee corresponding to the price of connectivity.


title: Hierarchic Flows to Estimate and Sample High-dimensional Probabilities

abstract: Finding low-dimensional interpretable models of complex physical fields such as turbulence remains an open question, 80 years after the pioneer work of Kolmogorov. Estimating high-dimensional probability distributions from data samples suffers from an optimization and an approximation curse of dimensionality. It may be avoided by following a hierarchic probability flow from coarse to fine scales. This inverse renormalization group is defined by conditional probabilities across scales, renormalized in a wavelet basis. For a $\varphi^4$ scalar potential, sampling these hierarchic models avoids the critical slowing down at the phase transition. An outstanding issue is to also approximate non-Gaussian fields having long-range interactions in space and across scales. We introduce low-dimensional models with robust multiscale approximations of high order polynomial energies. They are calculated with a second wavelet transform, which defines interactions over two hierarchies of scales. We estimate and sample these wavelet scattering models to generate 2D vorticity fields of turbulence, and images of dark matter densities.


title: The spectral determinant for second order elliptic operators on the real line

abstract: We derive an expression for the spectral determinant of a second-order elliptic differential operator $\mathcal{T}$ defined on the whole real line, in terms of the Wronskians of two particular solutions of the equation $\mathcal{T} u=0$. Examples of application of the resulting formula include the explicit calculation of the determinant of harmonic and anharmonic oscillators with an added bounded potential with compact support.


title: Motion Planning under Uncertainty: Integrating Learning-Based Multi-Modal Predictors into Branch Model Predictive Control

abstract: In complex traffic environments, autonomous vehicles face multi-modal uncertainty about other agents' future behavior. To address this, recent advancements in learningbased motion predictors output multi-modal predictions. We present our novel framework that leverages Branch Model Predictive Control(BMPC) to account for these predictions. The framework includes an online scenario-selection process guided by topology and collision risk criteria. This efficiently selects a minimal set of predictions, rendering the BMPC realtime capable. Additionally, we introduce an adaptive decision postponing strategy that delays the planner's commitment to a single scenario until the uncertainty is resolved. Our comprehensive evaluations in traffic intersection and random highway merging scenarios demonstrate enhanced comfort and safety through our method.


title: Off-equatorial deflections and gravitational lensing. II. In general stationary and axisymmetric spacetimes

abstract: In this work, we develop a general perturbative procedure to find the off-equatorial plane deflections in the weak deflection limit in general stationary and axisymmetric spacetimes satisfying some common variable separation conditions. Deflections of both null and timelike rays with the finite distance effect of the source and detector taken into account are obtained as dual series of $M/r_0$ and $r_0/r_{s,d}$. These deflections allow a set of exact gravitational lensing equations from which the images' apparent angular positions are solved. The method and general results are then applied to the Kerr-Newmann, Kerr-Sen, and rotating Simpson-Visser spacetimes to study the effect of the spin and characteristic (effective) charge of the spacetimes and the source altitude on the deflection angles and image apparent angles. It is found that in general, both the spacetime spin and charge only affect the deflections from the second non-trivial order, while the source altitude influences the deflection from the leading order. Because of these, it is found that in gravitational lensing in realistic situations, it is hard to measure the effects of the spacetime spin and charge from the images' apparent locations. We also presented the off-equatorial deflections in the rotating Bardeen, Hayward, Ghosh, and Tinchev black hole spacetimes.


title: A Symplectic Analysis of Alternating Mirror Descent

abstract: Motivated by understanding the behavior of the Alternating Mirror Descent (AMD) algorithm for bilinear zero-sum games, we study the discretization of continuous-time Hamiltonian flow via the symplectic Euler method. We provide a framework for analysis using results from Hamiltonian dynamics, Lie algebra, and symplectic numerical integrators, with an emphasis on the existence and properties of a conserved quantity, the modified Hamiltonian (MH), for the symplectic Euler method. We compute the MH in closed-form when the original Hamiltonian is a quadratic function, and show that it generally differs from the other conserved quantity known previously in that case. We derive new error bounds on the MH when truncated at orders in the stepsize in terms of the number of iterations, $K$, and use these bounds to show an improved $\mathcal{O}(K^{1/5})$ total regret bound and an $\mathcal{O}(K^{-4/5})$ duality gap of the average iterates for AMD. Finally, we propose a conjecture which, if true, would imply that the total regret for AMD scales as $\mathcal{O}\left(K^{\varepsilon}\right)$ and the duality gap of the average iterates as $\mathcal{O}\left(K^{-1+\varepsilon}\right)$ for any $\varepsilon>0$, and we can take $\varepsilon=0$ upon certain convergence conditions for the MH.

categories: math.OC cs.GT cs.LG cs.NA math.DS math.NA


title: A Minimum-Jerk Approach to Handle Singularities in Virtual Fixtures

abstract: Implementing virtual fixtures in guiding tasks constrains the movement of the robot's end effector to specific curves within its workspace. However, incorporating guiding frameworks may encounter discontinuities when optimizing the reference target position to the nearest point relative to the current robot position. This article aims to give a geometric interpretation of such discontinuities, with specific reference to the commonly adopted Gauss-Newton algorithm. The effect of such discontinuities, defined as Euclidean Distance Singularities, is experimentally proved. We then propose a solution that is based on a Linear Quadratic Tracking problem with minimum jerk command, then compare and validate the performances of the proposed framework in two different human-robot interaction scenarios.


title: Fast Approximate Determinants Using Rational Functions

abstract: We show how rational function approximations to the logarithm, such as $\log z \approx (z^2 - 1)/(z^2 + 6z + 1)$, can be turned into fast algorithms for approximating the determinant of a very large matrix. We empirically demonstrate that when combined with a good preconditioner, the third order rational function approximation offers a very good trade-off between speed and accuracy when measured on matrices coming from Mat\'ern-$5/2$ and radial basis function Gaussian process kernels. In particular, it is significantly more accurate on those matrices than the state-of-the-art stochastic Lanczos quadrature method for approximating determinants while running at about the same speed.


title: On isolated hypersurface singularities: algebra-geometric and symplectic aspects

abstract: These notes are based on a seminar which took place in the autumn of 2022 at the Mathematical Institute of the University of Leiden. Its goal was to understand the recent work of J. Evans and Y. Lekili on the symplectic cohomology of the Milnor fiber for specific classes of isolated singularities. This work uses inputs from several fields, notably from algebraic geometry, in particular singularity theory, and from symplectic geometry. The main aim of the notes is to make the work of J. Evans and Y. Lekili more accessible by explaining the main ideas from these fields and indicate how these play a role in this work.


title: DexSkills: Skill Segmentation Using Haptic Data for Learning Autonomous Long-Horizon Robotic Manipulation Tasks

abstract: Effective execution of long-horizon tasks with dexterous robotic hands remains a significant challenge in real-world problems. While learning from human demonstrations have shown encouraging results, they require extensive data collection for training. Hence, decomposing long-horizon tasks into reusable primitive skills is a more efficient approach. To achieve so, we developed DexSkills, a novel supervised learning framework that addresses long-horizon dexterous manipulation tasks using primitive skills. DexSkills is trained to recognize and replicate a select set of skills using human demonstration data, which can then segment a demonstrated long-horizon dexterous manipulation task into a sequence of primitive skills to achieve one-shot execution by the robot directly. Significantly, DexSkills operates solely on proprioceptive and tactile data, i.e., haptic data. Our real-world robotic experiments show that DexSkills can accurately segment skills, thereby enabling autonomous robot execution of a diverse range of tasks.


title: Even and odd compositions with restricted parts

abstract: A result of Legendre asserts that the difference between the numbers of (length) even and odd partitions of $n$ into distinct parts is $0$, $1$, or $-1$; this also follows from Euler's pentagonal number theorem. We establish an analogous result for compositions and obtain some generalizations that are related to various entries in the On-Line Encyclopedia of Integer Sequences.


title: Synthetic Datasets for Program Similarity Research

abstract: Program similarity has become an increasingly popular area of research with various security applications such as plagiarism detection, author identification, and malware analysis. However, program similarity research faces a few unique dataset quality problems in evaluating the effectiveness of novel approaches. First, few high-quality datasets for binary program similarity exist and are widely used in this domain. Second, there are potentially many different, disparate definitions of what makes one program similar to another and in many cases there is often a large semantic gap between the labels provided by a dataset and any useful notion of behavioral or semantic similarity. In this paper, we present HELIX - a framework for generating large, synthetic program similarity datasets. We also introduce Blind HELIX, a tool built on top of HELIX for extracting HELIX components from library code automatically using program slicing. We evaluate HELIX and Blind HELIX by comparing the performance of program similarity tools on a HELIX dataset to a hand-crafted dataset built from multiple, disparate notions of program similarity. Using Blind HELIX, we show that HELIX can generate realistic and useful datasets of virtually infinite size for program similarity research with ground truth labels that embody practical notions of program similarity. Finally, we discuss the results and reason about relative tool ranking.


title: A central limit theorem associated with a sequence of positive line bundles

abstract: We prove a central limit theorem for random currents of integration along the zero divisors of standard Gaussian holomorphic sections in a sequence of holomorphic line bundles with Hermitian metrics of class $\mathscr{C}^{3}$ over a compact K\"{a}hler manifold. In the course of our analysis, we derive first-order asymptotics and upper decay estimates for near and off-diagonal Bergman kernels, respectively. These results are essential for determining the statistical properties of the zeros of random holomorphic sections.


title: Doing Personal LAPS: LLM-Augmented Dialogue Construction for Personalized Multi-Session Conversational Search

abstract: The future of conversational agents will provide users with personalized information responses. However, a significant challenge in developing models is the lack of large-scale dialogue datasets that span multiple sessions and reflect real-world user preferences. Previous approaches rely on experts in a wizard-of-oz setup that is difficult to scale, particularly for personalized tasks. Our method, LAPS, addresses this by using large language models (LLMs) to guide a single human worker in generating personalized dialogues. This method has proven to speed up the creation process and improve quality. LAPS can collect large-scale, human-written, multi-session, and multi-domain conversations, including extracting user preferences. When compared to existing datasets, LAPS-produced conversations are as natural and diverse as expert-created ones, which stays in contrast with fully synthetic methods. The collected dataset is suited to train preference extraction and personalized response generation. Our results show that responses generated explicitly using extracted preferences better match user's actual preferences, highlighting the value of using extracted preferences over simple dialogue history. Overall, LAPS introduces a new method to leverage LLMs to create realistic personalized conversational data more efficiently and effectively than previous methods.


title: AnchorGT: Efficient and Flexible Attention Architecture for Scalable Graph Transformers

abstract: Graph Transformers (GTs) have significantly advanced the field of graph representation learning by overcoming the limitations of message-passing graph neural networks (GNNs) and demonstrating promising performance and expressive power. However, the quadratic complexity of self-attention mechanism in GTs has limited their scalability, and previous approaches to address this issue often suffer from expressiveness degradation or lack of versatility. To address this issue, we propose AnchorGT, a novel attention architecture for GTs with global receptive field and almost linear complexity, which serves as a flexible building block to improve the scalability of a wide range of GT models. Inspired by anchor-based GNNs, we employ structurally important $k$-dominating node set as anchors and design an attention mechanism that focuses on the relationship between individual nodes and anchors, while retaining the global receptive field for all nodes. With its intuitive design, AnchorGT can easily replace the attention module in various GT models with different network architectures and structural encodings, resulting in reduced computational overhead without sacrificing performance. In addition, we theoretically prove that AnchorGT attention can be strictly more expressive than Weisfeiler-Lehman test, showing its superiority in representing graph structures. Our experiments on three state-of-the-art GT models demonstrate that their AnchorGT variants can achieve better results while being faster and significantly more memory efficient.


title: Managing Renewable Energy Resources Using Equity-Market Risk Tools - the Efficient Frontiers

abstract: The energy market, and specifically the renewable sector carries volatility and risks, similar to the financial market. Here, we leverage on a well-established, return-risk approach, commonly used by equity portfolio-managers and apply it to energy resources. We visualize the relationship between the resources' costs and their risks in terms of efficient frontiers. We apply this analysis to publically available data for various US regions: Central, Eastern and Western coasts. Since risk management is contingent on costs, this approach sheds useful light in assessing dynamic pricing in modern electrical grids. By integrating geographical and temporal dimensions into our research, we aim at providing more nuanced and context-specific recommendations for energy resource allocation. This approach may help decision-makers in the renewable energy sector to make informed choices that account for regional variations, climatic conditions, and long-term performance trends.


title: On certain matrix algebras related to quasi-Toeplitz matrices

abstract: Let $A_\alpha$ be the semi-infinite tridiagonal matrix having subdiagonal and superdiagonal unit entries, $(A_\alpha)_{11}=\alpha$, where $\alpha\in\mathbb C$, and zero elsewhere. A basis $\{P_0,P_1,P_2,\ldots\}$ of the linear space $\mathcal P_\alpha$ spanned by the powers of $A_\alpha$ is determined, where $P_0=I$, $P_n=T_n+H_n$, $T_n$ is the symmetric Toeplitz matrix having ones in the $n$th super- and sub-diagonal, zeros elsewhere, and $H_n$ is the Hankel matrix with first row $[\theta\alpha^{n-2}, \theta\alpha^{n-3}, \ldots, \theta, \alpha, 0, \ldots]$, where $\theta=\alpha^2-1$. The set $\mathcal P_\alpha$ is an algebra, and for $\alpha\in\{-1,0,1\}$, $H_n$ has only one nonzero anti-diagonal. This fact is exploited to provide a better representation of symmetric quasi-Toeplitz matrices $\mathcal {QT}_S$, where, instead of representing a generic matrix $A\in\mathcal{QT}_S$ as $A=T+K$, where $T$ is Toeplitz and $K$ is compact, it is represented as $A=P+H$, where $P\in\mathcal P_\alpha$ and $H$ is compact. It is shown experimentally that the matrix arithmetic obtained this way is much more effective than that implemented in the CQT-Toolbox of Numer.~Algo. 81(2):741--769, 2019.


title: Whispy: Adapting STT Whisper Models to Real-Time Environments

abstract: Large general-purpose transformer models have recently become the mainstay in the realm of speech analysis. In particular, Whisper achieves state-of-the-art results in relevant tasks such as speech recognition, translation, language identification, and voice activity detection. However, Whisper models are not designed to be used in real-time conditions, and this limitation makes them unsuitable for a vast plethora of practical applications. In this paper, we introduce Whispy, a system intended to bring live capabilities to the Whisper pretrained models. As a result of a number of architectural optimisations, Whispy is able to consume live audio streams and generate high level, coherent voice transcriptions, while still maintaining a low computational cost. We evaluate the performance of our system on a large repository of publicly available speech datasets, investigating how the transcription mechanism introduced by Whispy impacts on the Whisper output. Experimental results show how Whispy excels in robustness, promptness, and accuracy.


title: LGTM: Local-to-Global Text-Driven Human Motion Diffusion Model

abstract: In this paper, we introduce LGTM, a novel Local-to-Global pipeline for Text-to-Motion generation. LGTM utilizes a diffusion-based architecture and aims to address the challenge of accurately translating textual descriptions into semantically coherent human motion in computer animation. Specifically, traditional methods often struggle with semantic discrepancies, particularly in aligning specific motions to the correct body parts. To address this issue, we propose a two-stage pipeline to overcome this challenge: it first employs large language models (LLMs) to decompose global motion descriptions into part-specific narratives, which are then processed by independent body-part motion encoders to ensure precise local semantic alignment. Finally, an attention-based full-body optimizer refines the motion generation results and guarantees the overall coherence. Our experiments demonstrate that LGTM gains significant improvements in generating locally accurate, semantically-aligned human motion, marking a notable advancement in text-to-motion applications. Code and data for this paper are available at https://github.com/L-Sun/LGTM


title: UnsafeBench: Benchmarking Image Safety Classifiers on Real-World and AI-Generated Images

abstract: Image safety classifiers play an important role in identifying and mitigating the spread of unsafe images online (e.g., images including violence, hateful rhetoric, etc.). At the same time, with the advent of text-to-image models and increasing concerns about the safety of AI models, developers are increasingly relying on image safety classifiers to safeguard their models. Yet, the performance of current image safety classifiers remains unknown for real-world and AI-generated images. To bridge this research gap, in this work, we propose UnsafeBench, a benchmarking framework that evaluates the effectiveness and robustness of image safety classifiers. First, we curate a large dataset of 10K real-world and AI-generated images that are annotated as safe or unsafe based on a set of 11 unsafe categories of images (sexual, violent, hateful, etc.). Then, we evaluate the effectiveness and robustness of five popular image safety classifiers, as well as three classifiers that are powered by general-purpose visual language models. Our assessment indicates that existing image safety classifiers are not comprehensive and effective enough in mitigating the multifaceted problem of unsafe images. Also, we find that classifiers trained only on real-world images tend to have degraded performance when applied to AI-generated images. Motivated by these findings, we design and implement a comprehensive image moderation tool called PerspectiveVision, which effectively identifies 11 categories of real-world and AI-generated unsafe images. The best PerspectiveVision model achieves an overall F1-Score of 0.810 on six evaluation datasets, which is comparable with closed-source and expensive state-of-the-art models like GPT-4V. UnsafeBench and PerspectiveVision can aid the research community in better understanding the landscape of image safety classification in the era of generative AI.


title: Precision-based designs for sequential randomized experiments

abstract: In this paper, we consider an experimental setting where units enter the experiment sequentially. Our goal is to form stopping rules which lead to estimators of treatment effects with a given precision. We propose a fixed-width confidence interval design (FWCID) where the experiment terminates once a pre-specified confidence interval width is achieved. We show that under this design, the difference-in-means estimator is a consistent estimator of the average treatment effect and standard confidence intervals have asymptotic guarantees of coverage and efficiency for several versions of the design. In addition, we propose a version of the design that we call fixed power design (FPD) where a given power is asymptotically guaranteed for a given treatment effect, without the need to specify the variances of the outcomes under treatment or control. In addition, this design also gives a consistent difference-in-means estimator with correct coverage of the corresponding standard confidence interval. We complement our theoretical findings with Monte Carlo simulations where we compare our proposed designs with standard designs in the sequential experiments literature, showing that our designs outperform these designs in several important aspects. We believe our results to be relevant for many experimental settings where units enter sequentially, such as in clinical trials, as well as in online A/B tests used by the tech and e-commerce industry.


title: Accurate and Fast Approximate Graph Pattern Mining at Scale

abstract: Approximate graph pattern mining (A-GPM) is an important data analysis tool for many graph-based applications. There exist sampling-based A-GPM systems to provide automation and generalization over a wide variety of use cases. However, there are two major obstacles that prevent existing A-GPM systems being adopted in practice. First, the termination mechanism that decides when to end sampling lacks theoretical backup on confidence, and is unstable and slow in practice. Second, they suffer poor performance when dealing with the "needle-in-the-hay" cases, because a huge number of samples are required to converge, given the extremely low hit rate of their fixed sampling schemes. We build ScaleGPM, an accurate and fast A-GPM system that removes the two obstacles. First, we propose a novel on-the-fly convergence detection mechanism to achieve stable termination and provide theoretical guarantee on the confidence, with negligible overhead. Second, we propose two techniques to deal with the "needle-in-the-hay" problem, eager-verify and hybrid sampling. Our eager-verify method improves sampling hit rate by pruning unpromising candidates as early as possible. Hybrid sampling improves performance by automatically choosing the better scheme between fine-grained and coarse-grained sampling schemes. Experiments show that our online convergence detection mechanism can detect convergence and results in stable and rapid termination with theoretically guaranteed confidence. We show the effectiveness of eager-verify in improving the hit rate, and the scheme-selection mechanism in correctly choosing the better scheme for various cases. Overall, ScaleGPM achieves a geomean average of 565x (up to 610169x) speedup over the state-of-the-art A-GPM system, Arya. In particular, ScaleGPM handles billion-scale graphs in seconds, where existing systems either run out of memory or fail to complete in hours.


title: On the Influence of Data Resampling for Deep Learning-Based Log Anomaly Detection: Insights and Recommendations

abstract: Numerous DL-based approaches have garnered considerable attention in the field of software Log Anomaly Detection. However, a practical challenge persists: the class imbalance in the public data commonly used to train the DL models. This imbalance is characterized by a substantial disparity in the number of abnormal log sequences compared to normal ones, for example, anomalies represent less than 1% of one of the most popular datasets. Previous research has indicated that existing DLLAD approaches may exhibit unsatisfactory performance, particularly when confronted with datasets featuring severe class imbalances. Mitigating class imbalance through data resampling has proven effective for other software engineering tasks, however, it has been unexplored for LAD thus far. This study aims to fill this gap by providing an in-depth analysis of the impact of diverse data resampling methods on existing DLLAD approaches from two distinct perspectives. Firstly, we assess the performance of these DLLAD approaches across three datasets and explore the impact of resampling ratios of normal to abnormal data on ten data resampling methods. Secondly, we evaluate the effectiveness of the data resampling methods when utilizing optimal resampling ratios of normal to abnormal data. Our findings indicate that oversampling methods generally outperform undersampling and hybrid methods. Data resampling on raw data yields superior results compared to data resampling in the feature space. In most cases, certain undersampling and hybrid methods show limited effectiveness. Additionally, by exploring the resampling ratio of normal to abnormal data, we suggest generating more data for minority classes through oversampling while removing less data from majority classes through undersampling. In conclusion, our study provides valuable insights into the intricate relationship between data resampling methods and DLLAD.


title: Robustness of inflation to kinetic inhomogeneities

abstract: We investigate the effects of large inhomogeneities in both the inflaton field and its momentum. We find that in general, large kinetic perturbations reduce the number of e-folds of inflation. In particular, we observe that inflationary models with sub-Planckian characteristic scales are not robust even to kinetic energy densities that are sub-dominant to the potential energy density. This strengthens the results of our previous work. In inflationary models with super-Planckian characteristic scales, despite a reduction in the number of e-folds, inflation is robust even when the potential energy density is initially sub-dominant. For the cases we study, the robustness of inflation strongly depends on whether the inflaton field is driven into the reheating phase by the inhomogeneous scalar dynamics.


title: Jointly Learning Cost and Constraints from Demonstrations for Safe Trajectory Generation

abstract: Learning from Demonstration allows robots to mimic human actions. However, these methods do not model constraints crucial to ensure safety of the learned skill. Moreover, even when explicitly modelling constraints, they rely on the assumption of a known cost function, which limits their practical usability for task with unknown cost. In this work we propose a two-step optimization process that allow to estimate cost and constraints by decoupling the learning of cost functions from the identification of unknown constraints within the demonstrated trajectories. Initially, we identify the cost function by isolating the effect of constraints on parts of the demonstrations. Subsequently, a constraint leaning method is used to identify the unknown constraints. Our approach is validated both on simulated trajectories and a real robotic manipulation task. Our experiments show the impact that incorrect cost estimation has on the learned constraints and illustrate how the proposed method is able to infer unknown constraints, such as obstacles, from demonstrated trajectories without any initial knowledge of the cost.


title: Gravitational Wave Polarization Detection with Pyramid Constellation of Gravitational Wave Observatory

abstract: For the first time, we have introduced the Pyramid Constellation of Gravitational Wave Observatory (PCGO) for GW polarization detection. The PCGO is composed of four identical spacecrafts (S/Cs). The laser telescopes and their pointing structures are mounted on the S/C platform and are evenly distributed at three locations 120 degrees apart. Compared to a three-S/C configuration, the addition of a fourth S/C and its mounted telescope serve as redundant backups, especially for the telescopes, which together with the other two telescopes, automatically form a stable mass center for the platform without the need for trim mass. Since the radial distance of S/C4 is greater than that of the other spacecraft, the three arm lengths associated with S/C4 change significantly over a one-year period. Time delay interferometry (TDI) has been proven effective for suppressing frequency noise in this context. The unequal arm Michelson TDI configuration and the Sagnac TDI configuration are equally effective for eliminating the laser frequency noise based on the PCGO configuration. Compared to the configurations of LISA, Taiji, and TianQin, the PCGO has more combinations of optical paths in its TDI system, offering greater sensitivity to GW signals. The configuration of PCGO is simultaneously sensitive to the six polarization modes of GWs, which means that it allows for greater flexibility in extracting the polarization components from the total GW polarization signals.


title: Polarization-entangled photon pair generation from an epsilon-near-zero metasurface

abstract: Polarization-entangled photon pair sources are essential for diverse quantum technologies, such as quantum communication, computation, and imaging. However, the generation of complex polarization-entangled quantum states has long been constrained by the available nonlinear susceptibility tensor of natural nonlinear crystals, necessitating a cumbersome and intricate setup for additional coherent superposition or post-selection. In this study, we introduce and experimentally demonstrate a nanoscale polarization-entangled photon pair source utilizing an artificially-engineered metamaterial platform. This platform is based on a plasmonic metasurface that is strongly coupled to an epsilon-near-zero (ENZ) material. By precisely engineering resonances at both pump and signal/idler wavelengths, and leveraging the field enhancement provided by the ENZ effect, the photon pair generation efficiency of the 68-nm-thick metasurface is significantly boosted. More notably, the ENZ metasurface platform facilitates versatile manipulation of the system's anisotropic second-order nonlinear susceptibility tensor, enabling direct control over the polarization states of the photon pairs, which leads to the generation of a polarization-entangled Bell state without the need for additional components. Our approach opens a new avenue for the simultaneous photon pair generation and quantum state engineering in a compact platform.


title: A Full Model of the Response of Surface Detectors to Extensive Air Showers Based on Shower Universality

abstract: We present a full model of surface-detector responses to extensive air showers. The model is motivated by the principles of air-shower universality and can be applied to different types of surface detectors. Here we describe a parametrization for both water-Cerenkov detectors and scintillator surface detectors, as for instance employed by the upgraded detector array of the Pierre Auger Observatory. Using surface detector data, the model can be used to reconstruct with reasonable precision shower observables such as the depth of the shower maximum $X_\text{max}$ and the number of muons $R_\mu$.


title: Quantum Ising Spin-Glass Otto Engine

abstract: We investigate a quantum Otto engine with a quantum Ising spin glass as the working medium to explore the scaling behavior of work output and thermodynamic performance concerning system size, particularly near the critical point. Specifically, we explore the two operating modes of the Otto engine, namely the heat engine and refrigerator modes. We observe a double-peaked structure in the heat engine regime, leading to superlinear scaling in both work output and thermodynamic performance near the critical point. Additionally, in the refrigerator regime, superlinear scaling in refrigerator efficiency can be achieved at high and low temperatures, significantly outperforming models with uniform Ising interactions. These findings suggest that disorder and frustration in quantum Ising spin-glass systems could significantly impact thermodynamic performance in quantum heat engines and refrigerators, potentially opening up new avenues for improvement.


title: Price-Aware Automated Market Makers: Models Beyond Brownian Prices and Static Liquidity

abstract: In this paper, we introduce a suite of models for price-aware automated market making platforms willing to optimize their quotes. These models incorporate advanced price dynamics, including stochastic volatility, jumps, and microstructural price models based on Hawkes processes. Additionally, we address the variability in demand from liquidity takers through models that employ either Hawkes or Markov-modulated Poisson processes. Each model is analyzed with particular emphasis placed on the complexity of the numerical methods required to compute optimal quotes.


title: Long ranged stress correlations in the hard sphere liquid

abstract: The smooth emergence of shear elasticity is an hallmark of the liquid to glass transition. In a liquid, viscous stresses arise from local structural rearrangements. In the solid, Eshelby has shown that stresses around an inclusion decay as a power law $r^{-D}$, where $D$ is the dimension of the system. We study glass-forming hard sphere fluids by simulation and observe the emergence of the unscreened power-law Eshelby pattern in the stress correlations of the isotropic liquid state. By a detailed tensorial analysis, we show that the fluctuating force field, viz.~the divergence of the stress field, relaxes to zero with time in all states, while the shear stress correlations develop spatial power-law structures inside regions that grow with longitudinal and transverse sound speeds; we observe the predicted exponents $r^{-D}$ and $r^{-D-2}$. In Brownian systems, shear stresses relax diffusively within these regions, with the diffusion coefficient determined by the shear modulus and the friction coefficient.


title: Cofinality Theorems of Infinity Categories and Algebraic K-Theory

abstract: In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application demonstrates that cofinal full inclusion functors of (\infty)-categories are weak homotopy equivalences. For our second application, we provide an alternative proof of Barwick's cofinality theorem of algebraic (K)-theory.


title: Physical properties and electronic structure of the two-gap superconductor V$_{2}$Ga$_{5}$

abstract: We present a thorough investigation of the physical properties and superconductivity of the binary intermetallic V2Ga5. Electrical resistivity and specific heat measurements show that V2Ga5 enters its superconducting state below Tsc = 3.5 K, with a critical field of Hc2,perp c(Hc2,para c) = 6.5(4.1) kOe. With H perp c, the peak effect was observed in resistivity measurements, indicating the ultrahigh quality of the single crystal studied. The resistivity measurements under high pressure reveal that the Tsc is suppressed linearly with pressure and reaches absolute zero around 20 GPa. Specific heat and muon spin relaxation measurements both indicate that the two-gap s-wave model best describes the superconductivity of V2Ga5. The spectra obtained from angle-resolved photoemission spectroscopy measurements suggest that two superconducting gaps open at the Fermi surface around the Z and {\Gamma} points. These results are verified by first-principles band structure calculations. We therefore conclude that V2Ga5 is a phonon-mediated two-gap s-wave superconductor


title: A Rate-Distortion-Classification Approach for Lossy Image Compression

abstract: In lossy image compression, the objective is to achieve minimal signal distortion while compressing images to a specified bit rate. The increasing demand for visual analysis applications, particularly in classification tasks, has emphasized the significance of considering semantic distortion in compressed images. To bridge the gap between image compression and visual analysis, we propose a Rate-Distortion-Classification (RDC) model for lossy image compression, offering a unified framework to optimize the trade-off between rate, distortion, and classification accuracy. The RDC model is extensively analyzed both statistically on a multi-distribution source and experimentally on the widely used MNIST dataset. The findings reveal that the RDC model exhibits desirable properties, including monotonic non-increasing and convex functions, under certain conditions. This work provides insights into the development of human-machine friendly compression methods and Video Coding for Machine (VCM) approaches, paving the way for end-to-end image compression techniques in real-world applications.


title: Boosting Single Positive Multi-label Classification with Generalized Robust Loss

abstract: Multi-label learning (MLL) requires comprehensive multi-semantic annotations that is hard to fully obtain, thus often resulting in missing labels scenarios. In this paper, we investigate Single Positive Multi-label Learning (SPML), where each image is associated with merely one positive label. Existing SPML methods only focus on designing losses using mechanisms such as hard pseudo-labeling and robust losses, mostly leading to unacceptable false negatives. To address this issue, we first propose a generalized loss framework based on expected risk minimization to provide soft pseudo labels, and point out that the former losses can be seamlessly converted into our framework. In particular, we design a novel robust loss based on our framework, which enjoys flexible coordination between false positives and false negatives, and can additionally deal with the imbalance between positive and negative samples. Extensive experiments show that our approach can significantly improve SPML performance and outperform the vast majority of state-of-the-art methods on all the four benchmarks.


title: Human-Variability-Respecting Optimal Control for Physical Human-Machine Interaction

abstract: Physical Human-Machine Interaction plays a pivotal role in facilitating collaboration across various domains. When designing appropriate model-based controllers to assist a human in the interaction, the accuracy of the human model is crucial for the resulting overall behavior of the coupled system. When looking at state-of-the-art control approaches, most methods rely on a deterministic model or no model at all of the human behavior. This poses a gap to the current neuroscientific standard regarding human movement modeling, which uses stochastic optimal control models that include signal-dependent noise processes and therefore describe the human behavior much more accurate than the deterministic counterparts. To close this gap by including these stochastic human models in the control design, we introduce a novel design methodology resulting in a Human-Variability-Respecting Optimal Control that explicitly incorporates the human noise processes and their influence on the mean and variability behavior of a physically coupled human-machine system. Our approach results in an improved overall system performance, i.e. higher accuracy and lower variability in target point reaching, while allowing to shape the joint variability, for example to preserve human natural variability patterns.


title: Classical general relativity effects by magnetars with slow rotation and a magnetic dipole

abstract: In this contribution, the classical tests of general relativity using the Gutsunaev-Manko metric with slow rotation are obtained. This metric represents the spacetime of an object endowed with mass, magnetic dipole moment and angular moment. These tests are the deflection of light, time delay, precession of the periastron and gravitational redshift. We also provide numerical estimations for real magnetars and magnetar candidates from the McGill magnetar catalogue, and for the Sun in the cycles of low activity. Our results find that the magnetic dipole contribution to the deflection of light is significant when compared to the rotation contribution. The magnetic dipole contributions to the periastron precession and the time delay are 3 and 6 orders of magnitude lower than the rotation contribution respectively. For the gravitational redshift, the contribution is negligible within the approximation presented.


title: Accurate simulation of Efimov physics in ultracold atomic gases with realistic three-body multichannel interactions

abstract: We give a detailed and self-contained description of a recently developed theoretical and numerical method for the simulation of three identical bosonic alkali-metal atoms near a Feshbach resonance, where the Efimov effect is induced. The method is based on a direct construction of the off-shell two-body transition matrix from exact eigenfunctions of the embedded two-body Hamiltonians, obtained using realistic parameterizations of the interaction potentials which accurately reproduce the molecular energy levels. The transition matrix is then inserted into the appropriate three-body integral equations, which may be efficiently solved on a computer. We focus especially on the power of our method in including rigorously the effects of multichannel physics on the three-body problem, which are usually accounted for only by various approximations. We demonstrate the method for ${}^7$Li, where we recently showed that a correct inclusion of this multichannel physics resolves the long-standing disagreement between theory and experiment regarding the Efimovian three-body parameter. We analyze the Efimovian enhancement of the three-body recombination rate on both sides of the Feshbach resonance, revealing strong sensitivity to the spin structure of the model thus indicating the prevalence of three-body spin-exchange physics. Finally, we discuss an extension of our methodology to the calculation of three-body bound-state energies.


title: Tropical Vector Bundles

abstract: The goal of this paper is to introduce a construction of a vector bundle on a tropical variety. When the base is a tropical toric variety these tropicalize toric vector bundles, and are described by the data of a valuated matroid and some flats in the lattice of flats of the underlying matroid. The fibers are tropical linear spaces. We define global sections for tropical toric vector bundles, stability, and Jordan-H\"older and Harder-Narasimhan filtrations. Many of these require additional modularity assumptions on the defining matroid.


title: Spin-Wave Voices: Sonification of Nanoscale Spin Waves as an Engagement and Research Tool

abstract: Magnonics is an emerging research field that addresses the use of spin waves (magnons), purely magnetic waves, for information transport and processing. Spin waves are a potential replacement for electric current in modern computational devices that would make them more compact and energy efficient. The field is yet little known, even among physicists. Additionally, with the development of new measuring techniques and computational physics, the obtained magnetic data becomes more complex, in some cases including 3D vector fields and time-resolution. This work presents an approach to the audio-visual representation of the spin waves and discusses its use as a tool for science communication exhibits and possible data analysis tool. The work also details an instance of such an exhibit presented at the annual international digital art exhibition Ars Electronica Festival in 2022.


title: Emergence of condensation patterns in kinetic equations for opinion dynamics

abstract: In this work, we define a class of models to understand the impact of population size on opinion formation dynamics, a phenomenon usually related to group conformity. To this end, we introduce a new kinetic model in which the interaction frequency is weighted by the kinetic density. In the quasi-invariant regime, this model reduces to a Kaniadakis-Quarati-type equation with nonlinear drift, originally introduced for the dynamics of bosons in a spatially homogeneous setting. From the obtained PDE for the evolution of the opinion density, we determine the regime of parameters for which a critical mass exists and triggers blow-up of the solution. Therefore, the model is capable of describing strong conformity phenomena in cases where the total density of individuals holding a given opinion exceeds a fixed critical size. In the final part, several numerical experiments demonstrate the features of the introduced class of models and the related consensus effects.


title: Galoisian structure of large steps walks in the quadrant

abstract: The enumeration of walks in the quarter plane confined in the first quadrant has attracted a lot of attention over the past fifteenth years. The generating functions associated to small steps models satisfy a functional equation in two catalytic variables. For such models, Bousquet-M\'elou and Mishna defined a group called the group of the walk which turned out to be central in the classification of small steps models. In particular, its action on the catalytic variables yields a set of change of variables compatible with the structure of the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-M\'elou and Melczer. However, the orbit had till now no underlying group. In this article, we endow the orbit with the action of a Galois group, which extends the group of the walk to models with large steps. Within this Galoisian framework, we generalized the notions of invariants and decoupling. This enable us to develop a general strategy to prove the algebraicity of models with small backward steps. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of Bostan, Bousquet-M\'elou and Melczer, and allowing us to find new algebraic models with large steps.


title: Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning

abstract: Inspired by the great potential of Large Language Models (LLMs) for solving complex coding tasks, in this paper, we propose a novel approach, named Code2API, to automatically perform APIzation for Stack Overflow code snippets. Code2API does not require additional model training or any manual crafting rules and can be easily deployed on personal computers without relying on other external tools. Specifically, Code2API guides the LLMs through well-designed prompts to generate well-formed APIs for given code snippets. To elicit knowledge and logical reasoning from LLMs, we used chain-of-thought (CoT) reasoning and few-shot in-context learning, which can help the LLMs fully understand the APIzation task and solve it step by step in a manner similar to a developer. Our evaluations show that Code2API achieves a remarkable accuracy in identifying method parameters (65%) and return statements (66%) equivalent to human-generated ones, surpassing the current state-of-the-art approach, APIzator, by 15.0% and 16.5% respectively. Moreover, compared with APIzator, our user study demonstrates that Code2API exhibits superior performance in generating meaningful method names, even surpassing the human-level performance, and developers are more willing to use APIs generated by our approach, highlighting the applicability of our tool in practice. Finally, we successfully extend our framework to the Python dataset, achieving a comparable performance with Java, which verifies the generalizability of our tool.


title: Prolonging The Inevitable: Maximising survival time of an engine-equipped spacecraft between spatial hypersurfaces, as applied to the Schwarzschild spacetime

abstract: The fate of an astronaut unfortunate -- or foolish -- enough to find themselves hurtling towards spaghettification after passing the event horizon of a black hole is a common anecdote told by scientists to the regular population. However, despite the fact the Schwarzschild spacetime has been discovered over a century ago, the simple question of how long can such a space traveller live has not been fully elaborated on since. In fact, a few textbooks even give a mistaken or easily misread description of what happens. We address those inconsistencies. We calculate the proper time a space traveller equipped with means of propulsion can expect to live in these circumstances, giving analytical expressions (as elliptic integrals) wherever possible. We prove a principle that explains the best strategy to extend their life, and show its' generalisation for other spacetimes. Finally, we give quantitative answers to what gains due to optimal control can be expected in typical and somewhat `realistic' circumstances.


title: Extremal Separation Problems for Temporal Instance Queries

abstract: The separation problem for a class Q of database queries is to find a query in Q that distinguishes between a given set of `positive' and `negative' data examples. Separation provides explanations of examples and underpins the query-by-example paradigm to support database users in constructing and refining queries. As the space of all separating queries can be large, it is helpful to succinctly represent this space by means of its most specific (logically strongest) and general (weakest) members. We investigate this extremal separation problem for classes of instance queries formulated in linear temporal logic LTL with the operators conjunction, next, and eventually. Our results range from tight complexity bounds for verifying and counting extremal separators to algorithms computing them.


title: Compact and finite-type support in the homology of big mapping class groups

abstract: For any infinite-type surface $S$, a natural question is whether the homology of its mapping class group contains any non-trivial classes that are supported on (i) a compact subsurface or (ii) a finite-type subsurface. Our purpose here is to study this question, in particular giving an almost-complete answer when the genus of $S$ is positive (including infinite) and a partial answer when the genus of $S$ is zero. Our methods involve the notion of shiftable subsurfaces as well as homological stability for mapping class groups of finite-type surfaces.


title: QBER: Quantifying Cyber Risks for Strategic Decisions

abstract: Quantifying cyber risks is essential for organizations to grasp their vulnerability to threats and make informed decisions. However, current approaches still need to work on blending economic viewpoints to provide insightful analysis. To bridge this gap, we introduce QBER approach to offer decision-makers measurable risk metrics. The QBER evaluates losses from cyberattacks, performs detailed risk analyses based on existing cybersecurity measures, and provides thorough cost assessments. Our contributions involve outlining cyberattack probabilities and risks, identifying Technical, Economic, and Legal (TEL) impacts, creating a model to gauge impacts, suggesting risk mitigation strategies, and examining trends and challenges in implementing widespread Cyber Risk Quantification (CRQ). The QBER approach serves as a guided approach for organizations to assess risks and strategically invest in cybersecurity.


title: Development of Ultra-Portable 3D Mapping Systems for Emergency Services

abstract: Miniaturization of cameras and LiDAR sensors has enabled the development of wearable 3D mapping systems for emergency responders. These systems have the potential to revolutionize response capabilities by providing real-time, high-fidelity maps of dynamic and hazardous environments. We present our recent efforts towards the development of such ultra-portable 3D mapping systems. We review four different sensor configurations, either helmet-mounted or body-worn, with two different mapping algorithms that were implemented and evaluated during field trials. The paper discusses the experimental results with the aim to stimulate further discussion within the portable 3D mapping research community.


title: Linear correlations of Gibbs free energy for rare earth element oxide, hydroxide, chloride, fluoride, carbonate, and ferrite minerals and crystalline solids

abstract: Rare Earth Elements (REE) are critical minerals (metals) for the transition from fossil fuels to renewable and clean energy. Accurate thermodynamic properties of REE minerals and other crystalline solids are crucial for geochemical modeling of the solubility, speciation, and transport of REE in ore formation, extraction, chemical processing, and recycling processes. However, the Gibbs free energies of formation (DGof, REEX) for these solids from different sources vary by 10s kJ/mol. We applied the Sverjensky linear free energy relationship (LFER) to evaluate their internal consistency and predict the unavailable DGof of the REE solids. By considering both the effects of ionic radius size and corresponding aqueous ion properties, the Sverjensky LFER allows estimates with much accuracy and precision. Here, rREEZ+ represents the Shannon-Prewitt ionic radii of REEZ+, and DGon, REEZ+ denotes the non-solvation contribution to the DGof of the aqueous REEZ+ ion. X represents the remainder of the compounds. In this study, the parameters aREEX, bREEX, and beta REEX were regressed from DGof compilations in the literature for 13 isostructural families. Based on these linear relationships, we recommend a set of internally consistent DGof, REEX for 119 end-members of REE oxides, hydroxides, chlorides, fluorides, carbonates, hydrous carbonates, and ferrites. These DGof, REEX are combined with experimental or predicted values of So, Vo, and Cpo from the literature and incorporated into a new SUPCRT database, which allows the calculations of thermodynamic properties to high P-T conditions (e.g., up to 1000 oC and 5 kb).


title: GI-SMN: Gradient Inversion Attack against Federated Learning without Prior Knowledge

abstract: Federated learning (FL) has emerged as a privacy-preserving machine learning approach where multiple parties share gradient information rather than original user data. Recent work has demonstrated that gradient inversion attacks can exploit the gradients of FL to recreate the original user data, posing significant privacy risks. However, these attacks make strong assumptions about the attacker, such as altering the model structure or parameters, gaining batch normalization statistics, or acquiring prior knowledge of the original training set, etc. Consequently, these attacks are not possible in real-world scenarios. To end it, we propose a novel Gradient Inversion attack based on Style Migration Network (GI-SMN), which breaks through the strong assumptions made by previous gradient inversion attacks. The optimization space is reduced by the refinement of the latent code and the use of regular terms to facilitate gradient matching. GI-SMN enables the reconstruction of user data with high similarity in batches. Experimental results have demonstrated that GI-SMN outperforms state-of-the-art gradient inversion attacks in both visual effect and similarity metrics. Additionally, it also can overcome gradient pruning and differential privacy defenses.


title: All $S_p$ notions of quantum expansion are equivalent

abstract: In a recent work Li, Qiao, Wigderson, Wigderson and Zhang introduced notions of quantum expansion based on $S_p$ norms and posed as an open question if they were all equivalent. We give an affirmative answer to this question.


title: Reinforcement Nash Equilibrium Solver

abstract: Nash Equilibrium (NE) is the canonical solution concept of game theory, which provides an elegant tool to understand the rationalities. Though mixed strategy NE exists in any game with finite players and actions, computing NE in two- or multi-player general-sum games is PPAD-Complete. Various alternative solutions, e.g., Correlated Equilibrium (CE), and learning methods, e.g., fictitious play (FP), are proposed to approximate NE. For convenience, we call these methods as "inexact solvers", or "solvers" for short. However, the alternative solutions differ from NE and the learning methods generally fail to converge to NE. Therefore, in this work, we propose REinforcement Nash Equilibrium Solver (RENES), which trains a single policy to modify the games with different sizes and applies the solvers on the modified games where the obtained solution is evaluated on the original games. Specifically, our contributions are threefold. i) We represent the games as $\alpha$-rank response graphs and leverage graph neural network (GNN) to handle the games with different sizes as inputs; ii) We use tensor decomposition, e.g., canonical polyadic (CP), to make the dimension of modifying actions fixed for games with different sizes; iii) We train the modifying strategy for games with the widely-used proximal policy optimization (PPO) and apply the solvers to solve the modified games, where the obtained solution is evaluated on original games. Extensive experiments on large-scale normal-form games show that our method can further improve the approximation of NE of different solvers, i.e., $\alpha$-rank, CE, FP and PRD, and can be generalized to unseen games.


title: Low-light Object Detection

abstract: In this competition we employed a model fusion approach to achieve object detection results close to those of real images. Our method is based on the CO-DETR model, which was trained on two sets of data: one containing images under dark conditions and another containing images enhanced with low-light conditions. We used various enhancement techniques on the test data to generate multiple sets of prediction results. Finally, we applied a clustering aggregation method guided by IoU thresholds to select the optimal results.


title: Is Sora a World Simulator? A Comprehensive Survey on General World Models and Beyond

abstract: General world models represent a crucial pathway toward achieving Artificial General Intelligence (AGI), serving as the cornerstone for various applications ranging from virtual environments to decision-making systems. Recently, the emergence of the Sora model has attained significant attention due to its remarkable simulation capabilities, which exhibits an incipient comprehension of physical laws. In this survey, we embark on a comprehensive exploration of the latest advancements in world models. Our analysis navigates through the forefront of generative methodologies in video generation, where world models stand as pivotal constructs facilitating the synthesis of highly realistic visual content. Additionally, we scrutinize the burgeoning field of autonomous-driving world models, meticulously delineating their indispensable role in reshaping transportation and urban mobility. Furthermore, we delve into the intricacies inherent in world models deployed within autonomous agents, shedding light on their profound significance in enabling intelligent interactions within dynamic environmental contexts. At last, we examine challenges and limitations of world models, and discuss their potential future directions. We hope this survey can serve as a foundational reference for the research community and inspire continued innovation. This survey will be regularly updated at: https://github.com/GigaAI-research/General-World-Models-Survey.


title: Optimisation challenge for superconducting adiabatic neural network implementing XOR and OR boolean functions

abstract: In this article, we consider designs of simple analog artificial neural networks based on adiabatic Josephson cells with a sigmoid activation function. A new approach based on the gradient descent method is developed to adjust the circuit parameters, allowing efficient signal transmission between the network layers. The proposed solution is demonstrated on the example of the system implementing XOR and OR logical operations.


title: Almost periodicity and boundary values of Dirichlet series

abstract: We employ almost periodicity to establish analogues of the Hardy--Stein identity and the Littlewood--Paley formula for Hardy spaces of Dirichlet series. A construction of Saksman and Seip shows that the limits in this Littlewood--Paley formula cannot be interchanged. We apply this construction to show that the limits in the definition of the mean counting function for Dirichlet series cannot be interchanged. These are essentially statements about the two different kinds of boundary values that we associate with Dirichlet series that converge to a bounded analytic function in a half-plane. The treatment of the mean counting function also involves an investigation of the zero sets and Blaschke products of such Dirichlet series.


title: Basilisk: Achieving Competitive Performance with Open EDA Tools on an Open-Source Linux-Capable RISC-V SoC

abstract: We introduce Basilisk, an optimized application-specific integrated circuit (ASIC) implementation and design flow building on the end-to-end open-source Iguana system-on-chip (SoC). We present enhancements to synthesis tools and logic optimization scripts improving quality of results (QoR), as well as an optimized physical design with an improved power grid and cell placement integration enabling a higher core utilization. The tapeout-ready version of Basilisk implemented in IHP's open 130 nm technology achieves an operation frequency of 77 MHz (51 logic levels) under typical conditions, a 2.3x improvement compared to the baseline open-source EDA design flow presented in Iguana, and a higher 55 % core utilization compared to 50 % in the baseline design. Through collaboration with EDA tool developers and domain experts, Basilisk exemplifies a synergistic effort towards competitive open-source electronic design automation (EDA) tools for research and industry applications.


title: Exploring knowledge graph-based neural-symbolic system from application perspective

abstract: Advancements in Artificial Intelligence (AI) and deep neural networks have driven significant progress in vision and text processing. However, achieving human-like reasoning and interpretability in AI systems remains a substantial challenge. The Neural-Symbolic paradigm, which integrates neural networks with symbolic systems, presents a promising pathway toward more interpretable AI. Within this paradigm, Knowledge Graphs (KG) are crucial, offering a structured and dynamic method for representing knowledge through interconnected entities and relationships, typically as triples (subject, predicate, object). This paper explores recent advancements in neural-symbolic integration based on KG, examining how it supports integration in three categories: enhancing the reasoning and interpretability of neural networks with symbolic knowledge (Symbol for Neural), refining the completeness and accuracy of symbolic systems via neural network methodologies (Neural for Symbol), and facilitating their combined application in Hybrid Neural-Symbolic Integration. It highlights current trends and proposes future research directions in Neural-Symbolic AI.


title: On anomalous dissipation induced by transport noise

abstract: In this paper, we show that suitable transport noises produce anomalous dissipation of energy of solutions to the 2D Navier-Stokes equations and diffusion equations in all dimensions. The key ingredients are Meyers' type estimates for SPDEs with transport noise which are combined with recent scaling limits for such SPDEs. The former allow us to obtain, for the first time for such type of scaling limits, convergence in a space of positive smoothness uniformly in time. Compared to known results, one of the main novelties is that anomalous dissipation might take place even in presence of a transport noise of arbitrarily small intensity. Further, we discuss physical interpretations.


title: ReinWiFi: A Reinforcement-Learning-Based Framework for the Application-Layer QoS Optimization of WiFi Networks

abstract: In this paper, a reinforcement-learning-based scheduling framework is proposed and implemented to optimize the application-layer quality-of-service (QoS) of a practical wireless local area network (WLAN) suffering from unknown interference. Particularly, application-layer tasks of file delivery and delay-sensitive communication, e.g., screen projection, in a WLAN with enhanced distributed channel access (EDCA) mechanism, are jointly scheduled by adjusting the contention window sizes and application-layer throughput limitation, such that their QoS, including the throughput of file delivery and the round trip time of the delay-sensitive communication, can be optimized. Due to the unknown interference and vendor-dependent implementation of the network interface card, the relation between the scheduling policy and the system QoS is unknown. Hence, a reinforcement learning method is proposed, in which a novel Q-network is trained to map from the historical scheduling parameters and QoS observations to the current scheduling action. It is demonstrated on a testbed that the proposed framework can achieve a significantly better QoS than the conventional EDCA mechanism.


title: Dielectric Properties of Disordered A6B2O17 (A = Zr; B = Nb, Ta) Phases

abstract: We report on the structure and dielectric properties of ternary A6B2O17 (A = Zr; B = Nb, Ta) thin films and ceramics. Thin films are produced via sputter deposition from dense, phase-homogenous bulk ceramic targets, which are synthesized through a reactive sintering process at 1500 {\deg}C. Crystal structure, microstructure, chemistry and dielectric properties are characterized by X-ray diffraction and reflectivity, atomic force microscopy, X-ray photoelectron spectroscopy, and capacitance analysis respectively. We observe relative permittivities approaching 60 and loss tangents < 10^-2 across the 10^3-10^5 Hz frequency range in the Zr6Nb2O17 and Zr6Ta2O17 phases. These observations create an opportunity space for this novel class of disordered oxide electroceramics.


title: New physics as a possible explanation for the Amaterasu particle

abstract: The Telescope Array experiment has recently reported the most energetic event detected in the hybrid technique era, with a reconstructed energy of 240 EeV, which has been named "Amaterasu" after the Shinto deity. Its origin is intriguing since no powerful enough candidate sources are located within the region consistent with its propagation horizon and arrival direction. In this work, we investigate the possibility of describing its origin in a scenario of new physics, specifically under a Lorentz Invariance Violation (LIV) assumption. The kinematics of UHECR propagation under a phenomenological LIV approach is investigated. The total mean free path for a particle with Amaterasu's energy increases from a few Mpc to hundreds of Mpc for $-\delta_{\rm{had},0} > 10^{-22}$, expanding significantly the region from which it could have originated. A combined fit of the spectrum and composition data of Telescope Array under different LIV assumptions was performed. The data is best fitted with some level of LIV both with and without Amaterasu. The improvement of the LIV fit is larger when Amaterasu is considered. New physics in the form of LIV could, thus, provide a plausible explanation for the Amaterasu particle.


title: Quasi-Monte Carlo for Bayesian design of experiment problems governed by parametric PDEs

abstract: This paper contributes to the study of optimal experimental design for Bayesian inverse problems governed by partial differential equations (PDEs). We derive estimates for the parametric regularity of multivariate double integration problems over high-dimensional parameter and data domains arising in Bayesian optimal design problems. We provide a detailed analysis for these double integration problems using two approaches: a full tensor product and a sparse tensor product combination of quasi-Monte Carlo (QMC) cubature rules over the parameter and data domains. Specifically, we show that the latter approach significantly improves the convergence rate, exhibiting performance comparable to that of QMC integration of a single high-dimensional integral. Furthermore, we numerically verify the predicted convergence rates for an elliptic PDE problem with an unknown diffusion coefficient in two spatial dimensions, offering empirical evidence supporting the theoretical results and highlighting practical applicability.


title: Semi-autonomous Robotic Disassembly Enhanced by Mixed Reality

abstract: In this study, we introduce "SARDiM," a modular semi-autonomous platform enhanced with mixed reality for industrial disassembly tasks. Through a case study focused on EV battery disassembly, SARDiM integrates Mixed Reality, object segmentation, teleoperation, force feedback, and variable autonomy. Utilising the ROS, Unity, and MATLAB platforms, alongside a joint impedance controller, SARDiM facilitates teleoperated disassembly. The approach combines FastSAM for real-time object segmentation, generating data which is subsequently processed through a cluster analysis algorithm to determine the centroid and orientation of the components, categorizing them by size and disassembly priority. This data guides the MoveIt platform in trajectory planning for the Franka Robot arm. SARDiM provides the capability to switch between two teleoperation modes: manual and semi-autonomous with variable autonomy. Each was evaluated using four different Interface Methods (IM): direct view, monitor feed, mixed reality with monitor feed, and point cloud mixed reality. Evaluations across the eight IMs demonstrated a 40.61% decrease in joint limit violations using Mode 2. Moreover, Mode 2-IM4 outperformed Mode 1-IM1 by achieving a 2.33%-time reduction while considerably increasing safety, making it optimal for operating in hazardous environments at a safe distance, with the same ease of use as teleoperation with a direct view of the environment.


title: On the pre-commutative envelopes of commutative algebras

abstract: We prove that every nilpotent commutative algebra can be embedded into a pre-commutative (Zinbiel) algebra with respect to the anti-commutator operation. For finite-dimensional algebras, the nilpotency condition is necessary for a commutative algebra to have a pre-commutative envelope.


title: Five-dimensional non-Abelian supersymmetric Chern-Simons action in Projective Superspace

abstract: In this paper, we derive the five-dimensional non-Abelian $\mathcal{N}=1$ Chern-Simons action from its established definition of variation with respect to an infinitesimal deformation of the vector prepotential in a projective superspace setting. It has been a long-standing open problem how to integrate this variation. Now, thanks to the simplicity of a projective superspace technique, we have been finally able to obtain this term. As a bonus, we also give the supersymmetric Yang-Mills action with a half measure as well.


title: Comomentum sections and Poisson maps in Hamiltonian Lie algebroids

abstract: In a Hamiltonian Lie algebroid over a pre-symplectic manifold and over a Poisson manifold, we introduce a map corresponding to a comomentum map, called a comomentum section. We show that the comomentum section gives a Lie algebroid morphism among Lie algebroids. Moreover, we prove that a momentum section on a Hamiltonian Lie algebroid is a Poisson map between proper Poisson manifolds, which is a generalization that a momentum map is a Poisson map between the symplectic manifold to dual of the Lie algebra. Finally, a momentum section is reinterpreted as a Dirac morphism on Dirac structures.


title: Meta-Evolve: Continuous Robot Evolution for One-to-many Policy Transfer

abstract: We investigate the problem of transferring an expert policy from a source robot to multiple different robots. To solve this problem, we propose a method named $Meta$-$Evolve$ that uses continuous robot evolution to efficiently transfer the policy to each target robot through a set of tree-structured evolutionary robot sequences. The robot evolution tree allows the robot evolution paths to be shared, so our approach can significantly outperform naive one-to-one policy transfer. We present a heuristic approach to determine an optimized robot evolution tree. Experiments have shown that our method is able to improve the efficiency of one-to-three transfer of manipulation policy by up to 3.2$\times$ and one-to-six transfer of agile locomotion policy by 2.4$\times$ in terms of simulation cost over the baseline of launching multiple independent one-to-one policy transfers.


title: Asymptotic-preserving hybridizable discontinuous Galerkin method for the Westervelt quasilinear wave equation

abstract: We discuss the asymptotic-preserving properties of a hybridizable discontinuous Galerkin method for the Westervelt model of ultrasound waves. More precisely, we show that the proposed method is robust with respect to small values of the sound diffusivity damping parameter~$\delta$ by deriving low- and high-order energy stability estimates, and \emph{a priori} error bounds that are independent of~$\delta$. Such bounds are then used to show that, when~$\delta \rightarrow 0^+$, the method remains stable and the discrete acoustic velocity potential~$\psi_h^{(\delta)}$ converges to~$\psi_h^{(0)}$, where the latter is the singular vanishing dissipation limit. Moreover, we prove optimal convergence for the approximation of the acoustic particle velocity variable~$\bv = \nabla \psi$. The established theoretical results are illustrated with some numerical experiments.


title: Extensional and Non-extensional Functions as Processes

abstract: Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $\lambda$-calculus, the process representations yield (at best) non-extensional $\lambda $-theories (i.e., $\beta$ rule holds, whereas $\eta$ does not). In the paper, we study how to obtain extensional representations, and how to move between extensional and non-extensional representations. Using Internal $\pi$, $\mathrm{I}\pi$ (a subset of the $\pi$-calculus in which all outputs are bound), we develop a refinement of Milner's original encoding of functions as processes that is parametric on certain abstract components called wires. These are, intuitively, processes whose task is to connect two end-point channels. We show that when a few algebraic properties of wires hold, the encoding yields a $\lambda$-theory. Exploiting the symmetries and dualities of $\mathrm{I}\pi$, we isolate three main classes of wires. The first two have a sequential behaviour and are dual of each other; the third has a parallel behaviour and is the dual of itself. We show the adoption of the parallel wires yields an extensional $\lambda$-theory; in fact, it yields an equality that coincides with that of B\"ohm trees with infinite $\eta$. In contrast, the other two classes of wires yield non-extensional $\lambda$-theories whose equalities are those of the L\'evy-Longo and B\"ohm trees.


title: Exploring the Efficacy of Federated-Continual Learning Nodes with Attention-Based Classifier for Robust Web Phishing Detection: An Empirical Investigation

abstract: Web phishing poses a dynamic threat, requiring detection systems to quickly adapt to the latest tactics. Traditional approaches of accumulating data and periodically retraining models are outpaced. We propose a novel paradigm combining federated learning and continual learning, enabling distributed nodes to continually update models on streams of new phishing data, without accumulating data. These locally adapted models are then aggregated at a central server via federated learning. To enhance detection, we introduce a custom attention-based classifier model with residual connections, tailored for web phishing, leveraging attention mechanisms to capture intricate phishing patterns. We evaluate our hybrid learning paradigm across continual learning strategies (cumulative, replay, MIR, LwF) and model architectures through an empirical investigation. Our main contributions are: (1) a new hybrid federated-continual learning paradigm for robust web phishing detection, and (2) a novel attention + residual connections based model explicitly designed for this task, attaining 0.93 accuracy, 0.90 precision, 0.96 recall and 0.93 f1-score with the LwF strategy, outperforming traditional approaches in detecting emerging phishing threats while retaining past knowledge.


title: Adolescent sports participation and health in early adulthood: An observational study

abstract: We study the impact of teenage sports participation on early-adulthood health using longitudinal data from the National Study of Youth and Religion. We focus on two primary outcomes measured at ages 23--28 -- self-rated health and total score on the PHQ9 Patient Depression Questionnaire -- and control for several potential confounders related to demographics and family socioeconomic status. To probe the possibility that certain types of sports participation may have larger effects on health than others, we conduct a matched observational study at each level within a hierarchy of exposures. Our hierarchy ranges from broadly defined exposures (e.g., participation in any organized after-school activity) to narrow (e.g., participation in collision sports). We deployed an ordered testing approach that exploits the hierarchical relationships between our exposure definitions to perform our analyses while maintaining a fixed family-wise error rate. Compared to teenagers who did not participate in any after-school activities, those who participated in sports had statistically significantly better self-rated and mental health outcomes in early adulthood.


title: Connecting essential triangulations I: via 2-3 and 0-2 moves

abstract: Suppose that $M$ is a compact, connected three-manifold with boundary. We show that if the universal cover has infinitely many boundary components then $M$ has an ideal triangulation which is essential: no edge can be homotoped into the boundary. Under the same hypotheses, we show that the set of essential triangulations of $M$ is connected via 2-3, 3-2, 0-2, and 2-0 moves. The above results are special cases of our general theory. We introduce $L$-essential triangulations: boundary components of the universal cover receive labels and no edge has the same label at both ends. As an application, under mild conditions on a representation, we construct an ideal triangulation for which a solution to Thurston's gluing equations recovers the given representation. Our results also imply that such triangulations are connected via 2-3, 3-2, 0-2, and 2-0 moves. Together with results of Pandey and Wong, this proves that Dimofte and Garoufalidis' 1-loop invariant is independent of the choice of essential triangulation.


title: Expected biases in the distribution of consecutive primes

abstract: In 2016 Lemke Oliver and Soundararajan examined the gaps between the first hundred million primes and observed biases in their distributions modulo 10. Given our work on the evolution of the populations of various gaps across stages of Eratosthenes sieve, the observed biases are totally expected. The biases observed by Lemke Oliver and Soundararajan are a wonderful example for contrasting the computational range with the asymptotic range for the populations of the gaps between primes. The observed biases are the combination of two phenomena: (a) very small gaps, say $2 \le g \le 30$, get off to quick starts and over the first 100 million primes larger gaps are too early in their evolution; and (b) the assignment of small gaps across the residue classes disadvantages some of those classes - until enormous primes, far beyond the computational range. For modulus 10 and a few other bases, we aggregate the gaps by residue class and track the evolution of these teams as Eratosthenes sieve continues. The relative populations across these teams start with biases across the residue classes. These initial biases fade as the sieve continues. The OS enumeration strongly agrees with a uniform sampling at the corresponding stage of the sieve. The biases persist well beyond the computational range, but they are ultimately transient.


title: RepVGG-GELAN: Enhanced GELAN with VGG-STYLE ConvNets for Brain Tumour Detection

abstract: Object detection algorithms particularly those based on YOLO have demonstrated remarkable efficiency in balancing speed and accuracy. However, their application in brain tumour detection remains underexplored. This study proposes RepVGG-GELAN, a novel YOLO architecture enhanced with RepVGG, a reparameterized convolutional approach for object detection tasks particularly focusing on brain tumour detection within medical images. RepVGG-GELAN leverages the RepVGG architecture to improve both speed and accuracy in detecting brain tumours. Integrating RepVGG into the YOLO framework aims to achieve a balance between computational efficiency and detection performance. This study includes a spatial pyramid pooling-based Generalized Efficient Layer Aggregation Network (GELAN) architecture which further enhances the capability of RepVGG. Experimental evaluation conducted on a brain tumour dataset demonstrates the effectiveness of RepVGG-GELAN surpassing existing RCS-YOLO in terms of precision and speed. Specifically, RepVGG-GELAN achieves an increased precision of 4.91% and an increased AP50 of 2.54% over the latest existing approach while operating at 240.7 GFLOPs. The proposed RepVGG-GELAN with GELAN architecture presents promising results establishing itself as a state-of-the-art solution for accurate and efficient brain tumour detection in medical images. The implementation code is publicly available at https://github.com/ThensiB/RepVGG-GELAN.


title: Enhancing Channel Estimation in Quantized Systems with a Generative Prior

abstract: Channel estimation in quantized systems is challenging, particularly in low-resolution systems. In this work, we propose to leverage a Gaussian mixture model (GMM) as generative prior, capturing the channel distribution of the propagation environment, to enhance a classical estimation technique based on the expectation-maximization (EM) algorithm for one-bit quantization. Thereby, a maximum a posteriori (MAP) estimate of the most responsible mixture component is inferred for a quantized received signal, which is subsequently utilized in the EM algorithm as side information. Numerical results demonstrate the significant performance improvement of our proposed approach over both a simplistic Gaussian prior and current state-of-the-art channel estimators. Furthermore, the proposed estimation framework exhibits adaptability to higher resolution systems and alternative generative priors.