Related papers: Linear extensions of partial orders and Reverse Ma…

In this paper we have investigated enumeration orders of elements of r.e. sets enumerated by means of Turing machines. We have defined a reducibility based on enumeration orders named "Enumeration Order Reducibility" on computable functions…

The class of support $\tau$-tilting modules was introduced to provide a completion of the class of tilting modules from the point of view of mutations. In this article we study $\tau$-tilting finite algebras, i.e. finite dimensional…

By reformulating a learning process of a set system L as a game between Teacher (presenter of data) and Learner (updater of the abstract independent set), we define the order type dim L of L to be the order type of the game tree. The theory…

In this paper, we first give formulas for the order polynomial $\Omega (\Pw; t)$ and the Eulerian polynomial $e(\Pw; \lambda)$ of a finite labeled poset $(P, \omega)$ using the adjacency matrix of what we call the $\omega$-graph of $(P,…

If $0 < \gamma_1 \le \gamma_2 \le \gamma_3 \le \ldots$ denote ordinates of complex zeros of the Riemann zeta-function $\zeta(s)$, then several results involving the maximal order of $\gamma_{n+1}-\gamma_n$ and the sum $$ \sum_{0<\gamma_n\le…

We investigate the relationship between the poles of Igusa zeta integrals and the unextendability of semi-invariant distributions. Under some algebraic conditions, we obtain an upper bound for the order of the poles of Igusa zeta integral,…

Let \tau(.) be the Ramanujan \tau-function, and let k be a positive integer such that \tau(n) is not 0 for n=1,...,[k/2]. (This is known to be true for k < 10^{23}, and, conjecturally, for all k.) Further, let s be a permutation of the set…

Preconditioning is essential in iterative methods for solving linear systems. It is also the implicit objective in updating approximations of Jacobians in optimization methods, e.g.,in quasi-Newton methods. Motivated by the latter, we study…

The aim of Reverse Mathematics(RM for short)is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. These minimal axioms are almost always equivalent to the theorem, working over the base theory of RM, a weak…

In this paper, we study the well extension of strict(irreflective) partial well orderings. We first prove that any partially well-ordered structure <A, R> can be extended to a well-ordered one. Then we prove that every linear extension of…

We introduce the zeta number, natural halting probability and natural complexity of a Turing machine and we relate them to Chaitin's Omega number, halting probability, and program-size complexity. A classification of Turing machines…

It is known that the set of all nonnegative integers may be equipped with a total order that is chaotic in the sense that there is no monotone three-term arithmetic progressions. Such chaotic order must be so complicated that the resulting…

We construct quasi-periodic solutions of the universal hierarchy which includes the multi-component KP and Toda hierarchies and show how they fit into the bilinear formalism. The tau-function is expressed in terms of the Riemann…

Motivated by the search for idempotent cellular automata (CA), we study CA that act almost as the identity unless they read a fixed pattern $p$. We show that constant and symmetrical patterns always produce idempotent CA, and we…

We continue the dynamical reformulation of the Riemann Hypothesis initiated in [1]. The framework is built from an integer map in which composites advance by pi(m) and primes retreat by their prime gap, producing trajectories whose…

A natural consequence of the fractional calculus is its extension to a matrix order of differentiation and integration. A matrix-order derivative definition and a matrix-order integration arise from the generalization of the gamma function…

We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a…

We provide a general theoretical framework allowing us to extend the classical Lie theory for partial differential equations to the case of equations of fractional order. We propose a general prolongation formula for the study of Lie…

We revisit a representation for the Riemann zeta function $\zeta(s)$ expressed in terms of normalised incomplete gamma functions given by the author and S. Cang in Methods Appl. Anal. {\bf 4} (1997) 449--470. Use of the uniform asymptotics…

We describe an explicit `higher rank' Iwasawa theory for zeta elements associated to the multiplicative group over abelian extensions of general number fields. We then show that this theory leads to a concrete new strategy for proving…