Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The maximum sum and maximum product of sizes of cross-intersecting families
Published
• View Publication
• BIB
We say that a set $A$ \emph{$t$-intersects} a set $B$ if $A$ and $B$ have at least $t$ common elements. A family $\mathcal{A}$ of sets is said to be \emph{$t$-intersecting} if each set in $\mathcal{A}$ $t$-intersects any other set in $\mathcal{A}$. Families $\mathcal{A}_1, \mathcal{A}_2, ..., \mathcal{A}_k$ are said to be \emph{cross-$t$-intersecting} if for any $i$ and $j$ in $\{1, 2, ..., k\}$ with $i \neq j$, any set in $\mathcal{A}_i$ $t$-intersects any set in $\mathcal{A}_j$. We prove that for any finite family $\mathcal{F}$ that has at least one set of size at least $t$, there exists an integer $κ\leq |\mathcal{F}|$ such that for any $k \geq κ$, both the sum and the product of sizes of any $k$ cross-$t$-intersecting sub-families $\mathcal{A}_1, ..., \mathcal{A}_k$ (not necessarily distinct or non-empty) of $\mathcal{F}$ are maxima if $\mathcal{A}_1 = ... = \mathcal{A}_k = \mathcal{L}$ for some largest $t$-intersecting sub-family $\mathcal{L}$ of $\mathcal{F}$. We then study the smallest possible value of $κ$ and investigate the case $k < κ$; this includes a cross-intersection result for straight lines that demonstrates that it is possible to have $\mathcal{F}$ and $κ$ such that for any $k < κ$, the configuration $\mathcal{A}_1 = ... = \mathcal{A}_k = \mathcal{L}$ is neither optimal for the sum nor optimal for the product. We also outline solutions for various important families $\mathcal{F}$, and we provide solutions for the case when $\mathcal{F}$ is a power set.
Ends and vertices of small degree in infinite minimally k-(edge)-connected graphs
Published
• View Publication
• BIB
Bounds on the minimum degree and on the number of vertices at- taining it have been much studied for finite edge-/vertex-minimally k- connected/k-edge-connected graphs. We give an overview of the results known for finite graphs, and show that most of these carry over to infinite graphs if we consider ends of small degree as well as vertices.
Contractible polyhedra in products of trees and absolute retracts in products of dendrites
Published in Proc. Amer. Math. Soc., 141 (2013), 2519-2535
• View Publication
• BIB
We show that a compact n-polyhedron PL embeds in a product of n trees if and only if it collapses onto an (n-1)-polyhedron. If the n-polyhedron is contractible and n\ne 3 (or n=3 and the Andrews-Curtis Conjecture holds), the product of trees may be assumed to collapse onto the image of the embedding.
In contrast, there exists a 2-dimensional compact absolute retract X such that X\times I^k does not embed in any product of 2+k dendrites for each k.
Extremal Infinite Graph Theory
Published
• View Publication
• BIB
We survey various aspects of infinite extremal graph theory and prove several new results. The lead role play the parameters connectivity and degree. This includes the end degree. Many open problems are suggested.
On the norm of the $q$-circular operator
The $q$-commutation relations, formulated in the setting of the $q$-Fock space of Bożjeko and Speicher, interpolate between the classical commutation relations (CCR) and the classical anti-commutation relations (CAR) defined on the classical bosonic and fermionic Fock spaces, respectively. Interpreting the $q$-Fock space as an algebra of "random variables" exhibiting a specific commutativity structure, one can construct the so-called $q$-semicircular and $q$-circular operators acting as $q$-deformations of the classical Gaussian and complex Gaussian random variables, respectively. While the $q$-semicircular operator is generally well understood, many basic properties of the $q$-circular operator (in particular, a tractable expression for its norm) remain elusive. Inspired by the combinatorial approach to free probability, we revist the combinatorial formulations of these operators. We point out that a finite alternating-sum expression for $2n$-norm of the $q$-semicircular is available via generating functions of chord-crossing diagrams developed by Touchard in the 1950s and distilled by Riordan in 1974. Extending these norms as a function in $q$ onto the complex unit ball and taking the $n\to\infty$ limit, we recover the familiar expression for the norm of the $q$-semicircular and show that the convergence is uniform on the compact subsets of the unit ball. In contrast, the $2n$-norms of the $q$-circular are encoded by chord-crossing diagrams that are parity-reversing, which have not yet been characterized in the combinatorial literature. We derive certain combinatorial properties of these objects, including closed-form expressions for the number of such diagrams of any size with up to eleven crossings. These properties enable us to conclude that the $2n$-norms of the $q$-circular operator are significantly less well behaved than those of the $q$-semicircular operator.
Geometry and Combinatorics of Crystal Melting
Published in Publ.Res.Inst.Math.Sci.Kyoto B28:193,2011
• Search Publication
We survey geometrical and especially combinatorial aspects of generalized Donaldson-Thomas invariants (also called BPS invariants) for toric Calabi-Yau manifolds, emphasizing the role of plane partitions and their generalizations in the recently proposed crystal melting model. We also comment on equivalence with a vicious walker model and the matrix model representation of the partition function.
Asymptotics of the chromatic number for quasi-line graphs
Published
• View Publication
• BIB
As proved by Kahn, the chromatic number and fractional chromatic number of a line graph agree asymptotically. That is, for any line graph $G$ we have $χ(G) \leq (1+o(1))χ_f(G)$. We extend this result to quasi-line graphs, an important subclass of claw-free graphs. Furthermore we prove that we can construct a colouring that achieves this bound in polynomial time, giving us an asymptotic approximation algorithm for the chromatic number of quasi-line graphs.
Representations of sl(2) in the Boolean lattice, and the Hamming and Johnson schemes
Published in Infinite Dimensional Analysis, Quantum Probability and Related Topics,15(3):1250019, 44, 2012
• View Publication
• BIB
Starting with the zero-square "zeon algebra", the regular representation gives rise to a Boolean lattice representation of sl(2). We detail the su(2) content of the Boolean lattice, providing the irreducible representations carried by the algebra generated by the subsets of an n-set. The group elements are found, exhibiting the "special functions" in this context. The corresponding Leibniz rule and group law are shown. Krawtchouk polynomials, the Hamming and the Johnson schemes appear naturally. Applications to the Boolean poset and the structure of Hadamard-Sylvester matrices are shown as well.
Vertices Belonging to All Critical Independent Sets of a Graph
Published
• View Publication
• BIB
Let G=(V,E) be a graph. A set S is independent if no two vertices from S are adjacent. The independence number alpha(G) is the cardinality of a maximum independent set, and mu(G) is the size of a maximum matching. The number id_{c}(G)=max{|I|-|N(I)|:I is an independent set} is called the critical independence difference of G, and A is critical if |A|-|N(A)|=id_{c}(G). We define core(G) as the intersection of all maximum independent sets, and ker(G)as the intersection of all critical independent sets. In this paper we prove that if a graph G is non-quasi-regularizable (i.e., there exists some independent set A, such that |A|>|N(A)|), then: ker(G) is a subset of core(G), and |ker(G)|> id_{c}(G) >= alpha(G)-mu(G) > 0.
Intersection patterns of convex sets via simplicial complexes, a survey
Published
• View Publication
• BIB
The task of this survey is to present various results on intersection patterns of convex sets. One of main tools for studying intersection patterns is a point of view via simplicial complexes. We recall the definitions of so called $d$-representable, $d$-collapsible and $d$-Leray simplicial complexes which are very useful for this study. We study the differences among these notions and we also focus on computational complexity for recognizing them. A list of Helly-type theorems is presented in the survey and it is also discussed how (important) role play the above mentioned notions for the theorems. We also consider intersection patterns of good covers which generalize collections of convex sets (the sets may be `curvy'; however, their intersections cannot be too complicated). We mainly focus on new results.
Lattice polygons and families of curves on rational surfaces
Published in J. Algebr. Comb. 34 (2011) 213-236
• View Publication
• BIB
First we solve the problem of finding minimal degree families on toric surfaces by reducing it to lattice geometry. Then we describe how to find minimal degree families on, more generally, rational complex projective surfaces.
Motzkin numbers out of Random Domino Automaton
Published in Physics Letters A 376 (2012), pp. 3098-3100
• View Publication
• BIB
Motzkin numbers are derived from a special case of Random Domino Automaton - recently proposed toy model of earthquakes. An exact solution of the set of equations describing stationary state of Random Domino Automaton in "inverse-power" case is presented. A link with Motzkin numbers allows to present explicit form of asymptotic behaviour of the automaton.
Centrally symmetric manifolds with few vertices
Published
• View Publication
• BIB
A centrally symmetric $2d$-vertex combinatorial triangulation of the product of spheres $§^i\times§^{d-2-i}$ is constructed for all pairs of non-negative integers $i$ and $d$ with $0\leq i \leq d-2$. For the case of $i=d-2-i$, the existence of such a triangulation was conjectured by Sparla. The constructed complex admits a vertex-transitive action by a group of order $4d$. The crux of this construction is a definition of a certain full-dimensional subcomplex, $\B(i,d)$, of the boundary complex of the $d$-dimensional cross-polytope. This complex $\B(i,d)$ is a combinatorial manifold with boundary and its boundary provides a required triangulation of $§^i\times§^{d-i-2}$. Enumerative characteristics of $\B(i,d)$ and its boundary, and connections to another conjecture of Sparla are also discussed.
Forcing large complete minors in infinite graphs
Published
• View Publication
• BIB
It is well-known that in finite graphs, large complete minors/topological minors can be forced by assuming a large average degree. Our aim is to extend this fact to infinite graphs. For this, we generalise the notion of the relative end degree, which had been previously introduced by the first author for locally finite graphs, and show that large minimum relative degree at the ends and large minimum degree at the vertices imply the existence of large complete (topological) minors in infinite graphs with countably many ends.
Generalization of the Macdonald formula for Hall-Littlewood polynomials
Published
• View Publication
• BIB
We study the Gaussent-Littelmann formula for Hall-Littlewood polynomials and we develop combinatorial tools to describe the formula in a purely combinatorial way for type A_n, B_n and C_n. This description is in terms of Young tableaux and arises from identifying one-skeleton galleries that appear in the Gaussent-Littelmann formula with Young tableaux. Furthermore, we show by using these tools that the Gaussent-Littelmann formula and the well-known Macdonald formula for Hall-Littlewood polynomials for type A_n are the same.
On the cd-index and gamma-vector of S*-shellable CW-spheres
Published
• View Publication
• BIB
We show that the $γ$-vector of the order complex of any polytope is the f-vector of a balanced simplicial complex. This is done by proving this statement for a subclass of Stanley's S-shellable spheres which includes all polytopes. The proof shows that certain parts of the cd-index, when specializing $c=1$ and considering the resulted polynomial in $d$, are the f-polynomials of simplicial complexes that can be colored with "few" colors. We conjecture that the cd-index of a regular CW-sphere is itself the flag f-vector of a colored simplicial complex in a certain sense.
On the Connectivity of Bipartite Distance-Balanced Graphs
A connected graph $\G$ is said to be {\it distance-balanced} whenever for any pair of adjacent vertices $u,v$ of $\G$ the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$. In [Bipartite graphs with balanced $(a,b)$-partitions, {\em Ars Combin.} {\bf 51} (1999), 113-119] Handa asked whether every bipartite distance-balanced graph, that is not a cycle, is 3-connected. In this paper the Handa question is answered in the negative. Moreover, we show that a minimal bipartite distance-balanced graph, that is not a cycle and is not 3-connected, has 18 vertices and is unique. In addition, we give a complete classification of non-3-connected bipartite distance-balanced graphs for which the minimal distance between two vertices in a 2-cut is three. All such graphs are regular and for each $k \geq 3$ there exists an infinite family of such graphs which are $k$-regular.
Furthermore, we determine a number of structural properties that a bipartite distance-balanced graph, which is not 3-connected, must have. As an application, we give a positive answer to the Handa question for the subfamily of bipartite strongly distance-balanced graphs.
Ehrhart polynomial and multiplicity Tutte polynomial
We prove that the Ehrhart polynomial of a zonotope is a specialization of the multiplicity Tutte polynomial. We derive some formulae for the volume and the number of integer points of the zonotope.
Computing pseudotriangulations via branched coverings
Published in Discrete Comput. Geom. 48(3):518-579, 2012
• View Publication
• BIB
We describe an efficient algorithm to compute a pseudotriangulation of a finite planar family of pairwise disjoint convex bodies presented by its chirotope. The design of the algorithm relies on a deepening of the theory of visibility complexes and on the extension of that theory to the setting of branched coverings. The problem of computing a pseudotriangulation that contains a given set of bitangent line segments is also examined.
Speeding up SAT solver by exploring CNF symmetries : Revisited
Published in Congressus Numerantium 206 (2010), pp. 73-84
• Search Publication
Boolean Satisfiability solvers have gone through dramatic improvements in their performances and scalability over the last few years by considering symmetries. It has been shown that by using graph symmetries and generating symmetry breaking predicates (SBPs) it is possible to break symmetries in Conjunctive Normal Form (CNF). The SBPs cut down the search space to the nonsymmetric regions of the space without affecting the satisfiability of the CNF formula. The symmetry breaking predicates are created by representing the formula as a graph, finding the graph symmetries and using some symmetry extraction mechanism (Crawford et al.). Here in this paper we take one non-trivial CNF and explore its symmetries. Finally, we generate the SBPs and adding it to CNF we show how it helps to prune the search tree, so that SAT solver would take short time. Here we present the pruning procedure of the search tree from scratch, starting from the CNF and its graph representation. As we explore the whole mechanism by a non-trivial example, it would be easily comprehendible. Also we have given a new idea of generating symmetry breaking predicates for breaking symmetry in CNF, not derived from Crawford's conditions. At last we propose a backtrack SAT solver with inbuilt SBP generator.