🔢 mathematics

On non-symmetric $t$ -convexity

本論文は、任意の $x \le y$ に対して $f\left(\frac{x+2y}{3}\right) \le \frac{f(x)+2f(y)}{3}$ を満たす関数 $f: \mathbb{R} \to \mathbb{R}$ は必ず中点凸（midconvex）であることを証明することにより、ゾルト・パーレシュ（Zsolt Páles）によって提起された問題を解決するものである。

原著者： Paolo Leonetti

公開日 2026-08-04

📖 1 分で読めます🧠 じっくり読む

CC0 1.0

原著者： Paolo Leonetti

原論文は CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) のもとパブリックドメインに提供されています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

「曲げ方」のルールが、見る方向によってわずかに異なる世界を想像してみてください。関数解析と呼ばれる数学の分野では、科学者たちは「関数」を研究しています。関数とは、数を受け取り、数を出力する機械のようなものです。この機械には「凸性（convexity）」と呼ばれる古典的なルールがあります。関数を曲線として捉えると、凸曲線はスマイルマークやボウルのような形をしており、任意の2点間を結ぶ直線よりも下に沈み込むことがありません。これが「中点」のルールです。つまり、2点を選んだとき、曲線のちょうど真ん中の地点は、それらをつなぐ直線の中点よりも低い位置になければなりません。

では、もしルールを変えたらどうなるでしょうか？もし真ん中を確認するのではなく、片側から1/3の位置、もう片側から2/3の位置にある地点を確認するとしたら？これは「t-凸性（t-convexity）」と呼ばれます。「t」は単にその特定の分数を表すための、少し凝った文字に過ぎません。ここでひねりが加わります。通常、数学のルールは数字をどのような順序で置いても適用されます。しかし、この特定の数学の領域では、研究者たちはトリッキーな問いを投げかけました。「もし、小さい方の数字を先に、大きい方の数字を後に置いた場合にのみ、ルールが成立するとしたらどうなるか？」これが「非対称（non-symmetric）」な凸性です。それは、ボウルが左から右へと見たときにはボウルの形をしているように見えても、右から左へと見たときには奇妙な形になってもよい、というようなものです。長い間、数学者たちは、関数がこの「一方通行」のルールに従いながら、なぜ真の「双方向」の凸曲線にはならないのか、という問題に頭を悩ませてきました。

この論文の中で、数学者のパオロ・レオネッティは、このパズルの特定の部分に取り組んでいます。彼は、「t」の値がちょうど1/3であるケースに焦点を当てています。ゾルト・パーレスによって提起された問いは、問うのは簡単ですが答えるのが難しいものでした。「1/3の地点において『一方通行』のルールに従うが、『双方向』のルールには従わない関数は存在するのか？」言い換えれば、「非対称1/3-凸」でありながら、「1/3-凸」（この特定のケースでは「中点凸」と同じ）ではない関数は存在するのでしょうか？

レオネッティの答えは、決定的な「ノー」です。彼は、もし関数が1/3の地点における一方通行のルールに従うならば、数学の法則によって、その関数は双方向のルールに従わざるを得なくなることを証明しました。抜け穴はありません。関数が逸脱することは不可能なのです。

彼がどのようにこれを証明したかを理解するために、関数を2点間に張られた柔軟なゴムバンドだと想像してみてください。「非対称」のルールとは、もし左側から右側へと引っ張る場合、1/3の地点でバンドを引いたとしても、バンドは一定の線より下に留まっていなければならない、というものです。レオネッティは、もし一方通行のルールに従いながら、反対側から見たときに間違った方向に曲がるようなゴムバンドを作ろうとすれば、数学的に破綻することを示しました。バンドの張力を維持することが不可能になるのです。

この証明はドミノ倒しのように進みます。レオネッティは、そのような「逸脱する」関数が存在すると仮定することから始めます。次に、彼は関数を引き伸ばしたり縮めたりするという巧妙な数学的トリックを使い、ゼロに限りなく近づいていく点列を作り出します。もしその関数が逸脱しているならば、これらの地点における値は、いかなる実数よりも速く、無限に大きくなければならないことを彼は示します。それは、バケツに水を注ぐたびにバケツが小さくなっていくのに、水の量は倍増していく、という状況に似ています。最終的に、そのバケツは無限の量の水を保持しなければならなくなり、それは不可能です。仮定が不可能性を導くため、「逸脱する」関数は存在し得ないのです。

この論文は1/3で止まりません。この「逸脱しない」ルールは、1/4、1/5、1/6といった他の分数についても成り立つことを示唆しています。実際、著者はこのルールが成立する数の集合が「稠密（ちゅうみつ）」であること、つまり、0と1の間でランダムに数を選んだとしても、その数に非常に近いところでルールが成立する数を見つけることができることを示しています。しかし、まだ未解決の謎が残っています。この論文は、このルールが「代数的数（根や分数を含む特定の種類の数）」のすべてに対して成り立つのか、あるいは、逸脱する関数が隠れているかもしれない、もっとトリッキーな数がまだ存在するのかという問いを、未解決のまま残しています。とはいえ、現時点では、1/3という特定のケースについては、扉は閉ざされています。非対称な凸性は、単に通常の凸性が姿を変えたものに過ぎないのです。

技術要約：非対称 $t$ -凸性について

問題提起
本論文は、実数値関数における非対称 $t$ -凸性と標準的な $t$ -凸性の関係に関する特定の問いを扱っている。実関数 $f: \mathbb{R} \to \mathbb{R}$ は、
$f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)$
が $x \leq y$ に対して成立するとき、「非対称 $t$ -凸」であると定義される。もしこの不等式がすべての $x, y \in \mathbb{R}$ に対して成立する場合、その関数は単に「 $t$ -凸」と呼ばれる。

固定された $t \in (0, 1)$ に対して、非対称 $t$ -アフィン関数は必ず $t$ -アフィンであることが既知の結果として存在する。しかし、LewickiとOlbryśは、 $t$ が超越数である場合には凸性に関するこの含意が成立しないことを示しており、非対称な $t$ -凸関数であって $t$ -凸ではないものを構成した。これにより、特定の有理数の値における問題が未解決のまま残された。具体的には、Zsolt Pálesは、 $t = 1/3$ のときに非対称 $t$ -凸関数が存在して $t$ -凸ではないかという問題を提起した。 $1/3$ -凸性は、有理数のパラメータの文脈において中点凸性（1/2-凸性）と等価であるため、この問いは「非対称 $1/3$ -凸性は中点凸性を意味するか」という問いと同義である。

手法
著者であるPaolo Leonettiは、非対称 $t$ -凸性と対称 $t$ -凸性の同値性に関する一般的な基準を確立するために、関数不等式のアプローチを用いている。

一般基準 (Proposition 2.1): 証明の核となるのは、固定された $t \in (0, 1/2)$ に対し、定数 $C > 1-t$ 、順序付けられたペアの有限集合 $\{(u_i, v_i)\}$ （ただし $u_i \leq v_i$ ）、非負の係数 $\mu_i$ 、および実数 $\eta$ が存在し、「欠陥（defect）」汎関数 $J_{t,\phi}$ の特定の線形結合が関数の値の特定の線形結合に等しいとき、すべての非対称 $t$ -凸関数は $t$ -凸である、という命題である。
欠陥汎関数は $J_{t,\phi}(u, v) = t\phi(u) + (1-t)\phi(v) - \phi(tu + (1-t)v)$ と定義される。
背理法と反復: 非対称 $t$ -凸であるが $t$ -凸ではない関数 $f$ が存在すると仮定することで、著者は（アフィン変換を介して） $F(0)=F(1)=0$ かつ $F(t) > 0$ となる補助関数 $F$ を構成する。この関数のスケーリングされたバージョンに一般基準を適用することで、数列 $G_n = f(t^{n+1}) - tf(t^n)$ に関する漸化式を導出する。
証明は、 $C > 1-t$ という条件の下で、数列 $G_n$ が幾何級数的に増大することを示し、その結果、特定の負の点における関数の値が無限大にならざるを得ないという矛盾（これは実数値関数としては不可能である）を導き出す。
$t=1/3$ に対する明示的な構成: $t=1/3$ のケースに一般基準を適用するために、著者は必要なパラメータを明示的に構成している。
- $C = 8/3$
- $\eta = 10/9$
- 3つの点のペア: $(1/9, 4/9), (0, 2/3), (0, 1)$
- 係数: $\mu_1 = 3, \mu_2 = 2, \mu_3 = 4/3$
  著者は、これらのパラメータを用いた $J_{1/3, \phi}$ 項の線形結合が要求される恒等式を与えることを検証し、それによってProposition 2.1の条件を満たすことを示している。

主な貢献と結果

Theorem 1.3: 主要な結果は、Pálesの問いに対する否定的な回答である。本論文は、 $t = 1/3$ のとき、すべての非対称 $t$ -凸関数 $f: \mathbb{R} \to \mathbb{R}$ は必然的に $t$ -凸であることを証明している。
一般化: この手法は、非対称 $t$ -凸性が $t$ -凸性を意味するすべての $t \in (0, 1)$ の集合 $T$ が、 $1/2$ （自明）および $1/3$ （証明済み）を含むことを確立している。
集合 $T$ の構造的性質:
- 対称性: 集合 $T$ は $1/2$ に関して対称である（すなわち、 $t \in T \iff 1-t \in T$ ）。
- 稠密性: 集合 $T$ は区間 $(0, 1)$ において稠密である。これは、有限語と多項式写像を用いた構成を用いて、凸性の条件を満たすパラメータの稠密な集合を生成することによって証明される。
- 特定の要素: 本論文では、同様の計算により $1/k \in T$ （ただし $k \in \{4, 5, 6\}$ ）であることや、特定の代数的数である $\frac{\sqrt{5}-1}{2}$ および $\frac{3-\sqrt{5}}{2}$ が $T$ に属することが記されている。

意義と未解決問題
本論文は、超越数 $t$ において含意が失敗するという事実が、この有理数のケースには及ばないことを確認し、Zsolt Pálesによる $t=1/3$ に関する特定の未解決問題を解決した。この研究は、他の有理数または代数的数 $t$ が集合 $T$ に属するかどうかを判定するための構成的な方法（Proposition 2.1）を提供する。

著者は、集合 $T$ は稠密であり多くの代数的数を含んでいるものの、 $T$ が $(0, 1)$ 内のすべての代数的数を含むかどうかは依然として未解決の問いであると述べて締めくくっている。本論文は、さらなる応用や実験的な方向性を提案するものではなく、これらの関数不等式の理論的な特性化に厳密に焦点を当てている。

関連論文