English
Related papers

Related papers: The Curling Number Conjecture

200 papers

For a given number of colours, $s$, the guessing number of a graph is the base $s$ logarithm of the size of the largest family of colourings of the vertex set of the graph such that the colour of each vertex can be determined from the…

Information Theory · Computer Science 2016-02-12 Ross Atkins , Puck Rombach , Fiona Skerman

We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if $\kappa \leq \lambda$, then $$\sup_{|A| = \lambda} |S^\kappa(A)| =…

Logic · Mathematics 2017-02-22 Will Boney

It is shown that the first $n$ prime numbers $p_1,...,p_n$ determine the next one by the recursion equation $$ p_{n+1} =\lim\limits_{s\to +\infty} [\prod\limits^n_{k=1} (1-\frac{1}{p^s_k}) \sum\limits^\infty_{j=1} \frac{1}{j^s} -1]^{-1/s}.…

Number Theory · Mathematics 2008-10-06 Joseph B. Keller

An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…

Number Theory · Mathematics 2015-05-13 Graham Everest , Patrick Ingram , Valery Mahe , Shaun Stevens

Given a sequence (a_k) = a_0, a_1, a_2,... of real numbers, define a new sequence L(a_k) = (b_k) where b_k = a_k^2 - a_{k-1} a_{k+1}. So (a_k) is log-concave if and only if (b_k) is a nonnegative sequence. Call (a_k) "infinitely…

Combinatorics · Mathematics 2012-02-01 Peter R. W. McNamara , Bruce E. Sagan

Disproving a conjecture of Bleicher and Erd\H{o}s, we show that there exists a lacunary sequence of positive integers such that finite sums of reciprocals of its terms attain all rational numbers from a non-empty open interval. We also…

Number Theory · Mathematics 2025-12-04 Wouter van Doorn , Vjekoslav Kovač

Correlation clustering is a concept of machine learning. The ultimate goal of such a clustering is to find a partition with minimal conflicts. In this paper we investigate a correlation clustering of integers, based upon the greatest common…

Number Theory · Mathematics 2014-04-04 L. Aszalós , L. Hajdu , A. Pethő

The Collatz map is defined for a positive even integer as half that integer, and for a positive odd integer as that integer threefold, plus one. The Collatz conjecture states that when the map is iterated the number one is eventually…

Combinatorics · Mathematics 2015-01-19 Michael Albert , Bjarki Gudmundsson , Henning Ulfarsson

A set of m terminals, observing correlated signals, communicate interactively to generate common randomness for a given subset of them. Knowing only the communication, how many direct queries of the value of the common randomness will…

Information Theory · Computer Science 2013-05-08 Himanshu Tyagi , Prakash Narayan

We introduce a guessing game, permutation Wordle, in which a guesser attempts to recover a hidden permutation in $S_n$. In each round, the guesser guesses a permutation (using information from previous rounds) and is told which entries of…

Combinatorics · Mathematics 2026-01-27 Samuel A. Kutin , Lawren M. Smithline

The set of indices that correspond to the positive entries of a sequence of numbers is called its positivity set. In this paper, we study the density of the positivity set of a given linear recurrence sequence, that is the question of how…

Number Theory · Mathematics 2024-04-17 Edon Kelmendi

We study a game in which one keeps flipping a coin until a given finite string of heads and tails occurs. We find the expected number of coin flips to end the game when the ending string consists of at most four maximal runs of heads or…

Combinatorics · Mathematics 2025-01-31 Jia Huang

Let $S$ be a multiplicatively idempotent congruence-simple semiring. We show that $|S|=2$ if $S$ has a multiplicatively absorbing element. We also prove that if $S$ is finite then either $|S|=2$ or $S\cong End(L)$ or $S^{op}\cong End(L)$…

Rings and Algebras · Mathematics 2022-07-19 Tomáš Kepka , Miroslav Korbelář , Günter Landsmann

We prove a conjecture of Dukes and Herke concerning the possible orders of a basis for the cyclic group Z_n, namely : For each k \in N there exists a constant c_k > 0 such that, for all n \in N, if A \subseteq Z_n is a basis of order…

Number Theory · Mathematics 2009-07-04 Peter Hegarty

We explore the complexity of computing the optimal pebbling number and pebbling number of a graph. We show that deciding whether the optimal pebbling number of G is at most k is NP-complete and deciding whether the pebbling number of G is…

Combinatorics · Mathematics 2007-05-23 K. Milans , B. Clark

A family of sets $\mathcal{A}$ is union-closed if it is finite and nonempty with member sets that are all finite and distinct (at least one of which is nonempty) and it satisfies the property $X, Y \in \mathcal{A} \implies X \cup Y \in…

Combinatorics · Mathematics 2024-09-25 Christopher Bouchard

We prove that deciding whether a given input word contains as subsequence every possible permutation of integers $\{1,2,\ldots,n\}$ is coNP-complete. The coNP-completeness holds even when given the guarantee that the input word contains as…

Computational Complexity · Computer Science 2015-07-10 Przemysław Uznański

In 1930s Paul Erdos conjectured that for any positive integer C in any infinite +1 -1 sequence (x_n) there exists a subsequence x_d, x_{2d}, ... , x_{kd} for some positive integers k and d, such that |x_d + x_{2d} + ... + x_{kd}|> C. The…

Discrete Mathematics · Computer Science 2014-02-18 Boris Konev , Alexei Lisitsa

An Inventory Sequence $(S_0, S_1, S_2, ...)$ is the iteration of the map $f$ defined roughly by taking an integer to its numericized description (e.g. $f(1381)=211318$ since "$1381$" has two $1$'s, one $3$, and one $8$). Our work analyzes…

Number Theory · Mathematics 2020-04-02 Onno M. Cain , Sela T. Enin

Let S be a polynomial ring over a field of characteristic zero in finitely may variables. Let T be an unramified, finitely generated extension of S with $T^\times = k^\times$. Then T = S.

Commutative Algebra · Mathematics 2007-07-23 Susumu Oda
‹ Prev 1 8 9 10 Next ›