representation ↗ reference
4143 papers tagged with this keyword
A poset representation for stable contracts in a two-sided market generated by integer choice functions
Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$.
In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, explain how to construct the rotations efficiently, and devise a weighted poset in which the lattice of closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$.
The discrete wave equation with applications to scattering theory and quantum chaos
With a view towards studying the multitemporal wave equation on affine buildings recently introduced by Anker-Rémy-Trojan [arXiv:2312.06860], we systematically develop the basic properties of the discrete wave equation on $\mathbb{Z}$ and use this to explain existing results about the wave equation on regular graphs. Furthermore, we explicitly compute the incoming and outgoing translation representations and the scattering operator, in the sense of Lax-Phillips, for regular and biregular trees. Finally, we use the wave equation on biregular graphs to extend a result of Brooks-Lindenstrauss about delocalization of eigenfunctions on regular graphs to the setting of biregular graphs.
Non-archimedean Infinite Hecke Algebra
We study the representation theory of the infinite type A Hecke algebra over a non-Archimedean field in the case where the parameter is a pseudo-uniformizer. Specifically, we consider a family of representations, called almost-symmetric, which satisfy additional topological and algebraic constraints. We give a full classification of the irreducible almost-symmetric representations. These turn out to be indexed by integer partitions arising as topological completions of specific direct limits of Hecke-Specht modules. We give detailed analysis of these representations and construct functionals analogous to finite Hecke algebra traces.
MacMahon-type $q$-series
Motivated by earlier work of P.~A.~MacMahon and recent contributions of T.~Amdeberhan, G.~E.~Andrews, K.~Ono, A.~Singh, and R.~Tauraso on higher-order partition enumerants, we study a class of $q$-series arising from nested divisor structures. In particular, we consider the $q$-series \[ V_k(q) = \sum_{1 \le n_1 \le n_2 \le \cdots \le n_k} \frac{q^{\,n_1+n_2+\cdots+n_k}} {(1-q^{n_1})^2(1-q^{n_2})^2\cdots(1-q^{n_k})^2}, \] introduced recently as MacMahon-type generating functions. We further define a new MacMahon-type series \[ W_k(q) = \sum_{1 \le n_1 \le n_2 \le \cdots \le n_k} \frac{q^{\,2(n_1+n_2+\cdots+n_k)-k}} {(1-q^{2n_1-1})^2(1-q^{2n_2-1})^2\cdots(1-q^{2n_k-1})^2}, \] and establish families of identities, generating function relations, and hypergeometric representations for the truncated forms of $V_k(q)$ and $W_k(q)$. Connections with overpartition pairs and bipartitions with distinct odd parts arise naturally in this context.
Rotationally symmetric plabic graphs and the Lagrangian Grassmannian
We introduce the totally nonnegative Lagrangian Grassmannian $\rm{LG}_{\geq 0}^R (n,2n)$, a new subset of the totally nonnegative Grassmannian consisting of subspaces isotropic with respect to a certain bilinear form $R$. We describe its cell structure and show that each cell admits a representation by a rotationally symmetric (not necessarily reduced) plabic graph. Along the way, we develop new techniques for working with non-reduced plabic graphs.
Posets of decompositions in spherical buildings
We propose definitions of the common bases complex, the poset of decompositions, and the poset of partial decompositions for arbitrary spherical buildings. We show that the poset of decompositions is Cohen-Macaulay, and that the poset of partial decompositions is spherical and homotopy equivalent to the common bases complex. To prove these results, we rely on the concepts of opposition, Levi spheres, and convexity in buildings.
In particular, our results extend the already known constructions for the linear case (vector spaces) to arbitrary buildings. As a byproduct, we see that the poset of ordered partial decompositions carries the square of the Steinberg representation.
Multipartite and Structural Results on Transparent Rectangle Visibility Graphs
We consider a graph representation in the plane, called the transparent rectangle visibility graph (TRVG), where each vertex is represented by a rectangle in the plane with sides parallel to the plane axes, in a way that any two vertices are adjacent if and only if a vertical or horizontal line can be drawn from the interior of one rectangle to the other. Expanding upon previously done work by Juntarapomdach and Kittipassorn, we show that $K_{3,3,3}$ is not a TRVG, and classify complete $k$-partite TRVGs. We also prove that the complement of $C^2_n$ is not a TRVG whenever $n \geq 15$, and that every $k$-partite TRVG with $n$ vertices has at most $2(k-1)n-k(k-1)$ edges. Furthermore, we introduce a novel representation, the intersecting transparent rectangle visibility graph (ITRVG), and show that there exists a graph that is an ITRVG but not a TRVG.
A PTR polynomial for the Hughes planes and a new class of permutation polynomials involving Catalan numbers
Hughes introduced the projective planes that bear his name in 1957 and they have since been studied extensively. However, until now, no polynomial representation of a planar ternary ring that represents them has been determined. In this paper, we rectify this omission by determining a reduced PTR polynomial for any Hughes plane defined over a regular nearfield. The polynomials obtained provide a new surprising connection: both the Catalan numbers and generalized Catalan numbers occur among the coefficients, depending on the representation. Since every PTR polynomial has connections with several classes of permutation polynomials, we obtain three new infinite classes of permutation polynomials as a consequence of our main result, and these, too, involve the Catalan numbers. The differential uniformity of new permutation polynomials is also determined.
Designs on the Tautological bundle
In this paper, we introduce the framework of a generalized design, which represents any linear operator as a finite sum of local linear maps attached to finitely many points, thereby abstracting the core of design theory without employing integration. We then construct such a design on the space of sections of the tautological bundle over the complex projective line. By using the irreducible decomposition of this space as an SU(2)-representation, we show that the projection onto its lowest-dimensional summand can be realized as a finite sum of these local maps. Our construction relies on invariant theory for the binary icosahedral group and an analysis of fixed-point subspaces in symmetric tensor representations.
3-colorable planar graphs have an intersection segment representation using 3 slopes
In his PhD Thesis, E.R. Scheinerman conjectured that planar graphs are intersection graphs of line segments in the plane. This conjecture was proved with two different approaches by J. Chalopin and the author, and by the author, L. Isenmann, and C. Pennarun. In the case of 3-colorable planar graphs E.R. Scheinerman conjectured that it is possible to restrict the set of slopes used by the segments to only 3 slopes. Here we prove this conjecture by using an approach introduced by S. Felsner to deal with contact representations of planar graphs with homothetic triangles.
Toward a Canonical Representation of Blocked Rectangular Grids with an Application to Finite Tiling Problems
Given the collection of all $m\times n$ rectangular grids which have a fixed number $1\leq r\leq mn$ of blocked cells, we explicitly describe a proper subset of the collection which is guaranteed to contain at least one grid from each equivalence class under symmetry, eliminating the majority of redundant grids. We analyze the extent to which redundant grids remain in the reduced set, and give general cases in which our methods exactly produce a complete set of canonical representatives for the equivalence classes. As an application of our results, we specify collections of polyomino tiling problems and find all solvable grids in each collection.
Enumeration of Autocatalytic Subsystems in Large Chemical Reaction Networks
Published
• View Publication
• BIB
Autocatalysis is an important feature of metabolic networks, contributing crucially to the self-maintenance of organisms. Autocatalytic subsystems of chemical reaction networks (CRNs) are characterized in terms of algebraic conditions on submatrices of the stoichiometric matrix. Here, we derive sufficient conditions for subgraphs supporting irreducible autocatalytic systems in the bipartite König representation of the CRN. On this basis, we develop an efficient algorithm to enumerate autocatalytic subnetworks and, as a special case, autocatalytic cores, i.e., minimal autocatalytic subnetworks, in full-size metabolic networks. The same algorithmic approach can also be used to determine autocatalytic cores only. As a showcase application, we provide a complete analysis of autocatalysis in the core metabolism of E. coli and enumerate irreducible autocatalytic subsystems of limited size in full-fledged metabolic networks of E. coli, human erythrocytes, and Methanosarcina barkeri (Archea). The mathematical and algorithmic results are accompanied by software enabling the routine analysis of autocatalysis in large CRNs.
Lattices of pretorsion classes
Since their introduction, torsion theories have played a key role in the study of abelian and pointed categories. In representation theory, torsion theories and lattices of torsion classes of mod$ A$, for $A$ a finite-dimensional algebra, have been widely studied. The more recent definition of pretorsion theories, that can be given for any category, has expanded the theory, giving many more instances of ``non-pointed torsion theories'' in unexpected settings. In this work, we introduce and study the lattice $\mathcal{L}_t(A)$ of pretorsion classes of mod$ A$. These lattices are in close connection with the lattices tors$ A$ of torsion classes of mod$ A$. We fully describe the completely join-irreducible elements of $\mathcal{L}_t(A)$. Moreover, we characterise and give a full classification of when $\mathcal{L}_t(A)$ is distributive and further describe when it can be identified with the \emph{distributive closure} of tors$ A$. Finally, we show how the lattices of pretorsion classes, together with their duals, can be used to build pretorsion theories in mod$ A$.
A Generalized Grassmann-Pfaffian Framework for Monomer-Dimer and Spanning Trees
We develop a unified framework for Berezin integrals over Grassmann variables that establishes master identities for exponential quadratic fermionic forms and linear fermionic forms coupled to both bosonic and fermionic sources. The construction is rigorous for both real and complex fermions in arbitrary dimensions and remains well-defined even when the underlying matrices are singular. Our main mathematical results appear in two master theorems. Theorem 12 provides a comprehensive identity for Berezin integrals over Grassmann variables for real fermions with mixed bosonic-fermionic sources, applicable to any antisymmetric matrix. Its complex analogue, Theorem 13, yields corresponding determinant-based representations. Together, they serve as generating functionals for a wide range of combinatorial and physical models. Key applications include the dimer, monomer-dimer, matching, and almost-matching problems. We revisit the Kasteleyn theorem for planar dimers using Berezin integrals. We construct monomer-dimer systems through the \textit{Monobisyzexant (Mbsz)} function, which generalizes the Hafnian to incorporate monomer contributions and admits a Pfaffian-sum representation for planar graphs (Theorem 5); and practical techniques for handling singular matrices via unitary block decomposition (Theorem 6) and spectral analysis. We further present explicit mappings between Hafnians and Pfaffians and their submatrix generalizations (Hafnianinhos and Pfaffianinhos); an alternative source-ordered Berezin integral representation for spanning trees and forests using complex bosonic sources that regularizes the Laplacian zero mode (Theorem 10). Overall, this work offers a flexible toolkit for the theoretical analysis and computational implementation of graph-based models and lattice field theories using Berezin integrals over Grassmann variables .
Graph Neural Networks vs Convolutional Neural Networks for Graph Domination Number Prediction
We investigate machine learning approaches to approximating the \emph{domination number} of graphs, the minimum size of a dominating set. Exact computation of this parameter is NP-hard, restricting classical methods to small instances. We compare two neural paradigms: Convolutional Neural Networks (CNNs), which operate on adjacency matrix representations, and Graph Neural Networks (GNNs), which learn directly from graph structure through message passing. Across 2,000 random graphs with up to 64 vertices, GNNs achieve markedly higher accuracy ($R^2=0.987$, MAE $=0.372$) than CNNs ($R^2=0.955$, MAE $=0.500$). Both models offer substantial speedups over exact solvers, with GNNs delivering more than $200\times$ acceleration while retaining near-perfect fidelity. Our results position GNNs as a practical surrogate for combinatorial graph invariants, with implications for scalable graph optimization and mathematical discovery.
Three formulas for CSM classes of open quiver loci
In the space of equioriented type $A$ quiver representations, we define subvarieties called "open quiver loci" by placing strict rank conditions on the maps within representations. The closures of these subvarieties are the quiver loci, whose equivariant cohomology classes are the quiver polynomials of Buch and Fulton. We present one geometric formula and two combinatorial formulas that compute equivariant Chern--Schwartz--MacPherson (CSM) classes of open quiver loci; these classes refine the data of the quiver polynomials. The second combinatorial formula is in terms of "chained generic pipe dreams," which modify the pipe dreams of Bergeron and Billey to more strongly resemble the lacing diagrams of Abeasis and Del Fra. We also present two new formulas for quiver polynomials; these are streamlined versions of known formulas due to Knutson, Miller, and Shimozono, in the sense that they contain fewer terms.
Groups that produce expander graphs
We survey the known group properties that a sequence of finite groups or group actions needs to satisfy to admit subsets of bounded cardinality producing expander Cayley or Schreier graphs. We prove that an infinite amenable group and solvable groups of bounded derived length do not produce expander Schreier graphs, generalizing with easier proofs results of Lubotzky and Weiss for Cayley graphs. In particular, the poor expansion properties of a group action cannot in general be detected by looking at the abelian sections or at the representations above the stabilizer of a point.
Simplicity and irreducibility in circular automata
Published
• View Publication
• BIB
This paper investigates the conditions under which a given circular (synchronizing) DFA is \emph{simple} (sometimes referred to as \emph{primitive}) and when it is \emph{irreducible}. Our notion of irreducibility slightly differs from the classical one, since we are considering our monoid representations to be over $\mathbb{C}$ instead of $\mathbb{Q}$; nevertheless, several well-known results remain valid-for instance, the fact that every irreducible automaton is necessarily simple. We provide a complete characterization of simplicity in the circular case by means of the \emph{weak contracting property}. Furthermore, we establish necessary and sufficient conditions for a circular \emph{contracting automaton} (a stronger condition than the weakly contracting one) to be irreducible, and we present examples illustrating our results.
String Graphs: Product Structure and Localised Representations
We investigate string graphs through the lens of graph product structure theory, which describes complicated graphs as subgraphs of strong products of simpler building blocks. A graph $G$ is called a string graph if its vertices can be represented by a collection $\mathcal{C}$ of continuous curves (called a string representation of $G$) in a surface so that two vertices are adjacent in $G$ if and only if the corresponding curves in $\mathcal{C}$ cross. We prove that every string graph with bounded maximum degree in a fixed surface is isomorphic to a subgraph of the strong product of a graph with bounded treewidth and a path. This extends recent product structure theorems for string graphs. Applications of this result are presented. This product structure theorem ceases to be true if the `bounded maximum degree' assumption is relaxed to `bounded degeneracy'. For string graphs in the plane, we give an alternative proof of this result. Specifically, we show that every string graph in the plane has a `localised' string representation where the number of crossing points on the curve representing a vertex $u$ is bounded by a function of the degree of $u$.
Our proof of the product structure theorem also leads to a result about the treewidth of outerstring graphs, which qualitatively extends a result of Fox and Pach [Eur. J. Comb. 2012] about outerstring graphs with bounded maximum degree. We extend our result to outerstring graphs defined in arbitrary surfaces.
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.