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

Let $n$-Medvedev's logic $\mathbf{ML}_n$ be the intuitionistic logic of Medvedev frames based on the non-empty subsets of a set of size $n$, which we call $n$-Medvedev frames. While these are tabular logics, after characterizing…

This paper explores the connections between tempering (for Sequential Monte Carlo; SMC) and entropic mirror descent to sample from a target probability distribution whose unnormalized density is known. We establish that tempering SMC…

We develop further the consequences of the irreducible-Boolean classification established in Ref. [9]; which have the advantage of allowing strong statistical calculations in disordered Boolean function models, such as the…

We prove that if a recursively presented group admits a (nonempty) subshift of finite type with nonzero Medvedev degree then it fails to have the strong topological Rokhlin property. This result simplifies a known criterion and provides new…

We introduce new invariant tensors in CR structures which can be viewed as higher order Levi forms. Using the second and third order tensors, we give a complete formal normal form (in the sense of Chern-Moser) for a real hypersurface at a…

Conditional on the extended Riemann hypothesis, we show that with high probability, the characteristic polynomial of a random symmetric $\{\pm 1\}$-matrix is irreducible. This addresses a question raised by Eberhard in recent work. The main…

We establish an effective version of the classical Lie--Kolchin Theorem. Namely, let $A,B\in\mathrm{GL}_m(\mathbb{C})$ be quasi--unipotent matrices such that the Jordan Canonical Form of $B$ consists of a single block, and suppose that for…

In this paper characters of the normaliser of $d$-split Levi subgroups in $\mathrm {SL}_n(q)$ and $\mathrm {SU}_n(q)$ are parametrized with a particular focus on the Clifford theory between the Levi subgroup and its normalizer.These results…

Koutras has proposed some methods to construct reducible proper conformal Killing tensors and Killing tensors (which are, in general, irreducible) when a pair of orthogonal conformal Killing vectors exist in a given space. We give the…

We show that the Conjecture of Voevodsky concerning slices of the algebraic cobordism spectrum MGL implies a general statement about the slices of motivic Landweber spectra. In particular it confirms the possible approach suggested by…

We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent polynomials.

Sampling is a fundamental and arguably very important task with numerous applications in Machine Learning. One approach to sample from a high dimensional distribution $e^{-f}$ for some function $f$ is the Langevin Algorithm (LA). Recently,…

This paper is mainly devoted to the study of the reversed Hardy-Littlewood-Sobolev (HLS) inequality on Heisenberg group $\mathbb{H}^n$ and CR sphere $\mathbb{S}^{2n+1}$. First, we establish the roughly reversed HLS inequality and give a…

Unlike Martin-L\"of randomness and Schnorr randomness, computable randomness has not been defined, except for a few ad hoc cases, outside of Cantor space. This paper offers such a definition (actually, several equivalent definitions), and…

In this paper we explore the fundamentals of the Martingale Representation Theorem (MRT) and a closely related result, the Clark-Ocone formula. We also investigate how far these theorems can be taken, notably beyond the regular Sobolev…

In [MMR], Micha\l{}ek--Mir\'o-Roig give a beautiful geometric characterization of Artinian quotients by ideals generated by quadratic or cubic monomials, such that the multiplication map by a general linear form fails to be injective in the…

This paper introduces the MCML approach for empirically studying the learnability of relational properties that can be expressed in the well-known software design language Alloy. A key novelty of MCML is quantification of the performance of…

We use Stein's method to prove a generalization of the Lindeberg-Feller CLT providing an upper and a lower bound for the superior limit of the Kolmogorov distance between a normally distributed random variable and the rowwise sums of a…

Atomistic machine learning (ML) is a powerful tool for accurate and efficient investigation of material behavior at the atomic scale. While such models have been constructed within Cartesian space to harness geometric information and…

We find relations between real root decompositions of triples of Lie algebras corresponding to standard compact Clifford-Klein forms, under the assumption that these triples are not Lie algebra decompositions in the sense of Onishchik. This…