-
GNU Aris: a web application for students
Authors:
Saksham Attri,
Zoltán Kovács,
Aaron Windischbauer
Abstract:
We report on recent improvements to the free logic education software tool GNU Aris, including the latest features added during the Google Summer of Code 2023 project. We focused on making GNU Aris a web application to enable almost all users to use it as a standalone offline web application written in a combination of HTML, JavaScript, and WebAssembly. We used the Qt Quick framework with Emscript…
▽ More
We report on recent improvements to the free logic education software tool GNU Aris, including the latest features added during the Google Summer of Code 2023 project. We focused on making GNU Aris a web application to enable almost all users to use it as a standalone offline web application written in a combination of HTML, JavaScript, and WebAssembly. We used the Qt Quick framework with Emscripten to compile the application to WebAssembly. In the report we summarize the user feedback of university students given during a course on logic.
△ Less
Submitted 9 May, 2025;
originally announced May 2025.
-
A note on Erdős's mysterious remark
Authors:
Zoltán Kovács
Abstract:
We give an alternative proof of the statement, by using elimination from algebraic geometry, that the only set $S\subset\mathbb{R}^2$, $\left|S\right|=6$ such that all subsets that form a triangle are isosceles triangles, is the regular pentagon with its center. Our proof can be extended to answer some related questions raised by Erdős.
We give an alternative proof of the statement, by using elimination from algebraic geometry, that the only set $S\subset\mathbb{R}^2$, $\left|S\right|=6$ such that all subsets that form a triangle are isosceles triangles, is the regular pentagon with its center. Our proof can be extended to answer some related questions raised by Erdős.
△ Less
Submitted 9 December, 2024; v1 submitted 6 December, 2024;
originally announced December 2024.
-
Opinion polarisation in social networks driven by cognitive dissonance avoidance
Authors:
Zoltan Kovács,
Anna Zafeiris,
Gergely Palla
Abstract:
As the consequences of opinion polarization effect our everyday life in more and more aspect, the understanding of its origins and driving forces becomes increasingly important. Here we develop an agent-based network model with realistic human traits: individuals in our simulations are endowed with an internal belief system which they attempt to keep as coherent as possible. This desire -- to reas…
▽ More
As the consequences of opinion polarization effect our everyday life in more and more aspect, the understanding of its origins and driving forces becomes increasingly important. Here we develop an agent-based network model with realistic human traits: individuals in our simulations are endowed with an internal belief system which they attempt to keep as coherent as possible. This desire -- to reassure existing attitudes while avoiding cognitive dissonance -- is one of the most influential and widely accepted theories in social psychology by now. Our model shows that even in networks that start out completely uniform (from a society of clones), this effort leads to fragmentation and polarization, reflected both by the individual beliefs (attitudes) and the emerging communities in the social network. By fine-tuning two parameters: (i) "dissonance penalty", measuring the strength with which agents attempt to avoid cognitive dissonance, and (ii) "triadic closure affinity", the parameter reflecting agents' likelihood to connect with friends of friends, a wide range of possible community structures are observed.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
The Effect of Ga-Ion Irradiation on Sub-Micron-Wavelength Spin Waves in Yttrium-Iron-Garnet Films
Authors:
Johannes Greil,
Martina Kiechle,
Adam Papp,
Peter Neumann,
Zoltán Kovács,
Janos Volk,
Frank Schulz,
Sebastian Wintz,
Markus Weigand,
György Csaba,
Markus Becherer
Abstract:
We investigate the effect of focused-ion-beam (FIB) irradiation on spin waves with sub-micron wavelengths in Yttrium-Iron-Garnet (YIG) films. Time-resolved scanning transmission X-ray (TR-STXM) microscopy was used to image the spin waves in irradiated regions and deduce corresponding changes in the magnetic parameters of the film. We find that the changes of Ga$^+$ irradiation can be understood by…
▽ More
We investigate the effect of focused-ion-beam (FIB) irradiation on spin waves with sub-micron wavelengths in Yttrium-Iron-Garnet (YIG) films. Time-resolved scanning transmission X-ray (TR-STXM) microscopy was used to image the spin waves in irradiated regions and deduce corresponding changes in the magnetic parameters of the film. We find that the changes of Ga$^+$ irradiation can be understood by assuming a few percent change in the effective magnetization $M_\mathrm{eff}$ of the film due to a trade-off between changes in anisotropy and effective film thickness. Our results demonstrate that FIB irradiation can be used to locally alter the dispersion relation and the effective refractive index $n_\textrm{eff}$ of the film, even for submicron wavelengths. To achieve the same change in $n_\textrm{eff}$ for shorter wavelengths, a higher dose is required, but no significant deterioration of spin wave propagation length in the irradiated regions was observed, even at the highest applied doses.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Using Java Geometry Expert as Guide in the Preparations for Math Contests
Authors:
Ines Ganglmayr,
Zoltán Kovács
Abstract:
We give an insight into Java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system. JGEX can offer great support in some classroom situations, especially for solving mathematical competition tasks. Also, we discuss some limitations of the program.
We give an insight into Java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system. JGEX can offer great support in some classroom situations, especially for solving mathematical competition tasks. Also, we discuss some limitations of the program.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Authors:
Amela Hota,
Zoltán Kovács,
Alexander Vujic
Abstract:
In this article, we solve some of the geometry problems of the Náboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calculate. In each case, the calculation requires symbolic computations. We analyze the difficulty of feeding the problem into the machine and set further goals to make the problems of this type of contests even more tractab…
▽ More
In this article, we solve some of the geometry problems of the Náboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calculate. In each case, the calculation requires symbolic computations. We analyze the difficulty of feeding the problem into the machine and set further goals to make the problems of this type of contests even more tractable in the future.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Open Source Prover in the Attic
Authors:
Zoltán Kovács,
Alexander Vujic
Abstract:
The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we are looking at whether it is possible to continue such a large project as a newcomer without the involvement of the original authors. Is there a way to internationalize, fix bugs, improve the code base, add new features?…
▽ More
The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we are looking at whether it is possible to continue such a large project as a newcomer without the involvement of the original authors. Is there a way to internationalize, fix bugs, improve the code base, add new features? In other words, to save a relic found in the attic and polish it into a useful everyday tool.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Authors:
Anna Käferböck,
Zoltán Kovács
Abstract:
We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper Austria. We explain how the process of a false conjecture, experimenting, modeling, a precise mathematical setup, and then a proof by automated reaso…
▽ More
We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper Austria. We explain how the process of a false conjecture, experimenting, modeling, a precise mathematical setup, and then a proof by automated reasoning could help extend mathematical knowledge at secondary school level and above.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
Authors:
Belén Ariño-Morera,
Zoltán Kovács,
Tomás Recio,
Piedad Tolmos
Abstract:
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem gives rise to four different kind of feedback: the almost instantaneous, automated solution of the proposed problem; the measure of its complexity, according to some recent proposals; the automated discovery of a generaliza…
▽ More
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem gives rise to four different kind of feedback: the almost instantaneous, automated solution of the proposed problem; the measure of its complexity, according to some recent proposals; the automated discovery of a generalization of the given assertion, showing that the same statement is true over more general polygons than those mentioned in the problem; and the difficulties associated to the analysis of the surprising and involved high number of degenerate cases that appear when using the LocusEquation command in this problem. In our communication we will describe and reflect on these diverse issues, enhancing its exemplar role for showing some of the advantages, problems, and current fields of development of GeoGebra Discovery.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Authors:
Zoltán Kovács,
Tomás Recio,
M. Pilar Vélez
Abstract:
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that outputs both the sequence of the different steps performed by GeoGebra Discovery to confirm a certain statement, as well as a number intending to grade…
▽ More
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that outputs both the sequence of the different steps performed by GeoGebra Discovery to confirm a certain statement, as well as a number intending to grade the difficulty or interest of the assertion. The proposal of this assessment measure, involving the comparison of the expression of the thesis (or conclusion) as a combination of the hypotheses, will be developed.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Proceedings 14th International Conference on Automated Deduction in Geometry
Authors:
Pedro Quaresma,
Zoltán Kovács
Abstract:
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous editions of ADG were held in Hagenberg in 2021 (online, postponed from 2020 due to COVID-19), Nanning in 2018, Strasbourg in 2016, Coimbra in 2014, Edinburgh in 2012…
▽ More
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous editions of ADG were held in Hagenberg in 2021 (online, postponed from 2020 due to COVID-19), Nanning in 2018, Strasbourg in 2016, Coimbra in 2014, Edinburgh in 2012, Munich in 2010, Shanghai in 2008, Pontevedra in 2006, Gainesville in 2004, Hagenberg in 2002, Zurich in 2000, Beijing in 1998, and Toulouse in 1996.
The 14th edition, ADG 2023, was held in Belgrade, Serbia, in September 20-22, 2023. This edition of ADG had an additional special focus topic, Deduction in Education.
Invited Speakers: Julien Narboux, University of Strasbourg, France "Formalisation, arithmetization and automatisation of geometry"; Filip Marić, University of Belgrade, Serbia, "Automatization, formalization and visualization of hyperbolic geometry"; Zlatan Magajna, University of Ljubljana, Slovenia, "Workshop OK Geometry"
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Towards understanding the central limit theorem by learning Python basics
Authors:
Zoltán Kovács,
Alexander Thaller
Abstract:
We report on a first experiment about an email based course that connects learning Python basics and introductory probability theory. In the experiment 7 short sequences of homework were sent out to prospective mathematics teachers who did not have any programming background formerly, but already had some minor knowledge on probability theory. The experiment was about to decide if learning basics…
▽ More
We report on a first experiment about an email based course that connects learning Python basics and introductory probability theory. In the experiment 7 short sequences of homework were sent out to prospective mathematics teachers who did not have any programming background formerly, but already had some minor knowledge on probability theory. The experiment was about to decide if learning basics of programming can promote understanding main concepts of probability theory.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Artificial Intelligence for 6G Networks: Technology Advancement and Standardization
Authors:
Muhammad K. Shehzad,
Luca Rose,
M. Majid Butt,
Istvan Z. Kovacs,
Mohamad Assaad,
Mohsen Guizani
Abstract:
With the deployment of 5G networks, standards organizations have started working on the design phase for sixth-generation (6G) networks. 6G networks will be immensely complex, requiring more deployment time, cost and management efforts. On the other hand, mobile network operators demand these networks to be intelligent, self-organizing, and cost-effective to reduce operating expenses (OPEX). Machi…
▽ More
With the deployment of 5G networks, standards organizations have started working on the design phase for sixth-generation (6G) networks. 6G networks will be immensely complex, requiring more deployment time, cost and management efforts. On the other hand, mobile network operators demand these networks to be intelligent, self-organizing, and cost-effective to reduce operating expenses (OPEX). Machine learning (ML), a branch of artificial intelligence (AI), is the answer to many of these challenges providing pragmatic solutions, which can entirely change the future of wireless network technologies. By using some case study examples, we briefly examine the most compelling problems, particularly at the physical (PHY) and link layers in cellular networks where ML can bring significant gains. We also review standardization activities in relation to the use of ML in wireless networks and future timeline on readiness of standardization bodies to adapt to these changes. Finally, we highlight major issues in ML use in the wireless technology, and provide potential directions to mitigate some of them in 6G wireless networks.
△ Less
Submitted 2 April, 2022;
originally announced April 2022.
-
Automated Discovery of Geometrical Theorems in GeoGebra
Authors:
Zoltán Kovács,
Jonathan H. Yu
Abstract:
We describe a prototype of a new experimental GeoGebra command and tool, Discover, that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basic implementation of automated discovery in elementary planar geometry. The paper focuses on the mathematical background of the implementation, as well as methods to avoid combinatorial explosion when storing the intere…
▽ More
We describe a prototype of a new experimental GeoGebra command and tool, Discover, that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basic implementation of automated discovery in elementary planar geometry. The paper focuses on the mathematical background of the implementation, as well as methods to avoid combinatorial explosion when storing the interesting properties of a geometric figure.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
Symbolic Comparison of Geometric Quantities in GeoGebra
Authors:
Zoltán Kovács,
Róbert Vajda
Abstract:
Comparison of geometric quantities usually means obtaining generally true equalities of different algebraic expressions of a given geometric figure. Today's technical possibilities already support symbolic proofs of a conjectured theorem, by exploiting computer algebra capabilities of some dynamic geometry systems as well. We introduce GeoGebra's new feature, the Compare command, that helps the us…
▽ More
Comparison of geometric quantities usually means obtaining generally true equalities of different algebraic expressions of a given geometric figure. Today's technical possibilities already support symbolic proofs of a conjectured theorem, by exploiting computer algebra capabilities of some dynamic geometry systems as well. We introduce GeoGebra's new feature, the Compare command, that helps the users in experiments in planar geometry. We focus on automatically obtaining conjectures and their proofs at the same time, including not just equalities but inequalities too. Our contribution can already be successfully used to support teaching geometry classes at secondary level, by getting several well-known and some previously unpublished result within seconds on a modern personal computer.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
GeoGebra Discovery in Context
Authors:
Zoltán Kovács,
Tomás Recio,
M. Pilar Vélez
Abstract:
In our contribution we will reflect, through a collection of selected examples, on the potential impact of the GeoGebra Discovery application on different social and educational contexts.
In our contribution we will reflect, through a collection of selected examples, on the potential impact of the GeoGebra Discovery application on different social and educational contexts.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Online Generation of Proofs Without Words
Authors:
Alexander Thaller,
Zoltán Kovács
Abstract:
Understanding geometric relationships with little mathematical knowledge can be challenging for today's students and teachers. A new toolset is introduced that is able to create a proof without words by combining the benefits of the Geometric Deduction Database method (to obtain a readable proof of a geometric statement) and the GeoGebra framework (that makes it possible to export these data as an…
▽ More
Understanding geometric relationships with little mathematical knowledge can be challenging for today's students and teachers. A new toolset is introduced that is able to create a proof without words by combining the benefits of the Geometric Deduction Database method (to obtain a readable proof of a geometric statement) and the GeoGebra framework (that makes it possible to export these data as an online applet in a simple way).
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra
Authors:
Zoltán Kovács,
Róbert Vajda
Abstract:
We introduced the package/subsystem GeoGebra Discovery to GeoGebra which supports the automated proving or discovering of elementary geometry inequalities. In this case study, for inequality exploration problems related to isosceles and right angle triangle subclasses, we demonstrate how our general real quantifier elimination (RQE) approach could be replaced by a parametric root finding (PRF) alg…
▽ More
We introduced the package/subsystem GeoGebra Discovery to GeoGebra which supports the automated proving or discovering of elementary geometry inequalities. In this case study, for inequality exploration problems related to isosceles and right angle triangle subclasses, we demonstrate how our general real quantifier elimination (RQE) approach could be replaced by a parametric root finding (PRF) algorithm. The general RQE requires the full cell decomposition of a high dimensional space, while the new method can avoid this expensive computation and can lead to practical speedups. To obtain a solution for a 1D-exploration problem, we compute a Groebner basis for the discriminant variety of the 1-dimensional parametric system and solve finitely many nonlinear real (NRA) satisfiability (SAT) problems. We illustrate the needed computations by examples. Since Groebner basis algorithms are available in Giac (the underlying free computer algebra system in GeoGebra) and freely available efficient NRA-SAT solvers (SMT-RAT, Tarski, Z3, etc.) can be linked to GeoGebra, we hope that the method could be easily added to the existing reasoning tool set for educational purposes.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
Authors:
Christopher W. Brown,
Zoltán Kovács,
Róbert Vajda
Abstract:
We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of GeoGebra, a controller web service realgeom, and the computational tool Tarski (with the extensive help of the QEPCAD B system) successfully solves several non-trivial problems in Euclidean planar geometry related to in…
▽ More
We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of GeoGebra, a controller web service realgeom, and the computational tool Tarski (with the extensive help of the QEPCAD B system) successfully solves several non-trivial problems in Euclidean planar geometry related to inequalities.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Proceedings of the 13th International Conference on Automated Deduction in Geometry
Authors:
Predrag Janičić,
Zoltán Kovács
Abstract:
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods; probabilistic, synthetic, and logic approaches, techniques for automated g…
▽ More
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods; probabilistic, synthetic, and logic approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; interactive theorem proving in geometry; symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; design and implementation of geometry software, automated theorem provers, special-purpose tools, experimental studies; applications of ADG in mechanics, geometric modelling, CAGD/CAD, computer vision, robotics and education.
Traditionally, the ADG conference is held every two years. The previous editions of ADG were held in Nanning in 2018, Strasbourg in 2016, Coimbra in 2014, Edinburgh in 2012, Munich in 2010, Shanghai in 2008, Pontevedra in 2006, Gainesville in 2004, Hagenberg in 2002, Zurich in 2000, Beijing in 1998, and Toulouse in 1996. The 13th edition of ADG was supposed to be held in 2020 in Hagenberg, Austria, but due to the COVID-19 pandemic, it was postponed for 2021, and held online (still hosted by RISC Institute, Hagenberg, Austria), September 15-17, 2021 (https://www.risc.jku.at/conferences/adg2021).
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
ML-Assisted UE Positioning: Performance Analysis and 5G Architecture Enhancements
Authors:
M. Majid Butt,
Anna Pantelidou,
István Z. Kovács
Abstract:
Artificial intelligence and data-driven networks will be integral part of 6G systems. In this article, we comprehensively discuss implementation challenges and need for architectural changes in 5G radio access networks for integrating machine learning (ML) solutions. As an example use case, we investigate user equipment (UE) positioning assisted by deep learning (DL) in 5G and beyond networks. As…
▽ More
Artificial intelligence and data-driven networks will be integral part of 6G systems. In this article, we comprehensively discuss implementation challenges and need for architectural changes in 5G radio access networks for integrating machine learning (ML) solutions. As an example use case, we investigate user equipment (UE) positioning assisted by deep learning (DL) in 5G and beyond networks. As compared to state of the art positioning algorithms used in today's networks, radio signal fingerprinting and machine learning (ML) assisted positioning requires smaller additional feedback overhead; and the positioning estimates are made directly inside the radio access network (RAN), thereby assisting in radio resource management. In this regard, we study ML-assisted positioning methods and evaluate their performance using system level simulations for an outdoor scenario. The study is based on the use of raytracing tool, a 3GPP 5G NR compliant system level simulator and DL framework to estimate positioning accuracy of the UE. We evaluate and compare performance of various DL models and show mean positioning error in the range of 1-1.5m for a 2-hidden layer DL architecture with appropriate feature-modeling. Building on our performance analysis, we discuss pros and cons of various architectures to implement ML solutions for future networks and draw conclusions on the most suitable architecture.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
Offsets of a regular trifolium
Authors:
Thierry Dana-Picard,
Zoltán Kovács
Abstract:
The non-uniqueness of a rational parametrization of a rational plane curve may influence the process of computing envelopes of 1-parameter families of plane curves. We study envelopes of family of circles centred on a regular trifolium and its offsets, paying attention to different parametrizations. We use implicitization both to show that two rational parametrizations of a curve are equivalent, a…
▽ More
The non-uniqueness of a rational parametrization of a rational plane curve may influence the process of computing envelopes of 1-parameter families of plane curves. We study envelopes of family of circles centred on a regular trifolium and its offsets, paying attention to different parametrizations. We use implicitization both to show that two rational parametrizations of a curve are equivalent, and to determine an implicit equation for the envelope under study. The derivation of an implicit equation of an offset follows another path, leading to new developments of the package GeoGebra Discovery. As an immediate symbolic result, we obtain that in the general case the offset curve of a regular trifolium is an algebraic curve of degree 14. We illustrate this fact by providing a GeoGebra applet that computes such curves automatically and visualizes them in a web browser.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
Power Allocation for Uplink Communications of Massive Cellular-Connected UAVs
Authors:
Xuesong Cai,
István Z. Kovács,
Jeroen Wigard,
Rafhael Amorim,
Fredrik Tufvesson,
Preben E. Mogensen
Abstract:
Cellular-connected unmanned aerial vehicle (UAV) has attracted a surge of research interest in both academia and industry. To support aerial user equipment (UEs) in the existing cellular networks, one promising approach is to assign a portion of the system bandwidth exclusively to the UAV-UEs. This is especially favorable for use cases where a large number of UAV-UEs are exploited, e.g., for packa…
▽ More
Cellular-connected unmanned aerial vehicle (UAV) has attracted a surge of research interest in both academia and industry. To support aerial user equipment (UEs) in the existing cellular networks, one promising approach is to assign a portion of the system bandwidth exclusively to the UAV-UEs. This is especially favorable for use cases where a large number of UAV-UEs are exploited, e.g., for package delivery close to a warehouse. Although the nearly line-of-sight (LoS) channels can result in higher powers received, UAVs can in turn cause severe interference to each other in the same frequency band. In this contribution, we focus on the uplink communications of massive cellular-connected UAVs. Different power allocation algorithms are proposed to either maximize the minimal spectrum efficiency (SE) or maximize the overall SE to cope with severe interference based on the successive convex approximation (SCA) principle. One of the challenges is that a UAV can affect a large area meaning that many more UAV-UEs must be considered in the optimization problem, which is essentially different from that for terrestrial UEs. The necessity of single-carrier uplink transmission further complicates the problem. Nevertheless, we find that the special property of large coherent bandwidths and coherent times of the propagation channels can be leveraged. The performances of the proposed algorithms are evaluated via extensive simulations in the full-buffer transmission mode and bursty-traffic mode. Results show that the proposed algorithms can effectively enhance the uplink SEs. This work can be considered the first attempt to deal with the interference among massive cellular-connected UAV-UEs with optimized power allocations.
△ Less
Submitted 26 February, 2023; v1 submitted 25 July, 2021;
originally announced July 2021.
-
Ariel: Enabling planetary science across light-years
Authors:
Giovanna Tinetti,
Paul Eccleston,
Carole Haswell,
Pierre-Olivier Lagage,
Jérémy Leconte,
Theresa Lüftinger,
Giusi Micela,
Michel Min,
Göran Pilbratt,
Ludovic Puig,
Mark Swain,
Leonardo Testi,
Diego Turrini,
Bart Vandenbussche,
Maria Rosa Zapatero Osorio,
Anna Aret,
Jean-Philippe Beaulieu,
Lars Buchhave,
Martin Ferus,
Matt Griffin,
Manuel Guedel,
Paul Hartogh,
Pedro Machado,
Giuseppe Malaguti,
Enric Pallé
, et al. (293 additional authors not shown)
Abstract:
Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths.…
▽ More
Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths. It is the first mission dedicated to measuring the chemical composition and thermal structures of hundreds of transiting exoplanets, enabling planetary science far beyond the boundaries of the Solar System. The payload consists of an off-axis Cassegrain telescope (primary mirror 1100 mm x 730 mm ellipse) and two separate instruments (FGS and AIRS) covering simultaneously 0.5-7.8 micron spectral range. The satellite is best placed into an L2 orbit to maximise the thermal stability and the field of regard. The payload module is passively cooled via a series of V-Groove radiators; the detectors for the AIRS are the only items that require active cooling via an active Ne JT cooler. The Ariel payload is developed by a consortium of more than 50 institutes from 16 ESA countries, which include the UK, France, Italy, Belgium, Poland, Spain, Austria, Denmark, Ireland, Portugal, Czech Republic, Hungary, the Netherlands, Sweden, Norway, Estonia, and a NASA contribution.
△ Less
Submitted 10 April, 2021;
originally announced April 2021.
-
Ellipsograph of Archimedes as a simple LEGO construction
Authors:
Sara Jodlbauer,
Zoltán Kovács
Abstract:
We report on a simple LEGO construction that can draw an ellipse by using the concept of trammel of Archimedes.
We report on a simple LEGO construction that can draw an ellipse by using the concept of trammel of Archimedes.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Temperature Dependence Analysis of the NIR Spectra of Liquid Water confirms the existence of two phases, one of which is in a coherent state
Authors:
Paolo Renati,
Zoltan Kovacs,
Antonella De Ninno,
Roumiana Tsenkova
Abstract:
Isosbestic (equal absorption) points in the IR and NIR spectra of liquid water are a well known feature and they witness the existence of two populations of oscillators in the probed system. Despite it is a well known experimental fact, in the mainstream molecular dynamics approach the proposed theoretical explanations for it are not able to elucidate which is the physical reason why such a cut of…
▽ More
Isosbestic (equal absorption) points in the IR and NIR spectra of liquid water are a well known feature and they witness the existence of two populations of oscillators in the probed system. Despite it is a well known experimental fact, in the mainstream molecular dynamics approach the proposed theoretical explanations for it are not able to elucidate which is the physical reason why such a cut off frequency (at the isosbestic point) does exist. We investigate pure Milli-Q water on increasing the temperature in the vis-NIR range (400-2500 nm). We specifically payed attention to the first overtone region (1300-1600 nm) of the OH-bond stretching-mode where an isosbestic point has been observed. A second derivative analysis clearly shows two modes, which can be assigned to water molecules involved in different hydrogen bonding configurations whose relative abundance is controlled by the temperature. We have also observed that the ratio of these modes follows a van't Hoff behavior supporting that their energy difference (energy gap) is independent on the temperature. Furthermore, a log-log plot shows a scale invariance of the population ratio with respect to the perturbation (temperature), confirming the existence of a long range correlated dynamics in the liquid. We show that the two phases differences between energy and entropy estimated from the experimental data can be compared with the predictions of Quantum Electro Dynamics (QED) showing a remarkable agreement.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Empirical Low-Altitude Air-to-Ground Spatial Channel Characterization for Cellular Networks Connectivity
Authors:
Xuesong Cai,
Tomasz Izydorczyk,
José Rodríguez-Piñeiro,
István Z. Kovács,
Jeroen Wigard,
Fernando M. L. Tavares,
Preben E. Mogensen
Abstract:
Cellular-connected unmanned aerial vehicles (UAVs) have recently attracted a surge of interest in both academia and industry. Understanding the air-to-ground (A2G) propagation channels is essential to enable reliable and/or high-throughput communications for UAVs and protect the ground user equipments (UEs). In this contribution, a recently conducted measurement campaign for the A2G channels is in…
▽ More
Cellular-connected unmanned aerial vehicles (UAVs) have recently attracted a surge of interest in both academia and industry. Understanding the air-to-ground (A2G) propagation channels is essential to enable reliable and/or high-throughput communications for UAVs and protect the ground user equipments (UEs). In this contribution, a recently conducted measurement campaign for the A2G channels is introduced. A uniform circular array (UCA) with 16 antenna elements was employed to collect the downlink signals of two different Long Term Evolution (LTE) networks, at the heights of 0-40m in three different, namely rural, urban and industrial scenarios. The channel impulse responses (CIRs) have been extracted from the received data, and the spatial/angular parameters of the multipath components in individual channels were estimated according to a high-resolution-parameter estimation (HRPE) principle. Based on the HRPE results, clusters of multipath components were further identified. Finally, comprehensive spatial channel characteristics were investigated in the composite and cluster levels at different heights in the three scenarios.
△ Less
Submitted 12 April, 2021; v1 submitted 2 October, 2020;
originally announced October 2020.
-
The CHEOPS mission
Authors:
Willy Benz,
Christopher Broeg,
Andrea Fortier,
Nicola Rando,
Thomas Beck,
Mathias Beck,
Didier Queloz,
David Ehrenreich,
Pierre Maxted,
Kate Isaak,
Nicolas Billot,
Yann Alibert,
Roi Alonso,
Carlos António,
Joel Asquier,
Timothy Bandy,
Tamas Bárczy,
David Barrado,
Susana Barros,
Wolfgang Baumjohann,
Anja Bekkelien,
Maria Bergomi,
Federico Biondi,
Xavier Bonfils,
Luca Borsato
, et al. (85 additional authors not shown)
Abstract:
The CHaracterising ExOPlanet Satellite (CHEOPS) was selected in 2012, as the first small mission in the ESA Science Programme and successfully launched in December 2019. CHEOPS is a partnership between ESA and Switzerland with important contributions by ten additional ESA Member States. CHEOPS is the first mission dedicated to search for transits of exoplanets using ultrahigh precision photometry…
▽ More
The CHaracterising ExOPlanet Satellite (CHEOPS) was selected in 2012, as the first small mission in the ESA Science Programme and successfully launched in December 2019. CHEOPS is a partnership between ESA and Switzerland with important contributions by ten additional ESA Member States. CHEOPS is the first mission dedicated to search for transits of exoplanets using ultrahigh precision photometry on bright stars already known to host planets. As a follow-up mission, CHEOPS is mainly dedicated to improving, whenever possible, existing radii measurements or provide first accurate measurements for a subset of those planets for which the mass has already been estimated from ground-based spectroscopic surveys and to following phase curves. CHEOPS will provide prime targets for future spectroscopic atmospheric characterisation.
Requirements on the photometric precision and stability have been derived for stars with magnitudes ranging from 6 to 12 in the V band. In particular, CHEOPS shall be able to detect Earth-size planets transiting G5 dwarf stars in the magnitude range between 6 and 9 by achieving a photometric precision of 20 ppm in 6 hours of integration. For K stars in the magnitude range between 9 and 12, CHEOPS shall be able to detect transiting Neptune-size planets achieving a photometric precision of 85 ppm in 3 hours of integration. This is achieved by using a single, frame-transfer, back-illuminated CCD detector at the focal plane assembly of a 33.5 cm diameter telescope. The 280 kg spacecraft has a pointing accuracy of about 1 arcsec rms and orbits on a sun-synchronous dusk-dawn orbit at 700 km altitude.
The nominal mission lifetime is 3.5 years. During this period, 20% of the observing time is available to the community through a yearly call and a discretionary time programme managed by ESA.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
Towards Automated Discovery of Geometrical Theorems in GeoGebra
Authors:
Zoltán Kovács,
Jonathan H. Yu
Abstract:
We describe a prototype of a new experimental GeoGebra command and tool Discover that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basic implementation of automated discovery in elementary planar geometry. The paper focuses on the mathematical background of the implementation, as well as methods to avoid combinatorial explosion when storing the interest…
▽ More
We describe a prototype of a new experimental GeoGebra command and tool Discover that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basic implementation of automated discovery in elementary planar geometry. The paper focuses on the mathematical background of the implementation, as well as methods to avoid combinatorial explosion when storing the interesting properties of a geometric figure.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Two almost-circles, and two real ones
Authors:
Zoltán Kovács
Abstract:
Implicit locus equations in GeoGebra allow the user to do experiments with generalization of the concept of ellipses, namely with $n$-ellipses. By experimenting we obtain a geometric object that is very similar to a set of two circles.
Implicit locus equations in GeoGebra allow the user to do experiments with generalization of the concept of ellipses, namely with $n$-ellipses. By experimenting we obtain a geometric object that is very similar to a set of two circles.
△ Less
Submitted 23 May, 2020; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Towards a Geometry Automated Provers Competition
Authors:
Nuno Baeta,
Pedro Quaresma,
Zoltán Kovács
Abstract:
The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthetic) and different goals and applications (from research in the area of artificial intelligence to applications in education).
Apart from the usual measures of efficiency (e.g. CPU time), the possibility of visual and/o…
▽ More
The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthetic) and different goals and applications (from research in the area of artificial intelligence to applications in education).
Apart from the usual measures of efficiency (e.g. CPU time), the possibility of visual and/or readable proofs is also an expected output against which the geometry automated theorem provers (GATP) should be measured.
The implementation of a competition between GATP would allow to create a test bench for GATP developers to improve the existing ones and to propose new ones. It would also allow to establish a ranking for GATP that could be used by "clients" (e.g. developers of educational e-learning systems) to choose the best implementation for a given intended use.
△ Less
Submitted 28 February, 2020;
originally announced February 2020.
-
Distinguishing Brans-Dicke-Kerr type naked singularities and black holes with their thin disk electromagnetic radiation properties
Authors:
Shahab Shahidi,
Tiberiu Harko,
Zoltán Kovács
Abstract:
The possible existence of naked singularities, hypothetical astrophysical objects, characterized by a gravitational singularity without an event horizon is still an open problem in present day astrophysics. From an observational point of view distinguishing between astrophysical black holes and naked singularities also represents a major challenge. One possible way of differentiating naked singula…
▽ More
The possible existence of naked singularities, hypothetical astrophysical objects, characterized by a gravitational singularity without an event horizon is still an open problem in present day astrophysics. From an observational point of view distinguishing between astrophysical black holes and naked singularities also represents a major challenge. One possible way of differentiating naked singularities from black holes is through the comparative study of thin accretion disks properties around these different types of compact objects. In the present paper we continue the comparative investigation of accretion disk properties around axially-symmetric rotating geometries in Brans-Dicke theory in the presence of a massless scalar field. The solution of the field equations contains the Kerr metric as a particular case, and, depending on the numerical values of the model parameter $γ$, has also solutions corresponding to non-trivial black holes and naked singularities, respectively. Due to the differences in the exterior geometries between black holes and Brans-Dicke-Kerr naked singularities, the thermodynamic and electromagnetic properties of the disks (energy flux, temperature distribution and equilibrium radiation spectrum) are different for these two classes of compact objects, consequently giving clear observational signatures that could discriminate between black holes and naked singularities.
△ Less
Submitted 14 February, 2020; v1 submitted 8 February, 2020;
originally announced February 2020.
-
Teaching fractals for gifted learners at age 12 by using novel technologies
Authors:
Zoltán Kovács
Abstract:
A summary of an experimental course on fractals is given that was held for young learners at age 12. The course was a part of Epsilon camp, a program designed for very gifted students who have already demonstrated high interest in studying mathematics. Prerequisites for the course were mastery of Algebra I, experience and fluency in skills like exponentials and square roots, solving equations. Als…
▽ More
A summary of an experimental course on fractals is given that was held for young learners at age 12. The course was a part of Epsilon camp, a program designed for very gifted students who have already demonstrated high interest in studying mathematics. Prerequisites for the course were mastery of Algebra I, experience and fluency in skills like exponentials and square roots, solving equations. Also, at least two preliminary years were required in a prior Epsilon camp. The summary gives an overview of the flow of teaching, the achieved results and some evaluation of the given feedback.
△ Less
Submitted 23 April, 2020; v1 submitted 18 December, 2019;
originally announced December 2019.
-
Teaching algebraic curves for gifted learners at age 11 by using LEGO linkages and GeoGebra
Authors:
Zoltán Kovács
Abstract:
A summary of an experimental course on algebraic curves is given that was held for young learners at age 11. The course was a part of Epsilon camp, a program designed for very gifted students who have already demonstrated high interest in studying mathematics. Prerequisites for the course were mastery of Algebra I and at least one preliminary year in a prior Epsilon camp. The summary gives an over…
▽ More
A summary of an experimental course on algebraic curves is given that was held for young learners at age 11. The course was a part of Epsilon camp, a program designed for very gifted students who have already demonstrated high interest in studying mathematics. Prerequisites for the course were mastery of Algebra I and at least one preliminary year in a prior Epsilon camp. The summary gives an overview of the flow of teaching, the achieved results and some evaluation of the given feedback.
△ Less
Submitted 15 December, 2019; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Reply to "Comment on 'Can accretion disk properties observationally distinguish black holes from naked singularities?'"
Authors:
Zoltán Kovács,
Tiberiu Harko,
Shahab Shahidi
Abstract:
In the Comment on "Can accretion disk properties observationally distinguish black holes from naked singularities?", by Bertrand Chauvineau, Phys. Rev. D {\bf 98}, 088501 (2018), the author did show that the metric used in Z. Kovács and T. Harko, Phys. Rev. D {\bf 82}, 124047 (2010), and initially introduced in K. D. Krori and D. R. Bhattacharjee, J. Math. Phys. \textbf{23}, 637 (1982) and K. K. N…
▽ More
In the Comment on "Can accretion disk properties observationally distinguish black holes from naked singularities?", by Bertrand Chauvineau, Phys. Rev. D {\bf 98}, 088501 (2018), the author did show that the metric used in Z. Kovács and T. Harko, Phys. Rev. D {\bf 82}, 124047 (2010), and initially introduced in K. D. Krori and D. R. Bhattacharjee, J. Math. Phys. \textbf{23}, 637 (1982) and K. K. Nandi, P. M. Alsing, J. C. Evans, and T. B. Nayak, Phys. Rev. D \textbf{63}, 084027 (2001), does not satisfy the Einstein gravitational field equations with a minimally coupled scalar field. In our reply we would like to point out that this result is actually not new, but it was already published in the literature. Moreover, a rotating solution that generalizes the Kerr metric for a nonminimally coupled scalar field does exist. We briefly discuss the nature of the singularities for the generalized metric, and point out that it can be used as a testing ground to differentiate black holes from naked singularities. We also mention the existence of some other typing or technical errors existing in the literature.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Flow of anisometric particles in a quasi-2D hopper
Authors:
Balazs Szabo,
Zsolt Kovacs,
Sandra Wegner,
Ahmed Ashour,
David Fischer,
Ralf Stannarius,
Tamas Borzsonyi
Abstract:
The stationary flow field in a quasi-two-dimensional hopper is investigated experimentally. The behavior of materials consisting of beads and elongated particles with different aspect ratio is compared. We show, that while the vertical velocity in the flowing region can be fitted with a Gaussian function for beads, in the case of elongated grains the flowing channel is narrower and is bordered wit…
▽ More
The stationary flow field in a quasi-two-dimensional hopper is investigated experimentally. The behavior of materials consisting of beads and elongated particles with different aspect ratio is compared. We show, that while the vertical velocity in the flowing region can be fitted with a Gaussian function for beads, in the case of elongated grains the flowing channel is narrower and is bordered with sharper velocity gradient. For this case, we quantify deviations from the Gaussian velocity profile. Relative velocity fluctuations are considerably larger and slower for elongated grains.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
Another (wrong) construction of $π$
Authors:
Zoltán Kovács
Abstract:
A simple way is shown to construct the length $π$ from the unit length with 4 digits accuracy.
A simple way is shown to construct the length $π$ from the unit length with 4 digits accuracy.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
Detecting truth, just on parts
Authors:
Zoltán Kovács,
Tomás Recio,
M. Pilar Vélez
Abstract:
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test on the dynamic geometry program GeoGebra…
▽ More
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test on the dynamic geometry program GeoGebra.
△ Less
Submitted 26 March, 2018; v1 submitted 16 February, 2018;
originally announced February 2018.
-
Alloy formation at the bottom and top Fe interfaces of Ti/Fe/Ti trilayers
Authors:
P. Süle,
L. Bottyán,
L. Bujdosó,
Z. E. Horváth D. Kaptás A. Kovács,
D. G. Merkel,
A. Nakanishi,
Sz. Sajti,
J. Balogh
Abstract:
The chemical mixing at the Fe-on-Ti and Ti-on-Fe, i.e. the bottom and top interfaces of Fe in atomically deposited layers, were studied experimentally and by molecular dynamics simulations of the layer growth. The basic structure and chemical composition of the layers were explored in cross-sections using transmission electron microscopy. The calculations show a concentration distribution along th…
▽ More
The chemical mixing at the Fe-on-Ti and Ti-on-Fe, i.e. the bottom and top interfaces of Fe in atomically deposited layers, were studied experimentally and by molecular dynamics simulations of the layer growth. The basic structure and chemical composition of the layers were explored in cross-sections using transmission electron microscopy. The calculations show a concentration distribution along the layer growth direction which is atomically sharp at the Ti-on-Fe interface for the (001) and (110) crystallographic orientations of the Fe layer, while it varies over a few atomic layers for Fe(111) substrate and at the Fe-on-Ti interface for all studied substrate orientations. Conversion electron Mössbauer spectroscopy and X-ray reflectometry measurements indicate an even larger asymmetry of the bottom and top Fe interface in Ti/Fe/Ti trilayers grown over Si(111) substrate by vacuum evaporation.
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
-
A compilation of LEGO Technic parts to support learning experiments on linkages
Authors:
Zoltán Kovács,
Benedek Kovács
Abstract:
We present a compilation of LEGO Technic parts to provide easy-to-build constructions of basic planar linkages. Some technical issues and their possible solutions are discussed. To solve questions on fine details---like deciding whether the motion is an exactly straight line or not---we refer to the dynamic mathematics software tool GeoGebra.
We present a compilation of LEGO Technic parts to provide easy-to-build constructions of basic planar linkages. Some technical issues and their possible solutions are discussed. To solve questions on fine details---like deciding whether the motion is an exactly straight line or not---we refer to the dynamic mathematics software tool GeoGebra.
△ Less
Submitted 12 December, 2017; v1 submitted 1 December, 2017;
originally announced December 2017.
-
On Euler's inequality and automated reasoning with dynamic geometry
Authors:
Zoltán Kovács,
Róbert Vajda,
Aaron Montag
Abstract:
Euler's inequality $R\geq 2r$ can be investigated in a novel way by using implicit loci in GeoGebra. Some unavoidable side effects of the implicit locus computation introduce unexpected algebraic curves. By using a mixture of symbolic and numerical methods a possible approach is sketched up to investigate the situation. By exploiting fast GPU computations, a web application written in CindyJS help…
▽ More
Euler's inequality $R\geq 2r$ can be investigated in a novel way by using implicit loci in GeoGebra. Some unavoidable side effects of the implicit locus computation introduce unexpected algebraic curves. By using a mixture of symbolic and numerical methods a possible approach is sketched up to investigate the situation. By exploiting fast GPU computations, a web application written in CindyJS helps in understanding the situation even better.
△ Less
Submitted 6 April, 2020; v1 submitted 31 July, 2017;
originally announced August 2017.
-
On the generalization of Erdős-Vincze's theorem about the approximation of closed convex plane curves by polyellipses
Authors:
Csaba Vincze,
Zoltán Kovács,
Zsófia Fruzsina Csorvássy
Abstract:
A polyellipse is a curve in the Euclidean plane all of whose points have the same sum of distances from finitely many given points (focuses). The classical version of Erdős-Vincze's theorem states that regular triangles can not be presented as the Hausdorff limit of polyellipses even if the number of the focuses can be arbitrary large. In other words the topological closure of the set of polyellip…
▽ More
A polyellipse is a curve in the Euclidean plane all of whose points have the same sum of distances from finitely many given points (focuses). The classical version of Erdős-Vincze's theorem states that regular triangles can not be presented as the Hausdorff limit of polyellipses even if the number of the focuses can be arbitrary large. In other words the topological closure of the set of polyellipses with respect to the Hausdorff distance does not contain any regular triangle and we have a negative answer to the problem posed by E. Vázsonyi (Weissfeld) about the approximation of closed convex plane curves by polyellipses. It is the additive version of the approximation of simple closed plane curves by polynomial lemniscates all of whose points have the same product of distances from finitely many given points (focuses). Here we are going to generalize the classical version of Erdős-Vincze's theorem for regular polygons in the plane. We will conclude that the error of the approximation tends to zero as the number of the vertices of the regular polygon tends to the infinity. The decreasing tendency of the approximation error gives the idea to construct curves in the topological closure of the set of polyellipses. If we use integration to compute the average distance of a point from a given (focal) set in the plane then the curves all of whose points have the same average distance from the focal set can be given as the Hausdorff limit of polyellipses corresponding to partial sums.
△ Less
Submitted 7 January, 2018; v1 submitted 11 May, 2017;
originally announced May 2017.
-
No, This is not a Circle
Authors:
Zoltán Kovács
Abstract:
A popular curve shown in introductory maths textbooks, seems like a circle. But it is actually a different curve. This paper discusses some elementary approaches to identify the geometric object, including novel technological means by using GeoGebra. We demonstrate two ways to refute the false impression, two suggestions to find a correct conjecture, and four ways to confirm the result by proving…
▽ More
A popular curve shown in introductory maths textbooks, seems like a circle. But it is actually a different curve. This paper discusses some elementary approaches to identify the geometric object, including novel technological means by using GeoGebra. We demonstrate two ways to refute the false impression, two suggestions to find a correct conjecture, and four ways to confirm the result by proving it rigorously.
All of the discussed approaches can be introduced in classrooms at various levels from middle school to high school.
△ Less
Submitted 13 May, 2017; v1 submitted 27 April, 2017;
originally announced April 2017.
-
The epsilon-delta game and the chess
Authors:
Zoltán Kovács
Abstract:
The limit of a sequence by the definition with $\varepsilon$ is introduced by the notion of checkmate in two moves. The idea is also extended to define the limit of a function with $\varepsilon$ and $δ$.
The limit of a sequence by the definition with $\varepsilon$ is introduced by the notion of checkmate in two moves. The idea is also extended to define the limit of a function with $\varepsilon$ and $δ$.
△ Less
Submitted 11 June, 2019; v1 submitted 23 January, 2017;
originally announced January 2017.
-
Geo-Location Based Access for Vehicular Communications: Analysis and Optimization via Stochastic Geometry
Authors:
Francisco J. Martin-Vega,
Beatriz Soret,
Mari Carmen Aguayo-Torres,
Istvan Z. Kovacs,
Gerardo Gomez
Abstract:
Delivery of broadcast messages among vehicles for safety purposes, which is known as one of the key ingredients of Intelligent Transportation Systems (ITS), requires an efficient Medium Access Control (MAC) that provides low average delay and high reliability. To this end, a Geo-Location Based Access (GLOC) for vehicles has been proposed for Vehicle-to-Vehicle (V2V) communications, aiming at maxim…
▽ More
Delivery of broadcast messages among vehicles for safety purposes, which is known as one of the key ingredients of Intelligent Transportation Systems (ITS), requires an efficient Medium Access Control (MAC) that provides low average delay and high reliability. To this end, a Geo-Location Based Access (GLOC) for vehicles has been proposed for Vehicle-to-Vehicle (V2V) communications, aiming at maximizing the distance of co-channel transmitters while preserving a low latency when accessing the resources. In this paper we analyze, with the aid of stochastic geometry, the delivery of periodic and non-periodic broadcast messages with GLOC, taking into account path loss and fading as well as the random locations of transmitting vehicles. Analytical results include the average interference, average Binary Rate (BR), capture probability, i.e., the probability of successful message transmission, and Energy Efficiency (EE). Mathematical analysis reveals interesting insights about the system performance, which are validated thought extensive Monte Carlo simulations. In particular, it is shown that the capture probability is an increasing function with exponential dependence with respect to the transmit power and it is demonstrated that an arbitrary high capture probability can be achieved, as long as the number of access resources is high enough. Finally, to facilitate the system-level design of GLOC, the optimum transmit power is derived, which leads to a maximal EE subject to a given constraint in the capture probability.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
-
New tools in GeoGebra offering novel opportunities to teach loci and envelopes
Authors:
Francisco Botana,
Zoltán Kovács
Abstract:
GeoGebra is an open source mathematics education software tool being used in thousands of schools worldwide. Since version 4.2 (December 2012) it supports symbolic computation of locus equations as a result of joint effort of mathematicians and programmers helping the GeoGebra developer team. The joint work, based on former researches, started in 2010 and continued until present days, now enables…
▽ More
GeoGebra is an open source mathematics education software tool being used in thousands of schools worldwide. Since version 4.2 (December 2012) it supports symbolic computation of locus equations as a result of joint effort of mathematicians and programmers helping the GeoGebra developer team. The joint work, based on former researches, started in 2010 and continued until present days, now enables fast locus and envelope computations even in a web browser in full HTML5 mode. Thus, classroom demonstrations and deeper investigations of dynamic analytical geometry are ready to use on tablets or smartphones as well.
In our paper we consider some typical secondary school topics where investigating loci is a natural way of defining mathematical objects. We discuss the technical possibilities in GeoGebra by using the new commands LocusEquation and Envelope, showing through different examples how these commands can enrich the learning of mathematics. The covered school topics include definition of a parabola and other conics in different situations like synthetic definitions or points and curves associated with a triangle. Despite the fact that in most secondary schools, no other than quadratic curves are discussed, simple generalization of some exercises, and also every day problems, will smoothly introduce higher order algebraic curves. Thus our paper mentions the cubic curve "strophoid" as locus of the orthocenter of a triangle when one of the vertices moves on a circle. Also quartic "cardioid" and sextic "nephroid" can be of every day interest when investigating mathematics in, say, a coffee cup.
We also focus on GeoGebra specific tips and tricks when constructing a geometric figure to be available for getting the locus equation. Among others, simplification and synthetization (via the intercept theorem) are mentioned.
△ Less
Submitted 30 May, 2016;
originally announced May 2016.
-
Curvatures of left invariant Randers metric on the five-dimensional Heisenberg group
Authors:
A. Lengyelné-Tóth,
Z. Kovács
Abstract:
A left invariant Z-Randers metric on the five-dimensional Heisenberg group is a left invariant Randers metric with deformation vector from the center of the Heisenberg algebra. In this note we prove that for every left invariant Z-Randers metric on the five-dimensional Heisenberg group there exist flags of strictly negative and there exist flags of strictly positive curvatures.
A left invariant Z-Randers metric on the five-dimensional Heisenberg group is a left invariant Randers metric with deformation vector from the center of the Heisenberg algebra. In this note we prove that for every left invariant Z-Randers metric on the five-dimensional Heisenberg group there exist flags of strictly negative and there exist flags of strictly positive curvatures.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Investigation of Prediction Accuracy, Sensitivity, and Parameter Stability of Large-Scale Propagation Path Loss Models for 5G Wireless Communications
Authors:
Shu Sun,
Theodore S. Rappaport,
Timothy A. Thomas,
Amitava Ghosh,
Huan C. Nguyen,
Istvan Z. Kovacs,
Ignacio Rodriguez,
Ozge Koymen,
Andrzej Partyka
Abstract:
This paper compares three candidate large-scale propagation path loss models for use over the entire microwave and millimeter-wave (mmWave) radio spectrum: the alpha-beta-gamma (ABG) model, the close-in (CI) free space reference distance model, and the CI model with a frequency-weighted path loss exponent (CIF). Each of these models have been recently studied for use in standards bodies such as 3G…
▽ More
This paper compares three candidate large-scale propagation path loss models for use over the entire microwave and millimeter-wave (mmWave) radio spectrum: the alpha-beta-gamma (ABG) model, the close-in (CI) free space reference distance model, and the CI model with a frequency-weighted path loss exponent (CIF). Each of these models have been recently studied for use in standards bodies such as 3GPP, and for use in the design of fifth generation (5G) wireless systems in urban macrocell, urban microcell, and indoor office and shopping mall scenarios. Here we compare the accuracy and sensitivity of these models using measured data from 30 propagation measurement datasets from 2 GHz to 73 GHz over distances ranging from 4 m to 1238 m. A series of sensitivity analyses of the three models show that the physically-based two-parameter CI model and three-parameter CIF model offer computational simplicity, have very similar goodness of fit (i.e., the shadow fading standard deviation), exhibit more stable model parameter behavior across frequencies and distances, and yield smaller prediction error in sensitivity testing across distances and frequencies, when compared to the four-parameter ABG model. Results show the CI model with a 1 m close-in reference distance is suitable for outdoor environments, while the CIF model is more appropriate for indoor modeling. The CI and CIF models are easily implemented in existing 3GPP models by making a very subtle modification -- by replacing a floating non-physically based constant with a frequency-dependent constant that represents free space path loss in the first meter of propagation.
△ Less
Submitted 10 June, 2016; v1 submitted 14 March, 2016;
originally announced March 2016.
-
GeoGebra Tools with Proof Capabilities
Authors:
Zoltán Kovács,
Csilla Sólyom-Gecse
Abstract:
We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a result, a number of elementary theorems can be proven by using GeoGebra's intuitive user interface on various computer architectures including native Java and we…
▽ More
We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a result, a number of elementary theorems can be proven by using GeoGebra's intuitive user interface on various computer architectures including native Java and web based systems with JavaScript. We also provide a test suite for benchmarking our results with 200 test cases.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
A Prediction Study of Path Loss Models from 2-73.5 GHz in an Urban-Macro Environment
Authors:
Timothy A. Thomas,
Marcin Rybakowski,
Shu Sun,
Theodore S. Rappaport,
Huan Nguyen,
Istvan Z. Kovacs,
Ignacio Rodriguez
Abstract:
It is becoming clear that 5G wireless systems will encompass frequencies from around 500 MHz all the way to around 100 GHz. To adequately assess the performance of 5G systems in these different bands, path loss (PL) models will need to be developed across this wide frequency range. The PL models can roughly be broken into two categories, ones that have some anchor in physics, and ones that curve-m…
▽ More
It is becoming clear that 5G wireless systems will encompass frequencies from around 500 MHz all the way to around 100 GHz. To adequately assess the performance of 5G systems in these different bands, path loss (PL) models will need to be developed across this wide frequency range. The PL models can roughly be broken into two categories, ones that have some anchor in physics, and ones that curve-match only over the data set without any physical anchor. In this paper we use both real-world measurements from 2 to 28 GHz and ray-tracing studies from 2 to 73.5 GHz, both in an urban-macro environment, to assess the prediction performance of the two PL modeling techniques. In other words, we look at how the two different PL modeling techniques perform when the PL model is applied to a prediction set which is different in distance, frequency, or environment from a measurement set where the parameters of the respective models are determined. We show that a PL model with a physical anchor point can be a better predictor of PL performance in the prediction sets while also providing a parameterization which is more stable over a substantial number of different measurement sets.
△ Less
Submitted 23 February, 2016; v1 submitted 4 December, 2015;
originally announced December 2015.
