Search

The paper alluded to in the title contains the following striking result: Let $I$ be the unit interval and $\Delta$ the Cantor set. If $X$ is a quasi Banach space containing no copy of $c_0$ which is isomorphic to a closed subspace of a space with a basis and $C(I, X)$ is linearly homeomorphic to $C(\Delta, X)$, then $X$ is locally convex, i.e., a Banach space. It is shown that Kalton result is sharp by exhibiting non locally convex quasi Banach spaces X with a basis for which $C(I, X)$ and $C(\Delta, X)$ are isomorphic. Our examples are rather specific and actually in all cases X is isomorphic to $C(\Delta, X)$ if $K$ is a metric compactum of finite covering dimension., Comment: 4 pages

We characterize functions of finite energy in the plane in terms of their traces on the lines that make up "graph paper" with squares of side length $mn$ for all $n$, and certain $\12-$order Sobolev norms on the graph paper lines. We also obtain analogous results for functions of finite energy on two classical fractals: the Sierpinski gasket and the Sierpinski carpet.

In section 8.3 of our paper "Duality and Flat Base Change on Formal Schemes" (http://arXiv.org/abs/alg-geom/9708006) some important results concerning localization of, and preservation of coherence by, basic duality functors, were based on the false statement that any closed formal subscheme of an open subscheme of the completion P of a relative projective space is an open subscheme of a closed formal subscheme of P. In this note, the said results are provided with solid foundations.

We show that bounded self-contracted curves are rectifiable in metric spaces with weak lower curvature bound in a sense we introduce in this article. This class of spaces is wide and includes, for example, finite-dimensional Alexandrov spaces of curvature bounded below and Berwald spaces of nonnegative flag curvature. (To be more precise, our condition is regarded as a strengthened doubling condition and holds also for a certain class of metric spaces with upper curvature bound.) We also provide the non-embeddability of large snowflakes into (balls in) metric spaces in the same class. We follow the strategy of the last author's previous paper based on the small rough angle condition, where spaces with upper curvature bound are considered. The results in this article show that such a strategy applies to spaces with lower curvature bound as well., Comment: A goofy mistake in formulations of Theorem 2 and 4 is fixed

This short paper gives another proof of the infinitude of primes by using upper box dimension, which is one of fractal dimensions., Comment: 4 pages

We study the classical \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}}$$\end{document}NP-hard problems of finding maximum-size subsets from given sets of k terminal pairs that can be routed via edge-disjoint paths (MaxEDP) or node-disjoint paths (MaxNDP) in a given graph. The approximability of MaxEDP/MaxNDP is currently not well understood; the best known lower bound is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^{\varOmega (\sqrt{\log n})}}$$\end{document}2Ω(logn), assuming \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}\not \subseteq \mathsf {DTIME}(n^{\mathcal {O}(\log n)})}$$\end{document}NP⊈DTIME(nO(logn)). This constitutes a significant gap to the best known approximation upper bound of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{n})}$$\end{document}O(n) due to Chekuri et al. (Theory Comput 2:137–146, 2006), and closing this gap is currently one of the big open problems in approximation algorithms. In their seminal paper, Raghavan and Thompson (Combinatorica 7(4):365–374, 1987) introduce the technique of randomized rounding for LPs; their technique gives an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(1)}$$\end{document}O(1)-approximation when edges (or nodes) may be used by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}\left( \log n/\log \log n\right) }$$\end{document}Ologn/loglogn paths. In this paper, we strengthen the fundamental results above. We provide new bounds formulated in terms of the feedback vertex set number r of a graph, which measures its vertex deletion distance to a forest. In particular, we obtain the following results:For MaxEDP, we give an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{r} \log ({k}r))}$$\end{document}O(rlog(kr))-approximation algorithm. Up to a logarithmic factor, our result strengthens the best known ratio \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{n})}$$\end{document}O(n) due to Chekuri et al., as \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r\le n}$$\end{document}r≤n.Further, we show how to route \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varOmega ({\text {OPT}}^{*})}$$\end{document}Ω(OPT∗) pairs with congestion bounded by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\log (kr)/\log \log (kr))}$$\end{document}O(log(kr)/loglog(kr)), strengthening the bound obtained by the classic approach of Raghavan and Thompson.For MaxNDP, we give an algorithm that gives the optimal answer in time \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(k+r)^{\mathcal {O}(r)}\cdot n}$$\end{document}(k+r)O(r)·n. This is a substantial improvement on the run time of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^kr^{\mathcal {O}(r)}\cdot n}$$\end{document}2krO(r)·n, which can be obtained via an algorithm by Scheffler. We complement these positive results by proving that MaxEDP is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}}$$\end{document}NP-hard even for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r=1}$$\end{document}r=1, and MaxNDP is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {W}[1]}$$\end{document}W[1]-hard when r is the parameter. This shows that neither problem is fixed-parameter tractable in r unless \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {FPT}= \mathsf {W}[1]}$$\end{document}FPT=W[1] and that our approximability results are relevant even for very small constant values of r.

Some time ago has been studied mathematical models for biogas production due to its importance in the use of control and optimization of re\-new\-able resources and clean energy. In this paper we combine two algebraic methods to obtain solutions of Abel equation of first kind that arise from a mathematical model to biogas production formulated in France on 2001. The aim of this paper is obtain Liouvillian solutions of Abel's equations through Hamiltonian Algebrization. As an illustration, we present graphics of solutions for Abel equations and solutions for algebrized Abel equations., Comment: 12 pages, 3 figures

In convex integer programming, various procedures have been developed to strengthen convex relaxations of sets of integer points. On the one hand, there exist several general-purpose methods that strengthen relaxations without specific knowledge of the set S of feasible integer points, such as popular linear programming or semi-definite programming hierarchies. On the other hand, various methods have been designed for obtaining strengthened relaxations for very specific sets S that arise in combinatorial optimization. We propose a new efficient method that interpolates between these two approaches. Our procedure strengthens any convex set containing a set S⊆ { 0 ,1 } n by exploiting certain additional information about S. Namely, the required extra information will be in the form of a Boolean formula ϕ defining the target set S. The new relaxation is obtained by “feeding” the convex set into the formula ϕ. We analyze various aspects regarding the strength of our procedure. As one application, interpreting an iterated application of our procedure as a hierarchy, our findings simplify, improve, and extend previous results by Bienstock and Zuckerberg on covering problems., SCOPUS: ar.j, info:eu-repo/semantics/published

The goal of this short paper is to give condition for the completeness of the Binet-Legendre metric in Finsler geometry. The case of the Funk and Hilbert metrics in a convex domain are discussed., Comment: 17 pages, 3 figures

In this short paper I consider relation between measurements, numbers and p-adic mathematical physics. p-Adic numbers are not result of measurements, but nevertheless they play significant role in description of some systems and phenomena. We illustrate their ability for applications referring to some sectors of p-adic mathematical physics and related topics, in particular, to string theory and the genetic code., Comment: 13 pages

In this short paper, we give an upper bound for the number of different basic feasible solutions generated by the simplex method for linear programming problems having optimal solutions. The bound is polynomial of the number of constraints, the number of variables, and the ratio between the minimum and the maximum values of all the positive elements of primal basic feasible solutions. When the primal problem is nondegenerate, it becomes a bound for the number of iterations. We show some basic results when it is applied to special linear programming problems. The results include strongly polynomiality of the simplex method for Markov Decision Problem by Ye and utilize its analysis., Comment: Keywords: Simplex method, Linear programming, Iteration bound, Strong polynomiality, Basic feasible solutions

In this short note we show that non-negative Ricci curvature is not preserved under Ricci flow for closed manifolds of dimensions four and above, strengthening a previous result of Knopf in \cite{K} for complete non-compact manifolds of bounded curvature. This brings down to four dimensions a similar result B\"ohm and Wilking have for dimensions twelve and above, \cite{BW}. Moreover, the manifolds constructed here are \Kahler manifolds and relate to a question raised by Xiuxiong Chen in \cite{XC}, \cite{XCL}., Comment: New version with added references and corrected typos

In 1981, Foias, Guillop\'e and Temam proved a priori estimates for arbitrary-order space derivatives of solutions to the Navier-Stokes equation. Such bounds are instructive in the numerical investigation of intermittency often observed in simulations, e.g., numerical study of vorticity moments by Donzis et al. (2013) revealed depletion of nonlinearity that may be responsible for smoothness of solutions to the Navier-Stokes equation. We employ an original method to derive analogous estimates for space derivatives of three-dimensional space-periodic weak solutions to the evolutionary equations of diffusive magnetohydrodynamics. Construction relies on space analyticity of the solutions at almost all times. An auxiliary problem is introduced, and a Sobolev norm of its solutions bounds from below the size in $C^3$ of the region of space analyticity of the solutions to the original problem. We recover the exponents obtained earlier for the hydrodynamic problem. The same approach is also followed here to derive and prove similar a priori bounds for arbitrary-order space derivatives of the first-order time derivative of the weak MHD solutions. This paper is dedicated to Professor Uriel Frisch on the occasion of his 80th anniversary as a sign of appreciation of the Scientist and the Teacher., Comment: 29 pages, 1 figure. The definitive version of the paper (formatting faults and some misprints in the published version corrected); more misprints corrected in version 2

In 1973, Diestel published his seminal paper `Grothendieck spaces and vector measures' that drew a connection between Grothendieck spaces (Banach spaces for which weak- and weak*-sequential convergences in the dual space coincide) and vector measures. This connection was developed in his book with J. Uhl Jr. `Vector measures'. Additionally, Diestel's paper included a section with several open problems about the structural properties of Grothendieck spaces, and only half of them have been solved to this day. The present paper aims at synthetically presenting the state of the art at subjectively selected corners of the theory of Banach spaces with the Grothendieck property, describing the main examples of spaces with this property, recording the solutions to Diestel's problems, providing generalisations/extensions or new proofs of various results concerning Grothendieck spaces, and adding to the list further problems that we believe are of relevance and may reinvigorate a better-structured development of the theory., Comment: 55 pp., accepted for publication in Japanese Journal of Mathematics

In the celebrated paper by Jean Leray, published in JMPA journal in 1933, the invading domains method was proposed to construct D-solutions for the stationary Navier-Stokes flow around obstacle problem. In two dimensions, whether Leray's D-solution achieves the prescribed limiting velocity at spatial infinity became a major open problem since then. In this paper, we solve this problem at small Reynolds numbers. The proof builds on a novel blow-down argument which rescales the invading domains to the unit disc, and the ideas developed in a recent paper [Korobkov-Pileckas-Russo2020], where the nontriviality of Leray solutions in the general case was proved, and [Korobkov-Ren-2021], where the uniqueness result for small Reynolds number was established.

We prove strengthenings of the Birkhoff Ergodic Theorem for weakly mixing and strongly mixing measure preserving systems. We show that our pointwise theorem for weakly mixing systems is strictly stronger than the Wiener-Wintner Theorem. We also show that our pointwise Theorems for weakly mixing and strongly mixing systems characterize weakly mixing systems and strongly mixing systems respectively. The methods of this paper also allow one to prove an enhanced pointwise ergodic theorem for other levels of the ergodic hierarchy such as ergodicity and mild mixing but not K-mixing. The author plans to include these additional pointwise ergodic theorems in his thesis., Comment: This paper is set to appear in Studia Mathematica

The paper is concerned with the problem of identifying the norm attaining operators in the von Neumann algebra generated by two orthogonal projections on a Hilbert space. This algebra contains every skew projection on that Hilbert space and hence the results of the paper also describe functions of skew projections and their adjoints that attain the norm., Comment: 6 pages

In this paper, the authors consider an initial boundary value problem for the heat flow of equation of surfaces with constant mean curvatures, which was investigated in [On the heat flow of equation of surfaces of constant mean curvatures, Manuscripta Mathematica, 2011, 134: 259-271] by Huang et al., where global well-posedness and finite time blow-up of regular solutions were obtained. Their results are complemented in this paper in the sense that some new conditions on the initial data are provided for the solutions to develop finite time singularity.

This paper proposes a novel method for the prevention of the unbounded oscillation of an aircraft wings under the flexural torsion flutter. The paper introducing the novel multiagent method for control of an aircraft wing, assuming that the wing surface consists of controlled "feathers" (agents). Theoretical evaluation of the approach demonstrates its high ability to prevent flexural-torsional vibrations of an aircraft. Since the model expands the possibilities for damping the wing oscillations, which potentially allows an increase in aircraft speed without misgiving of flutter. The study exhibits that timing is the main limitation of dampening vibrations. A new method for controlling an aircraft wing is suggested to increase the maximal flight speed of an aircraft without flutter occurrence via a novel model of the bending-torsional vibrations of an airplane wing with controlled feathers on its surface and new control laws based on the Speed-Gradient methodology. Provided experiments demonstrate the theoretical and advantages of the multiagent approach to "feathers" movement control., Comment: submitted to Mathematics. arXiv admin note: substantial text overlap with arXiv:2012.04582

A nonlinear Markov chain is a discrete time stochastic process whose transitions depend on both the current state and the current distribution of the process. The nonlinear Markov chain over an infinite state space can be identified by a continuous mapping (the so-called nonlinear Markov operator) defined on a set of all probability distributions (which is a simplex). In the present paper, we consider a continuous analogue of the mentioned mapping acting on L 1 -spaces. Main aim of the current paper is to investigate projective surjectivity of quadratic stochastic operators (QSO) acting on the set of all probability measures. To prove the main result, we study the surjectivity of infinite dimensional nonlinear Markov operators and apply them to the projective surjectivity of the considered QSO. Furthermore, the obtained results are applied to the existence of the positive solution of some Hammerstein integral equations.