arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
Stability of Linear Boolean Networks
Published in Physica D: Nonlinear Phenomena, 451, 133775, 2023 • View PublicationBIB
Stability is an important characteristic of network models that has implications for other desirable aspects such as controllability. The stability of a Boolean network depends on various factors, such as the topology of its wiring diagram and the type of the functions describing its dynamics. In this paper, we study the stability of linear Boolean networks by computing Derrida curves and quantifying the number of attractors and cycle lengths imposed by their network topologies. Derrida curves are commonly used to measure the stability of Boolean networks and several parameters such as the average in-degree K and the output bias p can indicate if a network is stable, critical, or unstable. For random unbiased Boolean networks there is a critical connectivity value Kc=2 such that if K<Kc networks operate in the ordered regime, and if K>Kc networks operate in the chaotic regime. Here, we show that for linear networks, which are the least canalizing and most unstable, the phase transition from order to chaos already happens at an average in-degree of Kc=1. Consistently, we also show that unstable networks exhibit a large number of attractors with very long limit cycles while stable and critical networks exhibit fewer attractors with shorter limit cycles. Additionally, we present theoretical results to quantify important dynamical properties of linear networks. First, we present a formula for the proportion of attractor states in linear systems. Second, we show that the expected number of fixed points in linear systems is 2, while general Boolean networks possess on average one fixed point. Third, we present a formula to quantify the number of bijective linear Boolean networks and provide a lower bound for the percentage of this type of network.
2022-09-02
The Iterative Independent Model
Published • View PublicationBIB
Deterministic complex networks that use iterative generation algorithms have been found to more closely mirror properties found in real world networks than the traditional uniform random graph models. In this paper we introduce a new, Iterative Independent Model (IIM), generalizing previously defined models. These models use ideas from Structural Balance Theory to generate edges through a notion of cloning where ``the friend of my friend is my friend'' and anticloning where ``the enemy of my enemy is my friend''. In this paper, we vastly generalize these notions by allowing each vertex added at a given time step to choose independently of the other vertices if it will be cloned or anticloned. While it may seem natural to focus on a randomized model, where we randomly determine whether or not to clone any given vertex, we found the general deterministic model exhibited certain structural properties regardless of the probabilities. This allows applications to then explore the particulars, while having the theoretical model explain the structural phenomenons that occur in all possible scenarios. Throughout the paper we demonstrate that all IIM graphs have spectral gap bounded away from zero, which indicates the clustering properties also found in social networks. Furthermore, we show bounds on the diameter, domination number, and clique number further indicating the well clustered behaviour of IIM graphs. Finally, for any fixed graph $F$ all IIM graphs will eventually contain an induced copy of $F$.
A robust Corrádi--Hajnal Theorem
Published • View PublicationBIB
For a graph $G$ and $p\in[0,1]$, we denote by $G_p$ the random sparsification of $G$ obtained by keeping each edge of $G$ independently, with probability $p$. We show that there exists a $C>0$ such that if $p\geq C(\log n)^{1/3}n^{-2/3}$ and $G$ is an $n$-vertex graph with $n\in 3\mathbb{N}$ and $δ(G)\geq \tfrac{2n}{3}$, then with high probability $G_p$ contains a triangle factor. Both the minimum degree condition and the probability condition, up to the choice of $C$, are tight. Our result can be viewed as a common strengthening of the seminal theorems of Corrádi and Hajnal, which deals with the extremal minimum degree condition for containing triangle factors (corresponding to $p=1$ in our result), and Johansson, Kahn and Vu, which deals with the threshold for the appearance of a triangle factor in $G(n,p)$ (corresponding to $G=K_n$ in our result). It also implies a lower bound on the number of triangle factors in graphs with minimum degree at least $\tfrac{2n}{3}$ which gets close to the truth.
2022-09-01
Commutators in finite free probability, I
This paper describes the expected characteristic polynomial of the commutator of randomly rotated matrices, in the context of the finite free probability theory initiated by Marcus, Spielman, and Srivastava. The key technical features are the use of Weingarten calculus to translate the random matrix problem into one of combinatorial representation theory, followed by some applications of the Goulden-Jackson immanant formula and the classical theory of permutation modules.
2022-09-01 v2
Subgraph distributions in dense random regular graphs
Published • View PublicationBIB
Given connected graph $H$ which is not a star, we show that the number of copies of $H$ in a dense uniformly random regular graph is asymptotically Gaussian, which was not known even for $H$ being a triangle. This addresses a question of McKay from the 2010 International Congress of Mathematicians. In fact, we prove that the behavior of the variance of the number of copies of $H$ depends in a delicate manner on the occurrence and number of cycles of length $3,4,5$ as well as paths of length $3$ in $H$. More generally, we provide control of the asymptotic distribution of certain statistics of bounded degree which are invariant under vertex permutations, including moments of the spectrum of a random regular graph. Our techniques are based on combining complex-analytic methods due to McKay and Wormald used to enumerate regular graphs with the notion of graph factors developed by Janson in the context of studying subgraph counts in $\mathbb{G}(n,p)$.
2022-08-29
Cutoff profile of the Metropolis biased card shuffling
Published in Ann. Probab. 52(2): 713-736 (March 2024) • View PublicationBIB
We consider the Metropolis biased card shuffling (also called the multi-species ASEP on a finite interval or the random Metropolis scan). Its convergence to stationary was believed to exhibit a total-variation cutoff, and that was proved a few years ago by Labbé and Lacoin. In this paper, we prove that (for $N$ cards) the cutoff window is in the order of $N^{1/3}$, and the cutoff profile is given by the GOE Tracy-Widom distribution function. This confirms a conjecture by Bufetov and Nejjar. Our approach is different from Labbé-Lacoin, by comparing the card shuffling with the multi-species ASEP on $\mathbb{Z}$, and using Hecke algebra and recent ASEP shift-invariance and convergence results. Our result can also be viewed as a generalization of the Oriented Swap Process finishing time convergence of Bufetov-Gorin-Romik, which is the TASEP version (of our result).
2022-08-29 v3
Non-intersecting path constructions for TASEP with inhomogeneous rates and the KPZ fixed point
Published in Commun. Math. Phys. 402: 285-333 (2023) • View PublicationBIB
We consider a discrete-time TASEP, where each particle jumps according to Bernoulli random variables with particle-dependent and time-inhomogeneous parameters. We use the combinatorics of the Robinson-Schensted-Knuth correspondence and certain intertwining relations to express the transition kernel of this interacting particle system in terms of ensembles of weighted, non-intersecting lattice paths and, consequently, as a marginal of a determinantal point process. We next express the joint distribution of the particle positions as a Fredholm determinant, whose correlation kernel is given in terms of a boundary-value problem for a discrete heat equation. The solution to such a problem finally leads us to a representation of the correlation kernel in terms of random walk hitting probabilities, generalising the formulation of Matetski, Quastel and Remenik (Acta Math., 2021) to the case of both particle- and time-inhomogeneous rates. The solution to the boundary value problem in the fully inhomogeneous case appears with a finer structure than in the homogeneous case.
2022-08-29
Randomized Approximation Schemes for the Tutte Polynomial and Random Clustering in Subdense and Superdense Graphs
Extending the work of Alon, Frieze abnd Welsh, we show that there are randomized polynomial time approximation schemes for computing the Tutte polynomial in subdense graphs with an minimal node degree of $Ω\left ( \frac{n}{\sqrt{\log n}}\right )$ . The same holds for the partition function $Z$ in the random cluster model with uniform edge probabilities and for the associated distribution $λ(A),\: A \subseteq E$ whenever the underlying graph $G=(V,E)$ is $c\cdot\frac{n}{\sqrt{\log (n)}}$-subdense. In the superdense case with node degrees $n-o(n)$, we show that the Tutte polynomial $T_G(x,y)$ is asymptotically equal to $Q=(x-1)(y-1)$. Moreover, we briefly discuss the problem of approximating $Z$ in the case of $(α, β)$-power law graphs.
2022-08-29 v3
Determining a Points Configuration on the Line from a Subset of the Pairwise Distances
We investigate rigidity-type problems on the real line and the circle in the non-generic setting. Specifically, we consider the problem of uniquely determining the positions of $n$ distinct points $V = {v_1, \ldots, v_n}$ given a set of mutual distances $\mathcal{P} \subseteq {V \choose 2}$. We establish an extremal result: if $|\mathcal{P}| = Ω(n^{3/2})$, then the positions of a large subset $V' \subseteq V$, where large means $|V'| = Ω(\frac{|\mathcal{P}|}{n})$, can be uniquely determined up to isometry. As a main ingredient in the proof, which may be of independent interest, we show that dense graphs $G=(V,E)$ for which every two non-adjacent vertices have only a few common neighbours must have large cliques. Furthermore, we examine the problem of reconstructing $V$ from a random distance set $\mathcal{P}$. We establish that if the distance between each pair of points is known independently with probability $p = \frac{C \ln(n)}{n}$ for some universal constant $C > 0$, then $V$ can be reconstructed from the distances with high probability. We provide a randomized algorithm with linear expected running time that returns the correct embedding of $V$ to the line with high probability. Since we posted a preliminary version of the paper on arxiv, follow-up works have improved upon our results in the random setting. Girão, Illingworth, Michel, Powierski, and Scott proved a hitting time result for the first moment at which an time at which one can reconstruct $V$ when $\mathcal{P}$ is revealed using the Erdös--Rényi evolution, our extremal result lies in the heart of their argument. Montgomery, Nenadov and Szabó resolved a conjecture we posed in a previous version and proved that w.h.p a graph sampled from the Erdös--Rényi evolution becomes globally rigid in $\mathbb{R}$ at the moment it's minimum degree is $2$.
Zero Forcing with Random Sets
Published • View PublicationBIB
Given a graph $G$ and a real number $0\le p\le 1$, we define the random set $B_p(G)\subset V(G)$ by including each vertex independently and with probability $p$. We investigate the probability that the random set $B_p(G)$ is a zero forcing set of $G$. In particular, we prove that for large $n$, this probability for trees is upper bounded by the corresponding probability for a path graph. Given a minimum degree condition, we also prove a conjecture of Boyer et.\ al.\ regarding the number of zero forcing sets of a given size that a graph can have.
Ramsey numbers of cycles in random graphs
Let $R(C_n)$ be the Ramsey number of the cycle on $n$ vertices. We prove that, for some $C > 0$, with high probability every $2$-colouring of the edges of $G(N,p)$ has a monochromatic copy of $C_n$, as long as $N\geq R(C_n) + C/p$ and $p \geq C/n$. This is sharp up to the value of $C$ and it improves results of Letzter and of Krivelevich, Kronenberg and Mond.
2022-08-27
Emergent Spatial Characteristics from Strategic Games Simulated on Random and Real Networks
Complex networks are a great tool for simulating the outcomes of different strategies used within the iterated prisoners' dilemma game. However, because the strategies themselves rely on the connection between nodes, then initial network structure should have an impact on the progression of the game. By defining each interaction in terms of a prisoner's dilemma and using its payoff matrix as a basis for investigation, we implemented players with various interaction and edge attachment strategies, and ran this dynamic process on real and random networks with varying network structure. We found that, both network size and small world properties played an important role in not only deciding the convergence rate of the simulation but also the dominant status of nodes, under the conditions where identical strategies are employed by every player.
2022-08-26 v3
Tipsy cop and tipsy robber: collisions of biased random walks on graphs
Published • View PublicationBIB
Introduced by Harris, Insko, Prieto Langarica, Stoisavljevic, and Sullivan, the \emph{tipsy cop and drunken robber} is a variant of the cop and robber game on graphs in which the robber simply moves randomly along the graph, while the cop moves directed towards the robber some fixed proportion of the time and randomly the remainder. In this article, we adopt a slightly different interpretation of tipsiness of the cop and robber where we assume that in any round of the game there are four possible outcomes: a sober cop move, a sober robber move, a tipsy (uniformly random) move by the cop, and a tipsy (uniformly random) move by the robber. We study this tipsy cop and tipsy robber game on the infinite grid graph and on certain families of infinite trees including $δ$-regular trees %infinite binary trees with an infinite path rooted at every vertex, and $δ$-regular trees rooted to a $Δ$-regular tree, where $Δ\geq δ$. Our main results analyze strategies for the cop and robber on these graphs. We conclude with some directions for further study.
2022-08-25 v2
Constructing Random Steiner Triple Systems: An Experimental Study
Published • View PublicationBIB
Several methods for generating random Steiner triple systems (STSs) have been proposed in the literature, such as Stinson's hill-climbing algorithm and Cameron's algorithm, but these are not yet completely understood. Those algorithms, as well as some variants, are here assessed for STSs of both small and large orders. For large orders, the number of occurrences of certain configurations in the constructed STSs are compared with the corresponding expected values of random hypergraphs. Modifications of the algorithms are proposed.
2022-08-25 v2
Some Remarks on the Erdős Distinct Subset Sums Problem
Published • View PublicationBIB
Let $\left\{a_1, \dots, a_n\right\} \subset \mathbb{N}$ be a set of positive integers, $a_n$ denoting the largest element, so that for any two of the $2^n$ subsets the sum of all elements is distinct. Erdős asked whether this implies $a_n \geq c \cdot 2^n$ for some universal $c>0$. We prove, slightly extending a result of Elkies, that for any $a_1, \dots, a_n \in \mathbb{R}_{>0}$ $$ \int_{\mathbb{R}} \left( \frac{\sin{ x}}{ x} \right)^2 \prod_{i=1}^{n} \cos{( a_i x)^2} dx \geq \fracπ{2^{n}}$$ with equality if and only if all subset sums are $1-$separated. This leads to a new proof of the currently best lower bound $a_n \geq \sqrt{2/πn} \cdot 2^n$. The main new insight is that having distinct subset sums and $a_n$ small requires the random variable $X = \pm a_1 \pm a_2 \pm \dots \pm a_n$ to be close to Gaussian in a precise sense.
Guarantees for Spontaneous Synchronization on Random Geometric Graphs
Published • View PublicationBIB
The Kuramoto model is a classical mathematical model in the field of non-linear dynamical systems that describes the evolution of coupled oscillators in a network that may reach a synchronous state. The relationship between the network's topology and whether the oscillators synchronize is a central question in the field of synchronization, and random graphs are often employed as a proxy for complex networks. On the other hand, the random graphs on which the Kuramoto model is rigorously analyzed in the literature are homogeneous models and fail to capture the underlying geometric structure that appears in several examples. In this work, we leverage tools from random matrix theory, random graphs, and mathematical statistics to prove that the Kuramoto model on a random geometric graph on the sphere synchronizes with probability tending to one as the number of nodes tends to infinity. To the best of our knowledge, this is the first rigorous result for the Kuramoto model on random geometric graphs.
2022-08-24 v2
Resolving Matrix Spencer Conjecture Up to Poly-logarithmic Rank
Published • View PublicationBIB
We give a simple proof of the matrix Spencer conjecture up to poly-logarithmic rank: given symmetric $d \times d$ matrices $A_1,\ldots,A_n$ each with $\|A_i\|_{\mathsf{op}} \leq 1$ and rank at most $n/\log^3 n$, one can efficiently find $\pm 1$ signs $x_1,\ldots,x_n$ such that their signed sum has spectral norm $\|\sum_{i=1}^n x_i A_i\|_{\mathsf{op}} = O(\sqrt{n})$. This result also implies a $\log n - Ω( \log \log n)$ qubit lower bound for quantum random access codes encoding $n$ classical bits with advantage $\gg 1/\sqrt{n}$. Our proof uses the recent refinement of the non-commutative Khintchine inequality in [Bandeira, Boedihardjo, van Handel, 2022] for random matrices with correlated Gaussian entries.
Discrete diffusion-type equation on regular graphs and its applications
Published • View PublicationBIB
We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further, we develop three applications. The first one is to derive a general trace formula that relates the spectral data on $X$ to its topological data. Though we emphasize the results in the case when $X$ is finite, our method also applies when $X$ has a countably infinite number of vertices. As a second application, we obtain a closed-form expression for the return time probability distribution of the uniform random walk on any $(q+1)$-regular graph. The expression is obtained by relating $K_{X}(x,x_{0};t)$ to the uniform random walk on a $(q+1)$-regular graph. We then show that if $\{X_{h}\}$ is a sequence of $(q+1)$-regular graphs whose number of vertices goes to infinity and which satisfies a certain natural geometric condition, then the limit of the return time probability distributions from $\{X_{h}\}$ is equal to the return time probability distribution on the tree $T_{q+1}$. As a third application, we derive formulas which express the number of distinct closed irreducible walks without tails on a finite graph $X$ in terms of moments of the spectrum of its adjacency matrix.
2022-08-22
On the clique number of noisy random geometric graphs
Published • View PublicationBIB
Let $G_n$ be a random geometric graph, and then for $q,p \in [0,1)$ we construct a "$(q,p)$-perturbed noisy random geometric graph" $G_n^{q,p}$ where each existing edge in $G_n$ is removed with probability $q$, while and each non-existent edge in $G_n$ is inserted with probability $p$. We give asymptotically tight bounds on the clique number $ω\left(G_n^{q,p}\right)$ for several regimes of parameter.
2022-08-22 v4
Balanced supersaturation and Turan numbers in random graphs
Published in Advances in Combinatorics, 2024:3, 26pp • View PublicationBIB
In a ground-breaking paper solving a conjecture of Erdős on the number of $n$-vertex graphs not containing a given even cycle, Morris and Saxton \cite{MS} made a broad conjecture on so-called balanced supersaturation property of a bipartite graph $H$. Ferber, McKinley, and Samotij \cite{FMS} established a weaker version of this conjecture and applied it to derive far-reaching results on the enumeration problem of $H$-free graphs. In this paper, we show that Morris and Saxton's conjecture holds under a very mild assumption about $H$, which is widely believed to hold whenever $H$ contains a cycle. We then use our theorem to obtain enumeration results and general upper bounds on the Turán number of a bipartite $H$ in the random graph $G(n,p)$, the latter being first of its kind.