-
Approach to Hyperuniformity in the One-Dimensional Facilitated Exclusion Process
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
For the one-dimensional Facilitated Exclusion Process with initial state a product measure of density $ρ=1/2-δ$, $δ\ge0$, there exists an infinite-time limiting state $ν_ρ$ in which all particles are isolated and hence cannot move. We study the variance $V(L)$, under $ν_ρ$, of the number of particles in an interval of $L$ sites. Under $ν_{1/2}$ either all odd or all even sites are occupied, so tha…
▽ More
For the one-dimensional Facilitated Exclusion Process with initial state a product measure of density $ρ=1/2-δ$, $δ\ge0$, there exists an infinite-time limiting state $ν_ρ$ in which all particles are isolated and hence cannot move. We study the variance $V(L)$, under $ν_ρ$, of the number of particles in an interval of $L$ sites. Under $ν_{1/2}$ either all odd or all even sites are occupied, so that $V(L)=0$ for $L$ even and $V(L)=1/4$ for $L$ odd: the state is hyperuniform, since $V(L)$ grows more slowly than $L$. We prove that for densities approaching 1/2 from below there exist three regimes in $L$, in which the variance grows at different rates: for $L\ggδ^{-2}$, $V(L)\simeqρ(1-ρ)L$, just as in the initial state; for $A(δ)\ll L\llδ^{-2}$, with $A(δ)=δ^{-2/3}$ for $L$ odd and $A(δ)=1$ for $L$ even, $V(L)\simeq CL^{3/2}$ with $C=2\sqrt{2/π}/3$; and for $L\llδ^{-2/3}$ with $L$ odd, $V(L)\simeq1/4$. The analysis is based on a careful study of a renewal process with a long tail. Our study is motivated by simulation results showing similar behavior in higher dimensions; we discuss this background briefly.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Stationary States of the One-Dimensional Discrete-Time Facilitated Symmetric Exclusion Process
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We describe the extremal translation invariant stationary (ETIS) states of the facilitated exclusion process on $\mathbb{Z}$. In this model all particles on sites with one occupied and one empty neighbor jump at each integer time to the empty neighbor site, and if two particles attempt to jump into the same empty site we choose one randomly to succeed. The ETIS states are qualitatively different f…
▽ More
We describe the extremal translation invariant stationary (ETIS) states of the facilitated exclusion process on $\mathbb{Z}$. In this model all particles on sites with one occupied and one empty neighbor jump at each integer time to the empty neighbor site, and if two particles attempt to jump into the same empty site we choose one randomly to succeed. The ETIS states are qualitatively different for densities $ρ<1/2$, $ρ=1/2$, and $1/2<ρ<1$, but in each density region we find states which may be grouped into families, each of which is in natural correspondence with the set of all ergodic measures on $\{0,1\}^{\mathbb{Z}}$. For $ρ<1/2$ there is one such family, containing all the ergodic states in which the probability of two adjacent occupied sites is zero. For $ρ=1/2$ there are two families, in which configurations translate to the left and right, respectively, with constant speed 2. For the high density case there is a continuum of families. We show that all ETIS states at densities $ρ\le1/2$ belong to these families, and conjecture that also at high density there are no other ETIS states. We also study the possible ETIS states which might occur if the conjecture fails.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Abelian von Neumann algebras, measure algebras and L^\infty-spaces
Authors:
David P. Blecher,
Stanislaw Goldstein,
Louis E. Labuschagne
Abstract:
We give a fresh account of the astonishing interplay between abelian von Neumann algebras, L^\infty-spaces and measure algebras, including an exposition of Maharam's theorem from the von Neumann algebra perspective.
We give a fresh account of the astonishing interplay between abelian von Neumann algebras, L^\infty-spaces and measure algebras, including an exposition of Maharam's theorem from the von Neumann algebra perspective.
△ Less
Submitted 23 December, 2021; v1 submitted 13 August, 2021;
originally announced August 2021.
-
Syzygies of $\mathbb{P}^{1}\times \mathbb{P}^{1}$: data and conjectures
Authors:
Juliette Bruce,
Daniel Corey,
Daniel Erman,
Steve Goldstein,
Robert P. Laudone,
Jay Yang
Abstract:
We provide a number of new conjectures and questions concerning the syzygies of $\mathbb{P}^1\times \mathbb{P}^1$. The conjectures are based on computing the graded Betti tables and related data for large number of different embeddings of $\mathbb{P}^1\times \mathbb{P}^1$. These computations utilize linear algebra over finite fields and high-performance computing.
We provide a number of new conjectures and questions concerning the syzygies of $\mathbb{P}^1\times \mathbb{P}^1$. The conjectures are based on computing the graded Betti tables and related data for large number of different embeddings of $\mathbb{P}^1\times \mathbb{P}^1$. These computations utilize linear algebra over finite fields and high-performance computing.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
Stationary States of the One-dimensional Facilitated Asymmetric Exclusion Process
Authors:
A. Ayyer,
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $ρ\le1/2$ are support…
▽ More
We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $ρ\le1/2$ are supported on trapped configurations in which no two adjacent sites are occupied; we prove that if in this case the initial state is i.i.d.~Bernoulli then the final state is independent of $p$. This independence also holds for the system on a finite ring. For $ρ>1/2$ there is only one TIS. It is the infinite volume limit of the probability distribution that gives uniform weight to all configurations in which no two holes are adjacent, and is isomorphic to the Gibbs measure for hard core particles with nearest neighbor exclusion.
△ Less
Submitted 30 December, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
A Database of Groups with Equivalent Character Tables
Authors:
William Cocke,
Steve Goldstein,
Michael Stemper
Abstract:
Two groups are said to have the same character table if a permutation of the rows and a permutation of the columns of one table produces the other table. The problem of determining when two groups have the same character table is computationally intriguing. We have constructed a database containing for all finite groups of order less than 2000 (excluding those of order 1024), a partitioning of gro…
▽ More
Two groups are said to have the same character table if a permutation of the rows and a permutation of the columns of one table produces the other table. The problem of determining when two groups have the same character table is computationally intriguing. We have constructed a database containing for all finite groups of order less than 2000 (excluding those of order 1024), a partitioning of groups into classes having the same character table. To handle the 408,641,062 groups of order 1536 and other orders with a large number of groups we utilized high-throughput computing together with a new algorithmic approach to the problem. Our approach involved using graph isomorphism software to construct canoncial graphs that correspond to the character table of a group and then hashing the graphs.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
The Schur-Veronese package in Macaulay2
Authors:
Juliette Bruce,
Daniel Erman,
Steve Goldstein,
Jay Yang
Abstract:
This note introduces the Macaulay2 package SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2. In addition to standard Betti tables, the package includes information about the Schur decompositions of the various spaces of syzygies. The package also includes a number of functions useful for manipulating and studying this data.
This note introduces the Macaulay2 package SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2. In addition to standard Betti tables, the package includes information about the Schur decompositions of the various spaces of syzygies. The package also includes a number of functions useful for manipulating and studying this data.
△ Less
Submitted 5 May, 2021; v1 submitted 29 May, 2019;
originally announced May 2019.
-
Conjectures and computations about Veronese syzygies
Authors:
Juliette Bruce,
Daniel Erman,
Steve Goldstein,
Jay Yang
Abstract:
We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by develo** a numerical linear algebra and distributed computation technique for computing and synthesizing new cases of Veronese embeddings for $\mathbb{P}^2$.
We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by develo** a numerical linear algebra and distributed computation technique for computing and synthesizing new cases of Veronese embeddings for $\mathbb{P}^2$.
△ Less
Submitted 9 November, 2017;
originally announced November 2017.
-
No-hole $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling for Square Grid
Authors:
Soumen Atta,
Priya Ranjan Sinha Mahapatra,
Stanisław Goldstein
Abstract:
Given a fixed $k$ $\in$ $\mathbb{Z}^+$ and $λ$ $\in$ $\mathbb{Z}^+$, the objective of a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of a graph $G$ is to assign non-negative integers (known as labels) from the set $\{0, \ldots, λ-1\}$ to the vertices of $G$ such that the adjacent vertices receive values which differ by at least $k$, vertices connected by a path of length two receive values which differ…
▽ More
Given a fixed $k$ $\in$ $\mathbb{Z}^+$ and $λ$ $\in$ $\mathbb{Z}^+$, the objective of a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of a graph $G$ is to assign non-negative integers (known as labels) from the set $\{0, \ldots, λ-1\}$ to the vertices of $G$ such that the adjacent vertices receive values which differ by at least $k$, vertices connected by a path of length two receive values which differ by at least $k-1$, and so on. The vertices which are at least $k+1$ distance apart can receive the same label. The smallest $λ$ for which there exists a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of $G$ is known as the $L(k, k-1, \ldots, 2, 1)$-labeling number of $G$ and is denoted by $λ_k(G)$. The ratio between the upper bound and the lower bound of a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling is known as the approximation ratio. In this paper a lower bound on the value of the labeling number for square grid is computed and a formula is proposed which yields a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of square grid, with approximation ratio at most $\frac{9}{8}$. The labeling presented is a no-hole one, i.e., it uses each label from $0$ to $λ-1$ at least once.
△ Less
Submitted 22 December, 2016; v1 submitted 21 September, 2016;
originally announced September 2016.
-
Translation invariant extensions of finite volume measures
Authors:
S. Goldstein,
T. Kuna,
J. L. Lebowitz,
E. R. Speer
Abstract:
We investigate the following questions: Given a measure $μ_Λ$ on configurations on a subset $Λ$ of a lattice $\mathbb{L}$, where a configuration is an element of $Ω^Λ$ for some fixed set $Ω$, does there exist a measure $μ$ on configurations on all of $\mathbb{L}$, invariant under some specified symmetry group of $\mathbb{L}$, such that $μ_Λ$ is its marginal on configurations on $Λ$? When the answe…
▽ More
We investigate the following questions: Given a measure $μ_Λ$ on configurations on a subset $Λ$ of a lattice $\mathbb{L}$, where a configuration is an element of $Ω^Λ$ for some fixed set $Ω$, does there exist a measure $μ$ on configurations on all of $\mathbb{L}$, invariant under some specified symmetry group of $\mathbb{L}$, such that $μ_Λ$ is its marginal on configurations on $Λ$? When the answer is yes, what are the properties, e.g., the entropies, of such measures? Our primary focus is the case in which $\mathbb{L}=\mathbb{Z}^d$ and the symmetries are the translations. For the case in which $Λ$ is an interval in $\mathbb{Z}$ we give a simple necessary and sufficient condition, local translation invariance (LTI), for extendibility. For LTI measures we construct extensions having maximal entropy, which we show are Gibbs measures; this construction extends to the case in which $\mathbb{L}$ is the Bethe lattice. On $\mathbb{Z}$ we also consider extensions supported on periodic configurations, which are analyzed using de~Bruijn graphs and which include the extensions with minimal entropy. When $Λ\subset\mathbb{Z}$ is not an interval, or when $Λ\subset\mathbb{Z}^d$ with $d>1$, the LTI condition is necessary but not sufficient for extendibility. For $\mathbb{Z}^d$ with $d>1$, extendibility is in some sense undecidable.
△ Less
Submitted 15 June, 2016; v1 submitted 18 August, 2015;
originally announced August 2015.
-
Twisting non-commutative $L_p$ spaces
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Stanislaw Goldstein,
Jesús Suárez
Abstract:
The paper makes the first steps into the study of extensions ("twisted sums") of noncommutative $L^p$-spaces regarded as Banach modules over the underlying von Neumann algebra $\mathcal M$.
Our approach combines Kalton's description of extensions by centralizers (these are certain maps which are, in general, neither linear nor bounded) with a general principle, due to Rochberg and Weiss saying t…
▽ More
The paper makes the first steps into the study of extensions ("twisted sums") of noncommutative $L^p$-spaces regarded as Banach modules over the underlying von Neumann algebra $\mathcal M$.
Our approach combines Kalton's description of extensions by centralizers (these are certain maps which are, in general, neither linear nor bounded) with a general principle, due to Rochberg and Weiss saying that whenever one finds a given Banach space $Y$ as an intermediate space in a (complex) interpolation scale, one automatically gets a self-extension $ 0\longrightarrow Y\longrightarrow X\longrightarrow Y \longrightarrow 0. $
For semifinite algebras, considering $L^p=L^p(\mathcal M,τ)$ as an interpolation space between $\mathcal M$ and its predual $\mathcal M_*$ one arrives at a certain self-extension of $L^p$ that is a kind of noncommutative Kalton-Peck space and carries a natural bimodule structure. Some interesting properties of these spaces are presented.
For general algebras, including those of type III, the interpolation mechanism produces two (rather than one) extensions of one sided modules, one of left-modules and the other of right-modules. Whether or not one can find (nontrivial) self-extensions of bimodules in all cases is left open.
△ Less
Submitted 1 February, 2016; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Any Orthonormal Basis in High Dimension is Uniformly Distributed over the Sphere
Authors:
Sheldon Goldstein,
Joel L. Lebowitz,
Roderich Tumulka,
Nino Zanghi
Abstract:
Let X be a real or complex Hilbert space of finite but large dimension d, let S(X) denote the unit sphere of X, and let u denote the normalized uniform measure on S(X). For a finite subset B of S(X), we may test whether it is approximately uniformly distributed over the sphere by choosing a partition A_1,...,A_m of S(X) and checking whether the fraction of points in B that lie in A_k is close to u…
▽ More
Let X be a real or complex Hilbert space of finite but large dimension d, let S(X) denote the unit sphere of X, and let u denote the normalized uniform measure on S(X). For a finite subset B of S(X), we may test whether it is approximately uniformly distributed over the sphere by choosing a partition A_1,...,A_m of S(X) and checking whether the fraction of points in B that lie in A_k is close to u(A_k) for each k=1,...,m. We show that if B is any orthonormal basis of X and m is not too large, then, if we randomize the test by applying a random rotation to the sets A_1,...,A_m, B will pass the random test with probability close to 1. This statement is related to, but not entailed by, the law of large numbers. An application of this fact in quantum statistical mechanics is briefly described.
△ Less
Submitted 10 February, 2015; v1 submitted 10 June, 2014;
originally announced June 2014.
-
On the spectral theory of Rickart Ordered *-algebras
Authors:
Dmitry Sh. Goldstein,
Alexander A. Katz,
Roman Sklyar
Abstract:
RO*-algebras are defined and studied. For RO*-algebra T, using properties of partial order, it is established that the set of bounded elements can be endowed with C*-norm. The structure of commutative subalgebras of T is considered and the Spectral Theorem for any self-adjoint element of T is proven.
RO*-algebras are defined and studied. For RO*-algebra T, using properties of partial order, it is established that the set of bounded elements can be endowed with C*-norm. The structure of commutative subalgebras of T is considered and the Spectral Theorem for any self-adjoint element of T is proven.
△ Less
Submitted 23 December, 2010;
originally announced December 2010.
-
Composition Operators on Haagerup $L^p$-spaces
Authors:
S. J. Goldstein,
L. E. Labuschagne
Abstract:
Building on the ideas in L E Labuschagne, Composition Operators on Non-commutative $L^p$-spaces, \textit{Expo. Math} \textbf{17}(1999), 429--468, we indicate how the concept of a composition operator may be extended to the context of Haagerup $L^p$-spaces.
Building on the ideas in L E Labuschagne, Composition Operators on Non-commutative $L^p$-spaces, \textit{Expo. Math} \textbf{17}(1999), 429--468, we indicate how the concept of a composition operator may be extended to the context of Haagerup $L^p$-spaces.
△ Less
Submitted 29 May, 2007; v1 submitted 27 March, 2006;
originally announced March 2006.
-
Bounded Fluctuations and Translation Symmetry Breaking in One-Dimensional Particle Systems
Authors:
M. Aizenman,
S. Goldstein,
J. L. Lebowitz
Abstract:
We present general results for one-dimensional systems of point charges (signed point measures) on the line with a translation invariant distribution $μ$ for which the variance of the total charge in an interval is uniformly bounded (instead of increasing with the interval length). When the charges are restricted to multiples of a common unit, and their average charge density does not vanish, th…
▽ More
We present general results for one-dimensional systems of point charges (signed point measures) on the line with a translation invariant distribution $μ$ for which the variance of the total charge in an interval is uniformly bounded (instead of increasing with the interval length). When the charges are restricted to multiples of a common unit, and their average charge density does not vanish, then the boundedness of the variance implies translation-symmetry breaking --- in the sense that there exists a function of the charge configuration that is nontrivially periodic under translations --- and hence that $μ$ is not ``mixing.'' Analogous results are formulated also for one dimensional lattice systems under some constraints on the values of the charges at the lattice sites and their averages. The general results apply to one-dimensional Coulomb systems, and to certain spin chains, putting on common grounds different instances of symmetry breaking encountered there.
△ Less
Submitted 3 November, 2000; v1 submitted 14 July, 2000;
originally announced July 2000.