A Model Companion for Abelian Lattice-Ordered Groups with a Model Companion
이 논문은 아벨 격자 순서군에 영집합 사상에서 영감을 얻은 두 가지 다정렬 확장을 도입하고, 이를 스펙트럼 부분공간을 갖는 구조와 동치임을 보이며, 기존 양화사소거 결과를 활용해 그 중 하나의 확장이 완전하고 양화사소거를 갖는 모델 동반자를 가진다는 것을 증명합니다.
🔢 Category
math
2396 편의 논문
Convex Duality Made Difficult
이 논문은 최적화 문제를 대상으로 하는 범주를 정의하고 범주론적 방법을 통해 미니맥스 정리와 볼록 함수의 레전드르 쌍대성 ((f*)*=f) 과 같은 기존 결과를 재도출함으로써 볼록 최적화 연구에 새로운 관점을 제시합니다.
Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
이 논문은 마르코프 범주와 enriched 범주의 베이스 변경 구성을 활용하여 대칭 모노이달 범주에 불확실성을 통합함으로써, 공학적 설계 문제와 베이지안 학습 등 다양한 응용 분야에 적용 가능한 새로운 범주론적 틀을 제시합니다.
A Critical Pair Enumeration Algorithm for String Diagram Rewriting
이 논문은 대칭 모노이드 범주에서 프라베니우스 구조가 없는 문자열 다이어그램 재작성 시스템의 모든 임계 쌍을 열거하고 그 정확성과 포괄성을 증명하여, 임계 쌍 분석을 자동화하는 알고리즘을 제시합니다.
Scientific Rigor and Human Warmth: Remembering Vladimir Sidorenko (1949-2025)
이 논문은 2025 년 브라운슈바이크에서 열린 차세대 통신 시스템 기초 학회 (FFCS) 에서 명래이 차이 (Minglai Cai) 가 주재한 추모 세션을 통해 1949 년부터 2025 년까지 활동한 블라디미르 시도렌코 박사의 과학적 업적과 인간적 온기를 기리며, 그의 코딩 이론 및 양자 오류 정정 분야 기여와 국제 연구계에 미친 영향을 요약합니다.
Spectral rigidity among ellipses, Bialy's conjecture and local extrema of Mather's beta function
이 논문은 두 타원의 Mather 베타 함수가 두 개의 0 이 아닌 회전 수에서 일치하거나, 둘 중 하나가 일치하고 둘의 둘레가 같을 경우 두 타원이 동일함을 증명하여 Bialy 의 추측을 해결하고 Mather 베타 함수의 국소 극값에 대한 함의를 논의합니다.
On autoduality of Drinfeld modules and Drinfeld modular forms
이 논문은 특정한 조건을 만족하는 계수 2 의 드린펠드 모듈이 타구치 쌍대 모듈과 동형임을 증명하고, 이를 적용하여 드린펠드 모듈 곡선 위의 호지 다발에 대한 이중 코다이라-스펜서 동형식을 유도합니다.
Multiplier rigidity for complex Hénon maps
이 논문은 1 차원 유리함수에 대한 맥멀런의 고전적 결과를 2 차원 복소 헨온 사상으로 확장하여, 특정 차수와 야코비 행렬이 고정된 경우 주기점의 승수 스펙트럼이 해당 사상을 유한한 선택 내에서 결정한다는 승수 강성 (multiplier rigidity) 정리를 증명합니다.
Faster Stochastic ADMM for Nonsmooth Composite Convex Optimization in Hilbert Space
이 논문은 확률적 PDE 제약 조건을 가진 비매끄러운 합성 볼록 최적화 문제를 해결하기 위해 힐베르트 공간에서 제안된 확률적 ADMM 알고리즘의 강한 수렴성과 더 빠른 비에르고딕 수렴 속도를 증명하고, 이를 모델 문제에 적용하여 효율성을 입증합니다.
Exponential Convergence of -FEM for the Integral Fractional Laplacian on cuboids
이 논문은 영역에서 해석적인 강제항을 가진 디리클레 분수 라플라시안에 대해 기하급수적으로 세분화된 텐서 곱 -유한요소법을 적용했을 때, 자유도 에 대해 에너지 노름 오차가 꼴로 지수적으로 수렴함을 증명하고 수치 실험으로 이를 확인했습니다.
Rigidity of the dynamics of on representations into a compact group
이 논문은 이 충분히 클 때 콤팩트 리 군 로 가는 자유군 의 표현 공간에서 의 작용 궤도 폐포와 불변 확률 측도가 라트너의 정리와 유사하게 대수적 구조를 가진다는 동역학적 강성 (rigidity) 을 증명합니다.
Nonlinear Lebesgue spaces: Curves and geometry
이 논문은 비선형 르베그 공간의 기하학적 성질을 점별로 기술하기 위해 비선형 푸비니 - 르베그 정리를 증명하고, 이를 통해 절대연속 곡선의 속도와 길이 구조를 정의하는 방법을 제시합니다.
Mollified Christoffel-Darboux Kernels and Density Recovery on Varieties
이 논문은 대수적 다양체 위에서 모멘트 데이터를 기반으로 밀도를 복원하기 위해 고전적인 Christoffel-Darboux 커널을 정칙화한 '연화 (mollified) Christoffel-Darboux 커널'을 도입하고, 지지 집합 내에서의 균일한 유계성과 지지 집합 외에서의 지수적 성장이라는 개선된 성질을 증명하며, 밀도 복원에 대한 명시적인 수렴 속도를 제시합니다.
Some polynomial classes for the acyclic orientation with parity constraint problem
이 논문은 무순환 방향성 그래프에서 특정 정점 집합에 대한 홀수 차수 조건을 만족하는 방향성 할당 문제의 복잡성을 분석하고, 세 가지 필요 조건이 충분 조건이 되는 다항식 시간 해결 가능한 그래프 클래스들을 정의하며, 이러한 클래스 간의 포함 관계를 규명하고 직교곱 경로 및 사이클에 대한 해의 존재성을 특징짓는 구성적 알고리즘을 제시합니다.
Semi-rigid stable sheaves: a criterion and examples
이 논문은 Mukai 의 K3 곡면 연구에 영감을 받아 매끄러운 극화 다양체 위의 안정된 층에 대한 준강직성 (semi-rigidity) 개념을 도입하고, 옌베크 쌍대형식의 핵에 있는 분해 가능 요소의 부재로 이를 판별하는 기준을 제시하며, 이를 매끄러운 사영 다양체 위의 선다발과 하이퍼-켈러 다양체의 매끄러운 라그랑지안 부분다양체 위에 지지된 선다발에 적용합니다.
An Integer Linear Programming Model for the Evolomino Puzzle
이 논문은 니콜리가 발행한 논리 퍼즐 '에볼로미노'의 규칙을 정수 선형 계획법 (ILP) 모델로 공식화하고, 이를 활용한 퍼즐 생성 알고리즘을 제안하여 CP-SAT 솔버가 18x18 크기까지의 퍼즐을 효율적으로 해결할 수 있음을 입증했습니다.
Uniform Concentration for -subexponential Random Operators
이 논문은 행렬의 행 (또는 열) 이 -서브지수 (-subexponential) 꼬리 분포를 따를 때, Talagrand 함수에 의해 지배되는 기하학적 왜곡을 보이는 균일 집중 부등식을 확립하여 기존 서브가우시안 이론을 더 넓은 꼬리 분포 영역으로 확장합니다.
The homotopy type of the moment-angle complex associated to the complex of injective words
이 논문은 방향 그래프의 결합체 데이터에서 다면체 곱 함자를 사용하여 위상 공간을 구성하고, 특히 주입 단어 복합체의 면 순서집합에 대한 모멘트 - 아날 콤플렉스의 호모토피 유형을 계산하여 그 유형이 -벡터에 의해 결정됨을 밝히고, 순서 심플리셜 복합체에 대한 일반화된 호모토피 피브레이션을 구성합니다.
Dirichlet control problems with energy regularization governed by non-coercive elliptic equations
이 논문은 비볼록 다각형 영역에서 정의된 비강제 타원 방정식에 의해 지배되는 선형 2 차 디리클레 제어 문제를 에너지 반노름에서 티호노프 정칙화를 적용하여 연구하고, 가중 소볼로프 공간에서의 해의 정칙성과 그라디드 메쉬 및 이산 투영을 활용한 최적 수렴 속도의 유한 요소 이산화 오차 추정을 제시합니다.
Backward problem for a degenerate viscous Hamilton-Jacobi equation: stability and numerical identification
이 논문은 Carleman 부등식과 선형화 기법을 통해 퇴화 점성 Hamilton-Jacobi 방정식의 역문제에 대한 조건부 안정성을 증명하고, 켤레 기울기법 및 Van Cittert 반복법을 활용한 수치적 식별 알고리즘을 제안하여 그 성능을 검증합니다.