Showing 20 papers (Total: 81914 papers, 47441 authors in database)
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$.
Arithmetical subword complexity of automatic sequences
We fully classify automatic sequences $a$ over a finite alphabet $Ω$ with the property that each word over $Ω$ appears is $a$ along an arithmetic progression. Using the terminology introduced by Avgustinovich, Fon-Der-Flaass and Frid, these are the automatic sequences with the maximal possible arithmetical subword complexity. More generally, we obtain an asymptotic formula for arithmetical (and even polynomial) subword complexity of a given automatic sequence $a$.
Extensions of MacMahon's sums of divisors
Published
• View Publication
• BIB
In 1920, P. A. MacMahon generalized the (classical) notion of divisor sums by relating it to the theory of partitions of integers. In this paper, we extend the idea of MacMahon. In doing so we reveal a wealth of divisibility theorems and unexpected combinatorial identities. Our initial approach is quite different from MacMahon and involves rational function approximation to MacMahon-type generating functions. One such example involves multiple $q$-harmonic sums $$\sum_{k=1}^n\frac{(-1)^{k-1}\genfrac{[}{]}{0pt}{}{n}{k}_{q}(1+q^k)q^{\binom{k}{2}+tk}}{[k]_q^{2t} \genfrac{[}{]}{0pt}{}{n+k}{k}_{q}}=\sum_{1\leq k_1\leq\cdots\leq k_{2t}\leq n}\frac{q^{n+k_1+k_3\cdots+k_{2t-1}}+q^{k_2+k_4+\cdots+k_{2t}}}{[n+k_1]_q[k_2]_q\cdots[k_{2t}]_q}.$$
A note on a generalized double series
Published
• View Publication
• BIB
By employing contour integration the derivation of a generalized double finite series involving the Hurwitz-Lerch zeta function is used to derive closed form formulae in terms of special functions. We use this procedure to find special cases of the summation and product formulae in terms of the Hurwitz-Lerch zeta function, trigonometric functions and the gamma function.
The Three Tree Theorem
We prove that every 2-sphere graph different from a prism can be vertex 4-colored in such a way that all Kempe chains are forests. This implies the following three tree theorem: the arboricity of a discrete 2-sphere is 3. Moreover, the three trees can be chosen so that each hits every triangle. A consequence is a result of an exercise in the book of Bondy and Murty based on work of A. Frank, A. Gyarfas and C. Nash-Williams: the arboricity of a planar graph is less or equal than 3.
Non-$\ell$-distance-balanced generalized Petersen graphs $GP(n,3)$ and $GP(n,4)$
A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. We prove that the generalized Petersen graph $GP(n,3)$ where $n>16$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,3))$, and $GP(n,4)$ where $n>24$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,4))$. This partially solves a conjecture posed by Š. Miklavič and P. Šparl (Discrete Appl. Math. 244:143-154, 2018).
On the third ABC index of trees and unicyclic graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. The third atom-bond connectivity index, $ABC_3$ index, of $G$ is defined as $ABC_3(G)=\sum\limits_{uv\in E(G)}\sqrt{\frac{e(u)+e(v)-2}{e(u)e(v)}}$, where eccentricity $e(u)$ is the largest distance between $u$ and any other vertex of $G$, namely $e(u)=\max\{d(u,v)|v\in V(G)\}$. This work determines the maximal $ABC_3$ index of unicyclic graphs with any given girth and trees with any given diameter, and characterizes the corresponding graphs.
Boxicity and Interval-Orders: Petersen and the Complements of Line Graphs
Published
• View Publication
• BIB
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs''.
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
Since every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $\mathcal{NP}$-hard: for the existence and optimization of interval-order subgraphs of line-graphs, or of interval-completions of their complement.
The $K^4$-Game
We investigate a two player game called the $K^4$-building game: two players alternately claim edges of an infinite complete graph. Each player's aim is to claim all six edges on some vertex set of size four for themself. The first player to accomplish this goal is declared the winner of the game. We present a winning strategy which guarantees a win for the first player.
A combinatorial view on star moments of regular directed graphs and trees
We investigate the method of moments for $d$-regular digraphs and the limiting $d$-regular directed tree $T_d$ as the number of vertices tends to infinity, in the same spirit as McKay (Linear Algebra Appl., 1981) for the undirected setting. In particular, we provide a combinatorial derivation of the formula for the star moments (from a root vertex $o\in T_d$) $$M_d(w)\qquad:=\sum_{\substack{v_0,v_1\ldots,v_{k-1},v_k\in T_d\\v_0=v_k=o}} A^{w_1}(v_0,v_1)A^{w_2}(v_1,v_2) \cdots A^{w_k}(v_{k-1},v_k)$$ with $A$ the adjacency matrix of $T_d$, where $w:=w_1\cdots w_k$ is any word on the alphabet $\{1,{*}\}$ and $A^*$ is the adjoint matrix of $A$. Our analysis highlights a connection between the non-zero summands of $M_d(w)$ and the non-crossing partitions of $\{1,\ldots,k\}$ which are in some sense compatible with $w$.