Ý tưởng nửa nướng của tôi là một chút quá tham vọng. Tôi bao gồm nó bên dưới để tham khảo, nhưng điều kiện khoảng cách tôi chỉ định không thực sự đủ để đảm bảo đường kính lớn.
Có các bản đồ bề mặt đối xứng cao lớn tùy ý với đường kính lớn, nhưng bằng chứng tồn tại được công bố chủ yếu dựa trên lý thuyết nhóm chứ không phải cấu trúc liên kết hoặc hình học mỗi se.
Cụ thể, với mọi số nguyên , và sao cho , có một bản đồ bề mặt thông thường trong đó mọi mặt đều có cạnh , mọi đỉnh đều có độ và mọi không hợp đồng chu kỳ trên bề mặt vượt qua ít nhất cạnh. Ở đây "chính quy" có nghĩa là cả hai đỉnh đều có cùng một mức độ và đối với bất kỳ cặp cạnh có hướng nào, có một sự tự động hóa của việc nhúng gửi cạnh có hướng khác. Đặt đủ lớn trong cấu trúc này đảm bảo rằng đường kính của đồ thị là . Xem, ví dụ:d r 1 / g + 1 / d < 1 / 2 g d r r ggdr1/g+1/d<1/2gdrrg
Khi bạn có một bản đồ bề mặt như vậy, các bản đồ lớn hơn có cùng đường kính và độ có thể được tạo bằng cách xây dựng các không gian che phủ.
Đây là một cách (nửa nướng) để tạo các biểu đồ như vậy. Đặt là đồ thị mặt phẳng với các thuộc tính sau:G
Mỗi mặt giới hạn của có cạnh chính xác .gGg
Mặt ngoài của có số cạnh chẵn; gọi những sự cạnh ranh giới của . (Điều kiện này tự động giữ khi chẵn; nếu là số lẻ, phải có số lượng các mặt chẵn.)G g g GGGggG
Có thể ghép các cạnh biên của , sao cho khoảng cách trong từ bất kỳ cạnh biên nào đến đối tác của nó ít nhất là . Điều kiện này không thực sự đủ; điều kiện chính xác cần thiết ở đây là không rõ ràng.G gGGg
Đồ thị mặt phẳng lớn tùy ý với các tính chất này có thể được xây dựng bằng cách lấy một phần hữu hạn đủ lớn của một lát phẳng thông thường của mặt phẳng hyperbol bằng gonsg .
Cuối cùng, để có được đồ thị bề mặt trong đó mọi mặt có độ dài , xác định các cặp cạnh biên trong theo cách ghép nối được mô tả ở trên. Các mặt giới hạn của trở thành các mặt của tế bào nhúng trên một số bề mặt kín không có ranh giới. Điều kiện khoảng cách trên ghép nối đảm bảo rằng đường kính của là . g G G G ' G ' gG′gGGG′G′g
Bằng cách chọn cả và ghép cẩn thận hơn, một lần có thể xây dựng các đồ thị - thông thường lớn tùy ý thỏa mãn điều kiện chu vi của bạn, cho mọi số nguyên và sao cho . Ngay cả trong những hạn chế này, việc xây dựng có rất nhiều mức độ tự do.d d g 1 / d + 1 / g < 1 / 2Gddg1/d+1/g<1/2