数统学院学术报告： Singular Values, von Neumann Type Trace Inequality of Dual Quaternion Matrices, and Their Low-Rank Approximations