Related papers: A note on "The Cartan-Hadamard conjecture and the …

The generalized Cartan-Hadamard conjecture says that if $\Omega$ is a domain with fixed volume in a complete, simply connected Riemannian $n$-manifold $M$ with sectional curvature $K \le \kappa \le 0$, then the boundary of $\Omega$ has the…

We revisit Haiman's conjecture on the relations between characters of Kazdhan-Lusztig basis elements of the Hecke algebra over the symmetric group. The conjecture asserts that, for purposes of character evaluation, any Kazhdan-Lusztig basis…

The arithmetic fundamental lemma conjecture of the third author connects the derivative of an orbital integral on a symmetric space with an intersection number on a formal moduli space of $p$-divisible groups of Picard type. It arises in…

We present some results about the irreducible representations appearing in the exterior algebra $\Lambda \mathfrak{g}$, where $ \mathfrak{g}$ is a simple Lie algebra over $\mathbb{C}$. For Lie algebras of type $B$, $C$ or $D$ we prove that…

In 1998, Lin presented a conjecture on a class of ternary sequences with ideal 2-level autocorrelation in his Ph.D thesis. Those sequences have a very simple structure, i.e., their trace representation has two trace monomial terms. In this…

Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of lemmas in automated theorem proving. The paper describes experiments with a combined system involving learning technology that generates…

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindel\"of lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover…

In this study, Firstly, we will write two new convex functions for $-1<n-\alpha \leq 1\ $and two new lemmas. Then we will find the relevance of the two new lemmas to Caputo-left-sided derivatives under additional conditions and draw…

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…

There is a surprising occurrence of some minus signs in the isomorphisms produced in the well-known technique of dimension shifting in calculating derived functors in homological algebra. We explicitly determine these signs. Getting these…

The subject of these Notes is the new proof, proposed in [F. H{\'e}lein, In{\'e}galit{\'e} isop{\'e}rim{\'e}trique et calibrations, Annales de l'Institut Fourier 44, 4 (1994), 1211-1218] of the classical isoperimetric inequality in the…

We show that Connes' embedding conjecture on von Neumann algebras is equivalent to the existence of certain algebraic certificates for a polynomial in noncommuting variables to satisfy the following nonnegativity condition: The trace is…

For the exceptional finite-dimensional modular Lie superalgebras $\mathfrak{g}(A)$ with indecomposable Cartan matrix $A$, and their simple subquotients, we computed non-isomorphic Lie superalgebras constituting the homologies of the odd…

We generalize the classical Hardy and Faber-Krahn inequalities to arbitrary functions on a convex body $\Omega \subset \mathbb{R}^n$, not necessarily vanishing on the boundary $\partial \Omega$. This reduces the study of the Neumann…

We consider the Laplacian and its fractional powers of order less than one on the complement $\mathbb{R}^d\setminus\Sigma$ of a given compact set $\Sigma\subset \mathbb{R}^d$ of zero Lebesgue measure. Depending on the size of $\Sigma$, the…

We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…

In this paper, two sequences of minimal isoparametric hypersurfaces are constructed via representations of Clifford algebras. Based on these, we give estimates on eigenvalues of the Laplacian of the focal submanifolds of isoparametric…

We provide an isoperimetric comparison theorem for small volumes in an $n$-dimensional Riemannian manifold $(M^n,g)$ with strong bounded geometry, as in Definition $2.3$, involving the scalar curvature function. Namely in strong bounded…

We propose a proof for conjectures of Langlands, Shelstad and Waldspurger known as the fundamental lemma for Lie algebras and the non-standard fundamental lemma. The proof is based on a study of the decomposition of the l-adic cohomology of…

We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\mathcal{D}_{h}$. In fact, we prove that every sublattice of any hyperarithmetic lattice…