contain ↗ reference
7689 papers tagged with this keyword
Large subsets of discrete hypersurfaces in $\mathbb{Z}^d$ contain arbitrarily many collinear points
Published in European Journal of Combinatorics, Volume 54, May 2016, Pages 163--176
• View Publication
• BIB
In 1977 L.T. Ramsey showed that any sequence in $\mathbb{Z}^2$ with bounded gaps contains arbitrarily many collinear points. Thereafter, in 1980, C. Pomerance provided a density version of this result, relaxing the condition on the sequence from having bounded gaps to having gaps bounded on average. We give a higher dimensional generalization of these results. Our main theorem is the following.
Theorem: Let $d\in\mathbb{N}$, let $f:\mathbb{Z}^d\to\mathbb{Z}^{d+1}$ be a Lipschitz map and let $A\subset\mathbb{Z}^d$ have positive upper Banach density. Then $f(A)$ contains arbitrarily many collinear points.
Note that Pomerance's theorem corresponds to the special case $d=1$. In our proof, we transfer the problem from a discrete to a continuous setting, allowing us to take advantage of analytic and measure theoretic tools such as Rademacher's theorem.
Supersolvability and Freeness for $ψ$-graphical Arrangements
Published
• View Publication
• BIB
Let $G$ be a simple graph on the vertex set $\{v_1,\dots,v_n\}$ with edge set $E$. Let $K$ be a field. The graphical arrangement $\mathcal{A}_G$ in $K^n$ is the arrangement $x_i-x_j=0, v_iv_j \in E$. An arrangement $\mathcal{A}$ is supersolvable if the intersection lattice $L(c(\mathcal{A}))$ of the cone $c(\mathcal{A})$ contains a maximal chain of modular elements. The second author has shown that a graphical arrangement $\mathcal{A}_G$ is supersolvable if and only if $G$ is a chordal graph. He later considered a generalization of graphical arrangements which are called $ψ$-graphical arrangements. He conjectured a characterization of the supersolvability and freeness (in the sense of Terao) of a $ψ$-graphical arrangement. We provide a proof of the first conjecture and state some conditions on free $ψ$-graphical arrangements.
On structural properties of trees with minimal atom-bond connectivity index II
The {\em atom-bond connectivity (ABC) index} is a degree-based graph topological index that found chemical applications. The problem of complete characterization of trees with minimal $ABC$ index is still an open problem. In~\cite{d-sptmabci-2014}, it was shown that trees with minimal ABC index do not contain so-called {\em $B_k$-branches}, with $k \geq 5$, and that they do not have more than four $B_4$-branches. Our main results here reveal that the number of $B_1$ and $B_2$-branches are also bounded from above by small fixed constants. Namely, we show that trees with minimal ABC index do not contain more than four $B_1$-branches and more than eleven $B_2$-branches.
Three interactions of holes in two dimensional dimer systems
Published
• View Publication
• BIB
Consider the unit triangular lattice in the plane with origin $O$, drawn so that one of the sets of lattice lines is vertical. Let $l$ and $l'$ denote respectively the vertical and horizontal lines that intersect $O$. Suppose the plane contains a pair of triangular holes of side length two, distributed symmetrically with respect to $l$ and $l'$, and oriented so that both holes point toward $O$. Unit rhombus tilings of three different regions of the plane are considered, namely: tilings of the entire plane; tilings of the half plane that lies to the left of $l$ (where $l$ is considered a free boundary, so unit rhombi are allowed to protrude half-way across it); and tilings of the half plane that lies just below the fixed boundary $l'$. Asymptotic expressions for the interactions of the triangular holes in these three different regions are obtained, providing further evidence for Ciucu's ongoing program that seeks to draw parallels between gaps in dimer systems on the hexagonal lattice and electrostatic phenomena.
Local colourings and monochromatic partitions in complete bipartite graphs
Published
• View Publication
• BIB
We show that for any $2$-local colouring of the edges of the balanced complete bipartite graph $K_{n,n}$, its vertices can be covered with at most~$3$ disjoint monochromatic paths. And, we can cover almost all vertices of any complete or balanced complete bipartite $r$-locally coloured graph with $O(r^2)$ disjoint monochromatic cycles.\\ We also determine the $2$-local bipartite Ramsey number of a path almost exactly: Every $2$-local colouring of the edges of $K_{n,n}$ contains a monochromatic path on $n$ vertices.
A new near octagon and the Suzuki tower
Published in Electronic Journal of Combinatorics, Volume 23, Issue 2 (2016). Paper #P2.35
• View Publication
• BIB
We construct and study a new near octagon of order $(2,10)$ which has its full automorphism group isomorphic to the group $\mathrm{G}_2(4){:}2$ and which contains $416$ copies of the Hall-Janko near octagon as full subgeometries. Using this near octagon and its substructures we give geometric constructions of the $\mathrm{G}_2(4)$-graph and the Suzuki graph, both of which are strongly regular graphs contained in the Suzuki tower. As a subgeometry of this octagon we have discovered another new near octagon, whose order is $(2,4)$.
Geometric Progression-Free Sequences with Small Gaps
Published in Journal of Number Theory 151 (2015): 197-210
• View Publication
• BIB
Various authors, including McNew, Nathanson and O'Bryant, have recently studied the maximal asymptotic density of a geometric progression free sequence of positive integers. In this paper we prove the existence of geometric progression free sequences with small gaps, partially answering a question posed originally by Beiglböck et al. Using probabilistic methods we prove the existence of a sequence $T$ not containing any $6$-term geometric progressions such that for any $x\geq1$ and $\varepsilon>0$ the interval $[x,x+C_{\varepsilon}\exp((C+\varepsilon)\log x/\log\log x)]$ contains an element of $T$, where $C=\frac{5}{6}\log2$ and $C_{\varepsilon}>0$ is a constant depending on $\varepsilon$. As an intermediate result we prove a bound on sums of functions of the form $f(n)=\exp(-d_{k}(n))$ in very short intervals, where $d_{k}(n)$ is the number of positive $k$-th powers dividing $n$, using methods similar to those that Filaseta and Trifonov used to prove bounds on the gaps between $k$-th power free integers.
New bounds on the number of tests for disjunct matrices
Published
• View Publication
• BIB
Given $n$ items with at most $d$ of which being positive, instead of testing these items individually, the theory of combinatorial group testing aims to identify all positive items using as few tests as possible. This paper is devoted to a fundamental and thirty-year-old problem in the nonadaptive group testing theory. A binary matrix is called $d$-disjunct if the boolean sum of arbitrary $d$ columns does not contain another column not in this collection. Let $T(d)$ denote the minimal $t$ such that there exists a $t\times n$ $d$-disjunct matrix with $n>t$. $T(d)$ can also be viewed as the minimal $t$ such that there exists a nonadaptive group testing scheme which is better than the trivial one that tests each item individually. It was known that $T(d)\ge\binom{d+2}{2}$ and was conjectured that $T(d)\ge(d+1)^2$. In this paper we narrow the gap by proving $T(d)/d^2\ge(15+\sqrt{33})/24$, a quantity in [6/7,7/8].
Incidences between points and lines on a two-dimensional variety
Published
• View Publication
• BIB
We present a direct and fairly simple proof of the following incidence bound: Let $P$ be a set of $m$ points and $L$ a set of $n$ lines in ${\mathbb R}^d$, for $d\ge 3$, which lie in a common algebraic two-dimensional surface of degree $D$ that does not contain any 2-flat, so that no 2-flat contains more than $s \le D$ lines of $L$. Then the number of incidences between $P$ and $L$ is $$ I(P,L)=O\left(m^{1/2}n^{1/2}D^{1/2} + m^{2/3}\min\{n,D^{2}\}^{1/3}s^{1/3} + m + n\right). $$ When $d=3$, this improves the bound of Guth and Katz~\cite{GK2} for this special case, when $D$ is not too large.
A supplementary feature of this work is a review, with detailed proofs, of several basic (and folklore) properties of ruled surfaces in three dimensions.
Nonsimplicities and the perturbed wedge
In 2010 Santos described the construction of a counterexample to the Hirsch conjecture, and in 2012 Santos and Weibel provided the coordinates for the 40 facets of a 20-dimensional counterexample. In this paper we explore technical details of the construction using Santos and Weibel's work as the motivating example.
Santos presented the construction in the dual setting. Here we return to the primal setting, in which Santos' construction calls for repeated application of a perturbed wedge operation, a wedge over a facet followed by a perturbation of one or more other facets. We show that the starting point for the construction is a counterexample "P5" to the nonrevisiting conjecture in dimension 5. However, this polytope P5 is not a simple polytope; it contains two nonsimple vertices. As we repeatedly apply the perturbed wedge, the nonsimplicities grow in dimension while their excess is reduced. Finally in dimension 20, the resulting polytope is simple and its diameter exceeds the Hirsch bound by 1.
These notes are a technical companion to the work of Santos and Weibel.
Incidences between points and lines in three dimensions
Published
• View Publication
• BIB
We give a fairly elementary and simple proof that shows that the number of incidences between $m$ points and $n$ lines in ${\mathbb R}^3$, so that no plane contains more than $s$ lines, is $$ O\left(m^{1/2}n^{3/4}+ m^{2/3}n^{1/3}s^{1/3} + m + n\right) $$ (in the precise statement, the constant of proportionality of the first and third terms depends, in a rather weak manner, on the relation between $m$ and $n$).
This bound, originally obtained by Guth and Katz~\cite{GK2} as a major step in their solution of Erd{\H o}s's distinct distances problem, is also a major new result in incidence geometry, an area that has picked up considerable momentum in the past six years. Its original proof uses fairly involved machinery from algebraic and differential geometry, so it is highly desirable to simplify the proof, in the interest of better understanding the geometric structure of the problem, and providing new tools for tackling similar problems. This has recently been undertaken by Guth~\cite{Gu14}. The present paper presents a different and simpler derivation, with better bounds than those in \cite{Gu14}, and without the restrictive assumptions made there. Our result has a potential for applications to other incidence problems in higher dimensions.
A characterization of the Artin-Mumford curve
Published
• View Publication
• BIB
Let $\mathcal{M}$ be the Artin-Mumford curve over the finite prime field $\mathbb{F}_p$ with $p>2$. By a result of Valentini and Madan, $\mbox{Aut}_{\mathbb{F}_p}(\mathcal{M})\cong H$ with $H=(C_p\times C_p)\rtimes D_{p-1}$. We prove that if $\mathcal{X}$ is an algebraic curve of genus $g=(p-1)^2$ such that $\mbox{Aut}_{\mathbb{F}_p}(\mathcal{X})$ contains a subgroup isomorphic to $H$ then $\mathcal{X}$ is birationally equivalent over $\mathbb{F}_p$ to the Artin-Mumford curve $\mathcal{M}$.
New polynomial and multidimensional extensions of classical partition results
Published
• View Publication
• BIB
In the 1970s Deuber introduced the notion of $(m,p,c)$-sets in $\mathbb{N}$ and showed that these sets are partition regular and contain all linear partition regular configurations in $\mathbb{N}$. In this paper we obtain enhancements and extensions of classical results on $(m,p,c)$-sets in two directions. First, we show, with the help of ultrafilter techniques, that Deuber's results extend to polynomial configurations in abelian groups. In particular, we obtain new partition regular polynomial configurations in $\mathbb{Z}^d$. Second, we give two proofs of a generalization of Deuber's results to general commutative semigroups. We also obtain a polynomial version of the central sets theorem of Furstenberg, extend the theory of $(m,p,c)$-systems of Deuber, Hindman and Lefmann and generalize a classical theorem of Rado regarding partition regularity of linear systems of equations over $\mathbb{N}$ to commutative semigroups.
Recent developments in graph Ramsey theory
Published
• View Publication
• BIB
Given a graph $H$, the Ramsey number $r(H)$ is the smallest natural number $N$ such that any two-colouring of the edges of $K_N$ contains a monochromatic copy of $H$. The existence of these numbers has been known since 1930 but their quantitative behaviour is still not well understood. Even so, there has been a great deal of recent progress on the study of Ramsey numbers and their variants, spurred on by the many advances across extremal combinatorics. In this survey, we will describe some of this progress.
On generalized Howell designs with block size three
Published
• View Publication
• BIB
In this paper, we examine a class of doubly resolvable combinatorial objects. Let $t, k, λ, s$ and $v$ be nonnegative integers, and let $X$ be a set of $v$ symbols. A generalized Howell design, denoted $t$-$GHD_{k}(s,v;λ)$, is an $s\times s$ array, each cell of which is either empty or contains a $k$-set of symbols from $X$, called a block, such that: (i) each symbol appears exactly once in each row and in each column (i.e.\ each row and column is a resolution of $X$); (ii) no $t$-subset of elements from $X$ appears in more than $λ$ cells. Particular instances of the parameters correspond to Howell designs, doubly resolvable balanced incomplete block designs (including Kirkman squares), doubly resolvable nearly Kirkman triple systems, and simple orthogonal multi-arrays (which themselves generalize mutually orthogonal Latin squares). Generalized Howell designs also have connections with permutation arrays and multiply constant-weight codes.
In this paper, we concentrate on the case that $t=2$, $k=3$ and $λ=1$, and write $GHD(s,v)$. In this case, the number of empty cells in each row and column falls between 0 and $(s-1)/3$. Previous work has considered the existence of GHDs on either end of the spectrum, with at most 1 or at least $(s-2)/3$ empty cells in each row or column. In the case of one empty cell, we correct some results of Wang and Du, and show that there exists a $GHD(n+1,3n)$ if and only if $n \geq 6$, except possibly for $n=6$. In the case of two empty cells, we show that there exists a $GHD(n+2,3n)$ if and only if $n \geq 6$. Noting that the proportion of cells in a given row or column of a $GHD(s,v)$ which are empty falls in the interval $[0,1/3)$, we prove that for any $π\in [0,5/18]$, there is a $GHD(s,v)$ whose proportion of empty cells in a row or column is arbitrarily close to $π$.
Convex p-partitions of bipartite graphs
Published
• View Publication
• BIB
A set of vertices X of a graph G is convex if it contains all vertices on shortest paths between vertices of X. We prove that for fixed p, all partitions of the vertex set of a bipartite graph into p convex sets can be found in polynomial time.
Expansions of generalized Euler's constants into the series of polynomials in $π^{-2}$ and into the formal enveloping series with rational coefficients only
Published in Journal of Number Theory (Elsevier), vol. 158, pp. 365-396, 2016; Journal of Number Theory (Elsevier) vol. 173, pp. 631-632, 2017
• View Publication
• BIB
In this work, two new series expansions for generalized Euler's constants (Stieltjes constants) $γ_m$ are obtained. The first expansion involves Stirling numbers of the first kind, contains polynomials in $π^{-2}$ with rational coefficients and converges slightly better than Euler's series $\sum n^{-2}$. The second expansion is a semi-convergent series with rational coefficients only. This expansion is particularly simple and involves Bernoulli numbers with a non-linear combination of generalized harmonic numbers. It also permits to derive an interesting estimation for generalized Euler's constants, which is more accurate than several well-known estimations. Finally, in Appendix A, the reader will also find two simple integral definitions for the Stirling numbers of the first kind, as well an upper bound for them.
Path separation by short cycles
Published
• View Publication
• BIB
Two Hamilton paths in $K_n$ are separated by a cycle of length $k$ if their union contains such a cycle. For small fixed values of $k$ we bound the asymptotics of the maximum cardinality of a family of Hamilton paths in $K_n$ such that any pair of paths in the family is separated by a cycle of length $k.$
The most unbalanced words $0^{q-p}1^p$ and majorization
Published
• View Publication
• BIB
A finite word $w\in\{0,1\}^*$ is balanced if for every equal-length factors $u$ and $v$ of every cyclic shift of $w$ we have $||u|_1-|v|_1| <= 1$. This new class of finite words were defined in [JZ].
In [J], there was proved several results considering finite balanced words and majorization. One of the main results was that the base-2 orbit of the balanced word is the least element in the set of orbits with respect to partial sum. It was also proved that the product of the elements in the base-2 orbit of a word is maximized precisely when the word is balanced.
It turns out that the words $0^{q-p}1^p$ have similar extremal properties, opposite to the balanced words, which makes it meaningful to call these words the most unbalanced words. This article contains the counterparts of the results mentioned above. We will prove that the orbit of the word $u=0^{q-p}1^p$ is the greatest element in the set of orbits with respect to partial sum and that it has the smallest product. We will also prove that $u$ is the greatest element in the set of orbits with respect to partial product.
The coloring of the regular graph of ideals
The regular graph of ideals of the commutative ring $R$, denoted by $Γ_{reg}(R)$, is a graph whose vertex set is the set of all non-trivial ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if either $I$ contains a $J$-regular element or $J$ contains an $I$-regular element. In this paper, it is shown that for every Artinian ring $R$, the edge chromatic number of $Γ_{reg}(R)$ equals its maximum degree. Then a formula for the clique number of $Γ_{reg}(R)$ is given. Also, it is proved that for every reduced ring $R$ with $n(\geq3)$ minimal prime ideals, the edge chromatic number of $Γ_{reg}(R)$ is $2^{n-1}-2$. Moreover, we show that both of the clique number and vertex chromatic number of $Γ_{reg}(R)$ are $n-1$, for every reduced ring $R$ with $n$ minimal prime ideals.