arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Zhang-Zhang Polynomials of Ribbons
Published • View Publication • BIB
We report a closed-form formula for the Zhang-Zhang polynomial (aka ZZ polynomial or Clar covering polynomial) of an important class of elementary pericondensed benzenoids $Rb\left(n_{1},n_{2},m_{1},m_{2}\right)$ usually referred to as ribbons. A straightforward derivation is based on the recently developed interface theory of benzenoids [Langner and Witek, MATCH Commun. Math. Comput. Chem. 84, 143--176 (2020)]. The discovered formula provides compact expressions for various topological invariants of $Rb\left(n_{1},n_{2},m_{1},m_{2}\right)$: the number of Kekulé structures, the number of Clar covers, its Clar number, and the number of Clar structures. The last two classes of elementary benzenoids, for which closed-form ZZ polynomial formulas remain to be found, are hexagonal flakes $O\left(k,m,n\right)$ and oblate rectangles $Or\left(m,n\right)$.
2020-10-08 v3
Quantum mechanics of bipartite ribbon graphs: Integrality, Lattices and Kronecker coefficients
Published in Algebraic Combinatorics, Volume 6 (2023) no. 2, pp. 547-594 • View Publication • BIB
We define solvable quantum mechanical systems on a Hilbert space spanned by bipartite ribbon graphs with a fixed number of edges. The Hilbert space is also an associative algebra, where the product is derived from permutation group products. The existence and structure of this Hilbert space algebra has a number of consequences. The algebra product, which can be expressed in terms of integer ribbon graph reconnection coefficients, is used to define solvable Hamiltonians with eigenvalues expressed in terms of normalized characters of symmetric group elements and degeneracies given in terms of Kronecker coefficients, which are tensor product multiplicities of symmetric group representations. The square of the Kronecker coefficient for a triple of Young diagrams is shown to be equal to the dimension of a sub-lattice in the lattice of ribbon graphs. This leads to an answer to the long-standing question of a combinatoric interpretation of the Kronecker coefficients. As an avenue to explore quantum supremacy and its implications for computational complexity theory, we outline experiments to detect non-vanishing Kronecker coefficients for hypothetical quantum realizations/simulations of these quantum systems. The correspondence between ribbon graphs and Belyi maps leads to an interpretation of these quantum mechanical systems in terms of quantum membrane world-volumes interpolating between string geometries.
Combinatorial Mutations and Block Diagonal Polytopes
Published • View Publication • BIB
Matching fields were introduced by Sturmfels and Zelevinsky to study certain Newton polytopes and more recently have been shown to give rise to toric degenerations of various families of varieties. Whenever a matching field gives rise to a toric degeneration, the associated polytope of the toric variety coincides with the matching field polytope. We study combinatorial mutations, which are analogues of cluster mutations for polytopes, of matching field polytopes and show that the property of giving rise to a toric degeneration of the Grassmannians, is preserved by mutation. Moreover the polytopes arising through mutations are Newton-Okounkov bodies for the Grassmannians with respect to certain full-rank valuations. We produce a large family of such polytopes, extending the family of so-called block diagonal matching fields.
2020-10-08
On the rank of Suzuki polytopes: an answer to Hubard and Leemans
Published • View Publication • BIB
In this paper we show that the rank of every chiral polytope having a Suzuki group as automorphism group is $3$. This gives a positive answer to a conjecture of Isabel Hubard and Dimitri Leemans.
2020-10-08
Determinants and Limit Systems in some Idempotent and Non-Associative Algebraic Structure
Published • View Publication • BIB
This paper considers an idempotent and symmetrical algebraic structure as well as some closely related concept. A special notion of determinant is introduced and a Cramer formula is derived for a class of limit systems derived from the Hadamard matrix product and we give the algebraic form of a sequence of hyperplanes passing through a finite number of points. Thereby, some standard results arising for Max-Times systems with nonnegative entries appear as a special case. The case of two sided systems is also analyzed. In addition, a notion of eigenvalue in limit is considered. It is shown that one can construct a special semi-continuous regularized polynomial to find the eigenvalues of a matrix with nonnegative entries.
2020-10-08
A Note on Restricted Online Ramsey Numbers of Matchings
Published in Electronic Journal of Combinatorics (2021) Vol. 28 P3.16 • Search Publication
The restricted online Ramsey numbers were introduced by Conlon, Fox, Grinshpun and He in 2019. In a recent paper, Briggs and Cox studied the restricted online Ramsey numbers of matchings and determined a general upper bound for them. They proved that for $n=3r-1=R_2(r K_2)$ we have $\tilde{R}_{2}(r K_2;n) \leq n-1$ and asked whether this was tight. In this short note, we provide a general lower bound for these Ramsey numbers. As a corollary, we answer this question of Briggs and Cox, and confirm that for $n=3r-1$ we have $\tilde{R}_{2}(r K_2;n) = n-1$. We also show that for $n'=4r-2=R_3(r K_2)$ we have $\tilde{R}_{3}(r K_2;n') = 5r-4$.
2020-10-08
Rainbow Solutions to the Sidon Equation in Cyclic Groups
Published • View Publication • BIB
Given a coloring of group elements, a rainbow solution to an equation is a solution whose every element is assigned a different color. The rainbow number of $\mathbb{Z}_n$ for an equation $eq$, denoted $rb(\mathbb{Z}_n,eq)$, is the smallest number of colors $r$ such that every exact $r$-coloring of $\mathbb{Z}_n$ admits a rainbow solution to the equation $eq$. We prove that for every exact $4$-coloring of $\mathbb{Z}_p$, where $p\geq 3$ is prime, there exists a rainbow solution to the Sidon equation $x_1+x_2=x_3+x_4$. Furthermore, we determine the rainbow number of $\mathbb{Z}_n$ for the Sidon equation.
2020-10-08
Isometric and affine copies of a set in volumetric Helly results
Published • View Publication • BIB
We show that for any compact convex set $K$ in $\mathbb{R}^d$ and any finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$, if the intersection of every sufficiently small subfamily of $\mathcal{F}$ contains an isometric copy of $K$ of volume $1$, then the intersection of the whole family contains an isometric copy of $K$ scaled by a factor of $(1-\varepsilon)$, where $\varepsilon$ is positive and fixed in advance. Unless $K$ is very similar to a disk, the shrinking factor is unavoidable. We prove similar results for affine copies of $K$. We show how our results imply the existence of randomized algorithms that approximate the largest copy of $K$ that fits inside a given polytope $P$ whose expected runtime is linear on the number of facets of $P$.
New bounds on the size of Nearly Perfect Matchings in almost regular hypergraphs
Published in J. Lond. Math. Soc. (2), 108(5):1701-1746, 2023 • View Publication • BIB
Let $H$ be a $k$-uniform $D$-regular simple hypergraph on $N$ vertices. Based on an analysis of the Rödl nibble, Alon, Kim and Spencer (1997) proved that if $k \ge 3$, then $H$ contains a matching covering all but at most $ND^{-1/(k-1)+o(1)}$ vertices, and asked whether this bound is tight. In this paper we improve their bound by showing that for all $k > 3$, $H$ contains a matching covering all but at most $ND^{-1/(k-1)-η}$ vertices for some $η= Θ(k^{-3}) > 0$, when $N$ and $D$ are sufficiently large. Our approach consists of showing that the Rödl nibble process not only constructs a large matching but it also produces many well-distributed `augmenting stars' which can then be used to significantly improve the matching constructed by the Rödl nibble process. Based on this, we also improve the results of Kostochka and Rödl (1998) and Vu (2000) on the size of matchings in almost regular hypergraphs with small codegree. As a consequence, we improve the best known bounds on the size of large matchings in combinatorial designs with general parameters. Finally, we improve the bounds of Molloy and Reed (2000) on the chromatic index of hypergraphs with small codegree (which can be applied to improve the best known bounds on the chromatic index of Steiner triple systems and more general designs).
Signed Distance Laplacian Matrices for Signed Graphs
Published • View Publication • BIB
A signed graph is a graph whose edges are labeled either positive or negative. Corresponding to the two signed distance matrices defined for signed graphs, we define two signed distance laplacian matrices. We characterize balance in signed graphs using these matrices and find signed distance laplacian spectra of some classes of unbalanced signed graphs.
On ribbon graphs and virtual links
Published • View Publication • BIB
We introduce a new equivalence relation on decorated ribbon graphs, and show that its equivalence classes directly correspond to virtual links. We demonstrate how this correspondence can be used to convert any invariant of virtual links into an invariant of ribbon graphs, and vice versa.
2020-10-08
Raising type twisted Pieri formulas for Jack polynomials and their applications to interpolation Jack polynomials
Published • View Publication • BIB
We propose new Pieri type formulas for Jack polynomials, which is another kind of Pieri type formulas than the ones in the previous paper (G. Shibukawa, arXiv:2004.12875). From these new Pieri type formulas, we give yet another proof of difference and Pieri formulas for interpolation Jack polynomials. Further, we also generalize a falling type twisted Pieri formula to the binomial type polynomials including Jack and multivariate Bernoulli polynomials.
2020-10-08
Shadows of Cube Vertices
Published in The American Mathematical Monthly, Vol. 126 no. 7 pp. 655--656 (2019) • View Publication • BIB
Suppose that a finite-dimensional cube is orthogonally projected onto a central section of itself by a subspace of one dimension less. Up to dimension $9$, at least one vertex is projected onto the section, but for dimension $10$ or larger, there are orthogonal projections for which all the vertices are projected outside the section. In fact, this is the case for "most" orthogonal projections, as the dimension tends to infinity.
2020-10-07
The extremal graphs of order trees and their topological indices
Published • View Publication • BIB
Recently, D. Vuki$\check{c}$evi$\acute{c}$ and J. Sedlar in \cite{Vuki} introduced an order "$\preceq$" on $\mathcal{T}_n$, the set of trees on $n$ vertices, such that the topological index $F$ of a graph is a function defined on the order set $\langle\mathcal{T}_n,\preceq\rangle$. It provides a new approach to determine the extremal graphs with respect to topological index $F$. By using the method they determined the common maximum and/or minimum graphs of $\mathcal{T}_n$ with respect to topological indices of Wiener type and anti-Wiener type. Motivated by their researches we further study the order set $\langle\mathcal{T}_n,\preceq\rangle$ and give a criterion to determine its order, which enable us to get the common extremal graphs in four prescribed subclasses of $\langle\mathcal{T}_n,\preceq\rangle$. All these extremal graphs are confirmed to be the common maximum and/or minimum graphs with respect to the topological indices of Wiener type and anti-Wiener type. Additionally, we calculate the exact values of Wiener index for the extremal graphs in the order sets $\langle\mathcal{C}(n,k),\preceq\rangle$, $\langle\mathcal{T}_{n}(q),\preceq\rangle$ and $\langle\mathcal{T}_{n}^Δ,\preceq\rangle$.
2020-10-07
In how many distinct ways can flocks be formed? A problem in sheep combinatorics
In this short paper, we extend the concept of the strict order polynomial $Ω_{P}^{\circ}(n)$, which enumerates the number of strict order-preserving maps $φ:P\rightarrow\boldsymbol{n}$ for a poset $P$, to the extended strict order polynomial $\text{E}_{P}^{\circ}(n,z)$, which enumerates analogous maps for the elements of the power set $\mathcal{P}(P)$. The problem at hand immediately reduces to the problem of enumeration of linear extensions for the subposets of $P$. We show that for every $Q\subset P$ a given linear extension $v$ of $Q$ can be associated with a unique linear extension $w$ of $P$. The number of such linear extensions $v$ (of length $k$) associated with a given linear extension $w$ of $P$ can be expressed compactly as $\binom{\text{del}_{P}(w)}{k}$, where $\text{del}_{P}(w)$ is the number of deletable elements of $w$ defined in the text. Consequently the extended strict order polynomial $\text{E}_{P}^{\circ}(n,z)$ can be represented as $ \text{E}_{P}^{\circ}(n,z)=\sum_{w\in\mathcal{L}(P)}\sum_{k=0}^{p}\binom{\text{del}_{P}(w)}{p-k}\binom{n+\text{des}(w)}{k}z^{k}$. The derived equation can be used for example for solving the following combinatorial problem: Consider a community of $p$ shepherds, some of whom are connected by a master-apprentice relation (expressed as a poset $P$). Every morning, $k$ of the shepherds go out and each of them herds a flock of sheep. Community tradition stipulates that each of these $k$ shepherds will herd at least one and at most $n$ sheep, and an apprentice will always herd fewer sheep than his master (or his master's master, etc). In how many ways can the flocks be formed? The strict order polynomial answers this question for the case in which all $p$ shepherds go to work, and the extended strict order polynomial considers also all the situations in which some of the shepherds decide to take a day off.
2020-10-07
Some new bounds for the signless Laplacian energy of a graph
For a simple graph $G$ with $n$ vertices, $m$ edges and signless Laplacian eigenvalues $q_{1} \geq q_{2} \geq \cdots \geq q_{n} \geq 0$, its the signless Laplacian energy $QE(G)$ is defined as $QE(G) = \sum_{i=1}^{n}|q_{i} - \bar{d} |$, where $\bar{d} = \frac{2m}{n}$ is the average vertex degree of $G$. In this paper, we obtain two lower bounds ( see Theorem 3.1 and Theorem 3.2 ) and one upper bound for $QE(G)$ ( see Theorem 3.3 ), which improve some known bounds of $QE(G)$, and moreover, we determine the corresponding extremal graphs that achieve our bounds. By subproduct, we also get some bounds for $QE(G)$ of regular graph $G$.
Perfect state transfer in NEPS of complete graphs
Published • View Publication • BIB
Perfect state transfer in graphs is a concept arising from quantum physics and quantum computing. Given a graph $G$ with adjacency matrix $A_G$, the transition matrix of $G$ with respect to $A_G$ is defined as $H_{A_{G}}(t) = \exp(-\mathrm{i}tA_{G})$, $t \in \mathbb{R},\ \mathrm{i}=\sqrt{-1}$. We say that perfect state transfer from vertex $u$ to vertex $v$ occurs in $G$ at time $τ$ if $u \ne v$ and the modulus of the $(u,v)$-entry of $H_{A_G}(τ)$ is equal to $1$. If the moduli of all diagonal entries of $H_{A_G}(τ)$ are equal to $1$ for some $τ$, then $G$ is called periodic with period $τ$. In this paper we give a few sufficient conditions for NEPS of complete graphs to be periodic or exhibit perfect state transfer.
2020-10-07
Excellent graphs with respect to domination: subgraphs induced by minimum dominating sets
A graph $G=(V,E)$ is $γ$-excellent if $V$ is a union of all $γ$-sets of $G$, where $γ$ stands for the domination number. Let $\mathcal{I}$ be a set of all mutually nonisomorphic graphs and $\emptyset \not= \mathcal{H} \subsetneq \mathcal{I}$. In this paper we initiate the study of the $\mathcal{H}$-$γ$-excellent graphs, which we define as follows. A graph $G$ is $\mathcal{H}$-$γ$-excellent if the following hold: (i) for every $H \in \mathcal{H}$ and for each $x \in V(G)$ there exists an induced subgraph $H_x$ of $G$ such that $H$ and $H_x$ are isomorphic, $x \in V(H_x)$ and $V(H_x)$ is a subset of some $γ$-set of $G$, and (ii) the vertex set of every induced subgraph $H$ of $G$, which is isomorphic to some element of $\mathcal{H}$, is a subset of some $γ$-set of $G$. For each of some well known graphs, including cycles, trees and some cartesian products of two graphs, we describe its largest set $\mathcal{H} \subsetneq \mathcal{I}$ for which the graph is $\mathcal{H}$-$γ$-excellent. Results on $γ$-excellent regular graphs and a generalized lexicographic product of graphs are presented. Several open problems and questions are posed.
2020-10-07 v3
The structure of translational tilings in $\mathbb{Z}^d$
We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union of sets that are individually periodic in one direction), but present a counterexample of a higher level tiling of $\mathbb{Z}^2$ that fails to be weakly periodic. We also establish a quantitative version of the two-dimensional periodic tiling conjecture which asserts that any finite tile in $\mathbb{Z}^2$ that admits a tiling, must admit a periodic tiling, by providing a polynomial bound on the period; this also gives an exponential-type bound on the computational complexity of the problem of deciding whether a given finite subset of $\mathbb{Z}^2$ tiles or not. As a byproduct of our structural theory, we also obtain an explicit formula for a universal period for all tilings of a one-dimensional tile.
2020-10-07 v2
Long-range order in discrete spin systems
We establish long-range order for discrete nearest-neighbor spin systems on $\mathbb{Z}^d$ satisfying a certain symmetry assumption, when the dimension $d$ is higher than an explicitly described threshold. The results characterize all periodic, maximal-pressure Gibbs states of the system. The results further apply in low dimensions provided that the lattice $\mathbb{Z}^d$ is replaced by $\mathbb{Z}^{d_1}\times\mathbb{T}^{d_2}$ with $d_1\ge 2$ and $d=d_1+d_2$ sufficiently high, where $\mathbb{T}$ is a cycle of even length. Applications to specific systems are discussed in detail and models for which new results are provided include the antiferromagnetic Potts model, Lipschitz height functions, and the hard-core, Widom--Rowlinson and beach models and their multi-type extensions. We also establish a formula conjectured by Jenssen and Keevash for the topological pressure in the high-dimensional limit.