title: Spin Matrix Theory String Backgrounds and Penrose Limits of AdS/CFT

abstract: Spin Matrix theory (SMT) limits provide a way to capture the dynamics of the AdS/CFT correspondence near BPS bounds. On the string theory side, these limits result in non-relativistic sigma models that can be interpreted as novel non-relativistic strings. This SMT string theory couples to non-relativistic $U(1)$-Galilean background geometries. In this paper, we explore the relation between pp-wave backgrounds obtained from Penrose limits of AdS${}_5 \times S^5$, and a new type of $U(1)$-Galilean backgrounds that we call flat-fluxed (FF) backgrounds. These FF backgrounds are the simplest possible SMT string backgrounds and correspond to free magnons from the spin chain perspective. We provide a catalogue of the $U(1)$-Galilean backgrounds one obtains from SMT limits of string theory on AdS${}_5 \times S^5$ and subsequently study large charge limits of these geometries from which the FF backgrounds emerge. We show that these limits are analogous to Penrose limits of AdS${}_5 \times S^5$ and demonstrate that the large charge/Penrose limits commute with the SMT limits. Finally, we point out that $U(1)$-Galilean backgrounds prescribe a symplectic manifold for the transverse SMT string embedding fields. This is illustrated with a Hamiltonian derivation for the SMT limit of a particle.


title: Preface: New trends in first-passage methods and applications in the life sciences and engineering

abstract: This is the preface to the special issue of the Journal of Physics A: Mathematical and Theoretical, entitled "New trends in first-passage methods and applications in the life sciences and engineering"


title: MTLB-STRUCT @PARSEME 2020: Capturing Unseen Multiword Expressions Using Multi-task Learning and Pre-trained Masked Language Models

abstract: This paper describes a semi-supervised system that jointly learns verbal multiword expressions (VMWEs) and dependency parse trees as an auxiliary task. The model benefits from pre-trained multilingual BERT. BERT hidden layers are shared among the two tasks and we introduce an additional linear layer to retrieve VMWE tags. The dependency parse tree prediction is modelled by a linear layer and a bilinear one plus a tree CRF on top of BERT. The system has participated in the open track of the PARSEME shared task 2020 and ranked first in terms of F1-score in identifying unseen VMWEs as well as VMWEs in general, averaged across all 14 languages.


title: Charmonium-like resonances with $J^{PC}=0^{++},2^{++}$ in coupled $D\bar D$, $D_s\bar D_s$ scattering on the lattice

abstract: We present the first lattice investigation of coupled-channel $D\bar D$ and $D_s\bar D_s$ scattering in the $J^{PC}=0^{++}$ and $2^{++}$ channels. The scattering matrix for partial waves $l=0,2$ and isospin zero is determined using multiple volumes and inertial frames via L\"uscher's formalism. Lattice QCD ensembles from the CLS consortium with $m_{\pi}\simeq280$ MeV, $a \simeq 0.09 $ fm and $L/a=24,~32$ are utilized. The resulting scattering matrix suggests the existence of three charmonium-like states with $J^{PC}=0^{++}$ in the energy region ranging from slightly below $2m_D$ up to 4.13 GeV. We find a so far unobserved $D\bar D$ bound state just below threshold and a $D\bar D$ resonance likely related to $\chi_{c0}(3860)$, which is believed to be $\chi_{c0}(2P)$. In addition, there is an indication for a narrow $0^{++}$ resonance just below the $D_s\bar D_s$ threshold with a large coupling to $D_s\bar D_s$ and a very small coupling to $D\bar D$. This resonance is possibly related to the narrow $X(3915)$/$\chi_{c0}(3930)$ observed in experiment also just below $D_s\bar D_s$. The partial wave $l=2$ features a resonance likely related to $\chi_{c2}(3930)$. We work with several assumptions, such as the omission of $J/\psi\omega$, $\eta_c\eta$ and three-particle channels. Only statistical uncertainties are quantified, while the extrapolations to the physical quark-masses and the continuum limit are challenges for the future.


title: Mutual Modality Learning for Video Action Classification

abstract: The construction of models for video action classification progresses rapidly. However, the performance of those models can still be easily improved by ensembling with the same models trained on different modalities (e.g. Optical flow). Unfortunately, it is computationally expensive to use several modalities during inference. Recent works examine the ways to integrate advantages of multi-modality into a single RGB-model. Yet, there is still a room for improvement. In this paper, we explore the various methods to embed the ensemble power into a single model. We show that proper initialization, as well as mutual modality learning, enhances single-modality models. As a result, we achieve state-of-the-art results in the Something-Something-v2 benchmark.


title: Social Choice with Changing Preferences: Representation Theorems and Long-Run Policies

abstract: We study group decision making with changing preferences as a Markov Decision Process. We are motivated by the increasing prevalence of automated decision-making systems when making choices for groups of people over time. Our main contribution is to show how classic representation theorems from social choice theory can be adapted to characterize optimal policies in this dynamic setting. We provide an axiomatic characterization of MDP reward functions that agree with the Utilitarianism social welfare functionals of social choice theory. We also provide discussion of cases when the implementation of social choice-theoretic axioms may fail to lead to long-run optimal outcomes.


title: Linear dynamics of operators on B_O(H)

abstract: In this paper we characterize hypercyclic translation operators on the space of all compact linear operators on a Hilbert space H. Also, we give some sufficient condition for a related cosine operator function to be chaotic or topologically transitive


title: The surface sensitivity of rubble-pile asteroids during a distant planetary encounter: Influence of asteroid shape elongation

abstract: We numerically investigate how an asteroid's elongation controls the sensitivity of its surface to tidal effects during a distant planetary encounter beyond the Roche limit. We analyze the surface slope and its variation by considering the shape elongation, as well as the spin period and orbital conditions. A more elongated asteroid tends to have a higher slope variation, while there may not be a monotonic increase of the total area having such a variation


title: Majorana Neutrinos in Same-Sign $W^\pm W^\pm$ Scattering at the LHC: Breaking the TeV Barrier

abstract: We revisit the sensitivity to non-resonant, heavy Majorana neutrinos $N$ in same-sign $W^\pm W^\pm$ scattering at the $\sqrt{s}=13$ TeV LHC and its high-luminosity upgrade. As a benchmark scenario, we work in the context of the Phenomenological Type I Seesaw model, relying on a simulation up to next-to-leading order in QCD with parton shower matching. After extensively studying the phenomenology of the $pp\to\mu^\pm\mu^\pm j j$ process at the amplitude and differential levels, we design a simple collider analysis with remarkable signal-background separation power. At 95\% confidence level we find that the squared muon-heavy neutrino mixing element $\vert V_{\mu N} \vert^{2}$ can be probed down to about $0.06-0.3 ~ (0.03-0.1)$ for $m_N = 1-10~{\rm TeV}$ with $\mathcal{L}=300$ fb$^{-1}~(3$ ab$^{-1})$. For heavier masses of $m_N = 20~{\rm TeV}$, we report sensitivity for $\vert V_{\mu N} \vert^{2}\gtrsim 0.5~(0.3)$. The $W^\pm W^\pm$ scattering channel can greatly extend the mass range covered by current LHC searches for heavy Majorana neutrinos and particularly adds invaluable sensitivity above a few hundred GeV. We comment on areas where the analysis can be improved as well as on the applicability to other tests of neutrino mass models.


title: Super- and subradiance by entangled free particles

abstract: When multiple quantum emitters radiate, their emission rate may be enhanced or suppressed due to collective interference in a process known as super- or subradiance. Such processes are well-known to occur also in light emission by free charged particles. To date, all experimental and theoretical studies of super- and subradiance in these systems involved the classical correlations between the emitters. However, dependence on quantum correlations, such as entanglement between different emitting particles, has not been studied. Recent advances in coherent-shaping of free-electron wavefunctions motivate the investigation of such quantum regimes of super- and subradiance. In this Letter, we show how a pair of coincident path-entangled electrons can demonstrate either super- or subradiant light emission, depending on the two-particle wavefunction. By choosing different free-electron Bell-states, the spectrum and emission pattern of the light can be reshaped, in a manner that cannot be accounted for by a classical mixed state. We show these results for light emission in any optical medium, and discuss their generalization to many-body quantum states. Our findings suggest that light emission can be sensitive to the explicit quantum state of the emitting matter wave, and possibly serve as a non-destructive measurement scheme for measuring the quantum state of many-body systems.


title: The Effect of Bi-conical Outflows on Ly$\alpha$ Escape From Green Peas

abstract: We analyze the spectra of $10$ Green Pea galaxies, previously studied by Henry et al. (2015), using a semi-analytical line transfer (SALT) model to interpret emission and absorption features observed in UV galactic spectra. We focus our analysis on various ionization states of silicon, associated with the cool ($\sim 10^4$ K) and warm ($\sim 10^5$ K) gas. By analyzing low-ionization lines, we study the relationships between the distribution and kinematics of the outflowing H I gas and the observed Ly$\alpha$ escape fraction, $f_{esc}^{Ly\alpha}$, as well as the Ly$\alpha$ emission peak separation, $\Delta_{peak}$. We find that outflow geometries which leave a portion of the source uncovered along the line of sight create the best conditions for Ly$\alpha$ escape and have narrow peak separations, while geometries which block the observer's view of the source create the worst conditions for Ly$\alpha$ escape and have large peak separations. To isolate the effects of outflow kinematics, we restricted our testing set to galaxies with spherical outflows and found that $f_{esc}^{Ly\alpha}$ and the Ly$\alpha$ luminosity both increase with the extent of the galactic winds. A simple estimate suggests that the collisional excitation of neutral hydrogen by free electrons in the cool gas of the winds can account for the Ly$\alpha$ luminosity observed in these objects. Finally, we speculate on the relationship between outflows and the escape of ionizing radiation from the CGM.


title: How strong is Ramsey's theorem if infinity can be weak?

abstract: We study the first-order consequences of Ramsey's Theorem for $k$-colourings of $n$-tuples, for fixed $n, k \ge 2$, over the relatively weak second-order arithmetic theory $\mathrm{RCA}^*_0$. Using the Chong-Mourad coding lemma, we show that in a model of $\mathrm{RCA}^*_0 + \neg \mathrm{I}\Sigma^0_1$, $\mathrm{RT}^n_k$ is equivalent to its own relativization to any proper $\Sigma^0_1$-definable cut, so its truth value remains unchanged in all extensions of the model with the same first-order universe. We give an axiomatization of the first-order consequences of $\mathrm{RCA}^*_0 + \mathrm{RT}^n_k$ for $n \ge 3$. We show that they form a non-finitely axiomatizable subtheory of PA whose $\Pi_3$ fragment is $\mathrm{B}\Sigma_1 + \exp$ and whose $\Pi_{\ell+3}$ fragment for $\ell \ge 1$ lies between $\mathrm{I}\Sigma_\ell \Rightarrow \mathrm{B}\Sigma_{\ell+1}$ and $\mathrm{B}\Sigma_{\ell+1}$. We also consider the first-order consequences of $\mathrm{RCA}^*_0 + \mathrm{RT}^2_k$. We show that they form a subtheory of $\mathrm{I}\Sigma_2$ whose $\Pi_3$ fragment is $\mathrm{B}\Sigma_1 + \exp$ and whose $\Pi_4$ fragment is strictly weaker than $\mathrm{B}\Sigma_2$ but not contained in $\mathrm{I}\Sigma_1$. Additionally, we consider a principle $\Delta^0_2$-$\mathrm{RT}^2_2$, defined like $\mathrm{RT}^2_2$ but with both the $2$-colourings and the solutions allowed to be $\Delta^0_2$-sets. We show that the behaviour of $\Delta^0_2$-$\mathrm{RT}^2_2$ over $\mathrm{RCA}_0 + \mathrm{B}\Sigma^0_2$ is similar to that of $\mathrm{RT}^2_2$ over $\mathrm{RCA}^*_0$, and that $\mathrm{RCA}_0 + \mathrm{B}\Sigma^0_2 + \Delta^0_2$-$\mathrm{RT}^2_2$ is $\Pi_4$- but not $\Pi_5$-conservative over $\mathrm{B}\Sigma_2$. However, the statement we use to witness lack of $\Pi_5$-conservativity is not provable in $\mathrm{RCA}_0 +\mathrm{RT}^2_2$.


title: Polymers for Extreme Conditions Designed Using Syntax-Directed Variational Autoencoders

abstract: The design/discovery of new materials is highly non-trivial owing to the near-infinite possibilities of material candidates, and multiple required property/performance objectives. Thus, machine learning tools are now commonly employed to virtually screen material candidates with desired properties by learning a theoretical mapping from material-to-property space, referred to as the \emph{forward} problem. However, this approach is inefficient, and severely constrained by the candidates that human imagination can conceive. Thus, in this work on polymers, we tackle the materials discovery challenge by solving the \emph{inverse} problem: directly generating candidates that satisfy desired property/performance objectives. We utilize syntax-directed variational autoencoders (VAE) in tandem with Gaussian process regression (GPR) models to discover polymers expected to be robust under three extreme conditions: (1) high temperatures, (2) high electric field, and (3) high temperature \emph{and} high electric field, useful for critical structural, electrical and energy storage applications. This approach to learn from (and augment) human ingenuity is general, and can be extended to discover polymers with other targeted properties and performance measures.


title: Re-Assessing the "Classify and Count" Quantification Method

abstract: Learning to quantify (a.k.a.\ quantification) is a task concerned with training unbiased estimators of class prevalence via supervised learning. This task originated with the observation that "Classify and Count" (CC), the trivial method of obtaining class prevalence estimates, is often a biased estimator, and thus delivers suboptimal quantification accuracy; following this observation, several methods for learning to quantify have been proposed that have been shown to outperform CC. In this work we contend that previous works have failed to use properly optimised versions of CC. We thus reassess the real merits of CC (and its variants), and argue that, while still inferior to some cutting-edge methods, they deliver near-state-of-the-art accuracy once (a) hyperparameter optimisation is performed, and (b) this optimisation is performed by using a true quantification loss instead of a standard classification-based loss. Experiments on three publicly available binary sentiment classification datasets support these conclusions.


title: Uncertainty-Aware Voxel based 3D Object Detection and Tracking with von-Mises Loss

abstract: Object detection and tracking is a key task in autonomy. Specifically, 3D object detection and tracking have been an emerging hot topic recently. Although various methods have been proposed for object detection, uncertainty in the 3D detection and tracking tasks has been less explored. Uncertainty helps us tackle the error in the perception system and improve robustness. In this paper, we propose a method for improving target tracking performance by adding uncertainty regression to the SECOND detector, which is one of the most representative algorithms of 3D object detection. Our method estimates positional and dimensional uncertainties with Gaussian Negative Log-Likelihood (NLL) Loss for estimation and introduces von-Mises NLL Loss for angular uncertainty estimation. We fed the uncertainty output into a classical object tracking framework and proved that our method increased the tracking performance compared against the vanilla tracker with constant covariance assumption.


title: The homology of the groupoid of the self-similar dihedral group

abstract: We give an example of a locally compact effective Hausdorff, minimal ample groupoid such that its rational homology differs from the $K$-theory of its reduced groupoid $C^*$-algebra. Moreover, we prove that such example satisfies Matui's AH-conjecture.


title: Impact of delayed response on Wearable Cognitive Assistance

abstract: Wearable Cognitive Assistants (WCA) are anticipated to become a widely-used application class, in conjunction with emerging network infrastructures like 5G that incorporate edge computing capabilities. While prototypical studies of such applications exist today, the relationship between infrastructure service provisioning and its implication for WCA usability is largely unexplored despite the relevance that these applications have for future networks. This paper presents an experimental study assessing how WCA users react to varying end-to-end delays induced by the application pipeline or infrastructure. Participants interacted directly with an instrumented task-guidance WCA as delays were introduced into the system in a controllable fashion. System and task state were tracked in real time, and biometric data from wearable sensors on the participants were recorded. Our results show that periods of extended system delay cause users to correspondingly (and substantially) slow down in their guided task execution, an effect that persists for a time after the system returns to a more responsive state. Furthermore, the slow-down in task execution is correlated with a personality trait, neuroticism, associated with intolerance for time delays. We show that our results implicate impaired cognitive planning, as contrasted with resource depletion or emotional arousal, as the reason for slowed user task executions under system delay. The findings have several implications for the design and operation of WCA applications as well as computational and communication infrastructure, and additionally for the development of performance analysis tools for WCA.


title: Predict and Write: Using K-Means Clustering to Extend the Lifetime of NVM Storage

abstract: Non-volatile memory (NVM) technologies suffer from limited write endurance. To address this challenge, we propose Predict and Write (PNW), a K/V-store that uses a clustering-based machine learning approach to extend the lifetime of NVMs. PNW decreases the number of bit flips for PUT/UPDATE operations by determining the best memory location an updated value should be written to. PNW leverages the indirection level of K/V-stores to freely choose the target memory location for any given write based on its value. PNW organizes NVM addresses in a dynamic address pool clustered by the similarity of the data values they refer to. We show that, by choosing the right target memory location for a given PUT/UPDATE operation, the number of total bit flips and cache lines can be reduced by up to 85% and 56% over the state of the art.


title: Chaos-Assisted Long-Range Tunneling for Quantum Simulation

abstract: We present an extension of the chaos-assisted tunneling mechanism to spatially periodic lattice systems. We demonstrate that driving such lattice systems in an intermediate regime of modulation maps them onto tight-binding Hamiltonians with chaos-induced long-range hoppings $t_n \propto 1/n$ between sites at a distance $n$. We provide a numerical demonstration of the robustness of the results and derive an analytical prediction for the hopping term law. Such systems can thus be used to enlarge the scope of quantum simulations to experimentally realize long-range models of condensed matter.


title: Miniature Annular Permanent Magnet Assembly with Fast Far Field Decay and Majority Collimated Central Field

abstract: We report on a 3/8" OD x 1/4" ID x 3/8" long NdFeB assembly of 1/16" thick annulars boasting half the 1/100 far field transverse decay distance compared to an ID Helholtz-spaced pair of similar annulars; and greater than 50% of ID collimated better than 1/1000. The device is applied to a He-3,-4 laser spectroscopy experiment.


title: Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems

abstract: To find failure events and their likelihoods in flight-critical systems, we investigate the use of an advanced black-box stress testing approach called adaptive stress testing. We analyze a trajectory predictor from a developmental commercial flight management system which takes as input a collection of lateral waypoints and en-route environmental conditions. Our aim is to search for failure events relating to inconsistencies in the predicted lateral trajectories. The intention of this work is to find likely failures and report them back to the developers so they can address and potentially resolve shortcomings of the system before deployment. To improve search performance, this work extends the adaptive stress testing formulation to be applied more generally to sequential decision-making problems with episodic reward by collecting the state transitions during the search and evaluating at the end of the simulated rollout. We use a modified Monte Carlo tree search algorithm with progressive widening as our adversarial reinforcement learner. The performance is compared to direct Monte Carlo simulations and to the cross-entropy method as an alternative importance sampling baseline. The goal is to find potential problems otherwise not found by traditional requirements-based testing. Results indicate that our adaptive stress testing approach finds more failures and finds failures with higher likelihood relative to the baseline approaches.


title: Independent Gaussian Distributions Minimize the Kullback-Leibler (KL) Divergence from Independent Gaussian Distributions

abstract: This short note is on a property of the Kullback-Leibler (KL) divergence which indicates that independent Gaussian distributions minimize the KL divergence from given independent Gaussian distributions. The primary purpose of this note is for the referencing of papers that need to make use of this property entirely or partially.

categories: cs.IT cs.LG cs.SY eess.SP eess.SY math.IT math.ST stat.TH


title: A Multi-Channel Temporal Attention Convolutional Neural Network Model for Environmental Sound Classification

abstract: Recently, many attention-based deep neural networks have emerged and achieved state-of-the-art performance in environmental sound classification. The essence of attention mechanism is assigning contribution weights on different parts of features, namely channels, spectral or spatial contents, and temporal frames. In this paper, we propose an effective convolutional neural network structure with a multi-channel temporal attention (MCTA) block, which applies a temporal attention mechanism within each channel of the embedded features to extract channel-wise relevant temporal information. This multi-channel temporal attention structure will result in a distinct attention vector for each channel, which enables the network to fully exploit the relevant temporal information in different channels. The datasets used to test our model include ESC-50 and its subset ESC-10, along with development sets of DCASE 2018 and 2019. In our experiments, MCTA performed better than the single-channel temporal attention model and the non-attention model with the same number of parameters. Furthermore, we compared our model with some successful attention-based models and obtained competitive results with a relatively lighter network.


title: Towards characterizing locally common graphs

abstract: A graph H is common if the number of monochromatic copies of H in a 2-edge-coloring of the complete graph is asymptotically minimized by the random coloring. The classification of common graphs is one of the most intriguing problems in extremal graph theory. We study the notion of weakly locally common graphs considered by Cs\'oka, Hubai and Lov\'asz [arXiv:1912.02926], where the graph is required to be the minimizer with respect to perturbations of the random 2-edge-coloring. We give a complete analysis of the 12 initial terms in the Taylor series determining the number of monochromatic copies of H in such perturbations and classify graphs H based on this analysis into three categories: graphs of Class I are weakly locally common, graphs of Class II are not weakly locally common, and graphs of Class III cannot be determined to be weakly locally common or not based on the initial 12 terms. As a corollary, we obtain new necessary conditions on a graph to be common and new sufficient conditions on a graph to be not common.


title: Fault-Tolerant Individual Pitch Control of Floating Offshore Wind Turbines via Subspace Predictive Repetitive Control

abstract: Individual Pitch Control (IPC) is an effective and widely-used strategy to mitigate blade loads in wind turbines. However, conventional IPC fails to cope with blade and actuator faults, and this situation may lead to an emergency shutdown and increased maintenance costs. In this paper, a Fault-Tolerant Individual Pitch Control (FTIPC) scheme is developed to accommodate these faults in Floating Offshore Wind Turbines (FOWTs), based on a Subspace Predictive Repetitive Control (SPRC) approach. To fulfill this goal, an online subspace identification paradigm is implemented to derive a linear approximation of the FOWT system dynamics. Then, a repetitive control law is formulated to attain load mitigation under operational conditions, both in healthy and faulty conditions. Since the excitation noise used for the online subspace identification may interfere with the nominal power generation of the wind turbine, a novel excitation technique is developed to restrict excitation at specific frequencies. Results show that significant load reductions are achieved by FTIPC, while effectively accommodating blade and actuator faults and while restricting the energy of the persistently exciting control action.


title: Observations of lenticular galaxies at the 6m telescope of the Special Astrophysical Observatory

abstract: This is a historical review covering the last 30 years of the observational study of lenticular galaxies at the 6m telescope BTA of the Special Astrophysical Observatory of the Russian Academy of Sciences. The development of spectroscopic techniques at the BTA has allowed to get comprehensive information about this class of stellar systems, starting from the study of their nuclei in the late 80th towards quite exclusive results obtained in the last years on the outermost parts of their large-scale stellar disks.


title: Diversity-Enriched Option-Critic

abstract: Temporal abstraction allows reinforcement learning agents to represent knowledge and develop strategies over different temporal scales. The option-critic framework has been demonstrated to learn temporally extended actions, represented as options, end-to-end in a model-free setting. However, feasibility of option-critic remains limited due to two major challenges, multiple options adopting very similar behavior, or a shrinking set of task relevant options. These occurrences not only void the need for temporal abstraction, they also affect performance. In this paper, we tackle these problems by learning a diverse set of options. We introduce an information-theoretic intrinsic reward, which augments the task reward, as well as a novel termination objective, in order to encourage behavioral diversity in the option set. We show empirically that our proposed method is capable of learning options end-to-end on several discrete and continuous control tasks, outperforms option-critic by a wide margin. Furthermore, we show that our approach sustainably generates robust, reusable, reliable and interpretable options, in contrast to option-critic.


title: MK-SQuIT: Synthesizing Questions using Iterative Template-filling

abstract: The aim of this work is to create a framework for synthetically generating question/query pairs with as little human input as possible. These datasets can be used to train machine translation systems to convert natural language questions into queries, a useful tool that could allow for more natural access to database information. Existing methods of dataset generation require human input that scales linearly with the size of the dataset, resulting in small datasets. Aside from a short initial configuration task, no human input is required during the query generation process of our system. We leverage WikiData, a knowledge base of RDF triples, as a source for generating the main content of questions and queries. Using multiple layers of question templating we are able to sidestep some of the most challenging parts of query generation that have been handled by humans in previous methods; humans never have to modify, aggregate, inspect, annotate, or generate any questions or queries at any step in the process. Our system is easily configurable to multiple domains and can be modified to generate queries in natural languages other than English. We also present an example dataset of 110,000 question/query pairs across four WikiData domains. We then present a baseline model that we train using the dataset which shows promise in a commercial QA setting.


title: Natural Higher-Derivatives Generalization for the Klein-Gordon Equation

abstract: We propose a natural family of higher-order partial differential equations generalizing the second-order Klein-Gordon equation. We characterize the associated model by means of a generalized action for a scalar field, containing higher-derivative terms. The limit obtained by considering arbitrarily higher-order powers of the d'Alembertian operator leading to a formal infinite-order partial differential equation is discussed. The general model is constructed using the exponential of the d'Alembertian differential operator. The canonical energy-momentum tensor densities and field propagators are explicitly computed. We consider both homogeneous and non-homogeneous situations. The classical solutions are obtained for all cases.


title: Multiple solutions for a class of semilinear elliptic equations

abstract: By using truncation technique, minimization method and Morse theory, we obtain three nontrivial solutions for a class of semilinear elliptic equations.


title: The $L^{2}$ sequential convergence of a solution to the one dimensional, mass-critical NLS above the ground state

abstract: In this paper we generalize a weak sequential result of \cite{fan20182} to any non-scattering solutions in one dimension. No symmetry assumptions are required for the initial data.


title: DUDE: Deep Unsigned Distance Embeddings for Hi-Fidelity Representation of Complex 3D Surfaces

abstract: High fidelity representation of shapes with arbitrary topology is an important problem for a variety of vision and graphics applications. Owing to their limited resolution, classical discrete shape representations using point clouds, voxels and meshes produce low quality results when used in these applications. Several implicit 3D shape representation approaches using deep neural networks have been proposed leading to significant improvements in both quality of representations as well as the impact on downstream applications. However, these methods can only be used to represent topologically closed shapes which greatly limits the class of shapes that they can represent. As a consequence, they also often require clean, watertight meshes for training. In this work, we propose DUDE - a Deep Unsigned Distance Embedding method which alleviates both of these shortcomings. DUDE is a disentangled shape representation that utilizes an unsigned distance field (uDF) to represent proximity to a surface, and a normal vector field (nVF) to represent surface orientation. We show that a combination of these two (uDF+nVF) can be used to learn high fidelity representations for arbitrary open/closed shapes. As opposed to prior work such as DeepSDF, our shape representations can be directly learnt from noisy triangle soups, and do not need watertight meshes. Additionally, we propose novel algorithms for extracting and rendering iso-surfaces from the learnt representations. We validate DUDE on benchmark 3D datasets and demonstrate that it produces significant improvements over the state of the art.


title: Spin reorientations and crystal field modification in Ho$_{1-y}$Gd$_y$Al$_2$ compounds

abstract: We have performed an experimental and theoretical investigation on the spin reorientation transitions Ho$_{1-y}$Gd$_y$Al$_2$ compounds. Crystallographic, magnetic and calorimetric measurements have been performed for five selected samples in the Ho$_{1-y}$Gd$_y$Al$_2$ series ($y$ = 0, 0.25, 0.5, 0.75 and 1.0). From the results, a linear increase in the lattice parameter as a function of Gd-content ($x$) is observed. Magnetization measurements show that all samples present collinear ferromagnetism. Specific heat measurements were performed in order to detail the first-order spin reorientation transition (FOSRT) that appears for HoAl$_2$ around 20 K. Furthermore, we investigated how the increase in Gd content affects the character of such phase transition. Our results show a slightly modification in the spin reorientation transition temperature, which moves to lower temperatures as Gd is increased in HoAl$_2$, whereas for the selected concentrations up to x = 0.75 the first-order character of the transition is maintained. Such behavior may lead to a large refrigerant capacity (RC) over a wide temperature range, which is an important parameter to evaluate the magnetocaloric effect (MCE) of such compounds. The theoretical analysis by means of a model Hamiltonian that includes crystal field, exchange and Zeeman interactions reveals a modification in the crystal-field acting on Ho ions as Gd-content is increased.


title: Multi-layer Feature Aggregation for Deep Scene Parsing Models

abstract: Scene parsing from images is a fundamental yet challenging problem in visual content understanding. In this dense prediction task, the parsing model assigns every pixel to a categorical label, which requires the contextual information of adjacent image patches. So the challenge for this learning task is to simultaneously describe the geometric and semantic properties of objects or a scene. In this paper, we explore the effective use of multi-layer feature outputs of the deep parsing networks for spatial-semantic consistency by designing a novel feature aggregation module to generate the appropriate global representation prior, to improve the discriminative power of features. The proposed module can auto-select the intermediate visual features to correlate the spatial and semantic information. At the same time, the multiple skip connections form a strong supervision, making the deep parsing network easy to train. Extensive experiments on four public scene parsing datasets prove that the deep parsing network equipped with the proposed feature aggregation module can achieve very promising results.


title: EEGS: A Transparent Model of Emotions

abstract: This paper presents the computational details of our emotion model, EEGS, and also provides an overview of a three-stage validation methodology used for the evaluation of our model, which can also be applicable for other computational models of emotion. A major gap in existing emotion modelling literature has been the lack of computational/technical details of the implemented models, which not only makes it difficult for early-stage researchers to understand the area but also prevents benchmarking of the developed models for expert researchers. We partly addressed these issues by presenting technical details for the computation of appraisal variables in our previous work. In this paper, we present mathematical formulas for the calculation of emotion intensities based on the theoretical premises of appraisal theory. Moreover, we will discuss how we enable our emotion model to reach to a regulated emotional state for social acceptability of autonomous agents. We hope this paper will allow a better transparency of knowledge, accurate benchmarking and further evolution of the field of emotion modelling.


title: Learning Trajectories for Visual-Inertial System Calibration via Model-based Heuristic Deep Reinforcement Learning

abstract: Visual-inertial systems rely on precise calibrations of both camera intrinsics and inter-sensor extrinsics, which typically require manually performing complex motions in front of a calibration target. In this work we present a novel approach to obtain favorable trajectories for visual-inertial system calibration, using model-based deep reinforcement learning. Our key contribution is to model the calibration process as a Markov decision process and then use model-based deep reinforcement learning with particle swarm optimization to establish a sequence of calibration trajectories to be performed by a robot arm. Our experiments show that while maintaining similar or shorter path lengths, the trajectories generated by our learned policy result in lower calibration errors compared to random or handcrafted trajectories.


title: Invariant connections on G-spaces from invariant connections on G and their group of transformations

abstract: For certain affine galoisian coverings whose automorphims are affine transformations, we give a method to compute the group of affine transformations of the base manifold. We use the fact that, in this case, the base manifold inherits a linear connection so that the projection is an affine map. Then we extend this latter result to homogeneous manifolds. More specifically, we give necessary conditions so that a homogeneous $G$-space admits an invariant linear connection induced from a left invariant linear connection on $G$ (the reductive case is treated separately), and we show that if the connection is bi-invariant the natural projection is an affine map. Moreover we prove that, given an affine homogeneous space $G/H$, affine transformations of $G$ commuting with the $G$-action determine affine transformations of $G/H$. The reciprocal is true when $H$ is discrete. As an application, we exhibit the group of affine transformations of the orientable flat affine surfaces.


title: Local vortex line topology and geometry in turbulence

abstract: The local streamline topology classification method of Chong et al. (1990) is adapted and extended to describe the geometry of infinitesimal vortex lines. Direct numerical simulation (DNS) data of forced isotropic turbulence reveals that joint probability density function (PDF) of the second ($q_\omega$) and third ($r_\omega$) normalized invariants of the vorticity gradient tensor asymptotes to a self-similar bell form beyond $Re_\lambda > 200$. The same PDF shape is also seen at the late stages of breakdown of Taylor-Green vortex suggesting the universality of the bell-shaped pdf form in turbulent flows. Additionally, vortex reconnection from different initial configurations is examined. The local topology and geometry of the reconnection bridge is shown to be identical in all cases with elliptic vortex lines on one side and hyperbolic filaments on the other. Overall, topological characterization of vorticity field provides a useful analytical basis for examining vorticity dynamics in turbulence and other fluid flows.


title: Transformation groups of certain flat affine manifolds

abstract: In this paper we characterize the group of affine transformations of a flat affine simply connected manifold whose developing map is a diffeomorphism. This is proved by making use of some simple facts about homeomorphisms of $\mathbb{R}^n$ preserving open connected sets. We show some examples where the characterization is useful.


title: Learning and Evaluating Representations for Deep One-class Classification

abstract: We present a two-stage framework for deep one-class classification. We first learn self-supervised representations from one-class data, and then build one-class classifiers on learned representations. The framework not only allows to learn better representations, but also permits building one-class classifiers that are faithful to the target task. We argue that classifiers inspired by the statistical perspective in generative or discriminative models are more effective than existing approaches, such as a normality score from a surrogate classifier. We thoroughly evaluate different self-supervised representation learning algorithms under the proposed framework for one-class classification. Moreover, we present a novel distribution-augmented contrastive learning that extends training distributions via data augmentation to obstruct the uniformity of contrastive representations. In experiments, we demonstrate state-of-the-art performance on visual domain one-class classification benchmarks, including novelty and anomaly detection. Finally, we present visual explanations, confirming that the decision-making process of deep one-class classifiers is intuitive to humans. The code is available at https://github.com/google-research/deep_representation_one_class.


title: Improved Algorithm for Seamlessly Creating Infinite Loops from a Video Clip, while Preserving Variety in Textures

abstract: This project implements the paper "Video Textures" by Szeliski. The aim is to create a "Moving Picture" or as we popularly call it, a GIF; which is "somewhere between a photograph and a video". The idea is to input a video which has some repeated motion (the texture), such as a flag waving, rain, or a candle flame. The output is a new video that infinitely extends the original video in a seamless way. In practice, the output isn't really infinte, but is instead looped using a video player and is sufficiently long as to appear to never repeat. Our goal from this implementation was to: improve distance metric by switching from a crude sum of squared distance to most sophisticated wavelet-based distance; add intensity normalization, cross-fading and morphing to the suggested basic algorithm. We also experiment on the trade-off between variety and smoothness.


title: DeepReg: a deep learning toolkit for medical image registration

abstract: DeepReg (https://github.com/DeepRegNet/DeepReg) is a community-supported open-source toolkit for research and education in medical image registration using deep learning.


title: Experimental Demonstration of a Quantum Controlled-SWAP Gate with Multiple Degrees of Freedom of a Single Photon

abstract: Optimizing the physical realization of quantum gates is important to build a quantum computer. The controlled-SWAP gate, also named Fredkin gate, can be widely applicable in various quantum information processing schemes. In the present research, we propose and experimentally implement quantum Fredkin gate in a single-photon hybrid-degrees-of-freedom system. Polarization is used as the control qubit, and SWAP operation is achieved in a four-dimensional Hilbert space spanned by photonic orbital angular momentum. The effective conversion rate $\mathcal{P}$ of the quantum Fredkin gate in our experiment is $(95.4\pm 2.6)\%$. Besides, we find that a kind of Greenberger-Horne-Zeilinger-like states can be prepared by using our quantum Fredkin gate, and these nonseparale states can show its quantum contextual characteristic by the violation of Mermin inequality. Our experimental design and coding method are useful for quantum computing and quantum fundamental study in high-dimensional and hybrid coding quantum systems.


title: The Cloud Factory II: Gravoturbulent Kinematics of Resolved Molecular Clouds in a Galactic Potential

abstract: We present a statistical analysis of the gravoturbulent velocity fluctuations in molecular cloud complexes extracted from our "Cloud Factory" galactic-scale ISM simulation suite. For this purpose, we produce non-LTE $^{12}$CO J=1-0 synthetic observations and apply the Principal Component Analysis (PCA) reduction technique on a representative sample of cloud complexes. The velocity fluctuations are self-consistently generated by different physical mechanisms at play in our simulations, which include galactic-scale forces, gas self-gravity, and supernova feedback. The statistical analysis suggests that, even though purely gravitational effects are necessary to reproduce standard observational laws, they are not sufficient in most cases. We show that the extra injection of energy from supernova explosions plays a key role in establishing the global turbulent field and the local dynamics and morphology of molecular clouds. Additionally, we characterise structure function scaling parameters as a result of cloud environmental conditions: some of the complexes are immersed in diffuse (inter-arm) or dense (spiral-arm) environments, and others are influenced by embedded or external supernovae. In quiescent regions, we obtain time-evolving trajectories of scaling parameters driven by gravitational collapse and supersonic turbulent flows. Our findings suggests that a PCA-based statistical study is a robust method to diagnose the physical mechanisms that drive the gravoturbulent properties of molecular clouds. Also, we present a new open source module, the PCAFACTORY, which smartly performs PCA to extract velocity structure functions from simulated or real data of the ISM in a user-friendly way. Software DOI: 10.5281/zenodo.3822718


title: Opinion Dynamics with Varying Susceptibility to Persuasion via Non-Convex Local Search

abstract: A long line of work in social psychology has studied variations in people's susceptibility to persuasion -- the extent to which they are willing to modify their opinions on a topic. This body of literature suggests an interesting perspective on theoretical models of opinion formation by interacting parties in a network: in addition to considering interventions that directly modify people's intrinsic opinions, it is also natural to consider interventions that modify people's susceptibility to persuasion. In this work, motivated by this fact we propose a new framework for social influence. Specifically, we adopt a popular model for social opinion dynamics, where each agent has some fixed innate opinion, and a resistance that measures the importance it places on its innate opinion; agents influence one another's opinions through an iterative process. Under non-trivial conditions, this iterative process converges to some equilibrium opinion vector. For the unbudgeted variant of the problem, the goal is to select the resistance of each agent (from some given range) such that the sum of the equilibrium opinions is minimized. We prove that the objective function is in general non-convex. Hence, formulating the problem as a convex program as in an early version of this work (Abebe et al., KDD'18) might have potential correctness issues. We instead analyze the structure of the objective function, and show that any local optimum is also a global optimum, which is somehow surprising as the objective function might not be convex. Furthermore, we combine the iterative process and the local search paradigm to design very efficient algorithms that can solve the unbudgeted variant of the problem optimally on large-scale graphs containing millions of nodes. Finally, we propose and evaluate experimentally a family of heuristics for the budgeted variation of the problem.


title: Hessian approximations

abstract: This work introduces the nested-set Hessian approximation, a second-order approximation method that can be used in any derivative-free optimization routine that requires such information. It is built on the foundation of the generalized simplex gradient and proved to have an error bound that is on the order of the maximal radius of the two sets used in its construction. We show that when the points used in the computation of the nested-set Hessian have a favourable structure, (n+1)(n+2)/2 function evaluations are sufficient to approximate the Hessian. However, the nested-set Hessian also allows for evaluation sets with more points without negating the error analysis. Two calculus-based approximation techniques of the Hessian are developed and some advantages of the same are demonstrated.


title: Cost-Performance Trade-off in Thermoelectric Air Conditioning System with Graded and Constant Material Properties

abstract: Thermoelectric (TE) air cooling is a solid-state technology that has the potential to replace conventional vapor compression-based air conditioning. In this paper, we present a detailed system-level modeling for thermoelectric air conditioning system with position-dependent (graded) and constant material properties. Strategies for design optimization of the system are provided in terms of cost-performance trade-off. Realistic convection heat transfer at both sides of the system are taken into account in our modeling. Effects of convection heat transfer coefficients, air flowrate, and thermoelectric material properties are investigated with varying key parameters such as TE leg thickness, module fill factor, and input current. Both constant material properties and graded properties are considered for the TE materials, and they are compared in terms of the degree of cooling, coefficient of performance (COP), and power consumption. For graded materials, we employ one-dimensional finite element methods to solve the coupled electrical and thermal current equations with arbitrary profile of material properties varying with position along the TE legs. We find that graded materials can enhance the degree of cooling, but only at the expense of COP, compared to the case of constant property materials. With constant material properties of ZT = 1 and relatively low electric current, the power consumption of TE cooler can be lower than those of conventional air conditioners at an equivalent cooling capacity. Considering additional advantages such as demand-flexible operation, low noise, and high scalability, thermoelectric cooling could be a competitive technology for future air conditioning applications.


title: VSDM: A Virtual Service Device Management Scheme for UPnP-Based IoT Networks

abstract: The ubiquitous nature of IoT devices has brought new and exciting applications in computing and communication paradigms. Due to its ability to enable auto-configurable communication between IoT devices, pervasive applications, and remote clients, the use of the Universal Plug and Play (UPnP) protocol is widespread. However, the advertisement and discovery mechanism of UPnP incurs significant overhead on resource-constrained IoT devices. In this paper, we propose a delegation-based approach that extends the UPnP protocol by offloading the service advertisement and discovery-related overhead from resource-limited IoT devices to the resource-rich neighbours of a UPnP-enabled IoT network. Our experimental evaluations demonstrate that the proposed scheme shows significant improvement over the basic UPnP, reducing energy consumption and network overhead.


title: An Overview of UPnP-based IoT Security: Threats, Vulnerabilities, and Prospective Solutions

abstract: Advances in the development and increased availability of smart devices ranging from small sensors to complex cloud infrastructures as well as various networking technologies and communication protocols have supported the rapid expansion of Internet of Things deployments. The Universal Plug and Play (UPnP) protocol has been widely accepted and used in the IoT domain to support interactions among heterogeneous IoT devices, in part due to zero configuration implementation which makes it feasible for use in large-scale networks. The popularity and ubiquity of UPnP to support IoT systems necessitate an exploration of security risks associated with the use of the protocol for IoT deployments. In this work, we analyze security vulnerabilities of UPnP-based IoT systems and identify attack opportunities by the adversaries leveraging the vulnerabilities. Finally, we propose prospective solutions to secure UPnP-based IoT systems from adversarial operations.


title: The ALFALFA-SDSS Galaxy Catalog

abstract: We present an HI-optical catalog of ~ 30,000 galaxies based on the 100% complete Arecibo Legacy Fast Arecibo L-band Feed Array (ALFALFA) survey combined with data from the Sloan Digital Sky Survey (SDSS). Our goal is to facilitate public use of the completed ALFALFA catalog by providing carefully determined matches to SDSS counterparts, including matches for ~ 12,000 galaxies that do not have SDSS spectra. These identifications can provide a basis for further cross-matching with other surveys using SDSS photometric IDs as a reference point. We derive absolute magnitudes and stellar masses for each galaxy using optical colors combined with an internal reddening correction designed for small- and intermediate-mass galaxies with active star formation. We also provide measures of stellar masses and star formation rates based on infrared and/or ultraviolet photometry for galaxies that are detected by the Wide-field Infrared Survey Explorer (WISE) and/or the Galaxy Evolution Explorer (GALEX). Finally, we compare the galaxy population in the ALFALFA-SDSS sample with the populations in several other publicly-available galaxy catalogs, and confirm that ALFALFA galaxies typically have lower masses and bluer colors.


title: Evidence for galaxy quenching in the green valley caused by a lack of a circumgalactic medium

abstract: The relationship between a galaxy's properties and its circumgalactic medium (CGM) provides a unique view of how galaxies evolve. We present an interesting edge-on (i=86 degrees) disk galaxy (G1547) where the CGM is probed by a background quasar at a distance of 84 kpc and within 10 degrees of the galaxy major axis. G1547 does not have any detectable CGM absorption down to stringent limits, covering HI (EW$_r$<0.02A, log(N(HI)/cm$^{-2}$)<12.6) and a range of low and high ionisation absorption lines (OI, CII, NII, SiII, CIII, NIII, SiIII, CIV, SiIV, NV and OVI). This system is rare, given the covering fraction of $1.00_{-0.04}^{+0.00}$ for sub-L* galaxies within 50-100 kpc of quasar sightlines. G1547 has a low SFR (1.1 M$_{\odot}$yr$^{-1}$), SSFR ($1.5\times10^{-10}$yr$^{-1}$) and $\Sigma_{\rm SFR}$ (0.06 M$_{\odot}$yr$^{-1}$kpc$^{-2}$) and does not exhibit AGN or star-formation driven outflows. Compared to the general population of galaxies, G1547 is in the green valley and has an above average metallicity with a negative gradient. When compared to other HI absorption-selected galaxies, we find that quiescent galaxies with log(SSFR/yr$^{-1})<-11$ have a low probability (4/12) of possessing detectable HI in their CGM, while all galaxies (40/40) with log(SSFR/yr$^{-1})>-11$ have HI absorption. We conclude that SSFR is a good indicator of the presence of HI CGM. Interestingly however, G1547 is the only galaxy with log(SSFR/yr$^{-1})>-11$ that has no detectable CGM. Given the properties of G1547, and its absent CGM, it is plausible that G1547 is undergoing quenching due to a lack of accreting fuel for star-formation, with an estimated quenching timescale of $4\pm1$ Gyr. G1547 provides a unique perspective into the external mechanisms that could explain the migration of galaxies into the green valley.


title: XENON1T implications for the DAMA annual modulation: The good, the bad and the ugly

abstract: Previous work has argued that the DAMA annual modulation signal might be due to electron recoils in plasma dark matter models. A specific model assuming mirror dark matter and featuring collisional shielding of a detector due to Earth-bound dark matter was put forward by this author [arXiv:1806.04293]. That explanation predicted a low energy electron recoil signal in the XENON1T experiment. In light of the excess of electron recoils observed in XENON1T, we re-examine that model's predictions for both DAMA and XENON1T.


title: Modified Vector Quantization for Small-Cell Access Point Placement with Inter-Cell Interference

abstract: In this paper, we explore the small-cell uplink access point (AP) placement problem in the context of throughput-optimality and provide solutions while taking into consideration inter-cell interference. First, we briefly review the vector quantization (VQ) approach and related single user throughput-optimal formulations for AP placement. Then, we investigate the small-cell case with multiple users and expose the limitations of mean squared error based VQ for solving this problem. While the Lloyd algorithm from the VQ approach is found not to strictly solve the small-cell case, based on the tractability and quality of resulting AP placement, we deem it suitable as a simple and appropriate framework to solve more complicated problems. Accordingly, to minimize ICI and consequently enhance achievable throughput, we design two Lloyd-type algorithms, namely, the Interference Lloyd algorithm and the Inter-AP Lloyd algorithm, both of which incorporate ICI in their distortion functions. Simulation results show that both of the proposed algorithms provide superior 95\%-likely rate over the traditional Lloyd algorithm and the Inter-AP Lloyd algorithm yields a significant increase of up to 36.34\% in achievable rate over the Lloyd algorithm.


title: AML-SVM: Adaptive Multilevel Learning with Support Vector Machines

abstract: The support vector machines (SVM) is one of the most widely used and practical optimization based classification models in machine learning because of its interpretability and flexibility to produce high quality results. However, the big data imposes a certain difficulty to the most sophisticated but relatively slow versions of SVM, namely, the nonlinear SVM. The complexity of nonlinear SVM solvers and the number of elements in the kernel matrix quadratically increases with the number of samples in training data. Therefore, both runtime and memory requirements are negatively affected. Moreover, the parameter fitting has extra kernel parameters to tune, which exacerbate the runtime even further. This paper proposes an adaptive multilevel learning framework for the nonlinear SVM, which addresses these challenges, improves the classification quality across the refinement process, and leverages multi-threaded parallel processing for better performance. The integration of parameter fitting in the hierarchical learning framework and adaptive process to stop unnecessary computation significantly reduce the running time while increase the overall performance. The experimental results demonstrate reduced variance on prediction over validation and test data across levels in the hierarchy, and significant speedup compared to state-of-the-art nonlinear SVM libraries without a decrease in the classification quality. The code is accessible at https://github.com/esadr/amlsvm.


title: Detecting Hallucinated Content in Conditional Neural Sequence Generation

abstract: Neural sequence models can generate highly fluent sentences, but recent studies have also shown that they are also prone to hallucinate additional content not supported by the input. These variety of fluent but wrong outputs are particularly problematic, as it will not be possible for users to tell they are being presented incorrect content. To detect these errors, we propose a task to predict whether each token in the output sequence is hallucinated (not contained in the input) and collect new manually annotated evaluation sets for this task. We also introduce a method for learning to detect hallucinations using pretrained language models fine tuned on synthetic data that includes automatically inserted hallucinations Experiments on machine translation (MT) and abstractive summarization demonstrate that our proposed approach consistently outperforms strong baselines on all benchmark datasets. We further demonstrate how to use the token-level hallucination labels to define a fine-grained loss over the target sequence in low-resource MT and achieve significant improvements over strong baseline methods. We also apply our method to word-level quality estimation for MT and show its effectiveness in both supervised and unsupervised settings. Codes and data available at https://github.com/violet-zct/fairseq-detect-hallucination.


title: Universal Multi-Source Domain Adaptation

abstract: Unsupervised domain adaptation enables intelligent models to transfer knowledge from a labeled source domain to a similar but unlabeled target domain. Recent study reveals that knowledge can be transferred from one source domain to another unknown target domain, called Universal Domain Adaptation (UDA). However, in the real-world application, there are often more than one source domain to be exploited for domain adaptation. In this paper, we formally propose a more general domain adaptation setting, universal multi-source domain adaptation (UMDA), where the label sets of multiple source domains can be different and the label set of target domain is completely unknown. The main challenges in UMDA are to identify the common label set between each source domain and target domain, and to keep the model scalable as the number of source domains increases. To address these challenges, we propose a universal multi-source adaptation network (UMAN) to solve the domain adaptation problem without increasing the complexity of the model in various UMDA settings. In UMAN, we estimate the reliability of each known class in the common label set via the prediction margin, which helps adversarial training to better align the distributions of multiple source domains and target domain in the common label set. Moreover, the theoretical guarantee for UMAN is also provided. Massive experimental results show that existing UDA and multi-source DA (MDA) methods cannot be directly applied to UMDA and the proposed UMAN achieves the state-of-the-art performance in various UMDA settings.


title: Unmasking of Novel Conic Modes in Electrically Stressed Perfectly Conducting Liquids

abstract: Liquid metal ion sources (LMIS) are widely used in applications ranging from local ion implantation in semiconductors, to focused ion beam systems for milling and nanolithography, to space micropropulsion devices being developed by NASA. Above a critically large field strength, an electrically stressed liquid metal develops one or more cuspidal protrusions which undergo accelerated conic tip sharpening with runaway field self-enhancement. Zubarev (2001) first predicted from an inviscid model that the electric stresses at the liquid apex undergo self-similar divergent growth in finite time. The inviscid assumption is appropriate to liquid metals since the viscous boundary layer extends only a few tens of nanometers from the moving interface. In this work, we examine in more depth a two-parameter family of far-field self-similar solutions incorporating inertial, electrical and capillary effects, which to leading order describe electric and velocity potential fields corresponding to a rapidly accelerating \textit{dynamic} Taylor cone. These far field solutions are incorporated self-consistently into boundary integral simulations which reveal the entire liquid shape in the near field. By invoking time reversal symmetry inherent to inviscid flow, we unmask an entire family of novel self-similar conic modes exhibiting features such as inertial recoil, tip bulging from accelerated advance and tip counter-current flow as well as multiple interface stagnation points. These dynamic configurations help explain for the first time the origin of decades old experimental observations that have reported phenomena such as tip oscillation, pulsation and breakup during operation. The various liquid tip shapes accessible to such systems should help correct persistent misconceptions of pre- and post-emission behavior in LMIS systems and related technologies.


title: Rule-based Strategies for Dynamic Life Cycle Investment

abstract: In this work, we consider rule-based investment strategies for managing a defined contribution saving scheme under the Dutch pension fund testing model. We found that dynamic rule-based investment can outperform traditional static strategies, by which we mean that the pensioner can achieve the target retirement income with higher probability and limit the shortfall when target is not met. In comparison with the popular dynamic programming technique, the rule-based strategy has a more stable asset allocation throughout time and avoid excessive transactions, which may be hard to explain to the investor. We also study a combined strategy of rule based target and dynamic programming in this work. Another key feature of this work is that there is no risk-free asset under our setting, instead, a matching portfolio is introduced for the investor to avoid unnecessary risk.


title: SBML2Julia: interfacing SBML with efficient nonlinear Julia modelling and solution tools for parameter optimization

abstract: Motivation: Estimating model parameters from experimental observations is one of the key challenges in systems biology and can be computationally very expensive. While the Julia programming language was recently developed as a high-level and high-performance language for scientific computing, systems biologists have only started to realise its potential. For instance, we have recently used Julia to cut down the optimization time of a microbial community model by a factor of 140. To facilitate access of the systems biology community to the efficient nonlinear solvers used for this optimisation, we developed SBML2Julia. SBML2Julia translates optimisation problems specified in SBML and TSV files (PEtab format) into Julia for Mathematical Programming (JuMP), executes the optimization and returns the results in tabular format. Availability and implementation: SBML2Julia is freely available under the MIT license. It comes with a command line interface and Python API. Internally, SBML2Julia calls the Julia LTS release v1.0.5 for optimisation. All necessary dependencies can be pulled from Docker Hub (https://hub.docker.com/repository/docker/paulflang/sbml2julia). Source code and documentation are available at https://github.com/paulflang/SBML2Julia.


title: Binary classification with ambiguous training data

abstract: In supervised learning, we often face with ambiguous (A) samples that are difficult to label even by domain experts. In this paper, we consider a binary classification problem in the presence of such A samples. This problem is substantially different from semi-supervised learning since unlabeled samples are not necessarily difficult samples. Also, it is different from 3-class classification with the positive (P), negative (N), and A classes since we do not want to classify test samples into the A class. Our proposed method extends binary classification with reject option, which trains a classifier and a rejector simultaneously using P and N samples based on the 0-1-$c$ loss with rejection cost $c$. More specifically, we propose to train a classifier and a rejector under the 0-1-$c$-$d$ loss using P, N, and A samples, where $d$ is the misclassification penalty for ambiguous samples. In our practical implementation, we use a convex upper bound of the 0-1-$c$-$d$ loss for computational tractability. Numerical experiments demonstrate that our method can successfully utilize the additional information brought by such A training data.


title: Autonomous Brownian gyrators: a study on gyrating characteristics

abstract: We study the nonequilibrium steady-state (NESS) dynamics of two-dimensional Brownian gyrators under harmonic and nonharmonic potentials via computer simulations and analyses based on the Fokker-Planck equation, while our nonharmonic cases feature a double-well potential and an isotropic quartic potential. In particular, we report two simple methods that can help understand gyrating patterns. For harmonic potentials, we use the Fokker-Planck equation to survey the NESS dynamical characteristics, i.e., the NESS currents gyrate along the equiprobability contours and the stationary point of flow coincides with the potential minimum. As a contrast, the NESS results in our nonharmonic potentials show that these properties are largely absent, as the gyrating patterns are much distinct from those of corresponding probability distributions. Furthermore, we observe a critical case of the double-well potential, where the harmonic contribution to the gyrating pattern becomes absent, and the NESS currents do not circulate about the equiprobability contours nearby the potential minima even at low temperatures.


title: Upwind summation by parts finite difference methods for large scale elastic wave simulations in 3D complex geometries

abstract: High-order accurate summation-by-parts (SBP) finite difference (FD) methods constitute efficient numerical methods for simulating large-scale hyperbolic wave propagation problems. Traditional SBP FD operators that approximate first-order spatial derivatives with central-difference stencils often have spurious unresolved numerical wave-modes in their computed solutions. Recently derived high order accurate upwind SBP operators based upwind FD stencils have the potential to suppress these poisonous spurious wave-modes on marginally resolved computational grids. In this paper, we demonstrate that not all high order upwind SBP FD operators are applicable. Numerical dispersion relation analysis shows that odd-order upwind SBP FD operators also support spurious unresolved high-frequencies on marginally resolved meshes. Meanwhile, even-order upwind SBP FD operators (of order 2, 4, 6) do not support spurious unresolved high frequency wave modes and also have better numerical dispersion properties. We discretise the three space dimensional (3D) elastic wave equation on boundary-conforming curvilinear meshes. Using the energy method we prove that the semi-discrete approximation is stable and energy-conserving. We derive a priori error estimate and prove the convergence of the numerical error. Numerical experiments for the 3D elastic wave equation in complex geometries corroborate the theoretical analysis. Numerical simulations of the 3D elastic wave equation in heterogeneous media with complex non-planar free surface topography are given, including numerical simulations of community developed seismological benchmark problems. Computational results show that even-order upwind SBP FD operators are more efficient, robust and less prone to numerical dispersion errors on marginally resolved meshes when compared to the odd-order upwind and traditional SBP FD operators.


title: Fast, Exact and Scalable Dynamic Ridesharing

abstract: We study the problem of servicing a set of ride requests by dispatching a set of shared vehicles, which is faced by ridesharing companies such as Uber and Lyft. Solving this problem at a large scale might be crucial in the future for effectively using large fleets of autonomous vehicles. Since finding a solution for the entire set of requests that minimizes the total driving time is NP-complete, most practical approaches process the requests one by one. Each request is inserted into any vehicle's route such that the increase in driving time is minimized. Although this variant is solvable in polynomial time, it still takes considerable time in current implementations, even when inexact filtering heuristics are used. In this work, we present a novel algorithm for finding best insertions, based on (customizable) contraction hierarchies with local buckets. Our algorithm finds provably exact solutions, is still 30 times faster than a state-of-the-art algorithm currently used in industry and academia, and scales much better. When used within iterative transport simulations, our algorithm decreases the simulation time for largescale scenarios with many requests from days to hours.


title: Merchant Category Identification Using Credit Card Transactions

abstract: Digital payment volume has proliferated in recent years with the rapid growth of small businesses and online shops. When processing these digital transactions, recognizing each merchant's real identity (i.e., business type) is vital to ensure the integrity of payment processing systems. Conventionally, this problem is formulated as a time series classification problem solely using the merchant transaction history. However, with the large scale of the data, and changing behaviors of merchants and consumers over time, it is extremely challenging to achieve satisfying performance from off-the-shelf classification methods. In this work, we approach this problem from a multi-modal learning perspective, where we use not only the merchant time series data but also the information of merchant-merchant relationship (i.e., affinity) to verify the self-reported business type (i.e., merchant category) of a given merchant. Specifically, we design two individual encoders, where one is responsible for encoding temporal information and the other is responsible for affinity information, and a mechanism to fuse the outputs of the two encoders to accomplish the identification task. Our experiments on real-world credit card transaction data between 71,668 merchants and 433,772,755 customers have demonstrated the effectiveness and efficiency of the proposed model.


title: Homology-changing percolation transitions on finite graphs

abstract: We consider homological edge percolation on a sequence $(\mathcal{G}_t)_t$ of finite graphs covered by an infinite (quasi)transitive graph $\mathcal{H}$, and weakly convergent to $\mathcal{H}$. Namely, we use the covering maps to classify $1$-cycles on graphs $\mathcal{G}_t$ as homologically trivial or non-trivial, and define several thresholds associated with the rank of thus defined first homology group on the open subgraphs. We identify the growth of the homological distance $d_t$, the smallest size of a non-trivial cycle on $\mathcal{G}_t$, as the main factor determining the location of homology-changing thresholds. In particular, we show that the giant cycle erasure threshold $p_E^0$ (related to the conventional erasure threshold for the corresponding sequence of generalized toric codes) coincides with the edge percolation threshold $p_{\rm c}(\mathcal{H})$ if the ratio $d_t/\ln n_t$ diverges, where $n_t$ is the number of edges of $\mathcal{G}_t$, and we give evidence that $p_E^0<p_{\rm c}(\mathcal{H})$ in several cases where this ratio remains bounded, which is necessarily the case if $\mathcal{H}$ is non-amenable.


title: Leveraging Post Hoc Context for Faster Learning in Bandit Settings with Applications in Robot-Assisted Feeding

abstract: Autonomous robot-assisted feeding requires the ability to acquire a wide variety of food items. However, it is impossible for such a system to be trained on all types of food in existence. Therefore, a key challenge is choosing a manipulation strategy for a previously unseen food item. Previous work showed that the problem can be represented as a linear bandit with visual context. However, food has a wide variety of multi-modal properties relevant to manipulation that can be hard to distinguish visually. Our key insight is that we can leverage the haptic context we collect during and after manipulation (i.e., "post hoc") to learn some of these properties and more quickly adapt our visual model to previously unseen food. In general, we propose a modified linear contextual bandit framework augmented with post hoc context observed after action selection to empirically increase learning speed and reduce cumulative regret. Experiments on synthetic data demonstrate that this effect is more pronounced when the dimensionality of the context is large relative to the post hoc context or when the post hoc context model is particularly easy to learn. Finally, we apply this framework to the bite acquisition problem and demonstrate the acquisition of 8 previously unseen types of food with 21% fewer failures across 64 attempts.


title: Deionization Shocks in Crossflow

abstract: Shock electrodialysis is a recently developed electrochemical water treatment method which shows promise for water deionization and ionic separations. Although simple models and scaling laws have been proposed, a predictive theory has not yet emerged to fit experimental data and enable system design. Here, we extend and analyze existing "leaky membrane" models for the canonical case of a steady shock in cross flow, as in recent experimental prototypes. Two-dimensional numerical solutions are compared with analytical boundary-layer approximations and experimental data. The boundary-layer theory accurately reproduces the simulation results for desalination, and both models predict the data collapse of the desalination factor with dimensionless current, scaled to the incoming convective flux of cations. The numerical simulation also predicts the water recovery increase with current. Nevertheless, both approaches cannot quantitatively fit the transition from normal to over-limiting current, which suggests gaps in our understanding of extreme electrokinetic phenomena in porous media.


title: Transforming Facial Weight of Real Images by Editing Latent Space of StyleGAN

abstract: We present an invert-and-edit framework to automatically transform facial weight of an input face image to look thinner or heavier by leveraging semantic facial attributes encoded in the latent space of Generative Adversarial Networks (GANs). Using a pre-trained StyleGAN as the underlying generator, we first employ an optimization-based embedding method to invert the input image into the StyleGAN latent space. Then, we identify the facial-weight attribute direction in the latent space via supervised learning and edit the inverted latent code by moving it positively or negatively along the extracted feature axis. Our framework is empirically shown to produce high-quality and realistic facial-weight transformations without requiring training GANs with a large amount of labeled face images from scratch. Ultimately, our framework can be utilized as part of an intervention to motivate individuals to make healthier food choices by visualizing the future impacts of their behavior on appearance.


title: Towards a Theory of Special-purpose Program Obfuscation

abstract: Most recent theoretical literature on program obfuscation is based on notions like Virtual Black Box (VBB) obfuscation and indistinguishability Obfuscation (iO). These notions are very strong and are hard to satisfy. Further, they offer far more protection than is typically required in practical applications. On the other hand, the security notions introduced by software security researchers are suitable for practical designs but are not formal or precise enough to enable researchers to provide a quantitative security assurance. Hence, in this paper, we introduce a new formalism for practical program obfuscation that still allows rigorous security proofs. We believe our formalism will make it easier to analyse the security of obfuscation schemes. To show the flexibility and power of our formalism, we give a number of examples. Moreover, we explain the close relationship between our formalism and the task of providing obfuscation challenges. This is the full version of the paper. In this version, we also give a new rigorous analysis of several obfuscation techniques and we provide directions for future research.


title: Learning a Decentralized Multi-arm Motion Planner

abstract: We present a closed-loop multi-arm motion planner that is scalable and flexible with team size. Traditional multi-arm robot systems have relied on centralized motion planners, whose runtimes often scale exponentially with team size, and thus, fail to handle dynamic environments with open-loop control. In this paper, we tackle this problem with multi-agent reinforcement learning, where a decentralized policy is trained to control one robot arm in the multi-arm system to reach its target end-effector pose given observations of its workspace state and target end-effector pose. The policy is trained using Soft Actor-Critic with expert demonstrations from a sampling-based motion planning algorithm (i.e., BiRRT). By leveraging classical planning algorithms, we can improve the learning efficiency of the reinforcement learning algorithm while retaining the fast inference time of neural networks. The resulting policy scales sub-linearly and can be deployed on multi-arm systems with variable team sizes. Thanks to the closed-loop and decentralized formulation, our approach generalizes to 5-10 multi-arm systems and dynamic moving targets (>90% success rate for a 10-arm system), despite being trained on only 1-4 arm planning tasks with static targets. Code and data links can be found at https://multiarm.cs.columbia.edu.


title: Cooperative Learning for P2P Energy Trading via Inverse Optimization and Interval Analysis

abstract: Peer-to-peer (P2P) energy systems have recently emerged as a promising approach for integrating renewable and distributed energy resources into energy grids to reduce carbon emissions. However, market-clearing energy price and amounts, resulted from solving optimal P2P energy management problems, might not be satisfactory for peers/agents. This is because peers/agents in practice do not know how to set their cost function parameters when participating into P2P energy markets. To resolve such drawback, this paper proposes a novel approach, in which an inverse optimization problem is formulated for peers/agents to cooperatively learn to choose their objective function parameters, given their intervals of desired energy prices and amounts. The result is that peers/agents can set their objective function parameters in the intervals computed analytically from the lower and upper bounds of their energy price and amounts, if the ratio of their maximum total buying and selling energy amounts lies in a certain interval subject to be learned by them. A case study is then carried out, which validates the effectiveness of the proposed approach.


title: Improving Event Duration Prediction via Time-aware Pre-training

abstract: End-to-end models in NLP rarely encode external world knowledge about length of time. We introduce two effective models for duration prediction, which incorporate external knowledge by reading temporal-related news sentences (time-aware pre-training). Specifically, one model predicts the range/unit where the duration value falls in (R-pred); and the other predicts the exact duration value E-pred. Our best model -- E-pred, substantially outperforms previous work, and captures duration information more accurately than R-pred. We also demonstrate our models are capable of duration prediction in the unsupervised setting, outperforming the baselines.


title: On the Space of Slow Growing Weak Jacobi Forms

abstract: Weak Jacobi forms of weight $0$ and index $m$ can be exponentially lifted to meromorphic Siegel paramodular forms. It was recently observed that the Fourier coefficients of such lifts are then either fast growing or slow growing. In this note we investigate the space of weak Jacobi forms that lead to slow growth. We provide analytic and numerical evidence for the conjecture that there are such slow growing forms for any index $m$.


title: Bitcoin's future carbon footprint

abstract: The carbon footprint of Bitcoin has drawn wide attention, but Bitcoin's long-term impact on the climate remains uncertain. Here we present a framework to overcome uncertainties in previous estimates and project Bitcoin's electricity consumption and carbon footprint in the long term. If we assume Bitcoin's market capitalization grows in line with the one of gold, we find that the annual electricity consumption of Bitcoin may increase from 60 to 400 TWh between 2020 and 2100. The future carbon footprint of Bitcoin strongly depends on the decarbonization pathway of the electricity sector. If the electricity sector achieves carbon neutrality by 2050, Bitcoin's carbon footprint has peaked already. However, in the business-as-usual scenario, emissions sum up to 2 gigatons until 2100, an amount comparable to 7% of global emissions in 2019. The Bitcoin price spike at the end of 2020 shows, however, that progressive development of market capitalization could yield an electricity consumption of more than 100 TWh already in 2021, and lead to cumulative emissions of over 5 gigatons by 2100. Therefore, we also discuss policy instruments to reduce Bitcoin's future carbon footprint.


title: Soliton trains after interaction quenches in Bose mixtures

abstract: We investigate the quench dynamics of a two-component Bose mixture and study the onset of modulational instability, which leads the system far from equilibrium. Analogous to the single-component counterpart, this phenomenon results in the creation of trains of bright solitons. We provide an analytical estimate of the number of solitons at long times after the quench for each of the two components based on the most unstable mode of the Bogoliubov spectrum, which agrees well with our simulations for quenches to the weak attractive regime when the two components possess equal intraspecies interactions and loss rates. We also explain the significantly different soliton dynamics in a realistic experimental homonuclear potassium mixture in terms of different intraspecies interaction and loss rates. We investigate the quench dynamics of the particle number of each component estimating the characteristic time for the appearance of modulational instability for a variety of interaction strengths and loss rates. Finally, we evaluate the influence of the beyond-mean-field contribution, which is crucial for the ground-state properties of the mixture, in the quench dynamics for both the evolution of the particle number and the radial width of the mixture. In particular, even for quenches to strongly attractive effective interactions, we do not observe the dynamical formation of solitonic droplets.


title: Harnessing Distribution Ratio Estimators for Learning Agents with Quality and Diversity

abstract: Quality-Diversity (QD) is a concept from Neuroevolution with some intriguing applications to Reinforcement Learning. It facilitates learning a population of agents where each member is optimized to simultaneously accumulate high task-returns and exhibit behavioral diversity compared to other members. In this paper, we build on a recent kernel-based method for training a QD policy ensemble with Stein variational gradient descent. With kernels based on $f$-divergence between the stationary distributions of policies, we convert the problem to that of efficient estimation of the ratio of these stationary distributions. We then study various distribution ratio estimators used previously for off-policy evaluation and imitation and re-purpose them to compute the gradients for policies in an ensemble such that the resultant population is diverse and of high-quality.


title: Competitive Data-Structure Dynamization

abstract: Data-structure dynamization is a general approach for making static data structures dynamic. It is used extensively in geometric settings and in the guise of so-called merge (or compaction) policies in big-data databases such as Google Bigtable and LevelDB (our focus). Previous theoretical work is based on worst-case analyses for uniform inputs -- insertions of one item at a time and constant read rate. In practice, merge policies must not only handle batch insertions and varying read/write ratios, they can take advantage of such non-uniformity to reduce cost on a per-input basis. To model this, we initiate the study of data-structure dynamization through the lens of competitive analysis, via two new online set-cover problems. For each, the input is a sequence of disjoint sets of weighted items. The sets are revealed one at a time. The algorithm must respond to each with a set cover that covers all items revealed so far. It obtains the cover incrementally from the previous cover by adding one or more sets and optionally removing existing sets. For each new set the algorithm incurs build cost equal to the weight of the items in the set. In the first problem the objective is to minimize total build cost plus total query cost, where the algorithm incurs a query cost at each time $t$ equal to the current cover size. In the second problem, the objective is to minimize the build cost while keeping the query cost from exceeding $k$ (a given parameter) at any time. We give deterministic online algorithms for both variants, with competitive ratios of $\Theta(\log^* n)$ and $k$, respectively. The latter ratio is optimal for the second variant.


title: Time-dependent Performance Analysis of the 802.11p-based Platooning Communications Under Disturbance

abstract: Platooning is a critical technology to realize autonomous driving. Each vehicle in platoons adopts the IEEE 802.11p standard to exchange information through communications to maintain the string stability of platoons. However, one vehicle in platoons inevitably suffers from a disturbance resulting from the leader vehicle acceleration/deceleration, wind gust and uncertainties in a platoon control system, i.e., aerodynamics drag and rolling resistance moment etc. Disturbances acting on one vehicle may inevitably affect the following vehicles and cause that the spacing error is propagated or even amplified downstream along the platoon, i.e., platoon string instability. In this case, the connectivity among vehicles is dynamic, resulting in the performance of 802.11p in terms of packet delay and packet delivery ratio being time-varying. The effect of the string instability would be further deteriorated once the time-varying performance of 802.11p cannot satisfy the basic communication requirement. Unlike the existing works which only analyze the steady performance of 802.11p in vehicular networks, we will focus on the impact of disturbance and construct models to analyze the time-dependent performance of 802.11p-based platooning communications. The effectiveness of the models is validated through simulation results. Moreover, the time-dependent performance of 802.11p is analyzed through numerical results and it is validated that 802.11p is able to satisfy the communication requirement under disturbance.


title: Simulation-Based Performance Prediction of HPC Applications: A Case Study of HPL

abstract: We propose a simulation-based approach for performance modeling of parallel applications on high-performance computing platforms. Our approach enables full-system performance modeling: (1) the hardware platform is represented by an abstract yet high-fidelity model; (2) the computation and communication components are simulated at a functional level, where the simulator allows the use of the components native interface; this results in a (3) fast and accurate simulation of full HPC applications with minimal modifications to the application source code. This hardware/software hybrid modeling methodology allows for low overhead, fast, and accurate exascale simulation and can be easily carried out on a standard client platform (desktop or laptop). We demonstrate the capability and scalability of our approach with High Performance LINPACK (HPL), the benchmark used to rank supercomputers in the TOP500 list. Our results show that our modeling approach can accurately and efficiently predict the performance of HPL at the scale of the TOP500 list supercomputers. For instance, the simulation of HPL on Frontera takes less than five hours with an error rate of four percent.


title: Second order necessary conditions for optimal control problems with endpoints-constraints and convex control-constraints

abstract: In this manuscript, we consider a control system governed by a general ordinary differential equation on a Riemannian manifold, with its endpoints satisfying some inequalities and equalities, and its control constrained to a closed convex set. We concern on an optimal control problem of this system, and obtain the second order necessary condition in the sense of convex variation (Theorem 2.2). To this end, we first obtain a second order necessary condition of an optimization problem (Theorem 4.2) via separation theorem of convex sets. Then, we derive our necessary condition by transforming the optimal control problem into an optimization problem. It is worth to point out that, our necessary condtition evolves the curvature tensor, which is trivial in Euclidean case. Moreover, even M is a Euclidean space, our result is still of interest. Actually, we give an example (Example 2.1) which shows that, when an optimal control stays at the boundary of the control set, the existing results are invalid while Theorem 2.2 works.


title: Don't look back: an online beat tracking method using RNN and enhanced particle filtering

abstract: Online beat tracking (OBT) has always been a challenging task. Due to the inaccessibility of future data and the need to make inference in real-time. We propose Do not Look back! (DLB), a novel approach optimized for efficiency when performing OBT. DLB feeds the activations of a unidirectional RNN into an enhanced Monte-Carlo localization model to infer beat positions. Most preexisting OBT methods either apply some offline approaches to a moving window containing past data to make predictions about future beat positions or must be primed with past data at startup to initialize. Meanwhile, our proposed method only uses activation of the current time frame to infer beat positions. As such, without waiting at the beginning to receive a chunk, it provides an immediate beat tracking response, which is critical for many OBT applications. DLB significantly improves beat tracking accuracy over state-of-the-art OBT methods, yielding a similar performance to offline methods.


title: A multi-level approach with visual information for encrypted H.265/HEVC videos

abstract: High-efficiency video coding (HEVC) encryption has been proposed to encrypt syntax elements for the purpose of video encryption. To achieve high video security, to the best of our knowledge, almost all of the existing HEVC encryption algorithms mainly encrypt the whole video, such that the user without permissions cannot obtain any viewable information. However, these encryption algorithms cannot meet the needs of customers who need part of the information but not the full information in the video. In many cases, such as professional paid videos or video meetings, users would like to observe some visible information in the encrypted video of the original video to satisfy their requirements in daily life. Aiming at this demand, this paper proposes a multi-level encryption scheme that is composed of lightweight encryption, medium encryption and heavyweight encryption, where each encryption level can obtain a different amount of visual information. It is found that both encrypting the luma intraprediction model (IPM) and scrambling the syntax element of the DCT coefficient sign can achieve the performance of a distorted video in which there is still residual visual information, while encrypting both of them can implement the intensity of encryption and one cannot gain any visual information. The experimental results meet our expectations appropriately, indicating that there is a different amount of visual information in each encryption level. Meanwhile, users can flexibly choose the encryption level according to their various requirements.


title: Verifying Random Quantum Circuits with Arbitrary Geometry Using Tensor Network States Algorithm

abstract: The ability to efficiently simulate random quantum circuits using a classical computer is increasingly important for developing Noisy Intermediate-Scale Quantum devices. Here we present a tensor network states based algorithm specifically designed to compute amplitudes for random quantum circuits with arbitrary geometry. Singular value decomposition based compression together with a two-sided circuit evolution algorithm are used to further compress the resulting tensor network. To further accelerate the simulation, we also propose a heuristic algorithm to compute the optimal tensor contraction path. We demonstrate that our algorithm is up to $2$ orders of magnitudes faster than the Sch$\ddot{\text{o}}$dinger-Feynman algorithm for verifying random quantum circuits on the $53$-qubit Sycamore processor, with circuit depths below $12$. We also simulate larger random quantum circuits up to $104$ qubits, showing that this algorithm is an ideal tool to verify relatively shallow quantum circuits on near-term quantum computers.


title: Folding model approach to the elastic $p+^{12,13}$C scattering at low energies and radiative capture $^{12,13}$C$(p,\gamma)$ reactions

abstract: The proton radiative capture $^{12,13}$C$(p,{\gamma})$ reactions at astrophysical energies, key processes in the CNO cycle, are revisited in the potential model with the proton-nucleus potential for both the scattering and bound states obtained in the folding model, using a realistic density dependent nucleon-nucleon interaction. For the consistency, this same folding model is also used to calculate the optical potential of the elastic $p+^{12,13}$C scattering at energies around the Coulomb barrier. The folded $p+^{12,13}$C optical potentials are shown to account well for both the elastic $p+^{12,13}$C3 scattering and astrophysical $S$ factors of the radiative capture $^{12,13}$C$(p,\gamma)$ reactions.


title: Efficient entanglement of spin qubits mediated by a hot mechanical oscillator

abstract: Localized electronic and nuclear spin qubits in the solid state constitute a promising platform for storage and manipulation of quantum information, even at room temperature. However, the development of scalable systems requires the ability to entangle distant spins, which remains a challenge today. We propose and analyze an efficient, heralded scheme that employs a parity measurement in a decoherence free subspace to enable fast and robust entanglement generation between distant spin qubits mediated by a hot mechanical oscillator. We find that high-fidelity entanglement at cryogenic and even ambient temperatures is feasible with realistic parameters, and show that the entangled pair can be subsequently leveraged for deterministic controlled-NOT operations between nuclear spins. Our results open the door for novel quantum processing architectures for a wide variety of solid-state spin qubits.