Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Decomposing $4$-connected planar triangulations into two trees and one path
Published
• View Publication
• BIB
Refining a classical proof of Whitney, we show that any $4$-connected planar triangulation can be decomposed into a Hamiltonian path and two trees.
Therefore, every $4$-connected planar graph decomposes into three forests, one having maximum degree at most $2$.
We use this result to show that any Hamiltonian planar triangulation can be decomposed into two trees and one spanning tree of maximum degree at most $3$.
These decompositions improve the result of Gonçalves [Covering planar graphs with forests, one having bounded maximum degree. J. Comb. Theory, Ser. B, 100(6):729--739, 2010] that every planar graph can be decomposed into three forests, one of maximum degree at most $4$.
We also show that our results are best-possible.
Laplacian Immanantal polynomials and the GTS poset on Trees
Published in Linear Algebra and its Applications Volume 561, 15 January 2019, Pages 1-23
• View Publication
• BIB
Let $T$ be a tree on $n$ vertices with Laplacian $L_T$ and let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees on $n$ vertices. Inequalities are known for coefficients of the characteristic polynomial of $L_T$ as we go up the poset $GTS_n$. In this work, we generalize these inequalities to the $q$-Laplacian $L^q_T$ of $T$ and to the coefficients of all immanantal polynomials.
Defective dual varieties for real spectra
We introduce an invariant of a finite point configuration $A \subset \mathbb{R}^{1+n}$ which we denote the cuspidal form of $A$. We use this invariant to extend Esterov's characterization of dual defective point configurations to exponential sums; the dual variety associated to $A$ has codimension at least $2$ if and only if $A$ does not contain any iterated circuit.
Structure and properties of large intersecting families
We say that a family of $k$-subsets of an $n$-element set is intersecting, if any two of its sets intersect. In this paper we study different extremal properties of intersecting families, as well as the structure of large intersecting families. We also give some results on $k$-uniform families without $s$ pairwise disjoint sets, related to the Erdős Matching Conjecture. We prove a conclusive version of Frankl's theorem on intersecting families with bounded maximal degree. This theorem, along with its generalizations to cross-intersecting families, implies many results on the topic, obtained by Frankl, Frankl and Tokushige, Kupavskii and Zakharov and others. We study the structure of large intersecting families, obtaining some general structural theorems which generalize the results of Han and Kohayakawa, as well as Kostochka and Mubayi. We give degree and subset degree version of the Erdős--Ko--Rado and the Hilton--Milner theorems, extending the results of Huang and Zhao, and Frankl, Han, Huang and Zhao. We also extend the range in which the degree version of the Erdős Matching conjecture holds.
Addendum to Vertex adjacencies in the set covering polyhedron
Published
• View Publication
• BIB
We study the relationship between the vertices of an up-monotone polyhedron $R$ and those of the polytope $P$ obtained by truncating $R$ with the unit hypercube. When $R$ has binary vertices, we characterize the vertices of $P$ in terms of the vertices of $R$, show their integrality, and prove that the 1-skeleton of $R$ is an induced subgraph of the 1-skeleton of $P$. We conclude by applying our findings to settle a claim in the original paper.
On a problem of Henning and Yeo about the transversal number of uniform linear systems whose 2-packing number is fixed
A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$ such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. If all elements of $\mathcal{L}$ of a linear system $(P,\mathcal{L})$, then the linear system is called $r$-uniform linear system. The transversal number of a linear system $(P,\mathcal{L})$, $τ(P,\mathcal{L})$, is the minimum cardinality of a subset $\hat{P}\subseteq P$ satisfying $l\cap\hat{P}\neq\emptyset$, for every $l\in\mathcal{L}$. The 2-packing number of a linear system $(P,\mathcal{L})$, $ν_2(P,\mathcal{L})$, is the maximum cardinality of a subset $R\subseteq\mathcal{L}$ such that, any three elements of $R$ don't have a common point (are triplewise disjoint), that is, if three elements are chosen in $R$, then they are not incidents in a common point.
For $r\geq2$, let $(P,\mathcal{L})$ be an $r$-uniform linear system. In "{\sc M. A. Henning and A. Yeo:} {\it Hypergraphs with large transversal number,} Discrete Math. {\bf 313} (2013), no. 8, 959--966." Henning and Yeo state the following question: Is it true that if $(P,\mathcal{L})$ is an $r$-uniform linear system then $τ(P,\mathcal{L})\leq\displaystyle\frac{|P|+|\mathcal{L}|}{r+1}$ holds for all $r\geq2$?. In this note, we give some results of $r$-uniform linear systems, whose 2-packing number is fixed, satisfying the inequality.
On k-caps in PG(n, q), with q even and n \geq 4
Published
• View Publication
• BIB
Let $m_2(n, q), n \geq 3$, be the maximum size of k for which there exists a complete k-cap in PG(n, q). In this paper the known bounds for $m_2(n, q), n \geq 4$, q even and $q \geq 2048$, will be considerably improved.
The EKR property for flag pure simplicial complexes without boundary
Published in J. Combin. Th., Ser. A. 172 (May 2020), 105205
• View Publication
• BIB
We prove that the family of facets of a pure simplicial complex of dimension up to three satisfies the Erdős-Ko-Rado property whenever it is flag and has no boundary ridges. We conjecture the same to be true in arbitrary dimension and give evidence for this conjecture. Our motivation is that complexes with these two properties include flag pseudo-manifolds and cluster complexes.
A note on discrete lattice-periodic sets with an application to Archimedean tilings
Published
• View Publication
• BIB
Cao & Yuan obtained a Blichfeldt-type result for the vertex set of the edge-to-edge tiling of the plane by regular hexagons. Observing that every Archimedean tiling is the union of translates of a fixed lattice, we take a more general viewpoint and investigate basic questions for such point sets about the homogeneous and inhomogeneous problem in the Geometry of Numbers. The Archimedean tilings nicely exemplify our results.
Nonseparating trees in 2-connected graphs and oriented trees in strongly connected digraphs
Published
• View Publication
• BIB
Mader [J. Graph Theory 65 (2010) 61-69] conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $δ(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. The conjecture has been verified for paths, trees when $k=1$, and stars or double-stars when $k=2$. In this paper we verify the conjecture for two classes of trees when $k=2$.
For digraphs, Mader [J. Graph Theory 69 (2012) 324-329] conjectured that every $k$-connected digraph $D$ with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq 2k+m-1$ for a positive integer $m$ has a dipath $P$ of order $m$ with $κ(D-V(P))\geq k$. The conjecture has only been verified for the dipath with $m=1$, and the dipath with $m=2$ and $k=1$. In this paper, we prove that every strongly connected digraph with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq m+1$ contains an oriented tree $T$ isomorphic to some given oriented stars or double-stars with order $m$ such that $D-V(T)$ is still strongly connected.
Deformation Cones of nested Braid fans
Published
• View Publication
• BIB
Generalized permutohedra are deformations of regular permutohedra, and arise in many different fields of mathematics. One important characterization of generalized permutohedra is the Submodular Theorem, which is related to the deformation cone of the Braid fan. We lay out general techniques for determining deformation cones of a fixed polytope and apply it to the Braid fan to obtain a natural combinatorial proof for the Submodular Theorem.
We also consider a refinement of the Braid fan, called the nested Braid fan, and construct usual (respectively, generalized) nested permutohedra which have the nested Braid fan as (respectively, refining) their normal fan. We extend many results on generalized permutohedra to this new family of polytopes, including a one-to-one correspondence between faces of nested permutohedra and chains in ordered partition posets, and a theorem analogous to the Submodular Theorem. Finally, we show that the nested Braid fan is the barycentric subdivision of the Braid fan, which gives another way to construct this new combinatorial object.
On Highly-regular graphs
Highly-regular graphs can be regarded as a combinatorial generalization of distance-regular graphs. From this standpoint, we study combinatorial aspects of highly-regular graphs. As a result, we give the following three main results in this paper. Firstly, we give a characterization of a distance-regular graph by using the index and diameter of a highly-regular graph. Secondly, we give two constructions of highly-regular graphs. Finally, we generalize well-known properties of the intersection numbers of a distance-regular graph.
Doubly exponentially many Ingleton matroids
Published
• View Publication
• BIB
A matroid is Ingleton if all quadruples of subsets of its ground set satisfy Ingleton's inequality. In particular, representable matroids are Ingleton. We show that the number of Ingleton matroids on ground set $[n]$ is doubly exponential in $n$; it follows that almost all Ingleton matroids are non-representable.
Minimum number of additive tuples in groups of prime order
Published
• View Publication
• BIB
For a prime number $p$ and a sequence of integers $a_0,\dots,a_k\in \{0,1,\dots,p\}$, let $s(a_0,\dots,a_k)$ be the minimum number of $(k+1)$-tuples $(x_0,\dots,x_k)\in A_0\times\dots\times A_k$ with $x_0=x_1+\dots + x_k$, over subsets $A_0,\dots,A_k\subseteq\mathbb{Z}_p$ of sizes $a_0,\dots,a_k$ respectively. An elegant argument of Lev (independently rediscovered by Samotij and Sudakov) shows that there exists an extremal configuration with all sets $A_i$ being intervals of appropriate length, and that the same conclusion also holds for the related problem, reposed by Bajnok, when $a_0=\dots=a_k=:a$ and $A_0=\dots=A_k$, provided $k$ is not equal 1 modulo $p$. By applying basic Fourier analysis, we show for Bajnok's problem that if $p\ge 13$ and $a\in\{3,\dots,p-3\}$ are fixed while $k\equiv 1\pmod p$ tends to infinity, then the extremal configuration alternates between at least two affine non-equivalent sets.
Feedback vertex number of Sierpiński-type graphs
Published
• View Publication
• BIB
The feedback vertex number $τ(G)$ of a graph $G$ is the minimum number of vertices that can be deleted from $G$ such that the resultant graph does not contain a cycle. We show that $τ(S_p^n)=p^{n-1}(p-2)$ for the Sierpiński graph $S_p^n$ with $p\geq 2$ and $n\geq 1$. The generalized Sierpiński triangle graph $\hat{S_p^n}$ is obtained by contracting all non-clique edges from the Sierpiński graph $S_p^{n+1}$. We prove that $τ(\hat{S}_3^n)=\frac {3^n+1} 2=\frac{|V(\hat{S}_3^n)|} 3$, and give an upper bound for $τ(\hat{S}_p^n)$ for the case when $p\geq 4$.
Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound
Published
• View Publication
• BIB
We study the asymptotic behavior of a family of algebraic geometry codes, which we call block-transitive, that generalizes the classes of transitive and quasi-transitive codes. We prove, by using towers of algebraic function fields, that there are sequences of codes in this family attaining the Tsfasman-Vladut-Zink bound over finite fields of square cardinality. We give the exact length of these codes as well as explicit lower bounds for their parameters.
Stable arithmetic regularity in the finite-field model
Published
• View Publication
• BIB
The arithmetic regularity lemma for $\mathbb{F}_p^n$, proved by Green in 2005, states that given a subset $A\subseteq \mathbb{F}_p^n$, there exists a subspace $H\leq \mathbb{F}_p^n$ of bounded codimension such that $A$ is Fourier-uniform with respect to almost all cosets of $H$. It is known that in general, the growth of the codimension of $H$ is required to be of tower type depending on the degree of uniformity, and that one must allow for a small number of non-uniform cosets.
Our main result is that, under a natural model-theoretic assumption of stability, the tower-type bound and non-uniform cosets in the arithmetic regularity lemma are not necessary. Specifically, we prove an arithmetic regularity lemma for $k$-stable subsets $A\subseteq \mathbb{F}_p^n$ in which the bound on the codimension of the subspace is a polynomial (depending on $k$) in the degree of uniformity, and in which there are no non-uniform cosets. This result is an arithmetic analogue of the stable graph regularity lemma proved by Malliaris and Shelah.
Graphs with equal domination and certified domination numbers
Published
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is a dominating set of $G$ if every vertex in $V_G-D$ is adjacent to at least one vertex in $D$. The domination number (upper domination number, respectively) of a graph $G$, denoted by $γ(G)$ ($Γ(G)$, respectively), is the cardinality of a smallest (largest minimal, respectively) dominating set of $G$. A subset $D\subseteq V_G$ is called a certified dominating set of $G$ if $D$ is a dominating set of $G$ and every vertex in $D$ has either zero or at least two neighbors in $V_G-D$. The cardinality of a~smallest (largest minimal, respectively) certified dominating set of $G$ is called the certified upper certified, respectively domination number of $G$ and is denoted by $γ_{\rm cer}(G)$ ($Γ_{\rm cer}(G)$, respectively). In this paper relations between domination, upper domination, certified domination and upper certified domination numbers of a graph are studied.
Connectivity Properties of Factorization Posets in Generated Groups
Published in Order 37 (2020), pages 115-149
• View Publication
• BIB
We consider three notions of connectivity and their interactions in partially ordered sets coming from reduced factorizations of an element in a generated group. While one form of connectivity essentially reflects the connectivity of the poset diagram, the other two are a bit more involved: Hurwitz-connectivity has its origins in algebraic geometry, and shellability in topology. We propose a framework to study these connectivity properties in a uniform way. Our main tool is a certain linear order of the generators that is compatible with the chosen element.
Codes Endowed With the Rank Metric
Published
• View Publication
• BIB
We review the main results of the theory of rank-metric codes, with emphasis on their combinatorial properties. We study their duality theory and MacWilliams identities, comparing in particular rank-metric codes in vector and matrix representation. We then investigate the combinatorial structure of MRD codes and optimal anticodes in the rank metric, describing how they relate to each other.