2025/12/24 by Papri Dey, Dey, Papri
Mathematics · #15A48 #34D20 #49J40 #52A41 #90C22 #90C33 #Dynamical Systems (math.DS) #FOS: Electrical engineering #FOS: Mathematics #Markov Chains and Monte Carlo Methods #Optimization and Control (math.OC) #Point processes and geometric inequalities #Random Matrices and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · doi:10.48550/arxiv.2512.21266
openalex publication_date 2025/12/24 · openalex created_date 2025/12/26 · openalex updated_date 2026/07/28
Lorentzian and completely log-concave polynomials have recently emerged as a unifying framework for negative dependence, log-concavity, and convexity in combinatorics and probability. We extend this theory to variational analysis and cone-constrained dynamics by studying K-Lorentzian and K-completely log-concave polynomials over a proper convex cone K⊂ℝn. For a K-Lorentzian form f and v\inintK, we define an open cone K^∘(f,v) and a closed cone K(f,v) via directional derivatives along v, recovering the usual hyperbolicity cone when f is hyperbolic. We prove that K^∘(f,v) is a proper cone and equals intK(f,v). If f is K(f,v)-Lorentzian, then K(f,v) is convex and maximal among convex cones on which f is Lorentzian. Using the Rayleigh matrix Mf(x)=∇ f(x)∇ f(x)T - f(x)∇2 f(x), we obtain cone-restricted Rayleigh inequalities and show that two-direction Rayleigh inequalities on K are equivalent to an acuteness condition for the bilinear form vT Mf(x) w. This yields a cone-restricted negative-dependence interpretation linking the curvature of log f to covariance properties of associated Gibbs measures. For determinantal generating polynomials, we identify the intersection of the hyperbolicity cone with the nonnegative orthant as the classical semipositive cone, and we extend this construction to general proper cones via K-semipositive cones. Finally, for linear evolution variational inequality (LEVI) systems, we show that if q(x)=xT A x is (strictly) K-Lorentzian, then A is (strictly) K-copositive and yields Lyapunov (semi-)stability on K, giving new Lyapunov criteria for cone-constrained dynamics.