Related papers: Contracting The Well-Rounded Retract

Computational reflection allows us to turn verified decision procedures into efficient automated reasoning tools in proof assistants. The typical applications of such methodology include mathematical structures that have decidable theory…

We consider the problem of recovering low-rank matrices from random rank-one measurements, which spans numerous applications including covariance sketching, phase retrieval, quantum state tomography, and learning shallow polynomial neural…

We provide a sharp upper bound on the quotient of the rank of an A-hypergeometric system with a three-dimensional torus action by the normalized volume of A; in this case, the upper bound is two.

The exceptional complex reflection groups of rank 2 are partitioned into three families. We construct explicit matrix models for the Hecke algebras associated to the maximal groups in the tetrahedral and octahedral family, and use them to…

This paper studies the problem of finding best rank-1 approximations for both symmetric and nonsymmetric tensors. For symmetric tensors, this is equivalent to optimizing homogeneous polynomials over unit spheres; for nonsymmetric tensors,…

The aim of the current paper is to introduce a new class of contractive mappings, which are contracting (a feature of) triangles. We prove that maps contracting triangles are continuous and give the fixed point result for such mappings. We…

In this paper, we develop a new approach to the deformation theory of restricted Lie-Rinehart algebras in positive characteristic, based on the deformation theory of restricted morphisms introduced in our earlier work. We provide a full…

In this paper, we employ two types of implicit relations to define some new kind of proximal contractions and study about their best proximity points. More precisely, we use two class of functions $\mathcal{A}$ and $\mathcal{A}'$ to explore…

This paper analyzes the second cohomology group of a linear cycle set with coefficients in an abelian group I, for linear cycle sets with commutative adjoint operation, focusing on the finite abelian case. It aims to classify extensions of…

Recent developments in higher order calculations within the framework of Dimensional Reduction, the preferred regularization scheme for supersymmetric theories, are reported on. Special emphasis is put on the treatment of evanescent…

Based on a reduction processing, we rewrite a hypergeometric term as the sum of the difference of a hypergeometric term and a reduced hypergeometric term (the reduced part, in short). We show that when the initial hypergeometric term has a…

This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product…

The aim of this paper is to study co-prolongations of central extensions. We construct the obstruction theory for co-prolongations and classify the equivalence classes of these by kernels of a homomorphisms between 2-dimensional cohomology…

We consider contractivity for diffusion semigroups w.r.t. Kantorovich ($L^1$ Wasserstein) distances based on appropriately chosen concave functions. These distances are inbetween total variation and usual Wasserstein distances. It is shown…

We study higher order approximations in the renormalization group approach to matrix models. We use constraint equations on the free energy resulting from a freedom of field redefinitionsand obtain the effective beta function for a single…

We consider a subclass of tilings, the tilings obtained by cut and projection. Under somewhat standard assumptions, we show that the natural complexity function has polynomial growth. We compute its exponent \alpha in terms of the ranks of…

In the context of Higman embeddings of recursive groups into finitely presented groups we suggest an algorithm which uses Higman operations to explicitly constructs the specific recursively enumerable sets of integer sequences arising…

We study generic graded contractions of Lie algebras from the perspectives of group cohomology, affine algebraic geometry and monoidal categories. We show that generic graded contractions with a fixed support are classified by a certain…

In the present paper, a new type of mappings called perimetric contractions on $k$-polygons is introduced. These contractions can be viewed as a generalization of mappings that contracts perimeters of triangles. A fixed point theorem for…

We study three different (co)homology theories for a family of pullbacks of algebras that we call oriented. We obtain a Mayer Vietoris long exact sequence of Hochschild and cyclic homology and cohomology groups for these algebras. We give…