Gaussian Products and an Order Dichotomy for Principal Ideals
Abstract
We identify the algebraic principal ideal generated by a Gaussian product of two Hilbert--Schmidt operators. Its deterministic generator is obtained by multiplying the square tails of their singular-value sequences; in a fixed diagonal basis, one probability-one event gives the identity for all decreasing square-summable weights. For the induced operation on principal ideals, we prove an order dichotomy for arbitrary families of strictly positive probes. A family jointly determines every inclusion if and only if its tail stable-rank profiles have no common eventual upper bound. Equivalently, each prescribed countable input system admits one probe from that family reflecting all inclusions. If the condition fails, one common fibre contains a copy of π«(β)/Fin preserving finite sums and intersections. Its generators are continuously parametrized and arbitrarily close in Hilbert--Schmidt norm, while their deterministic output ratios tend to one at any prescribed rate. The order dichotomy follows from a bound on all probes that lose one noninclusion and a separated block construction under a scalar tail budget. Further consequences include generic separation under every positive summable envelope and exact cardinal thresholds for joint detection and single-probe separation.
Related
- The Waldschmidt constant of square-free principal Borel ideals
- Ramification ideals for products of pure subgroups
- Free products, principal sums, bipartition complete matroids and the linking operation (β³SP β¨ β³PQ) Γ (S uplus Q)
- Optimal and minimal p-ary linear codes from generalized order ideals of hierarchical posets
- Research on Asymptotic Behavior of a Class of Second-Order Impulsive Differential Equations Based on Principal and Nonprincipal Solutions
BibTeX
@misc{zhao2026gaussian,
title = {{Gaussian Products and an Order Dichotomy for Principal Ideals}},
author = {Guangqian Zhao},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.03495},
eprint = {2611.03495},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.03495},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Gaussian Products and an Order Dichotomy for Principal Ideals
AU - Guangqian Zhao
PY - 2026
DA - 2026/11/02
PB - arXiv
DO - 10.48550/arxiv.2611.03495
UR - https://arxiv.org/abs/2611.03495
AB - We identify the algebraic principal ideal generated by a Gaussian product of two Hilbert--Schmidt operators. Its deterministic generator is obtained by multiplying the square tails of their singular-value sequences; in a fixed diagonal basis, one probability-one event gives the identity for all decreasing square-summable weights. For the induced operation on principal ideals, we prove an order dichotomy for arbitrary families of strictly positive probes. A family jointly determines every inclusion if and only if its tail stable-rank profiles have no common eventual upper bound. Equivalently, each prescribed countable input system admits one probe from that family reflecting all inclusions. If the condition fails, one common fibre contains a copy of π«(β)/Fin preserving finite sums and intersections. Its generators are continuously parametrized and arbitrarily close in Hilbert--Schmidt norm, while their deterministic output ratios tend to one at any prescribed rate. The order dichotomy follows from a bound on all probes that lose one noninclusion and a separated block construction under a scalar tail budget. Further consequences include generic separation under every positive summable envelope and exact cardinal thresholds for joint detection and single-probe separation.
ER -