-
Nonlocal anisotropic Riesz interactions with a physical confinement
Authors:
Maria Giovanna Mora,
Luca Rondi,
Lucia Scardia,
Edoardo Giovanni Tolotti
Abstract:
In this work we fully characterize, in any space dimension, the minimizer of a class of nonlocal and anisotropic Riesz energies defined over probability measures supported on ellipsoids. In the super-Coulombic and Coulombic regime, we prove that the minimizer is independent of the anisotropy. In contrast, in the sub-Coulombic regime we show that this property fails: we exhibit an example of anisot…
▽ More
In this work we fully characterize, in any space dimension, the minimizer of a class of nonlocal and anisotropic Riesz energies defined over probability measures supported on ellipsoids. In the super-Coulombic and Coulombic regime, we prove that the minimizer is independent of the anisotropy. In contrast, in the sub-Coulombic regime we show that this property fails: we exhibit an example of anisotropy for which the isotropic minimizer is not optimal. In order to prove our main result, we provide a formula for the potential inside an ellipsoid, valid in any space dimension and involving the hypergeometric function.
△ Less
Submitted 10 July, 2025;
originally announced July 2025.
-
Explicit minimisers for anisotropic Riesz energies
Authors:
Rupert L. Frank,
Joan Mateu,
Maria Giovanna Mora,
Luca Rondi,
Lucia Scardia,
Joan Verdera
Abstract:
In this paper we characterise the energy minimisers of a class of nonlocal interaction energies where the attraction is quadratic, and the repulsion is Riesz-like and anisotropic.
In this paper we characterise the energy minimisers of a class of nonlocal interaction energies where the attraction is quadratic, and the repulsion is Riesz-like and anisotropic.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
System of stochastic interacting wave functions that model quantum measurements
Authors:
Carlos M. Mora
Abstract:
We develop a system of non-linear stochastic evolution equations that describes the continuous measurements of quantum systems with mixed initial state. We address quantum systems with unbounded Hamiltonians and unbounded interaction operators. Using arguments of the theory of quantum measurements we derive a system of stochastic interacting wave functions (SIWF for short) that models the continuo…
▽ More
We develop a system of non-linear stochastic evolution equations that describes the continuous measurements of quantum systems with mixed initial state. We address quantum systems with unbounded Hamiltonians and unbounded interaction operators. Using arguments of the theory of quantum measurements we derive a system of stochastic interacting wave functions (SIWF for short) that models the continuous monitoring of quantum systems. We prove the existence and uniqueness of the solution to this system under conditions general enough for the applications. We obtain that the mixed state generated by the SIWF at any time does not depend on the initial state, and satisfies the diffusive stochastic quantum master equation, which is also known as Belavkin equation. We present two physical examples. In one, the SIWF becomes a system of non-linear stochastic partial differential equations. In the other, we deal with a model of a circuit quantum electrodynamics.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Rigorous analysis of shape transitions in frustrated elastic ribbons
Authors:
Cy Maor,
Maria Giovanna Mora
Abstract:
Ribbons are elastic bodies of thickness $t$ and width $w$, where $t\ll w\ll 1$. Many ribbons in nature have a non-trivial internal geometry, making them incompatible with the Euclidean space; this incompatibility, which can be represented as a failure of the Gauss-Codazzi equations for surfaces, often results in shape transitions between narrow and wide ribbons. These transitions depend on the int…
▽ More
Ribbons are elastic bodies of thickness $t$ and width $w$, where $t\ll w\ll 1$. Many ribbons in nature have a non-trivial internal geometry, making them incompatible with the Euclidean space; this incompatibility, which can be represented as a failure of the Gauss-Codazzi equations for surfaces, often results in shape transitions between narrow and wide ribbons. These transitions depend on the internal geometry: ribbons whose incompatibility arises from failure of the Gauss equation always exhibit a transition, whereas some, but not all, of those whose incompatibility arises from failure of the Codazzi equations do. We give the first rigorous analysis of this behavior, mainly for ribbons whose first fundamental form is flat: for Gauss-incompatible ribbons we identify the natural energy scaling of the problem and prove the existence of a shape transition, and for Codazzi-incompatible ribbons we give a necessary condition for a transition to occur. The results are obtained by calculating the $Γ$-limits, as $t,w\to 0$, for narrow ribbons ($w^2 \ll t$), and wide ribbons (taking $t$ to zero and then $w$), in the natural energy scalings dictated by the internal geometry.
△ Less
Submitted 14 March, 2025;
originally announced March 2025.
-
Spatial regularity for general yield criteria in dynamic and quasi-static perfect plasticity
Authors:
Jean-François Babadjian,
Alessandro Giacomini,
Maria Giovanna Mora
Abstract:
This work addresses the question of regularity of solutions to evolutionary (quasi-static and dynamic) perfect plasticity models. Under the assumption that the elasticity set is a compact convex subset of deviatoric matrices, with $C^2$ boundary and positive definite second fundamental form, it is proved that the Cauchy stress admits spatial partial derivatives that are locally square integrable.…
▽ More
This work addresses the question of regularity of solutions to evolutionary (quasi-static and dynamic) perfect plasticity models. Under the assumption that the elasticity set is a compact convex subset of deviatoric matrices, with $C^2$ boundary and positive definite second fundamental form, it is proved that the Cauchy stress admits spatial partial derivatives that are locally square integrable. In the dynamic case, a similar regularity result is established for the velocity as well. In the latter case, one-dimensional counterexamples show that, although solutions are Sobolev in the interior of the domain, singularities may appear at the boundary and the Dirichlet condition may fail to be attained.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
On the metric representation of the vertices of a graph
Authors:
Mercè Mora,
María Luz Puertas
Abstract:
The metric representation of a vertex $u$ in a connected graph $G$ respect to an ordered vertex subset $W=\{ω_1, \dots , ω_n\}\subset V(G)$ is the vector of distances $r(u\vert W)=(d(u,ω_1), \dots , d(u,ω_n))$. A vertex subset $W$ is a resolving set of $G$ if $r(u\vert W)\neq r(v\vert W)$, for every $u,v\in V(G)$ with $u\neq v$. Thus, a resolving set with $n$ elements provides a set of metric repr…
▽ More
The metric representation of a vertex $u$ in a connected graph $G$ respect to an ordered vertex subset $W=\{ω_1, \dots , ω_n\}\subset V(G)$ is the vector of distances $r(u\vert W)=(d(u,ω_1), \dots , d(u,ω_n))$. A vertex subset $W$ is a resolving set of $G$ if $r(u\vert W)\neq r(v\vert W)$, for every $u,v\in V(G)$ with $u\neq v$. Thus, a resolving set with $n$ elements provides a set of metric representation vectors $S\subset \mathbb{Z}^n$ with cardinal equal to the order of the graph. In this paper, we address the reverse point of view, that is, we characterize the finite subsets $S\subset \mathbb{Z}^n$ that are realizable as the set of metric representation vectors of a graph $G$ with respect to some resolving set $W$. We also explore the role that the strong product of paths plays in this context. Moreover, in the case $n=2$, we characterize the sets $S\subset \mathbb{Z}^2$ that are uniquely realizable as the set of metric representation vectors of a graph $G$ with respect to a resolving set $W$.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
Upper bounds on the $k$-isolation number
Authors:
Peter Borg,
Magdalena Lemańska,
Mercè Mora,
María José Souto-Salorio
Abstract:
The isolation number of a graph $G$ (also called the vertex-edge domination number of $G$), denoted by $ι(G)$, is the size of a smallest subset $D$ of the vertex set $V(G)$ of $G$ such that $G-N[D]$ (the graph obtained by deleting the closed neighbourhood $N[D]$ of $D$ from $G$) has no edges. For $k \geq 1$, the $k$-isolation number of $G$ is the size of a smallest subset $D$ of $V(G)$ such that t…
▽ More
The isolation number of a graph $G$ (also called the vertex-edge domination number of $G$), denoted by $ι(G)$, is the size of a smallest subset $D$ of the vertex set $V(G)$ of $G$ such that $G-N[D]$ (the graph obtained by deleting the closed neighbourhood $N[D]$ of $D$ from $G$) has no edges. For $k \geq 1$, the $k$-isolation number of $G$ is the size of a smallest subset $D$ of $V(G)$ such that the maximum degree of $G-N[D]$ is at most $k-1$. Thus, $ι_1(G) = ι(G)$. Let $n$ and $\ell$ be the number of vertices and the number of leaves of $G$, respectively. We show that if $n \geq 3$ and $G$ is connected, then $ι_k(G) \leq \frac{n - \ell}{2}$. We also show that if $G$ is a tree $T$, then $ι(T) \leq \frac{n + \ell}{4}$ and $ι_k(T) \leq \frac{n + \ell}{2k+1}$ for $k \geq 2$. These bounds together improve the inequality $ι_k(T) \leq \frac{n}{k+2}$ of Caro and Hansberg except that their inequality is better if $k \geq 2$ and $\frac{k-1}{k+2}n < \ell < \frac{k}{k+2}n$. Each of the new bounds is attainable if it is an integer. For each of them, we characterize all the graphs that attain it.
△ Less
Submitted 14 February, 2025; v1 submitted 26 August, 2024;
originally announced August 2024.
-
Antimagic and product antimagic graphs with pendant edges
Authors:
Mercè Mora,
Joaquín Tey
Abstract:
Let $G=(V,E)$ be a simple graph of size $m$ and $L$ a set of $m$ distinct real numbers. An $L$-labeling of $G$ is a bijection $φ: E \rightarrow L$. We say that $φ$ is an antimagic $L$-labeling if the induced vertex sum $φ_+: V \rightarrow \mathbb {R}$ defined as $φ_+(u)=\sum_{uv\in E}φ(uv)$ is injective. Similarly, $φ$ is a product antimagic $L$-labeling of $G$ if the induced vertex product…
▽ More
Let $G=(V,E)$ be a simple graph of size $m$ and $L$ a set of $m$ distinct real numbers. An $L$-labeling of $G$ is a bijection $φ: E \rightarrow L$. We say that $φ$ is an antimagic $L$-labeling if the induced vertex sum $φ_+: V \rightarrow \mathbb {R}$ defined as $φ_+(u)=\sum_{uv\in E}φ(uv)$ is injective. Similarly, $φ$ is a product antimagic $L$-labeling of $G$ if the induced vertex product $φ_{\circ}: V \rightarrow \mathbb {R}$ defined as $φ_{\circ}(u)=\prod_{uv\in E}φ(uv)$ is injective. A graph $G$ is antimagic (resp. product antimagic) if it has an antimagic (resp. a product antimagic) $L$-labeling for $L=\{1,2,\dots,m\}$. Hartsfield and Ringel conjectured that every simple connected graph distinct from $K_2$ is antimagic, but the conjecture remains widely open.
We prove, among other results, that every connected graph of size $m$, $m \geq 3$, admits an antimagic $L$-labeling for every arithmetic sequence $L$ of $m$ positive real numbers, if every vertex of degree at least three is a support vertex. As a corollary, we derive that these graphs are antimagic, reinforcing the veracity of the conjecture by Hartsfield and Ringel. Moreover, these graphs admit also a product antimagic $L$-labeling provided that the smallest element of $L$ is at least one. The proof is constructive.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Shape optimisation for nonlocal anisotropic energies
Authors:
Riccardo Cristoferi,
Maria Giovanna Mora,
Lucia Scardia
Abstract:
In this paper we consider shape optimisation problems for sets of prescribed mass, where the driving energy functional is nonlocal and anisotropic. More precisely, we deal with the case of attractive/repulsive interactions in two and three dimensions, where the attraction is quadratic and the repulsion is given by an anisotropic variant of the Coulomb potential. Under the sole assumption of strict…
▽ More
In this paper we consider shape optimisation problems for sets of prescribed mass, where the driving energy functional is nonlocal and anisotropic. More precisely, we deal with the case of attractive/repulsive interactions in two and three dimensions, where the attraction is quadratic and the repulsion is given by an anisotropic variant of the Coulomb potential. Under the sole assumption of strict positivity of the Fourier transform of the interaction potential, we show the existence of a threshold value for the mass above which the minimiser is an ellipsoid, and below which the minimiser does not exist. If, instead, the Fourier transform of the interaction potential is only nonnegative, we show the emergence of a dichotomy: either there exists a threshold value for the mass as in the case above, or the minimiser is an ellipsoid for any positive value of the mass.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Liquid Filled Elastomers: From Linearization to Elastic Enhancement
Authors:
Juan Casado Dìaz,
Gilles A. Francfort,
Oscar Lopez-Pamies,
Maria Giovanna Mora
Abstract:
Surface tension at cavity walls can play havoc with the mechanical properties of perforated soft solids when the cavities are filled with a fluid. This study is an investigation of the macroscopic elastic properties of elastomers embedding spherical cavities filled with a pressurized liquid in the presence of surface tension, starting with the linearization of the fully nonlinear model and ending…
▽ More
Surface tension at cavity walls can play havoc with the mechanical properties of perforated soft solids when the cavities are filled with a fluid. This study is an investigation of the macroscopic elastic properties of elastomers embedding spherical cavities filled with a pressurized liquid in the presence of surface tension, starting with the linearization of the fully nonlinear model and ending with the enhancement properties of the linearized model when many such liquid filled cavities are present.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Graphs with isolation number equal to one third of the order
Authors:
Magdalena Lemanska,
Mercè Mora,
María José Souto-Salorio
Abstract:
A set $D$ of vertices of a graph $G$ is isolating if the set of vertices not in $D$ or with no neighbor in $D$ is independent. The isolation number of $G$, denoted by $ι(G)$, is the minimum cardinality of an isolating set of $G$. It is known that $ι(G)\le n/3$, if $G$ is a connected graph of order $n$, $n\ge 3$, distinct from $C_5$. The main result of this work is the characterisation of unicyclic…
▽ More
A set $D$ of vertices of a graph $G$ is isolating if the set of vertices not in $D$ or with no neighbor in $D$ is independent. The isolation number of $G$, denoted by $ι(G)$, is the minimum cardinality of an isolating set of $G$. It is known that $ι(G)\le n/3$, if $G$ is a connected graph of order $n$, $n\ge 3$, distinct from $C_5$. The main result of this work is the characterisation of unicyclic and block graphs of order $n$ with isolating number equal to $n/3$. Moreover, we provide a family of general graphs attaining this upper bound on the isolation number.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Nonlocal anisotropic interactions of Coulomb type
Authors:
Maria Giovanna Mora
Abstract:
In this paper we review some recent results on nonlocal interaction problems. The focus is on interaction kernels that are anisotropic variants of the classical Coulomb kernel. In other words, while preserving the same singularity at zero of the Coulomb kernel, they present preferred directions of interaction. For kernels of this kind and general confinement we will prove existence and uniqueness…
▽ More
In this paper we review some recent results on nonlocal interaction problems. The focus is on interaction kernels that are anisotropic variants of the classical Coulomb kernel. In other words, while preserving the same singularity at zero of the Coulomb kernel, they present preferred directions of interaction. For kernels of this kind and general confinement we will prove existence and uniqueness of minimisers of the corresponding energy. In the case of a quadratic confinement we will review a recent result by Carrillo & Shu about the explicit characterisation of minimisers, and present a new proof, which has the advantage of being extendable to higher dimension. In light of this result, we will re-examine some previous works motivated by applications to dislocation theory in materials science. Finally, we will discuss some related results and open questions.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Explicit minimisers for anisotropic Coulomb energies in 3D
Authors:
Joan Mateu,
Maria Giovanna Mora,
Luca Rondi,
Lucia Scardia,
Joan Verdera
Abstract:
In this paper we consider a general class of anisotropic energies in three dimensions and give a complete characterisation of their minimisers. We show that, depending on the Fourier transform of the interaction potential, the minimiser is either the normalised characteristic function of an ellipsoid or a measure supported on a two-dimensional ellipse. In particular, it is always an ellipsoid if t…
▽ More
In this paper we consider a general class of anisotropic energies in three dimensions and give a complete characterisation of their minimisers. We show that, depending on the Fourier transform of the interaction potential, the minimiser is either the normalised characteristic function of an ellipsoid or a measure supported on a two-dimensional ellipse. In particular, it is always an ellipsoid if the transform is strictly positive, while when the Fourier transform is degenerate both cases can occur. Finally, we show an explicit example where loss of dimensionality of the minimiser does occur.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Paired and semipaired domination in triangulations
Authors:
M. Claverol,
C. Hernando,
M. Maureso,
M. Mora,
J. Tejel
Abstract:
A dominating set of a graph $G$ is a subset $D$ of vertices such that every vertex not in $D$ is adjacent to at least one vertex in $D$. A dominating set $D$ is paired if the subgraph induced by its vertices has a perfect matching, and semipaired if every vertex in $D$ is paired with exactly one other vertex in $D$ that is within distance 2 from it. The paired domination number, denoted by…
▽ More
A dominating set of a graph $G$ is a subset $D$ of vertices such that every vertex not in $D$ is adjacent to at least one vertex in $D$. A dominating set $D$ is paired if the subgraph induced by its vertices has a perfect matching, and semipaired if every vertex in $D$ is paired with exactly one other vertex in $D$ that is within distance 2 from it. The paired domination number, denoted by $γ_{pr}(G)$, is the minimum cardinality of a paired dominating set of $G$, and the semipaired domination number, denoted by $γ_{pr2}(G)$, is the minimum cardinality of a semipaired dominating set of $G$. A near-triangulation is a biconnected planar graph that admits a plane embedding such that all of its faces are triangles except possibly the outer face. We show in this paper that $γ_{pr}(G) \le 2 \lfloor \frac{n}{4} \rfloor$ for any near-triangulation $G$ of order $n\ge 4$, and that with some exceptions, $γ_{pr2}(G) \le \lfloor \frac{2n}{5} \rfloor$ for any near-triangulation $G$ of order $n\ge 5$.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Pressure live loads and the variational derivation of linear elasticity
Authors:
Maria Giovanna Mora,
Filippo Riva
Abstract:
The rigorous derivation of linear elasticity from finite elasticity by means of Gamma-convergence is a well-known result, which has been extended to different models also beyond the elastic regime. However, in these results the applied forces are usually assumed to be dead loads, that is, their density in the reference configuration is independent of the actual deformation. In this paper we begin…
▽ More
The rigorous derivation of linear elasticity from finite elasticity by means of Gamma-convergence is a well-known result, which has been extended to different models also beyond the elastic regime. However, in these results the applied forces are usually assumed to be dead loads, that is, their density in the reference configuration is independent of the actual deformation. In this paper we begin a study of the variational derivation of linear elasticity in the presence of live loads. We consider a pure traction problem for a nonlinearly elastic body subject to a pressure live load and we compute its linearization for small pressure by Gamma-convergence. We allow for a weakly coercive elastic energy density and we prove strong convergence of minimizers.
△ Less
Submitted 21 March, 2022; v1 submitted 8 March, 2022;
originally announced March 2022.
-
Isosystolic inequalities on two-dimensional Finsler tori
Authors:
Florent Balacheff,
Teo Gil Moreno de Mora
Abstract:
In this article we survey all known optimal isosystolic inequalities on two-dimensional Finsler tori involving the following two central notions of Finsler area: the Busemann-Hausdorff area and the Holmes-Thompson area. We also complete the panorama by establishing the following new optimal isosystolic inequality that is deduced from prior work by Burago and Ivanov: the Busemann-Hausdorff area of…
▽ More
In this article we survey all known optimal isosystolic inequalities on two-dimensional Finsler tori involving the following two central notions of Finsler area: the Busemann-Hausdorff area and the Holmes-Thompson area. We also complete the panorama by establishing the following new optimal isosystolic inequality that is deduced from prior work by Burago and Ivanov: the Busemann-Hausdorff area of a Finsler reversible $2$-torus with unit systole is at least equal to $π/4$.
△ Less
Submitted 12 February, 2024; v1 submitted 13 January, 2022;
originally announced January 2022.
-
Stability of ellipsoids as the energy minimisers of perturbed Coulomb energies
Authors:
Joan Mateu,
Maria Giovanna Mora,
Luca Rondi,
Lucia Scardia,
Joan Verdera
Abstract:
In this paper we characterise the minimiser for a class of nonlocal perturbations of the Coulomb energy. We show that the minimiser is the normalised characteristic function of an ellipsoid, under the assumption that the perturbation kernel has the same homogeneity as the Coulomb potential, is even, smooth off the origin and sufficiently small. This result can be seen as the stability of ellipsoid…
▽ More
In this paper we characterise the minimiser for a class of nonlocal perturbations of the Coulomb energy. We show that the minimiser is the normalised characteristic function of an ellipsoid, under the assumption that the perturbation kernel has the same homogeneity as the Coulomb potential, is even, smooth off the origin and sufficiently small. This result can be seen as the stability of ellipsoids as energy minimisers, since the minimiser of the Coulomb energy is the normalised characteristic function of a ball.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
Resolving sets tolerant to failures in three-dimensional grids
Authors:
Mercè Mora,
María José Souto Salorio,
Ana Dorotea Tarrío-Tobar
Abstract:
An ordered set $S$ of vertices of a graph $G$ is a resolving set for $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of G is the minimum cardinality of a resolving set. In this paper we study resolving sets tolerant to several failures in three-dimensional grids. Concretely, we seek for minimum cardinality sets that are resolving a…
▽ More
An ordered set $S$ of vertices of a graph $G$ is a resolving set for $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of G is the minimum cardinality of a resolving set. In this paper we study resolving sets tolerant to several failures in three-dimensional grids. Concretely, we seek for minimum cardinality sets that are resolving after removing any $k$ vertices from the set. This is equivalent to finding $(k+1)$-resolving sets, a generalization of resolving sets, where, for every pair of vertices, the vector of distances to the vertices of the set differ in at least $k+1$ coordinates. This problem is also related with the study of the $(k+1)$-metric dimension of a graph, defined as the minimum cardinality of a $(k+1)$-resolving set. In this work, we first prove that the metric dimension of a three-dimensional grid is 3 and establish some properties involving resolving sets in these graphs. Secondly, we determine the values of $k\ge 1$ for which there exists a $(k+1)$-resolving set and construct such a resolving set of minimum cardinality in almost all cases.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Stability of boundary conditions for the Sadowsky functional
Authors:
Lorenzo Freddi,
Peter Hornung,
Maria Giovanna Mora,
Roberto Paroni
Abstract:
It has been proved by the authors that the (extended) Sadowsky functional can be deduced as the Gamma-limit of the Kirchhoff energy on a rectangular strip of height $\varepsilon$, as $\varepsilon$ tends to 0. In this paper we show that this Gamma-convergence result is stable when affine boundary conditions are prescribed on the short sides of the strip. These boundary conditions include those corr…
▽ More
It has been proved by the authors that the (extended) Sadowsky functional can be deduced as the Gamma-limit of the Kirchhoff energy on a rectangular strip of height $\varepsilon$, as $\varepsilon$ tends to 0. In this paper we show that this Gamma-convergence result is stable when affine boundary conditions are prescribed on the short sides of the strip. These boundary conditions include those corresponding to a Möbius band.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
The Equidistant Dimension of Graphs
Authors:
A. González,
C. Hernando,
M. Mora
Abstract:
A subset $S$ of vertices of a connected graph $G$ is a distance-equalizer set if for every two distinct vertices $x, y \in V (G) \setminus S$ there is a vertex $w \in S$ such that the distances from $x$ and $y$ to $w$ are the same. The equidistant dimension of $G$ is the minimum cardinality of a distance-equalizer set of G. This paper is devoted to introduce this parameter and explore its properti…
▽ More
A subset $S$ of vertices of a connected graph $G$ is a distance-equalizer set if for every two distinct vertices $x, y \in V (G) \setminus S$ there is a vertex $w \in S$ such that the distances from $x$ and $y$ to $w$ are the same. The equidistant dimension of $G$ is the minimum cardinality of a distance-equalizer set of G. This paper is devoted to introduce this parameter and explore its properties and applications to other mathematical problems, not necessarily in the context of graph theory. Concretely, we first establish some bounds concerning the order, the maximum degree, the clique number, and the independence number, and characterize all graphs attaining some extremal values. We then study the equidistant dimension of several families of graphs (complete and complete multipartite graphs, bistars, paths, cycles, and Johnson graphs), proving that, in the case of paths and cycles, this parameter is related with 3-AP-free sets. Subsequently, we show the usefulness of distance-equalizer sets for constructing doubly resolving sets.
△ Less
Submitted 22 July, 2021;
originally announced July 2021.
-
Total domination in plane triangulations
Authors:
M. Claverol,
A. García,
G. Hernández,
C. Hernando,
M. Maureso,
M. Mora,
J. Tejel
Abstract:
A total dominating set of a graph $G=(V,E)$ is a subset $D$ of $V$ such that every vertex in $V$ is adjacent to at least one vertex in $D$. The total domination number of $G$, denoted by $γ_t (G)$, is the minimum cardinality of a total dominating set of $G$. A near-triangulation is a biconnected planar graph that admits a plane embedding such that all of its faces are triangles except possibly the…
▽ More
A total dominating set of a graph $G=(V,E)$ is a subset $D$ of $V$ such that every vertex in $V$ is adjacent to at least one vertex in $D$. The total domination number of $G$, denoted by $γ_t (G)$, is the minimum cardinality of a total dominating set of $G$. A near-triangulation is a biconnected planar graph that admits a plane embedding such that all of its faces are triangles except possibly the outer face. We show in this paper that $γ_t (G) \le \lfloor \frac{2n}{5}\rfloor$ for any near-triangulation $G$ of order $n\ge 5$, with two exceptions.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Reference configurations vs. optimal rotations: a derivation of linear elasticity from finite elasticity for all traction forces
Authors:
Cy Maor,
Maria Giovanna Mora
Abstract:
We rigorously derive linear elasticity as a low energy limit of pure traction nonlinear elasticity. Unlike previous results, we do not impose any restrictive assumptions on the forces, and obtain a full $Γ$-convergence result. The analysis relies on identifying the correct reference configuration to linearize about, and studying its relation to the rotations preferred by the forces (optimal rotati…
▽ More
We rigorously derive linear elasticity as a low energy limit of pure traction nonlinear elasticity. Unlike previous results, we do not impose any restrictive assumptions on the forces, and obtain a full $Γ$-convergence result. The analysis relies on identifying the correct reference configuration to linearize about, and studying its relation to the rotations preferred by the forces (optimal rotations). The $Γ$-limit is the standard linear elasticity model, plus a term that penalizes for fluctuations of the reference configurations from the optimal rotations. However, on minimizers this additional term is zero and the limit energy reduces to standard linear elasticity.
△ Less
Submitted 17 May, 2021; v1 submitted 27 August, 2020;
originally announced August 2020.
-
Basic properties of a mean field laser equation
Authors:
Franco Fagnola,
Carlos M. Mora
Abstract:
We study the non-linear quantum master equation describing a laser under the mean field approximation. The quantum system is formed by a single mode optical cavity and two level atoms, which interact with reservoirs. Namely, we establish the existence and uniqueness of the regular solution to the non-linear operator equation under consideration, as well as we get a probabilistic representation for…
▽ More
We study the non-linear quantum master equation describing a laser under the mean field approximation. The quantum system is formed by a single mode optical cavity and two level atoms, which interact with reservoirs. Namely, we establish the existence and uniqueness of the regular solution to the non-linear operator equation under consideration, as well as we get a probabilistic representation for this solution in terms of a mean field stochastic Schröndiger equation. To this end, we find a regular solution for the non-autonomous linear quantum master equation in Gorini-Kossakowski-Sudarshan-Lindblad form, and we prove the uniqueness of the solution to the non-autonomous linear adjoint quantum master equation in Gorini-Kossakowski-Sudarshan-Lindblad form. Moreover, we obtain rigorously the Maxwell-Bloch equations from the mean field laser equation.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Weak variable step-size schemes for stochastic differential equations based on controlling conditional moments
Authors:
Carlos M. Mora,
Juan Carlos Jimenez,
Monica Selva
Abstract:
We address the weak numerical solution of stochastic differential equations driven by independent Brownian motions (SDEs for short). This paper develops a new methodology to design adaptive strategies for determining automatically the step-sizes of the numerical schemes that compute the mean values of smooth functions of the solutions of SDEs. First, we introduce a general method for constructing…
▽ More
We address the weak numerical solution of stochastic differential equations driven by independent Brownian motions (SDEs for short). This paper develops a new methodology to design adaptive strategies for determining automatically the step-sizes of the numerical schemes that compute the mean values of smooth functions of the solutions of SDEs. First, we introduce a general method for constructing variable step-size weak schemes for SDEs, which is based on controlling the match between the first conditional moments of the increments of the numerical integrator and the ones corresponding to an additional weak approximation. To this end, we use certain local discrepancy functions that do not involve sampling random variables. Precise directions for designing suitable discrepancy functions and for selecting starting step-sizes are given. Second, we introduce a variable step-size Euler scheme, together with a variable step-size second order weak scheme via extrapolation. Finally, numerical simulations are presented to show the potential of the introduced variable step-size strategy and the adaptive scheme to overcome known instability problems of the conventional fixed step-size schemes in the computation of diffusion functional expectations.
△ Less
Submitted 8 February, 2023; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Explicit minimisers of some nonlocal anisotropic energies: a short proof
Authors:
J. Mateu,
M. G. Mora,
l. Rondi,
L. Scardia,
J. Verdera
Abstract:
In this paper we consider nonlocal energies defined on probability measures in the plane, given by a convolution interaction term plus a quadratic confinement. The interaction kernel is $-\log|z|+α\, x^2/|z|^2, \; z=x+iy,$ with $-1 < α< 1.$ This kernel is anisotropic except for the Coulombic case $α=0.$ We present a short compact proof of the known surprising fact that the unique minimiser of the…
▽ More
In this paper we consider nonlocal energies defined on probability measures in the plane, given by a convolution interaction term plus a quadratic confinement. The interaction kernel is $-\log|z|+α\, x^2/|z|^2, \; z=x+iy,$ with $-1 < α< 1.$ This kernel is anisotropic except for the Coulombic case $α=0.$ We present a short compact proof of the known surprising fact that the unique minimiser of the energy is the normalised characteristic function of the domain enclosed by an ellipse with horizontal semi-axis $\sqrt{1-α}$ and vertical semi-axis $\sqrt{1+α}.$ Letting $α\to 1^-$ we find that the semicircle law on the vertical axis is the unique minimiser of the corresponding energy, a result related to interacting dislocations, and previously obtained by some of the authors. We devote the first sections of this paper to presenting some well-known background material in the simplest way possible, so that readers unfamiliar with the subject find the proofs accessible
△ Less
Submitted 9 October, 2020; v1 submitted 30 March, 2020;
originally announced March 2020.
-
The equilibrium measure for an anisotropic nonlocal energy
Authors:
J. A. Carrillo,
J. Mateu,
M. G. Mora,
L. Rondi,
L. Scardia,
J. Verdera
Abstract:
In this paper we characterise the minimisers of a one-parameter family of nonlocal and anisotropic energies $I_α$ defined on probability measures in $\R^n$, with $n\geq 3$. The energy $I_α$ consists of a purely nonlocal term of convolution type, whose interaction kernel reduces to the Coulomb potential for $α=0$ and is anisotropic otherwise, and a quadratic confinement. The two-dimensional case ar…
▽ More
In this paper we characterise the minimisers of a one-parameter family of nonlocal and anisotropic energies $I_α$ defined on probability measures in $\R^n$, with $n\geq 3$. The energy $I_α$ consists of a purely nonlocal term of convolution type, whose interaction kernel reduces to the Coulomb potential for $α=0$ and is anisotropic otherwise, and a quadratic confinement. The two-dimensional case arises in the study of defects in metals and has been solved by the authors by means of complex-analysis techniques. We prove that for $α\in (-1, n-2]$, the minimiser of $I_α$ is unique and is the (normalised) characteristic function of a spheroid. This result is a paradigmatic example of the role of the anisotropy of the kernel on the shape of minimisers. In particular, the phenomenon of loss of dimensionality, observed in dimension $n=2$, does not occur in higher dimension at the value $α=n-2$ corresponding to the sign change of the Fourier transform of the interaction potential.
△ Less
Submitted 30 June, 2019;
originally announced July 2019.
-
Trees whose even-degree vertices induce a path are antimagic
Authors:
Antoni Lozano,
Mercè Mora,
Carlos Seara,
Joaquín Tey
Abstract:
An antimagic labeling a connected graph $G$ is a bijection from the set of edges $E(G)$ to $\{1,2,\dots,|E(G)|\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $v$ is the sum of the labels assigned to edges incident to $v$. A graph is called antimagic if it has an antimagic labeling. In 1990, Hartsfield and Ringel conjectured that every simple connected graph othe…
▽ More
An antimagic labeling a connected graph $G$ is a bijection from the set of edges $E(G)$ to $\{1,2,\dots,|E(G)|\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $v$ is the sum of the labels assigned to edges incident to $v$. A graph is called antimagic if it has an antimagic labeling. In 1990, Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic; however, the conjecture remains open, even for trees. In this note we prove that trees whose vertices of even degree induce a path are antimagic, extending a result given by Liang, Wong, and Zhu [Discrete Math. 331 (2014) 9--14].
△ Less
Submitted 16 May, 2019;
originally announced May 2019.
-
The Neighbor-Locating-Chromatic Number of Pseudotrees
Authors:
Liliana Alcon,
Marisa Gutierrez,
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo
Abstract:
A $k$-coloring of a graph $G$ is a partition of the set of vertices of $G$ into $k$ independent sets, which are called colors. A $k$-coloring is neighbor-locating if any two vertices belonging to the same color can be distinguished from each other by the colors of their respective neighbors. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating col…
▽ More
A $k$-coloring of a graph $G$ is a partition of the set of vertices of $G$ into $k$ independent sets, which are called colors. A $k$-coloring is neighbor-locating if any two vertices belonging to the same color can be distinguished from each other by the colors of their respective neighbors. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$. In this paper, we determine the neighbor-locating chromatic number of paths, cycles, fans, and wheels. Moreover, a procedure to construct a neighbor-locating coloring of minimum cardinality for these families of graphs is given. We also obtain tight upper bounds on the order of trees and unicyclic graphs in terms of the neighbor-locating chromatic number. Further partial results for trees are also established.
△ Less
Submitted 23 January, 2020; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Metric dimension of maximal outerplanar graphs
Authors:
Mercè Claverol,
Alfredo García,
Greogorio Hernández,
Carmen Hernando,
Montserrat Maureso,
Mercè Mora,
Javier Tejel
Abstract:
In this paper, we study the metric dimension problem in maximal outerplanar graphs. Concretely, if $β(G)$ is the metric dimension of a maximal outerplanar graph $G$ of order $n$, we prove that $2\le β(G) \le \lceil \frac{2n}{5}\rceil$ and that the bounds are tight. We also provide linear algorithms to decide whether the metric dimension of $G$ is 2 and to build a resolving set of size…
▽ More
In this paper, we study the metric dimension problem in maximal outerplanar graphs. Concretely, if $β(G)$ is the metric dimension of a maximal outerplanar graph $G$ of order $n$, we prove that $2\le β(G) \le \lceil \frac{2n}{5}\rceil$ and that the bounds are tight. We also provide linear algorithms to decide whether the metric dimension of $G$ is 2 and to build a resolving set of size $\lceil \frac{2n}{5}\rceil$ for $G$. Moreover, we characterize the maximal outerplanar graphs with metric dimension 2.
△ Less
Submitted 28 March, 2019;
originally announced March 2019.
-
Caterpillars are Antimagic
Authors:
Antoni Lozano,
Mercè Mora,
Carlos Seara,
Joaquín Tey
Abstract:
An antimagic labeling of a graph $G$ is an injection from $E(G)$ to $\{1,2,\dots,|E(G)|\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $u$ is the sum of the labels assigned to edges incident to $u$. A graph is called antimagic when it has an antimagic labeling. Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic and…
▽ More
An antimagic labeling of a graph $G$ is an injection from $E(G)$ to $\{1,2,\dots,|E(G)|\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $u$ is the sum of the labels assigned to edges incident to $u$. A graph is called antimagic when it has an antimagic labeling. Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic and the conjecture remains open even for trees. Here we prove that caterpillars are antimagic by means of an $O(n \log n)$ algorithm.
△ Less
Submitted 26 March, 2019; v1 submitted 17 December, 2018;
originally announced December 2018.
-
Neighbor-Locating Colorings in Graphs
Authors:
Liliana Alcon,
Marisa Gutierrez,
Carmen Hernando,
Merce Mora,
Ignacio M. Pelayo
Abstract:
A $k$-coloring of a graph $G$ is a $k$-partition $Π=\{S_1,\ldots,S_k\}$ of $V(G)$ into independent sets, called \emph{colors}. A $k$-coloring is called \emph{neighbor-locating} if for every pair of vertices $u,v$ belonging to the same color $S_i$, the set of colors of the neighborhood of $u$ is different from the set of colors of the neighborhood of $v$. The neighbor-locating chromatic number…
▽ More
A $k$-coloring of a graph $G$ is a $k$-partition $Π=\{S_1,\ldots,S_k\}$ of $V(G)$ into independent sets, called \emph{colors}. A $k$-coloring is called \emph{neighbor-locating} if for every pair of vertices $u,v$ belonging to the same color $S_i$, the set of colors of the neighborhood of $u$ is different from the set of colors of the neighborhood of $v$. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$.
We establish some tight bounds for the neighbor-locating chromatic number of a graph, in terms of its order, maximum degree and independence number. We determine all connected graphs of order $n\geq 5$ with neighbor-locating chromatic number $n$ or $n-1$. We examine the neighbor-locating chromatic number for two graph operations: join and disjoint union, and also for two graph families: split graphs and Mycielski graphs.
△ Less
Submitted 29 June, 2018;
originally announced June 2018.
-
Supercritical Poincaré-Andronov-Hopf bifurcation in a mean field quantum laser equation
Authors:
F. Fagnola,
C. M. Mora
Abstract:
We deal with the dynamical system properties of a Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation with mean-field Hamiltonian that models a simple laser by applying a mean field approximation to a quantum system describing a single-mode optical cavity and a set of two level atoms, each coupled to a reservoir. We prove that the mean field quantum master equation has a unique regular stationar…
▽ More
We deal with the dynamical system properties of a Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation with mean-field Hamiltonian that models a simple laser by applying a mean field approximation to a quantum system describing a single-mode optical cavity and a set of two level atoms, each coupled to a reservoir. We prove that the mean field quantum master equation has a unique regular stationary solution. In case a relevant parameter $C_\mathfrak{b} $, i.e., the cavity cooperative parameter, is less than $1$, we prove that any regular solution converges exponentially fast to the equilibrium, and so the regular stationary state is a globally asymptotically stable equilibrium solution. We obtain that a locally exponential stable limit cycle is born at the regular stationary state as $C_\mathfrak{b} $ passes through the critical value $1$. Then, the mean-field laser equation has a Poincaré-Andronov-Hopf bifurcation at $C_\mathfrak{b} =1 $ of supercritical-like type. Namely, we derive rigorously, at the level of density matrices --for the first time--, the transition from a global attractor quantum state, where the light is not emitted, to a locally stable set of coherent quantum states producing coherent light. Moreover, we establish the local exponential stability of the limit cycle in case a relevant parameter is between the first and second laser thresholds appearing in the semiclassical laser theory. Thus, we get that the coherent laser light persists over time under this condition. In order to prove the exponential convergence of the quantum state, we develop a new technique for proving the exponential convergence in open quantum systems that is based in a new variation of constant formula. Applying our main results we find the long-time behavior of the von Neumann entropy, the photon-number statistics, and the quantum variance of the quadratures.
△ Less
Submitted 22 September, 2020; v1 submitted 2 March, 2018;
originally announced March 2018.
-
Locating domination in bipartite graphs and their complements
Authors:
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo
Abstract:
A set $S$ of vertices of a graph $G$ is \emph{distinguishing} if the sets of neighbors in $S$ for every pair of vertices not in $S$ are distinct. A \emph{locating-dominating set} of $G$ is a dominating distinguishing set. The \emph{location-domination number} of $G$, $λ(G)$, is the minimum cardinality of a locating-dominating set. In this work we study relationships between $λ({G})$ and…
▽ More
A set $S$ of vertices of a graph $G$ is \emph{distinguishing} if the sets of neighbors in $S$ for every pair of vertices not in $S$ are distinct. A \emph{locating-dominating set} of $G$ is a dominating distinguishing set. The \emph{location-domination number} of $G$, $λ(G)$, is the minimum cardinality of a locating-dominating set. In this work we study relationships between $λ({G})$ and $λ(\overline{G})$ for bipartite graphs. The main result is the characterization of all connected bipartite graphs $G$ satisfying $λ(\overline{G})=λ({G})+1$. To this aim, we define an edge-labeled graph $G^S$ associated with a distinguishing set $S$ that turns out to be very helpful.
△ Less
Submitted 18 July, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Resolving dominating partitions in graphs
Authors:
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo
Abstract:
A partition $Π=\{S_1,\ldots,S_k\}$ of the vertex set of a connected graph $G$ is called a \emph{resolving partition} of $G$ if for every pair of vertices $u$ and $v$, $d(u,S_j)\neq d(v,S_j)$, for some part $S_j$. The \emph{partition dimension} $β_p(G)$ is the minimum cardinality of a resolving partition of $G$. A resolving partition $Π$ is called \emph{resolving dominating} if for every vertex…
▽ More
A partition $Π=\{S_1,\ldots,S_k\}$ of the vertex set of a connected graph $G$ is called a \emph{resolving partition} of $G$ if for every pair of vertices $u$ and $v$, $d(u,S_j)\neq d(v,S_j)$, for some part $S_j$. The \emph{partition dimension} $β_p(G)$ is the minimum cardinality of a resolving partition of $G$. A resolving partition $Π$ is called \emph{resolving dominating} if for every vertex $v$ of $G$, $d(v,S_j)=1$, for some part $S_j$ of $Π$. The \emph{dominating partition dimension} $η_p(G)$ is the minimum cardinality of a resolving dominating partition of $G$.
In this paper we show, among other results, that $β_p(G) \le η_p(G) \le β_p(G)+1$. We also characterize all connected graphs of order $n\ge7$ satisfying any of the following conditions: $η_p(G)= n$, $η_p(G)= n-1$, $η_p(G)= n-2$ and $β_p(G) = n-2$. Finally, we present some tight Nordhaus-Gaddum bounds for both the partition dimension $β_p(G)$ and the dominating partition dimension $η_p(G)$.
△ Less
Submitted 12 November, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Dominating 2-broadcast in graphs: complexity, bounds and extremal graphs
Authors:
José Cáceres,
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo,
María Luz Puertas
Abstract:
Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time…
▽ More
Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time for trees. We also give an upper bound for this parameter, that is tight for graphs as large as desired.
△ Less
Submitted 16 October, 2017;
originally announced October 2017.
-
Numerical solution of stochastic master equations using stochastic interacting wave functions
Authors:
C. M. Mora,
J. Fernández,
R. Biscay
Abstract:
We develop a new approach for solving stochastic quantum master equations with mixed initial states. First, we obtain that the solution of the jump-diffusion stochastic master equation is represented by a mixture of pure states satisfying a system of stochastic differential equations of Schrödinger type. Then, we design three exponential schemes for these coupled stochastic Schrödinger equations,…
▽ More
We develop a new approach for solving stochastic quantum master equations with mixed initial states. First, we obtain that the solution of the jump-diffusion stochastic master equation is represented by a mixture of pure states satisfying a system of stochastic differential equations of Schrödinger type. Then, we design three exponential schemes for these coupled stochastic Schrödinger equations, which are driven by Brownian motions and jump processes. Hence, we have constructed efficient numerical methods for the stochastic master equations based on quantum trajectories. The good performance of the new numerical integrators is illustrated by simulations of two quantum measurement processes.
△ Less
Submitted 16 April, 2018; v1 submitted 24 September, 2017;
originally announced September 2017.
-
Antimagic Labelings of Caterpillars
Authors:
Antoni Lozano,
Mercè Mora,
Carlos Seara
Abstract:
A $k$-antimagic labeling of a graph $G$ is an injection from $E(G)$ to $\{1,2,\dots,|E(G)|+k\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $u$ is the sum of the labels assigned to edges incident to $u$. We call a graph $k$-antimagic when it has a $k$-antimagic labeling, and antimagic when it is 0-antimagic. Hartsfield and Ringel conjectured that every simple co…
▽ More
A $k$-antimagic labeling of a graph $G$ is an injection from $E(G)$ to $\{1,2,\dots,|E(G)|+k\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $u$ is the sum of the labels assigned to edges incident to $u$. We call a graph $k$-antimagic when it has a $k$-antimagic labeling, and antimagic when it is 0-antimagic. Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic, but the conjecture is still open even for trees. Here we study $k$-antimagic labelings of caterpillars, which are defined as trees the removal of whose leaves produces a path, called its spine. As a general result, we use constructive techniques to prove that any caterpillar of order $n$ is $(\lfloor (n-1)/2 \rfloor - 2)$-antimagic. Furthermore, if $C$ is a caterpillar with a spine of order $s$, we prove that when $C$ has at least $\lfloor (3s+1)/2 \rfloor$ leaves or $\lfloor (s-1)/2 \rfloor$ consecutive vertices of degree at most 2 at one end of a longest path, then $C$ is antimagic. As a consequence of a result by Wong and Zhu, we also prove that if $p$ is a prime number, any caterpillar with a spine of order $p$, $p-1$ or $p-2$ is $1$-antimagic.
△ Less
Submitted 7 January, 2019; v1 submitted 2 August, 2017;
originally announced August 2017.
-
The ellipse law: Kirchhoff meets dislocations
Authors:
J. A. Carrillo,
J. Mateu,
M. G. Mora,
L. Rondi,
L. Scardia,
J. Verdera
Abstract:
In this paper we consider a nonlocal energy $I_α$ whose kernel is obtained by adding to the Coulomb potential an anisotropic term weighted by a parameter $α\in \R$. The case $α=0$ corresponds to purely logarithmic interactions, minimised by the celebrated circle law for a quadratic confinement; $α=1$ corresponds to the energy of interacting dislocations, minimised by the semi-circle law. We show t…
▽ More
In this paper we consider a nonlocal energy $I_α$ whose kernel is obtained by adding to the Coulomb potential an anisotropic term weighted by a parameter $α\in \R$. The case $α=0$ corresponds to purely logarithmic interactions, minimised by the celebrated circle law for a quadratic confinement; $α=1$ corresponds to the energy of interacting dislocations, minimised by the semi-circle law. We show that for $α\in (0,1)$ the minimiser can be computed explicitly and is the normalised characteristic function of the domain enclosed by an \emph{ellipse}. To prove our result we borrow techniques from fluid dynamics, in particular those related to Kirchhoff's celebrated result that domains enclosed by ellipses are rotating vortex patches, called \emph{Kirchhoff ellipses}. Therefore we show a surprising connection between vortices and dislocations.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Stress regularity in quasi-static perfect plasticity with a pressure dependent yield criterion
Authors:
Maria Giovanna Mora,
Jean-François Babadjian
Abstract:
This work is devoted to establishing a regularity result for the stress tensor in quasi-static planar isotropic linearly elastic - perfectly plastic materials obeying a Drucker-Prager or Mohr-Coulomb yield criterion. Under suitable assumptions on the data, it is proved that the stress tensor has a spatial gradient that is locally squared integrable. As a corollary, the usual measure theoretical fl…
▽ More
This work is devoted to establishing a regularity result for the stress tensor in quasi-static planar isotropic linearly elastic - perfectly plastic materials obeying a Drucker-Prager or Mohr-Coulomb yield criterion. Under suitable assumptions on the data, it is proved that the stress tensor has a spatial gradient that is locally squared integrable. As a corollary, the usual measure theoretical flow rule is expressed in a strong form using the quasi-continuous representative of the stress.
△ Less
Submitted 16 January, 2017;
originally announced January 2017.
-
One-dimensional von Kármán models for elastic ribbons
Authors:
Lorenzo Freddi,
Peter Hornung,
Maria Giovanna Mora,
Roberto Paroni
Abstract:
By means of a variational approach we rigorously deduce three one-dimensional models for elastic ribbons from the theory of von Kármán plates, passing to the limit as the width of the plate goes to zero. The one-dimensional model found starting from the "linearized" von Kármán energy corresponds to that of a linearly elastic beam that can twist but can deform in just one plane; while the model fou…
▽ More
By means of a variational approach we rigorously deduce three one-dimensional models for elastic ribbons from the theory of von Kármán plates, passing to the limit as the width of the plate goes to zero. The one-dimensional model found starting from the "linearized" von Kármán energy corresponds to that of a linearly elastic beam that can twist but can deform in just one plane; while the model found from the von Kármán energy is a non-linear model that comprises stretching, bendings, and twisting. The "constrained" von Kármán energy, instead, leads to a new Sadowsky type of model.
△ Less
Submitted 10 January, 2017;
originally announced January 2017.
-
The equilibrium measure for a nonlocal dislocation energy
Authors:
Maria Giovanna Mora,
Luca Rondi,
Lucia Scardia
Abstract:
In this paper we characterise the equilibrium measure for a nonlocal and anisotropic weighted energy describing the interaction of positive dislocations in the plane. We prove that the minimum value of the energy is attained by a measure supported on the vertical axis and distributed according to the semi-circle law, a well-known measure which also arises as the minimiser of purely logarithmic int…
▽ More
In this paper we characterise the equilibrium measure for a nonlocal and anisotropic weighted energy describing the interaction of positive dislocations in the plane. We prove that the minimum value of the energy is attained by a measure supported on the vertical axis and distributed according to the semi-circle law, a well-known measure which also arises as the minimiser of purely logarithmic interactions in one dimension. In this way we give a positive answer to the conjecture that positive dislocations tend to form vertical walls. This result is one of the few examples where the minimiser of a nonlocal energy is explicitly computed and the only one in the case of anisotropic kernels.
△ Less
Submitted 17 December, 2017; v1 submitted 4 December, 2016;
originally announced December 2016.
-
General bounds on limited broadcast domination
Authors:
José Cáceres,
Carmen Hernando,
Mercè Mora,
Ignacio M. Pelayo,
María Luz Puertas
Abstract:
Dominating broadcasting is a domination-type structure that models a transmission antenna network. In this paper, we study a limited version of this structure, that was proposed as a common framework for both broadcast and classical domination. In this limited version, the broadcast function is upper bounded by an integer $k$ and the minimum cost of such function is the dominating $k$-broadcast nu…
▽ More
Dominating broadcasting is a domination-type structure that models a transmission antenna network. In this paper, we study a limited version of this structure, that was proposed as a common framework for both broadcast and classical domination. In this limited version, the broadcast function is upper bounded by an integer $k$ and the minimum cost of such function is the dominating $k$-broadcast number. Our main result is a unified upper bound on this parameter for any value of $k$ in general graphs, in terms of both $k$ and the order of the graph. We also study the computational complexity of the associated decision problem.
△ Less
Submitted 26 October, 2018; v1 submitted 19 September, 2016;
originally announced September 2016.
-
A second order minimality condition for a free-boundary problem
Authors:
Irene Fonseca,
Giovanni Leoni,
Maria Giovanna Mora
Abstract:
The goal of this paper is to derive in the two-dimensional case necessary and sufficient minimality conditions in terms of the second variation for the functional \[ v\mapsto\int_Ω\big(|\nabla v|^{2}+χ_{\{v>0\}}Q^{2} \big)\,dx, \] introduced in a classical paper of Alt and Caffarelli. For a special choice of $Q$ this includes water waves. The second variation is obtained by computing the second de…
▽ More
The goal of this paper is to derive in the two-dimensional case necessary and sufficient minimality conditions in terms of the second variation for the functional \[ v\mapsto\int_Ω\big(|\nabla v|^{2}+χ_{\{v>0\}}Q^{2} \big)\,dx, \] introduced in a classical paper of Alt and Caffarelli. For a special choice of $Q$ this includes water waves. The second variation is obtained by computing the second derivative of the functional along suitable variations of the free boundary. It is proved that the strict positivity of the second variation gives a sufficient condition for local minimality. Also, it is shown that smooth critical points are local minimizers in a small tubular neighborhood of the free-boundary.
△ Less
Submitted 5 June, 2017; v1 submitted 26 May, 2016;
originally announced May 2016.
-
A variational model for anisotropic and naturally twisted ribbons
Authors:
Lorenzo Freddi,
Peter Hornung,
Maria Giovanna Mora,
Roberto Paroni
Abstract:
We consider thin plates whose energy density is a quadratic function of the difference between the second fundamental form of the deformed configuration and a "natural" curvature tensor. This tensor either denotes the second fundamental form of the stress-free configuration, if it exists, or a target curvature tensor. In the latter case, residual stress arises from the geometrical frustration invo…
▽ More
We consider thin plates whose energy density is a quadratic function of the difference between the second fundamental form of the deformed configuration and a "natural" curvature tensor. This tensor either denotes the second fundamental form of the stress-free configuration, if it exists, or a target curvature tensor. In the latter case, residual stress arises from the geometrical frustration involved in the attempt to achieve the target curvature: as a result, the plate is naturally twisted, even in the absence of external forces or prescribed boundary conditions. Here, starting from this kind of plate energies, we derive a new variational one-dimensional model for naturally twisted ribbons by means of Gamma-convergence. Our result generalizes, and corrects, the classical Sadowsky energy to geometrically frustrated anisotropic ribbons with a narrow, possibly curved, reference configuration.
△ Less
Submitted 12 May, 2016;
originally announced May 2016.
-
Uniform hypergraphs and dominating sets of graphs
Authors:
Jaume Martí-Farré,
Mercè Mora,
José Luis Ruiz
Abstract:
A (simple) hypergraph is a family H of pairwise incomparable sets of a finite set. We say that a hypergraph H is a domination hypergraph if there is at least a graph G such that the collection of minimal dominating sets of G is equal to H. Given a hypergraph, we are interested in determining if it is a domination hypergraph and, if this is not the case, we want to find domination hypergraphs in so…
▽ More
A (simple) hypergraph is a family H of pairwise incomparable sets of a finite set. We say that a hypergraph H is a domination hypergraph if there is at least a graph G such that the collection of minimal dominating sets of G is equal to H. Given a hypergraph, we are interested in determining if it is a domination hypergraph and, if this is not the case, we want to find domination hypergraphs in some sense close to it, the domination completions. Here we will focus on the family of hypergraphs containing all the subsets with the same cardinality, the uniform hypergraphs of maximum size. Specifically, we characterize those hypergraphs H in this family that are domination hypergraphs and, in any other case, we prove that the hypergraph H is uniquely determined by some of its domination completions and that H can be recovered from them by using a suitable hypergraph operation.
△ Less
Submitted 5 May, 2016;
originally announced May 2016.
-
New results on metric-locating-dominating sets of graphs
Authors:
Antonio González,
Carmen Hernando,
Mercè Mora
Abstract:
A dominating set $S$ of a graph is a metric-locating-dominating set if each vertex of the graph is uniquely distinguished by its distances from the elements of $S$, and the minimum cardinality of such a set is called the metric-location-domination number. In this paper, we undertake a study that, in general graphs and specific families, relates metric-locating-dominating sets to other special sets…
▽ More
A dominating set $S$ of a graph is a metric-locating-dominating set if each vertex of the graph is uniquely distinguished by its distances from the elements of $S$, and the minimum cardinality of such a set is called the metric-location-domination number. In this paper, we undertake a study that, in general graphs and specific families, relates metric-locating-dominating sets to other special sets: resolving sets, dominating sets, locating-dominating sets and doubly resolving sets. We first characterize classes of trees according to certain relationships between their metric-location-domination number and their metric dimension and domination number. Then, we show different methods to transform metric-locating-dominating sets into locating-dominating sets and doubly resolving sets. Our methods produce new bounds on the minimum cardinalities of all those sets, some of them involving parameters that have not been related so far.
△ Less
Submitted 13 April, 2016;
originally announced April 2016.
-
On the Partition Dimension and the Twin Number of a Graph
Authors:
Carmen Hernando,
Merce Mora,
Ignacio M Pelayo
Abstract:
A partition P of the vertex set of a connected graph G is a locating partition of G if every vertex is uniquely determined by its vector of distances to the elements of P. The partition dimension of G is the minimum cardinality of a locating partition of G. A pair of vertices u,v of a graph G are called twins if they have exactly the same set of neighbors other than u and v. A twin class is a maxi…
▽ More
A partition P of the vertex set of a connected graph G is a locating partition of G if every vertex is uniquely determined by its vector of distances to the elements of P. The partition dimension of G is the minimum cardinality of a locating partition of G. A pair of vertices u,v of a graph G are called twins if they have exactly the same set of neighbors other than u and v. A twin class is a maximal set of pairwise twin vertices. The twin number of a graph G is the maximum cardinality of a twin class of G.
In this paper we undertake the study of the partition dimension of a graph by also considering its twin number. This approach allows us to obtain the set of connected graphs of order n having partition dimension n-2. This set is formed by exactly 15 graphs, instead of 23, as was wrongly stated in the paper: "Discrepancies between metric dimension and partition dimension of a connected graph", published in Discrete Mathematics in 2008.
△ Less
Submitted 5 March, 2016; v1 submitted 29 February, 2016;
originally announced February 2016.
-
Relaxation of the Hencky model in perfect plasticity
Authors:
Maria Giovanna Mora
Abstract:
In this paper we give a full proof of the relaxation of the Hencky model in perfect plasticity, under suitable assumptions for the domain and the Dirichlet boundary.
In this paper we give a full proof of the relaxation of the Hencky model in perfect plasticity, under suitable assumptions for the domain and the Dirichlet boundary.
△ Less
Submitted 14 September, 2015;
originally announced September 2015.
-
On global location-domination in bipartite graphs
Authors:
Carmen Hernando,
Merce Mora,
Ignacio M. Pelayo
Abstract:
A dominating set $S$ of a graph $G$ is called locating-dominating, LD-set for short, if every vertex $v$ not in $S$ is uniquely determined by the set of neighbors of $v$ belonging to $S$. Locating-dominating sets of minimum cardinality are called $LD$-codes and the cardinality of an LD-code is the \emph{location-domination number} $λ(G)$. An LD-set $S$ of a graph $G$ is \emph{global} if it is an L…
▽ More
A dominating set $S$ of a graph $G$ is called locating-dominating, LD-set for short, if every vertex $v$ not in $S$ is uniquely determined by the set of neighbors of $v$ belonging to $S$. Locating-dominating sets of minimum cardinality are called $LD$-codes and the cardinality of an LD-code is the \emph{location-domination number} $λ(G)$. An LD-set $S$ of a graph $G$ is \emph{global} if it is an LD-set of both $G$ and its complement $\overline{G}$. The \emph{global location-domination number} $λ_g(G)$ is the minimum cardinality of a global LD-set of $G$.
For any LD-set $S$ of a given graph $G$, the so-called \emph{S-associated graph} $G^S$ is introduced. This edge-labeled bipartite graph turns out to be very helpful to approach the study of LD-sets in graphs, particularly when $G$ is bipartite.
This paper is mainly devoted to the study of relationships between global LD-sets, LD-codes and the location-domination number in a graph $G$ and its complement $\overline{G}$, when $G$ is bipartite.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Perfect and quasiperfect domination in trees
Authors:
José Cáceres,
Carmen Hernando,
Mercé Mora,
Ignacio M. Pelayo,
María Luz Puertas
Abstract:
A $k-$quasiperfect dominating set ($k\ge 1$) of a graph $G$ is a vertex subset $S$ such that every vertex not in $S$ is adjacent to at least one and at most k vertices in $S$. The cardinality of a minimum k-quasiperfect dominating set in $G$ is denoted by $γ_{\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept. The…
▽ More
A $k-$quasiperfect dominating set ($k\ge 1$) of a graph $G$ is a vertex subset $S$ such that every vertex not in $S$ is adjacent to at least one and at most k vertices in $S$. The cardinality of a minimum k-quasiperfect dominating set in $G$ is denoted by $γ_{\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept. The quasiperfect domination chain $γ_{\stackrel{}{11}}(G)\geγ_{\stackrel{}{12}}(G)\ge\dots\geγ_{\stackrel{}{1Δ}}(G)=γ(G)$, indicates what it is lost in size when you move towards a more perfect domination. We provide an upper bound for $γ_{\stackrel{}{1k}}(T)$ in any tree $T$ and trees achieving this bound are characterized. We prove that there exist trees satisfying all the possible equalities and inequalities in this chain and a linear algorithm for computing $γ_{\stackrel{}{1k}}(T)$ in any tree is presented.
△ Less
Submitted 29 May, 2015;
originally announced May 2015.
