-
The MorseResolutions package for Macaulay2
Authors:
Trung Chau,
Selvi Kara,
Augustine O'Keefe
Abstract:
Using discrete Morse theory, Batzies and Welker introduced Morse resolutions of monomial ideals. In this note, we present the {\it Macaulay2} package {\tt MorseResolutions} for working with two important classes of Morse resolutions: Lyubeznik and Barile-Macchia resolutions. This package also contains procedures to search for a minimal Barile-Macchia resolution of a given monomial ideal.
Using discrete Morse theory, Batzies and Welker introduced Morse resolutions of monomial ideals. In this note, we present the {\it Macaulay2} package {\tt MorseResolutions} for working with two important classes of Morse resolutions: Lyubeznik and Barile-Macchia resolutions. This package also contains procedures to search for a minimal Barile-Macchia resolution of a given monomial ideal.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Toric Ideals of Weighted Oriented Graphs
Authors:
Jennifer Biermann,
Selvi Kara,
Kuei-Nuan Lin,
Augustine O'Keefe
Abstract:
Given a vertex-weighted oriented graph, we can associate to it a set of monomials. We consider the toric ideal whose defining map is given by these monomials. We find a generating set for the toric ideal for certain classes of graphs which depends on the combinatorial structure and weights of the graph. We provide a result which is analogous to the unweighted, unoriented graph case, to show that w…
▽ More
Given a vertex-weighted oriented graph, we can associate to it a set of monomials. We consider the toric ideal whose defining map is given by these monomials. We find a generating set for the toric ideal for certain classes of graphs which depends on the combinatorial structure and weights of the graph. We provide a result which is analogous to the unweighted, unoriented graph case, to show that when the associated simple graph has only trivial even closed walks, the toric ideal is the zero ideal. Moreover, we give necessary and sufficient conditions for the toric ideal of a weighted oriented graph to be generated by a single binomial and we describe the binomial in term of the structure of the graph.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
Structural and dynamic disorder, not ionic trap**, controls charge transport in highly doped conducting polymers
Authors:
Ian E. Jacobs,
Gabriele D'Avino,
Vincent Lemaur,
Yue Lin,
Yuxuan Huang,
Chen Chen,
Thomas Harrelson,
William Wood,
Leszek J. Spalek,
Tarig Mustafa,
Christopher A. O'Keefe,
Xinglong Ren,
Dimitrios Simatos,
Dion Tjhe,
Martin Statz,
Joseph Strzalka,
**-Kyun Lee,
Iain McCulloch,
Simone Fratini,
David Beljonne,
Henning Sirringhaus
Abstract:
Doped organic semiconductors are critical to emerging device applications, including thermoelectrics, bioelectronics, and neuromorphic computing devices. It is commonly assumed that low conductivities in these materials result primarily from charge trap** by the Coulomb potentials of the dopant counter-ions. Here, we present a combined experimental and theoretical study rebutting this belief. Us…
▽ More
Doped organic semiconductors are critical to emerging device applications, including thermoelectrics, bioelectronics, and neuromorphic computing devices. It is commonly assumed that low conductivities in these materials result primarily from charge trap** by the Coulomb potentials of the dopant counter-ions. Here, we present a combined experimental and theoretical study rebutting this belief. Using a newly developed do** technique, we find the conductivity of several classes of high-mobility conjugated polymers to be strongly correlated with paracrystalline disorder but poorly correlated with ionic size, suggesting that Coulomb traps do not limit transport. A general model for interacting electrons in highly doped polymers is proposed and carefully parameterized against atomistic calculations, enabling the calculation of electrical conductivity within the framework of transient localisation theory. Theoretical calculations are in excellent agreement with experimental data, providing insights into the disordered-limited nature of charge transport and suggesting new strategies to further improve conductivities.
△ Less
Submitted 23 September, 2021; v1 submitted 5 January, 2021;
originally announced January 2021.
-
Algebraic invariants of weighted oriented graphs
Authors:
Selvi Kara,
Jennifer Biermann,
Kuei-Nuan Lin,
Augustine O'Keefe
Abstract:
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal in a polynomial ring $R$. We give the formula of Castelnuovo-Mumford regularity of $R/I(\mathcal{D})$ when $\mathcal{D}$ is a weighted oriented path or cycle such that edges of $\mathcal{D}$ are oriented in one direction. Additionally, we compute the projective dimension for this class of graphs.
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal in a polynomial ring $R$. We give the formula of Castelnuovo-Mumford regularity of $R/I(\mathcal{D})$ when $\mathcal{D}$ is a weighted oriented path or cycle such that edges of $\mathcal{D}$ are oriented in one direction. Additionally, we compute the projective dimension for this class of graphs.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Betti numbers of symmetric shifted ideals
Authors:
Jennifer Biermann,
Hernán De Alba,
Federico Galetto,
Satoshi Murai,
Uwe Nagel,
Augustine O'Keefe,
Tim Römer,
Alexandra Seceleanu
Abstract:
We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute…
▽ More
We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.
△ Less
Submitted 28 October, 2020; v1 submitted 9 July, 2019;
originally announced July 2019.
-
Algebraic properties of toric rings of graphs
Authors:
Selvi Kara,
Huy Tai Ha,
Augustine O'Keefe
Abstract:
Let $G = (V,E)$ be a simple graph. We investigate the Cohen-Macaulayness and algebraic invariants, such as the Castelnuovo-Mumford regularity and the projective dimension, of the toric ring $k[G]$ via those of toric rings associated to induced subgraphs of $G$.
Let $G = (V,E)$ be a simple graph. We investigate the Cohen-Macaulayness and algebraic invariants, such as the Castelnuovo-Mumford regularity and the projective dimension, of the toric ring $k[G]$ via those of toric rings associated to induced subgraphs of $G$.
△ Less
Submitted 12 July, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
-
Bounds on the regularity of toric ideals of graphs
Authors:
Jennifer Biermann,
Augustine O'Keefe,
Adam Van Tuyl
Abstract:
Let $G$ be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal $I_G$ associated to $G$ in terms of the sizes and number of induced complete bipartite graphs in $G$. When $G$ is a chordal bipartite graph, we find an upper bound for the regularity of $I_G$ in terms of the size of the bipartition of $G$. We also give a new proof for the graded Betti…
▽ More
Let $G$ be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal $I_G$ associated to $G$ in terms of the sizes and number of induced complete bipartite graphs in $G$. When $G$ is a chordal bipartite graph, we find an upper bound for the regularity of $I_G$ in terms of the size of the bipartition of $G$. We also give a new proof for the graded Betti numbers of the toric ideal associated to the complete bipartite graph $K_{2,n}$.
△ Less
Submitted 23 May, 2016;
originally announced May 2016.
-
A new shellability proof of an identity of Dixon
Authors:
Ruth Davidson,
Augustine O'Keefe,
Daniel Parry
Abstract:
We give a new proof of an old identity of Dixon (1865-1936) that uses tools from topological combinatorics. Dixon's identity is re-established by constructing an infinite family of non-pure simplicial complexes $Δ(n)$, indexed by the positive integers, such that the alternating sum of the numbers of faces of $Δ(n)$ of each dimension is the left-hand side of the identity. We show that $Δ(n)$ is she…
▽ More
We give a new proof of an old identity of Dixon (1865-1936) that uses tools from topological combinatorics. Dixon's identity is re-established by constructing an infinite family of non-pure simplicial complexes $Δ(n)$, indexed by the positive integers, such that the alternating sum of the numbers of faces of $Δ(n)$ of each dimension is the left-hand side of the identity. We show that $Δ(n)$ is shellable for all $n$. Then, using the fact that a shellable simplicial complex is homotopy equivalent to a wedge of spheres, we compute the Betti numbers of $Δ(n)$ by counting (via a generating function) the number of facets of $Δ(n)$ of each dimension that attach along their entire boundary in the shelling order. In other words, Dixon's identity is re-established by using the Euler-Poincaré relation.
△ Less
Submitted 10 May, 2016; v1 submitted 30 November, 2015;
originally announced December 2015.
-
Algebraic study on Cameron-Walker graphs
Authors:
Takayuki Hibi,
Akihiro Higashitani,
Kyouko Kimura,
Augustine B. O'Keefe
Abstract:
Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$, where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$. Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$. It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$, where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of…
▽ More
Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$, where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$. Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$. It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$, where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of $S/I(G)$. Cameron and Walker succeeded in classifying the finite connected simple graphs $G$ with $im(G) = m(G)$. We say that a finite connected simple graph $G$ is a Cameron-Walker graph if $im(G) = m(G)$ and if $G$ is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph $G$ is unmixed if and only if $G$ is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.
△ Less
Submitted 22 July, 2014; v1 submitted 22 August, 2013;
originally announced August 2013.
-
Depth of initial ideals of normal edge rings
Authors:
Takayuki Hibi,
Akihiro Higashitani,
Kyouko Kimura,
Augustine B. O'Keefe
Abstract:
Let $G$ be a finite graph on the vertex set $[d] = \{1, ..., d \}$ with the edges $e_1, ..., e_n$ and $K[\tb] = K[t_1, ..., t_d]$ the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ which is generated by those monomials $\tb^e = t_it_j$ such that $e = \{i, j\}$ is an edge of $G$. Let $K[\xb] = K[x_1, ..., x_n]$ be the polynomial ring in $n$ vari…
▽ More
Let $G$ be a finite graph on the vertex set $[d] = \{1, ..., d \}$ with the edges $e_1, ..., e_n$ and $K[\tb] = K[t_1, ..., t_d]$ the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ which is generated by those monomials $\tb^e = t_it_j$ such that $e = \{i, j\}$ is an edge of $G$. Let $K[\xb] = K[x_1, ..., x_n]$ be the polynomial ring in $n$ variables over $K$ and define the surjective homomorphism $π: K[\xb] \to K[G]$ by setting $π(x_i) = \tb^{e_i}$ for $i = 1, ..., n$. The toric ideal $I_G$ of $G$ is the kernel of $π$. It will be proved that, given integers $f$ and $d$ with $6 \leq f \leq d$, there exist a finite connected nonbipartite graph $G$ on $[d]$ together with a reverse lexicographic order $<_{\rev}$ on $K[\xb]$ and a lexicographic order $<_{\lex}$ on $K[\xb]$ such that (i) $K[G]$ is normal, (ii) $\depth K[\xb]/\ini_{<_{\rev}}(I_G) = f$ and (iii) $K[\xb]/\ini_{<_{\lex}}(I_G)$ is Cohen--Macaulay, where $\ini_{<_{\rev}}(I_G)$ (resp.\ $\ini_{<_{\lex}}(I_G)$) is the initial ideal of $I_G$ with respect to $<_{\rev}$ (resp.\ $<_{\lex}$) and where $\depth K[\xb]/\ini_{<_{\rev}}(I_G)$ is the depth of $K[\xb]/\ini_{<_{\rev}}(I_G)$.
△ Less
Submitted 20 January, 2011;
originally announced January 2011.
-
Depth of edge rings arising from finite graphs
Authors:
Takayuki Hibi,
Akihiro Higashitani,
Kyouko Kimura,
Augustine B. O'Keefe
Abstract:
Let $G$ be a finite graph and $K[G]$ the edge ring of $G$. Based on the technique of Gröbner bases and initial ideals, it will be proved that, given integers $f$ and $d$ with $7 \leq f \leq d$, there exists a finite graph $G$ on $[d]={1,...,d}$ with $\depth K[G] = f$ and with $\Krull-dim K[G] = d$.
Let $G$ be a finite graph and $K[G]$ the edge ring of $G$. Based on the technique of Gröbner bases and initial ideals, it will be proved that, given integers $f$ and $d$ with $7 \leq f \leq d$, there exists a finite graph $G$ on $[d]={1,...,d}$ with $\depth K[G] = f$ and with $\Krull-dim K[G] = d$.
△ Less
Submitted 8 September, 2010;
originally announced September 2010.
-
Path ideals of rooted trees and their graded Betti numbers
Authors:
Rachelle R. Bouchat,
Huy Tai Ha,
Augustine O'Keefe
Abstract:
Let $Γ$ be a rooted tree and let $t$ be a positive integer. We study algebraic invariants and properties of the path ideal generated by monomial corresponding to paths of length $(t-1)$ in $Γ$. In particular, we give a recursive formula to compute the graded Betti numbers, a general bound for the regularity, an explicit computation of the linear strand, and we characterize when this path ideal has…
▽ More
Let $Γ$ be a rooted tree and let $t$ be a positive integer. We study algebraic invariants and properties of the path ideal generated by monomial corresponding to paths of length $(t-1)$ in $Γ$. In particular, we give a recursive formula to compute the graded Betti numbers, a general bound for the regularity, an explicit computation of the linear strand, and we characterize when this path ideal has a linear resolution.
△ Less
Submitted 3 June, 2011; v1 submitted 27 August, 2010;
originally announced August 2010.
-
Coding Guidelines for Prolog
Authors:
Michael A. Covington,
Roberto Bagnara,
Richard A. O'Keefe,
Jan Wielemaker,
Simon Price
Abstract:
Coding standards and good practices are fundamental to a disciplined approach to software projects, whatever programming languages they employ. Prolog programming can benefit from such an approach, perhaps more than programming in other languages. Despite this, no widely accepted standards and practices seem to have emerged up to now. The present paper is a first step towards filling this void: it…
▽ More
Coding standards and good practices are fundamental to a disciplined approach to software projects, whatever programming languages they employ. Prolog programming can benefit from such an approach, perhaps more than programming in other languages. Despite this, no widely accepted standards and practices seem to have emerged up to now. The present paper is a first step towards filling this void: it provides immediate guidelines for code layout, naming conventions, documentation, proper use of Prolog features, program development, debugging and testing. Presented with each guideline is its rationale and, where sensible options exist, illustrations of the relative pros and cons for each alternative. A coding standard should always be selected on a per-project basis, based on a host of issues pertinent to any given programming project; for this reason the paper goes beyond the mere provision of normative guidelines by discussing key factors and important criteria that should be taken into account when deciding on a fully-fledged coding standard for the project.
△ Less
Submitted 17 May, 2011; v1 submitted 15 November, 2009;
originally announced November 2009.
-
O(1) Reversible Tree Navigation Without Cycles
Authors:
Richard A. O'Keefe
Abstract:
Imperative programmers often use cyclically linked trees in order to achieve O(1) navigation time to neighbours. Some logic programmers believe that cyclic terms are necessary to achieve the same in logic-based languages. An old but little-known technique provides O(1) time and space navigation without cyclic links, in the form of reversible predicates. A small modification provides O(1) amortis…
▽ More
Imperative programmers often use cyclically linked trees in order to achieve O(1) navigation time to neighbours. Some logic programmers believe that cyclic terms are necessary to achieve the same in logic-based languages. An old but little-known technique provides O(1) time and space navigation without cyclic links, in the form of reversible predicates. A small modification provides O(1) amortised time and space editing.
△ Less
Submitted 7 June, 2004;
originally announced June 2004.