-
Persistent coherent many-body oscillations in a non-integrable quantum Ising chain
Authors:
Francis A. Bayocboc Jr.,
Jacek Dziarmaga,
Marek M. Rams,
Wojciech H. Zurek
Abstract:
We identify persistent oscillations in a nonintegrable quantum Ising chain left behind by a rapid transition into a ferromagnetic phase. In the integrable chain with nearest-neighbor (NN) interactions, the nature, origin, and decay of post-transition oscillations are tied to the Kibble-Zurek mechanism (KZM). However, when coupling to the next nearest neighbor (NNN) is added, the resulting noninteg…
▽ More
We identify persistent oscillations in a nonintegrable quantum Ising chain left behind by a rapid transition into a ferromagnetic phase. In the integrable chain with nearest-neighbor (NN) interactions, the nature, origin, and decay of post-transition oscillations are tied to the Kibble-Zurek mechanism (KZM). However, when coupling to the next nearest neighbor (NNN) is added, the resulting nonintegrable Ising chain (still in the quantum Ising chain universality class) supports persistent post-transition oscillation: KZM-like oscillations turn into persistent oscillations of transverse magnetization. Their longevity in our simulations is likely limited only by the numerical accuracy. Their period differs from the decaying KZM oscillation but their amplitude depends on quench rate. Moreover, they can be excited by driving in resonance with the excitations' energy gap. Thus, while one might have expected that the integrability-breaking NNN coupling would facilitate relaxation, the oscillations we identify are persistent. At low to medium transverse fields, they are associated with Cooper pairs of Bogoliubov quasiparticles -- kinks. This oscillation of the pair condensate is a manifestation of quantum coherence.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
An inhomogeneous adiabatic preparation of a quantum critical ground state in two dimensions
Authors:
Ihor Sokolov,
Francis A. Bayocboc Jr.,
Marek M. Rams,
Jacek Dziarmaga
Abstract:
Adiabatic preparation of a critical ground state is hampered by the closing of its energy gap as the system size increases. However, this gap is directly relevant only for a uniform ramp, where a control parameter in the Hamiltonian is tuned uniformly in space towards the quantum critical point. Here, we consider inhomogeneous ramps in two dimensions: initially, the parameter is made critical at t…
▽ More
Adiabatic preparation of a critical ground state is hampered by the closing of its energy gap as the system size increases. However, this gap is directly relevant only for a uniform ramp, where a control parameter in the Hamiltonian is tuned uniformly in space towards the quantum critical point. Here, we consider inhomogeneous ramps in two dimensions: initially, the parameter is made critical at the center of a lattice, from where the critical region expands at a fixed velocity. In the 1D and 2D quantum Ising models, which have a well-defined speed of sound at the critical point, the ramp becomes adiabatic with a subsonic velocity. This subsonic ramp can prepare the critical state faster than a uniform one. Moreover, in both a model of $p$-wave paired 2D fermions and the Kitaev model, the critical dispersion is anisotropic -- linear with a nonzero velocity in one direction and quadratic in the other -- but the gap is still inversely proportional to the linear size of the critical region, with a coefficient proportional to the nonzero velocity. This suffices to make the inhomogeneous ramp adiabatic below a finite crossover velocity and superior to the homogeneous one.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
YASTN: Yet another symmetric tensor networks; A Python library for abelian symmetric tensor network calculations
Authors:
Marek M. Rams,
Gabriela Wójtowicz,
Aritra Sinha,
Juraj Hasik
Abstract:
We present an open-source tensor network Python library for quantum many-body simulations. At its core is an abelian-symmetric tensor, implemented as a sparse block structure managed by logical layer on top of dense multi-dimensional array backend. This serves as the basis for higher-level tensor networks algorithms, operating on matrix product states and projected entangled pair states, implement…
▽ More
We present an open-source tensor network Python library for quantum many-body simulations. At its core is an abelian-symmetric tensor, implemented as a sparse block structure managed by logical layer on top of dense multi-dimensional array backend. This serves as the basis for higher-level tensor networks algorithms, operating on matrix product states and projected entangled pair states, implemented here. Using appropriate backend, such as PyTorch, gives direct access to automatic differentiation (AD) for cost-function gradient calculations and execution on GPUs or other supported accelerators. We show the library performance in simulations with infinite projected entangled-pair states, such as finding the ground states with AD, or simulating thermal states of the Hubbard model via imaginary time evolution. We quantify sources of performance gains in those challenging examples allowed by utilizing symmetries.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Computational supremacy in quantum simulation
Authors:
Andrew D. King,
Alberto Nocera,
Marek M. Rams,
Jacek Dziarmaga,
Roeland Wiersema,
William Bernoudy,
Jack Raymond,
Nitin Kaushal,
Niclas Heinsdorf,
Richard Harris,
Kelly Boothby,
Fabio Altomare,
Andrew J. Berkley,
Martin Boschnak,
Kevin Chern,
Holly Christiani,
Samantha Cibere,
Jake Connor,
Martin H. Dehn,
Rahul Deshpande,
Sara Ejtemaee,
Pau Farré,
Kelsey Hamer,
Emile Hoskinson,
Shuiyuan Huang
, et al. (37 additional authors not shown)
Abstract:
Quantum computers hold the promise of solving certain problems that lie beyond the reach of conventional computers. Establishing this capability, especially for impactful and meaningful problems, remains a central challenge. One such problem is the simulation of nonequilibrium dynamics of a magnetic spin system quenched through a quantum phase transition. State-of-the-art classical simulations dem…
▽ More
Quantum computers hold the promise of solving certain problems that lie beyond the reach of conventional computers. Establishing this capability, especially for impactful and meaningful problems, remains a central challenge. One such problem is the simulation of nonequilibrium dynamics of a magnetic spin system quenched through a quantum phase transition. State-of-the-art classical simulations demand resources that grow exponentially with system size. Here we show that superconducting quantum annealing processors can rapidly generate samples in close agreement with solutions of the Schrödinger equation. We demonstrate area-law scaling of entanglement in the model quench in two-, three- and infinite-dimensional spin glasses, supporting the observed stretched-exponential scaling of effort for classical approaches. We assess approximate methods based on tensor networks and neural networks and conclude that no known approach can achieve the same accuracy as the quantum annealer within a reasonable timeframe. Thus quantum annealers can answer questions of practical importance that classical computers cannot.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Basic thermodynamical formalism for sandwich subshifts
Authors:
Joanna Kułaga-Przymus,
Michał D. Lemańczyk,
Michał Rams
Abstract:
Consider a partial order on $\{0,1\}^{\mathbb Z}: x\leq y$ when $x_i\leq y_i$ for all $i\in\mathbb{Z}$. A subshift $X\subset\{0,1\}^{\mathbb{Z}}$ is hereditary if together with any $x\in \{0,1\}^{\mathbb Z}$ it contains all $y\leq x$. Heuristically speaking, a hereditary subshift contains all the elements between maximal elements (with respect to this partial order) and the element…
▽ More
Consider a partial order on $\{0,1\}^{\mathbb Z}: x\leq y$ when $x_i\leq y_i$ for all $i\in\mathbb{Z}$. A subshift $X\subset\{0,1\}^{\mathbb{Z}}$ is hereditary if together with any $x\in \{0,1\}^{\mathbb Z}$ it contains all $y\leq x$. Heuristically speaking, a hereditary subshift contains all the elements between maximal elements (with respect to this partial order) and the element $0^{\mathbb Z}$. In a particular situation when it suffices to take (the orbit closure of) all the elements between a single maximal element $x$ and the element $0^{\mathbb Z}$, we speak of subordinate subshifts. In this paper we investigate measure-theoretic properties of such subshifts, with a special emphasis on thermodynamical formalism. The key notion is a measure-theoretic counterpart of subordinate subshifts, where the role of a single maximal element is replaced with a single (maximal with respect to a certain order) invariant measure on $\{0,1\}^{\mathbb{Z}}$.
We also introduce and investigate two-sided analogues of the above classes, we call them {\it sandwich hereditary}, {\it sandwich subordinate} and {\it sandwich measure-theoretically subordinate} subshifts. Sandwich hereditary subshifts can be thought of as sets of elements between some pairs of maximal and minimal elements satisfying certain assumptions. Sandwich subordinate subshifts occur when it suffices to take (the orbit closure of) all the elements between a single pair of sequences $(w,x)$, where $w\leq x$. In sandwich measure-theoretically subordinate subshifts, the role of a pair of sequences is replaced by a pair (precisely speaking: a joining) of two invariant measures on $\{0,1\}^{\mathbb{Z}}$.
The notions and results are motivated by those from the theory of so-called $\mathscr{B}$-free systems.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Loosely Bernoulli zero exponent measures for elliptic matrix cocycles
Authors:
L. J. Díaz,
K. Gelfert,
M. Rams
Abstract:
For an open and dense subset of elliptic ${\rm SL}(2,\mathbb R)$ matrix cocycles, we construct a family of loosely Bernoulli ergodic measures with zero top Lyapunov exponent. This provides a counterpart to a classical result by Furstenberg. The construction gives also an $\bar f$-connected set of measures with these properties whose entropies vary continuously from zero to almost the maximal possi…
▽ More
For an open and dense subset of elliptic ${\rm SL}(2,\mathbb R)$ matrix cocycles, we construct a family of loosely Bernoulli ergodic measures with zero top Lyapunov exponent. This provides a counterpart to a classical result by Furstenberg. The construction gives also an $\bar f$-connected set of measures with these properties whose entropies vary continuously from zero to almost the maximal possible value. We also obtain an analogous result for an open class of nonhyperbolic step skew products with $\mathbb S^1$ diffeomorphism fiber maps. Our approach combines substitution schemes between finite letter alphabets and differentiable dynamics.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Efficient Representation of Minimally Entangled Typical Thermal States in two dimensions via Projected Entangled Pair States
Authors:
Aritra Sinha,
Marek M. Rams,
Jacek Dziarmaga
Abstract:
The Minimally Entangled Typical Thermal States (METTS) are an ensemble of pure states, equivalent to the Gibbs thermal state, that can be efficiently represented by tensor networks. In this article, we use the Projected Entangled Pair States (PEPS) ansatz as to represent METTS on a two-dimensional (2D) lattice. While Matrix Product States (MPS) are less efficient for 2D systems due to their comple…
▽ More
The Minimally Entangled Typical Thermal States (METTS) are an ensemble of pure states, equivalent to the Gibbs thermal state, that can be efficiently represented by tensor networks. In this article, we use the Projected Entangled Pair States (PEPS) ansatz as to represent METTS on a two-dimensional (2D) lattice. While Matrix Product States (MPS) are less efficient for 2D systems due to their complexity growing exponentially with the lattice size, PEPS provide a more tractable approach. To substantiate the prowess of PEPS in modeling METTS (dubbed as PEPS-METTS), we benchmark it against the purification method for the 2D quantum Ising model at its critical temperature. Our analysis reveals that PEPS-METTS achieves accurate long-range correlations with significantly lower bond dimensions. We further corroborate this finding in the 2D Fermi Hubbard model at half-filling. At a technical level, we introduce an efficient \textit{zipper} method to obtain PEPS boundary matrix product states needed to compute expectation values. The imaginary time evolution is performed with the neighbourhood tensor update.
△ Less
Submitted 23 January, 2024; v1 submitted 12 October, 2023;
originally announced October 2023.
-
The confluence of fractured resonances at points of dynamical, many--body flare
Authors:
Bitan De,
Gabriela Wójtowicz,
Marek M. Rams,
Michael Zwolak,
Jakub Zakrzewski
Abstract:
Resonant transport occurs when there is a matching of frequencies across some spatial medium, increasing the efficiency of shuttling particles from one reservoir to another. We demonstrate that in a periodically driven, many--body titled lattice, there are sets of spatially fractured resonances. These ``emanate'' from two essential resonances due to scattering off internal surfaces created when th…
▽ More
Resonant transport occurs when there is a matching of frequencies across some spatial medium, increasing the efficiency of shuttling particles from one reservoir to another. We demonstrate that in a periodically driven, many--body titled lattice, there are sets of spatially fractured resonances. These ``emanate'' from two essential resonances due to scattering off internal surfaces created when the driving frequency and many--body interaction strength vary, a scattering reminiscent of lens flare. The confluence of these fractured resonances dramatically enhances transport. At one confluence, the interaction strength is finite and the essential resonance arises due to the interplay of interaction with the counter--rotating terms of the periodic drive. We discuss the origin and structure of the fractured resonances, as well as the scaling of the conductance with system parameters. These results furnish a new example of the richness of open, driven, many--body systems.
△ Less
Submitted 4 March, 2024; v1 submitted 23 August, 2023;
originally announced August 2023.
-
Transport in a periodically driven tilted lattice via the extended reservoir approach: Stability criterion for recovering the continuum limit
Authors:
Bitan De,
Gabriela Wojtowicz,
Jakub Zakrzewski,
Michael Zwolak,
Marek M. Rams
Abstract:
Extended reservoirs provide a framework for capturing macroscopic, continuum environments, such as metallic electrodes driving a current through a nanoscale contact, impurity, or material. We examine the application of this approach to periodically driven systems, specifically in the context of quantum transport. As with non--equilibrium steady states in time--independent scenarios, the current di…
▽ More
Extended reservoirs provide a framework for capturing macroscopic, continuum environments, such as metallic electrodes driving a current through a nanoscale contact, impurity, or material. We examine the application of this approach to periodically driven systems, specifically in the context of quantum transport. As with non--equilibrium steady states in time--independent scenarios, the current displays a Kramers' turnover including the formation of a plateau region that captures the physical, continuum limit response. We demonstrate that a simple stability criteria identifies an appropriate relaxation rate to target this physical plateau. Using this approach, we study quantum transport through a periodically driven tilted lattice coupled to two metallic reservoirs held at a finite bias and temperature. We use this model to benchmark the extended reservoir approach and assess the stability criteria. The approach recovers well--understood physical behavior in the limit of weak system--reservoir coupling. Extended reservoirs enable addressing strong coupling and non--linear response as well, where we analyze how transport responds to the dynamics inside the driven lattice. These results set the foundations for the use of extended reservoir approach for periodically driven, quantum systems, such as many--body Floquet states.
△ Less
Submitted 8 July, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Path-dependent shrinking targets in generic affine iterated function systems
Authors:
Henna Koivusalo,
Lingmin Liao,
Michal Rams
Abstract:
We calculate the Hausdorff dimension of path-dependent shrinking target sets in generic affine iterated function systems. Here, by a path-dependent shrinking target set, we mean a set of points whose orbits infinitely often hit small balls with a fixed generic centre and with radius decreasing and dependent on the point itself. It turns out that the Hausdorff dimension of such a set is given by th…
▽ More
We calculate the Hausdorff dimension of path-dependent shrinking target sets in generic affine iterated function systems. Here, by a path-dependent shrinking target set, we mean a set of points whose orbits infinitely often hit small balls with a fixed generic centre and with radius decreasing and dependent on the point itself. It turns out that the Hausdorff dimension of such a set is given by the zero point of a certain limsup pressure function. The result generalizes the work of Koivusalo and Ramirez, and Barany and Troscheit, as well as that of Hill and Velani.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Accumulative reservoir construction: Bridging continuously relaxed and periodically refreshed extended reservoirs
Authors:
Gabriela Wojtowicz,
Archak Purkayastha,
Michael Zwolak,
Marek M. Rams
Abstract:
The simulation of open many-body quantum systems is challenging, requiring methods to both handle exponentially large Hilbert spaces and represent the influence of (infinite) particle and energy reservoirs. These two requirements are at odds with each other: Larger collections of modes can increase the fidelity of the reservoir representation but come at a substantial computational cost when inclu…
▽ More
The simulation of open many-body quantum systems is challenging, requiring methods to both handle exponentially large Hilbert spaces and represent the influence of (infinite) particle and energy reservoirs. These two requirements are at odds with each other: Larger collections of modes can increase the fidelity of the reservoir representation but come at a substantial computational cost when included in numerical many-body techniques. An increasingly utilized and natural approach to control the growth of the reservoir is to cast a finite set of reservoir modes themselves as an open quantum system. There are, though, many routes to do so. Here, we introduce an accumulative reservoir construction -- an ARC -- that employs a series of partial refreshes of the extended reservoirs. Through this series, the representation accumulates the character of an infinite reservoir. This provides a unified framework for both continuous (Lindblad) relaxation and a recently introduced periodically refresh approach (i.e., discrete resets of the reservoir modes to equilibrium). In the context of quantum transport, we show that the phase space for physical behavior separates into discrete and continuous relaxation regimes with the boundary between them set by natural, physical timescales. Both of these regimes "turnover" into regions of over- and under-damped coherence in a way reminiscent of Kramers' crossover. We examine how the range of behavior impacts errors and the computational cost, including within tensor networks. These results provide the first comparison of distinct extended reservoir approaches, showing that they have different scaling of error versus cost (with a bridging ARC regime decaying fastest). Exploiting the enhanced scaling, though, will be challenging, as it comes with a substantial increase in (operator space) entanglement entropy.
△ Less
Submitted 27 January, 2023; v1 submitted 10 October, 2022;
originally announced October 2022.
-
Finite temperature tensor network study of the Hubbard model on an infinite square lattice
Authors:
Aritra Sinha,
Marek M. Rams,
Piotr Czarnik,
Jacek Dziarmaga
Abstract:
The Hubbard model is a longstanding problem in the theory of strongly correlated electrons and a very active one in the experiments with ultracold fermionic atoms. Motivated by current and prospective quantum simulations, we apply a two-dimensional tensor network, an infinite projected entangled pair state, evolved in imaginary time by the neighborhood tensor update algorithm working directly in t…
▽ More
The Hubbard model is a longstanding problem in the theory of strongly correlated electrons and a very active one in the experiments with ultracold fermionic atoms. Motivated by current and prospective quantum simulations, we apply a two-dimensional tensor network, an infinite projected entangled pair state, evolved in imaginary time by the neighborhood tensor update algorithm working directly in the thermodynamic limit. With U(1)xU(1) symmetry and the bond dimensions up to 29, we generate thermal states down to the temperature of 0.17 times the hop** rate. We obtain results for spin and charge correlators, unaffected by boundary effects. The spin correlators, measurable in prospective ultracold atoms experiments attempting to approach the thermodynamic limit, provide evidence of disruption of the antiferromagnetic background with mobile holes in a slightly doped Hubbard model. The charge correlators reveal the presence of hole-doublon pairs near half filling and signatures of hole-hole repulsion on do**. We also obtain specific heat in the slightly doped regime.
△ Less
Submitted 29 October, 2022; v1 submitted 19 July, 2022;
originally announced September 2022.
-
Kink correlations, domain size distribution, and the emptiness formation probability after the Kibble-Zurek quench in the quantum Ising chain
Authors:
Jacek Dziarmaga,
Marek M. Rams
Abstract:
Linear quench of the transverse field drives the quantum Ising chain across a quantum critical point from the paramagnetic to the ferromagnetic phase. We focus on normal and anomalous quadratic correlators between fermionic kink creation and annihilation operators. They depend not only on the Kibble-Zurek (KZ) correlation length but also on a dephasing length scale, which differs from the KZ lengt…
▽ More
Linear quench of the transverse field drives the quantum Ising chain across a quantum critical point from the paramagnetic to the ferromagnetic phase. We focus on normal and anomalous quadratic correlators between fermionic kink creation and annihilation operators. They depend not only on the Kibble-Zurek (KZ) correlation length but also on a dephasing length scale, which differs from the KZ length by a logarithmic correction. Additional slowing down of the ramp in the ferromagnetic phase further increases the dephasing length and suppresses the anomalous correlator. The quadratic correlators enter Pfaffians that yield experimentally relevant kink correlation functions, the probability distribution of ferromagnetic domain sizes, and, closely related, emptiness formation probability. The latter takes the form of a Pfaffian of a block Toeplitz matrix that allows for some analytic asymptotes. Finally, we obtain further insight into the structure of the state at the end of the ramp by interpreting it as a paired state of fermionic kinks characterized by its pair wave function. All those quantities are sensitive to quantum coherence between eigenstates with different numbers of kinks, thus making them a convenient probe of the quantumness of a quantum simulator platform.
△ Less
Submitted 15 July, 2022; v1 submitted 17 May, 2022;
originally announced May 2022.
-
Coherent Many-Body Oscillations Induced by a Superposition of Broken Symmetry States in the Wake of a Quantum Phase Transition
Authors:
Jacek Dziarmaga,
Marek M. Rams,
Wojciech H. Zurek
Abstract:
It is now widely accepted that quenches through the critical region of quantum phase transitions result in post-transition states populated with topological defects -- analogs of the classical topological defects. However, consequences of the very non-classical fact that the state after a quench is a {\it superposition} of distinct, broken-symmetry vacua with different numbers and locations of def…
▽ More
It is now widely accepted that quenches through the critical region of quantum phase transitions result in post-transition states populated with topological defects -- analogs of the classical topological defects. However, consequences of the very non-classical fact that the state after a quench is a {\it superposition} of distinct, broken-symmetry vacua with different numbers and locations of defects have remained largely unexplored. We identify coherent quantum oscillations induced by such superpositions in observables complementary to the one involved in symmetry breaking. These oscillations satisfy Kibble-Zurek dynamical scaling laws with the quench rate, with an instantaneous oscillation frequency set primarily by the gap of the system. In addition to the obvious fundamental significance of a superposition of different broken symmetry states, quantum coherent oscillations can be used to verify unitarity and test for imperfections of the experimental implementations of quantum simulators.
△ Less
Submitted 14 December, 2022; v1 submitted 29 January, 2022;
originally announced January 2022.
-
Sampling diverse near-optimal solutions via algorithmic quantum annealing
Authors:
Masoud Mohseni,
Marek M. Rams,
Sergei V. Isakov,
Daniel Eppens,
Susanne Pielawa,
Johan Strumpfer,
Sergio Boixo,
Hartmut Neven
Abstract:
Sampling a diverse set of high-quality solutions for hard optimization problems is of great practical relevance in many scientific disciplines and applications, such as artificial intelligence and operations research. One of the main open problems is the lack of ergodicity, or mode collapse, for typical stochastic solvers based on Monte Carlo techniques leading to poor generalization or lack of ro…
▽ More
Sampling a diverse set of high-quality solutions for hard optimization problems is of great practical relevance in many scientific disciplines and applications, such as artificial intelligence and operations research. One of the main open problems is the lack of ergodicity, or mode collapse, for typical stochastic solvers based on Monte Carlo techniques leading to poor generalization or lack of robustness to uncertainties. Currently, there is no universal metric to quantify such performance deficiencies across various solvers. Here, we introduce a new diversity measure for quantifying the number of independent approximate solutions for NP-hard optimization problems. Among others, it allows benchmarking solver performance by a required time-to-diversity (TTD), a generalization of often used time-to-solution (TTS). We illustrate this metric by comparing the sampling power of various quantum annealing strategies. In particular, we show that the inhomogeneous quantum annealing schedules can redistribute and suppress the emergence of topological defects by controlling space-time separated critical fronts, leading to an advantage over standard quantum annealing schedules with respect to both TTS and TTD for finding rare solutions. Using path-integral Monte Carlo simulations for up to 1600 qubits, we demonstrate that nonequilibrium driving of quantum fluctuations, guided by efficient approximate tensor network contractions, can significantly reduce the fraction of hard instances for random frustrated 2D spin-glasses with local fields. Specifically, we observe that by creating a class of algorithmic quantum phase transitions, the diversity of solutions can be enhanced by up to 40% with the fraction of hard-to-sample instances reducing by more than 25%.
△ Less
Submitted 11 January, 2024; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Spectrum of weighted Birkhoff average
Authors:
Balázs Bárány,
Michał\ Rams,
Ruxi Shi
Abstract:
Let $\{s_n\}_{n\in\N}$ be a decreasing nonsummable sequence of positive reals. In this paper, we investigate the weighted Birkhoff average $\frac{1}{S_n}\sum_{k=0}^{n-1}s_kφ(T^kx)$ on aperiodic irreducible subshift of finite type $Σ_{\bf A}$ where $φ: Σ_{\bf A}\mapsto \R$ is a continuous potential. Firstly, we show the entropy spectrum of the weighed Birkhoff averages remains the same as that of t…
▽ More
Let $\{s_n\}_{n\in\N}$ be a decreasing nonsummable sequence of positive reals. In this paper, we investigate the weighted Birkhoff average $\frac{1}{S_n}\sum_{k=0}^{n-1}s_kφ(T^kx)$ on aperiodic irreducible subshift of finite type $Σ_{\bf A}$ where $φ: Σ_{\bf A}\mapsto \R$ is a continuous potential. Firstly, we show the entropy spectrum of the weighed Birkhoff averages remains the same as that of the Birkhoff averages. Then we calculate the packing spectrum of the weighed Birkhoff averages. It turns out that we can have two cases, either the packing dimension of every level set equals to its Hausdorff dimension or for every nonempty level set it is equal to the packing dimension of the whole space.
△ Less
Submitted 7 June, 2022; v1 submitted 8 September, 2021;
originally announced September 2021.
-
Quantum phase transition dynamics in the two-dimensional transverse-field Ising model
Authors:
Markus Schmitt,
Marek M. Rams,
Jacek Dziarmaga,
Markus Heyl,
Wojciech H. Zurek
Abstract:
The quantum Kibble-Zurek mechanism (QKZM) predicts universal dynamical behavior near the quantum phase transitions (QPTs). It is now well understood for the one-dimensional quantum matter. Higher-dimensional systems, however, remain a challenge, complicated by the fundamentally different character of the associated QPTs and their underlying conformal field theories. In this work, we take the first…
▽ More
The quantum Kibble-Zurek mechanism (QKZM) predicts universal dynamical behavior near the quantum phase transitions (QPTs). It is now well understood for the one-dimensional quantum matter. Higher-dimensional systems, however, remain a challenge, complicated by the fundamentally different character of the associated QPTs and their underlying conformal field theories. In this work, we take the first steps toward theoretical exploration of the QKZM in two dimensions for interacting quantum matter. We study the dynamical crossing of the QPT in the paradigmatic Ising model by a joint effort of modern state-of-the-art numerical methods, including artificial neural networks and tensor networks. As a central result, we quantify universal QKZM behavior close to the QPT. We also note that, upon traversing further into the ferromagnetic regime, deviations from the QKZM prediction appear. We explain the observed behavior by proposing an {\it extended QKZM} taking into account spectral information as well as phase ordering. Our work provides a testing platform for higher-dimensional quantum simulators.
△ Less
Submitted 25 October, 2022; v1 submitted 16 June, 2021;
originally announced June 2021.
-
Performance of Reservoir Discretizations in Quantum Transport Simulations
Authors:
Justin E. Elenewski,
Gabriela Wójtowicz,
Marek M. Rams,
Michael Zwolak
Abstract:
Quantum transport simulations often use explicit, yet finite, electronic reservoirs. These should converge to the correct continuum limit, albeit with a trade-off between discretization and computational cost. Here, we study this interplay for extended reservoir simulations, where relaxation maintains a bias or temperature drop across the system. Our analysis begins in the non-interacting limit, w…
▽ More
Quantum transport simulations often use explicit, yet finite, electronic reservoirs. These should converge to the correct continuum limit, albeit with a trade-off between discretization and computational cost. Here, we study this interplay for extended reservoir simulations, where relaxation maintains a bias or temperature drop across the system. Our analysis begins in the non-interacting limit, where we parameterize different discretizations to compare them on an even footing. For many-body systems, we develop a method to estimate the relaxation that best approximates the continuum by controlling virtual transitions in Kramers' turnover for the current. While some discretizations are more efficient for calculating currents, there is little benefit with regard to the overall state of the system. Any gains become marginal for many-body, tensor network simulations, where the relative performance of discretizations varies when swee** other numerical controls. These results indicate that a given reservoir discretization may have little impact on numerical efficiency for certain computational tools. The choice of a relaxation parameter, however, is crucial, and the method we develop provides a reliable estimate of the optimal relaxation for finite reservoirs.
△ Less
Submitted 4 May, 2021;
originally announced May 2021.
-
Variational principle for nonhyperbolic ergodic measures: Skew products and elliptic cocycles
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
Michał Rams
Abstract:
For a large class of transitive non-hyperbolic systems, we construct nonhyperbolic ergodic measures with entropy arbitrarily close to its maximal possible value. The systems we consider are partially hyperbolic with one-dimension central direction for which there are positive entropy ergodic measures whose central Lyapunov exponent is negative, zero, or positive. We construct ergodic measures with…
▽ More
For a large class of transitive non-hyperbolic systems, we construct nonhyperbolic ergodic measures with entropy arbitrarily close to its maximal possible value. The systems we consider are partially hyperbolic with one-dimension central direction for which there are positive entropy ergodic measures whose central Lyapunov exponent is negative, zero, or positive. We construct ergodic measures with zero central Lyapunov exponent whose entropy is positive and arbitrarily close to the topological entropy of the set of points with central Lyapunov exponent zero. This provides a restricted variational principle for nonhyperbolic (zero exponent) ergodic measures.
The result is applied to the setting of $\mathrm{SL}(2,\mathbb R)$ matrix cocycles and provides a counterpart to Furstenberg's classical result: for an open and dense subset of elliptic $\mathrm{SL}(2,\mathbb R)$ cocycles we construct ergodic measures with upper Lyapunov exponent zero and with metric entropy arbitrarily close to the topological entropy of the set of infinite matrix products with subexponential growth of the norm.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Dual current anomalies and quantum transport within extended reservoir simulations
Authors:
Gabriela Wojtowicz,
Justin E. Elenewski,
Marek M. Rams,
Michael Zwolak
Abstract:
Quantum transport simulations are rapidly evolving and now encompass well-controlled tensor network techniques for many-body limits. One powerful approach combines matrix product states with extended reservoirs. In this method, continuous reservoirs are represented by explicit, discretized counterparts and a chemical potential or temperature drop is maintained by external relaxation. Currents are…
▽ More
Quantum transport simulations are rapidly evolving and now encompass well-controlled tensor network techniques for many-body limits. One powerful approach combines matrix product states with extended reservoirs. In this method, continuous reservoirs are represented by explicit, discretized counterparts and a chemical potential or temperature drop is maintained by external relaxation. Currents are strongly influenced by relaxation when it is very weak or strong, resulting in a simulation analog of Kramers' turnover for solution-phase chemical reactions. At intermediate relaxation, the intrinsic conductance, that given by the Landauer or Meir-Wingreen expressions, moderates the current. We demonstrate that strong impurity scattering (i.e., a small steady-state current) reveals anomalous transport regimes within this methodology at weak-to-moderate and moderate-to-strong relaxation. The former is due to virtual transitions and the latter to unphysical broadening of the populated density of states. Thus, the turnover analog has $five$ standard transport regimes, further constraining the parameters that lead to recovery of the intrinsic conductance. In the worst case, the common strategy of choosing a relaxation strength proportional to the reservoir level spacing can prevent convergence to the continuum limit. This advocates a simulation strategy where one utilizes the current versus relaxation turnover profiles to identify simulation parameters that most efficiently reproduce the intrinsic physical behavior.
△ Less
Submitted 20 October, 2021; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Tensor network study of the $m=1/2$ magnetization plateau in the Shastry-Sutherland model at finite temperature
Authors:
Piotr Czarnik,
Marek M. Rams,
Philippe Corboz,
Jacek Dziarmaga
Abstract:
The two-dimensional infinite projected entangled pair states tensor network is evolved in imaginary time with the full update (FU) algorithm to simulate the Shastry-Sutherland model in a magnetic field at finite temperature directly in the thermodynamic limit. We focus on the phase transition into the $m=1/2$ magnetization plateau, which was observed in experiments on SrCu$_2$(BO$_3$)$_2$. For the…
▽ More
The two-dimensional infinite projected entangled pair states tensor network is evolved in imaginary time with the full update (FU) algorithm to simulate the Shastry-Sutherland model in a magnetic field at finite temperature directly in the thermodynamic limit. We focus on the phase transition into the $m=1/2$ magnetization plateau, which was observed in experiments on SrCu$_2$(BO$_3$)$_2$. For the largest simulated bond dimension, the early evolution in the high-temperature regime is simulated with the simple update (SU) scheme and then, as the correlation length increases, continued with the FU scheme towards the critical regime. We apply a small symmetry-breaking bias field and then extrapolate towards zero bias using a simple scaling theory in the bias field. The combined SU + FU scheme provides an accurate estimate of the critical temperature, even though the results could not be fully converged in the bond dimension in the vicinity of the transition. The critical temperature estimate is improved with a generalized scaling theory that combines two divergent length scales: One due to the bias, and the other due to the finite bond dimension. The obtained results are consistent with the transition being in the universality class of the two-dimensional classical Ising model. The estimated critical temperature is $3.5(2)$ K, which is well above the temperature $2.1$ K used in the experiments.
△ Less
Submitted 5 February, 2021; v1 submitted 9 December, 2020;
originally announced December 2020.
-
Inhomogeneity induced shortcut to adiabaticity in Ising chains with long-range interactions
Authors:
Aritra Sinha,
Debasis Sadhukhan,
Marek M. Rams,
Jacek Dziarmaga
Abstract:
Driving a homogeneous system across a quantum phase transition in a quench-time $τ_Q$ generates excitations on wavelengths longer than the Kibble-Zurek (KZ) length $\hatξ\proptoτ_Q^{ν/(1+zν)}$ within the KZ time window $\hat t\proptoτ_Q^{zν/(1+zν)}$, where $z$ and $ν$ are the critical exponents. Quenches designed with local time-dependent inhomogeneity can introduce a gap in the spectrum. For a va…
▽ More
Driving a homogeneous system across a quantum phase transition in a quench-time $τ_Q$ generates excitations on wavelengths longer than the Kibble-Zurek (KZ) length $\hatξ\proptoτ_Q^{ν/(1+zν)}$ within the KZ time window $\hat t\proptoτ_Q^{zν/(1+zν)}$, where $z$ and $ν$ are the critical exponents. Quenches designed with local time-dependent inhomogeneity can introduce a gap in the spectrum. For a variety of setups with short-range interactions, they have been shown to suppress excitations if the spatial velocity of the inhomogenous front is below the characteristic KZ velocity $\hat v \propto \hatξ/\hat t$. Ising-like models with long-range interactions can have no sonic horizon, spreading information instantaneously across the system. Usually, this should imply that inhomogenous transitions will render the dynamics adiabatic regardless of the front velocity. However, we show that we get an adiabatic transition with no defects only when the inhomogeneous front moves slower than a characteristic crossover velocity $\tilde v \propto θ^{(z-1)ν/(1+ν)}$, where $θ$ is the slope of the inhomogeneous front at the critical point. The existence of this crossover velocity and adiabaticity of the model is a consequence of the energy gap in the quasiparticle spectrum that is opened by the inhomogeneity. This effect can be employed for efficient adiabatic quantum state preparation in systems with long-range interactions.
△ Less
Submitted 16 December, 2020; v1 submitted 12 October, 2020;
originally announced October 2020.
-
On the multifractal spectrum of weighted Birkhoff averages
Authors:
Balázs Bárány,
Michał Rams,
Ruxi Shi
Abstract:
In this paper, we study the topological spectrum of weighted Birkhoff averages over aperiodic and irreducible subshifts of finite type. We show that for a uniformly continuous family of potentials, the spectrum is continuous and concave over its domain. In case of typical weights with respect to some ergodic quasi-Bernoulli measure, we determine the spectrum. Moreover, in case of full shift and un…
▽ More
In this paper, we study the topological spectrum of weighted Birkhoff averages over aperiodic and irreducible subshifts of finite type. We show that for a uniformly continuous family of potentials, the spectrum is continuous and concave over its domain. In case of typical weights with respect to some ergodic quasi-Bernoulli measure, we determine the spectrum. Moreover, in case of full shift and under the assumption that the potentials depend only on the first coordinate, we show that our result is applicable for regular weights, like Möbius sequence.
△ Less
Submitted 14 September, 2021; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Hausdorff measure and Assouad dimension of generic self-conformal IFS on the line
Authors:
Balázs Bárány,
István Kolossváry,
Michał Rams,
Károly Simon
Abstract:
This paper considers self-conformal iterated function systems (IFSs) on the real line whose first level cylinders overlap. In the space of self-conformal IFSs, we show that generically (in topological sense) if the attractor of such a system has Hausdorff dimension less than $1$ then it has zero appropriate dimensional Hausdorff measure and its Assouad dimension is equal to $1$. Our main contribut…
▽ More
This paper considers self-conformal iterated function systems (IFSs) on the real line whose first level cylinders overlap. In the space of self-conformal IFSs, we show that generically (in topological sense) if the attractor of such a system has Hausdorff dimension less than $1$ then it has zero appropriate dimensional Hausdorff measure and its Assouad dimension is equal to $1$. Our main contribution is in showing that if the cylinders intersect then the IFS generically does not satisfy the weak separation property and hence, we may apply a recent result of Angelevska, Käenmäki and Troscheit [BLMS, 2020]. This phenomenon holds for transversal families (in particular for the translation family) typically, in the self-similar case, in both topological and in measure theoretical sense, and in the more general self-conformal case in the topological sense.
△ Less
Submitted 14 November, 2020; v1 submitted 3 June, 2020;
originally announced June 2020.
-
Mingled hyperbolicities: ergodic properties and bifurcation phenomena (an approach using concavity)
Authors:
L. J. Díaz,
K. Gelfert,
M. Rams
Abstract:
We consider skew-products with concave interval fiber maps over a certain subshift obtained as the projection of orbits staying in a given region. It generates a new type of (essentially) coded shift. The fiber maps have expanding and contracting regions which dynamically interact. The dynamics also exhibits pairs of horseshoes of different type of hyperbolicity which, in some cases, are cyclicall…
▽ More
We consider skew-products with concave interval fiber maps over a certain subshift obtained as the projection of orbits staying in a given region. It generates a new type of (essentially) coded shift. The fiber maps have expanding and contracting regions which dynamically interact. The dynamics also exhibits pairs of horseshoes of different type of hyperbolicity which, in some cases, are cyclically related.
The space of ergodic measures on the base is an entropy-dense Poulsen simplex. Those measures lift canonically to ergodic measures for the skew-product. We explain when and how the spaces of (fiber) contracting and expanding ergodic measures glue along the nonhyperbolic ones. A key step is the approximation (in the weak$\ast$ topology and in entropy) of nonhyperbolic measures by ergodic ones, obtained only by means of concavity. Concavity is not merely a technical artificial hypothesis, but it prevents the presence of additional independent subsystems. The description of homoclinic relations is also a key instrument.
These skew-products are embedded in non-decreasing entropy one-parameter family of diffeomorphisms stretching from a heterodimensional cycle to a collision of homoclinic classes. Associated bifurcation phenomena involve a jump of the space of ergodic measures and, in some cases, of entropy.
△ Less
Submitted 14 July, 2021; v1 submitted 14 April, 2020;
originally announced April 2020.
-
Hausdorff and packing dimensions and measures for nonlinear transversally non-conformal thin solenoids
Authors:
Reza Mohammadpour,
Feliks Przytycki,
Michal Rams
Abstract:
We extend results by B. Hasselblatt, J. Schmeling in \emph{Dimension product structure of hyperbolic sets} (2004), and by the third author and K. Simon in \emph{Hausdorff and packing measures for solenoids} (2003), for $C^{1+\varepsilon}$ hyperbolic, (partially) linear solenoids $Λ$ over the circle embedded in $\mathbb{R}^3$ non-conformally attracting in the stable discs $W^s$ direction, to nonlin…
▽ More
We extend results by B. Hasselblatt, J. Schmeling in \emph{Dimension product structure of hyperbolic sets} (2004), and by the third author and K. Simon in \emph{Hausdorff and packing measures for solenoids} (2003), for $C^{1+\varepsilon}$ hyperbolic, (partially) linear solenoids $Λ$ over the circle embedded in $\mathbb{R}^3$ non-conformally attracting in the stable discs $W^s$ direction, to nonlinear ones. Under an assumption of transversality and assumptions on Lyapunov exponents for an appropriate Gibbs measure imposing \emph{thinness}, assuming also there is an invariant $C^{1+\varepsilon}$ strong stable foliation, we prove that Hausdorff dimension ${\rm HD}(Λ\cap W^s)$ is the same quantity $t_0$ for all $W^s$ and else ${\rm HD}(Λ)=t_0+1$. We prove also that for the packing measure $0<Π_{t_0}(Λ\cap W^s)<\infty$ but for Hausdorff measure ${\rm HM}_{t_0}(Λ\cap W^s)=0$ for all $W^s$. Also $0<Π_{1+t_0}(Λ) <\infty$ and ${\rm HM}_{1+t_0}(Λ)=0$. A technical part says that the holonomy along unstable foliation is locally Lipschitz, except for a set of unstable leaves whose intersection with every $W^s$ has measure ${\rm HM}_{t_0}$ equal to 0 and even Hausdorff dimension less than $t_0$. The latter holds due to a large deviations phenomenon.
△ Less
Submitted 10 December, 2021; v1 submitted 19 March, 2020;
originally announced March 2020.
-
Sonic horizons and causality in the phase transition dynamics
Authors:
Debasis Sadhukhan,
Aritra Sinha,
Anna Francuz,
Justyna Stefaniak,
Marek M. Rams,
Jacek Dziarmaga,
Wojciech H. Zurek
Abstract:
A system gradually driven through a symmetry-breaking phase transition is subject to the Kibble-Zurek mechanism (KZM). As a consequence of the critical slowing down, its state cannot follow local equilibrium, and its evolution becomes non-adiabatic near the critical point. In the simplest approximation, that stage can be regarded as "impulse" where the state of the system remains unchanged. It lea…
▽ More
A system gradually driven through a symmetry-breaking phase transition is subject to the Kibble-Zurek mechanism (KZM). As a consequence of the critical slowing down, its state cannot follow local equilibrium, and its evolution becomes non-adiabatic near the critical point. In the simplest approximation, that stage can be regarded as "impulse" where the state of the system remains unchanged. It leads to the correct KZM scaling laws. However, such "freeze-out" might suggest that the coherence length of the nascent order parameter remains unchanged as the critical region is traversed. By contrast, the original causality-based discussion emphasized the role of the {\it sonic horizon}: domains of the broken symmetry phase can expand with a velocity limited by the speed of the relevant sound. This effect was demonstrated in the quantum Ising chain where the dynamical exponent $z=1$ and quasiparticles excited by the transition have a fixed speed of sound. To elucidate the role of the sonic horizon, in this paper we study two systems with $z>1$ where the speed of sound is no longer fixed, and the fastest excited quasiparticles set the size of the sonic horizon. Their effective speed decays with the increasing transition time. In the extreme case, the dynamical exponent $z$ can diverge such as in the Griffiths region of the random Ising chain where localization of excited quasiparticles freezes the growth of the correlation range when the critical region is traversed. Of particular interest is an example with $z<1$ -- the long-range extended Ising chain, where there is no upper limit to the velocity of excited quasiparticles with small momenta. Initially, the power-law tail of the correlation function grows adiabatically, but in the non-adiabatic stage it lags behind the adiabatic evolution -- in accord with a generalized Lieb-Robinson bound.
△ Less
Submitted 15 April, 2020; v1 submitted 5 December, 2019;
originally announced December 2019.
-
Open System Tensor Networks and Kramers' Crossover for Quantum Transport
Authors:
Gabriela Wojtowicz,
Justin E. Elenewski,
Marek M. Rams,
Michael Zwolak
Abstract:
Tensor networks are a powerful tool for many-body ground states with limited entanglement. These methods can nonetheless fail for certain time-dependent processes - such as quantum transport or quenches - where entanglement growth is linear in time. Matrix-product-state decompositions of the resulting out-of-equilibrium states require a bond dimension that grows exponentially, imposing a hard limi…
▽ More
Tensor networks are a powerful tool for many-body ground states with limited entanglement. These methods can nonetheless fail for certain time-dependent processes - such as quantum transport or quenches - where entanglement growth is linear in time. Matrix-product-state decompositions of the resulting out-of-equilibrium states require a bond dimension that grows exponentially, imposing a hard limit on simulation timescales. However, in the case of transport, if the reservoir modes of a closed system are arranged according to their scattering structure, the entanglement growth can be made logarithmic. Here, we apply this ansatz to open systems via extended reservoirs that have explicit relaxation. This enables transport calculations that can access steady states, time dynamics and noise, and periodic driving (e.g., Floquet states). We demonstrate the approach by calculating the transport characteristics of an open, interacting system. These results open a path to scalable and numerically systematic many-body transport calculations with tensor networks.
△ Less
Submitted 13 May, 2020; v1 submitted 20 November, 2019;
originally announced November 2019.
-
Universal shift of the fidelity susceptibility peak away from the critical point of the Berezinskii-Kosterlitz-Thouless quantum phase transition
Authors:
Lukasz Cincio,
Marek M. Rams,
Jacek Dziarmaga,
Wojciech H. Zurek
Abstract:
We show that the peak which can be observed in fidelity susceptibility around the Berezinskii-Kosterlitz-Thouless transition is shifted from the quantum critical point (QCP) at $J_c$ to $J^*$ in the gapped phase by a value $|J^* - J_c| = B^2/36$, where $B^2$ is a transition width controlling the asymptotic form of the correlation length $ξ\sim \exp(-B/\sqrt{|J-J_c|})$ in that phase. This is in con…
▽ More
We show that the peak which can be observed in fidelity susceptibility around the Berezinskii-Kosterlitz-Thouless transition is shifted from the quantum critical point (QCP) at $J_c$ to $J^*$ in the gapped phase by a value $|J^* - J_c| = B^2/36$, where $B^2$ is a transition width controlling the asymptotic form of the correlation length $ξ\sim \exp(-B/\sqrt{|J-J_c|})$ in that phase. This is in contrast to the conventional continuous QCP where the maximum is an indicator of the position of the critical point. The shape of the peak is universal, emphasizing the close connection between fidelity susceptibility and the correlation length. We support those arguments with numerical matrix product state simulations of the one-dimensional Bose-Hubbard model in the thermodynamic limit, where the broad peak is located at $J^*=0.212$ that is significantly different from $J_c=0.3048(3)$. In the spin-$3/2$ XXZ model the shift from $J_c=1$ to $J^*=1.0021$ is small but the narrow universal peak is much more pronounced over the non-universal background.
△ Less
Submitted 20 August, 2019; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Symmetry breaking bias and the dynamics of a quantum phase transition
Authors:
Marek M. Rams,
Jacek Dziarmaga,
Wojciech H. Zurek
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…
▽ More
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 $τ_Q^{-βδ/(1+zν)}$, where $β,δ,z,ν$ are the critical exponents and $τ_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.
△ Less
Submitted 30 September, 2019; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Big Birkhoff sums in $d$-decaying Gauss like iterated function systems
Authors:
Michal Rams,
Lingmin Liao,
Michal Rams
Abstract:
The increasing rate of the Birkhoff sums in the infinite iterated function systems with polynomial decay of the derivative (for example the Gauss map) is studied. For different unbounded potential functions, the Hausdorff dimensions of the sets of points whose Birkhoff sums share the same increasing rate are obtained.
The increasing rate of the Birkhoff sums in the infinite iterated function systems with polynomial decay of the derivative (for example the Gauss map) is studied. For different unbounded potential functions, the Hausdorff dimensions of the sets of points whose Birkhoff sums share the same increasing rate are obtained.
△ Less
Submitted 19 August, 2021; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Breaking the entanglement barrier: Tensor network simulation of quantum transport
Authors:
Marek M. Rams,
Michael Zwolak
Abstract:
The recognition that large classes of quantum many-body systems have limited entanglement in the ground and low-lying excited states led to dramatic advances in their numerical simulation via so-called tensor networks. However, global dynamics elevates many particles into excited states, and can lead to macroscopic entanglement and the failure of tensor networks. Here, we show that for quantum tra…
▽ More
The recognition that large classes of quantum many-body systems have limited entanglement in the ground and low-lying excited states led to dramatic advances in their numerical simulation via so-called tensor networks. However, global dynamics elevates many particles into excited states, and can lead to macroscopic entanglement and the failure of tensor networks. Here, we show that for quantum transport -- one of the most important cases of this failure -- the fundamental issue is the canonical basis in which the scenario is cast: When particles flow through an interface, they scatter, generating a "bit" of entanglement between spatial regions with each event. The frequency basis naturally captures that -- in the long-time limit and in the absence of inelastic scattering -- particles tend to flow from a state with one frequency to a state of identical frequency. Recognizing this natural structure yields a striking -- potentially exponential in some cases -- increase in simulation efficiency, greatly extending the attainable spatial- and time-scales, and broadening the scope of tensor network simulation to hitherto inaccessible classes of non-equilibrium many-body problems.
△ Less
Submitted 1 April, 2020; v1 submitted 29 April, 2019;
originally announced April 2019.
-
Normal numbers with given limits of multiple ergodic averages
Authors:
Lingmin Liao,
Michał Rams
Abstract:
We are interested in the set of normal sequences in the space $\{0,1\}^\mathbb{N}$ with a given frequency of the pattern $11$ in the positions $k, 2k$. The topological entropy of such sets is determined.
We are interested in the set of normal sequences in the space $\{0,1\}^\mathbb{N}$ with a given frequency of the pattern $11$ in the positions $k, 2k$. The topological entropy of such sets is determined.
△ Less
Submitted 15 July, 2020; v1 submitted 27 April, 2019;
originally announced April 2019.
-
Brute-forcing spin-glass problems with CUDA
Authors:
Konrad Jałowiecki,
Marek M. Rams,
Bartłomiej Gardas
Abstract:
We demonstrate how to compute the low energy spectrum for small ($N\le 50$), but otherwise arbitrary, spin-glass instances using modern Graphics Processing Units or similar heterogeneous architecture. Our algorithm performs an exhaustive (i.e., brute-force) search of all possible configurations to select $S\ll 2^N$ lowest ones together with their corresponding energies. We mainly focus on the Isin…
▽ More
We demonstrate how to compute the low energy spectrum for small ($N\le 50$), but otherwise arbitrary, spin-glass instances using modern Graphics Processing Units or similar heterogeneous architecture. Our algorithm performs an exhaustive (i.e., brute-force) search of all possible configurations to select $S\ll 2^N$ lowest ones together with their corresponding energies. We mainly focus on the Ising model defined on an arbitrary graph. An open-source implementation based on CUDA Fortran and a suitable Python wrapper are provided. As opposed to heuristic approaches, ours is exact and thus can serve as a references point to benchmark other algorithms and hardware, including quantum and digital annealers. Our implementation offers unprecedented speed and efficiency already visible on commodity hardware. At the same time, it can be easily launched on professional, high-end graphics cards virtually at no extra effort. As a practical application, we employ it to demonstrate that the recent Matrix Product State based algorithm-despite its one-dimensional nature-can still accurately approximate the low energy spectrum of fully connected graphs of size $N$ approaching $50$.
△ Less
Submitted 19 December, 2019; v1 submitted 7 April, 2019;
originally announced April 2019.
-
Classifying attention deficit hyperactivity disorder in children with non-linearities in actigraphy
Authors:
Jeremi K. Ochab,
Krzysztof Gerc,
Magdalena Fafrowicz,
Ewa Gudowska-Nowak,
Tadeusz Marek,
Maciej A. Nowak,
Halszka Oginska,
Katarzyna Oles,
Małgorzata Rams,
Jerzy Szwed,
Dante R. Chialvo
Abstract:
Objective This study provides an objective measure based on actigraphy for Attention Deficit Hyperactivity Disorder (ADHD) diagnosis in children. We search for motor activity features that could allow further investigation into their association with other neurophysiological disordered traits.
Method The study involved $n=29$ (48 eligible) male participants aged $9.89\pm0.92$ years (8 controls,…
▽ More
Objective This study provides an objective measure based on actigraphy for Attention Deficit Hyperactivity Disorder (ADHD) diagnosis in children. We search for motor activity features that could allow further investigation into their association with other neurophysiological disordered traits.
Method The study involved $n=29$ (48 eligible) male participants aged $9.89\pm0.92$ years (8 controls, and 7 in each group: ADHD combined subtype, ADHD hyperactive-impulsive subtype, and autism spectrum disorder, ASD) wearing a wristwatch actigraph continuously for a week ($9\%$ losses in daily records) in two acquisition modes. We analyzed 47 quantities: from sleep duration or movement intensity to theory-driven scaling exponents or non-linear prediction errors of both diurnal and nocturnal activity. We used them in supervised classification to obtain cross-validated diagnostic performance.
Results We report the best performing measures, including a nearest neighbors 4-feature classifier providing $69.4\pm1.6\%$ accuracy, $78.0\pm2.2\%$ sensitivity and $60.8\pm2.6\%$ specificity in a binary ADHD vs control classification and $46.5\pm1.1\%$ accuracy (against $25\%$ baseline), $61.8\pm1.4\%$ sensitivity and $79.30 \pm0.43\%$ specificity in 4-class task (two ADHD subtypes, ASD, and control). The most informative feature is skewness of the shape of Zero Crossing Mode (ZCM) activity. Mean and standard deviation of nocturnal activity are among the least informative.
Conclusion Actigraphy causes only minor discomfort to the subjects and is inexpensive. The range of existing mathematical and machine learning tools also allow it to be a useful add-on test for ADHD or differential diagnosis between ADHD subtypes. The study was limited to a small, male sample without the inattentive ADHD subtype.
△ Less
Submitted 9 February, 2019;
originally announced February 2019.
-
Dimension Theory of some non-Markovian repellers Part II: Dynamically defined function graphs
Authors:
Balázs Bárány,
Michał\ Rams,
Károly Simon
Abstract:
This is the second part in a series of two papers. Here, we give an overview on the dimension theory of some dynamically defined function graphs, like Takagi and Weierstrass function, and we study the dimension of Markovian fractal interpolation functions and generalised Takagi functions generated by non-Markovian dynamics.
This is the second part in a series of two papers. Here, we give an overview on the dimension theory of some dynamically defined function graphs, like Takagi and Weierstrass function, and we study the dimension of Markovian fractal interpolation functions and generalised Takagi functions generated by non-Markovian dynamics.
△ Less
Submitted 13 January, 2019;
originally announced January 2019.
-
Dimension Theory of some non-Markovian repellers Part I: A gentle introduction
Authors:
Balázs Bárány,
Michał\ Rams,
Károly Simon
Abstract:
Michael Barnsley introduced a family of fractals sets which are repellers of piecewise affine systems. The study of these fractals was motivated by certain problems that arose in fractal image compression but the results we obtained can be applied for the computation of the Hausdorff dimension of the graph of some functions, like generalized Takagi functions and fractal interpolation functions.…
▽ More
Michael Barnsley introduced a family of fractals sets which are repellers of piecewise affine systems. The study of these fractals was motivated by certain problems that arose in fractal image compression but the results we obtained can be applied for the computation of the Hausdorff dimension of the graph of some functions, like generalized Takagi functions and fractal interpolation functions.
In this paper we introduce this class of fractals and present the tools in the one-dimensional dynamics and nonconformal fractal theory that are needed to investigate them. This is the first part in a series of two papers. In the continuation there will be more proofs and we apply the tools introduced here to study some fractal function graphs.
△ Less
Submitted 13 January, 2019;
originally announced January 2019.
-
Mass transference principle: from balls to arbitrary shapes
Authors:
Henna Koivusalo,
Michał Rams
Abstract:
The mass transference principle, proved by Beresnevich and Velani in 2006, is a strong result that gives lower bounds for the Hausdorff dimension of limsup sets of balls. We present a version for limsup sets of open sets of arbitrary shape.
The mass transference principle, proved by Beresnevich and Velani in 2006, is a strong result that gives lower bounds for the Hausdorff dimension of limsup sets of balls. We present a version for limsup sets of open sets of arbitrary shape.
△ Less
Submitted 28 November, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Approximate optimization, sampling and spin-glass droplets discovery with tensor networks
Authors:
Marek M. Rams,
Masoud Mohseni,
Daniel Eppens,
Konrad Jałowiecki,
Bartłomiej Gardas
Abstract:
We devise a deterministic algorithm to efficiently sample high-quality solutions of certain spin-glass systems that encode hard optimization problems. We employ tensor networks to represent the Gibbs distribution of all possible configurations. Using approximate tensor-network contractions, we are able to efficiently map the low-energy spectrum of some quasi-two-dimensional Hamiltonians. We exploi…
▽ More
We devise a deterministic algorithm to efficiently sample high-quality solutions of certain spin-glass systems that encode hard optimization problems. We employ tensor networks to represent the Gibbs distribution of all possible configurations. Using approximate tensor-network contractions, we are able to efficiently map the low-energy spectrum of some quasi-two-dimensional Hamiltonians. We exploit the local nature of the problems to compute spin-glass droplets geometries, which provides a new form of compression of the low-energy spectrum. It naturally extends to sampling, which otherwise, for exact contraction, is $\#$P-complete. In particular, for one of the hardest known problem-classes devised on chimera graphs known as deceptive cluster loops and for up to $2048$ spins, we find on the order of $10^{10}$ degenerate ground states in a single run of our algorithm, computing better solutions than have been reported on some hard instances. Our gradient-free approach could provide new insight into the structure of disordered spin-glass complexes, with ramifications both for machine learning and noisy intermediate-scale quantum devices.
△ Less
Submitted 6 September, 2021; v1 submitted 15 November, 2018;
originally announced November 2018.
-
Kibble-Zurek mechanism with a single particle: dynamics of the localization-delocalization transition in the Aubry-André model
Authors:
Aritra Sinha,
Marek M. Rams,
Jacek Dziarmaga
Abstract:
The Aubry-André 1D lattice model describes a particle hop** in a pseudo-random potential. Depending on its strength $λ$, all eigenstates are either localized ($λ>1$) or delocalized ($λ<1$). Near the transition, the localization length diverges like $ξ\sim(λ-1)^{-ν}$ with $ν=1$. We show that when the particle is initially prepared in a localized ground state and the potential strength is slowly r…
▽ More
The Aubry-André 1D lattice model describes a particle hop** in a pseudo-random potential. Depending on its strength $λ$, all eigenstates are either localized ($λ>1$) or delocalized ($λ<1$). Near the transition, the localization length diverges like $ξ\sim(λ-1)^{-ν}$ with $ν=1$. We show that when the particle is initially prepared in a localized ground state and the potential strength is slowly ramped down across the transition, then -- in analogy with the Kibble-Zurek mechanism -- it enters the delocalized phase having finite localization length $\hatξ\simτ_Q^{ν/(1+zν)}$. Here $τ_Q$ is ramp/quench time and $z$ is a dynamical exponent. At $λ=1$ we determine $z\simeq2.37$ from the power law scaling of energy gap with lattice size $L$. Even though for infinite $L$ the model is gapless, we show that the gap relevant for excitation during the ramp remains finite. Close to the critical point it scales like $ξ^{-z}$ with the value of $z$ determined by the finite size scaling. It is the gap between the ground state and the lowest of those excited states that overlap with the ground state enough to be accessible for excitation. We propose an experiment with a non-interacting BEC to test our prediction. Our hypothesis is further supported by considering a generalized version of Aubry-André model possessing an energy-dependent mobility edge.
△ Less
Submitted 21 March, 2019; v1 submitted 13 November, 2018;
originally announced November 2018.
-
Investigation of anomalous thermodynamic and transport properties of Sr$_{1-x}$Ca$_x$RuO$_3$ ($x \geq 0.8$)
Authors:
A. Zarzycki,
M. Rams,
E. A. Goerlich,
K. Tomala
Abstract:
Thermodynamic and transport properties of Sr$_{1-x}$Ca$_x$RuO$_3$ with a calcium concentration $x \geq 0.8$ were investigated at low temperatures and in external magnetic field. The investgations revealed a Landau Fermi liquid (LFL) behaviour characterized by specific heat $C/T = const$ and resistivity $ρ\sim T^2$ and an anomalous non-Fermi liquid (NFL) behaviour with $ρ\sim T^{5/3}$ and a quasi-l…
▽ More
Thermodynamic and transport properties of Sr$_{1-x}$Ca$_x$RuO$_3$ with a calcium concentration $x \geq 0.8$ were investigated at low temperatures and in external magnetic field. The investgations revealed a Landau Fermi liquid (LFL) behaviour characterized by specific heat $C/T = const$ and resistivity $ρ\sim T^2$ and an anomalous non-Fermi liquid (NFL) behaviour with $ρ\sim T^{5/3}$ and a quasi-logarithmic increase of $C/T$ with decreasing temperature. The $T$--$x$ and $T$--$B$ phase diagrams which separate both regions were prepared for the investigated materials. Then, the experimental behaviour of $C/T$ and $ρ(T)$ were compared with predictions of the self-consistent renormalization (SCR) theory of spin fluctuations. Within this approach, $C/T(T)$ was well described up to 20 K. The SCR parameters $y_0$, $y_1$ and $T_0$ inferred from specific heat analysis allowed to describe properly $ρ(T)$ up to approximately 5 K. In addition, the resistivity data were analysed within the `hidden Fermi liquid' theory of Anderson, obtaining very good descritption of the experimental behaviour up to about 25 K. An anomalous increase of the $C/T$ ratio already in the LFL region below 2 K in very weak magnetic fields (0.2--0.3 T) was identified as caused by the Schottky anomaly induced by ferromagnetic clusters embodied into the essentially paramagnetic materials.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
Hausdorff dimension in inhomogeneous Diophantine approximation
Authors:
Yann Bugeaud,
Dong Han Kim,
Seonhee Lim,
Michał Rams
Abstract:
Let $α$ be an irrational real number. We show that the set of $ε$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (α) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| qα-x \| \geq \varepsilon \} \] has full Hausdorff dimension for some positive $ε$ if and only if $α$ is singular on average. The condition is equivalent to the average $\frac{1}{k} \sum_{i=1, \cdots, k} \log a_i$ o…
▽ More
Let $α$ be an irrational real number. We show that the set of $ε$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (α) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| qα-x \| \geq \varepsilon \} \] has full Hausdorff dimension for some positive $ε$ if and only if $α$ is singular on average. The condition is equivalent to the average $\frac{1}{k} \sum_{i=1, \cdots, k} \log a_i$ of the logarithms of the partial quotients $a_i$ of $α$ going to infinity with $k$. We also consider one-sided approximation, obtain a stronger result when $a_i$ tends to infinity, and establish a partial result in higher dimensions.
△ Less
Submitted 26 May, 2018;
originally announced May 2018.
-
Birkhoff and Lyapunov spectra on planar self-affine sets
Authors:
Balázs Bárány,
Thomas Jordan,
Antti Käenmäki,
Michał Rams
Abstract:
Working on strongly irreducible planar self-affine sets satisfying the strong open set condition, we calculate the Birkhoff spectrum of continuous potentials and the Lyapunov spectrum.
Working on strongly irreducible planar self-affine sets satisfying the strong open set condition, we calculate the Birkhoff spectrum of continuous potentials and the Lyapunov spectrum.
△ Less
Submitted 6 December, 2019; v1 submitted 21 May, 2018;
originally announced May 2018.
-
The structure of the space of ergodic measures of transitive partially hyperbolic sets
Authors:
Lorenzo J. Díaz,
Katrin Gelfert,
Tiane Marcarini,
Michał Rams
Abstract:
We provide examples of transitive partially hyperbolic dynamics (specific but paradigmatic examples of homoclinic classes) which blend different types of hyperbolicity in the one-dimensional center direction. These homoclinic classes have two disjoint parts: an "exposed" piece which is poorly homoclinically related with the rest and a "core" with rich homoclinic relations. There is an associated n…
▽ More
We provide examples of transitive partially hyperbolic dynamics (specific but paradigmatic examples of homoclinic classes) which blend different types of hyperbolicity in the one-dimensional center direction. These homoclinic classes have two disjoint parts: an "exposed" piece which is poorly homoclinically related with the rest and a "core" with rich homoclinic relations. There is an associated natural division of the space of ergodic measures which are either supported on the exposed piece or on the core. We describe the topology of these two parts and show that they glue along nonhyperbolic measures.
Measures of maximal entropy are discussed in more detail. We present examples where the measure of maximal entropy is nonhyperbolic. We also present examples where the measure of maximal entropy is unique and nonhyperbolic, however in this case the dynamics is nontransitive.
△ Less
Submitted 18 May, 2018;
originally announced May 2018.
-
Quantum neural networks to simulate many-body quantum systems
Authors:
Bartłomiej Gardas,
Marek M. Rams,
Jacek Dziarmaga
Abstract:
We conduct experimental simulations of many body quantum systems using a \emph{hybrid} classical-quantum algorithm. In our setup, the wave function of the transverse field quantum Ising model is represented by a restricted Boltzmann machine. This neural network is then trained using variational Monte Carlo assisted by a D-Wave quantum sampler to find the ground state energy. Our results clearly de…
▽ More
We conduct experimental simulations of many body quantum systems using a \emph{hybrid} classical-quantum algorithm. In our setup, the wave function of the transverse field quantum Ising model is represented by a restricted Boltzmann machine. This neural network is then trained using variational Monte Carlo assisted by a D-Wave quantum sampler to find the ground state energy. Our results clearly demonstrate that already the first generation of quantum computers can be harnessed to tackle non-trivial problems concerning physics of many body quantum systems.
△ Less
Submitted 3 December, 2018; v1 submitted 14 May, 2018;
originally announced May 2018.
-
Engineering non-equilibrium quantum phase transitions via causally gapped Hamiltonians
Authors:
Masoud Mohseni,
Johan Strumpfer,
Marek M. Rams
Abstract:
We introduce a phenomenological theory for many-body control of critical phenomena by engineering causally-induced gaps for quantum Hamiltonian systems. The core mechanisms are controlling information flow within and/or between clusters that are created near a quantum critical point. To this end, we construct inhomogeneous quantum phase transitions via designing spatio-temporal quantum fluctuation…
▽ More
We introduce a phenomenological theory for many-body control of critical phenomena by engineering causally-induced gaps for quantum Hamiltonian systems. The core mechanisms are controlling information flow within and/or between clusters that are created near a quantum critical point. To this end, we construct inhomogeneous quantum phase transitions via designing spatio-temporal quantum fluctuations. We show how non-equilibrium evolution of disordered quantum systems can create new effective correlation length scales and effective dynamical critical exponents. In particular, we construct a class of causally-induced non-adiabatic quantum annealing transitions for strongly disordered quantum Ising chains leading to exponential suppression of topological defects beyond standard Kibble-Zurek predictions. Using exact numerical techniques for 1D quantum Hamiltonian systems, we demonstrate that our approach exponentially outperform adiabatic quantum computing. Using Strong-Disorder Renormalization Group (SDRG), we demonstrate the universality of inhomogeneous quantum critical dynamics and exhibit the causal zones reconstructions during SDRG flow. We derive a scaling relation for minimal causal gaps showing they narrow more slowly than any polynomial with increasing size of system, in contrast to stretched exponential scaling in standard adiabatic evolution. Furthermore, we demonstrate similar scaling behaviour for random cluster-Ising Hamiltonians with higher order interactions.
△ Less
Submitted 19 October, 2018; v1 submitted 29 April, 2018;
originally announced April 2018.
-
Dimension of the repeller for a piecewise expanding affine map
Authors:
Balázs Bárány,
Michał Rams,
Károly Simon
Abstract:
In this paper, we study the dimension theory of a class of piecewise affine systems in euclidean spaces suggested by Michael Barnsley, with some applications to the fractal image compression. It is a more general version of the class considered in the work of Keane, Simon and Solomyak [The dimension of graph directed attractors with overlaps on the line, with an application to a problem in fractal…
▽ More
In this paper, we study the dimension theory of a class of piecewise affine systems in euclidean spaces suggested by Michael Barnsley, with some applications to the fractal image compression. It is a more general version of the class considered in the work of Keane, Simon and Solomyak [The dimension of graph directed attractors with overlaps on the line, with an application to a problem in fractal image recognition. {\it Fund. Math.}, {\bf 180}(3):279-292, 2003] and can be considered as the continuation of the works [On the dimension of self-affine sets and measures with overlaps. {\it Proc. Amer. Math. Soc.}, {\bf 144}(10):4427-4440, 2016], [On the dimension of triangular self-affine sets. {\it Erg. Th. \& Dynam. Sys.}, to appear.] by the authors. We also present some applications of our results for the generalized Takagi functions and fractal interpolation functions.
△ Less
Submitted 6 March, 2020; v1 submitted 10 March, 2018;
originally announced March 2018.
-
Precise extrapolation of the correlation function asymptotics in uniform tensor network states with application to the Bose-Hubbard and XXZ models
Authors:
Marek M. Rams,
Piotr Czarnik,
Lukasz Cincio
Abstract:
We analyze the problem of extracting the correlation length from infinite matrix product states (MPS) and corner transfer matrix (CTM) simulations. When the correlation length is calculated directly from the transfer matrix, it is typically significantly underestimated for finite bond dimensions used in numerical simulation. This is true even when one considers ground states at a distance from the…
▽ More
We analyze the problem of extracting the correlation length from infinite matrix product states (MPS) and corner transfer matrix (CTM) simulations. When the correlation length is calculated directly from the transfer matrix, it is typically significantly underestimated for finite bond dimensions used in numerical simulation. This is true even when one considers ground states at a distance from the critical point. We introduce extrapolation procedure to overcome this problem. To that end we quantify how much the dominant part of the MPS/CTM transfer matrix spectrum deviates from being continuous. The latter is necessary to capture the exact asymptotics of the correlation function where the exponential decay is typically modified by an additional algebraic term. By extrapolating such a refinement parameter to zero, we show that we are able to recover the exact value of the correlation length with high accuracy. In a generic setting, our method reduces the error by a factor of $\sim 100$ as compared to the results without extrapolation and a factor of $\sim 10$ as compared to simple extrapolation schemes using bond dimension. We test our approach in a number of solvable models both in 1d and 2d. Subsequently, we apply it to 1d XXZ spin-$\frac32$ and the Bose-Hubbard models in a massive regime in the vicinity of BKT critical point. We then fit the scaling form of the correlation length and extract the position of the critical point and obtain results comparable or better than those of other state-of-the-art numerical methods. Finally, we show how the algebraic part of the correlation function asymptotics can be directly recovered from the scaling of the dominant form factor within our approach. Our method provides the means for detailed studies of phase diagrams of quantum models in 1d and, through the finite correlation length scaling of projected entangled pair states, also in 2d.
△ Less
Submitted 3 December, 2018; v1 submitted 25 January, 2018;
originally announced January 2018.
-
Birkhoff spectrum for piecewise monotone interval maps
Authors:
Thomas Jordan,
Michal Rams
Abstract:
For piecewise monotone interval maps we look at Birkhoff spectra for regular potential functions. This means considering the Hausdorff dimension of the set of points for which the Birkhoff average of the potential takes a fixed value. In the uniformly hyperbolic case we obtain complete results, in the case with parabolic behaviour we are able to describe the part of the sets where the lower Lyapun…
▽ More
For piecewise monotone interval maps we look at Birkhoff spectra for regular potential functions. This means considering the Hausdorff dimension of the set of points for which the Birkhoff average of the potential takes a fixed value. In the uniformly hyperbolic case we obtain complete results, in the case with parabolic behaviour we are able to describe the part of the sets where the lower Lyapunov exponent is positive. In addition we give some lower bounds on the full spectrum in this case. This is an extension of work of Hofbauer on the entropy and Lyapunov spectra.
△ Less
Submitted 11 December, 2017;
originally announced December 2017.
-
Dimension of generic self-affine sets with holes
Authors:
Henna Koivusalo,
Michał Rams
Abstract:
Let $(Σ, σ)$ be a dynamical system, and let $U\subset Σ$. Consider the survivor set \[ Σ_U=\{x\in Σ\mid σ^n(x)\notin U\textrm{for all}n\} \] of points that never enter the subset $U$. We study the size of this set in the case when $Σ$ is the symbolic space associated to a self-affine set $Λ$, calculating the dimension of the projection of $Σ_U$ as a subset of $Λ$ and finding an asymptotic formula…
▽ More
Let $(Σ, σ)$ be a dynamical system, and let $U\subset Σ$. Consider the survivor set \[ Σ_U=\{x\in Σ\mid σ^n(x)\notin U\textrm{for all}n\} \] of points that never enter the subset $U$. We study the size of this set in the case when $Σ$ is the symbolic space associated to a self-affine set $Λ$, calculating the dimension of the projection of $Σ_U$ as a subset of $Λ$ and finding an asymptotic formula for the dimension in terms of the Käenmäki measure of the hole as the hole shrinks to a point. Our results hold when the set $U$ is a cylinder set in two cases: when the matrices defining $Λ$ are diagonal, and when they are such that the pressure is differentiable at its zero point, and the Käenmäki measure is a strong-Gibbs measure.
△ Less
Submitted 18 November, 2017;
originally announced November 2017.