Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
이 논문은 Lean 을 활용한 형식화를 통해 2006 년에 발표된 2HDM 잠재력 안정성 연구의 주요 정리에 오류가 있음을 발견하여, 물리학 논문에서 형식화를 통해 비자명한 오류가 처음 확인된 사례임을 보고합니다.
496 편의 논문
이 논문은 Lean 을 활용한 형식화를 통해 2006 년에 발표된 2HDM 잠재력 안정성 연구의 주요 정리에 오류가 있음을 발견하여, 물리학 논문에서 형식화를 통해 비자명한 오류가 처음 확인된 사례임을 보고합니다.
본 논문은 미래 경입자 충돌기에서 과정을 통해 최종 상태 전자의 방위각 차이 () 를 분석함으로써 ALP-광자 상호작용의 CP 보존 및 위반 성질을 구별하고, 현재 전자 전기 쌍극자 모멘트 제약보다 민감한 ALP-광자 결합 상수 () 탐지 가능성을 제시합니다.
이 논문은 원자 및 분자 분광학 실험을 통해 로런츠 대칭성 위반의 신호를 탐지하는 방법을 논의하며, 기존에 제약된 비상대론적 유효 SME 계수를 개괄하고 고각운동량 상태를 포함한 전이를 활용하여 아직 제약되지 않은 계수에 대한 최초의 경계를 설정할 수 있는 전망을 제시합니다.
이 논문은 메트릭-아프리케 번불비 모델에서 자발적 로런츠 대칭 깨짐이 중력파의 분산 관계, 편광 특성, 복사 영역 및 쌍성계의 중력파 방출에 미치는 영향을 연구하고 GW170817 관측 데이터를 활용하여 로런츠 대칭 위반 매개변수에 대한 제약을 도출합니다.
이 논문은 연산자 곱 전개와 인자화를 통해 격자 QCD 의 등시 상관함수로부터 바리온의 경량 전면 파동함수 (LFWF) 를 추출하는 방법을 제시하고, 재규격화 가능성과 스케일 의존성을 규명합니다.
이 논문은 2026 년 관점에서 다크 광자의 이론적 배경과 입자물리학 연구에서의 중요성을 설명하고, 실험실, 천체물리학적, 우주론적 탐사 기법을 활용한 탐색 현황을 교육적으로 개괄합니다.
이 논문은 Curci-Ferrari-Delbourgo-Jarvis 게이지에서 동적 쿼크를 포함한 1-루프 쿼크 전파자를 계산하여, 게이지 매개변수가 유한할 때 적외선 안정성이 확인되고 격자 계산 경향을 더 잘 재현할 수 있음을 보여주었습니다.
이 논문은 새로운 '일반화된 안테나 형식주의'를 활용하여 힉스 입자의 붕괴 채널인 와 사이의 차이를 정량화하기 위해 제트율 및 사건 형태 관측량을 NNLO 정확도까지 계산하고, 일부 관측량의 경우 NNLL 재합산을 적용하여 정밀한 예측을 제공했습니다.
이 논문은 전기약력, QCD, QED 방사 보정 및 파이온 질량 분열 효과를 일관되게 반영하여 격자 QCD 와 실험 데이터를 기반으로 한 물리적 값 간의 관계를 업데이트하고, 이를 통해 격자 QCD 결과인 의 새로운 추정치를 제시합니다.
이 논문은 대칭과 아벨 이산 대칭을 기반으로 한 역 시스 (inverse seesaw) 모델을 제시하여, 특정 대칭 깨짐을 통해 코빅시멀 (cobimaximal) 혼합 패턴을 유도하고 정상 질량 계층 구조 하에서 우주의 바리온 비대칭을 성공적으로 설명합니다.
이 논문은 중력 (Starobinsky 모델) 하에서 중성자별 내부와 외부 시공간을 일관되게 연결하여 지오데식 구조를 분석한 결과, 안정된 원형 궤도가 중성자별의 중심 압력과 상태 방정식, 그리고 모델 매개변수에 민감하게 반응하는 이산적인 반경 대역으로 나타나는 반면, 연구된 매개변수 범위 내에서는 중성자별 외부에 광자 구가 존재하지 않음을 밝혔습니다.
이 논문은 두 개의 스핀이 없는 블랙홀이 병합하여 생성된 최종 상태가 광자 고리를 가장 빠르게 난수화하는 불안정한 광자 궤도 조건과 놀라운 정확도로 일치함을 보여줌으로써, 블랙홀 병합과 불안정한 광자 궤도 사이의 깊은 연관성을 규명했습니다.
이 논문은 페르미 위성의 감마선 관측 데이터와 중성미자 스펙트럼을 결합하여 NGC 1068 등 밝은 중성미자 활동은하핵의 방출 메커니즘을 규명하고, 제트가 정지된 활동은하핵이 등방성 중성미자 배경에 기여하는 정도를 분석함으로써 향후 중성미자 활동은하 식별 전망을 제시합니다.
이 논문은 SN1987A 폭발 당시 태양 최대 임무 (SMM) 위성의 감마선 관측 데이터를 재분석하여, 중성자별 핵에서의 핵자 제동복사 과정을 통해 생성된 경량 CP-even 스칼라 입자가 광자로 붕괴할 경우 발생할 수 있는 감마선 과잉 신호가 관측되지 않았음을 근거로, 해당 스칼라 입자와 표준 모형 힉스 입자 간의 혼합 각도에 대한 새로운 제한을 설정했습니다.
이 논문은 경로 적분 기반 방법을 활용하여 열적 환경과 상호작용하는 열린 양자계에서 초기 상관관계를 가진 포크 상태 확률의 시간 변화를 직접 계산하는 새로운 접근법을 제시하고, 이를 중성미자 토이 모델에 적용하여 질량이 가벼운 중성미자가 환경과의 상호작용으로 인해 더 큰 입자 수 왜곡을 보임을 규명했습니다.
이 논문은 SU(3) 맛깔 대칭성과 LHCb 및 Belle-II 의 최신 CP 비대칭성 측정 데이터를 활용하여 펭귄 도형 효과를 정밀하게 보정함으로써 표준 모형을 검증하고 새로운 물리를 탐색하는 데 필수적인 와 혼합 위상의 고정밀 측정을 달성하는 방법을 제시합니다.
이 논문은 중이온 충돌에서 열광자와 디렙톤 스펙트럼을 결합하여 쿼크 - 글루온 플라즈마 (QGP) 의 초기 시간적 집단 운동을 직접 측정 가능한 양인 유효 반경 유속 () 으로 추출하는 새로운 전자기 단층촬영 기법을 제안하고, 이를 통해 RHIC 및 LHC 의 향후 실험을 위한 구체적인 로드맵을 제시합니다.
이 논문은 2 TeV TRISTAN 동전하 뮤온 충돌기에서 차원 7 SMEFT 연산자가 유도하는 레pton 수 위반 과정을 연구하여, 기존 LHC 제약 조건 및 미래 FCC 전망과 비교함으로써 동전하 뮤온 충돌기가 TeV 규모의 새로운 물리 현상을 탐지하는 강력한 수단이 될 수 있음을 시사합니다.
이 논문은 제안된 뮤온 충돌기에서 스칼라 레프토퀴크 이중항의 간접 탐지 및 우측 손지기 중성미자를 매개로 한 직접 생성 과정을 분석하여, HL-LHC 의 능력을 훨씬 능가하는 다중 TeV 영역의 파라미터 공간을 탐색할 수 있음을 보여줍니다.
이 논문은 중성자별의 자기장, 열적, 회전적 진화를 설명하는 이론적 틀과 수치 모델을 개괄하고, 다양한 차원의 시뮬레이션 결과를 검토하며 향후 연구 방향을 제시하는 종합적인 리뷰입니다.