scholarly journals An Improved Upper Bound for Bootstrap Percolation in All Dimensions

2019 ◽  
Vol 28 (06) ◽  
pp. 936-960
Author(s):  
Andrew J. Uzzell
Keyword(s):  
Upper Bound ◽  
Bootstrap Percolation ◽  
Exact Constant ◽  
Critical Probability ◽  
Time Step ◽  
Natural Logarithm ◽  
Vertex Set ◽  
Image Position

AbstractIn r-neighbour bootstrap percolation on the vertex set of a graph G, a set A of initially infected vertices spreads by infecting, at each time step, all uninfected vertices with at least r previously infected neighbours. When the elements of A are chosen independently with some probability p, it is natural to study the critical probability pc(G, r) at which it becomes likely that all of V(G) will eventually become infected. Improving a result of Balogh, Bollobás and Morris, we give a bound on the second term in the expansion of the critical probability when G = [n]d and d ⩾ r ⩾ 2. We show that for all d ⩾ r ⩾ 2 there exists a constant cd,r > 0 such that if n is sufficiently large, then $$p_c (\left[ n \right]^d ,{\rm{ }}r){\rm{\le }}\left( {\frac{{\lambda (d,r)}}{{\log _{(r - 1)} (n)}} - \frac{{c_{d,r} }}{{(\log _{(r - 1)} (n))^{3/2} }}} \right)^{d - r + 1} ,$$where λ(d, r) is an exact constant and log(k) (n) denotes the k-times iterated natural logarithm of n.

scholarly journals Bootstrap Percolation in High Dimensions

2010 ◽  
Vol 19 (5-6) ◽  
pp. 643-692 ◽  
Author(s):  
JÓZSEF BALOGH ◽  
BÉLA BOLLOBÁS ◽  
ROBERT MORRIS
Keyword(s):  
Positive Root ◽  
Constant Factor ◽  
The Other ◽  
Bootstrap Percolation ◽  
Main Question ◽  
Critical Probability ◽  
High Dimensions ◽  
Critical Window ◽  
Fixed Constant ◽  
Image Position

In r-neighbour bootstrap percolation on a graph G, a set of initially infected vertices A ⊂ V(G) is chosen independently at random, with density p, and new vertices are subsequently infected if they have at least r infected neighbours. The set A is said to percolate if eventually all vertices are infected. Our aim is to understand this process on the grid, [n]d, for arbitrary functions n = n(t), d = d(t) and r = r(t), as t → ∞. The main question is to determine the critical probability pc([n]d, r) at which percolation becomes likely, and to give bounds on the size of the critical window. In this paper we study this problem when r = 2, for all functions n and d satisfying d ≫ log n.The bootstrap process has been extensively studied on [n]d when d is a fixed constant and 2 ⩽ r ⩽ d, and in these cases pc([n]d, r) has recently been determined up to a factor of 1 + o(1) as n → ∞. At the other end of the scale, Balogh and Bollobás determined pc([2]d, 2) up to a constant factor, and Balogh, Bollobás and Morris determined pc([n]d, d) asymptotically if d ≥ (log log n)2+ϵ, and gave much sharper bounds for the hypercube.Here we prove the following result. Let λ be the smallest positive root of the equation so λ ≈ 1.166. Then if d is sufficiently large, and moreover as d → ∞, for every function n = n(d) with d ≫ log n.

Improved Bounds for the Ramsey Number of Tight Cycles Versus Cliques

2016 ◽  
Vol 25 (5) ◽  
pp. 791-796
Author(s):  
DHRUV MUBAYI
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Strong Form ◽  
Ramsey Number ◽  
Uniform Hypergraph ◽  
Vertex Set ◽  
Image Position

The 3-uniform tight cycle Cs3 has vertex set ${\mathbb Z}_s$ and edge set {{i, i + 1, i + 2}: i ∈ ${\mathbb Z}_s$}. We prove that for every s ≢ 0 (mod 3) with s ⩾ 16 or s ∈ {8, 11, 14} there is a cs > 0 such that the 3-uniform hypergraph Ramsey number r(Cs3, Kn3) satisfies $$\begin{equation*} r(C_s^3, K_n^3)< 2^{c_s n \log n}.\ \end{equation*}$$ This answers in a strong form a question of the author and Rödl, who asked for an upper bound of the form $2^{n^{1+\epsilon_s}}$ for each fixed s ⩾ 4, where εs → 0 as s → ∞ and n is sufficiently large. The result is nearly tight as the lower bound is known to be exponential in n.

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 On connectedness of power graphs of finite groups

2018 ◽  
Vol 17 (10) ◽  
pp. 1850184 ◽  
Author(s):  
Ramesh Prasad Panda ◽  
K. V. Krishna
Keyword(s):  
Finite Groups ◽  
Upper Bound ◽  
The Other ◽  
Number Of Components ◽  
Cyclic Groups ◽  
Power Graph ◽  
Vertex Set ◽  
Proper Power

The power graph of a group [Formula: see text] is the graph whose vertex set is [Formula: see text] and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the components of proper power graphs of [Formula: see text]-groups are studied. In particular, the number of components of that of abelian [Formula: see text]-groups are determined.

Post completeness in modal logic

1972 ◽  
Vol 37 (4) ◽  
pp. 711-715 ◽  
Author(s):  
Krister Segerberg
Keyword(s):  
Modal Logic ◽  
Upper Bound ◽  
Modus Ponens ◽  
Proper Subset ◽  
Proper Extension ◽  
Image Position

Let ⊥, →, and □ be primitive, and let us have a countable supply of propositional letters. By a (modal) logic we understand a proper subset of the set of all formulas containing every tautology and being closed under modus ponens and substitution. A logic is regular if it contains every instance of □A ∧ □B ↔ □(A ∧ B) and is closed under the ruleA regular logic is normal if it contains □⊤. The smallest regular logic we denote by C (the same as Lemmon's C2), the smallest normal one by K. If L and L' are logics and L ⊆ L′, then L is a sublogic of L', and L' is an extension of L; properly so if L ≠ L'. A logic is quasi-regular (respectively, quasi-normal) if it is an extension of C (respectively, K).A logic is Post complete if it has no proper extension. The Post number, denoted by p(L), is the number of Post complete extensions of L. Thanks to Lindenbaum, we know thatThere is an obvious upper bound, too:Furthermore,.

scholarly journals Numerical Method of Fabric Dynamics Using Front Tracking and Spring Model

2013 ◽  
Vol 14 (5) ◽  
pp. 1228-1251 ◽  
Author(s):  
Yan Li ◽  
I-Liang Chern ◽  
Joung-Dong Kim ◽  
Xiaolin Li
Keyword(s):  
Upper Bound ◽  
Mesh Size ◽  
Front Tracking ◽  
Time Step ◽  
Mass System ◽  
Ode System ◽  
Spring System ◽  
Fabric Surface ◽  
Mass Spring ◽  
Eigen Frequency

AbstractWe use front tracking data structures and functions to model the dynamic evolution of fabric surface. We represent the fabric surface by a triangulated mesh with preset equilibrium side length. The stretching and wrinkling of the surface are modeled by the mass-spring system. The external driving force is added to the fabric motion through the “Impulse method” which computes the velocity of the point mass by superposition of momentum. The mass-spring system is a nonlinear ODE system. Added by the numerical and computational analysis, we show that the spring system has an upper bound of the eigen frequency. We analyzed the system by considering two spring models and we proved in one case that all eigenvalues are imaginary and there exists an upper bound for the eigen-frequency This upper bound plays an important role in determining the numerical stability and accuracy of the ODE system. Based on this analysis, we analyzed the numerical accuracy and stability of the nonlinear spring mass system for fabric surface and its tangential and normal motion. We used the fourth order Runge-Kutta method to solve the ODE system and showed that the time step is linearly dependent on the mesh size for the system.

On colouring random graphs

1975 ◽  
Vol 77 (2) ◽  
pp. 313-324 ◽  
Author(s):  
G. R. Grimmett ◽  
C. J. H. McDiarmid
Keyword(s):  
Random Graph ◽  
Random Graphs ◽  
Complete Subgraph ◽  
Vertex Set ◽  
Image Position

AbstractLet ωn denote a random graph with vertex set {1, 2, …, n}, such that each edge is present with a prescribed probability p, independently of the presence or absence of any other edges. We show that the number of vertices in the largest complete subgraph of ωn is, with probability one,

Sublattices and Initial Segments of the Degrees of Unsolvability

1970 ◽  
Vol 22 (3) ◽  
pp. 569-581 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Lattice Theory ◽  
Initial Segment ◽  
Finite Lattice ◽  
Equivalence Relations ◽  
Finite Lattices ◽  
Image Position ◽  
Degrees Of Unsolvability

In this paper we shall prove that every finite lattice is isomorphic to a sublattice of the degrees of unsolvability, and that every one of a certain class of finite lattices is isomorphic to an initial segment of degrees.Acknowledgment. I am grateful to Ralph McKenzie for his assistance in matters of lattice theory.1. Representation of lattices. The equivalence lattice of the set S consists of all equivalence relations on S, ordered by setting θ ≦ θ’ if for all a and b in S, a θ b ⇒ a θ’ b. The least upper bound and greatest lower bound in are given by the ⋃ and ⋂ operations:

Hamiltonian Circuits on the N-Cube

1975 ◽  
Vol 17 (5) ◽  
pp. 759-761 ◽  
Author(s):  
D. H. Smith
Keyword(s):  
Upper Bound ◽  
Hamiltonian Circuits ◽  
Image Position

The problem of finding bounds for the number h(n) of Hamiltonian circuits on the n-cube has been studied by several authors, (1), (2), (3). The best upper bound known is due to Larman (5) who proved that .In this paper we use a result of Nijenhuis and Wilf (4) on permanents of (0, 1)- matrices to show that for n≥5where τ, a and c are constants.

scholarly journals On the Strong Equitable Vertex 2-Arboricity of Complete Bipartite Graphs

Mathematics ◽  
2020 ◽  
Vol 8 (10) ◽  
pp. 1778
Author(s):  
Fangyun Tao ◽  
Ting Jin ◽  
Yiyou Tu
Keyword(s):  
Upper Bound ◽  
Maximum Degree ◽  
Bipartite Graphs ◽  
Equitable Partition ◽  
Special Cases ◽  
Vertex Set ◽  
Complete Bipartite Graphs

An equitable partition of a graph G is a partition of the vertex set of G such that the sizes of any two parts differ by at most one. The strong equitable vertexk-arboricity of G, denoted by vak≡(G), is the smallest integer t such that G can be equitably partitioned into t′ induced forests for every t′≥t, where the maximum degree of each induced forest is at most k. In this paper, we provide a general upper bound for va2≡(Kn,n). Exact values are obtained in some special cases.

Sign in / Sign up

Export Citation Format

Share Document