Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Constructions of Covering Sequences and Arrays
An $(n,R)$-covering sequence is a cyclic sequence whose consecutive $n$-tuples form a code of length $n$ and covering radius $R$. Using several construction methods improvements of the upper bounds on the length of such sequences for $n \leq 20$ and $1 \leq R \leq 3$, are obtained. The definition is generalized in two directions. An $(n,m,R)$-covering sequence code is a set of cyclic sequences of length $m$ whose consecutive $n$-tuples form a code of length~$n$ and covering radius $R$. The definition is also generalized to arrays in which the $m \times n$ sub-matrices form a covering code with covering radius $R$. We prove that asymptotically there are covering sequences that attain the sphere-covering bound up to a constant factor.
On the random minimum edge-disjoint spanning trees problem
It is well known that finding extremal values and structures can be hard in weighted graphs. However, if the weights are random, this problem can become way easier. In this paper, we examine the minimal weight of a union of $k$ edge-disjoint trees in a complete graph with independent and identically distributed edge weights. The limit of this value (for a given distribution) is known for $k=1,2$. We extend these results and find the limit value for any $k>2$. We also prove a related result regarding the structure of sparse random graphs.
Abstract questionnaires and FS-decision digraphs
A questionnaire is a sequence of multiple choice questions aiming to collect data on a population. We define an abstract questionnaire as an ordered pair $(N,{\cal M})$, where $N$ is a positive integer and ${\cal M}=(m_0,m_1,\ldots,m_{N-1})$ is an $N$-tuple of positive integers, with $m_i$, for $i \in \{0, 1, \ldots, N-1 \}$, as the number of possible answers to question $i$. An abstract questionnaire may be endowed with a skip-list (which tells us which questions to skip based on the sequence of answers to the earlier questions) and a flag-set (which tells us which sequences of answers are of special interest). An FS-decision tree is a decision tree of an abstract questionnaire that also incorporates the information contained in the skip-list and flag-set. The main objective of this paper is to represent the abstract questionnaire using a directed graph, which we call an FS-decision digraph, that contains the full information of an FS-decision tree, but is in general much more concise. We present an algorithm for constructing a fully reduced FS-decision digraph, and develop the theory that supports it. In addition, we show how to generate all possible orderings of the questions in an abstract questionnaire that respect a given precedence relation.
Mathematical Data Science
Can machine learning help discover new mathematical structures? In this article we discuss an approach to doing this which one can call "mathematical data science". In this paradigm, one studies mathematical objects collectively rather than individually, by creating datasets and doing machine learning experiments and interpretations. After an overview, we present two case studies: murmurations in number theory and loadings of partitions related to Kronecker coefficients in representation theory and combinatorics.
Large sum-free subsets of sets of integers via $L^1$-estimates for trigonometric series
A set $B$ is said to be \emph{sum-free} if there are no $x,y,z\in B$ with $x+y=z$. We show that there exists a constant $c>0$ such that any set $A$ of $n$ integers contains a sum-free subset $A'$ of size $|A'|\geqslant n/3+c\log \log n$. This answers a longstanding problem in additive combinatorics, originally due to Erdős.
Sharp results for the Erdős, Pach, Pollack and Tuza problem
We consider the Erdős, Pach, Pollack and Tuza problem, asking for the maximum diameter of a graph with given order $n$, minimum degree $δ$ and clique number at most $ω$. We solve their problem asymptotically for the first hard case, $ω\leq 3$, for the smallest values of $δ$ by determining the smallest rational number $f(δ)$ such that $diam(G) \leq f(δ)n+O(1)$ for all graphs $G$ with order $n$, minimum degree $δ$ and clique number $ω\leq 3$. We also consider the weaker version where the clique number $ω\leq 3$ is replaced by having chromatic number $χ\leq 3$ and solve this version for small $δ$, thereby yielding a counterexample to a conjecture of Erdős et al. in a regime where this conjecture was still open. When restricting the conjecture to graphs with chromatic number $χ\leq 3$, we show that this counterexample appears for the smallest possible $δ$, namely $δ=16.$
Multi-Symmetric Schur Functions
We study a multi-symmetric generalization of the classical Schur functions called the multi-symmetric Schur functions. These functions form an integral basis for the ring of multi-symmetric functions indexed by tuples of partitions and are defined as certain stable-limits of key polynomials. We prove combinatorial results about the monomial expansions of the multi-symmetric Schur functions including a diagrammatic combinatorial formula and a triangularity result which completely characterizes their monomial multi-symmetric supports. The triangularity result involves a non-trivial generalization of the dominance order on partitions to tuples of partitions. We prove, using the Demazure character formula, that the multi-symmetric Schur functions expand positively into the basis of tensor products of ordinary Schur functions and describe the expansion coefficients as multiplicities of certain irreducible representations for Levi subgroups inside particular Demazure modules. Lastly, we find a family of multi-symmetric plethystic operators related to the classical Bernstein operators which act on the multi-symmetric Schur basis by a simple recurrence relation.
Orthology and Near-Cographs in the Context of Phylogenetic Networks
Orthologous genes, which arise through speciation, play a key role in comparative genomics and functional inference. In particular, graph-based methods allow for the inference of orthology estimates without prior knowledge of the underlying gene or species trees. This results in orthology graphs, where each vertex represents a gene, and an edge exists between two vertices if the corresponding genes are estimated to be orthologs. Orthology graphs inferred under a tree-like evolutionary model must be cographs. However, real-world data often deviate from this property, either due to noise in the data, errors in inference methods or, simply, because evolution follows a network-like rather than a tree-like process. The latter, in particular, raises the question of whether and how orthology graphs can be derived from or, equivalently, are explained by phylogenetic networks. Here, we study the constraints imposed on orthology graphs when the underlying evolutionary history follows a phylogenetic network instead of a tree. We show that any orthology graph can be represented by a sufficiently complex level-k network. However, such networks lack biologically meaningful constraints. In contrast, level-1 networks provide a simpler explanation, and we establish characterizations for level-1 explainable orthology graphs, i.e., those derived from level-1 evolutionary histories. To this end, we employ modular decomposition, a classical technique for studying graph structures. Specifically, an arbitrary graph is level-1 explainable if and only if each primitive subgraph is a near-cograph (a graph in which the removal of a single vertex results in a cograph). Additionally, we present a linear-time algorithm to recognize level-1 explainable orthology graphs and to construct a level-1 network that explains them, if such a network exists.
Matroidal representations of low rank
We study tropical subrepresentations of the Boolean regular representation $\mathbb{B}[G]$ of a finite group $G$. These are equivalent to the matroids on ground set $G$ for which left-multiplication by each element of $G$ is a matroid automorphism. We completely classify the tropical subrepresentations of $\mathbb{B}[G]$ for rank 3. When $G$ is an abelian group, our approach can be seen as a generalization of Golomb rulers. In doing so, we also introduce an interesting class of matroids obtained from equivalence relations on finite sets.
The Affine Tamari Lattice
Given a fixed integer $n\geq 2$, we construct two new finite lattices that we call the cyclic Tamari lattice and the affine Tamari lattice. The cyclic Tamari lattice is a sublattice and a quotient lattice of the cyclic Dyer lattice, which is the infinite lattice of translation-invariant total orders under containment of inversion sets. The affine Tamari lattice is a quotient of the Dyer lattice, which in turn is a quotient of the cyclic Dyer lattice and is isomorphic to the collection of biclosed sets of the root system of type $\widetilde{A}_{n-1}$ under inclusion. We provide numerous combinatorial and algebraic descriptions of these lattices using translation-invariant total orders, translation-invariant binary in-ordered trees, noncrossing arc diagrams, torsion classes, triangulations, and translation-invariant noncrossing partitions. The cardinalities of the cyclic and affine Tamari lattices are the Catalan numbers of types $B_n$ and $D_n$, respectively. We show that these lattices are self-dual and semidistributive, and we describe their decompositions coming from the Fundamental Theorem of Finite Semidistributive Lattices. We also show that the rowmotion operators on these lattices have well-behaved orbit structures, which we describe via the cyclic sieving phenomenon. Our new combinatorial framework allows us to prove that the lengths of maximal green sequences for the completed path algebra of the oriented $n$-cycle are precisely the integers in the interval $[2n-1,\binom{n+1}{2}]$.
Domination on Vertex-weighted Graphs Induce by a Coloring
This paper introduces the concept of domination in the context of colored graphs (where each color assigns a weight to the vertices of its class), termed up-color domination, where a vertex dominating another must be heavier than the other. That idea defines, on one hand, a new parameter measuring the size of minimal dominating sets satisfying specific constraints related to vertex colors. The paper proves that the optimization problem associated with that concept is an NP-complete problem, even for bipartite graphs with three colors. On the other hand, a weight-based variant, the up-color domination weight, is proposed, further establishing its computational hardness. The work also explores the relationship between up-color domination and classical domination and coloring concepts. Efficient algorithms for trees are developed that use their acyclic structure to achieve polynomial-time solutions.
A proof of the Naito--Sagaki conjecture via the branching rule for $\imath$quantum groups
The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the path model due to Littelmann, and was proved combinatorially in 2018 by Schumann--Torres. In this paper, we give a new proof of the Naito--Sagaki conjecture independently of Schumann--Torres, using the branching rule based on the crystal basis theory for $\imath$quantum groups of type $\mathrm{AII}_{2n-1}$. Here, note that $\imath$quantum groups are certain coideal subalgebras of a quantized universal enveloping algebra obtained by $q$-deforming symmetric pairs, and also regarded as a generalization of quantized universal enveloping algebras; these were defined by Letzter in 1999, and since then their representation theory has become an active area of research. The main ingredients of our approach are certain combinatorial operations, such as promotion operators and Kashiwara operators, which are well-suited to the representation theory of complex semisimple Lie algebras.
A recursion formula for Branching from $\mathfrak{sl}_n$ to $\mathfrak{sl}_2$ subalgebras
For any representation of a complex simple Lie algebra $\mathfrak{sl}_n$, one problem of branching rules to $\mathfrak{sl}_2$-subalgebra is to determine the multiplicity of each irreducible component. In this paper, we derive a recursion formula of such multiplicities by restricting a certain tensor representation in two ways, in which the Pieri's rule is involved. We also investigate branching rules for fundamental representations as they are initial conditions of the recursion formula.
Total $k$-coalition: bounds, exact values and an application to double coalition
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (July 16, 2025) dmtcs:15231
• View Publication
• BIB
Let $G=\big{(}V(G),E(G)\big{)}$ be a graph with minimum degree $k$. A subset $S\subseteq V(G)$ is called a total $k$-dominating set if every vertex in $G$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a total $k$-coalition in $G$ if none of them is a total $k$-dominating set in $G$ but their union $A\cup B$ is a total $k$-dominating set. A vertex partition $Ω=\{V_{1},\ldots,V_{|Ω|}\}$ of $G$ is a total $k$-coalition partition if each set $V_{i}$ forms a total $k$-coalition with another set $V_{j}$. The total $k$-coalition number ${\rm TC}_{k}(G)$ of $G$ equals the maximum cardinality of a total $k$-coalition partition of $G$. In this paper, the above-mentioned concept are investigated from combinatorial points of view. Several sharp lower and upper bounds on ${\rm TC}_{k}(G)$ are proved, where the main emphasis is given on the invariant when $k=2$. As a consequence, the exact values of ${\rm TC}_2(G)$ when $G$ is a cubic graph or a $4$-regular graph are obtained. By using similar methods, an open question posed by Henning and Mojdeh regarding double coalition is answered. Moreover, ${\rm TC}_3(G)$ is determined when $G$ is a cubic graph.
Vertex connectivity of chordal graphs
Let $G$ be a finite graph and $κ(G)$ the vertex connectivity of $G$. A chordal graph $G$ is called chordal$^*$ if no vertex of $G$ is adjacent to all other vertices of $G$. Using the syzygy theory in commutative algebra, it is proved that every chordal$^*$ graph $G$ on $n$ vertices satisfies $κ(G) \leq (n - 1) - \lceil2\sqrt{n}-2\,\rceil$. Furthermore, given an integer $0 \leq κ\leq (n - 1) - \lceil2\sqrt{n}-2\,\rceil$, a chordal$^*$ graph $G$ on $n$ vertices satisfying $κ(G) = κ$ is constructed.
Spanning trees of claw-free graphs with few leaves and branch vertices
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (November 20, 2025) dmtcs:15247
• View Publication
• BIB
Let $T$ be a tree. A vertex of degree one is a \emph{leaf} of $T$ and a vertex of degree at least three is a \emph{branch vertex} of $T$. A graph is said to be claw-free if it does not contain $K_{1,3}$ as an induced subgraph. In this paper, we study the spanning trees with a bounded number of leaves and branch vertices of claw-free graphs. Applying the main results, we also give some improvements of previous results on the spanning trees with few branch vertices for the case of claw-free graphs.
On the distance spectral gap and construction of D-equienergetic graphs
Let $D(G)$ denote the distance matrix of a connected graph $G$ with $n$ vertices. The distance spectral gap of a graph $G$ is defined as $δ_{D^G} = ρ_1 - ρ_2$, where $ρ_1$ and $ρ_2$ represent the largest and second largest eigenvalues of $D(G)$, respectively. For a $k$-transmission regular graph $G$, the second smallest eigenvalue of the distance Laplacian matrix equals the distance spectral gap of $G$. In this article, we obtain some upper and lower bounds for the distance spectral gap of a graph in terms of the sum of squares of its distance eigenvalues. Additionally, we provide some bounds for the distance eigenvalues and distance energy of graphs. Furthermore, we construct new families of non $D$-cospectral $D$-equienergetic graphs with diameters of $3$ and $4$.
Faster diameter computation in graphs of bounded Euler genus
We show that for any fixed integer $k \geq 0$, there exists an algorithm that computes the diameter and the eccentricies of all vertices of an input unweighted, undirected $n$-vertex graph of Euler genus at most $k$ in time \[ \mathcal{O}_k(n^{2-\frac{1}{25}}). \] Furthermore, for the more general class of graphs that can be constructed by clique-sums from graphs that are of Euler genus at most $k$ after deletion of at most $k$ vertices, we show an algorithm for the same task that achieves the running time bound \[ \mathcal{O}_k(n^{2-\frac{1}{356}} \log^{6k} n). \] Up to today, the only known subquadratic algorithms for computing the diameter in those graph classes are that of [Ducoffe, Habib, Viennot; SICOMP 2022], [Le, Wulff-Nilsen; SODA 2024], and [Duraj, Konieczny, Potępa; ESA 2024]. These algorithms work in the more general setting of $K_h$-minor-free graphs, but the running time bound is $\mathcal{O}_h(n^{2-c_h})$ for some constant $c_h > 0$ depending on $h$. That is, our savings in the exponent, as compared to the naive quadratic algorithm, are independent of the parameter $k$. The main technical ingredient of our work is an improved bound on the number of distance profiles, as defined in [Le, Wulff-Nilsen; SODA 2024], in graphs of bounded Euler genus.
Sufficient conditions for a graph with minimum degree to be k-critical with respect to [1,b]-odd factor
A spanning subgraph $F$ of a graph $G$ is called a $[1,b]$-odd factor if $b\equiv1$ (mod 2) and $d_F(v)\in\{1,3,\ldots,b\}$ for every $v\in V(G)$. A graph $G$ of order $n\geq k+2$ is $k$-critical with respect to $[1,b]$-odd factor if for any $X\subseteq V(G)$ with $|X|=k$, $G-X$ has a $[1,b]$-odd factor. In this paper, we provide a size and spectral radius conditions for a graph with minimum degree to be $k$-critical with respect to $[1,b]$-odd factor, respectively.
Some new results about Fibonacci p-cubes
The Fibonacci cube $Γ_n$ is the subgraph of the hypercube $Q_n$ induced by vertices with no consecutive $1$s. Recently Jianxin Wei and Yujun Yang introduced a one parameter generalization, Fibonacci $p$-cubes $Γ_n^p$, which are subgraphs of hypercubes induced by strings where there is at least $p$ consecutive $0$s between two $1$s. In this paper we first prove the expression conjectured by the authors for the cube polynomial of $Γ_n^p$. By a totally different method we then determine a generalization, the distance cube polynomial. We also complete the invariants investigated in the original paper by two new ones, the Mostar index $\mathit{Mo}(Γ_n^p)$ and the Irregularity $\irr(Γ_n^p)$.