Nikol Savova

papers

• 2026 Verification and conjectures for log-concavity of Bruhat intervals in Weyl groups exhaustive computational verification of Brenti’s conjecture across eight Weyl group types (repo)
• 2026 A right Bregman–Chebyshev set with nonconvex gradient image a counterexample settling two open problems from Bauschke, Macklem & Wang’s survey (repo)
• 2026 Point sets with few convex subsets Erdős problem 838, improving the known upper bound from 1 to 1/2 (repo)
• 2026 An explicit exponent for distance-Sidon subsets Erdős problem 1208, making explicit a bound previously proved without one (repo)

All four grew out of Proof Hunter. Each repo has the code, checks, and working notes behind its claims.