-
Constructive solution of the common invariant cone problem
Authors:
Thomas Mejstrik,
Vladimiar Yu. Protasov
Abstract:
Sets of $d\times d$ matrices sharing a common invariant cone enjoy special properties, which are widely used in applications. However, finding this cone or even proving its existence/non-existence is hard. This problem is known to be algorithmically undecidable for general sets of matrices. We show that it can nevertheless be efficiently solved in practice. An algorithm that for a given finite set…
▽ More
Sets of $d\times d$ matrices sharing a common invariant cone enjoy special properties, which are widely used in applications. However, finding this cone or even proving its existence/non-existence is hard. This problem is known to be algorithmically undecidable for general sets of matrices. We show that it can nevertheless be efficiently solved in practice. An algorithm that for a given finite set of matrices, either finds a common invariant cone or proves its non-existence is presented. Numerical results demonstrate that it works for a vast majority of matrix sets. The structure and properties of the minimal and maximal invariant cones are analyzed. Applications to dynamical systems and combinatorics are considered.
△ Less
Submitted 2 May, 2025;
originally announced May 2025.
-
Unique expansions in number systems via refinement equations
Authors:
Sergei V. Konyagin,
Vladimir Yu. Protasov,
Alexey L. Talambutsa
Abstract:
Using the subdivision schemes theory, we develop a criterion to check if any natural number has at most one representation in the $n$-ary number system with a set of non-negative integer digits $A=\{a_1, a_2,\ldots, a_n\}$ that contains zero. This uniqueness property is shown to be equivalent to a certain restriction on the roots of the trigonometric polynomial $\sum_{k=1}^n e^{-2πi a_k t}$. From…
▽ More
Using the subdivision schemes theory, we develop a criterion to check if any natural number has at most one representation in the $n$-ary number system with a set of non-negative integer digits $A=\{a_1, a_2,\ldots, a_n\}$ that contains zero. This uniqueness property is shown to be equivalent to a certain restriction on the roots of the trigonometric polynomial $\sum_{k=1}^n e^{-2πi a_k t}$. From this criterion, under a natural condition of irreducibility for $A$, we deduce that in case of prime $n$ the uniqueness holds if and only if the digits of $A$ are distinct modulo $n$, whereas for any composite $n$ we show that the latter condition is not necessary. We also establish the connection of this uniqueness to the semigroup freeness problem for affine integer functions of equal integer slope; this together with the two criteria allows to fill the gap in the work of D.Klarner on Erdös question about densities of affine integer orbits and establish a simple algorithm to check the freeness and the positivity of density when the slope is a prime number.
△ Less
Submitted 19 May, 2025; v1 submitted 18 February, 2025;
originally announced February 2025.
-
Perron matrix semigroups
Authors:
Vladimir Yu. Protasov
Abstract:
We consider multiplicative semigroups of real dxd matrices. A semigroup is called Perron if each of its matrices has a Perron eigenvalue, i.e., an eigenvalue equal to the spectral radius. By the Krein-Rutman theorem, a matrix leaving some cone invariant possesses a Perron eigenvalue. Therefore, if all matrices of a semigroup S share a common invariant cone, then S is Perron. Our main result assert…
▽ More
We consider multiplicative semigroups of real dxd matrices. A semigroup is called Perron if each of its matrices has a Perron eigenvalue, i.e., an eigenvalue equal to the spectral radius. By the Krein-Rutman theorem, a matrix leaving some cone invariant possesses a Perron eigenvalue. Therefore, if all matrices of a semigroup S share a common invariant cone, then S is Perron. Our main result asserts that the converse is true, provided that some mild assumptions are satisfied. Those assumptions cannot be relaxed. This gives conditions for an arbitrary set of matrices to possess a common invariant cone.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Second-order linear switching systems with arbitrary control sets: stability and invariant norms
Authors:
Vladimir Yu. Protasov,
Asiiat Musaeva
Abstract:
We show that the stability problem and the problem of constructing Barabanov norms can be resolved for planar linear switching systems in an explicit form. This can be done for every compact control set of $2 \times 2$ matrices. If the control set does not contain a dominant matrix with a real spectrum, then the invariant norm is always unique (up to a multiplier) and belongs to~$C^1$. Otherwise,…
▽ More
We show that the stability problem and the problem of constructing Barabanov norms can be resolved for planar linear switching systems in an explicit form. This can be done for every compact control set of $2 \times 2$ matrices. If the control set does not contain a dominant matrix with a real spectrum, then the invariant norm is always unique (up to a multiplier) and belongs to~$C^1$. Otherwise, there may be infinitely many such norms, including non-smooth ones. All of them can be found and classified. In particular, every symmetric convex body is a unit ball of the Barabanov norm of a suitable linear switching system. Several examples of control sets such as matrix Frobenius balls and matrix polyhedra are analysed.
△ Less
Submitted 18 June, 2025; v1 submitted 10 July, 2024;
originally announced July 2024.
-
Autopolar conic bodies and polyhedra
Authors:
Maxim Makarov,
Vladimir Yu. Protasov
Abstract:
An antinorm is a concave analogue of a norm. In contrast to norms, antinorms are not defined on the entire space $R^d$ but on a cone $K\subset R^d$. They are applied in the matrix analysis, optimal control, and dynamical systems. Their level sets are called conic bodies and (in case of piecewise-linear antinorms) conic polyhedra. The basic facts and notions of the "concave analysis" of antinorms s…
▽ More
An antinorm is a concave analogue of a norm. In contrast to norms, antinorms are not defined on the entire space $R^d$ but on a cone $K\subset R^d$. They are applied in the matrix analysis, optimal control, and dynamical systems. Their level sets are called conic bodies and (in case of piecewise-linear antinorms) conic polyhedra. The basic facts and notions of the "concave analysis" of antinorms such as separation theorems, duality, polars, Minkowski functionals, etc., are similar to those from the standard convex analysis. There are, however, some significant differences. One of them is the existence of many self-dual objects. We prove that there are infinitely many families of autopolar conic bodies and polyhedra in the cone $K=R^d_+$. For $d=2$, this gives a complete classification of self-dual antinorms, while for $d\ge 3$, there are counterexamples.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Chebyshev approximation by non-Chebyshev systems
Authors:
Vladimir Yu. Protasov,
Rinat Kamalov
Abstract:
We address the problem of the best uniform approximation by linear combinations of a finite system of functions. If the system is Chebyshev and the problem is unconstrained, then the classical Remez algorithm provides a fast and precise solution. For non-Chebyshev systems, this problem may offer a great resistance. The same happens to approximations under linear constraints. We propose a solution…
▽ More
We address the problem of the best uniform approximation by linear combinations of a finite system of functions. If the system is Chebyshev and the problem is unconstrained, then the classical Remez algorithm provides a fast and precise solution. For non-Chebyshev systems, this problem may offer a great resistance. The same happens to approximations under linear constraints. We propose a solution by modifying the concept of alternance and of the Remez iterative procedure. A criterion of the best approximation is proved and the full set of polynomials of best approximation (which may not be unique in the non-Chebyshev case) is characterized. The method of finding the best polynomial is applicable for arbitrary functional systems under arbitrary linear constraints. The efficiency is demonstrated in examples with systems of complex exponents, Gaussian functions, and lacunar polynomials. As an application, the Markov-Bernstein type inequalities are obtained for those systems. Applications to signal processing, linear ODEs, switching dynamical systems are considered.
△ Less
Submitted 5 July, 2025; v1 submitted 24 March, 2024;
originally announced March 2024.
-
Stability under dwell time constraints: Discretization revisited
Authors:
Thomas Mejstrik,
Vladimir Yu. Protasov
Abstract:
We decide the stability and compute the Lyapunov exponent of continuous-time linear switching systems with a guaranteed dwell time. The main result asserts that the discretization method with step size~$h$ approximates the Lyapunov exponent with the precision~$C\,h^2$, where~$C$ is a constant. Let us stress that without the dwell time assumption, the approximation rate is known to be linear in~…
▽ More
We decide the stability and compute the Lyapunov exponent of continuous-time linear switching systems with a guaranteed dwell time. The main result asserts that the discretization method with step size~$h$ approximates the Lyapunov exponent with the precision~$C\,h^2$, where~$C$ is a constant. Let us stress that without the dwell time assumption, the approximation rate is known to be linear in~$h$. Moreover, for every system, the constant~$C$ can be explicitly evaluated. In turn, the discretized system can be treated by computing the Markovian joint spectral radius of a certain system on a graph. This gives the value of the Lyapunov exponent with a high accuracy. The method is efficient for dimensions up to, approximately, ten; for positive systems, the dimensions can be much higher, up to several hundreds.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Anisotropic refinable functions and the tile B-splines
Authors:
Vladimir Yu. Protasov,
Tatyana Zaitseva
Abstract:
The regularity of refinable functions has been analysed in an extensive literature and is well-understood in two cases: 1) univariate 2) multivariate with an isotropic dilation matrix. The general (non-isotropic) case offered a great resistance. It was done only recently by developing the matrix method. In this paper we make the next step and extend the Littlewood-Paley type method, which is very…
▽ More
The regularity of refinable functions has been analysed in an extensive literature and is well-understood in two cases: 1) univariate 2) multivariate with an isotropic dilation matrix. The general (non-isotropic) case offered a great resistance. It was done only recently by developing the matrix method. In this paper we make the next step and extend the Littlewood-Paley type method, which is very efficient in the aforementioned special cases, to general equations with arbitrary dilation matrices. This gives formulas for the higher order regularity in $W_2^k(\mathbb{R}^n)$ by means of the Perron eigenvalue of a finite-dimensional linear operator on a special cone. Applying those results to recently introduced tile B-splines, we prove that they can have a higher smoothness than the classical ones of the same order. Moreover, the two-digit tile B-splines have the minimal support of the mask among all refinable functions of the same order of approximation. This proves, in particular, the lowest algorithmic complexity of the corresponding subdivision schemes. Examples and numerical results are provided.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Closed simple geodesics on a polyhedron
Authors:
Vladimir Yu. Protasov
Abstract:
It is well-known that every isosceles tetrahedron (disphenoid) admits infinitely many simple closed geodesics on its surface. They can be naturally enumerated by pairs of co-prime integers $n > m > 1$ with two additional cases $(1,0)$ and $(1,1)$. The (n,m)-geodesic is a broken line with $4(n+m)$ vertices, its length tends to infinity as $m\to \infty$. Are there other polyhedra possessing this pro…
▽ More
It is well-known that every isosceles tetrahedron (disphenoid) admits infinitely many simple closed geodesics on its surface. They can be naturally enumerated by pairs of co-prime integers $n > m > 1$ with two additional cases $(1,0)$ and $(1,1)$. The (n,m)-geodesic is a broken line with $4(n+m)$ vertices, its length tends to infinity as $m\to \infty$. Are there other polyhedra possessing this property? The answer depends on convexity. We give an elementary proof that among convex polyhedra only disphenoids admit arbitrarily long closed simple geodesics. For non-convex polyhedra, this is not true. We present a counterexample with the corresponding polyhedron being a union of seven equal cubes. Several open problems are formulated
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
How do the lengths of switching intervals influence the stability of a dynamical system?
Authors:
Vladimir Yu. Protasov,
Rinat Kamalov
Abstract:
If a linear switching system with frequent switches is stable, will it be stable under arbitrary switches? In general, the answer is negative. Nevertheless, this question can be answered in an explicit form for any concrete system. This is done by finding the mode-dependent critical lengths of switching intervals after which any enlargement does not influence the stability. The solution is given i…
▽ More
If a linear switching system with frequent switches is stable, will it be stable under arbitrary switches? In general, the answer is negative. Nevertheless, this question can be answered in an explicit form for any concrete system. This is done by finding the mode-dependent critical lengths of switching intervals after which any enlargement does not influence the stability. The solution is given in terms of the exponential polynomials of least deviation from zero on a segment (``Chebyshev-like'' polynomials). By proving several theoretical results on exponential polynomial approximation we derive an algorithm for finding such polynomials and for computing the critical switching time. The convergence of the algorithm is estimated and numerical results are provided.
△ Less
Submitted 29 June, 2024; v1 submitted 16 December, 2023;
originally announced December 2023.
-
Generalized Markov-Bernstein inequalities and stability of dynamical systems
Authors:
Vladimir Yu. Protasov
Abstract:
The Markov-Bernstein type inequalities between the norms of functions and of their derivatives are analysed for complex exponential polynomials. We establish a relation between the sharp constants in those inequalities and the stability problem for linear switching systems. In particular, the maximal discretization step is estimated. We prove the monotonicity of the sharp constants with respect to…
▽ More
The Markov-Bernstein type inequalities between the norms of functions and of their derivatives are analysed for complex exponential polynomials. We establish a relation between the sharp constants in those inequalities and the stability problem for linear switching systems. In particular, the maximal discretization step is estimated. We prove the monotonicity of the sharp constants with respect to the exponents, provided those exponents are real. This gives asymptotically tight uniform bounds and the general form of the extremal polynomial. The case of complex exponent is left as an open problem.
△ Less
Submitted 25 September, 2022;
originally announced September 2022.
-
The length of switching intervals of a stable linear system
Authors:
Rinat Kamalov,
Vladimir Yu. Protasov
Abstract:
The linear switching system is a system of ODE with the time-dependent matrix taking values from a given control matrix set. The system is (asymptotically) stable if all its trajectories tend to zero for every control function. We consider possible mode-dependent restrictions on the lengths of switching intervals which keeps the stability of the system. When the stability of trajectories with shor…
▽ More
The linear switching system is a system of ODE with the time-dependent matrix taking values from a given control matrix set. The system is (asymptotically) stable if all its trajectories tend to zero for every control function. We consider possible mode-dependent restrictions on the lengths of switching intervals which keeps the stability of the system. When the stability of trajectories with short switching intervals implies the stability of all trajectories? To answer this question we introduce the concept of "cut tail points" of linear operators and study them by the convex analysis tools. We reduce the problem to the construction of Chebyshev-type exponential polynomials, for which we derive an algorithm and present the corresponding numerical results.
△ Less
Submitted 25 September, 2022;
originally announced September 2022.
-
Stability of linear systems with bounded switching intervals
Authors:
Vladimir Yu. Protasov,
Rinat Kamalov
Abstract:
We address the stability problem for linear switching systems with mode-dependent restrictions on the switching intervals. Their lengths can be bounded as from below (the guaranteed dwell-time) as from above. The upper bounds make this problem quite different from the classical case: a stable system can consist of unstable matrices, it may not possess Lyapunov functions, etc. We introduce the conc…
▽ More
We address the stability problem for linear switching systems with mode-dependent restrictions on the switching intervals. Their lengths can be bounded as from below (the guaranteed dwell-time) as from above. The upper bounds make this problem quite different from the classical case: a stable system can consist of unstable matrices, it may not possess Lyapunov functions, etc. We introduce the concept of Lyapunov multifunction with discrete monotonicity, which gives upper bounds for the Lyapunov exponent. Its existence as well as the existence of invariant norms are proved. Tight lower bounds are
obtained in terms of a modified Berger-Wang formula over periodizable switching laws. Based on those results we develop a method of computation of the Lyapunov exponent with an arbitrary precision and analyse its efficiency in numerical results. The case when some of upper bounds can be cancelled is analysed.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Surface dimension, tiles, and synchronising automata
Authors:
Vladimir Yu. Protasov
Abstract:
We study the surface regularity of compact sets $G \subset R^n$ which is equal to the supremum of numbers $s\ge 0$ such that the measure of the set $G_{\varepsilon}\setminus G$ does not exceed $C\varepsilon^{s}, \varepsilon > 0$, where $G_{\varepsilon}$ denotes the $\varepsilon$-neighbourhood of~$G$. The surface dimension is by definition the difference between~$n$ and the surface regularity. Thos…
▽ More
We study the surface regularity of compact sets $G \subset R^n$ which is equal to the supremum of numbers $s\ge 0$ such that the measure of the set $G_{\varepsilon}\setminus G$ does not exceed $C\varepsilon^{s}, \varepsilon > 0$, where $G_{\varepsilon}$ denotes the $\varepsilon$-neighbourhood of~$G$. The surface dimension is by definition the difference between~$n$ and the surface regularity. Those values provide a natural characterisation of regularity for sets of positive measure. We show that for self-affine attractors and tiles those characteristics are explicitly computable and find them for some popular tiles. This, in particular, gives a refined regularity scale for the multivariate Haar wavelets. The classification of attractors of the highest possible regularity is addressed. The relation between the surface regularity and the Hölder regularity of multivariate refinable functions and wavelets is found. Finally, the surface regularity is applied to the theory of synchronising automata, where it corresponds to the concept of parameter of synchronisation.
△ Less
Submitted 25 September, 2021;
originally announced September 2021.
-
The Barabanov norm is generically unique, simple, and easily computed
Authors:
Vladimir Yu. Protasov
Abstract:
Every irreducible discrete-time linear switching system possesses an invariant convex Lyapunov function (Barabanov norm), which provides a very refined analysis of trajectories. Until recently that notion remained rather theoretical apart from special cases. In 2015 N.Guglielmi and M.Zennaro showed that many systems possess at least one simple Barabanov norm, which moreover, can be efficiently com…
▽ More
Every irreducible discrete-time linear switching system possesses an invariant convex Lyapunov function (Barabanov norm), which provides a very refined analysis of trajectories. Until recently that notion remained rather theoretical apart from special cases. In 2015 N.Guglielmi and M.Zennaro showed that many systems possess at least one simple Barabanov norm, which moreover, can be efficiently computed. In this paper we classify all possible Barabanov norms for discrete-time systems. We prove that, under mild assumptions, such norms are unique and are either piecewise-linear or piecewise quadratic. Those assumptions can be verified algorithmically and the numerical experiments show that a vast majority of systems satisfy them. For some narrow classes of systems, there are more complicated Barabanov norms but they can still be classified and constructed. Using those results we find all trajectories of the fastest growth. They turn out to be eventually periodic with special periods. Examples and numerical results are presented.
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
Antinorms on cones: duality and applications
Authors:
Vladimir Yu. Protasov
Abstract:
An antinorm is a concave nonnegative homogeneous functional on a convex cone. It is shown that if the cone is polyhedral, then every antinorm has a unique continuous extension from the interior of the cone. The main facts of the duality theory in convex analysis, in particular, the Fenchel-Moreau theorem, are generalized to antinorms. However, it is shown that the duality relation for antinorms is…
▽ More
An antinorm is a concave nonnegative homogeneous functional on a convex cone. It is shown that if the cone is polyhedral, then every antinorm has a unique continuous extension from the interior of the cone. The main facts of the duality theory in convex analysis, in particular, the Fenchel-Moreau theorem, are generalized to antinorms. However, it is shown that the duality relation for antinorms is discontinuous. In every dimension there are infinitely many self-dual antinorms on the positive orthant and, in particular, infinitely many autopolar polyhedra. For the two-dimensional case, we characterise them all. The classification in higher dimensions is left as an open problem. Applications to linear dynamical systems, to the Lyapunov exponent of random matrix products, to the lower spectral radius of nonnegative matrices, and to convex trigonometry are considered.
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
Elliptic polytopes and invariant norms of linear operators
Authors:
Thomas Mejstrik,
Vladimir Yu. Protasov
Abstract:
We address the problem of constructing elliptic polytopes in R^d, which are convex hulls of finitely many two-dimensional ellipses with a common center. Such sets arise in the study of spectral properties of matrices, asymptotics of long matrix products, in the Lyapunov stability, etc.. The main issue in the construction is to decide whether a given ellipse is in the convex hull of others. The com…
▽ More
We address the problem of constructing elliptic polytopes in R^d, which are convex hulls of finitely many two-dimensional ellipses with a common center. Such sets arise in the study of spectral properties of matrices, asymptotics of long matrix products, in the Lyapunov stability, etc.. The main issue in the construction is to decide whether a given ellipse is in the convex hull of others. The computational complexity of this problem is analysed by considering an equivalent optimisation problem. We show that the number of local extrema of that problem may grow exponentially in d. For d=2,3, it admits an explicit solution for an arbitrary number of ellipses; for higher dimensions, several geometric methods for approximate solutions are derived. Those methods are analysed numerically and their efficiency is demonstrated in applications.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Tiling of polyhedral sets
Authors:
Vladimir Yu. Protasov,
Tatyana Zaitseva
Abstract:
A self-affine tiling of a compact set G of positive Lebesgue measure is its partition to parallel shifts of a compact set which is affinely similar to G. We find all polyhedral sets (unions of finitely many convex polyhedra) that admit self-affine tilings. It is shown that in R^d there exist an infinite family of such polyhedral sets, not affinely equivalent to each other. A special attention is p…
▽ More
A self-affine tiling of a compact set G of positive Lebesgue measure is its partition to parallel shifts of a compact set which is affinely similar to G. We find all polyhedral sets (unions of finitely many convex polyhedra) that admit self-affine tilings. It is shown that in R^d there exist an infinite family of such polyhedral sets, not affinely equivalent to each other. A special attention is paid to an important particular case when the matrix of affine similarity and the translation vectors are integer. Applications to the approximation theory and to the functional analysis are discussed.
△ Less
Submitted 24 July, 2021; v1 submitted 1 July, 2021;
originally announced July 2021.
-
On mutually inverse transforms of functions on a half-line
Authors:
V. Yu. Protasov,
M. E. Shirokov
Abstract:
Two transforms of functions on a half-line are considered. It is proved that their composition gives a concave majorant for every nonnegative function. In particular, this composition is the identity transform on the class of nonnegative concave functions. Applications of this result to some problems of mathematical physics are indicated. Several open questions are formulated.
Two transforms of functions on a half-line are considered. It is proved that their composition gives a concave majorant for every nonnegative function. In particular, this composition is the identity transform on the class of nonnegative concave functions. Applications of this result to some problems of mathematical physics are indicated. Several open questions are formulated.
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
Self-affine 2-attractors and tiles
Authors:
Vladimir Yu. Protasov,
Tatyana Zaitseva
Abstract:
We study two-digit attractors (2-attractors) in $\mathbb{R}^d$ which are self-affine compact sets defined by two contraction affine mappings with the same linear part. They are widely studied in the literature under various names: twindragons, two-digit tiles, 2-reptiles, etc., due to many applications in approximation theory, in the construction of multivariate Haar systems and other wavelet base…
▽ More
We study two-digit attractors (2-attractors) in $\mathbb{R}^d$ which are self-affine compact sets defined by two contraction affine mappings with the same linear part. They are widely studied in the literature under various names: twindragons, two-digit tiles, 2-reptiles, etc., due to many applications in approximation theory, in the construction of multivariate Haar systems and other wavelet bases, in the discrete geometry, and in the number theory. We obtain a complete classification of isotropic 2-attractors in $\mathbb{R}^d$ and show that they are all homeomorphic but not diffeomorphic. In the general, non-isotropic, case it is proved that a 2-attractor is uniquely defined, up to an affine similarity, by the spectrum of the dilation matrix. We estimate the number of different 2-attractors in $\mathbb{R}^d$ by analysing integer unitary expanding polynomials with the free coefficient $\pm 2$. The total number of such polynomials is estimated by the Mahler measure. We present several infinite series of such polynomials. For some of the 2-attractors, their Hölder exponents are found. Some of our results are extended to attractors with an arbitrary number of digits.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Maximal acyclic subgraphs and closest stable matrices
Authors:
Aleksandar Cvetković,
Vladimir Yu. Protasov
Abstract:
We develop a matrix approach to the Maximal Acyclic Subgraph (MAS) problem by reducing it to finding the closest nilpotent matrix to the matrix of the graph. Using recent results on the closest Schur stable systems and on minimising the spectral radius over special sets of non-negative matrices we obtain an algorithm for finding an approximate solution of MAS. Numerical results for graphs from 50…
▽ More
We develop a matrix approach to the Maximal Acyclic Subgraph (MAS) problem by reducing it to finding the closest nilpotent matrix to the matrix of the graph. Using recent results on the closest Schur stable systems and on minimising the spectral radius over special sets of non-negative matrices we obtain an algorithm for finding an approximate solution of MAS. Numerical results for graphs from 50 to 1500 vertices demonstrate its fast convergence and give the rate of approximation in most cases larger than 0.6. The same method gives the precise solution for the following weakened version of MAS: and the minimal $r$ such that the graph can be made acyclic by cutting at most $r$ incoming edges from each vertex. Several modifications, when each vertex is assigned with its own maximal number $r_i$ of cut edges, when some of edges are "untouchable", are also considered. Some applications are discussed.
△ Less
Submitted 24 May, 2020; v1 submitted 8 December, 2019;
originally announced December 2019.
-
Analytic functions in shift-invariant spaces and analytic limits of level dependent subdivision
Authors:
Maria Charina,
Vladimir Yu. Protasov
Abstract:
The structure of exponential subspaces of finitely generated shift-invariant spaces is well understood and the role of such subspaces for the approximation power of refinable function vectors and related multi-wavelets is well studied. In this paper, in the univariate setting, we characterize all analytic subspaces of finitely generated shift-invariant spaces and provide explicit descriptions of e…
▽ More
The structure of exponential subspaces of finitely generated shift-invariant spaces is well understood and the role of such subspaces for the approximation power of refinable function vectors and related multi-wavelets is well studied. In this paper, in the univariate setting, we characterize all analytic subspaces of finitely generated shift-invariant spaces and provide explicit descriptions of elements of such subspaces. Consequently, we depict the analytic functions generated by level dependent (non-stationary) subdivision schemes with masks of unbounded support. And we confirm the belief that the exponential polynomials are indeed the only analytic functions generated by such subdivision schemes with finitely supported masks.
△ Less
Submitted 11 September, 2019; v1 submitted 12 July, 2019;
originally announced July 2019.
-
The greedy strategy in optimizing the Perron eigenvalue
Authors:
Vladimir Yu. Protasov,
Aleksandar Cvetković
Abstract:
We address the problems of minimizing and of maximizing the spectral radius overa compact family of non-negative matrices. Those problems being hard in generalcan be efficiently solved for some special families. We consider the so-called prod-uct families, where each matrix is composed of rows chosen independently from givensets. A recently introduced greedy method works very fast. However, it is…
▽ More
We address the problems of minimizing and of maximizing the spectral radius overa compact family of non-negative matrices. Those problems being hard in generalcan be efficiently solved for some special families. We consider the so-called prod-uct families, where each matrix is composed of rows chosen independently from givensets. A recently introduced greedy method works very fast. However, it is applicablemostly for strictly positive matrices. For sparse matrices, it often diverges and gives awrong answer. We present the "selective greedy method" thatworks equally well forall non-negative product families, including sparse ones.For this method, we provea quadratic rate of convergence and demonstrate its efficiency in numerical examples.The numerical examples are realised for two cases: finite uncertainty sets and poly-hedral uncertainty sets given by systems of linear inequalities. In dimensions up to 2000, the matrices with minimal/maximal spectral radii in product families are foundwithin a few iterations. Applications to dynamical systemsand to the graph theoryare considered
△ Less
Submitted 18 May, 2020; v1 submitted 13 July, 2018;
originally announced July 2018.
-
On the closest stable/unstable nonnegative matrix and related stability radii
Authors:
Nicola Guglielmi,
Vladimir Yu. Protasov
Abstract:
We consider the problem of computing the closest stable/unstable non-negative matrix to a given real matrix. This problem is important in the study of linear dynamical systems, numerical methods, etc. The distance between matrices is measured in the Frobenius norm. The problem is addressed for two types of stability: the Schur stability (the matrix is stable if its spectral radius is smaller than…
▽ More
We consider the problem of computing the closest stable/unstable non-negative matrix to a given real matrix. This problem is important in the study of linear dynamical systems, numerical methods, etc. The distance between matrices is measured in the Frobenius norm. The problem is addressed for two types of stability: the Schur stability (the matrix is stable if its spectral radius is smaller than one) and the Hurwitz stability (the matrix is stable if its spectral abscissa is negative). We show that the closest unstable matrix can always be explicitly found. For the closest stable matrix, we present an iterative algorithm which converges to a local minimum with a linear rate. It is shown that the total number of local minima can be exponential in the dimension. Numerical results and the complexity estimates are presented.
△ Less
Submitted 8 February, 2018;
originally announced February 2018.
-
Regularity of anisotropic refinable functions
Authors:
Maria Charina,
Vladimir Yu. Protasov
Abstract:
This paper presents a detailed regularity analysis of anisotropic wavelet frames and subdivision. In the univariate setting, the smoothness of wavelet frames and subdivision is well understood by means of the matrix approach. In the multivariate setting, this approach has been extended only to the special case of isotropic refinement with the dilation matrix all of whose eigenvalues are equal in t…
▽ More
This paper presents a detailed regularity analysis of anisotropic wavelet frames and subdivision. In the univariate setting, the smoothness of wavelet frames and subdivision is well understood by means of the matrix approach. In the multivariate setting, this approach has been extended only to the special case of isotropic refinement with the dilation matrix all of whose eigenvalues are equal in the absolute value. The general anisotropic case has resisted to be fully understood: the matrix approach can determine whether a refinable function belongs to $C(\mathbb{R}^s)$ or $L_p(\mathbb{R}^s)$, $1 \le p < \infty$, but its Hölder regularity remained mysteriously unattainable.
It this paper we show how to compute the Hölder regularity in $C(\mathbb{R}^s)$ or $L_p(\mathbb{R}^s)$, $1 \le p < \infty$. In the anisotropic case, our expression for the exact Hölder exponent of a refinable function reflects the impact of the variable moduli of the eigenvalues of the corresponding dilation matrix. In the isotropic case, our results reduce to the well-known facts from the literature. We provide an efficient algorithm for determining the finite set of the restricted transition matrices whose spectral properties characterize the Hölder exponent of the corresponding refinable function. We also analyze the higher regularity, the local regularity, the corresponding moduli of continuity, and the rate of convergence of the corresponding subdivision schemes. We illustrate our results with several examples.
△ Less
Submitted 19 June, 2019; v1 submitted 1 February, 2017;
originally announced February 2017.
-
Universal measure for Poncelet-type theorems
Authors:
Evgeny A. Avksentyev,
Vladimir Yu. Protasov
Abstract:
We give a simple proof of the Emch closing theorem by introducing a new invariant measure on the circle. Special cases of that measures are well-known and have been used in the literature to prove Poncelet's and Zigzag theorems. Some further generalizations are also obtained by applying the new measure.
We give a simple proof of the Emch closing theorem by introducing a new invariant measure on the circle. Special cases of that measures are well-known and have been used in the literature to prove Poncelet's and Zigzag theorems. Some further generalizations are also obtained by applying the new measure.
△ Less
Submitted 2 October, 2016;
originally announced October 2016.
-
Invariant polytopes of linear operators with applications to regularity of wavelets and of subdivisions
Authors:
Nicola Guglielmi,
Vladimir Yu. Protasov
Abstract:
We generalize the recent invariant polytope algorithm for computing the joint spectral radius and extend it to a wider class of matrix sets. This, in particular, makes the algorithm applicable to sets of matrices that have finitely many spectrum maximizing products. A criterion of convergence of the algorithm is proved.
As an application we solve two challenging computational open problems. Firs…
▽ More
We generalize the recent invariant polytope algorithm for computing the joint spectral radius and extend it to a wider class of matrix sets. This, in particular, makes the algorithm applicable to sets of matrices that have finitely many spectrum maximizing products. A criterion of convergence of the algorithm is proved.
As an application we solve two challenging computational open problems. First we find the regularity of the Butterfly subdivision scheme for various parameters $ω$. In the "most regular" case $ω= \frac{1}{16}$, we prove that the limit function has Hölder exponent $2$ and its derivative is "almost Lipschitz" with logarithmic factor $2$. Second we compute the Hölder exponent of Daubechies wavelets of high order.
△ Less
Submitted 4 February, 2015;
originally announced February 2015.
-
Resonance and marginal instability of switching systems
Authors:
Vladimir Y. Protasov,
Raphael M. Jungers
Abstract:
We analyse the so-called Marginal Instability of linear switching systems, both in continuous and discrete time. This is a phenomenon of unboundedness of trajectories when the Lyapunov exponent is zero. We disprove two recent conjectures of Chitour, Mason, and Sigalotti (2012) stating that for generic systems, the resonance is sufficient for marginal instability and for polynomial growth of the tr…
▽ More
We analyse the so-called Marginal Instability of linear switching systems, both in continuous and discrete time. This is a phenomenon of unboundedness of trajectories when the Lyapunov exponent is zero. We disprove two recent conjectures of Chitour, Mason, and Sigalotti (2012) stating that for generic systems, the resonance is sufficient for marginal instability and for polynomial growth of the trajectories. We provide a characterization of marginal instability under some mild assumptions on the sys- tem. These assumptions can be verified algorithmically and are believed to be generic. Finally, we analyze possible types of fastest asymptotic growth of trajectories. An example of a pair of matrices with sublinear growth is given.
△ Less
Submitted 3 November, 2014;
originally announced November 2014.
-
Stability of linear switching systems and Markov-Bernstein inequalities for exponents
Authors:
Vladimir Yu. Protasov,
Raphael M. Jungers
Abstract:
We analyse the problem of stability of a continuous time linear switching system (LSS) versus the stability of its Euler discretization. It is well-known that the existence of a positive τ for which the corresponding discrete time system with step size τ is stable implies the stability of LSS. Our main goal is to obtain a converse statement, that is, to estimate the discretization step size τ > 0…
▽ More
We analyse the problem of stability of a continuous time linear switching system (LSS) versus the stability of its Euler discretization. It is well-known that the existence of a positive τ for which the corresponding discrete time system with step size τ is stable implies the stability of LSS. Our main goal is to obtain a converse statement, that is, to estimate the discretization step size τ > 0 up to a given accuracy ε > 0. This leads to a method of deciding the stability of continuous time LSS with a guaranteed accuracy. As the first step, we solve this problem for matrices with real spectrum and conjecture that our method stays valid for the general case. Our approach is based on Markov-Bernstein type inequalities for systems of exponents. We obtain universal estimates for sharp constants in those inequalities. Our work provides the first estimate of the computational cost of the stability problem for continuous-time LSS (though restricted to the real-spectrum case).
△ Less
Submitted 15 July, 2014;
originally announced July 2014.
-
Convex Optimization methods for computing the Lyapunov Exponent of matrices
Authors:
Vladimir Yu. Protasov,
Raphael M. Jungers
Abstract:
We introduce a new approach to evaluate the largest Lyapunov exponent of a family of nonnegative matrices. The method is based on using special positive homogeneous functionals on $R^{d}_+,$ which gives iterative lower and upper bounds for the Lyapunov exponent. They improve previously known bounds and converge to the real value. The rate of convergence is estimated and the efficiency of the algor…
▽ More
We introduce a new approach to evaluate the largest Lyapunov exponent of a family of nonnegative matrices. The method is based on using special positive homogeneous functionals on $R^{d}_+,$ which gives iterative lower and upper bounds for the Lyapunov exponent. They improve previously known bounds and converge to the real value. The rate of convergence is estimated and the efficiency of the algorithm is demonstrated on several problems from applications (in functional analysis, combinatorics, and lan- guage theory) and on numerical examples with randomly generated matrices. The method computes the Lyapunov exponent with a prescribed accuracy in relatively high dimensions (up to 60). We generalize this approach to all matrices, not necessar- ily nonnegative, derive a new universal upper bound for the Lyapunov exponent, and show that such a lower bound, in general, does not exist.
△ Less
Submitted 16 January, 2012;
originally announced January 2012.
-
Generalized compactness in linear spaces and its applications
Authors:
V. Yu. Protasov,
M. E. Shirokov
Abstract:
The class of subsets of locally convex spaces called $μ$-compact sets is considered. This class contains all compact sets as well as several noncompact sets widely used in applications. It is shown that many results well known for compact sets can be generalized to $μ$-compact sets. Several examples are considered.
The main result of the paper is a generalization to $μ$-compact convex sets of th…
▽ More
The class of subsets of locally convex spaces called $μ$-compact sets is considered. This class contains all compact sets as well as several noncompact sets widely used in applications. It is shown that many results well known for compact sets can be generalized to $μ$-compact sets. Several examples are considered.
The main result of the paper is a generalization to $μ$-compact convex sets of the Vesterstrom-O'Brien theorem showing equivalence of the particular properties of a compact convex set (s.t. openness of the mixture map, openness of the barycenter map and of its restriction to maximal measures, continuity of a convex hull of any continuous function, continuity of a convex hull of any concave continuous function). It is shown that the Vesterstrom-O'Brien theorem does not hold for pointwise $μ$-compact convex sets defined by the slight relaxing of the $μ$-compactness condition. Applications of the obtained results to quantum information theory are considered.
△ Less
Submitted 6 April, 2011; v1 submitted 18 February, 2010;
originally announced February 2010.
