graph
35299 papers tagged with this keyword
Overlaps in Field Generated Circular Planar Nearrings
Published
• View Publication
• BIB
We investigate circular planar nearrings constructed from finite fields as well the complex number field using a multiplicative subgroup of order $k$, and characterize the overlaps of the basic graphs which arise in the associated $2$-designs.
Attainable bounds for algebraic connectivity and maximally-connected regular graphs
Published
• View Publication
• BIB
We derive attainable upper bounds on the algebraic connectivity (spectral gap) of a regular graph in terms of its diameter and girth. This bound agrees with the well-known Alon-Boppana-Friedman bound for graphs of even diameter, but is an improvement for graphs of odd diameter. For the girth bound, we show that only Moore graphs can attain it, and these only exist for very few possible girths. For diameter bound, we use a combination of stochastic algorithms and exhaustive search to find graphs which attain it. For 3-regular graphs, we find attainable graphs for all diameters $D$ up to and including $D=9$ (the case of $D=10$ is open). These graphs are extremely rare and also have high girth; for example we found exactly 45 distinct cubic graphs on 44 vertices attaining the upper bound when $D=7$; all have girth 8 (out of a total of about $10^{20}$ cubic graphs on 44 vertices, including 266362 having girth 8). We also exhibit families of $d$-regular graphs attaining upper bounds with $D=3$ and $4$, and with $g=6.$ Several conjectures are proposed.
Minimum $k$-critical-bipartite graphs: the irregular Case
Published
• View Publication
• BIB
We study the problem of finding a minimum $k$-critical-bipartite graph of order $(n,m)$: a bipartite graph $G=(U,V;E)$, with $|U|=n$, $|V|=m$, and $n>m>1$, which is $k$-critical-bipartite, and the tuple $(|E|, Δ_U, Δ_V)$, where $Δ_U$ and $Δ_V$ denote the maximum degree in $U$ and $V$, respectively, is lexicographically minimum over all such graphs. $G$ is $k$-critical-bipartite if deleting at most $k=n-m$ vertices from $U$ yields $G'$ that has a complete matching, i.e., a matching of size $m$. Cichacz and Suchan solved the problem for biregular bipartite graphs. Here, we extend their results to bipartite graphs that are not biregular. We also prove tight lower bounds on the connectivity of $k$-critical-bipartite graphs.
Sparse induced subgraphs in P_6-free graphs
Published
• View Publication
• BIB
We prove that a number of computational problems that ask for the largest sparse induced subgraph satisfying some property definable in CMSO2 logic, most notably Feedback Vertex Set, are polynomial-time solvable in the class of $P_6$-free graphs. This generalizes the work of Grzesik, Klimošová, Pilipczuk, and Pilipczuk on the Maximum Weight Independent Set problem in $P_6$-free graphs~[SODA 2019, TALG 2022], and of Abrishami, Chudnovsky, Pilipczuk, Rzążewski, and Seymour on problems in $P_5$-free graphs~[SODA~2021]. The key step is a new generalization of the framework of potential maximal cliques. We show that instead of listing a large family of potential maximal cliques, it is sufficient to only list their carvers: vertex sets that contain the same vertices from the sought solution and have similar separation properties.
Planar algebras for the Young graph and the Khovanov Heisenberg category
Published in International Journal of Mathematics, Vol. 36, No. 6 (2025) 2550002
• View Publication
• BIB
This paper studies planar algebras of Jones' style associated with the Young graph. We first see that, given a positive real valued function on the Young graph, we may obtain a planar algebra whose structure is defined in terms of a state sum over the ways of filling planar tangles with Young diagrams. We delve into the case that the function is harmonic and related to the Plancherel measures on Young diagrams. Along with an element that is depicted as a cross of two strings, we see that the defining relations among morphisms for the Khovanov Heisenberg category are recovered in the planar algebra. We also identify certain elements in the planar algebra with particular functions of Young diagrams that include the moments, Boolean cumulants and normalized characters. This paper thereby bridges diagramatical categorification and asymptotic representation theory. In fact, the Khovanov Heisenberg category is one of the most fundamental examples of diagramatical categorification whereas the harmonic functions on the Young graph have been a central object in the asymptotic representation theory of symmetric groups.
Influences in Mixing Measures
Published
• View Publication
• BIB
The theory of influences in product measures has profound applications in theoretical computer science, combinatorics, and discrete probability. This deep theory is intimately connected to functional inequalities and to the Fourier analysis of discrete groups. Originally, influences of functions were motivated by the study of social choice theory, wherein a Boolean function represents a voting scheme, its inputs represent the votes, and its output represents the outcome of the elections. Thus, product measures represent a scenario in which the votes of the parties are randomly and independently distributed, which is often far from the truth in real-life scenarios.
We begin to develop the theory of influences for more general measures under mixing or correlation decay conditions. More specifically, we prove analogues of the KKL and Talagrand influence theorems for Markov Random Fields on bounded degree graphs with correlation decay. We show how some of the original applications of the theory of in terms of voting and coalitions extend to general measures with correlation decay. Our results thus shed light both on voting with correlated voters and on the behavior of general functions of Markov Random Fields (also called ``spin-systems") with correlation decay.
Edge-Coloring Algorithms for Bounded Degree Multigraphs
Published
• View Publication
• BIB
In this paper, we consider algorithms for edge-coloring multigraphs $G$ of bounded maximum degree, i.e., $Δ(G) = O(1)$. Shannon's theorem states that any multigraph of maximum degree $Δ$ can be properly edge-colored with $\lfloor3Δ/2\rfloor$ colors. Our main results include algorithms for computing such colorings. We design deterministic and randomized sequential algorithms with running time $O(n\log n)$ and $O(n)$, respectively. This is the first improvement since the $O(n^2)$ algorithm in Shannon's original paper, and our randomized algorithm is optimal up to constant factors. We also develop distributed algorithms in the $\mathsf{LOCAL}$ model of computation. Namely, we design deterministic and randomized $\mathsf{LOCAL}$ algorithms with running time $\tilde O(\log^5 n)$ and $O(\log^2n)$, respectively. The deterministic sequential algorithm is a simplified extension of earlier work of Gabow et al. in edge-coloring simple graphs. The other algorithms apply the entropy compression method in a similar way to recent work by the author and Bernshteyn, where the authors design algorithms for Vizing's theorem for simple graphs. We also extend those results to Vizing's theorem for multigraphs.
Bootstrap percolation in strong products of graphs
Given a graph $G$ and assuming that some vertices of $G$ are infected, the $r$-neighbor bootstrap percolation rule makes an uninfected vertex $v$ infected if $v$ has at least $r$ infected neighbors. The $r$-percolation number, $m(G,r)$, of $G$ is the minimum cardinality of a set of initially infected vertices in $G$ such that after continuously performing the $r$-neighbor bootstrap percolation rule each vertex of $G$ eventually becomes infected. In this paper, we consider percolation numbers of strong products of graphs. If $G$ is the strong product $G_1\boxtimes \cdots \boxtimes G_k$ of $k$ connected graphs, we prove that $m(G,r)=r$ as soon as $r\le 2^{k-1}$ and $|V(G)|\ge r$. As a dichotomy, we present a family of strong products of $k$ connected graphs with the $(2^{k-1}+1)$-percolation number arbitrarily large. We refine these results for strong products of graphs in which at least two factors have at least three vertices. In addition, when all factors $G_i$ have at least three vertices we prove that $m(G_1 \boxtimes \dots \boxtimes G_k,r)\leq 3^{k-1} -k$ for all $r\leq 2^k-1$, and we again get a dichotomy, since there exist families of strong products of $k$ graphs such that their $2^{k}$-percolation numbers are arbitrarily large. While $m(G\boxtimes H,3)=3$ if both $G$ and $H$ have at least three vertices, we also characterize the strong prisms $G\boxtimes K_2$ for which this equality holds. Some of the results naturally extend to infinite graphs, and we briefly consider percolation numbers of strong products of two-way infinite paths.
The cycle double cover conjecture from the perspective of percolation theory on iterated line graphs
The cycle double cover conjecture is a long standing problem in graph theory, which links local properties, the valency of a vertex and no bridges, and a global property of the graph, being covered by a particular set of cycles. We prove the conjecture using a lift of walks and cycles in $G$ to sets of open and closed edges on $\mathcal{L}(\mathcal{L}(G))$, the line graph of the line graph of $G$. We exploit that triangles are preserved by the line graph operator to obtain a one-to-one mapping from walks in the underlying graph $G$ to walks on $\mathcal{L}(\mathcal{L}(G))$. We prove that each set of "double walk covers" in $G$ induces a certain set of $\lbrace 0,1\rbrace$ labels on a subgraph covering of $\mathcal{L}(\mathcal{L}(G))$, minus a set of triangles, and conversely, that there is such a set of labels such that its projection back to $G$ implies a double cycle cover, if $G$ is an simple bridgeless triangle-free cubic graph. The techniques applied are inspired by percolation theory, flipping the $\lbrace 0,1\rbrace$ labels to obtain the desired structure.
Redicolouring digraphs: directed treewidth and cycle-degeneracy
Published
• View Publication
• BIB
Given a digraph $D=(V,A)$ on $n$ vertices and a vertex $v\in V$, the cycle-degree of $v$ is the minimum size of a set $S \subseteq V(D) \setminus \{v\}$ intersecting every directed cycle of $D$ containing $v$. From this definition of cycle-degree, we define the $c$-degeneracy (or cycle-degeneracy) of $D$, which we denote by $δ^*_c(D)$. It appears to be a nice generalisation of the undirected degeneracy. In this work, using this new definition of cycle-degeneracy, we extend several evidences for Cereceda's conjecture to digraphs. The $k$-dicolouring graph of $D$, denoted by $\mathcal{D}_k(D)$, is the undirected graph whose vertices are the $k$-dicolourings of $D$ and in which two $k$-dicolourings are adjacent if they differ on the colour of exactly one vertex.
We show that $\mathcal{D}_k(D)$ has diameter at most $O_{δ^*_c(D)}(n^{δ^*_c(D) + 1})$ (respectively $O(n^2)$ and $(δ^*_c(D)+1)n$) when $k$ is at least $δ^*_c(D)+2$ (respectively $\frac{3}{2}(δ^*_c(D)+1)$ and $2(δ^*_c(D)+1)$). This improves known results on digraph redicolouring (Bousquet et al.).
Next, we extend a result due to Feghali to digraphs, showing that $\mathcal{D}_{d+1}(D)$ has diameter at most $O_{d,ε}(n(\log n)^{d-1})$ when $D$ has maximum average cycle-degree at most $d-ε$. We then show that two proofs of Bonamy and Bousquet for undirected graphs can be extended to digraphs. The first one uses the digrundy number of a digraph and the second one uses the $\mathscr{D}$-width.
Finally, we give a general theorem which makes a connection between the recolourability of a digraph $D$ and the recolourability of its underlying graph $UG(D)$. This result directly extends a number of results on planar graph recolouring to planar digraph redicolouring.
Closeness Centralities of Lollipop Graphs
Published in The Computer Journal. 2024 Jun;67(6):2020-9
• View Publication
• BIB
Closeness is one of the most studied characteristics of networks. Residual closeness is a very sensitive measure of graphs robustness. Additional closeness is a measure of growth potentials of networks. In this article we calculate the closeness, vertex residual closeness, link residual closeness, and additional closeness of lollipop graphs.
(k-2)-linear connected components in hypergraphs of rank k
Published
• View Publication
• BIB
We define a $q$-linear path in a hypergraph $H$ as a sequence $(e_1,\ldots,e_L)$ of edges of $H$ such that $|e_i \cap e_{i+1}| \in [\![1,q]\!]$ and $e_i \cap e_j=\varnothing$ if $|i-j|>1$. In this paper, we study the connected components associated to these paths when $q=k-2$ where $k$ is the rank of $H$. If $k=3$ then $q=1$ which coincides with the well-known notion of linear path or loose path. We describe the structure of the connected components, using an algorithmic proof which shows that the connected components can be computed in polynomial time. We then mention two consequences of our algorithmic result. The first one is that deciding the winner of the Maker-Breaker game on a hypergraph of rank 3 can be done in polynomial time. The second one is that tractable cases for the NP-complete problem of "Paths Avoiding Forbidden Pairs" in a graph can be deduced from the recognition of a special type of line graph of a hypergraph.
Stackelberg Vertex Cover on a Path
Published in In: Deligkas, A., Filos-Ratsikas, A. (eds.) Algorithmic Game Theory. pp. 22-39. Springer Nature Switzerland, Cham (2023)
• View Publication
• BIB
A Stackelberg Vertex Cover game is played on an undirected graph $\mathcal{G}$ where some of the vertices are under the control of a \emph{leader}. The remaining vertices are assigned a fixed weight. The game is played in two stages. First, the leader chooses prices for the vertices under her control. Afterward, the second player, called \emph{follower}, selects a min weight vertex cover in the resulting weighted graph. That is, the follower selects a subset of vertices $C^*$ such that every edge has at least one endpoint in $C^*$ of minimum weight w.r.t.\ to the fixed weights, and the prices set by the leader. Stackelberg Vertex Cover (StackVC) describes the leader's optimization problem to select prices in the first stage of the game so as to maximize her revenue, which is the cumulative price of all her (priceable) vertices that are contained in the follower's solution. Previous research showed that StackVC is \textsf{NP}-hard on bipartite graphs, but solvable in polynomial time in the special case of bipartite graphs, where all priceable vertices belong to the same side of the bipartition. In this paper, we investigate StackVC on paths and present a dynamic program with linear time and space complexity.
A unified approach to Hindman, Ramsey and van der Waerden spaces
For many years, there have been conducting research (e.g. by Bergelson, Furstenberg, Kojman, Kubiś, Shelah, Szeptycki, Weiss) into sequentially compact spaces that are, in a sense, topological counterparts of some combinatorial theorems, for instance Ramsey's theorem for coloring graphs, Hindman's finite sums theorem and van der Waerden's arithmetical progressions theorem. These spaces are defined with the aid of different kinds of convergences: IP-convergence, R-convergence and ordinary convergence.
The first aim of this paper is to present a unified approach to these various types of convergences and spaces. Then, using this unified approach, we prove some general theorems about existence of the considered spaces and show that all results obtained so far in this subject can be derived from our theorems.
The second aim of this paper is to obtain new results about the specific types of these spaces. For instance, we construct a Hausdorff Hindman space that is not an $\I_{1/n}$-space and a Hausdorff differentially compact space that is not Hindman. Moreover, we compare Ramsey spaces with other types of spaces. For instance, we construct a Ramsey space that is not Hindman and a Hindman space that is not Ramsey.
The last aim of this paper is to provide a characterization that shows when there exists a space of one considered type that is not of the other kind. This characterization is expressed in purely combinatorial manner with the aid of the so-called Katětov order that has been extensively examined for many years so far.
This paper may interest the general audience of mathematicians as the results we obtain are on the intersection of topology, combinatorics, set theory and number theory.
The planar Turán number of the seven-cycle
The planar Turán number, $ex_\mathcal{P}(n,H)$, is the maximum number of edges in an $n$-vertex planar graph which does not contain $H$ as a subgraph. The topic of extremal planar graphs was initiated by Dowden (2016). He obtained sharp upper bound for both $ex_\mathcal{P}(n,C_4)$ and $ex_\mathcal{P}(n,C_5)$. Later on, D. Ghosh et al. obtained sharp upper bound of $ex_\mathcal{P}(n,C_6)$ and proposed a conjecture on $ex_\mathcal{P}(n,C_k)$ for $k\geq 7$. In this paper, we give a sharp upper bound $ex_\mathcal{P}(n,C_7)\leq {18\over 7}n-{48\over 7}$, which satisfies the conjecture of D. Ghosh et al. It turns out that this upper bound is also sharp for $ex_\mathcal{P}(n,\{K_4,C_7\})$, the maximum number of edges in an $n$-vertex planar graph which does not contain $K_4$ or $C_7$ as a subgraph.
Local elimination in the traveling salesman problem
Published
• View Publication
• BIB
Hougardy and Schroeder (WG 2014) proposed a combinatorial technique for pruning the search space in the traveling salesman problem, establishing that, for a given instance, certain edges cannot be present in any optimal tour. We describe an implementation of their technique, employing an exact TSP solver to locate k-opt moves in the elimination process. In our computational study, we combine LP reduced-cost elimination together with the new combinatorial algorithm. We report results on a set of geometric instances, with the number of points n ranging from 3,038 up to 115,475. The test set includes all TSPLIB instances having at least 3,000 points, together with 250 randomly generated instances, each with 10,000 points, and three currently unsolved instances having 100,000 or more points. In all but two of the test instances, the complete-graph edge sets were reduced to under 3n edges. For the three large unsolved instances, repeated runs of the elimination process reduced the graphs to under 2.5n edges.
Decompositions of some classes of regular graphs into cycles and paths of length eight
Let $C_{k}$ (resp. $P_{k}$) denote the cycle (resp. path) of length $k$. In this paper, we examine the necessary and sufficient conditions for the existence of a $(8; p, q)$-decomposition of tensor product and wreath product of complete graphs.
Projective dimension of weakly chordal graphic arrangements
Published in Algebraic Combinatorics, Volume 8, issue 1 (2025), p. 157-174
• View Publication
• BIB
A graphic arrangement is a subarrangement of the braid arrangement whose set of hyperplanes is determined by an undirected graph. A classical result due to Stanley, Edelman and Reiner states that a graphic arrangement is free if and only if the corresponding graph is chordal, i.e., the graph has no chordless cycle with four or more vertices. In this article we extend this result by proving that the module of logarithmic derivations of a graphic arrangement has projective dimension at most one if and only if the corresponding graph is weakly chordal, i.e., the graph and its complement have no chordless cycle with five or more vertices.
Asymmetry of 2-step Transit Probabilities in 2-Coloured Regular Graphs
Published
• View Publication
• BIB
Suppose that the vertices of a regular graph are coloured red and blue with an equal number of each (we call this a balanced colouring). Since the graph is undirected, the number of edges from a red vertex to a blue vertex is clearly the same as the number of edges from a blue vertex to a red vertex. However, if instead of edges we count walks of length 2 which do not stay within their starting colour class, then this symmetry disappears. Our aim in this paper is to investigate how extreme this asymmetry can be.
Our main question is: Given a $d$-regular graph, for which pairs $(x,y)\in[0,1]^2$ is there a balanced colouring for which the probability that a random walk starting from a red vertex stays within the red class for at least $2$ steps is $x$, and the corresponding probability for blue is $y$?
Our most general result is that for any $d$-regular graph, these pairs lie within the convex hull of the $2d$ points $\left\{\left(\frac{l}{d},\frac{l^2}{d^2}\right),\left(\frac{l^2}{d^2},\frac{l}{d}\right) :0\leq l\leq d\right\}$.
Our main focus is the torus for which we prove both sharper bounds and existence results via constructions. In particular, for the $2$-dimensional torus, we show that asymptotically, the region in which these pairs of probabilities can lie is exactly the convex hull of: \[ \left\{\left(0,0\right),\left(\frac{1}{2},\frac{1}{4}\right),\left(\frac{3}{4},\frac{9}{16}\right),\left(\frac{1}{4},\frac{1}{2}\right),\left(\frac{9}{16},\frac{3}{4}\right),\left(1,1\right)\right\} \]
On the Ratio of Shannon Numbers of Graphs
Published
• View Publication
• BIB
Let $Γ$ be a function that maps two arbitrary graphs $G$ and $H$ to a non-negative real number such that $$α(G^{\boxtimes n})\leq α(H^{\boxtimes n})Γ(G,H)^n$$ where $n$ is any natural number and $G^{\boxtimes n}$ is the strong product of $G$ with itself $n$ times. We establish the equivalence of two different approaches for finding such a function $Γ$. The common solution obtained through either approach is termed ``the relative fractional independence number of a graph $G$ with respect to another graph $H$". We show this function by $α^*(G|H)$ and discuss some of its properties. In particular, we show that $α^*(G|H)\geq \frac{X(G)}{X(H)} \geq \frac{1}{α^*(H|G)},$ where $X(G)$ can be the independence number, the Shannon capacity, the fractional independence number, the Lovász number, or the Schrijver's or Szegedy's variants of the Lovász number of a graph $G$. This inequality is the first explicit non-trivial upper bound on the ratio of the invariants of two arbitrary graphs, as mentioned earlier, which can also be used to obtain upper or lower bounds for these invariants. As explicit applications, we present new upper bounds for the ratio of the Shannon capacity of two Cayley graphs and compute new lower bounds on the Shannon capacity of certain Johnson graphs (yielding the exact value of their Haemers number). Moreover, we show that $α^*(G|H)$ can be used to present a stronger version of the well-known No-Homomorphism Lemma.