representation ↗ reference
4053 papers tagged with this keyword
Groups represented by incidence geometries
The aim of this paper is to use the framework of incidence geometry to develop a theory that permits to model both the inner and outer automorphisms of a group G simultaneously. More precisely, to any group G, we attempt to associate an incidence system whose group of type-preserving automorphisms is Inn(G), the group of inner automorphisms of G, and whose full group of automorphisms is the group Out(G) of outer automorphisms of G, getting what we call an incidence geometric representation theory for groups. Hence, in this setting, the group Inn(G) preserves the types of the associated incidence structure while the group Out(G) is acting non-trivially on the typeset of it, realizing the outer automorphisms of G as correlations. We give examples of incidence geometric representations for the dihedral groups, the symmetric groups, the automorphism groups of the five platonic solids, families of classical groups defined over fields such as the projective linear groups, and finally subgroups of free groups whose outer automorphism group is the largest finite subgroup of their automorphism group.
Inference of Hierarchical Core-Periphery Structure in Temporal Networks
Networks can have various types of mesoscale structures. One type of mesoscale structure in networks is core-periphery structure, which consists of densely-connected core nodes and sparsely-connected peripheral nodes. The core nodes are connected densely to each other and can be connected to the peripheral nodes, which are connected sparsely to other nodes. There has been much research on core-periphery structure in time-independent networks, but few core-periphery detection methods have been developed for time-dependent (i.e., ``temporal") networks. Using a multilayer-network representation of temporal networks and an inference approach that employs stochastic block models, we generalize a recent method for detecting hierarchical core-periphery structure \cite{Polanco23} from time-independent networks to temporal networks. In contrast to ``onion-like'' nested core-periphery structures (where each node is assigned to a group according to how deeply it is nested in a network's core), hierarchical core-periphery structures encompass networks with nested structures, tree-like structures (where any two groups must either be disjoint or have one as a strict subset of the other), and general non-nested mesoscale structures (where the group assignments of nodes do not have to be nested in any way). To perform statistical inference and thereby identify core-periphery structure, we use a Markov-chain Monte Carlo (MCMC) approach. We illustrate our method for detecting hierarchical core-periphery structure in two real-world temporal networks, and we briefly discuss the structures that we identify in these networks.
Wreath Generalization of Littlewood Reciprocity
Given any $m$-dimensional complex representation $η$ of a finite group $G$ and any highest weight representation $V^λ$ of $\mathrm{GL}_{nm}(\mathbb{C})$ we may define an action of $G^n \rtimes \mathfrak{S}_n$ on $V^λ$ using the embedding $\mathrm{GL}_{m}(\mathbb{C})^n \rtimes \mathfrak{S}_n \leq \mathrm{GL}_{nm}(\mathbb{C})$ and $η: G \rightarrow \mathrm{GL}_m(\mathbb{C})$. We derive a branching rule for the multiplicities of irreducible $G^n \rtimes \mathfrak{S}_n$ representations in $V^λ.$ The formula generalizes Littlewood's reciprocity rule for branching between $\mathrm{GL}_n(\mathbb{C})$ and the symmetric group of permutation matrices $\mathfrak{S}_n \leq \mathrm{GL}_n(\mathbb{C}).$
Finding the Cores of Higher Graphs Using Geometric and Topological Means: A Survey
In this survey, we explore recent literature on finding the cores of higher graphs using geometric and topological means. We study graphs, hypergraphs, and simplicial complexes, all of which are models of higher graphs. We study the notion of a core, which is a minimalist representation of a higher graph that retains its geometric or topological information. We focus on geometric and topological methods based on discrete curvatures, effective resistance, and persistent homology. We aim to connect tools from graph theory, discrete geometry, and computational topology to inspire new research on the simplification of higher graphs.
CNFs and DNFs with Exactly $k$ Solutions
Model counting is a fundamental problem that consists of determining the number of satisfying assignments for a given Boolean formula. The weighted variant, which computes the weighted sum of satisfying assignments, has extensive applications in probabilistic reasoning, network reliability, statistical physics, and formal verification. A common approach for solving weighted model counting is to reduce it to unweighted model counting, which raises an important question: {\em What is the minimum number of terms (or clauses) required to construct a DNF (or CNF) formula with exactly $k$ satisfying assignments?}
In this paper, we establish both upper and lower bounds on this question. We prove that for any natural number $k$, one can construct a monotone DNF formula with exactly $k$ satisfying assignments using at most $O(\sqrt{\log k}\log\log k)$ terms. This construction represents the first $o(\log k)$ upper bound for this problem. We complement this result by showing that there exist infinitely many values of $k$ for which any DNF or CNF representation requires at least $Ω(\log\log k)$ terms or clauses. These results have significant implications for the efficiency of model counting algorithms based on formula transformations.
Path operators and $(q,t)$-tau functions
We construct a new class of operators that act on symmetric functions with two deformation parameters $q$ and $t$. Our combinatorial construction associates each operator with a specific lattice path, whose steps alternate between moving up and down. We demonstrate that positive linear combinations of these operators are the images of Negut elements via a representation of the shuffle algebra acting on the space of symmetric functions. Additionally, we provide a monomial, elementary, and Schur symmetric function expansion for the symmetric function obtained through repeated applications of the path operators on $1$.
We apply path operators to investigate a $(q,t)$-deformation of the classical hypergeometric tau functions, which generalizes several important series already present in enumerative geometry, gauge theory, and integrability. We prove that this function is uniquely characterized by a family of partial differential equations derived from a positive linear combination of path operators. We also use our operators to offer a new, independent proof of the key result in establishing the extended delta conjecture of Haglund, Remmel, and Wilson.
Graph quandles: Generalized Cayley graphs of racks and right quasigroups
We solve two open problems of Valeriy Bardakov about Cayley graphs of racks and graph-theoretic realizations of right quasigroups. We also extend Didier Caucal's classification of labeled Cayley digraphs to right quasigroups and related algebraic structures like quandles.
First, we characterize markings of graphs that realize racks. As an application, we construct rack-theoretic (di)graph invariants from permutation representations of graph automorphism groups. We describe how to compute these invariants with general results for path graphs and cycle graphs.
Second, we show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs.
Finally, we give a graph-theoretic characterization of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei.
Stabilization of the Spread-Global Dimension
Motivated by constructions from applied topology, there has been recent interest in the homological algebra of linear representations of posets, particularly in the context of homological algebra relative to non-standard exact structures. A prominent example is the spread exact structure on the category of representations of a fixed poset, in which the indecomposable projectives are the spread representations (that is, the indicator representations of convex and connected subsets). The spread-global dimension is known to be finite for finite posets and not uniformly bounded on the collection of all Cartesian products between two arbitrary finite total orders. It was conjectured in [AENY23] that the spread-global dimension is uniformly bounded on the collection of all Cartesian products between a fixed finite total order and an arbitrary finite total order. We provide a positive answer to this conjecture and, more generally, prove that the spread-global dimension is uniformly bounded on the collection of all Cartesian products between a fixed finite poset and an arbitrary finite total order. In doing so, we also establish the existence of finite spread-resolutions for finitely presented representations of arbitrary grid posets.
On the Conjecture of the Representation Number of Bipartite Graphs
While the problem of determining the representation number of an arbitrary word-representable graph is NP-hard, this problem is open even for bipartite graphs. The representation numbers are known for certain bipartite graphs including all the graphs with at most nine vertices. For bipartite graphs with partite sets of sizes $m$ and $n$, Glen et al. conjectured that the representation number is at most $\lceil \frac{m+n}{4}\rceil$, where $m+n \ge 9$.
In this paper, we show that every bipartite graph is $\left( 1+ \lceil \frac{m}{2} \rceil \right)$-representable, where $m$ is the size of its smallest partite set. Furthermore, if $m$ is odd then we prove that the bipartite graphs are $\lceil \frac{m}{2} \rceil $-representable. Accordingly, we establish that the conjecture by Glen et al. holds good for all bipartite graphs leaving the bipartite graphs whose partite sets are of equal and even size. In case of the bipartite graphs with partite sets of equal and even size, we prove the conjecture for certain subclasses using the neighborhood inclusion graph approach.
Representation of Symmetric Shift Registers
The objective of this work is to establish a mathematical framework for the study of symmetric shift registers over the field GF(2). The present paper gives a new approach where the symmetric shift registers are represented by associated systems of nonlinear difference equations. Arithmetical progressions will play a central part. This approach clarifies the underlying structures and makes it easier to determine the minimal periods of the sequences generated by the symmetric shift registers. Key words: Shift registers, nonlinear difference equations, periods, arithmetical progressions, GF(2).
Linear-Time Computation of the Frobenius Normal Form for Symmetric Toeplitz Matrices via Graph-Theoretic Decomposition
We introduce a linear-time algorithm for computing the Frobenius normal form (FNF) of symmetric Toeplitz matrices by utilizing their inherent structural properties through a graph-theoretic approach. Previous results of the authors established that the FNF of a symmetric Toeplitz matrix is explicitly represented as a direct sum of symmetric irreducible Toeplitz matrices, each corresponding to connected components in an associated weighted Toeplitz graph. Conventional matrix decomposition algorithms, such as Storjohann's method (1998), typically have cubic-time complexity. Moreover, standard graph component identification algorithms, such as breadth-first or depth-first search, operate linearly with respect to vertices and edges, translating to quadratic-time complexity solely in terms of vertices for dense graphs like weighted Toeplitz graphs. Our method uniquely leverages the structural regularities of weighted Toeplitz graphs, achieving linear-time complexity strictly with respect to vertices through two novel reductions: the α-type reduction, which eliminates isolated vertices, and the β-type reduction, applying residue class contractions to achieve rapid structural simplifications while preserving component structure. These reductions facilitate an efficient recursive decomposition process that yields linear-time performance for both graph component identification and the resulting FNF computation. This work highlights how structured combinatorial representations can lead to significant computational gains in symbolic linear algebra.
On Distinguishing Graphs and Cost Number using Automorphism Representations
A distinguishing coloring of a graph is a vertex coloring such that only the identity automorphism of the graph preserves the coloring. A 2-distinguishable graph is a graph which can be distinguished using 2 colors. The cost $ρ(G)$ of a 2-distinguishable graph is the smallest size of a color set of a distinguishing coloring of $G$. The determining number of a graph, $Det(G)$, is the minimum number of nodes, which if fixed by a coloring, would ensure that the coloring distinguishes the entire graph.
Boutin (J. Combin. Math. Combin. Comput. 85: 161-171, 2013) posed an open problem which asks if $ρ(G)$ and $Det(G)$ can be arbitrarily far apart. It is trivial that it cannot be so for the case $Det(G) = 1$ but the answer was unknown for $Det(G) \geq 2$. We solve this problem for the case $Det(G) = 2$. We show that for the case $Det(G) = 2$, that not only is the cost bounded but in fact it takes small values with $ρ(G) = 2, \ 3$ or $4$. In order to establish this, the concept of the automorphism representation of a graph is developed. Graphs having equivalent automorphism representations implies that they have the same distinguishing number (note that just having isomorphic automorphism groups is not enough for this to hold). This prompts a factoring of graphs by which two graphs are distinguishably equivalent iff they have equivalent automorphism representations.
Symplectic Branching through Crystals
We give an alternative proof of Naito--Sagaki's conjecture, which states that the restriction of $gl_{2n}(\mathbb{C})$-representations to $sp_{2n}(\mathbb{C})$ can be described in terms of crystals. Using the tableau model for crystals, we construct an explicit and self-contained bijection between their highest weight elements and Sundaram's branching model.
Higher Order Bell Symmetric Functions
We study symmetric function analogues of the higher order Bell numbers. Their construction involves iterated plethystic exponential towers mimicking the single variable exponential generating functions for the higher order Bell numbers. We derive explicit recurrence relations for the expansion coefficients of the Bell functions into the monomial and power sum bases of the ring of symmetric functions. Using the machinery of combinatorial species, the Bell functions are proven to be the Frobenius characteristics of the permutation representations of symmetric groups on hyper-partitions of certain orders and sizes. In the order 1 case, we are able to give more details about the expansion coefficients of the Bell functions in terms of vector partitions and divisor sums as well as give a recurrence relation analogous to the well known recursion for the Bell numbers. Lastly, we use Littlewood's reciprocity theorem and the Hardy-Littlewood Tauberian theorem to prove that the Schur expansion coefficients of the order 1 Bell functions are certain asymptotic averages of restriction coefficients.
Arithmetic properties of MacMahon-type sums of divisors: the odd case
Published in Journal of Combinatorial Theory, Series A Volume 218, February 2026, 106105
• View Publication
• BIB
A century ago, P. A. MacMahon introduced two families of generating functions, $$ \sum_{1\leq n_1<n_2<\cdots<n_t}\prod_{k=1}^t\frac{q^{n_k}}{(1-q^{n_k})^2} \quad\text{ and } \sum_{\substack{1\leq n_1<n_2<\cdots<n_t\\ \text{$n_1,n_2,\dots,n_t$ odd}}}\prod_{k=1}^t\frac{q^{n_k}}{(1-q^{n_k})^2}, $$ which connect sum-of-divisors functions and integer partitions. These have recently drawn renewed attention. In particular, Amdeberhan, Andrews, and Tauraso extended the first family above by defining $$ U_t(a,q):=\sum_{1\leq n_1<n_2<\cdots<n_t}\prod_{k=1}^t\frac{q^{n_k}}{1+aq^{n_k}+q^{2n_k}} $$ for $a=0, \pm1, \pm2$ and investigated various properties, including some congruences satisfied by the coefficients of the power series representations for $U_t(a,q)$. These arithmetic aspects were subsequently expanded upon by the authors of the present work. Our goal here is to generalize the second family of generating functions, where the sums run over odd integers, and then apply similar techniques to show new infinite families of Ramanujan--like congruences for the associated power series coefficients.
Odd Shifted Parking Functions
Stanley recently introduced the shifted parking function symmetric function $SH_n$, which is the shiftification of Haiman's parking function symmetric function $PF_n$. The function $SH_n$ lives in the subalgebra of symmetric functions generated by odd power sums. Stanley showed how to expand $SH_n$ into the $V-$basis of this algebra, which is indexed by partitions with all parts odd and is analogous to the complete homogeneous (or elementary) basis of symmetric functions. We introduce odd shifted parking functions to give combinatorial and representation-theoretic realizations of the $V-$expansion of $SH_n$, resolving the main open problem in his paper. Further, we present two representation-theoretic realizations of shiftification allowing us to interpret $SH_n$ as the spin character of a projective representation. We conclude with further directions, including a relationship between $SH_n$ and Haglund's $(q,t)-$Schröder theorem.
On Some Series Involving the Central Binomial Coefficients
In this paper, we explore a variety of series involving the central binomial coefficients, highlighting their structural properties and connections to other mathematical objects. Specifically, we derive new closed-form representations and examine the convergence properties of infinite series with a repeating alternation pattern of signs involving central binomial coefficients. More concretely, we derive the series $$\sum\limits_{n=0}^{\infty}\frac{(-1)^{ω_n}}{2n+1}\tbinom{2n}{n}x^n,\,\,\, \sum\limits_{n=0}^{\infty}{(-1)^{ω_n}}\tbinom{2n}{n}x^n\,\,\, \text{and} \,\,\, \sum\limits_{n=0}^{\infty}{(-1)^{ω_n}}n\tbinom{2n}{n}x^n,$$ where $ω_n$ represents both $\lfloor\frac{n}{2}\rfloor$ and $\lceil\frac{n}{2}\rceil$. Also, we present novel series involving Fibonacci and Lucas numbers, deriving many interesting identities.
A Multigraph Characterization of Permutiple Strings
Published in Integers 25 (2025), #A111
• View Publication
• BIB
A permutiple is a natural number whose representation in some base is an integer multiple of a number whose representation has the same collection of digits. A previous paper utilizes a finite-state-machine construction and its state graph to recognize permutiples and to generate new examples. Permutiples are associated with walks on the state graph which necessarily satisfy certain conditions. However, the above effort does not provide sufficient conditions for the existence of permutiples. In this paper, we provide such a condition which we will state using the language of multigraphs.
On representations of quantum affine $\mathfrak{sl}_2$
We study tensor products of two-dimensional evaluation $U_q\widehat{\mathfrak{sl}}_2$-modules at generic values of $q$, $U_q\widehat{\mathfrak{sl}}_2$ homomorphisms between them, and closely related subjects.
Probability measures on families of partitions related to harmonic analysis on big wreath products
We construct generalized regular representations of the wreath product of a compact group with the infinite symmetric group. The characters of these representations are determined by probability measures on families of partitions called the $z$-measures for the wreath product of a compact group with the symmetric group in the present paper. Our main result is an explicit formula for these $z$-measures which holds true for an arbitrary compact group. The result enables us to describe the spectral measures of the generalized regular representations of big wreath products.