Showing 1–15 of 15 results for author: Grujic, V

The Redei-Berge Hopf algebra of digraphs

Authors: Vladimir Grujić, Tanja Stojadinović

Abstract: In a series of recent talks Richard Stanley introduced a symmetric function associated to digraphs called the Redei-Berge symmetric function. This symmetric function enumerates descent sets of permutations corresponding to digraphs. We show that such constructed symmetric function arises from a suitable structure of combinatorial Hopf algebra on digraphs. The induced Redei-Berge polynomial satisfi… ▽ More In a series of recent talks Richard Stanley introduced a symmetric function associated to digraphs called the Redei-Berge symmetric function. This symmetric function enumerates descent sets of permutations corresponding to digraphs. We show that such constructed symmetric function arises from a suitable structure of combinatorial Hopf algebra on digraphs. The induced Redei-Berge polynomial satisfies the deletion-contraction property which makes it similar to the chromatic polynomial. The Berge's classical result on the number of Hamiltonian paths in digraphs is a consequence of the reciprocity formula for the Redei-Berge polynomial. △ Less

Submitted 21 March, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

Comments: Revised argument in section 5, corrected version

MSC Class: 05C20; 16T30; 05E05

Fundamental groups of 3-dimensional small covers

Authors: Vladimir Grujić

Abstract: Small covers arising from 3-dimensional simple polytopes are an interesting class of 3-manifolds. The fundamental group is a rigid invariant for wide classes of 3-manifolds, particularly for orientable Haken manifolds, which include orientable small covers. By using Morse-theoretic approach we give a procedure to get an explicit, balanced presentation of the fundamental group of a closed, orientab… ▽ More Small covers arising from 3-dimensional simple polytopes are an interesting class of 3-manifolds. The fundamental group is a rigid invariant for wide classes of 3-manifolds, particularly for orientable Haken manifolds, which include orientable small covers. By using Morse-theoretic approach we give a procedure to get an explicit, balanced presentation of the fundamental group of a closed, orientable 3-dimensional simple cover with minimal number of generators. Beside that the minimal Heegaard splitting is determined by this presentation. △ Less

Submitted 25 November, 2021; originally announced November 2021.

MSC Class: 57M05; 57M60; 57S12

A calculus for S^3-diagrams of manifolds with boundary

Authors: Bojana Femic, Vladimir Grujic, Jovana Obradovic, Zoran Petric

Abstract: We introduce a diagrammatic language for compact, orientable 3-dimensional manifolds with boundary. A diagrammatic calculus (both integral and rational version) appropriate for this language is introduced and its completeness is proved in the paper. Moreover, a calculus consisting of a finite list of local moves is presented. We introduce a diagrammatic language for compact, orientable 3-dimensional manifolds with boundary. A diagrammatic calculus (both integral and rational version) appropriate for this language is introduced and its completeness is proved in the paper. Moreover, a calculus consisting of a finite list of local moves is presented. △ Less

Submitted 26 September, 2023; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: 20 pages, this is a significantly shortened version of the paper "An operad of 3-manifolds'', which is also available here

MSC Class: 18D50; 57M25; 57M27

Weighted $\mathsf{P}-$partitions enumerator

Authors: Marko Pešović, Tanja Stojadinović, Vladimir Grujić

Abstract: To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the $f$-polynomial. In the case of poset cones it refines Gessel's $\mathsf{P}$-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets. To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the $f$-polynomial. In the case of poset cones it refines Gessel's $\mathsf{P}$-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets. △ Less

Submitted 28 June, 2019; originally announced July 2019.

Comments: 17 pages, 3 figures

Weighted quasisymmetric enumerator for generalized permutohedra

Authors: Vladimir Grujić, Marko Pešović, Tanja Stojadinović

Abstract: We introduce a weighted quasisymmetric enumerator function associated to generalized permutohedra. It refines the Billera, Jia and Reiner quasisymmetric function which also includes the Stanley chromatic symmetric function. Beside that it carries information of face numbers of generalized permutohedra. We consider more systematically the cases of nestohedra and matroid base polytopes. We introduce a weighted quasisymmetric enumerator function associated to generalized permutohedra. It refines the Billera, Jia and Reiner quasisymmetric function which also includes the Stanley chromatic symmetric function. Beside that it carries information of face numbers of generalized permutohedra. We consider more systematically the cases of nestohedra and matroid base polytopes. △ Less

Submitted 23 October, 2017; v1 submitted 21 April, 2017; originally announced April 2017.

Comments: This is a combined and extended version of two preprints arXiv:1704.06715 Face enumeration on matroid base polytopes and arXiv:1703.08826 Counting faces of nestohedra

MSC Class: 52B40; 52B05; 16T05

Counting faces of nestohedra

Authors: Vladimir Grujić, Tanja Stojadinović

Abstract: A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set $B$ is described as a morphism from the certain combinatorial Hopf algebra of building sets to quasisymmetric functions. We define the $q$-analog $F_q(P_B)$ and d… ▽ More A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set $B$ is described as a morphism from the certain combinatorial Hopf algebra of building sets to quasisymmetric functions. We define the $q$-analog $F_q(P_B)$ and derive its determining recurrence relations. The $f$-polynomial of the nestohedron $P_B$ appears as the principal specialization of the quasisymmetric function $F_q(P_B)$. △ Less

Submitted 22 October, 2017; v1 submitted 26 March, 2017; originally announced March 2017.

Comments: Preprint is merged with arXiv:1704.06715 Face enumeration on matroid base polytopes and redirected to combined version

MSC Class: 05E05; 52B05; 16T05

Counting faces of graphical zonotopes

Authors: Vladimir Grujić

Abstract: It is a classical fact that the number of vertices of the graphical zonotope $Z_Γ$ is equal to the number of acyclic orientations of a graph $Γ$. We show that the $f$-polynomial of $Z_Γ$ is obtained as the principal specialization of the $q$-analog of the chromatic symmetric function of $Γ$. It is a classical fact that the number of vertices of the graphical zonotope $Z_Γ$ is equal to the number of acyclic orientations of a graph $Γ$. We show that the $f$-polynomial of $Z_Γ$ is obtained as the principal specialization of the $q$-analog of the chromatic symmetric function of $Γ$. △ Less

Submitted 26 March, 2017; v1 submitted 23 April, 2016; originally announced April 2016.

Comments: This is the updated version published in: Ars Mathematica Contemporanea 13(2017)

MSC Class: 52B05; 16T05

Quasisymmetric functions for nestohedra

Authors: Vladimir Grujić

Abstract: For a generalized permutohedron $Q$ the enumerator $F(Q)$ of positive lattice points in interiors of maximal cones of the normal fan $Σ_Q$ is a quasisymmetric function. We describe this function for the class of nestohedra as a Hopf algebra morphism from a combinatorial Hopf algebra of building sets. For the class of graph-associahedra the corresponding quasisymmetric function is a new isomorphism… ▽ More For a generalized permutohedron $Q$ the enumerator $F(Q)$ of positive lattice points in interiors of maximal cones of the normal fan $Σ_Q$ is a quasisymmetric function. We describe this function for the class of nestohedra as a Hopf algebra morphism from a combinatorial Hopf algebra of building sets. For the class of graph-associahedra the corresponding quasisymmetric function is a new isomorphism invariant of graphs. The obtained invariant is quite natural as it is the generating function of ordered colorings of graphs and satisfies the recurrence relation with respect to deletions of vertices. △ Less

Submitted 16 May, 2017; v1 submitted 4 September, 2014; originally announced September 2014.

Comments: new graphics, section 6 revised, the example 7.5 provided; final version

MSC Class: 52B20; 16T05

Quasitoric manifolds and Small covers over properly colored polytopes: Immersions and Embeddings

Authors: Djordje Baralic, Vladimir Grujic

Abstract: We construct small covers and quasitoric manifolds over $n$-dimensional simple polytopes which allow proper colorings of facets with $n$ colors. We calculate Stiefel-Whitney classes of these manifolds as obstructions to immersions and embeddings into Euclidean spaces. The largest dimension required for embedding is achieved in the case $n$ is a power of two. We construct small covers and quasitoric manifolds over $n$-dimensional simple polytopes which allow proper colorings of facets with $n$ colors. We calculate Stiefel-Whitney classes of these manifolds as obstructions to immersions and embeddings into Euclidean spaces. The largest dimension required for embedding is achieved in the case $n$ is a power of two. △ Less

Submitted 28 April, 2016; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 1 figure

MSC Class: 57N35; 57N65; 52B12; 52B05

Generalized Dehn-Sommerville relations for hypergraphs

Authors: Vladimir Grujic, Tanja Stojadinovic, Dusko Jojic

Abstract: The generalized Dehn-Sommerville relations determine the odd subalgebra of the combinatorial Hopf algebra. We introduce a class of eulerian hypergraphs that satisfy the generalized Dehn-Sommerville relations for the combinatorial Hopf algebra of hypergraphs. We characterize a wide class of eulerian hypergraphs according to the combinatorics of underlying clutters. The analogous results hold for si… ▽ More The generalized Dehn-Sommerville relations determine the odd subalgebra of the combinatorial Hopf algebra. We introduce a class of eulerian hypergraphs that satisfy the generalized Dehn-Sommerville relations for the combinatorial Hopf algebra of hypergraphs. We characterize a wide class of eulerian hypergraphs according to the combinatorics of underlying clutters. The analogous results hold for simplicial complexes by the isomorphism which is induced from the correspondence of clutters and simplicial complexes. △ Less

Submitted 14 December, 2014; v1 submitted 3 February, 2014; originally announced February 2014.

Comments: 13 pages; changes in the statement and proof of Theorem 3.8 and Theorem 3.10; Proposition 3.3 and Lemma 3.9 are removed; Proposition 3.11 is added; minor changes elsewhere

MSC Class: 16T05; 16T30; 05C65; 05E45

Journal ref: European Journal of Mathematics, 2 (2016) 459--473

Hopf algebra of building sets

Authors: Vladimir Grujić, Tanja Stojadinović

Abstract: The combinatorial Hopf algebra on building sets $BSet$ extends the chromatic Hopf algebra of simple graphs. The image of a building set under canonical morphism to quasi-symmetric functions is the chromatic symmetric function of the corresponding hypergraph. By passing from graphs to building sets, we construct a sequence of symmetric functions associated to a graph. From the generalized Dehn-Somm… ▽ More The combinatorial Hopf algebra on building sets $BSet$ extends the chromatic Hopf algebra of simple graphs. The image of a building set under canonical morphism to quasi-symmetric functions is the chromatic symmetric function of the corresponding hypergraph. By passing from graphs to building sets, we construct a sequence of symmetric functions associated to a graph. From the generalized Dehn-Sommerville relations for the Hopf algebra $BSet$, we define a class of building sets called eulerian and show that eulerian building sets satisfy Bayer-Billera relations. We show the existence of the $\mathbf{c}\mathbf{d}-$index, the polynomial in two noncommutative variables associated to an eulerian building set. The complete characterization of eulerian building sets is given in terms of combinatorics of intersection posets of antichains of finite sets. △ Less

Submitted 12 December, 2012; originally announced December 2012.

Comments: 31 pages, 4 figures

MSC Class: 16T05; 16T30; 05E05; 06A11

Journal ref: The Electronic Journal of Combinatorics, Vol 19, Issue 4 (2012), P42

Discrete Morse theory for moment-angle complexes of pairs (D^n,S^{n-1})

Authors: Vladimir Grujic, Volkmar Welker

Abstract: For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n}, S^{n-1}). For the class of simplicial complexes with vertex-decomposable duals, we show that the associated n-sphere moment-angle complexes have the homotopy ty… ▽ More For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n}, S^{n-1}). For the class of simplicial complexes with vertex-decomposable duals, we show that the associated n-sphere moment-angle complexes have the homotopy type of wedges of spheres. As a corollary we show that a sufficiently high suspension of any restriction of a simplicial complex with vertex-decomposable dual is homotopy equivalent to a wedge of spheres. △ Less

Submitted 20 December, 2012; v1 submitted 10 December, 2012; originally announced December 2012.

Comments: Corollary 1.2 and 1 reference added. Some formulations and arguments made more precise

MSC Class: 05E45; 55P15

Symmetric products of surfaces; a unifying theme for topology and physics

Authors: Pavle Blagojevic, Vladimir Grujic, Rade Zivaljevic

Abstract: This is a review paper about symmetric products of spaces $SP^n(X):= X^n/S_n$. We focus our attention on the symmetric products of 2-manifolds and make a journey through selected topics of algebraic topology, algebraic geometry, mathematical physics, theoretical mechanics etc. where these objects play an important role, demonstrating along the way the fundamental unity of diverse fields of physi… ▽ More This is a review paper about symmetric products of spaces $SP^n(X):= X^n/S_n$. We focus our attention on the symmetric products of 2-manifolds and make a journey through selected topics of algebraic topology, algebraic geometry, mathematical physics, theoretical mechanics etc. where these objects play an important role, demonstrating along the way the fundamental unity of diverse fields of physics and mathematics. △ Less

Submitted 30 August, 2004; originally announced August 2004.

MSC Class: 55S15; 52C35

Journal ref: Proceedings of Summer school in modern mathematical physics (B. Dragovic, B. Sazdovic, eds.) SFIN, XV (A3), Institute of Physics, Belgrade 2002

Arrangements of symmetric products of spaces

Authors: Pavle Blagojevic, Vladimir Grujic, Rade Zivaljevic

Abstract: Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an application we include a computation of the homology of the homotopy end space of the open manifold $SP^n(M_{g,k})$, where $M_{g,k}$ is a Riemann surface of ge… ▽ More Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an application we include a computation of the homology of the homotopy end space of the open manifold $SP^n(M_{g,k})$, where $M_{g,k}$ is a Riemann surface of genus $g$ punctured at $k$ points, a problem which was originally motivated by the study of commutative $(m+k,m)$-groups. △ Less

Submitted 26 September, 2004; v1 submitted 27 June, 2003; originally announced June 2003.

Comments: This is an updated version of the paper. In this version some results (Proposition 1.7., Theorem 1.8, Theorem 1.9, Theorem 1.11) are now reformulated in the greater generality (over integer coefficients). Moreover, we now interpret Theorems 1.8 and 1.11 as a generalization of classical Steenrod's theorem to the case symmetric products of (simple) diagrams of spaces

MSC Class: 52C35; 55S15; 57R19

Symmetric products of surfaces and the cycle index

Authors: Pavle Blagojevic, Vladimir Grujic, Rade Zivaljevic

Abstract: We express the signature ${\rm Sign}(SP^m_G(M))$ of the symmetric product $SP^n(M)$ of an (open) surface $M$ in terms of the cycle index $Z(G;\bar x)$ of $G$, a polynomial which originally appeared in P{\' o}lya enumeration theory of graphs, trees, chemical structures etc. The computations are used to show that there exist punctured Riemann surfaces $M_{g,k}, M_{g',k'}$ such that the manifolds… ▽ More We express the signature ${\rm Sign}(SP^m_G(M))$ of the symmetric product $SP^n(M)$ of an (open) surface $M$ in terms of the cycle index $Z(G;\bar x)$ of $G$, a polynomial which originally appeared in P{\' o}lya enumeration theory of graphs, trees, chemical structures etc. The computations are used to show that there exist punctured Riemann surfaces $M_{g,k}, M_{g',k'}$ such that the manifolds $SP^{m}(M_{g,k})$ and $SP^{m}(M_{g',k'})$ are often not homeomorphic, although they always have the same homotopy type provided $2g+k = 2g'+k'$ and $k,k'\geq 1$. △ Less

Submitted 27 June, 2003; originally announced June 2003.

MSC Class: 55S15; 14H40; 55R80; 57R19