This paper analyzes Barlow Twins' representation efficiency using information-geometric methods.
problem Understanding and comparing the efficiency of self-supervised learning methods.
method Introduces an information-geometric framework to quantify representation efficiency and applies it to Barlow Twins.
result Proves that Barlow Twins achieves optimal representation efficiency (η=1).
CurvSSL improves SSL by aligning local manifold curvature.
problem Improving self-supervised learning by capturing local manifold geometry.
method CurvSSL augments Barlow Twins with a curvature-based regularizer to align and decorrelate embeddings across augmentations.
result Curvature-regularized SSL yields competitive or improved linear evaluation performance.
New method for decomposing vectors into independent components over finite alphabets.
problem Decomposing vectors into independent components without prior generation assumptions.
method Branch and bound search tree algorithm, linear approximations, order permutation.
result Efficiently decomposes the majority of vectors into independent components.
We show that there are high-dimensional smooth compact manifolds which admit pairs of Einstein metrics for which the scalar curvatures have opposite signs. These are counter-examples to a conjecture considered by Besse. The proof hinges on showing that the Barlow surface has small deformations with ample canonical line…
Learning by children and animals occurs effortlessly and largely without obvious supervision. Successes in automating supervised learning have not translated to the more ambiguous realm of unsupervised learning where goals and labels are not provided. Barlow (1961) suggested that the signal that brains leverage for uns…
Unified framework for scale-invariant representation learning using MAPCA.
problem Learning invariant representations in data.
method Metric-Aware Principal Component Analysis (MAPCA) based on generalized eigenproblem.
result MAPCA provides a unified geometric language for various self-supervised learning objectives.
SinSim improves self-supervised learning by integrating optimal transport into contrastive learning.
problem Lack of explicit regularization in contrastive learning methods leads to suboptimal generalization.
method Integrates Sinkhorn regularization from optimal transport theory into SimCLR.
result SinSim outperforms SimCLR and other self-supervised methods on various datasets.
The article studies random infinite ideal hyperbolic polyhedra and their dual graphs, establishing new boundary theories.
problem Uniformization and boundary theory of random infinite ideal hyperbolic polyhedra and their dual graphs.
method Combinatorics, geometry, analysis, and random walks perspectives.
result Characterization of the ICP type of IAG and convergence of simple random walk to the boundary.
This work explains how maximizing latent correlations across multiple data views helps in identifying shared and private components.
problem Understanding how to identify shared and private components in multiview data.
method An intuitive generative model of multiview data is adopted, and latent correlation maximization is shown to guarantee the extraction of shared components.
result Latent correlation maximization guarantees the extraction of shared components across views and disentangles private information.
We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the Homeomorphism Problem for 3-manifolds and the Membership Problem for 3-manifold gr…
Optimal transport reformulates multiple quantile hedging problem.
problem Multiple quantile hedging problem in incomplete markets.
method Reformulated as Monge optimal transport problem, introduced Kantorovitch version, proved no duality gap.
result Multiple quantile hedging problem can be seen as semi-discrete optimal transport problem.
Solves four problems related to circle families in the plane.
problem Four basic problems of circle families in the plane.
method Solves all four basic problems of circle families in the plane.
result All four basic problems are solved.
Solves four problems related to sphere families in 3D space.
problem Four basic problems of sphere families in Euclidean 3-space.
method Solves all four basic problems of sphere families in Euclidean 3-space.
result All four basic problems are solved.
The paper solves optimal control problems for various convex sets using convex trigonometry.
problem Optimal control problems with 2D convex compact sets.
method Using convex trigonometry to derive extremals for various problems.
result Geodesics in multiple sub-Finsler problems are derived.
Explains eigenvalue and generalized eigenvalue problems with examples.
problem Eigenvalue and generalized eigenvalue problems.
method Introduction and examples from machine learning.
result Solutions to eigenvalue and generalized eigenvalue problems.
This paper solves the Christoffel problem in hyperbolic space and its equivalent on spheres.
problem Prescribing curvatures for convex hypersurfaces in hyperbolic space.
method Proving a full rank theorem to establish the existence of solutions.
result Existence of solutions to the Christoffel problem and its equivalent Nirenberg-Kazdan-Warner problem on spheres.
In the present paper, the primal-dual problem consisting of the investment risk minimization problem and the expected return maximization problem in the mean-variance model is discussed using replica analysis. As a natural extension of the investment risk minimization problem under only a budget constraint that we anal…
MathChat uses LLM agents to solve challenging math problems through conversational problem-solving.
problem Solving math problems expressed in natural language.
method MathChat is a conversational framework combining an LLM agent and a user proxy agent for collaborative problem-solving.
result MathChat improves tool-using prompting methods by 6% on difficult math problems.
Study proves only origin-centered spheres solve certain curvature problems.
problem Proving uniqueness of solutions to curvature problems.
method Using the Heintze-Karcher inequality, the study proves the uniqueness of smooth, strictly convex solutions to a class of Minkowski type problems.
result Only origin-centered spheres solve isotropic and Lp-Gaussian-Minkowski problems. New algorithm solves non-convex min-max problems in signal processing.
problem Non-convex min-max problems in signal processing and communication.
method Hybrid Block Successive Approximation (HiBSA) algorithm alternating gradient descent and ascent steps.
result HiBSA converges to first-order stationary solutions with global rates.
This article reviews ranking problems and their solutions.
problem Ranking problems in statistical learning.
method Systematic review of ranking problems and optimization techniques.
result Unified notation for optimization problems and identification of strengths and limitations of algorithms.
The paper solves a generalized Christoffel-Minkowski problem using a curvature flow.
problem Solving the (p,q)-Christoffel-Minkowski problem.
method Investigating the problem via an expanding curvature flow.
result Existence and uniqueness of smooth solutions to the (p,q)-Christoffel-Minkowski problem.
Paper solves Gromov-Wasserstein for point clouds efficiently.
problem Quantifying similarity between two formations or shapes.
method Reformulates QAP as low-rank concave quadratic optimization problem.
result Global solution for large-scale problems with thousands of points.
The paper explains how microlocal analysis solves geometric inverse problems.
problem Recovering geometric information from boundary measurements.
method Microlocal analysis applied to three inverse problems.
result Microlocal techniques solve specific inverse problems in Riemannian geometry.
Proves NP and co-NP status for knot core recognition in solid torus.
problem Determining if a knot is the core of a solid torus.
method Alternate proof and corollary of Hopf link recognition problem.
result Proves NP and co-NP status for solid torus core recognition problem.
A new method solves complex control problems with random coefficients.
problem Solving LQ McKean-Vlasov control problems with random coefficients.
method Decomposes the problem into two decoupled stochastic optimal control problems.
result The sum of optimal controls of auxiliary problems equals the original problem's optimal control.
This is a survey of some problems in geometric group theory which I find interesting. The problems are from different areas of group theory. Each section is devoted to problems in one area. It contains an introduction where I give some necessary definitions and motivations, problems and some discussions of them. For ea…
We present updates to the problems on Hirzebruch's 1954 problem list focussing on open problems, and on those where substantial progress has been made in recent years. We discuss some purely topological problems, as well as geometric problems about (almost) complex structures, both algebraic and non-algebraic, about co…
27 problems identified in automating movie/TV subtitle translation.
problem Challenges in translating movie/TV subtitles.
method Categorized problems into three categories and evaluated translation quality.
result Frontier NLP systems struggle with subtitles and require post-processing.
Solves Brezis' first open problem on ball solutions.
problem Existence of solutions to Brezis-Nirenberg problem on a 3D ball.
method Building on sign-changing solutions to the Yamabe problem.
result Infinitely many sign-changing, nonradial solutions found.
New method solves generalized Minkowski problem for torsional rigidity.
problem Generalized Minkowski problem for torsional rigidity.
method Flow method
result Existence of solutions for general measures.
Classical knot recognition problem solved in NP with exponential time algorithm.
problem Determining if a virtual knot is classical.
method Proved NP membership and provided an exponential time algorithm.
result Classical knot recognition problem is in NP.
Paper solves four problems of pseudo-circle envelopes in Minkowski plane.
problem Four problems of pseudo-circle envelopes in Minkowski plane.
method Solutions to four basic problems.
result Solved four problems of pseudo-circle envelopes in Minkowski plane.
In this paper, we address the inverse problem, or the statistical machine learning problem, in Markov random fields with a non-parametric pair-wise energy function with continuous variables. The inverse problem is formulated by maximum likelihood estimation. The exact treatment of maximum likelihood estimation is intra…
Describes state variables in sequential decision problems, linking them to Markovian and non-Markovian models.
problem Sequential decision problems, especially in active learning and POMDPs, where decisions affect what is observed and learned.
method Canonical framework and novel two-agent perspective of POMDPs, defining state variables to claim Markovian or non-Markovian models.
result Properly modeled sequential decision problems are Markovian, while real decision problems are often non-Markovian.
Solves double coset problem for braid group H_n.
problem Double coset problem in braid group B_n modulo H_n.
method Uses Garside's decomposition of braids in B_n.
result Demonstrates stable equivalence of Link Problem to solvable algebraic problem.
Conference compiles problems on foliations and diffeomorphisms.
problem Challenges in foliations and diffeomorphism groups.
method Compilation of problems from conference participants.
result Compilation of 20+ problems on foliations and diffeomorphisms.
This paper solves the dual Minkowski problem for q-torsional rigidity.
problem The dual Minkowski problem for q-torsional rigidity.
method Introduced the p-th dual q-torsional measure and solved the p-th dual Minkowski problem for q-torsional rigidity using a Gauss curvature flow.
result Existence of smooth even and non-even solutions to the p-th dual Minkowski problem for q-torsional rigidity.
In this paper, we discuss the uniqueness in an integral geometry problem in a strongly convex domain. Our problem is related to the problem of finding a Riemannian metric by the distances between all pairs of the boundary points. For the proof, the problem is reduced to an inverse source problem for a kinetic equation …
Study on geometric variational problems for existence, regularity, and uniqueness of solutions.
problem Geometric variational problems, focusing on existence, regularity, and uniqueness of solutions.
method Formulated in Federer and Fleming's theory of currents, discussed the existence theory, and presented core ideas of the (interior) regularity theory for area-minimizing currents and optimal transport paths. Two original results on generic uniqueness of solutions were presented.
result Generic uniqueness of solutions for both Plateau's problem and optimal branched transport problem.
Solves a discrete logarithmic Minkowski problem for electrostatic p-capacity.
problem Characterize measures generated by electrostatic p-capacity.
method Solves the discrete logarithmic Minkowski problem for 1 < p < n.
result Solves the discrete logarithmic Minkowski problem for measures in general position.
Machine learning reduces combinatorial optimization problem dimensions.
problem Reducing the complexity of large combinatorial optimization problems.
method Generalization of a machine learning model for problem reduction on TSP.
result Machine learning can predict which variables are not part of an optimal solution.
Study on biharmonic Steklov problems with Neumann boundary conditions and eigenvalue estimates.
problem Biharmonic Steklov problems with Neumann boundary conditions.
method Introduced a biharmonic Steklov problem and proved its well-posedness. Established eigenvalue estimates using Kuttler-Sigillito inequalities.
result Eigenvalue estimates for the biharmonic Steklov problem with Neumann boundary conditions.
New reformulations for multiclass classification problems using optimal transport.
problem Adversarial multiclass classification problems.
method Multimarginal optimal transport formulation.
result Reveals geometric structure and extends binary classification results.
The paper solves recursive optimal stopping problems in stock trading.
problem Optimal stopping in recursive optimal stopping problems with applications to stock trading.
method Introduced a class of recursive optimal stopping problems and showed well-posedness in a Markovian setting. Determined optimal stopping rules in stock trading models.
result The value function is the unique solution to a fixed point problem and an optimal stopping time exists.
Study anisotropic flows solving Orlicz-Minkowski problems, proving existence and new results.
problem Anisotropic non-homogeneous Gauss curvature flows and Orlicz-Minkowski problems.
method Long-time existence and behavior analysis, parabolic approximation method, curvature flow.
result Existence and new results for Orlicz-Minkowski problems, including Lp versions. In this paper we consider stochastic optimization problems for an ambiguity averse decision maker who is uncertain about the parameters of the underlying process. In a first part we consider problems of optimal stopping under drift ambiguity for one-dimensional diffusion processes. Analogously to the case of ordinary o…
New method solves a generalized Minkowski problem using a curvature flow.
problem Generalized Minkowski problem for smooth measures.
method Flow involving Gauss curvature and support function.
result Existence of solutions for the dual Orlicz-Minkowski problem.