On some percolation results of J. M. Hammersley

1979 ◽  
Vol 16 (3) ◽  
pp. 526-540 ◽  
Author(s):  
J. G. Oxley ◽  
D. J. A. Welsh
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Percolation Theory ◽  
Fkg Inequality ◽  
Percolation Probability ◽  
Finite Set ◽  
The Fkg Inequality ◽  
Arbitrary Graphs

We examine how much classical percolation theory on lattices can be extended to arbitrary graphs or even clutters of subsets of a finite set. In the process we get new short proofs of some theorems of J. M. Hammersley. The FKG inequality is used to get an upper bound for the percolation probability and we also derive a lower bound. In each case we characterise when these bounds are attained.

On some percolation results of J. M. Hammersley

1979 ◽  
Vol 16 (03) ◽  
pp. 526-540 ◽  
Author(s):  
J. G. Oxley ◽  
D. J. A. Welsh
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Percolation Theory ◽  
Fkg Inequality ◽  
Percolation Probability ◽  
Finite Set ◽  
The Fkg Inequality ◽  
Arbitrary Graphs

We examine how much classical percolation theory on lattices can be extended to arbitrary graphs or even clutters of subsets of a finite set. In the process we get new short proofs of some theorems of J. M. Hammersley. The FKG inequality is used to get an upper bound for the percolation probability and we also derive a lower bound. In each case we characterise when these bounds are attained.

An Expansion Property of Boolean Linear Maps

2016 ◽  
Vol 31 ◽  
pp. 381-407 ◽  
Author(s):  
Yaokun Wu ◽  
Zeying Xu ◽  
Yinfeng Zhu
Keyword(s):  
Dynamical System ◽  
Lower Bound ◽  
Upper Bound ◽  
Linear Dynamical Systems ◽  
Linear Map ◽  
Expansion Property ◽  
Linear Maps ◽  
Multilinear Maps ◽  
Finite Set ◽  
Upper Bound Estimate

Given a finite set $K$, a Boolean linear map on $K$ is a map $f$ from the set $2^K$ of all subsets of $K$ into itself with $f(\emptyset )=\emptyset$ such that $f(A\cup B)=f(A)\cup f(B)$ holds for all $A,B\in 2^K$. For fixed subsets $X, Y$ of $K$, to predict if $Y$ is reachable from $X$ in the dynamical system driven by $f$, one can assume the existence of nonnegative integers $h$ with $f^h(X)=Y$, find an upper bound $\alpha$ for the minimum of all such assumed integers $h$, and test if $Y$ really appears in $f^0(X), \ldots, f^\alpha(X)$. In order to get such an upper bound estimate, this paper establishes an expansion property for the Boolean linear map $f$. Namely, the authors find a lower bound on the size of $f^h(X)$ for any nonnegative integer $h$. Besides presenting several direct applications of the derived expansion property, this paper collects some related problems on Boolean linear dynamical systems, including problems on primitive multilinear maps and inhomogeneous topological Markov chains.

scholarly journals On Euclidean Designs and Potential Energy

10.37236/8 ◽  
2012 ◽  
Vol 19 (1) ◽  
Author(s):  
Tsuyoshi Miezaki ◽  
Makoto Tagami
Keyword(s):  
Linear Programming ◽  
Lower Bound ◽  
Euclidean Space ◽  
Potential Energy ◽  
Harmonic Analysis ◽  
Upper Bound ◽  
Type Inequality ◽  
Linear Programming Bound ◽  
Concentric Spheres ◽  
Finite Set

We study Euclidean designs from the viewpoint of the potential energy. For a finite set in Euclidean space, we formulate a linear programming bound for the potential energy by applying harmonic analysis on a sphere. We also introduce the concept of strong Euclidean designs from the viewpoint of the linear programming bound, and we give a Fisher type inequality for strong Euclidean designs. A finite set on Euclidean space is called a Euclidean $a$-code if any distinct two points in the set are separated at least by $a$. As a corollary of the linear programming bound, we give a method to determine an upper bound on the cardinalities of Euclidean $a$-codes on concentric spheres of given radii. Similarly we also give a method to determine a lower bound on the cardinalities of Euclidean $t$-designs as an analogue of the linear programming bound.

scholarly journals Multiple closed orbits for N-body-type problems

1998 ◽  
Vol 58 (1) ◽  
pp. 1-13 ◽  
Author(s):  
Shiqing Zhang
Keyword(s):  
Lower Bound ◽  
Periodic Solutions ◽  
Upper Bound ◽  
Critical Value ◽  
Body Type ◽  
Fixed Energy ◽  
Closed Orbits

Using the equivariant Ljusternik-Schnirelmann theory and the estimate of the upper bound of the critical value and lower bound for the collision solutions, we obtain some new results in the large concerning multiple geometrically distinct periodic solutions of fixed energy for a class of planar N-body type problems.

Limit Cycle Bifurcations for Piecewise Smooth Hamiltonian Systems with a Generalized Eye-Figure Loop

2016 ◽  
Vol 26 (12) ◽  
pp. 1650204 ◽  
Author(s):  
Jihua Yang ◽  
Liqin Zhao
Keyword(s):  
Lower Bound ◽  
Limit Cycle ◽  
Hamiltonian Systems ◽  
Limit Cycles ◽  
Upper Bound ◽  
Melnikov Function ◽  
Piecewise Smooth ◽  
First Order ◽  
Period Annulus

This paper deals with the limit cycle bifurcations for piecewise smooth Hamiltonian systems. By using the first order Melnikov function of piecewise near-Hamiltonian systems given in [Liu & Han, 2010], we give a lower bound and an upper bound of the number of limit cycles that bifurcate from the period annulus between the center and the generalized eye-figure loop up to the first order of Melnikov function.

Isolated minima of the product of n linear forms

1953 ◽  
Vol 49 (1) ◽  
pp. 59-62 ◽  
Author(s):  
E. S. Barnes
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Linear Forms ◽  
Image Position

Letbe n linear forms with real coefficients and determinant Δ = ∥ aij∥ ≠ 0; and denote by M(X) the lower bound of | X1X2 … Xn| over all integer sets (u) ≠ (0). It is well known that γn, the upper bound of M(X)/|Δ| over all sets of forms Xi, is finite, and the value of γn has been determined when n = 2 and n = 3.

scholarly journals The Algebraic Degree of Phase-Type Distributions

2010 ◽  
Vol 47 (03) ◽  
pp. 611-629
Author(s):  
Mark Fackrell ◽  
Qi-Ming He ◽  
Peter Taylor ◽  
Hanqin Zhang
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Polynomial Algorithm ◽  
Algebraic Degree ◽  
Nonnegative Matrices ◽  
Stieltjes Transform ◽  
Special Cases ◽  
Phase Type ◽  
Phase Type Distributions ◽  
The Matrix

This paper is concerned with properties of the algebraic degree of the Laplace-Stieltjes transform of phase-type (PH) distributions. The main problem of interest is: given a PH generator, how do we find the maximum and the minimum algebraic degrees of all irreducible PH representations with that PH generator? Based on the matrix exponential (ME) order of ME distributions and the spectral polynomial algorithm, a method for computing the algebraic degree of a PH distribution is developed. The maximum algebraic degree is identified explicitly. Using Perron-Frobenius theory of nonnegative matrices, a lower bound and an upper bound on the minimum algebraic degree are found, subject to some conditions. Explicit results are obtained for special cases.

scholarly journals Encoding Two-Dimensional Range Top-k Queries

Algorithmica ◽  
2021 ◽  
Author(s):  
Seungbum Jo ◽  
Rahul Lingala ◽  
Srinivasa Rao Satti
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Total Order ◽  
Two Dimensional ◽  
Information Theoretic ◽  
Cartesian Tree ◽  
Dimensional Range

AbstractWe consider the problem of encoding two-dimensional arrays, whose elements come from a total order, for answering $${\text{Top-}}{k}$$ Top- k queries. The aim is to obtain encodings that use space close to the information-theoretic lower bound, which can be constructed efficiently. For an $$m \times n$$ m × n array, with $$m \le n$$ m ≤ n , we first propose an encoding for answering 1-sided $${\textsf {Top}}{\text {-}}k{}$$ Top - k queries, whose query range is restricted to $$[1 \dots m][1 \dots a]$$ [ 1 ⋯ m ] [ 1 ⋯ a ] , for $$1 \le a \le n$$ 1 ≤ a ≤ n . Next, we propose an encoding for answering for the general (4-sided) $${\textsf {Top}}{\text {-}}k{}$$ Top - k queries that takes $$(m\lg {{(k+1)n \atopwithdelims ()n}}+2nm(m-1)+o(n))$$ ( m lg ( k + 1 ) n n + 2 n m ( m - 1 ) + o ( n ) ) bits, which generalizes the joint Cartesian tree of Golin et al. [TCS 2016]. Compared with trivial $$O(nm\lg {n})$$ O ( n m lg n ) -bit encoding, our encoding takes less space when $$m = o(\lg {n})$$ m = o ( lg n ) . In addition to the upper bound results for the encodings, we also give lower bounds on encodings for answering 1 and 4-sided $${\textsf {Top}}{\text {-}}k{}$$ Top - k queries, which show that our upper bound results are almost optimal.

On the Modal μ-Calculus Over Finite Symmetric Graphs

2015 ◽  
Vol 65 (4) ◽  
Author(s):  
Giovanna D’Agostino ◽  
Giacomo Lenzi
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Satisfiability Problem ◽  
Finite Model ◽  
Model Property ◽  
Finite Model Property ◽  
Symmetric Graphs ◽  
Trivial Consequence

AbstractIn this paper we consider the alternation hierarchy of the modal μ-calculus over finite symmetric graphs and show that in this class the hierarchy is infinite. The μ-calculus over the symmetric class does not enjoy the finite model property, hence this result is not a trivial consequence of the strictness of the hierarchy over symmetric graphs. We also find a lower bound and an upper bound for the satisfiability problem of the μ-calculus over finite symmetric graphs.

scholarly journals Polynomial Mixing of the Edge-Flip Markov Chain for Unbiased Dyadic Tilings

2018 ◽  
Vol 28 (3) ◽  
pp. 365-387
Author(s):  
S. CANNON ◽  
D. A. LEVIN ◽  
A. STAUFFER
Keyword(s):  
Markov Chain ◽  
Relaxation Time ◽  
Lower Bound ◽  
Upper Bound ◽  
Open Problem ◽  
Mixing Time ◽  
Perpendicular Bisector ◽  
Unit Square

We give the first polynomial upper bound on the mixing time of the edge-flip Markov chain for unbiased dyadic tilings, resolving an open problem originally posed by Janson, Randall and Spencer in 2002 [14]. A dyadic tiling of size n is a tiling of the unit square by n non-overlapping dyadic rectangles, each of area 1/n, where a dyadic rectangle is any rectangle that can be written in the form [a2−s, (a + 1)2−s] × [b2−t, (b + 1)2−t] for a, b, s, t ∈ ℤ⩾ 0. The edge-flip Markov chain selects a random edge of the tiling and replaces it with its perpendicular bisector if doing so yields a valid dyadic tiling. Specifically, we show that the relaxation time of the edge-flip Markov chain for dyadic tilings is at most O(n4.09), which implies that the mixing time is at most O(n5.09). We complement this by showing that the relaxation time is at least Ω(n1.38), improving upon the previously best lower bound of Ω(n log n) coming from the diameter of the chain.

Sign in / Sign up

Export Citation Format

Share Document