title: RespVAD: Voice Activity Detection via Video-Extracted Respiration Patterns

abstract: Voice Activity Detection (VAD) refers to the task of identification of regions of human speech in digital signals such as audio and video. While VAD is a necessary first step in many speech processing systems, it poses challenges when there are high levels of ambient noise during the audio recording. To improve the performance of VAD in such conditions, several methods utilizing the visual information extracted from the region surrounding the mouth/lip region of the speakers' video recording have been proposed. Even though these provide advantages over audio-only methods, they depend on faithful extraction of lip/mouth regions. Motivated by these, a new paradigm for VAD based on the fact that respiration forms the primary source of energy for speech production is proposed. Specifically, an audio-independent VAD technique using the respiration pattern extracted from the speakers' video is developed. The Respiration Pattern is first extracted from the video focusing on the abdominal-thoracic region of a speaker using an optical flow based method. Subsequently, voice activity is detected from the respiration pattern signal using neural sequence-to-sequence prediction models. The efficacy of the proposed method is demonstrated through experiments on a challenging dataset recorded in real acoustic environments and compared with four previous methods based on audio and visual cues.


title: On the genera of polyhedral embeddings of cubic graph

abstract: In this article we present theoretical and computational results on the existence of polyhedral embeddings of graphs. The emphasis is on cubic graphs. We also describe an efficient algorithm to compute all polyhedral embeddings of a given cubic graph and constructions for cubic graphs with some special properties of their polyhedral embeddings. Some key results are that even cubic graphs with a polyhedral embedding on the torus can also have polyhedral embeddings in arbitrarily high genus, in fact in a genus {\em close} to the theoretical maximum for that number of vertices, and that there is no bound on the number of genera in which a cubic graph can have a polyhedral embedding. While these results suggest a large variety of polyhedral embeddings, computations for up to 28 vertices suggest that by far most of the cubic graphs do not have a polyhedral embedding in any genus and that the ratio of these graphs is increasing with the number of vertices.


title: Efficient multi-jet merging with the Vincia sector shower

abstract: We here present an extension of the CKKW-L multi-jet merging technique to so-called sector showers as implemented in the Vincia antenna shower. The bijective nature of sector showers allows for efficient multi-jet merging at high multiplicities, as any given configuration possesses only a single "history", while retaining the accuracy of the CKKW-L technique. Our method reduces the factorial scaling of the number of parton shower histories to a constant of a single history per colour-ordered final state. We show that the complexity of constructing shower histories is reduced to an effective linear scaling with the number of final-state particles. Moreover, we demonstrate that the overall event generation time and the memory footprint of our implementation remain approximately constant when including additional jets. We compare both to the conventional CKKW-L implementation in Pythia and gain a first estimate of renormalisation scale uncertainties at high merged multiplicities. As a proof of concept, we show parton-level predictions for vector boson production in proton-proton collisions with up to nine hard jets using the new implementation. Despite its much simpler nature, we dub the new technique MESS, in analogy to the conventional MEPS nomenclature.


title: Doubly Stochastic Variational Inference for Neural Processes with Hierarchical Latent Variables

abstract: Neural processes (NPs) constitute a family of variational approximate models for stochastic processes with promising properties in computational efficiency and uncertainty quantification. These processes use neural networks with latent variable inputs to induce predictive distributions. However, the expressiveness of vanilla NPs is limited as they only use a global latent variable, while target specific local variation may be crucial sometimes. To address this challenge, we investigate NPs systematically and present a new variant of NP model that we call Doubly Stochastic Variational Neural Process (DSVNP). This model combines the global latent variable and local latent variables for prediction. We evaluate this model in several experiments, and our results demonstrate competitive prediction performance in multi-output regression and uncertainty estimation in classification.


title: Top2Vec: Distributed Representations of Topics

abstract: Topic modeling is used for discovering latent semantic structure, usually referred to as topics, in a large collection of documents. The most widely used methods are Latent Dirichlet Allocation and Probabilistic Latent Semantic Analysis. Despite their popularity they have several weaknesses. In order to achieve optimal results they often require the number of topics to be known, custom stop-word lists, stemming, and lemmatization. Additionally these methods rely on bag-of-words representation of documents which ignore the ordering and semantics of words. Distributed representations of documents and words have gained popularity due to their ability to capture semantics of words and documents. We present $\texttt{top2vec}$, which leverages joint document and word semantic embedding to find $\textit{topic vectors}$. This model does not require stop-word lists, stemming or lemmatization, and it automatically finds the number of topics. The resulting topic vectors are jointly embedded with the document and word vectors with distance between them representing semantic similarity. Our experiments demonstrate that $\texttt{top2vec}$ finds topics which are significantly more informative and representative of the corpus trained on than probabilistic generative models.


title: GA-MSSR: Genetic Algorithm Maximizing Sharpe and Sterling Ratio Method for RoboTrading

abstract: Foreign exchange is the largest financial market in the world, and it is also one of the most volatile markets. Technical analysis plays an important role in the forex market and trading algorithms are designed utilizing machine learning techniques. Most literature used historical price information and technical indicators for training. However, the noisy nature of the market affects the consistency and profitability of the algorithms. To address this problem, we designed trading rule features that are derived from technical indicators and trading rules. The parameters of technical indicators are optimized to maximize trading performance. We also proposed a novel cost function that computes the risk-adjusted return, Sharpe and Sterling Ratio (SSR), in an effort to reduce the variance and the magnitude of drawdowns. An automatic robotic trading (RoboTrading) strategy is designed with the proposed Genetic Algorithm Maximizing Sharpe and Sterling Ratio model (GA-MSSR) model. The experiment was conducted on intraday data of 6 major currency pairs from 2018 to 2019. The results consistently showed significant positive returns and the performance of the trading system is superior using the optimized rule-based features. The highest return obtained was 320% annually using 5-minute AUDUSD currency pair. Besides, the proposed model achieves the best performance on risk factors, including maximum drawdowns and variance in return, comparing to benchmark models. The code can be accessed at https://github.com/zzzac/rule-based-forextrading-system


title: Offline Contextual Multi-armed Bandits for Mobile Health Interventions: A Case Study on Emotion Regulation

abstract: Delivering treatment recommendations via pervasive electronic devices such as mobile phones has the potential to be a viable and scalable treatment medium for long-term health behavior management. But active experimentation of treatment options can be time-consuming, expensive and altogether unethical in some cases. There is a growing interest in methodological approaches that allow an experimenter to learn and evaluate the usefulness of a new treatment strategy before deployment. We present the first development of a treatment recommender system for emotion regulation using real-world historical mobile digital data from n = 114 high socially anxious participants to test the usefulness of new emotion regulation strategies. We explore a number of offline contextual bandits estimators for learning and propose a general framework for learning algorithms. Our experimentation shows that the proposed doubly robust offline learning algorithms performed significantly better than baseline approaches, suggesting that this type of recommender algorithm could improve emotion regulation. Given that emotion regulation is impaired across many mental illnesses and such a recommender algorithm could be scaled up easily, this approach holds potential to increase access to treatment for many people. We also share some insights that allow us to translate contextual bandit models to this complex real-world data, including which contextual features appear to be most important for predicting emotion regulation strategy effectiveness.


title: Macroscopic, layered onion shell like magnetic domain structure generated in YIG film using ultrashort, megagauss magnetic pulses

abstract: Study of the formation and evolution of large scale, ordered structures is an enduring theme in science. The generation, evolution and control of large sized magnetic domains are intriguing and challenging tasks, given the complex nature of competing interactions present in any magnetic system. Here, we demonstrate large scale non-coplanar ordering of spins, driven by picosecond, megagauss magnetic pulses derived from a high intensity, femtosecond laser. Our studies on a specially designed Yttrium Iron Garnet (YIG)/dielectric/metal film sandwich target, show the creation of complex, large, concentric, elliptical shaped magnetic domains which resemble the layered shell structure of an onion. The largest shell has a major axis of over hundreds of micrometers, in stark contrast to conventional sub micrometer scale polygonal, striped or bubble shaped magnetic domains found in magnetic materials, or the large dumbbell shaped domains produced in magnetic films irradiated with accelerator based relativistic electron beams. Through micromagnetic simulations, we show that the giant magnetic field pulses create ultrafast terahertz (THz) spin waves. A snapshot of these fast propagating spin waves is stored as the layered onion shell shaped domains in the YIG film. Typically, information transport via spin waves in magnonic devices occurs in the gigahertz (GHz) regime, where the devices are susceptible to thermal disturbances at room temperature. Our intense laser light pulse - YIG sandwich target combination, paves the way for room temperature table-top THz spin wave devices, which operate just above or in the range of the thermal noise floor. This dissipation-less device offers ultrafast control of spin information over distances of few hundreds of microns.


title: Deep Phase Correlation for End-to-End Heterogeneous Sensor Measurements Matching

abstract: The crucial step for localization is to match the current observation to the map. When the two sensor modalities are significantly different, matching becomes challenging. In this paper, we present an end-to-end deep phase correlation network (DPCN) to match heterogeneous sensor measurements. In DPCN, the primary component is a differentiable correlation-based estimator that back-propagates the pose error to learnable feature extractors, which addresses the problem that there are no direct common features for supervision. Also, it eliminates the exhaustive evaluation in some previous methods, improving efficiency. With the interpretable modeling, the network is light-weighted and promising for better generalization. We evaluate the system on both the simulation data and Aero-Ground Dataset which consists of heterogeneous sensor images and aerial images acquired by satellites or aerial robots. The results show that our method is able to match the heterogeneous sensor measurements, outperforming the comparative traditional phase correlation and other learning-based methods. Code is available at https://github.com/jessychen1016/DPCN .


title: Energy cutoff, effective theories, noncommutativity, fuzzyness: the case of O(D)-covariant fuzzy spheres

abstract: Projecting a quantum theory onto the Hilbert subspace of states with energies below a cutoff $\overline{E}$ may lead to an effective theory with modified observables, including a noncommutative space(time). Adding a confining potential well $V$ with a very sharp minimum on a submanifold $N$ of the original space(time) $M$ may induce a dimensional reduction to a noncommutative quantum theory on $N$. Here in particular we briefly report on our application of this procedure to spheres $S^d\subset\mathbb{R}^D$ of radius $r=1$ ($D=d\!+\!1>1$): making $\overline{E}$ and the depth of the well depend on (and diverge with) $\Lambda\in\mathbb{N}$ we obtain new fuzzy spheres $S^d_{\Lambda}$ covariant under the {\it full} orthogonal groups $O(D)$; the commutators of the coordinates depend only on the angular momentum, as in Snyder noncommutative spaces. Focusing on $d=1,2$, we also discuss uncertainty relations, localization of states, diagonalization of the space coordinates and construction of coherent states. As $\Lambda\to\infty$ the Hilbert space dimension diverges, $S^d_{\Lambda}\to S^d$, and we recover ordinary quantum mechanics on $S^d$. These models might be suggestive for effective models in quantum field theory, quantum gravity or condensed matter physics.


title: Convexity properties of the difference over the real axis between the Steklov zeta functions of a smooth planar domain with $2\pi$ perimeter and of the unit disk

abstract: We consider the zeta function $\zeta_\Omega$ for the Dirichlet-to-Neumann operator of a simply connected planar domain $\Omega$ bounded by a smooth closed curve of perimeter $2\pi$. We prove that $\zeta_\Omega''(0)\ge \zeta_{\mathbb{D}}''(0)$ with equality if and only if $\Omega$ is a disk where $\mathbb{D}$ denotes the closed unit disk. We also provide an elementary proof that for a fixed real $s$ satisfying $s\le-1$ the estimate $\zeta_\Omega''(s)\ge \zeta_{\mathbb{D}}''(s)$ holds with equality if and only if $\Omega$ is a disk. We then bring examples of domains $\Omega$ close to the unit disk where this estimate fails to be extended to the interval $(0,2)$. Other computations related to previous works are also detailed in the remaining part of the text.


title: Topological Gradient-based Competitive Learning

abstract: Topological learning is a wide research area aiming at uncovering the mutual spatial relationships between the elements of a set. Some of the most common and oldest approaches involve the use of unsupervised competitive neural networks. However, these methods are not based on gradient optimization which has been proven to provide striking results in feature extraction also in unsupervised learning. Unfortunately, by focusing mostly on algorithmic efficiency and accuracy, deep clustering techniques are composed of overly complex feature extractors, while using trivial algorithms in their top layer. The aim of this work is to present a novel comprehensive theory aspiring at bridging competitive learning with gradient-based learning, thus allowing the use of extremely powerful deep neural networks for feature extraction and projection combined with the remarkable flexibility and expressiveness of competitive learning. In this paper we fully demonstrate the theoretical equivalence of two novel gradient-based competitive layers. Preliminary experiments show how the dual approach, trained on the transpose of the input matrix i.e. $X^T$, lead to faster convergence rate and higher training accuracy both in low and high-dimensional scenarios.


title: Spinning particles, coadjoint orbits and Hamiltonian formalism

abstract: The extensive analysis of the dynamics of relativistic spinning particles is presented. Using the coadjoint orbits method the Hamiltonian dynamics is explicitly described. The main technical tool is the factorization of general Lorentz transformation into pure boost and rotation. The equivalent constrained dynamics on Poincare group (viewed as configuration space) is derived and complete classification of constraints is performed. It is shown that the first class constraints generate local symmetry corresponding to the stability subgroup of some point on coadjoint orbit. The Dirac brackets for second class constraints are computed. Finally, canonical quantization is performed leading to infinitesimal form of irreducible representations of Poincare group.


title: Structure preserving algorithms for simulation of linearly damped acoustic systems

abstract: Energy methods for constructing time-stepping algorithms are of increased interest in application to nonlinear problems, since numerical stability can be inferred from the conservation of the system energy. Alternatively, symplectic integrators may be constructed that preserve the symplectic form of the system. This methodology has been established for Hamiltonian systems, with numerous applications in engineering problems. In this paper an extension of such methods to non-conservative acoustic systems is presented. Discrete conservation laws, equivalent to that of energy-conserving schemes, are derived for systems with linear damping, incorporating the action of external forces. Furthermore the evolution of the symplectic structure is analysed in the continuous and the discrete case. Existing methods are examined and novel methods are designed using a lumped oscillator as an elemental model. The proposed methodology is extended to the case of distributed systems and exemplified through a case study of a vibrating string bouncing against a rigid obstacle.


title: Conditional empirical copula processes and generalized dependence measures

abstract: We study the weak convergence of conditional empirical copula processes, when the conditioning event has a nonzero probability. The validity of several bootstrap schemes is stated, including the exchangeable bootstrap. We define general - possibly conditional - multivariate dependence measures and their estimators. By applying our theoretical results, we prove the asymptotic normality of some estimators of such dependence measures.


title: Learning low-frequency temporal patterns for quantitative trading

abstract: We consider the viability of a modularised mechanistic online machine learning framework to learn signals in low-frequency financial time series data. The framework is proved on daily sampled closing time-series data from JSE equity markets. The input patterns are vectors of pre-processed sequences of daily, weekly and monthly or quarterly sampled feature changes. The data processing is split into a batch processed step where features are learnt using a stacked autoencoder via unsupervised learning, and then both batch and online supervised learning are carried out using these learnt features, with the output being a point prediction of measured time-series feature fluctuations. Weight initializations are implemented with restricted Boltzmann machine pre-training, and variance based initializations. Historical simulations are then run using an online feedforward neural network initialised with the weights from the batch training and validation step. The validity of results are considered under a rigorous assessment of backtest overfitting using both combinatorially symmetrical cross validation and probabilistic and deflated Sharpe ratios. Results are used to develop a view on the phenomenology of financial markets and the value of complex historical data-analysis for trading under the unstable adaptive dynamics that characterise financial markets.


title: Using detrended deconvolution foreign exchange network to identify currency status

abstract: This article proposed a hybrid detrended deconvolution foreign exchange network construction method (DDFEN), which combined the detrended cross-correlation analysis coefficient (DCCC) and the network deconvolution method together. DDFEN is designed to reveal the `true' correlation of currencies by filtering indirect effects in the foreign exchange networks (FXNs). The empirical results show that DDFEN can reflect the change of currency status in the long term and also perform more stable than traditional network construction methods.


title: Laughter Synthesis: Combining Seq2seq modeling with Transfer Learning

abstract: Despite the growing interest for expressive speech synthesis, synthesis of nonverbal expressions is an under-explored area. In this paper we propose an audio laughter synthesis system based on a sequence-to-sequence TTS synthesis system. We leverage transfer learning by training a deep learning model to learn to generate both speech and laughs from annotations. We evaluate our model with a listening test, comparing its performance to an HMM-based laughter synthesis one and assess that it reaches higher perceived naturalness. Our solution is a first step towards a TTS system that would be able to synthesize speech with a control on amusement level with laughter integration.


title: A theoretical look at ELECTRE TRI-nB and related sorting models

abstract: Electre Tri is a set of methods designed to sort alternatives evaluated on several criteria into ordered categories. In these methods, alternatives are assigned to categories by comparing them with reference profiles that represent either the boundary or central elements of the category. The original Electre Tri-B method uses one limiting profile for separating a category from the category below. A more recent method, Electre Tri-nB, allows one to use several limiting profiles for the same purpose. We investigate the properties of Electre Tri-nB using a conjoint measurement framework. When the number of limiting profiles used to define each category is not restricted, Electre Tri-nB is easy to characterize axiomatically and is found to be equivalent to several other methods proposed in the literature. We extend this result in various directions.


title: A unified framework of continuous and discontinuous Galerkin methods for solving the incompressible Navier--Stokes equation

abstract: In this paper, we propose a unified numerical framework for the time-dependent incompressible Navier--Stokes equation which yields the $H^1$-, $H(\text{div})$-conforming, and discontinuous Galerkin methods with the use of different viscous stress tensors and penalty terms for pressure robustness. Under minimum assumption on Galerkin spaces, the semi- and fully-discrete stability is proved when a family of implicit Runge--Kutta methods are used for time discretization. Furthermore, we present a unified discussion on the penalty term. Numerical experiments are presented to compare our schemes with classical schemes in the literature in both unsteady and steady situations. It turns out that our scheme is competitive when applied to well-known benchmark problems such as Taylor--Green vortex, Kovasznay flow, potential flow, lid driven cavity flow, and the flow around a cylinder.


title: Reliable Detection of Causal Asymmetries in Dynamical Systems

abstract: Knowledge about existence, strength, and dominant direction of causal influences is of paramount importance for understanding complex systems. With limited amounts of realistic data, however, current methods for investigating causal links among different observables from dynamical systems suffer from ambiguous results. Missing is a statistically well defined approach that avoids false positive detections while being sensitive for weak interactions. Ideally, it should be able to infer directed causal influences also when synchronizations occur. The proposed method exploits local inflations of manifolds to obtain estimates of upper bounds on the information loss among state reconstructions from two observables. It comes with a test for the absence of causal influences. Simulated data demonstrate that it is robust to intrinsic noise, copes with synchronizations, and tolerates also measurement noise.


title: Dynamic mmWave Channel Emulation in a Cost-Effective MPAC with Dominant-Cluster Concept

abstract: Millimeter-Wave (mmWave) massive multiple-input multiple-output (MIMO) has been considered as a key enabler for the fifth-generation (5G) communications. It is essential to design and test mmWave 5G devices under various realistic scenarios, since the radio propagation channels pose intrinsic limitations on the performance. This requires emulating realistic dynamic mmWave channels in a reproducible manner in laboratories, which is the goal of this paper. In this contribution, we firstly illustrate the dominant-cluster(s) concept, where the non-dominant clusters in the mmWave channels are pruned, for mmWave 5G devices applying massive MIMO beamforming. This demonstrates the importance and necessity to accurately emulate the mmWave channels at a cluster level rather than the composite-channel level. Thus, an over-the-air (OTA) emulation strategy for dynamic mmWave channels is proposed based on the concept of dominant-cluster(s) in a sectored multiprobe anechoic chamber (SMPAC). The key design parameters including the probe number and the angular spacing of probes are investigated through comprehensive simulations. A cost-effective switchcircuit is also designed for this purpose and validated in the simulation. Furthermore, a dynamic mmWave channel measured in an indoor scenario at 28-30 GHz is presented, where the proposed emulation strategy is also validated by reproducing the measured reality.


title: Counterfactual-based minority oversampling for imbalanced classification

abstract: A key challenge of oversampling in imbalanced classification is that the generation of new minority samples often neglects the usage of majority classes, resulting in most new minority sampling spreading the whole minority space. In view of this, we present a new oversampling framework based on the counterfactual theory. Our framework introduces a counterfactual objective by leveraging the rich inherent information of majority classes and explicitly perturbing majority samples to generate new samples in the territory of minority space. It can be analytically shown that the new minority samples satisfy the minimum inversion, and therefore most of them locate near the decision boundary. Empirical evaluations on benchmark datasets suggest that our approach significantly outperforms the state-of-the-art methods.


title: On an inequality of Bushnell--Henniart for Rankin--Selberg conductors

abstract: We prove a division algebra analogue of an ultrametric inequality of Bushnell--Henniart for Rankin--Selberg conductors. Under the Jacquet--Langlands correspondence, the two versions are equivalent.


title: Beyond Individual and Group Fairness

abstract: We present a new data-driven model of fairness that, unlike existing static definitions of individual or group fairness is guided by the unfairness complaints received by the system. Our model supports multiple fairness criteria and takes into account their potential incompatibilities. We consider both a stochastic and an adversarial setting of our model. In the stochastic setting, we show that our framework can be naturally cast as a Markov Decision Process with stochastic losses, for which we give efficient vanishing regret algorithmic solutions. In the adversarial setting, we design efficient algorithms with competitive ratio guarantees. We also report the results of experiments with our algorithms and the stochastic framework on artificial datasets, to demonstrate their effectiveness empirically.


title: Towards Designing a Self-Managed Machine Learning Inference Serving System inPublic Cloud

abstract: We are witnessing an increasing trend towardsusing Machine Learning (ML) based prediction systems, span-ning across different application domains, including productrecommendation systems, personal assistant devices, facialrecognition, etc. These applications typically have diverserequirements in terms of accuracy and response latency, thathave a direct impact on the cost of deploying them in a publiccloud. Furthermore, the deployment cost also depends on thetype of resources being procured, which by themselves areheterogeneous in terms of provisioning latencies and billingcomplexity. Thus, it is strenuous for an inference servingsystem to choose from this confounding array of resourcetypes and model types to provide low-latency and cost-effectiveinferences. In this work we quantitatively characterize the cost,accuracy and latency implications of hosting ML inferenceson different public cloud resource offerings. In addition, wecomprehensively evaluate prior work which tries to achievecost-effective prediction-serving. Our evaluation shows that,prior work does not solve the problem from both dimensionsof model and resource heterogeneity. Hence, we argue that toaddress this problem, we need to holistically solve the issuesthat arise when trying to combine both model and resourceheterogeneity towards optimizing for application constraints.Towards this, we envision developing a self-managed inferenceserving system, which can optimize the application require-ments based on public cloud resource characteristics. In orderto solve this complex optimization problem, we explore the highlevel design of a reinforcement-learning based system that canefficiently adapt to the changing needs of the system at scale.


title: Variational Quantum Simulation for Periodic Materials

abstract: We present a quantum-classical hybrid algorithm that simulates electronic structures of periodic systems such as ground states and quasiparticle band structures. By extending the unitary coupled cluster (UCC) theory to describe crystals in arbitrary dimensions, for a hydrogen chain, we numerically demonstrate that the UCC ansatz implemented on a quantum circuit can be successfully optimized with a small deviation from the exact diagonalization over the entire range of the potential energy curves. Furthermore, by using the quantum subspace expansion method, in which we truncate the Hilbert space within the linear response regime from the ground state, the quasiparticle band structure is computed as charged excited states. Our work establishes a powerful interface between the rapidly developing quantum technology and modern material science.


title: Structure of semi-continuous q-tame persistence modules

abstract: Using a result by Chazal, Crawley-Boevey and de Silva concerning radicals of persistence modules, we show that every lower semi-continuous q-tame persistence module can be decomposed as a direct sum of interval modules and that every upper semi-continuous q-tame persistence module can be decomposed as a product of interval modules.


title: Conditionally positive definiteness in operator theory

abstract: In this paper we extensively investigate the class of conditionally positive definite operators, namely operators generating conditionally positive definite sequences. This class itself contains subnormal operators, $2$- and $3$-isometries and much more beyond them. Quite a large part of the paper is devoted to the study of conditionally positive definite sequences of exponential growth with emphasis put on finding criteria for their positive definiteness, where both notions are understood in the semigroup sense. As a consequence, we obtain semispectral and dilation type representations for conditionally positive definite operators. We also show that the class of conditionally positive definite operators is closed under the operation of taking powers. On the basis of Agler's hereditary functional calculus, we build an $L^{\infty}(M)$-functional calculus for operators of this class, where $M$ is an associated semispectral measure. We provide a variety of applications of this calculus to inequalities involving polynomials and analytic functions. In addition, we derive new necessary and sufficient conditions for a conditionally positive definite operator to be a subnormal contraction (including a telescopic one).


title: New Cosystolic Expanders from Tensors Imply Explicit Quantum LDPC Codes with $\Omega(\sqrt{n}\log^kn)$ Distance

abstract: In this work we introduce a new notion of expansion in higher dimensions that is stronger than the well studied cosystolic expansion notion, and is termed {\em Collective-cosystolic expansion}. We show that tensoring two cosystolic expanders yields a new cosystolic expander, assuming one of the complexes in the product, is not only cosystolic expander, but rather a collective cosystolic expander. We then show that the well known bounded degree cosystolic expanders, the Ramanujan complexes are, in fact, collective cosystolic expanders. This enables us to construct new bounded degree cosystolic expanders, by tensoring of Ramanujan complexes. Using our new constructed bounded degree cosystolic expanders we construct {\em explicit} quantum LDPC codes of distance $\sqrt{n} \log^k n$ for any $k$, improving a recent result of Evra et. al. \cite{EKZ}, and setting a new record for distance of explicit quantum LDPC codes. The work of \cite{EKZ} took advantage of the high dimensional expansion notion known as cosystolic expansion, that occurs in Ramanujan complexes. Our improvement is achieved by considering tensor product of Ramanujan complexes, and using their newly derived property, the collective cosystolic expansion.


title: Large deviations of extreme eigenvalues of generalized sample covariance matrices

abstract: We present an analytical technique to compute the probability of rare events in which the largest eigenvalue of a random matrix is atypically large (i.e.\ the right tail of its large deviations). The results also transfer to the left tail of the large deviations of the smallest eigenvalue. The technique improves upon past methods by not requiring the explicit law of the eigenvalues, and we apply it to a large class of random matrices that were previously out of reach. In particular, we solve an open problem related to the performance of principal components analysis on highly correlated data, and open the way towards analyzing the high-dimensional landscapes of complex inference models. We probe our results using an importance sampling approach, effectively simulating events with probability as small as $10^{-100}$.

categories: cond-mat.stat-mech cond-mat.dis-nn math.PR math.ST stat.TH


title: Single-Image Depth Prediction Makes Feature Matching Easier

abstract: Good local features improve the robustness of many 3D re-localization and multi-view reconstruction pipelines. The problem is that viewing angle and distance severely impact the recognizability of a local feature. Attempts to improve appearance invariance by choosing better local feature points or by leveraging outside information, have come with pre-requisites that made some of them impractical. In this paper, we propose a surprisingly effective enhancement to local feature extraction, which improves matching. We show that CNN-based depths inferred from single RGB images are quite helpful, despite their flaws. They allow us to pre-warp images and rectify perspective distortions, to significantly enhance SIFT and BRISK features, enabling more good matches, even when cameras are looking at the same scene but in opposite directions.


title: Testing for equality between conditional copulas given discretized conditioning events

abstract: Several procedures have been recently proposed to test the simplifying assumption for conditional copulas. Instead of considering pointwise conditioning events, we study the constancy of the conditional dependence structure when some covariates belong to general borelian conditioning subsets. Several test statistics based on the equality of conditional Kendall's tau are introduced, and we derive their asymptotic distributions under the null. When such conditioning events are not fixed ex ante, we propose a data-driven procedure to recursively build such relevant subsets. It is based on decision trees that maximize the differences between the conditional Kendall's taus corresponding to the leaves of the trees. The performances of such tests are illustrated in a simulation experiment. Moreover, a study of the conditional dependence between financial stock returns is managed, given some clustering of their past values. The last application deals with the conditional dependence between coverage amounts in an insurance dataset.


title: TRICE: A Channel Estimation Framework for RIS-Aided Millimeter-Wave MIMO Systems

abstract: We consider the channel estimation problem in point-to-point reconfigurable intelligent surface (RIS)-aided millimeter-wave (mmWave) MIMO systems. By exploiting the low-rank nature of mmWave channels in the angular domains, we propose a non-iterative Two-stage RIS-aided Channel Estimation (TRICE) framework, where every stage is formulated as a multidimensional direction-of-arrival (DOA) estimation problem. As a result, our TRICE framework is very general in the sense that any efficient multidimensional DOA estimation solution can be readily used in every stage to estimate the associated channel parameters. Numerical results show that the TRICE framework has a lower training overhead and a lower computational complexity, as compared to benchmark solutions.


title: Black Hole Interpretation of Quantum Mechanics

abstract: Parallels between the measurement problem in quantum mechanics and the black hole information loss problem in quantum gravity are exhibited and then the attempted resolution of the latter in terms of the gauge/gravity duality is extended to the former.


title: MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties

abstract: Intel Software Guard Extensions (SGX) local and remote attestation mechanisms enable an enclave to attest its identity (i.e., the enclave measurement, which is the cryptographic hash of its initial code and data) to an enclave. To verify that the attested identity is trusted, one enclave usually includes the measurement of the enclave it trusts into its initial data in advance assuming no trusted third parties are available during runtime to provide this piece of information. However, when mutual trust between these two enclaves is required, it is infeasible to simultaneously include into their own initial data the other's measurements respectively as any change to the initial data will change their measurements, making the previously included measurements invalid. In this paper, we propose MAGE, a framework enabling a group of enclaves to mutually attest each other without trusted third parties. Particularly, we introduce a technique to instrument these enclaves so that each of them could derive the others' measurements using information solely from its own initial data. We also provide a prototype implementation based on Intel SGX SDK, to facilitate enclave developers to adopt this technique.


title: Convexification of Charge Equilibrium within the Dendrites of Rechargeable Batteries

abstract: The amorphous propagation of microstructures during the electrochemical charging of a battery is the main reason for the capacity decay and short circuit. The charge distribution across the micro-structure is the result of both local and global equilibrium and is non-convex problem merely due to stochastic placement of the atoms. As such, obtaining the charge equilibrium (QEq) is a critical factor, since the amount of charge determines the success rate of the bond formation for the ionic species approaching the microstructure and consequently the ultimate morphology of the electrochemical deposits. Herein we develop a computationally-affordable method for determining the charge allocation within such microstructures. The cost function and the span of the charge distribution correlates very closely with the trivial method as well as a conventional method, albeit having significantly less computational cost. The method can be used for optimization in non-convex environments, specially those of stochastic nature.


title: Systematic Crosstalk Mitigation for Superconducting Qubits via Frequency-Aware Compilation

abstract: One of the key challenges in current Noisy Intermediate-Scale Quantum (NISQ) computers is to control a quantum system with high-fidelity quantum gates. There are many reasons a quantum gate can go wrong -- for superconducting transmon qubits in particular, one major source of gate error is the unwanted crosstalk between neighboring qubits due to a phenomenon called frequency crowding. We motivate a systematic approach for understanding and mitigating the crosstalk noise when executing near-term quantum programs on superconducting NISQ computers. We present a general software solution to alleviate frequency crowding by systematically tuning qubit frequencies according to input programs, trading parallelism for higher gate fidelity when necessary. The net result is that our work dramatically improves the crosstalk resilience of tunable-qubit, fixed-coupler hardware, matching or surpassing other more complex architectural designs such as tunable-coupler systems. On NISQ benchmarks, we improve worst-case program success rate by 13.3x on average, compared to existing traditional serialization strategies.


title: Energy Minimization for Mobile Edge Computing Networks with Time-Sensitive Constraints

abstract: Mobile edge computing (MEC) provides users with a high quality experience (QoE) by placing servers with rich services close to the end users. Compared with local computing, MEC can contribute to energy saving, but results in increased communication latency. In this paper, we jointly optimize task offloading and resource allocation to minimize the energy consumption in an orthogonal frequency division multiple access (OFDMA)-based MEC networks, where the time-sensitive tasks can be processed at both local users and MEC server via partial offloading. Since the optimization variables of the problem are strongly coupled, we first decompose the original problem into two subproblems named as offloading selection (PO), and subcarriers and computing resource allocation (PS), and then propose an iterative algorithm to deal with them in a sequence. To be specific, we derive the closed-form solution for PO, and deal with PS by an alternating way in the dual domain due to its NP-hardness. Simulation results demonstrate


title: Finding the optimal Nash equilibrium in a discrete Rosenthal congestion game using the Quantum Alternating Operator Ansatz

abstract: This paper establishes the tractability of finding the optimal Nash equilibrium, as well as the optimal social solution, to a discrete congestion game using a gate-model quantum computer. The game is of the type originally posited by Rosenthal in the 1970's. To find the optimal Nash equilibrium, we formulate an optimization problem encoding based on potential functions and path selection constraints, and solve it using the Quantum Alternating Operator Ansatz. We compare this formulation to its predecessor, the Quantum Approximate Optimization Algorithm. We implement our solution on an idealized simulator of a gate-model quantum computer, and demonstrate tractability on a small two-player game. This work provides the basis for future endeavors to apply quantum approximate optimization to quantum machine learning problems, such as the efficient training of generative adversarial networks using potential functions.


title: Graph Neural Networks for 3D Multi-Object Tracking

abstract: 3D Multi-object tracking (MOT) is crucial to autonomous systems. Recent work often uses a tracking-by-detection pipeline, where the feature of each object is extracted independently to compute an affinity matrix. Then, the affinity matrix is passed to the Hungarian algorithm for data association. A key process of this pipeline is to learn discriminative features for different objects in order to reduce confusion during data association. To that end, we propose two innovative techniques: (1) instead of obtaining the features for each object independently, we propose a novel feature interaction mechanism by introducing Graph Neural Networks; (2) instead of obtaining the features from either 2D or 3D space as in prior work, we propose a novel joint feature extractor to learn appearance and motion features from 2D and 3D space. Through experiments on the KITTI dataset, our proposed method achieves state-of-the-art 3D MOT performance. Our project website is at http://www.xinshuoweng.com/projects/GNN3DMOT.


title: Authorized and Unauthorized Practices of Law: The Role of Autonomous Levels of AI Legal Reasoning

abstract: Advances in Artificial Intelligence (AI) and Machine Learning (ML) that are being applied to legal efforts have raised controversial questions about the existent restrictions imposed on the practice-of-law. Generally, the legal field has sought to define Authorized Practices of Law (APL) versus Unauthorized Practices of Law (UPL), though the boundaries are at times amorphous and some contend capricious and self-serving, rather than being devised holistically for the benefit of society all told. A missing ingredient in these arguments is the realization that impending legal profession disruptions due to AI can be more robustly discerned by examining the matter through the lens of a framework utilizing the autonomous levels of AI Legal Reasoning (AILR). This paper explores a newly derived instrumental grid depicting the key characteristics underlying APL and UPL as they apply to the AILR autonomous levels and offers key insights for the furtherance of these crucial practice-of-law debates.


title: Solving a group equation of length nine

abstract: The Levin conjecture was proposed by Levin in 1962 which conjectures the solvability of any group equation with coefficients in a torsion free group. The Levin conjecture is recently shown to hold for group equations of length seven by weight test and curvature distribution. These methods are applied on a group equation of length nine to explore the validity of Levin conjecture. It is found that the Levin conjecture has an affirmative answer for this equation modulo some exceptional cases.


title: When Nilpotence Implies the Zeroness of Linear Operators

abstract: In this paper, we give conditions forcing nilpotent operators (everywhere bounded or closed) to be null. More precisely, it is mainly shown any closed or everywhere defined bounded nilpotent operator with a positive (self-adjoint) real part is automatically null.


title: Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles

abstract: Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular, results of operational testing with other evidence from design and verification. Growing use of machine learning in SCSs, by precluding most established methods for gaining assurance, makes operational testing even more important for supporting safety and reliability claims. Objective: We use Autonomous Vehicles (AVs) as a current example to revisit the problem of demonstrating high reliability. AVs are making their debut on public roads: methods for assessing whether an AV is safe enough are urgently needed. We demonstrate how to answer 5 questions that would arise in assessing an AV type, starting with those proposed by a highly-cited study. Method: We apply new theorems extending Conservative Bayesian Inference (CBI), which exploit the rigour of Bayesian methods while reducing the risk of involuntary misuse associated with now-common applications of Bayesian inference; we define additional conditions needed for applying these methods to AVs. Results: Prior knowledge can bring substantial advantages if the AV design allows strong expectations of safety before road testing. We also show how naive attempts at conservative assessment may lead to over-optimism instead; why extrapolating the trend of disengagements is not suitable for safety claims; use of knowledge that an AV has moved to a less stressful environment. Conclusion: While some reliability targets will remain too high to be practically verifiable, CBI removes a major source of doubt: it allows use of prior knowledge without inducing dangerously optimistic biases. For certain ranges of required reliability and prior beliefs, CBI thus supports feasible, sound arguments. Useful conservative claims can be derived from limited prior knowledge.


title: Tuple-Independent Representations of Infinite Probabilistic Databases

abstract: Probabilistic databases (PDBs) are probability spaces over database instances. They provide a framework for handling uncertainty in databases, as occurs due to data integration, noisy data, data from unreliable sources or randomized processes. Most of the existing theory literature investigated finite, tuple-independent PDBs (TI-PDBs) where the occurrences of tuples are independent events. Only recently, Grohe and Lindner (PODS '19) introduced independence assumptions for PDBs beyond the finite domain assumption. In the finite, a major argument for discussing the theoretical properties of TI-PDBs is that they can be used to represent any finite PDB via views. This is no longer the case once the number of tuples is countably infinite. In this paper, we systematically study the representability of infinite PDBs in terms of TI-PDBs and the related block-independent disjoint PDBs. The central question is which infinite PDBs are representable as first-order views over tuple-independent PDBs. We give a necessary condition for the representability of PDBs and provide a sufficient criterion for representability in terms of the probability distribution of a PDB. With various examples, we explore the limits of our criteria. We show that conditioning on first order properties yields no additional power in terms of expressivity. Finally, we discuss the relation between purely logical and arithmetic reasons for (non-)representability.


title: Thermodynamics and overcharging problem in the extended phase spaces of charged AdS black holes with cloud of strings and quintessence under charged particle absorption

abstract: The thermodynamics and overcharging problem in the RN-AdS black hole with the cloud of strings and quintessence are investigated by absorption of scalar particle and fermion in the extend phase space. The cosmological constant is treated as the pressure with a conjugate volume. Besides, the parameters related to quintessence and cloud of strings are treated as thermodynamic variables. Finally we find the first law of thermodynamics is satisfied and the second law of thermodynamics is indefinite. Furthermore, the near-extremal and extremal black holes can not be overcharged.


title: Keywords lie far from the mean of all words in local vector space

abstract: Keyword extraction is an important document process that aims at finding a small set of terms that concisely describe a document's topics. The most popular state-of-the-art unsupervised approaches belong to the family of the graph-based methods that build a graph-of-words and use various centrality measures to score the nodes (candidate keywords). In this work, we follow a different path to detect the keywords from a text document by modeling the main distribution of the document's words using local word vector representations. Then, we rank the candidates based on their position in the text and the distance between the corresponding local vectors and the main distribution's center. We confirm the high performance of our approach compared to strong baselines and state-of-the-art unsupervised keyword extraction methods, through an extended experimental study, investigating the properties of the local representations.


title: Neural Logic Reasoning

abstract: Recent years have witnessed the success of deep neural networks in many research areas. The fundamental idea behind the design of most neural networks is to learn similarity patterns from data for prediction and inference, which lacks the ability of cognitive reasoning. However, the concrete ability of reasoning is critical to many theoretical and practical problems. On the other hand, traditional symbolic reasoning methods do well in making logical inference, but they are mostly hard rule-based reasoning, which limits their generalization ability to different tasks since difference tasks may require different rules. Both reasoning and generalization ability are important for prediction tasks such as recommender systems, where reasoning provides strong connection between user history and target items for accurate prediction, and generalization helps the model to draw a robust user portrait over noisy inputs. In this paper, we propose Logic-Integrated Neural Network (LINN) to integrate the power of deep learning and logic reasoning. LINN is a dynamic neural architecture that builds the computational graph according to input logical expressions. It learns basic logical operations such as AND, OR, NOT as neural modules, and conducts propositional logical reasoning through the network for inference. Experiments on theoretical task show that LINN achieves significant performance on solving logical equations and variables. Furthermore, we test our approach on the practical task of recommendation by formulating the task into a logical inference problem. Experiments show that LINN significantly outperforms state-of-the-art recommendation models in Top-K recommendation, which verifies the potential of LINN in practice.


title: Enhanced Tensor Polarization in Solid-State Targets

abstract: We report measurements of enhanced tensor polarization on solid-state targets. The results here represent an increase in tensor polarization over that previously achieved in high energy and nuclear scattering experiments that focused on the measurement of tensor polarized observables. Enhancement techniques are used which require RF produced close to the Larmor frequency of the target spins and use selective semi-saturation resulting from two sources of irradiation, microwave for the DNP process and the additional RF used to manipulate the population of the energy levels in the target material. The spin dynamics of the solid target are used to align the spins enhancing the ensemble average to improve the figure of merit of the scattering experiment. Target rotation at an optimized rate can lead to additional enhancement by applying selective semi-saturation in polycrystalline materials that possess a Pake doublet in their NMR signal.


title: Tetraquarks with open charm favor

abstract: Inspired by the recent report of the exotic states $X_{0}(2900)$ and $X_{1}(2900)$ with four different quark flavors in the $D^{-}K^{+}$ invariant mass distributions of the decay process $B^{+}\rightarrow D^{+}D^{-}K^{+}$ by the LHCb collaboration, we systematically investigate the tetraquarks composed of $ud\bar{s}\bar{c}$ with meson-meson and diquark-antidiquark structures in the quark delocalization color screening model. We find that the $X_{0}(2900)$ can be interpreted as the molecular state $\bar{D^{*}}K^{*}$ with $IJ^{P}=00^{+}$. Moreover, two bound states are obtained by the channel coupling calculation, with energies $2341.2$ MeV for $IJ^{P}=00^{+}$ and $2489.7$ MeV for $IJ^{P}=01^{+}$, respectively. We also extend our study to the $uc\bar{d}\bar{s}$ systems and find that there is no any bound state, so the $D_{s0}(2317)$ cannot be identified as the $DK$ molecular state in present calculation. Besides, several resonance states with the diquark-antidiquark configuration are possible in both $ud\bar{s}\bar{c}$ and $uc\bar{d}\bar{s}$ systems. All these open charm bound states and resonances are worth searching in the future experiments.


title: Dissipative solutions to the stochastic Euler equations

abstract: We study the three-dimensional incompressible Euler equations subject to stochastic forcing. We develop a concept of dissipative martingale solutions, where the nonlinear terms are described by generalised Young measures. We construct these solutions as the vanishing viscosity limit of solutions to the corresponding stochastic Navier-Stokes equations. This requires a refined stochastic compactness method incorporating the generalised Young measures. Our solutions satisfy a form of the energy inequality which gives rise to a weak-strong uniqueness result (pathwise and in law). A dissipative martingale solution coincides (pathwise or in law) with the strong solution as soon as the latter exists.


title: BLONDiE: Blockchain Ontology with Dynamic Extensibility

abstract: There are thousands of projects worldwide based primarily on blockchain technology. These have a large number of users and hundreds of use cases. One of the most popular is the use of cryptocurrencies and their benefits against money without intrinsic value (fiat money) and centralized financial solutions. However, although thousands of new transactions are carried out daily in different platforms, uniform and standardized information does not exist to be able to manage the large amount of data that is generated and exchanged between users through transactions and the generation of new blocks. This research reports the development of BLONDiE, an ontology that allows the semantic representation of knowledge to describe the native structure and related information of the three most relevant blockchain projects to date: Bitcoin, Ethereum and in the recent 1.0 version extends its definitions to include Hyperledger, specifically the Hyperledger Fabric infrastructure. Its use allows having common data formats of different platforms for further processing, such as the execution of semantic queries.


title: The Coverage Overlapping Problem of Serving Arbitrary Crowds in 3D Drone Cellular Networks

abstract: Providing coverage for flash crowds is an important application for drone base stations (DBSs). However, any arbitrary crowd is likely to be distributed at a high density. Under the condition for each DBS to serve the same number of ground users, multiple DBSs may be placed at the same horizontal location but different altitudes and will cause severe co-channel interference, to which we refer as the coverage overlapping problem. To solve this problem, we then proposed the data-driven 3D placement (DDP) and the enhanced DDP (eDDP) algorithms. The proposed DDP and eDDP can effectively find the appropriate number, altitude, location, and coverage of DBSs in the serving area in polynomial time to maximize the system sum rate and guarantee the minimum data rate requirement of the user equipment. The simulation results show that, compared with the balanced k-means approach, the proposed eDDP can increase the system sum rate by 200% and reduce the computation time by 50%. In particular, eDDP can effectively reduce the occurrence of the coverage overlapping problem and then outperform DDP by about 100% in terms of system sum rate.


title: Magnons Parametric Pumping in Bulk Acoustic Waves Resonator

abstract: We report on the experimental observation of excitation and detection of parametric spin waves and spin currents in the bulk acoustic wave resonator. The hybrid resonator consists of ZnO piezoelectric film, yttrium iron garnet (YIG) films on gallium gadolinium garnet substrate, and a heavy metal Pt layer. Shear bulk acoustic waves are electrically excited in the ZnO layer due to piezoeffect at the resonant frequencies of the resonator. The magnetoelastic interaction in the YIG film emerges magnons (spin waves) excitation by acoustic waves either on resonator's eigenfrequencies or the half-value frequencies at supercritical power. We investigate acoustic pumping of magnons at the half-value frequencies and acoustic spin pumping from parametric magnons, using the inverse spin Hall effect in the Pt layer. The constant electric voltage in the Pt layer, depending on the frequency, the magnetic field, and the pump power, was systematically studied. We explain the low threshold obtained (~0.4 mW) by the high efficiency of electric power transmission into the acoustic wave in the resonator.


title: Evaluation of the cumulated impacts on the marine resource of a socio-ecological coral system: approach by agent-based modeling

abstract: In the context of climate change and significant changes in human activities around the world, coral reefs are subject to many disruptions. We develop here a tool to help decision-making in Moorea (French Polynesia), based on multi-agent modeling. We model the trophic interactions with a Lotka-Volterra model, and also the interactions between fishermen, trophic groups and tourist operators. The results are generated through global, temporal (time series), and spatial (GIS maps) outputs. The model produced here can be transposed to other ecological and economic situations, and other geographical areas, by modifying the parameters and changing the input map data.


title: Graph learning under spectral sparsity constraints

abstract: Graph inference plays an essential role in machine learning, pattern recognition, and classification. Signal processing based approaches in literature generally assume some variational property of the observed data on the graph. We make a case for inferring graphs on which the observed data has high variation. We propose a signal processing based inference model that allows for wideband frequency variation in the data and propose an algorithm for graph inference. The proposed inference algorithm consists of two steps: 1) learning orthogonal eigenvectors of a graph from the data; 2) recovering the adjacency matrix of the graph topology from the given graph eigenvectors. The first step is solved by an iterative algorithm with a closed-form solution. In the second step, the adjacency matrix is inferred from the eigenvectors by solving a convex optimization problem. Numerical results on synthetic data show the proposed inference algorithm can effectively capture the meaningful graph topology from observed data under the wideband assumption.


title: Optimum Multi-Antenna Ambient Backscatter Receiver for General Binary-Modulated Signal

abstract: Ambient backscatter communication (AmBC) is becoming increasingly popular for enabling green communication amidst the continual development of the Internet-of-things paradigm. Efforts have been put into backscatter signal detection as the detection performance is limited by the low signal-to-interference-plus-noise ratio (SINR) of the signal at the receiver. The low SINR can be improved by adopting a multi-antenna receiver. In this paper, the optimum multi-antenna receiver that does not impose any constraints on the types of binary modulation performed by the backscatter device and the waveform used by the ambient source system is studied. The proposed receiver owns a simple structure formed by two beamformers. Bit error rate (BER) performances of the optimum receiver are derived under constant-amplitude ambient signal and Gaussian-distributed ambient signal. Moreover, to facilitate the implementation of the optimum receiver, a simplified receiver is proposed and practical approximations to required beamformers are provided. The derived optimum receiver avoids the complex direct path interference cancellation and coherent reception, but exploits the fact that backscatter signal changes the composite channel impinging at the receiver and the directivity of receiver antenna array. Comparative simulation results show that the performance of the optimum receiver achieves the same performance as the coherent receiver even though it realizes non-coherent reception. The studied receivers provide high flexibility for implementing simple and low-cost receivers in different AmBC systems.


title: Change Point Detection in Time Series Data using Autoencoders with a Time-Invariant Representation

abstract: Change point detection (CPD) aims to locate abrupt property changes in time series data. Recent CPD methods demonstrated the potential of using deep learning techniques, but often lack the ability to identify more subtle changes in the autocorrelation statistics of the signal and suffer from a high false alarm rate. To address these issues, we employ an autoencoder-based methodology with a novel loss function, through which the used autoencoders learn a partially time-invariant representation that is tailored for CPD. The result is a flexible method that allows the user to indicate whether change points should be sought in the time domain, frequency domain or both. Detectable change points include abrupt changes in the slope, mean, variance, autocorrelation function and frequency spectrum. We demonstrate that our proposed method is consistently highly competitive or superior to baseline methods on diverse simulated and real-life benchmark data sets. Finally, we mitigate the issue of false detection alarms through the use of a postprocessing procedure that combines a matched filter and a newly proposed change point score. We show that this combination drastically improves the performance of our method as well as all baseline methods.


title: Multiplier Hopf coquasigroups with faithful integrals

abstract: Let $A$ be a multiplier Hopf coquasigroup. If the faithful integrals exist, then they are unique up to scalar. Furthermore, if $A$ is of discrete type, then its integral duality $\widehat{A}$ is a Hopf quasigroup, and the biduality $\widehat{\widehat{A}}$ is isomorphic to the original $A$ as multiplier Hopf coquasigroups. This biduality theorem also holds for a class of Hopf quasigroups with faithful integrals.


title: BPS Maxwell-Chern-Simons vortices with internal structures: the Abelian Higgs and the gauged $CP(2)$ cases

abstract: We investigate the existence of first-order vortices inherent to both the Maxwell-Chern-Simons-Higgs and the Maxwell-Chern-Simons-$CP(2)$ models extended via the inclusion of an extra scalar sector which plays the role of a source field. For both cases, we focus our attention on the time-independent configurations with radial symmetry which can be obtained through the implementation of the so-called Bogomol'nyi-Prasad-Sommerfield (BPS) prescription. In this sense, in order to solve the corresponding first-order differential equations, we introduce some particular scenarios which are driven by the source field whose presence, we expect, must change the way the resulting vortices behave. After solving the effective first-order system through a finite-difference algorithm, we comment about the main new effects induced by the presence of the source field in the shape of the final configurations.


title: PointNetLK Revisited

abstract: We address the generalization ability of recent learning-based point cloud registration methods. Despite their success, these approaches tend to have poor performance when applied to mismatched conditions that are not well-represented in the training set, such as unseen object categories, different complex scenes, or unknown depth sensors. In these circumstances, it has often been better to rely on classical non-learning methods (e.g., Iterative Closest Point), which have better generalization ability. Hybrid learning methods, that use learning for predicting point correspondences and then a deterministic step for alignment, have offered some respite, but are still limited in their generalization abilities. We revisit a recent innovation -- PointNetLK -- and show that the inclusion of an analytical Jacobian can exhibit remarkable generalization properties while reaping the inherent fidelity benefits of a learning framework. Our approach not only outperforms the state-of-the-art in mismatched conditions but also produces results competitive with current learning methods when operating on real-world test data close to the training set.


title: Theoretical investigation of the Freeman resonance in the dissociative ionization of $H_2+$

abstract: The dissociative ionization of $H_2^+$ in linearly polarized, 400 nm laser pulses is simulated by solving a three-particle time-dependent Schr\"odinger equation in full dimensionality. The joint energy spectra (JES) are computed for $\cos^8$ and flat-top envelopes using the time-dependent surface flux (tSurff) methods. In JES, the energy sharing $n$ photon energies $\omega$ of nuclear kinetic energy release (KER) $E_N$ and electronic KER $E_e$ are well represented by $E_N+E_e=n\omega-U_p+E_0$ for $\cos^8$ pulses, but satisfy $E_N+E_e=n\omega+E_0$ for flat-top envelope, exposing a deviation of the ponderomotive energy $U_p$, which has been observed in experiments, where $E_0$ is the ground energy of $H_2^+$. The analysis of the wavefunction for electrons and protons after the pulse are presented, where we find $U_p$ is absorbed by the Freeman resonances between two excited ungerade states.


title: Optimal Rating Design under Moral Hazard

abstract: We examine the design of optimal rating systems in the presence of moral hazard. First, an intermediary commits to a rating scheme. Then, a decision-maker chooses an action that generates value for the buyer. The intermediary then observes a noisy signal of the decision-maker's choice and sends the buyer a signal consistent with the rating scheme. Here we fully characterize the set of allocations that can arise in equilibrium under any arbitrary rating system. We use this characterization to study various design aspects of optimal rating systems. Specifically, we study the properties of optimal ratings when the decision-maker's effort is productive and when the decision-maker can manipulate the intermediary's signal with a noise. With manipulation, rating uncertainty is a fairly robust feature of optimal rating systems.


title: The Cucker-Smale model with time delay

abstract: We study the classical Cucker-Smale model in continuous time with a positive time delay $\tau$. As in the non-delayed case, unconditional flocking occurs when $\beta \leq 1/2$ for every $\tau>0$. Furthermore, we prove the exponential decay for the diameter of the velocities.


title: Dual Infinite Wedge is $\mathrm{GL}_{\infty}$-equivariantly noetherian

abstract: We prove the (equivariant) noetherian property for a wide class of varieties generalizing the class of Plucker varieties (Theorem 1). It improves previous results of Draisma-Eggermont who treated the case of bounded Plucker varieties. Key ingredient of our proof is the constructive proof of the equivariant noetherianity for the hyper-Pfaffians (Theorem 36) which implies the equivariant noetherianity of the dual infinite wedge.


title: Calculating the energy loss of leading jets

abstract: The energy loss mechanism of jets plays a central role in nuclear and high energy physics. We propose direct measurements of the energy loss of leading jets and perform a calculation at next-to-leading logarithmic (NLL$'$) accuracy in the vacuum. The formation of leading jets can be described by jet functions which constitute probability densities and thus allow for a perturbative calculation of the average the energy loss. We identify the following three criteria for a direct measurement of jet energy loss at the cross section level. $i)$ We measure a well defined object, the leading jet, where the formation process can be expressed in terms of a probability density. $ii)$ In addition, we need a measurement of a hard reference scale with respect to which jet energy loss is defined. $iii)$ At leading logarithmic accuracy, we require that the jet energy loss can be identified with parton energy loss. We discuss suitable observables and present numerical results including threshold corrections by making use of a parton shower Monte Carlo approach.


title: Investigating Differences in Crowdsourced News Credibility Assessment: Raters, Tasks, and Expert Criteria

abstract: Misinformation about critical issues such as climate change and vaccine safety is oftentimes amplified on online social and search platforms. The crowdsourcing of content credibility assessment by laypeople has been proposed as one strategy to combat misinformation by attempting to replicate the assessments of experts at scale. In this work, we investigate news credibility assessments by crowds versus experts to understand when and how ratings between them differ. We gather a dataset of over 4,000 credibility assessments taken from 2 crowd groups---journalism students and Upwork workers---as well as 2 expert groups---journalists and scientists---on a varied set of 50 news articles related to climate science, a topic with widespread disconnect between public opinion and expert consensus. Examining the ratings, we find differences in performance due to the makeup of the crowd, such as rater demographics and political leaning, as well as the scope of the tasks that the crowd is assigned to rate, such as the genre of the article and partisanship of the publication. Finally, we find differences between expert assessments due to differing expert criteria that journalism versus science experts use---differences that may contribute to crowd discrepancies, but that also suggest a way to reduce the gap by designing crowd tasks tailored to specific expert criteria. From these findings, we outline future research directions to better design crowd processes that are tailored to specific crowds and types of content.


title: The First Round Result from the TianQin-1 Satellite

abstract: The TianQin-1 satellite (TQ-1), which is the first technology demonstration satellite for the TianQin project, was launched on 20 December 2019. The first round of experiment had been carried out from 21 December 2019 until 1 April 2020. The residual acceleration of the satellite is found to be about $1\times10^{-10}~{\rm m}/{\rm s}^{2}/{\rm Hz}^{1/2}$ at $0.1~{\rm Hz}\,$ and about $5\times10^{-11}~{\rm m}/{\rm s}^{2}/{\rm Hz}^{1/2}$ at $0.05~{\rm Hz}\,$, measured by an inertial sensor with a sensitivity of $5\times10^{-12}~{\rm m}/{\rm s}^{2}/{\rm Hz}^{1/2}$ at $0.1~{\rm Hz}\,$. The micro-Newton thrusters has demonstrated a thrust resolution of $0.1~\mu{\rm N}$ and a thrust noise of $0.3~\mu{\rm N}/{\rm Hz}^{1/2}$ at $0.1~{\rm Hz}$. The residual noise of the satellite with drag-free control is $3\times10^{-9}~{\rm m}/{\rm s}^{2}/{\rm Hz}^{1/2}$ at $0.1~{\rm Hz}\,$. The noise level of the optical readout system is about $30~{\rm pm}/{\rm Hz}^{1/2}$ at $0.1~{\rm Hz}\,$. The temperature stability at temperature monitoring position is controlled to be about $\pm3~{\rm mK}$ per orbit, and the mismatch between the center-of-mass of the satellite and that of the test mass is measured with a precision of better than $0.1~{\rm mm}$.


title: Bits and Pieces: Understanding Information Decomposition from Part-whole Relationships and Formal Logic

abstract: Partial information decomposition (PID) seeks to decompose the multivariate mutual information that a set of source variables contains about a target variable into basic pieces, the so called "atoms of information". Each atom describes a distinct way in which the sources may contain information about the target. In this paper we show, first, that the entire theory of partial information decomposition can be derived from considerations of elementary parthood relationships between information contributions. This way of approaching the problem has the advantage of directly characterizing the atoms of information, instead of taking an indirect approach via the concept of redundancy. Secondly, we describe several intriguing links between PID and formal logic. In particular, we show how to define a measure of PID based on the information provided by certain statements about source realizations. Furthermore, we show how the mathematical lattice structure underlying PID theory can be translated into an isomorphic structure of logical statements with a particularly simple ordering relation: logical implication. The conclusion to be drawn from these considerations is that there are three isomorphic "worlds" of partial information decomposition, i.e. three equivalent ways to mathematically describe the decomposition of the information carried by a set of sources about a target: the world of parthood relationships, the world of logical statements, and the world of antichains that was utilized by Williams and Beer in their original exposition of PID theory. We additionally show how the parthood perspective provides a systematic way to answer a type of question that has been much discussed in the PID field: whether a partial information decomposition can be uniquely determined based on concepts other than redundant information.


title: Moments of Moments and Branching Random Walks

abstract: We calculate, for a branching random walk $X_n(l)$ to a leaf $l$ at depth $n$ on a binary tree, the positive integer moments of the random variable $\frac{1}{2^{n}}\sum_{l=1}^{2^n}e^{2\beta X_n(l)}$, for $\beta\in\mathbb{R}$. We obtain explicit formulae for the first few moments for finite $n$. In the limit $n\to\infty$, our expression coincides with recent conjectures and results concerning the moments of moments of characteristic polynomials of random unitary matrices, supporting the idea that these two problems, which both fall into the class of logarithmically correlated Gaussian random fields, are related to each other.


title: Correlation of interface transmission in THz spintronic emitters with spin mixing conductance in spin pumping experiments

abstract: The field of THz spintronics is a novel direction in the research field of spintronics that combines magnetism with optical physics and ultrafast photonics. The experimental scheme of the field involves the use of femtosecond laser pulses to trigger ultrafast spin and charge dynamics in bilayers composed of ferromagnetic (FM) and non-magnetic (NM) thin films where the NM layer features a strong spin-orbit coupling. The key technological and scientific challenges of THz spintronic emitters is to increase their intensity and frequency bandwidth. To achieve this the control of the source of the radiation, namely the transport of the ultrafast spin current is required. However, the transfer of a spin current from a FM to a NM layer is a highly interface-sensitive effect. In this work we study the properties of the spin current transport through the interface measuring the strength of the THz emission and compare it to the effective spin mixing conductance, one of the key concepts in the spin current transport through interfaces. The results show an enhancement of the spin mixing conductance for interfaces with higher degree of epitaxy similarly to the improvement of the THz emission. The proportionality between spin mixing conductance and THz emission can define new directions in engineering the emission of spintronic THz emitters.


title: Lectures on the linearized Kapustin-Witten equations on $(0,\infty) \times\ $Y

abstract: This is a written version of lectures that I would have given myself about aspects of the differential operator that is obtained from the linearized Kapustin-Witten equations on the product of the half-line with a compact, oriented, Riemannian 3-manifold. These lectures concern for the most part certain instances of much more general theorems of R. Mazzeo and E. Witten. There is also a 'lecture series' about the asymptotics of solutions to the same Kapustin-Witten equations as the half-line parameter limits to infinity.


title: Achieving Disaster-Resilient Distribution Systems via Emergency Response Resources: A Practical Approach

abstract: This paper presents a practical approach to utilizing emergency response resources (ERRs) and post-disaster available distributed energy resources (PDA-DERs) to improve the resilience of power distribution systems against natural disasters. The proposed approach consists of two sequential steps: first, the minimum amount of ERRs is determined in a pre-disaster planning model; second, a post-disaster restoration model is proposed to co-optimize the dispatch of pre-planned ERRs and PDA-DERs to minimize the impact of disasters on customers, i.e., unserved energy for the entire restoration window. Compared with existing restoration strategies using ERRs, the proposed approach is more tractable since 1) in the pre-disaster stage, the needed EERs are determined based on the prediction of energy shortage and disaster-induced damages using machine learning-based algorithms (i.e., cost-sensitive-RFQRF for prediction of outage customers, random forest for prediction of outage duration, and CART for prediction of disaster-induced damages); 2) in the post-disaster stage, the super-node approximation (SNA) and the convex hull relaxation (CHR) of distribution networks are introduced to achieve the best trade-off between computational burden and accuracy. Tests of the proposed approach on IEEE test feeders demonstrated that a combination of SNA and CHR remarkably reduces the solution time of the post-disaster restoration model.


title: Graph complexes and Feynman rules

abstract: We investigate Feynman graphs and their Feynman rules from the viewpoint of graph complexes. We focus on graph homology and on the appearance of cubical complexes when either reducing internal edges or when removing them by putting them on the massshell.


title: Quantum sensing of a coherent single spin excitation in a nuclear ensemble

abstract: The measurement of single quanta in a collection of coherently interacting objects is transformative in the investigations of emergent quantum phenomena. An isolated nuclear-spin ensemble is a remarkable platform owing to its coherence, but detecting its single spin excitations has remained elusive. Here, we use an electron spin qubit in a semiconductor quantum dot to sense a single nuclear-spin excitation (a nuclear magnon) with 1.9-ppm precision via the 200-kHz hyperfine shift on the 28-GHz qubit frequency. We demonstrate this single-magnon precision across multiple modes identified by nuclear species and polarity. Finally, we monitor the coherent dynamics of a nuclear magnon and the emergence of quantum correlations competing against decoherence. A direct extension of this work is to probe engineered quantum states of the ensemble including long-lived memory states.


title: Asymmetric surface wave excitation through metasurface-edge diffraction

abstract: The selective excitation of localized surface wave modes remains a challenge in the design of both leaky-wave and bound-wave devices. In this Letter, we show how the truncation of a metasurface can play an important role in breaking the spatial inversion symmetry in the excitation of surface waves supported by the structure. This is done by combining a large anisotropy in the dispersion relation and the presence of an edge which also serves as a coupling mechanism between the plane wave excitation and the induced surface waves. By resorting to the exact solution of the scattering problem based on a discrete Wiener-Hopf technique we show that by inverting the component of the impinging wavevector parallel to the truncation, two distinct surface waves are excited.


title: Functional L\"owner Ellipsoids

abstract: We extend the notion of the smallest volume ellipsoid containing a convex body in~$\mathbb{R}^{d}$ to the setting of logarithmically concave functions. We consider a vast class of logarithmically concave functions whose superlevel sets are concentric ellipsoids. For a fixed function from this class, we consider the set of all its "affine" positions. For any log-concave function $f$ on $\mathbb{R}^{d},$ we consider functions belonging to this set of "affine" positions, and find the one with the smallest integral under the condition that it is pointwise greater than or equal to $f.$ We study the properties of existence and uniqueness of the solution to this problem. For any $s \in [0,\infty),$ we consider the construction dual to the recently defined John $s$-function \cite{ivanov2020functional}. We prove that such a construction determines a unique function and call it the \emph{L\"owner $s$-function} of $f.$ We study the L\"owner $s$-functions as $s$ tends to zero and to infinity. Finally, extending the notion of the outer volume ratio, we define the outer integral ratio of a log-concave function and give an asymptotically tight bound on it. \end{abstract}


title: Visual Analysis of Large Multivariate Scattered Data using Clustering and Probabilistic Summaries

abstract: Rapidly growing data sizes of scientific simulations pose significant challenges for interactive visualization and analysis techniques. In this work, we propose a compact probabilistic representation to interactively visualize large scattered datasets. In contrast to previous approaches that represent blocks of volumetric data using probability distributions, we model clusters of arbitrarily structured multivariate data. In detail, we discuss how to efficiently represent and store a high-dimensional distribution for each cluster. We observe that it suffices to consider low-dimensional marginal distributions for two or three data dimensions at a time to employ common visual analysis techniques. Based on this observation, we represent high-dimensional distributions by combinations of low-dimensional Gaussian mixture models. We discuss the application of common interactive visual analysis techniques to this representation. In particular, we investigate several frequency-based views, such as density plots in 1D and 2D, density-based parallel coordinates, and a time histogram. We visualize the uncertainty introduced by the representation, discuss a level-of-detail mechanism, and explicitly visualize outliers. Furthermore, we propose a spatial visualization by splatting anisotropic 3D Gaussians for which we derive a closed-form solution. Lastly, we describe the application of brushing and linking to this clustered representation. Our evaluation on several large, real-world datasets demonstrates the scaling of our approach.


title: $\psi$(4040) and $Y(4008)$ decay widths in hot and dense strange hadronic matter

abstract: In the present investigation, we evaluate the in-medium partial decay widths of exited states $\psi$(4040) and $Y$(4008) decaying to the pairs of non-strange pseudoscalar $D \bar{D}$ mesons, strange pseudoscalar $D_s \bar{D}_s$ mesons, non-strange vector $D^* \bar{D}^*$ meson and pseudoscalar-vector $D \bar{D}^*$ mesons using $^3P_0$ model. The in-medium effects are incorporated through the in-medium masses of daughter mesons (calculated using the chiral SU(3) model and QCD sum rule approach in our previous works). We consider $\psi$(4040) and $Y$(4008) states as 3$^3S_1$ states and observe the in-medium dominance of one state over the other for a given decay mode. The results of the present investigation will prove as one step forward in assigning the correct spectroscopic state to controversial $Y$(4008) state.


title: A framework for modelling Molecular Interaction Maps

abstract: Metabolic networks, formed by a series of metabolic pathways, are made of intracellular and extracellular reactions that determine the biochemical properties of a cell, and by a set of interactions that guide and regulate the activity of these reactions. Most of these pathways are formed by an intricate and complex network of chain reactions, and can be represented in a human readable form using graphs which describe the cell cycle checkpoint pathways. This paper proposes a method to represent Molecular Interaction Maps (graphical representations of complex metabolic networks) in Linear Temporal Logic. The logical representation of such networks allows one to reason about them, in order to check, for instance, whether a graph satisfies a given property $\phi$, as well as to find out which initial conditons would guarantee $\phi$, or else how can the the graph be updated in order to satisfy $\phi$. Both the translation and resolution methods have been implemented in a tool capable of addressing such questions thanks to a reduction to propositional logic which allows exploiting classical SAT solvers.


title: Critical couplings in topological-insulator waveguide-resonator systems observed in elastic waves

abstract: Waveguides and resonators are core components in the large-scale integration of electronics, photonics, and phononics, both in existing and future scenarios. In certain situations, there is critical coupling of the two components; i.e., no energy passes through the waveguide after the incoming wave couples into the resonator. The transmission spectral characteristics resulting from this phenomenon are highly advantageous for signal filtering, switching, multiplexing, and sensing. In the present study, adopting an elastic-wave platform, we introduce topological insulator (TI), a remarkable achievement in condensed matter physics over the past decade, into a classical waveguide-ring-resonator configuration. Along with basic similarities with classical systems, a TI system has important differences and advantages, mostly owing to the spin-momentum locked transmission states at the TI boundaries. As an example, a two-port TI waveguide resonator can fundamentally eliminate upstream reflections while completely retaining useful transmission spectral characteristics, and maximize the energy in the resonator, with possible applications being novel signal processing, gyro/sensing, lasering, energy harvesting, and intense wave-matter interactions, using phonons, photons, or even electrons. The present work further enhances the confidence of using topological protection for practical device performance and functionalities, especially considering the crucial advantage of introducing (pseudo)spins to existing conventional configurations. More in-depth research on advancing phononics/photonics, especially on-chip, is foreseen.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.optics


title: Low-energy phenomenology of scalar leptoquarks at one-loop accuracy

abstract: We perform a complete study of the low-energy phenomenology of $S_1$ and $S_3$ lepto-quarks, aimed at addressing the observed deviations in $B$-meson decays and the muon magnetic dipole moment. Leptoquark contributions to observables are computed at one-loop accuracy in an effective field theory approach, using the recently published complete one-loop matching of these leptoquarks to the Standard Model effective field theory. We present several scenarios, discussing in each case the preferred parameter space and the most relevant observables.


title: Towards obtaining a 3-Decomposition from a perfect Matching

abstract: A decomposition of a graph is a set of subgraphs whose edges partition those of $G$. The 3-decomposition conjecture posed by Hoffmann-Ostenhof in 2011 states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph, and a matching. It has been settled for special classes of graphs, one of the first results being for Hamiltonian graphs. In the past two years several new results have been obtained, adding the classes of plane, claw-free, and 3-connected tree-width 3 graphs to the list. In this paper, we regard a natural extension of Hamiltonian graphs: removing a Hamiltonian cycle from a cubic graph leaves a perfect matching. Conversely, removing a perfect matching $M$ from a cubic graph $G$ leaves a disjoint union of cycles. Contracting these cycles yields a new graph $G_M$. The graph $G$ is star-like if $G_M$ is a star for some perfect matching $M$, making Hamiltonian graphs star-like. We extend the technique used to prove that Hamiltonian graphs satisfy the 3-decomposition conjecture to show that 3-connected star-like graphs satisfy it as well.


title: Magnetic metamaterials with correlated disorder

abstract: We examine the transport of magnetic energy in a simplified model of a magnetic metamaterial, consisting of a one-dimensional array of split-ring resonators, in the presence of correlated disorder in the resonant frequencies. The computation of the average participation ratio (PR) reveals that on average, the modes for the correlated disorder system are less localized than in the uncorrelated case. The numerical computation of the mean square displacement of an initially localized magnetic excitation for the correlated case shows a substantial departure from the uncorrelated (Anderson-like) case. A long-time asymptotic fit $\langle n^2\rangle \sim t^\alpha$ reveals that, for the uncorrelated system $\alpha\sim 0$, while for the correlated case $\alpha>0$, spanning a whole range of behavior ranging from localization to super-diffusive behavior. The transmission coefficient of a plane wave across a single magnetic dimer reveals the existence of well-defined regions in disorder strength-magnetic coupling space, where unit transmission for some wavevector(s) is possible. This implies, according to the random dimer model (RDM) of Dunlap et al., a degree of mobility. A comparison between the mobilities of the correlated SRR system and the RDM shows that the RDM model has better mobility at low disorder while our correlated SRR model displays better mobility at medium and large disorder.


title: Finding the strongest stable weightless column with a follower load and relocatable concentrated masses

abstract: We consider the problem of optimal placement of concentrated masses along a massless elastic column that is clamped at one end and loaded by a nonconservative follower force at the free end. The goal is to find the largest possible interval such that the variation in the loading parameter within this interval preserves stability of the structure. The stability constraint is nonconvex and nonsmooth, making the optimization problem quite challenging. We give a detailed analytical treatment for the case of two masses, arguing that the optimal parameter configuration approaches the flutter and divergence boundaries of the stability region simultaneously. Furthermore, we conjecture that this property holds for any number of masses, which in turn suggests a simple formula for the maximal load interval for $n$ masses. This conjecture is strongly supported by extensive computational results, obtained using the recently developed open-source software package GRANSO (GRadient-based Algorithm for Non-Smooth Optimization) to maximize the load interval subject to an appropriate formulation of the nonsmooth stability constraint. We hope that our work will provide a foundation for new approaches to classical long-standing problems of stability optimization for nonconservative elastic systems arising in civil and mechanical engineering.

categories: physics.class-ph cs.NA math.DS math.NA math.OC


title: In Search of Patient Zero: Visual Analytics of Pathogen Transmission Pathways in Hospitals

abstract: Pathogen outbreaks (i.e., outbreaks of bacteria and viruses) in hospitals can cause high mortality rates and increase costs for hospitals significantly. An outbreak is generally noticed when the number of infected patients rises above an endemic level or the usual prevalence of a pathogen in a defined population. Reconstructing transmission pathways back to the source of an outbreak -- the patient zero or index patient -- requires the analysis of microbiological data and patient contacts. This is often manually completed by infection control experts. We present a novel visual analytics approach to support the analysis of transmission pathways, patient contacts, the progression of the outbreak, and patient timelines during hospitalization. Infection control experts applied our solution to a real outbreak of Klebsiella pneumoniae in a large German hospital. Using our system, our experts were able to scale the analysis of transmission pathways to longer time intervals (i.e., several years of data instead of days) and across a larger number of wards. Also, the system is able to reduce the analysis time from days to hours. In our final study, feedback from twenty-five experts from seven German hospitals provides evidence that our solution brings significant benefits for analyzing outbreaks. It is also applicable to COVID-19 hospital-associated transmissions.


title: The Moduli Space of Marked Generalized Cusps in Real Projective Manifolds

abstract: In this paper, a generalized cusp is a properly convex manifold with strictly convex boundary that is diffeomorphic to $M \times [0, \infty)$ where $M$ is a closed Euclidean manifold. These are classified in [2]. The marked moduli space is homeomorphic to a subspace of the space of conjugacy classes of representations of $\pi_1(M)$. It has one description as a generalization of a trace-variety, and another description involving weight data that is similar to that used to describe semi-simple Lie groups. It is also a bundle over the space of Euclidean similarity (conformally flat) structures on $M$, and the fiber is a closed cone in the space of cubic differentials. For 3-dimensional orientable generalized cusps, the fiber is homeomorphic to a cone on a solid torus.


title: Functional equations in polynomials

abstract: We determine all F,G in C[X] of degree at least 2 for which the semigroup generated by F and G under composition is not the free semigroup on the letters F and G. We also solve the same problem for F,G in X^2 C[[X]], and prove partial analogues over arbitrary fields.


title: Probabilistic storage and retrieval of qubit phase gates

abstract: Probabilistic storage and retrieval (PSR) of unitary quantum dynamics is possible with exponentially small failure probability with respect to the number of systems used as a quantum memory [PRL 122, 170502 (2019)]. Here we study improvements due to a priori knowledge about the unitary transformation to be stored. In particular, we study $N \rightarrow 1$ PSR of qubit phase gates, i.e. qubit rotations a round $Z$ axis with an unknown angle, and show that if we access the gate only $N$-times, the optimal probability of perfect retrieving of its single use is $N/(N+1)$. We propose a quantum circuit realization for the optimal protocol and show that programmable phase gate [PRL 88, 047905 (2002)] can be turned into $(2^k-1)\rightarrow 1$ optimal PSR of phase gates and requires only $k$ CNOT gates, while having exponentially small failure probability in $k$.