Showing 1–50 of 58 results for author: Papadopoulos, K

HAL-NeRF: High Accuracy Localization Leveraging Neural Radiance Fields

Authors: Asterios Reppas, Grigorios-Aris Cheimariotis, Panos K. Papadopoulos, Panagiotis Frasiolas, Dimitrios Zarpalas

Abstract: Precise camera localization is a critical task in XR applications and robotics. Using only the camera captures as input to a system is an inexpensive option that enables localization in large indoor and outdoor environments, but it presents challenges in achieving high accuracy. Specifically, camera relocalization methods, such as Absolute Pose Regression (APR), can localize cameras with a median… ▽ More Precise camera localization is a critical task in XR applications and robotics. Using only the camera captures as input to a system is an inexpensive option that enables localization in large indoor and outdoor environments, but it presents challenges in achieving high accuracy. Specifically, camera relocalization methods, such as Absolute Pose Regression (APR), can localize cameras with a median translation error of more than $0.5m$ in outdoor scenes. This paper presents HAL-NeRF, a high-accuracy localization method that combines a CNN pose regressor with a refinement module based on a Monte Carlo particle filter. The Nerfacto model, an implementation of Neural Radiance Fields (NeRFs), is used to augment the data for training the pose regressor and to measure photometric loss in the particle filter refinement module. HAL-NeRF leverages Nerfacto's ability to synthesize high-quality novel views, significantly improving the performance of the localization pipeline. HAL-NeRF achieves state-of-the-art results that are conventionally measured as the average of the median per scene errors. The translation error was $0.025m$ and the rotation error was $0.59$ degrees and 0.04m and 0.58 degrees on the 7-Scenes dataset and Cambridge Landmarks datasets respectively, with the trade-off of increased computational time. This work highlights the potential of combining APR with NeRF-based refinement techniques to advance monocular camera relocalization accuracy. △ Less

Submitted 11 April, 2025; originally announced April 2025.

Comments: 8 pages, 4 figures

Global Hyperbolicity and Self-adjointness

Authors: Markus B. Fröb, Albert Much, Kyriakos Papadopoulos

Abstract: We show that the spatial part of the Klein-Gordon operator is an essentially self-adjoint operator on the Cauchy surfaces of various classes of spacetimes. Our proof employs the intricate connection between global hyperbolicity and geodesically complete Riemannian surfaces, and concludes by proving global hyperbolicity of the spacetimes under study. We show that the spatial part of the Klein-Gordon operator is an essentially self-adjoint operator on the Cauchy surfaces of various classes of spacetimes. Our proof employs the intricate connection between global hyperbolicity and geodesically complete Riemannian surfaces, and concludes by proving global hyperbolicity of the spacetimes under study. △ Less

Submitted 16 May, 2025; v1 submitted 7 October, 2024; originally announced October 2024.

Comments: 18 pages, matches published version

Journal ref: J. Geom. Phys. 214 (2025) 105505

Evaluating the Effectiveness of Microarchitectural Hardware Fault Detection for Application-Specific Requirements

Authors: Konstantinos-Nikolaos Papadopoulos, Christina Giannoula, Nikolaos-Charalampos Papadopoulos, Nektarios Koziris, José M. G. Merayo, Dionisios N. Pnevmatikatos

Abstract: Reliability is necessary in safety-critical applications spanning numerous domains. Conventional hardware-based fault tolerance techniques, such as component redundancy, ensure reliability, typically at the expense of significantly increased power consumption, and almost double (or more) hardware area. To mitigate these costs, microarchitectural fault tolerance methods try to lower overheads by le… ▽ More Reliability is necessary in safety-critical applications spanning numerous domains. Conventional hardware-based fault tolerance techniques, such as component redundancy, ensure reliability, typically at the expense of significantly increased power consumption, and almost double (or more) hardware area. To mitigate these costs, microarchitectural fault tolerance methods try to lower overheads by leveraging microarchitectural insights, but prior evaluations focus primarily on only application performance. As different safety-critical applications prioritize different requirements beyond reliability, evaluating only limited metrics cannot guarantee that microarchitectural methods are practical and usable for all different application scenarios. To this end, in this work, we extensively characterize and compare three fault detection methods, each representing a different major fault detection category, considering real requirements from diverse application settings and employing various important metrics such as design area, power, performance overheads and latency in detection. Through this analysis, we provide important insights which may guide designers in applying the most effective fault tolerance method tailored to specific needs, advancing the overall understanding and development of robust computing systems. For this, we study three methods for hardware error detection within a processor, i.e., (i) Dual Modular Redundancy (DMR) as a conventional method, and (ii) Redundant Multithreading (R-SMT) and (iii) Parallel Error Detection (ParDet) as microarchitecture-level methods. We demonstrate that microarchitectural fault tolerance, i.e., R-SMT and ParDet, is comparably robust compared to conventional approaches (DMR), however, still exhibits unappealing trade-offs for specific real-world use cases, thus precluding their usage in certain application scenarios. △ Less

Submitted 11 August, 2024; originally announced August 2024.

Comparing ImageNet Pre-training with Digital Pathology Foundation Models for Whole Slide Image-Based Survival Analysis

Authors: Kleanthis Marios Papadopoulos, Tania Stathaki

Abstract: The abundance of information present in Whole Slide Images (WSIs) renders them an essential tool for survival analysis. Several Multiple Instance Learning frameworks proposed for this task utilize a ResNet50 backbone pre-trained on natural images. By leveraging recenetly released histopathological foundation models such as UNI and Hibou, the predictive prowess of existing MIL networks can be enhan… ▽ More The abundance of information present in Whole Slide Images (WSIs) renders them an essential tool for survival analysis. Several Multiple Instance Learning frameworks proposed for this task utilize a ResNet50 backbone pre-trained on natural images. By leveraging recenetly released histopathological foundation models such as UNI and Hibou, the predictive prowess of existing MIL networks can be enhanced. Furthermore, deploying an ensemble of digital pathology foundation models yields higher baseline accuracy, although the benefits appear to diminish with more complex MIL architectures. Our code will be made publicly available upon acceptance. △ Less

Submitted 6 December, 2024; v1 submitted 20 May, 2024; originally announced May 2024.

Deterministic and Probabilistic P4-Enabled Lightweight In-Band Network Telemetry

Authors: Konstantinos Papadopoulos, Panagiotis Papadimitriou, Chrysa Papagianni

Abstract: In-band network telemetry (INT), empowered by programmable dataplanes such as P4, comprises a viable approach to network monitoring and telemetry analysis. However, P4-INT as well as other existing frameworks for INT yield a substantial transmission overhead, which grows linearly with the number of hops and the number of telemetry values. To address this issue, we present a deterministic and a pro… ▽ More In-band network telemetry (INT), empowered by programmable dataplanes such as P4, comprises a viable approach to network monitoring and telemetry analysis. However, P4-INT as well as other existing frameworks for INT yield a substantial transmission overhead, which grows linearly with the number of hops and the number of telemetry values. To address this issue, we present a deterministic and a probabilistic technique for lightweight INT, termed as DLINT and PLINT,respectively. In particular, DLINT exercises per-flow aggregation by spreading the telemetry values across the packets of a flow. DLINT relies on switch coordination through the use of per-flow telemetry states, maintained within P4 switches. Furthermore, DLINT utilizes Bloom Filters (BF) in order to compress the state lookup tables within P4 switches. On the other hand, PLINT employs a probabilistic approach based on reservoir sampling. PLINT essentially empowers every INT node to insert telemetry values with equal probability within each packet. Our evaluation results corroborate that both proposed techniques alleviate the transmission overhead of P4-INT, while maintaining a high degree of monitoring accuracy. In addition, we perform a comparative evaluation between DLINT and PLINT. DLINT is more effective in conveying path traces to the telemetry server, whereas PLINT detects more promptly path updates exploiting its more efficient INT header space utilization △ Less

Submitted 9 April, 2024; originally announced April 2024.

MSC Class: C.2.3 Network Operations

Journal ref: IEEE Transactions on Network and Service Management, 2023

A faster algorithm for the construction of optimal factoring automata

Authors: Thomas Erlebach, Kleitos Papadopoulos

Abstract: The problem of constructing optimal factoring automata arises in the context of unification factoring for the efficient execution of logic programs. Given an ordered set of $n$ strings of length $m$, the problem is to construct a trie-like tree structure of minimum size in which the leaves in left-to-right order represent the input strings in the given order. Contrary to standard tries, the order… ▽ More The problem of constructing optimal factoring automata arises in the context of unification factoring for the efficient execution of logic programs. Given an ordered set of $n$ strings of length $m$, the problem is to construct a trie-like tree structure of minimum size in which the leaves in left-to-right order represent the input strings in the given order. Contrary to standard tries, the order in which the characters of a string are encountered can be different on different root-to-leaf paths. Dawson et al. [ACM Trans. Program. Lang. Syst. 18(5):528--563, 1996] gave an algorithm that solves the problem in time $O(n^2 m (n+m))$. In this paper, we present an improved algorithm with running-time $O(n^2m)$. △ Less

Submitted 2 April, 2024; originally announced April 2024.

ACM Class: F.2.2

A Novel exact algorithm for economic lot-sizing with piecewise linear production costs

Authors: Kleitos Papadopoulos

Abstract: In this paper, we study the single-item economic lot-sizing problem with production cost functions that are piecewise linear. The lot-sizing problem stands as a foundational cornerstone within the domain of lot-sizing problems. It is also applicable to a variety of important production planning problems which are special cases to it according to \cite{ou}. The problem becomes intractable when $m$,… ▽ More In this paper, we study the single-item economic lot-sizing problem with production cost functions that are piecewise linear. The lot-sizing problem stands as a foundational cornerstone within the domain of lot-sizing problems. It is also applicable to a variety of important production planning problems which are special cases to it according to \cite{ou}. The problem becomes intractable when $m$, the number of different breakpoints of the production-cost function is variable as the problem was proven NP-hard by \cite{Florian1980}. For a fixed $m$ an $O(T^{2m+3})$ time algorithm was given by \cite{Koca2014} which was subsequently improved to $O(T^{m+2}\log(T))$ time by \cite{ou} where $T$ is the number of periods in the planning horizon.\newline We introduce a more efficient $O(T^{m+2})$ time algorithm for this problem which improves upon the previous state-of-the-art algorithm by Ou and which is derived using several novel algorithmic techniques that may be of independent interest. △ Less

Submitted 28 March, 2024; v1 submitted 24 March, 2024; originally announced March 2024.

Comments: 10 pages

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.

Entropy-area law and temperature of de Sitter horizons from modular theory

Authors: Edoardo D'Angelo, Markus B. Fröb, Stefano Galanda, Paolo Meda, Albert Much, Kyriakos Papadopoulos

Abstract: We derive an entropy-area law for the future horizon of an observer in diamonds inside the static patch of de Sitter spacetime, taking into account the backreaction of quantum matter fields. We prove positivity and convexity of the relative entropy for coherent states using Tomita--Takesaki modular theory, from which the QNEC for diamonds follows. Furthermore, we show that the generalized entropy… ▽ More We derive an entropy-area law for the future horizon of an observer in diamonds inside the static patch of de Sitter spacetime, taking into account the backreaction of quantum matter fields. We prove positivity and convexity of the relative entropy for coherent states using Tomita--Takesaki modular theory, from which the QNEC for diamonds follows. Furthermore, we show that the generalized entropy conjecture holds. Finally, we reveal that the local temperature which is measured by an observer at rest exhibits subleading quantum corrections with respect to the well-known cosmological horizon temperature $H/(2π)$. △ Less

Submitted 6 January, 2024; v1 submitted 23 November, 2023; originally announced November 2023.

Comments: 11 pages, 3 figures. Accepted for publication in PTEP

Journal ref: Prog. Theor. Exp. Phys. 2 (2024) 021A01

Relative Entropy in de Sitter is a Noether Charge

Authors: Markus Fröb, Albert Much, Kyriakos Papadopoulos

Abstract: We compute the relative entropy between the vacuum and a coherent state for a massive scalar field in de Sitter spacetime, using Tomita-Takesaki modular theory and the Araki-Uhlmann formula for the relative entropy. Embedding de Sitter spacetime as a hyperboloid in the ambient Minkowski space, we can restrict the Minkowski wedge and the corresponding modular operator to de Sitter, and we verify th… ▽ More We compute the relative entropy between the vacuum and a coherent state for a massive scalar field in de Sitter spacetime, using Tomita-Takesaki modular theory and the Araki-Uhlmann formula for the relative entropy. Embedding de Sitter spacetime as a hyperboloid in the ambient Minkowski space, we can restrict the Minkowski wedge and the corresponding modular operator to de Sitter, and we verify that this construction gives the correct modular flow. We check that the relative entropy is positive and jointly convex, relate it to the Noether charge of translations along the trajectories of the modular flow, and determine the local temperature as seen by an observer that moves along these trajectories. △ Less

Submitted 18 November, 2023; v1 submitted 18 October, 2023; originally announced October 2023.

Journal ref: Phys. Rev. D 108 (2023) 105004

Non-commutative Geometry from Perturbative Quantum Gravity in de Sitter spacetime

Authors: Markus Fröb, William C. C. Lima, Albert Much, Kyriakos Papadopoulos

Abstract: We show that a non-commutative structure arises naturally from perturbative quantum gravity in a de Sitter background metric. Our work builds on recent advances in the construction of observables in highly symmetric background spacetimes [Brunetti et al., JHEP 08, 032 (2016); Fröb and Lima, Class. Quant. Grav. 35, 095010 (2018)], where the dynamical coordinates that are needed in the relational ap… ▽ More We show that a non-commutative structure arises naturally from perturbative quantum gravity in a de Sitter background metric. Our work builds on recent advances in the construction of observables in highly symmetric background spacetimes [Brunetti et al., JHEP 08, 032 (2016); Fröb and Lima, Class. Quant. Grav. 35, 095010 (2018)], where the dynamical coordinates that are needed in the relational approach were established for such backgrounds to all orders in perturbation theory. We show that these dynamical coordinates that describe events in the perturbed spacetime are naturally non-commuting, and determine their commutator to leading order in the Planck length. Our result generalizes the causal non-commutative structure that was found using the same approach in Minkowski space [Fröb, Much and Papadopoulos, Phys. Rev. D 107, 064041 (2023)]. △ Less

Submitted 7 October, 2023; v1 submitted 29 April, 2023; originally announced May 2023.

Journal ref: Phys. Rev. D 108, 086003 (2023)

Non-commutative coordinates from quantum gravity

Authors: Markus B. Fröb, Albert Much, Kyriakos Papadopoulos

Abstract: Local observables in (perturbative) quantum gravity are notoriously hard to define, since the gauge symmetry of gravity -- diffeomorphisms -- moves points on the manifold. In particular, this is a problem for backgrounds of high symmetry such as Minkowski space or de Sitter spacetime which describes the early inflationary phase of our universe. Only recently this obstacle has been overcome, and a… ▽ More Local observables in (perturbative) quantum gravity are notoriously hard to define, since the gauge symmetry of gravity -- diffeomorphisms -- moves points on the manifold. In particular, this is a problem for backgrounds of high symmetry such as Minkowski space or de Sitter spacetime which describes the early inflationary phase of our universe. Only recently this obstacle has been overcome, and a field-dependent coordinate system has been constructed to all orders in perturbation theory, in which observables are fully gauge-invariant. We show that these field-dependent coordinates are non-commutative, and compute their commutator to second order in the Planck length. This provides the first systematic derivation of non-commutativity that arises due to quantum gravity effects. △ Less

Submitted 30 March, 2023; originally announced March 2023.

Comments: Proceedings of the Corfu Summer Institute 2022 "School and Workshops on Elementary Particle Physics and Gravity". Based on arXiv:2207.03345 [gr-qc]. 12 pages

Journal ref: PoS(CORFU2022) 436 (2023) 307

A New Perspective for Understanding Generalization Gap of Deep Neural Networks Trained with Large Batch Sizes

Authors: Oyebade K. Oyedotun, Konstantinos Papadopoulos, Djamila Aouada

Abstract: Deep neural networks (DNNs) are typically optimized using various forms of mini-batch gradient descent algorithm. A major motivation for mini-batch gradient descent is that with a suitably chosen batch size, available computing resources can be optimally utilized (including parallelization) for fast model training. However, many works report the progressive loss of model generalization when the tr… ▽ More Deep neural networks (DNNs) are typically optimized using various forms of mini-batch gradient descent algorithm. A major motivation for mini-batch gradient descent is that with a suitably chosen batch size, available computing resources can be optimally utilized (including parallelization) for fast model training. However, many works report the progressive loss of model generalization when the training batch size is increased beyond some limits. This is a scenario commonly referred to as generalization gap. Although several works have proposed different methods for alleviating the generalization gap problem, a unanimous account for understanding generalization gap is still lacking in the literature. This is especially important given that recent works have observed that several proposed solutions for generalization gap problem such learning rate scaling and increased training budget do not indeed resolve it. As such, our main exposition in this paper is to investigate and provide new perspectives for the source of generalization loss for DNNs trained with a large batch size. Our analysis suggests that large training batch size results in increased near-rank loss of units' activation (i.e. output) tensors, which consequently impacts model optimization and generalization. Extensive experiments are performed for validation on popular DNN models such as VGG-16, residual network (ResNet-56) and LeNet-5 using CIFAR-10, CIFAR-100, Fashion-MNIST and MNIST datasets. △ Less

Submitted 21 October, 2022; originally announced October 2022.

Non-commutative Geometry from Perturbative Quantum Gravity

Authors: Markus Fröb, Albert Much, Kyriakos Papadopoulos

Abstract: Trying to connect a fundamentally non-commutative spacetime with the conservative perturbative approach to quantum gravity, we are led to the natural question: are non-commutative geometrical effects already present in the regime where perturbative quantum gravity provides a predictive framework? Moreover, is it necessary to introduce non-commutativity by hand, or does it arise through quantum-gra… ▽ More Trying to connect a fundamentally non-commutative spacetime with the conservative perturbative approach to quantum gravity, we are led to the natural question: are non-commutative geometrical effects already present in the regime where perturbative quantum gravity provides a predictive framework? Moreover, is it necessary to introduce non-commutativity by hand, or does it arise through quantum-gravitational effects? We show that the first question can be answered in the affirmative, and the second one in the negative: perturbative quantum gravity predicts non-commutativity at the Planck scale, once one clarifies the structure of observables in the quantum theory. △ Less

Submitted 18 April, 2023; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: 10 pages, matches published version

Spin dynamics in the Van der Waals magnet CrCl$_3$

Authors: Ola Kenji Forslund, Konstantinos Papadopoulos, Elisabetta Nocerino, Gaia Di Berardino, Chennan Wang, Jun Sugiyama, Daniel Andreica, Alexander N. Vasiliev, Mahmoud Abdel-Hafiez, Martin Månsson, Yasmine Sassa

Abstract: The magnetic nature of low dimensional compound, CrCl$_3$, was investigated by muon spin rotation, relaxation and resonance ($μ^+$SR). The $μ^+$SR measurements revealed three distinct phases as a function of temperature: an antiferromagnetic state (AF) for $T\leq T_{\rm N}=14.32(6)$~K, a ferromagnetic short range ordered state (FM-SRO) for $T_{\rm N}<T<\sim18$~K and a paramagnetic phase (PM) above… ▽ More The magnetic nature of low dimensional compound, CrCl$_3$, was investigated by muon spin rotation, relaxation and resonance ($μ^+$SR). The $μ^+$SR measurements revealed three distinct phases as a function of temperature: an antiferromagnetic state (AF) for $T\leq T_{\rm N}=14.32(6)$~K, a ferromagnetic short range ordered state (FM-SRO) for $T_{\rm N}<T<\sim18$~K and a paramagnetic phase (PM) above $\sim18$~K. Moreover, the AF state exhibits appreciable spin dynamics, which increases with decreasing temperature below $T_{\rm N}$. These dynamics originate from out of plane fluctuations, which seem to settle for $9.5$~K$\leq T\leq T_{\rm N}$, evidenced from measurements in ZF and complementary local field calculations. Moreover, the presented muon Knight shift measurements just above $T_{\rm N}$ represent a clear microscopic evidence for the absence of the previously speculated long range quasi-2D FM order. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: 6 pages, 4 figures

Influence of the Magnetic Sub-Lattices in the Double Perovskite Compound LaCaNiReO$_6$

Authors: Konstantinos Papadopoulos, Ola Kenji Forslund, Elisabetta Nocerino, Fredrik O. L. Johansson, Gediminas Simutis, Nami Matsubara, Gerald Morris, Bassam Hitti, Donald Arseneau, Jean-Christophe Orain, Vladimir Pomjakushin, Peter Svedlindh, Daniel Andreica, Lars Börjesson, Jun Sugiyama, Martin Månsson, Yasmine Sassa

Abstract: The magnetism of double perovskites is a complex phenomenon, determined from intra- or interatomic magnetic moment interactions, and strongly influenced by geometry. We take advantage of the complementary length and time scales of the muon spin rotation, relaxation and resonance ($μ^+$SR) microscopic technique and bulk AC/DC magnetic susceptibility measurements to study the magnetic phases of the… ▽ More The magnetism of double perovskites is a complex phenomenon, determined from intra- or interatomic magnetic moment interactions, and strongly influenced by geometry. We take advantage of the complementary length and time scales of the muon spin rotation, relaxation and resonance ($μ^+$SR) microscopic technique and bulk AC/DC magnetic susceptibility measurements to study the magnetic phases of the LaCaNiReO$_6$ double perovskite. As a result we are able to discern and report a newly found dynamic phase transition and the formation of magnetic domains below and above the known magnetic transition of this compound at T$_N$ = 103 K. $μ^+$SR, serving as a local probe at crystallographic interstitial sites, reveals a transition from a metastable ferrimagnetic ordering below T = 103 K to a stable one below T = 30 K. The fast and slow collective dynamic state of this system are investigated. Between 103 K < T < 230 K, the following two magnetic environments appear, a dense spin region and a static-dilute spin region. The paramagnetic state is obtained only above T > 270 K. An evolution of the interaction between Ni and Re magnetic sublattices in this geometrically frustrated fcc perovskite structure, is revealed as a function of temperature and magnetic field, through the critical behaviour and thermal evolution of microscopic and macroscopic physical quantities. △ Less

Submitted 12 April, 2022; v1 submitted 10 November, 2021; originally announced November 2021.

Thermal Management in Large Data Centers: Security Threats and Mitigation

Authors: Betty Saridou, Gueltoum Bendiab, Stavros N. Shiaeles, Basil K. Papadopoulos

Abstract: Data centres are experiencing significant growth in their scale, especially, with the ever-increasing demand for cloud and IoT services. However, this rapid growth has raised numerous security issues and vulnerabilities; new types of strategic cyber-attacks are aimed at specific physical components of data centres that keep them operating. Attacks against temperature monitoring and cooling systems… ▽ More Data centres are experiencing significant growth in their scale, especially, with the ever-increasing demand for cloud and IoT services. However, this rapid growth has raised numerous security issues and vulnerabilities; new types of strategic cyber-attacks are aimed at specific physical components of data centres that keep them operating. Attacks against temperature monitoring and cooling systems of data centres, also known as thermal attacks, can cause a complete meltdown and are generally considered difficult to address. In this paper, we focus on this issue by analysing the potential security threats to these systems and their impact on the overall data center safety and performance. We also present current thermal anomaly detection methods and their limitations. Finally, we propose a hybrid method that uses multi-variant anomaly detection to prevent thermal attacks, as well as a fuzzy-based health factor to enhance data center thermal awareness and security △ Less

Submitted 30 August, 2021; originally announced August 2021.

Comments: 15 pages, 3 figures

Journal ref: Security in Computing and Communications. SSCC 2020. Communications in Computer and Information Science, vol 1364. Springer, Singapore

On Global Hyperbolicity of Spacetimes: Topology Meets Functional Analysis

Authors: Felix Finster, Albert Much, Kyriakos Papadopoulos

Abstract: This chapter is an up-to-date account of results on globally hyperbolic spacetimes, and serves several purposes. We begin with the exposition of results from a foundational level, where the main tools are order theory and general topology, we continue with results of a more geometric nature, and we conclude with results that are related to current research in theoretical physics. In each case, we… ▽ More This chapter is an up-to-date account of results on globally hyperbolic spacetimes, and serves several purposes. We begin with the exposition of results from a foundational level, where the main tools are order theory and general topology, we continue with results of a more geometric nature, and we conclude with results that are related to current research in theoretical physics. In each case, we list a number of open questions and formulate, for a class of spacetimes, an interesting connection between global hyperbolicity of a manifold and the geodesic completeness of its corresponding space-like surfaces. This connection is substantial for the proof of essential self-adjointness of a class of pseudo differential operators, that stem from relativistic quantum field theory. △ Less

Submitted 7 September, 2021; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: Invited contribution to the Springer Volume: Mathematical Analysis in Interdisciplinary Research

Journal ref: in: Mathematical Analysis in Interdisciplinary Research, Springer, 2021

Natural vs. Artificial Topologies on a Relativistic Spacetime

Authors: Kyriakos Papadopoulos

Abstract: Consider a set $M$ equipped with a structure $*$. We call a natural topology $T_*$, on $(M,*)$, the topology induced by $*$. For example, a natural topology for a metric space $(X,d)$ is a topology $T_d$ induced by the metric $d$ and for a linearly ordered set $(X,<)$ a natural topology should be the topology $T_<$ that is induced by the order $<$. This fundamental property, for a topology to be c… ▽ More Consider a set $M$ equipped with a structure $*$. We call a natural topology $T_*$, on $(M,*)$, the topology induced by $*$. For example, a natural topology for a metric space $(X,d)$ is a topology $T_d$ induced by the metric $d$ and for a linearly ordered set $(X,<)$ a natural topology should be the topology $T_<$ that is induced by the order $<$. This fundamental property, for a topology to be called "natural", has been largely ignored while studying topological properties of spacetime manifolds $(M,g)$ where $g$ is the Lorentz "metric", and the manifold topology $T_M$ has been used as a natural topology, ignoring the spacetime "metric" $g$. In this survey we review critically candidate topologies for a relativistic spacetime manifold, we pose open questions and conjectures with the aim to establish a complete guide on the latest results in the field, and give the foundations for future discussions. We discuss the criticism against the manifold topology, a criticism that was initiated by people like Zeeman, Göbel, Hawking-King-McCarthy and others, and we examine what should be meant by the term "natural topology" for a spacetime. Since the common criticism against spacetime topologies, other than the manifold topology, claims that there has not been established yet a physical theory to justify such topologies, we give examples of seemingly physical phenomena, under the manifold topology, which are actually purely effects depending on the choice of the topology; the Limit Curve Theorem, which is linked to singularity theorems in general relativity, and the Theorem of Gao-Wald type of "time dilation" are such examples. } △ Less

Submitted 12 July, 2021; originally announced July 2021.

Face-GCN: A Graph Convolutional Network for 3D Dynamic Face Identification/Recognition

Authors: Konstantinos Papadopoulos, Anis Kacem, Abdelrahman Shabayek, Djamila Aouada

Abstract: Face identification/recognition has significantly advanced over the past years. However, most of the proposed approaches rely on static RGB frames and on neutral facial expressions. This has two disadvantages. First, important facial shape cues are ignored. Second, facial deformations due to expressions can have an impact on the performance of such a method. In this paper, we propose a novel frame… ▽ More Face identification/recognition has significantly advanced over the past years. However, most of the proposed approaches rely on static RGB frames and on neutral facial expressions. This has two disadvantages. First, important facial shape cues are ignored. Second, facial deformations due to expressions can have an impact on the performance of such a method. In this paper, we propose a novel framework for dynamic 3D face identification/recognition based on facial keypoints. Each dynamic sequence of facial expressions is represented as a spatio-temporal graph, which is constructed using 3D facial landmarks. Each graph node contains local shape and texture features that are extracted from its neighborhood. For the classification/identification of faces, a Spatio-temporal Graph Convolutional Network (ST-GCN) is used. Finally, we evaluate our approach on a challenging dynamic 3D facial expression dataset. △ Less

Submitted 20 April, 2021; v1 submitted 19 April, 2021; originally announced April 2021.

On Completeness of the Alexandrov Topology on a Spacetime: remarks and some corrections

Authors: Kyriakos Papadopoulos, Nazli Kurt

Abstract: We clarify and discuss a misunderstanding between uniform completeness and metric completeness, that has appeared in the literature in a study on the Alexandrov topology for a spacetime. We clarify and discuss a misunderstanding between uniform completeness and metric completeness, that has appeared in the literature in a study on the Alexandrov topology for a spacetime. △ Less

Submitted 21 November, 2020; v1 submitted 23 October, 2020; originally announced October 2020.

SHARP 2020: The 1st Shape Recovery from Partial Textured 3D Scans Challenge Results

Authors: Alexandre Saint, Anis Kacem, Kseniya Cherenkova, Konstantinos Papadopoulos, Julian Chibane, Gerard Pons-Moll, Gleb Gusev, David Fofi, Djamila Aouada, Bjorn Ottersten

Abstract: The SHApe Recovery from Partial textured 3D scans challenge, SHARP 2020, is the first edition of a challenge fostering and benchmarking methods for recovering complete textured 3D scans from raw incomplete data. SHARP 2020 is organised as a workshop in conjunction with ECCV 2020. There are two complementary challenges, the first one on 3D human scans, and the second one on generic objects. Challen… ▽ More The SHApe Recovery from Partial textured 3D scans challenge, SHARP 2020, is the first edition of a challenge fostering and benchmarking methods for recovering complete textured 3D scans from raw incomplete data. SHARP 2020 is organised as a workshop in conjunction with ECCV 2020. There are two complementary challenges, the first one on 3D human scans, and the second one on generic objects. Challenge 1 is further split into two tracks, focusing, first, on large body and clothing regions, and, second, on fine body details. A novel evaluation metric is proposed to quantify jointly the shape reconstruction, the texture reconstruction and the amount of completed data. Additionally, two unique datasets of 3D scans are proposed, to provide raw ground-truth data for the benchmarks. The datasets are released to the scientific community. Moreover, an accompanying custom library of software routines is also released to the scientific community. It allows for processing 3D scans, generating partial data and performing the evaluation. Results of the competition, analysed in comparison to baselines, show the validity of the proposed evaluation metrics, and highlight the challenging aspects of the task and of the datasets. Details on the SHARP 2020 challenge can be found at https://cvi2.uni.lu/sharp2020/. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Comments: SHARP workshop, ECCV 2020

Intertwined Magnetic Sub-Lattices in the Double Perovskite Compound LaSrNiReO6

Authors: Ola Kenji Forslund, Konstantinos Papadopoulos, Elisabetta Noccerino, Gerald Morris, Bassam Hitti, Donald Arseneau, Vladimir Pomjakushin, Nami Matsubara, Jean Christophe Orain, P. Anil Kumar, Peter Svedlindh, Daniel Andreica, Somnath Jana, Jun Sugiyama, Martin Månsson, Yasmine Sassa

Abstract: We report a muon spin rotation ($μ^{+}$SR) study of the magnetic properties of the double perovskite compound LaSrNiReO$_{6}$. Using the unique length and time scales of the $μ^{+}$SR technique, we successfully clarify the magnetic ground state of LaSrNiReO$_{6}$, which was previously deemed as a spin glass state. Instead, our $μ^{+}$SR results point towards a long-range dynamically ordered ground… ▽ More We report a muon spin rotation ($μ^{+}$SR) study of the magnetic properties of the double perovskite compound LaSrNiReO$_{6}$. Using the unique length and time scales of the $μ^{+}$SR technique, we successfully clarify the magnetic ground state of LaSrNiReO$_{6}$, which was previously deemed as a spin glass state. Instead, our $μ^{+}$SR results point towards a long-range dynamically ordered ground state below $T_{\rm C}= 23$ K, for which a static limit is foreseen at $T=0$. Furthermore, between 23 K$<T\leq$300 K, three different magnetic phases are identified: a dense ($23$ K$<T\leq75$ K), a dilute ($75$ K$<T\leq250$ K), and a paramagnetic ($T>250$ K) state. Our results reveal how two separate, yet intertwined magnetic lattices interact within the unique double perovskite structure and the importance of using complementary experimental techniques to obtain a complete understanding of the microscopic magnetic properties of complex materials. △ Less

Submitted 8 October, 2020; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: 11 pages (with references), 11 figures

Journal ref: Phys. Rev. B 102, 144409 (2020)

On a duality between time and space cones

Authors: Waleed Al-Qallaf, Kyriakos Papadopoulos

Abstract: We give an exact mathematical construction of a spacelike order $<$, which is dual to the standard chronological order $\ll$ in the $n$-dimensional Minkowski space $M^n$, and we discuss its order-theoretic, geometrical as well as its topological implications, conjecturing a possible extension to curved spacetimes. We give an exact mathematical construction of a spacelike order $<$, which is dual to the standard chronological order $\ll$ in the $n$-dimensional Minkowski space $M^n$, and we discuss its order-theoretic, geometrical as well as its topological implications, conjecturing a possible extension to curved spacetimes. △ Less

Submitted 12 March, 2020; originally announced March 2020.

Comments: https://journalskuwait.org/kjs/index.php/KJS/article/view/7298/372

Journal ref: Kuwait J. Sci. 47 (2) pp. 1-5, 2020

Magnetism and Ion Diffusion in Honeycomb Layered Oxide K$_2$Ni$_2$TeO$_6$: First Time Study by Muon Spin Rotation & Neutron Scattering

Authors: N. Matsubara, E. Nocerino, O. K. Forslund, A. Zubayer, K. Papadopoulos, D. Andreica, J. Sugiyama, R. Palm, Z. Guguchia, S. P. Cottrell, T. Kamiyama, T. Saito, A. Kalaboukhov, Y. Sassa, T. Masese, M. Månsson

Abstract: In the quest of finding novel and efficient batteries, a great interest has raised in K-based honeycomb layer oxide materials both for their fundamental properties and potential applications. A key issue in the realization of efficient batteries based on such compounds, is to understand the K-ion diffusion mechanism. However, investigation of potassium-ion (K$^+$) dynamics in materials using magne… ▽ More In the quest of finding novel and efficient batteries, a great interest has raised in K-based honeycomb layer oxide materials both for their fundamental properties and potential applications. A key issue in the realization of efficient batteries based on such compounds, is to understand the K-ion diffusion mechanism. However, investigation of potassium-ion (K$^+$) dynamics in materials using magneto-spin properties has so far been challenging, due to its inherently weak nuclear magnetic moment, in contrast to other alkali ions such as lithium and sodium. Spin-polarised muons, having a high gyromagnetic ratio, make the muon spin rotation and relaxation ($μ$+SR) technique ideal for probing ions dynamics in weak magneto-spin moment materials. Here we report the magnetic properties and K+ dynamics in honeycomb layered oxide material of the K$_2$Ni$_2$TeO$_6$ using $μ$+SR measurements. Our low-temperature $μ$+SR results together with, with complementary magnetic susceptibility, find an antiferromagnetic transition at 26 K. Further $μ$+SR studies performed at higher temperatures reveal that potassium ions (K$^+$) become mobile above 250 K and the activation energy for the diffusion process is Ea = 121(13) meV. This is the first time that K+ dynamics in potassium-based battery materials has been measured using $μ$+SR. Finally our results also indicate an interesting possibility that K-ion self diffusion occurs predominantly at the surface of the powder particles. This opens future possibilities for improving ion diffusion and device performance using nano-structuring. △ Less

Submitted 25 June, 2020; v1 submitted 12 March, 2020; originally announced March 2020.

Comments: 12 pages, 12 figures

Journal ref: Sci Rep 10, 18305 (2020)

Honeycomb Layered Oxides: Structure, Energy Storage, Transport, Topology and Relevant Insights

Authors: Godwill Mbiti Kanyolo, Titus Masese, Nami Matsubara, Chih-Yao Chen, Josef Rizell, Ola Kenji Forslund, Elisabetta Nocerino, Konstantinos Papadopoulos, Anton Zubayer, Minami Kato, Kohei Tada, Keigo Kubota, Hiroshi Senoh, Zhen-Dong Huang, Yasmine Sassa, Martin Mansson, Hajime Matsumoto

Abstract: The advent of nanotechnology has hurtled the discovery and development of nanostructured materials with stellar chemical and physical functionalities in a bid to address issues in energy, environment, telecommunications and healthcare. In this quest, a class of two-dimensional layered materials consisting of alkali or coinage metal atoms sandwiched between slabs exclusively made of transition meta… ▽ More The advent of nanotechnology has hurtled the discovery and development of nanostructured materials with stellar chemical and physical functionalities in a bid to address issues in energy, environment, telecommunications and healthcare. In this quest, a class of two-dimensional layered materials consisting of alkali or coinage metal atoms sandwiched between slabs exclusively made of transition metal and chalcogen (or pnictogen) atoms arranged in a honeycomb fashion have emerged as materials exhibiting fascinatingly rich crystal chemistry, high-voltage electrochemistry, fast cation diffusion besides playing host to varied exotic electromagnetic and topological phenomena. Currently, with a niche application in energy storage as high-voltage materials, this class of honeycomb layered oxides serves as ideal pedagogical exemplars of the innumerable capabilities of nanomaterials drawing immense interest in multiple fields ranging from materials science, solid-state chemistry, electrochemistry and condensed matter physics. In this review, we delineate the relevant chemistry and physics of honeycomb layered oxides, and discuss their functionalities for tunable electrochemistry, superfast ionic conduction, electromagnetism and topology. Moreover, we elucidate the unexplored albeit vastly promising crystal chemistry space whilst outlining effective ways to identify regions within this compositional space, particularly where interesting electromagnetic and topological properties could be lurking within the aforementioned alkali and coinage-metal honeycomb layered oxide structures. We conclude by pointing towards possible future research directions, particularly the prospective realisation of Kitaev-Heisenberg-Dzyaloshinskii-Moriya interactions with single crystals and Floquet theory in closely-related honeycomb layered oxide materials. △ Less

Submitted 19 December, 2020; v1 submitted 7 March, 2020; originally announced March 2020.

Comments: 69 pages, 23 figures, 2 tables, review manuscript, accepted in Chemical Society Reviews (Royal Society of Chemistry) on 18th Dec 2020

Journal ref: Chemical Society Reviews (2021)

Vertex Feature Encoding and Hierarchical Temporal Modeling in a Spatial-Temporal Graph Convolutional Network for Action Recognition

Authors: Konstantinos Papadopoulos, Enjie Ghorbel, Djamila Aouada, Björn Ottersten

Abstract: This paper extends the Spatial-Temporal Graph Convolutional Network (ST-GCN) for skeleton-based action recognition by introducing two novel modules, namely, the Graph Vertex Feature Encoder (GVFE) and the Dilated Hierarchical Temporal Convolutional Network (DH-TCN). On the one hand, the GVFE module learns appropriate vertex features for action recognition by encoding raw skeleton data into a new f… ▽ More This paper extends the Spatial-Temporal Graph Convolutional Network (ST-GCN) for skeleton-based action recognition by introducing two novel modules, namely, the Graph Vertex Feature Encoder (GVFE) and the Dilated Hierarchical Temporal Convolutional Network (DH-TCN). On the one hand, the GVFE module learns appropriate vertex features for action recognition by encoding raw skeleton data into a new feature space. On the other hand, the DH-TCN module is capable of capturing both short-term and long-term temporal dependencies using a hierarchical dilated convolutional network. Experiments have been conducted on the challenging NTU RGB-D-60 and NTU RGB-D 120 datasets. The obtained results show that our method competes with state-of-the-art approaches while using a smaller number of layers and parameters; thus reducing the required training time and memory. △ Less

Submitted 20 December, 2019; originally announced December 2019.

On null geodesically complete spacetimes uder NEC and NGC; is the Gao-Wald "time dilation" a topological effect?

Authors: Kyriakos Papadopoulos

Abstract: We review a theorem of Gao-Wald on a kind of a gravitational "time delay" effect in null geodesically complete spacetimes under NEC and NGC, and we observe that it is not valid anymore throughout its statement, as well as a conclusion that there is a class of cosmological models where particle horizons are absent, if one substituted the manifold topology with a finer (spacetime-) topology. Since t… ▽ More We review a theorem of Gao-Wald on a kind of a gravitational "time delay" effect in null geodesically complete spacetimes under NEC and NGC, and we observe that it is not valid anymore throughout its statement, as well as a conclusion that there is a class of cosmological models where particle horizons are absent, if one substituted the manifold topology with a finer (spacetime-) topology. Since topologies of the Zeeman-Göbel class incorporate the causal, differential and conformal structure of a spacetime, and there are serious mathematical arguments in favour of such topologies and against the manifold topology, there is a strong evidence that "time dilation" theorems of this kind are topological in nature rather than having a particular physical meaning. △ Less

Submitted 4 August, 2019; v1 submitted 27 April, 2019; originally announced April 2019.

An Efficient Algorithm for the Fast Delivery Problem

Authors: Iago A. Carvalho, Thomas Erlebach, Kleitos Papadopoulos

Abstract: We study a problem where k autonomous mobile agents are initially located on distinct nodes of a weighted graph (with n nodes and m edges). Each autonomous mobile agent has a predefined velocity and is only allowed to move along the edges of the graph. We are interested in delivering a package, initially positioned in a source node s, to a destination node y. The delivery is achieved by the collec… ▽ More We study a problem where k autonomous mobile agents are initially located on distinct nodes of a weighted graph (with n nodes and m edges). Each autonomous mobile agent has a predefined velocity and is only allowed to move along the edges of the graph. We are interested in delivering a package, initially positioned in a source node s, to a destination node y. The delivery is achieved by the collective effort of the autonomous mobile agents, which can carry and exchange the package among them. The objective is to compute a delivery schedule that minimizes the delivery time of the package. In this paper, we propose an O(kn log n + km) time algorithm for this problem. This improves the previous state-of-the-art O(k^2 m + k n^2 + APSP) time algorithm for this problem, where APSP stands for the running-time of an algorithm for the All-Pairs Shortest Paths problem. △ Less

Submitted 19 August, 2019; v1 submitted 19 April, 2019; originally announced April 2019.

MSC Class: 68W05

Localized Trajectories for 2D and 3D Action Recognition

Authors: Konstantinos Papadopoulos, Girum Demisse, Enjie Ghorbel, Michel Antunes, Djamila Aouada, Björn Ottersten

Abstract: The Dense Trajectories concept is one of the most successful approaches in action recognition, suitable for scenarios involving a significant amount of motion. However, due to noise and background motion, many generated trajectories are irrelevant to the actual human activity and can potentially lead to performance degradation. In this paper, we propose Localized Trajectories as an improved versio… ▽ More The Dense Trajectories concept is one of the most successful approaches in action recognition, suitable for scenarios involving a significant amount of motion. However, due to noise and background motion, many generated trajectories are irrelevant to the actual human activity and can potentially lead to performance degradation. In this paper, we propose Localized Trajectories as an improved version of Dense Trajectories where motion trajectories are clustered around human body joints provided by RGB-D cameras and then encoded by local Bag-of-Words. As a result, the Localized Trajectories concept provides a more discriminative representation of actions as compared to Dense Trajectories. Moreover, we generalize Localized Trajectories to 3D by using the modalities offered by RGB-D cameras. One of the main advantages of using RGB-D data to generate trajectories is that they include radial displacements that are perpendicular to the image plane. Extensive experiments and analysis are carried out on five different datasets. △ Less

Submitted 10 April, 2019; originally announced April 2019.

Comments: 36 pages, 2 figures

On sliced spaces: Global Hyperbolicity revisited

Authors: Kyriakos Papadopoulos, Nazli Kurt, Basil K. Papadopoulos

Abstract: We give a topological condition for a generic sliced space to be globally hyperbolic, without any hypothesis on the lapse function, shift function and spatial metric. We give a topological condition for a generic sliced space to be globally hyperbolic, without any hypothesis on the lapse function, shift function and spatial metric. △ Less

Submitted 22 February, 2021; v1 submitted 17 January, 2019; originally announced January 2019.

Are four dimensions enough, a note on ambient cosmology

Authors: Kyriakos Papadopoulos, Nazli Kurt, Basil K. Papadopoulos

Abstract: The group of homothetic symmetries in the conformal infinity (the $4$-dimensional "ambient boundary") of a $5$-dimensional spacetime restricts the choice of topology to a topology under which the group of homeomorphisms of a spacetime manifold is the group of homothetic transformations. Since there are such spacetime topologies in the class of Zeeman-Göbel, under which the formation of basic contr… ▽ More The group of homothetic symmetries in the conformal infinity (the $4$-dimensional "ambient boundary") of a $5$-dimensional spacetime restricts the choice of topology to a topology under which the group of homeomorphisms of a spacetime manifold is the group of homothetic transformations. Since there are such spacetime topologies in the class of Zeeman-Göbel, under which the formation of basic contradiction present in proofs of singularity theorems is impossible, an important question is raised: why should one construct a $5$-dimensional metric, in order to return back such a topology to its $4$-dimensional conformal boundary, while such topologies, like those ones in the Zeeman-Göbel class, are already considered as more "natural" topologies for a spacetime, rather than the artificial (according to Zeeman) manifold topology? △ Less

Submitted 28 December, 2018; originally announced January 2019.

On the Causal and Topological Structure of the $2$-Dimensional Minkowski Space

Authors: Kyriakos Papadopoulos, Nazli Kurt, Basil K. Papadopoulos

Abstract: A list of all possible causal relations in the $2$-dimensional Minkowski space $M$ is exhausted, based on the duality between timelike and spacelike in this particular case, and thirty topologies are introduced, all of them encapsulating the causal structure of $M$. Generalisations of these results are discussed, as well as their significance in a discussion on spacetime singularities. A list of all possible causal relations in the $2$-dimensional Minkowski space $M$ is exhausted, based on the duality between timelike and spacelike in this particular case, and thirty topologies are introduced, all of them encapsulating the causal structure of $M$. Generalisations of these results are discussed, as well as their significance in a discussion on spacetime singularities. △ Less

Submitted 28 February, 2019; v1 submitted 14 November, 2018; originally announced November 2018.

An Interesting Structural Property Related to the Problem of Computing All the Best Swap Edges of a Tree Spanner in Unweighted Graphs

Authors: Davide Bilò, Kleitos Papadopoulos

Abstract: In this draft we prove an interesting structural property related to the problem of computing {\em all the best swap edges} of a {\em tree spanner} in unweighted graphs. Previous papers show that the maximum stretch factor of the tree where a failing edge is temporarily swapped with any other available edge that reconnects the tree depends only on the {\em critical edge}. However, in principle, ea… ▽ More In this draft we prove an interesting structural property related to the problem of computing {\em all the best swap edges} of a {\em tree spanner} in unweighted graphs. Previous papers show that the maximum stretch factor of the tree where a failing edge is temporarily swapped with any other available edge that reconnects the tree depends only on the {\em critical edge}. However, in principle, each of the $O(n^2)$ swap edges, where $n$ is the number of vertices of the tree, may have its own critical edge. In this draft we show that there are at most 6 critical edges, i.e., each tree edge $e$ has a {\em critical set} of size at most 6 such that, a critical edge of each swap edge of $e$ is contained in the critical set. △ Less

Submitted 9 July, 2018; originally announced July 2018.

A Novel Algorithm for the All-Best-Swap-Edge Problem on Tree Spanners

Authors: Davide Bilò, Kleitos Papadopoulos

Abstract: Given a 2-edge connected, unweighted, and undirected graph $G$ with $n$ vertices and $m$ edges, a $σ$-tree spanner is a spanning tree $T$ of $G$ in which the ratio between the distance in $T$ of any pair of vertices and the corresponding distance in $G$ is upper bounded by $σ$. The minimum value of $σ$ for which $T$ is a $σ$-tree spanner of $G$ is also called the {\em stretch factor} of $T$. We ad… ▽ More Given a 2-edge connected, unweighted, and undirected graph $G$ with $n$ vertices and $m$ edges, a $σ$-tree spanner is a spanning tree $T$ of $G$ in which the ratio between the distance in $T$ of any pair of vertices and the corresponding distance in $G$ is upper bounded by $σ$. The minimum value of $σ$ for which $T$ is a $σ$-tree spanner of $G$ is also called the {\em stretch factor} of $T$. We address the fault-tolerant scenario in which each edge $e$ of a given tree spanner may temporarily fail and has to be replaced by a {\em best swap edge}, i.e. an edge that reconnects $T-e$ at a minimum stretch factor. More precisely, we design an $O(n^2)$ time and space algorithm that computes a best swap edge of every tree edge. Previously, an $O(n^2 \log^4 n)$ time and $O(n^2+m\log^2n)$ space algorithm was known for edge-weighted graphs [Bilò et al., ISAAC 2017]. Even if our improvements on both the time and space complexities are of a polylogarithmic factor, we stress the fact that the design of a $o(n^2)$ time and space algorithm would be considered a breakthrough. △ Less

Submitted 2 October, 2018; v1 submitted 3 July, 2018; originally announced July 2018.

Comments: The paper has been accepted for publication at the 29th International Symposium on Algorithms and Computation (ISAAC 2018). 12 pages, 3 figures

Spacetimes as topological spaces, and the need to take methods of general topology more seriously

Authors: Kyriakos Papadopoulos, Fabio Scardigli

Abstract: Why is the manifold topology in a spacetime taken for granted? Why do we prefer to use Riemann open balls as basic-open sets, while there also exists a Lorentz metric? Which topology is a best candidate for a spacetime; a topology sufficient for the description of spacetime singularities or a topology which incorporates the causal structure? Or both? Is it more preferable to have a topology with a… ▽ More Why is the manifold topology in a spacetime taken for granted? Why do we prefer to use Riemann open balls as basic-open sets, while there also exists a Lorentz metric? Which topology is a best candidate for a spacetime; a topology sufficient for the description of spacetime singularities or a topology which incorporates the causal structure? Or both? Is it more preferable to have a topology with as many physical properties as possible, whose description might be complicated and counterintuitive, or a topology which can be described via a countable basis but misses some important information? These are just a few from the questions that we ask in this Chapter, which serves as a critical review of the terrain and contains a survey with remarks, corrections and open questions. △ Less

Submitted 15 November, 2018; v1 submitted 15 April, 2018; originally announced April 2018.

Comments: Invited book Chapter, to appear in book: Current Trends in Mathematical Analysis and Its Interdisciplinary ApplicationsEdition: Birkhauser, imprint of Springer

On the Orderability Problem and the Interval Topology

Authors: Kyriakos Papadopoulos

Abstract: The class of LOTS (linearly ordered topological spaces, i.e. spaces equipped with a topology generated by a linear order) contains many important spaces, like the set of real numbers, the set of rational numbers and the ordinals. Such spaces have rich topological properties, which are not necessarily hereditary. The Orderability Problem, a very important question on whether a topological space adm… ▽ More The class of LOTS (linearly ordered topological spaces, i.e. spaces equipped with a topology generated by a linear order) contains many important spaces, like the set of real numbers, the set of rational numbers and the ordinals. Such spaces have rich topological properties, which are not necessarily hereditary. The Orderability Problem, a very important question on whether a topological space admits a linear order which generates a topology equal to the topology of the space, was given a general solution by J. van Dalen and E. Wattel, in 1973. In this article we first investigate the role of the interval topology in van Dalen's and Wattel's characterization of LOTS, and we then examine ways to extend this model to transitive relations that are not necessarily linear orders. △ Less

Submitted 28 March, 2018; v1 submitted 23 March, 2018; originally announced March 2018.

Comments: Chapter in the Volume Topics in Mathematical Analysis and Applications, in the Optimization and Its Applications Springer Series, T. Rassias and L. Toth Eds, Springer Verlag, 2014. arXiv admin note: text overlap with arXiv:1306.2146

Robots That Do Not Avoid Obstacles

Authors: Kyriakos Papadopoulos, Apostolos Syropoulos

Abstract: The motion planning problem is a fundamental problem in robotics, so that every autonomous robot should be able to deal with it. A number of solutions have been proposed and a probabilistic one seems to be quite reasonable. However, here we propose a more adoptive solution that uses fuzzy set theory and we expose this solution next to a sort survey on the recent theory of soft robots, for a future… ▽ More The motion planning problem is a fundamental problem in robotics, so that every autonomous robot should be able to deal with it. A number of solutions have been proposed and a probabilistic one seems to be quite reasonable. However, here we propose a more adoptive solution that uses fuzzy set theory and we expose this solution next to a sort survey on the recent theory of soft robots, for a future qualitative comparison between the two. △ Less

Submitted 2 January, 2018; originally announced January 2018.

Comments: To appear in the Handbook of Nonlinear Analysis, Edt Th. Rassias, Springer

Nests, and their Role in the Orderability Problem

Authors: Kyriakos Papadopoulos

Abstract: This chapter is divided into two parts. The first part is a survey of some recent results on nests and the orderability problem. The second part consists of results, partial results and open questions, all viewed in the light of nests. From connected LOTS, to products of LOTS and function spaces, up to an order relation in the Fermat Real Line. This chapter is divided into two parts. The first part is a survey of some recent results on nests and the orderability problem. The second part consists of results, partial results and open questions, all viewed in the light of nests. From connected LOTS, to products of LOTS and function spaces, up to an order relation in the Fermat Real Line. △ Less

Submitted 28 March, 2018; v1 submitted 25 December, 2017; originally announced January 2018.

Comments: Appeared in: Mathematical Analysis, Approximation Theory and their Applications (eds T.M. Rassias and V. Gupta), Springer, New York, 2016. arXiv admin note: text overlap with arXiv:1410.5959

A study concerning splitting and jointly continuous topologies on $C(Y,Z)$

Authors: Dimitris Georgiou, Athanasios Megaritis, Kyriakos Papadopoulos, Vasilios Petropoulos

Abstract: Let $Y$ and $Z$ be two fixed topological spaces and $C(Y,Z)$ the set of all continuous maps from $Y$ into $Z$. We construct and study topologies on $C(Y,Z)$ that we call ${\cal F}_n(τ_n)$-family-open topologies. Furthermore, we find necessary and sufficient conditions such that these topologies to be splitting and jointly continuous. Finally, we present questions concerning a further study on this… ▽ More Let $Y$ and $Z$ be two fixed topological spaces and $C(Y,Z)$ the set of all continuous maps from $Y$ into $Z$. We construct and study topologies on $C(Y,Z)$ that we call ${\cal F}_n(τ_n)$-family-open topologies. Furthermore, we find necessary and sufficient conditions such that these topologies to be splitting and jointly continuous. Finally, we present questions concerning a further study on this area. △ Less

Submitted 1 January, 2018; originally announced January 2018.

Comments: Quaestiones Mathematicae, Volume 39, 2016 - Issue 3, pages 363-379

Spacetime Singularities vs. Topologies of Zeeman-Göbel Class

Authors: Kyriakos Papadopoulos, Basil K. Papadopoulos

Abstract: In this article we first observe that the Path topology of Hawking, King and MacCarthy is an analogue, in curved spacetimes, of a topology that was suggested by Zeeman as an alternative topology to his so-called Fine topology in Minkowski spacetime. We then review a result of a recent paper on spaces of paths and the Path topology, and see that there are at least five more topologies in the class… ▽ More In this article we first observe that the Path topology of Hawking, King and MacCarthy is an analogue, in curved spacetimes, of a topology that was suggested by Zeeman as an alternative topology to his so-called Fine topology in Minkowski spacetime. We then review a result of a recent paper on spaces of paths and the Path topology, and see that there are at least five more topologies in the class $\mathfrak{Z}-\mathfrak{G}$ of Zeeman-Göbel topologies which admit a countable basis, incorporate the causal and conformal structures, but the Limit Curve Theorem fails to hold. The "problem" that L.C.T. does not hold can be resolved by "adding back" the light-cones in the basic-open sets of these topologies, and create new basic open sets for new topologies. But, the main question is: do we really need the L.C.T. to hold, and why? Why is the manifold topology, under which the group of homeomorphisms of a spacetime is vast and of no physical significance (Zeeman), more preferable from an appropriate topology in the class $\mathfrak{Z}-\mathfrak{G}$ under which a homeomorphism is an isometry (Göbel)? Since topological conditions that come as a result of a causality requirement are key in the existence of singularities in general relativity, the global topological conditions that one will supply the spacetime manifold might play an important role in describing the transition from the quantum non-local theory to a classical local theory. △ Less

Submitted 18 June, 2018; v1 submitted 6 December, 2017; originally announced December 2017.

Admissible topologies on $C(Y,Z)$ and ${\cal O}_Z(Y)$

Authors: Dimitris Georgiou, Athanasios Megaritis, Kyriakos Papadopoulos

Abstract: Let $Y$ and $Z$ be two given topological spaces, ${\cal O}(Y)$ (respectively, ${\cal O}(Z)$) the set of all open subsets of $Y$ (respectively, $Z$), and $C(Y,Z)$ the set of all continuous maps from $Y$ to $Z$. We study Scott type topologies on ${\mathcal O}(Y)$ and we construct admissible topologies on $C(Y,Z)$ and… ▽ More Let $Y$ and $Z$ be two given topological spaces, ${\cal O}(Y)$ (respectively, ${\cal O}(Z)$) the set of all open subsets of $Y$ (respectively, $Z$), and $C(Y,Z)$ the set of all continuous maps from $Y$ to $Z$. We study Scott type topologies on ${\mathcal O}(Y)$ and we construct admissible topologies on $C(Y,Z)$ and ${\mathcal O}_Z(Y)=\{f^{-1}(U)\in {\mathcal O}(Y): f\in C(Y,Z)\ {\rm and}\ U\in {\mathcal O}(Z)\}$, introducing new problems in the field. △ Less

Submitted 18 October, 2017; originally announced October 2017.

Comments: This paper appeared in the journal Q and A in General Topology, Volume 32, Number 1 (2014)

Journal ref: Questions and Answers in General Topology, Volume 32, No 1, 2014

On Properties of Nests: Some Answers and Questions

Authors: Kyriakos Papadopoulos

Abstract: By considering nests on a given space, we explore order-theoretical and topological properties that are closely related to the structure of a nest. In particular, we see how subbases given by two dual nests can be an indicator of how close or far are the properties of the space from the structure of a linearly ordered space. Having in mind that the term interlocking nest is a key tool to a general… ▽ More By considering nests on a given space, we explore order-theoretical and topological properties that are closely related to the structure of a nest. In particular, we see how subbases given by two dual nests can be an indicator of how close or far are the properties of the space from the structure of a linearly ordered space. Having in mind that the term interlocking nest is a key tool to a general solution of the orderability problem, we give a characterization of interlocking nest via closed sets in the Alexandroff topology and via lower sets, respectively. We also characterize bounded subsets of a given set in terms of nests and, finally, we explore the possibility of characterizing topological groups via properties of nests. All sections are followed by a number of open questions, which may give new directions to the orderability problem. △ Less

Submitted 18 October, 2017; originally announced October 2017.

Comments: This paper has been published in the journal: Q & A in General Topology (Vol. 33, No 2, 2015.). arXiv admin note: substantial text overlap with arXiv:1302.2519

Journal ref: Questions and Answers in General Topology, Volume 33, Number 2, 2015

The Order on the Light Cone and its induced Topology

Authors: Kyriakos Papadopoulos, Santanu Acharjee, Basil K. Papadopoulos

Abstract: In this article we first correct a recent misconception about a topology that was suggested by Zeeman as a possible alternative to his Fine topology. This misconception appeared while trying to establish the causality in the ambient boundary-ambient space cosmological model. We then show that this topology is actually the intersection topology (in the sense of G.M. Reed) between the Euclidean topo… ▽ More In this article we first correct a recent misconception about a topology that was suggested by Zeeman as a possible alternative to his Fine topology. This misconception appeared while trying to establish the causality in the ambient boundary-ambient space cosmological model. We then show that this topology is actually the intersection topology (in the sense of G.M. Reed) between the Euclidean topology on $\mathbb{R}^4$ and the order topology whose order, namely horismos, is defined on the light cone. Last, but not least, we show that the order topology from horismos belongs to the class of Zeeman topologies. These results accelerate the need for a deeper and more systematic study of the global topological properties of spacetime manifolds. △ Less

Submitted 6 March, 2018; v1 submitted 14 October, 2017; originally announced October 2017.

Comments: arXiv admin note: text overlap with arXiv:1706.07488

On Two Topologies that were suggested by Zeeman

Authors: Kyriakos Papadopoulos, Basil K. Papadopoulos

Abstract: The class of Zeeman topologies on spacetimes in the frame of relativity theory is considered to be of powerful intuitive justification, satisfying a sequence of properties with physical meaning, such as the group of homeomorphisms under such a topology is isomorphic to the Lorentz group and dilatations, in Minkowski spacetime, and to the group of homothetic symmetries in any curved spacetime. In t… ▽ More The class of Zeeman topologies on spacetimes in the frame of relativity theory is considered to be of powerful intuitive justification, satisfying a sequence of properties with physical meaning, such as the group of homeomorphisms under such a topology is isomorphic to the Lorentz group and dilatations, in Minkowski spacetime, and to the group of homothetic symmetries in any curved spacetime. In this article we focus on two distinct topologies that were suggested by Zeeman as alternatives to his Fine topology, showing their connection with two orders: a timelike and a (non-causal) spacelike one. For the (non-causal) spacelike order, we introduce a partition of the null cone which gives the desired topology invariantly from the choice of the hyperplane of partition. In particular, we observe that these two orders induce topologies within the class of Zeeman topologies, while the two suggested topologies by Zeeman himself are intersection topologies of these two order topologies (respectively) with the manifold topology. We end up with a list of open questions and a discussion, comparing the topologies with bounded against those with unbounded open sets and their possible physical interpretation. △ Less

Submitted 20 August, 2018; v1 submitted 22 June, 2017; originally announced June 2017.

A fast algorithm for the gas station problem

Authors: Kleitos Papadopoulos, Demetres Christofides

Abstract: In the gas station problem we want to find the cheapest path between two vertices of an $n$-vertex graph. Our car has a specific fuel capacity and at each vertex we can fill our car with gas, with the fuel cost depending on the vertex. Furthermore, we are allowed at most $Δ$ stops for refuelling. In this short paper we provide an algorithm solving the problem in $O(Δn^2 + n^2\log{n})$ steps impr… ▽ More In the gas station problem we want to find the cheapest path between two vertices of an $n$-vertex graph. Our car has a specific fuel capacity and at each vertex we can fill our car with gas, with the fuel cost depending on the vertex. Furthermore, we are allowed at most $Δ$ stops for refuelling. In this short paper we provide an algorithm solving the problem in $O(Δn^2 + n^2\log{n})$ steps improving an earlier result by Khuller, Malekian and Mestre. △ Less

Submitted 1 June, 2017; originally announced June 2017.

MSC Class: 90B06; 90C35; 68Q25

Helen of Troy, and the birth of Fuzzy Logic

Authors: Kyriakos Papadopoulos, P. Tseliou, B. K. Papadopoulos

Abstract: The poem Helen of the Nobel laureate George Seferis was inspired by the anti war play Helen of Euripides. In his poem, Seferis empathizes with the hero of the tragedy, Teucer, who opposed the involvement of The Gods in the lives of the humans, posing unanswered and contradictory questions. With the verse What is god; What is not a god; what is there in between them, the ancient poet Euripides sets… ▽ More The poem Helen of the Nobel laureate George Seferis was inspired by the anti war play Helen of Euripides. In his poem, Seferis empathizes with the hero of the tragedy, Teucer, who opposed the involvement of The Gods in the lives of the humans, posing unanswered and contradictory questions. With the verse What is god; What is not a god; what is there in between them, the ancient poet Euripides sets foundations to the kind of logic that one can consider as a predecessor of Fuzzy Logic. It is worth noting that when Seferis received the Nobel Prize in Stockholm in 1963, he stated: Right now I feel I am a contradiction myself, a sentence charged with the new language of mathematical logic of the 20th century. Interplaying with the famous words of Karl Weierstrass It is true that a mathematician who is not somewhat of a poet, will never be a perfect mathematician in this article we discuss, through two poems, of how poetry and mathematical logic might have influenced each other. △ Less

Submitted 1 December, 2018; v1 submitted 11 February, 2017; originally announced February 2017.

On the Possibility of Singularities on the Ambient Boundary

Authors: Kyriakos Papadopoulos

Abstract: The order horismos induces the Zeeman $Z$ topology, which is coarser than the Fine Zeeman Topology $F$. The causal curves in a spacetime under $Z$ are piecewise null. $F$ is considered to be the most physical topology in a spacetime manifold $M$, as the group of homeomorphisms of $M$ is isomorphic to the group of homothetic transformations of $M$. $Z$ was used in the Ambient Boundary-Ambient Space… ▽ More The order horismos induces the Zeeman $Z$ topology, which is coarser than the Fine Zeeman Topology $F$. The causal curves in a spacetime under $Z$ are piecewise null. $F$ is considered to be the most physical topology in a spacetime manifold $M$, as the group of homeomorphisms of $M$ is isomorphic to the group of homothetic transformations of $M$. $Z$ was used in the Ambient Boundary-Ambient Space cosmological model, in order to show that there is no possibility of formation of spacetime singularities. In this article we question this result, by reviewing the corresponding articles, and we propose new questions towards the improvement of this model. △ Less

Submitted 26 May, 2017; v1 submitted 6 February, 2017; originally announced February 2017.

The causal order on the ambient boundary

Authors: Ignatios Antoniadis, Spiros Cotsakis, Kyriakos Papadopoulos

Abstract: We analyse the causal structure of the ambient boundary, the conformal infinity of the ambient (Poincaré) metric. Using topological tools we show that the only causal relation compatible with the global topology of the boundary spacetime is the horismos order. This has important consequences for the notion of time in the conformal geometry of the ambient boundary. We analyse the causal structure of the ambient boundary, the conformal infinity of the ambient (Poincaré) metric. Using topological tools we show that the only causal relation compatible with the global topology of the boundary spacetime is the horismos order. This has important consequences for the notion of time in the conformal geometry of the ambient boundary. △ Less

Submitted 26 March, 2016; originally announced March 2016.

Comments: 7 pages

Journal ref: Mod. Phys. Lett. A31 (2016) 1650122

Ion-acoustic Shocks with Self-Regulated Ion Reflection and Acceleration

Authors: M. A. Malkov, R. Z. Sagdeev, G. I. Dudnikova, T. V. Liseykina, P. H. Diamond, K. Papadopoulos, C-S. Liu, J-J. Su

Abstract: An analytic solution describing an ion-acoustic collisionless shock, self-consistently with the evolution of shock-reflected ions, is obtained. The solution extends the classic soliton solution beyond a critical Mach number, where the soliton ceases to exist because of the upstream ion reflection. The reflection transforms the soliton into a shock with a trailing wave and a foot populated by the r… ▽ More An analytic solution describing an ion-acoustic collisionless shock, self-consistently with the evolution of shock-reflected ions, is obtained. The solution extends the classic soliton solution beyond a critical Mach number, where the soliton ceases to exist because of the upstream ion reflection. The reflection transforms the soliton into a shock with a trailing wave and a foot populated by the reflected ions. The solution relates parameters of the entire shock structure, such as the maximum and minimum of the potential in the trailing wave, the height of the foot, as well as the shock Mach number, to the number of reflected ions. This relation is resolvable for any given distribution of the upstream ions. In this paper, we have resolved it for a simple "box" distribution. Two separate models of electron interaction with the shock are considered. The first model corresponds to the standard Boltzmannian electron distribution in which case the critical shock Mach number only insignificantly increases from M=1.6 (no ion reflection) to M=1.8 (substantial reflection). The second model corresponds to adiabatically trapped electrons. They produce a stronger increase, from M=3.1 to M=4.5. The shock foot that is supported by the reflected ions also accelerates them somewhat further. A self-similar foot expansion into the upstream medium is also described analytically. △ Less

Submitted 7 December, 2015; originally announced December 2015.

Comments: 22 pages, 5 figures, submitted to PoP

Journal ref: Physics of Plasmas, Volume 23, Issue 4, 2016