TY - CHAP A1 - Sharma, Kartikey A1 - Hendrych, Deborah A1 - Besançon, Mathieu A1 - Pokutta, Sebastian T1 - Network Design for the Traffic Assignment Problem with Mixed-Integer Frank-Wolfe T2 - Proceedings of INFORMS Optimization Society Conference Y1 - 2024 ER - TY - JOUR A1 - Kreimeier, Timo A1 - Pokutta, Sebastian A1 - Walther, Andrea A1 - Woodstock, Zev T1 - On a Frank-Wolfe approach for abs-smooth functions JF - Optimization Methods and Software Y1 - U6 - https://doi.org/10.1080/10556788.2023.2296985 ER - TY - JOUR A1 - Designolle, Sébastien A1 - Vértesi, Tamás A1 - Pokutta, Sebastian T1 - Symmetric multipartite Bell inequalities via Frank-Wolfe algorithms JF - Physics Review A N2 - In multipartite Bell scenarios, we study the nonlocality robustness of the Greenberger-Horne-Zeilinger (GHZ) state. When each party performs planar measurements forming a regular polygon, we exploit the symmetry of the resulting correlation tensor to drastically accelerate the computation of (i) a Bell inequality via Frank-Wolfe algorithms and (ii) the corresponding local bound. The Bell inequalities obtained are facets of the symmetrized local polytope and they give the best-known upper bounds on the nonlocality robustness of the GHZ state for three to ten parties. Moreover, for four measurements per party, we generalize our facets and hence show, for any number of parties, an improvement on Mermin's inequality in terms of noise robustness. We also compute the detection efficiency of our inequalities and show that some give rise to the activation of nonlocality in star networks, a property that was only shown with an infinite number of measurements. Y1 - 2024 U6 - https://doi.org/10.1103/PhysRevA.109.022205 VL - 109 IS - 2 ER - TY - JOUR A1 - Deza, Antoine A1 - Pokutta, Sebastian A1 - Pournin, Lionel T1 - The complexity of geometric scaling JF - Operations Research Letters Y1 - 2024 U6 - https://doi.org/10.1016/j.orl.2023.11.010 VL - 52 SP - 107057 ER - TY - CHAP A1 - Wäldchen, Stephan A1 - Sharma, Kartikey A1 - Turan, Berkant A1 - Zimmer, Max A1 - Pokutta, Sebastian T1 - Interpretability Guarantees with Merlin-Arthur Classifiers T2 - Proceedings of International Conference on Artificial Intelligence and Statistics N2 - We propose an interactive multi-agent classifier that provides provable interpretability guarantees even for complex agents such as neural networks. These guarantees consist of lower bounds on the mutual information between selected features and the classification decision. Our results are inspired by the Merlin-Arthur protocol from Interactive Proof Systems and express these bounds in terms of measurable metrics such as soundness and completeness. Compared to existing interactive setups, we rely neither on optimal agents nor on the assumption that features are distributed independently. Instead, we use the relative strength of the agents as well as the new concept of Asymmetric Feature Correlation which captures the precise kind of correlations that make interpretability guarantees difficult. We evaluate our results on two small-scale datasets where high mutual information can be verified explicitly. Y1 - 2024 ER - TY - JOUR A1 - Braun, Gábor A1 - Guzmán, Cristóbal A1 - Pokutta, Sebastian T1 - Corrections to “Lower Bounds on the Oracle Complexity of Nonsmooth Convex Optimization via Information Theory” JF - IEEE Transactions on Information Theory N2 - This note closes a gap in the proof of Theorem VI.3 from the article “Lower Bounds on the Oracle Complexity of Nonsmooth Convex Optimization via Information Theory” (2017). Y1 - 2024 U6 - https://doi.org/10.1109/TIT.2024.3357200 VL - 70 IS - 7 SP - 5408 EP - 5409 ER - TY - CHAP A1 - Martínez-Rubio, David A1 - Roux, Christophe A1 - Pokutta, Sebastian T1 - Convergence and trade-offs in riemannian gradient descent and riemannian proximal point T2 - Proceedings of International Conference on Machine Learning Y1 - 2024 ER - TY - CHAP A1 - Mundinger, Konrad A1 - Pokutta, Sebastian A1 - Spiegel, Christoph A1 - Zimmer, Max T1 - Extending the Continuum of Six-Colorings T2 - Proceedings of Discrete Mathematics Days Y1 - 2024 ER - TY - JOUR A1 - Mundinger, Konrad A1 - Pokutta, Sebastian A1 - Spiegel, Christoph A1 - Zimmer, Max T1 - Extending the Continuum of Six-Colorings JF - Geombinatorics Quarterly Y1 - 2024 ER - TY - JOUR A1 - Parczyk, Olaf A1 - Pokutta, Sebastian A1 - Spiegel, Christoph A1 - Szabó, Tibor T1 - New Ramsey multiplicity bounds and search heuristics JF - Foundations of Computational Mathematics Y1 - 2024 ER - TY - CHAP A1 - Pauls, Jan A1 - Zimmer, Max A1 - Kelly, Una M A1 - Schwartz, Martin A1 - Saatchi, Sassan A1 - Ciais, Philippe A1 - Pokutta, Sebastian A1 - Brandt, Martin A1 - Gieseke, Fabian T1 - Estimating canopy height at scale T2 - Proceedings of International Conference on Machine Learning Y1 - 2024 ER - TY - CHAP A1 - Kiem, Aldo A1 - Pokutta, Sebastian A1 - Spiegel, Christoph T1 - The 4-color Ramsey multiplicity of triangles T2 - Proceedings of Discrete Mathematics Days Y1 - 2024 ER - TY - CHAP A1 - Kiem, Aldo A1 - Pokutta, Sebastian A1 - Spiegel, Christoph T1 - Categorification of Flag Algebras T2 - Proceedings of Discrete Mathematics Days Y1 - 2024 ER - TY - JOUR A1 - Carderera, Alejandro A1 - Besançon, Mathieu A1 - Pokutta, Sebastian T1 - Scalable Frank-Wolfe on generalized self-concordant functions via simple steps JF - SIAM Journal on Optimization Y1 - 2024 U6 - https://doi.org/10.1137/23M1616789 VL - 34 IS - 3 ER - TY - CHAP A1 - Hendrych, Deborah A1 - Besançon, Mathieu A1 - Pokutta, Sebastian T1 - Solving the optimal experiment design problem with mixed-integer convex methods T2 - 22nd International Symposium on Experimental Algorithms (SEA 2024) N2 - We tackle the Optimal Experiment Design Problem, which consists of choosing experiments to run or observations to select from a finite set to estimate the parameters of a system. The objective is to maximize some measure of information gained about the system from the observations, leading to a convex integer optimization problem. We leverage Boscia.jl, a recent algorithmic framework, which is based on a nonlinear branch-and-bound algorithm with node relaxations solved to approximate optimality using Frank-Wolfe algorithms. One particular advantage of the method is its efficient utilization of the polytope formed by the original constraints which is preserved by the method, unlike alternative methods relying on epigraph-based formulations. We assess our method against both generic and specialized convex mixed-integer approaches. Computational results highlight the performance of our proposed method, especially on large and challenging instances. Y1 - 2024 U6 - https://doi.org/10.4230/LIPIcs.SEA.2024.16 VL - 301 SP - 16:1 EP - 16:22 ER -