title: SuperChat: Dialogue Generation by Transfer Learning from Vision to Language using Two-dimensional Word Embedding and Pretrained ImageNet CNN Models

abstract: The recent work of Super Characters method using two-dimensional word embedding achieved state-of-the-art results in text classification tasks, showcasing the promise of this new approach. This paper borrows the idea of Super Characters method and two-dimensional embedding, and proposes a method of generating conversational response for open domain dialogues. The experimental results on a public dataset shows that the proposed SuperChat method generates high quality responses. An interactive demo is ready to show at the workshop.


title: Development of Deep Learning Based Natural Language Processing Model for Turkish

abstract: Natural language is one of the most fundamental features that distinguish people from other living things and enable people to communicate each other. Language is a tool that enables people to express their feelings and thoughts and to transfers cultures through generations. Texts and audio are examples of natural language in daily life. In the natural language, many words disappear in time, on the other hand new words are derived. Therefore, while the process of natural language processing (NLP) is complex even for human, it is difficult to process in computer system. The area of linguistics examines how people use language. NLP, which requires the collaboration of linguists and computer scientists, plays an important role in human computer interaction. Studies in NLP have increased with the use of artificial intelligence technologies in the field of linguistics. With the deep learning methods which are one of the artificial intelligence study areas, platforms close to natural language are being developed. Developed platforms for language comprehension, machine translation and part of speech (POS) tagging benefit from deep learning methods. Recurrent Neural Network (RNN), one of the deep learning architectures, is preferred for processing sequential data such as text or audio data. In this study, Turkish POS tagging model has been proposed by using Bidirectional Long-Short Term Memory (BLSTM) which is an RNN type. The proposed POS tagging model is provided to natural language researchers with a platform that allows them to perform and use their own analysis. In the development phase of the platform developed by using BLSTM, the error rate of the POS tagger has been reduced by taking feedback with expert opinion.


title: Learning meters of Arabic and English poems with Recurrent Neural Networks: a step forward for language understanding and synthesis

abstract: Recognizing a piece of writing as a poem or prose is usually easy for the majority of people; however, only specialists can determine which meter a poem belongs to. In this paper, we build Recurrent Neural Network (RNN) models that can classify poems according to their meters from plain text. The input text is encoded at the character level and directly fed to the models without feature handcrafting. This is a step forward for machine understanding and synthesis of languages in general, and Arabic language in particular. Among the 16 poem meters of Arabic and the 4 meters of English the networks were able to correctly classify poem with an overall accuracy of 96.38\% and 82.31\% respectively. The poem datasets used to conduct this research were massive, over 1.5 million of verses, and were crawled from different nontechnical sources, almost Arabic and English literature sites, and in different heterogeneous and unstructured formats. These datasets are now made publicly available in clean, structured, and documented format for other future research. To the best of the authors' knowledge, this research is the first to address classifying poem meters in a machine learning approach, in general, and in RNN featureless based approach, in particular. In addition, the dataset is the first publicly available dataset ready for the purpose of future computational research.


title: Modeling user context for valence prediction from narratives

abstract: Automated prediction of valence, one key feature of a person's emotional state, from individuals' personal narratives may provide crucial information for mental healthcare (e.g. early diagnosis of mental diseases, supervision of disease course, etc.). In the Interspeech 2018 ComParE Self-Assessed Affect challenge, the task of valence prediction was framed as a three-class classification problem using 8 seconds fragments from individuals' narratives. As such, the task did not allow for exploring contextual information of the narratives. In this work, we investigate the intrinsic information from multiple narratives recounted by the same individual in order to predict their current state-of-mind. Furthermore, with generalizability in mind, we decided to focus our experiments exclusively on textual information as the public availability of audio narratives is limited compared to text. Our hypothesis is, that context modeling might provide insights about emotion triggering concepts (e.g. events, people, places) mentioned in the narratives that are linked to an individual's state of mind. We explore multiple machine learning techniques to model narratives. We find that the models are able to capture inter-individual differences, leading to more accurate predictions of an individual's emotional state, as compared to single narratives.


title: Sparse Sequence-to-Sequence Models

abstract: Sequence-to-sequence models are a powerful workhorse of NLP. Most variants employ a softmax transformation in both their attention mechanism and output layer, leading to dense alignments and strictly positive output probabilities. This density is wasteful, making models less interpretable and assigning probability mass to many implausible outputs. In this paper, we propose sparse sequence-to-sequence models, rooted in a new family of $\alpha$-entmax transformations, which includes softmax and sparsemax as particular cases, and is sparse for any $\alpha > 1$. We provide fast algorithms to evaluate these transformations and their gradients, which scale well for large vocabulary sizes. Our models are able to produce sparse alignments and to assign nonzero probability to a short list of plausible outputs, sometimes rendering beam search exact. Experiments on morphological inflection and machine translation reveal consistent gains over dense models.


title: Efroymson's approximation theorem for globally subanalytic functions

abstract: Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic mapping on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous semialgebraic function then there is a $\mathcal{C}^\infty$ semialgebraic function $g:M\to \mathbb{R}$ such that $|f-g|<\varepsilon$. We prove a generalization of this result to the globally subanalytic category. Our theorem actually holds in a larger framework since it applies to every function which is definable in a polynomially bounded o-minimal structure (expanding the real field) that admits $\mathcal{C}^\infty$ cell decomposition. We also establish approximation theorems for Lipschitz and $\mathcal{C}^1$ definable functions.


title: A logical-based corpus for cross-lingual evaluation

abstract: At present, different deep learning models are presenting high accuracy on popular inference datasets such as SNLI, MNLI, and SciTail. However, there are different indicators that those datasets can be exploited by using some simple linguistic patterns. This fact poses difficulties to our understanding of the actual capacity of machine learning models to solve the complex task of textual inference. We propose a new set of syntactic tasks focused on contradiction detection that require specific capacities over linguistic logical forms such as: Boolean coordination, quantifiers, definite description, and counting operators. We evaluate two kinds of deep learning models that implicitly exploit language structure: recurrent models and the Transformer network BERT. We show that although BERT is clearly more efficient to generalize over most logical forms, there is space for improvement when dealing with counting operators. Since the syntactic tasks can be implemented in different languages, we show a successful case of cross-lingual transfer learning between English and Portuguese.


title: Semistable models of elliptic curves over residue characteristic 2

abstract: Given an elliptic curve $E$ in Legendre form $y^2 = x(x - 1)(x - \lambda)$ over the fraction field of a Henselian ring $R$ of mixed characteristic $(0, 2)$, we present an algorithm for determining a semistable model of $E$ over $R$ which depends only on the valuation of $\lambda$. We provide several examples along with an easy corollary concerning $2$-torsion.


title: Anomalous Advection-Diffusion Models for Avascular Tumour Growth

abstract: In this study, we model avascular tumour growth in epithelial tissue. This can help us to get a macroscopic view of the interaction between the tumour with its surrounding microenvironment and the physical changes within the tumour spheroid. This understanding is likely to assist in the development of better diagnostics, improved therapies and prognostics. In biological systems, most of the diffusive and convective processes are through cellular membranes which are porous in nature. Due to its porous nature, diffusive processes in biological systems are heterogeneous. Fractional advection-diffusion equations are well suited to model heterogeneous biological systems; though most of the early studies did not use this fact. They modelled tumour growth with simple advection-diffusion equation or diffusion equation. We have developed two spherical models based on fractional advection-diffusion equations: one of fixed order and the other of variable order for avascular tumour. These two models are investigated from phenomenological view by measuring some parameters for characterizing avascular tumour growth over time. It is found that both the models offer realistic and insightful information for tumour growth at the macroscopic level, and approximate well the physical phenomena. The fixed-order model always overestimates clinical data like tumour radius, and tumour volume. The cell counts in both the models lie in the clinically established range. As the simulation parameters get modified due to different biochemical and biophysical processes, the robustness of the model is determined. It is found that, the sensitivity of the fixed-order model is low while the variable-order model is moderately sensitive to the parameters.


title: Limited Resource Optimal Distribution Algorithm Based on Game Iteration Method

abstract: The article provides a solution algorithm for the linear programming problem (LPP) with the latter being presented as an antagonistic matrix game so the game's further solution is based on the iterative method. The algorithm is presented as a computer program. Having applied necessary accuracy, the author has researched the solution assessment convergence rate in relation to the actual value. Program implementation demonstrates high rate of the LPP solution receipt, with the acceptable accuracy being fractions or unities. It allows using the algorithm in the integrated systems for the purpose of their optimal control.


title: The relational processing limits of classic and contemporary neural network models of language processing

abstract: The ability of neural networks to capture relational knowledge is a matter of long-standing controversy. Recently, some researchers in the PDP side of the debate have argued that (1) classic PDP models can handle relational structure (Rogers & McClelland, 2008, 2014) and (2) the success of deep learning approaches to text processing suggests that structured representations are unnecessary to capture the gist of human language (Rabovsky et al., 2018). In the present study we tested the Story Gestalt model (St. John, 1992), a classic PDP model of text comprehension, and a Sequence-to-Sequence with Attention model (Bahdanau et al., 2015), a contemporary deep learning architecture for text processing. Both models were trained to answer questions about stories based on the thematic roles that several concepts played on the stories. In three critical test we varied the statistical structure of new stories while keeping their relational structure constant with respect to the training data. Each model was susceptible to each statistical structure manipulation to a different degree, with their performance failing below chance at least under one manipulation. We argue that the failures of both models are due to the fact that they cannotperform dynamic binding of independent roles and fillers. Ultimately, these results cast doubts onthe suitability of traditional neural networks models for explaining phenomena based on relational reasoning, including language processing.


title: Challenges in Building Intelligent Open-domain Dialog Systems

abstract: There is a resurgent interest in developing intelligent open-domain dialog systems due to the availability of large amounts of conversational data and the recent progress on neural approaches to conversational AI. Unlike traditional task-oriented bots, an open-domain dialog system aims to establish long-term connections with users by satisfying the human need for communication, affection, and social belonging. This paper reviews the recent works on neural approaches that are devoted to addressing three challenges in developing such systems: semantics, consistency, and interactiveness. Semantics requires a dialog system to not only understand the content of the dialog but also identify user's social needs during the conversation. Consistency requires the system to demonstrate a consistent personality to win users trust and gain their long-term confidence. Interactiveness refers to the system's ability to generate interpersonal responses to achieve particular social goals such as entertainment, conforming, and task completion. The works we select to present here is based on our unique views and are by no means complete. Nevertheless, we hope that the discussion will inspire new research in developing more intelligent dialog systems.


title: Trajectory-Based Off-Policy Deep Reinforcement Learning

abstract: Policy gradient methods are powerful reinforcement learning algorithms and have been demonstrated to solve many complex tasks. However, these methods are also data-inefficient, afflicted with high variance gradient estimates, and frequently get stuck in local optima. This work addresses these weaknesses by combining recent improvements in the reuse of off-policy data and exploration in parameter space with deterministic behavioral policies. The resulting objective is amenable to standard neural network optimization strategies like stochastic gradient descent or stochastic gradient Hamiltonian Monte Carlo. Incorporation of previous rollouts via importance sampling greatly improves data-efficiency, whilst stochastic optimization schemes facilitate the escape from local optima. We evaluate the proposed approach on a series of continuous control benchmark tasks. The results show that the proposed algorithm is able to successfully and reliably learn solutions using fewer system interactions than standard policy gradient methods.


title: Large memcapacitance and memristance at Nb:SrTiO$_{3}$ / La$_{0.5}$Sr$_{0.5}$Mn$_{0.5}$Co$_{0.5}$O$_{3-\delta}$ Topotactic Redox Interface

abstract: The possibility to develop neuromorphic computing devices able to mimic the extraordinary data processing capabilities of biological systems spurs the research on memristive systems. Memristors with additional functionalities such as robust memcapacitance can outperform standard devices in key aspects such as power consumption or miniaturization possibilities. In this work, we demonstrate a large memcapacitive response of a perovskite memristive interface, using the topotactic redox ability of La$_{0.5}$Sr$_{0.5}$Mn$_{0.5}$Co$_{0.5}$O$_{3-\delta}$ (LSMCO, 0 $\leq$ $\delta$ $\leq$ 0.62). We demonstrate that the multi-mem behaviour originates at the switchable n-p diode formed at the Nb:SrTiO3/LSMCO interface. We found for our Nb:SrTiO$_{3}$/LSMCO/Pt devices a memcapacitive effect C$_{HIGH}$/C$_{LOW}$ ~ 100 at 150 kHz. The proof-of-concept interface reported here opens a promising venue to use topotactic redox materials for disruptive nanoelectronics, with straightforward applications in neuromorphic computing technology.


title: Cusp cobordism group of Morse functions

abstract: By a Morse function on a compact manifold with boundary we mean a real-valued function without critical points near the boundary such that its critical points as well as the critical points of its restriction to the boundary are all non-degenerate. For such Morse functions, Saeki and Yamamoto have previously defined a certain notion of cusp cobordism, and computed the unoriented cusp cobordism group of Morse functions on surfaces. In this paper, we compute unoriented and oriented cusp cobordism groups of Morse functions on manifolds of any dimension by employing Levine's cusp elimination technique as well as the complementary process of creating pairs of cusps along fold lines. We show that both groups are cyclic of order two in even dimensions, and cyclic of infinite order in odd dimensions. For Morse functions on surfaces our result yields an explicit description of Saeki-Yamamoto's cobordism invariant which they constructed by means of the cohomology of the universal complex of singular fibers.


title: Timeline-based Planning and Execution with Uncertainty: Theory, Modeling Methodologies and Practice

abstract: Automated Planning is one of the main research field of Artificial Intelligence since its beginnings. Research in Automated Planning aims at developing general reasoners (i.e., planners) capable of automatically solve complex problems. Broadly speaking, planners rely on a general model characterizing the possible states of the world and the actions that can be performed in order to change the status of the world. Given a model and an initial known state, the objective of a planner is to synthesize a set of actions needed to achieve a particular goal state. The classical approach to planning roughly corresponds to the description given above. The timeline-based approach is a particular planning paradigm capable of integrating causal and temporal reasoning within a unified solving process. This approach has been successfully applied in many real-world scenarios although a common interpretation of the related planning concepts is missing. Indeed, there are significant differences among the existing frameworks that apply this technique. Each framework relies on its own interpretation of timeline-based planning and therefore it is not easy to compare these systems. Thus, the objective of this work is to investigate the timeline-based approach to planning by addressing several aspects ranging from the semantics of the related planning concepts to the modeling and solving techniques. Specifically, the main contributions of this PhD work consist of: (i) the proposal of a formal characterization of the timeline-based approach capable of dealing with temporal uncertainty; (ii) the proposal of a hierarchical modeling and solving approach; (iii) the development of a general purpose framework for planning and execution with timelines; (iv) the validation{\dag}of this approach in real-world manufacturing scenarios.


title: Fields whose Multiplicative Groups are Linear Spaces

abstract: The purpose of this paper is to study fields whose multiplicative groups admit the structure of linear spaces. We prove that the multiplicative group of a finite field is a linear space if and only if the order of the multiplicative group is 1, 2, or a Mersenne prime. We give necessary conditions for the multiplicative group of an infinite field to be a linear space over another field. We also construct an example of an infinite field whose multiplicative group is a linear space over $\mathbb{Q}$.


title: Machine Learning at Microsoft with ML .NET

abstract: Machine Learning is transitioning from an art and science into a technology available to every developer. In the near future, every application on every platform will incorporate trained models to encode data-based decisions that would be impossible for developers to author. This presents a significant engineering challenge, since currently data science and modeling are largely decoupled from standard software development processes. This separation makes incorporating machine learning capabilities inside applications unnecessarily costly and difficult, and furthermore discourage developers from embracing ML in first place. In this paper we present ML .NET, a framework developed at Microsoft over the last decade in response to the challenge of making it easy to ship machine learning models in large software applications. We present its architecture, and illuminate the application demands that shaped it. Specifically, we introduce DataView, the core data abstraction of ML .NET which allows it to capture full predictive pipelines efficiently and consistently across training and inference lifecycles. We close the paper with a surprisingly favorable performance study of ML .NET compared to more recent entrants, and a discussion of some lessons learned.


title: Coronal loop transverse oscillations excited by different driver frequencies

abstract: We analyse transverse oscillations of a coronal loop excited by continuous monoperiodic motions of the loop footpoint at different frequencies in the presence of gravity. Using the MPI-AMRVAC code, we perform three-dimensional numerical magnetohydrodynamic simulations, considering the loop as a magnetic flux tube filled in with denser, hotter, and gravitationally stratified plasma. We show the resonant response of the loop to its external excitation and analyse the development of the Kelvin-Helmholtz instability at different heights. We also study the spatial distribution of plasma heating due to transverse oscillations along the loop. The positions of the maximum heating are in total agreement with those for the intensity of the Kelvin-Helmholtz instability, and correspond to the standing wave anti-nodes in the resonant cases. The initial temperature configuration and plasma mixing effect appear to play a significant role in plasma heating by transverse footpoint motions. In particular, the development of the Kelvin-Helmholtz instability in a hotter loop results in the enhancement of the mean plasma temperature in the domain.


title: CoLight: Learning Network-level Cooperation for Traffic Signal Control

abstract: Cooperation among the traffic signals enables vehicles to move through intersections more quickly. Conventional transportation approaches implement cooperation by pre-calculating the offsets between two intersections. Such pre-calculated offsets are not suitable for dynamic traffic environments. To enable cooperation of traffic signals, in this paper, we propose a model, CoLight, which uses graph attentional networks to facilitate communication. Specifically, for a target intersection in a network, CoLight can not only incorporate the temporal and spatial influences of neighboring intersections to the target intersection, but also build up index-free modeling of neighboring intersections. To the best of our knowledge, we are the first to use graph attentional networks in the setting of reinforcement learning for traffic signal control and to conduct experiments on the large-scale road network with hundreds of traffic signals. In experiments, we demonstrate that by learning the communication, the proposed model can achieve superior performance against the state-of-the-art methods.


title: Replica Bethe Ansatz solution to the Kardar-Parisi-Zhang equation on the half-line

abstract: We consider the Kardar-Parisi-Zhang (KPZ) equation for the stochastic growth of an interface of height $h(x,t)$ on the positive half line with boundary condition $\partial_x h(x,t)|_{x=0}=A$. It is equivalent to a continuum directed polymer (DP) in a random potential in half-space with a wall at $x=0$ either repulsive $A>0$, or attractive $A<0$. We provide an exact solution, using replica Bethe ansatz methods, to two problems which were recently proved to be equivalent [Parekh, arXiv:1901.09449]: the droplet initial condition for arbitrary $A \geqslant -1/2$, and the Brownian initial condition with a drift for $A=+\infty$ (infinite hard wall). We study the height at $x=0$ and obtain (i) at all time the Laplace transform of the distribution of its exponential (ii) at infinite time, its exact probability distribution function (PDF). These are expressed in two equivalent forms, either as a Fredholm Pfaffian with a matrix valued kernel, or as a Fredholm determinant with a scalar kernel. For droplet initial conditions and $A> - \frac{1}{2}$ the large time PDF is the GSE Tracy-Widom distribution. For $A= \frac{1}{2}$, the critical point at which the DP binds to the wall, we obtain the GOE Tracy-Widom distribution. In the critical region, $A+\frac{1}{2} = \epsilon t^{-1/3} \to 0$ with fixed $\epsilon = \mathcal{O}(1)$, we obtain a transition kernel continuously depending on $\epsilon$. Our work extends the results obtained previously for $A=+\infty$, $A=0$ and $A=- \frac{1}{2}$.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP math.PR nlin.SI


title: Kepler-62f: Kepler's First Small Planet in the Habitable Zone, but Is It Real?

abstract: Kepler-62f is the first exoplanet small enough to plausibly have a rocky composition orbiting within the habitable zone (HZ) discovered by the Kepler Mission. The planet is 1.4 times the size of the Earth and has an orbital period of 267 days. At the time of its discovery, it had the longest period of any small planet in the habitable zone of a multi-planet system. Because of its long period, only four transits were observed during Kepler's interval of observations. It was initially missed by the Kepler pipeline, but the first three transits were identified by an independent search by Eric Agol, and it was identified as a planet candidate in subsequent Kepler catalogs. However in the latest catalog of exoplanets (Thompson et al., 2018), it is labeled as a false positive. Recent exoplanet catalogues have evolved from subjective classification to automatic classifications of planet candidates by algorithms (such as `Robovetter'). While exceptionally useful for producing a uniform catalogue, these algorithms sometimes misclassify planet candidates as a false positive, as is the case of Kepler-62f. In particularly valuable cases, i.e., when a small planet has been found orbiting in the habitable zone (HZ), it is important to conduct comprehensive analyses of the data and classification protocols to provide the best estimate of the true status of the detection. In this paper we conduct such analyses and show that Kepler-62f is a true planet and not a false positive. The table of stellar and planet properties has been updated based on GAIA results.


title: Verifying Multipartite Entangled GHZ States via Multiple Quantum Coherences

abstract: The ability to generate and verify multipartite entanglement is an important benchmark for near-term quantum devices devices. We develop a scalable entanglement metric based on multiple quantum coherences, and demonstrate experimentally on a 20-qubit superconducting device - the IBM Q System One. We report a state fidelity of 0.5165$\pm$0.0036 for an 18-qubit GHZ state, indicating multipartite entanglement across all 18 qubits. Our entanglement metric is robust to noise and only requires measuring the population in the ground state; it can be readily applied to other quantum devices to verify multipartite entanglement.


title: Generation and manipulation of Schr\"odinger cat states in Rydberg atom arrays

abstract: Quantum entanglement involving coherent superpositions of macroscopically distinct states is among the most striking features of quantum theory, but its realization is challenging, since such states are extremely fragile. Using a programmable quantum simulator based on neutral atom arrays with interactions mediated by Rydberg states, we demonstrate the deterministic generation of 'Schr\"odinger cat' states of the Greenberger-Horne-Zeilinger (GHZ) type with up to 20 qubits. Our approach is based on engineering the energy spectrum and using optimal control of the many-body system. We further demonstrate entanglement manipulation by using GHZ states to distribute entanglement to distant sites in the array, establishing important ingredients for quantum information processing and quantum metrology.


title: 't Hooft anomalies and the holomorphy of supersymmetric partition functions

abstract: We study the dependence of supersymmetric partition functions on continuous parameters for the flavor symmetry group, $G_F$, for 2d $\mathcal{N} = (0,2)$ and 4d $\mathcal{N}=1$ supersymmetric quantum field theories. In any diffeomorphism-invariant scheme and in the presence of $G_F$ 't Hooft anomalies, the supersymmetric Ward identities imply that the partition function has a non-holomorphic dependence on the flavor parameters. We show this explicitly for the 2d torus partition function, $Z_{T^2}$, and for a large class of 4d partition functions on half-BPS four-manifolds, $Z_{\mathcal{M}_4}$---in particular, for $\mathcal{M}_4=S^3 \times S^1$ and $\mathcal{M}_4=\Sigma_g \times T^2$. We propose a new expression for $Z_{\mathcal{M}_{d-1} \times S^1}$, which differs from earlier holomorphic results by the introduction of a non-holomorphic `Casimir' pre-factor. The latter is fixed by studying the `high temperature' limit of the partition function. Our proposal agrees with the supersymmetric Ward identities, and with explicit calculations of the absolute value of the partition function using a gauge-invariant zeta-function regularization.


title: Positivity determines the quantum cohomology of Grassmannians

abstract: We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non-negative. We conjecture that the same is true for any flag variety X = G/P of simply laced Lie type. For the variety GL(n)/B of complete flags, this conjecture is equivalent to Fomin, Gelfand, and Postnikov's conjecture that the quantum Schubert polynomials of type A are uniquely determined by positivity properties. Our proof for Grassmannians answers a question of Fulton.


title: On the Expected Production of Gravitational Waves During Preheating

abstract: The existing predictions of the energy density of gravitational waves produced during preheating mostly rely on computer simulations in which the matter field inhomogeneities essentially behave classically. In this article we follow instead a full quantum treatment of the process within the $in$-$in$ formalism. We use this approach to determine the expected density of the produced gravitational waves and numerically estimate its value in a simple scalar field model, neglecting backreaction. Particular attention is devoted to the regularization and renormalization of the divergences that appear in the in-in formalism. We also address how our approach compares with the conventional calculations used in the literature, and what elements could be missed in the conventional analyses of gravitational wave production that rely on numerical simulations. In the cases in which parametric resonance is effective, our results agree with the predictions expected from numerical simulations, as anticipated. At sufficiently low values of the resonance parameter, however, numerical simulations fail, while our approach remains applicable.


title: Store-to-Leak Forwarding: Leaking Data on Meltdown-resistant CPUs (Updated and Extended Version)

abstract: Meltdown and Spectre exploit microarchitectural changes the CPU makes during transient out-of-order execution. Using side-channel techniques, these attacks enable leaking arbitrary data from memory. As state-of-the-art software mitigations for Meltdown may incur significant performance overheads, they are only seen as a temporary solution. Thus, software mitigations are disabled on more recent processors, which are not susceptible to Meltdown anymore. In this paper, we show that Meltdown-like attacks are still possible on recent CPUs which are not vulnerable to the original Meltdown attack. We show that the store buffer - a microarchitectural optimization to reduce the latency for data stores - in combination with the TLB enables powerful attacks. We present several ASLRrelated attacks, including a KASLR break from unprivileged applications, and breaking ASLR from JavaScript. We can also mount side-channel attacks, breaking the atomicity of TSX, and monitoring control flow of the kernel. Furthermore, when combined with a simple Spectre gadget, we can leak arbitrary data from memory. Our paper shows that Meltdown-like attacks are still possible, and software fixes are still necessary to ensure proper isolation between the kernel and user space. This updated extended version of the original paper includes new results and explanations on the root cause of the vulnerability and shows how it is different to MDS attacks like Fallout.


title: ZombieLoad: Cross-Privilege-Boundary Data Sampling

abstract: In early 2018, Meltdown first showed how to read arbitrary kernel memory from user space by exploiting side-effects from transient instructions. While this attack has been mitigated through stronger isolation boundaries between user and kernel space, Meltdown inspired an entirely new class of fault-driven transient execution attacks. Particularly, over the past year, Meltdown-type attacks have been extended to not only leak data from the L1 cache but also from various other microarchitectural structures, including the FPU register file and store buffer. In this paper, we present the ZombieLoad attack which uncovers a novel Meltdown-type effect in the processor's previously unexplored fill-buffer logic. Our analysis shows that faulting load instructions (i.e., loads that have to be re-issued for either architectural or microarchitectural reasons) may transiently dereference unauthorized destinations previously brought into the fill buffer by the current or a sibling logical CPU. Hence, we report data leakage of recently loaded stale values across logical cores. We demonstrate ZombieLoad's effectiveness in a multitude of practical attack scenarios across CPU privilege rings, OS processes, virtual machines, and SGX enclaves. We discuss both short and long-term mitigation approaches and arrive at the conclusion that disabling hyperthreading is the only possible workaround to prevent this extremely powerful attack on current processors.


title: Meso-resolved simulations of shock-to-detonation transition in nitromethane with air-filled cavities

abstract: Two-dimensional, meso-resolved numerical simulations are performed to investigate the complete shock-to-detonation transition (SDT) process in a mixture of liquid nitromethane (NM) and air-filled, circular cavities. The shock-induced initiation behaviors resulting from the cases with neat NM, NM with an array of regularly spaced cavities, and NM with randomly distributed cavities are examined. For the case with randomly distributed cavities, hundreds of cavities are explicitly resolved in the simulations using a diffuse-interface approach to treat two immiscible fluids and GPU-enabled parallel computing. Without invoking any empirically calibrated, phenomenological models, the reaction rate in the simulations is governed by Arrhenius kinetics. For the cases with neat NM, the resulting SDT process features a superdetonation that evolves from a thermal explosion after a delay following the passage of the incident shock wave and eventually catches up with the leading shock front. For the cases wherein mesoscale heterogeneities are explicitly considered, a gradual SDT process is captured. These two distinct initiation behaviors for neat NM and heterogeneous NM mixtures agree with experimental findings. Via examining the global reaction rate of the mixture, a unique time scale characterizing the SDT process, i.e., the overtake time, is measured for each simulation. For an input shock pressure less than approximately $9.4~\mathrm{GPa}$, the overtake time resulting from a heterogeneous mixture is shorter than that for neat NM. This sensitizing effect is more pronounced for lower input shock pressures. A random distribution of cavities is found to be more effective in enhancing the SDT process than a regular array of cavities. Statistical analysis on the meso-resolved simulation data provides more insights into the mechanism of energy release underlying the SDT process.


title: Non-conservation of dimension in divergence-free solutions of passive and active scalar systems

abstract: For any $h\in(1,2]$, we give an explicit construction of a compactly supported, uniformly continuous, and (weakly) divergence-free velocity field in $\mathbb{R}^2$ that weakly advects a measure whose support is initially the origin but for positive times has Hausdorff dimension $h$. These velocities are uniformly continuous in space-time and compactly supported, locally Lipschitz except at one point and satisfy the conditions for the existence and uniqueness of a Regular Lagrangian Flow in the sense of Di Perna and Lions theory. We then construct active scalar systems in $\mathbb{R}^2$ and $\mathbb{R}^3$ with measure-valued solutions whose initial support has co-dimension 2 but such that at positive times it only has co-dimension 1. The associated velocities are divergence free, compactly supported, continuous, and sufficiently regular to admit unique Regular Lagrangian Flows. This is in part motivated by the investigation of dimension conservation for the support of measure-valued solutions to active scalar systems. This question occurs in the study of vortex filaments in the three-dimensional Euler equations.


title: Design and Experimental Validation of a Software-Defined Radio Access Network Testbed with Slicing Support

abstract: Network slicing is a fundamental feature of 5G systems to partition a single network into a number of segregated logical networks, each optimized for a particular type of service, or dedicated to a particular customer or application. The realization of network slicing is particularly challenging in the Radio Access Network (RAN) part, where multiple slices can be multiplexed over the same radio channel and Radio Resource Management (RRM) functions shall be used to split the cell radio resources and achieve the expected behaviour per slice. In this context, this paper describes the key design and implementation aspects of a Software-Defined RAN (SD-RAN) experimental testbed with slicing support. The testbed has been designed consistently with the slicing capabilities and related management framework established by 3GPP in Release 15. The testbed is used to demonstrate the provisioning of RAN slices (e.g. preparation, commissioning and activation phases) and the operation of the implemented RRM functionality for slice-aware admission control and scheduling.


title: Asset Pricing with Heterogeneous Beliefs and Illiquidity

abstract: This paper studies the equilibrium price of an asset that is traded in continuous time between N agents who have heterogeneous beliefs about the state process underlying the asset's payoff. We propose a tractable model where agents maximize expected returns under quadratic costs on inventories and trading rates. The unique equilibrium price is characterized by a weakly coupled system of linear parabolic equations which shows that holding and liquidity costs play dual roles. We derive the leading-order asymptotics for small transaction and holding costs which give further insight into the equilibrium and the consequences of illiquidity.


title: Successor Options: An Option Discovery Framework for Reinforcement Learning

abstract: The options framework in reinforcement learning models the notion of a skill or a temporally extended sequence of actions. The discovery of a reusable set of skills has typically entailed building options, that navigate to bottleneck states. This work adopts a complementary approach, where we attempt to discover options that navigate to landmark states. These states are prototypical representatives of well-connected regions and can hence access the associated region with relative ease. In this work, we propose Successor Options, which leverages Successor Representations to build a model of the state space. The intra-option policies are learnt using a novel pseudo-reward and the model scales to high-dimensional spaces easily. Additionally, we also propose an Incremental Successor Options model that iterates between constructing Successor Representations and building options, which is useful when robust Successor Representations cannot be built solely from primitive actions. We demonstrate the efficacy of our approach on a collection of grid-worlds, and on the high-dimensional robotic control environment of Fetch.


title: Optimal order finite element approximations for variable-order time-fractional diffusion equations

abstract: We study a fully discrete finite element method for variable-order time-fractional diffusion equations with a time-dependent variable order. Optimal convergence estimates are proved with the first-order accuracy in time (and second order accuracy in space) under the uniform or graded temporal mesh without full regularity assumptions of the solutions. Numerical experiments are presented to substantiate the analysis.


title: Multi-step Retriever-Reader Interaction for Scalable Open-domain Question Answering

abstract: This paper introduces a new framework for open-domain question answering in which the retriever and the reader iteratively interact with each other. The framework is agnostic to the architecture of the machine reading model, only requiring access to the token-level hidden representations of the reader. The retriever uses fast nearest neighbor search to scale to corpora containing millions of paragraphs. A gated recurrent unit updates the query at each step conditioned on the state of the reader and the reformulated query is used to re-rank the paragraphs by the retriever. We conduct analysis and show that iterative interaction helps in retrieving informative paragraphs from the corpus. Finally, we show that our multi-step-reasoning framework brings consistent improvement when applied to two widely used reader architectures DrQA and BiDAF on various large open-domain datasets --- TriviaQA-unfiltered, QuasarT, SearchQA, and SQuAD-Open.


title: First Steps Towards an Imprecise Poisson Process

abstract: The Poisson process is the most elementary continuous-time stochastic process that models a stream of repeating events. It is uniquely characterised by a single parameter called the rate. Instead of a single value for this rate, we here consider a rate interval and let it characterise two nested sets of stochastic processes. We call these two sets of stochastic process imprecise Poisson processes, explain why this is justified, and study the corresponding lower and upper (conditional) expectations. Besides a general theoretical framework, we also provide practical methods to compute lower and upper (conditional) expectations of functions that depend on the number of events at a single point in time.


title: Zero-Energy Modes on Superconducting Bismuth Islands Deposited on Fe(Te,Se)

abstract: Topological superconductivity is one of the frontier research directions in condensed matter physics. One of the unique elementary excitations in topological superconducting state is the Majorana fermion (mode) which is its own antiparticle and obeys the non-Abelian statistics, and thus useful for constructing the fault-tolerant quantum computing. The evidence for Majorana fermions (mode) in condensed matter state is now quickly accumulated. Here we report the easily achievable zero-energy mode on the tunneling spectra on Bi islands deposited on the Fe(Te,Se) superconducting single crystals. We interpret this result as the consequence of proximity effect induced topological superconductivity on the Bi islands with strong spin-orbital coupling effect. The zero-energy mode is argued to be the signature of the Majorana modes in this size confined system.


title: Hadronization within the Non-Extensive Approach and the Evolution of the Parameters

abstract: We review transverse momentum distributions of various identified charged particles stemming from high energy collisions fitted by various non-extensive distributions as well as by the usual Boltzmann-Gibbs statistics. We investigate the best-fit formula with the obtained $\chi^2/ndf$ values. We find that the physical mass and $\sqrt{s}$ scaling become more explicit with heavier produced hadrons in both proton-proton and heavy-ion collisions. The spectral shape parameters, in particular the temperature $T$ and the non-extensive Tsallis parameter $q$, do exhibit an almost linear dependence with the centrality-dependence in heavy-ion collisions.


title: Dynamical BCS theory of a two-dimensional attractive Fermi gas: effective interactions from Quantum Monte Carlo calculations

abstract: The primary work presented in this paper focuses on the calculation of density-density dynamical correlations in an attractive two dimensional Fermi gas in several physically interesting regimes, including the strongly correlated BEC-BCS crossover regime. We use state-of-the-art dynamical BCS theory and we address the possibility to renormalize the interaction strength, using unbiased Quantum Monte Carlo results as an asset to validate the predictions. We propose that a suitable interplay between dynamical BCS theory, which is computationally very cheap and yields results directly in real time domain, and Quantum Monte Carlo methods, which are exact but way more demanding and limited to imaginary time domain, can be a very promising idea to study dynamics in many body systems. We illustrate the idea and provide quantitative results for a few values of the interaction strength in the cold gas.


title: Stochastic Blockmodels meet Graph Neural Networks

abstract: Stochastic blockmodels (SBM) and their variants, $e.g.$, mixed-membership and overlapping stochastic blockmodels, are latent variable based generative models for graphs. They have proven to be successful for various tasks, such as discovering the community structure and link prediction on graph-structured data. Recently, graph neural networks, $e.g.$, graph convolutional networks, have also emerged as a promising approach to learn powerful representations (embeddings) for the nodes in the graph, by exploiting graph properties such as locality and invariance. In this work, we unify these two directions by developing a \emph{sparse} variational autoencoder for graphs, that retains the interpretability of SBMs, while also enjoying the excellent predictive performance of graph neural nets. Moreover, our framework is accompanied by a fast recognition model that enables fast inference of the node embeddings (which are of independent interest for inference in SBM and its variants). Although we develop this framework for a particular type of SBM, namely the \emph{overlapping} stochastic blockmodel, the proposed framework can be adapted readily for other types of SBMs. Experimental results on several benchmarks demonstrate encouraging results on link prediction while learning an interpretable latent structure that can be used for community discovery.


title: Graph Convolutional Gaussian Processes

abstract: We propose a novel Bayesian nonparametric method to learn translation-invariant relationships on non-Euclidean domains. The resulting graph convolutional Gaussian processes can be applied to problems in machine learning for which the input observations are functions with domains on general graphs. The structure of these models allows for high dimensional inputs while retaining expressibility, as is the case with convolutional neural networks. We present applications of graph convolutional Gaussian processes to images and triangular meshes, demonstrating their versatility and effectiveness, comparing favorably to existing methods, despite being relatively simple models.


title: $\mathbb{P}^n$-functors

abstract: We propose a new theory of (non-split) P^n-functors. These are F: A -> B for which the adjunction monad RF is a repeated extension of Id_A by powers of an autoequivalence H and three conditions are satisfied: the monad condition, the adjoints condition, and the highest degree term condition. This unifies and extends the two earlier notions of spherical functors and split P^n-functors. We construct the P-twist of such F and prove it to be an autoequivalence. We then give a criterion for F to be a P^n-functor which is stronger than the definition but much easier to check in practice. It involves only two conditions: the strong monad condition and the weak adjoints condition. For split P^n-functors, we prove Segal's conjecture on their relation to spherical functors. Finally, we give four examples of non-split P^n-functors: spherical functors, extensions by zero, cyclic covers, and family P-twists. For the latter, we show the P-twist to be the derived monodromy of associated Mukai flop, the so-called `flop-flop = twist' formula.


title: Versatile Hall magnetometer with variable sensitivity assembly for characterization of the magnetic properties of nanoparticles

abstract: A Hall magnetometer with variable sensitivity is constructed to measure the magnetic properties of magnetic nanoparticles manufactured by different methods. This novel magnetometer can also be used to measure bulk materials and samples in liquids. The magnetometer is constructed with two commercial Hall-effect sensors in an acrylic structure, which serves as the support for a micrometer and the circuit board with the sensors. For operation, the magnetometer it acquires a complete magnetization curve in a few minutes. If has a magnetic moment sensitivity of 1.3*10-9 Am2 to sensitivity of 493 mV/mT, the sensitivity can be adjustable in the range of 10 to 493 mV/mT. Its performance is tested with magnetic nanoparticles. As an application example, we estimate the mean diameter of the nanoparticles using the magnetic curves. The results are compared with those obtained by other techniques, such as transmission electron microscopy (TEM), X-ray diffraction (XRD) and dynamic light scattering (DLS). The magnetization results are also compared with those obtained by independent commercial magnetometers, which reveals errors of approximately 0.31 Am2/kg (i.e., 0.6%) in the saturation region.


title: On the Morse Index of Branched Willmore Spheres in $3$-Space

abstract: We develop a general method to compute the Morse index of branched Willmore spheres and show that the Morse index is equal to the index of certain matrix whose dimension is equal to the number of ends of the dual minimal surface. As a corollary, we find that for all immersed Willmore spheres $\vec{\Phi}:S^2\rightarrow \mathbb{R}^3$ such that $W(\vec{\Phi})=4\pi n$, we have $\mathrm{Ind}_{W}(\vec{\Phi})\leq n-1$


title: Convex inner approximation of the feeder hosting capacity limits on dispatchable demand

abstract: This paper presents a method to obtain a convex inner approximation that aims to improve the feasibility of optimal power flow (OPF) models in distribution feeders. For a resistive distribution network, both real and reactive power effect the node voltages and this makes it necessary to consider both when formulating the OPF problem. Inaccuracy in linearized OPF models may lead to under and over voltages when dispatching flexible demand, at scale, in response to whole-sale market or grid conditions. In order to guarantee feasibility, this paper obtains an inner convex set in which the dispatchable resources can operate, based on their real and reactive power capabilities, that guarantees network voltages to be feasible. Test simulations are conducted on a standard IEEE distribution test network to validate the approach.


title: Homological Algebra for Persistence Modules

abstract: We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module and sheaf tensor product and Hom bifunctors as well as their derived functors, Tor and Ext, and give explicit computations for interval modules. We give a classification of injective, projective, and flat interval modules. We state Kunneth theorems and universal coefficient theorems for the homology and cohomology of chain complexes of persistence modules in both the sheaf and graded modules settings and show how these theorems can be applied to persistence modules arising from filtered cell complexes. We also give a Gabriel-Popescu theorem for persistence modules. Finally, we examine categories enriched over persistence modules. We show that the graded module point of view produces a closed symmetric monoidal category that is enriched over itself.


title: A New Universal Definition of $\mathbb{F}_q [t]$ in $\mathbb{F}_q (t)$

abstract: This paper gives a universal definition of $\mathbb{F}_q [t]$ in $\mathbb{F}_q (t)$ using 89 quantifiers, more direct than those that exist in the current literature. The language $\mathcal{L}_{\mbox{rings}, t}$ we consider here is the language of rings $\{0, 1, +, -, \cdot\}$ with an additional constant symbol $t$. We then modify this definition marginally to universally define $\mathbb{F}_q [t]$ in $\mathbb{F}_q (t)$ without parameters, using 90 quantifiers. We assume throughout that the characteristic of $\mathbb{F}_q$ is odd.


title: A VLT/FORS2 Narrowband Imaging Search for MgII Emission Around z ~ 0.7 Galaxies

abstract: We perform a Very Large Telescope FOcal Reducer and low dispersion Spectrograph 2 (VLT/FORS2) narrowband imaging search around 5 star-forming galaxies at redshift z=0.67-0.69 in the Great Observatories Origins Deep Survey South (GOODS-S) field to constrain the radial extent of large-scale outflows traced by resonantly scattered MgII emission. The sample galaxies span star formation rates in the range 4 $M_{\odot}/yr$ < SFR < $40\ M_{\odot}/yr$ and have stellar masses $9.9 \lesssim \log M_{*}/M_{\odot} \lesssim 11.0$, and exhibit outflows traced by MgII absorption with velocities ~150-420 km s$^{-1}$ . These observations are uniquely sensitive, reaching surface brightness limits of 5.81 $\times$ $10^{-19}$ ergs sec $^{-1}$ cm$^{-2}$ arcsec$^2$ per 1 arcsec$^2$ aperture (at 5$\sigma$ significance). We do not detect any extended emission around any of the sample galaxies, thus placing 5$\sigma$ upper limits on the brightness of extended MgII emission of $<6.51 \times 10^{-19}$ ergs sec $^{-1}$ cm$^{-2}$ arcsec$^2$ at projected distances $R_{\perp} > 8-21$ kpc. The imaging also resolves the MgII absorption observed toward each galaxy spatially, revealing approximately constant absorption strengths across the galaxy disks. In concert with radiative transfer models predicting the surface brightness of MgII emission for a variety of simple wind morphologies, our detection limits suggest that either (1) the extent of the MgII-emitting material in the outflows from these galaxies is limited to $\lesssim 20$ kpc; or (2) the outflows are anisotropic and/or dusty.


title: Positron driven muon source for a muon collider

abstract: The design of a future multi-TeV muon collider needs new ideas to overcome the technological challenges related to muon production, cooling, accumulation and acceleration. In this paper a layout of a positron driven muon source known as the Low EMittance Muon Accelerator (LEMMA) concept is presented. The positron beam, stored in a ring with high energy acceptance and low emittance, is extracted and driven to a multi-target system, to produce muon pairs at threshold. This solution alleviates the issues related to the power deposited and the integrated Peak Energy Density Deposition (PEDD) on the targets. Muons produced in the multi-target system will then be accumulated before acceleration and injection in the collider. A multi-target line lattice has been designed to cope with the focusing of both the positron and muon beams. Studies on the number, material and thickness of the targets have been carried out. A general layout of the overall scheme and a description is presented, as well as plans for future R&D.


title: A note on left $\phi$-biflat Banach algebras

abstract: In this paper, we study the notion of $\phi$-biflatness for some Banach algebras, where $\phi$ is a non-zero multiplicative linear functional. We show that the Segal algebra $S(G)$ is left $\phi$-biflat if and only if $G$ is amenable. Also, we characterize left $\phi$-biflatness of semigroup algebra $\ell^{1}(S)$ in the term of biflatness, where $S$ is a Clifford semigroup.


title: DeepFlow: History Matching in the Space of Deep Generative Models

abstract: The calibration of a reservoir model with observed transient data of fluid pressures and rates is a key task in obtaining a predictive model of the flow and transport behaviour of the earth's subsurface. The model calibration task, commonly referred to as "history matching", can be formalised as an ill-posed inverse problem where we aim to find the underlying spatial distribution of petrophysical properties that explain the observed dynamic data. We use a generative adversarial network pretrained on geostatistical object-based models to represent the distribution of rock properties for a synthetic model of a hydrocarbon reservoir. The dynamic behaviour of the reservoir fluids is modelled using a transient two-phase incompressible Darcy formulation. We invert for the underlying reservoir properties by first modeling property distributions using the pre-trained generative model then using the adjoint equations of the forward problem to perform gradient descent on the latent variables that control the output of the generative model. In addition to the dynamic observation data, we include well rock-type constraints by introducing an additional objective function. Our contribution shows that for a synthetic test case, we are able to obtain solutions to the inverse problem by optimising in the latent variable space of a deep generative model, given a set of transient observations of a non-linear forward problem.

categories: cs.LG cs.CV physics.comp-ph physics.geo-ph stat.ML


title: Dashboard Mechanisms for Online Marketplaces

abstract: This paper gives a theoretical model for design and analysis of mechanisms for online marketplaces where a bidding dashboard enables the bid-optimization of long-lived agents. We assume that a good allocation algorithm exists when given the true values of the agents and we develop online winner-pays-bid and all-pay mechanisms that implement the same outcome of the algorithm with the aid of a bidding dashboard. The bidding dashboards that we develop work in conjunction with the mechanism to guarantee that bidding according to the dashboard is strategically equivalent (with vanishing utility difference) to bidding truthfully in the sequential truthful implementation of the allocation algorithm. Our dashboard mechanism makes only a single call to the allocation algorithm in each stage.


title: Tangible reduction in learning sample complexity with large classical samples and small quantum system

abstract: Quantum computation requires large classical datasets to be embedded into quantum states in order to exploit quantum parallelism. However, this embedding requires considerable resources. It would therefore be desirable to avoid it, if possible, for noisy intermediate-scale quantum (NISQ) implementation. Accordingly, we consider a classical-quantum hybrid architecture, which allows large classical input data, with a relatively small-scale quantum system. This hybrid architecture is used to implement an oracle. It is shown that in the presence of noise in the hybrid oracle, the effects of internal noise can cancel each other out and thereby improve the query success rate. It is also shown that such an immunity of the hybrid oracle to noise directly and tangibly reduces the sample complexity in the probably-approximately-correct learning framework. This NISQ-compatible learning advantage is attributed to the oracle's ability to handle large input features.


title: From massive spirals to dwarf irregulars: a new set of tight scaling relations for cold gas and stars driven by disc gravitational instability

abstract: We present a new set of galaxy scaling relations for the relative mass content of atomic gas, molecular gas and stars. Such relations are driven by disc gravitational instability, and originate from the low galaxy-to-galaxy variance of Toomre's $Q$ stability parameter. We test such relations using more than 100 galaxies, from massive spirals to dwarf irregulars, thus spanning several orders of magnitude in stellar mass ($M_{\star}\approx10^{6\mbox{-}11}\,\mbox{M}_{\odot}$) and atomic gas mass ($M_{\mathrm{HI}}\approx10^{7\mbox{-}10.5}\,\mbox{M}_{\odot}$). Such tests demonstrate (i) that our scaling relations are physically motivated and tightly constrained, (ii) that the mass-averaged gravitational instability properties of galaxy discs are remarkably uniform across the sequence Sa-dIrr, and (iii) that specific angular momentum plays an important role in such a scenario. Besides providing new insights into a very important topic in galaxy evolution, this work provides a simple formula (Eq. 5) that one can use for generating other galaxy relations driven by disc instability. We explain how to do that, mention a few possible applications, and stress the importance of testing our approach further.


title: Sliding Motions on SO(3), Sliding Subgroups

abstract: We propose a sliding surface for systems on the Lie group $SO(3)\times \mathbb{R}^3$ . The sliding surface is shown to be a Lie subgroup. The reduced-order dynamics along the sliding subgroup have an almost globally asymptotically stable equilibrium. The sliding surface is used to design a sliding-mode controller for the attitude control of rigid bodies. The closed-loop system is robust against matched disturbances and does not exhibit the undesired unwinding phenomenon.


title: Learnable Triangulation of Human Pose

abstract: We present two novel solutions for multi-view 3D human pose estimation based on new learnable triangulation methods that combine 3D information from multiple 2D views. The first (baseline) solution is a basic differentiable algebraic triangulation with an addition of confidence weights estimated from the input images. The second solution is based on a novel method of volumetric aggregation from intermediate 2D backbone feature maps. The aggregated volume is then refined via 3D convolutions that produce final 3D joint heatmaps and allow modelling a human pose prior. Crucially, both approaches are end-to-end differentiable, which allows us to directly optimize the target metric. We demonstrate transferability of the solutions across datasets and considerably improve the multi-view state of the art on the Human3.6M dataset. Video demonstration, annotations and additional materials will be posted on our project page (https://saic-violet.github.io/learnable-triangulation).


title: Wajsberg algebras of order n, n<=9

abstract: In this paper, we describe all finite Wajsberg algebras of order n<=9.


title: Effect of incoherent pump on two-mode entanglement in optical parametric generation

abstract: Pumping a nonlinear crystal by an intense radiation results in the optical parametric generation of photons in two modes (the signal and the idler). The quantized electromagnetic field in these modes is described by a continuous-variable quantum state, which is entangled if the pump is a coherent state produced by a laser. The signal and the idler modes remain populated by photons even if the pump becomes incoherent (dephased by a medium, superposed with a thermal state, or produced by an alternative source such as the superluminescent diode). However, the incoherent pump does effect the entanglement and purity of the signal and the idler modes, which is of vital importance for quantum information applications and interferometry. Here we develop an approach to infer the signal-idler entanglement and purity for a general quantum incoherent pump with the given Glauber-Sudarshan function. We show that the signal-idler entanglement is extremely sensitive to the phase distribution of the pump and illustrate our findings by physically relevant examples of the incoherent pump: the noisy coherent state, slightly dephased and phase-averaged coherent states, the thermal state, and states modulated by the Kerr medium. The effect of an incoherent pump on the combined quadratures is discussed as well.


title: Homogenisation of one-dimensional discrete optimal transport

abstract: This paper deals with dynamical optimal transport metrics defined by spatial discretisation of the Benamou--Benamou formula for the Kantorovich metric $W_2$. Such metrics appear naturally in discretisations of $W_2$-gradient flow formulations for dissipative PDE. However, it has recently been shown that these metrics do not in general converge to $W_2$, unless strong geometric constraints are imposed on the discrete mesh. In this paper we prove that, in a $1$-dimensional periodic setting, discrete transport metrics converge to a limiting transport metric with a non-trivial effective mobility. This mobility depends sensitively on the geometry of the mesh and on the non-local mobility at the discrete level. Our result quantifies to what extent discrete transport can make use of microstructure in the mesh to reduce the cost of transport.


title: Vibrational Stark Spectroscopy on Fluorobenzene with Quantum Cascade Laser Dual Frequency Combs

abstract: We demonstrate the performance of a dual frequency comb QCL spectrometer for the application of vibrational Stark spectroscopy. Measurements performed on fluorobenzene with the dual-comb spectrometer (DCS) were compared to results obtained using a conventional Fourier transform infrared (FTIR) instrument in terms of spectral response, parameter estimation, and signal-to-noise ratio. The dual-comb spectrometer provided similar qualitative and quantitative data as the FTIR setup in 250 times shorter acquisition time. For fluorobenzene, the DCS measurement resulted in a more precise estimation of the fluorobenzene Stark tuning rate ((0.81 +/- 0.09) cm-1/(MV/cm)) than with the FTIR system ((0.89 +/- 0.15) cm-1/(MV/cm)). Both values are in accordance with the previously reported value of 0.84 cm-1/(MV/cm). We also point to an improvement of signal to noise ratio (SNR) in the DCS configuration. Additional characteristics of the dual-comb spectrometer applicable to vibrational Stark spectroscopy and their scaling properties for future applications are discussed.


title: Solar flare forecasting using morphological properties of sunspot groups

abstract: We describe a new tool developed for solar flare forecasting on the base of some sunspot group properties. Assuming that the flare frequency follows the Poisson statistics, this tool uses a database containing the morphological characteristics of the suspot groups daily observed by the Equatorial Spar of INAF $-$ Catania Astrophysical Observatory since January 2002 up today. By means of a linear combination of the flare rates computed on the base of some properties of the sunspot groups, like area, number of pores and sunspots, Zurich class, relative importance between leading spot and density of the sunspot population, and type of penumbra of the main sunspot, we determine the probability percentages that a flare of a particular energy range may occur. Comparing our forecasts with the flares registered by GOES satellites in the 1$-$8 \AA{} X$-$ray band during the subsequent 24 hrs we measured the performance of our method. We found that this method, which combines some morphological parameters and a statistical technique, has the best performances for the strongest events, which are more interesting for their implications in the Earth environment.


title: Shifting attention to old age: Detecting mortality deceleration using focused model selection

abstract: The decrease in the increase in death rates at old ages is a phenomenon that has repeatedly been discussed in demographic research. While mortality deceleration can be explained in the gamma-Gompertz model as an effect of selection in heterogeneous populations, this phenomenon can be difficult to assess statistically because it relates to the tail of the distribution of the ages at death. By using a focused information criterion (FIC) for model selection, we can directly target model performance at those advanced ages. The gamma-Gompertz model is reduced to the competing Gompertz model without mortality deceleration if the variance parameter lies on the boundary of the parameter space. We develop a new version of the FIC that is adapted to this non-standard condition. In a simulation study, the new FIC is shown to outperform other methods in detecting mortality deceleration. The application of the FIC to extinct French-Canadian birth cohorts demonstrates that focused model selection can be used to rebut previous assertions about mortality deceleration.


title: Online Anomaly Detection with Sparse Gaussian Processes

abstract: Online anomaly detection of time-series data is an important and challenging task in machine learning. Gaussian processes (GPs) are powerful and flexible models for modeling time-series data. However, the high time complexity of GPs limits their applications in online anomaly detection. Attributed to some internal or external changes, concept drift usually occurs in time-series data, where the characteristics of data and meanings of abnormal behaviors alter over time. Online anomaly detection methods should have the ability to adapt to concept drift. Motivated by the above facts, this paper proposes the method of sparse Gaussian processes with Q-function (SGP-Q). The SGP-Q employs sparse Gaussian processes (SGPs) whose time complexity is lower than that of GPs, thus significantly speeding up online anomaly detection. By using Q-function properly, the SGP-Q can adapt to concept drift well. Moreover, the SGP-Q makes use of few abnormal data in the training data by its strategy of updating training data, resulting in more accurate sparse Gaussian process regression models and better anomaly detection results. We evaluate the SGP-Q on various artificial and real-world datasets. Experimental results validate the effectiveness of the SGP-Q.


title: Covariant Quantum-Mechanical Scattering via Stueckelberg-Horwitz-Piron Theory

abstract: Based on the Stueckelberg-Horwitz-Piron theory of covariant quantum mechanics on curved spacetime, we solved wave equation for a charged covariant harmonic oscillator in the background of charged static spherically symmetric black hole. Using Greens functions , we found asymptotic form for the wave function in the lowest mode (s-mode) and in higher moments. It has been proven that for s-wave, in a definite range of solid angles, the differential cross section depends effectively to the magnetic and electric charges of the black hole.


title: Double Magma associated with Ward and double Ward quasigroups

abstract: We describe types of double magma associated with Ward quasigroups, double Ward quasigroups, their duals and the groups they generate. Ward quasigroup double magma and unipotent, right modular, left unital double magma are proved to be improper. Necessary and sufficient conditions are found on a pair of right modular, left unital magma (and right-left unital magma) for them to form a double magma. We give further insight into the intimate connection between mediality and the interchange law by proving that a quasigroup is medial if and only if any pair of its parastrophic binary operations satisfy the interchange law.


title: An Inflationary Probe of Cosmic Higgs Switching

abstract: A scalar Higgs field can be repeatedly switched on and off when it couples to a classically oscillating scalar modulus field. The modulus flips the Higgs mass term between stable and tachyonic values. We study a cosmological scenario in which such repeated phase transitions occur during inflation. An irrelevant operator coupling the Higgs field to the inflaton can then imprint the pattern of phase transitions in the correlation functions of the inflaton. Using both numerical and analytic studies, we show that the inflaton 2-point function carries characteristic imprints of the modulus oscillation and its effect on the Higgs boson. We briefly remark on the potential observability of such patterns and how they might be distinguished from other dynamics in the early universe.


title: Quantum Complexity of Time Evolution with Chaotic Hamiltonians

abstract: We study the quantum complexity of time evolution in large-$N$ chaotic systems, with the SYK model as our main example. This complexity is expected to increase linearly for exponential time prior to saturating at its maximum value, and is related to the length of minimal geodesics on the manifold of unitary operators that act on Hilbert space. Using the Euler-Arnold formalism, we demonstrate that there is always a geodesic between the identity and the time evolution operator $e^{-iHt}$ whose length grows linearly with time. This geodesic is minimal until there is an obstruction to its minimality, after which it can fail to be a minimum either locally or globally. We identify a criterion - the Eigenstate Complexity Hypothesis (ECH) - which bounds the overlap between off-diagonal energy eigenstate projectors and the $k$-local operators of the theory, and use it to show that the linear geodesic will at least be a local minimum for exponential time. We show numerically that the large-$N$ SYK model (which is chaotic) satisfies ECH and thus has no local obstructions to linear growth of complexity for exponential time, as expected from holographic duality. In contrast, we also study the case with $N=2$ fermions (which is integrable) and find short-time linear complexity growth followed by oscillations. Our analysis relates complexity to familiar properties of physical theories like their spectra and the structure of energy eigenstates and has implications for the hypothesized computational complexity class separations PSPACE $\nsubseteq$ BQP/poly and PSPACE $\nsubseteq$ BQSUBEXP/subexp, and the "fast-forwarding" of quantum Hamiltonians.


title: Predicting the density profiles of the first halos

abstract: The first dark matter halos form by direct collapse from peaks in the matter density field, and evidence from numerical simulations and other analyses suggests that the dense inner regions of these objects largely persist today. These halos would be the densest dark matter structures in the Universe, and their abundance can probe processes that leave imprints on the primordial density field, such as inflation or an early matter-dominated era. They can also probe dark matter through its free-streaming scale. The first halos are qualitatively different from halos that form by hierarchical clustering, as evidenced by their $\rho\propto r^{-3/2}$ inner density profiles. In this work, we present and tune models that predict the density profiles of these halos from properties of the density peaks from which they collapsed. These models predict the coefficient $A$ of the $\rho=Ar^{-3/2}$ small-radius asymptote of the density profile along with the maximum circular velocity $v_\mathrm{max}$ and associated radius $r_\mathrm{max}$. These models are universal; they can be applied to any cosmology, and we confirm this by validating them using six $N$-body simulations carried out in wildly disparate cosmological scenarios. We find that these models can even predict the full population of halos with reasonable accuracy in scenarios with narrowly supported power spectra, although for broader power spectra, an understanding of the impact of halo mergers is needed. With their connection to the primordial density field established, the first dark matter halos will serve as probes of the early Universe and the nature of dark matter.


title: Deep Neural Network Classifier for Variable Stars with Novelty Detection Capability

abstract: Common variable star classifiers are built only with the goal of producing the correct class labels, leaving much of the multi-task capability of deep neural networks unexplored. We present a periodic light curve classifier that combines a recurrent neural network autoencoder for unsupervised feature extraction and a dual-purpose estimation network for supervised classification and novelty detection. The estimation network optimizes a Gaussian mixture model in the reduced-dimension feature space, where each Gaussian component corresponds to a variable class. An estimation network with a basic structure of a single hidden layer attains a cross-validation classification accuracy of ~99%, on par with the conventional workhorses, random forest classifiers. With the addition of photometric features, the network is capable of detecting previously unseen types of variability with precision 0.90, recall 0.96, and an F1 score of 0.93. The simultaneous training of the autoencoder and estimation network is found to be mutually beneficial, resulting in faster autoencoder convergence, and superior classification and novelty detection performance. The estimation network also delivers adequate results even when optimized with pre-trained autoencoder features, suggesting that it can readily extend existing classifiers to provide added novelty detection capabilities.


title: The entanglement spectrum of chiral fermions on the torus

abstract: We determine the reduced density matrix of chiral fermions on the torus, for an arbitrary set of disjoint intervals and generic torus modulus. We find the resolvent, which yields the modular Hamiltonian in each spin sector. Together with a local term, it involves an infinite series of bi-local couplings, even for a single interval. These accumulate near the endpoints, where they become increasingly redshifted. Remarkably, in the presence of a zero mode, this set of points 'condenses' within the interval at low temperatures, yielding continuous non-locality.


title: The Photon Spectrum of Asymmetric Dark Stars

abstract: Asymmetric Dark Stars, i.e., compact objects formed from the collapse of asymmetric dark matter could potentially produce a detectable photon flux if dark matter particles self-interact via dark photons that kinetically mix with ordinary photons. The morphology of the emitted spectrum is significantly different and therefore distinguishable from a typical black-body one. Given the above and the fact that asymmetric dark stars can have masses outside the range of neutron stars, the detection of such a spectrum can be considered as a smoking gun signature for the existence of these exotic stars.


title: Reheating constraints to WIMPflation

abstract: Analyses of inflation models are usually conducted assuming a specific range---e.g., $N_k \simeq 50-60$--of the number $N_k$ of $e$-folds of inflation. However, the analysis can also be performed by taking into account constraints imposed by the physics of reheating. In this paper, we apply this analysis to a class of "WIMPflation" models in which the inflaton also plays the role of dark matter. Our analysis also updates prior WIMPflation work with more recent Planck 2018 data. With this new analysis, inflaton potentials $V(\phi)=\lambda\phi^4$ and $\lambda \phi_0^4[1-\cos(\phi/\phi_0)]^2$ are ruled out, while $V(\phi)=\lambda \phi_0^4\{1-\exp[-(\phi/\phi_0)^2]\}^2$ is slightly disfavored, and $V(\phi)=\lambda\phi_0^4\tanh^4(\phi/\phi_0)$ is only viable for certain reheating conditions. In addition, we also discuss for the first time the effect of post-reheating entropy production (from, e.g., cosmological phase transitions) in this reheating-physics analysis. When accounted for, it decreases the number of $e$-folds through $\Delta N_k=-(1/3)\ln(1+\gamma)$, where $\gamma\equiv\delta s/s$ is the fractional increase in entropy. We discuss briefly the possible impact of entropy production to inflation-model constraints in earlier work.


title: Gauging fractons: immobile non-Abelian quasiparticles, fractals, and position-dependent degeneracies

abstract: The study of gapped quantum many-body systems in three spatial dimensions has uncovered the existence of quantum states hosting quasiparticles that are confined, not by energetics but by the structure of local operators, to move along lower dimensional submanifolds. These so-called "fracton" phases are beyond the usual topological quantum field theory description, and thus require new theoretical frameworks to describe them. Here we consider coupling fracton models to topological quantum field theories in (3+1) dimensions by starting with two copies of a known fracton model and gauging the $\mathbb{Z}_2$ symmetry that exchanges the two copies. This yields a class of exactly solvable lattice models that we study in detail for the case of the X-cube model and Haah's cubic code. The resulting phases host finite-energy non-Abelian immobile quasiparticles with robust degeneracies that depend on their relative positions. The phases also host non-Abelian string excitations with robust degeneracies that depend on the string geometry. Applying the construction to Haah's cubic code in particular provides an exactly solvable model with finite energy yet immobile non-Abelian quasiparticles that can only be created at the corners of operators with fractal support.


title: Detecting 21 cm EoR Signal using Drift Scans: Correlation of Time-ordered Visibilities

abstract: We present a formalism to extract the EoR HI power spectrum for drift scans using radio interferometers. Our main aim is to determine the coherence time scale of time-ordered visibilities. We compute the two-point correlation function of the HI visibilities measured at different times to address this question. We determine, for a given baseline, the decorrelation of the amplitude and the phase of this complex function. Our analysis uses primary beams of four ongoing and future interferometers---PAPER, MWA, HERA, and SKA1-Low. We identify physical processes responsible for the decorrelation of the HI signal and isolate their impact by making suitable analytic approximations. The decorrelation time scale of the amplitude of the correlation function lies in the range of 2--20~minutes for baselines of interest for the extraction of the HI signal. The phase of the correlation function can be made small after scaling out an appropriate term, which also causes the coherence time scale of the phase to be longer than the amplitude of the correlation function. We find that our results are insensitive to the input HI power spectrum and therefore they are directly applicable to the analysis of the drift scan data. We also apply our formalism to a set of point sources and statistically homogeneous diffuse correlated foregrounds. We find that point sources decorrelate on a time scale much shorter than the HI signal. This provides a novel mechanism to partially mitigate the foregrounds in a drift scan.


title: Peculiar outbursts of an ultra luminous source likely signs of an aperiodic disc-wind

abstract: The metal rich globular cluster RZ 2109 in the massive Virgo elliptical galaxy NGC 4472 (M49) harbours the ultra luminous X-ray source XMMU 122939.7+075333. Previous studies showed that this source varies between bright and faint phases on timescales of just a few hours. Here, we report the discovery of two peculiar X-ray bursting events that last for about 8 and 3.5 hours separated by about 3 days. Such a recurring X-ray burst-like behaviour has never been observed before. We argue that type-I X-ray bursts or super bursts as well as outburst scenarios requiring a young stellar object are highly unlikely explanations for the observed light curve, leaving an aperiodic disc wind scenario driven by hyper-Eddington accretion as a viable explanation for this new type of X-ray flaring activities.


title: Improving Model Training by Periodic Sampling over Weight Distributions

abstract: In this paper, we explore techniques centered around periodic sampling of model weights that provide convergence improvements on gradient update methods (vanilla \acs{SGD}, Momentum, Adam) for a variety of vision problems (classification, detection, segmentation). Importantly, our algorithms provide better, faster and more robust convergence and training performance with only a slight increase in computation time. Our techniques are independent of the neural network model, gradient optimization methods or existing optimal training policies and converge in a less volatile fashion with performance improvements that are approximately monotonic. We conduct a variety of experiments to quantify these improvements and identify scenarios where these techniques could be more useful.


title: Benchmarking quantum processors with a single qubit

abstract: The first generation of small noisy quantum processors have recently become available to non-specialists who are not required to understand specifics of the physical platforms and, in particular, the types and sources of noise. As such, it is useful to benchmark the performance of such computers against specific tasks that may be of interest to users, ideally keeping both the circuit depth and width as free parameters. Here we benchmark the IBM Quantum Experience using the Deterministic Quantum Computing with 1 qubit (DQC1) algorithm originally proposed by Knill and Laflamme in the context of liquid state NMR. In the first set of experiments we use DQC1 as a trace estimation algorithm to produce visibility plots. In the second set we use this trace estimation algorithm to distinguish between knots, a classically difficult task which is known to be complete for DQC1. Our results indicate that the main limiting factor is the length of the circuit, and that both random and systematic errors become an issue when the gate count increases. Surprisingly, we find that at the same gate count wider circuits perform better, probably due to randomization of coherent errors.


title: Light Dark Matter from Inelastic Cosmic Ray Collisions

abstract: Direct detection experiments relying on nuclear recoil signatures lose sensitivity to sub-GeV dark matter for typical galactic velocities. This sensitivity is recovered if there exists another source of flux with higher momenta. Such an energetic flux of light dark matter could originate from the decay of mesons produced in inelastic cosmic ray collisions. We compute this novel production mechanism---a cosmic beam dump experiment---and estimate the resulting limits from XENON1T and LZ. We find that the dark matter flux from inelastic cosmic rays colliding with atmospheric nuclei can dominate over the flux from elastic collisions with relic dark matter. The limits that we obtain for hadrophilic scalar mediator models are competitive with those from MiniBoone for light MeV-scale mediator masses.


title: A Measurement of the Cosmic Microwave Background Lensing Potential and Power Spectrum from 500 deg$^2$ of SPTpol Temperature and Polarization Data

abstract: We present a measurement of the cosmic microwave background (CMB) lensing potential using 500 deg$^2$ of 150 GHz data from the SPTpol receiver on the South Pole Telescope. The lensing potential is reconstructed with signal-to-noise per mode greater than unity at lensing multipoles $L \lesssim 250$, using a quadratic estimator on a combination of CMB temperature and polarization maps. We report measurements of the lensing potential power spectrum in the multipole range of $100< L < 2000$ from sets of temperature-only, polarization-only, and minimum-variance estimators. We measure the lensing amplitude by taking the ratio of the measured spectrum to the expected spectrum from the best-fit $\Lambda$CDM model to the $\textit{Planck}$ 2015 TT+lowP+lensing dataset. For the minimum-variance estimator, we find $A_{\rm{MV}} = 0.944 \pm 0.058{\rm (Stat.)}\pm0.025{\rm (Sys.)}$; restricting to only polarization data, we find $A_{\rm{POL}} = 0.906 \pm 0.090 {\rm (Stat.)} \pm 0.040 {\rm (Sys.)}$. Considering statistical uncertainties alone, this is the most precise polarization-only lensing amplitude constraint to date (10.1 $\sigma$), and is more precise than our temperature-only constraint. We perform null tests and consistency checks and find no evidence for significant contamination.


title: Misleading Failures of Partial-input Baselines

abstract: Recent work establishes dataset difficulty and removes annotation artifacts via partial-input baselines (e.g., hypothesis-only models for SNLI or question-only models for VQA). When a partial-input baseline gets high accuracy, a dataset is cheatable. However, the converse is not necessarily true: the failure of a partial-input baseline does not mean a dataset is free of artifacts. To illustrate this, we first design artificial datasets which contain trivial patterns in the full input that are undetectable by any partial-input model. Next, we identify such artifacts in the SNLI dataset - a hypothesis-only model augmented with trivial patterns in the premise can solve 15% of the examples that are previously considered "hard". Our work provides a caveat for the use of partial-input baselines for dataset verification and creation.


title: Opacity and Effective Field Theory in Anti-de Sitter Backgrounds

abstract: We consider quantum field theory in a five-dimensional anti-de Sitter background, possibly truncated by 4d branes. In the Euclidian version of this space, it is known that propagators exponentially decay when they go far enough towards the Poincar\'e horizon, i.e. deep enough into the IR region of the AdS bulk. In this note we show that an analogous property exists in Lorentzian AdS. The exponential suppression is found to occur in the presence of bulk interactions dressing the AdS propagators. We calculate one-loop gravitational dressing and find that the suppression effect comes from the scalar component of the 5d graviton. We then argue that, at least at strong coupling, this exponential decay censors the region of spacetime where the 5d effective field theory would become invalid. As an application we estimate the rate for the cascade decay of bulk fields---which are known to produce soft spherical events with high multiplicity---and find this rate to be exponentially suppressed.


title: Stronger Constraints on the Evolution of the $M_{\rm{BH}}-\sigma_*$ Relation up to $z\sim0.6$

abstract: We revisit the possibility of redshift evolution in the $M_{\rm{BH}}-\sigma_*$ relation with a sample of 22 Seyfert 1 galaxies with black holes (BHs) in the mass range $10^{6.3}-10^{8.3}~M_\odot$ and redshift range $0.03<z<0.57$ with spectra obtained from spatially resolved Keck/Low-Resolution Imaging Spectrometer observations. Stellar velocity dispersions were measured directly from the Mg Ib region, taking into consideration the effect of Fe II contamination, active galactic nucleus (AGN) dilution, and host-galaxy morphology on our measurements. BH masses are estimated using the H$\beta$ line width, and the luminosity at 5100 $\overset{\lower.5em\circ}{\mathrm{A}}$ is estimated from surface brightness decomposition of the AGN from the host galaxy using high-resolution imaging from the Hubble Space Telescope. Additionally, we investigate the use of the [O III]$\lambda5007$ emission line width as a surrogate for stellar velocity dispersion, finding better correlation once corrected for Fe II contamination and any possible blueshifted wing components. Our selection criteria allowed us to probe lower-luminosity AGNs and lower-mass BHs in the non-local universe than those measured in previous single-epoch studies. We find that any offset in the $M_{\rm{BH}}-\sigma_*$ relation up to $z\sim0.6$ is consistent with the scatter of local BH masses, and address the sources of biases and uncertainties that contribute to this scatter.


title: Fractional $\theta$ angle, 't Hooft anomaly, and quantum instantons in charge-$q$ multi-flavor Schwinger model

abstract: This work examines non-perturbative dynamics of a $2$-dimensional QFT by using discrete 't Hooft anomaly, semi-classics with circle compactification and bosonization. We focus on charge-$q$ $N$-flavor Schwinger model, and also Wess-Zumino-Witten model. We first apply the recent developments of discrete 't Hooft anomaly matching to theories on $\mathbb{R}^2$ and its compactification to $\mathbb{R} \times S^1_L$. We then compare the 't Hooft anomaly with dynamics of the models by explicitly constructing eigenstates and calculating physical quantities on the cylinder spacetime with periodic and flavor-twisted boundary conditions. We find different boundary conditions realize different anomalies. Especially under the twisted boundary conditions, there are $Nq$ vacua associated with discrete chiral symmetry breaking. Chiral condensates for this case have fractional $\theta$ dependence $\mathrm{e}^{\mathrm{i} \theta/Nq}$, which provides the $Nq$-branch structure with soft fermion mass. We show that these behaviors at a small circumference cannot be explained by usual instantons but should be understood by "quantum" instantons, which saturate the BPS bound between classical action and quantum-induced effective potential. The effects of the quantum-instantons match the exact results obtained via bosonization within the region of applicability of semi-classics. We also argue that large-$N$ limit of the Schwinger model with twisted boundary conditions satisfy volume independence.


title: Disentangling Sources of Quantum Entanglement in Quench Dynamics

abstract: Quantum entanglement may have various origins ranging from solely interaction-driven quantum correlations to single-particle effects. Here, we explore the dependence of entanglement on time-dependent single-particle basis transformations in fermionic quantum many-body systems, thus aiming at isolating single-particle sources of entanglement growth in quench dynamics. Using exact diagonalization methods, for paradigmatic non-integrable models we compare to the standard real space cut various physically motivated bipartitions. Moreover, we search for a minimal entanglement basis using local optimization algorithms, which at short to intermediate post-quench times yields a significant reduction of entanglement beyond a dynamical Hartree-Fock solution. In the long-time limit, we identify an asymptotic universality of entanglement for weakly interacting systems, as well as a cross-over from dominant real-space to momentum-space entanglement in Hubbard-models undergoing an interaction quench. Finally, we discuss the relevance of our findings for the development of tensor network based algorithms for quantum dynamics.


title: Symmetry breaking bias and the dynamics of a quantum phase transition

abstract: The Kibble-Zurek mechanism predicts the formation of topological defects and other excitations that quantify how much a quantum system driven across a quantum critical point fails to be adiabatic. We point out that, thanks to the divergent linear susceptibility at the critical point, even a tiny symmetry breaking bias can restore the adiabaticity. The minimal required bias scales like $\tau_Q^{-\beta\delta/(1+z\nu)}$, where $\beta,\delta,z,\nu$ are the critical exponents and $\tau_Q$ is a quench time. We test this prediction by DMRG simulations of the quantum Ising chain. It is directly applicable to the recent emulation of quantum phase transition dynamics in the Ising chain with ultracold Rydberg atoms.


title: Enhancing quantum transport efficiency by tuning non-Markovian dephasing

abstract: We consider the problem of energy transport in a chain of coupled dissipative quantum systems in the presence of non-Markovian dephasing. We use a model of non-Markovianity which is experimentally realizable in the context of controlled quantum systems. We show that non-Markovian dephasing can significantly enhance quantum transport, and we characterize this phenomenon in terms of internal coupling strengths of the chain for some chain lengths. Finally, we show that the phenomenon of dephasing-assisted quantum transport is also enhanced in the non-Markovian scenario when compared to the Markovian case. Our work brings together engineered environments, which are a reality in quantum technologies, and energy transport, which is typically discussed in terms of complex molecular systems. We then expect that it may motivate experimental work and further theoretical investigations on resources which can enhance transport efficiency in a controllable way. This can help in the design of quantum devices with lower dissipation rates, an important concern in any practical application.


title: Multi-reference quantum chemistry protocol for simulating autoionization spectra: Test of ionization continuum models for the neon atom

abstract: In this contribution we present a protocol to evaluate partial and total Auger decay rates combining the restricted active space self-consistent field electronic structure method for the bound part of the spectrum and numerically obtained continuum orbitals in the single-channel scattering theory framework. On top of that, the two-step picture is employed to evaluate the partial rates. The performance of the method is exemplified for the prototypical Auger decay of the neon $1s^{-1}3p$ resonance. Different approximations to obtain the continuum orbitals, the partial rate matrix elements, and the electronic structure of the bound part are tested against theoretical and experimental reference data. It is demonstrated that the partial and total rates are most sensitive to the accuracy of the continuum orbitals. For instance, it is necessary to account for the direct Coulomb potential of the ion for the determination of the continuum wave functions. The Auger energies can be reproduced quite well already with a rather small active space. Finally, perspectives of the application of the proposed protocol to molecular systems are discussed.