arXiv++ Combinatorics

Essentially non-oscillatory (ENO) reconstruction provides a key mechanism for designing high-order entropy-stable schemes for hyperbolic conservation laws, with its sign property ensuring nonnegative local dissipation for a prescribed entropy. However, two fundamental questions concerning convergence remain open: whether this dissipation provides the coercivity required for weak-BV compactness, as posited by the ENO--TV conjecture, and whether entropy stability transfers from the prescribed entropy pair to additional pairs. This paper resolves the ENO--TV conjecture by establishing a sharp parity dichotomy: it holds if and only if the reconstruction order $k=2$ or $k$ is odd, and fails for all even orders $k\ge 4$.The key to our proof is a localization principle that eliminates dependence on nonlinear adaptive stencil selection, establishing a two-sided equivalence between ENO dissipation and a canonical finite-difference functional. For odd orders, the conjecture is proved via a hidden quadratic energy and novel discrete Gagliardo--Nirenberg inequalities. For even orders $k\ge 4$, ENO null modes, on which ENO dissipation vanishes, yield counterexamples that disprove the conjecture. This dichotomy extends to quasi-uniform meshes, but for every $k\ge 2$, the conjecture can fail on non-quasi-uniform meshes. Addressing the above second open question, we discover on ENO null modes that local entropy transfer is governed by the first cohomology of a unipotent shift. Using apolar duality and binary covariants, we compute the dimensions of the associated cohomology subspaces and prove that smooth local entropy transfer encounters generic obstructions for every $k\ge 4$. By revealing how ENO null modes link global coercivity and local entropy compatibility, this work provides a structural foundation for the compactness and convergence analysis of high-order entropy-stable discretizations.

Let $M$ be a simple matroid and let $B(M)$ be the graded Möbius algebra of its lattice of flats. The ordered-basis weights of flats define an inner product for which the adjoints of atom multiplication become ordinary coordinate derivatives under the basis-polynomial realization. From this, we construct a canonical global lowering operator $D_β$ which acts as ordinary differentiation on a canonical ``radial'' copy of a truncated polynomial algebra. Allowing both $D_β$ and the coordinate derivatives to act produces a graded cyclic module with Hilbert series \[ H_{β,M}(q)=\sum_{k=0}^r h_k^β(M)q^k. \] We give examples of matroids with the same Derksen $\mathcal G$-invariant and the same classical apolar Hilbert series but different $H_β$. Hence $H_β$ cannot be the restriction to simple matroids of a valuative matroid invariant. We conjecture that $H_β$ is log-concave and top-heavy in differential degree. For the generalized theta family containing Larson's counterexample to Whitney log-concavity, we compute the first four coefficients and prove the critical log-concavity inequality. Exact computation verifies both conjectures for all $950$ simple matroids on eight elements.

We study the problem of classifying the lines of the projective $3$-space $PG(3,q)$ over a finite field $GF(q)$ into orbits of the group $G=PGL(2,q)$ of linear symmetries of the twisted cubic $C$. A generic line neither intersects $C$ nor lies in any of its osculating planes. While the non-generic lines have been classified into $G$-orbits in literature, it has been an open problem to classify the generic lines into $G$-orbits. For a general field $F$ of characteristic different from $2$ and $3$, the twisted cubic determines a symplectic polarity on $\mathbb P^3$. In the Klein representation of lines of $\mathbb P^3$, the tangent lines of $C$ are represented by a degree $4$ rational normal curve in a hyperplane $\mathcal H$ of the second exterior power $\mathbb P^5$ of $\mathbb P^3$. Atiyah studied the lines of $\mathbb P^3$ with respect to $C$, in terms of the geometries of these two curves. Polar duality of lines on $\mathbb P^3$ corresponds to Hodge duality on $\mathbb P^5$, and $\mathcal H$ is the hyperplane of Hodge self-dual elements of $\mathbb P^5$. We show that $\mathcal H$ can be identified in a $PGL_2$-equivariant way with the space of binary quartic forms over $F$, and that pairs of polar dual lines of $\mathbb P^3$ correspond to binary quartic forms whose apolar invariant is a square. We first solve the open problem of classifying binary quartic forms over $GF(q)$ into $G$-orbits, and then use it to solve the main problem.

The goal of this paper is to solve the conjecture stated in a paper of Mezzetti, Miró-Roig, Ottaviani and classify all smooth minimal monomial Togliatti systems of cubics. More precisely, we classify all minimal monomial artinian ideals generated by cubics, failing the weak Lefschetz property and whose apolar cubic system defines a smooth toric variety or, equivalently, we classify all minimal monomial artinian ideals generated by cubics whose apolar cubic system defines a smooth toric variety satisfying at least a Laplace equation of order 2.