An observer-based approach to the sorites paradox and the logic derived from that
이 논문은 관찰자와 시간에 의존하는 '흐름 객체 의미론 (FOS)'을 통해 소피테스 역설을 해석하고, 관찰의 간헐성으로 인한 진리값 공백을 강 클라인 3 값 논리로 설명하여 역설의 모순성을 해소함을 제시합니다.
🔢 Category
math
6459 편의 논문
T-systems: a theory of orthonormal functions with a tridiagonal differentiation matrix
이 논문은 시간 의존 편미분 방정식을 위한 스펙트럴 방법에서 삼중 대각 행렬을 갖는 직교 함수 체계 (T-systems) 를 위한 새로운 구성적 특성화 방법을 제시하고, 이를 해밀토니안 에너지 보존을 위한 더 일반적인 sesquilinear 형식으로 확장합니다.
The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
이 논문은 '마그마 우주'에서 순서쌍, 관계, 함수 및 수와 같은 기본 집합론적 대상의 유사체를 정의하려는 시도와 그 한계, 그리고 '마그마 분리 스키마'의 유효성과 치환 스키마의 실패를 규명합니다.
The genus of configuration curves of planar linkages is generically odd
이 논문은 열대 기하학을 활용하여 평면 링크ages 의 1 자유도 그래프에 대한 구성 곡선의 종수가 0 이 아닌 경우 항상 홀수임을 증명합니다.
Automorphism groups and derivation algebras of Hamiltonian Lie algebras
이 논문은 짝수 에 대한 해밀토니안 리 대수 과 그 유도 부분대수 의 자동형 군이 임을 보이고, 의 모든 미분은 내미분임을 증명하며 의 완전한 미분 공간을 계산합니다.
Lattice point enumeration of some arbor polytopes
이 논문은 Chapoton 의 나무 다면체 (arbor polytopes) 의 특수한 경우인 에 대해 새로운 주차 모델을 통해 Ehrhart 다항식의 마법적 양성 (magic positivity) 과 -다항식의 실근 성을 증명하고, -다항식에 대한 상승 계수 해석 및 감마 양성 (gamma-positivity) 을 제시하며 나무 다면체 전반에 대한 -다항식 해석을 추측합니다.
An Improved Interpolation Theorem and Disproofs of Two Conjectures on 2-Connected Subgraphs
이 논문은 최소 차수가 이상인 2-연결 그래프가 특정 크기의 2-연결 부분그래프를 항상 포함함을 증명하여 기존 결과를 개선하고, Yin 과 Wu 가 제안한 두 가지 추측에 대한 반례를 구성하여 이를 반증하며, 새로운 추측을 제시합니다.
Compact LABFM: a framework for meshless methods with spectral-like resolving power
이 논문은 복잡한 기하학적 구조와 자유 표면을 가진 편미분 방정식 (PDE) 의 고차원 시뮬레이션을 위해 암시적 스텐실 (implicit stencils) 을 활용하여 스펙트럼과 유사한 분해능을 가지면서도 대각 우세성을 유지하는 새로운 컴팩트 LABFM 프레임워크를 제안하고, 이를 통해 고주파수 성분을 포함한 해의 정확도가 크게 향상됨을 입증합니다.
Non-uniform -Robust Alikhanov Mixed FEM with Optimal Convergence for the Time-Fractional Allen--Cahn Equation
이 논문은 시간 분수형 알렌-카인 방정식에 대해 초기 데이터의 정규성 가정을 완화하고, 비균일 아리코노프 스킴과 혼합 유한 요소법을 결합하여 일 때 일정한 상수를 갖는 최적의 수렴 오차 추정치를 증명하고 수치 실험으로 검증했습니다.
Cayley Commutator-free Methods for Krotov-Type Algorithms in Quantum Optimal Control
이 논문은 지수 행렬과 교환자를 사용하지 않으면서도 유니터리성과 대칭성을 보존하는 교환자 없는 케일리 적분기를 기반으로 한 구조 보존 수치 방법을 제안하여, 양자 최적 제어 문제에서 기존 지수 기반 전파자보다 계산 비용을 크게 절감하면서도 높은 정확도와 안정성을 달성하는 효율적인 대안을 제시합니다.
Inverse -source problem and a strict positivity property for coupled subdiffusion systems
이 논문은 단일 지점 관측을 통해 결합된 시간 분수 확산 방정식 시스템의 시간적 소스 성분을 결정하는 역문제에 대해 리프시츠 안정성과 유일성을 이론적으로 증명하고, 노이즈에 강인한 반복적 정규화 앙상블 칼만 필터 (IREKM) 알고리즘을 제안하여 수치적으로 검증합니다.
Entanglement principle for fractional Laplacian on hyperbolic spaces and applications to inverse problem
이 논문은 쌍곡 공간에서의 분수 차수 라플라스-벨트라미 연산자에 대한 얽힘 원리를 확립하고, 이를 통해 분수 차수 다중 조화 방정식 및 분수 칼데론 역문제에 대한 글로벌 유일성 결과를 도출합니다.
Debye Relaxation in Model-Based Multi-Dimensional Magnetic Particle Imaging
이 논문은 기존 랭빈 모델 기반의 자기입자영상 (MPI) 재구성 방식의 한계를 극복하기 위해, 다차원 데바이 모델을 도입하여 모델 전이 함수 (MTF) 없이도 실제 2D 데이터로부터 완전한 모델 기반 재구성을 가능하게 하는 새로운 3 단계 알고리즘을 제안하고 그 유효성을 입증합니다.
The number of measures on very large measurable cardinals
이 논문은 내적 모델 기법에 의존하지 않고 초곱 공리 (Ultrapower Axiom) 의 결과를 활용하여, 초강대기수 위의 첫 번째 측정 가능 기수나 초강대기수의 극한 위의 첫 번째 측정 가능 기수 등이 가질 수 있는 정규 측정의 수를 임의로 지정할 수 있음을 증명하고 기존 정리를 강화합니다.
Fluid Reconfigurable Intelligent Surface Enabling Index Modulation
이 논문은 유체 재구성 가능 지능 표면 (FRIS) 의 위치 및 위상 재구성 가능성을 활용하여 수신기 안테나 인덱스 선택을 통해 정보를 전송하는 새로운 FRIS 기반 인덱스 변조 프레임워크와 이를 위한 저복잡도 검출기 및 성능 분석 이론을 제안합니다.
Purely cosmetic surgeries and Casson--Walker--Lescop invariants
이 논문은 유리수 사술 공식과 Casson-Walker-Lescop 불변량을 활용하여 유리수 호몰로지 구면 내의 영동치 매듭이 순수한 외관적 수술을 최대 두 쌍만 가질 수 있음을 증명하고, 특정 3-다양체 내의 매듭에 대한 외관적 수술 및 외피 동형성에 대한 제약 조건을 제시합니다.
Second order classification for singular Liouville equations with a coefficient function
이 논문은 단위 원반에서 정의된 특이 리우빌 방정식의 경계값 문제에 대해 매개변수 가 0 으로 수렴할 때 원점에서 발산하는 해의 존재에 대한 필요충분조건을 제시하고, 계수 함수 에 대한 2 차 분류를 수행합니다.
Sheafs of ultradifferentiable functions
이 논문은 초미분 가능 함수의 층에 대한 추상적 이론을 개발하고, 이를 선형 편미분 방정식, 미분기하학, 특히 CR 기하학의 이론에 적용하는 다양한 사례를 논의합니다.
Comparison of Motivic Homotopy Theories
이 논문은 -불변 및 비불변 모티빅 호모토피 범주에서 국소화 모티브 범주로 가는 비교 함자를 구성하고, 이를 K-이론 스펙트럼 위의 가군 범주를 통해 인수분해한 후, 특이점 분해가 가능한 체 위에서 -불변 버전의 함자가 완전 충실함은 보이지만 비불변 버전은 일반적으로 그렇지 않음을 증명합니다.
Global-in-time strong solutions for the 2D and 3D generalized compressible Navier-Stokes-Korteweg system with arbitrarily large initial data
이 논문은 점성 계수와 모세관 계수가 특정 대수적 관계를 만족하는 조건 하에서 2 차원 및 3 차원 일반화된 압축성 Navier-Stokes-Korteweg 시스템에 대해 임의의 크기를 가진 초기 데이터에 대한 전역적 강한 해의 존재성을 최초로 증명했습니다.