BiographyI received a PhD degree in theoretical physics from EPFL and then pursued my scientific activity at the mathematics department of Rutgers University (NJ, USA). Then I joined the Faculty of Basic Science of EPFL, where I worked in the field of quantum statistical mechanics and mathematical aspects of the quantum Hall effect. Since 2005 I am with the Communication Theories Laboratory of the School of Communication and Computer Science and am currently working at the interface between the theory of error correcting codes, statistical mechanics and information theory. I have held visiting appointments and collaborated with the University College and the Institute of Advanced studies in Dublin, the Ecole Normale Superieure de Lyon, the Centre de Physique Theorique Luminy Marseille, Paris XI Orsay, the ETH Zuerich.
Current and Past PhD studentsClement Luneau (present)
Eric Chun Lam Chan (present)
Mohamad Dia (present)
Rafah El-Khatib Analysis of Spatially Coupled Systems using the Potential Functional wth Applications to Coding Theory (2016)
Andrei Giurgiu Sparse Probabilistic Models: Phase Transitions and Solutions via Spatial Coupling (2015)
Hamed Hassani Polarization and Spatial Coupling: two techniques to boost performance (2013) - Information Theory Society 2014 Thomas Cover dissertation Award.
Marc Vuffray The cavity Method in Coding Theory (2013)
Shrinivas Kudekar Statistical Physics Methods for Sparse Graph Codes (2009).
Satish Korada Polar Codes for Channel and Source Coding (2009) - ABB 2010 Thesis Award.
Christian Ferrari Aspects of Two Dimensional Schrödinger operators: Quantum Hall Systems and Magnetic Stark Resonances (2003)
Claude Alain Piguet Long-range orders in models of itinerant electrons interacting with classical or quantum fields (1999)
|Jean Barbier, Chun Lam Chan and Nicolas Macris
Long version with detailed proofs of ISIT 2018 submission "Adpative Path Interpolation for Sparse Systems: Application to a Simple Censored Block Model"
|Adaptive Path Interpolation Method for Sparse Systems: Application to a censored Block Model|
|Dimitris Achlioptas, S. Hamed Hassani, Nicolas Macris and Ruediger Urbanke
preprint pp. 1-63
|New bounds for random constraint satisfaction problems via spatial coupling|
|A. Giurgiu, N. Macris, R. Urbanke
Transactions on Information Theory
|Spatial coupling as a proof technique|
|S. Kumar, A. Young, N. Macris, H. Pfister
preprint, arXiv 1301.6111v2, submitted IEEE Transactions on Information Theory
|A proof of treshold saturation for spatially coupled LDPC codes on BMS channels|
|Rafah El-Khatib, Nicolas Macris, Ruediger Urbanke
extended version of ITW Sevilla 2013, arXiv 1304.6026v2 pp. 1-12
|Displacement Convexity - A useful framework for the study of spatially coupled codes|
|Vahid Aref, Nicoals Macris, Marc Vuffray
preprint arXiv 1307.5210v2
|Approaching the Rate Distortion Limit with Spatial Coupling Belief Propagation and Decimation|
|S. Hamed Hassani, Nicolas Macris and Ruediger Urbanke
IEEE Information Theory Workshop - ITW Dublin pp 1-5 (2010)
|Coupled Graphical Models and Their Thresholds|
|S. B. Korada, N. Macris
IEEE Transactions on Information Theory, vol 56, no 11, November 2010
|Tight bounds on the capacity of binary input random CDMA systems|
IEEE Transactions in Information Theory, vol 53, no 7, pp 2365-2375 (2007)
|Sharp bounds on generalised exit functions|
IEEE Transactions in Information Theory, vol. 53, num. 2 (2007), p. 664-683.
|Griffiths Kelly Sherman correlation inequalities: a useful tool in the theory of error correcting codes|
|Dionys Baeriswyl, Nicolas Macris
Cours de Troisieme Cycle de la Physique en Suisse Romande (donne en 2002, 2005 et 2008)
|N-Body Methods in Condensed Matter|
unpublished preprint 2003
|On the equality of edge and bulk conductance in the integer Hall effect: microscopic analysis|
Journal of Physics A: Mathematical and General, vol. 36, num. 1565-1581 (2003), p. 1565
|Spectral flow and level spacing of edge states for quantum Hall hamiltonians|
|Macris, N; Martin, Ph A; Pule
Journal of Physics A: Mathematical and General, vol. 32 (1999), p. 1985-1996
|On edge states in semi-infinite quantum Hall systems|
|Dorlas, T C; Macris, N; Pule, J V
Communications in Mathematical Physics, vol. 204, num. 2 (1999), p. 367-396
|Characterisation of the spectrum of the Landau Hamiltonian with delta impurities|
|Joel. L. Lebowitz and Nicolas Macris
Journal Mathematical Physics, vol 38 pp. 2084-2103 (1997) (special issue on condensed matter physics)
|Ground states and low temperature phases of itinerant electrons interacting with classical fields|
|N. Macris, B. Nachtergaele
Journal of Statistical Physics, vol 85 pp. 745-761 (1996)
|On the flux phase conjecture at half filling: an improved proof|
|Antoine Maillard, Jean Barbier, Florent Krzakala, Nicolas Macris
||The Mutual Information in Random Linear Estimation Beyond i.i.d Matrices|
Brief descriptionCurrently my research projects are at the interface of error correcting codes, information theory, statistical physics and constraint satisfaction problems from theoretical computer science. The problems involved have deep relations, both in terms of concepts and methods, with the statistical mechanics of disordered systems and in particular spin and structural glasses on sparse or dense graphs. The recent practical success of message passing algorithms such as belief propagation and survey propagation calls for the development of a coherent mathematical framework. The emphasis is on rigorous results and methods, and these subjects are investigated using a mix of methods from mathematical and statistical physics, probability, functional analysis and discrete mathematics.
I am also interested in quantum information theory and notably in quantum constraint satisfaction problems.
I have also worked in the field of mathematical physics on quantum Coulomb systems, quantum fermion models related to condensed matter physics, random magnetic Schroedinger operators, and aspects of the integral quantum Hall effect.
A few recent (and older) selected projects are briefly described below. This research is supported by grants of the Swiss National Foundation for Science.
Spatial coupling in coding and constraint satisfacSpatial coupling originated a decade ago in coding theoretical constructions that result into very performant graphical codes which allow to achieve Shannon's capacity with a low complexity decoding algorithm.
We have investigated the underpinnings of this excellent behavior in various directions beyond coding theory and found that it is quite universal. In particular dynamical phase transition thresholds (or spinodal lines) are pushed towards static phase transition thresholds and the metastable states disappear. Condensation and sat-unsat thresholds (of glassy models) are not affected by coupling.
Coupled graphical models and their thresholds, IEEE Information Theory Workshop - ITW Dublin pp 1-5 (2010), S. Hamed Hassani, Nicolas Macris and Ruediger Urbanke
The following paper contains a conceptually simple proof of threshold saturation for general LDPC ensemble on general binary memoryless channels. The proof uses a "generic" variational formulation for this class of problems.
A proof of treshold saturation for spatially coupled LDPC preprint 2013 (S. Kumar, A. Young, N. Macris, H. Pfister)
We have also investigated spatial coupling, not so much from the point of view of an engineering construction, but as a new proof technique.
In particular we find that simple mathematically analysable algorithms behave much better on the coupled instances, a fact that allows to derive new rigorous lower bounds on the SAT-UNSAT thresholds of various constraint satisfaction problems. Remarkably these bounds can be proven to be valid for the original un-coupled system.
New bounds for random constraint satisfaction problems via spatial coupling prerpint 2014 (D. Achlioptas, H. Hassani, N. Macris, R. Urbanke)
It has been conjectured for some time that for LDPC codes on general binary memoryless channels the replica symmetric formula for the conditional Shannon entropy (average free energy of the associated spin glass) is exact. We prove this conjecture (theorem 6). The proof analyzes the spatially coupled ensemble and projects back onto the original un-coupled LDPC ensemble.
Spatial coupling as a proof technique preprint 2013 (A. Giurgiu, N. Macris, R. Urbanke)
Displacement convexity: new applications in codingIn the realm of fluid mechanics and optimal mass transportation many functionals of interest are not convex but are "displacement convex". This is a relatively recent notion of convexity that is natural for functionals of measures (of a mass density). We have recently found that this notion of displacement convexity applies well to the variational formulation of spatially coupled codes over the binary erasure channel. This allows to provide new proofs of the existence and unicity of the solutions of the density evolution integral equations. The topic is currently being pursued in various directions.
Analysis of Coupled Scalar Systems by Displacment Convexity preprint 2013 and ITW 2013 (R. El-Khatib, N. Macris, R. Urbanke)
Analysis of coupled scalar recursions by displacement convexity ISIT 2014 (R. El-Khatib, N. Macris, T. Richardson and R. Urbanke)
Rigorous methods of stat mech in coding, communicaVarious rigorous methods from statistical mechanics can be used to study various aspects of codes on graphs and communication systems. These include Cluster or Polymer Expansions, the Guerra-Toninelli interpolation method (further developed by Franz, Leone, Montanari, Panchenko), and classical correlation inequalities. Here is a sample of applications.
The Bethe free energy allows to compute the conditional entropy of graphical code instances. A proof from the polymer expansion preprint 2013 (N. Macris, M. Vuffray).
Decay of corelations for sparse graph error correcting codes SIAM J. Discrete Math. vol 25, no 2, pp. 956-988 (2011) (special section on constraint satisfaction problems and message passing algorithms), (S. Kudekar, N. Macris).
Tight bounds on the capacity of binary input random CDMA systems
IEEE Transactions on Information Theory, vol 56, no 11, November 2010 (S. B. Korada, N. Macris)
Sharp bounds on generalised exit functions IEEE Transactions in Information Theory, vol 53, no 7, pp 2365-2375 (2007) (N. Macris)
Griffith Kelly Sherman correlation inequalities: a useful tool in the theory of error correcting codes IEEE Transactions in Information Theory, vol. 53, num. 2 (2007), p. 664-683 (N. Macris)
Localization in magnetic fields and Hall effectThe theory of the integer quantum Hall effect rests on the existence of localized states at the band edges in the spectrum of magnetic random Schroedinger operators. This is the picture in the bulk of the two dimensional sample. The edges of the sample support extended chiral states so the spectral properties of magnetic operators with boundaries are different. Moreover one can compute the Hall conductance from bulk states or from the boundary states and of course the result can be proven to be the same: this involves a beautiful interplay of functional analysis, geometry and topology. The following papers are a contribution to the rigorous aspects of this theory.
On the equality of edge and bulk conductance in the integer Hall effect: microscopic analysis unpublished 2003, N. Macris
Spectral flow and level spacing of edge states for quantum Hall hamiltonians Journal of Physics A: Mathematical and General, vol. 36, num. 1565-1581 (2003), p. 1565, N. Macris
On edge states in semi-infinite quantum Hall systems Journal of Physics A: Mathematical and General, vol. 32 (1999), p. 1985-1996, N. Macris, P. A. Martin and J. V. Pule
Characterisation of the spectrum of the Landau Hamiltonian with delta impurities
Communications in Mathematical Physics, vol. 204, num. 2 (1999), p. 367-396, T. C. Dorlas, N. Macris and J. V. Pule
The nature of the spectrum for a Landau hamiltonian with delta impurities, Journal of Statistical Physics, vol 87 pp. 847-875 (1997), T. C. Dorlas, N. Macris and J. V. Pule
Localization in a single band approximation to random Schroedinger operators in a magnetic field, Helvetica Physica Acta, vol 68 pp 329-364 (1995), T. C. Dorlas, N. Macris and J. V. Pule
Quantum statistical mechanicsOn the flux phase conjecture at half filling: an improved proof, Journal of Statistical Physics, vol 85 pp. 745-761 (1996), N. Macris, B. Nachtergaele
The Falicov-Kimball model: a review of exact results and extensions, Helvetica Physica Acta, vol 69 pp. 850-907 (1996), (special issue in honor of K. Hepp and W. Hunziker) authors: C. Gruber, N. Macris
Ground states and low temperature phases of itinerant electrons interacting with classical fields, Journal Mathematical Physics, vol 38 pp. 2084-2103 (1997) (special issue on condensed matter physics), Joel. L. Lebowitz and Nicolas Macris
On kink states of ferromagnetic chains, Physica A, vol 279 pp. 386-397 (2000), (special issue in honor of Joel Lebowitz) authors: Ky-Thuan Bach and Nicolas Macris
Higher period ordered phases on the Bethe lattice, Physical Review B, vol 63 pp. 165111:1-11 (2001), C. Gruber, N. Macris, Ph. Royer and J.K. Freericks
Diamagnetic Currents, Communications in Mathematical Physics, 117, 215-241 (1988), N. Macris, P. A. Martin and J. V. Pule
Large volume asymptotics of Brownian integrals and orbital magnetism, Large volume asymptotics of Brownian integrals and orbital magnetism, Annales Institut Henri Poincare, section A, tome 66, no 2 pp.147-183 (1997)
Ionization equilibrium in the electron-proton gas, Journal of Staistical Physics, vol 60, no5/6 (1990), N. Macris, P. A. Martin
Atomic versus ionized states in many-particle systems and the spectra of reduced density matrices: a model study, Journal of Staistical Physics, vol 67, no5/6 (1992), J. L. Lebowitz, N. Macris, P. A. Martin (1992)
Long range order in the Falicov-Kimball model near the symmetry point: extension of Kennedy-Lieb theorem, Reviews in Mathematical physics, vol 06, pp.927-946, (1994) (also reprinted in the State of Matter a volume dedicated to E.H.Lieb) authors: J. L. Lebowitz, N. Macris
Teaching & PhD