arXiv subjects

Eric M. Rains

Publications and source records attributed to Eric M. Rains.

At least 55 records · Page 3Linked to original sources

arXiv2007

Symmetrized models of last passage percolation and non-intersecting lattice paths

It has been shown that the last passage time in certain symmetrized models of directed percolation can be written in terms of averages over random matrices from the classical groups $U(l)$, $Sp(2l)$ and $O(l)$. We present a theory of such results based on non-intersecting lattice paths, and integration techniques familiar from the theory of random matrices. Detailed derivations of probabilities relating to two further symmetrizations are also given.

math-ph↗

arXiv2006

Properties of generalized univariate hypergeometric functions

Based on Spiridonov's analysis of elliptic generalizations of the Gauss hypergeometric function, we develop a common framework for 7-parameter families of generalized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E_7 (elliptic, hyperbolic) and of type E_6 (trigonometric) using the appropriate versions of the Nassrallah-Rahman beta integral, and we derive contiguous relations using fundamental addition formulas for theta and sine functions. The top level degenerations of the hyperbolic and trigonometric hypergeometric functions are identified with Ruijsenaars' relativistic hypergeometric function and the Askey-Wilson function, respectively. We show that the degeneration process yields various new and known identities for hyperbolic and trigonometric special functions. We also describe an intimate connection between the hyperbolic and trigonometric theory, which yields an expression of the hyperbolic hypergeometric function as an explicit bilinear sum in trigonometric hypergeometric functions.

math.CA↗

arXiv2006

The action of S_n on the cohomology of M_{0,n}(R)

In recent work (math/0507514) by Etingof, Henriques, Kamnitzer, and the author, a presentation and explicit basis was given for the rational cohomology of the real locus $\bar{M_{0,n}}(\RR)$ of the moduli space of stable genus 0 curves with $n$ marked points. We determine the graded character of the action of $S_n$ on this space (induced by permutations of the marked points), both in the form of a plethystic formula for the cycle index, and as an explicit product formula for the value of the character on a given cycle type.

math.AT↗

arXiv2006

Quadratic transformations of Macdonald and Koornwinder polynomials

When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof technique. The proof involves showing that a nonsymmetric version of the relevant integral is annihilated by a suitable ideal of the affine Hecke algebra, and that any such annihilated functional satisfies the desired vanishing property. This does not, however, give rise to vanishing identities for the standard nonsymmetric Macdonald and Koornwinder polynomials; we discuss the required modification to these polynomials to support such results.

math.RT↗

arXiv2006

Correlation functions for random involutions

Our interest is in the scaled joint distribution associated with $k$-increasing subsequences for random involutions with a prescribed number of fixed points. We proceed by specifying in terms of correlation functions the same distribution for a Poissonized model in which both the number of symbols in the involution, and the number of fixed points, are random variables. From this, a de-Poissonization argument yields the scaled correlations and distribution function for the random involutions. These are found to coincide with the same quantities known in random matrix theory from the study of ensembles interpolating between the orthogonal and symplectic universality classes at the soft edge, the interpolation being due to a rank 1 perturbation.

math.CO↗

arXiv2006

BC_n-symmetric abelian functions

We construct a family of BC_n-symmetric biorthogonal abelian functions generalizing Koornwinder's orthogonal polynomials, and prove a number of their properties, most notably analogues of Macdonald's conjectures. The construction is based on a direct construction for a special case generalizing Okounkov's interpolation polynomials. We show that these interpolation functions satisfy a collection of generalized hypergeometric identities, including new multivariate elliptic analogues of Jackson's summation and Bailey's transformation.

math.CO↗

arXiv2005

Dynamics of a family of piecewise-linear area-preserving plane maps II. Invariant circles

This paper studies the behavior under iteration of the maps T_{ab}(x,y)=(F_{ab}(x)-y,x) of the plane R^2, in which F_{ab}(x)=ax if x>=0 and bx if x<0. The orbits under iteration correspond to solutions of the nonlinear difference equation x_{n+2}= 1/2(a-b)|x_{n+1}| + 1/2(a+b)x_{n+1} - x_n. This family of maps has the parameter space (a,b)\in R^2. These maps are area-preserving homeomorphisms of R^s that map rays from the origin into rays from the origin. This paper shows the existence of special parameter values where T_{ab} has every nonzero orbit an invariant circle with irrational rotation number, and these invariant circles are piecewise unions of arcs of conic sections. Numerical experiments suggest the possible existence of many other parameter values having invariant circles.

math.DS↗

arXiv2005

Jacobians and rank 1 perturbations relating to unitary Hessenberg matrices

In a recent work Killip and Nenciu gave random recurrences for the characteristic polynomials of certain unitary and real orthogonal upper Hessenberg matrices. The corresponding eigenvalue p.d.f.'s are beta-generalizations of the classical groups. Left open was the direct calculation of certain Jacobians. We provide the sought direct calculation. Furthermore, we show how a multiplicative rank 1 perturbation of the unitary Hessenberg matrices provides a joint eigenvalue p.d.f generalizing the circular beta-ensemble, and we show how this joint density is related to known inter-relations between circular ensembles. Projecting the joint density onto the real line leads to the derivation of a random three-term recurrence for polynomials with zeros distributed according to the circular Jacobi beta-ensemble.

math.PR↗

arXiv2005

Transformations of elliptic hypergometric integrals

We prove a pair of transformations relating elliptic hypergeometric integrals of different dimensions, corresponding to the root systems BC_n and A_n; as a special case, we recover some integral identities conjectured by van Diejen and Spiridonov. For BC_n, we also consider their "Type II" integral. Their proof of that integral, together with our transformation, gives rise to pairs of adjoint integral operators; a different proof gives rise to pairs of adjoint difference operators. These allow us to construct a family of biorthogonal abelian functions generalizing the Koornwinder polynomials, and satisfying the analogues of the Macdonald conjectures. Finally, we discuss some transformations of Type II-style integrals. In particular, we find that adding two parameters to the Type II integral gives an integral invariant under an appropriate action of the Weyl group E_7.

math.QA↗

arXiv2005

Recurrences for elliptic hypergeometric integrals

In recent work (math.QA/0309252) on multivariate hypergeometric integrals, the author generalized a conjectural integral formula of van Diejen and Spiridonov to a ten parameter integral provably invariant under an action of the Weyl group E_7. In the present note, we consider the action of the affine Weyl group, or more precisely, the recurrences satisfied by special cases of the integral. These are of two flavors: linear recurrences that hold only up to dimension 6, and three families of bilinear recurrences that hold in arbitrary dimension, subject to a condition on the parameters. As a corollary, we find that a codimension one special case of the integral is a tau function for the elliptic Painlevé equation.

math.CA↗

arXiv2005

Eynard-Mehta theorem, Schur process, and their pfaffian analogs

We give simple linear algebraic proofs of Eynard-Mehta theorem, Okounkov-Reshetikhin formula for the correlation kernel of the Schur process, and Pfaffian analogs of these results. We also discuss certain general properties of the spaces of all determinantal and Pfaffian processes on a given finite set.

math-ph↗

arXiv2004

A difference-integral representation of Koornwinder polynomials

We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi.

math.CA↗

arXiv2004

A logarithmic-depth quantum carry-lookahead adder

We present an efficient addition circuit, borrowing techniques from the classical carry-lookahead arithmetic circuit. Our quantum carry-lookahead (QCLA) adder accepts two n-bit numbers and adds them in O(log n) depth using O(n) ancillary qubits. We present both in-place and out-of-place versions, as well as versions that add modulo 2^n and modulo 2^n - 1. Previously, the linear-depth ripple-carry addition circuit has been the method of choice. Our work reduces the cost of addition dramatically with only a slight increase in the number of required qubits. The QCLA adder can be used within current modular multiplication circuits to reduce substantially the run-time of Shor's algorithm.

quant-ph↗

arXiv2004

BC_n-symmetric polynomials

We consider two important families of BC_n-symmetric polynomials, namely Okounkov's interpolation polynomials and Koornwinder's orthogonal polynomials. We give a family of difference equations satisfied by the former, as well as generalizations of the branching rule and Pieri identity, leading to a number of multivariate q-analogues of classical hypergeometric transformations. For the latter, we give new proofs of Macdonald's conjectures, as well as new identities, including an inverse binomial formula and several branching rule and connection coefficient identities. We also derive families of ordinary symmetric functions that reduce to the interpolation and Koornwinder polynomials upon appropriate specialization. As an application, we consider a number of new integral conjectures associated to classical symmetric spaces.

math.QA↗

arXiv2003

On the involutions fixing the class of a lattice

With any integral lattice Λin n-dimensional euclidean space we associate an elementary abelian 2-group I(λ) whose elements represent parts of the dual lattice that are similar to Λ. There are corresponding involutions on modular forms for which the theta series of Λis an eigenform; previous work has focused on this connection. In the present paper I(Λ) is considered as a quotient of some finite 2-subgroup of O_n(\R). We establish upper bounds, depending only on n, for the order of I(Λ), and we study the occurrence of similarities of specific types.

math.NT↗

arXiv2002

Correlations for superpositions and decimations of Laguerre and Jacobi orthogonal matrix ensembles with a parameter

A superposition of a matrix ensemble refers to the ensemble constructed from two independent copies of the original, while a decimation refers to the formation of a new ensemble by observing only every second eigenvalue. In the cases of the classical matrix ensembles with orthogonal symmetry, it is known that forming superpositions and decimations gives rise to classical matrix ensembles with unitary and symplectic symmetry. The basic identities expressing these facts can be extended to include a parameter, which in turn provides us with probability density functions which we take as the definition of special parameter dependent matrix ensembles. The parameter dependent ensembles relating to superpositions interpolate between superimposed orthogonal ensembles and a unitary ensemble, while the parameter dependent ensembles relating to decimations interpolate between an orthogonal ensemble with an even number of eigenvalues and a symplectic ensemble of half the number of eigenvalues. By the construction of new families of biorthogonal and skew orthogonal polynomials, we are able to compute the corresponding correlation functions, both in the finite system and in various scaled limits. Specializing back to the cases of orthogonal and symplectic symmetry, we find that our results imply different functional forms to those known previously.

math-ph↗

arXiv2002

Interpretations of some parameter dependent generalizations of classical matrix ensembles

Two types of parameter dependent generalizations of classical matrix ensembles are defined by their probability density functions (PDFs). As the parameter is varied, one interpolates between the eigenvalue PDF for the superposition of two classical ensembles with orthogonal symmetry and the eigenvalue PDF for a single classical ensemble with unitary symmetry, while the other interpolates between a classical ensemble with orthogonal symmetry and a classical ensemble with symplectic symmetry. We give interpretations of these PDFs in terms of probabilities associated to the continuous Robinson-Schensted-Knuth correspondence between matrices, with entries chosen from certain exponential distributions, and non-intersecting lattice paths, and in the course of this probability measures on partitions and pairs of partitions are identified. The latter are generalized by using Macdonald polynomial theory, and a particular continuum limit -- the Jacobi limit -- of the resulting measures is shown to give PDFs related to those appearing in the work of Anderson on the Selberg integral. By interpreting Anderson's work as giving the PDF for the zeros of a certain rational function, it is then possible to identify random matrices whose eigenvalue PDFs realize the original parameter dependent PDFs. This line of theory allows sampling of the original parameter dependent PDFs, their Anderson-type generalizations and associated marginal distributions, from the zeros of certain polynomials defined in terms of random three term recurrences.

math-ph↗

arXiv2001

New asymptotic bounds for self-dual codes and lattices

We give an independent proof of the Krasikov-Litsyn bound d/n<~(1-5^{-1/4})/2 on doubly-even self-dual binary codes. The technique used (a refinement of the Mallows-Odlyzko-Sloane approach) extends easily to other families of self-dual codes, modular lattices, and quantum codes; in particular, we show that the Krasikov-Litsyn bound applies to singly-even binary codes, and obtain an analogous bound for unimodular lattices. We also show that in each case, our bound differs from the true optimum by an amount growing faster than O(n^{1/2}).

math.CO↗