Iterating reflection over intuitionistic arithmetic
이 논문은 하이어팅 산술 (HA) 에 대한 일관성, 국소 반사, 그리고 균일 반사의 반복을 연구하며, 특히 균일 반사의 경우 라트헨의 고전적 증명 기법을 활용하여 드라갈린이 증명한 페르포만의 완전성 정리를 HA 로 확장하는 새로운 증명을 제시합니다.
🔢 Category
math
2554 편의 논문
Long-range one-dimensional internal diffusion-limited aggregation
이 논문은 무한 분산을 가질 수 있는 1 차원 내부 확산 제한 적층 (IDLA) 모델에서, 유한 분산 조건에서는 최적의 모멘트 조건 하에 클러스터가 거의 대칭적인 연속 블록을 형성함을 증명하고, $1 < \alpha < 2\alpha\delta=1$) 은 형성되지 않음을 보여줍니다.
Analytic Properties of an Orthogonal Fourier-Jacobi Dirichlet Series
이 논문은 직교군에 대한 두 시스프 형태의 푸리에-야코비 계수를 포함하는 디리클레 급수의 적분 표현을 유도하고, 이를 통해 해당 급수의 유리적 연속성과 격자 경우의 정확한 함수 방정식을 증명합니다.
Witt Group of Nondyadic Curves
이 논문은 2 의 표수가 아닌 국소체 위에서 정의된 매끄러운 완전 곡선의 유도된 위트 군을 계산하고, 일반적 Theta 특성 존재성에 대한 연구를 통해 비아르키메데스 체에 대한 결과를 확장합니다.
Stochastic and incremental subgradient methods for convex optimization on Hadamard spaces
이 논문은 Hadamard 공간에서 선형 구조의 부재로 인한 어려움을 극복하기 위해 Busemann 함수에 기반한 새로운 하위 기울기 (subgradient) 개념을 도입하고, 이를 통해 확률적 및 점진적 하위 기울기 방법의 일반화와 복잡성 보장을 가능하게 하여 BHV 트리 공간의 중앙값 계산 등 다양한 최적화 문제에 적용할 수 있음을 제시합니다.
On some Sobolev and Pólya-Szegö type inequalities with weights and applications
이 논문은 3 차원 공간에서 가중치付き 소보레프 공간의 임베딩 정리를 확립하고 새로운 폴리 - 세게오 부등식을 유도하여, 특정 준타원형 퇴화 편미분 방정식의 경계값 문제를 해결하고 기존 결과를 3 차원 맥락으로 확장합니다.
Non-concentration estimates for Laplace eigenfunctions on compact manifolds with boundary
이 논문은 경계를 가진 콤팩트 매끄러운 다양체에서 디리클레 또는 노이만 경계 조건을 만족하는 라플라스 고유함수에 대해, 경계점을 포함하는 임의의 지점에서 비집중 추정식을 증명하고 이를 통해 기존 연구의 초점 상한을 유도합니다.
On the ergodicity of anti-symmetric skew products with singularities and its applications
이 논문은 로그 특이점을 넘어선 특이점을 가진 구간 교환 변환의 반대칭 스큐 곱의 에르고딕성을 증명하는 새로운 방법을 제시하고, 이를 통해 완벽하지 않은 안장점 (saddles) 을 포함하는 컴팩트 곡면 위의 국소 해밀토니안 흐름에 대한 비어호프 적분 오차항의 균등 분포를 연구합니다.
Continuity of asymptotic entropy on wreath products
이 논문은 (와레프 곱) 에서 비퇴화 확률 측도에 대한 점근적 엔트로피의 연속성을 증명하고, 이를 위해 무작위 보행의 비귀환 확률 연속성과 조화 측도의 약한 연속성이 엔트로피 연속성을 함의함을 보여줌으로써 쌍곡군 및 CAT(0) 공간 작용군 등 기존 및 새로운 군 클래스에 대한 결과를 확장합니다.
A Path Variant of the Explorer Director Game on Graphs
이 논문은 그래프에서 탐색자가 거리 대신 경로 길이를 선택하는 '탐색자 - 감독자' 게임의 변형을 연구하며, 기존 거리 기반 게임과 새로운 경로 기반 게임 간의 방문 정점 수 차이가 임의의 크기로 벌어질 수 있음을 증명합니다.
Disintegration results for fractal measures and applications to Diophantine approximation
이 논문은 자기준형 및 아핀 기약 자기유사 측도에 대한 분해 결과를 증명하고, 이를 활용하여 특정 디오판토스 근사 조건을 만족하는 집합의 측도가 0 이며 거의 모든 점이 특이 벡터가 아님을 보이는 두 가지 정리를 제시합니다.
A threshold for Poisson behavior of non-stationary product measures
이 논문은 비정상적 곱측도에서 가 퍼레스-바이스 (Peres-Weiss) 의 단순 포아송 일반성 (simple Poisson genericity) 을 결정하는 임계값임을 보이며, 이를 통해 균일 곱측도와 특이성을 가지면서도 거의 모든 점이 단순 포아송 일반성을 갖는 구간이 존재함을 입증합니다.
The Second Moment of Sums of Hecke Eigenvalues I
이 논문은 큰 무게 를 가진 홀로모픽 헤케 절댓형식들의 평균에 대해, 및 에서 크기 변화가 관찰되는 구간 () 에서 헤케 고유값의 합 에 대한 1 차 및 2 차 모멘트를 계산합니다.
Linear Logic and the Hilbert Scheme
이 논문은 힐베르트 스킴을 사용하여 얕은 곱셈 지수 선형 논리 (MELL) 의 기하학적 모델을 구축하고, 지수 모달리티를 해석하는 새로운 방식을 제시하며 컷 제거 과정에서의 불변성을 증명함으로써 증명 이론과 대수기하학 간의 새로운 연결고리를 확립합니다.
A proof of generic Green's conjecture in odd genus
이 논문은 저자가 이전에 발표한 '보편적 접선 다발과 표준 곡선의 시저지'의 앞부분과 유사한 새로운 증명을 통해 홀수 종의 일반 곡선에 대한 그린 추측 (Voisin 의 정리) 을 복잡한 계산 없이 증명합니다.
On Ruzsa's conjecture on congruence preserving functions
이 논문은 생성 함수가 원점에서 최대 두 개의 특이 방향을 가질 경우 루자 (Ruzsa) 의 합동성 보존 함수 추측이 성립함을 증명하여, 반례가 존재한다면 최소 세 개의 특이 방향을 가져야 함을 보여줍니다.
On the Conjecture of Stability Preservation in Arbitrary-Order Adams-Bashforth-Type Integrators
본 논문은 Buvoli 가 제안한 고차 명시적 시간 적분법의 안정성 보존에 대한 기존 추측을 조화 분석을 통해 반증하고, 해당 방법의 향상된 안정성 특성과 최대 허용 정확도 기준을 제시하며 PDE 에 대한 -안정성 분석 전략을 확립합니다.
Norms in equivariant homotopy theory
이 논문은 Bachmann-Hoyois 가 도입한 진 G-스펙트럼의 노름 대수 -범주가 임의의 유한군 에 대해 G-대칭 스펙트럼 내의 엄밀히 가환 대수로 모델링됨을 증명하고, 이를 통해 초가환 글로벌 링 스펙트럼의 -범주를 다양한 G-스펙트럼 범주들의 부분적으로 느슨한 극한으로 재해석하며, 이를 위해 매개변수화된 고차 대수 분야에서 새로운 결과들을 제시합니다.
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
이 논문은 입력에 따라 출력이 즉시 결정되는 시스템 (Mealy 머신) 과 보조 변수가 입력에 의해 매개변수화되는 재고 및 흐름 다이어그램을 구성하기 위해 종속 방향 와이어링 다이어그램의 연산자와 그 대수를 도입하고, 이를 Mealy 머신으로 해석하는 의미론을 제시합니다.
The largest subcritical component in inhomogeneous random graphs of preferential attachment type
이 논문은 순위 1 커널을 가진 이질적 무작위 그래프와 대조적으로, 우선 연결 (preferential attachment) 유형 커널을 가진 하임계적 그래프에서 최대 연결 성분의 크기가 그래프 크기보다 더 큰 지수를 갖는 다항식으로 나타난다는 것을 증명하고, 이를 위해 약한 국소 극한을 넘어선 국소 근사 및 새로운 하임계적 사살 분기 랜덤 워크 이론을 활용했습니다.