polynomial
11432 papers tagged with this keyword
Balanced flows for transshipment problems
Published
• View Publication
• BIB
A transshipment problem (G, d, λ) is modeled by a directed graph G = (V, E) with weighted vertices d = (d_v | v \in V) and directed edges λ= (λ_e | e \in E) interpreted as follows: G is a communication or transportation network, e.g., a pipeline; each edge e \in E is a one-way communication line, road or pipe of capacity λ_e, while every vertex v \in V is a node of production d_v > 0, consumption d_v < 0, or transition d_v = 0. A non-negative flow x = (x_e \mid e \in E) is called weakly feasible if for each v \in V the algebraic sum of flows, over all directed edges incident to v, equals d_v; or shorter, if A_G x = d, where A_G is the vertex-edge incidence matrix of G. A weakly feasible flow x is called feasible if x_e \leq λ_e for all e \in E. We consider weakly feasible but not necessarily feasible flows, that is, inequalities x_e > λ_e are allowed. However, such an excess is viewed as unwanted (dangerous) and so we minimize the excess ratio vector r = (r_e = x_e / λ_e | e \in E) lexicographically. More precisely, first, we look for the weakly feasible flows minimizing the maximum of re over all e in E; among all such flows we look for those that minimize the second largest coordinate of r, etc. Clearly, |E| such steps define a unique balanced flow, which provides the lexmin solution for problem (G, d, λ). We construct it in polynomial time, provided vectors d and λare integer. For symmetric digraphs the problem was solved by Gurvich and Gvishiani in 1984. Here we extend this result to directed graphs. Furthermore, we simplify the algorithm and proofs applying the classic criterion of existence of a feasible flow for (G, d, λ) obtained by Gale and Hoffman in late 1950-s.
Modified Macdonald polynomials and the multispecies zero range process: I
Published in Algebraic Combinatorics, Volume 6, issue 1 (2023), p. 243-284
• View Publication
• BIB
In this paper we prove a new combinatorial formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, motivated by connections to the theory of interacting particle systems from statistical mechanics. The formula involves a new statistic called queue inversions on fillings of tableaux. This statistic is closely related to the multiline queues which were recently used to give a formula for the Macdonald polynomials $P_λ(X;q,t)$. In the case $q=1$ and $X=(1,1,\dots,1)$, that formula had also been shown to compute stationary probabilities for a particle system known as the multispecies ASEP on a ring, and it is natural to ask whether a similar connection exists between the modified Macdonald polynomials and a suitable statistical mechanics model. In a sequel to this work, we demonstrate such a connection, showing that the stationary probabilities of the multispecies totally asymmetric zero-range process (mTAZRP) on a ring can be computed using tableaux formulas with the queue inversion statistic. This connection extends to arbitrary $X=(x_1,\dots, x_n)$; the $x_i$ play the role of site-dependent jump rates for the mTAZRP.
Correlation Decay and the Absence of Zeros Property of Partition Functions
Published
• View Publication
• BIB
Absence of (complex) zeros property is at the heart of the interpolation method developed by Barvinok \cite{barvinok2017combinatorics} for designing deterministic approximation algorithms for various graph counting and computing partition functions problems. Earlier methods for solving the same problem include the one based on the correlation decay property. Remarkably, the classes of graphs for which the two methods apply sometimes coincide or nearly coincide. In this paper we show that this is more than just a coincidence. We establish that if the interpolation method is valid for a family of graphs satisfying the self-reducibility property, then this family exhibits a form of correlation decay property which is asymptotic Strong Spatial Mixing (SSM) at distances $ω(\log n)$, where $n$ is the number of nodes of the graph. This applies in particular to amenable graphs, such as graphs which are finite subsets of lattices.
Our proof is based on a certain graph polynomial representation of the associated partition function. This representation is at the heart of the design of the polynomial time algorithms underlying the interpolation method itself. We conjecture that our result holds for all, and not just amenable graphs.
A note on generalized $q$-difference equations for general Al-Salam--Carlitz polynomials
Published in Advances in Difference Equations (2020)
• View Publication
• BIB
In this paper, we deduce the generalized $q$-difference equations for general Al-Salam--Carlitz polynomials and generalize Arjika's recently results [$q$-difference equation for homogeneous $q$-difference operators and their applications, J. Differ. Equ. Appl. {\bf 26}, 987--999 (2020)]. In addition, we obtain transformational identities by the method of $q$-difference equation. Moreover, we deduce $U(n+1)$ type generating functions and Ramanujan's integrals involving general Al-Salam--Carlitz polynomials by $q$-difference equation.
Enumeration of Various Animals on the Triangular Lattice
Published
• View Publication
• BIB
In this paper, we consider various classes of polyiamonds that are animals residing on the triangular lattice. By careful analyses through certain layer-by-layer decompositions and cell pruning/growing arguments, we derive explicit forms for the generating functions of the number of nonempty translation-invariant baryiamonds (bargraphs in the triangular lattice), column-convex polyiamonds, and convex polyiamonds with respect to their perimeter. In particular, we show that the number of
(A) baryiamonds of perimeter $n$ is asymptotically $$\frac{(ξ+1)^2\sqrt{ξ^4+ξ^3-2ξ+1}}{2\sqrt{πn^3}}ξ^{-n-2},$$ where $ξ$ is a root of a certain explicit polynomial of degree 5.
(B) column-convex polyiamonds of perimeter $n$ is asymptotic to $$\frac{(17997809\sqrt{17}+3^3\cdot13\cdot175463)\sqrt{95\sqrt{17}-119}}{2^7\cdot43^2\cdot 89^2\sqrt{6πn^3}}\left(\frac{3+\sqrt{17}}{2}\right)^{n-1}.$$
(C) convex polyiamonds of perimeter $n$ is asymptotic to $$\frac{1280}{441\sqrt{3πn^3}}3^n.$$
High Dimensional Expanders: Eigenstripping, Pseudorandomness, and Unique Games
Published
• View Publication
• BIB
Higher order random walks (HD-walks) on high dimensional expanders (HDX) have seen an incredible amount of study and application since their introduction by Kaufman and Mass [KM16], yet their broader combinatorial and spectral properties remain poorly understood. We develop a combinatorial characterization of the spectral structure of HD-walks on two-sided local-spectral expanders [DK17], which offer a broad generalization of the well-studied Johnson and Grassmann graphs. Our characterization, which shows that the spectra of HD-walks lie tightly concentrated in a few combinatorially structured strips, leads to novel structural theorems such as a tight $\ell_2$-characterization of edge-expansion, as well as to a new understanding of local-to-global algorithms on HDX.
Towards the latter, we introduce a spectral complexity measure called Stripped Threshold Rank, and show how it can replace the (much larger) threshold rank in controlling the performance of algorithms on structured objects. Combined with a sum-of-squares proof of the former $\ell_2$-characterization, we give a concrete application of this framework to algorithms for unique games on HD-walks, in many cases improving the state of the art [RBS11, ABS15] from nearly-exponential to polynomial time (e.g. for sparsifications of Johnson graphs or of slices of the $q$-ary hypercube). Our characterization of expansion also holds an interesting connection to hardness of approximation, where an $\ell_\infty$-variant for the Grassmann graphs was recently used to resolve the 2-2 Games Conjecture [KMS18]. We give a reduction from a related $\ell_\infty$-variant to our $\ell_2$-characterization, but it loses factors in the regime of interest for hardness where the gap between $\ell_2$ and $\ell_\infty$ structure is large. Nevertheless, we open the door for further work on the use of HDX in hardness of approximation and unique games.
On a Question of Gowers on Clique Differences
Published
• View Publication
• BIB
We solve a question of Gowers from 2009 on clique differences in chains, thus ruling out any Sperner-type proof of the polynomial density Hales-Jewett theorem for alphabets of size 2.
Jacobi Ensemble, Hurwitz Numbers and Wilson Polynomials
Published in Letters in Mathematical Physics (2021)
• View Publication
• BIB
We express the topological expansion of the Jacobi Unitary Ensemble in terms of triple monotone Hurwitz numbers. This completes the combinatorial interpretation of the topological expansion of the classical unitary invariant matrix ensembles. We also provide effective formulae for generating functions of multipoint correlators of the Jacobi Unitary Ensemble in terms of Wilson polynomials, generalizing the known relations between one point correlators and Wilson polynomials.
Quantum Combinatorial Games: Structures and Computational Complexity
Recently, a standardized framework was proposed for introducing quantum-inspired moves in mathematical games with perfect information and no chance. The beauty of quantum games-succinct in representation, rich in structures, explosive in complexity, dazzling for visualization, and sophisticated for strategic reasoning-has drawn us to play concrete games full of subtleties and to characterize abstract properties pertinent to complexity consequence. Going beyond individual games, we explore the tractability of quantum combinatorial games as whole, and address fundamental questions including:
Quantum Leap in Complexity: Are there polynomial-time solvable games whose quantum extensions are intractable?
Quantum Collapses in Complexity: Are there PSPACE-complete games whose quantum extensions fall to the lower levels of the polynomial-time hierarchy?
Quantumness Matters: How do outcome classes and strategies change under quantum moves? Under what conditions doesn't quantumness matter?
PSPACE Barrier for Quantum Leap: Can quantum moves launch PSPACE games into outer polynomial space
We show that quantum moves not only enrich the game structure, but also impact their computational complexity. In settling some of these basic questions, we characterize both the powers and limitations of quantum moves as well as the superposition of game configurations that they create. Our constructive proofs-both on the leap of complexity in concrete Quantum Nim and Quantum Undirected Geography and on the continuous collapses, in the quantum setting, of complexity in abstract PSPACE-complete games to each level of the polynomial-time hierarchy-illustrate the striking computational landscape over quantum games and highlight surprising turns with unexpected quantum impact. Our studies also enable us to identify several elegant open questions fundamental to quantum combinatorial game theory (QCGT).
Combinatorial Bernoulli Factories
Published in Bernoulli, 29(2), pp.1246-1274 (2023)
• View Publication
• BIB
A Bernoulli factory is an algorithmic procedure for exact sampling of certain random variables having only Bernoulli access to their parameters. Bernoulli access to a parameter $p \in [0,1]$ means the algorithm does not know $p$, but has sample access to independent draws of a Bernoulli random variable with mean equal to $p$. In this paper, we study the problem of Bernoulli factories for polytopes: given Bernoulli access to a vector $x\in P$ for a given polytope $P\subset [0,1]^n$, output a randomized vertex such that the expected value of the $i$-th coordinate is \emph{exactly} equal to $x_i$. For example, for the special case of the perfect matching polytope, one is given Bernoulli access to the entries of a doubly stochastic matrix $[x_{ij}]$ and asked to sample a matching such that the probability of each edge $(i,j)$ be present in the matching is exactly equal to $x_{ij}$. We show that a polytope $P$ admits a Bernoulli factory if and and only if $P$ is the intersection of $[0,1]^n$ with an affine subspace. Our construction is based on an algebraic formulation of the problem, involving identifying a family of Bernstein polynomials (one per vertex) that satisfy a certain algebraic identity on $P$. The main technical tool behind our construction is a connection between these polynomials and the geometry of zonotope tilings. We apply these results to construct an explicit factory for the perfect matching polytope. The resulting factory is deeply connected to the combinatorial enumeration of arborescences and may be of independent interest. For the $k$-uniform matroid polytope, we recover a sampling procedure known in statistics as Sampford sampling.
The complexity of the Perfect Matching-Cut problem
Published
• View Publication
• BIB
Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for bipartite five-regular graphs, for graphs of diameter three and for bipartite graphs of diameter four. We show that there exist polynomial time algorithms for the following classes of graphs: claw-free, $P_5$-free, diameter two, bipartite with diameter three and graphs with bounded tree-width.
On the maximum order complexity of Thue-Morse and Rudin-Shapiro sequences along polynomial values
Published
• View Publication
• BIB
Both the Thue-Morse and Rudin-Shapiro sequences are not suitable sequences for cryptography since their expansion complexity is small and their correlation measure of order 2 is large. These facts imply that these sequences are highly predictable despite the fact that they have a large maximum order complexity. Sun and Winterhof (2019) showed that the Thue-Morse sequence along squares keeps a large maximum order complexity. Since, by Christol's theorem, the expansion complexity of this rarefied sequence is no longer bounded, this provides a potentially better candidate for cryptographic applications. Similar results are known for the Rudin-Shapiro sequence and more general pattern sequences. In this paper we generalize these results to any polynomial subsequence (instead of squares) and thereby answer an open problem of Sun and Winterhof. We conclude this paper by some open problems.
Positivity and divisibility of alternating descent polynomials
Published
• View Publication
• BIB
The alternating descent statistic on permutations was introduced by Chebikin as a variant of the descent statistic. We show that the alternating descent polynomials on permutations are unimodal via a five-term recurrence relation. We also found a quadratic recursion for the alternating major index $q$-analog of the alternating descent polynomials. As an interesting application of this quadratic recursion, we show that $(1+q)^{\lfloor n/2\rfloor}$ divides $\sum_{π\in\mathfrak{S}_n}q^{\rm{altmaj}(π)}$, where $\mathfrak{S}_n$ is the set of all permutations of $\{1,2,\ldots,n\}$ and $\rm{altmaj}(π)$ is the alternating major index of $π$. This leads us to discover a $q$-analog of $n!=2^{\ell}m$, $m$ odd, using the statistic of alternating major index. Moreover, we study the $γ$-vectors of the alternating descent polynomials by using these two recursions and the ${\textbf{cd}}$-index. Further intriguing conjectures are formulated, which indicate that the alternating descent statistic deserves more work.
Hilbert series of typical representations for Lie superalgebras
Let g be a basic classical Lie superalgebra over C. In the case of a typical weight whose every nonnegative integer multiple is also typical, we compute a closed form for the Hilbert series whose coefficients encode the dimensions of finite-dimensional irreducible typical g-representations. We give a formula for this Hilbert series in terms of elementary symmetric polynomials and Eulerian polynomials. Additionally, we show a simple closed form in terms of differential operators.
Approximating the discrete time-cost tradeoff problem with bounded depth
Published
• View Publication
• BIB
We revisit the deadline version of the discrete time-cost tradeoff problem for the special case of bounded depth. Such instances occur for example in VLSI design. The depth of an instance is the number of jobs in a longest chain and is denoted by $d$. We prove new upper and lower bounds on the approximability. First we observe that the problem can be regarded as a special case of finding a minimum-weight vertex cover in a $d$-partite hypergraph. Next, we study the natural LP relaxation, which can be solved in polynomial time for fixed $d$ and -- for time-cost tradeoff instances -- up to an arbitrarily small error in general. Improving on prior work of Lovász and of Aharoni, Holzman and Krivelevich, we describe a deterministic algorithm with approximation ratio slightly less than $\frac{d}{2}$ for minimum-weight vertex cover in $d$-partite hypergraphs for fixed $d$ and given $d$-partition. This is tight and yields also a $\frac{d}{2}$-approximation algorithm for general time-cost tradeoff instances. We also study the inapproximability and show that no better approximation ratio than $\frac{d+2}{4}$ is possible, assuming the Unique Games Conjecture and $\text{P}\neq\text{NP}$. This strengthens a result of Svensson, who showed that under the same assumptions no constant-factor approximation algorithm exists for general time-cost tradeoff instances (of unbounded depth). Previously, only APX-hardness was known for bounded depth.
Conditional probabilities via line arrangements and point configurations
Published in Linear and Multilinear Algebra, 2021
• View Publication
• BIB
We study the connection between probability distributions satisfying certain conditional independence (CI) constraints, and point and line arrangements in incidence geometry. To a family of CI statements, we associate a polynomial ideal whose algebraic invariants are encoded in a hypergraph. The primary decompositions of these ideals give a characterisation of the distributions satisfying the original CI statements. Classically, these ideals are generated by 2-minors of a matrix of variables, however, in the presence of hidden variables, they contain higher degree minors. This leads to the study of the structure of determinantal hypergraph ideals whose decompositions can be understood in terms of point and line configurations in the projective space.
Acyclic polynomials of graphs
Published in Australasian Journal of Combinatorics, Vol 82(2) (2022), 146-181
• Search Publication
For each nonnegative integer $i$, let $a_i$ be the number of $i$-subsets of $V(G)$ that induce an acyclic subgraph of a given graph $G$. We define $A(G,x) = \sum_{i \geq 0} a_i x^i$ (the generating function for $a_i$) to be the acyclic polynomial for $G$. After presenting some properties of these polynomials, we investigate the nature and location of their roots.
Secular Coefficients and the Holomorphic Multiplicative Chaos
Published
• View Publication
• BIB
We study the secular coefficients of $N \times N$ random unitary matrices $U_{N}$ drawn from the Circular $β$-Ensemble, which are defined as the coefficients of $\{z^n\}$ in the characteristic polynomial $\det(1-zU_{N}^{*})$. When $β> 4$ we obtain a new class of limiting distributions that arise when both $n$ and $N$ tend to infinity simultaneously. We solve an open problem of Diaconis and Gamburd by showing that for $β=2$, the middle coefficient tends to zero as $N \to \infty$. We show how the theory of Gaussian multiplicative chaos (GMC) plays a prominent role in these problems and in the explicit description of the obtained limiting distributions. We extend the remarkable magic square formula of Diaconis and Gamburd for the moments of secular coefficients to all $β>0$ and analyse the asymptotic behaviour of the moments. We obtain estimates on the order of magnitude of the secular coefficients for all $β> 0,$ and these estimates are sharp when $β\geq 2$. These insights motivated us to introduce a new stochastic object associated with the secular coefficients, which we call Holomorphic Multiplicative Chaos (HMC). Viewing the HMC as a random distribution, we prove a sharp result about its regularity in an appropriate Sobolev space. Our proofs expose and exploit several novel connections with other areas, including random permutations, Tauberian theorems and combinatorics.
A polynomial algorithm for minimizing discrete convic functions in fixed dimension
Published
• View Publication
• BIB
Recently classes of conic and discrete conic functions were introduced. In this paper we use the term convic instead conic. The class of convic functions properly includes the classes of convex functions, strictly quasiconvex functions and the class of quasiconvex polynomials. On the other hand, the class of convic functions is properly included in the class of quasiconvex functions. The discrete convic function is a discrete analogue of the convic function. Recently the lower bound $3^{n-1}\log (2 ρ-1)$ for the number of calls to the comparison oracle needed to find the minimum of the discrete convic function defined on integer points of some $n$-dimensional ball with radius $ρ$ was obtained. But the problem of the existence of a polynomial (in $\logρ$ for fixed $n$) algorithm for minimizing such functions has remained open. In this paper, we answer positively the question of the existence of such an algorithm. Namely, we propose an algorithm for minimizing discrete convic functions that uses $2^{O(n^2 \log n)} \log ρ$ calls to the comparison oracle and has $2^{O(n^2 \log n)} \mbox{poly }(\log ρ)$ bit complexity.
Glauber dynamics for colourings of chordal graphs and graphs of bounded treewidth
The Glauber dynamics on the colourings of a graph is a random process which consists in recolouring at each step a random vertex of a graph with a new colour chosen uniformly at random among the colours not already present in its neighbourhood. It is known that when the total number of colours available is at least $Δ+2$, where $Δ$ is the maximum degree of the graph, this process converges to a uniform distribution on the set of all the colourings. Moreover, a well known conjecture is that the time it takes for the convergence to happen, called the mixing time, is polynomial in the size of the graph. Many weaker variants of this conjecture have been studied in the literature by allowing either more colours, or restricting the graphs to particular classes, or both. This paper follows this line of research by studying the mixing time of the Glauber dynamics on chordal graphs, as well as graphs of bounded treewidth. We show that the mixing time is polynomial in the size of the graph in the two following cases:
- on graphs with bounded treewidth, and at least $Δ+2$ colours,
- on chordal graphs if the number of colours is at least $(1+\varepsilon) (Δ+1)$, for any fixed constant $\varepsilon$.