Showing 20 papers (Total: 83342 papers, 48132 authors in database)
A classification of all 1-Salem graphs
Published
• View Publication
• BIB
One way to study certain classes of polynomials is by considering examples that are attached to combinatorial objects. Any graph $G$ has an associated reciprocal polynomial $R_G$, and with two particular classes of reciprocal polynomials in mind one can ask the questions: (a) when is $R_G$ a product of cyclotomic polynomials (giving the cyclotomic graphs)? (b) when does $R_G$ have the minimal polynomial of a Salem number as its only non-cyclotomic factor (the non-trival Salem graphs)? Cyclotomic graphs were classified by Smith in 1970. Salem graphs are `spectrally close' to being cyclotomic, in that nearly all their eigenvalues are in the critical interval [-2,2]. On the other hand Salem graphs do not need to be `combinatorially close' to being cyclotomic: the largest cyclotomic induced subgraph might be comparatively tiny.
We define an $m$-Salem graph to be a connected Salem graph $G$ for which $m$ is minimal such that there exists an induced cyclotomic subgraph of $G$ that has $m$ fewer vertices than $G$. The 1-Salem subgraphs are both spectrally close and combinatorially close to being cyclotomic. Moreover, every Salem graph contains a 1-Salem graph as an induced subgraph, so these 1-Salem graphs provide some necessary substructure of all Salem graphs. The main result of this paper is a complete combinatorial description of all 1-Salem graphs: there are 26 infinite families and 383 sporadic examples.
Domination Value in Graphs
Published in Contrib. Discrete Math. Vol. 7, No. 2 (2012) pp. 30-43
• View Publication
• BIB
A set $D \subseteq V(G)$ is a \emph{dominating set} of $G$ if every vertex not in $D$ is adjacent to at least one vertex in $D$. A dominating set of $G$ of minimum cardinality is called a $γ(G)$-set. For each vertex $v \in V(G)$, we define the \emph{domination value} of $v$ to be the number of $γ(G)$-sets to which $v$ belongs. In this paper, we study some basic properties of the domination value function, thus initiating \emph{a local study of domination} in graphs. Further, we characterize domination value for the Petersen graph, complete $n$-partite graphs, cycles, and paths.
Multidimensional extension of the Morse--Hedlund theorem
Published
• View Publication
• BIB
A celebrated result of Morse and Hedlund, stated in 1938, asserts that a sequence $x$ over a finite alphabet is ultimately periodic if and only if, for some $n$, the number of different factors of length $n$ appearing in $x$ is less than $n+1$. Attempts to extend this fundamental result, for example, to higher dimensions, have been considered during the last fifteen years. Let $d\ge 2$. A legitimate extension to a multidimensional setting of the notion of periodicity is to consider sets of $\ZZ^d$ definable by a first order formula in the Presburger arithmetic $<\ZZ;<,+>$. With this latter notion and using a powerful criterion due to Muchnik, we exhibit a complete extension of the Morse--Hedlund theorem to an arbitrary dimension $d$ and characterize sets of $\ZZ^d$ definable in $<\ZZ;<,+>$ in terms of some functions counting recurrent blocks, that is, blocks occurring infinitely often.
The stable set of associated prime ideals of a polymatroidal ideal
Published
• View Publication
• BIB
The associated prime ideals of powers of polymatroidal ideals are studied, including the stable set of associated prime ideals of this class of ideals. It is shown that polymatroidal ideals have the persistence property and for transversal polymatroids and polymatroidal ideals of Veronese type the index of stability and the stable set of associated ideals is determined explicitly.
Revisiting the spreading and covering numbers
We revisit the problem of computing the spreading and covering numbers. We show a connection between some of the spreading numbers and the number of non-negative integer 2x2 matrices whose entries sum to d, and we construct an algorithm to compute improved upper bounds for the covering numbers.
Domination Value in $P_2 \square P_n$ and $P_2 \square C_n$
Published in J. Combin. Math. Combin. Comput. Vol. 82 (2012) pp. 59-75
• Search Publication
A set $D \subseteq V(G)$ is a \emph{dominating set} of a graph $G$ if every vertex of $G$ not in $D$ is adjacent to at least one vertex in $D$. A \emph{minimum dominating set} of $G$, also called a $γ(G)$-set, is a dominating set of $G$ of minimum cardinality. For each vertex $v \in V(G)$, we define the \emph{domination value} of $v$ to be the number of $γ(G)$-sets to which $v$ belongs. In this paper, we find the total number of minimum dominating sets and characterize the domination values for $P_2 \square P_n$ and $P_2 \square C_n$.
Addendum to Olivier Schiffmann, "Drinfeld realization of the elliptic Hall algebra"
Published
• View Publication
• BIB
In \cite{S} O. Schiffmann gave a presentation of the Drinfel'd double of the elliptic Hall algebra which is similar in spirit to Drinfel'd's new realization of quantum affine algebras. Using this result together with a part of his proof we can provide such a description for the elliptic Hall algebra.
Split hypergraphs
Published in SIAM J. Discrete Math. (2008) 22, pp. 1155-1163
• Search Publication
Generalizing the notion of split graphs to uniform hypergraphs, we prove that the class of these hypergraphs can be characterized by a finite list of excluded induced subhypergraphs. We show that a characterization by generalized degree sequences is impossible, unlike in the well-known case of split graphs. We also give an algorithm to decide whether a given uniform hypergraph is a split hypergraph. If it is, the algorithm gives a splitting of it; the running time is $O(N\log N)$. These answer questions of Sloan, Gy. Turán and Peled.
Vapnik-Chervonenkis density in some theories without the independence property, II
Published in Notre Dame J. Formal Logic 54, nos. 3-4 (2013), 311-363
• View Publication
• BIB
We study the Vapnik-Chervonenkis (VC) density of definable families in certain stable first-order theories. In particular we obtain uniform bounds on VC density of definable families in finite U-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.
Vapnik-Chervonenkis density in some theories without the independence property, I
Published
• View Publication
• BIB
We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly quasi-o-minimal, and $P$-minimal theories.
Superboolean rank and the size of the largest triangular submatrix of a random matrix
Published
• View Publication
• BIB
We explore the size of the largest (permuted) triangular submatrix of a random matrix, and more precisely its asymptotical behavior as the size of the ambient matrix tends to infinity. The importance of such permuted triangular submatrices arises when dealing with certain combinatorial algebraic settings in which these submatrices determine the rank of the ambient matrix, and thus attract a special attention.
Note on the complexity of deciding the rainbow connectedness for bipartite graphs
Published
• View Publication
• BIB
A path in an edge-colored graph is said to be a rainbow path if no two edges on the path have the same color. An edge-colored graph is (strongly) rainbow connected if there exists a rainbow (geodesic) path between every pair of vertices. The (strong) rainbow connection number of $G$, denoted by ($scr(G)$, respectively) $rc(G)$, is the smallest number of colors that are needed in order to make $G$ (strongly) rainbow connected. Though for a general graph $G$ it is NP-Complete to decide whether $rc(G)=2$, in this paper, we show that the problem becomes easy when $G$ is a bipartite graph. Moreover, it is known that deciding whether a given edge-colored (with an unbound number of colors) graph is rainbow connected is NP-Complete. We will prove that it is still NP-Complete even when the edge-colored graph is bipartite. We also show that a few NP-hard problems on rainbow connection are indeed NP-Complete.
Many non-equivalent realizations of the associahedron
Published in Combinatorica, 35:5, (October 2015), 513-551
• View Publication
• BIB
Hohlweg and Lange (2007) and Santos (2004, unpublished) have found two different ways of constructing exponential families of realizations of the n-dimensional associahedron with normal vectors in {0,1,-1}^n, generalizing the constructions of Loday (2004) and Chapoton-Fomin-Zelevinsky (2002). We classify the associahedra obtained by these constructions modulo linear equivalence of their normal fans and show, in particular, that the only realization that can be obtained with both methods is the Chapoton-Fomin-Zelevinsky (2002) associahedron.
For the Hohlweg-Lange associahedra our classification is a priori coarser than the classification up to isometry of normal fans, by Bergeron-Hohlweg-Lange-Thomas (2009). However, both yield the same classes. As a consequence, we get that two Hohlweg-Lange associahedra have linearly equivalent normal fans if and only if they are isometric.
The Santos construction, which produces an even larger family of associahedra, appears here in print for the first time. Apart of describing it in detail we relate it with the c-cluster complexes and the denominator fans in cluster algebras of type A.
A third classical construction of the associahedron, as the secondary polytope of a convex n-gon (Gelfand-Kapranov-Zelevinsky, 1990), is shown to never produce a normal fan linearly equivalent to any of the other two constructions.
Counting Plane Graphs: Perfect Matchings, Spanning Cycles, and Kasteleyn's Technique
Published
• View Publication
• BIB
We derive improved upper bounds on the number of crossing-free straight-edge spanning cycles (also known as Hamiltonian tours and simple polygonizations) that can be embedded over any specific set of $N$ points in the plane. More specifically, we bound the ratio between the number of spanning cycles (or perfect matchings) that can be embedded over a point set and the number of triangulations that can be embedded over it. The respective bounds are $O(1.8181^N)$ for cycles and $O(1.1067^N)$ for matchings. These imply a new upper bound of $O(54.543^N)$ on the number of crossing-free straight-edge spanning cycles that can be embedded over any specific set of $N$ points in the plane (improving upon the previous best upper bound $O(68.664^N)$). Our analysis is based on Kasteleyn's linear algebra technique.
Embeddings of Grassmann graphs
Published
• View Publication
• BIB
Let $V$ and $V'$ be vector spaces of dimension $n$ and $n'$, respectively. Let $k\in\{2,...,n-2\}$ and $k'\in\{2,...,n'-2\}$. We describe all isometric and $l$-rigid isometric embeddings of the Grassmann graph $Γ_{k}(V)$ in the Grassmann graph $Γ_{k'}(V')$.
Asymptotic enumeration of Minimal Automata
We determine the asymptotic proportion of minimal automata, within n-state accessible deterministic complete automata over a k-letter alphabet, with the uniform distribution over the possible transition structures, and a binomial distribution over terminal states, with arbitrary parameter b. It turns out that a fraction ~ 1-C(k,b) n^{-k+2} of automata is minimal, with C(k,b) a function, explicitly determined, involving the solution of a transcendental equation.
Antichain cutsets of strongly connected posets
Published in Order 30 (2013), no. 2, 351-361
• View Publication
• BIB
Rival and Zaguia showed that the antichain cutsets of a finite Boolean lattice are exactly the level sets. We show that a similar characterization of antichain cutsets holds for any strongly connected poset of locally finite height. As a corollary, we get such a characterization for semimodular lattices, supersolvable lattices, Bruhat orders, locally shellable lattices, and many more. We also consider a generalization to strongly connected hypergraphs having finite edges.
A tour of the Weak and Strong Lefschetz Properties
Published
• View Publication
• BIB
An artinian graded algebra, $A$, is said to have the Weak Lefschetz property (WLP) if multiplication by a general linear form has maximal rank in every degree. A vast quantity of work has been done studying and applying this property, touching on numerous and diverse areas of algebraic geometry, commutative algebra, and combinatorics. Amazingly, though, much of this work has a "common ancestor" in a theorem originally due to Stanley, although subsequently reproved by others. In this expository paper we describe the different directions in which research has moved starting with this theorem, and we discuss some of the open questions that continue to motivate current research.
Optimal packings of Hamilton cycles in sparse random graphs
Published
• View Publication
• BIB
We prove that there exists a positive constant εsuch that if \log n / n \le p \le n^{-1+ε}, then asymptotically almost surely the random graph G ~ G(n,p) contains a collection of \lfloor δ(G)/2 \rfloor edge-disjoint Hamilton cycles.
On the Erdős-Gyárfás conjecture in claw-free graphs
Published
• View Publication
• BIB
The Erdős-Gyárfás conjecture states that every graph with minimum degree at least three has a cycle whose length is a power of 2. Since this conjecture has proven to be far from reach, Hobbs asked if the Erdős-Gyárfás conjecture holds in claw-free graphs. In this paper, we obtain some results on this question, in particular for cubic claw-free graphs.