A Characterization of Finite Dimensional Convex Sets

1952 ◽  
Vol 74 (3) ◽  
pp. 683 ◽  
Author(s):  
E. G. Straus ◽  
F. A. Valentine
Keyword(s):  
Convex Sets ◽  
Finite Dimensional

PROJECTIONS OF LOG-CONCAVE FUNCTIONS

2012 ◽  
Vol 14 (05) ◽  
pp. 1250036
Author(s):  
ALEXANDER SEGAL ◽  
BOAZ A. SLOMKA
Keyword(s):  
Support Function ◽  
Convex Sets ◽  
Duality Mapping ◽  
Concave Functions ◽  
Finite Dimensional ◽  
Lower Semi ◽  
Natural Notion ◽  
Linear Sections ◽  
Funct Anal

Recently, it has been proven in [V. Milman, A. Segal and B. Slomka, A characterization of duality through section/projection correspondence in the finite dimensional setting, J. Funct. Anal. 261(11) (2011) 3366–3389] that the well-known duality mapping on the class of closed convex sets in ℝn containing the origin is the only operation, up to obvious linear modifications, that interchanges linear sections with projections. In this paper, we extend this result to the class of geometric log-concave functions (attaining 1 at the origin). As the notions of polarity and the support function were recently uniquely extended to this class by Artstein-Avidan and Milman, a natural notion of projection arises. This notion of projection is justified by our result. As a consequence of our main result, we prove that, on the class of lower semi continuous non-negative convex functions attaining 0 at the origin, the polarity operation is the only operation interchanging addition with geometric inf-convolution and the support function is the only operation interchanging addition with inf-convolution.

On Vitali's Theorem for Groups of Motions of Euclidean Space

1999 ◽  
Vol 6 (4) ◽  
pp. 323-334
Author(s):  
A. Kharazishvili
Keyword(s):  
Euclidean Space ◽  
Dimensional Euclidean Space ◽  
Finite Dimensional

Abstract We give a characterization of all those groups of isometric transformations of a finite-dimensional Euclidean space, for which an analogue of the classical Vitali theorem [Sul problema della misura dei gruppi di punti di una retta, 1905] holds true. This characterization is formulated in purely geometrical terms.

Spectral synthesis and residually finite-dimensional algebras

2017 ◽  
Vol 16 (10) ◽  
pp. 1750200 ◽  
Author(s):  
László Székelyhidi ◽  
Bettina Wilkens
Keyword(s):  
Spectral Analysis ◽  
Abelian Group ◽  
Theoretical Approach ◽  
Abelian Groups ◽  
Spectral Synthesis ◽  
Residually Finite ◽  
Finite Dimensional ◽  
Analysis And Synthesis ◽  
Spectral Analysis And Synthesis

In 2004, a counterexample was given for a 1965 result of R. J. Elliott claiming that discrete spectral synthesis holds on every Abelian group. Since then the investigation of discrete spectral analysis and synthesis has gained traction. Characterizations of the Abelian groups that possess spectral analysis and spectral synthesis, respectively, were published in 2005. A characterization of the varieties on discrete Abelian groups enjoying spectral synthesis is still missing. We present a ring theoretical approach to the issue. In particular, we provide a generalization of the Principal Ideal Theorem on discrete Abelian groups.

A characterization of convex sets via visibility

2002 ◽  
Vol 64 (1-2) ◽  
pp. 128-135 ◽  
Author(s):  
H. Martini ◽  
W. Wenzel
Keyword(s):  
Convex Sets

scholarly journals Auerbach Bases and Minimal Volume Sufficient Enlargements

2011 ◽  
Vol 54 (4) ◽  
pp. 726-738
Author(s):  
M. I. Ostrovskii
Keyword(s):  
Linear Space ◽  
Isometric Embedding ◽  
Normed Linear Space ◽  
Convex Set ◽  
Linear Projection ◽  
Minimal Volume ◽  
Finite Dimensional ◽  
Dimensional Normed Space ◽  
Closed Convex Set

AbstractLet BY denote the unit ball of a normed linear space Y. A symmetric, bounded, closed, convex set A in a finite dimensional normed linear space X is called a sufficient enlargement for X if, for an arbitrary isometric embedding of X into a Banach space Y, there exists a linear projection P: Y → X such that P(BY ) ⊂ A. Each finite dimensional normed space has a minimal-volume sufficient enlargement that is a parallelepiped; some spaces have “exotic” minimal-volume sufficient enlargements. The main result of the paper is a characterization of spaces having “exotic” minimal-volume sufficient enlargements in terms of Auerbach bases.

scholarly journals Generating infinite monoids of cellular automata

2021 ◽  
pp. 2250215
Author(s):  
Alonso Castillo-Ramirez
Keyword(s):  
Cellular Automata ◽  
Normal Subgroups ◽  
Finitely Generated ◽  
Residually Finite ◽  
Residually Finite Group ◽  
Group Of Units ◽  
Finite Dimensional ◽  
Index Condition ◽  
Indicable Group

For a group [Formula: see text] and a set [Formula: see text], let [Formula: see text] be the monoid of all cellular automata over [Formula: see text], and let [Formula: see text] be its group of units. By establishing a characterization of surjunctive groups in terms of the monoid [Formula: see text], we prove that the rank of [Formula: see text] (i.e. the smallest cardinality of a generating set) is equal to the rank of [Formula: see text] plus the relative rank of [Formula: see text] in [Formula: see text], and that the latter is infinite when [Formula: see text] has an infinite decreasing chain of normal subgroups of finite index, condition which is satisfied, for example, for any infinite residually finite group. Moreover, when [Formula: see text] is a vector space over a field [Formula: see text], we study the monoid [Formula: see text] of all linear cellular automata over [Formula: see text] and its group of units [Formula: see text]. We show that if [Formula: see text] is an indicable group and [Formula: see text] is finite-dimensional, then [Formula: see text] is not finitely generated; however, for any finitely generated indicable group [Formula: see text], the group [Formula: see text] is finitely generated if and only if [Formula: see text] is finite.

An Analogue of Longo's Canonical Endomorphism for Bimodule Theory and Its Application to Asymptotic Inclusions

1997 ◽  
Vol 08 (02) ◽  
pp. 249-265 ◽  
Author(s):  
Toshihiko Masuda
Keyword(s):  
Finite System ◽  
Type Ii ◽  
Type Iii ◽  
Finite Dimensional ◽  
Parallel Construction

We give an analogous characterization of Longo's canonical endomorphism in the bimodule theory, and by using this, we construct an inclusion of factors of type II 1 from a finite system of bimodules as a parallel construction to that of Longo–Rehren in a type III setting. When the original factors are approximately finite dimensional, we prove this new inclusion is isomorphic to the asymptotic inclusion in the sense of Ocneanu. This solves a conjecture of Longo–Rehren.

scholarly journals Theoretical framework for higher-order quantum theory

2019 ◽  
Vol 475 (2225) ◽  
pp. 20180706 ◽  
Author(s):  
Alessandro Bisio ◽  
Paolo Perinotti
Keyword(s):  
Quantum Theory ◽  
Convex Sets ◽  
Mathematical Structure ◽  
Higher Order ◽  
Equivalence Relations ◽  
Full Generality ◽  
Special Cases ◽  
Different Types ◽  
Causal Structures

Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes recursively, with the construction of a full hierarchy of maps of increasingly higher order. The analysis of special cases already showed that higher-order quantum functions exhibit features that cannot be tracked down to the usual circuits, such as indefinite causal structures, providing provable advantages over circuital maps. The present treatment provides a general framework where this kind of analysis can be carried out in full generality. The hierarchy of higher-order quantum maps is introduced axiomatically with a formulation based on the language of types of transformations. Complete positivity of higher-order maps is derived from the general admissibility conditions instead of being postulated as in previous approaches. The recursive characterization of convex sets of maps of a given type is used to prove equivalence relations between different types. The axioms of the framework do not refer to the specific mathematical structure of quantum theory, and can therefore be exported in the context of any operational probabilistic theory.

scholarly journals On relationships between two linear subspaces and two orthogonal projectors

2019 ◽  
Vol 7 (1) ◽  
pp. 142-212 ◽  
Author(s):  
Yongge Tian
Keyword(s):  
Vector Space ◽  
Matrix Decomposition ◽  
Complex Vector ◽  
Linear Subspaces ◽  
Survey Paper ◽  
Finite Dimensional ◽  
Generic Position ◽  
Ep Matrix ◽  
Orthogonal Projectors

Abstract Sum and intersection of linear subspaces in a vector space over a field are fundamental operations in linear algebra. The purpose of this survey paper is to give a comprehensive approach to the sums and intersections of two linear subspaces and their orthogonal complements in the finite-dimensional complex vector space. We shall establish a variety of closed-form formulas for representing the direct sum decompositions of the m-dimensional complex column vector space 𝔺m with respect to a pair of given linear subspaces 𝒨 and 𝒩 and their operations, and use them to derive a huge amount of decomposition identities for matrix expressions composed by a pair of orthogonal projectors onto the linear subspaces. As applications, we give matrix representation for the orthogonal projectors onto the intersections of a pair of linear subspaces using various matrix decomposition identities and Moore–Penrose inverses; necessary and su˚cient conditions for two linear subspaces to be in generic position; characterization of the commutativity of a pair of orthogonal projectors; necessary and su˚cient conditions for equalities and inequalities for a pair of subspaces to hold; equalities and inequalities for norms of a pair of orthogonal projectors and their operations; as well as a collection of characterizations of EP-matrix.

Sign in / Sign up

Export Citation Format

Share Document