Related papers: On Arroyo-Figueroa's Proof that $\mathrm{P} \neq \…
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…
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…
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$…
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…
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…
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,…
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…
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…
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…
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.
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…
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…
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…
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…
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…
We show that Fueter's theorem holds for a more general class of quaternionic functions than those constructed by the Fueter's method.
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…
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,…
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…
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)…