Related papers: A note on an inverse theorem for a generalised mod…
We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that…
We prove two results on converse theorems for Hilbert modular forms over totally real fields of degree $r>1$. The first result recovers a Hilbert modular form (of some level) from an $L$-series satisfying functional equations twisted by all…
Generalizing a geometric idea due to J. Sondow, we give a geometric proof for the Cantor's Theorem. Moreover, it is given an irrationality measure for some Cantor series.
Reverse order law for the Moore-Penrose inverses of tensors are useful in the field of multilinear algebra. In this paper, we first prove some more identities involving the Moore-Penrose inverse of tensors. We then obtain a few necessary…
Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…
In the Orlicz type spaces ${\mathcal S}_{M}$, we prove direct and inverse approximation theorems in terms of the best approximations of functions and moduli of smoothness of fractional order. We also show the equivalence between moduli of…
We introduce the notion of joint torsion for several commuting operators satisfying a Fredholm condition. This new secondary invariant takes values in the group of invertibles of a field. It is constructed by comparing determinants…
By extending the classical quantitative approximation results for positive and linear operators in $L^{p}([0, 1]), 1\le p \le +\infty$ of Berens and DeVore in 1978 and of Swetits and Wood in 1983 to the more general case of sublinear,…
We give a new simpler proof of a theorem of Jayne and Rogers.
In the present paper, an inverse result of approximation, i.e., a saturation theorem for the sampling Kantorovich operators is derived, in the case of uniform approximation for uniformly continuous and bounded functions on the whole real…
In this paper, we prove a Morse index theorem for the index form of even order linear Hamiltonian systems on the closed interval with reasonable self-adjoint boundary conditions. The highest order term is assumed to be nondegenerate.
We study generalized inverses on semigroups by means of Green's relations. We first define the notion of inverse along an element and study its properties. Then we show that the classical generalized inverses (group inverse, Drazin inverse…
A generalization of the second main theorem of tropical Nevanlinna theory is presented for noncontinuous piecewise linear functions and for tropical hypersurfaces without requiring a growth condition. The method of proof is novel and…
In this paper, besides a counterexample to Bloch's principle, normality criteria leading to counterexamples to the converse of Bloch's principle in several complex variables are proved. Some Picard-type theorems and their corresponding…
We investigate commutator operations on compatible uniformities of an algebra. We present a commutator operation for compatible uniformities of an algebra in a congruence-modular variety which extends the commutator on congruences, and…
We generalize a result of Ruzsa on the inverse Erdos-Fuchs theorem for k-fold sumsets.
We prove the generic base change theorem for stacks, and give an exposition on the lisse-analytic topos of complex analytic stacks, proving some comparison theorems between various derived categories of complex analytic stacks. This enables…
For any given finite abelian group, we give factorizations of the group determinant in the group algebra of any subgroup. The factorizations are an extension of Dedekind's theorem. The extension leads to a generalization of Dedekind's…
Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…
The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension for multi-conclusion consequence relations was obtained by…