Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On Helly number for crystals and cut-and-project sets
Published
• View Publication
• BIB
We prove existence of Helly numbers for crystals and for cut-and-project sets with convex windows. Also we show that for a two-dimensional crystal consisting of $k$ copies of a single lattice the Helly number does not exceed $k+6$.
Uniformly de Bruijn sequences and symbolic Diophantine approximation on fractals
Published
• View Publication
• BIB
Intrinsic Diophantine approximation on fractals, such as the Cantor ternary set, was undoubtedly motivated by questions asked by K. Mahler (1984). One of the main goals of this paper is to develop and utilize the theory of infinite de Bruijn sequences in order to answer closely related questions. In particular, we prove that the set of infinite de Bruijn sequences in $k\geq 2$ letters, thought of as a set of real numbers via a decimal expansion, has positive Hausdorff dimension. For a given $k$, these sequences bear a strong connection to Diophantine approximation on certain fractals. In particular, the optimality of an intrinsic Dirichlet function on these fractals with respect to the height function defined by symbolic representations of rationals follows from these results.
Edge-colorings of graphs avoiding complete graphs with a prescribed coloring
Published
• View Publication
• BIB
Given a graph $F$ and an integer $r \ge 2$, a partition $\widehat{F}$ of the edge set of $F$ into at most $r$ classes, and a graph $G$, define $c_{r, \widehat{F}}(G)$ as the number of $r$-colorings of the edges of $G$ that do not contain a copy of $F$ such that the edge partition induced by the coloring is isomorphic to the one of $F$. We think of $\widehat{F}$ as the pattern of coloring that should be avoided. The main question is, for a large enough $n$, to find the (extremal) graph $G$ on $n$ vertices which maximizes $c_{r, \widehat{F}}(G)$. This problem generalizes a question of Erd{\H o}s and Rothschild, who originally asked about the number of colorings not containing a monochromatic clique (which is equivalent to the case where $F$ is a clique and the partition $\widehat{F}$ contains a single class). We use Hölder's Inequality together with Zykov's Symmetrization to prove that, for any $r \geq 2$, $k \geq 3$ and any pattern $\widehat{K_k}$ of the clique $K_k$, there exists a complete multipartite graph that is extremal. Furthermore, if the pattern $\widehat{K_k}$ has at least two classes, with the possible exception of two very small patterns (on three or four vertices), every extremal graph must be a complete multipartite graph. In the case that $r=3$ and $\widehat{F}$ is a rainbow triangle (that is, where $F=K_3$ and each part is a singleton), we show that an extremal graph must be an almost complete graph. Still for $r=3$, we extend a result about monochromatic patterns of Alon, Balogh, Keevash and Sudakov to some patterns that use two of the three colors, finding the exact extremal graph. For the later two results, we use the Regularity and Stability Method.
Templates for Binary Matroids
Published in SIAM Journal on Discrete Mathematics 31 (2017), 254-282
• View Publication
• BIB
A binary frame template is a device for creating binary matroids from graphic or cographic matroids. Such matroids are said to conform or coconform to the template. We introduce a preorder on these templates and determine the nontrivial templates that are minimal with respect to this order. As an application of our main result, we determine the eventual growth rates of certain minor-closed classes of binary matroids, including the class of binary matroids with no minor isomorphic to PG(3,2). Our main result applies to all highly-connected matroids in a class, not just those of maximum size. As a second application, we characterize the highly-connected 1-flowing matroids.
A note on $G$-intersecting families
Published in Discrete Math. 260 (2003), no. 1-3, 183--188
• View Publication
• BIB
Consider a graph $G$ and a $k$-uniform hypergraph $\mathcal{H}$ on common vertex set $[n]$. We say that $\mathcal{H}$ is $G$-intersecting if for every pair of edges in $X,Y \in \mathcal{H}$ there are vertices $x \in X$ and $y \in Y$ such that $x = y$ or $x$ and $y$ are joined by an edge in $G$. This notion was introduced by Bohman, Frieze, Ruszinkó and Thoma who proved a natural generalization of the Erdős-Ko-Rado Theorem for $G$-intersecting $k$-uniform hypergraphs for $G$ sparse and $k = O( n^{1/4} )$. In this note, we extend this result to $k = O\left( \sqrt{n} \right)$.
How many random edges make a dense graph hamiltonian?
Published in Random Structures Algorithms 22(1) (2003), 33--42
• View Publication
• BIB
This paper investigates the number of random edges required to add to an arbitrary dense graph in order to make the resulting graph hamiltonian with high probability. Adding $Θ(n)$ random edges is both necessary and sufficient to ensure this for all such dense graphs. If, however, the original graph contains no large independent set, then many fewer random edges are required. We prove a similar result for directed graphs.
On randomly generated intersecting hypergraphs
Let $c$ be a positive constant. We show that if $r=\lfloor cn^{1/3}\rfloor$ and the members of ${[n]\choose r}$ are chosen sequentially at random to form an intersecting hypergraph then with limiting probability $(1+c^3)^{-1}$, as $n\to\infty$, the resulting family will be of maximum size ${n-1\choose r-1}$.
Sarkozy's theorem in function fields
Published
• View Publication
• BIB
Sárközy proved that dense sets of integers contain two elements differing by a $k$th power. The bounds in quantitative versions of this theorem are rather weak compared to what is expected. We prove a version of Sárközy's theorem for polynomials over $\mathbb{F}_q$ with polynomial dependencies in the parameters.
More precisely, let $P_{q,n}$ be the space of polynomials over $\mathbb{F}_q$ of degree $< n$ in an indeterminate $T$. Let $k \geq 2$ be an integer and let $q$ be a prime power. Set $c(k,q) := (2 k^2 D_q(k)^2\log q)^{-1}$, where $D_q(k)$ is the sum of the digits of $k$ in base $q$. If $A \subset P_{q,n}$ is a set with $|A| > 2q^{(1 - c(k,q))n}$, then $A$ contains distinct polynomials $p(T), p'(T)$ such that $p(T) - p'(T) = b(T)^k$ for some $b \in \mathbb{F}_q[T]$.
LDPC Codes Based on the Space of Symmetric Matrices over Finite Fields
Published
• View Publication
• BIB
In this paper, we present a new method for explicitly constructing regular low-density parity-check (LDPC) codes based on $\mathbb{S}_{n}(\mathbb{F}_{q})$, the space of $n\times n$ symmetric matrices over $\mathbb{F}_{q}$. Using this method, we obtain two classes of binary LDPC codes, $\cal{C}(n,q)$ and $\cal{C}^{T}(n,q)$, both of which have grith $8$. Then both the minimum distance and the stopping distance of each class are investigated. It is shown that the minimum distance and the stopping distance of $\cal{C}^{T}(n,q)$ are both $2q$. As for $\cal{C}(n,q)$, we determine the minimum distance and the stopping distance for some special cases and obtain the lower bounds for other cases.
Beyond the Borsuk-Ulam theorem: The topological Tverberg story
Bárány's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $Δ_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $Δ_N$ to the same point in $\mathbb{R}^d$. The proof of this result for the case when $r$ is a prime, as well as some colored version of the same result, using the results of Borsuk-Ulam and Dold on the non-existence of equivariant maps between spaces with a free group action, were main topics of Matoušek's 2003 book "Using the Borsuk-Ulam theorem."
In this paper we show how advanced equivariant topology methods allow one to go beyond the prime case of the topological Tverberg conjecture.
First we explain in detail how equivariant cohomology tools (employing the Borel construction, comparison of Serre spectral sequences, Fadell-Husseini index, etc.) can be used to prove the topological Tverberg conjecture whenever $r$ is a prime power. Our presentation includes a number of improved proofs as well as new results, such as a complete determination of the Fadell-Husseini index of chessboard complexes in the prime case.
Then we introduce the "constraint method," which applied to suitable "unavoidable complexes" yields a great variety of variations and corollaries to the topological Tverberg theorem, such as the "colored" and the "dimension-restricted" (Van Kampen-Flores type) versions.
Both parts have provided crucial components to the recent spectacular counter-examples in high dimensions for the case when $r$ is not a prime power.
Switched graphs of some strongly regular graphs related to the symplectic graph
Published
• View Publication
• BIB
Applying a method of Godsil and McKay \cite{GM} to some graphs related to the symplectic graph, a series of new infinite families of strongly regular graphs with parameters $(2^n\pm2^{(n-1)/2},2^{n-1}\pm2^{(n-1)/2},2^{n-2}\pm2^{(n-3)/2},2^{n-2}\pm2^{(n-1)/2})$ are constructed for any odd $n \geq 5$. The construction is described in terms of geometry of quadric in projective space. The binary linear codes of the switched graphs are $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+1}]_2$-code or $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+2}]_2$-code.
On the p-adic valuation of Stirling numbers of the first kind
Published in Acta Mathematica Hungarica 151 (2017) 217-231
• View Publication
• BIB
For all integers $n \geq k \geq 1$, define $H(n,k) := \sum 1 / (i_1 \cdots i_k)$, where the sum is extended over all positive integers $i_1 < \cdots < i_k \leq n$. These quantities are closely related to the Stirling numbers of the first kind by the identity $H(n,k) = s(n + 1, k + 1) / n!$. Motivated by the works of Erdős-Niven and Chen-Tang, we study the $p$-adic valuation of $H(n,k)$. In particular, for any prime number $p$, integer $k \geq 2$, and $x \geq (k-1)p$, we prove that $ν_p(H(n,k)) < -(k - 1)(\log_p(n/(k - 1)) - 1)$ for all positive integers $n \in [(k-1)p, x]$ whose base $p$ representations start with the base $p$ representation of $k - 1$, but at most $3x^{0.835}$ exceptions. We also generalize a result of Lengyel by giving a description of $ν_2(H(n,2))$ in terms of an infinite binary sequence.
Combinatorial mixed valuations
Published
• View Publication
• BIB
Combinatorial mixed valuations associated to translation-invariant valuations on polytopes are introduced. In contrast to the construction of mixed valuations via polarization, combinatorial mixed valuations reflect and often inherit properties of inhomogeneous valuations. In particular, it is shown that under mild assumptions combinatorial mixed valuations are monotone and hence nonnegative. For combinatorially positive valuations, this has strong computational implications. Applied to the discrete volume, the results generalize and strengthen work of Bihan (2015) on discrete mixed volumes. For rational polytopes, it is proved that combinatorial mixed monotonicity is equivalent to monotonicity. Stronger even, a conjecture is substantiated that combinatorial mixed monotonicity implies the homogeneous monotonicity in the sense of Bernig--Fu (2011).
The subdivision of large simplicial cones in Normaliz
Published
• View Publication
• BIB
Normaliz is an open-source software for the computation of lattice points in rational polyhedra, or, in a different language, the solutions of linear diophantine systems. The two main computational goals are (i) finding a system of generators of the set of lattice points and (ii) counting elements degree-wise in a generating function, the Hilbert Series. In the homogeneous case, in which the polyhedron is a cone, the set of generators is the Hilbert basis of the intersection of the cone and the lattice, an affine monoid.
We will present some improvements to the Normaliz algorithm by subdividing simplicial cones with huge volumes. In the first approach the subdivision points are found by integer programming techniques. For this purpose we interface to the integer programming solver SCIP to our software. In the second approach we try to find good subdivision points in an approximating overcone that is faster to compute.
Ramsey Numbers of Connected Clique Matchings
Published
• View Publication
• BIB
We determine the Ramsey number of a connected clique matching. That is, we show that if $G$ is a $2$-edge-coloured complete graph on $(r^2 - r - 1)n - r + 1$ vertices, then there is a monochromatic connected subgraph containing $n$ disjoint copies of $K_r$, and that this number of vertices cannot be reduced.
Degree versions of the Erdos-Ko-Rado Theorem and Erdos hypergraph matching conjecture
Published
• View Publication
• BIB
We use an algebraic method to prove a degree version of the celebrated Erd\H os-Ko-Rado theorem: given $n>2k$, every intersecting $k$-uniform hypergraph $H$ on $n$ vertices contains a vertex that lies on at most $\binom{n-2}{k-2}$ edges. This result can be viewed as a special case of the degree version of a well-known conjecture of Erdős on hypergraph matchings. Improving the work of Bollobás, Daykin, and Erd\H os from 1976, we show that given integers $n, k, s$ with $n\ge 3k^2 s$, every $k$-uniform hypergraph $H$ on $n$ vertices with minimum vertex degree greater than $\binom{n-1}{k-1}-\binom{n-s}{k-1}$ contains $s$ disjoint edges.
The square of the 9-hypercube is 14-colorable
The $n$-hypercube, denoted by $Q_n$, has a vertex for each bit string of length $n$ with two vertices adjacent whenever their Hamming distance is one. The minimum number of colors needed to color $Q_n$ such that no two vertices at a distance at most $k$ receive the same color is denoted by $χ_{\bar{k}}(n)$. Equivalently, $χ_{\bar{k}}(n)$ denotes the minimum number of binary codes with minimum distance at least $k+1$ required to partition the $n$-dimensional Hamming space. Using a computer search, we improve upon the known upper bound for $n=9$ by showing that $13 \leq χ_{\bar{2}}(9) \leq 14$.
Cluster expansion formulas in type A
Published in Algebr. Represent Theory, Vol 22 (1) (2019) 1-19
• View Publication
• BIB
The aim of this paper is to give analogs of the cluster expansion formula of Musiker and Schiffler for cluster algebras of type A with coefficients arising from boundary arcs of the corresponding triangulated polygon. Indeed, we give three cluster expansion formulas by perfect matchings of angles in triangulated polygon, by discrete subsets of arrows of the corresponding ice quiver and by minimal cuts of the corresponding quiver with potential.
A remark on A+B and A-A for compact sets in R^n
We prove in particular that if A be a compact convex subset of R^n, and B from R^n be an arbitrary compact set then μ(A-A) \ll μ(A+B)^2 / (\sqrt{n} μ(A)), provided that μ(B)\ge μ(A).
On the Roman domination number of generalized Sierpinski graphs
Published
• View Publication
• BIB
A map $f : V \rightarrow \{0, 1, 2\}$ is a Roman dominating function on a graph $G=(V,E)$ if for every vertex $v\in V$ with $f(v) = 0$, there exists a vertex $u$, adjacent to $v$, such that $f(u) = 2$. The weight of a Roman dominating function is given by $f(V) =\sum_{u\in V}f(u)$. The minimum weight of a Roman dominating function on $G$ is called the Roman domination number of $G$. In this article we study the Roman domination number of Generalized Sierpiński graphs $S(G,t)$. More precisely, we obtain a general upper bound on the Roman domination number of $S(G,t)$ and we discuss the tightness of this bound. In particular, we focus on the cases in which the base graph $G$ is a path, a cycle, a complete graph or a graph having exactly one universal vertex.