Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAn extension of Herglotzs theorem to the quaternions
188
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
A classical theorem of Herglotz states that a function $nmapsto r(n)$ from $mathbb Z$ into $mathbb C^{stimes s}$ is positive definite if and only there exists a $mathbb C^{stimes s}$-valued positive measure $dmu$ on $[0,2pi]$ such that $r(n)=int_0^{2pi}e^{int}dmu(t)$for $nin mathbb Z$. We prove a quaternionic analogue of this result when the function is allowed to have a number of negative squares. A key tool in the argument is the theory of slice hyperholomorphic functions, and the representation of such functions which have a positive real part in the unit ball of the quaternions. We study in great detail the case of positive definite functions.
rate research
Read More
Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are important because of their first-order definability and canonicity, and hence axiomatize complete modal logics. The first-order properties definable by Sahlqvist formulas were syntactically characterized by Marcus Kracht in 1993. The present paper extends Krachts theorem to the class of `generalized Sahlqvist formulas introduced by Goranko and Vakarelov and describes an appropriate generalization of Kracht formulas.
We revisit and comment on the Harnack type determinantal inequality for contractive matrices obtained by Tung in the nineteen sixtieth and give an extension of the inequality involving multiple positive semidefinite matrices.
We prove that a fractional perfect matching in a non-bipartite graph can be written, in polynomial time, as a convex combination of perfect matchings. This extends the Birkhoff-von Neumann Theorem from bipartite to non-bipartite graphs. The algorithm of Birkhoff and von Neumann is greedy; it starts with the given fractional perfect matching and successively removes from it perfect matchings, with appropriate coefficients. This fails in non-bipartite graphs -- removing perfect matchings arbitrarily can lead to a graph that is non-empty but has no perfect matchings. Using odd cuts appropriately saves the day.
The purpose of this short note is to provide a new and very short proof of a result by Sudakov, offering an important improvement of the classical result by Kolmogorov-Riesz on compact subsets of Lebesgue spaces.
The commutative ambiguity of a context-free grammar G assigns to each Parikh vector v the number of distinct leftmost derivations yielding a word with Parikh vector v. Based on the results on the generalization of Newtons method to omega-continuous semirings, we show how to approximate the commutative ambiguity by means of rational formal power series, and give a lower bound on the convergence speed of these approximations. From the latter result we deduce that the commutative ambiguity itself is rational modulo the generalized idempotence identity k=k+1 (for k some positive integer), and, subsequently, that it can be represented as a weighted sum of linear sets. This extends Parikhs well-known result that the commutative image of context-free languages is semilinear (k=1). Based on the well-known relationship between context-free grammars and algebraic systems over semirings, our results extend the work by Green et al. on the computation of the provenance of Datalog queries over commutative omega-continuous semirings.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
