Linear Programs with Polynomial Coefficients and Applications to 1D Cellular Automata

Given a matrix A and vector b with polynomial entries in d real variables δ=(δ₁,…,δ subscript d) we consider the following notion of feasibility: the pair (A,b) is locally feasible if there exists an open neighborhood U of 0 such that for every δ∈U there exists x satisfying A(δ)x≥b(δ) entry-wise. Fo...

Full description

Bibliographic Details
Main Author: Guo, Chenghao
Other Authors: Bresler, Guy
Format: Thesis
Published: Massachusetts Institute of Technology 2022
Online Access:https://hdl.handle.net/1721.1/144875