35
$\begingroup$

I am now doing an article survey on the field of information geometry started by S.Amari and Barndorff-Nielson. I want to know some research situation in this field. I have read (4) and parts of (3).

As the comment in (1)'s answer said"I am seeking more of an expert's perspective on the field." I want some comments from experts too since I am totally new to this field.(I would say that it is lying between math and statistics.)

It seems like a young branch which starts at 1960s and reached its peak at around 1990s(5). According to (2), I still feel there is much potentiality in this field at the first sight. However, the critiques (6) certainly make sense but I doubt that these small flaws (like the lack of independence assumption) will affect its future development since this can probably be remedied be adding slightly more restrictive priori assumptions.

And I feel it rather insightful that some researchers has presented a new framework by using Fisher matrix as a convergence criterion(7).

Yet there is still few recent research papers in this field, which is contradictory to my first impression.

Question

My question is how the direction of researches is going on in the field of Information Geometry today? Is it a fancy field to be explored or it is just a dead end with some severe flaws I didn't catch? (If so, please point it out.)

Reference

(1)Related post on math.SE:Applications of IG

(2)Tutorial of IG:Information Theory and Statistics: A Tutorial

(3)Introduction written by S.Amari:Methods of Information Geometry

(4)Another readable introduction:Differential Geometry and Statistics

(5)The paper collections:Differential Geometry in Statistical Inference

(6)Two critical papers of IG:Critique of information geometry Failures of information geometry

(7)Works of S.Watanabe

(8)Wikipedia.org:wiki:IG

(9)A most recent paper by Amari talking about the interplay between information geometry, statistics and machine learning. Information geometry in optimization, machine learning and statistical inference

$\endgroup$
  • 2
    $\begingroup$ I don't want to write an answer since I'm not an expert, but I can give the opinion of someone with a geometry background who tried to get a sense of what IG is all about (by looking at Murray and Rice's book, and a few other articles). My opinion is that the theory seems quite rich and elegant, but I couldn't tell you what the main examples are or what the theory would hope to say about them. In principle I think the examples are supposed to come from parametrized families of random variables, and it is natural to ask if such a family can be taken seriously as a geometric object... $\endgroup$ – Paul Siegel Aug 30 '15 at 22:22
  • 1
    $\begingroup$ ...but it's hard to think of a natural example where the parameter space is something other than a finite set, $\mathbb{R}^n$, or a lattice in $\mathbb{R}^n$. And if you take a problem associated to a family with a more familiar parameter space (e.g. the central limit theorem) it is not clear what the corresponding problem would be in IG. Answers to these questions may appear somewhere in the literature, but in my experience the literature is more preoccupied with building the theory than motivating it with examples. $\endgroup$ – Paul Siegel Aug 30 '15 at 22:30
  • $\begingroup$ @PaulSiegel I think what you talked about is just 1980s' situation in Murray's text. If my memory is correct, there're a few papers attempting to apply ergodic theory onto more general situations besides parametrizable families. But thank you for your time and attention to this problem. Actually I just felt strange that such an elegant theory attracted so little attention...Thanks! $\endgroup$ – Henry.L Aug 30 '15 at 23:04
  • 1
    $\begingroup$ I would think it's natural to have a parameter space given by a Lie group, as in, e.g. mathoverflow.net/questions/14729 $\endgroup$ – Steve Huntsman Aug 31 '15 at 0:09
  • 1
    $\begingroup$ @SteveHuntsman You mean a multi-variate case with matrix parameters? But how the Lie group structure helps in this case? I am confused. $\endgroup$ – Henry.L Aug 31 '15 at 0:43
10
$\begingroup$

While I wouldn't call myself an expert in information geometry, I am a postdoc in a lab that focuses on the subject. My background is in geometric analysis, but I started working on IG a year ago. As a disclaimer, this is entirely my own opinion and others may disagree.

Since you asked this question, the research situation in the field has improved. Firstly, two separate books ([1$ $], [2$ $]) have been published, both of which are good references for the material. In particular, the second gives a rigorous mathematical treatment for the basic theory. Secondly, a new journal, Information Geometry, has been released. Thus far two issues have been published and they both contain some interesting papers.

However, information geometry is definitely a relatively niche mathematical field. Personally, I prefer things this way; information geometry gives a rich class of examples and there is relatively low-hanging fruit to be found.

As to the reason for this, in my opinion IG is really an interdisciplinary field and not simply a branch of mathematics. Many of the people working in the field are not mathematicians by background. As a result, information geometry embodies a wide range of research. Some papers are mathematical, but many others are really statistics, computer science, or some hybrid thereof. Many of the publishing conventions are differ from math, as well. For instance, it's common to publish short papers without proofs in conference proceedings and, generally speaking, the main theorems are not stated in the introduction.

While there is a lot of good work being done in the field, there is also too much research that is not really serious. It's not done in bad faith, but seems due to a lack of experience and background in geometry. Without giving examples, some papers boil down to slightly modifying known results and treating them as novel. Other papers try to use really big ideas without understanding the underlying theory or really proving anything. Furthermore, what is considered acceptable overlap between publications is far greater than in pure math.

Even with the good papers, they often seem to lack a good punchline. The math in IG has built up a very general foundational theory, often without providing mathematical motivation for this theory. I suppose the motivation might be self-evident for a statistician, but as a geometer oftentimes it's completely lost on me. Furthermore, it's difficult to find explicit conjectures in the field. Unfortunately, there isn't something similar to Yau's list of open problems in geometry to guide progress in the field.

As a result of all of these factors, information geometry has remained a specialized sub-field. I think this will remain the case unless it is used to solve a big problem or it evolves to be more in line with standard mathematical conventions. All that being said, I've learned a lot from information geometry, and I think it's definitely worthwhile for the working geometer to know some of the basic examples. Furthermore, the field seems to be making good progress in recent years, so hopefully my critiques will soon be obsolete.

To end on a positive note, let me give an example of a paper that I think does things well [3$ $]. This work studies necessary conditions for a Riemannian manifold to locally be written as the Hessian of a convex potential. I really like this paper and have found it helpful for my intuition.

P.S. If anyone is interested, I was able to find a list of open problems from 1998, some of which have since been solved. In quantum information geometry, another open question is the Petz conjecture. This states that the scalar curvature of the Kubo-Mori metric is monotonic under stochastic processes. There is some work [5] which reduces the conjecture to a few seemingly elementary, yet extremely tricky, inequalities. If you are interested in this problem, feel free to shoot me an e-mail.

References

[1$ $] Amari, S. I. (2016). Information geometry and its applications (Vol. 194). Tokyo: Springer.

[2$ $] Ay, N., Jost, J., Vân Lê, H., & Schwachhöfer, L. (2017). Information geometry (Vol. 8). Berlin: Springer.

[3$ $] Amari, S. I., & Armstrong, J. (2014). Curvature of Hessian manifolds. Differential Geometry and its Applications, 33, 1-12.

[4] Andai, A. (2003). On the monotonicity conjecture for the curvature of the Kubo-Mori metric. arXiv preprint math-ph/0310064.

$\endgroup$
  • 1
    $\begingroup$ Thanks for the answer! $\endgroup$ – Henry.L Mar 29 at 18:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.