685 research outputs found
Nonisomorphic Ordered Sets with Arbitrarily Many Ranks That Produce Equal Decks
We prove that for any there is a pair of
nonisomorphic ordered sets such that and have equal maximal
and minimal decks, equal neighborhood decks, and there are ranks such that for each the decks obtained by removing the points
of rank are equal. The ranks do not contain
extremal elements and at each of the other ranks there are elements whose
removal will produce isomorphic cards. Moreover, we show that such sets can be
constructed such that only for ranks and , both without extremal
elements, the decks obtained by removing the points of rank are not
equal.Comment: 30 pages, 6 figures, straight LaTe
Robust Coin Flipping
Alice seeks an information-theoretically secure source of private random
data. Unfortunately, she lacks a personal source and must use remote sources
controlled by other parties. Alice wants to simulate a coin flip of specified
bias , as a function of data she receives from sources; she seeks
privacy from any coalition of of them. We show: If , the
bias can be any rational number and nothing else; if , the bias
can be any algebraic number and nothing else. The proof uses projective
varieties, convex geometry, and the probabilistic method. Our results improve
on those laid out by Yao, who asserts one direction of the case in his
seminal paper [Yao82]. We also provide an application to secure multiparty
computation.Comment: 22 pages, 1 figur
Graph reconstruction numbers
The Reconstruction Conjecture is one of the most important open problems in graph theory today. Proposed in 1942, the conjecture posits that every simple, finite, undirected graph with more than three vertices can be uniquely reconstructed up to isomorphism given the multiset of subgraphs produced by deleting each vertex of the original graph. Related to the Reconstruction Conjecture, reconstruction numbers concern the minimum number of vertex deleted subgraphs required to uniquely identify a graph up to isomorphism. During the summer of 2004, Jennifer Baldwin completed an MS project regarding reconstruction numbers. In it, she calculated reconstruction numbers for all graphs G where 2 \u3c |V(G)| \u3c 9. This project expands the computation of reconstruction numbers up to all graphs with ten vertices and a specific class of graphs with eleven vertices. Whereas Jennifer\u27s project focused on a statistical analysis of reconstruction number results, we instead focus on theorizing the causes of high reconstruction numbers. Accordingly, this project establishes the reasons behind all high existential reconstruction numbers identified within the set of all graphs G where 2 \u3c |V(G)| \u3c 11 and identifies new classes of graphs that have large reconstruction numbers. Finally, we consider 2-reconstructibility - the ability to reconstruct a graph G from the multiset of subgraphs produced by deleting each combination of 2 vertices from G. The 2-reconstructibility of all graphs with nine or less vertices was tested, identifying two graphs in this range with five vertices as the highest order graphs that are 2-nonreconstructible
SUPERSET: A (Super)Natural Variant of the Card Game SET
We consider Superset, a lesser-known yet interesting variant of the famous card game Set. Here, players look for Supersets instead of Sets, that is, the symmetric difference of two Sets that intersect in exactly one card. In this paper, we pose questions that have been previously posed for Set and provide answers to them; we also show relations between Set and Superset.
For the regular Set deck, which can be identified with F^3_4, we give a proof for the fact that the maximum number of cards that can be on the table without having a Superset is 9. This solves an open question posed by McMahon et al. in 2016. For the deck corresponding to F^3_d, we show that this number is Omega(1.442^d) and O(1.733^d). We also compute probabilities of the presence of a superset in a collection of cards drawn uniformly at random. Finally, we consider the computational complexity of deciding whether a multi-value version of Set or Superset is contained in a given set of cards, and show an FPT-reduction from the problem for Set to that for Superset, implying W[1]-hardness of the problem for Superset
Hopf algebras and Markov chains: Two examples and a theory
The operation of squaring (coproduct followed by product) in a combinatorial
Hopf algebra is shown to induce a Markov chain in natural bases. Chains
constructed in this way include widely studied methods of card shuffling, a
natural "rock-breaking" process, and Markov chains on simplicial complexes.
Many of these chains can be explictly diagonalized using the primitive elements
of the algebra and the combinatorics of the free Lie algebra. For card
shuffling, this gives an explicit description of the eigenvectors. For
rock-breaking, an explicit description of the quasi-stationary distribution and
sharp rates to absorption follow.Comment: 51 pages, 17 figures. (Typographical errors corrected. Further fixes
will only appear on the version on Amy Pang's website, the arXiv version will
not be updated.
Artin's primitive root conjecture -a survey -
This is an expanded version of a write-up of a talk given in the fall of 2000
in Oberwolfach. A large part of it is intended to be understandable by
non-number theorists with a mathematical background. The talk covered some of
the history, results and ideas connected with Artin's celebrated primitive root
conjecture dating from 1927. In the update several new results established
after 2000 are also discussed.Comment: 87 pages, 512 references, to appear in Integer
JINC - A Multi-Threaded Library for Higher-Order Weighted Decision Diagram Manipulation
Ordered Binary Decision Diagrams (OBDDs) have been proven to be an efficient data structure for symbolic algorithms. The efficiency of the symbolic methods de- pends on the underlying OBDD library. Available OBDD libraries are based on the standard concepts and so far only differ in implementation details. This thesis introduces new techniques to increase run-time and space-efficiency of an OBDD library. This thesis introduces the framework of Higher-Order Weighted Decision Diagrams (HOWDDs) to combine the similarities of different OBDD variants. This frame- work pioneers the basis for the new variant Toggling Algebraic Decision Diagrams (TADDs) which has been shown to be a space-efficient HOWDD variant for sym- bolic matrix representation. The concept of HOWDDs has been use to implement the OBDD library JINC. This thesis also analyzes the usage of multi-threading techniques to speed-up OBDD manipulations. A new reordering framework ap- plies the advantages of multi-threading techniques to reordering algorithms. This approach uses an abstraction layer so that the original reordering algorithms are not touched. The challenge that arise from a straight forward algorithm is that the computed-tables and the garbage collection are not as efficient as in a single- threaded environment. We resolve this problem by developing a new multi-operand APPLY algorithm that eliminates the creation of temporary nodes which could occur during computation and thus reduces the need for caching or garbage collection. The HOWDD framework leads to an efficient library design which has been shown to be more efficient than the established OBDD library CUDD. The HOWDD instance TADD reduces the needed number of nodes by factor two compared to ordinary ADDs. The new multi-threading approaches are more efficient than single-threading approaches by several factors. In the case of the new reordering framework the speed- up almost equals the theoretical optimal speed-up. The novel multi-operand APPLY algorithm reduces the memory usage for the n-queens problem by factor 50 which enables the calculation of bigger problem instances compared to the traditional APPLY approach. The new approaches improve the performance and reduce the memory footprint. This leads to the conclusion that applications should be reviewed whether they could benefit from the new multi-threading multi-operand approaches introduced and discussed in this thesis
- …