Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Shattering Thresholds for Random Systems of Sets, Words, and Permutations
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.
Simple random walk on distance-regular graphs
A survey is presented of known results concerning simple random walk on the class of distance-regular graphs. One of the highlights is that electric resistance and hitting times between points can be explicitly calculated and given strong bounds for, which leads in turn to bounds on cover times, mixing times, etc. Also discussed are harmonic functions, moments of hitting and cover times, the Green's function, and the cutoff phenomenon. The main goal of the paper is to present these graphs as a natural setting in which to study simple random walk, and to stimulate further research in the field.
Additive systems and a theorem of de Bruijn
Published in American Mathematical Monthly 121 (2014), 5--17
• View Publication
• BIB
This paper gives a complete proof of a theorem of de Bruijn that classifies additive systems for the nonnegative integers, that is, families $\mca = (A_i)_{i\in I}$ of sets of nonnegative integers, each set containing 0, such that every nonnegative integer can be written uniquely in the form $\sum_{i\in I} a_i$ with $a_i \in A_i$ for all $i$ and $a_i \neq 0$ for only finitely many $i$. All indecomposable additive systems are determined.
The skew energy of random oriented graphs
Published
• View Publication
• BIB
Given a graph $G$, let $G^σ$ be an oriented graph of $G$ with the orientation $σ$ and skew-adjacency matrix $S(G^σ)$. The skew energy of the oriented graph $G^σ$, denoted by $\mathcal{E}_S(G^σ)$, is defined as the sum of the absolute values of all the eigenvalues of $S(G^σ)$. In this paper, we study the skew energy of random oriented graphs and formulate an exact estimate of the skew energy for almost all oriented graphs by generalizing Wigner's semicircle law. Moreover, we consider the skew energy of random regular oriented graphs $G_{n,d}^σ$, and get an exact estimate of the skew energy for almost all regular oriented graphs.
Binomial coefficients involving infinite powers of primes
Published
• View Publication
• BIB
If p is a prime and n a positive integer, let v(n) denote the exponent of p in n, and u(n)=n/p^{v(n)} the unit part of n. If k is a positive integer not divisible by p, we show that the p-adic limit of (-1)^{pke} u((kp^e)!) as e goes to infinity is a well-defined p-adic integer, which we call z_k. In terms of these, we give a formula for the p-adic limit of binom{a p^e +c, b p^e +d) as e goes to infinity, which we call binom(a p^\infty +c, b p^\infty +d). Here a \ge b are positive integers, and c and d are integers.
On expanders from the action of GL(2,Z)
Consider the undirected graph $G_n=(V_n, E_n)$ where $V_n = (Z/nZ)^2$ and $E_n$ contains an edge from $(x,y)$ to $(x+1,y)$, $(x,y+1)$, $(x+y,y)$, and $(x,y+x)$ for every $(x,y) \in V_n$. Gabber and Galil, following Margulis, gave an elementary proof that ${G_n}$ forms an expander family. In this note, we present a somewhat simpler proof of this fact, and demonstrate its utility by isolating a key property of the linear transformations $(x,y) -> (x+y,x), (x,y+x)$ that yields expansion.
As an example, consider any invertible, integral matrix $S \in GL_2(Z)$ and let $G^S_n = (V_n, E^S_n)$ where $E^S_n$ contains, for every $(x,y) \in V_n$, an edge from $(x,y)$ to $(x+1,y)$, $(x,y+1)$, $S(x,y)$, and $S^T(x,y)$, where $S^T$ denotes the transpose of $S$. Then {G_n^S} forms an expander family if and only if a related infinite graph has positive Cheeger constant. This latter property turns out to be elementary to analyze and can be used to show that {G_n^S} are expanders precisely when the trace of S is non-zero and S is not equal to its transpose. We also present some other generalizations.
Tatami Maker: A combinatorially rich mechanical game board
Japanese tatami mats are often arranged so that no four mats meet. This local restriction imposes a rich combinatorial structure when applied to monomino-domino coverings of rectilinear grids. We describe a modular, mechanical game board, prototyped with a desktop 3D printer, that enforces this restriction, and transforms tatami pen-and- paper puzzles into interactive sculptures. We review some recent mathematical discoveries on tatami coverings and present five new combinatorial games implemented on the game board.
Infinite Matroids and Determinacy of Games
Solving a problem of Diestel and Pott, we construct a large class of infinite matroids. These can be used to provide counterexamples against the natural extension of the Well-quasi-ordering-Conjecture to infinite matroids and to show that the class of planar infinite matroids does not have a universal matroid.
The existence of these matroids has a connection to Set Theory in that it corresponds to the Determinacy of certain games. To show that our construction gives matroids, we introduce a new very simple axiomatization of the class of countable tame matroids.
The semigroups of order 9 and their automorphism groups
Published in Semigroup Forum 88 (2014), no. 1, 93-112
• View Publication
• BIB
We report the number of semigroups with 9 elements up to isomorphism or anti-isomorphism to be 52,989,400,714,478 and up to isomorphism to be 105,978,177,936,292. We obtained these results by combining computer search with recently published formulae for the number of nilpotent semigroups of degree 3. We further provide a complete account of the automorphism groups of the semigroups with at most 9 elements. We use this information to deduce that there are 148,195,347,518,186 distinct associative binary operations on an 8-element set and 38,447,365,355,811,944,462 on a 9-element set.
Homologies of moduli space $\mathcal{M}_{2,1}$
Published
• View Publication
• BIB
We consider the space $\mathcal{M}_{2,1}$ --- the open moduli space of complex curves of genus 2 with one marked point. Using language of chord diagrams we describe the cell structure of $\mathcal{M}_{2,1}$ and cell adjacency. This allows us to construct matrices of boundary operators and compute Betty numbers of $\mathcal{M}_{2,1}$ over $\mathbb{Q}$.
Neutrality in the Graph Coloring Problem
Published in N° RR-8215 (2013)
• View Publication
• BIB
The graph coloring problem is often investigated in the literature. Many insights about many neighboring solutions with the same fitness value are raised but as far as we know, no deep analysis of this neutrality has ever been conducted in the literature. In this paper, we quantify the neutrality of some hard instances of the graph coloring problem. This neutrality property has to be detected as it impacts the search process. Indeed, local optima may belong to plateaus that represents a barrier for local search methods. In this work, we also aim at pointing out the interest of exploiting neutrality during the search. Therefore, a generic local search dedicated to neutral problems, NILS, is performed on several hard instances.
Coincidental pattern avoidance
Published
• View Publication
• BIB
There are several versions of permutation pattern avoidance that have arisen in the literature, and some known examples of two different types of pattern avoidance coinciding. In this paper, we examine barred patterns and vincular patterns. Answering a question of Steingrimsson, we determine when barred pattern avoidance coincides with avoiding a finite set of vincular patterns, and when vincular pattern avoidance coincides with avoiding a finite set of barred patterns. There are 720 barred patterns with this property, each having between 3 and 7 letters, of which at most 2 are barred, and there are 48 vincular patterns with this property, each having between 2 and 4 letters and exactly one bond.
Rainbow C_4's and Directed C_4's: the Bipartite Case Study
Published in Bull. Malays. Math. Sci. Soc, 39(2) (2016), 563--570
• View Publication
• BIB
In this paper we obtain a new sufficient condition for the existence of directed cycles of length 4 in oriented bipartite graphs. As a corollary, a conjecture of H. Li is confirmed. As an application, a sufficient condition for the existence of rainbow cycles of length 4 in bipartite edge-colored graphs is obtained.
Random walks in the quarter plane, discrete harmonic functions and conformal mappings
Published in Stochastic Processes and their Applications 124 (2014) 3147-3178
• View Publication
• BIB
We propose a new approach for finding discrete harmonic functions in the quarter plane with Dirichlet conditions. It is based on solving functional equations that are satisfied by the generating functions of the values taken by the harmonic functions. As a first application of our results, we obtain a simple expression for the harmonic function that governs the asymptotic tail distribution of the first exit time for random walks from the quarter plane. As another corollary, we prove, in the zero drift case, the uniqueness of the discrete harmonic function.
Sorting and generating reduced words
We introduce a partial order on the set of all reduced words of a given permutation $ω$, called \emph{directed-braid poset} of $ω$. This poset enables us to produce two algorithms: One is a sorting algorithm applied on any reduced word of $ω$ and aims to obtained the natural word (lexicographically largest reduced word); the other one is a generation algorithm applied on the natural word and aims to obtained the set of all reduced words of $ω$.
Central sets and substitutive dynamical systems
Published
• View Publication
• BIB
In this paper we establish a new connection between central sets and the strong coincidence conjecture for fixed points of irreducible primitive substitutions of Pisot type. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of subsets of $\nats$ possessing strong combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. We give an equivalent reformulation of the strong coincidence condition in terms of central sets and minimal idempotent ultrafilters in the Stone-Čech compactification $β\nats .$ This provides a new arithmetical approach to an outstanding conjecture in tiling theory, the Pisot substitution conjecture. The results in this paper rely on interactions between different areas of mathematics, some of which had not previously been directly linked: They include the general theory of combinatorics on words, abstract numeration systems, tilings, topological dynamics and the algebraic/topological properties of Stone-Čech compactification of $\nats.$
Eigenvalues of the Adin-Roichman Matrices
Published
• View Publication
• BIB
We find the spectrum of the Walsh-Hadamard type matrices defined by R.Adin and Y.Roichman in their recent work on character formulas and descent sets for the symmetric group.
Tight Hamilton cycles in random hypergraphs
Published
• View Publication
• BIB
We give an algorithmic proof for the existence of tight Hamilton cycles in a random r-uniform hypergraph with edge probability p=n^{-1+eps} for every eps>0. This partly answers a question of Dudek and Frieze [Random Structures Algorithms], who used a second moment method to show that tight Hamilton cycles exist even for p=omega(n)/n (r>2) where omega(n) tends to infinity arbitrary slowly, and for p=(e+o(1))/n (r>3).
The method we develop for proving our result applies to related problems as well.
Uniform Mixing and Association Schemes
Published
• View Publication
• BIB
We consider continuous-time quantum walks on distance-regular graphs of small diameter. Using results about the existence of complex Hadamard matrices in association schemes, we determine which of these graphs have quantum walks that admit uniform mixing.
First we apply a result due to Chan to show that the only strongly regular graphs that admit instantaneous uniform mixing are the Paley graph of order nine and certain graphs corresponding to regular symmetric Hadamard matrices with constant diagonal. Next we prove that if uniform mixing occurs on a bipartite graph X with n vertices, then n is divisible by four. We also prove that if X is bipartite and regular, then n is the sum of two integer squares. Our work on bipartite graphs implies that uniform mixing does not occur on C_{2m} for m >= 3. Using a result of Haagerup, we show that uniform mixing does not occur on C_p for any prime p such that p >= 5. In contrast to this result, we see that epsilon-uniform mixing occurs on C_p for all primes p.
The Packing Radius of a Code and Partitioning Problems: the Case for Poset Metrics
Until this work, the packing radius of a poset code was only known in the cases where the poset was a chain, a hierarchy, a union of disjoint chains of the same size, and for some families of codes. Our objective is to approach the general case of any poset. To do this, we will divide the problem into two parts.
The first part consists in finding the packing radius of a single vector. We will show that this is equivalent to a generalization of a famous NP-hard problem known as "the partition problem". Then, we will review the main results known about this problem giving special attention to the algorithms to solve it. The main ingredient to these algorithms is what is known as the differentiating method, and therefore, we will extend it to the general case.
The second part consists in finding the vector that determines the packing radius of the code. For this, we will show how it is sometimes possible to compare the packing radius of two vectors without calculating them explicitly.