arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On Star-critical (K1,n,K1,m + e) Ramsey numbers
Published • View Publication • BIB
Let $G, H$ be finite graphs without loops or multiple edges and $K_n$ denote the complete graph on $n$ vertices. If for every red/blue colouring of edges of the complete graph $K_n$, there exists a red copy of $G$, or a blue copy of $H$, we will say that $K_n\rightarrow (G,H)$. The Ramsey number $r(G, H)$ is defined as the smallest positive integer $n$ such that $K_{n} \rightarrow (G, H)$. Star-critical Ramsey number $r_*(G, H)$ is defined as the largest value of $k$ such that $K_{r(G,H)-1} \sqcup K_{1,k} \rightarrow (G, H)$. In this paper, we will find $r_*(K_{1,n}, K_{1,m}+e)$ for all $n,m \geq 3$.
2019-05-24 v2
A concatenation construction for propelinear perfect codes from regular subgroups of GA(r,2)
Published • View Publication • BIB
A code $C$ is called propelinear if there is a subgroup of $Aut(C)$ of order $|C|$ acting transitively on the codewords of $C$. In the paper new propelinear perfect binary codes of any admissible length more than $7$ are obtained by a particular case of the Solov'eva concatenation construction--1981 and the regular subgroups of the general affine group of the vector space over $GF(2)$.
2019-05-24 v3
Long path and cycle decompositions of even hypercubes
Published • View Publication • BIB
We consider edge decompositions of the $n$-dimensional hypercube $Q_n$ into isomorphic copies of a given graph $H$. While a number of results are known about decomposing $Q_n$ into graphs from various classes, the simplest cases of paths and cycles of a given length are far from being understood. A conjecture of Erde asserts that if $n$ is even, $\ell < 2^n$ and $\ell$ divides the number of edges of $Q_n$, then the path of length $\ell$ decomposes $Q_n$. Tapadia et al.\ proved that any path of length $2^mn$, where $2^m<n$, satisfying these conditions decomposes $Q_n$. Here, we make progress toward resolving Erde's conjecture by showing that cycles of certain lengths up to $2^{n+1}/n$ decompose $Q_n$. As a consequence, we show that $Q_n$ can be decomposed into copies of any path of length at most $2^{n}/n$ dividing the number of edges of $Q_n$, thereby settling Erde's conjecture up to a linear factor.
2019-05-24 v3
Angle-restricted sets and zero-free regions for the permanent
Published • View Publication • BIB
The goal of this note is to give a systematic method of constructing zero-free regions for the permanent in the sense of A. Barvinok, i.e. regions in the complex plane such that the permanent of a square matrix of any size with entries from this region is nonzero. We do so by refining the approach of Barvinok, which is based on his clever observation that a certain restriction on a set S involving angles implies zero-freeness; we call sets satisfying this requirement angle-restricted. This allows us to reduce the question to a low-dimensional geometry problem (notably, independent of the size of the matrix!), which can then be solved more or less explicitly. We give a number of examples, improving some results of Barvinok.
2019-05-24
Re$^3$counting the rationals
Published • View Publication • BIB
In 1999, Neil Calkin and Herbert Wilf wrote "Recounting the rationals" which gave an explicit bijection between the positive integers and the positive rationals. We find several different (some new) ways to construct this enumeration and thus create pointers for generalizing. Next, we use circle packings to generalize and find two other enumerations. Surprisingly, the three enumerations are all that are possible by using this technique. The proofs involve, among other things, "negative" continued fractions, Chebyshev polynomials, Euler's totient function, and generalizations of Stern's diatomic sequence. Finally we look at some of the remarkable similarities -- and differences -- of these sequences.
2019-05-24
On the $g$-good-neighbor connectivity of graphs
Published • View Publication • BIB
Connectivity and diagnosability are two important parameters for the fault tolerant of an interconnection network $G$. In 1996, Fàbrega and Fiol proposed the $g$-good-neighbor connectivity of $G$. In this paper, we show that $1\leq κ^g(G)\leq n-2g-2$ for $0\leq g\leq \left\{Δ(G),\left\lfloor \frac{n-3}{2}\right\rfloor\right\}$, and graphs with $κ^g(G)=1,2$ and trees with $κ^g(T_n)=n-t$ for $4\leq t\leq \frac{n+2}{2}$ are characterized, respectively. In the end, we get the three extremal results for the $g$-good-neighbor connectivity.
When is the $q$-multiplicity of a weight a power of $q$?
Published • View Publication • BIB
Berenshtein and Zelevinskii provided an exhaustive list of pairs of weights $(λ,μ)$ of simple Lie algebras $\mathfrak{g}$ (up to Dynkin diagram isomorphism) for which the multiplicity of the weight $μ$ in the representation of $\mathfrak{g}$ with highest weight $λ$ is equal to one. Using Kostant's weight multiplicity formula we describe and enumerate the contributing terms to the multiplicity for subsets of these pairs of weights and show that, in these cases, the cardinality of these contributing sets is enumerated by (multiples of) Fibonacci numbers. We conclude by using these results to compute the associated $q$-multiplicity for the pairs of weights considered, and conjecture that in all cases the $q$-multiplicity of such pairs of weights is given by a power of $q$.
2019-05-24
Monoidal networks
In this paper we define and study the notion of a monoidal network, which consists of a commutative ring $R$ and a collection of groups $Γ_I$, indexed by the ideals of $R$, with $Γ_I$ acting on the quotient $R/I$ and satisfying a certain lifting condition. The examination of these objects is largely motivated by, and initially arose from, the study of the union-closed sets conjecture. This connection is made precise and other aspects of these structures are investigated.
2019-05-24 v2
On the product dimension of clique factors
Published • View Publication • BIB
The product dimension of a graph $G$ is the minimum possible number of proper vertex colorings of $G$ so that for every pair $u,v$ of non-adjacent vertices there is at least one coloring in which $u$ and $v$ have the same color. What is the product dimension $Q(s,r)$ of the vertex disjoint union of $r$ cliques, each of size $s$? Lovász, Nešetřil and Pultr proved in 1980 that for $s=2$ it is $(1+o(1)) \log_2 r$ and raised the problem of estimating this function for larger values of $s$. We show that for every fixed $s$, the answer is still $(1+o(1)) \log_2 r$ where the $o(1)$ term tends to $0$ as $r$ tends to infinity, but the problem of determining the asymptotic behavior of $Q(s,r)$ when $s$ and $r$ grow together remains open. The proof combines linear algebraic tools with the method of Gargano, Körner, and Vaccaro on Sperner capacities of directed graphs.
2019-05-23 v3
Upward-closed hereditary families in the dominance order
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (January 20, 2022) dmtcs:5666 • View Publication • BIB
The majorization relation orders the degree sequences of simple graphs into posets called dominance orders. As shown by Ruch and Gutman (1979) and Merris (2002), the degree sequences of threshold and split graphs form upward-closed sets within the dominance orders they belong to, i.e., any degree sequence majorizing a split or threshold sequence must itself be split or threshold, respectively. Motivated by the fact that threshold graphs and split graphs have characterizations in terms of forbidden induced subgraphs, we define a class $\mathcal{F}$ of graphs to be dominance monotone if whenever no realization of $e$ contains an element $\mathcal{F}$ as an induced subgraph, and $d$ majorizes $e$, then no realization of $d$ induces an element of $\mathcal{F}$. We present conditions necessary for a set of graphs to be dominance monotone, and we identify the dominance monotone sets of order at most 3.
2019-05-23
Resistance distance-based graph invariants and the number of spanning trees of linear crossed octagonal graphs
Published • View Publication • BIB
Resistance distance is a novel distance function, also a new intrinsic graph metric, which makes some extensions of ordinary distance. Let On be a linear crossed octagonal graph. Recently, Pan and Li (2018) derived the closed formulas for the Kirchhoff index, multiplicative degree-Kirchhoff index and the number of spanning trees of Hn. They pointed that it is interesting to give the explicit formulas for the Kirchhoff and multiplicative degree-Kirchhoff indices of On. Inspired by these, in this paper, two resistance distance-based graph invariants, namely, Kirchhoff and multiplicative degree-Kirchhoff indices are studied. We firstly determine formulas for the Laplacian (normalized Laplacian, resp.) spectrum of On. Further, the formulas for those two resistance distance-based graph invariants and spanning trees are given. More surprising, we find that the Kirchhoff (multiplicative degree-Kirchhoff, resp.) index is almost one quarter to Wiener (Gutman, resp.) index of a linear crossed octagonal graph.
2019-05-23
Matrix scaling and explicit doubly stochastic limits
Published in Linear Algebra and its Applications 578 (2019), 111-132 • View Publication • BIB
The process of alternately row scaling and column scaling a positive $n \times n$ matrix $A$ converges to a doubly stochastic positive $n \times n$ matrix $S(A)$, often called the \emph{Sinkhorn limit} of $A$. The main result in this paper is the computation of exact formulae for the Sinkhorn limits of certain symmetric positive $3\times 3$ matrices.
2019-05-23 v3
Kochen-Specker sets in four-dimensional spaces
Published • View Publication • BIB
For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in R^4. While most of the previous constructions of Kochen-Specker sets have been based on computer search, our construction is analytical and it comes with a short, computer-free proof.
2019-05-23 v4
Clustered Coloring of Graphs Excluding a Subgraph and a Minor
Published • View Publication • BIB
A graph coloring has bounded clustering if each monochromatic component has bounded size. Equivalently, it is a partition of the vertices into induced subgraphs with bounded size components. This paper studies clustered colorings of graphs, where the number of colors depends on an excluded minor and/or an excluded subgraph. We prove the following results (for fixed integers $s,t$ and a fixed graph $H$). First we show that graphs with no $K_{s,t}$ subgraph and with no $H$-minor are $(s+2)$-colorable with bounded clustering. The number of colors here is best possible. This result implies that graphs with no $K_{s+1}$-minor are $(s+2)$-colorable with bounded clustering, which is within two colors of the clustered coloring version of Hadwiger's conjecture. For graphs of bounded treewidth (or equivalently, excluding a planar minor) and with no $K_{s,t}$ subgraph, we prove $(s+1)$-choosability with bounded clustering, which is best possible. We then consider excluding an odd minor. We prove that graphs with no $K_{s,t}$ subgraph and with no odd $H$-minor are $(2s+1)$-colorable with bounded clustering, generalizing a result of the first author and Oum who proved the case $s=1$. Moreover, at least $s-1$ color classes are stable sets. Finally, we consider the clustered coloring version of a conjecture of Gerards and Seymour and prove that graphs with no odd $K_{s+1}$-minor are $(8s-4)$-colorable with bounded clustering, which improves on previous such bounds.
2019-05-23
Bass numbers of local cohomology of cover ideals of graphs
Published • View Publication • BIB
We develop splitting techniques to study Lyubeznik numbers of cover ideals of graphs which allow us to describe them for large families of graphs including forests, cycles, wheels and cactus graphs. More generally we are able to compute all the Bass numbers and the shape of the injective resolution of local cohomology modules by considering the connected components of the corresponding subgraphs. Indeed our method gives us a very simple criterion for the vanishing of these local cohomology modules in terms of the connected components.
2019-05-23
Smoothness of Schubert varieties indexed by involutions in finite simply laced types
We prove that in finite, simply laced types, every Schubert variety indexed by an involution which is not the longest element of some parabolic subgroup is singular.
Every 2-Segal space is unital
Published in Commun. Contemp. Math. 23 (2021), 2050055 • View Publication • BIB
We prove that every 2-Segal space is unital.
2019-05-23 v2
Ordinary hyperspheres and spherical curves
Published in Advances in Geometry 21 (2021), 15--22 • View Publication • BIB
An ordinary hypersphere of a set of points in real $d$-space, where no $d+1$ points lie on a $(d-2)$-sphere or a $(d-2)$-flat, is a hypersphere (including the degenerate case of a hyperplane) that contains exactly $d+1$ points of the set. Similarly, a $(d+2)$-point hypersphere of such a set is one that contains exactly $d+2$ points of the set. We find the minimum number of ordinary hyperspheres, solving the $d$-dimensional spherical analogue of the Dirac--Motzkin conjecture for $d \geqslant 3$. We also find the maximum number of $(d+2)$-point hyperspheres in even dimensions, solving the $d$-dimensional spherical analogue of the orchard problem for even $d \geqslant 4$.
2019-05-23 v2
Site percolation and isoperimetric inequalities for plane graphs
Published in Random Structures and Algorithms, Volume 58, Issue 1, January 2021, pages 150-163 • View Publication • BIB
We use isoperimetric inequalities combined with a new technique to prove upper bounds for the site percolation threshold of plane graphs with given minimum degree conditions. In the process we prove tight new isoperimetric bounds for certain classes of hyperbolic graphs. This establishes the vertex isoperimetric constant for all triangular and square hyperbolic lattices, answering a question of Lyons and Peres. We prove that plane graphs of minimum degree at least $7$ have site percolation threshold bounded away from $1/2$, which was conjectured by Benjamini and Schramm, and make progress on a conjecture of Angel, Benjamini and Horesh that the critical probability is at most $1/2$ for plane triangulations of minimum degree $6$. We prove additional bounds for stronger minimum degree conditions, and for graphs without triangular faces.
2-factors with k cycles in Hamiltonian graphs
A well known generalisation of Dirac's theorem states that if a graph $G$ on $n\ge 4k$ vertices has minimum degree at least $n/2$ then $G$ contains a $2$-factor consisting of exactly $k$ cycles. This is easily seen to be tight in terms of the bound on the minimum degree. However, if one assumes in addition that $G$ is Hamiltonian it has been conjectured that the bound on the minimum degree may be relaxed. This was indeed shown to be true by Sárközy. In subsequent papers, the minimum degree bound has been improved, most recently to $(2/5+\varepsilon)n$ by DeBiasio, Ferrara, and Morris. On the other hand no lower bounds close to this are known, and all papers on this topic ask whether the minimum degree needs to be linear. We answer this question, by showing that the required minimum degree for large Hamiltonian graphs to have a $2$-factor consisting of a fixed number of cycles is sublinear in $n.$