{"id":"arxiv/2609.38284","url":"https://arxiv.org/abs/2609.38284","tags":["math.CO"],"score":0,"title":"Counterexamples to Aigner's majorization conjecture for star-forest search","domain":"math.CO","source":"arxiv","authors":["Fedor Karpelevitch"],"reviews":0,"subject":"math.CO","summary":"In adaptive quantitative group testing with exactly two defective items, each test reports how many defectives lie in a chosen subset. We study configurations in which the possible defective pairs form the edges of a star forest. Aigner proved a necessary majorization condition on the ordered star sizes for identifying the defective pair within a prescribed number of tests, and conjectured that this condition was sufficient. We disprove the conjecture by an explicit six-test counterexample and give an analytic family of counterexamples for every test budget $k\\ge6$. The obstruction uses two…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}