Showing 1–11 of 11 results for author: Maraj, A

Contrastive independent component analysis

Authors: Kexin Wang, Aida Maraj, Anna Seigal

Abstract: Visualizing data and finding patterns in data are ubiquitous problems in the sciences. Increasingly, applications seek signal and structure in a contrastive setting: a foreground dataset relative to a background dataset. For this purpose, we propose contrastive independent component analysis (cICA). This generalizes independent component analysis to independent latent variables across a foreground… ▽ More Visualizing data and finding patterns in data are ubiquitous problems in the sciences. Increasingly, applications seek signal and structure in a contrastive setting: a foreground dataset relative to a background dataset. For this purpose, we propose contrastive independent component analysis (cICA). This generalizes independent component analysis to independent latent variables across a foreground and background. We propose a hierarchical tensor decomposition algorithm for cICA. We study the identifiability of cICA and demonstrate its performance visualizing data and finding patterns in data, using synthetic and real-world datasets, comparing the approach to existing contrastive methods. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 28 pages, 8 figures

MSC Class: 62R01; 15A69; 90C31

Maximum Likelihood Degrees of Brownian Motion Tree Models: Star Trees and Root Invariance

Authors: Jane Ivy Coons, Shelby Cox, Aida Maraj, Ikenna Nometa

Abstract: A Brownian motion tree (BMT) model is a Gaussian model whose associated set of covariance matrices is linearly constrained according to common ancestry in a phylogenetic tree. We study the complexity of inferring the maximum likelihood (ML) estimator for a BMT model by computing its ML-degree. Our main result is that the ML-degree of the BMT model on a star tree with $n + 1$ leaves is… ▽ More A Brownian motion tree (BMT) model is a Gaussian model whose associated set of covariance matrices is linearly constrained according to common ancestry in a phylogenetic tree. We study the complexity of inferring the maximum likelihood (ML) estimator for a BMT model by computing its ML-degree. Our main result is that the ML-degree of the BMT model on a star tree with $n + 1$ leaves is $2^{n+1}-2n-3$, which was previously conjectured by Améndola and Zwiernik. We also prove that the ML-degree of a BMT model is independent of the choice of the root. The proofs rely on the toric geometry of concentration matrices in a BMT model. Toward this end, we produce a combinatorial formula for the determinant of the concentration matrix of a BMT model, which generalizes the Cayley-Prüfer theorem to complete graphs with weights given by a tree. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 19 pages, 3 figures. Comments welcome!

MSC Class: 62R01; 14M25; 62F10

Lawrence Lifts, Matroids, and Maximum Likelihood Degrees

Authors: Taylor Brysiewicz, Aida Maraj

Abstract: We express the maximum likelihood (ML) degrees of a family toric varieties in terms of Mobius invariants of matroids. The family of interest are those parametrized by monomial maps given by Lawrence lifts of totally unimodular matrices with even circuits. Specifying these matrices to be vertex-edge incidence matrices of bipartite graphs gives the ML degrees of some hierarchical models and three di… ▽ More We express the maximum likelihood (ML) degrees of a family toric varieties in terms of Mobius invariants of matroids. The family of interest are those parametrized by monomial maps given by Lawrence lifts of totally unimodular matrices with even circuits. Specifying these matrices to be vertex-edge incidence matrices of bipartite graphs gives the ML degrees of some hierarchical models and three dimensional quasi-independence models. Included in this list are the no-three-way interaction models with one binary random variable, for which, we give closed formulae. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Comments: 23 pages, 5 figures. Comments welcome!

MSC Class: 62R01 (Primary) 52B40; 14M25 (Secondary)

Symmetry Lie Algebras of Varieties with Applications to Algebraic Statistics

Authors: Aida Maraj, Arpan Pal

Abstract: The motivation for this paper is to detect when an irreducible projective variety V is not toric. We do this by analyzing a Lie group and a Lie algebra associated to V. If the dimension of V is strictly less than the dimension of the above mentioned objects, then V is not a toric variety. We provide an algorithm to compute the Lie algebra of an irreducible variety and use it to provide examples of… ▽ More The motivation for this paper is to detect when an irreducible projective variety V is not toric. We do this by analyzing a Lie group and a Lie algebra associated to V. If the dimension of V is strictly less than the dimension of the above mentioned objects, then V is not a toric variety. We provide an algorithm to compute the Lie algebra of an irreducible variety and use it to provide examples of non-toric statistical models in algebraic statistics. △ Less

Submitted 15 November, 2023; v1 submitted 19 September, 2023; originally announced September 2023.

Comments: 18 pages. Code attached. Comments welcome!

MSC Class: 62R01; 17B45; 14Q20; 14-04

Shift Invariant Algebras, Segre Products and Regular Languages

Authors: Aida Maraj, Uwe Nagel

Abstract: Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a… ▽ More Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a tensor product of families of algebras with rational equivariant Hilbert series has a rational equivariant Hilbert series. The term equivariant is used broadly to include the action of the monoid of nonnegative integers by shifting variables. Furthermore, we exhibit a filtration of shift invariant monomial algebras that has a rational equivariant Hilbert series, but whose presentation ideals do not stabilize. △ Less

Submitted 26 April, 2022; v1 submitted 16 April, 2022; originally announced April 2022.

Comments: 26 pages, comments are welcome!

MSC Class: 13E15; 05E40; 13P25; 68Q70; 68Q45

Symmetrically colored Gaussian graphical models with toric vanishing ideal

Authors: Jane Ivy Coons, Aida Maraj, Pratik Misra, Miruna-Stefana Sorea

Abstract: A colored Gaussian graphical model is a linear concentration model in which equalities among the concentrations are specified by a coloring of an underlying graph. The model is called RCOP if this coloring is given by the edge and vertex orbits of a subgroup of the automorphism group of the graph. We show that RCOP Gaussian graphical models on block graphs are toric in the space of covariance matr… ▽ More A colored Gaussian graphical model is a linear concentration model in which equalities among the concentrations are specified by a coloring of an underlying graph. The model is called RCOP if this coloring is given by the edge and vertex orbits of a subgroup of the automorphism group of the graph. We show that RCOP Gaussian graphical models on block graphs are toric in the space of covariance matrices and we describe Markov bases for them. To this end, we learn more about the combinatorial structure of these models and their connection with Jordan algebras. △ Less

Submitted 5 November, 2022; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: Comments are very welcome!

MSC Class: 62R01

Journal ref: SIAM Journal on Applied Algebra and Geometry, Volume 7, Issue 1, March 2023, Pages: 133 - 158

Staged tree models with toric structure

Authors: Christiane Görgen, Aida Maraj, Lisa Nicklasson

Abstract: A staged tree model is a discrete statistical model encoding relationships between events. These models are realised by directed trees with coloured vertices. In algebro-geometric terms, the model consists of points inside a toric variety. For certain trees, called balanced, the model is in fact the intersection of the toric variety and the probability simplex. This gives the model a straightforwa… ▽ More A staged tree model is a discrete statistical model encoding relationships between events. These models are realised by directed trees with coloured vertices. In algebro-geometric terms, the model consists of points inside a toric variety. For certain trees, called balanced, the model is in fact the intersection of the toric variety and the probability simplex. This gives the model a straightforward description, and has computational advantages. In this paper we show that the class of staged tree models with a toric structure extends far outside of the balanced case, if we allow a change of coordinates. It is an open problem whether all staged tree models have toric structure. △ Less

Submitted 23 July, 2021; v1 submitted 9 July, 2021; originally announced July 2021.

MSC Class: 62R01; 62A09; 13F65; 14M25

Journal ref: Journal of Symbolic Computation, Volume 113, 2022, Pages 242-268

Nonlinear Algebra and Applications

Authors: Paul Breiding, Türkü Özlüm Çelik, Timothy Duff, Alexander Heaton, Aida Maraj, Anna-Laura Sattelberger, Lorenzo Venturello, Oğuzhan Yürük

Abstract: We showcase applications of nonlinear algebra in the sciences and engineering. Our review is organized into eight themes: polynomial optimization, partial differential equations, algebraic statistics, integrable systems, configuration spaces of frameworks, biochemical reaction networks, algebraic vision, and tensor decompositions. Conversely, developments on these topics inspire new questions and… ▽ More We showcase applications of nonlinear algebra in the sciences and engineering. Our review is organized into eight themes: polynomial optimization, partial differential equations, algebraic statistics, integrable systems, configuration spaces of frameworks, biochemical reaction networks, algebraic vision, and tensor decompositions. Conversely, developments on these topics inspire new questions and algorithms for algebraic geometry. △ Less

Submitted 6 October, 2021; v1 submitted 30 March, 2021; originally announced March 2021.

Reciprocal Maximum Likelihood Degrees of Brownian Motion Tree Models

Authors: Tobias Boege, Jane Ivy Coons, Christopher Eur, Aida Maraj, Frank Röttger

Abstract: We give an explicit formula for the reciprocal maximum likelihood degree of Brownian motion tree models. To achieve this, we connect them to certain toric (or log-linear) models, and express the Brownian motion tree model of an arbitrary tree as a toric fiber product of star tree models. We give an explicit formula for the reciprocal maximum likelihood degree of Brownian motion tree models. To achieve this, we connect them to certain toric (or log-linear) models, and express the Brownian motion tree model of an arbitrary tree as a toric fiber product of star tree models. △ Less

Submitted 25 October, 2021; v1 submitted 24 September, 2020; originally announced September 2020.

Comments: 16 pages, 2 figures; v2: minor revision

MSC Class: 62R01; 14M25; 62F10

Generalized Cut Polytopes for Binary Hierarchical Models

Authors: Jane Ivy Coons, Joseph Cummings, Benjamin Hollering, Aida Maraj

Abstract: Marginal polytopes are important geometric objects that arise in statistics as the polytopes underlying hierarchical log-linear models. These polytopes can be used to answer geometric questions about these models, such as determining the existence of maximum likelihood estimates or the normality of the associated semigroup. Cut polytopes of graphs have been useful in analyzing binary marginal poly… ▽ More Marginal polytopes are important geometric objects that arise in statistics as the polytopes underlying hierarchical log-linear models. These polytopes can be used to answer geometric questions about these models, such as determining the existence of maximum likelihood estimates or the normality of the associated semigroup. Cut polytopes of graphs have been useful in analyzing binary marginal polytopes in the case where the simplicial complex underlying the hierarchical model is a graph. We introduce a generalized cut polytope that is isomorphic to the binary marginal polytope of an arbitrary simplicial complex via a generalized covariance map. This polytope is full dimensional in its ambient space and has a natural switching operation among its facets that can be used to deduce symmetries between the facets of the correlation and binary marginal polytopes. We find complete H-representations of the generalized cut polytope for some important families of simplicial complexes. We also compute the volume of these polytopes in some instances. △ Less

Submitted 31 July, 2020; originally announced August 2020.

Comments: 28 pages, 4 figures

MSC Class: 52B12; 52B20; 52B40; 52B35

Journal ref: Alg. Stat. 14 (2023) 17-36

Equivariant Hilbert series for hierarchical models

Authors: Aida Maraj, Uwe Nagel

Abstract: Toric ideals to hierarchical models are invariant under the action of a product of symmetric groups. Taking the number of factors, say m, into account, we introduce and study invariant filtrations and their equivariant Hilbert series. We present a condition that guarantees that the equivariant Hilbert series is a rational function in m+1 variables with rational coefficients. Furthermore we give ex… ▽ More Toric ideals to hierarchical models are invariant under the action of a product of symmetric groups. Taking the number of factors, say m, into account, we introduce and study invariant filtrations and their equivariant Hilbert series. We present a condition that guarantees that the equivariant Hilbert series is a rational function in m+1 variables with rational coefficients. Furthermore we give explicit formulas for the rational functions with coefficients in a number field and an algorithm for determining the rational functions with rational coefficients. A key is to construct finite automata that recognize languages corresponding to invariant filtrations. △ Less

Submitted 3 October, 2019; v1 submitted 28 September, 2019; originally announced September 2019.

Comments: Some fixed typos

Journal ref: Alg. Stat. 12 (2021) 21-42