title: Clairaut anti-invariant Riemannian maps with K\"ahler and Ricci soliton structures

abstract: The aim of this article is to explore the Clairaut anti-invariant Riemannian maps from/to K\"ahler manifolds admitting Ricci solitons. We find the curvature relations and calculate the Ricci tensor under different conditions. We discuss the condition under which range space becomes $\alpha$-Ricci soliton. We obtain conditions for the range and kernel spaces of these maps to be Einstein. Next, we find the scalar curvature for range space. Further, we give the relation between Ricci curvature and Lie derivative under these maps. Moreover, we find the condition for a vertical potential vector field on target manifold to be conformal vector field on range space of these maps. Finally, we give non-trivial examples of such maps.


title: Parallel Integer Sort: Theory and Practice

abstract: Integer sorting is a fundamental problem in computer science. This paper studies parallel integer sort both in theory and in practice. In theory, we show tighter bounds for a class of existing practical integer sort algorithms, which provides a solid theoretical foundation for their widespread usage in practice and strong performance. In practice, we design a new integer sorting algorithm, \textsf{DovetailSort}, that is theoretically-efficient and has good practical performance. In particular, \textsf{DovetailSort} overcomes a common challenge in existing parallel integer sorting algorithms, which is the difficulty of detecting and taking advantage of duplicate keys. The key insight in \textsf{DovetailSort} is to combine algorithmic ideas from both integer- and comparison-sorting algorithms. In our experiments, \textsf{DovetailSort} achieves competitive or better performance than existing state-of-the-art parallel integer and comparison sorting algorithms on various synthetic and real-world datasets.


title: Text2Avatar: Text to 3D Human Avatar Generation with Codebook-Driven Body Controllable Attribute

abstract: Generating 3D human models directly from text helps reduce the cost and time of character modeling. However, achieving multi-attribute controllable and realistic 3D human avatar generation is still challenging due to feature coupling and the scarcity of realistic 3D human avatar datasets. To address these issues, we propose Text2Avatar, which can generate realistic-style 3D avatars based on the coupled text prompts. Text2Avatar leverages a discrete codebook as an intermediate feature to establish a connection between text and avatars, enabling the disentanglement of features. Furthermore, to alleviate the scarcity of realistic style 3D human avatar data, we utilize a pre-trained unconditional 3D human avatar generation model to obtain a large amount of 3D avatar pseudo data, which allows Text2Avatar to achieve realistic style generation. Experimental results demonstrate that our method can generate realistic 3D avatars from coupled textual data, which is challenging for other existing methods in this field.


title: Steering of vortices by magnetic-field tilting in superconductor nanotubes

abstract: In planar superconductor thin films, the places of nucleation and arrangements of moving vortices are determined by structural defects. However, various applications of superconductors require reconfigurable steering of fluxons, which is hard to realize with geometrically predefined vortex pinning landscapes. Here, on the basis of the time-dependent Ginzburg-Landau equation, we present an approach for steering of vortex chains and vortex jets in superconductor nanotubes containing a slit. The idea is based on tilting of the magnetic field $\mathbf{B}$ at an angle $\alpha$ in the plane perpendicular to the axis of a nanotube carrying an azimuthal transport current. Namely, while at $\alpha=0^\circ$ vortices move paraxially in opposite directions within each half-tube, an increase of $\alpha$ displaces the areas with the close-to-maximum normal component $|B_\mathrm{n}|$ to the close(opposite)-to-slit regions, giving rise to descending (ascending) branches in the induced-voltage frequency spectrum $f_\mathrm{U}(\alpha)$. At lower $B$, upon reaching the critical angle $\alpha_\mathrm{c}$, close-to-slit vortex chains disappear, yielding $f_\mathrm{U}$ of the $nf_1$-type ($n\geq1$: an integer; $f_1$: vortex nucleation frequency). At higher $B$, $f_\mathrm{U}$ is largely blurry because of multifurcations of vortex trajectories, leading to the coexistence of a vortex jet with two vortex chains at $\alpha=90^\circ$. In addition to prospects for tuning of GHz-frequency spectra and steering of vortices as information bits, our findings lay foundations for on-demand tuning of vortex arrangements in 3D superconductor membranes in tilted magnetic fields.


title: A Survey on Graph Neural Networks in Intelligent Transportation Systems

abstract: Intelligent Transportation System (ITS) is vital in improving traffic congestion, reducing traffic accidents, optimizing urban planning, etc. However, due to the complexity of the traffic network, traditional machine learning and statistical methods are relegated to the background. With the advent of the artificial intelligence era, many deep learning frameworks have made remarkable progress in various fields and are now considered effective methods in many areas. As a deep learning method, Graph Neural Networks (GNNs) have emerged as a highly competitive method in the ITS field since 2019 due to their strong ability to model graph-related problems. As a result, more and more scholars pay attention to the applications of GNNs in transportation domains, which have shown excellent performance. However, most of the research in this area is still concentrated on traffic forecasting, while other ITS domains, such as autonomous vehicles and urban planning, still require more attention. This paper aims to review the applications of GNNs in six representative and emerging ITS domains: traffic forecasting, autonomous vehicles, traffic signal control, transportation safety, demand prediction, and parking management. We have reviewed extensive graph-related studies from 2018 to 2023, summarized their methods, features, and contributions, and presented them in informative tables or lists. Finally, we have identified the challenges of applying GNNs to ITS and suggested potential future directions.


title: Calculation of Gilbert damping and magnetic moment of inertia using torque-torque correlation model within ab initio Wannier framework

abstract: Magnetization dynamics in magnetic materials are well described by the modified semiclassical Landau-Lifshitz-Gilbert (LLG) equation, which includes the magnetic damping $\alpha$ and the magnetic moment of inertia $\mathrm{I}$ tensors as key parameters. Both parameters are material-specific and physically represent the time scales of damping of precession and nutation in magnetization dynamics. $\alpha$ and $\mathrm{I}$ can be calculated quantum mechanically within the framework of the torque-torque correlation model. The quantities required for the calculation are torque matrix elements, the real and imaginary parts of the Green's function and its derivatives. Here, we calculate these parameters for the elemental magnets such as Fe, Co and Ni in an ab initio framework using density functional theory and Wannier functions. We also propose a method to calculate the torque matrix elements within the Wannier framework. We demonstrate the effectiveness of the method by comparing it with the experiments and the previous ab initio and empirical studies and show its potential to improve our understanding of spin dynamics and to facilitate the design of spintronic devices.


title: Dynamics of the Beta Pictoris planetary system and its falling evaporating bodies

abstract: For decades, the spectral variations of Beta Pictoris have been modelled as the result of the evaporation of exocomets close to the star, termed falling evaporating bodies (FEBs). Resonant perturbations by a giant planet have been proposed to explain the dynamical origin of these stargrazers. The disk is now known to harbour two giant planets, Beta Pic b and c, orbiting the star at 9.9 au and 2.7 au. While the former almost matches the planet formerly suspected, the discovery of the latter complicates the picture. We first question the stability of the two-planet system. Then we investigate the dynamics of a disk of planetesimals orbiting the star with both planets to check the validity of the FEB generation mechanism. Symplectic N-body simulations are used to determine which regions of the planetesimal disk are dynamically stable. Then we focus on regions where disk particles are able to reach high eccentricities thanks to resonant mechanisms. The first result is that the system is dynamically stable. Both planets may temporarily fall in 7:1 mean motion resonance (MMR). Then, simulations reveal that the whole region extending between ~1.5 au and ~25 au is unstable to planetary perturbations. However, a disk below 1.5 au survives, which appears to constitute an active source of FEBs via high-order MMRs with Beta Pic c. Beta Pic b acts as a distant perturber that helps sustain the whole process. These simulations rule out the preceding FEB generation mechanism model, which placed their origin at around 4-5 au. Conversely, FEBs are likely to originate from a region much further in and related to MMRs with Beta Pic c. That mechanism also appears to last longer, as new planetesimals are able to continuously enter the MMRs and evolve towards the FEB state. Subsequently, the physical nature of the FEBs may differ from that previously thought, and presumably may not be icy.


title: Domination Polynomial of the Rook Graph

abstract: A placement of chess pieces on a chessboard is called dominating, if each free square of the chessboard is under attack by at least one piece. In this contribution we compute the number of dominating arrangements of $k$ rooks on an $n\times m$ chessboard. To this end we derive an expression for the corresponding generating function, the domination polynomial of the $n\times m$ rook graph.


title: HENO-MAC: Hybrid Energy Harvesting-based Energy Neutral Operation MAC Protocol for Delay-Sensitive IoT Applications

abstract: The Internet of Things (IoT) technology uses small and cost-effective sensors for various applications, such as Industrial IoT. However, these sensor nodes are powered by fixed-size batteries, which creates a trade-off between network performance and long-term sustainability. Moreover, some applications require the network to provide a certain level of service, such as a lower delay for critical data, while ensuring the operational reliability of sensor nodes. To address this energy challenge, external energy harvesting sources, such as solar and wind, offer promising and eco-friendly solutions. However, the available energy from a single energy source is insufficient to meet these requirements. This drives the utilization of a hybrid energy harvesting approach, such as the integration of solar and wind energy harvesters, to increase the amount of harvested energy. Nevertheless, to fully utilize the available energy, which is dynamic in nature, the sensor node must adapt its operation to ensure sustainable operation and enhanced network performance. Therefore, this paper proposes a hybrid energy harvesting-based energy neutral operation (ENO) medium access control (MAC) protocol, called HENO-MAC, that allows the receiver node to harvest energy from the solar-wind harvesters and adapt its duty cycle accordingly. The performance of the proposed HENO-MAC was evaluated using the latest realistic solar and wind data for two consecutive days in GreenCastalia. The simulation results demonstrate that the duty cycle mechanism of HENO-MAC effectively utilizes the harvested energy to achieve ENO and uses the available energy resources efficiently to reduce the packet delay for all packets and the highest priority packet by up to 28.5% and 27.3%, respectively, when compared with other existing MAC protocols.


title: Generalised Local Fractional Hermite-Hadamard Type Inequalities on Fractal Sets

abstract: Fractal geometry and analysis constitute a growing field, with numerous applications, based on the principles of fractional calculus. Fractals sets are highly effective in improving convex inequalities and their generalisations. In this paper, we establish a generalized notion of convexity. By defining generalised $\phi_{h-s}$ convex functions, we extend the well known concepts of generalised convex functions, $P$-functions, Breckner $s$-convex functions, $h$-convex functions amongst others. With this definition, we prove Hermite-Hadamard type inequalities for generalized $\phi_{h-s}$ convex mappings onto fractal sets. Our results are then applied to probability theory.


title: Depth Map Denoising Network and Lightweight Fusion Network for Enhanced 3D Face Recognition

abstract: With the increasing availability of consumer depth sensors, 3D face recognition (FR) has attracted more and more attention. However, the data acquired by these sensors are often coarse and noisy, making them impractical to use directly. In this paper, we introduce an innovative Depth map denoising network (DMDNet) based on the Denoising Implicit Image Function (DIIF) to reduce noise and enhance the quality of facial depth images for low-quality 3D FR. After generating clean depth faces using DMDNet, we further design a powerful recognition network called Lightweight Depth and Normal Fusion network (LDNFNet), which incorporates a multi-branch fusion block to learn unique and complementary features between different modalities such as depth and normal images. Comprehensive experiments conducted on four distinct low-quality databases demonstrate the effectiveness and robustness of our proposed methods. Furthermore, when combining DMDNet and LDNFNet, we achieve state-of-the-art results on the Lock3DFace database.


title: Every closed surface of genus at least 18 is Loewner

abstract: In this paper, we obtain an improved upper bound involving the systole and area for the volume entropy of a Riemannian surface. As a result, we show that every orientable and closed Riemannian surface of genus $g\geq 18$ satisfies Loewner's systolic ratio inequality. We also show that every closed orientable and nonpositively curved Riemannnian surface of genus $g\geq 11$ satisfies Loewner's systolic ratio inequality.


title: Update on flavor diagonal nucleon charges from clover fermions

abstract: We present a summary of the full calculation of the axial, scalar and tensor flavor diagonal charges of the nucleon carried out using Wilson-clover fermions on eight ensembles generated using 2+1+1-flavors of highly improved staggered quarks (HISQ) by the MILC collaboration. We also give results for the $3\times 3$ matrix of renormalization factors between the RI-sMOM and $\overline{\rm MS}$ scheme for the 2+1 flavor theory that include flavor mixing. Preliminary results for $g_{A,S,T}^{u,d,s}$ are presented in the $\overline{\rm MS}$ scheme at scale 2 GeV.


title: BRAU-Net++: U-Shaped Hybrid CNN-Transformer Network for Medical Image Segmentation

abstract: Accurate medical image segmentation is essential for clinical quantification, disease diagnosis, treatment planning and many other applications. Both convolution-based and transformer-based u-shaped architectures have made significant success in various medical image segmentation tasks. The former can efficiently learn local information of images while requiring much more image-specific inductive biases inherent to convolution operation. The latter can effectively capture long-range dependency at different feature scales using self-attention, whereas it typically encounters the challenges of quadratic compute and memory requirements with sequence length increasing. To address this problem, through integrating the merits of these two paradigms in a well-designed u-shaped architecture, we propose a hybrid yet effective CNN-Transformer network, named BRAU-Net++, for an accurate medical image segmentation task. Specifically, BRAU-Net++ uses bi-level routing attention as the core building block to design our u-shaped encoder-decoder structure, in which both encoder and decoder are hierarchically constructed, so as to learn global semantic information while reducing computational complexity. Furthermore, this network restructures skip connection by incorporating channel-spatial attention which adopts convolution operations, aiming to minimize local spatial information loss and amplify global dimension-interaction of multi-scale features. Extensive experiments on three public benchmark datasets demonstrate that our proposed approach surpasses other state-of-the-art methods including its baseline: BRAU-Net under almost all evaluation metrics. We achieve the average Dice-Similarity Coefficient (DSC) of 82.47, 90.10, and 92.94 on Synapse multi-organ segmentation, ISIC-2018 Challenge, and CVC-ClinicDB, as well as the mIoU of 84.01 and 88.17 on ISIC-2018 Challenge and CVC-ClinicDB, respectively.


title: "half-electron (e/2)" -- free electron fractional charge induced by twisted light

abstract: Recent advances in ultrafast electron emission, microscopy, and diffraction reveal our capacity to manipulate free electrons with remarkable quantum coherence using light beams. Here, we present a framework for exploring free electron fractional charge in ultrafast electron-light interactions. An explicit Jackiw-Rebbi solution of free electron is constructed by a spatiotemporally twisted laser field, showcasing a flying topological quantum number with a fractional charge of e/2 (we call it "half-electron"), which is dispersion-free due to its topological nature. We also propose an Aharonov-Bohm interferometry for detecting these half-electrons. The half-electron is a topologically protected bound state in free-space propagation, expands its realm beyond quasiparticles with fractional charges in materials, enabling to advance our understanding of exotic quantum and topological effects of free electron wavefunction.

categories: quant-ph cond-mat.mes-hall cond-mat.other physics.optics


title: A Note on Matching Variables to Equations

abstract: We showed with J. P. Gollin that if a (possibly infinite) homogeneous linear equation system has only the trivial solution, then there exists an injective function from the variables to the equations such that each variable has non-zero coefficient in its image. Shortly after a more elementary proof was found by Aharoni and Guo. In this note we present a very short matroid-theoretic proof which we believe is the simplest possible proof of this theorem.


title: Decoherence in Exchange-Coupled Quantum Spin Qubit Systems: Impact of Multiqubit Interactions and Geometric Connectivity

abstract: We investigate the impact of different connectivities on the decoherence time in quantum systems under quasi-static Heisenberg noise. We considered three types of elementary units, including node, stick and triangle and connect them into ring, chain, and tree configurations. We find that rings exhibit greater stability compared to chains, contrary to the expectation that higher average connectivity leads to decreased stability. Additionally, the stick configuration is more stable than the triangle configuration. We also observe similar trends in entanglement entropy and return probability, indicating their potential use in characterizing decoherence time. Our findings provide insights into the interplay between connectivity and stability in quantum systems, with implications for the design of robust quantum technologies and quantum error correction strategies.


title: Mechanism for the Anomalous Roll Moment in Wraparound Fin Projectiles

abstract: The occurrence of asymmetric rolling moments in wraparound fin (WAF) projectiles, even at zero free stream angle of attack, and their potential to induce roll reversal and resonant instabilities has long been recognized. The induced rolling moment is seen to flip sign depending on the WAF configuration (with concave surface leading into the roll or vice versa), and between subsonic and supersonic Mach numbers. In this work, we propose a simple mechanism that can explain the anomalous rolling behavior of WAF projectiles in the subsonic regime. By modeling the curved fin by discrete span-wise linear segments, the wraparound fin can be approximated as a wing with a deflected winglet, and the experimental data available in the literature for such wing configurations can be applied to the curved fin of WAF projectiles. The lifting characteristic of the curved fin can be seen to differ depending on whether the wingtip appears to be deflected up or down relative to the local flow incidence angle. Based on this differential lift between a pair of oppositely-placed curved fins on a WAF rocket, it becomes possible to explain the observed sign of the induced rolling moment as well as its dependence on the free stream angle of attack for small values of the angle of attack. The physical mechanism for the differential lift, and hence the induced rolling moment, can be traced to the span-wise location and the liftoff height of the tip vortex from the wraparound fin tips.


title: Discovery of a second eclipsing, bursting neutron-star low-mass X-ray binary in the globular cluster Terzan 6

abstract: We have analyzed Chandra and Suzaku observations of the globular cluster Terzan 6, made when the recurrent transient GRS 1747-312 was in quiescence. Our analysis reveals the presence of a second eclipsing, bursting neutron-star low-mass X-ray binary in the central regions of the cluster, in addition to GRS 1747-312. The new source, which we name Terzan 6 X2, is located only ~0.7 arcsec away from GRS 1747-312 in the 2021 Chandra images. The detection of a 5.14 ks-long eclipse in the light curve of X2 at a time not predicted by the ephemeris of GRS 1747-312 confirms that it is an unrelated source. Using the Suzaku light curve from 2009, which in addition to a type-I X-ray burst also showed an eclipse-like feature, we constrain the orbital period to be longer than 16.27 h. The 0.5-10 keV luminosities of X2 vary in the range of ~0.24-5.9x10^34 erg/s on time scales of months to years. We have identified a plausible optical counterpart of X2 in HST F606W and F814W images. This star varied by 2.7 mag in V_606 between epochs separated by years. In the cluster color-magnitude diagram, the variable counterpart lies in the blue-straggler region when it was optically bright, about 1.1-1.7 mag above the main-sequence turn-off. From the orbital period-density relation of Roche-lobe filling stars we find the mass-donor radius to be >0.8 Rsun.


title: MultiFusionNet: Multilayer Multimodal Fusion of Deep Neural Networks for Chest X-Ray Image Classification

abstract: Chest X-ray imaging is a critical diagnostic tool for identifying pulmonary diseases. However, manual interpretation of these images is time-consuming and error-prone. Automated systems utilizing convolutional neural networks (CNNs) have shown promise in improving the accuracy and efficiency of chest X-ray image classification. While previous work has mainly focused on using feature maps from the final convolution layer, there is a need to explore the benefits of leveraging additional layers for improved disease classification. Extracting robust features from limited medical image datasets remains a critical challenge. In this paper, we propose a novel deep learning-based multilayer multimodal fusion model that emphasizes extracting features from different layers and fusing them. Our disease detection model considers the discriminatory information captured by each layer. Furthermore, we propose the fusion of different-sized feature maps (FDSFM) module to effectively merge feature maps from diverse layers. The proposed model achieves a significantly higher accuracy of 97.21% and 99.60% for both three-class and two-class classifications, respectively. The proposed multilayer multimodal fusion model, along with the FDSFM module, holds promise for accurate disease classification and can also be extended to other disease classifications in chest X-ray images.


title: NightRain: Nighttime Video Deraining via Adaptive-Rain-Removal and Adaptive-Correction

abstract: Existing deep-learning-based methods for nighttime video deraining rely on synthetic data due to the absence of real-world paired data. However, the intricacies of the real world, particularly with the presence of light effects and low-light regions affected by noise, create significant domain gaps, hampering synthetic-trained models in removing rain streaks properly and leading to over-saturation and color shifts. Motivated by this, we introduce NightRain, a novel nighttime video deraining method with adaptive-rain-removal and adaptive-correction. Our adaptive-rain-removal uses unlabeled rain videos to enable our model to derain real-world rain videos, particularly in regions affected by complex light effects. The idea is to allow our model to obtain rain-free regions based on the confidence scores. Once rain-free regions and the corresponding regions from our input are obtained, we can have region-based paired real data. These paired data are used to train our model using a teacher-student framework, allowing the model to iteratively learn from less challenging regions to more challenging regions. Our adaptive-correction aims to rectify errors in our model's predictions, such as over-saturation and color shifts. The idea is to learn from clear night input training videos based on the differences or distance between those input videos and their corresponding predictions. Our model learns from these differences, compelling our model to correct the errors. From extensive experiments, our method demonstrates state-of-the-art performance. It achieves a PSNR of 26.73dB, surpassing existing nighttime video deraining methods by a substantial margin of 13.7%.


title: The PML-Method for a Scattering Problem for a Local Perturbation of an Open Periodic Waveguide

abstract: The perfectly matched layers method is a well known truncation technique for its efficiency and convenience in numerical implementations of wave scattering problems in unbounded domains. In this paper, we study the convergence of the perfectly matched layers (PML) for wave scattering from a local perturbation of an open waveguide in the half space above the real line, where the refractive index is a function which is periodic along the axis of the waveguide and equals to one above a finite height. The problem is challenging due to the existence of guided waves, and a typical way to deal with the difficulty is to apply the limiting absorption principle. Based on the Floquet-Bloch transform and a curve deformation theory, the solution from the limiting absorption principle is rewritten as the integral of a coupled family of quasi-periodic problems with respect to the quasi-periodicity parameter on a particularly designed curve. By comparing the Dirichlet-to-Neumann maps on a straight line above the locally perturbed periodic layer, we finally show that the PML method converges exponentially with respect to the PML parameter. Finally, the numerical examples are shown to illustrate the theoretical results.


title: Reflection and Transmission of Airy Pulse from Controllable Periodic Temporal Boundary

abstract: We numerically investigate the interaction between two Airy pulses propagating at different wavelengths. The periodically varying peak intensity of the soliton that emerges from stronger Airy pulse (pump pulse) leads to the formation of periodic temporal boundary. The relatively weaker Airy pulse (probe pulse) on interaction with this boundary gets partially reflected as well as transmitted. As a result, the probe pulse spectrum splits into two parts -- the reflected pulse spectrum undergoes red shift while transmitted pulse exhibits blue shift. The probe pulse witneses maximum reflection when point of interaction lies on the intensity maxima of the emergent soliton from pump Airy pulse. On the other hand, maximum transmission occurs when probe Airy pulse interacts at the intensity minima of the soliton. The reflection and transmission processes can be manipulated by tuning the time delay between pump and probe Airy pulses. In case of sufficiently intense pump pulse, the temporal boundary mimics the artificial optical event horizon, and the weak probe Airy pulse is completely reflected. This phenomenon is equivalent to the temporal version of total internal reflection. The time delay and truncation parameters play a vital role in the interaction. The results of the study hold potential applications in optical manipulation and temporal waveguiding.


title: Inverse anisotropic catalysis and complexity

abstract: In this work the effect of anisotropy on computational complexity is considered by CA proposal in holographic two-sided black brane dual of a strongly coupled gauge theory. It is shown that due to confinement-deconfinement phase transition there are two different behaviors: by increase in anisotropy there would be an increase in complexity growth rate in small anisotropy and a decreases in the complexity growth rate in large anisotropy. In the extreme case the very large anisotropy leads to the unity of the complexity growth rate and complexity itself, it means that in this case getting the target state from the reference state is reachable by no effort. Moreover, we suggest that $\frac{1}{M}\frac{dC}{dt}$ is a better representation of system degrees of freedom rather than the complexity growth rate $\frac{dC}{dt}$ and show that how it is related to inverse anisotropic catalysis. In addition, we consider the one-sided black brane dual to the quantum quench and showed that increase in anisotropy comes with decrease in complexity regardless of the anisotropy value which is due to the fact that the system do not experience a phase transition.


title: Approximate generalized Steiner systems and near-optimal constant weight codes

abstract: Constant weight codes (CWCs) and constant composition codes (CCCs) are two important classes of codes that have been studied extensively in both combinatorics and coding theory for nearly sixty years. In this paper we show that for {\it all} fixed odd distances, there exist near-optimal CWCs and CCCs asymptotically achieving the classic Johnson-type upper bounds. Let $A_q(n,w,d)$ denote the maximum size of $q$-ary CWCs of length $n$ with constant weight $w$ and minimum distance $d$. One of our main results shows that for {\it all} fixed $q,w$ and odd $d$, one has $\lim_{n\rightarrow\infty}\frac{A_q(n,d,w)}{\binom{n}{t}}=\frac{(q-1)^t}{\binom{w}{t}}$, where $t=\frac{2w-d+1}{2}$. This implies the existence of near-optimal generalized Steiner systems originally introduced by Etzion, and can be viewed as a counterpart of a celebrated result of R\"odl on the existence of near-optimal Steiner systems. Note that prior to our work, very little is known about $A_q(n,w,d)$ for $q\ge 3$. A similar result is proved for the maximum size of CCCs. We provide different proofs for our two main results, based on two strengthenings of the well-known Frankl-R\"odl-Pippenger theorem on the existence of near-optimal matchings in hypergraphs: the first proof follows by Kahn's linear programming variation of the above theorem, and the second follows by the recent independent work of Delcour-Postle, and Glock-Joos-Kim-K\"uhn-Lichev on the existence of near-optimal matchings avoiding certain forbidden configurations. We also present several intriguing open questions for future research.


title: Euclidean algorithms are Gaussian over imaginary quadratic fields

abstract: The distributional analysis of Euclidean algorithms was carried out by Baladi and Vall\'{e}e. They showed the asymptotic normality of the number of division steps and associated costs in the Euclidean algorithm as a random variable on the set of rational numbers with bounded denominator based on the transfer operator methods. We extend their result to the Euclidean algorithm over appropriate imaginary quadratic fields by studying dynamics of the nearest integer complex continued fraction map, which is piecewise analytic and expanding but not a full branch map. By observing a finite Markov partition with a regular CW-structure, which enables us to associate the transfer operator acting on a direct sum of spaces of $C^1$-functions, we obtain the limit Gaussian distribution as well as residual equidistribution.


title: Dynamical processes on metric networks

abstract: The structure of a network has a major effect on dynamical processes on that network. Many studies of the interplay between network structure and dynamics have focused on models of phenomena such as disease spread, opinion formation and changes, coupled oscillators, and random walks. In parallel to these developments, there have been many studies of wave propagation and other spatially extended processes on networks. These latter studies consider metric networks, in which the edges are associated with real intervals. Metric networks give a mathematical framework to describe dynamical processes that include both temporal and spatial evolution of some quantity of interest -- such as the concentration of a diffusing substance or the amplitude of a wave -- by using edge-specific intervals that quantify distance information between nodes. Dynamical processes on metric networks often take the form of partial differential equations (PDEs). In this paper, we present a collection of techniques and paradigmatic linear PDEs that are useful to investigate the interplay between structure and dynamics in metric networks. We start by considering a time-independent Schr\"odinger equation. We then use both finite-difference and spectral approaches to study the Poisson, heat, and wave equations as paradigmatic examples of elliptic, parabolic, and hyperbolic PDE problems on metric networks. Our spectral approach is able to account for degenerate eigenmodes. In our numerical experiments, we consider metric networks with up to about $10^4$ nodes and about $10^4$ edges. A key contribution of our paper is to increase the accessibility of studying PDEs on metric networks. Software that implements our numerical approaches is available at https://gitlab.com/ComputationalScience/metric-networks.

categories: math.DS cs.NA math-ph math.AP math.MP math.NA physics.comp-ph


title: Diffusion Models, Image Super-Resolution And Everything: A Survey

abstract: Diffusion Models (DMs) have disrupted the image Super-Resolution (SR) field and further closed the gap between image quality and human perceptual preferences. They are easy to train and can produce very high-quality samples that exceed the realism of those produced by previous generative methods. Despite their promising results, they also come with new challenges that need further research: high computational demands, comparability, lack of explainability, color shifts, and more. Unfortunately, entry into this field is overwhelming because of the abundance of publications. To address this, we provide a unified recount of the theoretical foundations underlying DMs applied to image SR and offer a detailed analysis that underscores the unique characteristics and methodologies within this domain, distinct from broader existing reviews in the field. This survey articulates a cohesive understanding of DM principles and explores current research avenues, including alternative input domains, conditioning techniques, guidance mechanisms, corruption spaces, and zero-shot learning approaches. By offering a detailed examination of the evolution and current trends in image SR through the lens of DMs, this survey sheds light on the existing challenges and charts potential future directions, aiming to inspire further innovation in this rapidly advancing area.


title: Searching, fast and slow, through product catalogs

abstract: String matching algorithms in the presence of abbreviations, such as in Stock Keeping Unit (SKU) product catalogs, remains a relatively unexplored topic. In this paper, we present a unified architecture for SKU search that provides both a real-time suggestion system (based on a Trie data structure) as well as a lower latency search system (making use of character level TF-IDF in combination with language model vector embeddings) where users initiate the search process explicitly. We carry out ablation studies that justify designing a complex search system composed of multiple components to address the delicate trade-off between speed and accuracy. Using SKU search in the Dynamics CRM as an example, we show how our system vastly outperforms, in all aspects, the results provided by the default search engine. Finally, we show how SKU descriptions may be enhanced via generative text models (using gpt-3.5-turbo) so that the consumers of the search results may get more context and a generally better experience when presented with the results of their SKU search.


title: Bottom-hadron production in high-energy $pp$ and heavy-ion collisions

abstract: The hadro-chemistry of bottom quarks produced in hadronic collisions encodes valuable information on the mechanism of color-neutralization in these reactions. We first compute the chemistry of bottom-hadrons in high-energy $pp$ collisions employing statistical hadronization with a largely augmented set of states beyond the currently measured spectrum. This enables a comprehensive prediction of fragmentation fractions of weakly decaying bottom hadrons for the first time and a satisfactory explanation of the existing measurements in $pp$ collisions at the LHC. Utilizing the bottom hadro-chemistry thus obtained as the baseline, we then perform transport simulations of bottom quarks in the hot QCD matter created in PbPb collisions at the LHC energy and calculate the pertinent bottom-hadron observables. The transverse momentum ($p_T$) dependent modifications of the bottom baryon-to-meson ratio ($\Lambda_b^0/B^-$) relative to their $pp$ counterparts are highlighted as a result of bottom quark diffusion and hadronization in the Quark-Gluon Plasma (QGP). We finally summarize the heavy quark (charm vs bottom) diffusion coefficients as extracted from transport simulations and compare them to result from recent full lattice QCD computations.


title: DiffMorph: Text-less Image Morphing with Diffusion Models

abstract: Text-conditioned image generation models are a prevalent use of AI image synthesis, yet intuitively controlling output guided by an artist remains challenging. Current methods require multiple images and textual prompts for each object to specify them as concepts to generate a single customized image. On the other hand, our work, \verb|DiffMorph|, introduces a novel approach that synthesizes images that mix concepts without the use of textual prompts. Our work integrates a sketch-to-image module to incorporate user sketches as input. \verb|DiffMorph| takes an initial image with conditioning artist-drawn sketches to generate a morphed image. We employ a pre-trained text-to-image diffusion model and fine-tune it to reconstruct each image faithfully. We seamlessly merge images and concepts from sketches into a cohesive composition. The image generation capability of our work is demonstrated through our results and a comparison of these with prompt-based image generation.


title: Beyond Subspace Isolation: Many-to-Many Transformer for Light Field Image Super-resolution

abstract: The effective extraction of spatial-angular features plays a crucial role in light field image super-resolution (LFSR) tasks, and the introduction of convolution and Transformers leads to significant improvement in this area. Nevertheless, due to the large 4D data volume of light field images, many existing methods opted to decompose the data into a number of lower-dimensional subspaces and perform Transformers in each sub-space individually. As a side effect, these methods inadvertently restrict the self-attention mechanisms to a One-to-One scheme accessing only a limited subset of LF data, explicitly preventing comprehensive optimization on all spatial and angular cues. In this paper, we identify this limitation as subspace isolation and introduce a novel Many-to-Many Transformer (M2MT) to address it. M2MT aggregates angular information in the spatial subspace before performing the self-attention mechanism. It enables complete access to all information across all sub-aperture images (SAIs) in a light field image. Consequently, M2MT is enabled to comprehensively capture long-range correlation dependencies. With M2MT as the pivotal component, we develop a simple yet effective M2MT network for LFSR. Our experimental results demonstrate that M2MT achieves state-of-the-art performance across various public datasets. We further conduct in-depth analysis using local attribution maps (LAM) to obtain visual interpretability, and the results validate that M2MT is empowered with a truly non-local context in both spatial and angular subspaces to mitigate subspace isolation and acquire effective spatial-angular representation.


title: ToolEyes: Fine-Grained Evaluation for Tool Learning Capabilities of Large Language Models in Real-world Scenarios

abstract: Existing evaluations of tool learning primarily focus on validating the alignment of selected tools for large language models (LLMs) with expected outcomes. However, these approaches rely on a limited set of scenarios where answers can be pre-determined, diverging from genuine needs. Furthermore, a sole emphasis on outcomes disregards the intricate capabilities essential for LLMs to effectively utilize tools. To tackle this issue, we propose ToolEyes, a fine-grained system tailored for the evaluation of the LLMs' tool learning capabilities in authentic scenarios. The system meticulously examines seven real-world scenarios, analyzing five dimensions crucial to LLMs in tool learning: format alignment, intent comprehension, behavior planning, tool selection, and answer organization. Additionally, ToolEyes incorporates a tool library boasting approximately 600 tools, serving as an intermediary between LLMs and the physical world. Evaluations involving ten LLMs across three categories reveal a preference for specific scenarios and limited cognitive abilities in tool learning. Intriguingly, expanding the model size even exacerbates the hindrance to tool learning. These findings offer instructive insights aimed at advancing the field of tool learning. The data is available att https://github.com/Junjie-Ye/ToolEyes.


title: Raisins in a Hydrogen Pie: Ultrastable Cesium and Rubidium Polyhydrides

abstract: We proposed a new method for synthesis of metal polyhydrides via high-pressure thermal decomposition of corresponding amidoboranes in diamond anvil cells. Within this approach, we synthesized molecular semiconducting cesium ($\textit P4/nmm$-CsH$_7$, $\textit P$1-CsH$_{15+x}$) and rubidium (RbH$_{9-x}$) polyhydrides with a very high hydrogen content reaching 93 at%. Preservation of CsH$_7$ at near ambient conditions, confirmed both experimentally and theoretically, represents a significant advance in the stabilization of hydrogen-rich compounds. In addition, we synthesized two crystal modifications of RbH$_{9-x}$ with pseudo hexagonal and pseudo tetragonal structures identified by synchrotron X-ray diffraction and Raman measurements. Both phases are stable at 8-10 GPa. This is an unprecedented low stabilization pressure for polyhydrides. These discoveries open up possibilities for modifying existing hydrogen storage materials to increase their efficiency.


title: Walsh coefficients and circuits for several alleles

abstract: Walsh coefficients have been applied extensively to biallelic systems for quantifying pairwise and higher order epistasis, in particular for demonstrating the empirical importance of higher order interactions. Circuits, or minimal dependence relations, and related approaches that use triangulations of polytopes have also been applied to biallelic systems. Here we provide biological interpretations of Walsh coefficients for several alleles, and discuss circuits in the same general setting.


title: Towards Harmonization of SO(3)-Equivariance and Expressiveness: a Hybrid Deep Learning Framework for Electronic-Structure Hamiltonian Prediction

abstract: Deep learning for predicting the electronic-structure Hamiltonian of quantum systems necessitates satisfying the covariance laws, among which achieving SO(3)-equivariance without sacrificing the non-linear expressive capability of networks remains unsolved. To navigate the harmonization between equivariance and expressiveness, we propose a deep learning method synergizing two distinct categories of neural mechanisms as a two-stage encoding and regression framework. The first stage corresponds to group theory-based neural mechanisms with inherent SO(3)-equivariant properties prior to the parameter learning process, while the second stage is characterized by a non-linear 3D graph Transformer network we propose, featuring high capability on non-linear expressiveness. The novel combination lies in the point that, the first stage predicts baseline Hamiltonians with abundant SO(3)-equivariant features extracted, assisting the second stage in empirical learning of equivariance; and in turn, the second stage refines the first stage's output as a fine-grained prediction of Hamiltonians using powerful non-linear neural mappings, compensating for the intrinsic weakness on non-linear expressiveness capability of mechanisms in the first stage. Our method enables precise, generalizable predictions while capturing SO(3)-equivariance under rotational transformations, and achieves state-of-the-art performance in Hamiltonian prediction on six benchmark databases.


title: Radon-type transforms for holomorphic and Hermitian monogenic functions

abstract: The standard Radon transform of holomorphic functions is not always well defined, as the integration of such functions over planes may not converge. In this paper, we introduce new Radon-type transforms of co-(real)dimension $2$ for harmonic and holomorphic functions on the unit ball. These transforms are abstractly defined as orthogonal projections onto spaces of complex harmonic and holomorphic plane waves, respectively. The inversion formulas are derived based on the dual transform, while the latter is defined as an integration on a complex Stiefel manifold. Our transforms are extended to the Fock space and give rise to a new transform defined on the entire $L^{2}(\mathbb{R}^{n})$ through the Segal-Bargmann transform. Furthermore, we develop these transforms for Hermitian monogenic functions on the unit ball, thereby refining the Szeg\"o-Radon transform for monogenic functions introduced by Colombo, Sabadini and Sommen.


title: Learn to integrate parts for whole through correlated neural variability

abstract: Sensory perception originates from the responses of sensory neurons, which react to a collection of sensory signals linked to various physical attributes of a singular perceptual object. Unraveling how the brain extracts perceptual information from these neuronal responses is a pivotal challenge in both computational neuroscience and machine learning. Here we introduce a statistical mechanical theory, where perceptual information is first encoded in the correlated variability of sensory neurons and then reformatted into the firing rates of downstream neurons. Applying this theory, we illustrate the encoding of motion direction using neural covariance and demonstrate high-fidelity direction recovery by spiking neural networks. Networks trained under this theory also show enhanced performance in classifying natural images, achieving higher accuracy and faster inference speed. Our results challenge the traditional view of neural covariance as a secondary factor in neural coding, highlighting its potential influence on brain function.


title: Polynomial-time Approximation Scheme for Equilibriums of Games

abstract: Whether a PTAS (polynomial-time approximation scheme) exists for equilibriums of games has been an open question, which relates to questions in three fields, the practicality of methods in algorithmic game theory, the equation PPAD=FP about the two complexity classes in computational complexity theory, and non-stationarity and curse of multiagency in MARL (multi-agent reinforcement learning). This paper introduces our discovery of the sufficient and necessary conditions for iterations based on dynamic programming and line search to approximate perfect equilibriums of dynamic games, out of which we construct a method proved to be a FPTAS (fully PTAS) for non-singular perfect equilibriums of dynamic games, where for almost any given dynamic game, all its perfect equilibriums are non-singular, indicating that FP$\subseteq$PPAD$\subseteq$Almost-FP. Our discovery consists of cone interior dynamic programming and primal-dual unbiased regret minimization, which fit into existing theories by degeneration in a structure-preserving manner. The former enables a dynamic programming operator to iteratively converge to a perfect equilibrium based on a concept called policy cone. The latter enables an interior-point line search to approximate a Nash equilibrium based on two concepts called primal-dual bias and unbiased central variety, solving a subproblem of the former. Validity of our discovery is cross-corroborated by a combination of theorem proofs, graphs of the three main concepts, and experimental results.


title: Sequential choice functions and stability problems

abstract: The concept of sequential choice functions is introduced and studied. This concept applies to the reduction of the problem of stable matchings with sequential workers to a situation where the workers are linear.


title: Two new mixture representations for the generalized inverse Gaussian distribution and their applications

abstract: The generalized inverse Gaussian, denoted $\mathrm{GIG}(p, a, b)$, is a flexible family of distributions that includes the gamma, inverse gamma, and inverse Gaussian distributions as special cases. In this article, we derive two novel mixture representations for the $\mathrm{GIG}(p, a, b)$: one that expresses the distribution as a continuous mixture of inverse Gaussians and another one that expresses it as a continuous mixture of truncated exponentials. Beyond their conceptual interest, these representations are useful for random number generation. We use the first representation to derive a geometrically ergodic Gibbs sampler whose stationary distribution is $\mathrm{GIG}(p, a, b)$, and the second one to define a recursive algorithm to generate exact independent draws from the distribution for half-integer $p$. Additionally, the second representation gives rise to a recursive algorithm for evaluating the cumulative distribution function of the $\mathrm{GIG}(p, a, b)$ for half-integer $p$. The algorithms are simple and can be easily implemented in standard programming languages.


title: Nematic Superconductivity and Its Critical Vestigial Phases in the Quasi-crystal

abstract: We propose a general mechanism to realize nematic superconductivity (SC) and reveal its exotic vestigial phases in the quasi-crystal (QC). Starting from a Penrose Hubbard model, our microscopic studies suggest that the Kohn-Luttinger mechanism driven SC in the QC is usually gapless due to violation of Anderson's theorem, rendering that both chiral and nematic SCs are common. The nematic SC in the QC can support novel vestigial phases driven by pairing phase fluctuations above its $T_c$. Our combined renormalization group and Monte-Carlo studies provide a phase diagram in which, besides the conventional charge-4e SC, two critical vestigial phases emerge, i.e. the quasi-nematic (Q-N) SC and Q-N metal. In the two Q-N phases, the discrete lattice rotation symmetry is counter-intuitively ``quasi-broken'' with power-law decaying orientation correlations. They separate the phase diagram into various phases connected via Brezinskii-Kosterlitz-Thouless (BKT) transitions. These remarkable critical vestigial phases, which resemble the intermediate BKT phase in the $q$-state ($q\ge 5$) clock model, are consequence of the five- (or higher-) fold anisotropy field brought about by the unique QC symmetry, which are absent in conventional crystalline materials.


title: Machine Translation Testing via Syntactic Tree Pruning

abstract: Machine translation systems have been widely adopted in our daily life, making life easier and more convenient. Unfortunately, erroneous translations may result in severe consequences, such as financial losses. This requires to improve the accuracy and the reliability of machine translation systems. However, it is challenging to test machine translation systems because of the complexity and intractability of the underlying neural models. To tackle these challenges, we propose a novel metamorphic testing approach by syntactic tree pruning (STP) to validate machine translation systems. Our key insight is that a pruned sentence should have similar crucial semantics compared with the original sentence. Specifically, STP (1) proposes a core semantics-preserving pruning strategy by basic sentence structure and dependency relations on the level of syntactic tree representation; (2) generates source sentence pairs based on the metamorphic relation; (3) reports suspicious issues whose translations break the consistency property by a bag-of-words model. We further evaluate STP on two state-of-the-art machine translation systems (i.e., Google Translate and Bing Microsoft Translator) with 1,200 source sentences as inputs. The results show that STP can accurately find 5,073 unique erroneous translations in Google Translate and 5,100 unique erroneous translations in Bing Microsoft Translator (400% more than state-of-the-art techniques), with 64.5% and 65.4% precision, respectively. The reported erroneous translations vary in types and more than 90% of them cannot be found by state-of-the-art techniques. There are 9,393 erroneous translations unique to STP, which is 711.9% more than state-of-the-art techniques. Moreover, STP is quite effective to detect translation errors for the original sentences with a recall reaching 74.0%, improving state-of-the-art techniques by 55.1% on average.


title: A note on Laguerre truncated polynomials and quadrature formula

abstract: In this contribution we deal with Gaussian quadrature rules based on orthogonal polynomials associated with a weight function $w(x)= x^{\alpha} e^{-x}$ supported on an interval $(0,z)$, $z>0.$ The modified Chebyshev algorithm is used in order to test the accuracy in the computation of the coefficients of the three-term recurrence relation, the zeros and weights, as well as the dependence on the parameter $z.$


title: Plug-and-Play regularized 3D seismic inversion with 2D pre-trained denoisers

abstract: Post-stack seismic inversion is a widely used technique to retrieve high-resolution acoustic impedance models from migrated seismic data. Its modelling operator assumes that a migrated seismic data can be generated from the convolution of a source wavelet and the time derivative of the acoustic impedance model. Given the band-limited nature of the seismic wavelet, the convolutional model acts as a filtering operator on the acoustic impedance model, thereby making the problem of retrieving acoustic impedances from seismic data ambiguous. In order to compensate for missing frequencies, post-stack seismic inversion is often regularized, meaning that prior information about the structure of the subsurface is included in the inversion process. Recently, the Plug-and-Play methodology has gained wide interest in the inverse problem community as a new form of implicit regularization, often outperforming state-of-the-art regularization. Plug-and-Play can be applied to any proximal algorithm by simply replacing the proximal operator of the regularizer with any denoiser of choice. We propose to use Plug-and-Play regularization with a 2D pre-trained, deep denoiser for 2D post-stack seismic inversion. Additionally, we show that a generalization of Plug-and-Play, called Multi-Agent Consensus Equilibrium, can be adopted to solve 3D post-stack inversion whilst leveraging the same 2D pre-trained denoiser used in the 2D case. More precisely, Multi-Agent Consensus Equilibrium combines the results of applying such 2D denoiser in the inline, crossline, and time directions in an optimal manner. We verify the proposed methods on a portion of the SEAM Phase 1 velocity model and the Sleipner field dataset. 1


title: Constraining the Number Density of the Accretion Disk Wind in Hercules X-1 Using its Ionization Response to X-ray Pulsations

abstract: X-ray binaries are known to launch powerful accretion disk winds that can have significant impact on the binary systems and their surroundings. To quantify the impact and determine the launching mechanisms of these outflows, we need to measure the wind plasma number density, an important ingredient in the theoretical disk wind models. While X-ray spectroscopy is a crucial tool to understanding the wind properties, such as their velocity and ionization, in nearly all cases, we lack the signal-to-noise to constrain the plasma number density, weakening the constraints on outflow location and mass outflow rate. We present a new approach to determine this number density in the X-ray binary Hercules X-1 by measuring the speed of the wind ionization response to time-variable illuminating continuum. Hercules X-1 is powered by a highly magnetized neutron star, pulsating with a period of 1.24 s. We show that the wind number density in Hercules X-1 is sufficiently high to respond to these pulsations by modeling the ionization response with the time-dependent photoionization model TPHO. We then perform a pulse-resolved analysis of the best-quality XMM-Newton observation of Hercules X-1 and directly detect the wind response, confirming that the wind density is at least $10^{12}$ cm$^{-3}$. Finally, we simulate XRISM observations of Hercules X-1 and show that they will allow us to accurately measure the number density at different locations within the outflow. With XRISM we will rule out $\sim3$ orders of magnitude in density parameter space, constraining the wind mass outflow rate, energetics, and its launching mechanism.


abstract: The crux of graph classification lies in the effective representation learning for the entire graph. Typical graph neural networks focus on modeling the local dependencies when aggregating features of neighboring nodes, and obtain the representation for the entire graph by aggregating node features. Such methods have two potential limitations: 1) the global node saliency w.r.t. graph classification is not explicitly modeled, which is crucial since different nodes may have different semantic relevance to graph classification; 2) the graph representation directly aggregated from node features may have limited effectiveness to reflect graph-level information. In this work, we propose the Saliency-Aware Regularized Graph Neural Network (SAR-GNN) for graph classification, which consists of two core modules: 1) a traditional graph neural network serving as the backbone for learning node features and 2) the Graph Neural Memory designed to distill a compact graph representation from node features of the backbone. We first estimate the global node saliency by measuring the semantic similarity between the compact graph representation and node features. Then the learned saliency distribution is leveraged to regularize the neighborhood aggregation of the backbone, which facilitates the message passing of features for salient nodes and suppresses the less relevant nodes. Thus, our model can learn more effective graph representation. We demonstrate the merits of SAR-GNN by extensive experiments on seven datasets across various types of graph data. Code will be released.


title: MPRE: Multi-perspective Patient Representation Extractor for Disease Prediction

abstract: Patient representation learning based on electronic health records (EHR) is a critical task for disease prediction. This task aims to effectively extract useful information on dynamic features. Although various existing works have achieved remarkable progress, the model performance can be further improved by fully extracting the trends, variations, and the correlation between the trends and variations in dynamic features. In addition, sparse visit records limit the performance of deep learning models. To address these issues, we propose the Multi-perspective Patient Representation Extractor (MPRE) for disease prediction. Specifically, we propose Frequency Transformation Module (FTM) to extract the trend and variation information of dynamic features in the time-frequency domain, which can enhance the feature representation. In the 2D Multi-Extraction Network (2D MEN), we form the 2D temporal tensor based on trend and variation. Then, the correlations between trend and variation are captured by the proposed dilated operation. Moreover, we propose the First-Order Difference Attention Mechanism (FODAM) to calculate the contributions of differences in adjacent variations to the disease diagnosis adaptively. To evaluate the performance of MPRE and baseline methods, we conduct extensive experiments on two real-world public datasets. The experiment results show that MPRE outperforms state-of-the-art baseline methods in terms of AUROC and AUPRC.


title: A & B == B & A: Triggering Logical Reasoning Failures in Large Language Models

abstract: Recent advancements in large language models (LLMs) have propelled Artificial Intelligence (AI) to new heights, enabling breakthroughs in various tasks such as writing assistance, code generation, and machine translation. A significant distinction of advanced LLMs, such as ChatGPT, is their demonstrated ability to "reason." However, evaluating the reasoning ability of LLMs remains a challenge as most existing evaluations focus on their accuracy on the downstream tasks rather than directly assessing their reasoning processes. Efforts have been made to develop benchmarks and metrics to assess reasoning in LLMs, but they suffer from data leakage or limited scope. In this paper, we introduce LogicAsker, an automatic approach that comprehensively evaluates and improves the logical reasoning abilities of LLMs under a set of atomic reasoning skills based on propositional and predicate logic. The results provide insights into LLMs' reasoning abilities and reveal the logical rules the LLMs did not learn well. We evaluate LogicAsker on six widely deployed LLMs, including GPT-3, ChatGPT, GPT-4, Bard, Vicuna, and Guanaco. The results show that test cases from LogicAsker can find logical reasoning failures in different LLMs with a rate of 25\% - 94\%. In addition, the test cases of LogicAsker can be further used to design demonstration examples for in-context learning, which effectively improves the logical reasoning ability of LLMs, e.g., 10\% for GPT-4. As far as we know, our work is the first to create prompts based on testing results to improve LLMs' formal reasoning ability effectively. All the code, data, and results will be released for reproduction and future research.


title: Magnon Damping Minimum and Logarithmic Scaling in a Kondo-Heisenberg Model

abstract: Recently, an anomalous temperature evolution of spin wave excitations has been observed in a van der Waals metallic ferromagnet Fe$_3$GeTe$_2$ (FGT) [S. Bao, et al., Phys. Rev. X 12, 011022 (2022)], whose theoretical understanding yet remains elusive. Here we study the spin dynamics of a ferromagnetic Kondo-Heisenberg lattice model at finite temperature, and propose a mechanism of magnon damping that explains the intriguing experimental results. In particular, we find the magnon damping rate $\gamma(T)$ firstly decreases as temperature lowers, due to the reduced magnon-magnon scatterings. It then reaches a minimum at $T_{\rm d}^*$, and rises up again following a logarithmic scaling $\gamma(T) \sim \ln{(T_0/T)}$ (with $T_0$ a constant) for $T < T_{\rm d}^*$, which can be attributed to electron-magnon scatterings of spin-flip type. Moreover, we obtain the phase diagram containing the ferromagnetic and Kondo insulator phases by varying the Kondo coupling, which may be relevant for experiments on pressured FGT. The presence of a magnon damping minimum and logarithmic scaling at low temperature indicates the emergence of the Kondo effect reflected in the collective excitations of local moments in a Kondo lattice system.


title: A note on a flip-connected class of generalized domino tilings of the box $[0,2]^n$

abstract: Let $n,d\in \mathbb{N}$ and $n>d$. An $(n-d)$-domino is a box $I_1\times \cdots \times I_n$ such that $I_j\in \{[0,1],[1,2]\}$ for all $j\in N\subset [n]$ with $|N|=d$ and $I_i=[0,2]$ for every $i\in [n]\setminus N$. If $A$ and $B$ are two $(n-d)$-dominoes such that $A\cup B$ is an $(n-(d-1))$-domino, then $A,B$ is called a twin pair. If $C,D$ are two $(n-d)$-dominoes which form a twin pair such that $A\cup B=C\cup D$ and $\{C,D\}\neq \{A,B\}$, then the pair $C,D$ is called a flip of $A,B$. A family $\mathscr{D}$ of $(n-d)$-dominoes is a tiling of the box $[0,2]^n$ if interiors of every two members of $\mathscr{D}$ are disjoint and $\bigcup_{B\in \mathscr{D}}B=[0,2]^n$. An $(n-d)$-domino tiling $\mathscr{D}'$ is obtained from an $(n-d)$-domino tiling $\mathscr{D}$ by a flip, if there is a twin pair $A,B\in \mathscr{D}$ such that $\mathscr{D}'=(\mathscr{D}\setminus \{A,B\})\cup \{C,D\}$, where $C,D$ is a flip of $A,B$. A family of $(n-d)$-domino tilings of the box $[0,2]^n$ is flip-connected, if for every two members $\mathscr{D},\mathscr{E}$ of this family the tiling $\mathscr{E}$ can be obtained from $\mathscr{D}$ by a sequence of flips. In the paper some flip-connected class of $(n-d)$-domino tilings of the box $[0,2]^n$ is described.


title: Explicit construction of a plane sextic model for genus-five Howe curves, II

abstract: A Howe curve is defined as the normalization of the fiber product over a projective line of two hyperelliptic curves. Howe curves are very useful to produce important classes of curves over fields of positive characteristic, e.g., maximal, superspecial, or supersingular ones. Determining their feasible equations explicitly is a basic problem, and it has been solved in the hyperelliptic case and in the non-hyperelliptic case with genus not greater than $4$. In this paper, we construct an explicit plane sextic model for non-hyperelliptic Howe curves of genus $5$. We also determine the number and type of singularities on our sextic model, and prove that the singularities are generically $4$ double points. Our results together with Moriya-Kudo's recent ones imply that for each $s \in \{2,3,4,5\}$, there exists a non-hyperellptic curve $H$ of genus $5$ with $\mathrm{Aut}(H) \supset \mathbf{V}_4$ such that its associated plane sextic has $s$ double points.


title: The Earth is Flat? Unveiling Factual Errors in Large Language Models

abstract: Large Language Models (LLMs) like ChatGPT are foundational in various applications due to their extensive knowledge from pre-training and fine-tuning. Despite this, they are prone to generating factual and commonsense errors, raising concerns in critical areas like healthcare, journalism, and education to mislead users. Current methods for evaluating LLMs' veracity are limited by test data leakage or the need for extensive human labor, hindering efficient and accurate error detection. To tackle this problem, we introduce a novel, automatic testing framework, FactChecker, aimed at uncovering factual inaccuracies in LLMs. This framework involves three main steps: First, it constructs a factual knowledge graph by retrieving fact triplets from a large-scale knowledge database. Then, leveraging the knowledge graph, FactChecker employs a rule-based approach to generates three types of questions (Yes-No, Multiple-Choice, and WH questions) that involve single-hop and multi-hop relations, along with correct answers. Lastly, it assesses the LLMs' responses for accuracy using tailored matching strategies for each question type. Our extensive tests on six prominent LLMs, including text-davinci-002, text-davinci-003, ChatGPT~(gpt-3.5-turbo, gpt-4), Vicuna, and LLaMA-2, reveal that FactChecker can trigger factual errors in up to 45\% of questions in these models. Moreover, we demonstrate that FactChecker's test cases can improve LLMs' factual accuracy through in-context learning and fine-tuning (e.g., llama-2-13b-chat's accuracy increase from 35.3\% to 68.5\%). We are making all code, data, and results available for future research endeavors.


title: Algorithm for globally identifiable reparametrizions of ODEs

abstract: Structural global parameter identifiability indicates whether one can determine a parameter's value in an ODE model from given inputs and outputs. If a given model has parameters for which there is exactly one value, such parameters are called identifiable. We present a procedure for replacing, if possible, a given ODE model involving not identifiable parameters by an equivalent one such that the new set of parameters is identifiable. We first derive this as an algorithm for one-dimensional ODE models and then reuse this approach for higher-dimensional models.


title: New Job, New Gender? Measuring the Social Bias in Image Generation Models

abstract: Image generation models can generate or edit images from a given text. Recent advancements in image generation technology, exemplified by DALL-E and Midjourney, have been groundbreaking. These advanced models, despite their impressive capabilities, are often trained on massive Internet datasets, making them susceptible to generating content that perpetuates social stereotypes and biases, which can lead to severe consequences. Prior research on assessing bias within image generation models suffers from several shortcomings, including limited accuracy, reliance on extensive human labor, and lack of comprehensive analysis. In this paper, we propose BiasPainter, a novel metamorphic testing framework that can accurately, automatically and comprehensively trigger social bias in image generation models. BiasPainter uses a diverse range of seed images of individuals and prompts the image generation models to edit these images using gender, race, and age-neutral queries. These queries span 62 professions, 39 activities, 57 types of objects, and 70 personality traits. The framework then compares the edited images to the original seed images, focusing on any changes related to gender, race, and age. BiasPainter adopts a testing oracle that these characteristics should not be modified when subjected to neutral prompts. Built upon this design, BiasPainter can trigger the social bias and evaluate the fairness of image generation models. To evaluate the effectiveness of BiasPainter, we use BiasPainter to test five widely-used commercial image generation software and models, such as stable diffusion and Midjourney. Experimental results show that 100\% of the generated test cases can successfully trigger social bias in image generation models.


title: Bethe/Gauge Correspondence for $A_N$ Spin Chains with Integrable Boundaries

abstract: We continue the survey initiated in arXiv:2012.14197 to explore the Bethe/Gauge correspondence between supersymmetric SO/Sp gauge theories in 2d/3d/4d and open spin chain with integrable boundaries. We collect the known Bethe ansatz equations of different types of spin chains with general boundaries that have been analyzed in the literature, and compare them with the vacua equations of the quiver gauge theories. It seems that not all the vacua equations of quiver gauge theory with BCD-type gauge groups can be realized as some known Bethe ansatz equations of integrable spin chain models.


title: HexE -- Securing Audio Contents in Voice Chat using Puzzle and Timestamp

abstract: Cryptography is the study of securing information. It is the physical process that scrambles the information by rearrangement and substitution of content, so that it becomes difficult for anyone to understand. In today's world, security has become an inevitable part of our day-to-day life, right from normal browsing to performing critical payment transactions. Hackers work endlessly to break the security present in the apps/websites on which we perform day-to-day operations and salvage valuable information. Because of this, many illegal activities have taken place which affect the user. One such illegal activity is tapping the voice communication between two users. If left unencrypted, the communication between the users is compromised, thereby causing issues. One way to prevent this act is to encrypt the audio in that the contents cannot have tampered with unless the receiver has the valid key to decrypt it. The proposed solution termed "HexE" aims to create a puzzle-based algorithm which would encrypt and decrypt the audio files without manipulating the file header, thus securing the contents. The algorithm works on an NxN SuDoKu-based puzzle which is accepted both by the sender and receiver. Using the timestamp of the event (UNIX based), a grid from the puzzle is chosen which in turn will act as the key for both encryption and decryption. If the timestamp is slightly adjusted, the process will end up in failure during decryption, thus ensuring confidentiality. Another approach to secure the audio files is to implement IPFS (Inter Planetary File System) alongside the puzzle algorithm in which the encrypted audio is stored on it and the receiver can fetch the audio provided if the valid IPFS Hash of the file is present. In this way, the audio file is secured.


title: Exposure Bracketing is All You Need for Unifying Image Restoration and Enhancement Tasks

abstract: It is highly desired but challenging to acquire high-quality photos with clear content in low-light environments. Although multi-image processing methods (using burst, dual-exposure, or multi-exposure images) have made significant progress in addressing this issue, they typically focus on specific restoration or enhancement problems, and do not fully explore the potential of utilizing multiple images. Motivated by the fact that multi-exposure images are complementary in denoising, deblurring, high dynamic range imaging, and super-resolution, we propose to utilize exposure bracketing photography to unify image restoration and enhancement tasks in this work. Due to the difficulty in collecting real-world pairs, we suggest a solution that first pre-trains the model with synthetic paired data and then adapts it to real-world unlabeled images. In particular, a temporally modulated recurrent network (TMRNet) and self-supervised adaptation method are proposed. Moreover, we construct a data simulation pipeline to synthesize pairs and collect real-world images from 200 nighttime scenarios. Experiments on both datasets show that our method performs favorably against the state-of-the-art multi-image processing ones. The dataset, code, and pre-trained models are available at https://github.com/cszhilu1998/BracketIRE.


title: A new characterization of $E_8 (p)$ via its vanishing elements

abstract: Let $G$ be a finite group, and $g \in G$. Then $g$ is said to be a vanishing element of $G$, if there exists an irreducible character $\chi$ of $G$ such that $\chi (g)=0$. Denote by ${\rm Vo} (G)$ the set of the orders of vanishing elements of $G$. We say a non-abelian group $G$ is V-recognizable, if any group $N$ with ${\rm Vo} (N) = {\rm Vo} (G)$ is isomorphic to $G$. In this paper, we investigate the V-recognizability of $E_8 (p)$, where $p$ is a prime number. As an application, among the 610 primes $p$ with $p<10000$ and $p \equiv 0,1,4\,(\!\!\!\mod 5)$, we obtain that the method is always valid for confirming the V-recognizability of $E_8 (p)$ for all such $p$ but $ 919,1289,1931,3911,4691,5381$ and $7589 $.


title: Modelling magnetically formed neutron star mountains

abstract: With the onset of the era of gravitational-wave (GW) astronomy, the search for continuous gravitational waves (CGWs), which remain undetected to date, has intensified in more ways than one. Rapidly rotating neutron stars with non-axisymmetrical deformations are the main targets for CGW searches. The extent of this quadrupolar deformation is measured by the maximum ellipticity that can be sustained by the crust of a neutron star and it places an upper limit on the CGW amplitudes emitted by such systems. In this paper, following previous works on this subject, we calculate the maximum ellipticity of a neutron star generated by the Lorentz force exerted on it by the internal magnetic fields. We show that the ellipticity of stars deformed by such a Lorentz force is of the same order of magnitude as previous theoretical and astrophysical constraints. We also consider if this ellipticity can be further enhanced by crustal surface currents. We discover that this is indeed true; surface currents at crustal boundaries are instrumental towards enhancing the ellipticity of magnetized neutron stars.


title: Cavitation bubble dynamics inside a droplet suspended in a different host fluid

abstract: In this paper, we present a theoretical, experimental, and numerical study of the dynamics of cavitation bubbles inside a droplet suspended in another host fluid. On the theoretical side, we provided a modified Rayleigh collapse time and natural frequency for spherical bubbles in our particular context, characterized by the density ratio between the two liquids and the bubble-to-droplet size ratio. Regarding the experimental aspect, experiments were carried out for laser-induced cavitation bubbles inside oil-in-water (O/W) or water-in-oil (W/O) droplets. Two distinct fluid-mixing mechanisms were unveiled in the two systems, respectively. In the case of O/W droplets, a liquid jet emerges around the end of the bubble collapse phase, effectively penetrating the droplet interface. We offer a detailed analysis of the criteria governing jet penetration, involving the standoff parameter and impact velocity of the bubble jet on the droplet surface. Conversely, in the scenario involving W/O droplets, the bubble traverses the droplet interior, inducing global motion and eventually leading to droplet pinch-off when the local Weber number exceeds a critical value. This phenomenon is elucidated through the equilibrium between interfacial and kinetic energies. Lastly, our boundary integral model faithfully reproduces the essential physics of nonspherical bubble dynamics observed in the experiments. We conduct a parametric study spanning a wide parameter space to investigate bubble-droplet interactions. The insights from this study could serve as a valuable reference for practical applications in the field of ultrasonic emulsification, pharmacy, etc.


title: Single production of an exotic vector-like $Y$ quark at future high energy $pp$ colliders

abstract: Vector-like quarks have been predicted in various new physics scenarios beyond the Standard Model (SM). In a simplified modelling of a $(B,Y)$ doublet including a vector-like quark $Y$, with charge $-\frac{4}{3}$e, there are only two free parameters: the $Y$ coupling $\kappa_{Y}$ and mass $m_Y$. In the five flavor scheme, we investigate the single production of the $Y$ state decaying into $Wb$ at the Large Hadron Collider (LHC) Run-III and High-Luminosity LHC (HL-LHC) operating at $\sqrt{s}$ = 14 TeV, the possible High-Energy LHC (HE-LHC) with $\sqrt{s}$ = 27 TeV as well as the Future Circular Collider in hadron-hadron mode (FCC-hh) with $\sqrt{s}$ = 100 TeV. Through detailed signal-to-background analyses and detector simulations, we assess the exclusion capabilities of the $Y$ state at the different colliders. We find that this can be improved significantly with increasing collision energy, especially at the HE-LHC and FCC-hh, both demonstrating an obvious advantage with respect to the HL-LHC in the case of high $m_Y$. Assuming a 10\% systematic uncertainty on the background event rate, the exclusion capabilities are summarized as follows: (1) the LHC Run-III can exclude the correlated regions of $\kappa_{Y} \in [0.06,0.5]$ and $m_{Y} \in [1500\text{ GeV},3800\text{ GeV}]$ with integrated luminosity $L = 300\text{ fb}^{-1}$; (2) the HL-LHC can exclude the correlated regions of $\kappa_{Y} \in [0.05,0.5]$ and $m_{Y} \in [1500\text{ GeV},3970\text{ GeV}]$ with $L = 3$ ab$^{-1}$; (3) the HE-LHC can exclude the correlated regions of $\kappa_Y \in [0.06,0.5]$ and $m_{Y} \in [1500\text{ GeV} , 6090\text{ GeV}]$ with $L = 3$ ab$^{-1}$; (4) the FCC-hh can exclude the correlated regions of $\kappa_{Y} \in [0.08,0.5]$ and $m_{Y} \in [1500\text{ GeV} , 10080\text{ GeV}]$ with $L = 3$ ab$^{-1}$.


title: Gravitational wave footprints from Higgs-portal scalegenesis with multiple dark chiral scalars

abstract: We discuss the gravitational wave (GW) spectra predicted from the electroweak scalegenesis of the Higgs portal type with a large number of dark chiral flavors, which many flavor QCD would underlie and give the dynamical explanation of the negative Higgs portal coupling required to trigger the electroweak symmetry breaking. We employ the linear-sigma model as the low-energy description of dark many flavor QCD and show that the model undergoes ultra-supercooling due to the produced strong first-order thermal phase transition along the (approximately realized) flat direction based on the Gildener-Weinberg mechanism. Passing through evaluation of the bubble nucleation/percolation, we address the reheating and relaxation processes, which are generically non-thermal and nonadiabatic. Parametrizing the reheating epoch in terms of the e-folding number, we propose proper formulae for the redshift effects on the GW frequencies and signal spectra. It then turns out that the ultra-supercooling predicted from the Higgs-portal scalegenesis generically yields none of GW signals with the frequencies as low as nano Hz, unless the released latent heat is transported into another sector other than reheating the universe. Instead, models of this class prefer to give the higher frequency signals and still keeps the future prospected detection sensitivity, like at LISA, BBO, and DECIGO, etc. We also find that with large flavors in the dark sector, the GW signals are made further smaller and the peak frequencies higher. Characteristic phenomenological consequences related to the multiple chiral scalars include the prediction of dark pions with the mass much less than TeV scale, which is also briefly addressed.


title: Algorithms for Improving the Automatically Synthesized Instruction Set of an Extensible Processor

abstract: Processors with extensible instruction sets are often used today as programmable hardware accelerators for various domains. When extending RISC-V and other similar extensible processor architectures, the task of designing specialized instructions arises. This task can be solved automatically by using instruction synthesis algorithms. In this paper, we consider algorithms that can be used in addition to the known approaches and improve the synthesized instruction sets by recomputing common operations (the result of which is consumed by multiple operations) of a program inside clustered synthesized instructions (common operations clustering algorithm), and by identifying redundant (which have equivalents among the other instructions) synthesized instructions (subsuming functions algorithm). Experimental evaluations of the developed algorithms are presented for the tests from the domains of cryptography and three-dimensional graphics. For Magma cipher test, the common operations clustering algorithm allows reducing the size of the compiled code by 9%, and the subsuming functions algorithm allows reducing the synthesized instruction set extension size by 2 times. For AES cipher test, the common operations clustering algorithm allows reducing the size of the compiled code by 10%, and the subsuming functions algorithm allows reducing the synthesized instruction set extension size by 2.5 times. Finally, for the instruction set extension from Volume Ray-Casting test, the additional use of subsuming functions algorithm allows reducing problem-specific instruction extension set size from 5 to only 2 instructions without losing its functionality.


title: Unsupervised Outlier Detection using Random Subspace and Subsampling Ensembles of Dirichlet Process Mixtures

abstract: Probabilistic mixture models are acknowledged as a valuable tool for unsupervised outlier detection owing to their interpretability and intuitive grounding in statistical principles. Within this framework, Dirichlet process mixture models emerge as a compelling alternative to conventional finite mixture models for both clustering and outlier detection tasks. However, despite their evident advantages, the widespread adoption of Dirichlet process mixture models in unsupervised outlier detection has been hampered by challenges related to computational inefficiency and sensitivity to outliers during the construction of detectors. To tackle these challenges, we propose a novel outlier detection method based on ensembles of Dirichlet process Gaussian mixtures. The proposed method is a fully unsupervised algorithm that capitalizes on random subspace and subsampling ensembles, not only ensuring efficient computation but also enhancing the robustness of the resulting outlier detector. Moreover, the proposed method leverages variational inference for Dirichlet process mixtures to ensure efficient and fast computation. Empirical studies with benchmark datasets demonstrate that our method outperforms existing approaches for unsupervised outlier detection.


title: Reciprocity formulas for certain generalized Hardy-Berndt sums

abstract: In this paper, we establish some reciprocity formulas for certain generalized Hardy-Berndt sums by using the Fourier series technique and some properties of the periodic zeta function and the Lerch zeta function. It turns out that one of Hardy's reciprocity theorems is deduced as a special case.


title: Recent Advances in Text Analysis

abstract: Text analysis is an interesting research area in data science and has various applications, such as in artificial intelligence, biomedical research, and engineering. We review popular methods for text analysis, ranging from topic modeling to the recent neural language models. In particular, we review Topic-SCORE, a statistical approach to topic modeling, and discuss how to use it to analyze MADStat - a dataset on statistical publications that we collected and cleaned. The application of Topic-SCORE and other methods on MADStat leads to interesting findings. For example, $11$ representative topics in statistics are identified. For each journal, the evolution of topic weights over time can be visualized, and these results are used to analyze the trends in statistical research. In particular, we propose a new statistical model for ranking the citation impacts of $11$ topics, and we also build a cross-topic citation graph to illustrate how research results on different topics spread to one another. The results on MADStat provide a data-driven picture of the statistical research in $1975$--$2015$, from a text analysis perspective.


title: Edge Computing based Human-Robot Cognitive Fusion: A Medical Case Study in the Autism Spectrum Disorder Therapy

abstract: In recent years, edge computing has served as a paradigm that enables many future technologies like AI, Robotics, IoT, and high-speed wireless sensor networks (like 5G) by connecting cloud computing facilities and services to the end users. Especially in medical and healthcare applications, it provides remote patient monitoring and increases voluminous multimedia. From the robotics angle, robot-assisted therapy (RAT) is an active-assistive robotic technology in rehabilitation robotics, attracting many researchers to study and benefit people with disability like autism spectrum disorder (ASD) children. However, the main challenge of RAT is that the model capable of detecting the affective states of ASD people exists and can recall individual preferences. Moreover, involving expert diagnosis and recommendations to guide robots in updating the therapy approach to adapt to different statuses and scenarios is a crucial part of the ASD therapy process. This paper proposes the architecture of edge cognitive computing by combining human experts and assisted robots collaborating in the same framework to help ASD patients with long-term support. By integrating the real-time computing and analysis of a new cognitive robotic model for ASD therapy, the proposed architecture can achieve a seamless remote diagnosis, round-the-clock symptom monitoring, emergency warning, therapy alteration, and advanced assistance.


title: Hereditary $n$-exangulated categories

abstract: Herschend-Liu-Nakaoka introduced the concept of $n$-exangulated categories as higher-dimensional analogues of extriangulated categories defined by Nakaoka-Palu. The class of $n$-exangulated categories contains $n$-exact categories and $(n+2)$-angulated categories as specific examples. In this article, we introduce the notion of hereditary $n$-exangulated categories, which generalize hereditary extriangulated categories. We provide two classes of hereditary $n$-exangulated categories through closed subfunctors. Additionally, we define the concept of $0$-Auslander $n$-exangulated categories and discuss the circumstances under which these two classes of hereditary $n$-exangulated categories become $0$-Auslander.


title: Convergence analysis of Lawson's iteration for the polynomial and rational minimax approximations

abstract: Lawson's iteration is a classical and effective method for solving the linear (polynomial) minimax approximation in the complex plane. Extension of Lawson's iteration for the rational minimax approximation with both computationally high efficiency and theoretical guarantee is challenging. A recent work [L.-H. Zhang, L. Yang, W. H. Yang and Y.-N. Zhang, A convex dual programming for the rational minimax approximation and Lawson's iteration, 2023, arXiv:2308.06991v1] reveals that Lawson's iteration can be viewed as a method for solving the dual problem of the original rational minimax approximation, and a new type of Lawson's iteration was proposed. Such a dual problem is guaranteed to obtain the original minimax solution under Ruttan's sufficient condition, and numerically, the proposed Lawson's iteration was observed to converge monotonically with respect to the dual objective function. In this paper, we perform theoretical convergence analysis for Lawson's iteration for both the linear and rational minimax approximations. In particular, we show that (i) for the linear minimax approximation, the near-optimal Lawson exponent $\beta$ in Lawson's iteration is $\beta=1$, and (ii) for the rational minimax approximation, the proposed Lawson's iteration converges monotonically with respect to the dual objective function for any sufficiently small $\beta>0$, and the limit approximant fulfills the complementary slackness: any node associated with positive weight either is an interpolation point or has a constant error.


title: Temporal Validity Change Prediction

abstract: Temporal validity is an important property of text that is useful for many downstream applications, such as recommender systems, conversational AI, or story understanding. Existing benchmarking tasks often require models to identify the temporal validity duration of a single statement. However, in many cases, additional contextual information, such as sentences in a story or posts on a social media profile, can be collected from the available text stream. This contextual information may greatly alter the duration for which a statement is expected to be valid. We propose Temporal Validity Change Prediction, a natural language processing task benchmarking the capability of machine learning models to detect contextual statements that induce such change. We create a dataset consisting of temporal target statements sourced from Twitter and crowdsource sample context statements. We then benchmark a set of transformer-based language models on our dataset. Finally, we experiment with temporal validity duration prediction as an auxiliary task to improve the performance of the state-of-the-art model.


title: Symmetries in Riemann-Cartan geometries

abstract: Riemann-Cartan geometries are metric based geometries admitting a non-zero torsion tensor. These geometries have been investigated as geometric frameworks for potential theories in physics including quantum gravity theories and have many important differences when compared to Riemannian geometries. One notable difference, is the number of symmetries for a Riemann-Cartan geometry is potentially smaller than the number of Killing vector fields for the metric. In this paper we will review the investigation of symmetries in Riemann-Cartan geometries and the mathematical tools used to determine geometries that admit a given group of symmetries. As an illustration we will determine all static spherically symmetric and all stationary spherically symmetric Riemann-Cartan geometries. Further, we will determine the subclasses of spherically symmetric Riemann-Cartan geometries that admit a seven-dimensional group of symmetries.


title: Inferring Heterogeneous Treatment Effects of Crashes on Highway Traffic: A Doubly Robust Causal Machine Learning Approach

abstract: Highway traffic crashes exert a considerable impact on both transportation systems and the economy. In this context, accurate and dependable emergency responses are crucial for effective traffic management. However, the influence of crashes on traffic status varies across diverse factors and may be biased due to selection bias. Therefore, there arises a necessity to accurately estimate the heterogeneous causal effects of crashes, thereby providing essential insights to facilitate individual-level emergency decision-making. This paper proposes a novel causal machine learning framework to estimate the causal effect of different types of crashes on highway speed. The Neyman-Rubin Causal Model (RCM) is employed to formulate this problem from a causal perspective. The Conditional Shapley Value Index (CSVI) is proposed based on causal graph theory to filter adverse variables, and the Structural Causal Model (SCM) is then adopted to define the statistical estimand for causal effects. The treatment effects are estimated by Doubly Robust Learning (DRL) methods, which combine doubly robust causal inference with classification and regression machine learning models. Experimental results from 4815 crashes on Highway Interstate 5 in Washington State reveal the heterogeneous treatment effects of crashes at varying distances and durations. The rear-end crashes cause more severe congestion and longer durations than other types of crashes, and the sideswipe crashes have the longest delayed impact. Additionally, the findings show that rear-end crashes affect traffic greater at night, while crash to objects has the most significant influence during peak hours. Statistical hypothesis tests, error metrics based on matched "counterfactual outcomes", and sensitive analyses are employed for assessment, and the results validate the accuracy and effectiveness of our method.


title: Dynamical stability and phase space analysis of an Emergent Universe with non-interacting and interacting fluids

abstract: We investigate the evolution of a flat Emergent Universe obtained with a non-linear equation of state (nEoS) in Einstein's general theory of Relativity. The nEoS is equivalent to three different types of barotropic cosmic fluids, which are found from the nEoS parameter. The EU began expanding initially with no interaction among the cosmic fluids. Assuming an interaction that sets in at a time $t \geq t_i$ in the fluid components, we study the evolution of the EU that leads to the present observed universe. We adopt a dynamical system analysis method to obtain the critical points of the autonomous system for studying the evolution of an EU with or without interaction in fluid components. We also study the stability of critical points and draw the phase portraits. The density parameters and the corresponding cosmological parameters are obtained for both the non-interacting and interacting phases of the evolution dynamics.


title: On Frobenius Betti numbers of graded rings of finite Cohen-Macaulay type

abstract: The notion of Frobenius Betti numbers generalizes the Hilbert-Kunz multiplicity theory and serves as an invariant that measures singularity. However, the explicit computation of the Frobenius Betti numbers of rings has been limited to very few specific cases. This article focuses on the explicit computation of Frobenius Betti numbers of Cohen-Macaulay graded rings of finite Cohen-Macaulay type.


title: A Short Proof of Bose-Einstein Condensation in the Gross-Pitaevskii Regime and Beyond

abstract: We consider dilute Bose gases on the three dimensional unit torus that interact through a pair potential with scattering length of order $ N^{\kappa-1}$, for some $\kappa >0$. For the range $ \kappa\in [0, \frac1{43})$, \cite{ABS} proves complete BEC of low energy states into the zero momentum mode based on a unitary renormalization through operator exponentials that are quartic in creation and annihilation operators. In this paper, we give a new and self-contained proof of BEC of the ground state for $ \kappa\in [0, \frac1{20})$ by combining some of the key ideas of \cite{ABS} with the novel diagonalization approach introduced recently in \cite{Br}, which is based on the Schur complement formula. In particular, our proof avoids the use of operator exponentials and is significantly simpler than \cite{ABS}.