Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Casting light on shadow Somos sequences
Published
• View Publication
• BIB
Recently Ovsienko and Tabachnikov considered extensions of Somos and Gale-Robinson sequences, defined over the algebra of dual numbers. Ovsienko used the same idea to construct so-called shadow sequences derived from other nonlinear recurrence relations exhibiting the Laurent phenomenon, with the original motivation being the hope that these examples should lead to an appropriate notion of a cluster superalgebra, incorporating Grassmann variables. Here we present various explicit expressions for the shadow of Somos-4 sequences, and describe the solution of a general Somos-4 recurrence defined over the $\mathbb{C}$-algebra of dual numbers from several different viewpoints: analytic formulae in terms of elliptic functions, linear difference equations, and Hankel determinants.
Embedding clique-factors in graphs with low $\ell$-independence number
Published
• View Publication
• BIB
The following question was proposed by Nenadov and Pehova and reiterated by Knierim and Su: Given integers $\ell,r$ and $n$ with $n\in r\mathbb{N}$, is it true that every $n$-vertex graph $G$ with $δ(G) \ge \max \{ \frac{1}{2},\frac{r - \ell}{r} \}n + o(n)$ and $α_{\ell}(G) = o(n) $ contains a $K_{r}$-factor? We give a negative answer for the case when $\ell\ge \frac{3r}{4}$ by giving a family of constructions using the so-called cover thresholds and show that the minimum degree condition given by our construction is asymptotically best possible. That is, for all integers $r,\ell$ with $r > \ell \ge \frac{3}{4}r$ and $μ>0$, there exist $α> 0$ and $N$ such that for every $n\in r\mathbb{N}$ with $n>N$, every $n$-vertex graph $G$ with $δ(G) \ge \left( \frac{1}{2-\varrho_{\ell}(r-1)} + μ\right)n $ and $α_{\ell}(G) \le αn$ contains a $K_{r}$-factor. Here $\varrho_{\ell}(r-1)$ is the Ramsey--Turán density for $K_{r-1}$ under the $\ell$-independence number condition.
Star Structure Connectivity of Folded hypercubes and Augmented cubes
Published in Journal of Supercomputing 2022
• View Publication
• BIB
The connectivity is an important parameter to evaluate the robustness of a network. As a generalization, structure connectivity and substructure connectivity of graphs were proposed. For connected graphs $G$ and $H$, the $H$-structure connectivity $κ(G; H)$ (resp. $H$-substructure connectivity $κ^{s}(G; H)$) of $G$ is the minimum cardinality of a set of subgraphs $F$ of $G$ that each is isomorphic to $H$ (resp. to a connected subgraph of $H$) so that $G-F$ is disconnected or the singleton. As popular variants of hypercubes, the $n$-dimensional folded hypercubes $FQ_{n}$ and augmented cubes $AQ_{n}$ are attractive interconnected network prototypes for multiple processor systems. In this paper, we obtain that $κ(FQ_{n};K_{1,m})=κ^{s}(FQ_{n};K_{1,m})=\lceil\frac{n+1}{2}\rceil$ for $2\leqslant m\leqslant n-1$, $n\geqslant 7$, and $κ(AQ_{n};K_{1,m})=κ^{s}(AQ_{n};K_{1,m})=\lceil\frac{n-1}{2}\rceil$ for $4\leqslant m\leqslant \frac{3n-15}{4}$.
Refinement of some partition identities of Merca and Yee
Published
• View Publication
• BIB
Recently, Merca and Yee proved some partition identities involving two new partition statistics. We refine these statistics and generalize the results of Merca and Yee. We also correct a small mistake in a result of Merca and Yee.
Parity biases in partitions and restricted partitions
Published in European Journal of Combinatorics, Volume 103, July 2022, 103522
• View Publication
• BIB
Let $p_{o}(n)$ (resp. $p_{e}(n)$) denote the number of partitions of $n$ with more odd parts (resp. even parts) than even parts (resp. odd parts). Recently, Kim, Kim, and Lovejoy proved that $p_{o}(n)>p_{e}(n)$ for all $n>2$ and conjectured that $d_{o}(n)>d_{e}(n)$ for all $n>19$ where $d_{o}(n)$ (resp. $d_{e}(n)$) denote the number of partitions into distinct parts having more odd parts (resp. even parts) than even parts (resp. odd parts). In this paper we provide combinatorial proofs for both the result and the conjecture of Kim, Kim and Lovejoy. In addition, we show that if we restrict the smallest part of the partition to be $2$, then the parity bias is reversed. That is, if $q_{o}(n)$ (resp. $q_{e}(n)$) denote the number of partitions of $n$ with more odd parts (resp. even parts) than even parts (resp. odd parts) where the smallest part is at least $2$, then we have $q_o(n)<q_e(n)$ for all $n>7$. We also look at some more parity biases in partitions with restricted parts.
Abelian groups from random hypergraphs
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $\mathcal{H}$ on vertex set $\{1, ..., n\}$ we associate a particular signed incidence matrix $M(\mathcal{H})$ over the integers. For $\mathcal{H} \sim \mathcal{H}_k(n, p)$ an Erdős--Rényi random $k$-uniform hypergraph, $\text{coker}(M(\mathcal{H}))$ is then a model for random abelian groups. Motivated by conjectures from the study of random simplicial complexes we show that for $p = ω(1/n^{k - 1})$, $\text{coker}(M(\mathcal{H}))$ is torsion-free.
Finite Coxeter Groups and Generalized Elnitsky Tilings
In [5], Elnitsky constructed three elegant bijections between classes of reduced words for Type $\mathrm{A}$, $\mathrm{B}$ and $\mathrm{D}$ families of Coxeter groups and certain tilings of polygons. This paper offers a particular generalization of this concept to all finite Coxeter Groups in terms of embeddings into the Symmetric Group.
[5] Elnitsky, Serge. Rhombic tilings of polygons and classes of reduced words in Coxeter groups. PhD dissertation, University of Michigan, 1993.
Castelnuovo-Mumford regularity of matrix Schubert varieties
Published
• View Publication
• BIB
Matrix Schubert varieties are affine varieties arising in the Schubert calculus of the complete flag variety. We give a formula for the Castelnuovo-Mumford regularity of matrix Schubert varieties, answering a question of Jenna Rajchgot. We follow her proposed strategy of studying the highest-degree homogeneous parts of Grothendieck polynomials, which we call Castelnuovo-Mumford polynomials. In addition to the regularity formula, we obtain formulas for the degrees of all Castelnuovo-Mumford polynomials and for their leading terms, as well as a complete description of when two Castelnuovo-Mumford polynomials agree up to scalar multiple. The degree of the Grothendieck polynomial is a new permutation statistic which we call the Rajchgot index; we develop the properties of Rajchgot index and relate it to major index and to weak order.
On graphs with unique geoodesics and antipodes
Published
• View Publication
• BIB
In 1962, Oystein Ore asked in which graphs there is exactly one geodesic between any two vertices. He called such graphs geodetic. In this paper, we systematically study properties of geodetic graphs, and also consider antipodal graphs, in which each vertex has exactly one antipode (a farthest vertex). We find necessary and sufficient conditions for a graph to be geodetic or antipodal, obtain results related to algorithmic construction, and find interesting families of Hamiltonian geodetic graphs. By introducing and describing the maximal hereditary subclasses and the minimal hereditary superclasses of the geodetic and antipodal graphs, we get close to the goal of our research -- a constructive classification of these graphs.
From word-representable graphs to altered Tverberg-type theorems
Published
• View Publication
• BIB
Tverberg's theorem says that a set with sufficiently many points in $\mathbb{R}^d$ can always be partitioned into $m$ parts so that the $(m-1)$-simplex is the (nerve) intersection pattern of the convex hulls of the parts. In arXiv:1808.00551v1 [math.MG] the authors investigate how other simplicial complexes arise as nerve complexes once we have a set with sufficiently many points. In this paper we relate the theory of word-representable graphs as a way of codifying $1$-skeletons of simplicial complexes to generate nerves. In particular, we show that every $2$-word-representable triangle-free graph, every circle graph, every outerplanar graph, and every bipartite graph could be induced as a nerve complex once we have a set with sufficiently many points in $\mathbb{R}^d$ for some $d$.
Joins of circulant matrices
We study the spectrum of the join of several circulant matrices. We apply our results to compute explicitly the spectrum of certain graphs obtained by joining several circulant graphs.
Probability distributions with rational free $R$-transform
We study the class $\mathcal{M}_{\mathrm{ratio}}$ of those probability distributions for which the free $R$-transforms are rational functions. This class is closed under the additive free convolution, additive free powers and under the monotone convolution. We prove a sufficient condition that a rational function is the free $R$-transform of a probability distribution. Several examples are provided, including that of free deconvolution.
Weight enumerators, intersection enumerators and Jacobi polynomials II
Published
• View Publication
• BIB
In the present paper, we introduce the concepts of Jacobi polynomials and intersection enumerators of codes over $\mathbb{F}_q$ and $\mathbb{Z}_{k}$ for arbitrary genus $g$. We also discuss the interrelation among them. Finally, we give the MacWilliams type identities for Jacobi polynomials.
Generalization of Menger's Edge Theorem to Four Vertices
Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there exist $k$ pairwise summand-disjoint formal sums of edges with coefficients in $\mathbb{F}_2$, each one of which is mapped by the boundary map to the sum of vertices $A$ and $B$, if and only if after a deletion of any $k-1$ or less edges there still exist a formal sum of edges with coefficients in $\mathbb{F}_2$ which is mapped by the boundary map to $A+B$.
We extend this result to four vertices $A,B,C,D$. We prove that in an undirected graph, in which all the vertices different from $A,B,C,D$ have even degrees, the following two statements are equivalent: There exist $k$ pairwise summand-disjoint formal sums of edges with coefficients in $\mathbb{F}_2$, each one of which is mapped by the boundary map to $A+B+C+D$; After a deletion of any $k-1$ or less edges there still exists a formal sum of edges with coefficients in $\mathbb{F}_2$ which is mapped by the boundary map to $A+B+C+D$.
Equivalently, if after a deletion of any $k-1$ or less edges, the four vertices $A,B,C,D$ can be split into two pairs of vertices, and the two vertices in each pair then can be connected by a path so that these two paths are edge-disjoint, then the four vertices $A,B,C,D$ can be split $k$ times into two pairs of vertices and the two vertices in each one of these $2k$ pairs can then be connected by a path in such a way that all these $2k$ paths are pairwise edge-disjoint.
Partition identities from higher level crystals of $A_1^{(1)}$
Published in Proc. Amer. Math. Soc. 153 (2025), 1363-1382
• View Publication
• BIB
We study perfect crystals for the standard modules of the affine Lie algebra $A_1^{(1)}$ at all levels using the theory of multi-grounded partitions. We prove a family of partition identities which are reminiscent of the Andrews-Gordon identities and companions to the Meurman-Primc identities, but with simple difference conditions involving absolute values.
Maximum arrangements of nonattacking kings on the $2n\times 2n$ chessboard
Published
• View Publication
• BIB
To count the number of maximum independent arrangements of $n^2$ kings on a $2n\times 2n$ chessboard, we build a $2^n \times (n+1)$ matrix whose entries are independent arrangements of $n$ kings on $2\times 2n$ rectangles. Utilizing upper and lower bound functions dependent of the entries of the matrix, we recursively construct independent solutions, and provide a straight-forward formula and algorithm.
Signed Magic arrays with certain property
A signed magic array, $SMA(m, n;s,t)$, is an $m \times n$ array with the same number of filled cells $s$ in each row and the same number of filled cells $t$ in each column, filled with a certain set of numbers that is symmetric about the number zero, such that every row and column has a zero sum. We use the notation $SMA(m, n)$ if $m=t$ and $n=s$.
In this paper, we prove that for every even number $n\geq 2$ there exists an $SMA(m,n)$ such that the entries $\pm x$ appear in the same row for every $x\in\{1, 2, 3,\ldots, mn/2\}$ if and only if
$m\equiv 0, 3(\mod4)$ and $n=2$ or $m\geq 3$ and $n\geq 4$.
All passable games are realizable as monotone set coloring games
Published in In Games of No Chance 6, Cambridge University Press, pp. 283-306, 2025
• View Publication
• BIB
The class of passable games was recently introduced by Selinger as a class of combinatorial games that are suitable for modelling monotone set coloring games such as Hex. In a monotone set coloring game, the players alternately color the cells of a board with their respective color, and the winner is determined by a monotone function of the final position. It is easy to see that every monotone set coloring game is a passable combinatorial game. Here we prove the converse: every passable game is realizable, up to equivalence, as a monotone set coloring game.
Forbidden induced subgraphs for graphs and signed graphs with eigenvalues bounded from below
Published in Forum of Mathematics, Sigma 13 (2025) e163
• View Publication
• BIB
The smallest eigenvalue of a graph is the smallest eigenvalue of its adjacency matrix. We show that the family of graphs with smallest eigenvalue at least $-λ$ can be defined by a finite set of forbidden induced subgraphs if and only if $λ< λ^*$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$, and $ρ$ is the unique real root of $x^3 = x + 1$. This resolves a question raised by Bussemaker and Neumaier. As a byproduct, we find all the limit points of smallest eigenvalues of graphs, supplementing Hoffman's work on those limit points in $[-2, \infty)$.
We also prove that the same conclusion about forbidden subgraph characterization holds for signed graphs. Our impetus for the study of signed graphs is to determine the maximum cardinality of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Denote by $N_{α, β}(n)$ the maximum number of unit vectors in $\mathbb{R}^d$ where all pairwise inner products lie in $\{α, β\}$ with $-1 \le β< 0 \le α< 1$. Very recently Jiang, Tidor, Yao, Zhang and Zhao determined the limit of $N_{α, β}(d)/d$ as $d\to\infty$ when $α+ 2β< 0$ or $(1-α)/(α-β) \in \{1,\sqrt2,\sqrt3\}$, and they proposed a conjecture on the limit in terms of eigenvalue multiplicities of signed graphs. We establish their conjecture whenever $(1-α)/(α- β) < λ^*$.
Sandpile groups of supersingular isogeny graphs
Published
• View Publication
• BIB
Let $p$ and $q$ be distinct primes, and let $X_{p,q}$ be the $(q+1)$-regular graph whose nodes are supersingular elliptic curves over $\overline{\mathbb{F}}_p$ and whose edges are $q$-isogenies. For fixed $p$, we compute the distribution of the $\ell$-Sylow subgroup of the sandpile group (i.e.\ Jacobian) of $X_{p,q}$ as $q \to \infty$. We find that the distribution disagrees with the Cohen-Lenstra heuristic in this context. Our proof is via Galois representations attached to modular curves. As a corollary of our result, we give an upper bound on the probability that the Jacobian is cyclic, which we conjecture to be sharp.