Showing 1–13 of 13 results for author: Orrick, W P

The saga of the Ising susceptibility

Authors: B. M. McCoy, M. Assis, S. Boukraa, S. Hassani, J-M Maillard, W. P. Orrick, N. Zenine

Abstract: We review developments made since 1959 in the search for a closed form for the susceptibility of the Ising model. The expressions for the form factors in terms of the nome $q$ and the modulus $k$ are compared and contrasted. The $λ$ generalized correlations $C(M,N;λ)$ are defined and explicitly computed in terms of theta functions for $M=N=0,1$. We review developments made since 1959 in the search for a closed form for the susceptibility of the Ising model. The expressions for the form factors in terms of the nome $q$ and the modulus $k$ are compared and contrasted. The $λ$ generalized correlations $C(M,N;λ)$ are defined and explicitly computed in terms of theta functions for $M=N=0,1$. △ Less

Submitted 11 March, 2010; v1 submitted 3 March, 2010; originally announced March 2010.

Comments: 19 pages, 1 figure

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Holonomy of the Ising model form factors

Authors: S. Boukraa, S. Hassani, J. -M. Maillard, B. M. McCoy, W. P. Orrick, N. Zenine

Abstract: We study the Ising model two-point diagonal correlation function $ C(N,N)$ by presenting an exponential and form factor expansion in an integral representation which differs from the known expansion of Wu, McCoy, Tracy and Barouch. We extend this expansion, weighting, by powers of a variable $λ$, the $j$-particle contributions, $ f^{(j)}_{N,N}$. The corresponding $ λ$ extension of the two-point… ▽ More We study the Ising model two-point diagonal correlation function $ C(N,N)$ by presenting an exponential and form factor expansion in an integral representation which differs from the known expansion of Wu, McCoy, Tracy and Barouch. We extend this expansion, weighting, by powers of a variable $λ$, the $j$-particle contributions, $ f^{(j)}_{N,N}$. The corresponding $ λ$ extension of the two-point diagonal correlation function, $ C(N,N; λ)$, is shown, for arbitrary $λ$, to be a solution of the sigma form of the Painlev{é} VI equation introduced by Jimbo and Miwa. Linear differential equations for the form factors $ f^{(j)}_{N,N}$ are obtained and shown to have both a ``Russian doll'' nesting, and a decomposition of the differential operators as a direct sum of operators equivalent to symmetric powers of the differential operator of the elliptic integral $ E$. Each $ f^{(j)}_{N,N}$ is expressed polynomially in terms of the elliptic integrals $ E$ and $ K$. The scaling limit of these differential operators breaks the direct sum structure but not the ``Russian doll'' structure. The previous $ λ$-extensions, $ C(N,N; λ)$ are, for singled-out values $ λ= \cos(πm/n)$ ($m, n$ integers), also solutions of linear differential equations. These solutions of Painlevé VI are actually algebraic functions, being associated with modular curves. △ Less

Submitted 6 November, 2006; v1 submitted 26 September, 2006; originally announced September 2006.

Comments: 39 pages

MSC Class: 33E17; 33E05; 33Cxx; 33Dxx; 14Exx; 14Hxx; 34M55; 47E05; 34Lxx; 34Mxx; 14Kxx

Journal ref: J.Phys.A40:75-112,2007

On the enumeration of some D-optimal designs

Authors: William P. Orrick

Abstract: Two matrices with elements taken from the set {-1,1} are Hadamard equivalent if one can be converted into the other by a sequence of permutations of rows and columns, and negations of rows and columns. In this paper we summarize what is known about the number of equivalence classes of matrices having maximal determinant. We establish that there are 7 equivalence classes for matrices of order 21… ▽ More Two matrices with elements taken from the set {-1,1} are Hadamard equivalent if one can be converted into the other by a sequence of permutations of rows and columns, and negations of rows and columns. In this paper we summarize what is known about the number of equivalence classes of matrices having maximal determinant. We establish that there are 7 equivalence classes for matrices of order 21 and that there are at least 9,884 equivalence classes for matrices of order 26. The latter result is obtained primarily using a switching technique for producing new designs from old. △ Less

Submitted 11 August, 2006; v1 submitted 5 November, 2005; originally announced November 2005.

Comments: 11 pages; Introduction rewritten; final section split into two and expanded slightly

MSC Class: 05B20; 05B30; 62K05

Switching operations for Hadamard matrices

Authors: William P. Orrick

Abstract: We define several operations that switch substructures of Hadamard matrices thereby producing new, generally inequivalent, Hadamard matrices. These operations have application to the enumeration and classification of Hadamard matrices. To illustrate their power, we use them to greatly improve the lower bounds on the number of equivalence classes of Hadamard matrices in orders 32 and 36 to 3,578,… ▽ More We define several operations that switch substructures of Hadamard matrices thereby producing new, generally inequivalent, Hadamard matrices. These operations have application to the enumeration and classification of Hadamard matrices. To illustrate their power, we use them to greatly improve the lower bounds on the number of equivalence classes of Hadamard matrices in orders 32 and 36 to 3,578,006 and 18,292,717. △ Less

Submitted 30 September, 2007; v1 submitted 25 July, 2005; originally announced July 2005.

Comments: 23 pages. v4: revised in response to referee comments; added section on coding theory classification; updated numerical results

MSC Class: 05B20 (Primary); 11C20; 15A36 (Secondary)

The maximal {-1,1}-determinant of order 15

Authors: William P. Orrick

Abstract: We study the question of finding the maximal determinant of matrices of odd order with entries {-1,1}. The most general upper bound on the maximal determinant, due to Barba, can only be achieved when the order is the sum of two consecutive squares. It is conjectured that the bound is always attained in such cases. Apart from these, only in orders 3, 7, 9, 11, 17 and 21 has the maximal value been… ▽ More We study the question of finding the maximal determinant of matrices of odd order with entries {-1,1}. The most general upper bound on the maximal determinant, due to Barba, can only be achieved when the order is the sum of two consecutive squares. It is conjectured that the bound is always attained in such cases. Apart from these, only in orders 3, 7, 9, 11, 17 and 21 has the maximal value been established. In this paper we confirm the results for these orders, and add order 15 to the list. We follow previous authors in exhaustively searching for candidate Gram matrices having determinant greater than or equal to the square of a known lower bound on the maximum. We then attempt to decompose each candidate as the product of a {-1,1}-matrix and its transpose. For order 15 we find four candidates, all of Ehlich block form, two having determinant (105*3^5*2^14)^2 and the others determinant (108*3^5*2^14)^2. One of the former decomposes (in an essentially unique way) while the remaining three do not. This result proves a conjecture made independently by W. D. Smith and J. H. E. Cohn. We also use our method to compute improved upper bounds on the maximal determinant in orders 29, 33, and 37, and to establish the range of the determinant function of {-1,1}-matrices in orders 9 and 11. △ Less

Submitted 15 January, 2004; originally announced January 2004.

Comments: 30 pages

MSC Class: 05B30; 05B20; 62K05

Large-determinant sign matrices of order 4k+1

Authors: William P. Orrick, Bruce Solomon

Abstract: The Hadamard maximal determinant problem asks for the largest n-by-n determinant with entries in {+1,-1}. When n is congruent to 1 (mod 4), the maximal excess construction of Farmakis & Kounias has been the most successful general method for constructing large (though seldom maximal) determinants. For certain small n, however, still larger determinants have been known; several new records were r… ▽ More The Hadamard maximal determinant problem asks for the largest n-by-n determinant with entries in {+1,-1}. When n is congruent to 1 (mod 4), the maximal excess construction of Farmakis & Kounias has been the most successful general method for constructing large (though seldom maximal) determinants. For certain small n, however, still larger determinants have been known; several new records were recently reported in ArXiv preprint math.CO/0304410 . Here, we define ``3-normalized'' n-by-n Hadamard matrices, and construct large-determinant matrices of order n+1 from them. Our constructions account for most of the previous ``small n'' records, and set new records when n=37, 49, 65, 73, 77, 85, 93, and 97, most of which are beyond the reach of the maximal excess technique. We conjecture that our n=37 determinant, 72 x 9^{17} x 2^{36}, achieves the global maximum. △ Less

Submitted 17 November, 2003; originally announced November 2003.

Comments: 24 pages

MSC Class: 05B30; 05B20 (Primary); 05B05 (Secondary)

New lower bounds for the maximal determinant problem

Authors: William P. Orrick, Bruce Solomon, Roland Dowdeswell, Warren D. Smith

Abstract: We report new world records for the maximal determinant of an n-by-n matrix with entries +/-1. Using various techniques, we beat existing records for n=22, 23, 27, 29, 31, 33, 34, 35, 39, 45, 47, 53, 63, 69, 73, 77, 79, 93, and 95, and we present the record-breaking matrices here. We conjecture that our n=22 value attains the globally maximizing determinant in its dimension. We also tabulate new… ▽ More We report new world records for the maximal determinant of an n-by-n matrix with entries +/-1. Using various techniques, we beat existing records for n=22, 23, 27, 29, 31, 33, 34, 35, 39, 45, 47, 53, 63, 69, 73, 77, 79, 93, and 95, and we present the record-breaking matrices here. We conjecture that our n=22 value attains the globally maximizing determinant in its dimension. We also tabulate new records for n=67, 75, 83, 87, 91 and 99, dimensions for which no previous claims have been made. The relevant matrices in all these dimensions, along with other pertinent information, are posted at http://www.indiana.edu/~maxdet \. △ Less

Submitted 25 April, 2003; originally announced April 2003.

Comments: 20 pages; 15 are "figure-like" displays of matrices

MSC Class: 05B30; 05B20

The susceptibility of the square lattice Ising model: New developments

Authors: W. P. Orrick, B. Nickel, A. J. Guttmann, J. H. H. Perk

Abstract: We have made substantial advances in elucidating the properties of the susceptibility of the square lattice Ising model. We discuss its analyticity properties, certain closed form expressions for subsets of the coefficients, and give an algorithm of complexity O(N^6) to determine its first N coefficients. As a result, we have generated and analyzed series with more than 300 terms in both the hig… ▽ More We have made substantial advances in elucidating the properties of the susceptibility of the square lattice Ising model. We discuss its analyticity properties, certain closed form expressions for subsets of the coefficients, and give an algorithm of complexity O(N^6) to determine its first N coefficients. As a result, we have generated and analyzed series with more than 300 terms in both the high- and low-temperature regime. We quantify the effect of irrelevant variables to the scaling-amplitude functions. In particular, we find and quantify the breakdown of simple scaling, in the absence of irrelevant scaling fields, arising first at order |T-T_c|^{9/4}, though high-low temperature symmetry is still preserved. At terms of order |T-T_c|^{17/4} and beyond, this symmetry is no longer present. The short-distance terms are shown to have the form (T-T_c)^p(log|T-T_c|)^q with p \ge q^2. Conjectured exact expressions for some correlation functions and series coefficients in terms of elliptic theta functions also foreshadow future developments. △ Less

Submitted 2 March, 2001; originally announced March 2001.

Comments: 49 pages, Contribution to conference proceedings: The Baxter revolution in mathematical physics, Canberra, Australia, 13-19 Feb, 2000

Journal ref: J. Statist. Phys. 102 (2001) 795-841.

Critical behaviour of the two-dimensional Ising susceptibility

Authors: W. P. Orrick, B. G. Nickel, A. J. Guttmann, J. H. H. Perk

Abstract: We report computations of the short-distance and the long-distance (scaling) contributions to the square-lattice Ising susceptibility in zero field close to T_c. Both computations rely on the use of nonlinear partial difference equations for the correlation functions. By summing the correlation functions, we give an algorithm of complexity O(N^6) for the determination of the first N series coeff… ▽ More We report computations of the short-distance and the long-distance (scaling) contributions to the square-lattice Ising susceptibility in zero field close to T_c. Both computations rely on the use of nonlinear partial difference equations for the correlation functions. By summing the correlation functions, we give an algorithm of complexity O(N^6) for the determination of the first N series coefficients. Consequently, we have generated and analysed series of length several hundred terms, generated in about 100 hours on an obsolete workstation. In terms of a temperature variable, τ, linear in T/T_c-1, the short-distance terms are shown to have the form τ^p(ln|τ|)^q with p>=q^2. To O(τ^14) the long-distance part divided by the leading τ^{-7/4} singularity contains only integer powers of τ. The presence of irrelevant variables in the scaling function is clearly evident, with contributions of distinct character at leading orders |τ|^{9/4} and |τ|^{17/4} being identified. △ Less

Submitted 5 September, 2000; originally announced September 2000.

Comments: 11 pages, REVTex 4

Journal ref: Phys. Rev. Lett. 86 (2001) 4120-4123.

Inversion relations, reciprocity and polyominoes

Authors: M. Bousquet-Melou, A. J. Guttmann, W. P. Orrick, A. Rechnitzer

Abstract: We derive self-reciprocity properties for a number of polyomino generating functions, including several families of column-convex polygons, three-choice polygons and staircase polygons with a staircase hole. In so doing, we establish a connection between the reciprocity results known to combinatorialists and the inversion relations used by physicists to solve models in statistical mechanics. For… ▽ More We derive self-reciprocity properties for a number of polyomino generating functions, including several families of column-convex polygons, three-choice polygons and staircase polygons with a staircase hole. In so doing, we establish a connection between the reciprocity results known to combinatorialists and the inversion relations used by physicists to solve models in statistical mechanics. For several classes of convex polygons, the inversion (reciprocity) relation, augmented by certain symmetry and analyticity properties, completely determines the anisotropic perimeter generating function. △ Less

Submitted 23 August, 1999; originally announced August 1999.

Comments: 32 pages, 7 figures

MSC Class: 05A15 (Primary) 05B50; 82B20; 82B23 (Secondary)

Single Particle Excitations in the Lattice E_8 Ising Model

Authors: Barry M. McCoy, William P. Orrick

Abstract: We present analytic expressions for the single particle excitation energies of the 8 quasi-particles in the lattice $E_8$ Ising model and demonstrate that all excitations have an extended Brillouin zone which, depending on the excitation, ranges from 0<P < 4πto 0< P< 12 π. These are compared with exact diagonalizations for systems through size 10 and with the E_8 fermionic representations of the… ▽ More We present analytic expressions for the single particle excitation energies of the 8 quasi-particles in the lattice $E_8$ Ising model and demonstrate that all excitations have an extended Brillouin zone which, depending on the excitation, ranges from 0<P < 4πto 0< P< 12 π. These are compared with exact diagonalizations for systems through size 10 and with the E_8 fermionic representations of the characters of the critical system in order to study the counting statistics. △ Less

Submitted 15 April, 1997; v1 submitted 11 November, 1996; originally announced November 1996.

Comments: 15 pages, 7 figures, TeX, harvmac, corrected numerical error in figures 6 and 7

Report number: ITPSB 96-63

Journal ref: Phys.Lett. A230 (1997) 24-32

Analyticity and Integrabiity in the Chiral Potts Model

Authors: Barry M. McCoy, William P. Orrick

Abstract: We study the perturbation theory for the general non-integrable chiral Potts model depending on two chiral angles and a strength parameter and show how the analyticity of the ground state energy and correlation functions dramatically increases when the angles and the strength parameter satisfy the integrability condition. We further specialize to the superintegrable case and verify that a sum ru… ▽ More We study the perturbation theory for the general non-integrable chiral Potts model depending on two chiral angles and a strength parameter and show how the analyticity of the ground state energy and correlation functions dramatically increases when the angles and the strength parameter satisfy the integrability condition. We further specialize to the superintegrable case and verify that a sum rule is obeyed. △ Less

Submitted 8 September, 1995; v1 submitted 1 September, 1995; originally announced September 1995.

Comments: 31 pages in harvmac including 9 tables, several misprints eliminated

Report number: ITPSB 95-14

Journal ref: J.Statist.Phys. 83 (1996) 839

Polynomial Identities, Indices, and Duality for the N=1 Superconformal Model SM(2,4ν)

Authors: Alexander Berkovich, Barry M. McCoy, William P. Orrick

Abstract: We prove polynomial identities for the N=1 superconformal model SM(2,4ν) which generalize and extend the known Fermi/Bose character identities. Our proof uses the q-trinomial coefficients of Andrews and Baxter on the bosonic side and a recently introduced very general method of producing recursion relations for q-series on the fermionic side. We use these polynomials to demonstrate a dual relati… ▽ More We prove polynomial identities for the N=1 superconformal model SM(2,4ν) which generalize and extend the known Fermi/Bose character identities. Our proof uses the q-trinomial coefficients of Andrews and Baxter on the bosonic side and a recently introduced very general method of producing recursion relations for q-series on the fermionic side. We use these polynomials to demonstrate a dual relation under q \rightarrow q^{-1} between SM(2,4ν) and M(2ν-1,4ν). We also introduce a generalization of the Witten index which is expressible in terms of the Rogers false theta functions. △ Less

Submitted 30 July, 1995; v1 submitted 12 July, 1995; originally announced July 1995.

Comments: 41 pages, harvmac, no figures; new identities, proofs and comments added; misprints eliminated

Report number: BONN-TH-95-12, ITPSB 95-18