Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0704.1257

Complexity of Janet basis of a D-module

Alexander Chistov·Dima Grigoriev
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove a double-exponential upper bound on the degree and on the complexity of constructing a Janet basis of a $D$-module. This generalizes a well known bound on the complexity of a Gröbner basis of a module over the algebra of polynomials. We would like to emphasize that the obtained bound can not be immediately deduced from the commutative case.

Explore related subjects

math.APmath.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexander Chistov, Dima Grigoriev. 2007-04-10. Complexity of Janet basis of a D-module. https://arxiv.org/abs/0704.1257

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Smooth solutions to the chord log-Minkowski problem

In integral geometry generalized with Aleksandrov's variational theory, Lutwak-Xi-Yang-Zhang [Comm. Pure Appl. Math. 77 (2024)] recently opened the door to researching the cone-chord measures and their log-Minkowski problem stemming from the chord integrals, named as the chord log-Minkowski problem. In the smooth category, the solvability of the chord log-Minkowski problem amounts to dealing with a nonlocal {M}onge-{A}mpère equation involving a Riesz potential. In this paper, to study the chord log-Minkowski problem, we first present some novel results on the boundary regularity of the Riesz potential. Based on these results, we obtain the regularity and existence for the chord log-Minkowski problem from the perspective of a nonlocal {M}onge-{A}mpère equation and a nonlocal Gauss curvature flow equation.

math.AP↗
arXiv2026

A proof of Onsager's Conjecture for the SQG equation

We construct solutions to the SQG equation that fail to conserve the Hamiltonian while having the maximal allowable regularity for this property to hold. This result solves the generalized Onsager conjecture on the threshold regularity for Hamiltonian conservation for SQG. We also prove nonuniqueness for arbitrary smooth data and an h-principle result.

math.AP↗