title: A quantum algorithm for gravitational wave matched filtering

abstract: Quantum computational devices, currently under development, have the potential to accelerate data analysis techniques beyond the ability of any classical algorithm. We propose the application of a quantum algorithm for the detection of unknown signals in noisy data. We apply Grover's algorithm to matched-filtering, a signal processing technique that compares data to a number of candidate signal templates. In comparison to the classical method, this provides a speed-up proportional to the square-root of the number of templates, which would make possible otherwise intractable searches. We demonstrate both a proof-of-principle quantum circuit implementation, and a simulation of the algorithm's application to the detection of the first gravitational wave signal GW150914. We discuss the time complexity and space requirements of our algorithm as well as its implications for the currently computationally-limited searches for continuous gravitational waves.


title: Extremal problems of double stars

abstract: In a generalized Tur\'an problem, two graphs $H$ and $F$ are given and the question is the maximum number of copies of $H$ in an $F$-free graph of order $n$. In this paper, we study the number of double stars $S_{k,l}$ in triangle-free graphs. We also study an opposite version of this question: what is the maximum number edges/triangles in graphs with double star type restrictions, which leads us to study two questions related to the extremal number of triangles or edges in graphs with degree-sum constraints over adjacent or non-adjacent vertices.


title: A Longitudinal Multi-modal Dataset for Dementia Monitoring and Diagnosis

abstract: Dementia affects cognitive functions of adults, including memory, language, and behaviour. Standard diagnostic biomarkers such as MRI are costly, whilst neuropsychological tests suffer from sensitivity issues in detecting dementia onset. The analysis of speech and language has emerged as a promising and non-intrusive technology to diagnose and monitor dementia. Currently, most work in this direction ignores the multi-modal nature of human communication and interactive aspects of everyday conversational interaction. Moreover, most studies ignore changes in cognitive status over time due to the lack of consistent longitudinal data. Here we introduce a novel fine-grained longitudinal multi-modal corpus collected in a natural setting from healthy controls and people with dementia over two phases, each spanning 28 sessions. The corpus consists of spoken conversations, a subset of which are transcribed, as well as typed and written thoughts and associated extra-linguistic information such as pen strokes and keystrokes. We present the data collection process and describe the corpus in detail. Furthermore, we establish baselines for capturing longitudinal changes in language across different modalities for two cohorts, healthy controls and people with dementia, outlining future research directions enabled by the corpus.


title: Investigate the Correlation of Breast Cancer Dataset using Different Clustering Technique

abstract: The objectives of this paper are to explore ways to analyze breast cancer dataset in the context of unsupervised learning without prior training model. The paper investigates different ways of clustering techniques as well as preprocessing. This in-depth analysis builds the footprint which can further use for designing a most robust and accurate medical prognosis system. This paper also give emphasis on correlations of data points with different standard benchmark techniques. Keywords: Breast cancer dataset, Clustering Technique Hopkins Statistic, K-means Clustering, k-medoids or partitioning around medoids (PAM)


title: Holographic stress tensor of colored Lifshitz spacetimes and hairy black holes

abstract: We compute the holographic stress tensor of colored Lifshitz spacetimes following the proposal by Ross-Saremi for gravity duals of non-relativistic theories. For a well-defined variational principle, we first construct a finite on-shell action for the Einstein-Yang-Mills model in four dimensions with Lifshitz spacetime as a solution. We then solve the linearised equations of motion and identify the modes that preserve the asymptotically Lifshitz condition. Employing these modes, we also show that the stress tensor is finite, obeying the scaling and the diffeomorphism Ward identities, i.e., conservations laws. As a final application, we evaluate the energy density and the spatial stress tensor of the previously found numerical black hole solutions with various dynamical exponents $z$. The alternative Smarr relation that has been used in Lifshitz black holes and the first law of thermodynamics are shown to hold without a global Yang-Mills charge, indicating the black holes in question are hairy.


title: A stellar census in globular clusters with MUSE. A new perspective on the multiple main sequences of $\omega$ Centauri

abstract: $\omega$ Cen is a rare example of a globular cluster where the iron abundance of the stars spans more than one order of magnitude. Many spectroscopic investigations of its red-giant- and sub-giant- branches have revealed multiple peaks in the iron abundance distribution. The metallicity distribution of main-sequence (MS) stars is not well characterized yet, due to the faintness of the stars and lack of data. So far, almost all studies of MS stars are based on photometric measurements. Our goal is to investigate the metallicity distribution of a statistically significant sample of MS stars in $\omega$ Cen. In particular, we aim at revisiting the metallicity difference between the red and blue MS of the cluster. We used MUSE spectra obtained for the central region of $\omega$ Cen to derive metallicities for $\approx$4200 MS stars. We find that blue MS stars are on average $\approx$0.1 dex more metal-rich than their red counterparts. On the basis of this new estimate, we find that the two sequences can be fit on the Hubble Space Telescope color-magnitude diagram with two isochrones having the same global metallicity and age but a higher helium abundance for the blue MS, that is $\Delta Y \lesssim$ 0.1. Furthermore, we determine the average metallicity of the five main populations along $\omega$ Cen MS and these estimates are consistent with expectations from previous photometric studies.


title: Generation and characterization of complex vector modes with digital micromirror devices

abstract: Complex vector light modes with a spatial variant polarization distribution have become topical of late, enabling the development of novel applications in numerous research fields. Key to this is the remarkable similarities they hold with quantum entangled states, which arises from the non-separability between the spatial and polarisation degrees of freedom (DoF). As such, the demand for diversification of generation methods and characterization techniques have increased dramatically. Here we put forward a comprehensive tutorial about the use of DMDs in the generation and characterization of vector modes, providing details on the implementation of techniques that fully exploits the unsurpassed advantage of Digital Micromirrors Devices (DMDs), such as their high refresh rates and polarisation independence. We start by briefly describing the operating principles of DMD and follow with a thorough explanation of some of the methods to shape arbitrary vector modes. Finally, we describe some techniques aiming at the real-time characterization of vector beams. This tutorial highlights the value of DMDs as an alternative tool for the generation and characterization of complex vector light fields, of great relevance in a wide variety of applications.


title: The Study of X-Ray Flux Variability of M87

abstract: We searched for a short-term X-ray variability of the M87 core and jet from archival X-ray data with long exposure data taken by the Suzaku, Chandra, and NuSTAR telescopes. We found the intraday variability for the Suzaku data obtained in 2006, and for the Chandra core obtained in 2017. The intraday variability suggested a minute emission region of about the size of Schwartzshild radius of the M87 supermassive black hole. Suzaku could not resolve a core and HST-1; however, in 2006, HST-1 was much brighter than the core, and thus, the variability is likely due to the HST-1. Since the photon index in 2006 was 2.38, the emission was possibly synchrotron emission from the local shock region in the HST-1, indicating that the particle acceleration of TeV electrons occurred far away (~100 pc) from the core. Assuming the fading time to be equal to the synchrotron cooling time, the magnetic field is constrained to be B ~1.94 ${\delta}^{1/3}$ mG. Moreover, the photon index of the core in 2017 was approximately 1.96; thus, the possible emission was from the radiative inefficiency accretion flow of the core or inverse Compton scattering in the jet. Intraday time variability prefers the latter possibility.


title: Diffusion matrix associated with the diffusion processes of multiple conserved charges in a hot and dense hadronic matter

abstract: Bulk matter produced in heavy ion collisions has multiple conserved quantum numbers like baryon number, strangeness and electric charge. The diffusion process of these charges can be described by a diffusion matrix describing the interdependence of diffusion of different charges. The diffusion coefficient matrix is estimated here from the Boltzmann kinetic theory for the hadronic phase within relaxation time approximation. In the derivation for the same, we impose the Landau-Lifshitz conditions of fit. This leads to e.g. the diagonal diffusion coefficients to be manifestly positive definite. The explicit calculations are performed within the ambit of hadron resonance gas model with and without excluded volume corrections. It is seen that the off-diagonal components can be significant to affect the charge diffusion in a fluid with multiple conserved charges. The excluded volume correction effects is seen to be not significant in the estimation of the elements of the diffusion matrix.


title: Ontology-driven Knowledge Graph for Android Malware

abstract: We present MalONT2.0 -- an ontology for malware threat intelligence \cite{rastogi2020malont}. New classes (attack patterns, infrastructural resources to enable attacks, malware analysis to incorporate static analysis, and dynamic analysis of binaries) and relations have been added following a broadened scope of core competency questions. MalONT2.0 allows researchers to extensively capture all requisite classes and relations that gather semantic and syntactic characteristics of an android malware attack. This ontology forms the basis for the malware threat intelligence knowledge graph, MalKG, which we exemplify using three different, non-overlapping demonstrations. Malware features have been extracted from CTI reports on android threat intelligence shared on the Internet and written in the form of unstructured text. Some of these sources are blogs, threat intelligence reports, tweets, and news articles. The smallest unit of information that captures malware features is written as triples comprising head and tail entities, each connected with a relation. In the poster and demonstration, we discuss MalONT2.0, MalKG, as well as the dynamically growing knowledge graph, TINKER.


title: Large-Scale Learning with Fourier Features and Tensor Decompositions

abstract: Random Fourier features provide a way to tackle large-scale machine learning problems with kernel methods. Their slow Monte Carlo convergence rate has motivated the research of deterministic Fourier features whose approximation error can decrease exponentially in the number of basis functions. However, due to their tensor product extension to multiple dimensions, these methods suffer heavily from the curse of dimensionality, limiting their applicability to one, two or three-dimensional scenarios. In our approach we overcome said curse of dimensionality by exploiting the tensor product structure of deterministic Fourier features, which enables us to represent the model parameters as a low-rank tensor decomposition. We derive a monotonically converging block coordinate descent algorithm with linear complexity in both the sample size and the dimensionality of the inputs for a regularized squared loss function, allowing to learn a parsimonious model in decomposed form using deterministic Fourier features. We demonstrate by means of numerical experiments how our low-rank tensor approach obtains the same performance of the corresponding nonparametric model, consistently outperforming random Fourier features.


title: Entanglement robustness in trace decreasing quantum dynamics caused by depolarization and polarization dependent losses

abstract: Trace decreasing dynamical maps are as physical as trace preserving ones; however, they are much less studied. Here we overview how the quantum Sinkhorn theorem can be successfully applied to find a two-qubit entangled state which has the strongest robustness against local noises and losses of quantum information carriers. We solve a practically relevant problem of finding an optimal initial encoding to distribute entangled polarized qubits though communication lines with polarization dependent losses and extra depolarizing noise. The longest entanglement lifetime is shown to be attainable with a state that is not maximally entangled.


title: Teacher Mental Health During the COVID-19 Pandemic: Informing Policies to Support Teacher Well-being and Effective Teaching Practices

abstract: While there is an emergence of research investigating the educational impacts of the COVID-19 pandemic, empirical studies assessing teacher mental health throughout the pandemic have been scarce. Using a large national dataset, the current study first compared mental health outcomes during the pandemic between pK-12 teachers and professionals in other occupations. Further, we compared the prevalence of mental health outcomes between in-person and remote teachers (n = 131,154). Findings indicated teachers reported greater mental health concerns than those in other professions, and that remote teachers reported significantly higher levels of distress than those teaching in-person. Policy implications are discussed, with a focus on providing support to meet the evolving needs of teachers.


title: Variational Bayes algorithm and posterior consistency of Ising model parameter estimation

abstract: Ising models originated in statistical physics and are widely used in modeling spatial data and computer vision problems. However, statistical inference of this model remains challenging due to intractable nature of the normalizing constant in the likelihood. Here, we use a pseudo-likelihood instead to study the Bayesian estimation of two-parameter, inverse temperature, and magnetization, Ising model with a fully specified coupling matrix. We develop a computationally efficient variational Bayes procedure for model estimation. Under the Gaussian mean-field variational family, we derive posterior contraction rates of the variational posterior obtained under the pseudo-likelihood. We also discuss the loss incurred due to variational posterior over true posterior for the pseudo-likelihood approach. Extensive simulation studies validate the efficacy of mean-field Gaussian and bivariate Gaussian families as the possible choices of the variational family for inference of Ising model parameters.


title: Neural PathSim for Inductive Similarity Search in Heterogeneous Information Networks

abstract: PathSim is a widely used meta-path-based similarity in heterogeneous information networks. Numerous applications rely on the computation of PathSim, including similarity search and clustering. Computing PathSim scores on large graphs is computationally challenging due to its high time and storage complexity. In this paper, we propose to transform the problem of approximating the ground truth PathSim scores into a learning problem. We design an encoder-decoder based framework, NeuPath, where the algorithmic structure of PathSim is considered. Specifically, the encoder module identifies Top T optimized path instances, which can approximate the ground truth PathSim, and maps each path instance to an embedding vector. The decoder transforms each embedding vector into a scalar respectively, which identifies the similarity score. We perform extensive experiments on two real-world datasets in different domains, ACM and IMDB. Our results demonstrate that NeuPath performs better than state-of-the-art baselines in the PathSim approximation task and similarity search task.


title: Geometry of Associated Quantum Vector Bundles and the Quantum Gauge Group

abstract: In Differential Geometry, it is well--known that given a principal $G$--bundle with a principal connection, for every unitary finite--dimensional linear representation of $G$, one can induce a linear connection and a hermitian structure on associated vector bundles, which are compatible. Furthermore, the gauge group acts on the space of principal connections and on the space of linear connections defined in associated vector bundles. This paper aims to present the non--commutative counterpart of all these classical facts using the theory of quantum bundles and quantum connections.


title: Direct Observation of Ultrafast Singlet Exciton Fission in Three Dimensions

abstract: We present quantitative ultrafast interferometric pump-probe microscopy capable of tracking of photoexcitations with sub 10 nm spatial precision in three dimensions with 15 fs temporal resolution, through retrieval of the full transient photoinduced complex refractive index. We use this methodology to study the spatiotemporal dynamics of the quantum coherent photophysical process of ultrafast singlet exciton fission. Measurements on microcrystalline pentacene films grown on glass (SiO$_2$) and boron nitride (hBN) reveal a 25 nm, 70 fs expansion of the joint-density-of-states along the crystal a,c-axes accompanied by a 6 nm, 115 fs change in the exciton density along the crystal b-axis. We propose that photogenerated singlet excitons expand along the direction of maximal orbital $\pi$-overlap in the crystal a,c-plane to form correlated triplet pairs, which subsequently electronically decouples into free triplets along the crystal b-axis due to molecular sliding motion of neighbouring pentacene molecules. This methodology opens a new route for the study of three dimensional transport on ultrafast timescales.


title: Situated Conditional Reasoning

abstract: Conditionals are useful for modelling, but are not always sufficiently expressive for capturing information accurately. In this paper we make the case for a form of conditional that is situation-based. These conditionals are more expressive than classical conditionals, are general enough to be used in several application domains, and are able to distinguish, for example, between expectations and counterfactuals. Formally, they are shown to generalise the conditional setting in the style of Kraus, Lehmann, and Magidor. We show that situation-based conditionals can be described in terms of a set of rationality postulates. We then propose an intuitive semantics for these conditionals, and present a representation result which shows that our semantic construction corresponds exactly to the description in terms of postulates. With the semantics in place, we proceed to define a form of entailment for situated conditional knowledge bases, which we refer to as minimal closure. It is reminiscent of and, indeed, inspired by, the version of entailment for propositional conditional knowledge bases known as rational closure. Finally, we proceed to show that it is possible to reduce the computation of minimal closure to a series of propositional entailment and satisfiability checks. While this is also the case for rational closure, it is somewhat surprising that the result carries over to minimal closure.


title: Risk Assessment for Connected Vehicles under Stealthy Attacks on Vehicle-to-Vehicle Networks

abstract: Cooperative Adaptive Cruise Control (CACC) is an autonomous vehicle-following technology that allows groups of vehicles on the highway to form in tightly-coupled platoons. This is accomplished by exchanging inter-vehicle data through Vehicle-to-Vehicle (V2V) wireless communication networks. CACC increases traffic throughput and safety, and decreases fuel consumption. However, the surge of vehicle connectivity has brought new security challenges as vehicular networks increasingly serve as new access points for adversaries trying to deteriorate the platooning performance or even cause collisions. In this manuscript, we propose a novel attack detection scheme that leverage real-time sensor/network data and physics-based mathematical models of vehicles in the platoon. Nevertheless, even the best detection scheme could lead to conservative detection results because of unavoidable modelling uncertainties, network effects (delays, quantization, communication dropouts), and noise. It is hard (often impossible) for any detector to distinguish between these different perturbation sources and actual attack signals. This enables adversaries to launch a range of attack strategies that can surpass the detection scheme by hiding within the system uncertainty. Here, we provide risk assessment tools (in terms of semidefinite programs) for Connected and Automated Vehicles (CAVs) to quantify the potential effect of attacks that remain hidden from the detector (referred here as \emph{stealthy attacks}). A numerical case-study is presented to illustrate the effectiveness of our methods.


title: Quantum Principal Bundles and Yang-Mills-Scalar-Matter Fields

abstract: This paper aims to develop a non-commutative geometrical version of the theory of Yang--Mills--Scalar--Matter fields. To accomplish this purpose, we will dualize the geometrical formulation of this theory, in which principal $G$--bundles, principal connections, and linear representations play the most important role. In addition, we will present the non-commutative geometrical Lagrangian of the system as well as non-commutative geometrical associated field equations. At the end of this work, we show an illustrative example.


title: Congruence-simplicity of Steinberg algebras of non-Hausdorff ample groupoids over semifields

abstract: We investigate the algebra of an ample groupoid, introduced by Steinberg, over a semifield S. In particular, we obtain a complete characterization of congruence-simpleness for Steinberg algebras of second-countable ample groupoids, extending the well-known characterizations when S is a field. We apply our congruence-simplicity results to tight groupoids of inverse semigroup representations associated to self-similar graphs.


title: Pareto-Optimal Learning-Augmented Algorithms for Online Conversion Problems

abstract: This paper leverages machine-learned predictions to design competitive algorithms for online conversion problems with the goal of improving the competitive ratio when predictions are accurate (i.e., consistency), while also guaranteeing a worst-case competitive ratio regardless of the prediction quality (i.e., robustness). We unify the algorithmic design of both integral and fractional conversion problems, which are also known as the 1-max-search and one-way trading problems, into a class of online threshold-based algorithms (OTA). By incorporating predictions into design of OTA, we achieve the Pareto-optimal trade-off of consistency and robustness, i.e., no online algorithm can achieve a better consistency guarantee given for a robustness guarantee. We demonstrate the performance of OTA using numerical experiments on Bitcoin conversion.


title: Towards high partial waves in lattice QCD with a dumbbell-like operator

abstract: An extended two-hadron operator is developed to extract the spectra of irreducible representations (irreps) in the finite volume. The irreps of the group for the finite volume system are projected using a coordinate-space operator. The correlation function of this operator is computationally efficient to extract lattice spectra of the specific irrep. In particular, this new formulation only requires propagators to be computed from two distinct source locations, at fixed spatial separation. We perform a proof-of-principle study on a $24^3 \times 48$ lattice volume with $m_\pi\approx 900$ MeV by isolating various spectra of the $\pi\pi$ system with isospin-2 including a range of total momenta and irreps. By applying the L\"uscher formalism, the phase shifts of $S$-, $D$- and $G$-wave $\pi\pi$ scattering with isospin-2 are extracted from the spectra.


title: Learning Neural Models for Natural Language Processing in the Face of Distributional Shift

abstract: The dominating NLP paradigm of training a strong neural predictor to perform one task on a specific dataset has led to state-of-the-art performance in a variety of applications (eg. sentiment classification, span-prediction based question answering or machine translation). However, it builds upon the assumption that the data distribution is stationary, ie. that the data is sampled from a fixed distribution both at training and test time. This way of training is inconsistent with how we as humans are able to learn from and operate within a constantly changing stream of information. Moreover, it is ill-adapted to real-world use cases where the data distribution is expected to shift over the course of a model's lifetime. The first goal of this thesis is to characterize the different forms this shift can take in the context of natural language processing, and propose benchmarks and evaluation metrics to measure its effect on current deep learning architectures. We then proceed to take steps to mitigate the effect of distributional shift on NLP models. To this end, we develop methods based on parametric reformulations of the distributionally robust optimization framework. Empirically, we demonstrate that these approaches yield more robust models as demonstrated on a selection of realistic problems. In the third and final part of this thesis, we explore ways of efficiently adapting existing models to new domains or tasks. Our contribution to this topic takes inspiration from information geometry to derive a new gradient update rule which alleviate catastrophic forgetting issues during adaptation.


title: Model-Based Parameter Optimization for Ground Texture Based Localization Methods

abstract: A promising approach to accurate positioning of robots is ground texture based localization. It is based on the observation that visual features of ground images enable fingerprint-like place recognition. We tackle the issue of efficient parametrization of such methods, deriving a prediction model for localization performance, which requires only a small collection of sample images of an application area. In a first step, we examine whether the model can predict the effects of changing one of the most important parameters of feature-based localization methods: the number of extracted features. We examine two localization methods, and in both cases our evaluation shows that the predictions are sufficiently accurate. Since this model can be used to find suitable values for any parameter, we then present a holistic parameter optimization framework, which finds suitable texture-specific parameter configurations, using only the model to evaluate the considered parameter configurations.


title: Contextualized Embeddings based Convolutional Neural Networks for Duplicate Question Identification

abstract: Question Paraphrase Identification (QPI) is a critical task for large-scale Question-Answering forums. The purpose of QPI is to determine whether a given pair of questions are semantically identical or not. Previous approaches for this task have yielded promising results, but have often relied on complex recurrence mechanisms that are expensive and time-consuming in nature. In this paper, we propose a novel architecture combining a Bidirectional Transformer Encoder with Convolutional Neural Networks for the QPI task. We produce the predictions from the proposed architecture using two different inference setups: Siamese and Matched Aggregation. Experimental results demonstrate that our model achieves state-of-the-art performance on the Quora Question Pairs dataset. We empirically prove that the addition of convolution layers to the model architecture improves the results in both inference setups. We also investigate the impact of partial and complete fine-tuning and analyze the trade-off between computational power and accuracy in the process. Based on the obtained results, we conclude that the Matched-Aggregation setup consistently outperforms the Siamese setup. Our work provides insights into what architecture combinations and setups are likely to produce better results for the QPI task.


title: Ordinal Pooling

abstract: In the framework of convolutional neural networks, downsampling is often performed with an average-pooling, where all the activations are treated equally, or with a max-pooling operation that only retains an element with maximum activation while discarding the others. Both of these operations are restrictive and have previously been shown to be sub-optimal. To address this issue, a novel pooling scheme, named\emph{ ordinal pooling}, is introduced in this work. Ordinal pooling rearranges all the elements of a pooling region in a sequence and assigns a different weight to each element based upon its order in the sequence. These weights are used to compute the pooling operation as a weighted sum of the rearranged elements of the pooling region. They are learned via a standard gradient-based training, allowing to learn a behavior anywhere in the spectrum of average-pooling to max-pooling in a differentiable manner. Our experiments suggest that it is advantageous for the networks to perform different types of pooling operations within a pooling layer and that a hybrid behavior between average- and max-pooling is often beneficial. More importantly, they also demonstrate that ordinal pooling leads to consistent improvements in the accuracy over average- or max-pooling operations while speeding up the training and alleviating the issue of the choice of the pooling operations and activation functions to be used in the networks. In particular, ordinal pooling mainly helps on lightweight or quantized deep learning architectures, as typically considered e.g. for embedded applications.


title: The notions of Inertial Balanced Viscosity and Inertial Virtual Viscosity solution for rate-independent systems

abstract: The notion of Inertial Balanced Viscosity (IBV) solution to rate-independent evolutionary processes is introduced. Such solutions are characterized by an energy balance where a suitable, rate-dependent, dissipation cost is optimized at jump times. The cost is reminiscent of the limit effect of small inertial terms. Therefore, this notion proves to be a suitable one to describe the asymptotic behavior of evolutions of mechanical systems with rate-independent dissipation in the limit of vanishing inertia and viscosity. It is indeed proved, in finite dimension, that these evolutions converge to IBV solutions. If the viscosity operator is neglected, or has a nontrivial kernel, the weaker notion of Inertial Virtual Viscosity (IVV) solutions is introduced, and the analogous convergence result holds. Again in a finite-dimensional context, it is also shown that IBV and IVV solutions can be obtained via a natural extension of the Minimizing Movements algorithm, where the limit effect of inertial terms is taken into account.


title: Perturbing eigenvalues of nonnegative centrosymmetric matrices

abstract: An $n\times n$ matrix $C$ is said to be {\it centrosymmetric} if it satisfies the relation $JCJ=C$, where $J$ is the $n\times n$ counteridentity matrix. Centrosymmetric matrices have a rich eigenstructure that has been studied extensively in the literature. Many results for centrosymmetric matrices have been generalized to wider classes of matrices that arise in a wide variety of disciplines. In this paper, we obtain interesting spectral properties for nonnegative centrosymmetric matrices. We show how to change one single eigenvalue, two or three eigenvalues of an $n\times n$ nonnegative centrosymmetric matrix without changing any of the remaining eigenvalues neither nonnegativity nor the centrosymmetric structure. Moreover, our results allow partially answer some known questions given by Guo [11] and by Guo and Guo [12]. Our proofs generate algorithmic procedures that allow to compute a solution matrix.


title: Absence of Embedded Eigenvalues for Non-Local Schr\"odinger Operators

abstract: We consider non-local Schr\"odinger operators with kinetic terms given by several different types of functions of the Laplacian and potentials decaying to zero at infinity, and derive conditions ruling embedded eigenvalues out. Our goal in this paper is to advance techniques based on virial theorems, Mourre estimates, and an extended version of the Birman-Schwinger principle, previously developed for classical Schr\"odinger operators but thus far not used for non-local operators. We also present a number of specific cases by choosing particular classes of kinetic and potential terms, and discuss existence/non-existence of at-edge eigenvalues in a basic model case in function of the coupling parameter.


title: The volume of a unit vector field in 2 dimensions via calibrations

abstract: We use the theory of calibrations to write the equation of a minimal volume vector field on a given Riemann surface.


title: Scalar Gaussian Wiretap Channel: Properties of the Support Size of the Secrecy-Capacity-Achieving Distribution

abstract: This work studies the secrecy-capacity of a scalar-Gaussian wiretap channel with an amplitude constraint on the input. It is known that for this channel, the secrecy-capacity-achieving distribution is discrete with finitely many points. This work improves such result by showing an upper bound of the order $\frac{\mathsf{A}}{\sigma_1^2}$ where $\mathsf{A}$ is the amplitude constraint and $\sigma_1^2$ is the variance of the Gaussian noise over the legitimate channel.


title: Existence theory of the nonlinear plate equations

abstract: This paper is devoted to the theoretical analysis of the nonlinear plate equations in $\mathbb{R}^{n}\times (0,\infty),$ $n\geq1,$ with nonlinearity involving a type polynomial behavior. We prove the existence and uniqueness of global mild solutions for small initial data in $L^{1}(\mathbb{R}^{n})\cap H^s(\mathbb{R}^{n})$-spaces. We also prove the existence and uniqueness of local and global solutions in the framework of Bessel-potential spaces $H^s_p(\mathbb{R}^n)=(I-\Delta)^{s/2}L^p(\mathbb{R}^n).$ In order to derive the existence results we develop new time decay estimates of the solution of the corresponding linear problem.


title: Phone Duration Modeling for Speaker Age Estimation in Children

abstract: Automatic inference of important paralinguistic information such as age from speech is an important area of research with numerous spoken language technology based applications. Speaker age estimation has applications in enabling personalization and age-appropriate curation of information and content. However, research in speaker age estimation in children is especially challenging due to paucity of relevant speech data representing the developmental spectrum, and the high signal variability especially intra age variability that complicates modeling. Most approaches in children speaker age estimation adopt methods directly from research on adult speech processing. In this paper, we propose features specific to children and focus on speaker's phone duration as an important biomarker of children's age. We propose phone duration modeling for predicting age from child's speech. To enable that, children speech is first forced aligned with the corresponding transcription to derive phone duration distributions. Statistical functionals are computed from phone duration distributions for each phoneme which are in turn used to train regression models to predict speaker age. Two children speech datasets are employed to demonstrate the robustness of phone duration features. We perform age regression experiments on age categories ranging from children studying in kindergarten to grade 10. Experimental results suggest phone durations contain important development-related information of children. Phonemes contributing most to estimation of children speaker age are analyzed and presented.


title: Deep Metric Learning for Ground Images

abstract: Ground texture based localization methods are potential prospects for low-cost, high-accuracy self-localization solutions for robots. These methods estimate the pose of a given query image, i.e. the current observation of the ground from a downward-facing camera, in respect to a set of reference images whose poses are known in the application area. In this work, we deal with the initial localization task, in which we have no prior knowledge about the current robot positioning. In this situation, the localization method would have to consider all available reference images. However, in order to reduce computational effort and the risk of receiving a wrong result, we would like to consider only those reference images that are actually overlapping with the query image. For this purpose, we propose a deep metric learning approach that retrieves the most similar reference images to the query image. In contrast to existing approaches to image retrieval for ground images, our approach achieves significantly better recall performance and improves the localization performance of a state-of-the-art ground texture based localization method.


title: Quantum support vector regression for disability insurance

abstract: We propose a hybrid classical-quantum approach for modeling transition probabilities in health and disability insurance. The modeling of logistic disability inception probabilities is formulated as a support vector regression problem. Using a quantum feature map, the data is mapped to quantum states belonging to a quantum feature space, where the associated kernel is determined by the inner product between the quantum states. This quantum kernel can be efficiently estimated on a quantum computer. We conduct experiments on the IBM Yorktown quantum computer, fitting the model to disability inception data from a Swedish insurance company.


title: Dominance reversals: The resolution of genetic conflict and maintenance of genetic variation

abstract: Beneficial reversals of dominance reduce the costs of genetic trade-offs and can enable selection to maintain genetic variation for fitness. Beneficial dominance reversals are characterized by the beneficial allele for a given context (e.g. habitat, developmental stage, trait, or sex) being dominant in that context but recessive where deleterious. This context-dependence at least partially mitigates the fitness consequence of heterozygotes carrying one non-beneficial allele for their context and can result in balancing selection that maintains alternative alleles. Dominance reversals are theoretically plausible and are supported by mounting empirical evidence. Here we highlight the importance of beneficial dominance reversals as a mechanism for the mitigation of genetic conflict and review the theory and empirical evidence for them. We identify some areas in need of further research and development and outline three methods (dominance ordination, allele-specific expression, and allele-specific ATAC-Seq) that could facilitate the identification of antagonistic genetic variation. There is ample scope for the development of new empirical methods as well as reanalysis of existing data through the lens of dominance reversals. A greater focus on this topic will expand our understanding of the mechanisms that resolve genetic conflict and whether they maintain genetic variation.


title: Using Topological Framework for the Design of Activation Function and Model Pruning in Deep Neural Networks

abstract: Success of deep neural networks in diverse tasks across domains of computer vision, speech recognition and natural language processing, has necessitated understanding the dynamics of training process and also working of trained models. Two independent contributions of this paper are 1) Novel activation function for faster training convergence 2) Systematic pruning of filters of models trained irrespective of activation function. We analyze the topological transformation of the space of training samples as it gets transformed by each successive layer during training, by changing the activation function. The impact of changing activation function on the convergence during training is reported for the task of binary classification. A novel activation function aimed at faster convergence for classification tasks is proposed. Here, Betti numbers are used to quantify topological complexity of data. Results of experiments on popular synthetic binary classification datasets with large Betti numbers(>150) using MLPs are reported. Results show that the proposed activation function results in faster convergence requiring fewer epochs by a factor of 1.5 to 2, since Betti numbers reduce faster across layers with the proposed activation function. The proposed methodology was verified on benchmark image datasets: fashion MNIST, CIFAR-10 and cat-vs-dog images, using CNNs. Based on empirical results, we propose a novel method for pruning a trained model. The trained model was pruned by eliminating filters that transform data to a topological space with large Betti numbers. All filters with Betti numbers greater than 300 were removed from each layer without significant reduction in accuracy. This resulted in faster prediction time and reduced memory size of the model.


title: Properties of the Semigroup in $L_1$ Associated with Age-Structured Diffusive Populations

abstract: The linear semigroup associated with age-structured diffusive populations is investigated in the $L_1$-setting. A complete determination of its generator is given along with detailed spectral information that imply, in particular, an asynchronous exponential growth of the semigroup. Moreover, regularizing effects inherited from the diffusion part are exploited to derive additional properties of the semigroup.


title: Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS

abstract: Optimizing CPS behavior in terms of energy consumption can have a significant impact on system reliability. The environment influences the system's behavior, and neglecting the environmental behavior has an indirect negative impact on optimizing the system's behavior. In this work, to increase the system's flexibility, the behavior of the environment is modeled dynamically to apply the disorderliness of its behavior. The resulting models are formally verified. By examining the past environmental behavior and predicting its future behavior, energy optimization is done more dynamically. The verification results acquired using a UPPAAL-SMC show that the optimization of system behavior by predicting the environmental behavior has been successful. Our approach is demonstrated using a case study within an I4 setting.


title: Continuous-Time Behavior Trees as Discontinuous Dynamical Systems

abstract: Behavior trees represent a hierarchical and modular way of combining several low-level control policies into a high-level task-switching policy. Hybrid dynamical systems can also be seen in terms of task switching between different policies, and therefore several comparisons between behavior trees and hybrid dynamical systems have been made, but only informally, and only in discrete time. A formal continuous-time formulation of behavior trees has been lacking. Additionally, convergence analyses of specific classes of behavior tree designs have been made, but not for general designs. In this letter, we provide the first continuous-time formulation of behavior trees, show that they can be seen as discontinuous dynamical systems (a subclass of hybrid dynamical systems), which enables the application of existence and uniqueness results to behavior trees, and finally, provide sufficient conditions under which such systems will converge to a desired region of the state space for general designs. With these results, a large body of results on continuous-time dynamical systems can be brought to use when designing behavior tree controllers.


title: Thermally-Polarized Solid-State Spin Sensor

abstract: Quantum sensors based on spin defect ensembles have seen rapid development in recent years, with a wide array of target applications. Historically, these sensors have used optical methods to prepare or read out quantum states. However, these methods are limited to optically-polarizable spin defects, and the spin ensemble size is typically limited by the available optical power or acceptable optical heat load. We demonstrate a solid-state sensor employing a non-optical state preparation technique, which harnesses thermal population imbalances induced by the defect's zero-field splitting. Readout is performed using the recently-demonstrated microwave cavity readout technique, resulting in a sensor architecture that is entirely non-optical and broadly applicable to all solid-state paramagnetic defects with a zero-field splitting. The implementation in this work uses Cr$^{3+}$ defects in a sapphire (Al$_2$O$_3$) crystal and a simple microwave architecture where the host crystal also serves as the high quality-factor resonator. This approach yields a near-unity filling factor and high single-spin-photon coupling, producing a magnetometer with a broadband sensitivity of 9.7 pT/$\sqrt{\text{Hz}}$.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.atom-ph


title: When is a Genuine Multipartite Entanglement Measure Monogamous?

abstract: A crucial issue in quantum communication tasks is characterizing how quantum resources can be quantified and distributed over many parties. Consequently, entanglement has been explored extensively. However, the genuine entanglement still lacks of studying. There are few genuine multipartite entanglement measures and whether it is monogamous is unknown so far. In this work, we explore the complete monogamy of genuine multipartite entanglement measure (GMEM) for which, at first, we investigate a framework for unified/complete GMEM according to the unified/complete multipartite entanglement measure proposed in [Phys. Rev. A 101, 032301 (2020)]. We find a way of inducing unified/complete GMEM from any given unified/complete multipartite entanglement measure.It is shown that any unified GMEM is completely monogamous, and any complete GMEM that induced by some given complete multipartite entanglement measure is tightly complete monogamous whenever the given complete multipartite entanglement measure is tightly complete monogamous. In addition, the previous GMEMs are checked under this framework. It turns out that the genuinely multipartite concurrence is not a good candidate as a GMEM.


title: Evacuation Route Planning for Alternative Fuel Vehicles

abstract: As the number of adopted alternative fuel vehicles increases, it is crucial for communities (especially those that are susceptible to hazards) to make evacuation plans that account for such vehicles refueling needs. During emergencies that require preemptive evacuation planning, travelers using alternative fuel vehicles are vulnerable when evacuation routes do not provide access to refueling stations on their way to shelters. In this paper, we formulate and solve a novel seamless evacuation route plan problem, by designing $k$-minimum spanning trees with hop constraints that capture the refueling needs of each $k \in K$ vehicle fuel type on their way to reach a shelter. We develop a branch-and-price algorithm based on a matheuristic column generation approach to solve the evacuation problem. We apply the proposed framework to the Sioux Falls transportation network with existing infrastructure deployment and present numerical experiments. Specifically, we discuss the evacuation travel and refueling times under scenarios of various alternative fuel vehicles driving ranges. Our findings show that the characteristics of each vehicle fuel type, like driving range and the refueling infrastructure topology, play a pivotal role in determining evacuation route plans. This means that an evacuation route could prove unique to a single vehicle fuel type, while being infeasible to the others. Finally, we observe that the driving range constraints could force evacuee vehicles to detour to meet their refueling needs before reaching safety and increase the total evacuation time by 7.32 % in one of the evaluated scenarios.


title: Generating Seed magnetic field \`a la Chiral Biermann battery

abstract: Cosmological and astrophysical observations indicate the presence of magnetic field over all scales. In order to explain these magnetic fields, it is assumed that there exists a seed magnetic field that gets amplified by dynamos. These seed fields may have been produced during inflation, at phase transitions, or some turbulent phase of the early universe. One well-known mechanism to get the seed field is the Biermann battery, which was originally discussed in the context of generation in an astrophysical object. Requirements for this mechanism to work are (i) non-zero gradient of the electron number density and pressure, (ii) they are non-parallel to each other. In the present article, we propose a similar mechanism to generate the seed field but in inhomogeneous chiral plasma. Our mechanism works, in presence of chiral anomaly, by the virtue of inhomogeneity in the chiral chemical potential and temperature. We will discuss various scenarios where inhomogeneities in the chemical potential and temperature can arise. We found that, depending on the epoch of generation, the strength of the seed magnetic fields varies from a few nano-Gauss (nG) to a few hundred nG.


title: Self-energy method for time-dependent spectral functions of the Anderson impurity model within the time-dependent numerical renormalization group approach

abstract: The self-energy method for quantum impurity models expresses the correlation part of the self-energy in terms of the ratio of two Green's functions and allows for a more accurate calculation of equilibrium spectral functions than is possible directly from the one-particle Green's function [Bulla et al., J. Phys.: Condens. Matter 10, 8365 (1998)], for example, within the numerical renormalization group method. In addition, the self-energy itself is a central quantity required in the dynamical mean field theory of strongly correlated lattice models. Here, we show how to generalize the self-energy method to the time-dependent situation for the prototype model of strong correlations, the Anderson impurity model. We use the equation of motion method to obtain closed expressions for the local Green's function in terms of a time-dependent correlation self-energy, with the latter being given as a ratio of a one-particle time-dependent Green's function and a higher-order correlation function. We benchmark this self-energy approach to time-dependent spectral functions against the direct approach within the time-dependent numerical renormalization group method. The self-energy approach improves the accuracy of time-dependent spectral function calculations, and the closed-form expressions for the Green's function allow for a clear picture of the time-evolution of spectral features at the different characteristic time-scales. The self-energy approach is of potential interest also for other quantum impurity solvers for real-time evolution, including time-dependent density matrix renormalization group and continuous-time quantum Monte Carlo techniques.


title: Complete characterization of multi-channel single photon ionization

abstract: Ionization of atoms and molecules by absorption of a light pulse results in electron wavepackets carrying information on the atomic or molecular structure as well as on the dynamics of the ionization process. These wavepackets can be described as a coherent sum of waves of given angular momentum, called partial waves, each characterized by an amplitude and a phase. The complete characterization of the individual angular momentum components is experimentally challenging, requiring the analysis of the interference between partial waves both in energy and angle. Using a two-photon interferometry technique based on extreme ultraviolet attosecond and infrared femtosecond pulses, we characterize the individual partial wave components in the photoionization of the 2p shell in neon. The study of the phases of the angular momentum channels allows us to unravel the influence of short-range, correlation and centrifugal effects. This approach enables the complete reconstruction of photoionization electron wavepackets in time and space, providing insight into the photoionization dynamics.


title: Modeling Core-Collapse Supernovae Gravitational-Wave Memory in Laser Interferometric Data

abstract: We study the properties of the gravitational wave (GW) emission between $10^{-5}$ Hz and $50$ Hz (which we refer to as low-frequency emission) from core-collapse supernovae, in the context of studying such signals in laser interferometric data as well as performing multi-messenger astronomy. We pay particular attention to the GW linear memory, which is when the signal amplitude does not return to zero after the GW burst. Based on the long term simulation of a core-collapse supernova of a solar-metallicity star with a zero-age main sequence mass of 15 solar masses, we discuss the spectral properties, the memory's dependence on observer position and the polarization of low-frequency GWs from slowly non (or slowly) rotating core-collapse supernovae. We make recommendations on the angular spacing of the orientations needed to properly produce results that are averaged over multiple observer locations by investigating the angular dependence of the GW emission. We propose semi-analytical models that quantify the relationship between the bulk motion of the supernova shock-wave and the GW memory amplitude. We discuss how to extend neutrino generated GW signals from numerical simulations that were terminated before the neutrino emission has subsided. We discuss how the premature halt of simulations and the non-zero amplitude of the GW memory can induce artefacts during the data analysis process. Lastly, we also investigate potential solutions and issues in the use of taperings for both ground and space-based interferometers.


title: Learning from Multiple Noisy Augmented Data Sets for Better Cross-Lingual Spoken Language Understanding

abstract: Lack of training data presents a grand challenge to scaling out spoken language understanding (SLU) to low-resource languages. Although various data augmentation approaches have been proposed to synthesize training data in low-resource target languages, the augmented data sets are often noisy, and thus impede the performance of SLU models. In this paper we focus on mitigating noise in augmented data. We develop a denoising training approach. Multiple models are trained with data produced by various augmented methods. Those models provide supervision signals to each other. The experimental results show that our method outperforms the existing state of the art by 3.05 and 4.24 percentage points on two benchmark datasets, respectively. The code will be made open sourced on github.


title: Higher fractional differentiability for solutions to a class of obstacle problems with non-standard growth conditions

abstract: We here establish the higher fractional differentiability for solutions to a class of obstacle problems with non-standard growth conditions. We deal with the case in which the solutions to the obstacle problems satisfy a variational inequality of the form \begin{equation*} \displaystyle\int_{\Omega} \langle \mathcal{A}(x,Du) ,D(\varphi-u) \rangle dx \geq 0 \qquad \forall \varphi \in \mathcal{K}_\psi(\Omega), \end{equation*} where $\Omega$ is a bounded open subset of $\mathbb{R}^n$, $\psi \in W^{1,p}(\Omega)$ is a fixed function called \textit{obstacle} and $\mathcal{K}_{\psi}(\Omega)= \{ w \in W^{1,p}(\Omega) : w \geq \psi \ \text{a.e. in} \ \Omega \}$ is the class of admissible functions. Assuming that the gradient of the obstacle belongs to some suitable Besov space, we are able to prove that some fractional differentiability property transfers to the gradient of the solution.


title: On the proof complexity of MCSAT

abstract: Satisfiability Modulo Theories (SMT) and SAT solvers are critical components in many formal software tools, primarily due to the fact that they are able to easily solve logical problem instances with millions of variables and clauses. This efficiency of solvers is in surprising contrast to the traditional complexity theory position that the problems that these solvers address are believed to be hard in the worst case. In an attempt to resolve this apparent discrepancy between theory and practice, theorists have proposed the study of these solvers as proof systems that would enable establishing appropriate lower and upper bounds on their complexity. For example, in recent years it has been shown that (idealized models of) SAT solvers are polynomially equivalent to the general resolution proof system for propositional logic, and SMT solvers that use the CDCL(T) architecture are polynomially equivalent to the Res*(T) proof system. In this paper, we extend this program to the MCSAT approach for SMT solving by showing that the MCSAT architecture is polynomially equivalent to the Res*(T) proof system. Thus, we establish an equivalence between CDCL(T) and MCSAT from a proof-complexity theoretic point of view. This is a first and essential step towards a richer theory that may help (parametrically) characterize the kinds of formulas for which MCSAT-based SMT solvers can perform well.


title: Existence of small ordered orthogonal arrays

abstract: We show that there exist ordered orthogonal arrays, whose sizes deviate from the Rao bound by a factor that is polynomial in the parameters of the ordered orthogonal array. The proof is nonconstructive and based on a probabilistic method due to Kuperberg, Lovett and Peled.


title: 3D Human Shape Style Transfer

abstract: We consider the problem of modifying/replacing the shape style of a real moving character with those of an arbitrary static real source character. Traditional solutions follow a pose transfer strategy, from the moving character to the source character shape, that relies on skeletal pose parametrization. In this paper, we explore an alternative approach that transfers the source shape style onto the moving character. The expected benefit is to avoid the inherently difficult pose to shape conversion required with skeletal parametrization applied on real characters. To this purpose, we consider image style transfer techniques and investigate how to adapt them to 3D human shapes. Adaptive Instance Normalisation (AdaIN) and SPADE architectures have been demonstrated to efficiently and accurately transfer the style of an image onto another while preserving the original image structure. Where AdaIN contributes with a module to perform style transfer through the statistics of the subjects and SPADE contribute with a residual block architecture to refine the quality of the style transfer. We demonstrate that these approaches are extendable to the 3D shape domain by proposing a convolutional neural network that applies the same principle of preserving the shape structure (shape pose) while transferring the style of a new subject shape. The generated results are supervised through a discriminator module to evaluate the realism of the shape, whilst enforcing the decoder to synthesise plausible shapes and improve the style transfer for unseen subjects. Our experiments demonstrate an average of $\approx 56\%$ qualitative and quantitative improvements over the baseline in shape transfer through optimization-based and learning-based methods.


title: Neural Human Deformation Transfer

abstract: We consider the problem of human deformation transfer, where the goal is to retarget poses between different characters. Traditional methods that tackle this problem require a clear definition of the pose, and use this definition to transfer poses between characters. In this work, we take a different approach and transform the identity of a character into a new identity without modifying the character's pose. This offers the advantage of not having to define equivalences between 3D human poses, which is not straightforward as poses tend to change depending on the identity of the character performing them, and as their meaning is highly contextual. To achieve the deformation transfer, we propose a neural encoder-decoder architecture where only identity information is encoded and where the decoder is conditioned on the pose. We use pose independent representations, such as isometry-invariant shape characteristics, to represent identity features. Our model uses these features to supervise the prediction of offsets from the deformed pose to the result of the transfer. We show experimentally that our method outperforms state-of-the-art methods both quantitatively and qualitatively, and generalises better to poses not seen during training. We also introduce a fine-tuning step that allows to obtain competitive results for extreme identities, and allows to transfer simple clothing.


title: Turing instability in quantum activator-inhibitor systems

abstract: Turing instability is a fundamental mechanism of nonequilibrium self-organization. However, despite the universality of its essential mechanism, Turing instability has thus far been investigated mostly in classical systems. In this study, we show that Turing instability can occur in a quantum dissipative system and analyze its quantum features such as entanglement and the effect of measurement. We propose a degenerate parametric oscillator with nonlinear damping in quantum optics as a quantum activator-inhibitor unit and demonstrate that a system of two activator-inhibitor units can undergo Turing instability when diffusively coupled with each other. The Turing instability induces nonuniformity and entanglement between the two units and gives rise to a pair of nonuniform states that are mixed due to quantum noise. Further performing continuous measurement on the coupled system reveals the nonuniformity caused by the Turing instability. Our results extend the universality of the Turing mechanism to the quantum realm and may provide a novel perspective on the possibility of quantum nonequilibrium self-organization and its application in quantum technologies.


title: Scaling of the entropy production rate in a $\varphi^4$ model of Active Matter

abstract: In active $\varphi^4$ field theories the nonequilibrium terms play an important role in describing active phase separation; however, they are irrelevant, in the renormalization group sense, at the critical point. Their irrelevance makes the critical exponents the same as those of the Ising universality class. Despite their irrelevance, they contribute to a nontrivial scaling of the entropy production rate at criticality. We consider the nonequilibrium dynamics of a nonconserved scalar field $\varphi$ (Model A) driven out-of-equilibrium by a persistent noise that is correlated on a finite timescale $\tau$, as in the case of active baths. We perform the computation of the density of entropy production rate $\sigma$ and we study its scaling near the critical point. We find that similar to the case of active Model A, and although the nonlinearities responsible for nonvanishing entropy production rates in the two models are quite different, the irrelevant parameter $\tau$ makes the critical dynamics irreversible.


title: Extremal Probability Bounds in Combinatorial Optimization

abstract: In this paper, we compute the tightest possible bounds on the probability that the optimal value of a combinatorial optimization problem in maximization form with a random objective exceeds a given number, assuming only knowledge of the marginal distributions of the objective coefficient vector. The bounds are ``extremal'' since they are valid across all joint distributions with the given marginals. We analyze the complexity of computing the bounds assuming discrete marginals and identify instances when the bounds are computable in polynomial time. For compact 0/1 V-polytopes, we show that the tightest upper bound is weakly NP-hard to compute by providing a pseudopolynomial time algorithm. On the other hand, the tightest lower bound is shown to be strongly NP-hard to compute for compact 0/1 V-polytopes by restricting attention to Bernoulli random variables. For compact 0/1 H-polytopes, for the special case of PERT networks arising in project management, we show that the tightest upper bound is weakly NP-hard to compute by providing a pseudopolynomial time algorithm. The results in the paper complement existing results in the literature for computing the probability with independent random variables.


title: Developing Virtual Reality Activities for the Astro 101 Class and Lab

abstract: We report on our ongoing efforts to develop, implement, and test VR activities for the introductory astronomy course and laboratory. Specifically, we developed immersive activities for two challenging "3D" concepts: Moon phases, and stellar parallax. For Moon phases, we built a simulation on the Universe Sandbox platform and developed a set of activities that included flying to different locations/viewpoints and moving the Moon by hand. This allowed the students to create and experience the phases and the eclipses from different vantage points, including seeing the phases of the Earth from the Moon. We tested the efficacy of these activities on a large cohort (N=116) of general education astronomy students, drawing on our experience with a previous VR Moon phase exercise (Blanco (2019)). We were able to determine that VRbased techniques perform comparably well against other teaching methods. We also worked with the studentrun VR Club at San Diego State University, using the Unity software engine to create a simulated space environment, where students could kinesthetically explore stellar parallax - both by moving themselves and by measuring parallactic motion while traveling in an orbit. The students then derived a quantitative distance estimate using the parallax angle they measured while in the virtual environment. Future plans include an immersive VR activity to demonstrate the Hubble expansion and measure the age of the Universe. These serve as examples of how one develops VR activities from the ground up, with associated pitfalls and tradeoffs.


title: Causal optimization method for imaginary-time Green's functions in interacting electron systems

abstract: We develop a causal optimization method that ensures causality in numerical calculations of Green's functions in interacting electron systems. Our method removes noncausality of numerical data by finding causal functions closest to the data. By testing our method with an exactly calculable model and applying it to practical dynamical mean-field calculations, we find that intermediate-frequency behaviors of Green's functions are determined solely by causality, and noncausal statistical errors are removed very efficiently. Furthermore, we demonstrate that numerical calculations of the physical branch of the Luttinger-Ward functional can be stabilized by ensuring causality of the noninteracting Green's function. Our method and findings provide a basis for improving stability and efficiency of numerical simulations of quantum many-body systems.


title: Super Neurons

abstract: Self-Organized Operational Neural Networks (Self-ONNs) have recently been proposed as new-generation neural network models with nonlinear learning units, i.e., the generative neurons that yield an elegant level of diversity; however, like its predecessor, conventional Convolutional Neural Networks (CNNs), they still have a common drawback: localized (fixed) kernel operations. This severely limits the receptive field and information flow between layers and thus brings the necessity for deep and complex models. It is highly desired to improve the receptive field size without increasing the kernel dimensions. This requires a significant upgrade over the generative neurons to achieve the non-localized kernel operations for each connection between consecutive layers. In this article, we present superior (generative) neuron models (or super neurons in short) that allow random or learnable kernel shifts and thus can increase the receptive field size of each connection. The kernel localization process varies among the two super-neuron models. The first model assumes randomly localized kernels within a range and the second one learns (optimizes) the kernel locations during training. An extensive set of comparative evaluations against conventional and deformable convolutional, along with the generative neurons demonstrates that super neurons can empower Self-ONNs to achieve a superior learning and generalization capability with a minimal computational complexity burden.


title: An unstructured finite-volume level set / front tracking method for two-phase flows with large density-ratios

abstract: We extend the unstructured LEvel set / froNT tracking (LENT) method for handling two-phase flows with strongly different densities (high-density ratios) by providing the theoretical basis for the numerical consistency between the mass and momentum conservation in the collocated Finite Volume discretization of the single-field two-phase Navier-Stokes equations. Our analysis provides the theoretical basis for the mass conservation equation introduced by Ghods and Herrmann [3] and used in [4, 5, 6, 7, 8]. We use a mass flux that is consistent with mass conservation in the implicit Finite Volume discretization of the two-phase momentum convection term, and solve the single-field Navier-Stokes equations with our SAAMPLE segregated solution algorithm [2]. The proposed $\rho$LENT method recovers exact numerical stability for the two-phase momentum advection of a spherical droplet with density ratios ranging in $[1, 10^4]$. Numerical stability is demonstrated for in terms of the relative $L_\infty$ velocity error norm, for density-ratios in the range of $[1, 10^4]$, dynamic viscosity-ratios in the range of $[1, 10^4]$ and very strong surface tension forces, for challenging mercury/air and water/air fluid pairings. In addition, the solver performs well in cases characterized by strong interaction between two phases, i.e., oscillating droplets and rising bubbles. The proposed $\rho$LENT method is applicable to any other two-phase flow simulation method that discretizes the single-field two-phase Navier-Stokes Equations using the collocated unstructured Finite Volume Method but does not solve an advection equation for the phase indicator using a flux-based approach, by adding the proposed geometrical approximation of the mass flux and the auxiliary mass conservation equation to the solution algorithm.


title: Electroweak Skyrmions in the HEFT

abstract: We study the existence of skyrmions in the presence of all the electroweak degrees of freedom, including a dynamical Higgs boson, with the electroweak symmetry being non-linearly realized in the scalar sector. For this, we use the formulation of the Higgs Effective Field Theory (HEFT). In contrast with the linear realization, a well-defined winding number exists in HEFT for all scalar field configurations. We classify the effective operators that can potentially stabilize the skyrmions and numerically find the region in parameter spaces that support them. We do so by minimizing the static energy functional using neural networks. This method allows us to obtain the minimal-energy path connecting the vacuum to the skyrmion configuration and calculate its mass and radius. Since skyrmions are not expected to be produced at colliders, we explore the experimental and theoretical bounds on the operators that generate them. Finally, we briefly consider the possibility of skyrmions being dark matter candidates.


title: Representation of $m$-gonal forms over $\mathbb N_0$ and a finiteness theorem for universal original version's $m$-gonal forms

abstract: In this article, we consider the representation of $m$-gonal forms over $\mathbb N_0$. We show that any $m$-gonal forms over $\mathbb N_0$ of rank $\ge 5$ is almost regular and ponder the sufficiently large integers which are indeed represented over $\mathbb N_0$ among the integers which are locally represented. And as its consequential result, we prove a finiteness theorem for universal (original polygonal number version's) $m$-gonal forms over $\mathbb N_0$.


title: Some families of big and stable bundles on $K3$ surfaces and on their Hilbert schemes of points

abstract: Here we investigate meaningful families of vector bundles on a very general polarized $K3$ surface $(X,H)$ and on the corresponding Hyper--Kaehler variety given by the Hilbert scheme of points $X^{[k]}:= {\rm Hilb}^k(X)$, for any integer $k \geqslant 2$. In particular, we prove results concerning bigness and stability of such bundles. First, we give conditions on integers $n$ such that the twist of the tangent bundle of $X$ by the line bundle $nH$ is big and stable on~$X$; we then prove a similar result for a natural twist of the tangent bundle of $X^{[k]}$. Next, we prove global generation, bigness and stability results for tautological bundles on $X^{[k]}$ arising either from line bundles or from Mukai-Lazarsfeld bundles, as well as from Ulrich bundles on $X$, using a careful analysis on Segre classes and numerical computations for $k = 2, 3$.


title: A Trust Management System for the IoT domain

abstract: In modern internet-scale computing, interaction between a large number of parties that are not known a-priori is predominant, with each party functioning both as a provider and consumer of services and information. In such an environment, traditional access control mechanisms face considerable limitations, since granting appropriate authorizations to each distinct party is infeasible both due to the high number of grantees and the dynamic nature of interactions. Trust management has emerged as a solution to this issue, offering aids towards the automated verification of actions against security policies. In this paper, we present a trust- and risk-based approach to security, which considers status, behavior and associated risk aspects in the trust computation process, while additionally it captures user-to-user trust relationships which are propagated to the device level, through user-to-device ownership links.


title: Four proofs of the directed Brooks' Theorem

abstract: We give four new proofs of the directed version of Brook's Theorem and an NP-completeness result.


title: Towards Optimal Quantum Ranging -- Hypothesis Testing for an Unknown Return Signal

abstract: Quantum information theory sets the ultimate limits for any information-processing task. In rangefinding and LIDAR, the presence or absence of a target can be tested by detecting different states at the receiver. In this Letter, we use quantum hypothesis testing for an unknown coherent-state return signal in order to derive the limits of symmetric and asymmetric error probabilities of single-shot ranging experiments. We engineer a single measurement independent of the range, which in some cases saturates the quantum bound and for others is presumably the best measurement to approach it. In addition, we verify the theoretical predictions by performing numerical simulations. This work bridges the gap between quantum information and quantum sensing and engineering and will contribute to devising better ranging sensors, as well as setting the path for finding practical limits for other quantum tasks.


title: On the Curvature of Metric Triples

abstract: In this article, we introduce a notion of curvature, denoted by $ k_X(T)$, for a metric triple $T$ inside a (possibly discrete) metric space $X$. Such a notion enables us to consider curvature information of any metric space, including discrete metric spaces such as those generated by scientific data. To define the notion, we employ the information consisting of side lengths of the triple as well as the minimum total distance from vertices of the triple to points of the metric space. Those information provides us a unique number $k_X(T)$ such that the triple $T$ can be isometrically embedded into the model space $M_k^2$ up to $k\le k_X(T)$. The value $k_X(T)$ agrees with the usual curvature when $X$ is a convex subset of a model space. We also show that the curvature $k_X(T)$ of any metric triple $T$ inside a $CAT(k)$ space is bounded above by $k$.


title: Simultaneous quantification and changepoint detection of point source gas emissions using recursive Bayesian inference

abstract: Recent findings suggest that abnormal operating conditions of equipment in the oil and gas supply chain represent a large fraction of anthropogenic methane emissions. Thus, effective mitigation of emissions necessitates rapid identification and repair of sources caused by faulty equipment. In addition to advances in sensing technology that allow for more frequent surveillance, prompt and cost-effective identification of sources requires computational frameworks that provide automatic fault detection. Here, we present a changepoint detection algorithm based on a recursive Bayesian scheme that allows for simultaneous emission rate estimation and fault detection. The proposed algorithm is tested on a series of near-field controlled release mobile experiments, with promising results demonstrating successful detection (>90% success rate) of changes in the leak rate when the emission rate is tripled after an abrupt change. Moreover, we show that the statistics of the measurements, such as the coefficient of variation and range are good predictors of the performance of the algorithm. Finally, we describe how this methodology can be easily adapted to suit time-averaged concentration data measured by stationary sensors, thus showcasing its flexibility.


title: The young Sun's XUV-activity as a constraint for lower CO$_2$-limits in the Earth's Archean atmosphere

abstract: Despite their importance for determining the evolution of the Earth's atmosphere and surface conditions, the evolutionary histories of the Earth's atmospheric CO$_2$ abundance during the Archean eon and the Sun's activity are poorly constrained. In this study, we apply a state-of-the-art physical model for the upper atmosphere of the Archean Earth to study the effects of different atmospheric CO$_2$/N$_2$ mixing ratios and solar activity levels on the escape of the atmosphere to space. We find that unless CO$_2$ was a major constituent of the atmosphere during the Archean eon, enhanced heating of the thermosphere by the Sun's strong X-ray and ultraviolet radiation would have caused rapid escape to space. We derive lower limits on the atmospheric CO$_2$ abundance of approximately 40\% at 3.8~billion years ago, which is likely enough to counteract the faint young Sun and keep the Earth from being completely frozen. Furthermore, our results indicate that the Sun was most likely born as a slow to moderate {rotating young G-star} to prevent rapid escape, putting essential constraints on the Sun's activity evolution throughout the solar system's history. In case that there were yet unknown cooling mechanisms present in the Archean atmosphere, this could reduce our CO$_2$ stability limits, and it would allow a more active Sun.

categories: astro-ph.EP astro-ph.SR physics.ao-ph physics.geo-ph


title: Representing Shape Collections with Alignment-Aware Linear Models

abstract: In this paper, we revisit the classical representation of 3D point clouds as linear shape models. Our key insight is to leverage deep learning to represent a collection of shapes as affine transformations of low-dimensional linear shape models. Each linear model is characterized by a shape prototype, a low-dimensional shape basis and two neural networks. The networks take as input a point cloud and predict the coordinates of a shape in the linear basis and the affine transformation which best approximate the input. Both linear models and neural networks are learned end-to-end using a single reconstruction loss. The main advantage of our approach is that, in contrast to many recent deep approaches which learn feature-based complex shape representations, our model is explicit and every operation occurs in 3D space. As a result, our linear shape models can be easily visualized and annotated, and failure cases can be visually understood. While our main goal is to introduce a compact and interpretable representation of shape collections, we show it leads to state of the art results for few-shot segmentation.


title: Privacy Issues in Voice Assistant Ecosystems

abstract: Voice assistants have become quite popular lately while in parallel they are an important part of smarthome systems. Through their voice assistants, users can perform various tasks, control other devices and enjoy third party services. The assistants are part of a wider ecosystem. Their function relies on the users voice commands, received through original voice assistant devices or companion applications for smartphones and tablets, which are then sent through the internet to the vendor cloud services and are translated into commands. These commands are then transferred to other applications and services. As this huge volume of data, and mainly personal data of the user, moves around the voice assistant ecosystem, there are several places where personal data is temporarily or permanently stored and thus it is easy for a cyber attacker to tamper with this data, bringing forward major privacy issues. In our work we present the types and location of such personal data artifacts within the ecosystems of three popular voice assistants, after having set up our own testbed, and using IoT forensic procedures. Our privacy evaluation includes the companion apps of the assistants, as we also compare the permissions they require before their installation on an Android device.


title: Musical Tempo Estimation Using a Multi-scale Network

abstract: Recently, some single-step systems without onset detection have shown their effectiveness in automatic musical tempo estimation. Following the success of these systems, in this paper we propose a Multi-scale Grouped Attention Network to further explore the potential of such methods. A multi-scale structure is introduced as the overall network architecture where information from different scales is aggregated to strengthen contextual feature learning. Furthermore, we propose a Grouped Attention Module as the key component of the network. The proposed module separates the input feature into several groups along the frequency axis, which makes it capable of capturing long-range dependencies from different frequency positions on the spectrogram. In comparison experiments, the results on public datasets show that the proposed model outperforms existing state-of-the-art methods on Accuracy1.


title: The Promise and Challenges of Computation Deduplication and Reuse at the Network Edge

abstract: In edge computing deployments, where devices may be in close proximity to each other, these devices may offload similar computational tasks (i.e., tasks with similar input data for the same edge computing service or for services of the same nature). This results in the execution of duplicate (redundant) computation, which may become a pressing issue for future edge computing environments, since such deployments are envisioned to consist of small-scale data-centers at the edge. To tackle this issue, in this paper, we highlight the importance of paradigms for the deduplication and reuse of computation at the network edge. Such paradigms have the potential to significantly reduce the completion times for offloaded tasks, accommodating more users, devices, and tasks with the same volume of deployed edge computing resources, however, they come with their own technical challenges. Finally, we present a multi-layer architecture to enable computation deduplication and reuse at the network edge and discuss open challenges and future research directions.


title: Addendum to: Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$ (homological interpretation)

abstract: In this addendum, we give a differential form interpretation of the proof of the main theorem of arXiv:1812.02448, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the dimensions of Kontsevich's graph homology, and explain why it can be extended to arbitrary even dimensions $d\geq 4$. We attempted to make the proof accessible to more readers. Thus we do not assume familiarity with configuration space integrals nor knowledge of finite type invariants. Part of this addendum might be joined to the original article when it will be re-submitted to the journal. This is not aimed at giving a correction to the previous version.


title: Understanding and Mitigating Banking Trojans: From Zeus to Emotet

abstract: Banking Trojans came a long way in the past decade, and the recent case of Emotet showed their enduring relevance. The evolution of the modern computing landscape can be traced through Emotet and Zeus, both representative examples from the end of the past decade. As an example of earlier malware, Zeus only needed to employ simple anti-analysis techniques to stay undetected, while the more recent Emotet had to constantly evolve to stay a step ahead. Current host-based antimalware solutions face an increasing number of obstacles to perform their function. A multi-layer approach to network security is necessary for network-based intrusion response systems to secure modern networks of heterogeneous devices. A system based on a combination of a graphical network security model and a game theoretic model of cyber attacks was tested on a testbed with Windows machines infected with Trojans, experimental results showed that the proposed system effectively blocked Trojans network communications effectively preventing data leakage and yielding encouraging results for future work.


title: Multi-model Machine Learning Inference Serving with GPU Spatial Partitioning

abstract: As machine learning techniques are applied to a widening range of applications, high throughput machine learning (ML) inference servers have become critical for online service applications. Such ML inference servers pose two challenges: first, they must provide a bounded latency for each request to support consistent service-level objective (SLO), and second, they can serve multiple heterogeneous ML models in a system as certain tasks involve invocation of multiple models and consolidating multiple models can improve system utilization. To address the two requirements of ML inference servers, this paper proposes a new ML inference scheduling framework for multi-model ML inference servers. The paper first shows that with SLO constraints, current GPUs are not fully utilized for ML inference tasks. To maximize the resource efficiency of inference servers, a key mechanism proposed in this paper is to exploit hardware support for spatial partitioning of GPU resources. With the partitioning mechanism, a new abstraction layer of GPU resources is created with configurable GPU resources. The scheduler assigns requests to virtual GPUs, called gpu-lets, with the most effective amount of resources. The paper also investigates a remedy for potential interference effects when two ML tasks are running concurrently in a GPU. Our prototype implementation proves that spatial partitioning enhances throughput by 102.6% on average while satisfying SLOs.


title: Structural Discrimination of Phosphate Contact Ion Pairs in Water by Femtosecond 2D-IR Spectroscopy

abstract: The distinct structures of contact ion pairs in water are identified. Nonlinear infrared (IR) spectroscopy and theoretical calculations allow for the separation and assignment of spectral features and interactions.


title: Secure Source Coding with Side-information at Decoder and Shared Key at Encoder and Decoder

abstract: We study the problem of rate-distortion-equivocation with side-information only available at the decoder when an independent private random key is shared between the sender and the receiver. The sender compresses the sequence, and the receiver reconstructs it such that the average distortion between the source and the output is limited. The equivocation is measured at an eavesdropper that intercepts the source encoded message, utilizing side-information correlated with the source and the side-information at the decoder. We have derived the entire achievable rate-distortion-equivocation region for this problem.


title: Apparently similar neuronal dynamics may lead to different collective repertoire

abstract: This report is concerned with the relevance of the microscopic rules, that implement individual neuronal activation, in determining the collective dynamics, under variations of the network topology. To fix ideas we study the dynamics of two cellular automaton models, commonly used, rather in-distinctively, as the building blocks of large scale neuronal networks. One model, due to Greenberg \& Hastings, (GH) can be described by evolution equations mimicking an integrate-and-fire process, while the other model, due to Kinouchi \& Copelli, (KC) represents an abstract branching process, where a single active neuron activates a given number of postsynaptic neurons according to a prescribed "activity" branching ratio. Despite the apparent similarity between the local neuronal dynamics of the two models, it is shown that they exhibit very different collective dynamics as a function of the network topology. The GH model shows qualitatively different dynamical regimes as the network topology is varied, including transients to a ground (inactive) state, continuous and discontinuous dynamical phase transitions. In contrast, the KC model only exhibits a continuous phase transition, independently of the network topology. These results highlight the importance of paying attention to the microscopic rules chosen to model the inter-neuronal interactions in large scale numerical simulations, in particular when the network topology is far from a mean field description. One such case is the extensive work being done in the context of the Human Connectome, where a wide variety of types of models are being used to understand the brain collective dynamics.


title: Native point defects and their implications for the Dirac point gap at MnBi$_2$Te$_4$(0001)

abstract: The Dirac point gap at the surface of the antiferromagnetic topological insulator MnBi$_2$Te$_4$ is a highly debated issue. While the early photoemission measurements reported on large gaps in agreement with theoretical predictions, other experiments found vanishingly small splitting of the MnBi$_2$Te$_4$ Dirac cone. Here, we study the crystalline and electronic structure of MnBi$_2$Te$_4$(0001) using scanning tunneling microscopy/spectroscopy (STM/S), micro($\mu$)-laser angle resolved photoemission spectroscopy (ARPES), and density functional theory (DFT) calculations. Our topographic STM images clearly reveal features corresponding to point defects in the surface Te and subsurface Bi layers that we identify with the aid of STM simulations as Bi$_\text{Te}$ antisites (Bi atoms at the Te sites) and Mn$_\text{Bi}$ substitutions (Mn atoms at the Bi sites), respectively. X-ray diffraction (XRD) experiments further evidence the presence of cation (Mn-Bi) intermixing. Altogether, this affects the distribution of the Mn atoms, which, inevitably, leads to a deviation of the MnBi$_2$Te$_4$ magnetic structure from that predicted for the ideal crystal structure. Our transport measurements suggest that the degree of this deviation varies from sample to sample. Consistently, the ARPES/STS experiments reveal that the Dirac point gap of the topological surface state is different for different samples/sample cleavages. Our DFT surface electronic structure calculations show that, due to the predominant localization of the topological surface state near the Bi layers, Mn$_\text{Bi}$ defects can cause a strong reduction of the MnBi$_2$Te$_4$ Dirac point gap, given the recently proved antiparallel alignment of the Mn$_\text{Bi}$ moments with respect to those of the Mn layer. Our results provide a key to puzzle out the MnBi$_2$Te$_4$ Dirac point gap mystery.


title: Optimal artificial boundary conditions based on second-order correctors for three dimensional random elliptic media

abstract: We are interested in numerical algorithms for computing the electrical field generated by a charge distribution localized on scale $\ell$ in an infinite heterogeneous medium, in a situation where the medium is only known in a box of diameter $L\gg\ell$ around the support of the charge. We propose a boundary condition that with overwhelming probability is (near) optimal with respect to scaling in terms of $\ell$ and $L$, in the setting where the medium is a sample from a stationary ensemble with a finite range of dependence (set to be unity and with the assumption that $\ell \gg 1$). The boundary condition is motivated by quantitative stochastic homogenization that allows for a multipole expansion [BGO20]. This work extends [LO21], the algorithm in which is optimal in two dimension, and thus we need to take quadrupoles, next to dipoles, into account. This in turn relies on stochastic estimates of second-order, next to first-order, correctors. These estimates are provided for finite range ensembles under consideration, based on an extension of the semi-group approach of [GO15].


title: Continuous symmetry breaking along the Nishimori line

abstract: We prove continuous symmetry breaking in three dimensions for a special class of disordered models described by the Nishimori line. The spins take values in a group such as $\mathbb{S}^1$, $SU(n)$ or $SO(n)$. Our proof is based on a theorem about group synchronization proved by Abbe, Massouli\'e, Montanari, Sly and Srivastava [AMM+18]. It also relies on a gauge transformation acting jointly on the disorder and the spin configurations due to Nishimori [Nis81, GHLDB85]. The proof does not use reflection positivity. The correlation inequalities of [MMSP78] imply symmetry breaking for the classical $XY$ model without disorder.


title: Validation of edge turbulence codes against the TCV-X21 diverted L-mode reference case

abstract: Self-consistent full-size turbulent-transport simulations of the divertor and SOL of existing tokamaks have recently become feasible. This enables the direct comparison of turbulence simulations against experimental measurements. In this work, we perform a series of diverted Ohmic L-mode discharges on the TCV tokamak, building a first-of-a-kind dataset for the validation of edge turbulence models. This dataset, referred to as TCV-X21, contains measurements from 5 diagnostic systems -- giving a total of 45 1- and 2-D comparison observables in two toroidal magnetic field directions. The dataset is used to validate three flux-driven 3D fluid-turbulence models: GBS, GRILLIX and TOKAM3X. With each model, we perform simulations of the TCV-X21 scenario, tuning the particle and power source rates to achieve a reasonable match of the upstream separatrix value of density and electron temperature. We find that the simulations match the experimental profiles for most observables at the OMP -- both in terms of profile shape and absolute magnitude -- while a poorer agreement is found towards the divertor targets. The match between simulation and experiment is seen to be sensitive to the value of the resistivity, the heat conductivities, the power injection rate and the choice of sheath boundary conditions. Additionally, despite targeting a sheath-limited regime, the discrepancy between simulations and experiment also suggests that the neutral dynamics should be included. The results of this validation show that turbulence models are able to perform simulations of existing devices and achieve reasonable agreement with experimental measurements. Where disagreement is found, the validation helps to identify how the models can be improved. By publicly releasing the experimental dataset, this work should help to guide and accelerate the development of predictive turbulence simulations of the edge and SOL.


title: Exploring Finite Temperature Properties of Materials with Quantum Computers

abstract: Thermal properties of nanomaterials are crucial to not only improving our fundamental understanding of condensed matter systems, but also to developing novel materials for applications spanning research and industry. Since quantum effects arise at the nano-scale, these systems are difficult to simulate on classical computers. Quantum computers can efficiently simulate quantum many-body systems, yet current quantum algorithms for calculating thermal properties of these systems incur significant computational costs in that they either prepare the full thermal state on the quantum computer, or they must sample a number of pure states from a distribution that grows with system size. Canonical thermal pure quantum (TPQ) states provide a promising path to estimating thermal properties of quantum materials as they neither require preparation of the full thermal state nor require a growing number of samples with system size. Here, we present an algorithm for preparing canonical TPQ states on quantum computers. We compare three different circuit implementations for the algorithm and demonstrate their capabilities in estimating thermal properties of quantum materials. Due to its increasing accuracy with system size and flexibility in implementation, we anticipate that this method will enable finite temperature explorations of relevant quantum materials on near-term quantum computers.