Related papers: The Second Main Theorem Concerning Small Algebroid…
Notion of an open system of second order is introduced. Characteristic function for such an open system is obtained. Model representations of a quadratic non-self-adjoint operator pencil are found.
In Part 1 we study the spherical functions on compact symmetric pairs of arbitrary rank under a suitable multiplicity freeness assumption and additional conditions on the branching rules. The spherical functions are taking values in the…
The relation between representations and positive definite functions is a key concept in harmonic analysis on topological groups. Recently this relation has been studied on topological groupoids. This is the second in a series of papers in…
Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the…
Understanding how singularities behave under small perturbations is a central theme in singularity theory. In this paper we establish sufficient conditions for families of analytic function-germs on a germ of a complex analytic space to…
In this paper, we prove normality criteria for families of meromorphic functions involving sharing of a holomorphic function by a certain class of differential polynomials. Results in this paper extends the works of different authors…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
Let G be the group of points of a quasi-split reductive algebraic group over a local field F. It follows from the local Langlands conjectures that to every non-trivial additive character of F and every representation of the Langlands dual…
This paper continues the study of combinatorial properties of binary functions --- that is, functions $f:2^E\rightarrow\mathbb{C}$ such that $f(\emptyset)=1$, where $E$ is a finite set. Binary functions have previously been shown to admit…
By doubling the target space of a canonical Courant algebroid and subsequently projecting down to a specific subbundle, we identify the data of double field theory (DFT) and hence define its algebroid structure. We specify the properties of…
Let $R$ be an order in an algebraic number field. If $R$ is a principal order, then many explicit results on its arithmetic are available. Among others, $R$ is half-factorial if and only if the class group of $R$ has at most two elements.…
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…
We explore the structure of $\text{Fil}$, the category of filters and germs of admissible partial functions. In particular, we show that $\text{Fil}$ is a nonsymmetric closed category, as defined elsewhere by this and other authors.
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…
This paper has two main results, which relate to a criteria for the Riemann hypothesis via the family of functions $\Theta_\omega(z)=\xi(1/2-\omega-iz)/\xi(1/2+\omega-iz)$, where $\omega>0$ is a real parameter and $\xi(s)$ is the Riemann…
We prove an analogue of Hilbert's Tenth Problem for complex meromorphic functions. More precisely, we prove that the set of integers is positive existentially definable in fields of complex meromorphic functions in several variables over…
This is part II of our book on KAM theory. We start by defining functorial analysis and then switch to the particular case of Kolmogorov spaces. We develop functional calculus based on the notion of local operators. This allows to define…
We introduce a new family of symmetric multivariate polynomials, whose coefficients are meromorphic functions of two parameters $(q,t)$ and polynomial in a further two parameters $(u,v)$. We evaluate these polynomials explicitly as a matrix…
Indicator functions mentioned in the title are constructed on an arbitrary nondiscrete locally compact Abelian group of finite dimension. Moreover, they can be obtained by small perturbation from any indicator function fixed beforehand. In…
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…