Related papers: Bounded m-ary Patch-Width Are Equivalent For m > 2
We prove that any closed map between metrizable spaces can be extended to a closed map between completely metrizable spaces with the same extensional dimension.
The P versus NP problem is addressed in a context of provability and limitations on the possibility of finding sound axioms for formal theories. It is shown that if the term "constructible theory" is defined in a way which satisfies certain…
We give criteria for boundedness of the associated Bergman-type projections on Lp-spaces on Cn with respect to generalized Gaussian weights exp(-|z|^2m). Complete characterization is obtained for 0<m<=1 and 2n/(2n-1)<m<2; partial results…
In this paper, we describe the properties of the $i$-components of Hamming codes. We suggest constructions of the admissible families of components of Hamming codes. It is shown that every $q$-ary code of length $m$ and minimum distance 5…
A Banach space is locally almost square if, for every $y$ in its unit sphere, there exists a sequence $(x_n)$ in its unit sphere such that $\lim\|y\pm x_n\|=1$. A Banach space is weakly almost square if, in addition, we require the sequence…
This paper deals with three tools to compare proof-theoretic strength of formal arithmetical theories: interpretability, $\Pi^0_1$-conservativity and proving restricted consistency. It is well known that under certain conditions these three…
An $n$-ary associative function is called reducible if it can be written as a composition of a binary associative function. We summarize known results when the function is defined on a chain and is nondecreasing. Our main result shows that…
Simple constructions are given for finite semifields that include as special cases both old semifields and recently constructed semifields.
We introduce a notion of constructibility for \'etale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We…
We characterize observable sets for 1-dim Schr\"{o}dinger equations in $\mathbb{R}$: $i \partial_t u = (-\partial_x^2+x^{2m})u$ (with $m\in \mathbb{N}:=\{0,1,\dots\}$). More precisely, we obtain what follows: First, when $m=0$,…
We show that if a graph is k-edge-connected, and we adjoin to it another graph satisfying a "contracted diameter less or equal to 2" condition, with minimal degree greater or equal to k, and some natural hypothesis on the edges connecting…
We present an ansatz which enables us to construct heterotic/M-theory dual pairs in four dimensions. It is checked that this ansatz reproduces previous results and that the massless spectra of the proposed dual pairs agree. The new dual…
One of Courcelle's celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic is fixed-parameter tractable on C by linear time parameterised algorithms. An immediate…
Amenability is a geometric property of convex cones that is stronger than facial exposedness and assists in the study of error bounds for conic feasibility problems. In this paper we establish numerous properties of amenable cones, and…
It is shown that certain diffeomorphism or homeomorphism groups with no restriction on support of an open manifold with finite number of ends are bounded. It follows that these groups are uniformly perfect. In order to characterize the…
In this paper we study some splitting properties on complete noncompact manifolds with smooth measures when $\infty$-dimensional Bakry-\'Emery Ricci curvature is bounded from below by some negative constant and spectrum of the weighted…
In this paper, we consider constructibility of simplicial 3-balls. In many cases, examining 1-dimensional subcomplexes of a simplicial 3-ball is efficient to solve the decision problem whether the simplicial 3-ball is constructible or not.…
This letter proposes a direct construction for cross Z-complementary sets (CZCSs) with flexible lengths and a large zero correlation zone (ZCZ). CZCS is an extension of the cross Z-complementary pair (CZCP). The maximum possible ZCZ width…
We introduce monoidal width as a measure of the difficulty of decomposing morphisms in monoidal categories. For graphs, we show that monoidal width and two variations capture existing notions, namely branch width, tree width and path width.…
A boundedly compact (boundedly weakly compact) m-connected (Menger-connected) set is shown to be monotone path-\allowbreak connected and is a sun in a broad class of Banach spaces (in particular, in separable spaces). Further, the…