Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Directed rooted forests in higher dimension
Published
• View Publication
• BIB
For a graph G, the generating function of rooted forests, counted by the number of connected components, can be expressed in terms of the eigenvalues of the graph Laplacian. We generalize this result from graphs to cell complexes of arbitrary dimension. This requires generalizing the notion of rooted forest to higher dimension. We also introduce orientations of higher dimensional rooted trees and forests. These orientations are discrete vector fields which lead to open questions concerning expressing homological quantities combinatorially.
Hangable Graphs
Let $G=(V_G,E_G)$ be a connected graph. The distance $d_G(u,v)$ between vertices $u$ and $v$ in $G$ is the length of a shortest $u-v$ path in $G$. The eccentricity of a vertex $v$ in $G$ is the integer $e_G(v)= \max\{ d_G(v,u) \colon u\in V_G\}$. The diameter of $G$ is the integer $d(G)= \max\{e_G(v)\colon v\in V_G\}$. The periphery of a~vertex $v$ of $G$ is the set $P_G(v)= \{u\in V_G\colon d_G(v,u)= e_G(v)\}$, while the periphery of $G$ is the set $P(G)= \{v\in V_G\colon e_G(v)=d(G)\}$. We say that graph $G$ is hangable if $P_G(v)\subequal P(G)$ for every vertex $v$ of $G$. In this paper we prove that every block graph is hangable and discuss the hangability of products of graphs.
Volume of Hypercubes Clipped by Hyperplanes and Combinatorial Identities
Published
• View Publication
• BIB
There is an elegant expression for the volume of hypercube $[0,1]^n$ clipped by a single hyperplane. In the article the formula is generalized to the case of more than one hyperplane. An important foundation for the result is Lawrence's formula and a way to weaken two restrictions of simplicity and non-parallelness in his formula is also considered. Several concrete volume formulas of clipped hypercubes are derived explicitly and the corresponding combinatorial identities are obtained as an application.
Choosability with union separation
Published
• View Publication
• BIB
List coloring generalizes graph coloring by requiring the color of a vertex to be selected from a list of colors specific to that vertex. One refinement of list coloring, called choosability with separation, requires that the intersection of adjacent lists is sufficiently small. We introduce a new refinement, called choosability with union separation, where we require that the union of adjacent lists is sufficiently large. For $t \geq k$, a $(k,t)$-list assignment is a list assignment $L$ where $|L(v)| \geq k$ for all vertices $v$ and $|L(u)\cup L(v)| \geq t$ for all edges $uv$. A graph is $(k,t)$-choosable if there is a proper coloring for every $(k,t)$-list assignment. We explore this concept through examples of graphs that are not $(k,t)$-choosable, demonstrating sparsity conditions that imply a graph is $(k,t)$-choosable, and proving that all planar graphs are $(3,11)$-choosable and $(4,9)$-choosable.
Colouring Diamond-free Graphs
Published
• View Publication
• BIB
The Colouring problem is that of deciding, given a graph $G$ and an integer $k$, whether $G$ admits a (proper) $k$-colouring. For all graphs $H$ up to five vertices, we classify the computational complexity of Colouring for $(\mbox{diamond},H)$-free graphs. Our proof is based on combining known results together with proving that the clique-width is bounded for $(\mbox{diamond}, P_1+2P_2)$-free graphs. Our technique for handling this case is to reduce the graph under consideration to a $k$-partite graph that has a very specific decomposition. As a by-product of this general technique we are also able to prove boundedness of clique-width for four other new classes of $(H_1,H_2)$-free graphs. As such, our work also continues a recent systematic study into the (un)boundedness of clique-width of $(H_1,H_2)$-free graphs, and our five new classes of bounded clique-width reduce the number of open cases from 13 to 8.
On graphs decomposable into induced matchings of linear sizes
Published
• View Publication
• BIB
We call a graph $G$ an $(r,t)$-Ruzsa-Szemerédi graph if its edge set can be partitioned into $t$ edge-disjoint induced matchings, each of size $r$. These graphs were introduced in 1978 and has been extensively studied since then. In this paper, we consider the case when $r=cn$. For $c>1/4$, we determine the maximum possible $t$ which is a constant depending only on $c$. On the other hand, when $c=1/4$, there could be as many as $Ω(\log n)$ induced matchings. We prove that this bound is tight up to a constant factor. Finally, when $c$ is fixed strictly between $1/5$ and $1/4$, we give a short proof that the number $t$ of induced matchings is $O(n/\log n)$. We are also able to further improve the upper bound to $o(n/\log n)$ for fixed $c> 1/4-b$ for some positive constant $b$.
On the diameter of lattice polytopes
Published
• View Publication
• BIB
In this paper we show that the diameter of a d-dimensional lattice polytope in [0,k]^n is at most (k - 1/2) d. This result implies that the diameter of a d-dimensional half-integral polytope is at most 3/2 d. We also show that for half-integral polytopes the latter bound is tight for any d.
Ramsey goodness of paths
Published
• View Publication
• BIB
Given a pair of graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $N$ such that every red-blue coloring of the edges of the complete graph $K_N$ contains a red copy of $G$ or a blue copy of $H$. If graph $G$ is connected, it is well known and easy to show that $R(G,H) \geq (|G|-1)(χ(H)-1)+σ(H)$, where $χ(H)$ is the chromatic number of $H$ and $σ$ the size of the smallest color class in a $χ(H)$-coloring of $H$. A graph $G$ is called $H$-good if $R(G,H)= (|G|-1)(χ(H)-1)+σ(H)$. The notion of Ramsey goodness was introduced by Burr and Erdős in 1983 and has been extensively studied since then. In this short note we prove that $n$-vertex path $P_n$ is $H$-good for all $n\geq 4|H|$. This proves in a strong form a conjecture of Allen, Brightwell, and Skokan.
Tutte relations, TQFT, and planarity of cubic graphs
Published
• View Publication
• BIB
It has been known since the work of Tutte that the value of the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ has a number of remarkable properties. We investigate to what extent Tutte's relations characterize planar graphs. A version of the Tutte linear relation for the flow polynomial at $(3-\sqrt{5})/2$ is shown to give a planarity criterion for $3$-connected cubic graphs. A conjecture is formulated that the golden identity for the flow polynomial characterizes planarity of cubic graphs as well. In addition, Tutte's upper bound on the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ is generalized to other Beraha numbers, and an exponential lower bound is given for the value at $(3-\sqrt{5})/2$. The proofs of these results rely on the structure of the Temperley-Lieb algebra and more generally on methods of topological quantum field theory.
The local metric dimension of subgraph-amalgamation of graphs
A vertex $v$ is said to distinguish two other vertices $x$ and $y$ of a nontrivial connected graph G if the distance from $v$ to $x$ is different from the distance from $v$ to $y$. A set $S\subseteq V(G)$ is a local metric set for $G$ if every two adjacent vertices of $G$ are distinguished by some vertex of $S$. A local metric set with minimum cardinality is called a local metric basis for $G$ and its cardinality, the local metric dimension of $G$, denoted by $\dim_l(G)$. In this paper we present tight bounds for the local metric dimension of subgraph-amalgamation of graphs with special emphasis in the case of subgraphs which are isometric embeddings.
Maximum scattered linear sets and complete caps in Galois spaces
Published
• View Publication
• BIB
Explicit constructions of infinite families of scattered ${\mathbb F}_q$--linear sets in $PG(r-1,q^t)$ of maximal rank $\frac{rt}2$, for $t$ even, are provided. When $q=2$ and $r$ is odd, these linear sets correspond to complete caps in $AG(r,2^t)$ fixed by a translation group of size $2^{\frac{rt}2}$. The doubling construction applied to such caps gives complete caps in $AG(r+1,2^t)$ of size $2^{\frac{rt}2+1}$. For Galois spaces of even dimension greater than $2$ and even square order, this solves the long-standing problem of establishing whether the theoretical lower bound for the size of a complete cap is substantially sharp.
On the structure of dominating graphs
Published
• View Publication
• BIB
The $k$-dominating graph $D_k(G)$ of a graph $G$ is defined on the vertex set consisting of dominating sets of $G$ with cardinality at most $k$, two such sets being adjacent if they differ by either adding or deleting a single vertex. A graph is a dominating graph if it is isomorphic to $D_k(G)$ for some graph $G$ and some positive integer $k$. Answering a question of Haas and Seyffarth for graphs without isolates, it is proved that if $G$ is such a graph of order $n\ge 2$ and with $G\cong D_k(G)$, then $k=2$ and $G=K_{1,n-1}$ for some $n\ge 4$. It is also proved that for a given $r$ there exist only a finite number of $r$-regular, connected dominating graphs of connected graphs. In particular, $C_6$ and $C_8$ are the only dominating graphs in the class of cycles. Some results on the order of dominating graphs are also obtained.
Orthogonal apartments in Hilbert Grassmannians. Finite-dimensional case
Let $H$ be a complex Hilbert space of finite dimension $n\ge 3$. Denote by ${\mathcal G}_{k}(H)$ the Grassmannian consisting of $k$-dimensional subspaces of $H$. Every orthogonal apartment of ${\mathcal G}_{k}(H)$ is defined by a certain orthogonal base of $H$ and consists of all $k$-dimensional subspaces spanned by subsets of this base. For $n\ne 2k$ (except the case when $n=6$ and $k$ is equal to $2$ or $4$) we show that every bijective transformation of ${\mathcal G}_{k}(H)$ sending orthogonal apartments to orthogonal apartments is induced by an unitary or conjugate-unitary operator on $H$. The second result is the following: if $n=2k\ge 8$ and $f$ is a bijective transformation of ${\mathcal G}_{k}(H)$ such that $f$ and $f^{-1}$ send orthogonal apartments to orthogonal apartments then there is an unitary or conjugate-unitary operator $U$ such that for every $X\in {\mathcal G}_{k}(H)$ we have $f(X)=U(X)$ or $f(X)$ coincides with the orthogonal complement of $U(X)$.
Decomposition spaces, incidence algebras and Möbius inversion I: basic theory
Published in Adv. Math. 331 (2018), 952-1015
• View Publication
• BIB
This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and Möbius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences of $\infty$-groupoids. A decomposition space is a simplicial $\infty$-groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of active and inert maps in Delta. Just as the Segal condition expresses composition, the new condition expresses decomposition, and there is an abundance of examples in combinatorics. After establishing some basic properties of decomposition spaces, the main result of this first paper shows that to any decomposition space there is an associated incidence coalgebra, spanned by the space of 1-simplices, and with coefficients in $\infty$-groupoids. We take a functorial viewpoint throughout, emphasising conservative ULF functors; these induce coalgebra homomorphisms. Reduction procedures in the classical theory of incidence coalgebras are examples of this notion, and many are examples of decalage of decomposition spaces. An interesting class of examples of decomposition spaces beyond Segal spaces is provided by Hall algebras: the Waldhausen S-construction of an abelian (or stable infinity) category is shown to be a decomposition space. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces. Our theory is quite orthogonal to theirs: the definitions are different in spirit and appearance, and the theories differ in terms of motivation, examples and directions.
Decomposition spaces, incidence algebras and Möbius inversion II: completeness, length filtration, and finiteness
Published in Adv. Math. 333 (2018), 1242-1292
• View Publication
• BIB
This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and Möbius inversion, with coefficients in $\infty$-groupoids. A decomposition space is a simplicial $\infty$-groupoid satisfying an exactness condition weaker than the Segal condition. Just as the Segal condition expresses composition, the new condition expresses decomposition. In this paper, we introduce various technical conditions on decomposition spaces. The first is a completeness condition (weaker than Rezk completeness), needed to control simplicial nondegeneracy. For complete decomposition spaces we establish a general Möbius inversion principle, expressed as an explicit equivalence of $\infty$-groupoids. Next we analyse two finiteness conditions on decomposition spaces. The first, that of locally finite length, guarantees the existence of the important length filtration on the associated incidence coalgebra. We show that a decomposition space of locally finite length is actually the left Kan extension of a semi-simplicial space. The second finiteness condition, local finiteness, ensures we can take homotopy cardinality to pass from the level of $\infty$-groupoids to the level of vector spaces. These three conditions - completeness, locally finite length, and local finiteness - together define our notion of Möbius decomposition space, which extends Leroux's notion of Möbius category (in turn a common generalisation of the locally finite posets of Rota et al. and of the finite decomposition monoids of Cartier-Foata), but which also covers many coalgebra constructions which do not arise from Möbius categories, such as the Faà di Bruno and Connes-Kreimer bialgebras. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces.
Decomposition spaces, incidence algebras and Möbius inversion III: the decomposition space of Möbius intervals
Published in Adv. Math. 334 (2018), 544-584
• View Publication
• BIB
Decomposition spaces are simplicial $\infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of Möbius decomposition space, a far-reaching generalisation of the notion of Möbius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of Möbius intervals, which contains the universal Möbius function (but is not induced by a Möbius category), can be realised as the homotopy cardinality of a Möbius decomposition space $U$ of all Möbius intervals, and that in a certain sense $U$ is universal for Möbius decomposition spaces and CULF functors.
The difference and ratio of the fractional matching number and the matching number of graphs
Published in Discrete Mathematics, Volume 339, Issue 4, 6 April 2016, Pages 1382-1386
• View Publication
• BIB
Given a graph $G$, the matching number of $G$, written $α'(G)$, is the maximum size of a matching in $G$, and the fractional matching number of $G$, written $α'_f(G)$, is the maximum size of a fractional matching of $G$. In this paper, we prove that if $G$ is an $n$-vertex connected graph that is neither $K_1$ nor $K_3$, then $α'_f(G)-α'(G) \le \frac{n-2}6$ and $\frac{α'_f(G)}{α'(G)} \le \frac{3n}{2n+2}$. Both inequalities are sharp, and we characterize the infinite family of graphs where equalities hold.
Coset Construction for Subspace Codes
Published
• View Publication
• BIB
One of the main problems of the research area of network coding is to compute good lower and upper bounds of the achievable cardinality of so-called subspace codes in $\operatorname{PG}(n,q)$, i.e., the set of subspaces of $\mathbb{F}_q^n$, for a given minimal distance. Here we generalize a construction of Etzion and Silberstein to a wide range of parameters. This construction, named coset construction, improves or attains several of the previously best-known subspace code sizes and attains the MRD bound for an infinite family of parameters.
The number of Hamiltonian decompositions of regular graphs
Published
• View Publication
• BIB
A Hamilton cycle in a graph $Γ$ is a cycle passing through every vertex of $Γ$. A Hamiltonian decomposition of $Γ$ is a partition of its edge set into disjoint Hamilton cycles. One of the oldest results in graph theory is Walecki's theorem from the 19th century, showing that a complete graph $K_n$ on an odd number of vertices $n$ has a Hamiltonian decomposition. This result was recently greatly extended by Kühn and Osthus. They proved that every $r$-regular $n$-vertex graph $Γ$ with even degree $r=cn$ for some fixed $c>1/2$ has a Hamiltonian decomposition, provided $n=n(c)$ is sufficiently large. In this paper we address the natural question of estimating $H(Γ)$, the number of such decompositions of $Γ$. Our main result is that $H(Γ)=r^{(1+o(1))nr/2}$. In particular, the number of Hamiltonian decompositions of $K_n$ is $n^{(1-o(1))n^2/2}$.
On the Bandwidth of the Kneser Graph
Published
• View Publication
• BIB
Let $G = (V,E)$ be a graph on $n$ vertices and $f: V\rightarrow [1,n]$ a one to one map of $V$ onto the integers $1$ through $n$. Let $dilation(f) =$ max$\{ |f(v) - f(w)|: vw\in E \}$. Define the {\it bandwidth} $B(G)$ of $G$ to be the minimum possible value of $dilation(f)$ over all such one to one maps $f$. Next define the {\it Kneser Graph} $K(n,r)$ to be the graph with vertex set $\binom{[n]}{r}$, the collection of $r$-subsets of an $n$ element set, and edge set $E = \{ vw: v,w\in \binom{[n]}{r}, v\cap w = \emptyset \}$. For fixed $r\geq 4$ and $n\rightarrow \infty$ we show that $$B(K(n,r)) = \binom{n}{r} - \frac{1}{2}\binom{n-1}{r-1} - 2\frac{n^{r-2}}{(r-2)!} + (r + 2)\frac{n^{r-3}}{(r-3)!} + O(n^{r-4}).$$