Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A Canonical Partition of the Primes of Logic Functions
This paper presents algorithms that relate to the problem of finding a minimum-cost sum-of-primes representation of a Boolean function f when the cost function C is positive and additive. A set of primes whose sum equals f is called a basis for f, so a solution to the problem is a minimum-cost basis.
The algorithms construct the following canonical partition of the complete set of primes and identify the members of sets 1, 2, and 3:
(1) Essential Primes, which must be part of any basis for f,
(2) Unnecessary Primes that cannot be part of a minimum-cost basis for f for any positive additive cost function,
(3) Unique disjoint sets of primes, PS1,...,PSN with associated "covering" tables TS1,..., TSN such that any minimum-cost basis consists of the union of the sets
Essential Primes, QS1(C), ..., QSN(C) where QSi(C) is contained in PSi and QSi(C) is a minimum-cost "cover" for PSi. Covering is defined by operation Cascade(QS, TS), which has the property that QS covers PS if and only if Cascade(QS, TS) is empty.
The key to the results is the study of objects called Ancestor Sets. The Ancestor Theorem proves that if A is an Ancestor Set for f, every minimum-cost basis includes a minimum-cost cover for the set of primes PS in Ancestor Set A and a minimum-cost cover for the set of primes that are not in A (and are not covered by the the union of the Essentials with PS). The PSi in the partition are the sets of primes in canonical disjoint Independent Ancestor Sets Ai, which are easy to generate when the calculation of the primes (and their consensus combinations) is within computational scope. The paper also presents a condition under which QSi(C) can be easily determined, and another condition such that PSi can be broken into disjoint pieces that can be minimized separately.
The Ramsey Number $R(3,K_{10}-e)$ and Computational Bounds for $R(3,G)$
Published in Electronic Journal of Combinatorics, 20(4) (2013) #P19
• View Publication
• BIB
Using computer algorithms we establish that the Ramsey number $R(3,K_{10}-e)$ is equal to 37, which solves the smallest open case for Ramsey numbers of this type. We also obtain new upper bounds for the cases of $R(3,K_k-e)$ for $11 \le k \le 16$, and show by construction a new lower bound $55 \le R(3,K_{13}-e)$.
The new upper bounds on $R(3,K_k-e)$ are obtained by using the values and lower bounds on $e(3,K_l-e,n)$ for $l \le k$, where $e(3,K_k-e,n)$ is the minimum number of edges in any triangle-free graph on $n$ vertices without $K_k-e$ in the complement. We complete the computation of the exact values of $e(3,K_k-e,n)$ for all $n$ with $k \leq 10$ and for $n \leq 34$ with $k = 11$, and establish many new lower bounds on $e(3,K_k-e,n)$ for higher values of $k$.
Using the maximum triangle-free graph generation method, we determine two other previously unknown Ramsey numbers, namely $R(3,K_{10}-K_3-e)=31$ and $R(3,K_{10}-P_3-e)=31$. For graphs $G$ on 10 vertices, %besides $G=K_{10}$, this leaves 6 other open besides $G=K_{10}$, this leaves 6 open cases of the form $R(3,G)$. The hardest among them appears to be $G=K_{10}-2K_2$, for which we establish the bounds $31 \le R(3,K_{10}-2K_2) \le 33$.
Infinitesimal Rigidity of Symmetric Frameworks
Published
• View Publication
• BIB
We propose new symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of arbitrary-dimensional bar-joint frameworks with Abelian point group symmetries. These matrices define new symmetry-adapted rigidity matroids on group-labeled quotient graphs. Using these new tools, we establish combinatorial characterizations of infinitesimally rigid two-dimensional bar-joint frameworks whose joints are positioned as generic as possible subject to the symmetry constraints imposed by a reflection, a half-turn or a three-fold rotation in the plane. For bar-joint frameworks which are generic with respect to any other cyclic point group in the plane, we provide a number of necessary conditions for infinitesimal rigidity.
Detecting wheels
Published in Applicable Analysis and Discrete Mathematics, 8:111-122, 2014
• View Publication
• BIB
A \emph{wheel} is a graph made of a cycle of length at least~4 together with a vertex that has at least three neighbors in the cycle. We prove that the problem whose instance is a graph $G$ and whose question is "does $G$ contains a wheel as an induced subgraph" is NP-complete. We also settle the complexity of several similar problems.
Root-theoretic Young diagrams and Schubert calculus: planarity and the adjoint varieties
Published in J. Algebra, Volume 448, 15 February 2016, p. 238-293
• View Publication
• BIB
We study root-theoretic Young diagrams to investigate the existence of a Lie-type uniform and nonnegative combinatorial rule for Schubert calculus. We provide formulas for (co)adjoint varieties of classical Lie type. This is a simplest case after the (co)minuscule family (where a rule has been proved by H.Thomas and the second author using work of R.Proctor). Our results build on earlier Pieri-type rules of P.Pragacz-J.Ratajski and of A.Buch-A.Kresch-H.Tamvakis. Specifically, our formula for OG(2,2n) is the first complete rule for a case where diagrams are non-planar. Yet the formulas possess both uniform and non-uniform features. Using these classical type rules, as well as results of P.-E.Chaput-N.Perrin in the exceptional types, we suggest a connection between polytopality of the set of nonzero Schubert structure constants and planarity of the diagrams. This is an addition to work of A.Klyachko and A.Knutson-T.Tao on the Grassmannian and of K.Purbhoo-F.Sottile on cominuscule varieties, where the diagrams are always planar.
Number of permutations with same peak set for signed permutations
Published
• View Publication
• BIB
A signed permutation π= π_1π_2 \ldots π_n in the hyperoctahedral group B_n is a word such that each π_i \in {-n, \ldots, -1, 1, \ldots, n} and {|π_1|, |π_2|, \ldots, |π_n|} = {1,2,\ldots,n}. An index i is a peak of πif π_{i-1}<π_i>π_{i+1} and P_B(π) denotes the set of all peaks of π. Given any set S, we define P_B(S,n) to be the set of signed permutations π\in B_n with P_B(π) = S. In this paper we are interested in the cardinality of the set P_B(S,n). In 2012, Billey, Burdzy and Sagan investigated the analogous problem for permutations in the symmetric group, S_n. In this paper we extend their results to the hyperoctahedral group; in particular we show that #P_B(S,n) = p(n)2^{2n-|S|-1} where p(n) is the same polynomial found in by Billey, Burdzy and Sagan which leads to the explicit computation of interesting special cases of the polynomial p(n). In addition we have extended these results to the case where we add π_0=0 at the beginning of the permutations, which gives rise to the possibility of a peak at position 1, for both the symmetric and the hyperoctahedral groups.
On the structure of self-complementary graphs
A \emph{self-complementary} graph is a graph isomorphic to its complement. An isomorphism between $G$ and its complement, viewed as a permutation of $V(G)$, is then called an \emph{antimorphism}. A \emph{skew partition} of $G$ is a partition of $V(G)$ into 4 sets $A,B,C,D$ such that there is no edge between $A,B$ and every possible edge between $C,D$. A \emph{symmetric partition} of $G$ is a partition of $V(G)$ into 4 sets $A,B,C,D$ such that there is no edge between $A, D$, no edge between $B, C$, every possible edge between $A,B$ and every possible edge between $C,D$.
We give a new proof of a theorem of Gibbs saying that every self-complementary graph on $4k$ vertices has $k$ disjoint paths on 4 vertices as induced subgraph. This new proof gives more structural information than the original one. We conjecture that every self-complementary graph on $4k$ vertices either has an induced cycle on 5 vertices, or a skew partition, or a symmetric partition. The new proof of Gibb's theorem yields a proof of the conjecture for the self-complementary graphs that have an antimorphism that is the product of a two circular permutations, one of them of length 4.
A generalized closure concept based on neighborhood-equivalence and preserving graph Hamiltonicity
A graph is Hamiltonian if it contains a cycle which goes through all vertices exactly once. Determining if a graph is Hamiltonian is known as a NP-complete problem and no satisfactory characterization for these graphs has been found.
In 1976 Bondy and Chvatal introduced a way to get round the Hamiltonicity problem complexity by using a closure of the graph. This closure is a supergraph of G which preserves Hamiltonicity, that is, which is Hamiltonian if and only if G is. Since this seminal work, several closure concepts preserving Hamiltonicity were introduced. In particular Ryjacek defined in 1997 a closure concept for claw-free graphs based on local completion. The completion is performed for every eligible vertex of the graph.
Extending these works, Vallee and Bretto recently introduced a new closure concept preserving Hamiltonicity and based on local completion. The local completion is performed for each neighborhood-equivalence eligible vertex of the graph.
In this article, we generalize the main results of Vallee and Bretto by introducing a broader notion of neighborhood equivalence eligibility, allowing the definition of a denser graph closure which still preserves Hamiltonicity.
Bidimensionality of Geometric Intersection Graphs
Published
• View Publication
• BIB
Let B be a finite collection of geometric (not necessarily convex) bodies in the plane. Clearly, this class of geometric objects naturally generalizes the class of disks, lines, ellipsoids, and even convex polygons. We consider geometric intersection graphs GB where each body of the collection B is represented by a vertex, and two vertices of GB are adjacent if the intersection of the corresponding bodies is non-empty. For such graph classes and under natural restrictions on their maximum degree or subgraph exclusion, we prove that the relation between their treewidth and the maximum size of a grid minor is linear. These combinatorial results vastly extend the applicability of all the meta-algorithmic results of the bidimensionality theory to geometrically defined graph classes.
Voronoi's Conjecture for extensions of Voronoi parallelohedra
Published
• View Publication
• BIB
Let $I$ be a segment in the $d$-dimensional Euclidean space $\mathbb E^d$. Let $P$ and $P+I$ be parallelohedra in $\mathbb E^d$, where "+" denotes the Minkowski sum. We prove that Voronoi's Conjecture holds for $P+I$, i.e. $P+I$ is a Voronoi parallelohedron for some Euclidean metric in $\mathbb E^d$, if Voronoi's Conjecture holds for $P$.
Equidistant Codes in the Grassmannian
Published
• View Publication
• BIB
Equidistant codes over vector spaces are considered. For $k$-dimensional subspaces over a large vector space the largest code is always a sunflower. We present several simple constructions for such codes which might produce the largest non-sunflower codes. A novel construction, based on the Plücker embedding, for 1-intersecting codes of $k$-dimensional subspaces over $\F_q^n$, $n \geq \binom{k+1}{2}$, where the code size is $\frac{q^{k+1}-1}{q-1}$ is presented. Finally, we present a related construction which generates equidistant constant rank codes with matrices of size $n \times \binom{n}{2}$ over $\F_q$, rank $n-1$, and rank distance $n-1$.
The threshold for integer homology in random d-complexes
Published
• View Publication
• BIB
Let Y ~ Y_d(n,p) denote the Bernoulli random d-dimensional simplicial complex. We answer a question of Linial and Meshulam from 2003, showing that the threshold for vanishing of homology H_{d-1}(Y; Z) is less than 80d log n / n. This bound is tight, up to a constant factor.
Large deviations of empirical neighborhood distribution in sparse random graphs
Published in Probability Theory and Related Fields 163, no. 1-2, 149-222, 2015
• View Publication
• BIB
Consider the Erdős-Renyi random graph on n vertices where each edge is present independently with probability c/n, with c>0 fixed. For large n, a typical random graph locally behaves like a Galton-Watson tree with Poisson offspring distribution with mean c. Here, we study large deviations from this typical behavior within the framework of the local weak convergence of finite graph sequences. The associated rate function is expressed in terms of an entropy functional on unimodular measures and takes finite values only at measures supported on trees. We also establish large deviations for other commonly studied random graph ensembles such as the uniform random graph with given number of edges growing linearly with the number of vertices, or the uniform random graph with given degree sequence. To prove our results, we introduce a new configuration model which allows one to sample uniform random graphs with a given neighborhood distribution, provided the latter is supported on trees. We also introduce a new class of unimodular random trees, which generalizes the usual Galton Watson tree with given degree distribution to the case of neighborhoods of arbitrary finite depth. These generalized Galton Watson trees turn out to be useful in the analysis of unimodular random trees and may be considered to be of interest in their own right.
Introduction to Khovanov Homologies. III. A new and simple tensor-algebra construction of Khovanov-Rozansky invariants
Published in Nuclear Physics B878 (2014) 12-81
• View Publication
• BIB
We continue to develop the tensor-algebra approach to knot polynomials with the goal to present the story in elementary and comprehensible form. The previously reviewed description of Khovanov cohomologies for the gauge group of rank N-1=1 was based on the cut-and-join calculus of the planar cycles, which are involved rather artificially. We substitute them by alternative and natural set of cycles, not obligatory planar. Then the whole construction is straightforwardly lifted from SL(2) to SL(N) and reproduces Khovanov-Rozansky (KR) polynomials, simultaneously for all values of N. No matrix factorization and related tedious calculations are needed in such approach, which can therefore become not only conceptually, but also practically useful.
On the construction of non-2-colorable uniform hypergraphs
Published
• View Publication
• BIB
The problem of 2-coloring uniform hypergraphs has been extensively studied over the last few decades. An n-uniform hypergraph is not 2-colorable if its vertices can't be colored with two colors, Red and Blue, such that every hyperedge contains Red as well as Blue vertices. The least possible number of hyperedges in an n-uniform hypergraph which is not 2-colorable is denoted by m(n). In this paper, we consider the problem of finding an upper bound on m(n) for small values of n. We provide constructions which improve the existing results for some such values of n. We obtain the first improvement in the case of n=8.
Neighborly inscribed polytopes and Delaunay triangulations
Published
• View Publication
• BIB
We construct a large family of neighborly polytopes that can be realized with all the vertices on the boundary of any smooth strictly convex body. In particular, we show that there are superexponentially many combinatorially distinct neighborly polytopes that admit realizations inscribed on the sphere. These are the first examples of inscribable neighborly polytopes that are not cyclic polytopes, and provide the current best lower bound for the number of combinatorial types of inscribable polytopes (which coincides with the current best lower bound for the number of combinatorial types of polytopes). Via stereographic projections, this translates into a superexponential lower bound for the number of combinatorial types of (neighborly) Delaunay triangulations.
Ramsey-type results on singletons, co-singletons and monotone sequences in large collections of sets
Published in Sylvain Gravier, Frédéric Maffray, Jérôme Renault, Nicolas Trotignon: Ramsey-type results on singletons, co-singletons and monotone sequences in large collections of sets. Eur. J. Comb. 25(5): 719-734 (2004)
• View Publication
• BIB
We say that a 0-1 matrix $N$ of size $a\times b$ can be found in a collection of sets $\mathcal{H}$ if we can find sets $H_{1}, H_{2}, \dots, H_{a}$ in $\mathcal{H}$ and elements $e_1, e_2, \dots, e_b$ in $\cup_{H \in \mathcal{H}} H$ such that $N$ is the incidence matrix of the sets $H_{1}, H_{2}, \dots, H_{a}$ over the elements $e_1, e_2, \dots, e_b$. We prove the following Ramsey-type result: for every $n\in \N$, there exists a number S(n) such that in any collection of at least S(n) sets, one can find either the incidence matrix of a collection of $n$ singletons, or its complementary matrix, or the incidence matrix of a collection of $n$ sets completely ordered by inclusion. We give several results of the same extremal set theoretical flavour. For some of these, we give the exact value of the number of sets required.
Random triangular groups at density 1/3
Published in Compositio Math. 151 (2015) 167-178
• View Publication
• BIB
Let Γ(n,p) denote the binomial model of a random triangular group. We show that there exist constants c, C > 0 such that if p <= c/n^2, then a.a.s. Γ(n,p) is free and if p >= C log n/n^2 then a.a.s. Γ(n,p) has Kazhdan's property (T). Furthermore, we show that there exist constants C',c' > 0 such that if C'/n^2 <= p <= c' log n/n^2, then a.a.s. Γ(n,p) is neither free nor has Kazhdan's property (T).
Graphs with Equal Chromatic Symmetric Functions
Published
• View Publication
• BIB
Stanley [9] introduced the chromatic symmetric function ${\bf X}_G$ associated to a simple graph $G$ as a generalization of the chromatic polynomial of $G$. In this paper we present a novel technique to write ${\bf X}_G$ as a linear combination of chromatic symmetric functions of smaller graphs. We use this technique to give a sufficient condition for two graphs to have the same chromatic symmetric function. We then construct an infinite family of pairs of unicyclic graphs with the same chromatic symmetric function, answering the question posed by Martin, Morin, and Wagner [7] of whether such a pair exists. Finally, we approach the problem of whether it is possible to determine a tree from its chromatic symmetric function. Working towards an answer to this question, we give a classification theorem for single-centroid trees in terms of data closely related to its chromatic symmetric function.
Edgeless graphs are the only universal fixers
Published
• View Publication
• BIB
Given two disjoint copies of a graph $G$, denoted $G^1$ and $G^2$, and a permutation $π$ of $V(G)$, the graph $πG$ is constructed by joining $u \in V(G^1)$ to $π(u) \in V(G^2)$ for all $u \in V(G^1)$. $G$ is said to be a universal fixer if the domination number of $πG$ is equal to the domination number of $G$ for all $π$ of $V(G)$. In 1999 it was conjectured that the only universal fixers are the edgeless graphs. Since then, a few partial results have been shown. In this paper, we prove the conjecture completely.