Showing 20 papers (Total: 84125 papers, 48472 authors in database)
From Tarski's plank problem to simultaneous approximation
Published
• View Publication
• BIB
A {\em slab} (or plank) of width $w$ is a part of the $d$-dimensional space that lies between two parallel hyperplanes at distance $w$ from each other. It is conjectured that any slabs $S_1, S_2,\ldots$ whose total width is divergent have suitable translates that altogether cover $\mathbb{R}^d$. We show that this statement is true if the widths of the slabs, $w_1, w_2,\ldots$, satisfy the slightly stronger condition $\limsup_{n\rightarrow\infty}\frac{w_1+w_2+\ldots+w_n}{\log(1/w_n)}>0$. This can be regarded as a converse of Bang's theorem, better known as Tarski's plank problem.
We apply our results to a problem on simultaneous approximation of polynomials. Given a positive integer $d$, we say that a sequence of positive numbers $x_1\le x_2\le\ldots$ {\em controls} all polynomials of degree at most $d$ if there exist $y_1, y_2,\ldots\in\mathbb{R}$ such that for every polynomial $p$ of degree at most $d$, there exists an index $i$ with $|p(x_i)-y_i|\leq 1.$ We prove that a sequence has this property if and only if $\sum_{i=1}^{\infty}\frac{1}{x_i^d}$ is divergent. This settles an old conjecture of Makai and Pach.
Sizes of the extremal girth 5 graphs of orders from 40 to 49
The Turán type numbers for graphs without 3-cycles and 4-cycles are determined for vertex numbers from 40 to 49 inclusive. Hence, now, 43 of the first 50 numbers of OEIS A006856 are known. Estimates for the remaining seven numbers are presented.
Star-critical Ramsey number of $K_4$ versus $F_n$
For two graphs $G$ and $H$, the Ramsey number $r(G,H)$ is the smallest positive integer $r$, such that any red/blue coloring of the edges of the graph $K_r$ contains either a red subgraph that is isomorphic to $G$ or a blue subgraph that is isomorphic to $H$. Let $S_k=K_{1,k}$ be a star of order $k+1$ and $K_n\sqcup S_k$ be a graph obtained from $K_n$ by adding a new vertex $v$ and joining $v$ to $k$ vertices of $K_n$. The star-critical Ramsey number $r_*(G,H)$ is the smallest positive integer $k$ such that any red/blue coloring of the edges of graph $K_{r-1}\sqcup S_k$ contains either a red subgraph that is isomorphic to $G$ or a blue subgraph that is isomorphic to $H$, where $r=r(G,H)$. In this paper, it is shown that $r_*(F_n,K_4)=4n+2$, where $n\geq{4}$.
Neighbors, Generic Sets and Scarf-Buchberger Hypersurfaces
The present paper is motivated by the need to generalize the construction of the Scarf complex in order to give combinatorial resolutions of a much broader class of modules than just the monomial ideals. For any subset $A\subseteq \mathbb{R}^n$, let $\mathfrak{N}(A)$ denote the collection of all subsets $B\subseteq A$ such that there is no $a\in A$ that is strictly less than the supremum of $B$ in all coordinates. We show that if $A\subseteq \mathbb{Z}^n$ is generic (in a sense appropriate for this context), then $\mathfrak{N}(A)$ is a locally finite simplicial complex. Moreover, if $A$ is generic, then the barycentric subdivision of $\mathfrak{N}(A)$ is equivalent to a triangulation of a PL hypersurface in $\mathbb{R}^n$. This gives us natural generalizations of the notions of ``staircase surface'' and ``Buchberger graph,'' described by Miller and Sturmfels, to arbitrary dimension. (This seems to be a new result, even in the well-studied case that $A$ is a finite subset of $\mathbb{N}^n$.) We give examples that show that when $A$ is infinite, $\mathfrak{N}(A)$ may have complicated topology, but if there are at most finitely many elements of $A$ below any given $b\in \mathbb{R}^n$, then $\mathfrak{N}(A)$ is locally contractible. $\mathfrak{N}(A)$ can therefore be used to construct locally finite free resolutions of sub-$k[\mathbb{N}^n]$-modules of the group algebra $k[\mathbb{R}^n]$ ($k$ is a field). We prove various additional facts about the structure of $\mathfrak{N}(A)$
Shattered Sets and the Hilbert Function
We study complexity measures on subsets of the boolean hypercube and exhibit connections between algebra (the Hilbert function) and combinatorics (VC theory). These connections yield results in both directions. Our main complexity-theoretic result proves that most linear program feasibility problems cannot be computed by polynomial-sized constant-depth circuits. Moreover, our result applies to a stronger regime in which the hyperplanes are fixed and only the directions of the inequalities are given as input to the circuit. We derive this result by proving that a rich class of extremal functions in VC theory cannot be approximated by low-degree polynomials. We also present applications of algebra to combinatorics. We provide a new algebraic proof of the Sandwich Theorem, which is a generalization of the well-known Sauer-Perles-Shelah Lemma. Finally, we prove a structural result about downward-closed sets, related to the Chvátal conjecture in extremal combinatorics.
The poset on connected graphs is Sperner
Published in Journal of Combinatorial Theory, Series A. Volume 150, August 2017, Pages 162-181
• View Publication
• BIB
Let $\mathcal{G}$ be the set of all connected graphs on vertex set $[n]$. Define the partial ordering $<$ on $\mathcal{G}$ as follows: for $G,H\in \mathcal{G}$ let $G<H$ if $E(G)\subset E(H)$. The poset $(\mathcal{G},<)$ is graded, each level containing the connected graphs with the same number of edges. We prove that $(\mathcal{G},<)$ has the Sperner property, namely that the largest antichain of $(\mathcal{G},<)$ is equal to its largest sized level.
Regular sequences and the joint spectral radius
Published
• View Publication
• BIB
We classify the growth of a $k$-regular sequence based on information from its $k$-kernel. In order to provide such a classification, we introduce the notion of a growth exponent for $k$-regular sequences and show that this exponent is equal to the joint spectral radius of any set of a special class of matrices determined by the $k$-kernel.
Hoffman's coclique bound for normal regular digraphs, and nonsymmetric association schemes
Published
• View Publication
• BIB
We extend Hoffman's coclique bound for regular digraphs with the property that its adjacency matrix is normal, and discuss cocliques attaining the inequality. As a consequence, we characterize skew-Bush-type Hadamard matrices in terms of digraphs. We present some normal digraphs whose vertex set is decomposed into disjoint cocliques attaining the bound. The digraphs provided here are relation graphs of some nonsymmetric association schemes.
Ramsey numbers of trees versus odd cycles
Published
• View Publication
• BIB
Burr, Erdős, Faudree, Rousseau and Schelp initiated the study of Ramsey numbers of trees versus odd cycles, proving that $R(T_n, C_m) = 2n - 1$ for all odd $m \ge 3$ and $n \ge 756m^{10}$, where $T_n$ is a tree with $n$ vertices and $C_m$ is an odd cycle of length $m$. They proposed to study the minimum positive integer $n_0(m)$ such that this result holds for all $n \ge n_0(m)$, as a function of $m$. In this paper, we show that $n_0(m)$ is at most linear. In particular, we prove that $R(T_n, C_m) = 2n - 1$ for all odd $m \ge 3$ and $n \ge 50m$. Combining this with a result of Faudree, Lawrence, Parsons and Schelp yields $n_0(m)$ is bounded between two linear functions, thus identifying $n_0(m)$ up to a constant factor.
Splines in geometry and topology
Published
• View Publication
• BIB
This survey paper describes the role of splines in geometry and topology, emphasizing both similarities and differences from the classical treatment of splines. The exposition is non-technical and contains many examples, with references to more thorough treatments of the subject.
Complex unit gain bicyclic graphs with rank 2, 3 or 4
Published
• View Publication
• BIB
A $\mathbb{T}$-gain graph is a triple $Φ=(G,\mathbb{T},\varphi)$ consisting of a graph $G=(V,E)$, the circle group $\mathbb{T}=\{z\in C: |z|=1\}$ and a gain function $\varphi:\overrightarrow{E}\rightarrow \mathbb{T}$ such that $\varphi(e_{ij})=\varphi(e_{ji})^{-1}=\overline{\varphi(e_{ji})}$. The rank of $\mathbb{T}$-gain graph $Φ$, denoted by $r(Φ)$, is the rank of the adjacency matrix of $Φ$. In 2015, Yu, Qu and Tu [ G. H. Yu, H. Qu, J. H. Tu, Inertia of complex unit gain graphs, Appl. Math. Comput. 265(2015) 619--629 ] obtained some properties of inertia of a $\mathbb{T}$-gain graph. They characterized the $\mathbb{T}$-gain unicyclic graphs with small positive or negative index. Motivated by above, in this paper, we characterize the complex unit gain bicyclic graphs with rank 2, 3 or 4.
Almost All Regular Graphs are Normal
Published
• View Publication
• BIB
In 1999, De Simone and Körner conjectured that every graph without induced $C_5,C_7,\overline{C}_7$ contains a clique cover $\mathcal C$ and a stable set cover $\mathcal I$ such that every clique in $\mathcal C$ and every stable set in $\mathcal I$ have a vertex in common. This conjecture has roots in information theory and became known as the Normal Graph Conjecture. Here we prove that all graphs of bounded maximum degree and sufficiently large odd girth (linear in the maximum degree) are normal. This implies that for every fixed $d$, random $d$-regular graphs are a.a.s. normal.
The Turan Number of Disjoint Copies of Paths
Published
• View Publication
• BIB
The Turán number of a graph $H$, $ex(n,H)$, is the maximum number of edges in a simple graph of order $n$ which does not contain $H$ as a subgraph. Let $k\cdot P_3$ denote $k$ disjoint copies of a path on $3$ vertices. In this paper, we determine the value $ex(n, k\cdot P_3)$ and characterize all extremal graphs. This extends a result of Bushaw and Kettle [N. Bushaw and N. Kettle, Turán Numbers of multiple and equibipartite forests, Combin. Probab. Comput., 20(2011) 837-853.], which solved the conjecture proposed by Gorgol in [I. Gorgol. Turán numbers for disjoint copies of graphs. {\it Graphs Combin.}, 27 (2011) 661-667.].
Unlabeled Signed Graph Coloring
Published
• View Publication
• BIB
We extend the work of Hanlon on the chromatic polynomial of an unlabeled graph to define the unlabeled chromatic polynomial of an unlabeled signed graph. Explicit formulas are presented for labeled and unlabeled signed chromatic polynomials as summations over distinguished order-ideals of the signed partition lattice. We also define the quotient of a signed graph by a signed permutation, and show that its signed graphic arrangement is closely related to an induced arrangement on a distinguished subspace. Lastly, a formula for the number of unlabeled acyclic orientations of a signed graph is presented which recalls classical reciprocity theorems of Stanley and Zaslavsky.
On the maximum number of spanning copies of an orientation in a tournament
Published
• View Publication
• BIB
For an orientation $H$ with $n$ vertices, let $T(H)$ denote the maximum possible number of labeled copies of $H$ in an $n$-vertex tournament. It is easily seen that $T(H) \ge n!/2^{e(H)}$ as the latter is the expected number of such copies in a random tournament. For $n$ odd, let $R(H)$ denote the maximum possible number of labeled copies of $H$ in an $n$-vertex regular tournament. Adler et al. proved that, in fact, for $H=C_n$ the directed Hamilton cycle, $T(C_n) \ge (e-o(1))n!/2^{n}$ and it was observed by Alon that already $R(C_n) \ge (e-o(1))n!/2^{n}$. Similar results hold for the directed Hamilton path $P_n$. In other words, for the Hamilton path and cycle, the lower bound derived from the expectation argument can be improved by a constant factor. In this paper we significantly extend these results and prove that they hold for a larger family of orientations $H$ which includes all bounded degree Eulerian orientations and all bounded degree balanced orientations, as well as many others. One corollary of our method is that for any $k$-regular orientation $H$ with $n$ vertices, $T(H) \ge (e^k-o(1))n!/2^{e(H)}$ and in fact, for $n$ odd, $R(H) \ge (e^k-o(1))n!/2^{e(H)}$.
2-Xor revisited: satisfiability and probabilities of functions
Published
• View Publication
• BIB
The problem 2-Xor-Sat asks for the probability that a random expression, built as a conjunction of clauses $x \oplus y$, is satisfiable. We revisit this classical problem by giving an alternative, explicit expression of this probability. We then consider a refinement of it, namely the probability that a random expression computes a specific Boolean function. The answers to both problems involve a description of 2-Xor expressions as multigraphs and use classical methods of analytic combinatorics by expressing probabilities through coefficients of generating functions.
Random cyclic dynamical systems
Published in Advances in Applied Mathematics 83 (2017), 1-23
• View Publication
• BIB
For X a finite subset of the circle and for 0 < r <= 1 fixed, consider the function f_r : X -> X which maps each point to the clockwise furthest element of X within angular distance less than 2 pi r. We study the discrete dynamical system on X generated by f_r, and especially its expected behavior when X is a large random set. We show that, as |X| -> infinity, the expected fraction of periodic points of f_r tends to 0 if r is irrational and to 1/q if r = p/q is rational with p and q coprime. These results are obtained via more refined statistics of f_r which we compute explicitly in terms of (generalized) Catalan numbers. The motivation for studying f_r comes from Vietoris-Rips complexes, a geometric construction used in computational topology. Our results determine how much one can expect to simplify the Vietoris-Rips complex of a random sample of the circle by removing dominated vertices.
An Application of Markov Chain Analysis to Integer Complexity
The complexity $f(n)$ of an integer was introduced in 1953 by Mahler & Popken: it is defined as the smallest number of $1$'s needed in conjunction with arbitrarily many +, * and parentheses to write an integer $n$ (for example, $f(6) \leq 5$ since $6 = (1+1)(1+1+1)$). The best known bounds are $$ 3 \log_{3}{n} \leq f(n) \leq 3.635 \log_{3}{n}.$$ The lower bound is due to Selfridge (with equality for powers of 3); the upper bound was recently proven by Arias de Reyna & Van de Lune, and holds on a set of natural density one.
We use Markov chain methods to analyze a large class of algorithms, including one found by David Bevan that improves the upper bound to $$ f(n) \leq 3.52 \log_{3}{n}$$ on a set of logarithmic density one.
Warmth and connectivity of neighborhood complexes of graphs
Published in Adv. Appl. Math. 96 (2018), pp. 176-194
• Search Publication
In this paper we study a pair of numerical parameters associated to a graph $G$. One the one hand, one can construct $\text{Hom}(K_2, G)$, a space of homomorphisms from a edge $K_2$ into $G$ and study its (topological) connectivity. This approach dates back to the neighborhood complexes introduced by Lovász in his proof of the Kneser conjecture. In another direction Brightwell and Winkler introduced a graph parameter called the warmth $ζ(G)$ of a graph $G$, based on asymptotic behavior of $d$-branching walks in $G$ and inspired by constructions in statistical physics. Both the warmth of $G$ and the connectivity of $\text{Hom}(K_2,G)$ provide lower bounds on the chromatic number of $G$.
Here we seek to relate these two constructions, and in particular we provide evidence for the conjecture that the warmth of a graph $G$ is always less than three plus the connectivity of $\text{Hom}(K_2, G)$. We succeed in establishing a first nontrivial case of the conjecture, by showing that $ζ(G) \leq 3$ if $\text{Hom}(K_2,G)$ has an infinite first homology group. We also calculate warmth for a family of `twisted toroidal' graphs that are important extremal examples in the context of $\text{Hom}$ complexes. Finally we show that $ζ(G) \leq n-1$ if a graph $G$ does not have the complete bipartite graph $K_{a,b}$ for $a+b=n$. This provides an analogue for a similar result in the context of $\text{Hom}$ complexes.
The minimum rank problem for circulants
Published
• View Publication
• BIB
The minimum rank problem is to determine for a graph $G$ the smallest rank of a Hermitian (or real symmetric) matrix whose off-diagonal zero-nonzero pattern is that of the adjacency matrix of $G$. Here $G$ is taken to be a circulant graph, and only circulant matrices are considered. The resulting graph parameter is termed the minimum circulant rank of the graph. This value is determined for every circulant graph in which a vertex neighborhood forms a consecutive set, and in this case is shown to coincide with the usual minimum rank. Under the additional restriction to positive semidefinite matrices, the resulting parameter is shown to be equal to the smallest number of dimensions in which the graph has an orthogonal representation with a certain symmetry property, and also to the smallest number of terms appearing among a certain family of polynomials determined by the graph. This value is then determined when the number of vertices is prime. The analogous parameter over the reals is also investigated.