-
A lower bound for the first eigenvalue of a minimal hypersurface in the sphere
Authors:
Asun Jiménez,
Carlos Tapia Chinchay,
Detang Zhou
Abstract:
Let $Σ$ be a closed embedded minimal hypersurface in the unit sphere $\mathbb{S}^{m+1}$ and let $Λ=\max\limits_Σ|A|$ be the norm of its second fundamental form. In this work we prove that the first eigenvalue of the Laplacian of $Σ$ satisfies
$$λ_1(Σ)> \dfrac{m}{2}+\frac{m(m+1)}{32(12Λ+m+11)^2+8},$$ and $λ_1(Σ)=m$, when $Λ\le\sqrt{m}$.
In particular, this estimate improves the one obtained rec…
▽ More
Let $Σ$ be a closed embedded minimal hypersurface in the unit sphere $\mathbb{S}^{m+1}$ and let $Λ=\max\limits_Σ|A|$ be the norm of its second fundamental form. In this work we prove that the first eigenvalue of the Laplacian of $Σ$ satisfies
$$λ_1(Σ)> \dfrac{m}{2}+\frac{m(m+1)}{32(12Λ+m+11)^2+8},$$ and $λ_1(Σ)=m$, when $Λ\le\sqrt{m}$.
In particular, this estimate improves the one obtained recently in \cite{duncan2023improved}. The proof of our main result is based on a Rayleigh quotient estimate for a harmonic extension of an eigenfunction of the Laplacian of $Σ$ in the spirit of \cite{choi1983first}.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
On the structure of a smallest counterexample and a new class verifying the 2-Decomposition Conjecture
Authors:
F. Botler,
A. Jiménez,
M. Sambinelli,
Y. Wakabayashi
Abstract:
The 2-Decomposition Conjecture, equivalent to the 3-Decomposition Conjecture stated in 2011 by Hoffmann-Ostenhof, claims that every connected graph $G$ with vertices of degree 2 and 3, for which $G \setminus E(C)$ is disconnected for every cycle $C$, admits a decomposition into a spanning tree and a matching. In this work we present two main results focused on develo** a strategy to prove the 2-…
▽ More
The 2-Decomposition Conjecture, equivalent to the 3-Decomposition Conjecture stated in 2011 by Hoffmann-Ostenhof, claims that every connected graph $G$ with vertices of degree 2 and 3, for which $G \setminus E(C)$ is disconnected for every cycle $C$, admits a decomposition into a spanning tree and a matching. In this work we present two main results focused on develo** a strategy to prove the 2-Decomposition Conjecture. One of them is a list of structural properties of a minimum counterexample for this conjecture. Among those properties, we prove that a minimum counterexample has girth at least 5 and its vertices of degree 2 are at distance at least 3. Motivated by the class of smallest counterexamples, we show that the 2-Decomposition Conjecture holds for graphs whose vertices of degree 3 induce a collection of cacti in which each vertex belongs to a cycle. The core of the proof of this result may possibly be used in an inductive proof of the 2-Decomposition Conjecture based on a parameter that relates the number of vertices of degree 2 and 3 in a minimum counterexample.
△ Less
Submitted 17 September, 2023;
originally announced September 2023.
-
Balanced-chromatic number and Hadwiger-like conjectures
Authors:
Andrea Jiménez,
Jessica Mcdonald,
Reza Naserasr,
Kathryn Nurse,
Daniel A. Quiroz
Abstract:
Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward strengthening some of these results, we consider the \emph{balanced chromatic number}, $χ_b(\hat{G})$, of a signed graph $\hat{G}$. This is the minimum number of parts into which the vertices of a signed graph can be par…
▽ More
Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward strengthening some of these results, we consider the \emph{balanced chromatic number}, $χ_b(\hat{G})$, of a signed graph $\hat{G}$. This is the minimum number of parts into which the vertices of a signed graph can be partitioned so that none of the parts induces a negative cycle. This extends the notion of the chromatic number of a graph since $χ(G)=χ_b(\tilde{G})$, where $\tilde{G}$ denotes the signed graph obtained from~$G$ by replacing each edge with a pair of (parallel) positive and negative edges. We introduce a signed version of Hadwiger's conjecture as follows.
Conjecture: If a signed graph $\hat{G}$ has no negative loop and no $\tilde{K_t}$-minor, then its balanced chromatic number is at most $t-1$.
We prove that this conjecture is, in fact, equivalent to Hadwiger's conjecture and show its relation to the Odd Hadwiger Conjecture.
Motivated by these results, we also consider the relation between subdivisions and balanced chromatic number. We prove that if $(G, σ)$ has no negative loop and no $\tilde{K_t}$-subdivision, then it admits a balanced $\frac{79}{2}t^2$-coloring. This qualitatively generalizes a result of Kawarabayashi (2013) on totally odd subdivisions.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
Boundedness for proper conflict-free and odd colorings
Authors:
Andrea Jiménez,
Kolja Knauer,
Carla Negri Lintzmayer,
Martín Matamala,
Juan Pablo Peña,
Daniel A. Quiroz,
Maycon Sambinelli,
Yoshiko Wakabayashi,
Weiqiang Yu,
José Zamora
Abstract:
The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing a…
▽ More
The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing an odd number of times among its neighbors. We say that a graph class $\mathcal{G}$ is $χ_{pcf}$-bounded ($χ_{o}$-bounded) if there is a function $f$ such that $χ_{pcf}(G) \leq f(χ(G))$ ($χ_{o}(G) \leq f(χ(G))$) for every $G \in \mathcal{G}$. Caro et al. (2022) asked for classes that are linearly $χ_{pcf}$-bounded ($χ_{pcf}$-bounded), and as a starting point, they showed that every claw-free graph $G$ satisfies $χ_{pcf}(G) \le 2Δ(G)+1$, which implies $χ_{pcf}(G) \le 4χ(G)+1$.
In this paper, we improve the bound for claw-free graphs to a nearly tight bound by showing that such a graph $G$ satisfies $χ_{pcf}(G) \le Δ(G)+6$, and even $χ_{pcf}(G) \le Δ(G)+4$ if it is a quasi-line graph. These results also give evidence for a conjecture by Caro et al. Moreover, we show that convex-round graphs and permutation graphs are linearly $χ_{pcf}$-bounded. For these last two results, we prove a lemma that reduces the problem of deciding if a hereditary class is linearly $χ_{pcf}$-bounded to deciding if the bipartite graphs in the class are $χ_{pcf}$-bounded by an absolute constant. This lemma complements a theorem of Liu (2022) and motivates us to study boundedness in bipartite graphs. In particular, we show that biconvex bipartite graphs are $χ_{pcf}$-bounded while convex bipartite graphs are not even $χ_o$-bounded, and exhibit a class of bipartite circle graphs that is linearly $χ_o$-bounded but not $χ_{pcf}$-bounded.
△ Less
Submitted 9 February, 2024; v1 submitted 31 July, 2023;
originally announced August 2023.
-
Totally odd immersions in line graphs
Authors:
Andrea Jiménez,
Daniel A. Quiroz,
Christopher Thraves Caro
Abstract:
The immersion-analogue of Hadwiger's Conjecture states that every graph $G$ contains an immersion of $K_{χ(G)}$. This conjecture has been recently strengthened in the following way: every graph $G$ contains a totally odd immersion of $K_{χ(G)}$. We prove this stronger conjecture for line graphs of constant-multiplicity multigraphs, thus extending a result of Guyer and McDonald.
The immersion-analogue of Hadwiger's Conjecture states that every graph $G$ contains an immersion of $K_{χ(G)}$. This conjecture has been recently strengthened in the following way: every graph $G$ contains a totally odd immersion of $K_{χ(G)}$. We prove this stronger conjecture for line graphs of constant-multiplicity multigraphs, thus extending a result of Guyer and McDonald.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Biclique immersions in graphs with independence number 2
Authors:
F. Botler,
A. Jiménez,
C. N. Lintzmayer,
A. Pastine,
D. A. Quiroz,
M. Sambinelli
Abstract:
The analog of Hadwiger's conjecture for the immersion relation states that every graph $G$ contains an immersion of $K_{χ(G)}$. For graphs with independence number 2, this is equivalent to stating that every such $n$-vertex graph contains an immersion of $K_{\lceil n/2 \rceil}$. We show that every $n$-vertex graph with independence number 2 contains every complete bipartite graph on…
▽ More
The analog of Hadwiger's conjecture for the immersion relation states that every graph $G$ contains an immersion of $K_{χ(G)}$. For graphs with independence number 2, this is equivalent to stating that every such $n$-vertex graph contains an immersion of $K_{\lceil n/2 \rceil}$. We show that every $n$-vertex graph with independence number 2 contains every complete bipartite graph on $\lceil n/2 \rceil$ vertices as an immersion.
△ Less
Submitted 11 March, 2023;
originally announced March 2023.
-
Configuration spaces of commuting elements
Authors:
José Cantarero,
Ángel R. Jiménez
Abstract:
In this article we introduce the space of configurations of commuting elements in a topological group and show that it satisfies rational homological stability for the sequences of unitary, special unitary and symplectic groups. We also prove that it satisfies cohomological rational representation stability with respect to the number of elements in the tuple for finite products of such groups, in…
▽ More
In this article we introduce the space of configurations of commuting elements in a topological group and show that it satisfies rational homological stability for the sequences of unitary, special unitary and symplectic groups. We also prove that it satisfies cohomological rational representation stability with respect to the number of elements in the tuple for finite products of such groups, in particular cohomological rational stability for the space of unordered configurations of commuting elements. Finally we present some computations of cohomology in the unstable range.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Phase space learning with neural networks
Authors:
Jaime Lopez Garcia,
Angel Rivero Jimenez
Abstract:
This work proposes an autoencoder neural network as a non-linear generalization of projection-based methods for solving Partial Differential Equations (PDEs). The proposed deep learning architecture presented is capable of generating the dynamics of PDEs by integrating them completely in a very reduced latent space without intermediate reconstructions, to then decode the latent solution back to th…
▽ More
This work proposes an autoencoder neural network as a non-linear generalization of projection-based methods for solving Partial Differential Equations (PDEs). The proposed deep learning architecture presented is capable of generating the dynamics of PDEs by integrating them completely in a very reduced latent space without intermediate reconstructions, to then decode the latent solution back to the original space. The learned latent trajectories are represented and their physical plausibility is analyzed. It is shown the reliability of properly regularized neural networks to learn the global characteristics of a dynamical system's phase space from the sample data of a single path, as well as its ability to predict unseen bifurcations.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Gallai's path decomposition conjecture for triangle-free planar graphs
Authors:
Fábio Botler,
Andrea Jiménez,
Maycon Sambinelli
Abstract:
A path decomposition of a graph $G$ is a collection of edge-disjoint paths of $G$ that covers the edge set of $G$. Gallai (1968) conjectured that every connected graph on $n$ vertices admits a path decomposition of cardinality at most $\lfloor (n+1)/2\rfloor$. Gallai's Conjecture has been verified for many classes of graphs. In particular, Lovász (1968) verified this conjecture for graphs with at…
▽ More
A path decomposition of a graph $G$ is a collection of edge-disjoint paths of $G$ that covers the edge set of $G$. Gallai (1968) conjectured that every connected graph on $n$ vertices admits a path decomposition of cardinality at most $\lfloor (n+1)/2\rfloor$. Gallai's Conjecture has been verified for many classes of graphs. In particular, Lovász (1968) verified this conjecture for graphs with at most one vertex with even degree, and Pyber (1996) verified it for graphs in which every cycle contains a vertex with odd degree. Recently, Bonamy and Perrett (2016) verified Gallai's Conjecture for graphs with maximum degree at most $5$, and Botler et al. (2017) verified it for graphs with treewidth at most $3$. In this paper, we verify Gallai's Conjecture for triangle-free planar graphs.
△ Less
Submitted 18 March, 2018;
originally announced March 2018.
-
Maximum number of sum-free colorings in finite abelian groups
Authors:
Hiep Hàn,
Andrea Jiménez
Abstract:
An $r$-coloring of a subset $A$ of a finite abelian group $G$ is called sum-free if it does not induce a monochromatic Schur triple, i.e., a triple of elements $a,b,c\in A$ with $a+b=c$. We investigate $κ_{r,G}$, the maximum number of sum-free $r$-colorings admitted by subsets of $G$, and our results show a close relationship between $κ_{r,G}$ and largest sum-free sets of $G$. Given a sufficiently…
▽ More
An $r$-coloring of a subset $A$ of a finite abelian group $G$ is called sum-free if it does not induce a monochromatic Schur triple, i.e., a triple of elements $a,b,c\in A$ with $a+b=c$. We investigate $κ_{r,G}$, the maximum number of sum-free $r$-colorings admitted by subsets of $G$, and our results show a close relationship between $κ_{r,G}$ and largest sum-free sets of $G$. Given a sufficiently large abelian group $G$ of type $I$, i.e., $|G|$ has a prime divisor $q$ with $q\equiv 2\pmod 3$. For $r=2,3$ we show that a subset $A\subset G$ achieves $κ_{r,G}$ if and only if $A$ is a largest sum-free set of $G$. For even order $G$ the result extends to $r=4,5$, where the phenomenon persists only if $G$ has a unique largest sum-free set. On the contrary, if the largest sum-free set in $G$ is not unique then $A$ attains $κ_{r,G}$ if and only if it is the union of two largest sum-free sets (in case $r=4$) and the union of three ("independent") largest sum-free sets (in case $r=5$). Our approach relies on the so called container method and can be extended to larger $r$ in case $G$ is of even order and contains sufficiently many largest sum-free sets.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Isolated singularities of the prescribed mean curvature equation in Minkowski $3$-space
Authors:
José A. Gálvez,
Asun Jiménez,
Pablo Mira
Abstract:
We give a classification of non-removable isolated singularities for real analytic solutions of the prescribed mean curvature equation in Minkowski $3$-space.
We give a classification of non-removable isolated singularities for real analytic solutions of the prescribed mean curvature equation in Minkowski $3$-space.
△ Less
Submitted 7 March, 2017;
originally announced March 2017.
-
On path decompositions of 2k-regular graphs
Authors:
Fábio Botler,
Andrea Jiménez
Abstract:
Tibor Gallai conjectured that the edge set of every connected graph $G$ on $n$ vertices can be partitioned into $\lceil n/2\rceil$ paths. Let $\mathcal{G}_{k}$ be the class of all $2k$-regular graphs of girth at least $2k-2$ that admit a pair of disjoint perfect matchings. In this work, we show that Gallai's conjecture holds in $\mathcal{G}_{k}$, for every $k \geq 3$. Further, we prove that for ev…
▽ More
Tibor Gallai conjectured that the edge set of every connected graph $G$ on $n$ vertices can be partitioned into $\lceil n/2\rceil$ paths. Let $\mathcal{G}_{k}$ be the class of all $2k$-regular graphs of girth at least $2k-2$ that admit a pair of disjoint perfect matchings. In this work, we show that Gallai's conjecture holds in $\mathcal{G}_{k}$, for every $k \geq 3$. Further, we prove that for every graph $G$ in $\mathcal{G}_{k}$ on $n$ vertices, there exists a partition of its edge set into $n/2$ paths of lengths in $\{2k-1,2k,2k+1\}$.
△ Less
Submitted 8 October, 2015;
originally announced October 2015.
-
Isolated singularities of graphs in warped products and Monge-Ampère equations
Authors:
José A. Gálvez,
Asun Jiménez,
Pablo Mira
Abstract:
We study graphs of positive extrinsic curvature with a non-removable isolated singularity in 3-dimensional warped product spaces, and describe their behavior at the singularity in several natural situations. We use Monge-Ampère equations to give a classification of the surfaces in 3-dimensional space forms which are embedded around a non-removable isolated singularity and have a prescribed, real a…
▽ More
We study graphs of positive extrinsic curvature with a non-removable isolated singularity in 3-dimensional warped product spaces, and describe their behavior at the singularity in several natural situations. We use Monge-Ampère equations to give a classification of the surfaces in 3-dimensional space forms which are embedded around a non-removable isolated singularity and have a prescribed, real analytic, positive extrinsic curvature function at every point. Specifically, we prove that this space is in one-to-one correspondence with the space of regular, analytic, strictly convex Jordan curves in the 2-dimensional sphere $\mathbb{S^2}$.
△ Less
Submitted 11 November, 2014;
originally announced November 2014.
-
Directed cycle double covers and cut-obstacles
Authors:
Andrea Jiménez,
Martin Loebl
Abstract:
A directed cycle double cover of a graph G is a family of cycles of G, each provided with an orientation, such that every edge of G is covered by exactly two oppositely directed cycles. Explicit obstacles to the existence of a directed cycle double cover in a graph are bridges. Jaeger conjectured that bridges are actually the only obstacles. One of the difficulties in proving the Jaeger's conjectu…
▽ More
A directed cycle double cover of a graph G is a family of cycles of G, each provided with an orientation, such that every edge of G is covered by exactly two oppositely directed cycles. Explicit obstacles to the existence of a directed cycle double cover in a graph are bridges. Jaeger conjectured that bridges are actually the only obstacles. One of the difficulties in proving the Jaeger's conjecture lies in discovering and avoiding obstructions to partial strategies that, if successful, create directed cycle double covers. In this work, we suggest a way to circumvent this difficulty. We formulate a conjecture on graph connections, whose validity follows by the successful avoidance of one cut-type obstruction that we call cut-obstacles. The main result of this work claims that our 'cut-obstacles avoidance conjecture' already implies Jaeger's directed cycle double cover conjecture.
△ Less
Submitted 30 November, 2014; v1 submitted 27 May, 2014;
originally announced May 2014.
-
On path-cycle decompositions of triangle-free graphs
Authors:
Andrea Jiménez,
Yoshiko Wakabayashi
Abstract:
In this work, we study conditions for the existence of length-constrained path-cycle decompositions, that is, partitions of the edge set of a graph into paths and cycles of a given minimum length. Our main contribution is the characterization of the class of all triangle-free graphs with odd distance at least $3$ that admit a path-cycle decomposition with elements of length at least $4$. As a cons…
▽ More
In this work, we study conditions for the existence of length-constrained path-cycle decompositions, that is, partitions of the edge set of a graph into paths and cycles of a given minimum length. Our main contribution is the characterization of the class of all triangle-free graphs with odd distance at least $3$ that admit a path-cycle decomposition with elements of length at least $4$. As a consequence, it follows that Gallai's conjecture on path decomposition holds in a broad class of sparse graphs.
△ Less
Submitted 23 October, 2017; v1 submitted 15 February, 2014;
originally announced February 2014.
-
Directed cycle double covers: structure and generation of hexagon graphs
Authors:
Andrea Jiménez,
Mihyun Kang,
Martin Loebl
Abstract:
Jaeger's directed cycle double cover conjecture can be formulated as a problem of existence of special perfect matchings in a class of graphs that we call hexagon graphs. In this work, we explore the structure of hexagon graphs. We show that hexagon graphs are braces that can be generated from the ladder on 8 vertices using two types of McCuaig's augmentations.
Jaeger's directed cycle double cover conjecture can be formulated as a problem of existence of special perfect matchings in a class of graphs that we call hexagon graphs. In this work, we explore the structure of hexagon graphs. We show that hexagon graphs are braces that can be generated from the ladder on 8 vertices using two types of McCuaig's augmentations.
△ Less
Submitted 3 November, 2013;
originally announced November 2013.
-
Directed Cycle Double Cover Conjecture: Fork Graphs
Authors:
Andrea Jiménez,
Martin Loebl
Abstract:
We explore the well-known Jaeger's directed cycle double cover conjecture which is equivalent to the assertion that every cubic bridgeless graph has an embedding on a closed orientable surface with no dual loop. We associate each cubic graph G with a novel object H that we call a "hexagon graph"; perfect matchings of H describe all embeddings of G on closed orientable surfaces. The study of hexago…
▽ More
We explore the well-known Jaeger's directed cycle double cover conjecture which is equivalent to the assertion that every cubic bridgeless graph has an embedding on a closed orientable surface with no dual loop. We associate each cubic graph G with a novel object H that we call a "hexagon graph"; perfect matchings of H describe all embeddings of G on closed orientable surfaces. The study of hexagon graphs leads us to define a new class of graphs that we call "lean fork-graphs". Fork graphs are cubic bridgeless graphs obtained from a triangle by sequentially connecting fork-type graphs and performing Y-Delta, Delta-Y transformations; lean fork-graphs are fork graphs fulfilling a connectivity property. We prove that Jaeger's conjecture holds for the class of lean fork-graphs. The class of lean fork-graphs is rich; namely, for each cubic bridgeless graph G there is a lean fork-graph containing a subdivision of G as an induced subgraph. Our results establish for the first time, to the best of our knowledge, the validity of Jaeger's conjecture in a broad inductively defined class of graphs.
△ Less
Submitted 21 October, 2013;
originally announced October 2013.
-
A classification of isolated singularities of elliptic Monge-Ampère equations in dimension two
Authors:
José A. Gálvez,
Asun Jiménez,
Pablo Mira
Abstract:
Let $\mathcal{M}_1$ denote the space of solutions $z(x,y)$ to an elliptic, real analytic Monge-Ampère equation ${\rm det} (D^2 z)=\varphi(x,y,z,Dz)>0$ whose graphs have a non-removable isolated singularity at the origin. We prove that $\mathcal{M}_1$ is in one-to-one correspondence with $\mathcal{M}_2\times Z_2$, where $\mathcal{M}_2$ is a suitable subset of the class of regular, real analytic str…
▽ More
Let $\mathcal{M}_1$ denote the space of solutions $z(x,y)$ to an elliptic, real analytic Monge-Ampère equation ${\rm det} (D^2 z)=\varphi(x,y,z,Dz)>0$ whose graphs have a non-removable isolated singularity at the origin. We prove that $\mathcal{M}_1$ is in one-to-one correspondence with $\mathcal{M}_2\times Z_2$, where $\mathcal{M}_2$ is a suitable subset of the class of regular, real analytic strictly convex Jordan curves in $R^2$. We also describe the asymptotic behavior of solutions of the Monge-Ampère equation in the $C^k$-smooth case, and a general existence theorem for isolated singularities of analytic solutions of the more general equation ${\rm det} (D^2 z +\mathcal{A}(x,y,z,Dz))=\varphi(x,y,z,Dz)>0$.
△ Less
Submitted 29 July, 2013; v1 submitted 19 October, 2012;
originally announced October 2012.
-
Six combinatorial clases of maximal convex tropical polyhedra
Authors:
A. Jiménez,
M. J. de la Puente
Abstract:
In this paper we bring together tropical linear algebra and convex 3-dimensional bodies. We show how certain convex 3-dimensional bodies having 20 vertices and 12 facets can be encoded in a $4\times 4$ integer zero-diagonal matrix $A$. A tropical tetrahedron is the set of points in $\R^3$ tropically spanned by four given tropically non-coplanar points. It is a near-miss Johnson solid. The coordina…
▽ More
In this paper we bring together tropical linear algebra and convex 3-dimensional bodies. We show how certain convex 3-dimensional bodies having 20 vertices and 12 facets can be encoded in a $4\times 4$ integer zero-diagonal matrix $A$. A tropical tetrahedron is the set of points in $\R^3$ tropically spanned by four given tropically non-coplanar points. It is a near-miss Johnson solid. The coordinates of the points are arranged as the columns of a $4\times 4$ real matrix $A$ and the tetrahedron is denoted $\spann(A)$. We study tropical tetrahedra which are convex and maximal, computing the extremals of $\spann(A)$ and the length (tropical or Euclidean) of its edges. Then, we classify convex maximal tropical tetrahedra, combinatorially. There are six classes, up to symmetry and chirality. Only one class contains symmetric solids and only one contains chiral ones. In the way, we show that the combinatorial type of the regular dodecahedron does not occur here. We also prove that convex maximal tropical tetrahedra are not vertex-transitive, in general. We give families of examples, circulant matrices providing examples for two classes. A crucial role is played by the $2\times 2$ minors of $A$.
△ Less
Submitted 31 October, 2012; v1 submitted 18 May, 2012;
originally announced May 2012.
-
Non-degenerated groundstates in the antiferromagnetic Ising model on triangulations
Authors:
Andrea Jiménez
Abstract:
A triangulation is an embedding of a graph into a closed Riemann surface so that each face boundary is a 3-cycle of the graph. In this work, groundstate degeneracy in the antiferromagnetic Ising model on triangulations is studied. We show that for every fixed closed Riemann surface S, there are vertex-increasing sequences of triangulations of S with a non-degenerated groundstate. In particular, we…
▽ More
A triangulation is an embedding of a graph into a closed Riemann surface so that each face boundary is a 3-cycle of the graph. In this work, groundstate degeneracy in the antiferromagnetic Ising model on triangulations is studied. We show that for every fixed closed Riemann surface S, there are vertex-increasing sequences of triangulations of S with a non-degenerated groundstate. In particular, we exhibit geometrically frustrated systems with a non-degenerated groundstate.
△ Less
Submitted 11 October, 2011;
originally announced October 2011.
-
The geometric Neumann problem for the Liouville equation
Authors:
Jose A. Galvez,
Asun Jimenez,
Pablo Mira
Abstract:
In this paper we classify the solutions to the geometric Neumann problem for the Liouville equation in the upper half-plane or an upper half-disk, with the energy condition given by finite area. As a result, we classify the conformal Riemannian metrics of constant curvature and finite area on a half-plane that have a finite number of boundary singularities, not assumed a priori to be conical, and…
▽ More
In this paper we classify the solutions to the geometric Neumann problem for the Liouville equation in the upper half-plane or an upper half-disk, with the energy condition given by finite area. As a result, we classify the conformal Riemannian metrics of constant curvature and finite area on a half-plane that have a finite number of boundary singularities, not assumed a priori to be conical, and constant geodesic curvature along each boundary arc.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
Counting perfect matchings of cubic graphs in the geometric dual
Authors:
Andrea Jiménez,
Marcos Kiwi
Abstract:
Lovász and Plummer conjectured, in the mid 1970's, that every cubic graph G with no cutedge has an exponential in |V(G)| number of perfect matchings. In this work we show that every cubic planar graph G whose geometric dual graph is a stack triangulation has at least 3 times the golden ratio to |V(G)|/72 distinct perfect matchings. Our work builds on a novel approach relating Lovász and Plummer's…
▽ More
Lovász and Plummer conjectured, in the mid 1970's, that every cubic graph G with no cutedge has an exponential in |V(G)| number of perfect matchings. In this work we show that every cubic planar graph G whose geometric dual graph is a stack triangulation has at least 3 times the golden ratio to |V(G)|/72 distinct perfect matchings. Our work builds on a novel approach relating Lovász and Plummer's conjecture and the number of so called groundstates of the widely studied Ising model from statistical physics.
△ Less
Submitted 28 October, 2010;
originally announced October 2010.
-
Satisfying states of triangulations of a convex n-gon
Authors:
Andrea Jiménez,
Marcos Kiwi,
Martin Loebl
Abstract:
In this work we count the number of satisfying states of triangulations of a convex n-gon using the transfer matrix method. We show an exponential (in n) lower bound. We also give the exact formula for the number of satisfying states of a strip of triangles.
In this work we count the number of satisfying states of triangulations of a convex n-gon using the transfer matrix method. We show an exponential (in n) lower bound. We also give the exact formula for the number of satisfying states of a strip of triangles.
△ Less
Submitted 17 December, 2009;
originally announced December 2009.