polynomial
11184 papers tagged with this keyword
Some remarks and conjectures about Hankel determinants of polynomials which are related to Motzkin paths
This note collects some results and conjectures for the generating functions of the Hankel determinants of certain polynomials which are related to Motzkin paths.
On the location of chromatic zeros of series-parallel graphs
Published
• View Publication
• BIB
In this paper we consider the zeros of the chromatic polynomial of series-parallel graphs. Complementing a result of Sokal, showing density outside the disk $|q-1|\leq1$, we show density of these zeros in the half plane $\Re(q)>3/2$ and we show there exists an open region $U$ containing the interval $(0,32/27)$ such that $U\setminus\{1\}$ does not contain zeros of the chromatic polynomial of series-parallel graphs.
We also disprove a conjecture of Sokal by showing that for each large enough integer $Δ$ there exists a series-parallel graph for which all vertices but one have degree at most $Δ$ and whose chromatic polynomial has a zero with real part exceeding $Δ$.
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms
Published
• View Publication
• BIB
Let $\mathcal{A} = \{A_1, \ldots, A_m\}$ and $\mathcal{B} = \{B_1, \ldots, B_n\}$ be a pair of dual multi-hypergraphs on the common ground set $O = \{o_1, \ldots, o_k\}$. Note that each of them may have embedded or equal edges. An edge is called containment minimal (or just minimal, for short) if it is not a strict superset of another edge. Yet, equal minimal edges may exist. By duality,
(i) $A \cap B \neq \emptyset$ for every pair $A \in \mathcal{A}$ and $B \in \mathcal{B}$;
(ii) if $A$ is minimal then for every $o \in A$ there exists a $B \in \mathcal{B}$ such that $A \cap B = \{o\}$.
We will extend claim (ii) as follows. A linear order $\succ$ over $O$ defines a unique lexicographic order $\succ_L$ over the $2^O$. Let $A$ be a lexicographically maximal (lexmax) edge of $\mathcal{A}$. Then,
(iii) $A$ is minimal and for every $o \in A$ there exists a minimal $B \in \mathcal{B}$ such that $A \cap B = \{o\}$ and $o \succeq o'$ for each $o' \in B$.
This property has important applications in game theory implying Nash-solvability of tight game forms as shown in the old (1975 and 1989) work of the first author. Here we give a new, very short, proof of (iii). Edges $A$ and $B$ mentioned in (iii) can be found out in polynomial time. This is trivial if $\mathcal{A}$ and $\mathcal{B}$ are given explicitly. Yet, it is true even if only $\mathcal{A}$ is given, and not explicitly, but by a polynomial containment oracle, which for a subset $O_A \subseteq O$ answers in polynomial time whether $O_A$ contains an edge of $\mathcal{A}$.
Lattice and Non-lattice Piercing of Axis-Parallel Rectangles
Given a family ${\mathcal F}$ of shapes in the plane, we study what is the lowest possible density of a point set $P$ that pierces (``intersects'', ``hits'') all translates of each shape in ${\mathcal F}$. For instance, if ${\mathcal F}$ consists of two axis-parallel rectangles the best known piercing set, i.e., one with the lowest density, is a lattice.
Given a finite family ${\mathcal F}$ of axis-parallel rectangles, we present an algorithm for finding an optimal ${\mathcal F}$-piercing lattice. The algorithm runs in time polynomial in the number of rectangles and the maximum aspect ratio of the rectangles in the family. No prior algorithms for this problem were known.
On the other hand, we show that for every $n \geq 3$, there exists a family of $n$ axis-parallel rectangles for which the best piercing density achieved by a lattice is separated by a positive (constant) gap from the optimal piercing density for the respective family. Finally, we show that the best lattice can be sometimes worse by $20\%$ than the optimal piercing set.
On automorphisms of undirected Bruhat graphs
Published in Mathematische Zeitschrift, Volume 303 (2023)
• View Publication
• BIB
The (directed) Bruhat graph $\hatΓ(u,v)$ has the elements of the Bruhat interval $[u,v]$ as vertices, with directed edges given by multiplication by a reflection. Famously, $\hatΓ(e,v)$ is regular if and only if the Schubert variety $X_v$ is smooth, and this condition on $v$ is characterized by pattern avoidance. In this work, we classify when the undirected Bruhat graph $Γ(e,v)$ is vertex-transitive; surprisingly this class of permutations is also characterized by pattern avoidance and sits nicely between the classes of smooth permutations and self-dual permutations. This leads us to a general investigation of automorphisms of $Γ(u,v)$ in the course of which we show that special matchings, which originally appeared in the theory Kazhdan--Lusztig polynomials, can be characterized as certain $Γ(u,v)$-automorphisms which are conjecturally sufficient to generate the orbit of $e$ under $Aut(Γ(e,v))$.
Noncolliding Macdonald Walks with an Absorbing Wall
Published in SIGMA 18 (2022), 079, 21 pages
• View Publication
• BIB
The branching rule is one of the most fundamental properties of the Macdonald symmetric polynomials. It expresses a Macdonald polynomial as a nonnegative linear combination of Macdonald polynomials with smaller number of variables. Taking a limit of the branching rule under the principal specialization when the number of variables goes to infinity, we obtain a Markov chain of $m$ noncolliding particles with negative drift and an absorbing wall at zero. The chain depends on the Macdonald parameters $(q,t)$ and may be viewed as a discrete deformation of the Dyson Brownian motion. The trajectory of the Markov chain is equivalent to a certain Gibbs ensemble of plane partitions with an arbitrary cascade front wall. In the Jack limit $t=q^{β/2}\to 1$ the absorbing wall disappears, and the Macdonald noncolliding walks turn into the $β$-noncolliding random walks studied by Huang [Int. Math. Res. Not. 2021 (2021), 5898-5942, arXiv:1708.07115]. Taking $q=0$ (Hall-Littlewood degeneration) and further sending $t\to 1$, we obtain a continuous time particle system on $\mathbb{Z}_{\ge 0}$ with inhomogeneous jump rates and absorbing wall at zero.
Small Shadows of Lattice Polytopes
Published
• View Publication
• BIB
The diameter of the graph of a $d$-dimensional lattice polytope $P \subseteq [0,k]^{n}$ is known to be at most $dk$ due to work by Kleinschmidt and Onn. However, it is an open question whether the monotone diameter, the shortest guaranteed length of a monotone path, of a $d$-dimensional lattice polytope $P = \{\mathbf{x}: A\mathbf{x} \leq \mathbf{b}\} \subseteq [0,k]^{n}$ is bounded by a polynomial in $d$ and $k$. This question is of particular interest in linear optimization, since paths traced by the Simplex method must be monotone. We introduce partial results in this direction including a monotone diameter bound of $3d$ for $k = 2$, a monotone diameter bound of $(d-1)m+1$ for $d$-dimensional $(m+1)$-level polytopes, a pivot rule such that the Simplex method is guaranteed to take at most $dnk||A||_{\infty}$ non-degenerate steps to solve a LP on $P$, and a bound of $dk$ for lengths of paths from certain fixed starting points. Finally, we present a constructive approach to a diameter bound of $(3/2)dk$ and describe how to translate this final bound into an algorithm that solves a linear program by tracing such a path.
An improved bound for regular decompositions of $3$-uniform hypergraphs of bounded $VC_2$-dimension
Published in Model Th. 2 (2023) 325-356
• View Publication
• BIB
A regular partition $\mathcal{P}$ for a $3$-uniform hypergraph $H=(V,E)$ consists of a partition $V=V_1\cup \ldots \cup V_t$ and for each $ij\in {[t]\choose 2}$, a partition $K_2[V_i,V_j]=P_{ij}^1\cup \ldots \cup P_{ij}^{\ell}$, such that certain quasirandomness properties hold. The complexity of $\mathcal{P}$ is the pair $(t,\ell)$. In this paper we show that if a $3$-uniform hypergraph $H$ has $VC_2$-dimension at most $k$, then there is a regular partition $\mathcal{P}$ for $H$ of complexity $(t,\ell)$, where $\ell$ is bounded by a polynomial in the degree of regularity. This is a vast improvement on the bound arising from the proof of this regularity lemma in general, in which the bound generated for $\ell$ is of Wowzer type. This can be seen as a higher arity analogue of the efficient regularity lemmas for graphs and hypergraphs of bounded VC-dimension due to Alon-Fischer-Newman, Lovász-Szegedy, and Fox-Pach-Suk.
Partial-duals for planar ribbon graphs
Published
• View Publication
• BIB
In 2009, Chmutov introduced the partial-duality for a ribbon graph $G$. Recently, Gross, Mansour and Tucker enumerated all possible partial-duals of $G$ by genus and introduced the partial-dual genus polynomial of a ribbon graph $G.$ This paper mainly enumerates partial-duals for planar ribbon graphs. First, we obtain a formula for the maximum partial-dual genus for any planar ribbon graph and give a negative answer to the interpolating conjecture of Gross, Mansour and Tucker. Then we show that there is a recurrence relation between the partial-dual genus polynomials of planar ribbon graphs $G-e$ and $G$. Furthermore, two related results are also given. These recurrence relations give new approaches to calculate the partial-genus dual polynomials for some planar ribbon graphs. In addition, we prove the asymptotic normality for some partial-dual genus distributions.
The combinatorics of Farey words and their traces
Published
• View Publication
• BIB
We introduce a family of 3-variable "Farey polynomials" that are closely connected with the geometry and topology of $3$-manifolds and orbifolds as they can be used to produce concrete realisations of the boundaries and local coordinates for one-complex-dimensional deformation spaces of Kleinian groups. As such, this family of polynomials has a number of quite remarkable properties. We study these polynomials from an abstract combinatorial viewpoint, including a recursive definition extending that which is known in the literature for the special case of manifolds, even beyond what the geometry predicts. We also present some intriguing examples and conjectures which we would like to bring to the attention of researchers interested in algebraic combinatorics and hypergeometric functions.
The results in this paper additionally provide a practical approach to various classification problems for rank-two subgroups of PSL(2,C) since they, together with other recent work of the authors, make it possible to provide certificates that certain groups are discrete and free, and effective ways to identify relators.
An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros
Published in Part I: Pi-Mu-Epsilon J. 15 (2023), no. 9, 539-551; Part II: ibid 15 (2024), no. 10, 617-628; Part III: ibid 16 (2024), no. 1, 11-25; Part IV: ibid 16 (2025), no. 2, 77-95
• Search Publication
A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and of its three medial parallelograms, which are accordingly referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at which the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to $n$-dimensional simplices for all $n > 3$. Part III explains how, for $n = 3$, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to $\mathbb Z_2^4$, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank $3$ chirotope, aka affine oriented matroid.
The characterizing properties of (signless) Laplacian permanental polynomials of bicyclic graphs
Published
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices, and let $L(G)$ and $Q(G)$ be the Laplacian matrix and signless Laplacian matrix of $G$, respectively. The polynomial $π(L(G);x)={\rm per}(xI-L(G))$ (resp. $π(Q(G);x)={\rm per}(xI-Q(G))$) is called {\em Laplacian permanental polynomial} (resp. {\em signless Laplacian permanental polynomial}) of $G$. In this paper, we show that two classes of bicyclic graphs are determined by their (signless) Laplacian permanental polynomials.
The Probabilistic Profitable Tour Problem under a specific graph structure
Published
• View Publication
• BIB
Among the most important variants of the traveling salesman problem (TSP) are those relaxing the constraint that every locus should necessarily get visited, rather taking into account a revenue (prize) for visiting customers. In the Profitable Tour Problem (PTP), we seek for a tour visiting a subset of customers while maximizing net gain (profit) as difference between total revenue collected from visited customers and incurred traveling costs. The metric TSP can be modeled as a PTP with large revenues. As such, PTP is well-known to be NP-hard and also APX-hardness follows. Nevertheless, PTP is solvable in polynomial time on particular graph structures like lines, trees and circles. Following recent emphasis on robust optimization, and motivated by current flourishing of retail delivery services, we study the Probabilistic Profitable Tour Problem (PPTP), the generalization of PTP where customers will show up with a known probability, in their respective loci,only after the tour has been planned. Here, the selection of customers has to be made a priori, before knowing if a customer will actually submit his request or will not. While the tour has to be designed without this knowledge, revenues will only be collected from customers who will require the service. The objective is to maximize the expected net gain obtained by visiting only the customers that show up. We provide a polynomial time algorithm computing and characterizing the space of optimal solutions for the special case of the PPTP where customers are distributed on a line.
Finding Hall blockers by matrix scaling
Published
• View Publication
• BIB
For a given nonnegative matrix $A=(A_{ij})$, the matrix scaling problem asks whether $A$ can be scaled to a doubly stochastic matrix $D_1AD_2$ for some positive diagonal matrices $D_1,D_2$.The Sinkhorn algorithm is a simple iterative algorithm, which repeats row-normalization $A_{ij} \leftarrow A_{ij}/\sum_{j}A_{ij}$ and column-normalization $A_{ij} \leftarrow A_{ij}/\sum_{i}A_{ij}$ alternatively. By this algorithm, $A$ converges to a doubly stochastic matrix in limit if and only if the bipartite graph associated with $A$ has a perfect matching. This property can decide the existence of a perfect matching in a given bipartite graph $G$, which is identified with the $0,1$-matrix $A_G$.Linial, Samorodnitsky, and Wigderson showed that $O(n^2 \log n)$ iterations for $A_G$ decide whether $G$ has a perfect matching. Here $n$ is the number of vertices in one of the color classes of $G$. In this paper, we show an extension of this result:If $G$ has no perfect matching, then a polynomial number of the Sinkhorn iterations identifies a Hall blocker -- a vertex subset $X$ having neighbors $Γ(X)$ with $|X| > |Γ(X)|$. Specifically, we show that $O(n^2 \log n)$ iterations can identify one Hall blocker, and that further polynomial iterations can also identify all parametric Hall blockers $X$ of maximizing $(1-λ) |X| - λ|Γ(X)|$ for $λ\in [0,1]$.The former result is based on an interpretation of the Sinkhorn algorithm as alternating minimization for geometric programming. The latter is on an interpretation as alternating minimization for KL-divergence (Csiszár and Tusnády 1984, Gietl and Reffel 2013) and its limiting behavior for a nonscalable matrix (Aas 2014). We also relate the Sinkhorn limit with parametric network flow, principal partition of polymatroids, and the Dulmage-Mendelsohn decomposition of a bipartite graph.
On The Complexity of Matching Cut for Graphs of Bounded Radius and $H$-Free Graphs
Published
• View Publication
• BIB
For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of diameter at most $d$ if $d\leq 2$ and NP-complete if $d\geq 3$. We prove the same dichotomy for graphs of bounded radius. For a graph $H$, a graph is $H$-free if it does not contain $H$ as an induced subgraph. As a consequence of our result, we can solve Matching Cut in polynomial time for $P_6$-free graphs, extending a recent result of Feghali for $P_5$-free graphs. We then extend our result to hold even for $(sP_3+P_6)$-free graphs for every $s\geq 0$ and initiate a complexity classification of Matching Cut for $H$-free graphs.
The Merino--Welsh conjecture for split matroids
Published in Ann. Comb. 27, pp. 737-748 (2023)
• View Publication
• BIB
In 1999 Merino and Welsh conjectured that evaluations of the Tutte polynomial of a graph satisfy an inequality. In this short article we show that the conjecture generalized to matroids holds for the large class of all split matroids by exploiting the structure of their lattice of cyclic flats. This class of matroids strictly contains all paving and copaving matroids.
A non-associative incidence near-ring with a generalized Möbius function
Published
• View Publication
• BIB
There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized Möbius function. Under the product this generalized Möbius function is a one sided inverse of the zeta function and satisfies many generalizations of classical results. In particular we prove analogues of Phillip Hall's Theorem on the Möbius function as an alternating sum of chain counts, Weisner's theorem, and Rota's Crosscut Theorem. A key ingredient to these results is that this function is an overlapping product of classical Möbius functions. Using this generalized Möbius function we define analogues of the characteristic polynomial and Möbius polynomials for ranked lattices. We compute these polynomials for certain families of matroids and prove that this generalized Möbius polynomial has -1 as root if the matroid is modular. Using results from Ardila and Sanchez we prove that this generalized characteristic polynomial is a matroid valuation.
Representation theoretic interpretation and interpolation properties of inhomogeneous spin $q$-Whittaker polynomials
Published
• View Publication
• BIB
We establish new properties of inhomogeneous spin $q$-Whittaker polynomials, which are symmetric polynomials generalizing $t=0$ Macdonald polynomials. We show that these polynomials are defined in terms of a vertex model, whose weights come not from an $R$-matrix, as is often the case, but from other intertwining operators of $U'_q(\hat{\mathfrak{sl}}_2)$-modules. Using this construction, we are able to prove a Cauchy-type identity for inhomogeneous spin $q$-Whittaker polynomials in full generality. Moreover, we are able to characterize spin $q$-Whittaker polynomials in terms of vanishing at certain points, and we find interpolation analogues of $q$-Whittaker and elementary symmetric polynomials.
Several series expansions for real powers and several formulas for partial Bell polynomials of sinc and sinhc functions in terms of central factorial and Stirling numbers of second kind
Published in Applicable Analysis and Discrete Mathematics vol. 18 (2024), no. 1, pp. 92-115
• View Publication
• BIB
In the paper, with the aid of the Faà di Bruno formula, in terms of central factorial numbers of the second kind, and with the terminology of the Stirling numbers of the second kind, the authors derive several series expansions for any positive integer powers of the sinc and sinhc functions, discover several closed-form formulas for partial Bell polynomials of all derivatives of the sinc function, establish several series expansions for any real powers of the sinc and sinhc functions, and present several identities for central factorial numbers of the second kind and for the Stirling numbers of the second kind.
Linearly ordered colourings of hypergraphs
Published in ACM Transactions on Computation Theory 14(3-4) Article No. 12, pp. 1-19 (2022)
• View Publication
• BIB
A linearly ordered (LO) $k$-colouring of an $r$-uniform hypergraph assigns an integer from $\{1, \ldots, k \}$ to every vertex so that, in every edge, the (multi)set of colours has a unique maximum. Equivalently, for $r=3$, if two vertices in an edge are assigned the same colour, then the third vertex is assigned a larger colour (as opposed to a different colour, as in classic non-monochromatic colouring). Barto, Battistelli, and Berg [STACS'21] studied LO colourings on $3$-uniform hypergraphs in the context of promise constraint satisfaction problems (PCSPs). We show two results.
First, given a 3-uniform hypergraph that admits an LO $2$-colouring, one can find in polynomial time an LO $k$-colouring with $k=O(\sqrt[3]{n \log \log n / \log n})$.
Second, given an $r$-uniform hypergraph that admits an LO $2$-colouring, we establish NP-hardness of finding an LO $k$-colouring for every constant uniformity $r\geq k+2$. In fact, we determine relationships between polymorphism minions for all uniformities $r\geq 3$, which reveals a key difference between $r<k+2$ and $r\geq k+2$ and which may be of independent interest. Using the algebraic approach to PCSPs, we actually show a more general result establishing NP-hardness of finding an LO $k$-colouring for LO $\ell$-colourable $r$-uniform hypergraphs for $2 \leq \ell \leq k$ and $r \geq k - \ell + 4$.