🔢 수학
Why the Multi-Sphere Shape Generator Works: Medial-Axis Placement of Spheres
이 논문은 멀티 스피어 형상 생성기(Multi-Sphere Shape Generator)의 배치 전략이 특징이 강화된 잔차장의 국소 최댓값이 대상 형상의 중앙축(medial axis)에 대응함을 입증함으로써, 최대 내접 구의 중심을 효과적으로 식별한다는 것을 수학적으로 증명한다.
🔢 Category
math
278 편의 논문
🔢 수학
A Unified Mathematical Framework for Physics-Informed Digital Twins in Sustainable Engineering Optimization: Formulations, Convergence, and Pareto Frontiers
본 논문은 물리 정보 신경망(Physics-Informed Neural Networks)과 메타휴리스틱 최적화를 통합하여, 고전적인 수치 해석 방법과 비교하여 계산 복잡도와 에너지 소비를 현저히 줄이면서도 수렴성과 안정성을 보장하는 지속 가능한 공학을 위한 확장 가능한 실시간 디지털 트윈을 구축하는 통일된 수학적 프레임워크를 제시한다.
🔢 수학
A Novel Compartmental Model for the Mathematical Epidemiology of Addiction: Backward Bifurcation, Bistability, Persistence, and Treatment-Capacity Policy Implications
이 논문은 발생률 포화가 아닌 치료 용량의 포화가 어떻게 역분기(backward bifurcation)와 쌍안정성(bistability)을 독특하게 유도하는지를 입증하는 새로운 4구획 중독 역학 모델을 개발하며, 이를 통해 기본 재생산 지수가 전통적인 임계값 미만에서도 장기적 지속 위험을 포착하지 못하는 결정적인 정책적 공백을 보여준다.
🔢 수학
Synchronization of Sections With Homologous Initial Conditions on Connected Manifolds: A Lie Derivative Criterion
이 논문은 연결된 다양체 위에서 동일한 내부 역학을 갖는 파이버 번들 섹션의 동기화를 위한 좌표 불변 리 미분 기준을 확립하며, 섹션 차이의 리 미분이 0이 되는 것이 라플라시안 대각화나 구동-응답 설정을 요구하지 않고도 흐름-동형 사상(flow-equivariant diffeomorphism)을 함의함을 증명한다.
🔢 수학
On holomorphic retracts of polyballs with strictly convex factors and applications
이 논문은 엄격하게 볼록한 인자를 가진 폴리볼의 중심을 통한 홀로모픽 회수(holomorphic retracts)를 개별 인자의 선형 회수 또는 그들의 곱으로 생체동형(biholomorphic)인 것으로 특징짓는데, 이는 이들이 서로 다른 인자 수나 차원을 가진 다른 곱 도메인과 생체동형적으로 동등할 수 없음을 증명함으로써 그 곱 표현의 본질적인 유일성을 확립하는 결과이다.
🔢 수학
A Complementary Assignment Method for Delaying Group-Stage Rematches in the FIFA World Cup 2026 Knockout Bracket
이 논문은 동일 그룹 출신 팀들이 준결승 전에는 서로 만나지 않도록 하여, 495개 시나리오 중 70개에서 이 조건을 충족하지 못하는 공식 일정보다 공정성과 토너먼트의 매력을 높이기 위해, 3위 진출팀의 배분을 용량 제한이 있는 이분 매칭 문제로 취급하는 2026 FIFA 월드컵 토너먼트 대진표의 수정된 배정 방식을 제안한다.
🔢 수학
When Are AI Explanations Recoverable? Identifiability, Stability, and Transfer from an Inverse-Problem Perspective
본 논문은 AI 설명(explanation)을 역문제(inverse problems)로 정식화함으로써 이를 결정하는 수학적 프레임워크를 구축하고, 선형 및 비선형 시스템에 대한 식별 가능성(identifiability)과 안정성(stability) 조건의 완전한 삼분법(trichotomy)을 도출하며, 내재적 미결정성(underdetermination)과 알고리즘적 가변성을 구분하는 명시적 경계치를 제공한다.
🔢 수학
Backward One-Step Block Hybrid Numerical Method for Solving Second-Order Initial Value Problems
본 연구는 강성 진동성 2계 초기값 문제를 효과적으로 해결하기 위해 체비쇼프 다항식을 이용한 다단계 콜로케이션을 통해 유도된 견고하고 정확한 후방 일보 블록 하이브리드 수치 방법을 소개한다.
🔢 수학
Regularization and Stability-Bifurcation-Chaos Trilogy for Caputo Fractional Replicator Dynamics with Global Lipschitz Guarantees
이 논문은 원점에서의 고유한 특이성을 해결하고 전역 립시츠 연속성을 확립하며, 호프 분기 및 카오스 인증을 통해 안정성에서 카오스로의 완전한 동역학적 전이를 분석적으로 규명하고, 비정규화 모델 및 경험적 행동 데이터에 대해 검증된 감정 요인이 포함된 정규화된 3차원 카푸토 분수 복제 시스템을 소개한다.
🔢 수학
A Layered Lean 4 Library for Finite-Dimensional Quantum Foundations with Typed Premise Auditing
본 논문은 유한 차원 양자 기초론을 위한 계층적 Lean 4 라이브러리를 제시하며, 이는 주요 표현 정리와 복잡도 결과를 형식화하는 동시에 부분 공간 가중치가 직교 분해로부터 독립적이라는 것과 같은 조건부 수학적 정리의 일관성과 타당성을 검증하기 위한 타입 기반 전제 감사 프레임워크를 도입한다.