graph
35436 papers tagged with this keyword
Restricted $r$-Stirling Numbers and their Combinatorial Applications
We study set partitions with $r$ distinguished elements and block sizes found in an arbitrary index set $S$. The enumeration of these $(S,r)$-partitions leads to the introduction of $(S,r)$-Stirling numbers, an extremely wide-ranging generalization of the classical Stirling numbers and the $r$-Stirling numbers. We also introduce the associated $(S,r)$-Bell and $(S,r)$-factorial numbers. We study fundamental aspects of these numbers, including recurrence relations and determinantal expressions. For $S$ with some extra structure, we show that the inverse of the $(S,r)$-Stirling matrix encodes the Möbius functions of two families of posets. Through several examples, we demonstrate that for some $S$ the matrices and their inverses involve the enumeration sequences of several combinatorial objects. Further, we highlight how the $(S,r)$-Stirling numbers naturally arise in the enumeration of cliques and acyclic orientations of special graphs, underlining their ubiquity and importance. Finally, we introduce related $(S,r)$ generalizations of the poly-Bernoulli and poly-Cauchy numbers, uniting many past works on generalized combinatorial sequences.
Automatic Logarithm and Associated Measures
We introduce the notion of the Automatic Logarithm $\mathcal L_{\mathcal A, \mathcal B}$ with the purpose of studying the expanding properties of Schreier graphs of action of the group generated by two finite initial Mealy automata $\mathcal A$ and $\mathcal B$ on the levels of a regular $d$-ary rooted tree $\mathcal T$, where $\mathcal A$ is level-transitive and of bounded activity. $\mathcal L_{\mathcal A, \mathcal B}$ computes the lengths of chords in this family of graphs. Formally, $\mathcal L$ is a map $\partial \mathcal T \rightarrow \mathbb{Z}_d$ from the boundary of the tree to the integer $p$-adics whose values are determined by a Moore machine. The distribution of its outputs yields a probabilistic measure $μ$ on $\partial \mathcal T$, which in some cases can be computed by a Mealy-type machine (we then say that $μ$ is finite-state). We provide a criterion to determine whether $μ$ is finite-state. A number of examples illustrating the different cases with $\mathcal A$ being the adding machine is provided.
Pak-Stanley labeling for Central Graphical Arrangements
The original Pak-Stanley labeling was defined by Pak and Stanley as a bijective map from the set of regions of an extended Shi arrangement to the set of parking functions. This map was later generalized to other arrangements associated with graphs and directed multigraphs. In these more general cases the map is no longer bijective. However, it was shown Hopkins and Perkinson and then the first author that it is surjective to the set of the $G$-parking functions, where $G$ is the multigraph associated with the arrangement.
This leads to a natural question: when is the generalized Pak-Stanley map bijective? In this paper we answer this question in the special case of central hyperplane arrangements, i.e. the case when all the hyperplanes of the arrangement pass through a common point.
The Alon-Tarsi number of a planar graph minus a matching
This paper proves that every planar graph $G$ contains a matching $M$ such that the Alon-Tarsi number of $G-M$ is at most $4$. As a consequence, $G-M$ is $4$-paintable, and hence $G$ itself is $1$-defective $4$-paintable. This improves a result of Cushing and Kierstead [Planar Graphs are 1-relaxed, 4-choosable, {\em European Journal of Combinatorics} 31(2010),1385-1397], who proved that every planar graph is $1$-defective $4$-choosable.
On the largest two and smallest six distance Pareto eigenvalues of a graph
In this article, we establish some bounds involving the largest two distance Pareto eigenvalues of a connected graph. Also we characterize all possible values for smallest six distance Pareto eigenvalues of a connected graph.
An increasing sequence of lower bounds for the Estrada index of graphs and matrices
Let $G$ be a graph on $n$ vertices and $λ_1\geq λ_2\geq \ldots \geq λ_n$ its eigenvalues. The Estrada index of $G$ is defined as $EE(G)=\sum_{i=1}^n e^{λ_i}.$ In this work, we using an increasing sequence converging to the $λ_1$ to obtain an increasing sequence of lower bounds for $EE(G)$. In addition, we generalize this succession for the Estrada index of an arbitrary nonnegative Hermitian matrix.
Graph Isomorphism for $(H_1,H_2)$-free Graphs: An Almost Complete Dichotomy
We resolve the computational complexity of Graph Isomorphism for classes of graphs characterized by two forbidden induced subgraphs $H_1$ and $H_2$ for all but six pairs $(H_1,H_2)$. Schweitzer had previously shown that the number of open cases was finite, but without specifying the open cases. Grohe and Schweitzer proved that Graph Isomorphism is polynomial-time solvable on graph classes of bounded clique-width. Our work combines known results such as these with new results. By exploiting a relationship between Graph Isomorphism and clique-width, we simultaneously reduce the number of open cases for boundedness of clique-width for $(H_1,H_2)$-free graphs to five.
The polytope of legal sequences
A sequence of vertices in a graph is called a \emph{(total) legal dominating sequence} if every vertex in the sequence (total) dominates at least one vertex not dominated by those ones that precede it, and at the end all vertices of the graph are (totally) dominated. The \emph{Grundy (total) domination number} of a graph is the size of the largest (total) legal dominating sequence. In this work, we address the problems of determining these two parameters by introducing a generalized version of them. We explicitly calculate the corresponding (general) parameter for paths and web graphs. We propose integer programming formulations for the new problem and we study the polytope associated to one of them. We find families of valid inequalities and derive conditions under which they are facet-defining. Finally, we perform computational experiments to compare the formulations as well as to test valid inequalities as cuts in a B\&C framework.
Randomized Schützenberger's jeu de taquin and approximate calculation of co-transition probabilities of a central Markov process on the 3D Young graph
There exists a well-known hook-length formula for calculating the dimensions of 2D Young diagrams. Unfortunately, the analogous formula for 3D case is unknown. We introduce an approach for calculating the estimations of dimensions of three-dimensional Young diagrams also known as plane partitions. The most difficult part of this task is the calculation of co-transition probabilities for a central Markov process. We propose an algorithm for approximate calculation of these probabilities. It generates numerous random paths to a given diagram. In case the generated paths are uniformly distributed, the proportion of paths passing through a certain branch gives us an approximate value of the co-transition probability. As our numerical experiments show, the random generator based on the randomized variant of the Schützenberger transformation allows to obtain accurate values of co-transition probabilities. Also a method to construct 3D Young diagrams with large dimensions is proposed.
Lobe, Edge, and Arc Transitivity of Graphs of Connectivity 1
We give necessary and sufficient conditions for lobe-transitivity of locally finite and locally countable graphs whose connectivity equals 1. We show further that, given any biconnected graph $Λ$ and a "code" assigned to each orbit of Aut($Λ$), there exists a unique lobe-transitive graph $Γ$ of connectivity 1 whose lobes are copies of $Λ$ and is consistent with the given code at every vertex of $Γ$. These results lead to necessary and sufficient conditions for a graph of connectivity $1$ to be edge-transitive and to be arc-transitive. Countable graphs of connectivity 1 the action of whose automorphism groups is, respectively, vertex-transitive, primitive, regular, Cayley, and Frobenius had been previously characterized in the literature.
The core index of a graph
For a graph $G,$ we denote the number of connected subgraphs of $G$ by $F(G)$. For a tree $T$, $F(T)$ has been studied extensively and it has been observed that $F(T)$ has a reverse correlation with Wiener index of $T$. Based on that, we call $F(G),$ the core index of $G$.
In this paper, we characterize the graphs which extremize the core index among all graphs on $n$ vertices with $k\geq 0$ connected components. We extend our study of core index to unicyclic graphs and connected graphs with fixed number of pendant vertices. We obtained the unicyclic graphs which extremize the core index over all unicyclic graphs on $n$ vertices. The graphs which extremize the core index among all unicyclic graphs with fixed girth are also obtained. Among all connected graphs on $n$ vertices with fixed number of pendant vertices, the graph which minimizes and the graph which maximizes the core index are characterized.
An infinite family of locally X graphs based on incidence geometries
A graph ${\mathcal G}$ is locally X if the graphs induced on the neighbours of every vertex of ${\mathcal G}$ are isomorphic to the graph $X$. We prove that the infinite family of incidence graphs of the $r$-rank incidence geometries, $Γ(KG(n,k),r)$, constructed using the Kneser graphs $KG(n,k)$, are locally $X$ with $X$ being the incidence graphs of the rank $r-1$ residues of $Γ(KG(n,k),r)$.
Topological Bounds on the Dimension of Orthogonal Representations of Graphs
An orthogonal representation of a graph is an assignment of nonzero real vectors to its vertices such that distinct non-adjacent vertices are assigned to orthogonal vectors. We prove general lower bounds on the dimension of orthogonal representations of graphs using the Borsuk-Ulam theorem from algebraic topology. Our bounds strengthen the Kneser conjecture, proved by Lovász in 1978, and some of its extensions due to Bárány, Schrijver, Dol'nikov, and Kriz. As applications, we determine the integrality gap of fractional upper bounds on the Shannon capacity of graphs and the quantum one-round communication complexity of certain promise equality problems.
Hamiltonian cycles and paths in hypercubes with disjoint faulty edges
Published
• View Publication
• BIB
We consider hypercubes with pairwise disjoint faulty edges. An $n$-dimensional hypercube $Q_n$ is an undirected graph with $2^n$ nodes, each labeled with a distinct binary strings of length $n$. The parity of the vertex is 0 if the number of ones in its labels is even, and is 1 if the number of ones is odd. Two vertices $a$ and $b$ are connected by the edge iff $a$ and $b$ differ in one position. If $a$ and $b$ differ in position $i$, then we say that the edge $(a,b)$ goes in direction $i$ and we define the parity of the edge as the parity of the end with 0 on the position $i$. It was already known that $Q_n$ is not Hamiltonian if all edges going in one direction and of the same parity are faulty.
In this paper we show that if $n\ge4$ then all other hypercubes are Hamiltonian. In other words, every cube $Q_n$, with $n\ge4$ and disjoint faulty edges is Hamiltonian if and only if for each direction there are two healthy crossing edges of different parity.
Infinite Families of Asymmetric Graphs
A graph $G$ is \textit{asymmetric} if its automorphism group of vertices is trivial. Asymmetric graphs were introduced by Erdős and Rényi in 1963. They showed that the probability of a graph on $n$ vertices being asymmetric tends to $1$ as $n$ tends to infinity. In this paper, we first give consider the number of asymmetric trees, a question posed by Erdős and Rényi. We give a partial result, showing that the number of asymmetric subdivided stars is approximately $q(n-1) - \lfloor \frac{n-1}{2} \rfloor$ where $q(n)$ is the number of ways to sum to $n$ using distinct positive integers, found by Hardy and Ramanujan in 1918. We also investigate cubic Hamiltonian graphs where asymmetry, at least for small values of $n$, seems to be rare. It is known that none of the cubic Hamiltonian graphs on $4\leq n\leq 10$ vertices are asymmetric, and of the $80$ cubic Hamiltonian graphs on $12$ vertices only $5$ are asymmetric. We give a construction of an infinite family of cubic Hamiltonian graphs that are asymmetric. Then we present an infinite family of quartic Hamiltonian graphs that are asymmetric. We use both of the above results for cubic and quartic asymmetric Hamiltonian graphs to establish the existence of $k$-regular asymmetric Hamiltonian graphs for all $k\geq 3$.
Fractional coloring with local demands and applications to degree-sequence bounds on the independence number
Published in Journal of Combinatorial Theory, Series B. Volume 169, November 2024, Pages 298-337
• View Publication
• BIB
In a fractional coloring, vertices of a graph are assigned measurable subsets of the real line and adjacent vertices receive disjoint subsets; the fractional chromatic number of a graph is at most $k$ if it has a fractional coloring in which each vertex receives a subset of $[0, 1]$ of measure at least $1/k$. We introduce and develop the theory of "fractional colorings with local demands" wherein each vertex "demands" a certain amount of color that is determined by local parameters such as its degree or the clique number of its neighborhood. This framework provides the natural setting in which to generalize degree-sequence type bounds on the independence number. Indeed, by Linear Programming Duality, all of the problems we study have an equivalent formulation as a problem concerning weighted independence numbers, and they often imply new bounds on the independence number.
Our results and conjectures are inspired by many of the most classical results and important open problems concerning the independence number and the chromatic number, often simultaneously. We conjecture a local strengthening of both Shearer's bound on the independence number of triangle-free graphs and the fractional relaxation of Molloy's recent bound on their chromatic number, as well as a longstanding problem of Ajtai et al.\ on the independence number of $K_r$-free graphs and the fractional relaxations of Reed's $ω, Δ, χ$ Conjecture and the Total Coloring Conjecture. We prove an approximate version of the first two, and we prove "local demands" versions of Vizing's Theorem and of some $χ$-boundedness results.
Triangles in $C_5$-free graphs and Hypergraphs of Girth Six
We introduce a new approach and prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $$(1 + o(1)) \frac{1}{3 \sqrt 2} n^{3/2}.$$ We also show a connection to $r$-uniform hypergraphs without (Berge) cycles of length less than six, and estimate their maximum possible size.
On Bollobás-Riordan random pairing model of preferential attachment graph
Bollobás-Riordan random pairing model of a preferential attachment graph $G_m^n$ is studied. Let $\{W_j\}_{j\le mn+1}$ be the process of sums of independent exponentials with mean $1$. We prove that the degrees of the first $ν_m^n:=n^{\frac{m}{m+2}-ε}$ vertices are jointly, and uniformly, asymptotic to $\{2(mn)^{1/2}\bigl(W^{1/2}_{mj}-W^{1/2}_{m(j-1)}\bigr)\}_{j\in [t]}$, and that with high probability (whp) the smallest of these degrees is $n^{\frac{ε(m+2)}{2m}}$, at least. In contrast, the degrees of vertices below the top by any fraction of $n$ are whp of $O(\log n)$ order. Next we bound the probability that there exists a pair of large vertex sets with no edges joining them, and apply the bound to several special cases. We propose to measure an influence of a vertex $v$ by the size of a maximal recursive tree (max-tree) rooted at $v$. The set of the first $ν_m^n$ vertices is shown whp not to contain a max-tree of any size. Whp the largest recursive tree has size of order $n$. We prove that, for $m>1$, $\Bbb P(G_m^n\text{ is connected})\ge 1- O\bigl((\log n)^{-(m-1)/3+o(1)}\bigr)$. We show that the distribution of the scaled size of a generic max-tree in $G_1^n$ converges to a mixture of two beta distributions.
Finding perfect matchings in random regular graphs in linear time
Published
• View Publication
• BIB
In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has received less attention. Empirical results suggest that the first algorithm is superior. In this paper we analyze an adapted version of the first algorithm, the Reduce-Construct algorithm. We show that the Reduce-Construct algorithm finds a maximum matching in random $k=O(1)$-regular graphs in linear time in expectation, as opposed to $O(n^{3/2})$ time for the worst-case.
Counterexamples to a conjecture of Harris on Hall ratio
The Hall ratio of a graph $G$ is the maximum value of $v(H) / α(H)$ taken over all non-null subgraphs $H$ of $G$. For any graph, the Hall ratio is a lower-bound on its fractional chromatic number. In this note, we present various constructions of graphs whose fractional chromatic number grows much faster than their Hall ratio. This refutes a conjecture of Harris.