English
Related papers

Related papers: A Feiner Look at the Intermediate Degrees

200 papers

We give an explicit upper bound for the algebraic degree and an explicit lower bound for the absolute value of the minimum of a polynomial function on a compact connected component of a basic closed semialgebraic set when this minimum is…

Algebraic Geometry · Mathematics 2011-12-05 Gabriela Jeronimo , Daniel Perrucci , Elias Tsigaridas

Given $d,n \in \mathbb{N}$, we write a polynomial $F \in \mathbb{C}[x_1,\dots,x_n]$ to be degenerate if there exist $P\in \mathbb{C}[y_1, \dots, y_{n-1}]$ and $m_j = x_1^{v_{j,1}}\dots x_n^{v_{j,n}}$ with $v_{j,1}, \dots, v_{j,n} \in…

Combinatorics · Mathematics 2023-08-09 Akshat Mudgal

Let $\mathbb{F}$ be a fixed finite field, and let $A \subset \mathbb{F}^n$. It is a well-known fact that there is a subspace $V \leq \mathbb{F}^n$, $\mbox{codim} V \ll_{\delta} 1$, and an $x$, such that $A$ is $\delta$-uniform when…

Number Theory · Mathematics 2016-07-25 Ben Green , Tom Sanders

For an algebraic number $\alpha$ of degree $n$, let $\mathcal{M}_{\alpha}$ be the $\mathbb{Z}$-module generated by $1,\alpha ,\ldots ,\alpha^{n-1}$; then $\mathbb{Z}_{\alpha}:=\{\xi\in\mathbb{Q} (\alpha ):\,…

Number Theory · Mathematics 2023-09-19 Jan-Hendrik Evertse

For every field $F$ which has a quadratic extension $E$ we show there are non-metabelian infinite-dimensional thin graded Lie algebras all of whose homogeneous components, except the second one, have dimension $2$. We construct such Lie…

Rings and Algebras · Mathematics 2021-01-29 M. Avitabile , A. Caranti , N. Gavioli , V. Monti , M. F. Newman , E. A. O'Brien

We prove super-polynomial lower bounds on the size of propositional proof systems operating with constant-depth algebraic circuits over fields of zero characteristic. Specifically, we show that the subset-sum variant…

Computational Complexity · Computer Science 2022-05-17 Nashlen Govindasamy , Tuomas Hakoniemi , Iddo Tzameret

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. A subalgebra is narrow if the restrictions of all non-trivial simple modules to…

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

A simplicial set is said to be non-singular if the representing map of each non-degenerate simplex is degreewise injective. The inclusion into the category of simplicial sets, of the full subcategory whose objects are the non-singular…

Algebraic Topology · Mathematics 2020-01-17 Vegard Fjellbo

This paper investigates the effective categoricity of ultrahomogeneous structures. It is shown that any computable ultrahomogeneous structure is $\Delta^0_2$ categorical. A structure A is said to be weakly ultrahomogeneous if there is a…

Logic · Mathematics 2016-08-04 Francis Adams , Douglas Cenzer

Let $R$ be a finite-dimensional algebra over an algebraically closed field $F$ graded by an arbitrary group $G$. We prove that $R$ is a graded division algebra if and only if it is isomorphic to a twisted group algebra of some finite…

Rings and Algebras · Mathematics 2007-05-23 Y. A. Bahturin , S. K. Sehgal , M. V. Zaicev

Let $S$ be a unital ring, $S[t;\sigma,\delta]$ a skew polynomial ring where $\sigma$ is an injective endomorphism and $\delta$ a left $\sigma$-derivation, and suppose $f\in S[t;\sigma,\delta]$ has degree $m$ and an invertible leading…

Information Theory · Computer Science 2021-04-13 Susanne Pumpluen

We classify, up to equivalence, all finite-dimensional simple graded division algebras over the field of real numbers. The grading group is any finite abelian group.

Rings and Algebras · Mathematics 2015-06-09 Yuri Bahturin , Mikhail Zaicev

There exists an absolute constant $\delta > 0$ such that for all $q$ and all subsets $A \subseteq \mathbb{F}_q$ of the finite field with $q$ elements, if $|A| > q^{2/3 - \delta}$, then \[ |(A-A)(A-A)| = |\{ (a -b) (c-d) : a,b,c,d \in A\}| >…

Combinatorics · Mathematics 2018-11-15 Brendan Murphy , Giorgis Petridis

A Lie algebra $L$ is said to be $(\Theta_{n},sl_{n})$-graded if it contains a simple subalgebra $\mathfrak{g}$ isomorphic to $sl_{n}$ such that the $\mathfrak{g}$-module $L$ decomposes into copies of the adjoint module, the trivial module,…

Rings and Algebras · Mathematics 2021-04-21 Alexander Baranov , Hogir M. Yaseen

A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…

Logic · Mathematics 2018-02-12 Russell Miller , Alexandra Shlapentokh

For a nondegenerate additive subgroup $G$ of the $n$-dimensional vector space $F^n$ over an algebraically closed field $F$ of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type $W(G,n)$ spanned by all…

Quantum Algebra · Mathematics 2007-05-23 Yucai Su

Let $\mathbb{F}$ be a field of characteristic zero and let $\mathfrak{g}$ be a non-zero finite-dimensional split semisimple Lie algebra with root system $\Delta$. Let $\Gamma$ be a finite set of integral weights of $\mathfrak{g}$ containing…

Representation Theory · Mathematics 2020-04-01 Hogir Mohammed Yaseen

A uniform algebra $A$ on its Shilov boundary $X$ is {\em maximal} if $A$ is not $C(X)$ and there is no uniform algebra properly contained between $A$ and $C(X)$. It is {\em essentially pervasive} if $A$ is dense in $C(F)$ whenever $F$ is a…

Functional Analysis · Mathematics 2014-02-11 Pamela Gorkin , Anthony G. O'Farrell

Let $K \langle X\rangle$ be the free associative algebra freely generated over the field $K$ by the countable set $X = \{x_1, x_2, \ldots\}$. If $A$ is an associative $K$-algebra, we say that a polynomial $f(x_1,\ldots, x_n) \in K \langle…

Rings and Algebras · Mathematics 2024-11-12 Jonatan Andres Gomez Parada , Plamen Koshlukov

A set $I$ is said to be a universal indifferent set for $1$-genericity if for every $1$-generic $G$ and for all $X \subseteq I$, $G \Delta X$ is also $1$-generic. Miller showed that there is no infinite universal indifferent set for…

Logic · Mathematics 2021-05-24 Tejas Bhojraj