Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Dimer spaces and gliding systems
Dimer coverings (or perfect matchings) of a finite graph are classical objects of graph theory appearing in the study of exactly solvable models of statistical mechanics. We introduce more general dimer labelings which form a topological space called the dimer space of the graph. This space turns out to be a cubed complex whose vertices are the dimer coverings. We show that the dimer space is nonpositively curved in the sense of Gromov, so that its universal covering is a CAT(0)-space. We study the fundamental group of the dimer space and, in particular, obtain a presentation of this group by generators and relations. We discuss connections with right-angled Artin groups and braid groups of graphs. Our approach uses so-called gliding systems in groups designed to produce nonpositively curved cubed complexes.
Short proofs of coloring theorems on planar graphs
Published
• View Publication
• BIB
A recent lower bound on the number of edges in a k-critical n-vertex graph by Kostochka and Yancey yields a half-page proof of the celebrated Grötzsch Theorem that every planar triangle-free graph is 3-colorable. In this paper we use the same bound to give short proofs of other known theorems on 3-coloring of planar graphs, among whose is the Grünbaum-Aksenov Theorem that every planar with at most three triangles is 3-colorable. We also prove the new result that every graph obtained from a triangle-free planar graph by adding a vertex of degree at most four is 3-colorable.
Freiman's theorem in an arbitrary nilpotent group
Published in Proc. London Math. Soc. 109 (2014) 318-352
• View Publication
• BIB
We prove a Freiman-Ruzsa-type theorem valid in an arbitrary nilpotent group. Specifically, we show that a K-approximate subgroup A of an s-step nilpotent group G is contained in a coset nilprogression of rank at most f(K) and cardinality at most exp(g(K))|A|, with f and g polynomials depending only on the step s of G. To motivate this, we give a direct proof of Breuillard and Green's analogous result for torsion-free nilpotent groups, avoiding the use of Mal'cev's embedding theorem.
Cube-Like Polytopes and Complexes
The main purpose of this paper is to popularize Danzer's power complex construction and establish some new results about covering maps between two power complexes. Power complexes are cube-like combinatorial structures that share many structural properties with higher-dimensional cubes and cubical tessellations on manifolds. Power complexes that are also abstract polytopes have repeatedly appeared somewhat unexpectedly in various contexts, although often under a different name. However, the non-polytope case is largely unexplored.
Pebbling in Split Graphs
Graph pebbling is a network optimization model for transporting discrete resources that are consumed in transit: the movement of two pebbles across an edge consumes one of the pebbles. The pebbling number of a graph is the fewest number of pebbles t so that, from any initial configuration of t pebbles on its vertices, one can place a pebble on any given target vertex via such pebbling steps. It is known that deciding if a given configuration on a particular graph can reach a specified target is NP-complete, even for diameter two graphs, and that deciding if the pebbling number has a prescribed upper bound is Π_2^P-complete.
On the other hand, for many families of graphs there are formulas or polynomial algorithms for computing pebbling numbers; for example, complete graphs, products of paths (including cubes), trees, cycles, diameter two graphs, and more. Moreover, graphs having minimum pebbling number are called Class 0, and many authors have studied which graphs are Class 0 and what graph properties guarantee it, with no characterization in sight.
In this paper we investigate an important family of diameter three chordal graphs called split graphs; graphs whose vertex set can be partitioned into a clique and an independent set. We provide a formula for the pebbling number of a split graph, along with an algorithm for calculating it that runs in O(n^β) time, where β=2ω/(ω+1)\cong 1.41 and ω\cong 2.376 is the exponent of matrix multiplication. Furthermore we determine that all split graphs with minimum degree at least 3 are Class 0.
Two Approaches to the Construction of Deletion Correcting Codes: Weight Partitioning and Optimal Colorings
Published
• View Publication
• BIB
We consider the problem of constructing deletion correcting codes over a binary alphabet and take a graph theoretic view. An $n$-bit $s$-deletion correcting code is an independent set in a particular graph. We propose constructing such a code by taking the union of many constant Hamming weight codes. This results in codes that have additional structure. Searching for codes in constant Hamming weight induced subgraphs is computationally easier than searching the original graph. We prove a lower bound on size of a codebook constructed this way for any number of deletions and show that it is only a small factor below the corresponding lower bound on unrestricted codes. In the single deletion case, we find optimal colorings of the constant Hamming weight induced subgraphs. We show that the resulting code is asymptotically optimal. We discuss the relationship between codes and colorings and observe that the VT codes are optimal in a coloring sense. We prove a new lower bound on the chromatic number of the deletion channel graphs. Colorings of the deletion channel graphs that match this bound do not necessarily produce asymptotically optimal codes.
Crossings and Nestings for Arc-Coloured Permutations
Published in DMTCS Proceedings, 0(01):743-754, 2013
• View Publication
• BIB
The equidistribution of many crossing and nesting statistics exists in several combinatorial objects like matchings, set partitions, permutations, and embedded labelled graphs. The involutions switching nesting and crossing numbers for set partitions given by Krattenthaler, also by Chen, Deng, Du, Stanley, and Yan, and for permutations given by Burrill, Mishna, and Post involved passing through tableau-like objects. Recently, Chen and Guo for matchings, and Marberg for set partitions extended the result to coloured arc annotated diagrams. We prove that symmetric joint distribution continues to hold for arc-coloured permutations. As in Marberg's recent work, but through a different interpretation, we also conclude that the ordinary generating functions for all $j$-noncrossing, $k$-nonnesting, $r$-coloured permutations according to size $n$ are rational functions. We use the interpretation to automate the generation of these rational series for both noncrossing and nonnesting coloured set partitions and permutations.
Graph removal lemmas
Published
• View Publication
• BIB
The graph removal lemma states that any graph on n vertices with o(n^{v(H)}) copies of a fixed graph H may be made H-free by removing o(n^2) edges. Despite its innocent appearance, this lemma and its extensions have several important consequences in number theory, discrete geometry, graph theory and computer science. In this survey we discuss these lemmas, focusing in particular on recent improvements to their quantitative aspects.
On Wiener polarity index of cactus graphs
Published in Mathematica Applicata, 2013, 26(4), 798-802
• Search Publication
The Wiener polarity index of a graph G is the number of unordered pairs of vertices u, v such that the distance between u and v is 3. In this paper we give an explicit formula for the Wiener polarity index of cactus graphs. We also deduce formulas for some special cactus graphs.
Characterizing partition functions of the edge-coloring model by rank growth
Published
• View Publication
• BIB
We characterize which graph invariants are partition functions of an edge-coloring model over the complex numbers, in terms of the rank growth of associated `connection matrices'.
Free partially commutative groups, cohomology, and paths and circuits in directed graphs on surfaces
We show that for each fixed $k$, the problem of finding $k$ pairwise vertex-disjoint directed paths between given source-sink pairs in a planar directed graph is solvable in polynomial time. In fact, it suffices to fix the number of faces needed to cover all sources and sinks. Moreover, the method can be extended to any fixed compact orientable surface (instead of the plane) and to rooted trees (instead of paths).
Our approach is algebraic and is based on cohomology over graph (nonabelian) groups. More precisely, let $D=(V,A)$ be a directed graph and let $(G,\cdot)$ be a group. Call two function $φ,ψ:A\to G$ {\em cohomologous} if there exists a function $p:V\to G$ such that $p(u)\cdotφ(a)\cdot p(w)^{-1}=ψ(a)$ for each arc $a=(u,w)$. Now given a function $φ:A\to G$ we want to find a function $ψ$ cohomologous to $φ$ such that each $ψ(a)$ belongs to a prescribed subset $H(a)$ of $G$. We give a polynomial-time algorithm for this problem in case $G$ is a graph group and each $H(a)$ is closed (i.e., if word $xyz$ belongs to $H(a)$ then also word $y$ belongs to $H(a)$).
The method also implies that such a $ψ$ exists, if and only if for each $s\in V$ and each pair $P,Q$ of (undirected) $s-s$ paths there exists an $x\in G$ such that $x\cdotφ(P)\cdot x^{-1}\in H(P)$ and $x\cdotφ(Q)\cdot x^{-1}\in H(P)$. (Here $φ(P)$ is the product of the $φ(a)$ over the arcs in $P$. Similarly, $H(P)$ is the (group subset) product of the $H(a)$.)
Low rank approximation of polynomials
Let $k\leq n$. Each polynomial $p\in\oR[x_1,...,x_n]$ can be uniquely written as $p=\sum_μμp_μ$, where $μ$ ranges over the set $M$ of all monomials in $\oR[x_1,...,x_k]$ and where $p_μ\in\oR[x_{k+1},...,x_n]$. If $p$ is $d$-homogeneous and $\varepsilon>0$, we say that $p$ is {\em $\varepsilon$-concentrated on the first $k$ variables} if $$\sum_{μ\in M\atop°(μ)<d}\max_{x\in\oR^{n-k}\atop\|x\|=1}p_μ(x)^2\leq\varepsilon\|p\|^2,$$ where $\|p\|$ is the Bombieri norm of $p$. We show that for each $d\in\oN$ and $\varepsilon>0$ there exists $k_{d,\varepsilon}$ such that for each $n$ and each $d$-homogeneous $p\in\oR[x_1,...,x_n]$ there exists $k\leq k_{d,\varepsilon}$ such that $p$ is $\varepsilon$-concentrated on the first $k$ variables {\em after some orthogonal transformation of $\oR^n$}. (So $k_{d,\varepsilon}$ is independent of the number $n$ of variables.) We derive this as a consequence of a more general theorem on low rank approximation of polynomials.
Weak and strong regularity, compactness, and approximation of polynomials
Let $X$ be an inner product space, let $G$ be a group of orthogonal transformations of $X$, and let $R$ be a bounded $G$-stable subset of $X$. We define very weak and very strong regularity for such pairs $(R,G)$ (in the sense of Szemerédi's regularity lemma), and prove that these two properties are equivalent. Moreover, these properties are equivalent to the compactness of the space $(B(H),d_R)/G$. Here $H$ is the completion of $X$ (a Hilbert space), $B(H)$ is the unit ball in $H$, $d_R$ is the metric on $H$ given by $d_R(x,y):=\sup_{r\in R}|<r,x-y>|$, and $(B(H),d_R)/G$ is the orbit space of $(B(H),d_R)$ (the quotient topological space with the $G$-orbits as quotient classes). As applications we give Szemerédi's regularity lemma, a related regularity lemma for partitions into intervals, and a low rank approximation theorem for homogeneous polynomials.
On virtual link invariants
Virtual links were introduced by Kauffman in 1999. We characterize the virtual link invariants that are partition functions of vertex models (as considered by de la Harpe and Jones), both in the real and in the complex case. We show that for any fixed number of states, these invariants form an affine variety. Basic techniques are the first and second fundamental theorem of invariant theory for the orthogonal group (in the sense of Weyl) and some related methods from algebraic geometry.
Monodromy operators for higher rank
Published in J. Phys. A: Math. Theor. 46 (2013) 385201 (24pp)
• View Publication
• BIB
We find the explicit form of the basic monodromy operators for the case of the quantum group $\mathrm U_q(\mathcal L(\mathfrak{sl}_3))$. Expressions for the quantum Casimir elements of the quantum groups $\mathrm U_q(\mathfrak{gl}_3)$ and $\mathrm U_q(\mathfrak{sl}_3)$ are obtained as a by-product.
Maximum scattered linear sets of pseudoregulus type and the Segre Variety ${\cal S}_{n,n}$
Published
• View Publication
• BIB
In this paper we study a family of scattered $\F_q$--linear sets of rank $tn$ of the projective space $PG(2n-1,q^t)$ ($n \geq 1$, $t\geq 3$), called of {\it pseudoregulus type}, generalizing results contained in [G. Marino, O. Polverino, R. Trombetti: On ${\mathbb F}_q$--linear sets of $\PG(3,q^3)$ and semifields, {\em J. Combin. Theory Ser. A}, {\bf 114} (2007), 769--788] and in [M. Lavrauw, G. Van de Voorde: Scattered linear sets and pseudoreguli, preprint]. As an application, we characterize, in terms of the associated linear sets, some classical families of semifields: the Generalized Twisted Fields and the 2-dimensional Knuth semifields.
Hyperovals of $H(3,q^2)$ when $q$ is even
For even $q$, a group $G$ isomorphic to $PSL(2,q)$ stabilizes a Baer conic inside a symplectic subquadrangle ${\cal W}(3,q)$ of ${\cal H}(3,q^2)$. In this paper the action of $G$ on points and lines of ${\cal H}(3,q^2)$ is investigated. A construction is given of an infinite family of hyperovals of size $2(q^3-q)$ of ${\cal H}(3,q^2)$, with each hyperoval having the property that its automorphism group contains $G$. Finally it is shown that the hyperovals constructed are not isomorphic to known hyperovals.
$δ_k$-small sets in graphs
Let $G$ be a simple $n$-vertex graph and $W\subseteq\V(G)$. We say that $W$ is a $δ_k$-small set if $$ \sqrt[k]{\frac{\sum_{v\in W}d^k(v)}{\abs W}}\leq n-\abs W. $$ Let $\varphi^{(k)}(G)$ denote the smallest natural number $r$ such that $\V(G)$ decomposes into $r$ $δ_k$-small sets, and let $α^{(k)}(G)$ denote the maximal number of vertices in a $δ_k$-small set of $G$. In this paper we obtain bounds for $α^{(k)}(G)$ and $\varphi^{(k)}(G)$. Since $\varphi^{(k)}(G)\leqω(G)\leqχ(G)$ and $α(G)\leqα^{(k)}(G)$, we obtain also bounds for the clique number $ω(G)$, the chromatic number $χ(G)$ and the independence number $α(G)$.
The Refined Lecture Hall Theorem via Abacus Diagrams
Published
• View Publication
• BIB
Bousquet-Mélou & Eriksson's lecture hall theorem generalizes Euler's celebrated distinct-odd partition theorem. We present an elementary and transparent proof of a refined version of the lecture hall theorem using a simple bijection involving abacus diagrams.
Two unfortunate properties of pure f-vectors
Published in Proc. Amer. Math. Soc. 143 (2015), 955--964
• View Publication
• BIB
The set of f-vectors of pure simplicial complexes is an important but little understood object in combinatorics and combinatorial commutative algebra. Unfortunately, its explicit characterization appears to be a virtually intractable problem, and its structure very irregular and complicated. The purpose of this note, where we combine a few different algebraic and combinatorial techniques, is to lend some further evidence to this fact.
We first show that pure (in fact, Cohen-Macaulay) f-vectors can be nonunimodal with arbitrarily many peaks, thus improving the corresponding results known for level Hilbert functions and pure O-sequences. We provide both an algebraic and a combinatorial argument for this result. Then, answering negatively a question of the second author and collaborators posed in the recent AMS Memoir on pure O-sequences, we show that the Interval Property fails for the set of pure f-vectors, even in dimension 2.