A Coincidence of Wants Mechanism for Swap Trade Execution in Decentralized Exchanges

ArXiv ID: 2507.10149 “View on arXiv”

Authors: Abhimanyu Nag, Madhur Prabhakar, Tanuj Behl

Abstract

We propose a mathematically rigorous framework for identifying and completing Coincidence of Wants (CoW) cycles in decentralized exchange (DEX) aggregators. Unlike existing auction based systems such as CoWSwap, our approach introduces an asset matrix formulation that not only verifies feasibility using oracle prices and formal conservation laws but also completes partial CoW cycles of swap orders that are discovered using graph traversal and are settled using imbalance correction. We define bridging orders and show that the resulting execution is slippage free and capital preserving for LPs. Applied to real world Arbitrum swap data, our algorithm demonstrates efficient discovery of CoW cycles and supports the insertion of synthetic orders for atomic cycle closure. This work can be thought of as the detailing of a potential delta-neutral strategy by liquidity providing market makers: a structured CoW cycle execution.

Keywords: Decentralized exchanges (DEX), Coincidence of Wants (CoW), Slippage-free execution, Asset matrix formulation, Delta-neutral strategy

Complexity vs Empirical Score

• Math Complexity: 8.5/10
• Empirical Rigor: 7.0/10
• Quadrant: Holy Grail
• Why: The paper presents a dense, graph-theoretic and linear-algebraic framework with formal definitions, matrix formulations, and proofs, indicating high mathematical complexity. It is applied to real-world Arbitrum swap data with algorithmic simulations and discusses implementation for synthetic order insertion, demonstrating significant empirical rigor.

  flowchart TD
    A["Research Goal"] --> B["Methodology"]
    B --> C["Data/Inputs"]
    C --> D["Computation"]
    D --> E["Outcomes"]
    
    A["Research Goal<br>Identify CoW cycles<br>for slippage-free execution"]
    
    B["Methodology<br>1. Asset Matrix Formulation<br>2. Graph Traversal<br>3. Imbalance Correction<br>4. Bridging Orders"]
    
    C["Data/Inputs<br>Oracle Prices<br>Conservation Laws<br>Real World Swap Data<br>(Arbitrum)"]
    
    D["Computation<br>Feasibility Verification<br>Partial Cycle Completion<br>Synthetic Order Insertion"]
    
    E["Outcomes<br>Slippage-Free Execution<br>Capital Preservation for LPs<br>Delta-Neutral Strategy Framework"]