title: Forecasting with Deep Learning: Beyond Average of Average of Average Performance

abstract: Accurate evaluation of forecasting models is essential for ensuring reliable predictions. Current practices for evaluating and comparing forecasting models focus on summarising performance into a single score, using metrics such as SMAPE. We hypothesize that averaging performance over all samples dilutes relevant information about the relative performance of models. Particularly, conditions in which this relative performance is different than the overall accuracy. We address this limitation by proposing a novel framework for evaluating univariate time series forecasting models from multiple perspectives, such as one-step ahead forecasting versus multi-step ahead forecasting. We show the advantages of this framework by comparing a state-of-the-art deep learning approach with classical forecasting techniques. While classical methods (e.g. ARIMA) are long-standing approaches to forecasting, deep neural networks (e.g. NHITS) have recently shown state-of-the-art forecasting performance in benchmark datasets. We conducted extensive experiments that show NHITS generally performs best, but its superiority varies with forecasting conditions. For instance, concerning the forecasting horizon, NHITS only outperforms classical approaches for multi-step ahead forecasting. Another relevant insight is that, when dealing with anomalies, NHITS is outperformed by methods such as Theta. These findings highlight the importance of aspect-based model evaluation.


title: Topological classification of driven-dissipative nonlinear systems

abstract: In topology, one averages over local geometrical details to reveal robust global features. This approach proves crucial for understanding quantized bulk transport and exotic boundary effects of linear wave propagation in (meta-)materials. Moving beyond linear Hamiltonian systems, the study of topology in physics strives to characterize open (non-Hermitian) and interacting systems. Here, we establish a framework for the topological classification of driven-dissipative nonlinear systems. Specifically, we define a graph index for the Floquet semiclassical equations of motion describing such systems. The graph index builds upon topological vector analysis theory and combines knowledge of the particle-hole nature of fluctuations around each out-of-equilibrium stationary state. To test this approach, we divulge the topological invariants arising in a micro-electromechanical nonlinear resonator subject to forcing and a time-modulated potential. Our framework classifies the complete phase diagram of the system and reveals the topological origin of driven-dissipative phase transitions, as well as that of under- to over-damped responses. Furthermore, we predict topological phase transitions between symmetry-broken phases that pertain to population inversion transitions. This rich manifesting phenomenology reveals the pervasive link between topology and nonlinear dynamics, with broad implications for all fields of science.


title: Toward Fairer Face Recognition Datasets

abstract: Face recognition and verification are two computer vision tasks whose performance has progressed with the introduction of deep representations. However, ethical, legal, and technical challenges due to the sensitive character of face data and biases in real training datasets hinder their development. Generative AI addresses privacy by creating fictitious identities, but fairness problems persist. We promote fairness by introducing a demographic attributes balancing mechanism in generated training datasets. We experiment with an existing real dataset, three generated training datasets, and the balanced versions of a diffusion-based dataset. We propose a comprehensive evaluation that considers accuracy and fairness equally and includes a rigorous regression-based statistical analysis of attributes. The analysis shows that balancing reduces demographic unfairness. Also, a performance gap persists despite generation becoming more accurate with time. The proposed balancing method and comprehensive verification evaluation promote fairer and transparent face recognition and verification.


title: Measuring the Recyclability of Electronic Components to Assist Automatic Disassembly and Sorting Waste Printed Circuit Boards

abstract: The waste of electrical and electronic equipment has been increased due to the fast evolution of technology products and competition of many IT sectors. Every year millions of tons of electronic waste are thrown into the environment which causes high consequences for human health. Therefore, it is crucial to control this waste flow using technology, especially using Artificial Intelligence but also reclamation of critical raw materials for new production processes. In this paper, we focused on the measurement of recyclability of waste electronic components (WECs) from waste printed circuit boards (WPCBs) using mathematical innovation model. This innovative approach evaluates both the recyclability and recycling difficulties of WECs, integrating an AI model for improved disassembly and sorting. Assessing the recyclability of individual electronic components present on WPCBs provides insight into the recovery potential of valuable materials and indicates the level of complexity involved in recycling in terms of economic worth and production utility. This novel measurement approach helps AI models in accurately determining the number of classes to be identified and sorted during the automated disassembly of discarded PCBs. It also facilitates the model in iterative training and validation of individual electronic components.


title: Probing universal critical scaling with scan-DMRG

abstract: We explore the universal signatures of quantum phase transitions that can be extracted with the density matrix renormalization group (DMRG) algorithm applied to quantum chains with a gradient. We present high-quality data collapses for the order parameter and for the entanglement entropy for three minimal models: transverse-field Ising, 3-state Potts and Ashkin-Teller. Furthermore, we show that scan-DMRG successfully captures the universal critical scaling when applied across the magnetic Wess-Zumino-Witten and non-magnetic Ising transitions in the frustrated Haldane chain. In addition, we report a universal scaling of the lowest excitation energy as a function of a gradient rate. Finally, we argue that the scan-DMRG approach has significantly lower computational cost compare to the conventional DMRG protocols to study quantum phase transitions.


title: A hybrid quantum-classical framework for computational fluid dynamics

abstract: Great progress has been made in quantum computing in recent years, providing opportunities to overcome computation resource poverty in many scientific computations like computational fluid dynamics (CFD). In this work, efforts are made to exploit quantum potentialities in CFD, and a hybrid classical and quantum computing CFD framework is proposed to release the power of current quantum computing. In this framework, the traditional CFD solvers are coupled with quantum linear algebra libraries in weak form to achieve collaborative computation between classical and quantum computing. The quantum linear solver provides high-precision solutions and scalable problem sizes for linear systems and is designed to be easily callable for solving linear algebra systems similar to classical linear libraries, thus enabling seamless integration into existing CFD solvers. Some typical cases are performed to validate the feasibility of the proposed framework and the correctness of quantum linear algorithms in CFD.


title: A compact model of Escherichia coli core and biosynthetic metabolism

abstract: Metabolic models condense biochemical knowledge about organisms in a structured and standardised way. As large-scale network reconstructions are readily available for many organisms of interest, genome-scale models are being widely used among modellers and engineers. However, these large models can be difficult to analyse and visualise, and occasionally generate hard-to-interpret or even biologically unrealistic predictions. Out of the thousands of enzymatic reactions in a typical bacterial metabolism, only a few hundred comprise the metabolic pathways essential to produce energy carriers and biosynthetic precursors. These pathways carry relatively high flux, are central to maintaining and reproducing the cell, and provide precursors and energy to engineered metabolic pathways. Here, focusing on these central metabolic subsystems, we present a manually-curated medium-scale model of energy and biosynthesis metabolism for the well-studied prokaryote Escherichia coli K-12 MG1655. The model is a sub-network of the most recent genome-scale reconstruction, iML1515, and comes with an updated layer of database annotations, as well as a range of metabolic maps for visualisation. We enriched the stoichiometric network with extensive biological information and quantitative data, enhancing the scope and applicability of the model. In addition, here we assess the properties of this model in relation to its genome-scale parent and demonstrate the use of the network and supporting data in various scenarios, including enzyme-constrained flux balance analysis, elementary flux mode analysis, and thermodynamic analysis. Overall, we believe this model holds the potential to become a reference medium-scale metabolic model for E. coli.


title: Self-similar blowup for the cubic Schr\"odinger equation

abstract: We give a rigorous proof for the existence of a finite-energy, self-similar solution to the focusing cubic Schr\"odinger equation in three spatial dimensions.


title: Nonlinear lattices from the physics of ecosystems: The Lefever-Lejeune nonlinear lattice in $\mathbb{Z}^2$

abstract: We argue that the spatial discretization of the strongly nonlinear Lefever-Lejeune partial differential equation defines a nonlinear lattice that is physically relevant in the context of the nonlinear physics of ecosystems, modelling the dynamics of vegetation densities in dry lands. We study the system in the lattice $\mathbb{Z}^2$, which is especially relevant because of its natural dimension for the emergence of pattern formation. Theoretical results identify parametric regimes for the system that distinguish between extinction and potential convergence to non-trivial states. Importantly, we analytically identify conditions for Turing instability, detecting thresholds on the discretization parameter for the manifestation of this mechanism. Numerical simulations reveal the sharpness of the analytical conditions for instability and illustrate the rich potential for pattern formation even in the strongly discrete regime, emphasizing the importance of the interplay between higher dimensionality and discreteness.


title: Further results on equivalence of multivariate polynomial matrices

abstract: This paper investigates equivalence of square multivariate polynomial matrices with the determinant being some power of a univariate irreducible polynomial. We first generalized a global-local theorem of Vaserstein. Then we proved these matrices are equivalent to their Smith forms by the generalized global-local theorem.


title: Profit Maximization In Arbitrage Loops

abstract: Cyclic arbitrage chances exist abundantly among decentralized exchanges (DEXs), like Uniswap V2. For an arbitrage cycle (loop), researchers or practitioners usually choose a specific token, such as Ether as input, and optimize their input amount to get the net maximal amount of the specific token as arbitrage profit. By considering the tokens' prices from CEXs in this paper, the new arbitrage profit, called monetized arbitrage profit, will be quantified as the product of the net number of a specific token we got from the arbitrage loop and its corresponding price in CEXs. Based on this concept, we put forward three different strategies to maximize the monetized arbitrage profit for each arbitrage loop. The first strategy is called the MaxPrice strategy. Under this strategy, arbitrageurs start arbitrage only from the token with the highest CEX price. The second strategy is called the MaxMax strategy. Under this strategy, we calculate the monetized arbitrage profit for each token as input in turn in the arbitrage loop. Then, we pick up the most maximal monetized arbitrage profit among them as the monetized arbitrage profit of the MaxMax strategy. The third one is called the Convex Optimization strategy. By mapping the MaxMax strategy to a convex optimization problem, we proved that the Convex Optimization strategy could get more profit in theory than the MaxMax strategy, which is proved again in a given example. We also proved that if no arbitrage profit exists according to the MaxMax strategy, then the Convex Optimization strategy can not detect any arbitrage profit, either. However, the empirical data analysis denotes that the profitability of the Convex Optimization strategy is almost equal to that of the MaxMax strategy, and the MaxPrice strategy is not reliable in getting the maximal monetized arbitrage profit compared to the MaxMax strategy.


title: Do As I Do: Pose Guided Human Motion Copy

abstract: Human motion copy is an intriguing yet challenging task in artificial intelligence and computer vision, which strives to generate a fake video of a target person performing the motion of a source person. The problem is inherently challenging due to the subtle human-body texture details to be generated and the temporal consistency to be considered. Existing approaches typically adopt a conventional GAN with an L1 or L2 loss to produce the target fake video, which intrinsically necessitates a large number of training samples that are challenging to acquire. Meanwhile, current methods still have difficulties in attaining realistic image details and temporal consistency, which unfortunately can be easily perceived by human observers. Motivated by this, we try to tackle the issues from three aspects: (1) We constrain pose-to-appearance generation with a perceptual loss and a theoretically motivated Gromov-Wasserstein loss to bridge the gap between pose and appearance. (2) We present an episodic memory module in the pose-to-appearance generation to propel continuous learning that helps the model learn from its past poor generations. We also utilize geometrical cues of the face to optimize facial details and refine each key body part with a dedicated local GAN. (3) We advocate generating the foreground in a sequence-to-sequence manner rather than a single-frame manner, explicitly enforcing temporal inconsistency. Empirical results on five datasets, iPER, ComplexMotion, SoloDance, Fish, and Mouse datasets, demonstrate that our method is capable of generating realistic target videos while precisely copying motion from a source video. Our method significantly outperforms state-of-the-art approaches and gains 7.2% and 12.4% improvements in PSNR and FID respectively.


title: A physical optics characterization of the beam shape and sidelobe levels for the Atacama Large Aperture Submillimeter Telescope (AtLAST)

abstract: (abridged) The Atacama Large Aperture Submillimeter Telescope (AtLAST) is undergoing a design study for a large (50 meter) single-dish submm-wavelength Ritchey-Chr\'etien telescope to be located 5050 meters above sea level in the Atacama Desert in northern Chile. It will allow for observations covering 30 to 950 GHz. Observing at such high frequencies with a 50~m primary mirror will be challenging, and has never been attempted thus far. This observational capability demands exquisite control of systematics to ensure a reliable beam shape, and to mitigate the expected sidelobe levels. Among them, critical issues that large telescopes like AtLAST need to deal with are introduced by the panel gap pattern, the secondary mirror supporting struts, mirror deformations produced by thermal and gravitational effects, and Ruze scattering due to surface roughness. Proprietary software such as TICRA-Tools allows for full-wave, complex-field physical optics simulations taking into account these features. Such calculations can be computationally expensive since the mirror surfaces are gridded (meshed) into a fine array in which each element is treated as a current source. If the telescope size is large and the wavelengths are short this may lead to very long running times. Here we present a set of physical optics results that allow us to estimate the performance of the telescope in terms of beam shape, directivity, sidelobes level and stray light. We also discuss how we addressed the computational challenges, and provide caveats on how to shorten the run times. Above all, we conclude that the scattering effects from the gaps and tertiary support structure are minimal, and subdominant to the Ruze scattering.


title: Bipolarized Weyl semimetals and quantum crystal valley Hall effect in two-dimensional altermagnetic materials

abstract: Magnetism and topology are two major areas of condensed matter physics. The combination of magnetism and topology gives rise to more novel physical effects, which have attracted strongly theoretical and experimental attention. Recently, the concept of altermagnetism has been introduced, characterized by a dual nature: real-space antiferromagnetism and reciprocal-space anisotropic spin polarization. The amalgamation of altermagnetism with topology may lead to the emergence of previously unobserved topological phases and the associated physical effects. In this study, utilizing a four-band lattice model that incorporates altermagnetism and spin group symmetry, we demonstrate that type-I, type-II, and type-III bipolarized Weyl semimetals can exist in altermagnetic systems. Through the first-principles electronic structure calculations, we predict four ideal two-dimensional type-I altermagnetic bipolarized Weyl semimetals Fe$_2$WTe$_4$ and Fe$_2$MoZ$_4$ (Z=S,Se,Te). More significantly, we introduce the quantum crystal valley Hall effect, a phenomenon achievable in three of these materials namely Fe$_2$WTe$_4$, Fe$_2$MoS$_4$, and Fe$_2$MoTe$_4$, when spin-orbit coupling is considered. Furthermore, these materials have the potential to transition from a quantum crystal valley Hall phase to a Chern insulator phase under strain. In contrast, Fe$_2$MoSe$_4$ remains to be a Weyl semimetal under spin-orbit coupling but is distinguished by possessing only a single pair of Weyl points. Additionally, the position, polarization, and number of Weyl points in Fe$_2$WTe$_4$ and Fe$_2$MoZ$_4$ can be manipulated by adjusting the direction of the N\'eel vector. Consequently, Fe$_2$WTe$_4$ and Fe$_2$MoZ$_4$ emerge as promising experimental platforms for investigating the distinctive physical attributes of various altermagnetic topological phases.


title: Volume of algebraically integrable foliations and locally stable families

abstract: In this paper, we study the volume of algebraically integrable foliations and locally stable families. We show that, for any canonical algebraically integrable foliation, its volume belongs to a discrete set depending only on its rank and the volume of its general leaves. In particular, if the foliation is of general type, then its volume has a positive lower bound depending only on its rank and the volume of its general leaves. This implies some special cases of a question posed by Cascini, Hacon, and Langer. As a consequence, we show that the relative volume of a stable family with a normal generic fiber belongs to a discrete set if the dimension and the volume of its general fibers are bounded. Log versions of the aforementioned theorems are also provided and proved.


title: CLEAR: Can Language Models Really Understand Causal Graphs?

abstract: Causal reasoning is a cornerstone of how humans interpret the world. To model and reason about causality, causal graphs offer a concise yet effective solution. Given the impressive advancements in language models, a crucial question arises: can they really understand causal graphs? To this end, we pioneer an investigation into language models' understanding of causal graphs. Specifically, we develop a framework to define causal graph understanding, by assessing language models' behaviors through four practical criteria derived from diverse disciplines (e.g., philosophy and psychology). We then develop CLEAR, a novel benchmark that defines three complexity levels and encompasses 20 causal graph-based tasks across these levels. Finally, based on our framework and benchmark, we conduct extensive experiments on six leading language models and summarize five empirical findings. Our results indicate that while language models demonstrate a preliminary understanding of causal graphs, significant potential for improvement remains. Our project website is at https://github.com/OpenCausaLab/CLEAR.


title: Cherry on the Cake: Fairness is NOT an Optimization Problem

abstract: Fair cake-cutting is a mathematical subfield that studies the problem of fairly dividing a resource among a number of participants. The so-called ``cake,'' as an object, represents any resource that can be distributed among players. This concept is connected to supervised multi-label classification: any dataset can be thought of as a cake that needs to be distributed, where each label is a player that receives its share of the dataset. In particular, any efficient cake-cutting solution for the dataset is equivalent to an optimal decision function. Although we are not the first to demonstrate this connection, the important ramifications of this parallel seem to have been partially forgotten. We revisit these classical results and demonstrate how this connection can be prolifically used for fairness in machine learning problems. Understanding the set of achievable fair decisions is a fundamental step in finding optimal fair solutions and satisfying fairness requirements. By employing the tools of cake-cutting theory, we have been able to describe the behavior of optimal fair decisions, which, counterintuitively, often exhibit quite unfair properties. Specifically, in order to satisfy fairness constraints, it is sometimes preferable, in the name of optimality, to purposefully make mistakes and deny giving the positive label to deserving individuals in a community in favor of less worthy individuals within the same community. This practice is known in the literature as cherry-picking and has been described as ``blatantly unfair.''


title: An Invitation to Universality in Physics, Computer Science, and Beyond

abstract: A universal Turing machine is a powerful concept - a single device can compute any function that is computable. A universal spin model, similarly, is a class of physical systems whose low energy behavior simulates that of any spin system. Our categorical framework for universality (arXiv:2307.06851) captures these and other examples of universality as instances. In this article, we present an accessible account thereof with a focus on its basic ingredients and ways to use it. Specifically, we show how to identify necessary conditions for universality, compare types of universality within each instance, and establish that universality and negation give rise to unreachability (such as uncomputability).


title: When Invariant Representation Learning Meets Label Shift: Insufficiency and Theoretical Insights

abstract: As a crucial step toward real-world learning scenarios with changing environments, dataset shift theory and invariant representation learning algorithm have been extensively studied to relax the identical distribution assumption in classical learning setting. Among the different assumptions on the essential of shifting distributions, generalized label shift (GLS) is the latest developed one which shows great potential to deal with the complex factors within the shift. In this paper, we aim to explore the limitations of current dataset shift theory and algorithm, and further provide new insights by presenting a comprehensive understanding of GLS. From theoretical aspect, two informative generalization bounds are derived, and the GLS learner is proved to be sufficiently close to optimal target model from the Bayesian perspective. The main results show the insufficiency of invariant representation learning, and prove the sufficiency and necessity of GLS correction for generalization, which provide theoretical supports and innovations for exploring generalizable model under dataset shift. From methodological aspect, we provide a unified view of existing shift correction frameworks, and propose a kernel embedding-based correction algorithm (KECA) to minimize the generalization error and achieve successful knowledge transfer. Both theoretical results and extensive experiment evaluations demonstrate the sufficiency and necessity of GLS correction for addressing dataset shift and the superiority of proposed algorithm.


title: Evaluating the Robustness of Deep-Learning Algorithm-Selection Models by Evolving Adversarial Instances

abstract: Deep neural networks (DNN) are increasingly being used to perform algorithm-selection in combinatorial optimisation domains, particularly as they accommodate input representations which avoid designing and calculating features. Mounting evidence from domains that use images as input shows that deep convolutional networks are vulnerable to adversarial samples, in which a small perturbation of an instance can cause the DNN to misclassify. However, it remains unknown as to whether deep recurrent networks (DRN) which have recently been shown promise as algorithm-selectors in the bin-packing domain are equally vulnerable. We use an evolutionary algorithm (EA) to find perturbations of instances from two existing benchmarks for online bin packing that cause trained DRNs to misclassify: adversarial samples are successfully generated from up to 56% of the original instances depending on the dataset. Analysis of the new misclassified instances sheds light on the `fragility' of some training instances, i.e. instances where it is trivial to find a small perturbation that results in a misclassification and the factors that influence this. Finally, the method generates a large number of new instances misclassified with a wide variation in confidence, providing a rich new source of training data to create more robust models.


title: A synthetic T-cell receptor-like protein behaves as a Janus particle in solution

abstract: Protein engineering enables the creation of tailor-made proteins for an array of applications. ImmTACs stand out as promising therapeutics for cancer and other treatments, while also presenting unique challenges for stability, formulation and delivery. We have shown that ImmTACs behave as Janus particles in solution, leading to self-association at low concentrations, even when the averaged protein-protein interactions suggest that the molecule should be stable. The formation of small but stable oligomers has been confirmed by static and dynamic light scattering and analytical ultracentrifugation. Modelling of the structure using Alphafold leads to a rational explanation for this behaviour, consistent with the Janus particle assembly observed for inverse patchy particles.


title: Evaluation of Language Models in the Medical Context Under Resource-Constrained Settings

abstract: Since the emergence of the Transformer architecture, language model development has increased, driven by their promising potential. However, releasing these models into production requires properly understanding their behavior, particularly in sensitive domains such as medicine. Despite this need, the medical literature still lacks technical assessments of pre-trained language models, which are especially valuable in resource-constrained settings in terms of computational power or limited budget. To address this gap, we provide a comprehensive survey of language models in the medical domain. In addition, we selected a subset of these models for thorough evaluation, focusing on classification and text generation tasks. Our subset encompasses 53 models, ranging from 110 million to 13 billion parameters, spanning the three families of Transformer-based models and from diverse knowledge domains. This study employs a series of approaches for text classification together with zero-shot prompting instead of model training or fine-tuning, which closely resembles the limited resource setting in which many users of language models find themselves. Encouragingly, our findings reveal remarkable performance across various tasks and datasets, underscoring the latent potential of certain models to contain medical knowledge, even without domain specialization. Consequently, our study advocates for further exploration of model applications in medical contexts, particularly in resource-constrained settings. The code is available on https://github.com/anpoc/Language-models-in-medicine.


title: Towards Physically Talented Aerial Robots with Tactically Smart Swarm Behavior thereof: An Efficient Co-design Approach

abstract: The collective performance or capacity of collaborative autonomous systems such as a swarm of robots is jointly influenced by the morphology and the behavior of individual systems in that collective. In that context, this paper explores how morphology impacts the learned tactical behavior of unmanned aerial/ground robots performing reconnaissance and search & rescue. This is achieved by presenting a computationally efficient framework to solve this otherwise challenging problem of jointly optimizing the morphology and tactical behavior of swarm robots. Key novel developments to this end include the use of physical talent metrics and modification of graph reinforcement learning architectures to allow joint learning of the swarm tactical policy and the talent metrics (search speed, flight range, and cruising speed) that constrain mobility and object/victim search capabilities of the aerial robots executing these tactics. Implementation of this co-design approach is supported by advancements to an open-source Pybullet-based swarm simulator that allows the use of variable aerial asset capabilities. The results of the co-design are observed to outperform those of tactics learning with a fixed Pareto design, when compared in terms of mission performance metrics. Significant differences in morphology and learned behavior are also observed by comparing the baseline design and the co-design outcomes.


title: Gyrokinetic flux-driven simulations in mixed TEM/ITG regime using a delta-f PIC scheme with evolving background

abstract: In the context of global gyrokinetic simulations of turbulence using a Particle-In-Cell framework, verifying the delta-f assumption with a fixed background distribution becomes challenging when determining quasi-steady state profiles corresponding to given sources over long time scales, where plasma profiles can evolve significantly. The advantage of low relative sampling noise afforded by the delta-f scheme is shown to be retained by considering the background as a time-evolving Maxwellian with time-dependent density and temperature profiles. Implementation of this adaptive scheme to simulate electrostatic collisionless flux-driven turbulence in tokamak plasmas show small and non-increasing sampling noise levels, which would otherwise increase indefinitely with a stationary background scheme. The adaptive scheme furthermore allows one to reach numerically converged results of quasi-steady state with much lower marker numbers.


title: Process Algebra Based Tool Coordination Architectures in Raku and Go

abstract: This paper presents ongoing research in our project software engineering with process algebra. In this project we have developed among others a reimplementation of the simulator from the PSF Toolkit, a set of tools for the Process Specification formalism (PSF). This new simulator uses the ToolBus, a tool coordination architecture based on process algebra. We now developed new tool coordination architectures based on this ToolBus. We implement the primitives of the ToolBus in the programming languages Raku and Go. Both these languages have support for concurrency and communication between concurrent entities in the form of channels. We apply these tool coorination architectures on a small example. And we give implementations for the simulator in the PSF Toolkit based on the tool coordination architectures in Raku and Go.


title: The Championship-Winning Solution for the 5th CLVISION Challenge 2024

abstract: In this paper, we introduce our approach to the 5th CLVision Challenge, which presents distinctive challenges beyond traditional class incremental learning. Unlike standard settings, this competition features the recurrence of previously encountered classes and includes unlabeled data that may contain Out-of-Distribution (OOD) categories. Our approach is based on Winning Subnetworks to allocate independent parameter spaces for each task addressing the catastrophic forgetting problem in class incremental learning and employ three training strategies: supervised classification learning, unsupervised contrastive learning, and pseudo-label classification learning to fully utilize the information in both labeled and unlabeled data, enhancing the classification performance of each subnetwork. Furthermore, during the inference stage, we have devised an interaction strategy between subnetworks, where the prediction for a specific class of a particular sample is the average logits across different subnetworks corresponding to that class, leveraging the knowledge learned from different subnetworks on recurring classes to improve classification accuracy. These strategies can be simultaneously applied to the three scenarios of the competition, effectively solving the difficulties in the competition scenarios. Experimentally, our method ranks first in both the pre-selection and final evaluation stages, with an average accuracy of 0.4535 during the preselection stage and an average accuracy of 0.4805 during the final evaluation stage.


title: Terahertz Emission From Diamond Nitrogen-Vacancy Centers

abstract: Coherent light sources emitting in the terahertz range are highly sought after for fundamental research and applications. THz lasers rely on achieving population inversion. We demonstrate the generation of THz radiation using nitrogen-vacancy (NV) centers in a diamond single crystal. Population inversion is achieved through the Zeeman splitting of the $S=1$ state in $15\ \text{T}$, resulting in a splitting of $0.42\ \text{THz}$, where the middle $S_z=0$ sublevel is selectively pumped by visible light. To detect the THz radiation, we utilize a phase-sensitive THz setup, optimized for electron spin resonance measurements (ESR). We determine the spin-lattice relaxation time up to $15\ \text{T}$ using the light-induced ESR measurement, which shows the dominance of phonon-mediated relaxation and the high efficacy of the population inversion. The THz radiation is tunable by the magnetic field, thus these findings may lead to the next generation of tunable coherent THz sources.


title: KPP fronts in shear flows with cut-off reaction rates

abstract: We consider the effect of a shear flow which has, without loss of generality, a zero mean flow rate, on a Kolmogorov--Petrovskii--Piscounov (KPP) type model in the presence of a discontinuous cut-off at concentration $u = u_c$. Its structure and speed of propagation depends on $A$ (the strength of the flow relative to the propagation speed in the absence of advection) and $B$ (the square of the front thickness relative to the channel width). We use matched asymptotic expansions to approximate the propagation speed in the three natural cases $A\to \infty$, $A\to 0$ and $A=O(1)$, with particular associated orderings on $B$, whilst $u_c\in(0,1)$ remains fixed. In all the cases that we consider, the shear flow enhances the speed of propagation in a manner that is similar to the case without cut-off ($u_c=0$). We illustrate the theory by evaluating expressions (either directly or through numerical integration) for the particular cases of the plane Couette and Poiseuille flows.


title: Strictly critical snarks with girth or cyclic connectivity equal to 6

abstract: A snark -- connected cubic graph with chromatic index $4$ -- is critical if the graph resulting from the removal of any pair of distinct adjacent vertices is $3$-edge-colourable; it is bicritical if the same is true for any pair of distinct vertices. A snark is strictly critical if it is critical but not bicritical. Very little is known about strictly critical snarks. Computational evidence suggests that strictly critical snarks constitute a tiny minority of all critical snarks. Strictly critical snarks of order $n$ exist if and only if $n$ is even and at least 32, and for each such order there is at least one strictly critical snark with cyclic connectivity $4$. A sparse infinite family of cyclically $5$-connected strictly critical snarks is also known, but those with cyclic connectivity greater than $5$ have not been discovered so far. In this paper we fill the gap by constructing cyclically $6$-connected strictly critical snarks of each even order $n\ge 342$. In addition, we construct cyclically $5$-connected strictly critical snarks of girth 6 for every even $n\ge 66$ with $n\equiv 2\pmod8$.


title: No More Sliding-Windows: Dynamic Functional Connectivity Based On Random Convolutions Without Learning

abstract: In the field of dynamic functional connectivity, the sliding-window method is widely used and its stability is generally recognized. However, the sliding-window method's data processing within the window is overly simplistic, which to some extent limits its effectiveness. This study proposes a feature expansion method based on random convolution, which achieves better and more noise-resistant results than the sliding-window method without requiring training. Experiments on simulated data show that the dynamic functional connectivity matrix and time series obtained using the random convolution method have a higher degree of fit (95.59\%) with the standard answers within shorter time windows, compared to the sliding-window method (45.99\%). Gender difference studies on real data also reveal that the random convolution method uncovers more gender differences than the sliding-window method. Through theoretical analysis, we propose a more comprehensive convolutional functional connectivity computation model, with the sliding-window method being a special case of this model, thereby opening up vast potential for research methods in dynamic functional connectivity.


title: OmAgent: A Multi-modal Agent Framework for Complex Video Understanding with Task Divide-and-Conquer

abstract: Recent advancements in Large Language Models (LLMs) have expanded their capabilities to multimodal contexts, including comprehensive video understanding. However, processing extensive videos such as 24-hour CCTV footage or full-length films presents significant challenges due to the vast data and processing demands. Traditional methods, like extracting key frames or converting frames to text, often result in substantial information loss. To address these shortcomings, we develop OmAgent, efficiently stores and retrieves relevant video frames for specific queries, preserving the detailed content of videos. Additionally, it features an Divide-and-Conquer Loop capable of autonomous reasoning, dynamically invoking APIs and tools to enhance query processing and accuracy. This approach ensures robust video understanding, significantly reducing information loss. Experimental results affirm OmAgent's efficacy in handling various types of videos and complex tasks. Moreover, we have endowed it with greater autonomy and a robust tool-calling system, enabling it to accomplish even more intricate tasks.


title: Can the noble metals (Au, Ag and Cu) be superconductors?

abstract: It is common knowledge that noble metals are excellent conductors but do not exhibit superconductivity. On the other hand, quantum confinement in thin films has been consistently shown to induce a significant enhancement of the superconducting critical temperature in several superconductors. It is therefore an important fundamental question whether ultra-thin film confinement may induce observable superconductivity in non-superconducting metals. We present a generalization, in the Eliashberg framework, of a BCS theory of superconductivity in good metals under thin-film confinement. By numerically solving these new Eliashberg-type equations, we find the dependence of the superconducting critical temperature on the film thickness $L$. This parameter-free theory predicts a maximum increase in the critical temperature for a specific value of the film thickness, which is a function of the number of free carriers in the material. Exploiting this fact, we predict that ultra-thin films of gold, silver and copper of suitable thickness could be superconductors at low but experimentally accessible temperatures. We demonstrate that this is a fine-tuning problem where the thickness must assume a very precise value, close to half a nanometer.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el quant-ph


title: Simultaneous Generation of Quantum Frequency Combs across Distinct Modal Families in a Single $Si_3 N_4$ Whispering Gallery Mode Resonator

abstract: Quantum frequency combs (QFCs) are versatile resources for multi-mode entanglement, such as cluster states, crucial for quantum communication and computation. On-chip whispering gallery mode resonators (WGMRs) can generate these states at ultra-low threshold power. In this paper, we demonstrate the simultaneous generation of three QFCs using a single on-chip $Si_3N_4$ WGMR across distinct modal families. We designed a micro-ring resonator with a radius of 240 $\mu m$, capable of supporting four modal families within the 130 to 260 $THz$ frequency range for consistency regulation. Our results indicate that, by carefully designing the structure of $Si_3 N_4$ WGMRs, it is possible to generate quantum entangled frequency combs across distinct modal families simultaneously using monochromatic pump light. This is achieved by modulating the pump mode profiles with a spatial light modulator (SLM). Our approach offers a simple and low-cost method to achieve higher-density entanglement integration on-chip.


title: Articulate your NeRF: Unsupervised articulated object modeling via conditional view synthesis

abstract: We propose a novel unsupervised method to learn the pose and part-segmentation of articulated objects with rigid parts. Given two observations of an object in different articulation states, our method learns the geometry and appearance of object parts by using an implicit model from the first observation, distils the part segmentation and articulation from the second observation while rendering the latter observation. Additionally, to tackle the complexities in the joint optimization of part segmentation and articulation, we propose a voxel grid-based initialization strategy and a decoupled optimization procedure. Compared to the prior unsupervised work, our model obtains significantly better performance, and generalizes to objects with multiple parts while it can be efficiently from few views for the latter observation.


title: Decentralized RL-Based Data Transmission Scheme for Energy Efficient Harvesting

abstract: The evolving landscape of the Internet of Things (IoT) has given rise to a pressing need for an efficient communication scheme. As the IoT user ecosystem continues to expand, traditional communication protocols grapple with substantial challenges in meeting its burgeoning demands, including energy consumption, scalability, data management, and interference. In response to this, the integration of wireless power transfer and data transmission has emerged as a promising solution. This paper considers an energy harvesting (EH)-oriented data transmission scheme, where a set of users are charged by their own multi-antenna power beacon (PB) and subsequently transmits data to a base station (BS) using an irregular slotted aloha (IRSA) channel access protocol. We propose a closed-form expression to model energy consumption for the present scheme, employing average channel state information (A-CSI) beamforming in the wireless power channel. Subsequently, we employ the reinforcement learning (RL) methodology, wherein every user functions as an agent tasked with the goal of uncovering their most effective strategy for replicating transmissions. This strategy is devised while factoring in their energy constraints and the maximum number of packets they need to transmit. Our results underscore the viability of this solution, particularly when the PB can be strategically positioned to ensure a strong line-of-sight connection with the user, highlighting the potential benefits of optimal deployment.


title: GATSBI: An Online GTSP-Based Algorithm for Targeted Surface Bridge Inspection and Defect Detection

abstract: We study the problem of visual surface inspection of infrastructure for defects using an Unmanned Aerial Vehicle (UAV). We do not assume that the geometric model of the infrastructure is known beforehand. Our planner, termed GATSBI, plans a path in a receding horizon fashion to inspect all points on the surface of the infrastructure. The input to GATSBI consists of a 3D occupancy map created online with 3D pointclouds. Occupied voxels corresponding to the infrastructure in this map are semantically segmented and used to create an infrastructure-only occupancy map. Inspecting an infrastructure voxel requires the UAV to take images from a desired viewing angle and distance. We then create a Generalized Traveling Salesperson Problem (GTSP) instance to cluster candidate viewpoints for inspecting the infrastructure voxels and use an off-the-shelf GTSP solver to find the optimal path for the given instance. As the algorithm sees more parts of the environment over time, it replans the path to inspect uninspected parts of the infrastructure while avoiding obstacles. We evaluate the performance of our algorithm through high-fidelity simulations conducted in AirSim and real-world experiments. We compare the performance of GATSBI with a baseline inspection algorithm where the map is known a priori. Our evaluation reveals that targeting the inspection to only the segmented infrastructure voxels and planning carefully using a GTSP solver leads to a more efficient and thorough inspection than the baseline inspection algorithm.


title: Hacking a surrogate model approach to XAI

abstract: In recent years, the number of new applications for highly complex AI systems has risen significantly. Algorithmic decision-making systems (ADMs) are one of such applications, where an AI system replaces the decision-making process of a human expert. As one approach to ensure fairness and transparency of such systems, explainable AI (XAI) has become more important. One variant to achieve explainability are surrogate models, i.e., the idea to train a new simpler machine learning model based on the input-output-relationship of a black box model. The simpler machine learning model could, for example, be a decision tree, which is thought to be intuitively understandable by humans. However, there is not much insight into how well the surrogate model approximates the black box. Our main assumption is that a good surrogate model approach should be able to bring such a discriminating behavior to the attention of humans; prior to our research we assumed that a surrogate decision tree would identify such a pattern on one of its first levels. However, in this article we show that even if the discriminated subgroup - while otherwise being the same in all categories - does not get a single positive decision from the black box ADM system, the corresponding question of group membership can be pushed down onto a level as low as wanted by the operator of the system. We then generalize this finding to pinpoint the exact level of the tree on which the discriminating question is asked and show that in a more realistic scenario, where discrimination only occurs to some fraction of the disadvantaged group, it is even more feasible to hide such discrimination. Our approach can be generalized easily to other surrogate models.


title: A Random Integration Algorithm for High-dimensional Function Spaces

abstract: We introduce a novel random integration algorithm that boasts both high convergence order and polynomial tractability for functions characterized by sparse frequencies or rapidly decaying Fourier coefficients. Specifically, for integration in periodic isotropic Sobolev space and the isotropic Sobolev space with compact support, our approach attains a nearly optimal root mean square error (RMSE) bound. In contrast to previous nearly optimal algorithms, our method exhibits polynomial tractability, ensuring that the number of samples does not scale exponentially with increasing dimensions. Our integration algorithm also enjoys nearly optimal bound for weighted Korobov space. Furthermore, the algorithm can be applied without the need for prior knowledge of weights, distinguishing it from the component-by-component algorithm. For integration in the Wiener algebra, the sample complexity of our algorithm is independent of the decay rate of Fourier coefficients. The effectiveness of the integration is confirmed through numerical experiments.


title: Effective atypical intersections and applications to orbit closures

abstract: We propose a unifying setting for dealing with monodromically atypical intersections that goes beyond the usual Zilber-Pink conjecture. In particular we obtain a new proof of finiteness of the maximal atypical orbit closures in each stratum of translation surfaces $\Omega \mathcal{M}_g (\kappa)$, as given by Eskin, Filip, and Wright. We also describe a concrete algorithm, implementable in principle on a computer, which provably computes all maximal orbit closures which are 'atypical' in a sense described by Filip. The same methods also give a general algorithm for computing atypical special loci associated to systems of differential equations, and in particular give an effective and o-minimal free proof of the geometric Zilber-Pink conjecture variations of mixed Hodge structures.


title: Meta-experiments: Improving experimentation through experimentation

abstract: A/B testing is widexly used in the industry to optimize customer facing websites. Many companies employ experimentation specialists to facilitate and improve the process of A/B testing. Here, we present the application of A/B testing to this improvement effort itself, by running experiments on the experimentation process, which we call 'meta-experiments'. We discuss the challenges of this approach using the example of one of our meta-experiments, which helped experimenters to run more sufficiently powered A/B tests. We also point out the benefits of 'dog fooding' for the experimentation specialists when running their own experiments.


title: Linac_Gen: integrating machine learning and particle-in-cell methods for enhanced beam dynamics at Fermilab

abstract: Here, we introduce Linac_Gen, a tool developed at Fermilab, which combines machine learning algorithms with Particle-in-Cell methods to advance beam dynamics in linacs. Linac_Gen employs techniques such as Random Forest, Genetic Algorithms, Support Vector Machines, and Neural Networks, achieving a tenfold increase in speed for phase-space matching in linacs over traditional methods through the use of genetic algorithms. Crucially, Linac_Gen's adept handling of 3D field maps elevates the precision and realism in simulating beam instabilities and resonances, marking a key advancement in the field. Benchmarked against established codes, Linac_Gen demonstrates not only improved efficiency and precision in beam dynamics studies but also in the design and optimization of linac systems, as evidenced in its application to Fermilab's PIP-II linac project. This work represents a notable advancement in accelerator physics, marrying ML with PIC methods to set new standards for efficiency and accuracy in accelerator design and research. Linac_Gen exemplifies a novel approach in accelerator technology, offering substantial improvements in both theoretical and practical aspects of beam dynamics.


title: Luminosity Evolution of the Hot Gas in Normal Galaxies from the Near Universe to z=0.5

abstract: We explore the evolution of the ~107 degree hot gas in normal galaxies out to redshift = 0.5 (lookback time = 5 Gyr), using X-ray luminosity functions (XLF) built from a sample of 575 normal galaxies with z < 0.6 detected in five high galactic latitude Chandra wide-field surveys. After estimating the emission due to the hot gas component (reducing the sample to ~400 galaxies), we compared the XLF in three redshift bins (z = 0.1, 0.3, and 0.5), finding increases in the number of galaxies per unit co-moving volume from z = 0.1 to 0.3 and then from z = 0.3 to 0.5. These XLF changes suggest a significant (~5s) X-ray luminosity evolution of the hot gas, with LX,GAS decreasing by a factor of 6-10 in the last 5 Gyr (from z = 0.5 to 0.1). The relative abundance of LX,GAS~1041 erg s-1 galaxies at higher z, suggests that high z, moderate LX,GAS galaxies may be the optimal target to solve the missing baryon problem. In early-type galaxies, this observational trend is qualitatively consistent with (but larger than) the expected time-dependent mass-loss rate in cooling flow models without AGN feedback. In late-type galaxies, the observational trend is also qualitatively consistent with (but larger than) the effect of the z-dependent SFR.


title: The master relation for polynomiality and equivalences of integrable systems

abstract: We prove the so-called master relation in the tautological ring of the moduli space of curves that implies polynomial properties of the Dubrovin-Zhang hierarchies associated to different versions of cohomological field theories as well as their equivalences to the corresponding double ramification hierarchies.


title: MLAAN: Scaling Supervised Local Learning with Multilaminar Leap Augmented Auxiliary Network

abstract: End-to-end (E2E) training approaches are commonly plagued by high memory consumption, reduced efficiency in training, challenges in model parallelization, and suboptimal biocompatibility. Local learning is considered a novel interactive training method that holds promise as an alternative to E2E. Nonetheless, conventional local learning methods fall short in achieving high model accuracy due to inadequate local inter-module interactions. In this paper, we introduce a new model known as the Scaling Supervised Local Learning with Multilaminar Leap Augmented Auxiliary Network (MLAAN). MLAAN features an innovative supervised local learning approach coupled with a robust reinforcement module. This dual-component design enables the MLAAN to integrate smoothly with established local learning techniques, thereby enhancing the efficacy of the foundational methods. The method simultaneously acquires the local and global features of the model separately by constructing an independent auxiliary network and a cascade auxiliary network on the one hand and incorporates a leap augmented module, which serves to counteract the reduced learning capacity often associated with weaker supervision. This architecture not only augments the exchange of information amongst the local modules but also effectively mitigates the model's tendency toward myopia. The experimental evaluations conducted on four benchmark datasets, CIFAR-10, STL-10, SVHN, and ImageNet, demonstrate that the integration of MLAAN with existing supervised local learning methods significantly enhances the original methodologies. Of particular note, MLAAN enables local learning methods to comprehensively outperform end-to-end training approaches in terms of optimal performance while saving GPU memory.


title: Ab initio quasi-harmonic thermoelasticity of molybdenum at high temperature and pressure

abstract: We present the ab-initio thermoelastic properties of body-centered cubic molybdenum under extreme conditions obtained within the quasi-harmonic approximation including both the vibrational and the electronic thermal excitations contributions to the free energy. The quasi-harmonic temperature dependent elastic constants are calculated and compared with existing experiments and with the quasi-static approximation. We find that the quasi-harmonic approximation allows a much better interpretation of the experimental data confirming the trend found previously in other metals. Using the Voigt-Reuss-Hill average we predict the compressional and shear sound velocities of polycrystalline molybdenum as a function of pressure for several temperatures which might be accessible in experiments.


title: ShadowLLM: Predictor-based Contextual Sparsity for Large Language Models

abstract: The high power consumption and latency-sensitive deployments of large language models (LLMs) have motivated techniques like quantization and sparsity. Contextual sparsity, where the sparsity pattern is input-dependent, is crucial in LLMs because the permanent removal of attention heads or neurons from LLMs can significantly degrade accuracy. Prior work has attempted to model contextual sparsity using neural networks trained to predict activation magnitudes, which can be used to dynamically prune structures with low predicted activation magnitude. In this paper, we look beyond magnitude-based pruning criteria to assess attention head and neuron importance in LLMs. We developed a novel predictor called ShadowLLM, which can shadow the LLM behavior and enforce better sparsity patterns, resulting in over 15% improvement in end-to-end accuracy without increasing latency compared to previous methods. ShadowLLM achieves up to a 20\% speed-up over the state-of-the-art DejaVu framework. These enhancements are validated on models with up to 30 billion parameters. Our code is available at \href{https://github.com/abdelfattah-lab/shadow_llm/}{ShadowLLM}.


title: Mind the step: On the frequency-domain analysis of gravitational-wave memory waveforms

abstract: Gravitational-wave memory is characterized by a signal component that persists after a transient signal has decayed. Treating such signals in the frequency domain is non-trivial, since discrete Fourier transforms assume periodic signals on finite time intervals. In order to reduce artifacts in the Fourier transform, it is common to use recipes that involve windowing and padding with constant values. Here we discuss how to regularize the Fourier transform in a straightforward way by splitting the signal into a given sigmoid function that can be Fourier transformed in closed form, and a residual which does depend on the details of the gravitational-wave signal and has to be Fourier transformed numerically, but does not contain a persistent component. We provide a detailed discussion of how to map between continuous and discrete Fourier transforms of signals that contain a persistent component. We apply this approach to discuss the frequency-domain phenomenology of the $(\ell=2, m=0)$ spherical harmonic mode, which contains both a memory and an oscillatory ringdown component.


title: A 100 Mpc$^2$ structure traced by hyperluminous galaxies around a massive $z$ = 2.85 protocluster

abstract: We present wide-field mapping at 850 $\mu$m and 450 $\mu$m of the $z$ = 2.85 protocluster in the HS1549$+$19 field using the Submillimetre Common User Bolometer Array 2 (SCUBA-2). Spectroscopic follow-up of 18 bright sources selected at 850 $\mu$m, using the Nothern Extended Millimeter Array (NOEMA) and Atacama Large Millimeter Array (ALMA), confirms the majority lies near $z$ $\sim$ 2.85 and are likely members of the structure. Interpreting the spectroscopic redshifts as distance measurements, we find that the SMGs span 90 Mpc$^2$ in the plane of the sky and demarcate a 4100 Mpc$^3$ "pancake"-shaped structure in three dimensions. We find that the high star-formation rates (SFRs) of these SMGs result in a total SFR of 20,000 M$_\odot$ yr$^{-1}$ only from the brightest galaxies in the protocluster. These rapidly star-forming SMGs can be interpreted as massive galaxies growing rapidly at large cluster-centric distances before collapsing into a virialized structure. We find that the SMGs trace the Lyman-$\alpha$ surface density profile. Comparison with simulations suggests that HS1549$+$19 could be building a structure comparable to the most massive clusters in the present-day Universe.


title: Feature Fusion for Human Activity Recognition using Parameter-Optimized Multi-Stage Graph Convolutional Network and Transformer Models

abstract: Human activity recognition (HAR) is a crucial area of research that involves understanding human movements using computer and machine vision technology. Deep learning has emerged as a powerful tool for this task, with models such as Convolutional Neural Networks (CNNs) and Transformers being employed to capture various aspects of human motion. One of the key contributions of this work is the demonstration of the effectiveness of feature fusion in improving HAR accuracy by capturing spatial and temporal features, which has important implications for the development of more accurate and robust activity recognition systems. The study uses sensory data from HuGaDB, PKU-MMD, LARa, and TUG datasets. Two model, the PO-MS-GCN and a Transformer were trained and evaluated, with PO-MS-GCN outperforming state-of-the-art models. HuGaDB and TUG achieved high accuracies and f1-scores, while LARa and PKU-MMD had lower scores. Feature fusion improved results across datasets.


title: Boosting the convergence of DSMC by GSIS

abstract: A deterministic-stochastic coupling scheme is developed for simulating rarefied gas flows, where the key process is the alternative solving of the macroscopic synthetic equations [Su et al., J. Comput. Phys., 407 (2020) 109245] and the mesoscopic equation via the asymptotic-preserving time-relaxed Monte Carlo scheme [Fei, J. Comput. Phys., 486 (2023) 112128]. Firstly, the macroscopic synthetic equations are exactly derived from the Boltzmann equation, incorporating not only the Newtonian viscosity and Fourier thermal conduction laws but also higher-order constitutive relations that capture rarefaction effects; the latter are extracted from the stochastic solver over a defined sampling interval. Secondly, the macroscopic synthetic equations, with the initial field extracted from the stochastic solver over the same sampling interval, are solved to the steady state or over certain iteration steps. Finally, the simulation particles in the stochastic solver are updated to match the density, velocity, and temperature obtained from the macroscopic synthetic equations. Moreover, simulation particles in the subsequent interval will be partly sampled according to the solutions of macroscopic synthetic equations. As a result, our coupling strategy enhances the asymptotic-preserving characteristic of the stochastic solver and substantially accelerates convergence towards the steady state. Several numerical tests are performed, and it is found that our method can reduce the computational cost in the near-continuum flow regime by two orders of magnitude compared to the direct simulation Monte Carlo method.


title: Analysis of a Class of Stochastic Component-Wise Soft-Clipping Schemes

abstract: Choosing the optimization algorithm that performs best on a given machine learning problem is often delicate, and there is no guarantee that current state-of-the-art algorithms will perform well across all tasks. Consequently, the more reliable methods that one has at hand, the larger the likelihood of a good end result. To this end, we introduce and analyze a large class of stochastic so-called soft-clipping schemes with a broad range of applications. Despite the wide adoption of clipping techniques in practice, soft-clipping methods have not been analyzed to a large extent in the literature. In particular, a rigorous mathematical analysis is lacking in the general, nonlinear case. Our analysis lays a theoretical foundation for a large class of such schemes, and motivates their usage. In particular, under standard assumptions such as Lipschitz continuous gradients of the objective function, we give rigorous proofs of convergence in expectation. These include rates in both the convex and the non-convex case, as well as almost sure convergence to a stationary point in the non-convex case. The computational cost of the analyzed schemes is essentially the same as that of stochastic gradient descent.


title: Vision-Language Consistency Guided Multi-modal Prompt Learning for Blind AI Generated Image Quality Assessment

abstract: Recently, textual prompt tuning has shown inspirational performance in adapting Contrastive Language-Image Pre-training (CLIP) models to natural image quality assessment. However, such uni-modal prompt learning method only tunes the language branch of CLIP models. This is not enough for adapting CLIP models to AI generated image quality assessment (AGIQA) since AGIs visually differ from natural images. In addition, the consistency between AGIs and user input text prompts, which correlates with the perceptual quality of AGIs, is not investigated to guide AGIQA. In this letter, we propose vision-language consistency guided multi-modal prompt learning for blind AGIQA, dubbed CLIP-AGIQA. Specifically, we introduce learnable textual and visual prompts in language and vision branches of CLIP models, respectively. Moreover, we design a text-to-image alignment quality prediction task, whose learned vision-language consistency knowledge is used to guide the optimization of the above multi-modal prompts. Experimental results on two public AGIQA datasets demonstrate that the proposed method outperforms state-of-the-art quality assessment models. The source code is available at https://github.com/JunFu1995/CLIP-AGIQA.


title: Noncommutative orbital stability of stochastic patterns in Banach spaces

abstract: We consider stochastic perturbations of PDEs which have special pattern solutions, such as (nonlinear) travelling waves, solitons, and spiral waves. We show orbital stability of these patterns on a timescale which is exponential in the inverse square of the noise amplitude. We systematically treat equations with noncommutative symmetry groups, and show how the noncommutativity affects the motion of the pattern. This is done by introducing a new method to track the (generalized) phase of the pattern. Furthermore, we demonstrate how orbital stability arises from a mismatch of symmetry between the pattern and the equation. Our phase tracking method does not rely on a Hilbert space structure. This allows us to show stability in general Banach spaces, and to treat noise with lower regularity than before.


title: Mechanisms of Exciton Formation and Long-Lived States in Polymeric Carbon Nitrides

abstract: Polymeric carbon nitrides (PCNs) exhibit intriguing optical properties and exceptional performance in (photo)catalysis, optoelectronics, and energy storage. Nevertheless, the intricate phenomena involving light absorption extending to the visible range, long-lived excitons, photo-charging, and photochemical processes observed in PCN derivatives remain poorly understood. Our theoretical investigation elucidates the role of distinct dark and bright exciton species, exciton lifetimes, and exciton stability, correlating these findings with the microstructural attributes of PCNs. Furthermore, we elucidate the origin of trapped excitons within PCNs and deliberate on the role of trapped excitons in catalytic reactivity.


title: Tunneling dynamics of the relativistic Schr\"odinger/Salpeter equation

abstract: We investigate potential scattering and tunneling dynamics of a particle wavepacket evolving according to the relativistic Schr\"odinger equation (also known as the Salpeter equation). The tunneling properties of the Salpeter equation differ from those of the standard relativistic wave equations (such as the Klein-Gordon or Dirac equations). In particular, the tunneling solutions must be found by working in momentum space, given that the equation in configuration space contains a pseudo-differential operator. The resulting integral equations are derived and solved numerically for wavepackets scattering on model potential barriers. The solutions are characterized by the absence of Klein tunneling and an effect of the potential on the fraction of the transmitted wavepacket that propagates outside the light cone, a feature that has in the past been well-studied only for free propagation.


title: Radiative QED corrections to the lepton anomaly from four-loop vacuum polarization insertions with three identical leptons

abstract: Analytical expressions for the tenth order electromagnetic corrections to the lepton ($L=e, ~\mu $ and $\tau$) anomaly $a_L$ are derived explicitly for a class of Feynman diagrams with insertions of the vacuum polarization operator consisting of four closed lepton loops. We consider a particular case when one loop is formed by the lepton $L$ of the same kind as the one under consideration, the other three loops being formed by leptons $\ell\neq L$. The method is based on the consecutive application of dispersion relations for the polarization operator and the Mellin--Barnes transform for the propagators of massive particles. The result is expressed in terms of the mass ratio $r=m_\ell/m_L$. We investigate the behaviour of the exact analytical expressions as $r\to 0$ and $r\to \infty$ and compare them with the corresponding asymptotic expansions known in the literature.


title: The VISTA Variables in the V\'ia L\'actea eXtended (VVVX) ESO public survey: Completion of the observations and legacy

abstract: The ESO public survey VISTA Variables in the V\'ia L\'actea (VVV) surveyed the inner Galactic bulge and the adjacent southern Galactic disk from $2009-2015$. Upon its conclusion, the complementary VVV eXtended (VVVX) survey has expanded both the temporal as well as spatial coverage of the original VVV area, widening it from $562$ to $1700$ sq. deg., as well as providing additional epochs in $JHK_{\rm s}$ filters from $2016-2023$. With the completion of VVVX observations during the first semester of 2023, we present here the observing strategy, a description of data quality and access, and the legacy of VVVX. VVVX took $\sim 2000$ hours, covering about 4% of the sky in the bulge and southern disk. VVVX covered most of the gaps left between the VVV and the VISTA Hemisphere Survey (VHS) areas and extended the VVV time baseline in the obscured regions affected by high extinction and hence hidden from optical observations. VVVX provides a deep $JHK_{\rm s}$ catalogue of $\gtrsim 1.5\times10^9$ point sources, as well as a $K_{\rm s}$ band catalogue of $\sim 10^7$ variable sources. Within the existing VVV area, we produced a $5D$ map of the surveyed region by combining positions, distances, and proper motions of well-understood distance indicators such as red clump stars, RR Lyrae, and Cepheid variables. In March 2023 we successfully finished the VVVX survey observations that started in 2016, an accomplishment for ESO Paranal Observatory upon 4200 hours of observations for VVV+VVVX. The VVV+VVVX catalogues complement those from the Gaia mission at low Galactic latitudes and provide spectroscopic targets for the forthcoming ESO high-multiplex spectrographs MOONS and 4MOST.


title: Delineating Half-Integrality of the Erd\H{o}s-P\'osa Property for Minors: the Case of Surfaces

abstract: In 1986 Robertson and Seymour proved a generalization of the seminal result of Erd\H{o}s and P\'osa on the duality of packing and covering cycles: A graph has the Erd\H{o}s-P\'osa property for minors if and only if it is planar. In particular, for every non-planar graph $H$ they gave examples showing that the Erd\H{o}s-P\'osa property does not hold for $H.$ Recently, Liu confirmed a conjecture of Thomas and showed that every graph has the half-integral Erd\H{o}s-P\'osa property for minors. Liu's proof is non-constructive and to this date, with the exception of a small number of examples, no constructive proof is known. In this paper, we initiate the delineation of the half-integrality of the Erd\H{o}s-P\'osa property for minors. We conjecture that for every graph $H,$ there exists a unique (up to a suitable equivalence relation) graph parameter ${\textsf{EP}}_H$ such that $H$ has the Erd\H{o}s-P\'osa property in a minor-closed graph class $\mathcal{G}$ if and only if $\sup\{\textsf{EP}_H(G) \mid G\in\mathcal{G}\}$ is finite. We prove this conjecture for the class $\mathcal{H}$ of Kuratowski-connected shallow-vortex minors by showing that, for every non-planar $H\in\mathcal{H},$ the parameter ${\sf EP}_H(G)$ is precisely the maximum order of a Robertson-Seymour counterexample to the Erd\H{o}s-P\'osa property of $H$ which can be found as a minor in $G.$ Our results are constructive and imply, for the first time, parameterized algorithms that find either a packing, or a cover, or one of the Robertson-Seymour counterexamples, certifying the existence of a half-integral packing for the graphs in $\mathcal{H}.$


title: Canonical form of matrix factorizations from Fukaya category of surface

abstract: This paper concerns homological mirror symmetry for the pair-of-pants surface (A-side) and the non-isolated surface singularity $xyz=0$ (B-side). Burban-Drozd classified indecomposable maximal Cohen-Macaulay modules on the B-side. We prove that higher-multiplicity band-type modules correspond to higher-rank local systems over closed geodesics on the A-side, generalizing our previous work for the multiplicity one case. This provides a geometric interpretation of the representation tameness of the band-type maximal Cohen-Macaulay modules, as every indecomposable object is realized as a geometric object. We also present an explicit canonical form of matrix factorizations of $xyz$ corresponding to Burban-Drozd's canonical form of band-type maximal Cohen-Macaulay modules. As applications, we give a geometric interpretation of algebraic operations such as AR translation and duality of maximal Cohen-Macaulay modules as well as certain mapping cone operations.


title: Almost sure convergence of stochastic Hamiltonian descent methods

abstract: Gradient normalization and soft clipping are two popular techniques for tackling instability issues and improving convergence of stochastic gradient descent (SGD) with momentum. In this article, we study these types of methods through the lens of dissipative Hamiltonian systems. Gradient normalization and certain types of soft clipping algorithms can be seen as (stochastic) implicit-explicit Euler discretizations of dissipative Hamiltonian systems, where the kinetic energy function determines the type of clipping that is applied. We make use of unified theory from dynamical systems to show that all of these schemes converge almost surely to stationary points of the objective function.


title: OQuPy: A Python package to efficiently simulate non-Markovian open quantum systems with process tensors

abstract: Non-Markovian dynamics arising from the strong coupling of a system to a structured environment is essential in many applications of quantum mechanics and emerging technologies. Deriving an accurate description of general quantum dynamics including memory effects is however a demanding task, prohibitive to standard analytical or direct numerical approaches. We present a major release of our open source software package, OQuPy (Open Quantum System in Python), which provides several recently developed numerical methods that address this challenging task. It utilizes the process tensor approach to open quantum systems in which a single map, the process tensor, captures all possible effects of an environment on the system. The representation of the process tensor in a tensor network form allows an exact yet highly efficient description of non-Markovian open quantum systems (NM-OQS). The OQuPy package provides methods to (1) compute the dynamics and multi-time correlations of quantum systems coupled to single and multiple environments, (2) optimize control protocols for NM-OQS, (3) simulate interacting chains of NM-OQS, and (4) compute the mean-field dynamics of an ensemble of NM-OQS coupled to a common central system. Our aim is to provide an easily accessible and extensible tool for researchers of open quantum systems in fields such as quantum chemistry, quantum sensing, and quantum information.


title: Security of Partially Corrupted Repeater Chains

abstract: Quantum Key Distribution allows two parties to establish a secret key that is secure against computationally unbounded adversaries. To extend the distance between parties, quantum networks, and in particular repeater chains, are vital. Typically, security in such scenarios assumes the absolute worst case: namely, an adversary has complete control over all repeaters and fiber links in a network and is able to replace them with perfect devices, thus allowing her to hide her attack within the expected natural noise. In a large-scale network, however, such a powerful attack may be infeasible. In this paper, we analyze the case where the adversary can only corrupt a contiguous subset of a repeater chain connecting Alice and Bob, while some portion of the network near Alice and Bob may be considered safe from attack (though still noisy). We derive a rigorous finite key proof of security assuming this attack model and show that improved performance and noise tolerances are possible.


title: A Deligne conjecture for prestacks

abstract: We prove an analog of the Deligne conjecture for prestacks. We show that given a prestack $\mathbb A$, its Gerstenhaber--Schack complex $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$ is naturally an $E_2$-algebra. This structure generalises both the known $\mathsf{L}_\infty$-algebra structure on $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$, as well as the Gerstenhaber algebra structure on its cohomology $\mathbf{H}_{\mathsf{GS}}(\mathbb A)$. The main ingredient is the proof of a conjecture of Hawkins \cite{hawkins}, stating that the homology of the dg operad $\mathsf{Quilt}$ has vanishing homology in positive degrees. As a corollary, $\Quilt$ is quasi-isomorphic to the operad $\mathsf{Brace}$ encoding brace algebras. In addition, we improve the $L_\infty$-structure on $\Quilt$ be showing that it originates from a $\mathsf{PreLie}_\infty$-structure lifting the $\mathsf{PreLie}$-structure on $\mathsf{Brace}$ in homology.


title: Consistent Query Answering over SHACL Constraints

abstract: The Shapes Constraint Language (SHACL) was standardized by the World Wide Web as a constraint language to describe and validate RDF data graphs. SHACL uses the notion of shapes graph to describe a set of shape constraints paired with targets, that specify which nodes of the RDF graph should satisfy which shapes. An important question in practice is how to handle data graphs that do not validate the shapes graph. A solution is to tolerate the non-validation and find ways to obtain meaningful and correct answers to queries despite the non-validation. This is known as consistent query answering (CQA) and there is extensive literature on CQA in both the database and the KR setting. We study CQA in the context of SHACL for a fundamental fragment of the Semantic Web query language SPARQL. The goal of our work is a detailed complexity analysis of CQA for various semantics and possible restrictions on the acceptable repairs. It turns out that all considered variants of the problem are intractable, with complexities ranging between the first and third level of the polynomial hierarchy.


title: Ensemble-Embedding Graph Neural Network for Direct Prediction of Optical Spectra from Crystal Structure

abstract: Optical properties in solids, such as refractive index and absorption, hold vast applications ranging from solar panels to sensors, photodetectors, and transparent displays. However, first-principles computation of optical properties from crystal structures is a complex task due to the high convergence criteria and computational cost. Recent progress in machine learning shows promise in predicting material properties, yet predicting optical properties from crystal structures remains challenging due to the lack of efficient atomic embeddings. Here, we introduce GNNOpt, an equivariance graph-neural-network architecture featuring automatic embedding optimization. This enables high-quality optical predictions with a dataset of only 944 materials. GNNOpt predicts all optical properties based on the Kramers-Kr{\"o}nig relations, including absorption coefficient, complex dielectric function, complex refractive index, and reflectance. We apply the trained model to screen photovoltaic materials based on spectroscopic limited maximum efficiency and search for quantum materials based on quantum weight. First-principles calculations validate the efficacy of the GNNOpt model, demonstrating excellent agreement in predicting the optical spectra of unseen materials. The discovery of new quantum materials with high predicted quantum weight, such as SiOs which hosts exotic quasiparticles, demonstrates GNNOpt's potential in predicting optical properties across a broad range of materials and applications.


title: Large Language Models Are Cross-Lingual Knowledge-Free Reasoners

abstract: Large Language Models have demonstrated impressive reasoning capabilities across multiple languages. However, the relationship between capabilities in different languages is less explored. In this work, we decompose the process of reasoning tasks into two separated parts: knowledge retrieval and knowledge-free reasoning, and analyze the cross-lingual transferability of them. With adapted and constructed knowledge-free reasoning datasets, we show that the knowledge-free reasoning capability can be nearly perfectly transferred across various source-target language directions despite the secondary impact of resource in some specific target languages, while cross-lingual knowledge retrieval significantly hinders the transfer. Moreover, by analyzing the hidden states and feed-forward network neuron activation during the reasoning tasks, we show that higher similarity of hidden representations and larger overlap of activated neurons could explain the better cross-lingual transferability of knowledge-free reasoning than knowledge retrieval. Thus, we hypothesize that knowledge-free reasoning embeds in some language-shared mechanism, while knowledge is stored separately in different languages.


title: Permutation Codes Correcting Multiple Deletions

abstract: Permutation codes in the Ulam metric, which can correct multiple deletions, have been investigated extensively recently owing to their applications. In this work, we are interested in the maximum size of the permutation codes in the Ulam metric and aim to design permutation codes that can correct multiple deletions with efficient decoding algorithms. We first present an improvement on the Gilbert--Varshamov bound of the maximum size of these permutation codes which is the best-known lower bound. Next, we focus on designing permutation codes in the Ulam metric with a decoding algorithm. These constructed codes are the best-known permutation codes that can correct multiple deletions. In particular, the constructed permutation codes can correct $t$ deletions with at most $(3t-1) \log n+o(\log n)$ bits of redundancy where $n$ is the length of the code. Finally, we provide an efficient decoding algorithm for our constructed permutation codes.


title: The Coherent State Transform and an Application to the Hyperbolic Laplacian

abstract: We review some basic ideas from the theory of overfilling families and use the special case of coherent states to prove Weyl asymptotics for the euclidean Laplacian and the hyperbolic Laplacian on a domain with Dirichlet boundary conditions.


title: Sampling Strategies in Bayesian Inversion: A Study of RTO and Langevin Methods

abstract: This paper studies two classes of sampling methods for the solution of inverse problems, namely Randomize-Then-Optimize (RTO), which is rooted in sensitivity analysis, and Langevin methods, which are rooted in the Bayesian framework. The two classes of methods correspond to different assumptions and yield samples from different target distributions. We highlight the main conceptual and theoretical differences between the two approaches and compare them from a practical point of view by tackling two classical inverse problems in imaging: deblurring and inpainting. We show that the choice of the sampling method has a significant impact on the quality of the reconstruction and that the RTO method is more robust to the choice of the parameters.


title: Data-driven Modeling in Metrology -- A Short Introduction, Current Developments and Future Perspectives

abstract: Mathematical models are vital to the field of metrology, playing a key role in the derivation of measurement results and the calculation of uncertainties from measurement data, informed by an understanding of the measurement process. These models generally represent the correlation between the quantity being measured and all other pertinent quantities. Such relationships are used to construct measurement systems that can interpret measurement data to generate conclusions and predictions about the measurement system itself. Classic models are typically analytical, built on fundamental physical principles. However, the rise of digital technology, expansive sensor networks, and high-performance computing hardware have led to a growing shift towards data-driven methodologies. This trend is especially prominent when dealing with large, intricate networked sensor systems in situations where there is limited expert understanding of the frequently changing real-world contexts. Here, we demonstrate the variety of opportunities that data-driven modeling presents, and how they have been already implemented in various real-world applications.


title: Dedicated beam position monitor pair for model-independent lattice characterization at NSLS-II

abstract: This paper reports recent lattice characterization results obtained at the National Synchrotron Light Source II (NSLS-II) storage ring, conducted without reliance on a lattice model. A pair of beam position monitors (BPMs) with bunch-by-bunch (B$\times$B) resolution, were recently installed in a section of the storage ring free of magnetic fields. The new BPM pair measured the beam, or bunch's transverse Poincar\'e map precisely after the beam was excited. Linear one-turn-matrices (OTM) were then derived, and from these, the 4-dimensional coupled Twiss parameters were extracted at the locations of the BPM pair. By normalizing beam oscillation amplitudes with the Twiss parameters, the global action-variables were obtained. These action-variables facilitated the measurement of the local Twiss parameters observed by other BPMs independent on lattice model. This method is general, and particularly useful in certain scenarios such as a round beam mode in a diffraction-limited light source ring. We applied it to assess both weakly and strongly coupled lattices at the NSLS-II ring. Through analysis of the strongly coupled lattice, the quadrupole tilt errors were estimated to be less than 400 \si{\mu}rad. Utilizing the BPMs' B$\times$B resolution, for the first time we observed the variations of the linear lattice along a long bunch-train.


title: Towards Communication-Efficient Peer-to-Peer Networks

abstract: We focus on designing Peer-to-Peer (P2P) networks that enable efficient communication. Over the last two decades, there has been substantial algorithmic research on distributed protocols for building P2P networks with various desirable properties such as high expansion, low diameter, and robustness to a large number of deletions. A key underlying theme in all of these works is to distributively build a \emph{random graph} topology that guarantees the above properties. Moreover, the random connectivity topology is widely deployed in many P2P systems today, including those that implement blockchains and cryptocurrencies. However, a major drawback of using a random graph topology for a P2P network is that the random topology does not respect the \emph{underlying} (Internet) communication topology. This creates a large \emph{propagation delay}, which is a major communication bottleneck in modern P2P networks. In this paper, we work towards designing P2P networks that are communication-efficient (having small propagation delay) with provable guarantees. Our main contribution is an efficient, decentralized protocol, $\textsc{Close-Weaver}$, that transforms a random graph topology embedded in an underlying Euclidean space into a topology that also respects the underlying metric. We then present efficient point-to-point routing and broadcast protocols that achieve essentially optimal performance with respect to the underlying space.


title: Adaptive Coding for Two-Way Wiretap Channel under Strong Secrecy

abstract: This paper studies adaptive coding for the two-way wiretap channel. Especially, the strong secrecy metric is of our interest that is defined by the information leakage of transmitted messages to the eavesdropper. First, we consider an adaptive coding, the construction of which is based on running the well studied non-adaptive coding in several rounds and the dependency between the adjacent rounds of transmission is introduced by the key exchange mechanism that is embedded in the non-adaptive coding in each transmission round. As a result, we analyze the reliability and strong secrecy that are measured by the decoding error probability and information leakage, characterize them in terms of the conditional R\'enyi mutual information, and derive inner bounds on the secrecy capacity regions for the TW-WC under strong joint and individual secrecy constraints. Second, we introduce another adaptive coding method that explores the correlation among the outputs at the receivers. With this approach, we show that for the two-way wiretap channel that fulfills the conditionally independent condition, positive transmission rates can be always guaranteed even under the joint secrecy constraint.


title: Light-induced percolative topological phase transition in type-II Weyl semimetal WTe2

abstract: We report on an ultrafast terahertz free-carrier dynamic study of a photo-excited WTe2 thin film. In the photo-excited state, we observe a metastable electronic state of anomaly, featuring a negative differential terahertz photoconductivity. Detailed electrodynamics analysis and first-principal calculation attribute it to light-induced topological phase transition, reducing density of states near the Fermi level. Furthermore, the emergence of an unconventional temporal isosbestic point marks a dynamic universality, strongly suggesting a percolative interaction between the two topologically distinct phases.


title: Anharmonic Incommensurate Structure Modulation in Ni-Mn-Ga Martensite Exhibiting Highly Mobile Twin Boundaries

abstract: Understanding the crystal structure of magnetic shape memory alloys is crucial for insights into their unique properties, such as the high mobility of twin boundaries and magnetic field functionality. The complex neutron diffraction patterns betweeen 10-300 K indicate an incommensurate and simultaneously anharmonic modulation function (AMF) in Ni50.0Mn27.7Ga22.3 10M martensite. Our identification of the dominant Fourier components in the AMF allowed for a comparison between calculated diffraction patterns and experiments. The AMF explains the appearance of peculiar small-intensity diffraction peaks when nearly commensurate AMF at 300 K turns to incommensurate AMF upon cooling. Further analysis reveals that divergent periodicity between the incommensurate modulation and the lattice leads to the formation of additional nanodomains. Interpreting the modulation displacements within the nanodomains in the terms of the (2-3)2 stacking sequence of basal (110) planes enables to understand that these nanodomains are emerging a/b nanotwins. The nanotwinning interlinked with incommensurate modulation also explains the transition from the tetragonal to the orthorhombic symmetry upon cooling. We identify specific low-temperature orthorhombic structures, like 34O, 24O, 14O, which are significant as their unit cell simultaneously represents an a/b-nanotwin. The ab initio calculations confirm the stability and low and comparable energy of all found nanotwinned structures. Based on the presumed stability of the nanotwinned state and literature comparisons, we propose that the low temperature state of the martensite nominally marked as five-layered modulated, 5M or 10M, is one of the specific a/b-nanotwinned configurations such as 34O, 24O, 14O. The exact choice depends on the composition, but 14O resulting from q = 3/7 is the ultimate limit with a corresponding smallest twin domain size of 3.5 nm.


title: Scale setting and hadronic properties in light quark sector with $(2+1)$-flavor Wilson fermions at the physical point

abstract: We report scale setting and hadronic properties for our new lattice QCD gauge configuration set (HAL-conf-2023). We employ $(2+1)$-flavor nonperturbatively improved Wilson fermions with stout smearing and the Iwasaki gauge action on a $96^4$ lattice, and generate configurations of 8,000 trajectories at the physical point. We show the basic properties of the configurations such as the plaquette value, topological charge distribution and their auto-correlation times. The scale setting is performed by detailed analyses of the $\Omega$ baryon mass. We calculate the physical results of quark masses, decay constants of pseudoscalar mesons and single hadron spectra in light quark sector. The masses of the stable hadrons are found to agree with the experimental values within a sub-percent level.


title: Cubic regularized subspace Newton for non-convex optimization

abstract: This paper addresses the optimization problem of minimizing non-convex continuous functions, which is relevant in the context of high-dimensional machine learning applications characterized by over-parametrization. We analyze a randomized coordinate second-order method named SSCN which can be interpreted as applying cubic regularization in random subspaces. This approach effectively reduces the computational complexity associated with utilizing second-order information, rendering it applicable in higher-dimensional scenarios. Theoretically, we establish convergence guarantees for non-convex functions, with interpolating rates for arbitrary subspace sizes and allowing inexact curvature estimation. When increasing subspace size, our complexity matches $\mathcal{O}(\epsilon^{-3/2})$ of the cubic regularization (CR) rate. Additionally, we propose an adaptive sampling scheme ensuring exact convergence rate of $\mathcal{O}(\epsilon^{-3/2}, \epsilon^{-3})$ to a second-order stationary point, even without sampling all coordinates. Experimental results demonstrate substantial speed-ups achieved by SSCN compared to conventional first-order methods.


title: On the approximation of the zeta function by Dirichlet polynomials

abstract: We prove that for $s=\sigma+it$ with $\sigma\ge0$ and $0<t\le x$, we have \[\zeta(s)=\sum_{n\le x}n^{-s}+\frac{x^{1-s}}{(s-1)}+\Theta\frac{29}{14} x^{-\sigma},\qquad \frac{29}{14}=2.07142\dots\] where $\Theta$ is a complex number with $|\Theta|\le1$. This improves Theorem 4.11 of Titchmarsh.


title: The $1$-nearly vertex independence number of a graph

abstract: Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. A set $I_0(G) \subseteq V(G)$ is a vertex independent set if no two vertices in $I_0(G)$ are adjacent in $G$. We study $\alpha_1(G)$, which is the maximum cardinality of a set $I_1(G) \subseteq V(G)$ that contains exactly one pair of adjacent vertices of $G$. We call $I_1(G)$ a $1$-nearly vertex independent set of $G$ and $\alpha_1(G)$ a $1$-nearly vertex independence number of $G$. We provide some cases of explicit formulas for $\alpha_1$. Furthermore, we prove a tight lower (resp. upper) bound on $\alpha_1$ for graphs of order $n$. The extremal graphs that achieve equality on each bound are fully characterised.


title: The filter of interpretability types of Hobby-McKenzie varieties is prime

abstract: We study the Hobby-McKenzie varieties that constitute a major class investigated thoroughly in the monograph The shape of congruence lattices by Kearnes and Kiss. We obtain new characterizations of the Hobby-McKenzie varieties via compatible reflexive ternary structures. Based on our findings, we prove that in the lattice of interpretability types of varieties, the filter of the interpretability types of Hobby-McKenzie varieties is prime.


title: Inverse problem of analog gravity systems II: rotation and energy-dependent boundary conditions

abstract: In this work, we study the inverse problem of analog gravity systems which admit rotation and energy-dependent boundary conditions. By extending two recent results, we provide a recipe that allows one to relate resonant transmission spectra with effective potentials and even reconstruct the boundary condition at the core. Our methodology is based on the WKB method and the identification of universal features in the transmission. One of the main advantages of this method is that it is parameter-free, and relies only on general properties of the underlying potential, instead of specific models. While the reconstruction of underlying potentials is generally not uniquely possible, the inverse method provides effective potentials with similar spectral properties to the original one. To demonstrate the accuracy and scope of our method, we apply it to a rotating imperfect draining vortex, which has been proposed as an analog system to astrophysical extreme compact objects. We conclude that the capability to explore energy-dependent boundary conditions could be of interest for experimental studies of such systems.