arXiv++ Combinatorics

In addition to the three standard operations on posets which are dual of poset or ordinal and cardinal sums of partial ordered sets one adds the natural join of posets. This is especially natural natural join operation for graded posets including very special and important the so called cobweb posets. The main aims of this article are the presentation of the authors update applications of natural join of posets in the domain of graded posets and summary of the general properties of natural join of posets with posing some questions arising on the way. Thus in this note apart from revealing some general properties of natural join of posets we also deliver the authors combinatorial interpretations of cobweb posets including discrete hyperboxes coding of the so called cobweb posets .Various explicit formulas for the zeta functions and zeta matrices as well as the inverse of zeta matrix for any graded posets are supplied. Whitney numbers formulas and those for characteristic polynomials are given too.

We consider projections of points onto fundamental chambers of finite real reflection groups. Our main result shows that for groups of type $A_n$, $B_n$, and $D_n$, the coefficients of the characteristic polynomial of the reflection arrangement are proportional to the spherical volumes of the sets of points that are projected onto faces of a given dimension. We also provide strong evidence that the same connection holds for the exceptional, and thus all, reflection groups. These results naturally extend those of De Concini and Procesi, Stembridge, and Denham which establish the relationship for 0-dimensional projections. This work is also of interest for the field of order-restricted statistical inference, where projections of random points play an important role.

The reconstruction conjecture has remained open for simple undirected graphs since it was suggested in 1941 by Kelly and Ulam. In an attempt to prove the conjecture, many graph invariants have been shown to be reconstructible from the vertex-deleted deck, and in particular, some prominent graph polynomials. Among these are the Tutte polynomial, the chromatic polynomial and the characteristic polynomial. We show that the interlace polynomial, the U -polynomial, the universal edge elimination polynomial xi and the colored versions of the latter two are reconstructible.

A subspace arrangement defined by intersections of hyperplanes of the braid arrangement can be encoded by an edge colored hypergraph. It turns out that the characteristic polynomial of this type of subspace arrangement is given by a generalized chromatic polynomial of the associated edge colored hypergraph. The main result of this paper supplies a sufficient condition for the existence of non-trivial Massey products of the subspace arrangements complex complement. This is accomplished by studying a spectral sequence associated to the Lie coalgebras of Sinha and Walter.

Let $q=p^r$ be a prime power, and let $f(x)=x^m-\gs_{m-1}x^{m-1}- >...-\gs_1x-\gs_0$ be an irreducible polynomial over the finite field $\GF(q)$ of size $q$. A zero $ξ$ of $f$ is called {\em nonstandard (of degree $m$) over $\GF(q)$} if the recurrence relation $u_m=\gs_{m-1}u_{m-1} + ... + \gs_1u_1+\gs_0u_0$ with characteristic polynomial $f$ can generate the powers of $ξ$ in a nontrivial way, that is, with $u_0=1$ and $f(u_1)\neq 0$. In 2003, Brison and Nogueira asked for a characterisation of all nonstandard cases in the case $m=2$, and solved this problem for $q$ a prime, and later for $q=p^r$ with $r\leq4$. In this paper, we first show that classifying nonstandard finite field elements is equivalent to classifying those cyclic codes over $\GF(q)$ generated by a single zero that posses extra permutation automorphisms. Apart from two sporadic examples of degree 11 over $\GF(2)$ and of degree 5 over $\GF(3)$, related to the Golay codes, there exist two classes of examples of nonstandard finite field elements. One of these classes (type I) involves irreducible polynomials $f$ of the form $f(x)=x^m-f_0$, and is well-understood. The other class (type II) can be obtained from a primitive element in some subfield by a process that we call extension and lifting. We will use the known classification of the subgroups of $\PGL(2,q)$ in combination with a recent result by Brison and Nogueira to show that a nonstandard element of degree two over $\GF(q)$ necessarily is of type I or type II, thus solving completely the classification problem for the case $m=2$.

The chromatic polynomial P_G(q) of a loopless graph G is known to be nonzero (with explicitly known sign) on the intervals (-\infty,0), (0,1) and (1,32/27]. Analogous theorems hold for the flow polynomial of bridgeless graphs and for the characteristic polynomial of loopless matroids. Here we exhibit all these results as special cases of more general theorems on real zero-free regions of the multivariate Tutte polynomial Z_G(q,v). The proofs are quite simple, and employ deletion-contraction together with parallel and series reduction. In particular, they shed light on the origin of the curious number 32/27.

We study the averages of ratios of characteristic polynomials over circular $β$-ensembles, where $β$ is a positive real number. Using Jack polynomial theory, we obtain three expressions for ratio averages. Two of them are given as sums of super-Jack polynomials and another one is given by a hyperdeterminant. As applications, we give dual relations for ratio averages between $β$ and $4/β$.

This note is a response to one of problems posed by A.K. Kwasniewski in one of his recent papers. Namely for the sequence of finite cobweb subposets, the looked for explicit formulas for corresponding sequence of characteristic polynomials are discovered and delivered here. The recurrence relation defining arbitrary family of charactristic polynomials of finite cobweb posets is also derived.

Let M_n be the n! * n! matrix indexed by permutations of S_n, defined by M_n(sigma,tau)=1 if every descent of tau^{-1} is also a descent of sigma, and M_n(sigma,tau)=0 otherwise. We prove the following result, conjectured by P. Dehornoy: the characteristic polynomial P_n(x)=|xI-M_n| of M_n divides P_{n+1}(x) in Z[x].

We study structures of derivation modules of Coxeter multiarrangements with quasi-constant multiplicities by using the primitive derivation. As an application, we show that the characteristic polynomial of a Coxeter multiarrangement with quasi-constant multiplicity is combinatorially computable.

Calculating the permanent of a (0,1) matrix is a #P-complete problem but there are some classes of structured matrices for which the permanent is calculable in polynomial time. The most well-known example is the fixed-jump (0,1) circulant matrix which, using algebraic techniques, was shown by Minc to satisfy a constant-coefficient fixed-order recurrence relation. In this note we show how, by interpreting the problem as calculating the number of cycle-covers in a directed circulant graph, it is straightforward to reprove Minc's result using combinatorial methods. This is a two step process: the first step is to show that the cycle-covers of directed circulant graphs can be evaluated using a transfer matrix argument. The second is to show that the associated transfer matrices, while very large, actually have much smaller characteristic polynomials than would a-priori be expected. An important consequence of this new viewpoint is that, in combination with a new recursive decomposition of circulant-graphs, it permits extending Minc's result to calculating the permanent of the much larger class of circulant matrices with non-fixed (but linear) jumps. It also permits us to count other types of structures in circulant graphs, e.g., Hamiltonian Cycles.

Steingrimsson's coloring complex and Jonsson's unipolar complex are interpreted in terms of hyperplane arrangements. This viewpoint leads to short proofs that all coloring complexes and a large class of unipolar complexes have convex ear decompositions. These convex ear decompositions impose strong new restrictions on the chromatic polynomials of all finite graphs. Similar results are obtained for characteristic polynomials of submatroids of type B_n arrangements.

The complexity of a graph can be obtained as a derivative of a variation of the zeta function or a partial derivative of its generalized characteristic polynomial evaluated at a point [\textit{J. Combin. Theory Ser. B}, 74 (1998), pp. 408--410]. A similar result for the weighted complexity of weighted graphs was found using a determinant function [\textit{J. Combin. Theory Ser. B}, 89 (2003), pp. 17--26]. In this paper, we consider the determinant function of two variables and discover a condition that the weighted complexity of a weighted graph is a partial derivative of the determinant function evaluated at a point. Consequently, we simply obtain the previous results and disclose a new formula for the Bartholdi zeta function. We also consider a new weighted complexity, for which the weights of spanning trees are taken as the sum of weights of edges in the tree, and find a similar formula for this new weighted complexity. As an application, we compute the weighted complexities of the product of the complete graphs.

In this paper, we find computational formulae for generalized characteristic polynomials of graph bundles. We show that the number of spanning trees in a graph is the partial derivative (at (0,1)) of the generalized characteristic polynomial of the graph. Since the reciprocal of the Bartholdi zeta function of a graph can be derived from the generalized characteristic polynomial of a graph, consequently, the Bartholdi zeta function of a graph bundle can be computed by using our computational formulae.

We study central hyperplane arrangements with integral coefficients modulo positive integers $q$. We prove that the cardinality of the complement of the hyperplanes is a quasi-polynomial in two ways, first via the theory of elementary divisors and then via the theory of the Ehrhart quasi-polynomials. This result is useful for determining the characteristic polynomial of the corresponding real arrangement. With the former approach, we also prove that intersection lattices modulo $q$ are periodic except for a finite number of $q$'s.

Given a degenerate $(n+1)$-simplex in a $d$-dimensional space $M^d$ (Euclidean, spherical or hyperbolic space, and $d\geq n$), for each $k$, $1\leq k\leq n$, Radon's theorem induces a partition of the set of $k$-faces into two subsets. We prove that if the vertices of the simplex vary smoothly in $M^d$ for $d=n$, and the volumes of $k$-faces in one subset are constrained only to decrease while in the other subset only to increase, then any sufficiently small motion must preserve the volumes of all $k$-faces; and this property still holds in $M^d$ for $d\geq n+1$ if an invariant $c_{k-1}(α^{k-1})$ of the degenerate simplex has the desired sign. This answers a question posed by the author, and the proof relies on an invariant $c_k(ω)$ we discovered for any $k$-stress $ω$ on a cell complex in $M^d$. We introduce a characteristic polynomial of the degenerate simplex by defining $f(x)=\sum_{i=0}^{n+1}(-1)^{i}c_i(α^i)x^{n+1-i}$, and prove that the roots of $f(x)$ are real for the Euclidean case. Some evidence suggests the same conjecture for the hyperbolic case.

Often in mathematics it is useful to summarize a multivariate phenomenon with a single number and in fact, the determinant -- which is represented by det -- is one of the simplest cases. In fact, this number it is defined only for square matrices and a lot of its properties are very well-known. For instance, the determinant is a multiplicative function, i.e. det(AB)=detA detB, but it is not, in general, an additive function. Another interesting function in the matrix analysis is the characteristic polynomial -- in fact, given a matrix A, this function is defined by $p_A(t)=det(tI-A)$ where I is the identity matrix -- which elements are, up a sign, the elementary symmetric functions associated to the eigenvalues of the matrix A. In the present paper new expressions related with the determinant of sum of matrices and the elementary symmetric functions are given. Moreover, the connection with the Mobius function and the partial ordered sets (poset) is presented. Finally, a problem related with the determinant of sum of matrices is solved.

Given a nonnegative integer $m$ and a finite collection ${\mathcal A}$ of linear forms on ${\mathbb Q}^d$, the arrangement of affine hyperplanes in ${\mathbb Q}^d$ defined by the equations $α(x) = k$ for $α\in {\mathcal A}$ and integers $k \in [-m, m]$ is denoted by ${\mathcal A}^m$. It is proved that the coefficients of the characteristic polynomial of ${\mathcal A}^m$ are quasi-polynomials in $m$ and that they satisfy a simple combinatorial reciprocity law.

Hyperplanes of the form x_j = x_i + c are called affinographic. For an affinographic hyperplane arrangement in R^n, such as the Shi arrangement, we study the function f(M) that counts integral points in [1,M]^n that do not lie in any hyperplane of the arrangement. We show that f(M) is a piecewise polynomial function of positive integers M, composed of terms that appear gradually as M increases. Our approach is to convert the problem to one of counting integral proper colorations of a rooted integral gain graph. An application is to interval coloring in which the interval of available colors for vertex v_i has the form [(h_i)+1,M]. A related problem takes colors modulo M; the number of proper modular colorations is a different piecewise polynomial that for large M becomes the characteristic polynomial of the arrangement (by which means Athanasiadis previously obtained that polynomial). We also study this function for all positive moduli.

We express the averages of products of characteristic polynomials for random matrix ensembles associated with compact symmetric spaces in terms of Jack polynomials or Heckman and Opdam's Jacobi polynomials depending on the root system of the space. We also give explicit expressions for the asymptotic behavior of these averages in the limit as the matrix size goes to infinity.