arXiv++ Combinatorics

We prove that the average order of connected induced subgraphs of a connected simple graph of order $n$ and minimum degree at least $3$ is strictly greater than $n/2$, which settles a conjecture of Vince~[\emph{J. Graph Theory} 97 (2021), 82--103]. We go further and show that, for connected simple graphs of order $n$ and minimum degree exactly $k\ge3$, $K_k\vee(K_1\cup K_{n-k-1})$ uniquely minimizes this average under additional conditions.

Let $G=(V(G),E(G))$ be a finite connected simple graph. The edge-connectivity $λ(G)$ of $G$ is the minimum number of edges that must be removed to make $G$ disconnected. We call $G$ maximally edge-connected when $λ(G)=δ(G)$, where $δ(G)$ is the minimum degree of $G$. The square graph $G^2$ of $G$ is the graph with vertex set $V(G)$, where two distinct vertices $u$ and $v$ are adjacent in $G^2$ precisely when their distance in $G$ is at most two. In this paper, first we prove that if $λ(G)\geq4$ and $λ(G^2)<δ(G^2)$, then $λ(G^2)>λ(G)^{3/2}-\frac54λ(G)$, which extends the result in \cite{ChenXu} from the edge-connectivity range $4\leqλ(G)\leq7$ to $λ(G)\geq4$. Then we show that $G^2$ is maximally edge-connected if one of the following conditions hold: (i) $δ(G)\geq\lfloor(n+2)/4\rfloor$, or $δ(G)\leq\lfloor(n+2)/4\rfloor-1$ and $\sum_{i=1}^{2k}d_{n+1-i}\geq k(n-4)-2δ(G)+3$, where $k$ is an integer satisfying $2\leq k\leqδ(G)+2$ and $d_1\geq d_2\geq\cdots\geq d_n$ are the degrees of $G$; (ii) $d_{n-δ(G)}+d_n\geq(3n-9)/4$.

We study separable discrete convex optimization over indegree vectors of orientations of an undirected graph, focusing on the effect of imposing acyclicity. Since the extreme points of the indegree polytope are precisely the indegree vectors of acyclic orientations, this amounts to comparing optimization over its integer points with optimization over its extreme points. Over all orientations, minimizing a vertex-separable discrete convex objective is strongly polynomial-time solvable by minimum-cost flow. Over acyclic orientations, for every fixed discrete convex function shared by all vertices, we obtain a dichotomy: if the function is linear on the positive integers, the problem is solvable in linear time; otherwise exact optimization is NP-hard on connected simple graphs, and APX-hard when the function is non-negative. We also give strongly polynomial-time constant-factor approximation algorithms for broad classes of convex and concave objectives. For the $p$-power sum of indegrees, this yields a $2^p$-approximation for every fixed integer $p\geq1$, while the problem is APX-complete for every fixed integer $p\geq2$; if $p$ is part of the input, no deterministic polynomial-time $2^{p^{1-\varepsilon}}$-approximation exists for any fixed $\varepsilon>0$ unless $\mathrm{P}=\mathrm{NP}$. We further give an exact $O(2^{|V|}|V|+\operatorname{poly}(|V|,|E|))$-time dynamic program for general separable objectives, with a matching lower bound in the exponent under the Exponential Time Hypothesis. Finally, decreasingly minimal and increasingly maximal acyclic orientations need not coincide and are both NP-hard, while minimizing the maximum weighted indegree over acyclic orientations remains strongly polynomial-time solvable.

We prove that for every finite connected simple graph $G$ on $n$ vertices with minimum degree $k\geq 2$, there is a coupling of its uniform spanning tree and its random $1$-out subgraph under which the expected number of differing edges is $O(n\log (k)/\sqrt{k})$. More generally, we establish analogous couplings between a wide class of determinantal processes and their corresponding $1$-out processes, including Kalai's determinantal hypertrees, with expected symmetric difference negligible compared to the size of the determinantal set. While the graphical case admits a surprisingly short and elegant proof, the more general result requires establishing an asymptotic equipartition property for the determinantal measures in this class, from which we also derive exponential growth rates for the homology torsion of determinantal hyperforests in higher-dimensional regular high-degree complexes.

Let $\mathcal{G}$ be a finite connected simple graph with at least two vertices. We construct a finite regular hypertope $Γ$ whose diagram is the graph $\mathcal{G}$ with every edge labelled by $4$, and for which $Cor(Γ)/Aut(Γ) \cong Aut(\mathcal{G})$. This shows that any possible group of diagram symmetries can be realized by the correlations of a hypertope. The construction uses a group generated by involutions, with nilpotency class two, exponent four and commutator relations dictated by the defining graph.

We prove the conjecture of Xu, Li, Hua, and Pan that the resistance diameter does not increase under the line-graph operation. For every finite connected simple graph $G$ with at least one edge, we establish $D_r(L(G))\le D_r(G)$, with equality if and only if $G$ is a cycle or $K_4$. The proof combines an exact electrical representation of $L(G)$ by stars with a sharp budget inequality for the branch core. This inequality controls the combined error terms arising from the comparison of degree-two paths and is central to both the diameter bound and the equality analysis.

Let $G$ denote a finite, connected, simple graph, and let $D$ denote its diameter, and let $d_{G}(u, v)$ denote the distance between vertices $u$ and $v$ in $V(G)$. An antipodal labeling of $G$ is a mapping $f\colon V(G) \to \mathbb{N}_{0}$ such that, for each pair $(u, v)$ consisting of distinct vertices in $V(G)$, the relation $ |f(u) - f(v)| \geq D - d_{G}(u, v) $ holds. The span of $f$ is then defined so that $\operatorname{sp}(f) = \max\{ f(u) - f(v) : u, v \in V(G) \}$. The antipodal number of $G$, denoted with $\operatorname{an}(G)$, may then be defined as the minimum possible span among all antipodal labelings of $G$. Juan and Liu [Ars Combin., 2012] proved the upper bound $\operatorname{an}(C_{4k}) \leq 2k^2 - 1$, and conjectured that $\operatorname{an}(C_{4k}) = 2k^2 - 1$ for each positive integer $k$, and Juan and Liu verified this conjecture for $k \leq 5$. We succeed in proving Juan and Liu's conjecture, which seems to have remained open. The openness of Juan and Liu's conjecture has been noted, over the years, by many authors, including Rao et al. [Contrib. Discrete Math., 2015] and Saha et al. [Theory Comput. Syst., 2022].

The partial Petrial polynomial of a bouquet can be computed from the coranks over GF(2) of matrices obtained by varying the diagonal entries of the adjacency matrix of its intersection graph. Motivated by this matrix formulation, we study the corresponding polynomial for simple graphs and determine when it has exactly two or three nonzero terms. A key tool is the interpolating property: the exponents of the nonzero terms are consecutive. Using this property together with local complementation minors of grafts, we extend the known characterization of the binomial case from connected circle graphs to all connected simple graphs, showing that such a graph has a binomial partial Petrial polynomial if and only if it is a path. Our main result characterizes the trinomial case for trees: a tree has a trinomial partial Petrial polynomial if and only if it is a T-shape tree or an H-shape tree. Here, a T-shape tree has maximum degree 3 and exactly one vertex of degree 3, whereas an H-shape tree has maximum degree 3 and exactly two vertices of degree 3, which are adjacent. We also derive explicit formulas for both families in terms of Jacobsthal numbers.

We prove that every connected simple graph of bounded degree satisfying the classical dimension-free Bakry--Émery condition $\mathrm{CD}(0,\infty)$ for the unnormalised Laplacian is volume doubling and supports, at all integer graph scales, a scale-invariant $L^2$-Poincaré inequality with dilation two, with constants depending only on the maximum degree. This settles the polynomial-growth conjecture of Cushing, Liu, and Peyerimhoff in a stronger form. The main novelty is a dimension-free adaptation of the graph-theoretic modified nonlinear heat-flow method introduced by Münch and extended to infinite weighted graphs by Pajot and Russ: point-mass consequences of $Γ_2\geq0$ and positive-resolvent smoothing replace any global $\mathrm{CD}(0,n)$ reduction, while diffusive exit-time control and finite-volume localisation yield the Poincaré inequality.

Scott and Sokal asked for a structural description of the finite graphs \(G\) for which inverse powers \(T_G^{-β}\) of the spanning-tree polynomial are completely monotone. We prove the following bounded-treewidth criterion: if \(G\) is a finite connected simple graph with \(\operatorname{tw}(G)\le k\), then \(T_G^{-β}\) is completely monotone for every \(β>(k-1)/2\). Consequently, every partial \(3\)-tree is covered throughout the first Scott--Sokal open interval \(1<β<3/2\), including finite Apollonian networks, \(K_5-e\), and the four-spoke wheel \(W_4\). The proof combines the real Riesz/Wishart integral for determinants, star--mesh elimination of simplicial vertices, and a Gaussian Laplace kernel for the degree-\(d\) star. General bounded-treewidth graphs follow by chordal completion and monotone deletion of completion edges.

Let $G$ be a finite connected simple graph with a chosen orientation of its edges. For the edge potential $ψ(t)=\cosh t-1,$ we minimize $\sum_{e\in E^\to}ψ(z_e)$ over each affine class $ω+dC^0(G)\subset C^1(G)$. The minimizer is the unique representative satisfying the nonlinear coclosed equation $δ\sinh z=0,$ and hence defines a nonlinear selector $\Picc:C^1(G)\to C^1(G).$ We show that $\Picc$ is real analytic, identify its image as $\imop \Picc=\Mcc=\operatorname{arsinh}(\kerδ),$ and compute its differential as a weighted Hodge projector. In particular, $\Picc$ agrees with the ordinary Hodge projector $\PiH$ to first order at the origin, and the first nonlinear correction is cubic. Our main global theorem is a graph-theoretic criterion: for every admissible edge potential -- even, $C^2$, strictly convex, and non-quadratic -- the associated nonlinear selector coincides with $\PiH$ on all of $C^1(G)$ if and only if $G$ is a cactus graph. Finally, we work out the two-triangle graph, the smallest connected simple obstruction, and record a self-concordant Newton method for computing $\Picc$.

An {\em odd subgraph} of a graph is a subgraph in which every vertex has odd degree. A graph $G$ is said to be {\em odd $k$-edge-colorable} if there exists an edge-coloring $E(G) \rightarrow \{1,2, \ldots, k\}$ such that each non-empty color class induces an odd subgraph of $G$. The {\em odd chromatic index} of $G$, denoted by $χ'_o(G)$, is the minimum $k$ for which $G$ is odd $k$-edge-colorable. In this paper, we prove that every $4$-connected simple graph of odd order is odd 3-edge-colorable, and show that the $4$-connectedness assumption is necessary. We also prove that for a connected Eulerian graph $G$ of odd order, there exists an edge $e$ such that $G-e$ is odd $2$-edge-colorable.

For a connected simple graph $G$ on $n$ vertices with chromatic number $χ$, the distance Laplacian matrix is $\DL( G)=\mathrm{diag}(\mathrm{Tr}_{ G}(v_1),\dots,\mathrm{Tr}_{ G}(v_n)) - D( G)$, where $D( G)$ is the distance matrix and $\mathrm{Tr}_{ G}(v)=\sum_{u\in V( G)} d_{ G}(u,v)$ is the transmission. The eigenvalues of $\DL( G)$ are ordered as $\partial^{L}_1( G)\ge \partial^{L}_2( G)\ge \cdots \ge \partial^{L}_n( G)=0$. Building on the chromatic lower bound $\partial^{L}_1( G)\ge n+\ceil{\frac{n}χ}$ and subsequent developments, we prove a \emph{color-class majorization principle}: if $(\ell_1,\dots,\ell_χ)$ are the color-class sizes in an optimal $χ$-coloring with $\ell_1\ge \cdots\ge \ell_χ$, then the first $\ell_1-1$ distance Laplacian eigenvalues satisfy $\partial^{L}_i( G)\ge n+\ell_1$, for $1\le i\le \ell_1-1$. This gives sharp lower bounds on the number of eigenvalues above the chromatic threshold $b_χ=n+\ceil{n/χ}$, thereby refining the distribution theorems of Aouchiche--Hansen (Filomat, 2017) and Pirzada--Khan (LAA, 2021). We further refine clique/independent-set based multiplicity results by deriving explicit chromatic criteria in terms of neighborhood compression, and we generalize the extremal problem for minimum $\partial^{L}_1$ at fixed chromatic number by characterizing all minimizers. Several numerical examples are included along with pictorial representations.

Let G=(V(G),E(G)) be a connected simple graph with n vertices and m edges. A bijection f from the edge set of G to [m] is called a local antimagic labeling of G, if for any two adjacent vertices u and v in G, the sums of the weights of the edges associated with u and v ,respectively, are different. Similarly, A bijection g from the union of edge set and vertex set of G to [n+m] is called a local antimagic total labeling of G, if for any two adjacent vertices u and v in G, The sum of the weight of u and the weights of its incident edges differs from that of v. Obviously, any local antimagic (total) labeling induces a proper vertex-coloring of G when every vertex v is assigned the color w(v)(w_t(v)). The local antimagic (total) chromatic number of G, denoted by X_la(G)(X_lat(G)) , is defined as the minimum number of colors taken over all colorings induced by local antimagic (total) labelings of G. In this paper, we present the local antimagic (total) chromatic number of firecracker graph F_n,k, obtained by the concatenation of n k-stars by linking one leaf from each. Then we give the local antimagic chromatic number of the edge-corona product of two graphs G and H, where the graph is constructed by taking one copy of G and |E(G)| disjoint copies of H one-to-one assigned to each edge of G, and for every edge uv of G, joining u and v to every vertex of the copy of H associated to uv. For the graph studied here, G is a star S_k or a double star S_k1,k2, and H is an empty graph with r vertices or a complete graph K_2.

A longstanding problem in spectral graph theory asks for graphs with maximum number of spanning trees among all connected simple graphs with a prescribed number of vertices and edges. Such graphs are called t-optimal graphs. Petingi and Rodríguez [Discrete Math. 244 (2002), 351--373] achieved in finding infinitely many t-optimal graphs. Basically, they reduced the problem of finding t-optimal graphs to the determination of almost-regular graphs with minimum number of induced 3-paths. In this work we revisit the construction of t-optimal graphs given by Petingi and Rodríguez. Then, we generalize the previous construction using the key concept of trace-minimal graph introduced by Ábrego et al. [Linear Algebra Appl. 412 (2006) 161--221]. Finally, as a consequence, we construct infinitely many new t-optimal regular graphs.

A connected topological drawing of a graph divides the plane into a number of cells. The type of a cell $c$ is the cyclic sequence of crossings and vertices along the boundary walk of $c$. For example, all triangular cells with three incident crossings and no incident vertex share the same cell type. When a non-homotopic drawing of an $n$-vertex multigraph $G$ does not contain any such cells, Ackerman and Tardos [JCTA 2007] proved that $G$ has at most $8n-20$ edges, while Kaufmann, Klemz, Knorr, Reddy, Schröder, and Ueckerdt [GD 2024] showed that this bound is tight. In this paper, we initiate the in-depth study of non-homotopic drawings that do not contain one fixed cell type \celltype, and investigate the edge density of the corresponding multigraphs, i.e., the maximum possible number of edges. We consider non-homotopic as well as simple drawings, multigraphs as well as simple graphs, and every possible type of cell. For every combination of drawing style, graph type, and cell type, we give upper and lower bounds on the corresponding edge density. With the exception of the cell type with four incident crossings and no incident vertex, we show for every cell type \celltype that the edge density of $n$-vertex (multi)graphs with \celltype-free drawings is either linear in $n$ or superlinear in $n$. In most cases, our bounds are tight up to an additive constant. We further consider cell types that are not incident to any crossing in more detail and find that all connected simple graphs but a short list of exceptions admit a simple drawing that does not contain any such cells. Additionally, we improve the current lower bound on the edge density of simple graphs that admit a non-homotopic quasiplanar drawing from $7n-28$ to $7.5n-28$.

Given a graph $G$, let $\mathrm{diam}(G)$ be the greatest distance between any two vertices of $G$ which lie in the same connected component, and let $\mathrm{diam}^+(G)$ be the greatest distance between any two vertices of $G$; so $\mathrm{diam}^+(G)=\infty$ if $G$ is not connected. Fix a sequence $(d_1,\ldots,d_n)$ of positive integers, and let $\mathbf{G}$ be a uniformly random connected simple graph with $V(\mathbf{G})=[n]:=\{1,\ldots,n\}$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$. We show that, unless a $1-o(1)$ proportion of vertices have degree $2$, then $\mathbb{E}[\mathrm{diam}(\mathbf{G})]=O(\sqrt{n})$. It is not hard to see that this bound is best possible for general degree sequences (and in particular in the case of trees, in which $\sum_{v=1}^n d_v = 2(n-1)$). We also prove that this bound holds without the connectivity constraint. As a key input to the proofs, we show that graphs with minimum degree $3$ are with high probability connected and have logarithmic diameter: if $\min(d_1,\ldots,d_n) \ge 3$ and $\mathbf{G}$ is a uniformly random simple graph with $V(\mathbf{G})=[n]$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$, then $\mathrm{diam}^+(\mathbf{G})=$ $O_{\mathbb{P}}(\log n)$; this bound is also best possible.

Connectivity is a cornerstone concept in graph theory, essential for evaluating the robustness of networks against failures. To better capture fault tolerance in complex systems, researchers have extended classical connectivity notions, one such extension being the $k$-path-connectivity, $π_k(G)$, introduced by Hager. Given a connected simple graph $G = (V, E)$ and a subset $D \subseteq V$ with $|D| \geq 2$, a $D$-path is a path that includes all vertices in $D$. A collection of such paths is internally disjoint if they intersect only at the vertices of $D$ and share no edges. The maximum number of internally disjoint $D$-paths in $G$ is denoted $π_G(D)$, and the $k$-path-connectivity is defined as $π_k(G) = \min \{ π_G(D) \mid D \subseteq V(G),\ |D| = k\}$. In this paper, we investigate the 3-path-connectivity of the augmented cube $AQ_n$, a variant of the hypercube known for its enhanced symmetry and fault-tolerant structure. We establish the exact value of $π_3(AQ_n)$ and show that: $$ π_3(AQ_n) = \begin{cases} \frac{3n}{2} - 2, & \text{if } n \text{ is even}, \frac{3(n - 1)}{2} - 1, & \text{if } n \text{ is odd}. \end{cases} $$

The spectral radius of a graph is the largest modulus of an eigenvalue of its adjacency matrix. Let $\mathcal{C}_{n, e}$ be the set of all the connected simple graphs with $n$ vertices and $n - 1 + e$ edges. Here, we solve the spectral radius maximization problem on $\mathcal{C}_{n, e}$ when $e \le 130$ or $n \ge e + 2 + 13\sqrt{e}$.

If $G$ is a simple graph and $ρ\in[0,1]$, the reliability $R_G(ρ)$ is the probability of $G$ being connected after each of its edges is removed independently with probability $ρ$. A simple graph $G$ is a \emph{uniformly most reliable graph} (UMRG) if $R_G(ρ)\geq R_H(ρ)$ for every $ρ\in[0,1]$ and every simple graph $H$ on the same number of vertices and edges as $G$. Boesch [J.\ Graph Theory 10 (1986), 339--352] conjectured that, if $n$ and $m$ are such that there exists a connected simple graph on $n$ vertices and $m$ edges, then there also exists a UMRG on the same number of vertices and edges. Some counterexamples to Boesch's conjecture were given by Kelmans, Myrvold et al., and Brown and Cox. It is known that Boesch's conjecture holds whenever the corank, defined as $c=m-n+1$, is at most $4$ (and the corresponding UMRGs are fully characterized). Ath and Sobel conjectured that Boesch's conjecture holds whenever the corank $c$ is between $5$ and $8$, provided the number of vertices is at least $2c-2$. In this work, we give an infinite family of counterexamples to Boesch's conjecture of corank $5$. These are the first reported counterexamples that attain the minimum possible corank. As a byproduct, the conjecture by Ath and Sobel is disproved.