Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Proceedings of the London Mathematical Society

Fock Space and the Poisson Process

Sureka Pathmanathan, G. F. Vincent-Smith

Published Nov 1, 2004• 0 citations
Publisher

Abstract

Using the Wiener–Poisson isomorphism, we show that if (Ft)0 ⩽ t ⩽ 1 is a real, bounded, predictable process adapted to the filtration of a compensated Poisson process (Xt)0 ⩽ t ⩽ 1, and if M ^ t is the operator corresponding to multiplication by M t = ∫ 0 t F s d X s , then for any regular self-adjoint quantum semimartingale J = ( J t ) 0 ⩽ t ⩽ 1 , the essentially self-adjoint quantum semimartingale ( M ^ t + J t ) 0 ⩽ t ⩽ 1 satisfies the quantum Ito formula. We also introduce a generalisation of the Poisson process to a measure space (M, M, μ) as an isometry I: L2 (M, M, μ) → L2(Ω, F, P) and give a new construction of the generalised Wiener–Poisson isomorphism WI: F+ (L2(M)) → L2 (Ω, F, P) using exponential vectors. Using C*-algebra theory, given any measure space we construct a canonical generalised Poisson process. Unlike other constructions, we make no a priori use of Poisson measures. 2000 Mathematics Subject Classification 60G20, 60G35, 46L53, 81S25.

DOI
10.1112/s0024611504014820

Related papers

The poisson process in quantum stochastic calculus

Shayanthan Pathmanathan

Given a compensated Poisson process $(X_t)_{t \geq 0}$ based on $(\Omega, \mathcal{F}, \mathbb{P})$, the Wiener-Poisson isomorphism $\mathcal{W} : \mathfrak{F}_+(L^2 (\mathbb{R}_+)) \to L^2 (\Omega, \mathcal{F}, \mathbb{P})$ is constructed. We restrict the isomorphism to $\mathfrak{F}_+(L^2 [0,1])$ and prove some novel properties of the Poisson exponentials $\mathcal{E}(f) := \mathcal{W}(e(f))$. A new proof of the result $\Lambda_t + A_t + A^{\dagger}_t = \mathcal{W}^{-1}\widehat{X_t} \mathcal{W}$ is also given. The analogous results for $\mathfrak{F}_+(L^2 (\mathbb{R}_+))$ are briefly mentioned. The concept of a compensated Poisson process over $\mathbb{R}_+$ is generalised to any measure space $(M, \mathcal{M}, \mu)$ as an isometry $I : L^2(M, \mathcal{M}, \mu) \to L^2 (\Omega,\mathcal{F}, \mathbb{P})$ satisfying certain properties. For such a generalised Poisson process we recall the construction of the generalised Wiener-Poisson isomorphism, $\mathcal{W}_I : \mathfrak{F}_+(L^2(M)) \to L^2 (\Omega, \mathcal{F}, \mathbb{P})$, using Charlier polynomials. Two alternative constructions of $\mathcal{W}_I$ are also provided, the first using exponential vectors and then deducing the connection with Charlier polynomials, and the second using the theory of reproducing kernel Hilbert spaces. Given any measure space $(M, \mathcal{M}, \mu)$, we construct a canonical generalised Poisson process $I : L^2 (M, \mathcal{M}, \mu) \to L^2(\Delta, \mathcal{B}, \mathbb{P})$, where $\Delta$ is the maximal ideal space, with $\mathcal{B}$ the completion of its Borel $\sigma$-field with respect to $\mathbb{P}$, of a $C^*$-algebra $\mathcal{A} \subseteq \mathfrak{B}(\mathfrak{F}_+(L^2(M)))$. The Gelfand transform $\mathcal{A} \to \mathfrak{B}(L^2(\Delta))$ is unitarily implemented by the Wiener-Poisson isomorphism $\mathcal{W}_I: \mathfrak{F}_+(L^2(M)) \to L^2(\Delta)$. This construction only uses operator algebra theory and makes no a priori use of Poisson measures. A new Fock space proof of the quantum Ito formula for $(\Lambda_t + A_t + A^{\dagger}_t)_{0 \leq t \leq 1}$ is given. If $(F_{\ \! \! t})_{0 \leq t \leq 1}$ is a real, bounded, predictable process with respect to a compensated Poisson process $(X_t)_{0 \leq t \leq 1}$, we show that if $M_t = \int_0^t F_s dX_s$, then on $\mathsf{E}_{\mathrm{lb}} := \mathrm{linsp} \{ e(f) : f \in L^2_{\mathrm{lb}}[0,1] \}$, $\mathcal{W}^{-1} \widehat{M_t} \mathcal{W} = \int_0^t \mathcal{W}^{-1} \widehat{F_s} \mathcal{W} (d\Lambda_s + dA_s + dA^{\dagger}_s),$ and that $(\mathcal{W}^{-1} \widehat{M_t} \mathcal{W})_{0 \leq t \leq 1}$ is an essentially self-adjoint quantum semimartingale. We prove, using the classical Ito formula, that if $(J_t)_{0 \leq t \leq 1}$ is a regular self-adjoint quantum semimartingale, then $(\mathcal{W} \widehat{M_t} \mathcal{W}^{-1} + J_t)_{0 \leq t \leq 1}$ is an essentially self-adjoint quantum semimartingale satisfying the quantum Duhamel formula, and hence the quantum Ito formula. The equivalent result for the sum of a Brownian and Poisson martingale, provided that the sum is essentially self-adjoint with core $\mathsf{E}_{\mathrm{lb}}$, is also proved.

•Jan 1, 2002•1 citation

The Ito Formula for Perturbed Brownian Martingales

G. F. Vincent-Smith

In a further generalisation of the classical Ito formula, we show that if B = ( A t + A t † : t ∈ ] 0 , 1 [ ) is the Brownian quantum martingale and J = (Jt: t ∈ [0, 1]) is a bounded quantum semimartingale, then M = (Bt Jt: t ∈ [0, 1]) satisfies the functional quantum Ito formula [10, Section 6] [formula] The proof, which relies on the classical theory of unbounded self-adjoint operators, may be adapted to the case where B is replaced by a classical Brownian martingale. 2000 Mathematics Subject Classification 81S25, 60J65, 47D03.

Bulletin of the London Mathematical Society•Nov 1, 2000•3 citations

Quantum Stochastic Calculus

Mou-Hsiung Chang

This chapter begins with introductions of symmetric Fock space Γ(ℍ) and symmetric Guichardet space Φ(ℍ) of a generic complex Hilbert space ℍ. It is shown that these 2 spaces are actually isomorphic and can and will be used interchangeably throughout the chapter. In particular, the simple and yet useful integral-summation formula (see Theorem (3.2.1)) for the Guichardet space is often employed to establish the essential results in quantum stochastic calculus. It has been shown that the symmetric Fock space (and hence the symmetric Guichadet space) provides a plausible mathematical tool for modeling phenomena in quantum optics or quantum electrodynamics. Many results in the quantum physics and quantum probability literature are actually established based on this concrete model space. When the generic complex Hilbert space ℍ = L 2 (ℝ + ; K) (where K is another complex Hilbert space), the class of exponential vectors along with 3 different types of quantum noise processes, namely, the creation, annihilation, and neutral (or guage) processes, can be introduced. It is shown that the subspace generated by the class of exponential vectors is dense in the Fock space. Therefore, it is convenient to verify the properties that hold for Fock space by verifying the same hold for the class of exponential vectors. Parallel to those of Itô integrals with respect to classical Brownian motion and/or Poisson process, the concepts of a quantum stochastic integral of a operator-valued process (as a member of the Fock space) with respect to each of the above mentioned quantum noise processes are constructed. The quantum stochastic calculus, parallel to those of classical Itô calculus, is developed. The theory of quantum stochastic calculus on the symmetric Fock space due originally to Hudson and Parthasarathy [HP84a] has been the topic of investigation by many researchers in the last 20 years. Much of he material presented in this chapter can be found in the books by Meyer [Mey95], Parthasarathy [Par92] and Attal [Att03].

Cambridge University Press eBooks•Feb 9, 2015•0 citations

Stochastic Integration and Quantum Ito’s Formula

Kalyanapuram Rangachari Parthasarathy

In Section 21 we have already seen how the classical stochastic processes with independent increments can be realised as suitable linear combinations of the creation, conservation and annihilation operators in the boson Fock space Γ s (ℋ) over a Hilbert space ℋ. This includes, in particular, the Brownian motion and Poisson process. Since a well-developed theory of stochastic integration with respect to these classical processes exists, it is natural to wonder whether it would be possible to introduce quantum probabilistic analogues of stochastic integrals with respect to processes defined by the creation, conservation and annihilation operators. To this end one needs the notions of filtration and adapted processes. This, in turn, depends on the notion of time. We adopt the view that time is an ℝ+-valued observable in a Hilbert space ℋ which, as a spectral measure, has no jumps. The absence of jumps is assumed more as a matter of mathematical convenience than a philosophical or conceptual necessity. We shall now examine how such a notion of time leads to a filtration and the definition of adapted processes. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Birkhäuser Basel eBooks•Jan 1, 1992•0 citations

The Ito Formula for Essentially Self-Adjoint Quantum Semimartingales

G. F. Vincent-Smith

The quantum Ito formula has so far been proved for regular (bounded) quantum semimartingales We give three different extensions to classes of essentially self-adjoint (unbounded) quantum semimartingales. The first extension is to quantum semimartingales whose integrands have chaos matrices controlled by certain scalar matrices The second extension is to perturbations of classical, possibly unbounded, quantum semimartingales by bounded quantum semimartingales The third extension is obtained by perturbing an essentially self-adjoint quantum semimartingale satisfying the quantum Duhamel formula by a regular quantum semimartingle.

arXiv:math/0012183•Dec 19, 2000•1 citation

A matrix formulation of quantum stochastic calculus

Alexander C. R. Belton

We develop the theory of chaos spaces and chaos matrices. A chaos space is a Hilbert space with a fixed, countably-infinite, direct-sum decomposition. A chaos matrix between two chaos spaces is a doubly-infinite matrix of bounded operators which respects this decomposition. We study operators represented by such matrices, particularly with respect to self-adjointness. This theory is used to re-formulate the quantum stochastic calculus of Hudson and Parthasarathy. Integrals of chaos-matrix processes are defined using the Hitsuda-Skorokhod integral and Malliavin gradient,following Lindsay and Belavkin. A new way of defining adaptedness is developed and the consequent quantum product Ito formula is used to provide a genuine functional Ito formula for polynomials in a large class of unbounded processes, which include the Poisson process and Brownian motion. A new type of adaptedness, known as $\Omega$-adaptedness, is defined. We show that quantum stochastic integrals of $\Omega$-adapted processes are well-behaved; for instance, bounded processes have bounded integrals. We solve the appropriate modification of the evolution equation of Hudson and Parthasarathy: $U(t)=I+\int_{0}^{t}E(s)\mathrm{d}\Lambda(s)+F(s)\mathrm{d} A(s)+ G(s)U(s)\mathrm{d} A^{\dagger}(s)+H(s)U(s)\mathrm{d} s, $ where the coefficients are time-dependent, bounded, $\Omega$-adapted processes acting on the whole Fock space. We show that the usual conditions on the coefficients, viz. $(E,F,G,H)=(W-I,L,-WL^{*},iK+\mbox{$\frac{1}{2}$}LL^{*})$ where $W$ is unitary and $K$ self-adjoint, are necessary and sufficient conditions for the solution to be unitary. This is a very striking result when compared to the adapted case.

•Jan 1, 1998•7 citations
Using the Wiener–Poisson isomorphism, we show that if (Ft)0 ⩽ t ⩽ 1 is a real, bounded, predictable process adapted to the filtration of a compensated Poisson process (Xt)0 ⩽ t ⩽ 1, and if M ^ t is the operator corresponding to multiplication by M t = ∫ 0 t F s d X s , then for any regular self-adjoint quantum semimartingale J = ( J t ) 0 ⩽ t ⩽ 1 , the essentially self-adjoint quantum semimartingale ( M ^ t + J t ) 0 ⩽ t ⩽ 1 satisfies the quantum Ito formula. We also introduce a generalisation of the Poisson process to a measure space (M, M, μ) as an isometry I: L2 (M, M, μ) → L2(Ω, F, P) and give a new construction of the generalised Wiener–Poisson isomorphism WI: F+ (L2(M)) → L2 (Ω, F, P) using exponential vectors. Using C*-algebra theory, given any measure space we construct a canonical generalised Poisson process. Unlike other constructions, we make no a priori use of Poisson measures. 2000 Mathematics Subject Classification 60G20, 60G35, 46L53, 81S25.
Given a compensated Poisson process (Xt)t≥0(X_t)_{t \geq 0}(Xt​)t≥0​ based on (Ω,F,P)(\Omega, \mathcal{F}, \mathbb{P})(Ω,F,P), the Wiener-Poisson isomorphism W:F+(L2(R+))→L2(Ω,F,P)\mathcal{W} : \mathfrak{F}_+(L^2 (\mathbb{R}_+)) \to L^2 (\Omega, \mathcal{F}, \mathbb{P})W:F+​(L2(R+​))→L2(Ω,F,P) is constructed. We restrict the isomorphism to F+(L2[0,1])\mathfrak{F}_+(L^2 [0,1])F+​(L2[0,1]) and prove some novel properties of the Poisson exponentials E(f):=W(e(f))\mathcal{E}(f) := \mathcal{W}(e(f))E(f):=W(e(f)). A new proof of the result Λt+At+At†=W−1Xt^W\Lambda_t + A_t + A^{\dagger}_t = \mathcal{W}^{-1}\widehat{X_t} \mathcal{W}Λt​+At​+At†​=W−1Xt​​W is also given. The analogous results for F+(L2(R+))\mathfrak{F}_+(L^2 (\mathbb{R}_+))F+​(L2(R+​)) are briefly mentioned. The concept of a compensated Poisson process over R+\mathbb{R}_+R+​ is generalised to any measure space (M,M,μ)(M, \mathcal{M}, \mu)(M,M,μ) as an isometry I:L2(M,M,μ)→L2(Ω,F,P)I : L^2(M, \mathcal{M}, \mu) \to L^2 (\Omega,\mathcal{F}, \mathbb{P})I:L2(M,M,μ)→L2(Ω,F,P) satisfying certain properties. For such a generalised Poisson process we recall the construction of the generalised Wiener-Poisson isomorphism, WI:F+(L2(M))→L2(Ω,F,P)\mathcal{W}_I : \mathfrak{F}_+(L^2(M)) \to L^2 (\Omega, \mathcal{F}, \mathbb{P})WI​:F+​(L2(M))→L2(Ω,F,P), using Charlier polynomials. Two alternative constructions of WI\mathcal{W}_IWI​ are also provided, the first using exponential vectors and then deducing the connection with Charlier polynomials, and the second using the theory of reproducing kernel Hilbert spaces. Given any measure space (M,M,μ)(M, \mathcal{M}, \mu)(M,M,μ), we construct a canonical generalised Poisson process I:L2(M,M,μ)→L2(Δ,B,P)I : L^2 (M, \mathcal{M}, \mu) \to L^2(\Delta, \mathcal{B}, \mathbb{P})I:L2(M,M,μ)→L2(Δ,B,P), where Δ\DeltaΔ is the maximal ideal space, with B\mathcal{B}B the completion of its Borel σ\sigmaσ-field with respect to P\mathbb{P}P, of a C∗C^*C∗-algebra A⊆B(F+(L2(M)))\mathcal{A} \subseteq \mathfrak{B}(\mathfrak{F}_+(L^2(M)))A⊆B(F+​(L2(M))). The Gelfand transform A→B(L2(Δ))\mathcal{A} \to \mathfrak{B}(L^2(\Delta))A→B(L2(Δ)) is unitarily implemented by the Wiener-Poisson isomorphism WI:F+(L2(M))→L2(Δ)\mathcal{W}_I: \mathfrak{F}_+(L^2(M)) \to L^2(\Delta)WI​:F+​(L2(M))→L2(Δ). This construction only uses operator algebra theory and makes no a priori use of Poisson measures. A new Fock space proof of the quantum Ito formula for (Λt+At+At†)0≤t≤1(\Lambda_t + A_t + A^{\dagger}_t)_{0 \leq t \leq 1}(Λt​+At​+At†​)0≤t≤1​ is given. If (F  ⁣ ⁣t)0≤t≤1(F_{\ \! \! t})_{0 \leq t \leq 1}(F t​)0≤t≤1​ is a real, bounded, predictable process with respect to a compensated Poisson process (Xt)0≤t≤1(X_t)_{0 \leq t \leq 1}(Xt​)0≤t≤1​, we show that if Mt=∫0tFsdXsM_t = \int_0^t F_s dX_sMt​=∫0t​Fs​dXs​, then on Elb:=linsp{e(f):f∈Llb2[0,1]}\mathsf{E}_{\mathrm{lb}} := \mathrm{linsp} \{ e(f) : f \in L^2_{\mathrm{lb}}[0,1] \}Elb​:=linsp{e(f):f∈Llb2​[0,1]}, W−1Mt^W=∫0tW−1Fs^W(dΛs+dAs+dAs†),\mathcal{W}^{-1} \widehat{M_t} \mathcal{W} = \int_0^t \mathcal{W}^{-1} \widehat{F_s} \mathcal{W} (d\Lambda_s + dA_s + dA^{\dagger}_s),W−1Mt​​W=∫0t​W−1Fs​​W(dΛs​+dAs​+dAs†​), and that (W−1Mt^W)0≤t≤1(\mathcal{W}^{-1} \widehat{M_t} \mathcal{W})_{0 \leq t \leq 1}(W−1Mt​​W)0≤t≤1​ is an essentially self-adjoint quantum semimartingale. We prove, using the classical Ito formula, that if (Jt)0≤t≤1(J_t)_{0 \leq t \leq 1}(Jt​)0≤t≤1​ is a regular self-adjoint quantum semimartingale, then (WMt^W−1+Jt)0≤t≤1(\mathcal{W} \widehat{M_t} \mathcal{W}^{-1} + J_t)_{0 \leq t \leq 1}(WMt​​W−1+Jt​)0≤t≤1​ is an essentially self-adjoint quantum semimartingale satisfying the quantum Duhamel formula, and hence the quantum Ito formula. The equivalent result for the sum of a Brownian and Poisson martingale, provided that the sum is essentially self-adjoint with core Elb\mathsf{E}_{\mathrm{lb}}Elb​, is also proved.
In a further generalisation of the classical Ito formula, we show that if B = ( A t + A t † : t ∈ ] 0 , 1 [ ) is the Brownian quantum martingale and J = (Jt: t ∈ [0, 1]) is a bounded quantum semimartingale, then M = (Bt Jt: t ∈ [0, 1]) satisfies the functional quantum Ito formula [10, Section 6] [formula] The proof, which relies on the classical theory of unbounded self-adjoint operators, may be adapted to the case where B is replaced by a classical Brownian martingale. 2000 Mathematics Subject Classification 81S25, 60J65, 47D03.
This chapter begins with introductions of symmetric Fock space Γ(ℍ) and symmetric Guichardet space Φ(ℍ) of a generic complex Hilbert space ℍ. It is shown that these 2 spaces are actually isomorphic and can and will be used interchangeably throughout the chapter. In particular, the simple and yet useful integral-summation formula (see Theorem (3.2.1)) for the Guichardet space is often employed to establish the essential results in quantum stochastic calculus. It has been shown that the symmetric Fock space (and hence the symmetric Guichadet space) provides a plausible mathematical tool for modeling phenomena in quantum optics or quantum electrodynamics. Many results in the quantum physics and quantum probability literature are actually established based on this concrete model space. When the generic complex Hilbert space ℍ = L 2 (ℝ + ; K) (where K is another complex Hilbert space), the class of exponential vectors along with 3 different types of quantum noise processes, namely, the creation, annihilation, and neutral (or guage) processes, can be introduced. It is shown that the subspace generated by the class of exponential vectors is dense in the Fock space. Therefore, it is convenient to verify the properties that hold for Fock space by verifying the same hold for the class of exponential vectors. Parallel to those of Itô integrals with respect to classical Brownian motion and/or Poisson process, the concepts of a quantum stochastic integral of a operator-valued process (as a member of the Fock space) with respect to each of the above mentioned quantum noise processes are constructed. The quantum stochastic calculus, parallel to those of classical Itô calculus, is developed. The theory of quantum stochastic calculus on the symmetric Fock space due originally to Hudson and Parthasarathy [HP84a] has been the topic of investigation by many researchers in the last 20 years. Much of he material presented in this chapter can be found in the books by Meyer [Mey95], Parthasarathy [Par92] and Attal [Att03].
In Section 21 we have already seen how the classical stochastic processes with independent increments can be realised as suitable linear combinations of the creation, conservation and annihilation operators in the boson Fock space Γ s (ℋ) over a Hilbert space ℋ. This includes, in particular, the Brownian motion and Poisson process. Since a well-developed theory of stochastic integration with respect to these classical processes exists, it is natural to wonder whether it would be possible to introduce quantum probabilistic analogues of stochastic integrals with respect to processes defined by the creation, conservation and annihilation operators. To this end one needs the notions of filtration and adapted processes. This, in turn, depends on the notion of time. We adopt the view that time is an ℝ+-valued observable in a Hilbert space ℋ which, as a spectral measure, has no jumps. The absence of jumps is assumed more as a matter of mathematical convenience than a philosophical or conceptual necessity. We shall now examine how such a notion of time leads to a filtration and the definition of adapted processes. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
The quantum Ito formula has so far been proved for regular (bounded) quantum semimartingales We give three different extensions to classes of essentially self-adjoint (unbounded) quantum semimartingales. The first extension is to quantum semimartingales whose integrands have chaos matrices controlled by certain scalar matrices The second extension is to perturbations of classical, possibly unbounded, quantum semimartingales by bounded quantum semimartingales The third extension is obtained by perturbing an essentially self-adjoint quantum semimartingale satisfying the quantum Duhamel formula by a regular quantum semimartingle.
We develop the theory of chaos spaces and chaos matrices. A chaos space is a Hilbert space with a fixed, countably-infinite, direct-sum decomposition. A chaos matrix between two chaos spaces is a doubly-infinite matrix of bounded operators which respects this decomposition. We study operators represented by such matrices, particularly with respect to self-adjointness. This theory is used to re-formulate the quantum stochastic calculus of Hudson and Parthasarathy. Integrals of chaos-matrix processes are defined using the Hitsuda-Skorokhod integral and Malliavin gradient,following Lindsay and Belavkin. A new way of defining adaptedness is developed and the consequent quantum product Ito formula is used to provide a genuine functional Ito formula for polynomials in a large class of unbounded processes, which include the Poisson process and Brownian motion. A new type of adaptedness, known as Ω\OmegaΩ-adaptedness, is defined. We show that quantum stochastic integrals of Ω\OmegaΩ-adapted processes are well-behaved; for instance, bounded processes have bounded integrals. We solve the appropriate modification of the evolution equation of Hudson and Parthasarathy: $U(t)=I+\int_{0}^{t}E(s)\mathrm{d}\Lambda(s)+F(s)\mathrm{d} A(s)+ G(s)U(s)\mathrm{d} A^{\dagger}(s)+H(s)U(s)\mathrm{d} s, $ where the coefficients are time-dependent, bounded, Ω\OmegaΩ-adapted processes acting on the whole Fock space. We show that the usual conditions on the coefficients, viz. $(E,F,G,H)=(W-I,L,-WL^{*},iK+\mbox{$\frac{1}{2}$}LL^{*})$ where WWW is unitary and KKK self-adjoint, are necessary and sufficient conditions for the solution to be unitary. This is a very striking result when compared to the adapted case.