Related papers: Magic identities for conformal four-point integral…
Two recently developed techniques of analytic evaluation of multifold Mellin-Barnes (MB) integrals are presented. Both approaches rest on the definition of geometrical objets conveniently associated with the MB integrands, which can then be…
Magic relations are a class of integration-by-parts identities where all integrals in the generating sector drop out. Since their presence causes several otherwise successful methods in the Feynman-integral computational pipeline to break…
We show that if any four distinct solutions of a rational difference equation are algebraically independent, then any number of distinct solutions to the equation are independent. A nontrivial variant of this result is given for autonomous…
Simple proofs of the midpoint, trapezoidal and Simpson's rules are proved for numerical integration on a compact interval. The integrand is assumed to be twice continuously differentiable for the midpoint and trapezoidal rules, and to be…
We show that momentum space Feynman diagrams involving internal massless fields can be cast as conformal integrals. This leads to a classification of all Feynman diagrams into conformal families, labelled by conformal integrals. Computing…
We consider the numerical evaluation of a class of double integrals with respect to a pair of self-similar measures over a self-similar fractal set (the attractor of an iterated function system), with a weakly singular integrand of…
We prove that the space of cuspidal quaternionic modular forms on the groups of type $F_4$ and $E_n$ have a purely algebraic characterization. This characterization involves Fourier coefficients and Fourier-Jacobi expansions of the cuspidal…
We derive several identities that feature irreducible characters of the general linear, the symplectic, the orthogonal, and the special orthogonal groups. All the identities feature characters that are indexed by shapes that are "nearly"…
We prove a master identity for a class of sequences defined by full-history linear homogeneous recurrences with (non-negative) constant coefficients. The identity is derived in a combinatorial way, providing thus combinatorial proofs for…
We show how to compute conformal blocks of operators in arbitrary Lorentz representations using the formalism described in arXiv:1905.00036 and arXiv:1905.00434, and present several explicit examples of blocks derived via this method. The…
We explore the correspondence between one-loop Feynman integrals and (hyperbolic) simplicial geometry to describe the "all-mass" case: integrals with generic external and internal masses. Specifically, we focus on $n$-particle integrals in…
Let $UT_4(F)$ be $4\times 4$ upper triangular matrix algebra over a field $F$ of characteristic zero and let $\mathcal{A}$ be the subalgebra of $UT_4(F)$ linearly generated by $\{\mathbf{e}_{ij}:1 \leq i\leq j \leq 4 \} \setminus…
A practical criterion for the irreducibility (with respect to integration by part identities) of a particular Feynman integral to a given set of integrals is presented. The irreducibility is shown to be related to the existence of stable…
We combinatorially prove Tetranacci, Tetranacci-Fibonacci, and additional identities using only squares and dominoes on a hexagonal double-strip. Some of these are new proofs of old identities, and others we believe have never been seen…
The generic structure of 4-point functions of fields residing in indecomposable representations of arbitrary rank is given. The used algorithm is described and we present all results for Jordan-rank $r=2$ and $r=3$ where we make use of…
It has been shown that classes of (minimal asymmetric) informationally complete POVMs in dimension d can be built using the multiparticle Pauli group acting on appropriate fiducial states [M. Planat and Z. Gedik, R. Soc. open sci. 4, 170387…
Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of polynomials that automatically generates a Gr\"obner basis…
In the classic "Concrete Math", by Graham, Patashnik and Knuth, it is stated that "The numbers in Pascal's triangle satisfy, practically speaking, infinitely many identities, so it is not too surprising that we can find some surprising…
We present analytical results for one-loop five-point master integrals with up to three off-shell legs. The method of canonical differential equations along with the Simplified Differential Equations approach is employed. All necessary…
A method of Proctor [European J. Combin. 5 (1984), no. 4, 331-350] realizes the set of arbitrary plane partitions in a box and the set of symmetric plane partitions as bases of linear representations of Lie groups. We extend this method by…