Quantization Robustness of Monotone Operator Equilibrium Networks
이 논문은 단조 연산자 균형 네트워크의 가중치 양자화를 스펙트럼 섭동으로 분석하여, 양자화 오차가 단조성 마진보다 작을 때만 수렴이 보장되며 MNIST 실험을 통해 5 비트 이상에서 수렴하고 4 비트 이하에서는 발산하는 임계값을 확인하고 양자화 인식 학습으로 이를 회복할 수 있음을 증명합니다.
🔢 Category
math.OC
338 편의 논문
Practical Regularized Quasi-Newton Methods with Inexact Function Values
이 논문은 수치적 오차가 포함된 비볼록 최적화 문제를 해결하기 위해 정규화 파라미터 업데이트 규칙과 완화된 아르미조 라인 서치를 결합한 잡음 내성 정규화 준뉴턴 방법을 제안하고, CUTEst 벤치마크를 통해 기존 방법보다 뛰어난 견고성과 경쟁력 있는 수렴 속도를 입증했습니다.
Computing and Optimizing the -norm of Delay Differential Algebraic Systems
이 논문은 시간 지연을 가진 준명시적 지연 미분 대수 방정식 시스템의 -노름 근사 및 최적화를 위한 란초스 타우 방법의 수렴성과 안정성을 증명하고, 효율적인 기울기 계산을 통해 강인한 제어기 설계 및 안정한 근사 모델 생성에 활용할 수 있음을 보여줍니다.
Distributed Stability Certification and Control from Local Data
이 논문은 개별 에이전트가 원시 데이터를 공유하지 않고 로컬 데이터만 활용하여 분산 동적 알고리즘을 통해 전역 시스템 안정성 증명 (Lyapunov) 과 최적 제어기 (LQR) 를 설계하는 방법을 제안합니다.
Convergence Analysis of a Fully Discrete Observer For Data Assimilation of the Barotropic Euler Equations
이 논문은 1 차원 바로트로픽 오일러 방정식에 대한 이산 루엔버거 관측기의 수렴성을 분석하여, 초기 조건 오차, 격자 크기, 측정 오차 및 누딩 매개변수에 의존하는 시간 독립적인 오차 상한을 최초로 증명하고 장기 시뮬레이션에서의 균일 정확성을 입증합니다.
Sharp propagation of chaos for mean field Langevin dynamics, control, and games
이 논문은 쌍체 상호작용에 국한되지 않는 비선형 계수를 갖는 맥케인-블라브 방정식에 대해 유한 시간 및 균일 시간 범위에서 정밀한 혼란 전파 속도를 확립하고, 이를 평균장 게임, 제어 및 평균장 랑주뱅 역학에 적용하여 수렴성을 증명합니다.
On Utility Maximization under Multivariate Fake Stationary Affine Volterra Models
이 논문은 비마르코프적 특성을 가진 다변수 가짜 정상 아핀 볼테라 환경에서 마르팅게 최적성 원리와 리카티 역확률미분방정식을 활용하여 메르톤 포트폴리오 최적화 문제의 반폐형 해를 유도하고, 이를 통해 정상적인 거친 변동성이 최적 전략에 미치는 영향을 분석합니다.
Existence and uniqueness results for a mean-field game of optimal investment
이 논문은 생산된 상품의 판매 가격을 통해 모델링된 확률적 평균장 게임으로서의 최적 투자 문제에 대해, 유한 및 무한 시간 범위를 모두 포괄하여 균형의 존재성과 유일성을 증명하고 결정론적 대응 사례도 조사합니다.
A partitioned optimization framework for structure-aware optimization
이 논문은 변수 공간의 분할을 통해 문제를 단순화하고 이를 도함수 없는 최적화 기법으로 해결하는 '분할 최적화 프레임워크 (POf)'와 이를 위한 '도함수 없는 분할 최적화 방법 (DFPOm)'을 제안하여 무한차원 최적 제어 및 유한차원 복합 그레이박스 문제 등 다양한 문제에 적용 가능한 효율적인 해법을 제시합니다.
Duality theory in linear optimization and its extensions -- formally verified
이 논문은 Lean 4 를 사용하여 선형 순서체에서 파카스 (Farkas) 와 유사한 정리들을 형식적으로 증명하고, 일부 계수가 '무한대' 값을 가질 수 있는 경우로 선형 최적화의 쌍대성 이론을 확장합니다.
Parallel Graver Basis Extraction for Nonlinear Integer Optimization
이 논문은 비선형 정수 최적화에서 그라버 기저 (Graver basis) 방향 추출의 병목 현상을 해결하기 위해 병렬 1 차 최적화 기법을 활용한 대규모 병렬 휴리스틱을 개발하고, QPLIB 와 MINLPLib 벤치마크에서 기존 고급 솔버와 유사한 성능을 입증했습니다.
Dynamically optimal portfolios for monotone mean--variance preferences
이 논문은 독립 수익률을 가진 자산 가격 모델에서 최소의 가정 하에 단조 평균 - 분산 (MMV) 효용에 대한 동적 최적 포트폴리오 선택을 최초로 완전히 특징짓고, 이를 단조 샤프 비율과 연결하며 평균 - 분산 효율 포트폴리오가 MMV 효율이 되기 위한 필요충분조건을 제시합니다.
Mean Field Games with Reflected Dynamics
이 논문은 완화된 제어와 마팅갈 문제의 프레임워크를 활용하여 반사 확률 미분방정식을 포함하는 평균장 게임의 균형 존재성을 증명합니다.
Entropic Mirror Descent for Linear Systems: Polyak's Stepsize and Implicit Bias
이 논문은 무제한 영역의 선형 시스템 해법을 위해 Polyak 스텝사이즈 변형을 도입하여 엔트로피 미러 디센트의 수렴성을 증명하고, -노름 암시적 편향을 강화하며 지수 연산 없이 수렴이 보장되는 대안적 방법을 제안합니다.
Optimized Fish Locomotion using Design-by-Morphing and Bayesian Optimization
이 논문은 디자인 바이 모핑과 베이지안 최적화를 결합한 계산 프레임워크를 통해 파동형 수영 프로파일을 최적화하여 기존 어류 운동 모드 대비 추진 효율을 16~35% 향상시키는 결과를 제시합니다.
Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
이 논문은 한 에이전트가 피드백 전략인 일정한 방위각 추종 전략을 사용하여 다른 에이전트를 추적할 때 발생하는 '의존적 도달 가능 영역'의 기하학적 특성과 경계를 이론적으로 규명하고 시뮬레이션을 통해 검증합니다.
Smoothing-Enabled Randomized Stochastic Gradient Schemes for Solving Nonconvex Nonsmooth Potential Games under Uncertainty
이 논문은 불확실성 하의 비볼록 비매끄러운 잠재 게임 해법을 위해 무작위 확률적 경사법과 평활화 기법을 결합한 새로운 알고리즘을 제안하고, 기존 연구의 제한적 가정을 넘어 최적의 샘플 복잡도를 달성하는 이론적 근거와 수치적 유효성을 입증합니다.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
이 논문은 이산 시간 확률 시스템의 안전성 검증을 위해 선형, 다항식, 그리고 일반 비선형 동역학까지 포괄적으로 지원하며 기존 도구보다 계산 속도와 확장성에서 월등한 성능을 보이는 오픈소스 자바 (Julia) 기반 도구인 'StochasticBarrier.jl'을 소개합니다.
Quantum thermodynamics and semidefinite programming: regularization and algorithms
이 논문은 양자 열역학의 변분 문제를 해결하기 위해 비가환 최적 수송에서 영감을 받은 방법을 활용하여 일반화된 정규화 체계를 개발하고, 양자 상태 단층 촬영 및 양자 최적 수송에 적용하며 알고리즘의 수렴성을 분석합니다.
Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
이 논문은 이산 사건 시스템의 모델이 알려지지 않은 상황에서 주어진 사양을 만족하는 비차단 마킹 감독기를 설계하기 위한 조건인 '마킹 데이터 정보성' 개념을 제안하고, 이를 검증하는 알고리즘을 개발하며 데이터가 불충분할 경우를 위한 확장 개념과 알고리즘을 제시합니다.