Showing 1–16 of 16 results for author: Godbole, A P

Logarithmic Representability of Integers as k-Sums

Authors: Anant P. Godbole, Samuel Gutekunst, Vince Lyzinski, Yan Zhuang

Abstract: A set A=A_{k,n} in [n]\cup{0} is said to be an additive k-basis if each element in {0,1,...,kn} can be written as a k-sum of elements of A in at least one way. Seeking multiple representations as k-sums, and given any function phi(n), with lim(phi(n))=infinity, we say that A is a truncated phi(n)-representative k-basis for [n] if for each j in [alpha n, (k-alpha)n] the number of ways that j can be… ▽ More A set A=A_{k,n} in [n]\cup{0} is said to be an additive k-basis if each element in {0,1,...,kn} can be written as a k-sum of elements of A in at least one way. Seeking multiple representations as k-sums, and given any function phi(n), with lim(phi(n))=infinity, we say that A is a truncated phi(n)-representative k-basis for [n] if for each j in [alpha n, (k-alpha)n] the number of ways that j can be represented as a k-sum of elements of A_{k,n} is Theta(phi(n)). In this paper, we follow tradition and focus on the case phi(n)=log n, and show that a randomly selected set in an appropriate probability space is a truncated log-representative basis with probability that tends to one as n tends to infinity. This result is a finite version of a result proved by Erdos (1956) and extended by Erdos and Tetali (1990). △ Less

Submitted 7 February, 2013; originally announced February 2013.

Comments: 18 pages

MSC Class: 60C05

Shattering Thresholds for Random Systems of Sets, Words, and Permutations

Authors: Anant P. Godbole, Samantha Pinella, Yan Zhuang

Abstract: This paper considers a problem that relates to the theories of covering arrays, permutation patterns, Vapnik-Chervonenkis (VC) classes, and probability thresholds. Specifically, we want to find the number of subsets of [n]:={1,2,....,n} we need to randomly select, in a certain probability space, so as to respectively "shatter" all t-subsets of [n]. Moving from subsets to words, we ask for the numb… ▽ More This paper considers a problem that relates to the theories of covering arrays, permutation patterns, Vapnik-Chervonenkis (VC) classes, and probability thresholds. Specifically, we want to find the number of subsets of [n]:={1,2,....,n} we need to randomly select, in a certain probability space, so as to respectively "shatter" all t-subsets of [n]. Moving from subsets to words, we ask for the number of n-letter words on a q-letter alphabet that are needed to shatter all t-subwords of the q^n words of length n. Finally, we explore the number of random permutations of [n] needed to shatter (specializing to t=3), all length 3 permutation patterns in specified positions. We uncover a very sharp zero-one probability threshold for the emergence of such shattering; Talagrand's isoperimetric inequality in product spaces is used as a key tool. △ Less

Submitted 6 May, 2013; v1 submitted 27 January, 2013; originally announced January 2013.

Comments: 25 pages

MSC Class: 05D40; 05A05

$t$-Covering Arrays Generated by a Tiling Probability Model

Authors: Michael S. Donders, Anant P. Godbole

Abstract: A $t-\a$ covering array is an $m\times n$ matrix, with entries from an alphabet of size $α$, such that for any choice of $t$ rows, and any ordered string of $t$ letters of the alphabet, there exists a column such that the "values" of the rows in that column match those of the string of letters. We use the Lovász Local Lemma in conjunction with a new tiling-based probability model to improve the up… ▽ More A $t-\a$ covering array is an $m\times n$ matrix, with entries from an alphabet of size $α$, such that for any choice of $t$ rows, and any ordered string of $t$ letters of the alphabet, there exists a column such that the "values" of the rows in that column match those of the string of letters. We use the Lovász Local Lemma in conjunction with a new tiling-based probability model to improve the upper bound on the smallest number of columns $N=N(m,t,α)$ of a $t-\a$ covering array. △ Less

Submitted 1 November, 2010; originally announced November 2010.

Comments: 7 pages

MSC Class: 05B05

Maximal Symmetric Difference-Free Families of Subsets of $[n]$

Authors: Travis G. Buck, Anant P. Godbole

Abstract: Union-free families of subsets of $[n]=\{1,... n\}$ have been studied in \cite{FF}. In this paper, we provide a complete characterization of maximal {\it symmetric difference}-free families of subsets of $[n]$. Union-free families of subsets of $[n]=\{1,... n\}$ have been studied in \cite{FF}. In this paper, we provide a complete characterization of maximal {\it symmetric difference}-free families of subsets of $[n]$. △ Less

Submitted 13 October, 2010; originally announced October 2010.

Comments: 10 pages

MSC Class: 05D05

Omnimosaics

Authors: Katie R. Banks, Anant P. Godbole, Nicholas George Triantafillou

Abstract: An {\it omnimosaic} $O(n,k,a)$ is defined to be an $n\times n$ matrix, with entries from the set ${\cal A}=\{1,2,\...,a\}$, that contains, as a submatrix, each of the $a^{k^2}$ $k\times k$ matrices over ${\cal A}$. We provide constructions of omnimosaics and show that for fixed $a$ the smallest possible size $ω(k,a)$ of an $O(n,k,a)$ omnimosaic satisfies \[\frac{ka^{k/2}}{e}\le ω(k,a)\le \frac{ka^… ▽ More An {\it omnimosaic} $O(n,k,a)$ is defined to be an $n\times n$ matrix, with entries from the set ${\cal A}=\{1,2,\...,a\}$, that contains, as a submatrix, each of the $a^{k^2}$ $k\times k$ matrices over ${\cal A}$. We provide constructions of omnimosaics and show that for fixed $a$ the smallest possible size $ω(k,a)$ of an $O(n,k,a)$ omnimosaic satisfies \[\frac{ka^{k/2}}{e}\le ω(k,a)\le \frac{ka^{k/2}}{e}(1+o(1))\] for a well-specified function $o(1)$ that tends to zero as $k\to\infty$. △ Less

Submitted 23 September, 2010; originally announced September 2010.

Comments: 19 pages

MSC Class: 05C80; 05D40; 60C05

On Universal Cycles for new Classes of Combinatorial Structures

Authors: Antonio Blanca, Anant P. Godbole

Abstract: A universal cycle (u-cycle) is a compact listing of a collection of combinatorial objects. In this paper, we use natural encodings of these objects to show the existence of u-cycles for collections of subsets, matroids, restricted multisets, chains of subsets, multichains, and lattice paths. For subsets, we show that a u-cycle exists for the $k$-subsets of an $n$-set if we let $k$ vary in a non ze… ▽ More A universal cycle (u-cycle) is a compact listing of a collection of combinatorial objects. In this paper, we use natural encodings of these objects to show the existence of u-cycles for collections of subsets, matroids, restricted multisets, chains of subsets, multichains, and lattice paths. For subsets, we show that a u-cycle exists for the $k$-subsets of an $n$-set if we let $k$ vary in a non zero length interval. We use this result to construct a "covering" of length $(1+o(1))$$n \choose k$ for all subsets of $[n]$ of size exactly $k$ with a specific formula for the $o(1)$ term. We also show that u-cycles exist for all $n$-length words over some alphabet $Σ,$ which contain all characters from $R \subset Σ.$ Using this result we provide u-cycles for encodings of Sperner families of size 2 and proper chains of subsets. △ Less

Submitted 13 August, 2010; originally announced August 2010.

Omnibus Sequences, Coupon Collection, and Missing Word Counts

Authors: Sunil Abraham, Greg Brockman, Stephanie Sapp, Anant P. Godbole

Abstract: An {\it Omnibus Sequence} of length $n$ is one that has each possible "message" of length $k$ embedded in it as a subsequence. We study various properties of Omnibus Sequences in this paper, making connections, whenever possible, to the classical coupon collector problem. An {\it Omnibus Sequence} of length $n$ is one that has each possible "message" of length $k$ embedded in it as a subsequence. We study various properties of Omnibus Sequences in this paper, making connections, whenever possible, to the classical coupon collector problem. △ Less

Submitted 27 May, 2009; originally announced May 2009.

Comments: 26 pages

MSC Class: 60C05

Universal Cycles of Discrete Functions

Authors: Britni LaBounty-Lay, Ashley Bechel, Anant P. Godbole

Abstract: A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as deBruijn cycles or $U$-cycles) of several combinatorial objects. We present new results on the existence of universal cycles of certain classes of functions. These include onto functions, and 1-inequitable se… ▽ More A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as deBruijn cycles or $U$-cycles) of several combinatorial objects. We present new results on the existence of universal cycles of certain classes of functions. These include onto functions, and 1-inequitable sequences on a binary alphabet. In each case the connectedness of the underlying graph is the non-trivial aspect to be established. △ Less

Submitted 12 May, 2008; originally announced May 2008.

MSC Class: 05B99

Journal ref: Congressus Numerantium 189, 121-128, 2008

The Lexicographic First Occurrence of a I-II-III pattern

Authors: Torey Burton, Anant P. Godbole, Brett M. Kindle

Abstract: Consider a random permutation $π\in{\cal S}_n$. In this paper, perhaps best classified as a contribution to discrete probability distribution theory, we study the {\it first} occurrence $X=X_n$ of a I-II-III-pattern, where "first" is interpreted in the lexicographic order induced by the 3-subsets of $[n]=\{1,2,...,n\}$. Of course if the permutation is I-II-III-avoiding then the first I-II-III-pa… ▽ More Consider a random permutation $π\in{\cal S}_n$. In this paper, perhaps best classified as a contribution to discrete probability distribution theory, we study the {\it first} occurrence $X=X_n$ of a I-II-III-pattern, where "first" is interpreted in the lexicographic order induced by the 3-subsets of $[n]=\{1,2,...,n\}$. Of course if the permutation is I-II-III-avoiding then the first I-II-III-pattern never occurs, and thus $\e(X)=\infty$ for each $n$; to avoid this case, we also study the first occurrence of a I-II-III-pattern given a bijection $f:{\bf Z}^+\to{\bf Z}^+$. △ Less

Submitted 11 January, 2008; originally announced January 2008.

MSC Class: 60C05

Journal ref: Lecture Notes of the London Mathematical Society 376, 213-219, 2010

The fair and random maximal division of "pizza"

Authors: Floyd E. Brown, Anant P. Godbole

Abstract: Consider n straight line cuts of a circular pizza made so as to maximize the number of pieces. We investigate how fair such a maximal division may be and how many slices are obtained if the cuts are successfully made with a certain probability. Consider n straight line cuts of a circular pizza made so as to maximize the number of pieces. We investigate how fair such a maximal division may be and how many slices are obtained if the cuts are successfully made with a certain probability. △ Less

Submitted 8 December, 2005; originally announced December 2005.

Comments: 15 pages, 4 figures

MSC Class: 60D05

Partial covering arrays and a generalized Erdos-Ko-Rado property

Authors: Patricia A. Carey, Anant P. Godbole

Abstract: The classical Erd\H os-Ko-Rado theorem states that if $k\le\floor{n/2}$ then the largest family of pairwise intersecting $k$-subsets of $[n]=\{0,1,...,n\}$ is of size ${{n-1}\choose{k-1}}$. A family of $k$ subsets satisfying this pairwise intersecting property is called an EKR family. We generalize the EKR property and provide asymptotic lower bounds on the size of the largest family ${\cal A}$… ▽ More The classical Erd\H os-Ko-Rado theorem states that if $k\le\floor{n/2}$ then the largest family of pairwise intersecting $k$-subsets of $[n]=\{0,1,...,n\}$ is of size ${{n-1}\choose{k-1}}$. A family of $k$ subsets satisfying this pairwise intersecting property is called an EKR family. We generalize the EKR property and provide asymptotic lower bounds on the size of the largest family ${\cal A}$ of $k$-subsets of $[n]$ that satisfies the following property: For each $A,B,C\in{\cal A}$, each of the four sets $A\cap B\cap C;A\cap B\cap C^C; A\cap B^C\cap C; A^C\cap B\cap C$ are non-empty. This generalized EKR (GEKR) property is motivated, generalizations are suggested, and a comparison is made with fixed weight 3-covering arrays. Our techniques are probabilistic. △ Less

Submitted 6 December, 2005; originally announced December 2005.

Comments: 16 pages, 4 figures, 2 tables

MSC Class: 05Bxx

Journal ref: J. Combinatorial Designs, 18, 155-166, 2010

Threshold and Complexity Results for the Cover Pebbling Game

Authors: Anant P. Godbole, Nathaniel G. Watson, Carl R. Yerger

Abstract: Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph is the smallest number of pebbles necessary so that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are… ▽ More Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph is the smallest number of pebbles necessary so that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. We determine Bose Einstein and Maxwell Boltzmann cover pebbling thresholds for the complete graph. Also, we show that the cover pebbling decision problem is NP-complete. △ Less

Submitted 18 October, 2005; originally announced October 2005.

Comments: 23 pages

MSC Class: 05C70; 05C99; 03D13; 91A43

Improved Pebbling Bounds

Authors: Melody Chan, Anant P. Godbole

Abstract: Consider a configuration of pebbles distributed on the vertices of a connected graph of order $n$. A pebbling step consists of removing two pebbles from a given vertex and placing one pebble on an adjacent vertex. A distribution of pebbles on a graph is called solvable if it is possible to place a pebble on any given vertex using a sequence of pebbling steps. The pebbling number of a graph, deno… ▽ More Consider a configuration of pebbles distributed on the vertices of a connected graph of order $n$. A pebbling step consists of removing two pebbles from a given vertex and placing one pebble on an adjacent vertex. A distribution of pebbles on a graph is called solvable if it is possible to place a pebble on any given vertex using a sequence of pebbling steps. The pebbling number of a graph, denoted $f(G)$, is the minimal number of pebbles such that every configuration of $f(G)$ pebbles on $G$ is solvable. We derive several general upper bounds on the pebbling number, improving previous results. △ Less

Submitted 3 October, 2005; originally announced October 2005.

Comments: 10 pages

MSC Class: 05C12; 05C69

Journal ref: Discrete Mathematics 308, 2301-2306, 2008

Probabilistic Extensions of the Erd\H os-Ko-Rado Property

Authors: Anna Celaya, Anant P. Godbole, Mandy Rae Schleifer

Abstract: The classical Erd\H os-Ko-Rado (EKR) Theorem states that if we choose a family of subsets, each of size (k), from a fixed set of size (n (n > 2k)), then the largest possible pairwise intersecting family has size (t ={n-1\choose k-1}). We consider the probability that a randomly selected family of size (t=t_n) has the EKR property (pairwise nonempty intersection) as $n$ and $k=k_n$ tend to infini… ▽ More The classical Erd\H os-Ko-Rado (EKR) Theorem states that if we choose a family of subsets, each of size (k), from a fixed set of size (n (n > 2k)), then the largest possible pairwise intersecting family has size (t ={n-1\choose k-1}). We consider the probability that a randomly selected family of size (t=t_n) has the EKR property (pairwise nonempty intersection) as $n$ and $k=k_n$ tend to infinity, the latter at a specific rate. As $t$ gets large, the EKR property is less likely to occur, while as $t$ gets smaller, the EKR property is satisfied with high probability. We derive the threshold value for $t$ using Janson's inequality. Using the Stein-Chen method we show that the distribution of $X_0$, defined as the number of disjoint pairs of subsets in our family, can be approximated by a Poisson distribution. We extend our results to yield similar conclusions for $X_i$, the number of pairs of subsets that overlap in exactly $i$ elements. Finally, we show that the joint distribution $(X_0, X_1, ..., X_b)$ can be approximated by a multidimensional Poisson vector with independent components. △ Less

Submitted 16 September, 2005; originally announced September 2005.

Comments: 18 pages

MSC Class: 05D40

Journal ref: Methodology and Computing in Applied Probability, 8, 357-371, 2006

Sierpi\' nski Gasket Graphs and Some of Their Properties

Authors: Alberto M. Teguia, Anant P. Godbole

Abstract: The {\it Sierpiński fractal} or {\it Sierpiński gasket} $Σ$ is a familiar object studied by specialists in dynamical systems and probability. In this paper, we consider a graph $S_n$ derived from the first $n$ iterations of the process that leads to $Σ$, and study some of its properties, including its cycle structure, domination number and pebbling number. Various open questions are posed. The {\it Sierpiński fractal} or {\it Sierpiński gasket} $Σ$ is a familiar object studied by specialists in dynamical systems and probability. In this paper, we consider a graph $S_n$ derived from the first $n$ iterations of the process that leads to $Σ$, and study some of its properties, including its cycle structure, domination number and pebbling number. Various open questions are posed. △ Less

Submitted 12 September, 2005; originally announced September 2005.

Comments: 14 pages, 2 Figures

MSC Class: 05C99

Journal ref: Australasian Journal of Combinatorics, 35, 181--192, 2006

Domination Cover Pebbling: Graph Families

Authors: James Gardner, Anant P. Godbole, Alberto Mokak Teguia, Annalies Z. Vuong, Nathaniel Watson, Carl R. Yerger

Abstract: Given a configuration of pebbles on the vertices of a connected graph G, a pebbling move is defined as the removal of two pebbles from some vertex, and the placement of one of these on an adjacent vertex. We introduce the notion of domination cover pebbling, obtained by combining graph cover pebbling with the theory of domination in graphs. The domination cover pebbling number, psi(G), of a grap… ▽ More Given a configuration of pebbles on the vertices of a connected graph G, a pebbling move is defined as the removal of two pebbles from some vertex, and the placement of one of these on an adjacent vertex. We introduce the notion of domination cover pebbling, obtained by combining graph cover pebbling with the theory of domination in graphs. The domination cover pebbling number, psi(G), of a graph G is the minimum number of pebbles that must be placed on V(G) such that after a sequence of pebbling moves, the set of vertices with pebbles forms a dominating set of G, regardless of the initial configuration of pebbles. We discuss basic results and determine psi(G) for paths, cycles and complete binary trees. △ Less

Submitted 13 July, 2005; originally announced July 2005.

Comments: 18 pages

MSC Class: 05C69; 05C99