Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Visibility graphs and deformations of associahedra
Published in Contributions to Discrete Mathematics 7 (2012) 68 - 81
• View Publication
• BIB
The associahedron is a convex polytope whose face poset is based on nonintersecting diagonals of a convex polygon. In this paper, given an arbitrary simple polygon P, we construct a polytopal complex analogous to the associahedron based on convex diagonalizations of P. We describe topological properties of this complex and provide realizations based on secondary polytopes. Moreover, using the visibility graph of P, a deformation space of polygons is created which encapsulates substructures of the associahedron.
Rational Orthogonal versus Real Orthogonal
Published in Electronic Journal of Linear Algebra 18 (2009) 649-673
• View Publication
• BIB
The main question we raise here is the following one: given a real orthogonal n by n matrix X, is it true that there exists a rational orthogonal matrix Y having the same zero-pattern? We conjecture that this is the case and prove it for n<=5. We also consider the related problem for symmetric orthogonal matrices.
Hamilton l-cycles in uniform hypergraphs
Published in Journal of Combinatorial Theory, Series A. Volume 117, Issue 7, October 2010, Pages 910-927
• View Publication
• BIB
We say that a k-uniform hypergraph C is an l-cycle if there exists a cyclic ordering of the vertices of C such that every edge of C consists of k consecutive vertices and such that every pair of consecutive edges (in the natural ordering of the edges) intersects in precisely l vertices. We prove that if 1 \leq l \leq k-1 and k-l does not divide k then any k-uniform hypergraph on n vertices with minimum degree at least n/((\lceil (k/(k-l)) \rceil)(k-l))+o(n) contains a Hamilton l-cycle. This confirms a conjecture of Hàn and Schacht. Together with results of Rödl, Ruciński and Szemerédi, our result asymptotically determines the minimum degree which forces an l-cycle for any l with 1 \leq l \leq k-1.
Knights, spies, games and ballot sequences
Published
• View Publication
• BIB
This paper presents a solution to the Knights and Spies Problem: In a room there are n people, each labelled with a unique number between 1 and n. A person may either be a knight or a spy. Knights always tell the truth, while spies may either lie or tell the truth, as they see fit. Each person in the room knows the identity of everyone else. Apart from this, all that is known is that strictly more knights than spies are present. Asking only questions of the form: `Person i, what is the identity of person j?', what is the least number of questions that will guarantee to find the true identities of all n people? The analysis of a related two-player game is critical to the proof. Some probabilistic aspects are also explored. The paper ends by presenting three open questions concerned with generalisations of the problem.
Equivariant closure operators and trisp closure maps
Published
• View Publication
• BIB
A trisp closure map is a special map on the vertices of a trisp T with the property that T collapses onto the subtrisp induced by the image of the map. We study the interaction between trisp closure maps and group operations on the trisp, and give conditions such that the quotient map is again a trisp closure map. Special attention is on the case that the trisp is the nerve of an acyclic category, and the relationship between trisp closure maps and closure operators on posets is studied.
A recipe theorem for the topological Tutte polynomial of Bollobas and Riordan
Published
• View Publication
• BIB
In [A polynomial invariant of graphs on orientable surfaces, Proc. Lond. Math. Soc., III Ser. 83, No. 3, 513-531 (2001)] and [A polynomial of graphs on surfaces, Math. Ann. 323, 81-96 (2002)], Bollobas and Riordan generalized the classical Tutte polynomial to graphs cellularly embedded in surfaces, i.e. ribbon graphs, thus encoding topological information not captured by the classical Tutte polynomial. We provide a `recipe theorem' for their new topological Tutte polynomial, R(G). We then relate R(G) to the generalized transition polynomial Q(G) via a medial graph construction, thus extending the relation between the classical Tutte polynomial and the Martin, or circuit partition, polynomial to ribbon graphs. We use this relation to prove a duality property for R(G) that holds for both oriented and unoriented ribbon graphs. We conclude by placing the results of Chumutov and Pak [The Kauffman bracket and the Bollobas-Riordan polynomial of ribbon graphs, Moscow Mathematical Journal 7(3) (2007) 409-418] for virtual links in the context of the relation between R(G) and Q(R).
On Point Sets in Vector Spaces over Finite Fields That Determine Only Acute Angle Triangles
Published
• View Publication
• BIB
For three points $\vec{u}$,$\vec{v}$ and $\vec{w}$ in the $n$-dimensional space $\F_q^n$ over the finite field $\F_q$ of $q$ elements we give a natural interpretation of an acute angle triangle defined by this points. We obtain an upper bound on the size of a set $\cZ$ such that all triples of distinct points $\vec{u}, \vec{v}, \vec{w} \in \cZ$ define acute angle triangles. A similar question in the real space $\cR^n$ dates back to P. Erd{\H o}s and has been studied by several authors.
A property that characterizes Euler characteristic among invariants of combinatorial manifolds
Published in Advances in Mathematics 225 (2010), 794--804
• View Publication
• BIB
If a real value invariant of compact combinatorial manifolds (with or without boundary) depends only on the number of simplices in each dimension on the manifold, then the invariant is completely determined by Euler characteristics of the manifold and its boundary. So essentially, Euler characteristic is the unique invariant of this type.
All reducts of the random graph are model-complete
We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or contains an operation that maps the random graph injectively to an induced subgraph which is a clique or an independent set. As a corollary, our techniques yield a new proof of Simon Thomas' classification of the five closed supergroups of the automorphism group of the random graph; our proof uses different Ramsey-theoretic tools than the one given by Thomas, and is perhaps more straightforward. Since the monoids under consideration are endomorphism monoids of relational structures definable in the random graph, we are able to draw several model-theoretic corollaries: One consequence of our result is that all structures with a first-order definition in the random graph are model-complete. Moreover, we obtain a classification of these structures up to existential interdefinability.
Equidistribution of (X,Y)-descents, (X,Y)-adjacent pairs, and (X,Y)-place-value pairs on permutations
An $(X,Y)$-descent in a permutation is a pair of adjacent elements such that the first element is from $X$, the second element is from $Y$, and the first element is greater than the second one. An $(X,Y)$-adjacency in a permutation is a pair of adjacent elements such that the first one is from $X$ and the second one is from $Y$. An $(X,Y)$-place-value pair in a permutation is an element $y$ in position $x$, such that $y$ is in $Y$ and $x$ is in $X$. It turns out, that for certain choices of $X$ and $Y$ some of the three statistics above become equidistributed. Moreover, it is easy to derive the distribution formula for $(X,Y)$-place-value pairs thus providing distribution for other statistics under consideration too. This generalizes some results in the literature. As a result of our considerations, we get combinatorial proofs of several remarkable identities. We also conjecture existence of a bijection between two objects in question preserving a certain statistic.
A Quantitative Arrow Theorem
Published
• View Publication
• BIB
Arrow's Impossibility Theorem states that any constitution which satisfies Independence of Irrelevant Alternatives (IIA) and Unanimity and is not a Dictator has to be non-transitive. In this paper we study quantitative versions of Arrow theorem. Consider $n$ voters who vote independently at random, each following the uniform distribution over the 6 rankings of 3 alternatives. Arrow's theorem implies that any constitution which satisfies IIA and Unanimity and is not a dictator has a probability of at least $6^{-n}$ for a non-transitive outcome. When $n$ is large, $6^{-n}$ is a very small probability, and the question arises if for large number of voters it is possible to avoid paradoxes with probability close to 1.
Here we give a negative answer to this question by proving that for every $\eps > 0$, there exists a $δ= δ(\eps) > 0$, which depends on $\eps$ only, such that for all $n$, and all constitutions on 3 alternatives, if the constitution satisfies: The IIA condition. For every pair of alternatives $a,b$, the probability that the constitution ranks $a$ above $b$ is at least $\eps$. For every voter $i$, the probability that the social choice function agrees with a dictatorship on $i$ at most $1-\eps$. Then the probability of a non-transitive outcome is at least $δ$.
Graded posets inverse zeta matrix formula
Published in Bull. Soc. Sci. Lett. Lodz . Ser. Rech. Deform. vol 60 No3 (2010): 117--147
• Search Publication
We derive the explicit formula for the inverse of zeta matrix for any graded posets with the finite set of minimal elements . The combinatorial interpretation of this result is given. For that to do special number theoretic code triangles for graded posets are proposed and apart from the present author combinatorial interpretation of $F-nomial$ coefficients another one is proposed referring to the number of all maximal chains in the corresponding poset intervals.
On the spectrum of the forced matching number of graphs
Published in Australasian Journal of Combinatorics. 30 (2004) pp. 147-160
• Search Publication
Let $G$ be a graph that admits a perfect matching. A {\sf forcing set} for a perfect matching $M$ of $G$ is a subset $S$ of $M$, such that $S$ is contained in no other perfect matching of $G$. This notion originally arose in chemistry in the study of molecular resonance structures. Similar concepts have been studied for block designs and graph colorings under the name {\sf defining set}, and for Latin squares under the name {\sf critical set}. Recently several papers have appeared on the study of forcing sets for other graph theoretic concepts such as dominating sets, orientations, and geodetics. Whilst there has been some study of forcing sets of matchings of hexagonal systems in the context of chemistry, only a few other classes of graphs have been considered.
Here we study the spectrum of possible forced matching numbers for the grids $P_m \times P_n$, discuss the concept of a forcing set for some other specific classes of graphs, and show that the problem of finding the smallest forcing number of graphs is \NP--complete.
Sharp thresholds for constraint satisfaction problems and homomorphisms
Published in Random Structures Algorithms. 33(3) (2008), pp. 310- 332
• View Publication
• BIB
We determine under which conditions certain natural models of random constraint satisfaction problems have sharp thresholds of satisfiability. These models include graph and hypergraph homomorphism, the $(d,k,t)$-model, and binary constraint satisfaction problems with domain size three.
Witten multiple zeta values attached to sl(4)
Published in Tokyo J. Math. 34 (2011), pp. 135-152
• View Publication
• BIB
In this paper we shall prove that every Witten multiple zeta value of weight w>3 attached to sl(4) at nonnegative integer arguments is a finite rational linear combinations of MZVs of the weight w and the depths three or less, except for the nine irregular cases where the Riemann zeta value zeta(w-2) and the double zeta values of weight w-1 and depth <3 are also needed.
On the diagonal hooks of a symmetric partition
Using only a symmetric p-core partition and p-quotient, we give an explicit formula for the set of diagonal hook lengths of the associated symmetric partition.
On k-simplexes in (2k-1)-dimensional vector spaces over finite fields
Published
• View Publication
• BIB
We show that if the cardinality of a subset of the $(2k-1)$-dimensional vector space over a finite field with $q$ elements is $\gg q^{2k-1-\frac{1}{2k}}$, then it contains a positive proportional of all $k$-simplexes up to congruence.
Distribution of determinant of matrices with restricted entries over finite fields
For a prime power $q$, we study the distribution of determinent of matrices with restricted entries over a finite field $\mathbbm{F}_q$ of $q$ elements. More precisely, let $N_d (\mathcal{A}; t)$ be the number of $d \times d$ matrices with entries in $\mathcal{A}$ having determinant $t$. We show that \[ N_d (\mathcal{A}; t) = (1 + o (1)) \frac{|\mathcal{A}|^{d^2}}{q}, \] if $|\mathcal{A}| = ω(q^{\frac{d}{2d-1}})$, $d\geqslant 4$. When $q$ is a prime and $\mathcal{A}$ is a symmetric interval $[-H,H]$, we get the same result for $d\geqslant 3$. This improves a result of Ahmadi and Shparlinski (2007).
The Fibonacci dimension of a graph
Published
• View Publication
• BIB
The Fibonacci dimension fdim(G) of a graph G is introduced as the smallest integer f such that G admits an isometric embedding into Gamma_f, the f-dimensional Fibonacci cube. We give bounds on the Fibonacci dimension of a graph in terms of the isometric and lattice dimension, provide a combinatorial characterization of the Fibonacci dimension using properties of an associated graph, and establish the Fibonacci dimension for certain families of graphs.
From the algorithmic point of view we prove that it is NP-complete to decide if fdim(G) equals to the isometric dimension of G, and that it is also NP-hard to approximate fdim(G) within (741/740)-epsilon. We also give a (3/2)-approximation algorithm for fdim(G) in the general case and a (1+epsilon)-approximation algorithm for simplex graphs.
A construction of 3-e.c. graphs using quadrances
A graph is $n$-e.c. ($n$-existentially closed) if for every pair of subsets
$A, B$ of vertex set $V$ of the graph such that $A \cap B = \emptyset$ and
$|A| + |B| = n$, there is a vertex $z$ not in $A \cup B$ joined to each vertex of $A$ and no vertex of $B$. Few explicit families of $n$-e.c. are known for $n > 2$. In this short note, we give a new construction of 3-e.c. graphs using the notion of quadrance in the finite Euclidean space $\mathbbm{Z}_p^d$.