Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A Simple Recursive Relation Characterizes a Tree Associated to Generalized Farey Sequences
This paper proves that two differently defined rooted binary trees are isomorphic. The first tree is one associated to a version of Farey sequences where the vertices correspond to the open intervals formed by two successive terms in the sequence. The other tree has the vertices consisting of pairs of positive integers whose adjacency is defined by a simple recursive relation. These trees appeared in a study of a generalization of a class of the permutations defined by Sós and the bijection between it and the set of the Farey intervals due to Surányi.
The maximum number of nonzero weights of linear rank-metric codes
We investigate the maximum number \( L_{\mathrm{rk}}(n, m, k, q) \) of distinct nonzero rank weights that an \( \mathbb{F}_{q^m} \)-linear rank-metric code of dimension \( k \) in \( \mathbb{F}_{q^m}^n \) can attain. We determine the exact value of the function \( L_{\mathrm{rk}}(n, m, k, q) \) for all admissible parameters \( n, m, k, q \). In particular, we characterize when a code achieves the full weight spectrum (FWS), i.e. when the number of distinct nonzero rank weights equals \( \min\{n, m\} \). We provide both necessary and sufficient conditions for the existence of FWS codes, along with explicit constructions of codes attaining the maximum number of distinct weights. We discuss the equivalence of such codes and also present classification results for 2-dimensional codes. Finally, we investigate further properties of these optimal codes, like their behavior under duality.
Numeration systems without a dominant root and regularity
Positional numeration systems are a large family of numeration systems used to represent natural numbers. Whether the set of all representations forms a regular language or not is one of the most important questions that can be asked of such a system. This question was investigated in a 1998 article by Hollander. Central to his analysis is a property linking positional numeration systems and Rényi numeration systems, which use a real base to represent real numbers. However, this link only exists when the initial numeration system has a dominant root, which is not a necessary condition for regularity. In this article, we show a more general link between positional numeration systems and alternate base numeration systems, a family generalizing Rényi systems. We then take advantage of this link to provide a full characterization of those numeration systems that generate a regular language. We also discuss the effectiveness of our method, and comment Hollander's results and conjecture in the light of ours.
Tales of Hoffman: from a distance
Hoffman proved that a graph $G$ with adjacency eigenvalues $λ_1\geq \cdots \geq λ_n$ and chromatic number $χ(G)$ satisfies $χ(G)\geq 1+κ,$ where $κ$ is the smallest integer such that $$λ_1+\sum_{i=1}^κλ_{n+1-i}\leq 0.$$ We extend this eigenvalue bound to the distance-$k$ setting, and also show a strengthening of it by proving that it also lower bounds the corresponding quantum distance coloring graph parameter. The new bound depends on a degree-$k$ polynomial which can be chosen freely, so one needs to make a good choice of the polynomial to obtain as strong a bound as possible. We thus propose linear programming methods to optimize it. We also investigate the implications of the new bound for the quantum distance chromatic number, showing that it is sharp for some classes of graphs. Finally, we extend the Hoffman bound to the distance setting of the vector chromatic number. Our results extend and unify several previous bounds in the literature.
A tropical version of Martens' theorem for metric graphs
We study the conjecture stated by Jensen and Len on a tropical version on Martens' theorem via the Brill--Noether rank of a tropical curve. We recall Coppens' counterexample of Martens-special chain of cycles, and we generalize the construction defining another class of graphs, Martens-special trees of cycles, for which the conjecture does not hold in a similar setting. These are not the only counterexamples. However, we prove that the conjecture holds for all metric graphs with a stricter assumption on the degree in the Brill--Noether rank.
Kernelization dichotomies for hitting minors under structural parameterizations
For a finite collection of connected graphs $\mathcal{F}$, the $\mathcal{F}$-MINOR-DELETION problem consists in, given a graph $G$ and an integer $\ell$, deciding whether $G$ contains a vertex set of size at most $\ell$ whose removal results in an $\mathcal{F}$-minor-free graph. We lift the existence of (approximate) polynomial kernels for $\mathcal{F}$-MINOR-DELETION by the solution size to (approximate) polynomial kernels parameterized by the vertex-deletion distance to graphs of bounded elimination distance to $\mathcal{F}$-minor-free graphs. This results in exact polynomial kernels for every family $\mathcal{F}$ that contains a planar graph, and an approximate polynomial kernel for PLANAR VERTEX DELETION. Moreover, combining our result with a previous lower bound, we obtain the following infinite set of dichotomies, assuming $NP \not\subseteq coNP/poly$: for any finite set $\mathcal{F}$ of biconnected graphs on at least three vertices containing a planar graph, and any minor-closed class of graphs $\mathcal{C}$, $\mathcal{F}$-MINOR-DELETION admits a polynomial kernel parameterized by the vertex-deletion distance to $\mathcal{C}$ if and only if $\mathcal{C}$ has bounded elimination distance to $\mathcal{F}$-minor-free graphs. For instance, this yields dichotomies for CACTUS VERTEX DELETION, OUTERPLANAR VERTEX DELETION, and TREEWIDTH-$t$ VERTEX DELETION for every integer $t \geq 0$. Prior to our work, such dichotomies were only known for the particular cases of VERTEX COVER and FEEDBACK VERTEX SET. Our approach builds on the techniques developed by Jansen and Pieterse [Theor. Comput. Sci. 2020] and also uses adaptations of some of the results by Jansen, de Kroon, and Wlodarczyk [STOC 2021].
Flagged Hamel--Goulden formulas
We obtain Hamel--Goulden-type ribbon decomposition determinantal formulas for flagged supersymmetric Schur functions. As an application, we derive corresponding new determinantal formulas dual refined canonical stable Grothendieck polynomials. These results generalize and produce a number of new determinantal formulas for these symmetric functions including Jacobi--Trudi and skew Giambelli-type determinants.
Space Efficient Algorithms for Parameterised Problems
We study "space efficient" FPT algorithms for graph problems with limited memory. Let n be the size of the input graph and k be the parameter. We present algorithms that run in time f(k)*poly(n) and use g(k)*polylog(n) working space, where f and g are functions of k alone, for k-Path, MaxLeaf SubTree and Multicut in Trees. These algorithms are motivated by big-data settings where very large problem instances must be solved, and using poly(n) memory is prohibitively expensive. They are also theoretically interesting, since most of the standard methods tools, such as deleting a large set of vertices or edges, are unavailable, and we must a develop different way to tackle them.
Tropical KP Theory on Banana Curves
The Kadomtsev-Petviashvili (KP) equation is the cornerstone of integrable systems, whose solutions reflect deep connections in algebraic geometry. Banana curves are reducible rational curves obtained as a degeneration of hyperelliptic curves. In this work, we relate the family of KP multi-solitons arising from banana curves together with non-special divisors of fixed degree to the combinatorics of the tropical theta divisor of the curve. We describe the Voronoi and Delaunay polytopes and show that the latter are combinatorially equivalent to uniform matroid polytopes. As a consequence, the combinatorics of the tropical theta divisor canonically encodes the matroid and Grassmannian structures underlying the associated KP multi-soliton solutions. We define the Hirota variety of a banana graph, which parametrizes all tau functions arising from such a graph. Starting from the matroid arising from Delaunay polytopes and the periods in the tropical limit, we construct an explicit parametrization of this variety which realizes the tau function as a multi-soliton. Our framework specializes naturally to real and positive settings.
On Minimum Cost Rainbow Structures
We discuss the expected minimum cost of rainbow spanning trees and Hamilton cycles in randomly edge colored random graphs.
Machine learning discovers new champion codes
Linear error-correcting codes form the mathematical backbone of modern digital communication and storage systems, but identifying champion linear codes (linear codes achieving or exceeding the best known minimum Hamming distance) remains challenging. By training a transformer to predict the minimum Hamming distance of a class of linear codes and pairing it with a genetic algorithm over the search space, we develop a novel method for discovering champion codes. This model effectively reduces the search space of linear codes needed to achieve champion codes. Our results present the use of this method in the study and construction of error-correcting codes, applicable to codes such as generalised toric, Reed-Muller, Bose-Chaudhuri-Hocquenghem, algebrogeometric, and potentially quantum codes.
Cyclotomic Euler-Mahonian polynomials
The cyclotomic Eulerian polynomials and the cyclotomic Mahonian polynomials have each been the subject of extensive studies in Combinatorics, with particular attention to their signed versions. In contrast, the joint study of cyclotomic Euler-Mahonian polynomials has received far less consideration. To the best of our knowledge, the only prior result in this direction is a formula due to Wachs for the signed Euler-Mahonian polynomials in the even case. In this paper, we focus on the cyclotomic Euler-Mahonian polynomials and derive a formula based on the Hadamard product.
As corollaries, we obtain the $I$-analogue (where $I=\sqrt{-1}$) of Wachs' formula for signed Euler-Mahonian polynomials, as well as the previously missing odd case for the signed Euler-Mahonian polynomials.
Linear maps preserving the Cullis' determinant. I
This paper is the first in the series of papers devoted to the explicit description of linear maps preserving the Cullis' determinant of rectangular matrices with entries belonging to an arbitrary ground field which is large enough.
The Cullis' determinant is defined for every matrix of size $n\times k$, where $n \ge k \ge 1$ and is equal to the ordinary determinant if $n = k$. In this paper we solve the linear preserver problem for the Cullis' determinant for $k \ge 4, n \ge k + 2$ and $n + k$ is even. It appears that in this case all linear maps preserving the Cullis' determinant are non-singular and could be represented by two-sided matrix multiplication.
Note that the cases where $n = k$ or $n = k + 1$ admit slightly different description allowing (sub)matrix transposition and were completely studied before: the case where $n = k$ is a classical linear preserver problem for the ordinary determinant and was solved by Frobenius; the complete characterisation for the case where $n = k + 1$ was obtained in the previous paper by the authors.
Linear maps preserving the Cullis' determinant. II
This paper is the second in the series of papers devoted to the explicit description of linear maps preserving the Cullis' determinant of rectangular matrices with entries belonging to an arbitrary ground field which is large enough.
In this part we solve the linear preserver problem for the Cullis' determinant defined on the spaces of matrices of size $n\times k$ with $k \ge 4,\; n \ge k + 2$ and $n + k$ is odd.
In comparison with the case when $n + k$ is even, in this case linear maps preserving the Cullis' determinant could be singular and are represented as a sum of two linear maps: first is two-sided matrix multiplication and second is any linear map whose image consists of matrices, all rows of which are equal.
Tropical Invariants for Permutation Group Actions
We consider the action of a permutation group $G$ of order $k$ on the tropical polynomial semiring in $n$ variables. We prove that the sub-semiring of invariant polynomials is finitely generated if and only if $G$ is generated by $2$-cycles. There do exist finitely many separating invariants of degree at most $\max\{n,{n\choose 2}\}$. Separating tropical invariants can be used to construct bi-Lipschitz embeddings of the orbit space ${\mathbb R}^n/G$ into Euclidean space. We also show that the invariant polynomials of degree $\leq n p_1p_2\cdots p_k$ generate the semifield of invariant rational tropical functions, where $p_1,p_2,\dots,p_k$ are the first $k$ prime numbers. Most results are also true over arbitrary semirings that are additively idempotent and multiplicatively cancellative.
Displaying prescribed sets of ends by linked tree-decompositions
We show that if a subset $Ψ$ of the ends of a graph $G$ can be displayed by a tree-decomposition of finite adhesion, then it can also be displayed by a linked such tree-decomposition. This tree-decomposition captures all combinatorial information of the ends in $Ψ$: their degrees, their sets of dominating vertices, and their combined degrees.
Peripheral hyper-Wiener index of a graph
In this note, we introduce a new topological index of a graph G that we term peripheral hyper-Wiener index, denoted PWW(G). It is a natural extension of the peripheral Wiener index PW(G) initiated in [NB17] and is to the peripheral Wiener index what the hyper-Wiener index is to the Wiener index. We investigate its basic properties. We compute the peripheral hyper-Wiener index of the cartesian product and trees. In particular, we get an explicit formula for the case of the hypercubes. We also give lower and upper bounds on PW(G) and PWW(G) in terms of the order, size, diameter and the number of peripheral vertices. This paper is an echo to [NB17], most of the results we get are analogues of the ones therein.
On the transmission irregular trees with the maximum Wiener index
Published in J. Comb. Optim. 51 (2026), Art. No. 12
• View Publication
• BIB
The transmission of a vertex $v$ in a (chemical) graph $G$ is the sum of distances from $v$ to other vertices in $G$. If any two vertices of $G$ have different transmissions, then $G$ is transmission irregular. The Wiener index $W(G)$ of a graph $G$ is the sum of all distances between all unordered pairs of vertices in $G$, which has another formula as the half of the sum of transmissions of all vertices of $G$. In this paper, we consider the Wiener index maximization problem on the set of transmission irregular trees of a given order $n \in \mathbb{N}$. We solve the problem for all odd values of $n$ and for almost all even values of $n$. Each resolved extremal problem has a unique solution that is a chemical tree.
Laplacian Spectrum of cozero-divisor graphs of commutative polynomial rings
The cozero-divisor graph of a commutative ring $R$, denoted $Γ'(R)$, is the graph whose vertices are the non-zero and non-unit elements of $R$, with two distinct vertices $x$ and $y$ adjacent if and only if $x \notin Ry$ and $y \notin Rx$. This paper studies the structural properties of $Γ'(R)$ for the polynomial ring $R = \Z_n[x]/(x^2)$, where $n$ has the prime power decomposition of $p_1^{a_1}p_2^{a_2}\cdots p_q^{a_q}$. We provide a complete structure of the cozero-divisor graph for all $n$ up to cubic prime power decompositions. Furthermore, we determine the Laplacian spectrum of these graphs. Finally, we discuss the connectivity of such a cozero-divisor graph of the polynomial rings for any $n$. Our work provides the first comprehensive spectral analysis of cozero-divisor graphs for non-local polynomial rings and establishes powerful new techniques for bridging commutative algebra with spectral graph theory.
Hyper-Minrank: A Unified Hypergraph Characterization of Multi-Sender Index Coding
This work introduces a hypergraph formulation that generalizes the classical paradigm of Bar-Yossef et al. to the multi-sender index coding (MSIC) setting. Central to the model is a 4-regular side-information hypergraph G, a new adjacency representation A_G = [A_1 ... A_N], and a simple fitting criterion for sub-hypergraph validity, in the presence of specially designed hyperedges that capture both side information and cross-sender signal cancellation. This formulation establishes a tight achievability-converse equivalence for the general N-sender, K-receiver problem: every valid fitting induces a valid linear multi-sender index code, every linear code induces a valid fitting, and the optimal scalar linear broadcast length equals the hyper-minrank l**lin(G) = hyperminrank(G) = min*{A fits G} sum_{n=1}^N rank(A_n). Beyond this exact characterization, the approach yields hypergraph analogues of Haemers-type bounds on the broadcast length, including a clique-cover upper bound and a lower bound via the clique number of a carefully defined complement hypergraph. Algorithmically, we provide an exact procedure to compute hyperminrank(G), and show that in certain regimes its complexity is asymptotically better than approximate LT-CMAR solutions. The framework captures well-known settings such as embedded index coding, and applies directly to multi-sender cache-aided communications, coded computation, distributed storage, and edge/satellite systems, where hyperminrank can serve as a unified design target.