It’s not hard to check that the determinant of my \(C(j,n)\) matrices is:
\[1+(j^2+4 j n+4 n^2)(1+\omega+\omega^2) = 1\]
Also, the trace can be written as:
\[\left(j+\frac{3 n}{2}\right)^2+\frac{3 n^2}{4}+2 \gt 0\]
Greg Egan /
npub12c…gd38p
2024-04-24 10:30:25
in reply to nevent1q…tq8j
Author Public Key
npub12cuzzqzv8e8y7na77a9zv47mx2v6pec60qs5h7takzmv5p0mw0fsmgd38pPublished at
2024-04-24 10:30:25Event JSON
{
"id": "8db55d2efe35f0a7ae36f62a1bd49445b9e28303b8defe8ca345a547bb59b233",
"pubkey": "563821004c3e4e4f4fbef74a2657db3299a0e71a78214bf97db0b6ca05fb73d3",
"created_at": 1713954625,
"kind": 1,
"tags": [
[
"p",
"563821004c3e4e4f4fbef74a2657db3299a0e71a78214bf97db0b6ca05fb73d3"
],
[
"p",
"2db431c8bab241109ce32e5b373c722c601c136c4ad4eb847478105046a16dc9"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@gregeganSF/112325730309085828",
"web"
],
[
"e",
"f6229c8b793bfee46a674f42534461cb9760b976045fe98c6307ba61711fc2fe",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"a0fe3adfa5b44c8a0ccfe849a144a5c6b1c80e25a3a79f7b2a57ceb762bae0a3",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/users/gregeganSF/statuses/112325730309085828",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/gregeganSF/statuses/112325730309085828",
"pink.momostr"
],
[
"-"
]
],
"content": "It’s not hard to check that the determinant of my \\(C(j,n)\\) matrices is:\n\n\\[1+(j^2+4 j n+4 n^2)(1+\\omega+\\omega^2) = 1\\]\n\nAlso, the trace can be written as:\n\n\\[\\left(j+\\frac{3 n}{2}\\right)^2+\\frac{3 n^2}{4}+2 \\gt 0\\]",
"sig": "8201415863814cdee758bf4fdcb7f627dba912b0976a4bcc1d3ea810b4bd733ac6cb081399e69b41317849a1d0bbc1e853d3f644a648c87f88674380e871ca86"
}