Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Strong edge-colorings of sparse graphs with large maximum degree
Published
• View Publication
• BIB
A {\em strong $k$-edge-coloring} of a graph $G$ is a mapping from $E(G)$ to $\{1,2,\ldots,k\}$ such that every two adjacent edges or two edges adjacent to the same edge receive distinct colors. The {\em strong chromatic index} $χ_s'(G)$ of a graph $G$ is the smallest integer $k$ such that $G$ admits a strong $k$-edge-coloring. We give bounds on $χ_s'(G)$ in terms of the maximum degree $Δ(G)$ of a graph $G$. when $G$ is sparse, namely, when $G$ is $2$-degenerate or when the maximum average degree ${\rm Mad}(G)$ is small. We prove that the strong chromatic index of each $2$-degenerate graph $G$ is at most $5Δ(G) +1$. Furthermore, we show that for a graph $G$, if ${\rm Mad}(G)< 8/3$ and $Δ(G)\geq 9$, then $χ_s'(G)\leq 3Δ(G) -3$ (the bound $3Δ(G) -3$ is sharp) and if ${\rm Mad}(G)<3$ and $Δ(G)\geq 7$, then $χ_s'(G)\leq 3Δ(G)$ (the restriction ${\rm Mad}(G)<3$ is sharp).
A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
Published
• View Publication
• BIB
Hirst investigated a slight variant of Hindman's Finite Sums Theorem -- called Hilbert's Theorem -- and proved it equivalent over $\RCA_0$ to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural restriction of Hindman's Theorem provably much weaker than Hindman's Theorem itself. We here introduce another natural variant of Hindman's Theorem -- which we name the Adjacent Hindman's Theorem -- and prove it to be provable from Ramsey's Theorem for pairs and strictly stronger than Hirst's Hilbert's Theorem. The lower bound is obtained by a direct combinatorial implication from the Adjacent Hindman's Theorem to the Increasing Polarized Ramsey's Theorem for pairs introduced by Dzhafarov and Hirst. In the Adjacent Hindman's Theorem homogeneity is required only for finite sums of adjacent elements.
A correction of a characterization of planar partial cubes
Published
• View Publication
• BIB
In this note we determine the set of expansions such that a partial cube is planar if and only if it arises by a sequence of such expansions from a single vertex. This corrects a result of Peterin.
The probability of unusually large components in the near-critical Erdős-Rényi graph
Published
• View Publication
• BIB
The largest components of the critical Erdős-Rényi graph, $G(n,p)$ with $p=1/n$, have size of order $n^{2/3}$ with high probability. We give detailed asymptotics for the probability that there is an unusually large component, i.e. of size $an^{2/3}$ for large $a$. Our results, which extend work of Pittel, allow $a$ to depend upon $n$ and also hold for a range of values of $p$ around $1/n$. We also provide asymptotics for the distribution of the size of the component containing a particular vertex.
Automorphisms of the Cube $n^d$
Published in Discrete mathematics, Vol. 344, Issue 3, 2021
• View Publication
• BIB
Consider a hypergraph $H_n^d$ where the vertices are points of the $d$-dimensional combinatorial cube $n^d$ and the edges are all sets of $n$ points such that they are in one line. We study the structure of the group of automorphisms of $H_n^d$, i.e., permutations of points of $n^d$ preserving the edges. In this paper we provide a complete characterization. Moreover, we consider the Colored Cube Isomorphism problem of deciding whether for two colorings of the vertices of $H_n^d$ there exists an automorphism of $H_n^d$ preserving the colors. We show that this problem is ${\sf GI}$-complete.
The constant of recognizability is computable for primitive morphisms
Mossé proved that primitive morphisms are recognizable. In this paper we give a computable upper bound for the constant of recognizability of such a morphism. This bound can be expressed only using the cardinality of the alphabet and the length of the longest image under the morphism of a letter.
The $\mathrm{L}_3(4)$ near octagon
In recent work we constructed two new near octagons, one related to the finite simple group $\mathrm{G}_2(4)$ and another one as a sub-near-octagon of the former. In the present paper, we give a direct construction of this sub-near-octagon using a split extension of the group $\mathrm{L}_3(4)$. We derive several geometric properties of this $\mathrm{L}_3(4)$ near octagon, and determine its full automorphism group. We also prove that the $\mathrm{L}_3(4)$ near octagon is closely related to the second subconstituent of the distance-regular graph on 486 vertices discovered by Soicher in 1993.
3-Rainbow index and forbidden subgraphs
Published
• View Publication
• BIB
A tree in an edge-colored connected graph $G$ is called \emph{a rainbow tree} if no two edges of it are assigned the same color. For a vertex subset $S\subseteq V(G)$, a tree is called an \emph{$S$-tree} if it connects $S$ in $G$. A \emph{$k$-rainbow coloring} of $G$ is an edge-coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow $S$-tree in $G$. The minimum number of colors that are needed in a $k$-rainbow coloring of $G$ is the \emph{$k$-rainbow index} of $G$, denoted by $rx_k(G)$. The \emph{Steiner distance $d(S)$} of a set $S$ of vertices of $G$ is the minimum size of an $S$-tree $T$. The \emph{$k$-Steiner diameter $sdiam_k(G)$} of $G$ is defined as the maximum Steiner distance of $S$ among all sets $S$ with $k$ vertices of $G$. In this paper, we focus on the 3-rainbow index of graphs and find all finite families $\mathcal{F}$ of connected graphs, for which there is a constant $C_\mathcal{F}$ such that, for every connected $\mathcal{F}$-free graph $G$, $rx_3(G)\leq sdiam_3(G)+C_\mathcal{F}$.
Collinear triples and quadruples for Cartesian products in $\mathbb{F}_p^2$
In this ote, which has been absorbed by arXiv1702.01003, we combine a recent point-line incidence bound of Stevens and de Zeeuw with an older lemma of Bourgain, Katz and Tao to bound the number of collinear triples and quadruples in a Cartesian product in $\mathbb{F}_p^2$.
Minimizing the number of independent sets in triangle-free regular graphs
Published
• View Publication
• BIB
Recently, Davies, Jenssen, Perkins, and Roberts gave a very nice proof of the result (due, in various parts, to Kahn, Galvin-Tetali, and Zhao) that the independence polynomial of a $d$-regular graph is maximized by disjoint copies of $K_{d,d}$. Their proof uses linear programming bounds on the distribution of a cleverly chosen random variable. In this paper, we use this method to give lower bounds on the independence polynomial of regular graphs. We also give new bounds on the number of independent sets in triangle-free regular graphs.
Measures on the square as sparse graph limits
Published
• View Publication
• BIB
We study a metric on the set of finite graphs in which two graphs are considered to be similar if they have similar bounded dimensional "factors". We show that limits of convergent graph sequences in this metric can be represented by symmetric Borel measures on $[0,1]^2$. This leads to a generalization of dense graph limit theory to sparse graph sequences.
On the existence of $3$- and $4$-kernels in digraphs
Let $D = (V(D), A(D))$ be a digraph. A subset $S \subseteq V(D)$ is $k$-independent if the distance between every pair of vertices of $S$ is at least $k$, and it is $\ell$-absorbent if for every vertex $u$ in $V(D) \setminus S$ there exists $v \in S$ such that the distance from $u$ to $v$ is less than or equal to $\ell$. A $k$-kernel is a $k$-independent and $(k-1)$-absorbent set. A kernel is simply a $2$-kernel.
A classical result due to Duchet states that if every directed cycle in a digraph $D$ has at least one symmetric arc, then $D$ has a kernel. We propose a conjecture generalizing this result for $k$-kernels and prove it true for $k = 3$ and $k = 4$.
A classification of polyhedral graph by combinatorially rigid vertices
When the number of non-triangular faces adjacent to a vertex $v$ is less than or equal to three, the vertex $v$ will be called (\emph{combinatorially}) \emph{rigid}.
We study the number of rigid vertices and suggest a conjecture on a classification of polyhedra.
Closed formulas for fractional chromatic polynomials of some common classes of graphs
Chromatic polynomials have been studied extensively, giving us results such as the Fundamental Reduction Theorem and closed formulas for the chromatic polynomials of common classes of graphs. Though, none of those extend to the context of fractional colorings. We thus present closed formulas for the "fractional" chromatic polynomial - a function that counts the number of distinct $b$-fold $λ$-colorings on a given graph - of complete graphs, trees and forests, as well as a generalized form of the Fundamental Reduction Theorem.
Restricted Stirling and Lah number matrices and their inverses
Published
• View Publication
• BIB
Given $R \subseteq \mathbb{N}$ let ${n \brace k}_R$, ${n \brack k}_R$, and $L(n,k)_R$ be the number of ways of partitioning the set $[n]$ into $k$ non-empty subsets, cycles and lists, respectively, with each block having cardinality in $R$. We refer to these as the $R$-restricted Stirling numbers of the second and first kind and the $R$-restricted Lah numbers, respectively. Note that the classical Stirling numbers of the second kind and first kind, and Lah numbers are ${n \brace k} = {n \brace k}_{\mathbb{N}}$, ${n \brack k} = {n \brack k}_{\mathbb{N}} $ and $L(n,k) = L(n,k)_{\mathbb{N}}$, respectively.
The matrices $[{n \brace k}]_{n,k \geq 1}$, $[{n \brack k}]_{n,k \geq 1}$ and $[L(n,k)]_{n,k \geq 1}$ have inverses $[(-1)^{n-k}{n \brack k}]_{n,k \geq 1}$, $[(-1)^{n-k} {n \brace k}]_{n,k \geq 1}$ and $[(-1)^{n-k} L(n,k)]_{n,k \geq 1}$ respectively. The inverse matrices $[{n \brace k}_R]^{-1}_{n,k \geq 1}$, $[{n \brack k}_R]^{-1}_{n,k \geq 1}$ and $[L(n,k)_R]^{-1}_{n,k \geq 1}$ exist if and only if $1 \in R$. We express each entry of each of these matrices as the difference between the cardinalities of two explicitly defined families of labeled forests. In particular the entries of $[{n \brace k}_{[r]}]^{-1}_{n,k \geq 1}$ have combinatorial interpretations, affirmatively answering a question of Choi, Long, Ng and Smith from 2006.
If $1,2 \in R$ and if for all $n \in R$ with $n$ odd and $n \geq 3$, we have $n \pm 1 \in R$, we additionally show that each entry of $[{n \brace k}_R]^{-1}_{n,k \geq 1}$, $[{n \brack k}_R]^{-1}_{n,k \geq 1}$ and $[L(n,k)_R]^{-1}_{n,k \geq 1}$ is up to an explicit sign the cardinality of a single explicitly defined family of labeled forests. Our results also provide combinatorial interpretations of the $k$th Whitney numbers of the first and second kinds of $Π_n^{1,d}$, the poset of partitions of $[n]$ that have each part size congruent to $1$ mod $d$.
NP-hard sets are not sparse unless P=NP: An exposition of a simple proof of Mahaney's Theorem, with applications
Mahaney's Theorem states that, assuming $\mathsf{P} \neq \mathsf{NP}$, no NP-hard set can have a polynomially bounded number of yes-instances at each input length. We give an exposition of a very simple unpublished proof of Manindra Agrawal whose ideas appear in Agrawal-Arvind ("Geometric sets of low information content," Theoret. Comp. Sci., 1996). This proof is so simple that it can easily be taught to undergraduates or a general graduate CS audience - not just theorists! - in about 10 minutes, which the author has done successfully several times. We also include applications of Mahaney's Theorem to fundamental questions that bright undergraduates would ask which could be used to fill the remaining hour of a lecture, as well as an application (due to Ikenmeyer, Mulmuley, and Walter, arXiv:1507.02955) to the representation theory of the symmetric group and the Geometric Complexity Theory Program. To this author, the fact that sparsity results on NP-complete sets have an application to classical questions in representation theory says that they are not only a gem of classical theoretical computer science, but indeed a gem of mathematics.
The homomorphism threshold of $\{C_3, C_5\}$-free graphs
Published
• View Publication
• BIB
We determine the structure of $\{C_3, C_5\}$-free graphs with $n$ vertices and minimum degree larger than $n/5$: such graphs are homomorphic to the graph obtained from a $(5k - 3)$-cycle by adding all chords of length $1$ mod $5$, for some $k$. This answers a question of Messuti and Schacht. We deduce that the homomorphism threshold of $\{C_3, C_5\}$-free graphs is $1/5$, thus answering a question of Oberkampf and Schacht.
Approximations of the Densest k-Subhypergraph and Set Union Knapsack problems
For any given $ε>0$ we provide an algorithm for the Densest $k$-Subhypergraph Problem with an approximation ratio of at most $O(n^{θ_m+2ε})$ for $θ_m=\frac{1}{2}m-\frac{1}{2}-\frac{1}{2m}$ and run time at most $O(n^{m-2+1/ε})$, where the hyperedges have at most $m$ vertices. We use this result to give an algorithm for the Set Union Knapsack Problem with an approximation ratio of at most $O(n^{α_m+ε})$ for $α_m=\frac{2}{3}[m-1-\frac{2m-2}{m^2+m-1}]$ and run time at most $O(n^{5(m-2)+9/ε})$, where the subsets have at most $m$ elements. The author is not aware of any previous results on the approximation of either of these two problems.
Hirzebruch-type inequalities and plane curve configurations
Published in International Journal of Mathematics Vol. 28, No. 2 (2017) 1750013
• View Publication
• BIB
In this paper we come back to a problem proposed by F. Hirzebruch in the 1980's, namely whether there exists a configuration of smooth conics in the complex projective plane such that the associated desingularization of the Kummer extension is a ball quotient. We extend our considerations to the so-called $d$-configurations of curves on the projective plane and we show that in most cases for a given configuration the associated desingularization of the Kummer extension is not a ball quotient. Moreover, we provide improved versions of Hirzebruch-type inequality for $d$-configurations. Finally, we show that the so-called characteristic numbers (or $γ$ numbers) for $d$-configurations are bounded from above by $8/3$. At the end of the paper we give some examples of surfaces constructed via Kummer extensions branched along conic configurations.
The odd-even invariant and Hamiltonian circuits in tope graphs
Published
• View Publication
• BIB
In this paper we consider the question of the existence of Hamiltonian circuits in the tope graphs of central arrangements of hyperplanes. Some of the results describe connections between the existence of Hamiltonian circuits in the arrangement and the odd-even invariant of the arrangement. In conjunction with this, we present some results concerning bounds on the odd-even invariant. The results given here can be formulated more generally for oriented matroids and are still valid in that setting.