Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A footnote to the KPT theorem in structural Ramsey theory
The celebrated theorem of Kechris, Pestov and Todorčević connecting structural Ramsey theory with topological dynamics has as a consequence that the Fraïssé limit of a Ramsey class of non-trivial finite relational structures has a reduct which is a total order; this implies an earlier result of Nešetřil, according to which the structures in such a class are rigid (have trivial automorphism groups). In this paper, we give an alternative proof of this fact. If $\mathcal{C}$ is a Fraïssé class of rigid structures over a finite relational language, then either the Fraïssé limit of $\mathcal{C}$ has a reduct which is a total order, or there is an explicit failure of the Ramsey property involving a pair $(A,B)$ of structures in $\mathcal{C}$ with $|A|=2$.
A phase transition in Erdős-Barak random graphs
We study monotone paths in Erdős-Rényi random graphs on numbered vertices. Benjamini & Tzalik established a phase transition at $p = \frac{\log n}{n}$ for this model. We refine the critical value to $p = \frac{\log n - \log \log n }{n}$ and identify the critical window of order $Θ(1/n)$.
Finding core subgraphs of directed graphs via discrete Ricci curvature flow
Ricci curvature and its associated flow offer powerful geometric methods for analyzing complex networks. While existing research heavily focuses on applications for undirected graphs such as community detection and core extraction, there have been relatively less attention on directed graphs.
In this paper, we introduce a definition of Ricci curvature and an accompanying curvature flow for directed graphs. Crucially, for strongly connected directed graphs, this flow admits a unique global solution. We then apply this flow to detect strongly connected subgraphs from weakly connected directed graphs. (A weakly connected graph is connected overall but not necessarily strongly connected). Unlike prior work requiring graphs to be strongly connected, our method loosens this requirement. We transform a weakly connected graph into a strongly connected one by adding edges with very large artificial weights. This modification does not compromise our core subgraph detection. Due to their extreme weight, these added edges are automatically discarded during the final iteration of the Ricci curvature flow.
For core evaluation, our approach consistently surpasses traditional methods, achieving better results on at least two out of three key metrics. The implementation code is publicly available at https://github.com/12tangze12/Finding-core-subgraphs-on-directed-graphs.
Fourier Sparsity of Delta Functions and Matching Vector PIRs
In this paper we study a basic and natural question about Fourier analysis of Boolean functions, which has applications to the study of Matching Vector based Private Information Retrieval (PIR) schemes. For integers m and r, define a delta function on {0,1}^r to be a function f: Z_m^r -> C with f(0) = 1 and f(x) = 0 for all nonzero Boolean x. The basic question we study is how small the Fourier sparsity of a delta function can be; namely how sparse such an f can be in the Fourier basis?
In addition to being intrinsically interesting and natural, such questions arise naturally when studying "S-decoding polynomials" for the known matching vector families. Finding S-decoding polynomials of reduced sparsity, which corresponds to finding delta functions with low Fourier sparsity, would improve the current best PIR schemes.
We show nontrivial upper and lower bounds on the Fourier sparsity of delta functions. Our proofs are elementary and clean. These results imply limitations on improving Matching Vector PIR schemes simply by finding better S-decoding polynomials. In particular, there are no S-decoding polynomials that can make Matching Vector PIRs based on the known matching vector families achieve polylogarithmic communication with a constant number of servers. Many interesting questions remain open.
Critical behaviour of the fully packed loop-$O(n)$ model on planar triangulations
We study the fully packed loop-$O(n)$ model on planar triangulations. This model is also bijectively equivalent to the Fortuin--Kasteleyn model of planar maps with parameter $q\in (0,4)$ at its self-dual point. These have been traditionally studied using either techniques from analytic combinatorics (based in particular on the gasket decomposition of Borot, Bouttier and Guitter arXiv:1106.0153) or probabilistic arguments (based on Sheffield's hamburger-cheeseburger bijection arXiv:1108.2241). In this paper we establish a dictionary relating quantities of interest in both approaches. This has several consequences. First, we derive an exact expression for the partition function of the fully packed loop-$O(n)$ model on triangulations, as a function of the outer boundary length. This confirms predictions by Gaudin and Kostov. In particular, this model exhibits critical behaviour, in the sense that the partition function exhibits a power-law decay characteristic of the critical regime at this self-dual point. Finally, we derive precise asymptotics for geometric features of the FK model of planar maps when $0 < q <4$, such as the exact tail behaviour of the perimeters of clusters and loops. This sharpens previous results of arXiv:1502.00450 and arXiv:1502.00546. A key step is to use the above dictionary and the probabilistic results to justify rigorously an ansatz commonly assumed in the analytic combinatorics literature.
Seaweed algebras with restricted part sizes
Seaweed algebras are a class of Lie algebras that are naturally characterized by a pair of compositions, which in turn are represented visually as planar graphs called meanders. These meanders provide a straightforward method for computing the index of the associated algebra. The goal of this paper is to enumerate those seaweed algebras with a fixed index and whose associated compositions have restricted part sizes. In particular, we enumerate those with composition part sizes from so-called acyclic sets. We also establish a bijection between sets of indecomposable seaweed algebras with meanders with certain restricted part sizes and sets of permutations with restricted displacements. In certain cases, the index of the algebra can be determined by a simple statistic on the permutation.
The Milnor fiber boundary of an arrangement determines its combinatorics
The boundary of the Milnor fiber associated with a complex line arrangement is a three dimensional plumbed manifold, and it is a combinatorial invariant. We prove the reverse implication, which was conjectured Némethi and Szilárd. That is, this boundary of the Milnor fiber determines the combinatorics of the arrangement. Furthermore, we give an explicit method which constructs the poset associated with the arrangement, given a plumbing graph in normal form for the boundary.
A poset representation for stable contracts in a two-sided market generated by integer choice functions
Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$.
In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, explain how to construct the rotations efficiently, and devise a weighted poset in which the lattice of closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$.
On the hardness of recognizing graphs of small mim-width and its variants
The mim-width of a graph is a powerful structural parameter that, when bounded by a constant, allows several hard problems to be polynomial-time solvable - with a recent meta-theorem encompassing a large class of problems [SODA2023]. Since its introduction, several variants such as sim-width and omim-width were developed, along with a linear version of these parameters. It was recently shown that mim-width and all these variants all paraNP-hard, a consequence of the NP-hardness of distinguishing between graphs of linear mim-width at most 1211 and graphs of sim-width at least 1216 [ICALP2025]. The complexity of recognizing graphs of small width, particularly those close to $1$, remained open, despite their especially attractive algorithmic applications.
In this work, we show that the width recognition problems remain NP-hard even on small widths. Specifically, after introducing the novel parameter Omim-width sandwiched between omim-width and mim-width, we show that: (1) deciding whether a graph has sim-width = 1, omim-width = 1, or Omin-width = 1 is NP-hard, and the same is true for their linear variants; (2) the problems of deciding whether mim-width $\leq$ 2 or linear mim-width $\leq$ 2 are both NP-hard. Interestingly, our reductions are relatively simple and are from the Unrooted Quartet Consistency problem, which is of great interest in computational biology but is not commonly used (if ever) in the theory of algorithms.
Law of Large Numbers for continuous $N$-particle ensembles at fixed temperature
In this paper, we find necessary and sufficient conditions for the Law of Large Numbers of averaged empirical measures of $N$-particle ensembles, in terms of the asymptotics of their Bessel generating functions, in the fixed temperature regime. This settles an open problem posed by Benaych-Georges, Cuenca and Gorin. For one direction, we use the moment method through Dunkl operators, and for the other we employ a special case of the formula of Chapuy--Dolega for the generating function of infinite constellations. As applications, we prove that the LLN for $θ$-sums and $θ$-corners of random matrices are given by the free convolution and free projection, respectively, regardless of the value of inverse temperature parameter $θ$. We also prove the LLN for a time-slice of the $θ$-Dyson Brownian motion.
A note on degree conditions for Ramsey goodness of trees
For given graphs $G_{1}, G_{2}$ and $G$, let $G\rightarrow (G_{1}, G_{2})$ denote that each red-blue-coloring of $E(G)$ yields a red copy of $G_{1}$ or a blue copy of $G_{2}$. Arag{ã}o, Marciano and Mendon{\c c}a [L. Arag{ã}o, J. Pedro Marciano and W. Mendon{\c c}a, Degree conditions for Ramsey goodness of paths, {\it European Journal of Combinatorics}, {\bf 124} (2025), 104082] proved the following. Let $G$ be a graph on $N\geq (n- 1)(m- 1)+ 1$ vertices. If $δ(G)\geq N- \lceil n/2\rceil$, then $G\rightarrow (P_{n}, K_{m})$, where $P_{n}$ is a tree on $n$ vertices. In this note, we generalize $P_{n}$ to any tree $T_{n}$ with $n$ vertices, and improve the lower bound of $δ(G)$. We further improve the lower bound when $T_{n}\neq K_{1, n- 1}$, which partially confirms their conjecture.
Unavoidable induced subgraphs forced by graphs with many vertices of prescribed properties
Given a function $p : V(G)\to \mathbb N$ and an integer $k\ge 0$, define $p_k(G)$ as the number of vertices with $p(v)\ge k$. We say that $p_k(G)$ is bounded for all $\HH$-free graphs if there exists a constant $c=c(\HH)$ such that $p_k(G)<c$ for all such graphs $G$. Here, a graph $G$ is said to be $\HH$-free if it contains no member of $\HH$ as an induced subgraph. When $p$ represents the degree of a vertex, Ramsey's theorem implies that $p_0(G)$ is bounded for every $\{K_n, E_n\}$-free graphs, where $K_n$ and $E_n$ denote the complete graph and the edgeless graph on $n$ vertices, respectively. The connected version of Ramsey's theorem says that $p_0(G)$ is bounded for all $\{K_n, P_n, K_{1,n}\}$-free connected graphs, where $P_n$ and $K_{1,n}$ are the $n$-vertex path and the star with $n$ leaves. In this paper, we extend the Ramsey's theorem to $p_2(G)$ where $p$ denotes the degree, the local independent number, the local component number, and sharp degree, that is, we characterize the forbidden family of graphs $\HH$ such that $p_2(G)$ is bounded for all (connected) $\HH$-free graphs. Moreover, we also characterize the forbidden family of graphs $\HH$ for which there is a constant $c=c(\HH)$ such that $p_c(G)$ is bounded for all $\HH$-free graphs.
Paths with two blocks in oriented graphs of large minimum semi-degree
Published in The Electronic Journal of Combinatorics,32(4)(2025), P4.58
• View Publication
• BIB
Stein (2020) conjectured that for any positive integer $k$, every oriented graph of minimum semi-degree greater than $k/2$ contains every oriented path of length $k$. This conjecture is true for directed paths by a result from Jackson (JGT, 1981). In this paper, we establish the validity of Stein's conjecture specifically for any oriented path with two blocks, where, a block of an oriented path $P$ refers to a maximal directed subpath within $P$.
The Polynomial Freiman-Ruzsa (Marton) Conjecture in Integers and Finite Fields via Spectral Stability
We settle the Polynomial Freiman--Ruzsa (PFR/Marton) conjecture for the integers and for cyclic groups. More precisely, we show that if $A$ is a finite subset of $\mathbb{Z}$ or $\mathbb{Z}/N\mathbb{Z}$ with $|A+A| \le K|A|$, then there is a subgroup $H$ of index at most $K^{O(1)}$ such that $A$ is contained in at most $K^{O(1)}$ cosets of $H$. The proof is based on a new spectral stability dichotomy for the $L^4$ Fourier mass of $\mathbf{1}_A$: either this mass is concentrated on a span of size $K^{O(1)}$, or, after passing to a quotient of codimension $K^{O(1)}$, the doubling constant of the image of $A$ decreases by a definite power of $K$. Using Freiman modeling we transfer this dichotomy to cyclic groups, obtain polynomial Bogolyubov-type bounds, and deduce Marton's conjecture in $\mathbb{Z}$ and $\mathbb{Z}/N\mathbb{Z}$. As a corollary, we also recover and extend the finite-field formulation of Marton's conjecture: in odd characteristic we obtain a direct spectral proof, and together with the characteristic-2 result of Green, Gowers, Manners, and Tao this yields a complete resolution of the conjecture for all finite fields. For context beyond finite fields, we recall their theorem for abelian groups of bounded exponent.
Inhomogeneous $q$-Whittaker Polynomials I: Duality and Expansions
We introduce a new family of symmetric polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_λ$ arising from exactly solvable lattice models associated with the quantised loop algebra $\mathcal{U}_{q}(\mathfrak{sl}_{2}[z^\pm])$. The polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_λ$ unify $q$-Whittaker polynomials, inhomogeneous $q$-Whittaker polynomials, Grothendieck polynomials and their duals. Using Yang--Baxter equation, we derive Cauchy identities and combinatorial formulas for the transition coefficients.
Total $2$-cut complexes of powers of cycle graphs and Cartesian products of certain graphs
For a positive integer $k$, the \emph{ total $k$-cut complex} of a graph $G$, denoted as $Δ_k^t(G)$, is the simplicial complex whose facets are $σ\subseteq V(G)$ such that $|σ| = |V(G)|-k$ and the induced subgraph $G[V(G) \setminus σ]$ does not contain any edge. These complexes were introduced by Bayer et al.\ in \cite{Bayer2024TotalCutcomplex} in connection with commutative algebra. In the same paper, they studied the homotopy types of these complexes for various families of graphs, including cycle graphs $C_n$, squared cycle graphs $C_n^2$, and Cartesian products of complete graphs and path graphs $K_m \square P_2$ and $K_2 \square P_n$. In this article, we extend the work of Bayer et al.\ for these families of graphs. We focus on the complexes $Δ_2^t(G)$ and determine the homotopy types of these complexes for three classes of graphs: (i) $p$-th powers of cycle graphs $C_n^p$ (ii) $K_m \square P_n$ and (iii) $K_m \square C_n$. Using discrete Morse theory, we show that these complexes are homotopy equivalent to wedges of spheres. We also give the number and dimension of spheres appearing in the homotopy type. Our result on powers of cycle graphs $C_n^p$ proves a conjecture of Shen et al.\ about the homotopy type of the complexes $Δ_2^t(C_n^p)$.
Generalized discrete Markov spectra
In this paper, we generalize the special subset of the Markov-Lagrange spectrum (and the Markov spectrum) called the discrete Markov spectrum. The discrete Markov spectrum is defined in terms of the Markov numbers, which arise as positive integer solutions to the Markov equation $x^2 + y^2 + z^2 = 3xyz.$ Using the tool called snake graphs, originating from cluster algebra theory, we first reconstruct proofs of its properties in a combinatorial framework and then extend it to the generalized setting. We then introduce the generalized discrete Markov spectrum, defined analogously via the generalized Markov numbers, which arise as positive integer solutions to the generalized Markov equation $x^2 + y^2 + z^2 + k_1 yz + k_2 zx + k_3 xy = (3 + k_1 + k_2 + k_3) xyz.$ We prove that this generalized spectrum is contained in the Markov-Lagrange spectrum and thus the Markov spectrum.
Weakly-sparse and strongly flip-flat classes of graphs are uniformly almost-wide
In this work we take a step towards characterising strongly flip-flat classes of graphs. Strong flip-flatness appears to be the analogue of uniform almost-wideness in the setting of dense classes of graphs. We prove that strongly flip-flat classes of graphs that are weakly sparse are indeed uniformly almost-wide.
MAT-Freeness is not combinatorial
We show that the notion of MAT-freeness for hyperplane arrangements depends on the underlying field. In particular, MAT-freeness is not combinatorial.
Metric dimension of Cartesian product of stars
The metric dimension of a graph is the minimum number of landmark vertices required so that every vertex can be uniquely identified by its distances to the landmarks. This parameter captures the fundamental tradeoff between compact information encoding and unambiguous identification in networked systems. In this work, we determine exact value for the metric dimension of the Cartesian product $K_{1,m} \square K_{1,n}$, also known as hub-and-spoke grids, across all values of $m$ and $n$. In addition, we present a constructive linear-time algorithm that builds a minimum resolving set, providing both theoretical guarantees and practical feasibility. We complement our results with visualization of parameter regimes that illustrate the design space. The findings establish design rules for minimizing landmark sensors and support applications in graph-based localization, monitoring networks, and intelligent information systems. Our results extend the theory of metric dimension and contribute efficient methods of direct relevance to information science and computational graph theory.