Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Cartesian product of combinatorially rich sets -- algebraic, elementary and dynamical approaches
Published
• View Publication
• BIB
Using the methods of topological dynamics, H. Furstenberg introduced the notion of a central set and proved the famous Central Sets Theorem. D. De, N. Hindman, and D. Strauss introduced $C$-set, satisfying the strong central set theorem. Using the algebraic structure of the Stone-Čech compactification of a discrete semigroup, N. Hindman and D. Strauss proved that the Cartesian product of two $C$-sets is a $C$-set. S. Goswami has proved the same result using the elementary characterization of $C$-sets. In this article, we will prove that the product of two $C$-sets is a $C$-set, using the dynamical characterization of $C$-sets. Recently, S. Goswami has proved that the Cartesian product of two $CR$-sets is a $CR$-set, which was a question posed by N. Hindman, H. Hosseini, D. Strauss, and M. Tootkaboni in [Semigroup Forum 107 (2023)]. Here we also prove that the Cartesian product of two essential $CR$-sets is an essential $CR$-set.
Weakly distance-regular circulants, I
Published
• View Publication
• BIB
We classify certain non-symmetric commutative association schemes. As an application, we determine all the weakly distance-regular circulants of one type of arcs by using Schur rings. We also give the classification of primitive weakly distance-regular circulants.
Laplacian spectrum of weakly zero-divisor graph of the ring $\mathbb{Z}_{n}$
Published
• View Publication
• BIB
Let $R$ be a commutative ring with unity. The weakly zero-divisor graph $WΓ(R)$ of the ring $R$ is the simple undirected graph whose vertices are nonzero zero-divisors of $R$ and two vertices $x$, $y$ are adjacent if and only if there exists $r\in {\rm ann}(x)$ and $s \in {\rm ann}(y)$ such that $rs =0$. The zero-divisor graph of a ring is a spanning subgraph of the weakly zero-divisor graph. It is known that the zero-divisor graph of the ring $\mathbb{Z}_{p^t}$, where $p$ is a prime, is the Laplacian integral. In this paper, we obtain the Laplacian spectrum of the weakly zero-divisor graph $WΓ(\mathbb{Z}_{n})$ of the ring $\mathbb{Z}_{n}$ and show that $WΓ(\mathbb{Z}_{n})$ is Laplacian integral for arbitrary $n$.
Scattered trinomials of $\mathbb{F}_{q^6}[X]$ in even characteristic
Published
• View Publication
• BIB
In recent years, several families of scattered polynomials have been investigated in the literature. However, most of them only exist in odd characteristic. In [B. Csajbók, G. Marino and F. Zullo: New maximum scattered linear sets of the projective line, Finite Fields Appl. 54 (2018), 133-150; G. Marino, M. Montanucci and F. Zullo: MRD-codes arising from the trinomial $x^q+x^{q^3}+cx^{q^5}\in\mathbb{F}_{q^6}[x]$, Linear Algebra Appl. 591 (2020), 99-114], the authors proved that the trinomial $f_c(X)=X^{q}+X^{q^{3}}+cX^{q^{5}}$ of $\mathbb{F}_{q^6}[X]$ is scattered under the assumptions that $q$ is odd and $c^2+c=1$. They also explicitly observed that this is false when $q$ is even. In this paper, we provide a different set of conditions on $c$ for which this trinomial is scattered in the case of even $q$. Using tools of algebraic geometry in positive characteristic, we show that when $q$ is even and sufficiently large, there are roughly $q^3$ elements $c \in \mathbb{F}_{q^6}$ such that $f_{c}(X)$ is scattered. Also, we prove that the corresponding MRD-codes and $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^6)$ are not equivalent to the previously known ones.
Taylor is prime
Published
• View Publication
• BIB
We study the Taylor varieties and obtain new characterizations of them via compatible reflexive digraphs. Based on our findings, we prove that in the lattice of interpretability types of varieties, the filter of the types of all Taylor varieties is prime.
An Algebra of Elliptic Commuting Variables and an Elliptic Extension of the Multinomial Theorem
Published in SIGMA 21 (2025), 052, 15 pages
• View Publication
• BIB
We introduce an algebra of elliptic commuting variables involving a base $q$, nome $p$, and $2r$ noncommuting variables. This algebra, which for $r=1$ reduces to an algebra considered earlier by the author, is an elliptic extension of the well-known algebra of $r$ $q$-commuting variables. We present a multinomial theorem valid as an identity in this algebra, hereby extending the author's previously obtained elliptic binomial theorem to higher rank. Two essential ingredients are a consistency relation satisfied by the elliptic weights and the Weierstrass type $\mathsf A$ elliptic partial fraction decomposition. From the elliptic multinomial theorem we obtain, by convolution, an identity equivalent to Rosengren's type $\mathsf A$ extension of the Frenkel-Turaev ${}_{10}V_9$ summation. Interpreted in terms of a weighted counting of lattice paths in the integer lattice $\mathbb Z^r$, this derivation of Rosengren's $\mathsf A_r$ Frenkel-Turaev summation constitutes the first combinatorial proof of that fundamental identity.
A note on the equidistribution of $3$-colour partitions
Published in SIGMA 20 (2024), 001, 8 pages
• View Publication
• BIB
In this short note, we prove equidistribution results regarding three families of three-colour partitions recently introduced by Schlosser and Zhou. To do so, we prove an asymptotic formula for the infinite product $F_{a,c}(ζ; {\rm e}^{-z}) := \prod_{n \geq 0} \big(1- ζ{\rm e}^{-(a+cn)z}\big)$ ($a,c \in \mathbb{N}$ with $0<a\leq c$ and $ζ$ a root of unity) when $z$ lies in certain sectors in the right half-plane, which may be useful in studying similar problems. As a corollary, we obtain the asymptotic behaviour of the three-colour partition families at hand.
External columns and chambers of vector partition functions
Published
• View Publication
• BIB
The vector partition function $p_A$ associated to a $d \times n$ matrix $A$ with integer entries is the function $\mathbb{Z}^d \to \mathbb{N}$ defined by $\mathbf{b} \to \#\{\mathbf{x} \in \mathbb{N}^n : A\mathbf{x} = \mathbf{b}\}$. It is known that vector partition functions are piecewise quasi-polynomials whose domains of quasi-polynomiality are maximal cones (chambers) of a fan called the chamber complex of $A$.
In this article we introduce \emph{external columns} and \emph{external chambers} of vector partition functions. Our main result is that (up to a saturation condition) the quasi-polynomial associated to a chamber containing external columns arises from a vector partition function with $k$ fewer equations and variables. In the case that the chamber is external -- that is, when the number of external columns in a chamber is as large as possible without being trivial -- the quasi-polynomial arises from a coin exchange problem. By exploiting this we are able to obtain a determinantal formula, characterize when the quasi-polynomial is polynomial, and show that in this case it is actually given by a negative binomial coefficient. We then apply these results to the enumeration of loopless multigraphs satisfying some degree conditions. Finally, we suggest a generalization to a result of Baldoni and Vergne for polynomials arising from chambers that we call \emph{semi-external chambers}.
Young tableau reconstruction via minors
Published
• View Publication
• BIB
The tableau reconstruction problem, posed by Monks (2009), asks the following. Starting with a standard Young tableau $T$, a 1-minor of $T$ is a tableau obtained by first deleting any cell of $T$, and then performing jeu de taquin slides to fill the resulting gap. This can be iterated to arrive at the set of $k$-minors of $T$. The problem is this: given $k$, what are the values of $n$ such that every tableau of size $n$ can be reconstructed from its set of $k$-minors? For $k=1$, the problem was recently solved by Cain and Lehtonen. In this paper, we solve the problem for $k=2$, proving the sharp lower bound $n \geq 8$. In the case of multisets of $k$-minors, we also give a lower bound for arbitrary $k$, as a first step toward a sharp bound in the general multiset case.
Four infinite families of chiral $3$-polytopes of type $\{4, 8\}$ with solvable automorphism groups
Published
• View Publication
• BIB
We construct four infinite families of chiral $3$-polytopes of type $\{4, 8\}$, with $1024m^4$, $2048m^4$, $4096m^4$ and $8192m^4$ automorphisms for every positive integer $m$, respectively. The automorphism groups of these polytopes are solvable groups, and when $m$ is a power of $2$, they provide examples with automorphism groups of order $2^n$ where $n \geq 10$. (On the other hand, no chiral polytopes of type $\{4, 8\}$ exist for $n \leq 9$.) In particular, our families give a partial answer to a problem proposed by Schulte and Weiss in [Problems on polytopes, their groups, and realizations, {\em Period. Math. Hungar.} 53 (2006), 231-255] and a problem proposed by Pellicer in [Developments and open problems on chiral polytopes, {\em Ars Math. Contemp} 5 (2012), 333-354].
Convex minorant trees associated with Brownian paths and the continuum limit of the minimum spanning tree
We give an explicit construction of the scaling limit of the minimum spanning tree of the complete graph. The limit object is described using a recursive construction involving the convex minorants of a Brownian motion with parabolic drift (and countably many i.i.d. uniform random variables); we call it the Brownian parabolic tree.
Aside from the new representation, this point of view has multiple consequences. For instance, it permits us to prove that its Hausdorff dimension is almost surely 3. It also intrinsically contains information related to some underlying dynamics: one notable by-product is the construction of a standard metric multiplicative coalescent which couples the scaling limits of random graphs at different points of the critical window in terms of the same simple building blocks.
The above results actually fit in a more general framework. They result from the introduction of a new family of continuum random trees associated with functions via their convex minorants, that we call convex minorant trees. We initiate the study of these structures in the case of Brownian-like paths. In passing, we prove that the convex minorant tree of a Brownian excursion is a Brownian continuum ranndom tree, and that it provides a coupling between the Aldous--Pitman fragmentation of the Brownian continuum random tree and its representation by Bertoin.
Relative cluster categories and Higgs categories with infinite-dimensional morphism spaces
Cluster algebras *with coefficients* are important since they appear in nature as coordinate algebras of varieties like Grassmannians, double Bruhat cells, unipotent cells, ... . The approach of Geiss-Leclerc-Schröer often yields Frobenius exact categories which allow to categorify such cluster algebras. In previous work, the third-named author has constructed Higgs categories and relative cluster categories in the relative Jacobi-finite setting (arXiv:2109.03707). Higgs categories generalize the Frobenius categories used by Geiss-Leclerc-Schröer.
In this article, we construct the Higgs category and the relative cluster category in the relative Jacobi-infinite setting under suitable hypotheses. These cover for example the case of Jensen-King-Su's Grassmannian cluster category. As in the relative Jacobi-finite case, the Higgs category is no longer exact but still extriangulated in the sense of Nakaoka-Palu. We also construct a cluster character refining Plamondon's.
In the appendix, Chris Fraser and the second-named author categorify quasi-cluster morphisms using Frobenius categories. A recent application of this result is due to Matthew Pressland, who uses it to prove a conjecture by Muller-Speyer.
On complemented, uniquely complemented and uniquely complemented nondistributive lattices (a historical and epistemological note about a mathematical mystery)
Complemented lattices and uniquely complemented lattices are very important, not only in mathematics, but also in physics, biology, and even in social sciences. They have been investigated for a long time, especially by Huntington, Birkhoff, Dilworth and others. And yet, on some of these structures - namely, uniquely complemented nondistributive lattices -, despite the many existing articles concerning them, we basically know very little. In this article, we situate these lattest structures in the context of complemented and uniquely complemented lattices, offering a general overview of the links between these lattices and others, close to them, such as the orthocomplemented lattices of physics as well as various other partially ordered sets. We finally show how uniquely complemented nondistributive lattices have been constructed with the technique of free lattices.
An alternative proof for an aperiodic monotile
Published
• View Publication
• BIB
We give an alternative simple proof that the monotile introduced by Smith, Myers, Kaplan and Goodman-Strass is aperiodic.
Homotopy type of the independence complex of some categorical products of graphs
Published
• View Publication
• BIB
It was conjectured by Goyal, Shukla and Singh that the independence complex of the categorical product $K_2\times K_3\times K_n$ has the homotopy type of a wedge of $(n-1)(3n-2)$ spheres of dimension $3$. Here we prove this conjecture by calculating the homotopy type of the independence complex of the graphs $C_{3r}\times K_n$ and $K_2\times K_m\times K_n$. For $C_m \times K_n$ when $m$ is not a multiple of $3$, we calculate the homotopy type for $m = 4, 5$ and show that for other values it has to have the homotopy type of a wedge of spheres of at most $2$ consecutive dimensions and maybe some Moore spaces.
Applying constraint programming to minimal lottery designs
Published
• View Publication
• BIB
We develop and deploy a set of constraints for the purpose of calculating minimal sizes of lottery designs. Specifically, we find the minimum number of tickets of size six which are needed to match at least two balls on any draw of size six, whenever there are at most 70 balls.
Arndt and De Morgan Integer Compositions
In 2013, Joerg Arndt recorded that the Fibonacci numbers count integer compositions where the first part is greater than the second, the third part is greater than the fourth, etc. We provide a new combinatorial proof that verifies his observation using compositions with only odd parts as studied by De Morgan. We generalize the descent condition to establish families of recurrence relations related to two types of compositions: those made of any odd part and certain even parts, and those made of any even part and certain odd parts. These generalizations connect to compositions studied by Andrews and Viennot. New tools used in the combinatorial proofs include two permutations of compositions and a statistic based on the signed pairwise difference between parts.
Subtraction games in more than one dimension
Published
• View Publication
• BIB
This paper concerns two-player alternating play combinatorial games (Conway 1976) in the normal-play convention, i.e. last move wins. Specifically, we study impartial vector subtraction games on tuples of nonnegative integers (Golomb 1966), with finite subtraction sets. In case of two move rulesets we find a complete solution, via a certain $\mathcal{P}$-to-$\mathcal{P}$ principle (where $\mathcal{P}$ means that the previous player wins). Namely $x \in \mathcal{P}$ if and only if $x +a +b \in \mathcal{P}$, where $a$ and $b$ are the two move options. Flammenkamp 1997 observed that, already in one dimension, rulesets with three moves can be hard to analyze, and still today his related conjecture remains open. Here, we solve instances of rulesets with three moves in two dimensions, and conjecture that they all have regular outcomes. Through several computer visualizations of outcomes of multi-move two-dimensional rulesets, we observe that they tend to partition the game board into periodic mosaics on very few regions/segments, which can depend on the number of moves in a ruleset. For example, we have found a five-move ruleset with an outcome segmentation into six semi-infinite slices. In this spirit, we develop a coloring automaton that generalizes the $\mathcal{P}$-to-$\mathcal{P}$ principle. Given an initial set of colored positions, it quickly paints the $\mathcal{P}$-positions in segments of the game board. Moreover, we prove that two-dimensional rulesets have row/column eventually periodic outcomes. We pose open problems on the generic hardness of two-dimensional rulesets; several regularity conjectures are provided, but we also conjecture that not all rulesets have regular outcomes.
Coloring_of_some_crown-free_graphs
Published
• View Publication
• BIB
Let $G$ and $H$ be two vertex disjoint graphs. The {\em union} $G\cup H$ is the graph with $V(G\cup H)=V(G)\cup (H)$ and $E(G\cup H)=E(G)\cup E(H)$. The {\em join} $G+H$ is the graph with $V(G+H)=V(G)+V(H)$ and $E(G+H)=E(G)\cup E(H)\cup\{xy\;|\; x\in V(G), y\in V(H)$$\}$. We use $P_k$ to denote a {\em path} on $k$ vertices, use {\em fork} to denote the graph obtained from $K_{1,3}$ by subdividing an edge once, and use {\em crown} to denote the graph $K_1+K_{1,3}$. In this paper, we show that (\romannumeral 1) $χ(G)\le\frac{3}{2}(ω^2(G)-ω(G))$ if $G$ is (crown, $P_5$)-free, (\romannumeral 2) $χ(G)\le\frac{1}{2}(ω^2(G)+ω(G))$ if $G$ is (crown, fork)-free, and (\romannumeral 3) $χ(G)\le\frac{1}{2}ω^2(G)+\frac{3}{2}ω(G)+1$ if $G$ is (crown, $P_3\cup P_2$)-free.
Extremal problems for a matching and any other graph
Published
• View Publication
• BIB
For a family of graphs $\F$, a graph is called $\F$-free if it does not contain any member of $\F$ as a subgraph. The generalized Turán number $\ex(n,K_r,\F)$ is the maximum number of $K_r$ in an $n$-vertex $\F$-free graph and $\ex(n,K_2,\F)=\ex(n,\F)$, i.e., the classical Turán number. Let $M_{s+1}$ be a matching on $s+1$ edges and $F$ be any graph. In this paper, we determine $\ex(n,K_r, \{M_{s+1},F\})$ apart from a constant additive term and also give a condition when the error constant term can be determined. In particular, we give the exact value of $\ex(n,\{M_{s+1},F\})$ for $F$ being any non-bipartite graph or some bipartite graphs. Furthermore, we determine $\ex(n,K_r,\{M_{s+1},F\})$ when $F$ is color critical with $χ(F)\ge \max\{r+1,4\}$.
These extend the results in [2,11,18].