Paper provides a performance guarantee for spectral clustering.
problem Finding the global solution to the minimum ratio cut problem.
method Two-step spectral clustering method with a rounding step, analyzed using two-to-infinity norm perturbation bounds.
result Spectral clustering is guaranteed to output the global solution under certain conditions.
This paper provides theoretical guarantees for spectral clustering using graph cuts.
problem Lack of performance guarantees for spectral clustering.
method Convex relaxation of graph cuts, spectral proximity condition, algebraic connectivity, inter-cluster connectivity.
result Deterministic bounds for successful spectral clustering are derived.
Graph reduction preserves spectral and cut properties without significant loss.
problem Can graphs be reduced in size without altering their fundamental properties?
method Restricted spectral approximation, focusing on coarsening.
result Improved quality coarse graphs found without sacrificing speed.
Unified framework for differentiable graph partitioning with probabilistic cuts.
problem Lack of general guarantees and principled gradients in prior probabilistic relaxations of graph cuts.
method Unified probabilistic framework covering a wide class of cuts, including Normalized Cut, with tight analytic upper bounds.
result Rigorous, numerically stable foundation for scalable, differentiable graph partitioning.
Improved model capacity for graph cut algorithms by relaxing submodularity constraints.
problem Improving graph cut algorithms for complex image processing tasks.
method Enforce probably approximately submodular pairwise potentials instead of guaranteed submodular ones.
result Substantial improvement in model capacity with reduced inference error.
NeVI-Cut uses neural networks to efficiently propagate uncertainty without feedback.
problem Efficiently propagating uncertainty in downstream Bayesian analysis without feedback.
method NeVI-Cut combines neural networks and normalizing flows for variational inference.
result NeVI-Cut achieves significant computational gains and higher accuracy than traditional methods.
Tangles improve clustering in various datasets.
problem Clustering diverse datasets efficiently and accurately.
method Tangles aggregate cuts to identify dense structures, leading to soft cluster characterization.
result Tangle framework generates hierarchical soft dendrograms for cluster exploration.
Active learning reconstructs hierarchical tree cuts from leaf similarity.
problem Reconstructing hierarchical tree cuts from pairwise leaf similarity.
method Pairwise similarity over tree leaves; active learning; regret and query complexity bounds.
result Theoretical guarantees on statistical error and practical linear-time implementations.
New algorithm clusters Gaussian mixtures with unknown covariance efficiently.
problem Clustering data from a mixture of Gaussians with unknown covariance.
method Developed an efficient spectral algorithm based on a Max-Cut integer program.
result Achieves optimal misclassification rate with quadratic sample size.
A new algorithm solves semidefinite programs using Langevin diffusion.
problem Optimizing semidefinite programs with diagonal constraints.
method Langevin diffusion on a product manifold of spheres.
result Langevin algorithm achieves ε accuracy in Ω(ε^-5) iterations.
New algorithm for multiway spectral clustering on Grassmann manifolds.
problem Efficiently computing multiple eigenvectors of a nonlinear graph Laplacian.
method Direct multiway spectral clustering in p-norm, reformulated as minimization on Grassmann manifold. result Monotonic decrease of balanced graph cuts leads to optimal solutions.
Quantum algorithm speeds up MIP solving by a near-quadratic factor.
problem Solving Mixed Integer Programs (MIPs) efficiently.
method Incremental-Quantum-Branch-and-Bound algorithm combining quantum speedup with classical search heuristics.
result Universal near-quadratic speedup over classical Branch-and-Bound algorithms.
Develops a new weighted Laplacian method for graph problems.
problem Graph partitioning and balanced minimum cut problems.
method Weighted Laplacian method based on graph theory and PDEs.
result Established equivalence relations among graph problems.
Graph cuts find global optima for Potts models in slight perturbations.
problem Finding optimal solutions in Potts models with graph cuts.
method α-expansion algorithm for MAP inference, with certification for perturbations.
result All local minima are global minima in slight perturbations, and solutions are close to original.
An important form of prior information in clustering comes in form of cannot-link and must-link constraints. We present a generalization of the popular spectral clustering technique which integrates such constraints. Motivated by the recently proposed 1-spectral clustering for the unconstrained problem, our method is…
New polynomial-time solutions found for training ReLU networks, mirroring Max-Cut complexity.
problem Training two-layer ReLU neural networks with weight decay regularization.
method Developed a convex formulation and randomized algorithm to find approximate global optimizers.
result First polynomial-time approximation guarantees and hardness of approximation results for regularized ReLU networks.
New classification of nonorientable 4-manifolds with specific fundamental groups.
problem Classifying nonorientable 4-manifolds with cyclic fundamental groups.
method Simple cut-and-paste construction, using results from Hambleton-Kreck-Teichner and Khan.
result Plausible classification of a large set of nonorientable 4-manifolds with cyclic fundamental groups of order 2p.
NeuralCut learns to select cutting planes by looking ahead, outperforming traditional methods.
problem Selecting effective cutting planes for MILP optimization.
method Imitation learning on a lookahead expert to train a neural network for cut selection.
result NeuralCut outperforms standard baselines in cut selection for MILP benchmarks.
Differentiable cutting-plane layers solve parametric mixed-integer linear optimization problems.
problem Solving parametric mixed-integer linear optimization problems with changing data.
method Introducing cutting-plane layers (CPLs) for differentiable cutting-plane generation.
result The algorithm computes solutions with low integrality gaps and generalizes to unseen instances.
Paper connects probability density cuts to graph theory eigenfunctions.
problem Developing sparse cuts for probability densities.
method Defines sparse cuts and principal eigenfunctions for probability densities, proving Cheeger and Buser inequalities.
result No such inequalities hold for prior definitions, proving new inequalities for probability densities.
Study Riemannian metrics on lens spaces, find cut loci and diameters.
problem Understanding Riemannian metrics on lens spaces and their geometric properties.
method Geometric control theory methods applied to axisymmetric metrics.
result Cut loci and cut times converge to sub-Riemannian structure's values.
Study Riemannian metrics on lens spaces, find cut loci and diameters.
problem Analyzing Riemannian metrics on lens spaces.
method Geometric control theory methods.
result Cut loci and cut times converge to sub-Riemannian structure's cut locus and time.
We consider a left invariant Riemannian metric on SO(3) with two equal eigenvalues. We find the cut locus and the equation for the cut time. We find the diameter of such metric and describe the set of all most distant points from the identity. Also we prove that the cut locus and the cut time converge to the cut locus …
GC-FCP provides efficient federated CP with group-conditional coverage guarantees.
problem Uncertainty quantification in federated settings with distributed calibration data.
method Group-conditional federated conformal prediction (GC-FCP) using group-stratified coresets.
result GC-FCP offers efficient aggregation and calibration compared to centralized methods.
Let φ(G) be the minimum conductance of an undirected graph G, and let 0=λ_1 <= λ_2 <=... <= λ_n <= 2 be the eigenvalues of the normalized Laplacian matrix of G. We prove that for any graph G and any k >= 2, φ(G) = O(k) λ_2 / \sqrt{λ_k}, and this performance guarantee is achieved by the spectral partitioning algorithm. …
Stability of cut locus under metric perturbations in compact Riemannian manifolds.
problem Stability of cut locus under C2-perturbations of the metric. method Proving stability with respect to the Hausdorff metric of the cut locus under C2 perturbation of the metric. result The Hausdorff distance between cut loci converges to zero as the metrics converge.
New equivalence relation for links using cut-diagrams.
problem Classical link concordance.
method Cut-diagrams and cut-concordance.
result Nilpotent peripheral system invariant of cut-concordance.
New algorithm solves large SDPs with provable convergence guarantees.
problem Solving large SDPs with diagonal constraints efficiently.
method Block-coordinate maximization applied to Burer-Monteiro method.
result Global convergence to first-order stationary point with sublinear rate.
Study shows convergence rates for Cheeger cuts on data clouds.
problem Optimizing graph cuts for clustering data sampled from a manifold.
method Analyzes statistical properties of Cheeger cuts on proximity graphs built from data.
result Obtains high probability convergence rates for Cheeger constant and cuts.
Stochastic cutting planes improve data-driven optimization speed.
problem Data-driven Mixed-Integer Nonlinear Optimization problems.
method Stochastic version of cutting-plane method.
result Stochastic algorithm converges to ε-optimal solution with high probability.
Study of Randers metrics on spheres with simple cut loci.
problem Understanding Randers metrics on spheres and their cut loci.
method Analyzing geodesics, conjugate, and cut loci of Finsler metrics of Randers type.
result Found new families of Randers metrics with simple cut loci.
We define spin-c prequantization of a symplectic manifold to be a spin-c structure and a connection which are compatible with the symplectic form. We describe the cutting of an S^1-equivariant spin-c prequantization. The cutting process involves a choice of a spin-c prequantization for the complex plane. We prove that …
A symplectic cut of a manifold M with a Hamiltonian circle action is a symplectic quotient of M x C. If M is Kaehler then, since C is Kaehler, the cut space is Kaehler as well. The symplectic structure on the cut is well understood. In this paper we describe the complex structure (and hence the metric) on the cut. We t…
In this note, we study the cut locus of the free, step two Carnot groups Gk with k generators, equipped with their left-invariant Carnot-Carathéodory metric. In particular, we disprove the conjectures on the shape of the cut loci proposed in [Myasnichenko - 2002] and [Montanari, Morbidelli - 2016], by exh…
A deep learning method automates tensioning for surgical tissue cutting.
problem Automating tensioning for surgical tissue cutting to improve accuracy and reliability.
method Deep reinforcement learning for modeling an autonomous tensioning planner.
result The proposed method outperforms existing methods in terms of performance and robustness.
Max flow/min cut theorem extended to currents and topology.
problem Continuous max flow/min cut theorem for complex domains.
method Continuous analogue of max flow/min cut theorem considering topology.
result Continuous max flow/min cut theorem proven for currents and laminations.
Spectral Clustering as a relaxation of the normalized/ratio cut has become one of the standard graph-based clustering methods. Existing methods for the computation of multiple clusters, corresponding to a balanced k-cut of the graph, are either based on greedy techniques or heuristics which have weak connection to th…
Spectral clustering is sensitive to how graphs are constructed from data particularly when proximal and imbalanced clusters are present. We show that Ratio-Cut (RCut) or normalized cut (NCut) objectives are not tailored to imbalanced data since they tend to emphasize cut sizes over cut values. We propose a graph partit…
This paper establishes the consistency of a family of graph-cut-based algorithms for clustering of data clouds. We consider point clouds obtained as samples of a ground-truth measure. We investigate approaches to clustering based on minimizing objective functionals defined on proximity graphs of the given sample. Our f…
New upper bound for geodesic complexity derived from cut locus decompositions.
problem Understanding geodesic complexity in Riemannian manifolds.
method Study of decompositions of cut loci and their tangent fibers.
result Established a new upper bound for geodesic complexity.
New 2-spheres of revolution with simple cut locus structures.
problem Determining surfaces of revolution with simple cut locus structures.
method Introducing a new family of 2-spheres of revolution.
result The new family {M_n}_n has a simple cut locus structure.
We consider the Lie group PSL(2) (the group of orientation preserving isometries of the hyperbolic plane) and a left-invariant Riemannian metric on this group with two equal eigenvalues that correspond to space-like eigenvectors (with respect to the Killing form). For such metrics we find a parametrization of geodesics…
The paper identifies the best treatment to maximize NDPO, a key outcome in causal mediation analysis.
problem Identifying the treatment that maximizes the expected natural direct potential outcome (NDPO) in causal mediation analysis.
method Developed a fixed-confidence best-arm identification (BAI) algorithm based on the Track-and-Stop (TaS) framework, using a cutting-set method to solve a semi-infinite optimization problem.
result The proposed algorithm achieves sample-efficient identification with a high-probability correctness guarantee and asymptotic optimality.
Laplacian of distance function shows negative infinity at cut locus points.
problem Understanding the Laplacian of distance functions on Riemannian manifolds.
method Analyzing the Laplacian of the distance function to a point on a smooth Riemannian manifold.
result The Laplacian of the distance function is −∞ at points of the cut locus. In this article we extend cutting and blowing up to the nonrational symplectic toric setting. This entails the possibility of cutting and blowing up for symplectic toric manifolds and orbifolds in nonrational directions.
Spectral clustering methods which are frequently used in clustering and community detection applications are sensitive to the specific graph constructions particularly when imbalanced clusters are present. We show that ratio cut (RCut) or normalized cut (NCut) objectives are not tailored to imbalanced cluster sizes sin…
Functor connects symplectic and contact structures via cutting and blowups.
problem Establishing a functorial relationship between symplectic and contact structures.
method Developed a cutting procedure and its inverse for manifolds with boundary and equivariant transverse maps, then applied it to non-symplectic and non-contact structures.
result Obtained an inverse functor for equivariant radial-squared blowups.
In this paper we investigate the small time heat kernel asymptotics on the cut locus on a class of surfaces of revolution, which are the simplest 2-dimensional Riemannian manifolds different from the sphere with non trivial cut-conjugate locus. We determine the degeneracy of the exponential map near a cut-conjugate poi…