representation ↗ reference
4053 papers tagged with this keyword
Enumerating maximal consistent closed sets in closure systems
Published
• View Publication
• BIB
Given an implicational base, a well-known representation for a closure system, an inconsistency binary relation over a finite set, we are interested in the problem of enumerating all maximal consistent closed sets (denoted by MCCEnum for short). We show that MCCEnum cannot be solved in output-polynomial time unless $\textsf{P} = \textsf{NP}$, even for lower bounded lattices. We give an incremental-polynomial time algorithm to solve MCCEnum for closure systems with constant Carathéodory number. Finally we prove that in biatomic atomistic closure systems MCCEnum can be solved in output-quasipolynomial time if minimal generators obey an independence condition, which holds in atomistic modular lattices. For closure systems closed under union (i.e., distributive), MCCEnum has been previously solved by a polynomial delay algorithm.
There are only a finite number of excluded minors for the class of bicircular matroids
Published in Advances in Combinatorics 2023:7, 46pp
• View Publication
• BIB
We show that the class of bicircular matroids has only a finite number of excluded minors. Key tools used in our proof include representations of matroids by biased graphs and the recently introduced class of quasi-graphic matroids. We show that if $N$ is an excluded minor of rank at least ten, then $N$ is quasi-graphic. Several small excluded minors are quasi-graphic. Using biased-graphic representations, we find that $N$ already contains one of these. We also provide an upper bound, in terms of rank, on the number of elements in an excluded minor, so the result follows.
Infinite-dimensional groups over finite fields and Hall-Littlewood symmetric functions
Published in Advances in Mathematics 395 (2022), paper 108087
• View Publication
• BIB
The groups mentioned in the title are certain matrix groups of infinite size over a finite field $\mathbb F_q$. They are built from finite classical groups and at the same time they are similar to reductive $p$-adic Lie groups. In the present paper, we initiate the study of invariant measures for the coadjoint action of these infinite-dimensional groups.
We examine first the group $\mathbb{GLB}$, a topological completion of the inductive limit group $\varinjlim GL(n, \mathbb F_q)$. As was shown by Gorin, Kerov, and Vershik [arXiv:1209.4945], the traceable factor representations of $\mathbb{GLB}$ admit a complete classification, achieved in terms of harmonic functions on the Young graph $\mathbb Y$.
We show that there exists a parallel theory for ergodic coadjoint-invariant measures, which is linked with a deformed version of harmonic functions on $\mathbb Y$. Here the deformation means that the edges of $\mathbb Y$ are endowed with certain formal multiplicities coming from the simplest version of Pieri rule (multiplication by the first power sum $p_1$) for the Hall-Littlewood (HL) symmetric functions with parameter $t:=q^{-1}$.
This fact serves as a prelude to our main results, which concern topological completions of two inductive limit groups built from finite unitary groups. We show that in this case, coadjoint-invariant measures are linked to some new branching graphs. The latter are still related to the HL functions, but the novelty is that now the formal edge multiplicities come from the multiplication by $p_2$ (not $p_1$) and the HL parameter $t$ turns out to be negative (as in Ennola's duality).
Schubert puzzles and integrability II: multiplying motivic Segre classes
Published
• View Publication
• BIB
In Schubert Puzzles and Integrability I we proved several "puzzle rules" for computing products of Schubert classes in K-theory (and sometimes equivariant K-theory) of d-step flag varieties. The principal tool was "quantum integrability", in several variants of the Yang--Baxter equation; this let us recognize the Schubert structure constants as q->0 limits of certain matrix entries in products of R- (and other) matrices of quantized affine algebra representations. In the present work we give direct cohomological interpretations of those same matrix entries but at finite q: they compute products of "motivic Segre classes", closely related to K-theoretic Maulik--Okounkov stable classes living on the cotangent bundles of the flag varieties. Without q->0, we avoid some divergences that blocked fuller understanding of d=3,4. The puzzle computations are then explained (in cohomology onlyin this work, not K-theory) in terms of Lagrangian convolutions between Nakajima quiver varieties. More specifically, the conormal bundle to the diagonal inclusion of a flag variety factors through a quiver variety that is not a cotangent bundle, and it is on that intermediate quiver variety that the R-matrix calculation occurs.
Unified Bernoulli-Euler polynomials of Apostol type
Published
• View Publication
• BIB
The object of this paper is to introduce and study properties of unified Apostol-Bernoulli and Apostol-Euler polynomials noted by $\left\{\mathfrak{V_{n}}(x;λ;μ)\right\}_{n \geq 0}$. We study some arithmetic properties of $\left\{\mathfrak{V_{n}}(x;λ;μ)\right\}_{n \geq 0}$ as their connection to Apostol-Euler polynomials and Apostol-Bernoulli polynomials. Also, we give derivation and integration representations of $\left\{\mathfrak{V_{n}}(x;λ;μ)\right\}_{n \geq 0}$. Finally, we use the umbral calculus approach to deduce symmetric identities.
Independent Hyperplanes in Oriented Paving Matroids
In 1993, Csima and Sawyer proved that in a non-pencil arrangement of n pseudolines, there are at least $\frac{6}{13}n$ simple points of intersection. Since pseudoline arrangements are the topological representations of reorientation classes of oriented matroids of rank $3$, in this paper, we will use this result to prove by induction that an oriented paving matroid of rank $r \ge 3$ on $n$ elements, where $n \geq 5+ r$, has at least $\frac{12}{13(r-1)} \binom{n}{r-2}$ independent hyperplanes, yielding a new necessary condition for a paving matroid to be orientable.
Extensions of the AZ-algorithm and the Package MultiIntegrate
Published
• View Publication
• BIB
We extend the (continuous) multivariate Almkvist-Zeilberger algorithm in order to apply it for instance to special Feynman integrals emerging in renormalizable Quantum field Theories. We will consider multidimensional integrals over hyperexponential integrands and try to find closed form representations in terms of nested sums and products or iterated integrals. In addition, if we fail to compute a closed form solution in full generality, we may succeed in computing the first coefficients of the Laurent series expansions of such integrals in terms of indefinite nested sums and products or iterated integrals. In this article we present the corresponding methods and algorithms. Our Mathematica package MultiIntegrate, can be considered as an enhanced implementation of the (continuous) multivariate Almkvist Zeilberger algorithm to compute recurrences or differential equations for hyperexponential integrands and integrals. Together with the summation package Sigma and the package HarmonicSums our package provides methods to compute closed form representations (or coefficients of the Laurent series expansions) of multidimensional integrals over hyperexponential integrands in terms of nested sums or iterated integrals.
The Benson -- Symonds Invariant for Ordinary and Signed Permutation Modules
Published
• View Publication
• BIB
The signed permutation modules are a simultaneous generalization of the ordinary permutation modules and the twisted permutation modules of the symmetric group. In a recent paper Dave Benson and Peter Symonds defined a new invariant $γ_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for all the signed permutation modules of the symmetric group using tools from representation theory and combinatorics.
Maclaurin's series expansions for positive integer powers of inverse (hyperbolic) sine and related functions, specific values of partial Bell polynomials, and two applications
Published in Series expansions of powers of arcsine, closed forms for special values of Bell polynomials, and series representations of generalized logsine functions, AIMS Mathematics, vol. 6 (2021), no. 7, 7494--7517
• View Publication
• BIB
In the paper, the authors establish Maclaurin's series expansions and series identities for positive integer powers of the inverse sine function, for positive integer powers of the inverse hyperbolic sine function, for the composite of incomplete gamma functions with the inverse hyperbolic sine function, for positive integer powers of the inverse tangent function, and for positive integer powers of the inverse hyperbolic tangent function, in terms of the first kind Stirling numbers and binomial coefficients, apply the newly established Maclaurin's series expansion for positive integer powers of the inverse sine function to derive a closed-form formula for specific values of partial Bell polynomials and to derive a series representation of the generalized logsine function, and deduce several combinatorial identities involving the first kind Stirling numbers. Some of these results simplify and unify some known ones. All of these newly established Maclaurin's series expansions of positive integer powers of the inverse (hyperbolic) sine and tangent functions can be used to derive infinite series representations of the circular constant Pi and of positive integer powers of Pi.
The $(l,r)$-Stirling numbers: a combinatorial approach
Published
• View Publication
• BIB
This work deals with a new generalization of $r$-Stirling numbers using $l$-tuple of permutations and partitions called $(l,r)$-Stirling numbers of both kinds. We study various properties of these numbers using combinatorial interpretations and symmetric functions. Also, we give a limit representation of the multiple zeta function using $(l,r)$-Stirling of the first kind.
Some binary products and integer linear programming for computing $k$-metric dimension of graphs
Let $G$ be a connected graph. For an ordered set $S=\{v_1,\ldots, v_\ell\}\subseteq V(G)$, the vector $r_G(v|S) = (d_G(v_1,v), \ldots, d_G(v_\ell,v))$ is called the metric $S$-representation of $v$. If for any pair of different vertices $u,v\in V(G)$, the vectors $r(v|S)$ and $r(u|S)$ differ in at least $k$ positions, then $S$ is a $k$-metric generator for $G$. A smallest $k$-metric generator for $G$ is a $k$-{\em metric basis} for $G$, its cardinality being the $k$-metric dimension of $G$. A sharp upper bound and a closed formulae for the $k$-metric dimension of the hierarchical product of graphs is proved. Also, sharp lower bounds for the $k$-metric dimension of the splice and link products of graphs are presented. An integer linear programming model for computing the $k$-metric dimension and a $k$-metric basis of a given graph is proposed. These results are applied to bound or to compute the $k$-metric dimension of some classes of graphs that are of interest in mathematical chemistry.
Representation of Context-Specific Causal Models with Observational and Interventional Data
Published
• View Publication
• BIB
We address the problem of representing context-specific causal models based on both observational and experimental data collected under general (e.g. hard or soft) interventions by introducing a new family of context-specific conditional independence models called CStrees. This family is defined via a novel factorization criterion that allows for a generalization of the factorization property defining general interventional DAG models. We derive a graphical characterization of model equivalence for observational CStrees that extends the Verma and Pearl criterion for DAGs. This characterization is then extended to CStree models under general, context-specific interventions. To obtain these results, we formalize a notion of context-specific intervention that can be incorporated into concise graphical representations of CStree models. We relate CStrees to other context-specific models, showing that the families of DAGs, CStrees, labeled DAGs and staged trees form a strict chain of inclusions. We end with an application of interventional CStree models to a real data set, revealing the context-specific nature of the data dependence structure and the soft, interventional perturbations.
Symbolic solutions of some linear recurrences
Published in Jour. Statist. Plann. Inference (2012), 142(2), 423--429
• View Publication
• BIB
A symbolic method for solving linear recurrences of combinatorial and statistical interest is introduced. This method essentially relies on a representation of polynomial sequences as moments of a symbol that looks as the framework of a random variable with no reference to any probability space. We give several examples of applications and state an explicit form for the class of linear recurrences involving Sheffer sequences satisfying a special initial condition. The results here presented can be easily implemented in a symbolic software.
Cyclotomic exponent sequences of numerical semigroups
Published
• View Publication
• BIB
We study the cyclotomic exponent sequence of a numerical semigroup $S,$ and we compute its values at the gaps of $S,$ the elements of $S$ with unique representations in terms of minimal generators, and the Betti elements $b\in S$ for which the set $\{a \in \operatorname{Betti}(S) : a \le_{S}b\}$ is totally ordered with respect to $\le_S$ (we write $a \le_S b$ whenever $a - b \in S,$ with $a,b\in S$). This allows us to characterize certain semigroup families, such as Betti-sorted or Betti-divisible numerical semigroups, as well as numerical semigroups with a unique Betti element, in terms of their cyclotomic exponent sequences. Our results also apply to cyclotomic numerical semigroups, which are numerical semigroups with a finitely supported cyclotomic exponent sequence. We show that cyclotomic numerical semigroups with certain cyclotomic exponent sequences are complete intersections, thereby making progress towards proving the conjecture of Ciolan, García-Sánchez and Moree (2016) stating that $S$ is cyclotomic if and only if it is a complete intersection.
Classification of $K$-type formulas for the Heisenberg ultrahyperbolic operator $\square_s$ for $\widetilde{SL}(3,\mathbb{R})$ and tridiagonal determinants for local Heun functions
Published
• View Publication
• BIB
The $K$-type formulas of the space of $K$-finite solutions to the Heisenberg ultrahyperbolic equation $\square_sf=0$ for the non-linear group $\widetilde{SL}(3,\mathbb{R})$ are classified. This completes a previous study of Kable for the linear group $SL(m,\mathbb{R})$ in the case of $m=3$, as well as generalizes our earlier results on a certain second order differential operator. As a by-product we also show several properties of certain sequences $\{P_j(x;y)\}_{j=0}^\infty$ and $\{Q_j(x;y)\}_{j=0}^\infty$ of tridiagonal determinants, whose generating functions are given by local Heun functions. In particular, it is shown that these sequences satisfy a certain arithmetic-combinatorial property, which we refer to as a palindromic property. We further show that classical sequences of Cayley continuants $\{\mathrm{Cay}_j(x;y)\}_{j=0}^\infty$ and Krawtchouk polynomials $\{\mathcal{K}_j(x;y)\}_{j=0}^\infty$ also admit this property. In the end a new proof of Sylvester's formula for certain tridiagonal determinant $\mathrm{Sylv}(x;n)$ is provided from a representation theory point of view.
Nonsingular splittings over finite fields
Published
• View Publication
• BIB
We say that $M$ and $S$ form a \textsl{splitting} of $G$ if every nonzero element $g$ of $G$ has a unique representation of the form $g=ms$ with $m\in M$ and $s\in S$, while $0$ has no such representation. The splitting is called {\it nonsingular} if $\gcd(|G|, a) = 1$ for any $a\in M$.
In this paper, we focus our study on nonsingular splittings of cyclic groups. We introduce a new notation --direct KM logarithm and we prove that if there is a prime $q$ such that $M$ splits $\mathbb{Z}_q$, then there are infinitely many primes $p$ such that $M$ splits $\mathbb{Z}_p$.
Subgraph complementation and minimum rank
Published in The Electronic Journal of Combinatorics 29(1) (2022) P1.38
• View Publication
• BIB
Any finite simple graph $G = (V,E)$ can be represented by a collection $\mathscr{C}$ of subsets of $V$ such that $uv\in E$ if and only if $u$ and $v$ appear together in an odd number of sets in $\mathscr{C}$. Let $c_2(G)$ denote the minimum cardinality of such a collection. This invariant is equivalent to the minimum dimension of a faithful orthogonal representation of $G$ over $\mathbb{F}_2$ and is closely connected to the minimum rank of $G$. We show that $c_2(G) = \operatorname{mr}(G,\mathbb{F}_2)$ when $\operatorname{mr}(G,\mathbb{F}_2)$ is odd, or when $G$ is a forest. Otherwise, $\operatorname{mr}(G,\mathbb{F}_2)\leq c_2(G)\leq \operatorname{mr}(G,\mathbb{F}_2)+1$. Furthermore, we show that the following are equivalent for any graph $G$ with at least one edge: i. $c_2(G)=\operatorname{mr}(G,\mathbb{F}_2)+1$; ii. the adjacency matrix of $G$ is the unique matrix of rank $\operatorname{mr}(G,\mathbb{F}_2)$ which fits $G$ over $\mathbb{F}_2$; iii. there is a minimum collection $\mathscr{C}$ as described in which every vertex appears an even number of times; and iv. for every component $G'$ of $G$, $c_2(G') = \operatorname{mr}(G',\mathbb{F}_2) + 1$. We also show that, for these graphs, $\operatorname{mr}(G,\mathbb{F}_2)$ is twice the minimum number of tricliques whose symmetric difference of edge sets is $E$. Additionally, we provide a set of upper bounds on $c_2(G)$ in terms of the order, size, and vertex cover number of $G$. Finally, we show that the class of graphs with $c_2(G)\leq k$ is hereditary and finitely defined. For odd $k$, the sets of minimal forbidden induced subgraphs are the same as those for the property $\operatorname{mr}(G,\mathbb{F}_2)\leq k$, and we exhibit this set for $c_2(G)\leq2$.
Ribbon tiling and character formula for periplectic Lie superalgebras
We give a combinatorial formula for the character of a finite-dimensional irreducible representation of the periplectic Lie superalgebra $\mathfrak{p}(n)$. The character of irreducible module $L(μ)$ is given by a cancellation-free alternating sum over the characters of thick or thin Kac modules, $Δ(λ)$ or $\nabla(λ)$, such that there exists a ribbon tiling of a skew Young diagram $λ/μ$.
On the Falk invariant of Shi and Linial arrangements
Published
• View Publication
• BIB
It is an open question to give a combinatorial interpretation of the Falk invariant of a hyperplane arrangement, i.e. the third rank of successive quotients in the lower central series of the fundamental group of the arrangement. In this article, we give a combinatorial formula for this invariant in the case of hyperplane arrangements that are complete lift representation of certain gain graphs. As a corollary, we compute the Falk invariant for the cone of the braid, Shi, Linial and semiorder arrangements.
A simple counterexample for the permanent-on-top conjecture
Published
• View Publication
• BIB
The permanent-on-top conjecture states that the largest eigenvalue of the Schur power matrix of a positive semi-definite Hermitian matrix H is per(H). A counterexample has been found with the help of computers, but here, I present another counterexample that can be checked by hand. My method is to use linear representations of groups to connect the spectrum of the Schur power matrix with the spectra of the entrywise(Hadamard) product matrices of permanental compound matrices. By that, we are able to study the properties of the spectrum of the Schur power matrix through the entrywise(Hadamard) product matrices of permanental compound matrices. The counterexample we find is in fact also a counterexample to a weaker conjecture related to permanental compound matrices. This conjecture was also known to be false, but the new counterexample is smaller than the known one.