AI & ML
Finding solutions with the Borsuk-Ulam theorem
arXiv cs.NA0 views
arXiv:2610.39092v2 Announce Type: replace-cross Abstract: Many problems in nonlinear analysis, game theory, economics, and geometry have existence proofs based on Brouwer's fixed point theorem or the Borsuk--Ulam theorem. We study a common numerical approach: deform a problem with one known solution into the desired problem and follow its zeros. A constructive reduction of fixed points to odd spherical zeros makes the approach available to a broad class of problems, including finite-dimensional Galerkin systems, periodic solutions, Nash and economic equilibria, and geometric mass partitions, subject to the regularity and approximation requirements of each formulation. On the sphere, a linear projection supplies an explicit starting model with one antipodal pair of zeros. We give conditions for tracking the resulting curve, allowing turns in the deformation parameter, and relate computational work to accuracy and conditioning along the path. A family of linear models parametrized by antipodal pairs reaches every regular spherical solution from an open set of starts. This simple parameter space provides a basis for exploring multiple solutions; a finite search for all solutions needs additional coverage information. For mass partitions of finite point sets, each continuation step has cost proportional to the number of points in fixed dimension.
Source:https://arxiv.org/abs/2610.39092PreviousLAMP: Look-Ahead Mixed-Precision Inference of Large Language ModelsNextQuantitative Tiling Stability From Quadratic Discrepancy In Hamming Spaces
Related posts
AWS publishes a serverless MCP reference design for agent data access
0dev.to AWS
What a comparison page needs before it needs anything else
0dev.to WebDev

RAG from Zero to Hero: Building Naive, Advanced and Modular RAG from Scratch with Python
0dev.to Python
Give Claude Code a revenue recognition tool: from "add this contract" to an approved draft in 2 minutes
0dev.to Python
How I found 6 silent security gates in GnuTLS (and why CI green isn't always what it seems)
0dev.to DevOps
Automating Edge LLM Guardrails: Mitigating Autonomous Agent Prompt Injection in Multi-Tenant Environments
0dev.to DevOps