CAREER: Visualizing Mathematical Structures in High-Dimensional Space

职业：高维空间中的数学结构可视化

• 批准号: 1651581
• 负责人: Hui Zhang
• 金额: $ 50万
• 依托单位: University of Louisville Research Foundation Inc
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-04-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1651581&HistoricalAwards=false
• 关键词: CAREER; Visualizing; Mathematical; Structures; Dimensional

While the most efficient method for communicating math concepts is the use of real world objects or virtual manipulatives, creating illustrations of mathematical phenomena beyond three dimensions has been a particularly challenging task and many mathematical phenomena have thus only existed in the mathematician's mind. This research seeks to investigate the question of whether computer graphics techniques can help expert mathematicians and general public to visualize and communicate the higher-dimensional mathematical objects and their deformations. The ultimate goal of this research is to establish a mechanism by which an expert human viewer can manipulate a higher-dimensional geometric object that they can only see in part, i.e., via a slice or projection into two or three dimensions. Theoretical contributions of this research will impact and improve methods in mathematical visualization, particularly graph visualization, computer aided design, and large-scale spatial visualization, while the project deliverables will have direct and transformative impact on the ability of mathematicians to study higher-dimensional objects, and to communicate what they have learned in person, in presentations, and in archival works. The success of this project will ultimately translate into more rapid advancement in areas of pure and applied mathematics where higher dimensional geometry plays an important role, and provide mathematical visualization tool sets to facilitate college and K-12 students in their geometry courses. The project will make research outcomes including open source software freely available, and will disseminate mathematical sciences to the general public by rendering and presenting pedagogical animations at the University of Louisville Planetarium. The project also includes integrated educational and outreach activities for K-12, undergraduate, and graduate students. The research will explore an interactive visualization paradigm that makes use of energy-driven self-deformable object models embedded in higher dimensions, supplemented by reduced-dimensional analogies for expert human viewers to guide the deformations towards their final goals. The investigators will begin by assigning a deformation energy to the higher-dimensional object, so that the aspects of the configuration that are unseen and unfamiliar can be controlled in a principled and well-posed manner by constraints or manipulations on the aspects of the configuration that are seen and familiar in our dimensions. Often times mathematical simulations are concerned with heavily vectorized operations performed over and over in a large number of iterations. The project will exploit hardware-enabled parallelism to accelerate mathematical simulations, and to extract key moments where successive terms differ by one critical change to represent and analyze various mathematical evolutions. By combining guided relaxation method and accelerated computation, this research can potentially make a novel contribution to building intuition about classes of geometric and topological problems that otherwise would be nearly impossible to communicate, perceptualize, and disseminate; and can potentially further the entire concept of the assistance and empowerment of human understanding by computer methods, specifically via the power of visual and computational spatial visualization tools. All outcomes of this project, including technical reports, research articles, links to educational and outreach activities, open source software, and pedagogical animations will be accessible from the project's web site (http://www.cecsresearch.org/vcl/nsf1651581/).

虽然沟通数学概念的最有效的方法是使用真实的世界对象或虚拟操纵器，但创建三维以外的数学现象的插图是一项特别具有挑战性的任务，因此许多数学现象只存在于数学家的头脑中。本研究旨在探讨的问题，计算机图形技术是否可以帮助专家数学家和公众可视化和沟通的高维数学对象和他们的变形。这项研究的最终目标是建立一种机制，通过这种机制，专业的人类观察者可以操纵他们只能看到部分的高维几何对象，即，通过一个切片或投影到二维或三维空间。本研究的理论贡献将影响和改进数学可视化方法，特别是图形可视化，计算机辅助设计和大规模空间可视化，而项目交付成果将对数学家研究高维对象的能力产生直接和变革性的影响，并将他们所学到的东西亲自传达，在演示文稿和档案作品中。该项目的成功将最终转化为更快的进步，在纯数学和应用数学领域，高维几何起着重要的作用，并提供数学可视化工具集，以方便大学和K-12学生在他们的几何课程。该项目将免费提供包括开放源码软件在内的研究成果，并将通过在路易斯维尔大学天文馆绘制和展示教学动画向公众传播数学科学。该项目还包括为K-12，本科生和研究生提供的综合教育和推广活动。该研究将探索一种交互式可视化范式，该范式利用嵌入在更高维度中的能量驱动的自变形对象模型，并辅之以专家人类观众的降维类比，以引导变形实现最终目标。研究人员将开始通过分配一个变形能量给更高维度的物体，这样，在我们的维度中，我们所看到和熟悉的配置方面的约束或操纵，可以以一种有原则的、适定的方式来控制看不见的和不熟悉的配置方面。通常情况下，数学模拟与大量迭代中反复执行的重度向量化操作有关。该项目将利用硬件支持的并行性来加速数学模拟，并提取连续项相差一个关键变化的关键时刻，以表示和分析各种数学演变。通过结合引导松弛方法和加速计算，这项研究可以潜在地为建立关于几何和拓扑问题的直觉做出新的贡献，否则几乎不可能沟通，感知和传播;并且可以潜在地推进通过计算机方法辅助和授权人类理解的整个概念，特别是通过视觉和计算空间可视化工具的力量。这一项目的所有成果，包括技术报告、研究文章、教育和推广活动的链接、开放源码软件和教学动画，都可从该项目的网站（http：//www.cecsresearch.org/vcl/nsf1651581/）上查阅。

项目成果

Visually Communicating Mathematical Knot Deformation

视觉传达数学结变形

• DOI: 10.1145/3356422.3356438
• 发表时间: 2019
• 期刊: VINCI'2019: Proceedings of the 12th International Symposium on Visual Information Communication and Interaction
• 作者: Lin, Juan;Zhang, Hui
• 通讯作者: Zhang, Hui

Performance Engineering for Scientific Computing with R

使用 R 进行科学计算的性能工程

• DOI: 10.11648/j.ijdst.20180402.11
• 发表时间: 2018
• 期刊: International Journal on Data Science and Technology
• 作者: Zhang, Hui

Visualizing Mathematical Knot Equivalence

可视化数学结等价

• DOI: 10.2352/issn.2470-1173.2019.1.vda-683
• 发表时间: 2019
• 期刊: Visualization and Data Analysis 2019
• 作者: Juan Lin, Hui Zhang

Parallelized Topological Relaxation Algorithm

• DOI: 10.1109/bigdata47090.2019.9006309
• 发表时间: 2019-12
• 期刊: 2019 IEEE International Conference on Big Data (Big Data)
• 作者: Guangchen Ruan;Hui Zhang

A Flip‐book of Knot Diagrams for Visualizing Surfaces in 4‐Space

• DOI: 10.1111/cgf.14545
• 发表时间: 2022-06
• 期刊: Computer Graphics Forum
• 影响因子: 2.5
• 作者: Huan Liu;Hui Zhang