Varieties of De Morgan bisemilattices
이 논문은 데 모르간 반격 (De Morgan bisemilattices) 의 부분 다양체 격자를 완전히 기술하고, 각 부분 다양체에 대한 유한 생성자 집합, 데 모르간-플로나 합 (Płonka sum) 표현의 특징, 그리고 유효한 항등식의 문법적 설명을 제시합니다.
🔢 Category
math
2549 편의 논문
Zonal states and improved bounds for eigenfunctions of magnetic Laplacians on hyperbolic surfaces
이 논문은 쌍곡 곡면 위의 자기 라플라시안 고유함수에 대해 임계 에너지 영역에서 다항식적으로 개선된 경계를 증명하고, 임계 에너지 이하에서는 구면의 존 조화함수와 유사하며 위상 공간의 라그랑지안 토러스에 균등 분포하는 '자기 존 상태'가 호르만더 경계를 포화시킴을 보여줍니다.
On the density of the supremum of nonlinear SPDEs
이 논문은 Malliavin 미적분과 Nualart-Vives 의 Bouleau-Hirsch 기준을 활용하여, 1 차원 비선형 확률 편미분방정식 해의 최댓값이 르베그 측도에 대한 밀도를 가진다는 것을 증명합니다.
A normality criterion for a family of meromorphic functions
이 논문은 , 조건과 의 영점의 중복도가 이상일 때, 정의역 내의 정칙 함수 와 동차 미분다항식 를 가진 мерomorphic 함수족 의 정규성 (normality) 을 증명합니다.
Parameter unbounded Uzawa and penalty-splitted accelerated algorithms for frictionless contact problems
이 논문은 마찰 없는 접촉 문제 해결을 위해 표준 강성 행렬만 사용하는 이산-힘 분할 반복 프레임워크에 교차-세칸트 가속 전략을 도입하여 수렴 속도를 획기적으로 개선하고 매개변수 제약 없이 안정적인 수렴을 가능하게 하는 통합 알고리즘을 제안합니다.
Dictionary-Restricted First-Order Descent Methods: Bounds and Convergence Rates
이 논문은 반사 바나흐 공간에서 사전 (dictionary) 으로 제한된 탐색 방향을 갖는 1 차 하강법에 대한 일반 이론을 정립하여, 텐서 형식과 신경망 단위 등 비선형 근사 가족을 포괄하는 새로운 기하학적 조건을 제시하고, 단순한 탐욕적 업데이트 규칙 하에서 명시적인 하강 한계와 기존 스티프스트-데센트 방식보다 우수한 수렴 속도를 증명합니다.
Evil Twins in Sums of Wildflowers
이 논문은 '악의 쌍둥이 (evil twin)' 성질을 가진 꽃다발의 합에 대한 연구로, 기존 이론을 확장하고 특정 변형 꽃다발 집합이 이 성질을 갖는 최대 폐집합임을 증명하며, 그 결과의 계산 복잡도가 3-Sat 문제에서 축소된 NP-난해임을 보여줍니다.
Hybrid Approximate Message Passing
이 논문은 일반 그래픽 모델의 의존성을 강하고 약한 엣지로 분할하여 약한 엣지에 중심극한정론 기반 근사 메시지 전달 (AMP) 을, 강한 엣지에 표준 메시지 전달을 적용하는 '하이브리드 일반화 근사 메시지 전달 (HyGAMP)' 프레임워크를 제안함으로써, 계산 복잡도를 줄이면서도 성능과 복잡도 간의 균형을 맞출 수 있는 새로운 최적화 및 통계적 추론 방법을 제시합니다.
Zero-Noise Limit for High-Dimensional ODE with Measurable Drift
본 논문은 리프시츠 연속성을 만족하지 않는 측정 가능한 드리프트를 갖는 고차원 확률미분방정식의 영노이즈 극한을 연구하여, 필리포프 해 중 즉각 탈출 해가 지배적이며 그 지지집합의 하우스도르프 차원이 공간 차원보다 작아 르베그 측도에 대해 특이한 분포를 가짐을 증명합니다.
Balanced matrices
이 논문은 행렬 연산과 통계량, 특히 2×2 행렬의 주대각선 성분, 대각합, 행렬식 및 고윳값 간의 직접적인 관계를 규명하고, 행렬의 성분에 대한 정보 없이도 스펙트럼을 통해 이차형식을 예측할 수 있는 '균형 행렬 (balanced matrices)'이라는 새로운 행렬 클래스를 소개하고 그 성질을 연구합니다.
The spanning method and the Lehmer totient problem
이 논문은 정수들의 '스패닝 (spanning)' 개념을 도입하여 형태의 방정식 해 존재 여부를 연구하고, 특히 오일러 피 함수를 포함한 특정 방정식의 해 개수에 대한 점근적 하한을 증명합니다.
A spectral sequence for tangent cohomology of algebras over algebraic operads
이 논문은 대수적 연산자 위의 대수에 대한 연산자 접코호몰로지를 계산하기 위해 코브라브레이션 타워에서 유도된 여과를 사용하여 수렴하는 스펙트럼 열을 구성하고, 이를 라디안 아담스 - 힐튼 구성과 같은 위상수학적 예제에 적용하여 세르 스펙트럼 열의 새로운 대수적 기술과 자기-피버 호모토피 동치 공간의 유리수 호모토피 군에 대한 결과를 도출합니다.
Simple close curve magnetization and application to Bellman's lost in the forest problem
이 논문은 단순 폐곡선 자화 개념을 도입하고, 등산가와 숲의 경계 사이의 특수한 기하학적 조건을 가정하여 벨만의 숲에서 길을 잃은 문제에 적용합니다.
Quantized flag manifolds and non-restricted modules over quantum groups at roots of unity
이 논문은 이 특정 조건을 만족하는 홀수 소수 거듭제곱일 때, 드 콘시니 - 카크 유형의 양자화된 enveloping 대수에 대한 비제한적 모듈에 대한 루스지트의 가설적 중복도 공식에 대한 증명을 제시합니다.
P-adic L-functions for GL(3)
이 논문은 GL(3) 의 정칙 대수적 cuspidal 자동형 표현에 대해 구형 다양체 이론을 기반으로 한 '베티 오일러 계'를 구성하여, Coates-Perrin-Riou 와 Panchishkin 의 추측을 증명하고 인 일반형 GL(n) 에 대한 최초의 -adic L-함수를 구축했습니다.
On distribution of the depth index on perfect matchings
이 논문은 완전 매칭에서의 깊이 지수 통계량을 연구하여 그 생성 다항식을 계산하고, 이 통계량이 브루하트 순서의 랭크 함수와 등분포됨을 증명합니다.
On quotients of bounded homogeneous domains by unipotent discrete groups
이 논문은 유계 균질 영역을 단위원형 이산 군으로 나눈 몫이 해석적으로 분리 가능함을 증명하고, 해당 몫이 스타인 (Stein) 이 되기 위한 필요 조건을 제시하며 특정 경우에서 이 조건이 충분 조건이 됨을 보여줍니다.
Estimates on the Kodaira dimension for fibrations over abelian varieties
이 논문은 아벨 다양체 위의 섬유화에 대한 코다이라 차원의 추정치를 제시하고 그 응용을 다루며, 특히 아벨 다양체 위의 섬유화에 대한 코다이라 차원의 부분가법성을 강화하는 결과를 포함합니다.
A dichotomy on the self-similarity of graph-directed attractors
이 논문은 강한 연결성을 가진 방향 그래프에서 특정 정점을 통과하지 않는 회로가 존재할 경우, 해당 정점과 연관된 그래프 지향 반복함수계 (GD-IFS) 의 끌개는 표준 반복함수계 (IFS) 의 끌개로 표현될 수 없음을 증명하고, 이에 대한 대수적 조건을 제시하여 '거의 모든' GD-IFS 가 표준 IFS 로 실현 불가능함을 보여줍니다.
Towards a Higher-Order Mathematical Operational Semantics
이 논문은 Turi 와 Plotkin 의 이대수적 GSOS 프레임워크를 고차 언어로 확장하여, 특정 동자연 변환인 '지시적 고차 GSOS 법칙'을 통해 고차 언어의 연산적 의미론을 정의하고 SKI 계산 및 -계산의 합성성 결과를 도출하는 이론을 제시합니다.