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

The main goal of this paper is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result from (Vereshchagin, 2002) saying that $\limsup_n\KS(x|n)$ (here $\KS(x|n)$ is…

The pursuit of robustness has recently been a popular topic in reinforcement learning (RL) research, yet the existing methods generally suffer from efficiency issues that obstruct their real-world implementation. In this paper, we introduce…

For mass problems $P,Q\subseteq {\mathbb{N}^\mathbb{N}}$ (Baire space), $P$ is Medvedev reducible to $Q$ ($P\leq_sQ$) if for some Turing funcional $\Phi$, $\Phi(Q)\subseteq P$, and Medvedev equivalent to $Q$ if also $Q\leq_sP$. Shafer asked…

The familiar second derivative test for convexity, combined with resolvent calculus, is shown to yield a useful tool for the study of convex matrix-valued functions. We demonstrate the applicability of this approach on a number of theorems…

While the set of Martin-L\"of random left-c.e. reals is equal to the maximum degree of Solovay reducibility, Miyabe, Nies and Stephan(DOI:10.4115/jla.2018.10.3) have shown that the left-c.e. Schnorr random reals are not closed upwards under…

We first give a deformation theory of integrable distributions of codimension 1. We define a parametrization of families of smooth hypersurfaces near a Levi flat hypersurface L such that the Levi flat deformations are given by the solutions…

We extend classical results on the classification of reversible elements of the group $\mathrm{GL}(n, \mathbb{C})$ (and $\mathrm{GL}(n, \mathbb{R})$) to $\mathrm{GL}(n, \mathbb{H})$ using an infinitesimal version of the classical…

The recently successful Munchausen Reinforcement Learning (M-RL) features implicit Kullback-Leibler (KL) regularization by augmenting the reward function with logarithm of the current stochastic policy. Though significant improvement has…

Consider a random matrix $H:\mathbb{R}^n\longrightarrow\mathbb{R}^m$. Let $D\geq2$ and let $\{W_l\}_{l=1}^{p}$ be a set of $k$-dimensional affine subspaces of $\mathbb{R}^n$. We ask what is the probability that for all $1\leq l\leq p$ and…

Implementations of known reductions of the Strong Real Jacobian Conjecture (SRJC), to the case of an identity map plus cubic homogeneous or cubic linear terms, and to the case of gradient maps, are shown to preserve significant algebraic…

Hardy-Littlewood-Sobolev (HLS) Inequality fails in the "critical" case: \mu=n. However, for discrete HLS, we can derive a finite form of HLS inequality with logarithm correction for a critical case: \mu=n and p=q, by limiting the inequality…

In this paper, a $\mathbb{Q}$HD singularity is a weighted homogeneous normal surface singularity admitting a rational homology disk ($\mathbb{Q}$HD) smoothing. These singularities are rational but often not log canonical. We classify all…

In this paper, we study a subclass of the class of MD-algebras, i.e., the class of solvable real Lie algebras such that the K-orbits of its corresponding connected and simply connected Lie groups are either orbits of dimension zero or…

Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity…

We study isolated quotient singularities by finite and linearly reductive group schemes (lrq singularities for short) and show that they satisfy many, but not all, of the known properties of finite quotient singularities in characteristic…

In these notes we review some basic facts about the LLV Lie algebra. It is a rational Lie algebra, introduced by Looijenga-Lunts and Verbitsky, acting on the rational cohomology of a compact K\"{a}hler manifold. We study its structure and…

We reformulate slightly Russell's notion of typicality, so as to eliminate its circularity and make it applicable to elements of any first-order structure. We argue that the notion parallels Martin-L\"{o}f (ML) randomness, in the sense that…

We study the problem of estimating the means of well-separated mixtures when an adversary may add arbitrary outliers. While strong guarantees are available when the outlier fraction is significantly smaller than the minimum mixing weight,…

The remarkable advancements in Multimodal Large Language Models (MLLMs) have not rendered them immune to challenges, particularly in the context of handling deceptive information in prompts, thus producing hallucinated responses under such…

Although LLMs have shown great performance on Mathematics and Coding related reasoning tasks, the reasoning capabilities of LLMs regarding other forms of reasoning are still an open problem. Here, we examine the issue of reasoning from the…