graph
35273 papers tagged with this keyword
General position problems in strong and lexicographic products of graphs
Published in Computational and Applied Mathematics (2026) 45:97
• View Publication
• BIB
Outer, dual, and total general position sets are studied on strong and lexicographic products of graphs. Sharp lower and upper bounds are proved for the outer and the dual general position number of strong products and several exact values are obtained. For the lexicographic product, the outer general position number is determined in all the cases, and the dual general position number in many cases. The total general position number is determined for both products. Along the way some results on outer general position sets are also derived.
On $k$-planar Graphs without Short Cycles
Published
• View Publication
• BIB
We study the impact of forbidding short cycles to the edge density of $k$-planar graphs; a $k$-planar graph is one that can be drawn in the plane with at most $k$ crossings per edge. Specifically, we consider three settings, according to which the forbidden substructures are $3$-cycles, $4$-cycles or both of them (i.e., girth $\ge 5$). For all three settings and all $k\in\{1,2,3\}$, we present lower and upper bounds on the maximum number of edges in any $k$-planar graph on $n$ vertices. Our bounds are of the form $c\,n$, for some explicit constant $c$ that depends on $k$ and on the setting. For general $k \geq 4$ our bounds are of the form $c\sqrt{k}n$, for some explicit constant $c$. These results are obtained by leveraging different techniques, such as the discharging method, the recently introduced density formula for non-planar graphs, and new upper bounds for the crossing number of $2$-- and $3$-planar graphs in combination with corresponding lower bounds based on the Crossing Lemma.
Degree-balanced decompositions of cubic graphs
Published
• View Publication
• BIB
We show that every cubic graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree deviates from $\frac{n}{4}$ by at most $\frac{1}{2}$, up to three exceptions. This resolves the conjecture of Alon and Wei (Irregular subgraphs, Combin. Probab. Comput. 32(2) (2023), 269--283) for cubic graphs.
Equitable factorizations of highly edge-connected graphs: complete characterizations
In this paper, we show that every highly edge-connected graph $G$, under a necessary and sufficient degree condition, can be edge-decomposed into $k$ factors $G_1,\ldots, G_k$ such that for each vertex $v\in V(G_i)$ with $1\le i\le k$, $|d_{G_i}(v)-d_G(v)/k|<1$. This characterization covers graphs having at least $k-1$ vertices with degree not divisible by $k$. In addition, we investigate almost equitable factorizations in arbitrary edge-connected graphs.
Next, we establish a simpler criterion for the existence of factorizations $G_1,\ldots, G_k$ satisfying $d_{G_i}(v)\ge \lfloor d_G(v)/k\rfloor$ for all vertices $v$ (reps. $d_{G_i}(v)\le \lceil d_G(v)/k\rceil$). As an application, we come up with a criterion to determine whether a highly edge-connected graph with $δ(G)\ge δ_1+\cdots+ δ_m$ (resp. $Δ(G)\le Δ_1+\cdots+ Δ_m$) can be edge-decomposed into factors $G_1,\ldots, G_m$ satisfying $δ(G_i)\ge δ_i$ (resp. $Δ(G_i)\le Δ_i$) for all $i$ with $1\le i \le m$, provided that $δ_1+\cdots+ δ_m$ is divisible by an odd number $p$ and $δ_i\ge p-1\ge 2$ (resp. $Δ_1+\cdots+ Δ_m$ is divisible by $p$ and $Δ_i\ge p-1\ge 2$).
For graphs of even order, we replace an odd-edge-connectivity condition. In particular, for the special case $m=2$, we refine the needed odd-edge-connectivity further by giving a sufficient odd-edge-connectivity condition for a graph $G$ to have a partial parity factor $F$ such that for each vertex $v$ with a given parity constraint, $| d_{F}(v)-\varepsilon d_G(v)|< 2$, and for all other vertices $v$, $| d_{F}(v)-\varepsilon d_G(v)|\le 1$, where $\varepsilon $ is a real number and $0< \varepsilon < 1$. Finally we introduce another application on the existence of almost even factorizations of odd-edge-connected graphs.
Lipschitz functions on weak expanders
Published
• View Publication
• BIB
Given a connected finite graph $G$, an integer-valued function $f$ on $V(G)$ is called $M$-Lipschitz if the value of $f$ changes by at most $M$ along the edges of $G$. In 2013, Peled, Samotij, and Yehudayoff showed that random $M$-Lipschitz functions on graphs with sufficiently good expansion typically exhibit small fluctuations, giving sharp bounds on the typical range of such functions, assuming $M$ is not too large. We prove that the same conclusion holds under a relaxed expansion condition and for larger $M$, (partially) answering questions of Peled et al. Our techniques involve a combination of Sapozhenko's graph container methods and entropy methods from information theory.
Perfect state transfer in graphs related to linear groups in two dimensions
Published
• View Publication
• BIB
We construct families of graphs from linear groups $\mathrm{SL}(2,q)$, $\mathrm{GL}(2,q)$ and $\mathrm{GU}(2,q^2)$, where $q$ is an odd prime power, with the property that the continuous-time quantum walks on the associated networks of qubits admit perfect state transfer.
Excluding the fork and antifork
Published in Discrete Mathematics, Volume 343, Issue 5, 2020
• View Publication
• BIB
The fork is the tree obtained from the claw $K_{1,3}$ by subdividing one of its edges once, and the antifork is its complement graph. We give a complete description of all graphs that do not contain the fork or antifork as induced subgraphs.
Strongly nice property and Schur positivity of graphs
Motivated by the notion of nice graphs, we introduce the concept of strongly nice property, which can be used to study the Schur positivity of symmetric functions. We show that a graph and all its induced subgraphs are strongly nice if and only if it is claw-free, which strengthens a result of Stanley and provides further evidence for the well-known conjecture on the Schur positivity of claw-free graphs. As another application, we solve Wang and Wang's conjecture on the non-Schur positivity of squid graphs $Sq(2n-1;1^n)$ for $n \ge 3$ by proving that these graphs are not strongly nice.
Diameter and connectivity of finite simple graphs II
Let $G$ be a finite simple non-complete connected graph on $[n] = \{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. The final goal of this paper is to determine all sequences of integers $(n,f,d,k)$ with $n\geq 8$, $f\geq 0$, $d\geq 2$ and $k\geq 1$ for which there exists a finite simple non-complete connected graph on $[n]$ with $f=f(G)$, $d=\mathrm{diam}(G)$ and $k=κ(G)$.
Lassos: Pushing Tree Decompositions Forward Along Homomorphisms
It is folklore that tree-width is monotone under taking subgraphs (i.e. injective graph homomorphisms) and contractions (certain kinds of surjective graph homomorphisms). However, although tree-width is obviously not monotone under any surjective graph homomorphism, it is not clear whether contractions are canonically the only class of surjections with respect to which it is monotone. Under the requirement that the decomposition shape must be preserved, we prove that this is indeed the case.
Our results provide a framework for answering questions of this sort for many other kinds of combinatorial data structures (such as directed multigraphs, hypergraphs, Petri nets, circular port graphs, half-edge graphs, databases, simplicial sets etc.) for which natural analogues of tree decompositions can be defined. Furthermore and of independent interest, we prove these results by introducing the notion of a lasso, a generalization of contractions of graphs to arbitrary categories with pushouts of monomorphisms.
Maximum induced trees and forests of bounded degree in random graphs
Published
• View Publication
• BIB
Asymptotic behaviour of maximum sizes of induced trees and forests has been studied extensively in last decades, though the overall picture is far from being complete. In this paper, we close several significant gaps: 1) We prove $2$-point concentration of the maximum sizes of an induced forest and an induced tree with maximum degree at most $Δ$ in dense binomial random graphs $G(n,p)$ with constant probability $p$. 2) We show concentration in an explicit interval of size $o(1/p)$ for the maximum size of an induced forest with maximum degree at most $Δ$ for $1/n\ll p=o(1)$. Our proofs rely on both the second moment approach, with the probabilistic part involving Talagrand's concentration inequality and the analytical part involving saddle-point analysis, and new results on enumeration of labelled trees and forests that might be of their own interest.
A characterisation of graphs quasi-isometric to $K_4$-minor-free graphs
Published
• View Publication
• BIB
We prove that there is a function $f$ such that every graph with no $K$-fat $K_4$ minor is $f(K)$-quasi-isometric to a graph with no $K_4$ minor. This solves the $K_4$-case of a general conjecture of Georgakopoulos and Papasoglu. Our proof technique also yields a new short proof of the respective $K_4^-$-case, which was first established by Fujiwara and Papasoglu.
Turán number of complete bipartite graphs with bounded matching number
Published
• View Publication
• BIB
Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The Turán number $ex(n, \mathscr{F})$ is the maximum number of edges in an $n$-vertex $\mathscr{F}$-free graph. Let $M_{s}$ be the matching consisting of $ s $ independent edges. Recently, Alon and Frank determined the exact value of $ex(n,\{K_{m},M_{s+1}\})$. Gerbner obtained several results about $ex(n,\{F,M_{s+1}\})$ when $F$ satisfies certain proportions. In this paper, we determine the exact value of $ex(n,\{K_{l,t},M_{s+1}\})$ when $s, n$ are large enough for every $3\leq l\leq t$. When $n$ is large enough, we also show that $ex(n,\{K_{2,2}, M_{s+1}\})=n+{s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ for $s\ge 12$ and $ex(n,\{K_{2,t},M_{s+1}\})=n+(t-1){s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ when $t\ge 3$ and $s$ is large enough.
Spectral Turán problem for $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs
We determine the maximum index and the signed graphs with the maximum index among all $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs with fixed order for $t\geq 3$, as well as the second maximum index and the signed graphs with the second maximum index among all $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs with fixed order for $t\geq 4$.
Some Properties of Order-Divisor Graphs of Finite Groups
This article investigates the properties of order-divisor graphs associated with finite groups. An order-divisor graph of a finite group is an undirected graph in which the set of vertices includes all elements of the group, and two distinct vertices with different orders are adjacent if the order of one vertex divides the order of the other. We prove some beautiful results in order-divisor graphs of finite groups. The primary focus is on examining the girth, degree of vertices, and size of the order-divisor graph. In particular, we provide a comprehensive description of these parameters for the order-divisor graphs of finite cyclic groups and dihedral groups.
Looking for all solutions of the Max Atom Problem (MAP)
This present paper provides the absolutely necessary corrections to the previous work entitled {\it A polynomial Time Algorithm to Solve The Max-atom Problem} (arXiv:2106.08854v1). The max-atom-problem (MAP) deals with system of scalar inequalities (called atoms or max-atom) of the form: $x \leq a + \max(y,z)$. Where $a$ is a real number and $x,y$ and $z$ belong to the set of the variables of the whole MAP. A max-atom is said to be positive if its scalar $a$ is $\geq 0$ and stricly negative if its scalar $a <0$. A MAP will be said to be positive if all atoms are positive. In the case of non positive MAP we present a saturation principle for system of vectorial inequalities of the form $x \leq A x + b$ in the so-called $(\max,+)$-algebra assuming some properties on the matrix $A$. Then, we apply such principle to explore all non-trivial solutions (ie $\neq -\infty$). We deduce a strongly polynomial method to express all solutions of a non positive MAP. In the case a positive MAP which has always the vector $x^{1}=(0)$ as trivial solution we show that looking for all solutions requires the enumeration of all elementary circuits in a graph associated with the MAP. However, we propose a strongly polynomial method wich provides some non trivial solutions.
Monotone Arc Diagrams with few Biarcs
Published
• View Publication
• BIB
We show that every planar graph has a monotone topological 2-page book embedding where at most (4n-10)/5 (of potentially 3n-6) edges cross the spine, and every edge crosses the spine at most once; such an edge is called a biarc. We can also guarantee that all edges that cross the spine cross it in the same direction (e.g., from bottom to top). For planar 3-trees we can further improve the bound to (3n-9)/4, and for so-called Kleetopes we obtain a bound of at most (n-8)/3 edges that cross the spine. The bound for Kleetopes is tight, even if the drawing is not required to be monotone. A Kleetope is a plane triangulation that is derived from another plane triangulation T by inserting a new vertex v_f into each face f of T and then connecting v_f to the three vertices of f.
Topology of independence complexes and cycle structure of hypergraphs
Published
• View Publication
• BIB
Recently, Zhang and Wu proved a conjecture of Kalai and Meshulam, showing that for every graph $G$ without induced cycles of length divisible by $3$, the sum of all reduced Betti numbers of its independence complex $I(G)$ is at most $1$. We extend this result to the hypergraph setting. Namely, we show that the same conclusion holds for any hypergraph $H$ that does not contain a Berge cycle of length divisible by $3$. This establishes a broader connection between forbidden cycle structures and the topological simplicity of independence complexes. As a key tool, we introduce a hypergraph analogue of Barmak's star cluster theorem for graphs. This new theorem implies, in particular, that if a hypergraph $H$ has a vertex $v$ that is not isolated and is not contained in an induced Berge cycle of length $3$, then there exists a hypergraph $H'$ with fewer vertices than $H$ such that the independence complex of $H$ is homotopy equivalent to the suspension of the independence complex of $H'$.
Equitable Dominator Coloring of Graphs
Published
• View Publication
• BIB
This paper introduces a new variant of domination-related coloring of graphs, which is a combination of their dominator coloring and equitable coloring called the equitable dominator coloring. An equitable coloring is a proper coloring in which the number of vertices in each color class differs by at most one. In this newly introduced coloring, an additional condition of equitability is added to the existing concept of dominator coloring. The minimum number of colors used in this coloring is called the equitable dominator chromatic number, represented by $χ_{ed}(G)$. The concept of equitable dominator coloring is explored for basic graph classes. The equitable dominator chromatic number is obtained for the same and some observations on the bounds are made in this paper.
Equitable Dominator Coloring of Line Graphs of Some Graphs
A proper vertex coloring of the graph $G$ such that each vertex dominates at least one color class and the cardinalities of the color classes differ by at most $1$ is called an equitable dominator coloring of $G$. The minimum number of colors used in this coloring is called the equitable dominator chromatic number (EDCN), represented by $χ_{ed}(G)$. This article explores the concept of equitable dominator coloring for the line graph $L(G)$ of some graph classes.