title: Recursive Monte Carlo and Variational Inference with Auxiliary Variables

abstract: A key design constraint when implementing Monte Carlo and variational inference algorithms is that it must be possible to cheaply and exactly evaluate the marginal densities of proposal distributions and variational families. This takes many interesting proposals off the table, such as those based on involved simulations or stochastic optimization. This paper broadens the design space, by presenting a framework for applying Monte Carlo and variational inference algorithms when proposal densities cannot be exactly evaluated. Our framework, recursive auxiliary-variable inference (RAVI), instead approximates the necessary densities using meta-inference: an additional layer of Monte Carlo or variational inference, that targets the proposal, rather than the model. RAVI generalizes and unifies several existing methods for inference with expressive approximating families, which we show correspond to specific choices of meta-inference algorithm, and provides new theory for analyzing their bias and variance. We illustrate RAVI's design framework and theorems by using them to analyze and improve upon Salimans et al.'s Markov Chain Variational Inference, and to design a novel sampler for Dirichlet process mixtures, achieving state-of-the-art results on a standard benchmark dataset from astronomy and on a challenging datacleaning task with Medicare hospital data.


title: Finding Biclique Partitions of Co-Chordal Graphs

abstract: The biclique partition number $(\text{bp})$ of a graph $G$ is referred to as the least number of complete bipartite (biclique) subgraphs that are required to cover the edges of the graph exactly once. In this paper, we show that the biclique partition number ($\text{bp}$) of a co-chordal (complementary graph of chordal) graph $G = (V, E)$ is less than the number of maximal cliques ($\text{mc}$) of its complementary graph: a chordal graph $G^c = (V, E^c)$. We first provide a general framework of the ``divide and conquer" heuristic of finding minimum biclique partitions of co-chordal graphs based on clique trees. Furthermore, a heuristic of complexity $O[|V|(|V|+|E^c|)]$ is proposed by applying lexicographic breadth-first search to find structures called moplexes. Either heuristic gives us a biclique partition of $G$ with size $\text{mc}(G^c)-1$. In addition, we prove that both of our heuristics can solve the minimum biclique partition problem on $G$ exactly if its complement $G^c$ is chordal and clique vertex irreducible. We also show that $\text{mc}(G^c) - 2 \leq \text{bp}(G) \leq \text{mc}(G^c) - 1$ if $G$ is a split graph.


title: Leveraging Pre-trained BERT for Audio Captioning

abstract: Audio captioning aims at using natural language to describe the content of an audio clip. Existing audio captioning systems are generally based on an encoder-decoder architecture, in which acoustic information is extracted by an audio encoder and then a language decoder is used to generate the captions. Training an audio captioning system often encounters the problem of data scarcity. Transferring knowledge from pre-trained audio models such as Pre-trained Audio Neural Networks (PANNs) have recently emerged as a useful method to mitigate this issue. However, there is less attention on exploiting pre-trained language models for the decoder, compared with the encoder. BERT is a pre-trained language model that has been extensively used in Natural Language Processing (NLP) tasks. Nevertheless, the potential of BERT as the language decoder for audio captioning has not been investigated. In this study, we demonstrate the efficacy of the pre-trained BERT model for audio captioning. Specifically, we apply PANNs as the encoder and initialize the decoder from the public pre-trained BERT models. We conduct an empirical study on the use of these BERT models for the decoder in the audio captioning model. Our models achieve competitive results with the existing audio captioning methods on the AudioCaps dataset.


title: Algorithmic Regularization in Model-free Overparametrized Asymmetric Matrix Factorization

abstract: We study the asymmetric matrix factorization problem under a natural nonconvex formulation with arbitrary overparametrization. The model-free setting is considered, with minimal assumption on the rank or singular values of the observed matrix, where the global optima provably overfit. We show that vanilla gradient descent with small random initialization sequentially recovers the principal components of the observed matrix. Consequently, when equipped with proper early stopping, gradient descent produces the best low-rank approximation of the observed matrix without explicit regularization. We provide a sharp characterization of the relationship between the approximation error, iteration complexity, initialization size and stepsize. Our complexity bound is almost dimension-free and depends logarithmically on the approximation error, with significantly more lenient requirements on the stepsize and initialization compared to prior work. Our theoretical results provide accurate prediction for the behavior gradient descent, showing good agreement with numerical experiments.


title: Dielectric properties and stratigraphy of regolith in the lunar South Pole-Aitken basin: Observations from the Lunar Penetrating Radar

abstract: We examine data obtained by the Lunar Penetrating Radar (LPR) onboard the Chang'E-4 (CE-4) mission to study the dielectric properties and stratigraphy of lunar regolith on the far side of the Moon. The data collected from January 2019 to September 2020 were processed to generate a 540 m radargram. The travel velocity of the radar signal and the permittivity of the regolith were deduced from hyperbolas in the radargram. As CE-4 LPR detected distinct planar reflectors, we evaluated the dielectric loss from the maximum penetration depth based on the radar equation. The derived dielectric properties are compared with the measurements of Apollo samples and Chang'E-2 microwave radiometer observations. The results suggest that regolith at the landing site has a permittivity of 2.64-3.85 and a loss tangent of 0.0032-0.0044, indicating that the local regolith is composed of a fine-grained, low-loss material that is much more homogeneous than that found at the Chang'E-3 landing site. The total thickness of weathered material is 40 m, with several regolith layers and a buried craternidentified in the reconstructed subsurface structure. These layers clearly record a series of impact events from the adjacent regions. We suggest that the top layer is primarily made up of the ejecta from a large crater 140 km away. In contrast, the material source of other thinner layers comes from nearby smaller craters.


title: Deep Regression of Muon Energy with a K-Nearest Neighbor Algorithm

abstract: Within the context of studies for novel measurement solutions for future particle physics experiments, we developed a performant kNN-based regressor to infer the energy of highly-relativistic muons from the pattern of their radiation losses in a dense and granular calorimeter. The regressor is based on a pool of weak kNN learners, which learn by adapting weights and biases to each training event through stochastic gradient descent. The effective number of parameters optimized by the procedure is in the 60 millions range, thus comparable to that of large deep learning architectures. We test the performance of the regressor on the considered application by comparing it to that of several machine learning algorithms, showing comparable accuracy to that achieved by boosted decision trees and neural networks.


title: Anderson localization of electromagnetic waves in three dimensions

abstract: Anderson localization marks a halt of diffusive wave propagation in disordered systems. Despite extensive studies over the past 40 years, Anderson localization of light in three dimensions has remained elusive, leading to the question of its very existence. Recent orders-of-magnitude speed-up of finite-difference time-domain calculations allows us to conduct brute-force numerical simulations of light transport in fully disordered 3D systems with unprecedented dimension and refractive index contrast. We demonstrate three-dimensional localization of vector electromagnetic waves in random packings of metallic spheres, in sharp contrast to the absence of localization for dielectric spheres with a refractive index contrast up to 10. Our work opens a wide range of avenues in both fundamental research related to Anderson localization and potential applications using 3D localized light.


title: Effective divisors and Newton-Okounkov bodies of Hilbert schemes of points on toric surfaces

abstract: We compute the (unbounded) Newton-Okounkov body of the Hilbert scheme of points on $\mathbb C^2$. We obtain an upper bound for the Newton-Okounkov body of the Hilbert scheme of points on any smooth toric surface. We conjecture that this upper bound coincides with the exact Newton-Okounkov body for the Hilbert schemes of points on $\mathbb P^2$, $\mathbb P^1\times\mathbb P^1$, and Hirzebruch surfaces. These results imply upper bounds for the effective cones of these Hilbert schemes, which are also conjecturally sharp in the above cases.


title: Recursive Reasoning Graph for Multi-Agent Reinforcement Learning

abstract: Multi-agent reinforcement learning (MARL) provides an efficient way for simultaneously learning policies for multiple agents interacting with each other. However, in scenarios requiring complex interactions, existing algorithms can suffer from an inability to accurately anticipate the influence of self-actions on other agents. Incorporating an ability to reason about other agents' potential responses can allow an agent to formulate more effective strategies. This paper adopts a recursive reasoning model in a centralized-training-decentralized-execution framework to help learning agents better cooperate with or compete against others. The proposed algorithm, referred to as the Recursive Reasoning Graph (R2G), shows state-of-the-art performance on multiple multi-agent particle and robotics games.


title: Reversal in the Stationary Prandtl Equations

abstract: We demonstrate the existence of an open set of data which exhibits \textit{reversal} and \textit{recirculation} for the stationary Prandtl equations (data is taken in an appropriately defined product space due to the simultaneous forward and backward causality in the problem). Reversal describes the development of the solution beyond the Goldstein singularity, and is characterized by the presence of (spatio-temporal) regions in which $u > 0$ and $u < 0$. The classical point of view of regarding the system as an evolution in the tangential direction completely breaks down past the Goldstein singularity. Instead, to describe the development, we view the problem as a \textit{mixed-type, non-local, quasilinear, free-boundary} problem across the curve $\{ u = 0 \}$. In a well-chosen nonlinear and self-similar coordinate system, we extract a coupled system for the bulk solution and several modulation variables describing the free boundary. Our work combines and introduces techniques from mixed-type problems, free-boundary problems, modulation theory, harmonic analysis, and spectral theory. As a byproduct, we obtain several new cancellations in the Prandtl equations, and develop several new estimates tailored to singular integral operators with Airy type kernels.


title: Region Proposal Rectification Towards Robust Instance Segmentation of Biological Images

abstract: Top-down instance segmentation framework has shown its superiority in object detection compared to the bottom-up framework. While it is efficient in addressing over-segmentation, top-down instance segmentation suffers from over-crop problem. However, a complete segmentation mask is crucial for biological image analysis as it delivers important morphological properties such as shapes and volumes. In this paper, we propose a region proposal rectification (RPR) module to address this challenging incomplete segmentation problem. In particular, we offer a progressive ROIAlign module to introduce neighbor information into a series of ROIs gradually. The ROI features are fed into an attentive feed-forward network (FFN) for proposal box regression. With additional neighbor information, the proposed RPR module shows significant improvement in correction of region proposal locations and thereby exhibits favorable instance segmentation performances on three biological image datasets compared to state-of-the-art baseline methods. Experimental results demonstrate that the proposed RPR module is effective in both anchor-based and anchor-free top-down instance segmentation approaches, suggesting the proposed method can be applied to general top-down instance segmentation of biological images.


title: Mid-IR and VUV Spectroscopic Characterisation of Thermally Processed and Electron Irradiated CO2 Astrophysical Ice Analogues

abstract: The astrochemistry of CO2 ice analogues has been a topic of intensive investigation due to the prevalence of CO2 throughout the interstellar medium and the Solar System, as well as the possibility of it acting as a carbon feedstock for the synthesis of larger, more complex organic molecules. In order to accurately discern the physico-chemical processes in which CO2 plays a role, it is necessary to have laboratory-generated spectra to compare against observational data acquired by ground- and space-based telescopes. A key factor which is known to influence the appearance of such spectra is temperature, especially when the spectra are acquired in the infrared and ultraviolet. In this present study, we describe the results of a systematic investigation looking into: (i) the influence of thermal annealing on the mid-IR and VUV absorption spectra of pure, unirradiated CO2 astrophysical ice analogues prepared at various temperatures, and (ii) the influence of temperature on the chemical products of electron irradiation of similar ices. Our results indicate that both mid-IR and VUV spectra of pure CO2 ices are sensitive to the structural and chemical changes induced by thermal annealing. Furthermore, using mid-IR spectroscopy, we have successfully identified the production of radiolytic daughter molecules as a result of 1 keV electron irradiation and the influence of temperature over this chemistry. Such results are directly applicable to studies on the chemistry of interstellar ices, comets, and icy lunar objects and may also be useful as reference data for forthcoming observational missions.

categories: astro-ph.GA astro-ph.EP astro-ph.IM physics.chem-ph physics.space-ph


title: Theory of nuclear collective vibrations

abstract: We review the theory of nuclear collective vibrations evolved over decades from phenomenological quasiclassical picture to sophisticated microscopic approaches. The major focus is put on the underlying microscopic mechanisms of emergent effects, which define the properties of giant resonances and soft modes. The response of atomic nuclei to electromagnetic and weak fields is discussed in detail. Astrophysical implications of the giant resonances and soft modes are outlined.


title: Variable Selection with the Knockoffs: Composite Null Hypotheses

abstract: The fixed-X knockoff filter is a flexible framework for variable selection with false discovery rate (FDR) control in linear models with arbitrary design matrices (of full column rank) and it allows for finite-sample selective inference via the Lasso estimates. In this paper, we extend the theory of the knockoff procedure to tests with composite null hypotheses, which are usually more relevant to real-world problems. The main technical challenge lies in handling composite nulls in tandem with dependent features from arbitrary designs. We develop two methods for composite inference with the knockoffs, namely, shifted ordinary least-squares (S-OLS) and feature-response product perturbation (FRPP), building on new structural properties of test statistics under composite nulls. We also propose two heuristic variants of S-OLS method that outperform the celebrated Benjamini-Hochberg (BH) procedure for composite nulls, which serves as a heuristic baseline under dependent test statistics. Finally, we analyze the loss in FDR when the original knockoff procedure is naively applied on composite tests.


title: Asymptotic Distribution of Random Quadratic Forms

abstract: In this paper we characterize all distributional limits of the random quadratic form $T_n =\sum_{1\le u< v\le n} a_{u, v} X_u X_v$, where $((a_{u, v}))_{1\le u,v\le n}$ is a $\{0, 1\}$-valued symmetric matrix with zeros on the diagonal and $X_1, X_2, \ldots, X_n$ are i.i.d.~ mean $0$ variance $1$ random variables with common distribution function $F$. In particular, we show that any distributional limit of $S_n:=T_n/\sqrt{\mathrm{Var}[T_n]}$ can be expressed as the sum of three independent components: a Gaussian, a (possibly) infinite weighted sum of independent centered chi-squares, and a Gaussian mixture with a random variance. As a consequence, we prove a fourth moment theorem for the asymptotic normality of $S_n$, which applies even when $F$ does not have finite fourth moment. More formally, we show that $S_n$ converges to $N(0, 1)$ if and only if the fourth moment of $S_n$ (appropriately truncated when $F$ does not have finite fourth moment) converges to 3 (the fourth moment of the standard normal distribution).


title: New operated polynomial identities and Gr\"{o}bner-Shirshov bases

abstract: Quite recently, Bremner et al. introduced a new approach to Rota's Classification Problem and classified some (new) operated polynomial identities. In this paper, we prove that all operated polynomial identities classified by Bremner et al. are Gr\"{o}bner-Shirshov.


title: CFT duals of three-dimensional de Sitter gravity

abstract: We present a class of dS/CFT correspondence between two-dimensional CFTs and three-dimensional de Sitter spaces. We argue that such a CFT includes an SU$(2)$ WZW model in the critical level limit $k\to -2$, which corresponds to the classical gravity limit. We can generalize this dS/CFT by considering the SU$(N)$ WZW model in the critical level limit $k\to -N$, dual to the higher-spin gravity on a three-dimensional de Sitter space. We confirm that under this proposed duality the classical partition function in the gravity side can be reproduced from CFT calculations. We also point out a duality relation known in higher-spin holography provides further evidence. Moreover, we analyze two-point functions and entanglement entropy in our dS/CFT correspondence. Possible spectrum and quantum corrections in the gravity theory are discussed.


title: Spin-Dependent Graph Neural Network Potential for Magnetic Materials

abstract: The development of machine learning interatomic potentials has immensely contributed to the accuracy of simulations of molecules and crystals. However, creating interatomic potentials for magnetic systems that account for both magnetic moments and structural degrees of freedom remains a challenge. This work introduces SpinGNN, a spin-dependent interatomic potential approach that employs the graph neural network (GNN) to describe magnetic systems. SpinGNN consists of two types of edge GNNs: Heisenberg edge GNN (HEGNN) and spin-distance edge GNN (SEGNN). HEGNN is tailored to capture Heisenberg-type spin-lattice interactions, while SEGNN accurately models multi-body and high-order spin-lattice coupling. The effectiveness of SpinGNN is demonstrated by its exceptional precision in fitting a high-order spin Hamiltonian and two complex spin-lattice Hamiltonians with great precision. Furthermore, it successfully models the subtle spin-lattice coupling in BiFeO3 and performs large-scale spin-lattice dynamics simulations, predicting its antiferromagnetic ground state, magnetic phase transition, and domain wall energy landscape with high accuracy. Our study broadens the scope of graph neural network potentials to magnetic systems, serving as a foundation for carrying out large-scale spin-lattice dynamic simulations of such systems.


title: Generation and genericity of the group of absolutely continuous homeomorphisms of the interval

abstract: We examine the Polish group $H_{+}^{AC}$ of order-preserving self-homeomorphisms $f$ of the interval $\left[ 0,1 \right]$ for which both $f$ and $f^{-1}$ are absolutely continuous; in particular, we establish two results. First, we prove that $H_{+}^{AC}$ is topologically $2$-generated; in fact, it is generically $2$-generated, i.e., there is a dense $G_{\delta}$ set of pairs $\left( f,g \right) \in H_{+}^{AC} \times H_{+}^{AC}$ for which $\left\langle f,g \right\rangle$ is dense. Secondly, we prove that $H_{+}^{AC}$ admits a dense $G_{\delta}$ conjugacy class, and we explicitly characterize the elements thereof.


title: Hybrid Deep Learning Model using SPCAGAN Augmentation for Insider Threat Analysis

abstract: Cyberattacks from within an organization's trusted entities are known as insider threats. Anomaly detection using deep learning requires comprehensive data, but insider threat data is not readily available due to confidentiality concerns of organizations. Therefore, there arises demand to generate synthetic data to explore enhanced approaches for threat analysis. We propose a linear manifold learning-based generative adversarial network, SPCAGAN, that takes input from heterogeneous data sources and adds a novel loss function to train the generator to produce high-quality data that closely resembles the original data distribution. Furthermore, we introduce a deep learning-based hybrid model for insider threat analysis. We provide extensive experiments for data synthesis, anomaly detection, adversarial robustness, and synthetic data quality analysis using benchmark datasets. In this context, empirical comparisons show that GAN-based oversampling is competitive with numerous typical oversampling regimes. For synthetic data generation, our SPCAGAN model overcame the problem of mode collapse and converged faster than previous GAN models. Results demonstrate that our proposed approach has a lower error, is more accurate, and generates substantially superior synthetic insider threat data than previous models.


title: Comptonization by Reconnection Plasmoids in Black Hole Coronae II: Electron-Ion Plasma

abstract: We perform two-dimensional particle-in-cell simulations of magnetic reconnection in electron-ion plasmas subject to strong Compton cooling and calculate the X-ray spectra produced by this process. The simulations are performed for trans-relativistic reconnection with magnetization $1\leq \sigma\leq 3$ (defined as the ratio of magnetic tension to plasma rest-mass density), which is expected in the coronae of accretion disks around black holes. We find that magnetic dissipation proceeds with inefficient energy exchange between the heated ions and the Compton-cooled electrons. As a result, most electrons are kept at a low temperature in Compton equilibrium with radiation, and so thermal Comptonization cannot reach photon energies $\sim 100$ keV observed from accreting black holes. Nevertheless, magnetic reconnection efficiently generates $\sim 100$ keV photons because of mildly relativistic bulk motions of the plasmoid chain formed in the reconnection layer. Comptonization by the plasmoid motions dominates the radiative output and controls the peak of the radiation spectrum $E_{\rm pk}$. We find $E_{\rm pk}\sim 40$ keV for $\sigma=1$ and $E_{\rm pk}\sim100$ keV for $\sigma=3$. In addition to the X-ray peak around 100 keV, the simulations show a non-thermal MeV tail emitted by a non-thermal electron population generated near X-points of the reconnection layer. The results are consistent with the typical hard state of accreting black holes. In particular, we find that the spectrum of Cygnus~X-1 is well explained by electron-ion reconnection with $\sigma\sim 3$.

categories: astro-ph.HE astro-ph.SR physics.comp-ph physics.flu-dyn physics.plasm-ph


title: Leveraging Reward Gradients For Reinforcement Learning in Differentiable Physics Simulations

abstract: In recent years, fully differentiable rigid body physics simulators have been developed, which can be used to simulate a wide range of robotic systems. In the context of reinforcement learning for control, these simulators theoretically allow algorithms to be applied directly to analytic gradients of the reward function. However, to date, these gradients have proved extremely challenging to use, and are outclassed by algorithms using no gradient information at all. In this work we present a novel algorithm, cross entropy analytic policy gradients, that is able to leverage these gradients to outperform state of art deep reinforcement learning on a set of challenging nonlinear control problems.


title: Two Channel Filter Banks on Arbitrary Graphs with Positive Semi Definite Variation Operators

abstract: We propose novel two-channel filter banks for signals on graphs. Our designs can be applied to arbitrary graphs, given a positive semi definite variation operator, while using arbitrary vertex partitions for downsampling. The proposed generalized filter banks (GFBs) also satisfy several desirable properties including perfect reconstruction and critical sampling, while having efficient implementations. Our results generalize previous approaches that were only valid for the normalized Laplacian of bipartite graphs. Our approach is based on novel graph Fourier transforms (GFTs) given by the generalized eigenvectors of the variation operator. These GFTs are orthogonal in an alternative inner product space which depends on the downsampling and variation operators. Our key theoretical contribution is showing that the spectral folding property of the normalized Laplacian of bipartite graphs, at the core of bipartite filter bank theory, can be generalized for the proposed GFT if the inner product matrix is chosen properly. In addition, we study vertex domain and spectral domain properties of GFBs and illustrate their probabilistic interpretation using Gaussian graphical models. While GFBs can be defined given any choice of a vertex partition for downsampling, we propose an algorithm to optimize these partitions with a criterion that favors balanced partitions with large graph cuts, which are shown to lead to efficient and stable GFB implementations. Our numerical experiments show that partition-optimized GFBs can be implemented efficiently on 3D point clouds with hundreds of thousands of points (nodes), while also improving the color signal representation quality over competing state-of-the-art approaches.


title: Entropy production in longitudinally expanding Yang-Mills field with use of Husimi function$-$semiclassical approximation

abstract: We investigate the possible thermalization process of the highly occupied and weakly coupled Yang-Mills fields expanding along the beam axis through an evaluation of the entropy, particle number, and pressure anisotropy. The time evolution of the system is calculated by solving the equation of motion for the Wigner function in the semiclassical approximation with initial conditions mimicking the glasma. For the evaluation of the entropy, we adopt the Husimi-Wehrl (HW) entropy, which is obtained by using the Husimi function, a positive semidefinite quantum distribution function given by smearing the Wigner function. By numerical calculations at $g=0.1$ and $0.2$, the entropy production is found to occur together with the particle creation in two distinct stages: In the first stage, the particle number and the entropy at low longitudinal momenta grow rapidly. In the second stage, the particle number and the entropy of higher longitudinal momentum modes show slower increase. The pressure anisotropy remains in our simulation and implies that the system is still out-of-equilibrium.


title: Compartmental Models for COVID-19 and Control via Policy Interventions

abstract: We demonstrate an approach to replicate and forecast the spread of the SARS-CoV-2 (COVID-19) pandemic using the toolkit of probabilistic programming languages (PPLs). Our goal is to study the impact of various modeling assumptions and motivate policy interventions enacted to limit the spread of infectious diseases. Using existing compartmental models we show how to use inference in PPLs to obtain posterior estimates for disease parameters. We improve popular existing models to reflect practical considerations such as the under-reporting of the true number of COVID-19 cases and motivate the need to model policy interventions for real-world data. We design an SEI3RD model as a reusable template and demonstrate its flexibility in comparison to other models. We also provide a greedy algorithm that selects the optimal series of policy interventions that are likely to control the infected population subject to provided constraints. We work within a simple, modular, and reproducible framework to enable immediate cross-domain access to the state-of-the-art in probabilistic inference with emphasis on policy interventions. We are not epidemiologists; the sole aim of this study is to serve as an exposition of methods, not to directly infer the real-world impact of policy-making for COVID-19.


title: Optimally Scheduling Public Safety Power Shutoffs

abstract: In an effort to reduce power system-caused wildfires, utilities carry out public safety power shutoffs (PSPS) in which portions of the grid are de-energized to mitigate the risk of ignition. The decision to call a PSPS must balance reducing ignition risks and the negative impact of service interruptions. In this work, we consider three PSPS scheduling scenarios, which we model as dynamic programs. In the first two scenarios, we assume that N PSPSs are budgeted as part of the investment strategy. In the first scenario, a penalty is incurred for each PSPS declared past the Nth event. In the second, we assume that some costs can be recovered if the number of PSPSs is below $N$ while still being subject to a penalty if above N. In the third, the system operator wants to minimize the number of PSPS such that the total expected cost is below a threshold. We provide optimal or asymptotically optimal policies for each case, the first two of which have closed-form expressions. Lastly, we establish the applicability of the first PSPS model's policy to critical-peak pricing, and obtain an optimal scheduling policy to reduce the peak demand based on weather observations.


title: Holomorphic sections of line bundles on the jet spaces of the Riemann sphere

abstract: Fix a point $t_0$ in the circle $S^1$. The space $J^k(t_0, \mathbb{P}^1)$ of $k$-jets at $t_0$ of $C^{\infty}$ maps from $S^1$ to the Riemann sphere $\mathbb{P}^1$ is a $k+1$ dimensional complex algebraic manifold. We identify a class of holomorphic sections of line bundles on $J^k(t_0, \mathbb{P}^1)$.


title: Resonant enhancement of the near-field radiative heat transfer in nanoparticles

abstract: We numerically study the tuning of the radiative heat transfer between a spherical InSb nanoparticle in the vicinity of a flat SiC surface assisted by a static magnetic field. By changing the value of the applied magnetic field, the dielectric function of the nanosphere becomes anisotropic due to the excitation of magneto-plasmons. In the dipolar approximation, the plasmon resonance of the particle splits into two additional satellite resonances that shift to higher and lower frequencies as the field increases. When one of the particle resonances overlaps with the phonon-polariton frequency of the SiC surface, an enhancement of the heat transfer of two orders of magnitude is obtained. To understand the tuning of the radiative heat transfer, we present a detailed analysis of the nature of the modes that can be excited (surface, bulk, and hyperbolic).


title: Null hypersurfaces as wave fronts in Lorentz-Minkowski space

abstract: In this paper, we show that ``$L$-complete null hypersurfaces'' (i.e. ruled hypersurfaces foliated by entirety of light-like lines) as wave fronts in the $(n+1)$-dimensional Lorentz-Minkowski space are canonically induced by hypersurfaces in the $n$-dimensional Euclidean space. As an application, we show that most of null wave fronts can be realized as restrictions of certain $L$-complete null wave fronts. Moreover, we determine $L$-complete null wave fronts whose singular sets are compact.


title: Fully Decentralized, Scalable Gaussian Processes for Multi-Agent Federated Learning

abstract: In this paper, we propose decentralized and scalable algorithms for Gaussian process (GP) training and prediction in multi-agent systems. To decentralize the implementation of GP training optimization algorithms, we employ the alternating direction method of multipliers (ADMM). A closed-form solution of the decentralized proximal ADMM is provided for the case of GP hyper-parameter training with maximum likelihood estimation. Multiple aggregation techniques for GP prediction are decentralized with the use of iterative and consensus methods. In addition, we propose a covariance-based nearest neighbor selection strategy that enables a subset of agents to perform predictions. The efficacy of the proposed methods is illustrated with numerical experiments on synthetic and real data.


title: WASP-35 and HAT-P-30/WASP-51: re-analysis using TESS and ground-based transit photometry

abstract: High-precision transit observations provide excellent opportunities for characterizing the physical properties of exoplanetary systems. These physical properties supply many pieces of information for unvealing the internal structure, external atmosphere, and dynamical history of the planets. We present revised properties of transiting systems WASP-35 and HAT-P-30/WASP-51 through analyzing newly available TESS photometry and ground-based observations obtained at 1m telescope of Yunnan Observatories as well as from the literature. The improved system parameters are consistent with the previous results. Furthermore, we find that HAT-P-30b/WASP-51b's transits show significant timing variation which cannot be explained by decaying orbit due to tidal dissipation and the R\o mer effect, while both apsidal precession and an additional perturbing body could reproduce this signal through our comprehensive dynamical simulations. Because both of them are valuable targets which are suitable for transmission spectroscopy, we make some predictions for atmospheric properties of WASP-35b and HAT-P-30b/WASP-51b based on newly derived system parameters.


title: Diffusion Maps : Using the Semigroup Property for Parameter Tuning

abstract: Diffusion maps (DM) constitute a classic dimension reduction technique, for data lying on or close to a (relatively) low-dimensional manifold embedded in a much larger dimensional space. The DM procedure consists in constructing a spectral parametrization for the manifold from simulated random walks or diffusion paths on the data set. However, DM is hard to tune in practice. In particular, the task to set a diffusion time t when constructing the diffusion kernel matrix is critical. We address this problem by using the semigroup property of the diffusion operator. We propose a semigroup criterion for picking t. Experiments show that this principled approach is effective and robust.


title: De Moivre and Bell polynomials

abstract: We survey a family of polynomials that are very useful in all kinds of power series manipulations, and appearing more frequently in the literature. Applications to formal power series, generating functions and asymptotic expansions are described, and we discuss the related work of De Moivre, Arbogast and Bell.


title: Scaled indium oxide transistors fabricated using atomic layer deposition

abstract: In order to continue to improve integrated circuit performance and functionality, scaled transistors with short channel lengths and low thickness are needed. But the further scaling of silicon-based devices and the development of alternative semiconductor channel materials that are compatible with current fabrication processes is challenging. Here we report atomic-layer-deposited indium oxide transistors with channel lengths down to 8 nm, channel thicknesses down to 0.5 nm and equivalent dielectric oxide thickness down to 0.84 nm. Due to the scaled device dimensions and low contact resistance, the devices exhibit high on-state currents of 3.1 A/mm at a drain voltage of 0.5 V and a transconductance of 1.5 S/mm at a drain voltage 1 V. Our devices are a promising alternative channel material for scaled transistors with back-end-of-line processing compatibility.


title: Nonadiabatic Correction and Adiabatic Criteria of Noninteracting Quantum Dot Systems

abstract: We theoretically study nonadiabatic corrections for charge pumping in a noninteracting electron model of a single-level quantum dot. We derive a formula for the velocity limit of parameter driving to realize adiabatic pumping and illustrate its features in the wide-band limit. We discuss the effect of the nonadiabatic corrections in terms of a typical velocity limit, which is defined by averaging the velocity limits on the parameter contour. We also show that the typical velocity limit vanishes when the adiabaticity breakdown occurs in a quantum dot coupled to reservoirs with a band edge.


title: Winding number and Zak phase in multi-band SSH models

abstract: We use multi-band SSH models to demonstrate a prescription for calculating the correct Zak phase and winding number of multi-band systems. We verify our prescription by comparing the resultant winding number of a four-band SSH model with the edge states of a semi-infinite chain which we find by solving the equation of motion. We then also carry out an extensive comparison with the numerical results obtained by solving the matrix eigenvalue problem of finite chains with various number of sites. As a double check of our prescription, we also confirm the bulk edge correspondence in a six-band SSH model. Similar to the usual SSH model, the winding numbers associated to the left and right boundaries in a finite chain may be different if space inversion symmetry is violated in the system. We believe the prescription we propose here may also be applied to other 1D multi-band systems.


title: The Orthologic of Epistemic Modals

abstract: Epistemic modals have peculiar logical features that are challenging to account for in a broadly classical framework. For instance, while a sentence of the form $p\wedge\Diamond\neg p$ ('$p$, but it might be that not $p$') appears to be a contradiction, $\Diamond\neg p$ does not entail $\neg p$, which would follow in classical logic. Likewise, the classical laws of distributivity and disjunctive syllogism fail for epistemic modals. Existing attempts to account for these facts generally either under- or over-correct. Some predict that $p\wedge\Diamond\neg p$, a so-called epistemic contradiction, is a contradiction only in an etiolated sense, under a notion of entailment that does not always allow us to replace $p\wedge\Diamond\neg p$ with a contradiction; these theories underpredict the infelicity of embedded epistemic contradictions. Other theories savage classical logic, eliminating not just rules that intuitively fail but also rules like non-contradiction, excluded middle, De Morgan's laws, and disjunction introduction, which intuitively remain valid for epistemic modals. In this paper, we aim for a middle ground, developing a semantics and logic for epistemic modals that makes epistemic contradictions genuine contradictions and that invalidates distributivity and disjunctive syllogism but that otherwise preserves classical laws that intuitively remain valid. We start with an algebraic semantics, based on ortholattices instead of Boolean algebras, and then propose a more concrete possibility semantics, based on partial possibilities related by compatibility. Both semantics yield the same consequence relation, which we axiomatize. We then show how to lift an arbitrary possible worlds model for a non-modal language to a possibility model for a language with epistemic modals.


title: New Classes of Facets for Complementarity Knapsack Problems

abstract: The complementarity knapsack problem (CKP) is a knapsack problem with real-valued variables and complementarity conditions between pairs of its variables. We extend the polyhedral studies of De Farias et al. for CKP, by proposing three new families of cutting-planes that are all obtained from a combinatorial concept known as a pack. Sufficient conditions for these inequalities to be facet-defining, based on the concept of a maximal switching pack, are also provided. Moreover, we answer positively a conjecture by de Farias et~al.~about the separation complexity of the inequalities introduced in their work, and propose efficient separation algorithms for our newly defined cutting-planes.


title: Veering branched surfaces, surgeries, and geodesic flows

abstract: We introduce veering branched surfaces as a dual way of studying veering triangulations. We then discuss some surgical operations on veering branched surfaces. Using these, we provide explicit constructions of some veering branched surfaces whose dual veering triangulations correspond to geodesic flows of negatively curved surfaces. We construct these veering branched surfaces on (i) complements of Montesinos links whose double branched covers are unit tangent bundles of negatively curved orbifolds, and (ii) complements of full lifts of filling geodesics in unit tangent bundles of negatively curved surfaces, when the geodesics have no triple intersections and have ($n \geq 4$)-gons as complementary regions. As an application, this provides explicit Markov partitions of geodesic flows on negatively curved surfaces. In an appendix, we classify the drilled unit tangent bundles which admit a veering triangulation corresponding to a geodesic flow, by characterizing when there are no perfect fits.


title: Calder\'on-Zygmund operators on local hardy spaces

abstract: We give necessary and sufficient conditions for inhomogeneous Calder\'on-Zgymund operators to be bounded on the local hardy spaces $h^p(\mathbb{R}^n)$. We then give applications to local and truncated Riesz transforms, as well as pseudo-differential operators defined by amplitudes.


title: Displacement calibration of optical tweezers with absolute gravitational acceleration

abstract: In recent years, levitated particles of optical traps in vacuum have shown enormous potential in precision sensor development and searching for new physics. The accuracy of the calibration relating the detected signal to absolute displacement of the trapped particle is a critical factor for absolute measurement performance. In this paper, we suggest and experimentally demonstrate a novel calibration method for optical tweezers based on free-falling particles in vacuum, where the gravitational acceleration is introduced as an absolute reference. Our work provides a calibration protocol with great certainty and traceability, which is significant in improving the accuracy of precision sensing based on optically levitated particles.


title: MIRROR: Differentiable Deep Social Projection for Assistive Human-Robot Communication

abstract: Communication is a hallmark of intelligence. In this work, we present MIRROR, an approach to (i) quickly learn human models from human demonstrations, and (ii) use the models for subsequent communication planning in assistive shared-control settings. MIRROR is inspired by social projection theory, which hypothesizes that humans use self-models to understand others. Likewise, MIRROR leverages self-models learned using reinforcement learning to bootstrap human modeling. Experiments with simulated humans show that this approach leads to rapid learning and more robust models compared to existing behavioral cloning and state-of-the-art imitation learning methods. We also present a human-subject study using the CARLA simulator which shows that (i) MIRROR is able to scale to complex domains with high-dimensional observations and complicated world physics and (ii) provides effective assistive communication that enabled participants to drive more safely in adverse weather conditions.


title: A Survey for Solving Mixed Integer Programming via Machine Learning

abstract: This paper surveys the trend of leveraging machine learning to solve mixed integer programming (MIP) problems. Theoretically, MIP is an NP-hard problem, and most of the combinatorial optimization (CO) problems can be formulated as the MIP. Like other CO problems, the human-designed heuristic algorithms for MIP rely on good initial solutions and cost a lot of computational resources. Therefore, we consider applying machine learning methods to solve MIP, since ML-enhanced approaches can provide the solution based on the typical patterns from the historical data. In this paper, we first introduce the formulation and preliminaries of MIP and several traditional algorithms to solve MIP. Then, we advocate further promoting the different integration of machine learning and MIP and introducing related learning-based methods, which can be classified into exact algorithms and heuristic algorithms. Finally, we propose the outlook for learning-based MIP solvers, direction towards more combinatorial optimization problems beyond MIP, and also the mutual embrace of traditional solvers and machine learning components.


title: Tunable Majorana corner modes by orbital-dependent exchange interaction in a two-dimensional topological superconductor

abstract: We theoretically study the effect of orbital-dependent exchange field in the formation of second order topological superconductors. We demonstrate that changing the orbital difference can induce topological transition and the Majorana corner modes therein can be manipulated. We further propose to detect the corner modes via a normal probe terminal. The conductance quantization is found to be robust to changes of the relevant system parameters.


title: Robust Estimation of Covariance Matrices: Adversarial Contamination and Beyond

abstract: We consider the problem of estimating the covariance structure of a random vector $Y\in \mathbb R^d$ from a sample $Y_1,\ldots,Y_n$. We are interested in the situation when $d$ is large compared to $n$ but the covariance matrix $\Sigma$ of interest has (exactly or approximately) low rank. We assume that the given sample is (a) $\epsilon$-adversarially corrupted, meaning that $\epsilon$ fraction of the observations could have been replaced by arbitrary vectors, or that (b) the sample is i.i.d. but the underlying distribution is heavy-tailed, meaning that the norm of $Y$ possesses only finite fourth moments. We propose an estimator that is adaptive to the potential low-rank structure of the covariance matrix as well as to the proportion of contaminated data, and admits tight deviation guarantees despite rather weak assumptions on the underlying distribution. Finally, we discuss the algorithms that allow to approximate the proposed estimator in a numerically efficient way.


title: Image Encryption using fractional integral transforms: Vulnerabilities, threats and future scope

abstract: With the enormous usage of digital media in almost every sphere from education to entertainment, the security of sensitive information has been a concern. As images are the most frequently used means to convey information, therefore the issue related to the privacy preservation needs to be addressed in each of the application domains. There are various security methods proposed by researchers from time to time. This paper presents a review of various image encryption schemes based on fractional integral transform. As the fractional integral transforms have evolved through their applications from optical signal processing to digital signal and digital image processing over the decades. In this article, we have adopted an architecture and corresponding domain-based taxonomy to classify various existing schemes in the literature. The schemes are classified according to the implementation platform, that may be an optical setup comprising of the Spatial modulators, lenses and charged coupled devices or it can be a mathematical modelling of such transforms. Various schemes are classified according to the methodology adopted in each of them and a comparative analysis is also presented in tabular form. Based on the observations, the work is converged into a summary of various challenges and some constructive guidelines are provided for consideration in future works. Such a narrative review of encryption algorithm based on various architectural schematics in fractional integral transforms has not been presented before at one place.


title: RGB-D SLAM in Indoor Planar Environments with Multiple Large Dynamic Objects

abstract: This work presents a novel dense RGB-D SLAM approach for dynamic planar environments that enables simultaneous multi-object tracking, camera localisation and background reconstruction. Previous dynamic SLAM methods either rely on semantic segmentation to directly detect dynamic objects; or assume that dynamic objects occupy a smaller proportion of the camera view than the static background and can, therefore, be removed as outliers. Our approach, however, enables dense SLAM when the camera view is largely occluded by multiple dynamic objects with the aid of camera motion prior. The dynamic planar objects are separated by their different rigid motions and tracked independently. The remaining dynamic non-planar areas are removed as outliers and not mapped into the background. The evaluation demonstrates that our approach outperforms the state-of-the-art methods in terms of localisation, mapping, dynamic segmentation and object tracking. We also demonstrate its robustness to large drift in the camera motion prior.


title: The Power of Multiple Choices in Online Stochastic Matching

abstract: We study the power of multiple choices in online stochastic matching. Despite a long line of research, existing algorithms still only consider two choices of offline neighbors for each online vertex because of the technical challenge in analyzing multiple choices. This paper introduces two approaches for designing and analyzing algorithms that use multiple choices. For unweighted and vertex-weighted matching, we adopt the online correlated selection (OCS) technique into the stochastic setting, and improve the competitive ratios to $0.716$, from $0.711$ and $0.7$ respectively. For edge-weighted matching with free disposal, we propose the Top Half Sampling algorithm. We directly characterize the progress of the whole matching instead of individual vertices, through a differential inequality. This improves the competitive ratio to $0.706$, breaking the $1-\frac{1}{e}$ barrier in this setting for the first time in the literature. Finally, for the harder edge-weighted problem without free disposal, we prove that no algorithms can be $0.703$ competitive, separating this setting from the aforementioned three.


title: Towards Self-Supervised Category-Level Object Pose and Size Estimation

abstract: In this work, we tackle the challenging problem of category-level object pose and size estimation from a single depth image. Although previous fully-supervised works have demonstrated promising performance, collecting ground-truth pose labels is generally time-consuming and labor-intensive. Instead, we propose a label-free method that learns to enforce the geometric consistency between category template mesh and observed object point cloud under a self-supervision manner. Specifically, our method consists of three key components: differentiable shape deformation, registration, and rendering. In particular, shape deformation and registration are applied to the template mesh to eliminate the differences in shape, pose and scale. A differentiable renderer is then deployed to enforce geometric consistency between point clouds lifted from the rendered depth and the observed scene for self-supervision. We evaluate our approach on real-world datasets and find that our approach outperforms the simple traditional baseline by large margins while being competitive with some fully-supervised approaches.


title: Hubble Space Telescope Captures UGC~12591: Bulge/Disc Properties, Star Formation and `Missing Baryons' Census in a Very Massive and Fast Spinning Hybrid Galaxy

abstract: We present Hubble Space Telescope (HST) observations of the nearby, massive, highly rotating hybrid galaxy UGC~12591, along with observations in UV to FIR bands. HST data in V, I, and H bands is used to disentangle the structural components. Surface photometry shows a dominance of the bulge over the disc with H-band B/D ratio of $69\%$. The spectral energy distribution (SED) fitting reveals an extremely low global star formation rate (SFR) of $\rm\sim0.1-0.2 M_\odot yr^{-1}$, exceptionally low for the galaxy's huge stellar mass of $\rm 1.6\times10^{11}M_\odot$, implying a strong quenching of its SFR with star formation efficiency of $3-5\%$. For at least the past $\rm 10^{8}$ years, the galaxy has remained in a quiescent state as a sterile, `red and dead' galaxy. UGC~12591 hosts a supermassive black hole (SMBH) of $\rm 6.18\times 10^{8} M_\odot$ which is possibly quiescent at present, i.e. neither we see large ($\rm>1 kpc$) radio jets nor is the SMBH contributing significantly to the mid-IR SED, ruling out strong radiative feedback of AGN. We obtained a detailed census of all observable baryons with a total mass of $\rm 6.46\times10^{11} M_\odot$ within the virial radius, amounting to a baryonic deficiency of $\sim$$85\%$ relative to the cosmological mean. Only a small fraction of these baryons resides in a warm/hot circum-galactic X-ray halo, while the majority are still unobservable. We discussed various astrophysical scenarios to explain its unusual properties. Our work is a major step forward in understanding the assembly history of such extremely massive, isolated galaxies.


title: Strong Determinism

abstract: A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), ''it is not just a matter of the future being determined by the past; the entire history of the universe is fixed, according to some precise mathematical scheme, for all time.'' Such an extraordinary feature may appear unattainable in a world like ours. In this paper, I show that it can be achieved in a simple way and discuss its implications for metaphysics and philosophy of science, including natural properties, free will, explanation, and modality. First, I propose a precise definition of strong determinism. Next, I discuss its philosophical ramifications and a toy example. Finally, I provide a realistic example of a strongly deterministic (and simple) physical theory -- the Everettian Wentaculus. A surprising consequence is that whether or not our world is strongly deterministic may be empirically underdetermined.


title: Minimum Cost Multicuts for Incorrect Landmark Edge Detection in Pose-graph SLAM

abstract: Pose-graph SLAM is the de facto standard framework for constructing large-scale maps from multi-session experiences of relative observations and motions during visual robot navigation. It has received increasing attention in the context of recent advanced SLAM frameworks such as graph neural SLAM. One remaining challenge is landmark misrecognition errors (i.e., incorrect landmark edges) that can have catastrophic effects on the inferred pose-graph map. In this study, we present comprehensive criteria to maximize global consistency in the pose graph using a new robust graph cut technique. Our key idea is to formulate the problem as a minimum-cost multi-cut that enables us to optimize not only landmark correspondences but also the number of landmarks while allowing for a varying number of landmarks. This makes our proposed approach invariant against the type of landmark measurement, graph topology, and metric information, such as the speed of the robot motion. The proposed graph cut technique was integrated into a practical SLAM framework and verified experimentally using the public NCLT dataset.


title: An inverse boundary value problem arising in nonlinear acoustics

abstract: We consider an inverse problem arising in nonlinear ultrasound imaging. The propagation of ultrasound waves is modeled by a quasilinear wave equation. We make measurements at the boundary of the medium encoded in the Dirichlet-to-Neumann map, and we show that these measurements determine the nonlinearity.


title: Focus on the Target's Vocabulary: Masked Label Smoothing for Machine Translation

abstract: Label smoothing and vocabulary sharing are two widely used techniques in neural machine translation models. However, we argue that simply applying both techniques can be conflicting and even leads to sub-optimal performance. When allocating smoothed probability, original label smoothing treats the source-side words that would never appear in the target language equally to the real target-side words, which could bias the translation model. To address this issue, we propose Masked Label Smoothing (MLS), a new mechanism that masks the soft label probability of source-side words to zero. Simple yet effective, MLS manages to better integrate label smoothing with vocabulary sharing. Our extensive experiments show that MLS consistently yields improvement over original label smoothing on different datasets, including bilingual and multilingual translation from both translation quality and model's calibration. Our code is released at https://github.com/PKUnlp-icler/MLS


title: Progress and prospects in magnetic topological materials

abstract: Magnetic topological materials represent a class of compounds whose properties are strongly influenced by the topology of the electronic wavefunctions coupled with the magnetic spin configuration. Such materials can support chiral electronic channels of perfect conduction, and can be used for an array of applications from information storage and control to dissipationless spin and charge transport. Here, we review the theoretical and experimental progress achieved in the field of magnetic topological materials beginning with the theoretical prediction of the Quantum Anomalous Hall Effect without Landau levels, and leading to the recent discoveries of magnetic Weyl semimetals and antiferromagnetic topological insulators. We outline the recent theoretical progress that resulted in the tabulation, for the first time, of all magnetic symmetry group representations and topology. We describe several experiments realizing Chern insulators, Weyl and Dirac magnetic semimetals, and an array of axionic and higher-order topological phases of matter as well as survey future perspectives.


title: Multi-class Token Transformer for Weakly Supervised Semantic Segmentation

abstract: This paper proposes a new transformer-based framework to learn class-specific object localization maps as pseudo labels for weakly supervised semantic segmentation (WSSS). Inspired by the fact that the attended regions of the one-class token in the standard vision transformer can be leveraged to form a class-agnostic localization map, we investigate if the transformer model can also effectively capture class-specific attention for more discriminative object localization by learning multiple class tokens within the transformer. To this end, we propose a Multi-class Token Transformer, termed as MCTformer, which uses multiple class tokens to learn interactions between the class tokens and the patch tokens. The proposed MCTformer can successfully produce class-discriminative object localization maps from class-to-patch attentions corresponding to different class tokens. We also propose to use a patch-level pairwise affinity, which is extracted from the patch-to-patch transformer attention, to further refine the localization maps. Moreover, the proposed framework is shown to fully complement the Class Activation Mapping (CAM) method, leading to remarkably superior WSSS results on the PASCAL VOC and MS COCO datasets. These results underline the importance of the class token for WSSS.


title: Watch from sky: machine-learning-based multi-UAV network for predictive police surveillance

abstract: This paper presents the watch-from-sky framework, where multiple unmanned aerial vehicles (UAVs) play four roles, i.e., sensing, data forwarding, computing, and patrolling, for predictive police surveillance. Our framework is promising for crime deterrence because UAVs are useful for collecting and distributing data and have high mobility. Our framework relies on machine learning (ML) technology for controlling and dispatching UAVs and predicting crimes. This paper compares the conceptual model of our framework against the literature. It also reports a simulation of UAV dispatching using reinforcement learning and distributed ML inference over a lossy UAV network.


title: Stellar collisions in globular clusters: the origin of multiple stellar populations

abstract: Two generations of stars, G1 and G2, typically populate Galactic globular clusters (GCs). The origin of G2 stars is unclear. We uncover two empirical dependencies between GC characteristics, which can be explained by the formation of G2 Main-Sequence (MS) stars due to collision\merging of their primordial counterparts (G1). A similar genesis of both G2 stars and peculiar objects like LMXBs and millisecond pulsars is also implied. Indeed, we find a significant (at a confidence level > 99,9%) anti-correlation between the fraction of G1 red giants ($N_{G1}/N_{tot}$) and stellar encounter rates among 51 GCs. Moreover, a Milky Way-like initial mass function (IMF) requires at least ~50% of MS stars located in the mass range [0.1-0.5] $M\odot$. Unlike cluster mass loss, stellar collisions\merging retain these G1 stars by converting them into more massive G2 ones, with mainly M_ms > 0.5 $M\odot$. This process coupled with a decreasing relative mass loss with increasing GC masses implies a smaller ($N_{G1}/N_{tot}$) in more massive GCs with a shallower present day MF. From data for 35 GCs, we find that such an anti-correlation is significant at 98.3% confidence level (Spearman's correlation) for 12 most massive GCs ($M_{GC} > 10^{5.3}$) and it is at a confidence level of 89% for the 12 least massive GCs ($M_{GC} < 10^{5.1} M_\odot$). Other fractions of G1 and G2 stars observed at the bottom of the MS as compared with the red giant branch in a few GCs are consistent with the scenario proposed.


title: A Multi-Document Coverage Reward for RELAXed Multi-Document Summarization

abstract: Multi-document summarization (MDS) has made significant progress in recent years, in part facilitated by the availability of new, dedicated datasets and capacious language models. However, a standing limitation of these models is that they are trained against limited references and with plain maximum-likelihood objectives. As for many other generative tasks, reinforcement learning (RL) offers the potential to improve the training of MDS models; yet, it requires a carefully-designed reward that can ensure appropriate leverage of both the reference summaries and the input documents. For this reason, in this paper we propose fine-tuning an MDS baseline with a reward that balances a reference-based metric such as ROUGE with coverage of the input documents. To implement the approach, we utilize RELAX (Grathwohl et al., 2018), a contemporary gradient estimator which is both low-variance and unbiased, and we fine-tune the baseline in a few-shot style for both stability and computational efficiency. Experimental results over the Multi-News and WCEP MDS datasets show significant improvements of up to +0.95 pp average ROUGE score and +3.17 pp METEOR score over the baseline, and competitive results with the literature. In addition, they show that the coverage of the input documents is increased, and evenly across all documents.


title: The Synthetic Hilbert Space of Laser-Driven Free-Electrons

abstract: Recent advances in laser interactions with coherent free electrons have enabled to shape the electron's quantum state. Each electron becomes a superposition of energy levels on an infinite quantized ladder, shown to contain up to thousands of energy levels. We propose to utilize the quantum nature of such laser-driven free electrons as a "synthetic Hilbert space" in which we construct and control qudits (quantum digits). The question that motivates our work is what qudit states can be accessed using electron-laser interactions, and whether it is possible to implement any arbitrary quantum gate. We find how to encode and manipulate free-electron qudit states, focusing on dimensions which are powers of 2, where the qudit represents multiple qubits implemented on the same single electron - algebraically separated, but physically joined. As an example, we prove the possibility to fully control a 4-dimenisonal qudit, and reveal the steps required for full control over any arbitrary dimension. Our work enriches the range of applications of free electrons in microscopy and spectroscopy, offering a new platform for continuous-variable quantum information.


title: Depthwise Convolution for Multi-Agent Communication with Enhanced Mean-Field Approximation

abstract: Multi-agent settings remain a fundamental challenge in the reinforcement learning (RL) domain due to the partial observability and the lack of accurate real-time interactions across agents. In this paper, we propose a new method based on local communication learning to tackle the multi-agent RL (MARL) challenge within a large number of agents coexisting. First, we design a new communication protocol that exploits the ability of depthwise convolution to efficiently extract local relations and learn local communication between neighboring agents. To facilitate multi-agent coordination, we explicitly learn the effect of joint actions by taking the policies of neighboring agents as inputs. Second, we introduce the mean-field approximation into our method to reduce the scale of agent interactions. To more effectively coordinate behaviors of neighboring agents, we enhance the mean-field approximation by a supervised policy rectification network (PRN) for rectifying real-time agent interactions and by a learnable compensation term for correcting the approximation bias. The proposed method enables efficient coordination as well as outperforms several baseline approaches on the adaptive traffic signal control (ATSC) task and the StarCraft II multi-agent challenge (SMAC).


title: Tail variational principle and asymptotic $h$-expansiveness for amenable group actions

abstract: In this paper we prove the tail variational principle for actions of countable amenable groups. This allows us to extend some characterizations of asymptotic $h$-expansiveness from $\mathbb{Z}$-actions to actions of countable amenable groups.


title: Divide and Conquer: Text Semantic Matching with Disentangled Keywords and Intents

abstract: Text semantic matching is a fundamental task that has been widely used in various scenarios, such as community question answering, information retrieval, and recommendation. Most state-of-the-art matching models, e.g., BERT, directly perform text comparison by processing each word uniformly. However, a query sentence generally comprises content that calls for different levels of matching granularity. Specifically, keywords represent factual information such as action, entity, and event that should be strictly matched, while intents convey abstract concepts and ideas that can be paraphrased into various expressions. In this work, we propose a simple yet effective training strategy for text semantic matching in a divide-and-conquer manner by disentangling keywords from intents. Our approach can be easily combined with pre-trained language models (PLM) without influencing their inference efficiency, achieving stable performance improvements against a wide range of PLMs on three benchmarks.


title: Two dynamical generated $a_0$ resonances by interactions between vector mesons

abstract: We study dynamically generated $a_0$ resonances by interactions between vector mesons including their coupling to channels of pseudoscalar mesons within coupled-channel approach. Both vector and pseudoscalar mesons are considered as $t$-channel exchanged mesons for calculating interactions between vector mesons. Analogous to $a_0(980)$ as a $K\bar K-\pi\eta$ dynamically generated state, there is an $a_0(1710)$ as a coupled channel dynamically generated state near $K^*\bar{K}^*$ threshold. The channels involved are $\rho\phi,K^*\bar{K}^*,\rho\omega, K\bar{K},\pi\eta$. This $a_0$ mainly decays to $\rho\omega$, $\pi\eta$ and $K\bar{K}$. This pole is much tied to the coupled channel effect. If we turn off either $\rho\phi$ or $K^*\bar{K}^*$, the pole disappears. In addition, it is found that $a_0(1450)$ may also be dynamically generated by $\rho\omega$ interactions due to $\pi$ and $\eta$ exchange.


title: Almost cyclic regular elements in irreducible representations of simple algebraic groups

abstract: Let $G$ be a simple linear algebraic group defined over an algebraically closed field of characteristic $p\geq 0$ and let $\phi$ be a $p$-restricted irreducible representation of $G$. Let $T$ be a maximal torus of $G$ and $s\in T$. We say that $s$ is strongly regular if $\alpha(s)\ne\beta(s)$ for all distinct $T$-roots $\alpha$ and $\beta$ of $G$. Our main result states that if all but one of the eigenvalues of $\phi(s)$ are of multiplicity 1 then, with a few specified exceptions, $s$ is strongly regular. This can be viewed as an extension of our earlier result saying that under the same hypotheses, $s$ must be regular and all non-zero weights of $\phi$ are of multiplicity 1.


title: A Robust Framework of Chromosome Straightening with ViT-Patch GAN

abstract: Chromosomes carry the genetic information of humans. They exhibit non-rigid and non-articulated nature with varying degrees of curvature. Chromosome straightening is an important step for subsequent karyotype construction, pathological diagnosis and cytogenetic map development. However, robust chromosome straightening remains challenging, due to the unavailability of training images, distorted chromosome details and shapes after straightening, as well as poor generalization capability. In this paper, we propose a novel architecture, ViT-Patch GAN, consisting of a self-learned motion transformation generator and a Vision Transformer-based patch (ViT-Patch) discriminator. The generator learns the motion representation of chromosomes for straightening. With the help of the ViT-Patch discriminator, the straightened chromosomes retain more shape and banding pattern details. The experimental results show that the proposed method achieves better performance on Fr\'echet Inception Distance (FID), Learned Perceptual Image Patch Similarity (LPIPS) and downstream chromosome classification accuracy, and shows excellent generalization capability on a large dataset.


title: Domain Adaptation with Factorizable Joint Shift

abstract: Existing domain adaptation (DA) usually assumes the domain shift comes from either the covariates or the labels. However, in real-world applications, samples selected from different domains could have biases in both the covariates and the labels. In this paper, we propose a new assumption, Factorizable Joint Shift (FJS), to handle the co-existence of sampling bias in covariates and labels. Although allowing for the shift from both sides, FJS assumes the independence of the bias between the two factors. We provide theoretical and empirical understandings about when FJS degenerates to prior assumptions and when it is necessary. We further propose Joint Importance Aligning (JIA), a discriminative learning objective to obtain joint importance estimators for both supervised and unsupervised domain adaptation. Our method can be seamlessly incorporated with existing domain adaptation algorithms for better importance estimation and weighting on the training data. Experiments on a synthetic dataset demonstrate the advantage of our method.


title: Geometric Hermite Interpolation in $\mathbb{R}^n$ by Refinements

abstract: We describe a general approach for constructing a broad class of operators approximating high-dimensional curves based on geometric Hermite data. The geometric Hermite data consists of point samples and their associated tangent vectors of unit length. Extending the classical Hermite interpolation of functions, this geometric Hermite problem has become popular in recent years and has ignited a series of solutions in the 2D plane and 3D space. Here, we present a method for approximating curves, which is valid in any dimension. A basic building block of our approach is a Hermite average - a notion introduced in this paper. We provide an example of such an average and show, via an illustrative interpolating subdivision scheme, how the limits of the subdivision scheme inherit geometric properties of the average. Finally, we prove the convergence of this subdivision scheme, whose limit interpolates the geometric Hermite data and approximates the sampled curve. We conclude the paper with various numerical examples that elucidate the advantages of our approach.


title: Isometric Embeddings of Bounded Metric Spaces into the Gromov-Hausdorff Class

abstract: It is shown that any bounded metric space can be isometrically embedded into the Gromov--Hausdorff metric class GH. This result is a consequence of local geometry description of the class GH in a sufficiently small neighborhood of a generic metric space. This description is interesting in itself. The technique of optimal correspondences and their distortions is used.


title: Solve single photon detector problems

abstract: Single photon detector(SPD) problems arise in most quantum tasks, especially for measuring states going through high-lost channels. They are particularly prominent in quantum key distribution(QKD), which could be the most significant application in quantum information theory. In recent years, QKD distance has been improved dramatically but is still restricted because the bit error rate(QBER) caused by SPD dark counts will be out of control as the distance increases. If this problem can be solved, QKD can be implemented over arbitrarily long distances. However, previous solutions often result in impractical requirements such as superconductors while they can only reduce the dark count rate to finite low levels. In this paper, we solve SPD problems with today's technologies only. Although it is the no-cloning theorem that prevents a state from being measured multiple times to obtain a more reliable result, we propose a scheme circumventing the no-cloning theorem in certain tasks to allow a single state to be employed several times. The scheme demonstrates that imperfect detectors can provide nearly perfect results, namely, the QBER caused by dark counts can be reduced to arbitrarily low while in the meantime, detective efficiency can be improved to arbitrarily high. Consequently, QKD distance is not limited by the imperfect SPD anymore and can be improved from hundreds of kilometers to thousands without high-technology detectors. Furthermore, similar schemes can be applied for reducing measurement errors or improving the performance of sources. Finally, it is worth noting that although the paper is mainly discussed in the context of QKD, our scheme is an independent scheme that could be employed in other protocols wherever SPD are employed.


title: foREST: A Tree-based Approach for Fuzzing RESTful APIs

abstract: Representational state transfer (REST) is a widely employed architecture by web applications and cloud. Users can invoke such services according to the specification of their application interfaces, namely RESTful APIs. Existing approaches for fuzzing RESTful APIs are generally based on classic API-dependency graphs. However, such dependencies are inefficient for REST services due to the explosion of dependencies among APIs. In this paper, we propose a novel tree-based approach that can better capture the essential dependencies and largely improve the efficiency of RESTful API fuzzing. In particular, the hierarchical information of the endpoints across multiple APIs enables us to construct an API tree, and the relationships of tree nodes can indicate the priority of resource dependencies, \textit{e.g.,} it's more likely that a node depends on its parent node rather than its offspring or siblings. In the evaluation part, we first confirm that such a tree-based approach is more efficient than traditional graph-based approaches. We then apply our tool to fuzz two real-world RESTful services and compare the performance with two state-of-the-art tools, EvoMaster and RESTler. Our results show that foREST can improve the code coverage in all experiments, ranging from 11.5\% to 82.5\%. Besides, our tool finds 11 new bugs previously unknown.


title: A new infinite family of irregular algebraic surfaces with canonical map of degree 8

abstract: In this note we construct an unlimited family of irregular algebraic surfaces of general type with canonical map of degree $ 8 $, irregularity $ 1 $ and arbitrarily large geometric genus such that the image of the canonical map is not a surface of minimal degree.


title: Polarized Images of Synchrotron Radiations in Curved Spacetime

abstract: In this work, we derive two formulas encoding the polarization direction and luminosity of synchrotron radiations from the moving electrons in curved spacetime under the geometric optics approximation. As an application, we further study the polarized images of synchrotron radiations from electron sources in Schwarzschild black hole spacetime with a vertical and uniform magnetic field. In particular, by focusing on the circular orbits of electrons on the equatorial plane, we show the polarized images of the synchrotron radiations from these orbits for different observational angles and discuss the variations of the polarization directions concerning the angles.


title: Self-supervised Image-specific Prototype Exploration for Weakly Supervised Semantic Segmentation

abstract: Weakly Supervised Semantic Segmentation (WSSS) based on image-level labels has attracted much attention due to low annotation costs. Existing methods often rely on Class Activation Mapping (CAM) that measures the correlation between image pixels and classifier weight. However, the classifier focuses only on the discriminative regions while ignoring other useful information in each image, resulting in incomplete localization maps. To address this issue, we propose a Self-supervised Image-specific Prototype Exploration (SIPE) that consists of an Image-specific Prototype Exploration (IPE) and a General-Specific Consistency (GSC) loss. Specifically, IPE tailors prototypes for every image to capture complete regions, formed our Image-Specific CAM (IS-CAM), which is realized by two sequential steps. In addition, GSC is proposed to construct the consistency of general CAM and our specific IS-CAM, which further optimizes the feature representation and empowers a self-correction ability of prototype exploration. Extensive experiments are conducted on PASCAL VOC 2012 and MS COCO 2014 segmentation benchmark and results show our SIPE achieves new state-of-the-art performance using only image-level labels. The code is available at https://github.com/chenqi1126/SIPE.


title: Exploring Dual-task Correlation for Pose Guided Person Image Generation

abstract: Pose Guided Person Image Generation (PGPIG) is the task of transforming a person image from the source pose to a given target pose. Most of the existing methods only focus on the ill-posed source-to-target task and fail to capture reasonable texture mapping. To address this problem, we propose a novel Dual-task Pose Transformer Network (DPTN), which introduces an auxiliary task (i.e., source-to-source task) and exploits the dual-task correlation to promote the performance of PGPIG. The DPTN is of a Siamese structure, containing a source-to-source self-reconstruction branch, and a transformation branch for source-to-target generation. By sharing partial weights between them, the knowledge learned by the source-to-source task can effectively assist the source-to-target learning. Furthermore, we bridge the two branches with a proposed Pose Transformer Module (PTM) to adaptively explore the correlation between features from dual tasks. Such correlation can establish the fine-grained mapping of all the pixels between the sources and the targets, and promote the source texture transmission to enhance the details of the generated target images. Extensive experiments show that our DPTN outperforms state-of-the-arts in terms of both PSNR and LPIPS. In addition, our DPTN only contains 9.79 million parameters, which is significantly smaller than other approaches. Our code is available at: https://github.com/PangzeCheung/Dual-task-Pose-Transformer-Network.


title: Optimal control of a nonsmooth PDE arising in the modeling of shear-thickening fluids

abstract: This paper focuses on the analysis of an optimal control problem governed by a nonsmooth quasilinear partial differential equation that models a stationary incompressible shear-thickening fluid. We start by studying the directional differentiability of the non-smooth term within the state equation as a prior step to demonstrate the directional differentiability of the solution operator. Thereafter, we establish a primal first order necessary optimality condition (Bouligand (B) stationarity), which is derived from the directional differentiability of the solution operator. By using a local regularization of the nonsmooth term and carrying out an asymptotic analysis thereafter, we rigourously derive a weak stationarity system for local minima. By combining the B- and weak stationarity conditions, and using the regularity of the Lagrange multiplier, we are able to obtain a strong stationarity system that includes an inequality for the scalar product between the symmetrized gradient of the state and the Lagrange multiplier.


title: Graph Neural Network Enhanced Language Models for Efficient Multilingual Text Classification

abstract: Online social media works as a source of various valuable and actionable information during disasters. These information might be available in multiple languages due to the nature of user generated content. An effective system to automatically identify and categorize these actionable information should be capable to handle multiple languages and under limited supervision. However, existing works mostly focus on English language only with the assumption that sufficient labeled data is available. To overcome these challenges, we propose a multilingual disaster related text classification system which is capable to work under \{mono, cross and multi\} lingual scenarios and under limited supervision. Our end-to-end trainable framework combines the versatility of graph neural networks, by applying over the corpus, with the power of transformer based large language models, over examples, with the help of cross-attention between the two. We evaluate our framework over total nine English, Non-English and monolingual datasets in \{mono, cross and multi\} lingual classification scenarios. Our framework outperforms state-of-the-art models in disaster domain and multilingual BERT baseline in terms of Weighted F$_1$ score. We also show the generalizability of the proposed model under limited supervision.


title: Delorme's intertwining conditions for sections of homogeneous vector bundles on two and three dimensional hyperbolic spaces

abstract: The description of the Paley-Wiener space for compactly supported smooth functions $C^\infty_c(G)$ on a semi-simple Lie group $G$ involves certain intertwining conditions that are difficult to handle. In the present paper, we make them completely explicit for $G=\mathbf{SL}(2,\mathbb{R})^d$ ($d\in \mathbb{N}$) and $G=\mathbf{SL}(2,\mathbb{C})$. Our results are based on a defining criterion for the Paley-Wiener space, valid for general groups of real rank one, that we derive from Delorme's proof of the Paley-Wiener theorem. In a forthcoming paper, we will show how these results can be used to study solvability of invariant differential operators between sections of homogeneous vector bundles over the corresponding symmetric spaces.


title: Haake-Lewenstein-Wilkens approach to spin-glasses revisited

abstract: We revisit the Haake-Lewenstein-Wilkens (HLW) approach to Edwards-Anderson (EA) model of Ising spin glass [Phys. Rev. Lett. 55, 2606 (1985)]. This approach consists in evaluation and analysis of the probability distribution of configurations of two replicas of the system, averaged over quenched disorder. This probability distribution generates squares of thermal copies of spin variables from the two copies of the systems, averaged over disorder, that is the terms that enter the standard definition of the original EA order parameter, qEA. We use saddle point/steepest descent method to calculate the average of the Gaussian disorder in higher dimensions. This approximate result suggest that qEA >0 at 0 <T <Tc in 3D and 4D. The case of 2D seems to be a little more subtle, since in the present approach energy increase for a domain wall competes with boundary/edge effects more strongly in 2D; still our approach predicts spin glass order at sufficiently low temperature. We speculate, how these predictions confirm/contradict widely spread opinions that: i) There exist only one (up to the spin flip) ground state in EA model in 2D, 3D and 4D; ii) There is (no) spin glass transition in 3D and 4D (2D). This paper is dedicated to the memories of Fritz Haake and Marek Cieplak.


title: Intense, wideband optical waveform generation by self-balanced amplification of fiber electro-optical sideband modulation

abstract: We demonstrate a simple method to obtain accurate optical waveforms with a GHz-level programmable modulation bandwidth and Watt-level output power for wideband optical control of free atoms and molecules. Arbitrary amplitude and phase modulations are transferred from microwave to light with a low-power fiber electro-optical modulator. The sub-milliWatt optical sideband is co-amplified with the optical carrier in a power-balanced fashion through a tapered semiconductor amplifier (TSA). By automatically keeping TSA near saturation in a quasi-continuous manner, typical noise channels associated with pulsed high-gain amplifications are efficiently suppressed. As an example application, we demonstrate interleaved cooling and trapping of two rubidium isotopes with coherent nanosecond pulses.


title: PanFormer: a Transformer Based Model for Pan-sharpening

abstract: Pan-sharpening aims at producing a high-resolution (HR) multi-spectral (MS) image from a low-resolution (LR) multi-spectral (MS) image and its corresponding panchromatic (PAN) image acquired by a same satellite. Inspired by a new fashion in recent deep learning community, we propose a novel Transformer based model for pan-sharpening. We explore the potential of Transformer in image feature extraction and fusion. Following the successful development of vision transformers, we design a two-stream network with the self-attention to extract the modality-specific features from the PAN and MS modalities and apply a cross-attention module to merge the spectral and spatial features. The pan-sharpened image is produced from the enhanced fused features. Extensive experiments on GaoFen-2 and WorldView-3 images demonstrate that our Transformer based model achieves impressive results and outperforms many existing CNN based methods, which shows the great potential of introducing Transformer to the pan-sharpening task. Codes are available at https://github.com/zhysora/PanFormer.


title: Intertwining of Complementary Thue-Morse Factors

abstract: We consider the positions of occurrences of a factor $x$ and its binary complement $\overline{x}$ in the Thue-Morse word ${\bf t} = {\tt 01101001} \cdots$, and show that these occurrences are "intertwined" in essentially two different ways. Our proof method consists of stating the needed properties as a first-order logic formula $\varphi$, and then using a theorem-prover to prove $\varphi$.


title: Lipschitz and H\"older stable determination of nonlinear terms for elliptic equations

abstract: We consider the inverse problem of determining some class of nonlinear terms appearing in an elliptic equation from boundary measurements. More precisely, we study the stability issue for this class of inverse problems. Under suitable assumptions, we prove a Lipschitz and a H\"older stability estimate associated with the determination of quasilinear and semilinear terms appearing in this class of elliptic equations from measurements restricted to an arbitrary parts of the boundary of the domain. Besides their mathematical interest, our stability estimates can be useful for improving numerical reconstruction of this class of nonlinear terms. Our approach combines the linearization technique with applications of suitable class of singular solutions.


title: Probing two Higgs oscillations in a one-dimensional Fermi superfluid with Raman-type spin-orbit coupling

abstract: We theoretically investigate the Higgs oscillation in a one-dimensional Raman-type spin-orbit-coupled Fermi superfluid with the time-dependent Bogoliubov-de Gennes equations. By linearly ramping or abruptly changing the effective Zeeman field in both the Bardeen-Cooper-Schrieffer state and the topological superfluid state, we find the amplitude of the order parameter exhibits an oscillating behaviour over time with two different frequencies (i.e., two Higgs oscillations) in contrast to the single one in a conventional Fermi superfluid. The observed period of oscillations has a great agreement with the one calculated using the previous prediction [Volkov and Kogan, J. Exp. Theor. Phys. 38, 1018 (1974)], where the oscillating periods are now determined by the minimums of two quasi-particle spectrum in this system. We further verify the existence of two Higgs oscillations using a periodic ramp strategy with theoretically calculated driving frequency. Our predictions would be useful for further theoretical and experimental studies of these Higgs oscillations in spin-orbit-coupled systems.


title: Toward inertial sensing with a monochromatic $ 2^3 S $ positronium beam

abstract: In this work, we discuss the possibility of inertial sensing with positronium in the $2^3 S$ metastable state for the measurement of optical dipole, relativistic and gravitational forces on a purely leptonic matter-antimatter system. Starting from the characteristics of an available $2^3 S$ beam, we estimate the time necessary to measure accelerations ranging from $\sim10^5$ $m/s^2$ to 9.1 $m/s^2$ with two different inertial sensitive devices: a classical moir\'e deflectometer and a Mach-Zehnder interferometer. The sensitivity of the Mach-Zehnder interferometer has been estimated to be several tens of times better than that of the moir\'e deflectometer, for the same measurement time.\\ Different strategies to strengthen the $2^3 S$ beam flux and to improve the sensitivity of the devices are proposed and analyzed. Among them, the most promising are reducing the divergence of the positronium beam through 2D laser Doppler cooling and coherent positronium Raman excitation from the ground state to the $2^3 S$ level. If implemented, these improvements promise to result in the time required to measure an acceleration of 9.1 $m/s^2$ of few weeks and 100 $m/s^2$ of a few hours. Different detection schemes for resolving the fringe pattern shift generated on $2^3 S$ positronium crossing the deflectometer/interferometer are also discussed.


title: Superfluidity of a Raman spin-orbit-coupled Bose gas at finite temperature

abstract: We investigate the superfluidity of a three-dimensional weakly interacting Bose gas with a one-dimensional Raman-type spin-orbit coupling at both zero and finite temperatures. Using the imaginary-time Green's function within the Bogoliubov approximation, we explicitly derive analytic expressions of the current-current response functions in the plane-wave and zero-momentum phases, from which we extract the superfluid density in the limits of long wavelength and zero frequency. At zero temperature, we check that the resultant superfluid density agrees exactly with our previous analytic prediction obtained from a phase-twist approach. Both results also satisfy a generalized Josephson relation in the presence of spin-orbit coupling. At finite temperature, we find a significant non-monotonic temperature dependence of superfluid density near the transition from the plane-wave phase to the zero-momentum phase. We show that this non-trivial behavior might be understood from the sound velocity, which has a similar temperature dependence. The non-monotonic temperature dependence is also shared by Landau critical velocity, above which the spin-orbit-coupled Bose gas loses its superfluidity. Our results would be useful for further theoretical and experimental studies of superfluidity in exotic spin-orbit coupled quantum gases.


title: Exploring the radio spectral energy distribution of the ultraluminous radio-quiet quasar SDSS J0100+2802 at redshift 6.3

abstract: We report deep Karl G. Jansky Very Large Array (VLA) observations of the optically ultraluminous and radio-quiet quasar SDSS J010013.02 + 280225.8 (hereafter J0100+2802) at redshift $z=$6.3. We detected the radio continuum emission at 1.5 GHz, 6 GHz, and 10 GHz. This leads to a radio power-law spectral index of $\alpha = -0.52\pm0.18$ ($S \propto \nu^{\alpha}$). The radio source is unresolved in all VLA bands with an upper limit to the size of $0.2^{\prime \prime}$ (i.e., $\sim$ 1.1 kpc) at 10 GHz. We find variability in the flux density (increase by $\sim 33\%$) and the spectral index (steepened) between observations in 2016 and 2017. We also find that the VLA 1.5 GHz flux density observed in the same year is 1.5 times that detected with the Very Long Baseline Array (VLBA) in 2016 at the same frequency. This difference suggests that half of the radio emission from J0100+2802 comes from a compact core within 40 pc, and the rest comes from the surrounding few kpc area which is diffuse and resolved out in the VLBA observations. The diffuse emission is four times brighter than that would be expected if driven by star formation. We conclude that the central active galactic nucleus is the dominant power engine of the radio emission in J0100+2802.


title: GeoDiff: a Geometric Diffusion Model for Molecular Conformation Generation

abstract: Predicting molecular conformations from molecular graphs is a fundamental problem in cheminformatics and drug discovery. Recently, significant progress has been achieved with machine learning approaches, especially with deep generative models. Inspired by the diffusion process in classical non-equilibrium thermodynamics where heated particles will diffuse from original states to a noise distribution, in this paper, we propose a novel generative model named GeoDiff for molecular conformation prediction. GeoDiff treats each atom as a particle and learns to directly reverse the diffusion process (i.e., transforming from a noise distribution to stable conformations) as a Markov chain. Modeling such a generation process is however very challenging as the likelihood of conformations should be roto-translational invariant. We theoretically show that Markov chains evolving with equivariant Markov kernels can induce an invariant distribution by design, and further propose building blocks for the Markov kernels to preserve the desirable equivariance property. The whole framework can be efficiently trained in an end-to-end fashion by optimizing a weighted variational lower bound to the (conditional) likelihood. Experiments on multiple benchmarks show that GeoDiff is superior or comparable to existing state-of-the-art approaches, especially on large molecules.


title: Adiabatic accretion onto black holes in Einstein-Maxwell-scalar theory

abstract: We study the adiabatic accretion process of ordinary baryonic gas onto spherically symmetric black holes in Einstein-Maxwell-scalar theory, with two parameters $\alpha$ and $\beta$ in the coupling term. Especially, we demonstrate the range of the transonic points in terms of the charge-to-mass ratio squared and the dimensionless coordinate radius, in two important classes of black holes as examples. Further, we find that the two coupling parameters give modifications to the mass accretion rate at different orders of the sound speed at infinity. We also present their different effects on the temperature ratios of the accreted gas.


title: Weakly Supervised Temporal Action Localization via Representative Snippet Knowledge Propagation

abstract: Weakly supervised temporal action localization aims to localize temporal boundaries of actions and simultaneously identify their categories with only video-level category labels. Many existing methods seek to generate pseudo labels for bridging the discrepancy between classification and localization, but usually only make use of limited contextual information for pseudo label generation. To alleviate this problem, we propose a representative snippet summarization and propagation framework. Our method seeks to mine the representative snippets in each video for propagating information between video snippets to generate better pseudo labels. For each video, its own representative snippets and the representative snippets from a memory bank are propagated to update the input features in an intra- and inter-video manner. The pseudo labels are generated from the temporal class activation maps of the updated features to rectify the predictions of the main branch. Our method obtains superior performance in comparison to the existing methods on two benchmarks, THUMOS14 and ActivityNet1.3, achieving gains as high as 1.2% in terms of average mAP on THUMOS14.


title: Generic symmetry defect set of an algebraic curve

abstract: Let $X \subset \mathbb{C}^{2n}$ be an $n$-dimensional algebraic variety. We define the algebraic version of the generic symmetry defect set (Wigner caustic) of $X$. Moreover, we compute its singularities for $X_d$ being a generic curve of degree $d$ in $\mathbb{C}^2$.