Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A classification of rotary embeddings of multicycles
We classify rotary (orientably-regular) maps whose underlying graphs are multicycles. For the multicycle $\mathrm{C}_n^{(λ)}$ of length $n$ and edge-multiplicity $λ$, we determine all rotary embeddings for $n\geqslant 3$ and $λ\geqslant 2$. When $n$ is odd, there is a unique isomorphism class; when $n$ is even, the embeddings form a family $\mathcal{M}_n^{(λ)}(i,j)$ parameterized by integer pairs $(i,j)$ satisfying explicit congruence conditions.
Combinatorial relations among restricted and half Eulerian polynomials of types $A$, $B$, and $D$
In this paper, we study relations among several types of Eulerian polynomials from a combinatorial viewpoint. We establish an identity between the restricted Eulerian polynomials of types $A$ and $B$. As an application, we present a bijective proof of a new identity involving the Eulerian polynomials of type $A$ and type $B$, solving a recent open problem proposed by Zhang. Additionally, we derive an identity between the half Eulerian polynomials of type $B$ and type $D$. Using this identity, we further obtain another relation about the Eulerian polynomials of type $A$ and type $B$, as well as a recursive formula connecting the restricted Eulerian polynomials of type $D$ and Eulerian polynomials of types $A$ and $B$.
Acyclic sets and colorings in digraphs under restrictions on degrees and cycle lengths
Published
• View Publication
• BIB
Given a digraph $D$, we denote by $\vecα(D)$ the maximum size of an acyclic set of $D$ (i.e. a set of vertices which induces a subdigraph with no directed cycles), and by $\vecχ(D)$ the minimum number of acyclic sets into which $V(D)$ can be partitioned. In this paper, we study $\vecα(D)$ and $\vecχ(D)$ from various perspectives, including restrictions on degrees and cycle lengths. A main result is that, if $D$ is a random $r$-regular digon-free simple digraph of order $n$, then $\vecα(D) = Θ(n \log r /r)$ with high probability. This corresponds to a result of Spencer and Subramanian on the Erdős--Rényi random digraph model. Along the way, we derive some related results and propose some conjectures. An example of this is an analogue of the theorem of Bondy which bounds the chromatic number of a graph by the circumference of any strong orientation.
Antimagic labelling of graphs with maximum degree $Δ(G) = n - 4$
An antimagic labelling of a graph $G = (V,E)$ is a bijection from $E$ to $\{1,2, \ldots, |E|\}$, such that all vertex-sums are pairwise distinct, where the vertex-sum of each vertex is the sum of labels over edges incident to this vertex. A graph is said to be antimagic if it has an antimagic labelling. It has been proven that graphs $G$ with $Δ(G) \geq n - 3$ are antimagic, where $Δ(G)$ is the maximum degree of a vertex in $G$ and $n = |V|$. In this article, we extend this result to graphs with $Δ(G) = n - 4$, provided that $|E| \geq 7n$.
Unimodality of independence polynomials of two family of trees
In 1987, Alavi, Malde, Schwenk and Erdős conjectured that the independence polynomials of trees are unimodal. Subsequently, many researchers proposed strengthening this conjecture to log-concavity. In 2023, Kadrawi, Levit, Yosef, and Mizrachi discovered independence polynomials of trees of order 26 that are not log-concave, which led them to construct two infinite families of such polynomials, denoted by $T_{3,m,n}$ and $T_{3,m,n}^*$. In this paper, we show that these two infinite families also satisfy the unimodal conjecture raised by Alavi, Malde, Schwenk, and Erdős.
Concentration of the largest induced tree size of $G_{n,p}$ around the standard expectation threshold
Let $T(G)$ be the size of the largest induced tree of $G$, and let $G_{n,p}$ be the binomial random graph. Kamaldinov, Skorkin, and Zhukovskii proved that $T(G_{n,p})$ equals one of two consecutive values with high probability if $p$ is constant, and more recently, Oropeza extended this result to include all vanishing $p$ such that $p > n^{-\frac{e-2}{3e-2} + ε}$, where $e$ is Euler's constant. We further extend this result to all vanishing $p$ such that $p \gg n^{-1/2} \ln^{3/2} n$, and furthermore, we show that, for $p$ such that $n^{-1} \ll p \ll n^{-1/2}, \ T(G_{n,p})$ cannot be concentrated at the standard expectation threshold.
Resolving the Kohayakawa-Kreuter Conjecture for Families
A graph $G$ is $(a,b)$-sparse if every nonempty subgraph $H$ satisfies $e(H) \leq a v(H) - b$. We are interested in the conditions under which an $(a,b)$-sparse graph can be partitioned $E(G) = E(G_1) \cup E(G_2)$ such that for $i \in \{1,2\}$ we have that $G_i$ is $(a_i, b_i)$-sparse. Kuperwasser, Samotij, and Wigderson conjectured that a $(m,0)$-sparse graph can be partitioned into a $(1,1)$-sparse graph and a $(m,2m-1)$-sparse graph. We prove the conjecture in full.
The Kohayakawa-Kreuter Conjecture for Families claims that $n^{-1/m_2}$ is the threshold function for the random graph being Ramsey a.a.s. for graph families $\mathcal{H}_1, \ldots \mathcal{H}_r$. Kuperwasser, Samotij, and Wigderson motivated their conjecture by proving that it is sufficient to establish the Kohayakawa-Kreuter Conjecture for Families.
The Antisymmetric Line Graph
We introduce the \emph{antisymmetric line graph} $\mathcal{A}(G)$, a canonical signed refinement of the line graph defined on the oriented edges of a graph $G$ via an antisymmetric incidence rule. We show that $\mathcal{A}(G)$ is balanced if and only if $G$ is bipartite, so the frustration index $\ell(\mathcal{A}(G))$ defines a switching-invariant measure of non-bipartiteness.
The switching class of $\mathcal{A}(G)$ determines $G$ up to isomorphism modulo isolated vertices, thereby resolving Whitney's exceptional ambiguity.
We obtain quantitative bounds relating $\ell(\mathcal{A}(G))$ to classical measures of non-bipartiteness; in particular, \[ \operatorname{def}(G)\le \ell(\mathcal{A}(G))\le (Δ(G)-1)\operatorname{def}(G), \] where $\operatorname{def}(G)$ is the minimum number of edges whose deletion makes $G$ bipartite. Our strongest result is an exact identification in the cubic case: for every cubic graph $G$, with $\operatorname{oct}(G)$ denoting the odd cycle transversal number, \[ \ell(\mathcal{A}(G)) = 2\operatorname{oct}(G). \] Hence on cubic graphs a canonical signed line-graph invariant recovers a central bipartization parameter, and computing $\ell(\mathcal{A}(G))$ is NP-hard even for cubic inputs.
Monochromatic sums and quotients in $\mathbb N$
We prove partition regularity of the configuration $x,y,x+y,y/x$ in a strong infinitary form that extends Hindman's Theorem. We study the related issue of partition regularity of configurations involving products of a degree one polynomial in $x$ with one in $y$, reducing the general problem to a handful of special cases.
A very robust Ramsey theorem for matchings
Our main result is a robust generalisation of the Cockayne-Lorimer theorem on the multicolour Ramsey number of matchings. It is moreover a generalisation of the transference generalisation of Cockayne-Lorimer, which (informally) says that the random graph $G \sim G(n,p)$ with $np \to \infty$ has, with high probability, essentially the same Ramsey matching properties as the complete graph $K_n$. We show, somewhat surprisingly, that the same is true under the rather weak robustness assumption that $G$ is an $s$-connector (i.e. $\overline{G}$ is $K_{s,s}$-free) with $s=o(n)$. Moreover, we show that such $G$ has only an additive $O(s)$ loss with respect to $K_n$ for monochromatic matchings, which is essentially sharp. Our proof adapts a compression algorithm based on Gallai-Edmonds decompositions that we developed previously for generalised Ramsey-Turán problems.
Combinatorics of the Cosmohedron
The cosmohedron was recently proposed as a polytope underlying the cosmological wavefunction for $\text{Tr}(Φ^3)$ theory. Its faces were conjectured to be in bijection with Matryoshkas, which are obtained from a subdivision of a polygon by sequentially wrapping groups of polygons into larger polygons. In this paper we prove the correctness of this construction, and elucidate its combinatorial structure. Cosmohedra generalize to a wider class of $\mathcal{X}$ in $Y$ polytopes, where we chisel a polytope from the family $\mathcal{X}$ at each vertex of a polytope $Y$. We sketch a new application of these chiseled polytopes to the physics of ultraviolet divergences in loop-integrated Feynman amplitudes.
Counting permutations avoiding two flat partially ordered patterns
Partially ordered patterns (POPs) play an important role in the study of permutation patterns, providing a convenient framework for describing large families of classical patterns. The problem of enumerating permutations that avoid POPs has therefore attracted considerable attention in the literature. In particular, Gao and Kitaev resolved many counting problems for POP-avoiding permutations of lengths 4 and 5, linking the enumeration to a wide range of other combinatorial objects.
Motivated by their work, we initiate the study of permutations that simultaneously avoid two POPs belonging to the class of flat POPs. We establish a connection between permutations avoiding such POPs and the $k$-Fibonacci numbers. Moreover, we provide a bijection between permutations avoiding these POPs and certain restricted permutations, which allows us to use the method developed by Baltić to derive the generating function for permutations avoiding these POPs. Finally, we obtain enumerative results for separable permutations avoiding these two POPs, of lengths up to 5, with respect to six statistics, thereby extending the results of Gao et al. on the avoidance of a single flat POP in separable permutations. Notably, when both patterns are of length 5, the respective generating function is a rational function, with the sum in the numerator (resp., denominator) containing 293 (resp., 17) monomials.
Cutoff for the inversion walk on tournaments and the state space of restricted inversions
Given a labelled tournament on $[n]$, \emph{inverting} a vertex subset $X$ means reversing every edge with both endpoints in $X$. Alon, Powierski, Savery, Scott, and Wilmer~\cite{AlonPowierskiSaveryScottWilmer2024} asked for the mixing time of the Markov chain that repeatedly inverts a uniformly random subset of $[n]$. We show that this \emph{inversion walk} undergoes total-variation cutoff at time $n$. More precisely, there is a universal constant $C>0$ such that for all $c\ge 0$, $d_n(n+c)\le C\,2^{-c}$, while for all $s\in\{0,1,\dots,n\}$, $d_n(n-s)\ge 1-2^{\,n+s\logtwo n-\binom{s}{2}}$. In particular, the lower tail threshold lies within $O(\sqrt{n})$ below $n$, while the upper tail decays within $O(1)$ above $n$.
As a second result, we characterise the state space of the \emph{$k$-restricted inversion walk}, which inverts a uniformly random $k$-subset at each step. For $n\ge 4$ and $2\le k\le n-2$, the reachable states form a coset of a subgroup $H_k\le\F_2^{\binom{n}{2}}$ whose codimension is determined solely by $k\bmod 4$.
A two-steps tensor eigenvector centrality for nodes and hyperedges in hypergraphs
Hypergraphs have been a powerful tool to represent higher-order interactions, where hyperedges can connect an arbitrary number of nodes. Quantifying the relative importance of nodes and hyperedges in hypergraphs is a fundamental problem in network analysis. In this paper, we propose a new tensor-based centrality measure for general hypergraphs. We use a third-order tensor to represent the relationship between nodes and hyperedges. The tensor's positive Perron vector is defined as the centrality vector of the hypergraph. The existence and uniqueness of this centrality vector are guaranteed by the Perron-Frobenius theorem for tensors. This new centrality measure captures a higher-order mutual reinforcement mechanism: a node's importance is determined by the importance of its incident hyperedges and the other nodes within these hyperedges; symmetrically, a hyperedge's importance is determined by the importance of its constituent nodes and the other hyperedges containing these nodes. We further provide a combinatorial interpretation by proving that the centrality vector represents the limit geometric capacity of two-steps expansion trees. We illustrate the centrality measure on real-world hypergraph datasets.
Algebra of Path Integrals on Digraphs
In this paper, we extend the iterated integrals from smooth manifolds to digraphs and develop the associated algebraic and geometric structures. Iterated integrals on a digraph naturally give rise to the iterated path algebra and the iterated loop algebra, both defined as quotient algebras of a shuffle algebra, with the latter carrying a canonical Hopf algebra structure.
We construct a non-degenerate pairing between elementarily equivalent classes of loops on a digraph and the iterated loop algebra. By restricting to iterated integrals that are invariant under $C_\partial$-homotopy, a distinguished subalgebra is obtained which, under this pairing, corresponds to the group algebra of the fundamental group. We further show that this subalgebra is a homotopy invariant and forms a Hopf algebra with involutive antipode.
Quasi-Hermitian Varieties and Their Barlotti--Cofman Representation
Quasi-Hermitian varieties arise as higher-dimensional generalizations of non-classical unitals, including the Buekenhout--Metz (BM) and Buekenhout--Tits (BT) families.
After reviewing known constructions and structural properties, we determine explicitly the BC representation of BM and BT quasi-Hermitian varieties in $\mathrm{PG}(3,q^2)$ inside $\mathrm{PG}(6,q)$. We prove that BM varieties correspond to quadratic cones with hyperbolic base, whereas BT varieties give rise to non-quadratic cones, and we describe the associated configuration of spread elements in the section at infinity.
These results provide a geometric interpretation of the non-classical nature of BM and BT varieties within the BC framework.
On the expected value of energy in groups
We obtain explicit upper and lower bounds for the expected action energy associated with a pair $({\sf A},{\sf Δ})$ of subsets sampled uniformly at random from a permutation group and its domain, respectively. We then specialize these bounds to multiplicative energy in several settings. In particular, we derive sharp asymptotic formulae for the expected energy of pairs of the form $({\sf A},{\sf A})$ and $({\sf A},{\sf A}^{-1})$. Finally, we apply these estimates to derive probabilistic results on the existence of subsets with large growth and to compare the typical behaviour of the cardinalities of the sets $|{\sf A}^{\ast 2}|$ and $|{\sf A}{\sf A}^{-1}|$.
The permutation automorphism groups of irreducible cyclic codes
The study of permutation automorphism groups of cyclic codes is a central topic in algebraic coding theory. A cyclic code over $\mathbb{F}_q$ is called irreducible if its check polynomial is irreducible over $\mathbb{F}_q$. Such a code is standard if its permutation automorphism group is equal to the group generated by the cyclic shift and the Frobenius automorphism, and non-standard otherwise. In this paper, we give a complete classification of all non-standard non-degenerate irreducible cyclic codes, using the classification of finite simple groups. Our result shows that, apart from a small number of explicit exceptional families and their descendants under certain secondary constructions, every non-degenerate irreducible cyclic code is standard, and up to four explicit exceptions, every degenerate cyclic code is non-standard.
This classification has several consequences. First, it yields a general description of non-standard linear recurring sequence subgroups, extending the earlier work of Brison and Nogueira; secondly it establishes the Schmidt-White conjecture for all non-standard irreducible cyclic codes. Moreover, our results provide strong evidence in support of the conjecture of Berger and Charpin that almost all cyclic codes are standard.
The Poincaré polynomial of the type B analogue of $\overline{\mathcal{M}}_{0,n+1}$
We establish formulas for the Poincaré polynomial of the type B analogue of the Deligne--Knudsen--Mumford moduli space of rational curves with $n$ marked points, providing type B counterparts to results by Keel, Manin, Getzler and Yuzvinsky. We establish functional and differential equations satisfied by the bivariate exponential generating function of these polynomials. We show how this generating function relates to the classical one in type A. We deduce the gamma-positivity of these polynomials via a quadratic recursion and discuss a type B analogue of a formula found by Aluffi, Marcolli and Nascimento in type A.
Some properties of minimally nonperfectly divisible graphs
A graph is perfectly divisible if for each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$, and a graph $G$ is perfectly weight divisible if for every positive integral weight function on $V(G)$ and each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and the maximum weight of a clique in $H[B]$ is smaller than the maximum weight of a clique in $H$. A clique $X$ of a connected graph $G$ is called a clique cutset if $G-X$ is disconnected. In this paper, we investigate the relationship between the perfect divisibility of a graph and its perfect weighted divisibility. We also show that $2P_3$-free or claw-free minimally nonperfectly divisible graphs contain no clique cutset, that conditionally answers a question of Hoàng [Discrete Math. \textbf{349} (2025) 114809].