-
Sustainable regional economic development and land use: a case of Russia
Authors:
Wadim Strielkowski,
Oxana Mukhoryanova,
Oxana Kuznetsova,
Yury Syrov
Abstract:
This paper analyzes sustainable regional economic development and land use employing a case study of Russia. The economics of land management in Russia which is shaped by both historical legacies and contemporary policies represents an interesting conundrum. Following the dissolution of the Soviet Union, Russia embarked on a thorny and complex path towards the economic reforms and transformation c…
▽ More
This paper analyzes sustainable regional economic development and land use employing a case study of Russia. The economics of land management in Russia which is shaped by both historical legacies and contemporary policies represents an interesting conundrum. Following the dissolution of the Soviet Union, Russia embarked on a thorny and complex path towards the economic reforms and transformation characterized, among all, by the privatization and decentralization of land ownership. This transition was aimed at improving agricultural productivity and fostering sustainable regional economic development but also led to new challenges such as uneven distribution of land resources, unclear property rights, and underinvestment in rural infrastructure. However, managing all of that effectively poses significant challenges and opportunities. With the help of the comprehensive bibliographic network analysis, this study sheds some light on the current state of sustainable regional economic development and land use management in Russia. Its results and outcomes might be helpful for the researchers and stakeholders alike in devising effective strategies aimed at maximizing resources for sustainable land use, particularly within their respective regional economies.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Towards Model-Agnostic Federated Learning over Networks
Authors:
A. Jung,
S. Abdurakhmanova,
O. Kuznetsova,
Y. SarcheshmehPour
Abstract:
We present a model-agnostic federated learning method for networks of heterogeneous data and models. The network structure reflects similarities between the (statistics of) local datasets and, in turn, their associated local("personal") models. Our method is an instance of empirical risk minimization, with the regularization term derived from the network structure of data. In particular, we requir…
▽ More
We present a model-agnostic federated learning method for networks of heterogeneous data and models. The network structure reflects similarities between the (statistics of) local datasets and, in turn, their associated local("personal") models. Our method is an instance of empirical risk minimization, with the regularization term derived from the network structure of data. In particular, we require well-connected local models, forming clusters, to yield similar predictions on a common test set. The proposed method allows for a wide range of local models. The only restriction on these local models is that they allow for efficient implementation of regularized empirical risk minimization (training). For a wide range of models, such implementations are available in high-level programming libraries including scikit-learn, Keras or PyTorch.
△ Less
Submitted 13 June, 2023; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Combinatorial Derived Matroids
Authors:
Olga Kuznetsova,
Ragnar Freij-Hollanti,
Relinde Jurrius
Abstract:
Let $M$ be an arbitrary matroid with circuits $\mathcal{C}(M)$. We propose a definition of a derived matroid $δM$ that has as its ground set $\mathcal{C}(M)$. Unlike previous attempts of such a definition, our definition applies to arbitrary matroids, and is completely combinatorial. We prove that the rank of $δM$ is bounded from above by $|M|-r(M)$, that it is connected if and only if $M$ is conn…
▽ More
Let $M$ be an arbitrary matroid with circuits $\mathcal{C}(M)$. We propose a definition of a derived matroid $δM$ that has as its ground set $\mathcal{C}(M)$. Unlike previous attempts of such a definition, our definition applies to arbitrary matroids, and is completely combinatorial. We prove that the rank of $δM$ is bounded from above by $|M|-r(M)$, that it is connected if and only if $M$ is connected. We compute examples including the derived matroids of uniform matroids, the Vámos matroid and the graphical matroid $M(K_4)$. We formulate conjectures relating our construction to previous definitions of derived matroids.
△ Less
Submitted 21 December, 2022; v1 submitted 14 June, 2022;
originally announced June 2022.
-
Log-concave density estimation in undirected graphical models
Authors:
Kaie Kubjas,
Olga Kuznetsova,
Elina Robeva,
Pardis Semnani,
Luca Sodomaco
Abstract:
We study the problem of maximum likelihood estimation of densities that are log-concave and lie in the graphical model corresponding to a given undirected graph $G$. We show that the maximum likelihood estimate (MLE) is the product of the exponentials of several tent functions, one for each maximal clique of $G$. While the set of log-concave densities in a graphical model is infinite-dimensional,…
▽ More
We study the problem of maximum likelihood estimation of densities that are log-concave and lie in the graphical model corresponding to a given undirected graph $G$. We show that the maximum likelihood estimate (MLE) is the product of the exponentials of several tent functions, one for each maximal clique of $G$. While the set of log-concave densities in a graphical model is infinite-dimensional, our results imply that the MLE can be found by solving a finite-dimensional convex optimization problem. We provide an implementation and a few examples. Furthermore, we show that the MLE exists and is unique with probability 1 as long as the number of sample points is larger than the size of the largest clique of $G$ when $G$ is chordal. We show that the MLE is consistent when the graph $G$ is a disjoint union of cliques. Finally, we discuss the conditions under which a log-concave density in the graphical model of $G$ has a log-concave factorization according to $G$.
△ Less
Submitted 10 June, 2022;
originally announced June 2022.
-
Validity of tests for time-to-event endpoints in studies with the Pocock and Simon covariate-adaptive randomization
Authors:
Victoria P. Johnson,
Michael Gekhtman,
Olga M. Kuznetsova
Abstract:
In the presence of prognostic covariates, inference about the treatment effect with time-to-event endpoints is mostly conducted via the stratified log-rank test or the score test based on the Cox proportional hazards model. In their ground-breaking work Ye and Shao (2020) have demonstrated theoretically that when the model is misspecified, the robust score test (Wei and Lin, 1989) as well as the u…
▽ More
In the presence of prognostic covariates, inference about the treatment effect with time-to-event endpoints is mostly conducted via the stratified log-rank test or the score test based on the Cox proportional hazards model. In their ground-breaking work Ye and Shao (2020) have demonstrated theoretically that when the model is misspecified, the robust score test (Wei and Lin, 1989) as well as the unstratified log-rank test are conservative in trials with stratified randomization. This fact, however, was not established for the Pocock and Simon covariate-adaptive allocation other than through simulations. In this paper, we expand the results of Ye and Shao to a more general class of randomization procedures and show, in part theoretically, in part through simulations, that the Pocock and Simon covariate-adaptive allocation belongs to this class. We also advance the search for the correlation structure of the normalized within-stratum imbalances with minimization by describing the asymptotic correlation matrix for the case of equal prevalence of all strata. We expand the robust tests proposed by Ye and Shao for stratified randomization to minimization and examine their performance trough simulations.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
Smoothed Embeddings for Certified Few-Shot Learning
Authors:
Mikhail Pautov,
Olesya Kuznetsova,
Nurislam Tursynbek,
Aleksandr Petiushko,
Ivan Oseledets
Abstract:
Randomized smoothing is considered to be the state-of-the-art provable defense against adversarial perturbations. However, it heavily exploits the fact that classifiers map input objects to class probabilities and do not focus on the ones that learn a metric space in which classification is performed by computing distances to embeddings of classes prototypes. In this work, we extend randomized smo…
▽ More
Randomized smoothing is considered to be the state-of-the-art provable defense against adversarial perturbations. However, it heavily exploits the fact that classifiers map input objects to class probabilities and do not focus on the ones that learn a metric space in which classification is performed by computing distances to embeddings of classes prototypes. In this work, we extend randomized smoothing to few-shot learning models that map inputs to normalized embeddings. We provide analysis of Lipschitz continuity of such models and derive robustness certificate against $\ell_2$-bounded perturbations that may be useful in few-shot learning scenarios. Our theoretical results are confirmed by experiments on different datasets.
△ Less
Submitted 16 September, 2022; v1 submitted 2 February, 2022;
originally announced February 2022.
-
Algebraic degree of optimization over a variety with an application to $p$-norm distance degree
Authors:
Kaie Kubjas,
Olga Kuznetsova,
Luca Sodomaco
Abstract:
We study an optimization problem with the feasible set being a real algebraic variety $X$ and whose parametric objective function $f_u$ is gradient-solvable with respect to the parametric data $u$. This class of problems includes Euclidean distance optimization as well as maximum likelihood optimization. For these particular optimization problems, a prominent role is played by the ED and ML corres…
▽ More
We study an optimization problem with the feasible set being a real algebraic variety $X$ and whose parametric objective function $f_u$ is gradient-solvable with respect to the parametric data $u$. This class of problems includes Euclidean distance optimization as well as maximum likelihood optimization. For these particular optimization problems, a prominent role is played by the ED and ML correspondence, respectively. To our generalized optimization problem we attach an optimization correspondence and show that it is equidimensional. This leads to the notion of algebraic degree of optimization on $X$. We apply these results to $p$-norm optimization, and define the $p$-norm distance degree of $X$, which coincides with the ED degree of $X$ for $p=2$. Finally, we derive a formula for the $p$-norm distance degree of $X$ as a weighted sum of the polar classes of $X$ under suitable transversality conditions.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
Computing Maximum Likelihood Estimates for Gaussian Graphical Models with Macaulay2
Authors:
Carlos Améndola,
Luis David García Puente,
Roser Homs,
Olga Kuznetsova,
Harshit J. Motwani
Abstract:
We introduce the package "GraphicalModelsMLE" for computing the maximum likelihood estimates (MLEs) of a Gaussian graphical model in the computer algebra system Macaulay2. This package allows the computation of MLEs for the class of loopless mixed graphs. Additional functionality allows the user to explore the underlying algebraic structure of the model, such as its maximum likelihood degree and t…
▽ More
We introduce the package "GraphicalModelsMLE" for computing the maximum likelihood estimates (MLEs) of a Gaussian graphical model in the computer algebra system Macaulay2. This package allows the computation of MLEs for the class of loopless mixed graphs. Additional functionality allows the user to explore the underlying algebraic structure of the model, such as its maximum likelihood degree and the ideal of score equations.
△ Less
Submitted 19 April, 2022; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Information Hiding Using Matroid Theory
Authors:
Ragnar Freij-Hollanti,
Olga Kuznetsova
Abstract:
Inspired by problems in Private Information Retrieval, we consider the setting where two users need to establish a communication protocol to transmit a secret without revealing it to external observers. This is a question of how large a linear code can be, when it is required to agree with a prescribed code on a collection of coordinate sets. We show how the efficiency of such a protocol is determ…
▽ More
Inspired by problems in Private Information Retrieval, we consider the setting where two users need to establish a communication protocol to transmit a secret without revealing it to external observers. This is a question of how large a linear code can be, when it is required to agree with a prescribed code on a collection of coordinate sets. We show how the efficiency of such a protocol is determined by the derived matroid of the underlying linear communication code. Furthermore, we provide several sufficient combinatorial conditions for when no secret transmission is possible.
△ Less
Submitted 5 April, 2021; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Exact Solutions in Log-Concave Maximum Likelihood Estimation
Authors:
Alexandros Grosdos,
Alexander Heaton,
Kaie Kubjas,
Olga Kuznetsova,
Georgy Scholten,
Miruna-Stefana Sorea
Abstract:
We study probability density functions that are log-concave. Despite the space of all such densities being infinite-dimensional, the maximum likelihood estimate is the exponential of a piecewise linear function determined by finitely many quantities, namely the function values, or heights, at the data points. We explore in what sense exact solutions to this problem are possible. First, we show tha…
▽ More
We study probability density functions that are log-concave. Despite the space of all such densities being infinite-dimensional, the maximum likelihood estimate is the exponential of a piecewise linear function determined by finitely many quantities, namely the function values, or heights, at the data points. We explore in what sense exact solutions to this problem are possible. First, we show that the heights given by the maximum likelihood estimate are generically transcendental. For a cell in one dimension, the maximum likelihood estimator is expressed in closed form using the generalized W-Lambert function. Even more, we show that finding the log-concave maximum likelihood estimate is equivalent to solving a collection of polynomial-exponential systems of a special form. Even in the case of two equations, very little is known about solutions to these systems. As an alternative, we use Smale's alpha-theory to refine approximate numerical solutions and to certify solutions to log-concave density estimation.
△ Less
Submitted 10 October, 2023; v1 submitted 10 March, 2020;
originally announced March 2020.
-
A lower-bound estimate of the Lyapunov dimension for the global attractor of the Lorenz system
Authors:
N. V. Kuznetsov,
T. N. Mokaev,
R. N. Mokaev,
O. A. Kuznetsova,
E. V. Kudryashova
Abstract:
In this short report, for the classical Lorenz attractor we demonstrate the applications of the Pyragas time-delayed feedback control technique and Leonov analytical method for the Lyapunov dimension estimation and verification of the Eden's conjecture. The problem of reliable numerical computation of the finite-time Lyapunov dimension along the trajectories over large time intervals is discussed.
In this short report, for the classical Lorenz attractor we demonstrate the applications of the Pyragas time-delayed feedback control technique and Leonov analytical method for the Lyapunov dimension estimation and verification of the Eden's conjecture. The problem of reliable numerical computation of the finite-time Lyapunov dimension along the trajectories over large time intervals is discussed.
△ Less
Submitted 27 October, 2019; v1 submitted 19 October, 2019;
originally announced October 2019.
-
Gradient Methods for Problems with Inexact Model of the Objective
Authors:
Fedor Stonyakin,
Darina Dvinskikh,
Pavel Dvurechensky,
Alexey Kroshnin,
Olesya Kuznetsova,
Artem Agafonov,
Alexander Gasnikov,
Alexander Tyurin,
César A. Uribe,
Dmitry Pasechnyuk,
Sergei Artamonov
Abstract:
We consider optimization methods for convex minimization problems under inexact information on the objective function. We introduce inexact model of the objective, which as a particular cases includes $(δ,L)$ inexact oracle and relative smoothness condition. We analyze gradient method which uses this inexact model and obtain convergence rates for convex and strongly convex problems. To show potent…
▽ More
We consider optimization methods for convex minimization problems under inexact information on the objective function. We introduce inexact model of the objective, which as a particular cases includes $(δ,L)$ inexact oracle and relative smoothness condition. We analyze gradient method which uses this inexact model and obtain convergence rates for convex and strongly convex problems. To show potential applications of our general framework we consider three particular problems. The first one is clustering by electorial model introduced in [Nesterov, 2018]. The second one is approximating optimal transport distance, for which we propose a Proximal Sinkhorn algorithm. The third one is devoted to approximating optimal transport barycenter and we propose a Proximal Iterative Bregman Projections algorithm. We also illustrate the practical performance of our algorithms by numerical experiments.
△ Less
Submitted 23 March, 2019; v1 submitted 24 February, 2019;
originally announced February 2019.
-
Charge pump phase-locked loop with phase-frequency detector: closed form mathematical model
Authors:
Nikolay Kuznetsov,
Marat Yuldashev,
Renat Yuldashev,
Mikhail Blagov,
Elena Kudryashova,
Olga Kuznetsova,
Timur Mokaev
Abstract:
Charge pump phase-locked loop with phase-frequency detector (CP-PLL) is an electrical circuit, widely used in digital systems for frequency synthesis and synchronization of the clock signals. In this paper a non-linear second-order model of CP-PLL is rigorously derived. The obtained model obviates the shortcomings of previously known second-order models of CP-PLL. Pull-in time is estimated for the…
▽ More
Charge pump phase-locked loop with phase-frequency detector (CP-PLL) is an electrical circuit, widely used in digital systems for frequency synthesis and synchronization of the clock signals. In this paper a non-linear second-order model of CP-PLL is rigorously derived. The obtained model obviates the shortcomings of previously known second-order models of CP-PLL. Pull-in time is estimated for the obtained second-order CP-PLL.
△ Less
Submitted 10 March, 2019; v1 submitted 5 January, 2019;
originally announced January 2019.
-
Comment on "Analysis of a Charge-Pump PLL: A New Model" by M. van Paemel
Authors:
N. V. Kuznetsov,
M. V. Yuldashev,
R. V. Yuldashev,
M. V. Blagov,
E. V. Kudryashova,
O. A. Kuznetsova,
T. N. Mokaev
Abstract:
In this short communication we comment on the non-linear mathematical model of CP-PLL introduced by V.Paemel. We reveal and obviate shortcomings in the model.
In this short communication we comment on the non-linear mathematical model of CP-PLL introduced by V.Paemel. We reveal and obviate shortcomings in the model.
△ Less
Submitted 23 February, 2019; v1 submitted 5 October, 2018;
originally announced October 2018.
-
Hidden attractors in aircraft control systems with saturated inputs
Authors:
B. R. Andrievsky,
E. V. Kudryashova,
N. V. Kuznetsov,
O. A. Kuznetsova,
G. A. Leonov
Abstract:
In the paper, the control problem with limitations on the magnitude and rate of the control action in aircraft control systems, is studied. Existence of hidden oscillations in the case of actuator position and rate limitations is demonstrated by the examples of piloted aircraft pilot involved oscillations (PIO) phenomenon and the airfoil flutter suppression system.
In the paper, the control problem with limitations on the magnitude and rate of the control action in aircraft control systems, is studied. Existence of hidden oscillations in the case of actuator position and rate limitations is demonstrated by the examples of piloted aircraft pilot involved oscillations (PIO) phenomenon and the airfoil flutter suppression system.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
A short survey on QPSK Costas loop mathematical models
Authors:
N. V. Kuznetsov,
O. A. Kuznetsova,
G. A. Leonov,
M. V. Yuldashev,
R. V. Yuldashev
Abstract:
The Costas loop is a modification of the phase-locked loop circuit, which demodulates data and recovers carrier from the input signal. The Costas loop is essentially a nonlinear control system and its nonlinear analysis is a challenging task. Thus, simplified mathematical models and their numerical simulation are widely used for its analysis. At the same time for phase-locked loop circuits there a…
▽ More
The Costas loop is a modification of the phase-locked loop circuit, which demodulates data and recovers carrier from the input signal. The Costas loop is essentially a nonlinear control system and its nonlinear analysis is a challenging task. Thus, simplified mathematical models and their numerical simulation are widely used for its analysis. At the same time for phase-locked loop circuits there are known various examples where the results of such simplified analysis are differ substantially from the real behavior of the circuit. In this survey the corresponding problems are demonstrated and discussed for the QPSK Costas loop.
△ Less
Submitted 5 May, 2017;
originally announced May 2017.
-
Localization of hidden Chua attractors by the describing function method
Authors:
N. V. Kuznetsov,
O. A. Kuznetsova,
G. A. Leonov,
T. N. Mokaev,
N. V. Stankevich
Abstract:
In this paper the Chua circuit with five linear elements and saturation non-linearity is studied. Numerical localization of self-excited attractor in the Chua circuit model can be done by computation of trajectory with initial data in a vicinity of an unstable equilibrium. For a hidden attractor its basin of attraction does not overlap with a small vicinity of equilibria, so it is difficult to fin…
▽ More
In this paper the Chua circuit with five linear elements and saturation non-linearity is studied. Numerical localization of self-excited attractor in the Chua circuit model can be done by computation of trajectory with initial data in a vicinity of an unstable equilibrium. For a hidden attractor its basin of attraction does not overlap with a small vicinity of equilibria, so it is difficult to find the corresponding initial data for localization. This survey is devoted to the application of describing function method for localization of hidden periodic and chaotic attractors in the Chua model. We use a rigorous justification of the describing function method, based on the method of small parameter, to get the initial data for the visualization of the hidden attractors. A new configuration of hidden Chua attractors is presented.
△ Less
Submitted 5 May, 2017;
originally announced May 2017.
-
Hidden and self-excited attractors in Chua circuit: SPICE simulation and synchronization
Authors:
M. A. Kiseleva,
E. V. Kudryashova,
N. V. Kuznetsov,
O. A. Kuznetsova,
G. A. Leonov,
M. V. Yuldashev,
R. V. Yuldashev
Abstract:
Nowadays various chaotic secure communication systems based on synchronization of chaotic circuits are widely studied. To achieve synchronization, the control signal proportional to the difference between the circuits signals, adjust the state of one circuit. In this paper the synchronization of two Chua circuits is simulated in SPICE. It is shown that the choice of control signal is be not straig…
▽ More
Nowadays various chaotic secure communication systems based on synchronization of chaotic circuits are widely studied. To achieve synchronization, the control signal proportional to the difference between the circuits signals, adjust the state of one circuit. In this paper the synchronization of two Chua circuits is simulated in SPICE. It is shown that the choice of control signal is be not straightforward, especially in the case of multistability and hidden attractors.
△ Less
Submitted 29 March, 2017;
originally announced March 2017.
-
Limitations of the classical phase-locked loop analysis
Authors:
N. V. Kuznetsov,
O. A. Kuznetsova,
G. A. Leonov,
P. Neittaanmaki,
M. V. Yuldashev,
R. V. Yuldashev
Abstract:
Nonlinear analysis of the classical phase-locked loop (PLL) is a challenging task. In classical engineering literature simplified mathematical models and simulation are widely used for its study. In this work the limitations of classical engineering phase-locked loop analysis are demonstrated, e.g., hidden oscillations, which can not be found by simulation, are discussed. It is shown that the use…
▽ More
Nonlinear analysis of the classical phase-locked loop (PLL) is a challenging task. In classical engineering literature simplified mathematical models and simulation are widely used for its study. In this work the limitations of classical engineering phase-locked loop analysis are demonstrated, e.g., hidden oscillations, which can not be found by simulation, are discussed. It is shown that the use of simplified dynamical models and the application of simulation may lead to wrong conclusions concerning the operability of PLL-based circuits.
△ Less
Submitted 13 July, 2015;
originally announced July 2015.
-
A short survey on nonlinear models of the classic Costas loop: rigorous derivation and limitations of the classic analysis
Authors:
R. E. Best,
N. V. Kuznetsov,
O. A. Kuznetsova,
G. A. Leonov,
M. V. Yuldashev,
R. V. Yuldashev
Abstract:
Rigorous nonlinear analysis of the physical model of Costas loop --- a classic phase-locked loop (PLL) based circuit for carrier recovery, is a challenging task. Thus for its analysis, simplified mathematical models and numerical simulation are widely used. In this work a short survey on nonlinear models of the BPSK Costas loop, used for pre-design and post-design analysis, is presented. Their rig…
▽ More
Rigorous nonlinear analysis of the physical model of Costas loop --- a classic phase-locked loop (PLL) based circuit for carrier recovery, is a challenging task. Thus for its analysis, simplified mathematical models and numerical simulation are widely used. In this work a short survey on nonlinear models of the BPSK Costas loop, used for pre-design and post-design analysis, is presented. Their rigorous derivation and limitations of classic analysis are discussed. It is shown that the use of simplified mathematical models, and the application of non rigorous methods of analysis (e.g., simulation and linearization) may lead to wrong conclusions concerning the performance of the Costas loop physical model.
△ Less
Submitted 16 May, 2015;
originally announced May 2015.
-
Length functions of lemniscates
Authors:
Olga Kuznetsova,
Vladimir Tkachev
Abstract:
We study metric and analytic properties of generalized lemniscates E_t(f)={z:ln|f(z)|=t}, where f is an analytic function. Our main result states that the length function |E_t(f)| is a bilateral Laplace transform of a certain positive measure. In particular, the function ln|E_t(f)| is convex on any interval free of critical points of ln|f|. As another application we deduce explicit formulas of t…
▽ More
We study metric and analytic properties of generalized lemniscates E_t(f)={z:ln|f(z)|=t}, where f is an analytic function. Our main result states that the length function |E_t(f)| is a bilateral Laplace transform of a certain positive measure. In particular, the function ln|E_t(f)| is convex on any interval free of critical points of ln|f|. As another application we deduce explicit formulas of the length function in some special cases.
△ Less
Submitted 1 March, 2009; v1 submitted 23 June, 2003;
originally announced June 2003.
-
Ullemar's formula for the Jacobian of the complex moment map**
Authors:
Olga S. Kuznetsova,
Vladimir G. Tkachev
Abstract:
The complex moment sequence m(P) is assigned to a univalent polynomial P by the Cauchy transform of the P(D), where D is the unit disk. We establish the representation of the Jacobian det dm(P) in terms of roots of the derivative P'. Combining this result with the special decomposition for the Hurwitz determinants, we prove a formula for the Jacobian which was previously conjectured by C. Ullema…
▽ More
The complex moment sequence m(P) is assigned to a univalent polynomial P by the Cauchy transform of the P(D), where D is the unit disk. We establish the representation of the Jacobian det dm(P) in terms of roots of the derivative P'. Combining this result with the special decomposition for the Hurwitz determinants, we prove a formula for the Jacobian which was previously conjectured by C. Ullemar. As a consequence, we show that the boundary of the class of all locally univalent polynomials in $U$ is contained in the union of three irreducible algebraic surfaces.
△ Less
Submitted 23 June, 2003;
originally announced June 2003.