🔢 mathematics

Non-Archimedean Tarski-Maligranda Inequalities

This paper derives non-Archimedean versions of the Tarski-Maligranda inequalities, highlighting a surprising distinction between these results and their Archimedean counterparts.

Original authors: K. Mahesh Krishna

Published 2026-03-03

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: K. Mahesh Krishna

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Measuring Distances in Different Worlds

Imagine you are a cartographer trying to map the world. In our normal world (the Archimedean world), if you walk 5 miles north and then 3 miles south, you can calculate your exact distance from home using standard rules. You know that the distance between two points is straightforward, and if you add two distances together, the result is usually the sum of the parts.

However, mathematicians have discovered other "universes" (called Non-Archimedean spaces) where the rules of distance are weird. In these worlds, the "Triangle Inequality" (the rule that says the direct path is the shortest) is replaced by a "Ultrametric" rule: The longest side of a triangle is always equal to the longest of the other two sides.

Think of it like a family tree: If you are related to your cousin, and your cousin is related to your uncle, you are automatically related to your uncle. You don't need to add up the "distance" of relationships; the strongest connection defines the whole group.

The Story So Far: Tarski and Maligranda

1. The Original Discovery (Tarski, 1930):
A mathematician named Tarski noticed a perfect, magical equation for real numbers (our normal world). He found that if you take two numbers, $r$ and $s$ , the difference between their sizes ( $|r| - |s|$ ) is exactly equal to a specific combination of how far apart they are ( $|r-s|$ ) and how far apart they are if you flip one ( $|r+s|$ ).

Analogy: It's like finding a secret code where the gap between two people's heights is perfectly balanced by the sum of their "forward" and "backward" steps.

2. The Generalization (Maligranda, 2008):
Later, Maligranda asked, "Does this code work in every possible mathematical space?" He found that while the perfect equality breaks down in complex spaces, a rough inequality (a "good enough" rule) still holds true. He turned Tarski's perfect equation into a safety net that works everywhere in standard math.

The New Discovery: The "Surprising" Twist

This paper, by K. Mahesh Krishna, asks: "What happens if we take Maligranda's safety net and throw it into those weird, Non-Archimedean universes?"

The answer is surprising. The rules change drastically.

The Analogy of the "Magic 2"

In our normal world, if you double something, it gets twice as big. In these weird Non-Archimedean worlds, the number 2 behaves strangely.

Sometimes, $|2| = 1$ (it doesn't change the size).
Sometimes, $|2| = 0$ (it vanishes completely).

The author derives new inequalities for these spaces. The formulas look different because they have to account for this "Magic 2."

The Main Result:
In these weird spaces, the relationship between the sizes of two objects ( $x$ and $y$ ) and the distance between them is governed by a formula that involves dividing by this "Magic 2."

In our world: The gap between sizes is limited by the sum of the distances.
In the Non-Archimedean world: The gap is limited by a formula that looks like:
$\text{Gap} \leq \frac{2}{|2|} \times (\text{Max Distance}) - (\text{Total Size})$

If the "Magic 2" acts normally ( $|2|=1$ ), the formula simplifies to something familiar but slightly different. If the "Magic 2" acts weirdly, the whole equation shifts.

Why Does This Matter?

You might ask, "Who cares about weird number systems?"

Mathematical Consistency: It proves that even in these bizarre, counter-intuitive worlds, there are still logical patterns connecting how big things are and how far apart they are.
The "Surprise": The paper highlights that the difference between our normal world and these weird worlds isn't just a small tweak; it's a fundamental shift in how distances relate to sizes. The "surprising difference" mentioned in the abstract is that the simple, elegant equality Tarski found in 1930 completely shatters in these new worlds, requiring a much more complex (and strange) inequality to replace it.

Summary in One Sentence

Just as a map of Earth doesn't work on a flat map of a video game, this paper shows that the mathematical rules for measuring distance and size in our normal world break down in "Non-Archimedean" universes, requiring a brand new set of rules that account for the strange behavior of the number 2.

1. Problem Statement

The paper addresses the extension of classical inequalities related to the triangle inequality from real numbers and standard normed linear spaces (NLS) to non-Archimedean linear spaces (NALS).

Historical Context: In 1930, Alfred Tarski observed an exact equality for real numbers $r, s$ :
$||r| - |s|| = |r - s| + |r + s| - (|r| + |s|)$
In 2008, L. Maligranda generalized this observation into a set of inequalities valid for any normed linear space $X$ (where $\|\cdot\|$ denotes the norm).
The Gap: While Maligranda's inequalities hold for Archimedean spaces (like $\mathbb{R}$ or $\mathbb{C}$ ), the behavior of norms in non-Archimedean spaces is fundamentally different due to the ultra-triangle inequality ( $\|x+y\| \leq \max\{\|x\|, \|y\|\}$ ). The author seeks to derive the specific form of Tarski-Maligranda inequalities that hold in this non-Archimedean setting, noting that the results would likely differ significantly from the Archimedean case.

2. Methodology

The author employs algebraic manipulation and the specific properties of non-Archimedean valuations and norms to derive the new inequalities.

Definitions:
- Non-Archimedean Valuation: A map $|\cdot|: K \to [0, \infty)$ on a field $K$ satisfying the ultra-triangle inequality: $|\lambda + \mu| \leq \max\{|\lambda|, |\mu|\}$ .
- Non-Archimedean Norm: A map $\|\cdot\|: X \to [0, \infty)$ on a vector space $X$ over $K$ satisfying $\|x+y\| \leq \max\{\|x\|, \|y\|\}$ .
Key Mathematical Tools:
- Identity for Max/Min: The proof relies heavily on the identity relating the sum and difference of norms to their maximum and minimum:
  $\|x\| + \|y\| + ||\|x\| - \|y\|| = 2\max\{\|x\|, \|y\|\}$
  $\|x\| + \|y\| - ||\|x\| - \|y\|| = 2\min\{\|x\|, \|y\|\}$
- Ultra-norm Properties: The derivation utilizes the property that $\|2x\| = |2|\|x\|$ , where $|2|$ is the valuation of the scalar 2 in the field $K$ . In non-Archimedean fields, $|2|$ can be less than 1 (e.g., in $p$ -adic fields where $p=2$ ), which is a critical factor in the final inequalities.
- Triangle Inequality Application: The author applies the ultra-triangle inequality to expressions like $\|(x+y) + (x-y)\|$ and $\|(x+y) - (x-y)\|$ to bound terms involving $\|x\|$ and $\|y\|$ .

3. Key Contributions and Results

The primary contribution is the derivation of Theorem 2.1, which establishes the Non-Archimedean Tarski-Maligranda Inequalities.

The Main Theorem:
For a non-Archimedean linear space $X$ and vectors $x, y \in X$ :
$||\|x\| - \|y\|| \leq \frac{2}{|2|} \max\{\|x - y\|, \|x + y\|\} - (\|x\| + \|y\|)$
$\leq \frac{2}{|2|} \max\{\|x\|, \|y\|\} - (\|x\| + \|y\|)$

And the dual inequality:
$||\|x\| - \|y\|| \leq \|x\| + \|y\| - \frac{2}{|2|} \left| \|x + y\| - \|x - y\| \right|$

Special Case ( $|2| = 1$ ):
If the valuation of 2 is 1 (which occurs in many non-Archimedean fields, such as $\mathbb{Q}_p$ for odd primes $p$ ), the inequalities simplify to:
$||\|x\| - \|y\|| \leq 2 \max\{\|x - y\|, \|x + y\|\} - (\|x\| + \|y\|)$
$||\|x\| - \|y\|| \leq \|x\| + \|y\| - 2 \left| \|x + y\| - \|x - y\| \right|$

Comparison with Archimedean Case:
In the standard Archimedean case (Maligranda's result), the coefficient is effectively 1 (or the structure is direct without the $|2|$ scaling factor). In the non-Archimedean case, the factor $\frac{2}{|2|}$ appears. Since $|2| \leq 1$ in non-Archimedean valuations, this factor is $\geq 2$ , making the bounds potentially looser or structurally distinct compared to the real-number case.

4. Significance

Theoretical Depth: The paper highlights a "surprising difference" between Archimedean and non-Archimedean inequalities. It demonstrates that direct generalizations of classical norm inequalities often fail or require significant modification (specifically the introduction of the $|2|$ term) when moving to non-Archimedean geometry.
Unification: It successfully bridges Tarski's 1930 observation and Maligranda's 2008 generalization into the realm of non-Archimedean functional analysis, a field crucial for $p$ -adic analysis and mathematical physics.
Precision: The derivation provides exact bounds for the difference of norms in terms of the sum and difference of vectors, which is useful for stability analysis and fixed-point theory in non-Archimedean spaces.

In summary, the paper successfully adapts a classical real-analysis identity into the non-Archimedean framework, revealing that the valuation of the scalar 2 ( $|2|$ ) plays a pivotal role in determining the tightness and form of the resulting inequalities.