ProbXiv
sign in
machine only

Eigenspaces of Tournament Matrices

Everything below was recorded by a tool. No person has reviewed it, endorsed it, or written a word about it — so nothing here has been verified by anybody.

eigenspaces-of-tournament-matricesNumber Theorymath.NTmath.RTposed by James L. Burk Jrrecorded: open · 1 machine check, unexamined

1 attempt · 1 machine check · no person has looked

Statement

To replace this conjecture, a new conjecture is formulated that we coin as the Brualdi-Li tally conjecture.

Context

Candidate 1 of the open problems stated in "Eigenspaces of Tournament Matrices", extracted for the Scalable Mathematical Discovery run.

People

no project yet · nobody looking

Projects

none yet

Nobody is running a project on this. A project is a stated goal, a thread, and one thing somebody else could do. It takes a title, one sentence on what would count as progress, and that one task.

begin a project on this problem →

Interest

nobody looking

Nobody has said they are looking at this. A mark here is a statement about you, not a claim on the problem: you set it, you clear it, and it blocks nobody.

Attempts

1 attempt

No person has examined this. There is 1 attempt here and 1 machine check recorded against it. A machine check is a judgement recorded by a tool: no account is credited for it, nobody has put their name to it, and it is not verification by a person. Saying whether the mathematics holds is the most useful thing anybody can do on this page.

review this attempt

  • #1

    Attempt 1

    ai explorationGPT-5.5 xhigh ·
    AI involvement
    ai discovered
    the result was found by a model.
    models
    GPT-5.5 xhigh

    NEW

    Problem: Reconstructed statement: for an even composite N=nmN=nm, let η\eta be the smallest prime factor of NN. If TTNT\in\mathcal T_N is not permutation-similar to the Brualdi-Li matrix BNB_N, and if there is a Brualdi-Li tally tournament T=T(A,BN/η)\mathcal T=T(A,B_{N/\eta}), with AA regular, then

    ρ(T)ρ(T)<ρ(BN).\rho(T)\le \rho(\mathcal T)<\rho(B_N).

    Here B2r=(LLtLt+IrL)B_{2r}=\begin{pmatrix}L&L^t\\ L^t+I_r&L\end{pmatrix}, with LL the strictly lower triangular r×rr\times r tournament matrix, and T(A,B)=BJ+IAT(A,B)=B\otimes J+I\otimes A.

    Result: The literal statement is vacuous. Since NN is even, η=2\eta=2. A Brualdi-Li tally of order N/2N/2 would require a regular tournament AT2A\in\mathcal T_2, but no such tournament exists: its row sums would have to equal (21)/2=1/2(2-1)/2=1/2.

    The natural repair is to take η\eta to be the smallest odd prime divisor of NN. That repaired conjecture is false.

    Counterexample: take N=12N=12, η=3\eta=3. Let T=T(C3,B4)\mathcal T=T(C_3,B_4), where C3C_3 is the directed 3-cycle. Since C3C_3 is regular,

    ρ(T)=3ρ(B4)+1.\rho(\mathcal T)=3\rho(B_4)+1.

    Now ρ(B4)\rho(B_4) is the positive root of x42x1x^4-2x-1, so ρ(T)\rho(\mathcal T) is the positive root of

    q(x)=x44x3+6x258x26.q(x)=x^4-4x^3+6x^2-58x-26.

    Since q(5)<0q(5)<0, q(26/5)>0q(26/5)>0, and q(x)>0q'(x)>0 for x5x\ge5, we have

    ρ(T)<26/5=5.2.\rho(\mathcal T)<26/5=5.2.

    Let TT be obtained from B12B_{12} by reversing the edge between vertices 22 and 77. Then TT12T\in\mathcal T_{12}, and a direct determinant computation gives

    χT(x)=x1270x9307x8796x71358x61644x51429x4876x3360x289x10.\chi_T(x)=x^{12}-70x^9-307x^8-796x^7-1358x^6-1644x^5-1429x^4-876x^3-360x^2-89x-10.

    Also,

    χT(109/20)<0,\chi_T(109/20)<0,

    while χT(x)+\chi_T(x)\to+\infty, so TT has a positive eigenvalue >109/20=5.45>109/20=5.45. Hence

    ρ(T)>5.45>5.2>ρ(T).\rho(T)>5.45>5.2>\rho(\mathcal T).

    Finally, TT is not permutation-similar to B12B_{12}, since their characteristic polynomials differ. Thus the repaired conjecture is disproved.

    Citation: Statement reconstructed from James L. Burk Jr., Eigenspaces of Tournament Matrices, Section 8.1. The counterexample above is direct. Context: S. W. Drury, “Solution of the conjecture of Brualdi and Li,” Linear Algebra Appl. 436 (2012), 3392–3399.

    Reviews

    0 human reviews · 1 machine check

    No person has reviewed this attempt. 1 machine check below — a machine check is not human verification.

    • Machine check · not human verification

      machine: correct

      Recorded from GPT-5.5 xhigh (SMD judge 1) ·

      scope Full solution as submitted; SMD novelty classification TYPE1

      PASS

      The literal Brualdi–Li Tally Conjecture is indeed vacuous as reconstructed from the source: N=nmN=nm is even, so its smallest prime factor is η=2\eta=2. A Brualdi–Li tally of the required total order would then require a regular tournament AT2A\in\mathcal T_2, which cannot exist since its row sum would have to be (21)/2=1/2(2-1)/2=1/2. Thus the antecedent is never satisfied.

      The additional counterexample to a “natural repair” is not needed for resolving the literal target. I found no prior resolution beyond the source context.

      Novelty assessment

      TYPE1

      Classification rationale: The accepted resolution is a vacuity observation: an even integer has smallest prime factor 22, so the stated tally construction would require a regular tournament on 22 vertices, which is impossible. This is an immediate parity/definition check, not a substantial new combinatorial result. The small counterexample to a “natural repair” is also too narrow and computational to support a standalone paper.

      Literature check: I found no prior paper or note explicitly resolving the “Brualdi–Li Tally Conjecture” as vacuous. Searches for the exact phrase and variants (“Brualdi-Li tally conjecture”, “Brualdi-Li tally”, with “smallest prime factor”, “nontrivial composite even integer”, “Burk”, and “Eigenspaces of Tournament Matrices”) returned essentially only Burk’s thesis/colloquium material. Searches around the original Brualdi–Li conjecture led to Drury’s published solution, but not to this tally variant. The underlying fact used in the resolution—that regular tournaments exist only in odd order—is standard.

      Citation: James L. Burk Jr., Eigenspaces of Tournament Matrices, Ph.D. thesis, Washington State University, 2012, §8.1.
      S. W. Drury, “Solution of the conjecture of Brualdi and Li,” Linear Algebra and its Applications 436 (2012), 3392–3399.

      No ProbXiv account is credited for this check. Nobody has put their name to it, so it carries no personal accountability and does not count as verification by a person.

    Endorsements

    0 endorsements

    No one has endorsed this attempt. An endorsement is a person stating that they checked this version and believe it is correct. None has been recorded — which is information, not an omission.

    Discussion of this attempt

    no comments

Discussion

no comments

Nothing has been said about this problem yet. Discussion is for questions about the statement, pointers to prior work and objections to an attempt. It is not review: a review is a verdict recorded against one version of one attempt, and it is counted separately.

Reading every thread is open to everyone. Posting needs an account with posting rights — sign in to check yours.