English
Related papers

Related papers: An algebraic theory of Lojasiewicz exponents

200 papers

We establish a unified theoretical framework that connects classical orthogonal polynomial systems to matrix Lyapunov equations through the fundamental physics of energy dissipation in stochastic dynamical systems. Starting from the energy…

Optimization and Control · Mathematics 2025-06-19 Netzer Moriya

This article gives a summary of the author's Ph.D. dissertation (arXiv:1609.06297). In addition to an overview of notions and results, it also provides sketches of various proofs and simplified presentations of certain abstract results of…

Logic in Computer Science · Computer Science 2018-11-05 Abhisekh Sankaran

Integration-by-parts identities between loop integrals arise from the vanishing integration of total derivatives in dimensional regularization. Generic choices of total derivatives in the Baikov or parametric representations lead to…

High Energy Physics - Theory · Physics 2018-08-02 Janko Boehm , Alessandro Georgoudis , Kasper J. Larsen , Mathias Schulze , Yang Zhang

Modal probabilistic logics provide a framework for reasoning about probability in modal contexts, involving notions such as knowledge, belief, time, and action. In this paper, we study a particular family of these logics, extending the…

Logic in Computer Science · Computer Science 2025-12-01 Daniil Kozhemiachenko , Igor Sedlár

We give a complete description of the arboreal Galois representation of a certain postcritically finite cubic polynomial over a large class of number fields and for a large class of basepoints. This is the first such example that is not…

Number Theory · Mathematics 2017-12-22 Robert L. Benedetto , Xander Faber , Benjamin Hutz , Jamie Juul , Yu Yasufuku

In this paper we study higher level Deligne--Lusztig representations of reductive groups over discrete valuation rings, with finite residue field $\mathbb{F}_q$. In previous work we proved that, at even levels, these geometrically…

Representation Theory · Mathematics 2023-11-10 Zhe Chen , Alexander Stasinski

The technique of $Q$-polinomials are used to derive the $w$- constraints in the two-matrix and Kontsevich-like model at finite $N$. These constraints are closed and form Lie algebra. They are associated with the matrices, $\lambda…

High Energy Physics - Theory · Physics 2007-05-23 N. L. Khviengia

This paper outlines an energy-minimization finite-element approach to the modeling of equilibrium configurations for nematic liquid crystals in the presence of internal and external electric fields. The method targets minimization of system…

Computational Physics · Physics 2014-07-14 J. H. Adler , T. J. Atherton , T. R. Benson , D. B. Emerson , S. P. MacLachlan

The century old extremal problem, solved by Carath\'eodory and Fej\'er, concerns a nonnegative trigonometric polynomial normalized by a0 = 1, and the quantity to be maximized is the coefficient a1. In the complex exponential form, the…

Analysis of PDEs · Mathematics 2015-05-05 Sándor Krenedits , Szilárd Gy. Révész

In this paper, we present a new strategy to prove the convergence of deep learning architectures to a zero training (or even testing) loss by gradient flow. Our analysis is centered on the notion of Rayleigh quotients in order to prove…

Machine Learning · Computer Science 2023-01-20 David A. R. Robin , Kevin Scaman , Marc Lelarge

We present a survey of the theory of the Lyapunov Characteristic Exponents (LCEs) for dynamical systems, as well as of the numerical techniques developed for the computation of the maximal, of few and of all of them. After some historical…

Chaotic Dynamics · Physics 2010-03-24 Charalampos Skokos

We survey some of the mechanisms used to prove that naturally defined sequences in combinatorics are log-concave. Among these mechanisms are Alexandrov's inequality for mixed discriminants, the Alexandrov Fenchel inequality for mixed…

Combinatorics · Mathematics 2024-04-17 Alan Yan

The {\lambda}-exponential family has recently been proposed to generalize the exponential family. While the exponential family is well-understood and widely used, this it not the case of the {\lambda}-exponential family. However, many…

Statistics Theory · Mathematics 2024-06-21 Thomas Guilmeau , Emilie Chouzenoux , Víctor Elvira

After developing the basic theory of locally cartesian localizations of presentable locally cartesian closed infinity-categories, we establish the representability of equivalences and show that univalent families, in the sense of Voevodsky,…

Category Theory · Mathematics 2017-05-30 David Gepner , Joachim Kock

We study two notions of definability for classes of relational structures based on modal extensions of {\L}ukasiewicz finitely valued-logics. The main results of the paper are the equivalent of the Goldblatt - Thomason theorem for these…

Logic · Mathematics 2015-11-26 Bruno Teheux

Several fundamental problems that arise in optimization and computer science can be cast as follows: Given vectors $v_1,\ldots,v_m \in \mathbb{R}^d$ and a constraint family ${\cal B}\subseteq 2^{[m]}$, find a set $S \in \cal{B}$ that…

Data Structures and Algorithms · Computer Science 2018-07-24 Javad B. Ebrahimi , Damian Straszak , Nisheeth K. Vishnoi

General extensions of an inequality due to Rogozin, concerning the essential supremum of a convolution of probability density functions on the real line, are obtained. While a weak version of the inequality is proved in the very general…

Probability · Mathematics 2017-05-03 Mokshay Madiman , James Melbourne , Peng Xu

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

Symbolic Computation · Computer Science 2012-03-19 C. Baier , N. Bertrand , Ph. Schnoebelen

Potential algebras feature in the minimal model program and noncommutative resolution of singularities, and the important cases are when they are finite dimensional, or of linear growth. We develop techniques, involving Gr\"obner basis…

Rings and Algebras · Mathematics 2020-08-04 Natalia Iyudu , Agata Smoktunowicz

This paper studies homeomorphisms of surfaces isotopic to the identity by means of purely topological methods and Brouwer theory. The main development is a novel theory of orbit forcing using maximal isotopies and transverse foliations.…

Dynamical Systems · Mathematics 2017-11-09 Patrice Le Calvez , Fabio Armando Tal