Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Stretched skew Schur polynomials are recurrent
Published in Journal of Combinatorial Theory, Series A, Volume 122, February 2014, Pages 1-8
• View Publication
• BIB
We show that sequences of skew Schur polynomials obtained from stretched semi-standard Young tableaux satisfy a linear recurrence, which we give explicitly. Using this, we apply this to finding certain asymptotic behavior of these Schur polynomials and present conjectures on minimal recurrences for stretched Schur polynomials.
Positivity for Gaussian graphical models
Published
• View Publication
• BIB
Gaussian graphical models are parametric statistical models for jointly normal random variables whose dependence structure is determined by a graph. In previous work, we introduced trek separation, which gives a necessary and sufficient condition in terms of the graph for when a subdeterminant is zero for all covariance matrices that belong to the Gaussian graphical model. Here we extend this result to give explicit cancellation-free formulas for the expansions of nonzero subdeterminants.
Geometric realization of $γ$-vectors of 2-truncated cubes
Published in Uspekhi Mat. Nauk, 67:3(405) (2012), 181-182
• View Publication
• BIB
This paper continues investigation of the class of flag simple polytopes called 2-truncated cubes. It is an extended version of the short note Volodin (2012). A 2-truncated cube is a polytope obtained from a cube by sequence of truncations of codimension 2 faces. Constructed uniquely defined function which maps any 2-truncated cube to a flag simplicial complex with $f$-vector equal to $γ$-vector of the polytope. As a corollary we obtain that $γ$-vectors of 2-truncated cubes satisfy Frankl-Furedi-Kalai inequalities.
Isoperimetric Sequences for Infinite Complete Binary Trees, Meta-Fibonacci Sequences and Signed Almost Binary Partitions
In this paper we demonstrate connections between three seemingly unrelated concepts.
(1) The discrete isoperimetric problem in the infinite binary tree with all the leaves at the same level, $ {\mathcal T}_{\infty}$:
The $n$-th edge isoperimetric number $δ(n)$ is defined to be $\min_{|S|=n, S \subset V({\mathcal T}_{\infty})} |(S,\bar{S})|$,
where $(S,\bar{S})$ is the set of edges in the cut defined by $S$.
(2) Signed almost binary partitions: This is the special case of the coin-changing problem where the coins are drawn from the set
${\pm (2^d - 1): $d$ is a positive integer}$. The quantity of interest is $τ(n)$, the minimum number of coins necessary to
make change for $n$ cents.
(3) Certain Meta-Fibonacci sequences: The Tanny sequence is defined by $T(n)=T(n{-}1{-}T(n{-}1))+T(n{-}2{-}T(n{-}2))$
and the Conolly sequence is defined by $C(n)=C(n{-}C(n{-}1))+C(n{-}1{-}C(n{-}2))$, where the initial conditions are $T(1) = C(1) = T(2) = C(2) = 1$.
These are well-known "meta-Fibonacci" sequences.
The main result that ties these three together is the following: $$ δ(n) = τ(n) = n+ 2 + 2 \min_{1 \le k \le n} (C(k) - T(n-k) - k).$$ Apart from this, we prove several other results which bring out the interconnections between the above three concepts.
The rate of growth of the minimum clique size of graphs of given order and chromatic number
Let $Q(n,c)$ denote the minimum clique number over graphs with $n$ vertices and chromatic number $c$. We determine the rate of growth of of the sequence ${Q(n,\lceil rn \rceil)}_{n=1}^\infty$ for any fixed $0<r\leq 1$. We also give a better upper bound for $Q(n,\lceil rn \rceil)$.
Combinatorics and the Rigidity of CAD Systems
We study the rigidity of body-and-cad frameworks which capture the majority of the geometric constraints used in 3D mechanical engineering CAD software. We present a combinatorial characterization of the generic minimal rigidity of a subset of body-and-cad frameworks in which we treat 20 of the 21 body-and-cad constraints, omitting only point-point coincidences. While the handful of classical combinatorial characterizations of rigidity focus on distance constraints between points, this is the first result simultaneously addressing coincidence, angular, and distance constraints. Our result is stated in terms of the partitioning of a graph into edge-disjoint spanning trees. This combinatorial approach provides the theoretical basis for the development of deterministic algorithms (that will not depend on numerical methods) for analyzing the rigidity of body-and-cad frameworks.
Rainbow domination in the lexicographic product of graphs
Let k be a positive integer and let f be a map from V(G) to the set of all subsets of {1,2,3,...,k}. The function f is called a k-rainbow dominating function of G provided that whenever u is a vertex of G such that f(u) is the empty set, then for each integer r in {1,2,3,...,k} there is a neighbor x of u such that f(x) contains r. The k-rainbow domination number of G is the minimum sum (over all the vertices of G) of the cardinalities of the subsets assigned by a k-rainbow dominating function of G. The k-rainbow domination number of G is the ordinary domination number of the Cartesian product of G and a complete graph of order k.
We focus on the 2-rainbow domination number of the lexicographic product of graphs and prove sharp lower and upper bounds for this number. In fact, we prove the exact value of the 2-rainbow domination number of the lexicographic product of G with H in terms of domination invariants of G, except for the case when H has 2-rainbow domination number 3 and there is a minimum 2-rainbow dominating function of H such that some vertex in H is assigned the label {1,2}.
Domination game played on trees and spanning subgraphs
Published in Discrete Mathematics 313(2013) 915-923
• View Publication
• BIB
The domination game is played on a graph G. Vertices are chosen, one at a time, by two players Dominator and Staller. Each chosen vertex must enlarge the set of vertices of G dominated to that point in the game. Both players use an optimal strategy---Dominator plays so as to end the game as quickly as possible while Staller plays in such a way that the game lasts as many steps as possible. The game domination number of G is the number of vertices chosen when Dominator starts the game and the Staller-start game domination number of G when Staller starts the game.
In this paper these two games are studied when played on trees and spanning subgraphs. A lower bound for the game domination number of a tree in terms of the order and maximum degree is proved and shown to be asymptotically tight. It is shown that for every k, there is a tree T with game domination number k and Staller-start game domination number k+1, and it is conjectured that there is no tree with game domination number k and Staller-start game domination number k-1. A relation between the game domination number of a graph and its spanning subgraphs is considered. It is proved that for any positive integer n, there exists a graph G and its spanning tree T such that the game domination number of G is at least n more than the game domination number of T. Moreover, there exist 3-connected graphs G having a spanning subgraph such that the game domination number of the spanning subgraph is arbitrarily smaller than that of G.
Discrete Riemann surfaces: linear discretization and its convergence
Published in J. reine und angew. Math.,720, (2016), 217-250
• View Publication
• BIB
We develop linear discretization of complex analysis, originally introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We prove convergence of discrete period matrices and discrete Abelian integrals to their continuous counterparts. We also prove a discrete counterpart of the Riemann--Roch theorem. The proofs use energy estimates inspired by electrical networks.
A Lower Bound for the Discrepancy of a Random Point Set
Published
• View Publication
• BIB
We show that there is a constant $K > 0$ such that for all $N, s \in \N$, $s \le N$, the point set consisting of $N$ points chosen uniformly at random in the $s$-dimensional unit cube $[0,1]^s$ with probability at least $1-\exp(-Θ(s))$ admits an axis parallel rectangle $[0,x] \subseteq [0,1]^s$ containing $K \sqrt{sN}$ points more than expected. Consequently, the expected star discrepancy of a random point set is of order $\sqrt{s/N}$.
Equitable coloring of Kronecker products of complete multipartite graphs and complete graphs
Published
• View Publication
• BIB
A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most 1. The equitable chromatic number of a graph $G$, denoted by $χ_=(G)$, is the minimum $k$ such that $G$ is equitably $k$-colorable. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $t$ such that $G$ is equitably $k$-colorable for $k \ge t$. In this paper, we give the exact values of $χ_=(K_{m_1,..., m_r} \times K_n)$ and $χ_=^*(K_{m_1,..., m_r} \times K_n)$ for $\sum_{i = 1}^r m_i \leq n$.
Computing symmetry groups of polyhedra
Published in LMS J. Comput. Math. 17 (2014) 565-581
• View Publication
• BIB
Knowing the symmetries of a polyhedron can be very useful for the analysis of its structure as well as for practical polyhedral computations. In this note, we study symmetry groups preserving the linear, projective and combinatorial structure of a polyhedron. In each case we give algorithmic methods to compute the corresponding group and discuss some practical experiences. For practical purposes the linear symmetry group is the most important, as its computation can be directly translated into a graph automorphism problem. We indicate how to compute integral subgroups of the linear symmetry group that are used for instance in integer linear programming.
Using Ciliate Operations to construct Chromosome Phylogenies
Published
• View Publication
• BIB
We develop an algorithm based on three basic DNA editing operations suggested by a model for ciliate micronuclear decryption, to transform a given permutation into another. The number of ciliate operations performed by our algorithm during such a transformation is taken to be the distance between two such permutations. Applying well-known clustering methods to such distance functions enables one to determine phylogenies among the items to which the distance functions apply. As an application of these ideas we explore the relationships among the chromosomes of eight fruitfly (drosophila) species, using the well-known UPGMA algorithm on the distance function provided by our algorithm.
The Number of Spanning Trees in Apollonian Networks
Published
• View Publication
• BIB
In this paper we find an exact analytical expression for the number of spanning trees in Apollonian networks. This parameter can be related to significant topological and dynamic properties of the networks, including percolation, epidemic spreading, synchronization, and random walks. As Apollonian networks constitute an interesting family of maximal planar graphs which are simultaneously small-world, scale-free, Euclidean and space filling and highly clustered, the study of their spanning trees is of particular relevance. Our results allow also the calculation of the spanning tree entropy of Apollonian networks, which then we compare with those of other graphs with the same average degree.
The Number of Spanning Trees of an Infinite Family of Outerplanar, Small-World and Self-Similar Graphs
Published
• View Publication
• BIB
In this paper we give an exact analytical expression for the number of spanning trees of an infinite family of outerplanar, small-world and self-similar graphs. This number is an important graph invariant related to different topological and dynamic properties of the graph, such as its reliability, synchronization capability and diffusion properties. The calculation of the number of spanning trees is a demanding and difficult task, in particular for large graphs, and thus there is much interest in obtaining closed expressions for relevant infinite graph families. We have also calculated the spanning tree entropy of the graphs which we have compared with those for graphs with the same average degree.
Classification of spherical tilings by congruent quadrangles over pseudo-double wheels (I) -- a special tiling by congruent concave quadrangles
Published
• View Publication
• BIB
Every simple quadrangulation of the sphere is generated by a graph called a pseudo-double wheel with two local expansions (Brinkmann et al. "Generation of simple quadrangulations of the sphere." Discrete Math., Vol. 305, No. 1-3, pp. 33-54, 2005). So, toward classification of the spherical tilings by congruent quadrangles, we propose to classify those with the tiles being convex and the graphs being pseudo-double wheels. In this paper, we verify that a certain series of assignments of edge-lengths to pseudo-double wheels does not admit a tiling by congruent convex quadrangles. Actually, we prove the series admits only one tiling by twelve congruent concave quadrangles such that the symmetry of the tiling has only three perpendicular 2-fold rotation axes, and the tiling seems new.
A Ramsey space of infinite polyhedra and the random polyhedron
In this paper we introduce a new topological Ramsey space whose elements are infinite ordered polyhedra. Then, we show as an application that the set of finite polyhedra satisfies two types of Ramsey property: one, when viewed as a category over $\mathbb N$; the other, when considered as a class of finite structures. The (ordered) random polyhedron is the Fraisse limit of the class of finite ordered polyhedra; we prove that its group of automorphisms is extremely amenable. Finally, we present a countably infinite family of topological Ramsey subspaces; each one determines a class of finite ordered structures which turns out to be a Ramsey class. One of these subspaces is Ellentuck's space; another one is associated to the class of finite ordered graphs whose Fraisse limit is the random graph. The Fraisse limits of these classes are not pairwise isomorphic as countable structures and none of them is isomorphic to the random polyhedron.
Harmonic numbers, Catalan's triangle and mesh patterns
Published
• View Publication
• BIB
The notion of a mesh pattern was introduced recently, but it has already proved to be a useful tool for description purposes related to sets of permutations. In this paper we study eight mesh patterns of small lengths. In particular, we link avoidance of one of the patterns to the harmonic numbers, while for three other patterns we show their distributions on 132-avoiding permutations are given by the Catalan triangle. Also, we show that two specific mesh patterns are Wilf-equivalent. As a byproduct of our studies, we define a new set of sequences counted by the Catalan numbers and provide a relation on the Catalan triangle that seems to be new.
A formula for the number of (n-2)-gap in digital n-objects
Published
• View Publication
• BIB
We provide a formula that expresses the number of (n-2)-gaps of a generic digital n-object. Such a formula has the advantage to involve only a few simple intrinsic parameters of the object and it is obtained by using a combinatorial technic based on incidence structure and on the notion of free cells. This approach seems suitable as a model for an automatic computation, and also allow us to find some expressions for the maximum number of i-cells that bound or are bounded by a fixed j-cell.
Combinatorial and Geometric Properties of Planar Laman Graphs
Published
• View Publication
• BIB
Laman graphs naturally arise in structural mechanics and rigidity theory. Specifically, they characterize minimally rigid planar bar-and-joint systems which are frequently needed in robotics, as well as in molecular chemistry and polymer physics. We introduce three new combinatorial structures for planar Laman graphs: angular structures, angle labelings, and edge labelings. The latter two structures are related to Schnyder realizers for maximally planar graphs. We prove that planar Laman graphs are exactly the class of graphs that have an angular structure that is a tree, called angular tree, and that every angular tree has a corresponding angle labeling and edge labeling.
Using a combination of these powerful combinatorial structures, we show that every planar Laman graph has an L-contact representation, that is, planar Laman graphs are contact graphs of axis-aligned L-shapes. Moreover, we show that planar Laman graphs and their subgraphs are the only graphs that can be represented this way.
We present efficient algorithms that compute, for every planar Laman graph G, an angular tree, angle labeling, edge labeling, and finally an L-contact representation of G. The overall running time is O(n^2), where n is the number of vertices of G, and the L-contact representation is realized on the n x n grid.