Unsolved Problems

Let $A,B$ be positive semidefinite, by Jensen's inequality, it is easy to see $[tr(A^s+B^s)]^{\frac{1}{s}}\leq [tr(A^r+B^r)]^{\frac{1}{r}}$, whenever ...

Problem Given a Matrix $A$, the $k$-th elementary symmetric function of $A$, namely $S_k(A)$, is defined as the sum of all $k$-by- $k$ principal mino...

Conjecture There exists a finite lattice which is not the congruence lattice of a finite algebra....

Conjecture In the category of continuous funcoids (defined similarly to the category of topological spaces) the following is a direct categorical prod...

Question I've been working on this for a long time and I'm getting nowhere. Could you help me or at least tell me where to look for help. Suppose D is...

Conjecture For $c \geq m \geq 1$, let $P(c,m)$ be the statement that given any exact $c$-coloring of the edges of a complete countably infinite graph ...

Question What is the Waring rank of the determinant of a $d \times d$ generic matrix? For simplicity say we work over the complex numbers. The $d \ti...

Conjecture Any $C^r$ structurally stable diffeomorphism is hyperbolic....

Problem Does every bounded linear operator on an infinite-dimensional separable Hilbert space have a non-trivial closed invariant subspace?...

Question Give a necessary and sufficient criterion for the sequence $(a_n)$ so that the power series $\sum_{n=0}^{\infty} a_n x^n$ is bounded for all ...

Conjecture Let $D$ be the open unit disk in the complex plane and let $U_1,\dots,U_n$ be open sets such that $\bigcup_{j=1}^nU_j=D\setminus\{0\}$. Sup...

Conjecture For all $\alpha=(\alpha_1,\alpha_2,\ldots)\in l_2(\cal{C})$ the following inequality holds $$\sum_{n\geq 1}|\alpha_n|^2\geq \frac{6}{\pi^2}...

For $k\in \mathbb{N}$ let $T_k$ denote the minimal number $t\in \mathbb{N}$ such that there is a rainbow $AP(k)$ in every equinumerous $t$-coloring of...

Problem Do 4-colorings of $\mathbb{Z}_{p}$, for $p$ a large prime, always contain a rainbow $AP(4)$ if each of the color classes is of size of either ...

Question Is it true that every permutation of positive integers must contain monotone 4-term arithmetic progressions?...

A latin square is even if the product of the signs of all of the row and column permutations is 1 and is odd otherwise. Conjecture For every positive...

Question Is the set of prime numbers 2-accessible?...

Question Is the set of Fibonacci numbers 3-accessible?...

Conjecture An integer partition is wide if and only if it is Latin....

Given integers $k,n\ge2$, let $d(k,n)$ be the smallest integer $d\ge2$ such that the symmetric group $\frak S$ on the set of all words of length $n$ o...

Let $E$ be a non-empty finite set. Given a partition $\bf h$ of $E$, the stabilizer of $\bf h$, denoted $S(\bf h)$, is the group formed by all permuta...

Begin with the generating function for unrestricted partitions: (1+x+x^2+...)(1+x^2+x^4+...)(1+x^3+x^6+...)... Now change some of the plus signs to ...

Conjecture Define a $2 \times n$ array of positive integers where the first row consists of some distinct positive integers arranged in increasing ord...

Problem Two players alternately write O's (first player) and X's (second player) in the unoccupied cells of an $n \times n$ grid. The first player (if...

Problem Two players alternately write O's (first player) and X's (second player) in the unoccupied cells of an $n \times n$ grid. The first player (if...

Conjecture Every surreal number has a unique sign expansion, i.e. function $f: o\rightarrow \{-, +\}$, where $o$ is some ordinal. This $o$ is the leng...

Let $S_n$ denote the set of all permutations of $[n]=\set{1,2,\ldots,n}$. Let $i(\pi)$ and $d(\pi)$ denote respectively the number of increasing and t...

Conjecture The largest measure of a Lebesgue measurable subset of the unit sphere of $\mathbb{R}^n$ containing no pair of orthogonal vectors is attain...

Question What is the saturation number of cycles of length $2\ell$ in the $d$-dimensional hypercube?...

Problem Determine the smallest percolating set for the $4$-neighbour bootstrap process in the hypercube....

Problem Bound the extremal number of $C_{10}$ in the hypercube....

Conjecture Does there exist a nontrivial perfect 2-error-correcting code over any finite alphabet, other than the ternary Golay code?...

A $(v, k, t)$ covering design, or covering, is a family of $k$-subsets, called blocks, chosen from a $v$-set, such that each $t$-subset is contained i...

Conjecture If ${\mathbb F}$ is a finite field with at least 4 elements and $A$ is an invertible $n \times n$ matrix with entries in ${\mathbb F}$, the...

Conjecture For every prime $p$, there is a constant $c(p)$ (possibly $c(p)=p$ ) so that the union (as multisets) of any $c(p)$ bases of the vector spa...

Conjecture If $A$ is an invertible $n \times n$ matrix, then there is an $n \times n$ submatrix $B$ of $[A A]$ so that $perm(B)$ is nonzero....

Conjecture If $B_1,B_2,\ldots B_p$ are invertible $n \times n$ matrices with entries in ${\mathbb Z}_p$ for a prime $p$, then there is a $n \times (p-...

Let $M$ be a matroid of rank $r$, and for $0 \le i \le r$ let $w_i$ be the number of closed sets of rank $i$. Conjecture $w_0,w_1,\ldots,w_r$ is unim...

Let $G$ be an (additive) abelian group, and for every $S \subseteq G$ let ${\mathit stab}(S) = \{ g \in G: g + S = S \}$. Conjecture Let $M$ be a mat...

Conjecture If $M_1,\ldots,M_k$ are matroids on $E$ and $\sum_{i=1}^k rk_{M_i}(X_i) \ge \ell (k-1)$ for every partition $\{X_1,\ldots,X_k\}$ of $E$, th...

Question Is the binary affine cube $AG(3,2)$ the only 3-connected matroid for which equality holds in the bound $$E(M) \leq c(M) c(M^*) / 2$$where$c(M...

Conjecture Let $r \ge 2$ be an integer and let $H$ be a minor minimal clutter with $\frac{1}{r}\tau_r(H) < \tau(H)$. Then either $H$ has a $J_k$ minor...

Question Does there exist a constant $c>1/2$ and a function $n_0(k)$ such that if $|X|\geq n_0(k)$, then every saturated $k$-Sperner system $\mathcal{...

Let $R(k,k)$ denote the $k^{th}$ diagonal Ramsey number. Conjecture $\lim_{k \rightarrow \infty} R(k,k) ^{\frac{1}{k}}$ exists. Problem Determine th...

Conjecture If $A$ is 2-large, then $A$ is large....

For $k$ and $\ell$ positive integers, the (mixed) van der Waerden number $w(k,\ell)$ is the least positive integer $n$ such that every (red-blue)-colo...

We let $Q_d$ denote the $d$-dimensional cube graph. A map $\phi: E(Q_d) \rightarrow \{0,1\}$ is called edge-antipodal if $\phi(e) \neq \phi(e')$ whene...

Conjecture Let $p_1,p_2,p_3,\ldots$ be a sequence of points in ${\mathbb R}^d$ with the property that for every $i \ge d+2$, the points $p_{i-1}, p_{i...

Let $S$ be a set of points in the plane. Two points $v$ and $w$ in $S$ are visible with respect to $S$ if the line segment between $v$ and $w$ contain...

Conjecture The average diameter of a bounded cell of a simple arrangement defined by $n$ hyperplanes in dimension $d$ is not greater than $d$....