Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Bipartite Friends and Strangers Walking on Bipartite Graphs
Published
• View Publication
• BIB
Given $n$-vertex simple graphs $X$ and $Y$, the friends-and-strangers graph $\mathsf{FS}(X, Y)$ has as its vertices all $n!$ bijections from $V(X)$ to $V(Y)$, where two bijections are adjacent if and only if they differ on two adjacent elements of $V(X)$ whose mappings are adjacent in $Y$. We consider the setting where $X$ and $Y$ are both edge-subgraphs of $K_{r,r}$: due to a parity obstruction, $\mathsf{FS}(X,Y)$ is always disconnected in this setting. Modestly improving a result of Bangachev, we show that if $X$ and $Y$ respectively have minimum degrees $δ(X)$ and $δ(Y)$ and they satisfy $δ(X) + δ(Y) \geq \lfloor 3r/2 \rfloor + 1$, then $\mathsf{FS}(X,Y)$ has exactly two connected components. This proves that the cutoff for $\mathsf{FS}(X,Y)$ to avoid isolated vertices is equal to the cutoff for $\mathsf{FS}(X,Y)$ to have exactly two connected components. We also consider a probabilistic setup in which we fix $Y$ to be $K_{r,r}$, but randomly generate $X$ by including each edge in $K_{r,r}$ independently with probability $p$. Invoking a result of Zhu, we exhibit a phase transition phenomenon with threshold function $(\log r)/r$: below the threshold, $\mathsf{FS}(X,Y)$ has more than two connected components with high probability, while above the threshold, $\mathsf{FS}(X,Y)$ has exactly two connected components with high probability. Altogether, our results settle a conjecture and completely answer two problems of Alon, Defant, and Kravitz.
The complexity of solving a system of equations of the same degree
Many systems of interest in cryptography consist of equations of the same degree. Under the assumption that the degree of regularity is finite, we prove upper bounds on the degree of regularity of a system of equations of the same degree, with or without adding the field equations to the system. The bounds translate into upper bounds on the solving degree of the systems, and hence on the complexity of solving them via Gröbner bases methods. Our bounds depend on the number of equations in the system, the number of variables, and the degree of the equations.
On generalized corners and matrix multiplication
Suppose that $S \subseteq [n]^2$ contains no three points of the form $(x,y), (x,y+δ), (x+δ,y')$, where $δ\neq 0$. How big can $S$ be? Trivially, $n \le |S| \le n^2$. Slight improvements on these bounds are obtained from Shkredov's upper bound for the corners problem [Shk06], which shows that $|S| \le O(n^2/(\log \log n)^c)$ for some small $c > 0$, and a construction due to Petrov [Pet23], which shows that $|S| \ge Ω(n \log n/\sqrt{\log \log n})$.
Could it be that for all $\varepsilon > 0$, $|S| \le O(n^{1+\varepsilon})$? We show that if so, this would rule out obtaining $ω= 2$ using a large family of abelian groups in the group-theoretic framework of Cohn, Kleinberg, Szegedy and Umans [CU03,CKSU05] (which is known to capture the best bounds on $ω$ to date), for which no barriers are currently known. Furthermore, an upper bound of $O(n^{4/3 - \varepsilon})$ for any fixed $\varepsilon > 0$ would rule out a conjectured approach to obtain $ω= 2$ of [CKSU05]. Along the way, we encounter several problems that have much stronger constraints and that would already have these implications.
Sums of products of binomial coefficients mod 2 and 2-regular sequences
Wu showed that certain sums of products of binomial coefficients modulo 2 are given by the run length transforms of several famous linear recurrence sequences, such as the positive integers, the Fibonacci numbers, the extended Lucas numbers, and Narayana's cows sequence. In this paper we show that the run length transform of such sequences are 2-regular sequences. This allows us to obtain Wu's results and some new ones using the computer program Walnut, eliminating the need for long technical proofs.
Three new $q$-Abel transformations and their applications
In the present paper, we establish three special $q$-Abel transformation formulae of $q$-series via the use of Abel's lemma on summation by parts. As direct applications, we set up the corresponding $q$-contiguous relations for three kinds of truncated $q$-series. Several new transformations are consequently established.
The Scarf complex and betti numbers of powers of extremal ideals
Published
• View Publication
• BIB
This paper is concerned with finding bounds on betti numbers and describing combinatorially and topologically (minimal) free resolutions of powers of ideals generated by a fixed number $q$ of square-free monomials. Among such ideals, we focus on a specific ideal $\mathcal{E}_q$, which we call {\it extremal}, and which has the property that for each $r\ge 1$ the betti numbers of ${\mathcal{E}_q}^r$ are an upper bound for the betti numbers of $I^r$ for any ideal $I$ generated by $q$ square-free monomials (in any number of variables). We study the Scarf complex of the ideals ${\mathcal{E}_q}^r$ and use this simplicial complex to extract information on minimal free resolutions. In particular, we show that ${\mathcal{E}_q}^r$ has a minimal free resolution supported on its Scarf complex when $q\leq 4$ or when $r\leq 2$, and we describe explicitly this complex. For any $q$ and $r$, we also show that $β_1({\mathcal{E}_q}^r)$ is the smallest possible, or in other words equal to the number of edges in the Scarf complex. These results lead to effective bounds on the betti numbers of $I^r$, with $I$ as above. For example, we obtain that pd$(I^r)\leq 5$ for all ideals $I$ generated by $4$ square-free monomials and any $r\geq 1$.
The Rhodes semilattice of a biased graph
Published
• View Publication
• BIB
We reinterpret the Rhodes semilattices $R_n(\mathfrak{G})$ of a group $\mathfrak{G}$ in terms of gain graphs and generalize them to all gain graphs, both as sets of partition-potential pairs and as sets of subgraphs, and for the latter, further to biased graphs. Based on this we propose four different natural lattices in which the Rhodes semilattices and its generalizations are order ideals.
Resistance distance in $k$-coalescence of certain graphs
Any graph can be considered as a network of resistors, each of which has a resistance of $1 Ω.$ The resistance distance $r_{ij}$ between a pair of vertices $i$ and $j$ in a graph is defined as the effective resistance between $i$ and $j$. This article deals with the resistance distance in the $k$-coalescence of complete graphs. We also present its results in connection with the Kemeny's constant, Kirchhoff index, additive degree-Kirchhoff index, multiplicative degree-Kirchhoff index and mixed degree-Kirchhoff index. Moreover, we obtain the resistance distance in the $k$-coalescence of a complete graph with particular graphs. As an application, we provide the resistance distance of certain graphs such as the vertex coalescence of a complete bipartite graph with a complete graph, a complete bipartite graph with a star graph, the windmill graph, pineapple graph, etc.
Toroidal Hitomezashi Patterns
Published
• View Publication
• BIB
Extending a proposal of Defant and Kravitz [Discrete Mathematics, \textbf{1}, 347 (2024)], we define Hitomezashi patterns and loops on a torus and provide several structural results for such loops. For a given pattern, our main theorems give optimal residual information regarding the Hitomezashi loop length, loop count, as well as possible homology classes of such loops. Special attention is paid to toroidal Hitomezashi patterns that are symmetric with respect to the diagonal $x = y$, where we establish a novel connection between Hitomezashi and knot theory.
On the size of the Schur multiplier of finite groups
Published in J. Algebra Volume 668, 420-446(2025)
• View Publication
• BIB
We obtain bounds for the size of the Schur multiplier of finite $p$-groups and finite groups, which improve all existing bounds. Moreover, we obtain bounds for the size of the second cohomology group $H^2(G,\mathbb{Z}/p\mathbb{Z})$ of a $p$-group with coefficients in $\mathbb{Z}/p\mathbb{Z}$. Denoting the minimal number of generators of a $p$-group $G$ by $d(G)$, our bound depends on the parameters $|G|=p^n$, $|γ_2G|=p^k$, $d(G)=d$, $d(G/Z)=δ$ and $d(γ_2G/γ_3G)=k'$. For special $p$-groups, we further improve our bound when $δ-1 > k'$. Moreover, given natural numbers $d$, $δ$, $k$ and $k'$ satisfying $k=k'$ and $δ-1 \leq k'$, we construct a capable $p$-group $H$ of nilpotency class two and exponent $p$ such that the size of the Schur multiplier attains our bound.
On Minimizing the Energy of a Spherical Graph Representation
Published
• View Publication
• BIB
Graph representations are the generalization of geometric graph drawings from the plane to higher dimensions. A method introduced by Tutte to optimize properties of graph drawings is to minimize their energy. We explore this minimization for spherical graph representations, where the vertices lie on a unit sphere such that the origin is their barycentre. We present a primal and dual semidefinite program which can be used to find such a spherical graph representation minimizing the energy. We denote the optimal value of this program by $ρ(G)$ for a given graph $G$. The value turns out to be related to the second largest eigenvalue of the adjacency matrix of $G$, which we denote by $λ_2$. We show that for $G$ regular, $ρ(G) \leq \frac{λ_{2}}{2} \cdot v(G)$, and that equality holds if and only if the $λ_{2}$ eigenspace contains a spherical 1-design. Moreover, if $G$ is a random $d$-regular graph, $ρ(G)=\left(\sqrt{(d-1)} +o(1)\right)\cdot v(G)$, asymptotically almost surely.
The characteristic polynomials of uniform hypercycles with length four
Published
• View Publication
• BIB
Let $C_{m}$ be a cycle with length $m.$ The $k$-uniform hypercycle with length $m$ obtained by adding $k-2$ new vertices in every edge of $C_{m},$ denoted by $C_{m,k}.$ In this paper, we obtain some trace formulas of uniform hypercycles with length four. Moreover, we give the characteristic polynomials of uniform hypercycles with length four.
What is a $p$-adic Dyson Brownian motion?
Published
• View Publication
• BIB
We consider the singular numbers of a certain explicit continuous-time Markov jump process on $\mathrm{GL}_N(\mathbb{Q}_p)$, which we argue gives the closest $p$-adic analogue of multiplicative Dyson Brownian motion. We do so by explicitly classifying the possible dynamics of singular numbers of processes on $\mathrm{GL}_N(\mathbb{Q}_p)$ satisfying natural properties possessed by Brownian motion on $\mathrm{GL}_N(\mathbb{C})$. Computing the evolution of singular numbers explicitly, we find that the $N$-tuple of singular numbers in decreasing order evolves as a Poisson jump process on $\mathbb{Z}^N$, with ordering enforced by reflection off the walls of the positive type $A$ Weyl chamber. This contrasts with -- and provides a $p$-adic analogue to -- the behavior of classical Dyson Brownian motion, where ordering is enforced by conditioning to avoid the Weyl chamber walls.
Non-Clashing Teaching Maps for Balls in Graphs
Recently, Kirkpatrick et al. [ALT 2019] and Fallat et al. [JMLR 2023] introduced non-clashing teaching and showed it is the most efficient machine teaching model satisfying the Goldman-Mathias collusion-avoidance criterion. A teaching map $T$ for a concept class $\mathcal{C}$ assigns a (teaching) set $T(C)$ of examples to each concept $C \in \mathcal{C}$. A teaching map is non-clashing if no pair of concepts are consistent with the union of their teaching sets. The size of a non-clashing teaching map (NCTM) $T$ is the maximum size of a teaching set $T(C)$, $C \in \mathcal{C}$. The non-clashing teaching dimension NCTD$(\mathcal{C})$ of $\mathcal{C}$ is the minimum size of an NCTM for $\mathcal{C}$. NCTM$^+$ and NCTD$^+(\mathcal{C})$ are defined analogously, except the teacher may only use positive examples.
We study NCTMs and NCTM$^+$s for the concept class $\mathcal{B}(G)$ consisting of all balls of a graph $G$. We show that the associated decision problem B-NCTD$^+$ for NCTD$^+$ is NP-complete in split, co-bipartite, and bipartite graphs. Surprisingly, we even prove that, unless the ETH fails, B-NCTD$^+$ does not admit an algorithm running in time $2^{2^{o(\text{vc})}}\cdot n^{O(1)}$, nor a kernelization algorithm outputting a kernel with $2^{o(\text{vc})}$ vertices, where vc is the vertex cover number of $G$. We complement these lower bounds with matching upper bounds. These are extremely rare results: it is only the second problem in NP to admit such a tight double-exponential lower bound parameterized by vc, and only one of very few problems to admit such an ETH-based conditional lower bound on the number of vertices in a kernel. For trees, interval graphs, cycles, and trees of cycles, we derive NCTM$^+$s or NCTMs for $\mathcal{B}(G)$ of size proportional to its VC-dimension, and for Gromov-hyperbolic graphs, we design an approximate NCTM$^+$ of size 2.
Separable elements and splittings in Weyl groups of Type $B$
Published
• View Publication
• BIB
Separable elements in Weyl groups are generalizations of the well-known class of separable permutations in symmetric groups. Gaetz and Gao showed that for any pair $(X,Y)$ of subsets of the symmetric group $\mathfrak{S}_n$, the multiplication map $X\times Y\rightarrow \mathfrak{S}_n$ is a splitting (i.e., a length-additive bijection) of $\mathfrak{S}_n$ if and only if $X$ is the generalized quotient of $Y$ and $Y$ is a principal lower order ideal in the right weak order generated by a separable element. They conjectured this result can be extended to all finite Weyl groups. In this paper, we classify all separable and minimal non-separable signed permutations in terms of forbidden patterns and confirm the conjecture of Gaetz and Gao for Weyl groups of type $B$.
How I got to like graph polynomials
Published
• View Publication
• BIB
For Boris Zilber on his 75th birthday.
I trace the roots of my collaboration with Boris Zilber, which combines categoricity theory, finite model theory, algorithmics, and combinatorics.
MCMC Sampling of Directed Flag Complexes with Fixed Undirected Graphs
Published
• View Publication
• BIB
Constructing null models to test the significance of extracted information is a crucial step in data analysis. In this work, we provide a uniformly sampleable null model of directed graphs with the same (or similar) number of simplices in the flag complex, with the restriction of retaining the underlying undirected graph. We describe an MCMC-based algorithm to sample from this null model and statistically investigate the mixing behaviour. This is paired with a high-performance, Rust-based, publicly available implementation. The motivation comes from topological data analysis of connectomes in neuroscience. In particular, we answer the fundamental question: are the high Betti numbers observed in the investigated graphs evidence of an interesting topology, or are they merely a byproduct of the high numbers of simplices? Indeed, by applying our new tool on the connectome of C. Elegans and parts of the statistical reconstructions of the Blue Brain Project, we find that the Betti numbers observed are considerable statistical outliers with respect to this new null model. We thus, for the first time, statistically confirm that topological data analysis in microscale connectome research is extracting statistically meaningful information.
Kemeny's constant and enumerating Braess edges in trees
Published
• View Publication
• BIB
We study the problem of enumerating Braess edges for Kemeny's constant in trees. We obtain bounds and asympotic results for the number of Braess edges in some families of trees.
Maximal Cliques in Scale-Free Random Graphs
Published in Net Sci 12 (2024) 366-391
• View Publication
• BIB
We investigate the number of maximal cliques, i.e., cliques that are not contained in any larger clique, in three network models: Erdős-Rényi random graphs, inhomogeneous random graphs (also called Chung-Lu graphs), and geometric inhomogeneous random graphs. For sparse and not-too-dense Erdős-Rényi graphs, we give linear and polynomial upper bounds on the number of maximal cliques. For the dense regime, we give super-polynomial and even exponential lower bounds. Although (geometric) inhomogeneous random graphs are sparse, we give super-polynomial lower bounds for these models. This comes from the fact that these graphs have a power-law degree distribution, which leads to a dense subgraph in which we find many maximal cliques. These lower bounds seem to contradict previous empirical evidence that (geometric) inhomogeneous random graphs have only few maximal cliques. We resolve this contradiction by providing experiments indicating that, even for large networks, the linear lower-order terms dominate, before the super-polynomial asymptotic behavior kicks in only for networks of extreme size.
Counting triangles in regular graphs
Published
• View Publication
• BIB
In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andrásfai-Erdős-Sós Theorem has established that $t(n,k)>0$ if $k>\frac{2n}{5}$. In a striking work, Lo has provided the exact value of $t(n,k)$ for sufficiently large $n$, given that $\frac{2n}{5}+\frac{12\sqrt{n}}{5}<k<\frac{n}{2}$. Here, we bridge the gap between the aforementioned results by determining the precise value of $t(n,k)$ in the entire range $\frac{2n}{5}<k<\frac{n}{2}$. This confirms a conjecture of Cambie, de Joannis de Verclos, and Kang for sufficiently large $n$.