Showing 1–45 of 45 results for author: Shapiro, A

Risk-averse formulations of Stochastic Optimal Control and Markov Decision Processes

Authors: Alexander Shapiro, Yan Li

Abstract: The aim of this paper is to investigate risk-averse and distributionally robust modeling of Stochastic Optimal Control (SOC) and Markov Decision Process (MDP). We discuss construction of conditional nested risk functionals, a particular attention is given to the Value-at-Risk measure. Necessary and sufficient conditions for existence of non-randomized optimal policies in the framework of robust SO… ▽ More The aim of this paper is to investigate risk-averse and distributionally robust modeling of Stochastic Optimal Control (SOC) and Markov Decision Process (MDP). We discuss construction of conditional nested risk functionals, a particular attention is given to the Value-at-Risk measure. Necessary and sufficient conditions for existence of non-randomized optimal policies in the framework of robust SOC and MDP are derived. We also investigate sample complexity of optimization problems involving the Value-at-Risk measure. △ Less

Submitted 22 May, 2025; originally announced May 2025.

Minimax asymptotics

Authors: Mika Meitz, Alexander Shapiro

Abstract: In this paper, we consider asymptotics of the optimal value and the optimal solutions of parametric minimax estimation problems. Specifically, we consider estimators of the optimal value and the optimal solutions in a sample minimax problem that approximates the true population problem and study the limiting distributions of these estimators as the sample size tends to infinity. The main technical… ▽ More In this paper, we consider asymptotics of the optimal value and the optimal solutions of parametric minimax estimation problems. Specifically, we consider estimators of the optimal value and the optimal solutions in a sample minimax problem that approximates the true population problem and study the limiting distributions of these estimators as the sample size tends to infinity. The main technical tool we employ in our analysis is the theory of sensitivity analysis of parameterized mathematical optimization problems. Our results go well beyond the existing literature and show that these limiting distributions are highly non-Gaussian in general and normal in simple specific cases. These results open up the way for the development of statistical inference methods in parametric minimax problems. △ Less

Submitted 15 April, 2025; originally announced April 2025.

Distributionally robust stochastic optimal control

Authors: Alexander Shapiro, Yan Li

Abstract: The main goal of this paper is to discuss the construction of distributionally robust counterparts of stochastic optimal control problems. Randomized and non-randomized policies are considered. In particular, necessary and sufficient conditions for the existence of non-randomized policies are given. The main goal of this paper is to discuss the construction of distributionally robust counterparts of stochastic optimal control problems. Randomized and non-randomized policies are considered. In particular, necessary and sufficient conditions for the existence of non-randomized policies are given. △ Less

Submitted 12 October, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

Cluster structure on genus 2 spherical DAHA: seven-colored flower

Authors: Semeon Arthamonov, Leonid Chekhov, Philippe Di Francesco, Rinat Kedem, Gus Schrader, Alexander Shapiro, Michael Shapiro

Abstract: We construct an embedding of the Arthamonov-Shakirov algebra of genus 2 knot operators into the quantized coordinate ring of the cluster Poisson variety of exceptional finite mutation type $X_7$. The embedding is equivariant with respect to the action of the mapping class group of the closed surface of genus 2. The cluster realization of the mapping class group action leads to a formula for the co… ▽ More We construct an embedding of the Arthamonov-Shakirov algebra of genus 2 knot operators into the quantized coordinate ring of the cluster Poisson variety of exceptional finite mutation type $X_7$. The embedding is equivariant with respect to the action of the mapping class group of the closed surface of genus 2. The cluster realization of the mapping class group action leads to a formula for the coefficient of each monomial in the genus 2 Macdonald polynomial of type $A_1$ as sum over lattice points in a convex polyhedron in 7-dimensional space. △ Less

Submitted 15 June, 2024; v1 submitted 25 February, 2024; originally announced February 2024.

Ruijsenaars wavefunctions as modular group matrix coefficients

Authors: Philippe Di Francesco, Rinat Kedem, Sergey Khoroshkin, Gus Schrader, Alexander Shapiro

Abstract: We give a description of the Hallnäs--Ruijsenaars eigenfunctions of the 2-particle hyperbolic Ruijsenaars system as matrix coefficients for the order 4 element $S\in SL(2,\mathbb{Z})$ acting on the Hilbert space of $GL(2)$ quantum Teichmüller theory on the punctured torus. The $GL(2)$ Macdonald polynomials are then obtained as special values of the analytic continuation of these matrix coefficient… ▽ More We give a description of the Hallnäs--Ruijsenaars eigenfunctions of the 2-particle hyperbolic Ruijsenaars system as matrix coefficients for the order 4 element $S\in SL(2,\mathbb{Z})$ acting on the Hilbert space of $GL(2)$ quantum Teichmüller theory on the punctured torus. The $GL(2)$ Macdonald polynomials are then obtained as special values of the analytic continuation of these matrix coefficients. The main tool used in the proof is the cluster structure on the moduli space of framed $GL(2)$-local systems on the punctured torus, and an $SL(2,\mathbb{Z})$-equivariant embedding of the $GL(2)$ spherical DAHA into the quantized coordinate ring of the corresponding cluster Poisson variety. △ Less

Submitted 15 June, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Rectangularity and duality of distributionally robust Markov Decision Processes

Authors: Yan Li, Alexander Shapiro

Abstract: The main goal of this paper is to discuss several approaches to formulation of distributionally robust counterparts of Markov Decision Processes, where the transition kernels are not specified exactly but rather are assumed to be elements of the corresponding ambiguity sets. The intent is to clarify some connections between the game and static formulations of distributionally robust MDPs, and deli… ▽ More The main goal of this paper is to discuss several approaches to formulation of distributionally robust counterparts of Markov Decision Processes, where the transition kernels are not specified exactly but rather are assumed to be elements of the corresponding ambiguity sets. The intent is to clarify some connections between the game and static formulations of distributionally robust MDPs, and delineate the role of rectangularity associated with ambiguity sets in determining these connections. △ Less

Submitted 5 May, 2024; v1 submitted 21 August, 2023; originally announced August 2023.

Episodic Bayesian Optimal Control with Unknown Randomness Distributions

Authors: Alexander Shapiro, Enlu Zhou, Yifan Lin, Yuhao Wang

Abstract: Stochastic optimal control with unknown randomness distributions has been studied for a long time, encompassing robust control, distributionally robust control, and adaptive control. We propose a new episodic Bayesian approach that incorporates Bayesian learning with optimal control. In each episode, the approach learns the randomness distribution with a Bayesian posterior and subsequently solves… ▽ More Stochastic optimal control with unknown randomness distributions has been studied for a long time, encompassing robust control, distributionally robust control, and adaptive control. We propose a new episodic Bayesian approach that incorporates Bayesian learning with optimal control. In each episode, the approach learns the randomness distribution with a Bayesian posterior and subsequently solves the corresponding Bayesian average estimate of the true problem. The resulting policy is exercised during the episode, while additional data/observations of the randomness are collected to update the Bayesian posterior for the next episode. We show that the resulting episodic value functions and policies converge almost surely to their optimal counterparts of the true problem if the parametrized model of the randomness distribution is correctly specified. We further show that the asymptotic convergence rate of the episodic value functions is of the order $O(N^{-1/2})$. We develop an efficient computational method based on stochastic dual dynamic programming for a class of problems that have convex value functions. Our numerical results on a classical inventory control problem verify the theoretical convergence results and demonstrate the effectiveness of the proposed computational method. △ Less

Submitted 16 August, 2023; originally announced August 2023.

Numerical Methods for Convex Multistage Stochastic Optimization

Authors: Guanghui Lan, Alexander Shapiro

Abstract: Optimization problems involving sequential decisions in a stochastic environment were studied in Stochastic Programming (SP), Stochastic Optimal Control (SOC) and Markov Decision Processes (MDP). In this paper we mainly concentrate on SP and SOC modelling approaches. In these frameworks there are natural situations when the considered problems are convex. Classical approach to sequential optimizat… ▽ More Optimization problems involving sequential decisions in a stochastic environment were studied in Stochastic Programming (SP), Stochastic Optimal Control (SOC) and Markov Decision Processes (MDP). In this paper we mainly concentrate on SP and SOC modelling approaches. In these frameworks there are natural situations when the considered problems are convex. Classical approach to sequential optimization is based on dynamic programming. It has the problem of the so-called ``Curse of Dimensionality", in that its computational complexity increases exponentially with increase of dimension of state variables. Recent progress in solving convex multistage stochastic problems is based on cutting planes approximations of the cost-to-go (value) functions of dynamic programming equations. Cutting planes type algorithms in dynamical settings is one of the main topics of this paper. We also discuss Stochastic Approximation type methods applied to multistage stochastic optimization problems. From the computational complexity point of view, these two types of methods seem to be complimentary to each other. Cutting plane type methods can handle multistage problems with a large number of stages, but a relatively smaller number of state (decision) variables. On the other hand, stochastic approximation type methods can only deal with a small number of stages, but a large number of decision variables. △ Less

Submitted 27 March, 2023; originally announced March 2023.

MSC Class: 65K05; 90C15; 90C39; 90C40

Statistical Limit Theorems in Distributionally Robust Optimization

Authors: Jose Blanchet, Alexander Shapiro

Abstract: The goal of this paper is to develop methodology for the systematic analysis of asymptotic statistical properties of data driven DRO formulations based on their corresponding non-DRO counterparts. We illustrate our approach in various settings, including both phi-divergence and Wasserstein uncertainty sets. Different types of asymptotic behaviors are obtained depending on the rate at which the unc… ▽ More The goal of this paper is to develop methodology for the systematic analysis of asymptotic statistical properties of data driven DRO formulations based on their corresponding non-DRO counterparts. We illustrate our approach in various settings, including both phi-divergence and Wasserstein uncertainty sets. Different types of asymptotic behaviors are obtained depending on the rate at which the uncertainty radius decreases to zero as a function of the sample size and the geometry of the uncertainty sets. △ Less

Submitted 26 March, 2023; originally announced March 2023.

MSC Class: 90C15

On Localization of Tight Closure in Line-$S_4$ Quartics

Authors: Levi Borevitz, Naima Nader, Theodore J. Sandstrom, Amelia Shapiro, Austyn Simpson, Jenna Zomback

Abstract: Building on work of Brenner and Monsky from 2010 and on a Hilbert-Kunz calculation of Monsky from 1998, we exhibit a novel example of a hypersurface over $\overline{\mathbb{F}_2}$ in which tight closure does not commute with localization. Our methods involve a surprising tiling argument using Sierpiński triangles, as well as an inspection of a certain dynamical system in characteristic two. Building on work of Brenner and Monsky from 2010 and on a Hilbert-Kunz calculation of Monsky from 1998, we exhibit a novel example of a hypersurface over $\overline{\mathbb{F}_2}$ in which tight closure does not commute with localization. Our methods involve a surprising tiling argument using Sierpiński triangles, as well as an inspection of a certain dynamical system in characteristic two. △ Less

Submitted 6 November, 2022; originally announced November 2022.

Comments: Written during the 2022 SMALL REU at Williams College. Comments welcome

Risk-Averse Stochastic Optimal Control: an efficiently computable statistical upper bound

Authors: Vincent Guigues, Alexander Shapiro, Yi Cheng

Abstract: In this paper, we discuss an application of the SDDP type algorithm to nested risk-averse formulations of Stochastic Optimal Control (SOC) problems. We propose a construction of a statistical upper bound for the optimal value of risk-averse SOC problems. This outlines an approach to a solution of a long standing problem in that area of research. The bound holds for a large class of convex and mono… ▽ More In this paper, we discuss an application of the SDDP type algorithm to nested risk-averse formulations of Stochastic Optimal Control (SOC) problems. We propose a construction of a statistical upper bound for the optimal value of risk-averse SOC problems. This outlines an approach to a solution of a long standing problem in that area of research. The bound holds for a large class of convex and monotone conditional risk mappings. Finally, we show the validity of the statistical upper bound to solve a real-life stochastic hydro-thermal planning problem. △ Less

Submitted 2 May, 2023; v1 submitted 17 December, 2021; originally announced December 2021.

Bayesian Distributionally Robust Optimization

Authors: Alexander Shapiro, Enlu Zhou, Yifan Lin

Abstract: We introduce a new framework, Bayesian Distributionally Robust Optimization (Bayesian-DRO), for data-driven stochastic optimization where the underlying distribution is unknown. Bayesian-DRO contrasts with most of the existing DRO approaches in the use of Bayesian estimation of the unknown distribution. To make computation of Bayesian updating tractable, Bayesian-DRO first assumes the underlying d… ▽ More We introduce a new framework, Bayesian Distributionally Robust Optimization (Bayesian-DRO), for data-driven stochastic optimization where the underlying distribution is unknown. Bayesian-DRO contrasts with most of the existing DRO approaches in the use of Bayesian estimation of the unknown distribution. To make computation of Bayesian updating tractable, Bayesian-DRO first assumes the underlying distribution takes a parametric form with unknown parameter and then computes the posterior distribution of the parameter. To address the model uncertainty brought by the assumed parametric distribution, Bayesian-DRO constructs an ambiguity set of distributions with the assumed parametric distribution as the reference distribution and then optimizes with respect to the worst case in the ambiguity set. We show the consistency of the Bayesian posterior distribution and subsequently the convergence of objective functions and optimal solutions of Bayesian-DRO. Our consistency result of the Bayesian posterior requires simpler assumptions than the classical literature on Bayesian consistency. We also consider several approaches for selecting the ambiguity set size in Bayesian-DRO and compare them numerically. Our numerical experiments demonstrate the out-of-sample performance of Bayesian-DRO in comparison with Kullback-Leibler-based (KL-) and Wasserstein-based empirical DRO as well as risk-neutral Bayesian Risk Optimization. Our numerical results shed light on how to choose the modeling framework (Bayesian-DRO, KL-DRO, Wasserstein-DRO) for specific problems, but the choice for general problems still remains an important and open question. △ Less

Submitted 8 February, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Quantum decorated character stacks

Authors: David Jordan, Ian Le, Gus Schrader, Alexander Shapiro

Abstract: We initiate the study of decorated character stacks and their quantizations using the framework of stratified factorization homology. We thereby extend the construction by Fock and Goncharov of (quantum) decorated character varieties to encompass also the stacky points, in a way that is both compatible with cutting and gluing and equivariant with respect to canonical actions of the modular group o… ▽ More We initiate the study of decorated character stacks and their quantizations using the framework of stratified factorization homology. We thereby extend the construction by Fock and Goncharov of (quantum) decorated character varieties to encompass also the stacky points, in a way that is both compatible with cutting and gluing and equivariant with respect to canonical actions of the modular group of the surface. In the cases $G=SL_2,PGL_2$ we construct a system of categorical charts and flips on the quantum decorated character stacks which generalize the well--known cluster structures on the Fock--Goncharov moduli spaces. △ Less

Submitted 24 February, 2021; originally announced February 2021.

MSC Class: 13F60 81T45

Testing Rank of Incomplete Unimodal Matrices

Authors: Rui Zhang, Junting Chen, Yao Xie, Alexander Shapiro, Urbashi Mitra

Abstract: Several statistics-based detectors, based on unimodal matrix models, for determining the number of sources in a field are designed. A new variance ratio statistic is proposed, and its asymptotic distribution is analyzed. The variance ratio detector is shown to outperform the alternatives. It is shown that further improvements are achievable via optimally selected rotations. Numerical experiments d… ▽ More Several statistics-based detectors, based on unimodal matrix models, for determining the number of sources in a field are designed. A new variance ratio statistic is proposed, and its asymptotic distribution is analyzed. The variance ratio detector is shown to outperform the alternatives. It is shown that further improvements are achievable via optimally selected rotations. Numerical experiments demonstrate the performance gains of our detection methods over the baseline approach. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Mathematical Foundations of Distributionally Robust Multistage Optimization

Authors: Alois Pichler, Alexander Shapiro

Abstract: Distributionally robust optimization involves various probability measures in its problem formulation. They can be bundled to constitute a risk functional. For this equivalence, risk functionals constitute a fundamental building block in distributionally robust stochastic programming. Multistage programming requires conditional versions of risk functionals to re-assess future risk after partial re… ▽ More Distributionally robust optimization involves various probability measures in its problem formulation. They can be bundled to constitute a risk functional. For this equivalence, risk functionals constitute a fundamental building block in distributionally robust stochastic programming. Multistage programming requires conditional versions of risk functionals to re-assess future risk after partial realizations and after preceding decisions. This paper discusses a construction of the conditional counterpart of a risk functional by passing its genuine characteristics to its conditional counterparts. The conditional risk functionals turn out to be different from the nested analogues of the original (law invariant) risk measure. It is demonstrated that the initial measure and its nested decomposition can be used in a distributionally robust multistage setting. △ Less

Submitted 13 May, 2021; v1 submitted 7 January, 2021; originally announced January 2021.

MSC Class: 90C15; 60B05; 62P05; 90C31; 90C08

Rank one tensor completion problem

Authors: Mohit Singh, Alexander Shapiro, Rui Zhang

Abstract: In this paper, we consider the rank-one tensor completion problem. We address the question of existence and uniqueness of the rank-one solution. In particular we show that the global uniqueness over the field of real numbers can be verified in a polynomial time. We give examples showing that there is an essential difference between the question of global uniqueness over the fields of real and comp… ▽ More In this paper, we consider the rank-one tensor completion problem. We address the question of existence and uniqueness of the rank-one solution. In particular we show that the global uniqueness over the field of real numbers can be verified in a polynomial time. We give examples showing that there is an essential difference between the question of global uniqueness over the fields of real and complex numbers. Finally we briefly discuss the rank-one approximation problem for noisy observations. △ Less

Submitted 18 September, 2020; originally announced September 2020.

On characteristic rank for matrix and tensor completion

Authors: Alexander Shapiro, Yao Xie, Rui Zhang

Abstract: In this lecture note, we discuss a fundamental concept, referred to as the {\it characteristic rank}, which suggests a general framework for characterizing the basic properties of various low-dimensional models used in signal processing. Below, we illustrate this framework using two examples: matrix and three-way tensor completion problems, and consider basic properties include identifiability of… ▽ More In this lecture note, we discuss a fundamental concept, referred to as the {\it characteristic rank}, which suggests a general framework for characterizing the basic properties of various low-dimensional models used in signal processing. Below, we illustrate this framework using two examples: matrix and three-way tensor completion problems, and consider basic properties include identifiability of a matrix or tensor, given partial observations. In this note, we consider cases without observation noise to illustrate the principle. △ Less

Submitted 11 November, 2020; v1 submitted 3 September, 2020; originally announced September 2020.

Duality and sensitivity analysis of multistage linear stochastic programs

Authors: Vincent Guigues, Alexander Shapiro, Yi Cheng

Abstract: We investigate the dual of a Multistage Stochastic Linear Program (MSLP) to study two questions for this class of problems. The first of these questions is the study of the optimal value of the problem as a function of the involved parameters. For this sensitivity analysis problem, we provide formulas for the derivatives of the value function with respect to the parameters and illustrate their app… ▽ More We investigate the dual of a Multistage Stochastic Linear Program (MSLP) to study two questions for this class of problems. The first of these questions is the study of the optimal value of the problem as a function of the involved parameters. For this sensitivity analysis problem, we provide formulas for the derivatives of the value function with respect to the parameters and illustrate their application on an inventory problem. Since these formulas involve optimal dual solutions, we need an algorithm that computes such solutions to use them. In this context, the second question we address is the study of solution methods for the dual problem. Writing Dynamic Programming (DP) equations for the dual, we can use an SDDP type method, called Dual SDDP, which solves these DP equations. However, applying this method will only be possible if the Relatively Complete Recourse (RCR) holds for the dual. Since the RCR assumption may fail to hold, we design two variants of Dual SDDP, namely Dual SDDP with penalizations and Dual SDDP with feasibility cuts. The study of this second question allows us to take a fresh look at the notoriously difficult to solve class of MSLP with interstage dependent cost coefficients. Indeed, for this class of problems, cost-to-go functions are non-convex and solution methods were so far using SDDP for a Markov chain approximation of the cost coefficients process. For these problems, we propose to apply Dual SDDP with penalizations to the cost-to-go functions of the dual which are concave. This algorithm converges to the optimal value of the problem. Finally, as a proof of concept of the tools developed, we present the results of numerical experiments computing the sensitivity of the optimal value of an inventory problem as a function of parameters of the demand process and compare Primal and Dual SDDP on the inventory and a hydro-thermal planning problems. △ Less

Submitted 2 October, 2020; v1 submitted 16 November, 2019; originally announced November 2019.

$K$-theoretic Coulomb branches of quiver gauge theories and cluster varieties

Authors: Gus Schrader, Alexander Shapiro

Abstract: Let $\mathscr{A}_q$ be the $K$-theoretic Coulomb branch of a $3d$ $\mathcal{N}=4$ quiver gauge theory with quiver $Γ$, and $\mathscr{A}'_q \subseteq \mathscr{A}_q$ be the subalgebra generated by the equivariant $K$-theory of a point together with the dressed minuscule monopole operators $M_{\varpi_{i,1},f}$ and $M_{\varpi^*_{i,1},f}$. In this paper, we construct an associated cluster algebra quive… ▽ More Let $\mathscr{A}_q$ be the $K$-theoretic Coulomb branch of a $3d$ $\mathcal{N}=4$ quiver gauge theory with quiver $Γ$, and $\mathscr{A}'_q \subseteq \mathscr{A}_q$ be the subalgebra generated by the equivariant $K$-theory of a point together with the dressed minuscule monopole operators $M_{\varpi_{i,1},f}$ and $M_{\varpi^*_{i,1},f}$. In this paper, we construct an associated cluster algebra quiver $\mathcal{Q}_Γ$ and provide an embedding of the subalgebra $\mathscr{A}'_q$ into the quantized algebra of regular functions on the corresponding cluster variety. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Goodness-of-fit tests on manifolds

Authors: Alexander Shapiro, Yao Xie, Rui Zhang

Abstract: We develop a general theory for the goodness-of-fit test to non-linear models. In particular, we assume that the observations are noisy samples of a submanifold defined by a \yao{sufficiently smooth non-linear map}. The observation noise is additive Gaussian. Our main result shows that the "residual" of the model fit, by solving a non-linear least-square problem, follows a (possibly noncentral)… ▽ More We develop a general theory for the goodness-of-fit test to non-linear models. In particular, we assume that the observations are noisy samples of a submanifold defined by a \yao{sufficiently smooth non-linear map}. The observation noise is additive Gaussian. Our main result shows that the "residual" of the model fit, by solving a non-linear least-square problem, follows a (possibly noncentral) $χ^2$ distribution. The parameters of the $χ^2$ distribution are related to the model order and dimension of the problem. We further present a method to select the model orders sequentially. We demonstrate the broad application of the general theory in machine learning and signal processing, including determining the rank of low-rank (possibly complex-valued) matrices and tensors from noisy, partial, or indirect observations, determining the number of sources in signal demixing, and potential applications in determining the number of hidden nodes in neural networks. △ Less

Submitted 10 November, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Risk Neutral Reformulation Approach to Risk Averse Stochastic Programming

Authors: Rui Peng Liu, Alexander Shapiro

Abstract: The aim of this paper is to show that in some cases risk averse multistage stochastic programming problems can be reformulated in a form of risk neutral setting. This is achieved by a change of the reference probability measure making ``bad" (extreme) scenarios more frequent. As a numerical example we demonstrate advantages of such change-of-measure approach applied to the Brazilian Interconnected… ▽ More The aim of this paper is to show that in some cases risk averse multistage stochastic programming problems can be reformulated in a form of risk neutral setting. This is achieved by a change of the reference probability measure making ``bad" (extreme) scenarios more frequent. As a numerical example we demonstrate advantages of such change-of-measure approach applied to the Brazilian Interconnected Power System operation planning problem. △ Less

Submitted 6 January, 2020; v1 submitted 4 January, 2019; originally announced January 2019.

Risk averse stochastic programming: time consistency and optimal stopping

Authors: Alois Pichler, Alexander Shapiro

Abstract: Bellman formulated a vague principle for optimization over time, which characterizes optimal policies by stating that a decision maker should not regret previous decisions retrospectively. This paper addresses time consistency in stochastic optimization. The problem is stated in generality first. The paper discusses time consistent decision-making by addressing risk measures which are recursive, n… ▽ More Bellman formulated a vague principle for optimization over time, which characterizes optimal policies by stating that a decision maker should not regret previous decisions retrospectively. This paper addresses time consistency in stochastic optimization. The problem is stated in generality first. The paper discusses time consistent decision-making by addressing risk measures which are recursive, nested, dynamically or time consistent and introduces stopping time risk measures. It turns out that the paradigm of time consistency is in conflict with various desirable, classical properties of general risk measures. △ Less

Submitted 12 June, 2019; v1 submitted 31 August, 2018; originally announced August 2018.

Decomposability and time consistency of risk averse multistage programs

Authors: Alexander Shapiro, Kerem Ugurlu

Abstract: Two approaches to time consistency of risk averse multistage stochastic problems were discussed in the recent literature. In one approach certain properties of the cor-responding risk measure are postulated which imply its decomposability. The other approach deals directly with conditional optimality of solutions of the considered problem. The aim of this paper is to discuss a relation between the… ▽ More Two approaches to time consistency of risk averse multistage stochastic problems were discussed in the recent literature. In one approach certain properties of the cor-responding risk measure are postulated which imply its decomposability. The other approach deals directly with conditional optimality of solutions of the considered problem. The aim of this paper is to discuss a relation between these two approaches. △ Less

Submitted 5 June, 2018; originally announced June 2018.

On $b$-Whittaker functions

Authors: Gus Schrader, Alexander Shapiro

Abstract: The $b$-Whittaker functions are eigenfunctions of the modular $q$-deformed $\mathfrak{gl}_n$ open Toda system introduced by Kharchev, Lebedev, and Semenov-Tian-Shansky. Using the quantum inverse scattering method, the named authors obtained a Mellin-Barnes integral representation for these eigenfunctions. In the present paper, we develop the analytic theory of the $b$-Whittaker functions from the… ▽ More The $b$-Whittaker functions are eigenfunctions of the modular $q$-deformed $\mathfrak{gl}_n$ open Toda system introduced by Kharchev, Lebedev, and Semenov-Tian-Shansky. Using the quantum inverse scattering method, the named authors obtained a Mellin-Barnes integral representation for these eigenfunctions. In the present paper, we develop the analytic theory of the $b$-Whittaker functions from the perspective of quantum cluster algebras. We obtain a formula for the modular open Toda system's Baxter operator as a sequence of quantum cluster transformations, and thereby derive a new modular $b$-analog of Givental's integral formula for the undeformed Whittaker function. We also show that the $b$-Whittaker functions are eigenvectors of the Dehn twist operator from quantum higher Teichmüller theory, and obtain $b$-analogs of various integral identities satisfied by the undeformed Whittaker functions, including the continuous Cauchy-Littlewood identity of Stade and Corwin-O'Connell-Seppäläinen-Zygouras. Using these results, we prove the unitarity of the $b$-Whittaker transform, thereby completing the analytic part of the proof of the conjecture of Frenkel and Ip on tensor products of positive representations of $U_q(\mathfrak{sl}_n)$, as well as the main step in the modular functor conjecture of Fock and Goncharov. We conclude by explaining how the theory of $b$-Whittaker functions can be used to derive certain hyperbolic hypergeometric integral evaluations found by Rains. △ Less

Submitted 16 November, 2018; v1 submitted 3 June, 2018; originally announced June 2018.

Comments: 36 pages, minor changes, references added

Matrix completion with deterministic pattern - a geometric perspective

Authors: Alexander Shapiro, Yao Xie, Rui Zhang

Abstract: We consider the matrix completion problem with a deterministic pattern of observed entries. In this setting, we aim to answer the question: under what condition there will be (at least locally) unique solution to the matrix completion problem, i.e., the underlying true matrix is identifiable. We answer the question from a certain point of view and outline a geometric perspective. We give an algebr… ▽ More We consider the matrix completion problem with a deterministic pattern of observed entries. In this setting, we aim to answer the question: under what condition there will be (at least locally) unique solution to the matrix completion problem, i.e., the underlying true matrix is identifiable. We answer the question from a certain point of view and outline a geometric perspective. We give an algebraically verifiable sufficient condition, which we call the well-posedness condition, for the local uniqueness of MRMC solutions. We argue that this condition is necessary for local stability of MRMC solutions, and we show that the condition is generic using the characteristic rank. We also argue that the low-rank approximation approaches are more stable than MRMC and further propose a sequential statistical testing procedure to determine the "true" rank from observed entries. Finally, we provide numerical examples aimed at verifying validity of the presented theory. △ Less

Submitted 29 August, 2018; v1 submitted 31 January, 2018; originally announced February 2018.

Convergence Analysis of Sample Average Approximation of Two-stage Stochastic Generalized Equations

Authors: Xiaojun Chen, Alexander Shapiro, Hailin Sun

Abstract: A solution of two-stage stochastic generalized equations is a pair: a first stage solution which is independent of realization of the random data and a second stage solution which is a function of random variables.This paper studies convergence of the sample average approximation of two-stage stochastic nonlinear generalized equations. In particular an exponential rate of the convergence is shown… ▽ More A solution of two-stage stochastic generalized equations is a pair: a first stage solution which is independent of realization of the random data and a second stage solution which is a function of random variables.This paper studies convergence of the sample average approximation of two-stage stochastic nonlinear generalized equations. In particular an exponential rate of the convergence is shown by using the perturbed partial linearization of functions. Moreover, sufficient conditions for the existence, uniqueness, continuity and regularity of solutions of two-stage stochastic generalized equations are presented under an assumption of monotonicity of the involved functions. These theoretical results are given without assuming relatively complete recourse, and are illustrated by two-stage stochastic non-cooperative games of two players. △ Less

Submitted 11 January, 2018; v1 submitted 11 January, 2018; originally announced January 2018.

Comments: 25 pages, 6 figures

MSC Class: 90C15; 90C33

Continuous tensor categories from quantum groups I: algebraic aspects

Authors: Gus Schrader, Alexander Shapiro

Abstract: We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_λ$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our results generalize those of Ponsot and Teschner in the rank 1 case of $U_q(\mathfrak{sl}_2)$. In higher rank, many nontrivial features appear, the most important of the… ▽ More We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_λ$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our results generalize those of Ponsot and Teschner in the rank 1 case of $U_q(\mathfrak{sl}_2)$. In higher rank, many nontrivial features appear, the most important of these being a surprising connection to the quantum integrability of the open Coxeter-Toda lattice. We show that the closure under tensor products follows from the orthogonality and completeness of the Toda eigenfunctions (i.e. the q-Whittaker functions), and obtain an explicit construction of the Clebsch-Gordan intertwiner giving the decomposition of $\mathcal{P}_λ\otimes \mathcal{P}_μ$ into irreducibles. △ Less

Submitted 27 August, 2017; originally announced August 2017.

Comments: 55 pages, 38 figures

A cluster realization of $U_q(\mathfrak{sl_n})$ from quantum character varieties

Authors: Gus Schrader, Alexander Shapiro

Abstract: We construct an injective algebra homomorphism of the quantum group $U_q(\mathfrak{sl}_{n+1})$ into a quantum cluster algebra $\mathbf{L}_n$ associated to the moduli space of framed $PGL_{n+1}$-local systems on a marked punctured disk. We obtain a description of the coproduct of $U_q(\mathfrak{sl}_{n+1})$ in terms of the corresponding quantum cluster algebra associated to the marked twice puncture… ▽ More We construct an injective algebra homomorphism of the quantum group $U_q(\mathfrak{sl}_{n+1})$ into a quantum cluster algebra $\mathbf{L}_n$ associated to the moduli space of framed $PGL_{n+1}$-local systems on a marked punctured disk. We obtain a description of the coproduct of $U_q(\mathfrak{sl}_{n+1})$ in terms of the corresponding quantum cluster algebra associated to the marked twice punctured disk, and express the action of the $R$-matrix in terms of a mapping class group element corresponding to the half-Dehn twist rotating one puncture about the other. As a consequence, we realize the algebra automorphism of $U_q(\mathfrak{sl}_{n+1})^{\otimes 2}$ given by conjugation by the $R$-matrix as an explicit sequence of cluster mutations, and derive a refined factorization of the $R$-matrix into quantum dilogarithms of cluster monomials. △ Less

Submitted 9 January, 2019; v1 submitted 1 July, 2016; originally announced July 2016.

Comments: 42 pages; v3: main result was strengthened, see Proposition 4.10, introduction and section 1 were rewritten, section 5 was added, some proofs were simplified, some more referenced were added

Statistical inference and hypotheses testing of risk averse stochastic programs

Authors: Vincent Guigues, Volker Krätschmer, Alexander Shapiro

Abstract: We study statistical properties of the optimal value and optimal solutions of the Sample Average Approximation of risk averse stochastic problems. Central Limit Theorem type results are derived for the optimal value and optimal solutions when the stochastic program is expressed in terms of a law invariant coherent risk measure. The obtained results are applied to hypotheses testing problems aiming… ▽ More We study statistical properties of the optimal value and optimal solutions of the Sample Average Approximation of risk averse stochastic problems. Central Limit Theorem type results are derived for the optimal value and optimal solutions when the stochastic program is expressed in terms of a law invariant coherent risk measure. The obtained results are applied to hypotheses testing problems aiming at comparing the optimal values of several risk averse convex stochastic programs on the basis of samples of the underlying random vectors. We also consider non-asymptotic tests based on confidence intervals on the optimal values of the stochastic programs obtained using the Stochastic Mirror Descent algorithm. Numerical simulations show how to use our developments to choose among different distributions and show the superiority of the asymptotic tests on a class of risk averse stochastic programs. △ Less

Submitted 23 March, 2016; originally announced March 2016.

MSC Class: 90C15; 90C90; 90C30

SHARP: a distributed, GPU-based ptychographic solver

Authors: Stefano Marchesini, Hari Krishnan, Benedikt J. Daurer, David A. Shapiro, Talita Perciano, James A. Sethian, Filipe R. N. C. Maia

Abstract: Ever brighter light sources, fast parallel detectors, and advances in phase retrieval methods, have made ptychography a practical and popular imaging technique. Compared to previous techniques, ptychography provides superior robustness and resolution at the expense of more advanced and time consuming data analysis. By taking advantage of massively parallel architectures, high-throughput processing… ▽ More Ever brighter light sources, fast parallel detectors, and advances in phase retrieval methods, have made ptychography a practical and popular imaging technique. Compared to previous techniques, ptychography provides superior robustness and resolution at the expense of more advanced and time consuming data analysis. By taking advantage of massively parallel architectures, high-throughput processing can expedite this analysis and provide microscopists with immediate feedback. These advances allow real-time imaging at wavelength limited resolution, coupled with a large field of view. Here, we introduce a set of algorithmic and computational methodologies used at the Advanced Light Source, and DOE light sources packaged as a CUDA based software environment named SHARP (http://camera.lbl.gov/sharp), aimed at providing state-of-the-art high-throughput ptychography reconstructions for the coming era of diffraction limited light sources. △ Less

Submitted 20 June, 2016; v1 submitted 29 January, 2016; originally announced February 2016.

Comments: 8 pages, 5 figures

Report number: LBNL-1003977

Journal ref: J. Appl. Cryst. (2016). 49

Dual pairs of quantum moment maps and doubles of Hopf algebras

Authors: Gus Schrader, Alexander Shapiro

Abstract: For any finite-dimensional Hopf algebra $A$ there exists a natural associative algebra homomorphism $D(A) \to H(A)$ between its Drinfeld double $D(A)$ and its Heisenberg double $H(A)$. We construct this homomorphism using a pair of commuting quantum moment maps, and then use it to provide a homomorphism of certain reflection equation algebras. We also explain how the quantization of the Grothendie… ▽ More For any finite-dimensional Hopf algebra $A$ there exists a natural associative algebra homomorphism $D(A) \to H(A)$ between its Drinfeld double $D(A)$ and its Heisenberg double $H(A)$. We construct this homomorphism using a pair of commuting quantum moment maps, and then use it to provide a homomorphism of certain reflection equation algebras. We also explain how the quantization of the Grothendieck-Springer resolution arises in this context. △ Less

Submitted 18 October, 2015; originally announced October 2015.

Quantum groups, quantum tori, and the Grothendieck-Springer resolution

Authors: Gus Schrader, Alexander Shapiro

Abstract: We construct an algebra embedding of the quantum group $U_q(\mathfrak{g})$ into the quantum coordinate ring $\mathcal{O}_q[G^{w_0,w_0}/H]$ of the reduced big double Bruhat cell in $G$. This embedding factors through the Heisenberg double $\mathcal{H}_q$ of the quantum Borel subalgebra $U_{\geq0}$, which we relate to $\mathcal{O}_q[G]$ via twisting by the longest element of the quantum Weyl group.… ▽ More We construct an algebra embedding of the quantum group $U_q(\mathfrak{g})$ into the quantum coordinate ring $\mathcal{O}_q[G^{w_0,w_0}/H]$ of the reduced big double Bruhat cell in $G$. This embedding factors through the Heisenberg double $\mathcal{H}_q$ of the quantum Borel subalgebra $U_{\geq0}$, which we relate to $\mathcal{O}_q[G]$ via twisting by the longest element of the quantum Weyl group. Our construction is inspired by the Poisson geometry of the Grothendieck-Springer resolution studied by Evens and Lu, and the quantum Beilinson-Bernstein theorem investigated by Backelin, Kremnitzer, and Tanisaki. △ Less

Submitted 19 January, 2017; v1 submitted 27 August, 2015; originally announced August 2015.

Comments: 32 pages, Section 6 rewritten, Corollary 7.5 added

Rational and polynomial representations of Yangians

Authors: Sergey Khoroshkin, Maxim Nazarov, Alexander Shapiro

Abstract: We define natural classes of rational and polynomial representations of the Yangian of the general linear Lie algebra. We also present the classification and explicit realizations of all irreducible rational representations of the Yangian. We define natural classes of rational and polynomial representations of the Yangian of the general linear Lie algebra. We also present the classification and explicit realizations of all irreducible rational representations of the Yangian. △ Less

Submitted 1 September, 2014; v1 submitted 21 August, 2014; originally announced August 2014.

Comments: 23 pages, affiliations updated

Journal ref: Journal of Algebra 418 (2014) 265-291

Poisson Geometry of Monic Matrix Polynomials

Authors: Alexander Shapiro

Abstract: We study the Poisson geometry of the first congruence subgroup $G_1[[z^{-1}]]$ of the loop group $G[[z^{-1}]]$ endowed with the rational r-matrix Poisson structure for $G=GL_m$ and $SL_m$. We classify all the symplectic leaves on a certain ind-subvariety of $G_1[[z^{-1}]]$ in terms of Smith Normal Forms. This classification extends known descriptions of symplectic leaves on the (thin) affine Grass… ▽ More We study the Poisson geometry of the first congruence subgroup $G_1[[z^{-1}]]$ of the loop group $G[[z^{-1}]]$ endowed with the rational r-matrix Poisson structure for $G=GL_m$ and $SL_m$. We classify all the symplectic leaves on a certain ind-subvariety of $G_1[[z^{-1}]]$ in terms of Smith Normal Forms. This classification extends known descriptions of symplectic leaves on the (thin) affine Grassmannian and the space of $SL_m$-monopoles. We show that a generic leaf is covered by open charts with Poisson transition functions, the charts being birationally isomorphic to products of coadjoint $GL_m$ orbits. Finally, we discuss our results in terms of (thick) affine Grassmannians and Zastava spaces. △ Less

Submitted 6 October, 2015; v1 submitted 15 May, 2014; originally announced May 2014.

Comments: Version 2: results extended, proofs simplified. To appear in IMRN

Rational representations of the Yangian Y(gl_n)

Authors: Alexander Shapiro

Abstract: We construct a series of rational representations of Y(gl_n) and intertwining operators between them. We find explicit expressions for the images of highest-weight vectors under the intertwining operators. Finally, we state a conjecture that all irreducible finite-dimensional rational Y(gl_n)-modules arise as images of the constructed intertwining operators. We construct a series of rational representations of Y(gl_n) and intertwining operators between them. We find explicit expressions for the images of highest-weight vectors under the intertwining operators. Finally, we state a conjecture that all irreducible finite-dimensional rational Y(gl_n)-modules arise as images of the constructed intertwining operators. △ Less

Submitted 7 September, 2013; originally announced September 2013.

Comments: Formula for the image of the highest weight vector in the skew-symmetric case is corrected from the print version. This text, being a continuation of the series of papers [KN1], [KN2], [KN3], [KN4] closely (sometimes literally, when appropriate) follows the exposition of the mentioned works arXiv:math/0606265, arXiv:math/0703651, arXiv:math/0606272, arXiv:0801.0519

Journal ref: Journal of Geometry and Physics 62 (2012), pp. 1677-1696

Uniqueness of Kusuoka Representations

Authors: Alois Pichler, Alexander Shapiro

Abstract: This paper addresses law invariant coherent risk measures and their Kusuoka representations. By elaborating the existence of a minimal representation we show that every Kusuoka representation can be reduced to its minimal representation. Uniqueness -- in a sense specified in the paper -- of the risk measure's Kusuoka representation is derived from this initial result. Further, stochastic order r… ▽ More This paper addresses law invariant coherent risk measures and their Kusuoka representations. By elaborating the existence of a minimal representation we show that every Kusuoka representation can be reduced to its minimal representation. Uniqueness -- in a sense specified in the paper -- of the risk measure's Kusuoka representation is derived from this initial result. Further, stochastic order relations are employed to identify the minimal Kusuoka representation. It is shown that measures in the minimal representation are extremal with respect to the order relations. The tools are finally employed to provide the minimal representation for important practical examples. Although the Kusuoka representation is usually given only for nonatomic probability spaces, this presentation closes the gap to spaces with atoms. △ Less

Submitted 27 February, 2013; v1 submitted 26 October, 2012; originally announced October 2012.

Contingency tables with uniformly bounded entries

Authors: Austin Shapiro

Abstract: We consider nonnegative integer matrices with specified row and column sums and upper bounds on the entries. We show that the logarithm of the number of such matrices is approximated by a concave function of the row and column sums. We give efficiently computable estimators for this function, including one suggested by a maximum-entropy random model; we show that these estimators are asymptoticall… ▽ More We consider nonnegative integer matrices with specified row and column sums and upper bounds on the entries. We show that the logarithm of the number of such matrices is approximated by a concave function of the row and column sums. We give efficiently computable estimators for this function, including one suggested by a maximum-entropy random model; we show that these estimators are asymptotically exact as the dimension of the matrices goes to infinity. We finish by showing that, for kappa >= 2 and for sufficiently small row and column sums, the number of matrices with these row and column sums and with entries <= kappa is greater by an exponential factor than predicted by a heuristic of independence. △ Less

Submitted 14 February, 2011; originally announced February 2011.

Comments: 25 pages

Bounds on the number of integer points in a polytope via concentration estimates

Authors: Austin Shapiro

Abstract: It is generally hard to count, or even estimate, how many integer points lie in a polytope P. Barvinok and Hartigan have approached the problem by way of information theory, showing how to efficiently compute a random vector which samples the integer points of P with (computable) constant mass, but which may also land outside P. Thus, to count the integer points of P, it suffices to determine the… ▽ More It is generally hard to count, or even estimate, how many integer points lie in a polytope P. Barvinok and Hartigan have approached the problem by way of information theory, showing how to efficiently compute a random vector which samples the integer points of P with (computable) constant mass, but which may also land outside P. Thus, to count the integer points of P, it suffices to determine the frequency with which the random vector falls in P. We prove a collection of efficiently computable upper bounds on this frequency. We also show that if P is suitably presented by n linear inequalities and m linear equations (m fixed), then under mild conditions separating the expected value of the above random vector from the origin, the frequency with which it falls in P is O(n^{-m/2}) as n -> infinity. As in the classical Littlewood-Offord problem, all results in the paper are obtained by bounding the point concentration of a sum of independent random variables; we sketch connections to previous work on the subject. △ Less

Submitted 29 November, 2010; originally announced November 2010.

Comments: 23 pages

Weight function for the quantum affine algebra $U_q(A_2^{(2)})$

Authors: Sergey Khoroshkin, Alexander Shapiro

Abstract: In this article, we give an explicit formula for the universal weight function of the quantum twisted affine algebra $U_q(A_2^{(2)})$. The calculations use the technique of projecting products of Drinfeld currents onto the intersection of Borel subalgebras of different types. In this article, we give an explicit formula for the universal weight function of the quantum twisted affine algebra $U_q(A_2^{(2)})$. The calculations use the technique of projecting products of Drinfeld currents onto the intersection of Borel subalgebras of different types. △ Less

Submitted 10 September, 2010; originally announced September 2010.

Comments: 25 pages

Report number: ITEP-TH-64/09

Journal ref: Journal of Geometry and Physics 60 (2010) 1833-1851

Three realizations of quantum affine algebra $U_q(A_2^{(2)})$

Authors: Alexander Shapiro

Abstract: In this article we establish explicit isomorphisms between three realizations of quantum twisted affine algebra $U_q(A_2^{(2)})$: the Drinfeld ("current") realization, the Chevalley realization and the so-called $RLL$ realization, investigated by Faddeev, Reshetikhin and Takhtajan. In this article we establish explicit isomorphisms between three realizations of quantum twisted affine algebra $U_q(A_2^{(2)})$: the Drinfeld ("current") realization, the Chevalley realization and the so-called $RLL$ realization, investigated by Faddeev, Reshetikhin and Takhtajan. △ Less

Submitted 27 November, 2010; v1 submitted 10 September, 2010; originally announced September 2010.

Comments: 15 pages

Report number: ITEP-TH-65/09

Journal ref: Theor. and Math. Phys., 165(2), 217-232 (2010)

Radiative Decay of Bubble Oscillations in a Compressible Fluid

Authors: A. M. Shapiro, M. I. Weinstein

Abstract: Consider the dynamics of a gas bubble in an inviscid, compressible liquid with surface tension. Kinematic and dynamic boundary conditions couple the bubble surface deformation dynamics with the dynamics of waves in the fluid. This system has a spherical equilibrium state, resulting from the balance of the pressure at infinity and the gas pressure within the bubble. We study the linearized dynamics… ▽ More Consider the dynamics of a gas bubble in an inviscid, compressible liquid with surface tension. Kinematic and dynamic boundary conditions couple the bubble surface deformation dynamics with the dynamics of waves in the fluid. This system has a spherical equilibrium state, resulting from the balance of the pressure at infinity and the gas pressure within the bubble. We study the linearized dynamics about this equilibrium state in a center of mass frame: 1) We prove that the velocity potential and bubble surface perturbation satisfy point-wise in space exponential time-decay estimates. 2) The time-decay rate is governed by scattering resonances, eigenvalues of a non-selfadjoint spectral problem. These are pole singularities in the lower half plane of the analytic continuation of a resolvent operator from the upper half plane, across the real axis into the lower half plane. 3) The time-decay estimates are a consequence of resonance mode expansions for the velocity potential and bubble surface perturbations. 4) For small compressibility (Mach number, a ratio of bubble wall velocity to sound speed, ε), this is a singular perturbation of the incompressible limit. The scattering resonances which govern the anomalously slow time-decay, are {\it Rayleigh resonances}. Asymptotics, supported by high-precision numerical studies, indicate that the Rayleigh resonances which are closest to the real axis satisfy | \frac{\Im λ_\star(ε)}{\Re λ_\star(ε)} | = {\cal O} (\exp(-κ \We\ ε^{-2})), κ>0. Here, \We denotes the Weber number, a dimensionless ratio comparing inertia and surface tension. 5) To obtain the above results we prove a general result, of independent interest, estimating the Neumann to Dirichlet map for the wave equation, exterior to a sphere. △ Less

Submitted 1 January, 2011; v1 submitted 6 April, 2010; originally announced April 2010.

Comments: to appear in SIAM Journal on Mathematical Analysis

Several Applications of Bezout Matrices

Authors: A. Shapiro, S. Kaplan, M. Teicher

Abstract: The notion of Bezout matrix is an essential tool in studying broad variety of subjects: zeroes of polynomials, stability of differential equations, rational transformations of algebraic curves, systems of commuting nonselfadjoint operators, boundaries of quadrature domains etc. We present a survey of several properties of Bezout matrices and their applications in all mentioned topics. We use the… ▽ More The notion of Bezout matrix is an essential tool in studying broad variety of subjects: zeroes of polynomials, stability of differential equations, rational transformations of algebraic curves, systems of commuting nonselfadjoint operators, boundaries of quadrature domains etc. We present a survey of several properties of Bezout matrices and their applications in all mentioned topics. We use the framework of Vandermonde vectors because such approach allows us to give new proofs of both classical and modern results and in many cases to obtain new explicit formulas. These explicit formulas can significantly simplify various computational problems and, in particular, make the research of algebraic curves and their applications easier. In addition we wrote a Maple software package, which computes all the formulas. For instance, as Bezout matrices are used in order to compute the image of a rational transformation of an algebraic curve, we used these results to study some connections between small degree rational transformation of an algebraic curve and the braid monodromy of its image. △ Less

Submitted 3 January, 2006; originally announced January 2006.

Comments: 11 pages

Rational transformations of systems of commuting nonselfadjoint operators

Authors: Alexander Shapiro, Victor Vinnikov

Abstract: The work of M. S. Livšic and his collaborators in operator theory associates to a system of commuting nonselfadjoint operators an algebraic curve. Guided by the notion of rational transformation of algebraic curves, we define the notion of a rational transformation of a system of commuting nonselfadjoint operators. The work of M. S. Livšic and his collaborators in operator theory associates to a system of commuting nonselfadjoint operators an algebraic curve. Guided by the notion of rational transformation of algebraic curves, we define the notion of a rational transformation of a system of commuting nonselfadjoint operators. △ Less

Submitted 3 November, 2005; originally announced November 2005.

Comments: 10 pages

MSC Class: 47A48; 14E05

Rational transformations of algebraic curves and elimination theory

Authors: Alexander Shapiro, Victor Vinnikov

Abstract: Elimination theory has many applications, in particular, it describes explicitly an image of a complex line under rational transformation and determines the number of common zeroes of two polynomials in one variable. We generalize classical elimination theory and create elimination theory along an algebraic curve using the notion of determinantal representation of algebraic curve. This new theor… ▽ More Elimination theory has many applications, in particular, it describes explicitly an image of a complex line under rational transformation and determines the number of common zeroes of two polynomials in one variable. We generalize classical elimination theory and create elimination theory along an algebraic curve using the notion of determinantal representation of algebraic curve. This new theory allows to describe explicitly an image of a plane algebraic curve under rational transformation and to determine the number of common zeroes of two polynomials in two variables on a plane algebraic curve. △ Less

Submitted 12 July, 2005; originally announced July 2005.

Comments: 18 pages

MSC Class: 14E05; 12D10

Braid Monodromy Type and Rational Transformations of Plane Algebraic Curves

Authors: S. Kaplan, A. Shapiro, M. Teicher

Abstract: We combine the newly discovered technique, which computes explicit formulas for the image of an algebraic curve under rational transformation, with techniques that enable to compute braid monodromies of such curves. We use this combination in order to study properties of the braid monodromy of the image of curves under a given rational transformation. A description of the general method is given… ▽ More We combine the newly discovered technique, which computes explicit formulas for the image of an algebraic curve under rational transformation, with techniques that enable to compute braid monodromies of such curves. We use this combination in order to study properties of the braid monodromy of the image of curves under a given rational transformation. A description of the general method is given along with full classification of the images of two intersecting lines under degree 2 rational transformation. We also establish a connection between degree 2 rational transformations and the local braid monodromy of the image at the intersecting point of two lines. Moreover, we present an example of two birationally isomorphic curves with the same braid monodromy type and non diffeomorphic real parts. △ Less

Submitted 24 August, 2004; originally announced August 2004.

Comments: 22 pages, 9 Tables