English
Related papers

Related papers: The algebraicity of ill-distributed sets

200 papers

The class of problems complete for NP via first-order reductions is known to be characterized by existential second-order sentences of a fixed form. All such sentences are built around the so-called generalized IS-form of the sentence that…

Computational Complexity · Computer Science 2007-06-26 Nerio Borges , Blai Bonet

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…

Symbolic Computation · Computer Science 2018-06-22 Cordian Riener , Mohab Safey El Din

Let $f_{1}, \ldots, f_{k}$ be polynomials defining an algebraic set in affine $n$-space over a finite field. Suppose $k>n$. We prove that there exists a system of polynomials $g_{1}, \ldots, g_{n}$, each being a linear combination with…

Algebraic Geometry · Mathematics 2022-04-26 Stefan Barańczuk

Let $\mathcal{F}=\{f_1,\ldots,f_R\}$ be a family of forms of odd degrees at most $d$ in $s$ variables. We study the solutions to the system $f_1(\mathbf{x})=\ldots=f_R(\mathbf{x})=0$ of the form $x_i=y_ip_i$ with $|y_i|\leq Y_\mathcal{F}$…

Number Theory · Mathematics 2026-05-11 Akos Magyar

We show that for finite n at least 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an…

Logic · Mathematics 2013-05-22 Jannis Bulian , Ian Hodkinson

For a partition {\lambda} and a prime p, we prove a necessary and sufficient condition for there exists a composition {\delta} such that {\delta} can be obtained from {\lambda} after rearrangement and all the partial sums of {\delta} are…

Representation Theory · Mathematics 2020-03-17 Kay Jin Lim , Jialin Wang

Let M be a maximal subalgebra of the Lie algebra L. A subalgebra C of L is said to be a completion for M if C is not contained in M but every proper subalgebra of C that is an ideal of L is contained in M. The set I(M) of all completions of…

Rings and Algebras · Mathematics 2010-06-30 David A. Towers

In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's…

Algebraic Geometry · Mathematics 2024-12-24 Kartoue Mady Demdah , Ibrahim Nonkane

We show that there is a query expressible in first-order logic over the reals that returns, on any given semi-algebraic set A, for every point a radius around which A is conical. We obtain this result by combining famous results from…

Databases · Computer Science 2007-05-23 Floris Geerts

Let g be the Lie superalgebra p(3) of rank 2 over an algebraically closed field K of characteristic p > 3. We classify all irreducible modules of g, and give the character formulae for irreducible modules.

Representation Theory · Mathematics 2026-01-23 Ye Ren

We prove that if $B$ is a $p$-block with non-trivial defect group $D$ of a finite $p$-solvable group $G$, then $\ell(B) < p^r$, where $r$ is the sectional rank of $D$. We remark that there are infinitely many $p$-blocks $B$ with non-Abelian…

Representation Theory · Mathematics 2016-11-08 Gunter Malle , Geoffrey R. Robinson

We study the quadratic residue problem known as an NP complete problem by way of the prime number and show that a nondeterministic polynomial process does not belong to the class P because of a random distribution of solutions for the…

General Mathematics · Mathematics 2012-12-29 Minoru Fujimoto , Kunihiko Uehara

Let G be a reductive group over an algebraically closed field k of separably good characteristic p>0 for G. Under these assumptions a Springer isomorphism from the reduced nilpotent scheme of the Lie algebra of G to the reduced unipotent…

Representation Theory · Mathematics 2023-07-18 Marion Jeannin

For a fixed rational number g, not equal to -1,0 or 1 and integers a and d we consider the set of primes p for which the order of g(mod p) is congruent to a(mod d). For d=4 and d=3 it is shown that, under the Generalized Riemann Hypothesis,…

Number Theory · Mathematics 2016-09-07 Pieter Moree

We show that for every finite set of prime numbers S, there are at most finitely many singular moduli that are S-units. The key new ingredient is that for every prime number p, singular moduli are p-adically disperse. We prove analogous…

Number Theory · Mathematics 2023-09-07 Sebastián Herrero , Ricardo Menares , Juan Rivera-Letelier

We show that in a polynomial ring $R$ in $N$ variables over an algebraically closed field $K$ of arbitrary characteristic, any $K$-subalgebra of $R$ generated over $K$ by at most $n$ forms of degree at most $d$ is contained in a…

Commutative Algebra · Mathematics 2019-07-22 Tigran Ananyan , Melvin Hochster

This paper is concerned with the prime spectrum of a tensor product of algebras over a field. It seeks necessary and sufficient conditions for such a tensor product to have the S-property, strong S-property, and catenarity. Its main results…

Commutative Algebra · Mathematics 2007-05-23 S. Bouchiba , D. E. Dobbs , S. Kabbaj

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…

Algebraic Geometry · Mathematics 2017-05-01 Saugata Basu , Cordian Riener

Let $p$ be a prime number and $c, d$ natural numbers. Up to isomorphism, there is a unique $p$-group $G^c_d$ of least order with rank $d$ and nilpotency class $c$ named disposition group. This group plays an important role in the…

Number Theory · Mathematics 2021-12-28 Mahboubeh Alizadeh Sanati

For a semialgebraic set K in R^n, let P_d(K) be the cone of polynomials in R^n of degrees at most d that are nonnegative on K. This paper studies the geometry of its boundary. When K=R^n and d is even, we show that its boundary lies on the…

Optimization and Control · Mathematics 2010-04-26 Jiawang Nie