Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Antimagicness of graphs with a dominating clique
A graph $G = (V, E)$ is called antimagic if there exists a bijective labelling $f : E \rightarrow \{1, 2, \ldots, |E|\}$ such that the vertex-sums of labels over edges incident to a given vertex are all distinct. In this paper, we extend the antimagicness results over graphs with a dominating clique. We also introduce an alternative to the usual definition of antimagic graphs, called C-antimagic, allowing for the labelling to be injective in $\{1, 2, . . . , |E| + C\}$ instead of bijective, and show that almost all graphs with a dominating clique are 3-antimagic.
On the Complexity of Bipartite Degree Realizability
We study the \emph{Bipartite Degree Realization} (BDR) problem: given a graphic degree sequence $D$, decide whether it admits a realization as a bipartite graph. While bipartite realizability for a fixed vertex partition can be decided in polynomial time via the Gale--Ryser theorem, the computational complexity of BDR without a prescribed partition remains unresolved. We address this question through a parameterized analysis.
For constants $0 \le c_1 \le c_2 \le 1$, we define $\mathrm{BDR}_{c_1,c_2}$ as the restriction of BDR to degree sequences of length $n$ whose degrees lie in the interval $[c_1 n, c_2 n]$. Our main result shows that $\mathrm{BDR}_{c_1,c_2}$ is solvable in polynomial time whenever $0 \le c_1 \le c_2 \le \frac{\sqrt{c_1(c_1+4)}-c_1}{2}$, as well as for all $c_1 > \tfrac12$. The proof relies on a reduction to extremal \emph{least balanced degree sequences} and a detailed verification of the critical Gale--Ryser inequalities, combined with a bounded subset-sum formulation.
We further show that, assuming the NP-completeness of unrestricted BDR, the problem $\mathrm{BDR}_{c_1,c_2}$ remains NP-complete for all $0 < c_2 < \frac{1}{2}$ and $c_1 < 1 - c_2 - \sqrt{1-2c_2}$. % This establishes a sharp conditional boundary between tractable and intractable parameter regimes. Our results clarify the algorithmic landscape of bipartite degree realization and contribute to the broader study of potentially bipartite graphic degree sequences.
Gaussian random graphs and Ramsey numbers
We give a simple proof of the recent remarkable exponential improvement for Ramsey lower bounds, obtained by Ma, Shen and Xie. Our key ingredient is an alternative construction based on Gaussian random graphs, which allows us to simplify their analysis significantly. As a consequence of this simpler analysis, we also obtain better quantitative bounds.
On orientably-regular maps of Euler characteristic $-2p^2$
In this article, we study orientably-regular maps of Euler characteristic $-2p^2$ and classify those that admit a group of orientation-preserving automorphisms of order $10p^2$, where $p$ is a prime number. Along the way, we classify all compact Riemann surfaces (or complex algebraic curves) of genus $1+p^2$ endowed with a group of conformal automorphisms of order $5p^2$.
On exponentially height-penalized random trees
Given $n \in \mathbb{N}$ and $μ\in \mathbb{R}$, a $\textit{$μ$-height-biased tree of size $n$}$ is a random plane tree $\mathbf{\mathbf{T}}_n$ with $n$ vertices with law given by $\mathbb{P}(\mathbf{T}=t) \propto e^{-μh(t)}$, where $t$ ranges over fixed plane trees with $n$ vertices, and $h(t)$ is the height of $t$. Fix a sequence $(μ_n)_{n \ge 1}$ of real numbers, and for $n \ge 1$ let $\mathbf{T}_n$ be a $μ$-height-biased tree of size $n$. Durhuus and Ünel (2023) described the asymptotic behaviour of $h(\mathbf{T}_n)$ when $μ_n \equiv μ\in \mathbb{R}$ is fixed. In this work, we extend their results to arbitrary sequences of positive parameters depending on $n$. Most notably, we show that such a tree behaves like a height-biased Continuum Random Tree (CRT) when $μ_n$ is of order $1/\sqrt{n}$; that its height is asymptotically $(2π^2n/μ_n)^{1/3}$ when $μ_n$ is of larger order than $1/\sqrt{n}$ and of smaller order than $n$; and that its height converges to a fixed constant when $μ_n$ is of order at least $n$, with some random jumps under specific conditions on $μ_n$. We additionally prove various results on second order behaviours, and large deviation principles for the height, for different regimes of $μ_n$. Finally, we describe new statistics of these trees, covering their widths, their root degrees, and the local structure around their roots.
A matrix approach to the enumeration of naturally labeled posets
We propose a matrix approach for enumerating naturally labeled posets by representing each poset $P$ on $[n]$ as a Boolean poset matrix $A$. This algebraic representation enables a systematic handling of partial orderings through $v$-extensions of the form $A^v=\bigl[\begin{smallmatrix}A&0\\ v&1\end{smallmatrix}\bigr]$. We show that $A^v$ defines a valid poset matrix if and only if the Boolean vector $v$ represents an order ideal of the poset $P$ associated to $A$, equivalently satisfying the fixed-point equation $vA=v$. Furthermore, we explore the twin-class decomposition of $A$, which partitions the elements of $P$ according to identical down- and up-sets. Finally, we present an algorithmic generation scheme for the posets based on the topological growth of their distribution lattices, offering a new approach to constructive enumeration of poset families.
A linear upper bound for zero-sum Ramsey numbers of bounded degree graphs
Let $G$ be a graph and $Γ$ a finite abelian group. The zero-sum Ramsey number of $G$ over $Γ$, denoted by $R(G, Γ)$, is the smallest positive integer $t$ (if it exists) such that any edge-colouring $c:E(K_t)\toΓ$ contains a copy of $G$ with $\sum_{e\in E(G)}c(e)=0_Γ$.
We prove a linear upper bound $R(G, Γ)\leq Cn$ that holds for every $n$-vertex graph $G$ with bounded maximum degree and every finite abelian group $Γ$ with $|Γ|$ dividing $e(G)$.
Plane Strong Connectivity Augmentation
We investigate the problem of strong connectivity augmentation within plane oriented graphs.
We show that deciding whether a plane oriented graph $D$ can be augmented with (any number of) arcs $X$ such that $D+X$ is strongly connected, but still plane and oriented, is NP-hard.
This question becomes trivial within plane digraphs, like most connectivity augmentation problems without a budget constraint.
The budgeted version, Plane Strong Connectivity Augmentation (PSCA) considers a plane oriented graph $D$ along with some integer $k$, and asks for an $X$ of size at most $k$ ensuring that $D+X$ is strongly connected, while remaining plane and oriented.
Our main result is a fixed-parameter tractable algorithm for PSCA, running in time $2^{O(k)} n^{O(1)}$.
The cornerstone of our procedure is a structural result showing that, for any fixed $k$, each face admits a bounded number of partial solutions "dominating" all others.
Then, our algorithm for PSCA combines face-wise branching with a Monte-Carlo reduction to the polynomial Minimum Dijoin problem, which we derandomize.
To the best of our knowledge, this is the first FPT algorithm for a (hard) connectivity augmentation problem constrained by planarity.
Equivalent bounded confidence processes
In the bounded confidence model the opinions of a set of agents evolve over discrete time steps. In each round an agent averages the opinion of all agents whose opinions are at most a certain threshold apart. Here we assume that the opinions of the agents are elements of the real line. The details of the dynamics are determined by the initial opinions of the agents, i.e. a starting configuration, and the mentioned threshold -- both allowing uncountable infinite possibilities. Recently it was observed that for each starting configuration the set of thresholds can be partitioned into a finite number of intervals such that the evolution of opinions does not depend on the precise value of the threshold within one of the intervals. So, we may say that, given a starting configuration of initial opinions, there is only a finite number of equivalence classes of bounded confidence processes (and an algorithm to compute them). Here we systematically study different notions of equivalence. In our widest notion we can also get rid of the initial starting configuration and end up with a finite number of equivalent bounded confidence processes for each given (finite) number of agents. This allows to precisely study the occurring phenomena for small numbers of agents without the jeopardy of missing interesting cases by performing numerical experiments. We exemplarily study the freezing time, i.e. number of time steps needed until the process stabilizes, and the degree of fragmentation, i.e. the number of different opinions that survive once the process has reached its final state.
Assembly Addition Chains
In this paper we extend the notion of Addition Chains over Z+ to a general set S. We explain how the algebraic structure of Assembly Multi-Magma over the pairs (S,BB proper subset of S) allows to define the concept of Addition Chain over S, called Assembly Addition Chains of S with Building Blocks BB. Analogously to the Z+ case, we introduce the concept of Optimal Assembly Addition Chains over S and prove lower and upper bounds for their lengths, similar to the bounds found by Schonhage for the Z+ case. In the general case the unit 1 is in set Z+ is replaced by the subset BB and the mentioned bounds for the length of an Optimal Assembly Addition Chain of O is in set S are defined in terms of the size of O (i.e. the number of Building Blocks required to construct O). The main examples of S that we consider through this papers are (i) j-Strings (Strings with an alphabeth of j letters), (ii) Colored Connected Graphs and (iii) Colored Polyominoes.
Fast Rational Search via Stern-Brocot Tree
We revisit the problem of rational search: given an unknown rational number $α= \frac{a}{b} \in (0,1)$ with $b \leq n$, the goal is to identify $α$ using comparison queries of the form ``$β\leq α$?''. The problem has been studied several decades ago and optimal query algorithms are known. We present a new algorithm for rational search based on a compressed traversal of the Stern--Brocot tree, which appeared to have been overlooked in the literature. This approach also naturally extends to two related problems that, to the best of our knowledge, have not been previously addressed: (i) unbounded rational search, where the bound $n$ is unknown, and (ii) computing the best (in a precise sense) rational approximation of an unknown real number using only comparison queries.
Packing Independent Cliques in $K_4$-minor-free Graphs
Let $G$ be a graph and $S$ be a set of cliques of $G$. The set $S$ is an indeque set if every component of $G[S]$, the subgraph induced by vertices of $S$, is a clique. In this paper, we prove that the indeque ratio of $K_4$-minor-free graphs is $\frac 1 2$, which settle two conjectures of Biro, Collado and Zamora. We also show that the indeque ratio of subcubic graphs is $\frac 1 2$.
Basis inversion in lambda-recursive families: triangular kernels and polynomial basis changes
We study polynomial families {f_n(x)}_{n>=0} over a commutative ring R encoded by triangular arrays of order m, via expansions of the form f_n(x)=sum_{b=0}^{floor(n/m)} lambda_1(n,b) x^{n-mb}, where lambda_1 is the direct kernel supported on 0<=b<=floor(n/m). Under a simple discrete orthogonality condition, we prove the existence and uniqueness of an inverse kernel lambda_3 (triangular of the same order) giving the inversion formula x^n = sum_{b=0}^{floor(n/m)} lambda_3(n,b) f_{n-mb}(x). This reindexing principle yields explicit change-of-basis relations between two families, including the case of distinct step sizes m_1 and m_2, with connection coefficients obtained from a universal triangular sum once lambda_3 is known. On the algebraic side, lambda_1 defines a lower Hessenberg matrix M_(n,k) (the algebraic expansion matrix) whose determinant governs inversion, providing closed determinantal expressions for lambda_3(n,k). We introduce a class of lambda-recursive sequences of order m, specified by a principal factor (p_n) and auxiliary factors (h_(n,k)), for which det(M_(n,k)) satisfies a recurrence enabling direct computation of inverse-kernel and basis-change coefficients. Classical families (e.g., Chebyshev, Legendre, Hermite, Laguerre, Fibonacci, Lucas) fit naturally into this framework, unifying their connection coefficients via the same triangular-array computations and supporting structured Clenshaw-type schemes and related applications.
A note on the maximum ratio between chromatic number and clique number
Let $f(n)$ be the maximum, over all graphs $G$ on $n$ vertices, of the ratio $\frac{χ(G)}{ω(G)}$, where $χ(G)$ denotes the chromatic number of $G$ and $ω(G)$ the clique number of $G$. In 1967, Erdős showed that \[ \Big( \frac{1}{4} +o(1) \Big) \frac{n}{(\log_2 n)^2} \le f(n) \le \big( 4+o(1) \big) \frac{n}{(\log_2 n)^2} .\] We show that \[ f(n) \le \big(c+o(1)\big) \frac{n}{(\log_2 n)^2}\] for some $c<3.72$. This follows from recent improvements in the asymptotics of Ramsey numbers and is the first improvement in the asymptotics of $f(n)$ established by Erdős.
Linear dimension of group actions
Two fundamental ways to represent a group are as permutations and as matrices. In this paper, we study linear representations of groups that intertwine with a permutation representation. Recently, D'Alconzo and Di Scala investigated how small the matrices in such a linear representation can be. The minimal dimension of such a representation is the \emph{linear dimension of the group action} and this has applications in cryptography and cryptosystems.
We develop the idea of linear dimension from an algebraic point of view by using the theory of permutation modules. We give structural results about representations of minimal dimension and investigate the implications of faithfulness, transitivity and primitivity on the linear dimension. Furthermore, we compute the linear dimension of several classes of finite primitive permutation groups. We also study wreath products, allowing us to determine the linear dimension of imprimitive group actions. Finally, we give the linear dimension of almost simple finite $2$-transitive groups, some of which may be used for further applications in cryptography. Our results also open up many new questions about linear representations of group actions.
Increasing Trees and the Degree-Chromatic Polynomial
Published in Kazakh Mathematical Journal 25(4) (2025) 57-66
• View Publication
• BIB
This paper studies increasing trees on $n$ labeled vertices, in which labels increase from the root to the leaves. It is known that the number of binary increasing trees coincides with the number of alternating permutations (Euler numbers). Riordan obtained explicit formulas for the numbers of ternary and quaternary trees. This article derives a general formula for the number of $m\text{-ary}$ increasing trees for any $m$. The main result is expressed in terms of the degree-chromatic polynomial of the complete graph and Bell polynomials. It is shown how the corresponding generating function is related to the inversion problem and how combinatorial methods, including the lemma on coefficients of the multiplicative inverse function and the Lagrange inversion formula, can be used to compute the coefficients. A connection is also established between the values of the degree-chromatic polynomial at $λ=-1$ and the numbers of special permutations studied by Gessel.
Multiple polylogarithms at non-positive indices and combinatorics of Magnus polynomials
In this paper we investigate multiple polylogarithms with non-positive multi-indices (nonpositive MPLs) from a combinatorial and algebraic viewpoint. By introducing a correspondence between non-positive multiple polylogarithms and Magnus polynomials in a free associative algebra, we obtain an explicit Magnus-type representation of products of mono-indexed non-positive MPLs. The main identity (Theorem A) expresses such a product as a single non-positive MPL indexed by a Magnus polynomial, which may be regarded as a Möbius inversion of the expansion formula due to Duchamp-Hoang Ngoc Minh-Ngo. Moreover, we study the effects of permuted indices and show that certain differences of Magnus polynomials belong to the kernel of the linear map ${\rm Li}^-_{\bullet}$ , leading to new functional equations among non-positive MPLs of the same weight and depth. These results clarify the combinatorial structure underlying non-positive MPLs and reveal a close connection with the Magnus expansion in non-commutative algebra.
Block-transitive designs with a poset of imprimitive partitions
We study block designs which admit an automorphism group that is transitive on blocks and points, and leaves invariant every partition in a given finite poset of partitions of the point set. The full stabiliser $G$ of all the partitions in the poset is a generalised wreath product. We use the theory of generalised wreath products to give necessary and sufficient conditions, in terms of the `array' of a point-subset $B$, for the set of $G$-images of $B$ to form the block-set of a $G$-block-transitive $2$-design. This generalises previous results for the special cases where the poset is a chain or an anti-chain. We also give explicit infinite families of examples of $2$-designs for each poset involving three proper partitions, and for the famous $N$-poset with four partitions. (Posets with two proper partitions have been treated previously.) This suggests the problem of finding explicit examples for other posets.
New Theoretical Insights and Algorithmic Solutions for Reconstructing Score Sequences from Tournament Score Sets
The score set of a tournament is defined as the set of its distinct out-degrees. In 1978, Reid proposed the conjecture that for any set of nonnegative integers $D$, there exists a tournament $T$ with a degree set $D$. In 1989, Yao presented an arithmetical proof of the conjecture, but a general polynomial-time construction algorithm is not known. This paper proposes a necessary and sufficient condition and a separate necessary condition, based on the existing Landau's theorem for the problem of reconstructing score sequences from score sets of tournament graphs. The necessary condition introduces a structured set that enables the use of group-theoretic techniques, offering not only a framework for solving the reconstruction problem but also a new perspective for approaching similar problems. In particular, the same theoretical approach can be extended to reconstruct valid score sets given constraints on the frequency of distinct scores in tournaments. Based on these conditions, we have developed three algorithms that demonstrate the practical utility of our framework: a polynomial-time algorithm and a scalable algorithm for reconstructing score sequences, and a polynomial-time network-building method that finds all possible score sequences for a given score set. Moreover, the polynomial-time algorithm for reconstructing the score sequence of a tournament for a given score set can be used to verify Reid's conjecture. These algorithms have practical applications in sports analysis, ranking prediction, and machine learning tasks such as learning-to-rank models and data imputation, where the reconstruction of partial rankings or sequences is essential for recommendation systems and anomaly detection.
Lower bounds on the independence number of a graph in terms of degrees
Given an integer $Δ\ge 3$, let ${\cal G}_{Δ}$ be the set of connected graphs $G\neq K_{Δ+1}$ with maximum degree $Δ$ and, for $i=1,\cdots, Δ$, let $V_i(G)$ be the set of vertices of $G$ of degree $i$. Using a result of T. Kelly and L. Postle, we prove that $\sum\limits_{i=1}^Δc_i|V_i(G)|$ is a lower bound on the independence number $α(G)$ of $G\in {\cal G}_Δ$, where $c_Δ=\frac{1}Δ$ and $ic_{i}=1-c_{i+1}$ for $i=1,\cdots,Δ-1$. Moreover, if $\varepsilon >0$ and $j\in \{1,\cdots, Δ\}$, then the inequality $α(G)\ge \varepsilon|V_j(G)|+\sum\limits_{i=1}^Δc_i|V_i(G)|$ does not hold for infinitely many graphs $G\in {\cal G}_Δ$. Finally, further lower bounds on $α(G)$ in terms of degrees of $G$ are presented.