Showing 20 papers (Total: 82432 papers, 47671 authors in database)
A refinement of a result of Andrews and Newman on the sum of minimal excludants
Published in Ramanujan J. Vol. 62 (2023), 1045--1067
• View Publication
• BIB
In this article, we refine a result of Andrews and Newman, that is, the sum of minimal excludants over all the partitions of a number $n$ equals the number of partitions of $n$ into distinct parts with two colors. As a consequence, we find congruences modulo 4 and 8 for the functions appearing in this refinement. We also conjecture three further congruences for these functions. In addition, we also initiate the study of $k^{th}$ moments of minimal excludants. At the end, we also provide an alternate proof of a beautiful identity due to Hopkins, Sellers and Stanton.
Cluster scattering diagrams and theta functions for reciprocal generalized cluster algebras
Published
• View Publication
• BIB
We give a construction of generalized cluster varieties and generalized cluster scattering diagrams for reciprocal generalized cluster algebras, the latter of which were defined by Chekhov and Shapiro. These constructions are analogous to the structures given for ordinary cluster algebras in the work of Gross, Hacking, Keel, and Kontsevich. As a consequence of these constructions, we are also able to construct theta functions for generalized cluster algebras, again in the reciprocal case, and demonstrate a number of their structural properties.
Complex psd-minimal polytopes in dimensions two and three
Published
• View Publication
• BIB
The extension complexity of a polytope measures its amenability to succinct representations via lifts. There are several versions of extension complexity, including linear, real semidefinite, and complex semidefinite. We focus on the last of these, for which the least is known, and in particular on understanding which polytopes are complex psd-minimal. We prove the existence of an obstruction to complex psd-minimality which is efficiently computable via lattice membership problems. Using this tool, we complete the classification of complex psd-minimal polygons (geometrically as well as combinatorially). In dimension three we exhibit several new examples of complex psd-minimal polytopes and apply our obstruction to rule out many others.
A Proof of the Optimal Leapfrogging Conjecture
Published
• View Publication
• BIB
Suppose we place checkers in the lower left corner of a Go board and wish to move them to the upper right corner in as few moves as possible, where the pieces move as in the game of Chinese checkers. Auslander, Benjamin, and Wilkerson in 1993 generalized this game for integer lattices and defined a measure of speed for a starting configuration of pieces. They proved that the maximum speed of any configuration is 1, and only three configurations, called "speed-of-light" configurations, attain this speed. We prove their conjecture that the maximum speed of a non-speed-of-light configuration is 2/3 in the 2-dimensional case, and present a framework that should extend to higher dimensions.
Hurwitz equivalence of reflection factorizations in $G_7$
We prove that two reflection factorizations of a given element in an exceptional rank-2 complex reflection group of tetrahedral type are Hurwitz-equivalent if and only if they generate the same subgroup and have the same multiset of conjugacy classes.
Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
Published in Journal of the European Mathematical Society, online first (2024)
• View Publication
• BIB
We characterize the big Ramsey degrees of free amalgamation classes in finite binary languages defined by finitely many forbidden irreducible substructures, thus refining the recent upper bounds given by Zucker. Using this characterization, we show that the Fraïssé limit of each such class admits a strong big Ramsey structure, implying that the automorphism group of the Fraïssé limit has a metrizable universal completion flow.
A graph coloring approach to family-based haplotype reconstruction
Edge Constrained Vertex Coloring (ECVC) problems are defined on a finite multigraph, their solutions are characterized, and a linear time algorithm is given for solving $N$ ECVCs on the same underlying multigraph. Using ECVC problems we develop a novel family-based haplotype reconstruction method which has linear-time complexity in both number of markers and family size and has many other desirable properties. To do so, we define a multigraph given a genomic interval on which a family is recombination-free.
Terwilliger algebras and some related algebras defined by finite connected simple graphs
Published
• View Publication
• BIB
For a finite connected simple graph, the Terwilliger algebra is a matrix algebra generated by the adjacency matrix and idempotents corresponding to the distance partition with respect to a fixed vertex. We will consider algebras defined by two other partitions and the centralizer algebra of the stabilizer of the fixed vertex in the automorphism group of the graph. We will give some methods to compute such algebras and examples for various graphs.
Answer to a question by A. Mandarino, T. Linowski and K. Życzkowski
Published
• View Publication
• BIB
A recent work by A. Mandarino, T. Linowski and K. Życzkowski left open the following question. If $ μ_N $ is a certain permutation of entries of a $ N^2 \times N^2 $ matrix ("mixing map") and $ U_N $ is a $ N^2 \times N^2 $ Haar unitary random matrix, then is the family $ U_N, U_N^{μ_N}, ( U_N^2 )^{μ_N}, \dots , ( U_N^m)^{μ_N} $ asymptotically free? (here by $A^{ μ}$ we understand the matrix resulted by permuting the entries of $ A $ according to the permutation $ μ$). This paper presents some techniques for approaching such problems. In particular, one easy consequence of the main result is that the question above has an affirmative answer.
On well-edge-dominated graphs
Published
• View Publication
• BIB
A graph is said to be well-edge-dominated if all its minimal edge dominating sets are minimum. It is known that every well-edge-dominated graph $G$ is also equimatchable, meaning that every maximal matching in $G$ is maximum. In this paper, we show that if $G$ is a connected, triangle-free, nonbipartite, well-edge-dominated graph, then $G$ is one of three graphs. We also characterize the well-edge-dominated split graphs and Cartesian products. In particular, we show that a connected Cartesian product $G\Box H$ is well-edge-dominated, where $G$ and $H$ have order at least $2$, if and only if $G\Box H = K_2 \Box K_2$.
Anti-Ramsey number of disjoint rainbow bases in all matroids
Consider a matroid $M=(E,\mathcal{I})$ with its elements of the ground set $E$ colored. A rainbow basis is a maximum independent set in which each element receives a different color. The rank of a subset $S$ of $E$, denoted by $r_M(S)$, is the maximum size of an independent set in $S$. A flat $F$ is a maximal set in $M$ with a fixed rank. The anti-Ramsey number of $t$ pairwise disjoint rainbow bases in $M$, denoted by $ar(M,t)$, is defined as the maximum number of colors $m$ such that there exists an $m$ coloring of the ground set $E$ of $M$ which contains no $t$ pairwise disjoint rainbow bases. We determine $ar(M,t)$ for all matroids of rank at least 2: $ar(M,t)=|E|$ if there exists a flat $F_0$ with $|E|-|F_0|<t(r_M(E)-r_M(F_0))$; and $ar(M,t)=\max_{F\colon r_M(F)\leq r_M(E)-2} \{|F|+t(r_M(E)-r_M(F)-1)\}$ otherwise. This generalizes Lu-Meier-Wang's previous result on the anti-Ramsey number of edge-disjoint rainbow spanning trees in any multigraph $G$.
The subspace structure of maximum cliques in pseudo-Paley graphs from unions of cyclotomic classes
Published in Finite Fields Appl. 99 (2024), Paper No. 102492, 36 pp
• View Publication
• BIB
Blokhuis showed that all maximum cliques in Paley graphs of square order have a subfield structure. Recently, it has been shown that in Peisert-type graphs, all maximum cliques are affine subspaces, and yet some maximum cliques do not arise from a subfield. In this paper, we investigate the existence of a clique of size $\sqrt{q}$ with a subspace structure in pseudo-Paley graphs of order $q$ from unions of semi-primitive cyclotomic classes. We show that such a clique must have an equal contribution from each cyclotomic class and that most such pseudo-Paley graphs do not admit such cliques, suggesting that the Delsarte bound $\sqrt{q}$ on the clique number can be improved in general. We also prove that generalized Peisert graphs are not isomorphic to Paley graphs or Peisert graphs, confirming a conjecture of Mullin.
Crystal bases of modified $\imath$quantum groups of certain quasi-split types
Published
• View Publication
• BIB
In order to see the behavior of $\imath$canonical bases at $q = \infty$, we introduce the notion of $\imath$crystals associated to an $\imath$quantum group of certain quasi-split type. The theory of $\imath$crystals clarifies why $\imath$canonical basis elements are not always preserved under natural homomorphisms. Also, we construct a projective system of $\imath$crystals whose projective limit can be thought of as the $\imath$canonical basis of the modified $\imath$quantum group at $q = \infty$.
$P$-associahedra
Published
• View Publication
• BIB
For each poset $P$, we construct a polytope $A(P)$ called the $P$-associahedron. Similarly to the case of graph associahedra, the faces of $A(P)$ correspond to certain nested collections of subsets of $P$. The Stasheff associahedron is a compactification of the configuration space of $n$ points on a line, and we recover $A(P)$ as an analogous compactification of the space of order-preserving maps $P\to\mathbb{R}$. Motivated by the study of totally nonnegative critical varieties in the Grassmannian, we introduce affine poset cyclohedra and realize these polytopes as compactifications of configuration spaces of $n$ points on a circle. For particular choices of (affine) posets, we obtain associahedra, cyclohedra, permutohedra, and type B permutohedra as special cases.
Proofs, generalizations and analogs of Menon's identity: a survey
Published in Acta Univ. Sapientiae, Mathematica, 15 (2023), no. 1, 142-197
• View Publication
• BIB
Menon's identity states that for every positive integer $n$ one has $\sum (a-1,n) = \varphi(n) τ(n)$, where $a$ runs through a reduced residue system (mod $n$), $(a-1,n)$ stands for the greatest common divisor of $a-1$ and $n$, $\varphi(n)$ is Euler's totient function and $τ(n)$ is the number of divisors of $n$. Menon's identity has been the subject of many research papers, also in the last years. We present detailed, self contained proofs of this identity by using different methods, and point out those that we could not identify in the literature. We survey the generalizations and analogs, and overview the results and proofs given by Menon in his original paper. Some historical remarks and an updated list of references are included as well.
Counting Gray codes for an improved upper bound of the Grünbaum-Hadwiger-Ramos problem
We give an improved upper bound for the Grünbaum--Hadwiger--Ramos problem: Let $d,n,k \in \mathbb{N}$ such that $d \geq 2^n(1+2^{k-1})$. Given $2^{n+1}$ masses on $\mathbb{R}^d$, there exist $k$ hyperplanes in $\mathbb{R}^d$ that partition it into $2^k$ sets of equal size with respect to all measures. This is an improvement to the previous bound $d \geq 2^{n + k}$ by Mani-Levitska, Vrećica & Živaljević in 2006. This is achieved by classifying the number of certain Gray code patterns modulo 2. The reduction was developed by Blagojević, Frick, Haase & Ziegler in 2016. It utilizes the group action of the symmetric group $(\mathbb{Z}/2)^k \rtimes \mathfrak{S}_k$ of $k$ oriented hyperplanes. If we restrict to the subgroup $(\mathbb{Z}/2)^k$ as Mani-Levitska et al. we retrieve their bound.
Dynamical IP$^{\star}$-sets in weak rings
Published
• View Publication
• BIB
V. Bergelson and N. Hindman proved that IP$^{\star}$- sets contain all possible finite sums and products of a sum subsystem of any sequence in $\mathbb{N}$. In a recent work the second author of this article has proved that a stronger result holds for dynamical IP$^{\star}$- sets. In this article we will establish a non-commutative version of this result. We will prove that a richer configuration is contained in dynamical IP$^{\star}$- sets in weak rings.
Planar graphs with the maximum number of induced 6-cycles
Published in Electronic Journal of Combinatorics 30 (2023), P4.6
• View Publication
• BIB
For large $n$ we determine the maximum number of induced 6-cycles which can be contained in a planar graph on $n$ vertices, and we classify the graphs which achieve this maximum. In particular we show that the maximum is achieved by the graph obtained by blowing up three pairwise non-adjacent vertices in a 6-cycle to sets of as even size as possible, and that every extremal example closely resembles this graph. This extends previous work by the author which solves the problem for 4-cycles and 5-cycles. The 5-cycle problem was also solved independently by Ghosh, Győri, Janzer, Paulos, Salia, and Zamora.
Finiteness of rank for Grassmann convexity
Published
• View Publication
• BIB
The Grassmann convexity conjecture gives a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. The conjecture can be reformulated in terms of convex curves in the nilpotent lower triangular group. The formula has already been shown to be a correct lower bound and to give a correct upper bound in several small dimensional cases. In this paper we obtain a general explicit upper bound.
Beyond the Sottile-Sturmfels degeneration of a semi-infinite Grassmannian
Published
• View Publication
• BIB
We study toric degenerations of semi-infinite Grassmannians (a.k.a. quantum Grassmannians). While the toric degenerations of the classical Grassmannians are well studied, the only known example in the semi-infinite case is due to Sottile-Sturmfels. We start by providing a new interpretation of the Sottile-Sturmfels construction by finding a poset such that their degeneration is the toric variety of the order polytope of the poset. We then use our poset to construct and study a new toric degeneration in the semi-infinite case. Our construction is based on the notion of poset polytopes introduced by Fang-Fourier-Litza-Pegel. As an application we introduce semi-infinite PBW-semistandard tableaux, giving a basis in the homogeneous coordinate ring of a semi-infinite Grassmannian.