English
Related papers

Related papers: On a total function which overtakes all total recu…

200 papers

We formulate and prove a general recurrence relation that applies to integrals involving orthogonal polynomials and similar functions. A special case are connection coefficients between two sets of orthonormal polynomials, another example…

Classical Analysis and ODEs · Mathematics 2023-08-17 Jing Gao , Arieh Iserles

Given a sound first-order p-time theory $T$ capable of formalizing syntax of first-order logic we define a p-time function $g_T$ that stretches all inputs by one bit and we use its properties to show that $T$ must be incomplete. We leave it…

Logic in Computer Science · Computer Science 2026-02-16 Jan Krajicek

Aslam presents an algorithm he claims will count the number of perfect matchings in any incomplete bipartite graph with an algorithm in the function-computing version of NC, which is itself a subset of FP. Counting perfect matchings is…

Computational Complexity · Computer Science 2009-05-15 Frank Ferraro , Garrett Hall , Andrew Wood

We prove the existence of common hypercyclic entire functions for uncountable families of translation type operators. Contrary to our previous work [34], here the parameter which reflects the uncountable family lies on the unit circle. On…

Functional Analysis · Mathematics 2014-12-08 Nikos Tsirivas

NP complete problem is one of the most challenging issues. The question of whether all problems in NP are also in P is generally considered one of the most important open questions in mathematics and theoretical computer science as it has…

Computational Complexity · Computer Science 2015-05-04 Wenhong Tian , GuoZhong Li , Xinyang Wang , Qin Xiong , Yaqiu Jiang

The main purpose of this paper is to study generalized (self-) reciprocal Appell polynomials, which play a certain role in connection with Faulhaber-type polynomials. More precisely, we show for any Appell sequence when satisfying a…

Number Theory · Mathematics 2024-06-26 Bernd C. Kellner

The classical Grothendieck inequality is viewed as a statement about representations of functions of two variables over discrete domains by integrals of two-fold products of functions of one variable. An analogous statement is proved,…

Functional Analysis · Mathematics 2012-11-20 Ron Blei

The primary purpose of this article is to study the asymptotic and numerical estimates in detail for higher degree polynomials in $\pi(x)$ having a general expression of the form, \begin{align*} P(\pi(x)) - \frac{e x}{\log x} Q(\pi(x/e)) +…

General Mathematics · Mathematics 2024-08-20 Subham De

For a polynomial $f(x)\in \mathbb Z[x]$ we study an analogue of Jacobsthal function, defined by the formula \[ j_f(N)=\max_{m}\{\text{For some } x\in \mathbb N \text{ the inequality } (x+f(i),N)>1 \text{ holds for all }i\leq m\}. \] We…

Number Theory · Mathematics 2023-12-05 Alexander Kalmynin , Sergei Konyagin

A quasisymmetric function is assigned to every double poset (that is, every finite set endowed with two partial orders) and any weight function on its ground set. This generalizes well-known objects such as monomial and fundamental…

Combinatorics · Mathematics 2026-04-14 Darij Grinberg

The primary goal of this paper is to introduce and investigate generalized incomplete exponential functions with matrix parameters. Integral representation, differential formula, addition formula, multiplication formula, and recurrence…

Classical Analysis and ODEs · Mathematics 2023-08-25 Ashish Verma , Komal Singh Yadav

A common theme of enumerative combinatorics is formed by counting functions that are polynomials evaluated at positive integers. In this expository paper, we focus on four families of such counting functions connected to hyperplane…

Combinatorics · Mathematics 2013-10-07 Matthias Beck

The number partition problem is a well-known problem, which is one of 21 Karp's NP-complete problems \cite{karp}. The partition function is a boolean function that is equivalent to the number partition problem with number range restricted.…

Computational Complexity · Computer Science 2022-12-25 Chuyu Xiong

The purpose of this article is to examine and limit the conditions in which the P complexity class could be equivalent to the NP complexity class. Proof is provided by demonstrating that as the number of clauses in a NP-complete problem…

Computational Complexity · Computer Science 2008-09-07 Jerrald Meek

The powers of generating functions and its properties are analyzed. A new class of functions is introduced, based on the application of compositions of an integer $n$, called composita. The methods for obtaining reciprocal and reverse…

Combinatorics · Mathematics 2012-11-15 Vladimir Kruchinin

Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These…

Logic · Mathematics 2020-06-23 Sam Sanders

The overarching theme of the following pages is that mathematical logic -- centered around the incompleteness theorems -- is first and foremost an investigation of $\textit{computation}$, not arithmetic. Guided by this intuition we will…

Computational Complexity · Computer Science 2024-06-14 Sebastian Oberhoff

We study the quadratic residue problem known as an NP complete problem by way of the prime number and show that a nondeterministic polynomial process does not belong to the class P because of a random distribution of solutions for the…

General Mathematics · Mathematics 2012-12-29 Minoru Fujimoto , Kunihiko Uehara

In this note we introduce a notion of a generically (strongly generically) NP-complete problem and show that the randomized bounded version of the halting problem is strongly generically NP-complete.

Computational Complexity · Computer Science 2016-06-06 Alexei Miasnikov , Alexander Ushakov

Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational…

Logic · Mathematics 2018-07-27 Benedict Eastaugh