A theorem proving approach for automatically synthesizing visualizations of flow cytometry data

Area of Science:

• Computational Biology
• Data Visualization
• Medical Informatics

Background:

• Polychromatic flow cytometry generates high-dimensional data, challenging for visualization and analysis.
• Existing methods struggle with the complexity of high-dimensional flow cytometry datasets.
• Effective visualization requires projecting data into lower dimensions while preserving relationships.

Purpose of the Study:

• To introduce SANJAY, a novel method for visualizing high-dimensional flow cytometry data.
• To develop an automated technique for synthesizing accurate low-dimensional projections.
• To improve the interpretability of complex flow cytometry datasets.

Main Methods:

• SANJAY utilizes a symbolic decision procedure for automated projection synthesis.
• The method generates 2D and 3D projections aimed at minimizing data distortion.
• Automated theorem proving is employed for generating accurate visualizations.

Main Results:

• SANJAY demonstrated 1.44 to 4.15 times less distortion than Multidimensional Scaling (MDS).
• The SANJAY technique outperformed Random Projections in minimizing projection distortion.
• Experiments confirmed SANJAY's effectiveness on benchmark datasets.

Conclusions:

• SANJAY offers an automated solution for visualizing high-dimensional flow cytometry data.
• This represents the first known application of automated theorem proving in this visualization context.
• The algorithm provides highly accurate, low-dimensional visualizations for complex biological data.