title: Comparison between a priori and a posteriori slope limiters for high-order finite volume schemes

abstract: High-order finite volume and finite element methods offer impressive accuracy and cost efficiency when solving hyperbolic conservation laws with smooth solutions. However, if the solution contains discontinuities, these high-order methods can introduce unphysical oscillations and severe overshoots/undershoots. Slope limiters are an effective remedy, combating these oscillations by preserving monotonicity. Some limiters can even maintain a strict maximum principle in the numerical solution. They can be classified into one of two categories: \textit{a priori} and \textit{a posteriori} limiters. The former revises the high-order solution based only on data at the current time $t^n$, while the latter involves computing a candidate solution at $t^{n+1}$ and iteratively recomputing it until some conditions are satisfied. These two limiting paradigms are available for both finite volume and finite element methods. In this work, we develop a methodology to compare \textit{a priori} and \textit{a posteriori} limiters for finite volume solvers at arbitrarily high order. We select the maximum principle preserving scheme presented in \cite{zhang2011maximum, zhang2010maximum} as our \textit{a priori} limited scheme. For \textit{a posteriori} limiting, we adopt the methodology presented in \cite{clain2011high} and search for so-called \textit{troubled cells} in the candidate solution. We revise them with a robust MUSCL fallback scheme. The linear advection equation is solved in both one and two dimensions and we compare variations of these limited schemes based on their ability to maintain a maximum principle, solution quality over long time integration and computational cost. ...


title: Multi-Stage Watermarking for Quantum Circuits

abstract: Quantum computing represents a burgeoning computational paradigm that significantly advances the resolution of contemporary intricate problems across various domains, including cryptography, chemistry, and machine learning. Quantum circuits tailored to address specific problems have emerged as critical intellectual properties (IPs) for quantum computing companies, attributing to the escalating commercial value of quantum computing. Consequently, designing watermarking schemes for quantum circuits becomes imperative to thwart malicious entities from producing unauthorized circuit replicas and unlawfully disseminating them within the market. Unfortunately, the prevailing watermarking technique reliant on unitary matrix decomposition markedly inflates the number of 2-qubit gates and circuit depth, thereby compromising the fidelity of watermarked circuits when embedding detectable signatures into the corresponding unitary matrices. In this paper, we propose an innovative multi-stage watermarking scheme for quantum circuits, introducing additional constraints across various synthesis stages to validate the ownership of IPs. Compared to the state-of-the-art watermarking technique, our multi-stage watermarking approach demonstrates, on average, a reduction in the number of 2-qubit gates by 16\% and circuit depth by 6\%, alongside an increase in the fidelity of watermarked circuits by 8\%, while achieving a 79.4\% lower probabilistic proof of authorship.


title: Implicit Update of the Moment Equations for a Multi-Species, Homogeneous BGK Model

abstract: A simple iterative approach for solving a set of implicit kinetic moment equations is proposed. This implicit solve is a key component in the IMEX discretization of the multi-species Bhatnagar-Gross-Krook (M-BGK) model with nontrivial collision frequencies depending on individual species temperatures. We prove that under mild time step restrictions, the iterative method generates a contraction mapping. Numerical simulations are provided to illustrate results of the IMEX scheme using the implicit moment solver.


title: Fashion Recommendation: Outfit Compatibility using GNN

abstract: Numerous industries have benefited from the use of machine learning and fashion in industry is no exception. By gaining a better understanding of what makes a good outfit, companies can provide useful product recommendations to their users. In this project, we follow two existing approaches that employ graphs to represent outfits and use modified versions of the Graph neural network (GNN) frameworks. Both Node-wise Graph Neural Network (NGNN) and Hypergraph Neural Network aim to score a set of items according to the outfit compatibility of items. The data used is the Polyvore Dataset which consists of curated outfits with product images and text descriptions for each product in an outfit. We recreate the analysis on a subset of this data and compare the two existing models on their performance on two tasks Fill in the blank (FITB): finding an item that completes an outfit, and Compatibility prediction: estimating compatibility of different items grouped as an outfit. We can replicate the results directionally and find that HGNN does have a slightly better performance on both tasks. On top of replicating the results of the two papers we also tried to use embeddings generated from a vision transformer and witness enhanced prediction accuracy across the board


title: Variational Optimization for Quantum Problems using Deep Generative Networks

abstract: Optimization is one of the keystones of modern science and engineering. Its applications in quantum technology and machine learning helped nurture variational quantum algorithms and generative AI respectively. We propose a general approach to design variational optimization algorithms based on generative models: the Variational Generative Optimization Network (VGON). To demonstrate its broad applicability, we apply VGON to three quantum tasks: finding the best state in an entanglement-detection protocol, finding the ground state of a 1D quantum spin model with variational quantum circuits, and generating degenerate ground states of many-body quantum Hamiltonians. For the first task, VGON greatly reduces the optimization time compared to stochastic gradient descent while generating nearly optimal quantum states. For the second task, VGON alleviates the barren plateau problem in variational quantum circuits. For the final task, VGON can identify the degenerate ground state spaces after a single stage of training and generate a variety of states therein.


title: Pose-aware 3D Beamwidth Adaptation for Mobile Extended Reality

abstract: This paper presents a sensor-aided pose-aware beamwidth adaptation design for a conceptual extended reality (XR) Head-Mounted Display (HMD) equipped with a 2D planar array. The beam is tracked and adapted on the user side by leveraging HMD orientation estimates. The beamwidth adaptation scheme is effected by selective deactivation of elements in the 2D antenna array, employing the angular estimation covariance matrix to overlap the beam with the estimation confidence interval. The proposed method utilizes the estimation correlations to adapt the beamwidth along the confidence interval of these estimates. Compared to a beamwidth adaptation without leveraging estimation correlations, the proposed method demonstrates the gain of leveraging estimation correlations by improving the coverage area for a given outage probability threshold by approximately 16%, or equivalently increasing the power efficiency up to 18%.


title: Utilizing Large Language Models for Information Extraction from Real Estate Transactions

abstract: Real estate sales contracts contain crucial information for property transactions, but manual extraction of data can be time-consuming and error-prone. This paper explores the application of large language models, specifically transformer-based architectures, for automated information extraction from real estate contracts. We discuss challenges, techniques, and future directions in leveraging these models to improve efficiency and accuracy in real estate contract analysis.


title: Decay property of stopped $M^X/M/1$-queueing networks

abstract: In this paper, we mainly consider the decay property of stopped $M^X/M/1$-queueing networks with $d (\geq 2)$ nodes. The exact value of the decay parameter $\lambda_{\mathcal{C}}$ is obtained by using a new method. Then, the corresponding $\lambda_{\mathcal{C}}$-invariant measures and quasi-distributions are presented.


title: Blood Works for Graphene Production

abstract: Blood, a ubiquitous and fundamental carbohydrate material composed of plasma, red blood cells, white blood cells, and platelets, has been playing an important role in biology, life science, history, and religious study, while graphene has garnered significant attention due to its exceptional properties and extensive range of potential applications. Achieving environmentally friendly, cost-effective growth using hybrid precursors and obtaining high-quality graphene through a straightforward CVD process has been traditionally considered mutually exclusive. This study demonstrates that we can produce high-quality graphene domains with controlled thickness through a one-step growth process at atmospheric pressure using blood as a precursor. Raman spectroscopy confirms the uniformity of the blood-grown graphene films, and observing the half-integer quantum Hall effect in the measured devices highlights its outstanding electronic properties. This unprecedented approach opens possibilities for blood application, facilitating an unconventional route in graphene growth applications.


title: Fast Beam Training and Performance Analysis for Extremely Large Aperture Array

abstract: Extremely large aperture array (ELAA) can significantly enhance beamforming gain and spectral efficiency. Unfortunately, the use of narrower beams for data transmission results in a substantial increase in the cost of beam training. In this paper, we study a high-efficiency and low-overhead scheme named hash beam training. Specifically, two improved hash codebook design methods, random and fixed, are proposed. Moreover, we analyze beam alignment performance. Since the derived beam alignment success probability is a complex function, we also propose a heuristic metric to evaluate the impact of codebook parameter on performance. Finally, simulation results validate the theoretical analysis, indicating that the proposed beam training scheme can achieve fast beam alignment with lower overhead and higher accuracy.


title: LIKO: LiDAR, Inertial, and Kinematic Odometry for Bipedal Robots

abstract: High-frequency and accurate state estimation is crucial for biped robots. This paper presents a tightly-coupled LiDAR-Inertial-Kinematic Odometry (LIKO) for biped robot state estimation based on an iterated extended Kalman filter. Beyond state estimation, the foot contact position is also modeled and estimated. This allows for both position and velocity updates from kinematic measurement. Additionally, the use of kinematic measurement results in an increased output state frequency of about 1kHz. This ensures temporal continuity of the estimated state and makes it practical for control purposes of biped robots. We also announce a biped robot dataset consisting of LiDAR, inertial measurement unit (IMU), joint encoders, force/torque (F/T) sensors, and motion capture ground truth to evaluate the proposed method. The dataset is collected during robot locomotion, and our approach reached the best quantitative result among other LIO-based methods and biped robot state estimation algorithms. The dataset and source code will be available at https://github.com/Mr-Zqr/LIKO.


title: Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

abstract: Many techniques for automated inference of inductive invariants for distributed protocols have been developed over the past several years, but their performance can still be unpredictable and their failure modes opaque for large-scale verification tasks. In this paper, we present inductive proof slicing, a new automated, compositional technique for inductive invariant inference that scales effectively to large distributed protocol verification tasks. Our technique is built on a core, novel data structure, the inductive proof graph, which explicitly represents the lemma and action dependencies of an inductive invariant and is built incrementally during the inference procedure, backwards from a target safety property. We present an invariant inference algorithm that integrates localized syntax-guided lemma synthesis routines at nodes of this graph, which are accelerated by computation of localized grammar and state variable slices. Additionally, in the case of failure to produce a complete inductive invariant, maintenance of this proof graph structure allows failures to be localized to small sub-components of this graph, enabling fine-grained failure diagnosis and repair by a user. We evaluate our technique on several complex distributed and concurrent protocols, including a large scale specification of the Raft consensus protocol, which is beyond the capabilities of modern distributed protocol verification tools, and also demonstrate how its interpretability features allow effective diagnosis and repair in cases of initial failure.


title: Construction of local antimagic 3-colorable graphs of fixed even size -- matrix approach

abstract: An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $\chi_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. Suppose $\chi_{la}(G)=\chi_{la}(H)$ and $G_H$ is obtained from $G$ and $H$ by merging some vertices of $G$ with some vertices of $H$ bijectively. In this paper, we give ways to construct matrices with integers in $[1,10k]$, $k\ge 1$, that meet certain properties. Consequently, we obtained many families of (disconnected) bipartite (and tripartite) graphs of size $10k$ with local antimagic chromatic number 3.


title: Deformability, inherent mechanical properties and chemical bonding of Al11Nd3 in Al-Nd target material

abstract: Microstructure uniformity of the Al-Nd target materials with Al11Nd3 significantly affects the performance of the fabricated film, which is widely used as wiring material in largesize thin-film transistor liquid crystal display (TFT-LCD) panels. Understanding the inherent mechanical properties and chemical bonds of Al11Nd3 is crucial for homogenizing the Al-Nd target. Here, by a combined experimental and ab-initio theoretical study, the microstructure and deformability of the Al-3wt%Nd alloy and the inherent mechanical properties and chemical bonds of Al11Nd3 are investigated comprehensively. The Al-3wt%Nd alloy is composed of the pre-eutectic {\alpha}-Al matrix and the eutectic {\alpha}-Al and a high stable {\alpha}-Al11Nd3 phases. During the plastic deformation, the eutectic microstructure transforms from a cellular to a lamellar shape, while the morphology and dimension of {\alpha}-Al11Nd3 are not changed significantly. By examining ideal tensile strength, elastic moduli, hardness and brittleness-ductility, the hardnessbrittleness of {\alpha}-Al11Nd3 is quantitatively evaluated, accounting for its difficulties of plastic deformation and fragmentation. Combining band structure, population analysis, topological analysis and crystal orbital Hamilton population, it is revealed that {\alpha}-Al11Nd3 possesses two types of chemical bonds: the Nd-Al and Al-Al bonds. The former is a typical ionic bond with electron transfer from Nd to Al, while the latter, dominated by both 3s-3p and 3p-3p interactions, is a weak covalent bond. The mixed chemical bond is responsible for the high hardness-brittleness of {\alpha}-Al11Nd3. This work is expected to lay a foundation for Al-Nd alloy and catalyze the fabrication of high-quality Al-Nd target materials.


title: Liouville type theorems for the 3D stationary MHD and Hall-MHD equations with non-zero constant vectors at infinity

abstract: In this paper, we investigate Liouville type theorems for the three-dimensional steady-state MHD or Hall-MHD system under some asymptotic assumptions at infinity. Firstly, for the Hall-MHD system we obtain that $u$ and $B$ are constant vectors for any fluid viscosity, magnetic resistivity or Hall-coefficient when the magnetic field $B$ tends to a non-zero constant vector at infinity while the velocity field $u$ tends to $0$. Secondly, it also follows that $u$ and $B$ are constant for the Hall-MHD system when the velocity field tends to a constant vector at infinity while the magnetic field tends to $0$ without any assumptions on viscosity, magnetic resistivity or Hall-coefficient. One main difficulty lies in the Hall term, and we obtain the $L^p$ estimates of a generalized Oseen system with some supercritical terms via Lizorkin's theory and prove that the operator is stable by exploring Kato's stability theorem. Moreover, some similar results for the degenerate fluid viscosity or magnetic resistivity for the MHD system are also obtained, which is independent of interest.


title: Topological Origin of Floquet Thermalization in Periodically Driven Many-body Systems

abstract: Floquet engineering is a powerful manipulation method in modern quantum technology. However, unwanted heating is the main challenge of Floquet engineering, therefore the Floquet thermalization has attracting considerable attentions recently. In this work, we investigate thermalization of periodically driven many-body systems through the lens of Krylov complexity, and find a topological origin of different thermalization behaviors. We demonstrate that If the topology of the Krylov chain is nontrivial, a periodically driven system will reach a state with finite temperature. When the Krylov chain is topologically trivial, the system will be heated to infinite temperature. We further show that the prethermalization can be understood as the tunnelling process of a quasi-edge mode through the local gap on Krylov chain. This picture provides a systematically method to obtain the effective prethermal Hamiltonian.


title: Binary duadic codes and their related codes with a square-root-like lower bound

abstract: Binary cyclic codes have been a hot topic for many years, and significant progress has been made in the study of this types of codes. As is well known, it is hard to construct infinite families of binary cyclic codes [n, n+1/2] with good minimum distance. In this paper, by using the BCH bound on cyclic codes, one of the open problems proposed by Liu et al. about binary cyclic codes (Finite Field Appl 91:102270, 2023) is settled. Specially, we present several families of binary duadic codes with length 2^m-1 and dimension 2^(m-1), and the minimum distances have a square-root-like lower bound. As a by-product, the parameters of their dual codes and extended codes are provided, where the latter are self-dual and doubly-even.


title: Mass-preserving Spatio-temporal adaptive PINN for Cahn-Hilliard equations with strong nonlinearity and singularity

abstract: As one kind important phase field equations, Cahn-Hilliard equations contain spatial high order derivatives, strong nonlinearities, and even singularities. When using the physics informed neural network (PINN) to simulate the long time evolution, it is necessary to decompose the time domain to capture the transition of solutions in different time. Moreover, the baseline PINN can't maintain the mass conservation property for the equations. We propose a mass-preserving spatio-temporal adaptive PINN. This method adaptively dividing the time domain according to the rate of energy decrease, and solves the Cahn-Hilliard equation in each time step using an independent neural network. To improve the prediction accuracy, spatial adaptive sampling is employed in the subdomain to select points with large residual value and add them to the training samples. Additionally, a mass constraint is added to the loss function to compensate the mass degradation problem of the PINN method in solving the Cahn-Hilliard equations. The mass-preserving spatio-temporal adaptive PINN is employed to solve a series of numerical examples. These include the Cahn-Hilliard equations with different bulk potentials, the three dimensional Cahn-Hilliard equation with singularities, and the set of Cahn-Hilliard equations. The numerical results demonstrate the effectiveness of the proposed algorithm.


title: Enhanced torque efficiency in ferromagnetic multilayers by introducing naturally oxidized Cu

abstract: Spin-orbit torque (SOT) in the heavy elements with a large spin-orbit coupling (SOC) has been frequently used to manipulate the magnetic states in spintronic devices. Recent theoretical works have predicted that the surface oxidized light elements with a negligible SOC can yield a sizable orbital torque (OT), which plays an important role in switching the magnetization. Here, we report anomalous-Hall-resistance and harmonic-Hall-voltage measurements on perpendicularly magnetized Ta/Cu/[Ni/Co]$_5$/Cu-CuO$_x$ multilayers. Both torque efficiency and spin-Hall angle of these multilayers are largely enhanced by introducing a naturally oxidized Cu-CuO$_x$ layer, where the SOC is negligible. Such an enhancement is mainly due to the collaborative driven of the SOT from the Ta layer and the OT from the Cu/CuO$_x$ interface, and can be tuned by controlling the thickness of Cu-CuO$_x$ layer. Compared to the Cu-CuO$_x$-free multilayers, the maximum torque efficiency and spin-Hall angle were enhanced by a factor of ten, larger than most of the reported values in the other heterostructures.


title: The rigidity of biconservative surfaces in Sol3

abstract: We consider biconservative surfaces in Sol3, find their local equations, and then show that all biharmonic surfaces in this space are minimal.


title: Efficient LLM Inference with Kcache

abstract: Large Language Models(LLMs) have had a profound impact on AI applications, particularly in the domains of long-text comprehension and generation. KV Cache technology is one of the most widely used techniques in the industry. It ensures efficient sequence generation by caching previously computed KV states. However, it also introduces significant memory overhead. We discovered that KV Cache is not necessary and proposed a novel KCache technique to alleviate the memory bottleneck issue during the LLMs inference process. KCache can be used directly for inference without any training process, Our evaluations show that KCache improves the throughput of popular LLMs by 40% with the baseline, while keeping accuracy.


title: Joint Reference Frame Synthesis and Post Filter Enhancement for Versatile Video Coding

abstract: This paper presents the joint reference frame synthesis (RFS) and post-processing filter enhancement (PFE) for Versatile Video Coding (VVC), aiming to explore the combination of different neural network-based video coding (NNVC) tools to better utilize the hierarchical bi-directional coding structure of VVC. Both RFS and PFE utilize the Space-Time Enhancement Network (STENet), which receives two input frames with artifacts and produces two enhanced frames with suppressed artifacts, along with an intermediate synthesized frame. STENet comprises two pipelines, the synthesis pipeline and the enhancement pipeline, tailored for different purposes. During RFS, two reconstructed frames are sent into STENet's synthesis pipeline to synthesize a virtual reference frame, similar to the current to-be-coded frame. The synthesized frame serves as an additional reference frame inserted into the reference picture list (RPL). During PFE, two reconstructed frames are fed into STENet's enhancement pipeline to alleviate their artifacts and distortions, resulting in enhanced frames with reduced artifacts and distortions. To reduce inference complexity, we propose joint inference of RFS and PFE (JISE), achieved through a single execution of STENet. Integrated into the VVC reference software VTM-15.0, RFS, PFE, and JISE are coordinated within a novel Space-Time Enhancement Window (STEW) under Random Access (RA) configuration. The proposed method could achieve -7.34%/-17.21%/-16.65% PSNR-based BD-rate on average for three components under RA configuration.


title: Ferroelectricity in twisted double bilayer graphene

abstract: Two-dimensional ferroelectrics can maintain vertical polarization up to room temperature, and are, therefore, promising for next-generation nonvolatile memories. Although natural two-dimensional ferroelectrics are few, moir\'{e} superlattices provide us with a generalized method to construct ferroelectrics from non-ferroelectric parent materials. We report a realization of ferroelectric hysteresis in a AB-BA stacked twisted double bilayer graphene (TDBG) system. The ferroelectric polarization is prominent at zero external displacement field and reduces upon increasing displacement fields. TDBG in the AB-BA configuration possesses a superlattice of non-centrosymmetric domains, exhibiting alternatively switchable polarities even without the assistance of any boron nitride layers; however, in the AB-AB stacking case, the development of polarized domains necessitates the presence of a second superlattice induced by the adjacent boron nitride layer. Therefore, twisted multilayer graphene systems offer us a fascinating field to explore two-dimensional ferroelectricity.


title: Prompt Customization for Continual Learning

abstract: Contemporary continual learning approaches typically select prompts from a pool, which function as supplementary inputs to a pre-trained model. However, this strategy is hindered by the inherent noise of its selection approach when handling increasing tasks. In response to these challenges, we reformulate the prompting approach for continual learning and propose the prompt customization (PC) method. PC mainly comprises a prompt generation module (PGM) and a prompt modulation module (PMM). In contrast to conventional methods that employ hard prompt selection, PGM assigns different coefficients to prompts from a fixed-sized pool of prompts and generates tailored prompts. Moreover, PMM further modulates the prompts by adaptively assigning weights according to the correlations between input data and corresponding prompts. We evaluate our method on four benchmark datasets for three diverse settings, including the class, domain, and task-agnostic incremental learning tasks. Experimental results demonstrate consistent improvement (by up to 16.2\%), yielded by the proposed method, over the state-of-the-art (SOTA) techniques.


title: Gate control of 2D magnetism in tri- and four-layers $\rm CrI_3$/graphene heterostructures

abstract: We conduct experimental studies on the electrical transport properties of monolayer graphene directly covered by a few layers of $\rm CrI_3$. We do not observe the expected magnetic exchange coupling in the graphene but instead discover proximity effects featuring gate and magnetic field tunability. The tunability of gate voltage is manifested in the alignment of the lowest conduction band of $\rm CrI_3$ and the Fermi level of graphene, which can be controlled by the gate voltage. The coexistence of the normal and atypical quantum Hall effects in our device also corresponds to gate-control modulation doping. The lowest conduction band depends on the magnetic states of the $\rm CrI_3$ and can be altered by the magnetic field, which corresponds to the resistance loops during back-and-forth sweeps of the magnetic field. Our results serve as a reference for exploiting the magnetic proximity effects in graphene.


title: Compressed Image Captioning using CNN-based Encoder-Decoder Framework

abstract: In today's world, image processing plays a crucial role across various fields, from scientific research to industrial applications. But one particularly exciting application is image captioning. The potential impact of effective image captioning is vast. It can significantly boost the accuracy of search engines, making it easier to find relevant information. Moreover, it can greatly enhance accessibility for visually impaired individuals, providing them with a more immersive experience of digital content. However, despite its promise, image captioning presents several challenges. One major hurdle is extracting meaningful visual information from images and transforming it into coherent language. This requires bridging the gap between the visual and linguistic domains, a task that demands sophisticated algorithms and models. Our project is focused on addressing these challenges by developing an automatic image captioning architecture that combines the strengths of convolutional neural networks (CNNs) and encoder-decoder models. The CNN model is used to extract the visual features from images, and later, with the help of the encoder-decoder framework, captions are generated. We also did a performance comparison where we delved into the realm of pre-trained CNN models, experimenting with multiple architectures to understand their performance variations. In our quest for optimization, we also explored the integration of frequency regularization techniques to compress the "AlexNet" and "EfficientNetB0" model. We aimed to see if this compressed model could maintain its effectiveness in generating image captions while being more resource-efficient.


title: Machine Learning Techniques for Data Reduction of CFD Applications

abstract: We present an approach called guaranteed block autoencoder that leverages Tensor Correlations (GBATC) for reducing the spatiotemporal data generated by computational fluid dynamics (CFD) and other scientific applications. It uses a multidimensional block of tensors (spanning in space and time) for both input and output, capturing the spatiotemporal and interspecies relationship within a tensor. The tensor consists of species that represent different elements in a CFD simulation. To guarantee the error bound of the reconstructed data, principal component analysis (PCA) is applied to the residual between the original and reconstructed data. This yields a basis matrix, which is then used to project the residual of each instance. The resulting coefficients are retained to enable accurate reconstruction. Experimental results demonstrate that our approach can deliver two orders of magnitude in reduction while still keeping the errors of primary data under scientifically acceptable bounds. Compared to reduction-based approaches based on SZ, our method achieves a substantially higher compression ratio for a given error bound or a better error for a given compression ratio.


title: Affine Yangians and some cosets of non-rectangular $W$-algebras

abstract: We construct a homomorphism from the affine Yangian associated with $\widehat{\mathfrak{sl}}(q_u-q_{u+1})$ to the universal enveloping algebra of a $W$-algebra associated with $\mathfrak{gl}(\sum_{s=1}^lq_s)$ and a nilpotent element of type $(1^{q_1-q_2},2^{q_2-q_3},\dots,(l-1)^{q_{l-1}-q_l},l^{q_l})$ by using the coproduct and evaluation map for the affine Yangian and the Miura map for non-rectangular $W$-algebras. As an application, we give a homomorphism from the affine Yangian to some cosets of non-rectangular $W$-algebras.


title: Grounded Compositional and Diverse Text-to-3D with Pretrained Multi-View Diffusion Model

abstract: In this paper, we propose an effective two-stage approach named Grounded-Dreamer to generate 3D assets that can accurately follow complex, compositional text prompts while achieving high fidelity by using a pre-trained multi-view diffusion model. Multi-view diffusion models, such as MVDream, have shown to generate high-fidelity 3D assets using score distillation sampling (SDS). However, applied naively, these methods often fail to comprehend compositional text prompts, and may often entirely omit certain subjects or parts. To address this issue, we first advocate leveraging text-guided 4-view images as the bottleneck in the text-to-3D pipeline. We then introduce an attention refocusing mechanism to encourage text-aligned 4-view image generation, without the necessity to re-train the multi-view diffusion model or craft a high-quality compositional 3D dataset. We further propose a hybrid optimization strategy to encourage synergy between the SDS loss and the sparse RGB reference images. Our method consistently outperforms previous state-of-the-art (SOTA) methods in generating compositional 3D assets, excelling in both quality and accuracy, and enabling diverse 3D from the same text prompt.


title: Quantized Context Based LIF Neurons for Recurrent Spiking Neural Networks in 45nm

abstract: In this study, we propose the first hardware implementation of a context-based recurrent spiking neural network (RSNN) emphasizing on integrating dual information streams within the neocortical pyramidal neurons specifically Context- Dependent Leaky Integrate and Fire (CLIF) neuron models, essential element in RSNN. We present a quantized version of the CLIF neuron (qCLIF), developed through a hardware-software codesign approach utilizing the sparse activity of RSNN. Implemented in a 45nm technology node, the qCLIF is compact (900um^2) and achieves a high accuracy of 90% despite 8 bit quantization on DVS gesture classification dataset. Our analysis spans a network configuration from 10 to 200 qCLIF neurons, supporting up to 82k synapses within a 1.86 mm^2 footprint, demonstrating scalability and efficiency


title: Type Inference for Isabelle2Cpp

abstract: Isabelle2Cpp is a code generation framework that supports automatic generation of C++ code from Isabelle/HOL specifications. However, if some type information of Isabelle/HOL specification is missing, Isabelle2Cpp may not complete the code generation automatically. In order to solve this problem, this paper provides a type system for Isabelle2Cpp, which is used to perform type inference and type unification for expressions of the intermediate representation in Isabelle2Cpp. The system introduces new type inference rules and unification algorithms to enhance the Isabelle2Cpp framework. By incorporating the type system, the Isabelle2Cpp framework can provide more comprehensive type information for expression generation, which leads to more complete and accurate C++ code.


title: A Plasma-Based Approach for High-Power Tunable Microwave Varactors

abstract: This work presents a tunable varactor with tunability in the range of 100s of MHz and a capacitance delta of about 36 pF by employing a perpendicular magnetic field to a capacitively-coupled (CCP) RF plasma cell. A comprehensive high-frequency circuit model for the fabricated varactor is proposed and verified experimentally for a plasma electron number density of $2.95\times10^{17}m^{-3}$ which has a tunability of 146 MHz with a magnetic flux density ranging from 0 to 246 milliTesla. Under a pressure of 64 milliTorrs, the Argon ccp was found to have a variable capacitance ranging from 4 pF to 41.72 pF.


title: Local Discontinuous Galerkin method for fractional Korteweg-de Vries equation

abstract: We propose a local discontinuous Galerkin (LDG) method for fractional Korteweg-de Vries equation involving the fractional Laplacian with exponent $\alpha\in (1,2)$ in one and two space dimensions. By decomposing the fractional Laplacian into a first order derivative and a fractional integral, we prove $L^2$-stability of the semi-discrete LDG scheme incorporating suitable interface and boundary fluxes. We analyze the error estimate by considering linear convection term and utilizing the estimate, we derive the error estimate for general nonlinear flux and demonstrate an order of convergence $\mathcal{O}(h^{k+1/2})$. Moreover, the stability and error analysis have been extended to multiple space dimensional case. Additionally, we devise a fully discrete LDG scheme using the four-stage fourth-order Runge-Kutta method. We prove that the scheme is strongly stable under an appropriate time step constraint by establishing a \emph{three-step strong stability} estimate. Numerical illustrations are shown to demonstrate the efficiency of the scheme by obtaining an optimal order of convergence.


title: Calabi-Yau metrics of Calabi type with polynomial rate of convergence

abstract: We present new complete Calabi-Yau metrics defined on the complement of a smooth anticanonical divisor with ample normal bundle, approaching the Calabi model space at a polynomial rate. Moreover, we establish the uniqueness of this type of Calabi-Yau metric within a fixed cohomology class.


title: Can Perplexity Predict Fine-Tuning Performance? An Investigation of Tokenization Effects on Sequential Language Models for Nepali

abstract: Recent language models use subwording mechanisms to handle Out-of-Vocabulary(OOV) words seen during test time and, their generation capacity is generally measured using perplexity, an intrinsic metric. It is known that increasing the subword granularity results in a decrease of perplexity value. However, the study of how subwording affects the understanding capacity of language models has been very few and only limited to a handful of languages. To reduce this gap we used 6 different tokenization schemes to pretrain relatively small language models in Nepali and used the representations learned to finetune on several downstream tasks. Although byte-level BPE algorithm has been used in recent models like GPT, RoBERTa we show that on average they are sub-optimal in comparison to algorithms such as SentencePiece in finetuning performances for Nepali. Additionally, similar recent studies have focused on the Bert-based language model. We, however, pretrain and finetune sequential transformer-based language models.


title: Contextual Spelling Correction with Language Model for Low-resource Setting

abstract: The task of Spell Correction(SC) in low-resource languages presents a significant challenge due to the availability of only a limited corpus of data and no annotated spelling correction datasets. To tackle these challenges a small-scale word-based transformer LM is trained to provide the SC model with contextual understanding. Further, the probabilistic error rules are extracted from the corpus in an unsupervised way to model the tendency of error happening(error model). Then the combination of LM and error model is used to develop the SC model through the well-known noisy channel framework. The effectiveness of this approach is demonstrated through experiments on the Nepali language where there is access to just an unprocessed corpus of textual data.


title: Charge and spin density wave orders in field-biased Bernal bilayer graphene

abstract: This paper aims to clarify the nature of a surprising ordered phase recently reported in biased Bernal bilayer graphene that occurs at the phase boundary between the isospin-polarized and unpolarized phases. Strong nonlinearity of transport at abnormally small currents, with $dI/dV$ vs. $I$ sharply rising and then falling back, is typical for a charge/spin-density-wave state (CDW or SDW) sliding transport. Here, however, it is observed at an isospin-order phase boundary, prompting a question about the CDW/SDW mechanism and its relation to the quantum critical point. We argue that the observed phase diagram cannot be understood within a standard weak-coupling picture. Rather, it points to a mechanism that relies on an effective interaction enhancement at a quantum critical point. We develop a detailed strong-coupling framework accounting for the soft collective modes that explain these observations.


title: MMAC-Copilot: Multi-modal Agent Collaboration Operating System Copilot

abstract: Autonomous virtual agents are often limited by their singular mode of interaction with real-world environments, restricting their versatility. To address this, we propose the Multi-Modal Agent Collaboration framework (MMAC-Copilot), a framework utilizes the collective expertise of diverse agents to enhance interaction ability with operating systems. The framework introduces a team collaboration chain, enabling each participating agent to contribute insights based on their specific domain knowledge, effectively reducing the hallucination associated with knowledge domain gaps. To evaluate the performance of MMAC-Copilot, we conducted experiments using both the GAIA benchmark and our newly introduced Visual Interaction Benchmark (VIBench). VIBench focuses on non-API-interactable applications across various domains, including 3D gaming, recreation, and office scenarios. MMAC-Copilot achieved exceptional performance on GAIA, with an average improvement of 6.8\% over existing leading systems. Furthermore, it demonstrated remarkable capability on VIBench, particularly in managing various methods of interaction within systems and applications. These results underscore MMAC-Copilot's potential in advancing the field of autonomous virtual agents through its innovative approach to agent collaboration.


title: Comparing E-bike and Conventional Bicycle Use Patterns in a Public Bike Share System: A Case Study of Richmond, VA

abstract: The results show that pedelecs are generally associated with longer trip distances, shorter trip times, higher speeds, and lower rates of uphill elevation change. The origin-destination analysis considering the business, mixed use, residential, and other uses shows extremely similar trends, with a large number of trips staying within either business or residential locations or mixed use. The roadway use analysis shows that pedelecs are used farther outside of the city than bikes.


title: Gravitational wave radiation from magnetar-driven supernovae

abstract: Rapidly spinning magnetars are potential candidates for the energy source of supernovae (SNe) and gamma-ray bursts and the most promising sources for continuous gravitational waves (GWs) detected by ground-based GW detectors. Continuous GWs can be radiated from magnetars due to magnetic-induced deformation or fluid oscillations, compatible with magnetic dipole (MD) radiation for spin-down energy. In this paper, we investigate the diverse light curves of magnetar-driven SNe in the scenario that the spin-down is dominated by GW radiation and/or MD radiation. By simulating the light curves of SNe and employing the Markov chain Monte Carlo method, we constrain the parameters of the magnetars and SN explosions and show that the signature of GW radiation may be indicated by the bolometric luminosity curves of SNe Ic-BL 2007ru and 2009bb. We find that the ellipticity of magnetars in the order of $10^{-3}$ can be induced by the magnetic field of $\sim 10^{16} \mbox{ G}$. If such continuous GWs associated with SNe can be detected in the future by the Advanced LIGO and Virgo detectors, this would be a smoking gun for a magnetar engine powering SNe.


title: Generative AI for Low-Carbon Artificial Intelligence of Things

abstract: By integrating Artificial Intelligence (AI) with the Internet of Things (IoT), Artificial Intelligence of Things (AIoT) has revolutionized many fields. However, AIoT is facing the challenges of energy consumption and carbon emissions due to the continuous advancement of mobile technology. Fortunately, Generative AI (GAI) holds immense potential to reduce carbon emissions of AIoT due to its excellent reasoning and generation capabilities. In this article, we explore the potential of GAI for carbon emissions reduction and propose a novel GAI-enabled solution for low-carbon AIoT. Specifically, we first study the main impacts that cause carbon emissions in AIoT, and then introduce GAI techniques and their relations to carbon emissions. We then explore the application prospects of GAI in low-carbon AIoT, focusing on how GAI can reduce carbon emissions of network components. Subsequently, we propose a Large Language Model (LLM)-enabled carbon emission optimization framework, in which we design pluggable LLM and Retrieval Augmented Generation (RAG) modules to generate more accurate and reliable optimization problems. Furthermore, we utilize Generative Diffusion Models (GDMs) to identify optimal strategies for carbon emission reduction. Simulation results demonstrate the effectiveness of the proposed framework. Finally, we insightfully provide open research directions for low-carbon AIoT.


title: On some linear equations associated with dispersionless integrable systems

abstract: We use a recently proposed scheme of matrix extension of dispersionless integrable systems for the Abelian case, in which it leads to linear equations, connected with the initial dispersionless system. In the examples considered, these equations can be interpreted in terms of Abelian gauge fields on the geometric background defined by the dispersionless system. They are also connected with the linearisation of initial systems. We construct solutions to these linear equations in terms of wave functions of the Lax pair for dispersionless system, which is represented in terms of some vector fields.


title: Spectral Kernels and Holomorphic Morse Inequalities for Sequence of Line Bundles

abstract: Given a sequence of Hermitian holomorphic line bundles $(L_k,h_k)$ over a complex manifold $M$ which may not be compact, we generalize the scaling method in arXiv:2310.08048 to study the asymptotic behavior of the Bergman kernels and spectral kernels with respect to the space of global holomorphic sections of $L_k$ with $(0,q)$-forms. We derive the leading term of the Bergman and spectral kernels under the local convergence assumption in the sequence of Chern curvatures $c_1(L_k,h_k)$, inspired by arXiv:2012.12019. The manifold $M$ may be non-K\"ahler and $c_1(L_k,h_k)$ may be negative or degenerate. Moreover, we establish the $L_k$-asymptotic version of Demailly's holomorphic Morse inequalities as an application to compact complex manifolds.


title: An open-source solver for finding global solutions to constrained derivative-free optimization problems

abstract: In this work, we propose a heuristic based open source solver for finding global solution to constrained derivative-free optimization (DFO) problems. Our solver named Global optimization using Surrogates for Derivative-free Optimization (GSDO) relies on surrogate approximation to the original problem. In the proposed algorithm, an initial feasible point is first generated. This point is subsequently used to generate well spaced feasible points for formulating better radial basis function based surrogate approximations to original objective and constraint functions. Finally, these surrogates are used to solve the derivative-free global optimization problems. The proposed solver is capable of handling quantifiable and nonquantifiable as well as relaxable and unrelaxable constraints. We compared the performance of proposed solver with state of the art solvers like Nonlinear Optimization by Mesh Adaptive Direct Search (NOMAD), differential evolution (DE) and Simplicial Homology Global Optimization (SHGO) on standard test problems. The numerical results clearly demonstrate that the performance of our method is competitive with respect to other solvers.


title: ComposerX: Multi-Agent Symbolic Music Composition with LLMs

abstract: Music composition represents the creative side of humanity, and itself is a complex task that requires abilities to understand and generate information with long dependency and harmony constraints. While demonstrating impressive capabilities in STEM subjects, current LLMs easily fail in this task, generating ill-written music even when equipped with modern techniques like In-Context-Learning and Chain-of-Thoughts. To further explore and enhance LLMs' potential in music composition by leveraging their reasoning ability and the large knowledge base in music history and theory, we propose ComposerX, an agent-based symbolic music generation framework. We find that applying a multi-agent approach significantly improves the music composition quality of GPT-4. The results demonstrate that ComposerX is capable of producing coherent polyphonic music compositions with captivating melodies, while adhering to user instructions.


title: Cyber Security in Containerization Platforms: A Comparative Study of Security Challenges, Measures and Best Practices

abstract: The paper reviews the comparative study of security measures, challenges, and best practices with a view to enhancing cyber safety in containerized platforms. This review is intended to give insight into the enhanced security posture of containerized environments, with a view to examining safety vulnerabilities in containerization platforms, exploring strategies for increasing containers isolation and assessing how encryption techniques play an important role in providing secure applications. The paper also provides practical guidance for organizations seeking to strengthen their cyber security defenses in the containerization area platforms.


title: Online,Target-Free LiDAR-Camera Extrinsic Calibration via Cross-Modal Mask Matching

abstract: LiDAR-camera extrinsic calibration (LCEC) is crucial for data fusion in intelligent vehicles. Offline, target-based approaches have long been the preferred choice in this field. However, they often demonstrate poor adaptability to real-world environments. This is largely because extrinsic parameters may change significantly due to moderate shocks or during extended operations in environments with vibrations. In contrast, online, target-free approaches provide greater adaptability yet typically lack robustness, primarily due to the challenges in cross-modal feature matching. Therefore, in this article, we unleash the full potential of large vision models (LVMs), which are emerging as a significant trend in the fields of computer vision and robotics, especially for embodied artificial intelligence, to achieve robust and accurate online, target-free LCEC across a variety of challenging scenarios. Our main contributions are threefold: we introduce a novel framework known as MIAS-LCEC, provide an open-source versatile calibration toolbox with an interactive visualization interface, and publish three real-world datasets captured from various indoor and outdoor environments. The cornerstone of our framework and toolbox is the cross-modal mask matching (C3M) algorithm, developed based on a state-of-the-art (SoTA) LVM and capable of generating sufficient and reliable matches. Extensive experiments conducted on these real-world datasets demonstrate the robustness of our approach and its superior performance compared to SoTA methods, particularly for the solid-state LiDARs with super-wide fields of view.


title: Age-minimal Multicast by Graph Attention Reinforcement Learning

abstract: Age of Information (AoI) is an emerging metric used to assess the timeliness of information, gaining research interest in real-time multicast applications such as video streaming and metaverse platforms. In this paper, we consider a dynamic multicast network with energy constraints, where our objective is to minimize the expected time-average AoI through energy-constrained multicast routing and scheduling. The inherent complexity of the problem, given the NP-hardness and intertwined scheduling and routing decisions, makes existing approaches inapplicable. To address these challenges, we decompose the original problem into two subtasks, each amenable to reinforcement learning (RL) methods. Subsequently, we propose an innovative framework based on graph attention networks (GATs) to effectively capture graph information with superior generalization capabilities. To validate our framework, we conduct experiments on three datasets including a real-world dataset called AS-733, and show that our proposed scheme reduces the average weighted AoI by 62.9% and reduces the energy consumption by at most 72.5% compared to baselines.


title: CRE-LLM: A Domain-Specific Chinese Relation Extraction Framework with Fine-tuned Large Language Model

abstract: Domain-Specific Chinese Relation Extraction (DSCRE) aims to extract relations between entities from domain-specific Chinese text. Despite the rapid development of PLMs in recent years, especially LLMs, DSCRE still faces three core challenges: complex network structure design, poor awareness, and high consumption of fine-tuning. Given the impressive performance of large language models (LLMs) in natural language processing, we propose a new framework called CRE-LLM. This framework is based on fine-tuning open-source LLMs, such as Llama-2, ChatGLM2, and Baichuan2. CRE-LLM enhances the logic-awareness and generative capabilities of the model by constructing an appropriate prompt and utilizing open-source LLMs for instruction-supervised fine-tuning. And then it directly extracts the relations of the given entities in the input textual data, which improving the CRE approach. To demonstrate the effectiveness of the proposed framework, we conducted extensive experiments on two domain-specific CRE datasets, FinRE and SanWen. The experimental results show that CRE-LLM is significantly superior and robust, achieving state-of-the-art (SOTA) performance on the FinRE dataset. This paper introduces a novel approach to domain-specific relation extraction (DSCRE) tasks that are semantically more complex by combining LLMs with triples. Our code is publicly available.


title: Superbubbles as the source of dynamical friction: gas migration, stellar and dark matter contributions

abstract: The gas distribution in galaxies is smooth on large scales but is usually inhomogeneous as well as time-dependent on smaller scales. The time-dependence originates from processes such as cloud formation, their collisions and supernovae (SNe) explosions. The inhomogeneities in the matter distribution give rise to variations in the local galactic gravitational potential, which can contribute towards dynamically coupling the gas disk to the stellar and the dark matter (DM) components of the galaxy. Specifically, multiple supernovae occurring in young stellar clusters give rise to superbubbles (SB), which modify the local acceleration field and alter the energy and momentum of stars of DM particles traversing them, in broad analogy to the dynamical friction caused by a massive object. We aim to quantify how the acceleration field from SBs causes dynamical friction and contributes to the secular evolution of galaxies. In order to assess this, we construct the density modifications to the gas distribution that mimics a SB. By evaluating the acceleration field from these density modifications, we see how the momentum or angular momentum of the gas hosting the SBs changes when stars pass through the SB. Combining the effects of all the stars and SBs we, construct an empirical approximation formula for the momentum loss in homogeneous and isotropic cases. We find that the rate at which the gas disc loses its specific angular momentum via the above process is up to 4% per Gyr, which translates to under half of its original value over the lifetime of the disc. Finally, we studied how the dynamical coupling of the gas disk with the DM halo depends on assumptions on the halo kinematics (e.g. rotation) and found a ~0.3% variation in the gas disc secular evolution between different DM kinematic models.


title: Anomalous Quantum Propagation of Microcavity Exciton Polaritons

abstract: Here, we explore the quantum propagation of exciton polaritons in semiconductor microcavities, exhibiting intriguing effects such as interactions, decay, and disorder scatterings. Our investigation uncovers anomalies in their quantum propagation, deviating from predictions based on existing theories. By applying scaling theory, we elucidate the true nature of exciton polariton propagation, unveiling a localization phase that characteristically differs from Anderson localization. Our numerical results agree with the self-consistent theory developed for exciton polariton condensates, incorporating non-linearity and finite lifetime.


title: On completely regular self-dual codes with covering radius $\rho=2$

abstract: We give a complete classification of completely regular self-dual codes with covering radius $\rho = 2$. More precisely, we prove that there are two sporadic such codes, of length $8$, and an infinite family, of length $4$. We provide a description of all such codes and give the intersection arrays for all of them.


title: ATR-Mapping: Asymmetric Topological Representation based Mapping Framework for Multi-Robot Environment Exploration

abstract: In recent years, the widespread application of multi-robot systems in areas such as power inspection, autonomous vehicle fleets has made multi-robot technology a research hotspot in the field of robotics. This paper investigates multi-robot cooperative exploration in unknown environments, proposing a training framework and decision strategy based on multi-agent reinforcement learning. Specifically we propose a Asymmetric Topological Representation based mapping framework (ATR-Mapping), combining the advantages of methods based on raw grid maps and methods based on topology, the structural information from the raw grid maps is extracted and combined with a topological graph constructed based on geometric distance information for decision-making. Leveraging this topological graph representation, we employs a decision network based on topological graph matching to assign corresponding boundary points to each robot as long-term target points for decision-making. We conducts testing and application of the proposed algorithms in real world scenarios using the Gazebo and Gibson simulation environments. It validates that the proposed method, when compared to existing methods, achieves a certain degree of performance improvement.


title: A Novel Classification of Attacks on Blockchain Layers: Vulnerabilities, Attacks, Mitigations, and Research Directions

abstract: The widespread adoption of blockchain technology has amplified the spectrum of potential threats to its integrity and security. The ongoing quest to exploit vulnerabilities emphasizes how critical it is to expand on current research initiatives. Thus, using a methodology based on discrete blockchain layers, our survey study aims to broaden the existing body of knowledge by thoroughly discussing both new and known attack vectors inside the blockchain ecosystem. This survey proposes a novel classification of blockchain attacks and an in-depth investigation of blockchain data security. In particular, the paper provides a thorough discussion of the attack techniques and vulnerabilities that are specific to each tier, along with a detailed look at mitigating techniques. We reveal the deep dynamics of these security concerns by closely investigating the fundamental causes of attacks at various blockchain tiers. We clarify mitigation methods for known vulnerabilities and offer new information on recently developed attack vectors. We also discuss the implications of quantum computing in blockchain and the weaknesses in the current technology that can be exploited in the future. Our study advances the field of blockchain security and privacy research while also contributing to our understanding of blockchain vulnerabilities and attacks. This survey paper is a useful tool for readers who want to learn more about the intricacies of blockchain security. It also invites researchers to help strengthen blockchain privacy and security, paving the way for further developments in this dynamic and ever-evolving field.


title: Robust external spin hyperpolarization of quadrupolar nuclei enabled by strain

abstract: In a theoretical study, we investigate the spin dynamics of interacting nitrogen-vacancy (NV) centers and quadrupolar I = 3/2 nuclear spins, specifically 11B spins in hexagonal boron nitride (h-BN) nanosheets located near the microdiamond surface. We demonstrate the possibility of obtaining external spin-polarization by magnetic-field sweeps across the level anticrossings around zero-field. To achieve this, we leverage crystal strains to establish a polarization transfer mechanism that remains robust against variations in NV orientation, crystal strain inhomogeneity, and electron-nuclear effective couplings. These results pave the way for hyperpolarization of spins in nanomaterials near the diamond surface without experiencing polarization loss to intrinsic nuclear spin-1/2 species, such as 13C and 1H nuclear spins in diamond. The 11B spins in h-BN nanosheets, with their extended relaxation time and large surface area, present a promising alternative for relayed nuclear polarization to the liquid phase and for the development of quantum simulators based on surface nuclear spins.


title: Numerous Bidirectionally Propagating Plasma Blobs near the Reconnection Site of a Solar Eruption

abstract: Current sheet is a common structure involved in solar eruptions. However, it is observed in minority of the events and the physical properties of its fine structures during a solar eruption are rarely investigated. Here, we report an on-disk observation that displays 108 compact, circular or elliptic bright structures, presumably plasma blobs, propagating bidirectionally along a flare current sheet during a period of $\sim$24 minutes. From extreme ultraviolet images, we have investigated the temporal variation of the blob number around the flare peak time. The current sheet connects the flare loops and the erupting filament. The width, duration, projected velocity, temperature, and density of these blobs are $\sim$1.7$\pm$0.5\,Mm, $\sim$79$\pm$57\,s, $\sim$191$\pm$81\,\kms, $\sim$10$^{6.4\pm0.1}$ K, and $\sim$10$^{10.1\pm0.3}$ cm$^{-3}$, respectively. The reconnection site rises with a velocity of $\leqslant$69\,\kms. The observational results suggest that plasmoid instability plays an important role in the energy release process of solar eruptions.


title: Contaminated Online Convex Optimization

abstract: In the field of online convex optimization, some efficient algorithms have been designed for each of the individual classes of objective functions, e.g., convex, strongly convex, and exp-concave. However, existing regret analyses, including those of universal algorithms, are limited to cases in which the objective functions in all rounds belong to the same class, and cannot be applied to cases in which the property of objective functions may change in each time step. To address such cases, this paper proposes a new regime which we refer to as \textit{contaminated} online convex optimization. In the contaminated case, regret is bounded by $O(\log T+\sqrt{k\log T})$ when some universal algorithms are used, and bounded by $O(\log T+\sqrt{k})$ when our proposed algorithms are used, where $k$ represents how contaminated objective functions are. We also present a matching lower bound of $\Omega(\log T + \sqrt{k})$. These are intermediate bounds between a convex case and a strongly convex or exp-concave case.


title: USAT: A Universal Speaker-Adaptive Text-to-Speech Approach

abstract: Conventional text-to-speech (TTS) research has predominantly focused on enhancing the quality of synthesized speech for speakers in the training dataset. The challenge of synthesizing lifelike speech for unseen, out-of-dataset speakers, especially those with limited reference data, remains a significant and unresolved problem. While zero-shot or few-shot speaker-adaptive TTS approaches have been explored, they have many limitations. Zero-shot approaches tend to suffer from insufficient generalization performance to reproduce the voice of speakers with heavy accents. While few-shot methods can reproduce highly varying accents, they bring a significant storage burden and the risk of overfitting and catastrophic forgetting. In addition, prior approaches only provide either zero-shot or few-shot adaptation, constraining their utility across varied real-world scenarios with different demands. Besides, most current evaluations of speaker-adaptive TTS are conducted only on datasets of native speakers, inadvertently neglecting a vast portion of non-native speakers with diverse accents. Our proposed framework unifies both zero-shot and few-shot speaker adaptation strategies, which we term as "instant" and "fine-grained" adaptations based on their merits. To alleviate the insufficient generalization performance observed in zero-shot speaker adaptation, we designed two innovative discriminators and introduced a memory mechanism for the speech decoder. To prevent catastrophic forgetting and reduce storage implications for few-shot speaker adaptation, we designed two adapters and a unique adaptation procedure.


title: Partial confinement in a quantum-link simulator

abstract: Confinement/deconfinement, captivating attributes of high-energy elementary particles, have recently garnered wide attention in quantum simulations based on cold atoms. Yet, the partial confinement, an intermediate state between the confinement and deconfinement, remains underexplored. The partial confinement encapsulates the phenomenon that the confining behavior of charged particles is contingent upon their relative positions. In this paper, we demonstrate that the spin-1 quantum link model provides an excellent platform for exploring partial confinement. We conduct a comprehensive investigation of the physics emerging from partial confinement in both the context of equilibrium and non-equilibrium dynamics. Potential experimental setups using cold atoms are also discussed. Our work offers a simple and feasible routine for the study of confinement-related physics in the state-of-the-art artificial quantum systems subject to gauge symmetries.


title: Snake with Shifted Window: Learning to Adapt Vessel Pattern for OCTA Segmentation

abstract: Segmenting specific targets or structures in optical coherence tomography angiography (OCTA) images is fundamental for conducting further pathological studies. The retinal vascular layers are rich and intricate, and such vascular with complex shapes can be captured by the widely-studied OCTA images. In this paper, we thus study how to use OCTA images with projection vascular layers to segment retinal structures. To this end, we propose the SSW-OCTA model, which integrates the advantages of deformable convolutions suited for tubular structures and the swin-transformer for global feature extraction, adapting to the characteristics of OCTA modality images. Our model underwent testing and comparison on the OCTA-500 dataset, achieving state-of-the-art performance. The code is available at: https://github.com/ShellRedia/Snake-SWin-OCTA.


title: Approximations of Rockafellians, Lagrangians, and Dual Functions

abstract: Solutions of an optimization problem are sensitive to changes caused by approximations or parametric perturbations, especially in the nonconvex setting. This paper investigates the ability of substitute problems, constructed from Rockafellian functions, to provide robustness against such perturbations. Unlike classical stability analysis focused on local changes around (local) minimizers, we employ epi-convergence to examine whether the approximating problems suitably approach the actual one globally. We show that under natural assumptions the substitute problems can be well-behaved in the sense of epi-convergence even though the actual one is not. We further quantify the rates of convergence that often lead to Lipschitz-kind stability properties for the substitute problems.


title: Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for Program Verification via Operational Semantics

abstract: Dynamic logic and its variations, because of their good expressive forms capturing program specifications clearly by isolating programs from logical formulas, have been used as a formalism in program reasoning for decades and have many applications in different areas. The program models of traditional dynamic logics are in explicit forms. With a clearly-defined syntactic structure, compositional verification is made possible, in which a deduction step transfers proving a program into proving its sub-programs. This structure-based reasoning forms the basis of many dynamic logics and popular Hoare-style logics. However, structural rules induce a major drawback that for different target programs, different rules have to be proposed to adapt different program structures. Moreover, there exist programs that does not support (or not entirely support) a structure-based reasoning. In this paper, we propose a parameterized `dynamic-logic-like' logic called DLp with general forms of program models and formulas, and propose a cyclic proof system for this logic. Program reasoning in DLp is directly based on symbolic executions of programs according to their operational semantics. This reduces the burden of designing a large set of rules when specializing a logic theory to a specific domain, and facilitates verifying programs without a suitable structure for direct reasoning. Without reasoning by dissolving program structures, DLp can cause an infinite proof structure. To solve this, we build a cyclic preproof structure for the proof system of DLp and prove its soundness. Case studies are analyzed to show how DLp works for reasoning about different types of programs.


title: Wide Binary Evaporation by Dark Solitons: Implications from the GAIA Catalog

abstract: An analytic calculation is given for binary star evaporation under the tidal perturbation from randomly distributed, spatially extended dark objects. In particular, the Milky Way's wide binary star population are susceptible to such disruption from dark matter solitons of comparable and larger sizes. We identify high-probability `halo-like' wide binaries in GAIA EDR3 with separations larger than 0.1 parsec. Survival of the farthest-separated candidates will provide a novel gravitational probe to dark matter in the form of solitons. In case of dilute axion-like solitons, the observational sensitivity is shown to extend into the axion mass range $m_a \sim 10^{-17}-10^{-15}$ eV.


title: Accurate and Unbiased Reconstruction of CMB B Mode using Deep Learning

abstract: An ingeniously designed autoencoder (PrimeNet) using simulated observations of future generation ECHO satellite mission recovers CMB B mode map, angular spectrum for multipoles $\ell \lesssim 9$ and tensor to scalar ratio $r$ {\it limited only by cosmic variance down to $r= 0.0001$ and below}. We use diverse, realistically complex and detailed foreground models. PrimeNet predicts accurate results even when data with $r=0$ are tested which were not used in training, implying robust and efficient predictive power. The work eliminates a major bottleneck of weak CMB B mode reconstruction and takes a leap forward for understanding fundamental physics of the primordial Universe.


title: Advancing Supervised Learning with the Wave Loss Function: A Robust and Smooth Approach

abstract: Loss function plays a vital role in supervised learning frameworks. The selection of the appropriate loss function holds the potential to have a substantial impact on the proficiency attained by the acquired model. The training of supervised learning algorithms inherently adheres to predetermined loss functions during the optimization process. In this paper, we present a novel contribution to the realm of supervised machine learning: an asymmetric loss function named wave loss. It exhibits robustness against outliers, insensitivity to noise, boundedness, and a crucial smoothness property. Theoretically, we establish that the proposed wave loss function manifests the essential characteristic of being classification-calibrated. Leveraging this breakthrough, we incorporate the proposed wave loss function into the least squares setting of support vector machines (SVM) and twin support vector machines (TSVM), resulting in two robust and smooth models termed Wave-SVM and Wave-TSVM, respectively. To address the optimization problem inherent in Wave-SVM, we utilize the adaptive moment estimation (Adam) algorithm. It is noteworthy that this paper marks the first instance of the Adam algorithm application to solve an SVM model. Further, we devise an iterative algorithm to solve the optimization problems of Wave-TSVM. To empirically showcase the effectiveness of the proposed Wave-SVM and Wave-TSVM, we evaluate them on benchmark UCI and KEEL datasets (with and without feature noise) from diverse domains. Moreover, to exemplify the applicability of Wave-SVM in the biomedical domain, we evaluate it on the Alzheimer Disease Neuroimaging Initiative (ADNI) dataset. The experimental outcomes unequivocally reveal the prowess of Wave-SVM and Wave-TSVM in achieving superior prediction accuracy against the baseline models.


title: Quasi-interpolation projectors for Subdivision Surfaces

abstract: Subdivision surfaces are considered as an extension of splines to accommodate models with complex topologies, making them useful for addressing PDEs on models with complex topologies in isogeometric analysis. This has generated a lot of interest in the field of subdivision space approximation. The quasi-interpolation offers a highly efficient approach for spline approximation, eliminating the necessity of solving large linear systems of equations. Nevertheless, the lack of analytical expressions at extraordinary points on subdivision surfaces makes traditional techniques for creating B-spline quasi-interpolants inappropriate for subdivision spaces. To address this obstacle, this paper innovatively reframes the evaluation issue associated with subdivision surfaces as a correlation between subdivision matrices and limit points, offering a thorough method for quasi-interpolation specifically designed for subdivision surfaces. This developed quasi-interpolant, termed the subdivision space projection operator, accurately reproduces the subdivision space. We provide explicit quasi-interpolation formulas for various typical subdivision schemes. Numerical experiments demonstrate that the quasi-interpolants for Catmull-Clark and Loop subdivision exhibit third-order approximation in the (L_2) norm and second-order in the (L_\infty) norm. Furthermore, the modified Loop subdivision quasi-interpolant achieves optimal approximation rates in both the (L_2) and (L_\infty) norms.


title: Non-abelian symmetric critical gravitating vortices on a sphere

abstract: We produce examples of solutions to the non-abelian gravitating vortex equations, which are a dimensional reduction of the K\"aher-Yang-Mills- Higgs equations. These are equations for a K\"ahler metric and a metric on a vector bundle. We consider a symmetric situation on a sphere with a relationship between the parameters involved (criticality), and perform a non-trivial reduction of the problem to a system of ordinary differential equations on the real line with complicated boundary conditions at infinity. This system involves a parameter whose dependence on the volume of the K\"ahler metric is non-explicit. We prove existence to this system using the method of continuity. We then prove that the parameter can be varied to make sure that all possible admissible volumes are attained.


title: The power of shallow-depth Toffoli and qudit quantum circuits

abstract: The relevance of shallow-depth quantum circuits has recently increased, mainly due to their applicability to near-term devices. In this context, one of the main goals of quantum circuit complexity is to find problems that can be solved by quantum shallow circuits but require more computational resources classically. Our first contribution in this work is to prove new separations between classical and quantum constant-depth circuits. Firstly, we show a separation between constant-depth quantum circuits with quantum advice $\mathsf{QNC}^0/\mathsf{qpoly}$, and $\mathsf{AC}^0[p]$, which is the class of classical constant-depth circuits with unbounded-fan in and $\pmod{p}$ gates. In addition, we show a separation between $\mathsf{QAC}^0$, which additionally has Toffoli gates with unbounded control, and $\mathsf{AC}^0[p]$. This establishes the first such separation for a shallow-depth quantum class that does not involve quantum fan-out gates. Secondly, we consider $\mathsf{QNC}^0$ circuits with infinite-size gate sets. We show that these circuits, along with (classical or quantum) prime modular gates, can implement threshold gates, showing that $\mathsf{QNC}^0[p]=\mathsf{QTC}^0$. Finally, we also show that in the infinite-size gateset case, these quantum circuit classes for higher-dimensional Hilbert spaces do not offer any advantage to standard qubit implementations.


title: Tightly-Coupled VLP/INS Integrated Navigation by Inclination Estimation and Blockage Handling

abstract: Visible Light Positioning (VLP) has emerged as a promising technology capable of delivering indoor localization with high accuracy. In VLP systems that use Photodiodes (PDs) as light receivers, the Received Signal Strength (RSS) is affected by the incidence angle of light, making the inclination of PDs a critical parameter in the positioning model. Currently, most studies assume the inclination to be constant, limiting the applications and positioning accuracy. Additionally, light blockages may severely interfere with the RSS measurements but the literature has not explored blockage detection in real-world experiments. To address these problems, we propose a tightly coupled VLP/INS (Inertial Navigation System) integrated navigation system that uses graph optimization to account for varying PD inclinations and VLP blockages. We also discussed the possibility of simultaneously estimating the robot's pose and the locations of some unknown LEDs. Simulations and two groups of real-world experiments demonstrate the efficiency of our approach, achieving an average positioning accuracy of 10 cm during movement and inclination accuracy within 1 degree despite inclination changes and blockages.


title: Semi-supervised Text-based Person Search

abstract: Text-based person search (TBPS) aims to retrieve images of a specific person from a large image gallery based on a natural language description. Existing methods rely on massive annotated image-text data to achieve satisfactory performance in fully-supervised learning. It poses a significant challenge in practice, as acquiring person images from surveillance videos is relatively easy, while obtaining annotated texts is challenging. The paper undertakes a pioneering initiative to explore TBPS under the semi-supervised setting, where only a limited number of person images are annotated with textual descriptions while the majority of images lack annotations. We present a two-stage basic solution based on generation-then-retrieval for semi-supervised TBPS. The generation stage enriches annotated data by applying an image captioning model to generate pseudo-texts for unannotated images. Later, the retrieval stage performs fully-supervised retrieval learning using the augmented data. Significantly, considering the noise interference of the pseudo-texts on retrieval learning, we propose a noise-robust retrieval framework that enhances the ability of the retrieval model to handle noisy data. The framework integrates two key strategies: Hybrid Patch-Channel Masking (PC-Mask) to refine the model architecture, and Noise-Guided Progressive Training (NP-Train) to enhance the training process. PC-Mask performs masking on the input data at both the patch-level and the channel-level to prevent overfitting noisy supervision. NP-Train introduces a progressive training schedule based on the noise level of pseudo-texts to facilitate noise-robust learning. Extensive experiments on multiple TBPS benchmarks show that the proposed framework achieves promising performance under the semi-supervised setting.


title: Boundedness of composition operators from Lorentz spaces to Orlicz spaces

abstract: The boundedness (continuity) of composition operators from some function space to another one is significant, though there are few results about this problem. Thus, in this study, we provide necessary and sufficient conditions on the boundedness of composition operators from Lorentz spaces to Orlicz spaces. We emphasize that the measure spaces associated with the Lorentz space may be different from those associated with the Orlicz spaces. Moreover we give some examples and counterexamples of the composed mappings in the conditions.


title: Weak-strong uniqueness and high-friction limit for Euler-Riesz systems

abstract: In this work we employ the relative energy method to obtain a weak-strong uniqueness principle for a Euler-Riesz system, as well as to establish its convergence in the high-friction limit towards a gradient flow equation. The main technical challenge in our analysis is addressed using a specific case of a Hardy-Littlewood-Sobolev inequality for Riesz potentials.


title: Finding Beautiful and Happy Images for Mental Health and Well-being Applications

abstract: This paper explores how artificial intelligence (AI) technology can contribute to achieve progress on good health and well-being, one of the United Nations' 17 Sustainable Development Goals. It is estimated that one in ten of the global population lived with a mental disorder. Inspired by studies showing that engaging and viewing beautiful natural images can make people feel happier and less stressful, lead to higher emotional well-being, and can even have therapeutic values, we explore how AI can help to promote mental health by developing automatic algorithms for finding beautiful and happy images. We first construct a large image database consisting of nearly 20K very high resolution colour photographs of natural scenes where each image is labelled with beautifulness and happiness scores by about 10 observers. Statistics of the database shows that there is a good correlation between the beautifulness and happiness scores which provides anecdotal evidence to corroborate that engaging beautiful natural images can potentially benefit mental well-being. Building on this unique database, the very first of its kind, we have developed a deep learning based model for automatically predicting the beautifulness and happiness scores of natural images. Experimental results are presented to show that it is possible to develop AI algorithms to automatically assess an image's beautifulness and happiness values which can in turn be used to develop applications for promoting mental health and well-being.


title: Some three dimensional smooth transonic flows for the steady Euler equations with an external force

abstract: We establish the existence and uniqueness of some smooth accelerating transonic flows governed by the steady compressible Euler equations with an external force in cylinders with arbitrary cross sections, which include both irrotational flows and Beltrami flows with nonuniform proportionality factors. One of the key ingredients in the analysis of smooth transonic irrotational flows is the well-posedness theory for a linear elliptic-hyperbolic mixed second order differential equation of Keldysh type in cylinders, which is achieved by extending the problem to an auxiliary linear elliptic-hyberbolic-elliptic mixed problem in a longer cylinder where the governing equation becomes elliptic at the exit of the new cylinder, so that one can use the multiplier method and the cut-off techniques to derive the $H^2$ and higher order estimates in transonic regions. It is further shown that the energy estimate can be closed in the $H^4$ framework. For smooth transonic Beltrami flows, we solve a transport equation for the proportionality factor and a type-changing enlarged deformation-curl system with mixed boundary conditions. The compatibility conditions for the $H^4$ estimate to the enlarged deformation-curl system near the intersection between the entrance and the cylinder wall play a crucial role in the analysis.


title: Defect relation for holomorphic maps from complex discs into projective varieties and hypersurfaces

abstract: In this paper, we establish a second main theorem for holomorphic maps with finite growth index on complex discs intersecting arbitrary families of hypersurfaces (fixed and moving) in projective varieties, which gives an above bound of the sum of truncated defects. Our result also is generalizes and improves many previous second main theorems for holomorphic maps from $\mathbb C$ intersecting hypersurfaces (moving and fixed) in projective varieties.


title: Garbage Segmentation and Attribute Analysis by Robotic Dogs

abstract: Efficient waste management and recycling heavily rely on garbage exploration and identification. In this study, we propose GSA2Seg (Garbage Segmentation and Attribute Analysis), a novel visual approach that utilizes quadruped robotic dogs as autonomous agents to address waste management and recycling challenges in diverse indoor and outdoor environments. Equipped with advanced visual perception system, including visual sensors and instance segmentators, the robotic dogs adeptly navigate their surroundings, diligently searching for common garbage items. Inspired by open-vocabulary algorithms, we introduce an innovative method for object attribute analysis. By combining garbage segmentation and attribute analysis techniques, the robotic dogs accurately determine the state of the trash, including its position and placement properties. This information enhances the robotic arm's grasping capabilities, facilitating successful garbage retrieval. Additionally, we contribute an image dataset, named GSA2D, to support evaluation. Through extensive experiments on GSA2D, this paper provides a comprehensive analysis of GSA2Seg's effectiveness. Dataset available: \href{https://www.kaggle.com/datasets/hellob/gsa2d-2024}{https://www.kaggle.com/datasets/hellob/gsa2d-2024}.


title: Strong generalized holomorphic principal bundles

abstract: We introduce the notion of a strong generalized holomorphic (SGH) fiber bundle and develop connection and curvature theory for an SGH principal $G$-bundle over a regular generalized complex (GC) manifold, where $G$ is a complex Lie group. We develop a de Rham cohomology for regular GC manifolds, and a Dolbeault cohomology for SGH vector bundles. Moreover, we establish a Chern-Weil theory for SGH principal $G$-bundles under certain mild assumptions on the leaf space of the GC structure. We also present a Hodge theory along with associated dualities and vanishing theorems for SGH vector bundles. Several examples of SGH fiber bundles are given.


title: Deep Boosting Learning: A Brand-new Cooperative Approach for Image-Text Matching

abstract: Image-text matching remains a challenging task due to heterogeneous semantic diversity across modalities and insufficient distance separability within triplets. Different from previous approaches focusing on enhancing multi-modal representations or exploiting cross-modal correspondence for more accurate retrieval, in this paper we aim to leverage the knowledge transfer between peer branches in a boosting manner to seek a more powerful matching model. Specifically, we propose a brand-new Deep Boosting Learning (DBL) algorithm, where an anchor branch is first trained to provide insights into the data properties, with a target branch gaining more advanced knowledge to develop optimal features and distance metrics. Concretely, an anchor branch initially learns the absolute or relative distance between positive and negative pairs, providing a foundational understanding of the particular network and data distribution. Building upon this knowledge, a target branch is concurrently tasked with more adaptive margin constraints to further enlarge the relative distance between matched and unmatched samples. Extensive experiments validate that our DBL can achieve impressive and consistent improvements based on various recent state-of-the-art models in the image-text matching field, and outperform related popular cooperative strategies, e.g., Conventional Distillation, Mutual Learning, and Contrastive Learning. Beyond the above, we confirm that DBL can be seamlessly integrated into their training scenarios and achieve superior performance under the same computational costs, demonstrating the flexibility and broad applicability of our proposed method. Our code is publicly available at: https://github.com/Paranioar/DBL.


title: Exploring system size dependence of jet modification in heavy-ion collisions

abstract: In relativistic heavy-ion collisions, jet quenching in quark-gluon plasma (QGP) has been extensively studied, revealing important insights into the properties of the color deconfined nuclear matter. Over the past decade, there has been a surge of interest in the exploration of QGP droplets in small collision systems like $p$+$p$ or $p$+A collisions driven by the observation of collective flow phenomena. However, the absence of jet quenching, a key QGP signature, in these systems poses a puzzle. Understanding how jet quenching evolves with system size is crucial for uncovering the underlying physics. In this study, we employ the linear Boltzmann transport (LBT) model to investigate jet modification in $^{96}$Ru+$^{96}$Ru, $^{96}$Zr+$^{96}$Zr, and $^{197}$Au+$^{197}$Au collisions at $\sqrt{s_\mathrm{NN}}=200$ GeV. Our findings highlight the system size sensitivity exhibited by jet nuclear modification factor ($R_\mathrm{AA}$) and jet shape ($\rho$), contrasting to the relatively weak responses of jet mass ($M$), girth ($g$) and momentum dispersion ($p_\mathrm{T}{D}$) to system size variations. These results offer invaluable insights into the system size dependence of the QGP properties and to be validated experimentally at the Relativistic Heavy-Ion Collider.


title: Products of commutators in matrix rings

abstract: Let $R$ be a ring and let $n\ge 2$. We discuss the question of whether every element in the matrix ring $M_n(R)$ is a product of (additive) commutators $[x,y]=xy-yx$, for $x,y\in M_n(R)$. An example showing that this does not always hold, even when $R$ is commutative, is provided. If, however, $R$ has Bass stable rank one, then under various additional conditions every element in $M_n(R)$ is a product of three commutators. Further, if $R$ is a division ring with infinite center, then every element in $M_n(R)$ is a product of two commutators. If $R$ is a field and $a\in M_n(R)$, then every element in $M_n(R)$ is a sum of elements of the form $[a,x][a,y]$ with $x,y\in M_n(R)$ if and only if the degree of the minimal polynomial of $a$ is greater than $2$.


title: A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials

abstract: This paper tackles the problem of constructing Bezout matrices for Newton polynomials in a basis-preserving approach that operates directly with the given Newton basis, thus avoiding the need for transformation from Newton basis to monomial basis. This approach significantly reduces the computational cost and also mitigates numerical instability caused by basis transformation. For this purpose, we investigate the internal structure of Bezout matrices in Newton basis and design a basis-preserving algorithm that generates the Bezout matrix in the specified basis used to formulate the input polynomials. Furthermore, we show an application of the proposed algorithm on constructing confederate resultant matrices for Newton polynomials. Experimental results demonstrate that the proposed methods perform superior to the basis-transformation-based ones.


title: Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

abstract: This paper studies finite-time safety and reach-avoid verification for stochastic discrete-time dynamical systems. The aim is to ascertain lower and upper bounds of the probability that, within a predefined finite-time horizon, a system starting from an initial state in a safe set will either exit the safe set (safety verification) or reach a target set while remaining within the safe set until the first encounter with the target (reach-avoid verification). We introduce novel barrier-like sufficient conditions for characterizing these bounds, which either complement existing ones or fill gaps. Finally, we demonstrate the efficacy of these conditions on two examples.


title: Azimuthal geodesics in closed FLRW cosmologies II

abstract: We study azimuthal geodesics in closed Friedmann-Lem\^aitre-Robertson-Walker (FLRW) cosmological models and give the angular distance travelled by a test particle moving along such a geodesic during one cycle of expansion and re-collapse of the universe. We extend previous results regarding the path followed by light rays to the two-fluid case, also including a cosmological constant, as well as to massive test particles.


title: Performance advantage of quantum hypothesis testing for partially coherent optical sources

abstract: Determining the presence of a potential optical source in the interest region is important for an imaging system and can be achieved by using hypothesis testing. The previous studies assume that the potential source is completely incoherent. In this paper, this problem is generalized to the scenario with partially coherent sources and any prior probabilities. We compare the error probability limit given by the quantum Helstrom bound with the error probability given by direct decision based on the prior probability. On this basis, the quantum-optimal detection advantage and detection-useless region are analyzed. For practical purposes, we propose a specific detection strategy using binary spatial-mode demultiplexing, which can be used in the scenarios without any prior information. This strategy shows superior detection performance and the results hold prospects for achieving super-resolved microscopic and astronomical imaging.


title: Research on the Evaluation Index System of Enterprise Production Efficiency

abstract: This paper focuses on studying the evaluation index system for the production efficiency of tobacco enterprises. Considering the limitations of existing evaluation methods in accurately assessing the production quality of cigarette enterprises, a mathematical model based on the Analytic Hierarchy Process (AHP) is established. This model constructs an evaluation framework for the production efficiency of cigarette enterprises and subsequently analyzes the significance of each index within this framework. To comprehensively analyze the multi-index and feasibility aspects of the selected projects, the AHP method is employed to establish a comprehensive feasibility research and evaluation structure model. The result of this feasibility study provides the conclusion that the construction of an evaluation index system for the production efficiency of cigarette enterprises can indeed promote the enhancement of their production efficiency.


title: A characterisation of semigroups with only countably many subdirect products with $\mathbb{Z}$

abstract: Let $\mathbb{Z}$ be the additive (semi)group of integers. We prove that for a finite semigroup $S$ the direct product $\mathbb{Z}\times S$ contains only countably many subdirect products (up to isomorphism) if and only if $S$ is regular. As a corollary we show that $\mathbb{Z}\times S$ has only countably many subsemigroups (up to isomorphism) if and only if $S$ is completely regular.


title: Power laws and logarithmic oscillations in diffusion processes on infinite countable ultrametric spaces

abstract: It is shown that if the initial condition of the Cauchy problem for the diffusion equation on a general infinite countable ultrametric space is spherically symmetric with respect to some point, then this problem has an exact analytical solution. A general solution of this problem is presented for pure ultrametric diffusion, as well as for ultrametric diffusion with a reaction sink concentrated at the center of spherical symmetry. Conditions on the ultrametric and the distribution of the number of states in ultrametric spheres are found that lead at large times to the asymptotic behavior of the solutions obtained in the form of a power law modulated by a bounded function that is log-periodic under some additional conditions.


title: An Arbitrarily High-Order Fully Well-balanced Hybrid Finite Element-Finite Volume Method for a One-dimensional Blood Flow Model

abstract: In this paper, we propose an arbitrarily high-order accurate fully well-balanced numerical method for the one-dimensional blood flow model. The developed method is based on a continuous representation of the solution and a natural combination of the conservative and primitive formulations of the studied PDEs. The degrees of freedom are defined as point values at cell interfaces and moments of the conservative variables inside the cell, drawing inspiration from the discontinuous Galerkin method. The well-balanced property, in the sense of an exact preservation of both the zero and non-zero velocity equilibria, is achieved by a well-balanced approximation of the source term in the conservative formulation and a well-balanced residual computation in the primitive formulation. To lowest (3rd) order this method reduces to the method developed in [Abgrall and Liu, A New Approach for Designing Well-Balanced Schemes for the Shallow Water Equations: A Combination of Conservative and Primitive Formulations, arXiv preprint, arXiv:2304.07809]. Several numerical tests are shown to prove its well-balanced and high-order accuracy properties.