arXiv++ Combinatorics

Our purpose with this paper is, in first place, to recast the space of quiddity sequences corresponding to usual frieze patterns as a different type of SET operad, and second to introduce and study $\mathfrak{M}$-quiddity sequences where $\mathfrak{M}$ is a monodromy block matrix of order two. Also, we examine some related topic as are the possibility of to define matrix-valued friezes patterns and noncommutative signed Chebyshev polynomials.

In this paper we use the double affine Hecke algebra to compute the Macdonald polynomial products $E_\ell P_m$ and $P_\ell P_m$ for type $SL_2$ and type $GL_2$ Macdonald polynomials. Our method follows the ideas of Martha Yip but executes a compression to reduce the sum from $2\cdot 3^{\ell-1}$ signed terms to $2\ell$ positive terms. We show that our rule for $P_\ell P_m$ is equivalent to a special case of the Pieri rule of Macdonald. Our method shows that computing $E_\ell\mathbf{1}_0$ and $\mathbf{1}_0 E_\ell \mathbf{1}_0$ in terms of a special basis of the double affine Hecke algebra provides universal compressed formulas for multiplication by $E_\ell$ and $P_\ell$. The formulas for a specific products $E_\ell P_m$ and $P_\ell P_m$ are obtained by evaluating the universal formulas at $t^{-\frac12}q^{-\frac{m}{2}}$.

In this paper, we extend our earlier proposal of corona product of signed graphs into generalized corona product of signed graphs inspired by the generalized corona product of unsigned graphs. Then we study structural balance and spectral properties of these graphs. Utilizing the notion of coronal of a graph, we determine computable formulae of characteristic, Laplacian, and signless Laplacian polynomials of generalized corona product of signed graphs. Finally, we provide sufficient conditions for the generalized corona product of some distinct collections of signed graphs to be co-spectral.

We present monotonicity inequalities for certain functions involving eigenvalues of $p$-Laplacians on signed graphs with respect to $p$. Inspired by such monotonicity, we propose new spectrum-based graph invariants, called (variational) cut-off adjacency eigenvalues, that are relevant to certain eigenvector-dependent nonlinear eigenvalue problem. Using these invariants, we obtain new lower bounds for the $p$-Laplacian variational eigenvalues, essentially giving the state-of-the-art spectral asymptotics for these eigenvalues. Moreover, based on such invariants, we establish two inertia bounds regarding the cardinalities of a maximum independent set and a minimum edge cover, respectively. The first inertia bound enhances the classical Cvetković bound, and the second one implies that the $k$-th $p$-Laplacian variational eigenvalue is of the order $2^p$ as $p$ tends to infinity whenever $k$ is larger than the cardinality of a minimum edge cover of the underlying graph. We further discover an interesting connection between graph $p$-Laplacian eigenvalues and tensor eigenvalues and discuss applications of our invariants to spectral problems of tensors.

This article deals with homomorphisms of oriented graphs with respect to push equivalence. Here homomorphisms refer to arc preserving vertex mappings, and push equivalence refers to the equivalence class of orientations of a graph $G$ those can be obtained from one another by reversing arcs of an edge cut. We study and prove some fundamental properties of pushable homomorphisms, and establish its connections to homomorphisms of signed graphs and graph coloring. To list a few highlights of this work: $\bullet$ We characterize orientations of a graph up to push equivalence and show that it is possible to decide whether they are equivalent or not in polynomial time. $\bullet$ We give a canonical definition of pushable homomorphism - this answers a natural open question. $\bullet$ We build a one-to-one correspondence between the equivalence classes of oriented and signed bipartite graphs. Thus, it is possible to translate a number of important results directly from the theory of signed graphs to oriented graphs. In particular, we show that pushable homomorphisms of bipartite graphs capture the entire theory of graph coloring as a subcase. $\bullet$ Given a graph $G$, we build a gadget oriented graph $\overrightarrow{G}^{(k)}$ which admits a pushable homomorphism to a directed odd cycle of length $(2k+1)$ if and only if $G$ admits a $(2k+1)$-coloring. We also show that it is NP-complete to determine whether an oriented (sparse) graph admits a pushable homomorphism to a directed odd cycle or not.

For each $p>0$ we define by recurrence a triangle $T^p(n,k)$ whose rows sum to the Fuss-Catalan numbers $ \frac{1}{p n+1}\binom{pn+1}{n}$, generalizing the known Catalan triangle corresponding to the case $p=2$. (In fact, $T^p(n,k)$ has an explicit formula counting simple lattice paths). Moreover, for some small values of $p$, the signed sums turn out to be known sequences. \end{abstract}

Let $T$ be a tree with an irreducible characteristic polynomial $φ(x)$ over $\mathbb{Q}$. Let $Δ(T)$ be the discriminant of $φ(x)$. It is proved that if $2^{-\frac n2}\sqrt{Δ(T)}$ (which is always an integer) is odd and square free, then every signed tree with underlying graph $T$ is determined by its generalized spectrum.

We examine clusters in the cluster tube of rank $n+1$ using exceptional sequences in the abelian tube of rank $n+1$. Although the abelian tube has more exceptional sequences than the module categories of type $B_{n}/C_{n}$, we obtain a bijection between the set of signed exceptional sequences of any length in these categories. This bijection gives a reinterpretation of the formula of Buan-Marsh-Vatne comparing clusters of type $B_n/C_n$ with maximal rigid objects in the cluster tube of rank $n+1$. The bijection passes through the set of "augmented" rooted labeled trees.

We provide asymptotic theory for the joint distribution of $X_{\mathrm{inv}}$ and $X_{\mathrm{des}}$, the numbers of inversions and descents of random permutations. Recently, Dörr & Kahle (2022) proved that $X_{\mathrm{inv}}$, respectively, $X_{\mathrm{des}}$ is in the maximum domain of attraction of the Gumbel distribution. To tackle the dependency between these two permutation statistics, we use Hájek projections and a suitable quantitative Gaussian approximation. We show that $(X_{\mathrm{inv}}, X_{\mathrm{des}})$ is in the maximum domain of attraction of the two-dimensional Gumbel distribution with independent margins. This result can be stated in the broader combinatorial framework of finite Coxeter groups, on which our method also yields the central limit theorem for $(X_{\mathrm{inv}}, X_{\mathrm{des}})$ and various other permutation statistics as a novel contribution. In particular, signed permutation groups with random biased signs and products of classical Weyl groups are investigated.

The classical spectral Turán problem is to determine the maximum spectral radius of an $\mathcal{F}$-free graph of order $n.$ Let $\mathcal{K}_{k}^{-}$ be the set of all unbalanced $K_k.$ In this paper, we focus on the spectral Turán problem of $\mathcal{K}_{k}^{-}$-free unbalanced signed graph for $k\geq5$. Moreover, we give an answer for $k=5$ and completely characterize the corresponding extremal signed graph.

Let $Γ=(G, σ)$ be a signed graph of order $n$ with eigenvalues $μ_1,μ_2,\ldots,μ_n.$ We define the Estrada index of a signed graph $Γ$ as $EE(Γ)=\sum_{i=1}^ne^{μ_i}$. We characterize the signed unicyclic graphs with the maximum Estrada index. The signed graph $Γ$ is said to have the pairing property if $μ$ is an eigenvalue whenever $-μ$ is an eigenvalue of $Γ$ and both $μ$ and $-μ$ have the same multiplicities. If $Γ_{p}^-(n, m)$ denotes the set of all unbalanced graphs on $n$ vertices and $m$ edges with the pairing property, we determine the signed graphs having the maximum Estrada index in $Γ_{p}^-(n, m)$, when $m=n$ and $m=n+1$. Finally, we find the signed graphs among all unbalanced complete bipartite signed graphs having the maximum Estrada index.

A signed graph $(G,σ)$ on $n$ vertices is called a \textit{parity signed graph} if there is a bijective mapping $f \colon V(G) \rightarrow \{1,\ldots,n\}$ such that $f(u)$ and $f(v)$ have same parity if $σ(uv)=1$, and opposite parities if $σ(uv)=-1$ for each edge $uv$ in $G$. The \emph{rna} number $σ^{-}(G)$ of $G$ is the least number of negative edges among all possible parity signed graphs over $G$. In other words, $σ^{-}(G)$ is the smallest size of an edge-cut of $G$ such that the sizes of two sides differ at most one. Let $C_n^{d}$ be the $d\text{th}$ power of a cycle of order $n$. Recently, Acharya, Kureethara and Zaslavsky proved that the \emph{rna} number of a cycle $C_n$ on $n$ vertices is $2$. In this paper, we show for $2 \leq d < \lfloor \frac{n}{2} \rfloor$ that $2d \leq σ^{-}(C_n^{d}) \leq d(d+1)$. Moreover, we prove that the graphs $C_n^{2}$ and $C_n^{3}$ achieve the upper bound of $d(d+1)$.

In this work, we discuss some properties of the eigenvalues of some classes of signed complete graphs. We also obtain the form of characteristic polynomial for these graphs.

Let $\mathcal{C}_{k}^{-}$ be the set of all negative $C_k$. For odd cycle, Wang, Hou and Li [29] gave a spectral condition for the existence of negative $C_3$ in unbalanced signed graphs. For even cycle, we determine the maximum index among all $\mathcal{C}_4^{-}$-free unbalanced signed graphs and completely characterize the extremal signed graph in this paper. This could be regarded as a signed graph version of the results by Nikiforov [23] and Zhai and Wang [37].

We say that a signed graph is $k$-critical if it is not $k$-colorable but every one of its proper subgraphs is $k$-colorable. Using the definition of colorability due to Naserasr, Wang, and Zhu that extends the notion of circular colorability, we prove that every $3$-critical signed graph on $n$ vertices has at least $\frac{3n-1}{2}$ edges, and that this bound is asymptotically tight. It follows that every signed planar or projective-planar graph of girth at least $6$ is (circular) $3$-colorable, and for the projective-planar case, this girth condition is best possible. To prove our main result, we reformulate it in terms of the existence of a homomorphism to the signed graph $C_{3}^*$, which is the positive triangle augmented with a negative loop on each vertex.

Separable elements in Weyl groups are generalizations of the well-known class of separable permutations in symmetric groups. Gaetz and Gao showed that for any pair $(X,Y)$ of subsets of the symmetric group $\mathfrak{S}_n$, the multiplication map $X\times Y\rightarrow \mathfrak{S}_n$ is a splitting (i.e., a length-additive bijection) of $\mathfrak{S}_n$ if and only if $X$ is the generalized quotient of $Y$ and $Y$ is a principal lower order ideal in the right weak order generated by a separable element. They conjectured this result can be extended to all finite Weyl groups. In this paper, we classify all separable and minimal non-separable signed permutations in terms of forbidden patterns and confirm the conjecture of Gaetz and Gao for Weyl groups of type $B$.

In 1983, Bouchet proved that every bidirected graph with a nowhere-zero integer-flow has a nowhere-zero 216-flow, and conjectured that 216 could be replaced with 6. This paper shows that for cyclically 5-edge-connected bidirected graphs that number can be replaced with 8.

Given a graph drawn in the plane, the degenerate crossing number of the drawing is the number of points in the plane which are contained in the relative interior of at least two edges, where each edge is required to be drawn as a simple arc. The degenerate crossing number of a graph is the minimum degenerate crossing number among all its drawings. Given a drawing, cutting a neighborhood of the surface around each crossing and pasting a Möbius band gives a non-orientable surface, on which the drawing of the graph can be extended to an embedding. From this observation, Mohar derived that the degenerate crossing number of a graph is at most its non-orientable genus, and conjectured that these quantities are equal for every graph. He also made a stronger conjecture for loopless pseudo-triangulations with a fixed embedding scheme. In this paper, we prove a structure theorem that allows to understand when the degenerate crossing number and non-orientable genus coincide in a large class of loopless bipartite embedding schemes. In particular, we provide a counterexample to Mohar's stronger conjecture, but show that in the vast majority of the 2-vertex cases, as well as for many bipartite graphs, Mohar's conjecture is satisfied. The reversal distance between two signed permutations is the minimum number of reversals that transform one permutation to the other one. If we represent the trajectory of each element of a signed permutation under successive reversals by a simple arc, we obtain a drawing of a 2-vertex embedding scheme with degenerate crossings. Our main result is proved by leveraging this connection and a classical result in genome rearrangement (the Hannenhalli--Pevzner algorithm) and can also be understood as an extension of this algorithm when the reversals do not necessarily happen in a monotone order.

We present parity conditions under which a toy rail network is one-way, i.e., whether a direction can be assigned across the network so that all train journeys are completely consistent with it or completely consistent with its opposite. We show that this problem is equivalent to determining the balance of a signed graph obtained from the network, whose edges are assigned positive or negative signs. Using signed-graph theory, we derive two equivalent parity conditions for one-wayness: (i) every cycle must contain an even number of edges that join the same sides of switches, and (ii) every cycle must contain an even number of angles at switches. Signed-graph theory also offers an analytical criterion: A connected network is one-way if and only if the smallest eigenvalue of its signed Laplacian matrix is zero, suggesting a computational tool for evaluating one-wayness.

The signed double Roman domination problem is a combinatorial optimization problem on a graph asking to assign a label from $\{\pm{}1,2,3\}$ to each vertex feasibly, such that the total sum of assigned labels is minimized. Here feasibility is given whenever (i) vertices labeled $\pm{}1$ have at least one neighbor with label in $\{2,3\}$; (ii) each vertex labeled $-1$ has one $3$-labeled neighbor or at least two $2$-labeled neighbors; and (iii) the sum of labels over the closed neighborhood of any vertex is positive. The cumulative weight of an optimal labeling is called signed double Roman domination number (SDRDN). In this work, we first consider the problem on general cubic graphs of order $n$ for which we present a sharp $n/2+Θ(1)$ lower bound for the SDRDN by means of the discharging method. Moreover, we derive a new best upper bound. Observing that we are often able to minimize the SDRDN over the class of cubic graphs of a fixed order, we then study in this context generalized Petersen graphs for independent interest, for which we propose a constraint programming guided proof. We then use these insights to determine the SDRDNs of subcubic $2\times m$ grid graphs, among other results.