Adjoints of Morphisms of Neural Codes
이 논문은 신경 코드의 사상 (morphism) 을 이진 행렬로 표현하여 갈루아 연결을 구성하고, 이를 통해 부울 행렬의 인수분해와 랭크 추정을 연구하며, '자유 뉴런'과 '결함 (defect)' 개념을 도입하여 코드들의 부분 순서 집합 구조를 규명합니다.
2549 편의 논문
이 논문은 신경 코드의 사상 (morphism) 을 이진 행렬로 표현하여 갈루아 연결을 구성하고, 이를 통해 부울 행렬의 인수분해와 랭크 추정을 연구하며, '자유 뉴런'과 '결함 (defect)' 개념을 도입하여 코드들의 부분 순서 집합 구조를 규명합니다.
이 논문은 고전적인 램지 수 , , 에 대해 기존에 알려진 상한선보다 더 엄격한 새로운 상한값 (각각 229, 157, 91) 을 제시합니다.
이 논문은 확산이 시냅스 전류에만 작용하는 누설적분방출 (LIF) 네트워크의 오일러-마루야마 수치해석에 대해, 이벤트 시간에서의 오차를 정밀하게 분석하여 층상 순방향 네트워크에서 강한 수렴성과 약한 1 차 수렴성을 증명하고, 재귀적 확장 및 고정점 해를 위한 리아푸노프 지수 공식을 제시합니다.
이 논문은 반공간에서의 비선형 타원 방정식에 동적 경계 조건을 부과하여 모리 공간 (Morrey spaces) 프레임워크 내에서 전역 잘-제정성 (global well-posedness) 을 증명하고, 이를 통해 자기유사 해의 존재성 및 점근적 안정성 등 해의 정성적 성질을 규명합니다.
이 논문은 시간 이산화 오차를 제거하고 임의의 시점에서 쿼리가 가능한 메쉬 없는 솔버를 제공하며, 프레임워크에서 엄격한 안정성 분석과 오차 한계를 수립한 공간적으로 균일한 랜다우 방정식을 위한 물리 정보 기반 신경 입자 방법 (PINN-PM) 을 제안합니다.
이 논문은 모든 차원에서 방사형 Toeplitz 연산자의 경우 Berezin 변환의 하극한이 양수라 하더라도 연산자가 본질적으로 양수일 필요는 없음을 보임으로써 Perälä-Virtanen 추측을 반증하고, 진동하는 기호에 대한 고유값 수열과 Berezin 변환이 서로 다른 점근적 평균을 제공하여 본질 스펙트럼이 음수 값을 가질 수 있음을 규명합니다.
이 논문은 리본 동치 하에서 피버드 매듭의 단순 부피와 팽창률이 단조 증가함을 증명하고, 피버드 매듭이 리본 동치 순서에서 유한한 선행자를 가진다는 사실을 보이며, 표면 자기동형사상의 최소 압축을 열거하는 알고리즘을 제시하여 고든과 미야자키의 관련 가설과 결과에 대한 새로운 통찰을 제공합니다.
이 논문은 3 차 초곡면 로부터 구성된 LSV 하이퍼-켈러 다양체 의 Chow motives 가 의 (twisted) motive 의 직합 인자임을 증명하여 가 아벨형일 때 역시 아벨형임을 보이고, 특히 가 유일하고 매끄러운 10 차원 의 가변족에 대해 이 성질이 성립함을 규명합니다.
이 논문은 과도 가중 그래프 위의 무작위 상호침투 모델에 대해 FKG 부등식의 간단한 증명을 제시하고, 추가적인 가정 없이 증가하는 비국소 사건에 대한 0-1 법칙을 포함한 여러 0-1 법칙의 발생을 논의합니다.
이 논문은 Krajicek 의 유계 산술에서 개발된 부울 값 무작위 강제법을 집합론적 강제법의 관점에서 분석하여, 비표준 -포화 모델에서 해당 강제법이 $2^{\omega_1}$에 대응하는 확률 대수와 동형임을 보임으로써 유계 산술의 강제법을 공리적 접근법 대신 집합론적 프레임워크로 해석하는 새로운 관점을 제시합니다.
이 논문은 n 차원 유클리드 공간과 볼록 영역에서 열 흐름 하에 보존되는 F-볼록성 (전통적인 멱함수 볼록성의 일반화) 을 특징짓고, 그 중 가장 강력하고 약한 형태를 규명합니다.
본 논문은 대류 항으로 인해 자유 에너지가 리아푸노프 함수가 되지 않는 비자율적 벌크 - 표면 컨벡티브 Cahn-Hilliard 시스템의 장기적 역학을 연구하여, 약해의 순간적 정칙성, 최소 풀백 끌개 (pullback attractor) 의 존재성, 그리고 로자셰프스키 - 시몬 부등식과 맞춤형 감쇠 추정을 통해 평형 상태로의 수렴성을 입증합니다.
이 논문은 5 차원 이상에서 인 경우, 사각 토러스 위의 라플라시안 고유함수에 대해 보르간과 데메터의 결과를 개선하여 가 큰 값에서 최적의 경계 (손실 없음) 를 증명하고, 이를 스펙트럴 프로젝터 및 고차원 구 위의 격자점 가법 에너지에 적용한 결과를 제시합니다.
이 논문은 Agda 증명 보조기를 사용하여 재귀적 추상 재작성 시스템 (ARS) 을 구성주의적으로 형식화하고, 고전 논리의 사용을 최소화하면서 종료성과 합류성에 대한 표준 결과를 정교화하고 일반화하며, 이를 람다 계산 형식화 예시를 통해 입증합니다.
이 논문은 3 차원 비압축성 오일러 방정식의 축대칭 비회전 클래스에서 초기 속도가 ($0<\alpha<1/3\alpha > 1/3$ 인 경우의 전역 정규성과 대조되는 정밀한 규칙성 임계값을 제시합니다.
이 논문은 -wise 상호작용을 갖는 강한 경쟁 체제 하의 반응 - 확산 시스템에 대해 균일 Hölder 경계와 극한 구성의 수렴성 및 정칙성을 증명합니다.
이 논문은 최대 차수가 제한된 모든 개의 정점을 가진 방향성 트리가 최소 반차수가 이상인 개의 정점을 가진 모든 방향 그래프에 포함됨을 증명하여, 이 임계값이 점근적으로 최적임을 보여줍니다.
이 논문은 -free 유방향 그래프의 최대 라플라시안 에너지와 이를 달성하는 극단적 그래프를 규명함으로써, 유방향 그래프에서의 스펙트럼 튀란 문제를 확장합니다.
이 논문은 스톤 이중성과 월먼 이중성을 넘어, 콤팩트 하우스도르프 공간과 가환 C*-대수 간의 겔판드-나임ark 이중성이 콤팩트 하우스도르프 공간, 특히 체흐-스톤 여집합과 그 자기동형사상에 대한 심층적인 통찰력을 제공한다고 주장합니다.
이 논문은 1 차원 바로트로픽 오일러 방정식에 대한 이산 루엔버거 관측기의 수렴성을 분석하여, 초기 조건 오차, 격자 크기, 측정 오차 및 누딩 매개변수에 의존하는 시간 독립적인 오차 상한을 최초로 증명하고 장기 시뮬레이션에서의 균일 정확성을 입증합니다.