Closed NorbertZheng closed 1 year ago
This post aims to build intuitions behind the Transformer architecture for NLP, and its connection with neural networks on graphs.
Engineer friends often ask me: Graph Deep Learning sounds great, but are there any big commercial success stories? Is it being deployed in practical applications?
Besides the obvious ones-recommendation systems at Pinterest, Alibaba and Twitter - a slightly nuanced success story is the Transformer architecture, which has taken the NLP industry by storm.
Through this post, I want to establish links between Graph Neural Networks (GNNs) #46 and Transformers. I'll talk about the intuitions behind model architectures in the NLP and GNN communities, make connections using equations and figures, and discuss how we could work together to drive progress.
Let's start by talking about the purpose of model architectures - representation learning.
At a high level, all neural network architectures build representations of input data as vectors/embeddings, which encode useful statistical and semantic information about the data. These latent or hidden representations can then be used for performing something useful, such as classifying an image or translating a sentence. The neural network learns to build better-and-better representations by receiving feedback, usually via error/loss functions.
For Natural Language Processing (NLP), conventionally, Recurrent Neural Networks (RNNs) build representations of each word in a sentence in a sequential manner, i.e., one word at a time. Intuitively, we can imagine an RNN layer as a conveyor belt, with the words being processed on it autoregressively from left to right. At the end, we get a hidden feature for each word in the sentence, which we pass to the next RNN layer or use for our NLP tasks of choice.
I highly recommend Chris Olah's legendary blog for recaps on RNNs and representation learning for NLP.
RNNs build representations of each word in a sentence in a sequential manner, i.e., one word at a time. On the other hand, Transformers use an attention mechanism to figure out how important all the other words in the sentence are w.r.t. to the aforementioned word.
Initially introduced for machine translation, Transformers have gradually replaced RNNs in mainstream NLP. The architecture takes a fresh approach to representation learning:
Knowing this, the word's updated features are simply the sum of linear transformers of the features of all the words, weighted by their importance.
Back in 2017, this idea sounded very radical, because the NLP community was so used to the sequential-one-word-at-a-time-style of processing text with RNNs. The title of the paper probably added fuel to the fire!
For a recap, Yannic Kilcher made an excellent video overview.
Let's develop intuitions about the architecture by translating the previous paragraph into the language of mathematical symbols and vectors. We update the hidden feature $h$ of the $i$'th word in a sentence $S$ from layer $l$ to layer $l+1$ as follows:
$$ h{i}^{l+1}=Attention(Q^{l}h{i}^{l},K^{l}h{j}^{l},V^{l}h{j}^{l}), $$
i.e. $h{i}^{l+1}=\sum{j \in S}w{ij}(V^{l}h{j}^{l})$, where $w{ij}=softmax{j}(Q^{l}h{i}^{l} \dot K^{l}h{j}^{l})$, where $j \in S$ denotes the set of words in the sentence and $Q$, $K$, $V$ are learnable linear weights (denoting the Query, Key, and Value for the attention computation, respectively). The attention mechanism is performed parallelly for each word in the sentence to obtain their updated features in one shot - another plus point for Transformers over RNNs, which update features word-by-word.
We can understand the attention mechanism better through the following pipeline:
Taking in the features of the word $h{i}^{l}$ and the set of other words in the sentence $h{j}^{l}$; $\forall j \in S$, we compute the attention weights $w{ij}$ for each pair $(i,j)$ through the dot-product, followed by a softmax across all $j$'s. Finally, we produce the updated word feature $h{i}^{l+1}$ for word $i$ by summing over all $h{j}^{l}$'s weighted by their corresponding $w{ij}$. Each word in the sentence parallelly undergoes the same pipeline to update its features.
Getting this dot-product attention mechanism to work proves to be tricky-bad:
We can overcome this by parallelly performing multiple "heads" of attention and concatenating the result (with each head now having separate learnable weights):
$$ \begin{equation}\begin{aligned} h{i}^{l+1}&=Concat(head{1},...,head{K})O^{l},\ head{k}&=Attention(Q^{k,l}h{i}^{l},K^{k,l}h{j}^{l},V^{k,l}h_{j}^{l}), \end{aligned}\end{equation} $$
where $Q^{k},K^{k},V^{k}$ are the learnable weights of the $k$'th attention head and $O$ is a down-projection to match the dimensions of $h{i}^{l+1}$ and $h{i}^{l}$ across layers.
Multiple heads allow the attention mechanism to essentially "hedge its bets",
We'll talk more about this later.
A key issue motivating the final Transformer architecture is that the features for words after the attention mechanism might be at different scales or magnitudes:
Transformers overcome issue (2) with LayerNorm, which normalizes and learns an affine transformation at the feature level. Additionally, scaling the dot-product attention by the square-root of the feature dimension helps counteract issue (1).
Finally, the authors propose another "trick" to control the scale issue:
After the multi-head attention, they project $h_{i}^{l+1}$ to a (absurdly) higher dimension by a learnable weight, where it undergoes the RELU non-linearity, and is then projected back to its original dimension followed by another normalization:
$$ h{i}^{l+1}=LN(MLP(LN(h{i}^{l+1}))). $$
To be honest, I'm not sure what the exact intuition behind the over-parameterized feed-forward sub-layer was and nobody seems to be asking questions about it, too! I suppose LayerNorm and scaled dot-products didn’t completely solve the issues highlighted, so the big MLP is a sort of hack to re-scale the feature vectors independently of each other.
The final picture of a Transformer layer looks like this:
The Transformer architecture is also extremely amenable to very deep networks, enabling the NLP community to scale up in terms of both model parameters and, by extension, data. Residual connections between the inputs and outputs of each multi-head attention sub-layer and the feed-forward sub-layer are key for stacking Transformer layers (but omitted from the diagram for clarity).
Let's take a step away from NLP for a moment.
Graph Neural Networks (GNNs) or Graph Convolutional Networks (GCNs) build representations of nodes and edges in graph data. They do so through neighborhood aggregation (or message passing), where each node gathers features from its neighbours to update its representation of the local graph structure around it. Stacking several GNN layers enables the model to propagate each node's features over the entire graph - from its neighbours to the neighbours' neighbours, and so on.
Take the example of this emoji social network: The node features produced by the GNN can be used for predictive tasks such as identifying the most influential members or proposing potential connections.
In their most basic form, GNNs update the hidden features $h$ of node $i$ (for example, 😆) at layer $l$ via a non-linear transformation of the node's own features $h{i}^{l}$ added to the aggregation of features $h{j}^{l}$ from each neighbouring node $j \in N(i)$:
$$ h{i}^{l+1}=\sigma\left(U^{l}h{i}^{l}+\sum{j \in N(i)}(V^{l}h{j}^{l})\right), $$
where $U, V$ are learnable weight matrices of the GNN layer and $\sigma$ is a non-linearity such as RELU. In the example, N(😆) = { 😘, 😎, 😜, 🤩 }.
The summation over the neighbourhood nodes $j \in N(i)$ can be replaced by other input size-invariant aggregation functions:
Does that sound familiar?
Maybe a pipeline will help make the connection:
If we were to do multiple parallel heads of neighbourhood aggregation and replace summation over the neighbours $j$ with the attention mechanism, i.e., a weighted sum, we'd get the Graph Attention Network (GAT). Add normalization and the feed-forward MLP, and voila, we have a Graph Transformer!
Really interesting, TEM is exactly a variant of GAT!
To make the connection more explicit, consider a sentence as a fully-connected graph, where each word is connected to every other word. Now, we can use a GNN to build features for each node (word) in the graph (sentence), which we can then perform NLP tasks with.
Broadly, this is what Transformers are doing:
Whereas standard GNNs are aggregate features from their local neighbourhood nodes $j \in N(i)$, Transformers for NLP treat the entire sentence $S$ as the local neighbourhood, aggregating features from each word $j \in S$ at each layer.
Importantly, various problem-specific tricks:
are essential for the success of Transformers but seldom seem in the GNN community. At the same time, looking at Transformers from a GNN perspective could inspire us to get rid of a lot of the bells and whistles in the architecture.
Now that we've established a connection between Transformers and GNNs, let me throw some ideas around...
Before statistical NLP and ML, linguists like Noam Chomsky focused on developing formal theories of linguistic structure, such as syntax trees/graphs. Tree LSTMs already tried this, but maybe Transformers/GNNs are better architectures for bringing the world of linguistic theory (exactly rules!) and statistical NLP (only relationships, not rules!) closer?
Another issue with fully-connected graphs is that
This is simply due to how the number of edges in the graph scales quadratically with the number of nodes, i.e., in an $n$ word sentence, a Transformer/GNN would be doing computations over $n^{2}$ pairs of words. Things get out of hand for very large $n$.
The NLP community's perspective on the long sequences and dependencies problem is interesting:
are all promising new ideas for better Transformers.
It would be interesting to see ideas from the GNN community thrown into the mix, e.g., Binary Partitioning for sentence graph sparsification seems like another exciting approach.
Source: Ye et al., 2019
There have been several interesting papers from the NLP community on what Transformers might be learning. The basic premise is that performing attention on all word pairs in a sentence - with the purpose of identifying which pairs are the most interesting - enables Transformers to learn something like a task-specific syntax. Different heads in the multi-head attention might also be "looking" at different syntactic properties.
In graph terms, by using GNNs on full graphs, can we recover the most important edges - and what they might entail - from how the GNN performs neighbourhood aggregation at each layer? I’m not so convinced by this view yet.
Source: Clark et al., 2019
I'm more sympathetic to the optimization view of the multi-head mechanism - having multiple attention heads improves learning and overcomes bad random initializations. For instance, these papers showed that Transformer heads can be ‘pruned’ or removed after training without significant performance impact.
Multi-head neighborhood aggregation mechanisms have also proven effective in GNNs, e.g., GAT uses the same multi-head attention and MoNet uses multiple Gaussian kernels for aggregating features. Although invented to stabilize attention mechanisms, could the multi-head trick become standard for squeezing out extra model performance?
Conversely, GNNs with simpler aggregation functions such as sum or max do not require multiple aggregation heads for stable training. Wouldn't it be nice for Transformers if we didn't have to compute pair-wise compatibilities between each word pair in the sentence?
Could Transformers benefit from ditching attention, altogether? Yann Dauphin and collaborators’ recent work suggests an alternative ConvNet architecture. Transformers, too, might ultimately be doing something similar to ConvNets!
Source: Wu et al., 2019
Reading new Transformer papers makes me feel that training these models requires something akin to black magic when determining the best learning rate schedule, warmup strategy, and decay settings. This could simply be because the models are so huge and the NLP tasks studied are so challenging.
But recent results suggest that it could also be due to the specific permutation of normalization and residual connections within the architecture.
At this point I’m ranting, but this makes me skeptical: Do we really need multiple heads of expensive pair-wise attention, overparameterized MLP sub-layers, and complicated learning schedules?
Do we really need massive models with massive carbon footprints?
Shouldn’t architectures with good inductive biases for the task at hand be easier to train?
To dive deep into the Transformer architecture from an NLP perspective, check out these amazing blog posts: The Illustrated Transformer and The Annotated Transformer.
Also, this blog isn’t the first to link GNNs and Transformers: Here’s an excellent talk by Arthur Szlam on the history and connection between Attention/Memory Networks, GNNs and Transformers. Similarly, DeepMind’s star-studded position paper introduces the Graph Networks framework, unifying all these ideas. For a code walkthrough, the DGL team has a nice tutorial on seq2seq as a graph problem and building Transformers as GNNs.
In our next post, we’ll be doing the reverse: using GNN architectures as Transformers for NLP (based on the Transformers library by 🤗 HuggingFace).
Finally, we wrote a recent paper applying Transformers to sketch graphs. Do check it out!
Transformers are GNNs was published with The Gradient in September 2020!
The post originally appeared on the NTU Graph Deep Learning lab website, and has also been translated to Chinese and Russian. Do join the discussion on Twitter, Reddit or HackerNews!
For attribution in academic contexts or books, please cite this work as
Chaitanya K. Joshi, “Transformers are Graph Neural Networks”, The Gradient, 2020.
BibTeX citation:
@article{joshi2020transformers,
author = {Joshi, Chaitanya},
title = {Transformers are Graph Neural Networks},
journal = {The Gradient},
year = {2020},
howpublished = {\url{https://thegradient.pub/transformers-are-gaph-neural-networks/ } },
}
Related Reference