Project acronym CABUM
Project An investigation of the mechanisms at the interaction between cavitation bubbles and contaminants
Researcher (PI) Matevz DULAR
Host Institution (HI) UNIVERZA V LJUBLJANI
Call Details Consolidator Grant (CoG), PE8, ERC-2017-COG
Summary A sudden decrease in pressure triggers the formation of vapour and gas bubbles inside a liquid medium (also called cavitation). This leads to many (key) engineering problems: material loss, noise and vibration of hydraulic machinery. On the other hand, cavitation is a potentially a useful phenomenon: the extreme conditions are increasingly used for a wide variety of applications such as surface cleaning, enhanced chemistry, and waste water treatment (bacteria eradication and virus inactivation).
Despite this significant progress a large gap persists between the understanding of the mechanisms that contribute to the effects of cavitation and its application. Although engineers are already commercializing devices that employ cavitation, we are still not able to answer the fundamental question: What precisely are the mechanisms how bubbles can clean, disinfect, kill bacteria and enhance chemical activity? The overall objective of the project is to understand and determine the fundamental physics of the interaction of cavitation bubbles with different contaminants. To address this issue, the CABUM project will investigate the physical background of cavitation from physical, biological and engineering perspective on three complexity scales: i) on single bubble level, ii) on organised and iii) on random bubble clusters, producing a progressive multidisciplinary synergetic effect.
The proposed synergetic approach builds on the PI's preliminary research and employs novel experimental and numerical methodologies, some of which have been developed by the PI and his research group, to explore the physics of cavitation behaviour in interaction with bacteria and viruses.
Understanding the fundamental physical background of cavitation in interaction with contaminants will have a ground-breaking implications in various scientific fields (engineering, chemistry and biology) and will, in the future, enable the exploitation of cavitation in water and soil treatment processes.
Summary
A sudden decrease in pressure triggers the formation of vapour and gas bubbles inside a liquid medium (also called cavitation). This leads to many (key) engineering problems: material loss, noise and vibration of hydraulic machinery. On the other hand, cavitation is a potentially a useful phenomenon: the extreme conditions are increasingly used for a wide variety of applications such as surface cleaning, enhanced chemistry, and waste water treatment (bacteria eradication and virus inactivation).
Despite this significant progress a large gap persists between the understanding of the mechanisms that contribute to the effects of cavitation and its application. Although engineers are already commercializing devices that employ cavitation, we are still not able to answer the fundamental question: What precisely are the mechanisms how bubbles can clean, disinfect, kill bacteria and enhance chemical activity? The overall objective of the project is to understand and determine the fundamental physics of the interaction of cavitation bubbles with different contaminants. To address this issue, the CABUM project will investigate the physical background of cavitation from physical, biological and engineering perspective on three complexity scales: i) on single bubble level, ii) on organised and iii) on random bubble clusters, producing a progressive multidisciplinary synergetic effect.
The proposed synergetic approach builds on the PI's preliminary research and employs novel experimental and numerical methodologies, some of which have been developed by the PI and his research group, to explore the physics of cavitation behaviour in interaction with bacteria and viruses.
Understanding the fundamental physical background of cavitation in interaction with contaminants will have a ground-breaking implications in various scientific fields (engineering, chemistry and biology) and will, in the future, enable the exploitation of cavitation in water and soil treatment processes.
Max ERC Funding
1 904 565 €
Duration
Start date: 2018-07-01, End date: 2023-06-30
Project acronym CORNET
Project Provably Correct Networks
Researcher (PI) Costin RAICIU
Host Institution (HI) UNIVERSITATEA POLITEHNICA DIN BUCURESTI
Call Details Starting Grant (StG), PE6, ERC-2017-STG
Summary Networks are the backbone of our society, but configuring them is error-prone and tedious: misconfigured networks result in headline grabbing network outages that affect many users and hurt company revenues while security breaches that endanger millions of customers. There are currently no guarantees that deployed networks correctly implement their operator’s policy.
Existing research has focused on two directions: a) low level analysis and instrumentation of real networking code prevents memory bugs in individual network elements, but does not capture network-wide properties desired by operators such as reachability or loop freedom; b) high-level analysis of network-wide properties to verify operator policies on abstract network models; unfortunately, there are no guarantees that the models are an accurate representation of the real network code, and often low-level errors invalidate the conclusions of the high-level analysis.
We propose to achieve provably correct networks by simultaneously targeting both low-level security concerns and network-wide policy compliance checking. Our key proposal is to rely on exhaustive network symbolic execution for verification and to automatically generate provably correct implementations from network models. Generating efficient code that is equivalent to the model poses great challenges that we will address with three key contributions:
a) We will develop a novel theoretical equivalence framework based on symbolic execution semantics, as well as equivalence-preserving model transformations to automatically optimize network models for runtime efficiency.
b) We will develop compilers that take network models and generate functionally equivalent and efficient executable code for different targets (e.g. P4 and C).
c) We will design algorithms that generate and insert runtime guards that ensure correctness of the network with respect to the desired policy even when legacy boxes are deployed in the network.
Summary
Networks are the backbone of our society, but configuring them is error-prone and tedious: misconfigured networks result in headline grabbing network outages that affect many users and hurt company revenues while security breaches that endanger millions of customers. There are currently no guarantees that deployed networks correctly implement their operator’s policy.
Existing research has focused on two directions: a) low level analysis and instrumentation of real networking code prevents memory bugs in individual network elements, but does not capture network-wide properties desired by operators such as reachability or loop freedom; b) high-level analysis of network-wide properties to verify operator policies on abstract network models; unfortunately, there are no guarantees that the models are an accurate representation of the real network code, and often low-level errors invalidate the conclusions of the high-level analysis.
We propose to achieve provably correct networks by simultaneously targeting both low-level security concerns and network-wide policy compliance checking. Our key proposal is to rely on exhaustive network symbolic execution for verification and to automatically generate provably correct implementations from network models. Generating efficient code that is equivalent to the model poses great challenges that we will address with three key contributions:
a) We will develop a novel theoretical equivalence framework based on symbolic execution semantics, as well as equivalence-preserving model transformations to automatically optimize network models for runtime efficiency.
b) We will develop compilers that take network models and generate functionally equivalent and efficient executable code for different targets (e.g. P4 and C).
c) We will design algorithms that generate and insert runtime guards that ensure correctness of the network with respect to the desired policy even when legacy boxes are deployed in the network.
Max ERC Funding
1 325 000 €
Duration
Start date: 2018-01-01, End date: 2022-12-31
Project acronym COSMASS
Project Constraining Stellar Mass and Supermassive Black Hole Growth through Cosmic Times: Paving the way for the next generation sky surveys
Researcher (PI) Vernesa Smolcic
Host Institution (HI) FACULTY OF SCIENCE UNIVERSITY OF ZAGREB
Call Details Starting Grant (StG), PE9, ERC-2013-StG
Summary Understanding how galaxies form in the early universe and how they evolve through cosmic time is a major goal of modern astrophysics. Panchromatic look-back sky surveys significantly advanced the field in the past decade, and we are now entering a 'golden age' of radio astronomy given an order of magnitude improved facilities like JVLA, ATCA and ALMA. I am leading two unique, state-of-the-art (JVLA/ATCA) radio surveys that will push to the next frontiers. The proposed ERC project will focus on the growth of stellar and black-hole mass in galaxies across cosmic time by: 1-probing various types of extremely faint radio sources over cosmic time, revealing the debated abundance of faint radio sources, 2-exploring star formation conditions at early cosmic times, allowing to access for the first time the dust-unbiased cosmic star formation history since the epoch of reionization, 3-performing the first census of high-redshift starbursting galaxies (SMGs), and their role in galaxy formation and evolution, and 4-performing a full census of galaxies hosting supermassive black holes (AGN), with different black-hole accretion modes, and their roles in galaxy evolution.
The exploitation of these radio sky surveys is essential for the preparation and success of the future large facilities like ASKAP, and SKA as they will 1-provide best predictions of the to-date uncertain cosmic radio background seen with the SKA, and 2-optimize photometric redshift estimates, essential for the success of the first ASKAP sky survey (EMU, >2016).
My radio surveys, expected to yield >100 refereed publications, carry an immense legacy value. The proposed ERC funding is essential for the success of these timely surveys, which I will conduct from Croatia. The ERC grant will allow me to lead my own research group working on this novel data, and to even more firmly establish myself as a leading survey scientist, and lead my group to internationally competitive levels, and enhance EU competitiveness.
Summary
Understanding how galaxies form in the early universe and how they evolve through cosmic time is a major goal of modern astrophysics. Panchromatic look-back sky surveys significantly advanced the field in the past decade, and we are now entering a 'golden age' of radio astronomy given an order of magnitude improved facilities like JVLA, ATCA and ALMA. I am leading two unique, state-of-the-art (JVLA/ATCA) radio surveys that will push to the next frontiers. The proposed ERC project will focus on the growth of stellar and black-hole mass in galaxies across cosmic time by: 1-probing various types of extremely faint radio sources over cosmic time, revealing the debated abundance of faint radio sources, 2-exploring star formation conditions at early cosmic times, allowing to access for the first time the dust-unbiased cosmic star formation history since the epoch of reionization, 3-performing the first census of high-redshift starbursting galaxies (SMGs), and their role in galaxy formation and evolution, and 4-performing a full census of galaxies hosting supermassive black holes (AGN), with different black-hole accretion modes, and their roles in galaxy evolution.
The exploitation of these radio sky surveys is essential for the preparation and success of the future large facilities like ASKAP, and SKA as they will 1-provide best predictions of the to-date uncertain cosmic radio background seen with the SKA, and 2-optimize photometric redshift estimates, essential for the success of the first ASKAP sky survey (EMU, >2016).
My radio surveys, expected to yield >100 refereed publications, carry an immense legacy value. The proposed ERC funding is essential for the success of these timely surveys, which I will conduct from Croatia. The ERC grant will allow me to lead my own research group working on this novel data, and to even more firmly establish myself as a leading survey scientist, and lead my group to internationally competitive levels, and enhance EU competitiveness.
Max ERC Funding
1 500 000 €
Duration
Start date: 2014-02-01, End date: 2019-01-31
Project acronym NOISE
Project Noise-Sensitivity Everywhere
Researcher (PI) Gabor Zoltan PETE
Host Institution (HI) MAGYAR TUDOMANYOS AKADEMIA RENYI ALFRED MATEMATIKAI KUTATOINTEZET
Call Details Consolidator Grant (CoG), PE1, ERC-2017-COG
Summary Noise-sensitivity of a Boolean function with iid random input bits means that resampling a tiny proportion of the input makes the output unpredictable. This notion arises naturally in computer science, but perhaps the most striking example comes from statistical physics, in large part due to the PI: the macroscopic geometry of planar percolation is very sensitive to noise. This can be recast in terms of Fourier analysis on the hypercube: a function is noise sensitive iff most of its Fourier weight is on "high energy" eigenfunctions of the random walk operator.
We propose to use noise sensitivity ideas in three main directions:
(A) Address some outstanding questions in the classical case of iid inputs: universality in critical planar percolation; the Friedgut-Kalai conjecture on Fourier Entropy vs Influence; noise in First Passage Percolation.
(B) In statistical physics, a key example is the critical planar FK-Ising model, with noise being Glauber dynamics. One task is to prove noise sensitivity of the macroscopic structure. A key obstacle is that hypercontractivity of the critical dynamics is not known.
(C) Babai’s conjecture says that random walk on any finite simple group, with any generating set, mixes in time poly-logarithmic in the volume. Two key open cases are the alternating groups and the linear groups SL(n,F2). We will approach these questions by first proving fast mixing for certain macroscopic structures. For permutation groups, this is the cycle structure, and it is related to a conjecture of Tóth on the interchange process, motivated by a phase transition question in quantum mechanics.
We will apply ideas of statistical physics to group theory in other novel ways: using near-critical FK-percolation models to prove a conjecture of Gaboriau connecting the first ell2-Betti number of a group to its cost, and using random walk in random environment to prove the amenability of the interval exchange transformation group, refuting a conjecture of Katok.
Summary
Noise-sensitivity of a Boolean function with iid random input bits means that resampling a tiny proportion of the input makes the output unpredictable. This notion arises naturally in computer science, but perhaps the most striking example comes from statistical physics, in large part due to the PI: the macroscopic geometry of planar percolation is very sensitive to noise. This can be recast in terms of Fourier analysis on the hypercube: a function is noise sensitive iff most of its Fourier weight is on "high energy" eigenfunctions of the random walk operator.
We propose to use noise sensitivity ideas in three main directions:
(A) Address some outstanding questions in the classical case of iid inputs: universality in critical planar percolation; the Friedgut-Kalai conjecture on Fourier Entropy vs Influence; noise in First Passage Percolation.
(B) In statistical physics, a key example is the critical planar FK-Ising model, with noise being Glauber dynamics. One task is to prove noise sensitivity of the macroscopic structure. A key obstacle is that hypercontractivity of the critical dynamics is not known.
(C) Babai’s conjecture says that random walk on any finite simple group, with any generating set, mixes in time poly-logarithmic in the volume. Two key open cases are the alternating groups and the linear groups SL(n,F2). We will approach these questions by first proving fast mixing for certain macroscopic structures. For permutation groups, this is the cycle structure, and it is related to a conjecture of Tóth on the interchange process, motivated by a phase transition question in quantum mechanics.
We will apply ideas of statistical physics to group theory in other novel ways: using near-critical FK-percolation models to prove a conjecture of Gaboriau connecting the first ell2-Betti number of a group to its cost, and using random walk in random environment to prove the amenability of the interval exchange transformation group, refuting a conjecture of Katok.
Max ERC Funding
1 386 364 €
Duration
Start date: 2018-02-01, End date: 2023-01-31
Project acronym SIREN
Project Stability Islands: Performance Revolution in Machining
Researcher (PI) Gábor Stépán
Host Institution (HI) BUDAPESTI MUSZAKI ES GAZDASAGTUDOMANYI EGYETEM
Call Details Advanced Grant (AdG), PE8, ERC-2013-ADG
Summary "Cutting went through a revolution in the 1990s when high-speed milling (HSM) was introduced: the sculpture-like workpieces produced with high precision and efficiency resulted in one order of magnitude less parts in cars/aircrafts, which kept this traditional technology competitive at the turn of the century. This has been followed by an incremental development when not just the cutting speeds, but depths of cut and feed rates are pushed to limits, too.
The limits are where harmful vibrations occur. Cutting is subject to a special one called chatter, which is originated in a time delay: the cutting edge interferes with its own past oscillation recorded on the wavy surface cut of the workpiece. In 1907, the 3rd president of ASME, Taylor wrote: “Chatter is the most obscure and delicate of all problems facing the machinist”.
In spite of the development of the theory of delay-differential equations and nonlinear dynamics, Taylor’s statement remained valid 100 years later when HSM appeared together with a new kind of chatter. The applicant has been among those leading researchers who predicted these phenomena; the experimental/numerical techniques developed in his group are widely used to find parameters, e.g. where milling tools with serrated edges and/or with varying helix angles are advantageous.
The SIREN project aims to find isolated parameter islands with 3-5 times increased cutting efficiency. The work-packages correspond to points of high risk: (1) validated, delay-based nonlinear modelling of the dynamic contact problem between chip and tool; (2) fixation of the tool that is compatible with a dynamically reliable mathematical model of the contact between tool and tool-holder; (3) up-to-date dynamic modelling of the spindle at varying speeds.
High risk originates in the attempt of using distributed delay models, but high gain is expected with robust use of parameter islands where technology reaches a breakthrough in cutting efficiency for the 21st century."
Summary
"Cutting went through a revolution in the 1990s when high-speed milling (HSM) was introduced: the sculpture-like workpieces produced with high precision and efficiency resulted in one order of magnitude less parts in cars/aircrafts, which kept this traditional technology competitive at the turn of the century. This has been followed by an incremental development when not just the cutting speeds, but depths of cut and feed rates are pushed to limits, too.
The limits are where harmful vibrations occur. Cutting is subject to a special one called chatter, which is originated in a time delay: the cutting edge interferes with its own past oscillation recorded on the wavy surface cut of the workpiece. In 1907, the 3rd president of ASME, Taylor wrote: “Chatter is the most obscure and delicate of all problems facing the machinist”.
In spite of the development of the theory of delay-differential equations and nonlinear dynamics, Taylor’s statement remained valid 100 years later when HSM appeared together with a new kind of chatter. The applicant has been among those leading researchers who predicted these phenomena; the experimental/numerical techniques developed in his group are widely used to find parameters, e.g. where milling tools with serrated edges and/or with varying helix angles are advantageous.
The SIREN project aims to find isolated parameter islands with 3-5 times increased cutting efficiency. The work-packages correspond to points of high risk: (1) validated, delay-based nonlinear modelling of the dynamic contact problem between chip and tool; (2) fixation of the tool that is compatible with a dynamically reliable mathematical model of the contact between tool and tool-holder; (3) up-to-date dynamic modelling of the spindle at varying speeds.
High risk originates in the attempt of using distributed delay models, but high gain is expected with robust use of parameter islands where technology reaches a breakthrough in cutting efficiency for the 21st century."
Max ERC Funding
2 573 000 €
Duration
Start date: 2014-03-01, End date: 2019-02-28
Project acronym StrucLim
Project Limits of discrete structures
Researcher (PI) Balazs Szegedy
Host Institution (HI) MAGYAR TUDOMANYOS AKADEMIA RENYI ALFRED MATEMATIKAI KUTATOINTEZET
Call Details Consolidator Grant (CoG), PE1, ERC-2013-CoG
Summary Built on decades of deep research in ergodic theory, Szemeredi's regularity theory and statistical physics, a new subject is emerging whose goal is to study convergence and limits of various structures.
The main idea is to regard very large structures in combinatorics and algebra as approximations of infinite analytic objects. This viewpoint brings new tools from analysis and topology into these subjects. The success of this branch of mathematics has already been demonstrated through numerous applications in computer science, extremal combinatorics, probability theory and group theory. The present research plan addresses a number of open problems in additive combinatorics, ergodic theory, higher order Fourier analysis, extremal combinatorics and random graph theory. These subjects are all interrelated through the limit approach.
Summary
Built on decades of deep research in ergodic theory, Szemeredi's regularity theory and statistical physics, a new subject is emerging whose goal is to study convergence and limits of various structures.
The main idea is to regard very large structures in combinatorics and algebra as approximations of infinite analytic objects. This viewpoint brings new tools from analysis and topology into these subjects. The success of this branch of mathematics has already been demonstrated through numerous applications in computer science, extremal combinatorics, probability theory and group theory. The present research plan addresses a number of open problems in additive combinatorics, ergodic theory, higher order Fourier analysis, extremal combinatorics and random graph theory. These subjects are all interrelated through the limit approach.
Max ERC Funding
1 175 200 €
Duration
Start date: 2014-02-01, End date: 2019-01-31
