arXiv AI

Improved lower bounds for the Shannon capacity of odd cycles

arXiv:2607. 21517v1 Announce Type: cross Abstract: The Shannon capacity $\Theta(G)$ of a graph $G$ quantifies the maximum rate at which information can be transmitted with zero error over a noisy channel.

Hugging Face Trending Papers
Aug 3

Optimal Unambiguous DNFs and Alon-Saks-Seymour

We construct unambiguous DNFs having width $O(n)$ but $0$-certificate complexity $Ω(n^2)$. By utilizing the special structure of these DNFs, we prove a lifting theorem with a constant-sized gadget that lifts the DNF to a communication problem, while losslessly translating the separation in certificate complexity to a separation in communication complexity.

arXiv Machine Learning
Sep 21

The Binary Tree Mechanism is Optimal for Differentially Private Continual Counting

arXiv:2607. 00876v3 Announce Type: replace-cross Abstract: Private continual counting is a fundamental problem in differential privacy: given a binary stream of length $n$, where each $1$ corresponds to the contribution of one individual, the goal is to release all running counts while protecting the privacy of each individual.

By Konstantina Bairaktari, Markus Engelund Dahl, Kasper Green Larsen
arXiv Machine Learning
Sep 25

An Exposition of GPT Astra's Proof of Lower Bound on DP Continual Counting

The note provides a detailed proof of Astra’s lower bound for differentially private continual counting, building on recent work by Harrison and Leeman. It discusses earlier results, including a Ω(√{3}√{log(n)}) bound by Bairaktari and Larsen and their subsequent Ω(log^2(n)) bound for pure differential privacy. The authors aim to offer a more natural and accessible proof, hoping to aid further research in the area.

By Jalaj Upadhyay
arXiv AI
Jul 28

Formalizing Flag Algebras in Lean

arXiv:2607. 23500v1 Announce Type: cross Abstract: Razborov's flag algebra method is a powerful tool for proving asymptotic inequalities in extremal graph theory, often reducing the task to finding a finite certificate by semidefinite programming.

By Gyeongwon Jeong, Seonghun Park, Jihoon Hyun, Sang-il Oum, Hongseok Yang