Graphs with a Minimal Number of Convex Sets

Let G be a graph with vertex set V(G). A set C of vertices of G is g-convex if for every pair \({u, v \in C}\) the vertices on every u–v geodesic (i.e. shortest u–v path) belong to C. If the only g-convex sets of G are the empty set, V(G), all singletons and all edges, then G is called a g-minimal graph. It is shown that a graph is g-minimal if and only if it is triangle-free and if it has the property that the convex hull of every pair of non-adjacent vertices is V(G). Several properties of g-minimal graphs are established and it is shown that every triangle-free graph is an induced subgraph of a g-minimal graph. Recursive constructions of g-minimal graphs are described and bounds for the number of edges in these graphs are given. It is shown that the roots of the generating polynomials of the number of g-convex sets of each size of a g-minimal graphs are bounded, in contrast to their behaviour over all graphs. A set C of vertices of a graph is m-convex if for every pair \({u, v \in C}\) , the vertices of every induced u–v path belong to C. A graph is m-minimal if it has no m-convex sets other than the empty set, the singletons, the edges and the entire vertex set. Sharp bounds on the number of edges in these graphs are given and graphs that are m-minimal are shown to be precisely the 2-connected, triangle-free graphs for which no pair of adjacent vertices forms a vertex cut-set.     

Abelian C-minimal groups

Macpherson and Steinhorn (Macpherson and Steinhorn, Ann. Pure Appl. Logic 79 (1996) 165–209) introduce some variants of the notion of o-minimality. One of the most interesting is C-minimality, which provides a natural setting to study algebraically closed-valued fields and some valued groups. In this paper we go further in the study of the structure of C-minimal valued groups, giving a partial characterization in the abelian case. We obtain the following principle: for abelian valued groups G for which the valuation satisfies some kind of compatibility with the multiplication by any prime number p, being C-minimal is equivalent to the o-minimality of the expansion of the chain of valuations by the maps induced by the multiplication by each prime number in G, and by some unary predicates controlling the cardinality of the residual structures. This result is quite nice, because the class considered contains all the natural examples of abelian C-minimal valued groups of (Macpherson and Steinhorn, Ann. Pure Appl. Logic 79 (1996) 165–209), and allows us to find many more examples.     

About C 1-minimality of the hyperbolic Cantor sets

In this work we prove that a C ^1+α -hyperbolic Cantor set contained in S ¹ that is close to an affine Cantor set is not C ¹-minimal.     

Regular interval Cantor sets of <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> and minimality

It is known that not every Cantor set of S ¹ is C ¹-minimal. In this work we prove that every member of a subfamily of what we here call regular interval Cantor set is not C ¹-minimal. We also prove that no member of a class of Cantor sets that includes this subfamily is C ^1+∈-minimal, for any ∈ > 0. Partially supported by CNPq-Brasil and PEDECIBA-Uruguay.     

Smooth functions in o-minimal structures

Fix an o-minimal expansion of the real exponential field that admits smooth cell decomposition. We study the density of definable smooth functions in the definable continuously differentiable functions with respect to the definable version of the Whitney topology. This implies that abstract definable smooth manifolds are affine. Moreover, abstract definable smooth manifolds are definably C^∞-diffeomorphic if and only if they are definably C¹-diffeomorphic.     

Schubert calculus on the Grassmannian of hermitian lagrangian spaces

With an eye towards index theoretic applications we describe a Schubert like stratification on the Grassmannian of hermitian lagrangian spaces in Cn⊕Cn. This is a natural compactification of the space of hermitian n×n matrices. The closures of the strata define integral cycles, and we investigate their intersection theoretic properties. We achieve this by blending Morse theoretic ideas, with techniques from o-minimal (or tame) geometry and geometric integration theory.     

C-minimality and model companions

We study the question on existence of a model companion of the theory of a C-minimal structure with a distinguished automorphism of a special form.     

Uniformities with the same Hausdorff hypertopology

Two uniformities U and V on a set X are said to be H-equivalent if their corresponding Hausdorff uniformities on the set of all non-empty subsets of X induce the same topology. The uniformity U is said to be H-singular if no distinct uniformity on X is H-equivalent to U. The self-explanatory concepts of H-coarse, H-minimal and H-maximal uniformities are defined similarly.It is well known that not all uniformities are H-singular. We show here that there is a property which obstructs H-singularity: Every H-minimal uniformity has a base of finite-dimensional uniform coverings. Besides, we provide an intrinsic characterization of H-minimal uniformities and show that they are H-coarse. This characterization of H-minimality becomes a criterion for H-singularity for all uniformities that are either complete, uniformly locally precompact or proximally fine (e.g., metrizable ones). Some relevant properties which insure H-singularity are introduced and investigated in some aspect.     

Some remarks on E-minimal graphs

If G is a planar graph of smallest order such that the stability number of G is less than one quarter of the order of G, then G is said to be E-minimal. In this note, we give some properties of E-minimal graphs.     

Minimal and maximal operator spaces and operator systems in entanglement theory

We examine k-minimal and k-maximal operator spaces and operator systems, and investigate their relationships with the separability problem in quantum information theory. We show that the matrix norms that define the k-minimal operator spaces are equal to a family of norms that have been studied independently as a tool for detecting k-positive linear maps and bound entanglement. Similarly, we investigate the k-super minimal and k-super maximal operator systems that were recently introduced and show that their cones of positive elements are exactly the cones of k-block positive operators and (unnormalized) states with Schmidt number no greater than k, respectively. We characterize a class of norms on the k-super minimal operator systems and show that the completely bounded versions of these norms provide a criterion for testing the Schmidt number of a quantum state that generalizes the recently-developed separability criterion based on trace-contractive maps.     

Holomorphic differentials and Laguerre deformation of surfaces

A Laguerre geometric local characterization is given of L-minimal surfaces and Laguerre deformations (T-transforms) of L-minimal isothermic surfaces in terms of the holomorphicity of a quartic and a quadratic differential. This is used to prove that, via their L-Gauss maps, the T-transforms of L-minimal isothermic surfaces have constant mean curvature \(H=r\) in some translate of hyperbolic 3-space \({\mathbb {H}}^3(-r^2)\subset \mathbb {R}^4_1\), de Sitter 3-space \({\mathbb {S}}^3_1(r^2)\subset \mathbb {R}^4_1\), or have mean curvature \(H=0\) in some translate of a time-oriented lightcone in \(\mathbb {R}^4_1\). As an application, we show that various instances of the Lawson isometric correspondence can be viewed as special cases of the T-transformation of L-isothermic surfaces with holomorphic quartic differential.     

Linear Groups Definable in o-Minimal Structures

We study subgroups G of GL(n, R) definable in o-minimal expansions M = (R, +, · ,…) of a real closed field R. We prove several results such as: (a) G can be defined using just the field structure on R together with, if necessary, power functions, or an exponential function definable in M. (b) If G has no infinite, normal, definable abelian subgroup, then G is semialgebraic. We also characterize the definably simple groups definable in o-minimal structures as those groups elementarily equivalent to simple Lie groups, and we give a proof of the Kneser–Tits conjecture for real closed fields.     

Groups with π-Minimal and π-Layer Minimal Conditions. II

For an arbitrary set π of prime numbers we study the properties and structure of groups satisfying the π-minimal and π-layer minimal conditions. In particular, we describe the structure of the almost RN-groups (and thereby that of the locally solvable groups) with these conditions. Under the assumption 2∈π, we describe the structure of locally graded groups (and thereby that of locally finite groups) with these conditions.     

New <Emphasis Type="Italic">r</Emphasis>-Minimal Hypersurfaces via Perturbative Methods

A hypersurface in a Riemannian manifold is r-minimal if its (r+1)-curvature, the (r+1)th elementary symmetric function of its principal curvatures, vanishes identically. If n>2(r+1) we show that the rotationally invariant r-minimal hypersurfaces in ? ⁿ⁺¹ are nondegenerate in the sense that they carry no nontrivial Jacobi fields decaying rapidly enough at infinity. Combining this with a computation of the (r+1)-curvature of normal graphs and the deformation theory in weighted Hölder spaces developed by Mazzeo, Pacard, Pollack, Uhlenbeck and others, we produce new infinite dimensional families of r-minimal hypersurfaces in ? ⁿ⁺¹ obtained by perturbing noncompact portions of the catenoids. We also consider the moduli space \({\mathcal{M}}_{r,k}(g)\) of elliptic r-minimal hypersurfaces with k≥2 ends of planar type in ? ⁿ⁺¹ endowed with an ALE metric g, and show that \({\mathcal{M}}_{r,k}(g)\) is an analytic manifold of formal dimension k(n+1), with \({\mathcal{M}}_{r,k}(g)\) being smooth for a generic g in a neighborhood of the standard Euclidean metric.     

Small extensions of models of o-minimal theories and absolute homogeneity

We obtain some results on existence of small extensions of models of weakly o-minimal atomic theories. In particular, we find a sharp upper estimate for the Hanf number of such a theory for omitting an arbitrary family of pure types. We also find a sharp upper estimate for cardinalities of weakly o-minimal absolutely homogeneous models and a sufficient condition for absolute homogeneity.     

Invariant <Emphasis Type="Italic">K</Emphasis>-minimal Sets in the Discrete and Continuous Settings

A sufficient condition for a set \(\Omega \subset L^{1}\left( \left[ 0,1\right] ^{m}\right) \) to be invariant K-minimal with respect to the couple \(\left( L^{1}\left( \left[ 0,1\right] ^{m}\right) ,L^{\infty }\left( \left[ 0,1\right] ^{m}\right) \right) \) is established. Through this condition, different examples of invariant K-minimal sets are constructed. In particular, it is shown that the \(L^{1}\)-closure of the image of the \(L^{\infty }\)-ball of smooth vector fields with support in \(\left( 0,1\right) ^{m}\) under the divergence operator is an invariant K-minimal set. The constructed examples have finite-dimensional analogues in terms of invariant K-minimal sets with respect to the couple \(\left( \ell ^{1},\ell ^{\infty }\right) \) on \(\mathbb {R}^{n}\). These finite-dimensional analogues are interesting in themselves and connected to applications where the element with minimal K-functional is important. We provide a convergent algorithm for computing the element with minimal K-functional in these and other finite-dimensional invariant K-minimal sets.     

Regularity of nonlocal minimal cones in dimension 2

We show that the only nonlocal s-minimal cones in ${\mathbb{R}^2}$ are the trivial ones for all ${s \in (0, 1).}$ As a consequence we obtain that the singular set of a nonlocal minimal surface has at most n ? 3 Hausdorff dimension.     

Lower bounds of the Laplacian graph eigenvalues

In this paper we prove that all positive eigenvalues of the Laplacian of an arbitrary simple graph have some positive lower bounds. For a fixed integer k 1 we call a graph without isolated vertices k-minimal if its kth greatest Laplacian eigenvalue reaches this lower bound. We describe all 1-minimal and 2-minimal graphs and we prove that for every k 3 the path P_k+1 on k + 1 vertices is the unique k-minimal graph.     

On k-minimally n-edge-connected graphs

A graph is k-minimal with respect to some parameter if the removal of any j edges j<k reduces the value of that parameter by j. For k = 1 this concept is well-known; we consider multiple minimality, that is, k ? 2. We characterize all graphs which are multiply minimal with respect to connectivity or edge-connectivity. We also show that there are essentially no diagraphs which are multiply minimal with respect to diconnectivity or edge-diconnectivity. In addition, we investigate basic properties and multiple minimality for a variant of edge-connectivity which we call edge^m-connectivity.     

On the automorphism group of a cone

Let V be a real finite dimensional vector space, and let C be a full cone in C. In Sec. 3 we show that the group of automorphisms of a compact convex subset of V is compact in the uniform topology, and relate the group of automorphisms of C to the group of automorphisms of a compact convex cross-section of C. This section concludes with an application which generalizes the result that a proper Lorentz transformation has an eigenvector in the light cone. In Sec. 4 we relate the automorphism group of C to that of its irreducible components. In Sec. 5 we show that every compact group of automorphisms of C leaves a compact convex cross-section invariant. This result is applied to show that if C is a full polyhedral cone, then the automorphism group of C is the semidirect product of the (finite) automorphism group of a polytopal cross-section and a vector group whose dimension is equal to the number of irreducible components of C. An example shows that no such result holds for more general cones.