Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design

이 논문은 대규모 언어 모델, 심볼릭 계산 도구, 인간의 전략적 지시가 결합된 신경심볼릭 협업 시스템을 통해 조합론 설계 이론에서 n1(mod3)n \equiv 1 \pmod{3}인 라틴 사각형의 불균형에 대한 새로운 하한을 발견하고 Lean 4 로 공식적으로 검증한 사례를 제시합니다.

Hai Xia, Carla P. Gomes, Bart Selman, Stefan SzeiderTue, 10 Ma🔢 math

On the Dual Drazin Inverse of Adjacency Matrices of Dual-number-Weighted Digraphs

이 논문은 복소수 이원수 (dual complex) 대수 위에 정의된 다양한 연결 이원수 가중 방향 그래프의 인접 행렬에 대해 이원수 드라진 역 (dual Drazin inverse) 을 연구하고, 이원수 반삼각 블록 행렬에 대한 명시적 공식을 유도하여 기존 연구의 가정을 완화하거나 미해결 문제를 해결하고 결과를 확장합니다.

Yue Zhao, Daochang Zhang, Zhongshan Li, Frank J. HallTue, 10 Ma🔢 math

Finiteness of specializations of the qq-deformed modular group at roots of unity

이 논문은 qq-변형 모듈러 군의 qq 값이 1, 2, 3, 4, 5 차 단위근일 때만 유한해지며, 이 경우 해당 군이 이진 사면체군이나 이진 정이십면체군과 동형임을 보이고, n=6n=6 일 때는 무한하지만 '온화한' 성질을 가짐을 증명하여 유리 링크의 정규화된 존스 다항식 값 등 여러 응용을 제시합니다.

Takuma Byakuno, Xin Ren, Kohji YanagawaTue, 10 Ma🔢 math

Monge-Ampère measures on balanced polyhedral spaces

이 논문은 균형 잡힌 다면체 공간에서 볼록 함수의 구조적 성질을 규명하고, 열대 기하학적 교차 이론을 활용하여 조각별 아핀 함수 및 다면체적 다초함수에 대한 몽주-암페르 측도를 구성하며, 변분법을 통해 방정식의 해 존재 조건과 반례를 제시하고 비아르키메데스 다초함수 이론과의 연관성을 탐구합니다.

Ana María Botero, Enrica Mazzon, Léonard Pille-SchneiderTue, 10 Ma🔢 math