Showing 1–9 of 9 results for author: Weaver, M

Tensor product surfaces and quadratic syzygies

Authors: Matthew Weaver

Abstract: For $U\subseteq H^0(\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1}(a,b))$ a four-dimensional vector space, a basis $\{p_0,p_1,p_2,p_3\}$ of $U$ defines a rational map $φ_U:\,\mathbb{P}^1\times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$. The tensor product surface associated to $U$ is the closed image $X_U$ of the map $φ_U$. These surfaces arise within the field of geometric modelling, in which case… ▽ More For $U\subseteq H^0(\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1}(a,b))$ a four-dimensional vector space, a basis $\{p_0,p_1,p_2,p_3\}$ of $U$ defines a rational map $φ_U:\,\mathbb{P}^1\times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$. The tensor product surface associated to $U$ is the closed image $X_U$ of the map $φ_U$. These surfaces arise within the field of geometric modelling, in which case it is particularly desirable to obtain the implicit equation of $X_U$. In this paper, we study $X_U$ via the syzygies of the associated bigraded ideal $I_U=(p_0,p_1,p_2,p_3)$ when $U$ is free of basepoints, i.e. $φ_U$ is regular. Expanding upon work of Duarte and Schenck for such ideals with a linear syzygy, we address the case that $I_U$ has a quadratic syzygy. △ Less

Submitted 22 January, 2025; originally announced January 2025.

Comments: 14 pages

MSC Class: 13D02

On Rees algebras of ideals and modules with weak residual conditions

Authors: Alessandra Costantini, Edward F. Price III, Matthew Weaver

Abstract: Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring $\mathcal{R}(E)$ is well understood. In this paper, we study $\mathcal{R}(E)$ when this generation condition holds only up to codimension $s-1$, for some $s<d$. Moreove… ▽ More Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring $\mathcal{R}(E)$ is well understood. In this paper, we study $\mathcal{R}(E)$ when this generation condition holds only up to codimension $s-1$, for some $s<d$. Moreover, we provide a generating set for the ideal defining this algebra by employing a method of successive approximations of the Rees ring. Although we employ techniques regarding Rees rings of modules, our findings recover and extend known results for Rees algebras of perfect ideals with grade two in the case that $\mathrm{rank} \, E=1$. △ Less

Submitted 21 September, 2024; originally announced September 2024.

Comments: 22 pages

MSC Class: 13A30

Duality and the equations of Rees rings and tangent algebras

Authors: Matthew Weaver

Abstract: Let $E$ be a module of projective dimension one over a Noetherian ring $R$ and consider its Rees algebra $\mathcal{R}(E)$. We study this ring as a quotient of the symmetric algebra $\mathcal{S}(E)$ and consider the ideal $\mathcal{A}$ defining this quotient. In the case that $\mathcal{S}(E)$ is a complete intersection ring, we employ a duality between $\mathcal{A}$ and $\mathcal{S}(E)$ in order to… ▽ More Let $E$ be a module of projective dimension one over a Noetherian ring $R$ and consider its Rees algebra $\mathcal{R}(E)$. We study this ring as a quotient of the symmetric algebra $\mathcal{S}(E)$ and consider the ideal $\mathcal{A}$ defining this quotient. In the case that $\mathcal{S}(E)$ is a complete intersection ring, we employ a duality between $\mathcal{A}$ and $\mathcal{S}(E)$ in order to study the Rees ring $\mathcal{R}(E)$ in multiple settings. In particular, when $R$ is a complete intersection ring defined by quadrics, we consider its module of Kähler differentials $Ω_{R/k}$ and its associated tangent algebras. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 20 pages. Comments are welcome

MSC Class: 13A30

Robust Nonparametric Stochastic Frontier Analysis

Authors: Peng Zheng, Nahom Worku, Marlena Bannick, Joseph Dielemann, Marcia Weaver, Christopher Murray, Aleksandr Aravkin

Abstract: Benchmarking tools, including stochastic frontier analysis (SFA), data envelopment analysis (DEA), and its stochastic extension (StoNED) are core tools in economics used to estimate an efficiency envelope and production inefficiencies from data. The problem appears in a wide range of fields -- for example, in global health the frontier can quantify efficiency of interventions and funding of health… ▽ More Benchmarking tools, including stochastic frontier analysis (SFA), data envelopment analysis (DEA), and its stochastic extension (StoNED) are core tools in economics used to estimate an efficiency envelope and production inefficiencies from data. The problem appears in a wide range of fields -- for example, in global health the frontier can quantify efficiency of interventions and funding of health initiatives. Despite their wide use, classic benchmarking approaches have key limitations that preclude even wider applicability. Here we propose a robust non-parametric stochastic frontier meta-analysis (SFMA) approach that fills these gaps. First, we use flexible basis splines and shape constraints to model the frontier function, so specifying a functional form of the frontier as in classic SFA is no longer necessary. Second, the user can specify relative errors on input datapoints, enabling population-level analyses. Third, we develop a likelihood-based trimming strategy to robustify the approach to outliers, which otherwise break available benchmarking methods. We provide a custom optimization algorithm for fast and reliable performance. We implement the approach and algorithm in an open source Python package `sfma'. Synthetic and real examples show the new capabilities of the method, and are used to compare SFMA to state of the art benchmarking packages that implement DEA, SFA, and StoNED. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 42 pages, 9 figures

MSC Class: 65K10; 62P20

On Rees algebras of linearly presented ideals and modules

Authors: Alessandra Costantini, Edward F. Price III, Matthew Weaver

Abstract: Let $I$ be a perfect ideal of height two in $R=k[x_1, \ldots, x_d]$ and let $\varphi$ denote its Hilbert-Burch matrix. When $\varphi$ has linear entries, the algebraic structure of the Rees algebra $\mathcal{R}(I)$ is well-understood under the additional assumption that the minimal number of generators of $I$ is bounded locally up to codimension $d-1$. In the first part of this article, we determi… ▽ More Let $I$ be a perfect ideal of height two in $R=k[x_1, \ldots, x_d]$ and let $\varphi$ denote its Hilbert-Burch matrix. When $\varphi$ has linear entries, the algebraic structure of the Rees algebra $\mathcal{R}(I)$ is well-understood under the additional assumption that the minimal number of generators of $I$ is bounded locally up to codimension $d-1$. In the first part of this article, we determine the defining ideal of $\mathcal{R}(I)$ under the weaker assumption that such condition holds only up to codimension $d-2$, generalizing previous work of P.~H.~L.~Nguyen. In the second part, we use generic Bourbaki ideals to extend our findings to Rees algebras of linearly presented modules of projective dimension one. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: 15 pages, comments welcome!

MSC Class: 13A30

The equations of Rees algebras of height three Gorenstein ideals in hypersurface rings

Authors: Matthew Weaver

Abstract: We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity. We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 24 pages

On Rees algebras of ideals and modules over hypersurface rings

Authors: Matthew Weaver

Abstract: The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of hypersurface rings and produce a minimal generating set for their defining ideals. Then, using generic Bourbaki ideals, we study Rees algebras of modules with proje… ▽ More The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of hypersurface rings and produce a minimal generating set for their defining ideals. Then, using generic Bourbaki ideals, we study Rees algebras of modules with projective dimension one over hypersurface rings. We describe the defining ideal of such algebras and determine Cohen-Macaulayness and other invariants. △ Less

Submitted 3 December, 2021; originally announced December 2021.

Comments: 27 pages

Finite Inverse Categories as Signatures

Authors: Dimitris Tsementzis, Matthew Weaver

Abstract: We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories. We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories. △ Less

Submitted 23 July, 2017; originally announced July 2017.

Comments: 11 pages

MSC Class: 03B70; 03F50; 18C99

Bandwidth and density for block graphs

Authors: Le Tu Quoc Hung, Maciej M. Syslo, Margaret L. Weaver, Douglas B. West

Abstract: The bandwidth of a graph G is the minimum of the maximum difference between adjacent labels when the vertices have distinct integer labels. We provide a polynomial algorithm to produce an optimal bandwidth labeling for graphs in a special class of block graphs (graphs in which every block is a clique), namely those where deleting the vertices of degree one produces a path of cliques. The result… ▽ More The bandwidth of a graph G is the minimum of the maximum difference between adjacent labels when the vertices have distinct integer labels. We provide a polynomial algorithm to produce an optimal bandwidth labeling for graphs in a special class of block graphs (graphs in which every block is a clique), namely those where deleting the vertices of degree one produces a path of cliques. The result is best possible in various ways. Furthermore, for two classes of graphs that are ``almost'' caterpillars, the bandwidth problem is NP-complete. △ Less

Submitted 5 February, 1998; originally announced February 1998.

Comments: 14 pages, 9 included figures. Note: figures did not appear in original upload; resubmission corrects this

MSC Class: 05C78

Journal ref: Discrete Mathematics 189(1998), 163-176