arXiv subjects
Publications and source records attributed to Rade T. Zivaljevic.
A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean and projective interpretations of the sequents are defined and a soundness result is proved. This system is decidable and its provable sequents deliver incidence results. A cyclic operad structure tied to this system is presented by generators and relations.
We apply the theory of Groebner bases to the study of signed, symmetric polyomino tilings of planar domains. Complementing the results of Conway and Lagarias we show that the triangular regions T_N=T_{3k-1} and T_N=T_{3k} in a hexagonal lattice admit a signed tiling by three-in-line polyominoes (tribones) symmetric with respect to the 120 degrees rotation of the triangle if and only if either N=27r-1 or N=27r for some integer r.
We compute a primary cohomological obstruction to the existence of an equipartition for j mass distributions in R^d by two hyperplanes in the case 2d-3j = 1. The central new result is that such an equipartition always exists if d=6 2^k +2 and j=4 2^k+1 which for k=0 reduces to the main result of the paper P. Mani-Levitska et al., Topology and combinatorics of partitions of masses by hyperplanes, Adv. Math. 207 (2006), 266-296. This is an example of a genuine combinatorial geometric result which involves Z_4-torsion in an essential way and cannot be obtained by the application of either Stiefel-Whitney classes or cohomological index theories with Z_2 coefficients. The method opens a possibility of developing an "effective primary obstruction theory" based on $G$-manifold complexes, with applications in geometric combinatorics, discrete and computational geometry, and computational algebraic topology.
We give an elementary proof of a formula expressing the rotation number of a cyclic unimodular sequence of lattice vectors in terms of arithmetically defined local quantities. The formula has been originally derived by A. Higashitani and M. Masuda (arXiv:1204.0088v2 [math.CO]) with the aid of the Riemann-Roch formula applied in the context of toric topology. They also demonstrated that a generalized versions of the "Twelve-point theorem" and a generalized Pick's formula are among the consequences or relatives of their result. Our approach emphasizes the role of 'discrete curvature invariants' μ(a,b,c), where {a,b} and {b,c} are bases of the lattice Z^2, as fundamental discrete invariants of 'modular lattice geometry'.
L. Lovasz has shown that Sperner's combinatorial lemma admits a generalization involving a matroid defined on the set of vertices of the associated triangulation. Inspired by this result we prove that classical Ky Fan's theorem admits an oriented matroid generalization of similar nature. Ky Fan's theorem is obtained as a corollary if the underlying oriented matroid is chosen to be the alternating matroid C^{m,r} .
An objective of the theory of combinatorial groupoids is to introduce concepts like "holonomy", "parallel transport", "bundles", "combinatorial curvature" etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes, arrangements and other combinatorial objects. In this paper we give an exposition of some of the currently most active research themes in this area, offer a unified point of view, and provide a list of prospective applications in other fields together with a collection of related open problems.
A foundation is laid for a theory of combinatorial groupoids, allowing us to use concepts like ``holonomy'', ``parallel transport'', ``bundles'', ``combinatorial curvature'' etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes and other combinatorial objects. A new, holonomy-type invariant for cubical complexes is introduced, leading to a combinatorial ``Theorema Egregium'' for cubical complexes non-embeddable into cubical lattices. Parallel transport of Hom-complexes and maps is used as a tool for extending Babson-Kozlov-Lovasz graph coloring results to more general statements about non-degenerate maps (colorings) of simplicial complexes and graphs.
This article is concerned with a general scheme on how to obtain constructive proofs for combinatorial theorems that have topological proofs so far. To this end the combinatorial concept of Tucker-property of a finite group $G$ is introduced and its relation to the topological Borsuk-Ulam-property is discussed. Applications of the Tucker-property in combinatorics are demonstrated.
The groupoid of projectivities, introduced by M. Joswig, serves as a basis for a construction of parallel transport of graph and more general $Hom$-complexes. In this framework we develop a general conceptual approach to the Lovasz Hom-conjecture, recently resolved by E. Babson and D. Kozlov, and extend their result from graphs to simplicial complexes. The paper also provides new evidence that the language and methods of groupoids, after being successfully tested in other major mathematical fields, offer new insights and perspectives for combinatorial applications.
We prove that each measure $μ$ in $R^4$ admits an equipartition by 4 hyperplanes, provided that it is symmetric with respect to a 2-dimensional, affine subspace $L$ of $R^4$. Moreover we show, by computing the complete obstruction in the relevant group of normal bordisms, that without the symmetry condition, a naturally associated topological problem has a negative solution. The computation is based on the Koschorke's exact singularity sequence and the remarkable properties of the essentially unique, balanced binary Gray code in dimension 4.
We introduce WI-posets as intermediate objects in the study of Z_2-homotopy types of graph complexes. It turns out that (almost) all graph complexes associated to a graph can be viewed as avatars of the same object, as long as their Z_2-homotopy types are concerned. Among the applications are a proof that each finite, free Z_2-complex is a graph complex and an evaluation of Z_2-homotopy types of complexes Ind(C_n) of independence sets in a cycle C_n. The main tools used in the paper are Quillen fiber theorem and Bredon criterion for Z_2-equivalence of Z_2-complexes.
We use a well known problem in discrete and computational geometry (partitions of measures by $k$-fans) as a motivation and as a point of departure to illustrate many aspects, both theoretical and computational, of the problem of calculating the obstructions for the existence of equivariant maps. A variety of techniques are introduced and discussed with the emphasis on concrete and explicit calculations. This eventually leads (Theorems 18 and 19) to an almost exhaustive analysis of when such maps do or do not exist in the particular case of interest.
An arrangement of k-semilines in the Euclidean (projective) plane or on the 2-sphere is called a k-fan if all semilines start from the same point. A k-fan is an $α$-partition for a probability measure $μ$ if $μ(σ_i)=α_i$ for each $i=1,...,k$ where $\{σ_i\}_{i=1}^k$ are conical sectors associated with the k-fan and $α= (α_1,... ,α_k)$. The set of all $α= (α_1,... ,α_m)$ such that for any collection of probability measures $μ_1,... ,μ_m$ there exists a common $α$-partition by a k-fan is denoted by ${\cal A}_{m,k}$. We prove, as a central result of this paper, that ${\cal A}_{3,2} = \{(s,t)\in \mathbb{R}^2\mid s+t=1 {\rm and} s,t>0\}$. The result follows from the fact that under mild conditions there does not exist a $Q_{4n}$-equivariant map $f : S^3\to V\setminus {\cal A}(α)$ where ${\cal A}(α)$ is a $Q_{4n}$-invariant, linear subspace arrangement in a $Q_{4n}$-representation V, where $Q_{4n}$ is the generalized quaternion group. This fact is established by showing that an appropriate obstruction in the group $Ω_1(Q_{4n})$ of $Q_{4n}$-bordisms does not vanish.