Constructing -free Hardy fields
이 논문은 모든 하디 필드가 -프리 하디 필드로 확장될 수 있음을 증명하여 고전적인 진동 판정법과 관련성을 밝히고, 보셰르니츠한의 질문들에 대한 답변과 그의 정리의 일반화를 제시합니다.
60 편의 논문
이 논문은 모든 하디 필드가 -프리 하디 필드로 확장될 수 있음을 증명하여 고전적인 진동 판정법과 관련성을 밝히고, 보셰르니츠한의 질문들에 대한 답변과 그의 정리의 일반화를 제시합니다.
이 논문은 소수성과 서로소인 표수 조건 하에서 유한군의 유리 불변량 체를 생성하는 다항식의 최소 차수와 그 체를 벡터 공간으로 생성하는 다항식의 최소 차수 사이의 관계를 규명하고, 표수 조건을 완화하여 다양한 부등식을 증명함으로써 에디킨과 카츠, 콜라르와 판의 최근 결과를 일반화 및 정제합니다.
이 논문은 특정 단항식 아이디얼의 코호몰로지 서포트 다양체가 선형 부분공간의 합집합이 아님을 보여주는 예시를 제시하고, 계산 효율성을 개선한 알고리즘을 통해 동차 단항식 아이디얼에 대한 분류를 컴퓨터를 통해 증명합니다.
이 논문은 후미 그래프 (whisker graph) 의 에지 아이디얼에 대한 제곱근 거듭제곱이 생성하는 매칭-프리 복소수의 순수성, 쉘러빌리티, 코헨-맥aulay 성 및 깊이와 같은 대수적·결합적 성질을 완전히 규명하고, 기존 깊이에 관한 추측을 검증합니다.
이 논문은 동차 다항식의 국소 일반화 가법 분해 (GAD) 를 구성하기 위해 역계 (inverse system) 의 랭크를 최소화하는 행렬식 기반 방법을 제안하고, 국소 GAD-랭크가 차수를 초과하지 않을 때 모든 최소 분해를 텐서 확장 없이 구할 수 있음을 증명합니다.
이 논문은 노에테르 등급 이상족에 대해 점근적 v-수 존재성을 증명하고, 이를 뉴턴-오두코프 영역 및 적분 폐포와 연결하며, v-수와 Castelnuovo-Mumford 정칙성 및 중복도 사이의 부등식 관계를 규명합니다.
이 논문은 단체 복소수 이론을 활용하여 그리드 폴리노미얼의 룩 다항식이 해당 좌표환의 h-다항식과 일치함을 증명하고, 이를 통해 한 개의 구멍을 가진 프레임 폴리노미얼에 대한 기존 결과를 일반화했습니다.
이 논문은 그래프의 간선 아이디얼이 스카프 해를 갖는 필요충분 조건이 해당 그래프가 갭이 없는 숲 (gap-free forest) 임을 증명하고, 모든 거듭제곱이 스카프 해를 갖는 연결 그래프를 분류하며, 숲의 스카프 복합체에 대한 구체적인 기술과 일반 그래프에 대한 재귀적 구성 방법을 제시합니다.
이 논문은 에지 아이디얼의 제곱 에 대한 스탠리 - 라이저 복합체의 완전한 기술을 제시하여 Reisner 의 기준을 직접 적용할 수 있도록 하고, 사이클, 귀머거리 그래프, 트리, 연결된 코언 - 맥aulay 쌍분할 그래프 등 특정 그래프 클래스에 대해 가 코언 - 맥aulay 가 되기 위한 필요충분조건이 가 오각형이거나 단일 간선으로 구성되는 것임을 증명합니다.
이 논문은 -injectivity 성질이 -fullness 성질을 함의하지 않음을 보이는 3 차원 국소 기하학적 정칙 영역과 2 차원 국소 기하학적 정칙 영역의 반례를 구성하며, 순수 비분해 유한 기저 확장에 따른 -injectivity 의 거동을 주요 주제로 다룹니다.
이 논문은 정수값 다항식 환 가 프뤼퍼 (Prüfer) 영역이 되는 조건을 완전히 분류하며, 특히 반원시 (semiprimitive) 영역 의 경우 가 유한한 잔류체와 특정 조건을 만족하는 거의 데데킨트 (almost Dedekind) 영역들의 유한 직합으로 표현되는 가환 대수일 때에만 해당 환이 프뤼퍼 영역이 됨을 증명합니다.
이 논문은 대수적으로 닫힌 체 위에서 모티빅 안정 호모토피 군을 계산하여 복소수 실현 사상이 특정 범위에서 동형사상이 됨을 보이고, 이를 통해 스테이플리 프리 모듈이 자유 부분모듈을 가지는 조건을 결정합니다.
이 논문은 다변수 다항식 환의 비영 아이디얼 모노이드에서 원자 분해와 길이 집합을 연구하여, 기존 단위-취소 모노이드 이론을 확장하고 단항식 아이디얼 부분모노이드의 산술적 성질을 규명합니다.
이 논문은 표수가 0 인 대수적으로 닫힌 체 위에서 차수가 인 매끄러운 아핀 대수 와 랭크 인 비자명하지만 전체 체른 클래스가 자명한 사영 -모듈 를 구성하여, 체른 클래스가 자명하다고 해서 모듈이 자명해지지 않음을 보여줍니다.
이 논문은 차세대 대규모 언어 모델을 인용 기반 검증에 최적화된 경량 자동화 파이프라인에 통합하여 ICCM 및 'First Proof'와 같은 연구 수준의 수학 문제들을 해결하고 그 증명을 검증 및 공개했다는 점을 보여줍니다.
이 논문은 노에터 국소환에서 -주아이디얼의 등급적 가족에 대한 일반화된 중복도 (multiplicity) 를 정의하고, 이를 -스킴의 불로우업 (blow-up) 에서의 교차곱의 극한으로 해석하여 고전적 중복도 이론의 여러 정리들을 단순한 증명으로 일반화합니다.
이 논문은 임의의 체에서 정의된 텐서 함수에 대한 결과를 확장하는 기저 변환 프레임워크를 제시하여, 3-텐서의 슬라이스 랭크가 기하학적 랭크에 의해 선형적으로 제한되고 점근적 슬라이스 랭크가 존재함을 증명합니다.
이 논문은 차원 원시 멱등원과 다차원 사이클로토믹 궤적을 활용하여 유한체 위의 임의 차원 다중 순환 부호를 통일된 조합론적 - 대수적 방법으로 구성하고, BCH 및 리드 - 솔로몬 부호의 일반화인 최적 곱계수를 제시하는 효율적인 알고리즘을 제안합니다.
이 논문은 아핀 모노이드의 원소들을 기약 원소의 합으로 표현하는 방식을 활용하여, 등급 역순 사전식 (graded reverse lexicographic order) 에 대한 단순형 토릭 아이디얼의 초기 아이디얼을 생성하는 집합을 기술하고, 이를 통해 축소된 그뢰브너 기저를 유도하는 방법 및 그뢰브너 기저의 최대 차수와 카스텔누보 - 무포드 정규도 (Castelnuovo-Mumford regularity) 를 비교합니다.
이 논문은 이전 연구에서 자동사상형과 미분형 스케이브 다항식 환에 대해 증명된 미야시타의 정리를 일반 스케이브 다항식 환 로 확장하여 새로운 증명을 제시합니다.