title: ReShape: a decoder for hypergraph product codes

abstract: The design of decoding algorithms is a significant technological component in the development of fault-tolerant quantum computers. Often design of quantum decoders is inspired by classical decoding algorithms, but there are no general principles for building quantum decoders from classical decoders. Given any pair of classical codes, we can build a quantum code using the hypergraph product, yielding a hypergraph product code. Here we show we can also lift the decoders for these classical codes. That is, given oracle access to a minimum weight decoder for the relevant classical codes, the corresponding $[[n,k,d]]$ quantum code can be efficiently decoded for any error of weight smaller than $(d-1)/2$. The quantum decoder requires only $O(k)$ oracle calls to the classical decoder and $O(n^2)$ classical resources. The lift and the correctness proof of the decoder have a purely algebraic nature that draws on the discovery of some novel homological invariants of the hypergraph product codespace. While the decoder works perfectly for adversarial errors, it is not suitable for more realistic stochastic noise models and therefore can not be used to establish an error correcting threshold.


title: Survey on Multi-Agent Q-Learning frameworks for resource management in wireless sensor network

abstract: This report aims to survey multi-agent Q-Learning algorithms, analyze different game theory frameworks used, address each framework's applications, and report challenges and future directions. The target application for this study is resource management in the wireless sensor network. In the first section, the author provided an introduction regarding the applications of wireless sensor networks. After that, the author presented a summary of the Q-Learning algorithm, a well-known classic solution for model-free reinforcement learning problems. In the third section, the author extended the Q-Learning algorithm for multi-agent scenarios and discussed its challenges. In the fourth section, the author surveyed sets of game-theoretic frameworks that researchers used to address this problem for resource allocation and task scheduling in the wireless sensor networks. Lastly, the author mentioned some interesting open challenges in this domain.


title: Anisotropy in constraint 4D Gauss-Bonnet gravity

abstract: Recently a new 4D Einstein-Gauss-Bonnet theory has been introduced \textbf{[Phys. Rev. Lett. 124 (2020) 081301]} with a serious debate that it does not possess a covariant equation of motion in $4D$. This feature, makes impossible to consider non-symetric space-times in this model, such as anisotropic cosmology. In this note, we will present a new proposal to make this happen, by introducing a Lagrange multiplier to the action which eliminates the higher dimensional term from the equation of motion. The theory has then a covariant $4D$ equation of motion which is useful to study the less symmetric metrics. On top of FRW universe, the constraint theory is equivalent to the original $4D$ Einstein-Gauss-Bonnet gravity. We will then consider the anisotropic cosmology of the model and compare the theory with observational data. We will see that the theory becomes non-conservative and the matter density abundance falls more rapidly at larger redshifts compared to the conservative matter sources.


title: How do Voices from Past Speech Synthesis Challenges Compare Today?

abstract: Shared challenges provide a venue for comparing systems trained on common data using a standardized evaluation, and they also provide an invaluable resource for researchers when the data and evaluation results are publicly released. The Blizzard Challenge and Voice Conversion Challenge are two such challenges for text-to-speech synthesis and for speaker conversion, respectively, and their publicly-available system samples and listening test results comprise a historical record of state-of-the-art synthesis methods over the years. In this paper, we revisit these past challenges and conduct a large-scale listening test with samples from many challenges combined. Our aims are to analyze and compare opinions of a large number of systems together, to determine whether and how opinions change over time, and to collect a large-scale dataset of a diverse variety of synthetic samples and their ratings for further research. We found strong correlations challenge by challenge at the system level between the original results and our new listening test. We also observed the importance of the choice of speaker on synthesis quality.


title: The additive index of polynomials over finite fields

abstract: In this paper we introduce the additive analogue of the index of a polynomial over finite fields. We study several problems in the theory of polynomials over finite fields in terms of their additive indices, such as value set sizes, bounds on multiplicative character sums, and characterizations of permutation polynomials.


title: A Geometric Analysis of Neural Collapse with Unconstrained Features

abstract: We provide the first global optimization landscape analysis of $Neural\;Collapse$ -- an intriguing empirical phenomenon that arises in the last-layer classifiers and features of neural networks during the terminal phase of training. As recently reported by Papyan et al., this phenomenon implies that ($i$) the class means and the last-layer classifiers all collapse to the vertices of a Simplex Equiangular Tight Frame (ETF) up to scaling, and ($ii$) cross-example within-class variability of last-layer activations collapses to zero. We study the problem based on a simplified $unconstrained\;feature\;model$, which isolates the topmost layers from the classifier of the neural network. In this context, we show that the classical cross-entropy loss with weight decay has a benign global landscape, in the sense that the only global minimizers are the Simplex ETFs while all other critical points are strict saddles whose Hessian exhibit negative curvature directions. In contrast to existing landscape analysis for deep neural networks which is often disconnected from practice, our analysis of the simplified model not only does it explain what kind of features are learned in the last layer, but it also shows why they can be efficiently optimized in the simplified settings, matching the empirical observations in practical deep network architectures. These findings could have profound implications for optimization, generalization, and robustness of broad interests. For example, our experiments demonstrate that one may set the feature dimension equal to the number of classes and fix the last-layer classifier to be a Simplex ETF for network training, which reduces memory cost by over $20\%$ on ResNet18 without sacrificing the generalization performance.

categories: cs.LG cs.AI cs.IT math.IT math.OC stat.ML


title: A Small-Gain Theorem for Discrete-Time Convergent Systems and Its Applications

abstract: Convergent, contractive or incremental stability properties of nonlinear systems have attracted interest for control tasks such as observer design, output regulation and synchronization. The convergence property plays a central role in the neuromorphic (brain-inspired) computing of reservoir computing, which seeks to harness the information processing capability of nonlinear systems. This paper presents a small-gain theorem for discrete-time output-feedback interconnected systems to be uniformly input-to-output convergent (UIOC) with outputs converging to a bounded reference output uniquely determined by the input. A small-gain theorem for interconnected time-varying discrete-time uniform input-to-output stable systems that could be of separate interest is also presented as an intermediate result. Applications of the UIOC small-gain theorem are illustrated in the design of observer-based controllers and interconnected nonlinear classical and quantum dynamical systems (as reservoir computers) for black-box system identification.


title: Towards Content Provider Aware Recommender Systems: A Simulation Study on the Interplay between User and Provider Utilities

abstract: Most existing recommender systems focus primarily on matching users to content which maximizes user satisfaction on the platform. It is increasingly obvious, however, that content providers have a critical influence on user satisfaction through content creation, largely determining the content pool available for recommendation. A natural question thus arises: can we design recommenders taking into account the long-term utility of both users and content providers? By doing so, we hope to sustain more providers and a more diverse content pool for long-term user satisfaction. Understanding the full impact of recommendations on both user and provider groups is challenging. This paper aims to serve as a research investigation of one approach toward building a provider-aware recommender, and evaluating its impact in a simulated setup. To characterize the user-recommender-provider interdependence, we complement user modeling by formalizing provider dynamics as well. The resulting joint dynamical system gives rise to a weakly-coupled partially observable Markov decision process driven by recommender actions and user feedback to providers. We then build a REINFORCE recommender agent, coined EcoAgent, to optimize a joint objective of user utility and the counterfactual utility lift of the provider associated with the recommended content, which we show to be equivalent to maximizing overall user utility and the utilities of all providers on the platform under some mild assumptions. To evaluate our approach, we introduce a simulation environment capturing the key interactions among users, providers, and the recommender. We offer a number of simulated experiments that shed light on both the benefits and the limitations of our approach. These results help understand how and when a provider-aware recommender agent is of benefit in building multi-stakeholder recommender systems.


title: Violation of energy conditions and entropy production in holographic Bjorken flow

abstract: We demonstrate that a Bjorken expanding strongly coupled $\mathcal{N}=4$ Supersymmetric Yang-Mills plasma can display dynamically-driven violations of the dominant and also the weak energy condition during hydrodynamization. In addition, we find that a period of vanishing entropy production in far-from-equilibrium stages induces later violations of the dominant energy condition in the strongly coupled plasma. Such violations cannot occur in a classical description of hydrodynamization and suggest that the inclusion of quantum effects in transport can lead to new phenomena in these regimes, even for systems without anomalies or spin.


title: Targeted Quality Measurement of Health Care Providers

abstract: Measuring quality of cancer care delivered by US health providers is challenging. Patients receiving oncology care greatly vary in disease presentation among other key characteristics. In this paper we discuss a framework for institutional quality measurement which addresses the heterogeneity of patient populations. For this, we follow recent statistical developments on health outcomes research and conceptualize the task of quality measurement as a causal inference problem, helping to target flexible covariate profiles that can represent specific populations of interest. To our knowledge, such covariate profiles have not been used in the quality measurement literature. We use different clinically relevant covariate profiles and evaluate methods for layered case-mix adjustments that combine weighting and regression modeling approaches in a sequential manner in order to reduce model extrapolation and allow for provider effect modification. We appraise these methods in an extensive simulation study and highlight the practical utility of weighting methods that warn the investigator when case-mix adjustments are infeasible without some form of extrapolation that goes beyond the support of the data. In a study of cancer-care outcomes, we assess the performance of oncology practices for different profiles that correspond to the types of patients who may receive cancer care. We describe how the methods examined may be particularly important for high-stakes quality measurement, such as public reporting or performance-based payments. These methods may also be applied to support the health care decisions of individual patients and provide a path to personalized quality measurement.


title: Snaking bifurcations of localized patterns on ring lattices

abstract: We study the structure of stationary patterns in bistable lattice dynamical systems posed on rings with a symmetric coupling structure in the regime of small coupling strength. We show that sparse coupling (for instance, nearest-neighbour or next-nearest-neighbour coupling) and all-to-all coupling lead to significantly different solution branches. In particular, sparse coupling leads to snaking branches with many saddle-node bifurcations, whilst all-to-all coupling leads to branches with six saddle nodes, regardless of the size of the number of nodes in the graph.


title: Balancing weights for region-level analysis: the effect of Medicaid Expansion on the uninsurance rate among states that did not expand Medicaid

abstract: We predict the average effect of Medicaid expansion on the non-elderly adult uninsurance rate among states that did not expand Medicaid in 2014 as if they had expanded their Medicaid eligibility requirements. Using American Community Survey data aggregated to the region level, we estimate this effect by finding weights that approximately reweights the expansion regions to match the covariate distribution of the non-expansion regions. Existing methods to estimate balancing weights often assume that the covariates are measured without error and do not account for dependencies in the outcome model. Our covariates have random noise that is uncorrelated with the outcome errors and our outcome model has state-level random effects inducing dependence between regions. To correct for the bias induced by the measurement error, we propose generating our weights on a linear approximation to the true covariates, using an idea from measurement error literature known as "regression-calibration" (see, e.g., Carroll (2006)). This requires auxiliary data to estimate the variability of the measurement error. We also modify the Stable Balancing Weights objective proposed by Zubizaretta (2015)) to reduce the variance of our estimator when the model errors follow our assumed correlation structure. We show that these approaches outperform existing methods when attempting to predict observed outcomes during the pre-treatment period. Using this method we estimate that Medicaid expansion would have caused a -2.33 (-3.54, -1.11) percentage point change in the adult uninsurance rate among states that did not expand Medicaid.


title: The Average Quantum Coherence of Pure State Decomposition

abstract: We study the average quantum coherence over the pure state decompositions of a mixed quantum state. An upper bound of the average quantum coherence is provided and sufficient conditions for the saturation of the upper bound are shown. These sufficient conditions always hold for two and three dimensional systems. This provides a tool to estimate the average coherence experimentally by measuring only the diagonal elements, which remarkably requires less measurements compared with state tomography. We then describe the pure state decompositions of qubit state in Bloch sphere geometrically. For any given qubit state, the optimal pure state decomposition achieving the maximal average quantum coherence as well as three other pure state decompositions are shown in the Bloch sphere. The order relations among their average quantum coherence are invariant for any coherence measure. The results presented in this paper are universal and suitable for all coherence measures.


title: Ramsey numbers of sparse digraphs

abstract: Burr and Erd\H{o}s in 1975 conjectured, and Chv\'atal, R\"odl, Szemer\'edi and Trotter later proved, that the Ramsey number of any bounded degree graph is linear in the number of vertices. In this paper, we disprove the natural directed analogue of the Burr--Erd\H{o}s conjecture, answering a question of Buci\'c, Letzter, and Sudakov. If $H$ is an acyclic digraph, the oriented Ramsey number of $H$, denoted $\overrightarrow{r_{1}}(H)$, is the least $N$ such that every tournament on $N$ vertices contains a copy of $H$. We show that for any $\Delta \geq 2$ and any sufficiently large $n$, there exists an acyclic digraph $H$ with $n$ vertices and maximum degree $\Delta$ such that \[ \overrightarrow{r_{1}}(H)\ge n^{\Omega(\Delta^{2/3}/ \log^{5/3} \Delta)}. \] This proves that $\overrightarrow{r_{1}}(H)$ is not always linear in the number of vertices for bounded-degree $H$. On the other hand, we show that $\overrightarrow{r_{1}}(H)$ is nearly linear in the number of vertices for typical bounded-degree acyclic digraphs $H$, and obtain linear or nearly linear bounds for several natural families of bounded-degree acyclic digraphs. For multiple colors, we prove a quasi-polynomial upper bound $\overrightarrow{r_{k}}(H)=2^{(\log n)^{O_{k}(1)}}$ for all bounded-degree acyclic digraphs $H$ on $n$ vertices, where $\overrightarrow{r_k}(H)$ is the least $N$ such that every $k$-edge-colored tournament on $N$ vertices contains a monochromatic copy of $H$. For $k\geq 2$ and $n\geq 4$, we exhibit an acyclic digraph $H$ with $n$ vertices and maximum degree $3$ such that $\overrightarrow{r_{k}}(H)\ge n^{\Omega(\log n/\log\log n)}$, showing that these Ramsey numbers can grow faster than any polynomial in the number of vertices.


title: The EPR paper: a pedagogical approach

abstract: On the seminal paper written by Einstein, Podolsky and Rosen [1], a critique to the completeness of quantum mechanics was posed. Part of the critique consisted in the following argument: if quantum mechanics is complete, then, two physical quantities, with non-commuting operators, can have simultaneous reality. In this paper I aim to provide a pedagogical approach to the notions used in the EPR's argument.


title: A Gladyshev theorem for trifractional Brownian motion and $n$-th order fractional Brownian motion

abstract: We prove limit theorems for the weighted quadratic variation of trifractional Brownian motion and $n$-th order fractional Brownian motion. Furthermore, a sufficient condition for the $L^P$-convergence of the weighted quadratic variation for Gaussian processes is obtained as a byproduct. As an application, we give a statistical estimator for the self-similarity index of trifractional Brownian motion. These theorems extend results of Baxter, Gladyshev, and Norvai\v{s}a.


title: Automated Primary Hyperparathyroidism Screening with Neural Networks

abstract: Primary Hyperparathyroidism(PHPT) is a relatively common disease, affecting about one in every 1,000 adults. However, screening for PHPT can be difficult, meaning it often goes undiagnosed for long periods of time. While looking at specific blood test results independently can help indicate whether a patient has PHPT, often these blood result levels can all be within their respective normal ranges despite the patient having PHPT. Based on the clinic data from the real world, in this work, we propose a novel approach to screening PHPT with neural network (NN) architecture, achieving over 97\% accuracy with common blood values as inputs. Further, we propose a second model achieving over 99\% accuracy with additional lab test values as inputs. Moreover, compared to traditional PHPT screening methods, our NN models can reduce the false negatives of traditional screening methods by 99\%.


title: Epidemics in modern economies

abstract: How are economies in a modern age impacted by epidemics? In what ways is economic life disrupted? How can pandemics be modeled? What can be done to mitigate and manage the danger? Does the threat of pandemics increase or decrease in the modern world? The Covid-19 pandemic has demonstrated the importance of these questions and the potential of complex systems science to provide answers. This article offers a broad overview of the history of pandemics, of established facts, and of models of infection diffusion, mitigation strategies, and economic impact. The example of the Covid-19 pandemic is used to illustrate the theoretical aspects, but the article also includes considerations concerning other historic epidemics and the danger of more infectious and less controllable outbreaks in the future.


title: Security Vulnerability Detection Using Deep Learning Natural Language Processing

abstract: Detecting security vulnerabilities in software before they are exploited has been a challenging problem for decades. Traditional code analysis methods have been proposed, but are often ineffective and inefficient. In this work, we model software vulnerability detection as a natural language processing (NLP) problem with source code treated as texts, and address the automated software venerability detection with recent advanced deep learning NLP models assisted by transfer learning on written English. For training and testing, we have preprocessed the NIST NVD/SARD databases and built a dataset of over 100,000 files in $C$ programming language with 123 types of vulnerabilities. The extensive experiments generate the best performance of over 93\% accuracy in detecting security vulnerabilities.


title: Migrating Client Code without Change Examples

abstract: API developers evolve software libraries to fix bugs, add new features, or refactor code. To benefit from such library evolution, the programmers of client projects have to repetitively upgrade their library usages and adapt their codebases to any library API breaking changes (e.g., API renaming). Such adaptive changes can be tedious and error-prone. Existing tools provide limited support to help programmers migrate client projects from old library versions to new ones. For instance, some tools extract API mappings be-tween library versions and only suggest simple adaptive changes (i.e., statement updates); other tools suggest or automate more complicated edits (e.g., statement insertions) based on user-provided exemplar code migrations. However, when new library versions are available, it is usually cumbersome and time-consuming for users to provide sufficient human-crafted samples in order to guide automatic migration. In this paper, we propose a novel approach, AutoUpdate, to further improve the state of the art. Instead of learning from change examples, we designed AutoUpdate to automate migration in a compiler-directed way. Namely, given a compilation error triggered by upgrading libraries, AutoUpdate exploits 13 migration opera-tors to generate candidate edits, and tentatively applies each edit until the error is resolved or all edits are explored. We conducted two experiments. The first experiment involves migrating 371 tutorial examples between versions of 5 popular libraries. AutoUpdate reduced migration-related compilation errors for 92.7% of tasks. It eliminated such errors for 32.4% of tasks, and 33.9% of the tasks have identical edits to manual migrations. In the second experiment, we applied AutoUpdate to migrate two real client projects of lucene. AutoUpdate successfully migrated both projects, and the migrated code passed all tests.


title: Upper bounds for the Lagrangian cobordism relation on Legendrian links

abstract: Lagrangian cobordism induces a preorder on the set of Legendrian links in any contact 3-manifold. We show that any finite collection of null-homologous Legendrian links in a tight contact 3-manifold with a common rotation number has an upper bound with respect to the preorder. In particular, we construct an exact Lagrangian cobordism from each element of the collection to a common Legendrian link. This construction allows us to define a notion of minimal Lagrangian genus between any two null-homologous Legendrian links with a common rotation number.


title: Exploring Explicit and Implicit Visual Relationships for Image Captioning

abstract: Image captioning is one of the most challenging tasks in AI, which aims to automatically generate textual sentences for an image. Recent methods for image captioning follow encoder-decoder framework that transforms the sequence of salient regions in an image into natural language descriptions. However, these models usually lack the comprehensive understanding of the contextual interactions reflected on various visual relationships between objects. In this paper, we explore explicit and implicit visual relationships to enrich region-level representations for image captioning. Explicitly, we build semantic graph over object pairs and exploit gated graph convolutional networks (Gated GCN) to selectively aggregate local neighbors' information. Implicitly, we draw global interactions among the detected objects through region-based bidirectional encoder representations from transformers (Region BERT) without extra relational annotations. To evaluate the effectiveness and superiority of our proposed method, we conduct extensive experiments on Microsoft COCO benchmark and achieve remarkable improvements compared with strong baselines.


title: Investigating lack of accretion disk eccentricity growth in a global 3D MHD simulation of a superhump system

abstract: We present the results of a 3D global magnetohydrodynamic (MHD) simulation of an AM CVn system that was aimed at exploring eccentricity growth in the accretion disc self-consistently from a first principles treatment of the MHD turbulence. No significant eccentricity growth occurs in the simulation. In order to investigate the reasons why, we ran 2D alpha disc simulations with alpha values of 0.01, 0.1, and 0.2, and found that only the latter two exhibit significant eccentricity growth. We present an equation expressing global eccentricity evolution in terms of contributing forces and use it to analyze the simulations. As expected, we find that the dominant term contributing to the growth of eccentricity is the tidal gravity of the companion star. In the 2D simulations, the alpha viscosity directly contributes to eccentricity growth. In contrast, the overall magnetic forces in the 3D simulation damp eccentricity. We also analyzed the mode-coupling mechanism of Lubow, and confirmed that the spiral wave excited by the 3:1 resonance was the dominant contributor to eccentricity growth in the 2D $\alpha=0.1$ simulations, but other waves also contribute significantly. We found that the $\alpha=0.1$ and 0.2 simulations had more relative mass at larger radii compared to the $\alpha=0.01$ and 3D MHD simulation, which also had an effective $\alpha$ of 0.01. This suggests that in 3D MHD simulations without sufficient poloidal magnetic flux, MRI turbulence does not saturate at a high enough $\alpha$ to spread the disc to large enough radii to reproduce the superhumps observed in real systems.


title: Randomized and Balanced Allocation of Units into Treatment Groups Using the Finite Selection Model for R

abstract: The original Finite Selection Model (FSM) was developed in the 1970s to enhance the design of the RAND Health Insurance Experiment (HIE; Newhouse et al. 1993). At the time of its development by Carl Morris (Morris 1979), there were fundamental computational limitations to make the method widely available for practitioners. Today, as randomized experiments increasingly become more common, there is a need for implementing experimental designs that are randomized, balanced, robust, and easily applicable to several treatment groups. To help address this problem, we revisit the original FSM under the potential outcome framework for causal inference and provide its first readily available software implementation. In this paper, we provide an introduction to the FSM and a step-by-step guide for its use in R.


title: First-order transitions at the Neel temperatures of trigonal SrMn2P2 and CaMn2P2 single crystals containing corrugated-honeycomb Mn sublattices

abstract: Single crystals of SrMn2P2 and CaMn2P2 were grown using Sn flux and characterized by single-crystal x-ray diffraction, electrical resistivity rho, heat capacity Cp, and magnetic susceptibility chi = M/H measurements versus temperature T and magnetization M versus applied magnetic field H isotherm measurements. The x-ray diffraction results show that both compounds adopt the trigonal CaAl2Si2-type structure. The rho(T) measurements demonstrate insulating ground states for both compounds. The chi(T) and Cp(T) data reveal a weak first-order antiferromagnetic (AFM) transition at the Neel temperature TN = 53(1) K for SrMn2P2 and a strong first-order AFM transition at TN = 69.8(3) K for CaMn2P2. Both compounds show an isotropic and nearly T-independent chi(T < TN). {31}P NMR measurements confirm the strong first-order transition in CaMn2P2 but show critical slowing down near TN for SrMn2P2 thus evidencing second-order character. The NMR measurements also indicate that the AFM structure of CaMn2P2 is commensurate with the lattice whereas that of SrMn2P2 is incommensurate. These first-order AFM transitions are unique among the class of trigonal (Ca, Sr, Ba)Mn2(P, As, Sb, Bi)2 compounds which otherwise exhibit second-order AFM transitions. This result presents a challenge to understand the systematics of magnetic ordering in this class of materials in which magnetically-frustrated antiferromagnetism is quasi-two-dimensional.


title: Rate Maximizations for Reconfigurable Intelligent Surface-Aided Wireless Networks: A Unified Framework via Block Minorization-Maximization

abstract: The reconfigurable intelligent surface (RIS) has arose an upsurging research interest recently due to its promising outlook in 5G-and-beyond wireless networks. With the assistance of RIS, the wireless propagation environment is no longer static and could be customized to support diverse service requirements. In this paper, we will approach the rate maximization problems in RIS-aided wireless networks by considering the beamforming and reflecting design jointly. Three representative design problems from different system settings are investigated based on a proposed unified algorithmic framework via the block minorization-maximization (BMM) method. Extensions and generalizations of the proposed framework in dealing with some other related problems are further presented. Merits of the proposed algorithms are demonstrated through numerical simulations in comparison with the state-of-the-art methods.


title: Machine Learning Framework for Quantum Sampling of Highly-Constrained, Continuous Optimization Problems

abstract: In recent years, there is a growing interest in using quantum computers for solving combinatorial optimization problems. In this work, we developed a generic, machine learning-based framework for mapping continuous-space inverse design problems into surrogate quadratic unconstrained binary optimization (QUBO) problems by employing a binary variational autoencoder and a factorization machine. The factorization machine is trained as a low-dimensional, binary surrogate model for the continuous design space and sampled using various QUBO samplers. Using the D-Wave Advantage hybrid sampler and simulated annealing, we demonstrate that by repeated resampling and retraining of the factorization machine, our framework finds designs that exhibit figures of merit exceeding those of its training set. We showcase the framework's performance on two inverse design problems by optimizing (i) thermal emitter topologies for thermophotovoltaic applications and (ii) diffractive meta-gratings for highly efficient beam steering. This technique can be further scaled to leverage future developments in quantum optimization to solve advanced inverse design problems for science and engineering applications.


title: Hidden charm tetraquark states in a diquark model

abstract: The purpose of the present study is to explore the mass spectrum of the hidden charm tetraquark states within a diquark model. Proposing that a tetraquark state is composed of a diquark and an antidiquark, the masses of all possible $[qc][\bar{q}\bar{c}]$, $[sc][\bar{s}\bar{c}]$, and $[qc][\bar{s}\bar{c}]$ $\left([sc][\bar{q}\bar{c}]\right)$ hidden charm tetraquark states are systematically calculated by use of an effective Hamiltonian, which contains color, spin, and flavor dependent interactions. Apart from the $X(3872)$, $Z(3900)$, $\chi_{c2}(3930)$, and $X(4350)$ which are taken as input to fix the model parameters, the calculated results support that the $\chi_{c0}(3860)$, $X(4020)$, $X(4050)$ are $[qc][\bar{q}\bar{c}]$ states with $I^GJ^{PC}=0^+0^{++}$, $1^+1^{+-}$, and $1^-2^{++}$, respectively, the $\chi_{c1}(4274)$ is an $[sc][\bar{s}\bar{c}]$ state with $I^GJ^{PC}=0^+1^{++}$, the $X(3940)$ is a $[qc][\bar{q}\bar{c}]$ state with $I^GJ^{PC}=1^-0^{++}$ or $1^-1^{++}$, the $Z_{cs}(3985)^-$ is an $[sc][\bar{q}\bar{c}]$ state with $J^{P}=0^{+}$ or $1^+$, and the $Z_{cs}(4000)^+$ and $Z_{cs}(4220)^+$ are $[qc][\bar{s}\bar{c}]$ states with $J^{P}=1^{+}$. Predictions for other possible tetraquark states are also given.


title: Compiling Arbitrary Single-Qubit Gates Via the Phase-Shifts of Microwave Pulses

abstract: We give an arbitrary single-qubit gate compilation scheme on superconducting processors that takes advantage of tuning the phase shift of microwave pulses to obtain a continuous gate set. This scheme is compatible with any two-qubit gate, and we only need to calibrate the $X_\pi$ and $X_{\pi/2}$ pulses. We implement this on fluxonium and obtain state-of-the-art fidelities. We give two other schemes: the first requires one $X_\pi$ pulse and one pulse with a variable rotation angle, and the second requires four $X_{\pi/2}$ pulses. We also find that if we can do virtual $Z$ gates, then we can also do virtual gates around any axis. Our results apply to any physical platform that natively supports virtual $Z$.


title: Two-beam Coupling in the Production of Quantum Correlated Images by Four-wave Mixing

abstract: We investigate the effect of 2-beam coupling in different imaging geometries in generating intensity-difference squeezing from four-wave mixing (4WM) in Rb atomic vapors. A recently-introduced dual-seeding technique can cancel out the classical noise in a seeded four-wave mixing process. This dual-seeding technique, however, can introduce new complications that involve 2-beam coupling between different seeded spatial modes in the atomic vapor and can ruin squeezing at frequencies on the order of the atomic linewidth and below. This complicates some forms of quantum imaging using these systems. Here we show that seeding the 4WM process with skew rays can eliminate the excess noise caused by 2-beam coupling. To avoid 2-beam coupling in bright, seeded images, it is important to re-image the object in the gain medium, instead of focussing through it.


title: SIPSA-Net: Shift-Invariant Pan Sharpening with Moving Object Alignment for Satellite Imagery

abstract: Pan-sharpening is a process of merging a high-resolution (HR) panchromatic (PAN) image and its corresponding low-resolution (LR) multi-spectral (MS) image to create an HR-MS and pan-sharpened image. However, due to the different sensors' locations, characteristics and acquisition time, PAN and MS image pairs often tend to have various amounts of misalignment. Conventional deep-learning-based methods that were trained with such misaligned PAN-MS image pairs suffer from diverse artifacts such as double-edge and blur artifacts in the resultant PAN-sharpened images. In this paper, we propose a novel framework called shift-invariant pan-sharpening with moving object alignment (SIPSA-Net) which is the first method to take into account such large misalignment of moving object regions for PAN sharpening. The SISPA-Net has a feature alignment module (FAM) that can adjust one feature to be aligned to another feature, even between the two different PAN and MS domains. For better alignment in pan-sharpened images, a shift-invariant spectral loss is newly designed, which ignores the inherent misalignment in the original MS input, thereby having the same effect as optimizing the spectral loss with a well-aligned MS image. Extensive experimental results show that our SIPSA-Net can generate pan-sharpened images with remarkable improvements in terms of visual quality and alignment, compared to the state-of-the-art methods.


title: Graph reliability evaluation via random $K$-out-of-$N$ systems

abstract: The present study was concerned with network failure problems for simple connected undirected graphs. A connected graph becomes unconnected through edge failure, under the assumptions that only edges can fail and each edge has an identical failure distribution. The main purpose of the present study was to show recurrent relations with respect to the number of edges in graph generation procedures. To this end, simple connected undirected graphs were correlated to random $K$-out-of-$N$ systems, and key features of such systems were applied. In addition, some simple graph cases and examples were analyzed.


title: Characterization of Collective Behaviors for Directed Signed Networks

abstract: This paper targets at exploring how to characterize collective behaviors of directed signed networks. The right eigenvector of the Laplacian matrix associated with zero eigenvalue is further investigated and its mathematical expression is proposed. It is shown that the right eigenvector plays an important role in determining the collective behaviors of directed signed networks. Furthermore, algebraic criteria are introduced for collective behaviors of directed signed networks, such as bipartite consensus, interval bipartite consensus and bipartite containment tracking. In addition, a simulation example is given to the correctness of our developed theoretical results.


title: Effects of Dust Evolution on the Vertical Shear Instability in the Outer Regions of Protoplanetary Disks

abstract: The vertical shear instability (VSI) is a hydrodynamical instability that requires rapid gas cooling and has been suggested to operate in outer regions of protoplanetary disks. The VSI drives turbulence with strong vertical motions, which could regulate the dust growth and settling. However, dust growth and settling can regulate the VSI because dust depletion makes gas cooling inefficient in outer disk regions that are optically thin to their own thermal emission. In this study, we quantify this potentially stabilizing effects of dust evolution on the VSI based on the linear analysis. We construct a model for calculating the cooling timescale, taking into account dust growth beyond micron sizes and size-dependent settling. Combining the model with the linear stability analysis, we map the region where the VSI operates, which we call the VSI zone, and estimate the maximum growth rate at each radial position. We find that dust growth as well as settling makes the VSI zone more confined around the midplane. This causes a decrease in the growth rate because the vertical shear of the rotation velocity, which is the source of the instability, is weaker at lower altitude. In our default disk model with 0.01 solar masses, dust growth from 10 micron to 1 mm causes a decrease in the growth rate by a factor of more than 10. The suppression of VSI-driven turbulence by dust evolution may promote further dust evolution in the outer regions and also explain a high degree of dust settling observed in the disk around HL Tau.


title: High-sensitivity of initial SrO growth on the residual resistivity in epitaxial thin films of SrRuO$_3$ on SrTiO$_3$ (001)

abstract: The growth of SrRuO$_3$ (SRO) thin film with high-crystallinity and low residual resistivity (RR) is essential to explore its intrinsic properties. Here, utilizing the adsorption-controlled growth technique, the growth condition of initial SrO layer on TiO$_2$-terminated SrTiO$_3$ (STO) (001) substrate was found to be crucial for achieving a low RR in the resulting SRO film grown afterward. The optimized initial SrO layer shows a $c$(2 x 2) superstructure that was characterized by electron diffraction, and a series of SRO films with different thicknesses ($t$s) were then grown. The resulting SRO films exhibit excellent crystallinity with orthorhombic-phase down to $t \approx$ 4.3 nm, which was confirmed by high resolution X-ray measurements. From azimuthal X-ray scan for SRO orthorhombic (021) reflection, we uncover four structural domains with a dominant domain of orthorhombic SRO [001] along cubic STO [010] direction. The dominant domain population depends on $t$, STO miscut angle (${\alpha}$), and miscut direction (${\beta}$), giving a volume fraction of about 92 $\%$ for $t \approx$ 26.6 nm and (${\alpha}$, ${\beta}$) ~ (0.14$^{\rm o}$, 5$^{\rm o}$). On the other hand, metallic and ferromagnetic properties were well preserved down to $t \approx$ 1.2 nm. Residual resistivity ratio (RRR = ${\rho}$(300 K)/${\rho}$(5 K)) reduces from 77.1 for $t \approx$ 28.5 nm to 2.5 for $t \approx$ 1.2 nm, while ${\rho}$(5 K) increases from 2.5 $\mu\Omega$cm for $t \approx$ 28.5 nm to 131.0 $\mu\Omega$cm for $t \approx$ 1.2 nm. The ferromagnetic onset temperature ($T_c\prime$) of around 151 K remains nearly unchanged down to $t \approx$ 9.0 nm and decreases to 90 K for $t \approx$ 1.2 nm. Our finding thus provides a practical guideline to achieve high crystallinity and low RR in ultra-thin SRO films by simply adjusting the growth of initial SrO layer.


title: Fullerene-Based Transparent Solar Cells with Average Visible Transmission Exceeding 80%

abstract: Transparent photovoltaic (TPV) devices have the great potential to apply as smart windows in the construction and agriculture field. The efficiencies of TPVs are growing up quickly in recent years and the champion efficiency even exceeds 10%. However, the transparency is still hard to further improved after the average visible transmission (AVT) achieved 73%. Each component of the TPV devices will influent the transparency of the TPV. To date, the TPV with the AVT over 80% has not been reported yet. In this work, we describe the fullerene-based highly transparent solar cells. The CuSCN/C60 heterojunction is used as the effective light absorber. By finely optimizing the thickness of fullerene films and introducing the highly transparent electrodes, the TPV exhibits the AVT up to 82% while the device efficiency is above 0.3%. This study affords a new avenue to construct highly transparent TPV device.


title: In the Danger Zone: U-Net Driven Quantile Regression can Predict High-risk SARS-CoV-2 Regions via Pollutant Particulate Matter and Satellite Imagery

abstract: Since the outbreak of COVID-19 policy makers have been relying upon non-pharmacological interventions to control the outbreak. With air pollution as a potential transmission vector there is need to include it in intervention strategies. We propose a U-net driven quantile regression model to predict $PM_{2.5}$ air pollution based on easily obtainable satellite imagery. We demonstrate that our approach can reconstruct $PM_{2.5}$ concentrations on ground-truth data and predict reasonable $PM_{2.5}$ values with their spatial distribution, even for locations where pollution data is unavailable. Such predictions of $PM_{2.5}$ characteristics could crucially advise public policy strategies geared to reduce the transmission of and lethality of COVID-19.


title: Reconfiguring Diversity and Inclusion for AI Ethics

abstract: Activists, journalists, and scholars have long raised critical questions about the relationship between diversity, representation, and structural exclusions in data-intensive tools and services. We build on work mapping the emergent landscape of corporate AI ethics to center one outcome of these conversations: the incorporation of diversity and inclusion in corporate AI ethics activities. Using interpretive document analysis and analytic tools from the values in design field, we examine how diversity and inclusion work is articulated in public-facing AI ethics documentation produced by three companies that create application and services layer AI infrastructure: Google, Microsoft, and Salesforce. We find that as these documents make diversity and inclusion more tractable to engineers and technical clients, they reveal a drift away from civil rights justifications that resonates with the managerialization of diversity by corporations in the mid-1980s. The focus on technical artifacts, such as diverse and inclusive datasets, and the replacement of equity with fairness make ethical work more actionable for everyday practitioners. Yet, they appear divorced from broader DEI initiatives and other subject matter experts that could provide needed context to nuanced decisions around how to operationalize these values. Finally, diversity and inclusion, as configured by engineering logic, positions firms not as ethics owners but as ethics allocators; while these companies claim expertise on AI ethics, the responsibility of defining who diversity and inclusion are meant to protect and where it is relevant is pushed downstream to their customers.


title: Spatio-Temporal Matching for Siamese Visual Tracking

abstract: Similarity matching is a core operation in Siamese trackers. Most Siamese trackers carry out similarity learning via cross correlation that originates from the image matching field. However, unlike 2-D image matching, the matching network in object tracking requires 4-D information (height, width, channel and time). Cross correlation neglects the information from channel and time dimensions, and thus produces ambiguous matching. This paper proposes a spatio-temporal matching process to thoroughly explore the capability of 4-D matching in space (height, width and channel) and time. In spatial matching, we introduce a space-variant channel-guided correlation (SVC-Corr) to recalibrate channel-wise feature responses for each spatial location, which can guide the generation of the target-aware matching features. In temporal matching, we investigate the time-domain context relations of the target and the background and develop an aberrance repressed module (ARM). By restricting the abrupt alteration in the interframe response maps, our ARM can clearly suppress aberrances and thus enables more robust and accurate object tracking. Furthermore, a novel anchor-free tracking framework is presented to accommodate these innovations. Experiments on challenging benchmarks including OTB100, VOT2018, VOT2020, GOT-10k, and LaSOT demonstrate the state-of-the-art performance of the proposed method.


title: Multimedia Edge Computing

abstract: In this paper, we investigate the recent studies on multimedia edge computing, from sensing not only traditional visual/audio data but also individuals' geographical preference and mobility behaviors, to performing distributed machine learning over such data using the joint edge and cloud infrastructure and using evolutional strategies like reinforcement learning and online learning at edge devices to optimize the quality of experience for multimedia services at the last mile proactively. We provide both a retrospective view of recent rapid migration (resp. merge) of cloud multimedia to (resp. and) edge-aware multimedia and insights on the fundamental guidelines for designing multimedia edge computing strategies that target satisfying the changing demand of quality of experience. By showing the recent research studies and industrial solutions, we also provide future directions towards high-quality multimedia services over edge computing.


title: Partially Interpretable Estimators (PIE): Black-Box-Refined Interpretable Machine Learning

abstract: We propose Partially Interpretable Estimators (PIE) which attribute a prediction to individual features via an interpretable model, while a (possibly) small part of the PIE prediction is attributed to the interaction of features via a black-box model, with the goal to boost the predictive performance while maintaining interpretability. As such, the interpretable model captures the main contributions of features, and the black-box model attempts to complement the interpretable piece by capturing the "nuances" of feature interactions as a refinement. We design an iterative training algorithm to jointly train the two types of models. Experimental results show that PIE is highly competitive to black-box models while outperforming interpretable baselines. In addition, the understandability of PIE is comparable to simple linear models as validated via a human evaluation.


title: Quantum Oscillation of Thermally Activated Conductivity in a Monolayer WTe$_2$-like Excitonic Insulator

abstract: Recently, quantum oscillation of the resistance in insulating monolayer WTe$_2$ was reported. An explanation in terms of gap modulation in the hybridized Landau levels of an excitonic insulator was also proposed by one of us. However, the previous picture of gap modulation in the Landau levels spectrum was built on a pair of well nested electron and hole Fermi surfaces, while the monolayer WTe$_2$ has one hole and two electron Fermi pockets with relative anisotropy. Here we demonstrate that for system like monolayer WTe$_2$, the excitonic insulating state arising from the coupled one hole and two electron pockets possesses a finite region in interaction parameter space that shows gap modulation in a magnetic field. In this region, the thermally activated conductivity displays the $1/B$ periodic oscillation and it can further develop into discrete peaks at low temperature, in agreement with the experimental observation. We show that the relative anisotropy of the bands is a key parameter and the qunatum oscillations decrease rapidly if the anisotropy increases further than the realistic value for monolayer WTe$_2$.


title: Handwritten Mathematical Expression Recognition with Bidirectionally Trained Transformer

abstract: Encoder-decoder models have made great progress on handwritten mathematical expression recognition recently. However, it is still a challenge for existing methods to assign attention to image features accurately. Moreover, those encoder-decoder models usually adopt RNN-based models in their decoder part, which makes them inefficient in processing long $\LaTeX{}$ sequences. In this paper, a transformer-based decoder is employed to replace RNN-based ones, which makes the whole model architecture very concise. Furthermore, a novel training strategy is introduced to fully exploit the potential of the transformer in bidirectional language modeling. Compared to several methods that do not use data augmentation, experiments demonstrate that our model improves the ExpRate of current state-of-the-art methods on CROHME 2014 by 2.23%. Similarly, on CROHME 2016 and CROHME 2019, we improve the ExpRate by 1.92% and 2.28% respectively.


title: What determines the HI gas content in galaxies?: morphological dependence of the HI gas fraction across M*-SFR plane

abstract: We perform a stacking analysis of the HI spectra from the Arecibo Legacy Fast ALFA (ALFALFA) survey for optically-selected local galaxies from the Sloan Digital Sky Survey (SDSS) to study the average gas fraction of galaxies at fixed stellar mass ($M_*$) and star formation rate (SFR). We first confirm that the average gas fraction strongly depends on the stellar mass and SFR of host galaxies; massive galaxies tend to have a lower gas fraction, and actively star-forming galaxies show higher gas fraction, which is consistent with many previous studies. Then we investigate the morphological dependence of the HI gas mass fraction at fixed $M_*$ and SFR to minimize the effects of these parameters. We use three morphological classifications based on parametric indicator (S\'{e}rsic index), non-parametric indicator (C-index), and visual inspection (smoothness from the Galaxy Zoo 2 project) on the optical image. We find that there is no significant morphological dependence of the HI gas mass fraction at fixed $M_*$ and SFR when we use C-index. In comparison, there exists a hint of diminishment in the HI gas mass fraction for "smooth" galaxies compared with "non-smooth" galaxies. We find that the visual smoothness is sensitive to the existence of small-scale structures in a galaxy. Our result suggests that even at fixed $M_*$ and SFR, the presence of such small-scale structures (seen in the optical image) is linked to their total HI gas content.


title: Person Retrieval in Surveillance Using Textual Query: A Review

abstract: Recent advancement of research in biometrics, computer vision, and natural language processing has discovered opportunities for person retrieval from surveillance videos using textual query. The prime objective of a surveillance system is to locate a person using a description, e.g., a short woman with a pink t-shirt and white skirt carrying a black purse. She has brown hair. Such a description contains attributes like gender, height, type of clothing, colour of clothing, hair colour, and accessories. Such attributes are formally known as soft biometrics. They help bridge the semantic gap between a human description and a machine as a textual query contains the person's soft biometric attributes. It is also not feasible to manually search through huge volumes of surveillance footage to retrieve a specific person. Hence, automatic person retrieval using vision and language-based algorithms is becoming popular. In comparison to other state-of-the-art reviews, the contribution of the paper is as follows: 1. Recommends most discriminative soft biometrics for specifiic challenging conditions. 2. Integrates benchmark datasets and retrieval methods for objective performance evaluation. 3. A complete snapshot of techniques based on features, classifiers, number of soft biometric attributes, type of the deep neural networks, and performance measures. 4. The comprehensive coverage of person retrieval from handcrafted features based methods to end-to-end approaches based on natural language description.


title: Spin-valley locked instabilities in moire transition metal dichalcogenides with conventional and higher-order Van Hove singularities

abstract: Recent experiments have observed correlated insulating and possible superconducting phases in twisted homobilayer transition metal dichalcogenides (TMDs). Besides the spin-valley locked moire bands due to the intrinsic Ising spin-orbit coupling, homobilayer moire TMDs also possess either logarithmic or power-law divergent Van Hove singularities (VHS) near the Fermi surface, controllable by an external displacement field. The former and the latter are dubbed conventional and higher-order VHS, respectively. Here, we perform a perturbative renormalization group (RG) analysis to unbiasedly study the dominant instabilities in homobilayer TMDs for both the conventional and higher-order VHS cases. We find that the spin-valley locking largely alters the RG flows and leads to instabilities unexpected in the corresponding extensively-studied graphene-based moire systems, such as spin- and valley-polarized ferromagnetism and topological superconductivity with mixed parity. In particular, for the case with two higher-order VHS, we find a spin-valley-locking-driven metallic state with no symmetry breaking in the TMDs despite the diverging bare susceptibility. Our results show how the spin-valley locking significantly affects the RG analysis and demonstrate that moire TMDs are suitable platforms to realize various interaction-induced spin-valley locked phases, highlighting physics fundamentally different from the well-studied graphene-based moire systems.


title: Balancing orbital effects and onsite Coulomb repulsion through Na modulations in NaxVO2

abstract: Vanadium oxides have been highly attractive for over half a century since the discovery of the metal insulator transition near room temperatures. Here NaxVO2 is studied through a systematic comparison with other layered sodium metal oxides with early 3d transition metals, first disclosing a unified evolution pattern of Na density waves through in situ XRD analysis. Combining ab-initio simulations and theoretical modelings, a sodium-modulated Peierls-like transition mechanism is then proposed for the bonding formation of metal ion dimers. More importantly, the unique trimer structure in NaxVO2 is shown to be very sensitive to the onsite Coulomb repulsion value, suggesting a delicate balance between strong electronic correlations and orbital effects that can be precisely modulated by both Na compositions and atomic stackings. This unveils a unique opportunity to design strongly correlated materials with tailored electronic transitions through electrochemical modulations and crystallographic designs, to elegantly balance various competition effects. We think the understanding will also help further elucidate complicated electronic behaviors in other vanadium oxide systems.


title: Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats

abstract: We work with lattice walks in $\mathbb{Z}^{r+1}$ using step set $\{\pm 1\}^{r+1}$ that finish with $x_{r+1} = 0$. We further impose conditions of avoiding backtracking (i.e. $[v,-v]$) and avoiding consecutive steps (i.e. $[v,v]$) each possibly combined with restricting to the half-space $x_{r+1} \geq 0$. We find in all cases the generating functions for such walks are algebraic and give explicit formulas for them. We also find polynomial recurrences for their coefficients. From the generating functions we find the asymptotic enumeration of each family of walks considered. The enumeration in special cases includes central binomial coefficients and Catalan numbers as well as relations to enumeration of another family of walks previously studied for which we provide bijection.


title: A Unified Transferable Model for ML-Enhanced DBMS

abstract: Recently, the database management system (DBMS) community has witnessed the power of machine learning (ML) solutions for DBMS tasks. Despite their promising performance, these existing solutions can hardly be considered satisfactory. First, these ML-based methods in DBMS are not effective enough because they are optimized on each specific task, and cannot explore or understand the intrinsic connections between tasks. Second, the training process has serious limitations that hinder their practicality, because they need to retrain the entire model from scratch for a new DB. Moreover, for each retraining, they require an excessive amount of training data, which is very expensive to acquire and unavailable for a new DB. We propose to explore the transferabilities of the ML methods both across tasks and across DBs to tackle these fundamental drawbacks. In this paper, we propose a unified model MTMLF that uses a multi-task training procedure to capture the transferable knowledge across tasks and a pre-train fine-tune procedure to distill the transferable meta knowledge across DBs. We believe this paradigm is more suitable for cloud DB service, and has the potential to revolutionize the way how ML is used in DBMS. Furthermore, to demonstrate the predicting power and viability of MTMLF, we provide a concrete and very promising case study on query optimization tasks. Last but not least, we discuss several concrete research opportunities along this line of work.


title: Global regularity for the 3D Hall-MHD equations with low regularity axisymmetric data

abstract: In this paper, we consider the global well-posedness of the incompressible Hall-MHD equations in $\mathbb{R}^3$. We prove that the solution of this system is globally regular if the initial data is axisymmetric and the swirl components of the velocity and magnetic vorticity are trivial. It should be pointed out that the initial data without any smallness and in low regularity spaces. This improves a previous result established in \cite{Fan2013}.


title: The Canonical Amoebot Model: Algorithms and Concurrency Control

abstract: The amoebot model abstracts active programmable matter as a collection of simple computational elements called amoebots that interact locally to collectively achieve tasks of coordination and movement. Since its introduction at SPAA 2014, a growing body of literature has adapted its assumptions for a variety of problems; however, without a standardized hierarchy of assumptions, precise systematic comparison of results under the amoebot model is difficult. We propose the canonical amoebot model, an updated formalization that distinguishes between core model features and families of assumption variants. A key improvement addressed by the canonical amoebot model is concurrency. Much of the existing literature implicitly assumes amoebot actions are isolated and reliable, reducing analysis to the sequential setting where at most one amoebot is active at a time. However, real programmable matter systems are concurrent. The canonical amoebot model formalizes all amoebot communication as message passing, leveraging adversarial activation models of concurrent executions. Under this granular treatment of time, we take two complementary approaches to concurrent algorithm design. We first establish a set of sufficient conditions for algorithm correctness under any concurrent execution, embedding concurrency control directly in algorithm design. We then present a concurrency control framework that uses locks to convert amoebot algorithms that terminate in the sequential setting and satisfy certain conventions into algorithms that exhibit equivalent behavior in the concurrent setting. As a case study, we demonstrate both approaches using a simple algorithm for hexagon formation. Together, the canonical amoebot model and these complementary approaches to concurrent algorithm design open new directions for distributed computing research on programmable matter.


title: Semi-Lagrangian nodal discontinuous Galerkin method for the BGK Model

abstract: In this paper, we propose an efficient, high order accurate and asymptotic-preserving (AP) semi-Lagrangian (SL) method for the BGK model with constant or spatially dependent Knudsen number. The spatial discretization is performed by a mass conservative nodal discontinuous Galerkin (NDG) method, while the temporal discretization of the stiff relaxation term is realized by stiffly accurate diagonally implicit Runge-Kutta (DIRK) methods along characteristics. Extra order conditions are enforced for asymptotic accuracy (AA) property of DIRK methods when they are coupled with a semi-Lagrangian algorithm in solving the BGK model. A local maximum principle preserving (LMPP) limiter is added to control numerical oscillations in the transport step. Thanks to the SL and implicit nature of time discretization, the time stepping constraint is relaxed and it is much larger than that from an Eulerian framework with explicit treatment of the source term. Extensive numerical tests are presented to verify the high order AA, efficiency and shock capturing properties of the proposed schemes.


title: Generalized first-principles method to study near-field heat transfer mediated by Coulomb interaction

abstract: We present a general microscopic first-principles method to study the Coulomb-interaction-mediated heat transfer in the near field. Using the nonequilibrium Green's function formalism, we derive Caroli formulas for heat transfers between materials with translational invariance. The central physical quantities are the screened Coulomb potential and the spectrum function of polarizability. Within the random phase approximation, we calculate the polarizability using the linear response density functional theory and obtain the screened Coulomb potential from a retarded Dyson equation. We show that the heat transfer mediated by the Coulomb interaction is consistent with that of the $p$-polarized evanescent waves which dominate the heat transfer in the near field. We adopt single-layer graphene as an example to calculate heat transfers between two parallel sheets separated by a vacuum gap $d$. Our results show a saturation of heat flux at the extreme near field which is different from the reported $1/d$ dependence for local response functions. The calculated heat flux is up to $5\times10^4$ times more than the black-body limit, and a $1/d^2$ dependence is shown at large separations. From the spectrum of energy current density, we infer that the near-field enhancement of heat transfer stems from electron transitions around the Fermi energy. With a uniform strain, the heat flux increases for most of the distances while a negative correlation is shown at the moderate field. Our method is valid for inhomogeneous materials in which the macroscopic response function used in conventional theory of fluctuational electrodynamics would fail at the subnanometer scale.


title: Attack-Resilient Distributed Convex Optimization of Linear Multi-Agent Systems Against Malicious Cyber-Attacks over Random Digraphs

abstract: This paper addresses a resilient exponential distributed convex optimization problem for a heterogeneous linear multi-agent system under Denial-of-Service (DoS) attacks over random digraphs. The random digraphs are caused by unreliable networks and the DoS attacks, allowed to occur aperiodically, refer to an interruption of the communication channels carried out by the intelligent adversaries. In contrast to many existing distributed convex optimization works over a prefect communication network, the global optimal solution might not be sought under the adverse influences that result in performance degradations or even failures of optimization algorithms. The aforementioned setting poses certain technical challenges to optimization algorithm design and exponential convergence analysis. In this work, several resilient algorithms are presented such that a team of agents minimizes a sum of local non-quadratic cost functions in a safe and reliable manner with global exponential convergence. Inspired by the preliminary works in [15]-[18], an explicit analysis of frequency and duration of attacks is investigated to guarantee exponential optimal solutions. Numerical simulation results are presented to demonstrate the effectiveness of the proposed design.


title: Radial symmetry of solutions to anisotropic and weighted diffusion equations with discontinuous nonlinearities

abstract: We prove radial symmetry for bounded nonnegative solutions of a weighted anisotropic problem. Given the anisotropic setting that we deal with, the term "radial" is understood in the Finsler framework. In the whole space, J. Serra obtained the symmetry result in the isotropic unweighted setting. In this case we provide the extension of his result to the anisotropic setting. This provides a generalization to the anisotropic setting of a celebrated result due to Gidas-Ni-Nirenberg and such a generalization is new even for in the case of linear operators whenever the dimension is greater than 2. In proper cones, the results presented are new even in the isotropic and unweighted setting for suitable nonlinear cases. Even for the previously known case of unweighted isotropic setting, the present paper provides an approach to the problem by exploiting integral (in)equalities which is new for $N>2$: this complements the corresponding symmetry result obtained via the moving planes method by Berestycki-Pacella.


title: Indefinite linearized augmented Lagrangian method for convex programming with linear inequality constraints

abstract: The augmented Lagrangian method (ALM) is a benchmark for convex programming problems with linear constraints; ALM and its variants for linearly equality-constrained convex minimization models have been well studied in the literature. However, much less attention has been paid to ALM for efficiently solving linearly inequality-constrained convex minimization models. In this paper, we exploit an enlightening reformulation of the newly developed indefinite linearized ALM for the equality-constrained convex optimization problem, and present a new indefinite linearized ALM scheme for efficiently solving the convex optimization problem with linear inequality constraints. The proposed method enjoys great advantages, especially for large-scale optimization cases, in two folds mainly: first, it largely simplifies the challenging key subproblem of the classic ALM by employing its linearized reformulation, while keeping low complexity in computation; second, we show that only a smaller proximity regularization term is needed for provable convergence, which allows a bigger step-size and hence significantly better performance. Moreover, we show the global convergence of the proposed scheme upon its equivalent compact expression of prediction-correction, along with a worst-case $\mathcal{O}(1/N)$ convergence rate. Numerical results on some application problems demonstrate that a smaller regularization term can lead to a better experimental performance, which further confirms the theoretical results presented in this study.


title: Split and Connect: A Universal Tracklet Booster for Multi-Object Tracking

abstract: Multi-object tracking (MOT) is an essential task in the computer vision field. With the fast development of deep learning technology in recent years, MOT has achieved great improvement. However, some challenges still remain, such as sensitiveness to occlusion, instability under different lighting conditions, non-robustness to deformable objects, etc. To address such common challenges in most of the existing trackers, in this paper, a tracklet booster algorithm is proposed, which can be built upon any other tracker. The motivation is simple and straightforward: split tracklets on potential ID-switch positions and then connect multiple tracklets into one if they are from the same object. In other words, the tracklet booster consists of two parts, i.e., Splitter and Connector. First, an architecture with stacked temporal dilated convolution blocks is employed for the splitting position prediction via label smoothing strategy with adaptive Gaussian kernels. Then, a multi-head self-attention based encoder is exploited for the tracklet embedding, which is further used to connect tracklets into larger groups. We conduct sufficient experiments on MOT17 and MOT20 benchmark datasets, which demonstrates promising results. Combined with the proposed tracklet booster, existing trackers usually can achieve large improvements on the IDF1 score, which shows the effectiveness of the proposed method.


title: Resilient Time-Varying Output Formation Tracking of Linear Multi-Agent Systems Against Unbounded FDI Sensor Attacks and Unreliable Digraphs

abstract: One salient feature of cooperative formation tracking is its distributed nature that relies on localized control and information sharing over a sparse communication network. That is, a distributed control manner could be prone to malicious attacks and unreliable communication that deteriorate the formation tracking performance or even destabilize the whole multi-agent system. This paper studies a safe and reliable time-varying output formation tracking problem of linear multi-agent systems, where an attacker adversely injects any unbounded time-varying signals (false data injection (FDI) attacks), while an interruption of communication channels between the agents is caused by an unreliable network. Both characteristics improve the practical relevance of the problem to be addressed, which poses some technical challenges to the distributed algorithm design and stability analysis. To mitigate the adverse effect, a novel resilient distributed control architecture is established to guarantee time-varying output formation tracking exponentially. The key features of the proposed framework are threefold: 1) an observer-based identifier is integrated to compensate for adverse effects; 2) a reliable distributed algorithm is proposed to deal with time-varying topologies caused by unreliable communication; and 3) in contrast to the existing remedies that deal with attacks as bounded disturbances/faults with known knowledge, we propose resilience strategies to handle unknown and unbounded attacks for exponential convergence of dynamic formation tracking errors, whereas most of existing results achieve uniformly ultimately boundedness (UUB) results. Numerical simulations are given to show the effectiveness of the proposed design.


title: Faster Algorithms for Bounded Tree Edit Distance

abstract: Tree edit distance is a well-studied measure of dissimilarity between rooted trees with node labels. It can be computed in $O(n^3)$ time [Demaine, Mozes, Rossman, and Weimann, ICALP 2007], and fine-grained hardness results suggest that the weighted version of this problem cannot be solved in truly subcubic time unless the APSP conjecture is false [Bringmann, Gawrychowski, Mozes, and Weimann, SODA 2018]. We consider the unweighted version of tree edit distance, where every insertion, deletion, or relabeling operation has unit cost. Given a parameter $k$ as an upper bound on the distance, the previous fastest algorithm for this problem runs in $O(nk^3)$ time [Touzet, CPM 2005], which improves upon the cubic-time algorithm for $k\ll n^{2/3}$. In this paper, we give a faster algorithm taking $O(nk^2 \log n)$ time, improving both of the previous results for almost the full range of $\log n \ll k\ll n/\sqrt{\log n}$.


title: The breadth of Lie poset algebras

abstract: The breadth of a Lie algebra $L$ is defined to be the maximal dimension of the image of $ad_x=[x,-]:L\to L$, for $x\in L$. Here, we initiate an investigation into the breadth of three families of Lie algebras defined by posets and provide combinatorial breadth formulas for members of each family.


title: Regional modeling of surface and sub-surface dynamics in the Bay of Bengal using Modular Ocean Model

abstract: Regional dynamics of Bay of Bengal is studied using Open Boundary Condition (OBC) in Modular Ocean Model (MOM) to understand the effect of primary and secondary mesoscale features on various bulk ocean products and turbulent fluxes. A horizontal resolution of 0.1o is adopted to resolve a range of mesoscale features. In order to parametrize the vertical mixing, K-Profile Parametrization (KPP) scheme is implemented. The results show successful implementation of OBC in a regional domain with exchange of mass and energy and conservation of mass at the boundaries. The Sea Surface Temperature (SST) and Sea Surface Salinity (SSS) are validated with SODA reanalysis, which are found to be in good agreement. The Mixed Layer Depth (MLD) pattern is very well represented, albeit the magnitude is slightly under-predicted in comparison with SODA reanalysis. Additionally, analysis of flow energetics reveal regional differences in turbulent kinetic energy (K), production flux (P), buoyancy flux (B), and dissipation ({\epsilon}). Our results clearly reveal the presence of inverse energy-cascade in the southern Bay of Bengal, wherein energy flows back into mean flow structures from the turbulent eddies. The re-energization of mean flow structures is likely to allow the large-scale circulation to persist for longer periods, thereby modifying the local dynamics. Further analysis shows that the B term is the major source of turbulence production in the north and central Bay of Bengal regions. These results convey the various mechanisms by which energy is produced and transferred in different regions of Bay of Bengal.


title: Inverting Generative Adversarial Renderer for Face Reconstruction

abstract: Given a monocular face image as input, 3D face geometry reconstruction aims to recover a corresponding 3D face mesh. Recently, both optimization-based and learning-based face reconstruction methods have taken advantage of the emerging differentiable renderer and shown promising results. However, the differentiable renderer, mainly based on graphics rules, simplifies the realistic mechanism of the illumination, reflection, \etc, of the real world, thus cannot produce realistic images. This brings a lot of domain-shift noise to the optimization or training process. In this work, we introduce a novel Generative Adversarial Renderer (GAR) and propose to tailor its inverted version to the general fitting pipeline, to tackle the above problem. Specifically, the carefully designed neural renderer takes a face normal map and a latent code representing other factors as inputs and renders a realistic face image. Since the GAR learns to model the complicated real-world image, instead of relying on the simplified graphics rules, it is capable of producing realistic images, which essentially inhibits the domain-shift noise in training and optimization. Equipped with the elaborated GAR, we further proposed a novel approach to predict 3D face parameters, in which we first obtain fine initial parameters via Renderer Inverting and then refine it with gradient-based optimizers. Extensive experiments have been conducted to demonstrate the effectiveness of the proposed generative adversarial renderer and the novel optimization-based face reconstruction framework. Our method achieves state-of-the-art performances on multiple face reconstruction datasets.


title: Towards Novel Target Discovery Through Open-Set Domain Adaptation

abstract: Open-set domain adaptation (OSDA) considers that the target domain contains samples from novel categories unobserved in external source domain. Unfortunately, existing OSDA methods always ignore the demand for the information of unseen categories and simply recognize them as "unknown" set without further explanation. This motivates us to understand the unknown categories more specifically by exploring the underlying structures and recovering their interpretable semantic attributes. In this paper, we propose a novel framework to accurately identify the seen categories in target domain, and effectively recover the semantic attributes for unseen categories. Specifically, structure preserving partial alignment is developed to recognize the seen categories through domain-invariant feature learning. Attribute propagation over visual graph is designed to smoothly transit attributes from seen to unseen categories via visual-semantic mapping. Moreover, two new cross-main benchmarks are constructed to evaluate the proposed framework in the novel and practical challenge. Experimental results on open-set recognition and semantic recovery demonstrate the superiority of the proposed method over other compared baselines.


title: Effect of the selective localization of carbon nanotubes and phase domain in immiscible blends on tunable microwave dielectric properties

abstract: In recent years, the immiscible polymer blend system has attracted much attention as the matrix of nanocomposites. Herein, from the perspective of dynamics, the control of the carbon nanotubes (CNTs) migration aided with the interface of polystyrene (PS) and poly(methyl methacrylate) (PMMA) blends was achieved through a facile melt mixing method. Thus, we revealed a comprehensive relationship between several typical CNTs migrating scenarios and the microwave dielectric properties of their nanocomposites. Based on the unique morphologies and phase domain structures of the immiscible matrix, we further investigated the multiple microwave dielectric relaxation processes and shed new light on the relation between relaxation peak position and the phase domain size distribution. Moreover, by integrating the CNTs interface localization control with the matrix co-continuous structure construction, we found that the interface promotes double percolation effect to achieve conductive percolation at low CNTs loading (~1.06 vol%). Overall, the present study provides a unique nanocomposite material design symphonizing both functional fillers dispersion and location as well as the matrix architecture optimization for microwave applications.


title: Anomaly detection in Hyper Suprime-Cam galaxy images with generative adversarial networks

abstract: The problem of anomaly detection in astronomical surveys is becoming increasingly important as data sets grow in size. We present the results of an unsupervised anomaly detection method using a Wasserstein generative adversarial network (WGAN) on nearly one million optical galaxy images in the Hyper Suprime-Cam (HSC) survey. The WGAN learns to generate realistic HSC-like galaxies that follow the distribution of the data set; anomalous images are defined based on a poor reconstruction by the generator and outlying features learned by the discriminator. We find that the discriminator is more attuned to potentially interesting anomalies compared to the generator, and compared to a simpler autoencoder-based anomaly detection approach, so we use the discriminator-selected images to construct a high-anomaly sample of $\sim$13,000 objects. We propose a new approach to further characterize these anomalous images: we use a convolutional autoencoder to reduce the dimensionality of the residual differences between the real and WGAN-reconstructed images and perform UMAP clustering on these. We report detected anomalies of interest including galaxy mergers, tidal features, and extreme star-forming galaxies. A follow-up spectroscopic analysis of one of these anomalies is detailed in the Appendix; we find that it is an unusual system most likely to be a metal-poor dwarf galaxy with an extremely blue, higher-metallicity HII region. We have released a catalog with the WGAN anomaly scores; the code and catalog are available at https://github.com/kstoreyf/anomalies-GAN-HSC, and our interactive visualization tool for exploring the clustered data is at https://weirdgalaxi.es.


title: Attestation Waves: Platform Trust via Remote Power Analysis

abstract: Attestation is a strong tool to verify the integrity of an untrusted system. However, in recent years, different attacks have appeared that are able to mislead the attestation process with treacherous practices as memory copy, proxy, and rootkit attacks, just to name a few. A successful attack leads to systems that are considered trusted by a verifier system, while the prover has bypassed the challenge. To mitigate these attacks against attestation methods and protocols, some proposals have considered the use of side-channel information that can be measured externally, as it is the case of electromagnetic (EM) emanation. Nonetheless, these methods require the physical proximity of an external setup to capture the EM radiation. In this paper, we present the possibility of performing attestation by using the side-channel information captured by a sensor or peripheral that lives in the same System-on-Chip (SoC) than the processor system (PS) which executes the operation that we aim to attest, by only sharing the Power Distribution Network (PDN). In our case, an analog-to-digital converter (ADC) that captures the voltage fluctuations at its input terminal while a certain operation is taking place is suitable to characterize itself and to distinguish it from other binaries. The resultant power traces are enough to clearly identify a given operation without the requirement of physical proximity.


title: DBNet: A Dual-branch Network Architecture Processing on Spectrum and Waveform for Single-channel Speech Enhancement

abstract: In real acoustic environment, speech enhancement is an arduous task to improve the quality and intelligibility of speech interfered by background noise and reverberation. Over the past years, deep learning has shown great potential on speech enhancement. In this paper, we propose a novel real-time framework called DBNet which is a dual-branch structure with alternate interconnection. Each branch incorporates an encoder-decoder architecture with skip connections. The two branches are responsible for spectrum and waveform modeling, respectively. A bridge layer is adopted to exchange information between the two branches. Systematic evaluation and comparison show that the proposed system substantially outperforms related algorithms under very challenging environments. And in INTERSPEECH 2021 Deep Noise Suppression (DNS) challenge, the proposed system ranks the top 8 in real-time track 1 in terms of the Mean Opinion Score (MOS) of the ITU-T P.835 framework.


title: The Yang-Baxter paradox

abstract: Consider the statement "Every Yang-Baxter integrable system is defined to be exactly-solvable". To formalise this statement, definitions and axioms are introduced. Then, using a specific Yang-Baxter integrable bosonic system, it is shown that a paradox emerges. A generalisation for completely integrable bosonic systems is also developed.


title: Infinite horizon backward stochastic Volterra integral equations and discounted control problems

abstract: Infinite horizon backward stochastic Volterra integral equations (BSVIEs for short) are investigated. We prove the existence and uniqueness of the adapted M-solution in a weighted $L^2$-space. Furthermore, we extend some important known results for finite horizon BSVIEs to the infinite horizon setting. We provide a variation of constant formula for a class of infinite horizon linear BSVIEs and prove a duality principle between a linear (forward) stochastic Volterra integral equation (SVIE for short) and an infinite horizon linear BSVIE in a weighted $L^2$-space. As an application, we investigate infinite horizon stochastic control problems for SVIEs with discounted cost functional. We establish both necessary and sufficient conditions for optimality by means of Pontryagin's maximum principle, where the adjoint equation is described as an infinite horizon BSVIE. These results are applied to discounted control problems for fractional stochastic differential equations and stochastic integro-differential equations.


title: Weakly Supervised Action Selection Learning in Video

abstract: Localizing actions in video is a core task in computer vision. The weakly supervised temporal localization problem investigates whether this task can be adequately solved with only video-level labels, significantly reducing the amount of expensive and error-prone annotation that is required. A common approach is to train a frame-level classifier where frames with the highest class probability are selected to make a video-level prediction. Frame level activations are then used for localization. However, the absence of frame-level annotations cause the classifier to impart class bias on every frame. To address this, we propose the Action Selection Learning (ASL) approach to capture the general concept of action, a property we refer to as "actionness". Under ASL, the model is trained with a novel class-agnostic task to predict which frames will be selected by the classifier. Empirically, we show that ASL outperforms leading baselines on two popular benchmarks THUMOS-14 and ActivityNet-1.2, with 10.3% and 5.7% relative improvement respectively. We further analyze the properties of ASL and demonstrate the importance of actionness. Full code for this work is available here: https://github.com/layer6ai-labs/ASL.


title: Detection, Tracking, and Counting Meets Drones in Crowds: A Benchmark

abstract: To promote the developments of object detection, tracking and counting algorithms in drone-captured videos, we construct a benchmark with a new drone-captured largescale dataset, named as DroneCrowd, formed by 112 video clips with 33,600 HD frames in various scenarios. Notably, we annotate 20,800 people trajectories with 4.8 million heads and several video-level attributes. Meanwhile, we design the Space-Time Neighbor-Aware Network (STNNet) as a strong baseline to solve object detection, tracking and counting jointly in dense crowds. STNNet is formed by the feature extraction module, followed by the density map estimation heads, and localization and association subnets. To exploit the context information of neighboring objects, we design the neighboring context loss to guide the association subnet training, which enforces consistent relative position of nearby objects in temporal domain. Extensive experiments on our DroneCrowd dataset demonstrate that STNNet performs favorably against the state-of-the-arts.


title: Stability of Infinite-dimensional Sampled-data Systems with Unbounded Control Operators and Perturbations

abstract: We analyze the robustness of the exponential stability of infinite-dimensional sampled-data systems with unbounded control operators. The unbounded perturbations we consider are the so-called Desch-Schappacher perturbations, which arise, e.g., from the boundary perturbations of systems described by partial differential equations. As the main result, we show that the exponential stability of the sampled-data system is preserved under all Desch-Schappacher perturbations sufficiently small in a certain sense.


title: On the sharp Baer--Suzuki theorem for the $\pi$-radical

abstract: Let $\pi$ be a set of primes such that $|\pi|\geqslant 2$ and $\pi$ differs from the set of all primes. Denote by $r$ the smallest prime which does not belong to $\pi$ and set $m=r$ if $r=2,3$ and $m=r-1$ if $r\geqslant 5$. We study the following conjecture: a conjugacy class $D$ of a finite group $G$ is contained in $O\pi(G)$ if and only if every $m$ elements of $D$ generate a $\pi$-subgroup. We confirm this conjecture for each group $G$ whose nonabelian composition factors are isomorphic to alternating, linear and unitary simple groups.


title: Long-time Markovianity of multi-level systems in the rotating wave approximation

abstract: For the model of a multi-level system in the rotating wave approximation we obtain the corrections for a usual weak coupling limit dynamics by means of perturbation theory with Bogolubov-van Hove scaling. It generalizes our previous results on a spin-boson model in the rotating wave approximation. Additionally, in this work we take into account some dependence of the system Hamiltonian on the small parameter. We show that the dynamics is long-time Markovian, i.e. after the bath correlation time all the non-Markovianity could be captured by the renormalization of initial condition and correlation functions.


title: Parallelized sequential composition, pipelines, and hardware weak memory models

abstract: Since the introduction of the CDC 6600 in 1965 and its `scoreboarding' technique processors have not (necessarily) executed instructions in program order. Programmers of high-level code may sequence independent instructions in arbitrary order, and it is a matter of significant programming abstraction and computational efficiency that the processor can be relied upon to make sensible parallelizations/reorderings of low-level instructions to take advantage of, eg., multiple ALUs. At the architectural level such reordering is typically implemented via a per-processor pipeline, into which instructions are fetched in order, but possibly committed out of order depending on local considerations, provided any reordering preserves sequential semantics from that processor's perspective. However multicore architectures, where several pipelines run in parallel, can expose these processor-level reorderings as unexpected, or `weak', behaviours. Such weak behaviours are hard to reason about, and (via speculative execution) underlie at least one class of widespread security vulnerability. In this paper we introduce a novel program operator, \emph{parallelized sequential composition}, which can be instantiated with a function that controls the reordering of atomic instructions. It generalises both sequential and parallel composition, and when appropriately instantiated exhibits many of the weak behaviours of well-known hardware weak memory models. Our framework admits the application of established compositional techniques (eg. Owicki-Gries) for reasoning about weak behaviours, and is convenient for abstractly expressing properties from the literature. The semantics and theory is encoded and verified in a theorem prover, and we give an implementation of the pipeline semantics which we use to empirically show conformance against established models of ARM and RISC-V.


title: Machine learning the nuclear mass

abstract: Background: The masses of about 2500 nuclei have been measured experimentally, however more than 7000 isotopes are predicted to exist in the nuclear landscape from H (Z=1) to Og (Z=118) based on various theoretical calculations. Exploring the mass of the remains is a hot topic in nuclear physics. Machine learning has been served as a powerful tool in learning complex representations of big data in many fields. Purpose: We use Light Gradient Boosting Machine (LightGBM) which is a highly efficient machine learning algorithm to predict the masses of unknown nuclei and to explore the nuclear landscape in neutron-rich side from learning the measured nuclear masses. Results: By using the experimental data of 80 percent of known nuclei as the training dataset, the root mean square deviation (RMSD) between the predicted and the experimental binding energy of the remaining 20% is about 0.234 MeV, 0.213 MeV, 0.170 MeV, and 0.222 MeV for the LightGBM-refined LDM, DZ, WS4, and FRDM models, respectively. These values are of about 90%, 65%, 40%, and 60% smaller than the corresponding origin mass models. The RMSD for 66 newly measured nuclei that appeared in AME2020 is also significantly improved on the same foot. One-neutron and two-neutron separation energies predicted by these refined models are in consistence with several theoretical predictions based on various physical models. Conclusions: LightGBM can be used to refine theoretical nuclear mass models so as to predict the binding energy of unknown nuclei. Moreover, the correlation between the input characteristic quantities and the output can be interpreted by SHapley Additive exPlanations (SHAP, a popular explainable artificial intelligence tool), this may provide new insights on developing theoretical nuclear mass models.


title: DiffSinger: Singing Voice Synthesis via Shallow Diffusion Mechanism

abstract: Singing voice synthesis (SVS) systems are built to synthesize high-quality and expressive singing voice, in which the acoustic model generates the acoustic features (e.g., mel-spectrogram) given a music score. Previous singing acoustic models adopt a simple loss (e.g., L1 and L2) or generative adversarial network (GAN) to reconstruct the acoustic features, while they suffer from over-smoothing and unstable training issues respectively, which hinder the naturalness of synthesized singing. In this work, we propose DiffSinger, an acoustic model for SVS based on the diffusion probabilistic model. DiffSinger is a parameterized Markov chain that iteratively converts the noise into mel-spectrogram conditioned on the music score. By implicitly optimizing variational bound, DiffSinger can be stably trained and generate realistic outputs. To further improve the voice quality and speed up inference, we introduce a shallow diffusion mechanism to make better use of the prior knowledge learned by the simple loss. Specifically, DiffSinger starts generation at a shallow step smaller than the total number of diffusion steps, according to the intersection of the diffusion trajectories of the ground-truth mel-spectrogram and the one predicted by a simple mel-spectrogram decoder. Besides, we propose boundary prediction methods to locate the intersection and determine the shallow step adaptively. The evaluations conducted on a Chinese singing dataset demonstrate that DiffSinger outperforms state-of-the-art SVS work. Extensional experiments also prove the generalization of our methods on text-to-speech task (DiffSpeech). Audio samples: https://diffsinger.github.io. Codes: https://github.com/MoonInTheRiver/DiffSinger. The old title of this work: "Diffsinger: Diffusion acoustic model for singing voice synthesis".


title: Programmable and sequential Gaussian gates in a loop-based single-mode photonic quantum processor

abstract: A quantum processor to import, process, and export optical quantum states is a common core technology enabling various photonic quantum information processing. However, there has been no photonic processor which is simultaneously universal, scalable, and programmable. Here, we report on an original loop-based single-mode versatile photonic quantum processor which is designed to be universal, scalable, and programmable. Our processor can perform arbitrarily many steps of programmable quantum operations on a given single-mode optical quantum state by time-domain processing in a dynamically controlled loop-based optical circuit. We use this processor to demonstrate programmable single-mode Gaussian gates and multi-step squeezing gates. In addition, we prove that the processor can perform universal quantum operations by injecting appropriate ancillary states and also be straightforwardly extended to a multi-mode processor. These results show that our processor is programmable, scalable, and potentially universal, leading to be suitable for general-purpose applications.


title: Nanoptera in nonlinear woodpile chains with zero precompression

abstract: We use exponential asymptotics to study travelling waves in woodpile systems modelled as singularly perturbed granular chains with zero precompression and small mass ratio. These systems are strongly nonlinear, and there is no analytic expression for their leading-order solution. We instead obtain an approximated leading-order solution using a hybrid numerical-analytic method. We show that travelling waves in these nonlinear woodpile systems are typically "nanoptera", or travelling waves with exponentially small but non-decaying oscillatory tails which appear as a Stokes curve is crossed. We demonstrate that travelling wave solutions in the zero precompression regime contain two Stokes curves, and hence two sets of tailing oscillations in the solution. We calculate the behaviour of these oscillations explicitly, and show that there exist system configurations which cause the oscillations to cancel entirely, producing solitary wave behaviour. We then study the behaviour of travelling waves in woodpile chains as precompression is increased, and show that there exists a value of the precompression above which the two Stokes curves coalesce into a single curve, meaning that cancellation of the tailing oscillations no longer occurs. This is consistent with previous studies, which showed that cancellation does not occur in chains with strong precompression.