arXiv AI By Koyar Afrasyab

Independence-System Realisations in Single-Source Unsplittable Flow

Read the original on arXiv AI →

The paper introduces a path‑closed framework for realizing independence systems via zero‑cost choices of primary terminals in directed acyclic flow instances, extending the triangle mechanism to all finite loopless independence systems. It shows that such systems, including all finite simple graphs and hypergraph independence systems without singleton forbidden hyperedges, admit polynomial‑size realizations measured by the incidence size of minimal forbidden sets. The authors further specialize to odd cycles, deriving a rational family that yields a fractional cheap‑selection vector violating the odd‑cycle inequality and establishing an exact additive‑congestion threshold that approaches 1/2 for large cycles.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

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
arXiv AI
Jul 14

Instruction Set and Language for Hypergraphs

arXiv:2607. 10194v1 Announce Type: cross Abstract: We present IsalHG, a method for representing the structure of any finite, connected hypergraph of bounded hyperedge arity as a string over a compact instruction alphabet $\Sigma_{\mathrm{HG}}$.

By Mario Pascual-Gonzalez, Ezequiel Lopez-Rubio