Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Identifying codes in triangle-free graphs of bounded maximum degree
Published in Journal of Graph Theory 112(3) 306-336 (2026)
• View Publication
• BIB
An identifying code of a closed-twin-free graph $G$ is a set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct, nonempty intersection between their closed neighborhood and $S$. It was conjectured that there exists a constant $c$ such that for every connected closed-twin-free graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size at most $\left( \frac{Δ-1}Δ \right) n+c$. In [D. Chakraborty, F. Foucaud, M. A. Henning, and T. Lehtilä. Identifying codes in graphs of given maximum degree: Characterizing trees. Discrete Mathematics, 349(2):114826, 2026], we proved the conjecture for all trees. In this article, we show that the conjecture holds for all triangle-free graphs, with the same list of exceptional graphs needing $c>0$ as for trees: for $Δ\ge 3$, $c=1/3$ suffices and there is only a set of 12 trees requiring $c>0$ for $Δ=3$, and when $Δ\ge 4$ this set is reduced to the $Δ$-star only. Our proof is by induction, whose starting point is the above result for trees. Along the way, we prove a generalized version of Bondy's theorem on induced subsets [J. A. Bondy. Induced subsets. Journal of Combinatorial Theory, Series B, 1972] that we use as a tool in our proofs. We also use our main result for triangle-free graphs, to prove the upper bound $\left( \frac{Δ-1}Δ \right) n+1/Δ+4t$ for graphs that can be made triangle-free by the removal of $t$ edges.
The $n/2$-bound for locating-dominating sets in subcubic graphs
Published in Graphs and Combinatorics 42, 72 (2026)
• View Publication
• BIB
The location-domination number is conjectured to be at most half of the order for twin-free graphs with no isolated vertices. We prove that this conjecture holds and is tight for subcubic graphs. We also show that the same upper bound holds for subcubic graphs with open twins of degree 3 and closed twins of any degree, but not for subcubic graphs with open twins of degree 1 or 2. These results then imply that the same upper bound holds for all cubic graphs (with or without twins) except $K_4$ and $K_{3,3}$.
Identifying open codes in trees and 4-cycle-free graphs of given maximum degree
Published in Discrete Applied Mathematics 386: 319-333 (2026)
• View Publication
• BIB
An identifying open code of a graph $G$ is a set $S$ of vertices that is both a separating open code (that is, $N_G(u) \cap S \ne N_G(v) \cap S$ for all distinct vertices $u$ and $v$ in $G$) and a total dominating set (that is, $N(v) \cap S \ne \emptyset$ for all vertices $v$ in $G$). Such a set exists if and only if the graph $G$ is open twin-free and isolate-free; and the minimum cardinality of an identifying open code in an open twin-free and isolate-free graph $G$, its identifying open code number, is denoted by $γ^{\rm {\small IOC}}(G)$.
We study the identifying open code number of a graph, in relation with its order and its maximum degree. For $Δ$ a fixed integer at least $3$, we show that if $G$ is a connected graph of order $n \ge 5$ that contains no $4$-cycle and is open twin-free with maximum degree bounded above by $Δ$, then $γ^{\rm {\small IOC}}(G) \le \left( \frac{2Δ- 1}{2Δ} \right) n$, unless $G$ is obtained from a star $K_{1,Δ}$ by subdividing every edge exactly once. Moreover, we show that the bound is best possible by constructing graphs that reach the bound when $Δ=3$, and nearly best possible by another construction when $Δ\geq 4$, with identifying open code numbers $\left(\frac{2Δ- 4}{2Δ-3} \right) n$.
A Row-wise Algorithm for Graph Realization
Given a $\{0, 1\}$-matrix $M$, the graph realization problem for $M$ asks if there exists a spanning forest such that the columns of $M$ are incidence vectors of paths in the forest. The problem is closely related to the recognition of network matrices, which are a large subclass of totally unimodular matrices and have many applications in mixed-integer programming. Existing efficient algorithms for graph realization grow a submatrix in a column-wise fashion whilst maintaining a graphic realization. In the context of mixed-integer linear programming, this limits the set of submatrices of the constraint matrix that can efficiently be determined to be network matrices to network submatrices that span all rows and a subset of the columns. This paper complements the existing work by providing an algorithm that works in a row-wise fashion and uses similar data structures, and enables the detection of arbitrary graphic submatrices. The main challenge in designing efficient algorithms for the graph realization problem is ambiguity as there may exist many graphs realizing $M$. The key insight for designing an efficient row-wise algorithm is that a graphic matrix is uniquely represented by an SPQR-tree, a graph decomposition that stores all graphs with the same set of cycles. The developed row-wise algorithm uses data structures that are compatible with the column-wise algorithm and can be combined with the latter to detect maximal graphic submatrices.
Combinatorial Games and the Golden Ratio on Digraphs
We introduce a new combinatorial game called Triangle Game. In this game, a directed $3$-cycle graph is given, and stones are placed on each vertex. The player chooses a directed edge and takes at least one stone from the initial vertex. At the same time, the player is allowed to return some stones to the terminal vertex of the edge, as long as the total number of stones decreases. We describe the set of \Pps~under both normal play and misère play. The golden ratio $ϕ=\dfrac{1+\sqrt{5}}{2}$ plays an essential role in our description. We also show that Triangle Game is tame.
Skew-symmetrizable cluster algebras from surfaces and symmetric quivers
We study skew-symmetrizable cluster algebras $\mathcal{A}$ associated with unpunctured surfaces $\tilde{\mathbf{S}}$ endowed with an orientation-preserving involution $ς$. We give a geometric realization of such cluster algebras by showing that cluster variables of $\mathcal{A}$ correspond to non-crossing $ς$-orbits $[γ]$ of arcs of $\tilde{\mathbf{S}}$, while clusters are given by admissible $ς$-invariant triangulations. We establish a formula expressing some cluster variables of $\mathcal{A}$ in terms of those of a skew-symmetric cluster algebra of the same rank, which is combinatorially derived from $\mathcal{A}$. We use this result to provide a cluster expansion formula in terms of perfect matchings of some labeled modified snake graphs constructed from the arcs of $[γ]$. Then, we associate a symmetric finite-dimensional algebra $A$ to $\mathcal{A}$, such that non-initial cluster variables correspond to some orthogonal indecomposable $A$-modules. Finally, we exhibit a purely representation-theoretic map to $\mathcal{A}$, providing a Caldero-Chapoton map in this setting.
Identifying faulty edges in resistive electrical networks
Published in Discrete Applied Mathematics, Vol. 395 (2026), pp.400-424
• View Publication
• BIB
Given a resistive electrical network, we would like to determine whether all the resistances (edges) in the network are working, and if not, identify which edge (or edges) are faulty. To make this determination, we are allowed to measure the effective resistance between certain pairs of nodes (which can be done by measuring the amount of current when one unit of voltage difference is applied at the chosen pair of nodes). The goal is to determine which edge, if any, is not working in the network using the smallest number of measurements. We prove rigorous upper and lower bounds on this optimal number of measurements for different classes of graphs. These bounds are tight for several of these classes showing that our measurement strategies are optimal.
Symmetries of the q-deformed real projective line
We generalize in two steps the quantized action of the modular group on q-deformed real numbers introduced by Morier-Genoud and Ovsienko. First, we let the projective general linear group PGL(2,Z) act on q-real numbers via a q-deformed action. The deformed matrices we get have combinatorial interpretations, and we show that their traces are palindromic polynomials. Then we consider an extension of the group PGL(2,Z) by the 2-elements cyclic group, and define a deformed action of this extension on q-real numbers. We deduce from these actions some underlying relations between q-real numbers, and between left and right versions of q-deformed rational numbers. In particular we investigate the case of some algebraic numbers of degree 4 and 6. We also prove that the deformation of real numbers is an injective process.
Bubble sort and Howe duality for staircase matrices
We prove the alternating Cauchy identity for staircase matrices conjectured in arXiv:2411.03117, together with an explicit description of the coefficients occurring in it. As a byproduct, our approach also yields a new, independent (more combinatorial) proof of the Cauchy identities for staircase matrices established in arXiv:2411.03117.
The first part of the paper focuses on combinatorial aspects. It is self-contained, of independent interest, and introduces a generalization of parabolic Bruhat graphs for monotone functions on an arborescent poset. The second part centers on representation theory. We propose a generalization of the classical Howe duality for staircase matrices in terms of the distributive lattice of Demazure submodules within a given integrable representation. Computing the associated character yields all desired Cauchy identities for staircase matrices.
The Erdős--Moser sum-free set problem via improved bounds for $k$-configurations
A $k$-configuration is a collection of $k$ distinct integers $x_1,\ldots,x_k$ together with their pairwise arithmetic means $\frac{x_i+x_j}{2}$ for $1 \leq i < j \leq k$. Building on recent work of Filmus, Hatami, Hosseini and Kelman on binary systems of linear forms and of Kelley and Meka on Roth's theorem on arithmetic progressions, we show that, for $N \geq \exp((k\log(2/α))^{O(1)})$, any subset $A \subseteq [N]$ of density at least $α$ contains a $k$-configuration. This improves on the previously best known bound $N \geq \exp((2/α)^{O(k^2)})$, due to Shao. As a consequence, it follows that any finite non-empty set $A \subseteq \mathbb{Z}$ contains a subset $B \subseteq A$ of size at least $(\log|A|)^{1+Ω(1)}$ such that $b_1+b_2 \not\in A$ for any distinct $b_1,b_2 \in B$. This provides a new proof of a lower bound for the Erdős--Moser sum-free set problem of the same shape as the best known bound, established by Sanders.
On the Cardinality of the Smith Set Under Impartial Culture with Many Alternatives
For some integer $\ell\geq 2$, consider $m=2\ell-1$ voters, each of which has a preference ranking over $n$ alternatives. The Smith set is the smallest nonempty set of alternatives each of which defeats every alternative outside the set in a pairwise majority comparison. Under the standard benchmark impartial culture where each voter uniformly and independently chooses a random preference ranking over all alternatives, we study the asymptotic probability that the Smith set has cardinality $s$ for fixed $\ell$ and $n\to \infty$.
First, we prove that the probability that the Smith set has constant cardinality $s$ goes to zero at a rate of $Θ_{\ell,s} (n^{-s(\ell-1)/\ell})$. Next, if $\min\{s,n-s\}\to\infty$, we show that this probability decays superpolynomially. Further, when $s$ and $n-s$ are both $Θ(n)$, we prove that the probability decays exponentially and determine the exact exponential base. Finally, we prove that the probability that the Smith set contains all alternatives approaches one at a rate of $Θ_\ell(n^{-(\ell-1)/\ell})$. These theorems resolve the conjectures in [Liu et al, Ann Stat 2026] under impartial culture.
Computing distances in braid-move graphs, higher Bruhat orders, and oriented-matroid mutation graphs is NP-hard
A reduced word of the longest permutation $w_0\in S_m$, taken up to commutations, encodes a wiring diagram of $m$ pseudolines, and a braid move $σ_iσ_{i+1}σ_i\leftrightarrowσ_{i+1}σ_iσ_{i+1}$ flips one of its triangles. We prove that deciding whether two wiring diagrams are within a given braid-move distance is NP-complete. Equivalently, deciding flip distance is NP-complete in the higher Bruhat order $B(m,2)$, for triangle flips of marked arrangements of pseudolines, and for rhombic tilings of a $2m$-gon; this answers an open question on flip graphs of pseudoline arrangements (SODA 2024). The reduction is from Vertex Cover: for every graph $G$ we construct two wiring diagrams at braid-move distance $|D|+2\,\mathrm{VC}(G)$, where $\mathrm{VC}(G)$ is the vertex cover number of $G$ and the Hamming distance $|D|$ is the number of triples of wires whose triangles are oriented differently. The construction glues copies of a seven-wire gadget whose braid-move distance exceeds its Hamming distance by $2$; flipping either of two disjoint triangles in both diagrams removes the excess. Adding a line at infinity transfers the construction to rank-$3$ uniform oriented matroids, where two oriented matroids are adjacent in the mutation graph if their chirotopes differ in one basis; so deciding mutation distance is NP-complete in rank $3$. An iterate of Rambau's expansion of signotopes amplifies the excess and gives NP-hardness in every fixed rank $r\ge 4$. By duality we obtain the corresponding results for every fixed corank at least $3$. The same instances show that flip distance in the higher Bruhat orders $B(n,k)$ is NP-complete for every fixed $k\ge 2$.
A Density Method for Bounding Heesch Numbers in $\mathbb{E}^3$
In this paper, we provide a novel approach to limiting Heesch numbers of a specific family of tiles. In particular, we show how a certain family of three--dimensional prisms has a finite Heesch number. In so doing, we initiate a structural study of ratio $q$ tilings by two prototiles, in which, loosely speaking, one tile appears $q$ times more often than the other. The method works as follows: we take planar intersections with coronas around the prism in two perpendicular directions and compare the frequencies of the resulting prototiles in those patches. If every tiling by these prototiles has limiting ratio at least $q >1$, then sufficiently large coronas of the prism would require incompatible tile counts in the two directions. We also provide some computational results and exhibit $6$ infinite families of notched prisms that have finite Heesch numbers greater or equal to $2$. Finally, we provide some negative computational results about the non--existence of certain prisms with given Heesch numbers.
Homomesy of Tropical $T$-systems: Finite Type
In 2007, Fomin and Zelevinsky introduced the bipartite belt, a sequence of bipartite cluster mutations whose exchange relations form a discrete dynamical system. For each Dynkin diagram, this system is periodic, as a special case of Zamolodchikov periodicity. In the associated tropical dynamics, every mutation along the belt can be naturally colored red or blue, according to which term attains the maximum in the tropical exchange relation. This gives a red-blue statistic on tropical orbits. We prove that this statistic is homomesic, i.e. that the average numbers of red and blue mutations are independent of the orbit. Moreover, the number of red mutations is given by the number of roots in the associated root system. This resolves a conjecture of the first author. In the process we introduce the Zamolodchikov fan, which is closely related to the positive tropical Grassmannian, and may be of independent interest.
Shuffle automata and the growth of 1324-avoiding permutations
We show that $\text{gr}(\text{Av}(1324))\leq 13.167248$. This is achieved by combining the approach of Bevan, Brignall, Elvey Price and Pantone using the `domino', with ideas from earlier upper bounds by Bóna using pairs of decorated words with additional restrictions. More specifically, we replace the arbitrary interleavings of Bevan et. al. with interleavings more like those of Bóna. Our method uses shuffle automata to handle the interleavings, and this method has the potential to provide better upper bounds than the one established here. To estimate how many shuffles are possible, we use two key statistics on dominoes: the number of internal points (that is, points that are neither left-to-right minima not right-to-left maxima), and the number of runs of internal points.
123-Avoiding permutations with an adjacency constraint
We study permutations $π\in S_n$ that avoid $123$ while satisfying the adjacency constraint $\lvert π_{i+1}-π_i\rvert \le m$ for some $m\in\mathbb{Z}^{+}$. We first show that every admissible permutation is localized within vertical distance $m$ of the reverse diagonal, revealing a strong global restriction imposed by the interaction between pattern avoidance and bounded adjacency. For every fixed $m$, we then construct an exact finite-state description of the family, with precisely $2^{m+1}-m-1$ realizable states. This yields an explicit transfer-matrix enumeration and, in particular, a rational generating function for every fixed $m$; consequently, the enumeration sequence satisfies an eventual constant-coefficient linear recurrence. We further identify the exponential growth rate with the spectral radius $ρ_m$ of the corresponding transfer matrix and show that $ρ_m<4$, is nondecreasing in $m$, and converges to the Catalan growth constant $4$ as $m\to\infty$. Finally, we show that the bounded-adjacency constraint breaks the ordinary length-three Wilf equivalence, and we develop algorithmic and graph-theoretic interpretations of the family, including a correspondence with constrained Hamiltonian paths in powers of the path graph.
Burning Signed Graphs
We introduce and analyze a new model of graph burning, in which two competing fires (coloured yellow and green) ignite vertices of a given signed graph and propagate along its edges. The boolean sign of an edge determines whether a fire spreading along the edge changes colour or not. In each step, a player ignites a new vertex in a colour of their choice, while previously activated fires continue to spread. Given a signed graph $Γ$, the objective is to burn the maximum possible number of vertices in a single colour; the optimal achievable value is called the plurality number of $Γ$. We express the plurality number through Hamming distances to a binary code associated with $Γ$. In particular, the minimum plurality number over the switching class of $Γ$ equals the number of vertices minus the covering radius of this code.
Under certain conditions on the signature, we determine exact values of the plurality number of signed paths. By contrast, we prove hardness results for multiple variants of the problem of determining or approximating the plurality number.
Pattern restricted parking functions with limited preferences
A parking function is said to have $\ell$-limited preferences if there are at most $\ell$ copies of each element in the parking function. In this paper, we define a notion of pattern avoidance for parking functions and enumerate those $2$-limited parking functions that avoid certain patterns.
Hilbert fragments
In earlier work, we proved that the length polyhedron of an interval order has a unique Hilbert basis and that every element of this basis is a binary vector. The supports of these binary vectors form a set system whose intersection graph is a cocomparability graph. This leads naturally to the question of which graphs can arise as intersection graphs of such Hilbert-basis supports. We introduce Hilbert fragments, defined as induced subgraphs of these intersection graphs. Thus Hilbert fragments form a hereditary class of cocomparability graphs recording the intersection patterns among the supports of Hilbert-basis elements of interval-order length polyhedra. We characterize Hilbert fragments by an axiomatically defined vertex-labeling, called a track-labeling, and give applications illustrating how this characterization can reveal an underlying one-dimensional structure even when the Hilbert fragments themselves are not interval graphs.
Non-Malleable Affine Extractors with Small Error and Complexity Lower Bounds
We construct explicit non-malleable affine extractors for every constant entropy rate, with linear output length and exponentially small error, against any fixed number of affine tamperings without fixed points. For every fixed $0<η<1$ and $t$, we also obtain entropy threshold $C_{η,t}n/\log n$, output length $\lfloor n^{1-η}\rfloor$, and error $2^{-n^{1-η}}$ against $t$ tamperings.
Our extractors, as well as the directional affine extractors of Li and Zhong (CCC 2024), yield explicit Boolean functions with correlation $2^{-Ω(n)}$ against weakly read-once linear branching programs of size $2^{Ω(n)}$. For non-oblivious decision trees, we prove linear depth lower bounds for queries of each fixed degree $r\ge2$. Applying Li's sumset extractor (FOCS 2023) gives depth $Ω_δ((n/\ell)\log\ell)$ for growing locality $\ell\le n^{1-δ}$, where $0<δ<1$ is fixed. In the same range, directional affine extractors give correlation $2^{-Ω(n/\sqrt\ell)}$ against local trees of depth $c(n/\ell)\log\ell/\log\log\ell$, for a sufficiently small constant $c>0$.
Our extractors derandomize the lossless lifting of Efremenko and Itsykson (STOC 2026). For every fixed $0<ξ<1$, this gives explicit polynomial-size unsatisfiable CNFs on $N$ variables whose $\mathrm{Res}(\oplus)$ refutations of resolution depth at most $N$ require size at least $2^{(1-ξ)N}$. Separately, parity substitutions give polynomial-size CNFs on $N$ variables with polynomial-size ordinary-resolution proofs for which every $\mathrm{Res}(\oplus)$ refutation of size $S$ and depth $d$ satisfies $d\log(2S)=Ω(N^2)$. This removes the $\log^2 N$ loss in the tradeoff of Itsykson, Podolskii, and Shekhovtsov (CCC 2026).