Writhe

Trong lý thuyết nút thắt, có nhiều cách khác nhau để hiểu đại lượng writhe, hay formula_1. Một mặt, writhe là một đại lượng của link, có hướng và nhận giá trị nguyên. Một cách hiểu khác của writhe là số thực mô tả độ "xoắn" của nút thắt theo nghĩa toán học (hay bất kỳ đường cong đơn khép kín nào) trong không gian ba chiều. Trong cả hai trường hợp, nó là một đại lượng hình học, tức là không được bảo toàn dưới các phép biến hình bảo toàn cấu trúc tô pô.

== Writhe của biểu đồ link ==
Trong lý thuyết nút thắt, writhe là tổng số giao điểm dương trừ đi tổng số giao điểm âm.

Mỗi một nút thành phần trong link được gán một hướng (trái - phải) xuyên suốt. Với mỗi giao điểm ta gặp khi đi theo hướng được gán cho, nếu sợi phía dưới đi từ phải qua trái, giao điểm ấy là giao điểm dương, và ngược lại. Ta có thể nhớ quy tắc này bằng một biến thể của quy tắc bàn tay phải.

Với một biểu đồ nút bất kì, quy tắc bàn tay phải cho ra kết quả không đổi khi ta gán cho biểu đồ nút ấy hai hướng khác nhau, từ đây ta suy ra writhe được định nghĩa tốt trên các biểu đồ nút vô hướng.

Thao tác Reidemeister loại II và III không ảnh hưởng đến writhe, nhưng thao tác loại I tăng hoặc giảm writhe 1 đơn vị. Điều này có nghĩa là writhe của một nút không phải là một bất biến đẳng cấu của một nút, mà chỉ đóng vai trò đó với biểu đồ nút mà thôi. Bằng một chuỗi các thao tác loại I, ta có thể thay đổi writhe của một biểu đồ nút thành một số nguyên dương bất kì.

== Writhe của một đường cong khép kín ==
Trong một bài báo năm 1961, Gheorghe Călugăreanu chứng minh định lý sau: cho một ruy băng trong formula_2, gọi formula_3 là số linking của các nút nằm ở rìa ruy băng đó, và formula_4 là tổng độ xoắn. Khi đó, hiệu formula_5 chỉ phụ thuộc vào đường cong định nghĩa của ruy băng, và

Trong một bài báo từ năm 1959, Călugăreanu cũng tìm ra cách để tính writhe formula_1 thông qua một tích phân. Cho formula_8 là một đường cong khép kín, đơn, trơn, và cho formula_9 và formula_10 là hai điểm trên formula_8. Khi đó writhe của đường cong bằng với tích phân Gauss

== Xấp xỉ tích phân Gauss cho writhe của một đường cong trong không gian ==
Vì writhe của một đường cong trong không gian được định nghĩa qua một tích phân đôi, ta có thể tính ước tính được giá trị của nó bằng cách xấp xỉ đường cong bằng một chuỗi gồm formula_13 đoạn thẳng. Vốn được Michael Levitt phát minh để mô tả quá trình gập protein, quy trình dưới đây về sau được Konstantin Klenin và Jörg Langowski dùng cho các ADN siêu xoắn.

Để tính toán được formula_17 cho các đoạn được đánh số formula_18 và formula_19, đánh số các điểm cuối của đoạn là 1, 2, 3 và 4. Gọi formula_20 là vectơ bắt đầu từ điểm cuối formula_21 và kết thúc ở điểm cuối formula_22. Định nghĩa các đại lượng sau:

Sau đó ta tính

Cuối cùng, ta điều chỉnh dấu và chia cho formula_25 để thu được

Thêm vào đó, các phương pháp khác để tính writhe có thể được mô tả hoàn toàn bằng thuật toán và toán học, một vài trong số đó vượt trội hơn phương pháp trên (phương pháp trên có độ phức tạp đa thức bậc hai, các phương pháp khác có thể có độ phức tạp bậc nhất)
== Ứng dụng trong ngành tô pô ADN ==
Vì ADN cuộn lại khi bị xoắn, các nhà toán sinh học sử dụng đại lượng writhe để mô tả độ biến dạng của một ADN dưới sức căng xoắn. Tổng quát hơn, hiện tượng tạo cuộn thông qua writhe được gọi là ADN siêu xoắn. HIện tượng này khá phổ biến, thực tế thì trong hầu như mọi cơ quan sống, DNA bị siêu xoắn âm.

Mọi gậy dẻo, không chỉ mỗi DNA, giảm tải sức căng xoắn bằng cách cuộn lại. Việc cuộn vừa tháo xoắn vừa bẻ cong cây gậy. F. Brock Fuller đã chứng minh toán học cách "giảm thế năng đàn hồi sinh ra do sự xoắn địa phương của một gậy bằng cách cuộn đường cong trung tâm của gậy sao cho số writhe tăng".