English
Related papers

Related papers: Regular cylindrical algebraic decomposition

200 papers

Let $G$ be a simple linear algebraic group defined over an algebraically closed field of characteristic $p\geq 0$ and let $\phi$ be a $p$-restricted irreducible representation of $G$. Let $T$ be a maximal torus of $G$ and $s\in T$. We say…

Representation Theory · Mathematics 2022-03-08 Donna M. Testerman , Alexandre Zalesski

We provide sharp cylindrical parametrizations of cylindrical cell decompositions by maps with bounded $C^{r}$ norm in the sharply o-minimal setting, thus generalizing and strengthening the Yomdin-Gromov Algebraic Lemma. We introduce forts,…

Logic · Mathematics 2023-01-13 Dmitri Novikov , Benny Zak

The problem of decomposing non-manifold object has already been studied in solid modeling. However, the few proposed solutions are limited to the problem of decomposing solids described through their boundaries. In this thesis we study the…

Graphics · Computer Science 2019-04-03 Franco Morando

We examine the structure of the partition algebra $P_n(\delta)$ over a field $k$ of characteristic $p>0$. In particular, we describe the decomposition matrix of $P_n(\delta)$ when $n<p$ and when $n=p$ and $\delta=p-1$.

Representation Theory · Mathematics 2014-03-27 Oliver King

In this paper, we propose an incremental algorithm for computing cylindrical algebraic decompositions. The algorithm consists of two parts: computing a complex cylindrical tree and refining this complex tree into a cylindrical tree in real…

Symbolic Computation · Computer Science 2012-10-23 Changbo Chen , Marc Moreno Maza

Let $\mathfrak{s}$ $\ltimes$ $\mathfrak{r}$ be a Levi decomposable Lie algebra, with Levi factor $\mathfrak{s}$, and radical $\mathfrak{r}$. A module $V$ of $\mathfrak{s}$ $\ltimes$ $\mathfrak{r}$ is cyclic indecomposable if it is…

Representation Theory · Mathematics 2024-04-12 Andrew Douglas , Joe Repka

We introduce the decomposition rank, a notion of covering dimension for nuclear C^*-algebras. The decomposition rank generalizes ordinary covering dimension and has nice permanence properties; in particular, it behaves well with respect to…

Operator Algebras · Mathematics 2007-05-23 Eberhard Kirchberg , Wilhelm Winter

This article makes the key observation that when using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of polynomials, it is not always the signs of those polynomials that are of paramount importance but…

Symbolic Computation · Computer Science 2013-07-10 Russell Bradford , James H. Davenport , Matthew England , Scott McCallum , David Wilson

Let $M$ be a volume finite non-compact complete hyperbolic $n$-manifold with totally geodesic boundary. We show that there exists a polyhedral decomposition of $M$ such that each cell is either an ideal polyhedron or a partially truncated…

Geometric Topology · Mathematics 2024-09-16 Ge Huabin , Jia Longsong , Zhang Faze

Cylindrical Algebraic Decomposition (CAD) algorithms typically produce a decomposition adapted to a finite family of semi-algebraic sets $\mathcal{F}$ (i.e. every member of $\mathcal{F}$ is a union of cells). Different algorithms may…

Symbolic Computation · Computer Science 2026-05-07 Lucas Michel

We propose new algorithms for computing triangular decompositions of polynomial systems incrementally. With respect to previous works, our improvements are based on a {\em weakened} notion of a polynomial GCD modulo a regular chain, which…

Symbolic Computation · Computer Science 2011-04-06 Changbo Chen , Marc Moreno Maza

We give a criterion under which one can obtain a good decomposition (in the sense of Malgrange) of a formal flat connection on a complex analytic or algebraic variety of arbitrary dimension. The criterion is stated in terms of the spectral…

Algebraic Geometry · Mathematics 2019-12-19 Kiran S. Kedlaya

A simple sufficient condition for certain cyclic algebras of odd degree d to be split is presented. It employs certain binary forms of degree d and the values they represent. A similar sufficient condition for certain Albert algebras not to…

Rings and Algebras · Mathematics 2007-05-23 S. Pumpluen

Vertical decomposition is a widely used general technique for decomposing the cells of arrangements of semi-algebraic sets in $d$-space into constant-complexity subcells. In this paper, we settle in the affirmative a few long-standing open…

Computational Geometry · Computer Science 2023-11-06 Pankaj K. Agarwal , Esther Ezra , Micha Sharir

We determine the structure of the partition algebra $P_n(Q)$ (a generalized Temperley-Lieb algebra) for specific values of $Q \in \C$, focusing on the quotient which gives rise to the partition function of $n$ site $Q$-state Potts models…

High Energy Physics - Theory · Physics 2009-10-22 Paul Martin , Hubert Saleur

We introduce the notion of a cellular system in order to deal with quasi-hereditary algebras. We shall prove that a necessary and sufficient condition for an algebra to be quasi-hereditary is the existence of a full divisible cellular…

Representation Theory · Mathematics 2007-05-23 Jie Du

Over a global field any finite number of central simple algebras of exponent dividing $m$ is split by a common cyclic field extension of degree $m$. We show that the same property holds for function fields of two-dimensional excellent…

K-Theory and Homology · Mathematics 2021-04-06 Karim Johannes Becher , Parul Gupta

A subalgebra of a semisimple Lie algebra is wide if every simple module of the semisimple Lie algebra remains indecomposable when restricted to the subalgebra. From a finer viewpoint, a subalgebra is $\lambda$-wide if the simple module of a…

Representation Theory · Mathematics 2024-03-29 Andrew Douglas , Joe Repka

Let V be a normal affine variety over the real numbers R, and let S be a semi-algebraic subset of V(R). We study the subring B(S) of the coordinate ring of V consisting of the polynomials that are bounded on S. We introduce the notion of…

Algebraic Geometry · Mathematics 2010-07-30 Daniel Plaumann , Claus Scheiderer

The o-minimal structure generated by the restricted Pfaffian functions, known as restricted sub-Pfaffian sets, admits a natural measure of complexity in terms of a format $\mathcal{F}$, recording information like the number of variables and…

Logic · Mathematics 2020-09-29 Gal Binyamini , Nicolai Vorobjov