Showing 20 papers (Total: 82505 papers, 47699 authors in database)
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.
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.
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.
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.
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.
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.
Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces II: naturality
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)$.
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.
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.
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.
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$.
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.
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.
Lines in the plane with the $L_1$ metric
Published
• View Publication
• BIB
A well-known theorem in plane geometry states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}.
In this paper, we prove that in the plane with the $L_1$ (also called Manhattan) metric, a non-collinear set of $n$ points induces at least $\lceil n/2\rceil$ lines. This is an improvement of the previous lower bound of $n/37$, with substantially different proof. As a consequence, we also get the same lower bound for non-collinear point sets in the plane with the $L_{\infty}$ metric.
Trivial colors in colorings of Kneser graphs
Published
• View Publication
• BIB
We show that any proper coloring of a Kneser graph $KG_{n,k}$ with $n-2k+2$ colors contains a trivial color (i.e., a color consisting of sets that all contain a fixed element), provided $n>(2+\varepsilon)k^2$, where $\varepsilon\to 0$ as $k\to \infty$. This bound is essentially tight. This is a consequence of a more general result on the minimum number of non-trivial colors needed to properly color $KG_{n,k}$.
Gelfand $W$-graphs for classical Weyl groups
Published in J. Algebra 609 (2022), 292-336
• View Publication
• BIB
A Gelfand model for an algebra is a module given by a direct sum of irreducible submodules, with every isomorphism class of irreducible modules represented exactly once. We introduce the notion of a perfect model for a finite Coxeter group, which is a certain set of discrete data (involving Rains and Vazirani's concept of a perfect involution) that parametrizes a Gelfand model for the associated Iwahori-Hecke algebra. We describe perfect models for all classical Weyl groups, excluding type D in even rank. The representations attached to these models simultaneously generalize constructions of Adin, Postnikov, and Roichman (from type A to other classical types) and of Araujo and Bratten (from group algebras to Iwahori-Hecke algebras). We show that each Gelfand model derived from a perfect model has a canonical basis that gives rise to a pair of related $W$-graphs, which we call Gelfand $W$-graphs. For types BC and D, we prove that these $W$-graphs are dual to each other, a phenomenon which does not occur in type A.
Some conditions from a finite regular semigroup to a finite inverse semigroup
In 1978, Munn proved that a bounded complex representation of an inverse semigroup is semiunitary and completely reducible. We consider the converse question in the finite case. We provide some sufficient conditions from a finite regular semigroup to a finite inverse semigroup.