Related papers: Strong Medvedev reducibilities and the KL-randomne…

Looijenga--Lunts and Verbitsky showed that the cohomology of a compact hyper-K\"ahler manifold $X$ admits a natural action by the Lie algebra $\mathfrak{so} (4, b_2(X)-2)$, generalizing the Hard Lefschetz decomposition for compact K\"ahler…

Using the approach of N. Etemadi for the Strong Law of Large Numbers (SLLN) from 1981 and the elaboration of this approach by S. Cs\"org\H{o}, K. Tandori and V. Totik from 1983, I give weak conditions under which the SLLN still holds for…

Let $\mathrm{Lie} \left(n, k\right)$ denote the class of all $n$-dimensional real solvable Lie algebras having $k$-dimensional derived ideal ($1 \leqslant k \leqslant n-1$). In 1993, the class $\mathrm{Lie} \left(n, 1\right)$ was completely…

We study sigma-ideals and regularity properties related to the "filter-Laver" and "dual-filter-Laver" forcing partial orders. An important innovation which enables this study is a dichotomy theorem proved recently by Miller [1]. [1] Arnold…

We consider filtered or graded algebras $A$ over a field $K$. Assume that there is a discrete valuation $O_v$ of $K$ with $m_v$ its maximal ideal and $k_v:=O_v/m_v$ its residue field. Let $\Lambda$ be $O_v$-order such that $\Lambda K=A$ and…

Kolmogorov introduced an informal calculus of problems in an attempt to provide a classical semantics for intuitionistic logic. This was later formalised by Medvedev and Muchnik as what has come to be called the Medvedev and Muchnik…

Let $K$ be an algebraically closed field of characteristic zero, $\delta$ a nonzero $\mathcal{E}$-derivation of $K[x]$. We first prove that $\operatorname{Im}\delta$ is a Mathieu-Zhao space of $K[x]$ in some cases. Then we prove that LFED…

Let $(R,m)$ be a Cohen-Macaulay local ring of positive dimension $d$ and infinite residue field. Let $I$ be an m-primary ideal and $J$ a minimal reduction of $I$. In this paper, we show that $\widetilde{r_J(I)}\leq r_J(I)$. This answer to a…

Consider the nonparametric logistic regression problem. In the logistic regression, we usually consider the maximum likelihood estimator, and the excess risk is the expectation of the Kullback-Leibler (KL) divergence between the true and…

In this paper, we study the strong consistency of a bias reduced kernel density estimator and derive a strongly con- sistent Kullback-Leibler divergence (KLD) estimator. As application, we formulate a goodness-of-fit test and an…

We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) As the main result we show that a real number z in [0,1] is computably random if and only if each nondecreasing computable function…

Let $(X,d,\mu)$ be a metric measure space. For $\emptyset\neq R\subseteq (0,\infty)$ consider the Hardy-Littlewood maximal operator $$ M_R f(x) \stackrel{\mathrm{def}}{=} \sup_{r \in R} \frac{1}{\mu(B(x,r))} \int_{B(x,r)} |f| d\mu.$$ We…

The (prefix-free) Kolmogorov complexity of a finite binary string is the length of the shortest description of the string. This gives rise to some `standard' lowness notions for reals: A is K-trivial if its initial segments have the lowest…

Semisimple Lie algebras have been completely classified by Cartan and Killing. The Levi theorem states that every finite dimensional Lie algebra is isomorphic to a semidirect sum of its largest solvable ideal and a semisimple Lie algebra.…

Large language models excel on math benchmarks, but their math reasoning robustness to linguistic variation is underexplored. While recent work increasingly treats high-difficulty competitions like the IMO as the gold standard for…

It is well known that if a random vector satisfies a log-Sobolev inequality, all of its marginals have subgaussian tails. In the spirit of the KLS conjecture, we investigate whether this implication can be reversed under a log-concavity…

We prove that any Novikov algebra over a field of characteristic $\neq 2$ is Lie-solvable if and only if its commutator ideal $[N,N]$ is right nilpotent. We also construct examples of infinite-dimensional Lie-solvable Novikov algebras $N$…

The regularity lemma is a stringent condition of the possible ranks of tensor blow-ups of linear subspaces of matrices. It was proved by Ivanyos, Qiao and Subrahmanyam when the underlying field is sufficiently large. We show that if the…

Bernstein-von Mises results (BvM) establish that the Laplace approximation is asymptotically correct in the large-data limit. However, these results are inappropriate for computational purposes since they only hold over most, and not all,…

Erd\H{o}s posed the question whether there exist infinitely many sets of consecutive numbers whose least common multiple (lcm) exceeds the lcm of another, larger set with greater consecutive numbers. In this paper, we answer this question…