347 research outputs found
Linear bounds on matrix extremal functions using visibility hypergraphs
The 0-1 matrix A contains a 0-1 matrix M if some submatrix of A can be
transformed into M by changing some ones to zeroes. If A does not contain M,
then A avoids M. Let ex(n,M) be the maximum number of ones in an n x n 0-1
matrix that avoids M, and let ex_k(m,M) be the maximum number of columns in a
0-1 matrix with m rows that avoids M and has at least k ones in every column. A
method for bounding ex(n,M) by using bounds on the maximum number of edges in
bar visibility graphs was introduced in (R. Fulek, Discrete Mathematics 309,
2009). By using a similar method with bar visibility hypergraphs, we obtain
linear bounds on the extremal functions of other forbidden 0-1 matrices.Comment: 11 pages, 4 figure
Extremal problems in ordered graphs
In this thesis we consider ordered graphs (that is, graphs with a fixed
linear ordering on their vertices). We summarize and further investigations on
the number of edges an ordered graph may have while avoiding a fixed forbidden
ordered graph as a subgraph. In particular, we take a step toward confirming a
conjecture of Pach and Tardos regarding the number of edges allowed when the
forbidden pattern is a tree by establishing an upper bound for a particular
ordered graph for which existing techniques have failed. We also generalize a
theorem of Geneson by establishing an upper bound on the number of edges
allowed if the forbidden graphs fit a generalized notion of a matching.Comment: Thesis for Master Degree, Simon Fraser Universit
Ordered and convex geometric trees with linear extremal function
The extremal functions and ex_{\cir}(n,F) for
ordered and convex geometric acyclic graphs have been extensively
investigated by a number of researchers. Basic questions are to determine when
and ex_{\cir}(n,F) are linear in , the latter
posed by Bra\ss-K\'arolyi-Valtr in 2003. In this paper, we answer both these
questions for every tree .
We give a forbidden subgraph characterization for a family of
ordered trees with edges, and show that for all when and
for . We also
describe the family of the convex geometric trees with linear Tur\' an number
and show that for every convex geometric tree not in this family,
ex_{\cir}(n,F)= \Omega(n\log \log n).Comment: 14 pages, 9 figures. Same as the first version. Only metadata has
been change
Sharp Bounds on Davenport-Schinzel Sequences of Every Order
One of the longest-standing open problems in computational geometry is to
bound the lower envelope of univariate functions, each pair of which
crosses at most times, for some fixed . This problem is known to be
equivalent to bounding the length of an order- Davenport-Schinzel sequence,
namely a sequence over an -letter alphabet that avoids alternating
subsequences of the form with length
. These sequences were introduced by Davenport and Schinzel in 1965 to
model a certain problem in differential equations and have since been applied
to bounding the running times of geometric algorithms, data structures, and the
combinatorial complexity of geometric arrangements.
Let be the maximum length of an order- DS sequence over
letters. What is asymptotically? This question has been answered
satisfactorily (by Hart and Sharir, Agarwal, Sharir, and Shor, Klazar, and
Nivasch) when is even or . However, since the work of Agarwal,
Sharir, and Shor in the mid-1980s there has been a persistent gap in our
understanding of the odd orders.
In this work we effectively close the problem by establishing sharp bounds on
Davenport-Schinzel sequences of every order . Our results reveal that,
contrary to one's intuition, behaves essentially like
when is odd. This refutes conjectures due to Alon et al.
(2008) and Nivasch (2010).Comment: A 10-page extended abstract will appear in the Proceedings of the
Symposium on Computational Geometry, 201
Forbidden induced subposets of given height
Let be a partially ordered set. The function \mbox{La}^{\#}(n,P)
denotes the size of the largest family that does
not contain an induced copy of . It was proved by Methuku and P\'alv\"olgyi
that there exists a constant (depending only on ) such that
\mbox{La}^{\#}(n,P). However, the order of
the constant following from their proof is typically exponential in
. Here, we show that if the height of the poset is constant, this can be
improved. We show that for every positive integer there exists a constant
such that if has height at most , then \mbox{La}^{\#}(n,P)\leq
|P|^{c_{h}}\binom{n}{\lfloor n/2\rfloor}.
Our methods also immediately imply that similar bounds hold in grids as well.
That is, we show that if such that
does not contain an induced copy of and , then
where is the width of .
A small part of our proof is to partition (or ) into
certain fixed dimensional grids of large sides. We show that this special
partition can be used to derive bounds in a number of other extremal set
theoretical problems and their generalizations in grids, such as the size of
families avoiding weak posets, Boolean algebras, or two distinct sets and their
union. This might be of independent interest.Comment: 17 pages, 2 figure
Almost all permutation matrices have bounded saturation functions
Saturation problems for forbidden graphs have been a popular area of research
for many decades, and recently Brualdi and Cao initiated the study of a
saturation problem for 0-1 matrices. We say that 0-1 matrix is saturating
for the forbidden 0-1 matrix if avoids but changing any zero to a
one in creates a copy of . Define to be the minimum possible
number of ones in an 0-1 matrix that is saturating for . Fulek
and Keszegh proved that for every 0-1 matrix , either or
. They found two 0-1 matrices for which , as well as infinite families of 0-1 matrices for which . Their results imply that for almost all 0-1 matrices .
Fulek and Keszegh conjectured that there are many more 0-1 matrices such
that besides the ones they found, and they asked for a
characterization of all permutation matrices such that .
We affirm their conjecture by proving that almost all permutation
matrices have . We also make progress on the
characterization problem, since our proof of the main result exhibits a family
of permutation matrices with bounded saturation functions
On the Extremal Functions of Acyclic Forbidden 0--1 Matrices
The extremal theory of forbidden 0--1 matrices studies the asymptotic growth
of the function , which is the maximum weight of a matrix
whose submatrices avoid a fixed pattern
. This theory has been wildly successful at resolving
problems in combinatorics, discrete and computational geometry, structural
graph theory, and the analysis of data structures, particularly corollaries of
the dynamic optimality conjecture.
All these applications use acyclic patterns, meaning that when is
regarded as the adjacency matrix of a bipartite graph, the graph is acyclic.
The biggest open problem in this area is to bound for
acyclic . Prior results have only ruled out the strict bound
conjectured by Furedi and Hajnal. It is consistent with prior results that
, and also consistent that
.
In this paper we establish a stronger lower bound on the extremal functions
of acyclic . Specifically, we give a new construction of relatively dense
0--1 matrices with 1s that avoid an acyclic
. Pach and Tardos have conjectured that this type of result is the best
possible, i.e., no acyclic exists for which
Formations and generalized Davenport-Schinzel sequences
An -formation is a concatenation of permutations of distinct
letters. We define the function to be the maximum possible length
of a sequence with distinct letters that avoids all -formations and
has every consecutive letters distinct, and we define the function to be the maximum possible length of a sequence with distinct
letters that avoids all -formations and can be partitioned into
blocks of distinct letters. (Nivasch, 2010) and (Pettie, 2015) found bounds on
for all fixed , but no exact values were known, even
for . We prove that , , , and ,
improving on bounds of (Klazar, 1992), (Nivasch, 2010), and (Pettie, 2015).
In addition, we improve an upper bound of (Klazar, 2002). For any sequence
, define to be the maximum possible length of a sequence with
distinct letters that avoids and has every consecutive letters
distinct, where is the number of distinct letters in . Klazar proved
that , where and . Here we prove that in
Klazar's bound can be replaced with . We also prove a conjecture
from (Geneson et al., 2014) by showing for that . In
addition, we prove that for .
Furthermore, we extend the equalities and
to formations in -dimensional 0-1 matrices,
sharpening a bound from (Geneson, 2019)
A generalization of the K\H{o}v\'{a}ri-S\'{o}s-Tur\'{a}n theorem
We present a new proof of the K\H{o}v\'{a}ri-S\'{o}s-Tur\'{a}n theorem that
for . The new proof is elementary,
avoiding the use of convexity. For any -uniform hypergraph , let
be the maximum possible number of edges in an -free -uniform
hypergraph on vertices. Let be the -uniform hypergraph
obtained from by adding new vertices and replacing
every edge in with edges in . If is the -uniform hypergraph
on vertices with edges, then .
We prove that
for any -uniform hypergraph with at least two edges such that . Thus for any -uniform
hypergraph with at least two edges such that ,
which implies the K\H{o}v\'{a}ri-S\'{o}s-Tur\'{a}n theorem in the case.
This also implies that when is a
-uniform hypergraph with at least two edges in which all edges are pairwise
disjoint, which generalizes an upper bound proved by Mubayi and Verstra\"{e}te
(JCTA, 2004). We also obtain analogous bounds for 0-1 matrix Tur\'{a}n
problems
Sharper bounds and structural results for minimally nonlinear 0-1 matrices
The extremal function is the maximum possible number of ones in
any 0-1 matrix with rows and columns that avoids . A 0-1 matrix
is called minimally non-linear if but
for every that is contained in but not equal to .
Bounds on the maximum number of ones and the maximum number of columns in a
minimally non-linear 0-1 matrix with rows were found in (CrowdMath, 2018).
In this paper, we improve the bound on the maximum number of ones in a
minimally non-linear 0-1 matrix with rows from to . As a
corollary, this improves the upper bound on the number of columns in a
minimally non-linear 0-1 matrix with rows from to .
We also prove that there are not more than four ones in the top and bottom
rows of a minimally non-linear matrix and that there are not more than six ones
in any other row of a minimally non-linear matrix. Furthermore, we prove that
if a minimally non-linear 0-1 matrix has ones in the same row with exactly
columns between them, then within these columns there are at most rows
above and rows below with ones
- …