Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Atomic bases in cluster algebras of types A and $\widetilde A$
Published
• View Publication
• BIB
We give explicit atomic bases of arbitrary coefficient-free cluster algebras of types $A$ and $\widetilde A$.
Newton polygons and curve gonalities
Published
• View Publication
• BIB
We give a combinatorial upper bound for the gonality of a curve that is defined by a bivariate Laurent polynomial with given Newton polygon. We conjecture that this bound is generically attained, and provide proofs in a considerable number of special cases. One proof technique uses recent work of M. Baker on linear systems on graphs, by means of which we reduce our conjecture to a purely combinatorial statement.
The Real-Rootedness and Log-concavities of Coordinator Polynomials of Weyl Group Lattices
Published in European. J. Combin. 34 (2013) 490-494
• View Publication
• BIB
It is well-known that the coordinator polynomials of the classical root lattice of type $A_n$ and those of type $C_n$ are real-rooted. They can be obtained, either by the Aissen-Schoenberg-Whitney theorem, or from their recurrence relations. In this paper, we develop a trigonometric substitution approach which can be used to establish the real-rootedness of coordinator polynomials of type $D_n$. We also find the coordinator polynomials of type $B_n$ are not real-rooted in general. As a conclusion, we obtain that all coordinator polynomials of Weyl group lattices are log-concave.
Cellular Stratified Spaces I: Face Categories and Classifying Spaces
The notion of cellular stratified spaces was introduced in a joint work of the author with Basabe, González, and Rudyak [1009.1851] with the aim of constructing a cellular model of the configuration space of a sphere. In particular, it was shown that the classifying space (order complex) of the face poset of a totally normal regular cellular stratified space $X$ can be embedded in $X$ as a strong deformation retract.
Here we elaborate on this idea and develop the theory of cellular stratified spaces. We introduce the notion of cylindrically normal cellular stratified spaces and associate a topological category $C(X)$, called the face category, to such a stratified space $X$. We show that the classifying space $BC(X)$ of $C(X)$ can be naturally embedded into $X$. When $X$ is a cell complex, the embedding is a homeomorphism and we obtain an extension of the barycentric subdivision of regular cell complexes. Furthermore, when the cellular stratification on $X$ is locally polyhedral, we show that $BC(X)$ is a deformation retract of $X$.
We discuss possible applications at the end of the paper. In particular, the results in this paper can be regarded as a common framework for the Salvetti complex for the complement of a complexified hyperplane arrangement and a version of Morse theory due to Cohen, Jones, and Segal.
Convex Geometry and Stoichiometry
We demonstrate the benefits of a convex geometric perspective for questions on chemical stoichiometry. We show that the balancing of chemical equations, the use of "mixtures" to explain multiple stoichiometry, and the half-reaction for balancing redox actions all yield nice convex geometric interpretations. We also relate some natural questions on reaction mechanisms with the enumeration of lattice points in polytopes. Lastly, it is known that a given reaction mechanism imposes linear constraints on observed stoichiometries. We consider the inverse question of deducing reaction mechanism consistent with a given set of linear stoichiometric restrictions.
Posets, parking functions and the regions of the Shi arrangement revisited
The number of regions of the type A_{n-1} Shi arrangement in R^n is counted by the intrinsically beautiful formula (n+1)^{n-1}. First proved by Shi, this result motivated Pak and Stanley as well as Athanasiadis and Linusson to provide bijective proofs. We give a description of the Athanasiadis-Linusson bijection and generalize it to a bijection between the regions of the type C_n Shi arrangement in R^n and sequences a_1a_2...a_n, where a_i \in \{-n, -n+1,..., -1, 0, 1,..., n-1, n\}, i \in [n]. Our bijections naturally restrict to bijections between regions of the arrangements with a certain number of ceilings (or floors) and sequences with a given number of distinct elements. A special family of posets, whose antichains encode the regions of the arrangements, play a central role in our approach.
Identifying codes of lexicographic product of graphs
Published in the electronic journal of combinatorics 19(4) (2012), #P56
• View Publication
• BIB
Gravier et al. investigated the identifying codes of Cartesian product of two graphs. In this paper we consider the identifying codes of lexicographic product G[H] of a connected graph G and an arbitrary graph H, and obtain the minimum cardinality of identifying codes of G[H] in terms of some parameters of G and H.
When can dictionary learning uniquely recover sparse data from subsamples?
Published
• View Publication
• BIB
Sparse coding or sparse dictionary learning has been widely used to recover underlying structure in many kinds of natural data. Here, we provide conditions guaranteeing when this recovery is universal; that is, when sparse codes and dictionaries are unique (up to natural symmetries). Our main tool is a useful lemma in combinatorial matrix theory that allows us to derive bounds on the sample sizes guaranteeing such uniqueness under various assumptions for how training data are generated. Whenever the conditions to one of our theorems are met, any sparsity-constrained learning algorithm that succeeds in reconstructing the data recovers the original sparse codes and dictionary. We also discuss potential applications to neuroscience and data analysis.
On the connectivity of visibility graphs
Published in Discrete & Computational Geometry, 48 (2012), no. 3, 669-681
• View Publication
• BIB
The visibility graph of a finite set of points in the plane has the points as vertices and an edge between two vertices if the line segment between them contains no other points. This paper establishes bounds on the edge- and vertex-connectivity of visibility graphs.
Unless all its vertices are collinear, a visibility graph has diameter at most 2, and so it follows by a result of Plesník (1975) that its edge-connectivity equals its minimum degree. We strengthen the result of Plesník by showing that for any two vertices v and w in a graph of diameter 2, if deg(v) <= deg(w) then there exist deg(v) edge-disjoint vw-paths of length at most 4. Furthermore, we find that in visibility graphs every minimum edge cut is the set of edges incident to a vertex of minimum degree.
For vertex-connectivity, we prove that every visibility graph with n vertices and at most l collinear vertices has connectivity at least (n-1)/(l-1), which is tight. We also prove the qualitatively stronger result that the vertex-connectivity is at least half the minimum degree. Finally, in the case that l=4 we improve this bound to two thirds of the minimum degree.
Minimal resolving sets for the hypercube
Published in Graph Theory Notes of New York, vol. LXVII, pp. 50-53, November 2014
• Search Publication
For a given undirected graph $G$, an \emph{ordered} subset $S = {s_1,s_2,...,s_k} \subseteq V$ of vertices is a resolving set for the graph if the vertices of the graph are distinguishable by their vector of distances to the vertices in $S$. While a superset of any resolving set is always a resolving set, a proper subset of a resolving set is not necessarily a resolving set, and we are interested in determining resolving sets that are minimal or that are minimum (of minimal cardinality). Let $Q^n$ denote the $n$-dimensional hypercube with vertex set ${0,1}^n$. In Erdös and Renyi (Erdos & Renyi, 1963) it was shown that a particular set of $n$ vertices forms a resolving set for the hypercube. The main purpose of this note is to prove that a proper subset of that set of size $n-1$ is also a resolving set for the hypercube for all $n \ge 5$ and that this proper subset is a minimal resolving set.
Pattern avoidance by even permutations
Published
• View Publication
• BIB
We study questions of even-Wilf-equivalence, the analogue of Wilf-equivalence when attention is restricted to pattern avoidance by permutations in the alternating group. Although some Wilf-equivalence results break when considering even-Wilf-equivalence analogues, we prove that other Wilf-equivalence results continue to hold in the even-Wilf-equivalence setting. In particular, we prove that t(t-1)...321 and (t-1)(t-2)...21t are even-shape-Wilf-equivalent for odd t, paralleling a result (which held for all t) of Backelin, West, and Xin for shape-Wilf-equivalence. This allows us to classify the patterns of length 4, and to partially classify patterns of length 5 and 6. As with transition to involution-Wilf-equivalence, some (but not all) of the classical Wilf-equivalence results are preserved when we make the transition to even-Wilf-equivalence.
Efficient Two-Stage Group Testing Algorithms for DNA Screening
Group testing algorithms are very useful tools for DNA library screening. Building on recent work by Levenshtein (2003) and Tonchev (2008), we construct in this paper new infinite classes of combinatorial structures, the existence of which are essential for attaining the minimum number of individual tests at the second stage of a two-stage disjunctive testing algorithm.
Beyond sum-free sets in the natural numbers
Published
• View Publication
• BIB
For an interval [1,N] in the natural numbers, investigating subsets S of [1,N] such that |{(x,y) in S^2:x+y in S}|=0, known as sum-free sets, has attracted considerable attention. In this paper, we define r(S):=|{(x,y) in S^2: x+y in S}| and consider its behaviour as S ranges over the subsets of [1,N]. We obtain a comprehensive description of the spectrum of attainable r-values for the s-sets of [1,N], constructive existence results and structural characterizations for sets attaining extremal and near-extremal values.
On the Locating Chromatic Number of the Cartesian Product of Graphs
Let $c$ be a proper $k$-coloring of a connected graph $G$ and $Π=(C_1,C_2,...,C_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Π$ is defined to be the ordered $k$-tuple $c_{{}_Π}(v):=(d(v,C_1),d(v,C_2),...,d(v,C_k)),$ where $d(v,C_i)=\min\{d(v,x) | x\in C_i\}, 1\leq i\leq k$. If distinct vertices have distinct color codes, then $c$ is called a locating coloring. The minimum number of colors needed in a locating coloring of $G$ is the locating chromatic number of $G$, denoted by $\Cchi_{{}_L}(G)$. In this paper, we study the locating chromatic number of grids, the cartesian product of paths and complete graphs, and the cartesian product of two complete graphs.
Conditional and Unique Coloring of Graphs
For integers $k, r > 0$, a conditional $(k,r)$-coloring of a graph $G$ is a proper $k$-coloring of the vertices of $G$ such that every vertex $v$ of degree $d(v)$ in $G$ is adjacent to at least $\min\{r, d(v)\}$ differently colored vertices. Given $r$, the smallest integer $k$ for which $G$ has a conditional $(k,r)$-coloring is called the $r$th order conditional chromatic number $χ_r(G)$ of $G$. We give results (exact values or bounds for $χ_r(G)$, depending on $r$) related to the conditional coloring of some graphs. We introduce \emph{unique conditional colorability} and give some related results. (Keywords. cartesian product of graphs; conditional chromatic number; gear graph; join of graphs.)
New Computational Result on Harmonious Trees
Graham and Sloane proposed in 1980 a conjecture stating that every tree has a harmonious labelling, a graph labelling closely related to additive base. Very limited results on this conjecture are known. In this paper, we proposed a computational approach to this conjecture by checking trees with limited size. With a hybrid algorithm, we are able to show that every tree with at most 31 nodes is harmonious, extending the best previous result in this direction.
Odd cutsets and the hard-core model on Z^d
Published in Annales de l'Institut Henri Poincaré, Probabilités et Statistiques, vol. 50, no. 3, pp. 975-998. Institut Henri Poincaré, 2014
• View Publication
• BIB
We consider the hard-core lattice gas model on Z^d and investigate its phase structure in high dimensions. We prove that when the intensity parameter exceeds Cd^{-1/3}(log d)^2, the model exhibits multiple hard-core measures, thus improving the previous bound of Cd^{-1/4}(log d)^{3/4} given by Galvin and Kahn. At the heart of our approach lies the study of a certain class of edge cutsets in Z^d, the so-called odd cutsets, that appear naturally as the boundary between different phases in the hard-core model. We provide a refined combinatorial analysis of the structure of these cutsets yielding a quantitative form of concentration for their possible shapes as the dimension d tends to infinity. This analysis relies upon and improves previous results obtained by the first author.
Amenability and Ramsey Theory
Published
• View Publication
• BIB
The purpose of this article is to connect the notion of the amenability of a discrete group with a new form of structural Ramsey theory. The Ramsey theoretic reformulation of amenability constitutes a considerable weakening of the Folner criterion. As a by-product, it will be shown that in any non amenable group G, there is a subset E of G such that no finitely additive probability measure on G measures all translates of E equally.
Labeled trees, maps, and an algebraic identity
Published in Electronic Journal of Combinatorics 18(1) (2011), p. 188
• View Publication
• BIB
We give a short and direct proof of a remarkable identity that arises in the enumeration of labeled trees with respect to their indegree sequence, where all edges are oriented from the vertex with lower label towards the vertex with higher label. This solves a problem posed by Shin and Zeng in a recent article. We also provide a generalization of this identity that translates to a formula for the number of rooted spanning forests with given indegree sequence.
On stretching the interval simplex-permutohedron
A family of polytopes introduced by E.M. Feichtner, A. Postnikov and B. Sturmfels, which were named nestohedra, consists in each dimension of an interval of polytopes starting with a simplex and ending with a permutohedron. This paper investigates a problem of changing and extending the boundaries of these intervals. An iterative application of Feichtner-Kozlov procedure of forming complexes of nested sets is a solution of this problem. By using a simple algebraic presentation of members of nested sets it is possible to avoid the problem of increasing the complexity of the structure of nested curly braces in elements of the produced simplicial complexes.