相关论文: Laminates supported on cubes
In this paper we study prime, maximal and two--class congruences from the point of view of the relationships between them in various kinds of universal algebras, as well as their direct and inverse images through morphisms. This research…
This paper builds upon our prior formalisation of R^n in ACL2(r) by presenting a set of theorems for reasoning about convex functions. This is a demonstration of the higher-dimensional analytical reasoning possible in our metric space…
This work is devoted to the study of two-scale gradient Young measures naturally arising in nonlinear elasticity homogenization problems. Precisely, a characterization of this class of measures is derived and an integral representation…
Homogenization in linear elliptic problems usually assumes coercivity of the accompanying Dirichlet form. In linear elasticity, coercivity is not ensured through mere (strong) ellipticity so that the usual estimates that render…
Proximal gradient methods are a popular tool for the solution of structured, nonsmooth minimization problems. In this work, we investigate an extension of the former to general Banach spaces and provide worst-case convergence rates for,…
In this paper, we study a second order variational problem for locally convex hypersurfaces, which is the affine invariant analogue of the classical Plateau problem for minimal surfaces. We prove existence, regularity and uniqueness results…
We consider a generic class of log-concave, possibly random, (Gibbs) measures. We prove the concentration of an infinite family of order parameters called multioverlaps. Because they completely parametrise the quenched Gibbs measure of the…
We show that there exists a metric with positive scalar curvature on S2xS1 and a sequence of embedded minimal cylinders that converges to a minimal lamination that, in a neighborhood of a strictly stable 2-sphere, is smooth except at two…
A correspondence between quasicoherent sheaves on toric schemes and graded modules over some homogeneous coordinate ring is presented, and the behaviour of several finiteness properties under this correspondence is investigated.
We prove several superrigidity results for isometric actions on metric spaces satisfying some convexity properties. First, we extend some recent theorems of N. Monod on uniform and certain non-uniform irreducible lattices in products of…
A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a…
We construct a sequence of smooth minimizing surfaces in a sequence of metrics converging to the standard Euclidean metric, so that they have diverging $L^2$ norm of second fundamental form.
We present an analysis of sets of matrices with rank less than or equal to a specified number $s$. We provide a simple formula for the normal cone to such sets, and use this to show that these sets are prox-regular at all points with rank…
We establish various extensions of the convexity Dines theorem for a (joint-range) pair of inhomogeneous quadratic functions. If convexity fails we describe those rays for which the sum of the joint-range and the ray is convex. These…
We consider the problem of estimation of a low-rank matrix from a limited number of noisy rank-one projections. In particular, we propose two fast, non-convex \emph{proper} algorithms for matrix recovery and support them with rigorous…
We show that each constant rank operator $\mathcal{A}$ admits an exact potential $\mathbb{B}$ in frequency space. We use this fact to show that the notion of $\mathcal{A}$-quasiconvexity can be tested against compactly supported fields. We…
Explicit expressions for the concurrence of all positive and trace-preserving ("stochastic") 1-qubit maps are presented. By a new method we find the relevant convex roof pattern. We conclude that two component optimal decompositions always…
The starting assumptions to study the convergence and complexity of gradient-type methods may be the smoothness (also called Lipschitz continuity of gradient) and the strong convexity. In this note, we revisit these two basic properties…
The problem of approximating a matrix by a low-rank one has been extensively studied. This problem assumes, however, that the whole matrix has a low-rank structure. This assumption is often false for real-world matrices. We consider the…
We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope.…