title: Calculation of true coincidence summing correction factor for clover detector in add-back and direct mode

abstract: The true coincidence summing effect on the full-energy peak efficiency calibration of an unsuppressed clover HPGe detector has been studied. Standard multi-energetic and mono-energetic gamma-ray sources were used to determine the full-energy peak efficiency of the detector as a function of the gamma-ray energies at different source-to-detector distances. The true coincidence summing correction factors for the full-energy peak efficiency of the detector has been determined, in the add-back and direct modes of the detector, using both experimental and analytical methods. Geant4 simulations were performed to obtain the full-energy peak efficiency and total efficiency of the detector for different gamma-ray energies. The simulated efficiencies were used to calculate the correction factors using the analytical method. The correction factors obtained from both analytical and experimental methods were found to be in good agreement with each other. The clover detector in add-back mode exhibits larger summing corrections compared to the direct mode for the same source-to-detector distances. For the add-back mode, the coincidence summing effect is not significant for source-to-detector distances ~ 13 cm or above, whereas, for the direct mode, measurements can be performed for source-to-detector distances ~ 5 cm or above without considering the coincidence summing effect.


title: The End of the Canonical IoT Botnet: A Measurement Study of Mirai's Descendants

abstract: Since the burgeoning days of IoT, Mirai has been established as the canonical IoT botnet. Not long after the public release of its code, researchers found many Mirai variants compete with one another for many of the same vulnerable hosts. Over time, the myriad Mirai variants evolved to incorporate unique vulnerabilities, defenses, and regional concentrations. In this paper, we ask: have Mirai variants evolved to the point that they are fundamentally distinct? We answer this question by measuring two of the most popular Mirai descendants: Hajime and Mozi. To actively scan both botnets simultaneously, we developed a robust measurement infrastructure, BMS, and ran it for more than eight months. The resulting datasets show that these two popular botnets have diverged in their evolutions from their common ancestor in multiple ways: they have virtually no overlapping IP addresses, they exhibit different behavior to network events such as diurnal rate limiting in China, and more. Collectively, our results show that there is no longer one canonical IoT botnet. We discuss the implications of this finding for researchers and practitioners.


title: Attention Where It Matters: Rethinking Visual Document Understanding with Selective Region Concentration

abstract: We propose a novel end-to-end document understanding model called SeRum (SElective Region Understanding Model) for extracting meaningful information from document images, including document analysis, retrieval, and office automation. Unlike state-of-the-art approaches that rely on multi-stage technical schemes and are computationally expensive, SeRum converts document image understanding and recognition tasks into a local decoding process of the visual tokens of interest, using a content-aware token merge module. This mechanism enables the model to pay more attention to regions of interest generated by the query decoder, improving the model's effectiveness and speeding up the decoding speed of the generative scheme. We also designed several pre-training tasks to enhance the understanding and local awareness of the model. Experimental results demonstrate that SeRum achieves state-of-the-art performance on document understanding tasks and competitive results on text spotting tasks. SeRum represents a substantial advancement towards enabling efficient and effective end-to-end document understanding.


title: $W$ and $Z$ Boson Pair Production at Electron-Positron Colliders in Gauge-Higgs Unification

abstract: We examine $W$ and $Z$ boson pair production processes at electron-positron collider experiments in the $SU(3)_C\times SO(5)_W\times U(1)_X$ gauge-Higgs unification (GHU) model. We find that the deviation of the total cross section for the $e^-e^+\to W^-W^+$ process from the Standard Model (SM) in the GHU model with parameter sets, which are consistent with the current experiments, is about 0.5% to 1.5% and 0.6% to 2.2% for $\sqrt{s}=250$GeV and 500GeV, respectively, depending on the initial electron and positron polarization. We find that for the $e^-e^+\to ZZ$ process the deviation from the SM in the GHU model is at most 1%. We find that unitality bound for the $e^-e^+\to W^-W^+$ process is satisfied in the GHU model as in the SM, as a consequence of the relationship among coupling constants.


title: Population synthesis and parameter estimation of neutron stars with continuous gravitational waves and third-generation detectors

abstract: Precise measurement of stellar properties through the observation of continuous gravitational waves from spinning non-axisymmetric neutron stars can shed light onto new physics beyond terrestrial laboratories. Although hitherto undetected, prospects for detecting continuous gravitational waves improve with longer observation periods and more sensitive gravitational wave detectors. We study the capability of the Advanced Laser Interferometer Gravitational-Wave Observatory, and the Einstein Telescope to measure the physical properties of neutron stars through continuous gravitational wave observations. We simulate a population of Galactic neutron stars, assume continuous gravitational waves from the stars have been detected, and perform parameter estimation of the detected signals. Using the estimated parameters, we infer the stars' moments of inertia, ellipticities, and the components of the magnetic dipole moment perpendicular to the rotation axis. The estimation of the braking index proved challenging and is responsible for the majority of the uncertainties in the inferred parameters. Using the Einstein Telescope with an observation period of 5 yrs, point estimates using median can be made on the moments of inertia with error of ~ 10 - 100% and on the ellipticities with error of ~ 5 - 50%, subject to the inference of the braking index. The perpendicular magnetic dipole moment could not be accurately inferred for neutron stars that emit mainly gravitational waves.


title: NLTE Spectra of Kilonovae

abstract: The electromagnetic transient following a binary neutron star merger is known as a kilonova (KN). Owing to rapid expansion velocities and small ejecta masses, KNe rapidly transition into the Non-Local Thermodynamic Equilibrium (NLTE) regime. In this study, we present synthetic NLTE spectra of KNe from 5 to 20 days after merger using the \texttt{SUMO} spectral synthesis code. We study three homogeneous composition, 1D multi-zone models with characteristic electron fractions of $Y_e \sim 0.35, 0.25$ and $0.15$. We find that emission features in the spectra tend to emerge in windows of reduced line blocking, as the ejecta are still only partially transparent even at 20 days. For the $Y_e \sim 0.35$ (lanthanide-free) ejecta, we find that the neutral and singly ionised species of Rb, Sr, Y and Zr dominate the spectra, all with good potential for identification. We directly test and confirm an impact of Sr on the 10000 angstrom spectral region in lanthanide-free ejecta, but also see that its signatures may be complex. We suggest the Rb I $\rm{5p^{1}}$- $\rm{5s^{1}}$ 7900 angstrom transition as a candidate for the $\lambda_0 \sim$ 7500--7900 angstrom P-Cygni feature in AT2017gfo. For the $Y_e \sim 0.25$ and $0.15$ compositions, lanthanides are dominant in the spectral formation, in particular Nd, Sm, and Dy. We identify key processes in KN spectral formation, notably that scattering and fluorescence play important roles even up to 20 days after merger, implying that the KN ejecta are not yet optically thin at this time.


title: Face-on Map of the Molecular Disc and 3-kpc Expanding Ring of the Galaxy based on a High-Accuracy Rotation Curve

abstract: We analyze the longitude-velocity diagram (LVD) of the CO-line emission from archival data and use the most accurate rotation curve (RC) of the Milky Way to transform radial velocity to face-on position in the Galactic plane. We point out that the face-on transformation is highly sensitive to the adopted RC, especially in the inner Milky Way, in the sense that deviations of the RC from the true rotation velocity yield an artifact hole or overcrowded concentration along the tangent circle for over- or under-estimated RC. Even if the RC is sufficiently accurate, non-circular motion such as with the 3 kpc expanding ring causes significant artifacts in the resulting face-on-map as long as a circular rotation is assumed. On the other hand, if we properly take into account the non-circular motion, it can be used to solve the near-far degeneracy problem of determination of kinematic distance. We thus propose a new method to solve the degeneracy by incorporating the expanding motion of a ring or arms. We apply the method to the LVD of the 3-kpc expanding ring and present its face-on map projected onto the galactic plane for the first time.


title: $(\min,+)$ Matrix and Vector Products for Inputs Decomposable into Few Monotone Subsequences

abstract: We study the time complexity of computing the $(\min,+)$ matrix product of two $n\times n$ integer matrices in terms of $n$ and the number of monotone subsequences the rows of the first matrix and the columns of the second matrix can be decomposed into. In particular, we show that if each row of the first matrix can be decomposed into at most $m_1$ monotone subsequences and each column of the second matrix can be decomposed into at most $m_2$ monotone subsequences such that all the subsequences are non-decreasing or all of them are non-increasing then the $(\min,+)$ product of the matrices can be computed in $O(m_1m_2n^{2.569})$ time. On the other hand, we observe that if all the rows of the first matrix are non-decreasing and all columns of the second matrix are non-increasing or {\em vice versa} then this case is as hard as the general one. Similarly, we also study the time complexity of computing the $(\min,+)$ convolution of two $n$-dimensional integer vectors in terms of $n$ and the number of monotone subsequences the two vectors can be decomposed into. We show that if the first vector can be decomposed into at most $m_1$ monotone subsequences and the second vector can be decomposed into at most $m_2$ subsequences such that all the subsequences of the first vector are non-decreasing and all the subsequences of the second vector are non-increasing or {\em vice versa} then their $(\min,+)$ convolution can be computed in $\tilde{O}(m_1m_2n^{1.5})$ time. On the other, the case when both vectors are non-decreasing or both of them are non-increasing is as hard as the general case.


title: Computational prediction of ideal strength for a material

abstract: The ideal strength is crucial for predicting material behavior under extreme conditions, which can provide insights into material limits, guide design and engineer for enhanced performance and durability. In this work, we present a method within an allows for the estimation of tensile, shear, and indentation strengths in any crystallographic direction or plane. We have examined the strain-stress relationships of several well-known structures and compared our findings with previous work, demonstrating the effectiveness of our approach. Moreover, we performed extensive investigations into the indentation strength of hexagonal WC, \b{eta}-SiC, and MgA$l_2O_4$. The current study uncovers the modes of structural deformation and the underlying atomistic mechanisms. The insights gained from this study have significant implications for the further exploration and design of superhard materials.


title: A Hilbert-Mumford Criterion for polystability for actions of real reductive Lie groups

abstract: We presented a Hilbert-Mumford criterion for polystablility associated with an action of a real reductive Lie group $G$ on a real submanifold $X$ of a Kahler manifold $Z$. Suppose the action of a compact Lie group with Lie algebra $\mathfrak{u}$ extends holomorphically to an action of the complexified group $U^\mathbb{C}$ and that the $U$-action on $Z$ is Hamiltonian. If $G\subset U^\mathbb{C}$ is compatible, there is a corresponding gradient map $\mu_\mathfrak{p}: X\to \mathfrak{p}$, where $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ is a Cartan decomposition of the Lie algebra of $G$. Under some mild restrictions on the $G$-action on $X,$ we characterize which $G$-orbits in $X$ intersect $\mu_\mathfrak{p}^{-1}(0)$ in terms of the maximal weight function, which we viewed as a collection of maps defined on the boundary at infinity ($\partial_\infty G/K$) of the symmetric space $G/K$.


title: Logistic modelling of economic dynamics

abstract: We demonstrate the effectiveness of the logistic function to model the evolution of two economic systems. The first is the GDP and trade growth of the USA, and the second is the revenue and human resource growth of IBM. Our modelling is based on the World Bank data in the case of the USA, and on the company data in the case of IBM. The coupled dynamics of the two relevant variables in both systems - GDP and trade for the USA, and revenue and human resource for IBM - follows a power-law behaviour.


title: Interpretable Sequence Clustering

abstract: Categorical sequence clustering plays a crucial role in various fields, but the lack of interpretability in cluster assignments poses significant challenges. Sequences inherently lack explicit features, and existing sequence clustering algorithms heavily rely on complex representations, making it difficult to explain their results. To address this issue, we propose a method called Interpretable Sequence Clustering Tree (ISCT), which combines sequential patterns with a concise and interpretable tree structure. ISCT leverages k-1 patterns to generate k leaf nodes, corresponding to k clusters, which provides an intuitive explanation on how each cluster is formed. More precisely, ISCT first projects sequences into random subspaces and then utilizes the k-means algorithm to obtain high-quality initial cluster assignments. Subsequently, it constructs a pattern-based decision tree using a boosting-based construction strategy in which sequences are re-projected and re-clustered at each node before mining the top-1 discriminative splitting pattern. Experimental results on 14 real-world data sets demonstrate that our proposed method provides an interpretable tree structure while delivering fast and accurate cluster assignments.


title: VGDiffZero: Text-to-image Diffusion Models Can Be Zero-shot Visual Grounders

abstract: Large-scale text-to-image diffusion models have shown impressive capabilities for generative tasks by leveraging strong vision-language alignment from pre-training. However, most vision-language discriminative tasks require extensive fine-tuning on carefully-labeled datasets to acquire such alignment, with great cost in time and computing resources. In this work, we explore directly applying a pre-trained generative diffusion model to the challenging discriminative task of visual grounding without any fine-tuning and additional training dataset. Specifically, we propose VGDiffZero, a simple yet effective zero-shot visual grounding framework based on text-to-image diffusion models. We also design a comprehensive region-scoring method considering both global and local contexts of each isolated proposal. Extensive experiments on RefCOCO, RefCOCO+, and RefCOCOg show that VGDiffZero achieves strong performance on zero-shot visual grounding. Our code is available at https://github.com/xuyang-liu16/VGDiffZero.


title: MSM-VC: High-fidelity Source Style Transfer for Non-Parallel Voice Conversion by Multi-scale Style Modeling

abstract: In addition to conveying the linguistic content from source speech to converted speech, maintaining the speaking style of source speech also plays an important role in the voice conversion (VC) task, which is essential in many scenarios with highly expressive source speech, such as dubbing and data augmentation. Previous work generally took explicit prosodic features or fixed-length style embedding extracted from source speech to model the speaking style of source speech, which is insufficient to achieve comprehensive style modeling and target speaker timbre preservation. Inspired by the style's multi-scale nature of human speech, a multi-scale style modeling method for the VC task, referred to as MSM-VC, is proposed in this paper. MSM-VC models the speaking style of source speech from different levels. To effectively convey the speaking style and meanwhile prevent timbre leakage from source speech to converted speech, each level's style is modeled by specific representation. Specifically, prosodic features, pre-trained ASR model's bottleneck features, and features extracted by a model trained with a self-supervised strategy are adopted to model the frame, local, and global-level styles, respectively. Besides, to balance the performance of source style modeling and target speaker timbre preservation, an explicit constraint module consisting of a pre-trained speech emotion recognition model and a speaker classifier is introduced to MSM-VC. This explicit constraint module also makes it possible to simulate the style transfer inference process during the training to improve the disentanglement ability and alleviate the mismatch between training and inference. Experiments performed on the highly expressive speech corpus demonstrate that MSM-VC is superior to the state-of-the-art VC methods for modeling source speech style while maintaining good speech quality and speaker similarity.


title: Two-center resonant photoionization-excitation driven by combined intra- and interatomic electron correlations

abstract: Ionization-excitation of an atom induced by the absorption of a single photon in the presence of a neighbouring atom is studied. The latter is, first, resonantly photoexcited and, afterwards, transfers the excitation energy radiationlessly to the other atom, leading to its ionization with simultaneous excitation. The process relies on the combined effects of interatomic and intraatomic electron correlations. Under suitable conditions, it can dominate by several orders of magnitude over direct photoionization-excitation and even over direct photoionization. In addition, we briefly discuss another kind of two-center resonant photoionization with excitation where the ionization and residual excitation in the final state are located at different atomic sites.


title: Distributed averaging for accuracy prediction in networked systems

abstract: Distributed averaging is among the most relevant cooperative control problems, with applications in sensor and robotic networks, distributed signal processing, data fusion, and load balancing. Consensus and gossip algorithms have been investigated and successfully deployed in multi-agent systems to perform distributed averaging in synchronous and asynchronous settings. This study proposes a heuristic approach to estimate the convergence rate of averaging algorithms in a distributed manner, relying on the computation and propagation of local graph metrics while entailing simple data elaboration and small message passing. The protocol enables nodes to predict the time (or the number of interactions) needed to estimate the global average with the desired accuracy. Consequently, nodes can make informed decisions on their use of measured and estimated data while gaining awareness of the global structure of the network, as well as their role in it. The study presents relevant applications to outliers identification and performance evaluation in switching topologies.


title: Energy bands in a three dimension simple cubic lattice of contact potential

abstract: In this work, we investigate energy bands in a three dimensional simple cubic lattice of contact potential. The energy bands in the first Brillouin Zone are obtained with Ewald's summation method. In comparison with single point potential, the presence of lattice potential changes the existence condition of negative energy states near zero energy. It is found that the system always has negative energy states for an arbitrarily weak periodic potential. In addition, we prove that if an irreducible unitary representation is not a trivial representation of group of wave vector, the corresponding wave functions at lattice sites would be zero. With this theorem, the degeneracy of energy bands is explained with group theory. Furthermore, we find that there exists some energy bands which are not affected by the lattice potential. We call their corresponding eigenstates as dark states. The physical mechanism of the dark states is explained by explicitly constructing the standing wave-type Bloch wave functions.


title: A Spin-dependent Machine Learning Framework for Transition Metal Oxide Battery Cathode Materials

abstract: Owing to the trade-off between the accuracy and efficiency, machine-learning-potentials (MLPs) have been widely applied in the battery materials science, enabling atomic-level dynamics description for various critical processes. However, the challenge arises when dealing with complex transition metal (TM) oxide cathode materials, as multiple possibilities of d-orbital electrons localization often lead to convergence to different spin states (or equivalently local minimums with respect to the spin configurations) after ab initio self-consistent-field calculations, which causes a significant obstacle for training MLPs of cathode materials. In this work, we introduce a solution by incorporating an additional feature - atomic spins - into the descriptor, based on the pristine deep potential (DP) model, to address the above issue by distinguishing different spin states of TM ions. We demonstrate that our proposed scheme provides accurate descriptions for the potential energies of a variety of representative cathode materials, including the traditional Li$_x$TMO$_2$ (TM=Ni, Co, Mn, $x$=0.5 and 1.0), Li-Ni anti-sites in Li$_x$NiO$_2$ ($x$=0.5 and 1.0), cobalt-free high-nickel Li$_x$Ni$_{1.5}$Mn$_{0.5}$O$_4$ ($x$=1.5 and 0.5), and even a ternary cathode material Li$_x$Ni$_{1/3}$Co$_{1/3}$Mn$_{1/3}$O$_2$ ($x$=1.0 and 0.67). We highlight that our approach allows the utilization of all ab initio results as a training dataset, regardless of the system being in a spin ground state or not. Overall, our proposed approach paves the way for efficiently training MLPs for complex TM oxide cathode materials.


title: Nonnegative Ricci curvature, nilpotency, and Hausdorff dimension

abstract: Let $M$ be an open (complete and non-compact) manifold with $\mathrm{Ric}\ge 0$ and escape rate not $1/2$. It is known that under these conditions, the fundamental group $\pi_1(M)$ has a finitely generated torsion-free nilpotent subgroup $\mathcal{N}$ of finite index, as long as $\pi_1(M)$ is an infinite group. We show that the nilpotency step of $\mathcal{N}$ must be reflected in the asymptotic geometry of the universal cover $\widetilde{M}$, in terms of the Hausdorff dimension of an isometric $\mathbb{R}$-orbit: there exist an asymptotic cone $(Y,y)$ of $\widetilde{M}$ and a closed $\mathbb{R}$-subgroup $L$ of the isometry group of $Y$ such that its orbit $Ly$ has Hausdorff dimension at least the nilpotency step of $\mathcal{N}$. This resolves a question raised by Wei and the author, and extends previous results on virtual abelianness by the author.


title: Orbital-Dependent Electron Correlation in Double-Layer Nickelate La3Ni2O7

abstract: The latest discovery of high temperature superconductivity near 80K in La3Ni2O7 under high pressure has attracted much attention. Many proposals are put forth to understand the origin of superconductivity.The determination of electronic structures is a prerequisite to establish theories to understand superconductivity in nickelates but is still lacking. Here we report our direct measurement of the electronic structures of La3Ni2O7 by high-resolution angle resolved photoemission spectroscopy. The Fermi surface and band structures of La3Ni2O7 are observed and compared with the band structure calculations. Strong electron correlations are revealed which are orbital- and momentum dependent. A flat band is formed from the Ni-3dz2 orbitals around the zone corner which is ~50meV below the Fermi level and exhibits the strongest electron correlation. In many theoretical proposals, this band is expected to play the dominant role in generating superconductivity in La3Ni2O7. Our observations provide key experimental information to understand the electronic structure and origin of high temperature superconductivity in La3Ni2O7.


title: An Iterative Approach for Collision Feee Routing and Scheduling in Multirobot Stations

abstract: This work is inspired by the problem of planning sequences of operations, as welding, in car manufacturing stations where multiple industrial robots cooperate. The goal is to minimize the station cycle time, \emph{i.e.} the time it takes for the last robot to finish its cycle. This is done by dispatching the tasks among the robots, and by routing and scheduling the robots in a collision-free way, such that they perform all predefined tasks. We propose an iterative and decoupled approach in order to cope with the high complexity of the problem. First, collisions among robots are neglected, leading to a min-max Multiple Generalized Traveling Salesman Problem (MGTSP). Then, when the sets of robot loads have been obtained and fixed, we sequence and schedule their tasks, with the aim to avoid conflicts. The first problem (min-max MGTSP) is solved by an exact branch and bound method, where different lower bounds are presented by combining the solutions of a min-max set partitioning problem and of a Generalized Traveling Salesman Problem (GTSP). The second problem is approached by assuming that robots move synchronously: a novel transformation of this synchronous problem into a GTSP is presented. Eventually, in order to provide complete robot solutions, we include path planning functionalities, allowing the robots to avoid collisions with the static environment and among themselves. These steps are iterated until a satisfying solution is obtained. Experimental results are shown for both problems and for their combination. We even show the results of the iterative method, applied to an industrial test case adapted from a stud welding station in a car manufacturing line.


title: FedFwd: Federated Learning without Backpropagation

abstract: In federated learning (FL), clients with limited resources can disrupt the training efficiency. A potential solution to this problem is to leverage a new learning procedure that does not rely on backpropagation (BP). We present a novel approach to FL called FedFwd that employs a recent BP-free method by Hinton (2022), namely the Forward Forward algorithm, in the local training process. FedFwd can reduce a significant amount of computations for updating parameters by performing layer-wise local updates, and therefore, there is no need to store all intermediate activation values during training. We conduct various experiments to evaluate FedFwd on standard datasets including MNIST and CIFAR-10, and show that it works competitively to other BP-dependent FL methods.


title: EdaDet: Open-Vocabulary Object Detection Using Early Dense Alignment

abstract: Vision-language models such as CLIP have boosted the performance of open-vocabulary object detection, where the detector is trained on base categories but required to detect novel categories. Existing methods leverage CLIP's strong zero-shot recognition ability to align object-level embeddings with textual embeddings of categories. However, we observe that using CLIP for object-level alignment results in overfitting to base categories, i.e., novel categories most similar to base categories have particularly poor performance as they are recognized as similar base categories. In this paper, we first identify that the loss of critical fine-grained local image semantics hinders existing methods from attaining strong base-to-novel generalization. Then, we propose Early Dense Alignment (EDA) to bridge the gap between generalizable local semantics and object-level prediction. In EDA, we use object-level supervision to learn the dense-level rather than object-level alignment to maintain the local fine-grained semantics. Extensive experiments demonstrate our superior performance to competing approaches under the same strict setting and without using external training resources, i.e., improving the +8.4% novel box AP50 on COCO and +3.9% rare mask AP on LVIS.


title: Local connectivity of boundaries of tame Fatou components of meromorphic functions

abstract: We prove local connectivity of the boundaries of invariant simply connected attracting basins for a class of transcendental meromorphic maps. The maps within this class need not be geometrically finite or in class $\mathcal B$, and the boundaries of the basins (possibly unbounded) are allowed to contain an infinite number of post-singular values, as well as the essential singularity at infinity. A basic assumption is that the unbounded parts of the basins are contained in regions which we call `repelling petals at infinity', where the map exhibits a kind of `parabolic' behaviour. In particular, our results apply to a wide class of Newton's methods for transcendental entire maps. As an application, we prove local connectivity of the Julia set of Newton's method for $\sin z$, providing the first non-trivial example of a locally connected Julia set of a transcendental map outside class $\mathcal B$, with an infinite number of unbounded Fatou components.


title: Photon noise correlations in millimeter-wave telescopes

abstract: Many modern millimeter and submillimeter (``mm-wave'') telescopes for astronomy are deploying more detectors by increasing detector pixel density, and with the rise of lithographed detector architectures and high-throughput readout techniques, it is becoming increasingly practical to overfill the focal plane. However, when the pixel pitch $p_{\rm pix}$ is small compared to the product of the wavelength $\lambda$ and the focal ratio $F$, or $p_{\mathrm{pix}} \lesssim 1.2 F \lambda$, the Bose term of the photon noise correlates between neighboring detector pixels due to the Hanbury Brown & Twiss (HBT) effect. When this HBT effect is non-negligible, the array-averaged sensitivity scales with detector count $N_{\mathrm{det}}$ less favorably than the uncorrelated limit of $N_{\mathrm{det}}^{-1/2}$. In this paper, we present a general prescription to calculate this HBT correlation based on a quantum optics formalism and extend it to polarization-sensitive detectors. We then estimate the impact of HBT correlations on the sensitivity of a model mm-wave telescope and discuss the implications for focal-plane design.


title: A Survey on What Developers Think About Testing

abstract: Software is infamous for its poor quality and frequent occurrence of bugs. While there is no doubt that thorough testing is an appropriate answer to ensure sufficient quality, the poor state of software generally suggests that developers may not always engage as thoroughly with testing as they should. This observation aligns with the prevailing belief that developers simply do not like writing tests. In order to determine the truth of this belief, we conducted a comprehensive survey with 21 questions aimed at (1) assessing developers' current engagement with testing and (2) identifying factors influencing their inclination toward testing; that is, whether they would actually like to test more but are inhibited by their work environment, or whether they would really prefer to test even less if given the choice. Drawing on 284 responses from professional software developers, we uncover reasons that positively and negatively impact developers' motivation to test. Notably, reasons for motivation to write more tests encompass not only a general pursuit of software quality but also personal satisfaction. However, developers nevertheless perceive testing as mundane and tend to prioritize other tasks. One approach emerging from the responses to mitigate these negative factors is by providing better recognition for developers' testing efforts.


title: LoGoPrompt: Synthetic Text Images Can Be Good Visual Prompts for Vision-Language Models

abstract: Prompt engineering is a powerful tool used to enhance the performance of pre-trained models on downstream tasks. For example, providing the prompt "Let's think step by step" improved GPT-3's reasoning accuracy to 63% on MutiArith while prompting "a photo of" filled with a class name enables CLIP to achieve $80$\% zero-shot accuracy on ImageNet. While previous research has explored prompt learning for the visual modality, analyzing what constitutes a good visual prompt specifically for image recognition is limited. In addition, existing visual prompt tuning methods' generalization ability is worse than text-only prompting tuning. This paper explores our key insight: synthetic text images are good visual prompts for vision-language models! To achieve that, we propose our LoGoPrompt, which reformulates the classification objective to the visual prompt selection and addresses the chicken-and-egg challenge of first adding synthetic text images as class-wise visual prompts or predicting the class first. Without any trainable visual prompt parameters, experimental results on 16 datasets demonstrate that our method consistently outperforms state-of-the-art methods in few-shot learning, base-to-new generalization, and domain generalization.


title: Advances in machine-learning-based sampling motivated by lattice quantum chromodynamics

abstract: Sampling from known probability distributions is a ubiquitous task in computational science, underlying calculations in domains from linguistics to biology and physics. Generative machine-learning (ML) models have emerged as a promising tool in this space, building on the success of this approach in applications such as image, text, and audio generation. Often, however, generative tasks in scientific domains have unique structures and features -- such as complex symmetries and the requirement of exactness guarantees -- that present both challenges and opportunities for ML. This Perspective outlines the advances in ML-based sampling motivated by lattice quantum field theory, in particular for the theory of quantum chromodynamics. Enabling calculations of the structure and interactions of matter from our most fundamental understanding of particle physics, lattice quantum chromodynamics is one of the main consumers of open-science supercomputing worldwide. The design of ML algorithms for this application faces profound challenges, including the necessity of scaling custom ML architectures to the largest supercomputers, but also promises immense benefits, and is spurring a wave of development in ML-based sampling more broadly. In lattice field theory, if this approach can realize its early promise it will be a transformative step towards first-principles physics calculations in particle, nuclear and condensed matter physics that are intractable with traditional approaches.


title: Large Language Models for Generative Recommendation: A Survey and Visionary Discussions

abstract: Large language models (LLM) not only have revolutionized the field of natural language processing (NLP) but also have the potential to reshape many other fields, e.g., recommender systems (RS). However, most of the related work treats an LLM as a component of the conventional recommendation pipeline (e.g., as a feature extractor), which may not be able to fully leverage the generative power of LLM. Instead of separating the recommendation process into multiple stages, such as score computation and re-ranking, this process can be simplified to one stage with LLM: directly generating recommendations from the complete pool of items. This survey reviews the progress, methods, and future directions of LLM-based generative recommendation by examining three questions: 1) What generative recommendation is, 2) Why RS should advance to generative recommendation, and 3) How to implement LLM-based generative recommendation for various RS tasks. We hope that this survey can provide the context and guidance needed to explore this interesting and emerging topic.


title: An Accurate Graph Generative Model with Tunable Features

abstract: A graph is a very common and powerful data structure used for modeling communication and social networks. Models that generate graphs with arbitrary features are important basic technologies in repeated simulations of networks and prediction of topology changes. Although existing generative models for graphs are useful for providing graphs similar to real-world graphs, graph generation models with tunable features have been less explored in the field. Previously, we have proposed GraphTune, a generative model for graphs that continuously tune specific graph features of generated graphs while maintaining most of the features of a given graph dataset. However, the tuning accuracy of graph features in GraphTune has not been sufficient for practical applications. In this paper, we propose a method to improve the accuracy of GraphTune by adding a new mechanism to feed back errors of graph features of generated graphs and by training them alternately and independently. Experiments on a real-world graph dataset showed that the features in the generated graphs are accurately tuned compared with conventional models.


title: An Asynchronous Linear Filter Architecture for Hybrid Event-Frame Cameras

abstract: Event cameras are ideally suited to capture High Dynamic Range (HDR) visual information without blur but provide poor imaging capability for static or slowly varying scenes. Conversely, conventional image sensors measure absolute intensity of slowly changing scenes effectively but do poorly on HDR or quickly changing scenes. In this paper, we present an asynchronous linear filter architecture, fusing event and frame camera data, for HDR video reconstruction and spatial convolution that exploits the advantages of both sensor modalities. The key idea is the introduction of a state that directly encodes the integrated or convolved image information and that is updated asynchronously as each event or each frame arrives from the camera. The state can be read-off as-often-as and whenever required to feed into subsequent vision modules for real-time robotic systems. Our experimental results are evaluated on both publicly available datasets with challenging lighting conditions and fast motions, along with a new dataset with HDR reference that we provide. The proposed AKF pipeline outperforms other state-of-the-art methods in both absolute intensity error (69.4% reduction) and image similarity indexes (average 35.5% improvement). We also demonstrate the integration of image convolution with linear spatial kernels Gaussian, Sobel, and Laplacian as an application of our architecture.


title: Oxygen Vacancy Formation Energy in Metal Oxides: High Throughput Computational Studies and Machine Learning Predictions

abstract: The oxygen vacancy formation energy ($\Delta E_{vf}$) governs defect dynamics and is a useful metric to perform materials selection for a variety of applications. However, density functional theory (DFT) calculations of $\Delta E_{vf}$ come at a greater computational cost than the typical bulk calculations available in materials databases due to the involvement of multiple vacancy-containing supercells. As a result, available repositories of direct calculations of $\Delta E_{vf}$ remain relatively scarce, and the development of machine learning models capable of delivering accurate predictions is of interest. In the present, work we address both such points. We first report the results of new high-throughput DFT calculations of oxygen vacancy formation energies of the different unique oxygen sites in over 1000 different oxide materials, which together form the largest dataset of directly computed oxygen vacancy formation energies to date, to our knowledge. We then utilize the resulting dataset of $\sim$2500 $\Delta E_{vf}$ values to train random forest models with different sets of features, examining both novel features introduced in this work and ones previously employed in the literature. We demonstrate the benefits of including features that contain information specific to the vacancy site and account for both cation identity and oxidation state, and achieve a mean absolute error upon prediction of $\sim$0.3 eV/O, which is comparable to the accuracy observed upon comparison of DFT computations of oxygen vacancy formation energy and experimental results. Finally, we demonstrate the predictive power of the developed models in the search for new compounds for solar-thermochemical water-splitting applications, finding over 250 new AA$^{\prime}$BB$^{\prime}$O$_6$ double perovskite candidates.


title: Probabilistic Reduced-Dimensional Vector Autoregressive Modeling for Dynamics Prediction and Reconstruction with Oblique Projections

abstract: In this paper, we propose a probabilistic reduced-dimensional vector autoregressive (PredVAR) model with oblique projections. This model partitions the measurement space into a dynamic subspace and a static subspace that do not need to be orthogonal. The partition allows us to apply an oblique projection to extract dynamic latent variables (DLVs) from high-dimensional data with maximized predictability. We develop an alternating iterative PredVAR algorithm that exploits the interaction between updating the latent VAR dynamics and estimating the oblique projection, using expectation maximization (EM) and a statistical constraint. In addition, the noise covariance matrices are estimated as a natural outcome of the EM method. A simulation case study of the nonlinear Lorenz oscillation system illustrates the advantages of the proposed approach over two alternatives.


title: Contribution of Majoron to Hubble tension in gauged U(1)$_{L_\mu-L_\tau}$ Model

abstract: In this paper, we analyze parameter regions that can alleviate the Hubble tension in the U(1)$_{L_\mu - L_\tau}$ model with the broken lepton number U(1)$_L$ symmetry. As new particles, this model has a U(1)$_{L_\mu - L_\tau}$ gauge boson $Z'$ and a Majoron $\phi$, which can affect the early universe and the effective number of neutrino species $N_{\rm eff}$. If $Z'$ and $\phi$ simultaneously exist in the early universe, $Z'\,$-$\,\phi$ interaction processes such as $Z'\nu_\alpha \leftrightarrow \phi\bar{\nu}_\beta$ occur. The comparison of $N_{\rm eff}$ between the cases with and without the $Z'\,$-$\,\phi$ interaction processes shows that these processes make a small contribution of $\mathcal{O}(10^{-4})$ to $N_{\rm eff}$, and it does not need to be considered for the alleviation of the Hubble tension. Based on these facts, we calculated $N_{\rm eff}$ for various Majoron parameters without the $Z'\,$-$\,\phi$ interaction processes to search parameters that could alleviate the Hubble tension. As a result, we found that the U(1)$_{L_\mu - L_\tau}$ gauge boson and Majoron can alleviate the Hubble tension in some parameter regions, and there is a non-trivial synergy contribution between $Z'$ and $\phi$. Moreover, the parameter region with a lighter mass $m_\phi \lesssim 2$ MeV and a larger coupling $\lambda \gtrsim 10^{-8}$ is excluded because it predicts too large $N_{\rm eff}$, i.e. $N_{\rm eff} \gtrsim 3.5$. The favored and restricted regions of the Majoron parameters depend on the $Z'$ parameters because of the presence of the $Z'$ contribution and synergy one.


title: Generalized Majorana edge modes in a number-conserving periodically driven $p$-wave superconductor

abstract: We study an analytically solvable and experimentally relevant number-conserving periodically driven $p$-wave superconductor. Such a system is found to support generalized Majorana zero and $\pi$ modes which, despite being non-Hermitian, are still capable of encoding qubits. Moreover, appropriate winding numbers characterizing the topology of such generalized Majorana modes are defined and explicitly calculated. We further discuss the fate of the obtained generalized Majorana modes in the presence of finite charging energy. Finally, we shed light on the quantum computing prospects of such modes by demonstrating the robustness of their encoded qubits and explicitly braiding a pair of generalized Majorana modes.


title: Noise robust speech emotion recognition with signal-to-noise ratio adapting speech enhancement

abstract: Speech emotion recognition (SER) often experiences reduced performance due to background noise. In addition, making a prediction on signals with only background noise could undermine user trust in the system. In this study, we propose a Noise Robust Speech Emotion Recognition system, NRSER. NRSER employs speech enhancement (SE) to effectively reduce the noise in input signals. Then, the signal-to-noise-ratio (SNR)-level detection structure and waveform reconstitution strategy are introduced to reduce the negative impact of SE on speech signals with no or little background noise. Our experimental results show that NRSER can effectively improve the noise robustness of the SER system, including preventing the system from making emotion recognition on signals consisting solely of background noise. Moreover, the proposed SNR-level detection structure can be used individually for tasks such as data selection.


title: Asymptotic analysis of Einstein-{\AE}ther theory and its memory effects: the linearized case

abstract: This work analyzes the asymptotic behaviors of the asymptotically flat solutions of Einstein-\ae ther theory in the linear case. The vacuum solutions for the tensor, vector, and scalar modes are first obtained, written as sums of various multipolar moments. The suitable coordinate transformations are then determined, and the so-called pseudo-Newman-Unti coordinate systems are constructed for all radiative modes. In these coordinates, it is easy to identify the asymptotic symmetries. It turns out that all three kinds of modes possess the familiar Bondi-Metzner-Sachs symmetries or the extensions as in general relativity. Moreover, there also exist the \emph{subleading} asymptotic symmetries parameterized by a time-independent vector field on a unit 2-sphere. The memory effects are also identified. The tensor gravitational wave also excites similar displacement, spin, and center-of-mass memories to those in general relativity. New memory effects due to the vector and scalar modes exist. The subleading asymptotic symmetry is related to the (leading) vector displacement memory effect, which can be viewed as a linear combination of the electric-type and magnetic-type memory effects. However, the scalar memory effect seems to have nothing to do with the asymptotic symmetries at least in the linearized theory.


title: Spatial-temporal Vehicle Re-identification

abstract: Vehicle re-identification (ReID) in a large-scale camera network is important in public safety, traffic control, and security. However, due to the appearance ambiguities of vehicle, the previous appearance-based ReID methods often fail to track vehicle across multiple cameras. To overcome the challenge, we propose a spatial-temporal vehicle ReID framework that estimates reliable camera network topology based on the adaptive Parzen window method and optimally combines the appearance and spatial-temporal similarities through the fusion network. Based on the proposed methods, we performed superior performance on the public dataset (VeRi776) by 99.64% of rank-1 accuracy. The experimental results support that utilizing spatial and temporal information for ReID can leverage the accuracy of appearance-based methods and effectively deal with appearance ambiguities.


title: Symbolically integrating tensor networks over various random tensors by the second version of Python RTNI

abstract: We are upgrading the Python-version of RTNI, which symbolically integrates tensor networks over the Haar-distributed unitary matrices. Now, PyRTNI2 can treat the Haar-distributed orthogonal matrices and the real and complex normal Gaussian tensors as well. Moreover, it can export tensor networks in the format of TensorNetwork so that one can make further calculations with concrete tensors, even for low dimensions, where the Weingarten functions differ from the ones for high dimensions. The tutorial notebooks are found at GitHub: https://github.com/MotohisaFukuda/PyRTNI2. In this paper, we explain maths behind the program and show what kind of tensor network calculations can be made with it. For the former, we interpret the element-wise moment calculus of the above random matrices and tensors in terms of tensor network diagrams, and argue that the view is natural, relating delta functions in the calculus to edges in tensor network diagrams.

categories: physics.comp-ph cond-mat.str-el cs.LG hep-th math-ph math.MP


title: Noise Measurement of a Wind Turbine using Thick Blades with Blunt Trailing Edge

abstract: The noise generated by wind turbines can potentially cause significant harm to the ecological environment and the living conditions of residents. Therefore, a proper assessment of wind turbine noise is crucial. The IEC 61400-11 standard provides standardized guidelines for measuring turbine noise, facilitating the comparison of noise characteristics among different wind turbine models. This work aims to conduct a comprehensive noise measurement of a 100kW wind turbine using thick blades with blunt trailing edge, which differs from the typical turbines studied previously. The work takes into account the unique design and dynamic characteristics of small-scale wind turbines and adjusts the measurement accordingly, with deviations from the IEC standards will be explicitly addressed.


title: End-to-End Learning on Multimodal Knowledge Graphs

abstract: Knowledge graphs enable data scientists to learn end-to-end on heterogeneous knowledge. However, most end-to-end models solely learn from the relational information encoded in graphs' structure: raw values, encoded as literal nodes, are either omitted completely or treated as regular nodes without consideration for their values. In either case we lose potentially relevant information which could have otherwise been exploited by our learning methods. We propose a multimodal message passing network which not only learns end-to-end from the structure of graphs, but also from their possibly divers set of multimodal node features. Our model uses dedicated (neural) encoders to naturally learn embeddings for node features belonging to five different types of modalities, including numbers, texts, dates, images and geometries, which are projected into a joint representation space together with their relational information. We implement and demonstrate our model on node classification and link prediction for artificial and real-worlds datasets, and evaluate the effect that each modality has on the overall performance in an inverse ablation study. Our results indicate that end-to-end multimodal learning from any arbitrary knowledge graph is indeed possible, and that including multimodal information can significantly affect performance, but that much depends on the characteristics of the data.


title: The Minkowski problem in Heisenberg groups

abstract: As we all know, the Minkowski type problem is the cornerstone of the Brunn-Minkowski theory in Euclidean space. The Heisenberg group as a sub-Riemannian space is the simplest non-Abelian degenerate Riemannian space that is completely different from a Euclidean space. By analogy with the Minkowski type problem in Euclidean space, the Minkowski type problem in Heisenberg groups is still open. In the present paper, we develop for the first time a sub-Riemannian version of Minkowski type problem in the horizontal distributions of Heisenberg groups, and further give a positive answer to this sub-Riemannian Minkowski type problem via the variational method.


title: Deep Unfolding Convolutional Dictionary Model for Multi-Contrast MRI Super-resolution and Reconstruction

abstract: Magnetic resonance imaging (MRI) tasks often involve multiple contrasts. Recently, numerous deep learning-based multi-contrast MRI super-resolution (SR) and reconstruction methods have been proposed to explore the complementary information from the multi-contrast images. However, these methods either construct parameter-sharing networks or manually design fusion rules, failing to accurately model the correlations between multi-contrast images and lacking certain interpretations. In this paper, we propose a multi-contrast convolutional dictionary (MC-CDic) model under the guidance of the optimization algorithm with a well-designed data fidelity term. Specifically, we bulid an observation model for the multi-contrast MR images to explicitly model the multi-contrast images as common features and unique features. In this way, only the useful information in the reference image can be transferred to the target image, while the inconsistent information will be ignored. We employ the proximal gradient algorithm to optimize the model and unroll the iterative steps into a deep CDic model. Especially, the proximal operators are replaced by learnable ResNet. In addition, multi-scale dictionaries are introduced to further improve the model performance. We test our MC-CDic model on multi-contrast MRI SR and reconstruction tasks. Experimental results demonstrate the superior performance of the proposed MC-CDic model against existing SOTA methods. Code is available at https://github.com/lpcccc-cv/MC-CDic.


title: FusionAI: Decentralized Training and Deploying LLMs with Massive Consumer-Level GPUs

abstract: The rapid growth of memory and computation requirements of large language models (LLMs) has outpaced the development of hardware, hindering people who lack large-scale high-end GPUs from training or deploying LLMs. However, consumer-level GPUs, which constitute a larger market share, are typically overlooked in LLM due to their weaker computing performance, smaller storage capacity, and lower communication bandwidth. Additionally, users may have privacy concerns when interacting with remote LLMs. In this paper, we envision a decentralized system unlocking the potential vast untapped consumer-level GPUs in pre-training, inference and fine-tuning of LLMs with privacy protection. However, this system faces critical challenges, including limited CPU and GPU memory, low network bandwidth, the variability of peer and device heterogeneity. To address these challenges, our system design incorporates: 1) a broker with backup pool to implement dynamic join and quit of computing providers; 2) task scheduling with hardware performance to improve system efficiency; 3) abstracting ML procedures into directed acyclic graphs (DAGs) to achieve model and task universality; 4) abstracting intermediate represention and execution planes to ensure compatibility of various devices and deep learning (DL) frameworks. Our performance analysis demonstrates that 50 RTX 3080 GPUs can achieve throughputs comparable to those of 4 H100 GPUs, which are significantly more expensive.


title: Logic of subjective probability

abstract: In this paper I discuss both syntax and semantics of subjective probability. The semantics determines ways of testing probability statements. Among important varieties of subjective probabilities are intersubjective probabilities and impersonal probabilities, and I will argue that well-tested impersonal probabilities acquire features of objective probabilities. Jeffreys's law, my next topic, states that two successful probability forecasters must issue forecasts that are close to each other, thus supporting the idea of objective probabilities. Finally, I will discuss connections between subjective and frequentist probability.


title: A method based on hierarchical spatiotemporal features for trojan traffic detection

abstract: Trojans are one of the most threatening network attacks currently. HTTP-based Trojan, in particular, accounts for a considerable proportion of them. Moreover, as the network environment becomes more complex, HTTP-based Trojan is more concealed than others. At present, many intrusion detection systems (IDSs) are increasingly difficult to effectively detect such Trojan traffic due to the inherent shortcomings of the methods used and the backwardness of training data. Classical anomaly detection and traditional machine learning-based (TML-based) anomaly detection are highly dependent on expert knowledge to extract features artificially, which is difficult to implement in HTTP-based Trojan traffic detection. Deep learning-based (DL-based) anomaly detection has been locally applied to IDSs, but it cannot be transplanted to HTTP-based Trojan traffic detection directly. To solve this problem, in this paper, we propose a neural network detection model (HSTF-Model) based on hierarchical spatiotemporal features of traffic. Meanwhile, we combine deep learning algorithms with expert knowledge through feature encoders and statistical characteristics to improve the self-learning ability of the model. Experiments indicate that F1 of HSTF-Model can reach 99.4% in real traffic. In addition, we present a dataset BTHT consisting of HTTP-based benign and Trojan traffic to facilitate related research in the field.


title: Surface-state mediated spin-to-charge conversion in Sb films via bilateral spin current injection

abstract: The spin-to-charge conversion phenomena is investigated in a trilayer structure consisting of Co(12 nm)/Sb(t)/Py(12 nm), where the thickness t of the antimony layer is varied. Using the spin-pumping technique, a pure spin current is injected from both FM layers into the middle layer, the DC voltage is then measured. We observe a spin-to-charge mechanism in the Sb layer that exhibits striking similarities to the inverse Rashba-Edelstein effect (IREE), driven by surface states.


title: Observation of multiple flat bands and topological Dirac states in a new titanium based slightly distorted kagome metal YbTi3Bi4

abstract: Kagome lattices have emerged as an ideal platform for exploring various exotic quantum phenomena such as correlated topological phases, frustrated lattice geometry, unconventional charge density wave orders, Chern quantum phases, superconductivity, etc. In particular, the vanadium based nonmagnetic kagome metals AV3Sb5 (A= K, Rb, and Cs) have seen a flurry of research interest due to the discovery of multiple competing orders. Here, we report the discovery of a new Ti based kagome metal YbTi3Bi4 and employ angle-resolved photoemission spectroscopy (ARPES), magnetotransport in combination with density functional theory calculations to investigate its electronic structure. We reveal spectroscopic evidence of multiple flat bands arising from the kagome lattice of Ti with predominant Ti 3d character. Through our calculations of the Z2 indices, we have identified that the system exhibits topological nontriviality with surface Dirac cones at the Gamma point and a quasi two-dimensional Dirac state at the K point which is further confirmed by our ARPES measured band dispersion. These results establish YbTi3Bi4 as a novel platform for exploring the intersection of nontrivial topology, and electron correlation effects in this newly discovered Ti based kagome lattice.


title: Crystallographic Disorder and Strong Magnetic Anisotropy in Dy3.1Pt2.0Sb3.8

abstract: We report the crystal growth and characterization of a rare-earth-containing material, Dy3.00(1)Pt2Sb4.48(2). This compound possesses a similar structure to the previously reported Y3Pt4Ge6, but lacks two layers of Pt atoms. Crystallographic disorder was found in Dy3.00(1)Pt2Sb4.48(2). Additionally, the Dy-Dy framework was found to have both square net and triangular lattices. Dy3.00(1)Pt2Sb4.48(2)8 was determined to be antiferromagnetically ordered around ~15 K while a competing antiferromagnetic sublattice also exists at lower temperature. Strong magnetic anisotropy was observed and several metamagnetic transitions were seen in the hysteresis loops. Furthermore, the Curie-Weiss fitting revealed unusually small effective moment of Dy, which is far below the expected value of Dy3+ (10.65 muB). This material might provide a new platform to study the relation between crystallographic disorder and magnetism.


title: Phase space geometry of general quantum energy transitions

abstract: The mixed density operator for coarsegrained eigenlevels of a static Hamiltonian is represented in phase space by the spectral Wigner function, which has its peak on the corresponding classical energy shell. The action of trajectory segments along the shell determine the phase of the Wigner oscillations in its interior. The classical transitions between any pair of energy shells, driven by a general external time dependent Hamiltonian, also have a smooth probability density. It is shown here that a further contribution to the transition between the corresponding pair of coarsegrained energy levels, which oscillates with either energy, or the driving time, is determined by four trajectory segments (two in the pair of energy shells and two generated by the driving Hamiltonian) that join exactly to form a closed compound orbit. In its turn, this sequence of segments belongs to the semiclassical expression of a compound unitary operator that combines four quantum evolutions: a pair generated by the static internal Hamiltonian and a pair generated by the driving Hamiltonian. The closed compound orbits are shown to belong to continuous families, which are initially seeded at points where the classical flow generated by both Hamiltonians commute.


title: Cognition-Mode Aware Variational Representation Learning Framework for Knowledge Tracing

abstract: The Knowledge Tracing (KT) task plays a crucial role in personalized learning, and its purpose is to predict student responses based on their historical practice behavior sequence. However, the KT task suffers from data sparsity, which makes it challenging to learn robust representations for students with few practice records and increases the risk of model overfitting. Therefore, in this paper, we propose a Cognition-Mode Aware Variational Representation Learning Framework (CMVF) that can be directly applied to existing KT methods. Our framework uses a probabilistic model to generate a distribution for each student, accounting for uncertainty in those with limited practice records, and estimate the student's distribution via variational inference (VI). In addition, we also introduce a cognition-mode aware multinomial distribution as prior knowledge that constrains the posterior student distributions learning, so as to ensure that students with similar cognition modes have similar distributions, avoiding overwhelming personalization for students with few practice records. At last, extensive experimental results confirm that CMVF can effectively aid existing KT methods in learning more robust student representations. Our code is available at https://github.com/zmy-9/CMVF.


title: A Usage-Aware Sequent Calculus for Differential Dynamic Logic

abstract: Modeling languages like differential dynamic logic (dL) have proof calculi capable of proving guarantees for safety-critical applications. However, dL programmers may unintentionally over-specify assumptions and program statements, which results in overly constrained models, and consequently, weak or vacuous guarantees. In hybrid systems models, such constraints come from multiple places, ranging from initial conditions to domain constraints in the middle of differential equations, thereby making it nontrivial to consistently track the conglomerate. We present a novel sequent calculus for dL that tracks which constraints to weaken or remove while preserving correctness guarantees. When properties follow entirely from constraints uninfluenced by program statements, this analysis spots outright flaws in models. We prove soundness and completeness of our proof calculus.


title: Polarization-entangled quantum frequency comb from a silicon nitride microring resonator

abstract: Integrated microresonator facilitates the realization of quantum frequency comb (QFC), which provides a large number of discrete frequency modes with broadband spectral range and narrow linewidth. However, all previous demonstrations have focused on the generation of energy-time or time-bin entangled photons from QFC. Realizing polarization-entangled quantum frequency comb, which is the important resource for fundamental study of quantum mechanics and quantum information applications, remains challenging. Here, we demonstrate, for the first time, a broadband polarization-entangled quantum frequency comb by combining an integrated silicon nitride micro-resonator with a Sagnac interferometer. With a free spectral range of about 99 GHz and a narrow linewidth of about 190 MHz, our source provides 22 polarization entangled photons pairs with frequency covering the whole telecom C-band. The entanglement fidelities for all 22 pairs are above 81%, including 17 pairs with fidelities higher than 90%. Our demonstration paves the way for employing the polarization-entangled quantum frequency comb in quantum network using CMOS technology as well as standard dense wavelength division multiplexing technology.


title: Direct visualization of electric current induced dipoles of atomic impurities

abstract: Learning the electron scattering around atomic impurities is a fundamental step to fully understand the basic electronic transport properties of realistic conducting materials. Although many efforts have been made in this field for several decades, atomic scale transport around single point-like impurities has yet been achieved. Here, we report the direct visualization of the electric current induced dipoles around single atomic impurities in epitaxial bilayer graphene by multi-probe low temperature scanning tunneling potentiometry as the local current density is raised up to around 25 A/m, which is considerably higher than that in previous studies. We find the directions of these dipoles which are parallel or anti-parallel to local current are determined by the charge polarity of the impurities, revealing the direct evidence for the existence of the carrier density modulation effect proposed by Landauer in 1976. Furthermore, by $in$ $situ$ tuning local current direction with contact probes, these dipoles are redirected correspondingly. Our work paves the way to explore the electronic quantum transport phenomena at single atomic impurity level and the potential future electronics toward or beyond the end of Moore's Law.


title: Holistic Dynamic Frequency Transformer for Image Fusion and Exposure Correction

abstract: The correction of exposure-related issues is a pivotal component in enhancing the quality of images, offering substantial implications for various computer vision tasks. Historically, most methodologies have predominantly utilized spatial domain recovery, offering limited consideration to the potentialities of the frequency domain. Additionally, there has been a lack of a unified perspective towards low-light enhancement, exposure correction, and multi-exposure fusion, complicating and impeding the optimization of image processing. In response to these challenges, this paper proposes a novel methodology that leverages the frequency domain to improve and unify the handling of exposure correction tasks. Our method introduces Holistic Frequency Attention and Dynamic Frequency Feed-Forward Network, which replace conventional correlation computation in the spatial-domain. They form a foundational building block that facilitates a U-shaped Holistic Dynamic Frequency Transformer as a filter to extract global information and dynamically select important frequency bands for image restoration. Complementing this, we employ a Laplacian pyramid to decompose images into distinct frequency bands, followed by multiple restorers, each tuned to recover specific frequency-band information. The pyramid fusion allows a more detailed and nuanced image restoration process. Ultimately, our structure unifies the three tasks of low-light enhancement, exposure correction, and multi-exposure fusion, enabling comprehensive treatment of all classical exposure errors. Benchmarking on mainstream datasets for these tasks, our proposed method achieves state-of-the-art results, paving the way for more sophisticated and unified solutions in exposure correction.


title: Local solvability and stability for the inverse Sturm-Liouville problem with polynomials in the boundary conditions

abstract: In this paper, we for the first time prove local solvability and stability of the inverse Sturm-Liouville problem with complex-valued singular potential and with polynomials of the spectral parameter in the boundary conditions. The proof method is constructive. It is based on the reduction of the inverse problem to a linear equation in the Banach space of bounded infinite sequences. We prove that, under a small perturbation of the spectral data, the main equation of the inverse problem remains uniquely solvable. Furthermore, we derive new reconstruction formulas for obtaining the problem coefficients from the solution of the main equation and get stability estimates for the recovered coefficients.


title: Cooperative Filtering with Range Measurements: A Distributed Constrained Zonotopic Method

abstract: This article studies the distributed estimation problem of a multi-agent system with bounded absolute and relative range measurements. Parts of the agents are with high-accuracy absolute measurements, which are considered as anchors; the other agents utilize lowaccuracy absolute and relative range measurements, each derives an uncertain range that contains its true state in a distributed manner. Different from previous studies, we design a distributed algorithm to handle the range measurements based on extended constrained zonotopes, which has low computational complexity and high precision. With our proposed algorithm, agents can derive their uncertain range sequentially along the chain topology, such that agents with low-accuracy sensors can benefit from the high-accuracy absolute measurements of anchors and improve the estimation performance. Simulation results corroborate the effectiveness of our proposed algorithm and verify our method can significantly improve the estimation accuracy.


title: Local $h^*$-polynomials for one-row Hermite normal form simplices

abstract: The local $h^*$-polynomial of a lattice polytope is an important invariant arising in Ehrhart theory. Our focus in this work is on lattice simplices presented in Hermite normal form with a single non-trivial row. We prove that when the off-diagonal entries are fixed, the distribution of coefficients for the local $h^*$-polynomial of these simplices has a limit as the normalized volume goes to infinity. Further, this limiting distribution is determined by the coefficients for a relatively small normalized volume. We also provide a thorough analysis of two specific families of such simplices, to illustrate and motivate our main result.


title: The emergence of order in many element systems

abstract: Our work is dedicated to the introduction and investigation of a new asymptotic correlation relation in the field of mean field models and limits. This new notion, order (as opposed to chaos), revolves around a tendency for self organisation in a given system and is expected to be observed in biological and societal models. Beyond the definition of this new notion, our work will show its applicability, and propagation, in the so-called Choose the Leader model.

categories: math-ph cond-mat.stat-mech math.AP math.MP math.PR


title: Pre-trained Neural Recommenders: A Transferable Zero-Shot Framework for Recommendation Systems

abstract: Modern neural collaborative filtering techniques are critical to the success of e-commerce, social media, and content-sharing platforms. However, despite technical advances -- for every new application domain, we need to train an NCF model from scratch. In contrast, pre-trained vision and language models are routinely applied to diverse applications directly (zero-shot) or with limited fine-tuning. Inspired by the impact of pre-trained models, we explore the possibility of pre-trained recommender models that support building recommender systems in new domains, with minimal or no retraining, without the use of any auxiliary user or item information. Zero-shot recommendation without auxiliary information is challenging because we cannot form associations between users and items across datasets when there are no overlapping users or items. Our fundamental insight is that the statistical characteristics of the user-item interaction matrix are universally available across different domains and datasets. Thus, we use the statistical characteristics of the user-item interaction matrix to identify dataset-independent representations for users and items. We show how to learn universal (i.e., supporting zero-shot adaptation without user or item auxiliary information) representations for nodes and edges from the bipartite user-item interaction graph. We learn representations by exploiting the statistical properties of the interaction data, including user and item marginals, and the size and density distributions of their clusters.


title: LogGPT: Exploring ChatGPT for Log-Based Anomaly Detection

abstract: The increasing volume of log data produced by software-intensive systems makes it impractical to analyze them manually. Many deep learning-based methods have been proposed for log-based anomaly detection. These methods face several challenges such as high-dimensional and noisy log data, class imbalance, generalization, and model interpretability. Recently, ChatGPT has shown promising results in various domains. However, there is still a lack of study on the application of ChatGPT for log-based anomaly detection. In this work, we proposed LogGPT, a log-based anomaly detection framework based on ChatGPT. By leveraging the ChatGPT's language interpretation capabilities, LogGPT aims to explore the transferability of knowledge from large-scale corpora to log-based anomaly detection. We conduct experiments to evaluate the performance of LogGPT and compare it with three deep learning-based methods on BGL and Spirit datasets. LogGPT shows promising results and has good interpretability. This study provides preliminary insights into prompt-based models, such as ChatGPT, for the log-based anomaly detection task.


title: Exciton migration in two-dimensional materials

abstract: Excitons play an essential role in the optical response of two-dimensional materials. These are bound states showing up in the band gaps of many-body systems and are conceived as quasiparticles formed by an electron and a hole. By performing real-time simulations in hBN, we show that an ultrashort (few-fs) UV pulse can produce a coherent superposition of excitonic states that induces an oscillatory motion of electrons and holes between different valleys in reciprocal space, leading to a sizeable exciton migration in real space. We also show that an ultrafast spectroscopy scheme based on the absorption of an attosecond pulse in combination with the UV pulse can be used to read out the laser-induced coherences, hence to extract the characteristic time for exciton migration. This work opens the door towards ultrafast electronics and valleytronics adding time as a control knob and exploiting electron coherence at the early times of excitation.


title: Sustainable early-stage lasing in a low-emittance electron storage ring

abstract: In this Letter, we report on the concept and analysis of a low-emittance electron storage ring, in which the electron beams undergo an early-stage self-amplified spontaneous emission lasing process on a turn-by-turn basis. The lasing process for each pass through a long undulator in the ring is terminated when the radiated power is still negligible compared to the total synchrotron loss of each circulation, and the electron beams can be maintained in an equilibrium state that supports sustainable lasing. A self-consistent model is derived for evaluation of the properties of the electron beams, and a design with numerical modeling is presented that demonstrates the feasibility of generating short-wavelength radiation at the kW power level.


title: Nash's bargaining problem and the scale-invariant Hirsch citation index

abstract: A number of citation indices have been proposed for measuring and ranking the research publication records of scholars. Some of the best known indices, such as those proposed by Hirsch and Woeginger, are designed to reward most highly those records that strike some balance between productivity (number of papers published), and impact (frequency with which those papers are cited). A large number of rarely cited publications will not score well, nor will a very small number of heavily cited papers. We discuss three new citation indices, one of which was independently proposed in \cite{FHLB}. Each rests on the notion of scale invariance, fundamental to John Nash's solution of the two-person bargaining problem. Our main focus is on one of these -- a scale invariant version of the Hirsch index. We argue that it has advantages over the original; it produces fairer rankings within subdisciplines, is more decisive (discriminates more finely, yielding fewer ties) and more dynamic (growing over time via more frequent, smaller increments), and exhibits enhanced centrality and tail balancedness. Simulations suggest that scale invariance improves robustness under Poisson noise, with increased decisiveness having no cost in terms of the number of ``accidental" reversals, wherein random irregularities cause researcher A to receive a lower index value than B, although A's productivity and impact are both slightly higher than B's. Moreover, we provide an axiomatic characterization of the scale invariant Hirsch index, via axioms that bear a close relationship, in discrete analogue, to those used by Nash in \cite{Nas50}. This argues for the mathematical naturality of the new index. An earlier version was presented at the 5th World Congress of the Game Theory Society, Maastricht, Netherlands in 2016.


title: Long-distance contribution to $\epsilon_K$ from lattice QCD

abstract: A lattice QCD approach to the calculation of the long-distance contributions to $\epsilon_K$ is presented. This parameter describes indirect CP violation in $K\to\pi\pi$ decay. While the short-distance contribution to $\epsilon_K$ can be accurately calculated in terms of standard model parameters and a single hadronic matrix element, $B_K$, there is a long-distance part which is estimated to be approximately $5\%$ of the total and is more difficult to determine. A method for determining this small but phenomenologically important contribution to $\epsilon_K$ using lattice QCD is proposed and a complete exploratory calculation of the contribution is presented. This exploratory calculation uses an unphysical light quark mass corresponding to a 339 MeV pion mass and an unphysical charm quark mass of 968 MeV, expressed in the $\overline{\mathrm{MS}}$ scheme at 2 GeV. This calculation demonstrates that future work should be able to determine this long-distance contribution from first principles with a controlled error of 10\% or less.


title: A Survey on Service Route and Time Prediction in Instant Delivery: Taxonomy, Progress, and Prospects

abstract: Instant delivery services, such as food delivery and package delivery, have achieved explosive growth in recent years by providing customers with daily-life convenience. An emerging research area within these services is service Route\&Time Prediction (RTP), which aims to estimate the future service route as well as the arrival time of a given worker. As one of the most crucial tasks in those service platforms, RTP stands central to enhancing user satisfaction and trimming operational expenditures on these platforms. Despite a plethora of algorithms developed to date, there is no systematic, comprehensive survey to guide researchers in this domain. To fill this gap, our work presents the first comprehensive survey that methodically categorizes recent advances in service route and time prediction. We start by defining the RTP challenge and then delve into the metrics that are often employed. Following that, we scrutinize the existing RTP methodologies, presenting a novel taxonomy of them. We categorize these methods based on three criteria: (i) type of task, subdivided into only-route prediction, only-time prediction, and joint route\&time prediction; (ii) model architecture, which encompasses sequence-based and graph-based models; and (iii) learning paradigm, including Supervised Learning (SL) and Deep Reinforcement Learning (DRL). Conclusively, we highlight the limitations of current research and suggest prospective avenues. We believe that the taxonomy, progress, and prospects introduced in this paper can significantly promote the development of this field.


title: A dispersive estimate of the $a_0(980)$ contribution to hadronic light-by-light scattering in $(g-2)_\mu$

abstract: A dispersive implementation of the $a_0(980)$ resonance to $(g-2)_\mu$ requires the knowledge of the double-virtual $S$-wave $\gamma^*\gamma^*\to\pi\eta / K\bar{K}_{I=1}$ amplitudes. To obtain these amplitudes we used a modified coupled-channel Muskhelischvili-Omn\`es formalism, with the input from the left-hand cuts and the hadronic Omn\`es function. The latter were obtained using a data-driven $N/D$ method in which the fits were performed to the different sets of experimental data on two-photon fusion processes with $\pi\eta$ and $K\bar{K}$ final states. This yields the preliminary dispersive estimate $a_\mu^{HLbL}[a_0(980)]_{resc.}=-0.46(2)\times 10^{-11}$.


title: A Visual Interpretation-Based Self-Improved Classification System Using Virtual Adversarial Training

abstract: The successful application of large pre-trained models such as BERT in natural language processing has attracted more attention from researchers. Since the BERT typically acts as an end-to-end black box, classification systems based on it usually have difficulty in interpretation and low robustness. This paper proposes a visual interpretation-based self-improving classification model with a combination of virtual adversarial training (VAT) and BERT models to address the above problems. Specifically, a fine-tuned BERT model is used as a classifier to classify the sentiment of the text. Then, the predicted sentiment classification labels are used as part of the input of another BERT for spam classification via a semi-supervised training manner using VAT. Additionally, visualization techniques, including visualizing the importance of words and normalizing the attention head matrix, are employed to analyze the relevance of each component to classification accuracy. Moreover, brand-new features will be found in the visual analysis, and classification performance will be improved. Experimental results on Twitter's tweet dataset demonstrate the effectiveness of the proposed model on the classification task. Furthermore, the ablation study results illustrate the effect of different components of the proposed model on the classification results.


title: On the vacuum free boundary problem of the viscous Saint-Venant system for shallow water in two dimensions

abstract: In this paper, we establish the local-in-time well-posedness of classical solutions to the vacuum free boundary problem of the viscous Saint-Venant system for shallow water in two dimensions. The solutions are shown to possess higher-order regularities uniformly up to the vacuum free boundary, although the depth degenerates as a singularity of the distance to the vacuum boundary. Since the momentum equations degenerate in both the dissipation and time evolution, there are difficulties in constructing approximate solutions by the Galerkin's scheme and gaining higher-order regularities uniformly up to the vacuum boundary for the weak solution. To construct the approximate solutions, we introduce some degenerate-singular elliptic operator, whose eigenfunctions form an orthogonal basis of the projection space. Then the high-order regularities on the weak solution are obtained by using some carefully designed higher-order weighted energy functional.


title: Transition probabilities of near-infrared Ce III lines from stellar spectra: applications to kilonovae

abstract: Kilonova spectra provide us with information of r-process nucleosynthesis in neutron star mergers. However, it is still challenging to identify individual elements in the spectra mainly due to lack of experimentally accurate atomic data for heavy elements in the near-infrared wavelengths. Recently, Domoto et al. (2022) proposed the absorption features around 14500 A in the observed spectra of GW170817/AT2017gfo as Ce III lines. But they used theoretical transition probabilities (gf-values) whose accuracy is uncertain. In this paper, we derive the astrophysical gf-values of the three Ce III lines, aiming at verification of this identification. We model high resolution H-band spectra of four F-type supergiants showing the clear Ce III absorption features by assuming stellar parameters derived from optical spectra in literatures. We also test the validity of the derived astrophysical gf-values by estimating Ce III abundances in Ap stars. We find that the derived astrophysical gf-values of the Ce III lines are systematically lower by about 0.25 dex than those used in previous work of kilonovae, while they are still compatible within the uncertainty range. By performing radiative transfer simulations of kilonovae with the derived gf-values, we find that the identification of Ce III as a source of the absorption features in the observed kilonova spectra still stands, even considering the uncertainties in the astrophysical gf-values. This supports identification of Ce in the spectra of GW170817/AT2017gfo.


title: DKWS: A Distributed System for Keyword Search on Massive Graphs (Complete Version)

abstract: Due to the unstructuredness and the lack of schemas of graphs, such as knowledge graphs, social networks, and RDF graphs, keyword search for querying such graphs has been proposed. As graphs have become voluminous, large-scale distributed processing has attracted much interest from the database research community. While there have been several distributed systems, distributed querying techniques for keyword search are still limited. This paper proposes a novel distributed keyword search system called $\DKWS$. First, we \revise{present} a {\em monotonic} property with keyword search algorithms that guarantees correct parallelization. Second, we present a keyword search algorithm as monotonic backward and forward search phases. Moreover, we propose new tight bounds for pruning nodes being searched. Third, we propose a {\em notify-push} paradigm and $\PINE$ {\em programming model} of $\DKWS$. The notify-push paradigm allows {\em asynchronously} exchanging the upper bounds of matches across the workers and the coordinator in $\DKWS$. The $\PINE$ programming model naturally fits keyword search algorithms, as they have distinguished phases, to allow {\em preemptive} searches to mitigate staleness in a distributed system. Finally, we investigate the performance and effectiveness of $\DKWS$ through experiments using real-world datasets. We find that $\DKWS$ is up to two orders of magnitude faster than related techniques, and its communication costs are $7.6$ times smaller than those of other techniques.


title: An analysis of Ermakov-Zolotukhin quadrature using kernels

abstract: We study a quadrature, proposed by Ermakov and Zolotukhin in the sixties, through the lens of kernel methods. The nodes of this quadrature rule follow the distribution of a determinantal point process, while the weights are defined through a linear system, similarly to the optimal kernel quadrature. In this work, we show how these two classes of quadrature are related, and we prove a tractable formula of the expected value of the squared worst-case integration error on the unit ball of an RKHS of the former quadrature. In particular, this formula involves the eigenvalues of the corresponding kernel and leads to improving on the existing theoretical guarantees of the optimal kernel quadrature with determinantal point processes.


title: Distributed robust optimization for multi-agent systems with guaranteed finite-time convergence

abstract: A novel distributed algorithm is proposed for finite-time converging to a feasible consensus solution satisfying global optimality to a certain accuracy of the distributed robust convex optimization problem (DRCO) subject to bounded uncertainty under a uniformly strongly connected network. Firstly, a distributed lower bounding procedure is developed, which is based on an outer iterative approximation of the DRCO through the discretization of the compact uncertainty set into a finite number of points. Secondly, a distributed upper bounding procedure is proposed, which is based on iteratively approximating the DRCO by restricting the constraints right-hand side with a proper positive parameter and enforcing the compact uncertainty set at finitely many points. The lower and upper bounds of the global optimal objective for the DRCO are obtained from these two procedures. Thirdly, two distributed termination methods are proposed to make all agents stop updating simultaneously by exploring whether the gap between the upper and the lower bounds reaches a certain accuracy. Fourthly, it is proved that all the agents finite-time converge to a feasible consensus solution that satisfies global optimality within a certain accuracy. Finally, a numerical case study is included to illustrate the effectiveness of the distributed algorithm.


title: MAGMA: Music Aligned Generative Motion Autodecoder

abstract: Mapping music to dance is a challenging problem that requires spatial and temporal coherence along with a continual synchronization with the music's progression. Taking inspiration from large language models, we introduce a 2-step approach for generating dance using a Vector Quantized-Variational Autoencoder (VQ-VAE) to distill motion into primitives and train a Transformer decoder to learn the correct sequencing of these primitives. We also evaluate the importance of music representations by comparing naive music feature extraction using Librosa to deep audio representations generated by state-of-the-art audio compression algorithms. Additionally, we train variations of the motion generator using relative and absolute positional encodings to determine the effect on generated motion quality when generating arbitrarily long sequence lengths. Our proposed approach achieve state-of-the-art results in music-to-motion generation benchmarks and enables the real-time generation of considerably longer motion sequences, the ability to chain multiple motion sequences seamlessly, and easy customization of motion sequences to meet style requirements.


title: Probing Inelastic Signatures of Dark Matter Detection via Polarized Nucleus

abstract: We investigate the inelastic signatures of dark matter-nucleus interactions, explicitly focusing on the ramifications of polarization, dark matter splitting, and the Migdal effect. Direct detection experiments, crucial for testing the existence of dark matter, encounter formidable obstacles such as indomitable neutrino backgrounds and the elusive determination of dark matter spin. To overcome these challenges, we explore the potential of polarized-target dark matter scattering, examining the impact of nonvanishing mass splitting and the role of the Migdal effect in detecting light dark matter. Our analysis demonstrates the valuable utility of the polarized triple-differential event rate as an effective tool for studying inelastic dark matter. It enables us to investigate both angular and energy dependencies, providing valuable insights into the scattering process.


title: Falconer distance problem on Riemannian manifolds

abstract: We prove that on a $d$-dimensional Riemannian manifold, the distance set of a Borel set $E$ has a positive Lebesgue measure if $\dim_{\mathcal H} E>\frac d2+\frac14+\frac{3}{8d+4}.$ Moreover, on a Riemannian manifold with constant sectional curvature, we show that the distance set of $E$ has a positive Lebesgue measure if $\dim_{\mathcal{H}}(E)>\frac d2+\frac14+\frac{1-(-1)^d}{8d}.$


title: Rigidity and deformation of generalized sphere packings on 3-dimensional manifolds with boundary

abstract: Motivated by Guo-Luo's generalized circle packings on surfaces with boundary \cite{GL2}, we introduce the generalized sphere packings on 3-dimensional manifolds with boundary. Then we investigate the rigidity of the generalized sphere packing metrics. We prove that the generalized sphere packing metric is determined by the combinatorial scalar curvature. To find the hyper-ideal polyhedral metrics on 3-dimensional manifolds with prescribed combinatorial scalar curvature, we introduce the combinatorial Ricci flow and combinatorial Calabi flow for the generalized sphere packings on 3-dimensional manifolds with boundary. Then we study the longtime existence and convergence for the solutions of these combinatorial curvature flows.


title: Comparative Safety Performance of Autonomous- and Human Drivers: A Real-World Case Study of the Waymo One Service

abstract: This study compares the safety of autonomous- and human drivers. It finds that the Waymo One autonomous service is significantly safer towards other road users than human drivers are, as measured via collision causation. The result is determined by comparing Waymo's third party liability insurance claims data with mileage- and zip-code-calibrated Swiss Re (human driver) private passenger vehicle baselines. A liability claim is a request for compensation when someone is responsible for damage to property or injury to another person, typically following a collision. Liability claims reporting and their development is designed using insurance industry best practices to assess crash causation contribution and predict future crash contributions. In over 3.8 million miles driven without a human being behind the steering wheel in rider-only (RO) mode, the Waymo Driver incurred zero bodily injury claims in comparison with the human driver baseline of 1.11 claims per million miles (cpmm). The Waymo Driver also significantly reduced property damage claims to 0.78 cpmm in comparison with the human driver baseline of 3.26 cpmm. Similarly, in a more statistically robust dataset of over 35 million miles during autonomous testing operations (TO), the Waymo Driver, together with a human autonomous specialist behind the steering wheel monitoring the automation, also significantly reduced both bodily injury and property damage cpmm compared to the human driver baselines.


title: Spectral Adversarial MixUp for Few-Shot Unsupervised Domain Adaptation

abstract: Domain shift is a common problem in clinical applications, where the training images (source domain) and the test images (target domain) are under different distributions. Unsupervised Domain Adaptation (UDA) techniques have been proposed to adapt models trained in the source domain to the target domain. However, those methods require a large number of images from the target domain for model training. In this paper, we propose a novel method for Few-Shot Unsupervised Domain Adaptation (FSUDA), where only a limited number of unlabeled target domain samples are available for training. To accomplish this challenging task, first, a spectral sensitivity map is introduced to characterize the generalization weaknesses of models in the frequency domain. We then developed a Sensitivity-guided Spectral Adversarial MixUp (SAMix) method to generate target-style images to effectively suppresses the model sensitivity, which leads to improved model generalizability in the target domain. We demonstrated the proposed method and rigorously evaluated its performance on multiple tasks using several public datasets.


title: Streaming and Query Once Space Complexity of Longest Increasing Subsequence

abstract: Longest Increasing Subsequence (LIS) is a fundamental problem in combinatorics and computer science. Previously, there have been numerous works on both upper bounds and lower bounds of the time complexity of computing and approximating LIS, yet only a few on the equally important space complexity. In this paper, we further study the space complexity of computing and approximating LIS in various models. Specifically, we prove non-trivial space lower bounds in the following two models: (1) the adaptive query-once model or read-once branching programs, and (2) the streaming model where the order of streaming is different from the natural order. As far as we know, there are no previous works on the space complexity of LIS in these models. Besides the bounds, our work also leaves many intriguing open problems.