scholarly journals Lower Bounds for the Size of Random Maximal $H$-Free Graphs

10.37236/93 ◽  
2009 ◽  
Vol 16 (1) ◽  
Author(s):  
Guy Wolfovitz
Keyword(s):  
Lower Bound ◽  
Random Process ◽  
Lower Bounds ◽  
Random Permutation ◽  
Bipartite Graphs ◽  
Expected Number ◽  
Free Graph ◽  
Vertex Graph

We consider the next random process for generating a maximal $H$-free graph: Given a fixed graph $H$ and an integer $n$, start by taking a uniformly random permutation of the edges of the complete $n$-vertex graph $K_n$. Then, traverse the edges of $K_n$ according to the order imposed by the permutation and add each traversed edge to an (initially empty) evolving $n$-vertex graph - unless its addition creates a copy of $H$. The result of this process is a maximal $H$-free graph ${\Bbb M}_n(H)$. Our main result is a new lower bound on the expected number of edges in ${\Bbb M}_n(H)$, for $H$ that is regular, strictly $2$-balanced. As a corollary, we obtain new lower bounds for Turán numbers of complete, balanced bipartite graphs. Namely, for fixed $r \ge 5$, we show that ex$(n, K_{r,r}) = \Omega(n^{2-2/(r+1)}(\ln\ln n)^{1/(r^2-1)})$. This improves an old lower bound of Erdős and Spencer. Our result relies on giving a non-trivial lower bound on the probability that a given edge is included in ${\Bbb M}_n(H)$, conditioned on the event that the edge is traversed relatively (but not trivially) early during the process.

scholarly journals An Ordered Turán Problem for Bipartite Graphs

10.37236/2471 ◽  
2012 ◽  
Vol 19 (4) ◽  
Author(s):  
Craig Timmons
Keyword(s):  
Complete Bipartite Graph ◽  
Bipartite Graphs ◽  
Free Graph ◽  
The Family ◽  
Turan Problem ◽  
Vertex Graph ◽  
Turán Number ◽  
Turán Problem ◽  
Natural Way

Let $F$ be a graph.  A graph $G$ is $F$-free if it does not contain $F$ as a subgraph.  The Turán number of $F$, written $\textrm{ex}(n,F)$, is the maximum number of edges in an $F$-free graph with $n$ vertices.  The determination of Turán numbers of bipartite graphs is a challenging and widely investigated problem.  In this paper we introduce an ordered version of the Turán problem for bipartite graphs.  Let $G$ be a graph with $V(G) = \{1, 2, \dots , n \}$ and view the vertices of $G$ as being ordered in the natural way.  A zig-zag $K_{s,t}$, denoted $Z_{s,t}$, is a complete bipartite graph $K_{s,t}$ whose parts $A = \{n_1 < n_2 < \dots < n_s \}$ and $B = \{m_1 < m_2 < \dots < m_t \}$ satisfy the condition $n_s < m_1$.  A zig-zag $C_{2k}$ is an even cycle $C_{2k}$ whose vertices in one part precede all of those in the other part.  Write $\mathcal{Z}_{2k}$ for the family of zig-zag $2k$-cycles.  We investigate the Turán numbers $\textrm{ex}(n,Z_{s,t})$ and $\textrm{ex}(n,\mathcal{Z}_{2k})$.  In particular we show $\textrm{ex}(n, Z_{2,2}) \leq \frac{2}{3}n^{3/2} + O(n^{5/4})$.  For infinitely many $n$ we construct a $Z_{2,2}$-free $n$-vertex graph with more than $(n - \sqrt{n} - 1) + \textrm{ex} (n,K_{2,2})$ edges.

scholarly journals Lower Bounds for the Cop Number when the Robber is Fast

2011 ◽  
Vol 20 (4) ◽  
pp. 617-621 ◽  
Author(s):  
ABBAS MEHRABIAN
Keyword(s):  
Graph Theory ◽  
Lower Bound ◽  
Lower Bounds ◽  
Regular Graph ◽  
Upper Bound ◽  
Upper Bounds ◽  
Cops And Robbers ◽  
Vertex Graph

We consider a variant of the Cops and Robbers game where the robber can movetedges at a time, and show that in this variant, the cop number of ad-regular graph with girth larger than 2t+2 is Ω(dt). By the known upper bounds on the order of cages, this implies that the cop number of a connectedn-vertex graph can be as large as Ω(n2/3) ift≥ 2, and Ω(n4/5) ift≥ 4. This improves the Ω($n^{\frac{t-3}{t-2}}$) lower bound of Frieze, Krivelevich and Loh (Variations on cops and robbers,J. Graph Theory, to appear) when 2 ≤t≤ 6. We also conjecture a general upper boundO(nt/t+1) for the cop number in this variant, generalizing Meyniel's conjecture.

scholarly journals Lower Bounds for Partial Matchings in Regular Bipartite Graphs and Applications to the Monomer–Dimer Entropy

2008 ◽  
Vol 17 (3) ◽  
pp. 347-361 ◽  
Author(s):  
SHMUEL FRIEDLAND ◽  
LEONID GURVITS
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Three Dimensional ◽  
Bipartite Graphs ◽  
Hyperbolic Polynomials

We derive here the Friedland–Tverberg inequality for positive hyperbolic polynomials. This inequality is applied to give lower bounds for the number of matchings in r-regular bipartite graphs. It is shown that some of these bounds are asymptotically sharp. We improve the known lower bound for the three-dimensional monomer–dimer entropy.

scholarly journals The Ramsey Number $R(3,K_{10}-e)$ and Computational Bounds for $R(3,G)$

10.37236/3684 ◽  
2013 ◽  
Vol 20 (4) ◽  
Author(s):  
Jan Goedgebeur ◽  
Stanisław P. Radziszowski
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bounds ◽  
Ramsey Number ◽  
Computer Algorithms ◽  
Free Graph ◽  
Ramsey Numbers ◽  
Open Case ◽  
Minimum Number ◽  
Graph Generation

Using computer algorithms we establish that the Ramsey number $R(3,K_{10}-e)$ is equal to 37, which solves the smallest open case for Ramsey numbers of this type. We also obtain new upper bounds for the cases of $R(3,K_k-e)$ for $11 \le k \le 16$, and show by construction a new lower bound $55 \le R(3,K_{13}-e)$.The new upper bounds on $R(3,K_k-e)$ are obtained by using the values and lower bounds on $e(3,K_l-e,n)$ for $l \le k$, where $e(3,K_k-e,n)$ is the minimum number of edges in any triangle-free graph on $n$ vertices without $K_k-e$ in the complement. We complete the computation of the exact values of $e(3,K_k-e,n)$ for all $n$ with $k \leq 10$ and for $n \leq 34$ with $k = 11$, and establish many new lower bounds on $e(3,K_k-e,n)$ for higher values of $k$.Using the maximum triangle-free graph generation method, we determine two other previously unknown Ramsey numbers, namely $R(3,K_{10}-K_3-e)=31$ and $R(3,K_{10}-P_3-e)=31$. For graphs $G$ on 10 vertices, besides $G=K_{10}$, this leaves 6 open cases of the form $R(3,G)$. The hardest among them appears to be $G=K_{10}-2K_2$, for which we establish the bounds $31 \le R(3,K_{10}-2K_2) \le 33$.

A Lower Bound for Schur Numbers and Multicolor Ramsey Numbers

10.37236/1188 ◽  
1994 ◽  
Vol 1 (1) ◽  
Author(s):  
Geoffrey Exoo
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Ramsey Numbers

For $k \geq 5$, we establish new lower bounds on the Schur numbers $S(k)$ and on the k-color Ramsey numbers of $K_3$.

scholarly journals A Lower Bound for the Query Phase of Contraction Hierarchies and Hub Labels and a Provably Optimal Instance-Based Schema

Algorithms ◽  
2021 ◽  
Vol 14 (6) ◽  
pp. 164
Author(s):  
Tobias Rupp ◽  
Stefan Funke
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Real World ◽  
Road Network ◽  
Upper And Lower Bounds ◽  
Bounded Degree ◽  
Shortest Path Routing ◽  
Graph Classes ◽  
Speed Up ◽  
To Come

We prove a Ω(n) lower bound on the query time for contraction hierarchies (CH) as well as hub labels, two popular speed-up techniques for shortest path routing. Our construction is based on a graph family not too far from subgraphs that occur in real-world road networks, in particular, it is planar and has a bounded degree. Additionally, we borrow ideas from our lower bound proof to come up with instance-based lower bounds for concrete road network instances of moderate size, reaching up to 96% of an upper bound given by a constructed CH. For a variant of our instance-based schema applied to some special graph classes, we can even show matching upper and lower bounds.

scholarly journals On Computing Multilinear Polynomials Using Multi- r -ic Depth Four Circuits

2021 ◽  
Vol 13 (3) ◽  
pp. 1-21
Author(s):  
Suryajith Chillara
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Complexity Measure ◽  
Natural Question ◽  
Multilinear Polynomial ◽  
Arithmetic Circuit ◽  
Theory Of Computing ◽  
Small Constant ◽  
Multilinear Polynomials ◽  
The Individual

In this article, we are interested in understanding the complexity of computing multilinear polynomials using depth four circuits in which the polynomial computed at every node has a bound on the individual degree of r ≥ 1 with respect to all its variables (referred to as multi- r -ic circuits). The goal of this study is to make progress towards proving superpolynomial lower bounds for general depth four circuits computing multilinear polynomials, by proving better bounds as the value of r increases. Recently, Kayal, Saha and Tavenas (Theory of Computing, 2018) showed that any depth four arithmetic circuit of bounded individual degree r computing an explicit multilinear polynomial on n O (1) variables and degree d must have size at least ( n / r 1.1 ) Ω(√ d / r ) . This bound, however, deteriorates as the value of r increases. It is a natural question to ask if we can prove a bound that does not deteriorate as the value of r increases, or a bound that holds for a larger regime of r . In this article, we prove a lower bound that does not deteriorate with increasing values of r , albeit for a specific instance of d = d ( n ) but for a wider range of r . Formally, for all large enough integers n and a small constant η, we show that there exists an explicit polynomial on n O (1) variables and degree Θ (log 2 n ) such that any depth four circuit of bounded individual degree r ≤ n η must have size at least exp(Ω(log 2 n )). This improvement is obtained by suitably adapting the complexity measure of Kayal et al. (Theory of Computing, 2018). This adaptation of the measure is inspired by the complexity measure used by Kayal et al. (SIAM J. Computing, 2017).

Distribution of the number of alleles in multigene families

1992 ◽  
Vol 29 (04) ◽  
pp. 759-769
Author(s):  
R. C. Griffiths
Keyword(s):  
Stochastic Model ◽  
Gene Conversion ◽  
Lower Bounds ◽  
Multigene Families ◽  
Expected Number ◽  
Allele Type ◽  
The Mean

The distribution of the number of alleles in samples from r chromosomes is studied. The stochastic model used includes gene conversion within chromosomes and mutation at loci on the chromosomes. A method is described for simulating the distribution of alleles and an algorithm given for computing lower bounds for the mean number of alleles. A formula is derived for the expected number of samples from r chromosomes which contain the allele type of a locus chosen at random.

scholarly journals Lower bounds for the state complexity of probabilistic languages and the language of prime numbers

2020 ◽  
Vol 30 (1) ◽  
pp. 175-192
Author(s):  
NathanaËl Fijalkow
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Prime Numbers ◽  
Regular Languages ◽  
Automata Theory ◽  
Seminal Paper ◽  
Probabilistic Automata ◽  
State Complexity ◽  
Probabilistic Languages ◽  
Alternating Automata

Abstract This paper studies the complexity of languages of finite words using automata theory. To go beyond the class of regular languages, we consider infinite automata and the notion of state complexity defined by Karp. Motivated by the seminal paper of Rabin from 1963 introducing probabilistic automata, we study the (deterministic) state complexity of probabilistic languages and prove that probabilistic languages can have arbitrarily high deterministic state complexity. We then look at alternating automata as introduced by Chandra, Kozen and Stockmeyer: such machines run independent computations on the word and gather their answers through boolean combinations. We devise a lower bound technique relying on boundedly generated lattices of languages, and give two applications of this technique. The first is a hierarchy theorem, stating that there are languages of arbitrarily high polynomial alternating state complexity, and the second is a linear lower bound on the alternating state complexity of the prime numbers written in binary. This second result strengthens a result of Hartmanis and Shank from 1968, which implies an exponentially worse lower bound for the same model.

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.

Sign in / Sign up

Export Citation Format

Share Document