Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On the asymptotic normality of the Legendre-Stirling numbers of the second kind
Published
• View Publication
• BIB
For the Legendre-Stirling numbers of the second kind asymptotic formulae are derived in terms of a local central limit theorem. Thereby, supplements of the recently published asymptotic analysis of the Chebyshev-Stirling numbers are established. Moreover, we provide results on the asymptotic normality and unimodality for modified Legendre-Stirling numbers.
Some q-analogues of (super)congruences of Beukers, Van Hamme and Rodriguez-Villegas
For any odd prime p we obtain q-analogues of Van Hamme's supercongruence: $$ \sum_{k=0}^{\frac{p-1}{2}}{2k\choose k}^3\frac{1}{64^k} \equiv 0 \pmod{p^2} \quad\text{for}\quad p\equiv 3\pmod 4, $$ and Rodriguez-Villegas' Beukers-like supercongruences involving products of three binomial coefficients. For example, we prove that \begin{align*} \sum_{k=0}^{\frac{p-1}{2}} {2k\brack k}_{q^2}^3 \frac{q^{2k}}{(-q^2;q^2)_k^2 (-q;q)_{2k}^2} &\equiv 0\pmod{[p]^2} \quad\text{for}\quad p\equiv 3\pmod 4, \\ \sum_{k=0}^{\frac{p-1}{2}}{2k\brack k}_{q^3}\frac{(q;q^3)_k (q^{2};q^3)_{k} q^{3k} }{ (q^{6};q^{6})_k^2 } &\equiv 0 \pmod{[p]^2}\quad\text{for}\quad p\equiv 2\pmod{3}, \end{align*} where $[p]=1+q+\cdots+q^{p-1}$, $(a;q)_n=(1-a)(1-aq)\cdots(1-aq^{n-1})$, and ${n\brack k}_q$ denotes the q-binomial coefficient. Actually, our results give q-analogues of Z.-H. Sun's and Z.-W. Sun's generalizations of the above Beukers-like supercongruences. Our proof uses the theory of basic hypergeometric series including a new q-Clausen-type summation formula.
Labeled and Non-labeled Extended Rauzy Classes
Multiple conventions have been adopted for denoting Interval Exchange Transformations (IETs). The "non-labeled" convention was the original, while the "labeled" convention has proven convenient when investigating Flat Surfaces as described by IETs. We establish the relationship between Extended Rauzy Classes, an equivalence class of combinatorial data related to IETs, under each convention.
New sum-product type estimates over finite fields
Published in Adv. Math. 293 (2016) 589-605
• View Publication
• BIB
Let $F$ be a field with positive odd characteristic $p$. We prove a variety of new sum-product type estimates over $F$. They are derived from the theorem that the number of incidences between $m$ points and $n$ planes in the projective three-space $PG(3,F)$, with $m\geq n=O(p^2)$, is $$O( m\sqrt{n} + km ),$$ where $k$ denotes the maximum number of collinear planes.
The main result is a significant improvement of the state-of-the-art sum-product inequality over fields with positive characteristic, namely that \begin{equation}\label{mres} |A\pm A|+|A\cdot A| =Ω\left(|A|^{1+\frac{1}{5}}\right), \end{equation} for any $A$ such that $|A|<p^{\frac{5}{8}}.$
When Does the Set of $(a, b, c)$-Core Partitions Have a Unique Maximal Element?
Published
• View Publication
• BIB
In 2007, Olsson and Stanton gave an explicit form for the largest $(a, b)$-core partition, for any relatively prime positive integers $a$ and $b$, and asked whether there exists an $(a, b)$-core that contains all other $(a, b)$-cores as subpartitions; this question was answered in the affirmative first by Vandehey and later by Fayers independently. In this paper we investigate a generalization of this question, which was originally posed by Fayers: for what triples of positive integers $(a, b, c)$ does there exist an $(a, b, c)$-core that contains all other $(a, b, c)$-cores as subpartitions? We completely answer this question when $a$, $b$, and $c$ are pairwise relatively prime; we then use this to generalize the result of Olsson and Stanton.
Complex Two-Graphs via Equiangular Tight Frames
In `A survey of two-graphs' \cite{Sei}, J.J. Seidel lays out the connections between simple graphs, two-graphs, equiangular lines and strongly regular graph. It is well known that there is a one-to-one correspondence between regular two-graphs and equiangular tight frames. This article gives a generalization of two-graphs for which these connections can be mimicked using roots of unity beyond $\pm 1$.
A graph partition problem
Published
• View Publication
• BIB
Given a graph $G$ on $n$ vertices, for which $m$ is it possible to partition the edge set of the $m$-fold complete graph $mK_n$ into copies of $G$? We show that there is an integer $m_0$, which we call the \emph{partition modulus of $G$}, such that the set $M(G)$ of values of $m$ for which such a partition exists consists of all but finitely many multiples of $m_0$. Trivial divisibility conditions derived from $G$ give an integer $m_1$ which divides $m_0$; we call the quotient $m_0/m_1$ the \emph{partition index of $G$}. It seems that most graphs $G$ have partition index equal to $1$, but we give two infinite families of graphs for which this is not true. We also compute $M(G)$ for various graphs, and outline some connections between our problem and the existence of designs of various types.
Bifix codes and interval exchanges
Published in J. Pure Appl. Algebra, 19 (2015) 2781-2798
• Search Publication
We investigate the relation between bifix codes and interval exchange transformations. We prove that the class of natural codings of regular interval echange transformations is closed under maximal bifix decoding.
Enomoto and Ota's conjecture holds for large graphs
Published
• View Publication
• BIB
In 2000, Enomoto and Ota conjectured that if a graph $G$ satisfies $σ_{2}(G) \geq n + k - 1$, then for any set of $k$ vertices $v_{1}, \dots, v_{k}$ and for any positive integers $n_{1}, \dots, n_{k}$ with $\sum n_{i} = |G|$, there exists a partition of $V(G)$ into $k$ paths $P_{1}, \dots, P_{k}$ such that $v_{i}$ is an end of $P_{i}$ and $|P_{i}| = n_{i}$ for all $i$. We prove this conjecture when $|G|$ is large. Our proof uses the Regularity Lemma along with several extremal lemmas, concluding with an absorbing argument to retrieve misbehaving vertices.
Lozenge tilings with free boundaries
Published
• View Publication
• BIB
We study lozenge tilings of a domain with partially free boundary. In particular, we consider a trapezoidal domain (half hexagon), s.t. the horizontal lozenges on the long side can intersect it anywhere to protrude halfway across. We show that the positions of the horizontal lozenges near the opposite flat vertical boundary have the same joint distribution as the eigenvalues from a Gaussian Unitary Ensemble (the GUE-corners/minors process). We also prove the existence of a limit shape of the height function, which is also a vertically symmetric plane partition. Both behaviors are shown to coincide with those of the corresponding doubled fixed-boundary hexagonal domain. We also consider domains where the different sides converge to $\infty$ at different rates and recover again the GUE-corners process near the boundary.
Matroid toric ideals: complete intersection, minors and minimal systems of generators
Published in SIAM J. Discrete Math. 29 (2015), no. 4, 2267-2276
• View Publication
• BIB
In this paper, we investigate three problems concerning the toric ideal associated to a matroid. Firstly, we list all matroids $\mathcal M$ such that its corresponding toric ideal $I_{\mathcal M}$ is a complete intersection. Secondly, we handle with the problem of detecting minors of a matroid $\mathcal M$ from a minimal set of binomial generators of $I_{\mathcal M}$. In particular, given a minimal set of binomial generators of $I_{\mathcal M}$ we provide a necessary condition for $\mathcal M$ to have a minor isomorphic to $\mathcal U_{d,2d}$ for $d \geq 2$. This condition is proved to be sufficient for $d = 2$ (leading to a criterion for determining whether $\mathcal M$ is binary) and for $d = 3$. Finally, we characterize all matroids $\mathcal M$ such that $I_{\mathcal M}$ has a unique minimal set of binomial generators.
Another Diminimal Map on the Torus
This note adds one diminimal map on the torus to the published set of 55. It also raises to 15 the number of vertices for which all diminimal maps on the torus are known.
Billey-Postnikov decompositions and the fibre bundle structure of Schubert varieties
Published in Math. Ann. (2016) 366 (1): 31-55
• View Publication
• BIB
A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We determine all smooth and rationally smooth Grassmannian Schubert varieties, and give a new proof of Peterson's theorem that all simply-laced rationally smooth Schubert varieties are smooth. Taken together, our results give a fairly complete geometric description of smooth and rationally smooth Schubert varieties using primarily combinatorial methods.
Trees with Large Neighborhood Total Domination Number
Published
• View Publication
• BIB
In this paper, we continue the study of neighborhood total domination in graphs first studied by Arumugam and Sivagnanam [Opuscula Math. 31 (2011), 519--531]. A neighborhood total dominating set, abbreviated NTD-set, in a graph $G$ is a dominating set $S$ in $G$ with the property that the subgraph induced by the open neighborhood of the set $S$ has no isolated vertex. The neighborhood total domination number, denoted by $\gnt(G)$, is the minimum cardinality of a NTD-set of $G$. Every total dominating set is a NTD-set, implying that $γ(G) \le \gnt(G) \le \gt(G)$, where $γ(G)$ and $\gt(G)$ denote the domination and total domination numbers of $G$, respectively. Arumugam and Sivagnanam posed the problem of characterizing the connected graphs $G$ of order $n \ge 3$ achieving the largest possible neighborhood total domination number, namely $\gnt(G) = \lceil n/2 \rceil$. A partial solution to this problem was presented by Henning and Rad [Discrete Applied Mathematics 161 (2013), 2460--2466] who showed that $5$-cycles and subdivided stars are the only such graphs achieving equality in the bound when $n$ is odd. In this paper, we characterize the extremal trees achieving equality in the bound when $n$ is even. As a consequence of this tree characterization, a characterization of the connected graphs achieving equality in the bound when $n$ is even can be obtained noting that every spanning tree of such a graph belongs to our family of extremal trees.
Resolving Share and Topological Index
An atom $a$ of a molecular graph $G$ uniquely determines (resolves) a pair $(a_1,a_2)$ of atoms of $G$ if the distance between $a$ and $a_1$ is different from the distance between $a$ and $a_2$. In this paper, we quantify the involvement of each atom $a$ of $G$ in uniquely determining (resolving) a pair $(a_1,a_2)$ of atoms of $G$, which is called the resolving share of $a$ for the pair $(a_1,a_2)$. Using this quantity, we define a distance-based topological index of a molecular graph, which reflects the topology of that molecular graph according to the resolvability behavior of each of its atom, and is called the resolving topological index. Then we compute the resolving topological index of several molecular graphs.
Cutting down $\mathbf p$-trees and inhomogeneous continuum random trees
Published
• View Publication
• BIB
We study a fragmentation of the $\mathbf p$-trees of Camarri and Pitman [Elect. J. Probab., vol. 5, pp. 1--18, 2000]. We give exact correspondences between the $\mathbf p$-trees and trees which encode the fragmentation. We then use these results to study the fragmentation of the ICRTs (scaling limits of $\mathbf p$-trees) and give distributional correspondences between the ICRT and the tree encoding the fragmentation. The theorems for the ICRT extend the ones by Bertoin and Miermont [Ann. Appl. Probab., vol. 23(4), pp. 1469--1493, 2013] about the cut tree of the Brownian continuum random tree.
Multivariate Quadratic Transformations and the Interpolation Kernel
Published in SIGMA 14 (2018), 019, 69 pages
• View Publication
• BIB
We prove a number of quadratic transformations of elliptic Selberg integrals (conjectured in an earlier paper of the author), as well as studying in depth the "interpolation kernel", an analytic continuation of the author's elliptic interpolation functions which plays a major role in the proof as well as acting as the kernel for a Fourier transform on certain elliptic double affine Hecke algebras (discussed in a later paper). In the process, we give a number of examples of a new approach to proving elliptic hypergeometric integral identities, by reduction to a Zariski dense subset of a formal neighborhood of the trigonometric limit.
Crystal approach to affine Schubert calculus
Published in Int Math Res Notices (2016) 2016 (8): 2239-2294
• View Publication
• BIB
We apply crystal theory to affine Schubert calculus, Gromov-Witten invariants for the complete flag manifold, and the positroid stratification of the positive Grassmannian. We introduce operators on decompositions of elements in the type-$A$ affine Weyl group and produce a crystal reflecting the internal structure of the generalized Young modules whose Frobenius image is represented by stable Schubert polynomials. We apply the crystal framework to products of a Schur function with a $k$-Schur function, consequently proving that a subclass of 3-point Gromov-Witten invariants of complete flag varieties for $\mathbb C^n$ enumerate the highest weight elements under these operators. Included in this class are the Schubert structure constants in the (quantum) product of a Schubert polynomial with a Schur function $s_λ$ for all $|λ^\vee|< n$. Another by-product gives a highest weight formulation for various fusion coefficients of the Verlinde algebra and for the Schubert decomposition of certain positroid classes.
A general theory of Wilf-equivalence for Catalan structures
Published
• View Publication
• BIB
The existence of apparently coincidental equalities (also called Wilf-equivalences) between the enumeration sequences, or generating functions, of various hereditary classes of combinatorial structures has attracted significant interest. We investigate such coincidences among non-crossing matchings and a variety of other Catalan structures including Dyck paths, 231-avoiding permutations and plane forests. In particular we consider principal classes defined by not containing an occurrence of a single given structure. An easily computed equivalence relation among structures is described such that if two structures are equivalent then the associated principal classes have the same enumeration sequence. We give an asymptotic estimate of the number of equivalence classes of this relation among structures of a given size and show that it is exponentially smaller than the corresponding Catalan number. In other words these "coincidental" equalities are in fact very common among principal classes. Our results also allow us to prove, in a unified and bijective manner, several known Wilf-equivalences from the literature.
A note on $f^\pm$-Zagreb indices in respect of Jaco Graphs, $J_n(1), n \in \Bbb N$ and the introduction of Khazamula irregularity
The topological indices $irr(G)$ related to the \emph{first Zagreb index,} $M_1(G)$ and the \emph{second Zagreb index,} $M_2(G)$ are the oldest irregularity measures researched. Alberton $[3]$ introduced the \emph{irregularity} of $G$ as $irr(G) = \sum\limits_{e \in E(G)}imb(e), imb(e) = |d(v) - d(u)|_{e=vu}$. In the paper of Fath-Tabar $[7]$, Alberton's indice was named the \emph{third Zagreb indice} to conform with the terminology of chemical graph theory. Recently Ado et.al. $[1]$ introduced the topological indice called \emph{total irregularity}. The latter could be called the \emph{fourth Zagreb indice}. we define the $\pm$\emph{Fibonacci weight,} $f^\pm_i$ of a vertex $v_i$ to be $-f_{d(v_i)},$ if $d(v_i)$ is uneven and $f_{d(v_i)}$, if $d(v_i)$ is even. From the aforesaid we define the $f^\pm$-Zagreb indices. This paper presents introductory results for the undirected underlying graphs of Jaco Graphs, $J_n(1), n \leq 12$. For more on Jaco Graphs $J_n(1)$ see $[9, 10]$. Finally we introduce the \emph{Khazamula irregularity} as a new topological variant.