Isospectral non-isometric lattices and methods of distinction
Notice bibliographique
Résumé
Two lattices are called isospectral if they share the same theta series (length spectra) and isometric if they differ by an isometry.Isometric lattices are always isospectral, but the converse is not necessarily true.Determining when isospectral implies isometric can be formulated in geometric (lattices), analytic (the Laplacian on flat tori), and number theoretic (quadratic forms) language.After establishing these three equivalent viewpoints in §2, we turn to examine the 2011 Cerviño-Hein proof of the 1992 Conway-Sloane conjecture in §3.This result constructs an infinite family of isospectral, non-isometric lattice pairs in four dimensions.The argument introduces a method of distinguishing isometry classes using spherical theta series.Finally, in §4 we turn to Jacobi forms and the Jacobi theta series-a generalization of the traditional theta series which encodes both length and angle information.After a concise introduction to the theory, we develop a method of distinguishing isometry classes using certain sets of Jacobi theta series. RésuméOn appelle deux réseaux isospectraux lorsqu'ils partagent la même série thêta (spectre des longueurs) et isométriques lorsqu'ils ne diffèrent que par une isométrie.Les réseaux isométriques sont toujours isospectraux, mais l'inverse n'est pas nécessairement vrai.Déterminer quand l'isospectralité implique l'isométrie peut se formuler dans les langages géométrique (réseaux), analytique (le Laplacien sur les tores plats) et arithmétique (formes quadratiques).Après avoir établi ces trois points de vue équivalents à la §2, nous examinons à la §3 la démonstration de 2011 de Cerviño-Hein de la conjecture de Conway-Sloane de 1992.Ce résultat construit une famille infinie de paires de réseaux isospectraux non isométriques en dimension quatre.L'argument introduit une méthode de distinction des classes d'isométrie fondée sur les séries thêta sphériques.Enfin, dans la §4, nous abordons les formes de Jacobi et la série thêta de Jacobi-une généralisation de la série thêta classique qui encode à la fois l'information de longueur et d'angle.Après une brève introduction à la théorie, nous développons une méthode de distinction des classes d'isométrie à l'aide de certains ensembles de séries thêta de Jacobi.
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction machine sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Le volet Gemma est une étiquette directe du modèle pour chaque travail de la base, lue sur la notice réduite au titre. Le volet Codex est un classifieur appris des 10 348 étiquettes directes de Codex et calibré sur les taux pondérés de l'échantillon; les champs sans appui suffisant ne portent aucun appel Codex. Le mode candidate est l'union des deux volets; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont pas des étiquettes humaines.
Scores du classifieur distillé par catégorie (deux têtes)
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,004 | 0,009 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,001 | 0,001 |
| Bibliométrie | 0,003 | 0,002 |
| Études des sciences et des technologies | 0,002 | 0,011 |
| Communication savante | 0,004 | 0,010 |
| Science ouverte | 0,002 | 0,005 |
| Intégrité de la recherche | 0,001 | 0,004 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,006 | 0,001 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule source (Gemma direct ou Codex distillé), pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».