representation ↗ reference
4143 papers tagged with this keyword
A refinement of the Kac polynomials for quivers with enough loops
Published
• View Publication
• BIB
A conjecture of Kac now a theorem asserts that the polynomial now known as the Kac polynomial, which counts the isomorphism classes of absolutely indecomposable representations of a quiver over a finite field with a given dimension vector, has non-negative integer coefficients only. In this paper, we show that, for quivers with enough loops, every Kac polynomial can be expressed as a sum of the refined Kac polynomials which are parametrized by tuples of partitions and have non-negative integer coefficients only. A closed formula for the refined Kac polynomials is given. We further introduce a new class of representations called blocks and make a conjectural interpretation of the refined Kac polynomials for quivers with enough loops in terms of the numbers of block representations.
Triangular Recurrences, Generalized Eulerian Numbers, and Related Number Triangles
Published in Adv. in Appl. Math. 146 (2023), Paper No. 102485, 62 pp
• View Publication
• BIB
Many combinatorial and other number triangles are solutions of recurrences of the Graham-Knuth-Patashnik (GKP) type. Such triangles and their defining recurrences are investigated analytically. They are acted on by a transformation group generated by two involutions: a left-right reflection and an upper binomial transformation, acting row-wise. The group also acts on the bivariate exponential generating function (EGF) of the triangle. By the method of characteristics, the EGF of any GKP triangle has an implicit representation in terms of the Gauss hypergeometric function. There are several parametric cases when this EGF can be obtained in closed form. One is when the triangle elements are the generalized Stirling numbers of Hsu and Shiue. Another is when they are generalized Eulerian numbers of a newly defined kind. These numbers are related to the Hsu-Shiue ones by an upper binomial transformation, and can be viewed as coefficients of connection between polynomial bases, in a manner that generalizes the classical Worpitzky identity. Many identities involving these generalized Eulerian numbers and related generalized Narayana numbers are derived, including closed-form evaluations in combinatorially significant cases.
Grassmannians over rings and subpolygons
Published
• View Publication
• BIB
We investigate special points on the Grassmannian which correspond to friezes with coefficients in the case of rank two. Using representations of arithmetic matroids we obtain a theorem on subpolygons of specializations of the coordinate ring. As a special case we recover the characterization of subpolygons in classic frieze patterns. Moreover, we observe that specializing clusters of the coordinate ring of the Grassmannian to units yields representations that may be interpreted as arrangements of hyperplanes with notable properties. In particular, we get an interpretation of certain Weyl groups and groupoids as generalized frieze patterns.
$p$-numerical semigroups with $p$-symmetric properties
Published
• View Publication
• BIB
The so-called Frobenius number in the famous linear Diophantine problem of Frobenius is the largest integer such that the linear equation $a_1 x_1+\cdots+a_k x_k=n$ ($a_1,\dots,a_k$ are given positive integers with $\gcd(a_1,\dots,a_k)=1$) does not have a non-negative integer solution $(x_1,\dots,x_k)$. The generalized Frobenius number (called the $p$-Frobenius number) is the largest integer such that this linear equation has at most $p$ solutions. That is, when $p=0$, the $0$-Frobenius number is the original Frobenius number.
In this paper, we introduce and discuss $p$-numerical semigroups by developing a generalization of the theory of numerical semigroups based on this flow of the number of representations. That is, for a certain non-negative integer $p$, $p$-gaps, $p$-symmetric semigroups, $p$-pseudo-symmetric semigroups, and the like are defined, and their properties are obtained. When $p=0$, they correspond to the original gaps, symmetric semigroups, and pseudo-symmetric semigroups, respectively.
An algebraic characterization of self-generating chemical reaction networks using semigroup models
Published
• View Publication
• BIB
The ability of a chemical reaction network to generate itself by catalyzed reactions from constantly present environmental food sources is considered a fundamental property in origin-of-life research. Based on Kaufmann's autocatalytic sets, Hordijk and Steel have constructed the versatile formalism of catalytic reaction systems (CRS) to model and to analyze such self-generating networks, which they named reflexively autocatalytic and food generated (RAF). Previously, it was established that the subsequent and simultaenous catalytic functions of the chemicals of a CRS give rise to an algebraic structure, termed a semigroup model. The semigroup model allows to naturally consider the function of any subset of chemicals on the whole CRS. This gives rise to a generative dynamics by iteratively applying the function of a subset to the externally supplied food set. The fixed point of this dynamics yields the maximal self-generating set of chemicals. Moreover, the lattice of all functionally closed self-generating sets of chemicals is discussed and a structure theorem for this lattice is proven. It is also shown that a CRS which contains self-generating sets of chemicals cannot be nilpotent and thus a useful link to the combinatorial theory of finite semigroups is established. The main technical tool introduced and utilized in this work is the representation of the semigroup elements as decorated rooted trees, allowing to translate the generation of chemicals from a given set of resources into the semigroup language.
Haros graphs: an exotic representation of real numbers
Published
• View Publication
• BIB
This paper introduces Haros graphs, a construction which provides a graph-theoretical representation of real numbers in the unit interval reached via paths in the Farey binary tree. We show how the topological structure of Haros graphs yields a natural classification of the reals numbers into a hierarchy of families. To unveil such classification, we introduce an entropic functional on these graphs and show that it can be expressed, thanks to its fractal nature, in terms of a generalised de Rham curve. We show that this entropy reaches a global maximum at the reciprocal of the Golden number and otherwise displays a rich hierarchy of local maxima and minima that relate to specific families of irrationals (noble numbers) and rationals, overall providing an exotic classification and representation of the reals numbers according to entropic principles. We close the paper with a number of conjectures and outline a research programme on Haros graphs.
On the Spectra of Threshold Hypergraphs
Published
• View Publication
• BIB
Starting with an isolated vertex, here we construct a threshold hypergraph by repeatedly adding an isolated vertex or a $k$-dominating vertex set. We represent a threshold hypergraph by a string of non-negative integers and find the Laplacian spectrum of threshold hypergraphs from their string representation. We also compute the complete Laplacian spectrum of certain threshold hypergraphs from the Ferrer's diagram of their degree sequences. We show that the Laplacian spectra of threshold hypergraphs are $r$-integral, i.e., integral multiple of $r$, for some $r\in \mathbb{Q}$. We also construct another class of hypergraphs whose Laplacian spectra are $r$-integral.
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
Published in 13th International Conference on Interactive Theorem Proving (2022). 11:1-11:19
• View Publication
• BIB
The formalisation of mathematics is continuing rapidly, however combinatorics continues to present challenges to formalisation efforts, such as its reliance on techniques from a wide range of other fields in mathematics. This paper presents formal linear algebraic techniques for proofs on incidence structures in Isabelle/HOL, and their application to the first formalisation of Fisher's inequality. In addition to formalising incidence matrices and simple techniques for reasoning on linear algebraic representations, the formalisation focuses on the linear algebra bound and rank arguments. These techniques can easily be adapted for future formalisations in combinatorics, as we demonstrate through further application to proofs of variations on Fisher's inequality.
The Binary Enots Wolley Sequence
It is an open conjecture that the Enots Wolley sequence is surjective onto the set of positive integers with a binary weight of at least 2. In this paper, this property is proved for an analog of the Enots Wolley sequence which operates on the binary representation of a number rather than the prime factorization.
FPS In Action: An Easy Way To Find Explicit Formulas For Interlaced Hypergeometric Sequences
Linear recurrence equations with constant coefficients define the power series coefficients of rational functions. However, one usually prefers to have an explicit formula for the sequence of coefficients, provided that such a formula is "simple" enough. Simplicity is related to the compactness of the formula due to the presence of algebraic numbers: "the smaller, the simpler". This poster showcases the capacity of recent updates on the Formal Power Series (FPS) algorithm, implemented in Maxima and Maple (convert/FormalPowerSeries), to find simple formulas for sequences like those from https://oeis.org/A307717, https://oeis.org/A226782, or https://oeis.org/A226784 by computing power series representations of their correctly guessed generating functions. We designed the algorithm for the more general context of univariate $P$-recursive sequences. Our implementations are available at http://www.mathematik.uni-kassel.de/~bteguia/FPS_webpage/FPS.htm
The excluded minors for 2- and 3-regular matroids
Published in Journal of Combinatorial Theory, Series B, 163 (2023), 133-218
• View Publication
• BIB
The class of 2-regular matroids is a natural generalisation of regular and near-regular matroids. We prove an excluded-minor characterisation for the class of 2-regular matroids. The class of 3-regular matroids coincides with the class of matroids representable over the Hydra-5 partial field, and the 3-connected matroids in the class with a $U_{2,5}$- or $U_{3,5}$-minor are precisely those with six inequivalent representations over GF(5). We also prove that an excluded minor for this class has at most 15 elements.
Bounding and computing obstacle numbers of graphs
Published in SIAM Journal of Discrete Mathematics 38(2):1537-1565, 2024
• View Publication
• BIB
An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one mapping of the vertices of $G$ to points such that two vertices are adjacent in $G$ if and only if the line segment connecting the two corresponding points does not intersect any obstacle. The obstacle number of a graph is the smallest number of obstacles in an obstacle representation of the graph in the plane such that all obstacles are simple polygons. It is known that the obstacle number of each $n$-vertex graph is $O(n \log n)$ [Balko, Cibulka, and Valtr, 2018] and that there are $n$-vertex graphs whose obstacle number is $Ω(n/(\log\log n)^2)$ [Dujmović and Morin, 2015]. We improve this lower bound to $Ω(n/\log\log n)$ for simple polygons and to $Ω(n)$ for convex polygons. To obtain these stronger bounds, we improve known estimates on the number of $n$-vertex graphs with bounded obstacle number, solving a conjecture by Dujmović and Morin. We also show that if the drawing of some $n$-vertex graph is given as part of the input, then for some drawings $Ω(n^2)$ obstacles are required to turn them into an obstacle representation of the graph. Our bounds are asymptotically tight in several instances. We complement these combinatorial bounds by two complexity results. First, we show that computing the obstacle number of a graph $G$ is fixed-parameter tractable in the vertex cover number of $G$. Second, we show that, given a graph $G$ and a simple polygon $P$, it is NP-hard to decide whether $G$ admits an obstacle representation using $P$ as the only obstacle.
Online coloring of disk graphs
Published
• View Publication
• BIB
In this paper, we give a family of online algorithms for the classical coloring problem of intersection graphs of discs with bounded diameter. Our algorithms make use of a geometric representation of such graphs and are inspired by an algorithm of Fiala et al., but have better competitive ratios. The improvement comes from using two techniques of partitioning the set of vertices before coloring them. One of whichis an application of a b-fold coloring of the plane. The method is more general and we show how it can be applied to coloring other shapes on the plane as well as adjust it for online L(2, 1)-labeling.
Complexity of representations of coefficients of power series in classical statistical mechanics. Their classification and complexity criteria
It is declared that the aim of simplifying representations of coefficients of power series of classical statistical mechanics is to simplify a process of obtaining estimates of the coefficients using their simplified representations. The aim of the article is: to formulate criteria for the complexity (from the above point of view) of these representations and to demonstrate their application by examples of comparing Ree-Hoover representations of virial coefficients and such representations of power series coefficients that are based on the conception of the frame classification of labeled graphs.
To solve these problems, mathematical notions were introduced (such as a base product, a base integral, a base linear combination of integrals, a base linear combination of integrals with coefficients of negligible complexity, a base set of base linear combinations of integrals with coefficients of negligible complexity); and a classification of representations of coefficients of power series of classical statistical mechanics is proposed. In this classification the class of base linear combinations of integrals with coefficients of negligible complexity is the most important class. It includes the most well-known representations of the coefficients of power series of classical statistical mechanics.
Three criteria are formulated to estimate the comparative complexity of base linear combinations of integrals with coefficients of negligible complexity and their extensions to the totality of base sets of base linear combinations of integrals with coefficients of negligible complexity are constructed. The application of all the constructed criteria is demonstrated by examples of comparing with each other of the above power series coefficients representations. The obtained results are presented in the tables and commented.
The Meta-C-finite Ansatz
Published
• View Publication
• BIB
The Fibonacci numbers satisfy the famous recurrence $F_n = F_{n - 1} + F_{n - 2}$. The theory of C-finite sequences ensures that the Fibonacci numbers whose indices are divisible by $m$, namely $F_{mn}$, satisfy a similar recurrence for every positive integer $m$, and these recurrences have an explicit, uniform representation. We will show that $a(mn)$ has a uniform recurrence over $m$ for any C-finite sequence $a(n)$ and use this to automatically derive some famous summation identities.
How many cliques can a clique cover cover?
Published
• View Publication
• BIB
This work examines the problem of clique enumeration on a graph by exploiting its clique covers. The principle of inclusion/exclusion is applied to determine the number of cliques of size $r$ in the graph union of a set $\mathcal{C} = \{c_1, \ldots, c_m\}$ of $m$ cliques. This leads to a deeper examination of the sets involved and to an orbit partition, $Γ$, of the power set $\mathcal{P}(\mathcal{N}_{m})$ of $\mathcal{N}_{m} = \{1, \ldots, m\}$. Applied to the cliques, this partition gives insight into clique enumeration and yields new results on cliques within a clique cover, including expressions for the number of cliques of size $r$ as well as generating functions for the cliques on these graphs. The quotient graph modulo this partition provides a succinct representation to determine cliques and maximal cliques in the graph union. The partition also provides a natural and powerful framework for related problems, such as the enumeration of induced connected components, by drawing upon a connection to extremal set theory through intersecting sets.
A Tensor-Cube Version of the Saxl Conjecture
Published
• View Publication
• BIB
Let $n$ be a positive integer, and let $ρ_n = (n, n-1, n-2, \ldots, 1)$ be the ``staircase'' partition of size $N = {n+1 \choose 2}$. The Saxl conjecture asserts that every irreducible representation $S^λ$ of the symmetric group $S_N$ appears as a subrepresentation of the tensor square $S^{ρ_n} \otimes S^{ρ_n}$. In this short note we show that every irreducible representation of $S_N$ appears in the tensor cube $S^{ρ_n} \otimes S^{ρ_n} \otimes S^{ρ_n}$.
Signed tropical halfspaces and convexity
We extend the fundamentals for tropical convexity beyond the tropically positive orthant expanding the theory developed by Loho and Végh (ITCS 2020). We study two notions of convexity for signed tropical numbers called 'TO-convexity' (formerly 'signed tropical convexity') and the novel notion 'TC-convexity'. We derive several separation results for TO-convexity and TC-convexity. A key ingredient is a thorough understanding of TC-hemispaces - those TC-convex sets whose complement is also TC-convex. Furthermore, we use new insights in the interplay between convexity over Puiseux series and its signed valuation. Remarkably, TC-convexity can be seen as a natural convexity notion for representing oriented matroids as it arises from a generalization of the composition operation of vectors in an oriented matroid. We make this explicit by giving representations of linear spaces over the real tropical hyperfield in terms of TC-convexity.
The Frobenius number for sequences of triangular numbers associated with number of solutions
Published
• View Publication
• BIB
The famous linear diophantine problem of Frobenius is the problem to determine the largest integer (Frobenius number) whose number of representations in terms of $a_1,\dots,a_k$ is at most zero, that is not representable. In other words, all the integers greater than this number can be represented for at least one way. One of the natural generalizations of this problem is to find the largest integer (generalized Frobenius number) whose number of representations is at most a given nonnegative integer $p$. It is easy to find the explicit form of this number in the case of two variables. However, no explicit form has been known even in any special case of three variables. In this paper we are successful to show explicit forms of the generalized Frobenius numbers of the triples of triangular numbers. When $p=0$, their Frobenius number is given by Robles-Pérez and Rosales in 2018.
Hermitian adjacency matrices of mixed multigraphs
A mixed multigraph is obtained from an undirected multigraph by orienting a subset of its edges. In this paper, we study a new Hermitian matrix representation of mixed multigraphs, give an introduction to cospectral operations on mixed multigraphs, and characterize switching equivalent mixed multigraphs in terms of fundamental cycle basis. As an application, an upper bound of cospectral classes of mixed multigraphs with the same underlying graph is obtained.