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