Problems

Let X be a set of cardinality ℵ_ω and f a function from the finite subsets of X to X such that f(A)not∈ A for all A. Must there exist an infinite independent Y⊆ X, i.e. with f(B)not∈ Y for all finite B⊂ Y? Claimed resolution: the positive…

What is the largest possible measure of a subset of a radius-R disk in R^2 containing no pair of points at a positive integer distance? A Poisson-Bessel kernel argument gives M(R) ≪ R^1/2; with Sárközy's lower construction, M(R) = R^1/2 +…

Does every nontrivial finite simple graph have noninteger Sombor energy? If ρ_1,…,ρ_n are the eigenvalues of the Sombor matrix of a graph G, its Sombor energy is E_SO(G)=∑_i=1^n|ρ_i|. The conjecture asserted that E_SO(G)∉ Z for every…

If n_1 < n_2 < … with n_k+1/n_k ≥ c > 1, must ∑_k 1/F_n_k be irrational? The proposed proof closes the range 1 < c < 2 left open by earlier criteria.

If A is a forbidden-divisor set with |A ∩ [1,x]| = o(√x) and B = b_1 < b_2 < … the sifted set, must x^-1 ∑_b_i < x (b_i+1 - b_i)^2 converge to a finite limit?

If h(r) is the maximal finite exact order attainable by an additive basis of order at most r, what is lim_r → ∞ h(r)/r^2? The candidate proof identifies the sharp limit 1/3.

Let k≥ 3 and f_k(N) be the maximum of ∑_n∈ A1/n over all A⊆1,…,N containing no k subsets with the same pairwise least common multiple. Estimate f_k(N). The claimed answer: f_k(N)=(log N)^γ_k+o(1), where γ_k is a weighted generalization of…

Let R(3;k) be the least n such that every k-colouring of the edges of K_n contains a monochromatic triangle. Determine lim_k→∞ R(3;k)^1/k (a $250 Erdős prize problem). A superexponential lower bound resolves the problem: the limit is…

Estimate the number F(x) of minimal distinct covering systems whose moduli all lie in [1, x]. The candidate proof gives loglog F(x)/log x → 1, i.e. F(x) = exp(x^1+o(1)).

Let L^nf be the Lagrange interpolation polynomials of a continuous f on the Chebyshev nodes. Prove that, for any closed A⊆ [-1,1], there exists a continuous function f such that A is the set of limit points of L^nf(x).

Let G be a simple connected graph on n≥ 5 vertices. If the maximum over all vertices v of ℓ(v) - the independence number of the subgraph induced by the open neighborhood N(v) - is at most 1, must G be well totally dominated? Answered…

Is there an entire non-zero function f:C→ C such that, for any infinite sequence n_1<n_2<…, the set z: f^(n_k)(z)=0 for some k≥ 1 is everywhere dense? The literal question is trivial for polynomials, so the claims address the…

If g_3(n) is the largest size of A ⊆ [1,n] with fewer than three representations of every product a_1 a_2, does its conjectured second-order normalized term converge? The candidate proof gives an explicit limit constant.

For a connected graph G , let t= tree( G ) (order of a largest induced tree), A= average eccentricity, and L= maximum independence number of a neighbourhood. Then ⌈ (A+L)/3 ⌉ ≤ t. (The evenly-divided reading of the conjecture holds; a…

If each integer has at most r representations m = pa with p prime and a ∈ A ⊆ [1, N], what is the best upper bound for ∑_a ∈ A 1/a? The candidate proof gives the matching order Θ_r(log N / loglog N).

VibeMathed records no statement for this problem. See formal-conjectures PR #4668 - Mark WOWII Graph Conjecture 217 solved for the original.

Let F(N) be the maximal size of A⊆1,…,N such that no a∈ A divides the sum of any nonempty subset of A∖a. Estimate F(N). The lower bound F(N)≫ N^1/5 is classical, from constructions of Erdős and Csaba, and every non-dividing set is…

If H is bipartite and r-degenerate, is ex(n;H) ≪ n^2-1/r (a $500 Erdős-Simonovits prize conjecture)? A counterexample refutes the degeneracy conjecture.

Let n_1<n_2<… be a lacunary sequence of integers and f∈ L^2([0,1]) with nth Fourier partial sum f_n. Is there an absolute constant C>0 such that if | f-f_n|_2 ≪ (logloglog n)^-C then 1/N∑_k≤ Nf(α n_k)→∫_0^1 f for almost every α? A preprint…

Must every sufficiently large node set admit bounded labels that force any polynomial fitting almost all labels at degree below (1+ε)n to have arbitrarily large uniform norm? Claimed via Beurling density for Bernstein spaces.