-
Revisiting Taxicab Apollonius Circles
Authors:
Kevin P. Thompson
Abstract:
The existence of excircles and an Apollonius circle for a triangle in taxicab geometry are connected to the concept of inscribed triangles.
The existence of excircles and an Apollonius circle for a triangle in taxicab geometry are connected to the concept of inscribed triangles.
△ Less
Submitted 30 May, 2025;
originally announced June 2025.
-
Acyclic complexes and regular rings
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
A 2009 paper by Iacob and Iyengar characterizes noetherian regular rings in terms of properties of complexes of projective modules, flat modules, and injective modules. We show that the relevant properties of such complexes are equivalent without reference to regularity of the ring and that they characterize coherent regular rings and von Neumann regular rings.
A 2009 paper by Iacob and Iyengar characterizes noetherian regular rings in terms of properties of complexes of projective modules, flat modules, and injective modules. We show that the relevant properties of such complexes are equivalent without reference to regularity of the ring and that they characterize coherent regular rings and von Neumann regular rings.
△ Less
Submitted 11 June, 2025;
originally announced June 2025.
-
Multiplicity in triangulated categories
Authors:
Petter Andreas Bergh,
David A. Jorgensen,
Peder Thompson
Abstract:
We lay out the theory of a multiplicity in the setting of a triangulated category having a central ring action from a graded-commutative ring $R$, in other words, an $R$-linear triangulated category. The invariant we consider is modelled on those for graded modules over a commutative graded ring. We show that this invariant is determined by the leading coefficients of the Hilbert polynomials expre…
▽ More
We lay out the theory of a multiplicity in the setting of a triangulated category having a central ring action from a graded-commutative ring $R$, in other words, an $R$-linear triangulated category. The invariant we consider is modelled on those for graded modules over a commutative graded ring. We show that this invariant is determined by the leading coefficients of the Hilbert polynomials expressing the lengths of certain Hom sets. Our theory is a natural analogue of Hochster's theta invariant for homology and Buchweitz's Herbrand difference for cohomology. Moreover, we give applications to vanishing of cohomology and modules over local complete intersection rings, group algebras of a finite group, and certain finite dimensional algebras.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
Modeling with quantities in calculus and physics: A conceptual framework of the fundamental theorem
Authors:
Suzanne White Brahmia,
Patrick W. Thompson
Abstract:
There is a substantial curricular overlap between calculus and physics, yet introductory physics students often struggle to connect the two. We introduce a conceptual framework for the Fundamental Theorem of Calculus (FTC) to help unify learning across both disciplines. We propose a consistent approach to teaching definite integrals, including shared vocabulary and symbolism, to help students reco…
▽ More
There is a substantial curricular overlap between calculus and physics, yet introductory physics students often struggle to connect the two. We introduce a conceptual framework for the Fundamental Theorem of Calculus (FTC) to help unify learning across both disciplines. We propose a consistent approach to teaching definite integrals, including shared vocabulary and symbolism, to help students recognize how concepts like change, rate, and accumulation show up in both calculus and physics. We argue that the typical interpretation of the FTC in calculus, focusing on antiderivatives in closed form, doesn't align well with how physicists use these concepts. We advocate for an additional focus on Riemann sums and the underlying ideas of change, rate, products, and accumulation, which are fundamental in both fields. This approach can help students build a deeper, more integrated understanding of both mathematics and physics quantity. By aligning learning objectives across the disciplines, we argue that students can develop a stronger understanding of foundational mathematical principles.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
A Stable Measure for Conditional Periodicity of Time Series using Persistent Homology
Authors:
Bala Krishnamoorthy,
Elizabeth P. Thompson
Abstract:
Given a pair of time series, we study how the periodicity of one influences the periodicity of the other. There are several known methods to measure the similarity between a pair of time series, such as cross-correlation, coherence, cross-recurrence, and dynamic time warping. But we have yet to find any measures with theoretical stability results.
Persistence homology has been utilized to constr…
▽ More
Given a pair of time series, we study how the periodicity of one influences the periodicity of the other. There are several known methods to measure the similarity between a pair of time series, such as cross-correlation, coherence, cross-recurrence, and dynamic time warping. But we have yet to find any measures with theoretical stability results.
Persistence homology has been utilized to construct a scoring function with theoretical guarantees of stability that quantifies the periodicity of a single univariate time series f1, denoted score(f1). Building on this concept, we propose a conditional periodicity score that quantifies the periodicity of one univariate time series f1 given another f2, denoted score(f1|f2), and derive theoretical stability results for the same. With the use of dimension reduction in mind, we prove a new stability result for score(f1|f2) under principal component analysis (PCA) when we use the projections of the time series embeddings onto their respective first K principal components. We show that the change in our score is bounded by a function of the eigenvalues corresponding to the remaining (unused) N-K principal components and hence is small when the first K principal components capture most of the variation in the time series embeddings. Finally we derive a lower bound on the minimum embedding dimension to use in our pipeline which guarantees that any two such embeddings give scores that are within a given epsilon of each other.
We present a procedure for computing conditional periodicity scores and implement it on several pairs of synthetic signals. We experimentally compare our similarity measure to the most-similar statistical measure of cross-recurrence, and show the increased accuracy and stability of our score when predicting and measuring whether or not the periodicities of two time series are similar.
△ Less
Submitted 15 May, 2025; v1 submitted 6 January, 2025;
originally announced January 2025.
-
Asymptotic vanishing of cohomology in triangulated categories
Authors:
Petter Andreas Bergh,
David A. Jorgensen,
Peder Thompson
Abstract:
Given a graded-commutative ring acting centrally on a triangulated category, our main result shows that if cohomology of a pair of objects of the triangulated category is finitely generated over the ring acting centrally, then the asymptotic vanishing of the cohomology is well-behaved. In particular, enough consecutive asymptotic vanishing of cohomology implies all eventual vanishing. Several key…
▽ More
Given a graded-commutative ring acting centrally on a triangulated category, our main result shows that if cohomology of a pair of objects of the triangulated category is finitely generated over the ring acting centrally, then the asymptotic vanishing of the cohomology is well-behaved. In particular, enough consecutive asymptotic vanishing of cohomology implies all eventual vanishing. Several key applications are also given.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Outlier-robust additive matrix decomposition
Authors:
Philip Thompson
Abstract:
We study least-squares trace regression when the parameter is the sum of a $r$-low-rank matrix and a $s$-sparse matrix and a fraction $ε$ of the labels is corrupted. For subgaussian distributions and feature-dependent noise, we highlight three needed design properties, each one derived from a different process inequality: a "product process inequality", "Chevet's inequality" and a "multiplier proc…
▽ More
We study least-squares trace regression when the parameter is the sum of a $r$-low-rank matrix and a $s$-sparse matrix and a fraction $ε$ of the labels is corrupted. For subgaussian distributions and feature-dependent noise, we highlight three needed design properties, each one derived from a different process inequality: a "product process inequality", "Chevet's inequality" and a "multiplier process inequality". These properties handle, simultaneously, additive decomposition, label contamination and design-noise interaction. They imply the near-optimality of a tractable estimator with respect to the effective dimensions $d_{eff,r}$ and $d_{eff,s}$ of the low-rank and sparse components, $ε$ and the failure probability $δ$. The near-optimal rate is $\mathsf{r}(n,d_{eff,r}) + \mathsf{r}(n,d_{eff,s}) + \sqrt{(1+\log(1/δ))/n} + ε\log(1/ε)$, where $\mathsf{r}(n,d_{eff,r})+\mathsf{r}(n,d_{eff,s})$ is the optimal rate in average with no contamination. Our estimator is adaptive to $(s,r,ε,δ)$ and, for fixed absolute constant $c>0$, it attains the mentioned rate with probability $1-δ$ uniformly over all $δ\ge\exp(-cn)$. Without matrix decomposition, our analysis also entails optimal bounds for a robust estimator adapted to the noise variance. Our estimators are based on "sorted" versions of Huber's loss. We present simulations matching the theory. In particular, it reveals the superiority of "sorted" Huber's losses over the classical Huber's loss.
△ Less
Submitted 4 January, 2024; v1 submitted 29 October, 2023;
originally announced October 2023.
-
One-sided Gorenstein rings
Authors:
Lars Winther Christensen,
Sergio Estrada,
Li Liang,
Peder Thompson,
Junpeng Wang
Abstract:
Distinctive characteristics of Iwanaga--Gorenstein rings are typically understood through their intrinsic symmetry. We show that several of those that pertain to the Gorenstein global dimensions carry over to the one-sided situation, even without the noetherian hypothesis. Our results yield new relations among homological invariants related to the Gorenstein property, not only Gorenstein global di…
▽ More
Distinctive characteristics of Iwanaga--Gorenstein rings are typically understood through their intrinsic symmetry. We show that several of those that pertain to the Gorenstein global dimensions carry over to the one-sided situation, even without the noetherian hypothesis. Our results yield new relations among homological invariants related to the Gorenstein property, not only Gorenstein global dimensions but also the suprema of projective/injective dimensions of injective/projective modules and finitistic dimensions.
△ Less
Submitted 11 November, 2023; v1 submitted 25 August, 2023;
originally announced August 2023.
-
Dimension and depth inequalities over complete intersections
Authors:
Petter Andreas Bergh,
David A. Jorgensen,
Peder Thompson
Abstract:
For a pair of finitely generated modules $M$ and $N$ over a codimension $c$ complete intersection ring $R$ with $\ell(M\otimes_RN)$ finite, we pay special attention to the inequality $\dim M+\dim N \leq \dim R +c$. In particular, we develop an extension of Hochster's theta invariant whose nonvanishing detects equality. In addition, we consider a parallel theory where dimension and codimension are…
▽ More
For a pair of finitely generated modules $M$ and $N$ over a codimension $c$ complete intersection ring $R$ with $\ell(M\otimes_RN)$ finite, we pay special attention to the inequality $\dim M+\dim N \leq \dim R +c$. In particular, we develop an extension of Hochster's theta invariant whose nonvanishing detects equality. In addition, we consider a parallel theory where dimension and codimension are replaced by depth and complexity, respectively.
△ Less
Submitted 22 April, 2025; v1 submitted 3 January, 2023;
originally announced January 2023.
-
A spectral least-squares-type method for heavy-tailed corrupted regression with unknown covariance \& heterogeneous noise
Authors:
Roberto I. Oliveira,
Zoraida F. Rico,
Philip Thompson
Abstract:
We revisit heavy-tailed corrupted least-squares linear regression assuming to have a corrupted $n$-sized label-feature sample of at most $εn$ arbitrary outliers. We wish to estimate a $p$-dimensional parameter $b^*$ given such sample of a label-feature pair $(y,x)$ satisfying $y=\langle x,b^*\rangle+ξ$ with heavy-tailed $(x,ξ)$. We only assume $x$ is $L^4-L^2$ hypercontractive with constant $L>0$…
▽ More
We revisit heavy-tailed corrupted least-squares linear regression assuming to have a corrupted $n$-sized label-feature sample of at most $εn$ arbitrary outliers. We wish to estimate a $p$-dimensional parameter $b^*$ given such sample of a label-feature pair $(y,x)$ satisfying $y=\langle x,b^*\rangle+ξ$ with heavy-tailed $(x,ξ)$. We only assume $x$ is $L^4-L^2$ hypercontractive with constant $L>0$ and has covariance matrix $Σ$ with minimum eigenvalue $1/μ^2>0$ and bounded condition number $κ>0$. The noise $ξ$ can be arbitrarily dependent on $x$ and nonsymmetric as long as $ξx$ has finite covariance matrix $Ξ$. We propose a near-optimal computationally tractable estimator, based on the power method, assuming no knowledge on $(Σ,Ξ)$ nor the operator norm of $Ξ$. With probability at least $1-δ$, our proposed estimator attains the statistical rate $μ^2\VertΞ\Vert^{1/2}(\frac{p}{n}+\frac{\log(1/δ)}{n}+ε)^{1/2}$ and breakdown-point $ε\lesssim\frac{1}{L^4κ^2}$, both optimal in the $\ell_2$-norm, assuming the near-optimal minimum sample size $L^4κ^2(p\log p + \log(1/δ))\lesssim n$, up to a log factor. To the best of our knowledge, this is the first computationally tractable algorithm satisfying simultaneously all the mentioned properties. Our estimator is based on a two-stage Multiplicative Weight Update algorithm. The first stage estimates a descent direction $\hat v$ with respect to the (unknown) pre-conditioned inner product $\langleΣ(\cdot),\cdot\rangle$. The second stage estimate the descent direction $Σ\hat v$ with respect to the (known) inner product $\langle\cdot,\cdot\rangle$, without knowing nor estimating $Σ$.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Five theorems on Gorenstein global dimensions
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings.
We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings.
△ Less
Submitted 11 August, 2022; v1 submitted 23 March, 2022;
originally announced March 2022.
-
The trace property in preenveloping classes
Authors:
Haydee Lindo,
Peder Thompson
Abstract:
We develop the theory of trace modules up to isomorphism and explore the relationship between preenveloping classes of modules and the property of being a trace module, guided by the question of whether a given module is trace in a given preenvelope. As a consequence we identify new examples of trace ideals and trace modules, and characterize several classes of rings with a focus on the Gorenstein…
▽ More
We develop the theory of trace modules up to isomorphism and explore the relationship between preenveloping classes of modules and the property of being a trace module, guided by the question of whether a given module is trace in a given preenvelope. As a consequence we identify new examples of trace ideals and trace modules, and characterize several classes of rings with a focus on the Gorenstein and regular properties.
△ Less
Submitted 6 March, 2023; v1 submitted 7 February, 2022;
originally announced February 2022.
-
Rigidity of Ext and Tor via flat-cotorsion theory
Authors:
Lars Winther Christensen,
Luigi Ferraro,
Peder Thompson
Abstract:
Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i >= n. This improves a result of Christensen, Iyengar, and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is…
▽ More
Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i >= n. This improves a result of Christensen, Iyengar, and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson.
△ Less
Submitted 19 September, 2023; v1 submitted 30 November, 2021;
originally announced December 2021.
-
Gorenstein weak global dimension is symmetric
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
We study the Gorenstein weak global dimension of associative rings and its relation to the Gorenstein global dimension. In particular, we prove the conjecture that the Gorenstein weak global dimension is a left-right symmetric invariant -- just like the (absolute) weak global dimension.
We study the Gorenstein weak global dimension of associative rings and its relation to the Gorenstein global dimension. In particular, we prove the conjecture that the Gorenstein weak global dimension is a left-right symmetric invariant -- just like the (absolute) weak global dimension.
△ Less
Submitted 3 June, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.
-
Asymptotic behavior of Ext for pairs of modules of large complexity over graded complete intersections
Authors:
David A. Jorgensen,
Liana M. Şega,
Peder Thompson
Abstract:
Let $M$ and $N$ be finitely generated graded modules over a graded complete intersection $R$ such that $\operatorname{Ext}_R^i(M,N)$ has finite length for all $i\gg 0$. We show that the even and odd Hilbert polynomials, which give the lengths of $\operatorname{Ext}^i_R(M,N)$ for all large even $i$ and all large odd $i$, have the same degree and leading coefficient whenever the highest degree of th…
▽ More
Let $M$ and $N$ be finitely generated graded modules over a graded complete intersection $R$ such that $\operatorname{Ext}_R^i(M,N)$ has finite length for all $i\gg 0$. We show that the even and odd Hilbert polynomials, which give the lengths of $\operatorname{Ext}^i_R(M,N)$ for all large even $i$ and all large odd $i$, have the same degree and leading coefficient whenever the highest degree of these polynomials is at least the dimension of $M$ or $N$. Refinements of this result are given when $R$ is regular in small codimensions.
△ Less
Submitted 12 August, 2022; v1 submitted 19 December, 2020;
originally announced December 2020.
-
Outlier-robust sparse/low-rank least-squares regression and robust matrix completion
Authors:
Philip Thompson
Abstract:
We study high-dimensional least-squares regression within a subgaussian statistical learning framework with heterogeneous noise. It includes $s$-sparse and $r$-low-rank least-squares regression when a fraction $ε$ of the labels are adversarially contaminated. We also present a novel theory of trace-regression with matrix decomposition based on a new application of the product process. For these pr…
▽ More
We study high-dimensional least-squares regression within a subgaussian statistical learning framework with heterogeneous noise. It includes $s$-sparse and $r$-low-rank least-squares regression when a fraction $ε$ of the labels are adversarially contaminated. We also present a novel theory of trace-regression with matrix decomposition based on a new application of the product process. For these problems, we show novel near-optimal "subgaussian" estimation rates of the form $r(n,d_{e})+\sqrt{\log(1/δ)/n}+ε\log(1/ε)$, valid with probability at least $1-δ$. Here, $r(n,d_{e})$ is the optimal uncontaminated rate as a function of the effective dimension $d_{e}$ but independent of the failure probability $δ$. These rates are valid uniformly on $δ$, i.e., the estimators' tuning do not depend on $δ$. Lastly, we consider noisy robust matrix completion with non-uniform sampling. If only the low-rank matrix is of interest, we present a novel near-optimal rate that is independent of the corruption level $a$. Our estimators are tractable and based on a new "sorted" Huber-type loss. No information on $(s,r,ε,a)$ are needed to tune these estimators. Our analysis makes use of novel $δ$-optimal concentration inequalities for the multiplier and product processes which could be useful elsewhere. For instance, they imply novel sharp oracle inequalities for Lasso and Slope with optimal dependence on $δ$. Numerical simulations confirm our theoretical predictions. In particular, "sorted" Huber regression can outperform classical Huber regression.
△ Less
Submitted 31 October, 2023; v1 submitted 12 December, 2020;
originally announced December 2020.
-
The singularity category of an exact category applied to characterize Gorenstein schemes
Authors:
Lars Winther Christensen,
Nanqing Ding,
Sergio Estrada,
Jiangsheng Hu,
Huanhuan Li,
Peder Thompson
Abstract:
We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with this Buchweitz's classic equivalence of three categories over Gorenstein local rings has been generalized to schemes, a project started by Murfet and Salarian mo…
▽ More
We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with this Buchweitz's classic equivalence of three categories over Gorenstein local rings has been generalized to schemes, a project started by Murfet and Salarian more than ten years ago. As another application we use the framework to characterize rings of finite finitistic dimension.
△ Less
Submitted 5 May, 2022; v1 submitted 2 September, 2020;
originally announced September 2020.
-
Parameter identifiability and input-output equations
Authors:
Alexey Ovchinnikov,
Gleb Pogudin,
Peter Thompson
Abstract:
Structural parameter identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. One of the standard approaches to assessing this problem is via input-output equations and, in particular, characteristic sets of differential ideals. The precise relation between identifiability and input-outpu…
▽ More
Structural parameter identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. One of the standard approaches to assessing this problem is via input-output equations and, in particular, characteristic sets of differential ideals. The precise relation between identifiability and input-output identifiability is subtle. The goal of this note is to clarify this relation. The main results are:
1) identifiability implies input-output identifiability;
2) these notions coincide if the model does not have rational first integrals;
3) the field of input-output identifiable functions is generated by the coefficients of a "minimal" characteristic set of the corresponding differential ideal.
We expect that some of these facts may be known to the experts in the area, but we are not aware of any articles in which these facts are stated precisely and rigorously proved.
△ Less
Submitted 27 December, 2020; v1 submitted 27 July, 2020;
originally announced July 2020.
-
A refinement of Gorenstein flat dimension via the flat--cotorsion theory
Authors:
Lars Winther Christensen,
Sergio Estrada,
Li Liang,
Peder Thompson,
Dejun Wu,
Yang Gang
Abstract:
We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological dimension without extra assumptions on the ring. Crucially, we show that it coincides with the Gorenstein flat dimension for complexes where the latter is finite,…
▽ More
We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological dimension without extra assumptions on the ring. Crucially, we show that it coincides with the Gorenstein flat dimension for complexes where the latter is finite, and for complexes over right coherent rings--the setting where the Gorenstein flat dimension is known to behave as expected.
△ Less
Submitted 28 September, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Reducibility of parameter ideals in low powers of the maximal ideal
Authors:
Katharine Shultis,
Peder Thompson
Abstract:
A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there exists an integer $\ell$ (depending on $R$) such that $R$ is Gorenstein if and only if there exists an irreducible parameter ideal contained in…
▽ More
A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there exists an integer $\ell$ (depending on $R$) such that $R$ is Gorenstein if and only if there exists an irreducible parameter ideal contained in $\mathfrak{m}^\ell$. We give upper bounds for $\ell$ that depend primarily on the existence of certain systems of parameters in low powers of the maximal ideal.
△ Less
Submitted 8 June, 2020; v1 submitted 14 November, 2019;
originally announced November 2019.
-
Input-output equations and identifiability of linear ODE models
Authors:
Alexey Ovchinnikov,
Gleb Pogudin,
Peter Thompson
Abstract:
Structural identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. The method of input-output equations is one method for verifying structural identifiability. This method stands out in its importance because the additional insights it provides can be used to analyze and improve models.…
▽ More
Structural identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. The method of input-output equations is one method for verifying structural identifiability. This method stands out in its importance because the additional insights it provides can be used to analyze and improve models. However, its complete theoretical grounds and applicability are still to be established. A subtlety and key for this method to work correctly is knowing whether the coefficients of these equations are identifiable.
In this paper, to address this, we prove identifiability of the coefficients of input-output equations for types of differential models that often appear in practice, such as linear models with one output and linear compartment models in which, from each compartment, one can reach either a leak or an input. This shows that checking identifiability via input-output equations for these models is legitimate and, as we prove, that the field of identifiable functions is generated by the coefficients of the input-output equations. Finally, we exploit a connection between input-output equations and the transfer function matrix to show that, for a linear compartment model with an input and strongly connected graph, the field of all identifiable functions is generated by the coefficients of the transfer function matrix even if the initial conditions are generic.
△ Less
Submitted 27 January, 2022; v1 submitted 9 October, 2019;
originally announced October 2019.
-
Minimal semi-flat-cotorsion replacements and cosupport
Authors:
Tsutomu Nakamura,
Peder Thompson
Abstract:
Over a commutative noetherian ring $R$ of finite Krull dimension, we show that every complex of flat cotorsion $R$-modules decomposes as a direct sum of a minimal complex and a contractible complex. Moreover, we define the notion of a semi-flat-cotorsion complex as a special type of semi-flat complex, and provide functorial ways to construct a quasi-isomorphism from a semi-flat complex to a semi-f…
▽ More
Over a commutative noetherian ring $R$ of finite Krull dimension, we show that every complex of flat cotorsion $R$-modules decomposes as a direct sum of a minimal complex and a contractible complex. Moreover, we define the notion of a semi-flat-cotorsion complex as a special type of semi-flat complex, and provide functorial ways to construct a quasi-isomorphism from a semi-flat complex to a semi-flat-cotorsion complex. Consequently, every $R$-complex can be replaced by a minimal semi-flat-cotorsion complex in the derived category over $R$. Furthermore, we describe structure of semi-flat-cotorsion replacements, by which we recover classic theorems for finitistic dimensions. In addition, we improve some results on cosupport and give a cautionary example. We also explain that semi-flat-cotorsion replacements always exist and can be used to describe the derived category over any associative ring.
△ Less
Submitted 21 July, 2020; v1 submitted 10 July, 2019;
originally announced July 2019.
-
Matrix factorizations for self-orthogonal categories of modules
Authors:
Petter Andreas Bergh,
Peder Thompson
Abstract:
For a commutative ring $S$ and self-orthogonal subcategory $\mathsf{C}$ of $\mathsf{Mod}(S)$, we consider matrix factorizations whose modules belong to $\mathsf{C}$. Let $f\in S$ be a regular element. If $f$ is $M$-regular for every $M\in \mathsf{C}$, we show there is a natural embedding of the homotopy category of $\mathsf{C}$-factorizations of $f$ into a corresponding homotopy category of totall…
▽ More
For a commutative ring $S$ and self-orthogonal subcategory $\mathsf{C}$ of $\mathsf{Mod}(S)$, we consider matrix factorizations whose modules belong to $\mathsf{C}$. Let $f\in S$ be a regular element. If $f$ is $M$-regular for every $M\in \mathsf{C}$, we show there is a natural embedding of the homotopy category of $\mathsf{C}$-factorizations of $f$ into a corresponding homotopy category of totally acyclic complexes. Moreover, we prove this is an equivalence if $\mathsf{C}$ is the category of projective or flat-cotorsion $S$-modules. Dually, using divisibility in place of regularity, we observe there is a parallel equivalence when $\mathsf{C}$ is the category of injective $S$-modules.
△ Less
Submitted 3 December, 2019; v1 submitted 31 May, 2019;
originally announced May 2019.
-
The stable category of Gorenstein flat sheaves on a noetherian scheme
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-co…
▽ More
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-coherent sheaves as the natural non-affine analogue of the homotopy category of totally acyclic complexes of projective modules.
△ Less
Submitted 14 July, 2020; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Outlier-robust estimation of a sparse linear model using $\ell_1$-penalized Huber's $M$-estimator
Authors:
Arnak S. Dalalyan,
Philip Thompson
Abstract:
We study the problem of estimating a $p$-dimensional $s$-sparse vector in a linear model with Gaussian design and additive noise. In the case where the labels are contaminated by at most $o$ adversarial outliers, we prove that the $\ell_1$-penalized Huber's $M$-estimator based on $n$ samples attains the optimal rate of convergence $(s/n)^{1/2} + (o/n)$, up to a logarithmic factor. For more general…
▽ More
We study the problem of estimating a $p$-dimensional $s$-sparse vector in a linear model with Gaussian design and additive noise. In the case where the labels are contaminated by at most $o$ adversarial outliers, we prove that the $\ell_1$-penalized Huber's $M$-estimator based on $n$ samples attains the optimal rate of convergence $(s/n)^{1/2} + (o/n)$, up to a logarithmic factor. For more general design matrices, our results highlight the importance of two properties: the transfer principle and the incoherence property. These properties with suitable constants are shown to yield the optimal rates, up to log-factors, of robust estimation with adversarial contamination.
△ Less
Submitted 19 November, 2019; v1 submitted 12 April, 2019;
originally announced April 2019.
-
Homotopy categories of totally acyclic complexes with applications to the flat-cotorsion theory
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to the homotopy category of totally acyclic complexes. Applied to the flat-cotorsion theory over a coherent ring, this provides a new description of the category…
▽ More
We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to the homotopy category of totally acyclic complexes. Applied to the flat-cotorsion theory over a coherent ring, this provides a new description of the category of cotorsion Gorenstein flat modules; one that puts it on equal footing with the category of Gorenstein projective modules.
△ Less
Submitted 12 September, 2019; v1 submitted 11 December, 2018;
originally announced December 2018.
-
Restricted eigenvalue property for corrupted Gaussian designs
Authors:
Philip Thompson,
Arnak S. Dalalyan
Abstract:
Motivated by the construction of tractable robust estimators via convex relaxations, we present conditions on the sample size which guarantee an augmented notion of Restricted Eigenvalue-type condition for Gaussian designs. Such a notion is suitable for high-dimensional robust inference in a Gaussian linear model and a multivariate Gaussian model when samples are corrupted by outliers either in th…
▽ More
Motivated by the construction of tractable robust estimators via convex relaxations, we present conditions on the sample size which guarantee an augmented notion of Restricted Eigenvalue-type condition for Gaussian designs. Such a notion is suitable for high-dimensional robust inference in a Gaussian linear model and a multivariate Gaussian model when samples are corrupted by outliers either in the response variable or in the design matrix. Our proof technique relies on simultaneous lower and upper bounds of two random bilinear forms with very different behaviors. Such simultaneous bounds are used for balancing the interaction between the parameter vector and the estimated corruption vector as well as for controlling the presence of corruption in the design. Our technique has the advantage of not relying on known bounds of the extreme singular values of the associated Gaussian ensemble nor on the use of mutual incoherence arguments. A relevant consequence of our analysis, compared to prior work, is that a significantly sharper restricted eigenvalue constant can be obtained under weaker assumptions. In particular, the sparsity of the unknown parameter and the number of outliers are allowed to be completely independent of each other.
△ Less
Submitted 30 November, 2018; v1 submitted 21 May, 2018;
originally announced May 2018.
-
Commuting planar polynomial vector fields for conservative Newton systems
Authors:
Joel Nagloo,
Alexey Ovchinnikov,
Peter Thompson
Abstract:
We study the problem of characterizing polynomial vector fields that commute with a given polynomial vector field on a plane. It is a classical result that one can write down solution formulas for an ODE that corresponds to a planar vector field that possesses a linearly independent commuting vector field. This problem is also central to the question of linearizability of vector fields. Let…
▽ More
We study the problem of characterizing polynomial vector fields that commute with a given polynomial vector field on a plane. It is a classical result that one can write down solution formulas for an ODE that corresponds to a planar vector field that possesses a linearly independent commuting vector field. This problem is also central to the question of linearizability of vector fields. Let $f \in K[x]$, where $K$ is a field of characteristic zero, and $d$ the derivation that corresponds to the differential equation $\ddot x = f(x)$ in a standard way. Let also $H$ be the Hamiltonian polynomial for $d$, that is $H=\frac{1}{2}y^2-\int{f(x)dx}$. It is known that the set of all polynomial derivations that commute with $d$ forms a $K[H]$-module $M_d$. In this paper, we show that, for every such $d$, the module $M_d$ is of rank $1$ if and only if $\text{deg}\; f\geqslant 2$. For example, the classical elliptic equation $\ddot x = 6x^2+a$, where $a \in \mathbb{C}$, falls into this category.
△ Less
Submitted 2 February, 2018;
originally announced February 2018.
-
Pure-minimal chain complexes
Authors:
Lars Winther Christensen,
Peder Thompson
Abstract:
We introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As applications, we characterize von Neumann regular rings and left perfect rings.
We introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As applications, we characterize von Neumann regular rings and left perfect rings.
△ Less
Submitted 3 October, 2018; v1 submitted 31 December, 2017;
originally announced January 2018.
-
Sample average approximation with heavier tails II: localization in stochastic convex optimization and persistence results for the Lasso
Authors:
Roberto I. Oliveira,
Philip Thompson
Abstract:
``Localization'' has proven to be a valuable tool in the Statistical Learning literature as it allows sharp risk bounds in terms of the problem geometry. Localized bounds seem to be much less exploited in the Stochastic Optimization literature. In addition, there is an obvious interest in both communities in obtaining risk bounds that require weak moment assumptions or ``heavier-tails''. In this w…
▽ More
``Localization'' has proven to be a valuable tool in the Statistical Learning literature as it allows sharp risk bounds in terms of the problem geometry. Localized bounds seem to be much less exploited in the Stochastic Optimization literature. In addition, there is an obvious interest in both communities in obtaining risk bounds that require weak moment assumptions or ``heavier-tails''. In this work we use a localization toolbox to derive risk bounds in two specific applications. The first is in portfolio risk minimization with conditional value-at-risk constraints. We consider a setting where, among all assets with high returns, there is a portion of dimension $g$, unknown to the investor, that has significant less risk than the other remaining portion. Our rates for the SAA problem show that ``risk inflation'', caused by a multiplicative factor, affects the statistical rate only via a term proportional to $g$. As the ``normalized risk'' increases, the contribution in the rate from the extrinsic dimension diminishes while the dependence on $g$ is kept fixed. Localization is a key tool to show this property. As a second application of our localization toolbox, we obtain sharp oracle inequalities for least-squares estimators with a Lasso-type constraint under weak moment assumptions. One main consequence of these inequalities is to obtain \emph{persistence}, as posed by Greenshtein and Ritov, with covariates having heavier tails. This gives improvements in prior work of Bartlett, Mendelson and Neeman.
△ Less
Submitted 28 March, 2023; v1 submitted 13 November, 2017;
originally announced November 2017.
-
On variance reduction for stochastic smooth convex optimization with multiplicative noise
Authors:
Alejandro Jofré,
Philip Thompson
Abstract:
We propose dynamic sampled stochastic approximation (SA) methods for stochastic optimization with a heavy-tailed distribution (with finite 2nd moment). The objective is the sum of a smooth convex function with a convex regularizer. Typically, it is assumed an oracle with an upper bound $σ^2$ on its variance (OUBV). Differently, we assume an oracle with \emph{multiplicative noise}. This rarely addr…
▽ More
We propose dynamic sampled stochastic approximation (SA) methods for stochastic optimization with a heavy-tailed distribution (with finite 2nd moment). The objective is the sum of a smooth convex function with a convex regularizer. Typically, it is assumed an oracle with an upper bound $σ^2$ on its variance (OUBV). Differently, we assume an oracle with \emph{multiplicative noise}. This rarely addressed setup is more aggressive but realistic, where the variance may not be bounded. Our methods achieve optimal iteration complexity and (near) optimal oracle complexity. For the smooth convex class, we use an accelerated SA method a la FISTA which achieves, given tolerance $ε>0$, the optimal iteration complexity of $\mathcal{O}(ε^{-\frac{1}{2}})$ with a near-optimal oracle complexity of $\mathcal{O}(ε^{-2})[\ln(ε^{-\frac{1}{2}})]^2$. This improves upon Ghadimi and Lan [\emph{Math. Program.}, 156:59-99, 2016] where it is assumed an OUBV. For the strongly convex class, our method achieves optimal iteration complexity of $\mathcal{O}(\ln(ε^{-1}))$ and optimal oracle complexity of $\mathcal{O}(ε^{-1})$. This improves upon Byrd et al. [\emph{Math. Program.}, 134:127-155, 2012] where it is assumed an OUBV. In terms of variance, our bounds are local: they depend on variances $σ(x^*)^2$ at solutions $x^*$ and the per unit distance multiplicative variance $σ^2_L$. For the smooth convex class, there exist policies such that our bounds resemble those obtained if it was assumed an OUBV with $σ^2:=σ(x^*)^2$. For the strongly convex class such property is obtained exactly if the condition number is estimated or in the limit for better conditioned problems or for larger initial batch sizes. In any case, if it is assumed an OUBV, our bounds are thus much sharper since typically $\max\{σ(x^*)^2,σ_L^2\}\llσ^2$.
△ Less
Submitted 24 May, 2017; v1 submitted 8 May, 2017;
originally announced May 2017.
-
Sample average approximation with heavier tails I: non-asymptotic bounds with weak assumptions and stochastic constraints
Authors:
Roberto I. Oliveira,
Philip Thompson
Abstract:
We derive new and improved non-asymptotic deviation inequalities for the sample average approximation (SAA) of an optimization problem. Our results give strong error probability bounds that are "sub-Gaussian"~even when the randomness of the problem is fairly heavy tailed. Additionally, we obtain good (often optimal) dependence on the sample size and geometrical parameters of the problem. Finally,…
▽ More
We derive new and improved non-asymptotic deviation inequalities for the sample average approximation (SAA) of an optimization problem. Our results give strong error probability bounds that are "sub-Gaussian"~even when the randomness of the problem is fairly heavy tailed. Additionally, we obtain good (often optimal) dependence on the sample size and geometrical parameters of the problem. Finally, we allow for random constraints on the SAA and unbounded feasible sets, which also do not seem to have been considered before in the non-asymptotic literature. Our proofs combine different ideas of potential independent interest: an adaptation of Talagrand's "generic chaining"~bound for sub-Gaussian processes; "localization"~ideas from the Statistical Learning literature; and the use of standard conditions in Optimization (metric regularity, Slater-type conditions) to control fluctuations of the feasible set.
△ Less
Submitted 24 March, 2022; v1 submitted 2 May, 2017;
originally announced May 2017.
-
Incremental constraint projection methods for monotone stochastic variational inequalities
Authors:
Alfredo Iusem,
Alejandro Jofré,
Philip Thompson
Abstract:
We consider stochastic variational inequalities with monotone operators defined as the expected value of a random operator. We assume the feasible set is the intersection of a large family of convex sets. We propose a method that combines stochastic approximation with incremental constraint projections meaning that at each iteration, a step similar to some variant of a deterministic projection met…
▽ More
We consider stochastic variational inequalities with monotone operators defined as the expected value of a random operator. We assume the feasible set is the intersection of a large family of convex sets. We propose a method that combines stochastic approximation with incremental constraint projections meaning that at each iteration, a step similar to some variant of a deterministic projection method is taken after the random operator is sampled and a component of the intersection defining the feasible set is chosen at random. Such sequential scheme is well suited for applications involving large data sets, online optimization and distributed learning. First, we assume that the variational inequality is weak-sharp. We provide asymptotic convergence, feasibility rate of $O(1/k)$ in terms of the mean squared distance to the feasible set and solvability rate of $O(1/\sqrt{k})$ (up to first order logarithmic terms) in terms of the mean distance to the solution set for a bounded or unbounded feasible set. Then, we assume just monotonicity of the operator and introduce an explicit iterative Tykhonov regularization to the method. We consider Cartesian variational inequalities so as to encompass the distributed solution of stochastic Nash games or multi-agent optimization problems under a limited coordination. We provide asymptotic convergence, feasibility rate of $O(1/k)$ in terms of the mean squared distance to the feasible set and, in the case of a compact set, we provide a near-optimal solvability convergence rate of $O\left(\frac{k^δ\ln k}{\sqrt{k}}\right)$ in terms of the mean dual gap-function of the SVI for arbitrarily small $δ>0$.
△ Less
Submitted 2 March, 2017; v1 submitted 1 March, 2017;
originally announced March 2017.
-
Variance-based stochastic extragradient methods with line search for stochastic variational inequalities
Authors:
Alfredo Iusem,
Alejandro Jofré,
Roberto I. Oliveira,
Philip Thompson
Abstract:
A dynamic sampled stochastic approximated (DS-SA) extragradient method for stochastic variational inequalities (SVI) is proposed that is \emph{robust} with respect to an unknown Lipschitz constant $L$. To the best of our knowledge, it is the first provably convergent \emph{robust} SA \emph{method with variance reduction}, either for SVIs or stochastic optimization, assuming just an unbiased stocha…
▽ More
A dynamic sampled stochastic approximated (DS-SA) extragradient method for stochastic variational inequalities (SVI) is proposed that is \emph{robust} with respect to an unknown Lipschitz constant $L$. To the best of our knowledge, it is the first provably convergent \emph{robust} SA \emph{method with variance reduction}, either for SVIs or stochastic optimization, assuming just an unbiased stochastic oracle in a large sample regime. This widens the applicability and improves, up to constants, the desired efficient acceleration of previous variance reduction methods, all of which still assume knowledge of $L$ (and, hence, are not robust against its estimate). Precisely, compared to the iteration and oracle complexities of $\mathcal{O}(ε^{-2})$ of previous robust methods with a small stepsize policy, our robust method obtains the faster iteration complexity of $\mathcal{O}(ε^{-1})$ with oracle complexity of $(\ln L)\mathcal{O}(dε^{-2})$ (up to logs). This matches, up to constants, the sample complexity of the sample average approximation estimator which does not assume additional problem information (such as $L$). Differently from previous robust methods for ill-conditioned problems, we allow an unbounded feasible set and an oracle with multiplicative noise (MN) whose variance is not necessarily uniformly bounded. These properties are seen in our complexity estimates which depend only on $L$ and local second or forth moments at solutions. The robustness and variance reduction properties of our DS-SA line search scheme come at the expense of nonmartingale-like dependencies (NMD) due to the needed inner statistical estimation of a lower bound for $L$. In order to handle a NMD and a MN, our proofs rely on a novel localization argument based on empirical process theory. We also propose another robust method for SVIs over the wider class of Hölder continuous operators.
△ Less
Submitted 24 August, 2017; v1 submitted 1 March, 2017;
originally announced March 2017.
-
Extragradient method with variance reduction for stochastic variational inequalities
Authors:
Alfredo Iusem,
Alejandro Jofré,
Roberto I. Oliveira,
Philip Thompson
Abstract:
We propose an extragradient method with stepsizes bounded away from zero for stochastic variational inequalities requiring only pseudo-monotonicity. We provide convergence and complexity analysis, allowing for an unbounded feasible set, unbounded operator, non-uniform variance of the oracle and, also, we do not require any regularization. Alongside the stochastic approximation procedure, we iterat…
▽ More
We propose an extragradient method with stepsizes bounded away from zero for stochastic variational inequalities requiring only pseudo-monotonicity. We provide convergence and complexity analysis, allowing for an unbounded feasible set, unbounded operator, non-uniform variance of the oracle and, also, we do not require any regularization. Alongside the stochastic approximation procedure, we iteratively reduce the variance of the stochastic error. Our method attains the optimal oracle complexity $\mathcal{O}(1/ε^2)$ (up to a logarithmic term) and a faster rate $\mathcal{O}(1/K)$ in terms of the mean (quadratic) natural residual and the D-gap function, where $K$ is the number of iterations required for a given tolerance $ε>0$. Such convergence rate represents an acceleration with respect to the stochastic error. The generated sequence also enjoys a new feature: the sequence is bounded in $L^p$ if the stochastic error has finite $p$-moment. Explicit estimates for the convergence rate, the oracle complexity and the $p$-moments are given depending on problem parameters and distance of the initial iterate to the solution set. Moreover, sharper constants are possible if the variance is uniform over the solution set or the feasible set. Our results provide new classes of stochastic variational inequalities for which a convergence rate of $\mathcal{O}(1/K)$ holds in terms of the mean-squared distance to the solution set. Our analysis includes the distributed solution of pseudo-monotone Cartesian variational inequalities under partial coordination of parameters between users of a network.
△ Less
Submitted 1 March, 2017;
originally announced March 2017.
-
Cosupport computations for finitely generated modules over commutative noetherian rings
Authors:
Peder Thompson
Abstract:
We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring has full cosupport. We also settle the comparison of cosupport and support of finitely generated modules over any commutative noetherian ring of finite Krull dime…
▽ More
We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring has full cosupport. We also settle the comparison of cosupport and support of finitely generated modules over any commutative noetherian ring of finite Krull dimension. Finally, we give an example showing that the cosupport of a finitely generated module need not be a closed subset of $\operatorname{Spec}(R)$, providing a negative answer to a question of Sather-Wagstaff and Wicklein.
△ Less
Submitted 1 June, 2018; v1 submitted 10 February, 2017;
originally announced February 2017.
-
Minimal complexes of cotorsion flat modules
Authors:
Peder Thompson
Abstract:
Let R be a commutative noetherian ring. We give criteria for a complex of cotorsion flat R-modules to be minimal, in the sense that every self homotopy equivalence is an isomorphism. To do this, we exploit Enochs' description of the structure of cotorsion flat R-modules. More generally, we show that any complex built from covers in every degree (or envelopes in every degree) is minimal, as well as…
▽ More
Let R be a commutative noetherian ring. We give criteria for a complex of cotorsion flat R-modules to be minimal, in the sense that every self homotopy equivalence is an isomorphism. To do this, we exploit Enochs' description of the structure of cotorsion flat R-modules. More generally, we show that any complex built from covers in every degree (or envelopes in every degree) is minimal, as well as give a partial converse to this in the context of cotorsion pairs. As an application, we show that every R-module is isomorphic in the derived category over R to a minimal semi-flat complex of cotorsion flat R-modules.
△ Less
Submitted 21 November, 2018; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Detecting Koszulness and related homological properties from the algebra structure of Koszul homology
Authors:
Amanda Croll,
Roger Dellaca,
Anjan Gupta,
Justin Hoffmeier,
Vivek Mukundan,
Denise Rangel Tracy,
Liana M. Şega,
Gabriel Sosa,
Peder Thompson
Abstract:
Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show…
▽ More
Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Poincaré series. As an application, we show that the Poincaré series of all finitely generated modules over a stretched Cohen-Macaulay local ring are rational, sharing a common denominator.
△ Less
Submitted 18 September, 2017; v1 submitted 12 November, 2016;
originally announced November 2016.
-
Adams Operations on Matrix Factorizations
Authors:
Michael K. Brown,
Claudia Miller,
Peder Thompson,
Mark E. Walker
Abstract:
We define Adams operations on matrix factorizations, and we show these operations enjoy analogues of several key properties of the Adams operations on perfect complexes with support developed by Gillet-Soulé in their paper "Intersection Theory Using Adams Operations". As an application, we give a proof of a conjecture of Dao-Kurano concerning the vanishing of Hochster's theta invariant.
We define Adams operations on matrix factorizations, and we show these operations enjoy analogues of several key properties of the Adams operations on perfect complexes with support developed by Gillet-Soulé in their paper "Intersection Theory Using Adams Operations". As an application, we give a proof of a conjecture of Dao-Kurano concerning the vanishing of Hochster's theta invariant.
△ Less
Submitted 31 October, 2016;
originally announced October 2016.
-
Cyclic Adams Operations
Authors:
Michael K. Brown,
Claudia Miller,
Peder Thompson,
Mark E. Walker
Abstract:
Let $Q$ be a commutative, Noetherian ring and $Z \subseteq \operatorname{Spec}(Q)$ a closed subset. Define $K_0^Z(Q)$ to be the Grothendieck group of those bounded complexes of finitely generated projective $Q$-modules that have homology supported on $Z$. We develop "cyclic" Adams operations on $K_0^Z(Q)$ and we prove these operations satisfy the four axioms used by Gillet and Soulé in their paper…
▽ More
Let $Q$ be a commutative, Noetherian ring and $Z \subseteq \operatorname{Spec}(Q)$ a closed subset. Define $K_0^Z(Q)$ to be the Grothendieck group of those bounded complexes of finitely generated projective $Q$-modules that have homology supported on $Z$. We develop "cyclic" Adams operations on $K_0^Z(Q)$ and we prove these operations satisfy the four axioms used by Gillet and Soulé in their paper "Intersection Theory Using Adams Operations". From this we recover a shorter proof of Serre's Vanishing Conjecture. We also show our cyclic Adams operations agree with the Adams operations defined by Gillet and Soulé in certain cases.
△ Less
Submitted 22 February, 2016; v1 submitted 19 January, 2016;
originally announced January 2016.
-
Stable Local Cohomology
Authors:
Peder Thompson
Abstract:
Let $R$ be a Gorenstein local ring, $\frak{a}$ an ideal in $R$, and $M$ an $R$-module. The local cohomology of $M$ supported at $\frak{a}$ can be computed by applying the $\frak{a}$-torsion functor to an injective resolution of $M$. Since $R$ is Gorenstein, $M$ has a complete injective resolution, so it is natural to ask what one gets by applying the $\frak{a}$-torsion functor to it. Following thi…
▽ More
Let $R$ be a Gorenstein local ring, $\frak{a}$ an ideal in $R$, and $M$ an $R$-module. The local cohomology of $M$ supported at $\frak{a}$ can be computed by applying the $\frak{a}$-torsion functor to an injective resolution of $M$. Since $R$ is Gorenstein, $M$ has a complete injective resolution, so it is natural to ask what one gets by applying the $\frak{a}$-torsion functor to it. Following this lead, we define stable local cohomology for modules with complete injective resolutions. This gives a functor to the stable category of Gorenstein injective modules. We show that in many ways this behaves like the usual local cohomology functor. Our main result is that when there is only one non-zero local cohomology module, there is a strong connection between that module and the stable local cohomology module; in fact, the latter gives a Gorenstein injective approximation of the former.
△ Less
Submitted 4 March, 2015;
originally announced March 2015.
-
Taxicab Butterflies
Authors:
Kevin P. Thompson
Abstract:
The Butterfly Theorem is explored in Taxicab Geometry.
The Butterfly Theorem is explored in Taxicab Geometry.
△ Less
Submitted 26 January, 2015;
originally announced January 2015.
-
Taxicab Calculus: Trig Derivatives
Authors:
Kevin P. Thompson
Abstract:
The set of trigonometric functions in taxicab geometry is completed and derivatives of all of the taxicab trigonometric functions are explored.
The set of trigonometric functions in taxicab geometry is completed and derivatives of all of the taxicab trigonometric functions are explored.
△ Less
Submitted 30 May, 2025; v1 submitted 16 May, 2012;
originally announced May 2012.
-
Taxicab Triangle Incircles and Circumcircles
Authors:
Kevin P. Thompson
Abstract:
Inscribed angles are investigated in taxicab geometry with application to the existence and uniqueness of inscribed and circumscribed taxicab circles of triangles.
Inscribed angles are investigated in taxicab geometry with application to the existence and uniqueness of inscribed and circumscribed taxicab circles of triangles.
△ Less
Submitted 14 January, 2011;
originally announced January 2011.
-
The Nature of Length, Area, and Volume in Taxicab Geometry
Authors:
Kevin P. Thompson
Abstract:
While the concept of straight-line length is well understood in taxicab geometry, little research has been done into the length of curves or the nature of area and volume in this geometry. This paper sets forth a comprehensive view of the basic dimensional measures in taxicab geometry.
While the concept of straight-line length is well understood in taxicab geometry, little research has been done into the length of curves or the nature of area and volume in this geometry. This paper sets forth a comprehensive view of the basic dimensional measures in taxicab geometry.
△ Less
Submitted 14 January, 2011;
originally announced January 2011.
-
Arbitrary Sectioning of Angles in Taxicab Geometry
Authors:
Kevin P. Thompson
Abstract:
A construction to arbitrarily section a taxicab angle into an equal number of angles in (pure) taxicab geometry is presented.
A construction to arbitrarily section a taxicab angle into an equal number of angles in (pure) taxicab geometry is presented.
△ Less
Submitted 14 January, 2011;
originally announced January 2011.
-
An Alternative Computational Approach to the Collatz Conjecture
Authors:
Kevin P. Thompson
Abstract:
An alternative computational approach to the Collatz (3n+1) conjecture is presented that may be theoretically capable of confirming the conjecture.
An alternative computational approach to the Collatz (3n+1) conjecture is presented that may be theoretically capable of confirming the conjecture.
△ Less
Submitted 22 July, 2011; v1 submitted 12 January, 2011;
originally announced January 2011.
-
Optimization of Surface Registrations using Beltrami Holomorphic Flow
Authors:
L. M. Lui,
T. W. Wong,
W. Zeng,
X. F. Gu,
P. M. Thompson,
T. F. Chan,
S. T. Yau
Abstract:
In shape analysis, finding an optimal 1-1 correspondence between surfaces within a large class of admissible bijective mappings is of great importance. Such process is called surface registration. The difficulty lies in the fact that the space of all surface diffeomorphisms is a complicated functional space, making exhaustive search for the best mapping challenging. To tackle this problem, we prop…
▽ More
In shape analysis, finding an optimal 1-1 correspondence between surfaces within a large class of admissible bijective mappings is of great importance. Such process is called surface registration. The difficulty lies in the fact that the space of all surface diffeomorphisms is a complicated functional space, making exhaustive search for the best mapping challenging. To tackle this problem, we propose a simple representation of bijective surface maps using Beltrami coefficients (BCs), which are complex-valued functions defined on surfaces with supreme norm less than 1. Fixing any 3 points on a pair of surfaces, there is a 1-1 correspondence between the set of surface diffeomorphisms between them and the set of BCs. Hence, every bijective surface map can be represented by a unique BC. Conversely, given a BC, we can reconstruct the unique surface map associated to it using the Beltrami Holomorphic flow (BHF) method. Using BCs to represent surface maps is advantageous because it is a much simpler functional space, which captures many essential features of a surface map. By adjusting BCs, we equivalently adjust surface diffeomorphisms to obtain the optimal map with desired properties. More specifically, BHF gives us the variation of the associated map under the variation of BC. Using this, a variational problem over the space of surface diffeomorphisms can be easily reformulated into a variational problem over the space of BCs. This makes the minimization procedure much easier. More importantly, the diffeomorphic property is always preserved. We test our method on synthetic examples and real medical applications. Experimental results demonstrate the effectiveness of our proposed algorithm for surface registration.
△ Less
Submitted 14 May, 2010;
originally announced May 2010.
