Related papers: Non-vanishing implies numerical dimension one abun…
A celebrated unresolved conjecture of Peter Frankl states that every finite union-closed collection of sets ($B$), with non-empty universe, admits an abundant element. The best result in the literature states that if $|B|=n$, then there…
Let $n$ be a positive integer, and let $R$ be a (possibly infinite dimensional) finitely presented algebra over a computable field of characteristic zero. We describe an algorithm for deciding (in principle) whether $R$ has at most finitely…
The Legendre conjecture has resisted analysis over a century, even under assumption of the Riemann Hypothesis. We present, a significant improvement on previous results by greatly reducing the assumption to a more modest statement called…
A famous conjecture of Parkin-Shanks predicts that $p(n)$ is odd with density $1/2$. Despite the remarkable amount of work of the last several decades, however, even showing this density is positive seems out of reach. In a 2018 paper with…
The Bernoulli convolution $\nu_\lambda$ with parameter $\lambda\in(0,1)$ is the probability measure supported on $\mathbf{R}$ that is the law of the random variable $\sum\pm\lambda^n$, where the $\pm$ are independent fair coin-tosses. We…
We prove the existence of subspace designs with any given parameters, provided that the dimension of the underlying space is sufficiently large in terms of the other parameters of the design and satisfies the obvious necessary divisibility…
According to modern quantum physics, at the microlevel, the dimension of space-time is at least 11; we only observe 4 dimensions because the others are compactified: the size along each of the other dimensions is much smaller than the…
It was conjectured that the augmentation ideal of a dihedral quandle of even order $n>2$ satisfies $|\Delta^k(\text{R}_n)/\Delta^{k+1}(\text{R}_{n})|=n$ for all $k\geq 2$. In this article we provide a counterexample against this conjecture.
The divisor function $\sigma(n)$ sums the divisors of $n$. We call $n$ abundant when $\sigma(n) - n > n$ and perfect when $\sigma(n) - n = n$. I recently introduced the recursive divisor function $a(n)$, the recursive analog of the divisor…
There has been increased recent interest in understanding the relationship between the symbolic powers of an ideal and the geometric properties of the corresponding variety. While a number of results are available for the two-dimensional…
Let $(X, \Delta)$ be a klt threefold pair with nef anti-log canonical bundle $-(K_X+\Delta)$. We show that $\kappa(X, -(K_X+\Delta))\geq 0$. To do so, we prove a more general equivariant non-vanishing result for anti-log canonical bundles,…
Given a finite nonempty sequence of integers S, by grouping adjacent terms it is always possible to write it, possibly in many ways, as S = X Y^k, where X and Y are sequences and Y is nonempty. Choose the version which maximizes the value…
Let X be a compact K\"ahler manifold whose universal covering is $\mathbb C^n$. A conjecture of Iitaka claims that X is a torus, up to finite \'etale cover. We prove this conjecture in various cases in dimension four. We also show that in…
A strong version of Andrica's conjecture can be formulated as follows: Except for $p_n\in\{3,7,13,23,31,113\}$, that is $n\in\{2,4,6,9,11,30\}$, one has$\sqrt{p_{n+1}}-\sqrt{p_n} < \frac{1}{2}.$ While a proof is far out of reach I shall…
A new dimension function on countable-dimensional algebras (over a field) is described. Its dimension values for finitely generated algebras exactly fill the unit interval $[0,1]$. Since the free algebra on two generators turns out to have…
Consider an ensemble of pure quantum states |\psi_j>, j=1,...,n taken with prior probabilities p_j respectively. We show that it is possible to increase all of the pairwise overlaps |<\psi_i|\psi_j>| i.e. make each constituent pair of the…
Let $\sigma(x)$ be the sum of the divisors of $x$. If $N$ is odd and $\sigma(N) = 2N$, then the odd perfect number $N$ is said to be given in Eulerian form if $N = {q^k}{n^2}$ where $q$ is prime with $q \equiv k \equiv 1 \pmod 4$ and…
Give deterministic necessary and sufficient conditions to guarantee that if a subspace fits certain partially observed data from a union of subspaces, it is because such data really lies in a subspace. Furthermore, Give deterministic…
Kifer, Peres, and Weiss proved that there exists $c_0>0,$ such that $\dim \mu\leq 1-c_0$ for any probability measure $\mu$ which makes the digits of the continued fraction expansion i.i.d. random variables. In this paper we prove that…
The impossibility of eliminating hallucination, understood here as incorrect definite answers, in sufficiently expressive yes-or-no formal domains is an immediate consequence of classical undecidability theorems. This note does not revisit…