Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Moments of Poisson stochastic integrals with random integrands
We compute the moment of order n of the Poisson stochastic integral of a random process u over a metric space X as a sum that runs over all partitions of {1,...,n} and involves the addition of points to Poisson configurations. This formula recovers known results in case u is a deterministic function on X.
Clairvoyant embedding in one dimension
Let v, w be infinite 0-1 sequences, and m a positive integer. We say that w is m-embeddable in v, if there exists an increasing sequence n_{i} of integers with n_{0}=0, such that 0< n_{i} - n_{i-1} < m, w(i) = v(n_i) for all i > 0. Let X and Y be independent coin-tossing sequences. We will show that there is an m with the property that Y is m-embeddable into X with positive probability. This answers a question that was open for a while. The proof generalizes somewhat the hierarchical method of an earlier paper of the author on dependent percolation.
Algebraic and combinatorial structures on pairs of twin binary trees
Published in Journal of Algebra, 360, 115--157, 2012
• View Publication
• BIB
We give a new construction of a Hopf algebra defined first by Reading whose bases are indexed by objects belonging to the Baxter combinatorial family (i.e., Baxter permutations, pairs of twin binary trees, etc.). Our construction relies on the definition of the Baxter monoid, analog of the plactic monoid and the sylvester monoid, and on a Robinson-Schensted-like correspondence and insertion algorithm. Indeed, the Baxter monoid leads to the definition of a lattice structure over pairs of twin binary trees and the definition of a Hopf algebra. The algebraic properties of this Hopf algebra are studied and among other, multiplicative bases are provided, and freeness and self-duality proved.
On the Signed (Total) $k$-Domination Number of a Graph
Let $k$ be a positive integer and $G=(V,E)$ be a graph of minimum degree at least $k-1$. A function $f:V\rightarrow \{-1,1\}$ is called a \emph{signed $k$-dominating function} of $G$ if $\sum_{u\in N_G[v]}f(u)\geq k$ for all $v\in V$. The \emph{signed $k$-domination number} of $G$ is the minimum value of $\sum_{v\in V}f(v)$ taken over all signed $k$-dominating functions of $G$. The \emph{signed total $k$-dominating function} and \emph{signed total $k$-domination number} of $G$ can be similarly defined by changing the closed neighborhood $N_G[v]$ to the open neighborhood $N_G(v)$ in the definition. The \emph{upper signed $k$-domination number} is the maximum value of $\sum_{v\in V}f(v)$ taken over all \emph{minimal} signed $k$-dominating functions of $G$. In this paper, we study these graph parameters from both algorithmic complexity and graph-theoretic perspectives. We prove that for every fixed $k\geq 1$, the problems of computing these three parameters are all \NP-hard. We also present sharp lower bounds on the signed $k$-domination number and signed total $k$-domination number for general graphs in terms of their minimum and maximum degrees, generalizing several known results about signed domination.
The 2-Domination and 2-Bondage Numbers of Grid Graphs
Let $p$ be a positive integer and $G=(V,E)$ be a simple graph. A subset $D\subseteq V$ is a $p$-dominating set if each vertex not in $D$ has at least $p$ neighbors in $D$. The $p$-domination number $\g_p(G)$ is the minimum cardinality among all $p$-dominating sets of $G$. The $p$-bondage number $b_p(G)$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with a $p$-domination number greater than the $p$-domination number of $G$. In this note we determine the 2-domination number $\g_2$ and 2-bondage number $b_2$ for the grid graphs $G_{m,n}=P_m\times P_n$ for $2\leq m\leq 4$.
A note on directed 4-cycles in digraphs
Published
• View Publication
• BIB
Using some combinatorial techniques, in this note, it is proved that if $α\geq 0.28866$, then any digraph on $n$ vertices with minimum outdegree at least $αn$ contains a directed cycle of length at most 4.
On the minimal feedback arc set of m-free Digraphs
Published
• View Publication
• BIB
For a simple digraph $G$, let $β(G)$ be the size of the smallest subset $X\subseteq E(G)$ such that $G-X$ has no directed cycles, and let $γ(G)$ be the number of unordered pairs of nonadjacent vertices in $G$. A digraph $G$ is called $m$-free if $G$ has no directed cycles of length at most $m$. This paper proves that $β(G)\leq \frac{1}{m-2}γ(G)$ for any $m$-free digraph $G$, which generalized some known results.
FI-modules and stability for representations of symmetric groups
Published in Duke Math. J. 164, no. 9 (2015), 1833-1910
• View Publication
• BIB
In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about:
- the cohomology of the configuration space of n distinct ordered points on an arbitrary (connected, oriented) manifold
- the diagonal coinvariant algebra on r sets of n variables
- the cohomology and tautological ring of the moduli space of n-pointed curves
- the space of polynomials on rank varieties of n x n matrices
- the subalgebra of the cohomology of the genus n Torelli group generated by H^1 and more.
The symmetric group S_n acts on each of these vector spaces. In most cases almost nothing is known about the characters of these representations, or even their dimensions. We prove that in each fixed degree the character is given, for n large enough, by a polynomial in the cycle-counting functions that is independent of n. In particular, the dimension is eventually a polynomial in n. In this framework, representation stability (in the sense of Church-Farb) for a sequence of S_n-representations is converted to a finite generation property for a single FI-module.
Some remarks on barycentric-sum problems over cyclic groups
Published
• View Publication
• BIB
We derive some new results on the k-th barycentric Olson constants of abelian groups (mainly cyclic). This quantity, for a finite abelian (additive) group (G,+), is defined as the smallest integer l such that each subset A of G with at least l elements contains a subset with k elements {g_1, ..., g_k} satisfying g_1 + ... + g_k = k g_j for some 1 <= j <= k.
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$.