[Paper Review] A note on equilibrium Glauber and Kawasaki dynamics for fermion point processes

Eugene Lytvynov, N. Ohlerich|ArXiv.org|Feb 12, 2007

Random Matrices and Applications22 references4 citations

TL;DR

This paper constructs equilibrium Glauber and Kawasaki dynamics for fermion point processes in a locally compact Polish space X, using Dirichlet forms to establish conservative Markov processes with the fermion measure as invariant measure. The key result is the existence of such dynamics under conditions on the Papangelou intensity when the operator K satisfies K < 1.

ABSTRACT

We construct two types of equilibrium dynamics of infinite particle systems in a locally compact Polish space $X$, for which certain fermion point processes are invariant. The Glauber dynamics is a birth-and-death process in $X$, while in the case of the Kawasaki dynamics interacting particles randomly hop over $X$. We establish conditions on generators of both dynamics under which corresponding conservative Markov processes exist.

Motivation & Objective

• To establish the existence of conservative Markov processes with fermion point processes as invariant measures in infinite particle systems.
• To extend the framework of Glauber and Kawasaki dynamics—previously known for Gibbs measures—to fermion (determinantal) point processes.
• To prove the existence of such dynamics under the condition that the associated operator K satisfies K < 1, ensuring the Papangelou intensity is well-defined.
• To provide explicit forms of the L²-generators for both dynamics on cylinder functions, generalizing the standard formulas to the fermionic setting.
• To lay the foundation for future study of spectral gaps, cores for generators, and scaling limits in fermionic systems.

Proposed method

• Uses the theory of Dirichlet forms to construct symmetric Markov processes on the configuration space Γ(X) with fermion measure μ as symmetrizing measure.
• Imposes conditions on the generators of Glauber and Kawasaki dynamics—specifically on the death rate d(x,γ), birth rate b(x,γ), and jump rate c(x,y,γ)—to ensure the associated Dirichlet forms are closable and quasi-regular.
• Employs the Papangelou conditional intensity of the fermion process as a key tool, relying on the assumption K < 1 to ensure its existence and boundedness.
• Applies functional analytic techniques, including L²(μ)-boundedness and integrability estimates, to verify the tightness and finiteness of the energy norms.
• Derives explicit expressions for the generators in the form of (1.2) for Glauber and (1.4) for Kawasaki dynamics, with coefficients derived from the kernel K.
• Proves the validity of the conditions (3.2), (3.3), (3.10), and (3.17) through estimates involving the kernel K and the intensity r(x,γ), using trace-class and boundedness properties.

Experimental results

Research questions

• RQ1 Can Glauber and Kawasaki dynamics be constructed for fermion point processes in a general locally compact Polish space X?
• RQ2 Under what conditions on the kernel K (specifically, K < 1) do the generators of these dynamics yield well-defined conservative Markov processes with the fermion measure as invariant measure?
• RQ3 How can the standard formulas for Glauber and Kawasaki generators be adapted to the fermionic setting using the Papangelou intensity?
• RQ4 What are the sufficient conditions on the coefficients d(x,γ), b(x,γ), and c(x,y,γ) to ensure the associated Dirichlet forms are closable and quasi-regular?
• RQ5 What are the implications of the current framework for future research on spectral gaps, cores, and diffusion approximations in fermionic systems?

Key findings

• The paper establishes the existence of conservative Markov processes with cadlag paths on the configuration space Γ(X) that have a fermion point process as invariant measure.
• For the Kawasaki dynamics, the generator is given by (H_K F)(γ) = ∑_{x∈γ} ∫_X c(x,y,γ∖x)(D^{-+}_{xy}F)(γ) dy, with c(x,y,γ) derived from the kernel K and Papangelou intensity.
• The Glauber dynamics generator is given by (H_G F)(γ) = ∑_{x∈γ} d(x,γ∖x)(D⁻_xF)(γ) + ∫_X b(x,γ)(D⁺_xF)(γ) dx, with d and b defined via r(x,γ)^{s-1} and r(x,γ)^s for s ∈ [0,1].
• Conditions (3.2), (3.3), (3.10), and (3.17) are verified using integrability estimates involving the kernel K and the intensity r(x,γ), ensuring the Dirichlet forms are closable.
• The construction is valid under the assumption that K < 1, which guarantees the existence of the Papangelou intensity and ensures the coefficients are well-defined and integrable.
• The proofs for the Kawasaki dynamics are provided in full, while the Glauber case is noted to follow by similar, simpler arguments.