-
Arithmetical structures on dominated polynomials
Authors:
Carlos E. Valencia,
Ralihe R. Villagrán
Abstract:
In~\cite{algorithmic} was given an algorithm that computes arithmetical structures on matrices. We use some of the ideas contained there to get an algorithm that computes arithmetical structures over dominated polynomials. A dominated polynomial is an integer multivariate polynomial such that contains a monomial which is divided by all its monomials.
In~\cite{algorithmic} was given an algorithm that computes arithmetical structures on matrices. We use some of the ideas contained there to get an algorithm that computes arithmetical structures over dominated polynomials. A dominated polynomial is an integer multivariate polynomial such that contains a monomial which is divided by all its monomials.
△ Less
Submitted 15 February, 2022;
originally announced February 2022.
-
Algorithmic aspects of arithmetical structures
Authors:
Carlos E. Valencia,
R. R. Villagrán
Abstract:
Arithmetical structures on graphs were first introduced in \cite{Lorenzini89}. Later in \cite{arithmetical} they were further studied in the setting of square non-negative integer matrices. In both cases, necessary and sufficient conditions for the finiteness of the set of arithmetical structures were given.
More precisely, an arithmetical structure on a non-negative integer matrix $L$ with zero…
▽ More
Arithmetical structures on graphs were first introduced in \cite{Lorenzini89}. Later in \cite{arithmetical} they were further studied in the setting of square non-negative integer matrices. In both cases, necessary and sufficient conditions for the finiteness of the set of arithmetical structures were given.
More precisely, an arithmetical structure on a non-negative integer matrix $L$ with zero diagonal is a pair $(\mathbf{d},\mathbf{r})\in \mathbb{N}_+^n\times \mathbb{N}_+^n$ such that \[ (\textrm{Diag}(\mathbf{d})-L)\mathbf{r}^t=\mathbf{0}^t\text{ and }\gcd(r_1,\ldots,r_n)=1. \] Thus, arithmetical structures on $L$ are solutions of the polynomial Diophantine equation \[ f_L(X):=\det(\text{Diag}(X)-L)=0. \] Therefore, it is of interest to ask for an algorithm that compute them.
We present an algorithm that computes arithmetical structures on a square integer non-negative matrix $L$ with zero diagonal. In order to do this we introduce a new class of Z-matrices, which we call quasi $M$-matrices.
△ Less
Submitted 12 January, 2022; v1 submitted 13 January, 2021;
originally announced January 2021.
-
Computing sandpile configurations using integer linear programming
Authors:
Carlos A. Alfaro,
Carlos E. Valencia,
Marcos C. Vargas
Abstract:
It is well known that recurrent sandpile configurations can be characterized as the optimal solution of certain optimization problems. In this article, we present two new integer linear programming models, one that computes recurrent configurations and other that computes the order of the configuration. Finally, by using duality of linear programming, we are able to compute the identity configurat…
▽ More
It is well known that recurrent sandpile configurations can be characterized as the optimal solution of certain optimization problems. In this article, we present two new integer linear programming models, one that computes recurrent configurations and other that computes the order of the configuration. Finally, by using duality of linear programming, we are able to compute the identity configuration for the cone of a regular graph.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
The equivalence between two classic algorithms for the assignment problem
Authors:
Carlos A. Alfaro,
Sergio L. Perez,
Carlos E. Valencia,
Marcos C. Vargas
Abstract:
We give a detailed review of two algorithms that solve the minimization case of the assignment problem. The Bertsekas' auction algorithm and the Goldberg & Kennedy algorithm. We will show that these algorithms are equivalent in the sense that both perform equivalent steps in the same order. We also present experimental results comparing the performance of three algorithms for the assignment proble…
▽ More
We give a detailed review of two algorithms that solve the minimization case of the assignment problem. The Bertsekas' auction algorithm and the Goldberg & Kennedy algorithm. We will show that these algorithms are equivalent in the sense that both perform equivalent steps in the same order. We also present experimental results comparing the performance of three algorithms for the assignment problem. They show the auction algorithm performs and scales better in practice than algorithms that are harder to implement but have better theoretical time complexity.
△ Less
Submitted 8 October, 2018;
originally announced October 2018.
-
Digraphs with at most one trivial critical ideal
Authors:
Carlos A. Alfaro,
Carlos E. Valencia,
Adrián Vázquez-Ávila
Abstract:
Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invari…
▽ More
Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.
△ Less
Submitted 24 March, 2017;
originally announced March 2017.
-
Counting Arithmetical Structures on Paths and Cycles
Authors:
Benjamin Braun,
Hugo Corrales,
Scott Corry,
Luis David García Puente,
Darren Glass,
Nathan Kaplan,
Jeremy L. Martin,
Gregg Musiker,
Carlos E. Valencia
Abstract:
Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices…
▽ More
Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.
△ Less
Submitted 23 July, 2018; v1 submitted 23 January, 2017;
originally announced January 2017.
-
Arithmetical structures on graphs with connectivity one
Authors:
Hugo Corrales,
Carlos E. Valencia
Abstract:
Given a graph $G$, an arithmetical structure on $G$ is a pair of positive integer vectors $({\bf d},{\bf r})$ such that $\mathrm{gcd}({\bf r}_v\, | \,v\in V(G))=1$ and \[ (\mathrm{diag}({\bf d})-A){\bf r}=0, \] where $A$ is the adjacency matrix of $G$. We describe the arithmetical structures on graph $G$ with a cut vertex $v$ in terms of the arithmetical structures on their blocks. More precisely,…
▽ More
Given a graph $G$, an arithmetical structure on $G$ is a pair of positive integer vectors $({\bf d},{\bf r})$ such that $\mathrm{gcd}({\bf r}_v\, | \,v\in V(G))=1$ and \[ (\mathrm{diag}({\bf d})-A){\bf r}=0, \] where $A$ is the adjacency matrix of $G$. We describe the arithmetical structures on graph $G$ with a cut vertex $v$ in terms of the arithmetical structures on their blocks. More precisely, if $G_1,\ldots,G_s$ are the induced subgraphs of $G$ obtained from each of the connected components of $G-v$ by adding the vertex $v$ and their incident edges, then the arithmetical structures on $G$ are in one to one correspondence with the $v$-rational arithmetical structures on the $G_i$'s. We introduce the concept of rational arithmetical structure, which corresponds to an arithmetical structure where some of the integrality conditions are relaxed.
△ Less
Submitted 12 June, 2017; v1 submitted 12 June, 2016;
originally announced June 2016.
-
Arithmetical structures on graphs
Authors:
Hugo Corrales,
Carlos E. Valencia
Abstract:
Arithmetical structures on a graph were introduced by Lorenzini as some intersection matrices that arise in the study of degenerating curves in algebraic geometry. In this article we study these arithmetical structures, in particular we are interested in the arithmetical structures on complete graphs, paths, and cycles. We begin by looking at the arithmetical structures on a multidigraph from the…
▽ More
Arithmetical structures on a graph were introduced by Lorenzini as some intersection matrices that arise in the study of degenerating curves in algebraic geometry. In this article we study these arithmetical structures, in particular we are interested in the arithmetical structures on complete graphs, paths, and cycles. We begin by looking at the arithmetical structures on a multidigraph from the general perspective of $M$-matrices. As an application, we recover the result of Lorenzini about the finiteness of the number of arithmetical structures on a graph. We give a description on the arithmetical structures on the graph obtained by merging and splitting a vertex of a graph in terms of its arithmetical structures. On the other hand, we give a description of the arithmetical structures on the clique--star transform of a graph, which generalizes the subdivision of a graph. As an application of this result we obtain an explicit description of all the arithmetical structures on the paths and cycles and we show that the number of the arithmetical structures on a path is a Catalan number.
△ Less
Submitted 12 June, 2017; v1 submitted 8 April, 2016;
originally announced April 2016.
-
Critical ideals of signed graphs with twin vertices
Authors:
Carlos A. Alfaro,
Hugo Corrales,
Carlos E. Valencia
Abstract:
This paper studies critical ideals of graphs with twin vertices, which are vertices with the same neighbors. A pair of such vertices are called replicated if they are adjacent, and duplicated, otherwise. Critical ideals of graphs having twin vertices have good properties and show regular patterns. Given a graph $G=(V,E)$ and ${\bf d}\in \mathbb{Z}^{|V|}$, let $G^{\bf d}$ be the graph obtained from…
▽ More
This paper studies critical ideals of graphs with twin vertices, which are vertices with the same neighbors. A pair of such vertices are called replicated if they are adjacent, and duplicated, otherwise. Critical ideals of graphs having twin vertices have good properties and show regular patterns. Given a graph $G=(V,E)$ and ${\bf d}\in \mathbb{Z}^{|V|}$, let $G^{\bf d}$ be the graph obtained from $G$ by duplicating ${\bf d}_v$ times or replicating $-{\bf d}_v$ times the vertex $v$ when ${\bf d}_v>0$ or ${\bf d}_v<0$, respectively. Moreover, given $δ\in \{0,1,-1\}^{|V|}$, let \[ \mathcal{T}_δ(G)=\{G^{\bf d}: {\bf d}\in \mathbb{Z}^{|V|} \text{ such that } {\bf d}_v=0 \text{ if and only if }δ_v=0 \text{ and } {\bf d}_vδ_v>0 \text{ otherwise}\} \] be the set of graphs sharing the same pattern of duplication or replication of vertices. More than one half of the critical ideals of a graph in $\mathcal{T}_δ(G)$ can be determined by the critical ideals of $G$. The algebraic co-rank of a graph $G$ is the maximum integer $i$ such that the $i$-{\it th} critical ideal of $G$ is trivial. We show that the algebraic co-rank of any graph in $\mathcal{T}_δ(G)$ is equal to the algebraic co-rank of $G^δ$. For a large enough ${\bf d}\in \mathbb{Z}^{V(G)}$, we show that the critical ideals of $G^{\bf d}$ have similar behavior to the critical ideals of the disjoint union of $G$ and some set $\{K_{n_v}\}_{\{v\in V(G)| d_v<0\}}$ of complete graphs and some set $\{T_{n_v}\}_{\{v\in V(G) \, |\, {\bf d}_v>0\}}$ of trivial graphs. Additionally, we pose important conjectures on the distribution of the algebraic co-rank of the graphs with twins vertices. These conjectures imply that twin-free graphs have a large algebraic co-rank, meanwhile a graph having small algebraic co-rank has at least one pair of twin vertices.
△ Less
Submitted 30 January, 2017; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Critical ideals of trees
Authors:
Hugo Corrales,
Carlos E. Valencia
Abstract:
Given a graph $G=(V, E)$, its generalized Laplacian matrix is given by \[ L(G,X_G)_{u,v}= \begin{cases} x_u&\text{if }u=v,\\ -m_{uv}&\text{if }u\neq v, \end{cases} \] where $X_G=\{x_u\, | \, u\in V(G)\}$ is a set of indeterminates and $m_{uv}$ is the number of edges between $u$ and $v$. The $j$-critical ideal of $G$ is the determinantal ideal generated by the minors of size $j$ of $L(G, X)$. A…
▽ More
Given a graph $G=(V, E)$, its generalized Laplacian matrix is given by \[ L(G,X_G)_{u,v}= \begin{cases} x_u&\text{if }u=v,\\ -m_{uv}&\text{if }u\neq v, \end{cases} \] where $X_G=\{x_u\, | \, u\in V(G)\}$ is a set of indeterminates and $m_{uv}$ is the number of edges between $u$ and $v$. The $j$-critical ideal of $G$ is the determinantal ideal generated by the minors of size $j$ of $L(G, X)$. A $2$-matching of $G$ is a subset $\mathcal{M}$ of its edges such that every vertex of $G$ has at most two incident edges in $\mathcal{M}$. We give a combinatorial description of a set of generators of the $j$-critical ideal of a tree $T$ as a function of a set of special $2$-matchings, which we called minimal, of the graph $T^\ell$ obtained from $T$ by adding a loop at each of its vertices. Also, we prove that the algebraic co-rank of $T$ is equal to the $2$-matching number of $T$, the maximum number of edges of a $2$-matching of $T$. As a consequence, one can compute each invariant factor of the critical group of any graph $G$ such that $G\setminus v$ is a tree for some of its vertices $v$, as the greatest common divisor of the evaluation of some polynomials associated to the minimal $2$-matchings of $T^\ell$. For instance, in the regular case, we recover some of the results obtained by Levine and Toumpakari about the critical group of a wired regular tree. Additionally, we can prove that the path $P_n$ is the unique simple graph with $n$ vertices and $n-1$ trivial critical ideals. We conjecture that the set of generators that we give is a reduced Gröbner basis and we can prove this for the $|V(T)|-1$-critical ideal. Finally, we apply the result in order to calculate the critical ideals of trees with depth two and some arithmetical trees associated to the reduction of elliptic curves of Kodaira type $I_n^*$.
△ Less
Submitted 12 June, 2017; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Optimum matchings in weighted bipartite graphs
Authors:
Carlos E. Valencia,
Marcos C. Vargas
Abstract:
Given an integer weighted bipartite graph $\{G=(U\sqcup V, E), w:E\rightarrow \mathbb{Z}\}$ we consider the problems of finding all the edges that occur in some minimum weight matching of maximum cardinality and enumerating all the minimum weight perfect matchings. Moreover, we construct a subgraph $G_{cs}$ of $G$ which depends on an $ε$-optimal solution of the dual linear program associated to th…
▽ More
Given an integer weighted bipartite graph $\{G=(U\sqcup V, E), w:E\rightarrow \mathbb{Z}\}$ we consider the problems of finding all the edges that occur in some minimum weight matching of maximum cardinality and enumerating all the minimum weight perfect matchings. Moreover, we construct a subgraph $G_{cs}$ of $G$ which depends on an $ε$-optimal solution of the dual linear program associated to the assignment problem on $\{G,w\}$ that allows us to reduced this problems to their unweighed variants on $G_{cs}$. For instance, when $G$ has a perfect matching and we have an $ε$-optimal solution of the dual linear program associated to the assignment problem on $\{G,w\}$, we solve the problem of finding all the edges that occur in some minimum weight perfect matching in linear time on the number of edges. Therefore, starting from scratch we get an algorithm that solves this problem in time $O(\sqrt{n}m\log(nW))$, where $n=|U|\geq |V|$, $m=|E|$, and $W={\rm max}\{|w(e)|\, :\, e\in E\}$.
△ Less
Submitted 21 March, 2014;
originally announced March 2014.
-
Small clique number graphs with three trivial critical ideals
Authors:
Carlos A. Alfaro,
Carlos E. Valencia
Abstract:
The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. In this article we provide a set of minimal forbidden graphs for the set of graphs with at most three trivial critical ideals. Then we use these forbidden graphs to characterize the graphs with at most three trivial critical ideals and clique number equal to 2 and 3.
The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. In this article we provide a set of minimal forbidden graphs for the set of graphs with at most three trivial critical ideals. Then we use these forbidden graphs to characterize the graphs with at most three trivial critical ideals and clique number equal to 2 and 3.
△ Less
Submitted 22 November, 2013;
originally announced November 2013.
-
Graphs with two trivial critical ideals
Authors:
Carlos A. Alfaro,
Carlos E. Valencia
Abstract:
The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. A basic property of the critical ideals of graphs asserts that the graphs with at most k trivial critical ideals, $Γ_{\leq k}$, are closed under induced subgraphs. In this article we find the set of minimal forbidden subgraphs for $Γ_{\leq 2}$, and we use this forbidden subgraphs…
▽ More
The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. A basic property of the critical ideals of graphs asserts that the graphs with at most k trivial critical ideals, $Γ_{\leq k}$, are closed under induced subgraphs. In this article we find the set of minimal forbidden subgraphs for $Γ_{\leq 2}$, and we use this forbidden subgraphs to get a classification of the graphs in $Γ_{\leq 2}$. As a consequence we give a classification of the simple graphs whose critical group has two invariant factors equal to one. At the end of this article we give two infinite families of forbidden subgraphs.
△ Less
Submitted 15 April, 2013;
originally announced April 2013.
-
On the critical ideals of graphs
Authors:
Hugo Corrales,
Carlos E. Valencia
Abstract:
We introduce some determinantal ideals of the generalized Laplacian matrix associated to a digraph G, that we call critical ideals of G. Critical ideals generalize the critical group and the characteristic polynomials of the adjacency and Laplacian matrices of a digraph. The main results of this article are the determination of some minimal generator sets and the reduced Grobner basis for the crit…
▽ More
We introduce some determinantal ideals of the generalized Laplacian matrix associated to a digraph G, that we call critical ideals of G. Critical ideals generalize the critical group and the characteristic polynomials of the adjacency and Laplacian matrices of a digraph. The main results of this article are the determination of some minimal generator sets and the reduced Grobner basis for the critical ideals of the complete graphs, the cycles and the paths. Also, we establish a bound between the number of trivial critical ideals and the stability and clique numbers of a graph.
△ Less
Submitted 23 October, 2013; v1 submitted 14 May, 2012;
originally announced May 2012.
-
Dimension Reduction in Principal Component Analysis for Trees
Authors:
Carlos A. Alfaro,
Burcu Aydın,
Elizabeth Bullitt,
Alim Ladha,
Carlos E. Valencia
Abstract:
The statistical analysis of tree structured data is a new topic in statistics with wide application areas. Some Principal Component Analysis (PCA) ideas were previously developed for binary tree spaces. In this study, we extend these ideas to the more general space of rooted and labeled trees. We re-define concepts such as tree-line and forward principal component tree-line for this more general s…
▽ More
The statistical analysis of tree structured data is a new topic in statistics with wide application areas. Some Principal Component Analysis (PCA) ideas were previously developed for binary tree spaces. In this study, we extend these ideas to the more general space of rooted and labeled trees. We re-define concepts such as tree-line and forward principal component tree-line for this more general space, and generalize the optimal algorithm that finds them.
We then develop an analog of classical dimension reduction technique in PCA for the tree space. To do this, we define the components that carry the least amount of variation of a tree data set, called backward principal components. We present an optimal algorithm to find them. Furthermore, we investigate the relationship of these the forward principal components, and prove a path-independency property between the forward and backward techniques.
We apply our methods to a data set of brain artery data set of 98 subjects. Using our techniques, we investigate how aging affects the brain artery structure of males and females. We also analyze a data set of organization structure of a large US company and explore the structural differences across different types of departments within the company.
△ Less
Submitted 10 February, 2012;
originally announced February 2012.
-
On the critical group of matrices
Authors:
Hugo Corrales,
Carlos E. Valencia
Abstract:
Given a graph G with a distinguished vertex s, the critical group of (G,s) is the cokernel of their reduced Laplacian matrix L(G,s). In this article we generalize the concept of the critical group to the cokernel of any matrix with entries in a commutative ring with identity. In this article we find diagonal matrices that are equivalent to some matrices that generalize the reduced Laplacian matrix…
▽ More
Given a graph G with a distinguished vertex s, the critical group of (G,s) is the cokernel of their reduced Laplacian matrix L(G,s). In this article we generalize the concept of the critical group to the cokernel of any matrix with entries in a commutative ring with identity. In this article we find diagonal matrices that are equivalent to some matrices that generalize the reduced Laplacian matrix of the path, the cycle, and the complete graph over an arbitrary commutative ring with identity. We are mainly interested in those cases when the base ring is the ring of integers and some subrings of matrices. Using these equivalent diagonal matrices we calculate the critical group of the m-cones of the l-duplications of the path, the cycle, and the complete graph. Also, as byproduct, we calculate the critical group of another matrices, as the m-cones of the l-duplication of the bipartite complete graph with m vertices in each partition, the bipartite complete graph with 2m vertices minus a matching.
△ Less
Submitted 30 August, 2010;
originally announced August 2010.
-
On the Sandpile group of the cone of a graph
Authors:
Carlos A. Alfaro,
Carlos E. Valencia
Abstract:
In this article, we give a partial description of the sandpile group of the cone of the cartesian product of graphs in function of the sandpile group of the cone of their factors. Also, we introduce the concept of uniform homomorphism of graphs and prove that every surjective uniform homomorphism of graphs induces an injective homomorphism between their sandpile groups. As an application of these…
▽ More
In this article, we give a partial description of the sandpile group of the cone of the cartesian product of graphs in function of the sandpile group of the cone of their factors. Also, we introduce the concept of uniform homomorphism of graphs and prove that every surjective uniform homomorphism of graphs induces an injective homomorphism between their sandpile groups. As an application of these result we obtain an explicit description of a set of generators of the sandpile group of the cone of the hypercube of dimension d.
△ Less
Submitted 12 October, 2011; v1 submitted 19 April, 2010;
originally announced April 2010.
-
1-join composition for $α$-critical graphs
Authors:
Carlos E. Valencia,
Marcos I. Barrita
Abstract:
Given two graphs G and H its 1-{\it join} is the graph obtained by taking the disjoint union of G and H and adding all the edges between a nonempty subset of vertices of G and a nonempty subset of vertices of H. In general, composition operations of graphs has played a fundamental role in some structural results of graph theory and in particular the 1-join composition has played an important rol…
▽ More
Given two graphs G and H its 1-{\it join} is the graph obtained by taking the disjoint union of G and H and adding all the edges between a nonempty subset of vertices of G and a nonempty subset of vertices of H. In general, composition operations of graphs has played a fundamental role in some structural results of graph theory and in particular the 1-join composition has played an important role in decomposition theorems of several class of graphs such as the claw-free graphs, the bull-free graphs, the perfect graphs, etc.
A graph G is called {\it $α$-critical} if $α(G\setminus e)> α(G)$ for all the edges e of G, where $α(G)$, the {\it stability number} of G, is equal to the maximum cardinality of a stable set of G, and a set of vertices M of G is {\it stable} if no two vertices in M are adjacent. The study $α$-critical graphs is important, for instance a complete description of $α$-critical graphs would yield a good characterization of the stability number of G.
In this paper we give necessary and sufficient conditions that G and H must satisfy in order to its 1-join will be an $α$-critical graph. Therefore we get a very useful way to construct basic $α$-critical graphs using the 1-join of graphs.
△ Less
Submitted 27 July, 2007; v1 submitted 27 July, 2007;
originally announced July 2007.
-
A note on Rees algebras and the MFMC property
Authors:
I. Gitler,
C. E. Valencia,
R. H. Villarreal
Abstract:
We study irreducible representations of Rees cones and characterize the max-flow min-cut property of clutters in terms of the normality of Rees algebras and the integrality of certain polyhedra. Then we present some applications to combinatorial optimization and commutative algebra. As a byproduct we obtain an "effective" method, based on the program "Normaliz", to determine whether a given clut…
▽ More
We study irreducible representations of Rees cones and characterize the max-flow min-cut property of clutters in terms of the normality of Rees algebras and the integrality of certain polyhedra. Then we present some applications to combinatorial optimization and commutative algebra. As a byproduct we obtain an "effective" method, based on the program "Normaliz", to determine whether a given clutter satisfies the max-flow min-cut property. Let C be a clutter and let I be its edge ideal. We prove that C has the max-flow min-cut property if and only if I is normally torsion free, that is, I^i=I^{(i)} for all i>=1, where I^{(i)} is the ith symbolic power of I.
△ Less
Submitted 9 March, 2007; v1 submitted 11 November, 2005;
originally announced November 2005.
-
On bounds for some graph invariants
Authors:
Isidoro Gitler,
Carlos E. Valencia
Abstract:
Let $G$ be a graph without isolated vertices and let $α(G)$ be its stability number and $τ(G)$ its covering number. The {\it $α_{v}$-cover} number of a graph, denoted by $α_{v}(G)$, is the maximum natural number $m$ such that every vertex of $G$ belongs to a maximal independent set with at least $m$ vertices. In the first part of this paper we prove that $α(G)\leq τ(G)[1+α(G)-α_{v}(G)]$. We also d…
▽ More
Let $G$ be a graph without isolated vertices and let $α(G)$ be its stability number and $τ(G)$ its covering number. The {\it $α_{v}$-cover} number of a graph, denoted by $α_{v}(G)$, is the maximum natural number $m$ such that every vertex of $G$ belongs to a maximal independent set with at least $m$ vertices. In the first part of this paper we prove that $α(G)\leq τ(G)[1+α(G)-α_{v}(G)]$. We also discuss some conjectures analogous to this theorem.
In the second part we give a lower bound for the number of edges of a graph $G$ as a function of the stability number $α(G)$, the covering number $τ(G)$ and the number of connected components $c(G)$ of $G$. Namely, let $α$ and $τ$ be two natural numbers and let $$ Γ(α,τ)= \min{\sum_{i=1}^α\bin{z_i}{2} | z_1+...+z_α= α+τ{and} z_i \geq 0 \forall i=1,..., α}. $$ Then if $G$ is any graph, we have: $$ |E(G)| \geq α(G)-c(G)+ Γ(α(G), τ(G)). $$
△ Less
Submitted 30 August, 2013; v1 submitted 18 October, 2005;
originally announced October 2005.
-
Explicit representations by halfspaces of the edge cone of a graph
Authors:
Carlos E. Valencia,
Rafael H. Villarreal
Abstract:
Let G be an arbitrary simple graph. The main results are explicit representations of the edge cone of G as a finite intersection of closed halfspaces. If G is bipartite and connected we determine the facets of the edge cone and present a canonical irreducible representation.
Let G be an arbitrary simple graph. The main results are explicit representations of the edge cone of G as a finite intersection of closed halfspaces. If G is bipartite and connected we determine the facets of the edge cone and present a canonical irreducible representation.
△ Less
Submitted 14 June, 2005;
originally announced June 2005.