title: Euler Characteristics and Duality in Riemann Functions and the Graph Riemann-Roch Rank

abstract: By a {\em Riemann function} we mean a function $f\colon{\mathbb Z}^n\to{\mathbb Z}$ such that $f({\bf d})=f(d_1,\ldots,d_n)$ is equals $0$ for ${\rm deg}({\bf d})=d_1+\cdots+d_n$ sufficiently small, and equals $d_1+\cdots+d_n+C$ for a constant, $C$ -- the {\em offset of $f$} -- for ${\rm deg}({\bf d})$ sufficiently large. By adding $1$ to the Baker-Norine rank function of a graph, one gets an equivalent Riemann function, and similarly for related rank functions. For such an $f$, for any ${\bf K}\in{\mathbb Z}^n$ there is a unique Riemann function $f^\wedge_{\bf K}$ such that for all ${\bf d}\in{\mathbb Z}^n$ we have $$ f({\bf d}) - f^\wedge_{\bf K}({\bf K}-{\bf d}) = {\rm deg}({\bf d})+C $$ which we call a {\em generalized Riemann-Roch formula}. We show that any such equation can be viewed as an Euler charactersitic equation of sheaves of a particular simple type that we call {\em diagrams}. This article does not assume any prior knowledge of sheaf theory. To certain Riemann functions $f\colon{\mathbb Z}^2\to{\mathbb Z}$ there is a simple family of diagrams $\{{\mathcal{M}}_{W,{\bf d}}\}_{{\bf d}\in{\mathbb Z}^2}$ such that $f({\bf d})=b^0({\mathcal{M}}_{W,{\bf d}})$ and $f^\wedge_{{\bf K}}({\bf K}-{\bf d})=b^1({\mathcal{M}}_{W,{\bf d}})$. Furthermore we give a canonical isomorphism $$ H^1({\mathcal{M}}_{W,{\bf d}})^* \to H^0({\mathcal{M}}_{W',{\bf K}-{\bf d}}) $$ where $W'$ is the weight of $f^\wedge_{\bf K}$. General Riemann functions $f\colon{\mathbb Z}^2\to{\mathbb Z}$ are similarly modeled with formal differences of diagrams. Riemann functions ${\mathbb Z}^n\to{\mathbb Z}$ are modeled using their restrictions to two of their variables. These constructions involve some ad hoc choices, although the equivalence class of virtual diagram obtained is independent of the ad hoc choices.


title: Energy Storage State-of-Charge Market Model

abstract: This paper introduces and rationalizes a new model for bidding and clearing energy storage resources in wholesale energy markets. Charge and discharge bids in this model depend on the storage state-of-charge (SoC). In this setting, storage participants submit different bids for each SoC segment. The system operator monitors the storage SoC and updates their bids accordingly in market clearings. Combined with an optimal bidding design algorithm using dynamic programming, our paper shows that the SoC segment market model provides more accurate representations of the opportunity costs of energy storage compared to existing power-based bidding models. The new model also captures the inherent SoC-dependent operational characteristics of energy storage. We benchmark the SoC segment market model against an existing single-segment model in price-taker and price-influencer simulations. The simulation results show that compared to the existing power-based bidding model, the proposed model improves profits by 10-56% in the price-taker case study; the model also improves total system cost reduction from storage by around 5%, and helps reduce price volatilities in the price-influencer case study.


title: Assortment Optimization with Customer Choice Modeling in a Crowdfunding Setting

abstract: Crowdfunding, which is the act of raising funds from a large number of people's contributions, is among the most popular research topics in economic theory. Due to the fact that crowdfunding platforms (CFPs) have facilitated the process of raising funds by offering several features, we should take their existence and survival in the marketplace into account. In this study, we investigated the significant role of platform features in a customer behavioral choice model. In particular, we proposed a multinomial logit model to describe the customers' (backers') behavior in a crowdfunding setting. We proceed by discussing the revenue-sharing model in these platforms. For this purpose, we conclude that an assortment optimization problem could be of major importance in order to maximize the platforms' revenue. We were able to derive a reasonable amount of data in some cases and implement two well-known machine learning methods such as multivariate regression and classification problems to predict the best assortments the platform could offer to every arriving customer. We compared the results of these two methods and investigated how well they perform in all cases.


title: Accelerated Federated Learning with Decoupled Adaptive Optimization

abstract: The federated learning (FL) framework enables edge clients to collaboratively learn a shared inference model while keeping privacy of training data on clients. Recently, many heuristics efforts have been made to generalize centralized adaptive optimization methods, such as SGDM, Adam, AdaGrad, etc., to federated settings for improving convergence and accuracy. However, there is still a paucity of theoretical principles on where to and how to design and utilize adaptive optimization methods in federated settings. This work aims to develop novel adaptive optimization methods for FL from the perspective of dynamics of ordinary differential equations (ODEs). First, an analytic framework is established to build a connection between federated optimization methods and decompositions of ODEs of corresponding centralized optimizers. Second, based on this analytic framework, a momentum decoupling adaptive optimization method, FedDA, is developed to fully utilize the global momentum on each local iteration and accelerate the training convergence. Last but not least, full batch gradients are utilized to mimic centralized optimization in the end of the training process to ensure the convergence and overcome the possible inconsistency caused by adaptive optimization methods.


title: Efficient Interpolation-based Pathline Tracing with B-spline Curves in Particle Dataset

abstract: Particle tracing through numerical integration is a well-known approach to generating pathlines for visualization. However, for particle simulations, the computation of pathlines is expensive, since the interpolation method is complicated due to the lack of connectivity information. Previous studies utilize the k-d tree to reduce the time for neighborhood search. However, the efficiency is still limited by the number of tracing time steps. Therefore, we propose a novel interpolation-based particle tracing method that first represents particle data as B-spline curves and interpolates B-spline control points to reduce the number of interpolation time steps. We demonstrate our approach achieves good tracing accuracy with much less computation time.


title: Origin of life from a maker's perspective -- focus on protocellular compartments in bottom-up synthetic biology

abstract: The origin of life is shrouded in mystery, with few surviving clues, obscured by evolutionary competition. Previous reviews have touched on the complementary approaches of top-down and bottom-up synthetic biology to augment our understanding of living systems. Here we point out the synergies between these fields, especially between bottom-up synthetic biology and origin of life research. We explore recent progress made in artificial cell compartmentation in line with the crowded cell, its metabolism, as well as cycles of growth and division, and how those efforts are starting to be combined. Though the complexity of current life is among its most striking characteristics, none of life's essential features require it, and they are unlikely to have emerged thus complex from the beginning. Rather than recovering the one true origin lost in time, current research converges towards reproducing the emergence of minimal life, by teasing out how complexity and evolution may arise from a set of essential components.

categories: q-bio.PE cond-mat.soft cs.RO nlin.AO physics.bio-ph


title: A closed clockwork theory: $\mathbb{Z}_2$ parity and more

abstract: We develop a new class of clockwork theories with an augmented structure of the near-neighbour interactions along a one-dimensional closed chain. Such a topology leads to new and attractive features in addition to generating light states with hierarchical couplings via the usual clockwork mechanism. For one, there emerges a $\mathbb{Z}_2$ symmetry under the exchange of fields resulting in a physical spectrum consisting of states, respectively even and odd under the exchange parity with a two-fold degeneracy at each level. The lightest odd particle, being absolutely stable, could be envisaged as a potential dark matter candidate. The theory can also be obtained as a deconstruction of a five-dimensional theory embedded in a geometry generated by a linear dilaton theory on a $S^1/\mathbb{Z}_2$ orbifold with three equidistant 3-branes. Analogous to the discrete picture, the $\mathbb{Z}_2$ symmetry in the bulk theory necessitates the existence of a KK spectrum of even and odd states, with doubly degenerate modes at each KK level when subject to certain boundary conditions.


title: A Study on Impact of Dividend Policy on Initial Public Offering Price Performance

abstract: This study examines the impact of dividend policy on the performance of initial public offerings in India. The period of study is from the year 2011-2014. Monthly returns of the IPOs issued in the considered period and the Indian Stock Market Index (Nifty 50) were considered for the long-run performance study. The methodological tools used are long-run performance statistics and the GARCH model. The Dummy variable was used to measure the effect of dividends on the IPOs. The study reveals that the dividend policy has no significant effect on the stock prices of IPO.


title: Multi-FEAT: Multi-Feature Edge AlignmenT for Targetless Camera-LiDAR Calibration

abstract: The accurate environment perception of automobiles and UAVs (Unmanned Ariel Vehicles) relies on the precision of onboard sensors, which require reliable in-field calibration. This paper introduces a novel approach for targetless camera-LiDAR extrinsic calibration called Multi-FEAT (Multi-Feature Edge AlignmenT). Multi-FEAT uses the cylindrical projection model to transform the 2D(Camera)-3D(LiDAR) calibration problem into a 2D-2D calibration problem, and exploits various LiDAR feature information to supplement the sparse LiDAR point cloud boundaries. In addition, a feature matching function with a precision factor is designed to improve the smoothness of the solution space. The performance of the proposed Multi-FEAT algorithm is evaluated using the KITTI dataset, and our approach shows more reliable results, as compared with several existing targetless calibration methods. We summarize our results and present potential directions for future work.


title: PSPACE-Completeness of Reversible Deterministic Systems

abstract: We prove PSPACE-completeness of several reversible, fully deterministic systems. At the core, we develop a framework for such proofs (building on a result of Tsukiji and Hagiwara and a framework for motion planning through gadgets), showing that any system that can implement three basic gadgets is PSPACE-complete. We then apply this framework to four different systems, showing its versatility. First, we prove that Deterministic Constraint Logic is PSPACE-complete, fixing an error in a previous argument from 2008. Second, we give a new PSPACE-hardness proof for the reversible `billiard ball' model of Fredkin and Toffoli from 40 years ago, newly establishing hardness when only two balls move at once. Third, we prove PSPACE-completeness of zero-player motion planning with any reversible deterministic interacting $k$-tunnel gadget and a `rotate clockwise' gadget (a zero-player analog of branching hallways). Fourth, we give simpler proofs that zero-player motion planning is PSPACE-complete with just a single gadget, the 3-spinner. These results should in turn make it even easier to prove PSPACE-hardness of other reversible deterministic systems.


title: Grain incompatibility determines the local structure of amorphous grain boundary complexions

abstract: Amorphous grain boundary complexions lack long-range crystalline order but are not featureless, as distinct gradients in structural short-range order have been reported through their thickness. In this work, we test the hypothesis that the distribution of short-range order is determined by the confining crystals using atomistic simulations of both Cu-Zr bicrystals and a random polycrystal. Voronoi polyhedra with structures similar to that of perfect face-centered cubic serve as signatures of high structural order and are only found at the amorphous-crystalline transition regions. The density of the ordered structural motifs within a specific amorphous-crystalline transition region is found to not be directly determined by the orientation and symmetry of the grain which touches it, but rather by the incompatibility between the two confining grains. Ordered polyhedra density is found to be inversely related to grain incompatibility, meaning that large incompatibilities between the confining crystals lead to less order in the amorphous-crystalline transition region. The finding that the entire grain-film-grain system must be considered to understand local structure unequivocally demonstrates that amorphous complexions are not simply a collection of independent phases which happen to nucleate at a grain boundary. Rather, an amorphous grain boundary complexion is a single entity that finds a local equilibrium configuration.


title: Error Analysis of Virtual Element Methods for the Time-dependent Poisson-Nernst-Planck Equations

abstract: We discuss and analyze the virtual element method on general polygonal meshes for the time-dependent Poisson-Nernst-Planck equations, which are a nonlinear coupled system widely used in semiconductors and ion channels. The spatial discretization is based on the elliptic projection and the $L^2$ projection operator, and for the temporal discretization, the backward Euler scheme is employed. After presenting the semi and fully discrete schemes, we derive the a priori error estimates in the $L^2$ and $H^1$ norms. Finally, a numerical experiment verifies the theoretical convergence results.


title: Lipschitz Bound Analysis of Neural Networks

abstract: Lipschitz Bound Estimation is an effective method of regularizing deep neural networks to make them robust against adversarial attacks. This is useful in a variety of applications ranging from reinforcement learning to autonomous systems. In this paper, we highlight the significant gap in obtaining a non-trivial Lipschitz bound certificate for Convolutional Neural Networks (CNNs) and empirically support it with extensive graphical analysis. We also show that unrolling Convolutional layers or Toeplitz matrices can be employed to convert Convolutional Neural Networks (CNNs) to a Fully Connected Network. Further, we propose a simple algorithm to show the existing 20x-50x gap in a particular data distribution between the actual lipschitz constant and the obtained tight bound. We also ran sets of thorough experiments on various network architectures and benchmark them on datasets like MNIST and CIFAR-10. All these proposals are supported by extensive testing, graphs, histograms and comparative analysis.


title: Homology and cohomology of cubical sets with coefficients in systems of objects

abstract: This paper continues the research of the author on the homology of cubical and semi-cubical sets with coefficients in systems of objects. The main result is the theorem that the homology of cubical sets with coefficients in contravariant systems in an Abelian category with exact coproducts is isomorphic to the left satellites of a colimit functor. This made it possible to prove a number of the following new assertions, presented in the paper, about the homology and cohomology of cubical sets with coefficients in systems of objects. These homology are invariant under morphism between cubical sets when passing to the direct image of the system of coefficients. There is a criterion for the invariance of these homologies when passing to the inverse image. These homology generalize the singular cubical homology with local coefficients and the homology of semi-cubical sets with coefficients in contravariant systems. There is a spectral sequence for colimit homologies of cubical sets with coefficients in contravariant systems. The weak equivalence of cubical sets induces an isomorphism of homology with local systems. For a morphism of cubical sets whose inverse fiber morphisms are weak equivalences, there exists a spectral sequence for homology with local systems converging to the homology of the domain of this morphism. The homology of small category with coefficients in a diagram can be calculated as cubical homology. The Baues-Wirsching cohomologies with coefficients in natural systems are isomorphic to cubical cohomologies with coefficients in covariant systems.


title: A primal-dual approach for solving conservation laws with implicit in time approximations

abstract: In this work, we propose a novel framework for the numerical solution of time-dependent conservation laws with implicit schemes via primal-dual hybrid gradient methods. We solve an initial value problem (IVP) for the partial differential equation (PDE) by casting it as a saddle point of a min-max problem and using iterative optimization methods to find the saddle point. Our approach is flexible with the choice of both time and spatial discretization schemes. It benefits from the implicit structure and gains large regions of stability, and overcomes the restriction on the mesh size in time by explicit schemes from Courant--Friedrichs--Lewy (CFL) conditions (really via von Neumann stability analysis). Nevertheless, it is highly parallelizable and easy-to-implement. In particular, no nonlinear inversions are required! Specifically, we illustrate our approach using the finite difference scheme and discontinuous Galerkin method for the spatial scheme; backward Euler and backward differentiation formulas for implicit discretization in time. Numerical experiments illustrate the effectiveness and robustness of the approach. In future work, we will demonstrate that our idea of replacing an initial-value evolution equation with this primal-dual hybrid gradient approach has great advantages in many other situations.


title: Single Model Uncertainty Estimation via Stochastic Data Centering

abstract: We are interested in estimating the uncertainties of deep neural networks, which play an important role in many scientific and engineering problems. In this paper, we present a striking new finding that an ensemble of neural networks with the same weight initialization, trained on datasets that are shifted by a constant bias gives rise to slightly inconsistent trained models, where the differences in predictions are a strong indicator of epistemic uncertainties. Using the neural tangent kernel (NTK), we demonstrate that this phenomena occurs in part because the NTK is not shift-invariant. Since this is achieved via a trivial input transformation, we show that this behavior can therefore be approximated by training a single neural network -- using a technique that we call $\Delta-$UQ -- that estimates uncertainty around prediction by marginalizing out the effect of the biases during inference. We show that $\Delta-$UQ's uncertainty estimates are superior to many of the current methods on a variety of benchmarks -- outlier rejection, calibration under distribution shift, and sequential design optimization of black box functions. Code for $\Delta-$UQ can be accessed at https://github.com/LLNL/DeltaUQ


title: Adaptive Random Fourier Features Kernel LMS

abstract: We propose the adaptive random Fourier features Gaussian kernel LMS (ARFF-GKLMS). Like most kernel adaptive filters based on stochastic gradient descent, this algorithm uses a preset number of random Fourier features to save computation cost. However, as an extra flexibility, it can adapt the inherent kernel bandwidth in the random Fourier features in an online manner. This adaptation mechanism allows to alleviate the problem of selecting the kernel bandwidth beforehand for the benefit of an improved tracking in non-stationary circumstances. Simulation results confirm that the proposed algorithm achieves a performance improvement in terms of convergence rate, error at steady-state and tracking ability over other kernel adaptive filters with preset kernel bandwidth.


title: Quantum Bayesian Error Mitigation Employing Poisson Modelling over the Hamming Spectrum for Quantum Error Mitigation

abstract: The field of quantum computing has experienced a rapid expansion in recent years, with ongoing exploration of new technologies, a decrease in error rates, and a growth in the number of qubits available in quantum processors. However, near-term quantum algorithms are still unable to be induced without compounding consequential levels of noise, leading to non-trivial erroneous results. Quantum Error Correction and Mitigation are rapidly advancing areas of research in the quantum computing landscape, with a goal of reducing errors. IBM has recently emphasized that Quantum Error Mitigation is the key to unlocking the full potential of quantum computing. A recent work, namely HAMMER, demonstrated the existence of a latent structure regarding post-circuit induction errors when mapping to the Hamming spectrum. However, they assumed that errors occur solely in local clusters, whereas we observe that at higher average Hamming distances this structure falls away. Our study demonstrates that the correlated structure is not just limited to local patterns, but it also encompasses certain non-local clustering patterns that can be accurately characterized through a Poisson distribution model. This model takes into account the input circuit, the current state of the device, including calibration statistics, and the qubit topology. Using this quantum error characterizing model, we developed an iterative algorithm over the generated Bayesian network state-graph for post-induction error mitigation. Our Q-Beep approach delivers state-of-the-art results, thanks to its problem-aware modeling of the error distribution's underlying structure and the implementation of an Bayesian network state-graph. This has resulted in an increase of up to 234.6% in circuit execution accuracy on BV circuits and an average improvement of 71.0% in the quality of QAOA solutions when tested on 16 IBMQ quantum processors.


title: Emotion Recognition in Conversation using Probabilistic Soft Logic

abstract: Creating agents that can both appropriately respond to conversations and understand complex human linguistic tendencies and social cues has been a long standing challenge in the NLP community. A recent pillar of research revolves around emotion recognition in conversation (ERC); a sub-field of emotion recognition that focuses on conversations or dialogues that contain two or more utterances. In this work, we explore an approach to ERC that exploits the use of neural embeddings along with complex structures in dialogues. We implement our approach in a framework called Probabilistic Soft Logic (PSL), a declarative templating language that uses first-order like logical rules, that when combined with data, define a particular class of graphical model. Additionally, PSL provides functionality for the incorporation of results from neural models into PSL models. This allows our model to take advantage of advanced neural methods, such as sentence embeddings, and logical reasoning over the structure of a dialogue. We compare our method with state-of-the-art purely neural ERC systems, and see almost a 20% improvement. With these results, we provide an extensive qualitative and quantitative analysis over the DailyDialog conversation dataset.


title: Collective model for cluster motion in $^8$Be, $^{12}$C, and $^{16}$O systems

abstract: A microscopic $n\alpha$ cluster model was applied to $^{8}$Be, $^{12}$C, and $^{16}$O systems to investigate cluster motion in the ground state and radial excitation. In the microscopic calculation of $^{12}$C and $^{16}$O using the generator coordinate method with the coordinate $D$ of the $\alpha$-$\alpha$ distance, excited states were obtained as the large-amplitude mode built on the ground state. A collective model was constructed to describe the cluster motion of these states by utilizing inputs from the microscopic cluster model such as the norm kernel and energy expectation values. Furthermore, the cluster model was extended by introducing the imaginary part of the coordinate $D$ to incorporate the dynamical effects on the collective mass. The collective wave function obtained with the collective model was found to be in reasonable agreement with the results of the generator coordinate method for energies, root-mean-square radii, and amplitude functions.


title: Assessing the Affordability of Nutrient-Adequate Diets

abstract: The cost and affordability of least-cost healthy diets by time and place are increasingly used as a proxy for access to nutrient-adequate diets. Recent work has focused on the nutrient requirements of individuals, although most food and anti-poverty programs target whole households. This raises the question of how the cost of a nutrient-adequate diet can be measured for an entire household. This study identifies upper and lower bounds on the feasibility, cost, and affordability of meeting all household members' nutrient requirements using 2013-2017 survey data from Malawi. Findings show only a minority of households can afford the nutrient-adequate diet at either bound, with 20% of households able to afford the (upper bound) shared diets and 38% the individualized (lower bound) diets. Individualized diets are more frequently feasible with locally available foods (90% vs. 60% of the time) and exhibit more moderate seasonal fluctuation. To meet all members' needs, a shared diet requires a more nutrient-dense combination of foods that is more costly and exhibits more seasonality in diet cost than any one food group or the individualized diets. The findings further help adjudicate the extent to which nutritional behavioral change programs versus broader agricultural and food policies can be relied upon to improve individual access to healthy diets.


title: Classification of Bark Beetle-Induced Forest Tree Mortality using Deep Learning

abstract: Bark beetle outbreaks can dramatically impact forest ecosystems and services around the world. For the development of effective forest policies and management plans, the early detection of infested trees is essential. Despite the visual symptoms of bark beetle infestation, this task remains challenging, considering overlapping tree crowns and non-homogeneity in crown foliage discolouration. In this work, a deep learning based method is proposed to effectively classify different stages of bark beetle attacks at the individual tree level. The proposed method uses RetinaNet architecture (exploiting a robust feature extraction backbone pre-trained for tree crown detection) to train a shallow subnetwork for classifying the different attack stages of images captured by unmanned aerial vehicles (UAVs). Moreover, various data augmentation strategies are examined to address the class imbalance problem, and consequently, the affine transformation is selected to be the most effective one for this purpose. Experimental evaluations demonstrate the effectiveness of the proposed method by achieving an average accuracy of 98.95%, considerably outperforming the baseline method by approximately 10%.


title: Constructing arcs from paths using Zorn's Lemma

abstract: It is a well-known fact that every path-connected Hausdorff space is arcwise connected. Typically, this result is viewed as a consequence of a sequence of fairly technical results from continuum theory. In this note, we exhibit a direct and simple proof of this statement, which makes explicit use of Zorn's Lemma. Additionally, by carefully breaking down the proof, we identify a modest improvement to a class of spaces relevant to algebraic topology.


title: LineCap: Line Charts for Data Visualization Captioning Models

abstract: Data visualization captions help readers understand the purpose of a visualization and are crucial for individuals with visual impairments. The prevalence of poor figure captions and the successful application of deep learning approaches to image captioning motivate the use of similar techniques for automated figure captioning. However, research in this field has been stunted by the lack of suitable datasets. We introduce LineCap, a novel figure captioning dataset of 3,528 figures, and we provide insights from curating this dataset and using end-to-end deep learning models for automated figure captioning.


title: Unrolled Optimization with Deep Learning-based Priors for Phaseless Inverse Scattering Problems

abstract: Inverse scattering problems, such as those in electromagnetic imaging using phaseless data (PD-ISPs), involve imaging objects using phaseless measurements of wave scattering. Such inverse problems can be highly non-linear and ill-posed under extremely strong scattering conditions such as when the objects have very high permittivity or are large in size. In this work, we propose an end-to-end reconstruction framework using unrolled optimization with deep priors to solve PD-ISPs under very strong scattering conditions. We incorporate an approximate linear physics-based model into our optimization framework along with a deep learning-based prior and solve the resulting problem using an iterative algorithm which is unfolded into a deep network. This network not only learns data-driven regularization, but also overcomes the shortcomings of approximate linear models and learns non-linear features. More important, unlike existing PD-ISP methods, the proposed framework learns optimum values of all tunable parameters (including multiple regularization parameters) as a part of the framework. Results from simulations and experiments are shown for the use case of indoor imaging using 2.4 GHz phaseless Wi-Fi measurements, where the objects exhibit extremely strong scattering and low-absorption. Results show that the proposed framework outperforms existing model-driven and data-driven techniques by a significant margin and provides up to 20 times higher validity range.


title: Ultrafast coherent interlayer phonon dynamics in atomically thin layers of MnBi2Te4

abstract: The atomically thin MnBi2Te4 crystal is a novel magnetic topological insulator, exhibiting exotic quantum physics. Here we report a systematic investigation of ultrafast carrier dynamics and coherent interlayer phonons in few-layer MnBi2Te4 as a function of layer number using time-resolved pump-probe reflectivity spectroscopy. Pronounced coherent phonon oscillations from the interlayer breathing mode are directly observed in the time domain. We find that the coherent oscillation frequency, the photocarrier and coherent phonon decay rates all depend sensitively on the sample thickness. The time-resolved measurements are complemented by ultralow-frequency Raman spectroscopy measurements, which both confirm the interlayer breathing mode and additionally enable observation of the interlayer shear mode. The layer dependence of these modes allows us to extract both the out-of-plane and in-plane interlayer force constants. Our studies not only reveal the interlayer van der Waals coupling strengths, but also shed light on the ultrafast optical properties of this novel two-dimensional material.


title: Path Integral Quantum Monte Carlo Method for Light Nuclei

abstract: I describe the first continuous space nuclear path integral quantum Monte Carlo method, and calculate the ground state properties of light nuclei including Deuteron, Triton, Helium-3 and Helium-4, using both local chiral interaction up to next-to-next-to-leading-order and the Argonne $v_6'$ interaction. Compared with diffusion based quantum Monte Carlo methods such as Green's function Monte Carlo and auxiliary field diffusion Monte Carlo, path integral quantum Monte Carlo has the advantage that it can directly calculate the expectation value of operators without tradeoff, whether they commute with the Hamiltonian or not. For operators that commute with the Hamiltonian, e.g., the Hamiltonian itself, the path integral quantum Monte Carlo light-nuclei results agree with Green's function Monte Carlo and auxiliary field diffusion Monte Carlo results. For other operator expectations which are important to understand nuclear measurements but do not commute with the Hamiltonian and therefore cannot be accurately calculated by diffusion based quantum Monte Carlo methods without tradeoff, the path integral quantum Monte Carlo method gives reliable results. I show root-mean-square radii, one-particle number density distributions, and Euclidean response functions for single-nucleon couplings. I also systematically describe all the sampling algorithms used in this work, the strategies to make the computation efficient, the error estimations, and the details of the implementation of the code to perform calculations. This work can serve as a benchmark test for future calculations of larger nuclei or finite temperature nuclear matter using path integral quantum Monte Carlo.


title: Parameter estimation of a two state delay differential equation modeling the human respiratory system

abstract: We study parameter estimation for the two state model which describes the balance equation for carbon dioxide and oxygen in human respiratory system. These are nonlinear parameter dependent and because of the transport delay in the respiratory control system, they are modeled with delay differential equation. Numerically simulated noisy data are generated and several examples are studied with Levenberg-Marquardt and Trust-region algorithms to determine the values of unknown parameters.


title: Modified Scattering of Cubic Nonlinear Schr\"odinger Equation on Rescaled Waveguide Manifolds

abstract: We use modified scattering theory to demonstrate that small-data solutions to the cubic nonlinear Schr\"odinger equation on rescaled waveguide manifolds, $\mathbb{R} \times \mathbb{T}^d$ for $d\geq 2$, demonstrate boundedness of Sobolev norms as well as weak instability.


title: Impulsively Generated Kink Wave Trains in Solar Coronal Slabs

abstract: We numerically follow the response of density-enhanced slabs to impulsive, localized, transverse velocity perturbations by working in the framework of ideal magnetohydrodynamics (MHD). Both linear and nonlinear regimes are addressed. Kink wave trains are seen to develop along the examined slabs, sharing the characteristics that more oscillatory patterns emerge with time and that the apparent wavelength increases with distance at a given instant. Two features nonetheless arise due to nonlinearity, one being a density cavity close to the exciter and the other being the appearance of shocks both outside and inside the nominal slab. These features may be relevant for understanding the interaction between magnetic structures and such explosive events as coronal mass ejections. Our numerical findings on kink wave trains in solar coronal slabs are discussed in connection with typical measurements of streamer waves.


title: On the Super-exponential Quantum Speedup of Equivariant Quantum Machine Learning Algorithms with SU($d$) Symmetry

abstract: We introduce a framework of the equivariant convolutional algorithms which is tailored for a number of machine-learning tasks on physical systems with arbitrary SU($d$) symmetries. It allows us to enhance a natural model of quantum computation--permutational quantum computing (PQC) [Quantum Inf. Comput., 10, 470-497 (2010)] --and defines a more powerful model: PQC+. While PQC was shown to be effectively classically simulatable, we exhibit a problem which can be efficiently solved on PQC+ machine, whereas the best known classical algorithms runs in $O(n!n^2)$ time, thus providing strong evidence against PQC+ being classically simulatable. We further discuss practical quantum machine learning algorithms which can be carried out in the paradigm of PQC+.

categories: quant-ph cs.AI cs.LG math-ph math.MP stat.ML


title: Fast construction on a restricted budget

abstract: We introduce a model of a controlled random graph process. In this model, the edges of the complete graph $K_n$ are ordered randomly and then revealed, one by one, to a player called Builder. He must decide, immediately and irrevocably, whether to purchase each observed edge. The observation time is bounded by parameter $t$, and the total budget of purchased edges is bounded by parameter $b$. Builder's goal is to devise a strategy that, with high probability, allows him to construct a graph of purchased edges possessing a target graph property $\mathcal{P}$, all within the limitations of observation time and total budget. We show the following: (a) Builder has a strategy to achieve $k$-vertex-connectivity at the hitting time for this property by purchasing at most $c_kn$ edges for an explicit $c_k<k$; and a strategy to achieve minimum degree $k$ (slightly) after the threshold for minimum degree $k$ by purchasing at most $(1+\varepsilon)kn/2$ edges (which is optimal). (b) Builder has a strategy to create a Hamilton cycle at the hitting time for Hamiltonicity by purchasing at most $Cn$ edges for an absolute constant $C>1$; this is optimal in the sense that $C$ cannot be arbitrarily close to $1$. This substantially extends the classical hitting time result for Hamiltonicity due to Ajtai--Koml\'os--Szemer\'edi and Bollob\'as. (c) Builder has a strategy to create a perfect matching by time $(1+\varepsilon)n\log{n}/2$ while purchasing at most $(1+\varepsilon)n/2$ edges (which is optimal). (d) Builder has a strategy to create a copy of a given $k$-vertex tree if $t\ge b\gg\max\{(n/t)^{k-2},1\}$, and this is optimal; (e) For $\ell=2k+1$ or $\ell=2k+2$, Builder has a strategy to create a copy of a cycle of length $\ell$ if $b\gg\max \{n^{k+2}/t^{k+1},n/\sqrt{t}\}$, and this is optimal.


title: A Data-Driven Approach for Discovering the Most Probable Transition Pathway for a Stochastic Carbon Cycle System

abstract: Many natural systems exhibit tipping points where changing environmental conditions spark a sudden shift to a new and sometimes quite different state. Global climate change is often associated with the stability of marine carbon stocks. We consider a stochastic carbonate system of the upper ocean to capture such transition phenomena. Based on the Onsager-Machlup action functional theory, we calculate the most probable transition pathway between the metastable and oscillatory states via a neural shooting method, and further explore the effects of external random carbon input rates on the most probable transition pathway, which provides a basis to recognize naturally occurring tipping points. Particularly, we investigate the effect of the transition time on the transition pathway and further compute the optimal transition time using physics informed neural network, towards the maximum carbonate concentration state in the oscillatory regimes. This work offers some insights on the effects of random carbon input on climate transition in a simple model. Key words: Onsager-Machlup action functional, the most probable transition pathway, neural shooting method, stochastic carbon cycle system.


title: Single Shot Self-Reliant Scene Text Spotter by Decoupled yet Collaborative Detection and Recognition

abstract: Typical text spotters follow the two-stage spotting paradigm which detects the boundary for a text instance first and then performs text recognition within the detected regions. Despite the remarkable progress of such spotting paradigm, an important limitation is that the performance of text recognition depends heavily on the precision of text detection, resulting in the potential error propagation from detection to recognition. In this work, we propose the single shot Self-Reliant Scene Text Spotter v2 (SRSTS v2), which circumvents this limitation by decoupling recognition from detection while optimizing two tasks collaboratively. Specifically, our SRSTS v2 samples representative feature points around each potential text instance, and conducts both text detection and recognition in parallel guided by these sampled points. Thus, the text recognition is no longer dependent on detection, thereby alleviating the error propagation from detection to recognition. Moreover, the sampling module is learned under the supervision from both detection and recognition, which allows for the collaborative optimization and mutual enhancement between two tasks. Benefiting from such sampling-driven concurrent spotting framework, our approach is able to recognize the text instances correctly even if the precise text boundaries are challenging to detect. Extensive experiments on four benchmarks demonstrate that our method compares favorably to state-of-the-art spotters.


title: Relationship between Successive Flares in the Same Active Region and Space-Weather HMI Active Region Patch (SHARP) Parameters

abstract: A solar active region (AR) may produce multiple notable flares during its passage across the solar disk. We investigate successive flares from flare-eruptive active regions, and explore their relationship with solar magnetic parameters. We examine six ARs in this study, each with at least one major flare above X1.0. The Space-Weather HMI Active Region Patch (SHARP) is employed in this study to parameterize the ARs. We aim to identify the most flare-related SHARP parameters and lay foundation for future practical flare forecasts. We first evaluate the correlation coefficients between the SHARP parameters and the successive flare production. Then we adopt a Natural Gradient Boost (NGBoost) method to analyze the relationship between the SHARP parameters and the successive flare bursts. Based on the correlation analysis and the importance distribution returned from NGBoost, we select 8 most flare-related SHARP parameters. Finally, we discuss the physical meanings of the 8 selected parameters and their relationship with flare production.


title: Modeling Non-Cooperative Dialogue: Theoretical and Empirical Insights

abstract: Investigating cooperativity of interlocutors is central in studying pragmatics of dialogue. Models of conversation that only assume cooperative agents fail to explain the dynamics of strategic conversations. Thus, we investigate the ability of agents to identify non-cooperative interlocutors while completing a concurrent visual-dialogue task. Within this novel setting, we study the optimality of communication strategies for achieving this multi-task objective. We use the tools of learning theory to develop a theoretical model for identifying non-cooperative interlocutors and apply this theory to analyze different communication strategies. We also introduce a corpus of non-cooperative conversations about images in the GuessWhat?! dataset proposed by De Vries et al. (2017). We use reinforcement learning to implement multiple communication strategies in this context and find empirical results validate our theory.


title: Improving Task-free Continual Learning by Distributionally Robust Memory Evolution

abstract: Task-free continual learning (CL) aims to learn a non-stationary data stream without explicit task definitions and not forget previous knowledge. The widely adopted memory replay approach could gradually become less effective for long data streams, as the model may memorize the stored examples and overfit the memory buffer. Second, existing methods overlook the high uncertainty in the memory data distribution since there is a big gap between the memory data distribution and the distribution of all the previous data examples. To address these problems, for the first time, we propose a principled memory evolution framework to dynamically evolve the memory data distribution by making the memory buffer gradually harder to be memorized with distributionally robust optimization (DRO). We then derive a family of methods to evolve the memory buffer data in the continuous probability measure space with Wasserstein gradient flow (WGF). The proposed DRO is w.r.t the worst-case evolved memory data distribution, thus guarantees the model performance and learns significantly more robust features than existing memory-replay-based methods. Extensive experiments on existing benchmarks demonstrate the effectiveness of the proposed methods for alleviating forgetting. As a by-product of the proposed framework, our method is more robust to adversarial examples than existing task-free CL methods. Code is available on GitHub \url{https://github.com/joey-wang123/DRO-Task-free}


title: Stability of Tschirnhausen Bundles

abstract: Let $\alpha : X \to Y$ be a general degree $r$ primitive map of nonsingular, irreducible, projective curves over an algebraically closed field of characteristic zero or larger than $r$. We prove that the Tschirnhausen bundle of $\alpha$ is semistable if $g(Y) \geq 1$ and stable if $g(Y) \geq 2$.


title: Multi-node Acceleration for Large-scale GCNs

abstract: Limited by the memory capacity and compute power, singe-node graph convolutional neural network (GCN) accelerators cannot complete the execution of GCNs within a reasonable amount of time, due to the explosive size of graphs nowadays. Thus, large-scale GCNs call for a multi-node acceleration system (MultiAccSys) like TPU-Pod for large-scale neural networks. In this work, we aim to scale up single-node GCN accelerators to accelerate GCNs on large-scale graphs. We first identify the communication pattern and challenges of multi-node acceleration for GCNs on large-scale graphs. We observe that (1) coarse-grained communication patterns exist in the execution of GCNs in MultiAccSys, which introduces massive amount of redundant network transmissions and off-chip memory accesses; (2) overall, the acceleration of GCNs in MultiAccSys is bandwidth-bound and latency-tolerant. Guided by these two observations, we then propose MultiGCN, the first MultiAccSys for large-scale GCNs that trades network latency for network bandwidth. Specifically, by leveraging the network latency tolerance, we first propose a topology-aware multicast mechanism with a one put per multicast message-passing model to reduce transmissions and alleviate network bandwidth requirements. Second, we introduce a scatter-based round execution mechanism which cooperates with the multicast mechanism and reduces redundant off-chip memory accesses. Compared to the baseline MultiAccSys, MultiGCN achieves 4~12x speedup using only 28%~68% energy, while reducing 32% transmissions and 73% off-chip memory accesses on average. It not only achieves 2.5~8x speedup over the state-of-the-art multi-GPU solution, but also scales to large-scale graphs as opposed to single-node GCN accelerators.


title: Automating Geometric Proofs of Collision Avoidance with Active Corners

abstract: Avoiding collisions between obstacles and vehicles such as cars, robots or aircraft is essential to the development of automation and autonomy. To simplify the problem, many collision avoidance algorithms and proofs consider vehicles to be a point mass, though the actual vehicles are not points. In this paper, we consider a convex polygonal vehicle with nonzero area traveling along a 2-dimensional trajectory. We derive an easily-checkable, quantifier-free formula to check whether a given obstacle will collide with the vehicle moving on the planned trajectory. We apply our method to two case studies of aircraft collision avoidance and study its performance.


title: Accelerated Probabilistic Marching Cubes by Deep Learning for Time-Varying Scalar Ensembles

abstract: Visualizing the uncertainty of ensemble simulations is challenging due to the large size and multivariate and temporal features of ensemble data sets. One popular approach to studying the uncertainty of ensembles is analyzing the positional uncertainty of the level sets. Probabilistic marching cubes is a technique that performs Monte Carlo sampling of multivariate Gaussian noise distributions for positional uncertainty visualization of level sets. However, the technique suffers from high computational time, making interactive visualization and analysis impossible to achieve. This paper introduces a deep-learning-based approach to learning the level-set uncertainty for two-dimensional ensemble data with a multivariate Gaussian noise assumption. We train the model using the first few time steps from time-varying ensemble data in our workflow. We demonstrate that our trained model accurately infers uncertainty in level sets for new time steps and is up to 170X faster than that of the original probabilistic model with serial computation and 10X faster than that of the original parallel computation.


title: Bound-preserving and entropy-stable algebraic flux correction schemes for the shallow water equations with topography

abstract: A well-designed numerical method for the shallow water equations (SWE) should ensure well-balancedness, nonnegativity of water heights, and entropy stability. For a continuous finite element discretization of a nonlinear hyperbolic system without source terms, positivity preservation and entropy stability can be enforced using the framework of algebraic flux correction (AFC). In this work, we develop a well-balanced AFC scheme for the SWE system including a topography source term. Our method preserves the lake at rest equilibrium up to machine precision. The low-order version represents a generalization of existing finite volume approaches to the finite element setting. The high-order extension is equipped with a property-preserving flux limiter. Nonnegativity of water heights is guaranteed under a standard CFL condition. Moreover, the flux-corrected space discretization satisfies a semi-discrete entropy inequality. New algorithms are proposed for realistic simulation of wetting and drying processes. Numerical examples for well-known benchmarks are presented to evaluate the performance of the scheme.


title: Infinite families of cyclic and negacyclic codes supporting 3-designs

abstract: Interplay between coding theory and combinatorial $t$-designs has been a hot topic for many years for combinatorialists and coding theorists. Some infinite families of cyclic codes supporting infinite families of $3$-designs have been constructed in the past 50 years. However, no infinite family of negacyclic codes supporting an infinite family of $3$-designs has been reported in the literature. This is the main motivation of this paper. Let $q=p^m$, where $p$ is an odd prime and $m \geq 2$ is an integer. The objective of this paper is to present an infinite family of cyclic codes over $\gf(q)$ supporting an infinite family of $3$-designs and two infinite families of negacyclic codes over $\gf(q^2)$ supporting two infinite families of $3$-designs. The parameters and the weight distributions of these codes are determined. The subfield subcodes of these negacyclic codes over $\gf(q)$ are studied. Three infinite families of almost MDS codes are also presented. A constacyclic code over GF($4$) supporting a $4$-design and six open problems are also presented in this paper.


title: Univoque bases of real numbers: simply normal bases, irregular bases and multiple rationals

abstract: Given a positive integer $M$ and a real number $x\in(0,1]$, we call $q\in(1,M+1]$ a univoque simply normal base of $x$ if there exists a unique simply normal sequence $(d_i)\in\{0,1,\ldots,M\}^\mathbb N$ such that $x=\sum_{i=1}^\infty d_i q^{-i}$. Similarly, a base $q\in(1,M+1]$ is called a univoque irregular base of $x$ if there exists a unique sequence $(d_i)\in\{0,1,\ldots, M\}^\mathbb N$ such that $x=\sum_{i=1}^\infty d_i q^{-i}$ and the sequence $(d_i)$ has no digit frequency. Let $\mathcal U_{SN}(x)$ and $\mathcal U_{I_r}(x)$ be the sets of univoque simply normal bases and univoque irregular bases of $x$, respectively. In this paper we show that for any $x\in(0,1]$ both $\mathcal U_{SN}(x)$ and $\mathcal U_{I_r}(x)$ have full Hausdorff dimension. Furthermore, given finitely many rationals $x_1, x_2, \ldots, x_n\in(0,1]$ so that each $x_i$ has a finite expansion in base $M+1$, we show that there exists a full Hausdorff dimensional set of $q\in(1,M+1]$ such that each $x_i$ has a unique expansion in base $q$.


title: Band-Engineered LaFeO$_{3}$-LaNiO$_{3}$ Thin Film Interfaces for Electrocatalysis of Water

abstract: Transition metal oxides have generated significant interest for their potential as catalysts for the oxygen evolution reaction (OER) in alkaline environments. Iron and nickel-based perovskite oxides have proven particularly promising, with catalytic over-potentials rivaling precious metal catalysts when the alignment of the valence band relative to the OER reaction potential is tuned through substitutional doping or alloying. Here we report that engineering of band alignment in LaFeO$_{3}$/LaNiO$_{3}$ (LFO/LNO) heterostructures via interfacial doping yields greatly enhanced catalytic performance. Using density functional theory modeling, we predict a 0.2 eV valence band offset (VBO) between metallic LNO and semiconducting LFO that significantly lowers the barrier for hole transport through LFO compared to the intrinsic material and make LFO a p-type semiconductor. Experimental band alignment measurements using in situ X-ray photoelectron spectroscopy of epitaxial LFO/LNO heterostructures agree quite well with these predictions, producing a measured VBO of 0.3(1) eV. OER catalytic measurements on the same samples in alkaline solution show an increase in catalytic current density by a factor of ~275 compared to LFO grown on n-type Nb-doped SrTiO$_{3}$. These results demonstrate the power of tuning band alignments through interfacial band engineering for improved catalytic


title: Acceleration of 60 MeV proton beams in the commissioning experiment of SULF-10 PW laser

abstract: We report the experimental results of the commissioning phase in the 10 PW laser beamline of Shanghai Superintense Ultrafast Laser Facility (SULF). The peak power reaches 2.4 PW on target without the last amplifying during the experiment. The laser energy of 72\pm 9 J is directed to a focal spot of ~6 {\mu}m diameter (FWHM) in 30 fs pulse duration, yielding a focused peak intensity around 2.0 \times 10^{21} W/cm^2. First laser-proton acceleration experiment is performed using plain copper and plastic targets. High-energy proton beams with maximum cut-off energy up to 62.5 MeV are achieved using copper foils at the optimum target thickness of 4 {\mu}m via target normal sheath acceleration (TNSA). For plastic targets of tens of nanometers thick, the proton cut-off energy is approximately 20 MeV, showing ring-like or filamented density distributions. These experimental results reflect the capabilities of the SULF-10 PW beamline, e.g., both ultrahigh intensity and relatively good beam contrast. Further optimization for these key parameters is underway, where peak laser intensities of 10^{22}-10^{23} W/cm^2 are anticipated to support various experiments on extreme field physics.


title: Anisotropic field response of specific heat for a ferromagnetic superconductor UCoGe in magnetic fields

abstract: Magnetic-field-angle-resolved specific heat and magnetization measurements were conducted on a ferromagnetic superconductor UCoGe with remarkable anisotropic upper critical field $H_{\rm c2}$. Although $H_{\rm c2}$ reaches a high magnetic field ($\sim 20$~T) along the $b$ axis, it is small ($\sim~0.6$~T) when a magnetic field is applied along the magnetic easy $c$-axis. This study indicates that the specific heat is abruptly suppressed when the magnetic field is applied toward the $c$ axis from the $a$ and $b$ axes in the ferromagnetic state. The field response of density of states (DOS) is anisotropic, relative to the $c$ axis, and its angle dependence is slightly singular. The Ising-type magnetic anisotropy of the ferromagnetic state is dominant even in the anisotropic reinforced superconducting state. These facts indicate that the suppression of DOS may closely relate to the superconducting state. We theoretically analyze these findings together with URhGe and UTe$_2$ by highlighting the common and distinctive features among three compounds.


title: ScaleNet: Searching for the Model to Scale

abstract: Recently, community has paid increasing attention on model scaling and contributed to developing a model family with a wide spectrum of scales. Current methods either simply resort to a one-shot NAS manner to construct a non-structural and non-scalable model family or rely on a manual yet fixed scaling strategy to scale an unnecessarily best base model. In this paper, we bridge both two components and propose ScaleNet to jointly search base model and scaling strategy so that the scaled large model can have more promising performance. Concretely, we design a super-supernet to embody models with different spectrum of sizes (e.g., FLOPs). Then, the scaling strategy can be learned interactively with the base model via a Markov chain-based evolution algorithm and generalized to develop even larger models. To obtain a decent super-supernet, we design a hierarchical sampling strategy to enhance its training sufficiency and alleviate the disturbance. Experimental results show our scaled networks enjoy significant performance superiority on various FLOPs, but with at least 2.53x reduction on search cost. Codes are available at https://github.com/luminolx/ScaleNet.


title: Lightweight Vision Transformer with Cross Feature Attention

abstract: Recent advances in vision transformers (ViTs) have achieved great performance in visual recognition tasks. Convolutional neural networks (CNNs) exploit spatial inductive bias to learn visual representations, but these networks are spatially local. ViTs can learn global representations with their self-attention mechanism, but they are usually heavy-weight and unsuitable for mobile devices. In this paper, we propose cross feature attention (XFA) to bring down computation cost for transformers, and combine efficient mobile CNNs to form a novel efficient light-weight CNN-ViT hybrid model, XFormer, which can serve as a general-purpose backbone to learn both global and local representation. Experimental results show that XFormer outperforms numerous CNN and ViT-based models across different tasks and datasets. On ImageNet1K dataset, XFormer achieves top-1 accuracy of 78.5% with 5.5 million parameters, which is 2.2% and 6.3% more accurate than EfficientNet-B0 (CNN-based) and DeiT (ViT-based) for similar number of parameters. Our model also performs well when transferring to object detection and semantic segmentation tasks. On MS COCO dataset, XFormer exceeds MobileNetV2 by 10.5 AP (22.7 -> 33.2 AP) in YOLOv3 framework with only 6.3M parameters and 3.8G FLOPs. On Cityscapes dataset, with only a simple all-MLP decoder, XFormer achieves mIoU of 78.5 and FPS of 15.3, surpassing state-of-the-art lightweight segmentation networks.


title: Weakly Supervised Video Salient Object Detection via Point Supervision

abstract: Video salient object detection models trained on pixel-wise dense annotation have achieved excellent performance, yet obtaining pixel-by-pixel annotated datasets is laborious. Several works attempt to use scribble annotations to mitigate this problem, but point supervision as a more labor-saving annotation method (even the most labor-saving method among manual annotation methods for dense prediction), has not been explored. In this paper, we propose a strong baseline model based on point supervision. To infer saliency maps with temporal information, we mine inter-frame complementary information from short-term and long-term perspectives, respectively. Specifically, we propose a hybrid token attention module, which mixes optical flow and image information from orthogonal directions, adaptively highlighting critical optical flow information (channel dimension) and critical token information (spatial dimension). To exploit long-term cues, we develop the Long-term Cross-Frame Attention module (LCFA), which assists the current frame in inferring salient objects based on multi-frame tokens. Furthermore, we label two point-supervised datasets, P-DAVIS and P-DAVSOD, by relabeling the DAVIS and the DAVSOD dataset. Experiments on the six benchmark datasets illustrate our method outperforms the previous state-of-the-art weakly supervised methods and even is comparable with some fully supervised approaches. Source code and datasets are available.


title: Controlling and measuring a superposition of position and momentum

abstract: The dynamics of a particle propagating in free space is described by its position and momentum, where quantum mechanics prohibits the simultaneous identification of two non-commutative physical quantities. Recently, a lower bound on the probability of finding a particle after propagating for a given time has been derived for well-defined initial constraints on position and momentum under the assumption that particles travel in straight lines. Here, we investigate this lower limit experimentally with photons. We prepared a superposition of position and momentum states by using slits, lenses and an interferometer, and observed a quantum interference between position and momentum. The lower bound was then evaluated using the initial state and the result was 5.9\% below this classical bound.


title: Set-based value operators for non-stationary Markovian environments

abstract: This paper analyzes finite state Markov Decision Processes (MDPs) with uncertain parameters in compact sets and re-examines results from robust MDP via set-based fixed point theory. To this end, we generalize the Bellman and policy evaluation operators to contracting operators on the value function space and denote them as \emph{value operators}. We lift these value operators to act on \emph{sets} of value functions and denote them as \emph{set-based value operators}. We prove that the set-based value operators are \emph{contractions} in the space of compact value function sets. Leveraging insights from set theory, we generalize the rectangularity condition in classic robust MDP literature to a containment condition for all value operators, which is weaker and can be applied to a larger set of parameter-uncertain MDPs and contracting operators in dynamic programming. We prove that both the rectangularity condition and the containment condition sufficiently ensure that the set-based value operator's fixed point set contains its own extrema elements. For convex and compact sets of uncertain MDP parameters, we show equivalence between the classic robust value function and the supremum of the fixed point set of the set-based Bellman operator. Under dynamically changing MDP parameters in compact sets, we prove a set convergence result for value iteration, which otherwise may not converge to a single value function. Finally, we derive novel guarantees for probabilistic path-planning problems in planet exploration and stratospheric station-keeping.


title: Demonstrating scalable randomized benchmarking of universal gate sets

abstract: Randomized benchmarking (RB) protocols are the most widely used methods for assessing the performance of quantum gates. However, the existing RB methods either do not scale to many qubits or cannot benchmark a universal gate set. Here, we introduce and demonstrate a technique for scalable RB of many universal and continuously parameterized gate sets, using a class of circuits called randomized mirror circuits. Our technique can be applied to a gate set containing an entangling Clifford gate and the set of arbitrary single-qubit gates, as well as gate sets containing controlled rotations about the Pauli axes. We use our technique to benchmark universal gate sets on four qubits of the Advanced Quantum Testbed, including a gate set containing a controlled-S gate and its inverse, and we investigate how the observed error rate is impacted by the inclusion of non-Clifford gates. Finally, we demonstrate that our technique scales to many qubits with experiments on a 27-qubit IBM Q processor. We use our technique to quantify the impact of crosstalk on this 27-qubit device, and we find that it contributes approximately 2/3 of the total error per gate in random many-qubit circuit layers.


title: Direction-Aware Joint Adaptation of Neural Speech Enhancement and Recognition in Real Multiparty Conversational Environments

abstract: This paper describes noisy speech recognition for an augmented reality headset that helps verbal communication within real multiparty conversational environments. A major approach that has actively been studied in simulated environments is to sequentially perform speech enhancement and automatic speech recognition (ASR) based on deep neural networks (DNNs) trained in a supervised manner. In our task, however, such a pretrained system fails to work due to the mismatch between the training and test conditions and the head movements of the user. To enhance only the utterances of a target speaker, we use beamforming based on a DNN-based speech mask estimator that can adaptively extract the speech components corresponding to a head-relative particular direction. We propose a semi-supervised adaptation method that jointly updates the mask estimator and the ASR model at run-time using clean speech signals with ground-truth transcriptions and noisy speech signals with highly-confident estimated transcriptions. Comparative experiments using the state-of-the-art distant speech recognition system show that the proposed method significantly improves the ASR performance.


title: Machine Learning Prediction of COVID-19 Severity Levels From Salivaomics Data

abstract: The clinical spectrum of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the strain of coronavirus that caused the COVID-19 pandemic, is broad, extending from asymptomatic infection to severe immunopulmonary reactions that, if not categorized properly, may be life-threatening. Researchers rate COVID-19 patients on a scale from 1 to 8 according to the severity level of COVID-19, 1 being healthy and 8 being extremely sick, based on a multitude of factors including number of clinic visits, days since the first sign of symptoms, and more. However, there are two issues with the current state of severity level designation. Firstly, there exists variation among researchers in determining these patient scores, which may lead to improper treatment. Secondly, researchers use a variety of metrics to determine patient severity level, including metrics involving plasma collection that require invasive procedures. This project aims to remedy both issues by introducing a machine learning framework that unifies severity level designations based on noninvasive saliva biomarkers. Our results show that we can successfully use machine learning on salivaomics data to predict the severity level of COVID-19 patients, indicating the presence of viral load using saliva biomarkers.


title: Can we reveal the core-chemical composition of ultra-massive white dwarfs through their magnetic fields?

abstract: Ultra-massive white dwarfs ($ 1.05 \rm M_\odot \lesssim M_{WD}$) are particularly interesting objects that allow us to study extreme astrophysical phenomena such as type Ia supernovae explosions and merger events. Traditionally, ultra-massive white dwarfs are thought to harbour oxygen-neon (ONe) cores. However, recent theoretical studies and new observations suggest that some ultra-massive white dwarfs could harbour carbon-oxygen (CO) cores. Although several studies have attempted to elucidate the core composition of ultra-massive white dwarfs, to date, it has not been possible to distinguish them through their observed properties. Here, we present a new method for revealing the core-chemical composition in ultra-massive white dwarfs that is based on the study of magnetic fields generated by convective mixing induced by the crystallization process. ONe white dwarfs crystallize at higher luminosities than their CO counterparts. Therefore, the study of magnetic ultra-massive white dwarfs in the particular domain where ONe cores have reached the crystallization conditions but CO cores have not, may provide valuable support to their ONe core-chemical composition, since ONe white dwarfs would display signs of magnetic fields and CO would not. We apply our method to eight white dwarfs with magnetic field measurements and we suggest that these stars are candidate ONe white dwarfs.


title: A Flexible Schema-Guided Dialogue Management Framework: From Friendly Peer to Virtual Standardized Cancer Patient

abstract: A schema-guided approach to dialogue management has been shown in recent work to be effective in creating robust customizable virtual agents capable of acting as friendly peers or task assistants. However, successful applications of these methods in open-ended, mixed-initiative domains remain elusive -- particularly within medical domains such as virtual standardized patients, where such complex interactions are commonplace -- and require more extensive and flexible dialogue management capabilities than previous systems provide. In this paper, we describe a general-purpose schema-guided dialogue management framework used to develop SOPHIE, a virtual standardized cancer patient that allows a doctor to conveniently practice for interactions with patients. We conduct a crowdsourced evaluation of conversations between medical students and SOPHIE. Our agent is judged to produce responses that are natural, emotionally appropriate, and consistent with her role as a cancer patient. Furthermore, it significantly outperforms an end-to-end neural model fine-tuned on a human standardized patient corpus, attesting to the advantages of a schema-guided approach.


title: Optical Properties of Chiral Three-Dimensional Photonic Crystals made from Semiconductors

abstract: We perform a theoretical and numerical study of the optical properties of both direct and inverse three-dimensional (3D) chiral woodpile structures, and a corresponding chiral Bragg stack. We compute transmission spectra in the helical direction for finite crystals, and photonic band structures, where we ensure the effective index of all structures to be the same. We find that both 3D structures show dual-band circular dichroism, where light with a particular circular polarization state - either left- or right-handed - reveals a broad stop band with major attenuation, whereas the other polarization state is transmitted nearly unimpeded. We observe such gaps in different frequency ranges, with alternating handedness. The appearance of the circular-polarized gaps is successfully interpreted with a physical model wherein the circular polarization either co-rotates or counter-rotates with the chiral structure, thereby effectively leading to a spatially-dependent or a constant refractive index, and thus to the presence or absence of a gap. We find that the presence or absence of circularly polarized gaps is tuned by the transverse periods perpendicular to the chiral axis in both the 3D direct and inverse chiral woodpile crystal structures. The tunability of circular dichroism may find applications as on-chip sensors for circularly polarized light and in the on-chip detection of chiral molecules.


title: Boosting Multi-Modal E-commerce Attribute Value Extraction via Unified Learning Scheme and Dynamic Range Minimization

abstract: With the prosperity of e-commerce industry, various modalities, e.g., vision and language, are utilized to describe product items. It is an enormous challenge to understand such diversified data, especially via extracting the attribute-value pairs in text sequences with the aid of helpful image regions. Although a series of previous works have been dedicated to this task, there remain seldomly investigated obstacles that hinder further improvements: 1) Parameters from up-stream single-modal pretraining are inadequately applied, without proper jointly fine-tuning in a down-stream multi-modal task. 2) To select descriptive parts of images, a simple late fusion is widely applied, regardless of priori knowledge that language-related information should be encoded into a common linguistic embedding space by stronger encoders. 3) Due to diversity across products, their attribute sets tend to vary greatly, but current approaches predict with an unnecessary maximal range and lead to more potential false positives. To address these issues, we propose in this paper a novel approach to boost multi-modal e-commerce attribute value extraction via unified learning scheme and dynamic range minimization: 1) Firstly, a unified scheme is designed to jointly train a multi-modal task with pretrained single-modal parameters. 2) Secondly, a text-guided information range minimization method is proposed to adaptively encode descriptive parts of each modality into an identical space with a powerful pretrained linguistic model. 3) Moreover, a prototype-guided attribute range minimization method is proposed to first determine the proper attribute set of the current product, and then select prototypes to guide the prediction of the chosen attributes. Experiments on the popular multi-modal e-commerce benchmarks show that our approach achieves superior performance over the other state-of-the-art techniques.


title: BaF molecules in neon ice: trapping, spectroscopy and optical control of electron spins

abstract: We have trapped BaF molecules in neon ice, and used laser-induced fluorescence spectroscopy to map out optical transitions in the trapped molecules. Our measurements show that the neon lattice does not significantly perturb certain optical transitions in the trapped molecules. We used one of these transitions to polarize the electron spins, detect spin flips and measure hyperfine transitions in the trapped molecules, entirely using lasers. This demonstration with heavy polar molecules opens up new opportunities for precision measurements of beyond-standard-model physics.


title: Transverse-momentum-dependent wave functions and Soft functions at one-loop in Large Momentum Effective Theory

abstract: In large-momentum effective theory (LaMET), the transverse-momentum-dependent (TMD) light-front wave functions and soft functions can be extracted from the simulation of a four-quark form factor and equal-time correlation functions. In this work, using expansion by regions we provide a one-loop proof of TMD factorization of the form factor. For the one-loop validation, we also present a detailed calculation of ${\cal O}(\alpha_s)$ perturbative corrections to these quantities, in which we adopt a modern technique for the calculation of TMD form factor based the integration by part and differential equation. The one-loop hard functions are then extracted. Using lattice data from Lattice Parton Collaboration on quasi-TMDWFs, we estimate the effects from the one-loop matching kernel and find that the perturbative corrections depend on the operator to define the form factor, but are less sensitive to the transverse separation. These results will be helpful to precisely extract the soft functions and TMD wave functions from the first-principle in future.


title: STEER: Beam Selection for Full-Duplex Millimeter Wave Communication Systems

abstract: Modern millimeter wave (mmWave) communication systems rely on beam alignment to deliver sufficient beamforming gain to close the link between devices. We present a novel beam selection methodology for multi-panel, full-duplex mmWave systems, which we call STEER, that delivers high beamforming gain while significantly reducing the full-duplex self-interference coupled between the transmit and receive beams. STEER does not necessitate changes to conventional beam alignment methodologies nor additional over-the-air feedback, making it compatible with existing cellular standards. Instead, STEER uses conventional beam alignment to identify the general directions beams should be steered, and then it makes use of a minimal number of self-interference measurements to jointly select transmit and receive beams that deliver high gain in these directions while coupling low self-interference. We implement STEER on an industry-grade 28 GHz phased array platform and use further simulation to show that full-duplex operation with beams selected by STEER can notably outperform both half-duplex and full-duplex operation with beams chosen via conventional beam selection. For instance, STEER can reliably reduce self-interference by more than 20 dB and improve SINR by more than 10 dB, compared to conventional beam selection. Our experimental results highlight that beam alignment can be used not only to deliver high beamforming gain in full-duplex mmWave systems but also to mitigate self-interference to levels near or below the noise floor, rendering additional self-interference cancellation unnecessary with STEER.


title: Large Deviations for Small Noise Diffusions Over Long Time

abstract: We study two problems. First, we consider the large deviation behavior of empirical measures of certain diffusion processes as, simultaneously, the time horizon becomes large and noise becomes vanishingly small. The law of large numbers (LLN) of the empirical measure in this asymptotic regime is given by the unique equilibrium of the noiseless dynamics. Due to degeneracy of the noise in the limit, the methods of Donsker and Varadhan (1976) are not directly applicable and new ideas are needed. Second, we study a system of slow-fast diffusions where both the slow and the fast components have vanishing noise on their natural time scales. This time the LLN is governed by a degenerate averaging principle in which local equilibria of the noiseless system obtained from the fast dynamics describe the asymptotic evolution of the slow component. We establish a large deviation principle that describes probabilities of divergence from this behavior. On the one hand our methods require stronger assumptions than the nondegenerate settings, while on the other hand the rate functions take simple and explicit forms that have striking differences from their nondegenerate counterparts.


title: A Broad and General Sequential Sampling Scheme

abstract: In this paper, we propose a broad and general sequential sampling scheme, which incorporates four different types of sampling procedures: i) the classic Anscombe-Chow-Robbins purely sequential sampling procedure; ii) the ordinary accelerated sequential sampling procedure; iii) the relatively new k-at-a-time purely sequential sampling procedure; iv) the new k-at-a-time improved accelerated sequential sampling procedure. The first-order and second-order properties of this general sequential sampling scheme are fully investigated with two illustrations on minimum risk point estimation for the mean of a normal distribution and on bounded variance point estimation for the location parameter of a negative exponential distribution, respectively. We also provide extensive computational simulation studies and real data analyses for each illustration.


title: Parameterization of Cross-Token Relations with Relative Positional Encoding for Vision MLP

abstract: Vision multi-layer perceptrons (MLPs) have shown promising performance in computer vision tasks, and become the main competitor of CNNs and vision Transformers. They use token-mixing layers to capture cross-token interactions, as opposed to the multi-head self-attention mechanism used by Transformers. However, the heavily parameterized token-mixing layers naturally lack mechanisms to capture local information and multi-granular non-local relations, thus their discriminative power is restrained. To tackle this issue, we propose a new positional spacial gating unit (PoSGU). It exploits the attention formulations used in the classical relative positional encoding (RPE), to efficiently encode the cross-token relations for token mixing. It can successfully reduce the current quadratic parameter complexity $O(N^2)$ of vision MLPs to $O(N)$ and $O(1)$. We experiment with two RPE mechanisms, and further propose a group-wise extension to improve their expressive power with the accomplishment of multi-granular contexts. These then serve as the key building blocks of a new type of vision MLP, referred to as PosMLP. We evaluate the effectiveness of the proposed approach by conducting thorough experiments, demonstrating an improved or comparable performance with reduced parameter complexity. For instance, for a model trained on ImageNet1K, we achieve a performance improvement from 72.14\% to 74.02\% and a learnable parameter reduction from $19.4M$ to $18.2M$. Code could be found at https://github.com/Zhicaiwww/PosMLP.


title: X-CLIP: End-to-End Multi-grained Contrastive Learning for Video-Text Retrieval

abstract: Video-text retrieval has been a crucial and fundamental task in multi-modal research. The development of video-text retrieval has been considerably promoted by large-scale multi-modal contrastive pre-training, which primarily focuses on coarse-grained or fine-grained contrast. However, cross-grained contrast, which is the contrast between coarse-grained representations and fine-grained representations, has rarely been explored in prior research. Compared with fine-grained or coarse-grained contrasts, cross-grained contrast calculate the correlation between coarse-grained features and each fine-grained feature, and is able to filter out the unnecessary fine-grained features guided by the coarse-grained feature during similarity calculation, thus improving the accuracy of retrieval. To this end, this paper presents a novel multi-grained contrastive model, namely X-CLIP, for video-text retrieval. However, another challenge lies in the similarity aggregation problem, which aims to aggregate fine-grained and cross-grained similarity matrices to instance-level similarity. To address this challenge, we propose the Attention Over Similarity Matrix (AOSM) module to make the model focus on the contrast between essential frames and words, thus lowering the impact of unnecessary frames and words on retrieval results. With multi-grained contrast and the proposed AOSM module, X-CLIP achieves outstanding performance on five widely-used video-text retrieval datasets, including MSR-VTT (49.3 R@1), MSVD (50.4 R@1), LSMDC (26.1 R@1), DiDeMo (47.8 R@1) and ActivityNet (46.2 R@1). It outperforms the previous state-of-theart by +6.3%, +6.6%, +11.1%, +6.7%, +3.8% relative improvements on these benchmarks, demonstrating the superiority of multi-grained contrast and AOSM.


title: Variable Metric Method for Unconstrained Multiobjective Optimization Problems

abstract: In this paper, we propose a variable metric method for unconstrained multiobjective optimization problems (MOPs). First, a sequence of points is generated using different positive definite matrices in the generic framework. It is proved that accumulation points of the sequence are Pareto critical points. Then, without convexity assumption, strong convergence is established for the proposed method. Moreover, we use a common matrix to approximate the Hessian matrices of all objective functions, along which, a new nonmonotone line search technique is proposed to achieve a local superlinear convergence rate. Finally, several numerical results demonstrate the effectiveness of the proposed method.


title: Riemannian Natural Gradient Methods

abstract: This paper studies large-scale optimization problems on Riemannian manifolds whose objective function is a finite sum of negative log-probability losses. Such problems arise in various machine learning and signal processing applications. By introducing the notion of Fisher information matrix in the manifold setting, we propose a novel Riemannian natural gradient method, which can be viewed as a natural extension of the natural gradient method from the Euclidean setting to the manifold setting. We establish the almost-sure global convergence of our proposed method under standard assumptions. Moreover, we show that if the loss function satisfies certain convexity and smoothness conditions and the input-output map satisfies a Riemannian Jacobian stability condition, then our proposed method enjoys a local linear -- or, under the Lipschitz continuity of the Riemannian Jacobian of the input-output map, even quadratic -- rate of convergence. We then prove that the Riemannian Jacobian stability condition will be satisfied by a two-layer fully connected neural network with batch normalization with high probability, provided that the width of the network is sufficiently large. This demonstrates the practical relevance of our convergence rate result. Numerical experiments on applications arising from machine learning demonstrate the advantages of the proposed method over state-of-the-art ones.


title: WaveGAN: Frequency-aware GAN for High-Fidelity Few-shot Image Generation

abstract: Existing few-shot image generation approaches typically employ fusion-based strategies, either on the image or the feature level, to produce new images. However, previous approaches struggle to synthesize high-frequency signals with fine details, deteriorating the synthesis quality. To address this, we propose WaveGAN, a frequency-aware model for few-shot image generation. Concretely, we disentangle encoded features into multiple frequency components and perform low-frequency skip connections to preserve outline and structural information. Then we alleviate the generator's struggles of synthesizing fine details by employing high-frequency skip connections, thus providing informative frequency information to the generator. Moreover, we utilize a frequency L1-loss on the generated and real images to further impede frequency information loss. Extensive experiments demonstrate the effectiveness and advancement of our method on three datasets. Noticeably, we achieve new state-of-the-art with FID 42.17, LPIPS 0.3868, FID 30.35, LPIPS 0.5076, and FID 4.96, LPIPS 0.3822 respectively on Flower, Animal Faces, and VGGFace. GitHub: https://github.com/kobeshegu/ECCV2022_WaveGAN


title: A Simulation Study of Functional Electrical Stimulation for An Upper Limb Rehabilitation Robot using Iterative Learning Control (ILC) and Linear models

abstract: A proportional iterative learning control (P-ILC) for linear models of an existing hybrid stroke rehabilitation scheme is implemented for elbow extension/flexion during a rehabilitative task. Owing to transient error growth problem of P-ILC, a learning derivative constraint controller was included to ensure that the controlled system does not exceed a predefined velocity limit at every trial. To achieve this, linear transfer function models of the robot end-effector interaction with a stroke subject (plant) and muscle response to stimulation controllers were developed. A straight-line point-point trajectory of 0 - 0.3 m range served as the reference task space trajectory for the plant, feedforward, and feedback stimulation controllers. At each trial, a SAT-based bounded error derivative ILC algorithm served as the learning constraint controller. Three control configurations were developed and simulated. The system performance was evaluated using the root means square error (RMSE) and normalized RMSE. At different ILC gains over 16 iterations, a displacement error of 0.0060 m was obtained when control configurations were combined.


title: Insights into physical conditions and magnetic fields from high redshift quasars

abstract: We use archival WISE and Spitzer photometry to derive optical line fluxes for a sample of distant quasars at z ~6. We find evidence for exceptionally high equivalent width [OIII] emission (rest-frame EW ~400 {\AA}) similar to that inferred for star-forming galaxies at similar redshifts. The median Halpha and Hbeta equivalent widths are derived to be ~400{\AA} and 100~{\AA}, respectively, and are consistent with values seen among quasars in the local Universe, and at z ~2. After accounting for the contribution of photoionization in the broad line regions of quasars, we suggest that the OIII emission corresponds to strong, narrow line emission likely arising from feedback due to massive star-formation in the quasar host. The high [OIII]/Hbeta line ratios can uniquely be interpreted with radiative shock models, and translate to magnetic field strengths of ~8 microGauss with shock velocities of ~400km/s. Our measurement implies that strong, coherent magnetic fields were present in the interstellar medium at a time when the universe was < 1 billion years old. Comparing our estimated magnetic field strengths with models for the evolution of galaxy-scale fields, favors high seed field strengths exceeding 0.1 microGauss, the first observational constraint on such fields. This high value favors scenarios where seed magnetic fields were produced by turbulence in the early stages of galaxy formation. Forthcoming mid-infrared spectroscopy with the James Webb Space Telescope will help constrain the physical conditions in quasar hosts further.


title: A phase transition driven by subtle distortion without broken symmetry on spin, charge and lattice in Layered LnCu4-{\delta}P2(Ln=Eu, Sr)

abstract: In the scenario of Landau phase transition theory in condensed matter physics, any thermal dynamic phase transition must be subject to some kind of broken symmetries, that are relative to its spin, charge, orbital and lattice. Here we report a rare phase transition at Tp ~120 K or 140 K in layered materials LnCu4-{\delta}P2 (Ln=Eu, Sr) driven by a subtle structural-distortion without any broken symmetry on charge, spin and lattice. The variations of the lattice parameters, ({\Delta}Lc/Lc) ~ 0.013% or 0.062%, verified by thermal expansion, is much less than that for a typical crystalline phase transition (~0.5-1%), but the significant anomaly in heat capacity provides clear evidence of its intrinsic nature of thermodynamic transition.


title: PASS: A Parameter Audit-based Secure and Fair Federated Learning Scheme against Free-Rider Attack

abstract: Federated Learning (FL) as a secure distributed learning framework gains interests in Internet of Things (IoT) due to its capability of protecting the privacy of participant data. However, traditional FL systems are vulnerable to Free-Rider (FR) attacks, which causes unfairness, privacy leakage and inferior performance to FL systems. The prior defense mechanisms against FR attacks assumed that malicious clients (namely, adversaries) declare less than 50% of the total amount of clients. Moreover, they aimed for Anonymous FR (AFR) attacks and lost effectiveness in resisting Selfish FR (SFR) attacks. In this paper, we propose a Parameter Audit-based Secure and fair federated learning Scheme (PASS) against FR attack. PASS has the following key features: (a) prevent from privacy leakage with less accuracy loss; (b) be effective in countering both AFR and SFR attacks; (c) work well no matter whether AFR and SFR adversaries occupy the majority of clients or not. Extensive experimental results validate that PASS: (a) has the same level as the State-Of-The-Art method in mean square error against privacy leakage; (b) defends against AFR and SFR attacks in terms of a higher defense success rate, lower false positive rate, and higher F1-score; (c) is still effective where adversaries exceed 50%, with F1-score 89% against AFR attack and F1-score 87% against SFR attack. Note that PASS produces no negative effect on FL accuracy when there is no FR adversary.


title: Quantum mechanically driven structural-spin glass in two dimensions at finite temperature

abstract: In magnetic materials, spins sometimes freeze into spatially disordered glassy states. Glass forming liquids or structural glasses are found very often in three dimensions. However, in two dimensions(2D) it is believed that both spin glass and structural glass can never exist at a finite temperature because they are destroyed by thermal fluctuations. Using a large-scale quantum Monte Carlo simulation, we discover a quantum-mechanically driven 2D glass phase at finite temperatures. Our platform is an Ising spin model with a quantum transverse field on a frustrated triangular lattice. How the present glass phase is formed is understood by the following three steps. First, by the interplay of geometrical frustration and quantum fluctuation, part of the spins spontaneously form an antiferromagnetic honeycomb spin-superstructure. Then, small randomness in the bond interaction works as a relevant perturbation to this superstructure and breaks it up into {\it domains}, making it a structural glass. The glassiness of the superstructure, in turn, generates an emergent random magnetic field acting on the remaining fluctuating spins and freezes them. The shape of domains thus formed depends sensitively on the quenching process, which is one of the characteristic features of glass, originating from a multi-valley free-energy landscape. The present system consists only of {\it a single} bistable Ising degree of freedom, which naturally does not become a structural glass alone nor a spin glass alone. Nevertheless, a glass having both types of nature emerges in the form of coexisting two-component glasses, algebraic structural-glass and long-range ordered spin-glass. This new concept of glass-forming mechanism opens a way to realize functional glasses even in low dimensional systems.


title: Complementary Vanishing Graphs

abstract: Given a graph $G$ with vertices $\{v_1,\ldots,v_n\}$, we define $\mathcal{S}(G)$ to be the set of symmetric matrices $A=[a_{i,j}]$ such that for $i\ne j$ we have $a_{i,j}\ne 0$ if and only if $v_iv_j\in E(G)$. Motivated by the Graph Complement Conjecture, we say that a graph $G$ is complementary vanishing if there exist matrices $A \in \mathcal{S}(G)$ and $B \in \mathcal{S}(\overline{G})$ such that $AB=O$. We provide combinatorial conditions for when a graph is or is not complementary vanishing, and we characterize which graphs are complementary vanishing in terms of certain minimal complementary vanishing graphs. In addition to this, we determine which graphs on at most $8$ vertices are complementary vanishing.


title: Mass Production of 2021 KMTNet Microlensing Planets II

abstract: We continue our program of publishing all planets (and possible planets) found by eye in 2021 Korea Microlensing Telescope Network (KMTNet) online data. We present 4 planets, (KMT-2021-BLG-0712Lb, KMT-2021-BLG-0909Lb, KMT-2021-BLG-2478Lb, and KMT-2021-BLG-1105Lb), with planet-host mass ratios in the range -3.3 < log q < -2.2. This brings the total of secure, by-eye, 2021 KMTNet planets to 16, including 8 in this series. The by-eye sample is an important check of the completeness of semi-automated detections, which are the basis for statistical analyses. One of the planets, KMT-2021-BLG-1105Lb, is blended with a relatively bright $(I,V)\sim (18.9,21.6)$ star that may be the host. This could be verified immediately by high-resolution imaging. If so, the host is an early G dwarf, and the planet could be characterized by radial-velocity observations on 30m class telescopes.


title: Direction-Aware Adaptive Online Neural Speech Enhancement with an Augmented Reality Headset in Real Noisy Conversational Environments

abstract: This paper describes the practical response- and performance-aware development of online speech enhancement for an augmented reality (AR) headset that helps a user understand conversations made in real noisy echoic environments (e.g., cocktail party). One may use a state-of-the-art blind source separation method called fast multichannel nonnegative matrix factorization (FastMNMF) that works well in various environments thanks to its unsupervised nature. Its heavy computational cost, however, prevents its application to real-time processing. In contrast, a supervised beamforming method that uses a deep neural network (DNN) for estimating spatial information of speech and noise readily fits real-time processing, but suffers from drastic performance degradation in mismatched conditions. Given such complementary characteristics, we propose a dual-process robust online speech enhancement method based on DNN-based beamforming with FastMNMF-guided adaptation. FastMNMF (back end) is performed in a mini-batch style and the noisy and enhanced speech pairs are used together with the original parallel training data for updating the direction-aware DNN (front end) with backpropagation at a computationally-allowable interval. This method is used with a blind dereverberation method called weighted prediction error (WPE) for transcribing the noisy reverberant speech of a speaker, which can be detected from video or selected by a user's hand gesture or eye gaze, in a streaming manner and spatially showing the transcriptions with an AR technique. Our experiment showed that the word error rate was improved by more than 10 points with the run-time adaptation using only twelve minutes of observation.


title: Affective Computational Advertising Based on Perceptual Metrics

abstract: We present \textbf{ACAD}, an \textbf{a}ffective \textbf{c}omputational \textbf{ad}vertising framework expressly derived from perceptual metrics. Different from advertising methods which either ignore the emotional nature of (most) programs and ads, or are based on axiomatic rules, the ACAD formulation incorporates findings from a user study examining the effect of within-program ad placements on ad perception. A linear program formulation seeking to achieve (a) \emph{{genuine}} ad assessments and (b) \emph{maximal} ad recall is then proposed. Effectiveness of the ACAD framework is confirmed via a validational user study, where ACAD-induced ad placements are found to be optimal with respect to objectives (a) and (b) against competing approaches.


title: The character correspondence in the stable range over a p-adic field

abstract: Given a real irreducible dual pair there is an integral kernel operator which maps the distribution character of an irreducible admissible representation of the group with the smaller or equal rank to an invariant eigendistribution on the group with the larger or equal rank. If the pair is in the stable range and if the representation is unitary, then the resulting distribution is the character of the representation obtained via Howe's correspondence. This construction was transferred to the p-adic case and a conjecture was formulated. In this note we verify a weaker version of this conjecture for dual pairs in the stable range over a p-adic field.