OFFSET
1,5
COMMENTS
The sequence (a(n)/binomial(n,4)) is decreasing for n >= 4 and converges to 72/125, the inducibility of the diamond graph (Hirst 2014).
It is known that there exists a complete multipartite optimal graph (i.e., an n-node graph with a(n) induced diamond graphs) for all n (Brown and Sidorenko 1994) and that a complete 5-partite graph is asymptotically optimal (Hirst 2014). For 3 <= n <= 7, the 3-partite Turán graph is optimal, and for 7 <= n <= 45, the 4-partite Turán graph is optimal. (For n = 7 both are optimal.) It appears that the 5-partite Turán graph is optimal for all n >= 46 (verified up to n = 75).
LINKS
Jason I. Brown and Alexander Sidorenko, The inducibility of complete bipartite graphs, Journal of Graph Theory 18 (1994), 629-645.
James Hirst, The inducibility of graphs on four vertices, Journal of Graph Theory 75 (2014), 231-243.
PROG
(Python)
from sympy.utilities.iterables import combinations, partitions
from sympy.combinatorics import IntegerPartition
f=lambda p:sum(q[0]*q[1]*q[2]*(q[0]+q[1]+q[2]-3)//2 for q in combinations(p, 3)) # number of induced diamond graphs in the multipartite graph with parts of sizes given by p
def A352668(n):
return max(f(IntegerPartition(p).partition) for p in partitions(n))
CROSSREFS
KEYWORD
nonn
AUTHOR
Pontus von Brömssen, Mar 26 2022
STATUS
approved