To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Classical finite association schemes lead to finite-dimensional algebras which are generated by finitely many stochastic matrices. Moreover, there exist associated finite hypergroups. The notion of classical discrete association schemes can be easily extended to the possibly infinite case. Moreover, this notion can be relaxed slightly by using suitably deformed families of stochastic matrices by skipping the integrality conditions. This leads to a larger class of examples which are again associated with discrete hypergroups. In this paper we propose a topological generalization of association schemes by using a locally compact basis space $X$ and a family of Markov-kernels on $X$ indexed by some locally compact space $D$ where the supports of the associated probability measures satisfy some partition property. These objects, called continuous association schemes, will be related to hypergroup structures on $D$. We study some basic results for this notion and present several classes of examples. It turns out that, for a given commutative hypergroup, the existence of a related continuous association scheme implies that the hypergroup has many features of a double coset hypergroup. We, in particular, show that commutative hypergroups, which are associated with commutative continuous association schemes, carry dual positive product formulas for the characters. On the other hand, we prove some rigidity results in particular in the compact case which say that for given spaces $X,D$ there are only a few continuous association schemes.
For an integer q ⩾ 2 and an even integer d, consider the graph obtained from a large complete q-ary tree by connecting with an edge any two vertices at distance exactly d in the tree. This graph has clique number q + 1, and the purpose of this short note is to prove that its chromatic number is Θ((d log q)/log d). It was not known that the chromatic number of this graph grows with d. As a simple corollary of our result, we give a negative answer to a problem of van den Heuvel and Naserasr, asking whether there is a constant C such that for any odd integer d, any planar graph can be coloured with at most C colours such that any pair of vertices at distance exactly d have distinct colours. Finally, we study interval colouring of trees (where vertices at distance at least d and at most cd, for some real c > 1, must be assigned distinct colours), giving a sharp upper bound in the case of bounded degree trees.
The paper introduces a graph theory variation of the general position problem: given a graph $G$, determine a largest set $S$ of vertices of $G$ such that no three vertices of $S$ lie on a common geodesic. Such a set is a max-gp-set of $G$ and its size is the gp-number $\text{gp}(G)$ of $G$. Upper bounds on $\text{gp}(G)$ in terms of different isometric covers are given and used to determine the gp-number of several classes of graphs. Connections between general position sets and packings are investigated and used to give lower bounds on the gp-number. It is also proved that the general position problem is NP-complete.
Employing a simple and direct geometric approach, we prove formulas for a large class of degeneracy loci in types B, C, and D, including those coming from all isotropic Grassmannians. The results unify and generalize previous Pfaffian and determinantal formulas. Specializing to the Grassmannian case, we recover the remarkable theta- and eta-polynomials of Buch, Kresch, Tamvakis, and Wilson. Our method yields streamlined proofs which proceed in parallel for all four classical types, substantially simplifying previous work on the subject. In an appendix, we develop some foundational algebra and prove several Pfaffian identities. Another appendix establishes a basic formula for classes in quadric bundles.
A perfect H-tiling in a graph G is a collection of vertex-disjoint copies of a graph H in G that together cover all the vertices in G. In this paper we investigate perfect H-tilings in a random graph model introduced by Bohman, Frieze and Martin [6] in which one starts with a dense graph and then adds m random edges to it. Specifically, for any fixed graph H, we determine the number of random edges required to add to an arbitrary graph of linear minimum degree in order to ensure the resulting graph contains a perfect H-tiling with high probability. Our proof utilizes Szemerédi's Regularity Lemma [29] as well as a special case of a result of Komlós [18] concerning almost perfect H-tilings in dense graphs.
Let k ⩾ 2 be an integer. We show that if s = 2 and t ⩾ 2, or s = t = 3, then the maximum possible number of edges in a C2k+1-free graph containing no induced copy of Ks,t is asymptotically equal to (t − s + 1)1/s(n/2)2−1/s except when k = s = t = 2.
This strengthens a result of Allen, Keevash, Sudakov and Verstraëte [1], and answers a question of Loh, Tait, Timmons and Zhou [14].
We prove that the number of multigraphs with vertex set {1, . . ., n} such that every four vertices span at most nine edges is an2+o(n2) where a is transcendental (assuming Schanuel's conjecture from number theory). This is an easy consequence of the solution to a related problem about maximizing the product of the edge multiplicities in certain multigraphs, and appears to be the first explicit (somewhat natural) question in extremal graph theory whose solution is transcendental. These results may shed light on a question of Razborov, who asked whether there are conjectures or theorems in extremal combinatorics which cannot be proved by a certain class of finite methods that include Cauchy–Schwarz arguments.
Our proof involves a novel application of Zykov symmetrization applied to multigraphs, a rather technical progressive induction, and a straightforward use of hypergraph containers.
Recently, Sun posed a series of conjectures on the log-concavity of the sequence , where is a familiar combinatorial sequence of positive integers. Luca and Stănică, Hou et al. and Chen et al. proved some of Sun's conjectures. In this paper, we present a criterion on the log-concavity of the sequence . The criterion is based on the existence of a function f(n) that satisfies some inequalities involving terms related to the sequence . Furthermore, we present a heuristic approach to compute f(n). As applications, we prove that, for the Zagier numbers , the sequences are strictly log-concave, which confirms a conjecture of Sun. We also prove the log-concavity of the sequence of Cohen–Rhin numbers.
For a skew-symmetrizable cluster algebra ${\mathcal{A}}_{t_{0}}$ with principal coefficients at $t_{0}$, we prove that each seed $\unicode[STIX]{x1D6F4}_{t}$ of ${\mathcal{A}}_{t_{0}}$ is uniquely determined by its $C$-matrix, which was proposed by Fomin and Zelevinsky (Compos. Math. 143 (2007), 112–164) as a conjecture. Our proof is based on the fact that the positivity of cluster variables and sign coherence of $c$-vectors hold for ${\mathcal{A}}_{t_{0}}$, which was actually verified in Gross et al. (Canonical bases for cluster algebras, J. Amer. Math. Soc. 31(2) (2018), 497–608). Further discussion is provided in the sign-skew-symmetric case so as to obtain a weak version of the conjecture in this general case.
A set of points in d-dimensional Euclidean space is almost equidistant if, among any three points of the set, some two are at distance 1. We show that an almost-equidistant set in ℝd has cardinality O(d4/3).
We show that the scenery reconstruction problem on the Boolean hypercube is in general impossible. This is done by using locally biased functions, in which every vertex has a constant fraction of neighbours coloured by 1, and locally stable functions, in which every vertex has a constant fraction of neighbours coloured by its own colour. Our methods are constructive, and also give super-polynomial lower bounds on the number of locally biased and locally stable functions. We further show similar results for ℤn and other graphs, and offer several follow-up questions.
In this paper we derive nonasymptotic upper bounds for the size of reachable sets in random graphs. These bounds are subject to a phase transition phenomenon triggered by the spectral radius of the hazard matrix, a reweighted version of the adjacency matrix. Such bounds are valid for a large class of random graphs, called local positive correlation (LPC) random graphs, displaying local positive correlation. In particular, in our main result we state that the size of reachable sets in the subcritical regime for LPC random graphs is at most of order O(√n), where n is the size of the network, and of order O(n2/3) in the critical regime, where the epidemic thresholds are driven by the size of the spectral radius of the hazard matrix with respect to 1. As a corollary, we also show that such bounds hold for the size of the giant component in inhomogeneous percolation, the SIR model in epidemiology, as well as for the long-term influence of a node in the independent cascade model.
We study the numbers of involutions and their relation to Frobenius–Schur indicators in the groups $\text{SO}^{\pm }(n,q)$ and $\unicode[STIX]{x1D6FA}^{\pm }(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture that a finite simple group $G$ is strongly real (all elements are conjugate to their inverses by an involution) if and only if it is totally orthogonal (all Frobenius–Schur indicators are 1), and we observe this holds for all finite simple groups $G$ other than the groups $\unicode[STIX]{x1D6FA}^{\pm }(4m,q)$ with $q$ even. We prove computationally that for small $m$ this statement indeed holds for these groups by equating their character degree sums with the number of involutions. We also prove a result on a certain twisted indicator for the groups $\text{SO}^{\pm }(4m+2,q)$ with $q$ odd. Our second motivation is to continue the work of Fulman, Guralnick, and Stanton on generating functions and asymptotics for involutions in classical groups. We extend their work by finding generating functions for the numbers of involutions in $\text{SO}^{\pm }(n,q)$ and $\unicode[STIX]{x1D6FA}^{\pm }(n,q)$ for all $q$, and we use these to compute the asymptotic behavior for the number of involutions in these groups when $q$ is fixed and $n$ grows.
We prove the existence and give constructions of a $(p(k)-1)$-fold perfect resolvable $(v,k,1)$-Mendelsohn design for any integers $v>k\geq 2$ with $v\equiv 1\hspace{0.2em}{\rm mod}\hspace{0.2em}\,k$ such that there exists a finite Frobenius group whose kernel $K$ has order $v$ and whose complement contains an element $\unicode[STIX]{x1D719}$ of order $k$, where $p(k)$ is the least prime factor of $k$. Such a design admits $K\rtimes \langle \unicode[STIX]{x1D719}\rangle$ as a group of automorphisms and is perfect when $k$ is a prime. As an application we prove that for any integer $v=p_{1}^{e_{1}}\cdots p_{t}^{e_{t}}\geq 3$ in prime factorisation and any prime $k$ dividing $p_{i}^{e_{i}}-1$ for $1\leq i\leq t$, there exists a resolvable perfect $(v,k,1)$-Mendelsohn design that admits a Frobenius group as a group of automorphisms. We also prove that, if $k$ is even and divides $p_{i}-1$ for $1\leq i\leq t$, then there are at least $\unicode[STIX]{x1D711}(k)^{t}$ resolvable $(v,k,1)$-Mendelsohn designs that admit a Frobenius group as a group of automorphisms, where $\unicode[STIX]{x1D711}$ is Euler’s totient function.
The goal of property testing is to quickly distinguish between objects which satisfy a property and objects that are ε-far from satisfying the property. There are now several general results in this area which show that natural properties of combinatorial objects can be tested with ‘constant’ query complexity, depending only on ε and the property, and not on the size of the object being tested. The upper bound on the query complexity coming from the proof techniques is often enormous and impractical. It remains a major open problem if better bounds hold.
Maybe surprisingly, for testing with respect to the rectangular distance, we prove there is a universal (not depending on the property), polynomial in 1/ε query complexity bound for two-sided testing hereditary properties of sufficiently large permutations. We further give a nearly linear bound with respect to a closely related metric which also depends on the smallest forbidden subpermutation for the property. Finally, we show that several different permutation metrics of interest are related to the rectangular distance, yielding similar results for testing with respect to these metrics.
We derive an optimal eigenvalue ratio estimate for finite weighted graphs satisfying the curvature-dimension inequality CD(0, ∞). This estimate is independent of the size of the graph and provides a general method to obtain higher-order spectral estimates. The operation of taking Cartesian products is shown to be an efficient way for constructing new weighted graphs satisfying CD(0, ∞). We also discuss a higher-order Cheeger constant-ratio estimate and related topics about expanders.
We define a growing model of random graphs. Given a sequence of non-negative integers {dn}n=0∞ with the property that di≤i, we construct a random graph on countably infinitely many vertices v0, v1… by the following process: vertex vi is connected to a subset of {v0, …, vi−1} of cardinality di chosen uniformly at random. We study the resulting probability space. In particular, we give a new characterization of random graphs, and we also give probabilistic methods for constructing infinite random trees.
Let k ⩾ 3 be a fixed integer. We exactly determine the asymptotic distribution of ln Zk(G(n, m)), where Zk(G(n, m)) is the number of k-colourings of the random graph G(n, m). A crucial observation to this end is that the fluctuations in the number of colourings can be attributed to the fluctuations in the number of small cycles in G(n, m). Our result holds for a wide range of average degrees, and for k exceeding a certain constant k0 it covers all average degrees up to the so-called condensation phase transition.
We develop a method to compute the generating function of the number of vertices inside certain regions of the Uniform Infinite Planar Triangulation (UIPT). The computations are mostly combinatorial in flavour and the main tool is the decomposition of the UIPT into layers, called the skeleton decomposition, introduced by Krikun [20]. In particular, we get explicit formulas for the generating functions of the number of vertices inside hulls (or completed metric balls) centred around the root, and the number of vertices inside geodesic slices of these hulls. We also recover known results about the scaling limit of the volume of hulls previously obtained by Curien and Le Gall by studying the peeling process of the UIPT in [17].
We consider linear preferential attachment trees, and show that they can be regarded as random split trees in the sense of Devroye (1999), although with infinite potential branching. In particular, this applies to the random recursive tree and the standard preferential attachment tree. An application is given to the sum over all pairs of nodes of the common number of ancestors.