Showing 1–10 of 10 results for author: Siegmund-Schultze, R

Intuitive, didactically useful, and historically possible proofs for the two Egyptian pyramid volume formulas (1850 BCE). Thoughts on the border between history and didactics of mathematics

Authors: Reinhard Siegmund-Schultze

Abstract: Egyptologists and historians of mathematics around 1930 did an admirable job in showing that problem 14 of the newly discovered Moscow Papyrus from around 1850 BCE amounts to a general and exact calculation of the volume of a truncated pyramid (frustum). They were less successful in giving tentative explanations of what convinced the Egyptians of its correctness. In particular, they never looked i… ▽ More Egyptologists and historians of mathematics around 1930 did an admirable job in showing that problem 14 of the newly discovered Moscow Papyrus from around 1850 BCE amounts to a general and exact calculation of the volume of a truncated pyramid (frustum). They were less successful in giving tentative explanations of what convinced the Egyptians of its correctness. In particular, they never looked into the possibility of dissecting three identical copies of the frustum and recomposing them into three boxes of differing sizes whose volumes can be easily calculated. This is surprising because the formula at which the historians arrived seems to suggest this procedure. About 2000 years after the Egyptians, the Chinese scholar Liu Hui did exactly this for the almost identical problem from the Nine Chapters. If those historians of mathematics around 1930 had known Liu Hui's algorithm they could have easily drawn tentative conclusions also for the Egyptian case. The present paper suggests that it was their knowledge of rigorous Euclidean geometry and of relatively modern algebra which distorted the judgment of those historians, something which could not have been the case for Liu Hui. Their failure seems to have discouraged later Egyptologists to look for explanations or to even point to Liu Hui when his work had become known. Thus a chance was missed to use the great intuitive and pedagogic potential of a remarkable piece of Egyptian mathematics. This paper is not a contribution to the historiography of Egyptian mathematics for which the author is no specialist but argues primarily on a methodological level using secondary historical sources. The paper is partly inspired by a more recent publication of Paul Shutler (2009) who suggests an intuitive and historically possible proof also for the special, and mathematically crucial case of the second formula, which is related to the full pyramid. △ Less

Submitted 10 July, 2022; originally announced July 2022.

MSC Class: Primary 00A35; 01A16; Secondary 97-03

Typical support and Sanov large deviations of correlated states

Authors: I. Bjelakovic, J. -D. Deuschel, T. Krueger, R. Seiler, Ra. Siegmund-Schultze, A. Szkola

Abstract: Discrete stationary classical processes as well as quantum lattice states are asymptotically confined to their respective typical support, the exponential growth rate of which is given by the (maximal ergodic) entropy. In the iid case the distinguishability of typical supports can be asymptotically specified by means of the relative entropy, according to Sanov's theorem. We give an extension to… ▽ More Discrete stationary classical processes as well as quantum lattice states are asymptotically confined to their respective typical support, the exponential growth rate of which is given by the (maximal ergodic) entropy. In the iid case the distinguishability of typical supports can be asymptotically specified by means of the relative entropy, according to Sanov's theorem. We give an extension to the correlated case, referring to the newly introduced class of HP-states. △ Less

Submitted 28 March, 2007; v1 submitted 27 March, 2007; originally announced March 2007.

Comments: 29 pages, no figures, references added

MSC Class: 60F10; 62G10; 94A15; 81S99

Induced gelation in a two-site spatial coagulation model

Authors: Rainer Siegmund-Schultze, Wolfgang Wagner

Abstract: A two-site spatial coagulation model is considered. Particles of masses $m$ and $n$ at the same site form a new particle of mass $m+n$ at rate $mn$. Independently, particles jump to the other site at a constant rate. The limit (for increasing particle numbers) of this model is expected to be nondeterministic after the gelation time, namely, one or two giant particles randomly jump between the tw… ▽ More A two-site spatial coagulation model is considered. Particles of masses $m$ and $n$ at the same site form a new particle of mass $m+n$ at rate $mn$. Independently, particles jump to the other site at a constant rate. The limit (for increasing particle numbers) of this model is expected to be nondeterministic after the gelation time, namely, one or two giant particles randomly jump between the two sites. Moreover, a new effect of induced gelation is observed--the gelation happening at the site with the larger initial number of monomers immediately induces gelation at the other site. Induced gelation is shown to be of logarithmic order. The limiting behavior of the model is derived rigorously up to the gelation time, while the expected post-gelation behavior is illustrated by a numerical simulation. △ Less

Submitted 16 March, 2006; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: Published at http://dx.doi.org/10.1214/105051605000000755 in the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AAP-AAP0146 MSC Class: 60K40 (Primary)

Journal ref: Annals of Applied Probability 2006, Vol. 16, No. 1, 370-402

Entropy and Quantum Kolmogorov Complexity: A Quantum Brudno's Theorem

Authors: Fabio Benatti, Tyll Krueger, Markus Mueller, Rainer Siegmund-Schultze, Arleta Szkola

Abstract: In classical information theory, entropy rate and Kolmogorov complexity per symbol are related by a theorem of Brudno. In this paper, we prove a quantum version of this theorem, connecting the von Neumann entropy rate and two notions of quantum Kolmogorov complexity, both based on the shortest qubit descriptions of qubit strings that, run by a universal quantum Turing machine, reproduce them as… ▽ More In classical information theory, entropy rate and Kolmogorov complexity per symbol are related by a theorem of Brudno. In this paper, we prove a quantum version of this theorem, connecting the von Neumann entropy rate and two notions of quantum Kolmogorov complexity, both based on the shortest qubit descriptions of qubit strings that, run by a universal quantum Turing machine, reproduce them as outputs. △ Less

Submitted 17 October, 2006; v1 submitted 10 June, 2005; originally announced June 2005.

Comments: 26 pages, no figures. Reference to publication added: published in the Communications in Mathematical Physics (http://www.springerlink.com/content/1432-0916/)

Journal ref: Communications in Mathematical Physics, Vol. 265, No.2 / July 2006, 437-461

A quantum version of Sanov's theorem

Authors: I. Bjelakovic, J. -D. Deuschel, T. Krueger, R. Seiler, Ra. Siegmund-Schultze, A. Szkola

Abstract: We present a quantum extension of a version of Sanov's theorem focussing on a hypothesis testing aspect of the theorem: There exists a sequence of typical subspaces for a given set $Ψ$ of stationary quantum product states asymptotically separating them from another fixed stationary product state. Analogously to the classical case, the exponential separating rate is equal to the infimum of the qu… ▽ More We present a quantum extension of a version of Sanov's theorem focussing on a hypothesis testing aspect of the theorem: There exists a sequence of typical subspaces for a given set $Ψ$ of stationary quantum product states asymptotically separating them from another fixed stationary product state. Analogously to the classical case, the exponential separating rate is equal to the infimum of the quantum relative entropy with respect to the quantum reference state over the set $Ψ$. However, while in the classical case the separating subsets can be chosen universal, in the sense that they depend only on the chosen set of i.i.d. processes, in the quantum case the choice of the separating subspaces depends additionally on the reference state. △ Less

Submitted 20 December, 2004; originally announced December 2004.

Comments: 15 pages

Level Crossing Probabilities II: Polygonal Recurrence of Multidimensional Random Walks

Authors: Rainer Siegmund-Schultze, Heinrich von Weizsaecker

Abstract: In part I (math.PR/0406392) we proved for an arbitrary one-dimensional random walk with independent increments that the probability of crossing a level at a given time n is of the maximal order square root of n. In higher dimensions we call a random walk 'polygonally recurrent' (resp. transient) if a.s. infinitely many (resp. finitely many) of the straight lines between two consecutive sites hit… ▽ More In part I (math.PR/0406392) we proved for an arbitrary one-dimensional random walk with independent increments that the probability of crossing a level at a given time n is of the maximal order square root of n. In higher dimensions we call a random walk 'polygonally recurrent' (resp. transient) if a.s. infinitely many (resp. finitely many) of the straight lines between two consecutive sites hit a given bounded set. The above estimate implies that three-dimensional random walks with independent components are polygonally transient. Similarly a directionally reinforced random walk on Z^3 in the sense of Mauldin, Monticino and v.Weizsaecker [1] is transient. On the other hand we construct an example of a transient but polygonally recurrent random walk with independent components on Z^2. △ Less

Submitted 10 March, 2006; v1 submitted 22 June, 2004; originally announced June 2004.

Comments: 23 pages, errors and typos corrected, references added

MSC Class: 60G51

Level Crossing Probabilities I: One-dimensional Random Walks and Symmetrization

Authors: Rainer Siegmund-Schultze, Heinrich von Weizsaecker

Abstract: We prove for an arbitrary one-dimensional random walk with independent increments that the probability of crossing a level at a given time n has the order of square root of n. Moment or symmetry assumptions are not necessary. In removing symmetry the (sharp) inequality P(|X+Y| <= 1) < 2 P(|X-Y| <= 1) for independent identically distributed X,Y is used. In part II we shall discuss the connection… ▽ More We prove for an arbitrary one-dimensional random walk with independent increments that the probability of crossing a level at a given time n has the order of square root of n. Moment or symmetry assumptions are not necessary. In removing symmetry the (sharp) inequality P(|X+Y| <= 1) < 2 P(|X-Y| <= 1) for independent identically distributed X,Y is used. In part II we shall discuss the connection of this result to 'polygonal recurrence' of higher-dimensional walks and some conjectures on directionally random walks in the sense of Mauldin, Monticino and v.Weizsaecker [5]. △ Less

Submitted 10 March, 2006; v1 submitted 20 June, 2004; originally announced June 2004.

Comments: 10 pages, some references added, typos corrected

MSC Class: 60G51

An Ergodic Theorem for the Quantum Relative Entropy

Authors: Igor Bjelakovic, Rainer Siegmund-Schultze

Abstract: We prove the ergodic version of the quantum Stein's lemma which was conjectured by Hiai and Petz. The result provides an operational and statistical interpretation of the quantum relative entropy as a statistical measure of distinguishability, and contains as a special case the quantum version of the Shannon-McMillan theorem for ergodic states. A version of the quantum relative Asymptotic Equipa… ▽ More We prove the ergodic version of the quantum Stein's lemma which was conjectured by Hiai and Petz. The result provides an operational and statistical interpretation of the quantum relative entropy as a statistical measure of distinguishability, and contains as a special case the quantum version of the Shannon-McMillan theorem for ergodic states. A version of the quantum relative Asymptotic Equipartition Property (AEP) is given. △ Less

Submitted 13 June, 2003; originally announced June 2003.

Comments: 19 pages, no figures

Chained Typical Subspaces - a Quantum Version of Breiman's Theorem

Authors: Igor Bjelakovic, Tyll Krueger, Rainer Siegmund-Schultze, Arleta Szkola

Abstract: We give an equivalent finitary reformulation of the classical Shannon-McMillan-Breiman theorem which has an immediate translation to the case of ergodic quantum lattice systems. This version of a quantum Breiman theorem can be derived from the proof of the quantum Shannon-McMillan theorem presented in our previous work (math.DS/0207121). We give an equivalent finitary reformulation of the classical Shannon-McMillan-Breiman theorem which has an immediate translation to the case of ergodic quantum lattice systems. This version of a quantum Breiman theorem can be derived from the proof of the quantum Shannon-McMillan theorem presented in our previous work (math.DS/0207121). △ Less

Submitted 1 February, 2003; v1 submitted 31 January, 2003; originally announced January 2003.

Comments: 9 pages

The Shannon-McMillan Theorem for Ergodic Quantum Lattice Systems

Authors: Igor Bjelakovic, Tyll Krueger, Rainer Siegmund-Schultze, Arleta Szkola

Abstract: We formulate and prove a quantum Shannon-McMillan theorem. The theorem demonstrates the significance of the von Neumann entropy for translation invariant ergodic quantum spin systems on n-dimensional lattices: the entropy gives the logarithm of the essential number of eigenvectors of the system on large boxes. The one-dimensional case covers quantum information sources and is basic for coding th… ▽ More We formulate and prove a quantum Shannon-McMillan theorem. The theorem demonstrates the significance of the von Neumann entropy for translation invariant ergodic quantum spin systems on n-dimensional lattices: the entropy gives the logarithm of the essential number of eigenvectors of the system on large boxes. The one-dimensional case covers quantum information sources and is basic for coding theorems. △ Less

Submitted 20 November, 2002; v1 submitted 15 July, 2002; originally announced July 2002.

Comments: 21 pages, extended version concerning subalgebras

MSC Class: 46L89; 68P30; 81Qxx