graph
34828 papers tagged with this keyword
Signed lozenge tilings
Published
• View Publication
• BIB
It is well-known that plane partitions, lozenge tilings of a hexagon, perfect matchings on a honeycomb graph, and families of non-intersecting lattice paths in a hexagon are all in bijection. In this work we consider regions that are more general than hexagons. They are obtained by further removing upward-pointing triangles. We call the resulting shapes triangular regions. We establish signed versions of the latter three bijections for triangular regions. We first investigate the tileability of triangular regions by lozenges. Then we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. Using a new method that we call resolution of a puncture, we show that the two signs are in fact equivalent. As a consequence, we obtain the equality of determinants, up to sign, that enumerate signed perfect matchings and signed families of lattice paths of a triangular region, respectively. We also describe triangular regions, for which the signed enumerations agree with the unsigned enumerations.
Depth in classical Coexter groups
Published in Journal of Algebraic Combinatorics 44 (2016), 645--676
• View Publication
• BIB
The depth statistic was defined by Petersen and Tenner for an element of an arbitrary Coxeter group in terms of factorizations of the element into a product of reflections. It can also be defined as the minimal cost, given certain prescribed edge weights, for a path in the Bruhat graph from the identity to an element. We present algorithms for calculating the depth of an element of a classical Coxeter group that yield simple formulas for this statistic. We use our algorithms to characterize elements having depth equal to length. These are the short-braid-avoiding elements. We also give a characterization of the elements for which the reflection length coincides with both the depth and the length. These are the boolean elements.
Explicit Expanding Expanders
Published
• View Publication
• BIB
Deterministic constructions of expander graphs have been an important topic of research in computer science and mathematics, with many well-studied constructions of infinite families of expanders. In some applications, though, an infinite family is not enough: we need expanders which are "close" to each other. We study the following question: Construct an an infinite sequence of expanders $G_0,G_1,\dots$, such that for every two consecutive graphs $G_i$ and $G_{i+1}$, $G_{i+1}$ can be obtained from $G_i$ by adding a single vertex and inserting/removing a small number of edges, which we call the expansion cost of transitioning from $G_i$ to $G_{i+1}$. This question is very natural, e.g., in the context of datacenter networks, where the vertices represent racks of servers, and the expansion cost captures the amount of rewiring needed when adding another rack to the network. We present an explicit construction of $d$-regular expanders with expansion cost at most $5d/2$, for any $d\geq 6$. Our construction leverages the notion of a "2-lift" of a graph. This operation was first analyzed by Bilu and Linial, who repeatedly applied 2-lifts to construct an infinite family of expanders which double in size from one expander to the next. Our construction can be viewed as a way to "interpolate" between Bilu-Linial expanders with low expansion cost while preserving good edge expansion throughout.
While our main motivation is centralized (datacenter networks), we also get the best-known distributed expander construction in the "self-healing" model.
Count Matroids of Group-Labeled Graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is called $(k,\ell)$-sparse if $|F|\leq k|V(F)|-\ell$ for any nonempty $F\subseteq E$, where $V(F)$ denotes the set of vertices incident to $F$. It is known that the family of the edge sets of $(k,\ell)$-sparse subgraphs forms the family of independent sets of a matroid, called the $(k,\ell)$-count matroid of $G$. In this paper we shall investigate lifts of the $(k,\ell)$-count matroid by using group labelings on the edge set. By introducing a new notion called near-balancedness, we shall identify a new class of matroids, where the independence condition is described as a count condition of the form $|F|\leq k|V(F)|-\ell +α_ψ(F)$ for some function $α_ψ$ determined by a given group labeling $ψ$ on $E$.
Designs from Paley graphs and Peisert graphs
Fix positive integers $p,q,$ and $r$ so that $p$ is prime, $q=p^r$, and $q\equiv 1$ (mod $4$). Fix a graph $G$ as follows: If $r$ is odd or $p\not\equiv 3$ (mod $4$), let $G$ be the $q$-vertex Paley graph; if $r$ is even and $p\equiv 3$ (mod $4$), let $G$ be either the $q$-vertex Paley graph or the $q$-vertex Peisert graph. We use the subgraph structure of $G$ to construct four sequences of $2$-designs, and we compute their parameters. Letting $k_4$ denote the number of $4$-vertex cliques in $G$, we create $62$ additional sequences of $2$-designs from $G$, and show how to express their parameters in terms of only $q$ and $k_4$. We find estimates and precise asymptotics for $k_4$ in the case that $G$ is a Paley graph. We also explain how the presented techniques can be used to find many additional $2$-designs in $G$. All constructed designs contain no repeated blocks.
More bounds for the Grundy number of graphs
Published
• View Publication
• BIB
A coloring of a graph $G=(V,E)$ is a partition $\{V_1, V_2, \ldots, V_k\}$ of $V$ into independent sets or color classes. A vertex $v\in V_i$ is a Grundy vertex if it is adjacent to at least one vertex in each color class $V_j$ for every $j<i$. A coloring is a Grundy coloring if every vertex is a Grundy vertex, and the Grundy number $Γ(G)$ of a graph $G$ is the maximum number of colors in a Grundy coloring. We provide two new upper bounds on Grundy number of a graph and a stronger version of the well-known Nordhaus-Gaddum theorem. In addition, we give a new characterization for a $\{P_{4}, C_4\}$-free graph by supporting a conjecture of Zaker, which says that $Γ(G)\geq δ(G)+1$ for any $C_4$-free graph $G$.
Sparsity and dimension
Published in Combinatorica, 38/5:1129--1148, 2018
• View Publication
• BIB
We prove that posets of bounded height whose cover graphs belong to a fixed class with bounded expansion have bounded dimension. Bounded expansion, introduced by Nešetřil and Ossona de Mendez as a model for sparsity in graphs, is a property that is naturally satisfied by a wide range of graph classes, from graph structure theory (graphs excluding a minor or a topological minor) to graph drawing (e.g. graphs with bounded book thickness). Therefore, our theorem generalizes a number of results including the most recent one for posets of bounded height with cover graphs excluding a fixed graph as a topological minor. We also show that the result is in a sense best possible, as it does not extend to nowhere dense classes; in fact, it already fails for cover graphs with locally bounded treewidth.
A step forwards on the Erdős-Sós problem concerning the Ramsey numbers $R(3,k)$
Published
• View Publication
• BIB
Let $Δ_s=R(K_3,K_s)-R(K_3,K_{s-1})$, where $R(G,H)$ is the Ramsey number of graphs $G$ and $H$ defined as the smallest $n$ such that any edge coloring of $K_n$ with two colors contains $G$ in the first color or $H$ in the second color. In 1980, Erdős and Sós posed some questions about the growth of $Δ_s$. The best known concrete bounds on $Δ_s$ are $3 \le Δ_s \le s$, and they have not improved since the stating of the problem. In this paper we present some constructions, which imply in particular that $R(K_3,K_s) \ge R(K_3,K_{s-1}-e) + 4$. This does not improve the lower bound of 3 on $Δ_s$, but we still consider it a step towards to understanding its growth. We discuss some related questions and state two conjectures involving $Δ_s$, including the following: for some constant $d$ and all $s$ it holds that $Δ_s - Δ_{s+1} \leq d$. We also prove that if the latter is true, then $\lim_{s \rightarrow \infty} Δ_s/s=0$.
The strong metric dimension of some generalized Petersen graphs
Published in Applicable Analysis and Discrete Mathematics 11(1) (2017) 1-10
• View Publication
• BIB
In this paper the strong metric dimension of generalized Petersen graphs $GP(n,2)$ is considered. The exact value is determined for cases $n=4k$ and $n=4k+2$, while for $n=4k+1$ an upper bound of the strong metric dimension is presented.
Cops and robbers on planar directed graphs
Published
• View Publication
• BIB
Aigner and Fromme initiated the systematic study of the cop number of a graph by proving the elegant and sharp result that in every connected planar graph, three cops are sufficient to win a natural pursuit game against a single robber. This game, introduced by Nowakowski and Winkler, is commonly known as Cops and Robbers in the combinatorial literature. We extend this study to directed planar graphs, and establish separation from the undirected setting. We exhibit a geometric construction which shows that a more sophisticated robber strategy can indefinitely evade three cops on a particular strongly connected planar directed graph.
On The Fixed Number of Graphs
An automorphism on a graph $G$ is a bijective mapping on the vertex set $V(G)$, which preserves the relation of adjacency between any two vertices of $G$. An automorphism $g$ fixes a vertex $v$ if $g$ maps $v$ onto itself. The stabilizer of a set $S$ of vertices is the set of all automorphisms that fix vertices of $S$. A set $F$ is called fixing set of $G$, if its stabilizer is trivial. The fixing number of a graph is the cardinality of a smallest fixing set. The fixed number of a graph $G$ is the minimum $k$, such that every $k$-set of vertices of $G$ is a fixing set of $G$. A graph $G$ is called a $k$-fixed graph if its fixing number and fixed number are both $k$. In this paper, we study the fixed number of a graph and give construction of a graph of higher fixed number from graph with lower fixed number. We find bound on $k$ in terms of diameter $d$ of a distance-transitive $k$-fixed graph.
Short proofs of some extremal results II
Published
• View Publication
• BIB
We prove several results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are quite short.
Characterization and recognition of some opposition and coalition graph classes
Published
• View Publication
• BIB
A graph is an opposition graph, respectively, a coalition graph, if it admits an acyclic orientation which puts the two end-edges of every chordless 4-vertex path in opposition, respectively, in the same direction. Opposition and coalition graphs have been introduced and investigated in connection to perfect graphs. Recognizing and characterizing opposition and coalition graphs are long-standing open problems. This paper gives characterizations for opposition graphs and coalition graphs on some restricted graph classes. Implicit in our arguments are polynomial time recognition algorithms for these graphs. We also give a good characterization for the so-called generalized opposition graphs.
Notes on a theorem of Naji
Published in Discrete Math. 340 (2017), 3217-3234
• View Publication
• BIB
We present a new proof of an algebraic characterization of circle graphs due to W. Naji. For bipartite graphs, Naji's theorem is equivalent to an algebraic characterization of planar matroids due to J. Geelen and B. Gerards. Naji's theorem also yields an algebraic characterization of permutation graphs.
Maxima of the Q-index: graphs with no K_s,t
Published
• View Publication
• BIB
This note presents a new spectral version of the graph Zarankiewicz problem: How large can be the maximum eigenvalue of the signless Laplacian of a graph of order $n$ that does not contain a specified complete bipartite subgraph. A conjecture is stated about general complete bipartite graphs, which is proved for infinitely many cases.
More precisely, it is shown that if $G$ is a graph of order $n,$ with no subgraph isomorphic to $K_{2,s+1},$ then the largest eigenvalue $q(G)$ of the signless Laplacian of $G$ satisfies \[ q(G)\leq\frac{n+2s}{2}+\frac{1}{2}\sqrt{(n-2s)^{2}+8s}, \] with equality holding if and only if $G$ is a join of $K_{1}$ and an $s$-regular graph of order $n-1.$
$t$-perfection in $P_5$-free graphs
Published
• View Publication
• BIB
A graph is called $t$-perfect if its stable set polytope is fully described by non-negativity, edge and odd-cycle constraints. We characterise $P_5$-free $t$-perfect graphs in terms of forbidden $t$-minors. Moreover, we show that $P_5$-free $t$-perfect graphs can always be coloured with three colours, and that they can be recognised in polynomial time.
Long paths and Hamiltonicity in random graphs
Published
• View Publication
• BIB
We discuss several classical results about long paths and Hamilton cycles in random graphs and present accessible versions of their proofs, relying on the Depth First Search (DFS) algorithm and the notion of boosters.
KMS weights on higher rank buildings
Published
• View Publication
• BIB
We extend some of the results of Carey-Marcolli-Rennie on modular index invariants of Mumford curves to the case of higher rank buildings: we discuss notions of KMS weights on buildings, that generalize the construction of graph weights over graph C*-algebras.
Combinatorics of exceptional sequences in type A
Published
• View Publication
• BIB
Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear extensions of posets, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. This work extends a classification of exceptional sequences for the linearly-ordered quiver obtained in an earlier paper by the first and third authors.
Track Layouts, Layered Path Decompositions, and Leveled Planarity
Published in Algorithmica 81 (4): 1561-1583, 2019
• View Publication
• BIB
We investigate two types of graph layouts, track layouts and layered path decompositions, and the relations between their associated parameters track-number and layered pathwidth. We use these two types of layouts to characterize leveled planar graphs, which are the graphs with planar leveled drawings with no dummy vertices. It follows from the known NP-completeness of leveled planarity that track-number and layered pathwidth are also NP-complete, even for the smallest constant parameter values that make these parameters nontrivial. We prove that the graphs with bounded layered pathwidth include outerplanar graphs, Halin graphs, and squaregraphs, but that (despite having bounded track-number) series-parallel graphs do not have bounded layered pathwidth. Finally, we investigate the parameterized complexity of these layouts, showing that past methods used for book layouts do not work to parameterize the problem by treewidth or almost-tree number but that the problem is (non-uniformly) fixed-parameter tractable for tree-depth.