English
Related papers

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

200 papers

Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…

General Mathematics · Mathematics 2026-03-13 Marcoen J. T. F. Cabbolet , Adrian R. D. Mathias

In this paper, we provide some inequalities for $P$-class functions and self-adjoint operators on a Hilbert space including an operator version of the Jensen's inequality and the Hermite-Hadamard's type inequality. We improve the…

Functional Analysis · Mathematics 2020-01-22 Ismail Nikoufar , Davuod Saeedi

The universal approximation theorem, in one of its most general versions, says that if we consider only continuous activation functions $\sigma$, then a standard feedforward neural network with one hidden layer is able to approximate any…

Machine Learning · Computer Science 2020-02-18 Kai Fong Ernest Chong

Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…

Number Theory · Mathematics 2022-03-01 Joseph Burnett , Alex Taylor

In a recent paper by S. Gubin [cs/0701023v1], a polynomial-time solution to the 3SAT problem was presented as proof that P=NP. The proposed algorithm cannot be made to work, which I shall demonstrate.

Computational Complexity · Computer Science 2007-05-23 Blake Hegerle

In this paper we discusses the relationship between the known classes P and NP. We show that the difficulties in solving problem "P versus NP" have methodological in nature. An algorithm for solving any problem is sensitive to even small…

Discrete Mathematics · Computer Science 2016-03-03 Anatoly D. Plotnikov

We consider natural variants of Lehmer's unresolved conjecture that Ramanujan's tau-function never vanishes. Namely, for $n>1$ we prove that $$\tau(n)\not \in \{\pm 1, \pm 3, \pm 5, \pm 7, \pm 691\}.$$ This result is an example of general…

Number Theory · Mathematics 2020-05-22 Jennifer S. Balakrishnan , William Craig , Ken Ono

We give an exposition of Natural Topology (NToP), which highlights its advantages for exact computation. The NToP-definition of the real numbers (and continuous real functions) matches recent expert recommendations for exact real…

General Topology · Mathematics 2018-06-06 Frank Waaldijk

Let $p(n)$ be the partition function. Ahlgren and Ono conjectured that every arithmetic progression contains infinitely many integers $N$ for which $p(N)$ is not congruent to $0\pmod{3}$. Radu proved this conjecture in 2010 using work of…

Number Theory · Mathematics 2014-07-29 Geoffrey D. Smith , Lynnelle Ye

In this paper, we show that there is no vectorial Boolean function of degree 4e, with e satisfaying certain conditions, which is APN over infinitely many extensions of its field of definition. It is a new step in the proof of the conjecture…

Information Theory · Computer Science 2013-10-01 Florian Caullery

As Paris and Harrington have famously shown, Peano Arithmetic does not prove that for all numbers $k,m,n$ there is an $N$ which satisfies the statement $\operatorname{PH}(k,m,n,N)$: For any $k$-colouring of its $n$-element subsets the set…

Logic · Mathematics 2020-08-06 Anton Freund

This paper proves that there does not exist a polynomial-time algorithm to the the subset sum problem. As this problem is in NP, the result implies that the class P of problems admitting polynomial-time algorithms does not equal the class…

General Mathematics · Mathematics 2020-11-23 Jorma Jormakka

We introduce a method based on Bezout's theorem on intersection points of two projective plane curves, for determining the nonlinearity of some classes of quadratic functions on $\mathbb{F}_{2^{2m}}$. Among those are the functions of…

Number Theory · Mathematics 2019-04-30 Nurdagül Anbar , Tekgül Kalaycı , Wilfried Meidl

The existence of one-way functions is arguably the most important problem in computer theory. The article discusses and refines a number of concepts relevant to this problem. For instance, it gives the first combinatorial complete owf,…

Cryptography and Security · Computer Science 2021-08-23 Leonid A. Levin

The purpose of this paper is to describe a unified approach to proving vector-valued inequalities without relying on the full strength of weighted theory. Our applications include the Fefferman-Stein and Cordoba-Fefferman inequalities, as…

Classical Analysis and ODEs · Mathematics 2013-11-19 Ciprian Demeter , Prabath Silva

In this work we study the Artin-Mazur zeta function for piecewise monotone functions acting on a compact interval of real numbers. In the case of unimodal maps, Milnor and Thurston gave a characterization for the rationality of the…

Dynamical Systems · Mathematics 2024-05-21 Jorge Olivares-Vinales

This is the continuation of the article by the author that proves a broader class of families admitting the theorem of restriction of sections other than Abelian varieties and gives new examples of pseudo-N\'eron models. In this work, we…

Algebraic Geometry · Mathematics 2019-09-18 Santai Qu

In this paper, a detrimental mathematical mistake is pointed out in the proof of \textit{Theorem 1} presented in the paper\textit{ [Generalization of the gradient method with fractional order gradient direction, J. Franklin Inst., 357…

Optimization and Control · Mathematics 2020-09-14 Abdul Wahab , Shujaat Khan

The main result of the paper is the Fibonacci-like property of the partition function. The partition function $p(n)$ has a property: $p(n) \leq p(n-1) + p(n-2)$. Our result shows that if we impose certain restrictions on the partition, then…

Number Theory · Mathematics 2023-08-15 Qi-Yang Zheng

To extend Iwasawa's classical theorem from ${\mathbb Z}_p$-towers to ${\mathbb Z}_p^d$-towers, Greenberg conjectured that the exponent of $p$ in the $n$-th class number in a ${\mathbb Z}_p^d$-tower of a global field $K$ ramified at finitely…

Number Theory · Mathematics 2018-05-30 Daqing Wan