Điều kiện cân bằng
Phát biểu
Cho là một đa thức nhiệt đới trong hai biến và là một đỉnh của đường cong nhiệt đới của nó. Gọi các cạnh của kề với có các véctơ hướng nguyên nguyên thủy (mỗi véctơ hướng ra xa ) và các trọng số nguyên dương . Khi đó .
Vì sao đúng?
Đây là một định luật bảo toàn, về mặt cấu trúc giống hệt định luật Kirchhoff về dòng điện tại một nút của mạch điện: gần , đa thức là giá trị nhỏ nhất của các hàm afin đạt được sự bằng nhau tại , và mỗi cạnh là nơi đúng hai trong số chúng vẫn trùng nhau. Khi bạn đi một vòng quanh , độ dốc của nhảy một lượng tỉ lệ với mỗi lần bạn băng qua một cạnh; vì là một hàm liên tục xác định duy nhất, các bước nhảy này phải triệt tiêu lẫn nhau sau một vòng đầy đủ, và đó chính xác là phương trình cân bằng. Chính sự triệt tiêu cục bộ này — chứ không phải bất kỳ phức đa diện nào cũng được — làm cho một đường cong nhiệt đới trở nên thực sự đại số, tức là quỹ tích góc của một đa thức nhiệt đới thực thụ, chứ không phải một tập hợp tùy ý các tia và đoạn thẳng.
Phác thảo chứng minh
Nhắc lại rằng đối ngẫu với phép chia nhỏ chính quy của đa giác Newton của nó, thu được bằng cách nâng mỗi điểm lên độ cao rồi chiếu bao lồi phía dưới trở lại xuống mặt phẳng. Mỗi cạnh của đối ngẫu với một cạnh của : vuông góc với (xoay ), và trọng số của nó bằng độ dài dàn của . Mỗi đỉnh của đối ngẫu với một ô -chiều (một đa giác) của , và các cạnh của kề với tương ứng, theo đúng thứ tự vòng quanh, chính xác với các cạnh biên của . Đi một vòng quanh biên của đa giác đóng , các véctơ cạnh của nó có tổng bằng không — một đa giác quay trở lại điểm xuất phát: . Phép xoay là một ánh xạ tuyến tính , và mỗi bằng sai khác một lựa chọn định hướng cố định (trọng số là độ dài dàn của , còn là sau khi xoay và co giãn về véctơ nguyên thủy). Áp dụng ánh xạ tuyến tính vào hai vế của cho ta , chính là điều kiện cân bằng.
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Diane Maclagan, Bernd Sturmfels (2015). Introduction to Tropical Geometry
- Grigory Mikhalkin (2005). Enumerative tropical algebraic geometry in R^2 · arXiv:math/0312530
- Imre Simon (1978). Limited subsets of a free monoid · DOI:10.1109/SFCS.1978.21