Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Endomorphism and automorphism graphs of finite groups
Let $G$ be a group. The directed endomorphism graph, $\dend(G)$ of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex $a$ to the vertex $b$ if $a \neq b$ and there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, $\uend(G)$ is the corresponding undirected simple graph. The automorphism graph of $G$ is similarly defined for automorphisms: it is a disjoint union of complete graphs on the orbits of $\Aut(G)$. The endomorphism digraph is a special case of a digraph associated with a transformation monoid, and we begin by introducing this. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on, as well as computing these graphs for some special groups. We conclude with examples showing that things are not always simple.
Asymmetric Ramsey numbers of trees
Let $n\geqν$, let $T$ be an $n$-vertex tree with bipartition class sizes $t_1\geq t_2$, and let $S$ be a $ν$-vertex tree with bipartition class sizes $τ_1\geqτ_2$. Using four natural constructions, we show that the Ramsey number $R(T,S)$ is lower bounded by $\underline{R}(T,S)=\max\{n+τ_2,ν+\min\{t_2,ν\},\min\{2t_1,2ν\},2τ_1\}-1$.
Our main result shows that there exists a constant $c>0$, such that for all sufficiently large integers $n\geqν$, if (i) $Δ(T)\leq cn/\log n$ and $Δ(S)\leq cν/\logν$, (ii) $τ_2\geq t_2$, and (iii) $ν\geq t_1$, then $R(T,S)=\underline{R}(T,S)$. In particular, this determines the exact Ramsey numbers for a large family of pairs of trees. We also provide examples showing that $R(T,S)$ can exceed $\underline{R}(T,S)$ if any one of the three assumptions (i), (ii), and (iii) is removed.
Symmetries of p-polygons
Published
• View Publication
• BIB
In addition to general considerations, the present work includes the enumeration of the equivalence-classes of p-polygons with p vertices for p bigger than 3 with certain symmetry properties: 1. We count the equivalence-classes of p-polygons with p symmetry axes, the so called regular polygons. 2. We count the equivalence-classes of p-polygons with exactly one axis of symmetry. 3. We count the equivalence-classes of p-polygons with no axis of symmetry, the so called asymmetrical p-polygons. For p = 5 and p = 7 we show in all three cases a set of representatifs of the equivalenceclasses.
Generalized ovals, 2.5-dimensional additive codes, and multispreads
We present constructions and bounds for additive codes over a finite field in terms of their geometric counterpart, i.e., projective systems. It is known that the maximum number of $(h-1)$-spaces in PG$(2,q)$, such that no hyperplane contains three, is given by $q^h+1$ if $q$ is odd. Those geometric objects are called generalized ovals. We show that cardinality $q^h+2$ is possible if we decrease the dimension a bit. We completely determine the minimum possible lengths of additive codes over GF$(9)$ of dimension $2.5$ and give improved constructions for other small parameters, including codes outperforming the best linear codes. As an application, we consider multispreads in PG$(4,q)$, in particular, completing the characterization of parameters of GF$(4)$-linear $64$-ary one-weight codes.
Keywords: additive code, projective system, generalized oval, multispread, one-weight code, two-weight code
Cutting a Pancake with an Exotic Knife
In the first chapter of their classic book "Concrete Mathematics", Graham, Knuth, and Patashnik consider the maximum number of pieces that can be obtained from a pancake by making n cuts with a knife blade that is straight, or bent into a V, or bent twice into a Z. We extend their work by considering knives, or "cookie-cutters", of even more exotic shapes, including a k-armed V, a chain of k connected line segments, a long-legged version of one of the letters A, E, H, L, M, T, W, or X, a convex polygon, a circle, a phi, a figure 8, a pentagram, a hexagram, or a lollipop. In many cases a counting argument combined with Euler's formula produces an explicit expression for the maximum number of pieces. "Constrained" versions of the long-legged letters A and T are also considered, for which we have only conjectural formulas.
On fractional triangle decompositions of random graphs
We prove that with high probability $G(n,p)$ with $p \geq n^{-4/11 + o(1)}$ admits a fractional triangle decomposition (FTD), i.e., a nonnegative weighting of its triangles such that for each edge, the total weight of the triangles containing it equals one. This improves on the state of the art, due to Delcourt, Kelly, and Postle, that $p \geq n^{-1/3+o(1)}$ suffices.
The proof is algorithmic: Given $G \sim G(n,p)$, we first construct an approximate FTD by taking a uniform weighting of the triangles. We then use specialized gadgets to iteratively shift weights and obtain successively better approximations of an FTD.
A Dirichlet Generating Function for the Coefficients of Euler's Pentagonal Number Theorem
We establish an integral representation for the Dirichlet generating function of the coefficients of Euler's pentagonal number theorem. The Bromwich-type integral enables analytic continuation to the entire complex plane, filling a gap in the literature and providing a new framework for studying the sequence's analytic structure. Furthermore, we derive the asymptotic behavior as the variable tends to negative infinity, and give integral representations for the Euler function $φ(q)$ and the Dedekind eta function $η(τ)$. Moreover, we obtain an explicit formula for the Dirichlet generating function at each positive integer, expressed as a finite sum.
On the gradient of a monomial ideal
Let $K$ be a field of characteristic zero, let $I \subset S = K[x_1,\dots,x_n]$ be a homogeneous ideal, and let $\partial(I)$ be its gradient ideal. We study the relationship between $\mathrm{reg}\,I$ and $\mathrm{reg}\,\partial(I)$. While earlier work by Busé, Dimca, Schenck, and Sticlaru showed these regularities are generally incomparable for hypersurface ideals, we prove they remain incomparable even for monomial ideals with linear resolution, answering a question of J. Herzog. In fact, for any integers $a \in \mathbb{Z}$ and $b \ge - 1$, we construct monomial ideals $I$ and $J$ such that $\mathrm{reg}\,I - \mathrm{reg}\,\partial(I) = a$, $\mathrm{reg}\,\partial(J) - \mathrm{reg}\,J = b$ and $J$ has linear resolution. We introduce monomial ideals with differential linear resolution as those monomial ideals whose all iterated gradient ideals have linear resolution. We prove that polymatroidal ideals, equigenerated (strongly) stable ideals, powers of edge ideals with linear resolution, complementary edge ideals with linear resolution, and certain equigenerated squarefree monomial ideals with many generators satisfy this property.
Incidence estimates for quasi-product sets and applications
We use recent advances in the theory of Furstenberg sets to prove new incidence results of Szemerédi--Trotter strength for $δ$-discretized structures with Cartesian product flavor. We use these results to make progress on a number of problems that include energy estimates and Fourier decay of fractal measures supported on curves, as well as various sum-product-like results governed by fractal dimension.
Schubert Polynomials and Elementary Symmetric Products
We study the factorization of Schubert polynomials into elementary symmetric polynomials. We conjecture that this occurs when the permutation corresponding to the Schubert polynomial does not contain the patterns $1432$, $1423$, $4132$, and $3142$. We prove one direction of this and provide progress towards the second direction, including obstructions arising from permutations with a rectangular array of crosses in their bottom pipe dream. This characterization helps us identify new ties between elementary symmetric polynomials and Schubert polynomials. It contributes to the broader understanding of pattern avoidance phenomena in algebraic combinatorics.
Spectral extremal graphs for $F_6$-free graphs with even size
Let $F_l$ be the fan graph obtained by joining a vertex with a path on $l-1$ vertices. Yu, Li and Peng [Discrete Math. 346 (2023)] conjectured that if the number of edges of $G$ is $m$ and the spectral radius $λ(G)>\frac{k-1+\sqrt{4m-k^2+1}}{2}$, then $G$ contains a $F_{2k+1}$ and $F_{2k+2}$, unless $G=K_{k}\vee (\frac{m}{k}-\frac{k-1}{2})K_1$. The case $k\geq 3$ of the above conjecture has been confirmed by Li, Zhao and Zou [J. Graph theory 110 (2025)]. Zhang and Wang [Discrete Math. 347 (2024)], Yu, Li and Peng [Discrete Math. 348 (2025)], Gao and Li [Discrete Math. 349 (2026)] confirmed the case $k=2$. However, the extremal graphs for the case $k=2$ only exist when $m$ is odd. The case with $m$ even has not been determined. In this paper, we characterize the extremal graph for $F_6$ and even $m\ge 3000$.
On the number of small edge-weighted subgraphs
Subgraph counting is a fundamental task that underpins several network analysis methodologies, including community detection and graph two-sample tests. Counting subgraphs is a computationally intensive problem. Substantial research has focused on developing efficient algorithms and strategies to make it feasible for larger unweighted graphs. Implementing those algorithms can be a significant hurdle for data professionals or researchers with limited expertise in algorithmic principles and programming. Furthermore, many real-world networks are weighted. Computing the number of weighted subgraphs in weighted networks presents a computational challenge, as no efficient algorithm exists for the worst-case scenario. In this paper, we derive explicit formulas for counting small edge-weighted subgraphs using the weighted adjacency matrix. These formulas are applicable to unweighted networks, offering a simple and highly practical analytical tool for researchers across various scientific domains. In addition, we introduce a generalized methodology for calculating arbitrary weighted subgraphs.
Flag-transitive $2$-$(v,k,λ)$ designs with $λ\ge (r,λ)^2$
This paper is devoted to the study of $2$-designs with $λ\ge (r,λ)^2$ admitting a flag-transitive automorphism group $G$. The group $G$ has been shown to be point-primitive of either almost simple or affine type. In this paper, we classify the $2$-designs with $λ\geq (r,λ)^2>1$ admitting a flag-transitive almost simple automorphism group with socle $\mathrm{PSL}_n(q)$ or $\mathrm{PSU}_n(q)$ for $n \geq 3$.
On an extension problem on the moment curve
We show that for $2\le d\le 4$, every finite geometric simplicial complex $Δ$ in $\mathbb{R}^d$ with vertices on the moment curve can be extended to a triangulation $T$ of the cyclic polytope $C$ where $Δ, T$ and $C$ all have the same vertex set. Further, for $d\ge 5$ we construct for every $n\ge d+3$ complexes $Δ$ on $n$ vertices for which no such triangulations $T$ exist.
Our result for $d=4$ has the following novel algebraic application, due to a correspondence by Oppermann and Thomas (JEMS, 2012): every maximal rigid object in $\mathcal{O}_{A_n^{2}}$ is cluster tilting, where $\mathcal{O}_{A_n^δ}$ denotes a higher dimensional cluster category introduced by Oppermann and Thomas for $A_n^δ$, where $A_n^δ$ denotes a higher Auslander algebra of linearly oriented type $A$.
Rainbow Turán problems for forbidden subposets
A family $\mathcal{G}$ of sets is a copy of a poset $(P,\leqslant)$ if $(\mathcal{G},\subseteq)$ is isomorphic to $(P,\leqslant)$. The forbidden subposet problem asks for determining $La^*(n,P)$, the maximum size of a family $\mathcal{F}\subseteq 2^{[n]}$ that does not contain any copy of $P$. We study the rainbow version of this problem: what is the maximum size $La_R^*(n,P)$ of a family $\mathcal{F}=\cup_{i=1}^mA^i$ such that all $A^i$ are antichains and there is no copy of $P$ with all sets coming from distinct $A^i$ or equivalently $\mathcal{F}$ admits a proper coloring (sets $F\subset F'$ must receive different colors) with no rainbow copy of $P$.
A poset $(Q,\leqslant')$ rainbow forces $(P,\leqslant)$ if any proper coloring $c$ of $Q$ ($q\leqslant' q'$ or $q'\leqslant' q$ implies $c(q)\neq c(q')$) admits a rainbow copy of $P$. We establish connection between the $La^*$ and the $La^*_R$ functions via poset rainbow forcing, determine the asymptotics of $La_R^*(n,T)$ for all tree posets and obtain further exact or asymptotic results for antichains and complete bipartite posets.
Bounding signed bipartite partial t-trees and application to edge-coloring
Given a signed bipartite graph $(B, π)$ of negative girth $2k$, we present a necessary and sufficient condition for it to have the following property: each signed bipartite graph $(G, σ)$ whose negative girth is at least $2k$ and whose underlying graph has treewidth at most $t$ admits a homomorphism to $(B, π)$.
Applying the result on the signed projective cube $SPC(2k-1)$, we conclude that every signed bipartite graph of negative girth at least $2k$ whose underlying graph is a partial 3-tree admits a homomorphism to $SPC(2k-1)$. For planar partial 3-trees, applying duality we conclude that if $G$ is a planar $2k$-regular multigraph whose dual has treewidth at most 3 and such that every edge-cut $(X, V\backslash X)$, where $|X|$ is odd, has size at least $2k$, then $G$ is $2k$-edge-colorable. This supports a conjecture of Seymour which, in full generality, largely extends Tait's reformulation of the four-color theorem, claiming that the fractional edge-chromatic number of a planar multigraph determines its edge-chromatic number.
Finally, noting the contrast between fractional isomorphism and quantum isomorphism, where the former admits a polynomial time algorithm while the latter is proved to be undecidable, and observing the similarities of these notions to the subject of our study, we ask if there is an algorithm to decide if an input signed graph $\widehat{B}$ has the following property: if a signed planar graph $\widehat{G}$ does not map to $\widehat{B}$, it would be because a cycle in $\widehat{G}$ does not map to $\widehat{B}$. In other words, minimal planar graphs that do not map to $\widehat{B}$ are signed cycles.
Finite groups and arc-transitive maps of square-free Euler characteristic
A characterization is completed for finite groups acting arc-transitively on maps with square-free Euler characteristic, associated with infinite families of regular maps of square-free Euler characteristic presented. This is based on a classification of finite groups of which each Sylow subgroup has a cyclic or dihedral subgroup of prime index.
An Elementary Approach to Depoissonization
We investigate depoissonization, the problem of recovering asymptotics of sequence coefficients from their exponential generating function. Classical approaches rely on complex-analytic growth conditions, but here we develop real-variable methods that avoid such assumptions. We also address the inverse problem, deriving asymptotic expansions of the generating function itself in terms of its coefficients, thereby extending Ramanujan's original expansion. Taken together, these results offer a unified and elementary framework for depoissonization and its reverse, with applications to analytic combinatorics and probability.
$\mathcal{L}\mathcal{R}$-Ending partisan rulesets
In this paper, we consider $\mathcal{L}\mathcal{R}$-ending partisan rulesets as a branch of combinatorial game theory. In these rulesets, the sets of options of both players are the same. However, there are two kinds of terminal positions. If the game ends in one of the terminal positions, then a player wins and if the game ends in the other terminal position, the other player wins. We introduce notations for positions in $\mathcal{L}\mathcal{R}$-ending partisan rulesets and show their algebraic structures. We also introduce some examples of $\mathcal{L}\mathcal{R}$-partisan rulesets and show how our results can be used for analyzing the rulesets.
Monimial Matrix Analogue of Yoshida's theorem
In this paper, we study variants of weight enumerators of linear codes over $\mathbb{F}_q$. We generalize the concept of average complete joint weight enumerators of two linear codes over $\mathbb{F}_q$. We also give its MacWilliams type identities. Then we establish a monomial analogue of Yoshida's theorem for this average complete joint weight enumerators. Finally, we present the generalized representation for average of $g$-fold complete joint weight enumerators for $\mathbb{F}_q$-linear codes and establish a monomial matrix analogue of Yoshida's theorem for average $g$-fold complete joint weight enumerators.