Mathematics Problem Archive
Is there a word which is unavoidable over a k letter alphabet, but not a (k-1) letter alphabet, for each integer k > 1
v1.3 research notesIs there a word which is unavoidable over a k letter alphabet, but not a (k-1) letter alphabet, for each integer k > 1? See this....
For each k and every sufficiently large n with k dividing ((n-1) choose (k-1)), there is a universal cycle for the k-sub
v1.3 research notesChung/Diaconis/Graham: For each k and every sufficiently large n with k dividing ((n-1) choose (k-1)), there is a universal cycle for the k-subsets of...
Is it true that, for some k, if all (K-1)-words are encountered by a t-ary word at the same rate as a uniform random t-a
v1.3 research notes/Rorabaugh: Is it true that, for some k, if all (K-1)-words are encountered by a t-ary word at the same rate as a uniform random t-ary word, then this...
start at (0,0), at each point in time, we take a step from (x, y) to (x+1, y), (x-1, y), (x, y+1), or (x, y-1) with prob
v1.3 research notesConsider the following walk: start at (0,0), at each point in time, we take a step from (x, y) to (x+1, y), (x-1, y), (x, y+1), or (x, y-1) with proba...
Consider p(v, t), the probability that a walk beginning from the origin ends at the point v on the d-dimensional integer
v1.3 research notes/Spencer: Consider p(v, t), the probability that a walk beginning from the origin ends at the point v on the d-dimensional integer lattice in time t. ...
Let f(p;n,k) = C(n,k) p^(k) (1-p)^(n-k)
v1.3 research notesGalvin: Let f(p;n,k) = C(n,k) p^(k) (1-p)^(n-k). If p is not 0, 1/2, or 1, is it possible for f(p;n,k) = f(p;n,l) and f(p;n,k') = f(p;n,l') for distin...
If A is an invertible n x n matrix, is there always an n x n submatrix B of [A A] so that perm(B) is nonzero
v1.3 research notesKahn: If A is an invertible n x n matrix, is there always an n x n submatrix B of [A A] so that perm(B) is nonzero. The notation perm(B) means the per...
Let S_(n) be a subset of 2^(n), interpreted as a family of truth assignments to x_(1)
v1.3 research notes: Let S_(n) be a subset of 2^(n), interpreted as a family of truth assignments to x_(1),...,x_(n). Let S_(n)-SAT be the problem of determining satisfi...
Let G be a bicolored graph, and let H be the graph whose vertices are the valid pressing sequences of G and whose edges
v1.3 research notesBixby-Flint-Miklos : Let G be a bicolored graph, and let H be the graph whose vertices are the valid pressing sequences of G and whose edges connect t...
Combinatorial interpretation of Kronecker coefficients
v1.3 research notesFor partitions $\lambda,\mu,\nu$ of $n$, the Kronecker coefficient $g_{\mu\nu}^{\lambda}$ is defined by $$V_\mu\otimes V_\nu\cong\bigoplus_\lambda g_{...
Exact Dedekind numbers
v1.3 research notesLet $M(n)$ be the number of monotone Boolean functions of $n$ variables, equivalently the number of antichains of subsets of an $n$-element set. Deter...
Multiplicity-one support of area Siegel–Veech constants
v1.3 research notesLet $\boldsymbol{d}=(d_1,\ldots,d_n)$ be an unordered partition of $4g-4$ with $d_i\in\{-1,0,1,2,\ldots\}$, and let $\widehat\Pi_{4g-4}$ be the set of...
Entire solutions of higher-order Briot–Bouquet equations
v1.3 research notesClassify the entire solutions of $F(y^{(k)},y)=0$ when $F$ is irreducible and its highest-degree homogeneous part has a single distinct linear factor,...
Bounded wandering domains of entire functions
v1.3 research notesLet $f$ be a nonlinear entire function and let $D$ be a Fatou component on which all limit functions of the iterates $f^n$ are constant. Can the set o...
Number of degenerate Herman rings
v1.3 research notesIs the number of degenerate Herman rings of a rational function finite, and can it be bounded in terms of the degree of the rational function?...
Indicators of linear combinations
v1.3 research notesLet $A$ be a set of vectors $a=(a_1,\ldots,a_n)\in\mathbb C^n$ such that every $n$ of them are linearly independent, and assign to every $a\in A$ a $\...
Analytic germs with prescribed convex barriers
v1.3 research notesLet $A$ be a set of vectors $a=(a_1,\ldots,a_n)\in\mathbb C^n$ such that every $n$ are linearly independent, and let $K_a$ be plane convex compact set...
Composite periodic entire functions
v1.3 research notesClassify entire functions $f,g$ for which $f\circ g$ is periodic. Prove that, up to the natural equivalences, the possibilities are exhausted by: $g$ ...
Zeros and one-points on three rays
v1.3 research notesDoes there exist an entire function whose zeros lie on the positive ray and whose $1$-points lie on two rays making angles $\pm\alpha$ with it, for so...
A fifth-root functional equation
v1.3 research notesFor $\omega=e^{2\pi i/5}$, is an entire solution of $$f(\omega z)f(\omega^{-1}z)=f(z)-1$$ unique up to rotation of the variable $z$?...
Levin's derivative-zero problem
v1.3 research notesLet $f$ be entire and suppose every zero of every derivative $f^{(n)}$, $n\ge0$, lies in the closed lower half-plane. Must $f$ lie in the compact-open...
Locally constant logarithmic potentials
v1.3 research notesLet $\mu$ be a positive plane measure with $\mu(\{|z|\le r\})\le cr^\alpha$ for some $0<\alpha<1/2$. Can its logarithmic potential $$u(z)=\int\log\lef...
Rational Goldberg extremals
v1.3 research notesFor rational functions of each fixed degree, determine the analogues of Goldberg's constant and the unit-disk zero/one-point extremal quantities, and ...
Carleson–Jones quarter conjecture
v1.3 research notesFor a regular connected compact plane set $E$, let $\beta_E=\limsup_{\varepsilon\to0}\log l(\varepsilon)/(-\log\varepsilon)$, where $l(\varepsilon)$ i...
Connectedness of extremal Green level sets
v1.3 research notesIf the definition of $\sup_E\beta_E$ is extended from connected regular compact plane sets to all regular compact sets, is the supremum attained on co...
Finiteness of Newtonian equilibrium points
v1.3 research notesFor finitely many positive charges $a_k$ at points $x_k\in\mathbb R^3$, is the critical set of $u(x)=\sum_{k=1}^n a_k/|x-x_k|$ always finite?...
Median inequality for three subharmonic functions
v1.3 research notesLet $u_1,u_2,u_3$ be subharmonic in the plane with $u_j(0)=0$, and let $v_1\le v_2\le v_3$ be their pointwise increasing rearrangement. Put $I(r,v)=\i...
Defect relation for points in $\mathbb P^2$
v1.3 research notesLet $f:\mathbb C\to\mathbb P^2$ be linearly nondegenerate and let $\delta(a,f)$ be the Nevanlinna deficiency of a point $a\in\mathbb P^2$. Prove that ...
Holomorphic curves with bounded spherical derivative
v1.3 research notesLet $f:\mathbb C\to\mathbb P^n$ be holomorphic with spherical derivative $\|f'\|(z)=O(|z|^\sigma)$ for some $\sigma>-1$, and let $a_1,\ldots,a_q$ be h...
Modified Cartan conjecture
v1.3 research notesFor $p\ge3$, let $V(D)$ consist of zero-free holomorphic vectors $(f_1,\ldots,f_p)$ on $D$ with $\sum f_j=0$, and use the source's definition of a $C$...
Generic static-output stabilizability
v1.3 research notesFor real matrices $A\in\operatorname{Mat}_{n\times n}$, $B\in\operatorname{Mat}_{n\times p}$, and $C\in\operatorname{Mat}_{m\times n}$ with $n=mp$, de...
Degenerate facets of polytopes
v1.3 research notesA facet of a $d$-polytope is degenerate if it has more than $d$ vertices. Determine the maximum number of degenerate facets of an $n$-vertex $d$-polyt...
Faces of intricate polytopes
v1.3 research notesDetermine the maximum total number of faces of a $d$-dimensional convex polytope with $n$ vertices and $n$ facets. In dimension four, do such fat-latt...
Extreme points
v1.3 research notesFor fixed $d>3$, determine whether every point of an $n$-point set in $\mathbb R^d$ is a convex-hull vertex faster than the best known near-$n^{2\lflo...
A dynamic-programming interval problem
v1.3 research notesGiven a sorted list of $n$ real numbers, find for every $1\le k\le n$ the shortest interval containing exactly $k$ entries. Find a subquadratic algori...
Shortest paths in line arrangements
v1.3 research notesGiven lines in the plane and two vertices $s,t$ of their arrangement, find a subquadratic algorithm for the shortest $s$-$t$ path along arrangement ed...
Bounded-degree triangulations
v1.3 research notesCan every convex polytope be triangulated so that every vertex degree, or every edge degree, is bounded by a constant or by a polylogarithmic function...
Chromatic number of the plane
v1.3 research notesDetermine the least number of colors needed to color the Euclidean plane so that points at unit distance receive different colors....
Covering points by congruent rectangles
v1.3 research notesGiven a finite planar point set and a prescribed rectangle, approximate efficiently the minimum number of congruent copies of the rectangle needed to ...
Integer-distance point sets
v1.3 research notesDo there exist seven planar points in general position—no three collinear and no four concyclic—such that every pairwise distance is an integer?...
Odd rep-tiling by a 14-omino
v1.3 research notesCan the $3\times6$ rectangle with a $2\times2$ corner removed tile a rectangle using an odd number of congruent copies?...
Comparing sums of square roots
v1.3 research notesCan sums of square roots of integers be compared in polynomial time on a Turing machine? Equivalently, obtain effective polynomial bit bounds for a no...
Triangulations with many distinct areas
v1.3 research notesFind the largest function $t(n)$ such that every convex $n$-gon has a triangulation containing at least $t(n)$ distinct triangle areas; also determine...
Nilpotent groups
v1.3 research notesWhat is the coarse Ricci curvature of discrete or continuous nilpotent groups? In particular, for the natural random walk generated by $a,b$ on the di...
Isoperimetric profile and curvature at infinity
v1.3 research notesSuppose the global infimum of coarse Ricci curvature is zero, while its infimum on every finite-radius ball about an origin is positive. Is there a sy...
Positive curvature up to delta
v1.3 research notesDefine curvature up to $\delta$ by $$T_1(m_x,m_y)\leq(1-\kappa(x,y))d(x,y)+\delta.$$ Which theorems for positive coarse Ricci curvature extend to this...
Discrete scalar curvature
v1.3 research notesDefine a scalar-curvature candidate by $S(x)=\int\kappa(x,y)\,dm_x(y)$, possibly with a distance-dependent weight. Does this quantity have useful geom...
L2 Bonnet–Myers and dimension
v1.3 research notesUnder the strengthened transport estimate $$T_1(m_x^{*t},m_{x'}^{*t'})\leq e^{-\kappa\min(t,t')}d(x,x')+C\frac{(\sqrt t-\sqrt{t'})^2}{2d(x,x')},$$ the...
Permutation groups
v1.3 research notesFor permutation groups with the transposition random walk, coarse Ricci curvature is positive but gives concentration of the wrong order. Can this dis...
Classification of Finite Metric Spaces and Combinatorics of Convex Polytopes
v1.3 research notesLet $(X,\rho)$ be a finite metric space. Its fundamental polytope $R_{X,\rho}$ is the convex hull of the vectors $e_{x,y}=(\delta_x-\delta_y)/\rho(x,y...