{"id":"arxiv/2608.27416","url":"https://arxiv.org/abs/2608.27416","tags":["math.CO","cs.DM"],"score":0,"title":"Refutation of the Non-Cancelling Intersections Conjecture","domain":"math.CO","source":"arxiv","authors":["Hermann Wilhelm"],"reviews":0,"subject":"math.CO","summary":"The Non-Cancelling Intersections (NCI) conjecture of Amarilli, Monet and Suciu [arXiv:2401.16210] states that the union of a finite family of sets can always be built from its algebraically non-cancelling intersections using only disjoint unions and subset complements. In Wilhelm [arXiv:2608.19414] the conjecture was shown to fail when the witnessing dot-algebra expression is required to be left-linear. Here we remove that restriction and show that the conjecture is false in general: there is a finite lattice admitting no dot-algebra representation of its top element whatsoever. The…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-27","reactions":{}}