From 880f16b7f652ca3e2c1513849cfc1c14b6760c2e Mon Sep 17 00:00:00 2001
From: Yu Cong <sxlxcsxlxc@gmail.com>
Date: Wed, 11 Mar 2026 16:51:25 +0800
Subject: [PATCH] Update main.tex

---
 main.tex | 22 +++++-----------------
 1 file changed, 5 insertions(+), 17 deletions(-)

diff --git a/main.tex b/main.tex
index c3769b2..940223a 100644
--- a/main.tex
+++ b/main.tex
@@ -294,24 +294,12 @@ Given a hypergraph with $<k$ components, we can add at most $O(|V|)$ dummy hyper
 
 \autoref{thm:kcut} reduces minimum $k$-cut problem on hypergraphs to minimum $k$-cocycle on hypergraphic matroids. Now we try to apply the ideal base packing framework on hypergraphic matroids.
 
-\begin{lemma}
+\begin{conjecture}
 	Let $H$ be a parititon-connected hypergraph and let $M$ be the hypergraphic matroid on $H$.
-	There is a distribution $\mathcal D$ on $k$-cocycles such that for any base in the ideal base packing, the expected size of their intersection is at most $2k$.
-\end{lemma}
-\begin{proof}
-	Let flat $F\in \argmin_{F'\subset E}\frac{|E-F'|}{r(E)-r(F')}$ be the optimal set for matroid strength.
-	Each flat in $M$ induces a vertex partition $\mathcal P_F$ by its forest representation.
-	One can see that $|\mathcal P|=r(E)-r(F)+1$. Now we randomly pick $r(E)-r(F)+1-k$ parts and merge them into a new component.
-	Let $\mathcal P'$ be the resulting partition and let $B$ be any ideal base of $M$.
-	We have $e_B(\mathcal P)=r(E)-r(F)$ since $B$ is ideal. Now we count the expected number of $e_B(\mathcal P')$,
-	\[
-    	\begin{aligned}
-    		\E_{\mathcal D}[e_B(\mathcal P')] &\leq e_B(\mathcal P)\Pr[\text{a hyperedge is not contained in the new part}] \\
-					&\leq (r(E)-r(F))\cdot ???
-        \end{aligned}
-	\]
-	Note that the first inequality is because $\mathcal P'$ may induce a $\geq k$-cocycle, the second one ...
-\end{proof}
+	There is a distribution $\mathcal D$ on $k$-cocycles such that for any base in the ideal base packing, the expected size of their intersection is at most $\max\set{\gamma,2k}$.
+\end{conjecture}
+This is not true. Consider a hypergraph with $\gamma\in[h-k-1,h+1]$ and an ideal base that every inter-component hyperedge has size $\gamma$. One can see that $e_B(\mathcal Q)$ has an upperbound $h$.
+I think in general one cannot do better than $\gamma k$.
 
 \section{Greedy base packing}