Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Alliance free sets in Cartesian product graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph. For a non-empty subset of vertices $S\subseteq V$, and vertex $v\in V$, let $δ_S(v)=|\{u\in S:uv\in E\}|$ denote the cardinality of the set of neighbors of $v$ in $S$, and let $\bar{S}=V-S$. Consider the following condition: {equation}\label{alliancecondition} δ_S(v)\ge δ_{\bar{S}}(v)+k, \{equation} which states that a vertex $v$ has at least $k$ more neighbors in $S$ than it has in $\bar{S}$. A set $S\subseteq V$ that satisfies Condition (\ref{alliancecondition}) for every vertex $v \in S$ is called a \emph{defensive} $k$-\emph{alliance}; for every vertex $v$ in the neighborhood of $S$ is called an \emph{offensive} $k$-\emph{alliance}. A subset of vertices $S\subseteq V$, is a \emph{powerful} $k$-\emph{alliance} if it is both a defensive $k$-alliance and an offensive $(k +2)$-alliance. Moreover, a subset $X\subset V$ is a defensive (an offensive or a powerful) $k$-alliance free set if $X$ does not contain any defensive (offensive or powerful, respectively) $k$-alliance. In this article we study the relationships between defensive (offensive, powerful) $k$-alliance free sets in Cartesian product graphs and defensive (offensive, powerful) $k$-alliance free sets in the factor graphs.
On the fractional metric dimension of graphs
Published in Discrete Appl. Math. 170 (2014), 55-63
• View Publication
• BIB
In [S. Arumugam, V. Mathew and J. Shen, On fractional metric dimension of graphs, preprint], Arumugam et al. studied the fractional metric dimension of the cartesian product of two graphs, and proposed four open problems. In this paper, we determine the fractional metric dimension of vertex-transitive graphs, in particular, the fractional metric dimension of a vertex-transitive distance-regular graph is expressed in terms of its intersection numbers. As an application, we calculate the fractional metric dimension of Hamming graphs and Johnson graphs, respectively. Moreover, we give an inequality for metric dimension and fractional metric dimension of an arbitrary graph, and determine all graphs when the equality holds. Finally, we establish bounds on the fractional metric dimension of the cartesian product of graphs. As a result, we completely solve the four open problems.
Saturated Domino Coverings
A domino covering of a board is saturated if no domino is redundant. We introduce the concept of a fragment tiling and show that a minimal fragment tiling always corresponds to a maximal saturated domino covering. The size of a minimal fragment tiling is the domination number of the board. We define a class of regular boards and show that for these boards the domination number gives the size of a minimal X-pentomino covering. Natural sequences that count maximal saturated domino coverings of square and rectangular boards are obtained. These include the new sequences A193764, A193765, A193766, A193767, and A193768 of OEIS.
How to Lose with Least Probability
Two players alternate tossing a biased coin where the probability of getting heads is p. The current player is awarded alpha points for tails and alpha+beta for heads. The first player reaching n points wins. For a completely unfair coin the player going first certainly wins. For other coin biases, the player going first has the advantage, but the advantage depends on the coin bias. We calculate the first player's advantage and the coin bias minimizing this advantage.
Equidistributed statistics on matchings and permutations
Published
• View Publication
• BIB
We show that the bistatistic of right nestings and right crossings in matchings without left nestings is equidistributed with the number of occurrences of two certain patterns in permutations, and furthermore that this equidistribution holds when refined to positions of these statistics in matchings and permutations. For this distribution we obtain a non-commutative generating function which specializes to Zagier's generating function for the Fishburn numbers after abelianization.
As a special case we obtain proofs of two conjectures of Claesson and Linusson.
Finally, we conjecture that our results can be generalized to involving left crossings of matchings too.
A generalization of the alcove model and its applications
Published
• View Publication
• BIB
The alcove model of the first author and A. Postnikov uniformly describes highest weight crystals of semisimple Lie algebras. We construct a generalization, called the quantum alcove model. In joint work of the first author with S. Naito, D. Sagaki, A. Schilling, and M. Shimozono, this was shown to uniformly describe tensor products of column shape Kirillov-Reshetikhin crystals in all untwisted affine types; moreover, an efficient formula for the corresponding energy function is available. In the second part of this paper, we specialize the quantum alcove model to types $A$ and $C$. We give explicit affine crystal isomorphisms from the specialized quantum alcove model to the corresponding tensor products of column shape Kirillov-Reshetikhin crystals, which are realized in terms of Kashiwara-Nakashima columns.
Consistency of multidimensional combinatorial substitutions
Published in Theoretical Computer Science 454 (2012), 178-188, short version in CSR 2012, conference proceedings LNCS 7353, 205-216
• View Publication
• BIB
Multidimensional combinatorial substitutions are rules that replace symbols by finite patterns of symbols in $\mathbb Z^d$. We focus on the case where the patterns are not necessarily rectangular, which requires a specific description of the way they are glued together in the image by a substitution. Two problems can arise when defining a substitution in such a way: it can fail to be consistent, and the patterns in an image by the substitution might overlap.
We prove that it is undecidable whether a two-dimensional substitution is consistent or overlapping, and we provide practical algorithms to decide these properties in some particular cases.
The multicovering radius problem for some types of discrete structures
Published in Designs, Codes and Cryptography 72 (2) 2014
• View Publication
• BIB
The covering radius problem is a question in coding theory concerned with finding the minimum radius $r$ such that, given a code that is a subset of an underlying metric space, balls of radius $r$ over its code words cover the entire metric space. Klapper introduced a code parameter, called the multicovering radius, which is a generalization of the covering radius. In this paper, we introduce an analogue of the multicovering radius for permutation codes (cf. Keevash and Ku, 2006) and for codes of perfect matchings (cf. Aw and Ku, 2012). We apply probabilistic tools to give some lower bounds on the multicovering radii of these codes. In the process of obtaining these results, we also correct an error in the proof of the lower bound of the covering radius that appeared in Keevash and Ku (2006). We conclude with a discussion of the multicovering radius problem in an even more general context, which offers room for further research.
Induced Saturation Number
Published in Discrete Math 312(21) (2012), 3096--3106
• View Publication
• BIB
In this paper, we discuss a generalization of the notion of saturation in graphs in order to deal with induced structures. In particular, we define ${\rm indsat}(n,H)$, which is the fewest number of gray edges in a trigraph so that no realization of that trigraph has an induced copy of $H$, but changing any white or black edge to gray results in some realization that does have an induced copy of $H$.
We give some general and basic results and then prove that ${\rm indsat}(n,P_4)=\lceil (n+1)/3\rceil$ for $n\geq 4$ where $P_4$ is the path on 4 vertices. We also show how induced saturation in this setting extends to a natural notion of saturation in the context of general Boolean formulas.
Subset sums in abelian groups
Published in European Journal of Combinatorics 34, 8 (2013) 1269-1286
• View Publication
• BIB
Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is best possible, and we obtain the stronger (exact best possible) bound in almost all cases. We prove similar results in the case |G| is even. Our proof requires us to extend a theorem of Olson on the number of subset sums of anti-symmetric subsets S from the case of Z_p to the case of a general finite abelian group. To do so, we adapt Olson's method using a generalisation of Vosper's Theorem proved by Hamidoune and Plagne.
On Small Separations in Cayley Graphs
Published
• View Publication
• BIB
We present two results on expansion of Cayley graphs. The first result settles a conjecture made by DeVos and Mohar. Specifically, we prove that for any positive constant $c$ there exists a finite connected subset $A$ of the Cayley graph of $\mathbb{Z}^2$ such that $\frac{|\partial A|}{|A|}< \frac{c}{depth(A)}$. This yields that there can be no universal bound for $\frac{|\partial A|depth(A)}{|A|}$ for subsets of either infinite or finite vertex transitive graphs. Let $X=(V,E)$ be the Cayley graph of a finitely generated infinite group and $A\subset V$ finite such that $A\cup\partial A$ is connected. Our second result is that if $|A|> 16|\partial A|^2$ then $X$ has a ring-like structure.
Reidentification and k-anonymity: a model for disclosure risk in graphs
Published
• View Publication
• BIB
In this article we provide a formal framework for reidentification in general. We define n-confusion as a concept for modelling the anonymity of a database table and we prove that n-confusion is a generalization of k- anonymity. After a short survey on the different available definitions of k- anonymity for graphs we provide a new definition for k-anonymous graph, which we consider to be the correct definition. We provide a description of the k-anonymous graphs, both for the regular and the non-regular case. We also introduce the more flexible concept of (k,l)-anonymous graph. Our definition of (k,l)-anonymous graph is meant to replace a previous definition of (k, l)-anonymous graph, which we here prove to have severe weaknesses. Finally we provide a set of algorithms for k-anonymization of graphs.
Dihedral symmetries of multiple logarithms
Published in Journal of Number Theory and Physics, 2014, vol 7, no. 1
• View Publication
• BIB
This paper finds relationships between multiple logarithms with a dihedral group action on the arguments. I generalize the combinatorics developed in Gangl, Goncharov and Levin's R-deco polygon representation of multiple logarithms to find these relations. By writing multiple logarithms as iterated integrals, my arguments are valid for iterated integrals as over an arbitrary field.
Modular Decomposition and the Reconstruction Conjecture
Published
• View Publication
• BIB
We prove that a large family of graphs which are decomposable with respect to the modular decomposition can be reconstructed from their collection of vertex-deleted subgraphs.
Tight lower bounds on the number of faces of the Minkowski sum of convex polytopes via the Cayley trick
Consider a set of $r$ convex $d$-polytopes $P_1,P_2,...,P_r$, where $d\ge{}3$ and $r\ge{}2$, and let $n_i$ be the number of vertices of $P_i$, $1\le{}i\le{}r$. It has been shown by Fukuda and Weibel that the number of $k$-faces of the Minkowski sum, $P_1+P_2+...+P_r$, is bounded from above by $Φ_{k+r}(n_1,n_2,...,n_r)$, where
$Φ_{\ell}(n_1,n_2,...,n_r)= \sum_{\substack{1\le{}s_i\le{}n_i
s_1+...+s_r=\ell}} \prod_{i=1}^r\binom{n_i}{s_i}$, $\ell\ge{}r$.
Fukuda and Weibel have also shown that the upper bound mentioned above is tight for $d\ge{}4$, $2\le{}r\le{}\lfloor\frac{d}{2}\rfloor$, and for all $0\le{}k\le{}\lfloor\frac{d}{2}\rfloor-r$.
In this paper we construct a set of $r$ neighborly $d$-polytopes $P_1,P_2,...,P_r$, where $d\ge{}3$ and $2\le{}r\le{}d-1$, for which the upper bound of Fukuda and Weibel is attained for all $0\le{}k\le{}\lfloor\frac{d+r-1}{2}\rfloor-r$. Our approach is based on what is known as the Cayley trick for Minkowski sums. A direct consequence of our result is a tight asymptotic bound on the complexity of the Minkowski sum $P_1+P_2+...+P_r$, for any fixed dimension $d$ and any $2\le{}r\le{}d-1$, when the number of vertices of the polytopes is (asymptotically) the same.
Jungles, bundles, and fixed parameter tractability
Published
• View Publication
• BIB
We give a fixed-parameter tractable (FPT) approximation algorithm computing the path-width of a tournament, and more generally, of a semi-complete digraph. Based on this result, we prove that topological containment and rooted immersion problems are FPT on semi-complete digraphs.
Oriented paths in n-chromatic digraphs
In this thesis, we try to treat the problem of oriented paths in n-chromatic digraphs. We first treat the case of antidirected paths in 5-chromatic digraphs, where we explain El-Sahili's theorem and provide an elementary and shorter proof of it. We then treat the case of paths with two blocks in n-chromatic digraphs with n greater than 4, where we explain the two different approaches of Addario-Berry et al. and of El-Sahili. We indicate a mistake in Addario-Berry et al.'s proof and provide a correction for it.
Two extensions of Ramsey's theorem
Published in Duke Math. J. 162, no. 15 (2013), 2903-2927
• View Publication
• BIB
Ramsey's theorem, in the version of Erdős and Szekeres, states that every 2-coloring of the edges of the complete graph on {1, 2,...,n} contains a monochromatic clique of order 1/2\log n. In this paper, we consider two well-studied extensions of Ramsey's theorem.
Improving a result of Rödl, we show that there is a constant $c>0$ such that every 2-coloring of the edges of the complete graph on \{2, 3,...,n\} contains a monochromatic clique S for which the sum of 1/\log i over all vertices i \in S is at least c\log\log\log n. This is tight up to the constant factor c and answers a question of Erdős from 1981.
Motivated by a problem in model theory, Väänänen asked whether for every k there is an n such that the following holds. For every permutation πof 1,...,k-1, every 2-coloring of the edges of the complete graph on {1, 2, ..., n} contains a monochromatic clique a_1<...<a_k with a_{π(1)+1}-a_{π(1)}>a_{π(2)+1}-a_{π(2)}>...>a_{π(k-1)+1}-a_{π(k-1)}. That is, not only do we want a monochromatic clique, but the differences between consecutive vertices must satisfy a prescribed order. Alon and, independently, Erdős, Hajnal and Pach answered this question affirmatively. Alon further conjectured that the true growth rate should be exponential in k. We make progress towards this conjecture, obtaining an upper bound on n which is exponential in a power of k. This improves a result of Shelah, who showed that n is at most double-exponential in k.
Generating k-Facets by Induction on the Dimension
Let S be a set of n >= d points in general position in R^d. An oriented (d-1)-simplex spanned by d points from S is called a k-facet iff the positive side of its affine hull contains exactly k points from S. A (<=k)-facet is simply an i-facet for some i <= k. Let E_k(S) denote the number of (<=k)-facets. Of particular interest is the problem of bounding E_k(S) in terms of n, d, and k.
We present and analyze a method of generating all oriented d-tuples of points from S (and therefore all k-facets for 0 <= k <= n-d) that is inductive with regard to the dimension d. The motivation behind this is to shed light on the problem of bounding E_k(S) by drawing parallels with a simple method of sampling from certain beta distributions. In particular, we aim to provide a fresh perspective on a difficult open problem, the Generalized Upper Bound Conjecture proposed by Eckhoff, Linhart, and Welzl.
After presenting our analysis of the generation technique, we apply it to obtain a simple proof of a lower bound for E_k(S). This bound was known for d=2 but holds for a wider range of k than previous bounds when d >= 3.
A graph-theoretic condition for irreducibility of a set of cone preserving matrices
Published
• View Publication
• BIB
Given a closed, convex and pointed cone K in R^n, we present a result which infers K-irreducibility of sets of K-quasipositive matrices from strong connectedness of certain bipartite digraphs. The matrix-sets are defined via products, and the main result is relevant to applications in biology and chemistry. Several examples are presented.