Project description
Developing a unified theory of structure for dense graphs
The fields of structural graph theory and graph algorithms have, for a long time, fostered a fruitful symbiosis, enabling and greatly utilising the exchange of insights, techniques, and concepts to understand them better and explore them. Unfortunately, our understanding of dense graphs remains largely fragmented and incomplete, despite structural graph theory having developed an extensive and comprehensive toolbox for the treatment of sparse graphs. The ERC-funded WYDRA project aims to develop a unified and reliable theory of structure for dense graphs through an extensive exploration of key knowledge and findings in logic, coarse theory, and algebra. It is expected to lead to the development of new tools, applications, and research perspectives.
Objective
The fields of graph algorithms and of structural graph theory enjoy a particularly fruitful symbiosis, marked by a rich exchange of techniques, concepts, and inspirations. At this point, structural graph theory provides a comprehensive toolbox for the treatment of sparse graphs. Compared to this, our understanding of dense graphs is much more fragmented and incomplete. Motivated by a recent wave of advances in this topic, we propose to launch a systematic investigation of links between the existing islands of knowledge, with the goal of constructing a solid and unified theory of structure for dense graphs. To this end, we aim to consolidate the following three major areas, and explore the connections between them:
- the logic theory, which adopts the point of view of model theory, and sees graphs as relational structures on which various logics can be employed;
- the algebraic theory, or the theory of vertex-minors, which studies graphs through the linear-algebraic properties of their adjacency matrices over the binary field F_2; and
- the coarse theory, which views graphs as metric spaces and provides tools and techniques for describing their large-scale structure.
The outcome of the project will be a comprehensive theory offering concepts, techniques, and tools for the structural treatment of dense graphs. We expect a wealth of combinatorial and algorithmic applications, as well as opening of new research perspectives at the intersection of graph theory and algorithmics.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
This project has not yet been classified with EuroSciVoc.
Be the first one to suggest relevant scientific fields and help us improve our classification service
You need to log in or register to use this function
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
HORIZON.1.1 - European Research Council (ERC)
MAIN PROGRAMME
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
HORIZON-ERC - HORIZON ERC Grants
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) ERC-2025-COG
See all projects funded under this callHost institution
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
00-927 WARSZAWA
Poland
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.