Algebro-geometric algorithms for program synthesis, tensor networks, and conditional independence models

Deze dissertatie onderzoekt Algebro-Geometrische Algoritmen in Programmasynthese, Tensornetwerken, en Conditionele Onafhankelijkheidsmodellen. In Programmasynthese draagt het onderzoek bij aan template-gebaseerde synthese voor polynomiale imperatieve programma's, bewijst beslisbaarheid, ontwikkelt een praktisch algoritme, toont correctheid en semi-volledigheid aan, en verbetert de efficiëntie. Het onderzoek naar Tensornetwerken richt zich op uniforme matrixproducttoestanden (uMPS) en hun lineaire spanwijdten, en biedt nieuwe methoden en bevindingen rond hun symmetrieën en dimensies. Ten slotte koppelt het hoofdstuk over Conditionele Onafhankelijkheidsmodellen conditionele onafhankelijkheidsverklaringen, incidentiegeometrie en Gröbner-basissen door het bestuderen van hypergraafidealen en matroïde-variëteiten, en stelt het een nieuwe decompositiestrategie voor om deze structuren te analyseren. Dit werk combineert tools uit de algebraïsche geometrie en combinatoriek, wat een beter begrip van computationele problemen in informatica, kwantumfysica en statistiek mogelijk maakt. Verder streeft het ernaar interdisciplinaire samenwerkingen te bevorderen, waardoor informatici, natuurkundigen, statistici, combinatorialisten, algebraïsten en geometers worden geïnspireerd om deze tools en inzichten in hun onderzoek te incorporeren.

Grantor dc:publisher

Ghent University. Faculty of Sciences

Year dc:date

2023

Author dc:creator

• Motwani, Harshit Jitendra

Contributors dc:contributor

• De Medts, Tom

• Mathematics and Statistics

Statement dc:rights

• info:eu-repo/semantics/openAccess

Language dc:language

eng

Identifier

https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8
https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8/file/01HB5MKNE9PQ2YZZASHE7QVYSX

OAI identifier oai:identifier

oai:archive.ugent.be:01HB5MCYKJE9CFH6HXP196QZT8