Showing 1–50 of 70 results for author: Gutiérrez, J

On Tuza's Conjecture in Dense Graphs

Authors: Luis Chahua, Juan Gutierrez

Abstract: In 1982, Tuza conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. This conjecture was proved for several graph classes. In this paper, we present three results regarding Tuza's Conjecture for dense graphs. By using a probabilistic argument, Tuza proved its conje… ▽ More In 1982, Tuza conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. This conjecture was proved for several graph classes. In this paper, we present three results regarding Tuza's Conjecture for dense graphs. By using a probabilistic argument, Tuza proved its conjecture for graphs on $n$ vertices with minimum degree at least $\frac{7n}{8}$. We extend this technique to show that Tuza's conjecture is valid for split graphs with minimum degree at least $\frac{3n}{5}$; and that $τ(G) < \frac{28}{15}ν(G)$ for every tripartite graph with minimum degree more than $\frac{33n}{56}$. Finally, we show that $τ(G)\leq \frac{3}{2}ν(G)$ when $G$ is a complete 4-partite graph. Moreover, this bound is tight. △ Less

Submitted 18 May, 2024; originally announced May 2024.

Comments: 12 pages, 1 figure

Domination and packing in graphs

Authors: Renzo Gómez, Juan Gutiérrez

Abstract: Given a graph~$G$, the domination number, denoted by~$γ(G)$, is the minimum cardinality of a dominating set in~$G$. Dual to the notion of domination number is the packing number of a graph. A packing of~$G$ is a set of vertices whose pairwise distance is at least three. The packing number~$ρ(G)$ of~$G$ is the maximum cardinality of one such set. Furthermore, the inequality~$ρ(G) \leq γ(G)$ is well… ▽ More Given a graph~$G$, the domination number, denoted by~$γ(G)$, is the minimum cardinality of a dominating set in~$G$. Dual to the notion of domination number is the packing number of a graph. A packing of~$G$ is a set of vertices whose pairwise distance is at least three. The packing number~$ρ(G)$ of~$G$ is the maximum cardinality of one such set. Furthermore, the inequality~$ρ(G) \leq γ(G)$ is well-known. Henning et al.\ conjectured that~$γ(G) \leq 2ρ(G)+1$ if~$G$ is subcubic. In this paper, we progress towards this conjecture by showing that~${γ(G) \leq \frac{120}{49}ρ(G)}$ if~$G$ is a bipartite cubic graph. We also show that $γ(G) \leq 3ρ(G)$ if~$G$ is a maximal outerplanar graph, and that~$γ(G) \leq 2ρ(G)$ if~$G$ is a biconvex graph. Moreover, in the last case, we show that this upper bound is tight. △ Less

Submitted 8 February, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: 12 pages, 6 figures

MSC Class: 05C69 ACM Class: G.2.2

On two conjectures about the intersection of longest paths and cycles

Authors: Juan Gutiérrez, Christian Valqui

Abstract: A conjecture attributed to Smith states that every pair of longest cycles in a $k$-connected graph intersect each other in at least $k$ vertices. In this paper, we show that every pair of longest cycles in a~$k$-connected graph on $n$ vertices intersect each other in at least~$\min\{n,8k-n-16\}$ vertices, which confirms Smith's conjecture when $k\geq (n+16)/7$. An analog conjecture for paths inste… ▽ More A conjecture attributed to Smith states that every pair of longest cycles in a $k$-connected graph intersect each other in at least $k$ vertices. In this paper, we show that every pair of longest cycles in a~$k$-connected graph on $n$ vertices intersect each other in at least~$\min\{n,8k-n-16\}$ vertices, which confirms Smith's conjecture when $k\geq (n+16)/7$. An analog conjecture for paths instead of cycles was stated by Hippchen. By a simple reduction, we relate both conjectures, showing that Hippchen's conjecture is valid when either $k \leq 6$ or $k \geq (n+9)/7$. △ Less

Submitted 5 October, 2023; originally announced October 2023.

MSC Class: 05C38 ACM Class: G.2.2

Independent dominating sets in planar triangulations

Authors: Fábio Botler, Cristina G. Fernandes, Juan Gutiérrez

Abstract: In 1996, Matheson and Tarjan proved that every near planar triangulation on $n$ vertices contains a dominating set of size at most $n/3$, and conjectured that this upper bound can be reduced to $n/4$ for planar triangulations when $n$ is sufficiently large. In this paper, we consider the analogous problem for independent dominating sets: What is the minimum $ε$ for which every near planar triangul… ▽ More In 1996, Matheson and Tarjan proved that every near planar triangulation on $n$ vertices contains a dominating set of size at most $n/3$, and conjectured that this upper bound can be reduced to $n/4$ for planar triangulations when $n$ is sufficiently large. In this paper, we consider the analogous problem for independent dominating sets: What is the minimum $ε$ for which every near planar triangulation on $n$ vertices contains an independent dominating set of size at most $εn$? We prove that $2/7 \leq ε\leq 5/12$. Moreover, this upper bound can be improved to $3/8$ for planar triangulations, and to $1/3$ for planar triangulations with minimum degree 5. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: 9 pages

MSC Class: 05C10; 05C69 ACM Class: G.2.2

Permutation and local permutation polynomial of maximum degree

Authors: Jaime Gutierrez, Jorge Jimenez Urroz

Abstract: Let $F_q$ be the finite field with $q$ elements and $F_q[x_1,\ldots, x_n]$ the ring of polynomials in $n$ variables over $F_q$. In this paper we consider permutation polynomials and local permutation polynomials over $F_q[x_1,\ldots, x_n]$, which define interesting generalizations of permutations over finite fields. We are able to construct permutation polynomials in $F_q[x_1,\ldots, x_n]$ of maxi… ▽ More Let $F_q$ be the finite field with $q$ elements and $F_q[x_1,\ldots, x_n]$ the ring of polynomials in $n$ variables over $F_q$. In this paper we consider permutation polynomials and local permutation polynomials over $F_q[x_1,\ldots, x_n]$, which define interesting generalizations of permutations over finite fields. We are able to construct permutation polynomials in $F_q[x_1,\ldots, x_n]$ of maximum degree $n(q-1)-1$ and local permutation polynomials in $F_q[x_1,\ldots, x_n]$ of maximum degree $n(q-2)$ when $q>3$, extending previous results. △ Less

Submitted 29 August, 2023; v1 submitted 2 August, 2023; originally announced August 2023.

MSC Class: 11T06; 05B15; 20B35 ACM Class: G.2.0; E.3; E.4

Machine Learning architectures for price formation models with common noise

Authors: Diogo Gomes, Julian Gutierrez, Mathieu Laurière

Abstract: We propose a machine learning method to solve a mean-field game price formation model with common noise. This involves determining the price of a commodity traded among rational agents subject to a market clearing condition imposed by random supply, which presents additional challenges compared to the deterministic counterpart. Our approach uses a dual recurrent neural network architecture encodin… ▽ More We propose a machine learning method to solve a mean-field game price formation model with common noise. This involves determining the price of a commodity traded among rational agents subject to a market clearing condition imposed by random supply, which presents additional challenges compared to the deterministic counterpart. Our approach uses a dual recurrent neural network architecture encoding noise dependence and a particle approximation of the mean-field model with a single loss function optimized by adversarial training. We provide a posteriori estimates for convergence and illustrate our method through numerical experiments. △ Less

Submitted 27 May, 2023; originally announced May 2023.

Comments: 6 pages, 3 figures, conference paper

MSC Class: 91A15; 91-08; 68T07; 60H10; 65C20

Cloning systems and action operads

Authors: Javier Aramayona, Federico Cantero Morán, Víctor Carmona, Javier J. Gutiérrez

Abstract: Action operads and cloning systems are, respectively, the main ingredients in two approaches for axiomatically constructing Thompson-like groups due to Thumann and Witzel-Zaremsky. In this paper, we prove that action operads are equivalent to cloning systems that admit a certain extra structure, and which we call bilateral cloning systems. In addition, we describe their relation with crossed inter… ▽ More Action operads and cloning systems are, respectively, the main ingredients in two approaches for axiomatically constructing Thompson-like groups due to Thumann and Witzel-Zaremsky. In this paper, we prove that action operads are equivalent to cloning systems that admit a certain extra structure, and which we call bilateral cloning systems. In addition, we describe their relation with crossed interval groups and product categories. △ Less

Submitted 12 July, 2023; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: In this version we have removed an assumption on the definition of cloning system, matching the original definition. Additionally, we have expanded the section on action operads

MSC Class: 20F65; 57M07; 18M65

On Tuza's conjecture in co-chain graphs

Authors: Luis Chahua, Juan Gutiérrez

Abstract: In 1981, Tuza conjectured that the cardinality of a minimum set of edges that intersects every triangle of a graph is at most twice the cardinality of a maximum set of edge-disjoint triangles. This conjecture have been proved for several important graph classes, as planar graphs, tripartite graphs, among others. However, it remains open on other important classes of graphs, as chordal graphs. Furt… ▽ More In 1981, Tuza conjectured that the cardinality of a minimum set of edges that intersects every triangle of a graph is at most twice the cardinality of a maximum set of edge-disjoint triangles. This conjecture have been proved for several important graph classes, as planar graphs, tripartite graphs, among others. However, it remains open on other important classes of graphs, as chordal graphs. Furthermore, it remains open for main subclasses of chordal graphs, as split graphs and interval graphs. In this paper, we show that Tuza's conjecture is valid for co-chain graphs with even number of vertices in both sides of the partition, a known subclass of interval graphs. △ Less

Submitted 18 July, 2023; v1 submitted 14 November, 2022; originally announced November 2022.

Local permutation polynomials and the action of e-Klenian groups

Authors: Jaime Gutierrez, Jorge Jimenez Urroz

Abstract: Permutation polynomials of finite fields have many applications in Coding Theory, Cryptography and Combinatorics. In the first part of this paper we present a new family of local permutation polynomials based on a class of symmetric subgroups without fixed points, the so called e-Klenian groups. In the second part we use the fact that bivariate local permutation polynomials define Latin Squares, t… ▽ More Permutation polynomials of finite fields have many applications in Coding Theory, Cryptography and Combinatorics. In the first part of this paper we present a new family of local permutation polynomials based on a class of symmetric subgroups without fixed points, the so called e-Klenian groups. In the second part we use the fact that bivariate local permutation polynomials define Latin Squares, to discuss several constructions of Mutually Orthogonal Latin Squares (MOLS) and, in particular, we provide a new family of MOLS on size a prime power. △ Less

Submitted 29 April, 2022; originally announced May 2022.

MSC Class: 11T06; 05b15 ACM Class: G.2.1

Machine Learning architectures for price formation models

Authors: Diogo Gomes, Julián Gutiérrez, Mathieu Laurière

Abstract: Here, we study machine learning (ML) architectures to solve a mean-field games (MFGs) system arising in price formation models. We formulate a training process that relies on a min-max characterization of the optimal control and price variables. Our main theoretical contribution is the development of a posteriori estimates as a tool to evaluate the convergence of the training process. We illustrat… ▽ More Here, we study machine learning (ML) architectures to solve a mean-field games (MFGs) system arising in price formation models. We formulate a training process that relies on a min-max characterization of the optimal control and price variables. Our main theoretical contribution is the development of a posteriori estimates as a tool to evaluate the convergence of the training process. We illustrate our results with numerical experiments for linear dynamics and both quadratic and non-quadratic models. △ Less

Submitted 25 January, 2023; v1 submitted 8 April, 2022; originally announced April 2022.

MSC Class: 35Q89; 49N80; 68T07

The Potential Method For Price-Formation Models

Authors: Yuri Ashrafyan, Tigran Bakaryan, Diogo Gomes, Julian Gutierrez

Abstract: We consider the mean-field game price formation model introduced by Gomes and Saúde. In this MFG model, agents trade a commodity whose supply can be deterministic or stochastic. Agents maximize profit, taking into account current and future prices. The balance between supply and demand determines the price. We introduce a potential function that converts the MFG into a convex variational problem.… ▽ More We consider the mean-field game price formation model introduced by Gomes and Saúde. In this MFG model, agents trade a commodity whose supply can be deterministic or stochastic. Agents maximize profit, taking into account current and future prices. The balance between supply and demand determines the price. We introduce a potential function that converts the MFG into a convex variational problem. This variational formulation is particularly suitable for machine learning approaches. Here, we use a recurrent neural network to solve this problem. In the last section of the paper, we compare our results with known analytical solutions. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 6 pages, 4 figures

MSC Class: 35Q89; 65C30

A Variational Approach For Price Formation Models In One Dimension

Authors: Yuri Ashrafyan, Tigran Bakaryan, Diogo Gomes, Julian Gutierrez

Abstract: In this paper, we study a class of first-order mean-field games (MFGs) that model price formation. Using Poincar{é} Lemma, we eliminate one of the equations and obtain a variational problem for a single function. This variational problem offers an alternative approach for the numerical solution of the original MFGs system. We show a correspondence between solutions of the MFGs system and the varia… ▽ More In this paper, we study a class of first-order mean-field games (MFGs) that model price formation. Using Poincar{é} Lemma, we eliminate one of the equations and obtain a variational problem for a single function. This variational problem offers an alternative approach for the numerical solution of the original MFGs system. We show a correspondence between solutions of the MFGs system and the variational problem. Moreover, we address the existence of solutions for the variational problem using the direct method in the calculus of variations. We end the paper with numerical results for a linear-quadratic model. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 22 pages, 7 figures

MSC Class: 35J47; 35A01; 35J50

Path eccentricity of graphs

Authors: Renzo Gómez, Juan Gutiérrez

Abstract: Let $G$ be a connected graph. The eccentricity of a path $P$, denoted by ecc$_G(P)$, is the maximum distance from $P$ to any vertex in $G$. In the \textsc{Central path} (CP) problem our aim is to find a path of minimum eccentricity. This problem was introduced by Cockayne et al., in 1981, in the study of different centrality measures on graphs. They showed that CP can be solved in linear time in t… ▽ More Let $G$ be a connected graph. The eccentricity of a path $P$, denoted by ecc$_G(P)$, is the maximum distance from $P$ to any vertex in $G$. In the \textsc{Central path} (CP) problem our aim is to find a path of minimum eccentricity. This problem was introduced by Cockayne et al., in 1981, in the study of different centrality measures on graphs. They showed that CP can be solved in linear time in trees, but it is known to be NP-hard in many classes of graphs such as chordal bipartite graphs, planar 3-connected graphs, split graphs, etc. We investigate the path eccentricity of a connected graph~$G$ as a parameter. Let pe$(G)$ denote the value of ecc$_G(P)$ for a central path $P$ of $G$. We obtain tight upper bounds for pe$(G)$ in some graph classes. We show that pe$(G) \leq 1$ on biconvex graphs and that pe$(G) \leq 2$ on bipartite convex graphs. Moreover, we design algorithms that find such a path in linear time. On the other hand, by investigating the longest paths of a graph, we obtain tight upper bounds for pe$(G)$ on general graphs and $k$-connected graphs. Finally, we study the relation between a central path and a longest path in a graph. We show that on trees, and bipartite permutation graphs, a longest path is also a central path. Furthermore, for superclasses of these graphs, we exhibit counterexamples for this property. △ Less

Submitted 5 February, 2022; originally announced February 2022.

MSC Class: 05C38 ACM Class: G.2.2

A duality approach to a price formation MFG model

Authors: Yuri Ashrafyan, Tigran Bakaryan, Diogo Gomes, Julian Gutierrez

Abstract: We study the connection between the Aubry-Mather theory and a mean-field game (MFG) price-formation model. We introduce a framework for Mather measures that is suited for constrained time-dependent problems in R. Then, we propose a variational problem on a space of measures, from which we obtain a duality relation involving the MFG problem examined in [36]. We study the connection between the Aubry-Mather theory and a mean-field game (MFG) price-formation model. We introduce a framework for Mather measures that is suited for constrained time-dependent problems in R. Then, we propose a variational problem on a space of measures, from which we obtain a duality relation involving the MFG problem examined in [36]. △ Less

Submitted 11 September, 2021; v1 submitted 4 September, 2021; originally announced September 2021.

Comments: 27 pages

A random-supply Mean Field Game price model

Authors: Diogo Gomes, Julian Gutierrez, Ricardo Ribeiro

Abstract: We consider a market where a finite number of players trade an asset whose supply is a stochastic process. The price formation problem consists of finding a price process that ensures that when agents act optimally to minimize their trading costs, the market clears, and supply meets demand. This problem arises in market economies, including electricity generation from renewable sources in smart gr… ▽ More We consider a market where a finite number of players trade an asset whose supply is a stochastic process. The price formation problem consists of finding a price process that ensures that when agents act optimally to minimize their trading costs, the market clears, and supply meets demand. This problem arises in market economies, including electricity generation from renewable sources in smart grids. Our model includes noise on the supply side, which is counterbalanced on the consumption side by storing energy or reducing the demand according to a dynamic price process. By solving a constrained minimization problem, we prove that the Lagrange multiplier corresponding to the market-clearing condition defines the solution of the price formation problem. For the linear-quadratic structure, we characterize the price process of a continuum population using optimal control techniques. We include numerical schemes for the price computation in the finite and infinite games, and we illustrate the model using real data. △ Less

Submitted 12 August, 2022; v1 submitted 3 September, 2021; originally announced September 2021.

Comments: 28 pages, 5 figures

Minimal graph in which the intersection of two longest paths is not a separator

Authors: Juan Gutiérrez, Christian Valqui

Abstract: We prove that for a connected simple graph $G$ with $n\le 10$ vertices, and two longest paths $C$ and $D$ in $G$, the intersection of vertex sets $V(C)\cap V(D)$ is a separator. This shows that the graph found previously with $n=11$, in which the complement of the intersection of vertex sets $V(C)\cap V(D)$ of two longest paths is connected, is minimal. We prove that for a connected simple graph $G$ with $n\le 10$ vertices, and two longest paths $C$ and $D$ in $G$, the intersection of vertex sets $V(C)\cap V(D)$ is a separator. This shows that the graph found previously with $n=11$, in which the complement of the intersection of vertex sets $V(C)\cap V(D)$ of two longest paths is connected, is minimal. △ Less

Submitted 24 May, 2021; originally announced May 2021.

MSC Class: 05C38 (Primary) 05C45 (Secondary)

All longest cycles intersect in partial 3-trees

Authors: Juan Gutiérrez

Abstract: We show that all longest cycles intersect in 2-connected partial 3-trees. We show that all longest cycles intersect in 2-connected partial 3-trees. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Comments: 21 pages, 17 figures

MSC Class: 05C38 ACM Class: G.2.2

Bi-traceable graphs, the intersection of three longest paths and Hippchen's conjecture

Authors: Juan Gutiérrez, Christian Valqui

Abstract: Let $P,Q$ be longest paths in a simple graph. We analyze the possible connections between the components of $P\cup Q\setminus (V(P)\cap V(Q))$ and introduce the notion of a bi-traceable graph. We use the results for all the possible configurations of the intersection points when $\#V(P)\cap V(Q)\le 5$ in order to prove that if the intersection of three longest paths $P,Q,R$ is empty, then… ▽ More Let $P,Q$ be longest paths in a simple graph. We analyze the possible connections between the components of $P\cup Q\setminus (V(P)\cap V(Q))$ and introduce the notion of a bi-traceable graph. We use the results for all the possible configurations of the intersection points when $\#V(P)\cap V(Q)\le 5$ in order to prove that if the intersection of three longest paths $P,Q,R$ is empty, then $\#(V(P)\cap V(Q))\ge 6$. We also prove Hippchen's conjecture for $k\le 6$: If a graph $G$ is $k$-connected for $k\le 6$, and $P$ and $Q$ are longest paths in $G$, then $\#(V(P)\cap V(Q))\ge 6$. △ Less

Submitted 24 May, 2021; v1 submitted 19 January, 2021; originally announced January 2021.

MSC Class: 05C38 (primary) 05C45 (secondary)

On the structure of certain $Γ$-difference modules

Authors: Ehud de Shalit, José Gutiérrez

Abstract: This is a largely expository paper, providing a self-contained account on the results of [Sch-Si1, Sch-Si2], in the cases denoted there 2Q and 2M. These papers of Schäfke and Singer supplied new proofs to the main theorems of [Bez-Bou, Ad-Be], on the rationality of power series satisfying a pair of independent q-difference, or Mahler, equations. We emphasize the language of $Γ$-difference module… ▽ More This is a largely expository paper, providing a self-contained account on the results of [Sch-Si1, Sch-Si2], in the cases denoted there 2Q and 2M. These papers of Schäfke and Singer supplied new proofs to the main theorems of [Bez-Bou, Ad-Be], on the rationality of power series satisfying a pair of independent q-difference, or Mahler, equations. We emphasize the language of $Γ$-difference modules, instead of difference equations or systems. Although in the two cases mentioned above this is only a semantic change, we also treat a new case, which may be labeled 1M1Q. Here the group $Γ$ is generalized dihedral rather than abelian, and the language of equations is inadequate. In the last section we explain how to generalize the main theorems in case 2Q to finite characteristic. △ Less

Submitted 2 January, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

A characterization of the dynamics of Schröder's method for polynomials with two roots

Authors: José M. Gutiérrez, Víctor Galilea

Abstract: The purpose of this work is to give a first approach to the dynamical behavior of Schröder's method, a well known iterative process for solving nonlinear equations. In this context we consider equations defined in the complex plane. By using topological conjugations, we characterize the basins of attraction of Schröder's method applied to polynomials with two roots and different multiplicities. Ac… ▽ More The purpose of this work is to give a first approach to the dynamical behavior of Schröder's method, a well known iterative process for solving nonlinear equations. In this context we consider equations defined in the complex plane. By using topological conjugations, we characterize the basins of attraction of Schröder's method applied to polynomials with two roots and different multiplicities. Actually, we show that these basins are half-planes or circles, depending on the multiplicities of the roots. We finish our study with a graphical gallery that allow us to compare the basins of attraction of Newton's and Schröoder's method applied to some given polynomials. Key: Schröder's method; basin of attraction; nonlinear equation. △ Less

Submitted 26 November, 2020; originally announced November 2020.

On the intersection of two longest paths in $k$-connected graphs

Authors: Juan Gutiérrez

Abstract: We show that every pair of longest paths in a $k$-connected graph on $n$ vertices intersect each other in at least $(8k-n+2)/5$ vertices. We also show that, in a 4-connected graph, every pair of longest paths intersect each other in at least four vertices. This confirms a conjecture of Hippchen for $k$-connected graphs when $k\leq 4$ or $k\geq (n-2)/3$. We show that every pair of longest paths in a $k$-connected graph on $n$ vertices intersect each other in at least $(8k-n+2)/5$ vertices. We also show that, in a 4-connected graph, every pair of longest paths intersect each other in at least four vertices. This confirms a conjecture of Hippchen for $k$-connected graphs when $k\leq 4$ or $k\geq (n-2)/3$. △ Less

Submitted 5 August, 2020; originally announced August 2020.

Comments: 8 pages, 2 figures

MSC Class: 05C38 ACM Class: G.2.2

A mean-field game price model with noise

Authors: Diogo Gomes, Julian Gutierrez, Ricardo Ribeiro

Abstract: In this paper, we propose a mean-field game model for the price formation of a commodity whose production is subjected to random fluctuations. The model generalizes existing deterministic price formation models. Agents seek to minimize their average cost by choosing their trading rates with a price that is characterized by a balance between supply and demand. The supply and the price processes are… ▽ More In this paper, we propose a mean-field game model for the price formation of a commodity whose production is subjected to random fluctuations. The model generalizes existing deterministic price formation models. Agents seek to minimize their average cost by choosing their trading rates with a price that is characterized by a balance between supply and demand. The supply and the price processes are assumed to follow stochastic differential equations. Here, we show that, for linear dynamics and quadratic costs, the optimal trading rates are determined in feedback form. Hence, the price arises as the solution to a stochastic differential equation, whose coefficients depend on the solution of a system of ordinary differential equations. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Comments: 10 pages, 1 figure

On Tuza's conjecture for triangulations and graphs with small treewidth

Authors: Fábio Botler, Cristina G. Fernandes, Juan Gutiérrez

Abstract: Tuza (1981) conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. In this paper we present three results regarding Tuza's Conjecture. We verify it for graphs with treewidth at most $6$; we show that $τ(G)\leq \frac{3}{2}\,ν(G)$ for every planar triangulation $G$ d… ▽ More Tuza (1981) conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. In this paper we present three results regarding Tuza's Conjecture. We verify it for graphs with treewidth at most $6$; we show that $τ(G)\leq \frac{3}{2}\,ν(G)$ for every planar triangulation $G$ different from $K_4$; and that $τ(G)\leq\frac{9}{5}\,ν(G) + \frac{1}{5}$ if $G$ is a maximal graph with treewidth 3. Our first result strengthens a result of Tuza, implying that $τ(G) \leq 2\,ν(G)$ for every $K_8$-free chordal graph $G$. △ Less

Submitted 16 July, 2020; v1 submitted 18 February, 2020; originally announced February 2020.

MSC Class: 05B40; 05C70; 05C99

Transversals of Longest Cycles in Partial $k$-Trees and Chordal Graphs

Authors: Juan Gutiérrez

Abstract: Let $lct(G)$ be the minimum cardinality of a set of vertices that intersects every longest cycle of a 2-connected graph $G$. We show that $lct(G)\leq k-1$ if $G$ is a partial $k$-tree and that $lct(G)\leq \max \{1, {ω(G){-}3}\}$ if $G$ is chordal, where $ω(G)$ is the cardinality of a maximum clique in $G$. Those results imply that all longest cycles intersect in 2-connected series parallel graphs… ▽ More Let $lct(G)$ be the minimum cardinality of a set of vertices that intersects every longest cycle of a 2-connected graph $G$. We show that $lct(G)\leq k-1$ if $G$ is a partial $k$-tree and that $lct(G)\leq \max \{1, {ω(G){-}3}\}$ if $G$ is chordal, where $ω(G)$ is the cardinality of a maximum clique in $G$. Those results imply that all longest cycles intersect in 2-connected series parallel graphs and in 3-trees. △ Less

Submitted 27 December, 2019; originally announced December 2019.

MSC Class: G.2.2 ACM Class: G.2.2

F-algebra--Rinehart Pairs and Super F-algebroids

Authors: John Alexander Cruz Morales, Javier A. Gutierrez, Alexander Torres-Gomez

Abstract: We define F-algebra--Rinehart pairs and super F-algebroids and study the connection between them. We define F-algebra--Rinehart pairs and super F-algebroids and study the connection between them. △ Less

Submitted 21 May, 2019; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: 14 pages. Version 2, the main result has not been changed; a discussion about tensor product and direct product of F-algebras has been added and the theorem about monoidal structure of the category of F-algebras has been removed

Weighted greatest common divisors and weighted heights

Authors: Lubjana Beshaj, Jaime Gutierrez, Tony Shaska

Abstract: We introduce the weighted greatest common divisor of a tuple of integers and explore some of it basic properties. Furthermore, for a set of heights $\mathfrak w=(q_0, \ldots , q_n)$, we use the concept of the weighted greatest common divisor to define a height $\mathfrak{h} (\mathfrak p)$ on weighted projective spaces $\mathbb{WP}_{\mathfrak w}^n (k)$. We prove some of the basic properties of this… ▽ More We introduce the weighted greatest common divisor of a tuple of integers and explore some of it basic properties. Furthermore, for a set of heights $\mathfrak w=(q_0, \ldots , q_n)$, we use the concept of the weighted greatest common divisor to define a height $\mathfrak{h} (\mathfrak p)$ on weighted projective spaces $\mathbb{WP}_{\mathfrak w}^n (k)$. We prove some of the basic properties of this weighted height, including an analogue of the Northcott's theorem for heights on projective spaces. △ Less

Submitted 19 March, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

MSC Class: 11G50; 14G40

Journal ref: Journal of Number Theory, 2020

On functorial (co)localization of algebras and modules over operads

Authors: Javier J. Gutiérrez, Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: Motivated by calculations of motivic homotopy groups, we give widely attained conditions under which operadic algebras and modules thereof are preserved under (co)localization functors Motivated by calculations of motivic homotopy groups, we give widely attained conditions under which operadic algebras and modules thereof are preserved under (co)localization functors △ Less

Submitted 4 December, 2018; originally announced December 2018.

Comments: 29 pages

MSC Class: 18D50; 55P43; 14F42

On Morita weak equivalences of simplicial algebraic theories and operads

Authors: Giovanni Caviglia, Javier J. Gutiérrez

Abstract: Generalizing a result of Dwyer and Kan for simplicial categories, we characterize the morphisms of multi-sorted simplicial algebraic theories and simplicial coloured operads which induce a Quillen equivalence between the corresponding categories of algebras. Generalizing a result of Dwyer and Kan for simplicial categories, we characterize the morphisms of multi-sorted simplicial algebraic theories and simplicial coloured operads which induce a Quillen equivalence between the corresponding categories of algebras. △ Less

Submitted 13 September, 2019; v1 submitted 27 August, 2018; originally announced August 2018.

Comments: 21 pages. This paper contains Sections 4 and 5 of "Morita homotopy theory for $(\infty,1)$-categories and $\infty$-operads" (arXiv:1707.06715v1), which have been removed from that paper and made a separate note. The updated version can be found in arXiv:1707.06715v2. v2: Final version

Bivariant K-theory of generalized Weyl algebras

Authors: Christian Valqui, Julio Gutiérrez

Abstract: We compute the isomorphism class in $\mathfrak{KK}^{alg}$ of all noncommutative generalized Weyl algebras $A=\CC[h](σ, P)$, where $σ(h)=qh+h_0$ is an automorphism of $\CC[h]$, except when $q\neq 1$ is a root of unity. In particular, we compute the isomorphism class in $\mathfrak{KK}^{alg}$ of the quantum Weyl algebra, the primitive factors $B_λ$ of $U(\mathfrak{sl}_2)$ and the quantum weighted pro… ▽ More We compute the isomorphism class in $\mathfrak{KK}^{alg}$ of all noncommutative generalized Weyl algebras $A=\CC[h](σ, P)$, where $σ(h)=qh+h_0$ is an automorphism of $\CC[h]$, except when $q\neq 1$ is a root of unity. In particular, we compute the isomorphism class in $\mathfrak{KK}^{alg}$ of the quantum Weyl algebra, the primitive factors $B_λ$ of $U(\mathfrak{sl}_2)$ and the quantum weighted projective lines $\mathcal{O}(\mathbb{WP}_q(k, l))$. △ Less

Submitted 1 April, 2018; originally announced April 2018.

MSC Class: 46L87 (Primary) 19K35; 58B34 (Secondary)

Homological approximations for Profinite and Pro-$p$ limit groups

Authors: Jhoel S. Gutierrez

Abstract: We study homological approximations of the profinite completion of a limit group (see Thm.~A) and obtain the analogous of Bridson and Howie's Theorem for the profinite completion of a non-abelian limit group (see Thm.~B). We study homological approximations of the profinite completion of a limit group (see Thm.~A) and obtain the analogous of Bridson and Howie's Theorem for the profinite completion of a non-abelian limit group (see Thm.~B). △ Less

Submitted 28 February, 2018; originally announced March 2018.

On the mu and lambda invariants of the logarithmic class group

Authors: Jose Ibrahim Villanueva Gutierrez

Abstract: Let $\ell$ be a rational prime number. Assuming the Gross-Kuz'min conjecture along a $\Zl$-extension $K\_{\infty}$ of a number field $K$, we show that there exist integers $\mut$, $\lat$ and $\widetildeν$ such that the exponent $\tilde{e}\_{n}$ of the order $\ell^{\tilde{e}\_{n}}$ of the logarithmic class group $\Clog{n}$ for the $n$-th layer $K\_{n}$ of $K\_{\infty}$ is given by… ▽ More Let $\ell$ be a rational prime number. Assuming the Gross-Kuz'min conjecture along a $\Zl$-extension $K\_{\infty}$ of a number field $K$, we show that there exist integers $\mut$, $\lat$ and $\widetildeν$ such that the exponent $\tilde{e}\_{n}$ of the order $\ell^{\tilde{e}\_{n}}$ of the logarithmic class group $\Clog{n}$ for the $n$-th layer $K\_{n}$ of $K\_{\infty}$ is given by $\tilde{e}\_{n}=\widetildeμ\ell^{n}+\widetildeλ n + \widetildeν$, for $n$ big enough. We show some relations between the classical invariants $μ$ and $λ$, and their logarithmic counterparts $\mut$ and $\lat$ for some class of $\Zl$-extensions. Additionally, we provide numerical examples for the cyclotomic and the non-cyclotomic case. △ Less

Submitted 7 December, 2018; v1 submitted 12 February, 2018; originally announced February 2018.

Transversals of Longest Paths

Authors: Márcia R. Cerioli, Cristina G. Fernandes, Renzo Gómez, Juan Gutiérrez, Paloma T. Lima

Abstract: Let $\lpt(G)$ be the minimum cardinality of a set of vertices that intersects all longest paths in a graph $G$. Let $ω(G)$ be the size of a maximum clique in $G$, and $\tw(G)$ be the treewidth of $G$. We prove that $ \lpt(G) \leq \max\{1,ω(G)-2\}$ when $G$ is a connected chordal graph; that $\lpt(G) =1$ when $G$ is a connected bipartite permutation graph or a connected full substar graph; and that… ▽ More Let $\lpt(G)$ be the minimum cardinality of a set of vertices that intersects all longest paths in a graph $G$. Let $ω(G)$ be the size of a maximum clique in $G$, and $\tw(G)$ be the treewidth of $G$. We prove that $ \lpt(G) \leq \max\{1,ω(G)-2\}$ when $G$ is a connected chordal graph; that $\lpt(G) =1$ when $G$ is a connected bipartite permutation graph or a connected full substar graph; and that $\lpt(G) \leq \tw(G)$ for any connected graph $G$. △ Less

Submitted 19 December, 2017; originally announced December 2017.

Comments: 19 pages, 9 figures

Morita homotopy theory for $(\infty,1)$-categories and $\infty$-operads

Authors: Giovanni Caviglia, Javier J. Gutiérrez

Abstract: We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and $\infty$-operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita mo… ▽ More We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and $\infty$-operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita model structure for simplicial categories and simplicial operads, we also show that each of these model structures can be obtained as an explicit left Bousfield localization of the Bergner model structure on simplicial categories and the Cisinski--Moerdijk model structure on simplicial operads, respectively. △ Less

Submitted 30 January, 2019; v1 submitted 20 July, 2017; originally announced July 2017.

Comments: 30 pages. v2: Sections 4 and 5 about the relation between Morita equivalences of algebraic theories and operads have been removed and made a separate note (arXiv:arXiv:1808.09045). The paper has been rewritten accordingly with minor modifications. v3: Final version

Journal ref: Forum Math. 31 (2019), no.3, 661-684

Encoding Equivariant Commutativity via Operads

Authors: Javier J. Gutiérrez, David White

Abstract: In this paper, we prove a conjecture of Blumberg and Hill regarding the existence of $N_\infty$-operads associated to given sequences $\mathcal{F} = (\mathcal{F}_n)_{n \in \mathbb{N}}$ of families of subgroups of $G\times Σ_n$. For every such sequence, we construct a model structure on the category of $G$-operads, and we use these model structures to define $E_\infty^{\mathcal{F}}$-operads, genera… ▽ More In this paper, we prove a conjecture of Blumberg and Hill regarding the existence of $N_\infty$-operads associated to given sequences $\mathcal{F} = (\mathcal{F}_n)_{n \in \mathbb{N}}$ of families of subgroups of $G\times Σ_n$. For every such sequence, we construct a model structure on the category of $G$-operads, and we use these model structures to define $E_\infty^{\mathcal{F}}$-operads, generalizing the notion of an $N_\infty$-operad, and to prove the Blumberg-Hill conjecture. We then explore questions of admissibility, rectification, and preservation under left Bousfield localization for these $E_\infty^{\mathcal{F}}$-operads, obtaining some new results as well for $N_\infty$-operads. △ Less

Submitted 15 May, 2018; v1 submitted 7 July, 2017; originally announced July 2017.

Comments: This version has been accepted to Algebraic & Geometric Topology

Journal ref: Algebr. Geom. Topol. 18 (2018) 2919-2962

An Epidemiological Model of Malaria Accounting for Asymptomatic Carriers

Authors: Jacob B. Aguilar, Juan B. Gutierrez

Abstract: Asymptomatic individuals in the context of malarial disease refers to subjects who carry a parasite load but do not show clinical symptoms. A correct understanding of the influence of asymptomatic individuals on transmission dynamics will provide a comprehensive description of the complex interplay between the definitive host (female \textit{Anopheles} mosquito), intermediate host (human) and agen… ▽ More Asymptomatic individuals in the context of malarial disease refers to subjects who carry a parasite load but do not show clinical symptoms. A correct understanding of the influence of asymptomatic individuals on transmission dynamics will provide a comprehensive description of the complex interplay between the definitive host (female \textit{Anopheles} mosquito), intermediate host (human) and agent (\textit{Plasmodium} parasite). The goal of this article is to conduct a rigorous mathematical analysis of a new compartmentalized malaria model accounting for asymptomatic human hosts for the purpose of calculating the basic reproductive number ($\mathcal{R}_0$), and determining the bifurcations that might occur at the onset of disease free equilibrium. A point of departure of this model from others appearing in literature is that the asymptomatic compartment is decomposed into two mutually disjoint sub-compartments by making use of the naturally acquired immunity (NAI) of the population under consideration. After deriving the model, a qualitative analysis is carried out to classify the stability of the equilibria of the system. Our results show that the dynamical system is locally asymptotically stable provided that $\mathcal{R}_0<1$. However this stability is not global, owning to the occurrence of a sub-critical bifurcation in which additional non-trivial sub-threshold equilibrium solutions appear in response to a specified parameter being perturbed. To ensure that the model does not undergo a backward bifurcation, we demand that an auxiliary parameter denoted $Λ<1$ in addition to the threshold constraint $\mathcal{R}_0<1$. The authors hope that this qualitative analysis will fill in the gaps of what is currently known about asymptomatic malaria and aid in designing strategies that assist the further development of malaria control and eradication efforts. △ Less

Submitted 16 February, 2017; v1 submitted 14 November, 2016; originally announced November 2016.

Normal subgroups of limit groups of prime index

Authors: Jhoel S. Gutierrez, Thomas S. Weigel

Abstract: Motivated by their study of pro-p limit groups, D.H. Kochloukova and P.A. Zalesskii formulated a question concerning the minimum number of generators d(N) of a normal subgroup N of prime index p in a non-abelian limit group G (cf. Question*). It is shown that the analogous question for the rational rank has an affirmative answer (cf. Thm. A). From this result one may conclude that the original que… ▽ More Motivated by their study of pro-p limit groups, D.H. Kochloukova and P.A. Zalesskii formulated a question concerning the minimum number of generators d(N) of a normal subgroup N of prime index p in a non-abelian limit group G (cf. Question*). It is shown that the analogous question for the rational rank has an affirmative answer (cf. Thm. A). From this result one may conclude that the original question of D.H. Kochloukova and P.A. Zalesskii has an affirmative answer if the abelianization G^{\ab} of G is torsion free and d(G)=d(G^{\ab}) (cf. Cor.~B), or if G has the IF-property (cf. Thm. C). △ Less

Submitted 7 July, 2016; originally announced July 2016.

Comments: 13 pages

Towers and fibered products of model structures

Authors: Javier J. Gutiérrez, Constanze Roitzheim

Abstract: Given a left Quillen presheaf of localized model structures, we study the homotopy limit model structure on the associated category of sections. We focus specifically on towers and fibered products (pullbacks) of model categories. As applications we consider Postnikov towers of model categories, chromatic towers of spectra and Bousfield arithmetic squares of spectra. For stable model categories, w… ▽ More Given a left Quillen presheaf of localized model structures, we study the homotopy limit model structure on the associated category of sections. We focus specifically on towers and fibered products (pullbacks) of model categories. As applications we consider Postnikov towers of model categories, chromatic towers of spectra and Bousfield arithmetic squares of spectra. For stable model categories, we show that the homotopy fiber of a stable left Bousfield localization is a stable right Bousfield localization. △ Less

Submitted 22 February, 2016; originally announced February 2016.

Comments: 20 pages. The paper "Bousfield localisations along Quillen bifunctors and applications" (arXiv:1411.0500v1) has been divided into two parts: "Towers and fibered products of model structures", which is this arXiv submission, and "Bousfield localisations along Quillen bifunctors" (arXiv:1411.0500v2)

MSC Class: 55P42; 55P60; 55S45

Journal ref: Mediterranean Journal of Mathematics 13 (2016), no. 6, 3863-3886

Quantum subgroups of simple twisted quantum groups at roots of one

Authors: Gaston Andres Garcia, Javier Alberto Gutierrez

Abstract: Let $G$ be a connected, simply connected simple complex algebraic group and let $ε$ be a primitive $\ell$th root of unity with $\ell$ odd and coprime with $3$ if $G$ is of type $G_{2}$. We determine all Hopf algebra quotients of the twisted multiparameter quantum function algebra $\mathcal{O}_ε^{\varphi}(G)$ introduced by Costantini and Varagnolo. This extends the results of Andruskiewitsch and th… ▽ More Let $G$ be a connected, simply connected simple complex algebraic group and let $ε$ be a primitive $\ell$th root of unity with $\ell$ odd and coprime with $3$ if $G$ is of type $G_{2}$. We determine all Hopf algebra quotients of the twisted multiparameter quantum function algebra $\mathcal{O}_ε^{\varphi}(G)$ introduced by Costantini and Varagnolo. This extends the results of Andruskiewitsch and the first author, where the untwisted case is treated. △ Less

Submitted 27 September, 2016; v1 submitted 5 January, 2016; originally announced January 2016.

Comments: 30 pages, Several diagrams. This version: minor typos corrected. To appear in Transactions of the AMS

MSC Class: 81R50; 17B37; 20G42; 16W30; 16W35

Journal ref: Trans. Amer. Math. Soc. 370 (2018), 3609-3637

Bousfield localisations along Quillen bifunctors

Authors: Javier J. Gutiérrez, Constanze Roitzheim

Abstract: Consider a Quillen adjunction of two variables between combinatorial model categories from $\mathcal{C}\times\mathcal{D}$ to $\mathcal{E}$, and a set $\mathcal{S}$ of morphisms in $\mathcal{C}$. We prove that there is a localised model structure $L_{\mathcal{S}}\mathcal{E}$ on $\mathcal{E}$, where the local objects are the $\mathcal{S}$-local objects in $\mathcal{E}$ described via the right adjoin… ▽ More Consider a Quillen adjunction of two variables between combinatorial model categories from $\mathcal{C}\times\mathcal{D}$ to $\mathcal{E}$, and a set $\mathcal{S}$ of morphisms in $\mathcal{C}$. We prove that there is a localised model structure $L_{\mathcal{S}}\mathcal{E}$ on $\mathcal{E}$, where the local objects are the $\mathcal{S}$-local objects in $\mathcal{E}$ described via the right adjoint. These localised model structures generalise Bousfield localisations of simplicial model categories, Barnes and Roitzheim's familiar model structures, and Barwick's enriched Bousfield localisations. In particular, we can use these model structures to define Postnikov sections in more general left proper combinatorial model categories. △ Less

Submitted 22 February, 2017; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: 21 pages. The paper "Bousfield localisations along Quillen bifunctors and applications" (arXiv:1411.0500v1) has been divided into two parts: "Bousfield localisations along Quillen bifunctors", which is this arXiv submission, and "Towers and fibered products of model structures" (arXiv:1602.06808). v3: Some minor changes and corrections. Final version

MSC Class: 55P42; 55P60; 55S45

The MMO problem

Authors: Oscar Garcia-Morchon, Ronald Rietman, Ludo Tolhuizen, Domingo Gomez, Jaime Gutierrez

Abstract: We consider a two polynomials analogue of the polynomial interpolation problem. Namely, we consider the Mixing Modular Operations (MMO) problem of recovering two polynomials $f\in \Z_p[x]$ and $g\in \Z_q[x]$ of known degree, where $p$ and $q$ are two (un)known positive integers, from the values of $f(t)\bmod p + g(t)\bmod q$ at polynomially many points $t \in \Z$. We show that if $p$ and $q$ are k… ▽ More We consider a two polynomials analogue of the polynomial interpolation problem. Namely, we consider the Mixing Modular Operations (MMO) problem of recovering two polynomials $f\in \Z_p[x]$ and $g\in \Z_q[x]$ of known degree, where $p$ and $q$ are two (un)known positive integers, from the values of $f(t)\bmod p + g(t)\bmod q$ at polynomially many points $t \in \Z$. We show that if $p$ and $q$ are known, the MMO problem is equivalent to computing a close vector in a lattice with respect to the infinity norm. We also implemented in the SAGE system a heuristic polynomial-time algorithm. If $p$ and $q$ are kept secret, we do not know how to solve this problem. This problem is motivated by several potential cryptographic applications. △ Less

Submitted 29 January, 2014; originally announced January 2014.

Comments: Submitted to Interantaional Symposium on Symbolic and Algebraic Computation (ISSAC) 2014

On autoequivalences of the (\infty, 1)-category of \infty-operads

Authors: Dimitri Ara, Moritz Groth, Javier J. Gutiérrez

Abstract: We study the (\infty, 1)-category of autoequivalences of \infty-operads. Using techniques introduced by Toën, Lurie, and Barwick and Schommer-Pries, we prove that this (\infty, 1)-category is a contractible \infty-groupoid. Our calculation is based on the model of complete dendroidal Segal spaces introduced by Cisinski and Moerdijk. Similarly, we prove that the (\infty, 1)-category of autoequivale… ▽ More We study the (\infty, 1)-category of autoequivalences of \infty-operads. Using techniques introduced by Toën, Lurie, and Barwick and Schommer-Pries, we prove that this (\infty, 1)-category is a contractible \infty-groupoid. Our calculation is based on the model of complete dendroidal Segal spaces introduced by Cisinski and Moerdijk. Similarly, we prove that the (\infty, 1)-category of autoequivalences of non-symmetric \infty-operads is the discrete monoidal category associated to Z/2Z. We also include a computation of the (\infty, 1)-category of autoequivalences of (\infty, n)-categories based on Rezk's Θ_n-spaces. △ Less

Submitted 12 December, 2016; v1 submitted 17 December, 2013; originally announced December 2013.

Comments: 43 pages, v2: updated according to the revised version of [BSP13], minor correction in the proof of Proposition 3.5.3, v3: journal version, minor changes, numbering has changed, v4: minor corrections in Section 4 due to a mistake in the previous Remark 4.3.2, some intermediate statements slightly changed, none of the main results are affected, numbering has not changed

Journal ref: Mathematische Zeitschrift, 2015, vol. 281, no 3, p. 807-848

On solid and rigid monoids in monoidal categories

Authors: Javier J. Gutiérrez

Abstract: We introduce the notion of solid monoid and rigid monoid in monoidal categories and study the formal properties of these objects in this framework. We show that there is a one to one correspondence between solid monoids, smashing localizations and map** colocalizations, and prove that rigid monoids appear as localizations of the unit of the monoidal structure. As an application, we study solid a… ▽ More We introduce the notion of solid monoid and rigid monoid in monoidal categories and study the formal properties of these objects in this framework. We show that there is a one to one correspondence between solid monoids, smashing localizations and map** colocalizations, and prove that rigid monoids appear as localizations of the unit of the monoidal structure. As an application, we study solid and rigid ring spectra in the stable homotopy category and characterize connective solid ring spectra as Moore spectra of subrings of the rationals. △ Less

Submitted 18 February, 2014; v1 submitted 21 March, 2013; originally announced March 2013.

Comments: Final version, 15 pages

MSC Class: 18D10; 55P60 (Primary) 55P42 (Secondary)

Journal ref: Applied Categorical Structures 23, no. 2 (2015), 575-589

Homotopy transfer and rational models for map** spaces

Authors: Urtzi Buijs, Javier J. Gutiérrez

Abstract: By using homotopy transfer techniques in the context of rational homotopy theory, we show that if $C$ is a coalgebra model of a space $X$, then the $A_\infty$-coalgebra structure in $H_*(X;\mathbb{Q})\cong H_*(C)$ induced by the higher Massey coproducts provides the construction of the Quillen minimal model of $X$. We also describe an explicit $L_\infty$-structure on the complex of linear maps… ▽ More By using homotopy transfer techniques in the context of rational homotopy theory, we show that if $C$ is a coalgebra model of a space $X$, then the $A_\infty$-coalgebra structure in $H_*(X;\mathbb{Q})\cong H_*(C)$ induced by the higher Massey coproducts provides the construction of the Quillen minimal model of $X$. We also describe an explicit $L_\infty$-structure on the complex of linear maps ${\rm Hom}(H_*(X; \mathbb{Q}), π_*(ΩY)\otimes\mathbb{Q})$, where $X$ is a finite nilpotent CW-complex and $Y$ is a nilpotent CW-complex of finite type, modeling the rational homotopy type of the map** space ${\rm map}(X, Y)$. As an application we give conditions on the source and target in order to detect rational $H$-space structures on the components. △ Less

Submitted 7 April, 2015; v1 submitted 17 October, 2012; originally announced October 2012.

Comments: 21 pages. Final version. To appear in J. Homotopy Relat. Struct

MSC Class: 55P62 (Primary); 54C35 (Secondary)

Hyperelliptic curves of genus 3 with prescribed automorphism group

Authors: J. Gutierrez, D. Sevilla, T. Shaska

Abstract: We study genus 3 hyperelliptic curves which have an extra involution. The locus $Ł_3$ of these curves is a 3-dimensional subvariety in the genus 3 hyperelliptic moduli $\H_3$. We find a birational parametrization of this locus by affine 3-space. For every moduli point $\p \in \H_3$ such that $|\Aut (\p)|>2$, the field of moduli is a field of definition. We provide a rational model of the curve ove… ▽ More We study genus 3 hyperelliptic curves which have an extra involution. The locus $Ł_3$ of these curves is a 3-dimensional subvariety in the genus 3 hyperelliptic moduli $\H_3$. We find a birational parametrization of this locus by affine 3-space. For every moduli point $\p \in \H_3$ such that $|\Aut (\p)|>2$, the field of moduli is a field of definition. We provide a rational model of the curve over its field of moduli for all moduli points $\p \in \H_3$ such that $|\Aut(\p)|>4$. This is the first time that such a rational model of these curves appears in the literature. △ Less

Submitted 13 September, 2012; originally announced September 2012.

MSC Class: Primary 54C40; 14E20; Secondary 46E25; 20C20

Journal ref: Computational aspects of algebraic curves, 109--123, Lecture Notes Ser. Comput., 13, World Sci. Publ., Hackensack, NJ, 2005

A generalization of Ohkawa's theorem

Authors: Carles Casacuberta, Javier J. Gutiérrez, Jirí Rosický

Abstract: A theorem due to Ohkawa states that the collection of Bousfield equivalence classes of spectra is a set. We extend this result to arbitrary combinatorial model categories. A theorem due to Ohkawa states that the collection of Bousfield equivalence classes of spectra is a set. We extend this result to arbitrary combinatorial model categories. △ Less

Submitted 4 October, 2013; v1 submitted 28 March, 2012; originally announced March 2012.

Comments: 13 pages; consequences in motivic homotopy theory have been added

MSC Class: 55P42 (Primary) 55N20 (Secondary)

Journal ref: Compositio Mathematica 150 (2014), 893-902

Are all localizing subcategories of stable homotopy categories coreflective?

Authors: Carles Casacuberta, Javier J. Gutiérrez, Jiří Rosický

Abstract: We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopenka's principle) is assumed true. It follows that, under the same assumptions, orthogonality sets up a bijective correspondence between localizing subcategories and colocalizing subcategories. The e… ▽ More We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopenka's principle) is assumed true. It follows that, under the same assumptions, orthogonality sets up a bijective correspondence between localizing subcategories and colocalizing subcategories. The existence of such a bijection was left as an open problem by Hovey, Palmieri and Strickland in their axiomatic study of stable homotopy categories and also by Neeman in the context of well-generated triangulated categories. △ Less

Submitted 13 April, 2012; v1 submitted 11 June, 2011; originally announced June 2011.

Comments: 29 pages; a few changes made in Section 2

MSC Class: 18E30; 18G55; 55P42; 55P60; 03E55

Journal ref: Advances in Mathematics 252 (2014), 158-184

Cellularization of structures in stable homotopy categories

Authors: Javier J. Gutiérrez

Abstract: We describe the formal properties of cellularization functors in triangulated categories and study the preservation of ring and module structures under these functors in stable homotopy categories in the sense of Hovey, Palmieri and Strickland, such as the homotopy category of spectra or the derived category of a commutative ring. We prove that cellularization functors preserve modules over connec… ▽ More We describe the formal properties of cellularization functors in triangulated categories and study the preservation of ring and module structures under these functors in stable homotopy categories in the sense of Hovey, Palmieri and Strickland, such as the homotopy category of spectra or the derived category of a commutative ring. We prove that cellularization functors preserve modules over connective rings but they do not preserve rings in general (even if the ring is connective or the cellularization functor is triangulated). As an application of these results, we describe the cellularizations of Eilenberg-Mac Lane spectra and compute all acyclizations in the sense of Bousfield of the integral Eilenberg-Mac Lane spectrum. △ Less

Submitted 10 May, 2011; originally announced May 2011.

Comments: 19 pages

MSC Class: 55P60 (Primary) 18E30; 55P42 (Secondary)

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society 153 (2012), 399-418

Transfer of algebras over operads along derived Quillen adjunctions

Authors: Javier J. Gutiérrez

Abstract: Let V be a cofibrantly generated monoidal model category and let M be a monoidal V-model category. Given a cofibrant C-coloured operad P in V, we give sufficient conditions for the fibrant replacement and cofibrant replacement functors in M^C to preserve P-algebra structures. In particular, we show how P-algebra structures can be transferred along derived Quillen adjunctions of monoidal V-model ca… ▽ More Let V be a cofibrantly generated monoidal model category and let M be a monoidal V-model category. Given a cofibrant C-coloured operad P in V, we give sufficient conditions for the fibrant replacement and cofibrant replacement functors in M^C to preserve P-algebra structures. In particular, we show how P-algebra structures can be transferred along derived Quillen adjunctions of monoidal V-model categories, and we apply this result to the Quillen adjunctions defined by enriched Bousfield localizations and colocalizations on M. As an application, we prove that in the category of symmetric spectra the n-connective cover functor preserves A_{\infty} and E_{\infty} module spectra over connective ring spectra, for every integer n. △ Less

Submitted 4 April, 2011; originally announced April 2011.

Comments: 20 pages

MSC Class: 55P43 (Primary) 18D50; 55P60 (Secondary)

Journal ref: Journal of the London Mathematical Society 86 (2012), 607-625

Motivic slices and colored operads

Authors: Javier J. Gutiérrez, Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: Colored operads were introduced in the 1970's for the purpose of studying homotopy invariant algebraic structures on topological spaces. In this paper we introduce colored operads in motivic stable homotopy theory. Our main motivation is to uncover hitherto unknown highly structured properties of the slice filtration. The latter decomposes every motivic spectrum into its slices, which are motives,… ▽ More Colored operads were introduced in the 1970's for the purpose of studying homotopy invariant algebraic structures on topological spaces. In this paper we introduce colored operads in motivic stable homotopy theory. Our main motivation is to uncover hitherto unknown highly structured properties of the slice filtration. The latter decomposes every motivic spectrum into its slices, which are motives, and one may ask to what extend the slice filtration preserves highly structured objects such as algebras and modules. We use colored operads to give a precise solution to this problem. Our approach makes use of axiomatic setups which specialize to classical and motivic stable homotopy theory. Accessible t-structures are central to the development of the general theory. Concise introductions to colored operads and Bousfield (co)localizations are given in separate appendices. △ Less

Submitted 13 April, 2012; v1 submitted 15 December, 2010; originally announced December 2010.

Comments: to appear in Journal of Topology

MSC Class: 14F42; 18D50; 55P43

Journal ref: Journal of Topology 5 (2012), 727-755

A model structure for coloured operads in symmetric spectra

Authors: Javier J. Gutiérrez, Rainer M. Vogt

Abstract: We describe a model structure for coloured operads with values in the category of symmetric spectra (with the positive model structure), in which fibrations and weak equivalences are defined at the level of the underlying collections. This allows us to treat R-module spectra (where R is a cofibrant ring spectrum) as algebras over a cofibrant spectrum-valued operad with R as its first term. Using t… ▽ More We describe a model structure for coloured operads with values in the category of symmetric spectra (with the positive model structure), in which fibrations and weak equivalences are defined at the level of the underlying collections. This allows us to treat R-module spectra (where R is a cofibrant ring spectrum) as algebras over a cofibrant spectrum-valued operad with R as its first term. Using this model structure, we give suficient conditions for homotopical localizations in the category of symmetric spectra to preserve module structures. △ Less

Submitted 22 September, 2010; v1 submitted 11 June, 2010; originally announced June 2010.

Comments: 16 pages

MSC Class: 18D50; 55P43; 55P60

Journal ref: Mathematische Zeitschrift 270 (2012), pp. 223-239