graph
35150 papers tagged with this keyword
Representations of Quivers over F1
Published
• View Publication
• BIB
We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U(\n_+) \rightarrow \HQ$, from the enveloping algebra of the nilpotent part $\n_+$ of the Kac-Moody algebra with Dynkin diagram $\bar{\Q}$ - the underlying unoriented graph of $\Q$. We study $ρ'$ when $\Q$ is the Jordan quiver, a quiver of type $A$, the cyclic quiver, and a tree respectively.
A survey on Hamilton cycles in directed graphs
We survey some recent results on long-standing conjectures regarding Hamilton cycles in directed graphs, oriented graphs and tournaments. We also combine some of these to prove the following approximate result towards Kelly's conjecture on Hamilton decompositions of regular tournaments: the edges of every regular tournament can be covered by a set of Hamilton cycles which are `almost' edge-disjoint. We also highlight the role that the notion of `robust expansion' plays in several of the proofs. New and old open problems are discussed.
The de Bruijn-Erdos Theorem for hypergraphs
Fix integers $n \ge r \ge 2$. A clique partition of ${[n] \choose r}$ is a collection of proper subsets $A_1, A_2, ..., A_t \subset [n]$ such that $\bigcup_i{A_i \choose r}$ is a partition of ${[n] \choose r}$. Clique partitions are related to design theory, coding theory, projective geometry, and extremal combinatorics.
Let $\cp(n,r)$ denote the minimum size of a clique partition of
${[n] \choose r}$.
A classical theorem of de Bruijn and Erd\H os states that $\cp(n, 2) = n$ and also determines the extremal configurations. In this paper we study $\cp(n,r)$, and show in general that for each fixed $r \geq 3$, \[\cp(n,r) \geq (1 + o(1))n^{r/2} \quad \quad {as}n \to \infty.\] We conjecture $\cp(n,r) = (1 + o(1))n^{r/2}$, and prove this conjecture in a very strong sense for $r = 3$ by giving a characterization of optimal clique partitions of ${[n] \choose 3}$ for infinitely many $n$. Precisely, when $n = q^2 + 1$ and $q$ is a prime power, we show \[ \cp(n,3) = n\sqrt{n-1} \] and characterize those clique partitions achieving equality. We also give an absolute lower bound $\cp(n,r) \geq {n \choose r}/{q + r - 1 \choose r}$ when $n = q^2 + q + r - 1$, and for each $r$ characterize the finitely many configurations achieving equality with the lower bound. Finally we note the connection of $\cp(n,r)$ to extremal graph theory, and determine some new asymptotically sharp bounds for the Zarankiewicz problem.
Klein Group And Four Color Theorem
In this work methods of construction of cubic graphs are analyzed and a theorem of existence of a colored disc traversing each pair of linked edges belonging to an elementary cycle of a planar cubic graph is proved.
On Kiselman quotients of 0-Hecke monoids
Published in Int. Electron. J. Algebra 10 (2011) 174-191
• Search Publication
Combining the definition of 0-Hecke monoids with that of Kiselman semigroups, we define what we call Kiselman quotients of 0-Hecke monoids associated with simply laced Dynkin diagrams. We classify these monoids up to isomorphism, determine their idempotents and show that they are $\mathcal{J}$-trivial. For type $A$ we show that Catalan numbers appear as the maximal cardinality of our monoids, in which case the corresponding monoid is isomorphic to the monoid of all order-preserving and order-decreasing total transformations on a finite chain. We construct various representations of these monoids by matrices, total transformations and binary relations. Motivated by these results, with a mixed graph we associate a monoid, which we call a Hecke-Kiselman monoid, and classify such monoids up to isomorphism. Both Kiselman semigroups and Kiselman quotients of 0-Hecke monoids are natural examples of Hecke-Kiselman monoids.
Two critical periods in the evolution of random planar graphs
Published
• View Publication
• BIB
Let $P(n,M)$ be a graph chosen uniformly at random from the family of all labeled planar graphs with $n$ vertices and $M$ edges. In the paper we study the component structure of $P(n,M)$. Combining counting arguments with analytic techniques, we show that there are two critical periods in the evolution of $P(n,M)$. The first one, of width $Θ(n^{2/3})$, is analogous to the phase transition observed in the standard random graph models and takes place for $M=n/2+O(n^{2/3})$, when the largest complex component is formed. Then, for $M=n+O(n^{3/5})$, when the complex components cover nearly all vertices, the second critical period of width $n^{3/5}$ occurs. Starting from that moment increasing of $M$ mostly affects the density of the complex components, not its size.
Genus Bounds for Harmonic Group Actions on Finite Graphs
Published in Int. Math. Res. Notices, 2011, No. 19 (2011): 4515-4533
• View Publication
• BIB
This paper develops graph analogues of the genus bounds for the maximal size of an automorphism group of a compact Riemann surface of genus $g\ge 2$. Inspired by the work of M. Baker and S. Norine on harmonic morphisms between finite graphs, we motivate and define the notion of a harmonic group action. Denoting by M(g) the maximal size of such a harmonic group action on a graph of genus $g\ge 2$, we prove that $4(g-1)\le M(g)\le 6(g-1)$, and these bounds are sharp in the sense that both are attained for infinitely many values of g. Moreover, we show that the values $4(g-1)$ and $6(g-1)$ are the only values taken by the function $M(g)$.
Paths of homomorphisms from stable Kneser graphs
Published
• View Publication
• BIB
We denote by SG_{n,k} the stable Kneser graph (Schrijver graph) of stable n-subsets of a set of cardinality 2n+k. For k congruent 3 (mod 4) and n\ge2 we show that there is a component of the χ-colouring graph of SG_{n,k} which is invariant under the action of the automorphism group of SG_{n,k}. We derive that there is a graph G with χ(G)=χ(SG_{n,k}) such that the complex Hom(SG_{n,k}, G) is non-empty and connected. In particular, for k congruent 3 (mod 4) and n\ge2 the graph SG_{n,k} is not a test graph.
Characterisations and Galois conjugacy of generalised Paley maps
Published
• View Publication
• BIB
A generalised Paley map is a Cayley map for the additive group of a finite field F, with a subgroup S=-S of the multiplicative group as generating set, cyclically ordered by powers of a generator of S. We characterise these as the orientably regular maps with orientation-preserving automorphism group acting primitively and faithfully on the vertices; allowing a non-faithful primitive action yields certain cyclic coverings of these maps. We determine the fields of definition and the orbits of the absolute Galois group on these maps, and we show that if (q-1)/(p-1) divides |S|, where |F|=q=p^e with p prime, then these maps are the only orientably regular embeddings of their underlying graphs; in particular this applies to the Paley graphs, where |S|=(q-1)/2 is even.
Classification and Galois conjugacy of Hamming maps
Published
• View Publication
• BIB
We show that for each d>0 the d-dimensional Hamming graph H(d,q) has an orientably regular surface embedding if and only if q is a prime power p^e. If q>2 there are up to isomorphism φ(q-1)/e such maps, all constructed as Cayley maps for a d-dimensional vector space over the field of order q. We show that for each such pair d, q the corresponding Belyi pairs are conjugate under the action of the absolute Galois group, and we determine their minimal field of definition. We also classify the orientably regular embedding of merged Hamming graphs for q>3.
P-matrices and signed digraphs
Published
• View Publication
• BIB
We associate a signed digraph with a list of matrices whose dimensions permit them to be multiplied, and whose product is square. Cycles in this graph have a parity, that is, they are either even (termed e-cycles) or odd (termed o-cycles). The absence of e-cycles in the graph is shown to imply that the matrix product is a P0-matrix, i.e., all of its principal minors are nonnegative. Conversely, the presence of an e-cycle is shown to imply that there exists a list of matrices associated with the graph whose product fails to be a P0-matrix. The results generalise a number of previous results relating P- and P0-matrices to graphs.
Choosability of a weighted path and free-choosability of a cycle
A graph $G$ with a list of colors $L(v)$ and weight $w(v)$ for each vertex $v$ is $(L,w)$-colorable if one can choose a subset of $w(v)$ colors from $L(v)$ for each vertex $v$, such that adjacent vertices receive disjoint color sets. In this paper, we give necessary and sufficient conditions for a weighted path to be $(L,w)$-colorable for some list assignments $L$. Furthermore, we solve the problem of the free-choosability of a cycle.
On the hypercompetition numbers of hypergraphs
Published in Ars Combinatoria 100 (2011) 151-159
• Search Publication
The competition hypergraph $C{\cH}(D)$ of a digraph $D$ is the hypergraph such that the vertex set is the same as $D$ and $e \subseteq V(D)$ is a hyperedge if and only if $e$ contains at least 2 vertices and $e$ coincides with the in-neighborhood of some vertex $v$ in the digraph $D$. Any hypergraph with sufficiently many isolated vertices is the competition hypergraph of an acyclic digraph. The hypercompetition number $hk(\cH)$ of a hypergraph $\cH$ is defined to be the smallest number of such isolated vertices.
In this paper, we study the hypercompetition numbers of hypergraphs. First, we give two lower bounds for the hypercompetition numbers which hold for any hypergraphs. And then, by using these results, we give the exact hypercompetition numbers for some family of uniform hypergraphs. In particular, we give the exact value of the hypercompetition number of a connected graph.
A Generalization of NBC Bases to Broken Circuit Complexes of Matroids
Brown has shown that the Stanley-Reisner ring of the broken circuit complex of a graph has a linear system of parameters which is defined in terms of the circuits and cocircuits of the graph. Later on Brown and Sagan conjectured a special set of monomials - a so-called NBC basis - described in terms of the circuits and cocircuits of the graph to be a monomial basis for the corresponding quotient of the Stanley-Reisner ring and proved this to be true for theta and phi graphs. We generalize the aforementioned linear system of parameters to broken circuit complexes of regular matroids and transfer the notion of NBC bases to the general setting of regular matroids. We are able to obtain the analogous results to the ones of Brown and Sagan in this more general context. We show a deletion-contraction axiom for the existence of NBC bases. Using this results we identify two infinite classes of matroids which have NBC bases and which are the matroid theoretic analogue of theta and phi graphs.
Pancyclic subgraphs of random graphs
Published
• View Publication
• BIB
An $n$-vertex graph is called pancyclic if it contains a cycle of length $t$ for all $3 \leq t \leq n$. In this paper, we study pancyclicity of random graphs in the context of resilience, and prove that if $p \gg n^{-1/2}$, then the random graph $G(n,p)$ a.a.s. satisfies the following property: Every Hamiltonian subgraph of $G(n,p)$ with more than $(1/2 + o(1)){n \choose 2}p$ edges is pancyclic. This result is best possible in two ways. First, the range of $p$ is asymptotically tight; second, the proportion 1/2 of edges cannot be reduced. Our theorem extends a classical theorem of Bondy, and is closely related to a recent work of Krivelevich, Lee, and Sudakov. The proof uses a recent result of Schacht (also independently obtained by Conlon and Gowers).
Equivalence classes of permutations avoiding a pattern
Given a permutation pattern p and an equivalence relation on permutations, we study the corresponding equivalence classes all of whose members avoid p. Four relations are studied: Conjugacy, order isomorphism, Knuth-equivalence and toric equivalence. Each of these produces a known class of permutations or a known counting sequence. For example, involutions correspond to conjugacy, and permutations whose insertion tableau is hook-shaped with 2 in the first row correspond to Knuth-equivalence. These permutations are equinumerous with certain congruence classes of graph endomorphisms. In the case of toric equivalence we find a class of permutations that are counted by the Euler totient function, with a subclass counted by the number-of-divisors function. We also provide a new symmetry for bivincular patterns that produces some new non-trivial Wilf-equivalences
The Tutte-Potts connection in the presence of an external magnetic field
Published in Adv. in Appl. Math., 47 (2011) 772-782
• View Publication
• BIB
The classical relationship between the Tutte polynomial of graph theory and the Potts model of statistical mechanics has resulted in valuable interactions between the disciplines. Unfortunately, it does not include the external magnetic fields that appear in most Potts model applications. Here we define the V-polynomial, which lifts the classical relationship between the Tutte polynomial and the zero field Potts model to encompass external magnetic fields. The V-polynomial generalizes Nobel and Welsh's W-polynomial, which extends the Tutte polynomial by incorporating vertex weights and adapting contraction to accommodate them. We prove that the variable field Potts model partition function (with its many specializations) is an evaluation of the V-polynomial, and hence a polynomial with deletion-contraction reduction and Fortuin-Kasteleyn type representation. This unifies an important segment of Potts model theory and brings previously successful combinatorial machinery, including complexity results, to bear on a wider range of statistical mechanics models.
Component Evolution in General Random Intersection Graphs
Published
• View Publication
• BIB
Random intersection graphs (RIGs) are an important random structure with applications in social networks, epidemic networks, blog readership, and wireless sensor networks. RIGs can be interpreted as a model for large randomly formed non-metric data sets. We analyze the component evolution in general RIGs, and give conditions on existence and uniqueness of the giant component. Our techniques generalize existing methods for analysis of component evolution: we analyze survival and extinction properties of a dependent, inhomogeneous Galton-Watson branching process on general RIGs. Our analysis relies on bounding the branching processes and inherits the fundamental concepts of the study of component evolution in Erdős-Rényi graphs. The major challenge comes from the underlying structure of RIGs, which involves its both the set of nodes and the set of attributes, as well as the set of different probabilities among the nodes and attributes.
The size Ramsey number of a directed path
Published
• View Publication
• BIB
Given a graph $H$, the size Ramsey number $r_e(H,q)$ is the minimal number $m$ for which there is a graph $G$ with $m$ edges such that every $q$-coloring of $G$ contains a monochromatic copy of $H$. We study the size Ramsey number of the directed path of length $n$ in oriented graphs, where no antiparallel edges are allowed. We give nearly tight bounds for every fixed number of colors, showing that for every $q\geq 1 $ there are constants $c_1 = c_1(q),c_2$ such that $$\frac{c_1(q) n^{2q}(\log n)^{1/q}}{(\log\log n)^{(q+2)/q}} \leq r_e(\overrightarrow{P_n},q+1) \leq c_2 n^{2q}(\log {n})^2.$$
Our results show that the path size Ramsey number in oriented graphs is asymptotically larger than the path size Ramsey number in general directed graphs. Moreover, the size Ramsey number of a directed path is polynomially dependent in the number of colors, as opposed to the undirected case.
Our approach also gives tight bounds on $r_e(\overrightarrow{P_n},q)$ for general directed graphs with $q \geq 3$, extending previous results.
Thomassen's Choosability Argument Revisited
Published in SIAM J. Discrete Mathematics 24(4):1632-1637, 2010
• View Publication
• BIB
Thomassen (1994) proved that every planar graph is 5-choosable. This result was generalised by {Š}krekovski (1998) and He et al. (2008), who proved that every $K_5$-minor-free graph is 5-choosable. Both proofs rely on the characterisation of $K_5$-minor-free graphs due to Wagner (1937). This paper proves the same result without using Wagner's structure theorem or even planar embeddings. Given that there is no structure theorem for graphs with no $K_6$-minor, we argue that this proof suggests a possible approach for attacking the Hadwiger Conjecture.