Search

In this study, we demonstrate the possibility to protect, with Quantum Key Distribution (QKD), a critical infrastructure as the fiber-based one used for time and frequency (TF) dissemination service. The proposed technique allows to disseminate secure and precise TF signals between two fiber-opticconnected locations, on a critical infrastructure, using both QKD and White Rabbit technique. This secure exchange allows the secret sharing of time information between two parties for the synchronization of distant clocks with the highest stability and traceable to the Italian time scale. When encrypted, time signals would reveal to a third party no useful information about the synchronization status, providing a time stability two orders of magnitude worsened.

Digital Twins have emerged as a disruptive technology with great potential; they can enhance WDS by offering real-time monitoring, predictive maintenance, and optimization capabilities. This paper describes the development of a state-of-the-art DT platform for WDS, introducing advanced technologies such as the Internet of Things, Artificial Intelligence, and Machine Learning models. This paper provides insight into the architecture of the proposed platform-CAUCCES-that, informed by both historical and meteorological data, effectively deploys AI/ML models like LSTM networks, Prophet, LightGBM, and XGBoost in trying to predict water consumption patterns. Furthermore, we delve into how optimization in the maintenance of WDS can be achieved by formulating a Constraint Programming problem for scheduling, hence minimizing the operational cost efficiently with reduced environmental impacts. It also focuses on cybersecurity and protection to ensure the integrity and reliability of the DT platform. In this view, the system will contribute to improvements in decision-making capabilities, operational efficiency, and system reliability, with reassurance being drawn from the important role it can play toward sustainable management of water resources., Comment: 78 pages, 18 figures

The authors of this article intend to present some results obtained in the study of biderivations of complete Lie algebras. Firstly they present a matricial approach to do this, which was a useful and explanatory tool not only in the study of biderivations but also in the synthesis of these results. Then they study all biderivations of a Lie algebra $L$ with $\operatorname{Z}(L)=0$ and $\operatorname{Der(L)}=\operatorname{ad(L)}$, called complete. Moreover, as an application of the previous result, they describe all biderivations of a semisimple Lie algebra (that are complete), extending a result obtained by X. Tang in ([20]) that describes all biderivations of a complex simple Lie algebra. And thirdly, results on symmetric and skew-symmetric biderivations are also presented., Comment: Accepted manuscript to appear in JAA

In this paper we study non-nilpotent non-Lie Leibniz $\mathbb{F}$-algebras with one-dimensional derived subalgebra, where $\mathbb{F}$ is a field with $\operatorname{char}(\mathbb{F}) \neq 2$. We prove that such an algebra is isomorphic to the direct sum of the two-dimensional non-nilpotent non-Lie Leibniz algebra and an abelian algebra. We denote it by $L_n$, where $n=\dim_{\mathbb{F}} L_n$. This generalizes the result found in [11], which is only valid when $\mathbb{F}=\mathbb{C}$. Moreover, we find the Lie algebra of derivations, its Lie group of automorphisms and the Leibniz algebra of biderivations of $L_n$. Eventually, we solve the coquecigrue problem for $L_n$ by integrating it into a Lie rack., Comment: Final version, accepted for publication

We propose an alternative representation for linear quantum gravity. It is based on the use of a structure that bears some resemblance to the Abelian loop representation used in electromagnetism but with the difference that space of extended object on which waves functions take values have a structure of commutative monoid instead of Abelian group. The generator of duality of the theory is realized in this representation and a geometrical interpretation is discussed.

A mimetic discretization of the Abelian Chern-Simons theory is presented. The study relies on the formulation of a theory of differential forms in the lattice, including a consistent definition of the Hodge duality operation. Explicit expressions for the Gauss Linking Number in the lattice, which correspond to their continuum counterparts are given. A discussion of the discretization of metric structures in the space of transverse vector densities is presented. The study of these metrics could serve to obtain explicit formulae for knot an link invariants in the lattice., Comment: 18 pages

We study a modified mean-field approximation for the Ising Model in arbitrary dimension. Instead of taking a "central" spin, or a small "drop" of fluctuating spins coupled to the effective field of their nearest neighbors as in the Mean-Field or the Bethe-Peierls-Weiss methods, we take an infinite chain of fluctuating spins coupled to the mean field of the rest of the lattice. This results in a significative improvement of the Mean-Field approximation with a small extra effort., Comment: 10 pages, 3 figures

This paper contains the more significant part of the article with the same title that will appear in the Volume 12 of Journal of Group Theory (2009). In this paper we determine all algebraic transformation groups $G$, defined over an algebraically closed field $\sf k$, which operate transitively, but not primitively, on a variety $\Omega$, provided the following conditions are fulfilled. We ask that the (non-effective) action of $G$ on the variety of blocks is sharply 2-transitive, as well as the action on a block $\Delta$ of the normalizer $G_\Delta$. Also we require sharp transitivity on pairs $(X,Y)$ of independent points of $\Omega$, i.e. points contained in different blocks., Comment: 11 pages, this paper contains the more significant part of the article with the same title that will appear in the Volume 12 of Journal of Group Theory (2009)

We try to embed a t-design in a finite commutative group in such a way that the sum of the k points of a block is zero. We can compute the number of blocks of the boolean 2-design having all the non zero vectors of $(Z_2)^n$ as the set of points and the k-subsets of elements the sum of which is zero as blocks., Comment: Extended abstract of a talk given at the conference Combinatorics 2008, Costermano (Italy) 22-28 June 2008. Removed Corollary 9 (false!)

We give a sufficient and necessary condition for a p-adic integer to have p-th root in the ring of p-adic integers. The same condition holds clearly for residues modulo p^k. We give a proof that Fermat's last theorem is false for p-adic integers and for residues mod p^k., Comment: 7 pages, no figure, submitted

We discuss in detail the uniform discretization approach to the quantization of totally constrained theories. This approach allows to construct the continuum theory of interest as a well defined, controlled, limit of well behaved discrete theories. We work out several finite dimensional examples that exhibit behaviors expected to be of importance in the quantization of gravity. We also work out the case of BF theory. At the time of quantization, one can take two points of view. The technique can be used to define, upon taking the continuum limit, the space of physical states of the continuum constrained theory of interest. In particular we show in models that it agrees with the group averaging procedure when the latter exists. The technique can also be used to compute, at the discrete level, conditional probabilities and the introduction of a relational time. Upon taking the continuum limit one can show that one reproduces results obtained by the use of evolving constants, and therefore recover all physical predictions of the continuum theory. This second point of view can also be used as a paradigm to deal with cases where the continuum limit does not exist. There one would have discrete theories that at least at certain scales reproduce the semiclassical properties of the theory of interest. In this way the approach can be viewed as a generalization of the Dirac quantization procedure that can handle situations where the latter fails., Comment: 17 pages, Revtex, no figures, published version

We present a new method for the quantization of totally constrained systems including general relativity. The method consists in constructing discretized theories that have a well defined and controlled continuum limit. The discrete theories are constraint-free and can be readily quantized. This provides a framework where one can introduce a relational notion of time and that nevertheless approximates in a well defined fashion the theory of interest. The method is equivalent to the group averaging procedure for many systems where the latter makes sense and provides a generalization otherwise. In the continuum limit it can be shown to contain, under certain assumptions, the ``master constraint'' of the ``Phoenix project''. It also provides a correspondence principle with the classical theory that does not require to consider the semiclassical limit., Comment: 4 pages, Revtex

The equations obeyed by the vacuum expectation value of the Wilson loop of Abelian gauge theories are considered from the point of view of the loop-space. An approximative scheme for studying these loop-equations for lattice Maxwell theory is presented. The approximation leads to a partial difference equation in the area and length variables of the loop, and certain physically motivated ansatz is seen to reproduce the mean field results from a geometrical perspective., Comment: 7 pages, corrected typos

We analyze the canonical treatment of classical constrained mechanical systems formulated with a discrete time. We prove that under very general conditions, it is possible to introduce nonsingular canonical transformations that preserve the constraint surface and the Poisson or Dirac bracket structure. The conditions for the preservation of the constraints are more stringent than in the continuous case and as a consequence some of the continuum constraints become second class upon discretization and need to be solved by fixing their associated Lagrange multipliers. The gauge invariance of the discrete theory is encoded in a set of arbitrary functions that appear in the generating function of the evolution equations. The resulting scheme is general enough to accommodate the treatment of field theories on the lattice. This paper attempts to clarify and put on sounder footing a discretization technique that has already been used to treat a variety of systems, including Yang--Mills theories, BF-theory and general relativity on the lattice., Comment: 11 pages, RevTeX

A discretization of a continuum theory with constraints or conserved quantities is called mimetic if it mirrors the conserved laws or constraints of the continuum theory at the discrete level. Such discretizations have been found useful in continuum mechanics and in electromagnetism. We have recently introduced a new technique for discretizing constrained theories. The technique yields discretizations that are consistent, in the sense that the constraints and evolution equations can be solved simultaneously, but it cannot be considered mimetic since it achieves consistency by determining the Lagrange multipliers. In this paper we would like to show that when applied to general relativity linearized around a Minkowski background the technique yields a discretization that is mimetic in the traditional sense of the word. We show this using the traditional metric variables and also the Ashtekar new variables, but in the latter case we restrict ourselves to the Euclidean case. We also argue that there appear to exist conceptual difficulties to the construction of a mimetic formulation of the full Einstein equations, and suggest that the new discretization scheme can provide an alternative that is nevertheless close in spirit to the traditional mimetic formulations., Comment: 14 pages, Revtex, no figures, final version to appear in JMP

We discuss the canonical quantization of systems formulated on discrete space-times. We start by analyzing the quantization of simple mechanical systems with discrete time. The quantization becomes challenging when the systems have anholonomic constraints. We propose a new canonical formulation and quantization for such systems in terms of discrete canonical transformations. This allows to construct, for the first time, a canonical formulation for general constrained mechanical systems with discrete time. We extend the analysis to gauge field theories on the lattice. We consider a complete canonical formulation, starting from a discrete action, for lattice Yang--Mills theory discretized in space and Maxwell theory discretized in space and time. After completing the treatment, the results can be shown to coincide with the results of the traditional transfer matrix method. We then apply the method to BF theory, yielding the first lattice treatment for such a theory ever. The framework presented deals directly with the Lorentzian signature without requiring an Euclidean rotation. The whole discussion is framed in such a way as to provide a formalism that would allow a consistent, well defined, canonical formulation and quantization of discrete general relativity, which we will discuss in a forthcoming paper., Comment: 18 pages, RevTex, one figure

In a companion paper we introduced a kinematical arena for the discussion of the constraints of canonical quantum gravity in the spin network representation based on Vassiliev invariants. In this paper we introduce the Hamiltonian constraint, extend the space of states to non-diffeomorphism invariant ``habitats'' and check that the off-shell quantum constraint commutator algebra reproduces the classical Poisson algebra of constraints of general relativity without anomalies. One can therefore consider the resulting set of constraints and space of states as a consistent theory of canonical quantum gravity., Comment: 20 Pages, RevTex, many figures included with psfig

We generalize the idea of Vassiliev invariants to the spin network context, with the aim of using these invariants as a kinematical arena for a canonical quantization of gravity. This paper presents a detailed construction of these invariants (both ambient and regular isotopic) requiring a significant elaboration based on the use of Chern-Simons perturbation theory which extends the work of Kauffman, Martin and Witten to four-valent networks. We show that this space of knot invariants has the crucial property -from the point of view of the quantization of gravity- of being loop differentiable in the sense of distributions. This allows the definition of diffeomorphism and Hamiltonian constraints. We show that the invariants are annihilated by the diffeomorphism constraint. In a companion paper we elaborate on the definition of a Hamiltonian constraint, discuss the constraint algebra, and show that the construction leads to a consistent theory of canonical quantum gravity., Comment: 21 Pages, RevTex, many figures included with psfig

We present a quantization of the Hamiltonian and diffeomorphism constraint of canonical quantum gravity in the spin network representation. The novelty consists in considering a space of wavefunctions based on the Vassiliev knot invariants. The constraints are finite, well defined, and reproduce at the level of quantum commutators the Poisson algebra of constraints of the classical theory. A similar construction can be carried out in 2+1 dimensions leading to the correct quantum theory., Comment: 4 pages, RevTex, one figure

The Gauss constraint in the extended loop representation for quantum gravity is studied. It is shown that there exists a sector of the state space that is rigorously gauge invariant without the generic convergence issues of the extended holonomies., Comment: 8 pages, latex, no figures