Related papers: The global isoperimetric methodology applied to Kn…
We introduce and study a new mathematical structure in the generalised (quantum) cohomology theory for Grassmannians. Namely, we relate the Schubert calculus to a quantum integrable system known in the physics literature as the asymmetric…
We show that it is coNP-complete to decide whether a given proof structure of pomset logic is a correct proof net, using the graph-theoretic used in a previous paper of ours (arXiv:1901.10247).
Using methods of KK-theory, we generalize Poincare duality to the framework of twisted K-theory.
In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated to nonexpansive self-mappings of convex subsets of a class of uniformly convex geodesic…
In this paper I present a kind of proof for classical Euclidean geometric problems which relies on both synthetic and analytic geometry. Using the elementary tools of polynomial algebra and multivariate calculus we manage to reduce the…
In this article, we use the recently developed mean curvature flow with surgery for 2 convex hypersurfaces to prove several isotopy existence and finally extrinsic finiteness results (in the spirit of Cheeger's compactness theorem) for the…
In this paper, we prove that transnormal functions are isoparametric functions on Finsler space forms (N(c), F) under certain conditions, which generalize Theorem B given by Q.M. Wang in Riemannian case. Next, we discuss the relationship…
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct…
We show a reverse isoperimetric inequality within the class of relative outer parallel bodies, with respect to a general convex body $E$, along with its equality condition. Based on the convexity of the sequence of quermassintegrals of…
By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…
In this paper, we establish a Gauss-Bonnet-Chern theorem for general closed complex Finsler manifolds.
This paper is a follow-up to our joint paper with I. Agol, P. Storm and K. Whyte "Finiteness of arithmetic hyperbolic reflection groups". The main purpose is to investigate the effective side of the method developed there and its possible…
In this paper we use a dynamical approach to prove some new divergence theorems on complete non-compact Riemannian manifolds.
We consider the convergence of iterative solvers for problems of nonlinear magnetostatics. Using the equivalence to an underlying minimization problem, we can establish global linear convergence of a large class of methods, including the…
We note that Gabber's rigidity theorem for the algebraic K-theory of henselian pairs also holds true for hermitian K-theory with respect to arbitrary form parameters.
We prove some extension theorems involving uniformly continuous maps of the universal Urysohn space. We also prove reconstruction theorems for certain groups of autohomeomorphisms of this space and of its open subsets.
We prove Hessian comparison theorems, Laplacian comparison theorems and volume comparison theorems of Finsler manifolds under various curvature conditions. As applications, we derive Mckean type theorems for the first eigenvalue of Finsler…
The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…
In this paper, we prove some general convergence theorems for the Picard iteration in cone metric spaces over a solid vector space. As an application, we provide a detailed convergence analysis of the Weierstrass iterative method for…
This is the first in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global confor- mal invariants"; these are defined to be conformally invariant integrals of geometric scalars.…