-
Inclusions of Standard Subspaces
Authors:
Ricardo Correa da Silva,
Gandalf Lechner
Abstract:
Standard subspaces are closed real subspaces of a complex Hilbert space that appear naturally in Tomita-Takesaki modular theory and its applications to quantum field theory. In this article, inclusions of standard subspaces are studied independently of von Neumann algebras. Several new methods for their investigation are developed, related to polarizers, Gelfand triples defined by modular data, an…
▽ More
Standard subspaces are closed real subspaces of a complex Hilbert space that appear naturally in Tomita-Takesaki modular theory and its applications to quantum field theory. In this article, inclusions of standard subspaces are studied independently of von Neumann algebras. Several new methods for their investigation are developed, related to polarizers, Gelfand triples defined by modular data, and extensions of modular operators. A particular class of examples that arises from the fundamental irreducible building block of a conformal field theory on the line is analyzed in detail.
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
Crossing symmetry and the crossing map
Authors:
Ricardo Correa da Silva,
Luca Giorgetti,
Gandalf Lechner
Abstract:
We introduce and study the crossing map, a closed linear map acting on operators on the tensor square of a given Hilbert space that is inspired by the crossing property of quantum field theory. This map turns out to be closely connected to Tomita--Takesaki modular theory. In particular, crossing symmetric operators, namely those operators that are mapped to their adjoints by the crossing map, defi…
▽ More
We introduce and study the crossing map, a closed linear map acting on operators on the tensor square of a given Hilbert space that is inspired by the crossing property of quantum field theory. This map turns out to be closely connected to Tomita--Takesaki modular theory. In particular, crossing symmetric operators, namely those operators that are mapped to their adjoints by the crossing map, define endomorphisms of standard subspaces. Conversely, such endomorphisms can be integrated to crossing symmetric operators. We also investigate the relation between crossing symmetry and natural compatibility conditions with respect to unitary representations of certain symmetry groups, and furthermore introduce a generalized crossing map defined by a real object in an abstract $C^*$-tensor category, not necessarily consisting of Hilbert spaces and linear maps. This latter crossing map turns out to be closely related to the (unshaded, finite-index) subfactor theoretical Fourier transform. Lastly, we provide families of solutions of the crossing symmetry equation, solving in addition the categorical Yang--Baxter equation, associated with an arbitrary Q-system.
△ Less
Submitted 2 August, 2024; v1 submitted 24 February, 2024;
originally announced February 2024.
-
KMS states on $\mathbb{Z}_2$-crossed products and twisted KMS functionals
Authors:
Ricardo Correa da Silva,
Johannes Grosse,
Gandalf Lechner
Abstract:
KMS states on $\mathbb{Z}_2$-crossed products of unital $C^*$-algebras $\mathcal{A}$ are characterized in terms of KMS states and twisted KMS functionals of $\mathcal{A}$. These functionals are shown to describe the extensions of KMS states $ω$ on $\mathcal{A}$ to the crossed product $\mathcal{A} \rtimes \mathbb{Z}_2$ and can also be characterized by the twisted center of the von Neumann algebra g…
▽ More
KMS states on $\mathbb{Z}_2$-crossed products of unital $C^*$-algebras $\mathcal{A}$ are characterized in terms of KMS states and twisted KMS functionals of $\mathcal{A}$. These functionals are shown to describe the extensions of KMS states $ω$ on $\mathcal{A}$ to the crossed product $\mathcal{A} \rtimes \mathbb{Z}_2$ and can also be characterized by the twisted center of the von Neumann algebra generated by the GNS representation corresponding to $ω$.
As a particular class of examples, KMS states on $\mathbb{Z}_2$-crossed products of CAR algebras with dynamics and grading given by Bogoliubov automorphisms are analyzed in detail. In this case, one or two extremal KMS states are found depending on a Gibbs type condition involving the odd part of the absolute value of the Hamiltonian.
As an application in mathematical physics, the extended field algebra of the Ising QFT is shown to be a $\mathbb{Z}_2$-crossed product of a CAR algebra which has a unique KMS state.
△ Less
Submitted 14 March, 2024; v1 submitted 23 February, 2024;
originally announced February 2024.
-
Modular Structure and Inclusions of Twisted Araki-Woods Algebras
Authors:
Ricardo Correa da Silva,
Gandalf Lechner
Abstract:
In the general setting of twisted second quantization (including Bose/Fermi second quantization, $S$-symmetric Fock spaces, and full Fock spaces from free probability as special cases), von Neumann algebras on twisted Fock spaces are analyzed. These twisted Araki-Woods algebras $\mathcal{L}_{T}(H)$ depend on the twist operator $T$ and a standard subspace $H$ in the one-particle space. Under a comp…
▽ More
In the general setting of twisted second quantization (including Bose/Fermi second quantization, $S$-symmetric Fock spaces, and full Fock spaces from free probability as special cases), von Neumann algebras on twisted Fock spaces are analyzed. These twisted Araki-Woods algebras $\mathcal{L}_{T}(H)$ depend on the twist operator $T$ and a standard subspace $H$ in the one-particle space. Under a compatibility assumption on $T$ and $H$, it is proven that the Fock vacuum is cyclic and separating for $\mathcal{L}_{T}(H)$ if and only if $T$ satisfies a standard subspace version of crossing symmetry and the Yang-Baxter equation (braid equation). In this case, the Tomita-Takesaki modular data are explicitly determined.
Inclusions $\mathcal{L}_{T}(K)\subset\mathcal{L}_{T}(H)$ of twisted Araki-Woods algebras are analyzed in two cases: If the inclusion is half-sided modular and the twist satisfies a norm bound, it is shown to be singular. If the inclusion of underlying standard subspaces $K\subset H$ satisfies an $L^2$-nuclearity condition, $\mathcal{L}_{T}(K)\subset\mathcal{L}_{T}(H)$ has type III relative commutant for suitable twists $T$.
Applications of these results to localization of observables in algebraic quantum field theory are discussed.
△ Less
Submitted 28 June, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Modular Structures on Trace Class Operators and Applications to Themodynamical Equilibrium States of Infinitely Degenerate Systems
Authors:
Ricardo Correa da Silva
Abstract:
We study the thermal equilibrium states (KMS states) of infinitely degenerate Hamiltonians, in particular, we study the example of the Landau levels. We classify all KMS states in an example of algebra suitable for describing infinitely degenerate systems and we show that there is no cyclic and separating vector corresponding to the Landau Hamiltonian. Then, we try to reproduce the thermodynamical…
▽ More
We study the thermal equilibrium states (KMS states) of infinitely degenerate Hamiltonians, in particular, we study the example of the Landau levels. We classify all KMS states in an example of algebra suitable for describing infinitely degenerate systems and we show that there is no cyclic and separating vector corresponding to the Landau Hamiltonian. Then, we try to reproduce the thermodynamical limit of a finite box as used in the very beginning of the theory of KMS states by Haag Hugenholtz and Winnink. Finally, we discuss the situation from the point of view of non-$σ$-additive probabilities, non-normal nor semifinite states, singular (Dixmier) states and, hence, an extension of the concept of KMS state.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Pure and mixed states
Authors:
J. C. A. Barata,
M. Brum,
V. Chabu,
R. Correa da Silva
Abstract:
We present a review on the notion of pure states and mixtures as mathematical concepts that apply for both classical and quantum physical theories, as well as for any other theory depending on statistical description. Here, states will be presented as expectation values on suitable algebras of observables, in a manner intended for the non-specialist reader; accordingly, basic literature on the sub…
▽ More
We present a review on the notion of pure states and mixtures as mathematical concepts that apply for both classical and quantum physical theories, as well as for any other theory depending on statistical description. Here, states will be presented as expectation values on suitable algebras of observables, in a manner intended for the non-specialist reader; accordingly, basic literature on the subject will be provided. Examples will be exposed together with a discussion on their meanings and implications. An example will be shown where a pure quantum state converges to a classical mixture of particles as Planck's constant tends to zero.
△ Less
Submitted 8 December, 2019; v1 submitted 13 September, 2019;
originally announced September 2019.
-
Perturbations of KMS States and Noncommutative Lp-spaces
Authors:
Ricardo Correa da Silva
Abstract:
We extend the theory of perturbations of KMS states to a class of unbounded perturbations using noncommutative $L_p$-spaces. We also prove certain stability of the domain of the Modular Operator associated with a ||.||p-continuous state. This allows us to define an analytic multiple-time KMS condition and to obtain its analyticity together with some bounds to its norm.
We extend the theory of perturbations of KMS states to a class of unbounded perturbations using noncommutative $L_p$-spaces. We also prove certain stability of the domain of the Modular Operator associated with a ||.||p-continuous state. This allows us to define an analytic multiple-time KMS condition and to obtain its analyticity together with some bounds to its norm.
△ Less
Submitted 20 March, 2019; v1 submitted 11 November, 2018;
originally announced November 2018.
-
Noncommutative Lp-Spaces and Perturbations of KMS States
Authors:
R. Correa da Silva
Abstract:
We extend the theory of perturbations of KMS states to some class of unbounded perturbations using noncommutative Lp-spaces. We also prove certain stability of the domain of the Modular Operator associated to a ||.||p-continuous state. This allows us to define an analytic multiple-time KMS condition and to obtain its analyticity together with some bounds to its norm.
Apart from that, this work c…
▽ More
We extend the theory of perturbations of KMS states to some class of unbounded perturbations using noncommutative Lp-spaces. We also prove certain stability of the domain of the Modular Operator associated to a ||.||p-continuous state. This allows us to define an analytic multiple-time KMS condition and to obtain its analyticity together with some bounds to its norm.
Apart from that, this work contains a detailed review, with minor contributions due to the author, starting with the description of C*-algebras and von Neumann algebras followed by weights and representations, a whole chapter is devoted to the study of KMS states and its physical interpretation as the states of thermal equilibrium, then the Tomita-Takesaki Modular Theory is presented, furthermore, we study analytical properties of the modular operator automorphism group, positive cones and bounded perturbations of states, and finally we start presenting multiple versions of noncommutative Lp-spaces.
△ Less
Submitted 9 August, 2018; v1 submitted 9 June, 2018;
originally announced June 2018.
-
Galois Groups in the work of Mira Fernandes
Authors:
Amaro José Rica da Silva
Abstract:
In connection to a review of the writings on Galois Theory of the Portuguese mathematician Aureliano Mira Fernandes at turn of the XXth century a brief narrative is presented on how the group theory concepts discovered by Galois are connected to previous work that took centuries to evolve, and how fast they changed the landscape of theoretical and applied mathematics and physics since its publicat…
▽ More
In connection to a review of the writings on Galois Theory of the Portuguese mathematician Aureliano Mira Fernandes at turn of the XXth century a brief narrative is presented on how the group theory concepts discovered by Galois are connected to previous work that took centuries to evolve, and how fast they changed the landscape of theoretical and applied mathematics and physics since its publication.
From the conference "Mira Fernandes and his age - An historical Conference in honour of Aureliano de Mira Fernandes (1884-1958)", IST Lisbon, June 2009
△ Less
Submitted 8 January, 2011;
originally announced January 2011.
-
On the finite spectral triple of an almost-commutative geometry
Authors:
F. J. Vanhecke,
A. R. da Silva,
C. Sigaud
Abstract:
In this short communication, we examine the relevance of the signature of the space-time metric in the construction of the product of a pseudo-Riemannian spectral triple with a finite triple describing the internal geometry. We obtain arguments favouring the appearance of SU(2) and U(1) as gauge groups in the standard model.
In this short communication, we examine the relevance of the signature of the space-time metric in the construction of the product of a pseudo-Riemannian spectral triple with a finite triple describing the internal geometry. We obtain arguments favouring the appearance of SU(2) and U(1) as gauge groups in the standard model.
△ Less
Submitted 19 September, 2012; v1 submitted 22 November, 2010;
originally announced November 2010.
-
Modified symplectic structures in cotangent bundles of Lie groups
Authors:
F. J. Vanhecke,
C. Sigaud,
A. R. da Silva
Abstract:
In earlier work (*) we studied an extension of the canonical symplectic structure in the cotangent bundle of an affine space ${\cal Q}={\bf R}^N$, by additional terms implying the Poisson non-commutativity of both configuration and momentum variables. In this article, we claim that such an extension can be done consistently when ${\cal Q}$ is a Lie group $G$. -- (*) : F.J.Vanhecke, C.Sigaud and…
▽ More
In earlier work (*) we studied an extension of the canonical symplectic structure in the cotangent bundle of an affine space ${\cal Q}={\bf R}^N$, by additional terms implying the Poisson non-commutativity of both configuration and momentum variables. In this article, we claim that such an extension can be done consistently when ${\cal Q}$ is a Lie group $G$. -- (*) : F.J.Vanhecke, C.Sigaud and A.R.da Silva, arXiv:math-phys/0502003 and Braz.J.Phys.{\bf 36},no IB,194(2006)
△ Less
Submitted 8 April, 2008;
originally announced April 2008.
-
Symmetries in Non Commutative Configuration space
Authors:
F. J. Vanhecke,
C. Sigaud,
A. R. da Silva
Abstract:
Extending earlier work(*), we examine the deformation of the canonical symplectic structure in a cotangent bundle $T^\star(\Q)$ by additional terms implying the Poisson non-commutativity of both configuration and momentum variables. In this short note, we claim this can be done consistently when $\Q$ is a Lie group. -- (*) F.J.Vanhecke, C.Sigaud and A.R.da Silva, arXiv:math-phys/0502003(2005) an…
▽ More
Extending earlier work(*), we examine the deformation of the canonical symplectic structure in a cotangent bundle $T^\star(\Q)$ by additional terms implying the Poisson non-commutativity of both configuration and momentum variables. In this short note, we claim this can be done consistently when $\Q$ is a Lie group. -- (*) F.J.Vanhecke, C.Sigaud and A.R.da Silva, arXiv:math-phys/0502003(2005) and Braz.J.Phys.{\bf 36},no IB,194(2006)
△ Less
Submitted 5 October, 2006;
originally announced October 2006.
-
Noncommutative configuration space. Classical and quantum mechanical aspects
Authors:
F. J. Vanhecke,
C. Sigaud,
A. R. da Silva
Abstract:
In this work we examine noncommutativity of position coordinates in classical symplectic mechanics and its quantisation. In coordinates $\{q^i,p_k\}$ the canonical symplectic two-form is $ω_0=dq^i\wedge dp_i$. It is well known in symplectic mechanics {\bf\cite{Souriau,Abraham,Guillemin}} that the interaction of a charged particle with a magnetic field can be described in a Hamiltonian formalism…
▽ More
In this work we examine noncommutativity of position coordinates in classical symplectic mechanics and its quantisation. In coordinates $\{q^i,p_k\}$ the canonical symplectic two-form is $ω_0=dq^i\wedge dp_i$. It is well known in symplectic mechanics {\bf\cite{Souriau,Abraham,Guillemin}} that the interaction of a charged particle with a magnetic field can be described in a Hamiltonian formalism without a choice of a potential. This is done by means of a modified symplectic two-form $ω=ω_0-e\F$, where $e$ is the charge and the (time-independent) magnetic field $\F$ is closed: $\dif\F=0$. With this symplectic structure, the canonical momentum variables acquire non-vanishing Poisson brackets: $\{p_k,p_l\} = e F_{kl}(q)$. Similarly a closed two-form in $p$-space $\G$ may be introduced. Such a {\it dual magnetic field} $\G$ interacts with the particle's {\it dual charge} $r$. A new modified symplectic two-form $ω=ω_0-e\F+r\G$ is then defined. Now, both $p$- and $q$-variables will cease to Poisson commute and upon quantisation they become noncommuting operators. In the particular case of a linear phase space ${\bf R}^{2N}$, it makes sense to consider constant $\F$ and $\G$ fields. It is then possible to define, by a linear transformation, global Darboux coordinates: $\{ξ^i,π_k\}= {δ^i}_k$. These can then be quantised in the usual way $[\hatξ^i,\hatπ_k]=i\hbar {δ^i}_k$. The case of a quadratic potential is examined with some detail when $N$ equals 2 and 3.
△ Less
Submitted 13 June, 2005; v1 submitted 1 February, 2005;
originally announced February 2005.
-
Brownian Motion Limit of Random Walks in Symetric Non-Homogeneous Media
Authors:
Domingos H. U. Marchetti,
Roberto da Silva
Abstract:
The phenomenon of macroscopic homogenization is illustrated with a simple example of diffusion. We examine the conditions under which a $d$--dimensional simple random walk in a symmetric random media converges to a Brownian motion. For $d=1$, both the macroscopic homogeneity condition and the diffusion coefficient can be read from an explicit expression for the Green's function. Except for this…
▽ More
The phenomenon of macroscopic homogenization is illustrated with a simple example of diffusion. We examine the conditions under which a $d$--dimensional simple random walk in a symmetric random media converges to a Brownian motion. For $d=1$, both the macroscopic homogeneity condition and the diffusion coefficient can be read from an explicit expression for the Green's function. Except for this case, the two available formulas for the effective diffusion matrix $κ$ do not explicit show how macroscopic homogenization takes place. Using an electrostatic analogy due to Anshelevich, Khanin and Sinai \cite{AKS}, we discuss upper and lower bounds on the diffusion coefficient $κ$ for $d>1$.
△ Less
Submitted 6 April, 2004;
originally announced April 2004.
-
Classical Principal Fibre Bundles from a Quantum Group Viewpoint
Authors:
F. J. Vanhecke,
C. Sigaud,
A. R. da Silva
Abstract:
In this short article we review how the classical theory of principal fibre bundles (PFB) transcribes in an algebraic formalism. In this dual formulation, a PFB is given by a right co-module algebra ${\cal P}$ over a Hopf algebra ${\cal H}$ with a mapping $Δ_R:{\cal P}\to{\cal P}\otimes{\cal H}$. In our case ${\cal P}$ is the (commutative) C*-algebra of complex-valued continuous functions on the…
▽ More
In this short article we review how the classical theory of principal fibre bundles (PFB) transcribes in an algebraic formalism. In this dual formulation, a PFB is given by a right co-module algebra ${\cal P}$ over a Hopf algebra ${\cal H}$ with a mapping $Δ_R:{\cal P}\to{\cal P}\otimes{\cal H}$. In our case ${\cal P}$ is the (commutative) C*-algebra of complex-valued continuous functions on the total space P and ${\cal H}$ is the Hopf algebra of complex-valued functions on the structure group G. These underlying spaces are endowed with a topology only. The subalgebra ${\cal B}$ of $Δ_R$-invariant elements is identified with the algebra of complex-valued functions on the base space B. In order to define horizontal one-forms, a differential calculus is needed. Since no a priori differential structure is assumed, we use the calculus of the universal differential envelope $Ω^\bullet({\cal P})$ which can be defined on any unital algebra. A connection on the PFB is then defined by a splitting of the universal one-forms as a direct sum of horizontal and vertical subspaces : $Ω^1({\cal P})=Γ_{hor}\oplusΓ_{ver}$. In case of a strong connection in a trivial PFB, the general expression and gauge transformation of the connection one-form and the curvature two-form are given. A locally trivial PFB can be constructed through a gluing procedure of a cover of the algebra ${\cal P}$ (see this meeting's poster session P112, where examples are given).
△ Less
Submitted 5 December, 2003;
originally announced December 2003.
-
The Connes-Lott program on the sphere
Authors:
J. A. Mignaco,
C. Sigaud,
A. R. da Silva,
F. J. Vanhecke
Abstract:
We describe the classical Schwinger model as a study of the projective modules over the algebra of complex-valued functions on the sphere. On these modules, classified by $π_2(S^2)$, we construct hermitian connections with values in the universal differential envelope which leads us to the Schwinger model on the sphere. The Connes-Lott program is then applied using the Hilbert space of complexif…
▽ More
We describe the classical Schwinger model as a study of the projective modules over the algebra of complex-valued functions on the sphere. On these modules, classified by $π_2(S^2)$, we construct hermitian connections with values in the universal differential envelope which leads us to the Schwinger model on the sphere. The Connes-Lott program is then applied using the Hilbert space of complexified inhomogeneous forms with its Atiyah-Kaehler structure. It splits in two minimal left ideals of the Clifford algebra preserved by the Dirac-Kaehler operator D=i(d-delta). The induced representation of the universal differential envelope, in order to recover its differential structure, is divided by the unwanted differential ideal and the obtained quotient is the usual complexified de Rham exterior algebra over the sphere with Clifford action on the "spinors" of the Hilbert space. The subsequent steps of the Connes-Lott program allow to define a matter action, and the field action is obtained using the Dixmier trace which reduces to the integral of the curvature squared.
△ Less
Submitted 8 November, 1996;
originally announced November 1996.
