arXiv++ Combinatorics

Let $C_{l}$ be a cycle with length $l.$ The $r$-uniform hypercycle with length $l$ is obtained by adding $r-2$ new vertices in every edge of $C_{l},$ denoted by $C_l^{(r)}$. In this paper, we deduce some higher-order traces for the adjacent tensor of $C_l^{(r)}$ by BEST Theorem. Then we obtain higher-order spectral moments according to the relationship between eigenvalues of power hypergraphs and eigenvalues of signed graphs. Finally, the general expression of the characteristic polynomials of $C_l^{(r)}$ is given. Furthermore, by using this general expression, we present the characteristic polynomials of $C_5^{(r)}$ and $C_6^{(r)}$ as examples.

Let $A=\{a_{1},\ldots,a_{k}\}$ be a nonempty finite subset of an additive abelian group $G$. For a positive integer $h$, the restricted $h$-fold signed sumset of $A$, denoted by $h^{\wedge}_{\pm}A$, is defined as $$h^{\wedge}_{\pm}A = \left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \left\lbrace -1, 0, 1\right\rbrace \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| =h\right\rbrace. $$ A direct problem for the restricted $h$-fold signed sumset is to find the optimal size of $h^{\wedge}_{\pm}A$ in terms of $h$ and $|A|$. An inverse problem for this sumset is to determine the structure of the underlying set $A$ when the sumset has optimal size. While the signed sumsets (which is defined differently compared to the restricted signed sumset) in finite abelian groups has been investigated by Bajnok and Matzke, the restricted $h$-fold signed sumset $h^{\wedge}_{\pm}A$ is not well studied even in the additive group of integers $\Bbb Z$. Bhanja, Komatsu and Pandey studied these problems for the restricted $h$-fold signed sumset for $h=2, 3$, and $k$, and conjectured some direct and inverse results for $h \geq 4$. In a recent paper, Mistri and Prajapati proved these conjectures completely for the set of positive integers. In this paper, we prove these conjectures for the set of nonnegative integers, which settles all the conjectures completely.

Let $A=\{a_{1},\ldots,a_{k}\}$ be a nonempty finite subset of an additive abelian group $G$. For a positive integer $h$, the $h$-fold signed sumset of $A$, denoted by $h_{\pm}A$, is defined as $$h_{\pm}A=\left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \{-h, \ldots, 0, \ldots, h\} \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| =h\right\rbrace,$$ and the restricted $h$-fold signed sumset of $A$, denoted by $h^{\wedge}_{\pm}A$, is defined as $$h^{\wedge}_{\pm}A=\left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \left\lbrace -1, 0, 1\right\rbrace \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| = h\right\rbrace. $$ A direct problem for the sumset $h^{\wedge}_{\pm}A$ is to find the optimal size of $h^{\wedge}_{\pm}A$ in terms of $h$ and $|A|$. An inverse problem for this sumset is to determine the structure of the underlying set $A$ when the sumset $h^{\wedge}_{\pm}A$ has optimal size. While some results are known for the signed sumsets in finite abelian groups due to Bajnok and Matzke, not much is known for the restricted $h$-fold signed sumset $h^{\wedge}_{\pm}A$ even in the additive group of integers $\Bbb Z$. In case of $G = \Bbb Z$, Bhanja, Komatsu and Pandey studied these problems for the sumset $h^{\wedge}_{\pm}A$ for $h=2, 3$, and $k$, and conjectured the direct and inverse results for $h \geq 4$. In this paper, we prove these conjectures completely for the sets of positive integers. In a subsequent paper, we prove these conjectures for the sets of nonnegative integers.

Motivated by discrete Laplacian differential operators with various accuracy orders in numerical analysis, we introduce new matrices attached to a simple graph that can be considered graph Laplacians with higher accuracy. In particular, we show that the number of graphs having cospectral mates with these matrices is significantly less than the ones with other known matrices. We also investigate their spectral properties and explicitly compute their eigenvalues and eigenvectors for some graphs. Along the line, we also prove the existence of a weighted signed graph with given Laplacian eigenvalues.

We study the Ehrhart theory of hypersimplices of type C, as introduced by Lam and Postnikov for general crystallographic root systems. The $h^*$-polynomials of classical hypersimplices are known to relate to various Eulerian statistics on the symmetric group. In this paper, we introduce a new statistic and partial order on signed permutations, which we use to derive explicit formulas for the $h^*$-polynomials of type C hypersimplices. Additionally, we explore connections with other statistics, including flag-excedances and circular descents, flag-descents, and Coxeter descents.

We provide a superalgebraic analogue of Markov numbers, which are defined as the Grassmann integer solutions to the equation $x^2 + y^2 + z^2 + (xy + yz + xz)ε= 3(1 + ε)xyz$, as well as applications to the Decorated Super Teichmüller spaces associated to the once-punctured torus and certain annuli. We conclude with further directions for study.

This study examines the fractional chromatic number associated with the direct product of signed graphs. It shows that if $(H,τ)$ is a signed circulant graph $G(n,S,T)$, then for any signed graph $(G,σ)$, the fractional chromatic number of their direct product is the lower number between the fractional chromatic number of $(G,σ)$ and $(H,τ)$.

We introduce a new symmetry class of both boxed plane partitions and lozenge tilings of a hexagon, called the $\mathbf{r}$-block diagonal symmetry class, where $\mathbf{r}$ is an $n$-tuple of non-negative integers. We prove that the tiling generating function of this symmetry class under a certain weight assignment is given by a simple product formula. As a consequence, the volume generating function of $\mathbf{r}$-block symmetric plane partitions is obtained. Additionally, we consider $(\mathbf{r},\mathbf{r^{\prime}})$-block diagonally symmetric lozenge tilings by embedding the hexagon into a cylinder and present an identity for the signed enumeration of this symmetry class in specific cases. Two methods are provided to study this symmetry class: (1) the method of non-intersecting lattice paths with a modification, and (2) interpreting weighted lozenge tilings algebraically as (skew) Schur polynomials and applying the dual Pieri rule.

This paper considers a finite group $G$ acting linearly on the variables $V$ of a polynomial algebra, or an exterior algebra, or superpolynomial algebra with both commuting and anticommuting variables. In this setting, the Hilbert series for the $G$-invariant subalgebra turns out to determine the analogous Hilbert series for the wreath product $P[G]$ acting on $V^n$ for any permutation group $P$ inside the symmetric group $S_n$ on $n$ letters. This leads to a structural result: one can collate the direct sum for all $n$ of the $S_n[G]$-invariant subalgebras to form a graded ring via an external shuffle product, whose structure turns out to be a superpolynomial algebra generated by the $G$-invariants. A parallel statement holds for the direct sum of all $S_n[G]$-antiinvariants, which forms a graded ring via an external signed shuffle product, isomorphic to the superexterior algebra generated by the $G$-invariants.

We study Type C $K$-Stanley symmetric functions, which are $K$-theoretic extensions of the Type C Stanley symmetric functions. They are indexed by signed permutations and can be used to enumerate reduced words via their expansion into Schur $Q$-functions, which are indexed by strict partitions. A combinatorial description of the Schur $Q$- coefficients is given by Kraśkiewicz insertion. Similarly, their $K$-Stanley analogues are conjectured to expand positively into $GQ$'s, which are $K$-theory representatives for the Lagrangian Grassmannian introduced by Ikeda and Naruse also indexed by strict partitions. We introduce a $K$-theoretic analogue of Kraśkiewicz insertion, which can be used to enumerate 0-Hecke expressions for signed permutations and gives a conjectural combinatorial rule for computing this $GQ$ expansion. We show the Type C $K$-Stanleys for certain fully commutative signed permutations are skew $GQ$'s. Combined with a Pfaffian formula of Anderson's, this allows us to prove Lewis and Marberg's conjecture that $GQ$'s of (skew) rectangle shape are $GQ$'s of trapezoid shape. Combined with our previous conjecture, this also gives an explicit combinatorial description of the skew $GQ$ expansion into $GQ$'s. As a consequence, we obtain a conjecture for the product of two $GQ$ functions where one has trapezoid shape.

Let $G^σ=(G,σ)$ be a connected signed graph and $A(G^σ)$ be its adjacency matrix. The positive inertia index of $G^σ$, denoted by $p^{+}(G^σ)$, is defined as the number of positive eigenvalues of $A(G^σ)$. Assume that $G^σ$ contains at least one cycle, and let $g_{r}$ be its girth. In this paper, we prove $p^{+}(G^σ) \geq \lceil \frac {g_{r}}{2} \rceil-1$ for a signed graph $G^σ$. The extremal signed graphs corresponding to $p^{+}(G^σ) = \lceil \frac {g_{r}}{2} \rceil-1$ and $p^{+}(G^σ) =\lceil \frac {g_{r}}{2} \rceil$ are characterized, respectively. The results presented in this article extend the recent work on ordinary graphs by Duan and Yang (Linear Algebra Appl., 2024) to the context of signed graphs.

Domination theory has been studied extensively in the context of binary monotone systems, where the structure function is a sum of products of the component state variables, and with coefficients given by the signed domination function. Using e.g., matroid theory, many useful properties of the signed domination function has been derived. In this paper we show how some of these results can be extended to multistate systems. In particular, we show how the signed domination function can be extended to such systems. Using Möbius inversion we show how the signed domination function can be expressed in terms of a multistate structure function. Moreover, using this expression we show how calculating the signed domination function of a multistate system can be reduced to calculating the signed domination function of an associated binary system. This way many results from binary theory can easily be extended to multistate theory.

We give a sharp lower bound to the largest possible Euclidean norm of signed sums of $n$ vectors in the plane. This is achieved by connecting the signed vector sum problem to the isoperimetric problem for the circumradius of polygons. In turn, we apply the sharp bound for the signed vector sum problem to establish a sharp lower bound to the circumradius of the Minkowski sum of $n$ planar symmetric convex bodies. We also determine a tight lower bound to the circumradius of the Minkowski sum of general convex bodies in any dimension independent of their number.

A signed complete graph contains both positive and negative Hamiltonian cycles if and only if it also contains both positive and negative triangles. Otherwise, all Hamiltonian cycles are negative if and only if all triangles are negative and n is odd, while all Hamiltonian cycles are positive if and only if all triangles are negative and n is even, or all triangles are positive. Extending these results to multisigned complete graphs, we prove that such a graph contains at least two Hamiltonian cycles with different multisigns if and only if it contains at least two triangles with different multisigns.

Let $M=G/H$ be a Riemannian homogeneous space, where $G$ is a compact Lie group with closed subgroup $H$. Classical intersection theory states that the de Rham cohomology ring of $M$ describes the signed count of intersection points of submanifolds $Y_1, \ldots, Y_s$ of $M$ in general position, when the codimensions add up to $\dim M$. We introduce the probabilistic intersection ring $\mathrm{H}_{\mathbb E}(M)$, whose multiplication describes the unsigned count of intersection points, when the $Y_i$ are randomly moved by independent uniformly random elements of $G$. The probabilistic intersection ring $\mathrm{H}_{\mathbb E}(M)$ has the structure of a graded commutative and associative real Banach algebra. It is defined as a quotient of the ring of Grassmann zonoids of a fixed cotangent space $V$ of $M$. The latter was introduced by the authors in [Adv. Math. 402, 2022]. There is a close connection to valuations of convex bodies: $\mathrm{H}_{\mathbb E}(M)$ can be interpreted as a subspace of the space of translation invariant, even, continuous valuations on $V$, whose multiplication coincides with Alesker's multiplication for smooth valuations. We describe the ring structure of the probabilistic intersection ring for spheres, real projective space and complex projective space, relying on Fu [J. Diff. Geo. 72(3), 2006] for the latter case. From this, we derive an interesting probabilistic intersection formula in complex projective space. Finally, we initiate the investigation of the probabilistic intersection ring for real Grassmannians, outlining the construction of a probabilistic version of Schubert Calculus.

A spherical $t$-design is a finite subset $X$ of the unit sphere such that every polynomial of degree at most $t$ has the same average over $X$ as it does over the entire sphere. Determining the minimum possible size of spherical designs, especially in a fixed dimension as $t \to \infty$, has been an important research topic for several decades. This paper presents results on the complementary asymptotic regime, where $t$ is fixed and the dimension tends to infinity. The main results in this paper are (1) a construction of smaller spherical designs via an explicit connection to Gaussian designs and (2) the exact order of magnitude of minimal-size signed $t$-designs, which is significantly smaller than predicted by a typical degrees-of-freedom heuristic. We also establish a method to ``project'' spherical designs between dimensions, prove a variety of results on approximate designs, and construct new $t$-wise independent subsets of $\{1,2,\dots,q\}^d$ which may be of independent interest. To achieve these results, we combine techniques from algebra, geometry, probability, representation theory, and optimization.

The study of Roman domination has evolved to encompass a variety of challenging extensions, each contributing to the broader understanding of domination problems in graph theory. This paper explores the Perfect Location Signed Roman Domination (PLSRD) problem, a novel combination of the Perfect Roman, Locating Roman, and Signed Roman Domination paradigms. In PLSRD, each weak vertex, assigned the label -1, must be protected by exactly one strong vertex, with additional limitation that two weak vertices cannot share the same strong vertex, while the total sum of labels in the closed neighborhood of each vertex must remain positive. This paper provides exact values for the PLSRD number in several well-known graph classes, including complete graphs, complete bipartite graphs, wheels, paths, cycles, ladders, prism graphs, and 3 x n grids. Additionally, we establish a lower bound for a general 3 regular graph, as well as the upper bounds for flower snarks graphs, highlighting the intricate interplay between the PLSRD constraints and the structural properties of these graph families.

Combinatorial ideas are developed in this article to study Chern numbers on ample and numerically effective vector bundles. An effective lower bound for Chern numbers of ample vector bundles is established, which makes some progress towards a long-standing question. Along this line we prove that Chern numbers on nef vector bundles obey reverse dominance ordering, which improves upon some classical and recent results. We propose a simultaneous positivity question on (signed) Chern numbers of compact complex or Kähler manifolds whose (co)tangent bundles are semipositive in various senses, and show that it holds true for compact homogeneous complex manifolds.

As a nonlinear extension of the graph Laplacian, the graph $p$-Laplacian has various applications in many fields. Due to the nonlinearity, it is very difficult to compute the eigenvalues and eigenfunctions of graph $p$-Laplacian. In this paper, we establish the equivalence between the graph $p$-Laplacian eigenproblem and the tensor eigenproblem when $p$ is even. Building on this result, algorithms designed for tensor eigenproblems can be adapted to compute the eigenpairs of the graph $p$-Laplacian. For general $p>1$, we give a fast and convergent algorithm to compute the largest eigenvalue and the corresponding eigenfunction of the signless graph $p$-Laplacian. As an application, we provide a new criterion to determine when a graph is not a subgraph of another one, which outperforms existing criteria based on the linear Laplacian and adjacency matrices. Our work highlights the deep connections and numerous similarities between the spectral theories of tensors and graph $p$-Laplacians.

The Euler numbers have been widely studied. A signed version of the Euler numbers of even subscript are given by the coefficients of the exponential generating function 1/(1+x^2/2!+x^4/4!+...). Leeming and MacLeod introduced a generalization of the Euler numbers depending on an integer parameter d where one takes the coefficients of the expansion of 1/(1+x^d/d!+x^{2d}/(2d)!+...). These numbers have been shown to have many interesting properties despite being much less studied. And the techniques used have been mainly algebraic. We propose a combinatorial model for them as signed sums over ordered partitions. We show that this approach can be used to prove a number of old and new results including a recursion, integrality, and various congruences. Our methods include sign-reversing involutions and Möbius inversion over partially ordered sets.