• Skip to content (access key 1)
  • Skip to search (access key 7)
FWF — Austrian Science Fund
  • Go to overview page Discover

    • Research Radar
      • Research Radar Archives 1974–1994
    • Discoveries
      • Emmanuelle Charpentier
      • Adrian Constantin
      • Monika Henzinger
      • Ferenc Krausz
      • Wolfgang Lutz
      • Walter Pohl
      • Christa Schleper
      • Elly Tanaka
      • Anton Zeilinger
    • Impact Stories
      • Verena Gassner
      • Wolfgang Lechner
      • Birgit Mitter
      • Oliver Spadiut
      • Georg Winter
    • scilog Magazine
    • Austrian Science Awards
      • FWF Wittgenstein Awards
      • FWF ASTRA Awards
      • FWF START Awards
      • Award Ceremony
    • excellent=austria
      • Clusters of Excellence
      • Emerging Fields
    • In the Spotlight
      • 40 Years of Erwin Schrödinger Fellowships
      • Quantum Austria
    • Dialogs and Talks
      • think.beyond Summit
    • Knowledge Transfer Events
    • E-Book Library
  • Go to overview page Funding

    • Portfolio
      • excellent=austria
        • Clusters of Excellence
        • Emerging Fields
      • Projects
        • Principal Investigator Projects
        • Principal Investigator Projects International
        • Clinical Research
        • 1000 Ideas
        • Arts-Based Research
        • FWF Wittgenstein Award
      • Careers
        • ESPRIT
        • FWF ASTRA Awards
        • Erwin Schrödinger
        • doc.funds
        • doc.funds.connect
      • Collaborations
        • Specialized Research Groups
        • Special Research Areas
        • Research Groups
        • International – Multilateral Initiatives
        • #ConnectingMinds
      • Communication
        • Top Citizen Science
        • Science Communication
        • Book Publications
        • Digital Publications
        • Open-Access Block Grant
      • Subject-Specific Funding
        • AI Mission Austria
        • Belmont Forum
        • ERA-NET HERA
        • ERA-NET NORFACE
        • ERA-NET QuantERA
        • Alternative Methods to Animal Testing
        • European Partnership BE READY
        • European Partnership Biodiversa+
        • European Partnership BrainHealth
        • European Partnership ERA4Health
        • European Partnership ERDERA
        • European Partnership EUPAHW
        • European Partnership FutureFoodS
        • European Partnership OHAMR
        • European Partnership PerMed
        • European Partnership Water4All
        • Gottfried and Vera Weiss Award
        • LUKE – Ukraine
        • netidee SCIENCE
        • Herzfelder Foundation Projects
        • Quantum Austria
        • Rückenwind Funding Bonus
        • WE&ME Award
        • Zero Emissions Award
      • International Collaborations
        • Belgium/Flanders
        • Germany
        • France
        • Italy/South Tyrol
        • Japan
        • Korea
        • Luxembourg
        • Poland
        • Switzerland
        • Slovenia
        • Taiwan
        • Tyrol-South Tyrol-Trentino
        • Czech Republic
        • Hungary
    • Step by Step
      • Find Funding
      • Submitting Your Application
      • International Peer Review
      • Funding Decisions
      • Carrying out Your Project
      • Closing Your Project
      • Further Information
        • Integrity and Ethics
        • Inclusion
        • Applying from Abroad
        • Personnel Costs
        • PROFI
        • Final Project Reports
        • Final Project Report Survey
    • FAQ
      • Project Phase PROFI
      • Project Phase Ad Personam
      • Expiring Programs
        • Elise Richter and Elise Richter PEEK
        • FWF START Awards
  • Go to overview page About Us

    • Mission Statement
    • FWF Video
    • Values
    • Facts and Figures
    • Annual Report
    • What We Do
      • Research Funding
        • Matching Funds Initiative
      • International Collaborations
      • Studies and Publications
      • Equal Opportunities and Diversity
        • Objectives and Principles
        • Measures
        • Creating Awareness of Bias in the Review Process
        • Terms and Definitions
        • Your Career in Cutting-Edge Research
      • Open Science
        • Open-Access Policy
          • Open-Access Policy for Peer-Reviewed Publications
          • Open-Access Policy for Peer-Reviewed Book Publications
          • Open-Access Policy for Research Data
        • Research Data Management
        • Citizen Science
        • Open Science Infrastructures
        • Open Science Funding
      • Evaluations and Quality Assurance
      • Academic Integrity
      • Science Communication
      • Philanthropy
      • Sustainability
    • History
    • Legal Basis
    • Organization
      • Executive Bodies
        • Executive Board
        • Supervisory Board
        • Assembly of Delegates
        • Scientific Board
        • Juries
      • FWF Office
    • Jobs at FWF
  • Go to overview page News

    • News
    • Press
      • Logos
    • Calendar
      • Post an Event
      • FWF Informational Events
    • Job Openings
      • Enter Job Opening
    • Newsletter
  • Discovering
    what
    matters.

    FWF-Newsletter Press-Newsletter Calendar-Newsletter Job-Newsletter scilog-Newsletter

    SOCIAL MEDIA

    • LinkedIn, external URL, opens in a new window
    • , external URL, opens in a new window
    • Facebook, external URL, opens in a new window
    • Instagram, external URL, opens in a new window
    • YouTube, external URL, opens in a new window

    SCILOG

    • Scilog — The science magazine of the Austrian Science Fund (FWF)
  • elane login, external URL, opens in a new window
  • Scilog external URL, opens in a new window
  • de Wechsle zu Deutsch

  

Arithmetic dynamical systems, polynomials, and polytopes

Arithmetic dynamical systems, polynomials, and polytopes

Mario Franz Weitzer (ORCID: 0000-0002-2754-7925)
  • Grant DOI 10.55776/P30205
  • Funding program Principal Investigator Projects
  • Status ended
  • Start July 1, 2018
  • End December 31, 2023
  • Funding amount € 279,174
  • Project website

Matching Funds - Steiermark

Disciplines

Mathematics (100%)

Keywords

    Arithmetic Dynamical Systems, Permutation Polynomials, Shift Radix Systems, Contractive Polynomials, Convex Polytopes

Abstract Final report

A famous mathematical problem, which remains unsolved almost 80 years after its discovery by the German mathematician Lothar Collatz, is the so-called Collatz conjecture, also known as the 3n+1 problem: pick any positive integer and, if even, divide it by two; otherwise multiply it by three and add one. If this rule is applied repeatedly, eventually one always seems to reach the number one, no matter the start value. Despite the fact that there is no known counter-example to this phenomenon and despite the fact that it can be fully explained using no more than the four basic arithmetical operations, it remains unproven up to this day. The two rules which define the respective successor of an even or odd number are an example of a so-called arithmetic dynamical system and the 3n+1 problem essentially is a conjecture on its ultimate behavior. Trying other rules than those which define the 3n+1 problem gives examples of arithmetic dynamical systems for which the question for ultimate behavior ranges from trivial to impossible in difficulty. One of the goals of the project is to analyze and categorize these examples in order to get a better understanding of the true nature of this great discrepancy in difficulties. In doing so it turns out that there is a connection between arithmetic dynamical systems and so-called permutation polynomials which define dynamical processes with similar properties. Another topic of this project is the study of triangulations of convex polytopes. Just as every polygon in the plane can be decomposed into triangles and every polyhedron in the three-dimensional space can be decomposed into three-sided pyramids, every polytope (the high-dimensional analogue of polygons and polyhedra) can be decomposed into simplices (the high-dimensional analogue of triangles and three-sided pyramids). Such a decomposition is called a triangulation. A recent result answers the question under which circumstances an arbitrary polytope can be triangulated in a way such that all simplices of the triangulation contain a given subset of the vertices of the polytope. This result allows for the computation of the volumes of the members of a known family of polytopes which was not possible before. There are many other families of convex polytopes (such as the so- called Birkhoff polytopes) the volumes of which play important roles in different fields and which are not known in general up to now. In addition to the study of arithmetic dynamical systems, the computation of the volumes of such polytopes is another aim of this project, as well as the further development of the underlying geometric result.

Arithmetic dynamical systems, polynomials, and polytopes A famous mathematical problem, which remains unsolved almost 80 years after its discovery by the German mathematician Lothar Collatz, is the so-called Collatz conjecture, also known as the 3n+1 problem: pick any positive integer and, if even, divide it by two; otherwise multiply it by three and add one. If this rule is applied repeatedly, eventually one always seems to reach the number one, no matter the start value. Despite the fact that there is no known counter-example to this phenomenon and despite the fact that it can be fully explained using no more than the four basic arithmetical operations, it remains unproven up to this day. The two rules which define the respective successor of an even or odd number are an example of a so-called arithmetic dynamical system and the 3n+1 problem essentially is a conjecture on its ultimate behavior. Trying other rules than those which define the 3n+1 problem gives examples of arithmetic dynamical systems for which the question for ultimate behavior ranges from trivial to impossible in difficulty. One of the goals of the project is to analyze and categorize these examples in order to get a better understanding of the true nature of this great discrepancy in difficulties. In doing so it turns out that there is a connection between arithmetic dynamical systems and so-called permutation polynomials which define dynamical processes with similar properties. Another topic of this project is the study of triangulations of convex polytopes. Just as every polygon in the plane can be decomposed into triangles and every polyhedron in the three-dimensional space can be decomposed into three-sided pyramids, every polytope (the high-dimensional analogue of polygons and polyhedra) can be decomposed into simplices (the high-dimensional analogue of triangles and three-sided pyramids). Such a decomposition is called a triangulation. A recent result answers the question under which circumstances an arbitrary polytope can be triangulated in a way such that all simplices of the triangulation contain a given subset of the vertices of the polytope. This result allows for the computation of the volumes of the members of a known family of polytopes which was not possible before. There are many other families of convex polytopes (such as the so-called Birkhoff polytopes) the volumes of which play important roles in different fields and which are not known in general up to now. In addition to the study of arithmetic dynamical systems, the computation of the volumes of such polytopes is another aim of this project, as well as the further development of the underlying geometric result.

Research institution(s)
  • Technische Universität Graz - 80%
  • Montanuniversität Leoben - 20%
Project participants
  • Mario Franz Weitzer, Montanuniversität Leoben , associated research partner

Research Output

  • 4 Publications
  • 2 Disseminations
Publications
  • 2019
    Title The Finiteness Property for Shift Radix Systems With General Parameters
    Type Journal Article
    Author Pethő A
    Journal Integers
  • 2019
    Title An introduction to $p$-adic systems: A new kind of number systems inspired by the Collatz $3n+1$ conjecture
    DOI 10.48550/arxiv.1911.09624
    Type Preprint
    Author Weitzer M
  • 2021
    Title An introduction to p-adic systems - A new kind of number systems inspired by the Collatz 3n+1 conjecture
    Type Other
    Author Weitzer M
    Link Publication
  • 2021
    DOI 10.5486/pmd.2021.8830
    Type Journal Article
    Author Kerber M
    Journal Publicationes Mathematicae Debrecen
Disseminations
  • 2022 Link
    Title Elective Subject Mathematics: Type Theory, Computability and Formal Proofs
    Type A formal working group, expert panel or dialogue
    Link Link
  • 2018 Link
    Title Organization of a seminar on homotopy type theory
    Type A formal working group, expert panel or dialogue
    Link Link

Discovering
what
matters.

Newsletter

FWF-Newsletter Press-Newsletter Calendar-Newsletter Job-Newsletter scilog-Newsletter

Contact

Austrian Science Fund (FWF)
Georg-Coch-Platz 2
(Entrance Wiesingerstraße 4)
1010 Vienna

office(at)fwf.ac.at
+43 1 505 67 40

General information

  • Job Openings
  • Jobs at FWF
  • Press
  • Philanthropy
  • scilog
  • FWF Office
  • Social Media Directory
  • LinkedIn, external URL, opens in a new window
  • , external URL, opens in a new window
  • Facebook, external URL, opens in a new window
  • Instagram, external URL, opens in a new window
  • YouTube, external URL, opens in a new window
  • Cookies
  • Whistleblowing/Complaints Management
  • Accessibility Statement
  • Data Protection
  • Acknowledgements
  • IFG-Form
  • Social Media Directory
  • © Österreichischer Wissenschaftsfonds FWF
© Österreichischer Wissenschaftsfonds FWF