Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Signless Laplacian Estrada index and Laplacian Estrada index of uniform hypergraphs
We generalize the notions of Laplacian and signless Laplacian Estrada index to uniform hypergraphs. For an $r$-uniform hypergraph $H,$ we derive an order $r+1$ trace formula of the (signless) Laplacian tensor of $H.$ Among others by using this trace formula, we obtain lower bounds for the signless Laplacian Estrada index and upper bounds for the Laplacian Estrada index. Moreover, we establish a bound involving both the Laplacian Estrada index and Laplacian energy of a uniform hypergraph.
Some intersection theorems for finite sets
Let $n$, $r$, $k_1,\ldots,k_r$ and $t$ be positive integers with $r\geq 2$, and $\mathcal{F}_i\ (1\leq i\leq r)$ a family of $k_i$-subsets of an $n$-set $V$. The families $\mathcal{F}_1,\ \mathcal{F}_2,\ldots,\mathcal{F}_r$ are said to be $r$-cross $t$-intersecting if $|F_1\cap F_2\cap\cdots\cap F_r|\geq t$ for all $F_i\in\mathcal{F}_i\ (1\leq i\leq r),$ and said to be non-trivial if $|\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F|<t$. If the $r$-cross $t$-intersecting families $\mathcal{F}_1,\ldots,\mathcal{F}_r$ satisfy $\mathcal{F}_1=\cdots=\mathcal{F}_r=\mathcal{F}$, then $\mathcal{F}$ is well known as $r$-wise $t$-intersecting family. In this paper, we describe the structure of non-trivial $r$-wise $t$-intersecting families with maximum size, and give a stability result for these families. We also determine the structure of non-trivial $2$-cross $t$-intersecting families with maximum product of their sizes.
Two disjoint cycles in digraphs
Published
• View Publication
• BIB
Bermond and Thomassen conjectured that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex disjoint cycles. So far the conjecture was verified for $k\le 3$. Here we generalise the question asking for all outdegree sequences which force $k$ vertex disjoint cycles and give the full answer for $k\le 2$.
Edge-decompositions of $O(m)$-edge-connected graphs into isomorphic copies of a fixed tree of size $m$
In this paper, we show that every $O(m)$-edge-connected simple graph $G$ of size divisible by $m$ with minimum degree at least $2^{O(m)}$ has an edge-decomposition into isomorphic copies of any given tree $T$ of size $m$. Moreover, the minimum degree condition can be dropped for graphs $G$ with girth greater than the diameter of $T$. These results improve two results due to Bensmail, Harutyunyan, Le, Merker, and Thomassé (2017) and Merker (2017) who gave a factorial upper bound on the necessary edge-connectivity.
Toughness and the existence of tree-connected $\{f,f+k\}$-factors
Let $G$ be a graph and let $f$ be a positive integer-valued function on $V(G)$ satisfying $2m\le f\le b$, where $b$ and $m$ are two positive integers with $b\ge 4m^2$. In this paper, we show that if $G$ is $b^2$-tough and $|V(G)|\ge b^2$, then it has an $m$-tree-connected factor $H$ such that for each vertex $v$, $$d_H(v)\in \{f(v), f(v)+1\}.$$ Next, we generalize this result by giving sufficient conditions for a tough graph to have a tree-connected factors $H$ such that for each vertex $v$, $d_H(v)\in \{f(v), f(v)+k\}$. As an application, we prove that every $64b(b-a)^2$-tough graph $G$ of order at least $b+1$ with $ab|V(G)|$ even admits a connected factor whose degrees lie in the set $\{a,b\}$, where $a$ and $b$ are two integers with $2\le a< b < \frac{6}{5}a$. Moreover, we prove that every $16$-tough graph $G$ of order at least three admits a $2$-connected factor whose degrees lie in the set $\{2,3\}$, provided that $G$ has a $2$-factor with girth at least five. This result confirms a weaker version of a long-standing conjecture due to Chvátal (1973).
The covering threshold of a directed acyclic graph by directed acyclic subgraphs
Published
• View Publication
• BIB
Let $H$ be a directed acyclic graph other than a rooted star. It is known that there are constants $c(H)$ and $C(H)$ such that the following holds for the complete directed graph $D_n$. There are at most $C\log n$ directed acyclic subgraphs of $D_n$ that cover every $H$-copy of $D_n$, while fewer than $c\log n$ directed acyclic subgraphs of $D_n$ do not cover all $H$-copies. Here this dichotomy is considerably strengthened. Let ${\vec G}(n,p)$ denote the random directed graph. The {\em fractional arboricity} of $H$ is $a(H) = max \{\frac{|E(H')|}{|V(H')|-1}\}$, where the maximum is over all non-singleton subgraphs of $H$. If $a(H) = \frac{|E(H)|}{|V(H)|-1}$ then $H$ is {\em totally balanced}. Complete graphs, complete multipartite graphs, cycles, trees, and, in fact, almost all graphs, are totally balanced. It is proved:
1) Let $H$ be a dag with $h$ vertices and $m$ edges other than a rooted star. For every $a^* > a(H)$ there exists $c^* = c^*(a^*,H) > 0$ such that almost surely $G \sim {\vec G}(n,n^{-1/a^*})$ has the property that every set $X$ of at most $c^*\log n$ directed acyclic subgraphs of $G$ does not cover all $H$-copies of $G$. Moreover, there exists $s(H) = m/2 + O(m^{4/5}h^{1/5})$ such that the following stronger assertion holds for any such $X$: There is an $H$-copy in $G$ that has no more than $s(H)$ of its edges covered by each element of $X$.
2) If $H$ is totally balanced then for every $0 < a^* < a(H)$, almost surely $G \sim {\vec G}(n,n^{-1/a^*})$ has a single directed acyclic subgraph that covers all its $H$-copies.
As for the first result, note that if $h=o(m)$ then $s(H)=(1+o_m(1))m/2$ is about half of the edges of $H$. In fact, for infinitely many $H$ it holds that $s(H)=m/2$, optimally. As for the second result, the requirement that $H$ is totally balanced cannot, generally, be relaxed.
A necessary and sufficient condition for the existence of $\{p,p+1,q-1,q\}$-orientations in simple graphs
Let $G$ be a simple graph and let $p$ and $q$ be two integer-valued functions on $V(G)$ with $p< q$ in which for each $v\in V(G)$, $q(v) \ge \frac{1}{2}d_G(v)$ and $p(v) \ge \frac{1}{2} q(v)-2$. In this note, we show that $G$ has an orientation such that for each vertex $v$, $d^+_G(v)\in\{p(v),p(v)+1,q(v)-1,q(v)\}$ if and only if it has an orientation such that for each vertex $v$, $p(v) \le d^+_G(v)\le q(v)$ where $d^+_G(v)$ denotes the out-degree of $v$ in $G$. From this result, we refine a result due to Addario-Berry, Dalal, and Reed (2008) in bipartite simple graphs on the existence of degree constrained factors.
On the subdivision algebra for the polytope $\mathcal{U}_{I,\bar{J}}$
The polytopes $\mathcal{U}_{I,\bar{J}}$ were introduced by Ceballos, Padrol, and Sarmiento to provide a geometric approach to the study of $(I,\bar{J})$-Tamari lattices. They observed a connection between certain $\mathcal{U}_{I,\bar{J}}$ and acyclic root polytopes, and wondered if Mészáros' subdivision algebra can be used to subdivide all $\mathcal{U}_{I,\bar{J}}$. We answer this in the affirmative from two perspectives, one using flow polytopes and the other using root polytopes. We show that $\mathcal{U}_{I,\bar{J}}$ is integrally equivalent to a flow polytope that can be subdivided using the subdivision algebra. Alternatively, we find a suitable projection of $\mathcal{U}_{I,\bar{J}}$ to an acyclic root polytope which allows subdivisions of the root polytope to be lifted back to $\mathcal{U}_{I,\bar{J}}$. As a consequence, this implies that subdivisions of $\mathcal{U}_{I,\bar{J}}$ can be obtained with the algebraic interpretation of using reduced forms of monomials in the subdivision algebra. In addition, we show that the $(I,\bar{J})$-Tamari complex can be obtained as a triangulated flow polytope.
Egerváry graphs: Deming decompositions and independence structure
We leverage an algorithm of Deming [R.W. Deming, Independence numbers of graphs -- an extension of the Koenig-Egervary theorem, Discrete Math., 27(1979), no. 1, 23--33; MR534950] to decompose a matchable graph into subgraphs with a precise structure: they are either spanning even subdivisions of blossom pairs, spanning even subdivisions of the complete graph $K_4$, or a Kőnig-Egerváry graph. In each case, the subgraphs have perfect matchings; in the first two cases, their independence numbers are one less than their matching numbers, while the independence number of the KE subgraph equals its matching number. This decomposition refines previous results about the independence structure of an arbitrary graph and leads to new results about $α$-critical graphs.
The distance to the border of a random tree
Given a Galton-Watson process conditioned to have total progeny equal to $n$, we study the asymptotic probability that this conditioned Galton-Watson process has distance to the border bigger or equal than $k$, as the number of nodes $n \rightarrow \infty$.
A problem which is akin to this one was solved by Rényi and Szekeres for Cayley trees, de Bruijn, Knuth, and Rice for plane trees and Flajolet, Gao, Odlyzko, and Richmond for binary trees. The distance to the border is dual, in a certain sense, to the height. The first of these distances is the minimum of the distances from the root to the leaves. The second is the maximum of the distances from the root to the leaves. These are two extreme complementary cases.
Spherical tropicalization and Berkovich analytification
Published
• View Publication
• BIB
Let $X$ be a spherical variety. We show that Tevelev and Vogiannou's tropicalization map from $X$ to its tropicalization factors through the Berkovich analytification $X^{\text{an}}$, as in the case for toric varieties. Furthermore we show that the tropicalization is a strong deformation retraction of $X^{\text{an}}$. We also give a strong deformation retraction of Thuillier's analytification $X^{\beth}$ onto a subspace described using the colored fan of $X$.
Extremal graphs for odd-ballooning of paths and stars
The odd-ballooning of a graph $G$, denoted by $G_q$, is the graph obtained from replacing each edge in $G$ by a odd cycle of the same size where the new vertices of the odd cycles are all different. In 2002, Erdös et al. determined the extremal graphs of $k$-fan. In 2016, Hou et al. determined extremal graphs of the odd-ballooning of stars for $q\geqslant 5$. In 2020, Zhu et al. determined extremal graphs of the odd-ballooning of paths for $q\geqslant 3$. In this article, we use progressive induction lemma of Simonovits to determine the extremal graphs of both odd-ballooning of stars and odd-ballooning of paths for $q\geqslant 3$.
d-representability as an embedding problem
An abstract simplicial complex is said to be $d$-representable if it records the intersection pattern of a collection of convex sets in $\mathbb{R}^d$. In this paper, we show that $d$-representability of a simplicial complex is equivalent to the existence of a map with certain properties, from a closely related simplicial complex into $\mathbb{R}^d$. This equivalence suggests a framework for proving (and disproving) $d$-representability of simplicial complexes using topological methods such as applications of the Borsuk-Ulam theorem, which we begin to explore.
A note on the maximum number of $k$-powers in a finite word
Published
• View Publication
• BIB
A \emph{power} is a word of the form $\underbrace{uu...u}_{k \; \text{times}}$, where $u$ is a word and $k$ is a positive integer; the power is also called a {\em $k$-power} and $k$ is its {\em exponent}. We prove that for any $k \ge 2$, the maximum number of different non-empty $k$-power factors in a word of length $n$ is between $\frac{n}{k-1}-Θ(\sqrt{n})$ and $\frac{n-1}{k-1}$. We also show that the maximum number of different non-empty power factors of exponent at least 2 in a length-$n$ word is at most $n-1$. Both upper bounds generalize the recent upper bound of $n-1$ on the maximum number of different square factors in a length-$n$ word by Brlek and Li (2022).
Tight globally simple non-zero sum Heffter arrays and biembeddings
Published
• View Publication
• BIB
Square relative non-zero sum Heffter arrays, denoted by $\mathrm{N}\mathrm{H}_t(n;k)$, have been introduced as a variant of the classical concept of Heffter array. An $\mathrm{N}\mathrm{H}_t(n; k)$ is an $n\times n$ partially filled array with elements in $\mathbb{Z}_v$, where $v=2nk+t$, whose rows and whose columns contain $k$ filled cells, such that the sum of the elements in every row and column is different from $0$ (modulo $v$) and, for every $x\in \mathbb{Z}_v$ not belonging to the subgroup of order $t$, either $x$ or $-x$ appears in the array. In this paper we give direct constructions of square non-zero sum Heffter arrays with no empty cells, $\mathrm{N}\mathrm{H}_t(n;n)$, for every $n$ odd, when $t$ is a divisor of $n$ and when $t\in\{2,2n,n^2,2n^2\}$. The constructed arrays have also the very restrictive property of being "globally simple"; this allows us to get new orthogonal path decompositions and new biembeddings of complete multipartite graphs.
Planar graphs with separation are dp-minimal
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
Last Car Decomposition of Planar Maps
Published
• View Publication
• BIB
We give new equations which characterize the generating functions of planar quadrangulations and planar triangulations, with zero, one or two boundaries. The proof is inspired by the Lackner--Panholzer last car decomposition of parking trees (arXiv:1504.04972) and consists in applying a similar decomposition to the peeling trees of planar maps.
The MST-fan of a regular subdivision
The dual graph $Γ(h)$ of a regular triangulation $Σ(h)$ carries a natural metric structure. The minimum spanning trees of $Γ(h)$ recently proved to be conclusive for detecting significant data signal in the context of population genetics. In this paper we prove that the parameter space of such minimum spanning trees is organized as a polyhedral fan, called the MST-fan of $Σ(h)$, which subdivides the secondary cone of $Σ(h)$ into parameter cones. We partially describe its local face structure and examine the connection to tropical geometry in virtue of matroids and Bergman fans.
Finite Ramsey Theory through Category Theory
Published
• View Publication
• BIB
We present a new, category theoretic point of view on finite Ramsey theory. Our aims are as follows: -- to define the category theoretic notions needed for the development of finite Ramsey Theory, -- to state, in terms of these notions, the general fundamental Ramsey results (of which various concrete Ramsey results are special cases), and -- to give self-contained proofs within the category theoretic framework of these general results.
We also provide some concrete illustrations of the general method.
Some infinite-dimensional representations of certain Coxeter groups
Published
• View Publication
• BIB
A Coxeter group admits infinite-dimensional irreducible complex representations if and only if it is not finite or affine. In this paper, we provide a construction of some of those representations for certain Coxeter groups using some topological information of the corresponding Coxeter graphs.