A Gröbner basis proof of the flat extension theorem for moment matrices

Markus Schweighofer

DOI: https://doi.org/10.48550/arXiv.0801.4243

2009-01-19

Abstract:This paper has been withdrawn by the author since $U$ in Lemma 2 is in general not a subspace.

Commutative Algebra,Optimization and Control

What problem does this paper attempt to address?

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"

Özlem Beyarslan,Piotr Kowalski

DOI: https://doi.org/10.1112/plms.12180

2024-03-15

Abstract:There is an irreparable error in the proof of Theorem 3.26 in our "Model Theory of Fields with Virtually Free Group Actions" paper and we withdraw the claim of having proved that theorem. In fact, that theorem is false in a very strong sense.

Logic
Young's Inequality and Fermat's Last Theorem

Nail Ussembayev

DOI: https://doi.org/10.48550/arXiv.0903.2033

2009-04-25

Abstract:This paper has been withdrawn by the author for further investigation.

Number Theory,History and Overview
Uniformization By Classical Schottky Groups

Jonathan Williams

DOI: https://doi.org/10.48550/arXiv.math/0601287

2006-03-08

Abstract:This paper has been withdrawn by the author due to an error in an inequality in the proof of Theorem 1.1.

Geometric Topology
The FGF-conjecture for pseudocompact algebras

Mariana Haim,Blas Torrecillas

DOI: https://doi.org/10.48550/arXiv.0903.2970

2009-11-22

Abstract:The paper has been withdrawn due to a crucial error in section 3.

Rings and Algebras,Representation Theory
An exposition of Jordan's original proof of his theorem on finite subgroups of $\GL_n(\C)$

Emmanuel Breuillard

2023-05-01

Abstract:We discuss Jordan's theorem on finite subgroups of invertible matrices and give an account of his original proof.

Group Theory,History and Overview,Logic
On the Matricial Truncated Moment Problem. II

Conrad Mädler,Konrad Schmüdgen

2023-11-17

Abstract:We continue the study of truncated matrix-valued moment problems begun in <a class="link-https" data-arxiv-id="2310.00957" href="https://arxiv.org/abs/2310.00957">arXiv:2310.00957</a>. Let $q\in\mathbb{N}$. Suppose that $(\mathcal{X},\mathfrak{X})$ is a measurable space and $\mathcal{E}$ is a finite-dimensional vector space of measurable mappings of $\mathscr{X}$ into $\mathcal{H}_q$, the Hermitian $q\times q$ matrices. A linear functional $\Lambda$ on $\mathcal{E}$ is called a moment functional if there exists a positive $\mathcal{H}_q$-valued measure $\mu$ on $(\mathcal{X},\mathfrak{X})$ such that $\Lambda(F)=\int_\mathcal{X} \langle F, \mathrm{d}\mu\rangle$ for $F\in \mathcal{E}$. In this paper a number of special topics on the truncated matricial moment problem are treated. We restate a result from (Mourrain and Schmüdgen, 2016) to obtain a matricial version of the flat extension theorem. Assuming that $\mathcal{X}$ is a compact space and all elements of $ \mathcal{E}$ are continuous on $\mathcal{X}$ we characterize moment functionals in terms of positivity and obtain an ordered maximal mass representing measure for each moment functional. The set of masses of representing measures at a fixed point and some related sets are studied. The class of commutative matrix moment functionals is investigated. We generalize the apolar scalar product for homogeneous polynomials to the matrix case and apply this to the matricial truncated moment problem.

Functional Analysis
On the theorem of Amitsur--Levitzki

Claudio Procesi

DOI: https://doi.org/10.48550/arXiv.1308.2421

2013-08-12

Abstract:We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.

Rings and Algebras
Counterexamples for the convexity of certain matricial inequalities

Marius Junge,Quanhua Xu

DOI: https://doi.org/10.48550/arXiv.0709.0433

2007-10-01

Abstract:This paper is withdrawn. We found a mistake in Lemma 4.1

Functional Analysis,Mathematical Physics
The Teichmüller group is good

Marco Boggi

DOI: https://doi.org/10.48550/arXiv.math/0306379

2003-06-26

Algebraic Geometry

Abstract:This paper was withdrawn by the authors. The mistake in math.AG/0209223 affects also this paper.
Note on Schmidt Decomposition in Infinite Dimensional Hilbert Spaces

Su Hu,Zongwen Yu

DOI: https://doi.org/10.48550/arXiv.0705.1694

2007-05-19

Abstract:This paper has been withdrawn by the author.

Quantum Physics
On first case of Fermat's Last Theorem in the spirit of Kummer and Furtwangler

Roland Queme

DOI: https://doi.org/10.48550/arXiv.0903.2170

2009-03-12

Number Theory

Abstract:This paper has been withdrawn by the author [arXiv admin].
The Spectrum of the Grigoriev–Laurent Pseudomoments

Dmitriy Kunisky,Cristopher Moore

DOI: https://doi.org/10.1137/22m1511394

IF: 0.868

2024-01-07

SIAM Journal on Discrete Mathematics

Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 1, Page 103-131, March 2024. Grigoriev (2001) and Laurent (2003) independently showed that the sum-of-squares hierarchy of semidefinite programs does not exactly represent the hypercube [math] until degree at least [math] of the hierarchy. Laurent also observed that the pseudomoment matrices her proof constructs appear to have surprisingly simple and recursively structured spectra as [math] increases. While several new proofs of the Grigoriev–Laurent lower bound have since appeared, Laurent's observations have remained unproved. We give yet another, representation-theoretic proof of the lower bound, which also yields exact formulas for the eigenvalues of the Grigoriev–Laurent pseudomoments. Using these, we prove and elaborate on Laurent's observations. Our proof shows that the Grigoriev–Laurent pseudomoments are a special case of a Gram matrix construction of pseudomoments proposed by Bandeira and Kunisky (2020). In the course of the proof, we also find a new realization of the irreducible representations of the symmetric group corresponding to Young diagrams with two rows, as spaces of multivariate polynomials that are multiharmonic with respect to an equilateral simplex.

mathematics, applied
Essential normality of homogeneous submodules

Joerg Eschmeier

DOI: https://doi.org/10.48550/arXiv.0912.4182

2009-12-29

Abstract:This paper has been withdrawn by the author. There is an error on page 3 in the last inequality before Lemma 1.1.

Functional Analysis
Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

Heinrich Steinlein

DOI: https://doi.org/10.4169/amer.math.monthly.124.6.548

2017-06-01

Abstract:In recent years, several papers appeared on generalizations of Fermat's little theorem and the Gauss congruence to integer square matrices. We will give simple and intuitive proofs deriving these matrix versions from the corresponding number-theoretic results.

mathematics
Erratum to "Computation of maximal projection constants"

Giuliano Basso

2024-02-07

Abstract:This is an erratum to the article: "Computation of maximal projection constants" (J. Funct. Anal., 277). The statement of Lemma 3.1(2) of that paper is incorrect. As a consequence of this the proof of Theorem 1.4 is incomplete. In this erratum we prove a corrected version of Lemma 3.1 and explain why, with this weaker result, our original strategy for proving Theorem 1.4 no longer works. The other results of the article, in particular the alternative proof of Grünbaum's conjecture, do not depend on Lemma 3.1 and are thus not affected by this error.

Functional Analysis
Gröbner bases and final polynomials

Peter Lundgaard,Andreas Bøgh Poulsen

2024-05-25

Abstract:In [4] Sturmfels linked the Hilbert Nullstellensatz to Gröbner bases through final polynomials. In (loc. cit.) it was claimed that final polynomials always appear in a lexicographic Gröbner basis of a certain ideal. In this paper, we give a counterexample to this claim. We also show how the introduction of an extra variable restores the claim in a deformed setup, which we call extended final polynomials.

Commutative Algebra,Combinatorics
On a theorem of Lafforgue

Matthew Baker,Oliver Lorscheid

2023-09-11

Abstract:We give a new proof, along with some generalizations, of a folklore theorem (attributed to Laurent Lafforgue) that a rigid matroid (i.e., a matroid with indecomposable basis polytope) has only finitely many projective equivalence classes of representations over any given field.

Combinatorics,Algebraic Geometry
On a question of Blecher, Pisier, Shlyakhtenko

Roy Araiza,Marius Junge,Carlos Palazuelos

2024-07-25

Abstract:We show the failure of a matricial version of Grothendieck's theorem for operator spaces, thereby resolving a long-standing open question in the field. Moreover, by showing that such a counterexample can occur in the simplest context of commutative $C^*$-algebras, we address some other open questions in operator algebras. Our constructions, completely explicit and fairly simple, are inspired by some techniques in quantum information theory.

Operator Algebras
Unextendible Mutually Unbiased Bases (after Mandayam, Bandyopadhyay, Grassl and Wootters)

Koen Thas

DOI: https://doi.org/10.3390/e18110395

IF: 2.738

2016-11-11

Entropy

Abstract:We consider questions posed in a recent paper of Mandayam et al. (2014) on the nature of “unextendible mutually unbiased bases.” We describe a conceptual framework to study these questions, using a connection proved by the author in Thas (2009) between the set of nonidentity generalized Pauli operators on the Hilbert space of N d-level quantum systems, d a prime, and the geometry of non-degenerate alternating bilinear forms of rank N over finite fields F d . We then supply alternative and short proofs of results obtained in Mandayam et al. (2014), as well as new general bounds for the problems considered in loc. cit. In this setting, we also solve Conjecture 1 of Mandayam et al. (2014) and speculate on variations of this conjecture.

physics, multidisciplinary
On bases of certain Grothendieck groups, II

G. Lusztig

2023-11-01

Abstract:In previous papers the author introduced a new basis of the Grpthendieck group of unipotent representations of a finite Chevalley group. In type D the definition of this basis was stated without proof. In this paper we provide the missing proof.

Representation Theory

A Gröbner basis proof of the flat extension theorem for moment matrices

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"

Young's Inequality and Fermat's Last Theorem

Uniformization By Classical Schottky Groups

The FGF-conjecture for pseudocompact algebras

An exposition of Jordan's original proof of his theorem on finite subgroups of $\GL_n(\C)$

On the Matricial Truncated Moment Problem. II

On the theorem of Amitsur--Levitzki

Counterexamples for the convexity of certain matricial inequalities

The Teichmüller group is good

Note on Schmidt Decomposition in Infinite Dimensional Hilbert Spaces

On first case of Fermat's Last Theorem in the spirit of Kummer and Furtwangler

The Spectrum of the Grigoriev–Laurent Pseudomoments

Essential normality of homogeneous submodules

Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

Erratum to "Computation of maximal projection constants"

Gröbner bases and final polynomials

On a theorem of Lafforgue

On a question of Blecher, Pisier, Shlyakhtenko

Unextendible Mutually Unbiased Bases (after Mandayam, Bandyopadhyay, Grassl and Wootters)

On bases of certain Grothendieck groups, II