COMCIFS / cif_core

The IUCr CIF core dictionary
15 stars 9 forks source link

The spelling of the term "Jones faithful notation" #335

Open vaitkus opened 1 year ago

vaitkus commented 1 year ago

One of the definitions in the dictionary refers to the Jonesf aithful notation (_function.seitzfromjones). However, other sources (e.g. the CIF_MAG dictionary) refer to the same notation as "Jones-Faithful notation" or even "Jones Faithful notation". Some of the spellings that appear in peer-reviewed sources:

I was unable to find a reference to the original publication that describes this notation. This might seem like a trivial thing, but currently it is quite unclear what the "faithful" term refers to: a second author, the name of the notation or the mathemathical concept of a faithful representation (https://en.wikipedia.org/wiki/Faithful_representation). Which option is the correct one?

rowlesmr commented 1 year ago

I believe it is "Jones’ faithful".

ITC TE (6th ed) p. 38 refers to "Jones' faithful representation symbol, cf. Bradley & Cracknell (1972)."

Which is

Bradley & Cracknell (1972) The Mathematical Theory of Symmetry in Solids. Oxford: Clarendon Press.

It's available online from my library. A search for "faithful", yields (in chapter 1, btw):

if \g is an isomorphism, the (group) representation is said to be faithful. (italics are in the book)

and then later, we get

Jones' faithful representation

and then

Jones' faithful representation of C+4z is written as (-yxz) ... (matrix things occur) ... which illustrates why D is a faithful representation.

jamesrhester commented 1 year ago

Nice detective work.

vaitkus commented 1 year ago

@rowlesmr, thank you for using your powers for good!

I wonder how difficult it would be to uncover the original work of Jones in which they defined this notation. Anyway, I think that the current reference provides sufficient evidence that it should not be spelt as "Jones-Faithful notation". I will leave this issue open for just a bit longer in case anyone wants to add something more to it.

rowlesmr commented 1 year ago

Finding the original is tricky.

I found this https://arxiv.org/pdf/0803.0304.pdf, which references https://www.jstor.org/stable/1971403, but that is only 1987.

I've ask a colleague at uni, but they're away until the end of January. Maybe shoot Mois an email?

vaitkus commented 1 year ago

I think that not the Jones we are looking for, given that V. F. R. Jones was born in 1952.

Based on the citations in "The Mathematical Theory of Symmetry in Solids" I would guess that Harry Jones is the author of the notation though I cannot pinpoint the specific publication (if such exists): https://royalsocietypublishing.org/action/doSearch?ContribAuthorRaw=Jones%2C+Harry

I've ask a colleague at uni, but they're away until the end of January.

I guess there is no hurry, its more of a nice-to-know question.

Maybe shoot Mois an email?

Sorry, I did not get this part.

rowlesmr commented 1 year ago

Sorry @vaitkus, I managed to edit your post instead of quoting it. I think I've reverted it correctly.

.

Maybe shoot Mois an email?

Sorry, I did not get this part.

A bit too Australian.

Maybe Mois Aroyo might know? He's the editor of ITC TE and lead author on the section that has p. 38.

jamesrhester commented 1 year ago

Brian McMahon confirms that the correct form is Jones' faithful but the apostrophe is usually dropped. He checked this for First Edition of Volume G.

vaitkus commented 1 year ago

@rowlesmr wrote:

A bit too Australian.

Maybe Mois Aroyo might know? He's the editor of ITC TE and lead author on the section that has p. 38.

Not at all, I simply did not recognise Mois by his name alone. :) Thank you for clarifying, I will try reaching out.

@jamesrhester wrote:

Brian McMahon confirms that the correct form is Jones' faithful but the apostrophe is usually dropped. He checked this for First Edition of Volume G.

Good to have an additional confirmation. Maybe Brian is aware of the original publication that defined the notation (I understand that it might not exist)?

jamesrhester commented 1 year ago

Good to have an additional confirmation. Maybe Brian is aware of the original publication that defined the notation (I understand that it might not exist)?

The answer to that might have to wait until Brian finishes his holidays in a few weeks' time.