polynomial
11184 papers tagged with this keyword
Parametric kinds of generalized Apostol-Bernoulli polynomials and their properties
The purpose of this paper is to define generalized Apostol--Bernoulli polynomials with including a new cosine and sine parametric type of generating function using the quasi-monomiality properties and trigonometric functions. In this study, the Apostol-Bernoulli polynomials with three variable are defined with two new generating functions cosine and sine parameters. Then, we investigate multiplicative and derivative operators, diffrential equations, some summation formulas and partial differential equations for these polynomials. Moreover, we introduce Gould--Hopper--Apostol--Bernoulli type polynomials, Hermite--Appell--Apostol--Bernoulli type polynomials and truncated exponential Apostol--Bernoulli type polynomials. Finally, the special cases of these new polynomials are investigated, and the corresponding results are expressed.
Human-verifiable proofs in the theory of word-representable graphs
Published
• View Publication
• BIB
A graph is word-representable if it can be represented in a certain way using alternation of letters in words. Word-representable graphs generalise several important and well-studied classes of graphs, and they can be characterised by semi-transitive orientations. Recognising word-representability is an NP-complete problem, and the bottleneck of the theory of word-representable graphs is convincing someone that a graph is non-word-representable, keeping in mind that references to (even publicly available and user-friendly) software are not always welcome. (Word-representability can be justified by providing a semi-transitive orientation as a certificate that can be checked in polynomial time.)
In the literature, a variety of (usually ad hoc) proofs of non-word-representability for particular graphs, or families of graphs, appear, but for a randomly selected graph, one should expect looking at O(2^{#{edges}}) orientations and justifying that none of them is semi-transitive.
In this paper, we develop methods for an automatic search of human-verifiable proofs of graph non-word-representability. As a proof-of-concept, we provide ``short'' proofs of non-word-representability, generated automatically by our publicly available user-friendly software, of the Shrikhande graph on 16 vertices and 48 edges (6 ``lines'' of proof) and the Clebsch graph on 16 vertices and 40 edges (10 ``lines'' of proof). As a bi-product of our studies, we correct two mistakes published multiple times (two graphs out of the 25 non-word-representable graphs on 7 vertices were actually word-representable, while two non-word-representable graphs on 7 vertices were missing).
Polynomials over structured grids
Published in Combinatorics, Probability and Computing 32 (2023), no. 2, 284--298
• View Publication
• BIB
We study multivariate polynomials over `structured' grids. We begin by proposing an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend several results--notably, the Combinatorial Nullstellensatz and the Coefficient Theorem--to polynomials over structured grids. The main point is that the structure of a grid allows the degree constraints on polynomials to be relaxed.
DP-Coloring Cartesian Products of Graphs
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvořák and Postle in 2015. Motivated by results related to list coloring Cartesian products of graphs, we initiate the study of the DP-chromatic number, $χ_{DP}$, of the same. We show that $χ_{DP}(G \square H) \leq \text{min}\{χ_{DP}(G) + \text{col}(H), χ_{DP}(H) + \text{col}(G) \} - 1$ where $\text{col}(H)$ is the coloring number of the graph $H$. We focus on building tools for lower bound arguments for $χ_{DP}(G \square H)$ and use them to show the sharpness of the bound above and its various forms. Our results illustrate that the DP color function of $G$, the DP analogue of the chromatic polynomial, is essential in the study of the DP-chromatic number of the Cartesian product of graphs, including the following question that extends the sharpness problem above and the classical result on gap between list chromatic number and chromatic number: given any graph $G$ and $k \in \mathbb{N}$, what is the smallest $t$ for which $χ_{DP}(G \square K_{k,t})= χ_{DP}(G) + k$?
Poincaré Polynomials of Odd Diagram Classes
Published
• View Publication
• BIB
An odd diagram class is a set of permutations with the same odd diagram. Brenti, Carnevale and Tenner showed that each odd diagram class is an interval in the Bruhat order. They conjectured that such intervals are rank-symmetric. In this paper, we present an algorithm to partition an odd diagram class in a uniform manner. As an application, we obtain that the Poincaré polynomial of an odd diagram class factors into polynomials of the form $1+t+\cdots+t^m$. This in particular resolves the conjecture of Brenti, Carnevale and Tenner.
Matching forcing polynomial of generalized Petersen graph GP(n, 2)
Harary et al. and Klein and Randic proposed the forcing number of a perfect matching in mathematics and chemistry, respectively. In detail, the forcing number of a perfect matching M of a graph G is the smallest cardinality of subsets of M that are contained in no other perfect matchings of G. The author and cooperators defined the forcing polynomial of G as the count polynomial for perfect matchings with the same forcing number of G, from which the average forcing number, forcing spectrum, and the maximum and minimum forcing numbers of G can be obtained. Up to now, a few papers have been considered on matching forcing problem of non-plane non-bipartite graphs. In this paper, we investigate the forcing polynomials of generalized Petersen graphs GP(n, 2) for n = 5, 6, . . . , 15, which is a typical class of non-plane non-bipartite graph.
Polynomial removal lemmas for ordered graphs
Published
• View Publication
• BIB
A recent result of Alon, Ben-Eliezer and Fischer establishes an induced removal lemma for ordered graphs. That is, if $F$ is an ordered graph and $\varepsilon>0$, then there exists $δ_{F}(\varepsilon)>0$ such that every $n$-vertex ordered graph $G$ containing at most $δ_{F}(\varepsilon) n^{v(F)}$ induced copies of $F$ can be made induced $F$-free by adding/deleting at most $\varepsilon n^2$ edges. We prove that $δ_{F}(\varepsilon)$ can be chosen to be a polynomial function of $\varepsilon$ if and only if $|V(F)|=2$, or $F$ is the ordered graph with vertices $x<y<z$ and edges $\{x,y\},\{x,z\}$ (up to complementation and reversing the vertex order). We also discuss similar problems in the non-induced case.
The root distributions of Ehrhart polynomials of free sums of reflexive polytopes
Published
• View Publication
• BIB
In this paper, we study the root distributions of Ehrhart polynomials of free sums of certain reflexive polytopes. We investigate cases where the roots of the Ehrhart polynomials of the free sums of $A_d^\vee$'s or $A_d$'s lie on the canonical line $\mathrm{Re}(z)=-\frac{1}{2}$ on the complex plane $\mathbb{C}$, where $A_d$ denotes the root polytope of type A of dimension $d$ and $A_d^\vee$ denotes its polar dual. For example, it is proved that $A_m^\vee \oplus A_n^\vee$ with $\min\{m,n\} \leq 1$ or $m+n \leq 7$, $A_2^\vee \oplus (A_1^\vee)^{\oplus n}$ and $A_3^\vee \oplus (A_1^\vee)^{\oplus n}$ for any $n$ satisfy this property. We also perform computational experiments for other types of free sums of $A_n^\vee$'s or $A_n$'s.
Representation theory and the diagonal coinvariant ring of the type B Weyl group
Published
• View Publication
• BIB
We explain how to use representation theory to give a lower bound on the dimension of the quotient ring by type $B_n$ diagonal invariants that improves upon the current known lower bound $(2n+1)^n$ by a quadratic polynomial in $n$.
Non-chromatic-adherence of the DP Color Function via Generalized Theta Graphs
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that has been widely studied in recent years after its introduction by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an extensively studied notion in combinatorics since its introduction by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of the chromatic polynomial have been introduced and studied for list colorings: $P_{\ell}$, the list color function (1990); DP colorings: $P_{DP}$, the DP color function (2019), and $P^*_{DP}$, the dual DP color function (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. A function $f$ is chromatic-adherent if for every graph $G$, $f(G,a) = P(G,a)$ for some $a \geq χ(G)$ implies that $f(G,m) = P(G,m)$ for all $m \geq a$. It is not known if the list color function and the DP color function are chromatic-adherent. We show that the DP color function is not chromatic-adherent by studying the DP color function of Generalized Theta graphs. The tools we develop along with the Rearrangement Inequality give a new method for determining the DP color function of all Theta graphs and the dual DP color function of all Generalized Theta graphs.
Taylor's series expansions for real powers of functions containing squares of inverse (hyperbolic) cosine functions, explicit formulas for special partial Bell polynomials, and series representations for powers of circular constant
Published in Demonstratio Mathematica Vol. 55, no. 1, pp. 710--736 (2022)
• View Publication
• BIB
In the paper, by virtue of expansions of two finite products of finitely many square sums, with the aid of series expansions of composite functions of (hyperbolic) sine and cosine functions with inverse sine and cosine functions, and in the light of properties of partial Bell polynomials, the author establishes Taylor's series expansions of real powers of two functions containing squares of inverse (hyperbolic) cosine functions in terms of the Stirling numbers of the first kind, presents an explicit formula of specific partial Bell polynomials at a sequence of derivatives of a function containing the square of inverse cosine function, derives several combinatorial identities involving the Stirling numbers of the first kind, demonstrates several series representations of the circular constant Pi and its real powers, recovers series expansions of positive integer powers of inverse (hyperbolic) sine functions in terms of the Stirling numbers of the first kind, and also deduces other useful, meaningful, and significant conclusions.
Two Disjoint Alternating Paths in Bipartite Graphs
A bipartite graph B is called a brace if it is connected and every matching of size at most two in B is contained in some perfect matching of B and a cycle C in B is called conformal if B-V(C) has a perfect matching. We show that there do not exist two disjoint alternating paths that form a cross over a conformal cycle C in a brace B if and only if one can reduce B, by an application of a matching theoretic analogue of small clique sums, to a planar brace H in which C bounds a face. We then utilise this result and provide a polynomial time algorithm which solves the 2-linkage problem for alternating paths in bipartite graphs with perfect matchings.
Wronskians, total positivity, and real Schubert calculus
Published in Selecta Math. (N.S.) 30 (2024), no. 1, Paper No. 1, 28 pages
• View Publication
• BIB
A complete flag in $\mathbb{R}^n$ is a sequence of nested subspaces $V_1 \subset \cdots \subset V_{n-1}$ such that each $V_k$ has dimension $k$. It is called totally nonnegative if all its Plücker coordinates are nonnegative. We may view each $V_k$ as a subspace of polynomials in $\mathbb{R}[x]$ of degree at most $n-1$, by associating a vector $(a_1, \dots, a_n)$ in $\mathbb{R}^n$ to the polynomial $a_1 + a_2x + \cdots + a_nx^{n-1}$. We show that a complete flag is totally nonnegative if and only if each of its Wronskian polynomials $\mathsf{Wr}(V_k)$ is nonzero on the interval $(0, \infty)$. In the language of Chebyshev systems, this means that the flag forms a Markov system or $ECT$-system on $(0, \infty)$. This gives a new characterization and membership test for the totally nonnegative flag variety. Similarly, we show that a complete flag is totally positive if and only if each $\mathsf{Wr}(V_k)$ is nonzero on $[0, \infty]$. We use these results to show that a conjecture of Eremenko (2015) in real Schubert calculus is equivalent to the following conjecture: if $V$ is a finite-dimensional subspace of polynomials such that all complex zeros of $\mathsf{Wr}(V)$ lie in the interval $(-\infty, 0)$, then all Plücker coordinates of $V$ are real and positive. This conjecture is a totally positive strengthening of a result of Mukhin, Tarasov, and Varchenko (2009), and can be reformulated as saying that all complex solutions to a certain family of Schubert problems in the Grassmannian are real and totally positive. We also show that our conjecture is equivalent to a totally positive version of the secant conjecture of Sottile (2003).
Scattering diagrams for generalized cluster algebras
Published in Alg. Number Th. 18 (2024) 2179-2246
• View Publication
• BIB
We construct scattering diagrams for Chekhov-Shapiro's generalized cluster algebras where exchange polynomials are factorized into binomials, generalizing the cluster scattering diagrams of Gross, Hacking, Keel and Kontsevich. They turn out to be natural objects arising in Fock and Goncharov's cluster duality. Analogous features and structures (such as positivity and the cluster complex structure) in the ordinary case also appear in the generalized situation. With the help of these scattering diagrams, we show that generalized cluster variables are theta functions and hence have certain positivity property with respect to the coefficients in the binomial factors.
Stochastic Matrices Realising the Boundary of the Karpelevi\v c Region
Published
• View Publication
• BIB
A celebrated result of Karpelevi\v c describes $Θ_n,$ the collection of all eigenvalues arising from the stochastic matrices of order $n.$ The boundary of $Θ_n$ consists of roots of certain one-parameter families of polynomials, and those polynomials are naturally associated with the so--called reduced Ito polynomials of Types 0, I, II and III.
In this paper we explicitly characterise all $n \times n$ stochastic matrices whose characteristic polynomials are of Type 0 or Type I, and all sparsest stochastic matrices of order $n$ whose characteristic polynomials are of Type II or Type III. The results provide insights into the structure of stochastic matrices having extreme eigenvalues.
Exotic series with Bernoulli, harmonic, Catalan, and Stirling numbers
In this paper, we present a formula for generating various exotic series in the spirit of Ovidiu Furdui and Alina Sintamarian. Our new series (evaluated in closed form) involve Bernoulli, harmonic, and Catalan numbers. Also Stirling numbers of the second kind, other special numbers, and exponential polynomials. The results include series identities with Laguerre polynomials and derangement polynomials.
Unimodality and monotonic portions of certain domination polynomials
Published
• View Publication
• BIB
Given a simple graph $G$ on $n$ vertices, a subset of vertices $U \subseteq V(G)$ is dominating if every vertex of $V(G)$ is either in $U$ or adjacent to a vertex of $U$. The domination polynomial of $G$ is the generating function whose coefficients are the number of dominating sets of a given size. We show that the domination polynomial is unimodal, i.e., the coefficients are non-decreasing and then non-increasing, for several well-known families of graphs. In particular, we prove unimodality for spider graphs with at most $400$ legs (of arbitrary length), lollipop graphs, arbitrary direct products of complete graphs, and Cartesian products of two complete graphs. We show that for every graph, a portion of the coefficients are non-increasing, where the size of the portion depends on the upper domination number, and in certain cases this is sufficient to prove unimodality. Furthermore, we study graphs with $m$ universal vertices, i.e., vertices adjacent to every other vertex, and show that the last $(\frac{1}{2} - \frac{1}{2^{m+1}}) n$ coefficients of their domination polynomial are non-increasing.
Cyclic Base Ordering of Graphs
Published
• View Publication
• BIB
A cyclic base ordering of a connected graph $G$, is a cyclic ordering of $E(G)$ such that every cyclically consecutive $|V(G)|-1$ edges form a spanning tree. In this project, we study cyclic base ordering of various families of graphs, including square of cycles, wheel graphs, generalized wheel graphs and broken wheel graphs, fan and broken fan graphs, prism graphs, and maximal 2-degenerate graphs. We also provide a polynomial time algorithm to verify any giving edge ordering is a cyclic base ordering.
Set-valued tableaux rule for Lascoux polynomials
Published
• View Publication
• BIB
Lascoux polynomials generalize Grassmannian stable Grothendieck polynomials and may be viewed as K-theoretic analogs of key polynomials. The latter two polynomials have combinatorial formulas involving tableaux: Lascoux and Schützenberger gave a combinatorial formula for key polynomials using right keys; Buch gave a set-valued tableau formula for Grassmannian stable Grothendieck polynomials. We establish a novel combinatorial rule for Lascoux polynomials involving right keys and set-valued tableaux. Our rule recovers the tableaux formulas of key polynomials and Grassmannian stable Grothendieck polynomials. To prove our rule, we construct a new abstract Kashiwara crystal structure on set-valued tableaux. This construction answers an open problem of Monical, Pechenik and Scrimshaw in the context of abstract Kashiwara crystal.
Spanning hypertrees, vertex tours and meanders
Published
• View Publication
• BIB
This paper revisits the notion of a spanning hypertree of a hypermap introduced by one of its authors and shows that it allows to shed new light on a very diverse set of recent results. The tour of a map along one of its spanning trees used by Bernardi may be generalized to hypermaps and we show that it is equivalent to a dual tour described by Cori and Mach\`ı. We give a bijection between the spanning hypertrees of the reciprocal of the plane graph with $2$ vertices and $n$ parallel edges and the meanders of order $n$ and a bijection of the same kind between semimeanders of order $n$ and spanning hypertrees of the reciprocal of a plane graph with a single vertex and $n/2$ nested edges. We introduce hyperdeletions and hypercontractions in a hypermap which allow to count the spanning hypertrees of a hypermap recursively, and create a link with the computation of the Tutte polynomial of a graph. Having a particular interest in hypermaps which are reciprocals of maps, we generalize the reduction map introduced by Franz and Earnshaw to enumerate meanders to a reduction map that allows the enumeration of the spanning hypertrees of such hypermaps.