Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width

Solving the algebraic dichotomy conjecture for constraint satisfaction problems over structures first-order definable in countably infinite finitely bounded homogeneous structures requires understanding the applicability of local-consistency methods in this setting. We study the amount of consistency (measured by relational width) needed to solve CSP(?) for first-order expansions ? of countably infinite homogeneous graphs ? := (A; E), which happen all to be finitely bounded. We study our problem for structures ? that additionally have bounded strict width, i.e., for which establishing local consistency of an instance of CSP(?) not only decides if there is a solution but also ensures that every solution may be obtained from a locally consistent instance by greedily assigning values to variables, without backtracking. Our main result is that the structures ? under consideration have relational width exactly (2, ?_?) where ?_? is the maximal size of a forbidden subgraph of ?, but not smaller than 3. It beats the upper bound: (2 m, 3 m) where m = max(arity(?)+1, ?, 3) and arity(?) is the largest arity of a relation in ?, which follows from a sufficient condition implying bounded relational width given in [Manuel Bodirsky and Antoine Mottet, 2018]. Since ?_? may be arbitrarily large, our result contrasts the collapse of the relational bounded width hierarchy for finite structures ?, whose relational width, if finite, is always at most (2,3)

Equidimensional Isometric Extensions

Let $\Sigma$ be a hypersurface in an $n$-dimensional Riemannian manifold $M$, $n\geqslant 2$. We study the isometric extension problem for isometric immersions $f:\Sigma\to\mathbb R^n$, where $\mathbb R^n$ is equipped with the Euclidean standard metric. Using a weak form of convex integration suggested by Sz\'ekelyhidi, we construct "one-sided" isometric Lipschitz-extensions and obtain an accompanying density result.Comment: 15 page

hh-Principle for Curves with Prescribed Curvature

We prove that every immersed $C^2$-curve $\gamma$ in $\mathbb R^n$, $n\geqslant 3$ with curvature $k_{\gamma}$ can be $C^1$-approximated by immersed $C^2$-curves having prescribed curvature $k>k_{\gamma}$. The approximating curves satisfy a $C^1$-dense $h$-principle. As an application we obtain the existence of $C^2$-knots of arbitrary positive curvature in each isotopy class, which generalizes a similar result by McAtee for $C^2$-knots of constant curvature.Comment: Final version, to appear in Geometriae Dedicata, 9 pages, 1 figur

Non-integer valued winding numbers and a generalized Residue Theorem

We define a generalization of the winding number of a piecewise $C^1$ cycle in the complex plane which has a geometric meaning also for points which lie on the cycle. The computation of this winding number relies on the Cauchy principal value, but is also possible in a real version via an integral with bounded integrand. The new winding number allows to establish a generalized residue theorem which covers also the situation where singularities lie on the cycle. This residue theorem can be used to calculate the value of improper integrals for which the standard technique with the classical residue theorem does not apply.Comment: Final version, 19 pages, 7 figure

An integral that counts the zeros of a function

Given a real function $f$ on an interval $[a,b]$ satisfying mild regularity conditions, we determine the number of zeros of $f$ by evaluating a certain integral. The integrand depends on $f, f'$ and $f''$. In particular, by approximating the integral with the trapezoidal rule on a fine enough grid, we can compute the number of zeros of $f$ by evaluating finitely many values of $f,f'$ and $f''$. A variant of the integral even allows to determine the number of the zeros broken down by their multiplicity.Comment: 20 pages, 1 figure, final versio