Skip to main content
Dominic van der Zypen's user avatar
Dominic van der Zypen's user avatar
Dominic van der Zypen's user avatar
Dominic van der Zypen
  • Member for 14 years, 4 months
  • Last seen this week
awarded
comment
comment
$\omega\times\omega$-Hadamard matrices
@OscarLanzi I am not sure your argument works - see the comment here : mathoverflow.net/questions/477848/…
Loading…
revised
$\omega\times\omega$-Hadamard matrices
added 6 characters in body
Loading…
accepted
revised
$\omega\times\omega$-Hadamard matrices
added 73 characters in body
Loading…
comment
$\omega\times\omega$-Hadamard matrices
Thanks a lot Oscar! Actually it occurred to me that the most natural definition for approximately orthogonal would be: there is a global constant $C_0\in\omega$ such that $\big|\sum_{k=0}^n \big(f(n)g(n)\big)\big| < C_0$ for all $n\in\omega$. I think your example works with this as well
revised
$\omega\times\omega$-Hadamard matrices
the \limsup condition is non-sensical
Loading…
comment
$\omega\times\omega$-Hadamard matrices
Right, I have to remove $\lim\sup$. Thanks @Gro-Tsen
Loading…
comment
Maximizing the mutual Hamming distance in $\big[{\cal P}([n])\big]^n$
Thanks for this wonderful answer, Claude! I will wait with accepting for a few days, maybe some tighter bounds emerge.
comment
Maximizing the mutual Hamming distance in $\big[{\cal P}([n])\big]^n$
Excellent @ClaudeChaunier - I have just updated the hypothesis in the question above.
Loading…
comment
Maximizing the mutual Hamming distance in $\big[{\cal P}([n])\big]^n$
Thanks @ClaudeChaunier for the effort that you put into this!
Loading…
revised
Loading…
comment
1
3 4
5
6 7
228