Multivariable Vandermonde determinants, amalgams of matrices and Specht modules
Pith reviewed 2026-05-09 23:08 UTC · model grok-4.3
The pith
Amalgamated matrices yield determinant formulae expressing multivariable Vandermonde determinants as sums of simpler Vandermonde terms.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Matrices formed by amalgamating entries from two smaller matrices have determinants given by two different formulae. These formulae imply that multivariable Vandermonde determinants equal a sum over certain terms, each of which factors completely as a Vandermonde determinant involving a subset of the variables.
What carries the argument
Matrix amalgamation, the operation that constructs a new matrix by selecting and arranging entries from two given smaller matrices, whose determinant is then determined via Specht module theory.
If this is right
- Multivariable Vandermonde determinants admit a decomposition as a sum of Vandermonde determinants in fewer variables.
- Each term in the sum for the multivariable determinant factors completely.
- The transfinite diameter is multiplicative for products of compact sets.
- Two independent formulae exist for computing the determinants of amalgamated matrices.
Where Pith is reading between the lines
- The technique may lead to similar decompositions for other multivariate polynomials or resultants.
- It highlights a link between linear algebra constructions and the combinatorics of partitions.
Load-bearing premise
The structure of Specht modules determines the determinants of the amalgamated matrices without any additional obstructions arising from the way the matrices are combined.
What would settle it
An explicit calculation of the determinant for a small amalgamated matrix, for example with two variables from one matrix and three from another, that fails to match the sum of the corresponding Vandermonde determinants would disprove the formulae.
read the original abstract
Using results of Fayers on the structure of Specht modules, we prove two different formulae for the determinant of matrices which are obtained by amalgamating the entries of two smaller matrices. In particular, this gives formulae for multivariable Vandermonde determinants as a sum of completely factorising terms, each of which is a Vandermonde determinant in fewer variables. As an application, we deduce an elementary proof of the multiplicativity of the transfinite diameter for products of compact sets.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to use results of Fayers on the structure of Specht modules to prove two formulae for the determinant of matrices formed by amalgamating entries from two smaller matrices. In particular, this yields expressions for multivariable Vandermonde determinants as sums of completely factorizing terms (each a Vandermonde determinant in fewer variables). As an application, an elementary proof is given for the multiplicativity of the transfinite diameter on products of compact sets.
Significance. If the transfer of Specht module structure to the amalgamated matrices is rigorously justified, the work supplies a representation-theoretic route to classical determinant identities and their multivariable extensions. This could unify combinatorial factorizations with Young symmetrizer techniques and provide new tools for related problems in algebraic combinatorics and potential analysis applications.
major comments (2)
- [Construction of amalgamated matrices and Specht module correspondence (leading to the two main determinant theorems)] The central derivation maps the amalgamated matrix to a Specht module whose determinant is read off from Fayers' known composition factors or filtration. An explicit isomorphism (or filtration-preserving map) between the module realized by the amalgamated matrix and the standard Specht module S^λ must be constructed, verifying that the row and column stabilizers, Young symmetrizers, and basis elements after amalgamation coincide with those in Fayers' setting without extra relations or characteristic-dependent obstructions. This step is load-bearing for both determinant formulae.
- [Application to multivariable Vandermonde determinants] The claimed factorization of the multivariable Vandermonde determinant into a sum of products of smaller Vandermondes follows directly from the amalgamated determinant formula. If the module isomorphism in the preceding step is not fully verified, the factorization identity does not necessarily hold for arbitrary variable sets or partitions.
minor comments (1)
- [Introduction and notation] Define the precise notion of matrix amalgamation (including how entries are combined and how the resulting matrix size and indexing are determined) at the outset, before invoking the Specht module correspondence.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for highlighting the need to strengthen the justification of the Specht module correspondence. We agree that this is a load-bearing step and will incorporate explicit constructions and verifications in the revised version. Our point-by-point responses follow.
read point-by-point responses
-
Referee: [Construction of amalgamated matrices and Specht module correspondence (leading to the two main determinant theorems)] The central derivation maps the amalgamated matrix to a Specht module whose determinant is read off from Fayers' known composition factors or filtration. An explicit isomorphism (or filtration-preserving map) between the module realized by the amalgamated matrix and the standard Specht module S^λ must be constructed, verifying that the row and column stabilizers, Young symmetrizers, and basis elements after amalgamation coincide with those in Fayers' setting without extra relations or characteristic-dependent obstructions. This step is load-bearing for both determinant formulae.
Authors: We agree that an explicit isomorphism is required for rigor. The amalgamation is defined so that the rows of the resulting matrix are obtained by applying the Young symmetrizer to the concatenated basis vectors from the two smaller matrices, which by construction matches the standard basis of S^λ. In the revision we will add a new subsection that defines the linear map φ sending each standard polytabloid to the corresponding amalgamated row vector and verifies that φ intertwines the actions of the row stabilizer R_λ and column stabilizer C_λ. We will also check that the Young symmetrizer y_λ produces identical linear combinations in both realizations. All arguments are carried out over a field of characteristic zero, as assumed throughout the paper, thereby excluding characteristic-dependent obstructions and extra relations. With this addition the application of Fayers' results on composition factors becomes fully justified. revision: yes
-
Referee: [Application to multivariable Vandermonde determinants] The claimed factorization of the multivariable Vandermonde determinant into a sum of products of smaller Vandermondes follows directly from the amalgamated determinant formula. If the module isomorphism in the preceding step is not fully verified, the factorization identity does not necessarily hold for arbitrary variable sets or partitions.
Authors: With the explicit isomorphism now supplied, the factorization identity is obtained by substituting the Vandermonde-type entries into the two amalgamated determinant formulae. Each term in the resulting sum is then a product of ordinary Vandermonde determinants on disjoint subsets of the variables, corresponding to the blocks of the partition. Because the module isomorphism is independent of the specific numerical values of the variables (provided they remain distinct), the identity holds for arbitrary distinct variable sets and for all partitions to which the amalgamation applies. We will insert a short clarifying paragraph after the statement of the Vandermonde corollary to record this independence. revision: yes
Circularity Check
No circularity: derivation applies external Fayers results to amalgamated matrices
full rationale
The paper's central step is an application of Fayers' independent theorems on Specht module structure (composition factors and filtrations for partitions over positive characteristic) to the specific amalgamated matrices arising from the Vandermonde construction. The abstract states the proof proceeds by mapping the amalgam to a Specht module and extracting the determinant from the known basis or filtration; this mapping is presented as a direct combinatorial identification rather than a self-definition or parameter fit. No equations or steps in the provided text reduce the claimed determinant formulae to the input data by construction, nor is there load-bearing self-citation (Fayers is a distinct author). The resulting sum-of-Vandermondes expression for multivariable determinants therefore rests on external representation-theoretic input and is not forced by renaming or tautological re-expression of the original matrix entries.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Fayers' results on the structure of Specht modules
Reference graph
Works this paper leans on
-
[1]
On the multivariate transfinite diameter
Thomas Bloom and Jean-Paul Calvi. On the multivariate transfinite diameter. Ann. Polon. Math. , 72(3):285--305, 1999
work page 1999
-
[2]
Transfinite diameter notions in C^N and integrals of V andermonde determinants
Thomas Bloom and Norman Levenberg. Transfinite diameter notions in C^N and integrals of V andermonde determinants. Ark. Mat. , 48(1):17--40, 2010
work page 2010
-
[3]
Tropicalization and irreducibility of generalized V andermonde determinants
Carlos D'Andrea and Luis Felipe Tabera. Tropicalization and irreducibility of generalized V andermonde determinants. Proc. Amer. Math. Soc. , 137(11):3647--3656, 2009
work page 2009
-
[4]
On certain multivariate vandermonde determinants whose variables separate
Stefano De Marchi and Konstantin Usevich. On certain multivariate vandermonde determinants whose variables separate. Linear Algebra and its Applications , 449:17--27, 2014
work page 2014
-
[5]
On the structure of S pecht modules
Matthew Fayers. On the structure of S pecht modules. J. London Math. Soc. (2) , 67(1):85--102, 2003
work page 2003
-
[6]
G. D. James. The representation theory of the symmetric groups , volume 682 of Lecture Notes in Mathematics . Springer, Berlin, 1978
work page 1978
-
[7]
On the smallest singular value of multivariate V andermonde matrices with clustered nodes
Stefan Kunis and Dominik Nagel. On the smallest singular value of multivariate V andermonde matrices with clustered nodes. Linear Algebra Appl. , 604:1--20, 2020
work page 2020
-
[8]
C. Krattenthaler. Advanced determinant calculus. volume 42, pages Art. B42q, 67. 1999. The Andrews Festschrift (Maratea, 1998)
work page 1999
-
[9]
C. Krattenthaler. Advanced determinant calculus: a complement. Linear Algebra Appl. , 411:68--166, 2005
work page 2005
-
[10]
On toric codes and multivariate V andermonde matrices
John Little and Ryan Schwarz. On toric codes and multivariate V andermonde matrices. Appl. Algebra Engrg. Comm. Comput. , 18(4):349--367, 2007
work page 2007
-
[11]
Peter J. Olver. On multivariate interpolation. Studies in Applied Mathematics , 116(2):201--240, 2006
work page 2006
-
[12]
M. Schiffer and J. Siciak. Transfinite diameter and analytic continuation of functions of two complex variables. In Studies in mathematical analysis and related topics , pages 341--358. Stanford University Press, 1962
work page 1962
-
[13]
V. P. Zaharjuta. Transfinite diameter, C eby s ev constants and capacity for a compactum in C n . Mat. Sb. (N.S.) , pages 374--389, 503, 1975
work page 1975
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.