arXiv subjects

Harald Woracek

Publications and source records attributed to Harald Woracek.

At least 19 recordsLinked to original sources

arXiv2026

Convex algebras on an interval with semicontinuous monotone operations

In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and satisfy certain semicontinuity properties occurred. We fully classify those algebraic structures by giving an explicit construction of all possible convex operations on [0,1] possessing the mentioned properties. Our result thus describes exactly the range of theories to which Mio's theorem applies.

cs.LO↗

arXiv2026

Homomorphisms and subalgebras of free convex semilattices

A convex semilattices is a convex algebra endowed with an additional semilattice operation that satisfies a distributive law. We investigate free convex semilattices by studying the homomorphisms into products RΩ and, more specifically, the homomorphisms between two free finitely generated convex semilattices. We characterise the finitely generated subalgebras of a free finitely generated convex semilattice.

math.RA↗

arXiv2026

The direct spectral problem for indefinite canonical systems

For indefinite (Pontryagin space) canonical systems that contain an inner singularity we prove the existence of generalised boundary values at the singularity, which are used to formulate interface conditions. With the help of such interface conditions we construct the monodromy matrix of the canonical system and write it as a product of matrices, which separates the contributions of the Hamiltonian function and the finitely many discrete parameters that are associated with the singularity.

math.SP↗

arXiv2025

Canonical systems whose Weyl coefficients have regularly varying asymptotics

For a two-dimensional canonical system $y'(t)=zJH(t)y(t)$ on an interval $(0,L)$ with $0<L\le\infty$ whose Hamiltonian $H$ is a.e.\ positive semidefinite, denote by $q_H$ its Weyl coefficient. De~Branges' inverse spectral theorem states that the assignment $H\mapsto q_H$ is a bijection between trace-normalised Hamiltonians and Nevanlinna functions. We prove that $q_H$ has an asymptotics towards $i\infty$ whose leading term is some (complex) multiple of a regularly varying function if and only if the primitive $M$ of $H$ is regularly or rapidly varying at $0$ and its off-diagonal entries do not oscillate too much. The leading term in the asymptotics of $q_H$ towards $i\infty$ is related to the behaviour of $M$ towards $0$ by explicit formulae. The speed of growth in absolute value depends only on the diagonal entries of $M$, while the argument of the leading coefficient corresponds to the relative size of the off-diagonal entries. Translated to the spectral measure $μ_H$ and the Hamiltonian $H$, this means that the diagonal of $H$ determines the growth of the symmetrised distribution function of $μ_H$, and the relative size and sign distribution of its off-diagonal is a measure for the asymmetry of $μ_H$. The results are applied to Sturm--Liouville equations, Krein strings and generalised indefinite strings to prove similar characterisations for the asymptotics of the corresponding Weyl coefficients.

math.SP↗

arXiv2025

Cancellative Convex Semilattices

Convex semilattices are algebras that are at the same time a convex algebra and a semilattice, together with a distributivity axiom. These algebras have attracted some attention in the last years as suitable algebras for probability and nondeterminism, in particular by being the Eilenberg-Moore algebras of the nonempty finitely-generated convex subsets of the distributions monad. A convex semilattice is cancellative if the underlying convex algebra is cancellative. Cancellative convex algebras have been characterized by M. H. Stone and by H. Kneser: A convex algebra is cancellative if and only if it is isomorphic to a convex subset of a vector space (with canonical convex algebra operations). We prove an analogous theorem for convex semilattices: A convex semilattice is cancellative if and only if it is isomorphic to a convex subset of a Riesz space, i.e., a lattice-ordered vector space (with canonical convex semilattice operations).

cs.LO↗

arXiv2025

Spectral properties of canonical systems: discreteness and distribution of eigenvalues

In this survey paper we review classical results and recent progress about a certain topic in the spectral theory of two-dimensional canonical systems. Namely, we consider the questions whether the spectrum $σ$ is discrete, and if it is, what is its density. Here we measure density by the growth of the counting function of $σ$ in the sense of integrability or $\limsup$-conditions relative to suitable comparison functions. These questions have been around for many years. However, full answers have been obtained only very recently -- in partly still unpublished work. The way we measure density of eigenvalues must be clearly distinguished from spectral asymptotics, where one asks for an asymptotic expansion of eigenvalues. We explicitly and on purpose do not go into this direction and do not present any results about spectral asymptotics. We understand this survey as a focussed presentation of results revolving around the initially stated questions, and not as an exhaustive account on the literature which is in the one or other way related to the area. It does not contain any proofs, but we do comment on proof methods. The theorems we present are very diverse. They rely on different methods from operator theory, complex analysis, and classical analysis, and beautifully invoke the interplay between these areas. Besides the fundamental theorems solving the problem and several selected additions, we decided to include a number of results devoted to the spectral theory of Jacobi matrices, in other words, to the Hamburger moment problem. The connection between the theories of canonical systems and moment problems gives rise to important new insights, yet seems to be less widely known than other connections, e.g., with Krein-Feller or Schrödinger operators. We compile all necessary prerequisites from the general theory to make the exposition as self-contained as possible. It is our aim that this survey can be read and enjoyed by a broad community, including non-specialist readers.

math.SP↗

arXiv2024

Eigenvalue distribution of canonical systems: trace class and sparse spectrum

In this paper we consider two-dimensional canonical systems with discrete spectrum and study their eigenvalue densities. We develop a formula that determines the Stieltjes transform of the eigenvalue counting function up to universal multiplicative constants. An explicit criterion is given for the resolvents of the model operator to belong to a Schatten-von Neumann class with index 0<p<2, thus giving an answer to the long-standing question which canonical systems have trace class resolvents. For canonical systems with two limit circle endpoints we develop an algorithm for determining the growth of the monodromy matrix up to a small error. Moreover, we present examples to illustrate our results, show their sharpness and prove an inverse result giving explicit formulae.

math.SP↗

arXiv2024

Homogeneous spaces of entire functions

Homogeneous spaces are de Branges' Hilbert spaces of entire functions with the property that certain weighted rescaling transforms induce isometries of the space into itself. A classical example of a homogeneous space is the Paley-Wiener space of entire functions with exponential type at most a being square integrable on the real axis. Other examples occur in the theory of the Bessel equation. Being homogeneous is a strong property, and one can describe all homogeneous spaces, their structure Hamiltonians, and the measures associated with chains of such spaces, explicitly in terms of powers, logarithms, and confluent hypergeometric functions. The theory of homogeneous spaces was in large parts settled by L.de Branges in the early 1960's. However, in his work some connections and explicit formulae are not given, some results are stated without a proof, and last but not least a mistake occurs which seemingly remained unnoticed up to the day. In this paper we give a detailed account on homogeneous spaces. We provide explicit proofs for all formulae and relations between the mentioned objects, and correct the mentioned mistake.

math.CV↗

arXiv2024

Necessary and sufficient conditions for universality limits

We derive necessary and sufficient conditions for universality limits for orthogonal polynomials on the real line and related systems. One of our results is that the Christoffel-Darboux kernel has sine kernel asymptotics at a point $ξ$, with regularly varying scaling, if and only if the orthogonality measure (spectral measure) has a unique tangent measure at $ξ$ and that tangent measure is the Lebesgue measure. This includes all prior results with absolutely continuous or singular measures. Our work is not limited to bulk universality; we show that the Christoffel-Darboux kernel has a regularly varying scaling limit with a nontrivial limit kernel if and only if the orthogonality measure has a unique tangent measure at $ξ$ and that tangent measure is not a point mass. The possible limit kernels correspond to homogeneous de Branges spaces; in particular, this equivalence completely characterizes several prominent universality classes such as hard edge universality, Fisher-Hartwig singularities, and jump discontinuities in the weights. The main part of the proof is the derivation of a new homeomorphism. In order to directly apply to the Christoffel-Darboux kernel, this homeomorphism is between measures and chains of de Branges spaces, not between Weyl functions and Hamiltonians. In order to handle limits with power law weights, this homeomorphism goes beyond the more common setting of Poisson-finite measures, and allows arbitrary power bounded measures.

math.CA↗

arXiv2024

Karamata's theorem for regularised Cauchy transforms

We prove Abelian and Tauberian theorems for regularised Cauchy transforms of positive Borel measures on the real line whose distribution functions grow at most polynomially at infinity. In particular, we relate the asymptotics of the distribution functions to the asymptotics of the regularised Cauchy transform.

math.CV↗

arXiv2023

Spectral multiplicity of selfadjoint Schroedinger operators on star-graphs with general interface conditions

We consider selfadjoint operators obtained by pasting a finite number of boundary relations with one-dimensional boundary space. A typical example of such an operator is the Schrödinger operator on a star-graph with a finite number of finite or infinite edges and an interface condition at the common vertex. A wide class of "selfadjoint" interface conditions, subject to a assumption which is generically satisfied, is considered. We investigate properties of spectral multiplicity of singular spectrum (continuous as well as point) in terms of the spectral data of decoupled operators.

math.SP↗

arXiv2023

Canonical systems whose Weyl coefficients have dominating real part

For a two-dimensional canonical system $y'(t)=zJH(t)y(t)$ on the half-line $(0,\infty)$ whose Hamiltonian $H$ is a.e. positive semi-definite, denote by $q_H$ its Weyl coefficient. De Branges' inverse spectral theorem states that the assignment $H\mapsto q_H$ is a bijection between Hamiltonians (suitably normalised) and Nevanlinna functions. The main result of the paper is a criterion when the singular integral of the spectral measure, i.e. Re $q_H(iy)$, dominates its Poisson integral Im $q_H(iy)$ for $y\to+\infty$. Two equivalent conditions characterising this situation are provided. The first one is analytic in nature, very simple, and explicit in terms of the primitive $M$ of $H$. It merely depends on the relative size of the off-diagonal entries of $M$ compared with the diagonal entries. The second condition is of geometric nature and technically more complicated, but explicit in terms of $H$ itself. It involves the relative size of the off-diagonal entries of $H$, a measurement for oscillations of the diagonal of $H$, and a condition on the speed and smoothness of the rotation of $H$.

math.SP↗

arXiv2023

Direct and inverse spectral theorems for a class of canonical systems with two singular endpoints

Part I of this paper deals with two-dimensional canonical systems $y'(x)=zJH(x)y(x)$, $x\in(a,b)$, whose Hamiltonian $H$ is non-negative and locally integrable, and where Weyl's limit point case takes place at both endpoints $a$ and $b$. We investigate a class of such systems defined by growth restrictions on $H$ towards $a$. We develop a direct and inverse spectral theory parallel to the theory of Weyl and de Branges for systems in the limit circle case at $a$. Our approach proceeds via -- and is bound to -- Pontryagin space theory. It relies on spectral theory and operator models in such spaces, and on the theory of de Branges Pontryagin spaces. The main results concerning the direct problem are: (1) showing existence of regularized boundary values at $a$; (2) construction of a singular Weyl coefficient and a scalar spectral measure; (3) construction of a Fourier transform and computation of its action and the action of its inverse as integral transforms. The main results for the inverse problem are: (4) characterization of the class of measures that are obtained via the above construction (positive Borel measures with power growth at $\pm\infty$); (5) a global uniqueness theorem (if Weyl functions or spectral measures coincide, Hamiltonians essentially coincide); (6) a local uniqueness theorem. In Part II of the paper the results of Part I are applied to Sturm--Liouville equations with singular coefficients. We investigate classes of equations without potential (in particular, equations in impedance form) and Schrödinger equations, where coefficients are assumed to be singular but subject to growth restrictions. We obtain corresponding direct and inverse spectral theorems.

math.SP↗

arXiv2023

An upper bound for the Nevanlinna matrix of an indeterminate moment sequence

The solutions of an indeterminate Hamburger moment problem can be parameterised using the Nevanlinna matrix of the problem. The entries of this matrix are entire functions of minimal exponential type, and any growth less than that can occur. An indeterminate moment problem can be considered as a canonical system in limit circle case by rewriting the three-term recurrence of the problem to a first order vector-valued recurrence. We give a bound for the growth of the Nevanlinna matrix in terms of the parameters of this canonical system. In most situations this bound can be evaluated explicitly. It is sharp in the sense that for well-behaved parameters it coincides with the actual growth of the Nevanlinna matrix up to multiplicative constants.

math.CA↗

arXiv2023

Estimates for the Weyl coefficient of a two-dimensional canonical system

For a two-dimensional canonical system $y'(t)=zJH(t)y(t)$ on some interval $(a,b)$ whose Hamiltonian $H$ is a.e. positive semi-definite and which is regular at $a$ and in the limit point case at $b$, denote by $q_H$ its Weyl coefficient. De Branges' inverse spectral theorem states that the assignment $H\mapsto q_H$ is a bijection between Hamiltonians (suitably normalised) and Nevanlinna functions. We give upper and lower bounds for $|q_H(z)|$ and $\operatorname{Im} q_H(z)$ when $z$ tends to $i\infty$ non-tangentially. These bounds depend on the Hamiltonian $H$ near the left endpoint $a$ and determine $|q_H(z)|$ up to universal multiplicative constants. We obtain that the growth of $|q_H(z)|$ is independent of the off-diagonal entries of $H$ and depends monotonically on the diagonal entries in a natural way. The imaginary part is, in general, not fully determined by our bounds (in forthcoming work we shall prove that for "most" Hamiltonians also $\operatorname{Im} q_H(z)$ is fully determined). We translate the asymptotic behaviour of $q_H$ to the behaviour of the spectral measure $μ_H$ of $H$ by means of Abelian--Tauberian results and obtain conditions for membership of growth classes defined by weighted integrability condition (Kac classes) or by boundedness of tails at $\pm\infty$ w.r.t. a weight function. Moreover, we apply our results to Krein strings and Sturm--Liouville equations.

math-ph↗

arXiv2022

A growth estimate for the monodromy matrix of a canonical system

We investigate the spectrum of 2-dimensional canonical systems in the limit circle case. It is discrete and, by the Krein-de Branges formula, cannot be more dense than the integers. But in many cases it will be more sparse. The spectrum of a particular selfadjoint realisation coincides with the zeroes of one entry of the monodromy matrix of the system. Classical function theory thus establishes an immediate connection between the growth of the monodromy matrix and the distribution of the spectrum. We prove a generic and flexibel upper estimate for the monodromy matrix, use it to prove a bound for the case of a continuous Hamiltonian, and construct examples which show that this bound is sharp. The first two results run along the lines of earlier work of R.Romanov, but significantly improve upon these results. This is seen even on the rough scale of exponential order.

math.SP↗

arXiv2021

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively

We reprove the countable splitting lemma by adapting Nawrotzki's algorithm which produces a sequence that converges to a solution. Our algorithm combines Nawrotzki's approach with taking finite cuts. It is constructive in the sense that each term of the iteratively built approximating sequence as well as the error between the approximants and the solution is computable with finitely many algebraic operations.

cs.LO↗

arXiv2021

Limit behaviour of Weyl coefficients

We study the sets of radial or nontangential limit points towards $i\infty$ of a Nevanlinna function q. Given a nonempty, closed, and connected subset L of $C_+$ , we explicitly construct a Hamiltonian H such that the radial- and outer angular cluster sets towards $i\infty$ of the Weyl coefficient q H are both equal to L. Our method is based on a study of the continuous group action of rescaling operators on the set of all Hamiltonians.

math.FA↗