Showing 1–12 of 12 results for author: Wojewódka-Ściążko, H

Resource engines

Authors: Hanna Wojewódka-Ściążko, Zbigniew Puchała, Kamil Korzekwa

Abstract: In this paper we aim to push the analogy between thermodynamics and quantum resource theories one step further. Previous inspirations were based predominantly on thermodynamic considerations concerning scenarios with a single heat bath, neglecting an important part of thermodynamics that studies heat engines operating between two baths at different temperatures. Here, we investigate the performanc… ▽ More In this paper we aim to push the analogy between thermodynamics and quantum resource theories one step further. Previous inspirations were based predominantly on thermodynamic considerations concerning scenarios with a single heat bath, neglecting an important part of thermodynamics that studies heat engines operating between two baths at different temperatures. Here, we investigate the performance of resource engines, which replace the access to two heat baths at different temperatures with two arbitrary constraints on state transformations. The idea is to imitate the action of a two--stroke heat engine, where the system is sent to two agents (Alice and Bob) in turns, and they can transform it using their constrained sets of free operations. We raise and address several questions, including whether or not a resource engine can generate a full set of quantum operations or all possible state transformations, and how many strokes are needed for that. We also explain how the resource engine picture provides a natural way to fuse two or more resource theories, and we discuss in detail the fusion of two resource theories of thermodynamics with two different temperatures, and two resource theories of coherence with respect to two different bases. △ Less

Submitted 4 January, 2024; v1 submitted 19 April, 2023; originally announced April 2023.

Comments: 28 pages, 4 figures. Published version

Journal ref: Quantum 8, 1222 (2024)

The e-property of asymptotically stable Markov semigroups

Authors: Ryszard Kukulski, Hanna Wojewódka-Ściążko

Abstract: The relations between asymptotic stability, the eventual e-property and the e-property of Markov semigroups, acting on measures defined on general (Polish) metric spaces, are studied. While usually much attention is paid to asymptotic stability (and the e-property has been for years verified only to establish it), it should be noted that the e-property itself is also important as it, e.g., ensures… ▽ More The relations between asymptotic stability, the eventual e-property and the e-property of Markov semigroups, acting on measures defined on general (Polish) metric spaces, are studied. While usually much attention is paid to asymptotic stability (and the e-property has been for years verified only to establish it), it should be noted that the e-property itself is also important as it, e.g., ensures that numerical errors in simulations are negligible. Here, it is shown that any asymptotically stable Markov-Feller semigroup with an invariant measure such that the interior of its support is non-empty satisfies the eventual e-property. Moreover, we prove that any Markov-Feller semigroup, which is strongly stochastically continuous, and which possesses the eventual e-property, also has the e-property. We also present an example highlighting that strong stochastic continuity cannot be replaced by its weak counterpart, unless a state space of a process corresponding to a Markov semigroup is a compact metric space. △ Less

Submitted 21 February, 2024; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 19 pages, This preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this article is published in Results in Mathematics, and is available online at https://doi.org/10.1007/s00025-024-02134-2

MSC Class: 60J25; 37A30; 46N30; 46E27; 60B10

Journal ref: Results Math 79, 112 (2024)

The central limit theorem for Markov processes that are exponentially ergodic in the bounded-Lipschitz norm

Authors: Dawid Czapla, Katarzyna Horbacz, Hanna Wojewódka-Ściążko

Abstract: In this paper, we establish a version of the central limit theorem for Markov-Feller continuous time processes (with a Polish state space) that are exponentially ergodic in the bounded-Lipschitz distance and enjoy a continuous form of the Foster-Lyapunov condition. As an example, we verify the assumptions of our main result for a specific piecewise-deterministic Markov process, whose deterministic… ▽ More In this paper, we establish a version of the central limit theorem for Markov-Feller continuous time processes (with a Polish state space) that are exponentially ergodic in the bounded-Lipschitz distance and enjoy a continuous form of the Foster-Lyapunov condition. As an example, we verify the assumptions of our main result for a specific piecewise-deterministic Markov process, whose deterministic component evolves according to continuous semiflows, switched randomly at the jump times of a Poisson process. △ Less

Submitted 6 October, 2023; v1 submitted 21 October, 2022; originally announced October 2022.

Comments: 41 pages

MSC Class: 60J25; 37A30; 46E27

Journal ref: Qualitative Theory of Dynamical Systems 23:7 (2024)

Exponential ergodicity in the bounded-Lipschitz distance for a subclass of piecewise-deterministic Markov processes with random switching between flows

Authors: Dawid Czapla, Katarzyna Horbacz, Hanna Wojewódka-Ściążko

Abstract: In this paper, we study a subclass of piecewise-deterministic Markov processes with a Polish state space, involving deterministic motion punctuated by random jumps that occur at exponentially distributed time intervals. Over each of these intervals, the process follows a flow, selected randomly among a finite set of all possible ones. Our main goal is to provide a set of verifiable conditions guar… ▽ More In this paper, we study a subclass of piecewise-deterministic Markov processes with a Polish state space, involving deterministic motion punctuated by random jumps that occur at exponentially distributed time intervals. Over each of these intervals, the process follows a flow, selected randomly among a finite set of all possible ones. Our main goal is to provide a set of verifiable conditions guaranteeing the exponential ergodicity for such processes (in terms of the bounded Lipschitz distance), which would refer only to properties of the flows and the transition law of the Markov chain given by the post-jump locations. Moreover, we establish a simple criterion on the exponential ergodicity for a particular instance of these processes, applicable to certain biological models, where the jumps result from the action of an iterated function system with place-dependent probabilities. △ Less

Submitted 18 February, 2021; v1 submitted 15 November, 2020; originally announced November 2020.

MSC Class: Primary: 60J25; 60J05; Secondary: 37A30; 37A25

Journal ref: Nonlinear Analysis 215, 2022, art. no. 112678

Thermal Operations in general are not memoryless

Authors: Edgar A. Aguilar, Hanna Wojewódka-Ściążko, Maciej Stankiewicz, Christopher Perry, Piotr Ćwikliński, Andrzej Grudka, Karol Horodecki, Michał Horodecki

Abstract: So-called Thermal Operations seem to describe the most fundamental, and reasonable, set of operations allowable for state transformations at an ambient inverse temperature $β$. However, a priori, they require experimentalists to manipulate very complex environments and have control over their internal degrees of freedom. For this reason, the community has been working on creating more experimental… ▽ More So-called Thermal Operations seem to describe the most fundamental, and reasonable, set of operations allowable for state transformations at an ambient inverse temperature $β$. However, a priori, they require experimentalists to manipulate very complex environments and have control over their internal degrees of freedom. For this reason, the community has been working on creating more experimentally-friendly operations. In [Perry et al., Phys. Rev. X 8, 041049] it was shown that for states diagonal in the energy basis, that Thermal Operations can be performed by so-called Coarse Operations, which need just one auxiliary qubit, but are otherwise Markovian and classical in spirit. In this work, by providing an explicit counterexample, we show that this one qubit of memory is necessary. We also fully characterize the possible transitions that do not require memory for the system being a qubit. We do this by analyzing arbitrary control sequences comprising level energy changes and partial thermalizations in each step. △ Less

Submitted 7 September, 2020; originally announced September 2020.

Comments: 26 pages, 13 figures

On absolute continuity of invariant measures associated with a piecewise-deterministic Markov processes with random switching between flows

Authors: Dawid Czapla, Katarzyna Horbacz, Hanna Wojewódka-Ściążko

Abstract: We are concerned with the absolute continuity of stationary distributions corresponding to some piecewise deterministic Markov process, being typically encountered in biological models. The process under investigation involves a deterministic motion punctuated by random jumps, occurring at the jump times of a Poisson process. The post-jump locations are obtained via random transformations of the p… ▽ More We are concerned with the absolute continuity of stationary distributions corresponding to some piecewise deterministic Markov process, being typically encountered in biological models. The process under investigation involves a deterministic motion punctuated by random jumps, occurring at the jump times of a Poisson process. The post-jump locations are obtained via random transformations of the pre-jump states. Between the jumps, the motion is governed by continuous semiflows , which are switched directly after the jumps. The main goal of this paper is to provide a set of verifiable conditions implying that any invariant distribution of the process under consideration that corresponds to an ergodic invariant measure of the Markov chain given by its post-jump locations has a density with respect to the Lebesgue measure. △ Less

Submitted 18 February, 2021; v1 submitted 14 April, 2020; originally announced April 2020.

Journal ref: Nonlinear Analysis 213, 2021, art. no 112522

The e-property of asymptotically stable Markov-Feller operators

Authors: Ryszard Kukulski, Hanna Wojewódka-Ściążko

Abstract: In this work, we prove that any asymptotically stable Markov-Feller operator possesses the e-property everywhere outside at most a meagre set. We also provide an example showing that this result is tight. Moreover, an equivalent criterion for the e-property is proposed. In this work, we prove that any asymptotically stable Markov-Feller operator possesses the e-property everywhere outside at most a meagre set. We also provide an example showing that this result is tight. Moreover, an equivalent criterion for the e-property is proposed. △ Less

Submitted 16 January, 2020; originally announced January 2020.

Comments: 17 pages

MSC Class: 37A30; 60J05

Journal ref: Colloquium Mathematicum 165 (2021), 269-283

The law of the iterated logarithm for a piecewise deterministic Markov process assured by the properties of the Markov chain given by its post-jump locations

Authors: Dawid Czapla, Sander C. Hille, Katarzyna Horbacz, Hanna Wojewódka-Ściążko

Abstract: In the paper we consider some piecewise deterministic Markov process whose continuous component evolves according to semiflows, which are switched at the jump times of a Poisson process. The associated Markov chain describes the states of this process directly after the jumps. Certain ergodic properties of these two objects have already been investigated in our recent papers. We now aim to establi… ▽ More In the paper we consider some piecewise deterministic Markov process whose continuous component evolves according to semiflows, which are switched at the jump times of a Poisson process. The associated Markov chain describes the states of this process directly after the jumps. Certain ergodic properties of these two objects have already been investigated in our recent papers. We now aim to establish the law of the iterated logarithm for the aforementioned continuous-time process. Moreover, we intend to do this using the already proven properties of the discrete-time system. The abstract model under consideration has interesting interpretations in real-life sciences, such as biology. Among others, it can be used to describe the stochastic dynamics of gene expression. △ Less

Submitted 20 September, 2019; v1 submitted 15 September, 2019; originally announced September 2019.

Comments: 24 pages

MSC Class: 60J25; 60J75; 60F17; 47D07

Journal ref: Stochastic Analysis and Applications, Volume 39, Issue 2, 2021, Pages 357-379

Continuous dependence of an invariant measure on the jump rate of a piecewise-deterministic Markov process

Authors: Dawid Czapla, Sander C. Hille, Katarzyna Horbacz, Hanna Wojewódka-Ściążko

Abstract: We investigate a piecewise-deterministic Markov process, evolving on a Polish metric space, whose deterministic behaviour between random jumps is governed by some semi-flow, and any state right after the jump is attained by a randomly selected continuous transformation. It is assumed that the jumps appear at random moments, which coincide with the jump times of a Poisson process with intensity… ▽ More We investigate a piecewise-deterministic Markov process, evolving on a Polish metric space, whose deterministic behaviour between random jumps is governed by some semi-flow, and any state right after the jump is attained by a randomly selected continuous transformation. It is assumed that the jumps appear at random moments, which coincide with the jump times of a Poisson process with intensity $λ$. The model of this type, although in a more general version, was examined in our previous papers, where we have shown, among others, that the Markov process under consideration possesses a unique invariant probability measure, say $ν_λ^*$. The aim of this paper is to prove that the map $λ\mapstoν_λ^*$ is continuous (in the topology of weak convergence of probability measures). The studied dynamical system is inspired by certain stochastic models for cell division and gene expression. △ Less

Submitted 11 September, 2019; originally announced September 2019.

Comments: 15 pages

MSC Class: 60J05; 60J25; 37A30; 37A25

Journal ref: Math. Biosci. Eng., vol. 17 (2020), no. 2, 1059-1073

The Strassen Invariance Principle for Certain Non-stationary Markov-Feller Chains

Authors: Dawid Czapla, Katarzyna Horbacz, Hanna Wojewódka-Ściążko

Abstract: We propose certain conditions which are sufficient for the functional law of the iterated logarithm (the Strassen invariance principle) for some general class of non-stationary Markov-Feller chains. This class may be briefly specified by the following two properties: firstly, the transition operator of the chain under consideration enjoys a non-linear Lyapunov-type condition, and secondly, there e… ▽ More We propose certain conditions which are sufficient for the functional law of the iterated logarithm (the Strassen invariance principle) for some general class of non-stationary Markov-Feller chains. This class may be briefly specified by the following two properties: firstly, the transition operator of the chain under consideration enjoys a non-linear Lyapunov-type condition, and secondly, there exists an appropriate Markovian coupling whose transition probability function can be decomposed into two parts, one of which is contractive and dominant in some sense. The construction of such a coupling derives from the paper of M. Hairer (Probab. Theory Related Fields, 124(3):345--380, 2002). Our criterion may serve as a useful tool in verifying the functional law of the iterated logarithm for certain random dynamical systems, developed eg. in molecular biology. In the final part of the paper we present an example application of our main theorem to the mathematical model describing stochastic dynamics of gene expression. △ Less

Submitted 4 December, 2020; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: The results were primary announced in the manuscript arXiv:1804.09220v1, which we finally splitted into two papers in order to be able to give more precise descriptions and proofs. Note that even this single part consists of 30 pages (the other one is 25-pages long)

MSC Class: 60J05; 37A30; 37A25

Journal ref: Asymptotic Analysis 121 (2021) 1-34

A Useful Version of the Central Limit Theorem for a General Class of Markov Chains

Authors: Dawid Czapla, Katarzyna Horbacz, Hanna Wojewódka-Ściążko

Abstract: In the paper we propose certain conditions, relatively easy to verify, which ensure the central limit theorem for some general class of Markov chains. To justify the usefulness of our criterion, we further verify it for a particular discrete-time Markov dynamical system. From the application point of view, the examined system provides a useful tool in analysing the stochastic dynamics of gene expr… ▽ More In the paper we propose certain conditions, relatively easy to verify, which ensure the central limit theorem for some general class of Markov chains. To justify the usefulness of our criterion, we further verify it for a particular discrete-time Markov dynamical system. From the application point of view, the examined system provides a useful tool in analysing the stochastic dynamics of gene expression in prokaryotes. △ Less

Submitted 11 September, 2019; v1 submitted 24 April, 2018; originally announced April 2018.

Comments: The new version of the manuscript is focused on the central limit theorem only. The proofs are now more precise. The part concerning the law of the iterated logarithm is postponed to the subsequent paper. Splitting the article into two papers is certainly for the benefit of the reader, since even this single part consists of 25 pages

MSC Class: 60J05; 37A30; 37A25

Journal ref: J. Math. Anal. Appl., vol. 484 (2020)

Ergodic properties of some piecewise-deterministic Markov process with application to gene expression modelling

Authors: Dawid Czapla, Katarzyna Horbacz, Hanna Wojewódka-Ściążko

Abstract: A piecewise-deterministic Markov process, specified by random jumps and switching semi-flows, as well as the associated Markov chain given by its post-jump locations, are investigated in this paper. The existence of an exponentially attracting invariant measure and the strong law of large numbers are proven for the chain. Further, a one-to-one correspondence between invariant measures for the chai… ▽ More A piecewise-deterministic Markov process, specified by random jumps and switching semi-flows, as well as the associated Markov chain given by its post-jump locations, are investigated in this paper. The existence of an exponentially attracting invariant measure and the strong law of large numbers are proven for the chain. Further, a one-to-one correspondence between invariant measures for the chain and invariant measures for the continuous-time process is established. This result, together with the aforementioned ergodic properties of the discrete-time model, is used to derive the strong law of large numbers for the process. The studied random dynamical systems are inspired by certain biological models of gene expression, which are also discussed within this paper. △ Less

Submitted 11 September, 2019; v1 submitted 20 July, 2017; originally announced July 2017.

Comments: 38 pages, 1 figure

MSC Class: 60J05; 60J25; 37A30; 37A25

Journal ref: Stochastic Processes and their Applications, Volume 130, Issue 5, 2020, Pages 2851-2885