arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Counting and Sampling Perfect Matchings in Regular Expanding Non-Bipartite Graphs
We show that the ratio of the number of near perfect matchings to the number of perfect matchings in $d$-regular strong expander (non-bipartite) graphs, with $2n$ vertices, is a polynomial in $n$, thus the Jerrum and Sinclair Markov chain [JS89] mixes in polynomial time and generates an (almost) uniformly random perfect matching. Furthermore, we prove that such graphs have at least $Ω(d)^n$ any perfect matchings, thus proving the Lovasz-Plummer conjecture [LP86] for this family of graphs.
2021-03-15 v3
Approximation metatheorems for classes with bounded expansion
We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in any class of graphs with bounded expansion, * a QPTAS in any class with strongly sublinear separators, and * a PTAS in any fractionally treewidth-fragile class (which includes all common classes with strongly sublinear separators. Moreover, our tools also give an exact subexponential-time algorithm in any class with strongly sublinear separators.
2021-03-15 v2
Axis-Aligned Square Contact Representations
We introduce a new class $\mathcal{G}$ of bipartite plane graphs and prove that each graph in $\mathcal{G}$ admits a proper square contact representation. A contact between two squares is \emph{proper} if they intersect in a line segment of positive length. The class $\mathcal{G}$ is the family of quadrangulations obtained from the 4-cycle $C_4$ by successively inserting a single vertex or a 4-cycle of vertices into a face. For every graph $G\in \mathcal{G}$, we construct a proper square contact representation. The key parameter of the recursive construction is the aspect ratio of the rectangle bounded by the four outer squares. We show that this aspect ratio may continuously vary in an interval $I_G$. The interval $I_G$ cannot be replaced by a fixed aspect ratio, however, as we show, the feasible interval $I_G$ may be an arbitrarily small neighborhood of any positive real.
2021-03-15 v2
The Complexity of Checking Partial Total Positivity
We prove that checking if a partial matrix is partial totally positive is co-NP-complete. This contrasts with checking a conventional matrix for total positivity, for which we provide a cubic time algorithm. Checking partial sign regularity with any signature, including partial total nonnegativity, is also co-NP-complete. Finally, we prove that checking partial total positivity in a partial matrix with logarithmically many unspecified entries may be done in polynomial time.
2021-03-14
Burning numbers of t-unicyclic graphs
Published • View Publication • BIB
Given a graph $G$, the burning number of $G$ is the smallest integer $k$ for which there are vertices $x_1, x_2,\ldots,x_k$ such that $(x_1,x_2,\ldots,x_k)$ is a burning sequence of $G$. It has been shown that the graph burning problem is NP-complete, even for trees with maximum degree three, or linear forests. A $t$-unicyclic graph is a unicycle graph with exactly one vertex of degree greater than $2$. In this paper, we first present the bounds for the burning number of $t$-unicyclic graphs, and then use the burning numbers of linear forests with at most three components to determine the burning number of all $t$-unicyclic graphs for $t\le 2$.
2021-03-14 v3
Decomposing and colouring some locally semicomplete digraphs
Published • View Publication • BIB
A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood and the in-neighbourhood of any vertex induce a semicomplete digraph. In this paper we study various subclasses of locally semicomplete digraphs for which we give structural decomposition theorems. As a consequence we obtain several applications, among which an answer to a conjecture of Naserasr and the first and third authors: if an oriented graph is such that the out-neighbourhood of every vertex induces a transitive tournament, then one can partition its vertex set into two acyclic digraphs.
2021-03-14 v2
Factorizations of regular graphs of infinite degree
Published • View Publication • BIB
Let $\mathcal{H}=\{H_i: i<α\}$ be an indexed family of graphs for some ordinal number $α$. $\mathcal{H}$-decomposition of a graph $G$ is a family $\mathcal{G}=\{G_i: i<α\}$ of edge-disjoint subgraphs of $G$ such that $G_i$ is isomorphic to $H_i$ for every $i<α$ and $\bigcup\{E(G_i):i<α\}=E(G)$. $\mathcal{H}$-factorization of $G$ is a $\mathcal{H}$-decomposition of $G$ such that every element of $\mathcal{H}$ is a spanning subgraph of $G$. Let $κ$ be an infinite cardinal. Kőnig in 1936 proved that every $κ$-regular graph has a factorization into perfect matchings. Andersen and Thomassen using this theorem proved in 1980 that every $κ$-regular connected graph has a $κ$-regular spanning tree. We generalize both these results and establish the existence of a factorization of $κ$-regular graph into $λ$-regular subgraphs for every non-zero $λ\leq κ$. Furthermore, we show that every $κ$-regular connected graph has a $\mathcal{H}$-factorization for every family $\mathcal{H}$ of $κ$ forests with $κ$ components of order at most $κ$ and without isolated vertices.
2021-03-14
On the eigenvalues of Erdos-Renyi random bipartite graphs
We analyse the eigenvalues of Erdös--Rényi random bipartite graphs. In particular, we consider $p$ satisfying $n_{1}p=Ω(\sqrt{n_{1}p}\log^{3}(n_{1})),$ $n_{2}p=Ω(\sqrt{n_{2}p}\log^{3}(n_{2})),$ and let $G\sim G(n_{1},n_{2},p)$. We show that with probability tending to $1$ as $n_{1}$ tends to infinity: $$μ_{2} (A(G))\leq 2[1+o(1)](\sqrt{n_{1}p}+\sqrt{n_{2}p}+\sqrt{(n_{1}+n_{2})p}).$$
2021-03-14 v2
Extremal cacti with respect to Sombor index
Published • View Publication • BIB
Recently, a novel topological index, Sombor index, was introduced by Gutman, defined as $SO(G)=\sum\limits_{uv\in E(G)}\sqrt{d_{u}^{2}+d_{v}^{2}}$, where $d_{u}$ denotes the degree of vertex $u$. In this paper, we first determine the maximum Sombor index among cacti with $n$ vertices and $t$ cycles, then determine the maximum Sombor index among cacti with perfect matchings. We also characterize corresponding maximum cacti.
2021-03-14
The Sombor index of trees and unicyclic graphs with given maximum degree
Let $d_G(v)$ be the degree of the vertex $v$ in a graph $G$. The Sombor index of $G$ is defined as $SO(G) =\sum_{uv\in E(G)}\sqrt{d^2_G(u)+d^2_G(v)}$, which is a new degree-based topological index introduced by Gutman. Let $\mathscr{T}_{n,Δ}$ and $\mathscr{U}_{n,Δ}$ be the set of trees and unicyclic graphs with $n$ vertices and maximum degree $Δ$, respectively. In this paper, the tree and the unicyclic graph with minimum Sombor index among $\mathscr{T}_{n,Δ}$ and $\mathscr{U}_{n,Δ}$ are characterized.
Morse resolutions of powers of square-free monomial ideals of projective dimension one
Published • View Publication • BIB
Let $I$ be a square-free monomial ideal $I$ of projective dimension one. Starting with the Taylor complex on the generators of $I^r$, we use Discrete Morse theory to describe a CW complex that supports a minimal free resolution of $I^r$. To do so, we concretely describe the acyclic matching on the faces of the Taylor complex.
Graph clustering via generalized colorings
Published • View Publication • BIB
We propose a new approach for defining and searching clusters in graphs that represent real technological or transaction networks. In contrast to the standard way of finding dense parts of a graph, we concentrate on the structure of edges between the clusters, as it is motivated by some earlier observations, e.g. in the structure of networks in ecology and economics and by applications of discrete tomography. Mathematically special colorings and chromatic numbers of graphs are studied.
2021-03-14
Chebyshev-Fibonacci polynomial relations using generating functions
The main object of the paper is to reveal connections between Chebyshev polynomials of the first and second kinds and Fibonacci polynomials introduced by Catalan. This is achieved by relating the respective (ordinary and exponential) generating functions to each other. As a consequence, we also establish new combinatorial identities for balancing polynomials and Fibonacci (Lucas) numbers.
Tautological classes of matroids
Published • View Publication • BIB
We introduce certain torus-equivariant classes on permutohedral varieties which we call "tautological classes of matroids" as a new geometric framework for studying matroids. Using this framework, we unify and extend many recent developments in matroid theory arising from its interaction with algebraic geometry. We achieve this by establishing a Chow-theoretic description and a log-concavity property for a 4-variable transformation of the Tutte polynomial, and by establishing an exceptional Hirzebruch-Riemann-Roch-type formula for permutohedral varieties that translates between K-theory and Chow theory.
2021-03-14
Hankel Transform of the First Form (q,r)-Dowling Numbers
Published • View Publication • BIB
In this paper, the Hankel transform of the generalized q-exponential polynomial of the first form (q, r)-Whitney numbers of the second kind is established using the method of Cigler. Consequently, the Hankel transform of the first form (q, r)-Dowling numbers is obtained as special case.
2021-03-13
A family of formulas with reversal of arbitrarily high avoidability index
Published • View Publication • BIB
We present a family of avoidable formulas with reversal whose avoidability index is unbounded. We also complete the determination of the avoidability index of the formulas with reversal in the 3-avoidance basis.
2021-03-13 v2
Steklov flows on trees and applications
We introduce the Steklov flows on finite trees, i.e. the flows (or currents) associated with the Steklov problem. By constructing appropriate Steklov flows, we prove the monotonicity and rigidity of the first nonzero Steklov eigenvalues on trees: for finite trees $\g_1$ and $\g_2,$ the first nonzero Steklov eigenvalue of $\g_1$ is greater than or equal to that of $\g_2$, provided that $\g_1$ is a subgraph of $\g_2.$ Moreover, we give the sufficient and necessary condition in which the equality holds.
Upper and lower bounds for topological indices on unicyclic graphs
The aim of this paper is to obtain new inequalities for a large family of topological indices restricted to unicyclic graphs and to characterize the set of extremal unicyclic graphs with respect to them. This family includes variable first Zagreb, variable sum exdeg, multiplicative second Zagreb and Narumi-Katayama indices. Our main results provide upper and lower bounds for these topological indices on unicyclic graphs, fixing or not the maximum degree or the number of pendant vertices.
Partially critical 2-structures
A 2-structure $σ$ consists of a vertex set $V(σ)$ and of an equivalence relation $\equiv_σ$ defined on $(V(σ)\times V(σ))\setminus\{(v,v):v\in V(σ)\}$. Given a 2-structure $σ$, a subset $M$ of $V(σ)$ is a module of $σ$ if for $x,y\in M$ and $v\in V(σ)\setminus M$, $(x,v)\equiv_σ(y,v)$ and $(v,x)\equiv_σ(v,y)$. For instance, $\emptyset$, $V(σ)$ and $\{v\}$, for $v\in V(σ)$, are modules of $σ$ called trivial modules of $σ$. A 2-structure $σ$ is prime if $v(σ)\geq 3$ and all the modules of $σ$ are trivial. A prime 2-structure $σ$ is critical if for each $v\in V(σ)$, $σ-v$ is not prime. A prime 2-structure $σ$ is partially critical if there exists $X\subsetneq V(σ)$ such that $σ[X]$ is prime, and for each $v\in V(σ)\setminus X$, $σ-v$ is not prime. We characterize finite or infinite partially critical 2-structures.
Colouring polygon visibility graphs and their generalizations
Published • View Publication • BIB
Curve pseudo-visibility graphs generalize polygon and pseudo-polygon visibility graphs and form a hereditary class of graphs. We prove that every curve pseudo-visibility graph with clique number $ω$ has chromatic number at most $3\cdot 4^{ω-1}$. The proof is carried through in the setting of ordered graphs; we identify two conditions satisfied by every curve pseudo-visibility graph (considered as an ordered graph) and prove that they are sufficient for the claimed bound. The proof is algorithmic: both the clique number and a colouring with the claimed number of colours can be computed in polynomial time.