title: Giant Thermal Enhancement of the Electric Polarization in Ferrimagnetic BiFe$_{1-x}$Co$_{x}$O$_{3}$ Solid Solutions Near Room Temperature

abstract: Thermal excitations typically reduce the electric polarization in ferroelectric materials. Here, we show by means of first-principles calculations that multiferroic BiFe$_{1-x}$Co$_{x}$O$_{3}$ solid solutions with $0.25 \le x \le 0.50$ (BFCO) represent a noteworthy exception to this behaviour. In particular, we find that at room temperature and for moderate pressures of $0.1$-$1.0$ GPa, depending on the composition, the electric polarization of bulk BFCO increases by $\sim 200$%. The origin of such an exceptional behavior is a phase transformation involving a low-$T$ rhombohedral (${\cal R}$) phase and a high-$T$ super-tetragonal (${\cal T}$) phase. Both ${\cal R}$ and ${\cal T}$ phases are ferrimagnetic near room temperature with an approximate net magnetization of $0.13$$\mu_{B}$ per formula unit. Contrarily to what occurs in either bulk BiFeO$_{3}$ or BiCoO$_{3}$, the ${\cal T}$ phase is stabilized over the ${\cal R}$ by increasing temperature due to its higher vibrational entropy. This extraordinary $T$-induced ${\cal R} \to {\cal T}$ phase transition is originated by polar phonon modes involving concerted displacements of transition-metal and oxygen ions.


title: Scotogenic dark matter and Dirac neutrinos from unbroken gauged $B-L$ symmetry

abstract: We propose a simple extension of the standard model where neutrinos get naturally small "scotogenic" Dirac masses from an unbroken gauged $B-L$ symmetry, ensuring dark matter stability. The associated gauge boson gets mass through the Stueckelberg mechanism. Two scenarios are identified, and the resulting phenomenology briefly sketched.


title: On a Homma-Kim conjecture for nonsingular hypersurfaces

abstract: Let $X^n$ be a nonsingular hypersurface of degree $d\geq 2$ in the projective space $\mathbb{P}^{n+1}$ defined over a finite field $\mathbb{F}_q$ of $q$ elements. We prove a Homma-Kim conjecture on a upper bound about the number of $\mathbb{F}_q$-points of $X^n$ for $n=3$, and for any odd integer $n\geq 5$ and $d\leq q$.


title: Entanglement-Preserving Limit Cycles from Sequential Quantum Measurements and Feedback

abstract: Entanglement generation and preservation is a key task in quantum information processing, and a variety of protocols exist to entangle remote qubits via measurement of their spontaneous emission. We here propose feedback methods, based on monitoring the fluorescence of two qubits and using only local pi-pulses for control, to increase the yield and/or lifetime of entangled two-qubit states. Specifically, we describe a protocol based on photodetection of spontaneous emission (i.e. using quantum jump trajectories) which allows for entanglement preservation via measurement undoing, creating a limit cycle around a Bell states. We then demonstrate that a similar modification can be made to a recent feedback scheme based on homodyne measurement (i.e. using diffusive quantum trajectories), [L. S. Martin and K. B. Whaley, arXiv:1912.00067] in order to increase the lifetime of the entanglement it creates. Our schemes are most effective for high measurement efficiencies, and the impact of less-than-ideal measurement efficiency is quantified. The method we describe here combines proven techniques in a novel way, complementing existing protocols, and offering a pathway towards generating and protecting entangled states so that they may be used in various applications on demand.


title: Metric-Scale Truncation-Robust Heatmaps for 3D Human Pose Estimation

abstract: Heatmap representations have formed the basis of 2D human pose estimation systems for many years, but their generalizations for 3D pose have only recently been considered. This includes 2.5D volumetric heatmaps, whose X and Y axes correspond to image space and the Z axis to metric depth around the subject. To obtain metric-scale predictions, these methods must include a separate, explicit post-processing step to resolve scale ambiguity. Further, they cannot encode body joint positions outside of the image boundaries, leading to incomplete pose estimates in case of image truncation. We address these limitations by proposing metric-scale truncation-robust (MeTRo) volumetric heatmaps, whose dimensions are defined in metric 3D space near the subject, instead of being aligned with image space. We train a fully-convolutional network to estimate such heatmaps from monocular RGB in an end-to-end manner. This reinterpretation of the heatmap dimensions allows us to estimate complete metric-scale poses without test-time knowledge of the focal length or person distance and without relying on anthropometric heuristics in post-processing. Furthermore, as the image space is decoupled from the heatmap space, the network can learn to reason about joints beyond the image boundary. Using ResNet-50 without any additional learned layers, we obtain state-of-the-art results on the Human3.6M and MPI-INF-3DHP benchmarks. As our method is simple and fast, it can become a useful component for real-time top-down multi-person pose estimation systems. We make our code publicly available to facilitate further research (see https://vision.rwth-aachen.de/metro-pose3d).


title: Exact asymptotics of component-wise extrema of two-dimensional Brownian motion

abstract: We derive the exact asymptotics of \[ P\left( \sup_{t\ge 0} \Bigl( X_1(t) - \mu_1 t\Bigr)> u, \ \sup_{s\ge 0} \Bigl( X_2(s) - \mu_2 s\Bigr)> u \right), \ \ u\to\infty, \] where $(X_1(t),X_2(s))_{t,s\ge0}$ is a correlated two-dimensional Brownian motion with correlation $\rho\in[-1,1]$ and $\mu_1,\mu_2>0$. It appears that the play between $\rho$ and $\mu_1,\mu_2$ leads to several types of asymptotics. Although the exponent in the asymptotics as a function of $\rho$ is continuous, one can observe different types of prefactor functions depending on the range of $\rho$, which constitute a phase-type transition phenomena.


title: Automatic Compilation of Resources for Academic Writing and Evaluating with Informal Word Identification and Paraphrasing System

abstract: We present the first approach to automatically building resources for academic writing. The aim is to build a writing aid system that automatically edits a text so that it better adheres to the academic style of writing. On top of existing academic resources, such as the Corpus of Contemporary American English (COCA) academic Word List, the New Academic Word List, and the Academic Collocation List, we also explore how to dynamically build such resources that would be used to automatically identify informal or non-academic words or phrases. The resources are compiled using different generic approaches that can be extended for different domains and languages. We describe the evaluation of resources with a system implementation. The system consists of an informal word identification (IWI), academic candidate paraphrase generation, and paraphrase ranking components. To generate candidates and rank them in context, we have used the PPDB and WordNet paraphrase resources. We use the Concepts in Context (CoInCO) "All-Words" lexical substitution dataset both for the informal word identification and paraphrase generation experiments. Our informal word identification component achieves an F-1 score of 82%, significantly outperforming a stratified classifier baseline. The main contribution of this work is a domain-independent methodology to build targeted resources for writing aids.


title: Superrigidity, arithmeticity, normal subgroups: results, ramifications and directions

abstract: This essay points to many of the interesting ramifications of Margulis' arithmeticity theorem, the superrigidity theorem, and normal subgroup theorem. We provide some history and background, but the main goal is to point to interesting open questions that stem directly or indirectly from Margulis' work and it's antecedents.


title: LITS.jl -- An Open-Source Julia based Simulation Toolbox for Low-Inertia Power Systems

abstract: The integration of converter-interfaced generation (CIG) from renewable energy sources poses challenges to the stability and transient behavior of electric power systems. Understanding the dynamic behavior of low-inertia power systems is critical to addressing these stability questions. However, there is a limited availability of open source tools explicitly geared towards low-inertia systems modeling. In this paper, we develop an open source simulation toolbox to study transient responses under high penetration scenarios. LITS.jl is implemented in the Julia computing language and features multi-machine modeling capability, a rich library of synchronous generators components (AVR, PSS, Governor, etc.) and inverter configurations. Several case studies are conducted and benchmarked and validated against existing toolboxes. Case studies are selected to showcase the integration of different device models' behavior in power systems.


title: EmpTransfo: A Multi-head Transformer Architecture for Creating Empathetic Dialog Systems

abstract: Understanding emotions and responding accordingly is one of the biggest challenges of dialog systems. This paper presents EmpTransfo, a multi-head Transformer architecture for creating an empathetic dialog system. EmpTransfo utilizes state-of-the-art pre-trained models (e.g., OpenAI-GPT) for language generation, though models with different sizes can be used. We show that utilizing the history of emotions and other metadata can improve the quality of generated conversations by the dialog system. Our experimental results using a challenging language corpus show that the proposed approach outperforms other models in terms of Hit@1 and PPL (Perplexity).


title: From Perspective X-ray Imaging to Parallax-Robust Orthographic Stitching

abstract: Stitching images acquired under perspective projective geometry is a relevant topic in computer vision with multiple applications ranging from smartphone panoramas to the construction of digital maps. Image stitching is an equally prominent challenge in medical imaging, where the limited field-of-view captured by single images prohibits holistic analysis of patient anatomy. The barrier that prevents straight-forward mosaicing of 2D images is depth mismatch due to parallax. In this work, we leverage the Fourier slice theorem to aggregate information from multiple transmission images in parallax-free domains using fundamental principles of X-ray image formation. The semantics of the stitched image are restored using a novel deep learning strategy that exploits similarity measures designed around frequency, as well as dense and sparse spatial image content. Our pipeline, not only stitches images, but also provides orthographic reconstruction that enables metric measurements of clinically relevant quantities directly on the 2D image plane.


title: Forgetting Outside the Box: Scrubbing Deep Networks of Information Accessible from Input-Output Observations

abstract: We describe a procedure for removing dependency on a cohort of training data from a trained deep network that improves upon and generalizes previous methods to different readout functions and can be extended to ensure forgetting in the activations of the network. We introduce a new bound on how much information can be extracted per query about the forgotten cohort from a black-box network for which only the input-output behavior is observed. The proposed forgetting procedure has a deterministic part derived from the differential equations of a linearized version of the model, and a stochastic part that ensures information destruction by adding noise tailored to the geometry of the loss landscape. We exploit the connections between the activation and weight dynamics of a DNN inspired by Neural Tangent Kernels to compute the information in the activations.


title: Structure- and laser-gauges for the semiconductor Bloch equations in high-harmonic generation in solids

abstract: The semiconductor Bloch equations (SBEs) are routinely used for simulations of strong-field laser-matter interactions in condensed matter. In systems without inversion or time-reversal symmetries, the Berry connections and transition dipole phases (TDPs) must be included in the SBEs, which in turn requires the construction of a smooth and periodic structure gauge for the Bloch states. Here, we illustrate a general approach for such a structure-gauge construction for topologically trivial systems. Furthermore, we investigate the SBEs in the length and velocity gauges, and discuss their respective advantages and shortcomings for the high-harmonic generation (HHG) process. We find that in cases where we require dephasing or separation of the currents into interband and intraband contributions, the length gauge SBEs are computationally more efficient. In calculations without dephasing and where only the total current is needed, the velocity gauge SBEs are structure-gauge independent and are computationally more efficient. We employ two systems as numerical examples to highlight our findings: an 1D model of ZnO and the 2D monolayer hexagonal boron nitride (h-BN). The omittance of Berry connections or TDPs in the SBEs for h-BN results in nonphysical HHG spectra. The structure- and laser-gauge considerations in the current work are not restricted to the HHG process, and are applicable to all strong-field matter simulations with SBEs.


title: Simultaneous robust subspace recovery and semi-stability of quiver representations

abstract: We consider the problem of simultaneously finding lower-dimensional subspace structures in a given $m$-tuple of possibly corrupted, high-dimensional data sets all of the same size. We refer to this problem as simultaneous robust subspace recovery (SRSR) and provide a quiver invariant theoretic approach to it. We show that SRSR is a particular case of the more general problem of effectively deciding whether a quiver representation is semi-stable (in the sense of Geometric Invariant Theory) and, in case it is not, finding a subrepresentation certifying in an optimal way that the representation is not semi-stable. In this paper, we show that SRSR and the more general quiver semi-stability problem can be solved effectively.


title: A simple self-avoiding walking process as a reasonable non-conventional generator of polymeric linear chains

abstract: In this work, we present a simple and efficient generator of polymeric linear chains, based on a random self-avoiding walk process. The chains are generated using a discrete process of growth, in cubic networks and in a finite time, without border limits and without exploring all the configurational space. First, we thoroughly describe the chains morphology exploring the statistics of two characteristic distances, the radius of gyration and the end-to-end distance. Moreover, we examine the dependence of mean characteristic distances with the number of steps (N). Despite the simplicity of our procedure, we obtain universal critical exponents, which are in very good agreement with previous values reported in the literature. Moreover, studying the balance between the monomer-monomer interaction and the bending energy, we find that initially, the chains develop by multiple doubling, forming a cluster and increasing its energy. After reaching a given number of steps, the chains stretch and flee from the cluster, which results in a reduction of its interaction energy. However, the behaviour of the bending energy reveals that the chains follow the same folding pathway in both regimes. Additionally, we also characterize the energy of the obtained chains, combining the local interaction energy with its corresponding bending energy but in a discrete version. This analysis is relevant because it allows differentiating between chains of equal interaction energy but with different structures.


title: Stability of Normal Bundles of Space Curves

abstract: In this paper, we prove that the normal bundle of a general Brill-Noether space curve of degree $d$ and genus $g \geq 2$ is stable if and only if $(d,g) \not\in \{ (5,2), (6,4) \}$. When $g\leq1$ and the characteristic of the ground field is zero, it is classical that the normal bundle is strictly semistable. We show that this fails in characteristic $2$ for all rational curves of even degree.


title: Making top-heavy IMFs from canonical IMFs near the Galactic Centre

abstract: We show that dynamical evolution in a strong (Galactic Centre-like) tidal field can create clusters that would appear to have very top-heavy IMFs. The tidal disruption of single star forming events can leave several bound `clusters' spread along 20 pc of the orbit within 1-2 Myr. These surviving (sub)clusters tend to contain an over-abundance of massive stars, with low-mass stars tending to be spread along the whole `tidal arm'. Therefore observing a cluster in a strong tidal field with a top-heavy IMF might well not mean the stars formed with a top-heavy IMF.


title: End-to-End Neural Diarization: Reformulating Speaker Diarization as Simple Multi-label Classification

abstract: The most common approach to speaker diarization is clustering of speaker embeddings. However, the clustering-based approach has a number of problems; i.e., (i) it is not optimized to minimize diarization errors directly, (ii) it cannot handle speaker overlaps correctly, and (iii) it has trouble adapting their speaker embedding models to real audio recordings with speaker overlaps. To solve these problems, we propose the End-to-End Neural Diarization (EEND), in which a neural network directly outputs speaker diarization results given a multi-speaker recording. To realize such an end-to-end model, we formulate the speaker diarization problem as a multi-label classification problem and introduce a permutation-free objective function to directly minimize diarization errors. Besides its end-to-end simplicity, the EEND method can explicitly handle speaker overlaps during training and inference. Just by feeding multi-speaker recordings with corresponding speaker segment labels, our model can be easily adapted to real conversations. We evaluated our method on simulated speech mixtures and real conversation datasets. The results showed that the EEND method outperformed the state-of-the-art x-vector clustering-based method, while it correctly handled speaker overlaps. We explored the neural network architecture for the EEND method, and found that the self-attention-based neural network was the key to achieving excellent performance. In contrast to conditioning the network only on its previous and next hidden states, as is done using bidirectional long short-term memory (BLSTM), self-attention is directly conditioned on all the frames. By visualizing the attention weights, we show that self-attention captures global speaker characteristics in addition to local speech activity dynamics, making it especially suitable for dealing with the speaker diarization problem.


title: A Pfaffian formula for the Ising partition function of surface graphs

abstract: We give a Pfaffian formula to compute the partition function of the Ising model on any graph $G$ embedded in a closed, possibly non-orientable surface. This formula, which is suitable for computational purposes, is based on the relation between the Ising model on $G$ and the dimer model on its terminal graph $G^T$. By combining the ideas of Loebl-Masbaum \cite{Loeb11}, Tesler \cite{Tes2000}, Cimasoni \cite{Cim09, Cim10} and Chelkak-Cimasoni-Kassel \cite{Chel15}, we give an elementary proof for the formula.


title: A Set-Theoretic Approach to Multi-Task Execution and Prioritization

abstract: Executing multiple tasks concurrently is important in many robotic applications. Moreover, the prioritization of tasks is essential in applications where safety-critical tasks need to precede application-related objectives, in order to protect both the robot from its surroundings and vice versa. Furthermore, the possibility of switching the priority of tasks during their execution gives the robotic system the flexibility of changing its objectives over time. In this paper, we present an optimization-based task execution and prioritization framework that lends itself to the case of time-varying priorities as well as variable number of tasks. We introduce the concept of extended set-based tasks, encode them using control barrier functions, and execute them by means of a constrained-optimization problem, which can be efficiently solved in an online fashion. Finally, we show the application of the proposed approach to the case of a redundant robotic manipulator.


title: Lattice dynamics and polarization-dependent phonon damping in $\alpha$-phase FeSi$_{2}$ nanoislands

abstract: We determined the lattice dynamics of metastable, surface-stabilized $\alpha$-phase FeSi$_2$ nanoislands epitaxially grown on the Si(111) surface with average heights and widths ranging from 1.5 to 20 nm and 18 to 72 nm, respectively. The crystallographic orientation, surface morphology and local crystal structure of the nanoislands were investigated by reflection high-energy electron diffraction, atomic force microscopy and X-ray absorption spectroscopy. The Fe-partial phonon density of states (PDOS), obtained by nuclear inelastic scattering, exhibits a pronounced damping and broadening of the spectral features with decreasing average island height. First-principles calculations of the polarization-projected Si- and Fe-partial phonon dispersions and PDOS enable the disentanglement of the contribution of the $xy$- and $z$-polarized phonons to the experimental PDOS. Modeling of the experimental data with the theoretical results unveils an enhanced damping of the $z$-polarized phonons for islands with average sizes below 10 nm. This phenomenon is attributed to the fact that the low-energy $z$-polarized phonons couple to the low-energy surface/interface vibrational modes. The thermodynamic and elastic properties obtained from the experimental data show a pronounced size-dependent behavior.


title: The binary evolution of SAX J1808.4-3658: Implications of an evolved donor star

abstract: Observations of the accretion powered millisecond pulsar SAX J1808.4-3658 have revealed an interesting binary evolution, with the orbit of the system expanding at an accelerated rate. We use the recent finding that the accreted fuel in SAX J1808.4-3658 is hydrogen depleted to greatly refine models of the progenitor and prior evolution of the binary system. We constrain the initial mass of the companion star to 1.0-1.2 M$_{\mathrm{\odot}}$, more massive than previous evolutionary studies of this system have assumed. We also infer the system must have undergone strongly non-conservative mass transfer in order to explain the observed orbital period changes. Following Jia & Li (2015), we include mass loss due to the pulsar radiation pressure on the donor star, inducing an evaporative wind which is ejected at the inner Lagrangian point of the binary system. The resulting additional loss of angular momentum resolves the discrepancy between conservative mass transfer models and the observed orbital period derivative of this system. We also include a treatment of donor irradiation due to the accretion luminosity, and find this has a non-negligible effect on the evolution of the system.


title: Ultrafast electron diffraction imaging of gas-phase molecules

abstract: Knowledge of molecular structure is paramount in understanding, and ultimately influencing, chemical reactivity. For nearly a century, diffractive imaging has been used to identify the structures of many biologically-relevant gas-phase molecules with atomic (i.e. Angstrom, A; 1 A = 10$^{-10}$ m) spatial resolution. Unravelling the mechanisms of chemical reactions requires the capability to record multiple well-resolved snapshots of the molecular structure as it is evolving on the nuclear (i.e. femtosecond, fs; 1 fs = 10$^{-15}$ s) timescale. We present the latest, state-of-the-art ultrafast electron diffraction methods used to retrieve the molecular structure of gas-phase molecules with Angstrom and femtosecond spatio-temporal resolution. We first provide a historical and theoretical background to elastic electron scattering in its application to structural retrieval, followed by details of field-free and field-dressed ultrafast electron diffraction techniques. We discuss the application of these ultrafast methods to time-resolving chemical reactions in real-time, before providing a future outlook of the field and the challenges that exist today and in the future.


title: LSF-Join: Locality Sensitive Filtering for Distributed All-Pairs Set Similarity Under Skew

abstract: All-pairs set similarity is a widely used data mining task, even for large and high-dimensional datasets. Traditionally, similarity search has focused on discovering very similar pairs, for which a variety of efficient algorithms are known. However, recent work highlights the importance of finding pairs of sets with relatively small intersection sizes. For example, in a recommender system, two users may be alike even though their interests only overlap on a small percentage of items. In such systems, some dimensions are often highly skewed because they are very popular. Together these two properties render previous approaches infeasible for large input sizes. To address this problem, we present a new distributed algorithm, LSF-Join, for approximate all-pairs set similarity. The core of our algorithm is a randomized selection procedure based on Locality Sensitive Filtering. Our method deviates from prior approximate algorithms, which are based on Locality Sensitive Hashing. Theoretically, we show that LSF-Join efficiently finds most close pairs, even for small similarity thresholds and for skewed input sets. We prove guarantees on the communication, work, and maximum load of LSF-Join, and we also experimentally demonstrate its accuracy on multiple graphs.


title: S-APIR: News-based Business Sentiment Index

abstract: This paper describes our work on developing a new business sentiment index using daily newspaper articles. We adopt a recurrent neural network (RNN) with Gated Recurrent Units to predict the business sentiment of a given text. An RNN is initially trained on Economy Watchers Survey and then fine-tuned on news texts for domain adaptation. Also, a one-class support vector machine is applied to filter out texts deemed irrelevant to business sentiment. Moreover, we propose a simple approach to temporally analyzing how much and when any given factor influences the predicted business sentiment. The validity and utility of the proposed approaches are empirically demonstrated through a series of experiments on Nikkei Newspaper articles published from 2013 to 2018.


title: A flow disturbance estimation and rejection strategy for multirotors with round-trip trajectories

abstract: This paper presents a round-trip strategy of multirotors subject to unknown flow disturbances. During the outbound flight, the vehicle immediately utilizes the wind disturbance estimations in feedback control, as an attempt to reduce the tracking error. During this phase, the disturbance estimations with respect to the position are also recorded for future use. For the return flight, the disturbances previously collected are then routed through a feedforward controller. The major assumption here is that the disturbances may vary over space, but not over time during the same mission. We demonstrate the effectiveness of this feedforward strategy via experiments with two different types of wind flows; a simple jet flow and a more complex flow. To use as a baseline case, a cascaded PD controller with an additional feedback loop for disturbance estimation was employed for outbound flights. To display our contributions regarding the additional feedforward approach, an additional feedforward correction term obtained via prerecorded data was integrated for the return flight. Compared to the baseline controller, the feedforward controller was observed to produce 43% less RMSE position error at a vehicle ground velocity of 1 m/s with 6 m/s of environmental wind velocity. This feedforward approach also produced 14% less RMSE position error for the complex flows as well.


title: Direct evidence for low-energy electron emission following O LVV Auger transitions at oxide surfaces

abstract: Oxygen, the third most abundant element in the universe, plays a key role in the chemistry of condensed matter and biological systems. Here, we report evidence for a hitherto unexplored Auger transition in oxides, where a valence band electron fills a vacancy in the 2s state of oxygen, transferring sufficient energy to allow electron emission. We used a beam of positrons with kinetic energies of $\sim$1 eV to create O 2s holes via matter-antimatter annihilation. This made possible the elimination of the large secondary electron background that has precluded definitive measurements of the low-energy electrons emitted through this process. Our experiments indicate that low-energy electron emission following the Auger decay of O 2s holes from adsorbed oxygen and oxide surfaces are very efficient. Specifically, our results indicate that the low energy electron emission following the Auger decay of O 2s hole is nearly as efficient as electron emission following the relaxation of O 1s holes in TiO$_2$. This has important implications for the understanding of Auger-stimulated ion desorption, Coulombic decay, photodynamic cancer therapies, and may yield important insights into the radiation-induced reactive sites for corrosion and catalysis.


title: Designing for Employee Voice

abstract: Employee voice and workplace democracy have a positive impact on employee wellbeing and the performance of organizations. In this paper, we conducted interviews with employees to identify facilitators and inhibitors for the voice within the workplace and a corresponding set of appropriate qualities: Civility, Validity, Safety and Egalitarianism. We then operationalised these qualities as a set of design goals - Assured Anonymity, Constructive Moderation, Adequate Slowness and Controlled Access - in the design and development of a secure anonymous employee voice system. Our novel take on the Enterprise Social Network aims to foster good citizenship whilst also promoting frank yet constructive discussion. We reflect on a two-week deployment of our system, the diverse range of candid discussions that emerged around important workplace issues and the potential for change within the host organization. We conclude by reflecting on the ways in which our approach shaped the discourse and supported the creation of a trusted environment for employee voice.


title: Likelihood Regret: An Out-of-Distribution Detection Score For Variational Auto-encoder

abstract: Deep probabilistic generative models enable modeling the likelihoods of very high dimensional data. An important application of generative modeling should be the ability to detect out-of-distribution (OOD) samples by setting a threshold on the likelihood. However, some recent studies show that probabilistic generative models can, in some cases, assign higher likelihoods on certain types of OOD samples, making the OOD detection rules based on likelihood threshold problematic. To address this issue, several OOD detection methods have been proposed for deep generative models. In this paper, we make the observation that many of these methods fail when applied to generative models based on Variational Auto-encoders (VAE). As an alternative, we propose Likelihood Regret, an efficient OOD score for VAEs. We benchmark our proposed method over existing approaches, and empirical results suggest that our method obtains the best overall OOD detection performances when applied to VAEs.


title: Fast and Accurate Retrieval of Methane Concentration from Imaging Spectrometer Data Using Sparsity Prior

abstract: The strong radiative forcing by atmospheric methane has stimulated interest in identifying natural and anthropogenic sources of this potent greenhouse gas. Point sources are important targets for quantification, and anthropogenic targets have potential for emissions reduction. Methane point source plume detection and concentration retrieval have been previously demonstrated using data from the Airborne Visible InfraRed Imaging Spectrometer Next Generation (AVIRIS-NG). Current quantitative methods have tradeoffs between computational requirements and retrieval accuracy, creating obstacles for processing real-time data or large datasets from flight campaigns. We present a new computationally efficient algorithm that applies sparsity and an albedo correction to matched filter retrieval of trace gas concentration-pathlength. The new algorithm was tested using AVIRIS-NG data acquired over several point source plumes in Ahmedabad, India. The algorithm was validated using simulated AVIRIS-NG data including synthetic plumes of known methane concentration. Sparsity and albedo correction together reduced the root mean squared error of retrieved methane concentration-pathlength enhancement by 60.7% compared with a previous robust matched filter method. Background noise was reduced by a factor of 2.64. The new algorithm was able to process the entire 300 flightline 2016 AVIRIS-NG India campaign in just over 8 hours on a desktop computer with GPU acceleration.


title: "Other-Play" for Zero-Shot Coordination

abstract: We consider the problem of zero-shot coordination - constructing AI agents that can coordinate with novel partners they have not seen before (e.g. humans). Standard Multi-Agent Reinforcement Learning (MARL) methods typically focus on the self-play (SP) setting where agents construct strategies by playing the game with themselves repeatedly. Unfortunately, applying SP naively to the zero-shot coordination problem can produce agents that establish highly specialized conventions that do not carry over to novel partners they have not been trained with. We introduce a novel learning algorithm called other-play (OP), that enhances self-play by looking for more robust strategies, exploiting the presence of known symmetries in the underlying problem. We characterize OP theoretically as well as experimentally. We study the cooperative card game Hanabi and show that OP agents achieve higher scores when paired with independently trained agents. In preliminary results we also show that our OP agents obtains higher average scores when paired with human players, compared to state-of-the-art SP agents.


title: Spectral broadening of optical transitions at tunneling resonances in InAs/GaAs coupled quantum dot pairs

abstract: We report on linewidth analysis of optical transitions in InAs/GaAs coupled quantum dots as a function of bias voltage, temperature, and tunnel coupling strength. A significant line broadening up to 100 $\mu$eV is observed at hole tunneling resonances where the coherent tunnel coupling between spatially direct and indirect exciton states is maximized, corresponding to a phonon-assisted transition rate of 150 ns${}^{-1}$ at 20 K. With increasing temperature, the linewidth shows broadening characteristic of single-phonon transitions. The linewidth as a function of tunnel coupling strength tracks the theoretical prediction of linewidth broadening due to phonon-assisted transitions, and is maximized with an energy splitting between the two exciton branches of 0.8$-$0.9 meV. This report highlights the linewidth broadening mechanisms and fundamental aspects of the interaction between these systems and the local environment.


title: Learning Complexity of Simulated Annealing

abstract: Simulated annealing is an effective and general means of optimization. It is in fact inspired by metallurgy, where the temperature of a material determines its behavior in thermodynamics. Likewise, in simulated annealing, the actions that the algorithm takes depend entirely on the value of a variable which captures the notion of temperature. Typically, simulated annealing starts with a high temperature, which makes the algorithm pretty unpredictable, and gradually cools the temperature down to become more stable. A key component that plays a crucial role in the performance of simulated annealing is the criteria under which the temperature changes namely, the cooling schedule. Motivated by this, we study the following question in this work: "Given enough samples to the instances of a specific class of optimization problems, can we design optimal (or approximately optimal) cooling schedules that minimize the runtime or maximize the success rate of the algorithm on average when the underlying problem is drawn uniformly at random from the same class?" We provide positive results both in terms of sample complexity and simulation complexity. For sample complexity, we show that $\tilde O(\sqrt{m})$ samples suffice to find an approximately optimal cooling schedule of length $m$. We complement this result by giving a lower bound of $\tilde \Omega(m^{1/3})$ on the sample complexity of any learning algorithm that provides an almost optimal cooling schedule. These results are general and rely on no assumption. For simulation complexity, however, we make additional assumptions to measure the success rate of an algorithm. To this end, we introduce the monotone stationary graph that models the performance of simulated annealing. Based on this model, we present polynomial time algorithms with provable guarantees for the learning problem.


title: Effects of scattering, temperature gradients, and settling on the derived dust properties of observed protoplanetary disks

abstract: It is known that the millimeter dust thermal emission of protoplanetary disks is affected by scattering, such that for optically thick disks the emission decreases with respect to the pure absorption case and the spectral indices can reach values below 2. The latter can also be obtained with temperature gradients. Using simple analytical models of radiative transfer in thin slabs, we quantify the effect of scattering, vertical temperature gradients, and dust settling on the emission and spectral indices of geometrically thin face-on accretion disks around young stars. We find that in vertically isothermal disks with large albedo ($\omega_{\nu} \gtrsim 0.6$), the emergent intensity can increase at optical depths between $10^{-2}$ and $10^{-1}$. We show that dust settling has important effects on the spectral indices in the optically thick regime, since the disk emission mainly traces small dust grains in the upper layers of the disk. The $\lambda = 870 \ \mu$m emission of these small grains can hide large grains at the disk mid plane when the dust surface density is larger than $\sim$ 3.21 g cm$^{-2}$. Finally, because of the change of the shape of the spectral energy distribution, optically thick disks at 1.3 mm and grains with sizes between 300 $\mu$m $< a_{\rm max} <$ 1 mm have a 7 mm flux $\sim 60$\% higher than the extrapolation from higher millimeter frequencies, assumed when scattering is neglected. This effect could provide an explanation to the excess emission at $\lambda = 7$ mm reported in several disks.


title: Ogle-2018-blg-0677lb: A super earth near the galactic bulge

abstract: We report the analysis of the microlensing event OGLE-2018-BLG-0677. A small feature in the light curve of the event leads to the discovery that the lens is a star-planet system. Although there are two degenerate solutions that could not be distinguished for this event, both lead to a similar planet-host mass ratio. We perform a Bayesian analysis based on a Galactic model to obtain the properties of the system and find that the planet corresponds to a super-Earth/sub-Neptune with a mass $M_{\mathrm{planet}} = {3.96}^{+5.88}_{-2.66}\mathrm{M_\oplus}$. The host star has a mass $ M_{\mathrm{host}} = {0.12}^{+0.14}_{-0.08}\mathrm{M_\odot}$. The projected separation for the inner and outer solutions are ${0.63}^{+0.20}_{-0.17}$~AU and ${0.72}^{+0.23}_{-0.19}$~AU respectively. At $\Delta\chi^2=\chi^2({\rm 1L1S})-\chi^2({\rm 2L1S})=46$, this is by far the lowest $\Delta\chi^2$ for any securely-detected microlensing planet to date, a feature that is closely connected to the fact that it is detected primarily via a "dip" rather than a "bump".


title: Emergence of an upper bound to the electric field controlled Rashba spin splitting in InAs nanowires

abstract: The experimental assessment of the strength ($\alpha_R$) of the Rashba spin-orbit coupling is rather indirect and involves the measurement of the spin relaxation length from magnetotransport, together with a model of weak antilocalization. The analysis of the spin relaxation length in nanowires, however, clouds the experimental assessment of the $\alpha_R$ and leads to the prevailing belief that it can be tuned freely with electric field--a central tenant of spintronics. Here, we report direct theory of $\alpha_R$ leading to atomistic calculations of the spin band structure of InAs nanowires upon application of electric field-- a direct method that does not require a theory of spin relaxation. Surprisingly, we find an {\it upper bound} to the electric field tunable Rashba spin splitting and the ensuing $\alpha_R$; for InAs nanowires, $\alpha_R$ is pinned at about 170 meV{\AA} irrespective of the applied field strength. We find that this pinning is due to the quantum confined stark effect, that reduces continuously the nanowire band gap with applied electric field, leading eventually to band gap closure and a considerable increase in the density of free carriers. This results in turn in a strong screening that prevents the applied electric field inside the nanowire from increasing further beyond around 200 kV/cm for InAs nanowires. Therefore, further increase in the gate voltage will not increase $\alpha_R$. This finding clarifies the physical trends to be expected in nanowire Rashba SOC and the roles played by the nano size and electric field.


title: Modeling the Control of COVID-19: Impact of Policy Interventions and Meteorological Factors

abstract: In this paper, we propose a dynamical model to describe the transmission of COVID-19, which is spreading in China and many other countries. To avoid a larger outbreak in the worldwide, Chinese government carried out a series of strong strategies to prevent the situation from deteriorating. Home quarantine is the most important one to prevent the spread of COVID-19. In order to estimate the effect of population quarantine, we divide the population into seven categories for simulation. Based on a Least-Squares procedure and officially published data, the estimation of parameters for the proposed model is given. Numerical simulations show that the proposed model can describe the transmission of COVID-19 accurately, the corresponding prediction of the trend of the disease is given. The home quarantine strategy plays an important role in controlling the disease spread and speeding up the decline of COVID-19. The control reproduction number of most provinces in China are analyzed and discussed adequately. We should pay attention to that, though the epidemic is in decline in China, the disease still has high risk of human-to-human transmission continuously. Once the control strategy is removed, COVID-19 may become a normal epidemic disease just like flu. Further control for the disease is still necessary, we focus on the relationship between the spread rate of the virus and the meteorological conditions. A comprehensive meteorological index is introduced to represent the impact of meteorological factors on both high and low migration groups. As the progress on the new vaccine, we design detail vaccination strategies for COVID-19 in different control phases and show the effectiveness of efficient vaccination. Once the vaccine comes into use, the numerical simulation provide a promptly prospective research.


title: Challenges in Supporting Exploratory Search through Voice Assistants

abstract: Voice assistants have been successfully adopted for simple, routine tasks, such as asking for the weather or setting an alarm. However, as people get more familiar with voice assistants, they may increase their expectations for more complex tasks, such as exploratory search-- e.g., "What should I do when I visit Paris with kids? Oh, and ideally not too expensive." Compared to simple search tasks such as "How tall is the Eiffel Tower?", which can be answered with a single-shot answer, the response to exploratory search is more nuanced, especially through voice-based assistants. In this paper, we outline four challenges in designing voice assistants that can better support exploratory search: addressing situationally induced impairments; working with mixed-modal interactions; designing for diverse populations; and meeting users' expectations and gaining their trust. Addressing these challenges is important for developing more "intelligent" voice-based personal assistants.


title: Well-posedness of the free boundary hard phase fluids in Minkowski background and its Newtonian limit

abstract: The hard phase model describes a relativistic barotropic irrotational fluid with sound speed equal to the speed of light. In this paper, we prove the local well-posedness for this model in the Minkowski background with free boundary. Moreover, we show that as the speed of light tends to infinity, the solution of this model converges to the solution of the corresponding Newtonian free boundary problem for incompressible fluids. In the appendix we explain how to extend our proof to the general barotropic fluid free boundary problem.


title: The contributions of the vector-channel at finite isospin chemical potential with the self-consistent mean field approximation

abstract: The self-consistent mean field approximation of two-flavor NJL model, which introduces a free parameter $\alpha$ ($\alpha$ reflects the weight of different interaction channels), is employed to investigate the contributions of the vector-channel at finite isospin chemical potential $\mu_I$ and zero baryon chemical potential $\mu_B$ and zero temperature $T$. The calculations show that the consideration of the vector-channel contributions leads to lower value of pion condensate in superfluid phase, compared with the standard Lagrangian of NJL model ($\alpha=0$). In superfluid phase, we also obtain lower isospin number density, and the discrepancy is getting larger with the increase of isospin potential. Compared with the recent results from Lattice QCD, the isospin density and energy density we obtained with $\alpha=0.5$ agree with the data of lattice well. In the phase diagram in the $T-\mu_I$ plane for $\mu_B=0$, we can see that the difference of the critical temperatures of phase transition between the results with $\alpha=0$ and $\alpha=0.5$ is up to $3\%-5\%$ for a fixed isospin potential. All of these indicate that the vector channels play an important role in isospin medium.


title: TensorFlow Quantum: A Software Framework for Quantum Machine Learning

abstract: We introduce TensorFlow Quantum (TFQ), an open source library for the rapid prototyping of hybrid quantum-classical models for classical or quantum data. This framework offers high-level abstractions for the design and training of both discriminative and generative quantum models under TensorFlow and supports high-performance quantum circuit simulators. We provide an overview of the software architecture and building blocks through several examples and review the theory of hybrid quantum-classical neural networks. We illustrate TFQ functionalities via several basic applications including supervised learning for quantum classification, quantum control, simulating noisy quantum circuits, and quantum approximate optimization. Moreover, we demonstrate how one can apply TFQ to tackle advanced quantum learning tasks including meta-learning, layerwise learning, Hamiltonian learning, sampling thermal states, variational quantum eigensolvers, classification of quantum phase transitions, generative adversarial networks, and reinforcement learning. We hope this framework provides the necessary tools for the quantum computing and machine learning research communities to explore models of both natural and artificial quantum systems, and ultimately discover new quantum algorithms which could potentially yield a quantum advantage.


title: Conflict externalization and the quest for peace: theory and case evidence from Colombia

abstract: I study the relationship between the likelihood of a violent domestic conflict and the risk that such a conflict "externalizes" (i.e. spreads to another country by creating an international dispute). I consider a situation in which a domestic conflict between a government and a rebel group has the potential to externalize. I show that the risk of externalization increases the likelihood of a peaceful outcome, but only if the government is sufficiently powerful relative to the rebels, the risk of externalization is sufficiently high, and the foreign actor who can intervene in the domestic conflict is sufficiently uninterested in material costs and benefits. I show how this model helps to understand the recent and successful peace process between the Colombian government and the country's most powerful rebel group, the Revolutionary Armed Forces of Colombia (FARC).


title: Steered quantum coherence as a signature of quantum phase transitions in spin chains

abstract: We propose to use the steered quantum coherence (SQC) as a signature of quantum phase transitions (QPTs). By considering various spin chain models, including the transverse-field Ising model, \textit{XY} model, and \textit{XX} model with three-spin interaction, we showed that the SQC and its first-order derivative succeed in signaling different critical points of QPTs. In particular, the SQC method is effective for any spin pair chosen from the chain, and the strength of SQC, in contrast to entanglement and quantum discord, is insensitive to the distance (provided it is not very short) of the tested spins, which makes it convenient for practical use as there is no need for careful choice of two spins in the chain.


title: Neural-Swarm: Decentralized Close-Proximity Multirotor Control Using Learned Interactions

abstract: In this paper, we present Neural-Swarm, a nonlinear decentralized stable controller for close-proximity flight of multirotor swarms. Close-proximity control is challenging due to the complex aerodynamic interaction effects between multirotors, such as downwash from higher vehicles to lower ones. Conventional methods often fail to properly capture these interaction effects, resulting in controllers that must maintain large safety distances between vehicles, and thus are not capable of close-proximity flight. Our approach combines a nominal dynamics model with a regularized permutation-invariant Deep Neural Network (DNN) that accurately learns the high-order multi-vehicle interactions. We design a stable nonlinear tracking controller using the learned model. Experimental results demonstrate that the proposed controller significantly outperforms a baseline nonlinear tracking controller with up to four times smaller worst-case height tracking errors. We also empirically demonstrate the ability of our learned model to generalize to larger swarm sizes.


title: Random sampling stability in weighted reproducing kernel subspaces of $L_\nu^p(\mathbb{R}^d)$

abstract: In this paper, we mainly study the random sampling stability for signals in a weighted reproducing kernel subspace of $L_\nu^p(\mathbb{R}^d)$ without the additional requirement that the kernel function has symmetry. The sampling set is independently and randomly drawn from a general probability distribution over $\mathbb{R}^d$. Based on the frame characterization of weighted reproducing kernel subspaces, we first approximate the weighted reproducing kernel space by a finite dimensional subspace on any bounded domains. Then, we prove that the random sampling stability holds with high probability for all signals in weighted reproducing kernel subspaces whose energy concentrate on a cube when the sampling size is large enough.


title: Semi-analytic Models for Electron Acceleration in Weak ICM Shocks

abstract: We propose semi-analytic models for the electron momentum distribution in weak shocks that accounts for both in situ acceleration and re-acceleration through diffusive shock acceleration (DSA). In the former case, a small fraction of incoming electrons are assumed to be reflected at the shock ramp and pre-accelerated to the so-called injection momentum, $p_{\rm inj}$, above which particles can diffuse across the shock transition and participate in the DSA process. This leads to the DSA power-law distribution extending from the smallest momentum of reflected electrons, $p_{\rm ref}$, all the way to the cutoff momentum, $p_{\rm eq}$, constrained by radiative cooling. In the later case, fossil electrons, specified by a power-law spectrum with a cutoff, are assumed to be re-accelerated also from $p_{\rm ref}$ up to $p_{\rm eq}$ via DSA. We then show that, in the in situ acceleration model, the amplitude of radio synchrotron emission depends strongly on the shock Mach number, whereas it varies rather weakly in the re-acceleration model. Considering rather turbulent nature of shocks in the intracluster medium, such extreme dependence for the in situ acceleration might not be compatible with relatively smooth surface brightness of observed radio relics.


title: The Variational Localized Active Space Self-Consistent Field Method

abstract: Fragmentation methods applied to multireference wave functions constitute a road towards the application of highly accurate ab initio wave function calculations to large molecules and solids. However, it is important for reproducibility and transferability that a fragmentation scheme be well-defined with minimal dependence on initial orbital guesses or user-designed ad hoc fragmentation schemes. One way to improve this sort of robustness is to ensure the energy obeys a variational principle; i.e., that the active orbitals and active space wave functions minimize the electronic energy in a certain ansatz for the molecular wave function. We extended the theory of the localized active space self-consistent field, LASSCF, method (JCTC 2019, 15, 972) to fully minimize the energy with respect to all orbital rotations, rendering it truly variational. The new method, called vLASSCF, substantially improves the robustness and reproducibility of the LAS wave function compared to LASSCF. We analyze the storage and operation cost scaling of vLASSCF compared to orbital optimization using a standard CASSCF approach and we show results of vLASSCF calculations on some simple test systems. We show that vLASSCF is energetically equivalent to CASSCF in the limit of one active subspace, and that vLASSCF significantly improves upon the reliability of LASSCF energy differences, allowing for more meaningful and subtle analysis of potential energy curves of dissociating molecules. We also show that all forms of LASSCF have a lower operation cost scaling than the orbital-optimization part of CASSCF.


title: Dehn colorings and vertex-weight invariants for spatial graphs

abstract: In this paper, we study Dehn colorings for spatial graphs, and give a family of spatial graph invariants that are called vertex-weight invariants. We give some examples of spatial graphs that can be distinguished by a vertex-weight invariant, whereas distinguished by neither their constituent links nor the number of Dehn colorings.


title: Bardasis-Schrieffer polaritons in excitonic insulators

abstract: Bardasis-Schrieffer modes in superconductors are fluctuations in subdominant pairing channels, e.g., d-wave fluctuations in an s-wave superconductor. This Rapid Communication shows that these modes also generically occur in excitonic insulators. In s-wave excitonic insulators, a p-wave Bardasis-Schrieffer mode exists below the gap energy, is optically active and hybridizes strongly with photons to form Bardasis-Schrieffer polaritons, which are observable in both far-field and near-field optical experiments.


title: Rainbow Hamilton Cycles in Random Geometric Graphs

abstract: Let $X_1,X_2,\ldots,X_n$ be chosen independently and uniformly at random from the unit $d$-dimensional cube $[0,1]^d$. Let $r$ be given and let $\cal X=\{X_1,X_2,\ldots,X_n\}$. The random geometric graph $G=G_{\cal X,r}$ has vertex set $\cal X$ and an edge $X_iX_j$ whenever $\|X_i-X_j\|\leq r$. We show that if each edge of $G$ is colored independently from one of $n+o(n)$ colors and $r$ has the smallest value such that $G$ has minimum degree at least two, then $G$ contains a rainbow Hamilton cycle a.a.s.


title: Novel Edge and Density Metrics for Link Cohesion

abstract: We present a new metric of link cohesion for measuring the strength of edges in complex, highly connected graphs. Link cohesion accounts for local small hop connections and associated node degrees and can be used to support edge scoring and graph simplification. We also present a novel graph density measure to estimate the average cohesion across nodes. Link cohesion and the density measure are employed to demonstrate community detection through graph sparsification by maximizing graph density. Link cohesion is also shown to be loosely correlated with edge betweenness centrality.


title: Neural networks approach for mammography diagnosis using wavelets features

abstract: A supervised diagnosis system for digital mammogram is developed. The diagnosis processes are done by transforming the data of the images into a feature vector using wavelets multilevel decomposition. This vector is used as the feature tailored toward separating different mammogram classes. The suggested model consists of artificial neural networks designed for classifying mammograms according to tumor type and risk level. Results are enhanced from our previous study by extracting feature vectors using multilevel decompositions instead of one level of decomposition. Radiologist-labeled images were used to evaluate the diagnosis system. Results are very promising and show possible guide for future work.


title: The Cost and Benefits of Static Analysis During Development

abstract: Without quantitative data, deciding whether and how to use static analysis in a development workflow is a matter of expert opinion and guesswork rather than an engineering trade-off. Moreover, relevant data collected under real-world conditions is scarce. Important but unknown quantitative parameters include, but are not limited to, the effort to apply the techniques, the effectiveness of removing defects, where in the workflow the analysis should be applied, and how static analysis interacts with other quality techniques. This study examined the detailed development process data 35 industrial development projects that included static analysis and that were also instrumented with the Team Software Process. We collected data project plans, logs of effort, defect, and size and post mortem reports and analyzed performance of their development activities to populate a parameterized performance model. We compared effort and defect levels with and without static analysis using a planning model that includes feedback for defect removal effectiveness and fix effort. We found evidence that using each tool developers found and removed defects at a higher rate than alternative removal techniques. Moreover, the early and inexpensive removal reduced not only final defect density but also total development effort. The contributions of this paper include real-world benchmarks of process data from projects using static analysis tools, a demonstration of a cost-effectiveness analysis using this data, and a recommendation these tools were consistently cost effective operationally.


title: Fully stabilized multi-TW optical waveform synthesizer for gigawatt soft-x-ray isolated attosecond pulses

abstract: A stable 50 mJ three-channel optical waveform synthesizer is demonstrated and used to reproducibly generate a high-order harmonics supercontinuum in the soft-x-ray region. This synthesizer is composed of pump pulses from a 10-Hz-repetition-rate Ti:sapphire pump laser and signal and idler pulses from an infrared two-stage optical parametric amplifier driven by this pump laser. With the full active stabilization of all relative time delays, relative phases, and the carrier-envelope phase, a shot-to-shot stable intense continuum harmonic spectrum is obtained around 60 eV with pulse energy above 0.24 $\mu$J. The peak power of the soft-x-ray continuum is evaluated to be beyond 1 GW with a 140 as transform limit duration. Furthermore, we found a characteristic delay dependence of the multi-cycle waveform synthesizer and established its control scheme. Compared with the one-color case, we experimentally observe an enhancement of the cut-off spectrum intensity by one to two orders of magnitude through the three-color waveform synthesis.


title: QED and QCD helicity amplitudes in parton-shower gauge

abstract: We introduce photon and gluon propagators in which the scalar polarization component is subtracted systematically by making use of the BRST invariance of the off-shell vector boson created from physical on-shell states. The propagator has the light-cone gauge form, where the spacial component of the gauge vector points along the negative of the off-shell vector boson momentum. We call the gauge as parton-shower gauge, since in collinear configurations the absolute value squared of each Feynman amplitude reproduces all the singular behaviors of the corresponding parton shower in this gauge. We introduce new HELAS codes that can be used to calculate the tree-level helicity amplitudes of arbitrary QED and QCD processes by using MadGraph. The absence of subtle gauge cancellation among Feynman amplitudes allows numerical codes to evaluate singular behaviors accurately, and helps us gaining physical insights on interference patterns.


title: Re-evaluation of the comparative effectiveness of bootstrap-based optimism correction methods in the development of multivariable clinical prediction models

abstract: Multivariable predictive models are important statistical tools for providing synthetic diagnosis and prognostic algorithms based on multiple patients' characteristics. Their apparent discriminant and calibration measures usually have overestimation biases (known as 'optimism') relative to the actual performances for external populations. Existing statistical evidence and guidelines suggest that three bootstrap-based bias correction methods are preferable in practice, namely Harrell's bias correction and the .632 and .632+ estimators. Although Harrell's method has been widely adopted in clinical studies, simulation-based evidence indicates that the .632+ estimator may perform better than the other two methods. However, there is limited evidence and these methods' actual comparative effectiveness is still unclear. In this article, we conducted extensive simulations to compare the effectiveness of these methods, particularly using the following modern regression models: conventional logistic regression, stepwise variable selections, Firth's penalized likelihood method, ridge, lasso, and elastic-net. Under relatively large sample settings, the three bootstrap-based methods were comparable and performed well. However, all three methods had biases under small sample settings, and the directions and sizes of the biases were inconsistent. In general, the .632+ estimator is recommended, but we provide several notes concerning the operating characteristics of each method.


title: The Multiple Points of Fractional Brownian Motion

abstract: Nils Tongring (1987) proved sufficient conditions for a compact set to contain $k$-tuple points of a Brownian motion. In this paper, we extend these findings to the fractional Brownian motion. Using the property of strong local nondeterminism, we show that if $B$ is a fractional Brownian motion in $\mathbb{R}^d$ with Hurst index $H$ such that $Hd=1$, and $E$ is a fixed, nonempty compact set in $\mathbb{R}^d$ with positive capacity with respect to the function $\phi(s) = (\log_+(1/s))^k$, then $E$ contains $k$-tuple points with positive probability. For the $Hd > 1$ case, the same result holds with the function replaced by $\phi(s) = s^{-k(d-1/H)}$.


title: Bayesian Spatial Homogeneity Pursuit for Survival Data with an Application to the SEER Respiratory Cancer Data

abstract: In this work, we propose a new Bayesian spatial homogeneity pursuit method for survival data under the proportional hazards model to detect spatially clustered patterns in baseline hazard and regression coefficients. Specially, regression coefficients and baseline hazard are assumed to have spatial homogeneity pattern over space. To capture such homogeneity, we develop a geographically weighted Chinese restaurant process prior to simultaneously estimate coefficients and baseline hazards and their uncertainty measures. An efficient Markov chain Monte Carlo (MCMC) algorithm is designed for our proposed methods. Performance is evaluated using simulated data, and further applied to a real data analysis of respiratory cancer in the state of Louisiana.


title: Unifying Graph Embedding Features with Graph Convolutional Networks for Skeleton-based Action Recognition

abstract: Combining skeleton structure with graph convolutional networks has achieved remarkable performance in human action recognition. Since current research focuses on designing basic graph for representing skeleton data, these embedding features contain basic topological information, which cannot learn more systematic perspectives from skeleton data. In this paper, we overcome this limitation by proposing a novel framework, which unifies 15 graph embedding features into the graph convolutional network for human action recognition, aiming to best take advantage of graph information to distinguish key joints, bones, and body parts in human action, instead of being exclusive to a single feature or domain. Additionally, we fully investigate how to find the best graph features of skeleton structure for improving human action recognition. Besides, the topological information of the skeleton sequence is explored to further enhance the performance in a multi-stream framework. Moreover, the unified graph features are extracted by the adaptive methods on the training process, which further yields improvements. Our model is validated by three large-scale datasets, namely NTU-RGB+D, Kinetics and SYSU-3D, and outperforms the state-of-the-art methods. Overall, our work unified graph embedding features to promotes systematic research on human action recognition.


title: Assembly and disorder dissipation in superparamagnetic nanoparticle chains in a rotating magnetic field

abstract: We investigate the formation of chains of superparamagnetic iron oxide nanoparticles (SPIONs) in a rotating magnetic field, combining two well-explored chain-forming systems: larger micron-scale beads in a rotating magnetic field, and SPIONs in a static field. This simple combination is interesting because it features self-assembly that occurs both far from equilibrium and at a finite temperature, with the better-explored systems constituting respectively its zero temperature and near-equilibrium limits. Theories applicable to either of the two limits qualitatively predict the chain length distributions, except that chains in our experiments are shorter, which we attribute to the simultaneous presence of thermal fluctuations and fluid shear forces that work in concert to break chains apart. Our most striking result is that the disorder in the SPION chains gradually dissipates over a timescale of tens of minutes, about two orders of magnitude slower than the characteristic chain assembly time. The disorder dissipation can be sped up by increasing particle concentration and solution ionic strength, both of which increase the speed of chain assembly. This strongly suggests that the improvement in chain order with time is not due to thermal fluctuations but rather to energy imparted by the self-assembly process, which continually causes chains to grow and break apart, even when a steady state distribution has obtained. More generally, our results indicate that self-assembly away from equilibrium may sometimes lead to better ordered assemblies than under near-equilibrium conditions.


title: Communication optimization strategies for distributed deep neural network training: A survey

abstract: Recent trends in high-performance computing and deep learning have led to the proliferation of studies on large-scale deep neural network training. However, the frequent communication requirements among computation nodes drastically slows the overall training speeds, which causes bottlenecks in distributed training, particularly in clusters with limited network bandwidths. To mitigate the drawbacks of distributed communications, researchers have proposed various optimization strategies. In this paper, we provide a comprehensive survey of communication strategies from both an algorithm viewpoint and a computer network perspective. Algorithm optimizations focus on reducing the communication volumes used in distributed training, while network optimizations focus on accelerating the communications between distributed devices. At the algorithm level, we describe how to reduce the number of communication rounds and transmitted bits per round. In addition, we elucidate how to overlap computation and communication. At the network level, we discuss the effects caused by network infrastructures, including logical communication schemes and network protocols. Finally, we extrapolate the potential future challenges and new research directions to accelerate communications for distributed deep neural network training.


title: Multi-scale coupling during magnetopause reconnection: the interface between the electron and ion diffusion regions

abstract: Magnetospheric Multiscale (MMS) encountered the primary low-latitude magnetopause reconnection site when the inter-spacecraft separation exceeded the upstream ion inertial length. Classical signatures of the ion diffusion region (IDR), including a sub-ion-Alfv\'enic de-magnetized ion exhaust, a super-ion-Alfv\'enic magnetized electron exhaust, and Hall electromagnetic fields, are identified. The opening angle between the magnetopause and magnetospheric separatrix is $30^\circ\pm5^\circ$. The exhaust preferentially expands sunward, displacing the magnetosheath. Intense pileup of reconnected magnetic flux occurs between the magnetosheath separatrix and the magnetopause in a narrow channel intermediate between the ion and electron scales. The strength of the pileup (normalized values of 0.3-0.5) is consistent with the large angle at which the magnetopause is inclined relative to the overall reconnection coordinates. MMS-4, which was two ion inertial lengths closer to the X-line than the other three spacecraft, observed intense electron-dominated currents and kinetic-to-electromagnetic-field energy conversion within the pileup. MMS-1, 2, and 3 did not observe the intense currents nor the particle-to-field energy conversion but did observe the pileup, indicating that the edge of the generation region was contained within the tetrahedron. Comparisons with particle-in-cell simulations reveal that the electron currents and large inclination angle of the magnetopause are interconnected features of the asymmetric Hall effect. Between the separatrix and the magnetopause, high-density inflowing magnetosheath electrons brake and turn into the outflow direction, imparting energy to the normal magnetic field and generating the pileup. The findings indicate that electron dynamics are likely an important influence on the magnetic field structure within the ion diffusion region.


title: Quantum Fourier Transform Revisited

abstract: The fast Fourier transform (FFT) is one of the most successful numerical algorithms of the 20th century and has found numerous applications in many branches of computational science and engineering. The FFT algorithm can be derived from a particular matrix decomposition of the discrete Fourier transform (DFT) matrix. In this paper, we show that the quantum Fourier transform (QFT) can be derived by further decomposing the diagonal factors of the FFT matrix decomposition into products of matrices with Kronecker product structure. We analyze the implication of this Kronecker product structure on the discrete Fourier transform of rank-1 tensors on a classical computer. We also explain why such a structure can take advantage of an important quantum computer feature that enables the QFT algorithm to attain an exponential speedup on a quantum computer over the FFT algorithm on a classical computer. Further, the connection between the matrix decomposition of the DFT matrix and a quantum circuit is made. We also discuss a natural extension of a radix-2 QFT decomposition to a radix-d QFT decomposition. No prior knowledge of quantum computing is required to understand what is presented in this paper. Yet, we believe this paper may help readers to gain some rudimentary understanding of the nature of quantum computing from a matrix computation point of view.


title: General Relaxation Methods for Initial-Value Problems with Application to Multistep Schemes

abstract: Recently, an approach known as relaxation has been developed for preserving the correct evolution of a functional in the numerical solution of initial-value problems, using Runge-Kutta methods. We generalize this approach to multistep methods, including all general linear methods of order two or higher, and many other classes of schemes. We prove the existence of a valid relaxation parameter and high-order accuracy of the resulting method, in the context of general equations, including but not limited to conservative or dissipative systems. The theory is illustrated with several numerical examples.


title: Ordinal sum of two binary operations being a t-norm on bounded lattice

abstract: The ordinal sum of t-norms on a bounded lattice has been used to construct other t-norms. However, an ordinal sum of binary operations (not necessarily t-norms) defined on the fixed subintervals of a bounded lattice may not be a t-norm. Some necessary and sufficient conditions are presented in this paper for ensuring that an ordinal sum on a bounded lattice of two binary operations is, in fact, a t-norm. In particular, the results presented here provide an answer to an open problem put forward by Ertu\u{g}rul and Ye\c{s}ilyurt [Ordinal sums of triangular norms on bounded lattices, Inf. Sci., 517 (2020) 198-216].


title: A Framework for the Computational Linguistic Analysis of Dehumanization

abstract: Dehumanization is a pernicious psychological process that often leads to extreme intergroup bias, hate speech, and violence aimed at targeted social groups. Despite these serious consequences and the wealth of available data, dehumanization has not yet been computationally studied on a large scale. Drawing upon social psychology research, we create a computational linguistic framework for analyzing dehumanizing language by identifying linguistic correlates of salient components of dehumanization. We then apply this framework to analyze discussions of LGBTQ people in the New York Times from 1986 to 2015. Overall, we find increasingly humanizing descriptions of LGBTQ people over time. However, we find that the label homosexual has emerged to be much more strongly associated with dehumanizing attitudes than other labels, such as gay. Our proposed techniques highlight processes of linguistic variation and change in discourses surrounding marginalized groups. Furthermore, the ability to analyze dehumanizing language at a large scale has implications for automatically detecting and understanding media bias as well as abusive language online.


title: Protecting quantum Fisher information in correlated quantum channels

abstract: Quantum Fisher information (QFI) has potential applications in quantum metrology tasks. We investigate QFI when the consecutive actions of a quantum channel on the sequence of qubits have partial classical correlations. Our results showed that while the decoherence effect is detrimental to QFI, effects of such classical correlations on QFI are channel-dependent. For the Bell-type probe states, the classical correlations on consecutive actions of the depolarizing and phase flip channels can be harnessed to improve QFI, while the classical correlations in the bit flip and bit-phase flip channels induce a slight decrease of QFI. For a more general parameterization form of the probe states, the advantage of using initial correlated system on improving QFI can also be remained in a wide regime of the correlated quantum channels.


title: Boundedness to a logistic chemotaxis system with singular sensitivity

abstract: In this paper, we study the parabolic-elliptic Keller-Segel system with singular sensitivity and logistic-type source: $ u_t=\Delta u-\chi\nabla\cdot(\frac{u}{v}\nabla v)+ru-\mu u^k$, $0=\Delta v-v+u$ under the non-flux boundary conditions in a smooth bounded convex domain $\Omega\subset\mathbb{R}^n$, $\chi,r,\mu>0$, $k>1$ and $n\ge 2$. It is shown that the system possesses a globally bounded classical solution if $k>\frac{3n-2}{n}$, and $r>\frac{\chi^2}{4}$ for $0<\chi\le 2$, or $r> \chi-1$ for $\chi>2$. In addition, under the same condition for $r,\chi$, the system admits a global generalized solution when $k\in(2-\frac{1}{n},\frac{3n-2}{n}]$, moreover this global generalized solution should be globally bounded provided $\frac{r}{\mu}$ and the initial data $u_0$ suitably small.


title: Membranes for spontaneous separation of pedestrian counter flows

abstract: Designing efficient traffic lanes for pedestrians is a critical aspect of urban planning as walking remains the most common form of mobility among the increasingly diverse methods of transportation. Herein, we investigate pedestrian counter flows in a straight corridor, in which two groups of people are walking in opposite directions. We demonstrate, using a molecular dynamics approach applying the social force model, that a simple array of obstacles improves flow rates by producing flow separations even in crowded situations. We also report on a developed model describing the separation behavior that regards an array of obstacles as a membrane and induces spontaneous separation of pedestrians groups. When appropriately designed, those obstacles are fully capable of controlling the filtering direction so that pedestrians tend to keep moving to their left (or right) spontaneously. These results have the potential to provide useful guidelines for industrial designs aimed at improving ubiquitous human mobility.


title: Ancient solutions to the Curve Shortening Flow spanning the halfplane

abstract: In this note we construct an infinite family of ancient solutions to the Curve Shortening Flow which span the halfplane.


title: Barriers for rectangular matrix multiplication

abstract: We study the algorithmic problem of multiplying large matrices that are rectangular. We prove that the method that has been used to construct the fastest algorithms for rectangular matrix multiplication cannot give optimal algorithms. In fact, we prove a precise numerical barrier for this method. Our barrier improves the previously known barriers, both in the numerical sense, as well as in its generality. We prove our result using the asymptotic spectrum of tensors. More precisely, we crucially make use of two families of real tensor parameters with special algebraic properties: the quantum functionals and the support functionals. In particular, we prove that any lower bound on the dual exponent of matrix multiplication $\alpha$ via the big Coppersmith-Winograd tensors cannot exceed 0.625.


title: First-Principles Experimental Demonstration of Ferroelectricity in a Thermotropic Nematic Liquid Crystal: Spontaneous Polar Domains and Striking Electro-Optics

abstract: We report the experimental determination of the structure and response to applied electric field of the lower-temperature nematic phase of the previously reported calamitic compound 4-[(4-nitrophenoxy)carbonyl]phenyl2,4-dimethoxybenzoate (RM734). We exploit its electro-optics to visualize the appearance, in the absence of applied field, of a permanent electric polarization density, manifested as a spontaneously broken symmetry in distinct domains of opposite polar orientation. Polarization reversal is mediated by field-induced domain wall movement, making this phase ferroelectric, a 3D uniaxial nematic having a spontaneous, reorientable, polarization locally parallel to the director. This polarization density saturates at a low temperature value of ~ 6 microcoulombs/cm-sqd, the largest ever measured for an organic material or for any fluid. This polarization is comparable to that of solid state ferroelectrics, and is close to the average value obtained by assuming perfect, polar alignment of molecular long axes in the nematic. We find a host of spectacular optical and hydrodynamic effects driven by ultra-low applied field (E~1V/cm), produced by the coupling of the large polarization to nematic birefringence and flow. Electrostatic self-interaction of the polarization charge renders the transition from the nematic phase mean-field-like and weakly first-order, and controls the director field structure of the ferroelectric phase. Atomistic molecular dynamics simulation reveals short-range polar molecular interactions that favor ferroelectric ordering, including a tendency for head-to-tail association into polar, chain-like assemblies having polar lateral correlations. These results indicate a significant potential for transformative new nematic science and technology based on the enhanced understanding, development, and exploitation of molecular electrostatic interaction.


title: Exploiting Verified Neural Networks via Floating Point Numerical Error

abstract: Researchers have developed neural network verification algorithms motivated by the need to characterize the robustness of deep neural networks. The verifiers aspire to answer whether a neural network guarantees certain properties with respect to all inputs in a space. However, many verifiers inaccurately model floating point arithmetic but do not thoroughly discuss the consequences. We show that the negligence of floating point error leads to unsound verification that can be systematically exploited in practice. For a pretrained neural network, we present a method that efficiently searches inputs as witnesses for the incorrectness of robustness claims made by a complete verifier. We also present a method to construct neural network architectures and weights that induce wrong results of an incomplete verifier. Our results highlight that, to achieve practically reliable verification of neural networks, any verification system must accurately (or conservatively) model the effects of any floating point computations in the network inference or verification system.


title: Experimental demonstration of high sensitivity refractive index sensing based on magnetic plasmons in a simple metallic deep nanogroove array

abstract: A high-performance wide-angle refractive index sensor based on a simple onedimensional (1D) metallic deep nanogroove array with high aspect ratio is experimentally fabricated and demonstrated. The 1D deep groove array is featured by the excitation of magnetic plasmon (MP), referring to an effective coupling of incident electromagnetic waves with a strong magnetic response induced inside the deep grooves. Utilizing the MP resonances that are extremely sensitive to the surrounding dielectric medium, we successfully achieve a refractive index sensitivity (RIS) up to $\sim$1300 nm/RIU, which is higher than that of most experimentally designed plasmonic sensors in infrared region. Importantly, benefiting from angle-independent MP resonances with strong confinement of magnetic field inside the deep grooves and strong electric field localization at the groove openings, we demonstrate wide-angle sensing capability valid in a broadband infrared region with an excellent linear dependence on the change of refractive index. Such a MP-based sensor, together with its simple 1D flat nature and ease of fabrication, has great potential for practical design of high sensitive, cost-effective and compact sensing devices.


title: A realistic non-local heat engine based on Coulomb coupled systems

abstract: Optimal non-local heat-engines, based on Coulomb-coupled systems, demand a sharp step-like change in the energy resolved system-to-reservoir coupling around the ground state of quantum-dots. Such a sharp step-like transition in the system-to-reservoir coupling cannot be achieved in a realistic scenario. Here, I propose realistic design for non-local heat engine based on Coulomb-coupled system, which circumvents the need for any change in the system-to-reservoir coupling, demanded by the optimal set-ups discussed in literature. I demonstrate that an intentionally introduced asymmetry (or energy difference) in the ground state configuration between adjacent tunnel coupled quantum dots, in conjugation with Coulomb coupling, is sufficient to convert the stochastic fluctuations from a non-local heat source into a directed flow of thermoelectric current. The performance, along with the regime of operation, of the proposed heat engine is then theoretically investigated using quantum-master-equation (QME) approach. It is demonstrated that the theoretical maximum power output for the proposed set-up is limited to about $50\%$ of the optimal design. Despite a lower performance compared to the optimal set-up, the novelty of the proposed design lies in the conjunction of fabrication simplicity along with reasonable power output. At the end, the sequential transport processes leading to a performance deterioration of the proposed set-up are analyzed and a method to alleviate such transport processes is discussed. The set-up proposed in this paper can be used to design and fabricate high-performance non-local cryogenic heat engines.


title: A novel mathematical model of heterogeneous cell proliferation

abstract: We present a novel mathematical model of heterogeneous cell proliferation where the total population consists of a subpopulation of slow-proliferating cells and a subpopulation of fast-proliferating cells. The model incorporates two cellular processes, asymmetric cell division and induced switching between proliferative states, which are important determinants for the heterogeneity of a cell population. As motivation for our model we provide experimental data that illustrate the induced-switching process. Our model consists of a system of two coupled delay differential equations with distributed time delays and the cell densities as functions of time. The distributed delays are bounded and allow for the choice of delay kernel. We analyse the model and prove the non-negativity and boundedness of solutions, the existence and uniqueness of solutions, and the local stability characteristics of the equilibrium points. We find that the parameters for induced switching are bifurcation parameters and therefore determine the long-term behaviour of the model. Numerical simulations illustrate and support the theoretical findings, and demonstrate the primary importance of transient dynamics for understanding the evolution of many experimental cell populations.


title: Modeling User Behaviors in Machine Operation Tasks for Adaptive Guidance

abstract: An adaptive guidance system that supports equipment operators requires a comprehensive model, which involves a variety of user behaviors that considers different skill and knowledge levels, as well as rapid-changing task situations. In the present paper, we introduced a novel method for modeling operational tasks, aiming to integrate visual operation records provided by users with diverse experience levels and personal characteristics. For this purpose, we investigated the relationships between user behavior patterns that could be visually observed and their skill levels under machine operation conditions. We considered 144 samples of two sewing tasks performed by 12 operators using a head-mounted RGB-D camera and a static gaze tracker. Behavioral features, such as the operator's gaze and head movements, hand interactions, and hotspots, were observed with significant behavioral trends resulting from continuous user skill improvement. We used a two-step method to model the diversity of user behavior: prototype selection and experience integration based on skill ranking. The experimental results showed that several features could serve as appropriate indices for user skill evaluation, as well as providing valuable clues for revealing personal behavioral characteristics. The integration of user records with different skills and operational habits allowed developing a rich, inclusive task model that could be used flexibly to adapt to diverse user-specific needs.


title: DA4AD: End-to-End Deep Attention-based Visual Localization for Autonomous Driving

abstract: We present a visual localization framework based on novel deep attention aware features for autonomous driving that achieves centimeter level localization accuracy. Conventional approaches to the visual localization problem rely on handcrafted features or human-made objects on the road. They are known to be either prone to unstable matching caused by severe appearance or lighting changes, or too scarce to deliver constant and robust localization results in challenging scenarios. In this work, we seek to exploit the deep attention mechanism to search for salient, distinctive and stable features that are good for long-term matching in the scene through a novel end-to-end deep neural network. Furthermore, our learned feature descriptors are demonstrated to be competent to establish robust matches and therefore successfully estimate the optimal camera poses with high precision. We comprehensively validate the effectiveness of our method using a freshly collected dataset with high-quality ground truth trajectories and hardware synchronization between sensors. Results demonstrate that our method achieves a competitive localization accuracy when compared to the LiDAR-based localization solutions under various challenging circumstances, leading to a potential low-cost localization solution for autonomous driving.


title: Deep Phase Shifter for Quantitative Phase Imaging

abstract: A single intensity-only holographic interferogram can records the full amplitude and phase information of optical field. However, current digital holography technologies cannot recover the lossless phase information from a single interferogram. In this paper, we provide an entirely new approach for the full-field quantitative phase imaging technology. We demonstrate that deep learning can be used to replace the entitative phase shifter, and quantitative phase imaging can obtain quantitative phase from a single interferogram in in-line holography. A deep-phase-shift network (DPS-net) is reported, which can be trained with simulation training data. The trained DPS-net can be used to generate multiple interferograms with arbitrary phase shift from a single interferogram as an artificial intelligence phase shifter. The ability and the accuracy of generating arbitrary phase shifts are verified, and the performance of the proposed method is also verified by the experimental interferogram. The results demonstrate that the proposed method can provide a full digital phase shifter with high-accuracy for the technology of dynamic quantitative phase measurement.


title: Recovering compressed images for automatic crack segmentation using generative models

abstract: In a structural health monitoring (SHM) system that uses digital cameras to monitor cracks of structural surfaces, techniques for reliable and effective data compression are essential to ensure a stable and energy efficient crack images transmission in wireless devices, e.g., drones and robots with high definition cameras installed. Compressive sensing (CS) is a signal processing technique that allows accurate recovery of a signal from a sampling rate much smaller than the limitation of the Nyquist sampling theorem. The conventional CS method is based on the principle that, through a regularized optimization, the sparsity property of the original signals in some domain can be exploited to get the exact reconstruction with a high probability. However, the strong assumption of the signals being highly sparse in an invertible space is relatively hard for real crack images. In this paper, we present a new approach of CS that replaces the sparsity regularization with a generative model that is able to effectively capture a low dimension representation of targeted images. We develop a recovery framework for automatic crack segmentation of compressed crack images based on this new CS method and demonstrate the remarkable performance of the method taking advantage of the strong capability of generative models to capture the necessary features required in the crack segmentation task even the backgrounds of the generated images are not well reconstructed. The superior performance of our recovery framework is illustrated by comparing with three existing CS algorithms. Furthermore, we show that our framework is extensible to other common problems in automatic crack segmentation, such as defect recovery from motion blurring and occlusion.


title: An ergodic correspondence principle, invariant means and applications

abstract: A theorem due to Hindman states that if $E$ is a subset of $\mathbb{N}$ with $d^*(E)>0$, where $d^*$ denotes the upper Banach density, then for any $\varepsilon>0$ there exists $N \in \mathbb{N}$ such that $d^*\left(\bigcup_{i=1}^N(E-i)\right) > 1-\varepsilon$. Curiously, this result does not hold if one replaces the upper Banach density $d^*$ with the upper density $\bar{d}$. Originally proved combinatorially, Hindman's theorem allows for a quick and easy proof using an ergodic version of Furstenberg's correspondence principle. In this paper, we establish a variant of the ergodic Furstenberg's correspondence principle for general amenable (semi)-groups and obtain some new applications, which include a refinement and a generalization of Hindman's theorem and a characterization of countable amenable minimally almost periodic groups.


title: Clean-Label Backdoor Attacks on Video Recognition Models

abstract: Deep neural networks (DNNs) are vulnerable to backdoor attacks which can hide backdoor triggers in DNNs by poisoning training data. A backdoored model behaves normally on clean test images, yet consistently predicts a particular target class for any test examples that contain the trigger pattern. As such, backdoor attacks are hard to detect, and have raised severe security concerns in real-world applications. Thus far, backdoor research has mostly been conducted in the image domain with image classification models. In this paper, we show that existing image backdoor attacks are far less effective on videos, and outline 4 strict conditions where existing attacks are likely to fail: 1) scenarios with more input dimensions (eg. videos), 2) scenarios with high resolution, 3) scenarios with a large number of classes and few examples per class (a "sparse dataset"), and 4) attacks with access to correct labels (eg. clean-label attacks). We propose the use of a universal adversarial trigger as the backdoor trigger to attack video recognition models, a situation where backdoor attacks are likely to be challenged by the above 4 strict conditions. We show on benchmark video datasets that our proposed backdoor attack can manipulate state-of-the-art video models with high success rates by poisoning only a small proportion of training data (without changing the labels). We also show that our proposed backdoor attack is resistant to state-of-the-art backdoor defense/detection methods, and can even be applied to improve image backdoor attacks. Our proposed video backdoor attack not only serves as a strong baseline for improving the robustness of video models, but also provides a new perspective for more understanding more powerful backdoor attacks.


title: Epitaxial growth and orientation-dependent anomalous Hall effect of noncollinear antiferromagnetic Mn$_3$Ni$_{0.35}$Cu$_{0.65}$N films

abstract: We report the growth of noncollinear antiferromagnetic (AFM) Mn$_3$Ni$_{0.35}$Cu$_{0.65}$N films and the orientation-dependent anomalous Hall effect (AHE) of (001) and (111) films due to nonzero Berry curvature. We found that post-annealing at 500$^\circ$C can significantly improve the AHE signals, though using the appropriate post-annealing conditions is important. The AHE and magnetization loops show sharp flipping at the coercive field in (111) films, while (001) films are hard to saturate by a magnetic field. The anomalous Hall conductivity of (111) films is an order of magnitude larger than that of (001) films. The present results provide not only a better understanding of the AHE in Mn$_3X$N systems but also further opportunities to study the unique phenomena related to noncollinear AFM.


title: Modeling Spontaneous Exit Choices in Intercity Expressway Traffic with Quantum Walk

abstract: In intercity expressway traffic, a driver frequently makes decisions to adjust driving behavior according to time, location and traffic conditions, which further affects when and where the driver will leave away from the expressway traffic. Spontaneous exit choices by drivers are hard to observe and thus it is a challenge to model intercity expressway traffic sufficiently. In this paper, we developed a Spontaneous Quantum Traffic Model (SQTM), which models the stochastic traffic fluctuation caused by spontaneous exit choices and the residual regularity fluctuation with Quantum Walk and Autoregressive Moving Average model (ARMA), respectively. SQTM considers the spontaneous exit choice of a driver as a quantum stochastic process with a dynamical probability function varies according to time, location and traffic conditions. A quantum walk is applied to update the probability function, which simulates when and where a driver will leave the traffic affected by spontaneous exit choices. We validate our model with hourly traffic data from 7 exits from the Nanjing-Changzhou expressway in Eastern China. For the 7 exits, the coefficients of determination of SQTM ranged from 0.5 to 0.85. Compared with classical random walk and ARMA model, the coefficients of determination were increased by 21.28% to 104.98%, and relative mean square error decreased by 11.61% to 32.92%. We conclude that SQTM provides new potential for modeling traffic dynamics with consideration of unobservable spontaneous driver's decision-making.