Related papers: Regular cylindrical algebraic decomposition

In this article, we present a concise combinatorial formula for efficiently determining the Wedderburn decomposition of rational group algebra associated with a split metacyclic $p$-group $G$, where $p$ is an odd prime. We also provide a…

We establish the global existence of a class of strongly coupled parabolic systems. The necessary apriori estimates will be obtained via our new approach to the regularity theory of parabolic scalar equations with integrable data and new…

We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…

Let $R=C[[t]]$ be the ring of power series over an algebraically closed field $C$ of characteristic zero. We show that each connection on a finite flat $R((x))$-module is the sum of a regular singular connection and a diagonalizable…

A rational map with good reduction in the field $\mathbb{Q}\_p$ of $p$-adic numbers defines a $1$-Lipschitz dynamical system on the projective line $\mathbb{P}^1(\mathbb{Q}\_p)$ over $\mathbb{Q}\_p$. The dynamical structure of such a system…

Suppose $C$ is a compact, $n$-edged two-cell of the centered dual decomposition of a locally finite set in the hyperbolic plane, a coarsening of the Delaunay tessellation which was introduced in the author's prior work. We describe an…

Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic…

It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…

Let g be a finite dimensional semisimple Lie algebra over C and e be a nilpotent element. Elashvili and Kac have recently classified all good Z-gradings for e. We instead consider good R-gradings, which are naturally parameterized by an…

We study combinatorial configurations with the associated point and line graphs being strongly regular. Examples not belonging to known classes such as partial geometries and their generalizations or elliptic semiplanes are constructed.…

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…

In this paper we study of the structure of non-commutative Poisson algebras with an arbitrary set $\ss.$ We show that any of such an algebra $\pp$ decomposes as…

We show that every set S in [N]^d occupying less than p^t residue classes for some real number t < d and every prime p, must essentially lie in the solution set of a polynomial equation of degree at most (log N)^C, for some constant C…

We describe how to obtain a global t-structure from a semiorthogonal decomposition with compatible t-structures on every component. This result is used to generalize a well-known theorem of Bondal on full strong exceptional sequences.

We study the partial orderings of the form $\langle {\mathbb P} ({\mathbb X}), \subset \rangle $, where ${\mathbb X}$ is a binary relational structure with the connectivity components isomorphic to a strongly connected structure ${\mathbb…

Let $P$ be a set of $n$ points in general position on the plane. A set of closed convex polygons with vertices in $P$, and with pairwise disjoint interiors is called a convex decomposition of $P$ if their union is the convex hull of $P$,…

This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we…

The seminormalization of an algebraic variety $X$ is the biggest variety linked to $X$ by a finite, birational and bijective morphism. In this paper we introduce a variant of the seminormalization, suited for real algebraic varieties,…

An (edge) decomposition of a graph $G$ is a set of subgraphs of $G$ whose edge sets partition the edge set of $G$. Here we show, for each odd $\ell \geq 5$, that any graph $G$ of sufficiently large order $n$ with minimum degree at least…

The weak geometric P=W conjecture of L. Katzarkov, A. Noll, P. Pandit, and C. Simpson asserts that for any smooth Betti moduli space $\mathcal{M}_B$ of complex dimension $d$ over a punctured Riemann surface, the dual boundary complex…