graph
35436 papers tagged with this keyword
Mixed partition functions and exponentially bounded edge-connection rank
Published
• View Publication
• BIB
We study graph parameters whose associated edge-connection matrices have exponentially bounded rank growth. Our main result is an explicit construction of a large class of graph parameters with this property that we call mixed partition functions. Mixed partition functions can be seen as a generalization of partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227] and they are related to invariant theory of orthosymplectic supergroup. We moreover show that evaluations of the characteristic polynomial of a simple graph are examples of mixed partition functions, answering a question of de la Harpe and Jones.
On $r$-uniform hypergraphs with circumference less than $r$
We show that for each $k\geq 4$ and $n>r\geq k+1$, every $n$-vertex $r$-uniform hypergraph with no Berge cycle of length at least $k$ has at most $\frac{(k-1)(n-1)}{r}$ edges. The bound is exact, and we describe the extremal hypergraphs. This implies and slightly refines the theorem of Győri, Katona and Lemons that for $n>r\geq k\geq 3$, every $n$-vertex $r$-uniform hypergraph with no Berge path of length $k$ has at most $\frac{(k-1)n}{r+1}$ edges. To obtain the bounds, we study bipartite graphs with no cycles of length at least $2k$, and then translate the results into the language of multi-hypergraphs.
Counting maximal near perfect matchings in quasirandom and dense graphs
A maximal $\varepsilon$-near perfect matching is a maximal matching which covers at least $(1-\varepsilon)|V(G)|$ vertices. In this paper, we study the number of maximal near perfect matchings in generalized quasirandom and dense graphs. We provide tight lower and upper bounds on the number of $\varepsilon$-near perfect matchings in generalized quasirandom graphs. Moreover, based on these results, we provide a deterministic polynomial time algorithm that for a given dense graph $G$ of order $n$ and a real number $\varepsilon>0$, returns either a conclusion that $G$ has no $\varepsilon$-near perfect matching, or a positive non-trivial number $\ell$ such that the number of maximal $\varepsilon$-near perfect matchings in $G$ is at least $n^{\ell n}$. Our algorithm uses algorithmic version of Szemerédi Regularity Lemma, and has $O(f(\varepsilon)n^{5/2})$ time complexity. Here $f(\cdot)$ is an explicit function depending only on $\varepsilon$.
Algorithms for #BIS-hard problems on expander graphs
Published
• View Publication
• BIB
We give an FPTAS and an efficient sampling algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander graphs and the low-temperature ferromagnetic Potts model on bounded-degree expander graphs. The results apply, for example, to random (bipartite) $Δ$-regular graphs, for which no efficient algorithms were known for these problems (with the exception of the Ising model) in the non-uniqueness regime of the infinite $Δ$-regular tree. We also find efficient counting and sampling algorithms for proper $q$-colorings of random $Δ$-regular bipartite graphs when $q$ is sufficiently small as a function of $Δ$.
Three local actions in $6$-valent arc-transitive graphs
It is known that there are precisely three transitive permutation groups of degree $6$ that admit an invariant partition with three parts of size $2$ such that the kernel of the action on the parts has order $4$; these groups are called $A_4(6)$, $S_4(6d)$ and $S_4(6c)$. For each $L\in \{A_4(6), S_4(6d), S_4(6c)\}$, we construct an infinite family of finite connected $6$-valent graphs $\{Γ_n\}_{n\in \mathbb{N}}$ and arc-transitive groups $G_n \le \rm{Aut}(Γ_n)$ such that the permutation group induced by the action of the vertex-stabiliser $(G_n)_v$ on the neighbourhood of a vertex $v$ is permutation isomorphic to $L$, and such that $|(G_n)_v|$ is exponential in $|\rm{V}(Γ_n)|$. These three groups were the only transitive permutation groups of degree at most $7$ for which the existence of such a family was undecided. In the process, we construct an infinite family of cubic $2$-arc-transitive graphs such that the dimension of the $1$-eigenspace over the field of order $2$ of the adjacency matrix of the graph grows linearly with the order of the graph.
Normalized Laplacian spectrum of some generalized subdivision-corona of two regular graphs
In this paper, we determine the two normalized Laplacian spectrum of generalized subdivision- vertex corona, subdivision-edge corona for a connected regular graph with an arbitrary reg- ular graph in terms of their normalized Laplacian eigenvalues. Moreover, applying these results, we find some non-regular normaliaed Laplacian cospectral graphs. These results generalize the existing results in [11].
Graph Operations and Neighborhood Polynomials
Published
• View Publication
• BIB
The neighborhood polynomial of graph $G$ is the generating function for the number of vertex subsets of $G$ of which the vertices have a common neighbor in $G$. In this paper, we investigate the behavior of this polynomial under several graph operations. Specifically, we provide an explicit formula for the neighborhood polynomial of the graph obtained from a given graph $G$ by vertex attachment. We use this result to propose a recursive algorithm for the calculation of the neighborhood polynomial. Finally, we prove that the neighborhood polynomial can be found in polynomial-time in the class of $k$-degenerate graphs.
General sum-connectivity index of trees and unicyclic graphs with fixed maximum degree
The general sum-connectivity index of a graph $G$ is defined as $χ_α(G)=\sum\limits_{uv\in E(G)} {(d(u)+d(v))^α}$, where $d(v)$ denotes the degree of the vertex $v$ in $G$ and $α$ is a real number. In this paper it is deduced the maximum value for the general sum-connectivity index of $n$-vertex trees for $-1.7036\leq α<0$ and of $n$-vertex unicyclic graphs for $-1\le α<0$ respectively, with fixed maximum degree $\triangle $. The corresponding extremal graphs, as well as the $n$-vertex unicyclic graphs with the second maximum general sum-connectivity index for $n\ge 4$ are characterized. This extends the corresponding results by Du, Zhou and Trinajsti\' c [arXiv:1210.5043] about sum-connectivity index.
Bounded-Excess Flows in Cubic Graphs
Published
• View Publication
• BIB
An (r,alpha)-bounded excess flow ((r,alpha)-flow) in an orientation of a graph G=(V,E) is an assignment of a real "flow value" between 1 and r-1 to every edge. Rather than 0 as in an actual flow, some flow excess, which does not exceed alpha may accumulate in any vertex. Bounded excess flows suggest a generalization of Circular nowhere zero flows, which can be regarded as (r,0)-flows. We define (r,alpha) as Stronger or equivalent to (s,beta) If the existence of an (r,alpha)-flow in a cubic graph always implies the existence of an (s,beta)-flow in the same graph. Then we study the structure of the two-dimensional flow strength poset. A major role is played by the "Trace" parameter: tr(r,alpha)=(r-2alpha) divided by (1-alpha). Among points with the same trace the stronger is the one with the larger r (an r-cnzf is of trace r). About one half of the article is devoted to proving the main result: Every cubic graph admits a (3.5,0.5)-flow. tr(3.5,0.5)=5 so it can be considered a step in the direction of the 5-flow Conjecture. Our result is best possible for all cubic graphs while the seemingly stronger 5-flow Conjecture only applies to bridgeless graphs. We strongly rely on the notion of "k-weak bisections", defined and studied in: L. Esperet, G. Mazzuoccolo and M. Tarsi "Flows and Bisections in Cubic Graphs" J. Graph Theory, 86(2) (2017), 149-158.
Rank of weighted digraphs with blocks
Let $G$ be a digraph and $r(G)$ be its rank. Many interesting results on the rank of an undirected graph appear in the literature, but not much information about the rank of a digraph is available. In this article, we study the rank of a digraph using the ranks of its blocks. In particular, we define classes of digraphs, namely $r_2$-digraph, and $r_0$-digraph, for which the rank can be exactly determined in terms of the ranks of subdigraphs of the blocks. Furthermore, the rank of directed trees, simple biblock graphs, and some simple block graphs are studied.
Fixing Numbers of Graphs and Groups
Published in Electronic Journal of Combinatorics 16 (2009), no. 1 (electronic)
• View Publication
• BIB
The fixing number of a graph $G$ is the smallest cardinality of a set of vertices $S$ such that only the trivial automorphism of $G$ fixes every vertex in $S$. The fixing set of a group $Γ$ is the set of all fixing numbers of finite graphs with automorphism group $Γ$. Several authors have studied the distinguishing number of a graph, the smallest number of labels needed to label $G$ so that the automorphism group of the labeled graph is trivial. The fixing number can be thought of as a variation of the distinguishing number in which every label may be used only once, and not every vertex need be labeled. We characterize the fixing sets of finite abelian groups, and investigate the fixing sets of symmetric groups.
Using Block Designs in Crossing Number Bounds
Published
• View Publication
• BIB
The crossing number ${\mbox {cr}}(G)$ of a graph $G=(V,E)$ is the smallest number of edge crossings over all drawings of $G$ in the plane. For any $k\ge 1$, the $k$-planar crossing number of $G$, ${\mbox {cr}}_k(G)$, is defined as the minimum of ${\mbox {cr}}(G_1)+{\mbox {cr}}(G_2)+\ldots+{\mbox {cr}}(G_{k})$ over all graphs $G_1, G_2,\ldots, G_{k}$ with $\cup_{i=1}^{k}G_i=G$. Pach et al. [\emph{Computational Geometry: Theory and Applications} {\bf 68} 2--6, (2018)] showed that for every $k\ge 1$, we have ${\mbox {cr}}_k(G)\le \left(\frac{2}{k^2}-\frac1{k^3}\right){\mbox {cr}}(G)$ and that this bound does not remain true if we replace the constant $\frac{2}{k^2}-\frac1{k^3}$ by any number smaller than $\frac1{k^2}$. We improve the upper bound to $\frac{1}{k^2}(1+o(1))$ as $k\rightarrow \infty$. For the class of bipartite graphs, we show that the best constant is exactly $\frac{1}{k^2}$ for every $k$. The results extend to the rectilinear variant of the $k$-planar crossing number.
Polynomial bounds for centered colorings on proper minor-closed graph classes
Published
• View Publication
• BIB
For $p\in \mathbb{N}$, a coloring $λ$ of the vertices of a graph $G$ is {\em{$p$-centered}} if for every connected subgraph~$H$ of $G$, either $H$ receives more than $p$ colors under $λ$ or there is a color that appears exactly once in $H$. In this paper, we prove that every $K_t$-minor-free graph admits a $p$-centered coloring with $\mathcal{O}(p^{g(t)})$ colors for some function $g$. In the special case that the graph is embeddable in a fixed surface $Σ$ we show that it admits a $p$-centered coloring with $\mathcal{O}(p^{19})$ colors, with the degree of the polynomial independent of the genus of $Σ$. This provides the first polynomial upper bounds on the number of colors needed in $p$-centered colorings of graphs drawn from proper minor-closed classes, which answers an open problem posed by Dvoř{á}k.
As an algorithmic application, we use our main result to prove that if $\mathcal{C}$ is a fixed proper minor-closed class of graphs, then given graphs $H$ and $G$, on $p$ and $n$ vertices, respectively, where $G\in \mathcal{C}$, it can be decided whether $H$ is a subgraph of $G$ in time $2^{\mathcal{O}(p\log p)}\cdot n^{\mathcal{O}(1)}$ and space $n^{\mathcal{O}(1)}$.
Unit distance graphs and algebraic integers
Published
• View Publication
• BIB
We answer a question of Brass about vertex degrees in unit distance graphs of finitely generated additive subgroups of $\mathbb{R}^2$.
Induced subgraphs of graphs with large chromatic number. XIII. New brooms
Published
• View Publication
• BIB
Gyárfás and Sumner independently conjectured that for every tree $T$, the class of graphs not containing $T$ as an induced subgraph is $χ$-bounded, that is, the chromatic numbers of graphs in this class are bounded above by a function of their clique numbers. This remains open for general trees $T$, but has been proved for some particular trees. For $k\ge 1$, let us say a broom of length $k$ is a tree obtained from a $k$-edge path with ends $a,b$ by adding some number of leaves adjacent to $b$, and we call $a$ its handle. A tree obtained from brooms of lengths $k_1,...,k_n$ by identifying their handles is a $(k_1,...,k_n)$-multibroom. Kierstead and Penrice proved that every $(1,...,1)$-multibroom $T$ satisfies the Gyárfás-Sumner conjecture, and Kierstead and Zhu proved the same for $(2,...,2)$-multibrooms. In this paper give a common generalization: we prove that every $(1,...,1,2,...,2)$-multibroom satisfies the Gyárfás-Sumner conjecture.
Generic torus orbit closures in Schubert varieties
Published in Journal of Combinatorial Theory, Series A Volume 170, February 2020
• View Publication
• BIB
The closure of a generic torus orbit in the flag variety $G/B$ of type $A_{n-1}$ is known to be a permutohedral variety and well studied. In this paper we introduce the notion of a generic torus orbit in the Schubert variety $X_w$ $(w\in \mathfrak{S}_n)$ and study its closure $Y_w$. We identify the maximal cone in the fan of $Y_w$ corresponding to a fixed point $uB$ $(u\le w)$, associate a graph $Γ_w(u)$ to each $u\le w$, and show that $Y_w$ is smooth at $uB$ if and only if $Γ_w(u)$ is a forest. We also introduce a polynomial $A_w(t)$ for each $w$, which agrees with the Eulerian polynomial when $w$ is the longest element of $\mathfrak{S}_n$, and show that the Poincaré polynomial of $Y_w$ agrees with $A_w(t^2)$ when $Y_w$ is smooth.
Action graphs, planar rooted forests, and self-convolutions of the Catalan numbers
Published in Involve 14 (2021) 387-399
• View Publication
• BIB
We show that families of action graphs, with initial graphs which are linear of varying length, give rise to self-convolutions of the Catalan sequence. We prove this result via a comparison with planar rooted forests with a fixed number of trees.
Topological Prismatoids and Small Simplicial Spheres of Large Diameter
Published in Experimental Mathematics, 31:2 (2022), 461-473
• View Publication
• BIB
We introduce topological prismatoids, a combinatorial abstraction of the (geometric) prismatoids recently introduced by the second author to construct counter-examples to the Hirsch conjecture. We show that the `strong $d$-step Theorem' that allows to construct such large-diameter polytopes from `non-$d$-step' prismatoids still works at this combinatorial level. Then, using metaheuristic methods on the flip graph, we construct four combinatorially different non-$d$-step $4$-dimensional topological prismatoids with $14$ vertices. This implies the existence of $8$-dimensional spheres with $18$ vertices whose combinatorial diameter exceeds the Hirsch bound. These examples are smaller that the previously known examples by Mani and Walkup in 1980 ($24$ vertices, dimension $11$).
Our non-Hirsch spheres are shellable but we do not know whether they are realizable as polytopes.
(Probably) Concave Graph Matching
In this paper we address the graph matching problem. Following the recent works of \cite{zaslavskiy2009path,Vestner2017} we analyze and generalize the idea of concave relaxations. We introduce the concepts of conditionally concave and probably conditionally concave energies on polytopes and show that they encapsulate many instances of the graph matching problem, including matching Euclidean graphs and graphs on surfaces. We further prove that local minima of probably conditionally concave energies on general matching polytopes (e.g., doubly stochastic) are with high probability extreme points of the matching polytope (e.g., permutations).
Tractable $n$-Metrics for Multiple Graphs
Graphs are used in almost every scientific discipline to express relations among a set of objects. Algorithms that compare graphs, and output a closeness score, or a correspondence among their nodes, are thus extremely important. Despite the large amount of work done, many of the scalable algorithms to compare graphs do not produce closeness scores that satisfy the intuitive properties of metrics. This is problematic since non-metrics are known to degrade the performance of algorithms such as distance-based clustering of graphs (Stratis and Bento 2018). On the other hand, the use of metrics increases the performance of several machine learning tasks (Indyk et al. 1999, Clarkson et al. 1999, Angiulli et al. 2002, Ackermann et al. 2010). In this paper, we introduce a new family of multi-distances (a distance between more than two elements) that satisfies a generalization of the properties of metrics to multiple elements. In the context of comparing graphs, we are the first to show the existence of multi-distances that simultaneously incorporate the useful property of alignment consistency (Nguyen et al. 2011), and a generalized metric property. Furthermore, we show that these multi-distances can be relaxed to convex optimization problems, without losing the generalized metric property.