Related papers: Invariant Means

A positive real interval, [a, b], can be partitioned into sub-intervals such that sub-interval widths divided by sub-interval "average" values remains constant. That both Arithmetic Mean and Geometric Mean "average" values produce constant…

We classify biharmonic and harmonic homomorphisms $f:(G,g_1)\rightarrow(G,g_2)$ where $G$ is a connected and simply connected three-dimensional unimodular Lie group and $g_1$ and $g_2$ are left invariant Riemannian metrics.

Musical chords, harmonies or melodies in Just Intonation have note frequencies which are described by a base frequency multiplied by rational numbers. For any local section, these notes can be converted to some base frequency multiplied by…

We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's…

In this paper we shall consider some famous means such as arithmetic, harmonic, geometric, root-square means, etc. Some new means recently studied are also presented. Different kinds of refinement of inequalities among these means are…

The classical theory of invariant means, which plays an important role in the theory of paradoxical decompositions, is based upon what are usually termed `pseudogroups'. Such pseudogroups are in fact concrete examples of the Boolean inverse…

We show that the sequence of dimensions of the linear spaces, generated by a given rank-metric code together with itself under several applications of a field automorphism, is an invariant for the whole equivalence class of the code. These…

In 2016 we proved that for every symmetric, repetition invariant and Jensen concave mean $\mathscr{M}$ the Kedlaya-type inequality $$ \mathscr{A}\big(x_1,\mathscr{M}(x_1,x_2),\ldots,\mathscr{M}(x_1,\ldots,x_n)\big)\le \mathscr{M} \big(x_1,…

We show that the standard Lorentz transformations admit an invariant mass (length) scale, such as the Planck scale. In other words, the frame independence of such scale is built-in within those transformations, and one does not need to…

Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the…

We construct a Hennings type logarithmic invariant for restricted quantum $\mathfrak{sl}(2)$ at a $2\mathsf{p}$-th root of unity. This quantum group $U$ is not braided, but factorizable. The invariant is defined for a pair: a 3-manifold $M$…

In this work we state conditions for a current Lie algebra $\g \otimes \mathcal{S}$ to admit an invariant metric, where $\g$ is a quadratic Lie algebra and $\mathcal{S}$ is an associative and commutative algebra with unit. We also consider…

This paper presents algebraic methods for the study of polynomial relative invariants, when the group G formed by the symmetries and relative symmetries is a compact Lie group. We deal with the case when the subgroup H of symmetries is…

Loop invariants are fundamental to reasoning about programs with loops. They establish properties about a given loop's behavior. When they additionally are inductive, they become useful for the task of formal verification that seeks to…

Let L be a finite extension of Q_p and d a positive integer. A conjecture, due to C. Breuil and P. Schneider, says that the existence of invariant norms on certain locally algebraic representations of GL_{d+1}(L) should be equivalent to the…

We consider three types of rings of supersymmetric polynomials: polynomial ones $\Lambda_{m,n}$, partially polynomial $\Lambda_{m,n}^{+y}$ and Laurent supersymmetric rings $\Lambda_{m,n}^{\pm}$. For each type of rings we give their…

Let A be an associative complex algebra and L an invariant linear functional on it (trace). Let i be an involutive antiautomorphism of A such that L(i(a))=L(a) for any a in A. Then A admits a symmetric invariant bilinear form (a, b)=L(a…

Let G be an LCA group and K a closed subgroup of G. A closed subspace of L^2(G) is called K-invariant if it is invariant under translations by elements of K. Assume now that H is a countable uniform lattice in G and M is any closed subgroup…

Given a rational homology 3-sphere M with the first integral homology of rank b and a link L inside M, colored by odd numbers, we construct a unified invariant I_{M,L} belonging to a modification of the Habiro ring where b is inverted. Our…

Bruinier, Funke, and Imamoglu have proved a formula for what can philosophically be called the "central $L$-value" of the modular $j$-invariant. Previously, this had been heuristically suggested by Zagier. Here, we interpret this…