Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Identifying codes in graphs of given maximum degree: Characterizing trees
Published in Discrete Mathematics, Volume 349, Issue 2, February 2026, 114826
• View Publication
• BIB
An identifying code of a closed-twin-free graph $G$ is a dominating set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhoods and $S$. It was conjectured that there exists an absolute constant $c$ such that for every connected graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size at most $( \frac{Δ-1}Δ )n +c$. We provide significant support for this conjecture by exactly characterizing every tree requiring a positive constant $c$ together with the exact value of the constant. Hence, proving the conjecture for trees. For $Δ=2$ (the graph is a path or a cycle), it is long known that $c=3/2$ suffices. For trees, for each $Δ\ge 3$, we show that $c=1/Δ\le 1/3$ suffices and that $c$ is required to have a positive value only for a finite number of trees. In particular, for $Δ= 3$, there are 12 trees with a positive constant $c$ and, for each $Δ\ge 4$, the only tree with positive constant $c$ is the $Δ$-star. Our proof is based on induction and utilizes recent results from [F. Foucaud, T. Lehtilä. Revisiting and improving upper bounds for identifying codes. SIAM Journal on Discrete Mathematics, 2022]. We remark that there are infinitely many trees for which the bound is tight when $Δ=3$; for every $Δ\ge 4$, we construct an infinite family of trees of order $n$ with identification number very close to the bound, namely $\left( \frac{Δ-1+\frac{1}{Δ-2}}{Δ+\frac{2}{Δ-2}} \right) n > (\frac{Δ-1}Δ ) n -\frac{n}{Δ^2}$. Furthermore, we also give a new tight upper bound for identification number on trees by showing that the sum of the domination and identification numbers of any tree $T$ is at most its number of vertices.
Resolving Sets in Temporal Graphs
Published
• View Publication
• BIB
A \emph{resolving set} $R$ in a graph $G$ is a set of vertices such that every vertex of $G$ is uniquely identified by its distances to the vertices of $R$. Introduced in the 1970s, this concept has been since then extensively studied from both combinatorial and algorithmic points of view. We propose a generalization of the concept of resolving sets to temporal graphs, \emph{i.e.}, graphs with edge sets that change over discrete time-steps. In this setting, the \emph{temporal distance from $u$ to $v$} is the earliest possible time-step at which a journey with strictly increasing time-steps on edges leaving $u$ reaches $v$, \emph{i.e.}, the first time-step at which $v$ could receive a message broadcast from $u$. A \emph{temporal resolving set} of a temporal graph $\mathcal{G}$ is a subset $R$ of its vertices such that every vertex of $\mathcal{G}$ is uniquely identified by its temporal distances from vertices of $R$.
We study the problem of finding a minimum-size temporal resolving set, and show that it is NP-complete even on very restricted graph classes and with strong constraints on the time-steps: temporal complete graphs where every edge appears in either time-step~1 or~2, temporal trees where every edge appears in at most two consecutive time-steps, and even temporal subdivided stars where every edge appears in at most two (not necessarily consecutive) time-steps. On the other hand, we give polynomial-time algorithms for temporal paths and temporal stars where every edge appears in exactly one time-step, and give a combinatorial analysis and algorithms for several temporal graph classes where the edges appear in periodic time-steps.
Upper Bounds of the Odd Chromatic Number of a Graph in terms of its Thickness
An odd coloring of a graph $G$ is a proper vertex coloring $\varphi$ with the property that for each non-isolated vertex $v\in V(G)$, there exists a color $c$ such that the cardinality of $\varphi^{-1}(c)\cap N(v)$ is odd. The concept of odd colorings is introduced by Petruševski and Škrekovski. In this paper, we investigate upper bounds of the odd chromatic number of a graph in terms of its thickness and other graphical parameters. In particular, we show that a graph $G$ with the minimum degree at least $2θ(G)-1$ and girth at least $6$ is odd $6θ(G)$-colorable, where $θ(G)$ is the thickness of $G$.
Truncated theta series from the Bailey lattice
Published
• View Publication
• BIB
In 2012, Andrews and Merca obtained a truncated version of Euler's pentagonal number theorem and showed the nonnegativity related to partition functions. Meanwhile, Andrews-Merca and Guo-Zeng independently conjectured that the truncated Jacobi triple product series has nonnegative coefficients, which has been confirmed analytically and also combinatorially. In 2022, Merca proposed a stronger version for this conjecture. In this paper, by applying Agarwal, Andrews and Bressoud's Bailey lattice, we derive a truncated version for the Jacobi triple product series with odd basis which reduces to the Andrews-Gordon identity as a special instance. As consequences, we obtain new truncated forms for Euler's pentagonal number theorem, Gauss'theta series on triangular numbers and square numbers, which lead to inequalities for certain partition functions. Moreover, by considering a truncated theta series involving $\ell$-regular partitions, we confirm a conjecture proposed by Ballantine and Merca about 6-regular partitions and show that Merca's stronger conjecture on truncated Jacobi triple product series holds when $R = 3S$ for $S \geq 1.$
On uniqueness of packing of three copies of 2-factors
Published
• View Publication
• BIB
The packing of three copies of a graph $G$ is the union of three edge-disjoint copies (with the same vertex set) of $G$. In this paper, we completely solve the problem of the uniqueness of packing of three copies of 2-regular graphs. In particular, we show that $C_3,C_4,C_5,C_6$ and $2C_3$ have no packing of three copies, $C_7,C_8,C_3 \cup C_4, C_4 \cup C_4, C_3 \cup C_5$ and $3C_3$ have unique packing, and any other collection of cycles has at least two distinct packings.
Local limit of massive spanning forests on the complete graph
We identify the local limit of massive spanning forests on the complete graph. This generalizes a well-known theorem of Grimmett on the local limit of uniform spanning trees on the complete graph.
The Real Tropical Geometry of Neural Networks
We consider a binary classifier defined as the sign of a tropical rational function, that is, as the difference of two convex piecewise linear functions. The parameter space of ReLU neural networks is contained as a semialgebraic set inside the parameter space of tropical rational functions. We initiate the study of two different subdivisions of this parameter space: a subdivision into semialgebraic sets, on which the combinatorial type of the decision boundary is fixed, and a subdivision into a polyhedral fan, capturing the combinatorics of the partitions of the dataset. The sublevel sets of the 0/1-loss function arise as subfans of this classification fan, and we show that the level-sets are not necessarily connected. We describe the classification fan i) geometrically, as normal fan of the activation polytope, and ii) combinatorially through a list of properties of associated bipartite graphs, in analogy to covector axioms of oriented matroids and tropical oriented matroids. Our findings extend and refine the connection between neural networks and tropical geometry by observing structures established in real tropical geometry, such as positive tropicalizations of hypersurfaces and tropical semialgebraic sets.
Paintability of $r$-chromatic graphs
Published
• View Publication
• BIB
The online list coloring game is a two-player graph-coloring game played on a graph $G$ as follows. On each turn, a Lister reveals a new color $c$ at some subset $S \subseteq V(G)$ of uncolored vertices, and then a Painter chooses an independent subset of $S$ to which to assign $c$. As the game is played, the revealed colors at each vertex $v \in V(G)$ form a color set $L(v)$, often called a list. The paintability of $G$ measures the minimum value $k$ for which Painter has a strategy to complete a coloring of $G$ in such a way that $|L(v)| \leq k$ for each vertex $v \in V(G)$. The paintability of a graph is an upper bound for its list chromatic number, or choosability.
The online list coloring game is a special case of the DP-painting game, which is defined similarly using the setting of DP-coloring. In the DP-painting game, the Lister reveals correspondence covers of a graph $G$ rather than colors, and the Painter chooses independent subsets of these covers. The DP-painting game has a parameter known as DP-paintability which is analogous to paintability.
In this paper, we consider upper bounds for the paintability and DP-paintability of a graph $G$ with large maximum degree $Δ$ and chromatic number at most some fixed value $r$. We prove that the paintability of $G$ is at most $\left(1 - \frac{1}{4r+1} \right ) Δ+ 2$ and that the DP-paintability of $G$ is at most $Δ- Ω( \sqrt{Δ\log Δ})$. We prove our first upper bound using Alon-Tarsi orientations, and we prove our second upper bound by considering the strict type-$3$ degeneracy parameter recently introduced by Zhou, Zhu, and Zhu.
Noncompact surfaces, triangulations and rigidity
Published
• View Publication
• BIB
Every noncompact surface is shown to have a (3,6)-tight triangulation, and applications are given to the generic rigidity of countable bar-joint frameworks in R^3. In particular, every noncompact surface has a (3,6)-tight triangulation that is minimally 3-rigid. A simplification of Richards' proof of Kerékjártó's classification of noncompact surfaces is also given.
Ordered and colored subgraph density problems
Published
• View Publication
• BIB
We consider three extremal problems about the number of copies of a fixed graph in another larger graph. First, we correct an error in a result of Reiher and Wagner and prove that the number of $k$-edge stars in a graph with density $x \in [0, 1]$ is asymptotically maximized by a clique and isolated vertices or its complement. Next, among ordered $n$-vertex graphs with $m$ edges, we determine the maximum and minimum number of copies of a $k$-edge star whose nonleaf vertex is minimum among all vertices of the star. Finally, for $s \ge 2$, we define a particular $3$-edge-colored complete graph $F$ on $2s$ vertices with colors blue, green and red, and determine, for each $(x_b, x_g)$ with $x_b+x_g\le 1$ and $x_b, x_g \ge 0$, the maximum density of $F$ in a large graph whose blue, green and red edge sets have densities $x_b, x_g$ and $1-x_b-x_g$, respectively. These are the first nontrivial examples of colored graphs for which such complete results are proved.
Walks on tiled boards
Several articles deal with tilings with various shapes, and also a very frequent type of combinatorics is to examine the walks on graphs or on grids. We combine these two things and give the numbers of the shortest walks crossing the tiled $(1\times n)$ and $(2\times n)$ square grids by covering them with squares and dominoes. We describe these numbers not only recursively, but also as rational polynomial linear combinations of Fibonacci numbers.
Grothendieck polynomials of inverse fireworks permutations
Published
• View Publication
• BIB
Pipedreams are combinatorial objects that compute Grothendieck polynomials. We introduce a new combinatorial object that naturally recast the pipedream formula. From this, we obtain the first direct combinatorial formula for the top degree components of Grothendieck polynomials, also known as the Castelnuovo-Mumford polynomials. We also prove the inverse fireworks case of a conjecture of Mészáros, Setiabrata, and St. Dizier on the support of Grothendieck polynomials.
PackIt! Gamified Rectangle Packing
We present and analyze PackIt!, a turn-based game consisting of packing rectangles on an $n \times n$ grid. PackIt! can be easily played on paper, either as a competitive two-player game or in \emph{solitaire} fashion. On the $t$-th turn, a rectangle of area $t$ or $t+1$ must be placed in the grid. In the two-player format of PackIt! whichever player places a rectangle last wins, whereas the goal in the solitaire variant is to perfectly pack the $n \times n$ grid. We analyze conditions for the existence of a perfect packing over $n \times n$, then present an automated reasoning approach that allows finding perfect games of PackIt! up to $n = 50$ which includes a novel SAT-encoding technique of independent interest, and conclude by proving an NP-hardness result.
Edge-Disjoint Spanning Trees on Star-Product Networks
Published
• View Publication
• BIB
A star-product operation may be used to create large graphs from smaller factor graphs. Network topologies based on star-products demonstrate several advantages including low-diameter, high scalability, modularity and others. Many state-of-the-art diameter-2 and -3 topologies~(Slim Fly, Bundlefly, PolarStar etc.) can be represented as star products.
In this paper, we explore constructions of edge-disjoint spanning trees~(EDSTs) in star-product topologies. EDSTs expose multiple parallel disjoint pathways in the network and can be leveraged to accelerate collective communication, enhance fault tolerance and network recovery, and manage congestion.
Our EDSTs have provably maximum or near-maximum cardinality which amplifies their benefits. We further analyze their depths and show that for one of our constructions, all trees have order of the depth of the EDSTs of the factor graphs, and for all other constructions, a large subset of the trees have that depth.
A 2-distance $(2Δ+7)$-coloring of planar graphs
A vertex coloring of a graph $G$ is called a $2$-distance coloring if any two vertices at a distance at most $2$ from each other receive different colors. Recently, Bousquet et al. (Discrete Mathematics, 346(4), 113288, 2023) proved that $2Δ+7$ colors are sufficient for the $2$-distance coloring of planar graphs with maximum degree $Δ\geq 9$. In this paper, we strengthen their result by removing the maximum degree constraint and show that all planar graphs admit a 2-distance $(2Δ+7)$-coloring. This particularly improves the result of Van den Heuvel and McGuinness (Journal of Graph Theory, 42(2), 110-124, 2003).
A new Young wall realization of $B(λ)$ and $B(\infty)$
Published
• View Publication
• BIB
Using new combinatorics of Young walls, we give a new construction of the arbitrary level highest weight crystal $B(λ)$ for the quantum affine algebras of types $A^{(2)}_{2n}$, $D^{(2)}_{n+1}$, $A^{(2)}_{2n-1}$, $D^{(1)}_n$, $B^{(1)}_n$ and $C^{(1)}_n$. We show that the crystal consisting of reduced Young walls is isomorphic to the crystal $B(λ)$. Moreover, we provide a new realization of the crystal $B(\infty)$ in terms of reduced virtual Young walls and reduced extended Young walls.
Designs in finite classical polar spaces
Published in Designs, Codes and Cryptography 93[4] (2025), 1143-1162
• View Publication
• BIB
Combinatorial designs have been studied for nearly 200 years. Fifty years ago, Cameron, Delsarte, and Ray-Chaudhury started investigating their q-analogs, also known as subspace designs or designs over finite fields.
Designs can be defined analogously in finite classical polar spaces, too. The definition includes the m-regular systems from projective geometry as the special case where the blocks are generators of the polar space. The first nontrivial such designs for t > 1 were found by De Bruyn and Vanhove in 2012, and some more designs appeared recently in the PhD thesis of Lansdown.
In this article, we investigate the theory of classical and subspace designs for applicability to designs in polar spaces, explicitly allowing arbitrary block dimensions. In this way, we obtain divisibility conditions on the parameters, derived and residual designs, intersection numbers and an analog of Fisher's inequality. We classify the parameters of symmetric designs. Furthermore, we conduct a computer search to construct designs of strength t=2, resulting in designs for more than 140 previously unknown parameter sets in various classical polar spaces over GF(2) and GF(3).
Generalised core partitions and Diophantine equations
We study generalised core partitions arising from affine Grassmannian elements in arbitrary Dynkin type. The corresponding notion of size is given by the atomic length in the sense of [CLG22]. In this paper, we first develop the theory for extended affine Weyl groups. In a series of applications, we give some remarkable parametrisations of the solutions of certain Diophantine equations resembling Pell's equation, by refining the results of [BN22] and [Alp14], and generalising them to further types.
Obligatory hypergraphs
Published
• View Publication
• BIB
Erdős and Hajnal proved that every graph of uncountable chromatic number contains arbitrarily large finite, complete, bipartite graphs. We extend this result to hypergraphs.
Hankel determinants of convolution powers of Catalan numbers revisited
Using a slightly generalized result of George Andrews and Jet Wimp this note gives a simple computational proof of some Hankel determinants of backwards shifts of convolution powers of Catalan numbers and obtains analogous results for Narayana polynomials.