{"id":"arxiv/2608.14817","url":"https://arxiv.org/abs/2608.14817","tags":["math.FA","cs.CC"],"score":0,"title":"The König constant is one","domain":"math.FA","source":"arxiv","authors":["Xinyuan Xie","Haonan Zhang"],"reviews":0,"subject":"math.FA","summary":"For each $N\\geq1$, consider the normalized König bilinear form $B_{\\mathrm K}:L_\\infty(\\mathbb R^N)\\times L_\\infty(\\mathbb R^N)\\to\\mathbb R$ given by \\[ B_{\\mathrm K}(f,g):=\\frac{1}{(\\sqrt{2}π)^N} \\iint_{\\mathbb R^N\\times\\mathbb R^N} f(x)g(y)e^{-(\\lVert x\\rVert^2+\\lVert y\\rVert^2)/2} \\sin\\langle x,y\\rangle\\,\\mathrm d x\\,\\mathrm d y, \\] We define the König constant by \\[ \\mathfrak K_{\\mathrm K}:=\\sup_{N\\geq1}\\sup_{\\substack{f,g:\\mathbb R^N\\to\\{\\pm1\\}\\\\ f,g\\ \\mathrm{measurable}}}B_{\\mathrm K}(f,g). \\] The study of this bilinear form arose from efforts to determine the exact value of the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-14","reactions":{}}