Download presentation
Presentation is loading. Please wait.
Published byGeraldine Howard Modified over 9 years ago
1
PrasadL18LSI1 Latent Semantic Indexing Adapted from Lectures by Prabhaker Raghavan, Christopher Manning and Thomas Hoffmann
2
Today’s topic Latent Semantic Indexing Term-document matrices are very large But the number of topics that people talk about is small (in some sense) Clothes, movies, politics, … Can we represent the term-document space by a lower dimensional latent space? Prasad2L18LSI
3
Linear Algebra Background Prasad3L18LSI
4
Eigenvalues & Eigenvectors Eigenvectors (for a square m m matrix S ) How many eigenvalues are there at most? only has a non-zero solution if this is a m -th order equation in λ which can have at most m distinct solutions (roots of the characteristic polynomial) – can be complex even though S is real. eigenvalue(right) eigenvector Example 4
5
Matrix-vector multiplication has eigenvalues 30, 20, 1 with corresponding eigenvectors On each eigenvector, S acts as a multiple of the identity matrix: but as a different multiple on each. Any vector (say x= ) can be viewed as a combination of the eigenvectors: x = 2v 1 + 4v 2 + 6v 3
6
Matrix vector multiplication Thus a matrix-vector multiplication such as Sx (S, x as in the previous slide) can be rewritten in terms of the eigenvalues/vectors: Even though x is an arbitrary vector, the action of S on x is determined by the eigenvalues/vectors. Prasad6L18LSI
7
Matrix vector multiplication Observation: the effect of “small” eigenvalues is small. If we ignored the smallest eigenvalue (1), then instead of we would get These vectors are similar (in terms of cosine similarity), or close (in terms of Euclidean distance). Prasad7L18LSI
8
Eigenvalues & Eigenvectors For symmetric matrices, eigenvectors for distinct eigenvalues are orthogonal All eigenvalues of a real symmetric matrix are real. All eigenvalues of a positive semi-definite matrix are non-negative Prasad8L18LSI
9
Example Let Then The eigenvalues are 1 and 3 (nonnegative, real). The eigenvectors are orthogonal (and real): Real, symmetric. Plug in these values and solve for eigenvectors. Prasad
10
Let be a square matrix with m linearly independent eigenvectors (a “non-defective” matrix) Theorem: Exists an eigen decomposition (cf. matrix diagonalization theorem) Columns of U are eigenvectors of S Diagonal elements of are eigenvalues of Eigen/diagonal Decomposition diagonal Unique for distinct eigen- values Prasad10L18LSI
11
Diagonal decomposition: why/how Let U have the eigenvectors as columns: Then, SU can be written And S=U U –1. Thus SU=U , or U –1 SU= Prasad11
12
Diagonal decomposition - example Recall The eigenvectors and form Inverting, we have Then, S=U U –1 = Recall UU –1 =1.
13
Example continued Let’s divide U (and multiply U –1 ) by Then, S= Q(Q -1 = Q T ) Why? Stay tuned … Prasad13L18LSI
14
If is a symmetric matrix: Theorem: There exists a (unique) eigen decomposition where Q is orthogonal: Q -1 = Q T Columns of Q are normalized eigenvectors Columns are orthogonal. (everything is real) Symmetric Eigen Decomposition Prasad14L18LSI
15
Exercise Examine the symmetric eigen decomposition, if any, for each of the following matrices: Prasad15L18LSI
16
Time out! I came to this class to learn about text retrieval and mining, not have my linear algebra past dredged up again … But if you want to dredge, Strang’s Applied Mathematics is a good place to start. What do these matrices have to do with text? Recall M N term-document matrices … But everything so far needs square matrices – so … Prasad16L18LSI
17
Singular Value Decomposition MMMMMNMN V is N N For an M N matrix A of rank r there exists a factorization (Singular Value Decomposition = SVD) as follows: The columns of U are orthogonal eigenvectors of AA T. The columns of V are orthogonal eigenvectors of A T A. Singular values. Eigenvalues 1 … r of AA T are the eigenvalues of A T A. Prasad
18
Singular Value Decomposition Illustration of SVD dimensions and sparseness Prasad18L18LSI
19
SVD example Let Thus M=3, N=2. Its SVD is Typically, the singular values arranged in decreasing order.
20
SVD can be used to compute optimal low-rank approximations. Approximation problem: Find A k of rank k such that A k and X are both m n matrices. Typically, want k << r. Low-rank Approximation Frobenius norm Prasad20L18LSI
21
Solution via SVD Low-rank Approximation set smallest r-k singular values to zero column notation: sum of rank 1 matrices k
22
If we retain only k singular values, and set the rest to 0, then we don’t need the matrix parts in red Then Σ is k×k, U is M×k, V T is k×N, and A k is M×N This is referred to as the reduced SVD It is the convenient (space-saving) and usual form for computational applications Reduced SVD k 22
23
Approximation error How good (bad) is this approximation? It’s the best possible, measured by the Frobenius norm of the error: where the i are ordered such that i i+1. Suggests why Frobenius error drops as k increases. Prasad23L18LSI
24
SVD Low-rank approximation Whereas the term-doc matrix A may have M=50000, N=10 million (and rank close to 50000) We can construct an approximation A 100 with rank 100. Of all rank 100 matrices, it would have the lowest Frobenius error. Great … but why would we?? Answer: Latent Semantic Indexing C. Eckart, G. Young, The approximation of a matrix by another of lower rank. Psychometrika, 1, 211-218, 1936.
25
Latent Semantic Indexing via the SVD Prasad25L18LSI
26
What it is From term-doc matrix A, we compute the approximation A k. There is a row for each term and a column for each doc in A k Thus docs live in a space of k<<r dimensions These dimensions are not the original axes But why? Prasad26L18LSI
27
Vector Space Model: Pros Automatic selection of index terms Partial matching of queries and documents (dealing with the case where no document contains all search terms) Ranking according to similarity score (dealing with large result sets) Term weighting schemes (improves retrieval performance) Various extensions Document clustering Relevance feedback (modifying query vector) Geometric foundation Prasad27L18LSI
28
Problems with Lexical Semantics Ambiguity and association in natural language Polysemy: Words often have a multitude of meanings and different types of usage (more severe in very heterogeneous collections). The vector space model is unable to discriminate between different meanings of the same word. Prasad28
29
Problems with Lexical Semantics Synonymy: Different terms may have identical or similar meanings (weaker: words indicating the same topic). No associations between words are made in the vector space representation. Prasad29L18LSI
30
Polysemy and Context Document similarity on single word level: polysemy and context car company dodge ford meaning 2 ring jupiter space voyager meaning 1 … saturn... … planet... contribution to similarity, if used in 1 st meaning, but not if in 2 nd Prasad30L18LSI
31
Latent Semantic Indexing (LSI) Perform a low-rank approximation of document-term matrix (typical rank 100-300) General idea Map documents (and terms) to a low- dimensional representation. Design a mapping such that the low-dimensional space reflects semantic associations (latent semantic space). Compute document similarity based on the inner product in this latent semantic space Prasad31L18LSI
32
Goals of LSI Similar terms map to similar location in low dimensional space Noise reduction by dimension reduction Prasad32L18LSI
33
Latent Semantic Analysis Latent semantic space: illustrating example courtesy of Susan Dumais Prasad33L18LSI
34
Performing the maps Each row and column of A gets mapped into the k-dimensional LSI space, by the SVD. Claim – this is not only the mapping with the best (Frobenius error) approximation to A, but in fact improves retrieval. A query q is also mapped into this space, by Query NOT a sparse vector. Prasad34L18LSI
35
Performing the maps A T A is the dot product of pairs of documents A T A ≈ A k T A k = (U k k V k T ) T (U k k V k T ) = V k k U k T U k k V k T = (V k k ) (V k k ) T Since V k = A k T U k k -1 we should transform query q to q k as follows Sec. 18.4 35
36
Empirical evidence Experiments on TREC 1/2/3 – Dumais Lanczos SVD code (available on netlib) due to Berry used in these expts Running times of ~ one day on tens of thousands of docs [still an obstacle to use] Dimensions – various values 250-350 reported. Reducing k improves recall. (Under 200 reported unsatisfactory) Generally expect recall to improve – what about precision? 36L18LSI
37
Empirical evidence Precision at or above median TREC precision Top scorer on almost 20% of TREC topics Slightly better on average than straight vector spaces Effect of dimensionality: DimensionsPrecision 2500.367 3000.371 3460.374 Prasad37L18LSI
38
Failure modes Negated phrases TREC topics sometimes negate certain query/terms phrases – automatic conversion of topics to Boolean queries As usual, freetext/vector space syntax of LSI queries precludes (say) “Find any doc having to do with the following 5 companies” See Dumais for more. 38
39
But why is this clustering? We’ve talked about docs, queries, retrieval and precision here. What does this have to do with clustering? Intuition: Dimension reduction through LSI brings together “related” axes in the vector space. Prasad39L18LSI
40
Intuition from block matrices Block 1 Block 2 … Block k 0’s = Homogeneous non-zero blocks. M terms N documents What’s the rank of this matrix? Prasad
41
Intuition from block matrices Block 1 Block 2 … Block k 0’s M terms N documents Vocabulary partitioned into k topics (clusters); each doc discusses only one topic.
42
Intuition from block matrices Block 1 Block 2 … Block k Few nonzero entries wiper tire V6 car automobile 1 1 0 0 Likely there’s a good rank-k approximation to this matrix.
43
Simplistic picture Topic 1 Topic 2 Topic 3 Prasad43
44
Some wild extrapolation The “dimensionality” of a corpus is the number of distinct topics represented in it. More mathematical wild extrapolation: if A has a rank k approximation of low Frobenius error, then there are no more than k distinct topics in the corpus. Prasad44L18LSI
45
LSI has many other applications In many settings in pattern recognition and retrieval, we have a feature-object matrix. For text, the terms are features and the docs are objects. Could be opinions and users … This matrix may be redundant in dimensionality. Can work with low-rank approximation. If entries are missing (e.g., users’ opinions), can recover if dimensionality is low. Powerful general analytical technique Close, principled analog to clustering methods. Prasad45
46
Hinrich Schütze and Christina Lioma Latent Semantic Indexing 46
47
Overview ❶ Latent semantic indexing ❷ Dimensionality reduction ❸ LSI in information retrieval 47
48
Outline ❶ Latent semantic indexing ❷ Dimensionality reduction ❸ LSI in information retrieval 48
49
49 Recall: Term-document matrix This matrix is the basis for computing the similarity between documents and queries. Today: Can we transform this matrix, so that we get a better measure of similarity between documents and queries?... Anthony and Cleopatra Julius Caesar The Tempest HamletOthelloMacbeth anthony5.253.180.0 0.35 brutus1.216.100.01.00.0 caesar8.59 2.540.01.510.250.0 calpurnia0.01.540.0 cleopatra2.850.0 mercy1.510.01.900.125.250.88 worser1.370.00.114.150.251.95
50
50 Latent semantic indexing: Overview We decompose the term-document matrix into a product of matrices. The particular decomposition we’ll use is: singular value decomposition (SVD). SVD: C = U Σ V T (where C = term-document matrix) We will then use the SVD to compute a new, improved term- document matrix C′. We’ll get better similarity values out of C′ (compared to C). Using SVD for this purpose is called latent semantic indexing or LSI.
51
51 Example of C = U Σ V T : The matrix C This is a standard term-document matrix. Actually, we use a non-weighted matrix here to simplify the example.
52
52 Example of C = U Σ V T : The matrix U One row per term, one column per min(M,N) where M is the number of terms and N is the number of documents. This is an orthonormal matrix: (i) Row vectors have unit length. (ii) Any two distinct row vectors are orthogonal to each other. Think of the dimensions (columns) as “semantic” dimensions that capture distinct topics like politics, sports, economics. Each number u ij in the matrix indicates how strongly related term i is to the topic represented by semantic dimension j.
53
53 Example of C = U Σ V T : The matrix Σ This is a square, diagonal matrix of dimensionality min(M,N) × min(M,N). The diagonal consists of the singular values of C. The magnitude of the singular value measures the importance of the corresponding semantic dimension. We’ll make use of this by omitting unimportant dimensions.
54
54 Example of C = U Σ V T : The matrix V T One column per document, one row per min(M,N) where M is the number of terms and N is the number of documents. Again: This is an orthonormal matrix: (i) Column vectors have unit length. (ii) Any two distinct column vectors are orthogonal to each other. These are again the semantic dimensions from the term matrix U that capture distinct topics like politics, sports, economics. Each number v ij in the matrix indicates how strongly related document i is to the topic represented by semantic dimension j.
55
55 Example of C = U Σ V T : All four matrices 55
56
56 LSI: Summary We’ve decomposed the term-document matrix C into a product of three matrices. The term matrix U – consists of one (row) vector for each term The document matrix V T – consists of one (column) vector for each document The singular value matrix Σ – diagonal matrix with singular values, reflecting importance of each dimension Next: Why are we doing this? 56
57
Outline ❶ Latent semantic indexing ❷ Dimensionality reduction ❸ LSI in information retrieval 57
58
58 How we use the SVD in LSI Key property: Each singular value tells us how important its dimension is. By setting less important dimensions to zero, we keep the important information, but get rid of the “details”. These details may be noise – in that case, reduced LSI is a better representation because it is less noisy. make things dissimilar that should be similar – again reduced LSI is a better representation because it represents similarity better.
59
59 How we use the SVD in LSI Analogy for “fewer details is better” Image of a bright red flower Image of a black and white flower Omitting color makes is easier to see similarity
60
60 Recall unreduced decomposition C=U Σ V T 60
61
61 Reducing the dimensionality to 2 61
62
62 Reducing the dimensionality to 2 Actually, we only zero out singular values in Σ. This has the effect of setting the corresponding dimensions in U and V T to zero when computing the product C = U Σ V T. 62
63
63 Original matrix C vs. reduced C 2 = U Σ 2 V T We can view C 2 as a two- dimensional representation of the matrix. We have performed a dimensionality reduction to two dimensions. 63
64
64 Why is the reduced matrix “better” 64 Similarity of d2 and d3 in the original space: 0. Similarity of d2 und d3 in the reduced space: 0.52 * 0.28 + 0.36 * 0.16 + 0.72 * 0.36 + 0.12 * 0.20 + - 0.39 * - 0.08 ≈ 0.52
65
65 Why the reduced matrix is “better” 65 “boat” and “ship” are semantically similar. The “reduced” similarity measure reflects this. What property of the SVD reduction is responsible for improved similarity?
66
Outline ❶ Latent semantic indexing ❷ Dimensionality reduction ❸ LSI in information retrieval 66
67
67 Why we use LSI in information retrieval LSI takes documents that are semantically similar (= talk about the same topics),... ... but are not similar in the vector space (because they use different words)... ... and re-represent them in a reduced vector space.. ... in which they have higher similarity. Thus, LSI addresses the problems of synonymy and semantic relatedness. Standard vector space: Synonyms contribute nothing to document similarity. Desired effect of LSI: Synonyms contribute strongly to document similarity.
68
68 How LSI addresses synonymy and semantic relatedness The dimensionality reduction forces us to omit “details”. We have to map different words (= different dimensions of the full space) to the same dimension in the reduced space. The “cost” of mapping synonyms to the same dimension is much less than the cost of collapsing unrelated words. SVD selects the “least costly” mapping (see below). Thus, it will map synonyms to the same dimension. But, it will avoid doing that for unrelated words. 68
69
69 LSI: Comparison to other approaches Recap: Relevance feedback and query expansion are used to increase recall in IR – if query and documents have (in the extreme case) no terms in common. LSI increases recall and can hurt precision. Thus, it addresses the same problems as (pseudo) relevance feedback and query expansion... ... and it has the same problems. 69
70
70 Implementation Compute SVD of term-document matrix Reduce the space and compute reduced document representations Map the query into the reduced space This follows from: Compute similarity of q 2 with all reduced documents in V 2. Output ranked list of documents as usual Exercise: What is the fundamental problem with this approach?
71
71 Optimality SVD is optimal in the following sense. Keeping the k largest singular values and setting all others to zero gives you the optimal approximation of the original matrix C. Eckart-Young theorem Optimal: no other matrix of the same rank (= with the same underlying dimensionality) approximates C better. Measure of approximation is Frobenius norm: So LSI uses the “best possible” matrix. Caveat: There is only a tenuous relationship between the Frobenius norm and cosine similarity between documents.
72
Example from Dumais et al PrasadL18LSI72
73
Latent Semantic Indexing (LSI)
74
PrasadL18LSI74
75
PrasadL18LSI75
76
Reduced Model (K = 2) PrasadL18LSI76
77
PrasadL18LSI77
78
LSI, SVD, & Eigenvectors SVD decomposes: Term x Document matrix X as X=U V T Where U,V left and right singular vector matrices, and is a diagonal matrix of singular values Corresponds to eigenvector-eigenvalue decompostion: Y=VLV T Where V is orthonormal and L is diagonal U: matrix of eigenvectors of Y=XX T V: matrix of eigenvectors of Y=X T X : diagonal matrix L of eigenvalues
79
Computing Similarity in LSI
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.