-
The joint translation spectrum and Manhattan manifolds
Authors:
Stephen Cantrell,
Eduardo Reyes,
Cagri Sert
Abstract:
We define and study geometric versions of the Benoist limit cone and matrix joint spectrum, which we call the translation cone and the joint translation spectrum, respectively. These new notions allow us to generalize the study of embeddings into products of rank-one simple Lie groups and to compare group actions on different metric spaces, quasi-morphisms, Anosov representations and many other na…
▽ More
We define and study geometric versions of the Benoist limit cone and matrix joint spectrum, which we call the translation cone and the joint translation spectrum, respectively. These new notions allow us to generalize the study of embeddings into products of rank-one simple Lie groups and to compare group actions on different metric spaces, quasi-morphisms, Anosov representations and many other natural objects of study.
We identify the joint translation spectrum with the image of the gradient function of a corresponding Manhattan manifold: a higher dimensional version of the well known and studied Manhattan curve. As a consequence we deduce many properties of the spectrum. For example we show that it is given by the closure of the set of all possible drift vectors associated to finitely supported, symmetric, admissible random walks on the associated group.
△ Less
Submitted 10 November, 2024;
originally announced November 2024.
-
Approximate marked length spectrum rigidity in coarse geometry
Authors:
Stephen Cantrell,
Eduardo Reyes
Abstract:
We compare the marked length spectra of isometric actions of groups with non-positively curved features. Inspired by the recent works of Butt we study approximate versions of marked length spectrum rigidity. We show that for pairs of metrics, the supremum of the quotient of their marked length spectra is approximately determined by their marked length spectra restricted to an appropriate finite se…
▽ More
We compare the marked length spectra of isometric actions of groups with non-positively curved features. Inspired by the recent works of Butt we study approximate versions of marked length spectrum rigidity. We show that for pairs of metrics, the supremum of the quotient of their marked length spectra is approximately determined by their marked length spectra restricted to an appropriate finite set of conjugacy classes. Applying this to fundamental groups of closed negatively curved Riemannian manifolds allows us to refine Butt's result. Our results however apply in greater generality and do not require the acting group to be hyperbolic. For example we are able to compare the marked length spectra associated to mapping class groups acting on their Cayley graphs or on the curve graph.
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
-
Kadomtsev-Petviashvili hierarchies with non-formal pseudo-differential operators, non-formal solutions, and a Yang-Mills--like formulation
Authors:
Jean-Pierre Magnot,
Enrique G. Reyes
Abstract:
We start from the classical Kadomtsev-Petviashvili hierarchy posed on formal pseudo-differential operators, and we produce two hierarchies of non-linear equations posed on non-formal pseudo-differential operators lying in the Kontsevich and Vishik's odd class, one of them with values in formal pseudo-differential operators. We prove that the corresponding Zakharov-Shabat equations hold in this con…
▽ More
We start from the classical Kadomtsev-Petviashvili hierarchy posed on formal pseudo-differential operators, and we produce two hierarchies of non-linear equations posed on non-formal pseudo-differential operators lying in the Kontsevich and Vishik's odd class, one of them with values in formal pseudo-differential operators. We prove that the corresponding Zakharov-Shabat equations hold in this context, and we express one of our hierarchies as the minimization of a class of Yang-Mills action functionals on a space of pseudo-differential connections whose curvature takes values in the Dixmier ideal. We finish by comparing our Kadomtsev-Petviashvili hierarchies in terms of the solutions that they produce to the KP-II equation: existence, uniqueness and formality.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
Crochet representation of the Lobachevskian surface
Authors:
Isabella Estrada Reyes,
Adriana Mejia Castaño
Abstract:
Beginning the study of non-Euclidean geometries, physical models or representations, such as crochet ones, provide a tangible portrayal of these advanced mathematical concepts. However, their connection to local Euclidean surfaces still needs further investigation. This work aims to explore how the characteristics of crochet models relate to non-Euclidean concepts by providing a parametrization of…
▽ More
Beginning the study of non-Euclidean geometries, physical models or representations, such as crochet ones, provide a tangible portrayal of these advanced mathematical concepts. However, their connection to local Euclidean surfaces still needs further investigation. This work aims to explore how the characteristics of crochet models relate to non-Euclidean concepts by providing a parametrization of such surfaces.
△ Less
Submitted 1 August, 2024;
originally announced August 2024.
-
The v-numbers and linear presentations of ideals of covers of graphs
Authors:
Humberto Muñoz-George,
Enrique Reyes,
Rafael H. Villarreal
Abstract:
Let $G$ be a graph and let $J=I_c(G)$ be its ideal of covers. The aims of this work are to study the {\rm v}-number ${\rm v}(J)$ of $J$ and to study when $J$ is linearly presented using combinatorics and commutative algebra. We classify when ${\rm v}(J)$ attains its minimum and maximum possible values in terms of the vertex covers of the graph that satisfy the exchange property. If the cover ideal…
▽ More
Let $G$ be a graph and let $J=I_c(G)$ be its ideal of covers. The aims of this work are to study the {\rm v}-number ${\rm v}(J)$ of $J$ and to study when $J$ is linearly presented using combinatorics and commutative algebra. We classify when ${\rm v}(J)$ attains its minimum and maximum possible values in terms of the vertex covers of the graph that satisfy the exchange property. If the cover ideal of a graph has a linear presentation, we express its v-number in terms of the covering number of the graph. We show necessary and sufficient conditions for the graph $\mathcal{G}_J$ of $J$ to be connected. Then, for unmixed König graphs, we classify when $J$ is linearly presented using graph theory, and show some results on Cohen--Macaulay König graphs. If $G$ is unmixed, it is shown that the columns of the linear syzygy matrix of $J$ are linearly independent if and only if $\mathcal{G}_J$ has no strong $3$-cycles. One of our main theorems shows that if $G$ is unmixed and has no induced 4-cycles, then $J$ is linearly presented. For unmixed graphs without $3$- and $5$-cycles, we classify combinatorially when $J$ is linearly presented.
△ Less
Submitted 5 September, 2024; v1 submitted 21 July, 2024;
originally announced July 2024.
-
Approximating hyperbolic lattices by cubulations
Authors:
Nic Brody,
Eduardo Reyes
Abstract:
We show that an isometric action of a torsion-free uniform lattice $Γ$ on hyperbolic space $\mathbb{H}^n$ can be metrically approximated by geometric actions of $Γ$ on $\mathrm{CAT}(0)$ cube complexes, provided that either $n$ is at most three, or the lattice is arithmetic of simplest type. This solves a conjecture of Futer and Wise.
Our main tool is the study of a space of co-geodesic currents,…
▽ More
We show that an isometric action of a torsion-free uniform lattice $Γ$ on hyperbolic space $\mathbb{H}^n$ can be metrically approximated by geometric actions of $Γ$ on $\mathrm{CAT}(0)$ cube complexes, provided that either $n$ is at most three, or the lattice is arithmetic of simplest type. This solves a conjecture of Futer and Wise.
Our main tool is the study of a space of co-geodesic currents, consisting of invariant Radon measures supported on codimension-1 hyperspheres in the Gromov boundary of $\mathbb{H}^n$. By pairing co-geodesic currents and geodesic currents via an intersection number, we show that asymptotic convergence of geometric actions can be deduced from the convergence of their dual co-geodesic currents.
For surface groups, our methods also imply approximation by cubulations for actions induced by non-positively curved Riemannian surfaces with singularities, Hitchin and maximal representations, and quasiFuchsian representations.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Rigidity phenomena and the statistical properties of group actions on $\text{CAT}(0)$ cube complexes
Authors:
Stephen Cantrell,
Eduardo Reyes
Abstract:
We compare the marked length spectra of some pairs of proper and cocompact cubical actions of a non-virtually cyclic group on $\text{CAT}(0)$ cube complexes. The cubulations are required to be virtually co-special, have the same sets of convex-cocompact subgroups, and admit a contracting element. There are many groups for which these conditions are always fulfilled for any pair of cubulations, inc…
▽ More
We compare the marked length spectra of some pairs of proper and cocompact cubical actions of a non-virtually cyclic group on $\text{CAT}(0)$ cube complexes. The cubulations are required to be virtually co-special, have the same sets of convex-cocompact subgroups, and admit a contracting element. There are many groups for which these conditions are always fulfilled for any pair of cubulations, including non-elementary cubulable hyperbolic groups, many cubulable relatively hyperbolic groups, and many right-angled Artin and Coxeter groups.
For these pairs of cubulations, we study the Manhattan curve associated to their combinatorial metrics. We prove that this curve is analytic and convex, and a straight line if and only if the marked length spectra are homothetic. The same result holds if we consider invariant combinatorial metrics in which the lengths of the edges are not necessarily one. In addition, for their standard combinatorial metrics, we prove a large deviation theorem with shrinking intervals for their marked length spectra. We deduce the same result for pairs of word metrics on hyperbolic groups.
The main tool is the construction of a finite-state automaton that simultaneously encodes the marked length spectra of both cubulations in a coherent way, in analogy with results about (bi)combable functions on hyperbolic groups by Calegari and Fujiwara. The existence of this automaton allows us to apply the machinery of thermodynamic formalism for suspension flows over subshifts of finite type, from which we deduce our results.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
Marked length spectrum rigidity from rigidity on subsets
Authors:
Stephen Cantrell,
Eduardo Reyes
Abstract:
We introduce a new method for studying length spectrum rigidity problems based on a combination of ideas from dynamical systems and geometric group theory. This allows us to compare the marked length spectrum of metrics and distance-like functions coming from various geometric origins. Using our new perspective, we provide concise proofs of well-known length spectrum rigidity results and are able…
▽ More
We introduce a new method for studying length spectrum rigidity problems based on a combination of ideas from dynamical systems and geometric group theory. This allows us to compare the marked length spectrum of metrics and distance-like functions coming from various geometric origins. Using our new perspective, we provide concise proofs of well-known length spectrum rigidity results and are able to extend classical results to a variety of new settings. Our methods rely on studying Manhattan curves and a coarse geometric analogue of Teichmüller space equipped with a symmetrized version of the Thurston metric.
△ Less
Submitted 1 August, 2024; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Frolicher structures, diffieties, and a formal KP hierarchy
Authors:
Jean-Pierre Magnot,
Enrique G. Reyes,
Vladimir Rubtsov
Abstract:
We propose a definition of a diffiety based on the theory of Frolicher structures. As a consequence, we obtain a natural Vinogradov sequence and, under the assumption of the existence of a suitable derivation, we can form on it a Kadomtsev-Petviashvili hierarchy which is well-posed.
We propose a definition of a diffiety based on the theory of Frolicher structures. As a consequence, we obtain a natural Vinogradov sequence and, under the assumption of the existence of a suitable derivation, we can form on it a Kadomtsev-Petviashvili hierarchy which is well-posed.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
Manhattan geodesics and the boundary of the space of metric structures on hyperbolic groups
Authors:
Stephen Cantrell,
Eduardo Reyes
Abstract:
For any non-elementary hyperbolic group $Γ$, we find an outer automorphism invariant geodesic bicombing for the space of metric structures on $Γ$ equipped with a symmetrized version of the Thurston metric on Techimüller space. We construct and study a boundary for this space and show that it contains many well-known pseudo metrics including those coming from actions on $\text{CAT}(0)$ cube complex…
▽ More
For any non-elementary hyperbolic group $Γ$, we find an outer automorphism invariant geodesic bicombing for the space of metric structures on $Γ$ equipped with a symmetrized version of the Thurston metric on Techimüller space. We construct and study a boundary for this space and show that it contains many well-known pseudo metrics including those coming from actions on $\text{CAT}(0)$ cube complexes, real trees and coned-off Cayley graphs. As corollaries we deduce length spectrum rigidity results, regularity results for Manhattan curves, optimal growth rate results for Anosov representations and results regarding continuous extensions of translation distance functions to the space of geodesic currents. Using our results for geodesic currents we settle a conjecture of Bonahon in the negative.
△ Less
Submitted 15 May, 2024; v1 submitted 13 October, 2022;
originally announced October 2022.
-
Pseudo-peakons and Cauchy analysis for an integrable fifth-order equation of Camassa-Holm type
Authors:
Enrique G. Reyes,
Mingxuan Zhu,
Zhijun Qiao
Abstract:
In this paper we discuss integrable higher order equations {\em of Camassa-Holm (CH) type}. Our higher order CH-type equations are "geometrically integrable", that is, they describe one-parametric families of pseudo-spherical surfaces, in a sense explained in Section 1, and they are integrable in the sense of zero curvature formulation ($\simeq$ Lax pair) with infinitely many local conservation la…
▽ More
In this paper we discuss integrable higher order equations {\em of Camassa-Holm (CH) type}. Our higher order CH-type equations are "geometrically integrable", that is, they describe one-parametric families of pseudo-spherical surfaces, in a sense explained in Section 1, and they are integrable in the sense of zero curvature formulation ($\simeq$ Lax pair) with infinitely many local conservation laws. The major focus of the present paper is on a specific fifth order CH-type equation admitting {\em pseudo-peakons} solutions, that is, weak bounded solutions with differentiable first derivative and continuous and bounded second derivative, but such that any higher order derivative blows up. Furthermore, we investigate the Cauchy problem of this fifth order CH-type equation on the real line and prove local well-posedness under the initial conditions $u_0 \in H^s(\mathbb{R})$, $s > 7/2$. In addition, we study conditions for global well-posedness in $H^4(\mathbb{R})$ as well as conditions causing local solutions to blow up in a finite time. We conclude our paper with some comments on the geometric content of the high order CH-type equations.
△ Less
Submitted 4 May, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Gorenstein homogeneous subrings of graphs
Authors:
Lourdes Cruz,
Enrique Reyes,
Jonathan Toledo
Abstract:
Let $G=(V,E)$ be a connected simple graph, with $n$ vertices such that $S$ is its homogeneous monomial subring. We prove that if $S$ is normal and Gorenstein, then $G$ is unmixed with cover number $\lceil\frac{n}{2}\rceil$ and $G$ has a strong $\lceil\frac{n}{2}\rceil$-$τ$-reduction. Furthermore, if $n$ is even, then we show that $G$ is bipartite. Finally, if $S$ is normal and $G$ is unmixed whose…
▽ More
Let $G=(V,E)$ be a connected simple graph, with $n$ vertices such that $S$ is its homogeneous monomial subring. We prove that if $S$ is normal and Gorenstein, then $G$ is unmixed with cover number $\lceil\frac{n}{2}\rceil$ and $G$ has a strong $\lceil\frac{n}{2}\rceil$-$τ$-reduction. Furthermore, if $n$ is even, then we show that $G$ is bipartite. Finally, if $S$ is normal and $G$ is unmixed whose cover number is $\lceil\frac{n}{2}\rceil$, we give sufficient conditions for $S$ to be Gorenstein.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Induced matchings and the v-number of graded ideals
Authors:
Gonzalo Grisalde,
Enrique Reyes,
Rafael H. Villarreal
Abstract:
We give a formula for the v-number of a graded ideal that can be used to compute this number. Then we show that for the edge ideal $I(G)$ of a graph $G$ the induced matching number of $G$ is an upper bound for the v-number of $I(G)$ when $G$ is very well-covered, or $G$ has a simplicial partition, or $G$ is well-covered connected and contain neither $4$- nor $5$-cycles. In all these cases the v-nu…
▽ More
We give a formula for the v-number of a graded ideal that can be used to compute this number. Then we show that for the edge ideal $I(G)$ of a graph $G$ the induced matching number of $G$ is an upper bound for the v-number of $I(G)$ when $G$ is very well-covered, or $G$ has a simplicial partition, or $G$ is well-covered connected and contain neither $4$- nor $5$-cycles. In all these cases the v-number of $I(G)$ is a lower bound for the regularity of the edge ring of $G$. We classify when the upper bound holds when $G$ is a cycle, and classify when all vertices of a graph are shedding vertices to gain insight on $W_2$-graphs.
△ Less
Submitted 14 October, 2021; v1 submitted 28 September, 2021;
originally announced September 2021.
-
Rigid body equations on spaces of pseudo-differential operators with renormalized trace
Authors:
Jean-Pierre Magnot,
Enrique G. Reyes
Abstract:
We equip the regular Fréchet Lie group of invertible, odd-class, classical pseudodifferential operators $Cl^{0,*}_{odd}(M,E)$ -- in which $M$ is a compact smooth manifold and $E$ a (complex) vector bundle over $M$ -- with pseudo-Riemannian metrics, and we use these metrics to introduce a large class of rigid body equations. We adapt to our infinite-dimensional setting Manakov's classical observati…
▽ More
We equip the regular Fréchet Lie group of invertible, odd-class, classical pseudodifferential operators $Cl^{0,*}_{odd}(M,E)$ -- in which $M$ is a compact smooth manifold and $E$ a (complex) vector bundle over $M$ -- with pseudo-Riemannian metrics, and we use these metrics to introduce a large class of rigid body equations. We adapt to our infinite-dimensional setting Manakov's classical observation on the integrability of Euler's equations for the rigid body, and we show that our equations can be written in Lax form (with parameter) and that they admit an infinite number of integrals of motion. We also prove the existence of metric connections, we show that our rigid body equations determine geodesics on $Cl^{0,*}_{odd}(M,E)$, and we present rigorous formulas for the corresponding curvature and sectional curvature. Our main tool is the theory of renormalized traces of pseudodifferential operators on compact smooth manifolds without boundary.
△ Less
Submitted 11 February, 2022; v1 submitted 9 April, 2021;
originally announced April 2021.
-
Deducibility and Independence in Beklemishev's Autonomous Provability Calculus
Authors:
David Fernández-Duque,
Eduardo Hermo Reyes
Abstract:
Beklemishev introduced an ordinal notation system for the Feferman-Schütte ordinal $Γ_0$ based on the autonomous expansion of provability algebras. In this paper we present the logic $\textbf{BC}$ (for Bracket Calculus). The language of $\textbf{BC}$ extends said ordinal notation system to a strictly positive modal language. Thus, unlike other provability logics, $\textbf{BC}$ is based on a self-c…
▽ More
Beklemishev introduced an ordinal notation system for the Feferman-Schütte ordinal $Γ_0$ based on the autonomous expansion of provability algebras. In this paper we present the logic $\textbf{BC}$ (for Bracket Calculus). The language of $\textbf{BC}$ extends said ordinal notation system to a strictly positive modal language. Thus, unlike other provability logics, $\textbf{BC}$ is based on a self-contained signature that gives rise to an ordinal notation system instead of modalities indexed by some ordinal given a priori. The presented logic is proven to be equivalent to $\textbf{RC}_{Γ_0}$, that is, to the strictly positive fragment of $\textbf{GLP}_{Γ_0}$. We then define a combinatorial statement based on $\textbf{BC}$ and show it to be independent of the theory $\textbf{ATR}_0$ of Arithmetical Transfinite Recursion, a theory of second order arithmetic far more powerful than Peano Arithmetic.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
Unmixedness of some weighted oriented graphs
Authors:
Lourdes Cruz,
Yuriko Pitones,
Enrique Reyes
Abstract:
Let $D=(G,\mathcal{O},w)$ be a weighted oriented graph whose edge ideal is $I(D)$. In this paper, we characterize the unmixed property of $I(D)$ for each one of the following cases: $G$ is an $SCQ$ graph; $G$ is a chordal graph; $G$ is a simplicial graph; $G$ is a perfect graph; $G$ has no $4$- or $5$-cycles; $G$ is a graph without $3$- and $5$-cycles; and ${\rm girth}(G)\geqslant 5$.
Let $D=(G,\mathcal{O},w)$ be a weighted oriented graph whose edge ideal is $I(D)$. In this paper, we characterize the unmixed property of $I(D)$ for each one of the following cases: $G$ is an $SCQ$ graph; $G$ is a chordal graph; $G$ is a simplicial graph; $G$ is a perfect graph; $G$ has no $4$- or $5$-cycles; $G$ is a graph without $3$- and $5$-cycles; and ${\rm girth}(G)\geqslant 5$.
△ Less
Submitted 11 October, 2021; v1 submitted 2 March, 2020;
originally announced March 2020.
-
Unmixed and Cohen--Macaulay weighted oriented König graphs
Authors:
Yuriko Pitones,
Enrique Reyes,
Rafael H. Villarreal
Abstract:
Let $D$ be a weighted oriented graph, whose underlying graph is $G$, and let $I(D)$ be its edge ideal. If $G$ has no $3$-, $5$-, or $7$-cycles, or $G$ is König, we characterize when $I(D)$ is unmixed. If $G$ has no $3$- or $5$-cycles, or $G$ is König, we characterize when $I(D)$ is Cohen--Macaulay. We prove that $I(D)$ is unmixed if and only if $I(D)$ is Cohen--Macaulay when $G$ has girth greater…
▽ More
Let $D$ be a weighted oriented graph, whose underlying graph is $G$, and let $I(D)$ be its edge ideal. If $G$ has no $3$-, $5$-, or $7$-cycles, or $G$ is König, we characterize when $I(D)$ is unmixed. If $G$ has no $3$- or $5$-cycles, or $G$ is König, we characterize when $I(D)$ is Cohen--Macaulay. We prove that $I(D)$ is unmixed if and only if $I(D)$ is Cohen--Macaulay when $G$ has girth greater than $7$ or $G$ is König and has no $4$-cycles.
△ Less
Submitted 29 September, 2019;
originally announced September 2019.
-
On the Cauchy problem for a Kadomtsev-Petviashvili hierarchy on non-formal operators and its relation with a group of diffeomorphisms
Authors:
Jean-Pierre Magnot,
Enrique G. Reyes
Abstract:
We establish a rigorous link between infinite-dimensional regular Frölicher Lie groups built out of non-formal pseudodifferential operators and the Kadomtsev-Petviashvili hierarchy. We introduce a version of the Kadomtsev-Petviashvili hierarchy on a regular Frölicher Lie group of series of non-formal odd-class pseudodifferential operators. We solve its corresponding Cauchy problem, and we establis…
▽ More
We establish a rigorous link between infinite-dimensional regular Frölicher Lie groups built out of non-formal pseudodifferential operators and the Kadomtsev-Petviashvili hierarchy. We introduce a version of the Kadomtsev-Petviashvili hierarchy on a regular Frölicher Lie group of series of non-formal odd-class pseudodifferential operators. We solve its corresponding Cauchy problem, and we establish a link between the dressing operator for our hierarchy and the action of diffeomorphisms and non-formal Sato-like operators on jet spaces. In appendix, we describe the group of Fourier integral operators in which this correspondence seems to take place. Also, motivated by Mulase's work on the KP hierarchy, we prove a group factorization theorem for our group of Fourier integral operators.
△ Less
Submitted 25 May, 2020; v1 submitted 11 August, 2018;
originally announced August 2018.
-
Edge ideals of oriented graphs
Authors:
Huy Tài Hà,
Kuei-Nuan Lin,
Susan Morey,
Enrique Reyes,
Rafael H. Villarreal
Abstract:
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the unde…
▽ More
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the underlying graph of $\mathcal{D}$ is a bipartite graph. When $I(\mathcal{D})$ fails to be Cohen-Macaulay, we give an instance where $I(\mathcal{D})$ is shown to be sequentially Cohen-Macaulay.
△ Less
Submitted 10 May, 2018;
originally announced May 2018.
-
A Finitely Supported Frame for the Turing Schmerl Calculus
Authors:
Eduardo Hermo Reyes
Abstract:
In arXiv:1604.08705 we introduced the propositional modal logic $\textbf{TSC}$ (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations between different kinds of Turing progressions. In arXiv:1709.04715 we defined a model $\mathcal{J}$ which is proven to be a universal model for $\textbf{TSC}$ based on the intensively studied Ignatiev's universal model for…
▽ More
In arXiv:1604.08705 we introduced the propositional modal logic $\textbf{TSC}$ (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations between different kinds of Turing progressions. In arXiv:1709.04715 we defined a model $\mathcal{J}$ which is proven to be a universal model for $\textbf{TSC}$ based on the intensively studied Ignatiev's universal model for the closed fragment of $\textbf{GLP}$ (Gödel Löb's polymodal provability logic). In the current paper we present a new universal frame $\mathcal{H}$, which is a slight modification of $\mathcal{J}$, and whose domain allows for a modal definability of each of its worlds.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Monomial ideals of weighted oriented graphs
Authors:
Yuriko Pitones,
Enrique Reyes,
Jonathan Toledo
Abstract:
Let I=I(D) be the edge ideal of a weighted oriented graph D. We determine the irredundant irreducible decomposition of I. Also, we characterize the associated primes and the unmixed property of I. Furthermore, we give a combinatorial characterization for the unmixed property of I, when D is bipartite, D is a whisker or D is a cycle. Finally, we study the Cohen-Macaulay property of I.
Let I=I(D) be the edge ideal of a weighted oriented graph D. We determine the irredundant irreducible decomposition of I. Also, we characterize the associated primes and the unmixed property of I. Furthermore, we give a combinatorial characterization for the unmixed property of I, when D is bipartite, D is a whisker or D is a cycle. Finally, we study the Cohen-Macaulay property of I.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Relational Semantics for the Turing Schmerl Calculus
Authors:
Eduardo Hermo Reyes,
Joost J. Joosten
Abstract:
In arXiv:1604.08705 the authors introduced the propositional modal logic $\textbf{TSC}$ (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations between different kinds of Turing progressions. The current paper defines a model $\mathcal{J}$ which is proven to be a universal model for $\textbf{TSC}$. The model $\mathcal{J}$ is a slight modification of the in…
▽ More
In arXiv:1604.08705 the authors introduced the propositional modal logic $\textbf{TSC}$ (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations between different kinds of Turing progressions. The current paper defines a model $\mathcal{J}$ which is proven to be a universal model for $\textbf{TSC}$. The model $\mathcal{J}$ is a slight modification of the intensively studied $\mathcal{I}$ : Ignatiev's universal model for the closed fragment of Gödel Löb's polymodal provability logic $\textbf{GLP}$.
△ Less
Submitted 27 April, 2018; v1 submitted 14 September, 2017;
originally announced September 2017.
-
Nonlinear pseudo-differential equations defined by elliptic symbols on ${\lp}$ and the fractional Laplacian
Authors:
Mauricio Bravo,
Humberto Prado,
Enrique G. Reyes
Abstract:
We develop an $L^p(\mathbb{R}^n)$-functional calculus appropriated for interpreting "non-classical symbols" of the form $a(-Δ)$, and for proving existence in $L^q(\mathbb{R}^n)$, some $q > p$, of solutions to nonlinear pseudo-differential equations of the form $[1 + a(-Δ)]^{s/2} (u) = V(\cdot, u)$. More precisely, we use the theory of Fourier multipliers for constructing suitable domains on which…
▽ More
We develop an $L^p(\mathbb{R}^n)$-functional calculus appropriated for interpreting "non-classical symbols" of the form $a(-Δ)$, and for proving existence in $L^q(\mathbb{R}^n)$, some $q > p$, of solutions to nonlinear pseudo-differential equations of the form $[1 + a(-Δ)]^{s/2} (u) = V(\cdot, u)$. More precisely, we use the theory of Fourier multipliers for constructing suitable domains on which the formal operator appearing in the above equation can be rigorously defined, and we prove existence of solutions belonging to these domains. We also include applications of the theory to equations of physical interest involving the fractional Laplace operator such as the Allen-Cahn equation.
△ Less
Submitted 16 July, 2018; v1 submitted 28 November, 2016;
originally announced November 2016.
-
Well-posedness of the Kadomtsev-Petviashvili hierarchy, Mulase factorization, and Frölicher Lie groups
Authors:
Jean-Pierre Magnot,
Enrique G. Reyes
Abstract:
We recall the notions of Frölicher and diffeological spaces and we build regular Frölicher Lie groups and Lie algebras of formal pseudo-differential operators in one independent variable. Combining these constructions with a smooth version of the Mulase factorization of infinite dimensional groups based on formal pseudo-differential operators, we present two proofs of the well-posedness of the Cau…
▽ More
We recall the notions of Frölicher and diffeological spaces and we build regular Frölicher Lie groups and Lie algebras of formal pseudo-differential operators in one independent variable. Combining these constructions with a smooth version of the Mulase factorization of infinite dimensional groups based on formal pseudo-differential operators, we present two proofs of the well-posedness of the Cauchy problem for the Kadomtsev-Petviashvili (KP) hierarchy in a smooth category. We also generalize these results to a KP hierarchy modelled on formal pseudo-differential operators with coefficients which are series in formal parameters, describe a rigorous derivation of the Hamiltonian interpretation of the KP hierarchy, and discuss how solutions depending on formal parameters can lead to sequences of functions converging to a class of solutions of the standard KP-I equation.
△ Less
Submitted 2 February, 2020; v1 submitted 13 August, 2016;
originally announced August 2016.
-
The logic of Turing progressions
Authors:
Eduardo Hermo Reyes,
Joost J. Joosten
Abstract:
Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper we present a logic that generates exactly all relations that hold between these different Turing progressions given a particular set of natural consistency notions. Thus, the presented logic is proven to arithmetically so…
▽ More
Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper we present a logic that generates exactly all relations that hold between these different Turing progressions given a particular set of natural consistency notions. Thus, the presented logic is proven to arithmetically sound and complete for a natural interpretation, named the \emph{Formalized Turing progressions} (FTP) interpretation.
△ Less
Submitted 13 September, 2017; v1 submitted 29 April, 2016;
originally announced April 2016.
-
On well-covered, vertex decomposable and Cohen-Macaulay graphs
Authors:
Iván Dario Castrillón,
Roberto Cruz,
Enrique Reyes
Abstract:
Let $G=(V,E)$ be a graph. If $G$ is a König graph or $G$ is a graph without 3-cycles and 5-cycle, we prove that the following conditions are equivalent: $Δ_{G}$ is pure shellable, $R/I_Δ$ is Cohen-Macaulay, $G$ is unmixed vertex decomposable graph and $G$ is well-covered with a perfect matching of König type $e_{1},...,e_{g}$ without square with two $e_i$'s. We characterize well-covered graphs wit…
▽ More
Let $G=(V,E)$ be a graph. If $G$ is a König graph or $G$ is a graph without 3-cycles and 5-cycle, we prove that the following conditions are equivalent: $Δ_{G}$ is pure shellable, $R/I_Δ$ is Cohen-Macaulay, $G$ is unmixed vertex decomposable graph and $G$ is well-covered with a perfect matching of König type $e_{1},...,e_{g}$ without square with two $e_i$'s. We characterize well-covered graphs without 3-cycles, 5-cycles and 7-cycles. Also, we study when graphs without 3-cycles and 5-cycles are vertex decomposable or shellable. Furthermore, we give some properties and relations between critical, extendables and shedding vertices. Finally, we characterize unicyclic graphs with each one of the following properties: unmixed, vertex decomposable, shellable and Cohen-Macaulay.
△ Less
Submitted 30 April, 2015;
originally announced May 2015.
-
Complete Intersection Toric Ideals of Oriented Graphs and Chorded-Theta Subgraphs
Authors:
I. Gitler,
E. Reyes,
J. A. Vega
Abstract:
Let $G=(V,E)$ be a finite, simple graph. We consider for each oriented graph $G_{\cal O}$ associated to an orientation ${\cal O}$ of the edges of $G$, the toric ideal $P_{G_{\cal O}}$. In this paper we study those graphs with the property that $P_{G_{\cal O}}$ is a binomial complete intersection, for all ${\cal O}$. These graphs are called $\text{CI}{\cal O}$ graphs. We prove that these graphs can…
▽ More
Let $G=(V,E)$ be a finite, simple graph. We consider for each oriented graph $G_{\cal O}$ associated to an orientation ${\cal O}$ of the edges of $G$, the toric ideal $P_{G_{\cal O}}$. In this paper we study those graphs with the property that $P_{G_{\cal O}}$ is a binomial complete intersection, for all ${\cal O}$. These graphs are called $\text{CI}{\cal O}$ graphs. We prove that these graphs can be constructed recursively as clique-sums of cycles and/or complete graphs. We introduce the chorded-theta subgraphs and their transversal triangles. Also we establish that the $\text{CI}{\cal O}$ graphs are determined by the property that each chorded-theta has a transversal triangle. As a consequence, we obtain that the tournaments hold this property. Finally we explicitly give the minimal forbidden induced subgraphs that characterize these graphs, these families of graphs are: prisms, pyramids, thetas and a particular family of wheels that we call $θ-$partial wheels.
△ Less
Submitted 27 December, 2012;
originally announced December 2012.
-
Graphs and complete intersection toric ideals
Authors:
Isabel Bermejo,
Ignacio García-Marco,
Enrique Reyes
Abstract:
Our purpose is to study the family of simple undirected graphs whose toric ideal is a complete intersection from both an algorithmic and a combinatorial point of view. We obtain a polynomial time algorithm that, given a graph $G$, checks whether its toric ideal $P_G$ is a complete intersection or not. Whenever $P_G$ is a complete intersection, the algorithm also returns a minimal set of generators…
▽ More
Our purpose is to study the family of simple undirected graphs whose toric ideal is a complete intersection from both an algorithmic and a combinatorial point of view. We obtain a polynomial time algorithm that, given a graph $G$, checks whether its toric ideal $P_G$ is a complete intersection or not. Whenever $P_G$ is a complete intersection, the algorithm also returns a minimal set of generators of $P_G$. Moreover, we prove that if $G$ is a connected graph and $P_G$ is a complete intersection, then there exist two induced subgraphs $R$ and $C$ of $G$ such that the vertex set $V(G)$ of $G$ is the disjoint union of $V(R)$ and $V(C)$, where $R$ is a bipartite ring graph and $C$ is either the empty graph, an odd primitive cycle, or consists of two odd primitive cycles properly connected. Finally, if $R$ is $2$-connected and $C$ is connected, we list the families of graphs whose toric ideals are complete intersection.
△ Less
Submitted 25 July, 2014; v1 submitted 6 October, 2012;
originally announced October 2012.
-
Minimal generators of toric ideals of graphs
Authors:
Enrique Reyes,
Christos Tatakis,
Apostolos Thoma
Abstract:
Let $I_G$ be the toric ideal of a graph $G$. We characterize in graph theoretical terms the primitive, the minimal, the indispensable and the fundamental binomials of the toric ideal $I_G$.
Let $I_G$ be the toric ideal of a graph $G$. We characterize in graph theoretical terms the primitive, the minimal, the indispensable and the fundamental binomials of the toric ideal $I_G$.
△ Less
Submitted 10 February, 2010;
originally announced February 2010.
-
On 2-partitionable clutters and the MFMC property
Authors:
Alejandro Flores-Méndez,
Isidoro Gitler,
Enrique Reyes
Abstract:
We introduce 2-partitionable clutters as the simplest case of the class of $k$-partitionable clutters and study some of their combinatorial properties. In particular, we study properties of the rank of the incidence matrix of these clutters and properties of their minors.
A well known conjecture of Conforti and Cornuéjols
\cite{ConfortiCornuejols,cornu-book} states: That all the clutters wit…
▽ More
We introduce 2-partitionable clutters as the simplest case of the class of $k$-partitionable clutters and study some of their combinatorial properties. In particular, we study properties of the rank of the incidence matrix of these clutters and properties of their minors.
A well known conjecture of Conforti and Cornuéjols
\cite{ConfortiCornuejols,cornu-book} states: That all the clutters with the packing property have the max-flow min-cut property, i.e. are mengerian. Among the general classes of clutters known to verify the conjecture are: balanced clutters (Fulkerson, Hoffman and Oppenheim \cite{FulkersonHoffmanOppenheim}), binary clutters (Seymour \cite{Seymour}) and dyadic clutters (Cornuéjols, Guenin and Margot \cite{CornuejolsGueninMargot}). We find a new infinite family of 2-partitionable clutters, that verifies the conjecture.
On the other hand we are interested in studying the normality of the Rees algebra associated to a clutter and possible relations with the Conforti and Cornuéjols conjecture. In fact this conjecture is equivalent to an algebraic statement about the normality of the Rees algebra \cite{rocky}.
△ Less
Submitted 10 June, 2008;
originally announced June 2008.
-
Cohen-Macaulay, Shellable and unmixed clutters with a perfect matching of König type
Authors:
Susan Morey,
Enrique Reyes,
Rafael H. Villarreal
Abstract:
Let $\mathcal{C}$ be a clutter with a perfect matching $e_1,...,e_g$ of König type and let $Δ_\mathcal{C}$ be the Stanley-Reisner complex of the edge ideal of $\mathcal{C}$. If all c-minors of $\mathcal{C}$ have a free vertex and $\mathcal{C}$ is unmixed, we show that $Δ_\mathcal{C}$ is pure shellable. We are able to describe, in combinatorial and algebraic terms, when $Δ_\mathcal{C}$ is pure. I…
▽ More
Let $\mathcal{C}$ be a clutter with a perfect matching $e_1,...,e_g$ of König type and let $Δ_\mathcal{C}$ be the Stanley-Reisner complex of the edge ideal of $\mathcal{C}$. If all c-minors of $\mathcal{C}$ have a free vertex and $\mathcal{C}$ is unmixed, we show that $Δ_\mathcal{C}$ is pure shellable. We are able to describe, in combinatorial and algebraic terms, when $Δ_\mathcal{C}$ is pure. If $\mathcal{C}$ has no cycles of length 3 or 4, then it is shown that $Δ_\mathcal{C}$ is pure if and only if $Δ_\mathcal{C}$ is pure shellable (in this case $e_i$ has a free vertex for all $i$), and that $Δ_\mathcal{C}$ is pure if and only if for any two edges $f_1,f_2$ of $\mathcal{C}$ and for any $e_i$, one has that $f_1\cap e_i\subset f_2\cap e_i$ or $f_2\cap e_i\subset f_1\cap e_i$. It is also shown that this ordering condition implies that $Δ_\mathcal{C}$ is pure shellable, without any assumption on the cycles of $\mathcal{C}$. Then we prove that complete admissible uniform clutters and their Alexander duals are unmixed. In addition, the edge ideals of complete admissible uniform clutters are facet ideals of shellable simplicial complexes, they are Cohen-Macaulay, and they have linear resolutions. Furthermore if $ \mathcal{C}$ is admissible and complete, then $\mathcal{C}$ is unmixed. We characterize certain conditions that occur in a Cohen-Macaulay criterion for bipartite graphs of Herzog and Hibi, and extend some results of Faridi--on the structure of unmixed simplicial trees--to clutters with the König property without 3-cycles or 4-cycles.
△ Less
Submitted 6 November, 2007; v1 submitted 22 August, 2007;
originally announced August 2007.
-
Blowup algebras of square-free monomial ideals and some links to combinatorial optimization problems
Authors:
I. Gitler,
E. Reyes,
R. H. Villarreal
Abstract:
Let I=(x^{v_1},...,x^{v_q} be a square-free monomial ideal of a polynomial ring K[x_1,...,x_n] over an arbitrary field K and let A be the incidence matrix with column vectors {v_1},...,{v_q}. We will establish some connections between algebraic properties of certain graded algebras associated to I and combinatorial optimization properties of certain polyhedrons and clutters associated to A and I…
▽ More
Let I=(x^{v_1},...,x^{v_q} be a square-free monomial ideal of a polynomial ring K[x_1,...,x_n] over an arbitrary field K and let A be the incidence matrix with column vectors {v_1},...,{v_q}. We will establish some connections between algebraic properties of certain graded algebras associated to I and combinatorial optimization properties of certain polyhedrons and clutters associated to A and I respectively. Some applications to Rees algebras and combinatorial optimization are presented. We study a conjecture of Conforti and Cornuéjols using an algebraic approach.
△ Less
Submitted 27 January, 2009; v1 submitted 21 September, 2006;
originally announced September 2006.
-
Ring graphs and complete intersection toric ideals
Authors:
Isidoro Gitler,
Enrique Reyes,
Rafael H. Villarreal
Abstract:
We study the family of graphs whose number of primitive cycles equals its cycle rank. It is shown that this family is precisely the family of ring graphs. Then we study the complete intersection property of toric ideals of bipartite graphs and oriented graphs. An interesting application is that complete intersection toric ideals of bipartite graphs correspond to ring graphs and that these ideals…
▽ More
We study the family of graphs whose number of primitive cycles equals its cycle rank. It is shown that this family is precisely the family of ring graphs. Then we study the complete intersection property of toric ideals of bipartite graphs and oriented graphs. An interesting application is that complete intersection toric ideals of bipartite graphs correspond to ring graphs and that these ideals are minimally generated by Groebner bases. We prove that any graph can be oriented such that its toric ideal is a complete intersection with a universal Groebner basis determined by the cycles. It turns out that bipartite ring graphs are exactly the bipartite graphs that have complete intersection toric ideals for any orientation.
△ Less
Submitted 17 March, 2009; v1 submitted 30 March, 2006;
originally announced March 2006.
-
Categorical distribution theory; heat equation
Authors:
Anders Kock,
Gonzalo E. Reyes
Abstract:
The aim of this paper is to develop the theory of distributions, not necessarily of compact support, in a topos model of Synthetic Differential Geometry, the so-called "Cahiers Topos". As an application, we study the evolution through time of a heat distribution. In the first part of the paper we study distributions in the sense of Schwartz in the context of convenient vector spaces. In particul…
▽ More
The aim of this paper is to develop the theory of distributions, not necessarily of compact support, in a topos model of Synthetic Differential Geometry, the so-called "Cahiers Topos". As an application, we study the evolution through time of a heat distribution. In the first part of the paper we study distributions in the sense of Schwartz in the context of convenient vector spaces. In particular, we study smoothness (with respect to time) of the fundamental distribution solution of the heat equation. In the second part, we show how the results of the first part may be used to internalize these notions to prove the existence of the fundamental distribution solution of the heat equation in the Cahiers topos.}
△ Less
Submitted 14 July, 2004;
originally announced July 2004.
-
Some calculus with extensive quantities: wave equation
Authors:
Anders Kock,
Gonzalo E. Reyes
Abstract:
We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in the study of the wave equation.
We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in the study of the wave equation.
△ Less
Submitted 24 March, 2003;
originally announced March 2003.
-
Correspondence theorems for hierarchies of equations of pseudo-spherical type
Authors:
Enrique G. Reyes
Abstract:
Hierarchies of evolution equations of pseudo-spherical type are introduced, generalizing the notion of a single equation describing pseudo-spherical surfaces due to S.S. Chern and K. Tenenblat, and providing a connection between differential geometry and the study of hierarchies of equations which are the integrability condition of $sl(2,{\bf R})$--valued linear problems. As an application, it i…
▽ More
Hierarchies of evolution equations of pseudo-spherical type are introduced, generalizing the notion of a single equation describing pseudo-spherical surfaces due to S.S. Chern and K. Tenenblat, and providing a connection between differential geometry and the study of hierarchies of equations which are the integrability condition of $sl(2,{\bf R})$--valued linear problems. As an application, it is shown that there exists a local correspondence between any two (suitably generic) solutions of arbitrary hierarchies of equations of pseudo-spherical type.
△ Less
Submitted 19 December, 2002;
originally announced December 2002.
-
Some differential equations in synthetic differential geometry
Authors:
Anders Kock,
Gonzalo E. Reyes
Abstract:
Some differential equations are considered in the context of Synthetic Differential Geometry. Here, this means that not only nilpotent infinitesimals, but also the formation of function spaces, is exploited. In particular, we utilize distribution spaces in our study of wave and heat equations.
Some differential equations are considered in the context of Synthetic Differential Geometry. Here, this means that not only nilpotent infinitesimals, but also the formation of function spaces, is exploited. In particular, we utilize distribution spaces in our study of wave and heat equations.
△ Less
Submitted 17 April, 2001;
originally announced April 2001.
