-
Artifact Evaluation for Distributed Systems: Current Practices and Beyond
Authors:
Mohammad Reza Saleh Sedghpour,
Alessandro Vittorio Papadopoulos,
Cristian Klein,
Johan Tordsson
Abstract:
Although repeatability and reproducibility are essential in science, failed attempts to replicate results across diverse fields made some scientists argue for a reproducibility crisis. In response, several high-profile venues within computing established artifact evaluation tracks, a systematic procedure for evaluating and badging research artifacts, with an increasing number of artifacts submitte…
▽ More
Although repeatability and reproducibility are essential in science, failed attempts to replicate results across diverse fields made some scientists argue for a reproducibility crisis. In response, several high-profile venues within computing established artifact evaluation tracks, a systematic procedure for evaluating and badging research artifacts, with an increasing number of artifacts submitted. This study compiles recent artifact evaluation procedures and guidelines to show how artifact evaluation in distributed systems research lags behind other computing disciplines and/or is less unified and more complex. We further argue that current artifact assessment criteria are uncoordinated and insufficient for the unique challenges of distributed systems research. We examine the current state of the practice for artifacts and their evaluation to provide recommendations to assist artifact authors, reviewers, and track chairs. We summarize the recommendations and best practices as checklists for artifact authors and evaluation committees. Although our recommendations alone will not resolve the repeatability and reproducibility crisis, we want to start a discussion in our community to increase the number of submitted artifacts and their quality over time.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Geometry in the twentieth century: A return to Euclid -- The work of Herbert Busemann
Authors:
Athanase Papadopoulos
Abstract:
This is a point of view of the work of Herbert Busemann (1905-1994), seen as a return to the geometry of Ancient Greece. The importance of this work, its recognition and its relation with other works are discussed. The final version of this paper will appear in the Handbook of the History and Philosophy of Mathematical Practice, ed. Bharath Sriraman, Springer, 2024.
This is a point of view of the work of Herbert Busemann (1905-1994), seen as a return to the geometry of Ancient Greece. The importance of this work, its recognition and its relation with other works are discussed. The final version of this paper will appear in the Handbook of the History and Philosophy of Mathematical Practice, ed. Bharath Sriraman, Springer, 2024.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
The earthquake metric on Teichm{ü}ller space
Authors:
Yi Huang,
Ken'ichi Ohshika,
Huiping Pan,
Athanase Papadopoulos
Abstract:
This is the first paper to systematically study the earthquake metric, an asymmetric Finsler metric on Teichm{ü}ller space introduced by Thurston. We provide proofs for several assertions of Thurston and establish new properties of this metric, among which are incompleteness, asymptotic distance to the boundary and comparisons with the Thurston metric and the Weil--Petersson metric. In doing so,…
▽ More
This is the first paper to systematically study the earthquake metric, an asymmetric Finsler metric on Teichm{ü}ller space introduced by Thurston. We provide proofs for several assertions of Thurston and establish new properties of this metric, among which are incompleteness, asymptotic distance to the boundary and comparisons with the Thurston metric and the Weil--Petersson metric. In doing so, we propose a novel asymmetric generalisation of the notion of completion for symmetric metrics, which we call the FD-completion, and prove that for the earthquake metric the FD-completion and various symmetrised metric completions coincide with the Weil--Petersson completion. We also answer a question of Thurston by giving an interpretation of this metric arising from a global minimisation problem, namely, the earthquake magnitude minimisation problem. At several points of this paper, we formulate a certain number of open problems which will show that the earthquake metric constitutes a promising subject.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Adaptive Polynomial Chaos Expansion for Uncertainty Quantification and Optimization of Horn Antennas at SubTHz Frequencies
Authors:
Aristeides D. Papadopoulos,
Yihan Ma,
Qi Luo,
George C. Alexandropoulos
Abstract:
Sub-terahertz (subTHz) antennas will play an important role in the next generations of wireless communication systems. However, when comes to the subTHz frequency spectrum, the antenna fabrication tolerance needs to be accurately considered during the design stage. The classic approach to studying the average performance of an antenna design considering fabrication tolerances is through the use of…
▽ More
Sub-terahertz (subTHz) antennas will play an important role in the next generations of wireless communication systems. However, when comes to the subTHz frequency spectrum, the antenna fabrication tolerance needs to be accurately considered during the design stage. The classic approach to studying the average performance of an antenna design considering fabrication tolerances is through the use of the Monte-Carlo (MC) method. In this paper, we propose an adaptive polynomial chaos expansion (PCE) method for the uncertainty quantification analysis of subTHz horn antennas with flat-top radiation patterns. The proposed method builds a surrogate model of the antenna's response to electromagnetic (EM) excitation and estimates its statistical moments with accuracy close to the reference MC method, but with a much smaller computational complexity of roughly two orders of magnitude. Moreover, the surrogate model based on PCE can substitute full-wave EM solvers in producing samples for electromagnetic quantities of interest, resulting in significant computational efficiency gains during optimization tasks. To this end, we successfully combined PCE with the particle swarm optimization method to design the free parameters of a horn antenna at $95$ GHz for a flat-top gain.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
Mekler's Construction and Murphy's Law for 2-Nilpotent Groups
Authors:
Blaise Boissonneau,
Aris Papadopoulos,
Pierre Touchard
Abstract:
Mekler's construction is a powerful technique for building purely algebraic structures from combinatorial ones. Its power lies in the fact that it allows various model-theoretic tameness properties of the combinatorial structure to transfer to the algebraic one. In this paper, we push this ideology much further, describing a broad class of properties that transfer through Mekler's construction. Th…
▽ More
Mekler's construction is a powerful technique for building purely algebraic structures from combinatorial ones. Its power lies in the fact that it allows various model-theoretic tameness properties of the combinatorial structure to transfer to the algebraic one. In this paper, we push this ideology much further, describing a broad class of properties that transfer through Mekler's construction. This technique subsumes many well-known results and opens avenues for many more.
As a straightforward application of our methods, we (1) obtain transfer principles for stably embedded pairs of Mekler groups and (2) construct the first examples of strictly $\mathsf{NFOP}_k$ pure groups for all $k\in\mathbb{N}_{>2}$. We also answer a question of Chernikov and Hempel on the transfer of burden.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
Formal Verification of Consistency for Systems with Redundant Controllers
Authors:
Bjarne Johansson,
Bahman Pourvatan,
Zahra Moezkarimi,
Alessandro Papadopoulos,
Marjan Sirjani
Abstract:
A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsistency. An algorithm called NRP FD is proposed to solve this issue by prioritizing consistency over availability. In this paper, we demonstrate how by using modeling and formal verification, we discovered an issue in NRP FD…
▽ More
A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsistency. An algorithm called NRP FD is proposed to solve this issue by prioritizing consistency over availability. In this paper, we demonstrate how by using modeling and formal verification, we discovered an issue in NRP FD where we may have two primary controllers at the same time. We then provide a solution to mitigate the identified issue, thereby enhancing the robustness and reliability of such systems.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Robust Online Epistemic Replanning of Multi-Robot Missions
Authors:
Lauren Bramblett,
Branko Miloradovic,
Patrick Sherman,
Alessandro V. Papadopoulos,
Nicola Bezzo
Abstract:
As Multi-Robot Systems (MRS) become more affordable and computing capabilities grow, they provide significant advantages for complex applications such as environmental monitoring, underwater inspections, or space exploration. However, accounting for potential communication loss or the unavailability of communication infrastructures in these application domains remains an open problem. Much of the…
▽ More
As Multi-Robot Systems (MRS) become more affordable and computing capabilities grow, they provide significant advantages for complex applications such as environmental monitoring, underwater inspections, or space exploration. However, accounting for potential communication loss or the unavailability of communication infrastructures in these application domains remains an open problem. Much of the applicable MRS research assumes that the system can sustain communication through proximity regulations and formation control or by devising a framework for separating and adhering to a predetermined plan for extended periods of disconnection. The latter technique enables an MRS to be more efficient, but breakdowns and environmental uncertainties can have a domino effect throughout the system, particularly when the mission goal is intricate or time-sensitive. To deal with this problem, our proposed framework has two main phases: i) a centralized planner to allocate mission tasks by rewarding intermittent rendezvous between robots to mitigate the effects of the unforeseen events during mission execution, and ii) a decentralized replanning scheme leveraging epistemic planning to formalize belief propagation and a Monte Carlo tree search for policy optimization given distributed rational belief updates. The proposed framework outperforms a baseline heuristic and is validated using simulations and experiments with aerial vehicles.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Geometry on surfaces, a source for mathematical developments
Authors:
Norbert A'Campo,
Athanase Papadopoulos
Abstract:
We present a variety of geometrical and combinatorial tools that are used in the study of geometric structures on surfaces: volume, contact, symplectic, complex and almost complex structures. We start with a series of local rigidity results for such structures. Higher-dimensional analogues are also discussed. Some constructions with Riemann surfaces lead, by analogy, to notions that hold for arbit…
▽ More
We present a variety of geometrical and combinatorial tools that are used in the study of geometric structures on surfaces: volume, contact, symplectic, complex and almost complex structures. We start with a series of local rigidity results for such structures. Higher-dimensional analogues are also discussed. Some constructions with Riemann surfaces lead, by analogy, to notions that hold for arbitrary fields, and not only the field of complex numbers. The Riemann sphere is also defined using surjective homomorphisms of real algebras from the ring of real univariate polynomials to (arbitrary) fields, in which the field with one element is interpreted as the point at infinity of the Gaussian plane of complex numbers. Several models of the hyperbolic plane and hyperbolic 3-space appear, defined in terms of complex structures on surfaces, and in particular also a rather elementary construction of the hyperbolic plane usingreal monic univariate polynomials of degree two without real roots. Several notions and problems connected with conformal structures in dimension 2 are discussed, including dessins d'enfants, the combinatorial characterization of polynomials and rational maps of the sphere, the type problem, uniformization, quasiconformal mappings, Thurston's characterization of Speiser graphs, stratifications of spaces of monic polynomials, and others. Classical methods and new techniques complement each other. The final version of this paper will appear as a chapter in the Volume Surveys in Geometry. II (ed. A. Papadopoulos), Springer Nature Switzerland, 2024.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
A sparse hierarchical $hp$-finite element method on disks and annuli
Authors:
Ioannis P. A. Papadopoulos,
Sheehan Olver
Abstract:
We develop a sparse hierarchical $hp$-finite element method ($hp$-FEM) for the Helmholtz equation with rotationally invariant variable coefficients posed on a two-dimensional disk or annulus. The mesh is an inner disk cell (omitted if on an annulus domain) and concentric annuli cells. The discretization preserves the Fourier mode decoupling of rotationally invariant operators, such as the Laplacia…
▽ More
We develop a sparse hierarchical $hp$-finite element method ($hp$-FEM) for the Helmholtz equation with rotationally invariant variable coefficients posed on a two-dimensional disk or annulus. The mesh is an inner disk cell (omitted if on an annulus domain) and concentric annuli cells. The discretization preserves the Fourier mode decoupling of rotationally invariant operators, such as the Laplacian, which manifests as block diagonal mass and stiffness matrices. Moreover, the matrices have a sparsity pattern independent of the order of the discretization and admit an optimal complexity factorization. The sparse $hp$-FEM can handle radial discontinuities in the right-hand side and in rotationally invariant Helmholtz coefficients. We consider examples such as a high-frequency Helmholtz equation with radial discontinuities, the time-dependent Schrödinger equation, and an extension to a three-dimensional cylinder domain, with a quasi-optimal solve, via the Alternating Direction Implicit (ADI) algorithm.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Quasi-optimal complexity $hp$-FEM for Poisson on a rectangle
Authors:
Kars Knook,
Sheehan Olver,
Ioannis P. A. Papadopoulos
Abstract:
We show, in one dimension, that an $hp$-Finite Element Method ($hp$-FEM) discretisation can be solved in optimal complexity because the discretisation has a special sparsity structure that ensures that the \emph{reverse Cholesky factorisation} -- Cholesky starting from the bottom right instead of the top left -- remains sparse. Moreover, computing and inverting the factorisation almost entirely tr…
▽ More
We show, in one dimension, that an $hp$-Finite Element Method ($hp$-FEM) discretisation can be solved in optimal complexity because the discretisation has a special sparsity structure that ensures that the \emph{reverse Cholesky factorisation} -- Cholesky starting from the bottom right instead of the top left -- remains sparse. Moreover, computing and inverting the factorisation almost entirely trivially parallelises across the different elements. By incorporating this approach into an Alternating Direction Implicit (ADI) method à la Fortunato and Townsend (2020) we can solve, within a prescribed tolerance, an $hp$-FEM discretisation of the (screened) Poisson equation on a rectangle, in parallel, with quasi-optimal complexity: $O(N^2 \log N)$ operations where $N$ is the maximal total degrees of freedom in each dimension. When combined with fast Legendre transforms we can also solve nonlinear time-evolution partial differential equations in a quasi-optimal complexity of $O(N^2 \log^2 N)$ operations, which we demonstrate on the (viscid) Burgers' equation.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Some footnotes on Thurston's Notes ''The Geometry and Topology of 3-manifolds''
Authors:
Athanase Papadopoulos
Abstract:
These are a few historical remarks, addenda and references with comments on some topics discussed by Thurston in his notes ''The geometry and topology of three-manifolds''. The topics are mainly hyperbolic geometry, geometric structures, volumes of hyperbolic polyhedra and the so-called Koebe--Andreev--Thurston theorem. I discuss in particular some works of Lobachevsky, Andreev and Milnor, with…
▽ More
These are a few historical remarks, addenda and references with comments on some topics discussed by Thurston in his notes ''The geometry and topology of three-manifolds''. The topics are mainly hyperbolic geometry, geometric structures, volumes of hyperbolic polyhedra and the so-called Koebe--Andreev--Thurston theorem. I discuss in particular some works of Lobachevsky, Andreev and Milnor, with an excursus in Dante's cosmology, based on the insight of Pavel Florensky. The final version of this paper will appear as a chapter in the book ''In the tradition of Thurston. III'', ed. K. Ohshika and A. Papadopoulos, Springer Nature Switzerland, 2024.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Regulation of Disturbance Magnitude for Locational Frequency Stability Using Machine Learning
Authors:
Alinane B. Kilembe Panagiotis N. Papadopoulos
Abstract:
Power systems must maintain the frequency within acceptable limits when subjected to a disturbance. To ensure this, the most significant credible disturbance in the system is normally used as a benchmark to allocate the Primary Frequency Response (PFR) resources. However, the overall reduction of system inertia due to increased integration of Converter Interfaced Generation (CIG) implies that syst…
▽ More
Power systems must maintain the frequency within acceptable limits when subjected to a disturbance. To ensure this, the most significant credible disturbance in the system is normally used as a benchmark to allocate the Primary Frequency Response (PFR) resources. However, the overall reduction of system inertia due to increased integration of Converter Interfaced Generation (CIG) implies that systems with high penetration of CIG require more frequency control services, which are either costly or unavailable. In extreme cases of cost and scarcity, regulating the most significant disturbance magnitude can offer an efficient solution to this problem. This paper proposes a Machine Learning (ML) based technique to regulate the disturbance magnitude of the power system to comply with the frequency stability requirements i.e., Rate of Change of Frequency (RoCoF) and frequency nadir. Unlike traditional approaches which limit the disturbance magnitude by using the Centre Of Inertia (COI) because the locational frequency responses of the network are analytically hard to derive, the proposed method is able to capture such complexities using data-driven techniques. The method does not rely on the computationally intensive RMS-Time Domain Simulations (TDS), once trained offline. Consequently, by considering the locational frequency dynamics of the system, operators can identify operating conditions (OC) that fulfil frequency requirements at every monitored bus in the network, without the allocation of additional frequency control services such as inertia. The effectiveness of the proposed method is demonstrated on the modified IEEE 39 Bus network.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
A frame approach for equations involving the fractional Laplacian
Authors:
Ioannis P. A. Papadopoulos,
Timon S. Gutleb,
José A. Carrillo,
Sheehan Olver
Abstract:
Exceptionally elegant formulae exist for the fractional Laplacian operator applied to weighted classical orthogonal polynomials. We utilize these results to construct a solver, based on frame properties, for equations involving the fractional Laplacian of any power, $s \in (0,1)$, on an unbounded domain in one or two dimensions. The numerical method represents solutions in an expansion of weighted…
▽ More
Exceptionally elegant formulae exist for the fractional Laplacian operator applied to weighted classical orthogonal polynomials. We utilize these results to construct a solver, based on frame properties, for equations involving the fractional Laplacian of any power, $s \in (0,1)$, on an unbounded domain in one or two dimensions. The numerical method represents solutions in an expansion of weighted classical orthogonal polynomials as well as their unweighted counterparts with a specific extension to $\mathbb{R}^d$, $d \in \{1,2\}$. We examine the frame properties of this family of functions for the solution expansion and, under standard frame conditions, derive an a priori estimate for the stationary equation. Moreover, we prove one achieves the expected order of convergence when considering an implicit Euler discretization in time for the fractional heat equation. We apply our solver to numerous examples including the fractional heat equation (utilizing up to a $6^\text{th}$-order Runge--Kutta time discretization), a fractional heat equation with a time-dependent exponent $s(t)$, and a two-dimensional problem, observing spectral convergence in the spatial dimension for sufficiently smooth data.
△ Less
Submitted 29 February, 2024; v1 submitted 21 November, 2023;
originally announced November 2023.
-
Explicit fractional Laplacians and Riesz potentials of classical functions
Authors:
Timon S. Gutleb,
Ioannis P. A. Papadopoulos
Abstract:
We prove and collect numerous explicit and computable results for the fractional Laplacian $(-Δ)^s f(x)$ with $s>0$ as well as its whole space inverse, the Riesz potential, $(-Δ)^{-s}f(x)$ with $s\in\left(0,\frac{1}{2}\right)$. Choices of $f(x)$ include weighted classical orthogonal polynomials such as the Legendre, Chebyshev, Jacobi, Laguerre and Hermite polynomials, or first and second kind Bess…
▽ More
We prove and collect numerous explicit and computable results for the fractional Laplacian $(-Δ)^s f(x)$ with $s>0$ as well as its whole space inverse, the Riesz potential, $(-Δ)^{-s}f(x)$ with $s\in\left(0,\frac{1}{2}\right)$. Choices of $f(x)$ include weighted classical orthogonal polynomials such as the Legendre, Chebyshev, Jacobi, Laguerre and Hermite polynomials, or first and second kind Bessel functions with or without sinusoid weights. Some higher dimensional fractional Laplacians and Riesz potentials of generalized Zernike polynomials on the unit ball and its complement as well as whole space generalized Laguerre polynomials are also discussed. The aim of this paper is to aid in the continued development of numerical methods for problems involving the fractional Laplacian or the Riesz potential in bounded and unbounded domains -- both directly by providing useful basis or frame functions for spectral method approaches and indirectly by providing accessible ways to construct computable toy problems on which to test new numerical methods.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Generalised Indiscernibles, Dividing Lines, and Products of Structures
Authors:
Nadav Meir,
Aris Papadopoulos,
Pierre Touchard
Abstract:
Generalised indiscernibles highlight a strong link between model theory and structural Ramsey theory. In this paper, we use generalised indiscernibles as tools to prove results in both these areas. More precisely, we first show that a reduct of an ultrahomogenous $\aleph_0$-categorical structure which has higher arity than the original structure cannot be Ramsey. In particular, the only nontrivial…
▽ More
Generalised indiscernibles highlight a strong link between model theory and structural Ramsey theory. In this paper, we use generalised indiscernibles as tools to prove results in both these areas. More precisely, we first show that a reduct of an ultrahomogenous $\aleph_0$-categorical structure which has higher arity than the original structure cannot be Ramsey. In particular, the only nontrivial Ramsey reduct of the generically ordered random $k$-hypergraph is the linear order. We then turn our attention to model-theoretic dividing lines that are characterised by collapsing generalised indiscernibles, and prove, for these dividing lines, several transfer principles in (full and lexicographic) products of structures. As an application, we construct new algorithmically tame classes of graphs.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Pavel Florensky and his world
Authors:
Athanase Papadopoulos
Abstract:
This is an overview of the life and works of Pavel Florensky, an important and singular figure of the period rightly described as the \emph{Silver Age of Russian mathematics}, with a substantial overlap with the \emph{Silver Age of Russian literature, poetry and philosophy}. Florensky is certainly among the great scientists, philosophers, theologians and historians of art of the twentieth century,…
▽ More
This is an overview of the life and works of Pavel Florensky, an important and singular figure of the period rightly described as the \emph{Silver Age of Russian mathematics}, with a substantial overlap with the \emph{Silver Age of Russian literature, poetry and philosophy}. Florensky is certainly among the great scientists, philosophers, theologians and historians of art of the twentieth century, with a very atypical trajectory of life. He had a mathematical background and his work in philosophy, theology and history of art is imbued with mathematical ideas. Talking about his life and works is also an opportunity to reflect upon the Russian mathematical school of the first third of the twentieth century, its philosophical foundations and the conflicts it underwent. It is also an occasion for discussing poetry, literature and art during the Russian Silver Age. This article will appear as a chapter in the Handbook of the History and Philosophy of Mathematical Practice, edited by Bharath Sriraman, published by Springer, to appear in 2023.
△ Less
Submitted 19 September, 2023;
originally announced October 2023.
-
Building hierarchies of semiclassical Jacobi polynomials for spectral methods in annuli
Authors:
Ioannis P. A. Papadopoulos,
Timon S. Gutleb,
Richard M. Slevinsky,
Sheehan Olver
Abstract:
We discuss computing with hierarchies of families of (potentially weighted) semiclassical Jacobi polynomials which arise in the construction of multivariate orthogonal polynomials. In particular, we outline how to build connection and differentiation matrices with optimal complexity and compute analysis and synthesis operations in quasi-optimal complexity. We investigate a particular application o…
▽ More
We discuss computing with hierarchies of families of (potentially weighted) semiclassical Jacobi polynomials which arise in the construction of multivariate orthogonal polynomials. In particular, we outline how to build connection and differentiation matrices with optimal complexity and compute analysis and synthesis operations in quasi-optimal complexity. We investigate a particular application of these results to constructing orthogonal polynomials in annuli, called the generalised Zernike annular polynomials, which lead to sparse discretisations of partial differential equations. We compare against a scaled-and-shifted Chebyshev--Fourier series showing that in general the annular polynomials converge faster when approximating smooth functions and have better conditioning. We also construct a sparse spectral element method by combining disk and annulus cells, which is highly effective for solving PDEs with radially discontinuous variable coefficients and data.
△ Less
Submitted 10 July, 2024; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Café conversations: A tribute to Norbert A'Campo
Authors:
Athanase Papadopoulos
Abstract:
This is an intrusion in the life and the mathematics of Norbert A'Campo, intended to be a tribute to him and an acknowledgement of his impact on those who know him and his work. The final version of this paper appears in the book ``Essays in Geometry, Dedicated to Norbert A'Campo'', IRMA Lectures in Mathematics and Theoretical Physics, EMS Press, Berlin, 2023.
This is an intrusion in the life and the mathematics of Norbert A'Campo, intended to be a tribute to him and an acknowledgement of his impact on those who know him and his work. The final version of this paper appears in the book ``Essays in Geometry, Dedicated to Norbert A'Campo'', IRMA Lectures in Mathematics and Theoretical Physics, EMS Press, Berlin, 2023.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
On the Teichm{ü}ller space of acute triangles
Authors:
Hideki Miyachi,
Ken'Ichi Ohshika,
Athanase Papadopoulos
Abstract:
We continue the study of the analogue of Thurston's metric on the Teichm{ü}ller space of Euclidean triangle which was started by Saglam and Papadopoulos in [1].By direct calculation, we give explicit expressions of the distance function and the Finsler structure of the metric restricted to the subspace of acute triangles.We deduce from the form of the Finsler unit sphere a result on the infinitesi…
▽ More
We continue the study of the analogue of Thurston's metric on the Teichm{ü}ller space of Euclidean triangle which was started by Saglam and Papadopoulos in [1].By direct calculation, we give explicit expressions of the distance function and the Finsler structure of the metric restricted to the subspace of acute triangles.We deduce from the form of the Finsler unit sphere a result on the infinitesimal rigidity of the metric.We give a description of the maximal stretching loci for a family of extreme Lipschitz maps.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Food Image Classification and Segmentation with Attention-based Multiple Instance Learning
Authors:
Valasia Vlachopoulou,
Ioannis Sarafis,
Alexandros Papadopoulos
Abstract:
The demand for accurate food quantification has increased in the recent years, driven by the needs of applications in dietary monitoring. At the same time, computer vision approaches have exhibited great potential in automating tasks within the food domain. Traditionally, the development of machine learning models for these problems relies on training data sets with pixel-level class annotations.…
▽ More
The demand for accurate food quantification has increased in the recent years, driven by the needs of applications in dietary monitoring. At the same time, computer vision approaches have exhibited great potential in automating tasks within the food domain. Traditionally, the development of machine learning models for these problems relies on training data sets with pixel-level class annotations. However, this approach introduces challenges arising from data collection and ground truth generation that quickly become costly and error-prone since they must be performed in multiple settings and for thousands of classes. To overcome these challenges, the paper presents a weakly supervised methodology for training food image classification and semantic segmentation models without relying on pixel-level annotations. The proposed methodology is based on a multiple instance learning approach in combination with an attention-based mechanism. At test time, the models are used for classification and, concurrently, the attention mechanism generates semantic heat maps which are used for food class segmentation. In the paper, we conduct experiments on two meta-classes within the FoodSeg103 data set to verify the feasibility of the proposed approach and we explore the functioning properties of the attention mechanism.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
All These Approximate Ramsey Properties
Authors:
Nadav Meir,
Aris Papadopoulos
Abstract:
We consider finitary approximations of the (embedding) Ramsey property. Using a class of homogeneous reducts of random ordered hypergraphs, we prove that these properties form a strict hierarchy. We also show that every class of finite structures in which every structure of size at most 2 is a "Ramsey object" essentially consists of ordered structures, generalising a known result for countable Ram…
▽ More
We consider finitary approximations of the (embedding) Ramsey property. Using a class of homogeneous reducts of random ordered hypergraphs, we prove that these properties form a strict hierarchy. We also show that every class of finite structures in which every structure of size at most 2 is a "Ramsey object" essentially consists of ordered structures, generalising a known result for countable Ramsey classes.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Formulation and Implementation of Frequency-Dependent Linear Response Properties with Relativistic Coupled Cluster Theory for GPU-accelerated Computer Architectures
Authors:
Xiang Yuan,
Loic Halbert,
Johann Pototschnig,
Anastasios Papadopoulos,
Sonia Coriani,
Lucas Visscher,
Andre Severo Pereira Gomes
Abstract:
We present the development and implementation of the relativistic coupled cluster linear response theory (CC-LR) which allows the determination of molecular properties arising from time-dependent or time-independent electric, magnetic, or mixed electric-magnetic perturbations (within a common gauge origin), and take into account the finite lifetime of excited states via damped response theory. We…
▽ More
We present the development and implementation of the relativistic coupled cluster linear response theory (CC-LR) which allows the determination of molecular properties arising from time-dependent or time-independent electric, magnetic, or mixed electric-magnetic perturbations (within a common gauge origin), and take into account the finite lifetime of excited states via damped response theory. We showcase our implementation, which is capable to offload intensive tensor contractions onto graphical processing units (GPUs), in the calculation of: \textit{(a)} frequency-(in)dependent dipole-dipole polarizabilities of IIB atoms and selected diatomic molecules, with a emphasis on the calculation of valence absorption cross-sections for the I$_2$ molecule;\textit{(b)} indirect spin-spin coupling constants for benchmark systems such as the hydrogen halides (HX, X = F-I) as well the H$_2$Se-H$_2$O dimer as a prototypical system containing hydrogen bonds; and \textit{(c)} optical rotations at the sodium D line for hydrogen peroxide analogues (H$_{2}$Y$_{2}$, Y=O, S, Se, Te). Thanks to this implementation, we are able show the similarities in performance--but often the significant discrepancies--between CC-LR and approximate methods such as density functional theory (DFT). Comparing standard CC response theory with the equation of motion formalism, we find that, for valence properties such as polarizabilities, the two frameworks yield very similar results across the periodic table as found elsewhere in the literature; for properties that probe the core region such as spin-spin couplings, we show a progressive differentiation between the two as relativistic effects become more important. Our results also suggest that as one goes down the periodic table it may become increasingly difficult to measure pure optical rotation at the sodium D line, due to the appearance of absorbing states.
△ Less
Submitted 16 November, 2023; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Leveraging Unlabelled Data in Multiple-Instance Learning Problems for Improved Detection of Parkinsonian Tremor in Free-Living Conditions
Authors:
Alexandros Papadopoulos,
Anastasios Delopoulos
Abstract:
Data-driven approaches for remote detection of Parkinson's Disease and its motor symptoms have proliferated in recent years, owing to the potential clinical benefits of early diagnosis. The holy grail of such approaches is the free-living scenario, in which data are collected continuously and unobtrusively during every day life. However, obtaining fine-grained ground-truth and remaining unobtrusiv…
▽ More
Data-driven approaches for remote detection of Parkinson's Disease and its motor symptoms have proliferated in recent years, owing to the potential clinical benefits of early diagnosis. The holy grail of such approaches is the free-living scenario, in which data are collected continuously and unobtrusively during every day life. However, obtaining fine-grained ground-truth and remaining unobtrusive is a contradiction and therefore, the problem is usually addressed via multiple-instance learning. Yet for large scale studies, obtaining even the necessary coarse ground-truth is not trivial, as a complete neurological evaluation is required. In contrast, large scale collection of data without any ground-truth is much easier. Nevertheless, utilizing unlabelled data in a multiple-instance setting is not straightforward, as the topic has received very little research attention. Here we try to fill this gap by introducing a new method for combining semi-supervised with multiple-instance learning. Our approach builds on the Virtual Adversarial Training principle, a state-of-the-art approach for regular semi-supervised learning, which we adapt and modify appropriately for the multiple-instance setting. We first establish the validity of the proposed approach through proof-of-concept experiments on synthetic problems generated from two well-known benchmark datasets. We then move on to the actual task of detecting PD tremor from hand acceleration signals collected in-the-wild, but in the presence of additional completely unlabelled data. We show that by leveraging the unlabelled data of 454 subjects we can achieve large performance gains (up to 9% increase in F1-score) in per-subject tremor detection for a cohort of 45 subjects with known tremor ground-truth.
△ Less
Submitted 29 April, 2023;
originally announced May 2023.
-
Timelike Hilbert geometry of the spherical simplex
Authors:
Athanase Papadopoulos,
Sumio Yamada
Abstract:
We prove the following result on the timelike spherical Hilbert geometry of simplices: Let $Δ_2$ be a simplex on the 2-sphere and $\tildeΔ_2$ the antipodal simplex. We show that the timelike spherical Hilbert geometry associated with the pair $Δ_2, \tildeΔ_2$ is isometric to a union of six copies of vector spaces equipped with a timelike norm, isometrically and transitively acted upon by the gro…
▽ More
We prove the following result on the timelike spherical Hilbert geometry of simplices: Let $Δ_2$ be a simplex on the 2-sphere and $\tildeΔ_2$ the antipodal simplex. We show that the timelike spherical Hilbert geometry associated with the pair $Δ_2, \tildeΔ_2$ is isometric to a union of six copies of vector spaces equipped with a timelike norm, isometrically and transitively acted upon by the group $\mathbb{R}_{>0}^2 \times \mathbb{Z}_3\times \mathbb{Z}_2$. This is a timelike spherical analogue of a well-known result (due to Busemann) stating that the Hilbert metric of a Euclidean simplex is isometric to a metric induced by a normed vector space. At the same time, this gives a new example of timelike space.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Monadic NIP in monotone classes of relational structures
Authors:
Samuel Braunfeld,
Anuj Dawar,
Ioannis Eleftheriadis,
Aris Papadopoulos
Abstract:
We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere dense. This generalises to relational structures a result previously known for graphs and answers an open question posed by Adler and Adler (2014). The result is est…
▽ More
We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere dense. This generalises to relational structures a result previously known for graphs and answers an open question posed by Adler and Adler (2014). The result is established by the application of Ramsey-theoretic techniques and shows that the property of being NIP is highly robust for monotone classes. We also show that the model-checking problem for first-order logic is intractable on any class of monotone structures that is not (monadically) NIP. This is a contribution towards the conjecture of Bonnet et al. that the hereditary classes of structures admitting fixed-parameter tractable model-checking are precisely those that are monadically NIP.
△ Less
Submitted 11 February, 2023;
originally announced February 2023.
-
Some notes on the impact of Lagrange's memoir "On the construction of geographical maps"
Authors:
Athanase Papadopoulos
Abstract:
These are notes on the impact of Lagrange's memoir on the construction of geographical maps. We mention the relations of some ideas and questions introduced in this memoir with other notions that appeared later in the works of several mathematicians, including in particular Chebyshev (19th c.) and Darboux (19th-20th c.), two mathematicians who were particularly interested in geography.
These are notes on the impact of Lagrange's memoir on the construction of geographical maps. We mention the relations of some ideas and questions introduced in this memoir with other notions that appeared later in the works of several mathematicians, including in particular Chebyshev (19th c.) and Darboux (19th-20th c.), two mathematicians who were particularly interested in geography.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
A statistical analysis approach of plasma dynamics in gyrokinetic simulations of stellarator turbulence
Authors:
A. D. Papadopoulos,
J. Anderson,
E-J. Kim,
M. Mavridis,
H. Isliker
Abstract:
A geometrical method is used for the analysis of stochastic processes in plasma turbulence. Distances between thermodynamic states can be computed according the thermodynamic length methodology which allows the use of a Riemannian metric on the phase space. A geometric methodology is suitable in order to understand stochastic processes involved in e.g. order-disorder transition, where a sudden inc…
▽ More
A geometrical method is used for the analysis of stochastic processes in plasma turbulence. Distances between thermodynamic states can be computed according the thermodynamic length methodology which allows the use of a Riemannian metric on the phase space. A geometric methodology is suitable in order to understand stochastic processes involved in e.g. order-disorder transition, where a sudden increase in distance is expected. Gyrokinetic simulations of Ion-Temperature-Gradient (ITG) mode driven turbulence in the core-region of the stellarator W7-X, with realistic quasi-isodynamic topologies are considered. In gyrokinetic plasma turbulence simulations avalanches, e.g. of heat and particles, are often found and in this work a novel method for detection is investigated. This new method combines the Singular Spectrum Analysis algorithm and Hierarchical Clustering such that the gyrokinetic simulation time series is decomposed into a part of useful physical information and noise. The informative component of the time series is used for the calculation of the Hurst exponent, the Information Length and the Dynamic Time. Based on these measures the physical properties of the time series is revealed.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Practical and Structural Infinitary Expansions
Authors:
Nadav Meir,
Aris Papadopoulos
Abstract:
Given a structure $M$ we introduce infinitary logic expansions, which generalise the Morleyisation. We show that these expansions are tame, in the sense that they preserve and reflect both the Embedding Ramsey Property (ERP) and the Modelling Property (MP). We then turn our attention to Scow's theorem connecting generalised indiscernibles with Ramsey classes and show that by passing through infini…
▽ More
Given a structure $M$ we introduce infinitary logic expansions, which generalise the Morleyisation. We show that these expansions are tame, in the sense that they preserve and reflect both the Embedding Ramsey Property (ERP) and the Modelling Property (MP). We then turn our attention to Scow's theorem connecting generalised indiscernibles with Ramsey classes and show that by passing through infinitary logic, one can obtain a stronger result, which does not require any technical assumptions. We also show that every structure with ERP, not necessarily countable, admits a linear order which is a union of quantifier-free types, effectively proving that any Ramsey structure is ``essentially'' ordered. We also introduce a version of ERP for classes of structures which are not necessarily finite (the finitary-ERP) and prove a strengthening of the Kechris-Pestov-Todorcevic correspondence for this notion.
△ Less
Submitted 27 June, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
The Teichm{ü}ller-Randers metric
Authors:
Hideki Miyachi,
Ken'Ichi Ohshika,
Athanase Papadopoulos
Abstract:
In this paper, we introduce a new asymmetric weak metric on the Teichm{ü}ller space of a closed orientable surface with (possibly empty) punctures.This new metric, which we call the Teichm{ü}ller-Randers metric, is an asymmetric deformation of the Teichm{ü}ller metric, and is obtained by adding to the infinitesimal form of the Teichm{ü}ller metric a differential 1-form. We study basic properties…
▽ More
In this paper, we introduce a new asymmetric weak metric on the Teichm{ü}ller space of a closed orientable surface with (possibly empty) punctures.This new metric, which we call the Teichm{ü}ller-Randers metric, is an asymmetric deformation of the Teichm{ü}ller metric, and is obtained by adding to the infinitesimal form of the Teichm{ü}ller metric a differential 1-form. We study basic properties of the Teichm{ü}ller-Randers metric. In the case when the 1-form is exact, any Teichm{ü}ller geodesic between two points is a unique Teichm{ü}ller--Randers geodesic between them. A particularly interesting case is when the differential 1-form is (up to a factor) the differential of the logarithm of the extremal length function associated with a measured foliation. We show that in this case the Teichm{ü}ller-Randers metric is incomplete in any Teichm{ü}ller disc, and we give a characterisation of geodesic rays with bounded length in this disc in terms of their directing measured foliations.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Dynamic Programmable Wireless Environment with UAV-mounted Static Metasurfaces
Authors:
Prodromos-Vasileios Mekikis,
Dimitrios Tyrovolas,
Sotiris Tegos,
Alexandros Papadopoulos,
Alexandros Pitilakis,
Sotiris Ioannidis,
Ageliki Tsiolaridou,
Panagiotis Diamantoulakis,
Nikolaos Kantartzis,
George K. Karagiannidis,
Christos Liaskos
Abstract:
Reconfigurable intelligent surfaces (RISs) are artificial planar structures able to offer a unique way of manipulating propagated wireless signals. Commonly composed of a number of reconfigurable passive cell components and basic electronic circuits, RISs can almost freely perform a set of wave modification functionalities, in order to realize programmable wireless environments (PWEs). However, a…
▽ More
Reconfigurable intelligent surfaces (RISs) are artificial planar structures able to offer a unique way of manipulating propagated wireless signals. Commonly composed of a number of reconfigurable passive cell components and basic electronic circuits, RISs can almost freely perform a set of wave modification functionalities, in order to realize programmable wireless environments (PWEs). However, a more energy-efficient way to realize a PWE is through dynamically relocating static metasurfaces that perform a unique functionality. In this paper, we employ a UAV swarm to dynamically deploy a set of lowcost passive metasurfaces that are able to perform only one electromagnetic functionality, but with the benefit of requiring no power. Specifically, the UAV-mounted static metasurfaces are carefully positioned across the sky to create cascaded channels for improved user service and security hardening. The performance evaluation results, based on
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
Numerical analysis of the SIMP model for the topology optimization problem of minimizing compliance in linear elasticity
Authors:
Ioannis P. A. Papadopoulos
Abstract:
We study the finite element approximation of the solid isotropic material with penalization (SIMP) model for the topology optimization problem of minimizing the compliance of a linearly elastic structure. To ensure the existence of a local minimizer to the infinite-dimensional problem, we consider two popular regularization methods: $W^{1,p}$-type penalty methods and density filtering. Previous re…
▽ More
We study the finite element approximation of the solid isotropic material with penalization (SIMP) model for the topology optimization problem of minimizing the compliance of a linearly elastic structure. To ensure the existence of a local minimizer to the infinite-dimensional problem, we consider two popular regularization methods: $W^{1,p}$-type penalty methods and density filtering. Previous results prove weak(-*) convergence in the space of the material distribution to a local minimizer of the infinite-dimensional problem. Notably, convergence was not guaranteed to \emph{all} the isolated local minimizers. In this work, we show that, for every isolated local or global minimizer, there exists a sequence of finite element local minimizers that strongly converges to the minimizer in the appropriate space. As a by-product, this ensures that there exists a sequence of unfiltered discretized material distributions that does not exhibit checkerboarding.
△ Less
Submitted 16 November, 2023; v1 submitted 8 November, 2022;
originally announced November 2022.
-
An Open Platform for Simulating the Physical Layer of 6G Communication Systems with Multiple Intelligent Surfaces
Authors:
Alexandros Papadopoulos,
Antonios Lalas,
Konstantinos Votis,
Dimitrios Tyrovolas,
George K. Karagiannidis,
Sotiris Ioannidis,
Christos Liaskos
Abstract:
Reconfigurable Intelligent Surfaces (RIS) constitute a promising technology that could fulfill the extreme performance and capacity needs of the upcoming 6G wireless networks, by offering software-defined control over wireless propagation phenomena. Despite the existence of many theoretical models describing various aspects of RIS from the signal processing perspective (e.g., channel fading models…
▽ More
Reconfigurable Intelligent Surfaces (RIS) constitute a promising technology that could fulfill the extreme performance and capacity needs of the upcoming 6G wireless networks, by offering software-defined control over wireless propagation phenomena. Despite the existence of many theoretical models describing various aspects of RIS from the signal processing perspective (e.g., channel fading models), there is no open platform to simulate and study their actual physical-layer behavior, especially in the multi-RIS case. In this paper, we develop an open simulation platform, aimed at modeling the physical-layer electromagnetic coupling and propagation between RIS pairs. We present the platform by initially designing a basic unit cell, and then proceeding to progressively model and simulate multiple and larger RISs. The platform can be used for producing verifiable stochastic models for wireless communication in multi-RIS deployments, such as vehicle-to-everything (V2X) communications in autonomous vehicles and cybersecurity schemes, while its code is freely available to the public.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
On Delisle's geographical projection
Authors:
Charalampos Charitos,
Athanase Papadopoulos
Abstract:
Joseph-Nicolas Delisle was one of the most important scientists at the Saint Petersburg Academy of Sciences during the first period when Euler was working there. Euler was helping him in his work on astronomy and in geography. In this paper, Delisle's geographical projection is presented and Euler's study of this projection isexplained, highlighting some important mathematical points, in particul…
▽ More
Joseph-Nicolas Delisle was one of the most important scientists at the Saint Petersburg Academy of Sciences during the first period when Euler was working there. Euler was helping him in his work on astronomy and in geography. In this paper, Delisle's geographical projection is presented and Euler's study of this projection isexplained, highlighting some important mathematical points, in particular on the metric geometry of surfaces.The final version of this paper will appear in the book \emph{Mathematical Geography in the Eighteenth Century: Euler, Lagrange and Lambert}, ed. Renzo Caddeo and Athanase Papadopoulos, Springer International Publishing, 2022.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
A sparse spectral method for fractional differential equations in one-spatial dimension
Authors:
Ioannis P. A. Papadopoulos,
Sheehan Olver
Abstract:
We develop a sparse spectral method for a class of fractional differential equations, posed on $\mathbb{R}$, in one dimension. These equations can include sqrt-Laplacian, Hilbert, derivative and identity terms. The numerical method utilizes a basis consisting of weighted Chebyshev polynomials of the second kind in conjunction with their Hilbert transforms. The former functions are supported on…
▽ More
We develop a sparse spectral method for a class of fractional differential equations, posed on $\mathbb{R}$, in one dimension. These equations can include sqrt-Laplacian, Hilbert, derivative and identity terms. The numerical method utilizes a basis consisting of weighted Chebyshev polynomials of the second kind in conjunction with their Hilbert transforms. The former functions are supported on $[-1,1]$ whereas the latter have global support. The global approximation space can contain different affine transformations of the basis, mapping $[-1,1]$ to other intervals. Remarkably, not only are the induced linear systems sparse, but the operator decouples across the different affine transformations. Hence, the solve reduces to solving $K$ independent sparse linear systems of size $\mathcal{O}(n)\times \mathcal{O}(n)$, with $\mathcal{O}(n)$ nonzero entries, where $K$ is the number of different intervals and $n$ is the highest polynomial degree contained in the sum space. This results in an $\mathcal{O}(n)$ complexity solve. Applications to fractional heat and wave equations are considered.
△ Less
Submitted 11 June, 2024; v1 submitted 15 October, 2022;
originally announced October 2022.
-
Clairaut, Euler and the figure of the Earth
Authors:
Athanase Papadopoulos
Abstract:
The sphericity of the form of the Earth was questioned around the year 1687, primarily, by Isaac Newton who deduced from his theory of universal gravitation that the Earth has the form of a spheroid flattened at the poles and elongated at the equator. In France, somepreeminent geographers were not convinced by Newton's arguments, and about the same period, based on empirical measurements, they emi…
▽ More
The sphericity of the form of the Earth was questioned around the year 1687, primarily, by Isaac Newton who deduced from his theory of universal gravitation that the Earth has the form of a spheroid flattened at the poles and elongated at the equator. In France, somepreeminent geographers were not convinced by Newton's arguments, and about the same period, based on empirical measurements, they emitted another theory, claiming that on the contrary, the Earth has the form of a spheroid flattened at the equator and elongated at the poles. To find the real figure of the Earth became one of the major questions that were investigated by geographers, astronomers, mathematicians and other scientists in the eighteenth century, and the work done around this question had an impact on the development of all these fields. In this paper, we review the work of the eighteenth-century French mathematician, astronomer and geographer Alexis-Claude Clairaut related to the question of the figure of the Earth. We report on the relation between this work and that of Leonhard Euler. At the same time, we comment on the impact of the question of the figure of the Earth on mathematics, astronomy and hydrostatics. Finally, we review some later mathematical developments that are due to various authors that were motivated by this question. It is interesting to see how a question on geography had such an impact on the theoretical sciences. The final version of this paper will appear in Ganita Bh{ā}r{ā}t{ī}, (Indian Mathematics) the Bulletin of the Indian Society for History of Mathematics.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
Ren{é} Thom: From mathematics to philosophy
Authors:
Athanase Papadopoulos
Abstract:
I discuss Ren{é} Thom's approach to philosophy based on his mathematical background. At the same time, I will highlight his connection with Aristotle, his criticism of the modern view of science as a predictive process, his ideas on mathematical education, his position with respect to the French school of mathematics that was dominent in his time and his relationship with the philosophical commu…
▽ More
I discuss Ren{é} Thom's approach to philosophy based on his mathematical background. At the same time, I will highlight his connection with Aristotle, his criticism of the modern view of science as a predictive process, his ideas on mathematical education, his position with respect to the French school of mathematics that was dominent in his time and his relationship with the philosophical community. I will also touch upon the connections between Thom's ideas and those of Leibniz, Riemann, Freud and others. The last version of this paper will appear as a chapter in the book Handbook of the History and Philosophy of Mathematical Practice (ed. Bharath Sriraman), Springer.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
The SPEC-RG Reference Architecture for the Compute Continuum
Authors:
Matthijs Jansen,
Auday Al-Dulaimy,
Alessandro V. Papadopoulos,
Animesh Trivedi,
Alexandru Iosup
Abstract:
As the next generation of diverse workloads like autonomous driving and augmented/virtual reality evolves, computation is shifting from cloud-based services to the edge, leading to the emergence of a cloud-edge compute continuum. This continuum promises a wide spectrum of deployment opportunities for workloads that can leverage the strengths of cloud (scalable infrastructure, high reliability) and…
▽ More
As the next generation of diverse workloads like autonomous driving and augmented/virtual reality evolves, computation is shifting from cloud-based services to the edge, leading to the emergence of a cloud-edge compute continuum. This continuum promises a wide spectrum of deployment opportunities for workloads that can leverage the strengths of cloud (scalable infrastructure, high reliability) and edge (energy efficient, low latencies). Despite its promises, the continuum has only been studied in silos of various computing models, thus lacking strong end-to-end theoretical and engineering foundations for computing and resource management across the continuum. Consequently, developers resort to ad hoc approaches to reason about performance and resource utilization of workloads in the continuum. In this work, we conduct a first-of-its-kind systematic study of various computing models, identify salient properties, and make a case to unify them under a compute continuum reference architecture. This architecture provides an end-to-end analysis framework for developers to reason about resource management, workload distribution, and performance analysis. We demonstrate the utility of the reference architecture by analyzing two popular continuum workloads, deep learning and industrial IoT. We have developed an accompanying deployment and benchmarking framework and first-order analytical model for quantitative reasoning of continuum workloads. The framework is open-sourced and available at https://github.com/atlarge-research/continuum.
△ Less
Submitted 2 March, 2023; v1 submitted 8 July, 2022;
originally announced July 2022.
-
Dennis Sullivan: Mathematics and physics; manifold and space
Authors:
Athanase Papadopoulos
Abstract:
This article is a personal overview of the work of Dennis Sullivan who was awarded the 2022 Abel prize. It was commissioned by the Bulletin of the (Indian) Mathematics Consortium, and it will appear there.
This article is a personal overview of the work of Dennis Sullivan who was awarded the 2022 Abel prize. It was commissioned by the Bulletin of the (Indian) Mathematics Consortium, and it will appear there.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Implementation Technologies of an Advanced Cloud-based System for Distribution Operations
Authors:
Sotiris P. Gayialis,
Evripidis P. Kechagias,
Angeliki Deligianni,
Grigorios D. Konstantakopoulos,
Georgios A. Papadopoulos
Abstract:
Today's era is characterized as the "digital transformation era". Digital processes and information systems are used in every aspect of social and business activity. The use of information technology over the internet is so extensive that we interact with it daily without even recognizing it. The technological advances can offer a plethora of improvements for the supply chain processes, especially…
▽ More
Today's era is characterized as the "digital transformation era". Digital processes and information systems are used in every aspect of social and business activity. The use of information technology over the internet is so extensive that we interact with it daily without even recognizing it. The technological advances can offer a plethora of improvements for the supply chain processes, especially in the field of distribution planning and execution. The scope of this paper is to present the technological content of an advanced routing and scheduling system for transportation and delivery of goods. The system focuses on the routing and scheduling problem in urban areas, as city logistics have become a complex environment for companies to deliver their goods. The presented system deals with both static and dynamic routing and scheduling problems. More specifically, the system can create initial routing plans based on orders, available vehicles, time windows, and traffic forecasting data. Afterwards, during the execution of the plans, the system can monitor the fleet, detect deviations from the original plans, and finally, perform rerouting operations when needed. After a brief presentation of the system's modules and functionality, the paper describes thoroughly the technologies used to develop the system. The technological elements of the system are integrated into a cloud environment offering a system that is easy to maintain and can effectively support logistics companies' distribution activities. The system is provided as a Software as a Service with data being maintained on a central host and processed on the cloud. Therefore, logistics companies that decide to implement it can achieve faster, more accurate and more cost-efficient distribution activities while ensuring better customer service.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
Preconditioners for computing multiple solutions in three-dimensional fluid topology optimization
Authors:
Ioannis P. A. Papadopoulos,
Patrick E. Farrell
Abstract:
Topology optimization problems generally support multiple local minima, and real-world applications are typically three-dimensional. In previous work [I. P. A. Papadopoulos, P. E. Farrell, and T. M. Surowiec, Computing multiple solutions of topology optimization problems, SIAM Journal on Scientific Computing, (2021)], the authors developed the deflated barrier method, an algorithm that can systema…
▽ More
Topology optimization problems generally support multiple local minima, and real-world applications are typically three-dimensional. In previous work [I. P. A. Papadopoulos, P. E. Farrell, and T. M. Surowiec, Computing multiple solutions of topology optimization problems, SIAM Journal on Scientific Computing, (2021)], the authors developed the deflated barrier method, an algorithm that can systematically compute multiple solutions of topology optimization problems. In this work we develop preconditioners for the linear systems arising in the application of this method to Stokes flow, making it practical for use in three dimensions. In particular, we develop a nested block preconditioning approach which reduces the linear systems to solving two symmetric positive-definite matrices and an augmented momentum block. An augmented Lagrangian term is used to control the innermost Schur complement and we apply a geometric multigrid method with a kernel-capturing relaxation method for the augmented momentum block. We present multiple solutions in three-dimensional examples computed using the proposed iterative solver.
△ Less
Submitted 22 November, 2022; v1 submitted 16 February, 2022;
originally announced February 2022.
-
Strong europium luminescence in lanthan-euripium-erbium-calcium-vanadate nanocrystals, the result of codoping optimization
Authors:
O. Chukova,
S. A. Nedilko,
S. G. Nedilko,
T. Voitenko,
A. Slepets,
M. Androulidaki,
A. Papadopoulos,
E. Stratakis,
W. Paszkowicz
Abstract:
Co-doped with calcium, europium and erbium ions lanthanum vanadate crystalline nanoparticles are synthesized and investigated with a goal to clarify the mechanisms of calcium and erbium impurities effects on europium ions luminescence and to find compositions with enhanced luminescence intensity. The XRD analysis reveals dependence of crystal structure on dopants concentration: monoclinic crystal…
▽ More
Co-doped with calcium, europium and erbium ions lanthanum vanadate crystalline nanoparticles are synthesized and investigated with a goal to clarify the mechanisms of calcium and erbium impurities effects on europium ions luminescence and to find compositions with enhanced luminescence intensity. The XRD analysis reveals dependence of crystal structure on dopants concentration: monoclinic crystal phase is observed for low dopant concentrations and content of tetragonal crystal phase increases with dopant concentrations increase. The SEM investigation reveals formation of nanoparticles with two types of shapes. Photoluminescence spectra consist of lines caused by inner transitions in the erbium and europium ions. It has been shown that dependence of the europium ions luminescence intensity on the calcium and erbium concentrations is caused by cumulative effects of dopants on crystal lattice structure, on defects in the first coordination sphere of the europium ions and on efficiency of excitation energy transfer.
△ Less
Submitted 28 January, 2022;
originally announced February 2022.
-
Multiple Similarity Drug-Target Interaction Prediction with Random Walks and Matrix Factorization
Authors:
Bin Liu,
Dimitrios Papadopoulos,
Fragkiskos D. Malliaros,
Grigorios Tsoumakas,
Apostolos N. Papadopoulos
Abstract:
The discovery of drug-target interactions (DTIs) is a very promising area of research with great potential. The accurate identification of reliable interactions among drugs and proteins via computational methods, which typically leverage heterogeneous information retrieved from diverse data sources, can boost the development of effective pharmaceuticals. Although random walk and matrix factorizati…
▽ More
The discovery of drug-target interactions (DTIs) is a very promising area of research with great potential. The accurate identification of reliable interactions among drugs and proteins via computational methods, which typically leverage heterogeneous information retrieved from diverse data sources, can boost the development of effective pharmaceuticals. Although random walk and matrix factorization techniques are widely used in DTI prediction, they have several limitations. Random walk-based embedding generation is usually conducted in an unsupervised manner, while the linear similarity combination in matrix factorization distorts individual insights offered by different views. To tackle these issues, we take a multi-layered network approach to handle diverse drug and target similarities, and propose a novel optimization framework, called Multiple similarity DeepWalk-based Matrix Factorization (MDMF), for DTI prediction. The framework unifies embedding generation and interaction prediction, learning vector representations of drugs and targets that not only retain higher-order proximity across all hyper-layers and layer-specific local invariance, but also approximate the interactions with their inner product. Furthermore, we develop an ensemble method (MDMF2A) that integrates two instantiations of the MDMF model, optimizing the area under the precision-recall curve (AUPR) and the area under the receiver operating characteristic curve (AUC) respectively. The empirical study on real-world DTI datasets shows that our method achieves statistically significant improvement over current state-of-the-art approaches in four different settings. Moreover, the validation of highly ranked non-interacting pairs also demonstrates the potential of MDMF2A to discover novel DTIs.
△ Less
Submitted 8 August, 2022; v1 submitted 24 January, 2022;
originally announced January 2022.
-
Applying a System Dynamics Approach for the Pharmaceutical Industry: Simulation and Optimization of the Quality Control Process
Authors:
Evripidis P. Kechagias,
Dimitrios M. Miloulis,
Georgios Chatzistelios,
Sotiris P. Gayialis,
Georgios A. Papadopoulos
Abstract:
As countries interact more and more, technology gains a decisive role in facilitating today's increased need for interconnection. At the same time, systems, becoming more advanced as technology progresses, feed each other and can produce highly complex and unpredictable results. However, with this ever-increasing need for interconnected operations, complex problems arise that need to be effectivel…
▽ More
As countries interact more and more, technology gains a decisive role in facilitating today's increased need for interconnection. At the same time, systems, becoming more advanced as technology progresses, feed each other and can produce highly complex and unpredictable results. However, with this ever-increasing need for interconnected operations, complex problems arise that need to be effectively tackled. This need extends far beyond the scientific and mechanical fields, covering every aspect of life. Systemic Thinking Philosophy and the System Dynamics methodology now seem to be more relevant than ever and their practical implementation in real-life industrial cases has started to become a trend. Companies that decide to implement such approaches can achieve significant improvements to the effectiveness of their operations and gain a competitive advantage. This research, influenced by the Systemic Thinking Philosophy, applies a System Dynamics approach in practice by improving the quality control process of a pharmaceutical company. The process is modeled, simulated, analyzed, and improvements are performed to achieve more effective and efficient operations. The results show that all these steps led to a successful identification and optimization of the critical factors, and a significant process improvement was achieved.
△ Less
Submitted 11 December, 2021;
originally announced December 2021.
-
The infinitesimal and global Thurston geometry of Teichm{ü}ller space
Authors:
Yi Huang,
Ken'Ichi Ohshika,
Athanase Papadopoulos
Abstract:
We undertake a systematic study of the infinitesimal geometry of the Thurston metric, showing that the topology, convex geometry and metric geometry of the tangent and cotangent spheres based at any marked hyperbolic surface representing a point in Teichm{ü}ller space can recover the marking and geometry of this marked surface. We then translate the results concerning the infinitesimal structures…
▽ More
We undertake a systematic study of the infinitesimal geometry of the Thurston metric, showing that the topology, convex geometry and metric geometry of the tangent and cotangent spheres based at any marked hyperbolic surface representing a point in Teichm{ü}ller space can recover the marking and geometry of this marked surface. We then translate the results concerning the infinitesimal structures to global geometric statements for the Thurston metric, most notably deriving rigidity statements for the Thurston metric analogous to the celebrated Royden theorem.
△ Less
Submitted 9 January, 2024; v1 submitted 26 November, 2021;
originally announced November 2021.
-
STRETCH: Virtual Shared-Nothing Parallelism for Scalable and Elastic Stream Processing
Authors:
Vincenzo Gulisano,
Hannaneh Najdataei,
Yiannis Nikolakopoulos,
Alessandro V. Papadopoulos,
Marina Papatriantafilou,
Philippas Tsigas
Abstract:
Stream processing applications extract value from raw data through Directed Acyclic Graphs of data analysis tasks. Shared-nothing (SN) parallelism is the de-facto standard to scale stream processing applications. Given an application, SN parallelism instantiates several copies of each analysis task, making each instance responsible for a dedicated portion of the overall analysis, and relies on ded…
▽ More
Stream processing applications extract value from raw data through Directed Acyclic Graphs of data analysis tasks. Shared-nothing (SN) parallelism is the de-facto standard to scale stream processing applications. Given an application, SN parallelism instantiates several copies of each analysis task, making each instance responsible for a dedicated portion of the overall analysis, and relies on dedicated queues to exchange data among connected instances. On the one hand, SN parallelism can scale the execution of applications both up and out since threads can run task instances within and across processes/nodes. On the other hand, its lack of sharing can cause unnecessary overheads and hinder the scaling up when threads operate on data that could be jointly accessed in shared memory. This trade-off motivated us in studying a way for stream processing applications to leverage shared memory and boost the scale up (before the scale out) while adhering to the widely-adopted and SN-based APIs for stream processing applications.
We introduce STRETCH, a framework that maximizes the scale up and offers instantaneous elastic reconfigurations (without state transfer) for stream processing applications. We propose the concept of Virtual Shared-Nothing (VSN) parallelism and elasticity and provide formal definitions and correctness proofs for the semantics of the analysis tasks supported by STRETCH, showing they extend the ones found in common Stream Processing Engines. We also provide a fully implemented prototype and show that STRETCH's performance exceeds that of state-of-the-art frameworks such as Apache Flink and offers, to the best of our knowledge, unprecedented ultra-fast reconfigurations, taking less than 40 ms even when provisioning tens of new task instances.
△ Less
Submitted 29 April, 2022; v1 submitted 25 November, 2021;
originally announced November 2021.
-
Mathematics and map drawing in the eighteenth century
Authors:
Athanase Papadopoulos
Abstract:
We consider the mathematical theory of geographical maps, with an emphasis on the eighteenth century works of Euler, Lagrange and Delisle. This period is characterized by the frequent use of maps that are no more obtained by the stereographic projection or its variations, but by much more general maps from the sphere to the plane. More especially, the characteristics of the desired geographical…
▽ More
We consider the mathematical theory of geographical maps, with an emphasis on the eighteenth century works of Euler, Lagrange and Delisle. This period is characterized by the frequent use of maps that are no more obtained by the stereographic projection or its variations, but by much more general maps from the sphere to the plane. More especially, the characteristics of the desired geographical maps were formulated in terms of an appropriate choice of the images of the parallels and meridians, and the mathematical properties required by the map concern the distortion of the maps restricted to these lines. The paper also contains some notes on the general use of mathematical methods in cartography in Greek Antiquity and in the modern period, and on the mutual influence of the two fields, mathematics and geography. The final version of this paper will appear in Ganita Bharati (Indian mathematics).
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
Authors:
Ricardo Caldas,
Razan Ghzouli,
Alessandro V. Papadopoulos,
Patrizio Pelliccione,
Danny Weyns,
Thorsten Berger
Abstract:
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are verified against models of the system. On the other hand, control theory (CT) provides a well-established foundation for designing feedback loop systems and providing guarantees for essential properties, such as stabili…
▽ More
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are verified against models of the system. On the other hand, control theory (CT) provides a well-established foundation for designing feedback loop systems and providing guarantees for essential properties, such as stability, settling time, and steady state error. Currently, it is an open question whether and how traditional SE approaches to self-adaptation consider properties from CT. Answering this question is challenging given the principle differences in representing properties in both fields. In this paper, we take a first step to answer this question. We follow a bottom up approach where we specify a control design (in Simulink) for a case inspired by Scuderia Ferrari (F1) and provide evidence for stability and safety. The design is then transferred into code (in C) that is further optimized. Next, we define properties that enable verifying whether the control properties still hold at code level. Then, we consolidate the solution by mapping the properties in both worlds using specification patterns as common language and we verify the correctness of this mapping. The mapping offers a reusable artifact to solve similar problems. Finally, we outline opportunities for future work, particularly to refine and extend the mapping and investigate how it can improve the engineering of self-adaptive systems for both SE and CT engineers.
△ Less
Submitted 23 May, 2022; v1 submitted 18 August, 2021;
originally announced August 2021.
-
Numerical analysis of a discontinuous Galerkin method for the Borrvall-Petersson topology optimization problem
Authors:
Ioannis P. A. Papadopoulos
Abstract:
Divergence-free discontinuous Galerkin (DG) finite element methods offer a suitable discretization for the pointwise divergence-free numerical solution of Borrvall and Petersson's model for the topology optimization of fluids in Stokes flow [Topology optimization of fluids in Stokes flow, International Journal for Numerical Methods in Fluids 41 (1) (2003) 77--107]. The convergence results currentl…
▽ More
Divergence-free discontinuous Galerkin (DG) finite element methods offer a suitable discretization for the pointwise divergence-free numerical solution of Borrvall and Petersson's model for the topology optimization of fluids in Stokes flow [Topology optimization of fluids in Stokes flow, International Journal for Numerical Methods in Fluids 41 (1) (2003) 77--107]. The convergence results currently found in literature only consider H^1-conforming discretizations for the velocity. In this work, we extend the numerical analysis of Papadopoulos and Suli to divergence-free DG methods with an interior penalty [I. P. A. Papadopoulos and E. Suli, Numerical analysis of a topology optimization problem for Stokes flow, arXiv preprint arXiv:2102.10408, (2021)]. We show that, given an isolated minimizer of the infinite-dimensional problem, there exists a sequence of DG finite element solutions, satisfying necessary first-order optimality conditions, that strongly converges to the minimizer.
△ Less
Submitted 20 February, 2022; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Vladimir Turaev, friend and colleague
Authors:
Athanase Papadopoulos
Abstract:
This is a biography and a report on the work of Vladimir Turaev. Using fundamental techniques that are rooted in classical topology, Turaev introduced new ideas and tools that transformed the field of knots and links and invariants of 3-manifolds. He is one of the main founders of the new topic called quantum topology. In surveying Turaev's work, this article will give at the same time an overview…
▽ More
This is a biography and a report on the work of Vladimir Turaev. Using fundamental techniques that are rooted in classical topology, Turaev introduced new ideas and tools that transformed the field of knots and links and invariants of 3-manifolds. He is one of the main founders of the new topic called quantum topology. In surveying Turaev's work, this article will give at the same time an overview of an important part of the intense activity in low-dimensional topology that took place over the last 45 years, with its connections with mathematical physics.
△ Less
Submitted 13 July, 2021;
originally announced July 2021.
-
Minimal stretch maps between Euclidean triangle?
Authors:
Ismail Saglam,
Athanase Papadopoulos
Abstract:
Given two triangles whose angles are all acute, we find a homeomorphism with the smallest Lipschitz constant between them and we give a formula for the Lipschitz constant of this map. We show that on the set of pairs of acute triangles with fixed area, the function which assigns the logarithm of the smallest Lipschitz constant of Lipschitz maps between them is a symmetric metric. We show that this…
▽ More
Given two triangles whose angles are all acute, we find a homeomorphism with the smallest Lipschitz constant between them and we give a formula for the Lipschitz constant of this map. We show that on the set of pairs of acute triangles with fixed area, the function which assigns the logarithm of the smallest Lipschitz constant of Lipschitz maps between them is a symmetric metric. We show that this metric is Finsler, we give a necessary and sufficient condition for a path in this metric space to be geodesic and we determine the isometry group of this metric space. This study is motivated by Thurston's asymmetric metric on the Teichm{ü}ller space of a hyperbolic surface, and the results in this paper constitute an analysis of a basic Euclidean analogue of Thurston's hyperbolic theory. Many interesting questions in the Euclidean setting deserve further attention.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.