arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35436 papers tagged with this keyword
2018-07-08
The components of the singular locus of a component of a Springer fiber over x^2 = 0
Published • View Publication • BIB
For $x\in End(K^n)$ satisfying $x^2 = 0$ let $F_x$ be the variety of full flags stable under the action of $x$ (Springer fiber over $x$). The full classification of the components of $F_x$ according to their smoothness was provided in a paper of Fresse-Melnikov in terms of both Young tableaux and link patterns. Moreover in a paper of Fresse the purely combinatorial algorithm to compute the singular locus of a singular components of $F_x$ is provided. However this algorithm involves the computation of the graph of the component, and the complexity of computations grows very quickly, so that in practice it is impossible to use it. In this paper, we construct another algorithm, derived from the algorithm of Fresse, providing all the components of the singular locus of a singular component of $F_x$ in terms of link patterns constructed straightforwardly from its link pattern.
2018-07-08 v3
Finding unavoidable colorful patterns in multicolored graphs
Published in The Electronic Journal of Combinatorics, volume 27, issue 4, #P4.4, September 2020 • View Publication • BIB
We provide multicolored and infinite generalizations for a Ramsey-type problem raised by Bollobás, concerning colorings of $K_n$ where each color is well-represented. Let $χ$ be a coloring of the edges of a complete graph on $n$ vertices into $r$ colors. We call $χ$ $\varepsilon$-balanced if all color classes have $\varepsilon$ fraction of the edges. Fix some graph $H$, together with an $r$-coloring of its edges. Consider the smallest natural number $R_\varepsilon^r(H)$ such that for all $n\geq R_\varepsilon^r(H)$, all $\varepsilon$-balanced colorings $χ$ of $K_n$ contain a subgraph isomorphic to $H$ in its coloring. Bollobás conjectured a simple characterization of $H$ for which $R_\varepsilon^2(H)$ is finite, which was later proved by Cutler and Montágh. Here, we obtain a characterization for arbitrary values of $r$, as well as asymptotically tight bounds. We also discuss generalizations to graphs defined on perfect Polish spaces, where the corresponding notion of balancedness is each color class being non-meagre.
Bounds for Different Spreads of Line and Total Graphs
Published • View Publication • BIB
In this paper we explore some results concerning the spread of the line and the total graph of a given graph. In particular, it is proved that for an $(n,m)$ connected graph $G$ with $m > n \geq 4$ the spread of $G$ is less than or equal to the spread of its line graph, where the equality holds if and only if $G$ is regular bipartite. A sufficient condition for the spread of the graph not be greater than the signless Laplacian spread for a class of non bipartite and non regular graphs is proved. Additionally, we derive an upper bound for the spread of the line graph of graphs on $n$ vertices having a vertex (edge) connectivity less than or equal to a positive integer $k$. Combining techniques of interlacing of eigenvalues, we derive lower bounds for the Laplacian and signless Laplacian spread of the total graph of a connected graph. Moreover, for a regular graph, an upper and lower bound for the spread of its total graph is given.
The variety of domination games
Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper, Z-domination game, L-domination game, and LL-domination game are introduced as natural companions of the standard domination games. Versions of the Continuation Principle are proved for the new games. It is proved that in each of these games the outcome of the game, which is a corresponding graph invariant, differs by at most one depending whether Dominator or Staller starts the game. The hierarchy of the five domination games is established. The invariants are also bounded with respect to the (total) domination number and to the order of a graph. Values of the three new invariants are determined for paths up to a small constant independent from the length of a path. Several open problems and a conjecture are listed. The latter asserts that the L-domination game number is not greater than $6/7$ of the order of a graph.
2018-07-07 v3
Local convergence for permutations and local limits for uniform $ρ$-avoiding permutations with $|ρ|=3$
Published in Probab. Theory Relat. Fields 176, 449-531 (2020) • View Publication • BIB
We set up a new notion of local convergence for permutations and we prove a characterization in terms of proportions of \emph{consecutive} pattern occurrences. We also characterize random limiting objects for this new topology introducing a notion of "shift-invariant" property (corresponding to the notion of unimodularity for random graphs). We then study two models in the framework of random pattern-avoiding permutations. We compute the local limits of uniform $ρ$-avoiding permutations, for $|ρ|=3,$ when the size of the permutations tends to infinity. The core part of the argument is the description of the asymptotics of the number of consecutive occurrences of any given pattern. For this result we use bijections between $ρ$-avoiding permutations and rooted ordered trees, local limit results for Galton--Watson trees, the Second moment method and singularity analysis.
Vertex and Edge connectivity of the zero divisor graph $Γ[\mathbb {Z}_n]$
The Zero divisor Graph of a commutative ring $R$, denoted by $Γ[R]$, is a graph whose vertices are non-zero zero divisors of $R$ and two vertices are adjacent if their product is zero. In this paper we derive the Vertex and Edge Connectivity of the zero divisor graph $Γ[\mathbb{Z}_n]$, for any natural number $n$ . We also discuss the minimum degree of the zero divisor graph $Γ[\mathbb{Z}_n]$.
2018-07-06 v2
Cheeger inequalities for graph limits
Published • View Publication • BIB
We introduce notions of Cheeger constants for graphons and graphings. We prove Cheeger and Buser inequalities for these. On the way we prove co-area formulae for graphons and graphings.
2018-07-06 v3
Isomorphism of the cubical and categorical cohomology groups of a higher-rank graph
Published • View Publication • BIB
We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $Λ$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian, Pask and Sims in the positive. Our first proof uses the topological realization of a higher-rank graph, which was introduced by Kaliszewski, Kumjian, Quigg, and Sims. In our more combinatorial second proof, we construct, explicitly and in both directions, maps on the level of (co-)chain complexes that implement said isomorphism. Along the way, we extend the definition of cubical (co-)homology to allow arbitrary coefficient modules.
2018-07-06
Vertex partition of hypergraphs and maximum degenerate subhypergraphs
Published • View Publication • BIB
In 2007 Matamala proved that if $G$ is a simple graph with maximum degree $Δ\geq 3$ not containing $K_{Δ+1}$ as a subgraph and $s, t$ are positive integers such that $s+t \geq Δ$, then the vertex set of $G$ admits a partition $(S,T)$ such that $G[S]$ is a maximum order $(s-1)$-degenerate subgraph of $G$ and $G[T]$ is a $(t-1)$-degenerate subgraph of $G$. This result extended earlier results obtained by Borodin, by Bollobás and Manvel, by Catlin, by Gerencsér and by Catlin and Lai. In this paper we prove a hypergraph version of this result and extend it to variable degeneracy and to partitions into more than two parts, thereby extending a result by Borodin, Kostochka, and Toft.
2018-07-06
Ramsey goodness of cycles
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 a 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 $σ(H)$ is 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 paper we show that if $n\geq 10^{60}|H|$ and $σ(H)\geq χ(H)^{22}$ then the $n$-vertex cycle $C_n$ is $H$-good. For graphs $H$ with high $χ(H)$ and $σ(H)$, this proves in a strong form a conjecture of Allen, Brightwell, and Skokan.
2018-07-06
On minimal edge version of doubly resolving sets of a graph
In this paper, we introduce the edge version of doubly resolving set of a graph which is based on the edge distances of the graph. As a main result, we computed the minimum cardinality $ψ_E$ of edge version of doubly resolving sets of family of $n$-sunlet graph $S_n$ and prism graph $Y_n$.
Rigidity of the Bonnet-Myers inequality for graphs with respect to Ollivier Ricci curvature
Published • View Publication • BIB
We introduce the notion of Bonnet-Myers and Lichnerowicz sharpness in the Ollivier Ricci curvature sense. Our main result is a classification of all self-centered Bonnet-Myers sharp graphs (hypercubes, cocktail party graphs, even-dimensional demi-cubes, Johnson graphs $J(2n,n)$, the Gosset graph and suitable Cartesian products). We also present a purely combinatorial reformulation of this result. We show that Bonnet-Myers sharpness implies Lichnerowicz sharpness. We also relate Bonnet-Myers sharpness to an upper bound of Bakry-Émery $\infty$-curvature, which motivates a generalconjecture about Bakry-Émery $\infty$-curvature.
2018-07-06 v2
An introduction to the mincut graph of a graph
There is a well-documented research programme on graph operators which addresses questions such as `Which graphs appear as images of graphs?'; `Which graphs are fixed under the operator?'; `What happens if the operator is iterated?' In this paper, we introduce an intersection graph called the mincut graph and state its characteristics. We address some of the research programme questions for the mincut graph operator and conclude by stating further research questions on the mincut graph.
2018-07-06 v2
Freeness of Hyperplane Arrangements between Boolean Arrangements and Weyl Arrangements of Type $ B_{\ell} $
Published • View Publication • BIB
Every subarrangement of Weyl arrangements of type $ B_{\ell} $ is represented by a signed graph. Edelman and Reiner characterized freeness of subarrangements between type $ A_{\ell-1} $ and type $ B_{\ell} $ in terms of graphs. Recently, Suyama and the authors characterized freeness for subarrangements containing Boolean arrangements satisfying a certain condition. This article is a sequel to the previous work. Namely, we give a complete characterization for freeness of arrangements between Boolean arrangements and Weyl arrangements of type $ B_{\ell} $ in terms of graphs.
2018-07-05
Improved bounds on the extremal function of hypergraphs
A fundamental problem in pattern avoidance is describing the asymptotic behavior of the extremal function and its generalizations. We prove an equivalence between the asymptotics of the graph extremal function for a class of bipartite graphs and the asymptotics of the matrix extremal function. We use the equivalence to prove several new bounds on the extremal functions of graphs. We develop a new method to bound the extremal function of hypergraphs in terms of the extremal function of their associated multidimensional matrices, improving the bound of the extremal function of $d$-permutation hypergraphs of length $k$ from $O(n^{d-1})$ to $2^{O(k)}n^{d-1}$.
2018-07-05
The Turán Number for Spanning Linear Forests
Published • View Publication • BIB
For a set of graphs $\mathcal{F}$, the extremal number $ex(n;\mathcal{F})$ is the maximum number of edges in a graph of order $n$ not containing any subgraph isomorphic to some graph in $\mathcal{F}$. If $\mathcal{F}$ contains a graph on $n$ vertices, then we often call the problem a spanning Turán problem. A linear forest is a graph whose connected components are all paths and isolated vertices. In this paper, we let $\mathcal{L}_n^k$ be the set of all linear forests of order $n$ with at least $n-k+1$ edges. We prove that when $n\geq 3k$ and $k\geq 2$, \[ ex(n;\mathcal{L}_n^k)=\binom{n-k+1}{2}+ O(k^2). \] Clearly, the result is interesting when $k=o(n)$.
2018-07-05
Graphs in perturbation theory: Algebraic structure and asymptotics
Published in Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät, 2018 • View Publication • BIB
This thesis provides an extension of the work of Dirk Kreimer and Alain Connes on the Hopf algebra structure of Feynman graphs and renormalization to general graphs. Additionally, an algebraic structure of the asymptotics of formal power series with factorial growth, which is compatible with the Hopf algebraic structure, is introduced. The Hopf algebraic structure on graphs permits the explicit enumeration of graphs with constraints for the allowed subgraphs. In the case of Feynman diagrams a lattice structure, which will be introduced, exposes additional unique properties for physical quantum field theories. The differential ring of factorially divergent power series allows the extraction of asymptotic results of implicitly defined power series with vanishing radius of convergence. Together both structures provide an algebraic formulation of large graphs with constraints on the allowed subgraphs. These structures are motivated by and used to analyze renormalized zero-dimensional quantum field theory at high orders in perturbation theory. As a pure application of the Hopf algebra structure, an Hopf algebraic interpretation of the Legendre transformation in quantum field theory is given. The differential ring of factorially divergent power series will be used to solve two asymptotic counting problems from combinatorics: The asymptotic number of connected chord diagrams and the number of simple permutations. For both asymptotic solutions, all order asymptotic expansions are provided as generating functions in closed form. Both structures are combined in an application to zero-dimensional quantum field theory. Various quantities are explicitly given asymptotically in the zero-dimensional version of $\varphi^3$, $\varphi^4$, QED, quenched QED and Yukawa theory with their all order asymptotic expansions.
2018-07-05
Searching for dense subsets in a graph via the partition function
Published • View Publication • BIB
For a set $S$ of vertices of a graph $G$, we define its density $0 \leq σ(S) \leq 1$ as the ratio of the number of edges of $G$ spanned by the vertices of $S$ to ${|S| \choose 2}$. We show that, given a graph $G$ with $n$ vertices and an integer $m$, the partition function $\sum_S \exp\{ γm σ(S) \}$, where the sum is taken over all $m$-subsets $S$ of vertices and $0 < γ<1$ is fixed in advance, can be approximated within relative error $0 < ε< 1$ in quasi-polynomial $n^{O(\ln m - \ln ε)}$ time. We discuss numerical experiments and observe that for the random graph $G(n, 1/2)$ one can afford a much larger $γ$, provided the ratio $n/m$ is sufficiently large.
2018-07-05
$n$-arc and $n$-circle connected graph-like spaces
Published • View Publication • BIB
A space $X$ is $n$-arc connected (respectively, $n$-circle connected) if for any choice of at most $n$ points there is an arc (respectively, a circle) in $X$ containing the specified points. We study $n$-arc connectedness and $n$-circle connectedness in compactifications of locally finite graphs and the slightly more general class of graph-like continua, uncovering a striking difference in their behaviour regarding $n$-arc and -circle connectedness.
Betti numbers of toric ideals of graphs: A case study
Published in J. Algebra Appl. 18 (2019), no. 12, 1950226, 14 pp • View Publication • BIB
We compute the graded Betti numbers for the toric ideal of a family of graphs constructed by adjoining a cycle to a complete bipartite graph. The key observation is that this family admits an initial ideal which has linear quotients. As a corollary, we compute the Hilbert series and $h$-vector for all the toric ideals of graphs in this family.