arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Topological recursion for Kadomtsev-Petviashvili tau functions of hypergeometric type
Published in Journal of the London Mathematical Society, Volume 109, Issue 6 (2024), e12946 • View Publication • BIB
We study the $n$-point differentials corresponding to Kadomtsev-Petviashvili tau functions of hypergeometric type (also known as Orlov-Scherbin partition functions), with an emphasis on their $\hbar^2$-deformations and expansions. Under the naturally required analytic assumptions, we prove certain higher loop equations that, in particular, contain the standard linear and quadratic loop equations, and thus imply the blobbed topological recursion. We also distinguish two large families of the Orlov-Scherbin partition functions that do satisfy the natural analytic assumptions, and for these families we prove in addition the so-called projection property and thus the full statement of the Chekhov-Eynard-Orantin topological recursion. A particular feature of our argument is that it clarifies completely the role of $\hbar^2$-deformations of the Orlov-Scherbin parameters for the partition functions, whose necessity was known from a variety of earlier obtained results in this direction but never properly understood in the context of topological recursion. As special cases of the results of this paper one recovers new and uniform proofs of the topological recursion to all previously studied cases of enumerative problems related to weighted double Hurwitz numbers. By virtue of topological recursion and the Grothendieck-Riemann-Roch formula this, in turn, gives new and uniform proofs of almost all ELSV-type formulas discussed in the literature.
2020-12-29 v2
On Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes
Published • View Publication • BIB
In [3], Hanaki defined the Terwilliger algebras of association schemes over a commutative unital ring. In this paper, we call the Terwilliger algebras of association schemes over a field $\mathbb{F}$ the Terwilliger $\mathbb{F}$-algebras of association schemes and study the Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes. As main results, we determine the $\mathbb{F}$-dimensions, the semisimplicity, the Jacobson radicals, and the algebraic structures of the Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes. We also get some results with independent interests.
2020-12-29 v2
Linearized trinomials with maximum kernel
Published • View Publication • BIB
Linearized polynomials have attracted a lot of attention because of their applications in both geometric and algebraic areas. Let $q$ be a prime power, $n$ be a positive integer and $σ$ be a generator of $\mathrm{Gal}(\mathbb{F}_{q^n}\colon\mathbb{F}_q)$. In this paper we provide closed formulas for the coefficients of a $σ$-trinomial $f$ over $\mathbb{F}_{q^n}$ which ensure that the dimension of the kernel of $f$ equals its $σ$-degree, that is linearized polynomials with maximum kernel. As a consequence, we present explicit examples of linearized trinomials with maximum kernel and characterize those having $σ$-degree $3$ and $4$. Our techniques rely on the tools developed in [24]. Finally, we apply these results to investigate a class of rank metric codes introduced in [8], to construct quasi-subfield polynomials and cyclic subspace codes, obtaining new explicit constructions to the conjecture posed in [37].
Binomial edge ideals of small depth
Published • View Publication • BIB
Let $G$ be a graph on $[n]$ and $J_G$ be the binomial edge ideal of $G$ in the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$. In this paper we investigate some topological properties of a poset associated to the minimal primary decomposition of $J_G$. We show that this poset admits some specific subposets which are contractible. This in turn, provides some interesting algebraic consequences. In particular, we characterize all graphs $G$ for which $\mathrm{depth}\hspace{1.2mm} S/J_G=4$.
2020-12-29
New integral formulas and identities involving special numbers and functions derived from certain class of special combinatorial sums
Published in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas 115, Article number: 66 (2021) • View Publication • BIB
By applying p-adic integral on the set of p-adic integers in [27] (Interpolation Functions for New Classes Special Numbers and Polynomials via Applications of p-adic Integrals and Derivative Operator, Montes Taurus J. Pure Appl. Math. 3 (1), ...--..., 2021 Article ID: MTJPAM-D-20-00000), we constructed generating function for the special numbers and polynomials involving the following combinatorial sum and numbers: y(n,λ)=\sum_{j=0}^{n}\frac{(-1)^{n}}{(j+1)λ^{j+1}\left(λ-1\right) ^{n+1-j}} The aim of this paper is to use the numbers y(n,λ) to derive some new and novel identities and formulas associated with the Bernstein basis functions, the Fibonacci numbers, the Harmonic numbers, the alternating Harmonic numbers, binomial coefficients and new integral formulas for the Riemann integral. We also investigate and study on open problems involving the numbers y(n,λ) in [27]. Moreover, we give relation among the numbers y(n,(1/2)), the Digamma function, and the Euler constant. Finally, we give conclusions for the results of this paper with some comments and observations.
Colored Motzkin Paths of Higher Order
Motzkin paths of order-$\ell$ are a generalization of Motzkin paths that use steps $U=(1,1)$, $L=(1,0)$, and $D_i=(1,-i)$ for every positive integer $i \leq \ell$. We further generalize order-$\ell$ Motzkin paths by allowing for various coloring schemes on the edges of our paths. These $(\vecα,\vecβ)$-colored Motzkin paths may be enumerated via proper Riordan arrays, mimicking the techniques of Aigner in his treatment of Catalan-like numbers. After an investigation of their associated Riordan arrays, we develop bijections between $(\vecα,\vecβ)$-colored Motzkin paths and a variety of well-studied combinatorial objects. Specific coloring schemes $(\vecα,\vecβ)$ allow us to place $(\vecα,\vecβ)$-colored Motzkin paths in bijection with different subclasses of generalized $k$-Dyck paths, including $k$-Dyck paths that remain weakly above horizontal lines $y=-a$, $k$-Dyck paths whose peaks all have the same height modulo-$k$, and Fuss-Catalan generalizations of Fine paths. A general bijection is also developed between $(\vecα,\vecβ)$-colored Motzkin paths and certain subclasses of $k$-ary trees.
2020-12-29 v3
Uncrowding algorithm for hook-valued tableaux
Published in Annals of Combinatorics 26 (2022), 261-301 • View Publication • BIB
Whereas set-valued tableaux are the combinatorial objects associated to stable Grothendieck polynomials, hook-valued tableaux are associated to stable canonical Grothendieck polynomials. In this paper, we define a novel uncrowding algorithm for hook-valued tableaux. The algorithm "uncrowds" the entries in the arm of the hooks and yields a set-valued tableau and a column-flagged increasing tableau. We prove that our uncrowding algorithm intertwines with crystal operators. An alternative uncrowding algorithm that "uncrowds" the entries in the leg instead of the arm of the hooks is also given. As an application of uncrowding, we obtain various expansions of the canonical Grothendieck polynomials.
Homological and combinatorial aspects of virtually Cohen--Macaulay sheaves
Published • View Publication • BIB
When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which capture desirable geometric information and are also amenable to algebraic and combinatorial study. The theory of virtual resolutions includes a notion of a virtually Cohen--Macaulay property, though tools for assessing which modules are virtually Cohen--Macaulay have only recently started to be developed. In this paper, we continue this research program in two related ways. The first is that, when $X$ is a product of projective spaces, we produce a large new class of virtually Cohen--Macaulay Stanley--Reisner rings, which we show to be virtually Cohen--Macaulay via explicit constructions of appropriate virtual resolutions reflecting the underlying combinatorial structure. The second is that, for an arbitrary smooth projective toric variety $X$, we develop homological tools for assessing the virtual Cohen--Macaulay property. Some of these tools give exclusionary criteria, and others are constructive methods for producing suitably short virtual resolutions. We also use these tools to establish relationships among the arithmetically, geometrically, and virtually Cohen--Macaulay properties.
2020-12-28
On traceable iterated line graph and hamiltonian path index
Xiong and Liu [L. Xiong and Z. Liu, Hamiltonian iterated line graphs, Discrete Math. 256 (2002) 407-422] gave a characterization of the graphs $G$ for which the $n$-th iterated line graph $L^n(G)$ is hamiltonian, for $n\ge2$. In this paper, we study the existence of a hamiltonian path in $L^n(G)$, and give a characterization of $G$ for which $L^n(G)$ has a hamiltonian path. As applications, we use this characterization to give several upper bounds on the hamiltonian path index of a graph.
2020-12-28
A Hoffman's Theorem: a revisit with new discovery
In 1972, A. J. Hoffman proved his celebrated theorem concerning the limit points of spectral radii of non-negative symmetric integral matrices less than $\sqrt{2+\sqrt{5}}$. In this paper, after giving a new version of Hoffman's theorem, we get two generalized versions of it applicable to non-negative symmetric matrices with fractional elements. As a corollary, we obtain another alternative version about the limit points of spectral radii of (signless) Laplacian matrices of graphs less than $2+ {\tiny \frac{{\;}1{\;}}{3}\left((54 - 6\sqrt{33})^{\frac{{\;}1{\;}}{3}} + (54 + 6\sqrt{33})^{\frac{{\;} 1{\;}}{3}} \right)}$. We also discuss how our approach could be fruitfully employed to investigate equiangular lines.
2020-12-28 v2
The graph energy game
Published • View Publication • BIB
We study the graph energy from a cooperative game viewpoint. We introduce \emph{the graph energy game} and show various properties. In particular, we see that it is a superadditive game and that the energy of a vertex, as defined in Arizmendi and Juarez-Romero (2018), belongs to the core of the game. These properties imply new bounds for the energy of graphs. We also consider a version based on $p$-Schatten norms.
2020-12-28
Almost all permutation matrices have bounded saturation functions
Published • View Publication • BIB
Saturation problems for forbidden graphs have been a popular area of research for many decades, and recently Brualdi and Cao initiated the study of a saturation problem for 0-1 matrices. We say that 0-1 matrix $A$ is saturating for the forbidden 0-1 matrix $P$ if $A$ avoids $P$ but changing any zero to a one in $A$ creates a copy of $P$. Define $sat(n, P)$ to be the minimum possible number of ones in an $n \times n$ 0-1 matrix that is saturating for $P$. Fulek and Keszegh proved that for every 0-1 matrix $P$, either $sat(n, P) = O(1)$ or $sat(n, P) = Θ(n)$. They found two 0-1 matrices $P$ for which $sat(n, P) = O(1)$, as well as infinite families of 0-1 matrices $P$ for which $sat(n, P) = Θ(n)$. Their results imply that $sat(n, P) = Θ(n)$ for almost all $k \times k$ 0-1 matrices $P$. Fulek and Keszegh conjectured that there are many more 0-1 matrices $P$ such that $sat(n, P) = O(1)$ besides the ones they found, and they asked for a characterization of all permutation matrices $P$ such that $sat(n, P) = O(1)$. We affirm their conjecture by proving that almost all $k \times k$ permutation matrices $P$ have $sat(n, P) = O(1)$. We also make progress on the characterization problem, since our proof of the main result exhibits a family of permutation matrices with bounded saturation functions.
2020-12-28 v3
Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces II: naturality
Published • View Publication • BIB
In a companion paper (arXiv 2011.01768), we constructed nonnegative integer coordinates $Φ_\mathscr{T}(\mathscr{W}_{3, \hat{S}}) \subset \mathbb{Z}_{\geq 0}^N$ for the collection $\mathscr{W}_{3, \hat{S}}$ of reduced $\mathrm{SL}_3$-webs on a finite-type punctured surface $\hat{S}$, depending on an ideal triangulation $\mathscr{T}$ of $\hat{S}$. We show that these coordinates are natural with respect to the choice of triangulation, in the sense that if a different triangulation $\mathscr{T}^\prime$ is chosen, then the coordinate change map relating $Φ_\mathscr{T}(\mathscr{W}_{3, \hat{S}})$ to $Φ_{\mathscr{T}^\prime}(\mathscr{W}_{3, \hat{S}})$ is a tropical $\mathcal{A}$-coordinate cluster transformation. We can therefore view the webs $\mathscr{W}_{3, \hat{S}}$ as a concrete topological model for the Fock-Goncharov-Shen positive integer tropical points $\mathcal{A}_{\mathrm{PGL}_3, \hat{S}}^+(\mathbb{Z}^t)$.
2020-12-28 v2
Enumeration of planar constellations with an alternating boundary
Published in The Electronic Journal of Combinatorics 28(3) (2021) #P3.21 • View Publication • BIB
A planar hypermap with a boundary is defined as a planar map with a boundary, endowed with a proper bicoloring of the inner faces. The boundary is said alternating if the colors of the incident inner faces alternate along its contour. In this paper we consider the problem of counting planar hypermaps with an alternating boundary, according to the perimeter and to the degree distribution of innerfaces of each color. The problem is translated into a functional equation with a catalytic variable determining the corresponding generating function. In the case of constellations - hypermaps whose all inner faces of a given color have degree $m\geq 2$, and whose all other inner faces have a degree multiple of $m$ - we completely solve the functional equation, and show that the generating function is algebraic and admits an explicit rational parametrization. We finally specialize to the case of Eulerian triangulations - hypermaps whose all inner faces have degree $3$ - and compute asymptotics which are needed in another work by the second author, to prove the convergence of rescaled planar Eulerian triangulations to the Brownian map.
2020-12-28 v2
Automorphism groups of graphs of bounded Hadwiger number
Published in Advances in Combinatorics 2025:9, 39pp • View Publication • BIB
We determine the structure of automorphism groups of finite graphs of bounded Hadwiger number. Our proof includes a structural analysis of finite edge-transitive graphs. In particular, we show that for connected, $K_{h+1}$-minor-free, edge-transitive, twin-free, finite graphs the non-abelian composition factors of the automorphism group have bounded order. We use this to show that the automorphism groups of finite graphs of bounded Hadwiger number are obtained by repeated group extensions using abelian groups, symmetric groups and groups of bounded order.
2020-12-28 v2
A local injective proof of log-concavity for increasing spanning forests
Published • View Publication • BIB
We give an explicit combinatorial proof of a weighted version of strong log-concavity for the generating polynomial of increasing spanning forests of a finite simple graph equipped with a total ordering of the vertices. In contrast to similar proofs in the literature, our injection is local in the sense that it proceeds by moving a single edge from one forest to the other. In the particular case of the complete graph, this gives a new combinatorial proof of log-concavity of unsigned Stirling numbers of the first kind where a pair of permutations is transformed into a new pair by breaking a single cycle in the first permutation and gluing two cycles in the second permutation, while all the other spectator cycles are left untouched.
2020-12-28 v2
A complete characterization of $(f_0, f_1)$-pairs of 6-polytopes
We completely characterize the first two entries, namely the $(f_0, f_1)$-vector pairs, for $6$-dimension polytopes. We also find the characterization for $7$-dimension polytopes with excess degree greater than $11$ and, we conjecture bounds fulfilled by $(f_0, f_1)$-vector pairs for any $d$-polytope having an excess degree greater than $3d-10$.
2020-12-28 v2
Linked partition ideals and Euclidean billiard partitions
Published • View Publication • BIB
Euclidean billiard partitions were recently introduced by Andrews, Dragovic and Radnovic in their study of periodic trajectories of ellipsoidal billiards in the Euclidean space. They are integer partitions into distinct parts such that (E1) adjacent parts are never both odd; (E2) the smallest part is even. By refining the framework of linked partition ideals, we establish a couple of relevant trivariate generating function identities, from which the result of Andrews, Dragovic and Radnovic follows as an immediate consequence.
2020-12-28 v2
Zero-Sum Triangles for Involutory, Idempotent, Nilpotent and Unipotent Matrices
Published • View Publication • BIB
In some matrix formations, factorizations and transformations, we need special matrices with some properties and we wish that such matrices should be easily and simply generated and of integers. In this paper, we propose a zero-sum rule for the recurrence relations to construct integer triangles as triangular matrices with involutory, idempotent, nilpotent and unipotent properties, especially nilpotent and unipotent matrices of index 2. With the zero-sum rule we also give the conditions for the special matrices and the generic methods for the generation of those special matrices. The generated integer triangles are mostly newly discovered, and more combinatorial identities can be found with them.
Maximum entropy and integer partitions
Published • View Publication • BIB
We derive asymptotic formulas for the number of integer partitions with given sums of $j$th powers of the parts for $j$ belonging to a finite, non-empty set $J \subset \mathbb N$. The method we use is based on the `principle of maximum entropy' of Jaynes. This principle leads to an intuitive variational formula for the asymptotics of the logarithm of the number of constrained partitions as the solution to a convex optimization problem over real-valued functions.