Related papers: On computing joint invariants of vector fields
The famous Hadwiger theorem classifies all rigid motion invariant continuous valuations on convex sets as linear conbinations of quermassintegrals. We prove much more general result. We classify continuous valuations which are invariant…
In this article, we give an account of some recent irreducibility testing criteria for polynomials having integer coefficients over the field of rational numbers.
In this paper we introduce the concept of $\mathit{integral}$ $\mathit{Frobenius}$ to formulate an integral analogue of the classical compatibility condition linking the collection of rational Tate modules $V_\lambda(A)$ arising from…
The reconstruction theorem and the multilevel Schauder estimate have central roles in the analytic theory of regularity structures [17]. Inspired by [26], we provide elementary proofs for them by using the semigroup of operators.…
In this article, we continue our study of 'Frobenius structures' and symplectic spectral invariants in the context of symplectic spinors. By studying the case of $C^1$-small Hamiltonian mappings on symplectic manifolds $M$ admitting a…
Recently Takens' Reconstruction Theorem was studied in the complex analytic setting by Forn{\ae}ss and Peters \cite{FP}. They studied the real orbits of complex polynomials, and proved that for non-exceptional polynomials ergodic properties…
We employ an isometry group invariants approach to study Killing tensors of valence three defined in the Euclidean plane. The corresponding invariants are found to be homogeneous polynomials of the parameters of the vector space of the…
Quantum nonrelativistic systems with $2\times2$ matrix potentials are investigated. Physically, they simulate charged or neutral fermions with non-trivial dipole momenta, interacting with an external electric field. Assuming rotationally…
This paper focuses on representations of contractively embedded invariant subspaces in several variables. We present a version of the de Branges theorem for $n$-tuples of multiplication operators by the coordinate functions on analytic…
We describe and prove correctness of two practical algorithms for finding indecomposable summands of finitely generated modules over a finitely generated k-algebra R. The first algorithm applies in the (multi)graded case, which enables the…
By analyzing degeneracy loci over projectivized vector bundles, we recompute the degree of the discriminant locus of a vector bundle and provide a new proof of the Bogomolov instability theorem.
We introduce the notion of r-defectivity for a vector bundle on a quasi-projective variety. Using this tool, we prove several previously unknown cases of Fr\"oberg's conjecture and also of the postulation problem for fat point schemes. Our…
The analysis of observable phenomena (for instance, in biology or physics) allows the detection of dynamical behaviors and, conversely, starting from a desired behavior allows the design of objects exhibiting that behavior in engineering.…
We present algorithms for the group independent reduction of group theory factors of Feynman diagrams. We also give formulas and values for a large number of group invariants in which the group theory factors are expressed. This includes…
Kronecker's Theorem and Rabin's Theorem are fundamental results about computable fields F and the decidability of the set of irreducible polynomials over F. We adapt these theorems to the setting of differential fields K, with constrained…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
We prove a general version of the classical Perron-Frobenius convergence property for reducible matrices. We then apply this result to reducible substitutions and use it to produce limit frequencies for factors and hence invariant measures…
Recently, there has been considerable progress on designing algorithms with provable guarantees -- typically using linear algebraic methods -- for parameter learning in latent variable models. But designing provable algorithms for inference…
A construction theorem for Frobenius manifolds with logarithmic poles is established. This is a generalization of a theorem of Hertling and Manin. As an application we prove a generalization of the reconstruction theorem of Kontsevich and…
In arXiv:1709.07504 Aguiar and Ardila give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on…