representation ↗ reference
4053 papers tagged with this keyword
An Efficient Structural Descriptor Sequence to Identify Graph Isomorphism and Graph Automorphism
In this paper, we study the graph isomorphism and graph automorphism problems. We propose a novel technique to analyze graph isomorphism and graph automorphism. Further we handled some strongly regular datasets for prove the efficiency of our technique. The neighbourhood matrix $ \mathcal{NM}(G) $ was proposed in \cite {ALPaper} as a novel representation of graphs and was defined using the neighbourhood sets of the vertices. It was also shown that the matrix exhibits a bijection between the product of two well known graph matrices, namely the adjacency matrix and the Laplacian matrix. Further, in a recent work\cite{NM_SPath}, we introduced the sequence of matrices representing the powers of $\mathcal{NM}(G)$ and denoted it as $ \mathcal{NM}^{\{l\}}, 1\leq l \leq k(G)$ where $ k(G) $ is called the \textbf{iteration number}, $k(G)=\ceil*{\log_{2}diameter(G)} $. In this article we introduce a structural descriptor given by a sequence and clique sequence for any undirected unweighted simple graphs with help of the sequences of matrices $ NM^{\{l\}} $. The $ i^{th} $ element of structural descriptor sequence encodes the complete structural information of the graph from the vertex $ i\in V(G) $. The $ i^{th} $ element of clique sequence encodes the Maximal cliques on $ i $ vertices. The above sequences is shown to be a graph invariants and is used to study the graph isomorphism and automorphism problem.
Explicit and compact representations for the Green's function and the Solution of Linear Difference Equations with variable coefficients
Leibniz' combinatorial formula for determinants is modified to establish a condensed and easily handled compact representation for Hessenbergians, referred to here as Leibnizian representation. Alongside, the elements of a fundamental solution set associated with linear difference equations with variable coefficients of order $p$ are explicitly represented by $p$ banded Hessenbergian solutions, built up solely of the variable coefficients. This yields banded Hessenbergian representations for the elements both of the product of companion matrices and of the determinant ratio formula of the one-sided Green's function (Green's function for short). Combining the above results, the elements of the foregoing notions are endowed with compact representations formulated here by Leibnizian and nested sum representations. We show that the elements of the fundamental solution set can be expressed in terms of the first banded Hessenbergian fundamental solution, called principal determinant function. We also show that the Green's function coincides with the principal determinant function, when both functions are restricted to a fairly large domain. These results yield, an explicit and compact representation of the Green's function restriction along with an explicit and compact solution representation of the previously stated type of difference equations in terms of the variable coefficients, the initial conditions and the forcing term. The equivalence of the Green's function solution representation and the well known single determinant solution representation is derived from first principles. Algorithms and automated software are employed to illustrate the main results of this paper.
Integer Representations and Trajectories of the 3x+1 Problem
This paper studies certain trajectories of the Collatz function. I show that if for each odd number $n$, $n\sim 3n+2$ then every positive integer $n \in \mathbb{N}\setminus 2^{\mathbb{N}}$ has the representation $$n=\left(2^{a_{k+1}}-\sum_{i=0}^{k}{2^{a_i}3^{k-i}}\right)/ 3^{k+1}$$ where $0\le a_0 \le a_1 \le \cdot \cdot \cdot \le a_{k+1}$. As a consequence, in order to prove Collatz Conjecture I illustrate that it is sufficient to prove $n\sim 3n+2$ for any odd $n\in \mathbb{N}\setminus 2^{\mathbb{N}} $. This is the main result of the paper.
The limiting distribution of the hook length of a randomly chosen cell in a random Young diagram
Published
• View Publication
• BIB
Let $p(n)$ be the number of all integer partitions of the positive integer $n$ and let $λ$ be a partition, selected uniformly at random from among all such $p(n)$ partitions. It is known that each partition $λ$ has a unique graphical representation, composed by $n$ non-overlapping cells in the plane called Young diagram. As a second step of our sampling experiment, we select a cell $c$ uniformly at random from among all $n$ cells of the Young diagram of the partition $λ$. For large $n$, we study the asymptotic behavior of the hook length $Z_n=Z_n(λ,c)$ of the cell $c$ of a random partituion $λ$. This two-step sampling procedure suggests a product probability measure, which assigns the probability $1/np(n)$ to each pair $(λ,c)$. With respect to this probability measure, we show that the random variable $πZ_n/\sqrt{6n}$ converges weakly, as $n\to\infty$, to a random variable whose probability density function equals $6y/π^2 (e^y-1)$ if $0<y<\infty$, and zero elsewhere.
A characteristic map for the symmetric space of symplectic forms over a finite field
Published
• View Publication
• BIB
The characteristic map for the symmetric group is an isomorphism relating the representation theory of the symmetric group to symmetric functions. An analogous isomorphism is constructed for the symmetric space of symplectic forms over a finite field, with the spherical functions being sent to Macdonald polynomials with parameters $(q,q^2)$. An analogue of parabolic induction is interpreted as a certain multiplication of symmetric functions. Applications are given to Schur-positivity of skew Macdonald polynomials with parameters $(q,q^2)$ as well as combinatorial formulas for spherical function values.
Counting integer points of flow polytopes
Published
• View Publication
• BIB
The Baldoni--Vergne volume and Ehrhart polynomial formulas for flow polytopes are significant in at least two ways. On one hand, these formulas are in terms of Kostant partition functions, connecting flow polytopes to this classical vector partition function fundamental in representation theory. On the other hand the Ehrhart polynomials can be read off from the volume functions of flow polytopes. The latter is remarkable since the leading term of the Ehrhart polynomial of an integer polytope is its volume! Baldoni and Vergne proved these formulas via residues. To reveal the geometry of these formulas, the second author and Morales gave a fully geometric proof for the volume formula and a part generating function proof for the Ehrhart polynomial formula. The goal of the present paper is to provide a fully geometric proof for the Ehrhart polynomial formula of flow polytopes.
On additive co-minimal pairs
Published in J. Number Theory 223 (2021), 350-370
• View Publication
• BIB
A pair of non-empty subsets $(W,W')$ in an abelian group $G$ is an additive complement pair if $W+W'=G$. $W'$ is said to be minimal to $W$ if $W+(W'\setminus \{w'\}) \neq G, \forall \,w'\in W'$. In general, given an arbitrary subset in a group, the existence of minimal complement(s) depends on its structure. The dual problem asks that given such a set, if it is a minimal complement to some subset. Additive complements have been studied in the context of representations of integers since the time of Erdős, Hanani, Lorentz and others. The notion of minimal complements is due to Nathanson. We study tightness property of complement pairs $(W,W')$ such that both $W$ and $W'$ are minimal to each other. These are termed co-minimal pairs and we show that any non-empty finite set in an arbitrary free abelian group belongs to some co-minimal pair. We also study infinite sets forming co-minimal pairs. At the other extreme, motivated by unbounded arithmetic progressions in the integers, we look at sets which can never be a part of any minimal pair. This leads to a discussion on co-minimality, subgroups, approximate subgroups and asymptotic approximate subgroups of $G$.
Spectra and eigenspaces from regular partitions of Cayley (di)graphs of permutation groups
In this paper, we present a method to obtain regular (or equitable) partitions of Cayley (di)graphs (that is, graphs, digraphs, or mixed graphs) of permutation groups on $n$ letters. We prove that every partition of the number $n$ gives rise to a regular partition of the Cayley graph. By using representation theory, we also obtain the complete spectra and the eigenspaces of the corresponding quotient (di)graphs. More precisely, we provide a method to find all the eigenvalues and eigenvectors of such (di)graphs, based on their irreducible representations. As examples, we apply this method to the pancake graphs $P(n)$ and to a recent known family of mixed graphs $Γ(d,n,r)$ (having edges with and without direction). As a byproduct, the existence of perfect codes in $P(n)$ allows us to give a lower bound for the multiplicity of its eigenvalue $-1$.
Approximating the Orthogonality Dimension of Graphs and Hypergraphs
Published
• View Publication
• BIB
A $t$-dimensional orthogonal representation of a hypergraph is an assignment of nonzero vectors in $\mathbb{R}^t$ to its vertices, such that every hyperedge contains two vertices whose vectors are orthogonal. The orthogonality dimension of a hypergraph $H$, denoted by $\overlineξ(H)$, is the smallest integer $t$ for which there exists a $t$-dimensional orthogonal representation of $H$. In this paper we study computational aspects of the orthogonality dimension of graphs and hypergraphs. We prove that for every $k \geq 4$, it is $\mathsf{NP}$-hard (resp. quasi-$\mathsf{NP}$-hard) to distinguish $n$-vertex $k$-uniform hypergraphs $H$ with $\overlineξ(H) \leq 2$ from those satisfying $\overlineξ(H) \geq Ω(\log^δn)$ for some constant $δ>0$ (resp. $\overlineξ(H) \geq Ω(\log^{1-o(1)} n)$). For graphs, we relate the $\mathsf{NP}$-hardness of approximating the orthogonality dimension to a variant of a long-standing conjecture of Stahl. We also consider the algorithmic problem in which given a graph $G$ with $\overlineξ(G) \leq 3$ the goal is to find an orthogonal representation of $G$ of as low dimension as possible, and provide a polynomial time approximation algorithm based on semidefinite programming.
Translation hyperovals and $\mathbb{F}_2$-linear sets of pseudoregulus type
In this paper, we study translation hyperovals in PG$(2,q^k)$. The main result of this paper characterises the point sets defined by translation hyperovals in the André/Bruck-Bose representation. We show that the affine point sets of translation hyperovals in PG$(2,q^k)$ are precisely those that have a scattered $\mathbb{F}_2$-linear set of pseudoregulus type in PG$(2k-1,q)$ as set of directions. This correspondence is used to generalise the results of Barwick and Jackson who provided a characterisation for translation hyperovals in PG$(2,q^2)$.
Tropical representations and identities of plactic monoids
Published
• View Publication
• BIB
We exhibit a faithful representation of the plactic monoid of every finite rank as a monoid of upper triangular matrices over the tropical semiring. This answers a question first posed by Izhakian and subsequently studied by several authors. A consequence is a proof of a conjecture of Kubat and Okniński that every plactic monoid of finite rank satisfies a non-trivial semigroup identity. In the converse direction, we show that every identity satisfied by the plactic monoid of rank $n$ is satisfied by the monoid of $n \times n$ upper triangular tropical matrices. In particular this implies that the variety generated by the $3 \times 3$ upper triangular tropical matrices coincides with that generated by the plactic monoid of rank $3$, answering another question of Izhakian.
Vandermondes in superspace
Superspace of rank $n$ is a $\mathbb{Q}$-algebra with $n$ commuting generators $x_1, \dots, x_n$ and $n$ anticommuting generators $θ_1, \dots, θ_n$. We present an extension of the Vandermonde determinant to superspace which depends on a sequence $\mathbf{a} = (a_1, \dots, a_r)$ of nonnegative integers of length $r \leq n$. We use superspace Vandermondes to construct graded representations of the symmetric group. This construction recovers hook-shaped Tanisaki quotients, the coinvariant ring for the Delta Conjecture constructed by Haglund, Rhoades, and Shimozono, and a superspace quotient related to positroids and Chern plethysm constructed by Billey, Rhoades, and Tewari. We define a notion of partial differentiation with respect to anticommuting variables to construct doubly graded modules from superspace Vandermondes. These doubly graded modules carry a natural ring structure which satisfies a 2-dimensional version of Poincaré duality. The application of polarization operators gives rise to other bigraded modules which give a conjectural module for the symmetric function $Δ'_{e_{k-1}} e_n$ appearing in the Delta Conjecture of Haglund, Remmel, and Wilson.
Specialness and the Bose representation
This article looks at subconics of order $q$ of $PG(2,q^2)$ and characterizes them in the Bruck-Bose representation in $PG(4,q)$. In common with other objects in the Bruck-Bose representation, the characterisation uses the transversals of the regular line spread $S$ associated with the Bruck-Bose representation.By working in the Bose representation of $PG(2,q^2)$ in $PG(5,q)$, we give a geometric explanation as to why the transversals of the regular spread $S$ are intrinsic to the characterisation of varieties of $PG(2,q^2)$.
Conics in Baer subplanes
This article studies conics and subconics of $PG(2,q^2)$ and their representation in the André/Bruck-Bose setting in $PG(4,q)$. In particular, we investigate their relationship with the transversal lines of the regular spread. The main result is to show that a conic in a tangent Baer subplane of $PG(2,q^2)$ corresponds in $PG(4,q)$ to a normal rational curve that meets the transversal lines of the regular spread. Conversely, every 3 and 4-dimensional normal rational curve in $PG(4,q)$ that meets the transversal lines of the regular spread corresponds to a conic in a tangent Baer subplane of $PG(2,q^2)$.
A characterisation of Baer subplanes
Let $K$ be a set of $q^2+2q+1$ points in $PG(4,q)$. We show that if every 3-space meets $K$ in either one, two or three lines, a line and a non-degenerate conic, or a twisted cubic, then $K$ is a ruled cubic surface. Moreover, $K$ corresponds via the Bruck-Bose representation to a tangent Baer subplane of $PG(2,q^2)$. We use this to prove a characterisation in $PG(2,q^2)$ of a set of points $B$ as a tangent Baer subplane by looking at the intersections of $B$ with Baer-pencils.
A ruled quintic surface in $PG(6,q)$
In this article we look at a scroll of $PG(6,q)$ that uses a projectivity to rule a conic and a twisted cubic. We show this scroll is a ruled quintic surface $\mathcal V^5_2$, and study its geometric properties. The motivation in studying this scroll lies in its relationship with an $\mathbb F_q$-subplane of $PG(2,q^3)$ via the Bruck-Bose representation.
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
Published in Fundamenta Informaticae, Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024 (December 27, 2025) fi:12328
• View Publication
• BIB
In this paper, we consider relational structures arising from Comer's finite field construction, where the cosets need not be sum free. These Comer schemes generalize the notion of a Ramsey scheme and may be of independent interest. As an application, we give the first finite representation of $34_{65}$. This leaves $33_{65}$ as the only remaining relation algebra in the family $N_{65}$ with a flexible atom that is not known to be finitely representable. Motivated by this, we complement our upper bounds with some lower bounds. Using a SAT solver, we show that $33_{65}$ is not finitely representable on fewer than $24$ points, and that $33_{65}$ does not admit a cyclic group representation on fewer than $120$ points. We also employ a SAT solver to show that $34_{65}$ is not representable on fewer than $24$ points.
Tensegrities on the space of generic functions
In this small note we introduce a notion of self-stresses on the set functions in two variables with generic critical points. The notion naturally comes from a rather exotic representation of classical Maxwell frameworks in terms of differential forms. For the sake of clarity we work in the two-dimensional case only. However all the definitions for the higher dimensional case are straightforward.
When is the $q$-multiplicity of a weight a power of $q$?
Berenshtein and Zelevinskii provided an exhaustive list of pairs of weights $(λ,μ)$ of simple Lie algebras $\mathfrak{g}$ (up to Dynkin diagram isomorphism) for which the multiplicity of the weight $μ$ in the representation of $\mathfrak{g}$ with highest weight $λ$ is equal to one. Using Kostant's weight multiplicity formula we describe and enumerate the contributing terms to the multiplicity for subsets of these pairs of weights and show that, in these cases, the cardinality of these contributing sets is enumerated by (multiples of) Fibonacci numbers. We conclude by using these results to compute the associated $q$-multiplicity for the pairs of weights considered, and conjecture that in all cases the $q$-multiplicity of such pairs of weights is given by a power of $q$.
Koszul Algebras and Flow Lattices
We provide a homological algebraic realization of the lattices of integer cuts and integer flows of graphs. To a finite 2-edge-connected graph $Γ$ with a spanning tree $T$, we associate a finite dimensional Koszul algebra $A_{Γ,T}$. Under the construction, planar dual graphs with dual spanning trees are associated Koszul dual algebras. The Grothendieck group of the category of finitely-generated $A_{Γ,T}$ modules is isomorphic to the Euclidean lattice $\mathbb Z^{E(Γ)}$, and we describe the sublattices of integer cuts and integer flows on $Γ$ in terms of the representation theory of $A_{Γ,T}$. The grading on $A_{Γ,T}$ gives rise to $q$-analogs of the lattices of integer cuts and flows; these $q$-lattices depend non-trivially on the choice of spanning tree. We give a $q$-analog of the matrix-tree theorem, and prove that the $q$-flow lattice of $(Γ_1,T_1)$ is isomorphic to the $q$-flow lattice of $(Γ_2,T_2)$ if and only if there is a cycle preserving bijection from the edges of $Γ_1$ to the edges of $Γ_2$ taking the spanning tree $T_1$ to the spanning tree $T_2$. This gives a $q$-analog of a classical theorem of Caporaso-Viviani and Su-Wagner.