polynomial
11250 papers tagged with this keyword
A $q$-microscope for supercongruences
Published in Adv. in Math. 346 (2019) 329--358
• View Publication
• BIB
By examining asymptotic behavior of certain infinite basic ($q$-) hypergeometric sums at roots of unity (that is, at a "$q$-microscopic" level) we prove polynomial congruences for their truncations. The latter reduce to non-trivial (super)congruences for truncated ordinary hypergeometric sums, which have been observed numerically and proven rarely. A typical example includes derivation, from a $q$-analogue of Ramanujan's formula $$ \sum_{n=0}^\infty\frac{\binom{4n}{2n}{\binom{2n}{n}}^2}{2^{8n}3^{2n}}\,(8n+1) =\frac{2\sqrt{3}}π, $$ of the two supercongruences $$ S(p-1)\equiv p\biggl(\frac{-3}p\biggr)\pmod{p^3} \quad\text{and}\quad S\Bigl(\frac{p-1}2\Bigr) \equiv p\biggl(\frac{-3}p\biggr)\pmod{p^3}, $$ valid for all primes $p>3$, where $S(N)$ denotes the truncation of the infinite sum at the $N$-th place and $(\frac{-3}{\cdot})$ stands for the quadratic character modulo $3$.
Implicit representation conjecture for semi-algebraic graphs
Published
• View Publication
• BIB
The implicit representation conjecture concerns hereditary families of graphs. Given a graph in such a family, we want to assign some string of bits to each vertex in such a way that we can recover the information about whether 2 vertices are connected or not using only the 2 strings of bits associated with those two vertices. We then want to minimise the length of this string. The conjecture states that if the family is hereditary and small enough (it only has $2^{O(n\ln(n))}$ graphs of size $n$), then $O(\ln(n))$ bits per vertex should be sufficient. The trivial bounds on this problem are that: (1) some families require at least $\ln_2(n)$ bits per vertex ; (2) $(n-1)/2+\ln_2(n)$ bits per vertex are sufficient for all families.
In this paper, we will be talking about a special case of the implicit representation conjecture, where the family is semi-algebraic (which roughly means that the vertices are points in some euclidean space, and the edges are defined geometrically, or according to some polynomials). We will first prove that the `obvious' way of storing the information, where we store an approximation of the coordinates of each vertex, doesn't work. Then we will come up with a way of storing the information that requires $O(n^{1-ε})$ bits per vertex, where $ε$ is some small constant depending only on the family. This is a slight improvement over the trivial bound, but is still a long way from proving the conjecture.
Structure and generation of crossing-critical graphs
We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_3,3, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded number of internally disjoint paths between any two vertices. We expand on these results, providing a more detailed description of the structure of crossing-critical graphs. On the way towards this description, we prove a new structural characterisation of plane graphs of bounded path-width. Then we show that every c-crossing-critical graph can be obtained from a c-crossing-critical graph of bounded size by replicating bounded-size parts that already appear in narrow "bands" or "fans" in the graph. This also gives an algorithm to generate all the c-crossing-critical graphs of at most given order n in polynomial time per each generated graph.
A Spin Analogue of Kerov Polynomials
Published in SIGMA 14 (2018), 053, 13 pages
• View Publication
• BIB
Kerov polynomials describe normalized irreducible characters of the symmetric groups in terms of the free cumulants associated with Young diagrams. We suggest well-suited counterparts of the Kerov polynomials in spin (or projective) representation settings. We show that spin analogues of irreducible characters are polynomials in even free cumulants associated with double diagrams of strict partitions. Moreover, we present a conjecture for the positivity of their coefficients.
On stability properties of powers of polymatroidal ideals
Published
• View Publication
• BIB
Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ with the maximal ideal $\frak{m}=(x_1,...,x_n)$.
Let $\astab(I)$ and $\dstab(I)$ be the smallest integer $n$ for which $\Ass(I^n)$ and $\depth(I^n)$ stabilize, respectively.
In this paper we show that $\astab(I)=\dstab(I)$ in the following cases:
\begin{itemize} \item[(i)] $I$ is a matroidal ideal and $n\leq 5$. \item[(ii)] $I$ is a polymatroidal ideal, $n=4$ and $\frak{m}\notin\Ass^{\infty}(I)$, where $\Ass^{\infty}(I)$ is the stable set of associated prime ideals of $I$. \item[(iii)] $I$ is a polymatroidal ideal of degree $2$. \end{itemize} Moreover, we give an example of a polymatroidal ideal for which $\astab(I)\neq\dstab(I)$. This is a counterexample to the conjecture of Herzog and Qureshi, according to which these two numbers are the same for polymatroidal ideals.
Strong Subgraph $k$-connectivity
Generalized connectivity introduced by Hager (1985) has been studied extensively in undirected graphs and become an established area in undirected graph theory. For connectivity problems, directed graphs can be considered as generalizations of undirected graphs. In this paper, we introduce a natural extension of generalized $k$-connectivity of undirected graphs to directed graphs (we call it strong subgraph $k$-connectivity) by replacing connectivity with strong connectivity. We prove NP-completeness results and the existence of polynomial algorithms. We show that strong subgraph $k$--connectivity is, in a sense, harder to compute than generalized $k$-connectivity. However, strong subgraph $k$-connectivity can be computed in polynomial time for semicomplete digraphs and symmetric digraphs. We also provide sharp bounds on strong subgraph $k$-connectivity and pose some open questions.
Holomorphic quadratic differentials on graphs and the chromatic polynomial
Published
• View Publication
• BIB
We study "holomorphic quadratic differentials" on graphs. We relate them to the reactive power in an LC circuit, and also to the chromatic polynomial of a graph. Specifically, we show that the chromatic polynomial $χ$ of a graph $G$, at negative integer values, can be evaluated as the degree of a certain rational mapping, arising from the defining equations for a holomorphic quadratic differential. This allows us to give an explicit integral expression for $χ(-k)$.
Geometric random graphs and Rado sets of continuous functions
We prove the existence of Rado sets in the Banach space of continuous functions on [0,1]. A countable dense set S is Rado if with probability 1, the infinite geometric random graph on S, formed by probabilistically making adjacent elements of S that are within unit distance of each other, is unique up to isomorphism. We show that for a suitable measure which we construct, almost all countable dense sets in the subspaces of piecewise linear functions and of polynomials are Rado. Moreover, all graphs arising from such sets are of a unique isomorphism type. For the subspace of Brownian motion paths, almost all countable subsets are Rado (for a suitable measure) and the resulting graphs are of a unique isomorphism type. We show that the graph arising from piecewise linear functions and polynomials is not isomorphic to the graph arising from Brownian motion paths. Moreover, these graphs are non-isomorphic to graphs arising from Rado sets in $\mathbb{R}^n$, or the sequence spaces $c$ and $c_0$.
A new class of refined Eulerian polynomials
In this note we introduce a new class of refined Eulerian polynomials defined by $$A_n(p,q)=\sum_{π\in\mathfrak{S}_n}p^{{\rm odes}(π)}q^{{\rm edes}(π)},$$ where ${\rm odes}(π)$ and ${\rm edes}(π)$ enumerate the number of descents of permutation $π$ in odd and even positions, respectively. We show that the refined Eulerian polynomials $A_{2k+1}(p,q),k=0,1,2,\ldots,$ and $(1+q)A_{2k}(p,q),k=1,2,\ldots,$ have a nice symmetry property.
The Tutte polynomial via lattice point counting
Published
• View Publication
• BIB
We recover the Tutte polynomial of a matroid, up to change of coordinates, from an Ehrhart-style polynomial counting lattice points in the Minkowski sum of its base polytope and scalings of simplices. Our polynomial has coefficients of alternating sign with a combinatorial interpretation closely tied to the Dawson partition. Our definition extends in a straightforward way to polymatroids, and in this setting our polynomial has Kálmán's internal and external activity polynomials as its univariate specialisations.
Role colouring graphs in hereditary classes
Published
• View Publication
• BIB
We study the computational complexity of computing role colourings of graphs in hereditary classes. We are interested in describing the family of hereditary classes on which a role colouring with k colours can be computed in polynomial time. In particular, we wish to describe the boundary between the "hard" and "easy" classes. The notion of a boundary class has been introduced by Alekseev in order to study such boundaries. Our main results are a boundary class for the k-role colouring problem and the related k-coupon colouring problem which has recently received a lot of attention in the literature. The latter result makes use of a technique for generating regular graphs of arbitrary girth which may be of independent interest.
An Asymptotic Series for an Integral
Published
• View Publication
• BIB
We obtain an asymptotic series $\sum_{j=0}^\infty\frac{I_j}{n^j}$ for the integral $\int_0^1[x^n+(1-x)^n]^{\frac1{n}}dx$ as $n\to\infty$, and compute $I_j$ in terms of alternating (or "colored") multiple zeta value. We also show that $I_j$ is a rational polynomial the ordinary zeta values, and give explicit formulas for $j\le 12$. As a byproduct, we obtain precise results about the convergence of norms of random variables and their moments. We study $\Vert(U,1-U)\Vert_n$ as $n$ tends to infinity and we also discuss $\Vert(U_1,U_2,\dots,U_r)\Vert_n$ for standard uniformly distributed random variables.
On the Broadcast Routing Problem in Computer Networks
Given an undirected graph $G = (V, E)$, and a vertex $r\in V$, an $r$-acyclic orientation of $G$ is an orientation $OE$ of the edges of $G$ such that the digraph $OG = (V, OE)$ is acyclic and $r$ is the unique vertex with indegree equal to 0. For $w\in \mathbb{R}^E_+$, $k(G, w)$ is the value of the $w$-maximum packing of $r$-arborescences for all $r\in V$ and all $r$-acyclic orientations $OE$ of $G$. In this case, the Broadcast Routing (in Computers Networks) Problem (BRP) is to compute $k(G, w)$, by finding an optimal $r$ and an optimal $r$-acyclic orientation. BRP is a mathematical formulation of multipath broadcast routing in computer networks. In this paper, we provide a polynomial time algorithm to solve BRP in outerplanar graphs. Outerplanar graphs are encountered in many applications such as computational geometry, robotics, etc.
On asymptotic formulae in some sum-product questions
Published
• View Publication
• BIB
In this paper we obtain a series of asymptotic formulae in the sum--product phenomena over the prime field $\mathbf{F}_p$. In the proofs we use usual incidence theorems in $\mathbf{F}_p$, as well as the growth result in ${\rm SL}_2 (\mathbf{F}_p)$ due to Helfgott. Here some of our applications:
$\bullet~$ a new bound for the number of the solutions to the equation $(a_1-a_2) (a_3-a_4) = (a'_1-a'_2) (a'_3-a'_4)$, $\,a_i, a'_i\in A$, $A$ is an arbitrary subset of $\mathbf{F}_p$,
$\bullet~$ a new effective bound for multilinear exponential sums of Bourgain,
$\bullet~$ an asymptotic analogue of the Balog--Wooley decomposition theorem,
$\bullet~$ growth of $p_1(b) + 1/(a+p_2 (b))$, where $a,b$ runs over two subsets of $\mathbf{F}_p$, $p_1,p_2 \in \mathbf{F}_p [x]$ are two non--constant polynomials,
$\bullet~$ new bounds for some exponential sums with multiplicative and additive characters.
On Pseudo-disk Hypergraphs
Published
• View Publication
• BIB
Let $F$ be a family of pseudo-disks in the plane, and $P$ be a finite subset of $F$. Consider the hypergraph $H(P,F)$ whose vertices are the pseudo-disks in $P$ and the edges are all subsets of $P$ of the form $\{D \in P \mid D \cap S \neq \emptyset\}$, where $S$ is a pseudo-disk in $F$. We give an upper bound of $O(nk^3)$ for the number of edges in $H(P,F)$ of cardinality at most $k$. This generalizes a result of Buzaglo et al. (2013).
As an application of our bound, we obtain an algorithm that computes a constant-factor approximation to the smallest _weighted_ dominating set in a collection of pseudo-disks in the plane, in expected polynomial time.
Another Identity for Complete Bell Polynomials based on Ramanujan's Congruences
Published in J. Integer Seq., Vol.21 (2018), Article 18.6.4
• Search Publication
Let $p(n)$ be the number of partition of a positive integer $n$. We derive a new identity for complete Bell polynomials based on a generating function of $p(7n+5)$ given by Ramanujan.
Graph polynomials and symmetries
Published
• View Publication
• BIB
In a recent paper, we studied the interaction between the automorphism group of a graph and its Tutte polynomial. More precisely, we proved that certain symmetries of graphs are clearly reflected by their Tutte polynomials. The purpose of this paper is to extend this study to other graph polynomials. In particular, we prove that if a graph $G$ has a symmetry of prime order $p$, then its characteristic polynomial, with coefficients in the finite filed $\mathbb{F}_p$, is determined by the characteristic polynomial of its quotient graph $\overline G$. Similar results are also proved for some generalization of the Tutte polynomial.
Decomposition of a graph into two disjoint odd subgraphs
Published in Discussiones Mathematicae Graph Theory 2020
• View Publication
• BIB
An odd (resp. even) subgraph in a multigraph is its subgraph in which every vertex has odd (resp. even) degree. We say that a multigraph can be decomposed into two odd subgraphs if its edge set can be partitioned into two sets so that both form odd subgraphs. In this paper we give a necessary and sufficient condition for the decomposability of a multigraph into two odd subgraphs. We also present a polynomial time algorithm for finding such a decomposition or showing its non-existence. We also deal with the case of the decomposability into an even subgraph and an odd subgraph.
The Moduli Space of Polynomial Maps and Their Fixed-Point Multipliers: II. Improvement to the Algorithm and Monic Centered Polynomials
Published in Ergodic Theory and Dynamical Systems, First View (online 03 February 2023), pp.1-19
• View Publication
• BIB
We consider the family $\mathrm{MC}_d$ of monic centered polynomials of one complex variable with degree $d \geq 2$, and study the map $\widehatΦ_d:\mathrm{MC}_d\to \widetildeΛ_d \subset \mathbb{C}^d / \mathfrak{S}_d$ which maps each $f \in \mathrm{MC}_d$ to its unordered collection of fixed-point multipliers. We give an explicit formula for counting the number of elements of each fiber $\widehatΦ_d^{-1}\left(\barλ\right)$ for every $\barλ \in \widetildeΛ_d$ except when the fiber $\widehatΦ_d^{-1}\left(\barλ\right)$ contains polynomials having multiple fixed points. This formula is not a recursive one, and is a drastic improvement of our previous result [T. Sugiyama, The moduli space of polynomial maps and their fixed-point multipliers. Adv. Math. 322 (2017), 132--185] which gave a rather long algorithm with some induction processes.
Statistics on some classes of knot shadows
The present paper is concerned with the enumeration of the state diagrams for some classes of knot shadows endowed with the usual connected sum operation. We focus on shadows that are recursively generated by knot shadows with up to 3 crossings, and for which the enumeration problem is solved with the help of generating polynomials.