✨Giới hạn Bekenstein

Trong vật lý, giới hạn Bekenstein (đặt tên theo Jacob Bekenstein) là một chặn trên cho entropy , hay thông tin , có thể được chứa trong một vùng không gian hữu hạn với một lượng năng lượng hữu hạn – hay ngược lại, lượng thông tin lớn nhất cần dùng để mô tả hoàn toàn một hệ vật tới tận mức độ lượng tử. Từ đó có thể suy ra rằng lượng thông tin của một hệ vật, hay lượng thông tin cần để mô tả hệ vật đó hoàn hảo, là hữu hạn nếu vùng không gian và năng lượng là hữu hạn. Trong khoa học máy tính, điều này dẫn đến có một mức xử lý thông tin tối đa (giới hạn Bremermann) cho một hệ vật với kích thước và năng lượng hữu hạn, và một chiếc máy Turing với hữu hạn chiều vật lý và bộ nhớ vô hạn là không thể tồn tại.

Công thức

Dạng bất đẳng thức thường thấy của giới hạn này được Jacob Bekenstein tìm ra là Sử dụng sự tương đương khối lượng–năng lượng, giới hạn thông tin trên có thể viết lại thành

:$I\; \backslash leq\; \backslash frac\{2\; \backslash pi\; c\; R\; M\}\{\backslash hbar\; \backslash ln\; 2\}\; \backslash approx\; 2.5769082\; \backslash times\; 10^\{43\}\backslash \; \backslash frac\{\backslash text\{bit\{\backslash text\{kg\}\backslash cdot\backslash text\{m\; \backslash cdot\; M\backslash cdot\; R,$

trong đó là khối lượng, còn là bán kính của hệ.

Nguồn gốc

Bekenstein tìm được chặn trên này từ suy luận heuristic liên quan đến lỗ đen. Nếu một hệ tồn tại và vi phạm giới hạn này, tức có quá nhiều entropy, Bekenstein chỉ ra rằng có thể vi phạm định luật hai của nhiệt động lực học bằng cách cho nó vào trong một lỗ đen. Năm 1995, nhà vật lý Ted Jacobson chỉ ra rằng phương trình trường Einstein (tức thuyết tương đối rộng) có thể được suy ra bằng cách giả sử giới hạn Bekenstein và các định luật nhiệt động lực học là đúng. Tuy một số lập luận đã được đưa ra rằng một giới hạn như thế phải tồn tại để các định luật nhiệt động lực học và thuyết tương đối rộng đều phù hợp, phát biểu giới hạn chính xác vẫn là vấn đề gây tranh cãi cho đến khi Casini giải quyết nó năm 2008.

Chứng minh bằng lý thuyết trường lượng tử

Một chứng minh của giới hạn Bekenstein trong khuôn khổ của lý thuyết trường lượng tử được đưa ra năm 2008 bởi Horacio Casini. Một trong những sáng kiến quan trọng của chứng minh này là tìm được biểu diễn phù hợp cho các đại lượng ở hai bên bất đẳng thức.

Định nghĩa thông thường của entropy và mật độ năng lượng trong lý thuyết trường lượng tử gặp vấn đề phân kỳ tử ngoại. Trong trường hợp của giới hạn Bekenstein, phân kỳ tử ngoại có thể được giải quyết bằng cách lấy hiệu giữa đại lượng tính được trong trạng thái kích thích và trong trạng thái chân không. Ví dụ, với một vùng không gian , Casini định nghĩa entropy ở vế trái của giới hạn Bekenstein là

: $S\_V\; =\; S(\backslash rho\_V)\; -\; S(\backslash rho^0\_V)\; =\; -\; \backslash mathrm\{tr\}(\backslash rho\_V\; \backslash log\; \backslash rho\_V)\; +\; \backslash mathrm\{tr\}(\backslash rho\_V^0\; \backslash log\; \backslash rho\_V^0)$

trong đó là entropy von Neumann của ma trận mật độ thu gọn của trong trạng thái kích thích , và là entropy Von Newmann cho trạng thái chân không .

Ở vế phải của giới hạn Bekenstein, một phần khó là lý luận chặt chẽ cho đại lượng , trong đó là độ dài đặc trưng của hệ và là năng lượgn đặc trưng. Tích này có cùng đơn vị với tập sinh của phép gia tăng Lorentz, và một khái niệm tương tự với gia tăng trong trường hợp này là Hamiltonian môđun của trạng thái chân không . Casini định nghĩa vế phải của giới hạn Bekenstein là hiệu giữa giá trị kỳ vọng của Hamiltonian môđun trong trạng thái kích thích và trong trạng thái chân không,

: $K\_V\; =\; \backslash mathrm\{tr\}(K\; \backslash rho\_V)\; -\; \backslash mathrm\{tr\}(K\; \backslash rho^0\_V).$

Với những định nghĩa này, giới hạn trở thành

: $S\_V\; \backslash leq\; K\_V,$

và có thể được biến đổi thành

: $\backslash mathrm\{tr\}(\backslash rho\_V\; \backslash log\; \backslash rho\_V)\; -\; \backslash mathrm\{tr\}(\backslash rho\_V\; \backslash log\; \backslash rho\_V^0)\; \backslash geq\; 0.$

Đây là phát biểu rằng entropy tương đối luôn dương, chứng minh giới hạn Bekenstein.

Ví dụ

Lỗ đen

Entropy rìa Bekenstein–Hawking của lỗ đen ba chiều bằng đúng giá trị giới hạn

: $r\_s\; =\; \backslash frac\{2\; G\; M\}\{c^2\},$ : $A\; =\; 4\; \backslash pi\; r\_s^2\; =\; \backslash frac\{16\; \backslash pi\; G^2\; M^2\}\{c^4\},$ : $l\_P^2\; =\; \backslash hbar\; G/c^3,$ : $S\; =\; \backslash frac\{kA\}\{4\; l\_P^2\}\; =\; \backslash frac\{4\; \backslash pi\; k\; G\; M^2\}\{\backslash hbar\; c\},$

trong đó là hằng số Boltzmann, là diện tích hai chiều của chân trời sự kiện của lỗ đen tính bằng đơn vị diện tích Planck, $l\_P^2\; =\; \backslash hbar\; G/c^3$.

Giới hạn này liên quan mật thiết đến nhiệt động lực học lỗ đen, nguyên lý toàn ảnh, và giới hạn toàn ảnh Bousso của hấp dẫn lượng tử, và có thể được suy ra từ dạng mạnh hơn của giới hạn Bousso.

Não người

Não người trung bình nặng khoảng 1.5 kg và có thể tích là 1260 cm. Nếu ta xấp xỉ bộ não bằng một hình cầu, thì bán kính của nó sẽ vào khoảng

Giới hạn thông tin Bekenstein khi ấy sẽ vào khoảng 2.6 bit, lượng thông tin tối đa cần dùng để mô phỏng hoàn hảo bộ não con người xuống mức dộ lượng tử. Điều này nghĩa là số trạng thái lượng tử của não người không vượt quá $\backslash approx\; 10^\{7.8\; \backslash times\; 10^\{41$.