{"id":{"repo_id":"cornell","oai_identifier":"oai:ecommons.cornell.edu:1813/116510"},"canonical_url":"https://search.dev.ndltd.org/etd/cornell/oai:ecommons.cornell.edu:1813/116510","repository":{"repo_id":"cornell","name":"Cornell University","base_url":"https://ecommons.cornell.edu/server/oai/request"},"display":{"title":"THE THEORY OF COMBINATORY DIFFERENTIATION AND LOCALITY IN QUANTUM CHEMISTRY","abstract":"The goal of this thesis is to document three of the ideas from my PhD study related to quantum Chemistry. These ideas are alternative mathematical foundations to their respective problems. Two of the three ideas come with a working implementation that empirically demonstrates significant advantages over the state of the art with no trade-offs or caveats. The implementation of the other idea has not gathered enough evidence to show a practical advantage, but it appears promising. Chapter one is the theory of combinatory differentiation, which practically brings symbolic differentiation up to speed with algorithmic differentiation and enables the analytic automation of the backpropagation and differential tensor calculus. At the center of this model of differentiation is a serendipitous connection between the combinatory logic and path integrals through a little bit of differential geometry captured in just two equations. This work started as an attempt to automate the differentiation process in quantum mechanics using fundamental concepts in programming language theories. It turned into a theoretical model when the connection between the combinators and the path integral emerged during the first few implementation attempts. Chapter two challenges the self-consistent field (SCF) narrative thatuncorrelated electrons occupy the canonical orbitals, which are the eigenstates of a so-called effective mean-field Hamiltonian. We argue that this pseudo-physical interpretation attached to the SCF is appealing but not physical. In particular, the electron delocalization is a numerical artifact camouflaged as a quantum mechanical phenomenon under the SCF narrative. We show that a manifold HF with localization avoids delocalizing the electrons at all times without any compromise to the energy. This approach points a way to reliably overcome the cubic scaling of independent electron theories through a divide and conquer strategy. Chapter three is a reformulation of the Wannier localization problem with a more consistent Physical model and a more appropriate mathematical optimization framework. This reformulation has lead to a simpler theory that practically accelerates Wannier90 by about $100 \\times$ on average when starting from a random initial guess. This project was started as a digression from another project that extends the selected columns of the density matrix (SCDM) algorithm to localize the virtual orbitals. We never returned to writing up the original project even though many questions has been answered.","abstract_html":"The goal of this thesis is to document three of the ideas from my PhD study related to quantum Chemistry. These ideas are alternative mathematical foundations to their respective problems. Two of the three ideas come with a working implementation that empirically demonstrates significant advantages over the state of the art with no trade-offs or caveats. The implementation of the other idea has not gathered enough evidence to show a practical advantage, but it appears promising. Chapter one is the theory of combinatory differentiation, which practically brings symbolic differentiation up to speed with algorithmic differentiation and enables the analytic automation of the backpropagation and differential tensor calculus. At the center of this model of differentiation is a serendipitous connection between the combinatory logic and path integrals through a little bit of differential geometry captured in just two equations. This work started as an attempt to automate the differentiation process in quantum mechanics using fundamental concepts in programming language theories. It turned into a theoretical model when the connection between the combinators and the path integral emerged during the first few implementation attempts. Chapter two challenges the self-consistent field (SCF) narrative thatuncorrelated electrons occupy the canonical orbitals, which are the eigenstates of a so-called effective mean-field Hamiltonian. We argue that this pseudo-physical interpretation attached to the SCF is appealing but not physical. In particular, the electron delocalization is a numerical artifact camouflaged as a quantum mechanical phenomenon under the SCF narrative. We show that a manifold HF with localization avoids delocalizing the electrons at all times without any compromise to the energy. This approach points a way to reliably overcome the cubic scaling of independent electron theories through a divide and conquer strategy. Chapter three is a reformulation of the Wannier localization problem with a more consistent Physical model and a more appropriate mathematical optimization framework. This reformulation has lead to a simpler theory that practically accelerates Wannier90 by about $100 \\times$ on average when starting from a random initial guess. This project was started as a digression from another project that extends the selected columns of the density matrix (SCDM) algorithm to localize the virtual orbitals. We never returned to writing up the original project even though many questions has been answered.","abstract_has_math":true,"creators":["Li, Kangbo"],"institution":"Cornell University","degree_name":"Ph. D., Computer Science","degree_level":"Doctor of Philosophy","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":["Kozen, Dexter","Scheinberg, Katya","DiStasio, Robert"],"year":2024,"date_issued":"2024-08","date_published":"2024-08","updated_at":"2026-07-24T01:48:58Z","subjects":["combinatory logic","differentiation","manifold optimization","wannier functions"],"languages":["en"],"rights":["Attribution 4.0 International"],"rights_urls":["https://creativecommons.org/licenses/by/4.0/"],"identifier_entries":[{"key":"dc:identifier.doi","label":"DOI","values":["https://doi.org/10.7298/9qz4-sr38"],"render_values":[{"text":"https://doi.org/10.7298/9qz4-sr38","href":"https://doi.org/10.7298/9qz4-sr38","code":true}]},{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["ProQuest Submission ID: 14577","ProQuest Publication ID: 31488629"],"render_values":[{"text":"ProQuest Submission ID: 14577","href":null,"code":true},{"text":"ProQuest Publication ID: 31488629","href":null,"code":true}]}]},"links":{"outbound_url":"https://hdl.handle.net/1813/116510","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.committeemember","label":"Committee Member","values":["Kozen, Dexter","Scheinberg, Katya","DiStasio, Robert"]},{"key":"dc:creator","label":"Author","values":["Li, Kangbo"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2025-01-14T20:00:00Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2025-01-14T20:00:00Z"]},{"key":"dc:date.issued","label":"Date","values":["2024-08"]},{"key":"dc:type","label":"Dc Type","values":["dissertation or thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Doctor of Philosophy"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph. D., Computer Science"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Cornell University"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["combinatory logic","differentiation","manifold optimization","wannier functions"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Attribution 4.0 International"]},{"key":"dc:rights.uri","label":"Rights URI","values":["https://creativecommons.org/licenses/by/4.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["https://doi.org/10.7298/9qz4-sr38"]},{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["ProQuest Submission ID: 14577","ProQuest Publication ID: 31488629"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1813/116510"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["122 pages"]},{"key":"dc:description.abstract","label":"Abstract","values":["The goal of this thesis is to document three of the ideas from my PhD study related to quantum Chemistry. These ideas are alternative mathematical foundations to their respective problems. Two of the three ideas come with a working implementation that empirically demonstrates significant advantages over the state of the art with no trade-offs or caveats. The implementation of the other idea has not gathered enough evidence to show a practical advantage, but it appears promising. Chapter one is the theory of combinatory differentiation, which practically brings symbolic differentiation up to speed with algorithmic differentiation and enables the analytic automation of the backpropagation and differential tensor calculus. At the center of this model of differentiation is a serendipitous connection between the combinatory logic and path integrals through a little bit of differential geometry captured in just two equations. This work started as an attempt to automate the differentiation process in quantum mechanics using fundamental concepts in programming language theories. It turned into a theoretical model when the connection between the combinators and the path integral emerged during the first few implementation attempts. Chapter two challenges the self-consistent field (SCF) narrative thatuncorrelated electrons occupy the canonical orbitals, which are the eigenstates of a so-called effective mean-field Hamiltonian. We argue that this pseudo-physical interpretation attached to the SCF is appealing but not physical. In particular, the electron delocalization is a numerical artifact camouflaged as a quantum mechanical phenomenon under the SCF narrative. We show that a manifold HF with localization avoids delocalizing the electrons at all times without any compromise to the energy. This approach points a way to reliably overcome the cubic scaling of independent electron theories through a divide and conquer strategy. Chapter three is a reformulation of the Wannier localization problem with a more consistent Physical model and a more appropriate mathematical optimization framework. This reformulation has lead to a simpler theory that practically accelerates Wannier90 by about $100 \\times$ on average when starting from a random initial guess. This project was started as a digression from another project that extends the selected columns of the density matrix (SCDM) algorithm to localize the virtual orbitals. We never returned to writing up the original project even though many questions has been answered."]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["THE THEORY OF COMBINATORY DIFFERENTIATION AND LOCALITY IN QUANTUM CHEMISTRY"]}]}],"canonical_facts":{"dc:contributor.committeemember":["Kozen, Dexter","Scheinberg, Katya","DiStasio, Robert"],"dc:creator":["Li, Kangbo"],"dc:date.accessioned":["2025-01-14T20:00:00Z"],"dc:date.available":["2025-01-14T20:00:00Z"],"dc:date.issued":["2024-08"],"dc:description":["122 pages"],"dc:description.abstract":["The goal of this thesis is to document three of the ideas from my PhD study related to quantum Chemistry. These ideas are alternative mathematical foundations to their respective problems. Two of the three ideas come with a working implementation that empirically demonstrates significant advantages over the state of the art with no trade-offs or caveats. The implementation of the other idea has not gathered enough evidence to show a practical advantage, but it appears promising. Chapter one is the theory of combinatory differentiation, which practically brings symbolic differentiation up to speed with algorithmic differentiation and enables the analytic automation of the backpropagation and differential tensor calculus. At the center of this model of differentiation is a serendipitous connection between the combinatory logic and path integrals through a little bit of differential geometry captured in just two equations. This work started as an attempt to automate the differentiation process in quantum mechanics using fundamental concepts in programming language theories. It turned into a theoretical model when the connection between the combinators and the path integral emerged during the first few implementation attempts. Chapter two challenges the self-consistent field (SCF) narrative thatuncorrelated electrons occupy the canonical orbitals, which are the eigenstates of a so-called effective mean-field Hamiltonian. We argue that this pseudo-physical interpretation attached to the SCF is appealing but not physical. In particular, the electron delocalization is a numerical artifact camouflaged as a quantum mechanical phenomenon under the SCF narrative. We show that a manifold HF with localization avoids delocalizing the electrons at all times without any compromise to the energy. This approach points a way to reliably overcome the cubic scaling of independent electron theories through a divide and conquer strategy. Chapter three is a reformulation of the Wannier localization problem with a more consistent Physical model and a more appropriate mathematical optimization framework. This reformulation has lead to a simpler theory that practically accelerates Wannier90 by about $100 \\times$ on average when starting from a random initial guess. This project was started as a digression from another project that extends the selected columns of the density matrix (SCDM) algorithm to localize the virtual orbitals. We never returned to writing up the original project even though many questions has been answered."],"dc:format.mimetype":["application/pdf"],"dc:identifier.doi":["https://doi.org/10.7298/9qz4-sr38"],"dc:identifier.other":["ProQuest Submission ID: 14577","ProQuest Publication ID: 31488629"],"dc:identifier.uri":["https://hdl.handle.net/1813/116510"],"dc:language.iso":["en"],"dc:rights":["Attribution 4.0 International"],"dc:rights.uri":["https://creativecommons.org/licenses/by/4.0/"],"dc:subject":["combinatory logic","differentiation","manifold optimization","wannier functions"],"dc:title":["THE THEORY OF COMBINATORY DIFFERENTIATION AND LOCALITY IN QUANTUM CHEMISTRY"],"dc:type":["dissertation or thesis"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Doctor of Philosophy"],"thesis:degree_name":["Ph. D., Computer Science"],"thesis:institution_name":["Cornell University"]},"updated_at":"2026-07-24T01:48:58Z"}