random
6952 papers tagged with this keyword
Spectral upper bounds for the Grundy number of a graph
The Grundy number of a graph is the minimum number of colors needed to properly color the graph using the first-fit greedy algorithm regardless of the initial vertex ordering. Computing the Grundy number of a graph is an NP-Hard problem. There is a characterization in terms of induced subgraphs: a graph has a Grundy number at least k if and only if it contains a k-atom. In this paper, using properties of the matching polynomial, we determine the smallest possible largest eigenvalue of a k-atom. With this result, we present an upper bound for the Grundy number of a graph in terms of the largest eigenvalue of its adjacency matrix. We also present another upper bound using the largest eigenvalue and the size of the graph. Our bounds are asymptotically tight for some infinite families of graphs and provide improvements on the known bounds for the Grundy number of sparse random graphs.
Searching for (sharp) thresholds in random structures: where are we now?
We survey the current state of affairs in the study of thresholds and sharp thresholds in random structures on the occasion of the recent proof of the Kahn--Kalai Conjecture by Park and Pham and the fairly recent proof of the satisfiability conjecture for large $k$ by Ding, Sly, and Sun. Random discrete structures appear as fundamental objects of study in many scientific and mathematical fields including statistical physics, combinatorics, algorithms and complexity, social choice theory, coding theory, and statistics. While the models and properties of interest in these fields vary widely, much progress has been made through the development of general tools applicable to large families of models and properties all at once. Historically these tools originated to solve or make progress on specific, difficult conjectures in the areas mentioned above. We will survey recent progress on some of these hard problems and describe some challenges for the future.
Ramsey and Turán numbers of sparse hypergraphs
Degeneracy plays an important role in understanding Turán- and Ramsey-type properties of graphs. Unfortunately, the usual hypergraphical generalization of degeneracy fails to capture these properties. We define the skeletal degeneracy of a $k$-uniform hypergraph as the degeneracy of its $1$-skeleton (i.e., the graph formed by replacing every $k$-edge by a $k$-clique). We prove that skeletal degeneracy controls hypergraph Turán and Ramsey numbers in a similar manner to (graphical) degeneracy.
Specifically, we show that $k$-uniform hypergraphs with bounded skeletal degeneracy have linear Ramsey number. This is the hypergraph analogue of the Burr-Erdős conjecture (proved by Lee). In addition, we give upper and lower bounds of the same shape for the Turán number of a $k$-uniform $k$-partite hypergraph in terms of its skeletal degeneracy. The proofs of both results use the technique of dependent random choice. In addition, the proof of our Ramsey result uses the `random greedy process' introduced by Lee in his resolution of the Burr-Erdős conjecture.
A binomial random multigraph
Fix a positive integer $n$, a real number $p\in (0,1]$, and a (perhaps random) hypergraph $\mathcal{H}$ on $[n]$. We introduce and investigate the following random multigraph model, which we denote $\mathbb{G}(n,p\, ; \,\mathcal{H})$: begin with an empty graph on $n$ vertices, which are labelled by the set $[n]$. For every $H\in \mathcal{H}$ choose, independently from previous choices, a doubleton from $H$, say $D = \{i,j\} \subset H$, uniformly at random and then introduce an edge between the vertices $i$ and $j$ in the graph with probability $p$, where each edge is introduced independently of all other edges.
Perfect matchings and loose Hamilton cycles in the semirandom hypergraph model
Published
• View Publication
• BIB
We study the 2-offer semirandom 3-uniform hypergraph model on $n$ vertices. At each step, we are presented with 2 uniformly random vertices. We choose any other vertex, thus creating a hyperedge of size 3. We show a strategy that constructs a perfect matching, and another that constructs a loose Hamilton cycle, both succeeding asymptotically almost surely within $Θ(n)$ steps. Both results extend to $s$-uniform hypergraphs. The challenges with hypergraphs, and our methods, are qualitatively different from what has been seen for semirandom graphs. Much of our analysis is done on an auxiliary graph that is a uniform $k$-out subgraph of a random bipartite graph, and this tool may be useful in other contexts.
Cycle structure of Mallows permutation model with the $L^1$ distance
Introduced by Mallows as a ranking model in statistics, Mallows permutation model is a class of non-uniform probability distributions on the symmetric group $S_n$. The model depends on a distance metric on $S_n$ and a scale parameter $β$. In this paper, we take the distance metric to be the $L^1$ distance (also known as Spearman's footrule in the statistics literature), and investigate the cycle structure of random permutations drawn from Mallows permutation model with the $L^1$ distance.
We focus on the parameter regime where $β>0$. We show that the expected length of the cycle containing a given point is of order $\min\{\max\{β^{-2},1\},n\}$, and the expected diameter of the cycle containing a given point is of order $\min\{e^{-2β}\max\{β^{-2},1\}, n-1\}$. Moreover, when $β\ll n^{-1\slash 2}$, the sorted cycle lengths (in descending order) normalized by $n$ converge in distribution to the Poisson-Dirichlet law with parameter $1$. The proofs of the results rely on the hit and run algorithm, a Markov chain for sampling from the model.
Swap-based Deep Reinforcement Learning for Facility Location Problems in Networks
Facility location problems on graphs are ubiquitous in real world and hold significant importance, yet their resolution is often impeded by NP-hardness. Recently, machine learning methods have been proposed to tackle such classical problems, but they are limited to the myopic constructive pattern and only consider the problems in Euclidean space. To overcome these limitations, we propose a general swap-based framework that addresses the p-median problem and the facility relocation problem on graphs and a novel reinforcement learning model demonstrating a keen awareness of complex graph structures. Striking a harmonious balance between solution quality and running time, our method surpasses handcrafted heuristics on intricate graph datasets. Additionally, we introduce a graph generation process to simulate real-world urban road networks with demand, facilitating the construction of large datasets for the classic problem. For the initialization of the locations of facilities, we introduce a physics-inspired strategy for the p-median problem, reaching more stable solutions than the random strategy. The proposed pipeline coupling the classic swap-based method with deep reinforcement learning marks a significant step forward in addressing the practical challenges associated with facility location on graphs.
Majority-based Preference Diffusion on Social Networks
Published
• View Publication
• BIB
We study a majority based preference diffusion model in which the members of a social network update their preferences based on those of their connections. Consider an undirected graph where each node has a strict linear order over a set of $α$ alternatives. At each round, a node randomly selects two adjacent alternatives and updates their relative order with the majority view of its neighbors. We bound the convergence time of the process in terms of the number of nodes/edges and $α$. Furthermore, we study the minimum cost to ensure that a desired alternative will ``win'' the process, where occupying each position in a preference order of a node has a cost. We prove tight bounds on the minimum cost for general graphs and graphs with strong expansion properties. Furthermore, we investigate a more light-weight process where each node chooses one of its neighbors uniformly at random and copies its order fully with some fixed probability and remains unchanged otherwise. We characterize the convergence properties of this process, namely convergence time and stable states, using Martingale and reversible Markov chain analysis. Finally, we present the outcomes of our experiments conducted on different synthetic random graph models and graph data from online social platforms. These experiments not only support our theoretical findings, but also shed some light on some other fundamental problems, such as designing powerful countermeasures.
Type-II Apollonian Model
Published
• View Publication
• BIB
The family of planar graphs is a particularly important family and models many real-world networks. In this paper, we propose a principled framework based on the widely-known Apollonian packing process to generate new planar network, i.e., Type-II Apollonian network $\mathcal{A}_{t}$. The manipulation is different from that of the typical Apollonian network, and is proceeded in terms of the iterative addition of triangle instead of vertex. As a consequence, network $\mathcal{A}_{t}$ turns out to be hamiltonian and eulerian, however, the typical Apollonian network is not. Then, we in-depth study some fundamental structural properties on network $\mathcal{A}_{t}$, and verify that network $\mathcal{A}_{t}$ is sparse like most real-world networks, has scale-free feature and small-world property, and exhibits disassortative mixing structure. Next, we design an effective algorithm for solving the problem of how to enumerate spanning trees on network $\mathcal{A}_{t}$, and derive the asymptotic solution of the spanning tree entropy, which suggests that Type-II Apollonian network is more reliable to a random removal of edges than the typical Apollonian network. Additionally, we study trapping problem on network $\mathcal{A}_{t}$, and use average trapping time as metric to show that Type-II Apollonian network $\mathcal{A}_{t}$ has better structure for fast information diffusion than the typical Apollonian network.
Robust Hamiltonicity
We study conditions under which a given hypergraph is randomly robust Hamiltonian, which means that a random sparsification of the host graph contains a Hamilton cycle with high probability. Our main contribution provides nearly optimal results whenever the host graph is Hamilton connected in a locally robust sense, which translates to a typical induced subgraph of constant order containing Hamilton paths between any pair of suitable ends.
The proofs are based on the recent breakthrough on Talagrand's conjecture, which reduces the problem to specifying a distribution on the desired guest structure in the (deterministic) host structure. We find such a distribution via a new argument that reduces the problem to the case of perfect matchings in a higher uniformity.
As applications, we obtain asymptotically optimal results for perfect tilings in graphs and hypergraphs both in the minimum degree and uniformly dense setting. We also prove random robustness for powers of cycles under asymptotically optimal minimum degrees and degree sequences. We solve the problem for loose and tight Hamilton cycles in hypergraphs under a range of asymptotic minimum degree conditions. This includes in particular $k$-uniform tight Hamilton cycles under minimum $d$-degree conditions for $1\leq k-d \leq 3$. In all cases, our bounds on the sparseness are essentially best-possible.
On the maximum number of common neighbours in dense random regular graphs
Published
• View Publication
• BIB
We derive the distribution of the maximum number of common neighbours of a pair of vertices in a dense random regular graph.The proof involves two important steps. One step is to establish the extremal independence property: the asymptotic equivalence with the maximum component of a vector with independent marginal distributions. The other step is to prove that the distribution of the number of common neighbours for each pair of vertices can be approximated by the binomial distribution.
Sandpiles on the Vicsek fractal explode with probability 1/4
Published
• View Publication
• BIB
Vicsek fractal graphs are an important class of infinite graphs with self similar properties, polynomial growth and treelike features, on which several dynamical processes such as random walks or Abelian sandpiles can be rigorously analyzed and one can obtain explicit closed form expressions. While such processes on Vicsek fractals and on Euclidean lattices $\mathbb{Z}^2$ share some properties for instance in the recurrence behaviour, many quantities related to sandpiles on Euclidean lattices are still poorly understood. The current work focuses on the stabilization and explosion of Abelian sandpiles on Vicsek fractal graphs, and we prove that a sandpile sampled from the infinite volume limit plus one additional particle stabilizes with probability 3/4, that is, it does not stabilize almost surely and it explodes with the complementary probability 1/4. We prove the main result by using two different approaches: one of probabilistic nature and one of algebraic flavor. The first approach is based on investigating the particles sent to the boundary of finite volumes and showing that their number stays above four with positive probability. In the second approach we relate the question of stabilization and explosion of sandpiles in infinite volume to the order of elements of the sandpile group on finite approximations of the infinite Vicsek graph. The method applies to more general state spaces and by employing it we also find all invariant factors of the sandpile groups on the finite approximations of the infinite Vicsek fractal.
Resolution of the quadratic Littlewood--Offord problem
Consider a quadratic polynomial $Q(ξ_{1},\dots,ξ_{n})$ of independent Rademacher random variables $ξ_{1},\dots,ξ_{n}$. To what extent can $Q(ξ_{1},\dots,ξ_{n})$ concentrate on a single value? This quadratic version of the classical Littlewood--Offord problem was popularised by Costello, Tao and Vu in their study of symmetric random matrices. In this paper, we obtain an essentially optimal bound for this problem, as conjectured by Nguyen and Vu.
Specifically, if $Q(ξ_{1},\dots,ξ_{n})$ "robustly depends on at least $m$ of the $ξ_{i}$" in the sense that there is no way to pin down the value of $Q(ξ_{1},\dots,ξ_{n})$ by fixing values for fewer than $m$ of the variables $ξ_{i}$, then we have $\Pr[Q(ξ_{1},\dots,ξ_{n})=0]\le O(1/\sqrt{m})$. This also implies a similar result in the case where $ξ_{1},\dots,ξ_{n}$ have arbitrary distributions.
Our proof combines a number of ideas that may be of independent interest, including an inductive decoupling scheme that reduces quadratic anticoncentration problems to high-dimensional linear anticoncentration problems. Also, one application of our main result is the resolution of a conjecture of Alon, Hefetz, Krivelevich and Tyomkyn related to graph inducibility.
On the $p$-torsional rigidity of combinatorial graphs
We study the $p$-\emph{torsion function} and the corresponding $p$-\emph{torsional rigidity} associated with $p$-Laplacians and, more generally, $p$-Schrödinger operators, for $1<p<\infty$, on possibly infinite combinatorial graphs. We present sufficient criteria for the existence of a summable $p$-torsion function and we derive several upper and lower bounds for the $p$-torsional rigidity. Our methods are mostly based on novel surgery principles. As an application, we also find some new estimates on the bottom of the spectrum of the $p$-Laplacian with Dirichlet conditions, thus complementing some results recently obtained in: José M. Mazón, Julian Toledo, Torsional rigidity in random walk spaces, in a more general setting. Finally, we prove a Kohler-Jobin inequality for combinatorial graphs (for $p=2$): to the best of our knowledge, graphs thus become the third ambient where a Kohler-Jobin inequality is known to hold.
Vector Multispaces and Multispace Codes
Published in Appl. Math. Comput., vol. 486, article no. 129041, 2025
• View Publication
• BIB
Basic algebraic and combinatorial properties of finite vector spaces in which individual vectors are allowed to have multiplicities larger than $ 1 $ are derived. An application in coding theory is illustrated by showing that multispace codes that are introduced here may be used in random linear network coding scenarios, and that they generalize standard subspace codes (defined in the set of all subspaces of $ \mathbb{F}_q^n $) and extend them to an infinitely larger set of parameters. In particular, in contrast to subspace codes, multispace codes of arbitrarily large cardinality and minimum distance exist for any fixed $ n $ and $ q $.
Structure of lower tails in sparse random graphs
Published
• View Publication
• BIB
We study the typical structure of a sparse Erdős--Rényi random graph conditioned on the lower tail subgraph count event. We show that in certain regimes, a typical graph sampled from the conditional distribution resembles the entropy minimizer of the mean field approximation in the sense of both subgraph counts and cut norm. The main ingredients are an adaptation of an entropy increment scheme of Kozma and Samotij, and a new stability for the solution of the associated entropy variational problem.
The proof can be interpreted as a structural application of the new probabilistic hypergraph container lemma for sparser than average sets, and suggests a more general framework for establishing such typical behavior statements.
Average hitting times in some $f$-equitable graphs
Published
• View Publication
• BIB
It is known that the average hitting times of simple random walks from any vertex to any other vertex in distance-regular graphs are determined by their intersection array. In this paper, we introduce a new graph classification called $f$-equitable, utilizing both the equitable partition and the function $f$, which represents a generalization of distance-regular graphs. We determine the average hitting times from any vertex to any other vertex in $f$-equitable graphs by using their parameter referred to as the quotient matrix. Furthermore, we prove that there is some function $f$ such that the Cartesian product of two strongly regular graphs is $f$-equitable. We then calculate the quotient matrix for these graphs and determine the average hitting times from any vertex to any other vertex in these graphs. In the same manner, we determine the average hitting times on some generalized Paley graphs.
On generalized Sidon spaces
Published
• View Publication
• BIB
Sidon spaces have been introduced by Bachoc, Serra and Zémor as the $q$-analogue of Sidon sets, classical combinatorial objects introduced by Simon Szidon. In 2018 Roth, Raviv and Tamo introduced the notion of $r$-Sidon spaces, as an extension of Sidon spaces, which may be seen as the $q$-analogue of $B_r$-sets, a generalization of classical Sidon sets. Thanks to their work, the interest on Sidon spaces has increased quickly because of their connection with cyclic subspace codes they pointed out. This class of codes turned out to be of interest since they can be used in random linear network coding. In this work we focus on a particular class of them, the one-orbit cyclic subspace codes, through the investigation of some properties of Sidon spaces and $r$-Sidon spaces, providing some upper and lower bounds on the possible dimension of their \textit{r-span} and showing explicit constructions in the case in which the upper bound is achieved. Moreover, we provide further constructions of $r$-Sidon spaces, arising from algebraic and combinatorial objects, and we show examples of $B_r$-sets constructed by means of them.
Power domination with random sensor failure
The power domination problem seeks to determine the minimum number of phasor measurement units (PMUs) needed to monitor an electric power network. We introduce random sensor failure before the power domination process occurs and call this the fragile power domination process. For a given graph, PMU placement, and probability of PMU failure $q$, we study the expected number of observed vertices at the termination of the fragile power domination process. This expected value is a polynomial in $q$, which we relate to fault-tolerant and PMU-defect-robust power domination. We also study the probability of that the entire graph becomes observed and give results for some graph families.
Diffusion limited aggregation in the layers model
In the classical model of Diffusion Limited Aggregation (DLA), introduced by Witten and Sander, the process begins with a single particle cluster placed at the origin of a space, and then, one at a time, particles make a random walk from infinity until they collide with, and stick to, the existing cluster.
We consider an analogous version of this process on large but finite graphs with a designated source and sink vertex. Initially the cluster of halted particles contains a single particle at the sink vertex. Starting one at a time from the source, each particle makes a random walk in the direction of the sink vertex. The particle halts at the last unoccupied vertex before the walk enters the cluster for the first time, thus increasing the size of the cluster. This continues until the source vertex becomes occupied, at which point the process ends. We study the DLA process on several classes of layered graphs, including Cayley trees of branching factor at least two with a sink vertex attached to the leaves. We determine the finish time of the process for a given class of graphs and show that the subcomponent of the final cluster linking source to sink is essentially a unique path.