BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Christopher O'Neill

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.COmath.ACmath.NTmath.HOmath.LOmath.PR

Catalog footprint

Research overview

10works
6topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

10 publications

preprint2025arXiv

Quasipolynomial behavior via constructibility in multigraded algebra

Piecewise quasipolynomial growth of Presburger counting functions combines with tame persistent homology module theory to conclude piecewise quasipolynomial behavior of constructible families of finely graded modules over constructible commutative semigroup rings. Functorial preservation of constructibility for families under local cohomology, Tor⁡\operatorname{Tor}, and Ext⁡\operatorname{Ext} yield piecewise quasipolynomial, quasilinear, or quasiconstant growth statements for length of local cohomology, aa-invariants, regularity, depth; length of Tor⁡\operatorname{Tor} and Betti numbers; length of Ext⁡\operatorname{Ext} and Bass numbers; associated primes via vv-invariants; and extended degrees, including the usual degree, Hilbert-Samuel multiplicity, arithmetic degree, and homological degree.

Open access
preprint2022arXiv

Numerical semigroups, polyhedra, and posets I: the group cone

Several recent papers have explored families of rational polyhedra whose integer points are in bijection with certain families of numerical semigroups. One such family, first introduced by Kunz, has integer points in bijection with numerical semigroups of fixed multiplicity, and another, introduced by Hellus and Waldi, has integer points corresponding to oversemigroups of numerical semigroups with two generators. In this paper, we provide a combinatorial framework from which to study both families of polyhedra. We introduce a new family of polyhedra called group cones, each constructed from some finite abelian group, from which both of the aforementioned families of polyhedra are directly determined but that are more natural to study from a standpoint of polyhedral geometry. We prove that the faces of group cones are naturally indexed by a family of finite posets, and illustrate how this combinatorial data relates to semigroups living in the corresponding faces of the other two families of polyhedra.

Open access
preprint2020arXiv

Discovery learning in an interdisciplinary course on finite fields and applications

The authors describe their approach to teaching a course on finite fields and combinatorial applications, including block designs and error-correcting codes, using a hybrid of lectures and active learning. Under the discussed classroom model, there are two lecture days and two discovery-based discussion days each week. Discussions center around group activities that build intuition for abstract concepts while avoiding excessive technical machinery. Teaching this course presents some unique challenges, as much of the content typically appears in a second course in abstract algebra, yet the students exhibit a wide range of mathematical preparation.

Open access
preprint2020arXiv

Factorization length distribution for affine semigroups II: asymptotic behavior for numerical semigroups with arbitrarily many generators

For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak convergence of measures, characteristic functions), and harmonic analysis (Fourier transforms of distributions). We provide instructive examples which demonstrate the power and generality of our techniques. We also highlight unexpected consequences in the theory of homogeneous symmetric functions.

Open access
preprint2020arXiv

On length densities

For a commutative cancellative monoid MM, we introduce the notion of the length density of both a nonunit x∈Mx\in M, denoted LD(x)\mathrm{LD}(x), and the entire monoid MM, denoted LD(M)\mathrm{LD}(M). This invariant is related to three widely studied invariants in the theory of non-unit factorizations, L(x)L(x), ℓ(x)\ell(x), and ρ(x)ρ(x). We consider some general properties of LD(x)\mathrm{LD}(x) and LD(M)\mathrm{LD}(M) and give a wide variety of examples using numerical semigroups, Puiseux monoids, and Krull monoids. While we give an example of a monoid MM with irrational length density, we show that if MM is finitely generated, then LD(M)\mathrm{LD}(M) is rational and there is a nonunit element x∈Mx\in M with LD(M)=LD(x)\mathrm{LD}(M)=\mathrm{LD}(x) (such a monoid is said to have accepted length density). While it is well-known that the much studied asymptotic versions of L(x)L(x), ℓ(x)\ell (x) and ρ(x)ρ(x) (denoted L‾(x)\overline{L}(x), ℓ‾(x)\overline{\ell}(x), and ρ‾(x)\overlineρ (x)) always exist, we show the somewhat surprising result that LD‾(x)=lim⁡n→∞LD(xn)\overline{\mathrm{LD}}(x) = \lim_{n\rightarrow \infty} \mathrm{LD}(x^n) may not exist. We also give some finiteness conditions on MM that force the existence of LD‾(x)\overline{\mathrm{LD}}(x).

Open access
preprint2020arXiv

On parametrized families of numerical semigroups

A numerical semigroup is an additive subsemigroup of the non-negative integers. In this paper, we consider parametrized families of numerical semigroups of the form Pn=⟨f1(n),…,fk(n)⟩P_n = \langle f_1(n), \ldots, f_k(n) \rangle for polynomial functions fif_i. We conjecture that for large nn, the Betti numbers, Frobenius number, genus, and type of PnP_n each coincide with a quasipolynomial. This conjecture has already been proven in general for Frobenius numbers, and for the remaining quantities in the special case when Pn=⟨n,n+r2,…,n+rk⟩P_n = \langle n, n + r_2, \ldots, n + r_k \rangle. Our main result is to prove our conjecture in the case where each fif_i is linear. In the process, we develop the notion of weighted factorization length, and generalize several known results for standard factorization lengths and delta sets to this weighted setting.

Open access
preprint2020arXiv

Weighted Means of B-Splines, Positivity of Divided Differences, and Complete Homogeneous Symmetric Polynomials

We employ the fact certain divided differences can be written as weighted means of B-splines and hence are positive. These divided differences include the complete homogeneous symmetric polynomials of even degree 2p2p, the positivity of which is a classical result by D. B. Hunter. We extend Hunter's result to complete homogeneous symmetric polynomials of fractional degree, which are defined via Jacobi's bialternant formula. We show in particular that these polynomials have positive real part for real degrees μμ with ∣μ−2p∣<1/2|μ-2p|< 1/2. We also prove a positivity criterion for linear combinations of the classical complete homogeneous symmetric polynomials and a sufficient criterion for the positivity of linear combinations of products of such polynomials.

Open access
preprint2018arXiv

Factorization length distribution for affine semigroups I: numerical semigroups with three generators

Most factorization invariants in the literature extract extremal factorization behavior, such as the maximum and minimum factorization lengths. Invariants of intermediate size, such as the mean, median, and mode factorization lengths are more subtle. We use techniques from analysis and probability to describe the asymptotic behavior of these invariants. Surprisingly, the asymptotic median factorization length is described by a number that is usually irrational.

Open access
preprint2018arXiv

Squarefree divisor complexes of certain numerical semigroup elements

A numerical semigroup SS is an additive subsemigroup of the non-negative integers with finite complement, and the squarefree divisor complex of an element m∈Sm \in S is a simplicial complex ΔmΔ_m that arises in the study of multigraded Betti numbers. We compute squarefree divisor complexes for certain classes numerical semigroups, and exhibit a new family of simplicial complexes that are occur as the squarefree divisor complex of some numerical semigroup element.

Open access
preprint2017arXiv

On the computation of factorization invariants for affine semigroups

We present several new algorithms for computing factorization invariant values over affine semigroups. In particular, we give (i) the first known algorithm to compute the delta set of any affine semigroup, (ii) an improved method of computing the tame degree of an affine semigroup, and (iii) a dynamic algorithm to compute catenary degrees of affine semigroup elements. Our algorithms rely on theoretical results from combinatorial commutative algebra involving Gröbner bases, Hilbert bases, and other standard techniques. Implementation in the computer algebra system GAP is discussed.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.