Related papers: Arithmetic BF theory and the Cassels-Tate pairing
Although symmetry methods and analysis are a necessary ingredient in every physicist's toolkit, rather less use has been made of combinatorial methods. One exception is in the realm of Statistical Physics, where the calculation of the…
We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to…
A family of tridiagonal pairs which appear in the context of quantum integrable systems is studied in details. The corresponding eigenvalue sequences, eigenspaces and the block tridiagonal structure of their matrix realizations with respect…
In this paper, we study matrix functions of bounded type from the viewpoint of describing an interplay between function theory and operator theory. \ We first establish a criterion on the coprime-ness of two singular inner functions and…
Examples of discontinuous functions already appear in the work of Euler, Abel, Dirichlet, Fourier, and Bolzano. A ground-breaking discovery due to Baire was that many discontinuous functions are well-behaved in that they are the pointwise…
In this paper, the generalized fractional integral operators of two generalized Mittag-Leffler type functions are investigated. The special cases of interest involve the generalized Fox--Wright function and the generalized M-series and…
An addition and product formula for the Hahn-Exton $q$-Bessel function, previously obtained by use of a quantum group theoretic interpretation, are proved analytically. A (formal) limit transition to the Graf addition formula and…
We provide a fractional counterpart of the classical results by Schwarz and Malmheden on harmonic functions. From that we obtain a representation formula for $s$-harmonic functions as a linear superposition of weighted classical harmonic…
We consider BF-type topological field theory coupled to non-dynamical particle and string sources on spacetime manifolds of the form $\IR^1\times\MT$, where $\MT$ is a 3-manifold without boundary. Canonical quantization of the theory is…
In the previous article 'A Mackey-functor theoretic interpretation of biset functors', we have constructed the 2-category $\mathbb{S}$ of finite sets with variable finite group actions, in which bicoproducts and bipullbacks exist. As shown…
We provide a "shared axiomatization" of natural numbers and hereditarily finite sets built around a polymorphic abstraction of bijective base-2 arithmetics. The "axiomatization" is described as a progressive refinement of Haskell type…
In this paper we study the following type of functions $f: \mathcal{Q}_{\mathbb{R}_{3}} \to \mathbb{R}_{3}$, where $ \mathcal{Q}_{\mathbb{R}_3}$ is the quadratic cone of the algebra $\mathbb{R}_{3}$. From the fact that it is possible to…
The theory of Bailey's transform provides a systematic method for deriving $q$-identities, the key factor of which is the Bailey pair. The concept of Bailey pair was first extended to bilateral version by Paule. In this paper, following…
In 1929 Heisenberg and Pauli laid the foundations of QFT by quantizing the fields (method of canonical quantization). This general theory of quantized fields has remained undisputed up to now. We show how the unmodified Heisenberg-Pauli…
The main goal of this paper is to formulate a constructive analogue of Ackermann's observation about finite set theory and arithmetic. We will see that Heyting arithmetic is bi-interpretable with $\mathsf{CZF^{fin}}$, the finitary version…
We use the theory of arithmetic quotients of the Bruhat-Tits tree developed by Serre and others to obtain Dirichlet-style theorems for Diophantine approximation on global function fields. This approach allows us to find sharp values for the…
Denoting by $\mathbb{M}$ the complexification of the quaternionic algebra $\mathbb{H}$, we characterize the family of those $\mathbb{M}$-valued functions, defined on subsets of $\H$, whose values are actually quaternions, using an intrinsic…
We use the method due to Batalin, Fradkin and Tyutin (BFT) for the quantization of chiral boson theories. We consider the Floreanini-Jackiw (FJ) formulation as well as others with linear constraints.
This paper proposes new explicit formulas for the doubling and addition step in Miller's algorithm to compute the Tate pairing. For Edwards curves the formulas come from a new way of seeing the arithmetic. We state the first geometric…
We prove that the partial zeta function introduced in [9] is a rational function, generalizing Dwork's rationality theorem.