title: Quantum Information Processing With Integrated Silicon Carbide Photonics

abstract: Color centers in wide band gap semiconductors are prominent candidates for solid-state quantum technologies due to their attractive properties including optical interfacing, long coherence times, spin-photon and spin-spin entanglement, as well as the potential for scalability. Silicon carbide color centers integrated into photonic devices span a wide range of applications in quantum information processing, in a material platform with quantum-grade wafer availability and advanced processing capabilities. Recent progress in emitter generation and characterization, nanofabrication, device design, and quantum optical studies have amplified the scientific interest in this platform. We provide a conceptual and quantitative analysis of the role of silicon carbide integrated photonics in three key application areas: quantum networking, simulation, and computing.


title: Efficient Inference Without Trading-off Regret in Bandits: An Allocation Probability Test for Thompson Sampling

abstract: Using bandit algorithms to conduct adaptive randomised experiments can minimise regret, but it poses major challenges for statistical inference (e.g., biased estimators, inflated type-I error and reduced power). Recent attempts to address these challenges typically impose restrictions on the exploitative nature of the bandit algorithm$-$trading off regret$-$and require large sample sizes to ensure asymptotic guarantees. However, large experiments generally follow a successful pilot study, which is tightly constrained in its size or duration. Increasing power in such small pilot experiments, without limiting the adaptive nature of the algorithm, can allow promising interventions to reach a larger experimental phase. In this work we introduce a novel hypothesis test, uniquely based on the allocation probabilities of the bandit algorithm, and without constraining its exploitative nature or requiring a minimum experimental size. We characterise our $Allocation\ Probability\ Test$ when applied to $Thompson\ Sampling$, presenting its asymptotic theoretical properties, and illustrating its finite-sample performances compared to state-of-the-art approaches. We demonstrate the regret and inferential advantages of our approach, particularly in small samples, in both extensive simulations and in a real-world experiment on mental health aspects.


title: The Missing Covariate Indicator Method is Nearly Valid Almost Always

abstract: Background: Although the missing covariate indicator method (MCIM) has been shown to be biased under extreme conditions, the degree and determinants of bias have not been formally assessed. Methods: We derived the formula for the relative bias in the MCIM and systematically investigated conditions under which bias arises. Results: We found that the extent of bias is independent of both the disease rate and the exposure-outcome association, but is a function of 5 parameters: exposure and covariate prevalences, covariate missingness proportion, and associations of covariate with exposure and outcome. The MCIM was unbiased when the missing covariate is a risk factor for the outcome but not a confounder. The average median relative bias was zero across each of the parameters over a wide range of values considered. When missingness was no greater than 50%, less than 5% of the scenarios considered had relative bias greater than 10%. In several analyses of the Harvard cohort studies, the MCIM produced materially the same results as the multiple imputation method. Conclusion: The MCIM is nearly valid almost always in settings typically encountered in epidemiology and its continued use is recommended, unless the covariate is missing in an extreme proportion or acts as a strong confounder.


title: Entopy release in Electroweak Phase Transition in 2HDM

abstract: Electroweak phase transition in the simplest extension of the standard model namely two Higgs doublet model and entropy production within this framework is studied. We have considered several benchmark points which were called using BSMPT, a C++ package, within the limit of $vev/T_C>0.2$ are studied, and corresponding entropy productions are shown in this paper.


title: DIB-R++: Learning to Predict Lighting and Material with a Hybrid Differentiable Renderer

abstract: We consider the challenging problem of predicting intrinsic object properties from a single image by exploiting differentiable renderers. Many previous learning-based approaches for inverse graphics adopt rasterization-based renderers and assume naive lighting and material models, which often fail to account for non-Lambertian, specular reflections commonly observed in the wild. In this work, we propose DIBR++, a hybrid differentiable renderer which supports these photorealistic effects by combining rasterization and ray-tracing, taking the advantage of their respective strengths -- speed and realism. Our renderer incorporates environmental lighting and spatially-varying material models to efficiently approximate light transport, either through direct estimation or via spherical basis functions. Compared to more advanced physics-based differentiable renderers leveraging path tracing, DIBR++ is highly performant due to its compact and expressive shading model, which enables easy integration with learning frameworks for geometry, reflectance and lighting prediction from a single image without requiring any ground-truth. We experimentally demonstrate that our approach achieves superior material and lighting disentanglement on synthetic and real data compared to existing rasterization-based approaches and showcase several artistic applications including material editing and relighting.


title: Ramsey-type results for path covers and path partitions

abstract: A family $\mathcal{P}$ of subgraphs of $G$ is called a {\it path cover} (resp. a {\it path partition}) of $G$ if $\bigcup _{P\in \mathcal{P}}V(P)=V(G)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(G)$) and every element of $\mathcal{P}$ is a path. The minimum cardinality of a path cover (resp. a path partition) of $G$ is denoted by ${\rm pc}(G)$ (resp. ${\rm pp}(G)$). In this paper, we characterize the forbidden subgraph conditions assuring us that ${\rm pc}(G)$ (or ${\rm pp}(G)$) is bounded by a constant. Our main results introduce a new Ramsey-type problem.


title: Uncovering IP Address Hosting Types Behind Malicious Websites

abstract: Hundreds of thousands of malicious domains are created everyday. These malicious domains are hosted on a wide variety of network infrastructures. Traditionally, attackers utilize bullet proof hosting services (e.g. MaxiDed, Cyber Bunker) to take advantage of relatively lenient policies on what content they can host. However, these IP ranges are increasingly being blocked or the services are taken down by law enforcement. Hence, attackers are moving towards utilizing IPs from regular hosting providers while staying under the radar of these hosting providers. There are several practical advantages of accurately knowing the type of IP used to host malicious domains. If the IP is a dedicated IP (i.e. it is leased to a single entity), one may blacklist the IP to block domains hosted on those IPs as welll as use as a way to identify other malicious domains hosted the same IP. If the IP is a shared hosting IP, hosting providers may take measures to clean up such domains and maintain a high reputation for their users.


title: On the Control of Flying Qubits

abstract: The control of flying quantum bits (qubits) carried by traveling quantum fields is crucial for coherent information transmission in quantum networks. In this paper, we develop a general framework for modeling the generation, catching and transformation processes of flying qubits. We introduce the quantum stochastic differential equation (QSDE) to describe the flying-qubit input-output relations actuated by a standing quantum system. Under the continuous time-ordered photon-number basis, the infinite-dimensional QSDE is reduced to a low-dimensional deterministic non-unitary differential equation for the state evolution of the standing system, and the outgoing flying-qubit states can be calculated via randomly occurring quantum jumps. This makes it possible, as demonstrated by examples of flying-qubit generation and transformation, to analyze general cases when the number of excitations is not reserved. The proposed framework lays the foundation for the design of flying-qubit control systems from a control theoretic point of view, within which advanced control techniques can be incorporated for practical applications.


title: Solving the three-dimensional Skyrme Hartree-Fock-Bogoliubov problem using the mixed-basis method

abstract: Background: The symmetry-unrestricted Hartree-Fock-Bogoliubov (HFB) simulation is important for describing various quantum many-body systems. However, the HFB problem in Cartesian coordinate space is numerically challenging. Purpose: For describing ground states without imposing axial symmetry and looking ahead to future extension for dynamics with full time dependence, we present a numerically efficient implementation of the three-dimensional (3D) HFB code. Methods: We develop a 3D Skyrme HFB code based on the mixed-basis representation (HFBmix) which consists of two harmonic-oscillator (HO) bases in the x- and y-directions, and finite-difference (FD) basis in the z-direction in solving the nuclear 3D HFB problem. Results: The results show very well agreement among all the three codes (HFBmix, HO3D, and hfodd). Especially for the HF calculations, the differences in total energies are on the order of a few keV for the lightest O and Mg nuclei. The HFBmix is applied to spherical, prolate, and triaxial systems, and gives the same quadrupole moments for the deformed nuclei as those of the HO-based calculations. Feasibility of the HFBmix is demonstrated in the fission isomer and barrier calculations of 240Pu. Conclusions: The HFBmix is useful for solving the nuclear 3D HFB problem for its numerical efficiency. Future work will include the analysis of deformed drip-line systems and systematic potential-energy surface calculation for fission-path analysis as well as the time-dependent extension of the HFBmix code for dynamics calculations.


title: Two-dimensional anisotropic non-Hermitian Lieb lattice

abstract: We study an anisotropic two-dimensional non-Hermitian Lieb lattice, where the staggered gain and loss present in the horizontal and vertical directions, respectively. The intra-cell nonreciprocal coupling generates magnetic flux enclosed in the unit cell of the Lieb lattice and creates nontrivial topology. The active and dissipative topological edge states are along the horizontal and vertical directions, respectively. The two-dimensional non-Hermitian Lieb lattice also supports passive topological corner state. At appropriate magnetic flux, the non-Hermiticity can alter the corner state from one corner to the opposite corner as the non-Hermiticity increases. The gapless phase of the Lieb lattice is characterized by different configurations of exceptional points in the Brillouin zone. The topology of the anisotropic non-Hermitian Lieb lattices can be verified in many experimental platforms including the optical waveguide lattices, photonic crystals, and electronic circuits.


title: Enabling a Programming Environment for an Experimental Ion Trap Quantum Testbed

abstract: Ion trap quantum hardware promises to provide a computational advantage over classical computing for specific problem spaces while also providing an alternative hardware implementation path to cryogenic quantum systems as typified by IBM's quantum hardware. However, programming ion trap systems currently requires both strategies to mitigate high levels of noise and also tools to ease the challenge of programming these systems with pulse- or gate-level operations. This work focuses on improving the state-of-the-art for quantum programming of ion trap testbeds through the use of a quantum language specification, QCOR, and by demonstrating multi-level optimizations at the language, intermediate representation, and hardware backend levels. We implement a new QCOR/XACC backend to target a general ion trap testbed and then demonstrate the usage of multi-level optimizations to improve circuit fidelity and to reduce gate count. These techniques include the usage of a backend-specific numerical optimizer and physical gate optimizations to minimize the number of native instructions sent to the hardware. We evaluate our compiler backend using several QCOR benchmark programs, finding that on present testbed hardware, our compiler backend maintains the number of two-qubit native operations but decreases the number of single-qubit native operations by 1.54 times compared to the previous compiler regime. For projected testbed hardware upgrades, our compiler sees a reduction in two-qubit native operations by 2.40 times and one-qubit native operations by 6.13 times.


title: Accessible $\infty$-cosmoi

abstract: We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of $\infty$-cosmoi are accessible. By the adjoint functor theorem for homotopically enriched categories which we proved in an earlier paper, joint with Lukas Vokrinek, it follows, for instance, that all such $\infty$-cosmoi have flexibly weighted homotopy colimits.


title: On Small-Depth Tree Augmentations

abstract: We study the Weighted Tree Augmentation Problem for general link costs. We show that the integrality gap of the ODD-LP relaxation for the (weighted) Tree Augmentation Problem for a $k$-level tree instance is at most $2 - \frac{1}{2^{k-1}}$. For 2- and 3-level trees, these ratios are $\frac32$ and $\frac74$ respectively. Our proofs are constructive and yield polynomial-time approximation algorithms with matching guarantees.


title: Temporal-Spatial Feature Extraction Based on Convolutional Neural Networks for Travel Time Prediction

abstract: In recent years, some traffic information prediction methods have been proposed to provide the precise information of travel time, vehicle speed, and traffic flow for highways. However, big errors may be obtained by these methods for urban roads or the alternative roads of highways. Therefore, this study proposes a travel time prediction method based on convolutional neural networks to extract important factors for the improvement of traffic information prediction. In practical experimental environments, the travel time records of No. 5 Highway and the alternative roads of its were collected and used to evaluate the proposed method. The results showed that the mean absolute percentage error of the proposed method was about 5.69%. Therefore, the proposed method based on deep learning techniques can improve the accuracy of travel time prediction.


title: Time-reversal symmetric topological metal

abstract: Topological metals possess gapless band structures accompanied with nontrivial edge states. Topological metals are created from the topological insulators by adjusting the magnetic flux. Here we propose the time-reversal symmetry protected topological metal without employing the magnetic flux. Topological metallic phase presents although the Chern number vanishes. In the topologically nontrivial phase, three different cases in the metallic phase are distinguished from the band-touching and in-gap features of the topological edge states. These findings shed light on the time-reversal symmetric topological metals and greatly simplify the realization of topological metals.


title: A polarimetric study of asteroids in comet-like orbits

abstract: Context. Asteroids in comet-like orbits (ACOs) consist of asteroids and dormant comets. Due to their similar appearance, it is challenging to distinguish dormant comets from ACOs via general telescopic observations. Surveys for discriminating dormant comets from the ACO population have been conducted via spectroscopy or optical and mid-infrared photometry. However, they have not been conducted through polarimetry. Aims. We conducted the first polarimetric research of ACOs. Methods. We conducted a linear polarimetric pilot survey for three ACOs: (944) Hidalgo, (3552) Don Quixote, and (331471) 1984 QY1. These objects are unambiguously classified into ACOs in terms of their orbital elements (i.e., the Tisserand parameters with respect to Jupiter $T_\mathrm{J}$ significantly less than 3). Three ACOs were observed by the 1.6 m Pirka Telescope from UT 2016 May 25 to UT 2019 July 22 (13 nights). Results. We found that Don Quixote and Hidalgo have polarimetric properties similar to comet nuclei and D-type asteroids (optical analogs of comet nuclei). However, 1984 QY1 exhibited a polarimetric property consistent with S-type asteroids. We conducted a backward orbital integration to determine the origin of 1984 QY1, and found that this object was transported from the main belt into the current comet-like orbit via the 3:1 mean motion resonance with Jupiter. Conclusions. We conclude that the origins of ACOs can be more reliably identified by adding polarimetric data to the color and spectral information. This study would be valuable for investigating how the ice-bearing small bodies distribute in the inner Solar System.


title: Polarimetric Properties of the Near--Sun Asteroid (155140) 2005 UD in Comparison with Other Asteroids and Meteoritic Samples

abstract: The investigation of asteroids near the Sun is important for understanding the final evolutionary stage of primitive solar system objects. A near-Sun asteroid, (155140) 2005 UD, has orbital elements similar to those of (3200) Phaethon (the target asteroid for the JAXA's $DESTINY^+$ mission). We conducted photometric and polarimetric observations of 2005 UD and found that this asteroid exhibits a polarization phase curve similar to that of Phaethon over a wide range of observed solar phase angles ($ \alpha = 20 - 105^\circ $) but different from those of (101955) Bennu and (162173) Ryugu (asteroids composed of hydrated carbonaceous materials). At a low phase angle ($\alpha \lesssim 30^\circ$), the polarimetric properties of these near-Sun asteroids (2005 UD and Phaethon) are consistent with anhydrous carbonaceous chondrites, while the properties of Bennu are consistent with hydrous carbonaceous chondrites. We derived the geometric albedo, $ p_\mathrm{V} \sim 0.1 $ (in the range of 0.088-0.109); mean $ V $-band absolute magnitude, $ H_\mathrm{V} = 17.54 \pm 0.02 $; synodic rotational period, $ T_\mathrm{rot} = 5.2388 \pm 0.0022 $ hours (the two-peaked solution is assumed); and effective mean diameter, $ D_\mathrm{eff} = 1.32 \pm 0.06 $ km. At large phase angles ($ \alpha \gtrsim 80^\circ$), the polarization phase curve are likely explained by the dominance of large grains and the paucity of small micron-sized grains. We conclude that the polarimetric similarity of these near-Sun asteroids can be attributed to the intense solar heating of carbonaceous materials around their perihelia, where large anhydrous particles with small porosity could be produced by sintering.


title: RMSMP: A Novel Deep Neural Network Quantization Framework with Row-wise Mixed Schemes and Multiple Precisions

abstract: This work proposes a novel Deep Neural Network (DNN) quantization framework, namely RMSMP, with a Row-wise Mixed-Scheme and Multi-Precision approach. Specifically, this is the first effort to assign mixed quantization schemes and multiple precisions within layers -- among rows of the DNN weight matrix, for simplified operations in hardware inference, while preserving accuracy. Furthermore, this paper makes a different observation from the prior work that the quantization error does not necessarily exhibit the layer-wise sensitivity, and actually can be mitigated as long as a certain portion of the weights in every layer are in higher precisions. This observation enables layer-wise uniformality in the hardware implementation towards guaranteed inference acceleration, while still enjoying row-wise flexibility of mixed schemes and multiple precisions to boost accuracy. The candidates of schemes and precisions are derived practically and effectively with a highly hardware-informative strategy to reduce the problem search space. With the offline determined ratio of different quantization schemes and precisions for all the layers, the RMSMP quantization algorithm uses the Hessian and variance-based method to effectively assign schemes and precisions for each row. The proposed RMSMP is tested for the image classification and natural language processing (BERT) applications and achieves the best accuracy performance among state-of-the-arts under the same equivalent precisions. The RMSMP is implemented on FPGA devices, achieving 3.65x speedup in the end-to-end inference time for ResNet-18 on ImageNet, compared with the 4-bit Fixed-point baseline.


title: Characterization of the Imbalance Problem on Complete Bipartite Graphs

abstract: We study the imbalance problem on complete bipartite graphs. The imbalance problem is a graph layout problem and is known to be NP-complete. Graph layout problems find their applications in the optimization of networks for parallel computer architectures, VLSI circuit design, information retrieval, numerical analysis, computational biology, graph theory, scheduling and archaeology. In this paper, we give characterizations for the optimal solutions of the imbalance problem on complete bipartite graphs. Using the characterizations, we can solve the imbalance problem in $\mathcal{O}(\log(|V|) \cdot \log(\log(|V|)))$ time, when given the cardinalities of the parts of the graph, and verify whether a given solution is optimal in $O(|V|)$ time on complete bipartite graphs. We also introduce a restricted form of proper interval bipartite graphs on which the imbalance problem is solvable in $\mathcal{O}(c \cdot \log(|V|) \cdot \log(\log(|V|)))$ time, where $c = \mathcal{O}(|V|)$, by using the aforementioned characterizations.


title: ILMPQ : An Intra-Layer Multi-Precision Deep Neural Network Quantization framework for FPGA

abstract: This work targets the commonly used FPGA (field-programmable gate array) devices as the hardware platform for DNN edge computing. We focus on DNN quantization as the main model compression technique. The novelty of this work is: We use a quantization method that supports multiple precisions along the intra-layer dimension, while the existing quantization methods apply multi-precision quantization along the inter-layer dimension. The intra-layer multi-precision method can uniform the hardware configurations for different layers to reduce computation overhead and at the same time preserve the model accuracy as the inter-layer approach. Our proposed ILMPQ DNN quantization framework achieves 70.73 Top1 accuracy in ResNet-18 on the ImageNet dataset. We also validate the proposed MSP framework on two FPGA devices i.e., Xilinx XC7Z020 and XC7Z045. We achieve 3.65x speedup in end-to-end inference time on the ImageNet, compared with the fixed-point quantization method.


title: Characterizations of complex Finsler Metrics

abstract: Munteanu defined the canonical connection associated to a strongly pseudoconvex complex Finsler manifold $(M,F)$. We first prove that the holomorphic sectional curvature tensors of the canonical connection coincide with those of the Chern-Finsler connection associated to $F$ if and only if $F$ is a K\"ahler-Finsler metric. We also investigate the relationship of the Ricci curvatures (resp. scalar curvatures) of these two connections when $M$ is compact. As an application, two characterizations of balanced complex Finsler metrics are given. Next, we obtain a sufficient and necessary condition for a balanced complex Finsler metric to be K\"ahler-Finsler. Finally, we investigate conformal transformations of a balanced complex Finsler metric.


title: TransAug: Translate as Augmentation for Sentence Embeddings

abstract: While contrastive learning greatly advances the representation of sentence embeddings, it is still limited by the size of the existing sentence datasets. In this paper, we present TransAug (Translate as Augmentation), which provide the first exploration of utilizing translated sentence pairs as data augmentation for text, and introduce a two-stage paradigm to advances the state-of-the-art sentence embeddings. Instead of adopting an encoder trained in other languages setting, we first distill a Chinese encoder from a SimCSE encoder (pretrained in English), so that their embeddings are close in semantic space, which can be regraded as implicit data augmentation. Then, we only update the English encoder via cross-lingual contrastive learning and frozen the distilled Chinese encoder. Our approach achieves a new state-of-art on standard semantic textual similarity (STS), outperforming both SimCSE and Sentence-T5, and the best performance in corresponding tracks on transfer tasks evaluated by SentEval.


title: On higher monoidal $\infty$-categories

abstract: In this paper we introduce a notion of $\mathbf{O}$-monoidal $\infty$-categories for a finite sequence $\mathbf{O}^{\otimes}$ of $\infty$-operads, which is a generalization of the notion of higher monoidal categories in the setting of $\infty$-categories. We show that the $\infty$-category of coCartesian $\mathbf{O}$-monoidal $\infty$-categories and right adjoint lax $\mathbf{O}$-monoidal functors is equivalent to the opposite of the $\infty$-category of Cartesian $\mathbf{O}_{\rm rev}$-monoidal $\infty$-categories and left adjoint oplax $\mathbf{O}_{\rm rev}$-monoidal functors, where $\mathbf{O}^{\otimes}_{\rm rev}$ is a sequence obtained by reversing the order of $\mathbf{O}^{\otimes}$.


title: Generation of entangled photons with a second-order nonlinear photonic crystal and a beam splitter

abstract: We discuss the generation of entangled photons using a nonlinear photonic crystal and beam splitter. In our method, the photonic crystal is assumed to be composed of a material with a large second-order nonlinear optical susceptibility $\chi^{(2)}$. Our proposal relies on two facts: (1) A nonlinear photonic crystal changes coherent incident light into squeezed light. (2) A beam splitter transforms the squeezed light into entangled light beams flying in two different directions. We estimate the yield efficiency of pairs of entangled photons per pulse of the very weak coherent light for our method at $0.0783$ for a specific concrete example. Our method is more effective because the conversion efficiency (entangled biphotons per incident pump photons) in the spontaneous parametric downconversion is of the order of $4\times 10^{-6}$. The only drawback is that it requires very fine tuning of the frequency of signal photons fed into the photonic crystal; for example, an adjustment is given by $\Delta\nu=3.11\times 10^{8}$ Hz for the signal light of $\nu=3.23\times 10^{14}$ Hz. We investigate the application of entangled photons produced by our method to the BB84 quantum key distribution protocol, and we explore how to detect an eavesdropper. We suggest that our method is promising for decoy-state quantum key distribution using weak coherent light.


title: DSEE: Dually Sparsity-embedded Efficient Tuning of Pre-trained Language Models

abstract: Gigantic pre-trained models have become central to natural language processing (NLP), serving as the starting point for fine-tuning towards a range of downstream tasks. However, two pain points persist for this paradigm: (a) as the pre-trained models grow bigger (e.g., 175B parameters for GPT-3), even the fine-tuning process can be time-consuming and computationally expensive; (b) the fine-tuned model has the same size as its starting point by default, which is neither sensible due to its more specialized functionality, nor practical since many fine-tuned models will be deployed in resource-constrained environments. To address these pain points, we propose a framework for resource- and parameter-efficient fine-tuning by leveraging the sparsity prior in both weight updates and the final model weights. Our proposed framework, dubbed Dually Sparsity-Embedded Efficient Tuning (DSEE), aims to achieve two key objectives: (i) parameter efficient fine-tuning - by enforcing sparsity-aware low-rank updates on top of the pre-trained weights; and (ii) resource-efficient inference - by encouraging a sparse weight structure towards the final fine-tuned model. We leverage sparsity in these two directions by exploiting both unstructured and structured sparse patterns in pre-trained language models via a unified approach. Extensive experiments and in-depth investigations, with diverse network backbones (i.e., BERT, RoBERTa, and GPT-2) on dozens of datasets, consistently demonstrate impressive parameter-/inference-efficiency, while maintaining competitive downstream performance. For instance, DSEE saves about 25% inference FLOPs while achieving comparable performance, with 0.5% trainable parameters on BERT. Codes are available in https://github.com/VITA-Group/DSEE.


title: Pseudo-Labeling for Massively Multilingual Speech Recognition

abstract: Semi-supervised learning through pseudo-labeling has become a staple of state-of-the-art monolingual speech recognition systems. In this work, we extend pseudo-labeling to massively multilingual speech recognition with 60 languages. We propose a simple pseudo-labeling recipe that works well even with low-resource languages: train a supervised multilingual model, fine-tune it with semi-supervised learning on a target language, generate pseudo-labels for that language, and train a final model using pseudo-labels for all languages, either from scratch or by fine-tuning. Experiments on the labeled Common Voice and unlabeled VoxPopuli datasets show that our recipe can yield a model with better performance for many languages that also transfers well to LibriSpeech.


title: You are caught stealing my winning lottery ticket! Making a lottery ticket claim its ownership

abstract: Despite tremendous success in many application scenarios, the training and inference costs of using deep learning are also rapidly increasing over time. The lottery ticket hypothesis (LTH) emerges as a promising framework to leverage a special sparse subnetwork (i.e., winning ticket) instead of a full model for both training and inference, that can lower both costs without sacrificing the performance. The main resource bottleneck of LTH is however the extraordinary cost to find the sparse mask of the winning ticket. That makes the found winning ticket become a valuable asset to the owners, highlighting the necessity of protecting its copyright. Our setting adds a new dimension to the recently soaring interest in protecting against the intellectual property (IP) infringement of deep models and verifying their ownerships, since they take owners' massive/unique resources to develop or train. While existing methods explored encrypted weights or predictions, we investigate a unique way to leverage sparse topological information to perform lottery verification, by developing several graph-based signatures that can be embedded as credentials. By further combining trigger set-based methods, our proposal can work in both white-box and black-box verification scenarios. Through extensive experiments, we demonstrate the effectiveness of lottery verification in diverse models (ResNet-20, ResNet-18, ResNet-50) on CIFAR-10 and CIFAR-100. Specifically, our verification is shown to be robust to removal attacks such as model fine-tuning and pruning, as well as several ambiguity attacks. Our codes are available at https://github.com/VITA-Group/NO-stealing-LTH.


title: Simpli-Squared: A Very Simple Yet Unexpectedly Powerful Join Ordering Algorithm Without Cardinality Estimates

abstract: The Join Order Benchmark (JOB) has become the de facto standard to assess the performance of relational database query optimizers due to its complexity and completeness. In order to compute the optimal execution plan -- join order -- existing solutions employ extensive data synopses and correlations -- functional dependencies -- between table attributes. These structures incur significant overhead to design, build, and maintain. In this paper, we present \textit{Simpli}city \textit{Simpli}fied (\textit{Simpli-Squared}), a very simple join ordering algorithm that achieves unexpectedly good results. Simpli-Squared computes the join order without using any statistics or cardinality estimates. It takes as input only the referential integrity constraints declared at schema definition and the number of tuples (size) in the base tables. The join order of a given query is computed by splitting the join graph along the many-to-many joins and sorting the tables based on their size. The tables involved in one-to-many joins are greedily included based on size and the query join graph. The resulting plan can be efficiently generated by a lightweight query rewriting procedure. Experiments on the JOB benchmark in PostgreSQL show that Simpli-Squared achieves runtimes having an increase of only up to 16\% -- and sometimes even a reduction -- compared to four state-of-the-art solutions that are considerably more intricate. Based on these results, we question whether JOB adequately tests query optimizers or if accurate cardinality estimation is such a fundamental requirement for performing well on the JOB benchmark.


title: HIERMATCH: Leveraging Label Hierarchies for Improving Semi-Supervised Learning

abstract: Semi-supervised learning approaches have emerged as an active area of research to combat the challenge of obtaining large amounts of annotated data. Towards the goal of improving the performance of semi-supervised learning methods, we propose a novel framework, HIERMATCH, a semi-supervised approach that leverages hierarchical information to reduce labeling costs and performs as well as a vanilla semi-supervised learning method. Hierarchical information is often available as prior knowledge in the form of coarse labels (e.g., woodpeckers) for images with fine-grained labels (e.g., downy woodpeckers or golden-fronted woodpeckers). However, the use of supervision using coarse category labels to improve semi-supervised techniques has not been explored. In the absence of fine-grained labels, HIERMATCH exploits the label hierarchy and uses coarse class labels as a weak supervisory signal. Additionally, HIERMATCH is a generic-approach to improve any semisupervised learning framework, we demonstrate this using our results on recent state-of-the-art techniques MixMatch and FixMatch. We evaluate the efficacy of HIERMATCH on two benchmark datasets, namely CIFAR-100 and NABirds. HIERMATCH can reduce the usage of fine-grained labels by 50% on CIFAR-100 with only a marginal drop of 0.59% in top-1 accuracy as compared to MixMatch. Code: https://github.com/07Agarg/HIERMATCH


title: Imaging sensitivity of a linear interferometer array on lunar orbit

abstract: Ground-based observation at frequencies below 30 MHz is hindered by the ionosphere of the Earth and radio frequency interference. To map the sky at these low frequencies, we have proposed the Discovering the Sky at the Longest wavelength mission (DSL, also known as the "Hongmeng" mission, which means "Primordial Universe" in Chinese) concept, which employs a linear array of micro-satellites orbiting the Moon. Such an array can be deployed to the lunar orbit by a single rocket launch, and it can make interferometric observations achieving good angular resolutions despite the small size of the antennas. However, it differs from the conventional ground-based interferometer array or even the previous orbital interferometers in many aspects, new data-processing methods need to be developed. In this work, we make a series of simulations to assess the imaging quality and sensitivity of such an array. We start with an input sky model and a simple orbit model, generate mock interferometric visibilities, and then reconstruct the sky map. We consider various observational effects and practical issues, such as the system noise, antenna response, and Moon blockage. Based on the quality of the recovered image, we quantify the imaging capability of the array for different satellite numbers and array configurations. For the first time, we make practical estimates of the point source sensitivity for such a lunar orbit array, and predict the expected number of detectable sources for the mission. Depending on the radio source number distribution which is still very uncertain at these frequencies, the proposed mission can detect $10^2 \sim 10^4$ sources during its operation.


title: Advanced Algorithms of Collision Free Navigation and Flocking for Autonomous UAVs

abstract: Unmanned aerial vehicles (UAVs) have become very popular for many military and civilian applications including in agriculture, construction, mining, environmental monitoring, etc. A desirable feature for UAVs is the ability to navigate and perform tasks autonomously with least human interaction. This is a very challenging problem due to several factors such as the high complexity of UAV applications, operation in harsh environments, limited payload and onboard computing power and highly nonlinear dynamics. The work presented in this report contributes towards the state-of-the-art in UAV control for safe autonomous navigation and motion coordination of multi-UAV systems. The first part of this report deals with single-UAV systems. The complex problem of three-dimensional (3D) collision-free navigation in unknown/dynamic environments is addressed. To that end, advanced 3D reactive control strategies are developed adopting the sense-and-avoid paradigm to produce quick reactions around obstacles. A special case of navigation in 3D unknown confined environments (i.e. tunnel-like) is also addressed. General 3D kinematic models are considered in the design which makes these methods applicable to different UAV types in addition to underwater vehicles. Moreover, different implementation methods for these strategies with quadrotor-type UAVs are also investigated considering UAV dynamics in the control design. Practical experiments and simulations were carried out to analyze the performance of the developed methods. The second part of this report addresses safe navigation for multi-UAV systems. Distributed motion coordination methods of multi-UAV systems for flocking and 3D area coverage are developed. These methods offer good computational cost for large-scale systems. Simulations were performed to verify the performance of these methods considering systems with different sizes.


title: Small-world complex network generation on a digital quantum processor

abstract: Quantum cellular automata (QCA) evolve qubits in a quantum circuit depending only on the states of their neighborhoods and model how rich physical complexity can emerge from a simple set of underlying dynamical rules. For instance, Goldilocks QCA depending on trade-off principles exhibit non-equilibrating coherent dynamics and generate complex mutual information networks, much like the brain. The inability of classical computers to simulate large quantum systems is a hindrance to understanding the physics of quantum cellular automata, but quantum computers offer an ideal simulation platform. Here we demonstrate the first experimental realization of QCA on a digital quantum processor, simulating a one-dimensional Goldilocks rule on chains of up to 23 superconducting qubits. Employing low-overhead calibration and error mitigation techniques, we calculate population dynamics and complex network measures indicating the formation of small-world mutual information networks. Unlike random states, these networks decohere at fixed circuit depth independent of system size; the largest of which corresponds to 1,056 two-qubit gates. Such computations may open the door to the employment of QCA in applications like the simulation of strongly-correlated matter or beyond-classical computational demonstrations.


title: Pattern Formation in a Spatially-Extended Model of Pacemaker Dynamics in Smooth Muscle Cells

abstract: Spatiotemporal patterns are common in biological systems. For electrically-coupled cells previous studies of pattern formation have mainly used external forcing as the main bifurcation parameter. The purpose of this paper is to show that spatiotemporal patterns in electrically-coupled smooth muscle cells occur even in the absence of forcing. We study a reaction-diffusion system with the Morris-Lecar equations and observe a wide range of spatiotemporal patterns for different values of the model parameters. Some aspects of these patterns are explained via a bifurcation analysis of the system without coupling -- in particular Type I and Type II excitability both occur. We show the patterns are not due to a Turing instability and use travelling wave coordinates to analyse travelling waves.


title: Trojan Source: Invisible Vulnerabilities

abstract: We present a new type of attack in which source code is maliciously encoded so that it appears different to a compiler and to the human eye. This attack exploits subtleties in text-encoding standards such as Unicode to produce source code whose tokens are logically encoded in a different order from the one in which they are displayed, leading to vulnerabilities that cannot be perceived directly by human code reviewers. 'Trojan Source' attacks, as we call them, pose an immediate threat both to first-party software and of supply-chain compromise across the industry. We present working examples of Trojan Source attacks in C, C++, C#, JavaScript, Java, Rust, Go, Python, SQL, Bash, Assembly, and Solidity. We propose definitive compiler-level defenses, and describe other mitigating controls that can be deployed in editors, repositories, and build pipelines while compilers are upgraded to block this attack. We document an industry-wide coordinated disclosure for these vulnerabilities; as they affect most compilers, editors, and repositories, the exercise teaches how different firms, open-source communities, and other stakeholders respond to vulnerability disclosure.


title: Atomic semigroup rings and the ascending chain condition on principal ideals

abstract: An integral domain is called atomic if every nonzero nonunit element factors into irreducibles. On the other hand, an integral domain is said to satisfy the ascending chain condition on principal ideals (ACCP) if every ascending chain of principal ideals terminates. It was asserted by Cohn back in the sixties that every atomic domain satisfies the ACCP, but such an assertion was refuted by Grams in the seventies with an explicit construction of a neat example. Still, atomic domains without the ACCP are notoriously elusive, and just a few classes have been found since Grams' first construction. In the first part of this paper, we generalize Grams' construction to provide new classes of atomic domains without the ACCP. In the second part of this paper, we construct what seems to be the first atomic semigroup ring without the ACCP in the existing literature.


title: Automated Crystal Orientation Mapping in py4DSTEM using Sparse Correlation Matching

abstract: Crystalline materials used in technological applications are often complex assemblies composed of multiple phases and differently oriented grains. Robust identification of the phases and orientation relationships from these samples is crucial, but the information extracted from the diffraction condition probed by an electron beam is often incomplete. We therefore have developed an automated crystal orientation mapping (ACOM) procedure which uses a converged electron probe to collect diffraction patterns from multiple locations across a complex sample. We provide an algorithm to determine the orientation of each diffraction pattern based on a fast sparse correlation method. We test the speed and accuracy of our method by indexing diffraction patterns generated using both kinematical and dynamical simulations. We have also measured orientation maps from an experimental dataset consisting of a complex polycrystalline twisted helical AuAgPd nanowire. From these maps we identify twin planes between adjacent grains, which may be responsible for the twisted helical structure. All of our methods are made freely available as open source code, including tutorials which can be easily adapted to perform ACOM measurements on diffraction pattern datasets.


title: Finding citations for PubMed: A large-scale comparison between five freely available bibliographic data sources

abstract: As an important biomedical database, PubMed provides users with free access to abstracts of its documents. However, citations between these documents need to be collected from external data sources. Although previous studies have investigated the coverage of various data sources, the quality of citations is underexplored. In response, this study compares the coverage and citation quality of five freely available data sources on 30 million PubMed documents, including OpenCitations Index of CrossRef open DOI-to-DOI citations (COCI), Dimensions, Microsoft Academic Graph (MAG), National Institutes of Health Open Citation Collection (NIH-OCC), and Semantic Scholar Open Research Corpus (S2ORC). Three gold standards and five metrics are introduced to evaluate the correctness and completeness of citations. Our results indicate that Dimensions is the most comprehensive data source that provides references for 62.4% of PubMed documents, outperforming the official NIH-OCC dataset (56.7%). Over 90% of citation links in other data sources can also be found in Dimensions. The coverage of MAG, COCI, and S2ORC is 59.6%, 34.7%, and 23.5%, respectively. Regarding the citation quality, Dimensions and NIH-OCC achieve the best overall results. Almost all data sources have a precision higher than 90%, but their recall is much lower. All databases have better performances on recent publications than earlier ones. Meanwhile, the gaps between different data sources have diminished for the documents published in recent years. This study provides evidence for researchers to choose suitable PubMed citation sources, which is also helpful for evaluating the citation quality of free bibliographic databases.


title: Dynamic Differential-Privacy Preserving SGD

abstract: The vanilla Differentially-Private Stochastic Gradient Descent (DP-SGD), including DP-Adam and other variants, ensures the privacy of training data by uniformly distributing privacy costs across training steps. The equivalent privacy costs controlled by maintaining the same gradient clipping thresholds and noise powers in each step result in unstable updates and a lower model accuracy when compared to the non-DP counterpart. In this paper, we propose the dynamic DP-SGD (along with dynamic DP-Adam, and others) to reduce the performance loss gap while maintaining privacy by dynamically adjusting clipping thresholds and noise powers while adhering to a total privacy budget constraint. Extensive experiments on a variety of deep learning tasks, including image classification, natural language processing, and federated learning, demonstrate that the proposed dynamic DP-SGD algorithm stabilizes updates and, as a result, significantly improves model accuracy in the strong privacy protection region when compared to the vanilla DP-SGD. We also conduct theoretical analysis to better understand the privacy-utility trade-off with dynamic DP-SGD, as well as to learn why Dynamic DP-SGD can outperform vanilla DP-SGD.


title: Multi-User Augmented Reality with Infrastructure-free Collaborative Localization

abstract: Multi-user augmented reality (AR) could someday empower first responders with the ability to see team members around corners and through walls. For this vision of people tracking in dynamic environments to be practical, we need a relative localization system that is nearly instantly available across wide-areas without any existing infrastructure or manual setup. In this paper, we present LocAR, an infrastructure-free 6-degrees-of-freedom (6DoF) localization system for AR applications that uses motion estimates and range measurements between users to establish an accurate relative coordinate system. We show that not only is it possible to perform collaborative localization without infrastructure or global coordinates, but that our approach provides nearly the same level of accuracy as fixed infrastructure approaches for AR teaming applications. LocAR uses visual-inertial odometry (VIO) in conjunction with ultra-wideband (UWB) ranging radios to estimate the relative position of each device in an ad-hoc manner. The system leverages a collaborative 6DoF particle filtering formulation that operates on sporadic messages exchanged between nearby users. Unlike map or landmark sharing approaches, this allows for collaborative AR sessions even if users do not overlap the same spaces. LocAR consists of an open-source UWB firmware and reference mobile phone application that can display the location of team members in real-time using mobile AR. We evaluate LocAR across multiple buildings under a wide-variety of conditions including a contiguous 30,000 square foot region spanning multiple floors and find that it achieves median geometric error in 3D of less than 1 meter between five users freely walking across 3 floors.


title: Phone Sharing and Cash Transfers in Togo: Quantitative Evidence from Mobile Phone Data

abstract: Phone sharing is pervasive in many low- and middle-income countries, affecting how millions of people interact with technology and each other. Yet there is very little quantitative evidence available on the extent or nature of phone sharing in resource-constrained contexts. This paper provides a comprehensive quantitative analysis of phone sharing in Togo, and documents how a large cash transfer program during the COVID-19 pandemic impacted sharing patterns. We analyze mobile phone records from the entire Togolese mobile network to measure the movement of SIM cards between SIM card slots (often on different mobile devices). First, we document the prevalence of sharing in Togo, with 22% of SIMs and 7% of SIM slots shared. Second, using administrative data from a government-run cash transfer program, we find that phone sharing is most common among women, young people, and people in rural areas. Finally, we find that the delivery of cash aid via mobile money significantly increases phone sharing among beneficiaries. We discuss the limitations of measuring phone sharing with mobile network data and the implications of our results for future aid programs delivered via mobile money.


title: Iris Recognition Based on SIFT Features

abstract: Biometric methods based on iris images are believed to allow very high accuracy, and there has been an explosion of interest in iris biometrics in recent years. In this paper, we use the Scale Invariant Feature Transformation (SIFT) for recognition using iris images. Contrarily to traditional iris recognition systems, the SIFT approach does not rely on the transformation of the iris pattern to polar coordinates or on highly accurate segmentation, allowing less constrained image acquisition conditions. We extract characteristic SIFT feature points in scale space and perform matching based on the texture information around the feature points using the SIFT operator. Experiments are done using the BioSec multimodal database, which includes 3,200 iris images from 200 individuals acquired in two different sessions. We contribute with the analysis of the influence of different SIFT parameters on the recognition performance. We also show the complementarity between the SIFT approach and a popular matching approach based on transformation to polar coordinates and Log-Gabor wavelets. The combination of the two approaches achieves significantly better performance than either of the individual schemes, with a performance improvement of 24% in the Equal Error Rate.


title: On Quantitative Evaluations of Counterfactuals

abstract: As counterfactual examples become increasingly popular for explaining decisions of deep learning models, it is essential to understand what properties quantitative evaluation metrics do capture and equally important what they do not capture. Currently, such understanding is lacking, potentially slowing down scientific progress. In this paper, we consolidate the work on evaluating visual counterfactual examples through an analysis and experiments. We find that while most metrics behave as intended for sufficiently simple datasets, some fail to tell the difference between good and bad counterfactuals when the complexity increases. We observe experimentally that metrics give good scores to tiny adversarial-like changes, wrongly identifying such changes as superior counterfactual examples. To mitigate this issue, we propose two new metrics, the Label Variation Score and the Oracle score, which are both less vulnerable to such tiny changes. We conclude that a proper quantitative evaluation of visual counterfactual examples should combine metrics to ensure that all aspects of good counterfactuals are quantified.


title: Direct attacks using fake images in iris verification

abstract: In this contribution, the vulnerabilities of iris-based recognition systems to direct attacks are studied. A database of fake iris images has been created from real iris of the BioSec baseline database. Iris images are printed using a commercial printer and then, presented at the iris sensor. We use for our experiments a publicly available iris recognition system, which some modifications to improve the iris segmentation step. Based on results achieved on different operational scenarios, we show that the system is vulnerable to direct attacks, pointing out the importance of having countermeasures against this type of fraudulent actions.


title: Generalized Willmore Energies, Q-Curvatures, Extrinsic Paneitz Operators, and Extrinsic Laplacian Powers

abstract: Over forty years ago, Paneitz, and independently Fradkin and Tseytlin, discovered a fourth-order conformally-invariant differential operator, intrinsically defined on a conformal manifold, mapping scalars to scalars. This operator is a special case of the so-termed extrinsic Paneitz operator defined in the case when the conformal manifold is itself a conformally embedded hypersurface. In particular, this encodes the obstruction to smoothly solving the five-dimensional scalar Laplace equation, and suitable higher dimensional analogs, on conformally compact structures with constant scalar curvature. Moreover, the extrinsic Paneitz operator can act on tensors of general type by dint of being defined on tractor bundles. Motivated by a host of applications, we explicitly compute the extrinsic Paneitz operator. We apply this formula to obtain: an extrinsically-coupled Q-curvature for embedded four-manifolds, the anomaly in renormalized volumes for conformally compact five-manifolds with negative constant scalar curvature, Willmore energies for embedded four-manifolds, the local obstruction to smoothly solving the five-dimensional singular Yamabe problem, and new extrinsically-coupled fourth and sixth order operators for embedded surfaces and four-manifolds, respectively.


title: Hierarchical Heterogeneous Graph Representation Learning for Short Text Classification

abstract: Short text classification is a fundamental task in natural language processing. It is hard due to the lack of context information and labeled data in practice. In this paper, we propose a new method called SHINE, which is based on graph neural network (GNN), for short text classification. First, we model the short text dataset as a hierarchical heterogeneous graph consisting of word-level component graphs which introduce more semantic and syntactic information. Then, we dynamically learn a short document graph that facilitates effective label propagation among similar short texts. Thus, compared with existing GNN-based methods, SHINE can better exploit interactions between nodes of the same types and capture similarities between short texts. Extensive experiments on various benchmark short text datasets show that SHINE consistently outperforms state-of-the-art methods, especially with fewer labels.


title: Lead-free CsSnCl$_{3}$ perovskite nanocrystals: Rapid synthesis, experimental characterization and DFT simulations

abstract: In this investigation, we have synthesized thermally stable cubic CsSnCl$_{3}$ perovskite nanocrystals (crystal size ~300 nm) with better surface morphology by the hot-injection technique. Excellent crystalline quality of these cubic nanocrystals was confirmed by high-resolution transmission electron microscopy imaging. The binding of organic ligands on the surface of the sample was characterized by nuclear magnetic resonance spectroscopy. The UV-visible spectroscopy ensured that CsSnCl$_{3}$ nanocrystals have a direct bandgap of ~2.98 eV which was confirmed by steady-state photoluminescence spectroscopy. The band edge positions calculated by the Mulliken electronegativity approach predicted the potential photocatalytic capability of the nanocrystals which was then experimentally confirmed by the photodegradation of RhB dye under visible and UV-visible irradiation. Our theoretical calculation by employing the generalized gradient approximation (GGA) and GGA + U methods demonstrated 90% accurate estimation of experimentally observed optical bandgap when $U_{eff}$ = 6 eV was considered. The ratio of the effective masses of the hole and electron expressed as D = $m_{h}^{*}/m_{e}^{*}$ was also calculated for $U_{eff}$ = 6 eV. Based on this theoretical calculation and experimental observation of the photocatalytic performance of CsSnCl$_{3}$ nanocrystals, we have proposed a new interpretation of the "D" value: a "D" value of either much smaller or much larger than 1 is the indication of low recombination rate of the photogenerated electron-hole pairs and the high photocatalytic efficiency of a photocatalyst. We believe that this comprehensive investigation may be helpful for the large-scale synthesis of thermally stable cubic CsSnCl$_{3}$ nanocrystals and also for a greater understanding of their potential in photocatalytic, photovoltaics and other prominent optoelectronic applications.


title: Recursive formulas for the Kronecker quantum cluster algebra with principal coefficients

abstract: We use the quantum version of Chebyshev polynomials to explicitly construct the recursive formulas for the Kronecker quantum cluster algebra with principal coefficients. As a byproduct, we obtain two bar-invariant positive $\mathbb{ZP}$-bases with one being the atomic basis.


title: Stability of B2 compounds: Role of the $M$ point phonons

abstract: Although many binary compounds have the B2 (CsCl-type) structure in the thermodynamic phase diagram, an origin of the structural stability is not understood well. Here, we focus on 416 compounds in the B2 structure extracted from the Materials Project, and study the dynamical stability of those compounds from first principles. We demonstrate that the B2 phase stability lies in whether the lowest frequency phonon at the $M$ point in the Brillouin zone is endowed with a positive frequency. We show that the interatomic interactions up to the fourth nearest neighbor atoms are necessary for stabilizing such phonon modes, which should determine the minimum cutoff radius for constructing the interatomic potentials of binary compounds with guaranteed accuracy.


title: Geometry-Aware Hierarchical Bayesian Learning on Manifolds

abstract: Bayesian learning with Gaussian processes demonstrates encouraging regression and classification performances in solving computer vision tasks. However, Bayesian methods on 3D manifold-valued vision data, such as meshes and point clouds, are seldom studied. One of the primary challenges is how to effectively and efficiently aggregate geometric features from the irregular inputs. In this paper, we propose a hierarchical Bayesian learning model to address this challenge. We initially introduce a kernel with the properties of geometry-awareness and intra-kernel convolution. This enables geometrically reasonable inferences on manifolds without using any specific hand-crafted feature descriptors. Then, we use a Gaussian process regression to organize the inputs and finally implement a hierarchical Bayesian network for the feature aggregation. Furthermore, we incorporate the feature learning of neural networks with the feature aggregation of Bayesian models to investigate the feasibility of jointly learning on manifolds. Experimental results not only show that our method outperforms existing Bayesian methods on manifolds but also demonstrate the prospect of coupling neural networks with Bayesian networks.


title: Convergence and Optimality of Policy Gradient Methods in Weakly Smooth Settings

abstract: Policy gradient methods have been frequently applied to problems in control and reinforcement learning with great success, yet existing convergence analysis still relies on non-intuitive, impractical and often opaque conditions. In particular, existing rates are achieved in limited settings, under strict regularity conditions. In this work, we establish explicit convergence rates of policy gradient methods, extending the convergence regime to weakly smooth policy classes with $L_2$ integrable gradient. We provide intuitive examples to illustrate the insight behind these new conditions. Notably, our analysis also shows that convergence rates are achievable for both the standard policy gradient and the natural policy gradient algorithms under these assumptions. Lastly we provide performance guarantees for the converged policies.


title: Self Doping for Synergistically Tuning the Electronic and Thermal Transport Coefficients in n-type Half-Heuslers

abstract: Ternary intermetallic half-Heusler (HH) compounds (XYZ) with 18 valence electron count viz. ZrCoSb, ZrNiSn, and ZrPdSn, have revealed promising thermoelectric properties. Exemplarily, it has been experimentally observed that a slight change in the content of Y-site atoms (by ~3-12.5% i.e., m =0.03, 0.125 in ZrY(1+m)Z) leads to drastic lowering in the lattice thermal conductivity (kL) by more than 65-80% in many of these compounds. The present work aims at exploring the possibility of maximizing the electronic transport scenario after achieving the low kL limit in these compounds. By taking into account the full anharmonicity of the lattice dynamics, Boltzmann transport calculations are performed under the framework of density functional theory. Our results show that these excess atoms present in the vacant lattice site induce scattering by acting either as a rattling mode or by hybridizing with the acoustic modes of the host depending upon their mass and bonding chemistry, respectively. Furthermore, the introduction of these scattering centers may lead to the formation of a defect mid-gap state in the electronic band structure (detrimental for electronic transport) or lead to light doping of the host compound. The latter is found to be particularly conducive for attaining synergy in both thermal as well as electronic transport.


title: Echopype: A Python library for interoperable and scalable processing of water column sonar data for biological information

abstract: High-frequency sonar systems deployed on a wide array of ocean observing platforms are creating a deluge of water column sonar data at an unprecedented speed from all corners of the ocean. Efficient and integrative analysis of these data, either across different sonar instruments or with other oceanographic datasets, holds the key to understanding the response of marine ecosystems to the rapidly changing climate. Here we present Echopype, an open-source Python software library designed to address this need. By standardizing water column sonar data from diverse instruments following a community convention and utilizing the widely embraced netCDF data model to encode sonar data as labeled, multi-dimensional arrays, Echopype facilitates intuitive, user-friendly exploration and use of sonar data in an instrument-agnostic manner. By leveraging existing open-source Python libraries optimized for distributed computing, Echopype directly enables computational interoperability and scalability in both local and cloud computing environments. Echopype's modularized package structure further provides a conceptually unified implementation framework for expanding its support for additional instrument raw data formats and incorporating new data analysis functionalities. We envision the continued development of Echopype as a catalyst for making information derived from water column sonar data an integrated component of regional and global ocean observation strategies.


title: Von Mises Tapering: A New Circular Windowing

abstract: Discrete and continuous standard windowing are revisited and a a new taper is introduced, which is derived from the normal circular distribution by von Mises. Both the continuous-time and the discrete-time windows are considered, and their spectra obtained. A brief comparison with further classical window families is performed in terms of their properties in the spectral domain. These windows can be used in spectral analysis, and in particular, in the design of FIR (finite impulse response) filters as an alternative to the Kaiser window


title: An accurate description of the structural and electronic properties of twisted bilayer graphene-boron nitride heterostructures

abstract: Twisted bilayer graphene (TBG) has taken the spotlight in the condensed matter community since the discovery of correlated phases at the so-called magic angle. Interestingly, the role of a substrate on the electronic properties of TBG has not been completely elucidated. Up to now, most of the theoretical works carried out in order to understand this effect have been done using continuum models. In this work, we have gone one step ahead and have studied heterostructures of TBG and hBN using an atomistic tight-binding model together with semi-classical molecular dynamics to take into account relaxation effects. We found that the presence of the hBN substrate has significant effects to the band structure of TBG even in the case where TBG and hBN are not aligned. Specifically, the substrate induces a large mass gap and strong pseudomagnetic fields which break the layer degeneracy. Interestingly, such degeneracy can be recovered with a second hBN layer. Finally, we have also developed a continuum model that describes the tight-binding band structure. Our results show that a real-space tight-binding model in combination with semi-classical molecular dynamics are a powerful tool to study the electronic properties of supermoir\'e systems and that using this real-space methodology could be key in order to explain certain experimental results in which the effect of the substrate plays an important role.


title: Leveraging SE(3) Equivariance for Self-Supervised Category-Level Object Pose Estimation

abstract: Category-level object pose estimation aims to find 6D object poses of previously unseen object instances from known categories without access to object CAD models. To reduce the huge amount of pose annotations needed for category-level learning, we propose for the first time a self-supervised learning framework to estimate category-level 6D object pose from single 3D point clouds.During training, our method assumes no ground-truth pose annotations, no CAD models, and no multi-view supervision. The key to our method is to disentangle shape and pose through an invariant shape reconstruction module and an equivariant pose estimation module, empowered by SE(3) equivariant point cloud networks.The invariant shape reconstruction module learns to perform aligned reconstructions, yielding a category-level reference frame without using any annotations. In addition, the equivariant pose estimation module achieves category-level pose estimation accuracy that is comparable to some fully supervised methods. Extensive experiments demonstrate the effectiveness of our approach on both complete and partial depth point clouds from the ModelNet40 benchmark, and on real depth point clouds from the NOCS-REAL 275 dataset. The project page with code and visualizations can be found at: https://dragonlong.github.io/equi-pose.


title: How should human translation coexist with NMT? Efficient tool for building high quality parallel corpus

abstract: This paper proposes a tool for efficiently constructing high-quality parallel corpora with minimizing human labor and making this tool publicly available. Our proposed construction process is based on neural machine translation (NMT) to allow for it to not only coexist with human translation, but also improve its efficiency by combining data quality control with human translation in a data-centric approach.


title: Automatic Knowledge Augmentation for Generative Commonsense Reasoning

abstract: Generative commonsense reasoning is the capability of a language model to generate a sentence with a given concept-set that is based on commonsense knowledge. However, generative language models still struggle to provide outputs, and the training set does not contain patterns that are sufficient for generative commonsense reasoning. In this paper, we propose a data-centric method that uses automatic knowledge augmentation to extend commonsense knowledge using a machine knowledge generator. This method can generate semi-golden sentences that improve the generative commonsense reasoning of a language model without architecture modifications. Furthermore, this approach is a model-agnostic method and does not require human effort for data construction.


title: M2MRF: Many-to-Many Reassembly of Features for Tiny Lesion Segmentation in Fundus Images

abstract: Feature reassembly is an essential component in modern CNN-based segmentation approaches, which includes feature downsampling and upsampling operators. Existing operators reassemble multiple features from a small predefined region into one for each target location independently. This may result in loss of spatial information, which could vanish activations caused by tiny lesions particularly when they cluster together. In this paper, we propose a many-to-many reassembly of features (M2MRF). It reassembles features in a dimension-reduced feature space and simultaneously aggregates multiple features inside a large predefined region into multiple target features. In this way, long range spatial dependencies are captured to maintain activations on tiny lesions. Experimental results on two lesion segmentation benchmarks, i.e. DDR and IDRiD, show that (1) our M2MRF outperforms existing feature reassembly operators; (2) equipped with our M2MRF, the HRNetv2 is able to achieve significant better performance to CNN-based segmentation methods and competitive even better performance to two recent transformer-based segmentation methods. Our code is made publicly available at https://github.com/CVIU-CSU/M2MRF-Lesion-Segmentation.


title: Negative autoregulation controls size scaling in confined gene expression reactions

abstract: Gene expression via transcription-translation is the most fundamental reaction to sustain biological systems, and complex reactions such as this one occur in a small compartment of living cells. There is increasing evidence that t physical effects, such as molecular crowding or excluded volume effects of transcriptional-translational machinery, affect the yield of reaction products. On the other hand, transcriptional feedback that controls gene expression during mRNA synthesis is also a vital mechanism that regulates protein synthesis in cells. However, the excluded volume effect of spatial constraints on feedback regulation is not well understood. Here, we study the confinement effect on transcriptional autoregulatory feedbacks of gene expression reactions using a theoretical model. The excluded volume effects between molecules and the membrane interface suppress the gene expression in a small cell-sized compartment. We find that negative feedback regulation at the transcription step mitigates this size-induced gene repression and alters the scaling relation of gene expression level on compartment volume, approaching the regular scaling relation without the steric effect. This recovery of regular size-scaling of gene expression does not appear in positive feedback regulation, suggesting that negative autoregulatory feedback is crucial for maintaining reaction products constant regardless of compartment size in heterogeneous cell populations.


title: Learning Continuous Representation of Audio for Arbitrary Scale Super Resolution

abstract: Audio super resolution aims to predict the missing high resolution components of the low resolution audio signals. While audio in nature is a continuous signal, current approaches treat it as discrete data (i.e., input is defined on discrete time domain), and consider the super resolution over a fixed scale factor (i.e., it is required to train a new neural network to change output resolution). To obtain a continuous representation of audio and enable super resolution for arbitrary scale factor, we propose a method of implicit neural representation, coined Local Implicit representation for Super resolution of Arbitrary scale (LISA). Our method locally parameterizes a chunk of audio as a function of continuous time, and represents each chunk with the local latent codes of neighboring chunks so that the function can extrapolate the signal at any time coordinate, i.e., infinite resolution. To learn a continuous representation for audio, we design a self-supervised learning strategy to practice super resolution tasks up to the original resolution by stochastic selection. Our numerical evaluation shows that LISA outperforms the previous fixed-scale methods with a fraction of parameters, but also is capable of arbitrary scale super resolution even beyond the resolution of training data.


title: Wave-particle interactions in quantum plasmas

abstract: Wave-particle interaction (WPI) is one of the most fundamental processes in plasma physics in which one most prominent example is the Landau damping. Owing to its excellent energy-exchange mechanism, the WPI has gained increasing interest not only from theoretical points of view but also its many important applications including plasma heating and plasma acceleration. In this review work, we present theoretical backgrounds of linear and nonlinear wave-particle interactions in quantum plasmas. Specifically, we focus on the wave-particle interactions for homogeneous plasma waves (i.e., waves with infinite extent rather than a localized pulse) as well as for propagating electrostatic waves in the weak and strong quantum regimes to demonstrate the modifications of several classical features including those associated with resonant and trapped particles. Finally, the future perspectives of WPI in quantum plasmas are presented.


title: Backdoor Pre-trained Models Can Transfer to All

abstract: Pre-trained general-purpose language models have been a dominating component in enabling real-world natural language processing (NLP) applications. However, a pre-trained model with backdoor can be a severe threat to the applications. Most existing backdoor attacks in NLP are conducted in the fine-tuning phase by introducing malicious triggers in the targeted class, thus relying greatly on the prior knowledge of the fine-tuning task. In this paper, we propose a new approach to map the inputs containing triggers directly to a predefined output representation of the pre-trained NLP models, e.g., a predefined output representation for the classification token in BERT, instead of a target label. It can thus introduce backdoor to a wide range of downstream tasks without any prior knowledge. Additionally, in light of the unique properties of triggers in NLP, we propose two new metrics to measure the performance of backdoor attacks in terms of both effectiveness and stealthiness. Our experiments with various types of triggers show that our method is widely applicable to different fine-tuning tasks (classification and named entity recognition) and to different models (such as BERT, XLNet, BART), which poses a severe threat. Furthermore, by collaborating with the popular online model repository Hugging Face, the threat brought by our method has been confirmed. Finally, we analyze the factors that may affect the attack performance and share insights on the causes of the success of our backdoor attack.


title: Random matrices associated with general barrier billiards

abstract: The paper is devoted to the derivation of random unitary matrices whose spectral statistics is the same as statistics of quantum eigenvalues of certain deterministic two-dimensional barrier billiards. These random matrices are extracted from the exact billiard quantisation condition by applying a random phase approximation for high-excited states. An important ingredient of the method is the calculation of $S$-matrix for the scattering in the slab with a half-plane inside by the Wiener-Hopf method. It appears that these random matrices have the form similar to the one obtained by the author in [arXiv:2107.03364] for a particular case of symmetric barrier billiards but with different choices of parameters. The local correlation functions of the resulting random matrices are well approximated by the semi-Poisson distribution which is a characteristic feature of various models with intermediate statistics. Consequently, local spectral statistics of the considered barrier billiards is (i) universal for almost all values of parameters and (ii) well described by the semi-Poisson statistics.


title: Personal thermal comfort models using digital twins: Preference prediction with BIM-extracted spatial-temporal proximity data from Build2Vec

abstract: Conventional thermal preference prediction in buildings has limitations due to the difficulty in capturing all environmental and personal factors. New model features can improve the ability of a machine learning model to classify a person's thermal preference. The spatial context of a building can provide information to models about the windows, walls, heating and cooling sources, air diffusers, and other factors that create micro-environments that influence thermal comfort. Due to spatial heterogeneity, it is impractical to position sensors at a high enough resolution to capture all conditions. This research aims to build upon an existing vector-based spatial model, called Build2Vec, for predicting spatial-temporal occupants' indoor environmental preferences. Build2Vec utilizes the spatial data from the Building Information Model (BIM) and indoor localization in a real-world setting. This framework uses longitudinal intensive thermal comfort subjective feedback from smart watch-based ecological momentary assessments (EMA). The aggregation of these data is combined into a graph network structure (i.e., objects and relations) and used as input for a classification model to predict occupant thermal preference. The results of a test implementation show 14-28% accuracy improvement over a set of baselines that use conventional thermal preference prediction input variables.


title: AutoDrone: Shortest Optimized Obstacle-Free Path Planning for Autonomous Drones

abstract: With technological advancement, drone has emerged as unmanned aerial vehicle that can be controlled by humans to fly or reach a destination. This may be autonomous as well, where the drone itself is intelligent enough to find a shortest obstacle-free path to reach the destination from a designated source. Be it a planned smart city or even a wreckage site affected by natural calamity, we may imagine the buildings, any surface-erected structure or other blockage as obstacles for the drone to fly in a straight line-of-sight path. To address such path-planning of drones, the bird's eye-view of the whole landscape is first transformed to a graph of grid-cells, where some are occupied to indicate the obstacles and some are free to indicate the free path. We propose a method to find out the shortest obstacle-free path in the coordinate system guided by GPS. The autonomous drone (AutoDrone) will thus be able to move from one place to another along the shortest path, without colliding into hindrances, while traveling in a two-dimensional space. Heuristics to extend this to long journeys and 3D space are also elaborated. Our approach can be especially beneficial in rescue operations and fast delivery or pick-up in an energy-efficient way, where our algorithm will help in finding out the shortest path and angle along which it should fly. Experiments are done on different scenarios of map layouts and obstacle positions to understand the shortest feasible route, computed by the autonomous drone.


title: A Comparative Review of Recent Few-Shot Object Detection Algorithms

abstract: Few-shot object detection, learning to adapt to the novel classes with a few labeled data, is an imperative and long-lasting problem due to the inherent long-tail distribution of real-world data and the urgent demands to cut costs of data collection and annotation. Recently, some studies have explored how to use implicit cues in extra datasets without target-domain supervision to help few-shot detectors refine robust task notions. This survey provides a comprehensive overview from current classic and latest achievements for few-shot object detection to future research expectations from manifold perspectives. In particular, we first propose a data-based taxonomy of the training data and the form of corresponding supervision which are accessed during the training stage. Following this taxonomy, we present a significant review of the formal definition, main challenges, benchmark datasets, evaluation metrics, and learning strategies. In addition, we present a detailed investigation of how to interplay the object detection methods to develop this issue systematically. Finally, we conclude with the current status of few-shot object detection, along with potential research directions for this field.


title: Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis

abstract: In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining decompositions of labelled transition systems, such that each component is synthesisable iff so is the original system. Then corresponding Petri Net composition operators are searched to combine the solutions of the various components into a solution of the original system. The paper presents two such techniques, which may be combined: products and articulations. They may also be used to structure transition systems, and to analyse the performance of synthesis techniques when applied to such structures.


title: Imitating Arbitrary Talking Style for Realistic Audio-DrivenTalking Face Synthesis

abstract: People talk with diversified styles. For one piece of speech, different talking styles exhibit significant differences in the facial and head pose movements. For example, the "excited" style usually talks with the mouth wide open, while the "solemn" style is more standardized and seldomly exhibits exaggerated motions. Due to such huge differences between different styles, it is necessary to incorporate the talking style into audio-driven talking face synthesis framework. In this paper, we propose to inject style into the talking face synthesis framework through imitating arbitrary talking style of the particular reference video. Specifically, we systematically investigate talking styles with our collected \textit{Ted-HD} dataset and construct style codes as several statistics of 3D morphable model~(3DMM) parameters. Afterwards, we devise a latent-style-fusion~(LSF) model to synthesize stylized talking faces by imitating talking styles from the style codes. We emphasize the following novel characteristics of our framework: (1) It doesn't require any annotation of the style, the talking style is learned in an unsupervised manner from talking videos in the wild. (2) It can imitate arbitrary styles from arbitrary videos, and the style codes can also be interpolated to generate new styles. Extensive experiments demonstrate that the proposed framework has the ability to synthesize more natural and expressive talking styles compared with baseline methods.


title: Multi-wavelength emission from leptonic processes in ageing galaxy bubbles

abstract: The evolutionary behavior and multi-wavelength emission properties of bubbles around galaxies, such as the \textit{Fermi} bubbles of the Milky Way, is unsettled. We perform 3D magnetohydrodynamical simulations to investigate the evolution of leptonic galaxy bubbles driven by a 0.3 Myr intense explosive outburst from the nucleus of Milky Way-like galaxies. Adopting an ageing model for their leptonic cosmic rays, we post-process our simulations to compute the multi-wavelength emission properties of these bubbles. We calculate the resulting spectra emitted from the bubbles from radio frequencies to $\gamma$-rays, and construct emission maps in four energy bands to show the development of the spatial emission structure of the bubbles. The simulated bubbles show a progression in their spectral properties as they age. In particular, the TeV $\gamma$-ray emission is initially strong and dominated by inverse Compton scattering, but falls rapidly after $\sim$ 1 Myr. By contrast, the radio synchrotron emission remains relatively stable and fades slowly over the lifetime of the bubble. Based on the emission properties of our post-processed simulations, we demonstrate that $\gamma$-ray observations will be limited in their ability to detect galaxy bubbles, with only young bubbles around nearby galaxies being within reach. However, radio observations with e.g. the up-coming Square Kilometer Array, would be able to detect substantially older bubbles at much greater distances, and would be better placed to capture the evolutionary progression and diversity of galaxy bubble populations.


title: Calculational Techniques in Particle Theory

abstract: In this contribution, I review some of the latest advances in calculational techniques in theoretical particle physics. I focus, in particular, on their application to the calculation of highly non-trivial scattering processes, which are relevant for precision phenomenology studies at the Large Hadron Collider at CERN.


title: One Step at a Time: Pros and Cons of Multi-Step Meta-Gradient Reinforcement Learning

abstract: Self-tuning algorithms that adapt the learning process online encourage more effective and robust learning. Among all the methods available, meta-gradients have emerged as a promising approach. They leverage the differentiability of the learning rule with respect to some hyper-parameters to adapt them in an online fashion. Although meta-gradients can be accumulated over multiple learning steps to avoid myopic updates, this is rarely used in practice. In this work, we demonstrate that whilst multi-step meta-gradients do provide a better learning signal in expectation, this comes at the cost of a significant increase in variance, hindering performance. In the light of this analysis, we introduce a novel method mixing multiple inner steps that enjoys a more accurate and robust meta-gradient signal, essentially trading off bias and variance in meta-gradient estimation. When applied to the Snake game, the mixing meta-gradient algorithm can cut the variance by a factor of 3 while achieving similar or higher performance.


title: PatchFormer: An Efficient Point Transformer with Patch Attention

abstract: The point cloud learning community witnesses a modeling shift from CNNs to Transformers, where pure Transformer architectures have achieved top accuracy on the major learning benchmarks. However, existing point Transformers are computationally expensive since they need to generate a large attention map, which has quadratic complexity (both in space and time) with respect to input size. To solve this shortcoming, we introduce Patch ATtention (PAT) to adaptively learn a much smaller set of bases upon which the attention maps are computed. By a weighted summation upon these bases, PAT not only captures the global shape context but also achieves linear complexity to input size. In addition, we propose a lightweight Multi-Scale aTtention (MST) block to build attentions among features of different scales, providing the model with multi-scale features. Equipped with the PAT and MST, we construct our neural architecture called PatchFormer that integrates both modules into a joint framework for point cloud learning. Extensive experiments demonstrate that our network achieves comparable accuracy on general point cloud learning tasks with 9.2x speed-up than previous point Transformers.


title: A new group of doubly charmed molecule with $T$-doublet charmed meson pair

abstract: Inspired by the observation of the doubly charmed tetraquark state $T_{cc}^+$ at the LHCb Collaboration, we systematically study the $S$-wave interactions between a pair of charmed mesons ($D_{1},\,D_{2}^{\ast}$) in the $T$-doublet, where we adopt the one-boson-exchange model and consider both the $S$-$D$ wave mixing and coupled channel effects. Our numerical results suggest that the prime doubly charmed molecular tetraquark candidates are the $S$-wave $D_1D_1$ state with $I(J^P)=0(1^+)$, the $S$-wave $D_1{D}_2^{\ast}$ states with $I(J^P)=0(1^+,\,2^+,\,3^+)$, and the $S$-wave ${D}_2^{\ast}{D}_2^{\ast}$ states with $I(J^P)=0(1^+,\,3^+)$. The $S$-wave $D_1D_1$ state with $I(J^P)=1(2^+)$, the $S$-wave $D_1{D}_2^{\ast}$ state with $I(J^P)=1(3^+)$, and the $S$-wave ${D}_2^{\ast}{D}_2^{\ast}$ state with $I(J^P)=1(4^+)$ may be the possible isovector doubly charmed molecular tetraquark candidates. We expect the experiments like the LHCb or Belle II collaborations to search for these predicted doubly charmed molecular tetraquarks near the $D_1D_1$, $D_1D_2^*$, and $D_2^*D_2^*$ thresholds in future.


title: Excitonic Correlations, Spin-State Ordering, and Magnetic-Field Effects in One-Dimensional Two-Orbital Hubbard Model for Spin-Crossover Region

abstract: The electronic properties of excitonic insulators have been examined precisely in recent years. Pictures of exciton condensation may be applied to the spin-state transition observed in perovskite cobalt oxides. We examine the crystal-field and magnetic-field dependences of spatial spin structures on the basis of the density matrix renormalization group method using an effective model for the one-dimensional two-orbital Hubbard model in strong-coupling limit. We find an excitonic insulating (EI) phase and a spin-state ordering (SSO) phase in the intermediate region between low-spin and high-spin phases. In the EI phase, spin-triplet excitons are spatially fluctuating due to quantum effects, and an incommensurate spin correlation realizes. The analyses of a spin gap and degeneracy of entanglement spectra suggest the realization of the Haldane-like edge state in the EI phase. In the SSO phase, 3-fold or incommensurate SSO structures realize depending on the crystal-field splitting. These structures are stabilized as a result of the competition of exchange interactions between spin states.


title: Mastering Atari Games with Limited Data

abstract: Reinforcement learning has achieved great success in many applications. However, sample efficiency remains a key challenge, with prominent methods requiring millions (or even billions) of environment steps to train. Recently, there has been significant progress in sample efficient image-based RL algorithms; however, consistent human-level performance on the Atari game benchmark remains an elusive goal. We propose a sample efficient model-based visual RL algorithm built on MuZero, which we name EfficientZero. Our method achieves 194.3% mean human performance and 109.0% median performance on the Atari 100k benchmark with only two hours of real-time game experience and outperforms the state SAC in some tasks on the DMControl 100k benchmark. This is the first time an algorithm achieves super-human performance on Atari games with such little data. EfficientZero's performance is also close to DQN's performance at 200 million frames while we consume 500 times less data. EfficientZero's low sample complexity and high performance can bring RL closer to real-world applicability. We implement our algorithm in an easy-to-understand manner and it is available at https://github.com/YeWR/EfficientZero. We hope it will accelerate the research of MCTS-based RL algorithms in the wider community.


title: Classical Limit of Yukawa theory from quantum state perspective

abstract: Physical systems which can be described by classical fields in classical theory, can also be described by quantum states in quantum field theory. We study the correspondence between the classical field and the quantum state which both describe the same physical systems. We derive the quantum states corresponding to the classical field in the representation expanded by the eigenstates of quantum field operators. This allows us to directly observe the spatial entanglement structure of quantum states and explore the differences and relationships between quantum superposition and classical superposition. We find that if two classical fields are identical in a certain spatial region, then their corresponding quantum states have the same reduced density matrix in that region. This indicates that knowing the classical field in a local region is sufficient to immediately derive the reduced density matrix for that region. According to the correspondence between classical observables and quantum states, we derive the equation of motion in classical theory from the evolution of quantum states in Yukawa theory. This leads to the relativistic classical Yukawa theory, and we further obtain relativistic corrections to the Yukawa potential.


title: Maximum force conjecture in Kiselev, $4$D-EGB and Barrow corrected-entropy black holes

abstract: The classical maximum force bound in the general relativity (GR) is defined between two black holes with touching horizons. We consider the maximum force conjecture for Kiselev solution that the black holes surrounded by quintessential matter, $w=-2/3$. We show that the maximum force bound is independent of black hole masses in this solution and we also indicate that when two black holes surrounded by static quintessence, the maximum force between them can approach to zero. In continue, we also study the maximum force bound for $4$D Einstein-Gauss-Bonnet ($4$D-EGB) black holes and we obtain that in this theory the maximum force bound exists and the force is bigger than the maximum force in GR. Finally, we consider the Barrow entropy in the framework of the entropic force theories and find that the maximum force only holds when the exponent of the corrected-entropy, namely $\Delta$, goes to zero and for other ranges of $\Delta$ it does not hold in which the mass dependence in the maximum force bound may cause the formation of naked singularities.


title: Adjacency constraint for efficient hierarchical reinforcement learning

abstract: Goal-conditioned Hierarchical Reinforcement Learning (HRL) is a promising approach for scaling up reinforcement learning (RL) techniques. However, it often suffers from training inefficiency as the action space of the high-level, i.e., the goal space, is large. Searching in a large goal space poses difficulty for both high-level subgoal generation and low-level policy learning. In this paper, we show that this problem can be effectively alleviated by restricting the high-level action space from the whole goal space to a $k$-step adjacent region of the current state using an adjacency constraint. We theoretically prove that in a deterministic Markov Decision Process (MDP), the proposed adjacency constraint preserves the optimal hierarchical policy, while in a stochastic MDP the adjacency constraint induces a bounded state-value suboptimality determined by the MDP's transition structure. We further show that this constraint can be practically implemented by training an adjacency network that can discriminate between adjacent and non-adjacent subgoals. Experimental results on discrete and continuous control tasks including challenging simulated robot locomotion and manipulation tasks show that incorporating the adjacency constraint significantly boosts the performance of state-of-the-art goal-conditioned HRL approaches.


title: Cycle class maps for Chow groups of zero-cycles with modulus

abstract: For a quasi-projective smooth scheme X of pure dimension d over a field k and an effective Cartier divisor D on X whose support is a simple normal crossing divisor, we construct a cycle class map from the Chow group of zero-cycles with modulus to the top cohomology of the dth relative Milnor K-sheaf.


title: Approximation properties of Residual Neural Networks for Kolmogorov PDEs

abstract: In recent years residual neural networks (ResNets) as introduced by [He, K., Zhang, X., Ren, S., and Sun, J., Proceedings of the IEEE conference on computer vision and pattern recognition (2016), 770-778] have become very popular in a large number of applications, including in image classification and segmentation. They provide a new perspective in training very deep neural networks without suffering the vanishing gradient problem. In this article we show that ResNets are able to approximate solutions of Kolmogorov partial differential equations (PDEs) with constant diffusion and possibly nonlinear drift coefficients without suffering the curse of dimensionality, which is to say the number of parameters of the approximating ResNets grows at most polynomially in the reciprocal of the approximation accuracy $\varepsilon > 0$ and the dimension of the considered PDE $d\in\mathbb{N}$. We adapt a proof in [Jentzen, A., Salimova, D., and Welti, T., Commun. Math. Sci. 19, 5 (2021), 1167-1205] - who showed a similar result for feedforward neural networks (FNNs) - to ResNets. In contrast to FNNs, the Euler-Maruyama approximation structure of ResNets simplifies the construction of the approximating ResNets substantially. Moreover, contrary to the above work, in our proof using ResNets does not require the existence of an FNN (or a ResNet) representing the identity map, which enlarges the set of applicable activation functions.