Polynomial approximation on convex polytopes in is considered in uniform and -norms. For an appropriate modulus of smoothness matching direct and converse estimates are proven. In the -case so called strong direct and converse results are also verified. The equivalence of the moduli of smoothness with an appropriate -functional follows as a consequence. The results solve a problem that was left open since the mid 1980s when some of the present findings were established for special, so-called simple polytopes.

The aim of this volume is to reinforce the interaction between the three main branches (abstract, convex and computational) of the theory of polytopes. The articles include contributions from many of the leading experts in the field, and their topics of concern are expositions of recent results and in-depth analyses of the development (past and future) of the subject. The subject matter of the book ranges from algorithms for assignment and transportation problems to the introduction of a geometric theory of polyhedra which need not be convex. With polytopes as the main topic of interest, there are articles on realizations, classifications, Eulerian posets, polyhedral subdivisions, generalized stress, the Brunn--Minkowski theory, asymptotic approximations and the computation of volumes and mixed volumes. For researchers in applied and computational convexity, convex geometry and discrete geometry at the graduate and postgraduate levels.

The subject of this book is the introduction and application of a new measure for smoothness offunctions. Though we have both previously published some articles in this direction, the results given here are new. Much of the work was done in the summer of 1984 in Edmonton when we consolidated earlier ideas and worked out most of the details of the text. It took another year and a half to improve and polish many of the theorems. We express our gratitude to Paul Nevai and Richard Varga for their encouragement. We thank NSERC of Canada for its valuable support. We also thank Christine Fischer and Laura Heiland for their careful typing of our manuscript. z. Ditzian V. Totik CONTENTS Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 PART I. THE MODULUS OF SMOOTHNESS Chapter 1. Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.1. Notations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2. Discussion of Some Conditions on cp(x). . . . • . . . . . . . • . . • . . • • . 8 . . . • . 1.3. Examples of Various Step-Weight Functions cp(x) . . • . . • . . • . . • . . . 9 . . • Chapter 2. The K-Functional and the Modulus of Continuity ... . ... 10 2.1. The Equivalence Theorem. . . . . . . . . . . . . . . . . . . . . . . . . . . 10 . . . . . . . . . 2.2. The Upper Estimate, Kr.tp(f, tr)p ~ Mw;(f, t)p, Case I . . . . . . . . . . . . 12 . . . 2.3. The Upper Estimate of the K-Functional, The Other Cases. . . . . . . . . . 16 . 2.4. The Lower Estimate for the K-Functional. . . . . . . . . . . . . . . . . . . 20 . . . . . Chapter 3. K-Functionals and Moduli of Smoothness, Other Forms. 24 3.1. A Modified K-Functional . . . . . . . . . . . . . . . . . . . . . . . . . . 24 . . . . . . . . . . 3.2. Forward and Backward Differences. . . . . . . . . . . . . . . . . . . . . . 26 . . . . . . . 3.3. Main-Part Modulus of Smoothness. . . . . . . . . . . . . . . . . . . . . . 28 . . . . . . .

This volume is based on lectures delivered at the 2019 AMS Short Course “Sum of Squares: Theory and Applications”, held January 14–15, 2019, in Baltimore, Maryland. This book provides a concise state-of-the-art overview of the theory and applications of polynomials that are sums of squares. This is an exciting and timely topic, with rich connections to many areas of mathematics, including polynomial and semidefinite optimization, real and convex algebraic geometry, and theoretical computer science. The six chapters introduce and survey recent developments in this area; specific topics include the algebraic and geometric aspects of sums of squares and spectrahedra, lifted representations of convex sets, and the algorithmic and computational implications of viewing sums of squares as a meta algorithm. The book also showcases practical applications of the techniques across a variety of areas, including control theory, statistics, finance and machine learning.

A collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. Topics include polyhedral geometry, elimination theory, algebraic surfaces, Gröbner bases, triangulations of point sets and the mutual relationship. This diversity is accompanied by the abundance of available software systems which often handle only special mathematical aspects. This is why the volume also focuses on solutions to the integration of mathematical software systems. This includes low-level and XML based high-level communication channels as well as general frameworks for modular systems.

This volume contains the proceedings of the AMS Special Session on Discrete Geometry and Algebraic Combinatorics held on January 11, 2013, in San Diego, California. The collection of articles in this volume is devoted to packings of metric spaces and related questions, and contains new results as well as surveys of some areas of discrete geometry. This volume consists of papers on combinatorics of transportation polytopes, including results on the diameter of graphs of such polytopes; the generalized Steiner problem and related topics of the minimal fillings theory; a survey of distance graphs and graphs of diameters, and a group of papers on applications of algebraic combinatorics to packings of metric spaces including sphere packings and topics in coding theory. In particular, this volume presents a new approach to duality in sphere packing based on the Poisson summation formula, applications of semidefinite programming to spherical codes and equiangular lines, new results in list decoding of a family of algebraic codes, and constructions of bent and semi-bent functions.

This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.

The Handbook of Discrete and Computational Geometry is intended as a reference book fully accessible to nonspecialists as well as specialists, covering all major aspects of both fields. The book offers the most important results and methods in discrete and computational geometry to those who use them in their work, both in the academic world—as researchers in mathematics and computer science—and in the professional world—as practitioners in fields as diverse as operations research, molecular biology, and robotics. Discrete geometry has contributed significantly to the growth of discrete mathematics in recent years. This has been fueled partly by the advent of powerful computers and by the recent explosion of activity in the relatively young field of computational geometry. This synthesis between discrete and computational geometry lies at the heart of this Handbook. A growing list of application fields includes combinatorial optimization, computer-aided design, computer graphics, crystallography, data analysis, error-correcting codes, geographic information systems, motion planning, operations research, pattern recognition, robotics, solid modeling, and tomography.

Stochastic geometry deals with models for random geometric structures. Its early beginnings are found in playful geometric probability questions, and it has vigorously developed during recent decades, when an increasing number of real-world applications in various sciences required solid mathematical foundations. Integral geometry studies geometric mean values with respect to invariant measures and is, therefore, the appropriate tool for the investigation of random geometric structures that exhibit invariance under translations or motions. Stochastic and Integral Geometry provides the mathematically oriented reader with a rigorous and detailed introduction to the basic stationary models used in stochastic geometry – random sets, point processes, random mosaics – and to the integral geometry that is needed for their investigation. The interplay between both disciplines is demonstrated by various fundamental results. A chapter on selected problems about geometric probabilities and an outlook to non-stationary models are included, and much additional information is given in the section notes.