Basis Lab

Finding Structure Without Labels

Working Without an Answer Key

Three useful questions can be asked of data nobody has labelled, none of them has a score to check against, and every method answers whether or not there is anything there.

What is missing

Everything in the previous two courses rested on one arrangement. Each row

came with an answer, some rows were hidden, the model was asked about them,

and the comparison was the score.

Now the answers are gone. A table of forty thousand customers, each with

sixty columns and no column saying what they are. A pile of documents. A month

of sensor readings. Nobody has labelled any of it, and labelling it would cost

more than the project is worth.

This is the ordinary situation. Most data that exists has never been

labelled, and the methods for it are the easiest in the field to fool yourself

with, for a reason that this lesson is entirely about.

Three questions

Almost everything anybody wants from unlabelled data is one of three things.

FIG 1The three questions, with what each produces
what goes inwhat comes outtypical use
which rows belong togeth40000400001
how few numbers describe6022
which rows are unlike th40000403
Counts for one example, a table of forty thousand customers with sixty columns. Grouping takes forty thousand rows and returns a group label for each. Reducing takes sixty columns and returns two or three. Flagging takes the rows and returns the few dozen that stand out. The last column is a code: 1 is deciding who to treat differently, 2 is plotting or feeding another method, 3 is catching faults and fraud.

Naming which of the three a task is settles a great deal before any method is

chosen. A request to understand the customers is not a task; a request to

divide them into a handful of groups that marketing will treat differently is

one, and it carries its own standard of success, which is whether marketing

can act on the groups.

There is no score

In the previous courses a model was judged by hiding some answers and checking

against them. That procedure needs answers. Here there are none, so there is

nothing to hide and nothing to check.

This is not a gap that cleverness closes. It is the definition of the

situation. Several numbers get reported as though they were scores, and every

one of them is computed from the same data the method was fitted on, using the

same notion of distance the method was trying to optimise. A method that

groups points tightly around centres will score well on a measure of how

tightly points sit around centres, whatever the data looks like.

FIG 2The quantity a grouping method makes small
how many groups were asked for
the centre of group g
a row assigned to that group
whatever distance was chosen, which is the subject of the next lesson
This is the thing the method minimises and it is also the number most often quoted as evidence that the grouping is good. Quoting it is circular: it says the method did what it was asked, not that there was anything there to find. It also falls automatically as more groups are asked for, reaching zero when every row is its own group.

The method always answers

Here is the fact that makes this subject dangerous.

Ask a grouping method for four groups and it returns four groups. It returns

them on data with four real groups in it, and it returns them on data drawn

uniformly from a square, with no structure of any kind. The output looks the

same: four centres, four coloured regions, a chart anybody would accept.

FIG 3The same procedure on three data sets
stepwhat the data actually isgroups asked forwhat came backwithin group spread
1four well separated blobs4four groups matching the blobs0.41
2points spread evenly over a square4four groups, four tidy regions0.58
3one long thin band of points4four groups, the band cut in four0.33
4four well separated blobs7the four blobs, three of them cut in two0.22
4 steps
Only the first row is a finding. The second is the method dividing an empty square, the third is it cutting a single object into pieces, and the fourth has the best spread of all while being the worst description. Nothing in the output distinguishes them, and the quoted number actively misleads in two of the four rows.

The procedure has no way to report that the question was wrong, because it was

never given a way to represent that answer. It was asked for four groups and

four groups is what it knows how to produce.

FIG 4The spread falls with more groups whether or not groups exist
0.000.300.600.901.201.03.86.59.312.0groups asked for
data with no structure at alldata with four real groups
Both curves fall and keep falling, so a falling curve is not evidence of anything. The difference between the two is in the shape rather than the direction, and reading that difference is the subject of the fourth lesson. Anybody shown only one curve, without the other to compare against, can conclude nothing from it.

What can stand in for a score

Two things cannot be manufactured by the method itself, and between them they

carry most of the honest evidence available in this course.

The first is stability. Refit the method on a different sample of the same

data, or on nine tenths of it, and see whether roughly the same structure

comes back. A real division of the data survives this. A division the method

imposed on an empty square does not, because there was nothing determining

where the boundaries fell.

The second is prediction of something held out. Find a column that was not

used in the grouping, something known about each row but kept out of the

method, and ask whether the groups differ on it. Groups built from purchase

history that turn out to differ sharply in cancellation rate have told you

something, and the cancellation rate was never available to the method.

FIG 5What each kind of evidence can and cannot establish
can be computed by the msurvives on structurelesworth reporting
the within group spread110
a chart of the groups in110
stability under resampli001
difference on a held out001
The first column is the giveaway. Anything the method can compute about itself will look fine on data with nothing in it, because the method made it look that way. The second column asks whether the evidence would still appear on an empty square, and the two rows where it would not are the two worth reporting.

The rest of the course teaches the methods and this scepticism together,

because teaching them apart produces people who can run a grouping and cannot

tell whether it means anything. The next lesson starts underneath all of them,

with the notion of distance that every one of these methods is built on and

that quietly decides most of the answer.

Recap

  • The three questions worth asking of unlabelled data are which rows belong together, how few numbers describe a row, and which rows do not look like the rest.
  • There is no held back score here, because there is nothing to hold back, so the whole apparatus of the previous courses for telling a good model from a bad one is unavailable.
  • Every method returns an answer on every data set, including data with no structure in it at all, which is why the result must be argued for rather than displayed.

This is the reading half

Starting the course gives you your own copy of it. Every idea on every page has problems standing under it, marked with a reason rather than a tick, and any sentence you do not believe can be opened and argued with. None of that can happen on a page nobody owns.

The contents

NextDeciding What Close Means →

The rest of this course

  1. 01Working Without an Answer Keyyou are here
  2. 02Deciding What Close Meansopening only
  3. 03Grouping Around Centresopening only
  4. 04How Many Groups Are Thereopening only
  5. 05Groups That Are Not Blobsopening only
  6. 06Describing It With Fewer Numbersopening only
  7. 07Flagging the Odd One Outopening only
  8. 08Judging a Result With No Truth to Checkopening only

Read alongside