Related papers: N^N^N does not satisfy Normann's condition

We introduce a new technique for proving kernelization lower bounds, called cross-composition. A classical problem L cross-composes into a parameterized problem Q if an instance of Q with polynomially bounded parameter value can express the…

The Lott-Sturm-Villani curvature-dimension condition $\mathsf{CD}(K,N)$ provides a synthetic notion for a metric measure space to have curvature bounded from below by $K$ and dimension bounded from above by $N$. It has been recently proved…

A result of Chernoff gives sufficient condition for an $L^2$-function on $\R^n$ to be quasi-analytic. This is a generalization of the classical Denjoy-Carleman theorem on $\R$ and of the subsequent work on $\R^n$ by Bochner and Taylor. In…

We consider approximations of a continuous function on a countable normed Fr\'{e}chet space by analytic and $*$-analytic. Also we found a criterium of the existence of an extension of a continuous function from a dense subspace of a…

Let $ \Omega \subset R^2$ be a bounded piecewise smooth domain and $\phi_\lambda$ be a Neumann (or Dirichlet) eigenfunction with eigenvalue $\lambda^2$ and nodal set ${ N}_{\phi_{\lambda}} = {x \in \Omega; \phi_{\lambda}(x) = 0}.$ Let $H…

Hybrid logic with binders is an expressive specification language. Its satisfiability problem is undecidable in general. If frames are restricted to N or general linear orders, then satisfiability is known to be decidable, but of…

Point-to-point reflection holding for harmonic functions subject to the Dirichlet or Neumann conditions on an analytic curve in the plane almost always fails for solutions to more general elliptic equations. We develop a non-local,…

Cartan's uniqueness theorem does not hold in general for CR mappings, but it does hold under certain conditions guaranteeing extendibility of CR functions to a fixed neighborhood. These conditions can be defined naturally for a wide class…

We give an example of a real algebraic manifold embedded in a complex space that does not satisfy the Nash-Artin approximation Property. This Nash-Artin approximation Property is closely related to the problem of determining when the…

In this paper, we study some topological characteristics of the n-normed spaces. We observe convergence sequences, closed sets, and bounded sets in the n-normed spaces using norms of quotient spaces that will be constructed. These norms…

The classical theory of $G$-structures, which include almost-complex structures, explains the relationship between the curvature of compatible connections and integrability. This note is an effort to understand how the curvature of…

A continuous map C^d -> C^N is a complex k-regular embedding if any k pairwise distinct points in C^d are mapped by f into k complex linearly independent vectors in C^N. Our central result on complex k-regular embeddings extends results of…

We prove that if an $n$-dimensional space $X$ satisfies certain topological conditions then any triangulation of $X$ as well as any its representation as a simplicial set with contractible faces has at least $2^n$ faces of dimension $n$.…

Let $T$ be a polynomially bounded operator, and let $\mathcal M$ be its invariant subspace. Suppose that $P_{\mathcal M^\perp}T|_{\mathcal M^\perp}$ is similar to a contraction, while $\theta(T|_{\mathcal M})=0$, where $\theta$ is a finite…

For metric measure spaces verifying the reduced curvature-dimension condition $CD^*(K,N)$ we prove a series of sharp functional inequalities under the additional assumption of essentially non-branching. Examples of spaces entering this…

In earlier work, the author described various stratification conditions for a complex analytic set X in terms of the theory of integral closure of modules. However, even if an analytic set has a reduced structure, often geometric operations…

This paper exposes a contradiction in the Zermelo-Fraenkel set theory with the axiom of choice (ZFC). While Godel's incompleteness theorems state that a consistent system cannot prove its consistency, they do not eliminate proofs using a…

In this note we prove convergence of Green functions with Neumann boundary conditions for the random walk to their continuous counterparts. Also a few Beurling type hitting estimates are obtained for the random walk on discretizations of…

We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powerspace construction does not preserve core-compactness…

Expected duality and approximation properties are shown to fail on Bergman spaces of domains in $\mathbb{C}^n$, via examples. When the domain admits an operator satisfying certain mapping properties, positive duality and approximation…