# Bounds on Functionality and Symmetric Difference -- Two Intriguing Graph Parameters

## TL;DR

This paper characterizes the functionality of random graphs $G(n,p)$ across all $p$, establishes bounds for all graphs, and explores the symmetric difference parameter, especially in interval and circular arc graphs, revealing new bounds and relationships.

## Contribution

It provides the first comprehensive bounds on functionality for all $G(n,p)$ and general graphs, and clarifies the relationship between functionality and symmetric difference in specific graph classes.

## Key findings

- Functionality of $G(n,p)$ is characterized for all $p$, with bounds matching up to a constant.
- Maximum functionality is roughly $rac{1}{
oot 2
}$ at $p hicksim 1/
oot 2
$.
- Symmetric difference in interval graphs is at most $O(
oot 3
)$, with examples reaching $ heta(
oot 4
)$.

## Abstract

Functionality ($\mathrm{fun}$) is a graph parameter that generalizes graph degeneracy defined by Alecu et al. [JCTB, 2021]. They research the relation of functionality to many other graphs parameters (tree-width, clique-width, VC-dimension, etc.). Extending their research, we completely characterize the functionality of random graph $G(n,p)$ for all possible $p$. We provide matching (up to a constant factor) lower and upper bound for a large range of $p$. It follows from our bounds for $G(n,p)$, that the maximum functionality (roughly $\sqrt{n}$) is achieved for $p \approx 1/\sqrt{n}$. We complement this by showing that every graph $G$ on $n$ vertices have $\mathrm{fun}(G) \le O(\sqrt{ n \ln n})$ and we give a nearly matching $\Omega(\sqrt{n})$-lower bound provided by incident graphs of projective planes. Previously known lower bounds for functionality were only logarithmic in the number of vertices. Further, we study a related graph parameter symmetric difference ($\mathrm{sd}$), the minimum of $|N(u) ~\Delta~ N(v)|$ over all pairs of vertices of the ``worst possible'' induced subgraph. It was observed by Alecu et al. that $\mathrm{fun}(G) \le \mathrm{sd}(G)+1$ for every graph $G$. They asked whether the functionality of interval graphs is bounded. Recently, Dallard et al. [RiM, 2024] answered this positively and they constructed an interval graph $G$ with $\mathrm{sd}(G) = \Theta(\sqrt[4]{n})$ (even though they did not mention the explicit bound), i.e., they separate the functionality and symmetric difference of interval graphs. We show that $\mathrm{sd}$ of interval graphs is at most $O(\sqrt[3]{n})$ and we provide a different example of an interval graph $G$ with $\mathrm{sd}(G) = \Theta(\sqrt[4]{n})$. Further, we show that $\mathrm{sd}$ of circular arc graphs is $\Theta(\sqrt{n})$.