Cycle-Consistent Multi-Graph Matching for Self-Supervised Annotation of C. Elegans

Sebastian Stricker, Christoph Karg, Lisa Hutschenreiter, Bogdan Savchynskyy, Dagmar Kainmueller

TL;DR

This paper introduces a novel self-supervised approach for annotating cell nuclei in 3D microscopy images of C. elegans. By leveraging cycle consistency in multi-graph matching and optimizing parameters with Bayesian Optimization, they achieve state-of-the-art accuracy without requiring any manual cell annotations, thus overcoming a major bottleneck in biological research.

What Problem Does This Paper Address?

Accurately identifying and labeling individual cells within complex biological samples, like the nematode C. elegans, is crucial for understanding cellular processes. Traditionally, this involves creating a "statistical atlas" of cell nuclei from manually annotated images. This manual annotation is a laborious, time-consuming, and error-prone process. While graph matching (GM) techniques can automate the transfer of labels from an atlas to new images, the initial atlas construction itself relies heavily on this manual effort. The challenge is to build such an atlas and perform cell annotation without any prior ground truth labels, which is particularly difficult for organisms with highly similar cell types.

Methods

The core of the proposed method is a cycle-consistent multi-graph matching (MGM) framework. Instead of relying on pre-trained feature extractors, the authors use Bayesian Optimization (BO) to learn the parameters of the matching cost functions. Specifically, they focus on optimizing Gaussian parameters that model the distribution of cell nuclei features (position, size, and pairwise relationships).

The key innovations include:

  • Self-supervised Cycle Consistency Loss: The method leverages the principle of cycle consistency. If cell A in worm 1 matches cell B in worm 2, and cell B in worm 2 matches cell C in worm 3, then cell A in worm 1 should ideally match cell C in worm 3. This consistency across multiple worms acts as a self-supervisory signal to learn the matching parameters.
  • Bayesian Optimization for Parameter Learning: BO is employed to efficiently search for the optimal parameters of the matching costs. This is crucial because some parameters (like sparsity constraints) are not amenable to gradient-based optimization. They break down the BO process into three stages: optimizing linear costs, then sparsity parameters, and finally quadratic costs.
  • Synchronization Loss: They introduce a "synchronization loss" derived from the MGM solver's synchronization mode, which they hypothesize biases the learned parameters towards more effective matching.

Datasets

The research utilizes a publicly available dataset of 3D light microscopy images of C. elegans at the L1 larval stage. This dataset includes ground truth instance segmentations and full semantic annotations for 558 nuclei per worm. The dataset consists of:

  • 100 worms for training.
  • Two test sets of 100 worms each.

The authors use the second test set for direct comparison with prior work.

Key Insights and Ideas

  • Unsupervised Atlas Construction is Feasible and Effective: The most significant insight is that a high-quality atlas of C. elegans can be constructed purely from instance segmentations, without any semantic labels. This bypasses the expensive manual annotation step.
  • Bayesian Optimization is Key for Non-Differentiable Parameters: The success of the unsupervised approach hinges on learning parameters that are not easily optimized with standard gradient descent (e.g., sparsity parameters). BO provides an effective way to navigate this complex parameter space.
  • Cycle Consistency as a Powerful Self-Supervisory Signal: The paper demonstrates that cycle consistency, when applied across multiple graphs (worms), is a robust signal for learning matching objectives in complex biological data.
  • Atlas Construction Improves Matching Accuracy: While the raw MGM output (pre-atlas accuracy) is good, explicitly constructing a statistical atlas from the MGM results further boosts matching accuracy, especially as the number of training worms increases. This highlights the benefit of nucleus-specific covariance modeling in the atlas.

Key Results

  • State-of-the-Art Unsupervised Accuracy: The unsupervised approach achieves an impressive 96.1% accuracy, which is very close to their new supervised baseline (96.4%) and significantly outperforms previous supervised methods (93% [12]).
  • Competitive with Supervised Methods: The unsupervised atlas's accuracy closely matches its supervised counterpart, demonstrating the power of the self-supervised approach.
  • Efficiency: The Bayesian Optimization framework, while computationally intensive, is applied to a subset of worms for learning, and the MGM solver is efficient enough to handle the scale of the problem.

Limitations and Future Work

  • Reliance on Instance Segmentation: The method requires accurate instance segmentations of nuclei as input. Errors in segmentation can propagate and limit performance, as observed in their test with automatic segmentation.
  • Computational Cost of BO: While BO is effective, learning all parameters jointly can be prohibitively slow. The staged optimization approach mitigates this but still requires significant computation.
  • Future Directions: The authors suggest integrating deep neural networks to replace hand-crafted cost features and applying the framework to other stereotypical organisms, broadening its potential impact in comparative biology.
BibTeX
@inproceedings{stricker2026cycle,
  author = {Sebastian Stricker and Christoph Karg and Lisa Hutschenreiter and Bogdan Savchynskyy and Dagmar Kainmueller},
  title = {{Cycle-Consistent Multi-Graph Matching for Self-Supervised Annotation of C. Elegans}},
  booktitle = {IEEE/CVF Winter Conference on Applications of Computer Vision},
  year = {2026},
}