Showing 1–43 of 43 results for author: Safranek, D

Learning Planning Action Models from State Traces

Authors: Tomáš Balyo, Martin Suda, Lukáš Chrpa, Dominik Šafránek, Filip Dvořák, Roman Barták, G. Michael Youngblood

Abstract: Previous STRIPS domain model acquisition approaches that learn from state traces start with the names and parameters of the actions to be learned. Therefore their only task is to deduce the preconditions and effects of the given actions. In this work, we explore learning in situations when the parameters of learned actions are not provided. We define two levels of trace quality based on which info… ▽ More Previous STRIPS domain model acquisition approaches that learn from state traces start with the names and parameters of the actions to be learned. Therefore their only task is to deduce the preconditions and effects of the given actions. In this work, we explore learning in situations when the parameters of learned actions are not provided. We define two levels of trace quality based on which information is provided and present an algorithm for each. In one level (L1), the states in the traces are labeled with action names, so we can deduce the number and names of the actions, but we still need to work out the number and types of parameters. In the other level (L2), the states are additionally labeled with objects that constitute the parameters of the corresponding grounded actions. Here we still need to deduce the types of the parameters in the learned actions. We experimentally evaluate the proposed algorithms and compare them with the state-of-the-art learning tool FAMA on a large collection of IPC benchmarks. The evaluation shows that our new algorithms are faster, can handle larger inputs and provide better results in terms of learning action models more similar to reference models. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Entropic partial orderings of quantum measurements

Authors: Adam Teixidó-Bonfill, Joseph Schindler, Dominik Šafránek

Abstract: We investigate four partial orderings on the space of quantum measurements (i.e on POVMs or positive operator valued measures), describing four notions of coarse/fine-ness of measurement. These are the partial orderings induced by: (1) classical post-processing, (2) measured relative entropy, (3) observational entropy, and (4) linear relation of POVMs. The orderings form a hierarchy of implication… ▽ More We investigate four partial orderings on the space of quantum measurements (i.e on POVMs or positive operator valued measures), describing four notions of coarse/fine-ness of measurement. These are the partial orderings induced by: (1) classical post-processing, (2) measured relative entropy, (3) observational entropy, and (4) linear relation of POVMs. The orderings form a hierarchy of implication, where e.g. post-processing relation implies all the others. We show that this hierarchy is strict for general POVMs, with examples showing that all four orderings are strictly inequivalent. Restricted to projective measurements, all are equivalent. Finally we show that observational entropy equality $S_M = S_N$ (for all $ρ$) holds if and only if $M \equiv N$ are post-processing equivalent, which shows that the first three orderings induce identical equivalence classes. △ Less

Submitted 29 February, 2024; v1 submitted 21 October, 2023; originally announced October 2023.

Comments: 15 pages. v2, minor updates

Minimal time required to charge a quantum system

Authors: Ju-Yeon Gyhm, Dario Rosa, Dominik Šafránek

Abstract: We introduce a quantum charging distance as the minimal time that it takes to reach one state (charged state) from another state (depleted state) via a unitary evolution, assuming limits on the resources invested into the driving Hamiltonian. For pure states it is equal to the Bures angle, while for mixed states, its computation leads to an optimization problem. Thus, we also derive easily computa… ▽ More We introduce a quantum charging distance as the minimal time that it takes to reach one state (charged state) from another state (depleted state) via a unitary evolution, assuming limits on the resources invested into the driving Hamiltonian. For pure states it is equal to the Bures angle, while for mixed states, its computation leads to an optimization problem. Thus, we also derive easily computable bounds on this quantity. The charging distance tightens the known bound on the mean charging power of a quantum battery, it quantifies the quantum charging advantage, and it leads to an always achievable quantum speed limit. In contrast with other similar quantities, the charging distance does not depend on the eigenvalues of the density matrix, it depends only on the corresponding eigenspaces. This research formalizes and interprets quantum charging in a geometric way, and provides a measurable quantity that one can optimize for to maximize the speed of charging of future quantum batteries. △ Less

Submitted 26 February, 2024; v1 submitted 30 August, 2023; originally announced August 2023.

Comments: 15 pages, 4 figures, v2: added Table I: main results, extended discussion on the quantum speed limit

Journal ref: Phys. Rev. A 109, 022607 (2024)

Observational entropy with general quantum priors

Authors: Ge Bai, Dominik Šafránek, Joseph Schindler, Francesco Buscemi, Valerio Scarani

Abstract: Observational entropy captures both the intrinsic uncertainty of a thermodynamic state and the lack of knowledge due to coarse-graining. We demonstrate two interpretations of observational entropy, one as the statistical deficiency resulting from a measurement, the other as the difficulty of inferring the input state from the measurement statistics by quantum Bayesian retrodiction. These interpret… ▽ More Observational entropy captures both the intrinsic uncertainty of a thermodynamic state and the lack of knowledge due to coarse-graining. We demonstrate two interpretations of observational entropy, one as the statistical deficiency resulting from a measurement, the other as the difficulty of inferring the input state from the measurement statistics by quantum Bayesian retrodiction. These interpretations show that the observational entropy implicitly includes a uniform reference prior. Since the uniform prior cannot be used when the system is infinite-dimensional or otherwise energy-constrained, we propose generalizations by replacing the uniform prior with arbitrary quantum states that may not even commute with the state of the system. We propose three candidates for this generalization, discuss their properties, and show that one of them gives a unified expression that relates both interpretations. △ Less

Submitted 15 March, 2024; v1 submitted 16 August, 2023; originally announced August 2023.

Comments: 13 pages, no figure, 1 table. Examples and more discussion added

Ergotropic interpretation of entanglement entropy

Authors: Dominik Šafránek

Abstract: Entanglement entropy is one of the most prominent measures in quantum physics. We show that it has an interesting ergotropic interpretation in terms of unitarily extracted work. It determines how much energy one can extract from a source of pure unknown states by applying unitary operations when only local measurements can be performed to characterize this source. Additionally, entanglement entrop… ▽ More Entanglement entropy is one of the most prominent measures in quantum physics. We show that it has an interesting ergotropic interpretation in terms of unitarily extracted work. It determines how much energy one can extract from a source of pure unknown states by applying unitary operations when only local measurements can be performed to characterize this source. Additionally, entanglement entropy sets a limit on the minimal temperature to which these partially characterized states can be cooled down, by using only unitary operations. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Comments: 4 pages, 1 figure. Comments and questions welcome

Measuring energy by measuring any other observable

Authors: Dominik Šafránek, Dario Rosa

Abstract: We present a method to estimate the probabilities of outcomes of a quantum observable, its mean value, and higher moments by measuring any other observable. This method is general and can be applied to any quantum system. In the case of estimating the mean energy of an isolated system, the estimate can be further improved by measuring the other observable at different times. Intuitively, this meth… ▽ More We present a method to estimate the probabilities of outcomes of a quantum observable, its mean value, and higher moments by measuring any other observable. This method is general and can be applied to any quantum system. In the case of estimating the mean energy of an isolated system, the estimate can be further improved by measuring the other observable at different times. Intuitively, this method uses interplay and correlations between the measured observable, the estimated observable, and the state of the system. We provide two bounds: one that is looser but analytically computable and one that is tighter but requires solving a non-convex optimization problem. The method can be used to estimate expectation values and related quantities such as temperature and work in setups where performing measurements in a highly entangled basis is difficult, finding use in state-of-the-art quantum simulators. As a demonstration, we show that in Heisenberg and Ising models of ten sites in the localized phase, performing two-qubit measurements excludes 97.5% and 96.7% of the possible range of energies, respectively, when estimating the ground state energy. △ Less

Submitted 14 August, 2023; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: 7+9 pages, 6 figures, 3 tables. v2: significantly reworked structure and made it easier to read. Proofs simplified and moved to the main text. v3: title changed, cosmetic changes. Questions and comments are welcome

Journal ref: Phys. Rev. A 108, 022208 (2023)

Work extraction from unknown quantum sources

Authors: Dominik Šafránek, Dario Rosa, Felix Binder

Abstract: Energy extraction is a central task in thermodynamics. In quantum physics, ergotropy measures the amount of work extractable under cyclic Hamiltonian control. As its full extraction requires perfect knowledge of the initial state, however, it does not characterize the work value of unknown or untrusted quantum sources. Fully characterizing such sources would require quantum tomography, which is pr… ▽ More Energy extraction is a central task in thermodynamics. In quantum physics, ergotropy measures the amount of work extractable under cyclic Hamiltonian control. As its full extraction requires perfect knowledge of the initial state, however, it does not characterize the work value of unknown or untrusted quantum sources. Fully characterizing such sources would require quantum tomography, which is prohibitively costly in experiments due to the exponential growth of required measurements and operational limitations. Here, we therefore derive a new notion of ergotropy applicable when nothing is known about the quantum states produced by the source, apart from what can be learned by performing only a single type of coarse-grained measurement. We find that in this case the extracted work is defined by the Boltzmann and observational entropy, in cases where the measurement outcomes are, or are not, used in the work extraction, respectively. This notion of ergotropy represents a realistic measure of extractable work, which can be used as the relevant figure of merit to characterize a quantum battery. △ Less

Submitted 30 May, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: 5+1(Appendix)+7(Supplemental) pages, 4 figures. Comments and questions welcome. v2: changed the interpretation of the coarse-grained extraction operations (former eq (6), now eq (7)). Appendix with examples added. Results unchanged. v3: technical details moved into a short appendix. Added explanatory figure for the extraction operations. Added extra proof in the Supplemental Material

Journal ref: Phys. Rev. Lett. 130, 210401 (2023)

Observational entropy, coarse quantum states, and Petz recovery: information-theoretic properties and bounds

Authors: Francesco Buscemi, Joseph Schindler, Dominik Šafránek

Abstract: Observational entropy provides a general notion of quantum entropy that appropriately interpolates between Boltzmann's and Gibbs' entropies, and has recently been argued to provide a useful measure of out-of-equilibrium thermodynamic entropy. Here we study the mathematical properties of observational entropy from an information-theoretic viewpoint, making use of recently strengthened forms of the… ▽ More Observational entropy provides a general notion of quantum entropy that appropriately interpolates between Boltzmann's and Gibbs' entropies, and has recently been argued to provide a useful measure of out-of-equilibrium thermodynamic entropy. Here we study the mathematical properties of observational entropy from an information-theoretic viewpoint, making use of recently strengthened forms of the monotonicity property of quantum relative entropy. We present new bounds on observational entropy applying in general, as well as bounds and identities related to sequential and post-processed measurements. A central role in this work is played by what we call the ``coarse-grained'' state, which emerges from the measurement's statistics by Bayesian retrodiction, without presuming any knowledge about the ``true'' underlying state being measured. The degree of distinguishability between such a coarse-grained state and the true (but generally unobservable) one is shown to provide upper and lower bounds on the difference between observational and von Neumann entropies. △ Less

Submitted 5 April, 2023; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: 18 pages, 1 figure. v2 Greatly revised and restructured, adds new results. Questions and comments welcome

Journal ref: New J. Phys. 25, 053002 (2023)

Robust Control of Partially Specified Boolean Networks

Authors: Luboš Brim, Samuel Pastva, David Šafránek, Eva Šmijáková

Abstract: Regulatory networks (RNs) are a well-accepted modelling formalism in computational systems biology. The control of RNs is currently receiving a lot of attention because it provides a computational basis for cell reprogramming -- an attractive technology developed in regenerative medicine. By solving the control problem, we learn which parts of a biological system should be perturbed to stabilise t… ▽ More Regulatory networks (RNs) are a well-accepted modelling formalism in computational systems biology. The control of RNs is currently receiving a lot of attention because it provides a computational basis for cell reprogramming -- an attractive technology developed in regenerative medicine. By solving the control problem, we learn which parts of a biological system should be perturbed to stabilise the system in the desired phenotype. We allow the specification of the Boolean model representing a given RN to be incomplete. To that end, we utilise the formalism of partially specified Boolean networks which covers every possible behaviour of unspecified parts of the system. Such an approach causes a significant state explosion. This problem is addressed by using symbolic methods to represent both the unspecified model parts and all possible perturbations of the system. Additionally, to make the control design efficient and practically applicable, the optimal control should be minimal in terms of size. Moreover, in a partially specified model, a control may achieve the desired stabilisation only for a subset of the possible fully specified model instantiations. To address these aspects, we utilise several quantitative measures. Apart from the size of perturbation, we also examine its robustness -- a portion of instantiations for which the control is applicable. We show that proposed symbolic methods solving the control problem for partially specified BNs are efficient and scale well. We also evaluate the robustness metrics in cases of all three studied control types. The robustness metric tells us how big a proportion of fully defined systems the given perturbation works. Our experiments support the hypothesis that one-step perturbations may be less robust than temporary or permanent perturbations. This is a full version of a paper that is submitted to a journal. △ Less

Submitted 27 February, 2022; originally announced February 2022.

Biochemical Space Language in Relation to Multiset Rewriting Systems

Authors: Matej Troják, David Šafránek, Luboš Brim

Abstract: This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems, while for an MRS, they are defined in terms of a set of runs. In this report, we relate BCSL to MRS by first showing how the transition system is related to a set of runs and consequently showing how for every BCSL model, a… ▽ More This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems, while for an MRS, they are defined in terms of a set of runs. In this report, we relate BCSL to MRS by first showing how the transition system is related to a set of runs and consequently showing how for every BCSL model, an MRS can be constructed such that both represent the same set of runs. The motivation of this step is to establish BCSL in the context of a more general rewriting system and benefit from properties shown for them. Finally, we show that regulations defined for MRS can be consequently used in the BCSL model. △ Less

Submitted 12 January, 2022; originally announced January 2022.

Comments: 9 pages, 8 figures

Regulated Multiset Rewriting Systems

Authors: Matej Troják, Samuel Pastva, David Šafránek, Luboš Brim

Abstract: Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls on the derivations as a tool for reducing possible non-deterministic behaviour by providing additional knowledge about the system. We introduce several regulation mechanisms and compare their generative power. Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls on the derivations as a tool for reducing possible non-deterministic behaviour by providing additional knowledge about the system. We introduce several regulation mechanisms and compare their generative power. △ Less

Submitted 25 November, 2021; originally announced November 2021.

Comments: 12 pages, 14 figures

Journal ref: Biosystems 225, 2023, 104843

BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs

Authors: Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek

Abstract: Edge-coloured directed graphs provide an essential structure for modelling and analysis of complex systems arising in many scientific disciplines (e.g. feature-oriented systems, gene regulatory networks, etc.). One of the fundamental problems for edge-coloured graphs is the detection of strongly connected components, or SCCs. The size of edge-coloured graphs appearing in practice can be enormous b… ▽ More Edge-coloured directed graphs provide an essential structure for modelling and analysis of complex systems arising in many scientific disciplines (e.g. feature-oriented systems, gene regulatory networks, etc.). One of the fundamental problems for edge-coloured graphs is the detection of strongly connected components, or SCCs. The size of edge-coloured graphs appearing in practice can be enormous both in the number of vertices and colours. The large number of vertices prevents us from analysing such graphs using explicit SCC detection algorithms, such as Tarjan's, which motivates the use of a symbolic approach. However, the large number of colours also renders existing symbolic SCC detection algorithms impractical. This paper proposes a novel algorithm that symbolically computes all the monochromatic strongly connected components of an edge-coloured graph. In the worst case, the algorithm performs $O(p \cdot n \cdot log~n)$ symbolic steps, where $p$ is the number of colours and $n$ is the number of vertices. We evaluate the algorithm using an experimental implementation based on binary decision diagrams (BDDs). Specifically, we use our implementation to explore the SCCs of a large collection of coloured graphs (up to $2^{48}$) obtained from Boolean networks -- a modelling framework commonly appearing in systems biology. △ Less

Submitted 9 March, 2022; v1 submitted 30 August, 2021; originally announced August 2021.

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 1 (March 10, 2022) lmcs:8427

Quantum Charging Advantage Cannot Be Extensive Without Global Operations

Authors: Ju-Yeon Gyhm, Dominik Šafránek, Dario Rosa

Abstract: Quantum batteries are devices made from quantum states, which store and release energy in a fast and efficient manner, thus offering numerous possibilities in future technological applications. They offer a significant charging speedup when compared to classical batteries, due to the possibility of using entangling charging operations. We show that the maximal speedup that can be achieved is exten… ▽ More Quantum batteries are devices made from quantum states, which store and release energy in a fast and efficient manner, thus offering numerous possibilities in future technological applications. They offer a significant charging speedup when compared to classical batteries, due to the possibility of using entangling charging operations. We show that the maximal speedup that can be achieved is extensive in the number of cells, thus offering at most quadratic scaling in the charging power over the classically achievable linear scaling. To reach such a scaling, a global charging protocol, charging all the cells collectively, needs to be employed. This concludes the quest on the limits of charging power of quantum batteries and adds to other results in which quantum methods are known to provide at most quadratic scaling over their classical counterparts. △ Less

Submitted 8 April, 2022; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: Main text: 5 pages, 1 figure. Supplemental material: 7 pages, 3 figures: v2: main: extended explanation of the source of the quantum advantage and comparison with parallel charging, references added, and other minor changes. Supplemental material: additional discussion of the scaling of the bandwidth of Fig. 1

Journal ref: Phys. Rev. Lett. 128, 140501 (2022)

Parallel One-Step Control of Parametrised Boolean Networks

Authors: Lubos Brim, Samuel Pastva, David Safranek, Eva Smijakova

Abstract: Boolean network (BN) is a simple model widely used to study complex dynamic behaviour of biological systems. Nonetheless, it might be difficult to gather enough data to precisely capture the behavior of a biological system into a set of Boolean functions. These issues can be dealt with to some extent using parametrised Boolean networks (ParBNs), as it allows to leave some update functions unspecif… ▽ More Boolean network (BN) is a simple model widely used to study complex dynamic behaviour of biological systems. Nonetheless, it might be difficult to gather enough data to precisely capture the behavior of a biological system into a set of Boolean functions. These issues can be dealt with to some extent using parametrised Boolean networks (ParBNs), as it allows to leave some update functions unspecified. In this paper, we attack the control problem for ParBNs with asynchronous semantics. While there is an extensive work on controlling BNs without parameters, the problem of control for ParBNs has not been in fact addressed yet. The goal of control is to ensure the stabilisation of a system in a given state using as few interventions as possible. There are many ways to control BN dynamics. Here, we consider the one-step approach in which the system is instantaneously perturbed out of its actual state. A naive approach to handle control of ParBNs is using parameter scan and solve the control problem for each parameter valuation separately using known techniques for non-parametrised BNs. This approach is however highly inefficient as the parameter space of ParBNs grows doubly-exponentially in the worst case. In this paper, we propose a novel semi-symbolic algorithm for the one-step control problem of ParBNs, that builds on a symbolic data structures to avoid scanning individual parameters. We evaluate the performance of our approach on real biological models. △ Less

Submitted 1 September, 2020; originally announced September 2020.

A brief introduction to observational entropy

Authors: Dominik Šafránek, Anthony Aguirre, Joseph Schindler, J. M. Deutsch

Abstract: In the past several years, observational entropy has been developed as both a (time-dependent) quantum generalization of Boltzmann entropy, and as a rather general framework to encompass classical and quantum equilibrium and non-equilibrium coarse-grained entropy. In this paper we review the construction, interpretation, most important properties, and some applications of this framework. The treat… ▽ More In the past several years, observational entropy has been developed as both a (time-dependent) quantum generalization of Boltzmann entropy, and as a rather general framework to encompass classical and quantum equilibrium and non-equilibrium coarse-grained entropy. In this paper we review the construction, interpretation, most important properties, and some applications of this framework. The treatment is self-contained and relatively pedagogical, aimed at a broad class of researchers. △ Less

Submitted 27 October, 2021; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: Review of recent developments in observational entropy in isolated systems. 8+4 pages, 3 figures, 1 table

Journal ref: Foundations of Physics 51, 101 (2021)

Quantifying Information Extraction using Generalized Quantum Measurements

Authors: Dominik Šafránek, Juzar Thingna

Abstract: Observational entropy is interpreted as the uncertainty an observer making measurements associates with a system. So far, properties that make such an interpretation possible rely on the assumption of ideal projective measurements. We show that the same properties hold even when considering generalized measurements. Thus, the interpretation still holds: Observational entropy is a well-defined quan… ▽ More Observational entropy is interpreted as the uncertainty an observer making measurements associates with a system. So far, properties that make such an interpretation possible rely on the assumption of ideal projective measurements. We show that the same properties hold even when considering generalized measurements. Thus, the interpretation still holds: Observational entropy is a well-defined quantifier determining how influential a given series of measurements is in information extraction. This generalized framework allows for the study of the performance of indirect measurement schemes, which are those using a probe. Using this framework, we first analyze the limitations of a finite-dimensional probe. Then we study several scenarios of the von Neumann measurement scheme, in which the probe is a classical particle characterized by its position. Finally, we discuss observational entropy as a tool for quantum state inference. Further developed, this framework could find applications in quantum information processing. For example, it could help in determining the best read-out procedures from quantum memories and to provide adaptive measurement strategies alternative to quantum state tomography. △ Less

Submitted 8 December, 2023; v1 submitted 11 July, 2020; originally announced July 2020.

Comments: 19+10 pages, 6 figures. v3: name change, changed template to Quantum journal template, and other minor modifications. v4: significantly improved presentation and organization, appendix added. v5: changed to PRA style

Journal ref: Phys. Rev. A 108, 032413 (2023)

Quantum correlation entropy

Authors: Joseph Schindler, Dominik Šafránek, Anthony Aguirre

Abstract: We study quantum coarse-grained entropy and demonstrate that the gap in entropy between local and global coarse-grainings is a natural generalization of entanglement entropy to mixed states and multipartite systems. This "quantum correlation entropy" $S^{\rm QC}$ is additive over independent systems, is invariant under local unitary operations, measures total nonclassical correlations (vanishing o… ▽ More We study quantum coarse-grained entropy and demonstrate that the gap in entropy between local and global coarse-grainings is a natural generalization of entanglement entropy to mixed states and multipartite systems. This "quantum correlation entropy" $S^{\rm QC}$ is additive over independent systems, is invariant under local unitary operations, measures total nonclassical correlations (vanishing on states with strictly classical correlation), and reduces to the entanglement entropy for bipartite pure states. It quantifies how well a quantum system can be understood via local measurements, and ties directly to non-equilibrium thermodynamics, including representing a lower bound on the quantum part of thermodynamic entropy production. We discuss two other measures of nonclassical correlation to which this entropy is equivalent, and argue that together they provide a unique thermodynamically distinguished measure. △ Less

Submitted 30 November, 2020; v1 submitted 11 May, 2020; originally announced May 2020.

Comments: 6 pages. v3 published version

Journal ref: Phys. Rev. A 102, 052407 (2020)

Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Authors: Matej Troják, David Šafránek, Luboš Brim

Abstract: We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstractio… ▽ More We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level. △ Less

Submitted 21 January, 2020; originally announced February 2020.

Comments: 18 pages, 5 figures

Typical and extreme entropies of long-lived isolated quantum systems

Authors: Dana Faiez, Dominik Šafránek, J. M. Deutsch, Anthony Aguirre

Abstract: In this paper, we investigate and compare two well-developed definitions of entropy relevant for describing the dynamics of isolated quantum systems: bipartite entanglement entropy and observational entropy. In a model system of interacting particles in a one-dimensional lattice, we numerically solve for the full quantum behavior of the system. We characterize the fluctuations, and find the maxima… ▽ More In this paper, we investigate and compare two well-developed definitions of entropy relevant for describing the dynamics of isolated quantum systems: bipartite entanglement entropy and observational entropy. In a model system of interacting particles in a one-dimensional lattice, we numerically solve for the full quantum behavior of the system. We characterize the fluctuations, and find the maximal, minimal, and typical entropy of each type that the system can eventually attain through its evolution. While both entropies are low for some "special" configurations and high for more "generic" ones, there are several fundamental differences in their behavior. Observational entropy behaves in accord with classical Boltzmann entropy (e.g. equilibrium is a condition of near-maximal entropy and uniformly distributed particles, and minimal entropy is a very compact configuration). Entanglement entropy is rather different: minimal entropy "empties out" one partition while maximal entropy apportions the particles between the partitions, and neither is typical. Beyond these qualitative results, we characterize both entropies and their fluctuations in some detail as they depend on temperature, particle number, and box size. △ Less

Submitted 28 May, 2020; v1 submitted 19 August, 2019; originally announced August 2019.

Comments: Additional comments are made in the caption of figure 10 (a). Equation 7 and a brief description are added in relation to figure 4

Journal ref: Phys. Rev. A 101, 052101 (2020)

Delayed choice experiments and causality in quantum mechanics

Authors: Dominik Šafránek

Abstract: Although it may seem The Delayed Choice experiments contradict causality and one could construct an experiment which could possibly affect the past, using Many World interpretation we prove it is not possible. We also find a mathematical background to Which-path information and show why its obtainability prevents system from interfering. We find a system which exhibit both interference and correla… ▽ More Although it may seem The Delayed Choice experiments contradict causality and one could construct an experiment which could possibly affect the past, using Many World interpretation we prove it is not possible. We also find a mathematical background to Which-path information and show why its obtainability prevents system from interfering. We find a system which exhibit both interference and correlation and show why one-particle interference and correlations are complementary. Better visible interference pattern leads to worse correlations and vice versa. Then, using knowledge gained from Quantum Eraser and Delayed Choice experiments we prove there is not an objective reality in a sense of Einstein, Podolsky and Rosen. Furthermore, we discuss the difference between ``outer'' (non-interacting) and ``inner'' (interacting) observer. We find the mathematical relationship between the ``universal'' wave function used by ``outer'' observer and processes the ``inner'' observer sees, which is our small contribution to the measurement problem. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: My Master's Thesis, submitted in 2013. 51+18 pages, 17 figures. Please be forgiving of the simple language, and not too extensive literature review - I was still growing as a researcher. Despite that, even now I still believe that this work contains some very interesting ideas, which is why I decided to upload it after all those years

How much entanglement can be created in a closed system?

Authors: Dana Faiez, Dominik Šafránek

Abstract: In a closed system, the total number of particles is fixed. We ask how much does this conservation law restrict the amount of entanglement that can be created. We derive a tight upper bound on the bipartite entanglement entropy in closed systems, and find what a maximally entangled state looks like in such a system. Finally, we illustrate numerically on an isolated system of one-dimensional fermio… ▽ More In a closed system, the total number of particles is fixed. We ask how much does this conservation law restrict the amount of entanglement that can be created. We derive a tight upper bound on the bipartite entanglement entropy in closed systems, and find what a maximally entangled state looks like in such a system. Finally, we illustrate numerically on an isolated system of one-dimensional fermionic gas, that the upper bound can be reached during its unitary evolution, when starting in a pure state that emulates a thermal state with high enough temperature. These results are in accordance with current experiments measuring Rényi-2 entanglement entropy, all of which employ a particle-conserving Hamiltonian, where our bound acts as a loose bound, and will become especially important for bounding the amount of entanglement that can be spontaneously created, once a direct measurement of entanglement entropy becomes feasible. △ Less

Submitted 14 February, 2020; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 5 pages, 4 figures. v2: extended numerical simulations, now including cases with no interaction and no hop**, extended discussion, added evaluation of the bound in the thermodynamic limit

Journal ref: Phys. Rev. B 101, 060401 (2020)

Classical dynamical coarse-grained entropy and comparison with the quantum version

Authors: Dominik Šafránek, Anthony Aguirre, J. M. Deutsch

Abstract: We develop the framework of classical Observational entropy, which is a mathematically rigorous and precise framework for non-equilibrium thermodynamics, explicitly defined in terms of a set of observables. Observational entropy can be seen as a generalization of Boltzmann entropy to systems with indeterminate initial conditions, and describes the knowledge achievable about the system by a macrosc… ▽ More We develop the framework of classical Observational entropy, which is a mathematically rigorous and precise framework for non-equilibrium thermodynamics, explicitly defined in terms of a set of observables. Observational entropy can be seen as a generalization of Boltzmann entropy to systems with indeterminate initial conditions, and describes the knowledge achievable about the system by a macroscopic observer with limited measurement capabilities; it becomes Gibbs entropy in the limit of perfectly fine-grained measurements. This quantity, while previously mentioned in the literature, has been investigated in detail only in the quantum case. We describe this framework reasonably pedagogically, then show that in this framework, certain choices of coarse-graining lead to an entropy that is well-defined out of equilibrium, additive on independent systems, and that grows towards thermodynamic entropy as the system reaches equilibrium, even for systems that are genuinely isolated. Choosing certain macroscopic regions, this dynamical thermodynamic entropy measures how close these regions are to thermal equilibrium. We also show that in the given formalism, the correspondence between classical entropy (defined on classical phase space) and quantum entropy (defined on Hilbert space) becomes surprisingly direct and transparent, while manifesting differences stemming from non-commutativity of coarse-grainings and from non-existence of a direct classical analogue of quantum energy eigenstates. △ Less

Submitted 5 May, 2020; v1 submitted 9 May, 2019; originally announced May 2019.

Comments: 15+6 pages, 6 figures, 1 table. v2: literature review extended, added a discussion of Observational entropy with local energy coarse-graining (FOE) and its properties, added physical/operational interpretations of both FOE and S_xE. Comments and questions are very much welcome

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

Probabilistic bound on extreme fluctuations in isolated quantum systems

Authors: Joshua M. Deutsch, Dominik Šafránek, Anthony Aguirre

Abstract: We ask to what extent an isolated quantum system can eventually "contract" to be contained within a given Hilbert subspace. We do this by starting with an initial random state, considering the probability that all the particles will be measured in a fixed subspace, and maximizing this probability over all time. This is relevant, for example, in a cosmological context, which may have access to inde… ▽ More We ask to what extent an isolated quantum system can eventually "contract" to be contained within a given Hilbert subspace. We do this by starting with an initial random state, considering the probability that all the particles will be measured in a fixed subspace, and maximizing this probability over all time. This is relevant, for example, in a cosmological context, which may have access to indefinite timescales. We find that when the subspace is much smaller than the entire space, this maximal probability goes to $1/2$ for real initial wave functions, and to $π^2/16$ when the initial wave function has been drawn from a complex ensemble. For example when starting in a real generic state, the chances of collapsing all particles into a small box will be less than but come arbitrarily close to $50\%$. This contraction corresponds to an entropy reduction by a factor of approximately two, thus bounding large downward fluctuations in entropy from generic initial states. △ Less

Submitted 13 May, 2020; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: 11+5 pages, 4 figures. v2: extended figures and discussions of probability of a particle collapse into a small region of space. Title changed

Journal ref: Phys. Rev. E 101, 032112 (2020)

Quantum Zeno effect in correlated qubits

Authors: Dominik Šafránek, Sebastian Deffner

Abstract: Near term quantum hardware promises to achieve quantum supremacy. From a quantum dynamical point of view, however, it is not unambiguously clear whether fundamental peculiarities of quantum physics permit any arbitrary speed-ups in real time. We show that an only recently unveiled property of the quantum Fisher information has profound implications for the rate of possible quantum information proc… ▽ More Near term quantum hardware promises to achieve quantum supremacy. From a quantum dynamical point of view, however, it is not unambiguously clear whether fundamental peculiarities of quantum physics permit any arbitrary speed-ups in real time. We show that an only recently unveiled property of the quantum Fisher information has profound implications for the rate of possible quantum information processing. To this end, we analyze an exemplary and pedagogical example for a quantum computer consisting of a computational qubit and a quantum memory. We find that frequent interaction between memory and device exhibit the quantum Zeno effect. In a second part, we show that the Zeno effect can be prevented by carefully designing the correlations and interaction between single elements of the quantum memory. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: 5 pages, 5 figures

Journal ref: Phys. Rev. A 98, 032308 (2018)

Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks

Authors: Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé

Abstract: The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be derived a discrete transition system. Given the influence graph only, the exploration of admissible parametrisations and the behaviours they enable is computationally demanding due to the combinatorial explosions of both para… ▽ More The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be derived a discrete transition system. Given the influence graph only, the exploration of admissible parametrisations and the behaviours they enable is computationally demanding due to the combinatorial explosions of both parametrisation and reachable state space. This article introduces an abstraction of the parametrisation space and its refinement to account for the existence of given transitions, and for constraints on the sign and observability of influences. The abstraction uses a convex sublattice containing the concrete parametrisation space specified by its infimum and supremum parametrisations. It is shown that the computed abstractions are optimal, i.e., no smaller convex sublattice exists. Although the abstraction may introduce over-approximation, it has been proven to be conservative with respect to reachability of states. Then, an unfolding semantics for Parametric Regulatory Networks is defined, taking advantage of concurrency between transitions to provide a compact representation of reachable transitions. A prototype implementation is provided: it has been applied to several examples of Boolean and multi-valued networks, showing its tractability for networks with numerous components. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: preprint

MSC Class: 92C42

Quantum coarse-grained entropy and thermalization in closed systems

Authors: Dominik Šafránek, J. M. Deutsch, Anthony Aguirre

Abstract: We investigate the detailed properties of Observational entropy, introduced by Šafránek et al. [Phys. Rev. A 99, 010101 (2019)] as a generalization of Boltzmann entropy to quantum mechanics. This quantity can involve multiple coarse-grainings, even those that do not commute with each other, without losing any of its properties. It is well-defined out of equilibrium, and for some coarse-grainings i… ▽ More We investigate the detailed properties of Observational entropy, introduced by Šafránek et al. [Phys. Rev. A 99, 010101 (2019)] as a generalization of Boltzmann entropy to quantum mechanics. This quantity can involve multiple coarse-grainings, even those that do not commute with each other, without losing any of its properties. It is well-defined out of equilibrium, and for some coarse-grainings it generically rises to the correct thermodynamic value even in a genuinely isolated quantum system. The quantity contains several other entropy definitions as special cases, it has interesting information-theoretic interpretations, and mathematical properties -- such as extensivity and upper and lower bounds -- suitable for an entropy. Here we describe and provide proofs for many of its properties, discuss its interpretation and connection to other quantities, and provide numerous simulations and analytic arguments supporting the claims of its relationship to thermodynamic entropy. This quantity may thus provide a clear and well-defined foundation on which to build a satisfactory understanding of the second thermodynamical law in quantum mechanics. △ Less

Submitted 15 January, 2019; v1 submitted 1 March, 2018; originally announced March 2018.

Comments: 24+17 pages, 9 figures, v2: added some new results and figures, extended section on comparison with other entropy measures

Journal ref: Phys. Rev. A 99, 012103 (2019)

Simple expression for the quantum Fisher information matrix

Authors: Dominik Šafránek

Abstract: Quantum Fisher information matrix (QFIM) is a cornerstone of modern quantum metrology and quantum information geometry. Apart from optimal estimation, it finds applications in description of quantum speed limits, quantum criticality, quantum phase transitions, coherence, entanglement, and irreversibility. We derive a surprisingly simple formula for this quantity, which, unlike previously known gen… ▽ More Quantum Fisher information matrix (QFIM) is a cornerstone of modern quantum metrology and quantum information geometry. Apart from optimal estimation, it finds applications in description of quantum speed limits, quantum criticality, quantum phase transitions, coherence, entanglement, and irreversibility. We derive a surprisingly simple formula for this quantity, which, unlike previously known general expression, does not require diagonalization of the density matrix, and is provably at least as efficient. With a minor modification, this formula can be used to compute QFIM for any finite-dimensional density matrix. Because of its simplicity, it could also shed more light on the quantum information geometry in general. △ Less

Submitted 12 April, 2018; v1 submitted 3 January, 2018; originally announced January 2018.

Comments: 4+1 pages, v2: proof simplified, introduction extended, added discussion and examples

Journal ref: Phys. Rev. A 97, 042322 (2018)

Estimation of Gaussian quantum states

Authors: Dominik Šafránek

Abstract: We derive several expressions for the quantum Fisher information matrix (QFIM) for the multi-parameter estimation of multi-mode Gaussian quantum states, the corresponding symmetric logarithmic derivatives, and conditions for saturability of the quantum Cramér-Rao bound. This bound determines the ultimate precision with which parameters encoded into quantum states can be estimated. We include expre… ▽ More We derive several expressions for the quantum Fisher information matrix (QFIM) for the multi-parameter estimation of multi-mode Gaussian quantum states, the corresponding symmetric logarithmic derivatives, and conditions for saturability of the quantum Cramér-Rao bound. This bound determines the ultimate precision with which parameters encoded into quantum states can be estimated. We include expressions for mixed states, for the case when the Williamson decomposition of the covariance matrix is known, expressions in terms of infinite series, and expressions for pure states. We also discuss problematic behavior when some modes are pure, and present a method that allows the use of expressions that are defined only for mixed states, to compute QFIM for states with any number of pure modes. △ Less

Submitted 25 December, 2019; v1 submitted 31 December, 2017; originally announced January 2018.

Comments: 8+9 pages, v2: introduction extended, examples added, v3(published version): Title changed, introduction extended, significantly extended results: added expressions for the symmetric logarithmic derivatives, and expressions for saturability of the quantum Cramér-Rao bound, v4: Added an appendix of the real and the complex phase-space representations of common Gaussian unitaries and states

Journal ref: J. Phys. A 52, 035304 (2019)

Quantum coarse-grained entropy and thermodynamics

Authors: Dominik Šafránek, J. M. Deutsch, Anthony Aguirre

Abstract: We extend classical coarse-grained entropy, commonly used in many branches of physics, to the quantum realm. We find two coarse-grainings, one using measurements of local particle numbers and then total energy, and the second using local energy measurements, which lead to an entropy that is defined outside of equilibrium, is in accord with the thermodynamic entropy for equilibrium systems, and rea… ▽ More We extend classical coarse-grained entropy, commonly used in many branches of physics, to the quantum realm. We find two coarse-grainings, one using measurements of local particle numbers and then total energy, and the second using local energy measurements, which lead to an entropy that is defined outside of equilibrium, is in accord with the thermodynamic entropy for equilibrium systems, and reaches the thermodynamic entropy in the long-time limit, even in genuinely isolated quantum systems. This answers the long-standing conceptual problem, as to which entropy is relevant for the formulation of the second thermodynamic law in closed quantum systems. This entropy could be in principle measured, especially now that experiments on such systems are becoming feasible. △ Less

Submitted 15 January, 2019; v1 submitted 31 July, 2017; originally announced July 2017.

Comments: 6 pages, 2 figures, v2: extended motivation, added more detailed interpretation, added more properties, v3: minor changes in references

Journal ref: Phys. Rev. A 99, 010101 (2019)

Discontinuities of the quantum Fisher information and the Bures metric

Authors: Dominik Šafránek

Abstract: We show that two quantities in quantum metrology that were thought to be the same, the quantum Fisher information matrix and the Bures metric, are not the same. They differ at points at which the rank of the density matrix changes. The quantum Fisher information matrix is discontinuous at these points. However, these discontinuities are removable in some sense. We show that the expression given by… ▽ More We show that two quantities in quantum metrology that were thought to be the same, the quantum Fisher information matrix and the Bures metric, are not the same. They differ at points at which the rank of the density matrix changes. The quantum Fisher information matrix is discontinuous at these points. However, these discontinuities are removable in some sense. We show that the expression given by the Bures metric represents the continuous version of the quantum Fisher information matrix. We also derive an explicit formula for the Bures metric for both singular and non-singular density matrices. △ Less

Submitted 11 May, 2017; v1 submitted 14 December, 2016; originally announced December 2016.

Comments: 8+5 pages, 4 figures. v2: Introduction extended, larger proofs moved to the Appendix, minor corrections in proofs

Journal ref: Phys. Rev. A 95, 052320 (2017)

Gaussian quantum metrology and space-time probes

Authors: Dominik Šafránek

Abstract: In this thesis we focus on Gaussian quantum metrology in the phase-space formalism and its applications in quantum sensing and the estimation of space-time parameters. We derive new formulae for the optimal estimation of multiple parameters encoded into Gaussian states. We discuss the discontinuous behavior of the figure of merit - the quantum Fisher information. Using derived expressions we devis… ▽ More In this thesis we focus on Gaussian quantum metrology in the phase-space formalism and its applications in quantum sensing and the estimation of space-time parameters. We derive new formulae for the optimal estimation of multiple parameters encoded into Gaussian states. We discuss the discontinuous behavior of the figure of merit - the quantum Fisher information. Using derived expressions we devise a practical method of finding optimal probe states for the estimation of Gaussian channels and we illustrate this method on several examples. We show that the temperature of a probe state affects the estimation generically and always appears in the form of four multiplicative factors. We also discuss how well squeezed thermal states perform in the estimation of space-time parameters. Finally we study how the estimation precision changes when two parties exchanging a quantum state with the encoded parameter do not share a reference frame. We show that using a quantum reference frame could counter this effect. △ Less

Submitted 11 October, 2016; originally announced October 2016.

Comments: PhD Thesis, 173 pages, 15 figures, keywords: quantum metrology, Gaussian states, quantum field theory, quantum reference frames

Optimal probe states for the estimation of Gaussian unitary channels

Authors: Dominik Šafránek, Ivette Fuentes

Abstract: We construct a practical method for finding optimal Gaussian probe states for the estimation of parameters encoded by Gaussian unitary channels. This method can be used for finding all optimal probe states, rather than focusing on the performance of specific states as shown in previous studies. As an example, we apply this method to find optimal probes for the channel that combines the phase-chang… ▽ More We construct a practical method for finding optimal Gaussian probe states for the estimation of parameters encoded by Gaussian unitary channels. This method can be used for finding all optimal probe states, rather than focusing on the performance of specific states as shown in previous studies. As an example, we apply this method to find optimal probes for the channel that combines the phase-change and squeezing channels, and for generalized two-mode squeezing and mode-mixing channels. The method enables a comprehensive study of temperature effects in Gaussian parameter estimation. It has been shown that the precision in parameter estimation using single mode states can be enhanced by increasing the temperature of the probe. We show that not only higher temperature, but also larger temperature differences between modes of a Gaussian probe state can enhance the estimation precision. △ Less

Submitted 12 December, 2016; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 13+3 pages, 3 figures. v2 changes: section General Framework generalized to include displacing channels, section Effects of Temperature reworked, a figure added

Journal ref: Phys. Rev. A 94, 062313 (2016)

Ultimate precision: Gaussian parameter estimation in flat and curved spacetime

Authors: Dominik Šafránek, Jan Kohlrus, David Edward Bruschi, Antony R. Lee, Ivette Fuentes

Abstract: Relativistic quantum metrology provides an optimal strategy for the estimation of parameters encoded in quantum fields in flat and curved spacetime. These parameters usually correspond to physical quantities of interest such as proper times, accelerations, gravitational field strengths, among other spacetime parameters. The precise estimation of these parameters can lead to novel applications in g… ▽ More Relativistic quantum metrology provides an optimal strategy for the estimation of parameters encoded in quantum fields in flat and curved spacetime. These parameters usually correspond to physical quantities of interest such as proper times, accelerations, gravitational field strengths, among other spacetime parameters. The precise estimation of these parameters can lead to novel applications in gravimeters, spacetime probes and gravitational wave detectors. Previous work in this direction only considered pure probe states. In realistic situations, however, probe states are mixed. In this paper, we provide a framework for the computation of optimal precision bounds for mixed single- and two-mode Gaussian states within quantum field theory. This enables the estimation of spacetime parameters in case the field states are initially at finite temperature. △ Less

Submitted 23 May, 2017; v1 submitted 12 November, 2015; originally announced November 2015.

Comments: 9+3 pages, 2 figures. v2: Added example and two figures: application in the estimation of proper acceleration. Conclusion reworked

Quantum parameter estimation using multi-mode Gaussian states

Authors: Dominik Šafránek, Antony R. Lee, Ivette Fuentes

Abstract: Gaussian states are of increasing interest in the estimation of physical parameters because they are easy to prepare and manipulate in experiments. In this article, we derive formulae for the optimal estimation of parameters using two- and multi-mode Gaussian states. As an application of our result, we derive the optimal Gaussian probe states for the estimation of the parameter characterizing a on… ▽ More Gaussian states are of increasing interest in the estimation of physical parameters because they are easy to prepare and manipulate in experiments. In this article, we derive formulae for the optimal estimation of parameters using two- and multi-mode Gaussian states. As an application of our result, we derive the optimal Gaussian probe states for the estimation of the parameter characterizing a one-mode squeezing channel. △ Less

Submitted 15 July, 2015; v1 submitted 27 February, 2015; originally announced February 2015.

Comments: 7+4 pages, 1 figure, definition of the covariance matrix corrected, minor comments added

Journal ref: New J. Phys. 17 (2015) 073016

Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version)

Authors: L. Brim, J. Niznan, D. Safranek

Abstract: Traditional mathematical models of photosynthesis are based on mass action kinetics of light reactions. This approach requires the modeller to enumerate all the possible state combinations of the modelled chemical species. This leads to combinatorial explosion in the number of reactions although the structure of the model could be expressed more compactly. We explore the use of rule-based modellin… ▽ More Traditional mathematical models of photosynthesis are based on mass action kinetics of light reactions. This approach requires the modeller to enumerate all the possible state combinations of the modelled chemical species. This leads to combinatorial explosion in the number of reactions although the structure of the model could be expressed more compactly. We explore the use of rule-based modelling, in particular, a simplified variant of Kappa, to compactly capture and automatically reduce existing mathematical models of photosynthesis. Finally, the reduction procedure is implemented in BioNetGen language and demonstrated on several ODE models of photosynthesis processes. This is an extended version of the paper published in proceedings of 5th International Workshop on Static Analysis and Systems Biology (SASB) 2014. △ Less

Submitted 14 October, 2014; originally announced October 2014.

Comments: SASB 2014 full paper

Quantum parameter estimation with imperfect reference frames

Authors: Dominik Šafránek, Mehdi Ahmadi, Ivette Fuentes

Abstract: Quantum metrology studies quantum strategies which enable us to outperform their classical counterparts. In this framework, the existence of perfect classical reference frames is usually assumed. However, such ideal reference frames might not always be available. The reference frames required in metrology strategies can either degrade or become misaligned during the estimation process. We investig… ▽ More Quantum metrology studies quantum strategies which enable us to outperform their classical counterparts. In this framework, the existence of perfect classical reference frames is usually assumed. However, such ideal reference frames might not always be available. The reference frames required in metrology strategies can either degrade or become misaligned during the estimation process. We investigate how the imperfectness of reference frames leads to noise which in general affects the ultimate precision limits in measurement of physical parameters. Moreover, since quantum parameter estimation can be phrased as a quantum communication protocol between two parties, our results provide deeper insight into quantum communication protocols with misaligned reference frames. Our framework allows for the study of general noise on the efficiency of such schemes. △ Less

Submitted 25 April, 2014; originally announced April 2014.

Comments: 14 pages, 10 figures

Journal ref: New J. Phys. 17 (2015) 033012

On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking

Authors: Lubos Brim, Milan Ceska, Sven Drazan, David Safranek

Abstract: This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Markov Chains in order to extensively analyse and compare robustness of biological models with uncertain… ▽ More This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Markov Chains in order to extensively analyse and compare robustness of biological models with uncertain parameters. The framework utilises novel computational methods that enable to effectively evaluate the robustness of models with respect to quantitative temporal properties and parameters such as reaction rate constants and initial conditions. The framework is applied to gene regulation as an example of a central biological mechanism where intrinsic and extrinsic stochasticity plays crucial role due to low numbers of DNA and RNA molecules. Using our methods we have obtained a comprehensive and precise analysis of stochastic dynamics under parameter uncertainty. Furthermore, we apply our framework to compare several variants of two-component signalling networks from the perspective of robustness with respect to intrinsic noise caused by low populations of signalling components. We succeeded to extend previous studies performed on deterministic models (ODE) and show that stochasticity may significantly affect obtained predictions. Our case studies demonstrate that the framework can provide deeper insight into the role of key parameters in maintaining the system functionality and thus it significantly contributes to formal methods in computational systems biology. △ Less

Submitted 17 October, 2013; originally announced October 2013.

Comments: 43 pages, 15 figures, technical report

Robustness Analysis for Value-Freezing Signal Temporal Logic

Authors: L. Brim, T. Vejpustek, D. Šafránek, J. Fabriková

Abstract: In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric Temporal Logic (MTL). Furthermore, we present an algorithm for STL* robustness computation, which is implemented in the tool Parasim. Application of… ▽ More In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric Temporal Logic (MTL). Furthermore, we present an algorithm for STL* robustness computation, which is implemented in the tool Parasim. Application of STL* robustness analysis is demonstrated on case studies. △ Less

Submitted 3 September, 2013; originally announced September 2013.

Comments: In Proceedings HSB 2013, arXiv:1308.5724

Journal ref: EPTCS 125, 2013, pp. 20-36

On Expressing and Monitoring Oscillatory Dynamics

Authors: Petr Dluhoš, Luboš Brim, David Šafránek

Abstract: To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of continuous signals. The logic has been used to express and analyse biological systems, but it is not expressive enough to sufficiently distinguish oscill… ▽ More To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of continuous signals. The logic has been used to express and analyse biological systems, but it is not expressive enough to sufficiently distinguish oscillatory properties important in biology. In this paper we define the extended logic STL* in which STL is augmented with a signal-value freezing operator allowing us to express (and distinguish) detailed properties of biological oscillations. The logic is supported by a monitoring algorithm prototyped in Matlab. The monitoring procedure of STL* is evaluated on a biologically-relevant case study. △ Less

Submitted 19 August, 2012; originally announced August 2012.

Comments: In Proceedings HSB 2012, arXiv:1208.3151

Journal ref: EPTCS 92, 2012, pp. 73-87

Hidden Quantum Markov Models with one qubit

Authors: Ben O`Neill, Tom M. Barlow, Dominik Safranek, Almut Beige

Abstract: Hidden Markov Models (HMMs) have become very popular as a computational tool for the analysis of sequential data. They are memoryless machines which transition from one internal state to another, while producing symbols. These symbols constitute the output of the machine and form an infinite time series. Analogously, Hidden Quantum Markov Models (HQMM) produce an infinite time series, while progre… ▽ More Hidden Markov Models (HMMs) have become very popular as a computational tool for the analysis of sequential data. They are memoryless machines which transition from one internal state to another, while producing symbols. These symbols constitute the output of the machine and form an infinite time series. Analogously, Hidden Quantum Markov Models (HQMM) produce an infinite time series, while progressing from one quantum state to another through stochastic quantum operations. Here we compare 1-bit HMMs and 1-qubit HQMMs and show that the latter can produce stronger correlations, although both machines are, in principle, comparable in resources. △ Less

Submitted 18 July, 2012; originally announced July 2012.

Comments: 4 pages, 1 figure, Proceedings for the Interdisciplinary Symposium on Complex Systems in Kos, September 2012

Journal ref: AIP Conf. Proc. 1479, 667 (2012)

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)

Authors: L. Brim, J. Fabriková, S. Dražan, D. Šafránek

Abstract: In this paper, a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing th… ▽ More In this paper, a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study. △ Less

Submitted 8 September, 2011; originally announced September 2011.

Comments: In Proceedings CompMod 2011, arXiv:1109.1044

Journal ref: EPTCS 67, 2011, pp. 97-112

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

Authors: Lubos Brim, Jana Fabrikova, Sven Drazan, David Safranek

Abstract: In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing thi… ▽ More In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study. This is a full version of the paper published in the proceedings of CompMod 2011. △ Less

Submitted 29 July, 2011; originally announced July 2011.

Comments: Full version of a paper accepted to COMPMOD 2011

MSC Class: 68U20

BioDiVinE: A Framework for Parallel Analysis of Biological Models

Authors: Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, Jan Láník, David Šafránek, Hongwu Ma

Abstract: In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel ana… ▽ More In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided. In the paper, the key tool features are described and their application is demonstrated by means of a case study. △ Less

Submitted 6 October, 2009; originally announced October 2009.

Journal ref: EPTCS 6, 2009, pp. 31-45