Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Explicit Two-Sided Vertex Expanders Beyond the Spectral Barrier
Published
• View Publication
• BIB
We construct the first explicit two-sided vertex expanders that bypass the spectral barrier.
Previously, the strongest known explicit vertex expanders were given by $d$-regular Ramanujan graphs, whose spectral properties imply that every small subset of vertices $S$ has at least $0.5d|S|$ distinct neighbors. However, it is possible to construct Ramanujan graphs containing a small set $S$ with no more than $0.5d|S|$ neighbors. In fact, no explicit construction was known to break the $0.5 d$-barrier.
In this work, we give an explicit construction of an infinite family of $d$-regular graphs (for large enough $d$) where every small set expands by a factor of $\approx 0.6d$. More generally, for large enough $d_1,d_2$, we give an infinite family of $(d_1,d_2)$-biregular graphs where small sets on the left expand by a factor of $\approx 0.6d_1$, and small sets on the right expand by a factor of $\approx 0.6d_2$. In fact, our construction satisfies an even stronger property: small sets on the left and right have unique-neighbor expansion $0.6d_1$ and $0.6d_2$ respectively.
Our construction follows the tripartite line product framework of Hsieh, McKenzie, Mohanty & Paredes, and instantiates it using the face-vertex incidence of the $4$-dimensional Ramanujan clique complex as its base component. As a key part of our analysis, we derive new bounds on the triangle density of small sets in the Ramanujan clique complex.
Surface sums for lattice Yang-Mills in the large-$N$ limit
We give a sum over weighted planar surfaces formula for Wilson loop expectations in the large-$N$ limit of strongly coupled lattice Yang-Mills theory, in any dimension. The weights of each surface are simple and expressed in terms of products of signed Catalan numbers.
In establishing our results, the main novelty is to convert a recursive relation for Wilson loop expectations, known as the master loop equation, into a new peeling exploration of the planar surfaces. This exploration reveals hidden cancellations within the sums, enabling a deeper understanding of the structure of the planar surfaces.
We view our results as a continuation of the program initiated in [CPS23] to understand Yang-Mills theories via surfaces and as a refinement of the string trajectories point-of-view developed in [Cha19a].
Bounds on the realizations of zero-nonzero patterns and sign conditions of polynomials restricted to varieties and applications
We obtain upper bounds, independent of the ambient dimension, for the number of realizable zero-nonzero patterns and (over ordered fields) sign conditions of a finite family of polynomials $\mathcal P$ restricted to an algebraic subset $V$ of affine or projective space. The bounds depend only on $\mathrm{card}(\mathcal P)$ and the degrees of the polynomials in $\mathcal P$, together with $\mathrm{deg}(V)$ and $\dim(V)$, and not on the dimension of the space in which $V$ is embedded. This feature is particularly useful when $V$ has small intrinsic dimension but is presented in a very high-dimensional ambient space.
We describe several applications. First, we extend existing results on bounding the $\varepsilon$-entropy of real algebraic varieties. Second, we derive lower bounds (in terms of the number of connected components) for membership testing in semi-algebraic sets in the algebraic computation tree model. Finally, motivated by quantum complexity theory, we introduce additive and multiplicative notions of \emph{relative rank} in finite-dimensional vector spaces and algebras with respect to a fixed algebraic subset, generalizing the classical notion of tensor rank. We prove a general lower bound on the maximum relative rank of finite subsets with respect to algebraic sets of bounded degree and dimension that is again independent of the ambient dimension. As an illustration, we obtain a quantum analogue of Shannon's classical lower bound: almost all Boolean functions require classical circuits of size $Ω(2^n/n)$, even in the presence of a quantum oracle specified by an algebraic subset of fixed degree and dimension.
Regular subgraphs at every density
Published
• View Publication
• BIB
In 1975, Erdős and Sauer asked to estimate, for any constant $r$, the maximum number of edges an $n$-vertex graph can have without containing an $r$-regular subgraph. In a recent breakthrough, Janzer and Sudakov proved that any $n$-vertex graph with no $r$-regular subgraph has at most $C_r n \log \log n$ edges, matching an earlier lower bound by Pyber, Rödl and Szemerédi and thereby resolving the Erdős-Sauer problem up to a constant depending on $r$. We prove that every $n$-vertex graph without an $r$-regular subgraph has at most $Cr^2 n \log \log n$ edges. This bound is tight up to the value of $C$ for $n\geq n_0(r)$ and hence resolves the Erdős-Sauer problem up to an absolute constant.
Moreover, we obtain similarly tight results for the whole range of possible values of $r$ (i.e., not just when $r$ is a constant), apart from a small error term at a transition point near $r\approx \log n$, where, perhaps surprisingly, the answer changes. More specifically, we show that every $n$-vertex graph with average degree at least $\min(Cr\log(n/r),Cr^2 \log\log n)$ contains an $r$-regular subgraph. The bound $Cr\log(n/r)$ is tight for $r\geq \log n$, while the bound $Cr^2 \log \log n$ is tight for $r<(\log n)^{1-Ω(1)}$. These results resolve a problem of Rödl and Wysocka from 1997 for almost all values of $r$.
Among other tools, we develop a novel random process that efficiently finds a very nearly regular subgraph in any almost-regular graph. A key step in our proof uses this novel random process to show that every $K$-almost-regular graph with average degree $d$ contains an $r$-regular subgraph for some $r=Ω_K(d)$, which is of independent interest.
Statistical inference of a ranked community in a directed graph
Published
• View Publication
• BIB
We study the problem of detecting or recovering a planted ranked subgraph from a directed graph, an analog for directed graphs of the well-studied planted dense subgraph model. We suppose that, among a set of $n$ items, there is a subset $S$ of $k$ items having a latent ranking in the form of a permutation $π$ of $S$, and that we observe a fraction $p$ of pairwise orderings between elements of $\{1, \dots, n\}$ which agree with $π$ with probability $\frac{1}{2} + q$ between elements of $S$ and otherwise are uniformly random. Unlike in the planted dense subgraph and planted clique problems where the community $S$ is distinguished by its unusual density of edges, here the community is only distinguished by the unusual consistency of its pairwise orderings. We establish computational and statistical thresholds for both detecting and recovering such a ranked community. In the log-density setting where $k$, $p$, and $q$ all scale as powers of $n$, we establish the exact thresholds in the associated exponents at which detection and recovery become statistically and computationally feasible. These regimes include a rich variety of behaviors, exhibiting both statistical-computational and detection-recovery gaps. We also give finer-grained results for two extreme cases: (1) $p = 1$, $k = n$, and $q$ small, where a full tournament is observed that is weakly correlated with a global ranking, and (2) $p = 1$, $q = \frac{1}{2}$, and $k$ small, where a small "ordered clique" (totally ordered directed subgraph) is planted in a random tournament.
Remarks on Halin's end-degree Conjecture
Published
• View Publication
• BIB
We prove new instances of Halin's end degree conjecture (HC) in ZFC. In particular, we show that there is a proper class of cardinals kappa for which Halin's conjecture holds, answering two questions posed by Geschke, Kurkofka, Melcher, and Pitz (2023). We also investigate the relationship between HC and the Singular Cardinal Hypothesis, deriving consistency strength from failures of the former. Moreover, we verify that Halin's conjecture fails on finite intervals of successors of singular cardinals in Merimovich's model, yielding a new independence result concerning HC.
Induced subgraphs and tree decompositions XVII. Anticomplete sets of large treewidth
Two sets $X, Y$ of vertices in a graph $G$ are "anticomplete" if $X\cap Y=\varnothing$ and there is no edge in $G$ with an end in $X$ and an end in $Y$. We prove that every graph $G$ of sufficiently large treewidth contains two anticomplete sets of vertices each inducing a subgraph of large treewidth unless $G$ contains, as an induced subgraph, a highly structured graph of large treewidth that is an obvious counterexample to this statement. These are: complete graphs, complete bipartite graphs and "interrupted $s$-constellations." The latter is a slightly adjusted version of a well-known construction by Bonamy et al.
Promotion, Tangled Labelings, and Sorting Generating Functions
Published
• View Publication
• BIB
We study Defant and Kravitz's generalization of Schützenberger's promotion operator to arbitrary labelings of finite posets in two directions. Defant and Kravitz showed that applying the promotion operator $n-1$ times to a labeling of a poset on $n$ elements always gives a natural labeling of the poset and called a labeling tangled if it requires the full $n-1$ promotions to reach a natural labeling. They also conjectured that there are at most $(n-1)!$ tangled labelings for any poset on $n$ elements. In the first direction, we propose a further strengthening of their conjecture by partitioning tangled labelings according to the element labeled $n-1$ and prove that this stronger conjecture holds for inflated rooted forest posets and a new class of posets called shoelace posets. In the second direction, we introduce sorting generating functions and cumulative generating functions for the number of labelings that require $k$ applications of the promotion operator to give a natural labeling. We prove that the coefficients of the cumulative generating function of the ordinal sum of antichains are log-concave and obtain a refinement of the weak order on the symmetric group.
Sharp Poincare-Wirtinger inequalities on complete graphs
Published
• View Publication
• BIB
Let $K_n=(V,E)$ be the complete graph with $n\geq 3$ vertices (here $V$ and $E$ denote the set of vertices and edges of $K_n$ respectively). We find the optimal value ${\bf{C}}_{n,p}$ such that the inequality $$\|f-m_f\|_p\le {\bf C}_{n,p}{\rm Var}_{p}f$$ holds for every $f:V\to \mathbb{R},$ where ${\rm Var}_p$ stands for the $p$-variation, and $m_f$ stands for the average value of $f$, for all $p\in[1,3+δ^1_n)\cup (3+δ^2_n,+\infty)$, for $δ^1_n=\frac{1}{2n^2\log(n)}+O(1/n^3)$ and $δ^2_n=\frac{2}{n}+O(1/n^2).$ Moreover, we characterize all the maximizer functions in that case. The behavior of the maximizers is different in each of the intervals $(1,2)$, $(2,3+δ^{1}_n)$ and $(3+δ^{2}_n,\infty).$
Graphs with Lin-Lu-Yau curvature at least one and regular bone-idle graphs
Published
• View Publication
• BIB
We study the Ollivier-Ricci curvature and its modification introduced by Lin, Lu, and Yau on graphs. We provide a complete characterization of all graphs with Lin-Lu-Yau curvature at least one. We then explore the relationship between the Lin-Lu-Yau curvature and the Ollivier-Ricci curvature with vanishing idleness on regular graphs. An exact formula for the difference between these two curvature notions is established, along with an equality condition. This condition allows us to characterize edges that are bone-idle in regular graphs. Furthermore, we demonstrate the non-existence of 3-regular bone-idle graphs and present a complete characterization of all 4-regular bone-idle graphs. We also show that there exist no 5-regular bone-idle graphs that are symmetric or a Cartesian product of a 3-regular and a 2-regular graph.
A note on the mutual-visibility coloring of hypercubes
A subset $M$ of vertices in a graph $G$ is a mutual-visibility set if for any two vertices $u,v\in{M}$ there exists a shortest $u$-$v$ path in $G$ that contains no elements of $M$ as internal vertices. Let $χ_μ(G)$ be the least number of colors needed to color the vertices of $G$, so that each color class is a mutual-visibility set. Let $n\in\mathbb{N}$ and $Q_{n}$ be an $n$-dimensional hypercube. It has been shown that the maximum size of a mutual-visibility set in $Q_{n}$ is at least $Ω(2^{n})$. Klavžar, Kuziak, Valenzuela-Tripodoro, and Yero further asked whether it is true that $χ_μ(Q_{n})=O(1)$. In this note we answer their question in the negative by showing that $$ω(1)=χ_μ(Q_{n})=O(\log\log{n}).$$
Zero-one dual characters of flagged Weyl modules
Published
• View Publication
• BIB
We prove a criterion of when the dual character $χ_{D}(x)$ of the flagged Weyl module associated to a diagram $D$ in the grid $[n]\times [n]$ is zero-one, that is, the coefficients of monomials in $χ_{D}(x)$ are either 0 or 1. This settles a conjecture proposed by M{é}sz{á}ros--St. Dizier--Tanjaya. Since Schubert polynomials and key polynomials occur as special cases of dual flagged Weyl characters, our approach provides a new and unified proof of known criteria for zero-one Schubert/key polynomials due to Fink--M{é}sz{á}ros--St. Dizier and Hodges--Yong, respectively.
Bounding the Chromatic Number via High Dimensional Embedding
A geometrization method that transforms a $(d+1)$-connected graph $G$ into a $(d-1)$-dimensional manifold $U^{d-1}(G)$ is first established through adding some $i$-balls with $2\le i \le d-1$ into $G$ such that the $j$-th homotopy group is trivial for $j=0, 1, \dots, d-2$. On this basis, we establish a sufficient condition for $U^{d-1}(G)$ to be embedded into $\mathbb{R}^d$ and an upper bound for $χ(G)$, the chromatic number of $G$. To be more specific, we prove that if $G$ contains neither $K_{d+3}$ nor $K_{3,d+1}$ as a minor, then $U^{d-1}(G)$ embeds into $\mathbb{R}^d$ and $χ(G) \leq d(d+1)$. Furthermore, based on the above theorem, we extend the Discharging method, originally developed for the study of the four color theorem, to $\mathbb{R}^d$. This generalized approach can be applied to investigate the coloring problems in $\mathbb{R}^d$.
Max-Bisections of graphs without perfect matching
A bisection of a graph is a bipartition of its vertex set such that the two resulting parts differ in size by at most 1, and its size is the number of edges that connect vertices in the two parts. The perfect matching condition and forbidden even cycles subgraphs are essential in finding large bisections of graphs. In this paper, we show that the perfect matching condition can be replaced by the minimum degree condition. Let $C_{\ell}$ be a cycle of length $\ell$ for $\ell\ge 3$, and let $G$ be a $\{C_4, C_6\}$-free graph with $m$ edges and minimum degree at least 2. We prove that $G$ has a bisection of size at least $m/2+Ω\left(\sum_{v\in V(G)}\sqrt{d(v)}\right)$. As a corollary, if $G$ is also $C_{2k}$-free for $k\ge3$, then $G$ has a bisection of size at least $m / 2+Ω\left(m^{(2 k+1) /(2 k+2)}\right)$, thereby confirming a conjecture proposed by Lin and Zeng [J. Comb. Theory A, 180 (2021), 105404].
Equivalent spectral theory for fundamental graph cut problems
We introduce and develop equivalent spectral graph theory for several fundamental graph cut problems including maxcut, mincut, Cheeger cut, anti-Cheeger cut, dual Cheeger problem and their useful variants. A specified strategy for achieving an equivalent eigenproblem is proposed for a general graph cut problem via the set-pair Lovász extension and the Dinkelbach scheme. For a class of 2-cut and 3-cut problems, we reveal the intrinsic difference-of-submodularity for the fractional formulations and show that their set-pair Lovász extensions yield equivalent difference-of-convex structures. Building on the Dinkelbach scheme, we finally establish a unified research roadmap for nonlinear spectral theory that provides a one-to-one correspondence between certain eigenpairs and the optimal graph cut problems. The finer structure of the eigenvectors, the Courant nodal domain theorem and the graphic feature of eigenvalues are studied systematically in the setting of these new nonlinear eigenproblems.
First memoir on the asymptotics of certain infinite products
The product sides of the Rogers--Ramanujan identities and alike often appear to be "transparently modular" (functions). The old work by Rogers (1894) and recent work by Rosengren make use (somewhat implicitly) of this fact for proving the identities with the help of underlying modular equations$-$the main challenge is verifying the latter for the sum sides. Here we speculate on the potentials of using the asymptotics of such $q$-identities or their finite versions for proving them.
Strong parity edge-colorings of graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ assigns a color to each edge of $G$. An edge-coloring is a parity edge-coloring if for each path $P$ in $G$, it uses some color on an odd number of edges in $P$. It is a strong parity edge-coloring if for every open walk $W$ in $G$, it uses some color an odd number of times along $W$. The minimum numbers of colors in parity and strong parity edge-colorings of $G$ are denoted $p(G)$ and $\hat{p}(G)$, respectively.
We characterize strong parity edge-colorings and use this characterization to prove lower bounds on $\hat{p}(G)$ and answer several questions of Bunde, Milans, West, and Wu. The applications are as follows. (1) We prove the conjecture that $\hat{p}(K_{s,t})=s \circ t$, where $s \circ t$ is the Hopf-Stiefel function. (2) We show that $\hat{p}(G)$ for a connected $n$-vertex graph $G$ equals the known lower bound $\lceil \log_2 n \rceil$ if and only if $G$ is a subgraph of the hypercube $Q_{\lceil \log_2 n \rceil }$. (3) We asymptotically compute $\hat{p}(G)$ when $G$ is the $\ell$th distance-power of a path, proving $\hat{p}(P_n^\ell)\sim\ell \lceil {\log_2 n} \rceil$. (4) We disprove the conjecture that $\hat{p}(G)=p(G)$ when $G$ is bipartite by constructing bipartite graphs $G$ such that $\hat{p}(G)/p(G)$ is arbitrarily large; in particular, with $\hat{p}(G)\ge\frac{1-o(1)}3 k\ln k$ and $p(G)\le2k+k^{1/3}$.
Two-count interval representation of a permutation
The interval count problem, a classical question in the study of interval orders, was introduced by Ronald Graham in the 1980s. This problem asks: given an interval order $P$, what is the minimum number of distinct interval lengths required to construct an interval representation of $P$? Interval orders that can be represented with just one interval length are known as semiorders, and their characterizations are well known. However, the characterization of interval orders that require at most $k$ interval lengths -- termed $k$-count interval orders -- remains an open and challenging problem for $k\geq 2$.
Our investigation into $2$-count interval orders led us naturally to consider a related problem, interval representations of permutations, which we introduce in this paper. Specifically, we characterize permutations that have a $2$-count interval representation. We prove that a permutation admits a $2$-count interval representation if and only if its longest decreasing subsequences have length at most $2$. For larger values of $k$, however, a similar characterization does not hold. There are permutations that do not permit a $3$-count interval representation despite having decreasing subsequences of length at most $3$. Characterizing $k$-count permutations remains open for $k \geq 3$.
The $k$-count permutation representation problem appears to capture essential aspects of the broader problem of characterizing $k$-count interval orders. To support this connection, we apply our findings on interval representations of permutations to demonstrate that a height-$3$ interval order is $2$-count if and only if it has depth at most $2$, where the depth of an interval order refers to the length of the longest nested chain of intervals required in any interval representation of the order.
Generalizations of Scott's inequality and Pick's formula to rational polygons
We prove a sharp upper bound on the number of boundary lattice points of a rational polygon in terms of its denominator and the number of interior lattice points, generalizing Scott's inequality. We then give sharp lower and upper bounds on the area in terms of the denominator, the number of interior lattice points, and the number of boundary lattice points, which can be seen as a generalization of Pick's formula. Minimizers and maximizers are described in detail. As an application, we derive bounds for the coefficients of Ehrhart quasipolymials of half-integral polygons.
Generic pipe dreams, lower-upper varieties, and Schwartz-MacPherson classes
We recall the lower-upper varieties from [Knutson '05] and give a formula for their equivariant cohomology classes, as a sum over generic pipe dreams. We recover as limits the classic and bumpless pipe dream formulae for double Schubert polynomials. As a byproduct, we obtain a formula for the degree of the $n$th commuting variety as a sum of powers of 2. Generic pipe dreams also appear in the Segre-Schwarz-MacPherson analogue of the AJS/Billey formula, and when computing the Chern-Schwarz-MacPherson class of the orbit $B_- w B_+ \subseteq Mat_{k\times n}$ or of a double Bruhat cell $B_-u B_+ \cap B_+ v B_-$.