The local density of triangle-free graphs

How dense can every induced subgraph of right perpendicular alpha n left perpendicular vertices (0 < alpha less than or equal to 1) of a triangle-free graph of order n be? Tools will be developed to estimate the local density of graphs, based on the spectrum of the graph and on a fractional viewpoint. These tools are used to refute a conjecture of Erdos et al. about the local density of triangle-free graphs for a certain range of alpha, by estimating the local density of the Higman-Sims graph via its eigenvalues. Moreover, the local density will be related to a long-standing conjecture of Erdos, saying that every triangle-free graph can be made bipartite by the omission of at most n(2)/25 edges. Finally, a conjecture about the spectrum of regular triangle-free graphs is raised, which can be seen as a common relaxation of the two previous questions.