Showing 20 papers (Total: 83842 papers, 48355 authors in database)
An improved protocol for ExactlyN with more than 3 players
The ExactlyN problem in the number-on-forehead (NOF) communication setting asks $k$ players, each of whom can see every input but their own, if the $k$ input numbers add up to $N$. Introduced by Chandra, Furst and Lipton in 1983, ExactlyN is important for its role in understanding the strength of randomness in communication complexity with many players. It is also tightly connected to the field of combinatorics: its $k$-party NOF communication complexity is related to the size of the largest corner-free subset in $[N]^{k-1}$.
In 2021, Linial and Shraibman gave more efficient protocols for ExactlyN for 3 players. As an immediate consequence, this also gave a new construction of larger corner-free subsets in $[N]^2$. Later that year Green gave a further refinement to their argument. These results represent the first improvements to the highest-order term for $k=3$ since the famous work of Behrend in 1946. In this paper we give a corresponding improvement to the highest-order term for all $k>3$, the first since Rankin in 1961. That is, we give a more efficient protocol for ExactlyN as well as larger corner-free sets in higher dimensions.
Nearly all previous results in this line of research approached the problem from the combinatorics perspective, implicitly resulting in non-constructive protocols for ExactlyN. Approaching the problem from the communication complexity point of view and constructing explicit protocols for ExactlyN was key to the improvements in the $k=3$ setting. As a further contribution we provide explicit protocols for ExactlyN for any number of players which serves as a base for our improvement.
The Right Angled Artin Group Functor as a Categorical Embedding
Published in Algebr. Geom. Topol. 25 (2025) 3035-3048
• View Publication
• BIB
It has long been known that the combinatorial properties of a graph $Γ$ are closely related to the group theoretic properties of its right angled artin group (raag). It's natural to ask if the graph homomorphisms are similarly related to the group homomorphisms between two raags. The main result of this paper shows that there is a purely algebraic way to characterize the raags amongst groups, and the graph homomorphisms amongst the group homomorphisms. As a corollary we present a new algorithm for recovering $Γ$ from its raag.
Bounds on Kemeny's constant of a graph and the Nordhaus-Gaddum problem
Published
• View Publication
• BIB
We study Nordhaus-Gaddum problems for Kemeny's constant $\mathcal{K}(G)$ of a connected graph $G$. We prove bounds on $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ and the product $\mathcal{K}(G)\mathcal{K}(\overline{G})$ for various families of graphs. In particular, we show that if the maximum degree of a graph $G$ on $n$ vertices is $n-O(1)$ or $n-Ω(n)$, then $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ is at most $O(n)$.
A Note Related to Graph Theory
This article foucuses on $(P_3\cup P_2,K_4)$-free graph. In this paper, we prove that if G is $(P_3\cup P_2,K_4)$-free, then $χ(G)\le 7$. We then use our result to obtain the upper bound of order and chromatic number of $(4K_1,\overline{P_3\cup P_2},K_ω)$-free graph .
l-connectivity, l-edge-connectivity and spectral radius of graphs
Published
• View Publication
• BIB
Let G be a connected graph. The toughness of G is defined as t(G)=min{\frac{|S|}{c(G-S)}}, in which the minimum is taken over all proper subsets S\subset V(G) such that c(G-S)\geq 2 where c(G-S) denotes the number of components of G-S. Confirming a conjecture of Brouwer, Gu [SIAM J. Discrete Math. 35 (2021) 948--952] proved a tight lower bound on toughness of regular graphs in terms of the second largest absolute eigenvalue. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] then studied the toughness of simple graphs from the spectral radius perspective. While the toughness is an important concept in graph theory, it is also very interesting to study |S| for which c(G-S)\geq l for a given integer l\geq 2. This leads to the concept of the l-connectivity, which is defined to be the minimum number of vertices of G whose removal produces a disconnected graph with at least l components or a graph with fewer than l vertices. Gu [European J. Combin. 92 (2021) 103255] discovered a lower bound on the l-connectivity of regular graphs via the second largest absolute eigenvalue. As a counterpart, we discover the connection between the l-connectivity of simple graphs and the spectral radius. We also study similar problems for digraphs and an edge version.
On the Structure of the Linear Codes with a Given Automorphism
Published in Advances in Mathematics of Communications, November 2023
• View Publication
• BIB
The purpose of this paper is to present the structure of the linear codes over a finite field with q elements that have a permutation automorphism of order m. These codes can be considered as generalized quasi-cyclic codes. Quasi-cyclic codes and almost quasi-cyclic codes are discussed in detail, presenting necessary and sufficient conditions for which linear codes with such an automorphism are self-orthogonal, self-dual, or linear complementary dual.
On Ahn-Hendrey-Kim-Oum question for twin-width of graphs with 6 vertices
Twin-width is a recently introduced graph parameter for finite graphs. It is an open problem to determine whether there is an $n$-vertex graph having twin-width at least $n/2$ (due to J. Ahn, K. Hendrey, D. Kim and S. Oum). In an earlier paper, the author showed that such a graph with less than equal to 5 vertices does not exist. In this article, we show that such a graph with 6 vertices does not exist. More precisely, we prove that each graph with 6 vertices has twin-width less than equal to 2.
Classification of normal phylogenetic varieties for tripods
Published
• View Publication
• BIB
We provide a complete classification of normal phylogenetic varieties coming from tripods, and more generally, from trivalent trees. Let $G$ be an abelian group. We prove that the group-based phylogenetic variety $X_{G,\mathcal{T}}$, for any trivalent tree $\mathcal{T}$, is projectively normal if and only if $G\in \{\mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_2\times\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_5, \mathbb{Z}_7\}$.
Commutator nilpotency for somewhere-to-below shuffles
Given a positive integer $n$, we consider the group algebra of the symmetric group $S_{n}$. In this algebra, we define $n$ elements $t_{1},t_{2},\ldots,t_{n}$ by the formula \[ t_{\ell}:=\operatorname*{cyc}\nolimits_{\ell}+\operatorname*{cyc}\nolimits_{\ell,\ell+1}+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ell+2}+\cdots+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,n}, \] where $\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,k}$ denotes the cycle that sends $\ell\mapsto\ell+1\mapsto\ell+2\mapsto\cdots\mapsto k\mapsto\ell$. These $n$ elements are called the *somewhere-to-below shuffles* due to an interpretation as card-shuffling operators.
In this paper, we show that their commutators $\left[ t_{i},t_{j}\right] =t_{i}t_{j}-t_{j}t_{i}$ are nilpotent, and specifically that \[ \left[ t_{i},t_{j}\right] ^{\left\lceil \left( n-j\right) /2\right\rceil +1}=0\ \ \ \ \ \ \ \ \ \ \text{for any }i,j\in\left\{ 1,2,\ldots,n\right\} \] and \[ \left[ t_{i},t_{j}\right] ^{j-i+1}=0\ \ \ \ \ \ \ \ \ \ \text{for any }1\leq i\leq j\leq n. \] We discuss some further identities and open questions.
The number of $1$-nearly independent vertex subsets
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. A subset $I$ of $V(G)$ is an independent vertex subset if no two vertices in $I$ are adjacent in $G$. We study the number, $σ_1(G)$, of all subsets of $v(G)$ that contain exactly one pair of adjacent vertices. We call those subsets 1-nearly independent vertex subsets. Recursive formulas of $σ_1$ are provided, as well as some cases of explicit formulas. We prove a tight lower (resp. upper) bound on $σ_1$ for graphs of order $n$. We deduce as a corollary that the star $K_{1,n-1}$ (the tree with degree sequence $(n-1,1,\dots,1)$) is the $n$-vertex tree with smallest $σ_1$, while it is well known that $K_{1,n-1}$ is the $n$-vertex tree with largest number of independent subsets.
Universality for graphs of bounded degeneracy
Published
• View Publication
• BIB
Given a family $\mathcal{H}$ of graphs, a graph $G$ is called $\mathcal{H}$-universal if $G$ contains every graph of $\mathcal{H}$ as a subgraph. Following the extensive research on universal graphs of small size for bounded-degree graphs, Alon asked what is the minimum number of edges that a graph must have to be universal for the class of all $n$-vertex graphs that are $D$-degenerate. In this paper, we answer this question up to a factor that is polylogarithmic in $n.$
Right-angled Artin groups and the cohomology basis graph
Published
• View Publication
• BIB
Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(Γ),\mathbb F)$ over an arbitrary field, we construct a natural graph $Γ_{\mathcal B}$ from the cup product, called the \emph{cohomology basis graph}. We show that $Γ_{\mathcal B}$ always contains $Γ$ as a subgraph. This provides an effective way to reconstruct the defining graph $Γ$ from the cohomology of $A(Γ)$, to characterize the planarity of the defining graph from the algebra of $A(Γ)$, and to recover many other natural graph-theoretic invariants. We also investigate the behavior of the cohomology basis graph under passage to elementary subminors, and show that it is not well-behaved under edge contraction.
The Rational Number Game
Published
• View Publication
• BIB
We investigate a game played between two players, Maker and Breaker, on a countably infinite complete graph where the vertices are the rational numbers. The players alternately claim unclaimed edges. It is Maker's goal to have after countably many turns a complete infinite graph contained in her coloured edges where the vertex set of the subgraph is order-isomorphic to the rationals. It is Breaker's goal to prevent Maker from achieving this. We prove that there is a winning strategy for Maker in this game. We also prove that there is a winning strategy for Breaker in the game where Maker must additionally make the vertex set of her complete graph dense in the rational numbers.
On the triviality of the shocked map
Published
• View Publication
• BIB
The (non-spanning) tree-decorated quadrangulation is a random pair formed by a quadrangulation and a subtree chosen uniformly over the set of pairs with prescribed size. In this paper we study the tree-decorated quadrangulation in the critical regime: when the number of faces of the map, $f$, is proportional to the square of the size of the tree. We show that with high probability in this regime, the diameter of the tree is between $o(f^{1/4})$ and $f^{1/4}/\log^α(f)$, for $α>1$. Thus after scaling the distances by $f^{-1/4}$, the critical tree-decorated quadrangulation converges to a Brownian disk where the boundary has been identified to a point. These results imply the triviality of the shocked map: the metric space generated by gluing a Brownian disk with a continuous random tree.
Combinatorics of pre-Lie products sharing a Lie bracket
We study in detail the operad controlling several pre-Lie algebra structures sharing the same Lie bracket. Specifically, we show that this operad admits a combinatorial description similar to that of Chapoton and Livernet for the pre-Lie operad, and that it has many of the remarkable algebraic properties of the pre-Lie operad.
Distribution of colours in rainbow H-free colourings
An edge colouring of $K_n$ with $k$ colours is a Gallai $k$-colouring if it does not contain any rainbow triangle. Gyárfás, Pálvölgyi, Patkós and Wales proved that there exists a number $g(k)$ such that $n\geq g(k)$ if and only if for any colour distribution sequence $(e_1,\cdots,e_k)$ with $\sum_{i=1}^ke_i=\binom{n}{2}$, there exist a Gallai $k$-colouring of $K_n$ with $e_i$ edges having colour $i$. They also showed that $Ω(k)=g(k)=O(k^2)$ and posed the problem of determining the exact order of magnitude of $g(k)$. Feffer, Fu and Yan improved both bounds significantly by proving $Ω(k^{1.5}/\log k)=g(k)=O(k^{1.5})$. We resolve this problem by showing $g(k)=Θ(k^{1.5}/(\log k)^{0.5})$.
Moreover, we generalise these definitions by considering rainbow $H$-free colourings of $K_n$ for any general graph $H$, and the natural corresponding quantity $g(H,k)$. We prove that $g(H,k)$ is finite for every $k$ if and only if $H$ is not a forest, and determine the order of $g(H,k)$ when $H$ contains a subgraph with minimum degree at least 3.
Flag-Shaped Blockers of 123-Avoiding Permutation Matrices
Published
• View Publication
• BIB
A blocker of $123$-avoiding permutation matrices refers to the set of zeros contained within an $n\times n$ $123$-forcing matrix. Recently, Brualdi and Cao provided a characterization of all minimal blockers, which are blockers with a cardinality of $n$. Building upon their work, a new type of blocker, flag-shaped blockers, which can be seen as a generalization of the $L$-shaped blockers defined by Brualdi and Cao, are introduced. It is demonstrated that all flag-shaped blockers are minimum blockers. The possible cardinalities of flag-shaped blockers are also determined, and the dimensions of subpolytopes that are defined by flag-shaped blockers are examined.
A central limit theorem in the framework of the Thompson group $F$
Published
• View Publication
• BIB
We discuss a central limit theorem in the framework of the group algebra of the Thompson group $F$. We consider the sequence of self-adjoint elements given by $a_n=\frac{g_n+g_n^{*}}{\sqrt{2}}$ in the noncommutative probability space $(\mathbb{C}(F),\varphi)$, where the expectation functional $\varphi$ is the trace associated to the left regular representation of $F$, and the $g_n$-s are the generators of $F$ in its standard infinite presentation. We show that the limit law of the sequence $s_n = \frac{a_0+\cdots+a_{n-1}}{\sqrt{n}}$ is the standard normal distribution.
Equality cases of the Alexandrov--Fenchel inequality are not in the polynomial hierarchy
Published in \Forum Math. Pi 12 (2024), e21 1--38
• View Publication
• BIB
Describing the equality conditions of the Alexandrov--Fenchel inequality has been a major open problem for decades. We prove that in the case of convex polytopes, this description is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. This is the first hardness result for the problem, and is a complexity counterpart of the recent result by Shenfeld and van Handel (arXiv:archive/201104059), which gave a geometric characterization of the equality conditions. The proof involves Stanley's order polytopes and employs poset theoretic technology.
Digraph Branchings and Matrix Determinants
We present a version of the matrix-tree theorem, which relates the determinant of a matrix to sums of weights of arborescences of its directed graph representation. Our treatment allows for non-zero column sums in the parent matrix by adding a root vertex to the usually considered matrix directed graph. We use our result to prove a version of the matrix-forest, or all-minors, theorem, which relates minors of the matrix to forests of arborescences of the matrix digraph. We then show that it is possible, when the source and target vertices of an arc are not strongly connected, to move the source of the arc in the matrix directed graph and leave the resulting matrix determinant unchanged, as long as the source and target vertices are not strongly connected after the move. This result enables graphical strategies for factoring matrix determinants.