Related papers: Coarse nodal count and topological persistence
Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so far on frameworks for reasoning about path expressions…
In topology, a torus remains invariant under certain non-trivial transformations known as modular transformations. In the context of topologically ordered quantum states of matter, these transformations encode the braiding statistics and…
We study the Kondo effect induced by a topological soliton in a one-dimensional Dirac system with the sign-changing mass term. The soliton hosts a localized zero mode whose spatially extended wavefunction leads to a momentum-dependent…
We generalize the theory of Lorentz-covariant distributions to broader classes of functionals including ultradistributions, hyperfunctions, and analytic functionals with a tempered growth. We prove that Lorentz-covariant functionals with…
In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle. The largest compatible function, called the companion, subsumes…
We define a class of multiparameter persistence modules that arise from a one-parameter family of functions on a topological space and prove that these persistence modules are stable. We show that this construction can produce…
We study the resonant prescribed T-curvature problem on a compact 4-dimensional Riemannian manifold with boundary. We derive sharp energy and gradient estimates of the associated Euler-Lagrange functional to characterize the critical points…
This paper proposes a method to address the longstanding problem of lack of monotonicity in estimation of conditional and structural quantile functions, also known as the quantile crossing problem. The method consists in sorting or monotone…
This paper proves a corona theorem for the algebra of Radon measures compactly supported in $\mathbb{R}_-$ and this result is applied to provide a necessary and sufficient Hautus--type frequency criterion for the $L^1$ exact controllability…
We investigate the behavior of functional countability and exponential separability in products and subspaces of topological spaces. We solve a problem of Tkachuk by showing that the product of functionally countable pseudocompact spaces is…
Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent data types. Scott continuous functions represent computable…
We suggest an upper bound on binomial coefficients that holds over the entire parameter range and whose form repeats the form of the de Moivre-Laplace approximation of the symmetric binomial distribution. Using the bound, we estimate the…
We investigate the measure of nodal sets for Robin and Neumann eigenfunctions in the domain and on the boundary of the domain. A polynomial upper bound for the interior nodal sets is obtained for Robin eigenfunctions in the smooth domain.…
In this article, we introduce the notion of locally uniformly d-controlling map between Lorentzian pre-length spaces which is preserving the diameters of causal diamonds, and through that we establish the coarea inequality for Lorentzian…
We present sufficient conditions so that a conformal map between planar domains whose boundary components are Jordan curves or points has a continuous or homeomorphic extension to the closures of the domains. Our conditions involve the…
We present a constraint-based algorithm for learning causal structures from observational time-series data, in the presence of latent confounders. We assume a discrete-time, stationary structural vector autoregressive process, with both…
A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…
We consider singular continuous Anderson operators $H=\Delta+\xi$ on closed manifolds of dimension 1 and 2, and prove a unique continuation property for its eigenfunctions using the theory of quasi-conformal mappings. We investigate its…
We extend the classical Mercer theorem to reproducing kernel Hilbert spaces whose elements are functions from a measurable space $X$into $\mathbb C^n$. Given a finite measure $\mu$ on $X$, we represent the reproducing kernel $K$ as…
We develop relativistic causality theory in the setting of point-free topology by introducing a notion of causal coverage in ordered locales, generalising their canonical coverage relation to incorporate causal structure. This improves…