Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Free submonoids of hyperbolic monoids
In this paper, we prove that infinite cancellative finitely generated hyperbolic monoids never contain $\mathbb N\times\mathbb N$ as a submonoid but that they contain an element of infinite order and, if they are elementary, then they also contain a free monoid of rank at least 2. As a corollary we obtain that the latter have exponential growth. We prove these results by analysing the monoid of self-embeddings of hyperbolic digraphs and proving fixed-point theorems for them.
Homogeneous quandles with abelian inner automorphism groups
Published
• View Publication
• BIB
In this paper, we give a characterization of homogeneous quandles with abelian inner automorphism groups. In particular, we show that such a quandle is expressed as an abelian extension of a trivial quandle. Our construction is a generalization of the recent work by Furuki and Tamaru, which gives a construction of disconnected flat quandles.
Combinatorics of generalized parking-function polytopes
Published
• View Publication
• BIB
For $\mathbf{b}=(b_1,\dots,b_n)\in \mathbb{Z}_{>0}^n$, a $\mathbf{b}$-parking function is defined to be a sequence $(β_1,\dots,β_n)$ of positive integers whose nondecreasing rearrangement $β'_1\leq β'_2\leq \cdots \leq β'_n$ satisfies $β'_i\leq b_1+\cdots + b_i$. The $\mathbf{b}$-parking-function polytope $\mathfrak{X}_n(\mathbf{b})$ is the convex hull of all $\mathbf{b}$-parking functions of length $n$ in $\mathbb{R}^n$. Geometric properties of $\mathfrak{X}_n(\mathbf{b})$ were previously explored in the specific case where $\mathbf{b}=(a,b,b,\dots,b)$ and were shown to generalize those of the classical parking-function polytope. In this work, we study $\mathfrak{X}_n(\mathbf{b})$ in full generality. We present a minimal inequality and vertex description for $\mathfrak{X}_n(\mathbf{b})$, prove it is a generalized permutahedron, and study its $h$-polynomial. Furthermore, we investigate $\mathfrak{X}_n(\mathbf{b})$ through the perspectives of building sets and polymatroids, allowing us to identify its combinatorial types and obtain bounds on its combinatorial and circuit diameters.
$λ$-shaped random matrices, $λ$-plane trees, and $λ$-Dyck paths
Published in Electron. J. Probab. 30: 1-24, #11 (2025)
• View Publication
• BIB
We consider random matrices whose shape is the dilation $Nλ$ of a self-conjugate Young diagram $λ$. In the large-$N$ limit, the empirical distribution of the squared singular values converges almost surely to a probability distribution $F^λ$. The moments of $F^λ$ enumerate two combinatorial objects: $λ$-plane trees and $λ$-Dyck paths, which we introduce and show to be in bijection. We also prove that the distribution $F^λ$ is algebraic, in the sense of Rao and Edelman. In the case of fat hook shapes we provide explicit formulae for $F^λ$ and we express it as a free convolution of two measures involving a Marchenko-Pastur and a Bernoulli distribution.
The minimum weight of the code of intersecting lines in ${\rm PG}(3,q)$
Published
• View Publication
• BIB
We characterise the minimum weight codewords of the $p$-ary linear code of intersecting lines in ${\rm PG}(3,q)$, $q=p^h$, $q\geq19$, $p$ prime, $h\geq 1$. If $q$ is even, the minimum weight equals $q^3+q^2+q+1$. If $q$ is odd, the minimum weight equals $q^3+2q^2+q+1$. For $q$ even, we also characterise the codewords of second smallest weight.
Energy bounds for weighted spherical codes and designs via linear programming
Published
• View Publication
• BIB
Universal bounds for the potential energy of weighted spherical codes are obtained by linear programming. The universality is in the sense of Cohn-Kumar -- every attaining code is optimal with respect to a large class of potential functions (absolutely monotone), in the sense of Levenshtein -- there is a bound for every weighted code, and in the sense of parameters (nodes and weights) -- they are independent of the potential function. We derive a necessary condition for optimality (in the linear programming framework) of our lower bounds which is also shown to be sufficient when the potential is strictly absolutely monotone. Bounds are also obtained for the weighted energy of weighted spherical designs. We explore our bounds for several previously studied weighted spherical codes.
$M$-ary partition polynomials
Let $M=(m_{i})_{i=0}^{\infty}$ be a sequence of integers such that $m_{0}=1$ and $m_{i}\geq 2$ for $i\geq 1$. In this paper we study $M$-ary partition polynomials $(p_{M}(n,t))_{n=0}^{\infty}$ defined as the coefficient in the following power series expansion: \begin{align*} \prod_{i=0}^{\infty}\frac{1}{1-tq^{M_{i}}} = \sum_{n=0}^{\infty} p_{M}(n,t)q^{n}, \end{align*} where $M_{i}=\prod_{j=0}^{i}m_{j}$. In particular, we provide a detailed description of their rational roots and show, that all their complex roots have absolute values not greater than $2$. We also study arithmetic properties of $M$-ary partition polynomials. One of our main results says that if $n=a_{0}+a_{1}M_{1}+\cdots +a_{k}M_{k}$ is a (unique) representation such that $a_{j}\in\{0,\ldots ,m_{j+1}-1\}$ for every $j$, then \begin{align*} p_{M}(n,t)\equiv t^{a_{0}}\prod t^{a_{j}}f(a_{j}+1,t^{m_{j}-1}) \pmod{g_{k}(t)}, \end{align*} where $f(a,t):=\frac{t^{a}-1}{t-1}$ and $g_{k}(t):=\gcd \big(t^{m_{1}+m_{2}-1}f(m_{2},t^{m_{1}-1}),\ldots ,t^{m_{k}+m_{k+1}-1}f(m_{k+1},t^{m_{k}-1})\big)$. This is a polynomial generalisation of the well-known characterisation modulo $m$ of the sequence of $m$-ary partition.
Signed graphs in data sciences via communicability geometry
Published in Information Sciences 122096 (2025)
• View Publication
• BIB
Signed graphs are an emergent way of representing data in a variety of contexts where antagonistic interactions exist. These include data from biological, ecological, and social systems. Here we propose the concept of communicability for signed graphs and explore in depth its mathematical properties. We also prove that the communicability induces a hyperspherical geometric embedding of the signed network, and derive communicability-based metrics that satisfy the axioms of a distance even in the presence of negative edges. We then apply these metrics to solve several problems in the data analysis of signed graphs within a unified framework. These include the partitioning of signed graphs, dimensionality reduction, finding hierarchies of alliances in signed networks, and quantifying the degree of polarization between the existing factions in social systems represented by these types of graphs.
Frobenius numbers associated with Diophantine triples of $x^2+y^2=z^r$ (extended version)
Published
• View Publication
• BIB
We give an explicit formula for the $p$-Frobenius number of triples associated with Diophantine equations $x^2+y^2=z^r$, that is, the largest positive integer that can only be represented in $p$ ways by combining the three integers of the solutions of Diophantine equations $x^2+y^2=z^r$. When $r=2$, the Frobenius number has already been given.
On rainbow domination of cubic graphs
The structure of minimal weight rainbow domination functions of cubic graphs are studied. Based on general observations for cubic graphs, generalized Petersen graphs $P(ck,k)$ are characterized whose 4- and 5-rainbow domination numbers equal the general lower bounds. As $t$-rainbow domination of cubic graphs for $t \ge 6$ is trivial, characterizations of such generalized Petersen graphs $P(ck,k)$ are known for all $t$-rainbow domination numbers.In addition, new upper bounds for 4- and 5-rainbow domination numbers that are valid for all $P(ck,k)$ are provided.
Generalized paths and cycles in semicomplete multipartite digraphs
Published
• View Publication
• BIB
It is well-known and easy to show that even the following version of the directed travelling salesman problem is NP-complete: Given a strongly connected complete digraph $D=(V,A)$, a cost function $w: A\rightarrow \{0,1\}$ and a natural number $K$; decide whether $D$ has a directed Hamiltonian cycle of cost at most $K$. We study the following variant of this problem for $\{0,1\}$-weighted semicomplete digraphs where the set of arcs which have cost 1 form a collection of vertex-disjoint complete digraphs. A digraph is \textbf{semicomplete multipartite} if it can be obtained from a semicomplete digraph $D$ by choosing a collection of vertex-disjoint subsets $X_1,\ldots{},X_c$ of $V(D)$ and then deleting all arcs both of whose end-vertices lie inside some $X_i$. Let $D$ be a semicomplete digraph with a cost function $w$ as above, where $w(a)=1$ precisely when $a$ is an arc inside one of the subsets $X_1,\ldots{},X_c$ and let $D^*$ be the corresponding \smd{} that we obtain by deleting all arcs inside the $X_i$'s. Then every cycle $C$ of $D$ corresponds to a {\bf generalized cycle} $C^g$ of $D^*$ which is either the cycle $C$ itself if $w(C)=0$ or a collection of two or more paths that we obtain by deleting all arcs of cost 1 on $C$. Similarly we can define a {\bf generalized path} $P^g$ in a semicomplete multipartite digraph. The purpose of this paper is to study structural and algorithmic properties of generalized paths and cycles in semicomplete multipartite digraphs. This allows us to identify classes of directed $\{0,1\}$-weighted TSP instances that can be solved in polynomial time as well as others for which we can get very close to the optimum in polynomial time. Along with these results we also show that two natural questions about properties of cycles meeting all partite sets in semicomplete multipartite digraphs are NP-complete.
On Graph Grammars and Games
Graph grammars form an interesting area of research because of their versatility in modelling diverse situations with graphs as the structures which are to be manipulated. A new class of graph grammars, nc-eNCE Graph Grammars has been introduced recently with an aim of restricting the order of application of graph production rules, thereby generating different graph classes using the same set of rules. On the other hand 2D game design using an algorithmic approach known as procedural content generation has been of interest recently. In this paper we modify the structure of nc-eNCE graph grammars with the aim of generating directed graphs. We show that employing these graph grammars simplifies the design of 2D games. We have also developed an algorithm which makes use of these graph grammars for generating random game level layouts ensuring that the players will get a different gaming experience each time they play.
On the number of 8-cycles for two particular regular tournaments of order N with diametrically opposite local properties
For a regular tournament $T$ of order $n,$ denote by $c_{8}(T)$ the number of cycles of length $8$ in $T.$ Let $DR_{n}$ be a doubly-regular tournament of order $n\equiv 3\mod4$ (so, the out-sets and in-sets of its vertices are also regular and hence, contain the maximum possible number of cyclic triples) and $RLT_{n}$ be the unique regular locally transitive tournament of (odd) order $n$ (so, the out-sets and in-sets of its vertices are transitive and hence, contain no cyclic triples, at all). Some arguments based on the spectral properties of tournaments allow us to suggest that $c_{8}(T) \le c_{8}(RLT_{n}),$ where $n$ is sufficiently large. This restriction on $n$ is essential because our computer processing of B. McKay's file of tournaments implies that for $n=9,11,13,$ the maximum of $c_{8}(T)$ is attained at tournaments with regular structure of the out and in-sets of their vertices. In the present paper, we show that $c_{8}(DR_{n})$ does not depend on a particular choice of $DR_{n}$ and determine expressions for $c_{8}(DR_{n})$ and $c_{8}(RLT_{n}).$ They are both polynomials of degree $8$ in $n.$ Comparing $c_{8}(DR_{n})$ with $c_{8}(RLT_{n})$ yields the inequality $c_{8}(DR_{n})>c_{8}(RLT_{n})$ for $11\le n\le 35,$ while $c_{8}(RLT_{n}) > c_{8}(DR_{n})$ for $n\ge 39.$ This allows us to treat the value $n=39$ as the point of phase transition in the local properties of maximizers and minimizers of $c_{8}(T)$ in the class of regular tournaments of order $n.$
Diameter of 2-distance graphs
For a simple graph $G$, the $2$-distance graph, $D_2(G)$, is a graph with the vertex set $V(G)$ and two vertices are adjacent if and only if their distance is $2$ in the graph $G$. In this paper, for graphs $G$ with diameter 2, we show that $diam(D_2(G))$ can be any integer $t\geqslant2$. For graphs $G$ with $diam(G)\geqslant3$, we prove that $\frac{1}{2}diam(G)\leqslant diam(D_2(G))$ and this inequality is sharp. Also, for $diam(G)=3$, we prove that $diam(D_2(G))\leqslant5$ and this inequality is sharp.
Tilings of Benzels via Generalized Compression
Published in SIAM J. Discrete Math. 39(1):146-162 (2025)
• View Publication
• BIB
Defant, Li, Propp, and Young recently resolved two enumerative conjectures of Propp concerning the tilings of regions in the hexagonal grid called benzels using two types of prototiles called stones and bones (with varying constraints on allowed orientations of the tiles). Their primary tool, a bijection called compression that converts certain $k$-ribbon tilings to $(k-1)$-ribbon tilings, allowed them to reduce their problems to the enumeration of dimers (i.e., perfect matchings) of certain graphs. We present a generalized version of compression that no longer relies on the perspective of partitions and skew shapes. Using this strengthened tool, we resolve three more of Propp's conjectures and recast several others as problems about perfect matchings.
Conditions of positivity on a shadow Markoff Tree
Published in Journal of Integer Sequences, Vol. 27 (2024), 1 47 23 11 2 3 6 Article 24.8.3
• Search Publication
An analogue of the Markoff equation has recently been introduced by the author and Valentin Ovsienko. A conjecture about the necessary and sufficient conditions for positivity of solutions to this equation is formulated and discussed.
Quotients of M-convex sets and M-convex functions
Published
• View Publication
• BIB
We unify the study of quotients of matroids, polymatroids, valuated matroids and strong maps of submodular functions in the framework of Murota's discrete convex analysis. As a main result, we compile a list of ten equivalent characterizations of quotients for M-convex sets, generalizing existing formulations for (poly)matroids and submodular functions. We also initiate the study of quotients of M-convex functions, constructing a hierarchy of four separate characterizations. Our investigations yield new insights into the fundamental operation of induction, as well as the structure of linking sets and linking functions, which are generalizations of linking systems and bimatroids.
Towards a Stallings-type theorem for finite groups
A recent development in graph-minor theory is to study local separators, vertex-sets that separate graphs locally but not necessarily globally. The local separators of a graph roughly correspond to the genuine separators of its local covering: a usually infinite graph obtained by keeping all local structure of the original graph while unfolding all other structure as much as possible.
We use local separators and local coverings to discover and prove a low-order Stallings-type result for finite nilpotent groups $Γ$: the $r$-local covering of some Cayley graph $G$ of $Γ$ has $\geq 2$ ends that are separated by $\leq 2$ vertices iff $G$ has an $r$-local separator of size $\leq 2$ and $Γ$ has order $>r$, iff $Γ$ is isomorphic to $C_i\times C_j$ for some $i>r$ and $j\in\{1,2\}$.
Boolean intervals in the weak Bruhat order of a finite Coxeter group
Given a Coxeter group $W$ with Coxeter system $(W,S)$, where $S$ is finite. We provide a complete characterization of Boolean intervals in the weak order of $W$ uniformly for all Coxeter groups in terms of independent sets of the Coxeter graph. Moreover, we establish that the number of Boolean intervals of rank $k$ in the weak order of $W$ is ${i_k(Γ_W)\cdot|W|}\,/\,2^{k}$, where $Γ_W$ is the Coxeter graph of $W$ and $i_k(Γ_W)$ is the number of independent sets of size $k$ of $Γ_W$ when $W$ is finite. Specializing to $A_n$, we recover the characterizations and enumerations of Boolean intervals in the weak order of $A_n$ given in arXiv:2306.14734. We provide the analogous results for types $C_n$ and $D_n$, including the related generating functions and additional connections to well-known integer sequences.
Schubert valuations on Grassmann varieties
The goal of the paper is twofold: on one side it provides an order structure on the set of all maximal chains in the Bruhat poset of Schubert varieties in a Grassmann variety; on the other hand, using this order structure, it works out explicit formulae for the valuation and the Newton-Okounkov body associated to each maximal chain appearing in the framework of Seshadri stratification.