-
Non-semisimple topological field theory and $\widehat{Z}$-invariants from $\mathfrak{osp}(1 \vert 2)$
Authors:
Francesco Costantino,
Matthew Harper,
Adam Robertson,
Matthew B. Young
Abstract:
We construct three dimensional non-semisimple topological field theories from the unrolled quantum group of the Lie superalgebra $\mathfrak{osp}(1 \vert 2)$. More precisely, the quantum group depends on a root of unity $q=e^{\frac{2 π\sqrt{-1}}{r}}$, where $r$ is a positive integer greater than $2$, and the construction applies when $r$ is not congruent to $4$ modulo $8$. The algebraic result whic…
▽ More
We construct three dimensional non-semisimple topological field theories from the unrolled quantum group of the Lie superalgebra $\mathfrak{osp}(1 \vert 2)$. More precisely, the quantum group depends on a root of unity $q=e^{\frac{2 π\sqrt{-1}}{r}}$, where $r$ is a positive integer greater than $2$, and the construction applies when $r$ is not congruent to $4$ modulo $8$. The algebraic result which underlies the construction is the existence of a relative modular structure on the non-finite, non-semisimple category of weight modules for the quantum group. We prove a Verlinde formula which allows for the computation of dimensions and Euler characteristics of topological field theory state spaces of unmarked surfaces. When $r$ is congruent to $\pm 1$ or $\pm 2$ modulo $8$, we relate the resulting $3$-manifold invariants with physicists' $\widehat{Z}$-invariants associated to $\mathfrak{osp}(1 \vert 2)$. Finally, we establish a relation between $\widehat{Z}$-invariants associated to $\mathfrak{sl}(2)$ and $\mathfrak{osp}(1 \vert 2)$ which was conjectured in the physics literature.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
The second moment of the $GL_3$ standard $L$-function on the critical line
Authors:
Agniva Dasgupta,
Wing Hong Leung,
Matthew P. Young
Abstract:
We obtain a strong bound on the second moment of the $GL_3$ standard $L$-function on the critical line. The method builds on the recent work of Aggarwal, Leung, and Munshi which treated shorter intervals. We deduce some corollaries including an improvement on the error term in the Rankin-Selberg problem, and on certain subconvexity bounds for $GL_3 \times GL_2$ and $GL_3$ $L$-functions. As a bypro…
▽ More
We obtain a strong bound on the second moment of the $GL_3$ standard $L$-function on the critical line. The method builds on the recent work of Aggarwal, Leung, and Munshi which treated shorter intervals. We deduce some corollaries including an improvement on the error term in the Rankin-Selberg problem, and on certain subconvexity bounds for $GL_3 \times GL_2$ and $GL_3$ $L$-functions. As a byproduct of the method of proof, we also obtain an estimate for an average of shifted convolution sums of $GL_3$ Fourier coefficients.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Large Values of Newform Dedekind Sums
Authors:
Georgia Corbett,
Matthew P. Young
Abstract:
We study a generalized Dedekind sum $S_{χ_1,χ_2}(a,c)$ attached to newform Eisenstein series $E_{χ_1,χ_2}(z,s)$. Our work shows the Dedekind sum is rarely substantially larger than $\log^3 c$. The method of proof first relates the size of the Dedekind sum to continued fractions. A result of Hensley from 1991 then controls the average size of the maximal partial quotient in the continued fraction e…
▽ More
We study a generalized Dedekind sum $S_{χ_1,χ_2}(a,c)$ attached to newform Eisenstein series $E_{χ_1,χ_2}(z,s)$. Our work shows the Dedekind sum is rarely substantially larger than $\log^3 c$. The method of proof first relates the size of the Dedekind sum to continued fractions. A result of Hensley from 1991 then controls the average size of the maximal partial quotient in the continued fraction expansion of $a/c$.
We complement this result by computing approximate values of the Dedekind sum in some special cases, which in particular produces examples of large values of the Dedekind sum.
△ Less
Submitted 30 April, 2024;
originally announced May 2024.
-
$S$-integral preperiodic points for monomial semigroups over number fields
Authors:
Marley Young
Abstract:
We consider semigroup dynamical systems defined by several monnomials over a number field $K$. We prove a finiteness result for preperiodic points of such systems which are $S$-integral with respect to a non-preperiodic point $β$, which is uniform as $β$ varies over number fields of bounded degree. This generalises results of Baker, Ih and Rumely, which were made uniform by Yap, and verifies a spe…
▽ More
We consider semigroup dynamical systems defined by several monnomials over a number field $K$. We prove a finiteness result for preperiodic points of such systems which are $S$-integral with respect to a non-preperiodic point $β$, which is uniform as $β$ varies over number fields of bounded degree. This generalises results of Baker, Ih and Rumely, which were made uniform by Yap, and verifies a special case of a natural generalisation of a conjecture of Ih.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
On multiplicative dependence between elements of polynomial orbits
Authors:
Marley Young
Abstract:
We classify the pairs of polynomials $f,g \in \mathbb{C}[X]$ having orbits satisfying infinitely many multiplicative dependence relations, extending a result of Ghioca, Tucker and Zieve. Moreover, we show that given $f_1,\ldots, f_n$ from a certain class of polynomials with integer coefficients, the vectors of indices $(m_1,\ldots,m_n)$ such that $f_1^{m_1}(0),\ldots,f_n^{m_n}(0)$ are multiplictiv…
▽ More
We classify the pairs of polynomials $f,g \in \mathbb{C}[X]$ having orbits satisfying infinitely many multiplicative dependence relations, extending a result of Ghioca, Tucker and Zieve. Moreover, we show that given $f_1,\ldots, f_n$ from a certain class of polynomials with integer coefficients, the vectors of indices $(m_1,\ldots,m_n)$ such that $f_1^{m_1}(0),\ldots,f_n^{m_n}(0)$ are multiplictively dependent are sparse. We also classify the pairs $f,g \in \mathbb{Q}[X]$ such that there are infinitely many $(x,y) \in \mathbb{Z}^2$ satisfying $f(x)^k=g(y)^\ell$ for some (possibly varying) non-zero integers $k,\ell$.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
On multiplicatively dependent vectors of polynomial values
Authors:
Marley Young
Abstract:
Given polynomials $f_1,\ldots,f_n$ in $m$ variables with integral coefficients, we give upper bounds for the number of integral $m$-tuples $\mathbf{u}_1,\ldots, \mathbf{u}_n$ of bounded height such that $f_1(\mathbf{u}_1), \ldots, f_n(\mathbf{u}_n)$ are multiplicatively dependent. We also prove, under certain conditions, a finiteness result for $\mathbf{u} \in \mathbb{Z}^m$ with relatively prime e…
▽ More
Given polynomials $f_1,\ldots,f_n$ in $m$ variables with integral coefficients, we give upper bounds for the number of integral $m$-tuples $\mathbf{u}_1,\ldots, \mathbf{u}_n$ of bounded height such that $f_1(\mathbf{u}_1), \ldots, f_n(\mathbf{u}_n)$ are multiplicatively dependent. We also prove, under certain conditions, a finiteness result for $\mathbf{u} \in \mathbb{Z}^m$ with relatively prime entries such that $f_1(\mathbf{u}),\ldots,f_n(\mathbf{u})$ are multiplicatively dependent.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
B-twisted Gaiotto-Witten theory and topological quantum field theory
Authors:
Niklas Garner,
Nathan Geer,
Matthew B. Young
Abstract:
We develop representation theoretic techniques to construct three dimensional non-semisimple topological quantum field theories which model homologically truncated topological B-twists of abelian Gaiotto-Witten theory with linear matter. Our constructions are based on relative modular structures on the category of weight modules over an unrolled quantization of a Lie superalgebra. The Lie superalg…
▽ More
We develop representation theoretic techniques to construct three dimensional non-semisimple topological quantum field theories which model homologically truncated topological B-twists of abelian Gaiotto-Witten theory with linear matter. Our constructions are based on relative modular structures on the category of weight modules over an unrolled quantization of a Lie superalgebra. The Lie superalgebra, originally defined by Gaiotto and Witten, is associated to a complex symplectic representation of a metric abelian Lie algebra. The physical theories we model admit alternative realizations as Chern-Simons-Rozansky-Witten theories and supergroup Chern-Simons theories and include as particular examples global forms of $\mathfrak{gl}(1 \vert 1)$-Chern-Simons theory and toral Chern-Simons theory. Fundamental to our approach is the systematic incorporation of non-genuine line operators which source flat connections for the topological flavour symmetry of the theory.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Asymptotic second moment of Dirichlet $L$-functions along a thin coset
Authors:
Bradford Garcia,
Matthew P. Young
Abstract:
We prove an asymptotic formula for the second moment of central values of Dirichlet $L$-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo $d$ inside the full group of characters modulo $q$. Suppose that $ν_p(d) \geq ν_p(q)/2$ for all primes $p$ dividing $q$. In this range, we obtain an asymptotic formula with a power-saving error term; curiou…
▽ More
We prove an asymptotic formula for the second moment of central values of Dirichlet $L$-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo $d$ inside the full group of characters modulo $q$. Suppose that $ν_p(d) \geq ν_p(q)/2$ for all primes $p$ dividing $q$. In this range, we obtain an asymptotic formula with a power-saving error term; curiously, there is a secondary main term of rough size $q^{1/2}$ here which is not predicted by the integral moments conjecture of Conrey, Farmer, Keating, Rubinstein, and Snaith. The lower-order main term does not appear in the second moment of the Riemann zeta function, so this feature is not anticipated from the analogous archimedean moment problem.
We also obtain an asymptotic result for smaller $d$, with $ν_p(q)/3 \leq ν_p(d) \leq ν_p(q)/2$, with a power-saving error term for $d$ larger than $q^{2/5}$. In this more difficult range, the secondary main term somewhat changes its form and may have size roughly $d$, which is only slightly smaller than the diagonal main term.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Frobenius--Schur indicators for twisted Real representation theory and two dimensional unoriented topological field theory
Authors:
Levi Gagnon-Ririe,
Matthew B. Young
Abstract:
We construct a two dimensional unoriented open/closed topological field theory from a finite graded group $π:\hat{G} \twoheadrightarrow \{1,-1\}$, a $π$-twisted $2$-cocycle $\hatθ$ on $B \hat{G}$ and a character $λ: \hat{G} \rightarrow U(1)$. The underlying oriented theory is a twisted Dijkgraaf-Witten theory. The construction is based in the $(\hat{G}, \hatθ,λ)$-twisted Real representation theory…
▽ More
We construct a two dimensional unoriented open/closed topological field theory from a finite graded group $π:\hat{G} \twoheadrightarrow \{1,-1\}$, a $π$-twisted $2$-cocycle $\hatθ$ on $B \hat{G}$ and a character $λ: \hat{G} \rightarrow U(1)$. The underlying oriented theory is a twisted Dijkgraaf-Witten theory. The construction is based in the $(\hat{G}, \hatθ,λ)$-twisted Real representation theory of $\ker π$. In particular, twisted Real representations are boundary conditions and the generalized Frobenius-Schur element is its crosscap state.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Renormalized Reshetikhin-Turaev invariants for the unrolled quantum group of $\mathfrak{sl}_2(\mathbb{C})$
Authors:
Nathan Geer,
Adam Robertson,
Jan-Luca Spellmann,
Matthew B. Young
Abstract:
This paper is a self-contained introduction to the theory of renormalized Reshetikhin-Turaev invariants of links defined by Geer, Patureau-Mirand and Turaev. Whereas the standard Reshetikhin-Turaev theory of a $\mathbb{C}$-linear ribbon category assigns the trivial invariant to any link with a component colored by a simple object of vanishing quantum dimension, the renormalized theory does not. We…
▽ More
This paper is a self-contained introduction to the theory of renormalized Reshetikhin-Turaev invariants of links defined by Geer, Patureau-Mirand and Turaev. Whereas the standard Reshetikhin-Turaev theory of a $\mathbb{C}$-linear ribbon category assigns the trivial invariant to any link with a component colored by a simple object of vanishing quantum dimension, the renormalized theory does not. We give a streamlined development of the renormalized Reshetikhin-Turaev theory of links for the category of weight modules over the restricted unrolled quantum group of $\mathfrak{sl}_2(\mathbb{C})$ at an even root of unity.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Vanishing of Quartic and Sextic Twists of $L$-functions
Authors:
Jennifer Berg,
Nathan C. Ryan,
Matthew P. Young
Abstract:
Let $E$ be an elliptic curve over $\mathbf{Q}$. We conjecture asymptotic estimates for the number of vanishings of $L(E,1,χ)$ as $χ$ varies over all primitive Dirichlet characters of orders 4 and 6, subject to a mild hypothesis on $E$. Our conjectures about these families come from conjectures about random unitary matrices as predicted by the philosophy of Katz-Sarnak. We support our conjectures w…
▽ More
Let $E$ be an elliptic curve over $\mathbf{Q}$. We conjecture asymptotic estimates for the number of vanishings of $L(E,1,χ)$ as $χ$ varies over all primitive Dirichlet characters of orders 4 and 6, subject to a mild hypothesis on $E$. Our conjectures about these families come from conjectures about random unitary matrices as predicted by the philosophy of Katz-Sarnak. We support our conjectures with numerical evidence.
Earlier work by David, Fearnley and Kisilevsky formulates analogous conjectures for characters of any odd prime order. In the composite order case, however, we need to justify our use of random matrix theory heuristics by analyzing the equidistribution of the squares of normalized Gauss sums. Along the way we introduce the notion of totally order $\ell$ characters to quantify how quickly quartic and sextic Gauss sums become equidistributed. Surprisingly, the rate of equidistribution in the full family of quartic (sextic, resp.) characters is much slower than in the sub-family of totally quartic (sextic, resp.) characters. A conceptual explanation for this phenomenon is that the full family of order $\ell$ twisted elliptic curve $L$-functions, with $\ell$ even and composite, is a mixed family with both unitary and orthogonal aspects.
△ Less
Submitted 22 January, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Twisted Real quasi-elliptic cohomology
Authors:
Zhen Huan,
Matthew B. Young
Abstract:
In this paper we construct twisted Real quasi-elliptic cohomology as the twisted KR-theory of loop groupoids. The theory systematically incorporates loop rotation and reflection. After establishing basic properties of the theory, we construct twisted elliptic Pontryagin characters and, without twists, Real analogues of the string power operation of quasi-elliptic cohomology. We also explore the re…
▽ More
In this paper we construct twisted Real quasi-elliptic cohomology as the twisted KR-theory of loop groupoids. The theory systematically incorporates loop rotation and reflection. After establishing basic properties of the theory, we construct twisted elliptic Pontryagin characters and, without twists, Real analogues of the string power operation of quasi-elliptic cohomology. We also explore the relation of the theory to the Tate curve.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Three dimensional topological quantum field theory from $U_q(\mathfrak{gl}(1 \vert 1))$ and $U(1 \vert 1)$ Chern--Simons theory
Authors:
Nathan Geer,
Matthew B. Young
Abstract:
We introduce an unrolled quantization $U_q^E(\mathfrak{gl}(1 \vert 1))$ of the complex Lie superalgebra $\mathfrak{gl}(1 \vert 1)$ and use its categories of weight modules to construct and study new three dimensional non-semisimple topological quantum field theories. These theories are defined on categories of cobordisms which are decorated by ribbon graphs and cohomology classes and take values i…
▽ More
We introduce an unrolled quantization $U_q^E(\mathfrak{gl}(1 \vert 1))$ of the complex Lie superalgebra $\mathfrak{gl}(1 \vert 1)$ and use its categories of weight modules to construct and study new three dimensional non-semisimple topological quantum field theories. These theories are defined on categories of cobordisms which are decorated by ribbon graphs and cohomology classes and take values in categories of graded super vector spaces. Computations in these theories are enabled by a detailed study of the representation theory of $U_q^E(\mathfrak{gl}(1 \vert 1))$, both for generic and root of unity $q$. We argue that by restricting to subcategories of integral weight modules we obtain topological quantum field theories which are mathematical models of Chern--Simons theories with gauge supergroups $\mathfrak{psl}(1 \vert 1)$ and $\mathfrak{gl}(1 \vert 1)$ coupled to background flat $\mathbb{C}^{\times}$-connections, as studied in the physics literature by Rozansky--Saleur and Mikhaylov. In particular, we match Verlinde formulae and mapping class group actions on state spaces of non-generic tori with results in the physics literature. We also obtain explicit descriptions of state spaces of generic surfaces, including their graded dimensions, which go beyond results in the physics literature.
△ Less
Submitted 7 December, 2022; v1 submitted 9 October, 2022;
originally announced October 2022.
-
Computer assisted discovery: Zero forcing vs vertex cover
Authors:
Boris Brimkov,
Randy Davila,
Houston Schuerger,
Michael Young
Abstract:
In this paper, we showcase the process of using an automated conjecturing program called \emph{TxGraffiti} written and maintained by the second author. We begin by proving a conjecture formulated by \emph{TxGraffiti} that for a claw-free graph $G$, the vertex cover number $β(G)$ is greater than or equal to the zero forcing number $Z(G)$. Our proof of this result is constructive, and yields a polyn…
▽ More
In this paper, we showcase the process of using an automated conjecturing program called \emph{TxGraffiti} written and maintained by the second author. We begin by proving a conjecture formulated by \emph{TxGraffiti} that for a claw-free graph $G$, the vertex cover number $β(G)$ is greater than or equal to the zero forcing number $Z(G)$. Our proof of this result is constructive, and yields a polynomial time algorithm to find a zero forcing set with cardinality $β(G)$. We also use the output of \emph{TxGraffiti} to construct several infinite families of claw-free graphs for which $Z(G)=β(G)$. Additionally, inspired by the aforementioned conjecture of \emph{TxGraffiti}, we also prove a more general relation between the zero forcing number and the vertex cover number for any connected graph with maximum degree $Δ\ge 3$, namely that $Z(G)\leq (Δ-2)β(G)$+1.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
The large sieve for self-dual Eisenstein series of varying levels
Authors:
Matthew P Young
Abstract:
We prove an essentially optimal large sieve inequality for self-dual Eisenstein series of varying levels. This bound can alternatively be interpreted as a large sieve inequality for rationals ordered by height. The method of proof is recursive, and has some elements in common with Heath-Brown's quadratic large sieve, and the asymptotic large sieve of Conrey, Iwaniec, and Soundararajan.
We prove an essentially optimal large sieve inequality for self-dual Eisenstein series of varying levels. This bound can alternatively be interpreted as a large sieve inequality for rationals ordered by height. The method of proof is recursive, and has some elements in common with Heath-Brown's quadratic large sieve, and the asymptotic large sieve of Conrey, Iwaniec, and Soundararajan.
△ Less
Submitted 1 January, 2024; v1 submitted 5 August, 2022;
originally announced August 2022.
-
Effective bounds on $S$-integral preperiodic points for polynomials
Authors:
Marley Young
Abstract:
Given a polynomial $f$ defined over a number field $K$, we make effective certain special cases of a conjecture of S. Ih, on the finiteness of $f$-preperiodic points which are $S$-integral with respect to a fixed non-preperiodic point $α$. As an application, we obtain bounds on the number of $S$-units in the doubly indexed sequence $\{ f^n(α) - f^m(α) \}_{n > m \geq 0}$. In the case of a unicritic…
▽ More
Given a polynomial $f$ defined over a number field $K$, we make effective certain special cases of a conjecture of S. Ih, on the finiteness of $f$-preperiodic points which are $S$-integral with respect to a fixed non-preperiodic point $α$. As an application, we obtain bounds on the number of $S$-units in the doubly indexed sequence $\{ f^n(α) - f^m(α) \}_{n > m \geq 0}$. In the case of a unicritical polynomial $f_c(z)=z^2+c$, with $α$ fixed to be the critical point 0, for parameters $c$ outside a small region, we give an explicit bound which depends only on the number of places of bad reduction for $f_c$. As part of the proof, we obtain novel lower bounds for the $v$-adically smallest preperiodic point of $f_c$ for each place $v$ of $K$.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
On the spectral large sieve inequality for symmetric-squares
Authors:
Matthew P Young
Abstract:
We improve on the spectral large sieve inequality for symmetric-squares. We also prove a lower bound showing that the most optimistic upper bound is not true for this family.
We improve on the spectral large sieve inequality for symmetric-squares. We also prove a lower bound showing that the most optimistic upper bound is not true for this family.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Matrix factorizations, Reality and Knörrer periodicity
Authors:
Jan-Luca Spellmann,
Matthew B. Young
Abstract:
Motivated by periodicity theorems for Real $K$-theory and Grothendieck--Witt theory and, separately, work of Hori-Walcher on the physics of Landau-Ginzburg orientifolds, we introduce and study categories of Real matrix factorizations. Our main results are generalizations of Knörrer periodicity to categories of Real matrix factorizations. These generalizations are structurally similar to $(1,1)$-pe…
▽ More
Motivated by periodicity theorems for Real $K$-theory and Grothendieck--Witt theory and, separately, work of Hori-Walcher on the physics of Landau-Ginzburg orientifolds, we introduce and study categories of Real matrix factorizations. Our main results are generalizations of Knörrer periodicity to categories of Real matrix factorizations. These generalizations are structurally similar to $(1,1)$-periodicity for $KR$-theory and $4$-periodicity for Grothendieck-Witt theory. We use techniques from Real categorical representation theory which allow us to incorporate into our main results equivariance for a finite group and discrete torsion twists.
△ Less
Submitted 24 May, 2022; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Reciprocity and the Kernel of Dedekind Sums
Authors:
Alexis LaBelle,
Emily Van Bergeyk,
Matthew P. Young
Abstract:
We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums.
We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums.
△ Less
Submitted 23 October, 2021;
originally announced October 2021.
-
An improved spectral large sieve inequality for $SL_3(\mathbb{Z})$
Authors:
Matthew P. Young
Abstract:
We prove an improved spectral large sieve inequality for the family of $SL_3(\mathbb{Z})$ Hecke-Maass cusp forms. The method of proof uses duality and its structure reveals unexpected connections to Heath-Brown's large sieve for cubic characters.
We prove an improved spectral large sieve inequality for the family of $SL_3(\mathbb{Z})$ Hecke-Maass cusp forms. The method of proof uses duality and its structure reveals unexpected connections to Heath-Brown's large sieve for cubic characters.
△ Less
Submitted 4 February, 2021;
originally announced February 2021.
-
Algebraic K-theory and Grothendieck-Witt theory of monoid schemes
Authors:
Jens Niklas Eberhardt,
Oliver Lorscheid,
Matthew B. Young
Abstract:
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$ in terms of its Picard group $\operatorname{Pic}(X)$ and pointed monoid of regular functions $Γ(X, \mathcal{O}_X)$ and a description of the Grothendieck-Witt s…
▽ More
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$ in terms of its Picard group $\operatorname{Pic}(X)$ and pointed monoid of regular functions $Γ(X, \mathcal{O}_X)$ and a description of the Grothendieck-Witt space of $X$ in terms of an additional involution on $\operatorname{Pic}(X)$. We also prove space-level projective bundle formulae in both settings.
△ Less
Submitted 26 September, 2020;
originally announced September 2020.
-
Group completion in the K-theory and Grothendieck-Witt theory of proto-exact categories
Authors:
Jens Niklas Eberhardt,
Oliver Lorscheid,
Matthew B. Young
Abstract:
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories, with a particular focus on classes of examples of $\mathbb{F}_1$-linear nature. Our main results are analogues of theorems of Quillen and Schlichting, relating the $K$-theory or Grothendieck-Witt theories of proto-exact categories defined using the (hermitian) $Q$-construction and group completion.
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories, with a particular focus on classes of examples of $\mathbb{F}_1$-linear nature. Our main results are analogues of theorems of Quillen and Schlichting, relating the $K$-theory or Grothendieck-Witt theories of proto-exact categories defined using the (hermitian) $Q$-construction and group completion.
△ Less
Submitted 26 September, 2020;
originally announced September 2020.
-
Moments and hybrid subconvexity for symmetric-square L-functions
Authors:
Rizwanur Khan,
Matthew P. Young
Abstract:
We establish sharp bounds for the second moment of symmetric-square $L$-functions attached to Hecke Maass cusp forms $u_j$ with spectral parameter $t_j$, where the second moment is a sum over $t_j$ in a short interval. At the central point $s=1/2$ of the $L$-function, our interval is smaller than previous known results. More specifically, for $|t_j|$ of size $T$, our interval is of size $T^{1/5}$,…
▽ More
We establish sharp bounds for the second moment of symmetric-square $L$-functions attached to Hecke Maass cusp forms $u_j$ with spectral parameter $t_j$, where the second moment is a sum over $t_j$ in a short interval. At the central point $s=1/2$ of the $L$-function, our interval is smaller than previous known results. More specifically, for $|t_j|$ of size $T$, our interval is of size $T^{1/5}$, while the previous best was $T^{1/3}$ from work of Lam. A little higher up on the critical line, our second moment yields a subconvexity bound for the symmetric-square $L$-function. More specifically, we get subconvexity at $s=1/2+it$ provided $|t_j|^{6/7+δ}\le |t| \le (2-δ)|t_j|$ for any fixed $δ>0$. Since $|t|$ can be taken significantly smaller than $|t_j|$, this may be viewed as an approximation to the notorious subconvexity problem for the symmetric-square $L$-function in the spectral aspect at $s=1/2$.
△ Less
Submitted 31 August, 2022; v1 submitted 17 September, 2020;
originally announced September 2020.
-
Generalizations of Leaky Forcing
Authors:
Joseph S. Alameda,
Juergen Kritschgau,
Michael Young
Abstract:
Vertex leaky forcing was recently introduced as a new variation of zero forcing in order to show how vertex leaks can disrupt the zero forcing process in a graph. An edge leak is an edge that is not allowed to be forced across during the zero forcing process. The $\ell$-edge-leaky forcing number of a graph is the size of a smallest zero forcing set that can force the graph blue despite $\ell$ edge…
▽ More
Vertex leaky forcing was recently introduced as a new variation of zero forcing in order to show how vertex leaks can disrupt the zero forcing process in a graph. An edge leak is an edge that is not allowed to be forced across during the zero forcing process. The $\ell$-edge-leaky forcing number of a graph is the size of a smallest zero forcing set that can force the graph blue despite $\ell$ edge leaks. This paper contains an analysis of the effect of edge leaks on the zero forcing process instead of vertex leaks. Furthermore, specified $\ell$-leaky forcing is introduced. The main result is that $\ell$-leaky forcing, $\ell$-edge-leaky forcing, and specified $\ell$-leaky forcing are equivalent. Furthermore, all of these different kinds of leaks can be mixed so that vertex leaks, edge leaks, and specified leaks are used. This mixed $\ell$-leaky forcing number is also the same as the (vertex) $\ell$-leaky forcing number.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
On leaky forcing and resilience
Authors:
Joseph S. Alameda,
Jürgen Kritschgau,
Nathan Warnberg,
Michael Young
Abstract:
A leak is a vertex that is not allowed to perform a force during the zero forcing process.
Leaky forcing was recently introduced as a new variation of zero forcing in order to analyze how leaks in a network disrupt the zero forcing process. The $\ell$-leaky forcing number of a graph is the size of the smallest zero forcing set that can force a graph despite $\ell$ leaks. A graph $G$ is $\ell$-re…
▽ More
A leak is a vertex that is not allowed to perform a force during the zero forcing process.
Leaky forcing was recently introduced as a new variation of zero forcing in order to analyze how leaks in a network disrupt the zero forcing process. The $\ell$-leaky forcing number of a graph is the size of the smallest zero forcing set that can force a graph despite $\ell$ leaks. A graph $G$ is $\ell$-resilient if its zero forcing number is the same as its $\ell$-leaky forcing number. In this paper, we analyze $\ell$-leaky forcing and show that if an $(\ell-1)$-leaky forcing set $B$ is robust enough, then $B$ is an $\ell$-leaky forcing set. This provides the framework for characterizing $\ell$-leaky forcing sets. Furthermore, we consider structural implications of $\ell$-resilient graphs. We apply these results to bound the $\ell$-leaky forcing number of several graph families including trees, supertriangles, and grid graphs. In particular, we resolve a question posed by Dillman and Kenter concerning the upper bound on the $1$-leaky forcing number of grid graphs.
△ Less
Submitted 14 August, 2020;
originally announced August 2020.
-
The kernel of newform Dedekind sums
Authors:
Evuilynn Nguyen,
Juan J. Ramirez,
Matthew P. Young
Abstract:
Newform Dedekind sums are a class of crossed homomorphisms that arise from newform Eisenstein series. We initiate a study of the kernel of these newform Dedekind sums. Our results can be loosely described as showing that these kernels are neither "too big" nor "too small." We conclude with an observation about the Galois action on Dedekind sums that allows for significant computational efficiency…
▽ More
Newform Dedekind sums are a class of crossed homomorphisms that arise from newform Eisenstein series. We initiate a study of the kernel of these newform Dedekind sums. Our results can be loosely described as showing that these kernels are neither "too big" nor "too small." We conclude with an observation about the Galois action on Dedekind sums that allows for significant computational efficiency in the numerical calculation of Dedekind sums.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
The Polychromatic Number of Small Subsets of the Integers Modulo $n$
Authors:
Emelie Curl,
John Goldwasser,
Joe Sampson,
Michael Young
Abstract:
If $S$ is a subset of an abelian group $G$, the polychromatic number of $S$ in $G$ is the largest integer $k$ so that there is a $k-$coloring of the elements of $G$ such that every translate of $S$ in $G$ gets all $k$ colors. We determine the polychromatic number of all sets of size 2 or 3 in the group of integers mod n.
If $S$ is a subset of an abelian group $G$, the polychromatic number of $S$ in $G$ is the largest integer $k$ so that there is a $k-$coloring of the elements of $G$ such that every translate of $S$ in $G$ gets all $k$ colors. We determine the polychromatic number of all sets of size 2 or 3 in the group of integers mod n.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
An upper bound for the $k$-power domination number in $r$-uniform hypergraphs
Authors:
Joseph S. Alameda,
Franklin Kenter,
Karen Meagher,
Michael Young
Abstract:
Generalizing work on graphs, Chang and Roussel introduced $k$-power domination in hypergraphs and conjectured the upper bound for the $k$-power domination number for $r$-uniform hypergraphs on $n$ vertices was $\frac{n}{r+k}$. This upper bound was shown to be true for simple graphs ($r=2$) and it was further conjectured that only a family of hypergraphs, known as the squid hypergraphs, attained th…
▽ More
Generalizing work on graphs, Chang and Roussel introduced $k$-power domination in hypergraphs and conjectured the upper bound for the $k$-power domination number for $r$-uniform hypergraphs on $n$ vertices was $\frac{n}{r+k}$. This upper bound was shown to be true for simple graphs ($r=2$) and it was further conjectured that only a family of hypergraphs, known as the squid hypergraphs, attained this upper bound. In this paper, the conjecture is proven to hold for hypergraphs with $r=3$ or $4$; but is shown to be false, by a counterexample, for $r\geq 7$. Furthermore, we show that the squid hypergraphs are not the only hypergraphs that attain the original upper bound. Finally, a new upper bound is proven for $r\geq 3$.
△ Less
Submitted 2 June, 2022; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Quantum Unique Ergodicity for Eisenstein Series in the Level Aspect
Authors:
Jiakun Pan,
Matthew P. Young
Abstract:
We prove a variety of quantum unique ergodicity results for Eisenstein series in the level aspect. A new feature of this variant of QUE is that the main term involves the logarithmic derivative of a Dirichlet $L$-function on the $1$-line. A zero of this $L$-function near the $1$-line can thus have a distorting effect on the main term.
We obtain quantitative control on the test function and there…
▽ More
We prove a variety of quantum unique ergodicity results for Eisenstein series in the level aspect. A new feature of this variant of QUE is that the main term involves the logarithmic derivative of a Dirichlet $L$-function on the $1$-line. A zero of this $L$-function near the $1$-line can thus have a distorting effect on the main term.
We obtain quantitative control on the test function and thereby prove an asymptotic formula in the level aspect version of the problem with test functions of shrinking support. Surprisingly, this asymptotic formula shows some obstruction to equidistribution that may retrospectively be interpreted as being caused by the growth of Eisenstein series in the cusps. We also make some coarse descriptions on the unevenness of the mass distribution of level $N$ Eisenstein series on the fibers of the canonical projection map from $Y_0(N)$ to $Y_0(1)$.
△ Less
Submitted 15 January, 2021; v1 submitted 16 October, 2019;
originally announced October 2019.
-
Twisted loop transgression and higher Jandl gerbes over finite groupoids
Authors:
Behrang Noohi,
Matthew B. Young
Abstract:
Given a double cover $π: \mathcal{G} \rightarrow \hat{\mathcal{G}}$ of finite groupoids, we explicitly construct twisted loop transgression maps, $τ_π$ and $τ_π^{ref}$, thereby associating to a Jandl $n$-gerbe $\hatλ$ on $\hat{\mathcal{G}}$ a Jandl $(n-1)$-gerbe $τ_π(\hatλ)$ on the quotient loop groupoid of $\mathcal{G}$ and an ordinary $(n-1)$-gerbe $τ^{ref}_π(\hatλ)$ on the unoriented quotient l…
▽ More
Given a double cover $π: \mathcal{G} \rightarrow \hat{\mathcal{G}}$ of finite groupoids, we explicitly construct twisted loop transgression maps, $τ_π$ and $τ_π^{ref}$, thereby associating to a Jandl $n$-gerbe $\hatλ$ on $\hat{\mathcal{G}}$ a Jandl $(n-1)$-gerbe $τ_π(\hatλ)$ on the quotient loop groupoid of $\mathcal{G}$ and an ordinary $(n-1)$-gerbe $τ^{ref}_π(\hatλ)$ on the unoriented quotient loop groupoid of $\mathcal{G}$. For $n =1,2$, we interpret the character theory (resp. centre) of the category of Real $\hatλ$-twisted $n$-vector bundles over $\hat{\mathcal{G}}$ in terms of flat sections of the $(n-1)$-vector bundle associated to $τ_π^{ref}(\hatλ)$ (resp. the Real $(n-1)$-vector bundle associated to $τ_π(\hatλ)$). We relate our results to Real versions of twisted Drinfeld doubles and pointed fusion categories and to discrete torsion in orientifold string and M-theory.
△ Less
Submitted 3 October, 2019;
originally announced October 2019.
-
Shadowing the rotating annulus. Part II: Gradient descent in the perfect model scenario
Authors:
Roland M. B. Young,
Roman Binter,
Falk Niehörster,
Peter L. Read,
Leonard A. Smith
Abstract:
Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermal…
▽ More
Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermally-driven rotating annulus, a laboratory experiment intermediate in model complexity and physical idealisation between analytical systems and global, comprehensive atmospheric models. We work in the perfect model scenario using the MORALS model to generate a sequence of noisy observations in a chaotic flow regime. We demonstrate that the gradient descent technique recovers a pseudo-orbit of model states significantly closer to a model trajectory than the initial sequence. Gradient-free descent is used, where the adjoint model is set to $λ$I in the absence of a full adjoint model. The indeterminism of the pseudo-orbit falls by two orders of magnitude during the descent, but we find that the distance between the pseudo-orbit and the initial, true, model trajectory reaches a minimum and then diverges from truth. We attribute this to the use of the $λ$-adjoint, which is well suited to noise reduction but not to finely-tuned convergence towards a model trajectory. We find that $λ=0.25$ gives optimal results, and that candidate model trajectories begun from this pseudo-orbit shadow the observations for up to 80 s, about the length of the longest timescale of the system, and similar to expected shadowing times based on the distance between the pseudo-orbit and the truth. There is great potential for using this method with real laboratory data.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Shadowing the rotating annulus. Part I: Measuring candidate trajectory shadowing times
Authors:
Roland M. B. Young,
Roman Binter,
Falk Niehörster
Abstract:
An intuitively necessary requirement of models used to provide forecasts of a system's future is the existence of shadowing trajectories that are consistent with past observations of the system: given a system-model pair, do model trajectories exist that stay reasonably close to a sequence of observations of the system? Techniques for finding such trajectories are well-understood in low-dimensiona…
▽ More
An intuitively necessary requirement of models used to provide forecasts of a system's future is the existence of shadowing trajectories that are consistent with past observations of the system: given a system-model pair, do model trajectories exist that stay reasonably close to a sequence of observations of the system? Techniques for finding such trajectories are well-understood in low-dimensional systems, but there is significant interest in their application to high-dimensional weather and climate models. We build on work by Smith et al. [2010, Phys. Lett. A, 374, 2618-2623] and develop a method for measuring the time that individual "candidate" trajectories of high-dimensional models shadow observations, using a model of the thermally-driven rotating annulus in the perfect model scenario. Models of the annulus are intermediate in complexity between low-dimensional systems and global atmospheric models. We demonstrate our method by measuring shadowing times against artificially-generated observations for candidate trajectories beginning a fixed distance from truth in one of the annulus' chaotic flow regimes. The distribution of candidate shadowing times we calculated using our method corresponds closely to (1) the range of times over which the trajectories visually diverge from the observations and (2) the divergence time using a simple metric based on the distance between model trajectory and observations. An empirical relationship between the expected candidate shadowing times and the initial distance from truth confirms that the method behaves reasonably as parameters are varied.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
The fourth moment of Dirichlet $L$-functions along a coset and the Weyl bound
Authors:
Ian Petrow,
Matthew P. Young
Abstract:
We prove a Lindelöf-on-average upper bound for the fourth moment of Dirichlet $L$-functions of conductor $q$ along a coset of the subgroup of characters modulo $d$ when $q^*|d$, where $q^*$ is the least positive integer such that $q^2|(q^*)^3$. As a consequence, we finish the previous work of the authors and establish a Weyl-strength subconvex bound for all Dirichlet $L$-functions with no restrict…
▽ More
We prove a Lindelöf-on-average upper bound for the fourth moment of Dirichlet $L$-functions of conductor $q$ along a coset of the subgroup of characters modulo $d$ when $q^*|d$, where $q^*$ is the least positive integer such that $q^2|(q^*)^3$. As a consequence, we finish the previous work of the authors and establish a Weyl-strength subconvex bound for all Dirichlet $L$-functions with no restrictions on the conductor.
△ Less
Submitted 5 June, 2022; v1 submitted 27 August, 2019;
originally announced August 2019.
-
Dedekind sums arising from newform Eisenstein series
Authors:
Tristie Stucker,
Amy Vennos,
Matthew P. Young
Abstract:
For primitive non-trivial Dirichlet characters $χ_1$ and $χ_2$, we study the weight zero newform Eisenstein series $E_{χ_1,χ_2}(z,s)$ at $s=1$. The holomorphic part of this function has a transformation rule that we express in finite terms as a generalized Dedekind sum. This gives rise to the explicit construction (in finite terms) of elements of $H^1(Γ_0(N), \mathbb{C})$. We also give a short pro…
▽ More
For primitive non-trivial Dirichlet characters $χ_1$ and $χ_2$, we study the weight zero newform Eisenstein series $E_{χ_1,χ_2}(z,s)$ at $s=1$. The holomorphic part of this function has a transformation rule that we express in finite terms as a generalized Dedekind sum. This gives rise to the explicit construction (in finite terms) of elements of $H^1(Γ_0(N), \mathbb{C})$. We also give a short proof of the reciprocity formula for this Dedekind sum.
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
Burnside rings for Real $2$-representation theory: The linear theory
Authors:
Dmitriy Rumynin,
Matthew B Young
Abstract:
This paper is a fundamental study of the Real $2$-representation theory of $2$-groups. It also contains many new results in the ordinary (non-Real) case. Our framework relies on a $2$-equivariant Morita bicategory, where a novel construction of induction is introduced. We identify the Grothendieck ring of Real $2$-representations as a Real variant of the Burnside ring of the fundamental group of t…
▽ More
This paper is a fundamental study of the Real $2$-representation theory of $2$-groups. It also contains many new results in the ordinary (non-Real) case. Our framework relies on a $2$-equivariant Morita bicategory, where a novel construction of induction is introduced. We identify the Grothendieck ring of Real $2$-representations as a Real variant of the Burnside ring of the fundamental group of the $2$-group and study the Real categorical character theory. This paper unifies two previous lines of inquiry, the approach to $2$-representation theory via Morita theory and Burnside rings, initiated by the first author and Wendland, and the Real $2$-representation theory of $2$-groups, as studied by the second author.
△ Less
Submitted 18 January, 2020; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Rainbow Numbers of $\mathbb{Z}_n$ for $a_1x_1+a_2x_2+a_3x_3 =b$
Authors:
Katie Ansaldi,
Houssein El Turkey,
Jessica Hamm,
Anisah Nu'Man,
Nathan Warnberg,
Michael Young
Abstract:
An exact $r$-coloring of a set $S$ is a surjective function $c:S\to [r]$. The rainbow number of a set $S$ for equation $eq$ is the smallest integer $r$ such that every exact $r$-coloring of $S$ contains a rainbow solution to $eq$. In this paper, the rainbow number of $\Z_p$, for $p$ prime and the equation $a_1x_1 + a_2x_2 + a_3x_3 = b$ is determined. The rainbow number of $\Z_{n}$, for a natural n…
▽ More
An exact $r$-coloring of a set $S$ is a surjective function $c:S\to [r]$. The rainbow number of a set $S$ for equation $eq$ is the smallest integer $r$ such that every exact $r$-coloring of $S$ contains a rainbow solution to $eq$. In this paper, the rainbow number of $\Z_p$, for $p$ prime and the equation $a_1x_1 + a_2x_2 + a_3x_3 = b$ is determined. The rainbow number of $\Z_{n}$, for a natural number $n$, is determined under certain conditions.
△ Less
Submitted 24 November, 2019; v1 submitted 15 May, 2019;
originally announced May 2019.
-
Refined scattering diagrams and theta functions from asymptotic analysis of Maurer-Cartan equations
Authors:
Naichung Conan Leung,
Ziming Nikolas Ma,
Matthew B. Young
Abstract:
We further develop the asymptotic analytic approach to the study of scattering diagrams. We do so by analyzing the asymptotic behavior of Maurer-Cartan elements of a differential graded Lie algebra constructed from a (not-necessarily tropical) monoid-graded Lie algebra. In this framework, we give alternative differential geometric proofs of the consistent completion of scattering diagrams, origina…
▽ More
We further develop the asymptotic analytic approach to the study of scattering diagrams. We do so by analyzing the asymptotic behavior of Maurer-Cartan elements of a differential graded Lie algebra constructed from a (not-necessarily tropical) monoid-graded Lie algebra. In this framework, we give alternative differential geometric proofs of the consistent completion of scattering diagrams, originally proved by Kontsevich-Soibelman, Gross-Siebert and Bridgeland. We also give a geometric interpretation of theta functions and their wall-crossing. In the tropical setting, we interpret Maurer-Cartan elements, and therefore consistent scattering diagrams, in terms of the refined counting of tropical disks. We also describe theta functions, in both their tropical and Hall algebraic settings, in terms of flat sections of the Maurer-Cartan-deformed differential. In particular, this allows us to give a combinatorial description of Hall algebra theta functions for acyclic quivers with non-degenerate skew-symmetrized Euler forms.
△ Less
Submitted 27 March, 2019; v1 submitted 15 February, 2019;
originally announced February 2019.
-
The Weyl bound for Dirichlet $L$-functions of cube-free conductor
Authors:
Ian Petrow,
Matthew P. Young
Abstract:
We prove a Weyl-exponent subconvex bound for any Dirichlet $L$-function of cube-free conductor. We also show a bound of the same strength for certain $L$-functions of self-dual $\mathrm{GL}_2$ automorphic forms that arise as twists of forms of smaller conductor.
We prove a Weyl-exponent subconvex bound for any Dirichlet $L$-function of cube-free conductor. We also show a bound of the same strength for certain $L$-functions of self-dual $\mathrm{GL}_2$ automorphic forms that arise as twists of forms of smaller conductor.
△ Less
Submitted 15 June, 2020; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Degenerate versions of Green's theorem for Hall modules
Authors:
Matthew B. Young
Abstract:
Green's theorem states that the Hall algebra of the category of representations of a quiver over a finite field is a twisted bialgebra. Considering instead categories of orthogonal or symplectic quiver representations leads to a class of modules over the Hall algebra, called Hall modules, which are also comodules. A module theoretic analogue of Green's theorem, describing the compatibility of the…
▽ More
Green's theorem states that the Hall algebra of the category of representations of a quiver over a finite field is a twisted bialgebra. Considering instead categories of orthogonal or symplectic quiver representations leads to a class of modules over the Hall algebra, called Hall modules, which are also comodules. A module theoretic analogue of Green's theorem, describing the compatibility of the module and comodule structures, is not known. In this paper we prove module theoretic analogues of Green's theorem in the degenerate settings of finitary Hall modules of $\mathsf{Rep}_{\mathbb{F}_1}(Q)$ and constructible Hall modules of $\mathsf{Rep}_{\mathbb{C}}(Q)$. The result is that the module and comodule structures satisfy a compatibility condition reminiscent of that of a Yetter-Drinfeld module.
△ Less
Submitted 15 November, 2018; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Orientation twisted homotopy field theories and twisted unoriented Dijkgraaf-Witten theory
Authors:
Matthew B. Young
Abstract:
Given a finite $\mathbb{Z}_2$-graded group $\hat{\mathsf{G}}$ with ungraded subgroup $\mathsf{G}$ and a twisted cocycle $\hatλ \in Z^n(B \hat{\mathsf{G}}; \mathsf{U}(1)_π)$ which restricts to $λ\in Z^n(B \mathsf{G}; \mathsf{U}(1))$, we construct a lift of $λ$-twisted $\mathsf{G}$-Dijkgraaf--Witten theory to an unoriented topological quantum field theory. Our construction uses a new class of homoto…
▽ More
Given a finite $\mathbb{Z}_2$-graded group $\hat{\mathsf{G}}$ with ungraded subgroup $\mathsf{G}$ and a twisted cocycle $\hatλ \in Z^n(B \hat{\mathsf{G}}; \mathsf{U}(1)_π)$ which restricts to $λ\in Z^n(B \mathsf{G}; \mathsf{U}(1))$, we construct a lift of $λ$-twisted $\mathsf{G}$-Dijkgraaf--Witten theory to an unoriented topological quantum field theory. Our construction uses a new class of homotopy field theories, which we call orientation twisted. We also introduce an orientation twisted variant of the orbifold procedure, which produces an unoriented topological field theory from an orientation twisted $\mathsf{G}$-equivariant topological field theory.
△ Less
Submitted 3 November, 2018; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Rainbow numbers for $x_1+x_2=kx_3$ in $\mathbb{Z}_n$
Authors:
Erin Bevilacqua,
Samuel King,
Jürgen Kritschgau,
Michael Tait,
Suzannah Tebon,
Michael Young
Abstract:
In this work, we investigate the fewest number of colors needed to guarantee a rainbow solution to the equation $x_1 + x_2 = k x_3$ in $\mathbb{Z}_n$. This value is called the Rainbow number and is denoted by $rb(\mathbb{Z}_n, k)$ for positive integer values of $n$ and $k$. We find that $rb(\mathbb{Z}_p, 1) = 4$ for all primes greater than $3$ and that $rb(\mathbb{Z}_n, 1)$ can be deterimined from…
▽ More
In this work, we investigate the fewest number of colors needed to guarantee a rainbow solution to the equation $x_1 + x_2 = k x_3$ in $\mathbb{Z}_n$. This value is called the Rainbow number and is denoted by $rb(\mathbb{Z}_n, k)$ for positive integer values of $n$ and $k$. We find that $rb(\mathbb{Z}_p, 1) = 4$ for all primes greater than $3$ and that $rb(\mathbb{Z}_n, 1)$ can be deterimined from the prime factorization of $n$. Furthermore, when $k$ is prime, $rb(\mathbb{Z}_n, k)$ can be determined from the prime factorization of $n$.
△ Less
Submitted 12 September, 2018;
originally announced September 2018.
-
On algebraic integers of bounded house and preperiodicity in polynomial semigroup dynamics
Authors:
Alina Ostafe,
Marley Young
Abstract:
We consider semigroup dynamical systems defined by several polynomials over a number field $\mathbb{K}$, and the orbit (tree) they generate at a given point. We obtain finiteness results for the set of preperiodic points of such systems that fall in the cyclotomic closure of $\mathbb{K}$. More generally, we consider the finiteness of initial points in the cyclotomic closure for which the orbit con…
▽ More
We consider semigroup dynamical systems defined by several polynomials over a number field $\mathbb{K}$, and the orbit (tree) they generate at a given point. We obtain finiteness results for the set of preperiodic points of such systems that fall in the cyclotomic closure of $\mathbb{K}$. More generally, we consider the finiteness of initial points in the cyclotomic closure for which the orbit contains an algebraic integer of bounded house. This work extends previous results for classical obits generated by one polynomial over $\mathbb{K}$ obtained initially by Dvornicich and Zannier (for preperiodic points), and then by Chen and Ostafe (for roots of unity and elements of bounded house in orbits).
△ Less
Submitted 13 August, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Real representation theory of finite categorical groups
Authors:
Matthew B. Young
Abstract:
We introduce and develop a categorification of the theory of Real representations of finite groups. In particular, we generalize the categorical character theory of Ganter--Kapranov and Bartlett to the Real setting. Given a Real representation of a group $\mathsf{G}$, or more generally a finite categorical group, on a linear category, we associate a number, the modified secondary trace, to each gr…
▽ More
We introduce and develop a categorification of the theory of Real representations of finite groups. In particular, we generalize the categorical character theory of Ganter--Kapranov and Bartlett to the Real setting. Given a Real representation of a group $\mathsf{G}$, or more generally a finite categorical group, on a linear category, we associate a number, the modified secondary trace, to each graded commuting pair $(g, ω) \in \mathsf{G} \times \hat{\mathsf{G}}$, where $\hat{\mathsf{G}}$ is the background Real structure on $\mathsf{G}$. This collection of numbers defines the Real $2$-character of the Real representation. We also define various forms of induction for Real representations of finite categorical groups and compute the result at the level of Real $2$-characters. We interpret results in Real categorical character theory in terms of geometric structures, namely gerbes, vector bundles and functions on iterated unoriented loop groupoids. This perspective naturally leads to connections with the representation theory of unoriented versions of the twisted Drinfeld double of $\mathsf{G}$ and with discrete torsion in $M$-theory with orientifold. We speculate on an interpretation of our results as a generalized Hopkins--Kuhn--Ravenel-type character theory in Real equivariant homotopy theory.
△ Less
Submitted 9 September, 2018; v1 submitted 24 April, 2018;
originally announced April 2018.
-
Lower Bounds for the Exponential Domination Number of $C_m \times C_n$
Authors:
Chassidy Bozeman,
Joshua Carlson,
Michael Dairyko,
Derek Young,
Michael Young
Abstract:
A vertex $v$ in a porous exponential dominating set assigns weight $\left(\tfrac{1}{2}\right)^{dist(v,u)}$ to vertex $u$. A porous exponential dominating set of a graph $G$ is a subset of $V(G)$ such that every vertex in $V(G)$ has been assigned a sum weight of at least 1. In this paper the porous exponential dominating number, denoted by $γ_e^*(G)$, for the graph $G = C_m \times C_n$ is discussed…
▽ More
A vertex $v$ in a porous exponential dominating set assigns weight $\left(\tfrac{1}{2}\right)^{dist(v,u)}$ to vertex $u$. A porous exponential dominating set of a graph $G$ is a subset of $V(G)$ such that every vertex in $V(G)$ has been assigned a sum weight of at least 1. In this paper the porous exponential dominating number, denoted by $γ_e^*(G)$, for the graph $G = C_m \times C_n$ is discussed. Anderson et. al. proved that $\frac{mn}{15.875}\le γ_e^*(C_m \times C_n) \le \frac{mn}{13}$ and conjectured that $\frac{mn}{13}$ is also the asymptotic lower bound. We use a linear programing approach to sharpen the lower bound to $\frac{mn}{13.7619 + ε(m,n)}$.
△ Less
Submitted 5 March, 2018;
originally announced March 2018.
-
Anti-van der Waerden numbers on Graphs
Authors:
Zhanar Berikkyzy,
Alex Schulte,
Elizabeth Sprangel,
Shanise Walker,
Nathan Warnberg,
Michael Young
Abstract:
In this paper arithmetic progressions on the integers and the integers modulo n are extended to graphs. This allows for the definition of the anti-van der Waerden number of a graph. Much of the focus of this paper is on 3-term arithmetic progressions for which general bounds are obtained based on the radius and diameter of a graph. The general bounds are improved for trees and Cartesian products a…
▽ More
In this paper arithmetic progressions on the integers and the integers modulo n are extended to graphs. This allows for the definition of the anti-van der Waerden number of a graph. Much of the focus of this paper is on 3-term arithmetic progressions for which general bounds are obtained based on the radius and diameter of a graph. The general bounds are improved for trees and Cartesian products and exact values are determined for some classes of graphs. Larger k-term arithmetic progressions are considered and a connection between the Ramsey number of paths and the anti-van der Waerden number of graphs is established.
△ Less
Submitted 21 June, 2019; v1 submitted 5 February, 2018;
originally announced February 2018.
-
A linear programming method for exponential domination
Authors:
Michael Dairyko,
Michael Young
Abstract:
For a graph $G,$ the set $D \subseteq V(G)$ is a porous exponential dominating set if $1 \le \sum_{d \in D} \left( 2 \right)^{1-dist(d,v)}$ for every $v \in V(G),$ where $dist(d,v)$ denotes the length of the shortest $dv$ path. The porous exponential dominating number of $G,$ denoted $γ_e^*(G),$ is the minimum cardinality of a porous exponential dominating set. For any graph $G,$ a technique is de…
▽ More
For a graph $G,$ the set $D \subseteq V(G)$ is a porous exponential dominating set if $1 \le \sum_{d \in D} \left( 2 \right)^{1-dist(d,v)}$ for every $v \in V(G),$ where $dist(d,v)$ denotes the length of the shortest $dv$ path. The porous exponential dominating number of $G,$ denoted $γ_e^*(G),$ is the minimum cardinality of a porous exponential dominating set. For any graph $G,$ a technique is derived to determine a lower bound for $γ_e^*(G).$ Specifically for a grid graph $H,$ linear programing is used to sharpen bound found through the lower bound technique. Lower and upper bounds are determined for the porous exponential domination number of the King Grid $\mathcal{K_n},$ the Slant Grid $\mathcal{S_n},$ and the $n$-dimensional hypercube $Q_n.$
△ Less
Submitted 1 March, 2018; v1 submitted 19 January, 2018;
originally announced January 2018.
-
Anti-Ramsey Multiplicities
Authors:
Jessica De Silva,
Xiang Si,
Michael Tait,
Yunus Tunçbilek,
Ruifan Yang,
Michael Young
Abstract:
The Ramsey multiplicity constant of a graph $H$ is the minimum proportion of copies of $H$ in the complete graph which are monochromatic under an edge-coloring of $K_n$ as $n$ goes to infinity. Graphs for which this minimum is asymptotically achieved by taking a random coloring are called {\em common}, and common graphs have been studied extensively, leading to the Burr-Rosta conjecture and Sidore…
▽ More
The Ramsey multiplicity constant of a graph $H$ is the minimum proportion of copies of $H$ in the complete graph which are monochromatic under an edge-coloring of $K_n$ as $n$ goes to infinity. Graphs for which this minimum is asymptotically achieved by taking a random coloring are called {\em common}, and common graphs have been studied extensively, leading to the Burr-Rosta conjecture and Sidorenko's conjecture. Erdős and Sós asked what the maximum number of rainbow triangles is in a $3$-coloring of the edge set of $K_n$, a rainbow version of the Ramsey multiplicity question. A graph $H$ is called $r$-anti-common if the maximum proportion of rainbow copies of $H$ in any $r$-coloring of $E(K_n)$ is asymptotically achieved by taking a random coloring. In this paper, we investigate anti-Ramsey multiplicity for several families of graphs. We determine classes of graphs which are either anti-common or not. Some of these classes follow the same behavior as the monochromatic case, but some of them do not. In particular the rainbow equivalent of Sidorenko's conjecture, that all bipartite graphs are anti-common, is false.
△ Less
Submitted 27 March, 2018; v1 submitted 1 January, 2018;
originally announced January 2018.
-
On exponential domination of the consecutive circulant graph
Authors:
Michael Dairyko,
Michael Young
Abstract:
For a graph $G,$ we consider $D \subset V(G)$ to be a porous exponential dominating set if $1\le \sum_{d \in D}$ $\left( \frac{1}{2} \right)^{\text{dist}(d,v) -1}$ for every $v \in V(G),$ where dist$(d,v)$ denotes the length of the smallest $dv$ path. Similarly, $D \subset V(G)$ is a non-porous exponential dominating set is…
▽ More
For a graph $G,$ we consider $D \subset V(G)$ to be a porous exponential dominating set if $1\le \sum_{d \in D}$ $\left( \frac{1}{2} \right)^{\text{dist}(d,v) -1}$ for every $v \in V(G),$ where dist$(d,v)$ denotes the length of the smallest $dv$ path. Similarly, $D \subset V(G)$ is a non-porous exponential dominating set is $1\le \sum_{d \in D} \left( \frac{1}{2} \right)^{\overline{\text{dist}}(d,v) -1}$ for every $v \in V(G),$ where $\overline{\text{dist}}(d,v)$ represents the length of the shortest $dv$ path with no internal vertices in $D.$ The porous and non-porous exponential dominating number of $G,$ denoted $γ_e^*(G)$ and $γ_e(G),$ are the minimum cardinality of a porous and non-porous exponential dominating set, respectively. The consecutive circulant graph, $C_{n, [\ell]},$ is the set of $n$ vertices such that vertex $v$ is adjacent to $v \pm i \mod n$ for each $i \in [\ell].$ In this paper we show $γ_e(C_{n, [\ell]}) = γ_e^*(C_{n, [\ell]}) = \left\lceil \tfrac{n}{3\ell +1} \right\rceil.$
△ Less
Submitted 14 December, 2017;
originally announced December 2017.
-
Equidistribution of Eisenstein series on geodesic segments
Authors:
Matthew P Young
Abstract:
We show an asymptotic formula for the L^2 norm of the Eisenstein series restricted to a segment of a geodesic connecting infinity and an arbitrary real. For generic geodesics of this form, the asymptotic formula shows that the Eisenstein series satisfies restricted QUE. On the other hand, for rational geodesics, the Eisenstein series does not satisfy restricted quantum ergodicity.
As an applicat…
▽ More
We show an asymptotic formula for the L^2 norm of the Eisenstein series restricted to a segment of a geodesic connecting infinity and an arbitrary real. For generic geodesics of this form, the asymptotic formula shows that the Eisenstein series satisfies restricted QUE. On the other hand, for rational geodesics, the Eisenstein series does not satisfy restricted quantum ergodicity.
As an application, we show that the zero set of the Eisenstein series intersects every such geodesic segment, provided the spectral parameter is large.
We also make analogous conjectures for the Maass cusp forms. In particular, we predict that cusp forms do not satisfy restricted quantum ergodicity for rational geodesics.
△ Less
Submitted 19 October, 2018; v1 submitted 10 November, 2017;
originally announced November 2017.
-
Explicit calculations with Eisenstein series
Authors:
Matthew P Young
Abstract:
We find explicit change-of-basis formulas between Eisenstein series attached to cusps, and newform Eisenstein series attached to pairs of primitive Dirichlet characters. As a consequence, we prove a Bruggeman-Kuznetsov formula for newforms of square-free level and trivial nebentypus.
We also derive, in explicit form, the Fourier expansion, Hecke eigenvalues, Atkin-Lehner pseudo-eigenvalues, and…
▽ More
We find explicit change-of-basis formulas between Eisenstein series attached to cusps, and newform Eisenstein series attached to pairs of primitive Dirichlet characters. As a consequence, we prove a Bruggeman-Kuznetsov formula for newforms of square-free level and trivial nebentypus.
We also derive, in explicit form, the Fourier expansion, Hecke eigenvalues, Atkin-Lehner pseudo-eigenvalues, and other data associated to these Eisenstein series, with arbitrary integer weight, level, and nebentypus.
△ Less
Submitted 3 November, 2017; v1 submitted 10 October, 2017;
originally announced October 2017.