arXiv subjects

Bethany Kubik

Publications and source records attributed to Bethany Kubik.

9 recordsLinked to original sources

arXiv2024

Minimal Free Resolutions of Edge Ideals of Edge-Weighted Complete Bipartite Graphs

We explicitly describe cellular minimal free resolutions of certain classes of edge ideals of weighted complete bipartite graphs based on a construction of Visscher. Specifically, we show that Visscher's construction minimally resolves all edge ideals of undirected vertex-weighted complete bipartite graphs, and we characterize the edge-weighted complete bipartite graphs whose edge ideals are minimally resolved by Visscher's construction.

math.AC↗

arXiv2017

Lattice point visibility on generalized lines of sight

For a fixed $b\in\mathbb{N}=\{1,2,3,\ldots\}$ we say that a point $(r,s)$ in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ is $b$-visible from the origin if it lies on the graph of a power function $f(x)=ax^b$ with $a\in\mathbb{Q}$ and no other integer lattice point lies on this curve (i.e., line of sight) between $(0,0)$ and $(r,s)$. We prove that the proportion of $b$-visible integer lattice points is given by $1/ζ(b+1)$, where $ζ(s)$ denotes the Riemann zeta function. We also show that even though the proportion of $b$-visible lattice points approaches $1$ as $b$ approaches infinity, there exist arbitrarily large rectangular arrays of $b$-invisible lattice points for any fixed $b$. This work specialized to $b=1$ recovers original results from the classical lattice point visibility setting where the lines of sight are given by linear functions with rational slope through the origin.

math.NT↗

arXiv2017

The Graph of Critical Pairs of a Crown

There is a natural way to associate with a poset $P$ a hypergraph $H$, called the hypergraph of critical pairs, so that the dimension of $P$ is exactly equal to the chromatic number of $H$. The edges of $H$ have variable sizes, but it is of interest to consider the graph $G$ formed by the edges of $H$ that have size~2. The chromatic number of $G$ is less than or equal to the dimension of $P$ and the difference between the two values can be arbitrarily large. Nevertheless, there are important instances where the two parameters are the same, and we study one of these in this paper. Our focus is on a family $\{S_n^k:n\ge 3, k\ge 0\}$ of height two posets called crowns. We show that the chromatic number of the graph $G_n^k$ of critical pairs of the crown $S_n^k$ is the same as the dimension of $S_n^k$, which is known to be $\lceil 2(n+k)/(k+2)\rceil$. In fact, this theorem follows as an immediate corollary to the stronger result: The independence number of $G_n^k$ is $(k+1)(k+2)/2$. We obtain this theorem as part of a comprehensive analysis of independent sets in $G_n^k$ including the determination of the second largest size among the maximal independent sets, both the reversible and non-reversible types.

math.CO↗

arXiv2017

Block Circulant Graphs and the Graphs of Critical Pairs of a Crown

In this paper, we provide a natural bijection between a special family of block circulant graphs and the graphs of critical pairs of the posets known as generalized crowns. In particular, every graph in this family of block circulant graphs we investigate has a generating block row that follows a symmetric growth pattern of the all ones matrix. The natural bijection provides an upper bound on the chromatic number for this infinite family of graphs.

math.CO↗

arXiv2016

Upper broadcast domination of toroidal grids and a classification of diametrical trees

A broadcast on a graph $G=(V,E)$ is a function $f:V \rightarrow \{0,1, \ldots, \text{diam}(G)\}$ satisfying $f(v) \leq e(v)$ for all $v \in V$, where $e(v)$ denotes the eccentricity of $v$ and $\text{diam}(G)$ denotes the diameter of $G$. We say that a broadcast dominates $G$ if every vertex can hear at least one broadcasting node. The upper domination number is the maximum cost of all possible minimal broadcasts, where the cost of a broadcast is defined as $\text{cost} (f)= \sum_{v \in V}f(v)$. In this paper we establish both the upper domination number and the upper broadcast domination number on toroidal grids. In addition, we classify all diametrical trees, that is, trees whose upper domination number is equal to its diameter.

math.CO↗

arXiv2014

Path Ideals of Weighted Graphs

We introduce and study the weighted $r$-path ideal of a weighted graph $G_ω$, which is a common generalization of Conca and De Negri's $r$-path ideal for unweighted graphs and Paulsen and Sather-Wagstaff's edge ideal of the weighted graph. Over a field, we explicitly describe primary decompositions of these ideals, and we characterize Cohen-Macaulayness of these ideals for trees (with arbitrary $r$) and complete graphs (for $r=2$).

math.AC↗

arXiv2012

Homology of artinian and mini-max modules, II

Let R be a commutative ring, and let L and L' be R-modules. We investigate finiteness conditions (e.g., noetherian, artinian, mini-max, Matlis reflexive) of the modules Ext^i_R(L,L') and Tor_i^R(L,L') when L and L' satisfy combinations of these finiteness conditions. For instance, if R is noetherian, then given R-modules M and M' such that M is Matlis reflexive and M' is mini-max (e.g., noetherian or artinian), we prove that Ext^i_R(M,M'), Ext^i_R(M',M), and Tor_i^R(M,M') are Matlis reflexive over R for all i\geq 0 and that Ext^i_R(M,M')^\vee\cong Tor_i^R(M,M'^\vee) and Ext^i_R(M',M)^\vee\cong Tor_i^R(M',M^\vee).

math.AC↗

arXiv2012

Quasidualizing Modules

We introduce and study "quasidualizing" modules. An artinian R-module T is quasidualizing if the homothety map \hat R\rightarrow Hom(T,T) is an isomorphism and Ext_R^i(T,T)=0 for each integer i>0. Quasidualizing modules are associated to semidualizing modules via Matlis duality. We investigate the associations via Matlis duality between subclasses of the Auslander class and Bass class and subclasses of derived T-reflexive modules.

math.AC↗

arXiv2010

Homology of artinian and Matlis reflexive modules, I

Let R be a commutative local noetherian ring, and let L and L' be R-modules. We investigate the properties of the functors Tor_i^R(L,-) and Ext^i_R(L,-). For instance, we show the following: (a) if L is artinian and L' is noetherian, then Hom_R(L,L') has finite length; (b) if L and L' are artinian, then the tensor product L \otimes_R L' has finite length; (c) if L and L' are artinian, then Tor_i^R(L,L') is artinian, and Ext^i_R(L,L') is noetherian over the completion \hat R; and (d) if L is artinian and L' is Matlis reflexive, then Ext^i_R(L,L'), Ext^i_R(L',L), and Tor_i^R(L,L') are Matlis reflexive. Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.

math.AC↗