title: Vronicle: A System for Producing Videos with Verifiable Provenance

abstract: Demonstrating the veracity of videos is a longstanding problem that has recently become more urgent and acute. It is extremely hard to accurately detect manipulated videos using content analysis, especially in the face of subtle, yet effective, manipulations, such as frame rate changes or skin tone adjustments. One prominent alternative to content analysis is to securely embed provenance information into videos. However, prior approaches have poor performance and/or granularity that is too coarse. To this end, we construct Vronicle -- a video provenance system that offers fine-grained provenance information and substantially better performance. It allows a video consumer to authenticate the camera that originated the video and the exact sequence of video filters that were subsequently applied to it. Vronicle exploits the increasing popularity and availability of Trusted Execution Environments (TEEs) on many types of computing platforms. One contribution of Vronicle is the design of provenance information that allows the consumer to verify various aspects of the video, thereby defeating numerous fake-video creation methods. Vronicle's adversarial model allows for a powerful adversary that can manipulate the video (e.g., in transit) and the software state outside the TEE. Another contribution is the use of fixed-function Intel SGX enclaves to post-process videos. This design facilitates verification of provenance information. We present a prototype implementation of Vronicle (to be open sourced), which relies on current technologies, making it readily deployable. Our evaluation demonstrates that Vronicle's performance is well-suited for offline use-cases.


title: Provable Low Rank Plus Sparse Matrix Separation Via Nonconvex Regularizers

abstract: This paper considers a large class of problems where we seek to recover a low rank matrix and/or sparse vector from some set of measurements. While methods based on convex relaxations suffer from a (possibly large) estimator bias, and other nonconvex methods require the rank or sparsity to be known a priori, we use nonconvex regularizers to minimize the rank and $l_0$ norm without the estimator bias from the convex relaxation. We present a novel analysis of the alternating proximal gradient descent algorithm applied to such problems, and bound the error between the iterates and the ground truth sparse and low rank matrices. The algorithm and error bound can be applied to sparse optimization, matrix completion, and robust principal component analysis as special cases of our results.


title: Cluster Analysis with Deep Embeddings and Contrastive Learning

abstract: Unsupervised disentangled representation learning is a long-standing problem in computer vision. This work proposes a novel framework for performing image clustering from deep embeddings by combining instance-level contrastive learning with a deep embedding based cluster center predictor. Our approach jointly learns representations and predicts cluster centers in an end-to-end manner. This is accomplished via a three-pronged approach that combines a clustering loss, an instance-wise contrastive loss, and an anchor loss. Our fundamental intuition is that using an ensemble loss that incorporates instance-level features and a clustering procedure focusing on semantic similarity reinforces learning better representations in the latent space. We observe that our method performs exceptionally well on popular vision datasets when evaluated using standard clustering metrics such as Normalized Mutual Information (NMI), in addition to producing geometrically well-separated cluster embeddings as defined by the Euclidean distance. Our framework performs on par with widely accepted clustering methods and outperforms the state-of-the-art contrastive learning method on the CIFAR-10 dataset with an NMI score of 0.772, a 7-8% improvement on the strong baseline.


title: Uryson width of three dimensional mean convex domain with non-negative Ricci curvature

abstract: We prove that for every three dimensional manifold with nonnegative Ricci curvature and strictly mean convex boundary, there exists a Morse function so that each connected component of its level sets has a uniform diameter bound, which depends only on the lower bound of mean curvature. This gives an upper bound of Uryson 1-width for those three manifolds with boundary.


title: Disordered Monomer-Dimer model on Cylinder graphs

abstract: We consider the disordered monomer-dimer model on cylinder graphs $\mathcal{G}_n$, i.e., graphs given by the Cartesian product of the line graph on $n$ vertices, and a deterministic graph. The edges carry i.i.d. random weights, and the vertices also carry i.i.d. random weights, not necessarily from the same distribution. Given the random weights, we define a Gibbs measure on the space of monomer-dimer configurations on $\mathcal{G}_n$. We show that the associated free energy converges to a limit, and with suitable scaling and centering, satisfies a central limit theorem. We also show that the number of monomers in a typical configuration satisfies a law of large numbers and a central limit theorem with appropriate centering and scaling. Finally, for an appropriate height function associated with a matching, we show convergence to a limiting function and prove the Brownian motion limit about the limiting height function in the sense of finite-dimensional distributions.


title: Assessing, visualizing and improving the utility of synthetic data

abstract: The synthpop package for R https://www.synthpop.org.uk provides tools to allow data custodians to create synthetic versions of confidential microdata that can be distributed with fewer restrictions than the original. The synthesis can be customized to ensure that relationships evident in the real data are reproduced in the synthetic data. A number of measures have been proposed to assess this aspect, commonly known as the utility of the synthetic data. We show that all these measures, including those calculated from tabulations, can be derived from a propensity score model. The measures will be reviewed and compared, and relations between them illustrated. All the measures compared are highly correlated and some are shown to be identical. The method used to define the propensity score model is more important than the choice of measure. These measures and methods are incorporated into utility modules in the synthpop package that include methods to visualize the results and thus provide immediate feedback to allow the person creating the synthetic data to improve its quality. The utility functions were originally designed to be used for synthetic data objects of class \code{synds}, created by the \pkg{synthpop} function syn() or syn.strata(), but they can now be used to compare one or more synthesised data sets with the original records, where the records are R data frames or lists of data frames.


title: Design of the vacuum high contrast imaging testbed for CDEEP, the Coronagraphic Debris and Exoplanet Exploring Pioneer

abstract: The Coronagraphic Debris Exoplanet Exploring Payload (CDEEP) is a Small-Sat mission concept for high contrast imaging of circumstellar disks. CDEEP is designed to observe disks in scattered light at visible wavelengths at a raw contrast level of 10^-7 per resolution element (10^-8 with post processing). This exceptional sensitivity will allow the imaging of transport dominated debris disks, quantifying the albedo, composition, and morphology of these low-surface brightness disks. CDEEP combines an off-axis telescope, microelectromechanical systems (MEMS) deformable mirror, and a vector vortex coronagraph (VVC). This system will require rigorous testing and characterization in a space environment. We report on the CDEEP mission concept, and the status of the vacuum-compatible CDEEP prototype testbed currently under development at the University of Arizona, including design development and the results of simulations to estimate performance.


title: The Colombian Scientific Elite -- Science Mapping and Bibliometric Outlook

abstract: A well established agenda on the research output, impact, and structure of global scientific elites such as Nobel Prize laureates has generated interest in the scientific elites from developing countries. This study deploys science mapping techniques to provide a comprehensive analysis of the output, impact, and structure of the Colombian scientific elite, i.e., researchers awarded with the Alejandro Angel Escobar Foundation National Prize 1990 2020, known locally as the Colombian Nobel. Findings showed that the Colombian scientific elite has a broader agenda than indexing titles in internationally renowned bibliographic databases. The Colombian scientific elite also showed positive growth, which is an inverse trend compared with Nobel laureate productivity. There were no noticeable changes in productivity and impact before and after receiving the prize. Institutional collaboration within the Colombian scientific elite displayed the highest betweenness (brokerage) role of world and local top-tier universities. However, only two Colombian scientific elite members published an article with two Nobel Prize laureates. Most of the research profiles reflected the national output priorities, but were found to diverge from the national focus in respect of strategic research capacities. This study also conducted a productivity and impact comparison with Nobel Prize laureates in science and economics by means of a stratified random sample 1990-2020 via the composite indicator proposed by Ioannidis et al. The interleaving of the Colombian scientific elite and Nobel Prize laureates, particularly between the 3rd and 2nd quartiles, enabled a more nuanced analysis of the local impact in the global scientific landscape.


title: On the Feasibility of Learning Finger-gaiting In-hand Manipulation with Intrinsic Sensing

abstract: Finger-gaiting manipulation is an important skill to achieve large-angle in-hand re-orientation of objects. However, achieving these gaits with arbitrary orientations of the hand is challenging due to the unstable nature of the task. In this work, we use model-free reinforcement learning (RL) to learn finger-gaiting only via precision grasps and demonstrate finger-gaiting for rotation about an axis purely using on-board proprioceptive and tactile feedback. To tackle the inherent instability of precision grasping, we propose the use of initial state distributions that enable effective exploration of the state space. Our method can learn finger-gaiting with significantly improved sample complexity than the state-of-the-art. The policies we obtain are robust and also transfer to novel objects. Videos can be found at https://roamlab.github.io/learnfg/


title: On the Pettis-Johnstone theorem for localic groups

abstract: We explain how Johnstone's 1989 proof of the closed subgroup theorem for localic groups can be viewed as a point-free version of Pettis's theorem for Baire topological groups. We then use it to derive localic versions of the open mapping theorem and automatic continuity of Borel homomorphisms, as well as the non-existence of binary coproducts of complete Boolean algebras.


title: Markerless Suture Needle 6D Pose Tracking with Robust Uncertainty Estimation for Autonomous Minimally Invasive Robotic Surgery

abstract: Suture needle localization is necessary for autonomous suturing. Previous approaches in autonomous suturing often relied on fiducial markers rather than markerless detection schemes for localizing a suture needle due to the inconsistency of markerless detections. However, fiducial markers are not practical for real-world applications and can often be occluded from environmental factors in surgery (e.g., blood). Therefore in this work, we present a robust tracking approach for estimating the 6D pose of a suture needle when using inconsistent detections. We define observation models based on suture needles' geometry that captures the uncertainty of the detections and fuse them temporally in a probabilistic fashion. In our experiments, we compare different permutations of the observation models in the suture needle localization task to show their effectiveness. Our proposed method outperforms previous approaches in localizing a suture needle. We also demonstrate the proposed tracking method in an autonomous suture needle regrasping task and ex vivo environments.


title: The Complete Vertex p-Center Problem

abstract: The vertex p-center problem consists of locating p facilities among a set of M potential sites such that the maximum distance from any demand to its closest located facility is minimized. The complete vertex p-center problem solves the p-center problem for all p from 1 to the total number of sites, resulting in a multi-objective trade-off curve between the number of facilities and the service distance required to achieve full coverage. This trade-off provides a reference to planners and decision-makers, enabling them to easily visualize the consequences of choosing different coverage design criteria for the given spatial configuration of the problem. We present two fast algorithms for solving the complete p-center problem, one using the classical formulation but trimming variables while still maintaining optimality, the other converting the problem to a location set covering problem and solving for all distances in the distance matrix. We also discuss scenarios where it makes sense to solve the problem via brute-force enumeration. All methods result in significant speed-ups, with the set covering method reducing computation times by many orders of magnitude.


title: Research on facial expression recognition based on Multimodal data fusion and neural network

abstract: Facial expression recognition is a challenging task when neural network is applied to pattern recognition. Most of the current recognition research is based on single source facial data, which generally has the disadvantages of low accuracy and low robustness. In this paper, a neural network algorithm of facial expression recognition based on multimodal data fusion is proposed. The algorithm is based on the multimodal data, and it takes the facial image, the histogram of oriented gradient of the image and the facial landmarks as the input, and establishes CNN, LNN and HNN three sub neural networks to extract data features, using multimodal data feature fusion mechanism to improve the accuracy of facial expression recognition. Experimental results show that, benefiting by the complementarity of multimodal data, the algorithm has a great improvement in accuracy, robustness and detection speed compared with the traditional facial expression recognition algorithm. Especially in the case of partial occlusion, illumination and head posture transformation, the algorithm also shows a high confidence.


title: Equivariant $3$-manifolds with positive scalar curvature

abstract: In this paper, for any compact Lie group $G$, we show that the space of $G$-invariant Riemannian metrics with positive scalar curvature (PSC) on any closed three-manifold is either empty or contractible. In particular, we prove the generalized Smale conjecture for spherical three-orbifolds. Moreover, for connected $G$, we make a classification of all PSC $G$-invariant three-manifolds.


title: Multirate iterative scheme with multiphysics finite element method for a fluid-saturated poroelasticity

abstract: In this paper, we propose a multirate iterative scheme with multiphysics finite element method for a fluid-saturated poroelasticity model. Firstly, we reformulate the original model into a fluid coupled problem to apply the multiphysics finite element method for the discretization of the space variables, and we design a multirate iterative scheme on the time scale which solve a generalized Stokes problem in the coarse time size and solve the diffusion problem in the finer time size according to the characteristics of the poroelasticity problem. Secondly, we prove that the multirate iterative scheme is stable and the numerical solution satisfies some energy conservation laws, which are important to ensure the uniqueness of solution to the decoupled computing problem. Also, we analyze the error estimates to prove that the proposed numerical method doesn't reduce the precision of numerical solution and greatly reduces the computational cost. Finally, we give the numerical tests to verify the theoretical results and draw a conclusion to summary the main results in this paper.


title: Anomalous Edge Detection in Edge Exchangeable Social Network Models

abstract: This paper studies detecting anomalous edges in directed graphs that model social networks. We exploit edge exchangeability as a criterion for distinguishing anomalous edges from normal edges. Then we present an anomaly detector based on conformal prediction theory; this detector has a guaranteed upper bound for false positive rate. In numerical experiments, we show that the proposed algorithm achieves superior performance to baseline methods.


title: Unbiased MLMC-based variational Bayes for likelihood-free inference

abstract: Variational Bayes (VB) is a popular tool for Bayesian inference in statistical modeling. Recently, some VB algorithms are proposed to handle intractable likelihoods with applications such as approximate Bayesian computation. In this paper, we propose several unbiased estimators based on multilevel Monte Carlo (MLMC) for the gradient of Kullback-Leibler divergence between the posterior distribution and the variational distribution when the likelihood is intractable, but can be estimated unbiasedly. The new VB algorithm differs from the VB algorithms in the literature which usually render biased gradient estimators. Moreover, we incorporate randomized quasi-Monte Carlo (RQMC) sampling within the MLMC-based gradient estimators, which was known to provide a favorable rate of convergence in numerical integration. Theoretical guarantees for RQMC are provided in this new setting. Numerical experiments show that using RQMC in MLMC greatly speeds up the VB algorithm, and finds a better parameter value than some existing competitors do.


title: Structural Stability of a Family of Group Formation Games

abstract: We introduce and study a group formation game in which individuals/agents, driven by self-interest, team up in disjoint groups so as to be in groups of high collective strength. This strength could be group identity, reputation, or protection, and is equally shared by all group members. The group's access to resources, obtained from its members, is traded off against the geographic dispersion of the group: spread-out groups are more costly to maintain. We seek to understand the stability and structure of such partitions. We define two types of equilibria: Acceptance Equilibria (AE), in which no agent will unilaterally change group affiliation, either because the agent cannot increase her utility by switching, or because the intended receiving group is unwilling to accept her (i.e., the utility of existing members would decrease if she joined); and Strong Acceptance Equilibria (SAE), in which no subset of any group will change group affiliations (move together) for the same reasons given above. We show that under natural assumptions on the group utility functions, both an AE and SAE always exist, and that any sequence of improving deviations by agents (resp., subsets of agents in the same group) converges to an AE (resp., SAE). We then characterize the properties of the AEs. We show that an "encroachment" relationship - which groups have members in the territory of other groups - always gives rise to a directed acyclic graph (DAG); conversely, given any DAG, we can construct a game with suitable conditions on the utility function that has an AE with the encroachment structure specified by the given graph.


title: Sequential Stochastic Network Structure Optimization with Applications to Addressing Canada's Obesity Epidemic

abstract: In this work, we introduce a novel mathematical network model for community level preventative health interventions. We develop algorithms to approximately solve this novel formulation at large scale and we rigorously explore their theoretical properties. We create a realistic simulation environment for interventions designed to curb the prevalence of obesity occurring in the region of Montreal, Canada, and use this environment to empirically evaluate the performance of the algorithms we develop. We find that our algorithms significantly outperform all baseline interventions. Moreover, for fixed computational resources, our algorithms address problems of significantly greater size than the best existing alternative algorithm.


title: Disynaptic Effect of Hilar Cells on Pattern Separation in A Spiking Neural Network of Hippocampal Dentate Gyrus

abstract: We investigate disynaptic effect of the hilar cells on pattern separation in a spiking neural network of the hippocampal dentate gyrus (DG). The principal granule cells (GCs) in the DG perform pattern separation, transforming similar input patterns into less-similar output patterns. The hilus consists of excitatory mossy cells (MCs) and inhibitory HIPP (hilar perforant path-associated) cells. Here, we consider the disynaptic effects of the MCs and the HIPP cells on the GCs, mediated by the inhibitory basket cells (BCs); MC $\rightarrow$ BC $\rightarrow$ GC and HIPP $\rightarrow$ BC $\rightarrow$ GC. By changing synaptic strength $K^{\rm (BC, X)}$ ( X = MC or HIPP) from the default value ${K^{\rm (BC, X)}}^*$, we study the change in the pattern separation degree ${\cal S}_d$. When decreasing $K^{\rm (BC, MC)}$ or independently increasing $K^{\rm (BC, HIPP)}$ from their default values, ${\cal S}_d$ is found to decrease (i.e., pattern separation is reduced). On the other hand, as $K^{\rm (BC, MC)}$ is increased or independently $K^{\rm (BC, HIPP)}$ is decreased from their default values, pattern separation becomes enhanced (i.e., ${\cal S}_d$ increases). In this way, the disynaptic effects of the MCs and the HIPP cells on the pattern separation are opposite ones. Thus, when simultaneously varying both $K^{\rm (BC, MC)}$ and $K^{\rm (BC, HIPP)}$, as a result of balance between the two competing disynaptic effects of the MCs and the HIPP cells, ${\cal S}_d$ forms a bell-shaped curve with an optimal maximum at their default values. Moreover, the population and individual behaviors of the sparsely synchronized rhythm of the GCs are found to be strongly correlated with the pattern separation degree ${\cal S}_d$. Consequently, the larger the synchronization and the random phase-locking degrees of the sparsely synchronized rhythm is, the more the pattern separation becomes enhanced.


title: Self-Excited Dynamics of Discrete-Time Lur'e Systems

abstract: Self-excited systems arise in numerous applications, such as biochemical systems, fluid-structure interaction, and combustion. This paper analyzes a discrete-time Lur'e system with a piecewise-linear saturation feedback nonlinearity. The main result provides sufficient conditions under which the Lur'e system is self-excited in the sense that its response is bounded and nonconvergent.


title: Automated Detection of Antenna Malfunctions in Large-N Interferometers: A Case Study with the Hydrogen Epoch of Reionization Array

abstract: We present a framework for identifying and flagging malfunctioning antennas in large radio interferometers. We outline two distinct categories of metrics designed to detect outliers along known failure modes of large arrays: cross-correlation metrics, based on all antenna pairs, and auto-correlation metrics, based solely on individual antennas. We define and motivate the statistical framework for all metrics used, and present tailored visualizations that aid us in clearly identifying new and existing systematics. We implement these techniques using data from 105 antennas in the Hydrogen Epoch of Reionization Array (HERA) as a case study. Finally, we provide a detailed algorithm for implementing these metrics as flagging tools on real data sets.


title: Measurements of Ortho-to-para Nuclear Spin Conversion of H2 on Low-temperature Carbonaceous Grain Analogues: Diamond-like Carbon and Graphite

abstract: Hydrogen molecules have two nuclear spin isomers: ortho-H2 and para-H2. The ortho-to-para ratio (OPR) is known to affect chemical evolution as well as gas dynamics in space. Therefore, understanding the mechanism of OPR variation in astrophysical environments is important. In this work, the nuclear spin conversion (NSC) processes of H2 molecules on diamond-like carbon and graphite surfaces are investigated experimentally by employing temperature-programmed desorption and resonance-enhanced multiphoton ionization methods. For the diamond-like carbon surface, the NSC time constants were determined at temperatures of 10-18 K and from 3900 plusminus 800 s at 10 K to 750 plusminus 40 s at 18 K. Similar NSC time constants and temperature dependence were observed for a graphite surface, indicating that bonding motifs (sp3 or sp2 hybridization) have little effect on the NSC rates.


title: Investigations on Automorphism Groups of Quantum Stabilizer Codes

abstract: The stabilizer formalism for quantum error-correcting codes has been, without doubt, the most successful at producing examples of quantum codes with strong error-correcting properties. In this paper, we discuss strong automorphism groups of stabilizer codes, beginning with the analogous notion from the theory of classical codes. Two weakenings of this concept, the weak automorphism group and Clifford-twisted automorphism group, are also discussed, along with many examples highlighting the possible relationships between the types of "automorphism groups". In particular, we construct an example of a $[[10,0,4]]$ stabilizer code showing how the Clifford-twisted automorphism groups might be connected to the Mathieu groups. Finally, nonexistence results are proved regarding stabilizer codes with highly transitive strong and weak automorphism groups, suggesting a potential inverse relationship between the error-correcting properties of a quantum code and the transitivity of those automorphism groups.


title: Hardness of Graph-Structured Algebraic and Symbolic Problems

abstract: In this paper, we study the hardness of solving graph-structured linear systems with coefficients over a finite field $\mathbb{Z}_p$ and over a polynomial ring $\mathbb{F}[x_1,\ldots,x_t]$. We reduce solving general linear systems in $\mathbb{Z}_p$ to solving unit-weight low-degree graph Laplacians over $\mathbb{Z}_p$ with a polylogarithmic overhead on the number of non-zeros. Given the hardness of solving general linear systems in $\mathbb{Z}_p$ [Casacuberta-Kyng 2022], this result shows that it is unlikely that we can generalize Laplacian solvers over $\mathbb{R}$, or finite-element based methods over $\mathbb{R}$ in general, to a finite-field setting. We also reduce solving general linear systems over $\mathbb{Z}_p$ to solving linear systems whose coefficient matrices are walk matrices (matrices with all ones on the diagonal) and normalized Laplacians (Laplacians that are also walk matrices) over $\mathbb{Z}_p$. We often need to apply linear system solvers to random linear systems, in which case the worst case analysis above might be less relevant. For example, we often need to substitute variables in a symbolic matrix with random values. Here, a symbolic matrix is simply a matrix whose entries are in a polynomial ring $\mathbb{F}[x_1, \ldots, x_t]$. We formally define the reducibility between symbolic matrix classes, which are classified in terms of the degrees of the entries and the number of occurrences of the variables. We show that the determinant identity testing problem for symbolic matrices with polynomial degree $1$ and variable multiplicity at most $3$ is at least as hard as the same problem for general matrices over $\mathbb{R}$.


title: Enthalpy effect on the kinetics of concurrent nucleation and chemical aging of aqueous organic aerosols. The stage of thermal relaxation

abstract: The size and composition distribution of an ensemble of aqueous organic droplets, evolving via nucleation and concomitant chemical aging, may be affected by the latent heat of condensation and enthalpy of heterogeneous chemical reactions, so the temperature of the droplet may deviate from the air temperature and thus become an independent variable of its state (additional to its size and composition variables). Using the formalism of the classical nucleation theory, we derive a partial differential equation for the temporal evolution of the distribution of an ensemble of such droplets with respect to all their variables of state via Taylor series expansions of the corresponding multidimensional discrete equation of balance, describing the material and heat exchange between droplets and air. The resulting kinetic equation goes beyond the framework of the Fokker-Planck approximation with respect to the temperature variable. A hierarchy of time scales of nonisothermal nucleation and concomitant chemical aging of aqueous organic aerosols is established and an analytical description of their thermal relaxation stage is developed, allowing one to estimate the characteristic time of the establishment of the equilibrium distribution of aerosol particles with respect to their temperatures. Theoretical results are illustrated with numerical calculations for the concurrent nucleation and chemical aging of model aqueous hydrophilic-hydrophobic organic aerosols in air.


title: A Bimodal Model for Extremes Data

abstract: In extreme values theory, for a sufficiently large block size, the maxima distribution is approximated by the generalized extreme value (GEV) distribution. The GEV distribution is a family of continuous probability distributions, which has wide applicability in several areas including hydrology, engineering, science, ecology and finance. However, the GEV distribution is not suitable to model extreme bimodal data. In this paper, we propose an extension of the GEV distribution that incorporate an additional parameter. The additional parameter introduces bimodality and to vary tail weight, i.e., this proposed extension is more flexible than the GEV distribution. Inference for the proposed distribution were performed under the likelihood paradigm. A Monte Carlo experiment is conducted to evaluate the performances of these estimators in finite samples with a discussion of the results. Finally, the proposed distribution is applied to environmental data sets, illustrating their capabilities in challenging cases in extreme value theory.


title: Layered, Tunable Graphene Oxide-Nylon Heterostructures for Wearable Electrocardiogram Sensors

abstract: Nanoscale engineered materials combined with wearable wireless technologies can deliver a new level of health monitoring. A reduced graphene oxide-nylon composite material is developed and tested, demonstrating its usefulness as a material for sensors in wearable, long-term electrocardiogram (ECG) monitoring via a comparison to one of the widely used ECG sensors. The structural analysis by scanning electron (SEM) and atomic force microscopy (AFM) shows a limited number of defects on a macroscopic scale. Fourier Transform Infrared (FTIR) and Raman spectroscopy confirm the presence of rGOx, and the ratio of D- and G-features as a function of thickness correlates with the resistivity analysis. The negligible effect of the defects and the tunability of electrical and optical properties, together with live ECG data, demonstrate its signal transduction capability.


title: Biography of Paul Erd\H{o}s and discussion of his proof of Bertrand's Postulate

abstract: This essay offers a brief biography of Paul Erd\H{o}s and summarizes his approach to mathematics. This is further elucidated by a discussion of Erd\H{o}s' simple proof of Bertrand's Postulate.


title: Spectral Statistics of Dirac Ensembles

abstract: In this paper we find spectral properties in the large $N$ limit of Dirac operators that come from random finite noncommutative geometries. In particular for a Gaussian potential the limiting eigenvalue spectrum is shown to be universal regardless of the geometry and is given by the convolution of the semicircle law with itself. For simple non-Gaussian models this convolution property is also evident. In order to prove these results we show that a wide class of multi-trace multimatrix models have a genus expansion.


title: FewNLU: Benchmarking State-of-the-Art Methods for Few-Shot Natural Language Understanding

abstract: The few-shot natural language understanding (NLU) task has attracted much recent attention. However, prior methods have been evaluated under a disparate set of protocols, which hinders fair comparison and measuring progress of the field. To address this issue, we introduce an evaluation framework that improves previous evaluation procedures in three key aspects, i.e., test performance, dev-test correlation, and stability. Under this new evaluation framework, we re-evaluate several state-of-the-art few-shot methods for NLU tasks. Our framework reveals new insights: (1) both the absolute performance and relative gap of the methods were not accurately estimated in prior literature; (2) no single method dominates most tasks with consistent performance; (3) improvements of some methods diminish with a larger pretrained model; and (4) gains from different methods are often complementary and the best combined model performs close to a strong fully-supervised baseline. We open-source our toolkit, FewNLU, that implements our evaluation framework along with a number of state-of-the-art methods.


title: Solution to the ghost problem in higher-derivative gravity

abstract: With standard Einstein gravity not being renormalizable at the quantum level there is much interest in studying higher-derivative quantum gravity theories. Thus just as a Ricci-scalar-based action produces a propagator that behaves as a non-renormalizable $1/k^2$ at large $k^2$, an action based on the square of the Ricci scalar behaves as a renormalizable $1/k^4$ at large $k^2$. An action based on both the Ricci scalar and its square leads to a renormalizable propagator of the generic Pauli-Villars form. However, given the form of the Hamiltonian and the propagator such theories are thought to be plagued by either energies that are unbounded from below or states of negative Dirac norm (the overlap of a ket with its Hermitian conjugate bra). But when one constructs the quantum Hilbert space one finds (Bender and Mannheim) that in fact neither of these problems is actually present. The Hamiltonian turns out to not be Hermitian but to instead have an antilinear $PT$ symmetry, and for this symmetry the needed inner product is the overlap of a ket with its $PT$ conjugate bra. And this inner product is positive definite. Moreover, for the pure $1/k^4$ propagator the Hamiltonian turns out to not be diagonalizable, and again there are no states of negative energy or of negative norm. Instead there are states of zero norm, non-standard but perfectly acceptable states that serve to maintain probability conservation. With the locally conformal invariant fourth-order derivative conformal gravity theory being in this category, it can be offered as a candidate theory of quantum gravity that is renormalizable and unitary in four spacetime dimensions.


title: A note on the pair correlation of Farey fractions

abstract: The pair correlations of Farey fractions with denominators $q$ satisfying $(q,m)=1$, respectively $q\equiv b \pmod{m}$ with $(b,m)=1$, are shown to exist and are explicitly computed.


title: Investigating the physical properties and fragmentation of the AFGL 333-Ridge

abstract: We present multi-wavelength data to investigate the physical properties and fragmentation of AFGL 333- Ridge. A statistical analysis of velocity dispersion indicates that turbulence is the dominant motion in the ridge. However, the linear mass density (1124.0 M/pc) of AFGL 333-Ridge far exceeds its critical value of 406.5 M/pc, suggesting that additional motions are required to prevent the filament radial collapse. Using the getsources algorithm, we identified 14 cores from the Herschel maps, including two protostellar cores and 12 starless cores. All of these starless cores are gravitationally bound, and are therefore considered to be prestellar cores. Based on their radius-mass relation, 11 of 14 cores have the potential to form massive stars. Moreover, the seven cores in two sub-filaments of AFGL 333-Ridge seem to constitute two necklace-like chains with a spacing length of 0.51 pc and 0.45 pc, respectively. Compared the spacing length with theoretical prediction lengths by Jeans and cylindrical fragmentations, we argued that the combination of turbulence and thermal pressure may lead to the fragmentation of the two sub-filaments into the cores.


title: Training on Test Data with Bayesian Adaptation for Covariate Shift

abstract: When faced with distribution shift at test time, deep neural networks often make inaccurate predictions with unreliable uncertainty estimates. While improving the robustness of neural networks is one promising approach to mitigate this issue, an appealing alternate to robustifying networks against all possible test-time shifts is to instead directly adapt them to unlabeled inputs from the particular distribution shift we encounter at test time. However, this poses a challenging question: in the standard Bayesian model for supervised learning, unlabeled inputs are conditionally independent of model parameters when the labels are unobserved, so what can unlabeled data tell us about the model parameters at test-time? In this paper, we derive a Bayesian model that provides for a well-defined relationship between unlabeled inputs under distributional shift and model parameters, and show how approximate inference in this model can be instantiated with a simple regularized entropy minimization procedure at test-time. We evaluate our method on a variety of distribution shifts for image classification, including image corruptions, natural distribution shifts, and domain adaptation settings, and show that our method improves both accuracy and uncertainty estimation.


title: A sufficient condition for existence of iterative roots of PM functions without the characteristic endpoints condition

abstract: For PM functions of height 1, the existence of continuous iterative roots of any order was obtained under the characteristic endpoints condition. This raises an open problem about iterative roots without this condition, called characteristic endpoints problem. This problem is solved almost completely when the number of forts is equal to or less than the order. In this paper, we study the case that the number of forts is greater than the order and give a sufficient condition for existence of continuous iterative roots of order $2$ with height 2, answering the characteristic endpoints problem partially.


title: Stabilizing Preparation of Quantum Gaussian States via Continuous Measurement

abstract: This paper provides a stabilizing preparation method for quantum Gaussian states by utilizing continuous measurement. The stochastic evolution of the open quantum system is described in terms of the quantum stochastic master equation. We present necessary and sufficient conditions for the system to have a unique stabilizing steady Gaussian state. The conditions are much weaker than those existing results presented in the approach of preparing Gaussian states through environment engineering. Parametric conditions of how to prepare an arbitrary pure Gaussian state are provided. This approach provides more degrees of freedom to choose the system Hamiltonian and the system-environment coupling operators, as compared with the case where dissipation-induced approach is employed. The stabilizing conditions for the case of imperfect measurement efficiency are also presented. These results may benefit practical experimental implementation in preparing quantum Gaussian states.


title: The geometric field of linearity of linear sets

abstract: If an Fq-linear set LU in a projective space is defined by a vector subspace U which is linear over a proper superfield of Fq, then all of its points have weight at least 2. It is known that the converse of this statement holds for linear sets of rank h in PG(1,q^h) but for linear sets of rank k < h, the converse of this statement is in general no longer true. The first part of this paper studies the relation between the weights of points and the size of a linear set, and introduces the concept of the geometric field of linearity of a linear set. This notion will allow us to show the main theorem, stating that for particular linear sets without points of weight 1, the converse of the above statement still holds as long as we take the geometric field of linearity into account.


title: Learning Multimodal Rewards from Rankings

abstract: Learning from human feedback has shown to be a useful approach in acquiring robot reward functions. However, expert feedback is often assumed to be drawn from an underlying unimodal reward function. This assumption does not always hold including in settings where multiple experts provide data or when a single expert provides data for different tasks -- we thus go beyond learning a unimodal reward and focus on learning a multimodal reward function. We formulate the multimodal reward learning as a mixture learning problem and develop a novel ranking-based learning approach, where the experts are only required to rank a given set of trajectories. Furthermore, as access to interaction data is often expensive in robotics, we develop an active querying approach to accelerate the learning process. We conduct experiments and user studies using a multi-task variant of OpenAI's LunarLander and a real Fetch robot, where we collect data from multiple users with different preferences. The results suggest that our approach can efficiently learn multimodal reward functions, and improve data-efficiency over benchmark methods that we adapt to our learning problem.


title: Cross sections for the reactions $e^+e^-\rightarrow K^+K^-\pi^+\pi^-(\pi^0)$, $K^+K^-K^+K^-(\pi^0)$, $\pi^+\pi^-\pi^+\pi^-(\pi^0)$, $p\bar{p}\pi^+\pi^-(\pi^0)$ in the energy region between 3.773 and 4.600 GeV

abstract: Using the data samples collected in the energy range from 3.773 to 4.600 GeV with the BESIII detector at the BEPCII collider, we measure the dressed cross sections as a function of center-of-mass energy for $e^+e^-\rightarrow K^+K^-\pi^+\pi^-(\pi^0)$, $K^+K^-K^+K^-(\pi^0)$, $\pi^+\pi^-\pi^+\pi^-(\pi^0)$, and $p\bar{p}\pi^+\pi^-(\pi^0)$. The cross sections for $e^+e^-\rightarrow K^+K^-K^+K^-\pi^0$, $p\bar{p}\pi^+\pi^-(\pi^0)$ are the first measurements. Cross sections for the other five channels are much more precise than previous results in this energy region. We also search for charmonium and charmonium-like resonances, such as the $Y(4230)$, decaying into the same final states. We find evidence of the $\psi(4040)$ decaying to $\pi^+\pi^-\pi^+\pi^-\pi^0$ with a statistical significance of $3.6\sigma$. Upper limits are provided for other decays since no clear signals are observed.


title: Quantum backreaction on a classical universe

abstract: We study a first-order formulation for the coupled evolution of a quantum scalar field and a classical Friedmann universe. The model is defined by a state dependent hamiltonian constraint and the time dependent Schr\"odinger equation for the scalar field. We solve the resulting non-linear equations numerically for initial data consisting of a Gaussian scalar field state and gravity phase space variables. This gives a self-consistent semiclassical evolution that includes non-perturbative ``backreaction" due to particle production. We compare the results with the evolution of a quantum scalar field on a fixed background, and find that the backreaction modifies both particle production and cosmological expansion, and that these effects remain bounded.


title: Small Signal Analysis of SQUID Direct Readout Schemes

abstract: To better understand the working principles of Superconducting Quantum Interference Device (SQUID) direct readout schemes, which work in different bias and amplifier modes with different internal feedback schemes, we present the complete circuit analyses on SQUID small-signal model. SQUID bias and amplifier circuits are analyzed using SQUID Thevenin equivalent circuit, and the general equivalent circuit of SQUID with different internal feedback schemes is derived and analyzed with a trans-impedance amplifier model. Transfer characteristics and noise performances of different direct readout schemes are analyzed and experimentally characterized. It is shown that amplifier noise suppression is only dependent on SQUID flux-to-voltage transfer coefficient and is irrelevant to the configuration of bias and amplifier; SQUID with an internal feedback scheme improves the transfer coefficient with voltage feedback and regulates the dynamic resistance with current feedback.


title: Physics-informed neural networks for imaging and parameter retrieval of photonic nanostructures from near-field data

abstract: In this paper, we develop a deep learning approach for the accurate solution of challenging problems of near-field microscopy that leverages the powerful framework of physics-informed neural networks (PINNs) for the inversion of the complex optical parameters of nanostructured environments. Specifically, we show that PINNs can be flexibly designed based on the full-vector Maxwell's equations to inversely retrieve the spatial distributions of the complex electric permittivity and magnetic permeability of unknown scattering objects in the resonance regime from near-field data. Moreover, we demonstrate that PINNs achieve excellent convergence to the true material parameters under both plane wave and point source (localized) excitations, enabling parameter retrieval in scanning near-field optical microscopy (SNOM). Our method is computationally efficient compared to traditional data-driven deep learning approaches as it requires only a single dataset for training. Furthermore, we develop and successfully demonstrate adaptive PINNs with trainable loss weights that largely improve the accuracy of the inverse reconstruction for high-index materials compared to standard PINNs. Finally, we demonstrate the full potential of our approach by retrieving the space-dependent permittivity of a three-dimensional (3D) unknown object from near-field data. The presented framework paves the way to the development of a computationally-driven, accurate, and non-invasive platform for the simultaneous retrieval of the electric and magnetic parameters of resonant nanostructures from measured optical images, with applications to biomedical imaging, optical remote sensing, and characterization of metamaterial devices.


title: Abstraction, Reasoning and Deep Learning: A Study of the "Look and Say" Sequence

abstract: The ability to abstract, count, and use System~2 reasoning are well-known manifestations of intelligence and understanding. In this paper, we argue, using the example of the ``Look and Say" puzzle, that although deep neural networks can exhibit high `competence' (as measured by accuracy) when trained on large data sets (2 million examples in our case), they do not show any sign on the deeper understanding of the problem, or what D. Dennett calls `comprehension'. We report on two sets experiments: first, computing the next element of the sequence, and ,then, the previous element. We view both problems as building a translator from one set of tokens to another. We apply both standard LSTMs and Transformer/Attention-based neural networks, using publicly available machine translation software. We observe that despite the amazing accuracy, the performance of the trained programs on the actual L\&S sequence is bad, and shows no understanding of the principles behind the sequences. The ramifications of this finding include: (1) from the cognitive science perspective, we argue that we need better mathematical models of abstraction; (2) the universality of neural networks should be re-examined for functions acting on discrete data sets; (3) we hypothesize topology can provide a definition of without the reference to the concept of distance.


title: A novel network training approach for open set image recognition

abstract: Convolutional Neural Networks (CNNs) are commonly designed for closed set arrangements, where test instances only belong to some "Known Known" (KK) classes used in training. As such, they predict a class label for a test sample based on the distribution of the KK classes. However, when used under the Open Set Recognition (OSR) setup (where an input may belong to an "Unknown Unknown" or UU class), such a network will always classify a test instance as one of the KK classes even if it is from a UU class. As a solution, recently, data augmentation based on Generative Adversarial Networks(GAN) has been used. In this work, we propose a novel approach for mining a "Known UnknownTrainer" or KUT set and design a deep OSR Network (OSRNet) to harness this dataset. The goal isto teach OSRNet the essence of the UUs through KUT set, which is effectively a collection of mined "hard Known Unknown negatives". Once trained, OSRNet can detect the UUs while maintaining high classification accuracy on KKs. We evaluate OSRNet on six benchmark datasets and demonstrate it outperforms contemporary OSR methods.


title: Prediction of hyperbolic exciton-polaritons in monolayer black phosphorus

abstract: Hyperbolic polaritons exhibit large photonic density of states and can be collimated in certain propagation directions. The majority of hyperbolic polaritons are sustained in man-made metamaterials. However, natural-occurring hyperbolic materials also exist. Particularly, natural in-plane hyperbolic polaritons in layered materials have been demonstrated in MoO3 and WTe2, which are based on phonon and plasmon resonances respectively. Here, by determining the anisotropic optical conductivity (dielectric function) through optical spectroscopy, we predict that monolayer black phosphorus naturally hosts hyperbolic exciton-polaritons due to the pronounced in-plane anisotropy and strong exciton resonances. We simultaneously observe a strong and sharp ground state exciton peak and weaker excited states in high quality monolayer samples in the reflection spectrum, which enables us to determine the exciton binding energy of ~452 meV. Our work provides another appealing platform for the in-plane natural hyperbolic polaritons, which is based on excitons rather than phonons or plasmons.


title: Text to Insight: Accelerating Organic Materials Knowledge Extraction via Deep Learning

abstract: Scientific literature is one of the most significant resources for sharing knowledge. Researchers turn to scientific literature as a first step in designing an experiment. Given the extensive and growing volume of literature, the common approach of reading and manually extracting knowledge is too time consuming, creating a bottleneck in the research cycle. This challenge spans nearly every scientific domain. For the materials science, experimental data distributed across millions of publications are extremely helpful for predicting materials properties and the design of novel materials. However, only recently researchers have explored computational approaches for knowledge extraction primarily for inorganic materials. This study aims to explore knowledge extraction for organic materials. We built a research dataset composed of 855 annotated and 708,376 unannotated sentences drawn from 92,667 abstracts. We used named-entity-recognition (NER) with BiLSTM-CNN-CRF deep learning model to automatically extract key knowledge from literature. Early-phase results show a high potential for automated knowledge extraction. The paper presents our findings and a framework for supervised knowledge extraction that can be adapted to other scientific domains.


title: Detecting fatigue in aluminum alloys based on internal friction measurement using an electromechanical impedance method

abstract: Detecting mechanical fatigue of metallic components is always a challenge in industries. In this work, we proposed to monitor the low-cycle fatigue of a 6061 aluminum alloy based on internal friction (IF) measurement, which is realized by a quantitative electromechanical impedance (Q-EMI) method using a small piezoelectric wafer bonded on the specimen. Large strain amplitude (3.3*10^-3) was employed thus the fatigue life can always be below 10^5 cycles. It was found that except for the initial testing stage, the IF always increases steadily with the increasing fatigue cycles. Before the fatigue failure, the IF can reach 2.5 to 3.4 times of the initial value, which is thought to be caused by the micro-cracks forming and growing. In comparison, the resonance frequency of the specimen just drops less than 2% compared with the initial value. Finally, a general fatigue criterion based on IF measurement is suggested for all the metallic materials.


title: A Sierpinski carpet like fractal without standard self-similar energy

abstract: We construct a Sierpinski carpet like fractal, on which a self-similar diffusion with sub-Gaussian heat kernel estimate does not exist, in contrast to previous researches on the existence of such diffusions, on the generalized Sierpinski carpets and recently introduced unconstrained Sierpinski carpets.


title: OpenViDial 2.0: A Larger-Scale, Open-Domain Dialogue Generation Dataset with Visual Contexts

abstract: In order to better simulate the real human conversation process, models need to generate dialogue utterances based on not only preceding textual contexts but also visual contexts. However, with the development of multi-modal dialogue learning, the dataset scale gradually becomes a bottleneck. In this report, we release OpenViDial 2.0, a larger-scale open-domain multi-modal dialogue dataset compared to the previous version OpenViDial 1.0. OpenViDial 2.0 contains a total number of 5.6 million dialogue turns extracted from either movies or TV series from different resources, and each dialogue turn is paired with its corresponding visual context. We hope this large-scale dataset can help facilitate future researches on open-domain multi-modal dialog generation, e.g., multi-modal pretraining for dialogue generation.


title: Regularization of Complex Langevin Method

abstract: The complex Langevin method, a numerical method used to compute the ensemble average with a complex partition function, often suffers from runaway instability. We study the regularization of the complex Langevin method via augmenting the action with a stabilization term. Since the regularization introduces biases to the numerical result, two approaches, named 2R and 3R methods, are introduced to recover the unbiased result. The 2R method supplements the regularization with regression to estimate the unregularized ensemble average, and the 3R method reduces the computational cost by coupling the regularization with a reweighting strategy before regression. Both methods can be generalized to the SU(n) theory and are assessed from several perspectives. Several numerical experiments in the lattice field theory are carried out to show the effectiveness of our approaches.


title: On Quantum Gravity and Quantum Gravity Phenomenology

abstract: This article summarizes a new approach to quantum gravity based on the concepts of modular spacetime, Born geometry, and metastring theory and their applications to quantum gravity phenomenology. In particular, we discuss a new understanding of dark matter in terms of metaparticles (zero modes of the metastring) and its relation to dark energy (the curvature of dual spacetime) in view of the actual astronomical observations.


title: Graph-Based Spatial-Temporal Convolutional Network for Vehicle Trajectory Prediction in Autonomous Driving

abstract: Forecasting the trajectories of neighbor vehicles is a crucial step for decision making and motion planning of autonomous vehicles. This paper proposes a graph-based spatial-temporal convolutional network (GSTCN) to predict future trajectory distributions of all neighbor vehicles using past trajectories. This network tackles the spatial interactions using a graph convolutional network (GCN), and captures the temporal features with a convolutional neural network (CNN). The spatial-temporal features are encoded and decoded by a gated recurrent unit (GRU) network to generate future trajectory distributions. Besides, we propose a weighted adjacency matrix to describe the intensities of mutual influence between vehicles, and the ablation study demonstrates the effectiveness of our proposed scheme. Our network is evaluated on two real-world freeway trajectory datasets: I-80 and US-101 in the Next Generation Simulation (NGSIM).Comparisons in three aspects, including prediction errors, model sizes, and inference speeds, show that our network can achieve state-of-the-art performance.


title: Accelerated Steady-State Electrostatic Particle-in-Cell Simulation of Langmuir Probes

abstract: First-principles particle-in-cell (PIC) simulation is a powerful tool for understanding plasma behavior, but this power often comes at great computational expense. Artificially reducing the ion/electron mass ratio is a time-honored practice to reduce simulation costs. Usually, this is a severe approximation. However, for steady-state collisionless, electrostatic (Vlasov-Poisson) systems, the solution with reduced mass ratio can be scaled to the solution for the real mass ratio, with no approximation. This 'scaled mass' method, which works with already-existing PIC codes, can reduce the computation time for a large class of electrostatic PIC simulations by the square root of the mass ratio. The particle distributions of the resulting steady state must be trivially rescaled to yield the true distributions, but the self-consistent electrostatic field is independent of the mass ratio. This method is equivalent to 'numerical timestepping,' an approach that evolves electron and ion populations with different timesteps. Numerical timestepping can be viewed as a special case of the speed-limited PIC (SLPIC) method, which is not restricted to steady-state phenomena. Although the scaled-mass approach is simplest, numerical timestepping and SLPIC more easily generalize to include other effects, such as collisions. The equivalence of these new approaches is demonstrated by applying them to simulate a cylindrical Langmuir probe in electron-argon plasma, speeding up simulation by two orders of magnitude. Methods such as SLPIC can therefore play an invaluable role in interpreting probe measurements by including geometric effects, collisions, secondary emission, and non-Maxwellian distributions.


title: Refined Madelung Equations

abstract: The Madelung equations are two equations that are equivalent to the one-body time-dependent Schroedinger equation. In this paper, the Madelung equation, whose gradient is an Euler equation, is refined by introducing interpretations of functions that are shown to depend only on the real-part of the complex-valued wavefunction. These interpretations are extensions of functions from the recently derived generalized Bernoulli equation, applicable to real-valued quantum-mechanical stationary states. In particular, the velocity and pressure definitions are extended so that they depend on the real-part of a time-dependent complex-valued wavefunction. The Bohn quantum potential is then interpreted as the sum of two terms, one involving the kinetic energy and the other involving the pressure. Substituting the interpreted quantum-potential into the Madelung equation gives a refined equation containing two kinetic energy terms, a pressure term, and the external potential. It is easily demonstrated that the refined Madelung equation, applied to the hydrogen atom states with a nonzero magnetic quantum number, gives a fluid velocity that contains both a radial component and a free vortex. Hence, the fluid particles have angular momentum and move on streamlines that terminate at infinity. It is also demonstrated that the two velocities from the refined Madelung equation are related: One is the real component and the other is the imaginary component of a complex velocity. Furthermore, an Euler equation for quantum mechanical systems is derived by taking the gradient of the refined Madelung equation.


title: Improving the Thermal Infrared Monitoring of Volcanoes: A Deep Learning Approach for Intermittent Image Series

abstract: Active volcanoes are globally distributed and pose societal risks at multiple geographic scales, ranging from local hazards to regional/international disruptions. Many volcanoes do not have continuous ground monitoring networks; meaning that satellite observations provide the only record of volcanic behavior and unrest. Among these remote sensing observations, thermal imagery is inspected daily by volcanic observatories for examining the early signs, onset, and evolution of eruptive activity. However, thermal scenes are often obstructed by clouds, meaning that forecasts must be made off image sequences whose scenes are only usable intermittently through time. Here, we explore forecasting this thermal data stream from a deep learning perspective using existing architectures that model sequences with varying spatiotemporal considerations. Additionally, we propose and evaluate new architectures that explicitly model intermittent image sequences. Using ASTER Kinetic Surface Temperature data for $9$ volcanoes between $1999$ and $2020$, we found that a proposed architecture (ConvLSTM + Time-LSTM + U-Net) forecasts volcanic temperature imagery with the lowest RMSE ($4.164^{\circ}$C, other methods: $4.217-5.291^{\circ}$C). Additionally, we examined performance on multiple time series derived from the thermal imagery and the effect of training with data from singular volcanoes. Ultimately, we found that models with the lowest RMSE on forecasting imagery did not possess the lowest RMSE on recreating time series derived from that imagery and that training with individual volcanoes generally worsened performance relative to a multi-volcano data set. This work highlights the potential of data-driven deep learning models for volcanic unrest forecasting while revealing the need for carefully constructed optimization targets.


title: Growth of Outward Propagating Fast-Magnetosonic/Whistler Waves in the Inner Heliosphere Observed by Parker Solar Probe

abstract: The solar wind in the inner heliosphere has been observed by Parker Solar Probe (PSP) to exhibit abundant wave activities. The cyclotron wave modes in the sense of ions or electrons are among the most crucial wave components. However, their origin and evolution in the inner heliosphere close to the Sun remain mysteries. Specifically, it remains unknown whether it is an emitted signal from the solar atmosphere or an eigenmode growing locally in the heliosphere due to plasma instability. To address and resolve this controversy, we must investigate the key quantity of the energy change rate of the wave mode. We develop a new technique to measure the energy change rate of plasma waves, and apply this technique to the wave electromagnetic fields measured by PSP. We provide the wave Poynting flux in the solar wind frame, identify the wave nature to be the outward propagating fast-magnetosonic/whistler wave mode instead of the sunward propagating waves. We provide the first evidence for growth of the fast-magnetosonic/whistler wave mode in the inner heliosphere based on the derived spectra of the real and imaginary parts of the wave frequencies. The energy change rate rises and stays at a positive level in the same wavenumber range as the bumps of the electromagnetic field power spectral densities, clearly manifesting that the observed fast-magnetosonic/whistler waves are locally growing to a large amplitude.


title: Heterogeneous Treatment Effect Estimation using machine learning for Healthcare application: tutorial and benchmark

abstract: Developing new drugs for target diseases is a time-consuming and expensive task, drug repurposing has become a popular topic in the drug development field. As much health claim data become available, many studies have been conducted on the data. The real-world data is noisy, sparse, and has many confounding factors. In addition, many studies have shown that drugs effects are heterogeneous among the population. Lots of advanced machine learning models about estimating heterogeneous treatment effects (HTE) have emerged in recent years, and have been applied to in econometrics and machine learning communities. These studies acknowledge medicine and drug development as the main application area, but there has been limited translational research from the HTE methodology to drug development. We aim to introduce the HTE methodology to the healthcare area and provide feasibility consideration when translating the methodology with benchmark experiments on healthcare administrative claim data. Also, we want to use benchmark experiments to show how to interpret and evaluate the model when it is applied to healthcare research. By introducing the recent HTE techniques to a broad readership in biomedical informatics communities, we expect to promote the wide adoption of causal inference using machine learning. We also expect to provide the feasibility of HTE for personalized drug effectiveness.


title: Applications of circulant matrices to determinants involving $k$-th power residues

abstract: In this paper, by the tools of circulant matrices and hyperelliptic curves over finite fields, we study some arithmetic properties of certain determinants involving the Legendre symbols and $k$-th residues.


title: Gauge Kinetic Mixing and Dark Topological Defects

abstract: We discuss how the topological defects in the dark sector affect the Standard Model sector when the dark photon has a kinetic mixing with the QED photon. In particular, we consider the dark photon appearing in the successive gauge symmetry breaking, $\mathrm{SU}(2)\to \mathrm{U}(1) \to \mathbb{Z}_2$, where the remaining $\mathbb{Z}_2$ is the center of $\mathrm{SU(2)}$. In this model, the monopole is trapped into the cosmic strings and forms the so-called bead solution. As we will discuss, the dark cosmic string induces the QED magnetic flux inside the dark string through the kinetic mixing. The dark monopole, on the other hand, does not induce the QED magnetic flux in the U(1) symmetric phase, even in the presence of the kinetic mixing. Finally, we show that the dark bead solution induces a spherically symmetric QED magnetic flux through the kinetic mixing. The induced flux looks like the QED magnetic monopole viewed from a distance, although QED satisfies the Bianchi identity everywhere, which we call a pseudo magnetic monopole.


title: Distributionally Robust Multiclass Classification and Applications in Deep Image Classifiers

abstract: We develop a Distributionally Robust Optimization (DRO) formulation for Multiclass Logistic Regression (MLR), which could tolerate data contaminated by outliers. The DRO framework uses a probabilistic ambiguity set defined as a ball of distributions that are close to the empirical distribution of the training set in the sense of the Wasserstein metric. We relax the DRO formulation into a regularized learning problem whose regularizer is a norm of the coefficient matrix. We establish out-of-sample performance guarantees for the solutions to our model, offering insights on the role of the regularizer in controlling the prediction error. We apply the proposed method in rendering deep Vision Transformer (ViT)-based image classifiers robust to random and adversarial attacks. Specifically, using the MNIST and CIFAR-10 datasets, we demonstrate reductions in test error rate by up to 83.5% and loss by up to 91.3% compared with baseline methods, by adopting a novel random training method.


title: Rumour Detection via Zero-shot Cross-lingual Transfer Learning

abstract: Most rumour detection models for social media are designed for one specific language (mostly English). There are over 40 languages on Twitter and most languages lack annotated resources to build rumour detection models. In this paper we propose a zero-shot cross-lingual transfer learning framework that can adapt a rumour detection model trained for a source language to another target language. Our framework utilises pretrained multilingual language models (e.g.\ multilingual BERT) and a self-training loop to iteratively bootstrap the creation of ''silver labels'' in the target language to adapt the model from the source language to the target language. We evaluate our methodology on English and Chinese rumour datasets and demonstrate that our model substantially outperforms competitive benchmarks in both source and target language rumour detection.


title: Cyber-Physical Taint Analysis in Multi-stage Manufacturing Systems (MMS): A Case Study

abstract: Information flows are intrinsic properties of an multi-stage manufacturing systems (MMS). In computer security, a basic information flow tracking technique is dynamic taint analysis (DTA). DTA tracks taint propagation from one data variable (e.g., a buffer holding a HTTP request) to another. Taint propagation paths are typically determined by data flows and implicit flows in a computer program. And the union of all the taint propagation paths forms a taint graph. It is clear that taints graphs could significantly enhance intrusion diagnosis. However, the existing DTA techniques cannot be directly used in an MMS, and a main reason is as follows: Without manufacturing-specific taint propagation rules, DTA cannot be implemented. In this work, we conduct a case study which (a) extends the existing DTA method with manufacturing-specific taint propagation rules, and (b) applies the extended method to perform preliminary intrusion diagnosis with a small-scale test-bed.


title: Birkhoff-James orthogonality in complex Banach spaces and Bhatia-\v{S}emrl Theorem revisited

abstract: We explore Birkhoff-James orthogonality of two elements in a complex Banach space by using the directional approach. Our investigation illustrates the geometric distinctions between a smooth point and a non-smooth point in a complex Banach space. As a concrete outcome of our study, we obtain a new proof of the Bhatia-\v{S}emrl Theorem on orthogonality of linear operators.


title: Joint Multimedia Event Extraction from Video and Article

abstract: Visual and textual modalities contribute complementary information about events described in multimedia documents. Videos contain rich dynamics and detailed unfoldings of events, while text describes more high-level and abstract concepts. However, existing event extraction methods either do not handle video or solely target video while ignoring other modalities. In contrast, we propose the first approach to jointly extract events from video and text articles. We introduce the new task of Video MultiMedia Event Extraction (Video M2E2) and propose two novel components to build the first system towards this task. First, we propose the first self-supervised multimodal event coreference model that can determine coreference between video events and text events without any manually annotated pairs. Second, we introduce the first multimodal transformer which extracts structured event information jointly from both videos and text documents. We also construct and will publicly release a new benchmark of video-article pairs, consisting of 860 video-article pairs with extensive annotations for evaluating methods on this task. Our experimental results demonstrate the effectiveness of our proposed method on our new benchmark dataset. We achieve 6.0% and 5.8% absolute F-score gain on multimodal event coreference resolution and multimedia event extraction.


title: ReINTEL Challenge 2020: A Comparative Study of Hybrid Deep Neural Network for Reliable Intelligence Identification on Vietnamese SNSs

abstract: The overwhelming abundance of data has created a misinformation crisis. Unverified sensationalism that is designed to grab the readers' short attention span, when crafted with malice, has caused irreparable damage to our society's structure. As a result, determining the reliability of an article has become a crucial task. After various ablation studies, we propose a multi-input model that can effectively leverage both tabular metadata and post content for the task. Applying state-of-the-art finetuning techniques for the pretrained component and training strategies for our complete model, we have achieved a 0.9462 ROC-score on the VLSP private test set.


title: Emergence of Quantum Confinement in Topological Kagome Superconductor CsV$_3$Sb$_5$ family

abstract: Quantum confinement is a restriction on the motion of electrons in a material to specific region, resulting in discrete energy levels rather than continuous energy bands. In certain materials quantum confinement could dramatically reshape the electronic structure and properties of the surface with respect to the bulk. Here, in the recently discovered kagome superconductor CsV$_3$Sb$_5$ (A=K, Rb, Cs) family of materials, we unveil the dominant role of quantum confinement in determining their surface electronic structure. Combining angle-resolved photoemission spectroscopy (ARPES) measurement and density-functional theory simulation, we report the observations of two-dimensional quantum well states due to the confinement of bulk electron pocket and Dirac cone to the nearly isolated surface layer. The theoretical calculations on the slab model also suggest that the ARPES observed spectra are almost entirely contributed by the top two layers. Our results not only explain the disagreement of band structures between the recent experiments and calculations, but also suggest an equally important role played by quantum confinement, together with strong correlation and band topology, in shaping the electronic properties of this family of materials.


title: "Ash-fall" induced by molecular outflow in protostar evolution

abstract: Dust growth and its associated dynamics play key roles in the first phase of planet formation in young stellar objects (YSOs). Observations have detected signs of dust growth in very young protoplanetary disks. Furthermore, signs of planet formation, gaps in the disk at a distance of several 10 astronomical units (AU) from the central protostar are also reported. From a theoretical point of view, however, it is not clear how planet form at the outer region of a disk despite the difficulty due to rapid inward drift of dust so called radial drift barrier. Here, on the basis of three-dimensional magneto-hydrodynamical simulations of disk evolution with the dust growth, we propose a mechanism named "ash-fall" phenomenon induced by powerful molecular outflow driven by magnetic field which may circumvent the radial drift barrier. We found that the large dust which grows to a size of $\sim \cm$ in the inner region of a disk is entrained by an outflow from the disk. Then large dust decoupled from gas is ejected from the outflow due to centrifugal force, enriching the grown dust in the envelope and is eventually fall onto the outer edge of the disk. The overall process is similar to behaviour of ash-fall from volcanic eruptions. In the ash-fall phenomenon, the Stokes number of dust increases by reaccreting to the less dense disk outer edge. This may make the dust grains overcome the radial drift barrier. Consequently, the ash-fall phenomenon can provide a crucial assist for making the formation of the planetesimals in outer region of the disk possible, and hence the formation of wide-orbit planets and the formation of the gaps.


title: Pommerenke's theorem on Gromov hyperbolic domains

abstract: We establish a version of a classical theorem of Pommerenke, which is a diameter version of the Gehring-Hayman inequality on Gromov hyperbolic domains of $\mathbb{R}^n$. Two applications are given. Firstly, we generalize Ostrowski's Faltensatz to quasihyperbolic geodesics of Gromov hyperbolic domains. Secondly, we prove that unbounded uniform domains can be characterized in the terms of Gromov hyperbolicity and a naturally quasisymmetric correspondence on the boundary, where the Gromov boundary is equipped with a Hamenst\"adt metric (defined by using a Busemann function).


title: Effective Use of Graph Convolution Network and Contextual Sub-Tree forCommodity News Event Extraction

abstract: Event extraction in commodity news is a less researched area as compared to generic event extraction. However, accurate event extraction from commodity news is useful in abroad range of applications such as under-standing event chains and learning event-event relations, which can then be used for commodity price prediction. The events found in commodity news exhibit characteristics different from generic events, hence posing a unique challenge in event extraction using existing methods. This paper proposes an effective use of Graph Convolutional Networks(GCN) with a pruned dependency parse tree, termed contextual sub-tree, for better event ex-traction in commodity news. The event ex-traction model is trained using feature embed-dings from ComBERT, a BERT-based masked language model that was produced through domain-adaptive pre-training on a commodity news corpus. Experimental results show the efficiency of the proposed solution, which out-performs existing methods with F1 scores as high as 0.90. Furthermore, our pre-trained language model outperforms GloVe by 23%, and BERT and RoBERTa by 7% in terms of argument roles classification. For the goal of re-producibility, the code and trained models are made publicly available1.


title: On the sums of squares of exceptional units in residue class rings

abstract: Let $n\ge 1, e\ge 1, k\ge 2$ and $c$ be integers. An integer $u$ is called a unit in the ring $\mathbb{Z}_n$ of residue classes modulo $n$ if $\gcd(u, n)=1$. A unit $u$ is called an exceptional unit in the ring $\mathbb{Z}_n$ if $\gcd(1-u,n)=1$. We denote by $\mathcal{N}_{k,c,e}(n)$ the number of solutions $(x_1,...,x_k)$ of the congruence $x_1^e+...+x_k^e\equiv c \pmod n$ with all $x_i$ being exceptional units in the ring $\mathbb{Z}_n$. In 2017, Mollahajiaghaei presented a formula for the number of solutions $(x_1,...,x_k)$ of the congruence $x_1^2+...+x_k^2\equiv c\pmod n$ with all $x_i$ being the units in the ring $\mathbb{Z}_n$. Meanwhile, Yang and Zhao gave an exact formula for $\mathcal{N}_{k,c,1}(n)$. In this paper, by using Hensel's lemma, exponential sums and quadratic Gauss sums, we derive an explicit formula for the number $\mathcal{N}_{k,c,2}(n)$. Our result extends Mollahajiaghaei's theorem and that of Yang and Zhao.


title: Leveraging Multiple CNNs for Triaging Medical Workflow

abstract: High hospitalization rates due to the global spread of Covid-19 bring about a need for improvements to classical triaging workflows. To this end, convolutional neural networks (CNNs) can effectively differentiate critical from non-critical images so that critical cases may be addressed quickly, so long as there exists some representative image for the illness. Presented is a conglomerate neural network system consisting of multiple VGG16 CNNs; the system trains on weighted skin disease images re-labelled as critical or non-critical, to then attach to input images a critical index between 0 and 10. A critical index offers a more comprehensive rating system compared to binary critical/non-critical labels. Results for batches of input images run through the trained network are promising. A batch is shown being re-ordered by the proposed architecture from most critical to least critical roughly accurately.


title: Learning from Few Samples: Transformation-Invariant SVMs with Composition and Locality at Multiple Scales

abstract: Motivated by the problem of learning with small sample sizes, this paper shows how to incorporate into support-vector machines (SVMs) those properties that have made convolutional neural networks (CNNs) successful. Particularly important is the ability to incorporate domain knowledge of invariances, e.g., translational invariance of images. Kernels based on the \textit{maximum} similarity over a group of transformations are not generally positive definite. Perhaps it is for this reason that they have not been studied theoretically. We address this lacuna and show that positive definiteness indeed holds \textit{with high probability} for kernels based on the maximum similarity in the small training sample set regime of interest, and that they do yield the best results in that regime. We also show how additional properties such as their ability to incorporate local features at multiple spatial scales, e.g., as done in CNNs through max pooling, and to provide the benefits of composition through the architecture of multiple layers, can also be embedded into SVMs. We verify through experiments on widely available image sets that the resulting SVMs do provide superior accuracy in comparison to well-established deep neural network benchmarks for small sample sizes.


title: High Frame Rate Video Quality Assessment using VMAF and Entropic Differences

abstract: The popularity of streaming videos with live, high-action content has led to an increased interest in High Frame Rate (HFR) videos. In this work we address the problem of frame rate dependent Video Quality Assessment (VQA) when the videos to be compared have different frame rate and compression factor. The current VQA models such as VMAF have superior correlation with perceptual judgments when videos to be compared have same frame rates and contain conventional distortions such as compression, scaling etc. However this framework requires additional pre-processing step when videos with different frame rates need to be compared, which can potentially limit its overall performance. Recently, Generalized Entropic Difference (GREED) VQA model was proposed to account for artifacts that arise due to changes in frame rate, and showed superior performance on the LIVE-YT-HFR database which contains frame rate dependent artifacts such as judder, strobing etc. In this paper we propose a simple extension, where the features from VMAF and GREED are fused in order to exploit the advantages of both models. We show through various experiments that the proposed fusion framework results in more efficient features for predicting frame rate dependent video quality. We also evaluate the fused feature set on standard non-HFR VQA databases and obtain superior performance than both GREED and VMAF, indicating the combined feature set captures complimentary perceptual quality information.


title: Self-Replicating Neural Programs

abstract: In this work, a neural network is trained to replicate the code that trains it using only its own output as input. A paradigm for evolutionary self-replication in neural programs is introduced, where program parameters are mutated, and the ability for the program to more efficiently train itself leads to greater reproductive success. This evolutionary paradigm is demonstrated to produce more efficient learning in organisms from a setting without any explicit guidance, solely based on natural selection favoring organisms with faster reproductive maturity.


title: Emotional Speech Synthesis for Companion Robot to Imitate Professional Caregiver Speech

abstract: When people try to influence others to do something, they subconsciously adjust their speech to include appropriate emotional information. In order for a robot to influence people in the same way, the robot should be able to imitate the range of human emotions when speaking. To achieve this, we propose a speech synthesis method for imitating the emotional states in human speech. In contrast to previous methods, the advantage of our method is that it requires less manual effort to adjust the emotion of the synthesized speech. Our synthesizer receives an emotion vector to characterize the emotion of synthesized speech. The vector is automatically obtained from human utterances by using a speech emotion recognizer. We evaluated our method in a scenario when a robot tries to regulate an elderly person's circadian rhythm by speaking to the person using appropriate emotional states. For the target speech to imitate, we collected utterances from professional caregivers when they speak to elderly people at different times of the day. Then we conducted a subjective evaluation where the elderly participants listened to the speech samples generated by our method. The results showed that listening to the samples made the participants feel more active in the early morning and calmer in the middle of the night. This suggests that the robot may be able to adjust the participants' circadian rhythm and that the robot can potentially exert influence similarly to a person.


title: Multiplicative Position-aware Transformer Models for Language Understanding

abstract: Transformer models, which leverage architectural improvements like self-attention, perform remarkably well on Natural Language Processing (NLP) tasks. The self-attention mechanism is position agnostic. In order to capture positional ordering information, various flavors of absolute and relative position embeddings have been proposed. However, there is no systematic analysis on their contributions and a comprehensive comparison of these methods is missing in the literature. In this paper, we review major existing position embedding methods and compare their accuracy on downstream NLP tasks, using our own implementations. We also propose a novel multiplicative embedding method which leads to superior accuracy when compared to existing methods. Finally, we show that our proposed embedding method, served as a drop-in replacement of the default absolute position embedding, can improve the RoBERTa-base and RoBERTa-large models on SQuAD1.1 and SQuAD2.0 datasets.


title: Toward a fast and consistent approach to model solar magnetic fields in multiple layers

abstract: Aims. We aim to develop a fast and consistent extrapolation method to model multiple layers of the solar atmosphere. Methods. The new approach combines the magnetohydrostatic (MHS) extrapolation which models the solar low atmosphere in a flat box and the nonlinear force-free field (NLFFF) extrapolation which models the solar corona with a chromospheric vector magnetogram deduced from the MHS extrapolation. We test our code with a snapshot of a radiative magnetohydrodynamic simulation of a solar flare. Comparisons are conducted by several metrics quantitatively. Results. Based on a number of test runs, we find out the optimized configuration for the combination of two extrapolations with a 5.8-Mm-high box for the MHS extrapolation and a magnetogram at a height of 1 Mm for the NLFFF extrapolation. The new approach under this configuration is able to reconstruct the magnetic fields in multi-layers accurately and efficiently. Based on figures of merit that are used to assess the performance of different extrapolations (NLFFF extrapolation, MHS extrapolation, and the combined one), we find the combined extrapolation reaches accuracy of the MHS extrapolation which is better than the NLFFF extrapolation. The combined extrapolation is moderately efficient for application to magnetograms with high resolution.


title: State preparation and evolution in quantum computing: a perspective from Hamiltonian moments

abstract: Quantum algorithms on the noisy intermediate-scale quantum (NISQ) devices are expected to simulate quantum systems that are classically intractable to demonstrate quantum advantages. However, the non-negligible gate error on the NISQ devices impedes the conventional quantum algorithms to be implemented. Practical strategies usually exploit hybrid quantum classical algorithms to demonstrate potentially useful applications of quantum computing in the NISQ era. Among the numerous hybrid algorithms, recent efforts highlight the development of quantum algorithms based upon quantum computed Hamiltonian moments, $\langle \phi | \hat{\mathcal{H}}^n | \phi \rangle$ ($n=1,2,\cdots$), with respect to quantum state $|\phi\rangle$. In this tutorial, we will give a brief review of these quantum algorithms with focuses on the typical ways of computing Hamiltonian moments using quantum hardware and improving the accuracy of the estimated state energies based on the quantum computed moments. Furthermore, we will present a tutorial to show how we can measure and compute the Hamiltonian moments of a four-site Heisenberg model, and compute the energy and magnetization of the model utilizing the imaginary time evolution in the real IBM-Q NISQ hardware environment. Along this line, we will further discuss some practical issues associated with these algorithms. We will conclude this tutorial review by overviewing some possible developments and applications in this direction in the near future.


title: The masses of hadrons in the chiral symmetry restored vacuum

abstract: We calculate the masses of the vector and axial-vector mesons as well as the nucleon and the delta resonance in the chiral symmetry restored vacuum. This is accomplished by separating the quark operators appearing in the QCD sum rules for these hadrons into the chiral symmetric and symmetry breaking parts depending on the contributions of the fermion zero modes. We then extract the vacuum expectation values of all the separated parts of the quark operators using the QCD sum rule relations for these hadrons with their vacuum masses and widths. By taking the chiral symmetry breaking parts to be zero while keeping the symmetric operators to their vacuum values, we obtain the chiral symmetric part of the hadron masses. We find that the masses of chiral partners, such as the $(\rho,a_1)$ and $(K^*,K_1)$, become degenerate to values between 500 and 600 MeV in the chiral symmetry restored vacuum, while parity partners $(\omega,f_1)$ that are chiral partners only in the limit where the disconnected diagrams are neglected remain non-degenerate with masses $(655,1060)$ MeV, respectively. The masses of the nucleon and the Delta are also found to reduce to about 500 and 600 MeV, respectively, in the chiral symmetric vacuum. This shows that while chiral symmetry breaking is responsible for the mass difference between chiral partner, both the meson and baryon retain non-trivial fraction of their masses in the chiral symmetry restored vacuum.


title: Why does B$_{12}$H$_{12}$-icosahedron need two electrons to be stable: A first-principles electron-correlated investigation of B$_{12}$H$_{n}$ ($n=$6,12) clusters

abstract: In this work, we present large-scale electron-correlated computations on various conformers of B$_{12}$H$_{12}$ and B$_{12}$H$_{6}$ clusters, to understand the reasons behind the high stability of di-anion icosahedron ($I_{h}$) and cage-like B$_{12}$H$_{6}$ geometries. Although the B$_{12}$-icosahedron is the basic building block in some structures of bulk boron, it is unstable in its free form. Furthermore, its H-passivated entity, i.e., B$_{12}$H$_{12}$ icosahedron is also unstable in free form. However, dianion B$_{12}$H$_{12}$ has been predicted to be stable as a perfect icosahedron in the free-standing form. In order to capture the correct picture for the stability of B$_{12}$H$_{12}^{-2}$ and B$_{12}$H$_{6}$ clusters, we optimized these structures by employing the coupled-cluster singles-doubles (CCSD) approach and cc-pVDZ basis set. We also performed vibrational frequency analysis of the isomers of these clusters, using the same level of theory to ensure the stability of the structures. For all the stable geometries obtained from the vibrational frequency analysis, we additionally computed their optical absorption spectra using the time-dependent density functional theory (TDDFT) approach, at the the B3LYP/6-31G{*} level of theory. Our calculated absorption spectra could be probed in future experiments on these clusters.


title: Dipole alignment of water molecules flowing through a carbon nanotube

abstract: The fast flow rate of water through nanochannels has promising applications in desalination, energy conversion, and nanomedicine. We have used molecular dynamics simulations to show that the water molecules passing through a wide single-walled carbon nanotube (CNT) cavity get aligned by flow to have a net dipole moment along the flow direction. With increasing flow velocity, the net dipole moment first increases and eventually saturates to a constant value. This behavior is similar to the Langevin theory of paraelectricity with the flow velocity acting as an effective aligning field. We show conclusively that the microscopic origin of this behavior is the preferential entry of water molecules with their dipole vectors pointing inward along the CNT axis.


title: Spin-singlet and spin-triplet pairing correlations in antiferromagnetically coupled Kondo systems

abstract: Recent experiments in quantum critical heavy fermion metals have pushed to the fore the question about whether antiferromagnetic fluctuations can promote both spin-singlet and spin-triplet superconductivity. Here we address the issue through non-perturbative calculations in antiferromagnetically correlated Kondo systems. We identify Kondo-destruction quantum critical points in both the SU(2) symmetric and Ising-anisotropic cluster Bose-Fermi Anderson models. The spin-singlet pairing correlations are significantly enhanced near the quantum critical point in the SU(2) case; however, with adequate but still realistic degree of Ising anisotropy, the spin-triplet pairing correlations are competitive. Our results demonstrate that spin-flip processes strengthen the spin-singlet pairing at the Kondo-destruction quantum critical points, and point towards a way for antiferromagnetic correlations to drive spin-triplet pairing. Further implications of our findings in the broader context of strongly correlated superconductivity are discussed.


title: Total value adjustment of Bermudan option valuation under pure jump L\'evy fluctuations

abstract: During the COVID-19 pandemic, many institutions have announced that their counterparties are struggling to fulfill contracts.Therefore, it is necessary to consider the counterparty default risk when pricing options. After the 2008 financial crisis, a variety of value adjustments have been emphasized in the financial industry. The total value adjustment (XVA) is the sum of multiple value adjustments, which is also investigated in many stochastic models such as Heston and Bates models. In this work, a widely used pure jump L\'evy process, the CGMY process has been considered for pricing a Bermudan option with various value adjustments. Under a pure jump L\'evy process, the value of derivatives satisfies a fractional partial differential equation(FPDE). Therefore, we construct a method which combines Monte Carlo with finite difference of FPDE (MC-FF) to find the numerical approximation of exposure, and compare it with the benchmark Monte Carlo-COS (MC-COS) method. We use the discrete energy estimate method, which is different with the existing works, to derive the convergence of the numerical scheme.Based on the numerical results, the XVA is computed by the financial


title: Measurement-based preparation of non-Markovian and multimode mechanical states

abstract: Nanomechanical resonators are a key tool for future quantum technologies such as quantum force sensors and interfaces, and for studies of macroscopic quantum physics. The ability to prepare room temperature non-classical states is a major outstanding challenge. Here, we explore the use of measurement-based state conditioning to achieve this. We demonstrate conditional cooling of a nanomechanical resonator that has non-Markovian decoherence, and show theoretically that the non-Markovianity makes quantum squeezing significantly easier to achieve. We further show that collective measurement of multiple resonator modes improves the quality of state preparation. This allows us to achieve collective thermomechanical squeezing, in experiments that go beyond the validity of the rotating-wave approximation. Our modelling shows that non-Markovianity and multimode conditioning can both enable room temperature quantum squeezing with existing technology. Together, our results pave the way towards realising room temperature quantum nanomechanical devices and towards their application in quantum technology and fundamental science.


title: An Adaptive PID Autotuner for Multicopters with Experimental Results

abstract: This paper develops an adaptive PID autotuner for multicopters, and presents simulation and experimental results. The autotuner consists of adaptive digital control laws based on retrospective cost adaptive control implemented in the PX4 flight stack. A learning trajectory is used to optimize the autopilot during a single flight. The autotuned autopilot is then compared with the default PX4 autopilot by flying a test trajectory constructed using the second-order Hilbert curve. In order to investigate the sensitivity of the autotuner to the quadcopter dynamics, the mass of the quadcopter is varied, and the performance of the autotuned and default autopilot is compared. It is observed that the autotuned autopilot outperforms the default autopilot.