Related papers: The Nelson conjecture and chain rule property

Yoshida's Conjecture formulated by H. Yoshida in 1989 states that in $\mathbb{C}^{2N}$ equipped with the canonical symplectic form $\mathrm{d}\mathbf{p} \wedge \mathrm{d} \mathbf{q},$ the Hamiltonian flow corresponding to the Hamiltonian…

In this note we show that a set is provably $\Delta^0_2$ in the fragment $I\Sigma_n$ of arithmetic iff it is $I\Sigma_n$-provably in the class $D_\alpha$ of $\alpha$-r.e. sets in the Ershov hierarchy for an $\alpha <_{\epsilon_0}…

If $f\colon [0,1]^2 \to \mathbb{R}$ is of class $C^2$ then Sard's theorem implies that $f$ has the following relaxed Sard property: the image under $f$ of the Lebesgue measure restricted to the critical set of $f$ is a singular measure. We…

We develop an Ornstein--Zernike theory for the two-dimensional random-cluster model with $1 \leq q <4$ that also applies in its near-critical regime. In particular, we prove an asymptotic formula for the two-point function which holds…

We show that the well known $N=1$ NLS equation possesses $N=2$ supersymmetry and thus it is actually the $N=2$ NLS equation. This supersymmetry is hidden in terms of the commonly used $N=1$ superfields but it becomes manifest after passing…

The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…

One deals with r-regular bipartite graphs with 2n vertices. In a previous paper Butera, Pernici, and the author have introduced a quantity d(i), a function of the number of i-matchings, and conjectured that as n goes to infinity the…

We disprove a well-known conjecture of Boston (2000), which claims that a just-infinite pro-$p$ group is branch if and only if it admits a positive-dimensional embedding in the group of $p$-adic automorphisms. This is obtained as a result…

A tantalizing conjecture in discrete mathematics is the one of Koml\'os, suggesting that for any vectors $\mathbf{a}_1,\ldots,\mathbf{a}_n \in B_2^m$ there exist signs $x_1, \dots, x_n \in \{ -1,1\}$ so that $\|\sum_{i=1}^n…

We consider the Stokes resolvent problem in a two-dimensional bounded Lipschitz domain $\Omega$ subject to homogeneous Dirichlet boundary conditions. We prove $\mathrm{L}^p$-resolvent estimates for $p$ satisfying the condition $\lvert 1 / p…

We prove that if any $\lfloor3d/2 \rfloor$ or fewer elements of a finite family of linear operators $\mathbb K^d\to \mathbb K^d$ ($\mathbb K$ is an arbitrary field) have a common eigenvector then all operators in the family have a common…

Szemeredi's regularity lemma can be viewed as a rough structure theorem for arbitrary dense graphs, decomposing such graphs into a structured piece (a partition into cells with edge densities), a small error (corresponding to irregular…

A result of Simonovits and S\'os states that for any fixed graph $H$ and any $\epsilon > 0$ there exists $\delta > 0$ such that if $G$ is an $n$-vertex graph with the property that every $S \subseteq V(G)$ contains $p^{e(H)} |S|^{v(H)} \pm…

We establish a new theory of regularity for elliptic complex valued second order equations of the form $\mathcal L=$div$A(\nabla\cdot)$, when the coefficients of the matrix $A$ satisfy a natural algebraic condition, a strengthened version…

Denote by $\Delta$ the Laplacian and by $\Delta_\infty$ the $\infty$-Laplacian. A fundamental inequality is proved for the algebraic structure of $\Delta v\Delta_\infty v$: for every $v\in C^{\infty}$, $$\bigg| |D^2vDv|^2-\Delta…

Seymour's Second Neighborhood Conjecture (SNC) states that every oriented graph contains a vertex whose second neighborhood is as large as its first neighborhood. We investigate the SNC for orientations of both binomial and pseudo random…

We consider an eigenvalue problem for the generalized nonlinear Schr\"{o}dinger type operator with the Robin boundary condition as given below. \begin{equation*} \label{ab-Robin p-Laplace evp with potential term_intro} \left\{ \begin{split}…

In $\mathbb R^d$, $d \geq 3$, consider the divergence and the non-divergence form operators \begin{equation} \tag{$i$} - \nabla \cdot a \cdot \nabla + b \cdot \nabla, \end{equation} \begin{equation} \tag{$ii$} - a \cdot \nabla^2 + b \cdot…

We establish operator-valued versions of the earlier foundational factorization results for noncommutative polynomials due to Helton (Ann.~Math., 2002) and one of the authors (Linear Alg.~Appl., 2001). Specifically, we show that every…

B\o gvad and H\"agg proved that for a rational function with simple poles, the zeros of successive derivatives accumulate on the Voronoi diagram of the pole set, and the normalized zero-counting measures converge to a canonical probability…