English
Related papers

Related papers: Variants of Solovay reducibility

200 papers

By extending the classical quantitative approximation results for positive and linear operators in $L^{p}([0, 1]), 1\le p \le +\infty$ of Berens and DeVore in 1978 and of Swetits and Wood in 1983 to the more general case of sublinear,…

Functional Analysis · Mathematics 2022-12-05 Sorin G. Gal , Constantin P. Niculescu

This paper constitutes a first attempt to do analysis with skew polynomials. Precisely, our main objective is to develop a theory of residues for skew rational functions (which are, by definition, the quotients of two skew polynomials). We…

Rings and Algebras · Mathematics 2021-06-18 Xavier Caruso

From some observations on the linear differential operators occurring in the Lattice Green function of the d-dimensional face centred and simple cubic lattices, and on the linear differential operators occurring in the n-particle…

Mathematical Physics · Physics 2025-02-11 S. Hassani , J-M. Maillard , N. Zenine

Markov Logic Networks (MLNs) define a probability distribution on relational structures over varying domain sizes. Many works have noticed that MLNs, like many other relational models, do not admit consistent marginal inference over varying…

Artificial Intelligence · Computer Science 2022-05-06 Sagar Malhotra , Luciano Serafini

We bound the number of distinct minimal subsystems of a given transitive subshift of linear complexity, continuing work of Ormes and Pavlov [7]. We also bound the number of generic measures such a subshift can support based on its…

Dynamical Systems · Mathematics 2021-07-01 Andrew Dykstra , Nicholas Ormes , Ronnie Pavlov

Semantic role labeling (SRL) aims at elaborating the meaning of a sentence by forming a predicate-argument structure. Recent researches depicted that the effective use of syntax can improve SRL performance. However, syntax is a complicated…

Computation and Language · Computer Science 2020-12-29 Kashif Munir , Hai Zhao , Zuchao Li

Selberg's central limit theorem states that the values of $\log|\zeta(1/2+i \tau)|$, where $\tau$ is a uniform random variable on $[T,2T]$, is distributed like a Gaussian random variable of mean $0$ and standard deviation…

Probability · Mathematics 2021-04-20 Eli Amzallag , Louis-Pierre Arguin , Emma Bailey , Kelvin Hui , Rajesh Rao

Let ${X_1,...,X_n}$ be i.i.d. random observations. Let $\mathbb{S}=\mathbb{L}+\mathbb{T}$ be a $U$-statistic of order $k\ge2$ where $\mathbb{L}$ is a linear statistic having asymptotic normal distribution, and $\mathbb{T}$ is a…

Probability · Mathematics 2009-12-14 Vidmantas Bentkus , Bing-Yi Jing , Wang Zhou

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…

Logic · Mathematics 2018-12-10 Vasco Brattka , Joseph S. Miller , André Nies

Convolutional codes were originally conceived as vector subspaces of a finite-dimensional vector space over a field of Laurent series having a polynomial basis. Piret and Roos modeled cyclic structures on them by adding a module structure…

Rings and Algebras · Mathematics 2026-01-13 José Gómez-Torrecillas , José Patricio Sánchez-Hernández

The paper is concerned with approximating the distribution of a sum W of n integer valued random variables Y_i, whose distributions depend on the state of an underlying Markov chain X. The approximation is in terms of a translated Poisson…

Probability · Mathematics 2008-10-06 A. D. Barbour , Torgny Lindvall

The impressive performance of recent language models across a wide range of tasks suggests that they possess a degree of abstract reasoning skills. Are these skills general and transferable, or specialized to specific tasks seen during…

Computation and Language · Computer Science 2024-04-01 Zhaofeng Wu , Linlu Qiu , Alexis Ross , Ekin Akyürek , Boyuan Chen , Bailin Wang , Najoung Kim , Jacob Andreas , Yoon Kim

This survey covers some of the recent developments on noncommutative motives and their applications. Among other topics, we compute the additive invariants of relative cellular spaces and orbifolds; prove Kontsevich's semi-simplicity…

Algebraic Geometry · Mathematics 2017-09-04 Goncalo Tabuada

The feasibility of extrapolation of completely monotone functions can be quantified by examining the worst case scenario, whereby a pair of completely monotone functions agree on a given interval to a given relative precision, but differ as…

Complex Variables · Mathematics 2024-02-02 Henry J. Brown , Yury Grabovsky

Recent advances in large language models (LLMs) have made reasoning a central benchmark for evaluating intelligence. While prior surveys focus on efficiency by examining how to shorten reasoning chains or reduce computation, this view…

Artificial Intelligence · Computer Science 2026-04-01 Chao Wu , Baoheng Li , Mingchen Gao , Yu Tian , Zhenyi Wang

Reinforcement Learning with Verifiable Rewards (RLVR) has significantly improved large language model (LLM) reasoning in formal domains such as mathematics and code. Despite these advancements, LLMs still struggle with general reasoning…

Artificial Intelligence · Computer Science 2026-04-13 Ashima Suvarna , Kendrick Phan , Mehrab Beikzadeh , Hritik Bansal , Saadia Gabriel

Reynold's parametricity theory captures the property that parametrically polymorphic functions behave uniformly: they produce related results on related instantiations. In dependently-typed programming languages, such relations and…

Logic in Computer Science · Computer Science 2017-07-13 Abhishek Anand , Greg Morrisett

This paper discusses a forgotten remark of Paul L\'evy (1935), determining the asymptotic distribution of sums of i.i.d. random variables with tails $cx^{-\alpha}\psi(\log x)$, where $0<\alpha<2$ and $\psi$ is a periodic function on…

Probability · Mathematics 2016-09-28 István Berkes

We prove logarithmic Sobolev inequalities and concentration results for convex functions and a class of product random vectors. The results are used to derive tail and moment inequalities for chaos variables (in spirit of Talagrand and…

Probability · Mathematics 2007-05-23 Radoslaw Adamczak

In this article, we study translations between variants of defaults logics such that the extensions of the theories that are the input and the output of the translation are in a bijective correspondence. We assume that a translation can…

Artificial Intelligence · Computer Science 2021-04-12 Paolo Liberatore
‹ Prev 1 8 9 10 Next ›