{"id":{"repo_id":"auckland-ms","oai_identifier":"oai:researchspace.auckland.ac.nz:2292/36820"},"canonical_url":"https://search.dev.ndltd.org/etd/auckland-ms/oai:researchspace.auckland.ac.nz:2292/36820","repository":{"repo_id":"auckland-ms","name":"University of Auckland","base_url":"https://researchspace.auckland.ac.nz/server/oai/request"},"display":{"title":"Noncommutative rational functions and their finite-dimensional representations","abstract":"Noncommutative rational functions form a free skew field, a universal object in the category of skew fields. They emerge in various branches of pure and applied mathematics, such as noncom-mutative algebra, automata theory, control theory, free analysis, free real algebraic geometry and free probability. A noncommutative rational function is given by a formal rational expression involving freely noncommuting variables and arithmetic operations, which can be naturally evaluated at tuples of matrices of all sizes. This dissertation studies such finite-dimensional evaluations, with the goal of determining what information about the structure of the free skew field can be recovered from them. Firstly a matrix coefficient realization theory is developed, which for an arbitrary noncom-mutative rational function yields an efficiently computable normal form. Such a realization of a noncommutative rational function measures its complexity and describes its natural domain as the complement of a free singularity locus of a linear matrix pencil. The inclusion problem for free loci, and thus for domains of noncommutative rational functions, is next solved in terms of epimorphisms between the coefficient algebras of the corresponding linear matrix pencils. This theorem, called a Singularitatstellensatz for linear matrix pencils, is closely related to the invariant theory of the general linear group. Via realization theory this result yields an algebraic characterization of noncommutative rational functions with a given domain. More-over, a description of noncommutative rational functions whose domains contain all tuples of hermitian matrices is derived. In particular, it is proven that an everywhere defined noncom-mutative rational function is a noncommutative polynomial. The understanding of the behavior of noncommutative rational functions under hermitian evaluations is further advanced by the resolution of an noncommutative analog of Hilbert’s 17th problem: a noncommutative rational function that is positive semidefinite at every tuple of hermitian matrices is a sum of hermitian squares of noncommutative rational functions. Finally, the construction of the free skew field via matrix evaluations is extended to partially commuting arguments. The obtained multipartite rational functions play a remarkable role in the theory of universal skew fields of fractions and in the difference-differential calculus in free analysis.","abstract_html":"Noncommutative rational functions form a free skew field, a universal object in the category of skew fields. They emerge in various branches of pure and applied mathematics, such as noncom-mutative algebra, automata theory, control theory, free analysis, free real algebraic geometry and free probability. A noncommutative rational function is given by a formal rational expression involving freely noncommuting variables and arithmetic operations, which can be naturally evaluated at tuples of matrices of all sizes. This dissertation studies such finite-dimensional evaluations, with the goal of determining what information about the structure of the free skew field can be recovered from them. Firstly a matrix coefficient realization theory is developed, which for an arbitrary noncom-mutative rational function yields an efficiently computable normal form. Such a realization of a noncommutative rational function measures its complexity and describes its natural domain as the complement of a free singularity locus of a linear matrix pencil. The inclusion problem for free loci, and thus for domains of noncommutative rational functions, is next solved in terms of epimorphisms between the coefficient algebras of the corresponding linear matrix pencils. This theorem, called a Singularitatstellensatz for linear matrix pencils, is closely related to the invariant theory of the general linear group. Via realization theory this result yields an algebraic characterization of noncommutative rational functions with a given domain. More-over, a description of noncommutative rational functions whose domains contain all tuples of hermitian matrices is derived. In particular, it is proven that an everywhere defined noncom-mutative rational function is a noncommutative polynomial. The understanding of the behavior of noncommutative rational functions under hermitian evaluations is further advanced by the resolution of an noncommutative analog of Hilbert’s 17th problem: a noncommutative rational function that is positive semidefinite at every tuple of hermitian matrices is a sum of hermitian squares of noncommutative rational functions. Finally, the construction of the free skew field via matrix evaluations is extended to partially commuting arguments. The obtained multipartite rational functions play a remarkable role in the theory of universal skew fields of fractions and in the difference-differential calculus in free analysis.","abstract_has_math":false,"creators":["Volcic, Jurij"],"institution":"ResearchSpace@Auckland","degree_name":"PhD","degree_level":"Doctoral","degree_discipline":"Mathematics","degree_department":null,"school":null,"contributors":[],"advisors":["Klep, I"],"committee_chairs":[],"committee_members":[],"year":2017,"date_issued":"2017","date_published":"2017","updated_at":"2026-07-24T01:05:49Z","subjects":[],"languages":[],"rights":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher."],"rights_urls":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2292/36820","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Klep, I"]},{"key":"dc:creator","label":"Author","values":["Volcic, Jurij"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2018-01-14T22:51:53Z"]},{"key":"dc:date.issued","label":"Date","values":["2017"]},{"key":"dc:publisher","label":"Institution","values":["ResearchSpace@Auckland"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["UoA99264960113702091"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Mathematics"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Doctoral"]},{"key":"thesis:degree_name","label":"Degree Name","values":["PhD"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["The University of Auckland"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher."]},{"key":"dc:rights.uri","label":"Rights URI","values":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/2292/36820"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Noncommutative rational functions form a free skew field, a universal object in the category of skew fields. They emerge in various branches of pure and applied mathematics, such as noncom-mutative algebra, automata theory, control theory, free analysis, free real algebraic geometry and free probability. A noncommutative rational function is given by a formal rational expression involving freely noncommuting variables and arithmetic operations, which can be naturally evaluated at tuples of matrices of all sizes. This dissertation studies such finite-dimensional evaluations, with the goal of determining what information about the structure of the free skew field can be recovered from them. Firstly a matrix coefficient realization theory is developed, which for an arbitrary noncom-mutative rational function yields an efficiently computable normal form. Such a realization of a noncommutative rational function measures its complexity and describes its natural domain as the complement of a free singularity locus of a linear matrix pencil. The inclusion problem for free loci, and thus for domains of noncommutative rational functions, is next solved in terms of epimorphisms between the coefficient algebras of the corresponding linear matrix pencils. This theorem, called a Singularitatstellensatz for linear matrix pencils, is closely related to the invariant theory of the general linear group. Via realization theory this result yields an algebraic characterization of noncommutative rational functions with a given domain. More-over, a description of noncommutative rational functions whose domains contain all tuples of hermitian matrices is derived. In particular, it is proven that an everywhere defined noncom-mutative rational function is a noncommutative polynomial. The understanding of the behavior of noncommutative rational functions under hermitian evaluations is further advanced by the resolution of an noncommutative analog of Hilbert’s 17th problem: a noncommutative rational function that is positive semidefinite at every tuple of hermitian matrices is a sum of hermitian squares of noncommutative rational functions. Finally, the construction of the free skew field via matrix evaluations is extended to partially commuting arguments. The obtained multipartite rational functions play a remarkable role in the theory of universal skew fields of fractions and in the difference-differential calculus in free analysis."]},{"key":"dc:title","label":"Title","values":["Noncommutative rational functions and their finite-dimensional representations"]}]}],"canonical_facts":{"dc:contributor.advisor":["Klep, I"],"dc:creator":["Volcic, Jurij"],"dc:date.accessioned":["2018-01-14T22:51:53Z"],"dc:date.issued":["2017"],"dc:description.abstract":["Noncommutative rational functions form a free skew field, a universal object in the category of skew fields. They emerge in various branches of pure and applied mathematics, such as noncom-mutative algebra, automata theory, control theory, free analysis, free real algebraic geometry and free probability. A noncommutative rational function is given by a formal rational expression involving freely noncommuting variables and arithmetic operations, which can be naturally evaluated at tuples of matrices of all sizes. This dissertation studies such finite-dimensional evaluations, with the goal of determining what information about the structure of the free skew field can be recovered from them. Firstly a matrix coefficient realization theory is developed, which for an arbitrary noncom-mutative rational function yields an efficiently computable normal form. Such a realization of a noncommutative rational function measures its complexity and describes its natural domain as the complement of a free singularity locus of a linear matrix pencil. The inclusion problem for free loci, and thus for domains of noncommutative rational functions, is next solved in terms of epimorphisms between the coefficient algebras of the corresponding linear matrix pencils. This theorem, called a Singularitatstellensatz for linear matrix pencils, is closely related to the invariant theory of the general linear group. Via realization theory this result yields an algebraic characterization of noncommutative rational functions with a given domain. More-over, a description of noncommutative rational functions whose domains contain all tuples of hermitian matrices is derived. In particular, it is proven that an everywhere defined noncom-mutative rational function is a noncommutative polynomial. The understanding of the behavior of noncommutative rational functions under hermitian evaluations is further advanced by the resolution of an noncommutative analog of Hilbert’s 17th problem: a noncommutative rational function that is positive semidefinite at every tuple of hermitian matrices is a sum of hermitian squares of noncommutative rational functions. Finally, the construction of the free skew field via matrix evaluations is extended to partially commuting arguments. The obtained multipartite rational functions play a remarkable role in the theory of universal skew fields of fractions and in the difference-differential calculus in free analysis."],"dc:identifier.uri":["https://hdl.handle.net/2292/36820"],"dc:publisher":["ResearchSpace@Auckland"],"dc:relation.isreferencedby":["UoA99264960113702091"],"dc:rights":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher."],"dc:rights.uri":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"],"dc:title":["Noncommutative rational functions and their finite-dimensional representations"],"dc:type":["Thesis"],"thesis:degree_discipline":["Mathematics"],"thesis:degree_level":["Doctoral"],"thesis:degree_name":["PhD"],"thesis:institution_name":["The University of Auckland"]},"updated_at":"2026-07-24T01:05:49Z"}