arXiv subjects

Błażej Ruba

Publications and source records attributed to Błażej Ruba.

At least 19 recordsLinked to original sources

arXiv2026

Poincaré Duality and Quadratic Refinements over Laurent Rings

We develop a Poincaré duality theory for defects of nondegenerate sesquilinear pairings over Laurent polynomial rings. A key ingredient is a novel flat resolution of the character module, constructed from a triangulation of the sphere at infinity associated with a fan. The cup product on this resolution turns Poincaré duality on the sphere into canonical pairings between the resulting defect modules. In middle degrees, we construct distinguished quadratic refinements using equivariant cohomology of the sphere with the antipodal action. The effective replacement of the sphere with a projective space provides a geometric substitute for division by two. Applied to translation-invariant Pauli stabilizer codes, our results establish the nondegeneracy of higher-dimensional braiding pairings. They extend the two-dimensional T-junction formula for topological spin to higher dimensions, while giving it a geometric interpretation.

math.AC↗

arXiv2026

Random field approximation and local counting statistics for the weakly interacting thermal Bose gas

We study weakly interacting bosons on the three-dimensional torus at temperatures proportional to the critical temperature for Bose--Einstein condensation. We show that, as the expected particle number tends to infinity, the grand canonical Gibbs state is asymptotically described by the coherent state quantization of a random field that converges to a novel Bogoliubov random field. Moreover, the point process associated with the Gibbs state can be approximated by a Cox process. These results are based on and extend the approximation of the Gibbs state recently obtained by the first two authors and Nam. Using these approximations, we compute limiting distributions of the number of particles outside the condensate, the joint occupation statistics of finitely many momentum modes, and particle-number fluctuations in macroscopic subsets of the torus, all governed by the Bogoliubov field. We further prove convergence of the empirical measure of the associated point process to the uniform measure and convergence of the microscopic particle-number statistics to the boson point process. The latter result establishes the universality of particle-number statistics on microscopic length scales.

math-ph↗

arXiv2025

Witt Groups and Bulk-Boundary Correspondence for Stabilizer States

We establish a bulk--boundary correspondence for translation-invariant stabilizer states in arbitrary spatial dimension, formulated in the framework of modules over Laurent polynomial rings. To each stabilizer state restricted to half-space geometry we associate a boundary operator module. Boundary operator modules provide examples of quasi-symplectic modules, which are objects of independent mathematical interest. In their study, we use ideas from algebraic L-theory in a setting involving non-projective modules and non-unimodular forms. Our results about quasi-symplectic modules in one spatial dimension allow us to resolve the conjecture that every stabilizer state in two dimensions is characterized by a corresponding abelian anyon model with gappable boundary. Our techniques are also applicable beyond two dimensions, such as in the study of fractons.

math-ph↗

arXiv2025

Optimal Remainder Estimates in the Quantization of Complex Projective Spaces

We study Berezin-Toeplitz quantization of complex projective spaces $\mathbb{CP}^{d-1}$ and obtain full asymptotic expansions of the Berezin transformation and of products of Toeplitz operators. In each case, the remainder is controlled by the next term of the expansion, either through a positivity-preserving transformation or via an operator inequality. This leads to bounds which are optimal in terms of the required regularity and feature sharp or asymptotically sharp constants.

math-ph↗

arXiv2025

Decomposition of ${\widehat{\mathfrak{sl}_2}}_{,k} \ \oplus \ {\widehat{\mathfrak{sl}_2}}_{,1}$ highest weight representations for generic level $k$ and equivalence between two dimensional CFT models

We construct highest weight vectors of ${\widehat{\mathfrak{sl}_2}}_{,k+1} \oplus \mathsf{Vir}$ in tensor products of highest weight modules of ${\widehat{\mathfrak{sl}_2}}_{,k}$ and ${\widehat{\mathfrak{sl}_2}}_{,1}$, and thus for generic weights we find the decomposition of the tensor product into irreducibles of ${\widehat{\mathfrak{sl}_2}}_{,k+1} \oplus \mathsf{Vir}$. The construction uses Wakimoto representations of ${\widehat{\mathfrak{sl}_2}}_{,k}$, but the obtained vectors can be mapped back to Verma modules. Singularities of this mapping are cancelled by a renormalization. A detailed study of ``degenerations'' of Wakimoto modules allowed to find the renormalization factor explicitly. The obtained result is a significant step forward in a proof of equivalence of certain two-dimesnional CFT models.

hep-th↗

arXiv2024

Spinor-helicity calculation of the $g^* g^* \to q\overline{q} V^*$ amplitude at the tree level

We compute amplitudes for the process $g^* g^* \to q \overline q V^*$ (two virtual gluons into a quark, antiquark and a boson) at the tree level using the spinor-helicity formalism. The resulting analytic expressions are much shorter than squared amplitudes obtained using trace methods. Our results can be used to expedite numerical calculations in phenomenological studies of the Drell-Yan process in high energy factorization framework.

hep-ph↗

arXiv2024

Point potentials on Euclidean space, hyperbolic space and sphere in any dimension

In dimensions d= 1, 2, 3 the Laplacian can be perturbed by a point potential. In higher dimensions the Laplacian with a point potential cannot be defined as a self-adjoint operator. However, for any dimension there exists a natural family of functions that can be interpreted as Green's functions of the Laplacian with a spherically symmetric point potential. In dimensions 1, 2, 3 they are the integral kernels of the resolvent of well-defined self-adjoint operators. In higher dimensions they are not even integral kernels of bounded operators. Their construction uses the so-called generalized integral, a concept going back to Riesz and Hadamard. We consider the Laplace(-Beltrami) operator on the Euclidean space, the hyperbolic space and the sphere in any dimension. We describe the corresponding Green's functions, also perturbed by a point potential. We describe their limit as the scaled hyperbolic space and the scaled sphere approach the Euclidean space. Especially interesting is the behavior of positive eigenvalues of the spherical Laplacian, which undergo a shift proportional to a negative power of the radius of the sphere. We expect that in any dimension our constructions yield possible behaviors of the integral kernel of the resolvent of a perturbed Laplacian far from the support of the perturbation. Besides, they can be viewed as toy models illustrating various aspects of renormalization in Quantum Field Theory, especially the point-splitting method and dimensional regularization.

math-ph↗

arXiv2024

SU(2)-equivariant quantum channels: semiclassical analysis

We study completely positive and trace-preserving equivariant maps between operators on irreducible representations of $\mathrm{SU}(2)$. We find asymptotic approximations of channels in the limit of large output representation and we compute traces of functions of channel outputs. Our main tool is quantization using coherent states. We provide quantitative error bounds for various semiclassical formulas satisfied by quantizations of functions on the sphere.

math-ph↗

arXiv2024

Ground state energy of dense gases of strongly interacting fermions

We study the ground state energy of a gas of $N$ fermions confined to a unit box in $d$ dimensions. The particles interact through a 2-body potential with strength scaled in an $N$-dependent way as $N^{-α}v$, where $α\in \mathbb R$ and $v$ is a function of positive type satisfying a mild regularity assumption. Our focus is on the strongly interacting case $α<1-\frac2d$. We contrast our result with existing results in the weakly interacting case $α>1-\frac2d$, and the transition happening at the mean-field scaling $α=1-\frac2d$. Our proof is an adaptation of the bosonization technique used to treat the mean-field case.

math-ph↗

arXiv2023

Generalized integrals and point interactions

First we recall a method of computing scalar products of eigenfunctions of a Sturm-Liouville operator. This method is then applied to Macdonald and Gegenbauer functions, which are eigenfunctions of the Bessel, resp. Gegenbauer operators. The computed scalar products are well defined only for a limited range of parameters. To extend the obtained formulas to a much larger range of parameters, we introduce the concept of a generalized integral. The (standard as well as generalized) integrals of Macdonald and Gegenbauer functions have important applications to operator theory. Macdonald functions can be used to express the integral kernels of the resolvent (Green functions) of the Laplacian on the Euclidean space in any dimension. Similarly, Gegenbauer functions appear in Green functions of the Laplacian on the sphere and the hyperbolic space. In dimensions 1,2,3 one can perturb these Laplacians with a point potential, obtaining a well defined self-adjoint operator. Standard integrals of Macdonald and Gegenbauer functions appear in the formulas for the corresponding Green functions. In higher dimensions the Laplacian perturbed by point potentials does not exist. However, the corresponding Green function can be generalized to any dimension by using generalized integrals.

math-ph↗

arXiv2023

Generalized integrals of Macdonald and Gegenbauer functions

We compute bilinear integrals involving Macdonald and Gegenbauer functions. These integrals are convergent only for a limited range of parameters. However, when one uses generalized integrals they can be computed essentially without restricting the parameters. The generalized integral is a linear functional extending the standard integral to a certain class of functions involving finitely many homogeneous non-integrable terms at the edpoints of the interval. For generic values of parameters, generalized bilinear integrals of Macdonald and Gegenbauer functions can be obtained by analytic continuation from the region in which the integrals are convergent. In the case of integer parameters we obtain expressions with explicit additional terms related to an anomaly, namely the failure of the generalized integral to be scaling invariant.

math.CA↗

arXiv2022

Holomorphic family of Dirac-Coulomb Hamiltonians in arbitrary dimension

We study massless 1-dimensional Dirac-Coulomb Hamiltonians, that is, operators on the half-line of the form $D_{ω,λ}:=\begin{bmatrix}-\frac{λ+ω}{x}&-\partial_x \\ \partial_x & -\frac{λ-ω}{x}\end{bmatrix}$. We describe their closed realizations in the sense of the Hilbert space $L^2(\mathbb R_+,\mathbb C^2)$, allowing for complex values of the parameters $λ,ω$. In physical situations, $λ$ is proportional to the electric charge and $ω$ is related to the angular momentum. We focus on realizations of $D_{ω,λ}$ homogeneous of degree $-1$. They can be organized in a single holomorphic family of closed operators parametrized by a certain 2-dimensional complex manifold. We describe the spectrum and the numerical range of these realizations. We give an explicit formula for the integral kernel of their resolvent in terms of Whittaker functions. We also describe their stationary scattering theory, providing formulas for a natural pair of diagonalizing operators and for the scattering operator. It is well-known that $D_{ω,λ}$ arise after separation of variables of the Dirac-Coulomb operator in dimension 3. We give a simple argument why this is still true in any dimension. Furthermore, we explain the relationship of spherically symmetric Dirac operators with the Dirac operator on the sphere and its eigenproblem. Our work is mainly motivated by a large literature devoted to distinguished self-adjoint realizations of Dirac-Coulomb Hamiltonians. We show that these realizations arise naturally if the holomorphy is taken as the guiding principle. Furthermore, they are infrared attractive fixed points of the scaling action. Beside applications in relativistic quantum mechanics, Dirac-Coulomb Hamiltonians are argued to provide a natural setting for the study of Whittaker (or, equivalently, confluent hypergeometric) functions.

math-ph↗

arXiv2021

Bosonization of Majorana modes and edge states

We present a bosonization procedure which replaces fermions with generalized spin variables subject to local constraints. It requires that the number of Majorana modes per lattice site matches the coordination number modulo two. If this condition is not obeyed, then bosonization introduces additional fermionic excitations not present in the original model. In the case of one Majorana mode per site on a honeycomb lattice, we recover a sector of Kitaev's model. We discuss also decagonal and rectangular geometries and present bosonization of the Hubbard model. For geometries with a boundary we find that certain fermionic edge modes naturally emerge. They are of different nature than edge modes encountered in topological phases of matter. Euclidean representation for the unconstrained version of a spin system of the type arising in our construction is derived and briefly studied by computing some exact averages for small volumes.

hep-lat↗

arXiv2021

Study of a lattice 2-group gauge model

Gauge theories admit a generalisation in which the gauge group is replaced by a finer algebraic structure, known as a 2-group. The first model of this type is a Topological Quantum Field Theory introduced by Yetter. We discuss a common generalisation of both the Yetter's model and Yang-Mills theory and in particular we focus on the lattice formulation of such model for finite 2-groups. In the second part we present a particular realization based on a 2-group constructed from $\mathbb Z_4$ groups. In the selected model, independent degrees of freedom are associated to both links and faces of a four-dimensional lattice and are subject to a certain constraint. We present the details of this construction, discuss the expected dynamics in different regions of phase space and show numerical results from Monte Carlo simulations corroborating these expectations.

hep-lat↗

arXiv2021

Dynamics of a lattice 2-group gauge theory model

We study a simple lattice model with local symmetry, whose construction is based on a crossed module of finite groups. Its dynamical degrees of freedom are associated both to links and faces of a four-dimensional lattice. In special limits the discussed model reduces to certain known topological quantum field theories. In this work we focus on its dynamics, which we study both analytically and using Monte Carlo simulations. We prove a factorization theorem which reduces computation of correlation functions of local observables to known, simpler models. This, combined with standard Krammers-Wannier type dualities, allows us to propose a detailed phase diagram, which form is then confirmed in numerical simulations. We describe also topological charges present in the model, its symmetries and symmetry breaking patterns. The corresponding order parameters are the Polyakov loop and its generalization, which we call a Polyakov surface. The latter is particularly interesting, as it is beyond the scope of the factorization theorem. As shown by the numerical results, expectation value of Polyakov surface may serve to detects all phase transitions and is sensitive to a value of the topological charge.

hep-lat↗

arXiv2020

Bosonization based on Clifford algebras and its gauge theoretic interpretation

We study the properties of a bosonization procedure based on Clifford algebra valued degrees of freedom, valid for spaces of any dimension. We present its interpretation in terms of fermions in presence of $\mathbb{Z}_2$ gauge fields satisfying a modified Gauss' law, resembling Chern-Simons-like theories. Our bosonization prescription involves constraints, which are interpreted as a flatness condition for the gauge field. Solution of the constraints is presented for toroidal geometries of dimension two. Duality between our model and $(d-1)$-form $\mathbb{Z}_2$ gauge theory is derived, which elucidates the relation between the approach taken here with another bosonization map proposed recently.

math-ph↗

arXiv2020

Dynamical generalization of Yetter's model based on a crossed module of discrete groups

We construct a dynamical lattice model based on a crossed module of possibly non-abelian finite groups. Its degrees of freedom are defined on links and plaquettes, while gauge transformations are based on vertices and links of the underlying lattice. We specify the Hilbert space, define basic observables (including the Hamiltonian) and initiate a~discussion on the model's phase diagram. The constructed model generalizes, and in appropriate limits reduces to, topological theories with symmetries described by groups and crossed modules, lattice Yang-Mills theory and $2$-form electrodynamics. We conclude by reviewing classifying spaces of crossed modules, with an emphasis on the direct relation between their geometry and properties of gauge theories under consideration.

math-ph↗

arXiv2019

Analyticity of the free energy for quantum Airy structures

It is shown that the free energy associated to a finite dimensional Airy structure is an analytic function at each finite order of the $\hbar$ expansion. Semiclassical series itself is in general divergent. Calculations are facilitated by putting the topological recursion equations into a form exhibiting more explicitly the semiclassical geometry. This formulation involves certain differential operators on the characteristic variety, which are found to satisfy a Lie algebra cocycle condition. It is proven that this cocycle is a coboundary. Developed formalism is applied in specific examples. In the case of a divergent $\hbar$ series, a simple resummation is performed. Analytic properties of the obtained partition functions are investigated.

math-ph↗