Symmetry of biconstrained ψ function

AX_bipartite_concatenation_psi_symmetry

Source: arXiv:1902.10878 — Concatenating bipartite graphs

Open Question — symmetry of $\psi$ (biconstrained case) · arXiv:1902.10878

arXiv Question medium confidence— first stated 2020-12-07

Authors: Maria Chudnovsky, Patrick Hompe, Alex Scott, Paul Seymour, Sophie Spirkl

Status ai-disproved high confidence

An explicit family gives ψ(2/7,5/7) ≤ 23/28 < 6/7 = ψ(5/7,2/7).

Auto-reviewed 2026-08-31 with gpt-5.6-sol.

AI-generated write-up ai-disproved

Open the PDF write-up

This is a model-generated research artifact, not a peer-reviewed publication or a formally verified proof.

Question. Does $\psi(x, y) = \psi(y, x)$ hold for all $x, y \in (0, 1]$?

Context

The authors prove Theorem 2.3: $\phi(x,y) = \phi(y,x)$ for all $x,y \in (0,1]$, via a linear-programming argument. They remark immediately after that they have been unable to establish the analogous symmetry for the biconstrained function $\psi$, even though they have no counterexample.

Notes. Stated as a prose remark following Theorem 2.3: 'we have not been able to prove an analogue of 2.3 for the biconstrained case, or for the exact case, although we have no counterexample for either one.' No labelled theorem environment.

Source paper

Concatenating bipartite graphs
Maria Chudnovsky, Patrick Hompe, Alex Scott, Paul Seymour, Sophie Spirkl · 2020-12-07
https://arxiv.org/abs/1902.10878 PDF source