Source author record

Vera Roshchina

Vera Roshchina appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

20works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2022arXiv

The intrinsic core and minimal faces of convex sets in general vector spaces

Intrinsic core generalises the finite-dimensional notion of the relative interior to arbitrary (real) vector spaces. Our main goal is to provide a self-contained overview of the key results pertaining to the intrinsic core and to elucidate the relations between intrinsic core and facial structure of convex sets in this general context. We gather several equivalent definitions of the intrinsic core, cover much of the folklore, review relevant recent results and present examples illustrating some of the phenomena specific to the facial structure of infinite-dimensional sets.

preprint2020arXiv

A data-independent distance to infeasibility for linear conic systems

We offer a unified treatment of distinct measures of well-posedness for homogeneous conic systems. To that end, we introduce a distance to infeasibility based entirely on geometric considerations of the elements defining the conic system. Our approach sheds new light on and connects several well-known condition measures for conic systems, including {\em Renegar's} distance to infeasibility, the {\em Grassmannian} condition measure, a measure of the {\em most interior} solution, and other geometric measures of {\em symmetry} and of {\em depth} of the conic system.

preprint2020arXiv

Refining the partition for multifold conic optimization problems

In this paper we give a unified treatment of two different definitions of complementarity partition of multifold conic programs introduced independently in [J. F. Bonnans and H. Ramírez C., Math. Program. 104 (2005), no. 2-3, Ser. B, 205--227] for conic optimization problems, and in [J. Peña and V. Roshchina, Math. Program. 142 (2013), no 1-2, Ser. A, 579--589] for homogeneous feasibility problems. We show that both can be treated within the same unified geometric framework, and extend the latter notion to optimization problems. We also show that the two partitions do not coincide, and their intersection gives a seven-set index partition. Finally, we demonstrate that the partitions are preserved under the application of nonsingular linear transformations, and in particular that a standard conversion of a second-order cone program into a semidefinite programming problem preserves the partitions.

preprint2016arXiv

On the Grassmann condition number

We give new insight into the Grassmann condition of the conic feasibility problem \[ x \in L \cap K \setminus\{0\}. \] Here $K\subseteq V$ is a regular convex cone and $L\subseteq V$ is a linear subspace of the finite dimensional Euclidean vector space $V$. The Grassmann condition of this problem is the reciprocal of the distance from $L$ to the set of ill-posed instances in the Grassmann manifold where $L$ lives. We consider a very general distance in the Grassmann manifold defined by two possibly different norms in $V$. We establish the equivalence between the Grassmann distance to ill-posedness of the above problem and a natural measure of the least violated trial solution to its alternative feasibility problem. We also show a tight relationship between the Grassmann and Renegar's condition measures, and between the Grassman measure and a symmetry measure of the above feasibility problem. Our approach can be readily specialized to a canonical norm in $V$ induced by $K$, a prime example being the one-norm for the non-negative orthant. For this special case we show that the Grassmann distance ill-posedness of is equivalent to a measure of the most interior solution to the above conic feasibility problem.

preprint2015arXiv

Orbital Geometry in Optimisation

We discuss the use of group symmetries in optimisation, in particular with respect to the structure of subdifferential and projection operators. This allows us to generalise a classic result of Adrian Lewis regarding the characterisation of the subdifferential of a permutation invariant convex function to the characterisation of the proximal subdifferential of a Schur convex function that is invariant with respect to a finite reflection group. We are also able to simplify and generalise results on projections onto symmetric sets, in particular, we study projections on sparsity constraints used in sparse signal recovery and compressed sensing.

preprint2013arXiv

Bodies with mirror surface invisible from two points

Here we are concerned with a special issue of billiard invisibility, where a bounded set with a piecewise smooth boundary in Euclidean space is identified with a body with mirror surface, and the billiard in the complement of the set is identified with the dynamics of light rays outside the body in the framework of geometric optics. We show that in this setting it is possible to construct a body invisible from two points.

preprint2013arXiv

Directed Subdifferentiable Functions and the Directed Subdifferential without Delta-Convex Structure

We show that the directed subdifferential introduced for differences of convex (delta-convex, DC) functions by Baier and Farkhi can be constructed from the directional derivative without using any information on the DC structure of the function. The new definition extends to a more general class of functions, which includes Lipschitz functions definable on o-minimal structure and quasidifferentiable functions.

preprint2012arXiv

Fast Computation of Zeros of Polynomial Systems with Bounded Degree under Finite-precision

A solution for Smale's 17th problem, for the case of systems with bounded degree was recently given. This solution, an algorithm computing approximate zeros of complex polynomial systems in average polynomial time, assumed infinite precision. In this paper we describe a finite-precision version of this algorithm. Our main result shows that this version works within the same time bounds and requires a precision which, on the average, amounts to a polynomial amount of bits in the mantissa of the intervening floating-point numbers.

preprint2011arXiv

A Complementarity Partition Theorem for Multifold Conic Systems

Consider a homogeneous multifold convex conic system $$ Ax = 0, \; x\in K_1\times...\times K_r $$ and its alternative system $$ A\transp y \in K_1^*\times...\times K_r^*, $$ where $K_1,..., K_r$ are regular closed convex cones. We show that there is canonical partition of the index set ${1,...,r}$ determined by certain complementarity sets associated to the most interior solutions to the two systems. Our results are inspired by and extend the Goldman-Tucker Theorem for linear programming.

preprint2011arXiv

Finiteness in the Card Game of War

The game of war is one of the most popular international children's card games. In the beginning of the game, the pack is split into two parts, then on each move the players reveal their top cards. The player having the highest card collects both and returns them to the bottom of his hand. The player left with no cards loses. Those who played this game in their childhood did not always have enough patience to wait until the end of the game. A player who has collected almost all the cards can lose all but a few cards in the next 3 minutes. That way the children essentially conduct mathematical experiments observing chaotic dynamics. However, it is not quite so, as the rules of the game do not prescribe the order in which the winning player will put his take to the bottom of his hand: own card, then rival's or vice versa: rival's card, then own. We provide an example of a cycling game with fixed rules. Assume now that each player can seldom but regularly change the returning order. We have managed to prove that in this case the mathematical expectation of the length of the game is finite. In principle it is equivalent to the graph of the game, which has got edges corresponding to all acceptable transitions, having got the following property: from each initial configuration there is at least one path to the end of the game.

preprint2011arXiv

Fractal bodies invisible in 2 and 3 directions

We study the problem of invisibility for bodies with a mirror surface in the framework of geometrical optics. We show that for any two given directions it is possible to construct a two-dimensional fractal body invisible in these directions. Moreover, there exists a three-dimensional fractal body invisible in three orthogonal directions. The work continues the previous study in [A. Aleksenko and A. Plakhov. Bodies of zero resistance and bodies invisible in one direction. Nonlinearity 22, 1247-1258 (2009)], [A Plakhov and V Roshchina. Invisibility in billiards. Nonlinearity 24, 847-854 (2011)], where two-dimensional bodies invisible in one direction and three-dimensional bodies invisible in one and two orthogonal directions were constructed.

preprint2010arXiv

Applying Metric Regularity to Compute a Condition Measure of a Smoothing Algorithm for Matrix Games

We develop an approach of variational analysis and generalized differentiation to conditioning issues for two-person zero-sum matrix games. Our major results establish precise relationships between a certain condition measure of the smoothing first-order algorithm proposed by Gilpin et al. [Proceedings of the 23rd AAAI Conference (2008) pp. 75-82] and the exact bound of metric regularity for an associated set-valued mapping. In this way we compute the aforementioned condition measure in terms of the initial matrix game data.