Showing 1–20 of 20 results for author: Kominers, S D

Prisoners, Rooms, and Lightswitches

Authors: Daniel M. Kane, Scott Duke Kominers

Abstract: We examine a new variant of the classic prisoners and lightswitches puzzle: A warden leads his $n$ prisoners in and out of $r$ rooms, one at a time, in some order, with each prisoner eventually visiting every room an arbitrarily large number of times. The rooms are indistinguishable, except that each one has $s$ lightswitches; the prisoners win their freedom if at some point a prisoner can correct… ▽ More We examine a new variant of the classic prisoners and lightswitches puzzle: A warden leads his $n$ prisoners in and out of $r$ rooms, one at a time, in some order, with each prisoner eventually visiting every room an arbitrarily large number of times. The rooms are indistinguishable, except that each one has $s$ lightswitches; the prisoners win their freedom if at some point a prisoner can correctly declare that each prisoner has been in every room at least once. What is the minimum number of switches per room, $s$, such that the prisoners can manage this? We show that if the prisoners do not know the switches' starting configuration, then they have no chance of escape -- but if the prisoners do know the starting configuration, then the minimum sufficient $s$ is surprisingly small. The analysis gives rise to a number of puzzling open questions, as well. △ Less

Submitted 17 September, 2020; originally announced September 2020.

MSC Class: 91A12; 91A28; 00A08

Configurations of Extremal Type II Codes

Authors: Noam D. Elkies, Scott Duke Kominers

Abstract: We prove configuration results for extremal Type II codes, analogous to the configuration results of Ozeki and of the second author for extremal Type II lattices. Specifically, we show that for $n \in \{8, 24, 32, 48, 56, 72, 96\}$ every extremal Type II code of length $n$ is generated by its codewords of minimal weight. Where Ozeki and Kominers used spherical harmonics and weighted theta function… ▽ More We prove configuration results for extremal Type II codes, analogous to the configuration results of Ozeki and of the second author for extremal Type II lattices. Specifically, we show that for $n \in \{8, 24, 32, 48, 56, 72, 96\}$ every extremal Type II code of length $n$ is generated by its codewords of minimal weight. Where Ozeki and Kominers used spherical harmonics and weighted theta functions, we use discrete harmonic polynomials and harmonic weight enumerators. Along we way we introduce "$t\frac12$-designs" as a discrete analog of Venkov's spherical designs of the same name. △ Less

Submitted 14 March, 2015; originally announced March 2015.

Comments: 7 pages

MSC Class: 94B05 (Primary) 05B05; 11H71; 33C50 (Secondary)

Weighted Generating Functions for Type II Lattices and Codes

Authors: Noam D. Elkies, Scott Duke Kominers

Abstract: We give a new structural development of harmonic polynomials on Hamming space, and harmonic weight enumerators of binary linear codes, that parallels one approach to harmonic polynomials on Euclidean space and weighted theta functions of Euclidean lattices. Namely, we use the finite-dimensional representation theory of sl_2 to derive a decomposition theorem for the spaces of discrete homogeneous p… ▽ More We give a new structural development of harmonic polynomials on Hamming space, and harmonic weight enumerators of binary linear codes, that parallels one approach to harmonic polynomials on Euclidean space and weighted theta functions of Euclidean lattices. Namely, we use the finite-dimensional representation theory of sl_2 to derive a decomposition theorem for the spaces of discrete homogeneous polynomials in terms of the spaces of discrete harmonic polynomials, and prove a generalized MacWilliams identity for harmonic weight enumerators. We then present several applications of harmonic weight enumerators, corresponding to some uses of weighted theta functions: an equivalent characterization of t-designs, the Assmus-Mattson Theorem in the case of extremal Type II codes, and configuration results for extremal Type II codes of lengths 8, 24, 32, 48, 56, 72, and 96. △ Less

Submitted 9 November, 2011; originally announced November 2011.

Comments: 34 pages

MSC Class: 94B05 (Primary) 05B05; 11H71; 33C50; 33C55 (Secondary)

Minimal S-universality criteria may vary in size

Authors: Noam D. Elkies, Daniel M. Kane, Scott D. Kominers

Abstract: In this note, we give simple examples of sets S of quadratic forms that have minimal S-universality criteria of multiple cardinalities. This answers a question of Kim, Kim, and Oh in the negative. In this note, we give simple examples of sets S of quadratic forms that have minimal S-universality criteria of multiple cardinalities. This answers a question of Kim, Kim, and Oh in the negative. △ Less

Submitted 28 January, 2011; originally announced January 2011.

Comments: 5 pages

MSC Class: 11E20; 11E25

Asymptotic Improvements of Lower Bounds for the Least Common Multiples of Arithmetic Progressions

Authors: Daniel M. Kane, Scott D. Kominers

Abstract: For relatively prime positive integers $u_0$ and $r$, we consider the least common multiple $L_n:=\mathrm{lcm}(u_0,u_1,\ldots, u_n)$ of the finite arithmetic progression $\{u_k:=u_0+kr\}_{k=0}^n$. We derive new lower bounds on $L_n$ which improve upon those obtained previously when either $u_0$ or $n$ is large. When $r$ is prime, our best bound is sharp up to a factor of $n+1$ for $u_0$ properly c… ▽ More For relatively prime positive integers $u_0$ and $r$, we consider the least common multiple $L_n:=\mathrm{lcm}(u_0,u_1,\ldots, u_n)$ of the finite arithmetic progression $\{u_k:=u_0+kr\}_{k=0}^n$. We derive new lower bounds on $L_n$ which improve upon those obtained previously when either $u_0$ or $n$ is large. When $r$ is prime, our best bound is sharp up to a factor of $n+1$ for $u_0$ properly chosen, and is also nearly sharp as $n\to\infty$. △ Less

Submitted 1 July, 2014; v1 submitted 30 December, 2010; originally announced January 2011.

Comments: 10 pages

MSC Class: 11A05

Refined Configuration Results for Extremal Type II Lattices of Ranks 40 and 80

Authors: Noam D. Elkies, Scott D. Kominers

Abstract: We show that, if L is an extremal Type II lattice of rank 40 or 80, then L is generated by its vectors of norm min(L)+2. This sharpens earlier results of Ozeki, and the second author and Abel, which showed that such lattices L are generated by their vectors of norms min(L) and min(L)+2. We show that, if L is an extremal Type II lattice of rank 40 or 80, then L is generated by its vectors of norm min(L)+2. This sharpens earlier results of Ozeki, and the second author and Abel, which showed that such lattices L are generated by their vectors of norms min(L) and min(L)+2. △ Less

Submitted 27 May, 2009; originally announced May 2009.

Comments: 3 pages

MSC Class: 11H55 (Primary) 05B30; 11F11 (Secondary)

Journal ref: Proceedings of the American Mathematical Society 138(1), (2010), 105-108

Every Large Point Set contains Many Collinear Points or an Empty Pentagon

Authors: Zachary Abel, Brad Ballinger, Prosenjit Bose, Sébastien Collette, Vida Dujmović, Ferran Hurtado, Scott D. Kominers, Stefan Langerman, Attila Pór, David R. Wood

Abstract: We prove the following generalised empty pentagon theorem: for every integer $\ell \geq 2$, every sufficiently large set of points in the plane contains $\ell$ collinear points or an empty pentagon. As an application, we settle the next open case of the "big line or big clique" conjecture of Kára, Pór, and Wood [\emph{Discrete Comput. Geom.} 34(3):497--506, 2005]. We prove the following generalised empty pentagon theorem: for every integer $\ell \geq 2$, every sufficiently large set of points in the plane contains $\ell$ collinear points or an empty pentagon. As an application, we settle the next open case of the "big line or big clique" conjecture of Kára, Pór, and Wood [\emph{Discrete Comput. Geom.} 34(3):497--506, 2005]. △ Less

Submitted 24 April, 2009; v1 submitted 1 April, 2009; originally announced April 2009.

MSC Class: 52C10; 05D10

Journal ref: Graphs and Combinatorics 27(1), (2011), 47-60

On the Classification of Type II Codes of Length 24

Authors: Noam D. Elkies, Scott D. Kominers

Abstract: We give a new, purely coding-theoretic proof of Koch's criterion on the tetrad systems of Type II codes of length 24 using the theory of harmonic weight enumerators. This approach is inspired by Venkov's approach to the classification of the root systems of Type II lattices in R^{24}, and gives a new instance of the analogy between lattices and codes. We give a new, purely coding-theoretic proof of Koch's criterion on the tetrad systems of Type II codes of length 24 using the theory of harmonic weight enumerators. This approach is inspired by Venkov's approach to the classification of the root systems of Type II lattices in R^{24}, and gives a new instance of the analogy between lattices and codes. △ Less

Submitted 19 February, 2009; v1 submitted 11 February, 2009; originally announced February 2009.

Comments: 5 pages; v2: fixed minor typos

MSC Class: 94B05; 11H71

Journal ref: SIAM Journal on Discrete Mathematics 23(4), (2010), 2173-2177

Further Improvements of Lower Bounds for the Least Common Multiples of Arithmetic Progressions

Authors: Shaofang Hong, Scott D. Kominers

Abstract: For relatively prime positive integers u_0 and r, we consider the arithmetic progression {u_k := u_0+k*r} (0 <= k <= n). Define L_n := lcm{u_0,u_1,...,u_n} and let a >= 2 be any integer. In this paper, we show that, for integers alpha,r >= a and n >= 2*alpha*r, we have L_n >= u_0*r^{alpha+a-2}*(r+1)^n. In particular, letting a = 2 yields an improvement to the best previous lower bound on L_n (ob… ▽ More For relatively prime positive integers u_0 and r, we consider the arithmetic progression {u_k := u_0+k*r} (0 <= k <= n). Define L_n := lcm{u_0,u_1,...,u_n} and let a >= 2 be any integer. In this paper, we show that, for integers alpha,r >= a and n >= 2*alpha*r, we have L_n >= u_0*r^{alpha+a-2}*(r+1)^n. In particular, letting a = 2 yields an improvement to the best previous lower bound on L_n (obtained by Hong and Yang) for all but three choices of alpha,r >= 2. △ Less

Submitted 16 June, 2009; v1 submitted 28 November, 2008; originally announced November 2008.

Comments: 5 pages; v3: improved results and updated references

MSC Class: 11A05

Candy-passing Games on General Graphs, II

Authors: Paul M. Kominers, Scott D. Kominers

Abstract: We give a new proof that any candy-passing game on a graph G with at least 4|E(G)|-|V(G)| candies stabilizes. (This result was first proven in arXiv:0807.4450.) Unlike the prior literature on candy-passing games, we use methods from the general theory of chip-firing games which allow us to obtain a polynomial bound on the number of rounds before stabilization. We give a new proof that any candy-passing game on a graph G with at least 4|E(G)|-|V(G)| candies stabilizes. (This result was first proven in arXiv:0807.4450.) Unlike the prior literature on candy-passing games, we use methods from the general theory of chip-firing games which allow us to obtain a polynomial bound on the number of rounds before stabilization. △ Less

Submitted 29 July, 2008; originally announced July 2008.

Comments: 3 pages

MSC Class: 05C35; 05C85; 68Q25 (Primary); 37B15; 68R10; 68Q80 (Secondary)

Candy-passing Games on General Graphs, I

Authors: Paul M. Kominers, Scott D. Kominers

Abstract: We undertake the first study of the candy-passing game on arbitrary connected graphs. We obtain a general stabilization result which encompasses the first author's results (arXiv:0709.2156) for candy-passing games on n-cycles with at least 3n candies. We undertake the first study of the candy-passing game on arbitrary connected graphs. We obtain a general stabilization result which encompasses the first author's results (arXiv:0709.2156) for candy-passing games on n-cycles with at least 3n candies. △ Less

Submitted 28 July, 2008; originally announced July 2008.

Comments: 2 pages

MSC Class: 05C35 (Primary); 37B15 (Secondary)

The 8-universality Criterion is Unique

Authors: Scott D. Kominers

Abstract: Using the methods developed for the proof that the 2-universality criterion is unique, we partially characterize criteria for the n-universality of positive-definite integer-matrix quadratic forms. We then obtain the uniqueness of Oh's 8-universality criterion as an application of our characterization results. Using the methods developed for the proof that the 2-universality criterion is unique, we partially characterize criteria for the n-universality of positive-definite integer-matrix quadratic forms. We then obtain the uniqueness of Oh's 8-universality criterion as an application of our characterization results. △ Less

Submitted 14 July, 2008; originally announced July 2008.

Comments: 4 pages

MSC Class: 11E20; 11E25

Improved Bounds on the Sizes of S.P Numbers

Authors: Paul M. Kominers, Scott D. Kominers

Abstract: A number which is S.P in base r is a positive integer which is equal to the sum of its base-r digits multiplied by the product of its base-r digits. These numbers have been studied extensively in The Mathematical Gazette. Recently, Shah Ali obtained the first effective bound on the sizes of S.P numbers. Modifying Shah Ali's method, we obtain an improved bound on the number of digits in a base-r… ▽ More A number which is S.P in base r is a positive integer which is equal to the sum of its base-r digits multiplied by the product of its base-r digits. These numbers have been studied extensively in The Mathematical Gazette. Recently, Shah Ali obtained the first effective bound on the sizes of S.P numbers. Modifying Shah Ali's method, we obtain an improved bound on the number of digits in a base-r S.P number. Our bound is the first sharp bound found for the case r=2. △ Less

Submitted 24 November, 2008; v1 submitted 23 June, 2008; originally announced June 2008.

Comments: 2 pages. To appear, The Mathematical Gazette

MSC Class: 11A99 (Primary) 00A08; 97A20 (Secondary)

Journal ref: Note 94.05, The Mathematical Gazette 94(529), (2010), 127-129

Perelman, Poincare, and the Ricci Flow

Authors: Scott D. Kominers

Abstract: In this expository article, we introduce the topological ideas and context central to the Poincare Conjecture. Our account is intended for a general audience, providing intuitive definitions and spatial intuition whenever possible. We define surfaces and their natural generalizations, manifolds. We then discuss the classification of surfaces as it relates to the Poincare and Thurston Geometrizat… ▽ More In this expository article, we introduce the topological ideas and context central to the Poincare Conjecture. Our account is intended for a general audience, providing intuitive definitions and spatial intuition whenever possible. We define surfaces and their natural generalizations, manifolds. We then discuss the classification of surfaces as it relates to the Poincare and Thurston Geometrization conjectures. Finally, we survey Perelman's results on Ricci flows with surgery. △ Less

Submitted 2 March, 2008; originally announced March 2008.

Comments: 9 pages, 2 figures

MSC Class: 53-01; 57M40; 53A05

On Universal Binary Hermitian Forms

Authors: Scott D. Kominers

Abstract: Earnest and Khosravani, Iwabuchi, and Kim and Park recently gave a complete classification of the universal binary Hermitian forms. We give a unified proof of the universalities of these Hermitian forms, relying primarily on Ramanujan's list of universal quadratic forms and on the Bhargava-Hanke 290-Theorem. Our methods bypass nearly all of the ad hoc universality arguments required in the origi… ▽ More Earnest and Khosravani, Iwabuchi, and Kim and Park recently gave a complete classification of the universal binary Hermitian forms. We give a unified proof of the universalities of these Hermitian forms, relying primarily on Ramanujan's list of universal quadratic forms and on the Bhargava-Hanke 290-Theorem. Our methods bypass nearly all of the ad hoc universality arguments required in the original classification. △ Less

Submitted 3 January, 2008; originally announced January 2008.

Comments: 5 pages

MSC Class: 11E39 (Primary) 11E20; 11E41; 11E25 (Secondary)

Journal ref: INTEGERS: The Electronic Journal of Combinatorial Number Theory 9, (2009), #A02

Walk versus Wait: The Lazy Mathematician Wins

Authors: Justin G. Chen, Scott D. Kominers, Robert W. Sinnott

Abstract: In this recreational mathematics note, we address a simple, yet instructive question: Justin has to travel a distance of d miles along a bus route. Along this route, there are n bus stops i, each spaced at a distance of d_i from the starting point. At each bus stop, Justin is faced with a choice: to walk or to wait. If he walks on, he can still catch a bus at the next bus stop--but if a bus pa… ▽ More In this recreational mathematics note, we address a simple, yet instructive question: Justin has to travel a distance of d miles along a bus route. Along this route, there are n bus stops i, each spaced at a distance of d_i from the starting point. At each bus stop, Justin is faced with a choice: to walk or to wait. If he walks on, he can still catch a bus at the next bus stop--but if a bus passes him while he walks, he is almost assured a longer wait. We model Justin's decision constraint and completely solve the model in a special case. The answer is intuitive: the optimal strategy is the laziest. △ Less

Submitted 27 January, 2008; v1 submitted 1 January, 2008; originally announced January 2008.

Comments: 3 pages

MSC Class: 00A08; 97A20

Configurations of Rank-40r Extremal Even Unimodular Lattices (r=1,2,3)

Authors: Scott D. Kominers, Zachary Abel

Abstract: We show that if L is an extremal even unimodular lattice of rank 40r with r=1,2,3 then L is generated by its vectors of norms 4r and 4r+2. Our result is an extension of Ozeki's result for the case r=1. We show that if L is an extremal even unimodular lattice of rank 40r with r=1,2,3 then L is generated by its vectors of norms 4r and 4r+2. Our result is an extension of Ozeki's result for the case r=1. △ Less

Submitted 10 December, 2007; v1 submitted 30 October, 2007; originally announced October 2007.

Comments: 5 pages. To appear, Journal de Theorie des Nombres de Bordeaux

MSC Class: 11H06 (Primary); 52C07; 05B30 (Secondary)

Journal ref: Journal de Theorie des Nombres de Bordeaux 20, (2008), 365-371

A Categorical Construction of Ultrafilters

Authors: Daniel Litt, Zachary Abel, Scott D. Kominers

Abstract: Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms of the inverse limit of an inverse family of finite partitions; this is an elementary and intuitive presentation of a consequence of the profiniteness of Sto… ▽ More Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms of the inverse limit of an inverse family of finite partitions; this is an elementary and intuitive presentation of a consequence of the profiniteness of Stone spaces. We then apply this construction to answer a question of Rosinger posed in arXiv:0709.0084v2 in the negative. △ Less

Submitted 13 May, 2009; v1 submitted 12 October, 2007; originally announced October 2007.

Comments: 5 pages

MSC Class: 54D80 (Primary); 16B50 (Secondary)

Uniqueness of the 2-universality Criterion

Authors: Scott D. Kominers

Abstract: Kim, Kim, and Oh gave a minimal criterion for the 2-universality of positive-definite integer-matrix quadratic forms. We show that this 2-universality criterion is unique in the sense of the uniqueness of the Conway-Schneeberger Fifteen Theorem. Kim, Kim, and Oh gave a minimal criterion for the 2-universality of positive-definite integer-matrix quadratic forms. We show that this 2-universality criterion is unique in the sense of the uniqueness of the Conway-Schneeberger Fifteen Theorem. △ Less

Submitted 23 March, 2008; v1 submitted 31 August, 2007; originally announced August 2007.

Comments: 4 pages. To appear, Note di Matematica

MSC Class: 11E20; 11E25

Journal ref: Note di Matematica 28(2), (2008), 203-206

Configurations of Extremal Even Unimodular Lattices

Authors: Scott D. Kominers

Abstract: We extend the results of Ozeki on the configurations of extremal even unimodular lattices. Specifically, we show that if L is such a lattice of rank 56, 72, or 96, then L is generated by its minimal-norm vectors. We extend the results of Ozeki on the configurations of extremal even unimodular lattices. Specifically, we show that if L is such a lattice of rank 56, 72, or 96, then L is generated by its minimal-norm vectors. △ Less

Submitted 10 December, 2007; v1 submitted 21 June, 2007; originally announced June 2007.

Comments: 8 pages. To appear, International Journal of Number Theory

MSC Class: 11H06 (Primary); 52C07; 05B30 (Secondary)

Journal ref: International Journal of Number Theory 5(3), (2009), 457-464