Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On $k$-geodetic graphs and groups
Published
• View Publication
• BIB
We call a graph $k$-geodetic, for some $k\geq 1$, if it is connected and between any two vertices there are at most $k$ geodesics. It is shown that any hyperbolic group with a $k$-geodetic Cayley graph is virtually-free. Furthermore, in such a group the centraliser of any infinite order element is an infinite cyclic group. These results were known previously only in the case that $k=1$. A key tool used to develop the theorem is a new graph theoretic result concerning ``ladder-like structures'' in a $k$-geodetic graph.
New High Dimensional Expanders from Covers
Published
• View Publication
• BIB
We present a new construction of high dimensional expanders based on covering spaces of simplicial complexes. High dimensional expanders (HDXs) are hypergraph analogues of expander graphs. They have many uses in theoretical computer science, but unfortunately only few constructions are known which have arbitrarily small local spectral expansion.
We give a randomized algorithm that takes as input a high dimensional expander $X$ (satisfying some mild assumptions). It outputs a sub-complex $Y \subseteq X$ that is a high dimensional expander and has infinitely many simplicial covers. These covers form new families of bounded-degree high dimensional expanders. The sub-complex $Y$ inherits $X$'s underlying graph and its links are sparsifications of the links of $X$. When the size of the links of $X$ is $O(\log |X|)$, this algorithm can be made deterministic. Our algorithm is based on the groups and generating sets discovered by Lubotzky, Samuels and Vishne (2005), that were used to construct the first discovered high dimensional expanders. We show these groups give rise to many more ``randomized'' high dimensional expanders.
In addition, our techniques also give a random sparsification algorithm for high dimensional expanders, that maintains its local spectral properties. This may be of independent interest.
Linear spectral Turan problems for expansions of graphs with given chromatic number
Published in Acta Math. Appl. Sin. Engl. Ser. (2025)
• View Publication
• BIB
An $r$-uniform hypergraph is linear if every two edges intersect in at most one vertex. The $r$-expansion $F^{r}$ of a graph $F$ is the $r$-uniform hypergraph obtained from $F$ by enlarging each edge of $F$ with a vertex subset of size $r-2$ disjoint from the vertex set of $F$ such that distinct edges are enlarged by disjoint subsets. Let $ex_{r}^{lin}(n,F^{r})$ and $spex_{r}^{lin}(n,F^{r})$ be the maximum number of edges and the maximum spectral radius of all $F^{r}$-free linear $r$-uniform hypergraphs with $n$ vertices, respectively. In this paper, we present the sharp (or asymptotic) bounds of $ex_{r}^{lin}( n,F^{r})$ and $spex_{r}^{lin}(n,F^{r})$ by establishing the connection between the spectral radii of linear hypergraphs and those of their shadow graphs, where $F$ is a $(k+1)$-color critical graph or a graph with chromatic number $k$.
Equality on all #CSP Instances Yields Constraint Function Isomorphism via Interpolation and Intertwiners
Published
• View Publication
• BIB
A fundamental result in the study of graph homomorphisms is Lovász's theorem that two graphs are isomorphic if and only if they admit the same number of homomorphisms from every graph. A line of work extending Lovász's result to more general types of graphs was recently capped by Cai and Govorov, who showed that it holds for graphs with vertex and edge weights from an arbitrary field of characteristic 0. In this work, we generalize from graph homomorphism -- a special case of #CSP with a single binary function -- to general #CSP by showing that two sets $\mathcal{F}$ and $\mathcal{G}$ of arbitrary constraint functions are isomorphic if and only if the partition function of any #CSP instance is unchanged when we replace the functions in $\mathcal{F}$ with those in $\mathcal{G}$. We give two very different proofs of this result. First, we demonstrate the power of the simple Vandermonde interpolation technique of Cai and Govorov by extending it to general #CSP. Second, we give a proof using the intertwiners of the automorphism group of a constraint function set, a concept from the representation theory of compact groups. This proof is a generalization of a classical version of the recent proof of the Lovász-type result by Mančinska and Roberson relating quantum isomorphism and homomorphisms from planar graphs.
Limit shapes for skew Howe duality
We study large random partitions boxed into a rectangle and coming from skew Howe duality, or alternatively from dual Schur measures. As the sides of the rectangle go to infinity, we obtain: 1) limit shape results for the profiles generalizing the Vershik--Kerov--Logan--Shepp curve; and 2) universal edge asymptotic results for the first parts in the form of the Tracy--Widom distribution, as well as less-universal critical regime results introduced by Gravner, Tracy and Widom. We do this for a large class of Schur parameters going beyond the Plancherel or principal specializations previously studied in the literature, parametrized by two real valued functions $f$ and $g$. Connections to a Bernoulli model of (last passage) percolation are explored.
Normal-sized hypercuboids in a given hypercube
In a given hypercube, draw grid lines parallel to the edges, and consider all hypercuboids (or hypercubes) whose edges are lying on the grid lines or the boundary. We find the limit of the value of the ratio of the arithmetic mean of the volumes of those hypercuboids (or hypercubes) to the entire volume as the grid spacing becomes smaller.
Approximating the chromatic polynomial is as hard as computing it exactly
Published
• View Publication
• BIB
We show that for any non-real algebraic number $q$ such that $|q-1|>1$ or $\Re(q)>\frac{3}{2}$ it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at $q$ on planar graphs. This implies \textsc{\#P}-hardness for all non-real algebraic $q$ on the family of all graphs. We moreover prove several hardness results for $q$ such that $|q-1|\leq 1$.
Our hardness results are obtained by showing that a polynomial time algorithm for approximately computing the chromatic polynomial of a planar graph at non-real algebraic $q$ (satisfying some properties) leads to a polynomial time algorithm for \emph{exactly} computing it, which is known to be hard by a result of Vertigan. Many of our results extend in fact to the more general partition function of the random cluster model, a well known reparametrization of the Tutte polynomial.
Row-Hamiltonian Latin squares and Falconer varieties
Published in Proc. London Math. Soc. (3) 128 (2024), e12575
• View Publication
• BIB
A \emph{Latin square} is a matrix of symbols such that each symbol occurs exactly once in each row and column. A Latin square $L$ is \emph{row-Hamiltonian} if the permutation induced by each pair of distinct rows of $L$ is a full cycle permutation. Row-Hamiltonian Latin squares are equivalent to perfect $1$-factorisations of complete bipartite graphs. For the first time, we exhibit a family of Latin squares that are row-Hamiltonian and also achieve precisely one of the related properties of being column-Hamiltonian or symbol-Hamiltonian. This family allows us to construct non-trivial, anti-associative, isotopically $L$-closed loop varieties, solving an open problem posed by Falconer in 1970.
The unique coclique extension property for apartments of buildings
Published in Innov. Incidence Geom. 20 (2023) 209-221
• View Publication
• BIB
We show that the Kneser graph of objects of a fixed type in a building of spherical type has the unique coclique extension property when the corresponding representation has minuscule weight and also when the diagram is simply laced and the representation is adjoint.
Asymptotic estimate on the distance energy of lattices
Published in Contributions to Discrete Mathematics, Vol. 20 No. 2 (2025), 422-437
• View Publication
• BIB
Since the well-known breakthrough of L. Guth and N. Katz on the Erdos distinct distances problem in the plane, mainstream of interest is aroused by their method and the Elekes-Sharir framework. In short words, they study the second moment in the framework. One may wonder if higher moments would be more efficient. In this paper, we show that any higher moment fails the expectation. In addition, we show that the second moment gives optimal estimate in higher dimensions.
The codegree Turán density of tight cycles minus one edge
Published
• View Publication
• BIB
Given $α>0$ and an integer $\ell\geq5$, we prove that every sufficiently large $3$-uniform hypergraph $H$ on $n$ vertices in which every two vertices are contained in at least $αn$ edges contains a copy of $C_\ell^{-}$, a tight cycle on $\ell$ vertices minus one edge. This improves a previous result by Balogh, Clemen, and Lidický.
Beyond the broken tetrahedron
Published
• View Publication
• BIB
Here we consider the hypergraph Turán problem in uniformly dense hypergraphs as was suggested by Erdős and Sós. Given a $3$-graph $F$, the uniform Turán density $π_u(F)$ of $F$ is defined as the supremum over all $d\in[0,1]$ for which there is an $F$-free uniformly $d$-dense $3$-graph, where uniformly $d$-dense means that every linearly sized subhypergraph has density at least $d$. Recently, Glebov, Král', and Volec and, independently, Reiher, Rödl, and Schacht proved that $π_u(K_4^{(3)-})=\frac{1}{4}$, solving a conjecture by Erdős and Sós. Despite substantial attention, the uniform Turán density is still only known for very few hypergraphs. In particular, the problem due to Erdős and Sós to determine $π_u(K_4^{(3)})$ remains wide open.
In this work, we determine the uniform Turán density of the $3$-graph on five vertices that is obtained from $K_4^{(3)-}$ by adding an additional vertex whose link forms a matching on the vertices of $K_4^{(3)-}$. Further, we point to two natural intermediate problems on the way to determining $π_u(K_4^{(3)})$, and solve the first of these.
Weighted exchange distance of basis pairs
Two pairs of disjoint bases $\mathbf{P}_1=(R_1,B_1)$ and $\mathbf{P}_2=(R_2,B_2)$ of a matroid $M$ are called equivalent if $\mathbf{P}_1$ can be transformed into $\mathbf{P}_2$ by a series of symmetric exchanges. In 1980, White conjectured that such a sequence always exists whenever $R_1\cup B_1=R_2\cup B_2$. A strengthening of the conjecture was proposed by Hamidoune, stating that minimum length of an exchange is at most the rank of the matroid.
We propose a weighted variant of Hamidoune's conjecture, where the weight of an exchange depends on the weights of the exchanged elements. We prove the conjecture for several matroid classes: strongly base orderable matroids, split matroids, graphic matroids of wheels, and spikes.
The distribution of the number of automorphisms of random trees
Published
• View Publication
• BIB
We study the size of the automorphism group of two different types of random trees: Galton--Watson trees and rooted Pólya trees. In both cases, we prove that it asymptotically follows a log-normal distribution and provide asymptotic formulas for mean and variance of the logarithm of the size of the automorphism group. While the proof for Galton--Watson trees mainly relies on probabilistic arguments and a general result on additive tree functionals, generating functions are used in the case of rooted Pólya trees. We also show how to extend the results to some classes of unrooted trees.
On fractal patterns in Ulam words
Published
• View Publication
• BIB
Ulam words are binary words defined recursively as follows: the length-$1$ Ulam words are $0$ and $1$, and a binary word of length $n$ is Ulam if and only if it is expressible uniquely as a concatenation of two shorter, distinct Ulam words. We discover, fully describe, and prove a surprisingly rich structure already in the set of Ulam words containing exactly two $1$'s. In particular, this leads to a complete description of such words and a logarithmic-time algorithm to determine whether a binary word with two $1$'s is Ulam. Along the way, we uncover delicate parity and biperiodicity properties, as well as sharp bounds on the number of $0$'s outside the two $1$'s. We also show that sets of Ulam words indexed by the number $y$ of $0$'s between the two $1$'s have intricate tensor-based hierarchical structures determined by the arithmetic properties of $y$. This allows us to construct an infinite family of self-similar Ulam-word-based fractals indexed by the set of $2$-adic integers, containing the outward Sierpinski gasket as a special case.
On the expansion constant and distance constrained colourings of hypergraphs
For any two non-negative integers h and k, h > k, an L(h, k)-colouring of a graph G is a colouring of vertices such that adjacent vertices admit colours that at least differ by h and vertices that are two distances apart admit colours that at least differ by k. The smallest positive integer δ such that G permits an L(h, k)-colouring with maximum colour δ is known as the L(h, k)-chromatic number (L(h, k)-colouring number) denoted by λ_{h,k}(G). In this paper, we discuss some interesting invariants in hypergraphs. In fact, we study the relation between the spectral gap and L(2, 1)-chromatic number of hypergraphs. We derive some inequalities which relates L(2, 1)-chromatic number of a k-regular simple graph to its spectral gap and expansion constant. The upper bound of L(h, k)-chromatic number in terms of various hypergraph invariants such as strong chromatic number, strong independent number and maximum degree is obtained. We determine the sharp upper bound for L(2, 1)-chromatic number of hypertrees in terms of its maximum degree. Finally, we conclude this paper with a discussion on L(2, 1)-colouring in cartesian product of some classes of hypergraphs.
Quantum cohomology of the Grassmannian and unitary Dyson Brownian motion
We study a class of commuting Markov kernels whose simplest element describes the movement of $k$ particles on a discrete circle of size $n$ conditioned to not intersect each other. Such Markov kernels are related to the quantum cohomology ring of the Grassmannian, which is an algebraic object counting analytic maps from $\mathbb{P}^1(\mathbb{C})$ to the Grassmannian space of k-dimensional vector subspaces of $\mathbb{C}^n$ with prescribed constraints at some points of $\mathbb{P}^1(\mathbb{C})$. We obtain a Berry-Esseen theorem and a local limit theorem for an arbitrary product of approximately $n^2$ Markov kernels belonging to the above class, when k is fixed. As a byproduct of those results, we derive asymptotic formulas for the quantum cohomology ring of the Grassmannian in terms of the heat kernel on $SU (k)$.
Perfect state transfer in quantum walks on orientable maps
Published
• View Publication
• BIB
A discrete-time quantum walk is the quantum analogue of a Markov chain on a graph. Zhan [J. Algebraic Combin. 53(4):1187-1213, 2020] proposes a model of discrete-time quantum walk whose transition matrix is given by two reflections, using the face and vertex incidence relations of a graph embedded in an orientable surface. We show that the evolution of a general discrete-time quantum walk that consists of two reflections satisfies a Chebyshev recurrence, under a projection. For the vertex-face walk, we prove theorems about perfect state transfer and periodicity and give infinite families of examples where these occur. We bring together tools from algebraic and topological graph theory to analyze the evolution of this walk.
Extremal numbers for cycles in a hypercube
Published
• View Publication
• BIB
Let $ex(Q_n, H)$ be the largest number of edges in a subgraph $G$ of a hypercube $Q_n$ such that there is no subgraph of $G$ isomorphic to $H$. We show that for any integer $k\geq 3$, $$ex(Q_n, C_{4k+2})= O(n^{\frac{5}{6} + \frac{1}{3(2k-2)}} 2^n).$$
Odd Paths, Cycles and $T$-joins: Connections and Algorithms
Published
• View Publication
• BIB
Minimizing the weight of an edge set satisfying parity constraints is a challenging branch of combinatorial optimization as witnessed by the binary hypergraph chapter of Alexander Schrijver's book ``Combinatorial Optimization" (Chapter 80). This area contains relevant graph theory problems including open cases of the Max Cut problem and some multiflow problems. We clarify the interconnections between some of these problems and establish three levels of difficulties. On the one hand, we prove that the Shortest Odd Path problem in undirected graphs without cycles of negative total weight and several related problems are NP-hard, settling a long-standing open question asked by Lovász (Open Problem 27 in Schrijver's book ``Combinatorial Optimization''). On the other hand, we provide an efficient algorithm to the closely related and well-studied Minimum-weight Odd $T$-Join problem for non-negative weights: our algorithm runs in FPT time parameterized by $c$, where $c$ is the number of connected components in some efficiently computed minimum-weight $T$-join. If negative weights are also allowed, then finding a minimum-weight odd $\{s,t\}$-join is equivalent to the Minimum-weight Odd $T$-Join problem for arbitrary weights, whose complexity is still only conjectured to be polynomial-time solvable. The analogous problems for digraphs are also considered.