Related papers: The Atiyah-Sutcliffe Determinant
Changes of variables giving the dual model are constructed explicitly for sigma-models without isotropy. In particular, the jacobian is calculated to give the known results. The global aspects of the abelian case as well as some of those of…
We prove two results. (1) There is an absolute constant $D$ such that for any finite quasisimple group $S$, given 2D arbitrary automorphisms of $S$, every element of $S$ is equal to a product of $D$ `twisted commutators' defined by the…
The n-point function for the integral over unitary matrices with Itzykson-Zuber measure is reduced to the integral over Gelfand-Tzetlin table; integrand (for generic n) is given by linear exponential times rational function. For $n=2$ and…
In this paper, we define the concept of the Study-type determinant, and we present some properties of these determinants. These properties lead to some properties of the Study determinant. The properties of the Study-type determinants are…
We propose a method for computing universal (in Vogel's sense) quantum dimension formulae for universal multiplets whose associated $sl$, $so$, and $sp$ representations are nonzero. The method uses the relation between $sl$ and $so$…
In this article we prove an algebraic identity which significantly generalizes the formula for sum of powers of consecutive integers involving Stirling numbers of the second kind. Also we have obtained a generalization of Newton-Girard…
In this paper, the determinants of $n\times n$ matrices over commutative finite chain rings and over commutative finite principal ideal rings are studied. The number of $n\times n$ matrices over a commutative finite chain ring ${R}$ of a…
We give a further extension and generalization of Dedekind's theorem over those presented by Yamaguchi. In addition, we give two corollaries on irreducible representations of finite groups and a conjugation of the group algebra of the…
We prove a conjecture of Lecouvey, which proposes a closed, positive combinatorial formula for symplectic Kostka-Foulkes polynomials, in the case of rows of arbitrary weight. To show this, we construct a new algorithm for computing…
Let $\Delta$ denote the discriminant of a generic binary $d$-ic. We show that for $d \ge 3$, the Jacobian ideal of $\Delta$ is perfect of height 2. Moreover, we describe its SL_2-equivariant minimal resolution, and the associated invariant…
Let R be a complete discrete valuation ring with maximal ideal generated by pi. Let f(X) in R[X] be a monic polynomial with nonzero discriminant Delta(f). Let s >= v_pi(Delta(f)) + 1. Suppose given a factorisation of f(X) in (R/pi^s R)[X]…
We present a partial proof of van Hoeij-Abramov conjecture about the algorithmic possibility of computation of finite sums of rational functions. The theoretical results proved in this paper provide an algorithm for computation of a large…
Scattering amplitudes connect theoretical descriptions to experimental predictions. Low energy terms of the scattering amplitude tend to factorize from the high energy. Different methods have already been established to understand the…
Disjunctive Linear Arithmetic (DLA) is a major decidable theory that is supported by almost all existing theorem provers. The theory consists of Boolean combinations of predicates of the form $\Sigma_{j=1}^{n}a_j\cdot x_j \le b$, where the…
In decision theory an act is a function from a set of conditions to the set of real numbers. The set of conditions is a partition in some algebra of events. The expected value of an act can be calculated when a probability measure is given.…
General formula for symmetry factors (S-factor) of Feynman diagrams containing fields with high spins is derived. We prove that symmetry factors of Feynman diagrams of well-known theories do not depend on spins of fields. In contributions…
We present and study new definitions of universal and programmable universal unary functions and consider a new simplicity criterion: almost decidability of the halting set. A set of positive integers S is almost decidable if there exists a…
The main goal of this paper is to introduce a set of conjectures on the relations in the tautological rings. In particular, the framework gives an efficient algorithm to calculate all tautological equations using only finite dimensional…
We propose an explicit formula connecting Donaldson invariants and Seiberg-Witten invariants of a 4-manifold of simple type via Nekrasov's deformed partition function for the N=2 SUSY gauge theory with a single fundamental matter. This…
We derive exact formulae for the partition function and the expectation values of Wilson/'t Hooft loops, thus directly checking their S-duality transformations. We focus on a special class of N=2 gauge theories on S^4 with fundamental…