Showing 1–13 of 13 results for author: Kaufman, D

Adaptive Algebraic Reuse of Reordering in Cholesky Factorization with Dynamic Sparsity Pattern

Authors: Behrooz Zarebavani, Danny M. Kaufman, David I. W. Levin, Maryam Mehri Dehnavi

Abstract: Cholesky linear solvers are a critical bottleneck in challenging applications within computer graphics and scientific computing. These applications include but are not limited to elastodynamic barrier methods such as Incremental Potential Contact (IPC), and geometric operations such as remeshing and morphology. In these contexts, the sparsity patterns of the linear systems frequently change across… ▽ More Cholesky linear solvers are a critical bottleneck in challenging applications within computer graphics and scientific computing. These applications include but are not limited to elastodynamic barrier methods such as Incremental Potential Contact (IPC), and geometric operations such as remeshing and morphology. In these contexts, the sparsity patterns of the linear systems frequently change across successive calls to the Cholesky solver, necessitating repeated symbolic analyses that dominate the overall solver runtime. To address this bottleneck, we evaluate our method on over 150,000 linear systems generated from diverse nonlinear problems with dynamic sparsity changes in Incremental Potential Contact (IPC) and patch remeshing on a wide range of triangular meshes of various sizes. Our analysis using three leading sparse Cholesky libraries, Intel MKL Pardiso, SuiteSparse CHOLMOD, and Apple Accelerate, reveals that the primary performance constraint lies in the symbolic re-ordering phase of the solver. Recognizing this, we introduce Parth, an innovative re-ordering method designed to update ordering vectors only where local connectivity changes occur adaptively. Parth employs a novel hierarchical graph decomposition algorithm to break down the dual graph of the input matrix into fine-grained subgraphs, facilitating the selective reuse of fill-reducing orderings when sparsity patterns exhibit temporal coherence. Our extensive evaluation demonstrates that Parth achieves up to a 255x and 13x speedup in fill-reducing ordering for our IPC and remeshing benchmark and a 6.85x and 10.7x acceleration in symbolic analysis. These enhancements translate to up to 2.95x and 5.89x reduction in overall solver runtime. Additionally, Parth's integration requires only three lines of code, resulting in significant computational savings without the requirement of changes to the computational stack. △ Less

Submitted 3 July, 2025; v1 submitted 16 December, 2024; originally announced January 2025.

Noncommutative Polygonal Cluster Algebras

Authors: Zachary Greenberg, Dani Kaufman, Merik Niemeyer, Anna Wienhard

Abstract: We define a new family of noncommutative generalizations of cluster algebras called polygonal cluster algebras. These algebras generalize the noncommutative surfaces of Berenstein-Retakh, and are inspired by the emerging theory of $Θ$-positivity for the groups $\mathrm{Spin}(p,q)$. They are generated by mutations of quivers which we call ST-compatible, and which encode the order of the products th… ▽ More We define a new family of noncommutative generalizations of cluster algebras called polygonal cluster algebras. These algebras generalize the noncommutative surfaces of Berenstein-Retakh, and are inspired by the emerging theory of $Θ$-positivity for the groups $\mathrm{Spin}(p,q)$. They are generated by mutations of quivers which we call ST-compatible, and which encode the order of the products that appear in the exchange relations. We show that these ST-compatible quivers can be represented by tilings of surfaces by polygons, a generalization of the description of surface type cluster algebras. As examples, we construct tilings which produce ST-compatible versions of the Del Pezzo quivers and the quivers first described by Le for Fock-Goncharov coordinates for Lie groups of type $B$. We show that polygonal cluster algebras have natural evaluations in Clifford algebras, which we use to produce noncommutative generalizations of the Somos sequences and to parameterize the $Θ$-positive semigroup of $\mathrm{Spin}(2,n)$. We indicate how this will be done for the semigroup in $\mathrm{Spin}(p,q)$ and how one will give coordinates for general $Θ$-positive representations into $\mathrm{Spin}(p,q)$. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Comments: 64 pages, 46 figures. Comments Welcome!

Report number: CPH-GEOTOP-DNRF151 MSC Class: 13F60 (Primary); 58B34; 22E40 (Secondary)

$\mathrm{SL}_2$-like Properties of Matrices Over Noncommutative Rings and Generalizations of Markov Numbers

Authors: Zachary Greenberg, Dani Kaufman, Anna Wienhard

Abstract: We study $2\times 2$ matrices over noncommutative rings with anti-involution, with a special focus on the symplectic group $\mathrm{Sp}_2(\mathcal{A},σ)$. We define traces and determinants of such matrices and use them to prove a Cayley Hamilton identity and trace relations which generalize well known relations for elements of $\mathrm{SL}_2(R)$ over a commutative ring. We compare the structure of… ▽ More We study $2\times 2$ matrices over noncommutative rings with anti-involution, with a special focus on the symplectic group $\mathrm{Sp}_2(\mathcal{A},σ)$. We define traces and determinants of such matrices and use them to prove a Cayley Hamilton identity and trace relations which generalize well known relations for elements of $\mathrm{SL}_2(R)$ over a commutative ring. We compare the structure of elements of $\mathrm{Sp}_2(\mathcal{A},σ)$ with Manin matrices over general noncommutative rings; this naturally leads to a quantization $\mathrm{Sp}_2(\mathcal{A},σ)_q$. In contrast to the usual definition of the quantum group as a deformation of the ring of matrix functions on $\mathrm{SL}_2(R)$, this quantization produces a group of matrices over a new noncommutative ring with involution. We finish the comparison by constructing a generalization of a Hopf algebra structure on the noncommutative ring of matrix functions of our quantum group. Finally, we use the noncommutative surface-type cluster algebras of Berenstein and Retakh to give a geometric interpretation of our Hopf algebra structure and to produce noncommutative generalizations of Markov numbers over many rings with involution including the complex numbers, dual numbers, matrix rings, and group rings. △ Less

Submitted 29 February, 2024; originally announced February 2024.

Comments: 40 pages, 10 figures. Comments welcome

Report number: CPH-GEOTOP-DNRF151 MSC Class: 15B33 (Primary) 16W10; 13F60; 20G42 (Secondary)

Convergent Incremental Potential Contact

Authors: Minchen Li, Zachary Ferguson, Teseo Schneider, Timothy Langlois, Denis Zorin, Daniele Panozzo, Chenfanfu Jiang, Danny M. Kaufman

Abstract: Recent advances in the simulation of frictionally contacting elastodynamics with the Incremental Potential Contact (IPC) model have enabled inversion and intersection-free simulation via the application of mollified barriers, filtered line-search, and optimization-based solvers for time integration. In its current formulation the IPC model is constructed via a discrete constraint model, replacing… ▽ More Recent advances in the simulation of frictionally contacting elastodynamics with the Incremental Potential Contact (IPC) model have enabled inversion and intersection-free simulation via the application of mollified barriers, filtered line-search, and optimization-based solvers for time integration. In its current formulation the IPC model is constructed via a discrete constraint model, replacing non-interpenetration constraints with barrier potentials on an already spatially discretized domain. However, while effective, this purely discrete formulation prohibits convergence under refinement. To enable a convergent IPC model we reformulate IPC potentials in the continuous setting and provide a first, convergent discretization thereof. We demonstrate and analyze the convergence behavior of this new model and discretization on a range of elastostatic and dynamic contact problems, and evaluate its accuracy on both analytical benchmarks and application-driven examples. △ Less

Submitted 29 July, 2023; originally announced July 2023.

Comments: 26 pages, 14 figures

A Wilson Line Realisation of Quantum Groups

Authors: Nanna Aamand, Dani Kaufman

Abstract: The study of this paper is Wilson line operators in 3-dimensional Chern-Simons theory on a manifold with boundaries. We prove to leading order through a direct calculation of Feynman integrals that the merging of parallel Wilson lines reproduces the coproduct on the quantum group $U_h(\mathfrak g)$. We outline a connection of this theory with the moduli spaces of local systems defined by Goncharov… ▽ More The study of this paper is Wilson line operators in 3-dimensional Chern-Simons theory on a manifold with boundaries. We prove to leading order through a direct calculation of Feynman integrals that the merging of parallel Wilson lines reproduces the coproduct on the quantum group $U_h(\mathfrak g)$. We outline a connection of this theory with the moduli spaces of local systems defined by Goncharov and Shen. △ Less

Submitted 21 September, 2023; v1 submitted 20 July, 2023; originally announced July 2023.

Comments: 19 pages, 9 figures

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57K16 (Primary) 17B37 (Secondary)

Special Folding of Quivers and Cluster Algebras

Authors: Dani Kaufman

Abstract: We give a precise definition of folded quivers and folded cluster algebras. We give many examples of including some with finite mutation structure that do not have analogues in the unfolded cases. We relate these examples to the finite mutation type quivers $X_6$ and $X_7$. We also construct a folded cluster algebra associated to triangulations of punctured surface which allow for triangulations s… ▽ More We give a precise definition of folded quivers and folded cluster algebras. We give many examples of including some with finite mutation structure that do not have analogues in the unfolded cases. We relate these examples to the finite mutation type quivers $X_6$ and $X_7$. We also construct a folded cluster algebra associated to triangulations of punctured surface which allow for triangulations self-folded triangles. We give a simple construction of a folded cluster algebra for which the cluster complex is a generalized permutohedron. △ Less

Submitted 15 April, 2023; originally announced April 2023.

Comments: 18 pages, 25 figures

Report number: CPH-GEOTOP-DNRF151 MSC Class: 13F60 (Primary); 05E40 (Secondary)

Journal ref: MATH. SCAND. 130 (2024) 237-256

Hopf algebras of multiple polylogarithms, and holomorphic 1-forms

Authors: Zachary Greenberg, Dani Kaufman, Haoran Li, Christian K. Zickert

Abstract: We associate to a multiple polylogarithm a holomorphic 1-form on the universal abelian cover of its domain. We relate the 1-forms to the symbol and variation matrix and show that the 1-forms naturally define a lift of the variation of mixed Hodge structure associated to a polylogarithm. The results are conveniently described in terms of a variant H of Goncharov's Hopf algebra of multiple polylogar… ▽ More We associate to a multiple polylogarithm a holomorphic 1-form on the universal abelian cover of its domain. We relate the 1-forms to the symbol and variation matrix and show that the 1-forms naturally define a lift of the variation of mixed Hodge structure associated to a polylogarithm. The results are conveniently described in terms of a variant H of Goncharov's Hopf algebra of multiple polylogarithms. In particular, we show that the association of a 1-form to a multiple polylogarithm induces a map from the Chevalley-Eilenberg complex of the Lie coalgebra of indecomposables of H to the de Rham complex. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: 30 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11G55 (Primary); 19E15; 14D07; 32G20 (Secondary)

Topology Optimization with Frictional Self-Contact

Authors: Zeshun Zong, Xuan Li, Jianping Ye, Sian Wen, Yin Yang, Danny M. Kaufman, Minchen Li, Chenfanfu Jiang

Abstract: Contact-aware topology optimization faces challenges in robustness, accuracy, and applicability to internal structural surfaces under self-contact. This work builds on the recently proposed barrier-based Incremental Potential Contact (IPC) model and presents a new self-contact-aware topology optimization framework. A combination of SIMP, adjoint sensitivity analysis, and the IPC frictional-contact… ▽ More Contact-aware topology optimization faces challenges in robustness, accuracy, and applicability to internal structural surfaces under self-contact. This work builds on the recently proposed barrier-based Incremental Potential Contact (IPC) model and presents a new self-contact-aware topology optimization framework. A combination of SIMP, adjoint sensitivity analysis, and the IPC frictional-contact model is investigated. Numerical examples for optimizing varying objective functions under contact are presented. The resulting algorithm proposed solves topology optimization for large deformation and complex frictionally contacting scenarios with accuracy and robustness. △ Less

Submitted 24 August, 2022; v1 submitted 6 August, 2022; originally announced August 2022.

The Lie coalgebra of multiple polylogarithms

Authors: Zachary Greenberg, Dani Kaufman, Haoran Li, Christian K. Zickert

Abstract: We use Goncharov's coproduct of multiple polylogarithms to define a Lie coalgebra over an arbitrary field. It is generated by symbols subject to inductively defined relations, which we think of as functional relations for multiple polylogarithms. In particular, we have inversion relations and shuffle relations. We relate our definition to Goncharov's Bloch groups, and to the concrete model in weig… ▽ More We use Goncharov's coproduct of multiple polylogarithms to define a Lie coalgebra over an arbitrary field. It is generated by symbols subject to inductively defined relations, which we think of as functional relations for multiple polylogarithms. In particular, we have inversion relations and shuffle relations. We relate our definition to Goncharov's Bloch groups, and to the concrete model in weight less than 5 by Goncharov and Rudenko. △ Less

Submitted 22 March, 2022; originally announced March 2022.

Comments: 14 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11G55 (Primary); 19E15; 14D07; 32G20 (Secondary)

Journal ref: J. Algebra 645 (2024), 164-182

Cluster Modular Groups of Affine and Doubly Extended Cluster Algebras

Authors: Dani Kaufman, Zachary Greenberg

Abstract: We calculate the cluster modular groups of affine and doubly extended typecluster algebras in a uniform way by introducing a new family of quivers. We use this uniformdescription to construct a natural finite quotient of the cluster complex of each affine anddoubly extended cluster algebra. Using this construction, we introduce the notion of affineand doubly extended generalized associahedra, and… ▽ More We calculate the cluster modular groups of affine and doubly extended typecluster algebras in a uniform way by introducing a new family of quivers. We use this uniformdescription to construct a natural finite quotient of the cluster complex of each affine anddoubly extended cluster algebra. Using this construction, we introduce the notion of affineand doubly extended generalized associahedra, and count their facets. △ Less

Submitted 7 April, 2025; v1 submitted 21 July, 2021; originally announced July 2021.

Invariant Functions On Cluster Ensembles

Authors: Dani Kaufman

Abstract: We define the notion of an invariant function on a cluster ensemble with respect to an action of the cluster modular group on its associated function fields. We realize many examples of previously studied functions as elements of this type of invariant ring and give many new examples. We show that these invariants have geometric and number theoretic interpretations, and classify them for ensembles… ▽ More We define the notion of an invariant function on a cluster ensemble with respect to an action of the cluster modular group on its associated function fields. We realize many examples of previously studied functions as elements of this type of invariant ring and give many new examples. We show that these invariants have geometric and number theoretic interpretations, and classify them for ensembles associated to affine Dynkin diagrams. △ Less

Submitted 5 January, 2024; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: 26 pages, 16 figures

MSC Class: 13F60 (Primary) 30F60 (Secondary)

Journal ref: Journal of Pure and Applied Algebra, Volume 228, Issue 2, 2024, 107495

Blended Cured Quasi-Newton for Geometric Optimization

Authors: Yufeng Zhu, Robert Bridson, Danny M. Kaufman

Abstract: Optimizing deformation energies over a mesh, in two or three dimensions, is a common and critical problem in physical simulation and geometry processing. We present three new improvements to the state of the art: a barrier-aware line-search filter that cures blocked descent steps due to element barrier terms and so enables rapid progress; an energy proxy model that adaptively blends the Sobolev (i… ▽ More Optimizing deformation energies over a mesh, in two or three dimensions, is a common and critical problem in physical simulation and geometry processing. We present three new improvements to the state of the art: a barrier-aware line-search filter that cures blocked descent steps due to element barrier terms and so enables rapid progress; an energy proxy model that adaptively blends the Sobolev (inverse-Laplacian-processed) gradient and L-BFGS descent to gain the advantages of both, while avoiding L-BFGS's current limitations in geometry optimization tasks; and a characteristic gradient norm providing a robust and largely mesh- and energy-independent convergence criterion that avoids wrongful termination when algorithms temporarily slow their progress. Together these improvements form the basis for Blended Cured Quasi-Newton (BCQN), a new geometry optimization algorithm. Over a wide range of problems over all scales we show that BCQN is generally the fastest and most robust method available, making some previously intractable problems practical while offering up to an order of magnitude improvement in others. △ Less

Submitted 31 January, 2018; v1 submitted 28 April, 2017; originally announced May 2017.

Geometric Numerical Integration of Inequality Constrained, Nonsmooth Hamiltonian Systems

Authors: Danny M. Kaufman, Dinesh K. Pai

Abstract: We consider the geometric numerical integration of Hamiltonian systems subject to both equality and "hard" inequality constraints. As in the standard geometric integration setting, we target long-term structure preservation. We additionally, however, also consider invariant preservation over persistent, simultaneous and/or frequent boundary interactions. Appropriately formulating geometric methods… ▽ More We consider the geometric numerical integration of Hamiltonian systems subject to both equality and "hard" inequality constraints. As in the standard geometric integration setting, we target long-term structure preservation. We additionally, however, also consider invariant preservation over persistent, simultaneous and/or frequent boundary interactions. Appropriately formulating geometric methods to include such conditions has long-remained challenging due to the inherent nonsmoothness they impose. To resolve these issues we thus focus both on symplectic-momentum preserving behavior and the preservation of additional structures, unique to the inequality constrained setting. Leveraging discrete variational techniques, we construct a family of geometric numerical integration methods that not only obtain the usual desirable properties of momentum preservation, approximate energy conservation and equality constraint preservation, but also enforce multiple simultaneous inequality constraints, obtain smooth unilateral motion along constraint boundaries and allow for both nonsmooth and smooth boundary approach and exit trajectories. Numerical experiments are presented to illustrate the behavior of these methods on difficult test examples where both smooth and nonsmooth active constraint modes persist with high frequency. △ Less

Submitted 1 June, 2011; v1 submitted 13 July, 2010; originally announced July 2010.

Comments: added new section, new figure, clarification, and minor edits