English
Related papers

Related papers: Computing symmetric determinantal representations

200 papers

We provide an overview of the Macaulay2 package VersalDeformations, which algorithmically computes versal deformations of isolated singularities, as well as local (multi)graded Hilbert schemes.

Algebraic Geometry · Mathematics 2019-11-26 Nathan Owen Ilten

We describe a new software package for computing multiplier ideals in certain cases, including monomial ideals, monomial curves, generic determinantal ideals, and hyperplane arrangements. In these cases we take advantage of combinatorial…

Algebraic Geometry · Mathematics 2015-06-17 Zach Teitler

This note introduces the $\texttt{LikelihoodGeometry}$ package for the computer algebra system $\textit{Macaulay2}$. This package gives tools to construct the likelihood correspondence of a discrete algebraic statistical model, a variety…

Computation · Statistics 2024-11-19 David Barnhill , John Cobb , Matthew Faust

This is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over…

Commutative Algebra · Mathematics 2023-07-20 Kriti Goel , Vivek Mukundan , Sudeshna Roy , J. K. Verma

We introduce the Macaulay2 package $\mathtt{LinearTruncations}$ for finding and studying the truncations of a multigraded module over a standard multigraded ring that have linear resolutions.

Commutative Algebra · Mathematics 2023-01-25 Lauren Cranton Heller , Navid Nemati

Here we consider the image of the principal minor map of symmetric matrices over an arbitrary unique factorization domain $R$. By exploiting a connection with symmetric determinantal representations, we characterize the image of the…

Algebraic Geometry · Mathematics 2021-05-31 Abeer Al Ahmadieh , Cynthia Vinzant

We describe the Macaulay2 package "A1BrouwerDegrees" for computing local and global $\mathbb{A}^1$-Brouwer degrees and studying symmetric bilinear forms over the complex numbers, the real numbers, the rational numbers, and finite fields of…

Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing…

Algebraic Geometry · Mathematics 2015-03-09 Robert Krone , Anton Leykin

The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…

Algebraic Geometry · Mathematics 2016-05-26 Jonathan D. Hauenstein , Jose Israel Rodriguez , Frank Sottile

We present formulas for the homogenous multivariate resultant as a quotient of two determinants. They extend classical Macaulay formulas, and involve matrices of considerably smaller size, whose non zero entries include coefficients of the…

Algebraic Geometry · Mathematics 2007-05-23 Carlos D'Andrea , Alicia Dickenstein

Finite and Infinite-dimensional representations of symmetry algebras play a significant role in determining the spectral properties of physical Hamiltonians. In this paper, we introduce and apply a practical method to construct infinite…

Mathematical Physics · Physics 2023-08-15 Ian Marquette , Junze Zhang , Yao-Zhong Zhang

We study multiple orthogonal polynomials exploiting their explicit determinantal representation in terms of moments. Our reasoning follows that applied to solve the Hermite-Pad\'{e} approximation and interpolation problems. We study also…

Exactly Solvable and Integrable Systems · Physics 2026-03-17 Adam Doliwa

We introduce the Macaulay2 package HomologicalShiftIdeals. It allows to compute the homological shift ideals of a monomial ideal, and to check the homological shift properties, including having linear resolution, having linear quotients, or…

Commutative Algebra · Mathematics 2023-09-19 Antonino Ficarra

We introduce the package LatticePolytopes for Macaulay2. The package provides methods for computations related to Cayley structures, local positivity and smoothness for lattice polytopes.

Algebraic Geometry · Mathematics 2015-11-11 Anders Lundman , Gustav Sædén Ståhl

In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the…

Computational Geometry · Computer Science 2024-10-25 Juan Juan Gerardo Alcázar , Carlos Hermoso , Hüsnü Anıl Çoban , Uğur Gözütok

The paper develops elementary linear algebra methods to compute the determinants of the tensor symmetrizations of quadratic and hermitian forms over fields of good characteristic. Explicit results are given for the partitions $(n)$,…

Combinatorics · Mathematics 2024-09-26 Gabriele Nebe

{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological…

Algebraic Geometry · Mathematics 2025-04-15 Nathan Grieve

We study numerical computation of conformal invariants of domains in the complex plane. In particular, we provide an algorithm for computing the conformal capacity of a condenser. The algorithm applies for wide kind of geometries: domains…

Complex Variables · Mathematics 2020-08-19 Mohamed M S Nasser , Matti Vuorinen

Many combinatorial problems can be formulated as a polynomial optimization problem that can be solved by state-of-the-art methods in real algebraic geometry. In this paper we explain many important methods from real algebraic geometry, we…

Combinatorics · Mathematics 2014-11-11 Erik Sjöland

Determinantal polynomials play a crucial role in semidefinite programming problems. Helton-Vinnikov proved that real zero (RZ) bivariate polynomials are determinantal. However, it leads to a challenging problem to compute such a…

Optimization and Control · Mathematics 2019-02-01 Papri Dey