polynomial
11432 papers tagged with this keyword
Enumerating minimal dominating sets in the (in)comparability graphs of bounded dimension posets
Published
• View Publication
• BIB
Enumerating minimal transversals in a hypergraph is a notoriously hard problem. It can be reduced to enumerating minimal dominating sets in a graph, in fact even to enumerating minimal dominating sets in an incomparability graph. We provide an output-polynomial time algorithm for incomparability graphs whose underlying posets have bounded dimension. Through a different proof technique, we also provide an output-polynomial algorithm for their complements, i.e., for comparability graphs of bounded dimension posets.
Our algorithm for incomparability graphs is based on flashlight search and relies on the geometrical representation of incomparability graphs with bounded dimension, as given by Golumbic et al. in 1983. It runs with polynomial delay and only needs polynomial space. Our algorithm for comparability graphs is based on the flipping method introduced by Golovach et al. in 2015. It performs in incremental-polynomial time and requires exponential space.
In addition, we show how to improve the flipping method so that it requires only polynomial space. Since the flipping method is a key tool for the best known algorithms enumerating minimal dominating sets in a number of graph classes, this yields direct improvements on the state of the art.
Factorization statistics and bug-eyed configuration spaces
Published in Geom. Topol. 25 (2021) 3691-3723
• View Publication
• BIB
A recent theorem of Hyde proves that the factorizations statistics of a random polynomial over a finite field are governed by the action of the symmetric group on the configuration space of $n$ distinct ordered points in $\mathbb R^3$. Hyde asked whether this result could be explained geometrically. We give a geometric proof of Hyde's theorem as an instance of the Grothendieck--Lefschetz trace formula applied to an interesting, highly nonseparated algebraic space. An advantage of our method is that it generalizes uniformly to an arbitrary Weyl group. In the process we study certain non-Hausdorff models for complements of hyperplane arrangements, first introduced by Proudfoot.
Graded Algebras, Algebraic Functions, Planar Trees, and Elliptic Integrals
Published
• View Publication
• BIB
This article surveys results on graded algebras and their Hilbert series. We give simple constructions of finitely generated graded associative algebras $R$ with Hilbert series $H(R,t)$ very close to an arbitrary power series $a(t)$ with exponentially bounded nonnegative integer coefficients. Then we summarize some related facts on algebras with polynomial identity. Further we discuss the problem how to find series $a(t)$ which are rational/algebraic/transcendental over ${\mathbb Q}(t)$. Applying a classical result of Fatou we conclude that if a finitely generated graded algebra has a finite Gelfand-Kirillov dimension, then its Hilbert series is either rational or transcendental. In particular the same dichotomy holds for the Hilbert series of a finitely generated algebra with polynomial identity. We show how to use planar rooted trees to produce algebraic power series. Finally we survey some results on noncommutative invariant theory which show that we can obtain as Hilbert series various algebraic functions and even elliptic integrals.
Symmetric decompositions and the Veronese construction
Published
• View Publication
• BIB
We study rational generating functions of sequences $\{a_n\}_{n\geq 0}$ that agree with a polynomial and investigate symmetric decompositions of the numerator polynomial for subsequences $\{a_{rn}\}_{n\geq 0}$. We prove that if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is of degree $s$ and its coefficients satisfy a set of natural linear inequalities then the symmetric decomposition of the numerator for $\{a_{rn}\}_{n\geq 0}$ is real-rooted whenever $r\geq \max \{s,d+1-s\}$. Moreover, if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is symmetric then we show that the symmetric decomposition for $\{a_{rn}\}_{n\geq 0}$ is interlacing. We apply our results to Ehrhart series of lattice polytopes. In particular, we obtain that the $h^\ast$-polynomial of every dilation of a $d$-dimensional lattice polytope of degree $s$ has a real-rooted symmetric decomposition whenever the dilation factor $r$ satisfies $r\geq \max \{s,d+1-s\}$. Moreover, if the polytope is Gorenstein then this decomposition is interlacing.
Forcing and anti-forcing polynomials of perfect matchings of a pyrene system
The forcing number of a perfect matching of a graph was introduced by Harary et al., which originated from Klein and Randić's ideal of innate degree of freedom of Kekulé structure in molecular graph. On the opposite side in some sense, Vukičević and Trinajstié proposed the anti-forcing number of a graph, afterwards Lei et al. generalized this idea to single perfect matching. Recently the forcing and anti-forcing polynomials of perfect matchings of a graph were proposed as counting polynomials for perfect matchings with the same forcing number and anti-forcing number respectively. In this paper, we obtain the explicit expressions of forcing and anti-forcing polynomials of a pyrene system. As consequences, the forcing and anti-forcing spectra of a pyrene system are determined.
Polynomial Induction and the Restriction Problem
Published in Indian J. Pure Appl. Math. (2021)
• View Publication
• BIB
We construct the polynomial induction functor, which is the right adjoint to the restriction functor from the category of polynomial representations of a general linear group to the category of representations of its Weyl group. This construction leads to a representation-theoretic proof of Littlewood's plethystic formula for the multiplicity of an irreducible representation of the symmetric group in such a restriction. The unimodality of certain bipartite partition functions follows.
On non-linear dependence of multivariate subordinated Lévy processes
Published
• View Publication
• BIB
Multivariate subordinated Lévy processes are widely employed in finance for modeling multivariate asset returns. We propose to exploit non-linear dependence among financial assets through multivariate cumulants of these processes, for which we provide a closed form formula by using the multi-index generalized Bell polynomials. Using multivariate cumulants, we perform a sensitivity analysis, to investigate non-linear dependence as a function of the model parameters driving the dependence structure
On the Number of Factorizations of Polynomials over Finite Fields
Published
• View Publication
• BIB
Motivated by coding applications,two enumeration problems are considered: the number of distinct divisors of a degree-m polynomial over F = GF(q), and the number of ways a polynomial can be written as a product of two polynomials of degree at most n over F. For the two problems, bounds are obtained on the maximum number of factorizations, and a characterization is presented for polynomials attaining that maximum. Finally, expressions are presented for the average and the variance of the number of factorizations, for any given m (respectively, n).
Universal spectra of the disjoint union of regular graphs
Published
• View Publication
• BIB
A universal adjacency matrix of a graph $G$ with adjacency matrix $A$ is any matrix of the form $U = αA + βI + γJ + δD$ with $α\neq 0$, where $I$ is the identity matrix, $J$ is the all-ones matrix and $D$ is the diagonal matrix with the vertex degrees. In the case that $G$ is the disjoint union of regular graphs, we present an expression for the characteristic polynomials of the various universal adjacency matrices in terms of the characteristic polynomials of the adjacency matrices of the components. As a consequence we obtain a formula for the characteristic polynomial of the Seidel matrix of $G$, and the signless Laplacian of the complement of $G$ (i.e. the join of regular graphs).
Lifting the dual immaculate functions
Published
• View Publication
• BIB
We introduce two lifts of the dual immaculate quasisymmetric functions to the polynomial ring. We establish positive formulas for expansions of these dual immaculate slide polynomials into the fundamental slide and quasi-key bases for polynomials. These formulas mirror connections between dual immaculate quasisymmetric functions, fundamental quasisymmetric functions, and Young quasisymmetric Schur functions, extending these connections from the ring of quasisymmetric functions to the full polynomial ring. We also consider a reverse variant of the dual immaculate quasisymmetric functions, mirroring the dichotomy between the quasisymmetric Schur functions and the Young quasisymmetric Schur functions. We show this variant is obtained by taking stable limits of one of our lifts, and utilize these reverse dual immaculate quasisymmetric functions to establish a connection between the dual immaculate quasisymmetric functions and the Demazure atom basis for polynomials.
Graph polynomials and paintability of plane graphs
Published
• View Publication
• BIB
There exists a variety of coloring problems for plane graphs, involving vertices, edges, and faces in all possible combinations. For instance, in the \emph{entire coloring} of a plane graph we are to color these three sets so that any pair of adjacent or incident elements get different colors. We study here some problems of this type from algebraic perspective, focusing on the \emph{facial} variant. We obtain several results concerning the \emph{Alon-Tarsi number} of various graphs derived from plane embeddings. This allows for extensions of some previous results for \emph{choosability} of these graphs to the game theoretic variant, know as \emph{paintability}. For instance, we prove that every plane graph is facially entirely \emph{$8$-paintable}, which means (metaphorically) that even a color-blind person can facially color the entire graph form lists of size $8$.
Two Families of Constant Term Identities
Published
• View Publication
• BIB
In 1985, Bressoud and Goulden derived the formula for the constant term in $\prod_{(i,j)\in T} \frac{x_j}{x_i}\\\prod_{0\le i<j \le n}(\frac{x_i}{x_j})_{a_i}(\frac{qx_j}{x_i})_{a_j-1}$, where $T \subseteq \{(i,j)\mid 0\le i<j \le n\}$. This result implies the Andrews' $q$-Dyson identity. In 2006, Gessel and Xin proved the $q$-Dyson identity by considering both sides of the equality as polynomials in $q^{a_0}$. We use this approach to determine the coefficients of $x_0/x_1$ and $x_0/x_2$ in Laurent polynomials studied by Bressoud and Goulden.
Color isomorphic even cycles and a related Ramsey problem
Published
• View Publication
• BIB
In this paper, we first study a new extremal problem recently posed by Conlon and Tyomkyn~(arXiv: 2002.00921). Given a graph $H$ and an integer $k\geqslant 2$, let $f_{k}(n,H)$ be the smallest number of colors $c$ such that there exists a proper edge-coloring of the complete graph $K_{n}$ with $c$ colors containing no $k$ vertex-disjoint color-isomorphic copies of $H$. Using algebraic properties of polynomials over finite fields, we give an explicit proper edge-coloring of $K_{n}$ and show that $f_{k}(n, C_{4})=Θ(n)$ when $k\geqslant 3$ and $n\rightarrow\infty$. The methods we used in the edge-coloring may be of some independent interest. We also consider a related generalized Ramsey problem. For given graphs $G$ and $H,$ let $r(G,H,q)$ be the minimum number of edge-colors (not necessarily proper) of $G$, such that the edges of every copy of $H\subseteq G$ together receive at least $q$ distinct colors. Establishing the relation to the Turán number of specified bipartite graphs, we obtain some general lower bounds for $r(K_{n,n},K_{s,t},q)$ with a broad range of $q$.
Supereulerian 2-edge-coloured graphs
Published
• View Publication
• BIB
A 2-edge-coloured graph $G$ is {\bf supereulerian} if $G$ contains a spanning closed trail in which the edges alternate in colours. An {\bf eulerian factor} of a 2-edge-coloured graph is a collection of vertex disjoint induced subgraphs which cover all the vertices of $G$ such that each of these subgraphs is supereulerian. We give a polynomial algorithm to test if a 2-edge-coloured graph has an eulerian factor and to produce one when it exists. A 2-edge-coloured graph is {\bf (trail-)colour-connected} if it contains a pair of alternating $(u,v)$-paths ($(u,v)$-trails) whose union is an alternating closed walk for every pair of distinct vertices $u,v$. A 2-edge-coloured graph is {\bf M-closed} if $xz$ is an edge of $G$ whenever some vertex $u$ is joined to both $x$ and $z$ by edges of the same colour. M-closed 2-edge-coloured graphs, introduced in \cite{balbuenaDMTCS21}, form a rich generalization of 2-edge-coloured complete graphs. We show that if $G$ is an extension of an M-closed 2-edge-coloured complete graph, then $G$ is supereulerian if and only if $G$ is trail-colour-connected and has an eulerian factor. We also show that for general 2-edge-coloured graphs it is NP-complete to decide whether the graph is supereulerian. Finally we pose a number of open problems.
Scrambled Vandermonde Convolutions of Gaussian Polynomials
Published
• View Publication
• BIB
It is well known that Gaussian polynomials (i.e., $q$-binomials) describe the distribution of the $area$ statistic on monotone paths in a rectangular grid. We introduce two new statistics, $corners$ and $cindex$; attach ``ornaments'' to the grid; and re-evaluate these statistics, in order to argue that all scrambled versions of the $cindex$ statistic are equidistributed with $area$. Our main result is a representation of the generating function for the bi-statistic $(cindex,corners)$ as a two-variable Vandermonde convolution of the original Gaussian polynomial. The proof relies on explicit bijections between differently ornated paths.
Computational Complexity of the Hylland-Zeckhauser Scheme for One-Sided Matching Markets
Published
• View Publication
• BIB
In 1979, Hylland and Zeckhauser \cite{hylland} gave a simple and general scheme for implementing a one-sided matching market using the power of a pricing mechanism. Their method has nice properties -- it is incentive compatible in the large and produces an allocation that is Pareto optimal -- and hence it provides an attractive, off-the-shelf method for running an application involving such a market. With matching markets becoming ever more prevalant and impactful, it is imperative to finally settle the computational complexity of this scheme.
We present the following partial resolution:
1. A combinatorial, strongly polynomial time algorithm for the special case of $0/1$ utilities.
2. An example that has only irrational equilibria, hence proving that this problem is not in PPAD. Furthermore, its equilibria are disconnected, hence showing that the problem does not admit a convex programming formulation.
3. A proof of membership of the problem in the class FIXP.
We leave open the (difficult) question of determining if the problem is FIXP-hard. Settling the status of the special case when utilities are in the set $\{0, {\frac 1 2}, 1 \}$ appears to be even more difficult.
A Second Type Of Higher Order Generalised Geometric Polynomials and Higher Order Generalised Euler Polynomials
In this study we introduce a second type of higher order generalised geometric polynomials. This we achieve by examining the generalised stirling numbers $S(n; k;α;β;γ)$ [Hsu & Shiue,1998] for some negative arguments. We study their number theoretic properties, asymptotic properties, and study their combinatorial properties using the notion of barred preferential arrangements. We also proposed a generalisation of the classical Euler polynomials and show how these Euler polynomials are related to the second type of higher order generalised geometric polynomials.
Nearest neighbor representations of Boolean functions
Published
• View Publication
• BIB
A nearest neighbor representation of a Boolean function is a set of positive and negative prototypes in $R^n$ such that the function has value 1 on an input iff the closest prototype is positive. For $k$-nearest neighbor representation the majority classification of the $k$ closest prototypes is considered. The nearest neighbor complexity of a Boolean function is the minimal number of prototypes needed to represent the function. We give several bounds for this measure. Separations are given between the cases when prototypes can be real or are required to be Boolean. The complexity of parity is determined exactly. An exponential lower bound is given for mod 2 inner product, and a linear lower bound is given for its $k$-nearest neighbor complexity. The results are proven using connections to other models such as polynomial threshold functions over $\{1, 2\}$. We also discuss some of the many open problems arising.
Harmonic bases for generalized coinvariant algebras
Published
• View Publication
• BIB
Let $k \leq n$ be nonnegative integers and let $λ$ be a partition of $k$. S. Griffin recently introduced a quotient $R_{n,λ}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which simultaneously generalizes the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology rings of Springer fibers studied by Tanisaki and Garsia-Procesi. We describe the space $V_{n,λ}$ of harmonics attached to $R_{n,λ}$ and produce a harmonic basis of $R_{n,λ}$ indexed by certain ordered set partitions $\mathcal{OP}_{n,λ}$. The combinatorics of this basis is governed by a new extension of the {\em Lehmer code} of a permutation to $\mathcal{OP}_{n, λ}$.
Boolean polynomial expression of the discrete average on the space of rhythms
Published
• View Publication
• BIB
An infinite family of Boolean polynomials which correspond to the discrete average maps, defined in [2], is constructed and their algebraic and combinatorial properties are investigated. They turn out to be balanced, and some recurrence formulas among them are derived.