arXiv++ Combinatorics

A canonical Huffman sequence is characterized by a zero inner-product between itself and each of its shifted copies, except at their largest relative shifts: their aperiodic auto-correlation then becomes delta-like, a single central peak surrounded by zeros, with one non-zero entry at each end. Prior work showed that the few known families of Huffman sequences (of length $N = 4n-1$, for integers $n > 1$, with continuously scalable elements) are based upon Fibonacci polynomials. Related multi-dimensional ($nD$) Huffman arrays were designed, as well as non-canonical quasi-Huffman arrays that also possess delta-like auto-correlations. We examined links between these discrete sequences and delta-correlated functions defined on the continuum, and provided simple non-iterative approaches to successfully deconvolve $nD$ data blurred by diffuse Huffman arrays. Here we describe new constructions for canonical Huffman sequences. Examples of length $N = 4n+1$, $N = 2n$ and families of arbitrary length are given, including scaled forms, as well as for Fibonacci-based arrays with perfect periodic auto-correlations, that are zero for all non-zero cyclic shifts. A generalization to include canonical sequences with complex scale factors invokes an equally useful dual form of delta-correlation. We also present $1D$ arrays with a much smaller dynamic range than those where the elements are built using Fibonacci recursion. When Huffman arrays (that are comprised of inherently signed values) are employed as diffuse probe beams for image acquisition, a new two-mask de-correlating step is described here that significantly reduces the total incident radiation dose compared to a prior method that added a positive pedestal-offset.

Two signed graphs are called switching isomorphic to each other if one is isomorphic to a switching of the other. The wheel $W_n$ is the join of the cycle $C_n$ and a vertex. For $0 \leq p \leq n$, $ψ_{p}(n)$ is defined to be the number of switching non-isomorphic signed $W_n$ with exactly $p$ negative edges on $C_n$. The number of switching non-isomorphic signed $W_n$ is denoted by $ψ(n)$. In this paper, we compute the values of $ψ_{p}(n)$ for $p=0,1,2,3,4,n-4,n-3,n-2,n-1,n$ and of $ψ(n)$ for $n=4,5,...,10$. Our method of obtaining $ψ_{p}(n)$ not only count the switching non-isomorphic signed wheels but also generates them.

We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the corresponding matrix. They count cyclically symmetric rhombus tilings of hexagonal regions with triangular holes. We extend a previous systematic study of these families, where the locations of the Kronecker deltas depended on an additional parameter, to families with negative Kronecker deltas. By adapting Zeilberger's holonomic ansatz to make it work for our problems, we can take full advantage of computer algebra tools for symbolic summation. This, together with the combinatorial interpretation, allows us to realize some new determinantal relationships. From there, we are able to resolve all remaining open conjectures related to these determinants, including one from 2005 due to Lascoux and Krattenthaler.

This paper presents a combinatorial study of the super plactic monoid of type A, which is related to the representations of the general linear Lie superalgebra. We introduce the analogue of the Schützenberger's jeu de taquin on the structure of super tableaux over a signed alphabet. We show that this procedure which transforms super skew tableaux into super Young tableaux is compatible with the super plactic congruence and it is confluent. We deduce properties relating the super jeu de taquin to insertion algorithms on super tableaux. Moreover, we introduce the super evacuation procedure as an involution on super tableaux and we show its compatibility with the super plactic congruence. Finally, we describe the super jeu de taquin in terms of Fomin's growth diagrams in order to give a combinatorial version of the super Littlewood--Richardson rule.

The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from the fundamental one to its translation by the given dominant weight. This is established through quantum Yang-Baxter moves, which biject the objects of the model associated with two such alcove paths, and can be viewed as a generalization of jeu de taquin slides to arbitrary root systems. The purpose of this paper is to give a generalization of quantum Yang-Baxter moves to the quantum alcove model corresponding to an arbitrary weight, which was used to express a general Chevalley formula in the equivariant $K$-group of semi-infinite flag manifolds. The generalized quantum Yang-Baxter moves give rise to a "sijection" (bijection between signed sets), and are shown to preserve certain important statistics, including weights and heights. As an application, we prove that the generating function of these statistics does not depend on the choice of a reduced alcove path. Also, we obtain an identity for the graded characters of Demazure submodules of level-zero extremal weight modules over a quantum affine algebra, which can be thought of as a representation-theoretic analogue of the mentioned Chevalley formula. Other applications and some open problems involving "signed crystals" are discussed.

We introduce a two-parameter function $φ_{q_+,q_-}$ on the infinite hyperoctahedral group, which is a bivariate refinement of the reflection length keeping track of the long and the short reflections separately. We show that this signed reflection function $φ_{q_+,q_-}$ is positive definite if and only if it is an extreme character of the infinite hyperoctahedral group and we classify the corresponding set of parameters $q_+,q_-$. We construct the corresponding representations through a natural action of the hyperoctahedral group $B(n)$ on the tensor product of $n$ copies of a vector space, which gives a two-parameter analog of the classical construction of Schur--Weyl. We apply our classification to construct a cyclic Fock space of type B generalizing the one-parameter construction in type A found previously by Bożejko and Guta. We also construct a new Gaussian operator acting on the cyclic Fock space of type B and we relate its moments with the Askey--Wimp--Kerov distribution by using the notion of cycles on pair-partitions, which we introduce here. Finally, we explain how to solve the analogous problem for the Coxeter groups of type D by using our main result.

For positive integers $n,r,k$ with $n\ge r$ and $k\ge2$, a set $\{(x_1,y_1),(x_2,y_2),\dots,(x_r,y_r)\}$ is called a $k$-signed $r$-set on $[n]$ if $x_1,\dots,x_r$ are distinct elements of $[n]$ and $y_1\dots,y_r\in[k]$. We say a $t$-intersecting family consisting of $k$-signed $r$-sets on $[n]$ is trivial if each member of this family contains a fixed $k$-signed $t$-set. In this paper, we determine the structure of large maximal non-trivial $t$-intersecting families. In particular, we characterize the non-trivial $t$-intersecting families with maximum size for $t\ge2$, extending a Hilton-Milner-type result for signed sets given by Borg.

In this note we investigate finite-type invariants of the pure braids arising from signed sorting networks.

A signed graph is a simple graph with two types of edges: positive and negative edges. Switching a vertex $v$ of a signed graph corresponds to changing the type of each edge incident to $v$. A homomorphism from a signed graph $G$ to another signed graph $H$ is a mapping $\varphi: V(G) \rightarrow V(H)$ such that, after switching some of the vertices of $G$, $\varphi$ maps every edge of $G$ to an edge of $H$ of the same type. The chromatic number $χ_s(G)$ of a signed graph $G$ is the order of a smallest signed graph $H$ such that there is a homomorphism from $G$ to $H$. The maximum average degree $mad(G)$ of a graph $G$ is the maximum of the average degrees of all the subgraphs of $G$. We denote $\mathcal{M}_k$ the class of signed graphs with maximum average degree less than $k$ and $\mathcal{P}_g$ the class of planar signed graphs of girth at least $g$. We prove: $χ_s(\mathcal{P}_{7}) \le 5$, $χ_s(\mathcal{M}_{\frac{17}{5}}) \le 10$ which implies $χ_s(\mathcal{P}_{5}) \le 10$, $χ_s(\mathcal{M}_{4-\frac{8}{q+3}}) \le q+1$ with $q$ a prime power congruent to 1 modulo 4.

We make advances towards a structural characterisation of the signed graphs $H$ for which the list switch $H$-colouring problem $\operatorname{LSwHom}(H)$ problem is polynomial time solvable. We conjecture a characterisation for signed graphs that can be switched to graphs such that every negative edge is also positive, and prove the characterisation in the case that the signed graph is reflexive.

We show that for any permutation $w$ that avoids a certain set of 13 patterns of lengths 5 and 6, the Schubert polynomial $\mathfrak S_w$ can be expressed as the determinant of a matrix of elementary symmetric polynomials in a manner similar to the Jacobi-Trudi identity. For such $w$, this determinantal formula is equivalent to a (signed) subtraction-free expansion of $\mathfrak S_w$ in the basis of standard elementary monomials.

We give a simple proof of a major index determinant formula in the symmetric group discovered by Krattenthaler and first proved by Thibon using noncommutative symmetric functions. We do so by proving a factorization of an element in the group ring of the symmetric group. By applying similar methods to the groups of signed permutations and colored permutations, we prove determinant formulas in these groups as conjectured by Krattenthaler.

A complex unit gain graph ($\mathbb{T}$-gain graph), $Φ= (G, \varphi)$ is a graph where the function $\varphi$ assigns a unit complex number to each orientation of an edge of $G$, and its inverse is assigned to the opposite orientation. A $ \mathbb{T} $-gain graph $Φ$ is balanced if the product of the edge gains of each cycle (with a fixed orientation) is $1$. Signed graphs are special cases of $\mathbb{T}$-gain graphs. The adjacency matrix of $Φ$, denoted by $ \mathbf{A}(Φ)$ is defined canonically. The gain Laplacian for $Φ$ is defined as $\mathbf{L}(Φ) = \mathbf{D}(Φ) - \mathbf{A}(Φ)$, where $\mathbf{D}(Φ)$ is the diagonal matrix with diagonal entries are the degrees of the vertices of $G$. The minimum number of vertices (resp., edges) to be deleted from $Φ$ in order to get a balanced gain graph the frustration number (resp, frustration index). We show that frustration number and frustration index are bounded below by the smallest eigenvalue of $\mathbf{L}(Φ)$. We provide several lower and upper bounds for extremal eigenvalues of $\mathbf{L}(Φ)$ in terms of different graph parameters such as the number of edges, vertex degrees, and average $2$-degrees. The signed graphs are particular cases of the $\mathbb{T}$-gain graphs, all the bounds established in paper hold for signed graphs. Most of the bounds established here are new for signed graphs. Finally, we perform comparative analysis for all the obtained bounds in the paper with the state-of-the-art bounds available in the literature for randomly generated Erdős-Reýni graphs. Some of the major highlights of our paper are the gain-dependent bounds, limit convergence of the bounds to the extremal eigenvalues, and optimal extremal bounds obtained by posing optimization problems to achieve the best possible bounds.

Let $Γ=(K_{n},H^-)$ be a signed complete graph whose negative edges induce a subgraph $H$. The index of $Γ$ is the largest eigenvalue of its adjacency matrix. In this paper we study the index of $Γ$ when $H$ is a unicyclic graph. We show that among all signed complete graphs of order $n>5$ whose negative edges induce a unicyclic graph of order $k$ and maximizes the index, the negative edges induce a triangle with all remaining vertices being pendant at the same vertex of the triangle.

Recently, Gross, Mansour and Tucker introduced the partial-dual genus polynomial of a ribbon graph as a generating function that enumerates the partial duals of the ribbon graph by genus. It is analogous to the extensively-studied polynomial in topological graph theory that enumerates by genus all embeddings of a given graph. To investigate the partial-dual genus polynomial one only needs to focus on bouquets, i.e. ribbon graphs with only one vertex. In this paper, we shall further show that the partial-dual genus polynomial of a bouquet essentially depends on the signed intersection graph of the bouquet rather than on the bouquet itself. That is to say the bouquets with the same signed intersection graph will have the same partial-dual genus polynomial. We then prove that the partial-dual genus polynomial of a bouquet contains non-zero constant term if and only if its signed intersection graph is positive and bipartite. Finally we consider a conjecture posed by Gross, Mansour and Tucker. that there is no orientable ribbon graph whose partial-dual genus polynomial has only one non-constant term, we give a characterization of non-empty bouquets whose partial-dual genus polynomials have only one term by consider non-orientable case and orientable case separately.

The object of this paper is to give a systematic treatment of excedance-type polynomials. We first give a sufficient condition for a sequence of polynomials to have alternatingly increasing property, and then we present a systematic study of the joint distribution of excedances, fixed points and cycles of permutations and derangements, signed or not, colored or not. Let $p\in [0,1]$ and $q\in [0,1]$ be two given real numbers. We prove that the cyc q-Eulerian polynomials of permutations are bi-gamma-positive, and the fix and cyc (p,q)-Eulerian polynomials of permutations are alternatingly increasing, and so they are unimodal with modes in the middle, where fix and cyc are the fixed point and cycle statistics. When p=1 and q=1/2, we find a combinatorial interpretation of the bi-gamma-coefficients of the (p,q)-Eulerian polynomials. We then study excedance and flag excedance statistics of signed permutations and colored permutations. In particular, we establish the relationships between the (p,q)-Eulerian polynomials and some multivariate Eulerian polynomials. Our results unify and generalize a variety of recent results.

In this paper we consider the hyperplane arrangement in $\mathbb{R}^n$ whose hyperplanes are $\{x_i + x_j = 1\mid 1\leq i < j\leq n\}\cup \{x_i=0,1\mid 1\leq i\leq n\}$. We call it the \emph{boxed threshold arrangement} since we show that the bounded regions of this arrangement are contained in an $n$-cube and are in one-to-one correspondence with the labeled threshold graphs on $n$ vertices. The problem of counting regions of this arrangement was studied earlier by Joungmin Song. He determined the characteristic polynomial of this arrangement by relating its coefficients to the count of certain graphs. Here, we provide bijective arguments to determine the number of regions. In particular, we construct certain signed partitions of the set $\{-n,\dots, n\}\setminus\{0\}$ and also construct colored threshold graphs on $n$ vertices and show that both these objects are in bijection with the regions of the boxed threshold arrangement. We independently count these objects and provide closed form formula for the number of regions.

A complex unit gain graph ($ \mathbb{T} $-gain graph), $ Φ=(G, \varphi) $ is a graph where the function $ \varphi $ assigns a unit complex number to each orientation of an edge of $ G $, and its inverse is assigned to the opposite orientation. %A complex unit gain graph($ \mathbb{T} $-gain graph) is a simple graph where each orientation of an edge is given a complex unit, and its inverse is assigned to the opposite orientation of the edge. In this article, we propose gain distance matrices for $ \mathbb{T} $-gain graphs. These notions generalize the corresponding known concepts of distance matrices and signed distance matrices. Shahul K. Hameed et al. introduced signed distance matrices and developed their properties. Motivated by their work, we establish several spectral properties, including some equivalences between balanced $ \mathbb{T} $-gain graphs and gain distance matrices. Furthermore, we introduce the notion of positively weighted $ \mathbb{T} $-gain graphs and study some of their properties. Using these properties, Acharya's and Stanić's spectral criteria for balance are deduced. Moreover, the notions of order independence and distance compatibility are studied. Besides, we obtain some characterizations for distance compatibility.

The signed permutation modules are a simultaneous generalization of the ordinary permutation modules and the twisted permutation modules of the symmetric group. In a recent paper Dave Benson and Peter Symonds defined a new invariant $γ_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for all the signed permutation modules of the symmetric group using tools from representation theory and combinatorics.

We generalize three classical characterizations of line graphs to line graphs of signed and gain graphs: the Krausz's characterization, the van Rooij and Wilf's characterization and the Beineke's characterization. In particular, we present a list of forbidden gain subgraphs characterizing the class of gain-line graphs. In the case of a signed graph whose underlying graph is a line graph, this list consists of exactly four signed graphs. Under the same hypothesis, we prove that a signed graph is the line graph of a signed graph if and only if its eigenvalues are either greater than $-2$, or less than $2$, depending on which particular definition of line graph is adopted.