arXiv subjects

Daniel Herden

Publications and source records attributed to Daniel Herden.

At least 19 recordsLinked to original sources

arXiv2026

On the abstract elementary class of acts with pure embeddings

We study the abstract elementary class of acts with pure embeddings. In particular, we show that stability and superstability in this class can be characterized in terms of the monoid $S$ being LO (for every $s,t \in S$, we have that $s \in St$ or $t \in Ss$) and weakly noetherian (every ideal is finitely generated), respectively. Moreover, under mild set-theoretic assumptions, we characterize the stability spectrum via the minimal cardinality of a generating set for every ideal. As an application, we obtain a Baer-like criterion for pure injective acts when $S$ is LO. We use this to provide an alternative proof that the class of acts has enough pure injectives when $S$ is LO.

math.LO↗

arXiv2026

Chaotic and periodic behavior of jeu de taquin on infinite Young tableaux

Young tableaux are fundamental objects in algebraic combinatorics and representation theory, with operations such as promotion and jeu de taquin playing a central role in their structure and applications. While these operations are well understood for finite tableaux, their behavior on infinite tableaux has so far been studied mainly within probabilistic frameworks. In this paper, we investigate jeu de taquin on infinite standard Young tableaux from a purely combinatorial and dynamical point of view. We analyze the action of jeu de taquin on infinite shapes, describe the structure of inverse images, and classify tableaux exhibiting periodic, pre-periodic, and recurrent behavior. We also introduce a natural metric on the space of infinite tableaux and show that jeu de taquin defines a chaotic dynamical system in the sense of Devaney. These results extend classical tableau theory to infinite settings and identify connections between combinatorial dynamics and infinite representation-theoretic structures.

math.CO↗

arXiv2026

Examples of non-tame abstract elementary classes of abelian groups

We construct an abstract elementary class $K_1$ of torsion-free abelian groups such that $K_1$ is not $(<\aleph_0)$-tame but is $\aleph_0$-tame. This answers a question of [BoVa17]. Furthermore, for every regular uncountable cardinal $\mu$ less than the first measurable cardinal, we construct an abstract elementary class $K_2(2^\mu)$ of torsion-free abelian groups such that $K_2(2^\mu)$ is not $(<\mu)$-tame. $K_1$ and $K_2(2^\mu)$ are non-tame for algebraic reasons. Furthermore, they constitute the first examples of non-tame abstract elementary classes in a natural language.

math.LO↗

arXiv2026

An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example

We construct a class $\hat{K}$ of torsion-free abelian groups such that $\hat{\mathbf{K}}=(\hat{K}, \leq_p)$ is an abstract elementary class with $\operatorname{LS}(\hat{\mathbf{K}})=\aleph_0$ such that: $(\cdot)$ $\hat{\mathbf{K}}$ is not stable; $(\cdot)$ $\hat{\mathbf{K}}$ has the joint embedding property and no maximal models, but does not have the amalgamation property; $(\cdot)$ $\hat{\mathbf{K}}$ is $(<\aleph_0)$-tame. The class we construct is a variation of [PaSh, Section 4] which isolates the core mechanism of the Paolini-Shelah construction.

math.LO↗

arXiv2025

Chromatic numbers with open and nonzero local modular constraints

In this paper, we explore chromatic numbers subject to various local modular constraints. For fixed $n$, we consider proper integer colorings of a graph $G$ for which the closed and open neighborhood sums have nonzero remainders modulo $n$ and provide bounds for the associated chromatic numbers $χ_n(G)$ and $χ_{(n)}(G)$, respectively. In addition, we provide bounds for $χ_{(n,k)}(G)$, the minimal order of a proper integer coloring of $G$ with open neighborhood sums congruent to $k\mod n$ (when such a coloring exists) as well as precise values for certain families of graphs.

math.CO↗

arXiv2025

The partial derivative of ratios of Schur polynomials and applications to symplectic quotients

We show that a ratio of Schur polynomials $s_{\lambda}/s_{\rho}$ associated to partitions $\lambda$ and $\rho$ such that $\lambda\subsetneq\rho$ has a negative partial derivative at any point where all variables are positive. This is accomplished by establishing an injective map between sets of pairs of skew semistandard Young tableaux that preserves the product of the corresponding monomials. We use this result and the description of the first Laurent coefficient of the Hilbert series of the graded algebra of regular functions on a linear symplectic quotient by the circle to demonstrate that many such symplectic quotients are not graded regularly diffeomorphic. In addition, we give an upper bound for this Laurent coefficient in terms of the largest two weights of the circle representation and demonstrate that all but finitely many circle symplectic quotients of each dimension are not graded regularly diffeomorphic to linear symplectic quotients by $\operatorname{SU}_2$.

math.CO↗

arXiv2025

The trace dual of nonlinear skew cyclic codes

Codes which have a finite field $\mathbb{F}_{q^m}$ as their alphabet but which are only linear over a subfield $\mathbb{F}_q$ are a topic of much recent interest due to their utility in constructing quantum error correcting codes. In this article, we find generators for trace dual spaces of different families of $\mathbb{F}_q$-linear codes over $\mathbb{F}_{q^2}$. In particular, given the field extension $\mathbb{F}_q\leq \mathbb{F}_{q^2}$ with $q$ an odd prime power, we determine the trace Euclidean and trace Hermitian dual codes for the general $\mathbb{F}_q$-linear cyclic $\mathbb{F}_{q^2}$-code. In addition, we also determine the trace Euclidean and trace Hermitian duals for general $\mathbb{F}_q$-linear skew cyclic $\mathbb{F}_{q^2}$-codes, which are defined to be left $\mathbb{F}_q[X]$-submodules of $\mathbb{F}_{q^2}[X;\sigma]/(X^n-1)$, where $\sigma$ denotes the Frobenius automorphism and $\mathbb{F}_{q^2}[X;\sigma]$ the induced skew polynomial ring.

cs.IT↗

arXiv2025

Chromatic numbers with closed local modular constraints

Generalizing the notion of odd-sum colorings, a $\mathbb{Z}$-labeling of a graph $G$ is called a closed coloring with remainder $k\mod n$ if the closed neighborhood label sum of each vertex is congruent to $k\mod n$. If such colorings exist, we write $χ_{n,k}(G)$ for the minimum number of colors used for a closed coloring with remainder $k\mod n$ such that no neighboring vertices have the same color. General estimates for $χ_{n,k}(G)$ are given along with evaluations of $χ_{n,k}(G)$ for some finite and infinite order graphs.

math.CO↗

arXiv2025

Nonlinear Skew Quasi-Cyclic Codes

This article explores nonlinear analogues of skew quasi-cyclic codes of index~$\ell$, i.e., $\mathbb{F}_{q^m}[X;\sigma]$-submodules of $\left(\mathbb{F}_{q^m}[X;\sigma]/(X^n - 1)\right)^\ell$. After introducing nonlinear skew quasi-cyclic codes, we then determine the module structure of these codes by using a two-fold iteration of the Smith normal form of matrices over skew polynomial rings. We show that actually a single use of the Smith normal form will suffice to determine the elementary divisors of the code. Along the way, we also describe duals of our codes with respect to appropriately chosen inner products.

cs.IT↗

arXiv2024

Limits and Periodicity of Metamour $2$-Distance Graphs

Given a finite simple graph $G$, let $\operatorname{M}(G)$ denote its 2-distance graph, in which two vertices are adjacent if and only if they have distance 2 in $G$. In this paper, we consider the periodic behavior of the sequence $G, \operatorname{M}(G), \operatorname{M}^2(G), \operatorname{M}^3(G), \ldots$ obtained by iterating the 2-distance operation. In particular, we classify the connected graphs with period 3, and we partially characterize those with period 2. We then study two families of graphs whose 2-distance sequence is eventually periodic: namely, generalized Petersen graphs and complete $m$-ary trees. For each family, we show that the eventual period is 2, and we determine the pre-period and the two limit graphs of the sequence.

math.CO↗

arXiv2024

On groups well represented as automorphism groups of groups

Assuming Gödel's axiom of constructibility $\bold V=\bold L,$ we present a characterization of those groups $L$ for which there exist arbitrarily large groups $H$ such that $aut(H) \cong L$. In particular, we show that it suffices to have one such group $H$ such that the size of its center is bigger than $ 2^{|L |+\aleph_0}$.

math.GR↗

arXiv2024

Higher Koszul brackets on the cotangent complex

Let $n\ge 1$ and $A$ be a commutative algebra of the form $\boldsymbol k[x_1,x_2,\dots, x_n]/I$ where $\boldsymbol k$ is a field of characteristic $0$ and $I\subseteq \boldsymbol k[x_1,x_2,\dots, x_n]$ is an ideal. Assume that there is a Poisson bracket $\{\:,\:\}$ on $S$ such that $\{I,S\}\subseteq I$ and let us denote the induced bracket on $A$ by $\{\:,\:\}$ as well. It is well-known that $[\mathrm d x_i,\mathrm d x_j]:=\mathrm d\{x_i,x_j\}$ defines a Lie bracket on the $A$-module $Ω_{A|\boldsymbol k}$ of Kähler differentials making $(A,Ω_{A|\boldsymbol k})$ a Lie-Rinehart pair. Recall that $A$ is regular if and only if $Ω_{A|\boldsymbol k}$ is projective as an $A$-module. If $A$ is not regular, the cotangent complex $\mathbb L_{A|\boldsymbol k}$ may serve as a replacement for the $A$-module $Ω_{A|\boldsymbol k}$. We prove that there is a structure of an $L_\infty$-algebroid on $\mathbb L_{A|\boldsymbol k}$, compatible with the Lie-Rinehart pair $(A,Ω_{A|\boldsymbol k})$. The $L_\infty$-algebroid on $\mathbb L_{A|\boldsymbol k}$ actually comes from a $P_\infty$-algebra structure on the resolvent of the morphism $k[x_1,x_2,\dots, x_n]\to A$. We identify examples when this $L_\infty$-algebroid simplifies to a dg Lie algebroid. For aesthetic reasons we concentrate on cases when $ \boldsymbol k[x_1,x_2,\dots, x_n]$ carries a (possibly nonstandard) $\mathbb Z_{\ge 0}$-grading and both $I$ and $\{\:,\:\}$ are homogeneous.

math.AG↗

arXiv2024

A symmetric function approach to polynomial regression

We give an explicit solution formula for the polynomial regression problem in terms of Schur polynomials and Vandermonde determinants. We thereby generalize the work of Chang, Deng, and Floater to the case of model functions of the form $\sum _{i=1}^{n} a_{i} x^{d_{i}}$ for some integer exponents $d_{1} >d_{2} >\dotsc >d_{n} \geq 0$ and phrase the results using Schur polynomials. Even though the solution circumvents the well-known problems with the forward stability of the normal equation, it is only of practical value if $n$ is small because the number of terms in the formula grows rapidly with the number $m$ of data points. The formula can be evaluated essentially without rounding.

math.RA↗

arXiv2023

Young tableau reconstruction via minors

The tableau reconstruction problem, posed by Monks (2009), asks the following. Starting with a standard Young tableau $T$, a 1-minor of $T$ is a tableau obtained by first deleting any cell of $T$, and then performing jeu de taquin slides to fill the resulting gap. This can be iterated to arrive at the set of $k$-minors of $T$. The problem is this: given $k$, what are the values of $n$ such that every tableau of size $n$ can be reconstructed from its set of $k$-minors? For $k=1$, the problem was recently solved by Cain and Lehtonen. In this paper, we solve the problem for $k=2$, proving the sharp lower bound $n \geq 8$. In the case of multisets of $k$-minors, we also give a lower bound for arbitrary $k$, as a first step toward a sharp bound in the general multiset case.

math.CO↗

arXiv2022

Klein cordial trees and odd cyclic cordial friendship graphs

For a graph $G$ and an abelian group $A$, a labeling of the vertices of $G$ induces a labeling of the edges via the sum of adjacent vertex labels. Hovey introduced the notion of an $A$-cordial vertex labeling when both the vertex and edge labels are as evenly distributed as possible. Much work has since been done with trees, hypertrees, paths, cycles, ladders, prisms, hypercubes, and bipartite graphs. In this paper we show that all trees are $\mathbb{Z}_2^2$-cordial except for $P_4$ and $P_5$. In addition, we give numerous results relating to $\mathbb{Z}_m$-cordiality of the friendship graph $F_n$. The most general result shows that when $m$ is an odd multiple of $3$, then $F_n$ is $\mathbb{Z}_m$-cordial for all $n$. We also give a general conjecture to determine when $F_n$ is $\mathbb{Z}_m$-cordial.

math.CO↗

arXiv2022

On the $P_3$-hull number and infecting times of generalized Petersen graphs

The $P_3$-hull number of a graph is the minimum cardinality of an infecting set of vertices that will eventually infect the entire graph under the rule that uninfected nodes become infected if two or more neighbors are infected. In this paper, we study the $P_3$-hull number for generalized Petersen graphs and a number of closely related graphs that arise from surgery or more generalized permutations. In addition, the number of components of the complement of an infecting set of minimum cardinality is calculated for the generalized Petersen graph and shown to always be $1$ or $2$. Moreover, infecting times for infecting sets of minimum cardinality are studied. Bounds are provided and complete information is given in special cases.

math.CO↗

arXiv2022

Multigraded Hilbert series of invariants, covariants, and symplectic quotients for some rank $1$ Lie groups

We compute univariate and multigraded Hilbert series of invariants and covariants of representations of the circle and orthogonal group $\operatorname{O}_2$. The multigradings considered include the maximal grading associated to the decomposition of the representation into irreducibles as well as the bigrading associated to a cotangent-lifted representation, or equivalently, the bigrading associated to the holomorphic and antiholomorphic parts of the real invariants and covariants. This bigrading induces a bigrading on the algebra of on-shell invariants of the symplectic quotient, and the corresponding Hilbert series are computed as well. We also compute the first few Laurent coefficients of the univariate Hilbert series, give sample calculations of the multigraded Laurent coefficients, and give an example to illustrate the extension of these techniques to the semidirect product of the circle by other finite groups. We describe an algorithm to compute each of the associated Hilbert series.

math.RA↗

arXiv2022

Forcing a Basis into $\aleph_1$-Free Groups

In this paper, we address the question of when a non-free $\aleph_1$-free group $H$ can be be free in a transitive cardinality-preserving model extension. Using the $Γ$-invariant, denoted $Γ(H)$, we present a necessary and sufficient condition resolving this question for $\aleph_1$-free groups of cardinality $\aleph_1$. Specifically, if $Γ(H) = [\aleph_1]$, then $H$ will be free in a transitive model extension if and only if $\aleph_1$ collapses, while for $Γ(H) \ne [\aleph_1]$ there exist cardinality-preserving forcings that will add a basis to $H$. In particular, for $Γ(H) \neq [\aleph_1]$, we provide a poset $(\mathcal P_{\rm pb}, \leq)$ of partial bases for adding a basis to $H$ without collapsing $\aleph_1$.

math.GR↗