Jineon Baek

collaborators

3 papers

math.CO2026

A Computational Obstruction to Swapping Area and Dinv: An Automata-Theoretic View of the $q, t$ -Catalan Symmetry

Jineon Baek, Byung-Hak Hwang, Joonhyun La +1

Algebraic combinatorics often seeks bijections that explain identities between distributions object by object. Encoding combinatorial objects as words lets automata theory study su…

math.OC2026

Sum-of-Squares Certificates for Copositive Matrices via Recursive Identities: The de Klerk-Pasechnik Conjecture and Hoffman--Pereira Matrices

Jineon Baek, Luis Felipe Vargas

We establish the conjecture by de Klerk and Pasechnik (2002), claiming that the semidefinite bounds $ϑ^{(r)} (G) (r \geq 0)$ for the stability number $α (G)$ are exact at $r=α(…

math.CO2024

A note on the Erdős conjecture about square packing

Jineon Baek, Junnosuke Koizumi, Takahiro Ueoro

Let $f (n)$ denote the maximum total length of the sides of $n$ squares packed inside a unit square. Erdős conjectured that $f (k^{2} + 1) = k$ . We show that the conjecture is true if we a…

A Computational Obstruction to Swapping Area and Dinv: An Automata-Theoretic View of the q,t-Catalan Symmetry

Sum-of-Squares Certificates for Copositive Matrices via Recursive Identities: The de Klerk-Pasechnik Conjecture and Hoffman--Pereira Matrices

A note on the Erdős conjecture about square packing

A Computational Obstruction to Swapping Area and Dinv: An Automata-Theoretic View of the $q, t$ -Catalan Symmetry