random
7100 papers tagged with this keyword
A DSATUR-based algorithm for the Equitable Coloring Problem
Published in Computers & Operations Research, Volume 57 (2015), 41--50
• View Publication
• BIB
This paper describes a new exact algorithm for the Equitable Coloring Problem, a coloring problem where the sizes of two arbitrary color classes differ in at most one unit. Based on the well known DSatur algorithm for the classic Coloring Problem, a new pruning criterion arising from equity constraints is proposed and analyzed. The good performance of the algorithm is shown through computational experiments over random and benchmark instances.
Enumeration of symmetric centered rhombus tilings of a hexagon
A rhombus tiling of a hexagon is said to be centered if it contains the central lozenge. We compute the number of vertically symmetric rhombus tilings of a hexagon with side lengths $a, b, a, a, b, a$ which are centered. When $a$ is odd and $b$ is even, this shows that the probability that a random vertically symmetric rhombus tiling of a $a, b, a, a, b, a$ hexagon is centered is exactly the same as the probability that a random rhombus tiling of a $a, b, a, a, b, a$ hexagon is centered. This also leads to a factorization theorem for the number of all rhombus tilings of a hexagon which are centered.
The probability that a character value is zero for the symmetric group
Published
• View Publication
• BIB
We consider random character values X(g) of the symmetric group on n symbols, where X is chosen at random from the set of irreducible characters and g is chosen at random from the group, and we show that X(g)=0 with probability tending to one as n tends to infinity.
Random subgraphs make identification affordable
Published in Journal of Combinatorics 8(1):57-77, 2017
• View Publication
• BIB
An identifying code of a graph is a dominating set which uniquely determines all the vertices by their neighborhood within the code. Whereas graphs with large minimum degree have small domination number, this is not the case for the identifying code number (the size of a smallest identifying code), which indeed is not even a monotone parameter with respect to graph inclusion.
We show that every graph $G$ with $n$ vertices, maximum degree $Δ=ω(1)$ and minimum degree $δ\geq c\logΔ$, for some constant $c>0$, contains a large spanning subgraph which admits an identifying code with size $O\left(\frac{n\logΔ}δ\right)$. In particular, if $δ=Θ(n)$, then $G$ has a dense spanning subgraph with identifying code $O\left(\log n\right)$, namely, of asymptotically optimal size. The subgraph we build is created using a probabilistic approach, and we use an interplay of various random methods to analyze it. Moreover we show that the result is essentially best possible, both in terms of the number of deleted edges and the size of the identifying code.
Completions of epsilon-dense partial Latin squares; quasirandom k-colorings of graphs
A classical question in combinatorics is the following:\ given a partial Latin square $P$, when can we complete $P$ to a Latin square $L$? In this paper, we investigate the class of \textbf{$ε$-dense partial Latin squares}:\ partial Latin squares in which each symbol, row, and column contains no more than $εn$-many nonblank cells. Based on a conjecture of Nash-Williams, Daykin and Häggkvist conjectured that all $\frac{1}{4}$-dense partial Latin squares are completable. In this paper, we will discuss the proof methods and results used in previous attempts to resolve this conjecture, introduce a novel technique derived from a paper by Jacobson and Matthews on generating random Latin squares, and use this novel technique to study $ ε$-dense partial Latin squares that contain no more than $δn^2$ filled cells in total.
In particular, we construct completions for all $ ε$-dense partial Latin squares containing no more than $δn^2$ filled cells in total, given that $ε< \frac{1}{12}, δ< \frac{ \left(1-12ε\right)^{2}}{10409}$. In particular, we show that all $9.8 \cdot 10^{-5}$-dense partial Latin squares are completable.
We further show that such completions can always be found in polynomial time. This contrasts a result of Colbourn. In Chapter 3, we strengthen Colbourn's result to the claim that completing an arbitrary $\left(\frac{1}{2} + ε\right)$-dense partial Latin square is NP-complete, for any $ε> 0$.
Additional results on triangulations of graphs are found.
In an unrelated vein, Chapter 6 explores the class of quasirandom graphs. In specific, we study quasirandom $k$-edge colorings, and create an analogue of Chung, Graham and Wilson's well-known results for such colorings.
Firefighting on square, hexagonal, and triangular grids
In this paper, we consider the \emph{firefighter problem} on a graph $G=(V,E)$ that is either finite or infinite. Suppose that a fire breaks out at a given vertex $v \in V$. In each subsequent time unit, a firefighter protects one vertex which is not yet on fire, and then the fire spreads to all unprotected neighbors of the vertices on fire. The objective of the firefighter is to save as many vertices as possible (if $G$ is finite) or to stop the fire from spreading (for an infinite case).
The surviving rate $ρ(G)$ of a finite graph $G$ is defined as the expected percentage of vertices that can be saved when a fire breaks out at a vertex of $G$ that is selected uniformly random. For a finite square grid $P_n \square P_n$, we show that $5/8 + o(1) \le ρ(P_n \square P_n) \le 67243/105300 + o(1)$ (leaving the gap smaller than 0.014) and conjecture that the surviving rate is asymptotic to 5/8.
We define the surviving rate for infinite graphs and prove it to be 1/4 for the infinite square grid, even in the case of finitely many initial fires. For the infinite hexagonal grid we provide a winning strategy if two additional vertices can be protected at any point of the process, and we conjecture that the firefighter has no strategy to stop the fire without additional help. We also show how the speed of the spreading fire can be reduced by a constant factor.
Ramanujan graphings and correlation decay in local algorithms
Published in Random Structures & Algorithms Volume 47, Issue 3, 424-435, 2015
• View Publication
• BIB
Let $G$ be a large-girth $d$-regular graph and $μ$ be a random process on the vertices of $G$ produced by a randomized local algorithm. We prove the upper bound $(k+1-2k/d)\Bigl(\frac{1}{\sqrt{d-1}}\Bigr)^k$ for the (absolute value of the) correlation of values on pairs of vertices of distance $k$ and show that this bound is optimal. The same results hold automatically for factor of i.i.d processes on the $d$-regular tree. In that case we give an explicit description for the (closure) of all possible correlation sequences. Our proof is based on the fact that the Bernoulli graphing of the infinite $d$-regular tree has spectral radius $2\sqrt{d-1}$. Graphings with this spectral gap are infinite analogues of finite Ramanujan graphs and they are interesting on their own right.
Problems on q-Analogs in Coding Theory
The interest in $q$-analogs of codes and designs has been increased in the last few years as a consequence of their new application in error-correction for random network coding. There are many interesting theoretical, algebraic, and combinatorial coding problems concerning these q-analogs which remained unsolved. The first goal of this paper is to make a short summary of the large amount of research which was done in the area mainly in the last few years and to provide most of the relevant references. The second goal of this paper is to present one hundred open questions and problems for future research, whose solution will advance the knowledge in this area. The third goal of this paper is to present and start some directions in solving some of these problems.
A transition of limiting distributions of large matchings in random graphs
Published
• View Publication
• BIB
We study the asymptotic distribution of the number of matchings of size $\ell=\ell(n)$ in $G(n,p)$ for a wide range of $p=p(n)\in (0,1)$ and for every $1\le \ell\le \lfloor n/2\rfloor$. We prove that this distribution changes from normal to log-normal as $\ell$ increases, and we determine the critical value of $\ell$, as a function of $n$ and $p$, at which the transition of the limiting distribution occurs.
Combinatorial theory of the semiclassical evaluation of transport moments I: Equivalence with the random matrix approach
Published in J. Math. Phys. 54, 112103 (2013)
• View Publication
• BIB
To study electronic transport through chaotic quantum dots, there are two main theoretical approachs. One involves substituting the quantum system with a random scattering matrix and performing appropriate ensemble averaging. The other treats the transport in the semiclassical approximation and studies correlations among sets of classical trajectories. There are established evaluation procedures within the semiclassical evaluation that, for several linear and non-linear transport moments to which they were applied, have always resulted in the agreement with random matrix predictions. We prove that this agreement is universal: any semiclassical evaluation within the accepted procedures is equivalent to the evaluation within random matrix theory.
The equivalence is shown by developing a combinatorial interpretation of the trajectory sets as ribbon graphs (maps) with certain properties and exhibiting systematic cancellations among their contributions. Remaining trajectory sets can be identified with primitive (palindromic) factorisations whose number gives the coefficients in the corresponding expansion of the moments of random matrices. The equivalence is proved for systems with and without time reversal symmetry.
Repetition-free longest common subsequence of random sequences
Published
• View Publication
• BIB
A repetition free Longest Common Subsequence (LCS) of two sequences x and y is an LCS of x and y where each symbol may appear at most once. Let R denote the length of a repetition free LCS of two sequences of n symbols each one chosen randomly, uniformly, and independently over a k-ary alphabet. We study the asymptotic, in n and k, behavior of R and establish that there are three distinct regimes, depending on the relative speed of growth of n and k. For each regime we establish the limiting behavior of R. In fact, we do more, since we actually establish tail bounds for large deviations of R from its limiting behavior.
Our study is motivated by the so called exemplar model proposed by Sankoff (1999) and the related similarity measure introduced by Adi et al. (2007). A natural question that arises in this context, which as we show is related to long standing open problems in the area of probabilistic combinatorics, is to understand the asymptotic, in n and k, behavior of parameter R.
Capturing the Drunk Robber on a Graph
Published in Electronic Journal of Combinatorics, Volume 21 (3), 2014
• View Publication
• BIB
We show that the expected time for a smart "cop" to catch a drunk "robber" on an $n$-vertex graph is at most $n + {\rm o}(n)$. More precisely, let $G$ be a simple, connected, undirected graph with distinguished points $u$ and $v$ among its $n$ vertices. A cop begins at $u$ and a robber at $v$; they move alternately from vertex to adjacent vertex. The robber moves randomly, according to a simple random walk on $G$; the cop sees all and moves as she wishes, with the object of "capturing" the robber---that is, occupying the same vertex---in least expected time. We show that the cop succeeds in expected time no more than $n + {\rm o}(n)$. Since there are graphs in which capture time is at least $n - o(n)$, this is roughly best possible. We note also that no function of the diameter can be a bound on capture time.
Conditional Random Fields, Planted Constraint Satisfaction, and Entropy Concentration
Published
• View Publication
• BIB
This paper studies a class of probabilistic models on graphs, where edge variables depend on incident node variables through a fixed probability kernel. The class includes planted con- straint satisfaction problems (CSPs), as well as more general structures motivated by coding and community clustering problems. It is shown that under mild assumptions on the kernel and for sparse random graphs, the conditional entropy of the node variables given the edge variables concentrates around a deterministic threshold. This implies in particular the concentration of the number of solutions in a broad class of planted CSPs, the existence of a threshold function for the disassortative stochastic block model, and the proof of a conjecture on parity check codes. It also establishes new connections among coding, clustering and satisfiability.
Euler-Frobenius numbers and rounding
Published
• View Publication
• BIB
We study the Euler-Frobenius numbers, a generalization of the Eulerian numbers, and the probability distribution obtained by normalizing them. This distribution can be obtained by rounding a sum of independent uniform random variables; this is more or less implicit in various results and we try to explain this and various connections to other areas of mathematics, such as spline theory.
The mean, variance and (some) higher cumulants of the distribution are calculated. Asymptotic results are given. We include a couple of applications to rounding errors and election methods.
The CRT is the scaling limit of random dissections
Published
• View Publication
• BIB
We study the graph structure of large random dissections of polygons sampled according to Boltzmann weights, which encompasses the case of uniform dissections or uniform $p$-angulations. As their number of vertices $n$ goes to infinity, we show that these random graphs, rescaled by $n^{-1/2}$, converge in the Gromov--Hausdorff sense towards a multiple of Aldous' Brownian tree when the weights decrease sufficiently fast. The scaling constant depends on the Boltzmann weights in a rather amusing and intriguing way, and is computed by making use of a Markov chain which compares the length of geodesics in dissections with the length of geodesics in their dual trees.
Grounded Lipschitz functions on trees are typically flat
Published
• View Publication
• BIB
A grounded M-Lipschitz function on a rooted d-ary tree is an integer-valued map on the vertices that changes by at most along edges and attains the value zero on the leaves. We study the behavior of such functions, specifically, their typical value at the root v_0 of the tree. We prove that the probability that the value of a uniformly chosen random function at v_0 is more than M+t is doubly-exponentially small in t. We also show a similar bound for continuous (real-valued) grounded Lipschitz functions.
Counting sets with small sumset and applications
Published
• View Publication
• BIB
We study the number of $k$-element sets $A \subset \{1,\ldots,N\}$ with $|A + A| \leq K|A|$ for some (fixed) $K > 0$. Improving results of the first author and of Alon, Balogh, Samotij and the second author, we determine this number up to a factor of $2^{o(k)} N^{o(1)}$ for most $N$ and $k$. As a consequence of this and a further new result concerning the number of sets $A \subset \mathbf{Z}/N\mathbf{Z}$ with $|A +A| \leq c |A|^2$, we deduce that the random Cayley graph on $\mathbf{Z}/N\mathbf{Z}$ with edge density~$\frac{1}{2}$ has no clique or independent set of size greater than $\big( 2 + o(1) \big) \log_2 N$, asymptotically the same as for the Erdős-Rényi random graph. This improves a result of the first author from 2003 in which a bound of $160 \log_2 N$ was obtained. As a second application, we show that if the elements of $A \subset \mathbf{N}$ are chosen at random, each with probability $1/2$, then the probability that $A+A$ misses exactly $k$ elements of $\mathbf{N}$ is equal to $\big( 2 + o(1) \big)^{-k/2}$ as $k \to \infty$.
Limit laws and automorphism groups of random nonrigid structures
Published in Journal of Logic and Analysis, Vol. 7, no 2 (2015) 1-53 p
• View Publication
• BIB
A systematic study is made, for an arbitrary finite relational language with at least one symbol of arity at least 2, of classes of nonrigid finite structures. The well known results that almost all finite structures are rigid and that the class of finite structures has a zero-one law are, in the present context, the first layer in a hierarchy of classes of finite structures with increasingly more complex automorphism groups. Such a hierarchy can be defined in more than one way. For example, the $k$th level of the hierarchy can consist of all structures having at least $k$ elements which are moved by some automorphism. Or we can consider, for any finite group $G$, all finite structures $\mathcal{M}$ such that $G$ is a subgroup of the group of autmorphisms of $\mathcal{M}$; in this case the "hierarchy" is a partial order. In both cases, as well as variants of them, each "level" satisfies a logical limit law, but not a zero-one law (unless $k = 0$ or $G$ is trivial). Moreover, the number of (labelled or unlabelled) $n$-element structures in one place of the hierarchy divided by the number of $n$-element structures in another place always converges to a rational number or to $\infty$ as $n \to \infty$. All instances of the respective result are proved by an essentially uniform argument.
Multiple isolation of nodes in recursive trees
Published
• View Publication
• BIB
We introduce the problem of isolating several nodes in random recursive trees by successively removing random edges, and study the number of random cuts that are necessary for the isolation. In particular, we analyze the number of random cuts required to isolate $\ell$ selected nodes in a size-n random recursive tree for three different selection rules, namely (i) isolating all of the nodes labelled 1,2,...,$\ell$ (thus nodes located close to the root of the tree), (ii) isolating all of the nodes labelled n+1-$\ell$,n+2-$\ell$,...,n (thus nodes located at the fringe of the tree), and (iii) isolating $\ell$ nodes in the tree, which are selected at random before starting the edge-removal procedure. Using a generating functions approach we determine for these selection rules the limiting distribution behavior of the number of cuts to isolate all selected nodes, for $\ell$ fixed and n tending to infinity.
(k,m)-connectivity in Mobile Clustered Wireless Networks
This paper has been withdrawn by the author due to a crucial error in the calculation of Equation (28). We propose a novel concept of $(k,m)$-connectivity in mobile clustered wireless networks, in which there are $n$ mobile cluster members and $n^d$ static cluster heads, where $k,m,d$ are all positive constants and $k\leq m$. $(k,m)$-connectivity signifies that in a time period consisting of $m$ time slots, there exist at least $k$ time slots for each cluster member and in any one of these $k$ time slots the cluster member can directly communicate with at least one cluster head. We investigate the critical transmission range of asymptotic $(k,m)$-connectivity when cluster members move according to random walk or i.i.d. mobility model. Under random walk mobility, we propose two general heterogeneous velocity models in which cluster members may move with different velocities. Under both mobility models, we also define weak and strong parameters conditions, resulting in different accuracies of evaluations on the probability that the network is asymptotically $(k,m)$-connected, denoted as $P(\mathcal {C})$ below for simplicity. For both mobilities, under weak parameters condition, we provide bounds on $P(\mathcal {C})$ and derive the critical transmission range for $(k,m)$-connectivity. For random walk mobility with one kind of velocity model and i.i.d. mobility, under strong parameters condition, we present a precise asymptotic probability distribution of $P(\mathcal {C})$ in terms of the transmission radius. Our results offer fundamental insights and theoretical guidelines on design of large-scale wireless networks.