Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Isoperimetric Inequalities Made Simpler
We give an alternative, simple method to prove isoperimetric inequalities over the hypercube. In particular, we show:
1. An elementary proof of classical isoperimetric inequalities of Talagrand, as well as a stronger isoperimetric result conjectured by Talagrand and recently proved by Eldan and Gross.
2. A strengthening of the Friedgut junta theorem, asserting that if the $p$-moment of the sensitivity of a function is constant for some $1/2 + \varepsilon\leq p\leq 1$, then the function is close to a junta. In this language, Friedgut's theorem is the special case that $p=1$.
The Burge correspondence and crystal graphs
Published in European J. Comb. 108 (2023) 103640
• View Publication
• BIB
The Burge correspondence yields a bijection between simple labelled graphs and semistandard Young tableaux of threshold shape. We characterize the simple graphs of hook shape by peak and valley conditions on Burge arrays. This is the first step towards an analogue of Schensted's result for the RSK insertion which states that the length of the longest increasing subword of a word is the length of the largest row of the tableau under the RSK correspondence. Furthermore, we give a crystal structure on simple graphs of hook shape. The extremal vectors in this crystal are precisely the simple graphs whose degree sequence are threshold and hook-shaped.
A Fixed-Parameter Algorithm for the Kneser Problem
The Kneser graph $K(n,k)$ is defined for integers $n$ and $k$ with $n \geq 2k$ as the graph whose vertices are all the $k$-subsets of $\{1,2,\ldots,n\}$ where two such sets are adjacent if they are disjoint. A classical result of Lovász asserts that the chromatic number of $K(n,k)$ is $n-2k+2$. In the computational Kneser problem, we are given an oracle access to a coloring of the vertices of $K(n,k)$ with $n-2k+1$ colors, and the goal is to find a monochromatic edge. We present a randomized algorithm for the Kneser problem with running time $n^{O(1)} \cdot k^{O(k)}$. This shows that the problem is fixed-parameter tractable with respect to the parameter $k$. The analysis involves structural results on intersecting families and on induced subgraphs of Kneser graphs.
We also study the Agreeable-Set problem of assigning a small subset of a set of $m$ items to a group of $\ell$ agents, so that all agents value the subset at least as much as its complement. As an application of our algorithm for the Kneser problem, we obtain a randomized polynomial-time algorithm for the Agreeable-Set problem for instances that satisfy $\ell \geq m - O(\frac{\log m}{\log \log m})$. We further show that the Agreeable-Set problem is at least as hard as a variant of the Kneser problem with an extended access to the input coloring.
On restricted completions of chordal and trivially perfect graphs
Published
• View Publication
• BIB
Let $G$ be a graph having a vertex $v$ such that $H = G - v$ is a trivially perfect graph. We give a polynomial-time algorithm for the problem of deciding whether it is possible to add at most $k$ edges to $G$ to obtain a trivially perfect graph. This is a slight variation of the well-studied {\sc Edge Completion}, also known as {\sc Minimum Fill-In}, problem. We also show that if $H$ is a chordal graph, then the problem of deciding whether it is possible to add at most $k$ edges to $G$ to obtain a chordal graph is \NP-complete.
Enumeration of three quadrant walks with small steps and walks on other M-quadrant cones
We address the enumeration of walks with small steps confined to a two-dimensional cone, for example the quarter plane, three-quarter plane or the slit plane. In the quarter plane case, the solutions for unweighted step-sets are already well understood, in the sense that it is known precisely for which cases the generating function is algebraic, D-finite or D-algebraic, and exact integral expressions are known in all cases. We derive similar results in a much more general setting: we enumerate walks on an $M$-quadrant cone for any positive integer $M$, with weighted steps starting at any point. The main breakthrough in this work is the derivation of an analytic functional equation which characterises the generating function of these walks, which is analogous to one now used widely for quarter-plane walks. In the case $M=3$, which corresponds to walks avoiding a quadrant, we provide exact integral-expression solutions for walks with weighted small steps which determine the generating function ${\sf C}(x,y;t)$ counting these walks. Moreover, for each step-set and starting point of the walk we determine whether the generating function ${\sf C}(x,y;t)$ is algebraic, D-finite or D-algebraic as a function of $x$ and $y$. In fact we provide results of this type for any $M$-quadrant cone, showing that this nature is the same for any odd $M$. For $M$ even we find that the generating functions counting these walks are D-finite in $x$ and $y$, and algebraic if and only if the starting point of the walk is on the same axis as the boundaries of the cone.
On the Shannon capacity of sums and products of graphs
Published
• View Publication
• BIB
Let $Θ(G)$ denote the Shannon capacity of a graph $G$. We give an elementary proof of the equivalence, for any graphs $G$ and $H$, of the inequalities $Θ(G\sqcup H)>Θ(G)+Θ(H)$ and $Θ(G\boxtimes H)>Θ(G)Θ(H)$. This was shown independently by Wigderson and Zuiddam [2022] using Kadison-Dubois duality and the Axiom of choice.
Primitive permutation groups of degree 3p
This paper presents an analysis of primitive permutation groups of degree $3p$, where $p$ is a prime number, analogous to H. Wielandt's treatment of groups of degree $2p$. It is also intended as an example of the systematic use of combinatorial methods as surveyed in \S6 for distilling information about a permutation group from knowledge of the decomposition of its character. The work is organised into three parts. Part I contains the lesser half of the calculation, the determination of the decomposition of the permutation character. Part II contains a survey of the combinatorial methods and, based on these methods, the major part of the calculation. Part III ties up loose ends left earlier in the paper and gives a tabulation of detailed numerical results.
Convex Hulls of Grassmannians and Combinatorics of Symmetric Hypermatrices
Published in Australas. J. Comb. Volume 88(3) (2024), Pages 282-293
• Search Publication
It is known that the complex Grassmannian of $k$-dimensional subspaces can be identified with the set of projection matrices of rank $k$. It is also classically known that the convex hull of this set is the set of Hermitian matrices with eigenvalues between $0$ and $1$ and summing to $k$. We give a new proof of this fact. We also give an existence theorem for a certain combinatorial class of hypermatrices by a similar argument. This existence theorem can be rewritten into an existence theorem for a uniform weighted hypergraph with given weighted degree sequence.
Gibbs partitions: a comprehensive phase diagram
Published
• View Publication
• BIB
We study Gibbs partition models, also known as composition schemes. Our main results comprehensively describe their phase diagram, including a phase transition from the convergent case described in Stufler (2018, Random Structures \& Algorithms) to a new dense regime characterized by a linear number of components with fluctuations of smaller order quantified by an $α$-stable law for $1< α\le 2$. We prove a functional scaling limit for a process whose jumps correspond to the component sizes and discuss applications to extremal component sizes. At the transition we observe a mixture of the two asymptotic shapes. We also treat extended composition schemes and prove a local limit theorem in a dilute regime with the limiting law being related to an $α$-stable law for $0< α< 1$. We describe the asymptotic size of the largest components via a point process limit.
The average Euler-genus of the vertex-amalgamation of signed graphs
In this paper, we first generalize a theorem for counting the number of faces of an oriented embedding of a graph that passing through a given cut-edge set [S. Stahl, Trans. Amer. Math. Soc. 259 (1980), 129--145] to all surfaces. Then we extend Stahl's bounds for the average genus of the vertex-amalgamation of graphs [S. Stahl, Discrete Math. 142 (1995), 235--245] to signed graphs.
On The Complexity of Matching Cut for Graphs of Bounded Radius and $H$-Free Graphs
Published
• View Publication
• BIB
For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of diameter at most $d$ if $d\leq 2$ and NP-complete if $d\geq 3$. We prove the same dichotomy for graphs of bounded radius. For a graph $H$, a graph is $H$-free if it does not contain $H$ as an induced subgraph. As a consequence of our result, we can solve Matching Cut in polynomial time for $P_6$-free graphs, extending a recent result of Feghali for $P_5$-free graphs. We then extend our result to hold even for $(sP_3+P_6)$-free graphs for every $s\geq 0$ and initiate a complexity classification of Matching Cut for $H$-free graphs.
The Merino--Welsh conjecture for split matroids
Published in Ann. Comb. 27, pp. 737-748 (2023)
• View Publication
• BIB
In 1999 Merino and Welsh conjectured that evaluations of the Tutte polynomial of a graph satisfy an inequality. In this short article we show that the conjecture generalized to matroids holds for the large class of all split matroids by exploiting the structure of their lattice of cyclic flats. This class of matroids strictly contains all paving and copaving matroids.
A non-associative incidence near-ring with a generalized Möbius function
Published
• View Publication
• BIB
There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized Möbius function. Under the product this generalized Möbius function is a one sided inverse of the zeta function and satisfies many generalizations of classical results. In particular we prove analogues of Phillip Hall's Theorem on the Möbius function as an alternating sum of chain counts, Weisner's theorem, and Rota's Crosscut Theorem. A key ingredient to these results is that this function is an overlapping product of classical Möbius functions. Using this generalized Möbius function we define analogues of the characteristic polynomial and Möbius polynomials for ranked lattices. We compute these polynomials for certain families of matroids and prove that this generalized Möbius polynomial has -1 as root if the matroid is modular. Using results from Ardila and Sanchez we prove that this generalized characteristic polynomial is a matroid valuation.
The Extremal Function for Apex Graphs
McCarty and Thomas conjectured that a linklessly embeddable graph with $n\ge 7 $ vertices and $t$ triangles has at most $3n-9 +\frac{t}{3}$ edges. Thomas and Yoo proved this to be true for apex graphs. We give a shorter and simpler proof for the apex case.
Number of partitions of n with a given parity of the smallest part
We obtain a combinatorial proof of a surprising weighted partition equality of Berkovich and Uncu. Our proof naturally leads to a formula for the number of partitions with a given parity of the smallest part, in terms of S(i), the number of partitions of i into distinct parts with even rank minus the number with odd rank, for which there is an almost closed formula by Andrews, Dyson and Hickerson. This method of calculating the number of partitions of n with a given parity of the smallest part is practical and efficient.
A combinatorial proof of the Burdzy-Pitman conjecture
Published
• View Publication
• BIB
We prove a sharp upper bound for the number of high degree differences in bipartite graphs: let $ (U, V, E)$ be a bipartite graph with $U=\{u_1, u_2, \dots, u_n\}$ and $V=\{v_1, v_2, \dots, v_n\}$; for $n\ge k>\frac{n}{2}$ we show that $\sum_{1\le i,j \le n} 1 {\Big\{|\text{deg}(u_i)-\text{deg}(v_j)|\ge k}\Big\} \le 2k(n-k).$ As a direct application we show a slightly stronger, probabilistic version of this theorem and thus confirm the Burdzy-Pitman conjecture about the maximal spread of coherent and independent distributions.
Facets of Random Symmetric Edge Polytopes, Degree Sequences, and Clustering
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (December 11, 2023) dmtcs:9925
• View Publication
• BIB
Symmetric edge polytopes are lattice polytopes associated with finite simple graphs that are of interest in both theory and applications. We investigate the facet structure of symmetric edge polytopes for various models of random graphs. For an Erdős-Renyi random graph, we identify a threshold probability at which with high probability the symmetric edge polytope shares many facet-supporting hyperplanes with that of a complete graph. We also investigate the relationship between the average local clustering, also known as the Watts-Strogatz clustering coefficient, and the number of facets for graphs with either a fixed number of edges or a fixed degree sequence. We use well-known Markov Chain Monte Carlo sampling methods to generate empirical evidence that for a fixed degree sequence, higher average local clustering in a connected graph corresponds to higher facet numbers in the associated symmetric edge polytope.
Representation theoretic interpretation and interpolation properties of inhomogeneous spin $q$-Whittaker polynomials
Published
• View Publication
• BIB
We establish new properties of inhomogeneous spin $q$-Whittaker polynomials, which are symmetric polynomials generalizing $t=0$ Macdonald polynomials. We show that these polynomials are defined in terms of a vertex model, whose weights come not from an $R$-matrix, as is often the case, but from other intertwining operators of $U'_q(\hat{\mathfrak{sl}}_2)$-modules. Using this construction, we are able to prove a Cauchy-type identity for inhomogeneous spin $q$-Whittaker polynomials in full generality. Moreover, we are able to characterize spin $q$-Whittaker polynomials in terms of vanishing at certain points, and we find interpolation analogues of $q$-Whittaker and elementary symmetric polynomials.
Entanglement statistics of polymers in a lattice tube and unknotting of 4-plats
Published
• View Publication
• BIB
The Knot Entropy Conjecture states that the exponential growth rate of the number of $n$-edge lattice polygons with knot-type $K$ is the same as that for unknot polygons. Moreover, the next order growth follows a power law in $n$ with an exponent that increases by one for each prime knot in the knot decomposition of $K$. We provide the first proof of this conjecture by considering knots and non-split links in tube $\mathbb{T}^*$, an $\infty \times 2\times 1$ sublattice of the simple cubic lattice. We establish upper and lower bounds relating the asymptotics of the number of $n$-edge polygons with fixed link-type in $\mathbb{T}^*$ to that of the number of $n$-edge unknots. For the upper bound, we prove that polygons can be unknotted by braid insertions. For the lower bound, we prove a pattern theorem for unknots using information from exact transfer-matrices. This work provides new knot theory results for 4-plats and new combinatorics results for lattice polygons. Connections to modelling polymers such as DNA in nanochannels are highlighted.
The vertex connectivity of some classes of divisible design graphs
Published
• View Publication
• BIB
A $k$-regular graph is called a divisible design graph if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbours, and two vertices from different classes have exactly $λ_2$ common neighbours. In this paper, we find the vertex connectivity of some classes of divisible design graphs, in particular, we present examples of divisible design graphs, whose vertex connectivity is less than $k$, where $k$ is the degree of a vertex. We also show that the vertex connectivity a divisible design graphs may be less than $k$ by any power of 2.