Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Minkowski Decomposition of Associahedra and Related Combinatorics
Published in Discrete and Computational Geometry 50:4 (2013), 903-939
• View Publication
• BIB
Realisations of associahedra with linearly non-isomorphic normal fans can be obtained by alteration of the right-hand sides of the facet-defining inequalities from a classical permutahedron. These polytopes can be expressed as Minkowski sums and differences of dilated faces of a standard simplex as described by Ardila, Benedetti & Doker (2010). The coefficients $y_I$ of such a Minkowski decomposition can be computed by Möbius inversion if tight right-hand sides $z_I$ are known not just for the facet-defining inequalities of the associahedron but also for all inequalities of the permutahedron that are redundant for the associahedron.
We show for certain families of these associahedra: (a) how to compute tight values $z_I$ for the redundant inequalities from the values $z_I$ for the facet-defining inequalities; (b) the computation of the values $y_I$ of Ardila, Benedetti & Doker can be significantly simplified and at most four values $z_{a(I)}$, $z_{b(I)}$, $z_{c(I)}$ and $z_{d(I)}$ are needed to compute $y_I$; (c) the four indices $a(I)$, $b(I)$, $c(I)$ and $d(I)$ are determined by the geometry of the normal fan of the associahedron and are described combinatorially; (d) a combinatorial interpretation of the values $y_I$ using a labeled $n$-gon. This last result is inspired from similar interpretations for vertex coordinates originally described originally by J.-L. Loday and well-known interpretations for the $z_I$-values of facet-defining inequalities.
The number of graphs of given diameter
In this paper it is proved that there are constants 0< c_2< c_1 such that an asymptotic formula can be given for the the number of (labeled) n-vertex graphs of diameter d whenever n tends to infinity and 2 < d < n - c_1 (log n). A typical graph of diameter d consists of a combination of an induced path of length d and a highly connected block of size n-d+3. In the case d > n- c_2(log n) another asymptotic formula is calculated and the typical graph has a completely different snakelike structure.
Enumeration of Cylindric Plane Partitions - part I
Published
• View Publication
• BIB
Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. The first result of this paper is a $(q,t)$-analog of Borodin's identity which extends previous work by Okada in the reverse plane partition case. Our proof uses commutation relations for $(q,t)$-vertex operators acting on Macdonald polynomials as given by Garsia, Haiman and Tesla. The second result of this paper is an explicit combinatorial interpreation of the $(q,t)$-Macdonald weight in terms of a non-intersecting lattice path model on the cylinder.
Bound on the Jordan type of a generic nilpotent matrix commuting with a given matrix
Published in J. Algebraic Combinatorics, Vol 38 (2013) \#4, p. 947--972
• View Publication
• BIB
It is well-known that a nilpotent n by n matrix B is determined up to conjugacy by a partition of n formed by the sizes of the Jordan blocks of B. We call this partition the Jordan type of B. We obtain partial results on the following problem: for any partition P of n describe the type Q(P) of a generic nilpotent matrix commuting with a given nilpotent matrix of type P. A conjectural description for Q(P) was given by P. Oblak and restated by L. Khatami. In this paper we prove "half" of this conjecture by showing that this conjectural type is less than or equal to Q(P) in the dominance order on partitions.
0/1 Polytopes with Quadratic Chvatal Rank
For a polytope P, the Chvatal closure P' is obtained by simultaneously strengthening all feasible inequalities cx <= b (with integral c) to cx <= floor(b). The number of iterations of this procedure that are needed until the integral hull of P is reached is called the Chvatal rank. If P is a subset of [0,1]^n, then it is known that O(n^2 log n) iterations always suffice (Eisenbrand and Schulz (1999)) and at least (1+1/e-o(1))n iterations are sometimes needed (Pokutta and Stauffer (2011)), leaving a huge gap between lower and upper bounds.
We prove that there is a polytope contained in the 0/1 cube that has Chvatal rank Omega(n^2), closing the gap up to a logarithmic factor. In fact, even a superlinear lower bound was mentioned as an open problem by several authors. Our choice of P is the convex hull of a semi-random Knapsack polytope and a single fractional vertex. The main technical ingredient is linking the Chvatal rank to simultaneous Diophantine approximations w.r.t. the L1-norm of the normal vector defining P.
Conditional Fault Diagnosis of Bubble Sort Graphs under the PMC Model
Published
• View Publication
• BIB
As the size of a multiprocessor system increases, processor failure is inevitable, and fault identification in such a system is crucial for reliable computing. The fault diagnosis is the process of identifying faulty processors in a multiprocessor system through testing. For the practical fault diagnosis systems, the probability that all neighboring processors of a processor are faulty simultaneously is very small, and the conditional diagnosability, which is a new metric for evaluating fault tolerance of such systems, assumes that every faulty set does not contain all neighbors of any processor in the systems. This paper shows that the conditional diagnosability of bubble sort graphs $B_n$ under the PMC model is $4n-11$ for $n \geq 4$, which is about four times its ordinary diagnosability under the PMC model.
Fault-tolerant analysis of augmented cubes
The augmented cube $AQ_n$, proposed by Choudum and Sunitha [S. A. Choudum, V. Sunitha, Augmented cubes, Networks 40 (2) (2002) 71-84], is a $(2n-1)$-regular $(2n-1)$-connected graph $(n\ge 4)$. This paper determines that the 2-extra connectivity of $AQ_n$ is $6n-17$ for $n\geq 9$ and the 2-extra edge-connectivity is $6n-9$ for $n\geq 4$. That is, for $n\geq 9$ (respectively, $n\geq 4$), at least $6n-17$ vertices (respectively, $6n-9$ edges) of $AQ_n$ have to be removed to get a disconnected graph that contains no isolated vertices and isolated edges. When the augmented cube is used to model the topological structure of a large-scale parallel processing system, these results can provide more accurate measurements for reliability and fault tolerance of the system.
Many-to-many disjoint paths in hypercubes with faulty vertices
Published
• View Publication
• BIB
This paper considers the problem of many-to-many disjoint paths in the hypercube $Q_n$ with $f$ faulty vertices and obtains the following result. For any integer $k$ with $1\leq k\leq n-2$, any two sets $S$ and $T$ of $k$ fault-free vertices in different parts of $Q_n\ (n\geq 3)$, if $f\leq 2n-2k-3$ and each fault-free vertex has at least two fault-free neighbors, then there exist $k$ fully disjoint fault-free paths linking $S$ and $T$ which contain at least $2^n-2f$ vertices. This result improves some known results in a sense.
Constructing the set of complete intersection numerical semigroups with a given Frobenius number
Published
• View Publication
• BIB
Delorme suggested that the set of all complete intersection numerical semigroups can be computed recursively. We have implemented this algorithm, and particularized it to several subfamilies of this class of numerical semigroups: free and telescopic numerical semigroups, and numerical semigroups associated to an irreducible plane curve singularity. The recursive nature of this procedure allows us to give bounds for the embedding dimension and for the minimal generators of a semigroup in any of these families.
Rainbow connection number and independence number of a graph
Published
• View Publication
• BIB
Let $G$ be an edge-colored connected graph. A path of $G$ is called rainbow if its every edge is colored by a distinct color. $G$ is called rainbow connected if there exists a rainbow path between every two vertices of $G$. The minimum number of colors that are needed to make $G$ rainbow connected is called the rainbow connection number of $G$, denoted by $rc(G)$. In this paper, we investigate the relation between the rainbow connection number and the independence number of a graph. We show that if $G$ is a connected graph, then $rc(G)\leq 2α(G)-1$. Two examples $G$ are given to show that the upper bound $2α(G)-1$ is equal to the diameter of $G$, and therefore the best possible since the diameter is a lower bound of $rc(G)$.
Containment problems for polytopes and spectrahedra
Published
• View Publication
• BIB
We study the computational question whether a given polytope or spectrahedron $S_A$ (as given by the positive semidefiniteness region of a linear matrix pencil $A(x)$) is contained in another one $S_B$.
First we classify the computational complexity, extending results on the polytope/polytope-case by Gritzmann and Klee to the polytope/spectrahedron-case. For various restricted containment problems, NP-hardness is shown.
We then study in detail semidefinite conditions to certify containment, building upon work by Ben-Tal, Nemirovski and Helton, Klep, McCullough. In particular, we discuss variations of a sufficient semidefinite condition to certify containment of a spectrahedron in a spectrahedron. It is shown that these sufficient conditions even provide exact semidefinite characterizations for containment in several important cases, including containment of a spectrahedron in a polyhedron. Moreover, in the case of bounded $S_A$ the criteria will always succeed in certifying containment of some scaled spectrahedron $νS_A$ in $S_B$.
Zariski chambers on surfaces of high Picard number
Published in LMS J. Comput. Math. 15 (2012) 219-230
• View Publication
• BIB
We present an improved algorithm for the computation of Zariski chambers on algebraic surfaces. The new algorithm significantly outperforms the so far available method and allows therefore to treat surfaces of high Picard number, where huge chamber numbers occur. As an application, we efficiently compute the number of chambers supported by the lines on the Segre-Schur quartic.
Solutions to the generalized Towers of Hanoi problem
The purpose of this paper is to prove the Frame-Stewart algorithm for the generalized Towers of Hanoi problem as well as finding the number of moves required to solve the problem and studying the multitude of optimal solutions. The main idea is to study how to most effectively move away all but the last disc and use the fact that the total number of moves required to solve the problem is twice this number plus one.
On Possible Turan Densities
Published
• View Publication
• BIB
The Turán density π(H) of a family H of k-graphs is the limit as n tends to infinity of the maximum edge density of an H-free k-graph on n vertices. Let I^k consist of all possible Turán densities and let F^k be the set of Turán densities of finite k-graph families.
Here we prove that F^k contains every density obtained from an arbitrary finite construction by optimally blowing it up and using recursion inside the specified set of parts. As an application, we show that F^k contains an irrational number for each k\ge 3.
Also, we show that I^k has cardinality of the continuum. In particular, I^k is not equal to F^k.
Multilinear generalized Radon transforms and point configurations
Published in Forum Math.,27, no. 4, (2015), 2323-2360
• View Publication
• BIB
We study multilinear generalized Radon transforms using a graph-theoretic paradigm that includes the widely studied linear case. These provide a general mechanism to study Falconer-type problems involving $(k+1)$-point configurations in geometric measure theory, with $k \ge 2$, including the distribution of simplices, volumes and angles determined by the points of fractal subsets $E \subset {\Bbb R}^d$, $d \ge 2$. If $T_k(E)$ denotes the set of noncongruent $(k+1)$-point configurations determined by $E$, we show that if the Hausdorff dimension of $E$ is greater than $d-\frac{d-1}{2k}$, then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$ is positive. This compliments previous work on the Falconer conjecture (\cite{Erd05} and the references there), as well as work on finite point configurations \cite{EHI11,GI10}. We also give applications to Erdös-type problems in discrete geometry and a fractal regular value theorem, providing a multilinear framework for the results in \cite{EIT11}.
Total Domination Value in Graphs
Published in Util. Math. vol. 95 (2014) pp. 263-279
• Search Publication
A set $D \subseteq V(G)$ is a \emph{total dominating set} of $G$ if for every vertex $v \in V(G)$ there exists a vertex $u \in D$ such that $u$ and $v$ are adjacent. A total dominating set of $G$ of minimum cardinality is called a $γ_t(G)$-set. For each vertex $v \in V(G)$, we define the \emph{total domination value} of $v$, $TDV(v)$, to be the number of $γ_t(G)$-sets to which $v$belongs. This definition gives rise to \emph{a local study of total domination} in graphs. In this paper, we study some basic properties of the $TDV$ function; also, we derive explicit formulas for the $TDV$ of any complete n-partite graph, any cycle, and any path.
Monotone cellular automata in a random environment
Published in Combinator. Probab. Comp. 24 (2015) 687-722
• View Publication
• BIB
In this paper we study in complete generality the family of two-state, deterministic, monotone, local, homogeneous cellular automata in $\mathbb{Z}^d$ with random initial configurations. Formally, we are given a set $\mathcal{U}=\{X_1,\dots,X_m\}$ of finite subsets of $\mathbb{Z}^d\setminus\{\mathbf{0}\}$, and an initial set $A_0\subset\mathbb{Z}^d$ of `infected' sites, which we take to be random according to the product measure with density $p$. At time $t\in\mathbb{N}$, the set of infected sites $A_t$ is the union of $A_{t-1}$ and the set of all $x\in\mathbb{Z}^d$ such that $x+X\in A_{t-1}$ for some $X\in\mathcal{U}$. Our model may alternatively be thought of as bootstrap percolation on $\mathbb{Z}^d$ with arbitrary update rules, and for this reason we call it $\mathcal{U}$-bootstrap percolation.
In two dimensions, we give a classification of $\mathcal{U}$-bootstrap percolation models into three classes -- supercritical, critical and subcritical -- and we prove results about the phase transitions of all models belonging to the first two of these classes. More precisely, we show that the critical probability for percolation on $(\mathbb{Z}/n\mathbb{Z})^2$ is $(\log n)^{-Θ(1)}$ for all models in the critical class, and that it is $n^{-Θ(1)}$ for all models in the supercritical class.
The results in this paper are the first of any kind on bootstrap percolation considered in this level of generality, and in particular they are the first that make no assumptions of symmetry. It is the hope of the authors that this work will initiate a new, unified theory of bootstrap percolation on $\mathbb{Z}^d$.
On Bondage Numbers of Graphs -- a survey with some comments
Published
• View Publication
• BIB
The bondage number of a nonempty graph $G$ is the cardinality of a smallest edge set whose removal from $G$ results in a graph with domination number greater than the domination number of $G$. This lecture gives a survey on the bondage number, including the known results, problems and conjectures. We also summarize other types of bondage numbers.
On the p-reinforcement and the complexity
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $p$ be a positive integer. A subset $S\subseteq V$ is called a $p$-dominating set if each vertex not in $S$ has at least $p$ neighbors in $S$. The $p$-domination number $\g_p(G)$ is the size of a smallest $p$-dominating set of $G$. The $p$-reinforcement number $r_p(G)$ is the smallest number of edges whose addition to $G$ results in a graph $G'$ with $\g_p(G')<\g_p(G)$. In this paper, we give an original study on the $p$-reinforcement, determine $r_p(G)$ for some graphs such as paths, cycles and complete $t$-partite graphs, and establish some upper bounds of $r_p(G)$. In particular, we show that the decision problem on $r_p(G)$ is NP-hard for a general graph $G$ and a fixed integer $p\geq 2$.
On the diameter of the Kronecker product graph
Published
• View Publication
• BIB
Let $G_1$ and $G_2$ be two undirected nontrivial graphs. The Kronecker product of $G_1$ and $G_2$ denoted by $G_1\otimes G_2$ with vertex set $V(G_1)\times V(G_2)$, two vertices $x_1x_2$ and $y_1y_2$ are adjacent if and only if $(x_1,y_1)\in E(G_1)$ and $(x_2,y_2)\in E(G_2)$. This paper presents a formula for computing the diameter of $G_1\otimes G_2$ by means of the diameters and primitive exponents of factor graphs.