image of the month Image of the Month

image of the month

Mathemati-Con, a fun day of presentations and activities open to the public, Saturday, January 7 at the 2017 Joint Mathematics Meetings in Atlanta.

 
 

Tony Phillips
Tony Phillips' Take on Math in the Media
A monthly survey of math news

 

This month's topics:

Linear algebra and belief systems

A research report in Science (October 21, 2016) bore the title "Network science on belief system dynamics under logic constraints"; the authors are Noah E. Friedkin, Anton V. Proskurnikov, Roberto Tempo, and Sergey E. Parsegov. They quote a definition of a belief system: "a configuration of ideas and attitudes in which the elements are bound together by some form of constraint or functional interdependence." In the figure, the belief system is represented by $m$ truth statements $b_1,\dots, b_m$ and their interdependence is represented by the magenta matrix $C$, where the $i,j$ entry, a number between 0 and 1, gives the strength of the logical implication from $b_j$ to $b_i$.

The authors investigate the dynamics of the beliefs of $n$ individuals $p_1, \dots, p_n$ in the various items in the system. The beliefs are modeled by a $n\times m$ matrix $X$ (blue in the figure) where the entry $x_{ij}$ is 0 if individual $p_i$ believes that statement $b_j$ is false, 1 if $p_i$ believes it is true, and $0.5$ if $p_i$ has "maximum uncertainty" about the matter. The dynamics studied is the process $X(0), X(1), ..., X(k), ...$ by which this pattern of beliefs can change.

What makes it change? Besides the implementation of the logical implications encoded in the matrix $C$, an individual's beliefs are also shaped by those of his or her peers. The red matrix $W$ describes by a number $w_{ij}$ between 0 and 1 the weight which $p_i$ assigns to beliefs held by individual $p_j$. Finally the (orange) diagonal matrix A characterizes by a number between 0 and 1 each individual's "level of openness".

The authors' model involves only matrix addition and multiplication. They posit that for each individual $p_i$ the row $x_{i1}, ..., x_{im}$ representing $p_i$'s beliefs at step $k+1$ will be an average, weighted by that individual's "openness," between $p_i$'s original set of beliefs and the set given by the $i$th row of the matrix product $WX(k)C$: $$X(k+1) = AWX(k)C + (I-A)X(0).$$

belief equation

Friedkin et al.'s model for the dynamics of a belief system under logical constraints, and incorporating peer-to-peer influence. Individual $p_i$'s beliefs at step $k+1$ are represented by the $i$th row of the blue matrix $X(k+1)$. The equation states that they are a weighted average between a row that represents the effect of peer influence and logical implications on the beliefs at step $k$ (the $i$th row of the matrix $WX(k)C$) and a row representing $p_i$'s original pattern of beliefs, or "prejudices." The weighting is given by the $i$th entry in the diagonal matrix A: it is 1 if $p_i$ is maximally open to change, and 0 if $p_i$ is maximally stubborn.

The authors spend some time on an example from recent history, involving the run-up to the invasion of Iraq and Colin Powell's speech to the General Assembly about weapons of mass destruction.

A "perspectives" piece in the same issue of Science gives some background for this research. Carter E. Butts (UC Irvine) explains in "Why I know but don't believe: Individuals hold interdependent beliefs that affect whether or not they accept scientific findings" that in current models of the dynamics of belief systems "cognitive structure has been given short shrift," and gives an example to show the importance of Friedkin et al.'s novel incorporation of an inter-propositional influence matrix ($C$ in the figure) in their model. "For instance, an individual who believes that human civilization is too insignificant to alter the global environment will tend to reject evidence for anthropogenic change in atmospheric carbon dioxide conventration, because the former belief undermines the latter. If this same persom is later persuaded (perhaps in an entirely different context) that human civilization can alter the global envoronment, he or she may become more likely to accept the notion that human activity has substantially increased atmospheric carbon dioxide levels."

Math and the perfect cup of coffee

It's a Science & Environment item on the BBC News website: "Maths zeroes in on perfect cup of coffee," by Paul Rincon, November 15, 2016. "Brewing the perfect cup of coffee is always going to be a subjective endeavour. But the work by Kevin Moroney at the University of Limerick, William Lee at the University of Portsmouth and others offers a better understanding of the parameters that influence the final product." Rincon quotes William Lee: "Our overall idea is to have a complete mathematical model of coffee brewing that you could use to design coffee machines, rather like we use a theory of fluid and solid mechanics to design racing cars." The current work focuses on the effect of the grain size of ground coffee. "It had previously been known that grinding beans too finely could result in coffee that is over-extracted and very bitter. On the other hand not grinding them enough can make the end result too watery." Dr. Lee: "What our work has done is take that [observation] and made it quantitative." The work, "Asymptotic Analysis of the Dominant Mechanisms in the Coffee Extraction Process," appears in the SIAM Journal on Applied Mathematics, 76, 2196-2217. Abstract here.

A natural knot in an important protein

The article "Methyl transfer by substrate signaling from a knotted protein fold," by Thomas Christian (Thomas Jefferson University) and eight collaborators, appeared in Nature Structural and Molecular Biology, October 2016. The research concerns the properties of the bacterial enzyme TrmD, and particulary the importance of the overhand knot which is part of its folded structure. "TrmD catalyzes methyl transfer from AdoMet to the N1 of G37 on the 3' side of the tRNA anticodon" As the authors remark, the product of this enzyme (m1G37-tRNA) is essential for life.

intending interested

The overhand knot in the protein TrmD. Image of protein courtesy of Ya-Ming Hou.

"Using an integrated approach of structural, kinetic, and computational analysis, we show that the structurally constrained TrmD knot is required for its catalytic activity." Specifically, "[the] knot is necessary to fold AdoMet into the bent conformation for methyl transfer." The authors remark that "TrmD is a leading antimicrobial drug target, owing to its essentiality for bacterial growth, its broad conservation across bacterial species, and its substantial differences from the human and archaeal counterpart Trm5." And draw the conclusion for medical applications: "the best inhibitors of TrmD should target the knot."

Tony Phillips
Stony Brook University
tony at math.sunysb.edu

Math Digest Math Digest
On Media Coverage of Math

Math Digest includes posts throughout each month, with summaries of math stories and unique insights (and occasionally videos, interviews and podcasts) on math-related topics recently covered by the media.

Recently posted:

On math and the "passer-by in the street," by Rachel Crowell

Joseph Diaz Gergonne

David Hilbert, who’s described in this editorial as "the most influential mathematician of the twentieth century," said at the 1900 International Congress of Mathematicians in Paris "A mathematical theory is not to be considered complete until you have made it so clear that you can explain it to the first man whom you meet on the street." Hilbert credited the saying to "an old French mathematician." Math historians June Barrow-Green and Reinhard Siegmund-Schultze recently traced the saying back to Joseph Diaz Gergonne (1771–1859), pictured at left, who was indeed a Frenchman. According to their analysis of historical documents, the saying first cropped up in 1825. That year, Gergonne wrote in a letter that the last word hasn’t been said on a theory until someone has been able to explain it to a passant dans la rue, which translates as a "passer-by in the street." Gerogonne took his statement one step further in 1826 when he said that if it is not possible to explain a theory in this way, then the theory "does not deserve to see the light of day."

Being able to break down any theory into terms that everyone can understand is something to strive for, but this editorial points out that for particularly complex theories, it may be better for us to strive to meet a standard that Einstein set forth: Make everything as simple as possible, but no simpler. (Image: MacTutor History of Mathematics archive.)

See "Being able to explain your work to passers-by is laudable---but not always possible," Editorial. Nature, 16 November 2016.

--- Rachel Crowell

Also now on Math Digest: female representation on editorial boards, a farewell to Numberplay, formula for a perfect cup of coffee, and more.

More . . .

Reviews: Books, plays and films about mathematics

Citations for reviews of books, plays, movies and television shows that are related to mathematics (but are not aimed solely at the professional mathematician). The alphabetical list includes links to the sources of reviews posted online, and covers reviews published in magazines, science journals and newspapers since 1996

More . . .