title: Variational and Diffusion Quantum Monte Carlo Calculations with the CASINO Code

abstract: We present an overview of the variational and diffusion quantum Monte Carlo methods as implemented in the CASINO program. We particularly focus on developments made in the last decade, describing state-of-the-art quantum Monte Carlo algorithms and software and discussing their strengths and their weaknesses. We review a range of recent applications of CASINO.


title: The Conflict Between People's Urge to Punish AI and Legal Systems

abstract: Regulating artificial intelligence (AI) has become necessary in light of its deployment in high-risk scenarios. This paper explores the proposal to extend legal personhood to AI and robots, which had not yet been examined through the lens of the general public. We present two studies (N = 3,559) to obtain people's views of electronic legal personhood vis-\`a-vis existing liability models. Our study reveals people's desire to punish automated agents even though these entities are not recognized any mental state. Furthermore, people did not believe automated agents' punishment would fulfill deterrence nor retribution and were unwilling to grant them legal punishment preconditions, namely physical independence and assets. Collectively, these findings suggest a conflict between the desire to punish automated agents and its perceived impracticability. We conclude by discussing how future design and legal decisions may influence how the public reacts to automated agents' wrongdoings.


title: DriftSurf: A Risk-competitive Learning Algorithm under Concept Drift

abstract: When learning from streaming data, a change in the data distribution, also known as concept drift, can render a previously-learned model inaccurate and require training a new model. We present an adaptive learning algorithm that extends previous drift-detection-based methods by incorporating drift detection into a broader stable-state/reactive-state process. The advantage of our approach is that we can use aggressive drift detection in the stable state to achieve a high detection rate, but mitigate the false positive rate of standalone drift detection via a reactive state that reacts quickly to true drifts while eliminating most false positives. The algorithm is generic in its base learner and can be applied across a variety of supervised learning problems. Our theoretical analysis shows that the risk of the algorithm is competitive to an algorithm with oracle knowledge of when (abrupt) drifts occur. Experiments on synthetic and real datasets with concept drifts confirm our theoretical analysis.


title: Using Curvature to Select the Time Lag for Delay Reconstruction

abstract: We propose a curvature-based approach for choosing good values for the time-delay parameter $\tau$ in delay reconstructions. The idea is based on the effects of the delay on the geometry of the reconstructions. If the delay is chosen too small, the reconstructed dynamics are flattened along the main diagonal of the embedding space; too-large delays, on the other hand, can overfold the dynamics. Calculating the curvature of a two-dimensional delay reconstruction is an effective way to identify these extremes and to find a middle ground between them: both the sharp reversals at the ends of an insufficiently unfolded reconstruction and the folds in an overfolded one create spikes in the curvature. We operationalize this observation by computing the mean over the Menger curvature of 2D reconstructions for different time delays. We show that the mean of these values gives an effective heuristic for choosing the time delay. In addition, we show that this curvature-based heuristic is useful even in cases where the customary approach, which uses average mutual information, fails --- e.g., noisy or filtered data.


title: On non-monochromatic plane-wave solutions of Maxwell's equations

abstract: In electrodynamics courses and textbooks the properties of plane electromagnetic waves in both conducting and non-conducting media are typically studied from the point of view of the prototype case of a monochromatic plane wave. In this article the more general, non-monochromatic case is examined, which better exploits the independence of the Maxwell equations and offers new insights in the study of electromagnetic waves.


title: Optimal Change-Point Detection with Training Sequences in the Large and Moderate Deviations Regimes

abstract: This paper investigates a novel offline change-point detection problem from an information-theoretic perspective. In contrast to most related works, we assume that the knowledge of the underlying pre- and post-change distributions are not known and can only be learned from the training sequences which are available. We further require the probability of the \emph{estimation error} to decay either exponentially or sub-exponentially fast (corresponding respectively to the large and moderate deviations regimes in information theory parlance). Based on the training sequences as well as the test sequence consisting of a single change-point, we design a change-point estimator and further show that this estimator is optimal by establishing matching (strong) converses. This leads to a full characterization of the optimal confidence width (i.e., half the width of the confidence interval within which the true change-point is located at with high probability) as a function of the undetected error, under both the large and moderate deviations regimes.

categories: cs.IT cs.LG math.IT math.ST stat.ML stat.TH


title: New algorithms and goodness-of-fit diagnostics from remarkable properties of ranking models

abstract: The forward order assumption postulates that the ranking process of the items is carried out by sequentially assigning the positions from the top (most-liked) to the bottom (least-liked) alternative. This assumption has been recently relaxed with the Extended Plackett-Luce model (EPL) through the introduction of the discrete reference order parameter, describing the rank attribution path. By starting from two formal properties of the EPL, the former related to the inverse ordering of the item probabilities at the first and last stage of the ranking process and the latter well-known as independence of irrelevant alternatives (or Luce's choice axiom), we derive novel diagnostic tools for testing the appropriateness of the EPL assumption as the actual sampling distribution of the observed rankings. Besides contributing to fill the gap of goodness-of-fit methods for the family of multistage models, we also show how one of the two statistics can be conveniently exploited to construct a heuristic method, that surrogates the maximum likelihood approach for inferring the underlying reference order parameter. The relative performance of the proposals compared with more conventional approaches is illustrated by means of extensive simulation studies.


title: A Privacy-Preserving-Oriented DNN Pruning and Mobile Acceleration Framework

abstract: Weight pruning of deep neural networks (DNNs) has been proposed to satisfy the limited storage and computing capability of mobile edge devices. However, previous pruning methods mainly focus on reducing the model size and/or improving performance without considering the privacy of user data. To mitigate this concern, we propose a privacy-preserving-oriented pruning and mobile acceleration framework that does not require the private training dataset. At the algorithm level of the proposed framework, a systematic weight pruning technique based on the alternating direction method of multipliers (ADMM) is designed to iteratively solve the pattern-based pruning problem for each layer with randomly generated synthetic data. In addition, corresponding optimizations at the compiler level are leveraged for inference accelerations on devices. With the proposed framework, users could avoid the time-consuming pruning process for non-experts and directly benefit from compressed models. Experimental results show that the proposed framework outperforms three state-of-art end-to-end DNN frameworks, i.e., TensorFlow-Lite, TVM, and MNN, with speedup up to 4.2X, 2.5X, and 2.0X, respectively, with almost no accuracy loss, while preserving data privacy.


title: DAN: Dual-View Representation Learning for Adapting Stance Classifiers to New Domains

abstract: We address the issue of having a limited number of annotations for stance classification in a new domain, by adapting out-of-domain classifiers with domain adaptation. Existing approaches often align different domains in a single, global feature space (or view), which may fail to fully capture the richness of the languages used for expressing stances, leading to reduced adaptability on stance data. In this paper, we identify two major types of stance expressions that are linguistically distinct, and we propose a tailored dual-view adaptation network (DAN) to adapt these expressions across domains. The proposed model first learns a separate view for domain transfer in each expression channel and then selects the best adapted parts of both views for optimal transfer. We find that the learned view features can be more easily aligned and more stance-discriminative in either or both views, leading to more transferable overall features after combining the views. Results from extensive experiments show that our method can enhance the state-of-the-art single-view methods in matching stance data across different domains, and that it consistently improves those methods on various adaptation tasks.


title: Evaluation of Cross-View Matching to Improve Ground Vehicle Localization with Aerial Perception

abstract: Cross-view matching refers to the problem of finding the closest match for a given query ground view image to one from a database of aerial images. If the aerial images are geotagged, then the closest matching aerial image can be used to localize the query ground view image. Due to the recent success of deep learning methods, several cross-view matching techniques have been proposed. These approaches perform well for the matching of isolated query images. However, their evaluation over a trajectory is limited. In this paper, we evaluate cross-view matching for the task of localizing a ground vehicle over a longer trajectory. We treat these cross-view matches as sensor measurements that are fused using a particle filter. We evaluate the performance of this method using a city-wide dataset collected in a photorealistic simulation by varying four parameters: height of aerial images, the pitch of the aerial camera mount, FOV of the ground camera, and the methodology of fusing cross-view measurements in the particle filter. We also report the results obtained using our pipeline on a real-world dataset collected using Google Street View and satellite view APIs.


title: Deep Representation Learning of Electronic Health Records to Unlock Patient Stratification at Scale

abstract: Deriving disease subtypes from electronic health records (EHRs) can guide next-generation personalized medicine. However, challenges in summarizing and representing patient data prevent widespread practice of scalable EHR-based stratification analysis. Here we present an unsupervised framework based on deep learning to process heterogeneous EHRs and derive patient representations that can efficiently and effectively enable patient stratification at scale. We considered EHRs of 1,608,741 patients from a diverse hospital cohort comprising of a total of 57,464 clinical concepts. We introduce a representation learning model based on word embeddings, convolutional neural networks, and autoencoders (i.e., ConvAE) to transform patient trajectories into low-dimensional latent vectors. We evaluated these representations as broadly enabling patient stratification by applying hierarchical clustering to different multi-disease and disease-specific patient cohorts. ConvAE significantly outperformed several baselines in a clustering task to identify patients with different complex conditions, with 2.61 entropy and 0.31 purity average scores. When applied to stratify patients within a certain condition, ConvAE led to various clinically relevant subtypes for different disorders, including type 2 diabetes, Parkinson's disease and Alzheimer's disease, largely related to comorbidities, disease progression, and symptom severity. With these results, we demonstrate that ConvAE can generate patient representations that lead to clinically meaningful insights. This scalable framework can help better understand varying etiologies in heterogeneous sub-populations and unlock patterns for EHR-based research in the realm of personalized medicine.


title: Heisenberg's Equality of Inequivalents Problem

abstract: In his book `Physics and Philosophy', Heisenberg suggested that the quantum world is one of ``potentialities or possibilities'' and that the classical realm is one of ``things or facts''. After ascertaining that his categories most naturally have the structure of ontological equivalence classes, we show that they cannot be seriously introduced into the quantum formalism without rendering it incoherent, as under some circumstances the formalism permits an equality between members of distinct equivalence classes. This is labeled the `equality of inequivalents problem'. Three possible reactions are discussed: First, one could deny the problem by challenging some of the assumptions that underlie its formulation; second, one could accept the problem and take it to be grounds for dismissing Heisenberg's or similar distinctions altogether; third, one could accept the problem but take its source to be not Heisenberg's distinction but the quantum formalism. A plausibility argument in support of the third reaction is given by analogy: it is shown that axiomatic probability suffers from a similar problem if one wishes to seriously distinguish between things which are possibilities and things which are not. An enriched axiomatization of probability is proposed which captures the concept of probability as a measure over possibilities and thereby overcomes the equality of inequivalents problem in axiomatic probability.


title: Leveraging Vision and Kinematics Data to Improve Realism of Biomechanic Soft-tissue Simulation for Robotic Surgery

abstract: Purpose Surgical simulations play an increasingly important role in surgeon education and developing algorithms that enable robots to perform surgical subtasks. To model anatomy, Finite Element Method (FEM) simulations have been held as the gold standard for calculating accurate soft-tissue deformation. Unfortunately, their accuracy is highly dependent on the simulation parameters, which can be difficult to obtain. Methods In this work, we investigate how live data acquired during any robotic endoscopic surgical procedure may be used to correct for inaccurate FEM simulation results. Since FEMs are calculated from initial parameters and cannot directly incorporate observations, we propose to add a correction factor that accounts for the discrepancy between simulation and observations. We train a network to predict this correction factor. Results To evaluate our method, we use an open-source da Vinci Surgical System to probe a soft-tissue phantom and replay the interaction in simulation. We train the network to correct for the difference between the predicted mesh position and the measured point cloud. This results in 15-30% improvement in the mean distance, demonstrating the effectiveness of our approach across a large range of simulation parameters. Conclusion We show a first step towards a framework that synergistically combines the benefits of model-based simulation and real-time observations. It corrects discrepancies between simulation and the scene that results from inaccurate modeling parameters. This can provide a more accurate simulation environment for surgeons and better data with which to train algorithms.


title: Hubble Space Telescope Search for Activity in High Perihelion Objects

abstract: Solar system objects with perihelia beyond the orbit of Jupiter ($q >$ 5 AU) are too cold for water ice to generate an appreciable coma via sublimation. Despite this, numerous high perihelion objects (HPOs) including many comets and recently escaped Kuiper belt objects (``Centaurs'') are observed to be active out at least to the orbit of Saturn ($q \sim$ 10 AU). Peak equilibrium temperatures at 10 AU ($\sim$125 K), while far too low to sublimate water ice, are sufficient to sublimate super-volatiles such as CO and CO$_2$ ice. Temperatures at 10 AU are also high enough to trigger the rapid crystallization of exposed amorphous ice, thus constituting another possible driver of distant activity. While supervolatile ices can sublimate strongly (as $r_H^{-2}$) to at least Kuiper belt (30 AU) distances, crystallization is an exponential function of temperature that cannot be sustained much beyond $\sim$10 AU. The heliocentric dependence of the activity thus suggests an observational test. If activity in high perihelion objects is triggered by crystallization, then no examples of activity should be found with perihelia $q >>$ 10 AU. If, on the other hand, activity is due to free sublimation of exposed supervolatile ices, or another cause, then distant activity might be detected. We obtained sensitive, high resolution Hubble Space Telescope observations of HPOs to search for activity beyond the crystallization zone. No examples of activity were detected in 53 objects with $q >$ 15 AU, consistent with the crystallization trigger hypothesis. However, sensitivity limits are such that we cannot reject the alternative hypothesis that mass loss is driven by the sublimation of supervolatile ices. We also searched for binary companions in our sample, finding none and setting an empirical 3$\sigma$ limit to the binary fraction of $<8$\%.


title: Symmetry Detection of Occluded Point Cloud Using Deep Learning

abstract: Symmetry detection has been a classical problem in computer graphics, many of which using traditional geometric methods. In recent years, however, we have witnessed the arising deep learning changed the landscape of computer graphics. In this paper, we aim to solve the symmetry detection of the occluded point cloud in a deep-learning fashion. To the best of our knowledge, we are the first to utilize deep learning to tackle such a problem. In such a deep learning framework, double supervisions: points on the symmetry plane and normal vectors are employed to help us pinpoint the symmetry plane. We conducted experiments on the YCB- video dataset and demonstrate the efficacy of our method.


title: Shuffle relations for Hodge and motivic correlators

abstract: The Hodge correlators ${\rm Cor}_{\mathcal H}(z_0,z_1,\dots,z_n)$ are functions of several complex variables, defined by Goncharov (arXiv:0803.0297) by an explicit integral formula. They satisfy some linear relations: dihedral symmetry relations, distribution relations, and shuffle relations. We found new second shuffle relations. When $z_i\in0\cup\mu_N$, where $\mu_N$ are the $N$-th roots of unity, they are expected to give almost all relations. When $z_i$ run through a finite subset $S$ of $\mathbb C$, the Hodge correlators describe the real mixed Hodge-Tate structure on the pronilpotent completion of the fundamental group $\pi_1^{\rm nil}(\mathbb{CP}^1-(S\cup\infty),v_\infty)$, a Lie algebra in the category of mixed $\mathbb Q$-Hodge-Tate structures. The Hodge correlators are lifted to canonical elements ${\rm Cor_{Hod}}(z_0,\dots,z_n)$ in the Tannakian Lie coalgebra of this category. We prove that these elements satisfy the second shuffle relations. Let $S\subset\overline{\mathbb Q}$. The pronilpotent fundamental group is the Betti realization of the motivic fundamental group, a Lie algebra in the category of mixed Tate motives over $\overline{\mathbb Q}$. The Hodge correlators are lifted to elements ${\rm Cor_{Mot}}(z_0,\dots,z_n)$ in its Tannakian Lie coalgebra $\rm Lie_{MT}^\vee$. We prove the second shuffle relations for these motivic elements. The universal enveloping algebra of $\rm Lie_{MT}^\vee$ was described by Goncharov via motivic multiple polylogarithms, which obey a similar yet different set of double shuffle relations. Motivic correlators have several advantages: they obey dihedral symmetry relations at all points, not only at roots of unity; they are defined for any curve, and the double shuffle relations admit a generalization to elliptic curves; and they describe elements of the motivic Lie coalgebra rather than its universal enveloping algebra.


title: Planet-induced Vortices with Dust Coagulation in Protoplanetary Disks

abstract: In this work, we study how the dust coagulation/fragmentation will influence the evolution and observational appearances of vortices induced by a massive planet embedded in a low viscosity disk by performing global 2D high-resolution hydrodynamical simulations. Within the vortex, due to its higher gas surface density and steeper pressure gradients, dust coagulation, fragmentation and drift (to the vortex center) are all quite efficient, producing dust particles ranging from micron to $\sim 1.0\ {\rm cm}$, as well as overall high dust-to-gas ratio (above unity). In addition, the dust size distribution is quite non-uniform inside the vortex, with the mass weighted average dust size at the vortex center ($\sim 4.0$ mm) being a factor of $\sim10$ larger than other vortex regions. Both large ($\sim$ mm) and small (tens of micron) particles contribute strongly to affect the gas motion within the vortex. As such, we find that the inclusion of dust coagulation has a significant impact on the vortex lifetime and the typical vortex lifetime is about 1000 orbits. After the initial gaseous vortex is destroyed, the dust spreads into a ring with a few remaining smaller gaseous vortices with a high dust concentration and a large maximum size ($\sim$ mm). At late time, the synthetic dust continuum images for the coagulation case show as a ring inlaid with several hot spots at 1.33 mm band, while only distinct hot spots remain at 7.0 mm.


title: Instant recovery of shape from spectrum via latent space connections

abstract: We introduce the first learning-based method for recovering shapes from Laplacian spectra. Given an auto-encoder, our model takes the form of a cycle-consistent module to map latent vectors to sequences of eigenvalues. This module provides an efficient and effective linkage between spectrum and geometry of a given shape. Our data-driven approach replaces the need for ad-hoc regularizers required by prior methods, while providing more accurate results at a fraction of the computational cost. Our learning model applies without modifications across different dimensions (2D and 3D shapes alike), representations (meshes, contours and point clouds), as well as across different shape classes, and admits arbitrary resolution of the input spectrum without affecting complexity. The increased flexibility allows us to provide a proxy to differentiable eigendecomposition and to address notoriously difficult tasks in 3D vision and geometry processing within a unified framework, including shape generation from spectrum, mesh super-resolution, shape exploration, style transfer, spectrum estimation from point clouds, segmentation transfer and point-to-point matching.


title: Error bounds for PDE-regularized learning

abstract: In this work we consider the regularization of a supervised learning problem by partial differential equations (PDEs) and derive error bounds for the obtained approximation in terms of a PDE error term and a data error term. Assuming that the target function satisfies an unknown PDE, the PDE error term quantifies how well this PDE is approximated by the auxiliary PDE used for regularization. It is shown that this error term decreases if more data is provided. The data error term quantifies the accuracy of the given data. Furthermore, the PDE-regularized learning problem is discretized by generalized Galerkin discretizations solving the associated minimization problem in subsets of the infinite dimensional functions space, which are not necessarily subspaces. For such discretizations an error bound in terms of the PDE error, the data error, and a best approximation error is derived.


title: Coordinate space representation for renormalization of quantum electrodynamics

abstract: $ $In this paper we present a systematic treatment for fundamental renormalization of quantum electrodynamics in real space. Although the standard renormalization is an old school problem in this case, it has not yet been completely done in position space. The most important difference with well-known differential renormalization is that we do the whole procedure in coordinate space without need to transformation to momentum space. Specially, we directly derive the conterterms in real space. This problem becomes important when the translational symmetry of the system breaks somehow explicitly (for example by nontrivial boundary condition (BC) on the fields). In this case, one is not able to move to momentum space by a simple Fourier transformation. Therefore, in the context of renormalized perturbation theory, by imposing the renormalization conditions, counterterms in coordinate space will depend directly on the fields BCs (or background topology). Trivial BC or trivial background lead to the usual standard conterterms. If the counterterms modify then the quantum corrections of any physical quantity are different from those in free space where we have the translational invariance. We also show that, up to order $\alpha$, our counterterms are reduced to usual standard terms derived in free space.


title: Generalized hydrodynamic limit for the box-ball system

abstract: We deduce a generalized hydrodynamic limit for the box-ball system, which explains how the densities of solitons of different sizes evolve asymptotically under Euler space-time scaling. To describe the limiting soliton flow, we introduce a continuous state-space analogue of the soliton decomposition of Ferrari, Nguyen, Rolla and Wang (cf. the original work of Takahashi and Satsuma), namely we relate the densities of solitons of given sizes in space to corresponding densities on a scale of 'effective distances', where the dynamics are linear. For smooth initial conditions, we further show that the resulting evolution of the soliton densities in space can alternatively be characterised by a partial differential equation, which naturally links the time-derivatives of the soliton densities and the 'effective speeds' of solitons locally.


title: Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups

abstract: Given a finite modular tensor category, we associate with each compact surface with boundary a cochain complex in such a way that the mapping class group of the surface acts projectively on its cohomology groups. In degree zero, this action coincides with the known projective action of the mapping class group on the space of chiral conformal blocks. In the case that the surface is a torus and the category is the representation category of a factorizable ribbon Hopf algebra, we recover our previous result on the projective action of the modular group on the Hochschild cohomology groups of the Hopf algebra.

categories: math.QA math-ph math.GT math.MP math.RA math.RT


title: Cosmological signatures of torsion and how to distinguish torsion from the dark sector

abstract: Torsion is a non-Riemannian geometrical extension of general relativity that allows including the spin of matter and the twisting of spacetime. Cosmological models with torsion have been considered in the literature to solve problems of either the very early (high redshift $z$) or the present-day Universe. This paper focuses on distinguishable observational signatures of torsion that could not be otherwise explained with a scalar field in pseudo-Riemannian geometry. We show that when torsion is present, the cosmic duality relation between the angular diameter distance, $D_{\mathrm A}$, and the luminosity distance, $D_{\mathrm L}$, is broken. We show how the deviation described by the parameter $\eta = D_{\mathrm L}/[ D_{\mathrm A}(1+z)^2] -1 $ is linked to torsion and how different forms of torsion lead to special-case parametrisations of $\eta$, including $\eta_0 z$, $\eta_0 z/(1+z)$, and $\eta_0 \ln (1+z)$. We also show that the effects of torsion could be visible in low-redshift data, inducing biases in supernovae-based $H_0$ measurements. We also show that torsion can impact the Clarkson-Bassett-Lu (CBL) function ${\cal C}(z) = 1 + H^2 (D D'' - D'^2) + H H' D D'$, where $D$ is the transverse comoving distance. If $D$ is inferred from the luminosity distance, then, in general non-zero torsion models, ${\cal C}(z) \ne 0$. For pseudo-Riemannian geometry, the Friedmann-Lemaitre-Robertson-Walker (FLRW) metric has ${\cal C}(z) \equiv 0$; thus, measurement of the CBL function could provide another diagnostic of torsion.


title: Boundary Guidance Hierarchical Network for Real-Time Tongue Segmentation

abstract: Automated tongue image segmentation in tongue images is a challenging task for two reasons: 1) there are many pathological details on the tongue surface, which affect the extraction of the boundary; 2) the shapes of the tongues captured from various persons (with different diseases) are quite different. To deal with the challenge, a novel end-to-end Boundary Guidance Hierarchical Network (BGHNet) with a new hybrid loss is proposed in this paper. In the new approach, firstly Context Feature Encoder Module (CFEM) is built upon the bottomup pathway to confront with the shrinkage of the receptive field. Secondly, a novel hierarchical recurrent feature fusion module (HRFFM) is adopt to progressively and hierarchically refine object maps to recover image details by integrating local context information. Finally, the proposed hybrid loss in a four hierarchy-pixel, patch, map and boundary guides the network to effectively segment the tongue regions and accurate tongue boundaries. BGHNet is applied to a set of tongue images. The experimental results suggest that the proposed approach can achieve the latest tongue segmentation performance. And in the meantime, the lightweight network contains only 15.45M parameters and performs only 11.22GFLOPS.


title: Ethics in the digital era

abstract: Ethics is an ancient matter for human kind, from the origin of civilizations ethics have been related with the most relevant human concerns and determined cultures. Ethics was initially related to religion, politics and philosophy to then be fragmented into specific communities of practice. The undergoing digital revolution enabled by Artificial Intelligence and Data are bringing ethical wicked problems in the social application of these technologies. However, a broader perspective is also necessary. We now face global and highly dynamics challenges that affect groups and individuals, specially those that are most vulnerable. Individual-oriented ethics are no longer sufficient, the new ethic has to consider the several scales in which the current complex society is organized and the interconnections between different systems. Ethics should also give a response to the systemic changes in behavior produced by external factors and threats. Furthermore, AI and digital technologies are global and make us more connected and smart but also more homogeneous, predictable and ultimately controllable. Ethic must take a stand to preserve and keep promoting individuals rights and uniqueness and cultural heterogeneity. Digital technologies have to the foundation for new models of society and help ensure ethical individual and collective values. For these reasons science has to be at the core of the new ethic as it helps understand the complex world. Finally, AI has advanced through the ambition to humanize matter, so we should expect ethics to give a response to the future status of machines and their interactions with humans.


title: Nonlinear eigenvalue problems for coupled Helmholtz equations modeling gradient-index graphene waveguides

abstract: We discuss a quartic eigenvalue problem arising in the context of an optical waveguiding problem involving atomically thick 2D materials. The waveguide configuration we consider consists of a gradient-index (spatially dependent) dielectric equipped with conducting interior interfaces. This leads to a quartic eigenvalue problem with mixed transverse electric and transverse magnetic modes, and strongly coupled electric and magnetic fields. We derive a weak formulation of the quartic eigenvalue problem and introduce a numerical solver based on a quadratification approach in which the quartic eigenvalue problem is transformed to a spectrally equivalent companion problem. We verify our numerical framework against analytical solutions for prototypical geometries. As a practical example, we demonstrate how an improved quality factor (defined by the ratio of the real and the imaginary part of the computed eigenvalues) can be obtained for a family of gradient-index host materials with internal conducting interfaces. We outline how this result lays the groundwork for solving related shape optimization problems.


title: Sparsity promoting hybrid solvers for hierarchical Bayesian inverse problems

abstract: The recovery of sparse generative models from few noisy measurements is an important and challenging problem. Many deterministic algorithms rely on some form of $\ell_1$-$\ell_2$ minimization to combine the computational convenience of the $\ell_2$ penalty and the sparsity promotion of the $\ell_1$. It was recently shown within the Bayesian framework that sparsity promotion and computational efficiency can be attained with hierarchical models with conditionally Gaussian priors and gamma hyperpriors. The related Gibbs energy function is a convex functional and its minimizer, which is the MAP estimate of the posterior, can be computed efficiently with the globally convergent Iterated Alternating Sequential (IAS) algorithm \cite{CSS}. Generalization of the hyperpriors for these sparsity promoting hierarchical models to generalized gamma family yield either globally convex Gibbs energy functionals, or can exhibit local convexity for some choices for the hyperparameters. \cite{CPrSS}. The main problem in computing the MAP solution for greedy hyperpriors that strongly promote sparsity is the presence of local minima. To overcome the premature stopping at a spurious local minimizer, we propose two hybrid algorithms that first exploit the global convergence associated with gamma hyperpriors to arrive in a neighborhood of the unique minimizer, then adopt a generalized gamma hyperprior that promote sparsity more strongly. The performance of the two algorithms is illustrated with computed examples.


title: Frequency-Domain Quantum Interference with Correlated Photons from an Integrated Microresonator

abstract: Frequency encoding of quantum information together with fiber and integrated photonic technologies can significantly reduce the complexity and resource requirements for realizing all-photonic quantum networks. The key challenge for such frequency domain processing of single photons is to realize coherent and selective interactions between quantum optical fields of different frequencies over a range of bandwidths. Here, we report frequency-domain Hong-Ou-Mandel interference with spectrally distinct photons generated from a chip-based microresonator. We use four-wave mixing to implement an active frequency beam-splitter and achieve interference visibilities of $0.95 \pm 0.02$. Our work establishes four-wave mixing as a tool for selective high-fidelity two-photon operations in the frequency domain which, combined with integrated single-photon sources, provides a building block for frequency-multiplexed photonic quantum networks.


title: Towards Causality-Aware Inferring: A Sequential Discriminative Approach for Medical Diagnosis

abstract: Medical diagnosis assistant (MDA) aims to build an interactive diagnostic agent to sequentially inquire about symptoms for discriminating diseases. However, since the dialogue records used to build a patient simulator are collected passively, the data might be deteriorated by some task-unrelated biases, such as the preference of the collectors. These biases might hinder the diagnostic agent to capture transportable knowledge from the simulator. This work attempts to address these critical issues in MDA by taking advantage of the causal diagram to identify and resolve two representative non-causal biases, i.e., (i) default-answer bias and (ii) distributional inquiry bias. Specifically, Bias (i) originates from the patient simulator which tries to answer the unrecorded inquiries with some biased default answers. Consequently, the diagnostic agents cannot fully demonstrate their advantages due to the biased answers. To eliminate this bias and inspired by the propensity score matching technique with causal diagram, we propose a propensity-based patient simulator to effectively answer unrecorded inquiry by drawing knowledge from the other records; Bias (ii) inherently comes along with the passively collected data, and is one of the key obstacles for training the agent towards "learning how" rather than "remembering what". For example, within the distribution of training data, if a symptom is highly coupled with a certain disease, the agent might learn to only inquire about that symptom to discriminate that disease, thus might not generalize to the out-of-distribution cases. To this end, we propose a progressive assurance agent, which includes the dual processes accounting for symptom inquiry and disease diagnosis respectively. The inquiry process is driven by the diagnosis process in a top-down manner to inquire about symptoms for enhancing diagnostic confidence.


title: An End-to-End Geometric Deficiency Elimination Algorithm for 3D Meshes

abstract: The 3D mesh is an important representation of geometric data. In the generation of mesh data, geometric deficiencies (e.g., duplicate elements, degenerate faces, isolated vertices, self-intersection, and inner faces) are unavoidable and may violate the topology structure of an object. In this paper, we propose an effective and efficient geometric deficiency elimination algorithm for 3D meshes. Specifically, duplicate elements can be eliminated by assessing the occurrence times of vertices or faces; degenerate faces can be removed according to the outer product of two edges; since isolated vertices do not appear in any face vertices, they can be deleted directly; self-intersecting faces are detected using an AABB tree and remeshed afterward; by simulating whether multiple random rays that shoot from a face can reach infinity, we can judge whether the surface is an inner face, then decide to delete it or not. Experiments on ModelNet40 dataset illustrate that our method can eliminate the deficiencies of the 3D mesh thoroughly.


title: The p-AAA algorithm for data driven modeling of parametric dynamical systems

abstract: The AAA algorithm has become a popular tool for data-driven rational approximation of single variable functions, such as transfer functions of a linear dynamical system. In the setting of parametric dynamical systems appearing in many prominent applications, the underlying (transfer) function to be modeled is a multivariate function. With this in mind, we develop the AAA framework for approximating multivariate functions where the approximant is constructed in the multivariate barycentric form. The method is data-driven, in the sense that it does not require access to full state-space model and requires only function evaluations. We discuss an extension to the case of matrix-valued functions, i.e., multi-input/multi-output dynamical systems, and provide a connection to the tangential interpolation theory. Several numerical examples illustrate the effectiveness of the proposed approach.


title: OccuSeg: Occupancy-aware 3D Instance Segmentation

abstract: 3D instance segmentation, with a variety of applications in robotics and augmented reality, is in large demands these days. Unlike 2D images that are projective observations of the environment, 3D models provide metric reconstruction of the scenes without occlusion or scale ambiguity. In this paper, we define "3D occupancy size", as the number of voxels occupied by each instance. It owns advantages of robustness in prediction, on which basis, OccuSeg, an occupancy-aware 3D instance segmentation scheme is proposed. Our multi-task learning produces both occupancy signal and embedding representations, where the training of spatial and feature embeddings varies with their difference in scale-aware. Our clustering scheme benefits from the reliable comparison between the predicted occupancy size and the clustered occupancy size, which encourages hard samples being correctly clustered and avoids over segmentation. The proposed approach achieves state-of-the-art performance on 3 real-world datasets, i.e. ScanNetV2, S3DIS and SceneNN, while maintaining high efficiency.


title: Bicategories for TQFTs with Defects with Structure

abstract: We provide a description of adequate categorical data to give a Turaev-Viro type state-sum construct of invariants of 3-manifolds with a system of defects, generalizing the Dijkgraaf-Witten type invariants of our earlier work. We term the defects in our construction defects-with-structure because algebraic data associated to them is in general richer than a module category over the spherical fusion category from which the theory is constructed when no defect is present.


title: Measures of 62 Southern Pairs

abstract: We report lucky imaging observations of 62 pairs at mid-southern declinations sourced from the WDS with separations larger than 4 arc seconds and magnitude less than 10. The measures comprise separations and PA calibrated against Alpha Centauri AB and drift scans, presented as weighted means of these two calibration methods, with formal internal uncertainties \delta\rho = 80 mas and \delta PA = 0.056(deg). We also compare our measures against 1) extrapolated historic measures, 2) GAIA DR2 data and 3) measures determined from HIPPARCOS and GAIA observations. Our best estimate of our bias against these 3 databases are \rho \approx 10 \pm 30 mas and PA \approx 0.04 \pm 0.08(deg). These formal uncertainties are consistent with the internal uncertainties of \delta\rho = 80 mas and \delta PA = 0.056(deg). We also report Rectilinear Elements for 61 pairs, Grade 5 Orbital Elements for 5 pairs and suggest 5 pairs as optical doubles (4 of which are new).


title: Perfect modules with Betti numbers $(2,6,5,1)$

abstract: In 2018 Celikbas, Laxmi, Kra\'skiewicz, and Weyman exhibited an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two with trivial multiplication on the Tor algebra. All previously known perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two had been found by Brown in 1987. Brown's ideals all have non-trivial multiplication on the Tor algebra. We prove that all of the ideals of Brown are obtained from the ideals of Celikbas, Laxmi, Kra\'skiewicz, and Weyman by (non-homogeneous) specialization. We also prove that both families of ideals, when built using power series variables over a field, define rigid algebras in the sense of Lichtenbaum and Schlessinger.


title: Using Data Assimilation of Mechanistic Models to Estimate Glucose and Insulin Metabolism

abstract: Motivation: There is a growing need to integrate mechanistic models of biological processes with computational methods in healthcare in order to improve prediction. We apply data assimilation in the context of Type 2 diabetes to understand parameters associated with the disease. Results: The data assimilation method captures how well patients improve glucose tolerance after their surgery. Data assimilation has the potential to improve phenotyping in Type 2 diabetes.


title: Coincidence of the upper Vietoris topology and the Scott topology

abstract: For a $T_0$ space $X$, let $\mk (X)$ be the poset of all compact saturated sets of $X$ with the reverse inclusion order. The space $X$ is said to have property Q if for any $K_1, K_2\in \mk (X)$, $K_2\ll K_1$ in $\mk (X)$ if{}f $K_2\subseteq \ii~\!K_1$. In this paper, we give several connections among the well-filteredness of $X$, the sobriety of $X$, the local compactness of $X$, the core compactness of $X$, the property Q of $X$, the coincidence of the upper Vietoris topology and Scott topology on $\mk (X)$, and the continuity of $x\mapsto\ua x : X \longrightarrow \Sigma~\!\! \mk (X)$ (where $\Sigma~\!\! \mk (X)$ is the Scott space of $\mk (X)$). It is shown that for a well-filtered space $X$ for which its Smyth power space $P_S(X)$ is first-countable, the following three properties are equivalent: the local compactness of $X$, the core compactness of $X$ and the continuity of $\mk (X)$. It is also proved that for a first-countable $T_0$ space $X$ in which the set of minimal elements of $K$ is countable for any compact saturated subset $K$ of $X$, the Smyth power space $P_S(X)$ is first-countable. For the Alexandroff double circle $Y$, which is Hausdorff and first-countable, we show that its Smyth power space $P_S(Y)$ is not first-countable.


title: Detecting Load Redistribution Attacks via Support Vector Models

abstract: A machine learning-based detection framework is proposed to detect a class of cyber-attacks that redistribute loads by modifying measurements. The detection framework consists of a multi-output support vector regression (SVR) load predictor that predicts loads by exploiting both spatial and temporal correlations, and a subsequent support vector machine (SVM) attack detector to determine the existence of load redistribution (LR) attacks utilizing loads predicted by the SVR predictor. Historical load data for training the SVR are obtained from the publicly available PJM zonal loads and are mapped to the IEEE 30-bus system. The SVM is trained using normal data and randomly created LR attacks, and is tested against both random and intelligently designed LR attacks. The results show that the proposed detection framework can effectively detect LR attacks. Moreover, attack mitigation can be achieved by using the SVR predicted loads to re-dispatch generations.


title: Enhanced longevity of the spin helix in low-symmetry quantum wells

abstract: In a semiconductor, collective excitations of spin textures usually decay rather fast due to D'yakonov-Perel' spin relaxation. The latter arises from spin-orbit coupling, which induces wave-vector-dependent spin rotations that, in conjunction with random disorder scattering, generate spin decoherence. However, symmetries occurring under certain conditions can prevent the relaxation of particular homogeneous and inhomogeneous spin textures. The inhomogeneous spin texture, termed as persistent spin helix, is especially appealing as it enables us to manipulate the spin orientation while retaining a long spin lifetime. Recently, it was predicted that such symmetries can be realized in zinc-blende two-dimensional electron gases if at least two growth-direction Miller indices agree in modulus and the coefficients of the Rashba and linear Dresselhaus spin-orbit couplings are suitably matched [PRL 117, 236801 (2016)]. In the present paper, we systematically analyze the impact of the symmetry-breaking cubic Dresselhaus spin-orbit coupling, which generically coexists in these systems, on the stability of the emerging spin helices with respect to the growth direction. We find that, as an interplay between orientation and strength of the effective magnetic field induced by the cubic Dresselhaus terms, the spin relaxation is weakest for a low-symmetry growth direction that can be well approximated by a [225] lattice vector. These quantum wells yield a 30\% spin-helix lifetime enhancement compared to [001]-oriented electron gases and, remarkably, require a negligible Rashba coefficient. The rotation axis of the corresponding spin helix is only slightly tilted out of the quantum-well plane. This makes the experimental study of the spin-helix dynamics readily accessible for conventional optical spin orientation measurements where spins are excited and detected along the quantum-well growth direction.


title: Relaxation time for the alignment between the spin of a finite-mass quark/antiquark and the thermal vorticity in relativistic heavy-ion collisions

abstract: We study the relaxation time required for the alignment between the spin of a finite-mass quark/antiquark and the thermal vorticity, at finite temperature and baryon chemical potential, in the context of relativistic heavy-ion collisions. The relaxation time is computed as the inverse of the total reaction rate that in turn is obtained from the imaginary part of the quark/antiquark self-energy. We model the interaction between spin and thermal vorticity within the medium by means of a vertex coupling quarks and thermal gluons that, for a uniform temperature, is proportional to the global angular velocity and inversely proportional to the temperature. We use realistic estimates for the angular velocities for different collision energies and show that the effect of the quark mass is to reduce the relaxation times as compared to the massless quark case. Using these relaxation times we estimate the intrinsic quark and antiquark polarizations produced by the thermal vorticity. We conclude by pointing out that, in spite of the former being larger than the latter, it is still possible to understand recent results from the STAR Beam Energy Scan when accounting for the fact that only a portion of quarks/antiquarks come from the denser and thus thermalized region in the collision.


title: On $p$-class groups of relative cyclic $p$-extensions

abstract: We prove a general stability theorem for $p$-class groups of number fields along relative cyclic extensions of degree $p^2$, which is a generalization of a finite-extension version of Fukuda's theorem by Li, Ouyang, Xu and Zhang. As an application, we give an example of pseudo-null Iwasawa module over a certain $2$-adic Lie extension.


title: Trinomials, singular moduli and Riffaut's conjecture

abstract: Riffaut (2019) conjectured that a singular modulus of degree $h\ge 3$ cannot be a root of a trinomial with rational coefficients. We show that this conjecture follows from the GRH, and obtain partial unconditional results.


title: Toric Fano manifolds of dimension at most eight with positive second Chern characters

abstract: We show that any toric Fano manifold of dimension at most eight with the positive second Chern character is isomorphic to the projective space by using polymake.


title: Interpreting and Stabilizing Machine-learning Parametrizations of Convection

abstract: Neural networks are a promising technique for parameterizing sub-grid-scale physics (e.g. moist atmospheric convection) in coarse-resolution climate models, but their lack of interpretability and reliability prevents widespread adoption. For instance, it is not fully understood why neural network parameterizations often cause dramatic instability when coupled to atmospheric fluid dynamics. This paper introduces tools for interpreting their behavior that are customized to the parameterization task. First, we assess the nonlinear sensitivity of a neural network to lower-tropospheric stability and the mid-tropospheric moisture, two widely-studied controls of moist convection. Second, we couple the linearized response functions of these neural networks to simplified gravity-wave dynamics, and analytically diagnose the corresponding phase speeds, growth rates, wavelengths, and spatial structures. To demonstrate their versatility, these techniques are tested on two sets of neural networks, one trained with a super-parametrized version of the Community Atmosphere Model (SPCAM) and the second with a near-global cloud-resolving model (GCRM). Even though the SPCAM simulation has a warmer climate than the cloud-resolving model, both neural networks predict stronger heating/drying in moist and unstable environments, which is consistent with observations. Moreover, the spectral analysis can predict that instability occurs when GCMs are coupled to networks that support gravity waves that are unstable and have phase speeds larger than 5 m/s. In contrast, standing unstable modes do not cause catastrophic instability. Using these tools, differences between the SPCAM- vs. GCRM- trained neural networks are analyzed, and strategies to incrementally improve both of their coupled online performance unveiled.


title: Scalar clockwork and flavor neutrino mass matrix

abstract: We study the capability of generating correct flavor neutrino mass matrix in a scalar clockwork model. First, we assume that the flavor structure is controlled by the Yukawa couplings as same as the standard model. In this case, the correct flavor neutrino mass matrix could be obtained by appropriate Yukawa couplings $Y_{\ell^\prime\ell}$ where $\ell^\prime, \ell = e, \mu, \tau$. Next, we assume that the Yukawa couplings are extremely democratic $|Y_{\ell^\prime\ell} |=1$. In this case, the model parameters of the scalar clockwork sector, such as the site number of a clockwork gear in a clockwork chain, should have the flavor indices $\ell^\prime$ and/or $\ell$ to generate correct flavor neutrino mass matrix. We show some examples of the assignments of the flavor indices which can yield the correct flavor neutrino mass matrix.


title: Hybrid Cryptocurrency Pump and Dump Detection

abstract: Increasingly growing Cryptocurrency markets have become a hive for scammers to run pump and dump schemes which is considered as an anomalous activity in exchange markets. Anomaly detection in time series is challenging since existing methods are not sufficient to detect the anomalies in all contexts. In this paper, we propose a novel hybrid pump and dump detection method based on distance and density metrics. First, we propose a novel automatic thresh-old setting method for distance-based anomaly detection. Second, we propose a novel metric called density score for density-based anomaly detection. Finally, we exploit the combination of density and distance metrics successfully as a hybrid approach. Our experiments show that, the proposed hybrid approach is reliable to detect the majority of alleged P & D activities in top ranked exchange pairs by outperforming both density-based and distance-based methods.


title: Generic Superlight Client for Permissionless Blockchains

abstract: We conduct a systematic study on the light client of permissionless blockchains, in the setting where the full nodes and the light clients are rational. Under such a game-theoretic model, we design a superlight-client protocol to enable a client to employ some relaying full nodes (e.g. two or one) to read the blockchain. The protocol is "generic", i.e., it can be deployed disregarding the underlying consensuses, and also "superlight", i.e., the computational cost of the light client to predicate the (non)existence of a transaction in the blockchain becomes a small constant. Since our protocol resolves a fundamental challenge of broadening the usage of blockchain technology, it captures a wide variety of important use-cases such as multi-chain wallets, DApp browsers and more.


title: Topological phase transition in layered magnetic compound MnSb2Te4: Spin-orbit coupling and interlayer coupling dependeces

abstract: Based on the first-principles calculations and theoretical analysis, we investigate the electronic structures, topological phase transition (TPT) and topological properties of layered magnetic compound MnSb2Te4. It has the similar crystal and magnetic structure as the magnetic topological insulator MnBi2Te4. We find that when the spin-orbit coupling (SOC) is considered, the band structure of MnSb2Te4 in antiferromagnetic (AFM) state has no band inversion at {\Gamma}. This is due to the SOC strength of Sb is less than that of Bi. The band inversion can be realized by increasing the SOC of Sb by 0.3 times, which drives MnSb2Te4 from a trivial AFM insulator to an AFM topological insulator (TI) or axion insulator. Uniaxial compressive strain along the layer stacking direction is another way to control the band inversion. The interlayer distance shorten by 5% is needed to drive the similar TPT. For the ferromagnetic (FM) MnSb2Te4 with experimental crystal structure, it is a normal FM insulator. The band inversion can happen when SOC is enhanced by 0.1 times or the interlayer distance is decreased by more than 1%. Thus, FM MnSb2Te4 can be tuned to be the simplest type-I Weyl semimetal with only one pair of Weyl nodes on the three-fold rotational axis. These two Weyl nodes are projected onto (1-10) surface with one Fermi arc connecting them.


title: A random-batch Monte Carlo method for many-body systems with singular kernels

abstract: We propose a fast potential splitting Markov Chain Monte Carlo method which costs $O(1)$ time each step for sampling from equilibrium distributions (Gibbs measures) corresponding to particle systems with singular interacting kernels. We decompose the interacting potential into two parts, one is of long range but is smooth, and the other one is of short range but may be singular. To displace a particle, we first evolve a selected particle using the stochastic differential equation (SDE) under the smooth part with the idea of random batches, as commonly used in stochastic gradient Langevin dynamics. Then, we use the short range part to do a Metropolis rejection. Different from the classical Langevin dynamics, we only run the SDE dynamics with random batch for a short duration of time so that the cost in the first step is $O(p)$, where $p$ is the batch size. The cost of the rejection step is $O(1)$ since the interaction used is of short range. We justify the proposed random-batch Monte Carlo method, which combines the random batch and splitting strategies, both in theory and with numerical experiments. While giving comparable results for typical examples of the Dyson Brownian motion and Lennard-Jones fluids, our method can save more time when compared to the classical Metropolis-Hastings algorithm.


title: Dynamic Divide-and-Conquer Adversarial Training for Robust Semantic Segmentation

abstract: Adversarial training is promising for improving robustness of deep neural networks towards adversarial perturbations, especially on the classification task. The effect of this type of training on semantic segmentation, contrarily, just commences. We make the initial attempt to explore the defense strategy on semantic segmentation by formulating a general adversarial training procedure that can perform decently on both adversarial and clean samples. We propose a dynamic divide-and-conquer adversarial training (DDC-AT) strategy to enhance the defense effect, by setting additional branches in the target model during training, and dealing with pixels with diverse properties towards adversarial perturbation. Our dynamical division mechanism divides pixels into multiple branches automatically. Note all these additional branches can be abandoned during inference and thus leave no extra parameter and computation cost. Extensive experiments with various segmentation models are conducted on PASCAL VOC 2012 and Cityscapes datasets, in which DDC-AT yields satisfying performance under both white- and black-box attack.


title: Radio-Frequency-to-Optical Conversion using Acoustic and Optical Whispering Gallery Modes

abstract: Whispering gallery modes (WGMs), circulating modes near the surface of a spheroidal material, have been known to exhibit high quality factors for both acoustic and electromagnetic waves. Here, we report an electro-optomechanical system, where the overlapping WGMs of acoustic and optical waves along the equator of a dielectric sphere strongly couple to each other. The triple-resonance phase-matching condition provides a large enhancement of the Brillouin scattering only in a single sideband, and conversion from the input radio-frequency signal exciting the acoustic mode to the output optical signal is observed.


title: Quantum cryptography: Public key distribution and coin tossing

abstract: When elementary quantum systems, such as polarized photons, are used to transmit digital information, the uncertainty principle gives rise to novel cryptographic phenomena unachievable with traditional transmission media, e.g. a communications channel on which it is impossible in principle to eavesdrop without a high probability of disturbing the transmission in such a way as to be detected. Such a quantum channel can be used in conjunction with ordinary insecure classical channels to distribute random key information between two users with the assurance that it remains unknown to anyone else, even when the users share no secret information initially. We also present a protocol for coin-tossing by exchange of quantum messages, which is secure against traditional kinds of cheating, even by an opponent with unlimited computing power, but ironically can be subverted by use of a still subtler quantum phenomenon, the Einstein-Podolsky-Rosen paradox.


title: Electro-osmotic properties of porous permeable films

abstract: Permeable porous coatings on a flat solid support significantly impact its electrostatic and electrokinetic properties. Existing work has focused on simplified cases, such as weakly charged and/or thick porous films, with limited theoretical guidance. Here, we consider the general case of coatings of any given volume charge density and obtain analytic formulas for electrostatic potential profiles, valid for any film thickness and salt concentration. They allow us to calculate analytically the difference between potentials at solid support and at interface with an outer electrolyte, that is the key parameter ascertaining the functionality of permeable coatings. Our analysis provides a framework for interpreting and predicting specific for porous films super-properties, from an enhanced ion absorption to a giant amplification of electro-osmotic flows. The results are relevant for hydrogel and zeolite coatings, porous carbon and ion-exchange resins, polyelectrolyte brushes, and more.


title: Minimum-Norm Adversarial Examples on KNN and KNN-Based Models

abstract: We study the robustness against adversarial examples of kNN classifiers and classifiers that combine kNN with neural networks. The main difficulty lies in the fact that finding an optimal attack on kNN is intractable for typical datasets. In this work, we propose a gradient-based attack on kNN and kNN-based defenses, inspired by the previous work by Sitawarin & Wagner [1]. We demonstrate that our attack outperforms their method on all of the models we tested with only a minimal increase in the computation time. The attack also beats the state-of-the-art attack [2] on kNN when k > 1 using less than 1% of its running time. We hope that this attack can be used as a new baseline for evaluating the robustness of kNN and its variants.


title: Evaluating Logical Generalization in Graph Neural Networks

abstract: Recent research has highlighted the role of relational inductive biases in building learning agents that can generalize and reason in a compositional manner. However, while relational learning algorithms such as graph neural networks (GNNs) show promise, we do not understand how effectively these approaches can adapt to new tasks. In this work, we study the task of logical generalization using GNNs by designing a benchmark suite grounded in first-order logic. Our benchmark suite, GraphLog, requires that learning algorithms perform rule induction in different synthetic logics, represented as knowledge graphs. GraphLog consists of relation prediction tasks on 57 distinct logical domains. We use GraphLog to evaluate GNNs in three different setups: single-task supervised learning, multi-task pretraining, and continual learning. Unlike previous benchmarks, our approach allows us to precisely control the logical relationship between the different tasks. We find that the ability for models to generalize and adapt is strongly determined by the diversity of the logical rules they encounter during training, and our results highlight new challenges for the design of GNN models. We publicly release the dataset and code used to generate and interact with the dataset at https://www.cs.mcgill.ca/~ksinha4/graphlog.


title: Semantically-Enriched Search Engine for Geoportals: A Case Study with ArcGIS Online

abstract: Many geoportals such as ArcGIS Online are established with the goal of improving geospatial data reusability and achieving intelligent knowledge discovery. However, according to previous research, most of the existing geoportals adopt Lucene-based techniques to achieve their core search functionality, which has a limited ability to capture the user's search intentions. To better understand a user's search intention, query expansion can be used to enrich the user's query by adding semantically similar terms. In the context of geoportals and geographic information retrieval, we advocate the idea of semantically enriching a user's query from both geospatial and thematic perspectives. In the geospatial aspect, we propose to enrich a query by using both place partonomy and distance decay. In terms of the thematic aspect, concept expansion and embedding-based document similarity are used to infer the implicit information hidden in a user's query. This semantic query expansion 1 2 G. Mai et al. framework is implemented as a semantically-enriched search engine using ArcGIS Online as a case study. A benchmark dataset is constructed to evaluate the proposed framework. Our evaluation results show that the proposed semantic query expansion framework is very effective in capturing a user's search intention and significantly outperforms a well-established baseline-Lucene's practical scoring function-with more than 3.0 increments in DCG@K (K=3,5,10).


title: Simultaneous Downlink Data Transmission and Uplink Channel Estimation with Reduced Complexity Full Duplex MIMO Radios

abstract: In this paper, we study Full Duplex (FD) Multiple-Input Multiple-Output (MIMO) radios for simultaneous data communication and control information exchange. Capitalizing on a recently proposed FD MIMO architecture combining digital transmit and receive beamforming with reduced complexity multi-tap analog Self-Interference (SI) cancellation, we propose a novel transmission scheme exploiting channel reciprocity for joint downlink beamformed information data communication and uplink channel estimation through training data transmission. We adopt a general model for pilot-assisted channel estimation and present a unified optimization framework for all involved FD MIMO design parameters. Our representative Monte Carlo simulation results for an example algorithmic solution for the beamformers as well as for the analog and digital SI cancellation demonstrate that the proposed FD-based joint communication and control scheme provides 1.4x the downlink rate of its half duplex counterpart. This performance improvement is achieved with 50% reduction in the hardware complexity for the analog canceller than conventional FD MIMO architectures with fully connected analog cancellation.


title: Complementary lateral-spin-orbit building blocks for programmable logic and in-memory computing

abstract: Current-driven switching of nonvolatile spintronic materials and devices based on spin-orbit torques offer fast data processing speed, low power consumption, and unlimited endurance for future information processing applications. Analogous to conventional CMOS technology, it is important to develop a pair of complementary spin-orbit devices with differentiated magnetization switching senses as elementary building blocks for realizing sophisticated logic functionalities. Various attempts using external magnetic field or complicated stack/circuit designs have been proposed, however, plainer and more feasible approaches are still strongly desired. Here we show that a pair of two locally laser annealed perpendicular Pt/Co/Pt devices with opposite laser track configurations and thereby inverse field-free lateral spin-orbit torques (LSOTs) induced switching senses can be adopted as such complementary spin-orbit building blocks. By electrically programming the initial magnetization states (spin down/up) of each sample, four Boolean logic gates of AND, OR, NAND and NOR, as well as a spin-orbit half adder containing an XOR gate, were obtained. Moreover, various initialization-free, working current intensity-programmable stateful logic operations, including the material implication (IMP) gate, were also demonstrated by regarding the magnetization state as a logic input. Our complementary LSOT building blocks provide an applicable way towards future efficient spin logics and in-memory computing architectures.


title: Latency-Minimized Design of Secure Transmissions in UAV-Aided Communications

abstract: Unmanned aerial vehicles (UAVs) can be utilized as aerial base stations to provide communication service for remote mobile users due to their high mobility and flexible deployment. However, the line-of-sight (LoS) wireless links are vulnerable to be intercepted by the eavesdropper (Eve), which presents a major challenge for UAV-aided communications. In this paper, we propose a latency-minimized transmission scheme for satisfying legitimate users' (LUs') content requests securely against Eve. By leveraging physical-layer security (PLS) techniques, we formulate a transmission latency minimization problem by jointly optimizing the UAV trajectory and user association. The resulting problem is a mixed-integer nonlinear program (MINLP), which is known to be NP hard. Furthermore, the dimension of optimization variables is indeterminate, which again makes our problem very challenging. To efficiently address this, we utilize bisection to search for the minimum transmission delay and introduce a variational penalty method to address the associated subproblem via an inexact block coordinate descent approach. Moreover, we present a characterization for the optimal solution. Simulation results are provided to demonstrate the superior performance of the proposed design.


title: On Horizontal Immersions of Discs in Fat Distributions of Type $(4,6)$

abstract: In this article we discuss horizontal immersions of discs in certain corank-$2$ fat distributions on $6$-dimensional manifolds. The underlying real distribution of a holomorphic contact distribution on a complex $3$ manifold belongs to this class. The main result presented here says that the associated nonlinear PDE is locally invertible. Using this we prove the existence of germs of embedded horizontal discs.


title: On the benefits of defining vicinal distributions in latent space

abstract: The vicinal risk minimization (VRM) principle is an empirical risk minimization (ERM) variant that replaces Dirac masses with vicinal functions. There is strong numerical and theoretical evidence showing that VRM outperforms ERM in terms of generalization if appropriate vicinal functions are chosen. Mixup Training (MT), a popular choice of vicinal distribution, improves the generalization performance of models by introducing globally linear behavior in between training examples. Apart from generalization, recent works have shown that mixup trained models are relatively robust to input perturbations/corruptions and at the same time are calibrated better than their non-mixup counterparts. In this work, we investigate the benefits of defining these vicinal distributions like mixup in latent space of generative models rather than in input space itself. We propose a new approach - \textit{VarMixup (Variational Mixup)} - to better sample mixup images by using the latent manifold underlying the data. Our empirical studies on CIFAR-10, CIFAR-100, and Tiny-ImageNet demonstrate that models trained by performing mixup in the latent manifold learned by VAEs are inherently more robust to various input corruptions/perturbations, are significantly better calibrated, and exhibit more local-linear loss landscapes.


title: AutoSTR: Efficient Backbone Search for Scene Text Recognition

abstract: Scene text recognition (STR) is very challenging due to the diversity of text instances and the complexity of scenes. The community has paid increasing attention to boost the performance by improving the pre-processing image module, like rectification and deblurring, or the sequence translator. However, another critical module, i.e., the feature sequence extractor, has not been extensively explored. In this work, inspired by the success of neural architecture search (NAS), which can identify better architectures than human-designed ones, we propose automated STR (AutoSTR) to search data-dependent backbones to boost text recognition performance. First, we design a domain-specific search space for STR, which contains both choices on operations and constraints on the downsampling path. Then, we propose a two-step search algorithm, which decouples operations and downsampling path, for an efficient search in the given space. Experiments demonstrate that, by searching data-dependent backbones, AutoSTR can outperform the state-of-the-art approaches on standard benchmarks with much fewer FLOPS and model parameters.


title: Security Analysis of EOSIO Smart Contracts

abstract: The EOSIO blockchain, one of the representative Delegated Proof-of-Stake (DPoS) blockchain platforms, has grown rapidly recently. Meanwhile, a number of vulnerabilities and high-profile attacks against top EOSIO DApps and their smart contracts have also been discovered and observed in the wild, resulting in serious financial damages. Most of EOSIO's smart contracts are not open-sourced and they are typically compiled to WebAssembly (Wasm) bytecode, thus making it challenging to analyze and detect the presence of possible vulnerabilities. In this paper, we propose EOSAFE, the first static analysis framework that can be used to automatically detect vulnerabilities in EOSIO smart contracts at the bytecode level. Our framework includes a practical symbolic execution engine for Wasm, a customized library emulator for EOSIO smart contracts, and four heuristics-driven detectors to identify the presence of four most popular vulnerabilities in EOSIO smart contracts. Experiment results suggest that EOSAFE achieves promising results in detecting vulnerabilities, with an F1-measure of 98%. We have applied EOSAFE to all active 53,666 smart contracts in the ecosystem (as of November 15, 2019). Our results show that over 25% of the smart contracts are vulnerable. We further analyze possible exploitation attempts against these vulnerable smart contracts and identify 48 in-the-wild attacks (25 of them have been confirmed by DApp developers), resulting in financial loss of at least 1.7 million USD.


title: Poles of Non-Archimedean Zeta Functions for Non-degenerate Rational Functions

abstract: In this article, we study local zeta functions over non-Archimedean locals fields of arbitrary characteristic attached to rational functions and characters $\chi$ of the units of the ring of integers $\mathcal{O}_{K}$, by using an approach based on the multivariate $\pi$-adic stationary phase formula and Newton polyhedra. When the rational function is non-degenerate with respect to its Newton polyhedron, we give an explicit formula for the local zeta function and a list of the possible poles in terms of the normal vectors of the supporting hyperplanes of the Newton polyhedron attached to the rational function and their expected multiplicities. Furthermore, we obtain some conditions under which the local zeta function attached to the trivial character has at least one real pole by describing the largest negative real pole and the smallest positive one.


title: States of $^{12}$N with enhanced radii

abstract: The differential cross sections of the $^{12}$C($^3$He,t)$^{12}$N reaction leading to formation of the 1$^+$ (ground state), 2$^+$(0.96 MeV), 2$^{-}$(1.19 MeV), and 1$^{-}$(1.80 MeV) states of $^{12}$N are measured at $E$($^3$He)=40 MeV. The analysis of the data is carried out within the modified diffraction model (MDM) and distorted wave Born approximation (DWBA). Enhanced $rms$ radii were obtained for the ground, 2$^{-}$(1.19 MeV), and 1$^{-}$(1.80 MeV) states. We revealed that $^{12}$B, $^{12}$N, and $^{12}$C in the IAS with T=1, and spin-parities 2$^{-}$ and 1$^{-}$ have increased radii and exhibit properties of neutron and proton halo states.


title: A novel and efficient algorithm to solve subset sum problem

abstract: In this paper we suggest analytical methods and associated algorithms for determining the sum of the subsets $X_m$ of the set $X_n$ (subset sum problem). Our algorithm has time complexity $T=O(C_{n}^{k})$ ($k=[m/2]$, which significantly improves upon all known algorithms. This algorithm is applicable to all NP-complete problems. Moreover, the algorithm has memory complexity $M=O(C_n^k)$, which makes our algorithm applicable to real-world problems. At first, we show how to use the algorithm for small dimensions $m=4 ,5 ,6 ,7 ,8$. After that we establish a general methodology for $m>8$. The main idea is to split the original set $X_n$ (the algorithm becomes even faster with sorted sets) into smaller subsets and use parallel computing. This approach might be a significant breakthrough towards finding an efficient solution to $NP$-complete problems. As a result, it opens a way to prove the $P$ versus NP problem (one of the seven Millennium Prize Problems).


title: Position and spin in relativistic quantum mechanics

abstract: The problem of the position and spin in relativistic quantum mechanics is analyzed in detail. It is definitively shown that the position and spin operators in the Foldy-Wouthuysen representation (but not in the Dirac one) are quantum-mechanical counterparts of the classical position and spin variables. The probabilistic interpretation is valid only for Foldy-Wouthuysen wave functions. The relativistic spin operators are discussed. The spin-orbit interaction does not exist for a free particle if the conventional operators of the orbital angular momentum and the rest-frame spin are used. Alternative definitions of the orbital angular momentum and the spin are based on noncommutative geometry, do not satisfy standard commutation relations, and can allow the spin-orbit interaction.


title: The Magnetic Scott Correction for Relativistic Matter at Criticality

abstract: We provide a proof of the first correction to the leading asymptotics of the minimal energy of pseudo-relativistic molecules in the presence of magnetic fields, the so-called "relativistic Scott correction", when $\max{Z_k\alpha} \leq 2/\pi$, where $Z_k$ is the charge of the $k$-th nucleus and $\alpha$ is the fine structure constant. Our theorem extends a previous result by Erd\H{o}s, Fournais, and Solovej to the critical constant $2/\pi$ in the relativistic Hardy inequality $|p| - \frac{2}{\pi |x|} \geq 0$.


title: Mitigating decoherence in hot electron interferometry

abstract: Due to their high energy, hot electrons in quantum Hall edge states can be considered as single particles that have the potential to be used for quantum optics-like experiments. Unlike photons, however, electrons typically undergo scattering processes in transport, which results in a loss of coherence and limits their ability to show quantum-coherent behaviour. Here we study theoretically the decoherence mechanisms of hot electrons in a Mach-Zehnder interferometer, and highlight the role played by both acoustic and optical phonon emission. We discuss optimal choices of experimental parameters and show that high visibilities of $\gtrsim 85\%$ are achievable in hot-electron devices over relatively long distances of 10 $\mu$m. We also discuss energy filtration techniques to remove decoherent electrons and show that this can increase visibilities to over $95\%$. This represents an improvement over Fermi-level electron quantum optics, and suggests hot-electron charge pumps as a platform for realising quantum-coherent nanoelectronic devices.


title: Zero-energy modes, fractional fermion numbers and the index theorem in a vortex-Dirac fermion system

abstract: Physics of topological materials have attracted much attention from both physicists and mathematicians recently. The index and the fermion number of Dirac fermions play an important role in topological insulators and topological superconductors. A zero-energy mode exists when Dirac fermions couple to objects with soliton-like structure such as kinks, vortices, monopoles, strings and branes. We discuss a system of Dirac fermions interacting with a vortex and a kink. This kind of systems will be realized on the surface of topological insulators where Dirac fermions exist. The fermion number is fractionalized and this is related to the presence of fermion zero-energy excitation modes. A zero-energy mode can be regarded as a Majorana fermion mode when the chemical potential vanishes. Our discussion includes the case where there is a half-flux quantum vortex associated with a kink in a magnetic field in a bilayer superconductor. A normalizable wave function of fermion zero-energy mode does not exist in the core of the half-flux quantum vortex. The index of Dirac operator and the fermion number have additional contributions when a soliton scalar field has a singularity.


title: Counterfactual Samples Synthesizing for Robust Visual Question Answering

abstract: Despite Visual Question Answering (VQA) has realized impressive progress over the last few years, today's VQA models tend to capture superficial linguistic correlations in the train set and fail to generalize to the test set with different QA distributions. To reduce the language biases, several recent works introduce an auxiliary question-only model to regularize the training of targeted VQA model, and achieve dominating performance on VQA-CP. However, since the complexity of design, current methods are unable to equip the ensemble-based models with two indispensable characteristics of an ideal VQA model: 1) visual-explainable: the model should rely on the right visual regions when making decisions. 2) question-sensitive: the model should be sensitive to the linguistic variations in question. To this end, we propose a model-agnostic Counterfactual Samples Synthesizing (CSS) training scheme. The CSS generates numerous counterfactual training samples by masking critical objects in images or words in questions, and assigning different ground-truth answers. After training with the complementary samples (ie, the original and generated samples), the VQA models are forced to focus on all critical objects and words, which significantly improves both visual-explainable and question-sensitive abilities. In return, the performance of these models is further boosted. Extensive ablations have shown the effectiveness of CSS. Particularly, by building on top of the model LMH, we achieve a record-breaking performance of 58.95% on VQA-CP v2, with 6.5% gains.


title: Rotational Disruption of Nonspherical Cometary Dust Particles by Radiative Torques

abstract: Rigorous statistical numerical analysis of the response of a nonspherical dust particle ensemble composed of aggregates of astronomical silicate is presented. It is found that the rotational disruption mechanism is not only likely to occur but to be a key element in explaining many separate observations of cometary dust. Namely, radiative torques are shown to spin-up and align cometary dust within the timescales of cometary activity. Additionally, the radiative torque alignment and disruption mechanisms within certain conditions are shown to be consistent with observations of rapid polarization of dust and spectral bluing of dust. The results indicate that radiative torques should be taken into account nearly universally when considering the evolution of cometary dust.


title: Quantitative estimates for stress concentration of the Stokes flow between adjacent circular cylinders

abstract: When two inclusions with high contrast material properties are located close to each other in a homogeneous medium, stress may become arbitrarily large in the narrow region between them. In this paper, we investigate such stress concentration in the two-dimensional Stokes flow when inclusions are the two-dimensional cross sections of circular cylinders of the same radii and the background velocity field is linear. We construct two vector-valued functions which completely capture the singular behavior of the stress and derive an asymptotic representation formula for the stress in terms of these functions as the distance between the two cylinders tends to zero. We then show, using the representation formula, that the stress always blows up by proving that either the pressure or the shear stress component of the stress tensor blows up. The blow-up rate is shown to be $\delta^{-1/2}$, where $\delta$ is the distance between the two cylinders. To our best knowledge, this work is the first to rigorously derive the asymptotic solution in the narrow region for the Stokes flow.


title: New upper bounds for the crossing numbers of crossing-critical graphs

abstract: A graph $G$ is {$k$-crossing-critical} if $cr(G)\ge k$, but $cr(G\setminus e)<k$ for each edge $e\in E(G)$, where $cr(G)$ is the crossing number of $G$. It is known that for any $k$-crossing-critical graph $G$, $cr(G)\le 2.5k+16$ holds, and in particular, if $\delta(G)\ge 4$, then $cr(G)\le 2k+35$ holds, where $\delta(G)$ is the minimum degree of $G$. In this paper, we improve these upper bounds to $2.5k +2.5$ and $2k+8$ respectively. In particular, for any $k$-crossing-critical graph $G$ with $n$ vertices, if $\delta(G)\ge 5$, then $cr(G)\le 2k-\sqrt k/2n+35/6$ holds.


title: Collective dipole-dipole interactions in planar nanocavities

abstract: The collective response of an atomic ensemble is shaped by its macroscopic environment. We demonstrate this effect in the near-resonant transmission of light through a thermal rubidium vapor confined in a planar nanocavity. Our model reveals density-dependent line shifts and broadenings beyond continuous electrodynamics models that oscillate with cavity width and have been observed in recent experiments. We predict that the amplitudes of these oscillations can be controlled by coatings that modify the cavity's Finesse.


title: Semi-supervised Disentanglement with Independent Vector Variational Autoencoders

abstract: We aim to separate the generative factors of data into two latent vectors in a variational autoencoder. One vector captures class factors relevant to target classification tasks, while the other vector captures style factors relevant to the remaining information. To learn the discrete class features, we introduce supervision using a small amount of labeled data, which can simply yet effectively reduce the effort required for hyperparameter tuning performed in existing unsupervised methods. Furthermore, we introduce a learning objective to encourage statistical independence between the vectors. We show that (i) this vector independence term exists within the result obtained on decomposing the evidence lower bound with multiple latent vectors, and (ii) encouraging such independence along with reducing the total correlation within the vectors enhances disentanglement performance. Experiments conducted on several image datasets demonstrate that the disentanglement achieved via our method can improve classification performance and generation controllability.


title: Some remarks on Hermitian manifolds satisfying K\"ahler-like conditions

abstract: We study Hermitian metrics whose Bismut connection $\nabla^B$ satisfies the first Bianchi identity in relation to the SKT condition and the parallelism of the torsion of the Bimut connection. We obtain a characterization of complex surfaces admitting Hermitian metrics whose Bismut connection satisfy the first Bianchi identity and the condition $R^B(x,y,z,w)=R^B(Jx,Jy,z,w)$, for every tangent vectors $x,y,z,w$, in terms of Vaisman metrics. These conditions, also called Bismut K\"ahler-like, have been recently studied in [D. Angella, A. Otal, L. Ugarte, R. Villacampa, On Gauduchon connections with K\"ahler-like curvature, to appear in Commun. Anal. Geom., arXiv:1809.02632 [math.DG]], [Q. Zhao, F. Zheng, Strominger connection and pluriclosed metrics, arXiv:1904.06604 [math.DG]], [S. T. Yau, Q. Zhao, F. Zheng, On Strominger K\"ahler-like manifolds with degenerate torsion, arXiv:1908.05322 [math.DG]]. Using the characterization of SKT almost abelian Lie groups in [R. M. Arroyo, R. Lafuente, The long-time behavior of the homogeneous pluriclosed flow, Proc. London Math. Soc. (3), 119, (2019), 266-289], we construct new examples of Hermitian manifolds satisfying the Bismut K\"ahler-like condition. Moreover, we prove some results in relation to the pluriclosed flow on complex surfaces and on almost abelian Lie groups. In particular, we show that, if the initial metric has constant scalar curvature, then the pluriclosed flow preserves the Vaisman condition on complex surfaces.


title: From W-Net to CDGAN: Bi-temporal Change Detection via Deep Learning Techniques

abstract: Traditional change detection methods usually follow the image differencing, change feature extraction and classification framework, and their performance is limited by such simple image domain differencing and also the hand-crafted features. Recently, the success of deep convolutional neural networks (CNNs) has widely spread across the whole field of computer vision for their powerful representation abilities. In this paper, we therefore address the remote sensing image change detection problem with deep learning techniques. We firstly propose an end-to-end dual-branch architecture, termed as the W-Net, with each branch taking as input one of the two bi-temporal images as in the traditional change detection models. In this way, CNN features with more powerful representative abilities can be obtained to boost the final detection performance. Also, W-Net performs differencing in the feature domain rather than in the traditional image domain, which greatly alleviates loss of useful information for determining the changes. Furthermore, by reformulating change detection as an image translation problem, we apply the recently popular Generative Adversarial Network (GAN) in which our W-Net serves as the Generator, leading to a new GAN architecture for change detection which we call CDGAN. To train our networks and also facilitate future research, we construct a large scale dataset by collecting images from Google Earth and provide carefully manually annotated ground truths. Experiments show that our proposed methods can provide fine-grained change detection results superior to the existing state-of-the-art baselines.


title: A Novel Bis-Coumarin Targets Multiple Tyrosine Kinases of Key Signaling Pathways in Melanoma and Inhibits Melanoma Cell Survival, Proliferation, and Migration

abstract: Melanoma is one of the most dangerous skin malignancies due to its high metastatic tendency and high mortality. Activation of key signaling pathways enforcing melanoma progression depends on phosphorylation of tyrosine kinases, and oxidative stress. We here investigated the effect of the new bis-coumarin derivative (3,5-DCPBC) on human melanoma cell survival, growth, proliferation, migration, and intracellular redox state, and deciphered associated signal pathways. This novel derivative was found to be toxic for melanoma cells, and non-toxic for their benign counterparts, melanocytes and fibroblasts. 3,5-DCPBC inhibited cell survival, migration and proliferation of different metastatic, and non-metastatic melanoma cell lines through the profound suppression of phosphorylation of the Epidermal Growth Factor receptor, and related downstream pathways. Suppression of phosphorylation of key downstream transcription factors and different tyrosine kinases comprise JAK/STAT, SRC kinases, ERK and MAP kinases (p38alpha), all involved in melanoma progression. Simultaneous and specific targeting of multiple tyrosine kinases and corresponding key genes in melanoma cells makes 3,5-DCPBC a highly interesting anti-melanoma, and anti-metastatic drug candidate which may in the long term hold promise in the therapy of advanced melanoma.


title: Unusual Intralayer Ferromagnetism Between S = 5/2 ions in MnBi$_2$Te$_4$: Role of Empty Bi $p$ States

abstract: The layered magnetic topological insulator MnBi$_2$Te$_4$ is a promising platform to realize the quantum anomalous Hall effect because its layers possess intrinsic ferromagnetism. However, it is not well understood why the high-spin $d^5$ magnetic ions Mn$^{2+}$ forming the Mn-Te-Mn spin exchange paths prefer ferromagnetic (FM) coupling, contrary to the prediction of the Goodenough-Kanamori rule that a TM-L-TM spin exchange, where TM and L are a transition-metal magnetic cation and a main group ligand, respectively, is antiferromagnetic (AFM) even when the bond angle of the exchange path is 90$^{\circ}$. Using density functional theory (DFT) calculations, we show that the presence of Bi$^{3+}$ ions is essential for the FM coupling in MnBi$_2$Te$_4$. Then, using a tight-binding model Hamiltonian, we find that high-spin $d^5$ ions (S = 5/2) in TM-L-TM spin exchange paths prefer FM coupling if the empty p-orbitals of a nonmagnetic cation M (e.g., Bi$^{3+}$ ion) hybridize strongly with those of the bridging ligand L, but AFM coupling otherwise.


title: Hunting for the host galaxy groups of binary black holes and the application in constraining Hubble constant

abstract: The discovery of gravitational-wave (GW) signals, produced by the coalescence of stellar-mass binary black holes (SBBHs), opens a new window to study the astrophysical origins and dynamical evolutions of compact binaries. In addition, these GW events can be treated as the standard sirens to constrain various cosmological parameters. Both issues require the host identification for these GW events, with help of the spatial resolution of GW detector networks. In this paper, we investigate the capabilities of various detector networks for identifying the SBBHs' host galaxy groups, rather than their host galaxies, which can overcome the influence of galaxies' proper motions in dark matter halos for measuring the cosmological parameters. In our analysis, the group catalog of SDSS DR7 with redshift $z\in(0.01,0.1)$ is considered as an example of the application. We find that for the second-generation (2G) detector network, the host galaxy groups of around $(0.7-6.9)$ SBBHs can be identified per year assuming all sources are $30-30\ M_{\odot}$ binaries, and that all five detectors in the network are in lock 100\% of the time. For the 3G detector network, this number becomes $(3.9-40.0)$ yr$^{-1}$. We also investigate the potential constraint on the Hubble constant $H_0$ by these GW events, if their redshift information is extracted from the candidates of host galaxy groups. We find that, by five-year's full time observations, 2G detector network is expected to give a constraint of $\Delta H_0/H_0\sim (1\%,4\%)$, which can be more than two order smaller if considering the 3G detector network.


title: Particle acceleration in astrophysical jets

abstract: In this chapter, we review some features of particle acceleration in astrophysical jets. We begin by describing four observational results relating to the topic, with particular emphasis on jets in active galactic nuclei and parallels between different sources. We then discuss the ways in which particles can be accelerated to high energies in magnetised plasmas, focusing mainly on shock acceleration, second-order Fermi and magnetic reconnection; in the process, we attempt to shed some light on the basic conditions that must be met by any mechanism for the various observational constraints to be satisfied. We describe the limiting factors for the maximum particle energy and briefly discuss multimessenger signals from neutrinos and ultrahigh energy cosmic rays, before describing the journey of jet plasma from jet launch to cocoon with reference to the different acceleration mechanisms. We conclude with some general comments on the future outlook.


title: Probabilistic Flight Envelope Estimation with Application to Unstable Overactuated Aircraft

abstract: This paper proposes a novel and practical framework for safe flight envelope estimation and protection, in order to prevent loss-of-control-related accidents. Conventional analytical envelope estimation methods fail to function efficiently for systems with high dimensionality and complex dynamics, which is often the case for high-fidelity aircraft models. In this way, this paper develops a probabilistic envelope estimation method based on Monte Carlo simulation. This method generates a probabilistic estimation of the flight envelope by simulating flight trajectories with extreme control effectiveness. It is shown that this method can significantly reduce the computational load compared with previous optimization-based methods and guarantee feasible and conservative envelope estimation of no less than seven dimensions. This method was applied to the Innovative Control Effectors aircraft, an overactuated tailless fighter aircraft with complex aerodynamic coupling between control effectors. The estimated probabilistic flight envelope is used for online envelope protection by a database approach. Both conventional state-constraint-based and novel predictive probabilistic flight envelope protection systems were implemented on a multiloop nonlinear dynamic inversion controller. Real-time simulation results demonstrate that the proposed framework can protect the aircraft within the estimated envelope and save the aircraft from maneuvers that otherwise would result in loss of control.