Project acronym 1stProposal
Project An alternative development of analytic number theory and applications
Researcher (PI) ANDREW Granville
Host Institution (HI) UNIVERSITY COLLEGE LONDON
Country United Kingdom
Call Details Advanced Grant (AdG), PE1, ERC-2014-ADG
Summary The traditional (Riemann) approach to analytic number theory uses the zeros of zeta functions. This requires the associated multiplicative function, say f(n), to have special enough properties that the associated Dirichlet series may be analytically continued. In this proposal we continue to develop an approach which requires less of the multiplicative function, linking the original question with the mean value of f. Such techniques have been around for a long time but have generally been regarded as “ad hoc”. In this project we aim to show that one can develop a coherent approach to the whole subject, not only reproving all of the old results, but also many new ones that appear inaccessible to traditional methods.
Our first goal is to complete a monograph yielding a reworking of all the classical theory using these new methods and then to push forward in new directions. The most important is to extend these techniques to GL(n) L-functions, which we hope will now be feasible having found the correct framework in which to proceed. Since we rarely know how to analytically continue such L-functions this could be of great benefit to the subject.
We are developing the large sieve so that it can be used for individual moduli, and will determine a strong form of that. Also a new method to give asymptotics for mean values, when they are not too small.
We wish to incorporate techniques of analytic number theory into our theory, for example recent advances on mean values of Dirichlet polynomials. Also the recent breakthroughs on the sieve suggest strong links that need further exploration.
Additive combinatorics yields important results in many areas. There are strong analogies between its results, and those for multiplicative functions, especially in large value spectrum theory, and its applications. We hope to develop these further.
Much of this is joint work with K Soundararajan of Stanford University.
Summary
The traditional (Riemann) approach to analytic number theory uses the zeros of zeta functions. This requires the associated multiplicative function, say f(n), to have special enough properties that the associated Dirichlet series may be analytically continued. In this proposal we continue to develop an approach which requires less of the multiplicative function, linking the original question with the mean value of f. Such techniques have been around for a long time but have generally been regarded as “ad hoc”. In this project we aim to show that one can develop a coherent approach to the whole subject, not only reproving all of the old results, but also many new ones that appear inaccessible to traditional methods.
Our first goal is to complete a monograph yielding a reworking of all the classical theory using these new methods and then to push forward in new directions. The most important is to extend these techniques to GL(n) L-functions, which we hope will now be feasible having found the correct framework in which to proceed. Since we rarely know how to analytically continue such L-functions this could be of great benefit to the subject.
We are developing the large sieve so that it can be used for individual moduli, and will determine a strong form of that. Also a new method to give asymptotics for mean values, when they are not too small.
We wish to incorporate techniques of analytic number theory into our theory, for example recent advances on mean values of Dirichlet polynomials. Also the recent breakthroughs on the sieve suggest strong links that need further exploration.
Additive combinatorics yields important results in many areas. There are strong analogies between its results, and those for multiplicative functions, especially in large value spectrum theory, and its applications. We hope to develop these further.
Much of this is joint work with K Soundararajan of Stanford University.
Max ERC Funding
2 011 742 €
Duration
Start date: 2015-08-01, End date: 2020-07-31
Project acronym 5HTCircuits
Project Modulation of cortical circuits and predictive neural coding by serotonin
Researcher (PI) Zachary Mainen
Host Institution (HI) FUNDACAO D. ANNA SOMMER CHAMPALIMAUD E DR. CARLOS MONTEZ CHAMPALIMAUD
Country Portugal
Call Details Advanced Grant (AdG), LS5, ERC-2014-ADG
Summary Serotonin (5-HT) is a central neuromodulator and a major target of therapeutic psychoactive drugs, but relatively little is known about how it modulates information processing in neural circuits. The theory of predictive coding postulates that the brain combines raw bottom-up sensory information with top-down information from internal models to make perceptual inferences about the world. We hypothesize, based on preliminary data and prior literature, that a role of 5-HT in this process is to report prediction errors and promote the suppression and weakening of erroneous internal models. We propose that it does this by inhibiting top-down relative to bottom-up cortical information flow. To test this hypothesis, we propose a set of experiments in mice performing olfactory perceptual tasks. Our specific aims are: (1) We will test whether 5-HT neurons encode sensory prediction errors. (2) We will test their causal role in using predictive cues to guide perceptual decisions. (3) We will characterize how 5-HT influences the encoding of sensory information by neuronal populations in the olfactory cortex and identify the underlying circuitry. (4) Finally, we will map the effects of 5-HT across the whole brain and use this information to target further causal manipulations to specific 5-HT projections. We accomplish these aims using state-of-the-art optogenetic, electrophysiological and imaging techniques (including 9.4T small-animal functional magnetic resonance imaging) as well as psychophysical tasks amenable to quantitative analysis and computational theory. Together, these experiments will tackle multiple facets of an important general computational question, bringing to bear an array of cutting-edge technologies to address with unprecedented mechanistic detail how 5-HT impacts neural coding and perceptual decision-making.
Summary
Serotonin (5-HT) is a central neuromodulator and a major target of therapeutic psychoactive drugs, but relatively little is known about how it modulates information processing in neural circuits. The theory of predictive coding postulates that the brain combines raw bottom-up sensory information with top-down information from internal models to make perceptual inferences about the world. We hypothesize, based on preliminary data and prior literature, that a role of 5-HT in this process is to report prediction errors and promote the suppression and weakening of erroneous internal models. We propose that it does this by inhibiting top-down relative to bottom-up cortical information flow. To test this hypothesis, we propose a set of experiments in mice performing olfactory perceptual tasks. Our specific aims are: (1) We will test whether 5-HT neurons encode sensory prediction errors. (2) We will test their causal role in using predictive cues to guide perceptual decisions. (3) We will characterize how 5-HT influences the encoding of sensory information by neuronal populations in the olfactory cortex and identify the underlying circuitry. (4) Finally, we will map the effects of 5-HT across the whole brain and use this information to target further causal manipulations to specific 5-HT projections. We accomplish these aims using state-of-the-art optogenetic, electrophysiological and imaging techniques (including 9.4T small-animal functional magnetic resonance imaging) as well as psychophysical tasks amenable to quantitative analysis and computational theory. Together, these experiments will tackle multiple facets of an important general computational question, bringing to bear an array of cutting-edge technologies to address with unprecedented mechanistic detail how 5-HT impacts neural coding and perceptual decision-making.
Max ERC Funding
2 486 074 €
Duration
Start date: 2016-01-01, End date: 2020-12-31
Project acronym ABCvolume
Project The ABC of Cell Volume Regulation
Researcher (PI) Berend Poolman
Host Institution (HI) RIJKSUNIVERSITEIT GRONINGEN
Country Netherlands
Call Details Advanced Grant (AdG), LS1, ERC-2014-ADG
Summary Cell volume regulation is crucial for any living cell because changes in volume determine the metabolic activity through e.g. changes in ionic strength, pH, macromolecular crowding and membrane tension. These physical chemical parameters influence interaction rates and affinities of biomolecules, folding rates, and fold stabilities in vivo. Understanding of the underlying volume regulatory mechanisms has immediate application in biotechnology and health, yet these factors are generally ignored in systems analyses of cellular functions.
My team has uncovered a number of mechanisms and insights of cell volume regulation. The next step forward is to elucidate how the components of a cell volume regulatory circuit work together and control the physicochemical conditions of the cell.
I propose construction of a synthetic cell in which an osmoregulatory transporter and mechanosensitive channel form a minimal volume regulatory network. My group has developed the technology to reconstitute membrane proteins into lipid vesicles (synthetic cells). One of the challenges is to incorporate into the vesicles an efficient pathway for ATP production and maintain energy homeostasis while the load on the system varies. We aim to control the transmembrane flux of osmolytes, which requires elucidation of the molecular mechanism of gating of the osmoregulatory transporter. We will focus on the glycine betaine ABC importer, which is one of the most complex transporters known to date with ten distinct protein domains, transiently interacting with each other.
The proposed synthetic metabolic circuit constitutes a fascinating out-of-equilibrium system, allowing us to understand cell volume regulatory mechanisms in a context and at a level of complexity minimally needed for life. Analysis of this circuit will address many outstanding questions and eventually allow us to design more sophisticated vesicular systems with applications, for example as compartmentalized reaction networks.
Summary
Cell volume regulation is crucial for any living cell because changes in volume determine the metabolic activity through e.g. changes in ionic strength, pH, macromolecular crowding and membrane tension. These physical chemical parameters influence interaction rates and affinities of biomolecules, folding rates, and fold stabilities in vivo. Understanding of the underlying volume regulatory mechanisms has immediate application in biotechnology and health, yet these factors are generally ignored in systems analyses of cellular functions.
My team has uncovered a number of mechanisms and insights of cell volume regulation. The next step forward is to elucidate how the components of a cell volume regulatory circuit work together and control the physicochemical conditions of the cell.
I propose construction of a synthetic cell in which an osmoregulatory transporter and mechanosensitive channel form a minimal volume regulatory network. My group has developed the technology to reconstitute membrane proteins into lipid vesicles (synthetic cells). One of the challenges is to incorporate into the vesicles an efficient pathway for ATP production and maintain energy homeostasis while the load on the system varies. We aim to control the transmembrane flux of osmolytes, which requires elucidation of the molecular mechanism of gating of the osmoregulatory transporter. We will focus on the glycine betaine ABC importer, which is one of the most complex transporters known to date with ten distinct protein domains, transiently interacting with each other.
The proposed synthetic metabolic circuit constitutes a fascinating out-of-equilibrium system, allowing us to understand cell volume regulatory mechanisms in a context and at a level of complexity minimally needed for life. Analysis of this circuit will address many outstanding questions and eventually allow us to design more sophisticated vesicular systems with applications, for example as compartmentalized reaction networks.
Max ERC Funding
2 247 231 €
Duration
Start date: 2015-07-01, End date: 2020-06-30
Project acronym ActiveCortex
Project Active dendrites and cortical associations
Researcher (PI) Matthew Larkum
Host Institution (HI) HUMBOLDT-UNIVERSITAET ZU BERLIN
Country Germany
Call Details Advanced Grant (AdG), LS5, ERC-2014-ADG
Summary Converging studies from psychophysics in humans to single-cell recordings in monkeys and rodents indicate that most important cognitive processes depend on both feed-forward and feedback information interacting in the brain. Intriguingly, feedback to early cortical processing stages appears to play a causal role in these processes. Despite the central nature of this fact to understanding brain cognition, there is still no mechanistic explanation as to how this information could be so pivotal and what events take place that might be decisive. In this research program, we will test the hypothesis that the extraordinary performance of the cortex derives from an associative mechanism built into the basic neuronal unit: the pyramidal cell. The hypothesis is based on two important facts: (1) feedback information is conveyed predominantly to layer 1 and (2) the apical tuft dendrites that are the major recipient of this feedback information are highly electrogenic.
The research program is divided in to several workpackages to systematically investigate the hypothesis at every level. As a whole, we will investigate the causal link between intrinsic cellular activity and behaviour. To do this we will use eletrophysiological and optical techniques to record and influence cell the intrinsic properties of cells (in particular dendritic activity) in vivo and in vitro in rodents. In vivo experiments will have a specific focus on context driven behaviour and in vitro experiments on the impact of long-range (feedback-carrying) fibers on cell activity. The study will also focus on synaptic plasticity at the interface of feedback information and dendritic electrogenesis, namely synapses on to the tuft dendrite of pyramidal neurons. The proposed program will not only address a long-standing and important hypothesis but also provide a transformational contribution towards understanding the operation of the cerebral cortex.
Summary
Converging studies from psychophysics in humans to single-cell recordings in monkeys and rodents indicate that most important cognitive processes depend on both feed-forward and feedback information interacting in the brain. Intriguingly, feedback to early cortical processing stages appears to play a causal role in these processes. Despite the central nature of this fact to understanding brain cognition, there is still no mechanistic explanation as to how this information could be so pivotal and what events take place that might be decisive. In this research program, we will test the hypothesis that the extraordinary performance of the cortex derives from an associative mechanism built into the basic neuronal unit: the pyramidal cell. The hypothesis is based on two important facts: (1) feedback information is conveyed predominantly to layer 1 and (2) the apical tuft dendrites that are the major recipient of this feedback information are highly electrogenic.
The research program is divided in to several workpackages to systematically investigate the hypothesis at every level. As a whole, we will investigate the causal link between intrinsic cellular activity and behaviour. To do this we will use eletrophysiological and optical techniques to record and influence cell the intrinsic properties of cells (in particular dendritic activity) in vivo and in vitro in rodents. In vivo experiments will have a specific focus on context driven behaviour and in vitro experiments on the impact of long-range (feedback-carrying) fibers on cell activity. The study will also focus on synaptic plasticity at the interface of feedback information and dendritic electrogenesis, namely synapses on to the tuft dendrite of pyramidal neurons. The proposed program will not only address a long-standing and important hypothesis but also provide a transformational contribution towards understanding the operation of the cerebral cortex.
Max ERC Funding
2 386 304 €
Duration
Start date: 2016-01-01, End date: 2020-12-31
Project acronym ACTOMYOSIN RING
Project Understanding Cytokinetic Actomyosin Ring Assembly Through Genetic Code Expansion, Click Chemistry, DNA origami, and in vitro Reconstitution
Researcher (PI) Mohan Balasubramanian
Host Institution (HI) THE UNIVERSITY OF WARWICK
Country United Kingdom
Call Details Advanced Grant (AdG), LS3, ERC-2014-ADG
Summary The mechanism of cell division is conserved in many eukaryotes, from yeast to man. A contractile ring of filamentous actin and myosin II motors generates the force to bisect a mother cell into two daughters. The actomyosin ring is among the most complex cellular machines, comprising over 150 proteins. Understanding how these proteins organize themselves into a functional ring with appropriate contractile properties remains one of the great challenges in cell biology. Efforts to generate a comprehensive understanding of the mechanism of actomyosin ring assembly have been hampered by the lack of structural information on the arrangement of actin, myosin II, and actin modulators in the ring in its native state. Fundamental questions such as how actin filaments are assembled and organized into a ring remain actively debated. This project will investigate key issues pertaining to cytokinesis in the fission yeast Schizosaccharomyces pombe, which divides employing an actomyosin based contractile ring, using the methods of genetics, biochemistry, cellular imaging, DNA origami, genetic code expansion, and click chemistry. Specifically, we will (1) attempt to visualize actin filament assembly in live cells expressing fluorescent actin generated through synthetic biological approaches, including genetic code expansion and click chemistry (2) decipher actin filament polarity in the actomyosin ring using total internal reflection fluorescence microscopy of labelled dimeric and multimeric myosins V and VI generated through DNA origami approaches (3) address when, where, and how actin filaments for cytokinesis are assembled and organized into a ring and (4) reconstitute actin filament and functional actomyosin ring assembly in permeabilized spheroplasts and in supported bilayers. Success in the project will provide major insight into the mechanism of actomyosin ring assembly and illuminate principles behind cytoskeletal self-organization.
Summary
The mechanism of cell division is conserved in many eukaryotes, from yeast to man. A contractile ring of filamentous actin and myosin II motors generates the force to bisect a mother cell into two daughters. The actomyosin ring is among the most complex cellular machines, comprising over 150 proteins. Understanding how these proteins organize themselves into a functional ring with appropriate contractile properties remains one of the great challenges in cell biology. Efforts to generate a comprehensive understanding of the mechanism of actomyosin ring assembly have been hampered by the lack of structural information on the arrangement of actin, myosin II, and actin modulators in the ring in its native state. Fundamental questions such as how actin filaments are assembled and organized into a ring remain actively debated. This project will investigate key issues pertaining to cytokinesis in the fission yeast Schizosaccharomyces pombe, which divides employing an actomyosin based contractile ring, using the methods of genetics, biochemistry, cellular imaging, DNA origami, genetic code expansion, and click chemistry. Specifically, we will (1) attempt to visualize actin filament assembly in live cells expressing fluorescent actin generated through synthetic biological approaches, including genetic code expansion and click chemistry (2) decipher actin filament polarity in the actomyosin ring using total internal reflection fluorescence microscopy of labelled dimeric and multimeric myosins V and VI generated through DNA origami approaches (3) address when, where, and how actin filaments for cytokinesis are assembled and organized into a ring and (4) reconstitute actin filament and functional actomyosin ring assembly in permeabilized spheroplasts and in supported bilayers. Success in the project will provide major insight into the mechanism of actomyosin ring assembly and illuminate principles behind cytoskeletal self-organization.
Max ERC Funding
2 863 705 €
Duration
Start date: 2015-11-01, End date: 2021-04-30
Project acronym AFRIGOS
Project African Governance and Space: Transport Corridors, Border Towns and Port Cities in Transition
Researcher (PI) Paul Christopher Nugent
Host Institution (HI) THE UNIVERSITY OF EDINBURGH
Country United Kingdom
Call Details Advanced Grant (AdG), SH2, ERC-2014-ADG
Summary AFRIGOS investigates the process of 'respacing' Africa, a political drive towards regional and continental integration, on the one hand, and the re-casting of Africa's engagement with the global economy, on the other. This is reflected in unprecedented levels of investment in physical and communications infrastructure, and the outsourcing of key functions of Customs, Immigration and security agencies. AFRIGOS poses the question of how far respacing is genuinely forging institutions that are facilitating or obstructing the movement of people and goods; that are enabling or preventing urban and border spaces from being more effectively and responsively governed; and that take into account the needs of African populations whose livelihoods are rooted in mobility and informality. The principal research questions are approached through a comparative study of port cities, border towns and other strategic nodes situated along the busiest transport corridors in East, Central, West and Southern Africa. These represent sites of remarkable dynamism and cosmopolitanism, which reflects their role in connecting African urban centres to each other and to other global cities.
AFRIGOS considers how governance 'assemblages' are forged at different scales and is explicitly comparative. It works through 5 connected Streams that address specific questions: 1. AGENDA-SETTING is concerned with policy (re-)formulation. 2. PERIPHERAL URBANISM examines governance in border towns and port cities. 3. BORDER WORKERS addresses everyday governance emerging through the interaction of officials and others who make their livelihoods from the border. 4. CONNECTIVE INFRASTRUCTURE looks as the transformative effects of new technologies. 5. PEOPLE & GOODS IN MOTION traces the passage of people and goods and the regimes of regulation to which they are subjected. AFRIGOS contributes to interdisciplinary research on borderland studies, multi-level governance and the everyday state.
Summary
AFRIGOS investigates the process of 'respacing' Africa, a political drive towards regional and continental integration, on the one hand, and the re-casting of Africa's engagement with the global economy, on the other. This is reflected in unprecedented levels of investment in physical and communications infrastructure, and the outsourcing of key functions of Customs, Immigration and security agencies. AFRIGOS poses the question of how far respacing is genuinely forging institutions that are facilitating or obstructing the movement of people and goods; that are enabling or preventing urban and border spaces from being more effectively and responsively governed; and that take into account the needs of African populations whose livelihoods are rooted in mobility and informality. The principal research questions are approached through a comparative study of port cities, border towns and other strategic nodes situated along the busiest transport corridors in East, Central, West and Southern Africa. These represent sites of remarkable dynamism and cosmopolitanism, which reflects their role in connecting African urban centres to each other and to other global cities.
AFRIGOS considers how governance 'assemblages' are forged at different scales and is explicitly comparative. It works through 5 connected Streams that address specific questions: 1. AGENDA-SETTING is concerned with policy (re-)formulation. 2. PERIPHERAL URBANISM examines governance in border towns and port cities. 3. BORDER WORKERS addresses everyday governance emerging through the interaction of officials and others who make their livelihoods from the border. 4. CONNECTIVE INFRASTRUCTURE looks as the transformative effects of new technologies. 5. PEOPLE & GOODS IN MOTION traces the passage of people and goods and the regimes of regulation to which they are subjected. AFRIGOS contributes to interdisciplinary research on borderland studies, multi-level governance and the everyday state.
Max ERC Funding
2 491 364 €
Duration
Start date: 2016-01-01, End date: 2021-12-31
Project acronym ALKAGE
Project Algebraic and Kähler geometry
Researcher (PI) Jean-Pierre, Raymond, Philippe Demailly
Host Institution (HI) UNIVERSITE GRENOBLE ALPES
Country France
Call Details Advanced Grant (AdG), PE1, ERC-2014-ADG
Summary The purpose of this project is to study basic questions in algebraic and Kähler geometry. It is well known that the structure of projective or Kähler manifolds is governed by positivity or negativity properties of the curvature tensor. However, many fundamental problems are still wide open. Since the mid 1980's, I have developed a large number of key concepts and results that have led to important progress in transcendental algebraic geometry. Let me mention the discovery of holomorphic Morse inequalities, systematic applications of L² estimates with singular hermitian metrics, and a much improved understanding of Monge-Ampère equations and of singularities of plurisuharmonic functions. My first goal will be to investigate the Green-Griffiths-Lang conjecture asserting that an entire curve drawn in a variety of general type is algebraically degenerate. The subject is intimately related to important questions concerning Diophantine equations, especially higher dimensional generalizations of Faltings' theorem - the so-called Vojta program. One can rely here on a breakthrough I made in 2010, showing that all such entire curves must satisfy algebraic differential equations. A second closely related area of research of this project is the analysis of the structure of projective or compact Kähler manifolds. It can be seen as a generalization of the classification theory of surfaces by Kodaira, and of the more recent results for dimension 3 (Kawamata, Kollár, Mori, Shokurov, ...) to other dimensions. My plan is to combine powerful recent results obtained on the duality of positive cohomology cones with an analysis of the instability of the tangent bundle, i.e. of the Harder-Narasimhan filtration. On these ground-breaking questions, I intend to go much further and to enhance my national and international collaborations. These subjects already attract many young researchers and postdocs throughout the world, and the grant could be used to create even stronger interactions.
Summary
The purpose of this project is to study basic questions in algebraic and Kähler geometry. It is well known that the structure of projective or Kähler manifolds is governed by positivity or negativity properties of the curvature tensor. However, many fundamental problems are still wide open. Since the mid 1980's, I have developed a large number of key concepts and results that have led to important progress in transcendental algebraic geometry. Let me mention the discovery of holomorphic Morse inequalities, systematic applications of L² estimates with singular hermitian metrics, and a much improved understanding of Monge-Ampère equations and of singularities of plurisuharmonic functions. My first goal will be to investigate the Green-Griffiths-Lang conjecture asserting that an entire curve drawn in a variety of general type is algebraically degenerate. The subject is intimately related to important questions concerning Diophantine equations, especially higher dimensional generalizations of Faltings' theorem - the so-called Vojta program. One can rely here on a breakthrough I made in 2010, showing that all such entire curves must satisfy algebraic differential equations. A second closely related area of research of this project is the analysis of the structure of projective or compact Kähler manifolds. It can be seen as a generalization of the classification theory of surfaces by Kodaira, and of the more recent results for dimension 3 (Kawamata, Kollár, Mori, Shokurov, ...) to other dimensions. My plan is to combine powerful recent results obtained on the duality of positive cohomology cones with an analysis of the instability of the tangent bundle, i.e. of the Harder-Narasimhan filtration. On these ground-breaking questions, I intend to go much further and to enhance my national and international collaborations. These subjects already attract many young researchers and postdocs throughout the world, and the grant could be used to create even stronger interactions.
Max ERC Funding
1 809 345 €
Duration
Start date: 2015-09-01, End date: 2021-08-31
Project acronym ALLEGRO
Project unrAvelLing sLow modE travelinG and tRaffic: with innOvative data to a new transportation and traffic theory for pedestrians and bicycles
Researcher (PI) Serge Hoogendoorn
Host Institution (HI) TECHNISCHE UNIVERSITEIT DELFT
Country Netherlands
Call Details Advanced Grant (AdG), SH3, ERC-2014-ADG
Summary A major challenge in contemporary traffic and transportation theory is having a comprehensive understanding of pedestrians and cyclists behaviour. This is notoriously hard to observe, since sensors providing abundant and detailed information about key variables characterising this behaviour have not been available until very recently. The behaviour is also far more complex than that of the much better understood fast mode. This is due to the many degrees of freedom in decision-making, the interactions among slow traffic participants that are more involved and far less guided by traffic rules and regulations than those between car-drivers, and the many fascinating but complex phenomena in slow traffic flows (self-organised patterns, turbulence, spontaneous phase transitions, herding, etc.) that are very hard to predict accurately.
With slow traffic modes gaining ground in terms of mode share in many cities, lack of empirical insights, behavioural theories, predictively valid analytical and simulation models, and tools to support planning, design, management and control is posing a major societal problem as well: examples of major accidents due to bad planning, organisation and management of events are manifold, as are locations where safety of slow modes is a serious issue due to interactions with fast modes.
This programme is geared towards establishing a comprehensive theory of slow mode traffic behaviour, considering the different behavioural levels relevant for understanding, reproducing and predicting slow mode traffic flows in cities. The levels deal with walking and cycling operations, activity scheduling and travel behaviour, and knowledge representation and learning. Major scientific breakthroughs are expected at each of these levels, in terms of theory and modelling, by using innovative (big) data collection and experimentation, analysis and fusion techniques, including social media data analytics, using augmented reality, and remote and crowd sensing.
Summary
A major challenge in contemporary traffic and transportation theory is having a comprehensive understanding of pedestrians and cyclists behaviour. This is notoriously hard to observe, since sensors providing abundant and detailed information about key variables characterising this behaviour have not been available until very recently. The behaviour is also far more complex than that of the much better understood fast mode. This is due to the many degrees of freedom in decision-making, the interactions among slow traffic participants that are more involved and far less guided by traffic rules and regulations than those between car-drivers, and the many fascinating but complex phenomena in slow traffic flows (self-organised patterns, turbulence, spontaneous phase transitions, herding, etc.) that are very hard to predict accurately.
With slow traffic modes gaining ground in terms of mode share in many cities, lack of empirical insights, behavioural theories, predictively valid analytical and simulation models, and tools to support planning, design, management and control is posing a major societal problem as well: examples of major accidents due to bad planning, organisation and management of events are manifold, as are locations where safety of slow modes is a serious issue due to interactions with fast modes.
This programme is geared towards establishing a comprehensive theory of slow mode traffic behaviour, considering the different behavioural levels relevant for understanding, reproducing and predicting slow mode traffic flows in cities. The levels deal with walking and cycling operations, activity scheduling and travel behaviour, and knowledge representation and learning. Major scientific breakthroughs are expected at each of these levels, in terms of theory and modelling, by using innovative (big) data collection and experimentation, analysis and fusion techniques, including social media data analytics, using augmented reality, and remote and crowd sensing.
Max ERC Funding
2 458 700 €
Duration
Start date: 2015-11-01, End date: 2020-10-31
Project acronym AlmaCrypt
Project Algorithmic and Mathematical Cryptology
Researcher (PI) Antoine Joux
Host Institution (HI) CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Country Germany
Call Details Advanced Grant (AdG), PE6, ERC-2014-ADG
Summary Cryptology is a foundation of information security in the digital world. Today's internet is protected by a form of cryptography based on complexity theoretic hardness assumptions. Ideally, they should be strong to ensure security and versatile to offer a wide range of functionalities and allow efficient implementations. However, these assumptions are largely untested and internet security could be built on sand.
The main ambition of Almacrypt is to remedy this issue by challenging the assumptions through an advanced algorithmic analysis.
In particular, this proposal questions the two pillars of public-key encryption: factoring and discrete logarithms. Recently, the PI contributed to show that in some cases, the discrete logarithm problem is considerably weaker than previously assumed. A main objective is to ponder the security of other cases of the discrete logarithm problem, including elliptic curves, and of factoring. We will study the generalization of the recent techniques and search for new algorithmic options with comparable or better efficiency.
We will also study hardness assumptions based on codes and subset-sum, two candidates for post-quantum cryptography. We will consider the applicability of recent algorithmic and mathematical techniques to the resolution of the corresponding putative hard problems, refine the analysis of the algorithms and design new algorithm tools.
Cryptology is not limited to the above assumptions: other hard problems have been proposed to aim at post-quantum security and/or to offer extra functionalities. Should the security of these other assumptions become critical, they would be added to Almacrypt's scope. They could also serve to demonstrate other applications of our algorithmic progress.
In addition to its scientific goal, Almacrypt also aims at seeding a strengthened research community dedicated to algorithmic and mathematical cryptology.
--
Summary
Cryptology is a foundation of information security in the digital world. Today's internet is protected by a form of cryptography based on complexity theoretic hardness assumptions. Ideally, they should be strong to ensure security and versatile to offer a wide range of functionalities and allow efficient implementations. However, these assumptions are largely untested and internet security could be built on sand.
The main ambition of Almacrypt is to remedy this issue by challenging the assumptions through an advanced algorithmic analysis.
In particular, this proposal questions the two pillars of public-key encryption: factoring and discrete logarithms. Recently, the PI contributed to show that in some cases, the discrete logarithm problem is considerably weaker than previously assumed. A main objective is to ponder the security of other cases of the discrete logarithm problem, including elliptic curves, and of factoring. We will study the generalization of the recent techniques and search for new algorithmic options with comparable or better efficiency.
We will also study hardness assumptions based on codes and subset-sum, two candidates for post-quantum cryptography. We will consider the applicability of recent algorithmic and mathematical techniques to the resolution of the corresponding putative hard problems, refine the analysis of the algorithms and design new algorithm tools.
Cryptology is not limited to the above assumptions: other hard problems have been proposed to aim at post-quantum security and/or to offer extra functionalities. Should the security of these other assumptions become critical, they would be added to Almacrypt's scope. They could also serve to demonstrate other applications of our algorithmic progress.
In addition to its scientific goal, Almacrypt also aims at seeding a strengthened research community dedicated to algorithmic and mathematical cryptology.
--
Max ERC Funding
2 403 125 €
Duration
Start date: 2016-01-01, End date: 2022-06-30
Project acronym AMPLify
Project Allocation Made PracticaL
Researcher (PI) Toby Walsh
Host Institution (HI) TECHNISCHE UNIVERSITAT BERLIN
Country Germany
Call Details Advanced Grant (AdG), PE6, ERC-2014-ADG
Summary Allocation Made PracticaL
The AMPLify project will lay the foundations of a new field, computational behavioural game theory that brings a computational perspective, computational implementation, and behavioural insights to game theory. These foundations will be laid by tackling a pressing problem facing society today: the efficient and fair allocation of resources and costs. Research in allocation has previously considered simple, abstract models like cake cutting. We propose to develop richer models that capture important new features like asynchronicity which occur in many markets being developed in our highly connected and online world. The mechanisms currently used to allocate resources and costs are limited to these simple, abstract models and also do not take into account how people actually behave in practice. We will therefore design new mechanisms for these richer allocation problems that exploit insights gained from behavioural game theory like loss aversion. We will also tackle the complexity of these rich models and mechanisms with computational tools. Finally, we will use computation to increase both the efficiency and fairness of allocations. As a result, we will be able to do more with fewer resources and greater fairness. Our initial case studies in resource and cost allocation demonstrate that we can improve efficiency greatly, offering one company alone savings of up to 10% (which is worth tens of millions of dollars every year). We predict even greater impact with the more sophisticated mechanisms to be developed during the course of this project.
Summary
Allocation Made PracticaL
The AMPLify project will lay the foundations of a new field, computational behavioural game theory that brings a computational perspective, computational implementation, and behavioural insights to game theory. These foundations will be laid by tackling a pressing problem facing society today: the efficient and fair allocation of resources and costs. Research in allocation has previously considered simple, abstract models like cake cutting. We propose to develop richer models that capture important new features like asynchronicity which occur in many markets being developed in our highly connected and online world. The mechanisms currently used to allocate resources and costs are limited to these simple, abstract models and also do not take into account how people actually behave in practice. We will therefore design new mechanisms for these richer allocation problems that exploit insights gained from behavioural game theory like loss aversion. We will also tackle the complexity of these rich models and mechanisms with computational tools. Finally, we will use computation to increase both the efficiency and fairness of allocations. As a result, we will be able to do more with fewer resources and greater fairness. Our initial case studies in resource and cost allocation demonstrate that we can improve efficiency greatly, offering one company alone savings of up to 10% (which is worth tens of millions of dollars every year). We predict even greater impact with the more sophisticated mechanisms to be developed during the course of this project.
Max ERC Funding
2 499 681 €
Duration
Start date: 2016-06-01, End date: 2021-05-31
