Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Lattice path bicircular matroids
Published
• View Publication
• BIB
Lattice path matroids and bicircular matroids are two well-known classes of transversal matroids. In the seminal work of Bonin and de Mier about structural properties of lattice path matroids, the authors claimed that lattice path matroids significantly differ from bicircular matroids. Recently, it was proved that all cosimple lattice path matroids have positive double circuits, while it was shown that there is a large class of cosimple bicircular matroids with no positive double circuits. These observations support Bonin and de Miers' claim. Finally, Sivaraman and Slilaty suggested studying the intersection of lattice path matroids and bicircular matroids as a possibly interesting research topic. In this work, we exhibit the excluded bicircular matroids for the class of lattice path matroids, and we propose a characterization of the graph family whose bicircular matroids are lattice path matroids. As an application of this characterization, we propose a geometric description of $2$-connected lattice path bicircular matroids.
Geometric amenability in totally disconnected locally compact groups
Published
• View Publication
• BIB
We give a short geometric proof of a result of Soardi & Woess and Salvatori that a quasitransitive graph is amenable if and only if its automorphism group is amenable and unimodular. We also strengthen one direction of that result by showing that if a compactly generated totally disconnected locally compact group admits a proper Lipschitz action on a bounded-degree amenable graph then that group is amenable and unimodular. We pass via the notion of geometric amenability of a locally compact group, which has previously been studied by the second author and is defined by analogy with amenability, only using right Folner sets instead of left Folner sets. We also introduce a notion of uniform geometric non-amenability of a locally compact group, and relate this notion in various ways to actions of that group on graphs and to its modular homomorphism.
Expander Graph Propagation
Deploying graph neural networks (GNNs) on whole-graph classification or regression tasks is known to be challenging: it often requires computing node features that are mindful of both local interactions in their neighbourhood and the global context of the graph structure. GNN architectures that navigate this space need to avoid pathological behaviours, such as bottlenecks and oversquashing, while ideally having linear time and space complexity requirements. In this work, we propose an elegant approach based on propagating information over expander graphs. We leverage an efficient method for constructing expander graphs of a given size, and use this insight to propose the EGP model. We show that EGP is able to address all of the above concerns, while requiring minimal effort to set up, and provide evidence of its empirical utility on relevant graph classification datasets and baselines in the Open Graph Benchmark. Importantly, using expander graphs as a template for message passing necessarily gives rise to negative curvature. While this appears to be counterintuitive in light of recent related work on oversquashing, we theoretically demonstrate that negatively curved edges are likely to be required to obtain scalable message passing without bottlenecks. To the best of our knowledge, this is a previously unstudied result in the context of graph representation learning, and we believe our analysis paves the way to a novel class of scalable methods to counter oversquashing in GNNs.
VC-Dimension and Distance Chains in $\mathbb{F}_q^d$
Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied the VC-dimension of a natural family of functions $\mathcal{H}_t^{'2}(E): \mathbb{F}_q^2\to \{0,1\}$, corresponding to indicator functions of circles centered at points in a subset $E\subseteq \mathbb{F}_q^2$. They showed that when $|E|$ is large enough, the VC-dimension of $\mathcal{H}_t^{'2}(E)$ is the same as in the case that $E = \mathbb F_q^2$. We study a related hypothesis class, $\mathcal{H}_t^d(E)$, corresponding to intersections of spheres in $\mathbb{F}_q^d$, and ask how large $E\subseteq \mathbb{F}_q^d$ needs to be to ensure the maximum possible VC-dimension. We resolve this problem in all dimensions, proving that whenever $|E|\geq C_dq^{d-1/(d-1)}$ for $d\geq 3$, the VC-dimension of $\mathcal{H}_t^d(E)$ is as large as possible. We get a slightly stronger result if $d=3$: this result holds as long as $|E|\geq C_3 q^{7/3}$. Furthermore, when $d=2$ the result holds when $|E|\geq C_2 q^{7/4}$.
A Toolkit for Robust Thresholds
Consider a host hypergraph $G$ which contains a spanning structure due to minimum degree considerations. We collect three results proving that if the edges of $G$ are sampled at the appropriate rate then the spanning structure still appears with high probability in the sampled hypergraph. We prove such results for perfect matchings in hypergraphs above Dirac thresholds, for $K_r$-factors in graphs satisfying the Hajnal--Szemerédi minimum degree condition, and for bounded-degree spanning trees. In each case our proof is based on constructing a spread measure and then applying recent results on the (fractional) Kahn--Kalai conjecture connecting the existence of such measures with probabilistic thresholds.
For our second result we give a shorter and more general proof of a recent theorem of Allen, Böttcher, Corsten, Davies, Jenssen, Morris, Roberts, and Skokan which handles the $r=3$ case with different techniques. In particular, we answer a question of theirs with regards to the number of $K_r$-factors in graphs satisfying the Hajnal--Szemerédi minimum degree condition.
$K$-rings of wonderful varieties and matroids
Published in Adv. Math. 441 (2024), Paper No. 109554
• View Publication
• BIB
We study the $K$-ring of the wonderful variety of a hyperplane arrangement and give a combinatorial presentation that depends only on the underlying matroid. We use this combinatorial presentation to define the $K$-ring of an arbitrary loopless matroid. We construct an exceptional isomorphism, with integer coefficients, to the Chow ring of the matroid that satisfies a Hirzebruch--Riemann--Roch-type formula, generalizing a recent construction of Berget, Eur, Spink, and Tseng for the permutohedral variety (the wonderful variety of a Boolean arrangement). As an application, we give combinatorial formulas for Euler characteristics of arbitrary line bundles on wonderful varieties. We give analogous constructions and results for augmented wonderful varieties, and for Deligne--Mumford--Knudsen moduli spaces of stable rational curves with marked points.
Paley-like graphs over finite fields from vector spaces
Published
• View Publication
• BIB
Motivated by the well-known Paley graphs over finite fields and their generalizations, in this paper we explore a natural multiplicative-additive analogue of such graphs arising from vector spaces over finite fields. Namely, if $n\ge 2$ and $U\subsetneq \mathbb F_{q^n}$ is an $\mathbb F_q$-vector space, $G_{U}$ is the (undirected) graph with vertex set $V(G_U)=\mathbb F_{q^n}$ and edge set $E(G_U)=\{(a, b)\in \mathbb F_{q^n}^2\,|\, a\ne b, ab\in U\}$. We describe the structure of an arbitrary maximal clique in $G_U$ and provide bounds on the clique number $ω(G_U)$ of $G_U$. In particular, we compute the largest possible value of $ω(G_U)$ for arbitrary $q$ and $n$. Moreover, we obtain the exact value of $ω(G_U)$ when $U\subsetneq \mathbb F_{q^n}$ is any $\mathbb F_q$-vector space of dimension $d_U\in \{1, 2, n-1\}$.
Intersection numbers on fibrations and Catalan numbers
On an elliptic surface or threefold, Catalan numbers appear when one tries to compute the autoequivalence group action on the Bridgeland stability manifold. We explain why this happens by identifying a class of equations in the Chow ring of a fibration, where the solutions always involve Catalan numbers.
The logarithmic Minkowski inequality for cylinders
Published
• View Publication
• BIB
In this paper, we prove that if $K$ is an $o$-symmetric cylinder and $L$ is an $o$-symmetric convex body in $\mathbb R^3$, then the logarithmic Minkowski inequality \[\frac{1}{V(K)}\int_{\mathbb S^{2}}\log\frac{h_L}{h_K}\,dV_K\geq\frac{1}{3}\log\frac{V(L)}{V(K)}\] holds, with equality if and only if $K$ and $L$ are relative cylinders.
The Bernoulli clock: probabilistic and combinatorial interpretations of the Bernoulli polynomials by circular convolution
Published
• View Publication
• BIB
The factorially normalized Bernoulli polynomials $b_n(x) = B_n(x)/n!$ are known to be characterized by $b_0(x) = 1$ and $b_n(x)$ for $n >0$ is the antiderivative of $b_{n-1}(x)$ subject to $\int_0^1 b_n(x) dx = 0$. We offer a related characterization: $b_1(x) = x - 1/2$ and $(-1)^{n-1} b_n(x)$ for $n >0$ is the $n$-fold circular convolution of $b_1(x)$ with itself. Equivalently, $1 - 2^n b_n(x)$ is the probability density at $x \in (0,1)$ of the fractional part of a sum of $n$ independent random variables, each with the beta$(1,2)$ probability density $2(1-x)$ at $x \in (0,1)$. This result has a novel combinatorial analog, the {\em Bernoulli clock}: mark the hours of a $2 n$ hour clock by a uniform random permutation of the multiset $\{1,1, 2,2, \ldots, n,n\}$, meaning pick two different hours uniformly at random from the $2 n$ hours and mark them $1$, then pick two different hours uniformly at random from the remaining $2 n - 2$ hours and mark them $2$, and so on. Starting from hour $0 = 2n$, move clockwise to the first hour marked $1$, continue clockwise to the first hour marked $2$, and so on, continuing clockwise around the Bernoulli clock until the first of the two hours marked $n$ is encountered, at a random hour $I_n$ between $1$ and $2n$. We show that for each positive integer $n$, the event $( I_n = 1)$ has probability $(1 - 2^n b_n(0))/(2n)$, where $n! b_n(0) = B_n(0)$ is the $n$th Bernoulli number. For $ 1 \le k \le 2 n$, the difference $δ_n(k):= 1/(2n) - ¶( I_n = k)$ is a polynomial function of $k$ with the surprising symmetry $δ_n( 2 n + 1 - k) = (-1)^n δ_n(k)$, which is a combinatorial analog of the well known symmetry of Bernoulli polynomials $b_n(1-x) = (-1)^n b_n(x)$.
Conic divisorial ideals of toric rings and applications to Hibi rings and stable set rings
In the present paper, we study conic divisorial ideals of toric rings. We provide an idea to determine them and we give a description of the conic divisorial ideals of Hibi rings and stable set rings of perfect graphs by using this idea. We also characterize when Hibi rings or stable set rings are quasi-symmetric or weakly-symmetric. Moreover, by using the description of the conic divisorial ideals, we construct a non-commutative crepant resolution (NCCR) of a special family of stable set rings.
A Counterexample to a Directed KKL Inequality
Published
• View Publication
• BIB
We show that the natural directed analogues of the KKL theorem [KKL88] and the Eldan--Gross inequality [EG20] from the analysis of Boolean functions fail to hold. This is in contrast to several other isoperimetric inequalities on the Boolean hypercube (such as the Poincare inequality, Margulis's inequality [Mar74] and Talagrand's inequality [Tal93]) for which directed strengthenings have recently been established.
Conjugate Fillings and Legendrian Weaves
First, we show that conjugate Lagrangian fillings, associated to plabic graphs, and Lagrangian fillings obtained as Reeb pinching sequences are both Hamiltonian isotopic to Lagrangian projections of Legendrian weaves. In general, we establish a series of new Reidemeister moves for hybrid Lagrangian surfaces. These allow for explicit combinatorial isotopies between the different types of Lagrangian fillings and we use them to show that Legendrian weaves indeed generalize these previously known combinatorial methods to construct Lagrangian fillings. This generalization is strict, as weaves are typically able to produce infinitely many distinct Hamiltonian isotopy classes of Lagrangian fillings, whereas conjugate surfaces and Reeb pinching sequences produce finitely many fillings.
Second, we compare the sheaf quantizations associated to each such types of Lagrangian fillings and show that the cluster structures in the corresponding moduli of pseudo-perfect objects coincide. In particular, this shows that the cluster variables in Bott-Samelson cells, given as generalized minors, are geometric microlocal holonomies associated to sheaf quantizations. Similar results are presented for the Fock-Goncharov cluster variables in the moduli spaces of framed local systems. In the course of the article and its appendices, we also establish several technical results needed for a rigorous comparison between the different Lagrangian fillings and their microlocal sheaf invariants.
Connectedness in Friends-and-Strangers Graphs of Spiders and Complements
Let $X$ and $Y$ be two graphs with vertex set $[n]$. Their friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph with vertices corresponding to elements of the group $S_n$, and two permutations $σ$ and $σ'$ are adjacent if they are separated by a transposition $\{a,b\}$ such that $a$ and $b$ are adjacent in $X$ and $σ(a)$ and $σ(b)$ are adjacent in $Y$. Specific friends-and-strangers graphs such as $\mathsf{FS}(\mathsf{Path}_n,Y)$ and $\mathsf{FS}(\mathsf{Cycle}_n,Y)$ have been researched, and their connected components have been enumerated using various equivalence relations such as double-flip equivalence. A spider graph is a collection of path graphs that are all connected to a single center point. In this paper, we delve deeper into the question of when $\mathsf{FS}(X,Y)$ is connected when $X$ is a spider and $Y$ is the complement of a spider or a tadpole.
Extremal Kirchhoff index in polycyclic chains
Published
• View Publication
• BIB
The Kirchhoff index of graphs, introduced by Klein and Randić in 1993, has been known useful in the study of computer science, complex network and quantum chemistry. The Kirchhoff index of a graph $G$ is defined as $Kf(G)=\sum\limits_{\{u,v\}\subseteq V(G)}Ω_{G}(u,v)$, where $Ω_{G}(u,v)$ denotes the resistance distance between $u$ and $v$ in $G$.
In this paper, we determine the maximum (resp. minimum) $k$-polycyclic chains with respect to Kirchhoff index for $k\geq 5$, which extends the results of Yang and Klein [Comparison theorems on resistance distances and Kirchhoff indices of $S,T$-isomers, Discrete Appl. Math. 175 (2014) 87-93], Yang and Sun [Minimal hexagonal chains with respect to the Kirchhoff index, Discrete Math. 345 (2022) 113099], Sun and Yang [Extremal pentagonal chains with respect to the Kirchhoff index, Appl. Math. Comput. 437 (2023) 127534] and Ma [Extremal octagonal chains with respect to the Kirchhoff index, arXiv: 2209.10264].
Faster parameterized algorithms for modification problems to minor-closed classes
Published in TheoretiCS, Volume 3 (August 12, 2024) theoretics:11623
• View Publication
• BIB
Let ${\cal G}$ be a minor-closed graph class and let $G$ be an $n$-vertex graph. We say that $G$ is a $k$-apex of ${\cal G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to ${\cal G}$. Our first result is an algorithm that decides whether $G$ is a $k$-apex of ${\cal G}$ in time $2^{{\sf poly}(k)}\cdot n^2$, where ${\sf poly}$ is a polynomial function depending on ${\cal G}$. This algorithm improves the previous one, given by Sau, Stamoulis, and Thilikos [ICALP 2020], whose running time was $2^{{\sf poly}(k)}\cdot n^3$. The elimination distance of $G$ to ${\cal G}$, denoted by ${\sf ed}_{\cal G}(G)$, is the minimum number of rounds required to reduce each connected component of $G$ to a graph in ${\cal G}$ by removing one vertex from each connected component in each round. Bulian and Dawar [Algorithmica 2017] provided an FPT-algorithm, with parameter $k$, to decide whether ${\sf ed}_{\cal G}(G)\leq k$. However, its dependence on $k$ is not explicit. We extend the techniques used in the first algorithm to decide whether ${\sf ed}_{\cal G}(G)\leq k$ in time $2^{2^{2^{{\sf poly}(k)}}}\cdot n^2$. This is the first algorithm for this problem with an explicit parametric dependence in $k$. In the special case where ${\cal G}$ excludes some apex-graph as a minor, we give two alternative algorithms, running in time $2^{2^{{\cal O}(k^2\log k)}}\cdot n^2$ and $2^{{\sf poly}(k)}\cdot n^3$ respectively, where $c$ and ${\sf poly}$ depend on ${\cal G}$. As a stepping stone for these algorithms, we provide an algorithm that decides whether ${\sf ed}_{\cal G}(G)\leq k$ in time $2^{{\cal O}({\sf tw}\cdot k+{\sf tw}\log{\sf tw})}\cdot n$, where ${\sf tw}$ is the treewidth of $G$. Finally, we provide explicit upper bounds on the size of the graphs in the minor-obstruction set of the class of graphs ${\cal E}_k({\cal G})=\{G\mid{\sf ed}_{\cal G}(G)\leq k\}$.
The tropical $n$-gonal construction
We give a purely tropical analogue of Donagi's $n$-gonal construction and investigate its combinatorial properties. The input of the construction is a harmonic double cover of an $n$-gonal tropical curve. For $n = 2$ and a dilated double cover, the output is a tower of the same type, and we show that the Prym varieties of the two double covers are dual tropical abelian varieties. For $n=3$ and a free double cover, the output is a tetragonal tropical curve with dilation profile nowhere $(2,2)$ or $(4)$, and we show that the construction can be reversed. Furthermore, the Prym variety of the double cover and the Jacobian of the tetragonal curve are isomorphic as principally polarized tropical abelian varieties. Our main tool is tropical homology theory, and our proofs closely follow the algebraic versions.
A note on non-isomorphic edge-color classes in random graphs
Published
• View Publication
• BIB
For a graph $G$, let $τ(G)$ be the maximum number of colors such that there exists an edge-coloring of $G$ with no two color classes being isomorphic. We investigate the behavior of $τ(G)$ when $G=G(n, p)$ is the classical Erdős-Rényi random graph.
Sperner systems with restricted differences
Published in Combinatorial Theory, 2025
• View Publication
• BIB
Let $\mathcal{F}$ be a family of subsets of $[n]$ and $L$ be a subset of $[n]$. We say $\mathcal{F}$ is an $L$-differencing Sperner system if $|A\setminus B|\in L$ for any distinct $A,B\in\mathcal{F}$. Let $p$ be a prime and $q$ be a power of $p$. Frankl first studied $p$-modular $L$-differencing Sperner systems and showed an upper bound of the form $\sum_{i=0}^{|L|}\binom{n}{i}$. In this paper, we obtain new upper bounds on $q$-modular $L$-differencing Sperner systems using elementary $p$-adic analysis and polynomial method, extending and improving existing results substantially. Moreover, our techniques can be used to derive new upper bounds on subsets of the hypercube with restricted Hamming distances. One highlight of the paper is the first analogue of the celebrated Snevily's theorem in the $q$-modular setting, which results in several new upper bounds on $q$-modular $L$-avoiding $L$-intersecting systems. In particular, we improve a result of Felszeghy, Hegedűs, and Rónyai, and give a partial answer to a question posed by Babai, Frankl, Kutin, and Štefankovič.
$2$-polarity and algorithmic aspects of polarity variants on cograph superclasses
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (October 10, 2024) dmtcs:11479
• View Publication
• BIB
A graph $G$ is said to be an $(s, k)$-polar graph if its vertex set admits a partition $(A, B)$ such that $A$ and $B$ induce, respectively, a complete $s$-partite graph and the disjoint union of at most $k$ complete graphs. Polar graphs and monopolar graphs are defined as $(\infty, \infty)$- and $(1, \infty)$-polar graphs, respectively, and unipolar graphs are those graphs with a polar partition $(A, B)$ such that $A$ is a clique.
The problems of deciding whether an arbitrary graph is a polar graph or a monopolar graph are known to be NP-complete. In contrast, deciding whether a graph is a unipolar graph can be done in polynomial time. In this work we prove that the three previous problems can be solved in linear time on the classes of $P_4$-sparse and $P_4$-extendible graphs, generalizing analogous results previously known for cographs.
Additionally, we provide finite forbidden subgraph characterizations for $(2,2)$-polar graphs on $P_4$-sparse and $P_4$-extendible graphs, also generalizing analogous results recently obtained for the class of cographs.