arXiv++ Combinatorics

The Borell-Brascamp-Lieb inequality is a classical extension of the Prékopa-Leindler inequality, which in turn is a functional counterpart of the Brunn-Minkowski inequality. The stability of these inequalities has received significant attention in recent years. Despite substantial progress in the geometric setting, a sharp quantitative stability result for the Prékopa-Leindler inequality has remained elusive, even in the special case of log-concave functions. In this work, we provide a unified and definitive stability framework for these foundational inequalities. By establishing the optimal quantitative stability for the Borell-Brascamp-Lieb inequality in full generality, we resolve the conjectured sharp stability for the Prékopa-Leindler inequality as a particular case. Our approach builds on the recent sharp stability results for the Brunn-Minkowski inequality obtained by the authors.

We introduce Gårding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove that this geometric formulation is equivalent both to a reduction to the multi-affine setting via polarization and to a recursive criterion in terms of partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while preserving many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations have ultra log-concave coefficient sequences. The Gårding property for several matroid generating functions is preserved under natural matroid operations. As applications, we derive new negative dependence results for generating functions associated with various classes of matroids and graphs, including examples previously beyond the scope of real stability and Lorentzian methods. We further obtain analogous results for characteristic polynomials arising from certain matrix classes.

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.

We develop a constructive method for solving semilinear elliptic equations $Δu(x)=f(x,u(x))$ on locally finite, connected infinite graphs with layered structure. Using Eidelheit's theorem, we establish coupling criteria ensuring that arbitrary initial-layer data extend to global solutions for every $f$. We apply combinatorial criteria to prove solvability on leafless infinite trees, integer lattices, the triangular and hexagonal lattices, and a Cayley graph of the discrete Heisenberg group. We further establish solvability for a broad class of Cayley graphs of semidirect products $G\cong\mathbb Z\ltimes_θH$. In particular, $Δu=e^u$ has infinitely many solutions on $\mathbb Z^2$, but none of finite energy. We also extend the method to the bi-Laplacian under two-step coupling conditions, to the $p$-Laplacian under a unique-neighbor condition, and to magnetic Laplacians.

In this paper, we prove that for every integer $k\geq2$ and every $c>1$ sufficiently close to $1$, there is $κ>0$ such that every sufficiently large subset of $\{1,\ldots,N\}$ of density at least $(\log\log N)^{-κ}$ contains \[ x,\quad x+\lfloor n^c\rfloor,\quad x+\lfloor n^c\rfloor^2, \quad\ldots,\quad x+\lfloor n^c\rfloor^k. \] We also prove pointwise almost-everywhere convergence of the associated multiple ergodic averages.

In this note, we prove that, on weighted graphs, the Lin--Lu--Yau curvature coincides with the $p$-Ollivier curvature up to scaling whenever the idleness parameter $p\geq 1/2$. Moreover, the threshold $1/2$ is sharp. This extends an earlier result of Bourne et al. (Ollivier--Ricci idleness functions of graphs, SIAM J. Discrete Math., 32 (2018), no. 2, 1408-1424), where combinatorial graphs were considered. This observation yields a simple proof for the global existence and uniqueness of solutions of the Lin--Lu--Yau curvature flow in Bai et al. (Ollivier Ricci-flow on weighted graphs, Amer. J. Math. 146 (2024), 1723-1747).

We introduce ideal Gårding polynomials, a convexity-enhanced subclass of Gårding polynomials whose Gårding components are recursively convex under partial differentiation. This class strictly contains real stable polynomials and, after translation and homogenization, lies in the Lorentzian class. Our main result is that ideal Gårding polynomials still admit a robust structure theory despite this additional convexity: they are preserved under polarization, satisfy natural closure properties, and support a linear preserver theory. A key contribution of this paper is a universal model for univariate Gårding polynomials, described by monotone root sequences and equivalently by volume polynomials of Pitman--Stanley polytopes. We establish quotient concavity, and Newton--Maclaurin type inequalities, which leads to the polarization theorem, and suggests further connections with convex geometry and Lorentzian polynomials.

There is significant interest in the study of calculus on graphs, especially regarding the use of gradient-based methods for applications in data driven problems such as classification, clustering and regularisation for inverse problems. Geometric graphs, whose vertices are take from from a Euclidean domain and whose edge structure is determined by the distance between the nodes in the domain, have been central in theoretical studies. Typical approaches for analysis, such as studying consistency and the existence of continuum limits, rely on $Γ$-convergence. This technique has some limitations, as it requires the typical length scale which determines the connectivity structure of the graph to be much larger than the scales frequently used for applications. Moreover, it may fail to provide quantitative results. This paper provides necessary and sufficient conditions on the asymptotic behaviour of this length scale for the existence of a uniform collection of Sobolev inequalities on a sequence of geometric graphs. Furthermore, these inequalities hold when the length scales are much smaller than what is typically assumed for $Γ$-convergence results and within the range of what is used for data-driven problems. The Sobolev inequalities provide a quantitative estimate on the $L^q$-regularisation effect of discrete gradients.

In the first version of Chang, Slote, Volberg, and Zhang's paper \cite{BSA_of_PTF}, the authors modify a nice recursive approach due to Kane in \cite{Correct_exponent_for_AS} where he bounded the average sensitivity of polynomial threshold functions. In \cite{BSA_of_PTF} Kane's argument was adopted to estimate the boolean surface area of polynomial threshold function. The bridge is a combinatorial averaging lemma considering all balanced partitions. The lemma serves as a substitute for an additive property of average sensitivity. With the lemma, one can apply a Kane-type algorithm to derive a recurrence. Solving the recurrence then gives an upper bound of $e^{C_d \sqrt{\log n}}$ for the boolean surface area. In the second version of the same paper, the authors derive a polylog upper bound for BSA of PTFs. The difference is that they use a tail estimate for the sensitivity function. With the help of a polynomial restriction lemma in \cite{poly_restriction} they sharpen the upper bound. It is noteworthy that when applying the polynomial restriction, each coordinate is put into each part independently with equal probability. As a result, a partition does not necessarily have equal-size blocks. In other words, it may not be balanced. In this note, we first investigate the effect of different partitioning. Second, we use the recursive method in the first version to derive a polylog upper bound for $\mathbb E[s(x)^η]$ where $η< 1/2$. It is interesting to note the phase transition that happens at $η=1/2$ in both versions of the proof (but in a completely different form). Section 2.5 treats that.

This paper investigates the nonexistence of solutions to semilinear parabolic and hyperbolic inequalities with positive potentials on metric graphs, including both nonnegative solutions and sign-changing solutions. The Laplacian under consideration is of a nonstandard type, incorporating contributions from both the vertices and edges of the metric graph. We construct a new pseudo-metric and introduce suitable space-time test functions of either coupled or separated type. Under suitable weighted space-time volume growth conditions on the potential, we establish nonexistence results for very weak solutions. More precisely, we show that all such solutions to the inequality must be identically zero.

In this paper, we study the nonexistence of solutions to semilinear elliptic equations with a positive potential on metric graphs. In particular, the Laplacian under consideration is of a special type, related to both the vertices and edges of metric graphs. We construct a modified distance function, introduce appropriate test functions, and establish the nonexistence of global solutions under suitable volume growth conditions imposed on the potential. More precisely, the nonnegative solutions or sign-changing solutions to the equations are the trivial zero solutions.

Suppose $E, F$ are Borel sets in the plane, $\dim_{\mathcal{H}} E>1$, $\dim_{\mathcal{H}} E+\dim_{\mathcal{H}} F>2$, and $F$ has equal Hausdorff and packing dimension. We prove that there exists $y\in F$ such that the pinned distance set $$Δ_y(E):=\{|x-y|:x\in E\}$$ has positive Lebesgue measure. In particular, it settles the regular case of the distance set problem in the plane. The main ingredients of the proof consist of a multi-scale Good-Bad decomposition and a multi-scale Mizohata-Takeuchi-type estimate with arbitrary small power-loss.

We study scaling limits of exploding Abelian sandpiles using ideas from percolation and front propagation in random media. We establish sufficient conditions under which a limit shape exists and show via a family of counterexamples that convergence may not occur in general. A corollary of our proof is a simple criteria for determining if a sandpile is explosive; this strengthens a result of Fey, Levine, and Peres (2010).