Semidefinite Programming and Ramsey Numbers [PDF]
SIAM Journal on Discrete Mathematics, 2021 Finding exact Ramsey numbers is a problem typically restricted to relatively small graphs. The flag algebra method was developed to find asymptotic results for very large graphs, so it seems that the method is not suitable for finding small Ramsey numbers. But this intuition is wrong, and we will develop a technique to do just that in this paper.
Bernard Lidický, Florian Pfender
openaire +6 more sources
Low-rank semidefinite programming for the MAX2SAT problem [PDF]
AAAI Conference on Artificial Intelligence, 2018 This paper proposes a new algorithm for solving MAX2SAT problems based on combining search methods with semidefinite programming approaches. Semidefinite programming techniques are well-known as a theoretical tool for approximating maximum satisfiability
Kolter, J. Zico, Wang, Po-Wei
core +2 more sources
Quantum steering: a review with focus on semidefinite programming [PDF]
Reports on progress in physics. Physical Society, 2016 Quantum steering refers to the non-classical correlations that can be observed between the outcomes of measurements applied on half of an entangled state and the resulting post-measured states that are left with the other party. From an operational point
Cavalcanti, D., Skrzypczyk, P.
core +5 more sources
Guarantees for data-driven control of nonlinear systems using semidefinite programming: A survey [PDF]
Annual Reviews in Control, 2023 This survey presents recent research on determining control-theoretic properties and designing controllers with rigorous guarantees and for nonlinear systems for which no mathematical models but measured trajectories are available.
Tim Martin +2 more
semanticscholar +1 more source
Semidefinite Programming in Quantum Information Science [PDF]
, 2023 Semidefinite programs (SDPs) are a class of optimisation problems that find application in numerous areas of physics, engineering and mathematics. Semidefinite programming is particularly suited to problems in quantum physics and quantum information ...
Paul Skrzypczyk, D. Cavalcanti
semanticscholar +1 more source
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming [PDF]
IEEE Conference on Decision and Control, 2020 There has been an increasing interest in using neural networks in closed-loop control systems to improve performance and reduce computational costs for on-line implementation.
Haimin Hu +3 more
semanticscholar +1 more source
A Faster Interior Point Method for Semidefinite Programming [PDF]
IEEE Annual Symposium on Foundations of Computer Science, 2020 Semidefinite programs (SDPs) are a fundamental class of optimization problems with important recent applications in approximation algorithms, quantum complexity, robust learning, algorithmic rounding, and adversarial deep learning.
Haotian Jiang +4 more
semanticscholar +1 more source
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming [PDF]
IEEE Transactions on Automatic Control, 2019 Certifying the safety or robustness of neural networks against input uncertainties and adversarial attacks is an emerging challenge in the area of safe machine learning and control.
Mahyar Fazlyab, M. Morari, George Pappas
semanticscholar +1 more source
Enhancing pseudo-telepathy in the magic square game. [PDF]
PLoS ONE, 2013 We study the possibility of reversing an action of a quantum channel. Our principal objective is to find a specific channel that reverses as accurately as possible an action of a given quantum channel. To achieve this goal we use semidefinite programming.
Lukasz Pawela +3 more
doaj +1 more source
A Survey of Recent Scalability Improvements for Semidefinite Programming with Applications in Machine Learning, Control, and Robotics [PDF]
Annu. Rev. Control. Robotics Auton. Syst., 2019 Historically, scalability has been a major challenge for the successful application of semidefinite programming in fields such as machine learning, control, and robotics.
Anirudha Majumdar +2 more
semanticscholar +1 more source