Events

Filter by:

Limit to events where the title matches:
Limit to events where the first date of the event:
Date range
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Speaker: Ting Kei Pong
Affiliation: The Hong Kong Polytechnic University
Location: MC 5501

Abstract:We consider the problem of minimizing the sum of a Lipschitz differentiable convex function and a proper closed convex function that admits efficient linear minimization oracles, subject to multiple smooth convex inequality constraints. We adapt the classical augmented Lagrangian (AL) method for these problems: in each iteration, our algorithm consists of one step of conditional gradient (CG) method applied to the AL function, followed by an update of the dual variable as in classical AL methods with a diminishing dual stepsize. We study the convergence rate of our algorithm under two standard stepsize rules for the CG method, namely, an open-loop stepsize and the short stepsize, and obtain a rate that matches the best-known complexity for this class of problems. We also establish accelerated rates when the aforementioned proper closed convex function is the indicator function of a uniformly convex set. This is a joint work with Xiaozhou Wang and Zev Woodstock.

Speaker: David Torregrosa Belén
Affiliation: University of Alicante
Location: MC 5501

Abstract:This talk presents a proximal stochastic subgradient method for minimizing the sum of an expected cost and a lower semicontinuous, prox-bounded function. We target a broad class of nonconvex integrands obeying a nonsmooth, localized variant of the descent lemma in the decision variable, which in particular covers smooth losses with Lipschitz gradient. At each iteration, the expected cost is replaced by a sample average that is progressively refined, and the proximal stepsize is selected by an Armijo-type line search enforcing a
sufficient decrease property up to stochastic errors induced by the sample-based approximation. This framework accommodates more general problem formulations than existing methods and our analysis yields convergence guarantees that, to the best of our knowledge, are new even in the smooth setting. Specifically, we establish almost sure convergence of the sequence of function values and stationarity of every accumulation point of the trajectories under the relaxed requirement that the sample-size sequence be merely nondecreasing and unbounded. Leveraging the Kurdyka-Lojasiewicz property, we further proof convergence of the whole trajectory to a single stationary point. Finally, for exponential-type desingularizing functions and polynomially growing sample sizes, we derive explicit polynomial convergence rates, up to logarithmic factor, for both the function values and the iterates. This is a joint work with Felipe Atenas, Pedro Pérez-Aros and Alejandro
Jofré, from the University of Chile.

Wednesday, August 5, 2026 2:00 pm - 3:00 pm EDT (GMT -04:00)

Master's Thesis Presentation - Martin Liu

Speaker: Martin Li
Supervisor(s): Vijay Bhattiprolu
Comittee: Jonathan Leake, Levent Tuncel
Location: MC 6483

Abstract:

The $d$-dimensional Grothendieck constant is the smallest constant $K$ such that \begin{align*} \sup\left\{\sum_{i,j=1}^n A_{ij}\langle u_i,v_j\rangle:u_i,v_j\in S^{d-1}\right\}\le K\cdot\sup\left\{\sum_{i,j=1}^n A_{ij}x_iy_j:x_i,y_j\in\{-1,1\}\right\} \end{align*}for any $n\in\mathbb{N}$ and any real $n\times n$ matrix $A$. The inequality above, called the Grothendieck inequality, has made a deep impact in a variety of areas such as functional analysis, quantum information theory, and optimization. Determining the $d$-dimensional Grothendieck constant for any $d\ge 3$ is a long-standing open problem.


In this paper, we propose a worst operator in dimension 3, whose $\infty\to 1$ norm is conjectured to be $1/K_G(3)$. We study a related class of operators with nice geometric interpretations, and we prove the function $f:S^{d-1}\to\{-1,1\}$ corresponding to a hyperplane is uniquely optimal for this class, with the isoperimetric inequality lying at the heart of our proof.

Speaker:

Leo Jung

Location: MC 5029

Abstract: 

Difficulties in solving large-scale optimization problems often arise from structural pathologies such as ill-conditioning, Hadamard ill-posedness, and degeneracy, particularly due to the failure of constraint qualifications. While standard algorithms often struggle to address these issues, preprocessing based on structural analysis offers an effective strategy for overcoming such challenges. This thesis investigates several preprocessing methods targeting various sources of these difficulties.
In Part I, we study a nonclassical, average condition number of linear systems, the $\omega$-condition number. Our results demonstrate several advantages of the $\omega$-condition number over the classical $\kappa$-condition number. First, $\omega$ provides a more accurate measure of the conditioning of linear systems by more faithfully capturing the effects of perturbations observed in practice. Second, $\omega$ exhibits superior numerical stability compared to $\kappa$. Third, when used in preconditioner design, $\omega$ more effectively promotes eigenvalue clustering, which is crucial for the efficiency of iterative solvers. Finally, the analytical simplicity of $\omega$ enables the derivation of explicit optimality conditions, allowing for closed-form expressions of optimal preconditioners under various frameworks, including low rank updates of the generalized Jacobian for semismooth Newton methods and diagonal or block-diagonal scaling. For diagonal preconditioning, we further include a comparison between two distinct notions of conditioning.
In Part II, we first answer in the affirmative a long-standing open question of whether the smooth stress function admits local nonglobal minimizers. This quartic nonconvex objective function arises in the exact recovery of a Euclidean distance matrix (EDM) of a given embedding dimension. By eliminating the Hadamard ill-posedness caused by translation and rotation invariance, we stabilize Newton's method and avoid singular Hessians. \\
We then consider the single-element error correction problem as a case study. We first show that the standard nearest EDM formulation based on minimizing the smooth stress function fails to recover the correct EDM in this setting. We then introduce divide-and-conquer strategies based on facial reduction. Our approach efficiently recovers the correct EDM with high accuracy, and we further provide criteria characterizing the existence of multiple solutions.
In Part III, we relate FR to the analysis of the convergence behaviour of a semismooth Newton method for projection onto a spectrahedron, i.e., the intersection of a linear manifold and the semidefinite cone. In this process, we derive an explicit formula for the projection onto a face of the semidefinite cone obtained via regularization and analyze pathologies that arise in the absence of strict feasibility. We further show that ill-conditioning of the Jacobian near optimality characterizes the degeneracy of the projection point. \\
As an application, we consider a simplified Wasserstein barycenter problem, a well-known NP-hard problem. We compute the Wasserstein barycenter by exploiting the structure of the linear constraints to obtain a facially reduced doubly nonnegative (DNN) relaxation. This reduction provides a natural splitting for applying the symmetric alternating direction method of multipliers (sADMM). The resulting algorithm exploits structure in the subproblems to compute strong upper and lower bounds. In most of the instances, we achieve the small gap between these bounds, which means that the original problem is solved.
Speaker:  ZiWen Wang
Supervisor: Levent Tuncel
Location: MC 5479

Abstract: 

Given an LP with tall and skinny constraint matrix, we will exploit this property and study an algorithm invented by Clarkson [8]. Although this algorithm has
been around for over 30 years, there were no software or implementation that could be found online, nor there be any benchmarks for these special tall and skinny LP s. We will describe some variants and changes to the algorithm aiming for practical performancesto close this gap.

We also study a first order algorithm aimed for large scale LP s proposed by a group of researchers from Google [2], [3] called PDLP. And compare it with Clarkson’s algorithm.

Speaker:  Amaan Khan
Supervisor: Levent Tuncel
Location:  MC 5479

Abstract: 

Second-order Interior Point Methods (IPM) have been studied extensively over the past 80 years, proving effective for conic optimization. They can produce high-precision approximate solutions in few iterations. Each iteration is computationally expensive: The core of each iteration is a large matrix inversion that scales poorly with the number of variables.

In large-scale applications, we cannot bear the per-iteration cost (perhaps due to lack of memory), so we instead turn to first-order methods. We study a first-order IPM that uses a low-rank update scheme to replace the matrix inversion with significantly lower per-iteration cost, and compare this to other first-order methods for solving LP at scale.

Speaker:

David Aleman
Affiliation: University of Waterloo
Location: MC 6029

Abstract: 

The multicommodity flow problem involves routing multiple distinct commodities through a shared network. An instance is given by an undirected graph G=(V, E(G) ) with edge capacities, and a collection of source-sink pairs (s_i,t_i) in V with associated nonnegative demands d(s_i, t_i). It will be convenient to think of the source-sink pairs as forming the edges of a demand graph H=( V, E(H) ). A flow is feasible if it routes all demands without exceeding the edge capacities, and it is unsplittable if it routes each demand along a single path. Let C be the smallest value such that the existence of a feasible flow implies the existence of an unsplittable flow that exceeds the edge capacities by at most an additivie amount of C times the maximum demand value. 
We show that if G+H = (V, E(G) U E(H) ) is planar, then  1.5<= C <= 2.
Joint work with Kumar, Poremba, and Shepherd. 
 
Speaker: Michael Friedlander
Affiliation: University of British Columbia.
Location: MC 5501

Abstract: Conic geometry encodes combinatorial properties of a convex program. Under a probabilistic model of the data, these combinatorial properties become random events. Their likelihood is the measure of a cone. We illustrate this view with a dual pair of questions. First, how much can a linear program be regularized before its solution changes? With random costs, the answer turns on the Gaussian measure of the solution's normal cone. Second, how many measurements are needed to separate a superposition of structured signals? Here, each signal's complexity is the statistical dimension of its descent cone. A convex program recovers the components once the measurement count exceeds the total complexity.

Based on joint work with Sharvaj Kubal, Yaniv Plan, and Matthew Scott; Zhenan Fan, Halyun Jeong, and Babhru Joshi; and Ives Macêdo and Ting Kei Pong.
Speaker: David Evangelista
Supervisor(s): Joseph Cheriyan and Sophie Spirkl
Committee: Jane Gao, Eric Blais
Location: MC 5417

Abstract: 

A tournament $\T=(V,A)$ on $n$ vertices is an orientation of the complete graph $K_n$. The backedge graph of $T$ with respect to an ordering of $V$ is the undirected graph on vertex set $V$ whose edge set corresponds to the arcs directed from a later vertex to an earlier vertex in the ordering. Backedge graphs provide concise representations of the tournament. The algorithmic problem of determining whether a tournament admits a backedge graph in a given class of undirected graphs varies in complexity, and is often equivalent to computing parameters of tournaments, such as degreewidth when the backedge graph has bounded maximum degree \cite{Davot et al., 2023}. We extend the notion of degreewidth by introducing directional degreewidth, which separately bounds the left-degrees and right-degrees of vertices in addition to bounding the total degrees. We obtain an algorithm for verifying bounds on the directional degreewidth of the tournament, whose runtime is polynomial time when the total degree is unbounded, or fixed-parameter tractable time with respect to the total degree bound otherwise. We also provide a polynomial-time algorithm for computing a $P_3$-free backedge graph of a tournament, if it exists. Together with existing results, the latter result settles the complexity of determining whether a tournament admits an $H$-free backedge graph when $H$ is any graph on three vertices.