We study local properties of the Bakry–Émery curvature function ${\mathcal{K}}_{G,x}:(0,\infty ]\rightarrow \mathbb{R}$ at a vertex $x$ of a graph $G$ systematically. Here ${\mathcal{K}}_{G,x}({\mathcal{N}})$ is defined as the optimal curvature lower bound ${\mathcal{K}}$ in the Bakry–Émery curvature-dimension inequality $CD({\mathcal{K}},{\mathcal{N}})$ that $x$ satisfies. We provide upper and lower bounds for the curvature functions, introduce fundamental concepts like curvature sharpness and $S^{1}$-out regularity, and relate the curvature functions of $G$ with various spectral properties of (weighted) graphs constructed from local structures of $G$. We prove that the curvature functions of the Cartesian product of two graphs $G_{1},G_{2}$ are equal to an abstract product of curvature functions of $G_{1},G_{2}$. We explore the curvature functions of Cayley graphs and many particular (families of) examples. We present various conjectures and construct an infinite increasing family of 6-regular graphs which satisfy $CD(0,\infty )$ but are not Cayley graphs.

We explicitly describe the isomorphism between two combinatorial realizations of Kashiwara’s infinity crystal in types B and C. The first realization is in terms of marginally large tableaux and the other is in terms of Kostant partitions coming from PBW bases. We also discuss a stack notation for Kostant partitions which simplifies that realization.

We investigate arithmetic, geometric and combinatorial properties of symmetric edge polytopes. We give a complete combinatorial description of their facets. By combining Gröbner basis techniques, half-open decompositions and methods for interlacing polynomials we provide an explicit formula for the $h^{\ast }$-polynomial in case of complete bipartite graphs. In particular, we show that the $h^{\ast }$-polynomial is $\unicode[STIX]{x1D6FE}$-positive and real-rooted. This proves Gal’s conjecture for arbitrary flag unimodular triangulations in this case, and, beyond that, we prove a strengthening due to Nevo and Petersen [On $\unicode[STIX]{x1D6FE}$-vectors satisfying the Kruskal–Katona inequalities. Discrete Comput. Geom.45(3) (2011), 503–521].

Motivated by the Erdős–Szekeres convex polytope conjecture in $\mathbb{R}^{d}$, we initiate the study of the following induced Ramsey problem for hypergraphs. Given integers $n>k\geqslant 5$, what is the minimum integer $g_{k}(n)$ such that any$k$-uniform hypergraph on $g_{k}(n)$ vertices with the property that any set of $k+1$ vertices induces 0, 2, or 4 edges, contains an independent set of size $n$. Our main result shows that $g_{k}(n)>2^{cn^{k-4}}$, where $c=c(k)$.

We discuss 1-factorizations of complete graphs that “match” a given Hadamard matrix. We prove the existence of these factorizations for two families of Hadamard matrices: Walsh matrices and certain Paley matrices.

We consider sequences of the form $(a_{n}\unicode[STIX]{x1D6FC})_{n}$ mod 1, where $\unicode[STIX]{x1D6FC}\in [0,1]$ and where $(a_{n})_{n}$ is a strictly increasing sequence of positive integers. If the asymptotic distribution of the pair correlations of this sequence follows the Poissonian model for almost all $\unicode[STIX]{x1D6FC}$ in the sense of Lebesgue measure, we say that $(a_{n})_{n}$ has the metric pair correlation property. Recent research has revealed a connection between the metric theory of pair correlations of such sequences, and the additive energy of truncations of $(a_{n})_{n}$. Bloom, Chow, Gafni and Walker speculated that there might be a convergence/divergence criterion which fully characterizes the metric pair correlation property in terms of the additive energy, similar to Khintchine’s criterion in the metric theory of Diophantine approximation. In the present paper we give a negative answer to such speculations, by showing that such a criterion does not exist. To this end, we construct a sequence $(a_{n})_{n}$ having large additive energy which, however, maintains the metric pair correlation property.

We show that if a permutation $\unicode[STIX]{x1D70B}$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then the Möbius function $\unicode[STIX]{x1D707}[1,\unicode[STIX]{x1D70B}]$ of the interval $[1,\unicode[STIX]{x1D70B}]$ is zero. As a consequence, we prove that the proportion of permutations of length $n$ with principal Möbius function equal to zero is asymptotically bounded below by $(1-1/e)^{2}\geqslant 0.3995$. This is the first result determining the value of $\unicode[STIX]{x1D707}[1,\unicode[STIX]{x1D70B}]$ for an asymptotically positive proportion of permutations $\unicode[STIX]{x1D70B}$. We further establish other general conditions on a permutation $\unicode[STIX]{x1D70B}$ that ensure $\unicode[STIX]{x1D707}[1,\unicode[STIX]{x1D70B}]=0$, including the occurrence in $\unicode[STIX]{x1D70B}$ of any interval of the form $\unicode[STIX]{x1D6FC}\oplus 1\oplus \unicode[STIX]{x1D6FD}$.

The lonely runner conjecture, now over fifty years old, concerns the following problem. On a unit-length circular track, consider $m$ runners starting at the same time and place, each runner having a different constant speed. The conjecture asserts that each runner is lonely at some point in time, meaning at a distance at least $1/m$ from the others. We formulate a function field analogue, and give a positive answer in some cases in the new setting.

Let C be a set of positive integers. In this paper, we obtain an algorithm for computing all subsets A of positive integers which are minimals with the condition that if x1 + … + xn is a partition of an element in C, then at least a summand of this partition belongs to A. We use techniques of numerical semigroups to solve this problem because it is equivalent to give an algorithm that allows us to compute all the numerical semigroups which are maximals with the condition that has an empty intersection with the set C.

A subset $A$ of a finite abelian group $G$ is called $(k,l)$-sum-free if the sum of $k$ (not necessarily distinct) elements of $A$ never equals the sum of $l$ (not necessarily distinct) elements of $A$. We find an explicit formula for the maximum size of a $(k,l)$-sum-free subset in $G$ for all $k$ and $l$ in the case when $G$ is cyclic by proving that it suffices to consider $(k,l)$-sum-free intervals in subgroups of $G$. This simplifies and extends earlier results by Hamidoune and Plagne [‘A new critical pair theorem applied to sum-free sets in abelian groups’, Comment. Math. Helv. 79(1) (2004), 183–207] and Bajnok [‘On the maximum size of a $(k,l)$-sum-free subset of an abelian group’, Int. J. Number Theory 5(6) (2009), 953–971].

For a graph $G$, let $f(G)$ denote the maximum number of edges in a bipartite subgraph of $G$. Given a fixed graph $H$ and a positive integer $m$, let $f(m,H)$ denote the minimum possible cardinality of $f(G)$, as $G$ ranges over all graphs on $m$ edges that contain no copy of $H$. Alon et al. [‘Maximum cuts and judicious partitions in graphs without short cycles’, J. Combin. Theory Ser. B 88 (2003), 329–346] conjectured that, for any fixed graph $H$, there exists an $\unicode[STIX]{x1D716}(H)>0$ such that $f(m,H)\geq m/2+\unicode[STIX]{x1D6FA}(m^{3/4+\unicode[STIX]{x1D716}})$. We show that, for any wheel graph $W_{2k}$ of $2k$ spokes, there exists $c(k)>0$ such that $f(m,W_{2k})\geq m/2+c(k)m^{(2k-1)/(3k-1)}\log m$. In particular, we confirm the conjecture asymptotically for $W_{4}$ and give general lower bounds for $W_{2k+1}$.

We give the generating function of split $(n+t)$-colour partitions and obtain an analogue of Euler’s identity for split $n$-colour partitions. We derive a combinatorial relation between the number of restricted split $n$-colour partitions and the function $\unicode[STIX]{x1D70E}_{k}(\unicode[STIX]{x1D707})=\sum _{d|\unicode[STIX]{x1D707}}d^{k}$. We introduce a new class of split perfect partitions with $d(a)$ copies of each part $a$ and extend the work of Agarwal and Subbarao [‘Some properties of perfect partitions’, Indian J. Pure Appl. Math 22(9) (1991), 737–743].

We investigate how the Minkowski sum of two polytopes affects their graph and, in particular, their diameter. We show that the diameter of the Minkowski sum is bounded below by the diameter of each summand and above by, roughly, the product between the diameter of one summand and the number of vertices of the other. We also prove that both bounds are sharp. In addition, we obtain a result on polytope decomposability. More precisely, given two polytopes $P$ and $Q$, we show that $P$ can be written as a Minkowski sum with a summand homothetic to $Q$ if and only if $P$ has the same number of vertices as its Minkowski sum with $Q$.

We show that a coupling of non-colliding simple random walkers on the complete graph on n vertices can include at most n - log n walkers. This improves the only previously known upper bound of n - 2 due to Angel, Holroyd, Martin, Wilson and Winkler (Electron. Commun. Probab.18 (2013)). The proof considers couplings of i.i.d. sequences of Bernoulli random variables satisfying a similar avoidance property, for which there is separate interest.

We discuss percolation and random walks in a class of homogeneous ultrametric spaces together with similarities and differences in ultrametric and Euclidean spaces. We briefly outline the role of these models in the study of interacting systems. Several open problems are presented.

In this paper we consider the degree-wise effect of a second step for a random walk on a graph. We prove that under the configuration model, for any fixed degree sequence the probability of exceeding a given degree threshold is smaller after two steps than after one. This builds on recent work of Kramer et al. (2016) regarding the friendship paradox under random walks.

We extend the work of Antunović et al. (2016) on competing types in preferential attachment models to include cases where the types have different fitnesses, which may be either multiplicative or additive. We show that, depending on the values of the parameters of the models, there are different possible limiting behaviours depending on the zeros of a certain function. In particular, we show the existence of choices of the parameters where one type is favoured both by having higher fitness and by the type of attachment mechanism, but the other type has a positive probability of dominating the network in the limit.

In this paper we define almost gentle algebras, which are monomial special multiserial algebras generalizing gentle algebras. We show that the trivial extension of an almost gentle algebra by its minimal injective co-generator is a symmetric special multiserial algebra and hence a Brauer configuration algebra. Conversely, we show that any almost gentle algebra is an admissible cut of a unique Brauer configuration algebra and, as a consequence, we obtain that every Brauer configuration algebra with multiplicity function identically one is the trivial extension of an almost gentle algebra. We show that a hypergraph is associated with every almost gentle algebra A, and that this hypergraph induces the Brauer configuration of the trivial extension of A. Among other things, this gives a combinatorial criterion to decide when two almost gentle algebras have isomorphic trivial extensions.

We prove two conjectural congruences on the $(p-1)$th Apéry number, which were recently proposed by Z.-H. Sun.

If $K$ is a simplicial complex on $m$ vertices, the flagification of $K$ is the minimal flag complex $K^{f}$ on the same vertex set that contains $K$. Letting $L$ be the set of vertices, there is a sequence of simplicial inclusions $L\stackrel{}{\longrightarrow }K\stackrel{}{\longrightarrow }K^{f}$. This induces a sequence of maps of polyhedral products $(\text{}\underline{X},\text{}\underline{A})^{L}\stackrel{g}{\longrightarrow }(\text{}\underline{X},\text{}\underline{A})^{K}\stackrel{f}{\longrightarrow }(\text{}\underline{X},\text{}\underline{A})^{K^{f}}$. We show that $\unicode[STIX]{x1D6FA}f$ and $\unicode[STIX]{x1D6FA}f\circ \unicode[STIX]{x1D6FA}g$ have right homotopy inverses and draw consequences. For a flag complex $K$ the polyhedral product of the form $(\text{}\underline{CY},\text{}\underline{Y})^{K}$ is a co-$H$-space if and only if the 1-skeleton of $K$ is a chordal graph, and we deduce that the maps $f$ and $f\circ g$ have right homotopy inverses in this case.