Showing 1–43 of 43 results for author: Martin, K

Variations on murmurations

Authors: Kimball Martin

Abstract: We explore several variations on the recently discovered phenomena of murmurations for elliptic curves and modular forms. We explore several variations on the recently discovered phenomena of murmurations for elliptic curves and modular forms. △ Less

Submitted 2 May, 2025; originally announced May 2025.

Comments: 14 pages, too many figures

Distribution of local signs of modular forms and murmurations of Fourier coefficients

Authors: Kimball Martin

Abstract: Recently, we showed that global root numbers of modular forms are biased toward +1. Together with Pharis, we also showed an initial bias of Fourier coefficients towards the sign of the root number. First, we prove analogous results with respect to local root numbers. Second, a subtle correlation between Fourier coefficients and global root numbers, termed murmurations, was recently discovered fo… ▽ More Recently, we showed that global root numbers of modular forms are biased toward +1. Together with Pharis, we also showed an initial bias of Fourier coefficients towards the sign of the root number. First, we prove analogous results with respect to local root numbers. Second, a subtle correlation between Fourier coefficients and global root numbers, termed murmurations, was recently discovered for elliptic curves and modular forms. We conjecture murmurations in a more general context of different (possibly empty) combinations of local root numbers. Last, an appendix corrects a sign error in our joint paper with Pharis. △ Less

Submitted 8 May, 2025; v1 submitted 3 September, 2024; originally announced September 2024.

Comments: 31 pages, 12 figures; minor changes; to appear in Mathematika

Generic models for genus 2 curves with real multiplication

Authors: Alex Cowan, Sam Frengley, Kimball Martin

Abstract: Explicit models of families of genus 2 curves with multiplication by $\sqrt D$ are known for $D= 2, 3, 5$. We obtain generic models for genus 2 curves over $\mathbb Q$ with real multiplication in 12 new cases, including all fundamental discriminants $D < 40$. A key step in our proof is to develop an algorithm for minimisation of conic bundles fibred over $\mathbb{P}^2$. We apply this algorithm to… ▽ More Explicit models of families of genus 2 curves with multiplication by $\sqrt D$ are known for $D= 2, 3, 5$. We obtain generic models for genus 2 curves over $\mathbb Q$ with real multiplication in 12 new cases, including all fundamental discriminants $D < 40$. A key step in our proof is to develop an algorithm for minimisation of conic bundles fibred over $\mathbb{P}^2$. We apply this algorithm to simplify the equations for the Mestre conic associated to the generic point on the Hilbert modular surface of fundamental discriminant $D < 100$ computed by Elkies--Kumar. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 26 pages

MSC Class: 11F41; 11G10; 11G30; 14H10; 14K10; 11E04

Design of General Purpose Minimal-Auxiliary Ising Machines

Authors: Isaac K. Martin, Andrew G. Moore, John T. Daly, Jess J. Meyer, Teresa M. Ranadive

Abstract: Ising machines are a form of quantum-inspired processing-in-memory computer which has shown great promise for overcoming the limitations of traditional computing paradigms while operating at a fraction of the energy use. The process of designing Ising machines is known as the reverse Ising problem. Unfortunately, this problem is in general computationally intractable: it is a nonconvex mixed-integ… ▽ More Ising machines are a form of quantum-inspired processing-in-memory computer which has shown great promise for overcoming the limitations of traditional computing paradigms while operating at a fraction of the energy use. The process of designing Ising machines is known as the reverse Ising problem. Unfortunately, this problem is in general computationally intractable: it is a nonconvex mixed-integer linear programming problem which cannot be naively brute-forced except in the simplest cases due to exponential scaling of runtime with number of spins. We prove new theoretical results which allow us to reduce the search space to one with quadratic scaling. We utilize this theory to develop general purpose algorithmic solutions to the reverse Ising problem. In particular, we demonstrate Ising formulations of 3-bit and 4-bit integer multiplication which use fewer total spins than previously known methods by a factor of more than three. Our results increase the practicality of implementing such circuits on modern Ising hardware, where spins are at a premium. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: 14 pages, 3 figures, submitted to IEEE International Conference on Rebooting Computing 2023

MSC Class: 94C11 (Primary); 90C05 68Q12 (Secondary) ACM Class: G.1.6; G.3

The Existence and Structure of Universal Partial Cycles

Authors: Dylan Fillmore, Bennet Goeckner, Rachel Kirsch, Kirin Martin, Daniel McGinnis

Abstract: A universal partial cycle (or upcycle) for $\mathcal{A}^n$ is a cyclic sequence that covers each word of length $n$ over the alphabet $\mathcal{A}$ exactly once -- like a De Bruijn cycle, except that we also allow a wildcard symbol $\mathord{\diamond}$ that can represent any letter of $\mathcal{A}$. Chen et al. in 2017 and Goeckner et al. in 2018 showed that the existence and structure of upcycles… ▽ More A universal partial cycle (or upcycle) for $\mathcal{A}^n$ is a cyclic sequence that covers each word of length $n$ over the alphabet $\mathcal{A}$ exactly once -- like a De Bruijn cycle, except that we also allow a wildcard symbol $\mathord{\diamond}$ that can represent any letter of $\mathcal{A}$. Chen et al. in 2017 and Goeckner et al. in 2018 showed that the existence and structure of upcycles are highly constrained, unlike those of De Bruijn cycles, which exist for every alphabet size and word length. Moreover, it was not known whether any upcycles existed for $n \ge 5$. We present several examples of upcycles over both binary and non-binary alphabets for $n = 8$. We generalize two graph-theoretic representations of De Bruijn cycles to upcycles. We then introduce novel approaches to constructing new upcycles from old ones. Notably, given any upcycle for an alphabet of size $a$, we show how to construct an upcycle for an alphabet of size $ak$ for any $k \in \mathbb{N}$, so each example generates an infinite family of upcycles. We also define folds and lifts of upcycles, which relate upcycles with differing densities of $\mathord{\diamond}$ characters. In particular, we show that every upcycle lifts to a De Bruijn cycle. Our constructions rely on a different generalization of De Bruijn cycles known as perfect necklaces, and we introduce several new examples of perfect necklaces. We extend the definitions of certain pseudorandomness properties to partial words and determine which are satisfied by all upcycles, then draw a conclusion about linear feedback shift registers. Finally, we prove new nonexistence results based on the word length $n$, alphabet size, and $\mathord{\diamond}$ density. △ Less

Submitted 14 April, 2025; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: 29 pages, 6 figures

MSC Class: 05A05; 68R15; 05C45; 05B30; 94A55

Local conductor bounds for modular abelian varieties

Authors: Kimball Martin

Abstract: Brumer and Kramer gave bounds on local conductor exponents for an abelian variety $A/\mathbb Q$ in terms of the dimension of $A$ and the localization prime $p$. Here we give improved bounds in the case that $A$ has maximal real multiplication, i.e., $A$ is isogenous to a factor of the Jacobian of a modular curve $X_0(N)$. In many cases, these bounds are sharp. The proof relies on showing that the… ▽ More Brumer and Kramer gave bounds on local conductor exponents for an abelian variety $A/\mathbb Q$ in terms of the dimension of $A$ and the localization prime $p$. Here we give improved bounds in the case that $A$ has maximal real multiplication, i.e., $A$ is isogenous to a factor of the Jacobian of a modular curve $X_0(N)$. In many cases, these bounds are sharp. The proof relies on showing that the rationality field of a newform for $Γ_0(N)$, and thus the endomorphism algebra of $A$, contains $\mathbb Q(ζ_{p^r})^+$ when $p$ divides $N$ to a sufficiently high power. We also deduce that certain divisibility conditions on $N$ determine the endomorphism algebra when $A$ is simple. △ Less

Submitted 6 November, 2023; v1 submitted 25 February, 2023; originally announced February 2023.

Comments: 10 pages; new title; to appear in Acta Arithmetica

Journal ref: Acta Arith. 212 (2024), no. 4, 325-336

Counting modular forms by rationality field

Authors: Alex Cowan, Kimball Martin

Abstract: We investigate the distribution of degrees and rationality fields of weight 2 newforms. In particular, we give heuristic upper bounds on how often degree $d$ rationality fields occur for squarefree levels, and predict finiteness if $d \ge 7$. When $d=2$, we make predictions about how frequently specific quadratic fields occur, prove lower bounds, and conjecture that $\mathbb{Q}(\sqrt 5)$ is the mo… ▽ More We investigate the distribution of degrees and rationality fields of weight 2 newforms. In particular, we give heuristic upper bounds on how often degree $d$ rationality fields occur for squarefree levels, and predict finiteness if $d \ge 7$. When $d=2$, we make predictions about how frequently specific quadratic fields occur, prove lower bounds, and conjecture that $\mathbb{Q}(\sqrt 5)$ is the most common quadratic rationality field. △ Less

Submitted 15 January, 2024; v1 submitted 24 January, 2023; originally announced January 2023.

MSC Class: 11F11; 11F30; 11G18; 11Y35

Root number bias for newforms

Authors: Kimball Martin

Abstract: Previously we observed that newforms obey a strict bias towards root number $+1$ in squarefree levels: at least half of the newforms in $S_k(Γ_0(N))$ with root number $+1$ for $N$ squarefree, and it is strictly more than half outside of a few special cases. Subsequently, other authors treated levels which are cubes of squarefree numbers. Here we treat arbitrary levels, and find that if the level i… ▽ More Previously we observed that newforms obey a strict bias towards root number $+1$ in squarefree levels: at least half of the newforms in $S_k(Γ_0(N))$ with root number $+1$ for $N$ squarefree, and it is strictly more than half outside of a few special cases. Subsequently, other authors treated levels which are cubes of squarefree numbers. Here we treat arbitrary levels, and find that if the level is not the square of a squarefree number, this strict bias still holds for any weight. In fact the number of such exceptional levels is finite for fixed weight, and 0 if $k < 12$. We also investigate some variants of this question to better understand the exceptional levels. △ Less

Submitted 14 March, 2023; v1 submitted 17 July, 2022; originally announced July 2022.

Comments: 15 pages; minor revisions; to appear in Proc. Amer. Math. Soc

Journal ref: Proc. Amer. Math. Soc. 151 (2023), no. 9, 3721-3736

Moduli for rational genus 2 curves with real multiplication for discriminant 5

Authors: Alex Cowan, Kimball Martin

Abstract: Principally polarized abelian surfaces with prescribed real multiplication (RM) are parametrized by certain Hilbert modular surfaces. Thus rational genus 2 curves correspond to rational points on the Hilbert modular surfaces via their Jacobians, but the converse is not true. We give a simple generic description of which rational moduli points correspond to rational curves, as well as give associat… ▽ More Principally polarized abelian surfaces with prescribed real multiplication (RM) are parametrized by certain Hilbert modular surfaces. Thus rational genus 2 curves correspond to rational points on the Hilbert modular surfaces via their Jacobians, but the converse is not true. We give a simple generic description of which rational moduli points correspond to rational curves, as well as give associated Weierstrass models, in the case of RM by the ring of integers of $\mathbb{Q}(\sqrt{5})$. To prove this, we provide some techniques for reducing quadratic forms over polynomial rings. △ Less

Submitted 12 June, 2022; originally announced June 2022.

MSC Class: 11F41; 11G10; 11G30; 14H10; 14K10; 11E12

Journal ref: J. Théor. Nombres Bordeaux 36 (2024), no. 2, 493-525

Rank bias for elliptic curves mod $p$

Authors: Kimball Martin, Thomas Pharis

Abstract: We conjecture that, for a fixed prime $p$, rational elliptic curves with higher rank tend to have more points mod $p$. We show that there is an analogous bias for modular forms with respect to root numbers, and conjecture that the order of the rank bias for elliptic curves is greater than that of the root number bias for modular forms. We conjecture that, for a fixed prime $p$, rational elliptic curves with higher rank tend to have more points mod $p$. We show that there is an analogous bias for modular forms with respect to root numbers, and conjecture that the order of the rank bias for elliptic curves is greater than that of the root number bias for modular forms. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 15 pages, 11 figures

Journal ref: Involve 15 (2022) 709-726

Exact double averages of twisted L-values

Authors: Kimball Martin

Abstract: Consider central $L$-values of even weight elliptic or Hilbert modular forms $f$ twisted by ideal class characters $χ$ of an imaginary quadratic extension $K$. Fixing $χ$, and assuming $K$ is inert at each prime dividing the level, one knows simple exact formulas for averages over newforms $f$ of squarefree levels satisfying a parity condition on the number of prime factors. These averages stabili… ▽ More Consider central $L$-values of even weight elliptic or Hilbert modular forms $f$ twisted by ideal class characters $χ$ of an imaginary quadratic extension $K$. Fixing $χ$, and assuming $K$ is inert at each prime dividing the level, one knows simple exact formulas for averages over newforms $f$ of squarefree levels satisfying a parity condition on the number of prime factors. These averages stabilize when the level is large with respect to $K$ (the "stable range"). In weight 2, we obtain exact formulas for a simultaneous average over both $f$ and $χ$. We allow for non-squarefree levels with any number of prime factors, and ramification or splitting of $K$ above the level. Under elementary conditions on the level, these double averages are "stable" in all ranges. Two consequences are generalizations of the aforementioned stable (single) averages and effective results on nonvanishing of central $L$-values. △ Less

Submitted 2 August, 2022; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: 33 pages; minor revisions; to appear in Math Z

Journal ref: Math. Z. 302 (2022), no. 3, 1821-1854

Almost Abelian Lie groups, subgroups and quotients

Authors: Marcelo Almora Rios, Zhirayr Avetisyan, Katalin Berlow, Isaac Martin, Gautam Rakholia, Kelley Yang, Hanwen Zhang, Zishuo Zhao

Abstract: An almost Abelian Lie group is a non-Abelian Lie group with a codimension 1 Abelian normal subgroup. The majority of 3-dimensional real Lie groups are almost Abelian, and they appear in all parts of physics that deal with anisotropic media - cosmology, crystallography etc. In theoretical physics and differential geometry, almost Abelian Lie groups and their homogeneous spaces provide some of the s… ▽ More An almost Abelian Lie group is a non-Abelian Lie group with a codimension 1 Abelian normal subgroup. The majority of 3-dimensional real Lie groups are almost Abelian, and they appear in all parts of physics that deal with anisotropic media - cosmology, crystallography etc. In theoretical physics and differential geometry, almost Abelian Lie groups and their homogeneous spaces provide some of the simplest solvmanifolds on which a variety of geometric structures such as symplectic, Kähler, spin etc., are currently studied in explicit terms. Recently, almost Abelian Lie algebras were classified and studied in details. However, a systematic investigation of almost Abelian Lie groups has not been carried out yet, and the present paper is devoted to an explicit description of properties of this wide and diverse class of groups. The subject of investigation are real almost Abelian Lie groups with their Lie group theoretical aspects, such as the exponential map, faithful matrix representations, discrete and connected subgroups, quotients and automorphisms. The emphasis is put on explicit description of all technical details. △ Less

Submitted 9 January, 2023; v1 submitted 9 April, 2020; originally announced April 2020.

MSC Class: 22E15; 22E25; 22E40

Journal ref: Journal of Mathematical Sciences, Series A 266, 2022

Real-Time Monitoring of Area Angles with Synchrophasor Measurements

Authors: Wenyun Ju, Ian Dobson, Kenneth Martin, Kai Sun, Neeraj Nayak, Iknoor Singh, Horacio Silva-Saravia, Anthony Faris, Lin Zhang, Yajun Wang

Abstract: This paper develops a comprehensive framework of Area Angle Monitoring (AAM) to monitor the stress of bulk power transfer across an area of a power transmission system in real-time. Area angle is calculated from synchrophasor measurements to provide alert to system operators if the area angle exceeds pre-defined thresholds. This paper proposes general methods to identify these warning and emergenc… ▽ More This paper develops a comprehensive framework of Area Angle Monitoring (AAM) to monitor the stress of bulk power transfer across an area of a power transmission system in real-time. Area angle is calculated from synchrophasor measurements to provide alert to system operators if the area angle exceeds pre-defined thresholds. This paper proposes general methods to identify these warning and emergency thresholds, and tests a mitigation strategy to relieve the area stress when the area angle exceeds the threshold. In order to handle the limited coverage of synchrophasor measurements, this paper proposes methods to estimate phase angles for boundary buses without synchrophasor measurements, which extends the application of AAM. AAM is verified for a power transmission area in the Western Electricity Coordinating Council system with both simulated data and synchrophasor measurements recorded from real events. A utility deployment to test the framework for monitoring area angle with live-stream and recorded synchrophasor data is described. △ Less

Submitted 13 March, 2020; originally announced March 2020.

Comments: 8 pages, 17 figures

Zeroes of quaternionic modular forms and central $L$-values

Authors: Kimball Martin, Jordan Wiebe

Abstract: Values of quaternionic modular forms are related to twisted central $L$-values via periods and a theorem of Waldspurger. In particular, certain twisted $L$-values must be non-vanishing for forms with no zeroes. Here we study, theoretically and computationally, zeroes of definite quaternionic modular forms of trivial weight. Local sign conditions force certain forms to have trivial zeroes, but we c… ▽ More Values of quaternionic modular forms are related to twisted central $L$-values via periods and a theorem of Waldspurger. In particular, certain twisted $L$-values must be non-vanishing for forms with no zeroes. Here we study, theoretically and computationally, zeroes of definite quaternionic modular forms of trivial weight. Local sign conditions force certain forms to have trivial zeroes, but we conjecture that almost all forms have no nontrivial zeroes. In particular, almost all forms with appropriate local signs should have no zeroes. We show these conjectures follow from a conjecture on the average number of Galois orbits, and give applications to (non)vanishing of $L$-values. △ Less

Submitted 18 June, 2020; v1 submitted 9 January, 2020; originally announced January 2020.

Comments: 29 pages; minor revisions; to appear in the Journal of Number Theory

Journal ref: J. Number Theory, Vol. 217 (2020), 460-494

An on-average Maeda-type conjecture in the level aspect

Authors: Kimball Martin

Abstract: We present a conjecture on the average number of Galois orbits of newforms when fixing the weight and varying the level. This conjecture implies, for instance, that the central L-values (resp. L-derivatives) are nonzero for 100% of even weight prime level newforms with root number +1 (resp. -1). We present a conjecture on the average number of Galois orbits of newforms when fixing the weight and varying the level. This conjecture implies, for instance, that the central L-values (resp. L-derivatives) are nonzero for 100% of even weight prime level newforms with root number +1 (resp. -1). △ Less

Submitted 14 December, 2019; originally announced December 2019.

Comments: 12 pages

Journal ref: Proc. Amer. Math. Soc., Vol. 149, No. 4 (2021), 1373-1386

Mass formulas and Eisenstein congruences in higher rank

Authors: Kimball Martin, Satoshi Wakatsuki

Abstract: We use mass formulas to construct minimal parabolic Eisenstein congruences for algebraic modular forms on reductive groups compact at infinity, and study when these yield congruences between cusp forms and Eisenstein series on the quasi-split inner form. This extends recent work of the first author on weight 2 Eisenstein congruences for GL(2) to higher rank. Two issues in higher rank are that th… ▽ More We use mass formulas to construct minimal parabolic Eisenstein congruences for algebraic modular forms on reductive groups compact at infinity, and study when these yield congruences between cusp forms and Eisenstein series on the quasi-split inner form. This extends recent work of the first author on weight 2 Eisenstein congruences for GL(2) to higher rank. Two issues in higher rank are that the transfer to the quasi-split form is not always cuspidal and sometimes the congruences come from lower rank (e.g., are "endoscopic"). We show our construction yields Eisenstein congruences with non-endoscopic cuspidal automorphic forms on quasi-split unitary groups by using certain unitary groups over division algebras. On the other hand, when using unitary groups over fields, or other groups of Lie type, these Eisenstein congruences typically appear to be endoscopic. This suggests a new way to see higher weight Eisenstein congruences for GL(2), and leads to various conjectures about GL(2) Eisenstein congruences. In supplementary sections, we also generalize previous weight 2 Eisenstein congruences for Hilbert modular forms, and prove some special congruence mod p results between cusp forms on U(p). △ Less

Submitted 8 July, 2019; originally announced July 2019.

Comments: 53 pages

Journal ref: J. Number Theory 257 (2024), 249-272

Refined Goldbach conjectures with primes in progressions

Authors: Kimball Martin

Abstract: We formulate some refinements of Goldbach's conjectures based on heuristic arguments and numerical data. For instance, any even number greater than 4 is conjectured to be a sum of two primes with one prime being 3 mod 4. In general, for fixed $m$ and $a, b$ coprime to $m$, any positive even $n \equiv a + b \bmod m$ outside of a finite exceptional set is expected to be a sum of two primes $p$ and… ▽ More We formulate some refinements of Goldbach's conjectures based on heuristic arguments and numerical data. For instance, any even number greater than 4 is conjectured to be a sum of two primes with one prime being 3 mod 4. In general, for fixed $m$ and $a, b$ coprime to $m$, any positive even $n \equiv a + b \bmod m$ outside of a finite exceptional set is expected to be a sum of two primes $p$ and $q$ with $p \equiv a \bmod m$, $q \equiv b \bmod m$. We make conjectures about the growth of these exceptional sets. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 10 pages

Journal ref: Exp. Math. 31 (2022), no. 1, 226-232

The basis problem revisited

Authors: Kimball Martin

Abstract: We explicitly describe the Jacquet-Langlands correspondence at the level of modular forms. This gives a simpler and more flexible solution to Eichler's basis problem for general level than earlier work of Hijikata-Pizer-Shemanske for elliptic modular forms, and solves the basis problem for Hilbert modular forms. The approach is representation theoretic rather than the classical approach of Eichler… ▽ More We explicitly describe the Jacquet-Langlands correspondence at the level of modular forms. This gives a simpler and more flexible solution to Eichler's basis problem for general level than earlier work of Hijikata-Pizer-Shemanske for elliptic modular forms, and solves the basis problem for Hilbert modular forms. The approach is representation theoretic rather than the classical approach of Eichler and Hijikata-Pizer-Shemanske, and involves both a local and global theory of quaternionic newforms. △ Less

Submitted 8 June, 2020; v1 submitted 11 April, 2018; originally announced April 2018.

Comments: 37 pages; minor revisions; to appear in Trans. Amer. Math. Soc

Journal ref: Trans. Amer. Math. Soc. 373 (2020), 4523-4559

Rationality of Darmon points over genus fields of non-maximal orders

Authors: Matteo Longo, Kimball Martin, Yan Hu

Abstract: Stark-Heegner points, also known as Darmon points, were introduced by H. Darmon as certain local points on rational elliptic curves, conjecturally defined over abelian extensions of real quadratic fields. The rationality conjecture for these points is only known in the unramified case, namely, when these points are specializations of global points defined over the strict Hilbert class field… ▽ More Stark-Heegner points, also known as Darmon points, were introduced by H. Darmon as certain local points on rational elliptic curves, conjecturally defined over abelian extensions of real quadratic fields. The rationality conjecture for these points is only known in the unramified case, namely, when these points are specializations of global points defined over the strict Hilbert class field $H^+_F$ of the real quadratic field $F$ and twisted by (unramified) quadratic characters of $Gal(H_c^+/F)$. We extend these results to the situation of ramified quadratic characters; more precisely, we show that Darmon points of conductor $c\geq 1$ twisted by quadratic characters of $G_c^+=Gal(H_c^+/F)$, where $H_c^+$ is the strict ring class field of $F$ of conductor $c$, come from rational points on the elliptic curve defined over $H_c^+$. △ Less

Submitted 8 June, 2020; v1 submitted 17 January, 2018; originally announced January 2018.

Comments: 20 pages; final version

Journal ref: Annales mathématiques du Québec, Vol. 44, No. 1 (2020), 173-195

Mixed-integer linear representability, disjunctions, and Chvatal functions --- modeling implications

Authors: Amitabh Basu, Kipp Martin, Christopher Thomas Ryan, Guanyi Wang

Abstract: Jeroslow and Lowe gave an exact geometric characterization of subsets of $\mathbb{R}^n$ that are projections of mixed-integer linear sets, also known as MILP-representable or MILP-R sets. We give an alternate algebraic characterization by showing that a set is MILP-R {\em if and only if} the set can be described as the intersection of finitely many {\em affine Chvatal inequalities} in continuous v… ▽ More Jeroslow and Lowe gave an exact geometric characterization of subsets of $\mathbb{R}^n$ that are projections of mixed-integer linear sets, also known as MILP-representable or MILP-R sets. We give an alternate algebraic characterization by showing that a set is MILP-R {\em if and only if} the set can be described as the intersection of finitely many {\em affine Chvatal inequalities} in continuous variables (termed AC sets). These inequalities are a modification of a concept introduced by Blair and Jeroslow. Unlike the case for linear inequalities, allowing for integer variables in Chvatal inequalities and projection does not enhance modeling power. We show that the MILP-R sets are still precisely those sets that are modeled as affine Chvatal inequalites with integer variables. Furthermore, the projection of a set defined by affine Chvatal inequalites with integer variables is still an MILP-R set. We give a sequential variable elimination scheme that, when applied to a MILP-R set yields the AC set characterization. This is related to the elimination scheme of Williams and Williams-Hooker, who describe projections of integer sets using \emph{disjunctions} of affine Chvatal systems. We show that disjunctions are unnecessary by showing how to find the affine Chvatal inequalities that cannot be discovered by the Williams-Hooker scheme. This allows us to answer a long-standing open question due to Ryan (1991) on designing an elimination scheme to represent finitely-generated integral monoids as a system of Chvatal inequalities \emph{without} disjunctions. Finally, our work can be seen as a generalization of the approach of Blair and Jeroslow, and Schrijver for constructing consistency testers for integer programs to general AC sets. △ Less

Submitted 19 November, 2017; originally announced November 2017.

MSC Class: 90C11

Congruences for modular forms mod 2 and quaternionic $S$-ideal classes

Authors: Kimball Martin

Abstract: We prove many simultaneous congruences mod 2 for elliptic and Hilbert modular forms among forms with different Atkin--Lehner eigenvalues. The proofs involve the notion of quaternionic $S$-ideal classes and the distribution of Atkin--Lehner signs among newforms. We prove many simultaneous congruences mod 2 for elliptic and Hilbert modular forms among forms with different Atkin--Lehner eigenvalues. The proofs involve the notion of quaternionic $S$-ideal classes and the distribution of Atkin--Lehner signs among newforms. △ Less

Submitted 7 June, 2017; v1 submitted 26 January, 2017; originally announced January 2017.

Comments: 19 pages; minor revisions, to appear in Canad. J. Math

Journal ref: Canadian Journal of Mathematics, Vol. 70, No. 5 (2018), 1076-1095

Mixed-integer linear representability, disjunctions, and variable elimination

Authors: Amitabh Basu, Kipp Martin, Christopher Ryan, Guanyi Wang

Abstract: Jeroslow and Lowe gave an exact geometric characterization of subsets of $\mathbb{R}^n$ that are projections of mixed-integer linear sets, a.k.a MILP-representable sets. We give an alternate algebraic characterization by showing that a set is MILP-representable {\em if and only if} the set can be described as the intersection of finitely many {\em affine Chvátal inequalities}. These inequalities a… ▽ More Jeroslow and Lowe gave an exact geometric characterization of subsets of $\mathbb{R}^n$ that are projections of mixed-integer linear sets, a.k.a MILP-representable sets. We give an alternate algebraic characterization by showing that a set is MILP-representable {\em if and only if} the set can be described as the intersection of finitely many {\em affine Chvátal inequalities}. These inequalities are a modification of a concept introduced by Blair and Jeroslow. This gives a sequential variable elimination scheme that, when applied to the MILP representation of a set, explicitly gives the affine Chvátal inequalities characterizing the set. This is related to the elimination scheme of Wiliams and Williams-Hooker, who describe projections of integer sets using \emph{disjunctions} of Chvátal systems. Our scheme extends their work in two ways. First, we show that disjunctions are unnecessary, by showing how to find the affine Chvátal inequalities that cannot be discovered by the Williams-Hooker scheme. Second, disjunctions of Chvátal systems can give sets that are \emph{not} projections of mixed-integer linear sets; so the Williams-Hooker approach does not give an exact characterization of MILP representability. △ Less

Submitted 20 December, 2016; originally announced December 2016.

MSC Class: 90C11

Refined dimensions of cusp forms, and equidistribution and bias of signs

Authors: Kimball Martin

Abstract: We refine known dimension formulas for spaces of cusp forms of squarefree level, determining the dimension of subspaces generated by newforms both with prescribed global root numbers and with prescribed local signs of Atkin-Lehner operators. This yields precise results on the distribution of signs of global functional equations and sign patterns of Atkin-Lehner eigenvalues, refining and generalizi… ▽ More We refine known dimension formulas for spaces of cusp forms of squarefree level, determining the dimension of subspaces generated by newforms both with prescribed global root numbers and with prescribed local signs of Atkin-Lehner operators. This yields precise results on the distribution of signs of global functional equations and sign patterns of Atkin-Lehner eigenvalues, refining and generalizing earlier results of Iwaniec, Luo and Sarnak. In particular, we exhibit a strict bias towards root number +1 and a phenomenon that sign patterns are biased in the weight but perfectly equidistributed in the level. Another consequence is lower bounds on the number of Galois orbits. △ Less

Submitted 17 September, 2016; originally announced September 2016.

Comments: 14 pages

Journal ref: J. Number Theory, Vol 188 (2018), 1-17

Distinguishing finite group characters and refined local-global phenomena

Authors: Kimball Martin, Nahid Walji

Abstract: Serre obtained a sharp bound on how often two irreducible degree $n$ complex characters of a finite group can agree, which tells us how many local factors determine an Artin $L$-function. We consider the more delicate question of finding a sharp bound when these objects are primitive, and answer these questions for $n=2,3$. This provides some insight on refined strong multiplicity one phenomena fo… ▽ More Serre obtained a sharp bound on how often two irreducible degree $n$ complex characters of a finite group can agree, which tells us how many local factors determine an Artin $L$-function. We consider the more delicate question of finding a sharp bound when these objects are primitive, and answer these questions for $n=2,3$. This provides some insight on refined strong multiplicity one phenomena for automorphic representations of GL$(n)$. For general $n$, we also answer the character question for the families PSL$(2,q)$ and SL$(2,q)$. △ Less

Submitted 1 January, 2017; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: 21 pages; proof of Theorem 1.3 corrected and significantly simplified

Journal ref: Acta Arith. 179 (2017) 277-300

The Jacquet-Langlands correspondence, Eisenstein congruences, and integral L-values in weight 2

Authors: Kimball Martin

Abstract: We use the Jacquet-Langlands correspondence to generalize well-known congruence results of Mazur on Fourier coefficients and L-values of elliptic modular forms for prime level in weight 2 both to nonsquare level and to Hilbert modular forms. We use the Jacquet-Langlands correspondence to generalize well-known congruence results of Mazur on Fourier coefficients and L-values of elliptic modular forms for prime level in weight 2 both to nonsquare level and to Hilbert modular forms. △ Less

Submitted 13 March, 2019; v1 submitted 13 January, 2016; originally announced January 2016.

Comments: 16 pages; this is a corrected and annotated version to the published version--the main correction is the addition of hypotheses in Theorem 2.1 in the case of base field with class number > 1; all the results stated in the introduction are unchanged

Journal ref: Math. Res. Lett., Vol. 24, No. 6, 1775-1795 (2017)

Strong local-global phenomena for Galois and automorphic representations

Authors: Kimball Martin

Abstract: Many results are known regarding how much local information is required to determine a global object, such as a modular form, or a Galois or automorphic representation. We survey some things that are known and expected, and then explain recent joint work with Dinakar Ramakrishnan about comparing degree 2 Artin and automorphic representations which a priori may not correspond at certain infinite se… ▽ More Many results are known regarding how much local information is required to determine a global object, such as a modular form, or a Galois or automorphic representation. We survey some things that are known and expected, and then explain recent joint work with Dinakar Ramakrishnan about comparing degree 2 Artin and automorphic representations which a priori may not correspond at certain infinite sets of places. △ Less

Submitted 2 November, 2015; originally announced November 2015.

Comments: These are notes based on a talk I gave at the RIMS workshop, "Modular forms and automorphic representations," in February 2015; 14 pages

Strong duality and sensitivity analysis in semi-infinite linear programming

Authors: Amitabh Basu, Kipp Martin, Christopher Thomas Ryan

Abstract: Finite-dimensional linear programs satisfy strong duality (SD) and have the "dual pricing" (DP) property. The (DP) property ensures that, given a sufficiently small perturbation of the right-hand-side vector, there exists a dual solution that correctly "prices" the perturbation by computing the exact change in the optimal objective function value. These properties may fail in semi-infinite linear… ▽ More Finite-dimensional linear programs satisfy strong duality (SD) and have the "dual pricing" (DP) property. The (DP) property ensures that, given a sufficiently small perturbation of the right-hand-side vector, there exists a dual solution that correctly "prices" the perturbation by computing the exact change in the optimal objective function value. These properties may fail in semi-infinite linear programming where the constraint vector space is infinite dimensional. Unlike the finite-dimensional case, in semi-infinite linear programs the constraint vector space is a modeling choice. We show that, for a sufficiently restricted vector space, both (SD) and (DP) always hold, at the cost of restricting the perturbations to that space. The main goal of the paper is to extend this restricted space to the largest possible constraint space where (SD) and (DP) hold. Once (SD) or (DP) fail for a given constraint space, then these conditions fail for all larger constraint spaces. We give sufficient conditions for when (SD) and (DP) hold in an extended constraint space. Our results require the use of linear functionals that are singular or purely finitely additive and thus not representable as finite support vectors. The key to understanding these linear functionals is the extension of the Fourier-Motzkin elimination procedure to semi-infinite linear programs. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: 30 pages, 1 figure

MSC Class: 90C34; 90C46; 90C31; 90C48

A Combinatorial Model of Interference in Frequency Hopping Schemes

Authors: Mwawi M. Nyirenda, Siaw-Lynn Ng, Keith M. Martin

Abstract: In a frequency hopping (FH) scheme users communicate simultaneously using FH sequences defined on the same set of frequency channels. An FH sequence specifies the frequency channel to be used as communication progresses. Much of the research on the performance of FH schemes is based on either pairwise mutual interference or adversarial interference but not both. In this paper, we evaluate the perf… ▽ More In a frequency hopping (FH) scheme users communicate simultaneously using FH sequences defined on the same set of frequency channels. An FH sequence specifies the frequency channel to be used as communication progresses. Much of the research on the performance of FH schemes is based on either pairwise mutual interference or adversarial interference but not both. In this paper, we evaluate the performance of an FH scheme with respect to both group-wise mutual interference and adversarial interference (jamming), bearing in mind that more than two users may be transmitting simultaneously in the presence of a jammer. We establish a correspondence between a cover-free code and an FH scheme. This gives a lower bound on the transmission capacity. Furthermore, we specify a jammer model and consider what additional properties a cover-free code should have to resist the jammer. We demonstrate that a purely combinatorial approach is inadequate against such a jammer, but that with the use of pseudorandomness, we can have a system that has high throughput as well as security against jamming. △ Less

Submitted 26 July, 2018; v1 submitted 11 August, 2015; originally announced August 2015.

Comments: 18 pages, submitted to journal

MSC Class: 94A05; 94A55; 94B60

A relative trace formula for a compact Riemann surface

Authors: Kimball Martin, Mark McKee, Eric Wambach

Abstract: We study a relative trace formula for a compact Riemann surface with respect to a closed geodesic $C$. This can be expressed as a relation between the period spectrum and the ortholength spectrum of $C$. This provides a new proof of asymptotic results for both the periods of Laplacian eigenforms along $C$ as well estimates on the lengths of geodesic segments which start and end orthogonally on… ▽ More We study a relative trace formula for a compact Riemann surface with respect to a closed geodesic $C$. This can be expressed as a relation between the period spectrum and the ortholength spectrum of $C$. This provides a new proof of asymptotic results for both the periods of Laplacian eigenforms along $C$ as well estimates on the lengths of geodesic segments which start and end orthogonally on $C$. Variant trace formulas also lead to several simultaneous nonvanishing results for different periods. △ Less

Submitted 22 April, 2015; originally announced April 2015.

Comments: 35 pages. This version contains minor corrections to the published version. The only change to the main results is a modification of the constants in the final theorem and corollary

Journal ref: Int. J. Number Theory, Vol. 7, No. 2 (2011), pp. 389-429

A comparison of automorphic and Artin L-series of GL(2)-type agreeing at degree one primes

Authors: Kimball Martin, Dinakar Ramakrishnan

Abstract: Let $F/k$ be a cyclic extension of number fields of prime degree. Let $ρ$ be an irreducible $2$-dimensional representation of Artin type of the absolute Galois group of $F$, and $π$ a cuspidal automorphic representation of GL$_2(\mathbb A_F)$, such that the $L$-functions $L(s,ρ_v)$ and $L(s,π_v)$ agree at all (but finitely many of) the places $v$ of degree one over $k$. We prove in this case that… ▽ More Let $F/k$ be a cyclic extension of number fields of prime degree. Let $ρ$ be an irreducible $2$-dimensional representation of Artin type of the absolute Galois group of $F$, and $π$ a cuspidal automorphic representation of GL$_2(\mathbb A_F)$, such that the $L$-functions $L(s,ρ_v)$ and $L(s,π_v)$ agree at all (but finitely many of) the places $v$ of degree one over $k$. We prove in this case that we have the global identity $L(s,ρ)=L(s,π)$, with $ρ_v \leftrightarrow π_v$ being given by the local Langlands correspondence at all $v$. In particular, $π$ is tempered and $L(s,ρ)$ is entire. △ Less

Submitted 14 February, 2015; originally announced February 2015.

Comments: 12 pages, to appear in Contemp. Math. volume in honor of Jim Cogdell's 60th birthday

MSC Class: 11R39; 11F70; 11F80

Journal ref: Contemp. Math. 664 (2016), 339-350

Distinguishing graphs with zeta functions and generalized spectra

Authors: Christina Durfee, Kimball Martin

Abstract: Conjecturally, almost all graphs are determined by their spectra. This problem has also been studied for variants such as the spectra of the Laplacian and signless Laplacian. Here we consider the problem of determining graphs with Ihara and Bartholdi zeta functions, which are also computable in polynomial time. These zeta functions are geometrically motivated, but can be viewed as certain generali… ▽ More Conjecturally, almost all graphs are determined by their spectra. This problem has also been studied for variants such as the spectra of the Laplacian and signless Laplacian. Here we consider the problem of determining graphs with Ihara and Bartholdi zeta functions, which are also computable in polynomial time. These zeta functions are geometrically motivated, but can be viewed as certain generalizations of characteristic polynomials. After discussing some graph properties determined by zeta functions, we show that large classes of cospectral graphs can be distinguished with zeta functions and enumerate graphs distinguished by zeta functions on $\le 11$ vertices. This leads us to conjecture that almost all graphs which are not determined by their spectrum are determined by zeta functions. Along the way, we make some observations about the usual types of spectra and disprove a conjecture of Setyadi and Storm about Ihara zeta functions determining degree sequences. △ Less

Submitted 1 May, 2015; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: 23 pages, to appear in Linear Algebra and its Applications, minor revisions and strengthened results in Section 3.2

Journal ref: Linear Algebra Appl. 481 (2015) 54-82

Test vectors and central L-values for GL(2)

Authors: Daniel File, Kimball Martin, Ameya Pitale

Abstract: We determine local test vectors for Waldspurger functionals for GL(2), in the case where both the representation of GL(2) and the character of the degree two extension are ramified, with certain restrictions. We use this to obtain an explicit version of Waldspurger's formula relating twisted central L-values of automorphic representations on GL(2) with certain toric period integrals. As a conseque… ▽ More We determine local test vectors for Waldspurger functionals for GL(2), in the case where both the representation of GL(2) and the character of the degree two extension are ramified, with certain restrictions. We use this to obtain an explicit version of Waldspurger's formula relating twisted central L-values of automorphic representations on GL(2) with certain toric period integrals. As a consequence, we generalize an average value formula of Feigon and Whitehouse, and obtain some nonvanishing results. △ Less

Submitted 4 October, 2016; v1 submitted 7 October, 2013; originally announced October 2013.

Comments: 57 pages, to appear in Algebra and Number Theory

Journal ref: Algebra Number Theory 11 (2017), 253-318

Periods and nonvanishing of central L-values for GL(2n)

Authors: Brooke Feigon, Kimball Martin, David Whitehouse

Abstract: Let $π$ be a cuspidal automorphic representation of PGL($2n$) over a number field $F$, and $η$ the quadratic idele class character attached to a quadratic extension $E/F$. Guo and Jacquet conjectured a relation between the nonvanishing of $L(1/2,π)L(1/2, π\otimes η)$ for $π$ of symplectic type and the nonvanishing of certain GL($n,E$) periods. When $n=1$, this specializes to a well-known result of… ▽ More Let $π$ be a cuspidal automorphic representation of PGL($2n$) over a number field $F$, and $η$ the quadratic idele class character attached to a quadratic extension $E/F$. Guo and Jacquet conjectured a relation between the nonvanishing of $L(1/2,π)L(1/2, π\otimes η)$ for $π$ of symplectic type and the nonvanishing of certain GL($n,E$) periods. When $n=1$, this specializes to a well-known result of Waldspurger. We prove this conjecture, and related global results, under some local hypotheses using a simple relative trace formula. We then apply these global results to obtain local results on distinguished supercuspidal representations, which partially establish a conjecture of Prasad and Takloo-Bighash. △ Less

Submitted 18 February, 2017; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: 31 pages; to appear in Israel J. Math

Journal ref: Israel J. Math. 225 (2018), no. 1, 223-266

How often should you clean your room?

Authors: Kimball Martin, Krishnan Shankar

Abstract: We introduce and study a combinatorial optimization problem motivated by the question in the title. In the simple case where you use all objects in your room equally often, we investigate asymptotics of the optimal time to clean up in terms of the number of objects in your room. In particular, we prove a logarithmic upper bound, solve an approximate version of this problem, and conjecture a precis… ▽ More We introduce and study a combinatorial optimization problem motivated by the question in the title. In the simple case where you use all objects in your room equally often, we investigate asymptotics of the optimal time to clean up in terms of the number of objects in your room. In particular, we prove a logarithmic upper bound, solve an approximate version of this problem, and conjecture a precise logarithmic asymptotic. △ Less

Submitted 31 August, 2014; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: 28 pages, minor changes, now in color with 2 graphs

MSC Class: 60C

Journal ref: Disc. Math. Theor. Comp. Sci. 17, No. 1 (2015) 415-444

On the sufficiency of finite support duals in semi-infinite linear programming

Authors: Amitabh Basu, Kipp Martin, Chris Ryan

Abstract: We consider semi-infinite linear programs with countably many constraints indexed by the natural numbers. When the constraint space is the vector space of all real valued sequences, we show the finite support (Haar) dual is equivalent to the algebraic Lagrangian dual of the linear program. This settles a question left open by Anderson and Nash [Linear programming in infinite dimensional spaces : t… ▽ More We consider semi-infinite linear programs with countably many constraints indexed by the natural numbers. When the constraint space is the vector space of all real valued sequences, we show the finite support (Haar) dual is equivalent to the algebraic Lagrangian dual of the linear program. This settles a question left open by Anderson and Nash [Linear programming in infinite dimensional spaces : theory and applications, Wiley 1987]. This result implies that if there is a duality gap between the primal linear program and its finite support dual, then this duality gap cannot be closed by considering the larger space of dual variables that define the algebraic Lagrangian dual. However, if the constraint space corresponds to certain subspaces of all real-valued sequences, there may be a strictly positive duality gap with the finite support dual, but a zero duality gap with the algebraic Lagrangian dual. △ Less

Submitted 29 April, 2014; v1 submitted 13 April, 2013; originally announced April 2013.

MSC Class: 90C34; 90C46; 90C48

Projection: A Unified Approach to Semi-Infinite Linear Programs and Duality in Convex Programming

Authors: Amitabh Basu, Kipp Martin, Chris Ryan

Abstract: Fourier-Motzkin elimination is a projection algorithm for solving finite linear programs. We extend Fourier-Motzkin elimination to semi-infinite linear programs which are linear programs with finitely many variables and infinitely many constraints. Applying projection leads to new characterizations of important properties for primal-dual pairs of semi-infinite programs such as zero duality gap, fe… ▽ More Fourier-Motzkin elimination is a projection algorithm for solving finite linear programs. We extend Fourier-Motzkin elimination to semi-infinite linear programs which are linear programs with finitely many variables and infinitely many constraints. Applying projection leads to new characterizations of important properties for primal-dual pairs of semi-infinite programs such as zero duality gap, feasibility, boundedness, and solvability. Extending the Fourier-Motzkin elimination procedure to semi-infinite linear programs yields a new classification of variables that is used to determine the existence of duality gaps. In particular, the existence of what the authors term dirty variables can lead to duality gaps. Our approach has interesting applications in finite-dimensional convex optimization. For example, sufficient conditions for a zero duality gap, such as existence of a Slater point, are reduced to guaranteeing that there are no dirty variables. This leads to completely new proofs of such sufficient conditions for zero duality. △ Less

Submitted 29 April, 2014; v1 submitted 10 April, 2013; originally announced April 2013.

MSC Class: 90C34; 90C46

Non-unique factorization and principalization in number fields

Authors: Kimball Martin

Abstract: We give a precise description of how the class group of a number field measures the failure of unique factorization in its ring of integers. Specifically, following ideas of Kummer, we determine the structure of all irreducible factorizations of an element in the ring of integers of a number field, and give a combinatorial description for the number of such factorizations. In certain cases, we sho… ▽ More We give a precise description of how the class group of a number field measures the failure of unique factorization in its ring of integers. Specifically, following ideas of Kummer, we determine the structure of all irreducible factorizations of an element in the ring of integers of a number field, and give a combinatorial description for the number of such factorizations. In certain cases, we show how quadratic forms can explicitly provide all such factorizations. △ Less

Submitted 10 February, 2011; originally announced February 2011.

Comments: to appear in Proceedings of the AMS

MSC Class: 11R27; 11R29

Journal ref: Proc. Amer. Math. Soc., Vol 139, No 9 (2011), 3025-3038

Central L-values and periods for GL(2)

Authors: Kimball Martin

Abstract: We give an exposition of central value formulas for twisted L-functions for GL(2) in terms of compact periods, with a focus on explaining an approach via the relative trace formula and joint work of the author with David Whitehouse. We give an exposition of central value formulas for twisted L-functions for GL(2) in terms of compact periods, with a focus on explaining an approach via the relative trace formula and joint work of the author with David Whitehouse. △ Less

Submitted 23 February, 2010; originally announced February 2010.

Comments: Notes from Automorphic Represenations, Automorphic Forms, L-functions and Related Topics, Jan. 21-25, 2008, RIMS, Kyoto, Conference Proceedings

MSC Class: 11F67

Distinct Difference Configurations: Multihop Paths and Key Predistribution in Sensor Networks

Authors: Simon R. Blackburn, Tuvi Etzion, Keith M. Martin, Maura B. Paterson

Abstract: A distinct difference configuration is a set of points in $\mathbb{Z}^2$ with the property that the vectors (\emph{difference vectors}) connecting any two of the points are all distinct. Many specific examples of these configurations have been previously studied: the class of distinct difference configurations includes both Costas arrays and sonar sequences, for example. Motivated by an applic… ▽ More A distinct difference configuration is a set of points in $\mathbb{Z}^2$ with the property that the vectors (\emph{difference vectors}) connecting any two of the points are all distinct. Many specific examples of these configurations have been previously studied: the class of distinct difference configurations includes both Costas arrays and sonar sequences, for example. Motivated by an application of these structures in key predistribution for wireless sensor networks, we define the $k$-hop coverage of a distinct difference configuration to be the number of distinct vectors that can be expressed as the sum of $k$ or fewer difference vectors. This is an important parameter when distinct difference configurations are used in the wireless sensor application, as this parameter describes the density of nodes that can be reached by a short secure path in the network. We provide upper and lower bounds for the $k$-hop coverage of a distinct difference configuration with $m$ points, and exploit a connection with $B_{h}$ sequences to construct configurations with maximal $k$-hop coverage. We also construct distinct difference configurations that enable all small vectors to be expressed as the sum of two of the difference vectors of the configuration, an important task for local secure connectivity in the application. △ Less

Submitted 8 October, 2009; v1 submitted 24 November, 2008; originally announced November 2008.

Comments: 11 pages More application information added; biographies added

MSC Class: 68R05; 94A60; 11B75; 05B30

Two-Dimensional Patterns with Distinct Differences -- Constructions, Bounds, and Maximal Anticodes

Authors: Simon R. Blackburn, Tuvi Etzion, Keith M. Martin, Maura B. Paterson

Abstract: A two-dimensional grid with dots is called a \emph{configuration with distinct differences} if any two lines which connect two dots are distinct either in their length or in their slope. These configurations are known to have many applications such as radar, sonar, physical alignment, and time-position synchronization. Rather than restricting dots to lie in a square or rectangle, as previously s… ▽ More A two-dimensional grid with dots is called a \emph{configuration with distinct differences} if any two lines which connect two dots are distinct either in their length or in their slope. These configurations are known to have many applications such as radar, sonar, physical alignment, and time-position synchronization. Rather than restricting dots to lie in a square or rectangle, as previously studied, we restrict the maximum distance between dots of the configuration; the motivation for this is a new application of such configurations to key distribution in wireless sensor networks. We consider configurations in the hexagonal grid as well as in the traditional square grid, with distances measured both in the Euclidean metric, and in the Manhattan or hexagonal metrics. We note that these configurations are confined inside maximal anticodes in the corresponding grid. We classify maximal anticodes for each diameter in each grid. We present upper bounds on the number of dots in a pattern with distinct differences contained in these maximal anticodes. Our bounds settle (in the negative) a question of Golomb and Taylor on the existence of honeycomb arrays of arbitrarily large size. We present constructions and lower bounds on the number of dots in configurations with distinct differences contained in various two-dimensional shapes (such as anticodes) by considering periodic configurations with distinct differences in the square grid. △ Less

Submitted 8 October, 2009; v1 submitted 24 November, 2008; originally announced November 2008.

Comments: 14 pages Changed definition of honeycomb array; biographies added

MSC Class: 68R05; 94A60; 05B30

The maximum entropy state

Authors: Keye Martin

Abstract: We give an algorithm for calculating the maximum entropy state as the least fixed point of a Scott continuous mapping on the domain of classical states in their Bayesian order. We give an algorithm for calculating the maximum entropy state as the least fixed point of a Scott continuous mapping on the domain of classical states in their Bayesian order. △ Less

Submitted 1 February, 2005; originally announced February 2005.

Comments: 15 pages

MSC Class: 94A17; 34A45

Partiality in physics

Authors: Bob Coecke, Keye Martin

Abstract: We revisit the standard axioms of domain theory with emphasis on their relation to the concept of partiality, explain how this idea arises naturally in probability theory and quantum mechanics, and then search for a mathematical setting capable of providing a satisfactory unification of the two. We revisit the standard axioms of domain theory with emphasis on their relation to the concept of partiality, explain how this idea arises naturally in probability theory and quantum mechanics, and then search for a mathematical setting capable of providing a satisfactory unification of the two. △ Less

Submitted 4 December, 2003; originally announced December 2003.

Comments: Invited talk at "Quantum theory: Reconsideration of the foundations II", Vaxjo, Sweden, June 2003. (19 pages, 2 pictures)

A Symplectic Case of Artin's Conjecture

Authors: Kimball Martin

Abstract: Let K/F be an arbitrary Galois extension of number fields and r be a representation of Gal(K/F) into GSp(4,C). Let E_16 be the elemetary abelian group of order 16 and C_5 the cyclic group of order 5. If the image of r in the projective space PGSp(4,C) is isomorphic to the semidirect product of E_16 by C_5, then we show r satisfies Artin's conjecture by proving r corresponds to an automorphic rep… ▽ More Let K/F be an arbitrary Galois extension of number fields and r be a representation of Gal(K/F) into GSp(4,C). Let E_16 be the elemetary abelian group of order 16 and C_5 the cyclic group of order 5. If the image of r in the projective space PGSp(4,C) is isomorphic to the semidirect product of E_16 by C_5, then we show r satisfies Artin's conjecture by proving r corresponds to an automorphic representation. A specific case is given where r is primitive, so Artin's conjecture does not follow from previous results. △ Less

Submitted 13 June, 2003; v1 submitted 9 January, 2003; originally announced January 2003.

Comments: Revised 13 June 2003: Corrected typographical errors, included the construction of an example in the introduction, and added a brief section at the end discussing the transfer to GSp(4)

MSC Class: 11R42; 11R39

Journal ref: Math. Res. Let., Vol 10, No 4 (2003), 483-492