contain ↗ reference
7689 papers tagged with this keyword
Permutation Flows I: Triangulations of Flow Polytopes (Research Announcement)
We introduce a new broadly unifying family of combinatorial objects, which we call permutation flows, associated to an acyclic directed graph $G$ together with a framing $F$. This new family is combinatorially rich and contains as special cases various families of combinatorial objects that are frequently studied in the literature, as is the case of permutations, circular permutations, multipermutations, Stirling permutations, Catalan objects and their generalizations. When permutation flows are decorated with compatible shuffles, they also include the combinatorics of parking functions and their generalizations.
This model is geometrically rich. We show that permutation flow shuffles define a family of unimodular triangulations of the flow polytope $F_G(a)$ on $G$ with an integer balanced netflow vector a where only the last entry is negative. As an application we provide a new proof of the Lidskii volume formula of Baldoni and Vergne for this family of polytopes and a reformulation of the same formula where every term is explained by the nature of the combinatorial objects involved. Permutation flow triangulations extend the Danilov, Karzanov, and Koshevoy triangulations that were defined for the case where a=e_0-e_n. We provide a formula for the h^*-polynomial of the flow polytope as the descent enumerating polynomial of permutation flows.
The model comes with an order structure induced by intuitive operators on permutation flows which we call the weak order. This order includes as special cases the weak order on permutations, the Tamari lattice, order ideals in Young's lattice, and their generalizations, among others. It was conjectured in 2020 by the three authors, together with Benedetti, Harris, and Morales, that this poset is in general a lattice. This conjecture has been recently established with independent proofs by Bell and Ceballos, and by Berggren and Serhiyenko.
Sharp thresholds, hitting times and the power of choice for random geometric graphs
We consider a random geometric graph process where random points $(X_i)_{i \ge 1}$ are embedded consecutively in the $d$-dimensional unit torus $\mathbb{T}^d$, and every two points at distance at most $r$ form an edge. As $r\to 0$, we confirm that well-known hitting time results for $k$-connectivity (with $k\ge 1$ fixed) and Hamiltonicity in the Erdős-Rényi graph process also hold for the considered geometric analogue. Moreover, we exhibit a sort of probabilistic monotonicity for each of these properties.
We also study a geometric analogue of the power of choice where, at each step, an agent is given two random points sampled independently and uniformly from $\mathbb{T}^d$ and must add exactly one of them to the already constructed point set. When the agent is allowed to make their choice with the knowledge of the entire sequence of random points (offline 2-choice), we show that they can construct a connected graph at the first time $t$ when none of the first $t$ pairs of proposed points contains two isolated vertices in the graph induced by $(X_i)_{i=1}^{2t}$, and maintain connectivity thereafter by following a simple algorithm. We also derive analogous results for $k$-connectivity and Hamiltonicity. This shows that each of the said properties can be attained two times faster (time-wise) and with four times fewer points in the offline 2-choice process compared to the 1-choice process.
In the online version where the agent only knows the process until the current time step, we show that $k$-connectivity and Hamiltonicity cannot be significantly accelerated (time-wise) but may be realised on two times fewer points compared to the 1-choice analogue.
Balancing games on unbounded sets
For a finite set $V\subset \mathbb{R}^n$, a set $T\subset \mathbb{R}^n$ is called $V$-closed if $t \in T$ and $v\in V$ imply that either $t+v\in T$ or $t-v \in T$. The set $P(V):=\{\sum_{v \in W} v: W \subset V\}$ is clearly $V$-closed and so are its translates. We show, assuming $V$ contains no parallel vectors, that if $T$ is closed and $V$-closed, and $x \in T$ is an extreme point of $\operatorname{cl} \operatorname{conv} T$, then there is a translate of $P(V)$ containing $x$ and contained in $\operatorname{conv} T$. This result is used to determine the value of a special balancing game. A byproduct is that when $m\ge 2$ and is not a power of 2, then the $m$-sets of a $2m$-set can be coloured Red and Blue so that complementary $m$-sets have distinct colours and every point of the $2m$-set is contained in the same number of Red and Blue sets.
The $α$-spectral Turán type problems for graphs
Published
• View Publication
• BIB
For $0 \leq α< 1$, the $α$-spectral radius of a graph $G$ is defined as
the largest eigenvalue of $A_α(G)=αD(G)+(1-α)A(G)$, where $D(G)$ and $A(G)$ are the diagonal matrix of degrees and adjacency matrix of $G$, respectively.
A graph is called color-critical if it contains an edge whose deletion reduces its chromatic number.
The celebrated Erdős-Stone-Simonovits theorem asserts that $ \mathrm{ex}(n,\mathcal{F})=\left(1-\frac{1}{χ(\mathcal{F})-1}+o(1)\right)\frac{n^2}{2},$
where $χ(\mathcal{F})$ is the chromatic number of $\mathcal{F}$.
Nikiforov and Zheng et al. established the adjacency spectral and signless Laplacian spectral versions of this theorem, respectively.
In this paper, we present the $α$-spectral version of this theorem, which unifies the aforementioned results. Furthermore, we characterize the $α$-spectral extremal graphs for color-critical graphs, thereby extending the existing results on adjacency spectral and signless Laplacian spectral extremal graphs for such graphs.
Bounds for the largest eigenvalue and sum of Laplacian eigenvalues of signed graphs
Published
• View Publication
• BIB
In this paper, we consider the bounds for the largest eigenvalue and the sum of the $k$ largest Laplacian eigenvalues of signed graphs. Firstly, we give an upper bound on the largest eigenvalue of the adjacency matrix of a signed graph and characterize the extremal graphs that attain this bound. Secondly, we prove that a non-bipartite signed graph $Γ$ of order $n$ and size $m$ contains a balanced triangle if $λ_{1}(Γ)\ge \sqrt{m-1}$, $λ_{1}(Γ) \ge |λ_{n}(Γ)|$ and $Γ\not \sim (C_{5}\cup (n-5)K_{1},+)$, where $λ_{1}(Γ)$ is the largest eigenvalue of the adjacency matrix of $Γ$. Thirdly, we confirm a conjecture proposed in [Linear Multilinear Algebra 51 (1) (2003) 21--30] that: if $Γ$ is a connected signed graph, then
$$
\sum_{i=1}^{k}μ_{i}(Γ) >\sum_{i=1}^{k}d_{i}(Γ)~~(1\le k\le n-1),
$$
where $μ_{1}(Γ)\geμ_{2}(Γ)\ge\cdots \ge μ_{n}(Γ)$ are Laplacian eigenvalues of $Γ$, and $d_{1}(Γ)\ge d_{2}(Γ)\ge \dots \ge d_{n}(Γ)$ are vertex degrees of $Γ$. Finally, we give a lower bound for the sum of the $k$ largest Laplacian eigenvalues of a connected signed graph.
Fault-tolerant mutual-visibility: complexity and solutions for grid-like networks
Networks are often modeled using graphs, and within this setting we introduce the notion of $k$-fault-tolerant mutual visibility. Informally, a set of vertices $X \subseteq V(G)$ in a graph $G$ is a $k$-fault-tolerant mutual-visibility set ($k$-ftmv set) if any two vertices in $X$ are connected by a bundle of $k+1$ shortest paths such that: ($i$) each shortest path contains no other vertex of $X$, and ($ii$) these paths are internally disjoint. The cardinality of a largest $k$-ftmv set is denoted by $\mathrm{f}μ^{k}(G)$. The classical notion of mutual visibility corresponds to the case $k = 0$.
This generalized concept is motivated by applications in communication networks, where agents located at vertices must communicate both efficiently (i.e., via shortest paths) and confidentially (i.e., without messages passing through the location of any other agent). The original notion of mutual visibility may fail in unreliable networks, where vertices or links can become unavailable.
Several properties of $k$-ftmv sets are established, including a natural relationship between $\mathrm{f}μ^{k}(G)$ and $ω(G)$, as well as a characterization of graphs for which $\mathrm{f}μ^{k}(G)$ is large. It is shown that computing $\mathrm{f}μ^{k}(G)$ is NP-hard for any positive integer $k$, whether $k$ is fixed or not. Exact formulae for $\mathrm{f}μ^{k}(G)$ are derived for several specific graph topologies, including grid-like networks such as cylinders and tori, and for diameter-two networks defined by Hamming graphs and by the direct product of complete graphs.
On the Augmented Sombor Index of Graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph having more than two vertices and let $d_i$ denote the degree of vertex $v_i$ in $G$. Let $E(G)$ represent the edge set of $G$. Then, the augmented Sombor (ASO) index of $G$ is defined as $ASO(G) = \sum_{v_i v_j \in E(G)} \sqrt{(d_i + d_j - 2)^{-1}(d_i^2 + d_j^2)}.$ It is known that the cycle graph $C_n$ uniquely minimizes the ASO index in the class of all $n$-order unicyclic graphs. In this paper, we prove that the unique $n$-order unicyclic graph of maximum degree $n-1$ maximizes the ASO index in the aforementioned unicyclic graph class. We also prove that $ASO(G-v_iv_j)<ASO(G)$ whenever neither of the graphs $G-v_iv_j$ and $G$ contains any isolated edge. Utilizing this edge-deletion property, we characterize the unique graph maximizing the ASO index among all fixed-order connected graphs with a specified vertex connectivity (or edge connectivity).
Signless Laplacian spectral conditions for even factors in graphs
Published
• View Publication
• BIB
A spanning subgraph $F$ of a graph $G$ is defined as an even factor of $G$, if the degree $d_F(v)=2k, k\in\mathbb{N}^+$ for every vertex $v\in V(G)$. This note establishes a sufficient condition to ensure that a connected graph $G$ of even order with the minimum degree $δ$ contains an even factor based on the signless Laplacian spectral radius.
On the structure of ($4K_1$, $C_4$, $P_6$)-free graphs
Determining the complexity of colouring ($4K_1, C_4$)-free graph is a long open problem. Recently Penev showed that there is a polynomial-time algorithm to colour a ($4K_1, C_4, C_6$)-free graph. In this paper, we will prove that if $G$ is a ($4K_1, C_4, P_6$)-free graph that contains a $C_6$, then $G$ has bounded clique-width. To this purpose, we use a new method to bound the clique-width, that is of independent interest. As a consequence, there is a polynomial-time algorithm to colour ($4K_1, C_4, P_6$)-free graphs.
Bounds for Hypergraph Universality
A graph $Γ$ is said to be universal for a class of graphs $\mathcal{H}$ if $Γ$ contains a copy of every $H \in \mathcal{H}$ as a subgraph. The number of edges required for a host graph $Γ$ to be universal for the class of $D$-degenerate graphs on $n$ vertices has been shown to be $O(n^{2-1/D}(\log n)^{2/D}(\log\log n)^{5})$. We generalise this result to $r$-uniform hypergraphs, showing the following. Given $D, r \ge 2$ and $n$ sufficiently large, there exists a constant $C = C(D, r)$ such that there exists a graph with at most \[Cn^{r-1/D}(\log n)^{2/D}(\log\log n)^{2r+1}\] edges which is universal for the class of $D$-degenerate $r$-uniform hypergraphs on $n$ vertices. This is tight up to the polylogarithmic term.
On Universal Graphs for Trees and Tree-Like Graphs
Chung and Graham [J. London Math. Soc. 1983] claimed to prove that there exists an $n$-vertex graph $G$ with $ \frac{5}{2}n \log_2 n + O(n)$ edges that contains every $n$-vertex tree as a subgraph. Frati, Hoffmann and Tóth [Combin. Probab. Comput. 2023] discovered an error in the proof. By adding more edges to $G$ the error can be corrected, bringing the number of edges in $G$ to $\frac{7}{2}n \log_2 n + O(n). $
We make the first improvement to Chung and Graham's bound in over four decades by showing that there exists an $n$-vertex graph with $ \frac{14}{5}n \log_2 n + O(n) $ edges that contains every $n$-vertex tree as a subgraph.
Furthermore, we generalise this bound for treewidth-$k$ graphs by showing that there exists a graph with $O(kn\log(n/k+1))$ edges that contains every $n$-vertex treewidth-$k$ graph as a subgraph. This is best possible in the sense that $Ω(kn\log(n/k+1))$ edges are required.
The 3-restricted edge-connectivity of the direct product graphs
Published
• View Publication
• BIB
An edge subset \( S \subseteq E(G) \) is called a 3-restricted edge-cut if \( G - S \) is disconnected and each component of \( G - S \) contains at least three vertices. The 3-restricted edge-connectivity of a graph \( G \), denoted by \( λ_3(G) \), is defined as the minimum cardinality among all 3-restricted edge-cuts if there are at least one; otherwise, \( λ_3(G) = +\infty \). It is proved that $λ_3(G)\leqξ_3(G)$ if $G$ has a 3-restricted edge-cut, where $ξ_3(G) = \min \left\{ |[X, V(G) \setminus X]_G|:|X| = 3 \text{ and } G[X] \text{ is connected} \right\}.$ If \( λ_3(G) = ξ_3(G) \), then \( G \) is said to be maximally 3-restricted edge-connected. The direct product of two graphs $G$ and $H$, denoted by $G \times H$, is defined as the graph with vertex set \( V(G \times H) = V(G) \times V(H) \), where two vertices \( (u_1, v_1) \) and \( (u_2, v_2) \) are adjacent in \( G \times H \) if and only if \( u_1u_2 \in E(G) \) and \( v_1v_2 \in E(H) \). In this paper, we determine, for a regular connected graph \( G\), the 3-restricted edge-connectivity of \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \), where \( C_n \), \( K_n \) and \( T_n \) are the cycle, the complete graph and the total graph with \( n \) vertices, respectively. As corollaries, we establish sufficient conditions for the direct product graphs \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \) to be maximally 3-restricted edge-connected.
Relative Turán densities for ordered graphs: all and nothing
Reiher, Rödl, Sales, and Schacht initiated the study of relative Turán densities of ordered graphs and showed that it is more subtle and interesting than the unordered case. For an ordered graph $F$, its relative Turán density, $ρ_{<}(F)$, is the greatest $α$ such that every ordered graph $G$ has an $F$-free subgraph with at least $αe(G)$ edges.
This paper contains two main results about relative Turán densities. First, we find a family of host graphs that is optimal for all $F$. Second, we characterise the ordered graphs with zero relative Turán density: precisely those with no monotone path of length two.
A complete solution of the Erdős-Kleitman matching problem for $n\le 3s$
Given integers $n\ge s\ge 2$, let $e(n,s)$ stand for the maximum size of a family of subsets of an $n$-element set that contains no $s$ pairwise disjoint members. The study of this quantity goes back to the 1960s, when Kleitman determined $e(sm-1,s)$ and $e(sm,s)$ for all integer $m,s\ge 1$. The question of determining $e(n,s)$ is closely connected to its uniform counterpart, the subject of the famous Erdős Matching Conjecture.
The problem of determining $e(n,s)$ has proven to be very hard and, in spite of some progress during these years, even a general conjecture concerning the value of $e(n,s)$ is missing. In this paper, we completely solve the problem for $n\le 3s$. In this regime, the average size of a set in an $s$-matching is at most $3$, and it is a delicate interplay between the `missing' $2$- and $3$-element sets that plays a key role here. Four types of extremal families appear in the characterization. Our result sheds light on how the extremal function $e(n,s)$ may behave in general.
Saturation numbers of $K_{2}\vee P_{k}$
Published
• View Publication
• BIB
A graph $G$ is called $H$-saturated if $G$ contains no copy of $H$, but $G+e$ contains a copy of $H$ for any edge $e\in E(\overline{G})$. The saturation number of $H$ is the minimum number of edges in an $H$-saturated graph of order $n$, denoted by $sat(n,H)$. In this paper, we investigate $sat(n,K_{2}\vee P_{k})$, where $k\geq 3$. Let $a_k$ be an integer, defined as follows: $a_k=k$ for $3\leq k\leq 5$; $a_k=3\cdot 2^{t-1}-2$ for $k=2t\geq 6$; and $a_k=2^{t+1}-2$ for $k=2t+1\geq 7$. We show that $sat(n, K_{2}\vee P_{k})=2n-3+sat(n-2,P_{k})$ for $n\geq a_k+2$ and $k\geq 3$, characterize the $K_{2}\vee P_{k}$-saturated graphs with $sat(n,K_{2}\vee P_{k})$ edges, the $K_{1}\vee P_{k}$-saturated graphs with $sat(n,K_{1}\vee P_{k})$ edges for $3\leq k\leq5$ and the $P_{k}$-saturated graphs with $sat(n, P_{k})$ edges for $3\leq k\leq4$. Furthermore, we propose some questions for further research.
Toward a Canonical Representation of Blocked Rectangular Grids with an Application to Finite Tiling Problems
Given the collection of all $m\times n$ rectangular grids which have a fixed number $1\leq r\leq mn$ of blocked cells, we explicitly describe a proper subset of the collection which is guaranteed to contain at least one grid from each equivalence class under symmetry, eliminating the majority of redundant grids. We analyze the extent to which redundant grids remain in the reduced set, and give general cases in which our methods exactly produce a complete set of canonical representatives for the equivalence classes. As an application of our results, we specify collections of polyomino tiling problems and find all solvable grids in each collection.
Packing spanning arborescences with extra large one
The celebrated Nash-Williams and Tutte's theorem states that a graph $G=(V, E)$ contains $k$ edge disjoint spanning trees if and only if $ν_{f}(G) \geq k$, where $$ν_{f}(G):=\min_{|\mathcal{\mathcal{P}}|>1, \text{$\mathcal{P}$ is a partition of $V(G)$}}\frac{|E( \mathcal{P})|}{|\mathcal{P}|-1}.$$ Inspired by the NDT theorem as structural explanations for the fractional part of Nash-Williams' forest decomposition theorem, Fang and Yang extended Nash-Williams and Tutte's theorem and proved that if $ν_{f}(G) > k+ \frac{d-1}{d}$, then $G$ contains $k$ edge disjoint spanning trees and another forest $F$ with $ |E(F)|> \frac{d-1}{d} (|V(G)|-1)|$, and if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. In this paper, we give a digraphic version of their result; however, the mixed graphic version remains open.
Combinatorics of Minimal Balanced Collections
In this article, we explore the combinatorics of balanced collections. A collection of subsets of the set $[n] = \{1, \dots, n\}$ is called \emph{balanced} if the relative interior of the convex hull of the corresponding characteristic vectors intersects the main diagonal of the $n$-dimensional cube, and it is called \emph{minimal} if it contains no proper balanced subcollections. In particular, we establish both upper and lower bounds for the number of minimal balanced collections. Specifically, we prove that if $B_n$ denotes the number of minimal balanced collections, then $\frac{0.288}{n!} \, 2^{(n-1)^2} < B_n < \frac{120}{n!} \, 2^{n^2 - n}$.
Distance spectral radius for a graph to be k-critical with respect to [1,b]-odd factor
Published
• View Publication
• BIB
Let $G$ be a connected graph, and let $b$ and $k$ be two positive integers with $b\equiv1$ (mod 2). A $[1,b]$-odd factor of $G$ is a spanning subgraph $F$ of $G$ with $d_F(v)\equiv1$ (mod 2) and $1\leq d_F(v)\leq b$ for every $v\in V(G)$. A graph $G$ is called $k$-critical with respect to $[1,b]$-odd factor if $G-X$ contains a $[1,b]$-odd factor for every $X\subseteq V(G)$ with $|X|=k$. Let $\mathcal{D}(G)$ denote the distance matrix of $G$. The largest eigenvalue of $\mathcal{D}(G)$, denoted by $μ(G)$, is called the distance spectral radius of $G$. In this paper, we prove an upper bound for $μ(G)$ in a connected graph $G$ which guarantees $G$ to be $k$-critical with respect to $[1,b]$-odd factor.
Exact results and the structure of extremal families for the Duke--Erdős forbidden sunflower problem
In 1977, Duke and Erdős asked the following general question: What is the largest size of a family $\mathtt{F} \subset \binom{[n]}{k}$ that does not contain a sunflower with $s$ petals and core of size exactly $t - 1$? This problem is closely related to the famous Erdős--Rado sunflower problem of determining the size $φ(s,t)$ of the largest $t$-uniform family with no $s$-sunflower. In this paper, we answer this question exactly for $t=2$, odd $s$ and $k\ge 5$, provided $n$ is large enough. Previously, the only know exact extremal result on this problem was due to Chung and Frankl from 1987.
One of the important ingredients for the proof that we obtained is a stability result for the Duke--Erdős problem, which was previously not known, mostly due to our lack of understanding of the behaviour of $φ(s,t)$.
For large $k$ and $n$ we in fact manage to reduce the Duke--Erdős problem to an Erdős--Rado-like problem which depends on $t$ and $s$ only. In particular, we get a good understanding of the structure of extremal families for the Duke--Erdős problem in terms of the Erdős--Rado problem. Previously, a much looser variant of this connection (only in terms of the sizes, rather than the structure, of respective extremal families) was established in a seminal work of Frankl and Füredi from 1987.