Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Pach's selection theorem does not admit a topological extension
Published in Discrete & Computational Geometry, 60(2), pp. 420--429, 2018
• Search Publication
Let $U_1,\dots, U_{d+1}$ be $n$-element sets in $R^d$ and let $\langle u_1,\ldots,u_{d+1}\rangle$ denote the convex hull of points $u_i$ in $U_i$ (for all $i$) which is a (possibly degenerate) simplex. Pach's selection theorem says that there are sets $Z_1 \subset U_1,\dots, Z_{d+1} \subset U_{d+1}$ and a point $u$ in $R^d$ such that each $|Z_i| > c_1(d)n$ and $u$ belongs to $\langle z_1,...,z_{d+1} \rangle$ for every choice of $z_1$ in $Z_1,\dots,z_{d+1}$ in $Z_{d+1}$. Here we show that this theorem does not admit a topological extension with linear size sets $Z_i$. However, there is a topological extension where each $|Z_i|$ is of order $(\log n)^(1/d)$.
Weighted dependency graphs and the Ising model
Published
• View Publication
• BIB
Weighted dependency graphs have been recently introduced by the second author, as a toolbox to prove central limit theorems. In this paper, we prove that spins in the $d$-dimensional Ising model display such a weighted dependency structure. We use this to obtain various central limit theorems for the number of occurrences of local and global patterns in a growing box.
Increasing spanning forests in graphs and simplicial complexes
Published
• View Publication
• BIB
Let G be a graph with vertex set {1,...,n}. A spanning forest F of G is increasing if the sequence of labels on any path starting at the minimum vertex of a tree of F form an increasing sequence. Hallam and Sagan showed that the generating function ISF(G,t) for increasing spanning forests of G has all nonpositive integral roots. Furthermore they proved that, up to a change of sign, this polynomial equals the chromatic polynomial of G precisely when 1,...,n is a perfect elimination order for G. We give new, purely combinatorial proofs of these results which permit us to generalize them in several ways. For example, we are able to bound the coefficients of ISF(G,t) using broken circuits. We are also able to extend these results to simplicial complexes using the new notion of a cage-free complex. A generalization to labeled multigraphs is also given. We end by exploring spanning forests where the increasing condition is replaced by having the label sequences avoid the patterns 231, 312, and 321.
The canonical join complex
Published
• View Publication
• BIB
In this paper, we study the combinatorics of a certain minimal factorization of the elements in a finite lattice $L$ called the canonical join representation. The join $\bigvee A =w$ is the canonical join representation of $w$ if $A$ is the unique lowest subset of $L$ satisfying $\bigvee A=w$ (where "lowest" is made precise by comparing order ideals under containment). When each element in $L$ has a canonical join representation, we define the canonical join complex to be the abstract simplicial complex of subsets $A$ such that $\bigvee A$ is a canonical join representation. We characterize the class of finite lattices whose canonical join complex is flag, and show how the canonical join complex is related to the topology of $L$.
Empirical spectral distributions of sparse random graphs
Published
• View Publication
• BIB
We study the spectrum of a random multigraph with a degree sequence ${\bf D}_n=(D_i)_{i=1}^n$ and average degree $1 \ll ω_n \ll n$, generated by the configuration model, and also the spectrum of the analogous random simple graph. We show that, when the empirical spectral distribution (ESD) of $ω_n^{-1} {\bf D}_n $ converges weakly to a limit $ν$, under mild moment assumptions (e.g., $D_i/ω_n$ are i.i.d. with a finite second moment), the ESD of the normalized adjacency matrix converges in probability to $ν\boxtimes σ_{\rm sc}$, the free multiplicative convolution of $ν$ with the semicircle law. Relating this limit with a variant of the Marchenko--Pastur law yields the continuity of its density (away from zero), and an effective procedure for determining its support.
Our proof of convergence is based on a coupling between the random simple graph and multigraph with the same degrees, which might be of independent interest. We further construct and rely on a coupling of the multigraph to an inhomogeneous Erdős-Rényi graph with the target ESD, using three intermediate random graphs, with a negligible fraction of edges modified in each step.
Balancing sums of random vectors
Published
• View Publication
• BIB
We study a higher-dimensional 'balls-into-bins' problem. An infinite sequence of i.i.d. random vectors is revealed to us one vector at a time, and we are required to partition these vectors into a fixed number of bins in such a way as to keep the sums of the vectors in the different bins close together; how close can we keep these sums almost surely? This question, our primary focus in this paper, is closely related to the classical problem of partitioning a sequence of vectors into balanced subsequences, in addition to having applications to some problems in computer science.