Point-transitive Steiner systems S(2,6,111/121/126), S(2,7,169/175)

2025-04-21T07:50:57Z

In this paper new Steiner systems $S(2,6,111)$, $S(2,6,121)$, $S(2,6,126)$, $S(2,7,169)$, $S(2,7,175)$ and possibly others with point-transitive (commutative except $S(2,6,111)$ case) automorphism groups are introduced.

Lower bounds for online size Ramsey numbers for paths

2025-04-21T07:48:03Z

Given two graphs $H_1$ and $H_2$, an online Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round Builder selects an edge and Painter colors it red or blue. Builder is trying to force Painter to create a red copy of $H_1$ or a blue copy of $H_2$ as soon as possible, while Painter's goal is the opposite. The online (size) Ramsey number $\tilde{r}(H_1,H_2)$ is the smallest number of rounds in the game provided Builder and Painter play optimally. Let $v(G)$ be the number of vertices in the graph $G$ and $v_1(G)$ be the number of vertices of degree 1 in $G$. We prove that if $G$ has no isolated vertices, then $\tilde{r}(P_7,G)\ge 8v(G)/5-v_1(G)$, $\tilde{r}(P_8,G)\ge 18v(G)/11-v_1(G)$ and $\tilde{r}(P_9,G)\ge 5v(G)/3-v_1(G)$. In particular $\tilde{r}(P_9,P_n)\ge 5n/3-2,$ which with known upper bound implies $\lim_{n\to\infty} \tilde{r}(P_9,P_n)/n=5/3.$ We also show that for any fixed $k$, $\lim_{n\to\infty} \tilde{r}(P_k,P_n)/n$ exists.

Diameter Constraints in 2-distance Graphs

2025-04-21T07:41:55Z

For any finite, simple graph $G = (V,E)$, its $2$-distance graph $G_2$ is a graph having the same vertex set $V$ where two vertices are adjacent if and only if their distance is $2$ in $G$. Connectivity and diameter properties of these graphs have been well studied. For example, it has been shown that if ${\rm diam}(G) = k \geq 3$ then $\lceil \frac{1}{2} k \rceil \leq {\rm diam}(G_2)$, and that this bound is sharp. In this paper, we prove that ${\rm diam}(G_2) = \infty$ (that is, $G_2$ is disconnected) or otherwise ${\rm diam}(G_2) \leq k + 2$. In addition, we show that this inequality is sharp for any even $k$, a result that we verify for some higher orders through judicious use of a \textsc{sat} solver.

Sombor Spectrum of Super Graphs defined on groups

2025-04-21T07:34:07Z

Given a simple graph $A$ on a group $G$ and an equivalence relation $B$ on $G$, the $B$ super $A$ graph is defined as a simple graph, whose vertex set is $G$ and two vertices $g$, $h$ are adjacent if either they are in the same equivalence class or there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$ such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. In the literature, the $B$ super $A$ graphs have been investigated by considering $A$ to be either power graph, enhanced power graph, or commuting graph and $B$ to be an equality, order or conjugacy relation. In this paper, we investigate the Sombor spectrums of these $B$ super $A$ graphs for certain non-abelian groups, viz. the dihedral group, generalized quaternion group and the semidihedral group, respectively.

On minimal nonperfectly divisible fork-free graphs

2025-04-21T05:08:16Z

A fork is a graph obtained from $K_{1,3}$ (usually called claw) by subdividing an edge once. A graph is perfectly divisible if for each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $\omega(H[B]) < \omega(H)$. In this paper, we prove that the perfect divisibility of fork-free graphs is equivalent to that of claw-free graphs. We also prove that, for $F\in \{P_7, P_6\cup K_1\}$, each (fork, $F$)-free graph $G$ is perfectly divisible and hence $\chi(G)\leq \binom{\omega(G)+1}{2}$.

On Refined Vogel's universality

2025-04-21T05:05:30Z

In accordance with P. Vogel, a set of algebra structures in Chern-Simons theory can be made universal, independent of a particular family of simple Lie algebras. In particular, this means that various quantities in the adjoint representations of these simple Lie algebras such as dimensions and quantum dimensions, Racah coefficients, etc. are simple rational functions of two parameters on Vogel's plane, giving three lines associated with $sl$, $so/sp$ and exceptional algebras correspondingly. By analyzing the partition function of refined of Chern-Simons theory, it was suggested earlier that the refinement may preserve the universality for simply laced algebras. Here we support this conjecture by analysing the Macdonald dimensions, i.e. values of Macdonald polynomials at $q^\rho$, where $\rho$ is the Weyl vector: there is a universality formula that describes these dimensions for the simply laced algebras as a function on the Vogel's plane.

Realizing trees of configurations in thin sets

2025-04-21T03:51:55Z

Let $\phi(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $\alpha>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^{\phi}f(x)=\int_{\phi(x,y)=t} f(y) \psi(y) d\sigma_{x,t}(y) \end{equation} map $L^2({\mathbb R}^d) \to L^2_{\alpha}({\mathbb R}^d)$ for all $t>0$. Let $E$ be a compact subset of ${\mathbb R}^d$ for some $d \ge 2$, and suppose that the Hausdorff dimension of $E$ is $>d-\alpha$. We show that any tree graph $T$ on $k+1$ ($k \ge 1$) vertices is \new{stably} realizable in $E$, in the sense that \new{for each $t$ in some open interval} there exist distinct $x^1, x^2, \dots, x^{k+1} \in E$ %and $t>0$ such that the $\phi$-distance $\phi(x^i, x^j)=t$ for all pairs $(i,j)$ corresponding to the edges of $T$. We extend this result to trees whose edges are prescribed by more complicated point configurations, such as congruence classes of triangles.

Classification of silted algebras for two quivers of Dynkin type $\mathbb{A}_{n}$

2025-04-21T01:22:01Z

In this paper, we give a complete classification of silted algebras for the quiver $\overrightarrow{\mathbb{A}}_{n}$ of type $\mathbb{A}_{n}$ with linear orientation and for the quiver obtained from $\overrightarrow{\mathbb{A}}_{n}$ by reversing the arrow at the unique source. Based on the classification, we also compute the number of silted algebras for these two quivers.

A skew Specht perspective of RoCK blocks and cuspidal systems for KLR algebras in affine type A

2025-04-21T01:10:53Z

Cuspidal systems parameterize KLR algebra representations via root partitions $\pi$, where simple modules $L(\pi)$ arise as heads of proper standard modules. Working in affine type A with an arbitrary convex preorder, we construct explicit skew diagrams $\zeta(\pi)$ such that the skew Specht module $S^{\zeta(\pi)}$ has simple head $L(\pi)$ and a filtration by proper standard modules. A key ingredient in this construction is the development of `core-truncation' functors, which take module categories of level one RoCK blocks to the category of imaginary semicuspidal KLR modules. Every simple imaginary semicuspidal module arises in the image of these functors. This result stems from an in-depth study of the combinatorial interplay between cuspidal systems and RoCK cyclotomic KLR algebras, in which we characterize core blocks and RoCK blocks in arbitrary level via cuspidal tiling properties of multipartitions in these blocks.

Fundamental Groups of Hamming Graphs

2025-04-20T23:00:16Z

Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a homotopy category, a fundamental group for graphs under this homotopy, and a way of computing covers of graphs that lift homotopy via this fundamental group. In this paper, we compute the fundamental groups of all Hamming graphs, show that they are direct products of cyclic groups, and use this result to describe some $\times$-homotopy covers of Hamming graphs.

Triangulated spheres with holes in triangulated surfaces

2025-04-20T22:04:53Z

Let $\mathbb{S}_h$ denote a sphere with $h$ holes. Given a triangulation $G$ of a surface $\mathbb{M}$, we consider the question of when $G$ contains a spanning subgraph $H$ such that $H$ is a triangulated $\mathbb{S}_h$. We give a new short proof of a theorem of Nevo and Tarabykin that every triangulation $G$ of the torus contains a spanning subgraph which is a triangulated cylinder. For arbitrary surfaces, we prove that every high facewidth triangulation of a surface with $h$ handles contains a spanning subgraph which is a triangulated $\mathbb{S}_{2h}$. We also prove that for every $0 \leq g' < g$ and $w \in \mathbb{N}$, there exists a triangulation of facewidth at least $w$ of a surface of Euler genus $g$ that does not have a spanning subgraph which is a triangulated $\mathbb{S}_{g'}$. Our results are motivated by, and have applications for, rigidity questions in the plane.

Avoidance of vincular patterns by flattened derangements

2025-04-20T19:01:51Z

In this paper, we consider the problem of avoiding a single vincular pattern of length three by derangements in the flattened sense and find explicit formulas for the generating functions enumerating members of each corresponding avoidance class according to the number of cycles. We make frequent use of the kernel method in solving the functional equations that arise which are satisfied by these (ordinary) generating functions. In the case of avoiding 23-1, which is equivalent to 32-1 in the flattened sense, it is more convenient to consider the exponential generating function instead due to the form of the recurrence. This leads to an explicit expression for the distribution of the number of cycles in terms of Stirling numbers of the second kind and the determinant of a certain tridiagonal matrix. Finally, the cases of 3-12 and 3-21 are perhaps the most difficult of all, and here we make use of a pair of auxiliary statistics in order to find a system of recurrences that enumerate each avoidance class.

Results and Problems on Equitable Coloring of Graphs

2025-04-20T18:56:19Z

A proper coloring of vertices of a graph is equitable if the sizes of any two color classes differ by at most 1. Such colorings have many applications and are interesting by themselves. In this paper, we discuss the state of art and unsolved problems on equitable coloring and its list versions.

On combinatorial properties of Gruenberg--Kegel graphs of finite groups

2025-04-20T18:45:45Z

If $G$ is a finite group, then the spectrum $\omega(G)$ is the set of all element orders of $G$. The prime spectrum $\pi(G)$ is the set of all primes belonging to $\omega(G)$. A simple graph $\Gamma(G)$ whose vertex set is $\pi(G)$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if $rs \in \omega(G)$ is called the Gruenberg-Kegel graph or the prime graph of $G$. In this paper, we prove that if $G$ is a group of even order, then the set of vertices which are non-adjacent to $2$ in $\Gamma(G)$ form a union of cliques. Moreover, we decide when a strongly regular graph is isomorphic to the Gruenberg-Kegel graph of a finite group. Besides this, we prove that a complete bipartite graph with each part of size at least $3$ can not be isomorphic to the Gruenberg-Kegel graph of a finite group.

Equidistribution in 2-Nilpotent Polish Groups and triple restricted sumsets

2025-04-20T17:23:47Z

The aim of this paper is to establish a Ratner-type equidistribution theorem for orbits on homogeneous spaces associated with $2$-nilpotent locally compact Polish groups under the action of a countable discrete abelian group. We apply this result to establish the existence of triple restricted sumsets in subsets of positive density in arbitrary countable discrete abelian groups, subject to a necessary finiteness condition.