arXiv subjects

Yijia Fang

Publications and source records attributed to Yijia Fang.

5 recordsLinked to original sources

arXiv2026

On cancellative pairs of families of subsets

A pair $(\mathcal{A}, \mathcal{B})$ of families of subsets of $[n]$ is cancellative if whenever $A, A' \in \mathcal{A}, B \in \mathcal{B}$ satisfy $A \cup B=A' \cup B$, then $A=A'$, and whenever $A \in \mathcal{A}, B, B' \in \mathcal{B}$ satisfy $A \cup B=A \cup B'$, then $B=B'$. We show that for every cancellative pair $(\mathcal{A}, \mathcal{B})$, the inequality $|\mathcal{A}||\mathcal{B}| \le 2.25^n$ holds, matching Tolhuizen's $(2.25-o(1))^n$ lower bound construction.

math.CO↗

arXiv2026

Maximizing directed cycles in tournaments

Determining the combinatorial structures that maximize the number of prescribed substructures is a central theme in extremal combinatorics. Grzesik, Kr\'al', Lov\'asz and Volec showed that when $\ell$ is not divisible by $4$, the random tournament contains asymptotically the most directed cycles of length $\ell$ among all $n$-vertex tournaments. In the paper, we resolve the remaining cases where $\ell$ is divisible by $4$. We show that, in this regime, the so-called carousel tournament asymptotically maximizes the number of directed $\ell$-cycles among all $n$-vertex tournaments, and in particular contains strictly more such cycles than the random tournament. This confirms the conjecture of Bartley and Day.

math.CO↗

arXiv2026

KBF: Knowledge Boundary as Fingerprint for Language Model and Black-Box API Auditing

Relay and reseller APIs increasingly intermediate access to large language models (LLMs), but users have no direct way to verify that a claimed endpoint is actually serving the advertised model. We introduce KBF, a low-cost black-box auditing protocol that fingerprints model APIs using stable numerical recall near the knowledge boundary. Across 16 production LLM endpoints, KBF flags all 155 economically relevant substitutions without rejecting any same-model controls, remains stable under deployment variation, detects high-separation mixed-routing attacks when only 5-10% of traffic is substituted, and finds that 7 of 27 platform model cells in a six-platform shadow API audit are statistically inconsistent with their reference endpoints, with inconsistencies concentrated on premium Claude endpoints.

cs.CR↗

arXiv2025

VC-Dimension vs Degree: An uncertainty principle for Boolean functions

We prove a support--shattering uncertainty principle for functions on the Boolean cube. Let $\mathbb{F}$ be any field and let $f:\{0,1\}^n\to\mathbb{F}$ be nonzero. If $x^S$ is a maximum-degree monomial in the multilinear representation of $f$, then $\mathrm{supp}(f)$ shatters $S^c$. Consequently, \[ \mathrm{VC}(\mathrm{supp}(f))+\mathrm{deg}_{\mathbb{F}}(f)\ge n . \] For Boolean-valued functions this yields both the real-degree and algebraic-degree forms of the inequality. We derive several consequences. The real Fourier support of a nonzero Boolean function satisfies \[ \mathrm{VC}(\mathrm{Spec}(f))\ge \mathrm{deg}_{\mathbb{F}_2}(f), \qquad \mathrm{VC}(\mathrm{supp}(f))+\mathrm{VC}(\mathrm{Spec}(f))\ge n . \] The same principle gives a low-degree-obstruction proof of the Sauer--Shelah lemma and a product-space analogue based on the Efron--Stein decomposition, recovering the Karpovsky--Milman multivalued Sauer lemma. We also obtain polynomial-method applications, including an arbitrary-field Sziklai--Weiner lower bound and a shattering theorem for null designs, and discuss sharpness and equality examples.

math.CO↗

arXiv2025

Canonical Ramsey: triangles, rectangles and beyond

In a seminal work, Cheng and Xu showed that if $S$ is a square or a triangle with a certain property, then for every positive integer $r$ there exists $n_0(S)$ independent of $r$ such that every $r$-coloring of $\mathbb{E}^n$ with $n\ge n_0(S)$ contains a monochromatic or a rainbow congruent copy of $S$. Geh\'{e}r, Sagdeev, and T\'{o}th formalized this dimension independence as the canonical Ramsey property and proved it for all hypercubes, thereby covering rectangles whose squared aspect ratio $(a/b)^2$ is rational. They asked whether this property holds for all triangles and for all rectangles. (1) We resolve both questions. More precisely, for triangles we confirm the property in $\mathbb{E}^4$ by developing a novel rotation-sphereical chaining argument. For rectangles, we introduce a structural reduction to product configurations of bounded color complexity, enabling the use of the simplex Ramsey theorem together with product Ramsey theorem. (2) Beyond this, we develop a concise perturbation framework based on an iterative embedding coupled with the Frankl-R\"{o}dl simplex super-Ramsey theorem, which yields the canonical Ramsey property for a natural class of 3-dimensional simplices and also furnishes an alternative proof for triangles.

math.CO↗