Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Creating triangles in Constructor-Blocker games
Generalized Turán problems investigate the maximization of the number of certain structures (typically edges) under some constraints in a graph. We study a game version of these problems, the Constructor-Blocker game. We mainly focus on the case where Constructor tries to maximize the number of triangles in her graph, while forbidding her to claim short paths or cycles. We also study a variant of this game, where we impose some planarity constraints on Constructor instead of forbidding certain subgraphs. For all games studied, we obtain (precise) asymptotics or upper and lower bounds.
Sharp thresholds for NAC-colourings and stable cuts in random graphs
NAC-colourings of graphs correspond to flexible quasi-injective realisations in $\mathbb {R} ^2$. A special class of NAC-colourings are those that arise from stable cuts. We give sharp thresholds for the random graph to have no stable cut and to have no NAC-colouring via exact hitting-time results: with high probability, the random graph process gains both properties at the precise time that every vertex is in a triangle. Our thresholds complement recent results on the thresholds for the random graph to be generically or globally rigid in $\mathbb {R} ^d$, and for all injective realisations to be globally rigid in $\mathbb {R} $.
Learning stabilizer structure of quantum states
We consider the task of learning a structured stabilizer decomposition of an arbitrary $n$-qubit quantum state $|ψ\rangle$: for $ε> 0$, output a state $|φ\rangle$ with stabilizer-rank $\textsf{poly}(1/ε)$ such that $|ψ\rangle=|φ\rangle+|φ'\rangle$ where $|φ'\rangle$ has stabilizer fidelity $< ε$. We first show the existence of such decompositions using the recently established inverse theorem for the Gowers-$3$ norm of states [AD,STOC'25].
To learn this structure, we initiate the task of self-correction of a state $|ψ\rangle$ with respect to a class of states $S$: given copies of $|ψ\rangle$ which has fidelity $\geq τ$ with a state in $S$, output $|φ\rangle \in S$ with fidelity $|\langle φ| ψ\rangle|^2 \geq τ^C$ for a constant $C>1$. Assuming the algorithmic polynomial Frieman-Rusza (APFR) conjecture in the high doubling regime (whose combinatorial version was recently resolved [GGMT,Annals of Math.'25]), we give a polynomial-time algorithm for self-correction of stabilizer states. Given access to the state preparation unitary $U_ψ$ for $|ψ\rangle$ and its controlled version $cU_ψ$, we give a polynomial-time protocol that learns a structured decomposition of $|ψ\rangle$. Without assuming APFR, we give a quasipolynomial-time protocol for the same task.
As our main application, we give learning algorithms for states $|ψ\rangle$ promised to have stabilizer extent $ξ$, given access to $U_ψ$ and $cU_ψ$. We give a protocol that outputs $|φ\rangle$ which is constant-close to $|ψ\rangle$ in time $\textsf{poly}(n,ξ^{\log ξ})$, which can be improved to polynomial-time assuming APFR. This gives an unconditional learning algorithm for stabilizer-rank $k$ states in time $\textsf{poly}(n,k^{k^2})$. As far as we know, learning arbitrary states with even stabilizer-rank $2$ was unknown.
Immersions and Albertson's conjecture
A graph is said to contain $K_k$ (a clique of size $k$) as a weak immersion if it has $k$ vertices, pairwise connected by edge-disjoint paths. In 1989, Lescure and Meyniel made the following conjecture related to Hadwiger's conjecture: Every graph of chromatic number $k$ contains $K_k$ as a weak immersion. We prove this conjecture for graphs with at most $(1.64-o(1))k$ vertices. As an application, we make some progress on Albertson's conjecture, according to which every graph $G$ with chromatic number $k$ satisfies $cr(G) \geq cr(K_k)$. In particular, we show that the conjecture is true for all graphs of chromatic number $k$, provided that they have at most $(1.64-o(1))k$ vertices.
Analytic spread of binomial edge ideals
We investigate the analytic spread of binomial edge ideals of finite simple graphs. We provide tight bounds for this invariant in general. For special families of graphs (e.g., closed graphs, pseudo-forests), we compute the exact value for the analytic spread of the corresponding binomial edge ideals via combinatorial and convex geometric means.
The maximum product of sizes of cross-\(t\)-intersecting families
Two families of sets \(\mathcal{A}\) and \(\mathcal{B}\) are called \emph{cross-\(t\)-intersecting} if \(|A \cap B| \geq t\) for all \(A \in \mathcal{A}\) and \(B \in \mathcal{B}\). Determining the maximum product of sizes for such cross-\(t\)-intersecting families is an active problem in extremal set theory. In this paper, we verify the following cross-\(t\)-intersecting version of the Erdős-Ko-Rado theorem: For \(k\geq l \geq t \geq 3\) and \(\min\{m,n\} \geq (t+1)(k-t+1)\), the maximun value of \(|\mathcal{A}||\mathcal{B}|\) for two cross-\(t\)-intersecting families \(\mathcal{A}\subseteq \binom{[n]}{k}\) and \(\mathcal{B} \subseteq \binom{[m]}{l}\) is \( \binom{n-t}{k-t}\binom{m-t}{l-t}\). Moreover, we characterize the extremal families attaining the upper bound. Our result confirms a conjecture of Tokushige for \(t \geq 3\), and actually proves a more general result.
A Generalisation on Erdős Distinct Subset Sums Problem
This paper investigates the Erdős distinct subset sums problem in $\mathbb{Z}^k$. Beyond the classical variance method, using alternative statistical quantities like $\mathbb{E}[\|X\|_1]$ and $\mathbb{E}[\|X\|_3^3]$ can yield better bounds in certain dimensions. This innovation improves previous low-dimensional results and provides a framework for choosing suitable methods depending on the dimension.
Combinatorial Courant-Fischer-Weyl Minimax Principle on Cheeger $k$-constants of Weighted Forests
We establish novel max-min and minimax characterizations of Cheeger $k$-constants in weighted forests, thereby providing the first combinatorial analogue of the Courant-Fischer-Weyl minimax principle. As for applications, we prove that the forest 1-Laplacian variational eigenvalues are independent of the choice of typical indexes; we propose a refined higher order Cheeger inequality involving numbers of loops of graphs and $p$-Laplacian eigenvalues; and we present a combinatorial proof for the equality $h_k=λ_k(Δ_1)$ which connects the 1-Laplacian variational eigenvalues and the multiway Cheeger constants.
$(P,φ)$-Tamari lattices
Given any poset $P$ and chain $φ$ in $P$, we define the $(P,φ)$-Tamari lattice. We study in depth these lattices and prove in particular that they are join-semidistributive, join-congruence uniform and left modular. We prove that the lattices of higher torsion classes of the higher Auslander and Nakayama algebras of type $\mathbb{A}$ are examples of $(P,φ)$-Tamari lattices and thus they inherit their properties. We also give general results related to left modular, extremal and congruence normal lattices.
Probabilistic Guarantees to Explicit Constructions: Local Properties of Linear Codes
We present a general framework for derandomizing random linear codes with respect to a broad class of properties, known as local properties, which encompass several standard notions such as distance, list-decoding, list-recovery, and perfect hashing. Our approach extends the classical Alon-Edmonds-Luby (AEL) construction through a modified formalism of local coordinate-wise linear (LCL) properties, introduced by Levi, Mosheiff, and Shagrithaya (2025). The main theorem demonstrates that if random linear codes satisfy the complement of an LCL property $\mathcal{P}$ with high probability, then one can construct explicit codes satisfying the complement of $\mathcal{P}$ as well, with an enlarged yet constant alphabet size. This gives the first explicit constructions for list recovery, as well as special cases (e.g., list recovery with erasures, zero-error list recovery, perfect hash matrices), with parameters matching those of random linear codes. More broadly, our constructions realize the full range of parameters associated with these properties at the same level of optimality as in the random setting, thereby offering a systematic pathway from probabilistic guarantees to explicit codes that attain them. Furthermore, our derandomization of random linear codes also admits efficient (list) decoding via recently developed expander-based decoders.
On convergence structures in infinite graphs
It is well known that a graph admits a natural closure operator defined on its vertex set, which also corresponds to a pretopology. In this paper, we describe the classical pretopology on a graph in terms of nets, with the aim of relating combinatorial properties to convergence properties.
Super-minimally $3$-connected graphs
In this paper, we introduce super-minimally $k$-connected graphs, those $k$-connected graphs in which no proper subgraph is $k$-connected. For $k$ greater than or equal to three, this class lies strictly between the classes of minimally $k$-connected graphs and uniformly $k$-connected graphs. In particular, we determine the minimum number of degree-$3$ vertices in a super-minimally $3$-connected graph, thereby extending a result of Halin on minimally $3$-connected graphs. In addition, we determine the maximum number of edges in a super-minimally $3$-connected graph, extending Xu's result for uniformly $3$-connected graphs, and providing an analogue of Halin's result for minimally $3$-connected graphs.
On orientations preserving edge-connectivity in infinite graphs
We prove that every 2k-edge-connected graph with countably many edge-ends admits a k-arc-connected orientation, extending the previous result by Assem, Koloschin and Pitz that also assumed the hypothesis of the graph being locally finite. We prove that, if every locally finite graph has a well-balanced orientation, so does every graph. Lastly, we explore an alternative to the Nash-Williams Orientation Conjecture via topological paths, and prove that it is true for every finitely separated graph.
A class of skew-regular quaternary Hadamard matrices
We construct a class of skew-regular quaternary Hadamard matrices of order $1+p^2$ for every odd prime power $p$. These matrices possess a row sum of $1-pi$. Applications include the generation of Hadamard matrices of order $4(1+p^2)$ with an excess of $8p(1+p^2)$.
The Pattern Complexity of the Sierpiński Triangle
We give exact formulas for the number of distinct triangular patterns (or subtriangles) of a given size that occur in the Sierpiński Triangle.
Combinatorial Characterizations and Branched Manifolds
A family of compact n-manifolds is locally combinatorially defined (LCD) if it can be specified by a finite number of local triangulations. We show that LCD is equivalent to the existence of a compact branched n-manifold W, such that the family is precisely those manifolds that immerse into W. In subsequent papers, the equivalence will be used to show that, for each of the eight Thurston geometries, the family of closed 3-manifolds admitting that geometry is LCD.
Sum of elements preceding records in set partitions
In this paper, we aim to derive an explicit formula for the total number of elements preceding records over all set partitions of $[n]$ with exactly $k$ blocks, as well as an asymptotic estimate for the total sum of elements preceding records in all set partitions of $[n]$, expressed in terms of Bell numbers. To achieve this, we analyze the generating function that enumerates set partitions of $[n]$ according to this statistic, which we denote by $\sumelements$.
Finding a HIST: Chordality, Structural Parameters, and Diameter
A homeomorphically irreducible spanning tree (HIST) is a spanning tree with no degree-2 vertices, serving as a structurally minimal backbone of a graph. While the existence of HISTs has been widely studied from a structural perspective, the algorithmic complexity of finding them remains less understood. In this paper, we provide a comprehensive investigation of the HIST problem from both structural and algorithmic viewpoints. We present a simple characterization that precisely describes which chordal graphs of diameter at most~3 admit a HIST, leading to a polynomial-time decision procedure for this class. In contrast, we show that the problem is NP-complete for strongly chordal graphs of diameter~4. From the perspective of parameterized complexity, we establish that the HIST problem is W[1]-hard when parameterized by clique-width, indicating that the problem is unlikely to be efficiently solvable in general dense graphs. On the other hand, we present fixed-parameter tractable (FPT) algorithms when parameterized by treewidth, modular-width, or cluster vertex deletion number. Specifically, we develop an $O^*(4^{k})$-time algorithm parameterized by modular-width~$k$, and an FPT algorithm parameterized by the cluster vertex deletion number based on kernelization techniques that bound clique sizes while preserving the existence of a HIST. These results together provide a clearer understanding of the structural and computational boundaries of the HIST problem.
The high order spectral radius of graphs without long cycles or paths
In 1959, Erdős and Gallai established two classic theorems, which determine the maximum number of edges in an $n$-vertex graph with no cycles of length at least $k$, and in an $n$-vertex graph with no paths on $k$ vertices, respectively. Subsequently, generalized and spectral versions of the Erdős-Gallai theorems have been investigated. A concept of a high order spectral radius for graphs was introduced in 2023, defined as the spectral radius of a tensor and termed the $t$-clique spectral radius $ρ_t(G)$. In this paper, we establish a high order spectral version of Erdős-Gallai theorems by employing the $t$-clique spectral radius, i.e., we determine the extremal graphs that attain the maximum $t$-clique spectral radius in the $n$-vertex graphs with no cycles of length at least $k$ and in the $n$-vertex graphs with no paths on $k$ vertices, respectively.
The Smith normal form of distance matrices of high dimensional trees
Graham-Lovász-Pollak \cite{GL,GP} obtained the celebrated formula $$\det({\sf D}(T_{n+1}))=(-1)^nn2^{n-1},$$ for the determinant of the distance matrix ${\sf D}(T_{n+1})$ for any tree $T_{n+1}$ with $n+1$ vertices. Later, Hou and Woo \cite{HW} extended this formula to the Smith normal form (SNF) obtaining that $\SNF({\sf D}(T_{n+1}))={\sf I}_2\oplus 2{\sf I}_{n-2}\oplus [2n]$, for any tree $T_{n+1}$ with $n+1$ vertices.
A $k$-{\it tree} is either a complete graph on $k$ vertices or a graph obtained from a smaller $k$-tree by adjoining a new vertex together with $k$ edges connecting it to a $k$-clique. If $τ$ and $τ'$ are $d$-cliques in a $k$-tree $T$, a $d$-{\it walk} between $τ$ and $τ'$ is a finite sequence $τ_1σ_1τ_2σ_2\cdotsτ_l$, where $τ_1=τ$, $τ_l=τ'$, and the $d$-cliques $τ_i$ and $τ_{i+1}$ are incident to the same $(d+1)$-clique $σ_i$. For $d\in\{1,\dots,k\}$, the $d$-{\it distance} from the $d$-cliques $τ$ and $τ'$ is the number of $(d+1)$-cliques in a minimum $d$-walk from $τ$ and $τ'$, and is denoted by $\dist^d(τ,τ')$. Let $c_d$ denote the number of $d$-cliques in the $k$-tree $T$. Then the $d$-distance matrix ${\sf D}^d(T)$ of the $k$-tree $T$ is the $c_d\times c_d$ matrix, indexed by the $d$-cliques of $T$, such that the $(i,j)$-entry is $0$ if $i=j$, and $\dist^d(τ_i,τ_j)$ otherwise. Here, we show that, for $k$ and $n$ fixed, the SNF of the $k$-distance matrix is the same for any $k$-tree with $n$ vertices. Specifically, for any $k$-tree $T_{n}$ with $n$ vertices such that $n\geq k+2$, the Smith normal form of ${\sf D}^{k}(T_{n})$ is $${\sf I}_{(k-1)(n-k)+2}\oplus (k+1){\sf I}_{n-k-2}\oplus [k(k+1)(n-k)],$$ which extends Graham-Lovász-Pollak and Hou-Woo results.