Trong vật lý, giới hạn Bekenstein (đặt tên theo Jacob Bekenstein) là một chặn trên cho entropyS, hay thông tinI, 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ử.[1] 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.
Nếu biểu diễn bằng thông tin, với S = kIln 2, giới hạn này được tính bằng
trong đó I là lượng thông tin biểu diễn bằng số bit chứa trong trạng thái lượng tử của quả cầu. Hệ số ln 2 là do thông tin được định nghĩa là logaritcơ số2 của số trạng thái lượng tử.[4] 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
trong đó M là khối lượng, còn R là bán kính của hệ.
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.[5][6] 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.[2][3][7][8][9][10][11][12][13][14][15]
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.[16] 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 V, Casini định nghĩa entropy ở vế trái của giới hạn Bekenstein là
trong đó S(ρV) là entropy von Neumann của ma trận mật độ thu gọnρV của V trong trạng thái kích thích ρ, và S(ρ0 V) là entropy Von Newmann cho trạng thái chân không ρ0.
Ở 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 2πRE, trong đó R là độ dài đặc trưng của hệ và E 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 K = −log ρ0 V. 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,
Với những định nghĩa này, giới hạn trở thành
và có thể được biến đổi thành
Đây là phát biểu rằng entropy tương đối luôn dương, chứng minh giới hạn Bekenstein.
Não người trung bình nặng khoảng 1.5 kg và có thể tích là 1260 cm3. 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 6.7 cm.
Giới hạn thông tin Bekenstein khi ấy sẽ vào khoảng 2.6×1042 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ửO = 2I của não người không vượt quá .
^Tipler, F. J. (2005). “The structure of the world from pure numbers”(PDF). Reports on Progress in Physics. 68 (4): 897–964. arXiv:0704.3276. Bibcode:2005RPPh...68..897T. doi:10.1088/0034-4885/68/4/R04.. Tipler gives a number of arguments for maintaining that Bekenstein's original formulation of the bound is the correct form. See in particular the paragraph beginning with "A few points..." on p. 903 of the Rep. Prog. Phys. paper (or p. 9 of the arXiv version), and the discussions on the Bekenstein bound that follow throughout the paper.