Showing 1–21 of 21 results for author: Starr, S

About the Hardy-Ramanujan partition function asymptotics

Authors: Shannon Starr

Abstract: The Hardy-Ramanujan partition function asymptotics is a famous result in the asymptotics of combinatorial sequences. It was originally derived using complex analysis and number-theoretic ideas by Hardy and Ramanujan. It was later re-derived by Paul Erdős using real analytic methods. Later still, D.J.~Newman used just the usual Hayman saddle-point approach, ubiquitous in asymptotic analysis. Friste… ▽ More The Hardy-Ramanujan partition function asymptotics is a famous result in the asymptotics of combinatorial sequences. It was originally derived using complex analysis and number-theoretic ideas by Hardy and Ramanujan. It was later re-derived by Paul Erdős using real analytic methods. Later still, D.J.~Newman used just the usual Hayman saddle-point approach, ubiquitous in asymptotic analysis. Fristedt introduced a probabilistic approach, which was further extended by Dan Romik, for restricted partition functions. Our perspective is that the Laplace transform changes the essentially algebraic generating function into an exponential form. Using this, we carry out the exercise of deriving the leading order asymptotics, following the Fristedt-Romik approach. We also give additional examples of the Laplace transform method. △ Less

Submitted 15 August, 2024; originally announced August 2024.

Comments: 19 pages, 1 figure

MSC Class: 05A16; 30E15; 60F10; 44A10

Online minimum search for a Brownian bridge

Authors: Erik Wu, Shannon Starr

Abstract: In this short note we consider the computational problem of numerically finding the minimum and arg-min of a Brownian bridge. Using well-known results by Pitman, Tanaka, Vervaat and Williams we are able to show that the bisection method has both a small error and a small probability of failure. In this short note we consider the computational problem of numerically finding the minimum and arg-min of a Brownian bridge. Using well-known results by Pitman, Tanaka, Vervaat and Williams we are able to show that the bisection method has both a small error and a small probability of failure. △ Less

Submitted 28 July, 2024; originally announced July 2024.

Comments: 13 pages double-spaced

MSC Class: 60J65; 60G17; 65K10; 68Q87

About the Moments of the Generalized Ulam Problem

Authors: Samen Hossein, Shannon Starr

Abstract: Given $πぱい\in S_n$, let $Z_{n,k}(πぱい)=\sum_{1\leq i_1<\dots<i_k\leq n} \mathbf{1}(\{ πぱい_{i_1}<\dots<πぱい_{i_k}\}$ denote the number of increasing subsequences of length $k$. Consider the "generalized Ulam problem," studying the distribution of $Z_{n,k}$ for general $k$ and $n$. For the 2nd moment, Ross Pinsky initiated a combinatorial study by considering a pair of subsequences… ▽ More Given $πぱい\in S_n$, let $Z_{n,k}(πぱい)=\sum_{1\leq i_1<\dots<i_k\leq n} \mathbf{1}(\{ πぱい_{i_1}<\dots<πぱい_{i_k}\}$ denote the number of increasing subsequences of length $k$. Consider the "generalized Ulam problem," studying the distribution of $Z_{n,k}$ for general $k$ and $n$. For the 2nd moment, Ross Pinsky initiated a combinatorial study by considering a pair of subsequences $i^{(r)}_1<\dots<i^{(r)}_k$ for $r \in \{1,2\}$, and conditioning on the size of the intersection $j = |\{i_1^{(1)},\dots,i^{(1)}_k\} \cap \{i^{(2)}_1,\dots,i^{(2)}_k\}|$. We obtain the exact large deviation rate function for $\mathbf{E}[Z_{n,k} Z_{n,\ell}]$ in the asymptotic regime $k\sim κかっぱn^{1/2}$, $\ell \sim λらむだn^{1/2}$ as $n \to \infty$, for $κかっぱ,λらむだ\in (0,\infty)$. This uses multivariate generating function techniques, as found in the textbook of Pemantle and Wilson. The requisite generating function enumerates pairs of up-right paths in $d=2$, which both end at $(k,\ell)$ with a given number of intersections. We also evaluate the analogous generating function for pairs of $(+\boldsymbol{i},+\boldsymbol{j},+\boldsymbol{k})$ paths in $d=3$, which both end at $(k,\ell,m)$, which has some utility in calculating the 3rd moment. Finally, we consider a simpler problem involving partitions instead of permutations, where all moments are calculable and the replica symmetric ansatz can be stated if not proved. △ Less

Submitted 12 May, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: 36 pages, 1 figure, added an exactly solvable model related to partitions in place of permutations

MSC Class: 60F10; 05A15; 82D30

Online minimum search for Brownian motion and the Cauchy process: Multiple approaches

Authors: Shannon Starr, Erik Wu

Abstract: The distribution for the minimum of Brownian motion or the Cauchy process is well-known using the reflection principle. Here we consider the problem of finding the sample-by-sample minimum, which we call the online minimum search. We consider the possibility of the golden search method, but we show quantitatively that the bisection method is more efficient. In the bisection method there is a hiera… ▽ More The distribution for the minimum of Brownian motion or the Cauchy process is well-known using the reflection principle. Here we consider the problem of finding the sample-by-sample minimum, which we call the online minimum search. We consider the possibility of the golden search method, but we show quantitatively that the bisection method is more efficient. In the bisection method there is a hierarchical parameter, which tunes the depth to which each sub-search is conducted, somewhat similarly to how a depth-first search works to generate a topological ordering on nodes. Finally, we consider the possibility of using harmonic measure, which is a novel idea that has so far been unexplored. △ Less

Submitted 14 January, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 24 pages, 18 figures (added large beta asymptotics)

MSC Class: 37H05; 62M45

Generating Function for Pinsky's Combinatorial Second Moment Formula for the Generalized Ulam Problem

Authors: Samen Hossein, Shannon Starr

Abstract: Given a uniform random permutation $πぱい\in S_n$, let $Z_{n,k}$ be equal to the number of increasing subsequences of length $k$: so $Z_{n,k}=|\{(i_1,\dots,i_k) \in \mathbb{Z}^k\, :\, 1\leq i_1<\dots<i_k\leq n\, ,\ πぱい_{i_1}<\dots<πぱい_{i_k}\}|$. In an important paper, Ross Pinsky proved $\mathbf{E}\big[Z_{n,k}^2\big]$ is equal to $\sum_{i} A(k-i,i)B(n,2k-i)$, where for any nonnegative integers $N$ and… ▽ More Given a uniform random permutation $πぱい\in S_n$, let $Z_{n,k}$ be equal to the number of increasing subsequences of length $k$: so $Z_{n,k}=|\{(i_1,\dots,i_k) \in \mathbb{Z}^k\, :\, 1\leq i_1<\dots<i_k\leq n\, ,\ πぱい_{i_1}<\dots<πぱい_{i_k}\}|$. In an important paper, Ross Pinsky proved $\mathbf{E}\big[Z_{n,k}^2\big]$ is equal to $\sum_{i} A(k-i,i)B(n,2k-i)$, where for any nonnegative integers $N$ and $j$, we have $B(N,j) = \binom{N}{j}/j!$ and $A(N,j)$ is a particular nonnegative integer, which Pinsky characterized in two different ways. One characterization of $A(N,j)$ involves the occupation time of the $x$-axis prior to a first return to the origin. Using this, he proved a law of large numbers for the sequence $Z_{n,k_n}$ when $k_n=o(n^{2/5})$ as $n \to \infty$. In a follow-up paper, he also proved the sequence $Z_{n,k_n}$ fails to obey a law of large numbers when $1/k_n = o(1/n^{4/9})$ as $n \to \infty$. Here, we return to his combinatorial formula for the the second moment of $Z_{n,k}$, and we obtain a generating function for the $A(N,j)$ triangular array. We are motivated by the hope of applying spin glass techniques to the well-known Ulam's problem to see if this gives a new perspective. △ Less

Submitted 3 May, 2023; v1 submitted 31 December, 2022; originally announced January 2023.

Comments: 35 pages, 6 figures: added complete Elliptic integrals

MSC Class: 82B05; 82B10; 60B15

Two Examples of COM Bounds using Spectral Gaps: Length of the LIS in a Random Permutation and Lipschitz Functions of 1d Markov Chains

Authors: Michael Froehlich, Shannon Starr

Abstract: We consider two examples for a well-known method for obtaining concentration of measure (COM) bounds for a given observable in a given measure. The method is to consider an auxiliary Markov chain for which the invariant distribution is the measure of interest. Then one obtains COM bounds involving two quantities. The first is the spectral gap of the Markov transition matrix. The second is an appro… ▽ More We consider two examples for a well-known method for obtaining concentration of measure (COM) bounds for a given observable in a given measure. The method is to consider an auxiliary Markov chain for which the invariant distribution is the measure of interest. Then one obtains COM bounds involving two quantities. The first is the spectral gap of the Markov transition matrix. The second is an appropriate Lipschitz constant for the observable of interest with respect to 1 step of the Markov chain. We consider two examples of the basic method. The first is to obtain rough COM bounds for the length of the longest increasing subsequence (LIS) in a uniform random permutation. The bounds are similar to well-known bounds of Talagrand using his isoperimetric inequality. The second example is to consider a 1d Markov chain: $X_0,X_1,\dots,X_n$. We assume the invariant measure for the chain $μみゅー$ is reversible, and let the initial distribution of $X_0$ be $μみゅー$. Then the observable of interest is any function $f(X_0,X_1,\dots,X_n)$, which is Lipschitz with respect to replacement of single variables. One case of this is `target frequency analysis,' which is of interest in biostatistics. The auxiliary Markov chain is Glauber dynamics which is gapped in 1d. △ Less

Submitted 24 January, 2019; originally announced January 2019.

Comments: 11 pages

MSC Class: 82B05; 82B10; 60B15

Phase Uniqueness for the Mallows Measure on Permutations

Authors: Shannon Starr, Meg Walters

Abstract: For a positive number $q$ the Mallows measure on the symmetric group is the probability measure on $S_n$ such that $P_{n,q}(πぱい)$ is proportional to $q$-to-the-power-$\mathrm{inv}(πぱい)$ where $\mathrm{inv}(πぱい)$ equals the number of inversions: $\mathrm{inv}(πぱい)$ equals the number of pairs $i<j$ such that $πぱい_i>πぱい_j$. One may consider this as a mean-field model from statistical mechanics. The weak large de… ▽ More For a positive number $q$ the Mallows measure on the symmetric group is the probability measure on $S_n$ such that $P_{n,q}(πぱい)$ is proportional to $q$-to-the-power-$\mathrm{inv}(πぱい)$ where $\mathrm{inv}(πぱい)$ equals the number of inversions: $\mathrm{inv}(πぱい)$ equals the number of pairs $i<j$ such that $πぱい_i>πぱい_j$. One may consider this as a mean-field model from statistical mechanics. The weak large deviation principle may replace the Gibbs variational principle for characterizing equilibrium measures. In this sense, we prove absence of phase transition, i.e., phase uniqueness. △ Less

Submitted 24 May, 2018; v1 submitted 12 February, 2015; originally announced February 2015.

Comments: Implemented helpful corrections and improvements of two anonymous referees. 30 pages

MSC Class: 82B05; 82B10; 60B15

Emptiness Formation Probability

Authors: Nicholas Crawford, Stephen Ng, Shannon Starr

Abstract: We present rigorous upper and lower bounds on the emptiness formation probability for the ground state of a spin-$1/2$ Heisenberg XXZ quantum spin system. For a $d$-dimensional system we find a rate of decay of the order $\exp(-c L^{d+1})$ where $L$ is the sidelength of the box in which we ask for the emptiness formation event to occur. In the $d=1$ case this confirms previous predictions made in… ▽ More We present rigorous upper and lower bounds on the emptiness formation probability for the ground state of a spin-$1/2$ Heisenberg XXZ quantum spin system. For a $d$-dimensional system we find a rate of decay of the order $\exp(-c L^{d+1})$ where $L$ is the sidelength of the box in which we ask for the emptiness formation event to occur. In the $d=1$ case this confirms previous predictions made in the integrable systems community, though our bounds do not achieve the precision predicted by Bethe ansatz calculations. On the other hand, our bounds in the case $d \geq 2$ are new. The main tools we use are reflection positivity and a rigorous path integral expansion which is a variation on those previously introduced by Toth, Aizenman-Nachtergaele and Ueltschi. △ Less

Submitted 22 June, 2016; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: 38 pages, 12 figures. Final version incorporating referee's suggestions

MSC Class: 82B10

Universality of Correlations for Random Analytic Functions

Authors: Shannon Starr

Abstract: We review a result obtained with Andrew Ledoan and Marco Merkli. Consider a random analytic function $f(z) = \sum_{n=0}^{\infty} a_n X_n z^n$, where the $X_n$'s are i.i.d., complex valued random variables with mean zero and unit variance, and the coefficients $a_n$ are non-random and chosen so that the variance transforms covariantly under conformal transformations of the domain. If the $X_n$'s ar… ▽ More We review a result obtained with Andrew Ledoan and Marco Merkli. Consider a random analytic function $f(z) = \sum_{n=0}^{\infty} a_n X_n z^n$, where the $X_n$'s are i.i.d., complex valued random variables with mean zero and unit variance, and the coefficients $a_n$ are non-random and chosen so that the variance transforms covariantly under conformal transformations of the domain. If the $X_n$'s are Gaussian, this is called a Gaussian analytic function (GAF). We prove that, even if the coefficients are not Gaussian, the zero set converges in distribution to that of a GAF near the boundary of the domain. △ Less

Submitted 20 July, 2011; originally announced July 2011.

Comments: 10 pages, 3 figures. To appear in Contemporary Mathematics, proceedings of the Arizona School of Analysis with Applications, March 2010

MSC Class: 30B20; 60B12; 60G15

Journal ref: In R.Sims and D.Ueltschi (Eds.), Entropy and the Quantum II, Contemporary Mathematics, vol 552, AMS (2011) 135--144

Counterexamples to Ferromagnetic Ordering of Energy Levels

Authors: Wolfgang Spitzer, Shannon Starr, Lam Tran

Abstract: The Heisenberg ferromagnet has symmetry group ${\rm SU}(2)$. The property known as ferromagnetic ordering of energy levels (FOEL) states that the minimum energy eigenvalue among eigenvectors with total spin $s$ is monotone decreasing as a function of $s$. While this property holds for certain graphs such as open chains, in this note we demonstrate some counterexamples. We consider the spin 1/2 mod… ▽ More The Heisenberg ferromagnet has symmetry group ${\rm SU}(2)$. The property known as ferromagnetic ordering of energy levels (FOEL) states that the minimum energy eigenvalue among eigenvectors with total spin $s$ is monotone decreasing as a function of $s$. While this property holds for certain graphs such as open chains, in this note we demonstrate some counterexamples. We consider the spin 1/2 model on rings of length $2n$ for $n=2,3,...,8$, and show that the minimum energy among all spin singlets is less than or equal to the minimum energy among all spin triplets, which violates FOEL. This also shows some counterexamples to the "Aldous ordering" for the symmetric exclusion process. We also review some of the literature related to these examples. △ Less

Submitted 6 January, 2012; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: We corrected an earlier misinterpretation we made of a famous result of Sutherland, which an anonymous referee corrected us on. 29 pages

MSC Class: 82B10; 81R05; 81R50

Journal ref: J. Math. Phys., 53, no.4, 043302 (2012)

Antiferromagnetic Potts model on the Erdos-Renyi random graph

Authors: Pierluigi Contucci, Sander Dommers, Cristian Giardina', Shannon Starr

Abstract: We study the antiferromagnetic Potts model on the Poissonian Erdös-Rényi random graph. By identifying a suitable interpolation structure and an extended variational principle, together with a positive temperature second-moment analysis we prove the existence of a phase transition at a positive critical temperature. Upper and lower bounds on the temperature critical value are obtained from the stab… ▽ More We study the antiferromagnetic Potts model on the Poissonian Erdös-Rényi random graph. By identifying a suitable interpolation structure and an extended variational principle, together with a positive temperature second-moment analysis we prove the existence of a phase transition at a positive critical temperature. Upper and lower bounds on the temperature critical value are obtained from the stability analysis of the replica symmetric solution (recovered in the framework of Derrida-Ruelle probability cascades)and from a positive entropy argument. △ Less

Submitted 10 June, 2012; v1 submitted 23 June, 2011; originally announced June 2011.

Comments: 36 pages, revisions to improve result

MSC Class: 60B10; 60G57; 82B20; 60K35

Journal ref: Commun. Math. Phys., 323, no.2, 517--554 (2013)

About Thinning Invariant Partition Structures

Authors: Shannon Starr, Brigitta Vermesi, Ang Wei

Abstract: Bernoulli-$p$ thinning has been well-studied for point processes. Here we consider three other cases: (1) sequences $(X_1,X_2,...)$; (2) gaps of such sequences $(X_{n+1}-X_1)_{n\in\mathbb{N}}$; (3) partition structures. For the first case we characterize the distributions which are simultaneously invariant under Bernoulli-$p$ thinning for all $p \in (0,1]$. Based on this, we make conjectures for t… ▽ More Bernoulli-$p$ thinning has been well-studied for point processes. Here we consider three other cases: (1) sequences $(X_1,X_2,...)$; (2) gaps of such sequences $(X_{n+1}-X_1)_{n\in\mathbb{N}}$; (3) partition structures. For the first case we characterize the distributions which are simultaneously invariant under Bernoulli-$p$ thinning for all $p \in (0,1]$. Based on this, we make conjectures for the latter two cases, and provide a potential approach for proof. We explain the relation to spin glasses, which is complementary to important previous work of Aizenman and Ruzmaikina, Arguin, and Shkolnikov. △ Less

Submitted 26 June, 2012; v1 submitted 1 June, 2011; originally announced June 2011.

Comments: 22 pages, revised to improve results

MSC Class: 60G55; 60K35

Journal ref: J. Statist. Phys., 148, no.2, 325--344 (2012)

Ferromagnetic Ordering of Energy Levels for $U_q(\mathfrak{sl}_2)$ Symmetric Spin Chains

Authors: Bruno Nachtergaele, Stephen Ng, Shannon Starr

Abstract: We consider the class of quantum spin chains with arbitrary $U_q(\mathfrak{sl}_2)$-invariant nearest neighbor interactions, sometimes called $\textrm{SU}_q(2)$ for the quantum deformation of $\textrm{SU}(2)$, for $q>0$. We derive sufficient conditions for the Hamiltonian to satisfy the property we call {\em Ferromagnetic Ordering of Energy Levels}. This is the property that the ground state energy… ▽ More We consider the class of quantum spin chains with arbitrary $U_q(\mathfrak{sl}_2)$-invariant nearest neighbor interactions, sometimes called $\textrm{SU}_q(2)$ for the quantum deformation of $\textrm{SU}(2)$, for $q>0$. We derive sufficient conditions for the Hamiltonian to satisfy the property we call {\em Ferromagnetic Ordering of Energy Levels}. This is the property that the ground state energy restricted to a fixed total spin subspace is a decreasing function of the total spin. Using the Perron-Frobenius theorem, we show sufficient conditions are positivity of all interactions in the dual canonical basis of Lusztig. We characterize the cone of positive interactions, showing that it is a simplicial cone consisting of all non-positive linear combinations of "cascade operators," a special new basis of $U_q(\mathfrak{sl}_2)$ intertwiners we define. We also state applications to interacting particle processes. △ Less

Submitted 26 May, 2011; originally announced May 2011.

Comments: 23 pages

Report number: Mittag-Leffler-2010fall MSC Class: 82B10; 82D40; 81R50; 60K35

Journal ref: Lett. Math. Phys. 100, 327--356 (2012)

The Length of the Longest Increasing Subsequence of a Random Mallows Permutation

Authors: Carl Mueller, Shannon Starr

Abstract: The Mallows measure on the symmetric group $S_n$ is the probability measure such that each permutation has probability proportional to $q$ raised to the power of the number of inversions, where $q$ is a positive parameter and the number of inversions of $πぱい$ is equal to the number of pairs $i<j$ such that $πぱい_i > πぱい_j$. We prove a weak law of large numbers for the length of the longest increasing sub… ▽ More The Mallows measure on the symmetric group $S_n$ is the probability measure such that each permutation has probability proportional to $q$ raised to the power of the number of inversions, where $q$ is a positive parameter and the number of inversions of $πぱい$ is equal to the number of pairs $i<j$ such that $πぱい_i > πぱい_j$. We prove a weak law of large numbers for the length of the longest increasing subsequence for Mallows distributed random permutations, in the limit that $n$ tends to infinity and $q$ tends to 1 in such a way that $n(1-q)$ has a limit in $\R$. △ Less

Submitted 26 April, 2011; v1 submitted 16 February, 2011; originally announced February 2011.

MSC Class: 60

Journal ref: J. Theoret. Probab., 26, no.2, 514--540 (2013)

A Universality Property of Gaussian Analytic Functions

Authors: Andrew Ledoan, Marco Merkli, Shannon Starr

Abstract: We consider random analytic functions defined on the unit disk of the complex plane as power series such that the coefficients are i.i.d., complex valued random variables, with mean zero and unit variance. For the case of complex Gaussian coefficients, Peres and Virág showed that the zero set forms a determinantal point process with the Bergman kernel. We show that for general choices of random co… ▽ More We consider random analytic functions defined on the unit disk of the complex plane as power series such that the coefficients are i.i.d., complex valued random variables, with mean zero and unit variance. For the case of complex Gaussian coefficients, Peres and Virág showed that the zero set forms a determinantal point process with the Bergman kernel. We show that for general choices of random coefficients, the zero set is asymptotically given by the same distribution near the boundary of the disk, which expresses a universality property. The proof is elementary and general. △ Less

Submitted 16 August, 2010; v1 submitted 9 March, 2010; originally announced March 2010.

Comments: 7 pages. In the new version we shortened the proof. The original arXiv submission is longer and more self-contained

MSC Class: 30B20; 60B12; 60G15

Journal ref: J. Theoret. Probab., 25, no.2, 496--504 (2012)

Asymptotics of the Spectral Gap for the Interchange Process on Large Hypercubes

Authors: Matt Conomos, Shannon Starr

Abstract: We consider the interchange process (IP) on the $d$-dimensional, discrete hypercube of side-length $n$. Specifically, we compare the spectral gap of the IP to the spectral gap of the random walk (RW) on the same graph. We prove that the two spectral gaps are asymptotically equivalent, in the limit $n \to \infty$. This result gives further supporting evidence for a conjecture of Aldous, that the sp… ▽ More We consider the interchange process (IP) on the $d$-dimensional, discrete hypercube of side-length $n$. Specifically, we compare the spectral gap of the IP to the spectral gap of the random walk (RW) on the same graph. We prove that the two spectral gaps are asymptotically equivalent, in the limit $n \to \infty$. This result gives further supporting evidence for a conjecture of Aldous, that the spectral gap of the IP equals the spectral gap of the RW on all finite graphs. Our proof is based on an argument invented by Handjani and Jungreis, who proved Aldous's conjecture for all trees. This also has implications for the spectral gap of the quantum Heisenberg ferromagnet. △ Less

Submitted 20 September, 2011; v1 submitted 10 February, 2008; originally announced February 2008.

Comments: 17 pages. Updated proofs of inequalities, correcting errors

MSC Class: 82C22; 60K35

Journal ref: J. Statist. Mech., 2011, P10018 (2011)

Variational Bounds for the Generalized Random Energy Model

Authors: Cristian Giardina', Shannon Starr

Abstract: We compute the pressure of the random energy model (REM) and generalized random energy model(GREM) by establishing variational upper and lower bounds. For the upper bound, we generalize Guerra's ``broken replica symmetry bounds",and identify the random probability cascade as the appropriate random overlap structure for the model. For the REM the lower bound is obtained, in the high temperature r… ▽ More We compute the pressure of the random energy model (REM) and generalized random energy model(GREM) by establishing variational upper and lower bounds. For the upper bound, we generalize Guerra's ``broken replica symmetry bounds",and identify the random probability cascade as the appropriate random overlap structure for the model. For the REM the lower bound is obtained, in the high temperature regime using Talagrand's concentration of measure inequality, and in the low temperature regime using convexity and the high temperature formula. The lower bound for the GREM follows from the lower bound for the REM by induction. While the argument for the lower bound is fairly standard, our proof of the upper bound is new. △ Less

Submitted 25 October, 2006; v1 submitted 31 January, 2006; originally announced January 2006.

Comments: 24 pages

Journal ref: J. Statist. Phys., 127, no.1, 1--20 (2007)

Quantum spin systems at positive temperature

Authors: Marek Biskup, Lincoln Chayes, Shannon Starr

Abstract: We develop a novel approach to phase transitions in quantum spin models based on a relation to their classical counterparts. Explicitly, we show that whenever chessboard estimates can be used to prove a phase transition in the classical model, the corresponding quantum model will have a similar phase transition, provided the inverse temperature $βべーた$ and the magnitude of the quantum spins $\CalS$… ▽ More We develop a novel approach to phase transitions in quantum spin models based on a relation to their classical counterparts. Explicitly, we show that whenever chessboard estimates can be used to prove a phase transition in the classical model, the corresponding quantum model will have a similar phase transition, provided the inverse temperature $βべーた$ and the magnitude of the quantum spins $\CalS$ satisfy $βべーた\ll\sqrt\CalS$. From the quantum system we require that it is reflection positive and that it has a meaningful classical limit; the core technical estimate may be described as an extension of the Berezin-Lieb inequalities down to the level of matrix elements. The general theory is applied to prove phase transitions in various quantum spin systems with $\CalS\gg1$. The most notable examples are the quantum orbital-compass model on $\Z^2$ and the quantum 120-degree model on $\Z^3$ which are shown to exhibit symmetry breaking at low-temperatures despite the infinite degeneracy of their (classical) ground state. △ Less

Submitted 4 July, 2006; v1 submitted 10 September, 2005; originally announced September 2005.

Comments: 47 pages, version to appear in CMP (style files included)

MSC Class: 82B10; 82B26; 81Q20

Journal ref: Commun. Math. Phys. 269 (2007), no. 3, 611-657

A Thinning Analogue of de Finetti's Theorem

Authors: Shannon Starr

Abstract: We consider a notion of uniform thinning for a finite sequence of random variables $(X_1,...,X_n)$ obtained by removing one random variable, uniformly at random. If a triangular array of random variables $(X_{n,k} : n \in \mathbb{N}_+, 1 \le k \le n)$ satisfies that the law of $(X_{n,1},...,X_{n,n})$ is obtained by uniformly thinning $(X_{n+1,1},...,X_{n+1,n+1})$, then we call the array thinning… ▽ More We consider a notion of uniform thinning for a finite sequence of random variables $(X_1,...,X_n)$ obtained by removing one random variable, uniformly at random. If a triangular array of random variables $(X_{n,k} : n \in \mathbb{N}_+, 1 \le k \le n)$ satisfies that the law of $(X_{n,1},...,X_{n,n})$ is obtained by uniformly thinning $(X_{n+1,1},...,X_{n+1,n+1})$, then we call the array thinning-invariant. We give a representation for the Choquet simplex of all thinning-invariant triangular arrays of random variables, when all random variables take values in a compact metric space (with Borel measurable distributions). We give two applications: to long-ranged, asymmetric classical spin chains, and long-ranged, asymmetric simple exclusion processes. △ Less

Submitted 18 June, 2004; originally announced June 2004.

Comments: 30 pages, 1 figure

MSC Class: 60G09; 82B20; 60J10

An Extended Variational Principle for the SK Spin-Glass Model

Authors: Michael Aizenman, Robert Sims, Shannon L. Starr

Abstract: The recent proof by F. Guerra that the Parisi ansatz provides a lower bound on the free energy of the SK spin-glass model could have been taken as offering some support to the validity of the purported solution. In this work we present a broader variational principle, in which the lower bound, as well as the actual value, are obtained through an optimization procedure for which ultrametic/hierar… ▽ More The recent proof by F. Guerra that the Parisi ansatz provides a lower bound on the free energy of the SK spin-glass model could have been taken as offering some support to the validity of the purported solution. In this work we present a broader variational principle, in which the lower bound, as well as the actual value, are obtained through an optimization procedure for which ultrametic/hierarchal structures form only a subset of the variational class. The validity of Parisi's ansatz for the SK model is still in question. The new variational principle may be of help in critical review of the issue. △ Less

Submitted 16 June, 2003; originally announced June 2003.

Comments: 4 pages, Revtex 4

Journal ref: Phys. Rev. B, v. 68, 214403 (2003).

A continuum approximation for the excitations of the (1,1,...,1) interface in the quantum Heisenberg model

Authors: Oscar Bolina, Pierluigi Contucci, Bruno Nachtergaele, Shannon Starr

Abstract: It is shown that, with an appropriate scaling, the energy of low-lying excitations of the (1,1,...,1) interface in the $d$-dimensional quantum Heisenberg model are given by the spectrum of the $d-1$-dimensional Laplacian on an suitable domain. It is shown that, with an appropriate scaling, the energy of low-lying excitations of the (1,1,...,1) interface in the $d$-dimensional quantum Heisenberg model are given by the spectrum of the $d-1$-dimensional Laplacian on an suitable domain. △ Less

Submitted 14 September, 1999; originally announced September 1999.

Comments: Latex, 12 pages

Report number: UC Davis Math 1999-30 MSC Class: 82B10;82B24;82D40

Journal ref: Electronic Journal of Differential Equations, Conf. 04, pp. 1-10 (2000)