Showing 1–46 of 46 results for author: Schindler, T

Floquet engineering with spatially non-uniform driving fields

Authors: Stella Tallula Schindler, Hanan Herzig Sheinfux

Abstract: We generalize the scope of Floquet engineering to include spatially-dependent modulations of an optical system. As an application, we show that we can transform large classes of Hamiltonians into one another by driving them in a time-periodic but spatially non-uniform manner. We propose several experimental realizations in 1D optical lattices, including freeing disordered lattices from Anderson lo… ▽ More We generalize the scope of Floquet engineering to include spatially-dependent modulations of an optical system. As an application, we show that we can transform large classes of Hamiltonians into one another by driving them in a time-periodic but spatially non-uniform manner. We propose several experimental realizations in 1D optical lattices, including freeing disordered lattices from Anderson localization, as well as effectively disconnecting all their sites. These techniques straightforwardly extend to more complex classes of systems. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Report number: MIT-CTP 5593

Drug Discovery under Covariate Shift with Domain-Informed Prior Distributions over Functions

Authors: Leo Klarner, Tim G. J. Rudner, Michael Reutlinger, Torsten Schindler, Garrett M. Morris, Charlotte Deane, Yee Whye Teh

Abstract: Accelerating the discovery of novel and more effective therapeutics is an important pharmaceutical problem in which deep learning is playing an increasingly significant role. However, real-world drug discovery tasks are often characterized by a scarcity of labeled data and significant covariate shift$\unicode{x2013}\unicode{x2013}$a setting that poses a challenge to standard deep learning methods.… ▽ More Accelerating the discovery of novel and more effective therapeutics is an important pharmaceutical problem in which deep learning is playing an increasingly significant role. However, real-world drug discovery tasks are often characterized by a scarcity of labeled data and significant covariate shift$\unicode{x2013}\unicode{x2013}$a setting that poses a challenge to standard deep learning methods. In this paper, we present Q-SAVI, a probabilistic model able to address these challenges by encoding explicit prior knowledge of the data-generating process into a prior distribution over functions, presenting researchers with a transparent and probabilistically principled way to encode data-driven modeling preferences. Building on a novel, gold-standard bioactivity dataset that facilitates a meaningful comparison of models in an extrapolative regime, we explore different approaches to induce data shift and construct a challenging evaluation setup. We then demonstrate that using Q-SAVI to integrate contextualized prior knowledge of drug-like chemical space into the modeling process affords substantial gains in predictive accuracy and calibration, outperforming a broad range of state-of-the-art self-supervised pre-training and domain adaptation techniques. △ Less

Submitted 14 July, 2023; originally announced July 2023.

Comments: Published in the Proceedings of the 40th International Conference on Machine Learning (ICML 2023)

Renormalons in the energy-energy correlator

Authors: Stella T. Schindler, Iain W. Stewart, Zhiquan Sun

Abstract: The energy-energy correlator (EEC) is an observable of wide interest for collider physics and Standard Model measurements, due to both its simple theoretical description in terms of the energy-momentum tensor and its novel features for experimental studies. Significant progress has been made in both applications and higher-order perturbative predictions for the EEC. Here, we analyze the nature of… ▽ More The energy-energy correlator (EEC) is an observable of wide interest for collider physics and Standard Model measurements, due to both its simple theoretical description in terms of the energy-momentum tensor and its novel features for experimental studies. Significant progress has been made in both applications and higher-order perturbative predictions for the EEC. Here, we analyze the nature of the asymptotic perturbative series for the EEC by determining its analytic form in Borel space under the bubble-sum approximation. This result provides information on the leading and subleading nonperturbative power corrections through renormalon poles. We improve the perturbative convergence of the $\overline{\mathrm{MS}}$ series for the EEC by removing its leading renormalon using an R scheme, which is independent of the bubble-sum approximation. Using the leading R-scheme power correction determined by fits to thrust, we find good agreement with EEC OPAL data already at ${\mathcal O}(α_s^2)$. △ Less

Submitted 22 April, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: 19 pages + references, 6 figures; v2: update to fix a typo in the plotting routine for Figure 6

Report number: MIT-CTP 5499

Choose your Colour: Tree Interpolation for Quantified Formulas in SMT

Authors: Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler

Abstract: We present a generic tree-interpolation algorithm in the SMT context with quantifiers. The algorithm takes a proof of unsatisfiability using resolution and quantifier instantiation and computes interpolants (which may contain quantifiers). Arbitrary SMT theories are supported, as long as each theory itself supports tree interpolation for its lemmas. In particular, we show this for the theory combi… ▽ More We present a generic tree-interpolation algorithm in the SMT context with quantifiers. The algorithm takes a proof of unsatisfiability using resolution and quantifier instantiation and computes interpolants (which may contain quantifiers). Arbitrary SMT theories are supported, as long as each theory itself supports tree interpolation for its lemmas. In particular, we show this for the theory combination of equality with uninterpreted functions and linear arithmetic. The interpolants can be tweaked by virtually assigning each literal in the proof to interpolation partitions (colouring the literals) in arbitrary ways. The algorithm is implemented in SMTInterpol. △ Less

Submitted 19 May, 2023; originally announced May 2023.

Comments: This is the preprint for the submission published in CADE-29 and also includes the proofs in the appendix. It has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this contribution will be published in CADE-29

Almost sure limit theorems with applications to non-regular continued fraction algorithms

Authors: Claudio Bonanno, Tanja I. Schindler

Abstract: We consider a conservative ergodic measure-preserving transformation $T$ of the measure space $(X,\mathcal{B},μ)$ with $μ$ a $σ$-finite measure and $μ(X)=\infty$. Given an observable $g:X\to \mathbb{R}$, it is well known from results by Aaronson that in general the asymptotic behaviour of the Birkhoff sums $S_Ng(x):= \sum_{j=1}^N\, (g\circ T^{j-1})(x)$ strongly depends on the point $x\in X$, and t… ▽ More We consider a conservative ergodic measure-preserving transformation $T$ of the measure space $(X,\mathcal{B},μ)$ with $μ$ a $σ$-finite measure and $μ(X)=\infty$. Given an observable $g:X\to \mathbb{R}$, it is well known from results by Aaronson that in general the asymptotic behaviour of the Birkhoff sums $S_Ng(x):= \sum_{j=1}^N\, (g\circ T^{j-1})(x)$ strongly depends on the point $x\in X$, and that there exists no sequence $(d_N)$ for which $S_Ng(x)/d_N \to 1$ for $μ$-almost every $x\in X$. In this paper we consider the case $g\not\in L^1(X,μ)$ assuming that there exists $E\in\mathcal{B}$ with $μ(E)<\infty$ and $\int_E g\,\mathrm{d}μ=\infty$ and continue the investigation initiated in previous work by the authors. We show that for transformations $T$ with strong mixing assumptions for the induced map on a finite measure set, the almost sure asymptotic behaviour of $S_Ng(x)$ for an unbounded observable $g$ may be obtained using two methods, adding a number of summands depending on $x$ to $S_Ng$ and trimming. The obtained sums are then asymptotic to a scalar multiple of $N$. The results are applied to a couple of non-regular continued fraction algorithms, the backward (or Rényi type) continued fraction and the even-integer continued fraction algorithms, to obtain the almost sure asymptotic behaviour of the sums of the digits of the algorithms. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 21 pages, 1 figure

MSC Class: 37A40; 37A25; 60F15; 11K50

The Present and Future of QCD

Authors: P. Achenbach, D. Adhikari, A. Afanasev, F. Afzal, C. A. Aidala, A. Al-bataineh, D. K. Almaalol, M. Amaryan, D. Androić, W. R. Armstrong, M. Arratia, J. Arrington, A. Asaturyan, E. C. Aschenauer, H. Atac, H. Avakian, T. Averett, C. Ayerbe Gayoso, X. Bai, K. N. Barish, N. Barnea, G. Basar, M. Battaglieri, A. A. Baty, I. Bautista , et al. (378 additional authors not shown)

Abstract: This White Paper presents the community inputs and scientific conclusions from the Hot and Cold QCD Town Meeting that took place September 23-25, 2022 at MIT, as part of the Nuclear Science Advisory Committee (NSAC) 2023 Long Range Planning process. A total of 424 physicists registered for the meeting. The meeting highlighted progress in Quantum Chromodynamics (QCD) nuclear physics since the 2015… ▽ More This White Paper presents the community inputs and scientific conclusions from the Hot and Cold QCD Town Meeting that took place September 23-25, 2022 at MIT, as part of the Nuclear Science Advisory Committee (NSAC) 2023 Long Range Planning process. A total of 424 physicists registered for the meeting. The meeting highlighted progress in Quantum Chromodynamics (QCD) nuclear physics since the 2015 LRP (LRP15) and identified key questions and plausible paths to obtaining answers to those questions, defining priorities for our research over the coming decade. In defining the priority of outstanding physics opportunities for the future, both prospects for the short (~ 5 years) and longer term (5-10 years and beyond) are identified together with the facilities, personnel and other resources needed to maximize the discovery potential and maintain United States leadership in QCD physics worldwide. This White Paper is organized as follows: In the Executive Summary, we detail the Recommendations and Initiatives that were presented and discussed at the Town Meeting, and their supporting rationales. Section 2 highlights major progress and accomplishments of the past seven years. It is followed, in Section 3, by an overview of the physics opportunities for the immediate future, and in relation with the next QCD frontier: the EIC. Section 4 provides an overview of the physics motivations and goals associated with the EIC. Section 5 is devoted to the workforce development and support of diversity, equity and inclusion. This is followed by a dedicated section on computing in Section 6. Section 7 describes the national need for nuclear data science and the relevance to QCD research. △ Less

Submitted 4 March, 2023; originally announced March 2023.

Comments: QCD Town Meeting White Paper, as submitted to 2023 NSAC LRP committee on Feb. 28, 2023

Journal ref: Nucl.Phys.A 1047 (2024) 122874

Need for Objective Task-based Evaluation of Deep Learning-Based Denoising Methods: A Study in the Context of Myocardial Perfusion SPECT

Authors: Zitong Yu, Md Ashequr Rahman, Richard Laforest, Thomas H. Schindler, Robert J. Gropler, Richard L. Wahl, Barry A. Siegel, Abhinav K. Jha

Abstract: Artificial intelligence-based methods have generated substantial interest in nuclear medicine. An area of significant interest has been using deep-learning (DL)-based approaches for denoising images acquired with lower doses, shorter acquisition times, or both. Objective evaluation of these approaches is essential for clinical application. DL-based approaches for denoising nuclear-medicine images… ▽ More Artificial intelligence-based methods have generated substantial interest in nuclear medicine. An area of significant interest has been using deep-learning (DL)-based approaches for denoising images acquired with lower doses, shorter acquisition times, or both. Objective evaluation of these approaches is essential for clinical application. DL-based approaches for denoising nuclear-medicine images have typically been evaluated using fidelity-based figures of merit (FoMs) such as RMSE and SSIM. However, these images are acquired for clinical tasks and thus should be evaluated based on their performance in these tasks. Our objectives were to (1) investigate whether evaluation with these FoMs is consistent with objective clinical-task-based evaluation; (2) provide a theoretical analysis for determining the impact of denoising on signal-detection tasks; (3) demonstrate the utility of virtual clinical trials (VCTs) to evaluate DL-based methods. A VCT to evaluate a DL-based method for denoising myocardial perfusion SPECT (MPS) images was conducted. The impact of DL-based denoising was evaluated using fidelity-based FoMs and AUC, which quantified performance on detecting perfusion defects in MPS images as obtained using a model observer with anthropomorphic channels. Based on fidelity-based FoMs, denoising using the considered DL-based method led to significantly superior performance. However, based on ROC analysis, denoising did not improve, and in fact, often degraded detection-task performance. The results motivate the need for objective task-based evaluation of DL-based denoising approaches. Further, this study shows how VCTs provide a mechanism to conduct such evaluations using VCTs. Finally, our theoretical treatment reveals insights into the reasons for the limited performance of the denoising approach. △ Less

Submitted 1 April, 2023; v1 submitted 3 March, 2023; originally announced March 2023.

Limit Theorems for a class of unbounded observables with an application to "Sampling the Lindelöf hypothesis"

Authors: Kasun Fernando, Tanja I. Schindler

Abstract: We prove the Central Limit Theorem (CLT), the first order Edgeworth Expansion and a Mixing Local Central Limit Theorem (MLCLT) for Birkhoff sums of a class of unbounded heavily oscillating observables over a family of full-branch piecewise $C^2$ expanding maps of the interval. As a corollary, we obtain the corresponding results for Boolean-type transformations on $\mathbb{R}$. The class of observa… ▽ More We prove the Central Limit Theorem (CLT), the first order Edgeworth Expansion and a Mixing Local Central Limit Theorem (MLCLT) for Birkhoff sums of a class of unbounded heavily oscillating observables over a family of full-branch piecewise $C^2$ expanding maps of the interval. As a corollary, we obtain the corresponding results for Boolean-type transformations on $\mathbb{R}$. The class of observables in the CLT and the MLCLT on $\mathbb{R}$ include the real part, the imaginary part and the absolute value of the Riemann zeta function. Thus obtained CLT and MLCLT for the Riemann zeta function are in the spirit of the results of Lifschitz & Weber (2009) and Steuding (2012) who have proven the Strong Law of Large Numbers for "Sampling the Lindelöf hypothesis". △ Less

Submitted 27 February, 2023; originally announced February 2023.

Comments: 48 pages

MSC Class: 37A50; 60F05; 37A44; 11M06

Doubly Intermittent Maps with Critical Points, Unbounded Derivatives and Regularly Varying Tail

Authors: Muhammad Mubarak, Tanja I. Schindler

Abstract: We consider a class of doubly intermittent maps with critical points, unbounded derivative and regularly varying tails. Under some mild assumptions we prove the existence of a unique mixing absolutely continuous invariant measure and give conditions under which the measure is finite. This extends former work by Coates, Luzzatto and Mubarak to maps with regularly varying tails. Particularly, we loo… ▽ More We consider a class of doubly intermittent maps with critical points, unbounded derivative and regularly varying tails. Under some mild assumptions we prove the existence of a unique mixing absolutely continuous invariant measure and give conditions under which the measure is finite. This extends former work by Coates, Luzzatto and Mubarak to maps with regularly varying tails. Particularly, we look at the boundary case where the behaviour of the slowly varying function decides if the invariant measure is finite or infinite. △ Less

Submitted 17 October, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: added results and minor changes on the existing results, 23 pages

MSC Class: 37A25; 37A05; 37A50

Prime numbers in typical Continued Fraction Expansions

Authors: Tanja I. Schindler, Roland Zweimüller

Abstract: We study, from the viewpoint of metrical number theory and (infinite) ergodic theory, the probabilistic laws governing the occurrence of prime numbers as digits in continued fraction expansions of real numbers. We study, from the viewpoint of metrical number theory and (infinite) ergodic theory, the probabilistic laws governing the occurrence of prime numbers as digits in continued fraction expansions of real numbers. △ Less

Submitted 28 September, 2022; v1 submitted 9 September, 2022; originally announced September 2022.

Comments: 16 pages

MSC Class: 11K50; 28D05; 37A25; 37C30; 37A50

One-loop matching for gluon lattice TMDs

Authors: Stella T. Schindler, Iain W. Stewart, Yong Zhao

Abstract: Transverse-momentum-dependent parton distributions (TMDs) can be calculated from first principles by computing a related set of Euclidean lattice observables and connecting them via a factorization formula. This work focuses on the leading-power factorization formula connecting the lattice quasi-TMD and continuum Collins TMD for gluons. We calculate the one-loop gluon matching coefficient, which i… ▽ More Transverse-momentum-dependent parton distributions (TMDs) can be calculated from first principles by computing a related set of Euclidean lattice observables and connecting them via a factorization formula. This work focuses on the leading-power factorization formula connecting the lattice quasi-TMD and continuum Collins TMD for gluons. We calculate the one-loop gluon matching coefficient, which is known to be independent of spin and exhibits no mixing with quarks. We demonstrate that this coefficient satisfies Casimir scaling with respect to the quark matching coefficient at one-loop order. Our result facilitates reliable lattice QCD calculations of gluon TMDs. △ Less

Submitted 16 September, 2022; v1 submitted 24 May, 2022; originally announced May 2022.

Comments: 11 pages, 2 figures, v2: updates to match journal

Report number: MIT-CTP 5427

Journal ref: JHEP 08, 084 (2022)

Factorization connecting continuum and lattice TMDs

Authors: Markus A. Ebert, Stella T. Schindler, Iain W. Stewart, Yong Zhao

Abstract: Transverse-momentum-dependent parton distribution functions (TMDs) can be studied from first principles by a perturbative matching onto lattice-calculable quantities: so-called lattice TMDs, which are a class of equal-time correlators that includes quasi-TMDs and TMDs in the Lorentz-invariant approach. We introduce a general correlator that includes as special cases these two Lattice TMDs and cont… ▽ More Transverse-momentum-dependent parton distribution functions (TMDs) can be studied from first principles by a perturbative matching onto lattice-calculable quantities: so-called lattice TMDs, which are a class of equal-time correlators that includes quasi-TMDs and TMDs in the Lorentz-invariant approach. We introduce a general correlator that includes as special cases these two Lattice TMDs and continuum TMDs, like the Collins scheme. Then, to facilitate the derivation of a factorization relation between lattice and continuum TMDs, we construct a new scheme, the Large Rapidity (LR) scheme, intermediate between the Collins and quasi-TMDs. The LR and Collins schemes differ only by an order of limits, and can be matched onto one another by a multiplicative kernel. We show that this same matching also holds between quasi and Collins TMDs, which enables us to prove a factorization relation between these quantities to all orders in $α_s$. Our results imply that there is no mixing between various quark flavors or gluons when matching Collins and quasi TMDs, making the lattice calculation of individual flavors and gluon TMDs easier than anticipated. We cross-check these results explicitly at one loop and discuss implications for other physical-to-lattice scheme factorizations. △ Less

Submitted 20 January, 2022; originally announced January 2022.

Comments: 33 pages + appendices, 6 figures

Report number: MIT-CTP 5281, MPP-2021-17

Dynamic Decay and Superadiabatic Forces in the van Hove Dynamics of Bulk Hard Sphere Fluids

Authors: Lucas L. Treffenstädt, Thomas Schindler, Matthias Schmidt

Abstract: We study the dynamical decay of the van Hove function of Brownian hard spheres using event-driven Brownian dynamics simulations and dynamic test particle theory. Relevant decays mechanisms include deconfinement of the self particle, decay of correlation shells, and shell drift. Comparison to results for the Lennard-Jones system indicates the generality of these mechanisms for dense overdamped liqu… ▽ More We study the dynamical decay of the van Hove function of Brownian hard spheres using event-driven Brownian dynamics simulations and dynamic test particle theory. Relevant decays mechanisms include deconfinement of the self particle, decay of correlation shells, and shell drift. Comparison to results for the Lennard-Jones system indicates the generality of these mechanisms for dense overdamped liquids. We use dynamical density functional theory on the basis of the Rosenfeld functional with self interaction correction. Superadiabatic forces are analysed using a recent power functional approximation. The power functional yields a modified Einstein long-time self diffusion coefficient in good agreement with simulation data. △ Less

Submitted 19 March, 2022; v1 submitted 16 January, 2022; originally announced January 2022.

Comments: Submission to SciPost Updated to address referee's questions and concerns

Journal ref: SciPost Phys. 12, 133 (2022)

A convergence criterion for the unstable manifolds of the MacKay approximate renormalisation

Authors: Seul Bee Lee, Stefano Marmi, Tanja I. Schindler

Abstract: We give an explicit arithmetical condition which guarantees the existence of the unstable manifold of the MacKay approximate renormalisation scheme for the breakup of invariant tori in one and a half degrees of freedom Hamiltonian systems, correcting earlier results. Furthermore, when our condition is violated, we give an example of points on which the unstable manifold does not converge. We give an explicit arithmetical condition which guarantees the existence of the unstable manifold of the MacKay approximate renormalisation scheme for the breakup of invariant tori in one and a half degrees of freedom Hamiltonian systems, correcting earlier results. Furthermore, when our condition is violated, we give an example of points on which the unstable manifold does not converge. △ Less

Submitted 21 November, 2021; originally announced November 2021.

MSC Class: 37J40 (Primary) 37F50; 70H08 (Secondary)

Journal ref: Phys. D: Nonlinear Phenom. 435 (2022)

Finite-density QCD, $\mathcal{PT}$ symmetry, and dual algorithms

Authors: Moses A. Schindler, Stella T. Schindler, Michael C. Ogilvie

Abstract: Finite-density QCD and many other field theories with sign problems have a $\mathcal{PT}$-type symmetry. After a brief introduction to $\mathcal{PT}$-symmetric field theories, a real dual representation for $\mathcal{PT}$-symmetric scalar field theories with complex actions is derived. We show that $\mathcal{PT}$-symmetric field theories can exhibit exotic behavior, including sinusoidally modulate… ▽ More Finite-density QCD and many other field theories with sign problems have a $\mathcal{PT}$-type symmetry. After a brief introduction to $\mathcal{PT}$-symmetric field theories, a real dual representation for $\mathcal{PT}$-symmetric scalar field theories with complex actions is derived. We show that $\mathcal{PT}$-symmetric field theories can exhibit exotic behavior, including sinusoidally modulated propagators, disorder lines, and spatially inhomogeneous pattern-forming phases. We discuss the interplay of duality, $\mathcal{PT}$-symmetry and pattern formation using a $φ^4$ model and $Z(N)$ spin model with sign problems as examples. These behaviors may occur in finite-density QCD and related models. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Comments: 9 pages, 1 figure. Proceedings of the 38th International Symposium on Lattice Field Theory, LATTICE2021, July 26-30, 2021

Report number: MIT-CTP 5339

Finite-density QCD, $\mathcal{PT}$ symmetry, and exotic phases

Authors: Moses A. Schindler, Stella T. Schindler, Michael C. Ogilvie

Abstract: We study the phase structure of effective models of finite-density QCD using analytic and lattice simulation techniques developed for the study of non-Hermitian and $\mathcal{PT}$-symmetric QFTs. Finite-density QCD is symmetric under the combined operation of the charge and complex conjugation operators $\mathcal{CK}$, which falls into the class of so-called generalized $\mathcal{PT}$ symmetries.… ▽ More We study the phase structure of effective models of finite-density QCD using analytic and lattice simulation techniques developed for the study of non-Hermitian and $\mathcal{PT}$-symmetric QFTs. Finite-density QCD is symmetric under the combined operation of the charge and complex conjugation operators $\mathcal{CK}$, which falls into the class of so-called generalized $\mathcal{PT}$ symmetries. We show that $\mathcal{PT}$-symmetric quantum field theories can support patterned ground-state field configurations in the vicinity of a critical endpoint. We apply our methods to a lattice heavy quark model at nonzero chemical potential that displays patterning behavior for a range of parameters. We derive a simple approximate criterion for the formation of these patterns, which can be used with lattice results. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: 9 pages, 3 figures. Proceedings of the 38th International Symposium on Lattice Field Theory, LATTICE2021, July 26-30, 2021

Report number: MIT-CTP 5338

Regularity properties of $k$-Brjuno and Wilton functions

Authors: Seul Bee Lee, Stefano Marmi, Izabela Petrykiewicz, Tanja I. Schindler

Abstract: We study functions related to the classical Brjuno function, namely $k$-Brjuno functions and the Wilton function. Both appear in the study of boundary regularity properties of (quasi) modular forms and their integrals. We consider various possible versions of them, based on the $α$-continued fraction developments. We study their BMO regularity properties and their behaviour near rational numbers o… ▽ More We study functions related to the classical Brjuno function, namely $k$-Brjuno functions and the Wilton function. Both appear in the study of boundary regularity properties of (quasi) modular forms and their integrals. We consider various possible versions of them, based on the $α$-continued fraction developments. We study their BMO regularity properties and their behaviour near rational numbers of their finite truncations. △ Less

Submitted 15 September, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: 64 pages, comments welcome

MSC Class: 30B70; 37F50; 32A50; 46F15; 32A37; 11F03

Journal ref: Aequ. Math. (2023)

$\mathcal PT$ symmetry, pattern formation, and finite-density QCD

Authors: Moses A. Schindler, Stella T. Schindler, Michael C. Ogilvie

Abstract: A longstanding issue in the study of quantum chromodynamics (QCD) is its behavior at nonzero baryon density, which has implications for many areas of physics. The path integral has a complex integrand when the quark chemical potential is nonzero and therefore has a sign problem, but it also has a generalized $\mathcal PT$ symmetry. We review some new approaches to $\mathcal PT$-symmetric field the… ▽ More A longstanding issue in the study of quantum chromodynamics (QCD) is its behavior at nonzero baryon density, which has implications for many areas of physics. The path integral has a complex integrand when the quark chemical potential is nonzero and therefore has a sign problem, but it also has a generalized $\mathcal PT$ symmetry. We review some new approaches to $\mathcal PT$-symmetric field theories, including both analytical techniques and methods for lattice simulation. We show that $\mathcal PT$-symmetric field theories with more than one field generally have a much richer phase structure than their Hermitian counterparts, including stable phases with patterning behavior. The case of a $\mathcal PT$-symmetric extension of a $φ^4$ model is explained in detail. The relevance of these results to finite density QCD is explained, and we show that a simple model of finite density QCD exhibits a patterned phase in its critical region. △ Less

Submitted 13 June, 2021; originally announced June 2021.

Comments: 25 pages, 8 figures. To be published in Journal of Physics: Conference Series as part of the virtual seminar series on Pseudo-Hermitian Hamiltonians in Quantum Physics (vPHHQP)

Report number: MIT-CTP 5295

Almost sure asymptotic behaviour of Birkhoff sums for infinite measure-preserving dynamical systems

Authors: Claudio Bonanno, Tanja I. Schindler

Abstract: We consider a conservative ergodic measure-preserving transformation $T$ of a $σ$-finite measure space $(X,\mathcal{B},μ)$ with $μ(X)=\infty$. Given an observable $f:X\to \mathbb{R}$ we study the almost sure asymptotic behaviour of the Birkhoff sums $S_Nf(x) := \sum_{j=1}^N\, (f\circ T^{j-1})(x)$. In infinite ergodic theory it is well known that the asymptotic behaviour of $S_Nf(x)$ strongly depen… ▽ More We consider a conservative ergodic measure-preserving transformation $T$ of a $σ$-finite measure space $(X,\mathcal{B},μ)$ with $μ(X)=\infty$. Given an observable $f:X\to \mathbb{R}$ we study the almost sure asymptotic behaviour of the Birkhoff sums $S_Nf(x) := \sum_{j=1}^N\, (f\circ T^{j-1})(x)$. In infinite ergodic theory it is well known that the asymptotic behaviour of $S_Nf(x)$ strongly depends on the point $x\in X$, and if $f\in L^1(X,μ)$, then there exists no real valued sequence $(b(N))$ such that $\lim_{N\to\infty} S_Nf(x)/b(N)=1$ almost surely. In this paper we show that for dynamical systems with strong mixing assumptions for the induced map on a finite measure set, there exists a sequence $(α(N))$ and $m\colon X\times \mathbb{N}\to\mathbb{N}$ such that for $f\in L^1(X,μ)$ we have $\lim_{N\to\infty} S_{N+m(x,N)}f(x)/α(N)=1$ for $μ$-a.e. $x\in X$. Moreover if $f\not\in L^1(X,μ)$ we give conditions on the induced observable such that there exists a sequence $(G(N))$ depending on $f$, for which $\lim_{N\to\infty} S_{N}f(x)/G(N)=1$ holds for $μ$-a.e. $x\in X$. △ Less

Submitted 15 May, 2021; v1 submitted 21 April, 2021; originally announced April 2021.

Comments: 33 pages. We have improved the section on examples

MSC Class: 37A40; 37A25; 60F15

A physics and learning-based transmission-less attenuation compensation method for SPECT

Authors: Zitong Yu, Md Ashequr Rahman, Thomas Schindler, Richard Laforest, Abhinav K. Jha

Abstract: Attenuation compensation (AC) is a pre-requisite for reliable quantification and beneficial for visual interpretation tasks in single-photon emission computed tomography (SPECT). Typical AC methods require the availability of an attenuation map obtained using a transmission scan, such as a CT scan. This has several disadvantages such as increased radiation dose, higher costs, and possible misalign… ▽ More Attenuation compensation (AC) is a pre-requisite for reliable quantification and beneficial for visual interpretation tasks in single-photon emission computed tomography (SPECT). Typical AC methods require the availability of an attenuation map obtained using a transmission scan, such as a CT scan. This has several disadvantages such as increased radiation dose, higher costs, and possible misalignment between SPECT and CT scans. Also, often a CT scan is unavailable. In this context, we and others are showing that scattered photons in SPECT contain information to estimate the attenuation distribution. To exploit this observation, we propose a physics and learning-based method that uses the SPECT emission data in the photopeak and scatter windows to perform transmission-less AC in SPECT. The proposed method uses data acquired in the scatter window to reconstruct an initial estimate of the attenuation map using a physics-based approach. A convolutional neural network is then trained to segment this initial estimate into different regions. Pre-defined attenuation coefficients are assigned to these regions, yielding the reconstructed attenuation map, which is then used to reconstruct the activity map using an ordered subsets expectation maximization-based reconstruction approach. We objectively evaluated the performance of this method using a highly realistic simulation study conducted on the clinically relevant task of detecting perfusion defects in myocardial perfusion SPECT. Our results showed no statistically significant differences between the performance achieved using the proposed method and that with the true attenuation maps. Visually, the images reconstructed using the proposed method looked similar to those with the true attenuation map. Overall, these results provide evidence of the capability of the proposed method to perform transmission-less AC and motivate further evaluation. △ Less

Submitted 11 February, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

Comments: 9 pages, 4 figures, SPIE conference

A significant excess in major merger rate for AGNs with the highest Eddington ratios at z<0.2

Authors: V. Marian, K. Jahnke, I. Andika, E. Banados, V. N. Bennert, S. Cohen, B. Husemann, M. Kaasinen, A. M. Koekemoer, M. Mechtley, M. Onoue, J. T. Schindler, M. Schramm, A. Schulze, J. D. Silverman, I. Smirnova-Pinchukova, A. van der Wel, C. Villforth, R. A. Windhorst

Abstract: Observational studies are increasingly finding evidence against major mergers being the dominant mechanism responsible for triggering AGN. After studying the connection between major mergers and AGN with the highest Eddington ratios at z=2, we here expand our analysis to z<0.2, exploring the same AGN parameter space. Using ESO VLT/FORS2 B-, V- and color images, we examine the morphologies of 17 ga… ▽ More Observational studies are increasingly finding evidence against major mergers being the dominant mechanism responsible for triggering AGN. After studying the connection between major mergers and AGN with the highest Eddington ratios at z=2, we here expand our analysis to z<0.2, exploring the same AGN parameter space. Using ESO VLT/FORS2 B-, V- and color images, we examine the morphologies of 17 galaxies hosting AGNs with Eddington ratios >0.3, and 25 mass- and redshift-matched control galaxies. To match the appearance of the two samples, we add synthetic point sources to the inactive comparison galaxies. The combined sample of AGN and inactive galaxies was independently ranked by 19 experts with respect to the degree of morphological distortion. We combine the resulting individual rankings into multiple overall rankings, from which we derive the respective major merger fractions of the two samples. With a best estimate of 0.41 $\pm$ 0.12 for the AGN host galaxies and 0.08 $\pm$ 0.06 for the inactive galaxies our results imply that our AGN host galaxies have a significantly higher merger rate, regardless of the observed wavelength or applied methodology. We conclude that although major mergers are an essential mechanism to trigger local high Eddington ratio AGNs at z<0.2, the origin of >=50% of this specific AGN subpopulation still remains unclear. △ Less

Submitted 30 September, 2020; originally announced October 2020.

Comments: 17 pages (plus 23 pages appendix), 8 figures, 3 tables; Accepted for publication in ApJ

Ballistic propagation of density correlations and excess wall forces in quenched granular media

Authors: Thomas Schindler, Christian M. Rohwer

Abstract: We investigate a granular gas in a shaken quasi-two-dimensional box in molecular dynamics computer simulations. After a sudden change (quench) of the shaking amplitude, transient density correlations are observed orders of magnitude beyond the steady-state correlation length scale. Propagation of the correlations is ballistic, in contrast to recently investigated quenches of Brownian particles tha… ▽ More We investigate a granular gas in a shaken quasi-two-dimensional box in molecular dynamics computer simulations. After a sudden change (quench) of the shaking amplitude, transient density correlations are observed orders of magnitude beyond the steady-state correlation length scale. Propagation of the correlations is ballistic, in contrast to recently investigated quenches of Brownian particles that show diffusive propagation [Rohwer et al., Phys. Rev. Lett., 118, 015702 (2017), Rohwer et al., Phys. Rev. E, 97, 032125 (2018)]. At sufficiently strong cooling of the fluid the effect is overlaid by clustering instability of the homogeneous cooling state with different scaling behavior. We are able to identify different quench regimes. In each regime correlations exhibit remarkably universal position dependence. In simulations performed with side walls we find confinement effects for temperature and pressure in steady-state simulations, and an additional transient wall pressure contribution upon changing the shaking amplitude. The transient contribution is ascribed to enhanced relaxation of the fluid in the presence of walls. From incompatible scaling behavior we conclude that the observed effects with and without side walls constitute distinct phenomena. △ Less

Submitted 30 October, 2020; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: 12 pages 11 figures

Journal ref: Phys. Rev. E 102, 052901 (2020)

One-loop Matching for Spin-Dependent Quasi-TMDs

Authors: Markus A. Ebert, Stella T. Schindler, Iain W. Stewart, Yong Zhao

Abstract: Transverse momentum dependent parton distribution functions (TMDPDFs) provide a unique probe of the three-dimensional spin structure of hadrons. We construct spin-dependent quasi-TMDPDFs that are amenable to lattice QCD calculations and that can be used to determine spin-dependent TMDPDFs. We calculate the short-distance coefficients connecting spin-dependent TMDPDFs and quasi-TMDPDFs at one-loop… ▽ More Transverse momentum dependent parton distribution functions (TMDPDFs) provide a unique probe of the three-dimensional spin structure of hadrons. We construct spin-dependent quasi-TMDPDFs that are amenable to lattice QCD calculations and that can be used to determine spin-dependent TMDPDFs. We calculate the short-distance coefficients connecting spin-dependent TMDPDFs and quasi-TMDPDFs at one-loop order. We find that the helicity and transversity distributions have the same coefficient as the unpolarized TMDPDF. We also argue that the same is true for pretzelosity and that this spin universality of the matching will hold to all orders in $α_s$. Thus, it is possible to calculate ratios of these distributions as a function of longitudinal momentum and transverse position utilizing simpler Wilson line paths than have previously been considered. △ Less

Submitted 30 April, 2020; originally announced April 2020.

Comments: 24 pages, 4 figures

Report number: MIT-CTP 5200

Journal ref: JHEP 09 (2020) 099

Simulation and optimal control of the Williams-Otto process using Pyomo

Authors: Jochen Schmid, Katrin Teichert, Moncef Chioua, Thorsten Schindler, Michael Bortz

Abstract: We illustrate the advantages the high-level open-source software package Pyomo has in rapidly setting up and solving dynamic simulation and optimization problems. In order to do so, we use the example of the Williams-Otto process. We show how to simulate the process dynamics using the collocation method and the IPOPT solver provided by Pyomo. We also discuss waste minimization and yield maximizati… ▽ More We illustrate the advantages the high-level open-source software package Pyomo has in rapidly setting up and solving dynamic simulation and optimization problems. In order to do so, we use the example of the Williams-Otto process. We show how to simulate the process dynamics using the collocation method and the IPOPT solver provided by Pyomo. We also discuss waste minimization and yield maximization as two examplary process optimization problems. And finally, we present and compare two approaches to setpoint tracking: one based on proportional-integral feedback control and one based on optimal open-loop control. △ Less

Submitted 16 April, 2020; originally announced April 2020.

Comments: 19 pages, 10 figures

A Novel Experimental Approach for Nanostructure Analysis: Simultaneous Small Angle X-ray and Neutron Scattering (SAXS/SANS)

Authors: Ezzeldin Metwalli, Klaus Götz, Sebastian Lages, Christian Bär, Tobias Zech, Dennis M. Noll, Isabel Schuldes, Torben Schindler, Annemarie Prihoda, Herbert Lang, Jürgen Grasser, Mark Jacques, Luc Didier, Amrouni Cyril, Anne Martel, Lionel Porcar, Tobias Unruh

Abstract: Exploiting small angle X-ray and neutron scattering (SAXS/SANS) on the same sample volume at the same time provides complementary nanoscale structural information at two different contrast situations. Compared with an independent experimental approach, the truly combined SAXS/SANS experimental approach ensures the exactness of the probed samples particularly for in-situ studies. Here, we introduce… ▽ More Exploiting small angle X-ray and neutron scattering (SAXS/SANS) on the same sample volume at the same time provides complementary nanoscale structural information at two different contrast situations. Compared with an independent experimental approach, the truly combined SAXS/SANS experimental approach ensures the exactness of the probed samples particularly for in-situ studies. Here, we introduce an advanced portable SAXS system that is dimensionally suitable for installation at D22 zone of ILL. The SAXS apparatus is based on a RIGAKU copper/molybdenum switchable microfocus rotating anode X-ray generator and a DECTRIS detector with a changeable sample-to-detector distance of up to 1.6 m in a vacuum chamber. A science case has been presented to demonstrate the uniqueness of the newly established method at ILL. Temporal structural rearrangements of both, organic stabilizing agents and organically capped gold colloidal particles during gold nanoparticle growth are simultaneously probed, enabling immediate correlated structural information. The newly established nano-analytical method at ILL will open the way for real time investigations of a wide range of innovative nanomaterials and will enable comprehensive in-situ studies on biological systems. A potential development of a fully-automated SAXS/SANS system with a common control environment and additional sample environments, permitting a continual and efficient operation of the system at the hands of ILL users, has also been introduced. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Comments: 22 pages, 9+2 figures

A Central limit theorem for the Birkhoff sum of the Riemann zeta-function over a Boolean type transformation

Authors: Tanja I. Schindler

Abstract: We prove a central limit theorem for the real and imaginary part and the absolute value of the Riemann zeta-function sampled along a vertical line in the critical strip with respect to an ergodic transformation similar to the Boolean transformation. This result complements a result by Steuding who has proven a strong law of large numbers for the same system. As a side result we state a general cen… ▽ More We prove a central limit theorem for the real and imaginary part and the absolute value of the Riemann zeta-function sampled along a vertical line in the critical strip with respect to an ergodic transformation similar to the Boolean transformation. This result complements a result by Steuding who has proven a strong law of large numbers for the same system. As a side result we state a general central limit theorem for a class of unbounded observables on the real line over the same ergodic transformation. The proof is based on the transfer operator method. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Comments: 20 pages

MSC Class: 11M06 (Primary) 37A05; 37A30; 37A45; 60G10; 60F05 (Secondary)

Universality of Pattern Formation

Authors: Moses A. Schindler, Stella T. Schindler, Leandro Medina, Michael C. Ogilvie

Abstract: We study a $\mathcal PT$-symmetric scalar Euclidean field theory with a complex action, using both theoretical analysis and lattice simulations. This model has a rich phase structure that exhibits pattern formation in the critical region. Analytical results and simulations associate pattern formation with tachyonic instabilities in the homogeneous phase. Monte Carlo simulation shows that pattern m… ▽ More We study a $\mathcal PT$-symmetric scalar Euclidean field theory with a complex action, using both theoretical analysis and lattice simulations. This model has a rich phase structure that exhibits pattern formation in the critical region. Analytical results and simulations associate pattern formation with tachyonic instabilities in the homogeneous phase. Monte Carlo simulation shows that pattern morphologies vary smoothly, without distinct microphases. We suggest that pattern formation in this model may be regarded as a form of arrested spinodal decomposition. We extend our theoretical analysis to multicomponent $\mathcal PT$-symmetric Euclidean scalar field theories and show that they give rise to new universality classes of local field theories that exhibit patterned behavior in the critical region. QCD at finite temperature and density is a member of the $Z(2)$ universality class when the Polyakov loop is used to distinguish confined and deconfined phases. This suggests the possibility of the formation of patterns of confined and deconfined matter in QCD in the critical region in the $μ-T$ plane. △ Less

Submitted 30 January, 2021; v1 submitted 17 June, 2019; originally announced June 2019.

Comments: 13 pages, 6 figures; updated to mirror published version

Journal ref: Phys. Rev. D 102, 114510 (2020)

Interpolation and the Array Property Fragment

Authors: Jochen Hoenicke, Tanja Schindler

Abstract: Interpolation based software model checkers have been successfully employed to automatically prove programs correct. Their power comes from interpolating SMT solvers that check the feasibility of potential counterexamples and compute candidate invariants, otherwise. This approach works well for quantifier-free theories, like equality theory or linear arithmetic. For quantified formulas, there ar… ▽ More Interpolation based software model checkers have been successfully employed to automatically prove programs correct. Their power comes from interpolating SMT solvers that check the feasibility of potential counterexamples and compute candidate invariants, otherwise. This approach works well for quantifier-free theories, like equality theory or linear arithmetic. For quantified formulas, there are SMT solvers that can decide expressive fragments of quantified formulas, e. g., EPR, the array property fragment, and the finite almost uninterpreted fragment. However, these solvers do not support interpolation. It is already known that in general EPR does not allow for interpolation. In this paper, we show the same result for the array property fragment. △ Less

Submitted 25 April, 2019; originally announced April 2019.

Mean convergence for intermediately trimmed Birkhoff sums of observables with regularly varying tails

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: On a measure theoretical dynamical system with spectral gap property we consider non-integrable observables with regularly varying tails and fulfilling a mild mixing condition. We show that the normed trimmed sum process of these observables then converges in mean. This result is new also for the special case of i.i.d. random variables and contrasts the general case where mean convergence might fa… ▽ More On a measure theoretical dynamical system with spectral gap property we consider non-integrable observables with regularly varying tails and fulfilling a mild mixing condition. We show that the normed trimmed sum process of these observables then converges in mean. This result is new also for the special case of i.i.d. random variables and contrasts the general case where mean convergence might fail even though a strong law of large numbers holds. To illuminate the required mixing condition we give an explicit example of a dynamical system fulfilling a spectral gap property and an observable with regularly varying tails but without the assumed mixing condition such that mean convergence fails. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: 17 pages

MSC Class: 60F25; 37A05; 37A30; 37A25; 60G10

Journal ref: Nonlinearity 33(5) 2020, pp. 5543-5566

Intermediately trimmed strong laws for Birkhoff sums on subshifts of finite type

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: We prove strong laws of large numbers under intermediate trimming for Birkhoff sums over subshifts of finite type. This gives another application of a previous trimming result only proven for interval maps. In case of Markov measures we give a further example of St.\ Petersburg type distribution functions. To prove these statements we introduce the space of quasi-Hölder continuous functions for su… ▽ More We prove strong laws of large numbers under intermediate trimming for Birkhoff sums over subshifts of finite type. This gives another application of a previous trimming result only proven for interval maps. In case of Markov measures we give a further example of St.\ Petersburg type distribution functions. To prove these statements we introduce the space of quasi-Hölder continuous functions for subshifts of finite type. △ Less

Submitted 13 January, 2019; originally announced January 2019.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1706.07369

MSC Class: Primary: 60F15 Secondary: 37A05; 37A30; 60G10; 60J10

Journal ref: Dynamical Systems, 35:2, 2020, pp. 275-305

Particle-conserving dynamics on the single-particle level

Authors: Thomas Schindler, René Wittmann, Joseph M. Brader

Abstract: We generalize the particle-conserving dynamics method of de las Heras et al. [J. Phys. Condens. Matter: 28, 24404 (2016).] to binary mixtures and apply this to hard rods in one dimension. Considering the case of one species consisting of only one particle enables us to address the tagged-particle dynamics. The time-evolution of the species-labeled density profiles is compared to exact Brownian dyn… ▽ More We generalize the particle-conserving dynamics method of de las Heras et al. [J. Phys. Condens. Matter: 28, 24404 (2016).] to binary mixtures and apply this to hard rods in one dimension. Considering the case of one species consisting of only one particle enables us to address the tagged-particle dynamics. The time-evolution of the species-labeled density profiles is compared to exact Brownian dynamics and (grand-canonical) dynamical density functional theory. The particle conserving dynamics yields improved results over the dynamical density functional theory and well reproduces the simulation data at short and intermediate times. However, the neglect of a strict particle order (due to the fundamental statistical assumption of ergodicity) leads to errors at long times for our one-dimensional setup. The isolated study of that error makes clear the fundamental limitations of (adiabatic) density-based theoretical approaches when applied to systems of any dimension for which particle caging is a dominant physical mechanism. △ Less

Submitted 30 October, 2020; v1 submitted 8 January, 2019; originally announced January 2019.

Journal ref: Phys. Rev. E 99, 012605 (2019)

Non-equilibrium steady states, coexistence and criticality in driven quasi-two-dimensional granular matter

Authors: Thomas Schindler, Sebastian C. Kapfer

Abstract: Nonequilibrium steady states of vibrated inelastic frictionless spheres are investigated in quasi-two-dimensional confinement via molecular dynamics simulations. The phase diagram in the density-amplitude plane exhibits a fluidlike disordered and an ordered phase with threefold symmetry, as well as phase coexistence between the two. A dynamical mechanism exists that brings about metastable traveli… ▽ More Nonequilibrium steady states of vibrated inelastic frictionless spheres are investigated in quasi-two-dimensional confinement via molecular dynamics simulations. The phase diagram in the density-amplitude plane exhibits a fluidlike disordered and an ordered phase with threefold symmetry, as well as phase coexistence between the two. A dynamical mechanism exists that brings about metastable traveling clusters and at the same time stable clusters with anisotropic shapes at low vibration amplitude. Moreover, there is a square bilayer state which is connected to the fluid by BKTHNY-type two-step melting with an intermediate tetratic phase. The critical behavior of the two continuous transitions is studied in detail. For the fluid-tetratic transition, critical exponents of $\tildeγ=1.73$, $η_4 \approx 1/4$, and $z=2.05$ are obtained. △ Less

Submitted 12 February, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Journal ref: Phys. Rev. E 99, 022902 (2019)

Scaling properties of the Thue--Morse measure

Authors: Michael Baake, Philipp Gohlke, Marc Kesseböhmer, Tanja Schindler

Abstract: The classic Thue--Morse measure is a paradigmatic example of a purely singular continuous probability measure on the unit interval. Since it has a representation as an infinite Riesz product, many aspects of this measure have been studied in the past, including various scaling properties and a partly heuristic multifractal analysis. Some of the difficulties emerge from the appearance of an unbound… ▽ More The classic Thue--Morse measure is a paradigmatic example of a purely singular continuous probability measure on the unit interval. Since it has a representation as an infinite Riesz product, many aspects of this measure have been studied in the past, including various scaling properties and a partly heuristic multifractal analysis. Some of the difficulties emerge from the appearance of an unbounded potential in the thermodynamic formalism. It is the purpose of this article to review and prove some of the observations that were previously established via numerical or scaling arguments. △ Less

Submitted 24 April, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: 30 pages, 4 figures, updated version with minor improvements

MSC Class: 37D35; 37C45; 52C23

Journal ref: Discr. Cont. Dynam. Syst. A 39 (2019) 4157--4185

Trimmed sums for observables on the doubling map

Authors: Tanja Schindler

Abstract: We establish a strong law of large numbers under intermediate trimming for a particular example of Birkhoff sums of a non-integrable observable over the doubling map. It has been shown in a previous work by Haynes that there is no strong law of large numbers for the considered system after removing finitely many summands (light trimming) even though i.i.d. random variables and also some dynamical… ▽ More We establish a strong law of large numbers under intermediate trimming for a particular example of Birkhoff sums of a non-integrable observable over the doubling map. It has been shown in a previous work by Haynes that there is no strong law of large numbers for the considered system after removing finitely many summands (light trimming) even though i.i.d. random variables and also some dynamical systems with the same distribution function obey a strong law of large numbers after removing only the largest summand. △ Less

Submitted 7 October, 2018; originally announced October 2018.

Comments: 33 pages

MSC Class: 60F15; 37A05; 37A25; 37A50; 60G10

Kinky DNA in solution: Small angle scattering study of a nucleosome positioning sequence

Authors: Torben Schindler, Adrián González, Ramachandran Boopathi, Marta Marty Roda, Lorena Romero-Santacreu, Andrew Wildes, Lionel Porcar, Anne Martel, Nikos Theodorakopoulos, Santiago Cuesta-López, Dimitar Angelov, Tobias Unruh, Michel Peyrard

Abstract: DNA is a flexible molecule, but the degree of its flexibility is subject to debate. The commonly-accepted persistence length of $l_p \approx 500\,$Å is inconsistent with recent studies on short-chain DNA that show much greater flexibility but do not probe its origin. We have performed X-ray and neutron small-angle scattering on a short DNA sequence containing a strong nucleosome positioning elemen… ▽ More DNA is a flexible molecule, but the degree of its flexibility is subject to debate. The commonly-accepted persistence length of $l_p \approx 500\,$Å is inconsistent with recent studies on short-chain DNA that show much greater flexibility but do not probe its origin. We have performed X-ray and neutron small-angle scattering on a short DNA sequence containing a strong nucleosome positioning element, and analyzed the results using a modified Kratky-Porod model to determine possible conformations. Our results support a hypothesis from Crick and Klug in 1975 that some DNA sequences in solution can have sharp kinks, potentially resolving the discrepancy. Our conclusions are supported by measurements on a radiation-damaged sample, where single-strand breaks lead to increased flexibility and by an analysis of data from another sequence, which does not have kinks, but where our method can detect a locally enhanced flexibility due to an $AT$-domain. △ Less

Submitted 25 September, 2018; originally announced September 2018.

Comments: 24 pages, 10 figures

Journal ref: Phys. Rev. E 98, 042417 (2018)

Small Time Convergence of Subordinators with Regularly or Slowly Varying Canonical Measure

Authors: Ross Maller, Tanja Schindler

Abstract: We consider subordinators $X_α=(X_α(t))_{t\ge 0}$ in the domain of attraction at 0 of a stable subordinator $(S_α(t))_{t\ge 0}$ (where $α\in(0,1)$); thus, with the property that $\overlineΠ_α$, the tail function of the canonical measure of $X_α$, is regularly varying of index $-α\in (-1,0)$ as $x\downarrow 0$. We also analyse the boundary case, $α=0$, when $\overlineΠ_α$ is slowly varying at 0. Wh… ▽ More We consider subordinators $X_α=(X_α(t))_{t\ge 0}$ in the domain of attraction at 0 of a stable subordinator $(S_α(t))_{t\ge 0}$ (where $α\in(0,1)$); thus, with the property that $\overlineΠ_α$, the tail function of the canonical measure of $X_α$, is regularly varying of index $-α\in (-1,0)$ as $x\downarrow 0$. We also analyse the boundary case, $α=0$, when $\overlineΠ_α$ is slowly varying at 0. When $α\in(0,1)$, we show that $(t \overlineΠ_α(X_α(t)))^{-1}$ converges in distribution, as $t\downarrow 0$, to the random variable $(S_α(1))^α$. This latter random variable, as a function of $α$, converges in distribution as $α\downarrow 0$ to the inverse of an exponential random variable. We prove these convergences, also generalised to functional versions (convergence in $\mathbb{D}[0,1]$), and to trimmed versions, whereby a fixed number of its largest jumps up to a specified time are subtracted from a process. The $α=0$ case produces convergence to an extremal process constructed from ordered jumps of a Cauchy subordinator. Our results generalise random walk and stable process results of Darling, Cressie, Kasahara, Kotani and Watanabe. △ Less

Submitted 25 June, 2018; originally announced June 2018.

Comments: 24 pages

MSC Class: 60G70; 60F17; 60G52; 60G55; 60G51

Efficient Interpolation for the Theory of Arrays

Authors: Jochen Hoenicke, Tanja Schindler

Abstract: Existing techniques for Craig interpolation for the quantifier-free fragment of the theory of arrays are inefficient for computing sequence and tree interpolants: the solver needs to run for every partitioning $(A, B)$ of the interpolation problem to avoid creating $AB$-mixed terms. We present a new approach using Proof Tree Preserving Interpolation and an array solver based on Weak Equivalence on… ▽ More Existing techniques for Craig interpolation for the quantifier-free fragment of the theory of arrays are inefficient for computing sequence and tree interpolants: the solver needs to run for every partitioning $(A, B)$ of the interpolation problem to avoid creating $AB$-mixed terms. We present a new approach using Proof Tree Preserving Interpolation and an array solver based on Weak Equivalence on Arrays. We give an interpolation algorithm for the lemmas produced by the array solver. The computed interpolants have worst-case exponential size for extensionality lemmas and worst-case quadratic size otherwise. We show that these bounds are strict in the sense that there are lemmas with no smaller interpolants. We implemented the algorithm and show that the produced interpolants are useful to prove memory safety for C programs. △ Less

Submitted 3 August, 2018; v1 submitted 19 April, 2018; originally announced April 2018.

Comments: long version of the paper at IJCAR 2018

Anomaly Detection in Log Data using Graph Databases and Machine Learning to Defend Advanced Persistent Threats

Authors: Timo Schindler

Abstract: Advanced Persistent Threats (APTs) are a main impendence in cyber security of computer networks. In 2015, a successful breach remains undetected 146 days on average, reported by [Fi16].With our work we demonstrate a feasible and fast way to analyse real world log data to detect breaches or breach attempts. By adapting well-known kill chain mechanisms and a combine of a time series database and an… ▽ More Advanced Persistent Threats (APTs) are a main impendence in cyber security of computer networks. In 2015, a successful breach remains undetected 146 days on average, reported by [Fi16].With our work we demonstrate a feasible and fast way to analyse real world log data to detect breaches or breach attempts. By adapting well-known kill chain mechanisms and a combine of a time series database and an abstracted graph approach, it is possible to create flexible attack profiles. Using this approach, it can be demonstrated that the graph analysis successfully detects simulated attacks by analysing the log data of a simulated computer network. Considering another source for log data, the framework is capable to deliver sufficient performance for analysing real-world data in short time. By using the computing power of the graph database it is possible to identify the attacker and furthermore it is feasible to detect other affected system components. We believe to significantly reduce the detection time of breaches with this approach and react fast to new attack vectors. △ Less

Submitted 1 February, 2018; originally announced February 2018.

Comments: Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, Bonn 2017 2371

Strong laws of large number for intermediately trimmed Birkhoff sums of observables with infinite mean

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: We consider dynamical systems on a finite measure space fulfilling a spectral gap property and Birkhoff sums of a non-negative, non-integrable observable. For such systems we generalize strong laws of large numbers for intermediately trimmed sums only known for independent random variables. The results split up in trimming statements for general distribution functions and for regularly varying tai… ▽ More We consider dynamical systems on a finite measure space fulfilling a spectral gap property and Birkhoff sums of a non-negative, non-integrable observable. For such systems we generalize strong laws of large numbers for intermediately trimmed sums only known for independent random variables. The results split up in trimming statements for general distribution functions and for regularly varying tail distributions. In both cases the trimming rate can be chosen in the same or almost the same way as in the i.i.d. case. As an example we show that piecewise expanding interval maps fulfill the necessary conditions for our limit laws. As a side result we obtain strong laws of large numbers for truncated Birkhoff sums. △ Less

Submitted 3 September, 2019; v1 submitted 22 June, 2017; originally announced June 2017.

Comments: 37 pages

MSC Class: 60F15; 37A05; 37A30; 60G10

Journal ref: Stochastic Processes and their Applications, Volume 129, Issue 10, October 2019, Pages 4163-4207

Winding in Non-Hermitian Systems

Authors: Stella T. Schindler, Carl M. Bender

Abstract: This paper extends the property of interlacing of the zeros of eigenfunctions in Hermitian systems to the topological property of winding number in non-Hermitian systems. Just as the number of nodes of each eigenfunction in a self-adjoint Sturm-Liouville problem are well-ordered, so too are the winding numbers of each eigenfunction of Hermitian and of unbroken PT-symmetric potentials. Varying a sy… ▽ More This paper extends the property of interlacing of the zeros of eigenfunctions in Hermitian systems to the topological property of winding number in non-Hermitian systems. Just as the number of nodes of each eigenfunction in a self-adjoint Sturm-Liouville problem are well-ordered, so too are the winding numbers of each eigenfunction of Hermitian and of unbroken PT-symmetric potentials. Varying a system back and forth past an exceptional point changes the windings of its eigenfunctions in a specific manner. Nonlinear, higher-dimensional, and general non-Hermitian systems also exhibit manifestations of these characteristics. △ Less

Submitted 6 April, 2017; originally announced April 2017.

Comments: 9 pages, 9 figures

Strong laws of large numbers for intermediately trimmed sums of i.i.d. random variables with infinite mean

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: We consider moderately trimmed sums of non-negative i.i.d. random variables. We show that for every distribution function there exists a proper moderate trimming such that for the trimmed sum a non-trivial strong law of large numbers holds. In case that the distribution function has regularly varying tails we give necessary and sufficient conditions on the trimming for a strong law of large number… ▽ More We consider moderately trimmed sums of non-negative i.i.d. random variables. We show that for every distribution function there exists a proper moderate trimming such that for the trimmed sum a non-trivial strong law of large numbers holds. In case that the distribution function has regularly varying tails we give necessary and sufficient conditions on the trimming for a strong law of large numbers to hold. △ Less

Submitted 6 December, 2017; v1 submitted 16 September, 2016; originally announced September 2016.

Comments: 13 pages

MSC Class: 60F15; 60G50; 62G70

Journal ref: Journal of Theoretical Probability 32(2): 702-720 (2019)

Secure Parallel Processing of Big Data Using Order-Preserving Encryption on Google BigQuery

Authors: Timo Schindler, Christoph Skornia

Abstract: With the increase of centralization of resources in IT-infrastructure and the growing amount of cloud services, database management systems (DBMS) will be more and more outsourced to Infrastructure-as-a-Service (IaaS) providers. The outsourcing of entire databases, or the computation power for processing Big Data to an external provider also means that the provider has full access to the informati… ▽ More With the increase of centralization of resources in IT-infrastructure and the growing amount of cloud services, database management systems (DBMS) will be more and more outsourced to Infrastructure-as-a-Service (IaaS) providers. The outsourcing of entire databases, or the computation power for processing Big Data to an external provider also means that the provider has full access to the information contained in the database. In this article we propose a feasible solution with Order-Preserving Encryption (OPE) and further, state of the art, encryption methods to sort and process Big Data on external resources without exposing the unencrypted data to the IaaS provider. We also introduce a proof-of-concept client for Google BigQuery as example IaaS Provider. △ Less

Submitted 29 August, 2016; originally announced August 2016.

Comments: 6 pages, 2 figures, 1 table, Paper for conference: GI Informatik 2016, Klagenfurt, Heinrich C. Mayr, Martin Pinzger (Hrsg.): INFORMATIK 2016. Lecture Notes in Informatics (LNI), Volume P-259, GI Bonn 2016. date of publication: 26.09.2016, ISBN 978-3-88579-653-4, ISSN 1617-5468

Dynamic Pair Correlations and Superadiabatic Forces in a Dense Brownian Liquid

Authors: Thomas Schindler, Matthias Schmidt

Abstract: We study dynamic two-body correlation functions, i.e. the two-body density, the current-density correlator or van Hove current, and the current-current correlator in Brownian dynamics computer simulations of a dense Lennard-Jones bulk liquid. The dynamic decay of the correlation shells of the two-body density is examined in detail. Inner correlation shells decay faster than outer correlation shell… ▽ More We study dynamic two-body correlation functions, i.e. the two-body density, the current-density correlator or van Hove current, and the current-current correlator in Brownian dynamics computer simulations of a dense Lennard-Jones bulk liquid. The dynamic decay of the correlation shells of the two-body density is examined in detail. Inner correlation shells decay faster than outer correlation shells, whereas outer correlation shells remain stable for increasing times. Within a dynamic test particle picture the mechanism is assumed to be triggered by the dislocation of the self particle, which releases the confinement of the surrounding correlation shells. We present a division of the van Hove current into an adiabatic and a superadiabatic contribution. The magnitude of the adiabatic van Hove current is found to exceed that of the total van Hove current, which is consistent with dynamic density functional theory overestimating the speed of the dynamics. The direction of the superadiabatic van Hove current opposes that of the total van Hove current. The current-current correlator reveals detailed insight in the collisions of the particles. We find a large static nearest-neighbor peak, which results from colliding particles and different dynamic peaks, that are attributed to consecutive collisions. △ Less

Submitted 3 November, 2020; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: 19 pages, 11 figures

MSC Class: 82C05

Journal ref: J. Chem. Phys. 145, 064506 (2016)

Limit theorems for counting large continued fraction digits

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: We establish a central limit theorem for counting large continued fraction digits $(a_n)$, i.e. we count occurrences $\{a_n>b_n\}$, where $(b_n)$ is a sequence of positive integers. Our result improves a similar result by Philipp which additionally assumes that $b_n$ tends to infinity. Moreover, we give a refinement of the famous Borel-Bernstein Theorem for continued fractions regarding the event… ▽ More We establish a central limit theorem for counting large continued fraction digits $(a_n)$, i.e. we count occurrences $\{a_n>b_n\}$, where $(b_n)$ is a sequence of positive integers. Our result improves a similar result by Philipp which additionally assumes that $b_n$ tends to infinity. Moreover, we give a refinement of the famous Borel-Bernstein Theorem for continued fractions regarding the event that the $n$-th continued fraction digit lies infinitely often between $d_n$ and $d_n(1+1/c_n)$ for given sequences $(c_n)$ and $(d_n)$. Also for these sets we obtain a central limit theorem. As an interesting side result we determine the first $φ$-mixing coefficient for the Gauss system explicitly. △ Less

Submitted 28 December, 2018; v1 submitted 22 April, 2016; originally announced April 2016.

Comments: 14 pages

MSC Class: 11K50; 60F20; 60F05

Journal ref: Lith. Math. J. 60, 189-207 (2020)

Discussion of the Gear-Gupta-Leimkuhler method for impacting mechanical systems

Authors: Svenja Schoeder, Heinz Ulbrich, Thorsten Schindler

Abstract: In multibody simulation, the Gear-Gupta-Leimkuhler method for only persistent contacts enforces constraints on position and velocity level at the same time. It yields a robust numerical discretization of differential algebraic equations avoiding the drift-off effect. In this work, we carry over these benefits to impacting mechanical systems with unilateral constraints. For this kind of a mechanica… ▽ More In multibody simulation, the Gear-Gupta-Leimkuhler method for only persistent contacts enforces constraints on position and velocity level at the same time. It yields a robust numerical discretization of differential algebraic equations avoiding the drift-off effect. In this work, we carry over these benefits to impacting mechanical systems with unilateral constraints. For this kind of a mechanical system, adding the position level constraint to a timestep** scheme on velocity level even maintains physical consistency of the impulsive discretization. Hence, we propose a timestep** scheme based on Moreau's midpoint rule which enables to achieve not only compliance of the impact law but also of the non-penetration constraint. The choice of a decoupled and consecutive evaluation of the respective constraints can be interpreted as a not energy-consistent projection to the non-penetration constraint at the end of each time step. It is the implicit coupling of position and velocity level which yields satisfactory results. An implicit evaluation of the right hand side improves stability properties without additional cost. With the prox function formulation, the overall set of nonsmooth equations is solved by a Newton scheme. Results from simulations of a slider-crank mechanism with unilateral constraints demonstrate the capability of our approach. △ Less

Submitted 5 June, 2015; originally announced June 2015.

Journal ref: Multibody System Dynamics, 2014, Volume 31, Issue 4, pp 477-495

Mixed timestep** schemes for nonsmooth mechanics with high frequency dam**

Authors: Shahed Rezaei, Thorsten Schindler

Abstract: This work deals with the integration of nonsmooth flexible multibody systems with impacts and dry friction. We develop a framework which improves a non-impulsive trajectory of state variables by impulsive correction after each time-step if necessary. This correction is automatic and is evaluated on the same kinematic level as the piecewise non-impulsive trajectory. The resulting overall mixed time… ▽ More This work deals with the integration of nonsmooth flexible multibody systems with impacts and dry friction. We develop a framework which improves a non-impulsive trajectory of state variables by impulsive correction after each time-step if necessary. This correction is automatic and is evaluated on the same kinematic level as the piecewise non-impulsive trajectory. The resulting overall mixed timestep** scheme is consistent with respect to impacts and friction as well as benefits from advantages of the base integration schemes used to calculate the approximation inside the time-step. Therefore, we compare the generalized-$α$ method, the Bathe method and the ED-$α$ method. △ Less

Submitted 11 March, 2017; v1 submitted 28 May, 2015; originally announced May 2015.