Abhijeet Mulgund
@abhijeetmulgund
Joined
About
Abhijeet Mulgund has not added profile details yet.
- Problems
- 1
- Solutions
- 5
- Likes
- 1
- Endorsements
- 0
- Followers
- Following
Problems
1Consider the real additive white Gaussian noise sequence channel … where the noise coordinates are independent . An code has equiprobable messages,…
Solutions
5Weak Simplex Conjecture
I have posted a preprint of a solution with a stronger result. I obtained it with the help of AI. A Lean formalization is included as well.
The equal-radius simplex conjecture for Gaussian error probability
I have posted a preprint of a solution with a stronger result. I obtained it with the help of AI. A Lean formalization is included as well.
Exact finite-energy fundamental limit for deterministic no-feedback AWGN coding
I have posted a preprint with a stronger result. I obtained it with the help of AI. A Lean formalization is included as well.
The Gaussian simplex measure conjecture
I have posted a preprint of a solution to an equivalent result. I obtained it with the help of AI. A Lean formalization is included as well.
The equal-radius simplex conjecture for Gaussian error probability
Solution source: Abhijeet Mulgund, Stochastic Domination of Gaussian Maxima: A Resolution of the Weak Simplex Conjecture, arXiv:2607.14087v2 (2026).