Tianran Chen Ph.D.

Employment

  • 2017 – present Assistant Professor, Auburn University Montgomery.
  • 2016 – 2017 Lecturer, Auburn University Montgomery.
  • 2012 – 2016 Research Instructor, Michigan State University.
  • 2006 – 2012 Research and Teaching Assistant, Michigan State University.
  • 2003 – 2005 Research Assistant, Western Connecticut State University.

Education

  • 2012 Ph.D. Applied Mathematics, Michigan State University, (MI USA).
  • 2005 B.A. Computer Science, Western Connecticut State University, (CT USA).

Honors & Awards

  • 2016 AMS-Simons Travel Grant
  • 2014 A paper selected for Journal of Chemical Physics Editors’ Choice for 2014
  • 2010 Dr. Paul & Wilma Dressel endowed scholarship award (Michigan State University)
  • 2005 Student leadership recognition award for outstanding leadership (Western Connecticut State University)
  • 2005 Sigma Xi research award in Physics, Astronomy & Meteorology (Western Connecticut State University)
  • 2004 Wohlever award in Computer Science (Western Connecticut State University)

Research Interests

  • Numerical analysis
  • High performance computing
  • Scientific computing
  • Numerical algebraic geometry
  • Application of numerical methods in physics, chemistry, and engineering

Publications

  1. (with Christian Knoll, Dhagash Mehta, and Franz Pernkopf)
    "Fixed points of belief propagation -- An analysis via polynomial homotopy continuation "
    IEEE Transactions on Pattern Analysis and Machine Intelligence
    [ link ] [ arXiv ] [ ] [ ]

    Abstract: Belief propagation (BP) is an iterative method to perform approximate inference on arbitrary graphical models. Whether BP converges and if the solution is a unique fixed point depends on both the structure and the parametrization of the model. To understand this dependence it is interesting to find all fixed points.
    @article{knoll_fixed_2017,
    author = {Knoll, Christian and Mehta, Dhagash and Chen, Tianran and Pernkopf, Franz},
    doi = {10.1109/TPAMI.2017.2749575},
    issn = {0162-8828},
    journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
    pages = {1--1},
    title = {{Fixed Points of Belief Propagation - An Analysis via Polynomial Homotopy Continuation}},
    url = {http://ieeexplore.ieee.org/document/8027142/},
    year = {2017}
    }
    
  2. (with Dhagash Mehta)
    "On the Network Topology Dependent Solution Count of the Algebraic Load Flow Equations"
    IEEE Transactions on Power Systems
    [ link ] [ pdf ] [ ] [ ]

    Abstract: Active research activity in power systems areas has focused on developing computational methods to solve load flow equations where a key question is the maximum number of solutions. Though several upper bounds exist, recent studies have hinted that much sharper upper bounds that depend the topology of underlying power networks may exist. This paper provides a significant refinement of these observations. We also develop a geometric construction called adjacency polytope which accurately captures the topology of a power network and is immensely useful in the computation of the solution bound. Finally we highlight the significant implications of the development of such solution bounds in numerically solving load flow equations.
    @article{chen_network_2017,
    author = {Chen, Tianran and Mehta, Dhagash},
    doi = {10.1109/TPWRS.2017.2724030},
    issn = {0885-8950},
    journal = {IEEE Transactions on Power Systems},
    pages = {1--1},
    title = {On the Network Topology Dependent Solution Count of the Algebraic Load Flow Equations},
    url = {http://ieeexplore.ieee.org/document/7971956/},
    year = {2017}
    }
    
  3. (with Tsung-Lin Lee and Tien-Yien Li)
    "Mixed cell computation in Hom4PS-3"
    Journal of Symbolic Computation (2017), pp. 516-534
    [ link ] [ ] [ ]

    Abstract: This article presents recent efforts in improving the efficiency and scalability of the mixed cell computation step in the context of the Polyhedral Homotopy method. Solving systems of polynomial equations is an important problem in applied mathematics. The Polyhedral Homotopy method is an important numerical method for this task. In this method, a necessary preprocessing step, known as the "mixed cell computation" problem has been the main bottleneck in the parallel efficiency and scalability. This article presents recent remarkable improvements in the parallel scalability of the algorithm that are applicable to a wide range of hardware architectures including multi-core systems, NUMA systems, computer clusters, and GPUs devices.
    @article{chen_mixed_2017,
    author = {Chen, Tianran and Lee, Tsung-Lin and Li, Tien-Yien},
    doi = {10.1016/j.jsc.2016.07.017},
    issn = {0747-7171},
    journal = {Journal of Symbolic Computation},
    month = {mar},
    pages = {516--534},
    series = {SI: Numerical Algebraic Geometry},
    title = {{Mixed cell computation in Hom4PS-3}},
    url = {http://www.sciencedirect.com/science/article/pii/S0747717116300542},
    volume = {79, Part 3},
    year = {2017}
    }
    
  4. (with Dhagash Mehta)
    "Parallel degree computation for binomial systems"
    Journal of Symbolic Computation (2017), pp. 535-558
    [ link ] [ ] [ ]

    Abstract: Solution sets of systems of binomial equations are of great interest in applied mathematics. For both theoretic and applied purposes, the degree of a solution set (its maximum number of isolated intersections with an affine space of complementary dimension) often plays an important role in understanding its geometric structure. This paper proposes a specialized parallel algorithm for computing the degree on GPUs that takes advantage of the massively parallel nature of GPU devices. The preliminary implementation shows remarkable efficiency and scalability when compared to the closest CPU-based counterpart. As a case study, the algorithm is applied to the master space problem of N = 1 gauge theories. The GPU-based implementation achieves nearly 30 fold speedup over its CPU-only counterpart enabling the discovery of previously unknown results.
    @article{chen_parallel_2017,
    author = {Chen, Tianran and Mehta, Dhagash},
    doi = {10.1016/j.jsc.2016.07.018},
    issn = {0747-7171},
    journal = {Journal of Symbolic Computation},
    keywords = {Algebraic Geometry,BKK root-count,Binomial systems,Folder - Unmixing,GPU computing,Supersymmetric gauge theories,homotopy continuation},
    month = {mar},
    pages = {535--558},
    series = {SI: Numerical Algebraic Geometry},
    title = {{Parallel degree computation for binomial systems}},
    url = {http://www.sciencedirect.com/science/article/pii/S0747717116300554},
    volume = {79, Part 3},
    year = {2017}
    }
    
  5. (with Dhagash Mehta, John Morgan, and David Wales)
    "Response to "Comment on 'Exploring the potential energy landscape of the Thomson problem via Newton homotopies'" "
    The Journal of Chemical Physics 143, 247102
    [ link ] [ ] [ ]

    Abstract: The comment notes that the Newton homotopy (NH) and Newton trajectory (NT) methods are related. By describing recent implementations of the NH method, we clarify the similarities and differences between the two approaches. The possible synergy between NH, NT and other flow methods could suggest further developments in mathematics and chemistry.
    @article{mehta_response_2015,
    author = {Mehta, Dhagash and Chen, Tianran and Morgan, John W. R. and Wales, David J.},
    doi = {10.1063/1.4939011},
    issn = {0021-9606, 1089-7690},
    journal = {The Journal of Chemical Physics},
    keywords = {Bifurcations,Difference equations,Flow instabilities,Flow simulations,Folder - LogEval,Folder - Unmixing,Singularity theory},
    month = {dec},
    number = {24},
    pages = {247102},
    title = {{Response to “Comment on ‘Exploring the potential energy landscape of the Thomson problem via Newton homotopies”' [J. Chem. Phys. 143, 247101 (2015)]}},
    url = {http://scitation.aip.org/content/aip/journal/jcp/143/24/10.1063/1.4939011 http://scitation.aip.org/deliver/fulltext/aip/journal/jcp/143/24/1.4939011.pdf;jsessionid=23ev3700uj07.x-aip-live-03?itemId=/content/aip/journal/jcp/143/24/10.1063/1.4939011{\&}mimeTyp},
    volume = {143},
    year = {2015}
    }
    
  6. (with Tien-Yien Li)
    "Homotopy continuation method for solving systems of nonlinear and polynomial equations "
    Communications in Information and Systems 15(2):119--307 (2015)
    [ link ] [ ] [ ]

    Abstract: This survey provides an overview of the homotopy continuation method for solving systems of nonlinear and polynomial equations including its theoretical background, numerical stability analysis, and implementation issues.
    @article{chen_homotopy_2015,
    author = {Chen, Tianran and Li, Tien-Yien},
    doi = {10.4310/CIS.2015.v15.n2.a1},
    issn = {15267555, 21634548},
    journal = {Commun. Inf. Syst.},
    number = {2},
    pages = {119--307},
    title = {Homotopy continuation method for solving systems of nonlinear and polynomial equations},
    volume = {15},
    year = {2015}
    }
    
  7. (with Dhagash Mehta, David Wales, and John Morgan)
    "Exploring the potential energy landscape of the Thomson problem via Newton homotopies"
    The Journal of Chemical Physics 142 194113 (2015)
    [ link ] [ ] [ ]

    Abstract: Locating the stationary points of a real-valued multivariate potential energy function is an important problem in many areas of science. This task generally amounts to solving simultaneous nonlinear systems of equations. While there are several numerical methods that can find many or all stationary points, they each exhibit characteristic problems. Moreover, traditional methods tend to perform poorly near degenerate stationary points with additional zero Hessian eigenvalues. We propose an efficient and robust implementation of the Newton homotopy method, which is capable of quickly sampling a large number of stationary points of a wide range of indices, as well as degenerate stationary points. We demonstrate our approach by applying it to the Thomson problem. We also briefly discuss a possible connection between the present work and Smale's 7th problem.
    @article{mehta_exploring_2015,
    author = {Mehta, Dhagash and Chen, Tianran and Morgan, John W. R. and Wales, David J.},
    doi = {10.1063/1.4921163},
    issn = {0021-9606, 1089-7690},
    journal = {The Journal of Chemical Physics},
    keywords = {Eigenvalues,Folder - Finished - NewtonHomotopyReply,Folder - Finished - Solving survey,Folder - LogEval,Folder - Power flow,Folder - Unmixing,Newton Raphson method,Nonlinear dynamics,Numerical solutions,Potential energy surfaces},
    month = {may},
    number = {19},
    pages = {194113},
    title = {{Exploring the potential energy landscape of the Thomson problem via Newton homotopies}},
    url = {http://scitation.aip.org/content/aip/journal/jcp/142/19/10.1063/1.4921163},
    volume = {142},
    year = {2015}
    }
    
  8. (with Tien-Yien Li and Xiaoshen Wang)
    "Theoretical aspects of mixed volume computation via mixed subdivision"
    Communications in Information and Systems (2014)
    [ link ] [ pdf ] [ ] [ ]

    Abstract: We analyze the computation of mixed volume of tuples of polytopes via fine mixed subdivisions. This method expresses the mixed volume as a sum of easily computable standard volumes of polytopes called mixed cells. Mixed cells play a critically important role in polyhedral homotopy continuation method, which in turn is a particularly efficient numerical method for the solution of systems of polynomial equations. We provide a complete and self-contained account of the underlying computational convexity techniques, assuming no background in algebraic geometry.
    @article{chen_theoretical_2014,
    author = {Chen, Tianran and Li, Tien-Yien and Wang, Xiaoshen},
    doi = {10.4310/CIS.2014.v14.n4.a1},
    issn = {15267555, 21634548},
    journal = {Communications in Information and Systems},
    number = {4},
    pages = {213--242},
    title = {Theoretical aspects of mixed volume computation via mixed subdivision},
    url = {http://www.intlpress.com/site/pub/pages/journals/items/cis/content/vols/0014/0004/a001/},
    volume = {14},
    year = {2014}
    }
    
  9. (with Dhagash Mehta, Jonathan Hauenstein, and David Wales)
    "Newton homotopies for sampling stationary points of potential energy landscapes"
    The Journal of Chemical Physics 141 (12), 121104 (2014)
    [ link ] [ arXiv ] [ ] [ ]

    Abstract: One of the most challenging and frequently arising problems in many areas of science is to find solutions of a system of multivariate nonlinear equations. There are several numerical methods that can find many (or all if the system is small enough) solutions but they all exhibit characteristic problems. Moreover, traditional methods can break down if the system contains singular solutions. Here, we propose an efficient implementation of Newton homotopies, which can sample a large number of the stationary points of complicated many-body potentials. We demonstrate how the procedure works by applying it to the nearest-neighbor ϕ4 model and atomic clusters.
    @article{mehta_newton_2014,
    author = {Mehta, Dhagash and Chen, Tianran and Hauenstein, Jonathan D and Wales, David J},
    doi = {10.1063/1.4896657},
    issn = {0021-9606, 1089-7690},
    journal = {The Journal of Chemical Physics},
    keywords = {Atomic and molecular clusters,Biomolecular structure,Nonlinear differential equations,Numerical modeling,Numerical solutions,real homotopy},
    month = {sep},
    number = {12},
    pages = {121104},
    shorttitle = {Communication},
    title = {Newton homotopies for sampling stationary points of potential energy landscapes},
    url = {http://scitation.aip.org/content/aip/journal/jcp/141/12/10.1063/1.4896657},
    volume = {141},
    year = {2014}
    }
    
  10. (with Tien-Yien Li)
    "Solutions to systems of binomial equations"
    Annales Mathematicae Silesianae 28:7–34 (2014)
    [ link ] [ ] [ ]

    Abstract: This paper provides an overview on the geometry of solutions to binomial equations (equations that have exactly two terms) as well as the numerical methods for solving such systems.
    @article{chen_solutions_2014,
    author = {Chen, Tianran and Li, Tien-Yien},
    journal = {Annales Mathematicae Silesianae},
    pages = {7--34},
    title = {{Solutions to systems of binomial equations}},
    volume = {28},
    year = {2014}
    }
    
  11. (with Tsung-Lin Lee, and Tien-Yien Li)
    "Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods (extended abstract)"
    Mathematical Software -- ICMS 2014 -- 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings 8592:183–190
    [ link ] [ ] [ ]

    Abstract: Homotopy continuation methods have been proved to be an efficient and reliable class of numerical methods for solving systems of polynomial equations which occur frequently in various fields of mathematics, science, and engineering. Based on the successful software package Hom4PS-2.0 for solving such polynomial systems, Hom4PS-3 has a new fully modular design which allows it to be easily extended. It implements many different numerical homotopy methods including the Polyhedral Homotopy continuation method. Furthermore, it is capable of carrying out computation in parallel on a wide range of hardware architectures including multi-core systems, computer clusters, distributed environments, and GPUs with great efficiency and scalability. Designed to be user-friendly, it includes interfaces to a variety of existing mathematical software and programming languages such as Python, Ruby, Octave, Sage and Matlab.
    @incollection{chen_hom4ps-3,
    author = {Chen, Tianran and Lee, Tsung-Lin and Li, Tien-Yien},
    booktitle = {Mathematical Software – ICMS 2014},
    editor = {Hong, Hoon and Yap, Chee},
    isbn = {978-3-662-44198-5 978-3-662-44199-2},
    keywords = {Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Math Applications in Computer Science,Numeric Computing,Software Engineering/Programming and Operating Sy,Theory of Computation,binomial system,homotopy continuation,polyhedral homotopy,polynomial systems},
    month = {jan},
    number = {8592},
    pages = {183--190},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    shorttitle = {Hom4PS-3},
    title = {{Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods}},
    url = {http://link.springer.com/chapter/10.1007/978-3-662-44199-2{\_}30},
    year = {2014}
    }
    
  12. (with Tsung-Lin Lee and Tien-Yien Li)
    "Mixed volume computation in parallel"
    Taiwanese Journal of Mathematics 18(1):93–114 (2014)
    [ link ] [ ] [ ]

    Abstract: Efficient algorithms for computing mixed volumes, via the computation of mixed cells, have been implemented in DEMiCs and MixedVol-2.0. While the approaches in those two packages are somewhat different, they follow the same theme and are both highly serial. To fit the need for the parallel computing, a reformulation of the algorithms is inevitable. This article proposes a reformulation of the algorithm for the mixed volume computation rooted from algorithms in graph theory, making it much more fine-grained and scalable. The resulting parallel algorithm can be readily adapted to both distributed and shared memory computing systems. Illustrated by the numerical results on several different architectures, the speedups of our parallel algorithms for the mixed volume computation are remarkable.
    @article{chen_mixed_2014,
    author = {Chen, Tianran and Lee, Tsung-Lin and Li, Tien-Yien},
    journal = {Taiwanese Journal of Mathematics},
    keywords = {bkk,mixed cells,mixed volume},
    number = {1},
    pages = {93--114},
    title = {Mixed volume computation in parallel},
    volume = {18},
    year = {2014}
    }
    
  13. (with Tien-Yien Li)
    "Spherical projective path tracking for homotopy continuation methods"
    Communications in Information and Systems 12(3):195-220 (2012)
    [ link ] [ ] [ ]

    Abstract: Solving systems of polynomial equations is an important problem in mathematics with a wide range of applications in many fields. The homotopy continuation method is a large class of reliable and efficient numerical methods for solving systems of polynomial equations. An essential component in the homotopy continuation method is the path tracking algorithm for tracking smooth paths of one real dimension. In this regard, “divergent paths” pose a tough challenge as the tracking of such paths is generally impossible. The existence of such paths is, in part, caused by \(\mathbb{C}^n\), the space in which homotopy methods usually operate, being non-compact. A well known remedy is to operate inside the complex projective space \(\mathbb{CP}^n\) instead. Path tracking inside \(\mathbb{CP}^n\) is the focus of this article. Taking the Riemannian geometry of \(\mathbb{CP}^n\) into account, we derive the basic algorithm for projective path tracking using the sphere, \(S^{2n+1}\), as the model of computation. Remarkable results from numerical experiments using this method are presented.
    @article{chen_spherical_2012,
    author = {Chen, Tianran and Li, Tien-Yien},
    journal = {Communication in Information and Systems},
    number = {3},
    pages = {195--220},
    title = {Spherical projective path tracking for homotopy continuation methods},
    volume = {12},
    year = {2012}
    }
    

Teaching Experience

   
2016 to 2017 Multivariable Calculus, Modern Algebra II, Mathematical modeling and simulation
2016 to 2017 Pre-calculus, Calculus I,II
2012 to 2016 Calculus sequence, Linear Algebra, Transition to Advanced Mathematics, Abstract algebra.
2006 to 2012 Teaching Assistant for Calculus sequence

Professional Services

  • (2018) Organizer for the Southern Regional Algebra Conference 2018 .
  • (2017) Organizer for the Special Session on Algorithms and Implementation in Numerical Algebraic Geometry at 2017 SIAM Conference on Applied Algebraic Geometry, Atlanta USA
  • (2015) Co-organizer for the Special Session on Homotopy Continuation Methods and Their Applications to Science and Engineering at the American Mathematical Society 2015 Central Spring Sectional Meeting, East Lansing USA
  • Reviewer for ACM Transactions on Mathematical Software
  • Reviewer for International Symposium on Symbolic and Algebraic Computation
  • Reviewer for IEEE Transactions on Power Systems
  • Reviewer for LMS Journal of Computation and Mathematics
  • Reviewer for SIAM Journal on Applied Dynamical Systems