Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Facet numbers of non-centrally symmetric reflexive polytopes arising from posets
Twinned chain polytopes form a broad class of non-centrally symmetric reflexive polytopes and exhibit intriguing structures. In the present paper, we show that the number of facets of $d$-dimensional twinned chain polytopes is at most $6^{d/2}$. In case $d$ is even, the equality holds if and only if the polytope is isomorphic to a free sum of $d/2$ copies of del Pezzo polygons. This result contributes a partial answer to Nill's conjecture: the number of facets of a $d$-dimensional reflexive polytope is at most $6^{d/2}$.
One variable equations over the lamplighter group
We prove that one variable equations in the lamplighter group $\MZ_2\wr \MZ$ are decidable and describe an algorithm for solving such equations. The algorithm has super-exponential time complexity in the worst case. We also show that, for most equations, decidability can be determined in nearly quadratic time; that is, the problem admits a nearly quadratic-time solution in the generic case.
First Betti number of real Calabi-Yau hypersurfaces: examples
Continuing the investigation of real Calabi-Yau hypersurfaces in toric varieties obtained by patchworking, we present a new theorem concerning the computation of their first Betti number using mirror symmetry. Although the proof of this result will appear elsewhere, we focus here on its consequences and applications to the topology of real Calabi-Yau hypersurfaces.
Complexity Aspects of Homomorphisms of Ordered Graphs
We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along with algorithms associated with related problems. These questions are interesting, and we show that numerous problems lead to various complexities. The reduction from homomorphisms of unordered structures to homomorphisms of ordered graphs is proved, achieved with the use of ordered bipartite graphs. We then determine the NP-completeness of the problem of finding ordered homomorphisms of ordered graphs and the XP and W[1]-hard nature of this problem parameterized by the number of vertices of the image ordered graph. Classes of ordered graphs for which this problem can be solved in polynomial time are also presented.
On Computational Aspects of Ordered Matching Problems
Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from the complexity point of view and determine their corresponding computational and parameterized complexities. We show that the subgraph of ordered matchings problem is NP-complete and we prove that the problem of finding ordered homomorphisms between ordered matchings is NP-complete as well, implying NP-completeness of more generic problems. In parameterized complexity setting, we consider a natural choice of parameter - a number of vertices of the image ordered graph. We show that in contrast to the complexity context, finding homomorphisms if the image ordered graph is an ordered matching, this problem parameterized by the number of vertices of the image ordered graph is FPT, which is known to be W[1]-hard for the general problem. We also determine that the problem of core for ordered matchings is solvable in polynomial time which is again in contrast to the NP-completeness of the general problem. We provide several algorithms and generalize some of these problems into ordered graphs with colored edges.
On Computational Aspects of Cores of Ordered Graphs
An ordered graph is a graph enhanced with a linear order on the vertex set. An ordered graph is a core if it does not have an order-preserving homomorphism to a proper subgraph. We say that $H$ is the core of $G$ if (i) $H$ is a core, (ii) $H$ is a subgraph of $G$, and (iii) $G$ admits an order-preserving homomorphism to $H$. We study complexity aspects of several problems related to the cores of ordered graphs. Interestingly, they exhibit a different behavior than their unordered counterparts. We show that the retraction problem, i.e., deciding whether a given graph admits an ordered-preserving homomorphism to its specific subgraph, can be solved in polynomial time. On the other hand, it is \NP-hard to decide whether a given ordered graph is a core. In fact, we show that it is even \NP-hard to distinguish graphs $G$ whose core is largest possible (i.e., if $G$ is a core) from those, whose core is the smallest possible, i.e., its size is equal to the ordered chromatic number of $G$. The problem is even \wone-hard with respect to the latter parameter.
Generalized Latin Square Graphs of Semigroups: A Counting Framework for Regularity and Spectra
We introduce the \emph{Generalized Latin Square Graph} $Γ(S)$ of a finite semigroup $S$. Since we record global factorization multiplicities and local alternative counts, we define three counting invariants $N_S,N_R,N_C$. This gives that we have a simple degree formula \[ \text{deg}(v)=2n-3+Q(v),\qquad Q(v)=N_S(s_k)-2N_R(v)-2N_C(v). \] We show that $Γ(S)$ is regular exactly when $Q$ is constant. We apply the framework to cancellative semigroups, bands, Brandt semigroups and null semigroups. For null semigroups, since we identify $Γ(S)\cong K_n\times K_n$, we compute the spectrum and energy. A concise computational appendix lists the \texttt{GAP} driver and representative outputs.
On the structure of ($4K_1$, $C_4$, $P_6$)-free graphs
Determining the complexity of colouring ($4K_1, C_4$)-free graph is a long open problem. Recently Penev showed that there is a polynomial-time algorithm to colour a ($4K_1, C_4, C_6$)-free graph. In this paper, we will prove that if $G$ is a ($4K_1, C_4, P_6$)-free graph that contains a $C_6$, then $G$ has bounded clique-width. To this purpose, we use a new method to bound the clique-width, that is of independent interest. As a consequence, there is a polynomial-time algorithm to colour ($4K_1, C_4, P_6$)-free graphs.
Decoding Trombetti-Zhou codes: a new syndrome-based decoding approach
In 2019, Trombetti and Zhou introduced a new family of $\mathbb{F}_{q^n}$-linear Maximum Rank Distance (MRD) codes over $\mathbb{F}_{q^{2n}}$. For such codes we propose a new syndrome-based decoding algorithm. It is well known that a syndrome-based decoding approach relies heavily on a parity-check matrix of a linear code. Nonetheless, Trombetti-Zhou codes are not linear over the entire field $\mathbb{F}_{q^{2n}}$, but only over its subfield $\mathbb{F}_{q^{n}}$. Due to this lack of linearity, we introduce the notions of $\mathbb{F}_{q^{n}}$-generator matrix and $\mathbb{F}_{q^{n}}$-parity-check matrix for a generic $\mathbb{F}_{q^{n}}$-linear rank-metric code over $\mathbb{F}_{q^{rn}}$ in analogy with the roles that generator and parity-check matrices play in the context of linear codes. Accordingly, we present an $\mathbb{F}_{q^n}$-generator matrix and $\mathbb{F}_{q^n}$-parity-check matrix for Trombetti-Zhou codes as evaluation codes over an $\mathbb{F}_q$-basis of $\mathbb{F}_{q^{2n}}$. This relies on the choice of a particular basis called \emph{trace almost dual basis}. Subsequently, denoting by $d$ the minimum distance of the code, we show that if the rank weight $t$ of the error vector is strictly smaller than $\frac{d-1}{2}$, the syndrome-based decoding of Trombetti-Zhou codes can be converted to the decoding of Gabidulin codes of dimension one larger. On the other hand, when $t=\frac{d-1}{2}$, we reduce the decoding to determining the rank of a certain matrix. The complexity of the proposed decoding for Trombetti-Zhou codes is also discussed.
North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
We investigate the Gerver-Ramsey collinearity problem of determining the maximum number of points in a north-east lattice path without $k$ collinear points. Using a satisfiability solver, up to isomorphism we enumerate all north-east lattice paths avoiding $k$ collinear points for $k \leq 6$. We also find a north-east lattice path avoiding $k = 7$ collinear points with 327 steps, improving on the previous best length of 260 steps found by Shallit.
Generalized block diagonal Laplacian spectrum of graphs
We reduce the $p^2$ block all-one matrices in the generalized block Laplacian spectrum of graphs to $p$ block all-one matrices in the generalized block diagonal Lapalcian spectrum of graphs introduced by Wang and the second author (\textit{Adv. Appl. Math.} 173B (2026)). In this case the matrices are all real symmetric, and hence the spectrum is real, which does not hold for the generalized block Laplacian spectrum. We also investigate the analogue by Hermitian adjacency matrix of digraphs.
Asymptotic probability of irreducibles II: sequence
This paper is devoted to the structure of the complete asymptotic expansion of the probability that a large combinatorial object is irreducible or consists of a given number of irreducible parts, where irreducibility is understood in terms of combinatorial construction SEQ, labeled or unlabeled. We show that for rapidly growing (i.e. gargantuan) combinatorial classes, the coefficients that appear in this expansion are integers and can be interpreted as linear combinations of the counting sequences of three closely related combinatorial classes. We apply this general asymptotic result to labeled and unlabeled (multi-)tournaments, as well as to (multi-)permutations and (multi-)matchings. We also explore the limits of our approach with respect to other combinatorial constructions.
On a kind of generalized multi-harmonic sums
Let $p$ be an odd prime, Jianqiang Zhao has established a curious congruence, which is $$
\sum_{i+j+k=p \atop i,j,k > 0} \frac{1}{ijk} \equiv -2B_{p-3}\pmod p , $$ where $B_{n}$ denotes the $n$-th Bernoulli number. In this paper, we will generalize this kind of sums and prove a family of similar congruences modulo prime powers $p^r$.
Caterpillars with $n$ vertices are reconstructible from subgraphs with at most $n/2+1$ vertices
The $\textit{$m$-deck}$ of an $n$-vertex graph is the multiset of unlabeled induced subgraphs with $m$ vertices. Caterpillars are trees in which all nonleaf vertices lie on a single path. We prove for $n\ge48$ that any $n$-vertex caterpillar is reconstructible (up to isomorphism) from its $m$-deck when $m>n/2$. The result is sharp, since for $n\ge6$ there are two $n$-vertex caterpillars having the same $\lfloor n/2 \rfloor$-deck. Our result proves the special case for caterpillars of a 1990 conjecture by Nýdl about trees.
The 2-switch-degree of a graph
In this work, we delve into the study of the 2-switch-degree of a graph $G$, which is nothing more than the degree of $G$ as a vertex of the realization graph $\mathcal{G}(s)$ associated with the degree sequence $s$ of $G$. We explore the characteristics of active and inactive vertices, the basic properties of the degree, explicit formulas for its computation, and its behavior in specific families of graphs, such as trees and unicyclic graphs.
Bounds for Hypergraph Universality
A graph $Γ$ is said to be universal for a class of graphs $\mathcal{H}$ if $Γ$ contains a copy of every $H \in \mathcal{H}$ as a subgraph. The number of edges required for a host graph $Γ$ to be universal for the class of $D$-degenerate graphs on $n$ vertices has been shown to be $O(n^{2-1/D}(\log n)^{2/D}(\log\log n)^{5})$. We generalise this result to $r$-uniform hypergraphs, showing the following. Given $D, r \ge 2$ and $n$ sufficiently large, there exists a constant $C = C(D, r)$ such that there exists a graph with at most \[Cn^{r-1/D}(\log n)^{2/D}(\log\log n)^{2r+1}\] edges which is universal for the class of $D$-degenerate $r$-uniform hypergraphs on $n$ vertices. This is tight up to the polylogarithmic term.
Quantum Polymorphisms and Commutativity Gadgets
We introduce the concept of quantum polymorphisms to the complexity theory of non-local games. We use this notion to give a full characterisation of the existence of commutativity gadgets for relational structures, introduced by Ji as a method for achieving quantum soundness of classical CSP reductions. Prior to our work, a classification was only known in the Boolean case [Culf--Mastel, STOC'25]. As an application of our framework, we prove that the entangled CSP parameterised by odd cycles is undecidable. Furthermore, we establish a quantum version of Galois connection for entangled CSPs in the case of non-oracular quantum homomorphisms.
Rotationally symmetric plabic graphs and the Lagrangian Grassmannian
We introduce the totally nonnegative Lagrangian Grassmannian $\rm{LG}_{\geq 0}^R (n,2n)$, a new subset of the totally nonnegative Grassmannian consisting of subspaces isotropic with respect to a certain bilinear form $R$. We describe its cell structure and show that each cell admits a representation by a rotationally symmetric (not necessarily reduced) plabic graph. Along the way, we develop new techniques for working with non-reduced plabic graphs.
On the nullspace of split graphs
We study the nullspace of the adjacency matrix of split graphs, whose vertex set can be partitioned into a clique and an independent set. We introduce the clique-kernel, a subspace that decides whether clique vertices lie in the support of a kernel eigenvector, and we prove that its dimension is at most one. This yields the formula $null(Sp) = null(R) + \dim(\mathrm{Cker}(Sp))$, which fully describes the nullity of a split graph in terms of the biadjacency submatrix $R$. We also analyze unbalanced split graphs through the concept of swing vertices and characterize the structure of their kernel supports. Furthermore, we study the behavior of the nullspace under Tyshkevich composition and derive a closed formula for the determinant. These results provide a unified algebraic framework for understanding when a split graph is singular and how its combinatorial structure determines its nullspace.
A formula for the Euler characteristic of a poset through the determinant of the order-complement matrix
Given a finite poset $P$, its zeta matrix $\mathbf Z$ encode fundamental incidence-theoretic information about the order structure. In this paper we introduce and study the \emph{order-complement matrix} $\overline{\mathbf Z} = \mathbf J - \mathbf Z$, where $\mathbf J$ is the all-ones matrix. We prove a closed formula for its characteristic polynomial and for its determinant, showing that $\det(\overline{\mathbf Z}) = (-1)^n \tildeχ(P)$, where $n = |P|$ and $\tildeχ(P)$ is the reduced Euler characteristic of $P$. This provides a new, unexpectedly simple linear-algebraic expression for the Euler characteristic of a poset, complementing existing determinant formulas for matrices derived from incidence relations.