Journal of Algebraic Combinatorics最新文献

Given a group G and a subgroup (H le G), a set (mathcal {F}subset G) is called H-intersecting if for any (g,g' in mathcal {F}), there exists (xH in G/H) such that (gxH=g'xH). The intersection density of the action of G on G/H by (left) multiplication is the rational number (rho (G,H)), equal to the maximum ratio (frac{|mathcal {F}|}{|H|}), where (mathcal {F} subset G) runs through all H-intersecting sets of G. The intersection spectrum of the group G is then defined to be the set

It was shown by Bardestani and Mallahi-Karai (J Algebraic Combin, 42(1):111–128, 2015) that if (sigma (G) = {1}), then G is necessarily solvable. The natural question that arises is, therefore, which rational numbers larger than 1 belong to (sigma (G)), whenever G is non-solvable. In this paper, we study the intersection spectrum of the linear group ({text {PSL}}_2(q)). It is shown that (2 in sigma left( {text {PSL}}_2(q)right) ), for any prime power (qequiv 3 pmod 4). Moreover, when (qequiv 1 pmod 4), it is proved that (rho ({text {PSL}}_2(q),H)=1), for any odd index subgroup H (containing ({mathbb {F}}_q)) of the Borel subgroup (isomorphic to ({mathbb {F}}_qrtimes {mathbb {Z}}_{frac{q-1}{2}})) consisting of all upper triangular matrices.

Praeger and the first author in Jin and Praeger (J Combin Theory Ser A 178:105349, 2021) asked the following problem: classify s-geodesic-transitive graphs of girth (2s-1) or (2s-2), where (s=4,5,6,7,8). In this paper, we study the (s=4) case, that is, study the family of finite (G, 4)-geodesic-transitive graphs of girth 6 or 7 for some group G of automorphisms. A reduction result on this family of graphs is first given. Let N be a normal subgroup of G which has at least 3 orbits on the vertex set. We show that such a graph (Gamma ) is a cover of its quotient (Gamma _N) modulo the N-orbits and either (Gamma _N) is (G/N, s)-geodesic-transitive where (s=min {4,textrm{diam}(Gamma _N)}ge 3), or (Gamma _N) is a (G/N, 2)-arc-transitive strongly regular graph. Next, using the classification of 2-arc-transitive strongly regular graphs, we determine all the (G, 4)-geodesic-transitive covers (Gamma ) when (Gamma _N) is strongly regular.

We classify path polyominoes which are level and pseudo-Gorenstein. Moreover, we compute all level and pseudo-Gorenstein simple thin polyominoes with rank less than or equal to 10. We also compute the regularity of the pseudo-Gorenstein simple thin polyominoes in relation to their rank.

Bipartite determinantal ideals are introduced in Illian and Li (Gröbner basis for the double determinantal ideals, http://arxiv.org/abs/2305.01724) as a vast generalization of the classical determinantal ideals intensively studied in commutative algebra, algebraic geometry, representation theory, and combinatorics. We introduce a combinatorial model called concurrent vertex maps to describe the Stanley–Reisner complex of the initial ideal of any bipartite determinantal ideal, and study properties and applications of this model including vertex decomposability, shelling orders, formulas of the Hilbert series, and h-polynomials.

We define a second (higher) homotopy group for digital images. Namely, we construct a functor from digital images to abelian groups, which closely resembles the ordinary second homotopy group from algebraic topology. We illustrate that our approach can be effective by computing this (digital) second homotopy group for a digital 2-sphere.

To every simple toric ideal (I_T) one can associate the strongly robust simplicial complex (Delta _T), which determines the strongly robust property for all ideals that have (I_T) as their bouquet ideal. We show that for the simple toric ideals of monomial curves in (mathbb {A}^{s}), the strongly robust simplicial complex (Delta _T) is either ({emptyset }) or contains exactly one 0-dimensional face. In the case of monomial curves in (mathbb {A}^{3}), the strongly robust simplicial complex (Delta _T) contains one 0-dimensional face if and only if the toric ideal (I_T) is a complete intersection ideal with exactly two Betti degrees. Finally, we provide a construction to produce infinitely many strongly robust ideals with bouquet ideal the ideal of a monomial curve and show that they are all produced this way.

Symmetric special multiserial algebras are algebras that correspond to decorated hypergraphs with orientation, called Brauer configurations. In this paper, we use the combinatorics of Brauer configurations to understand the module category of symmetric special multiserial algebras via their Auslander–Reiten quiver. In particular, we provide methods for determining the existence and ranks of tubes in the stable Auslander–Reiten quiver of symmetric special multiserial algebras using only the information from the underlying Brauer configuration. Firstly, we define a combinatorial walk around the Brauer configuration, called a Green ‘hyperwalk’, which generalises the existing notion of a Green walk around a Brauer graph. Periodic Green hyperwalks are then shown to correspond to periodic projective resolutions of certain classes of string modules over the corresponding symmetric special multiserial algebra. Periodic Green hyperwalks thus determine certain classes of tubes in the stable Auslander–Reiten quiver, with the ranks of the tubes determined by the periods of the walks. Finally, we provide a description of additional rank two tubes in symmetric special multiserial algebras that do not arise from Green hyperwalks, but which nevertheless contain string modules at the mouth. This includes an explicit description of the space of extensions between string modules at the mouth of tubes of rank two.

In the recent paper A. Dimca proves that when one adds to or deletes a line from a free curve, the resulting curve is either free or plus-one generated. We prove the converse statements, we give an additional insight into the original deletion result, and we derive a characterization of free curves in terms of behavior to addition/deletion of lines. Incidentally we generalize a result on conic-line arrangements by H. Schenck and Ş. Tohăneanu that describes when the addition or the deletion of a projective line from a free curve results in a free curve. We catalogue the possible splitting types of the bundle of logarithmic vector fields associated to a plus-one generated curve.

Denote by ({mathrm m}(S)) the multiplicity of a numerical semigroup S. A covariety is a nonempty family (mathscr {C}) of numerical semigroups that fulfils the following conditions: there is the minimum of (mathscr {C},) the intersection of two elements of (mathscr {C}) is again an element of (mathscr {C}) and (Sbackslash {{mathrm m}(S)}in mathscr {C}) for all (Sin mathscr {C}) such that (Sne min (mathscr {C}).) In this work we describe an algorithmic procedure to compute all the elements of (mathscr {C}.) We prove that there exists the smallest element of (mathscr {C}) containing a set of positive integers. We show that (mathscr {A}(F)={Smid S hbox { is a numerical semigroup with Frobenius number }F}) is a covariety, and we particularize the previous results in this covariety. Finally, we will see that there is the smallest covariety containing a finite set of numerical semigroups.