Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Grid-free linear hypergraphs via Cayley-Bacharach
We give a new construction showing that for every $r\ge 3$, there exists an $r$-uniform linear hypergraph on $n$ vertices with $Θ_r(n^2)$ edges and no copy of the $r\times r$ grid. This complements the works of Füredi--Ruszinkó, Glock--Joos--Kim--Kühn--Lichev, Delcourt--Postle for $r \geq 4$, as well as the subsequent constructions of Gishboliner--Shapira and Solymosi for the case $r=3$.
A mirror deformation of Markov numbers
We introduce a deformed squared Markov equation given by $X^2 + Y^2 + Z^2 + (q+q^{-1})(XY+YZ+XZ) = 3(1 + q + q^{-1})XYZ$. Symmetric solutions of this new equation present a remarkable factorization property which allows us to talk about their square roots. These square roots give a natural $q$-deformation of the Markov numbers that has not previously occurred in the literature. We call them mirror Markov numbers. We prove a characterization of mirror Markov numbers and discover a mutation rule, mirror mutation, to generate them all. We also prove a geometric realization of the corresponding mirror mutation on a once-punctured sphere with three orbifold points. Our mirror deformation leads to deformations of Fibonacci and Pell branches for which we give precise formulas. Furthermore, the deformed squared Markov equation specializes to many other very well known generalized Markov equations. We also obtain the super Markov numbers from a specialization of the deformed squared Markov numbers, which we use to prove a conjecture of Musiker.
Diagonals in Riordan matrices and applications
We introduce a method for describing Riordan matrices via recurrence relations along their diagonals. This provides a new structural description that complements the classical row-wise and column-wise constructions via the A-sequence. As an application, we characterize families of palindromic Riordan polynomials, yielding a new combinatorial interpretation in terms of lattice paths.
Lower Estimates for $L_1$-Distortion of Transportation Cost Spaces
Quantifying the degree of dissimilarity between two probability distributions on a finite metric space is a fundamental task in Computer Science and Computer Vision. A natural dissimilarity measure based on optimal transport is the Earth Mover's Distance (EMD). A key technique for analyzing this metric, pioneered by Charikar (2002) and Indyk and Thaper (2003), involves constructing low-distortion embeddings of EMD(X) into the Lebesgue space $L_1$.
It became a key problem to investigate whether the upper bound of $O(\log n)$ can be improved for important classes of metric spaces known to admit low-distortion embeddings into $L_1$. In the context of Computer Vision, grid graphs, especially planar grids, are among the most fundamental. Indyk posed the related problem of estimating the $L_1$-distortion of the space of uniform distributions on $n$-point subsets of $R^2$. The Progress Report, last updated in August 2011, highlighted two key results: first, the work of Khot and Naor (2006) on Hamming cubes, which showed that the $L_1$-distortion for Hamming cubes meets the described above upper estimate, and second, the result of Naor and Schechtman (2007) for planar grids, which established that the $L_1$-distortion of for a planar $n$ by $n$ grid is $Ω(\sqrt{\log n})$.
Our first result is the improvement of the lower bound on the $L_1$-distortion for grids to $Ω(\log n)$, matching the universal upper bound up to multiplicative constants. The key ingredient allowing us to obtain these sharp estimates is a new Sobolev-type inequality for scalar-valued functions on the grid graphs. Our method is also applicable to many recursive families of graphs, such as diamond and Laakso graphs. We obtain the sharp distortion estimates of $\log n$ in these cases as well.
A Pragmatic Method for Comparing Clusterings with Overlaps and Outliers
Clustering algorithms are an essential part of the unsupervised data science ecosystem, and extrinsic evaluation of clustering algorithms requires a method for comparing the detected clustering to a ground truth clustering. In a general setting, the detected and ground truth clusterings may have outliers (objects belonging to no cluster), overlapping clusters (objects may belong to more than one cluster), or both, but methods for comparing these clusterings are currently undeveloped. In this note, we define a pragmatic similarity measure for comparing clusterings with overlaps and outliers, show that it has several desirable properties, and experimentally confirm that it is not subject to several common biases afflicting other clustering comparison measures.
An improvement on the bound for the acyclic chromatic index
The acyclic chromatic index (or acyclic edge-chromatic number) of a graph is the least number of colors needed to properly color its edges so that none of its cycles has only two colors. We show that for a graph of max degree $Δ$, the acyclic chromatic index is at most $3.142(Δ-1)+1$, improving on the (best to date) bound of Fialho et al. (2020). Our improvement is made possible by considering unordered (non-plane) trees, instead of ordered (plane) ones, as witness structures for the Lovász Local Lemma, a key combinatorial tool often used in related works. The counting of these witness structures entails methods of Analytic Combinatorics.
The antiferromagnetic Ising model beyond line graphs
Both the antiferromagnetic Ising model and the hard-core model could be said to be tractable on line graphs of bounded degree. For example, Glauber dynamics is rapidly mixing in both cases. In the case of the hard-core model, we know that tractability extends further, to claw-free graphs and somewhat beyond. In contrast, it is shown here that the corresponding extensions are not possible in the case of the antiferromagnetic Ising model.
Minimal Inversions in Integer Matrices of Fixed RSK Shape
The Robinson-Schensted-Knuth (RSK) algorithm maps an integer matrix to a pair of semi-standard Young tableaux (SSYTs) whose underlying shape has the same integer partition. We study the set of matrices associated with a given partition $λ$ vis-a-vis the number of inversions of the matrix. In the case where the integer matrix is a permutation matrix, the resulting tableaux are standard Young tableaux or SYTs. Han (EJC, 2005) combinatorially studied the set of permutations that map to SYTs of shape $λ$ under the RSK algorithm and counted the permutations with the minimum number of inversions in that set, as well as formulated the minimal number of inversions. Han's work can be extended to a case where the matrix is a general integer matrix and the tableaux are semi-standard Young tableaux. We have conjectured a formula for the minimal number of inversions in the set of matrices with a fixed shape $λ$. We further provide a conjecture for the characterisation of the minimal generalised matrices.
Vertex decomposable complexes of directed forests, conflict graphs and chordality
Let $D$ be a multidigraph. We study the simplicial complex $\mathrm{Dlf}(D)$, whose vertices are the directed edges of $D$ and whose faces correspond to directed linear forests, that is, vertex-disjoint unions of directed paths. We also consider the related directed tree complex $\mathrm{DT}(D)$. Our main approach is to associate with $D$ a simple graph encoding the local incompatibilities among the edges of $D$. Under mild acyclicity assumptions, we show that $\mathrm{Dlf}(D)$ and $\mathrm{DT}(D)$ can be realized as the independence complexes of respective graphs. This correspondence allows us to apply structural results from the theory of independence complexes to obtain graph-theoretic criteria guaranteeing vertex decomposability, shellability, and sequential Cohen-Macaulayness of these complexes. In particular, we describe explicit forbidden induced directed subgraphs that obstruct vertex decomposability, and we identify classes of multidigraphs-including certain acyclic multidigraphs and multidigraphs whose underlying graphs are forests or cycles-for which $\mathrm{Dlf}(D)$ and $\mathrm{DT}(D)$ are vertex decomposable. We also provide examples showing that these properties do not hold in general.
Edge-ends versus topological ends of graphs
Diestel and Kühn proved that the topological ends of an infinite graph are precisely its undominated graph ends, yielding a canonical embedding of the space of topological ends into the space of graph ends. For edge-ends, introduced by Hahn, Laviolette and Širáň, such an embedding does not exist in general.
In this note, we characterize the class of infinite graphs for which the topological ends admit a natural injective map into the space of edge-ends that is compatible with the canonical maps between end spaces. Our characterization is purely combinatorial and is expressed in terms of edge-equivalence classes of vertices.
Moreover, when such an embedding exists, we identify precisely which edge-ends arise from topological ends, showing that they are exactly the edge-ends containing a non-dominated ray. This establishes a parallel result to the theorem of Diestel and Kühn for edge-end spaces.
Tropical cluster varieties, phylogenetic trees, and generalized associahedra
We explicitly describe the tropicalization of a type C cluster variety by identifying it with the space of axially symmetric phylogenetic trees. We also study the signed tropicalizations of this cluster variety, realizing them as subfans of the tropicalization that are dual to either associahedra or cyclohedra.
Large expander subgraphs in high genus triangulations
We prove that random triangulations of high genus contain very large expander subgraphs, answering a question of Benjamini. Our approach relies on new general criteria for arbitrary graphs to contain large expander subgraphs.
The projective coinvariant algebra, Young invariants and bigraded coordinate rings of Segre embeddings
This paper studies a flat degeneration P_n of the classical coinvariant algebra R_n, a bigraded Artinian Gorenstein algebra that arises from the coordinate ring of the Segre embedding of the n-fold self-product of the projective line. The Frobenius character of P_n is computed by a natural bigraded refinement of the classical Lusztig--Stanley formula for the character of the coinvariant algebra. Young invariants in P_n get related to coordinate rings of general Segre embeddings of products of projective spaces; their bigraded Hilbert polynomials get expressed in terms of major-descent generating functions of words in multisets. Relations to the diagonal coinvariant algebra, cohomological interpretations including quantum cohomology, and Garsia-Stanton-style bases are also explored.
Characterization of Well-Totally Dominated Trees
Let $G$ be a graph with no isolated vertices. A set of vertices $S$ is a total dominating set (TDS) if every vertex in $G$ is adjacent to at least one vertex in $S$. We say $G$ is well-totally dominated (WTD) if every minimal TDS has the same size. In this paper, we present two characterizations of well-totally dominated trees, one being descriptive and the other being constructive. In particular, our characterizations imply that it takes only polynomial time to verify whether a given tree is WTD.
The strong fractional choice number of triangle-free planar graphs
Let $a,b$ be positive integers with $a\ge b$. A graph $G$ is $(a,b)$-choosable if, for every assignment of lists $L(v)$ of size $a$ to the vertices of $G$, there exists a choice of subsets $C(v)\subseteq L(v)$ with $|C(v)|=b$ for each $v$ such that $C(u)\cap C(v)=\emptyset$ whenever $uv\in E(G)$. We show that every triangle-free planar graph is $(15m,4m)$-choosable for any positive integer $m$. As an immediate consequence, the strong fractional choice number of triangle-free planar graphs is at most $15/4$. This appears to be the first non-trivial upper bound on this parameter for this class of graphs. In particular, the case $m=1$ answers affirmatively a question posed by Jiang and Zhu in [J.~Combin.\ Theory Ser.~B, 2019].
On the supersaturation of oriented Turán problems
The oriented Turán number of a given oriented graph $\overrightarrow{F}$, denoted by $\exo(n,\overrightarrow{F})$, is the largest number of arcs in $n$-vertex $\overrightarrow{F}$-free oriented graphs. This parameter could be seen as a natural oriented version of the classical Turán number. In this paper, we study the supersaturation phenomenon for oriented Turán problems, and prove oriented versions of the famous Erdős-Simonovits Supersaturation Theorem and Moon-Moser inequality, and supersaturation theorems for transitive tournaments and antidirected complete bipartite graphs.
Extremal $t$-intersecting families for finite sets with $t$-covering number at least $t+2$
Let $\mathcal{F}\subseteq{[n]\choose k}$ be a $t$-intersecting family. Define the $t$-covering number $τ_t(\mathcal{F})$ of $\mathcal{F}$ as the minimum size of a subset $S$ of $[n]$ with $|S\cap F|\geqslant t$ for each $F\in\mathcal{F}$. In this paper, we characterize $\mathcal{F}$ for which $|\mathcal{F}|$ takes the maximum value under the condition that $τ_t(\mathcal{F})\geqslant t+2$ and $n$ is sufficiently large, thereby generalizing two results by Frankl.
On the closed neighborhood ideal of the square of the path graph
We consider the closed neighborhood ideal of square of the path graph and study its invariants. We compute the height, the projective dimension and the Castelnuovo--Mumford regularity. We prove that these ideals are sequentially Cohen--Macaulay and characterize when they are Cohen--Macaulay.
Word-Representation of Melon Graphs
The notion of word-representable graphs is a generalization of comparability graphs, in which graphs are represented by words. The complexity of word-representation of a word-representable graph is captured through the representation number, whereas the corresponding concept is the permutation-representation number for comparability graphs. The graphs with the (permutation-)representation number at most two were characterized in the literature. While certain examples in the class of graphs with the (permutation-)representation number three are known, no characterization for these classes is available. In this work, we prove that the representation number of melon graphs is at most three. Further, we characterize the class of melon graphs restricted to comparability graphs and show that their permutation-representation number is also at most three. Moreover, this work characterizes the word-representable line graphs of melon graphs and establishes that their representation number is at most three.
Vertex operators, infinite wedge representations, and correlation functions of the t-Schur measure
We study the $t$-Schur measure on partitions, defined by $ \mathbb{P}(λ)=Z^{-1}S_λ(x;t)s_λ(y) $, where $S_λ(x;t)$ denotes the $t$-Schur symmetric functions and $s_λ(y)$ the ordinary Schur functions, and $Z$ is the normalising constant. Using vertex operator calculus, we realise $S_λ(x;t)$ in the charged free-fermion Fock space, yielding a $t$-deformation of the classical boson-fermion correspondence. These realisations give vertex-algebraic proofs of the $t$-Cauchy identities and $t$-Gessel identity. Building on this framework, we compute the correlation functions of the $t$-Schur measure and show that the associated point process is determinantal, with an explicit correlation kernel. The Poissonised $t$-Plancherel measure appears as a specialisation of our construction, so its correlation functions follow as a corollary. As an application, we derive the limiting distribution for the length of the longest ascent pair in a random permutation. Our results interpolate the Schur case at $t=0$, connect to the Schur-$Q$ theory at $t=-1$, and provide a probabilistic interpretation of a natural $t$-refinement of increasing subsequences via a generalised RSK correspondence.