Related papers: Coarse nodal count and topological persistence

It is well known that derivatives of solutions to elliptic boundary value problems may become unbounded near the corner of a domain with a conical singularity, even if the data are smooth. When the corner domain is approximated by more…

Let $\Omega\subset \mathbb R^d\,, d\geq 2$, be a bounded open set, and denote by $\lambda\_j(\Omega), j\geq 1$, the eigenvalues of the Dirichlet Laplacian arranged in nondecreasing order, with multiplicities. The weak form of Pleijel's…

Let $\mu$ be a compactly supported positive finite Borel measure on $\R^{d}$. Let $0<\lambda_{1}\leq\lambda_{2}\leq\ldots$ be eigenvalues of the Kre$\breve{{\i}}$n-Feller operator $\Delta_{\mu}$. We prove that, on a bounded domain, the…

In the long paper "Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by…

We prove the first positive results concerning boundary value problems in the upper half-space of second order parabolic systems only assuming measurability and some transversal regularity in the coefficients of the elliptic part. To do so,…

The Collatz Conjecture's connection to dynamical systems opens it to a variety of techniques aimed at recurrence and density results. First, we turn to density results and strengthen the result of Terras through finding a strict rate of…

We show from a categorical point of view that probability measures on certain measurable or topological spaces arise canonically as the extension of probability distributions on countable sets. We do this by constructing probability monads…

A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hierarchy does not depend on the representation (aka coding)…

This article shows that counting or computing the small eigenvalues of the Witten Laplacian in the semi-classical limit can be done without assuming that the potential is a Morse function as the authors did in [LNV]. In connection with…

Bounds consistency is usually enforced on continuous constraints by first decomposing them into binary and ternary primitives. This decomposition has long been shown to drastically slow down the computation of solutions. To tackle this,…

This article reviews a generous sampling of both classical and more recent results on the interplay between measurable and topological dynamics. In the first part we have surveyed the strong analogies between ergodic theory and topological…

We introduce a continuous domain for function spaces over topological spaces which are not core-compact. Notable examples of such topological spaces include the real line with the upper limit topology, which is used in solution of initial…

The purpose of this note is to use the scaling principle to study the boundary behaviour of some conformal invariants on planar domains. The focus is on the Aumann--Carath\'{e}odory rigidity constant, the higher order curvatures of the…

We address the question of determining the eigenvalues $\lambda\_n$ (listed in nondecreasing order, with multiplicities) for which Courant's nodal domain theorem is sharp i.e., for which there exists an associated eigenfunction with $n$…

Holant problems are a general framework to study the algorithmic complexity of counting problems. Both counting constraint satisfaction problems and graph homomorphisms are special cases. All previous results of Holant problems are over the…

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of…

In this study, we address the eigenvalue problem given by: \begin{equation*} \begin{cases} -\Div (w\nabla u_i)=\la_iu_i &\text{in } \Om\subset \mathbb{R}^n,\\ u_i=0 &\text{on } \pt \Om, \end{cases} \end{equation*} where $w > 0$ within $\Om$…

We prove a microlocal lower bound on the mass of high energy eigenfunctions of the Laplacian on compact surfaces of negative curvature, and more generally on surfaces with Anosov geodesic flows. This implies controllability for the…

Courcelle's Theorem is an important result in graph theory, proving the existence of linear-time algorithms for many decision problems on graphs whose tree-width is bounded by a constant. The purpose of this text is twofold: to provide an…

We apply recent results by the authors to obtain bounds on remainder terms of the Dirichlet Laplace eigenvalue counting function for domains that can be realised as countable disjoint unions of scaled Koch snowflakes. Moreover we compare…