English
Related papers

Related papers: On Arroyo-Figueroa's Proof that $\mathrm{P} \neq \…

200 papers

Let d be a positive integer. We show a finiteness theorem for semialgebraic RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti-Shiota's finiteness theorem for semialgebraic RL equivalence…

Algebraic Geometry · Mathematics 2021-06-21 Satoshi Koike , Laurentiu Paunescu

We present an approximation notion for NP-hard optimization problems represented by binary functions. We prove that (assuming P != NP) the new notion is strictly stronger than FPTAS, but strictly weaker than having a polynomial-time…

Computational Complexity · Computer Science 2026-05-08 Samuel Bismuth , Erel Segal-Halevi

In $R^d$, define a maximal function in the directions $v\in \directions\subset\{x \mid \abs x=1\}$ by $$ M^\directions f(x)=\sup_{v\in\directions} \sup_{\zve} \int_{-\ze}^\ze \abs{f(x-vy)} dy. $$ For a function $f$ on $\ZR^d$, let $S_\zw f$…

Classical Analysis and ODEs · Mathematics 2007-05-23 Grigor Karagulyan , Michael T Lacey

We present recently obtained results in the theory of pseudoanalytic functions and its applications to elliptic second-order equations. The operator (divpgrad+q) with p and q being real valued functions is factorized with the aid of Vekua…

Complex Variables · Mathematics 2010-07-09 Vladislav V. Kravchenko

Treating a conjecture, P^#P != NP, on the separation of complexity classes as an axiom, an implication is found in three manifold topology with little obvious connection to complexity theory. This is reminiscent of Harvey Friedman's work on…

Computational Complexity · Computer Science 2009-06-17 M. Freedman

We disprove, by means of numerical examples, the existence of a Riemann-Hurwitz formula for the p-ranks of relative class groups in a p-ramified p-extension K/k of number fields of CM-type containing ?\_p. In the cyclic case of degree p,…

Number Theory · Mathematics 2021-08-06 Georges Gras

The radical solution of polynomials with rational coefficients is a famous solved problem. This paper found that it is a $\mathbb{NP}$ problem. Furthermore, this paper found that arbitrary $ \mathscr{P} \in \mathbb{P}$ shall have a one-way…

Computational Complexity · Computer Science 2024-05-28 Bojin Zheng , Weiwu Wang

For several classical nonnegative integer functions, we investigate if they are members of the counting complexity class #P or not. We prove #P membership in surprising cases, and in other cases we prove non-membership, relying on standard…

Computational Complexity · Computer Science 2022-04-29 Christian Ikenmeyer , Igor Pak

P-value functions are modern statistical tools that unify effect estimation and hypothesis testing and can provide alternative point and interval estimates compared to standard meta-analysis methods, using any of the many $p$-value…

Methodology · Statistics 2025-02-24 Leonhard Held , Felix Hofmann , Samuel Pawel

I give a counter example of function field over GF(2) of genus 4 with class number one. This result contradicts a previous result in [2], Section 2 so that proof is wrong.

Number Theory · Mathematics 2013-11-26 Claudio Stirpe

We show that the One-way ANOVA and Tukey-Kramer (TK) tests agree on any sample with two groups. This result is based on a simple identity connecting the Fisher-Snedecor and studentized probabilistic distributions and is proven without any…

Statistics Theory · Mathematics 2021-05-25 Vladimir Gurvich , Mariya Naumova

In this paper, by making use of a certain family of fractional derivative operators in the complex domain, we introduce and investigate a new subclass $\mathcal{P}_{\tau,\mu}(k,\delta,\gamma)$ of analytic and univalent functions in the open…

Complex Variables · Mathematics 2015-11-06 Zainab Esa , H. M. Srivastava , Adem Kilicman , Rabha W. Ibrahim

In part I we reduced the arithmetic (characteristic zero) version of the P \not \subseteq NP conjecture to the problem of showing that a variety associated with the complexity class NP cannot be embedded in the variety associated the…

Computational Complexity · Computer Science 2007-05-23 Ketan D Mulmuley , Milind Sohoni

J. L. Rubio de Francia proved the one-sided Littlewood--Paley inequality for arbitrary intervals in $L^p$, $2\le p<\infty$ and later N. N. Osipov proved the similar inequality for Walsh functions. In this paper we investigate some…

Functional Analysis · Mathematics 2021-11-16 Anton Tselishchev

The concept of monogenic functions over real alternative $\ast$-algebras has recently been introduced to unify several classical monogenic (or regular) functions theories in hypercomplex analysis, including quaternionic, octonionic, and…

Complex Variables · Mathematics 2026-05-19 Qinghai Huo , Guangbin Ren , Zhenghua Xu

We show that Fueter's theorem holds for a more general class of quaternionic functions than those constructed by the Fueter's method.

Analysis of PDEs · Mathematics 2007-05-23 Daniel Alayon-Solarz

For a prime $p$ and $p$-power $q$, let $f(x)\in\mathbb{F}_q[x]$ with $\textrm{deg}\ f$ coprime to $p$. As $\lambda$ varies in $\overline{\mathbb{F}_p^\times}$, Wan has conjectured that the $p$-adic Newton polygon of the corresponding…

Number Theory · Mathematics 2024-03-12 Matthew Schmidt

We introduce the notion of $(\mathcal F,p)$-valent functions. We concentrate in our investigation on the case, where $\mathcal F$ is the class of polynomials of degree at most $s$. These functions, which we call $(s,p)$-valent functions,…

Classical Analysis and ODEs · Mathematics 2015-03-03 Omer Friedland , Yosef Yomdin

We study the rational Picard group of the projectivized moduli space of holomorphic n-differentials on complex genus g stable curves. We define (n - 1) natural classes in this Picard group that we call Prym-Tyurin classes. We express these…

Algebraic Geometry · Mathematics 2017-10-04 Dmitri Korotkin , Adrien Sauvaget , Peter Zograf

We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct full truth class over a model M of PA implies that Con(PA)…

Logic · Mathematics 2025-12-29 Ali Enayat
‹ Prev 1 3 4 5 6 7 10 Next ›