Related papers: Hypergraph encoding set systems and their linear r…
Subgraph matching is vital in knowledge graph (KG) question answering, molecule design, scene graph, code and circuit search, etc. Neural methods have shown promising results for subgraph matching. Our study of recent systems suggests…
Recent research has shown growing interest in modeling hypergraphs, which capture polyadic interactions among entities beyond traditional dyadic relations. However, most existing methodologies for hypergraphs face significant limitations,…
In this paper we study hypergraphs definable in an algebraically closed field. Our goal is to show, in the spirit of the so-called transference principles in extremal combinatorics, that if a given algebraic hypergraph is "dense" in a…
The Pieri rule gives an explicit formula for the decomposition of the tensor product of irreducible representation of the complex general linear group GL(n,C) with a symmetric power of the standard representation on C^n. It is an important…
We give universal upper bounds on the relative dimensions of isotypic components of a tensor product of the linear group GL(n) representations and universal upper bounds on the relative dimensions of irreducible components of a tensor…
This paper investigates block-transitive automorphism groups of t-(k^2,k,\lambda) designs. Let D be a non-trivial t-(k^2,k,\lambda) design, G \leq \Aut(D) be block-transitive with X\unlhd G\leq \Aut(X), where X = PSL(2,q)(q\geq4). Then q =…
We construct families of cell complexes that generalize expander graphs. These families are called non-$k$-hyperfinite, generalizing the idea of a non-hyperfinite (NH) family of graphs. Roughly speaking, such a complex has the property that…
A hypergraph is a generalization of a graph where edges can connect any number of vertices. In this paper, we extend the study of locating-dominating sets to hypergraphs. Along with some basic results, sharp bounds for the…
Looped Transformers have shown exceptional neural algorithmic reasoning capability in simulating traditional graph algorithms, but their application to more complex structures like hypergraphs remains underexplored. Hypergraphs generalize…
If A is a finite dimensional nilpotent associative algebra over a finite field k, the set G=1+A of all formal expressions of the form 1+a, where a is an element of A, has a natural group structure, given by (1+a)(1+b)=1+(a+b+ab). A finite…
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic encodings. The complete Prolog code is available at…
Two $G$-sets ($G$ a finite group) are called linearly equivalent over a commutative ring $k$ if the permutation representations $k[X]$ and $k[Y]$ are isomorphic as modules over the group algebra $kG$. Pairs of linearly equivalent…
Hypergraphs are a powerful abstraction for modeling high-order relations, which are ubiquitous in many fields. A hypergraph consists of nodes and hyperedges (i.e., subsets of nodes); and there have been a number of attempts to extend the…
Group action is a standard approach to obtain $t$-designs. In this approach, selecting a specific permutation group with a certain degree of transitivity or homogeneity and a proper set of base blocks is important for obtaining $t$-$(v, k,…
We study generic representations of general linear groups over a finite ring R with coefficients in a field k in which the cardinality of R is invertible, that is functors from finitely-generated projective R-modules to k-vector spaces. We…
The linear representation $T_n^*(\mathcal{K})$ of a point set $\mathcal{K}$ in a hyperplane of $\mathrm{PG}(n+1,q)$ is a point-line geometry embedded in this projective space. In this paper, we will determine the isomorphisms between two…
We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.
A hypergraph G with n vertices and m hyperedges with d endpoints each is (k,l)-sparse if for all sub-hypergraphs G' on n' vertices and m' edges, m'\le kn'-l. For integers k and l satisfying 0\le l\le dk-1, this is known to be a linearly…
We construct, for any finite commutative ring $R$, a family of representations of the general linear group $\mathrm{GL}_n(R)$ whose intertwining properties mirror those of the principal series for $\mathrm{GL}_n$ over a finite field.
We prove that for a finitely generated linear group G over a field of positive characteristic the family of quotients by finite subgroups has finite asymptotic dimension. We use this to show that the K-theoretic assembly map for the family…