Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Graph structure via local occupancy
The first author together with Jenssen, Perkins and Roberts (2017) recently showed how local properties of the hard-core model on triangle-free graphs guarantee the existence of large independent sets, of size matching the best-known asymptotics due to Shearer (1983). The present work strengthens this in two ways: first, by guaranteeing stronger graph structure in terms of colourings through applications of the Lovász local lemma; and second, by extending beyond triangle-free graphs in terms of local sparsity, treating for example graphs of bounded local edge density, of bounded local Hall ratio, and of bounded clique number. This generalises and improves upon much other earlier work, including that of Shearer (1995), Alon (1996) and Alon, Krivelevich and Sudakov (1999), and more recent results of Molloy (2019), Bernshteyn (2019) and Achlioptas, Iliopoulos and Sinclair (2019). Our results derive from a common framework built around the hard-core model. It pivots on a property we call local occupancy, giving a clean separation between the methods for deriving graph structure with probabilistic information and verifying the requisite probabilistic information itself.
Dense induced subgraphs of dense bipartite graphs
Published
• View Publication
• BIB
We prove that every bipartite graph of sufficiently large average degree has either a $K_{t,t}$-subgraph or an induced subgraph of average degree at least $t$ and girth at least $6$. We conjecture that "$6$" can be replaced by "$k$", which strengthens a conjecture of Thomassen. In support of this conjecture, we show that it holds for regular graphs.
Kazhdan-Lusztig polynomials and subexpressions
Published
• View Publication
• BIB
We refine an idea of Deodhar, whose goal is a counting formula for Kazhdan-Lusztig polynomials. This is a consequence of a simple observation that one can use the solution of Soergel's conjecture to make ambiguities involved in defining certain morphisms between Soergel bimodules in characteristic zero (double leaves) disappear.
On the comparison of incompatibility of split systems across different numbers of taxa
Published
• View Publication
• BIB
The concept of $k$-compatibility measures how many phylogenetic trees it would take to display all splits in a given set. A set of trees that display every single possible split is termed a \textit{universal tree set}. In this note, we find $A(n)$, the minimal size of a universal tree set for $n$ taxa. By normalising the $k$-compatibility using $A(n)$, one can then compare incompatibility of split systems across different taxa sizes. We demonstrate this application by comparing two SplitsTree networks of different sizes derived from archaeal genomes.
K-theoretic Tutte polynomials of morphisms of matroids
Published
• View Publication
• BIB
We generalize the Tutte polynomial of a matroid to a morphism of matroids via the K-theory of flag varieties. We introduce two different generalizations, and demonstrate that each has its own merits, where the trade-off is between the ease of combinatorics and geometry. One generalization recovers the Las Vergnas Tutte polynomial of a morphism of matroids, which admits a corank-nullity formula and a deletion-contraction recursion. The other generalization does not, but better reflects the geometry of flag varieties.
A Conjecture on Induced Subgraphs of Cayley Graphs
In this paper, we propose the following conjecture which generalizes a theorem proved by Huang [Hua19] in his recent breakthrough proof of the sensitivity conjecture. We conjecture that for any Cayley graph $X = Γ(G,S)$ on a group $G$ and any generating set $S$, if $U \subseteq G$ has size $|U| > |G|/2$, then the induced subgraph of $X$ on $U$ has maximum degree at least $\sqrt{|S|/2}$. Using a recent idea of Alon and Zheng [AZ20], who proved this conjecture for the special case when $G = Z_2^n$, we prove that this conjecture is true whenever $G$ is abelian. We also observe that for this conjecture to hold for a graph $X$, some symmetry is required: it is insufficient for $X$ to just be regular and bipartite.
Rainbow Saturation
Published
• View Publication
• BIB
We introduce a notion of rainbow saturation and the corresponding rainbow saturation number. This is the saturation version of the rainbow Turán numbers whose systematic study was initiated by Keevash, Mubayi, Sudakov, and Verstraëte. We give examples of graphs for which the rainbow saturation number is bounded away from the ordinary saturation number. This includes all complete graphs $K_n$ for $n\geq 4$, and several bipartite graphs. It is notable that there are non-bipartite graphs for which this is the case, as this does not happen when it comes to the rainbow extremal number versus the traditional extremal number. We also show that saturation numbers are linear for a large class of graphs, providing a partial rainbow analogue of a well known theorem of Kásonyi and Tuza. We conclude this paper with related open questions and conjectures.
Flag manifolds over semifields
Published
• View Publication
• BIB
In this paper, we develop the theory of flag manifold over a semifield for any Kac-Moody root datum. We show that the flag manifold over a semifield admits a natural action of the monoid over that semifield associated with the Kac-Moody datum and admits a cellular decomposition. This extends the previous work of Lusztig, Postnikov, Rietsch and others on the totally nonnegative flag manifolds (of finite type) and the work of Lusztig, Speyer, Williams on the tropical flag manifolds (of finite type). As a by-product, we prove a conjecture of Lusztig on the duality of totally nonnegative flag manifold of finite type.
Bounds for the rainbow disconnection number of graphs
Published
• View Publication
• BIB
An edge-cut $R$ of an edge-colored connected graph is called a rainbow-cut if no two edges in the edge-cut are colored the same. An edge-colored graph is rainbow disconnected if for any two distinct vertices $u$ and $v$ of the graph, there exists a $u$-$v$-rainbow-cut separating them. For a connected graph $G$, the rainbow disconnection number of $G$, denoted by rd$(G)$, is defined as the smallest number of colors that are needed in order to make $G$ rainbow disconnected.
In this paper, we first give some tight upper bounds for rd$(G)$, and moreover, we completely characterize the graphs which meet the upper bound of the Nordhaus-Gaddum type results obtained early by us. Secondly, we propose a conjecture that $λ^+(G)\leq \textnormal{rd}(G)\leq λ^+(G)+1$, where $λ^+(G)$ is the upper edge-connectivity, and prove the conjecture for many classes of graphs, to support it. Finally, we give the relationship between rd$(G)$ of a graph $G$ and the rainbow vertex-disconnection number rvd$(L(G))$ of the line graph $L(G)$ of $G$.
On a supercongruence conjecture of Z.-W. Sun
Published in Chinese Annals of Mathematics, Series B (2022) 43(3), 2022, 417-424
• View Publication
• BIB
In this paper, we partly prove a supercongruence conjectured by Z.-W. Sun in 2013. Let $p$ be an odd prime and let $a\in\mathbb{Z}^{+}$. Then if $p\equiv1\pmod3$, we have \begin{align*} \sum_{k=0}^{\lfloor\frac{5}6p^a\rfloor}\frac{\binom{2k}k}{16^k}\equiv\left(\frac{3}{p^a}\right)\pmod{p^2}, \end{align*} where $\left(\frac{\cdot}{\cdot}\right)$ is the Jacobi symbol.
The complete splittings of finite abelian groups
Let $G$ be a finite group. We will say that $M$ and $S$ form a \textsl{complete splitting} (\textsl{splitting}) of $G$ if every element (nonzero element) $g$ of $G$ has a unique representation of the form $g=ms$ with $m\in M$ and $s\in S$, and $0$ has a such representation (while $0$ has no such representation). In this paper, we determine the structures of complete splittings of finite abelian groups. In particular, for complete splittings of cyclic groups our description is more specific. Furthermore, we show some results for existence and nonexistence of complete splittings of cyclic groups and find a relationship between complete splittings and splittings for finite groups.
Long Alternating Paths Exist
Let $P$ be a set of $2n$ points in convex position, such that $n$ points are colored red and $n$ points are colored blue. A non-crossing alternating path on $P$ of length $\ell$ is a sequence $p_1, \dots, p_\ell$ of $\ell$ points from $P$ so that (i) all points are pairwise distinct; (ii) any two consecutive points $p_i$, $p_{i+1}$ have different colors; and (iii) any two segments $p_i p_{i+1}$ and $p_j p_{j+1}$ have disjoint relative interiors, for $i \neq j$.
We show that there is an absolute constant $\varepsilon > 0$, independent of $n$ and of the coloring, such that $P$ always admits a non-crossing alternating path of length at least $(1 + \varepsilon)n$. The result is obtained through a slightly stronger statement: there always exists a non-crossing bichromatic separated matching on at least $(1 + \varepsilon)n$ points of $P$. This is a properly colored matching whose segments are pairwise disjoint and intersected by common line. For both versions, this is the first improvement of the easily obtained lower bound of $n$ by an additive term linear in $n$. The best known published upper bounds are asymptotically of order $4n/3+o(n)$.
Paths and flows for centrality measures in networks
Published
• View Publication
• BIB
We consider the number of paths that must pass through a subset $X$ of vertices of a network $N$ in a maximum sequence of arc-disjoint paths connecting two vertices $y$ and $z$. We show that when $X$ is a singleton, that number equals the difference between the maximum flow value from $y$ to $z$ in $N$ and the maximum flow value from $y$ to $z$ in the network obtained by $N$ setting to zero the capacities of arcs incident to $X$. That fact theoretically justifies the common identification of those two concepts in network literature. We also show that the same equality does not hold when $|X|\geq 2.$ Consequently, two conceptually different group centrality measures involving paths and flows can naturally be defined, both extending the classic flow betweenness centrality.
On the Enumeration of a Certain Type of Hyperplane Arrangements
Published in Proceedings Mathematical Sciences, Indian Academy of Sciences, Vol. 131, Art. ID. 35, 2021, Pages 29
• View Publication
• BIB
In this article we prove in the main theorem that, there is a bijection between the isomorphism classes of a certain type of real hyperplane arrangements on the one hand, and the antipodal pairs of convex cones of an associated discriminantal arrangement on the other hand. The type of hyperplane arrangements considered and the isomorphism classes have been defined precisely. As a consequence we enumerate such isomorphism classes by computing the characteristic polynomial of the discriminantal arrangement. With a certain restriction, the enumerated value is shown to be independent of the discriminantal arrangement. Later we observe that the restriction we impose on the type of hyperplane arrangements is a mild one and that this conditional restriction is quite generic. Moreover the restriction is defined in terms of a normal system being concurrency free which is a generic condition. We also discuss two examples of normal systems which are not concurrency free in the last section and enumerate the number of isomorphism classes.
Face numbers of uniform triangulations of simplicial complexes
Published
• View Publication
• BIB
A triangulation of a simplicial complex $Δ$ is called uniform if the $f$-vector of its restriction to a face of $Δ$ depends only on the dimension of that face. This paper proves that the entries of the $h$-vector of a uniform triangulation of $Δ$ can be expressed as nonnegative integer linear combinations of those of the $h$-vector of $Δ$, where the coefficients depend only on the dimension of $Δ$ and the $f$-vectors of the restrictions of the triangulation to simplices of various dimensions. Moreover, it provides information about these coefficients, including formulas, recurrence relations and various interpretations, and gives a criterion for the $h$-polynomial of a uniform triangulation to be real-rooted. These results unify and generalize several results in the literature about special types of triangulations, such as barycentric, edgewise and interval subdivisions.
On Maximal Functions With Curvature
We exhibit a class of "relatively curved" $\vecγ(t) := (γ_1(t),\dots,γ_n(t))$, so that the pertaining multi-linear maximal function satisfies the sharp range of Hölder exponents, \[ \left\| \sup_{r > 0} \ \frac{1}{r} \int_{0}^r \prod_{i=1}^n |f_i(x-γ_i(t))| \ dt \right\|_{L^p(\mathbb{R})} \leq C \cdot \prod_{i=1}^n \| f_j \|_{L^{p_j}(\mathbb{R})} \] whenever $\frac{1}{p} = \sum_{j=1}^n \frac{1}{p_j}$, where $p_j > 1$ and $p \geq p_{\vecγ}$, where $1 \geq p_{\vecγ} > 1/n$ for certain curves.
For instance, $p_{\vecγ} = 1/n^+$ for the case of fractional monomials, \[ \vecγ(t) = (t^{α_1},\dots,t^{α_n}), \; \; \; α_1 < \dots < α_n.\] Two sample applications of our method are as follows:
For any measurable $u_1,\dots,u_n : \mathbb{R}^{n} \to \mathbb{R}$, with $u_i$ independent of the $i$th coordinate vector, and any relatively curved $\vecγ$, \[ \lim_{r \to 0} \ \frac{1}{r} \int_0^r F\big(x_1 - u_1(x) \cdot γ_1(t),\dots,x_n - u_n(x) \cdot γ_n(t) \big) \ dt = F(x_1,\dots,x_n), \; \; \; a.e. \] for every $F \in L^p(\mathbb{R}^n), \ p > 1$.
Every appropriately normalized set $A \subset [0,1]$ of sufficiently large Hausdorff dimension contains the progression, \[ \{ x, x-γ_1(t),\dots,x - γ_n(t) \} \subset A, \] for some $t \geq c_{\vecγ} > 0$ strictly bounded away from zero, depending on $\vecγ$.
Maker Breaker on Digraphs
Published
• View Publication
• BIB
We study two biassed Maker-Breaker games played on the complete digraph $\vec{K}_n$. In the strong connectivity game, Maker wants to build a strongly connected subgraph. We determine the asymptotic optimal bias for this game viz. $\frac{n}{\log n}$. In the Hamiltonian game, Maker wants to build a Hamiltonian subgraph. We determine the asymptotic optimal bias for this game up to a constant factor.
Hyperplane arrangements in polymake
Published
• View Publication
• BIB
Hyperplane arrangements form the latest addition to the zoo of combinatorial objects dealt with by polymake. We report on their implementation and on a algorithm to compute the associated cell decomposition. The implemented algorithm performs significantly better than brute force alternatives, as it requires less convex hulls computations.
Connectivity of Triangulation Flip Graphs in the Plane
Published
• View Publication
• BIB
Given a finite point set P in general position in the plane, a full triangulation is a maximal straight-line embedded plane graph on P. A partial triangulation is a full triangulation of some subset P' of P containing all extreme points in P. A bistellar flip on a partial triangulation flips an edge (an edge flip), removes a non-extreme point of degree 3, or adds a point in P \ P' as vertex of degree 3. The bistellar flip graph has all partial triangulations as vertices, and a pair of partial triangulations is adjacent if they can be obtained from one another by a bistellar flip. The edge flip graph is defined with full triangulations as vertices, and edge flips determining the adjacencies. Lawson showed in the early 70s that these graphs are connected. Our goal is to investigate these graphs, with emphasis on vertex connectivity.
For sets of n points in the plane in general position, we show that the edge flip graph is (n/2-2)-connected, and the bistellar flip graph is (n-3)-connected; both results are tight. The latter bound matches the situation for the subfamily of regular triangulations, ie. partial triangulations obtained by lifting the points to 3-space and projecting back the lower convex hull. Here (n-3)-connectivity has been known since the late 80s via the secondary polytope due to Gelfand, Kapranov & Zelevinsky and Balinski's Theorem. For the edge flip-graphs, the vertex connectivity can be shown to be at least as large as (and hence equal to) the minimum degree, provided n is large enough. Our methods yield several other results.
Weakly norming graphs are edge-transitive
Published in Combinatorica, vol. 40, no. 4, pp. 601-604, 2020
• View Publication
• BIB
Let $\mathcal{H}$ be the class of bounded measurable symmetric functions on $[0,1]^2$. For a function $h \in \mathcal{H}$ and a graph $G$ with vertex set $\{v_1,\ldots,v_n\}$ and edge set $E(G)$, define \[ t_G(h) \; = \;
\int \cdots \int \prod_{\{v_i,v_j\} \in E(G)} h(x_i,x_j)
\: dx_1 \cdots dx_n \: . \] Answering a question raised by Conlon and Lee, we prove that in order for $t_G(|h|)^{1/|E(G)|}$ to be a norm on $\mathcal{H}$, the graph $G$ must be edge-transitive.