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.
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
Projects
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.
Interest
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
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.
NEW
Problem: Reconstructed statement: for an even composite , let be the smallest prime factor of . If is not permutation-similar to the Brualdi-Li matrix , and if there is a Brualdi-Li tally tournament , with regular, then
Here , with the strictly lower triangular tournament matrix, and .
Result: The literal statement is vacuous. Since is even, . A Brualdi-Li tally of order would require a regular tournament , but no such tournament exists: its row sums would have to equal .
The natural repair is to take to be the smallest odd prime divisor of . That repaired conjecture is false.
Counterexample: take , . Let , where is the directed 3-cycle. Since is regular,
Now is the positive root of , so is the positive root of
Since , , and for , we have
Let be obtained from by reversing the edge between vertices and . Then , and a direct determinant computation gives
Also,
while , so has a positive eigenvalue . Hence
Finally, is not permutation-similar to , 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 checkNo person has reviewed this attempt. 1 machine check below — a machine check is not human verification.
Machine check · not human verification
machine: correctscope Full solution as submitted; SMD novelty classification TYPE1
PASS
The literal Brualdi–Li Tally Conjecture is indeed vacuous as reconstructed from the source: is even, so its smallest prime factor is . A Brualdi–Li tally of the required total order would then require a regular tournament , which cannot exist since its row sum would have to be . 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 , so the stated tally construction would require a regular tournament on 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 endorsementsNo 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
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.