Related papers: SO(4) Re-revisited
We present a method to simplify expressions in the context of an equational theory. The basic ideas and concepts of the method have been presented previously elsewhere but here we tackle the difficult task of making it efficient in…
For the OEIS sequence A025166, defined by $a(n) = -n!\,2^{n}\,L_{n}(1/2)$ where $L_{n}$ is the Laguerre polynomial of degree $n$, R.~J.~Mathar contributed in February 2013 the conjectured order-2 P-recursive recurrence \[ a(n) + (-4n+3)\,…
We give a new perspective on the Lorentzian OPE inversion formula of arXiv:1703.00278, building on arXiv:2302.06469. We introduce an ``auxiliary'' fourpoint function that can be related to the traditionally defined ones via a Radon…
There is consensus that sums $S_n={ {\Sigma }_{k=1}^n R_{0k} e^{i \theta_k}}$ of complex exponential terms, despite their mathematical significance, only possess closed-form representations for specific values of n and special values of…
We discuss several existing proofs of the value of a quartic integral and present a new proof that evolved from rational Landen transformations.
Group elements of SU(2) are expressed in closed form as finite polynomials of the Lie algebra generators, for all definite spin representations of the rotation group. The simple explicit result exhibits connections between group theory,…
We present in this paper all the details for a complete description of the Lie algebra a in the split case at any characteristic. We finish with the determination of the expression of a generic element of this algebra. First of all is…
A variation on the splitting principle
We rewrite the Born-Infeld Lagrangian, which is originally given by the determinant of a $4 \times 4$ matrix composed of the metric tensor $g$ and the field strength tensor $F$, using the determinant of a $(4 \cdot 2^n) \times (4 \cdot…
An explicit and simple correspondence, between the basis of the model space of $SU(3)$ on one hand and that of $SU(2)\otimes SU(2)$ or $SO(1,3)$ on the other, is exhibited for the first time. This is done by considering the generating…
We extend a higher-order sum rule proved by B. Simon to matrix valued measures on the unit circle and their matrix Verblunsky coefficients.
A new simple proof of Stirling's formula via the partial fraction expansion for the tangent function is presented.
We present a case study in {\it experimental} yet {\it rigorous} mathematics by describing an algorithm, fully implemented in both Mathematica and Maple, that {\it automatically conjectures}, and then {\it automatically proves}, closed-form…
In this paper, we reformulate Moeglin's explicit construction of local A-packets of split odd special orthogonal groups and symplectic groups. By this reformulation together with results of the previous paper with Minguez, we can compute…
By solving a set of recursion relations for the matrix elements of the ${\cal U}_h(sl(2))$ generators, the finite dimensional highest weight representations of the algebra were obtained as factor representations. Taking a nonlinear…
We consider the $n\times n$ Hankel matrix $H$ whose entries are defined by $H_{ij}=1/s_{i+j}$ where $s_k=(k-1)!$ and prove that $H$ is invertible for all $n\in\mathbb{N}$ by providing an explicit formula for its inverse matrix.
We prove that if $G$ is a finite group, then the exponent of its Bogomolov multiplier divides the exponent of $G$ in the following four cases: (i) $G$ is metabelian, (ii) $\exp G=4$, (iii) $G$ is nilpotent of class $\le 5$, or (iv) $G$ is a…
A new variant of the exact Fradkin representation of the Green's function $G_c(x,y|gU)$, defined for arbitrary external potential $U$, is presented. Although this new approach is very similar in spirit to that previously derived by Fried…
We show how Coxeter's work implies a bijection between complex reflection groups of rank two and real reflection groups in $O(3)$. We also consider this magic square of reflections and rotations in the framework of Clifford algebras: we…
We give an upper bound for the exponential $\sum_{m=1}^M \exp( 2i\pi f (m))$ in terms of $M$ and $\lambda$, where $\lambda$ is a small positive number which denotes the size of the fourth derivative of the real valued function $f$. The…