Showing 20 papers (Total: 82901 papers, 47900 authors in database)
There is but one PDS in $\mathbb{Z}^{3}$ inducing just square components
It is known that in the unit distance graph of the lattice $\mathbb{Z}^3\subset\mathbb{R}^3$ there exists a dominating set $S$ with $4$-cycles as sole induced components and each vertex of $\mathbb{Z}^3\setminus S$ having a unique neighbor in $S$. We show $S$ is unique.
Smith and Critical groups of Polar Graphs
Published in J. Comb. Theory A. 167 (2019), 460-498
• View Publication
• BIB
We compute the elementary divisors of the adjacency and Laplacian matrices of families of polar graphs. These graphs have as vertices the isotropic one-dimensional subspaces of finite vector spaces with respect to non-degenerate forms, with adjacency given by orthogonality.
Listing Words in Free Groups
Published
• View Publication
• BIB
Lists of equivalence classes of words under rotation or rotation plus reversal (i.e., necklaces and bracelets) have many uses, and efficient algorithms for generating these lists exist. In combinatorial group theory elements of a group are typically written as words in the generators and their inverses, and necklaces and bracelets correspond to conjugacy classes and relators respectively. We present algorithms to generate lists of freely and cyclically reduced necklaces and bracelets in free groups. Experimental evidence suggests that these algorithms are CAT -- that is, they run in constant amortized time.
On Validity of Reed Conjecture for {P_5, Flag^C}-free graphs
Here we prove that Reed Conjecture is valid for {P5, Flag_Complement}-free graphs where FlagComplement is the complement of the Flag graph. Some of the known results follow as corollaries to our result. Reed conjecture is still open in general.
Twisted Recurrence via Polynomial Walks
In this paper we show how polynomial walks can be used to establish a twisted recurrence for sets of positive density in $\mathbb{Z}^d$. In particular, we prove that if $Γ\leq \operatorname{GL}_d(\mathbb{Z})$ is finitely generated by unipotents and acts irreducibly on $\mathbb{R}^d$, then for any set $B \subset \mathbb{Z}^d$ of positive density, there exists $k \geq 1$ such that for any $v \in k \mathbb{Z}^d$ one can find $γ\in Γ$ with $γv \in B - B$. Our method does not require the linearity of the action, and we prove a twisted recurrence for semigroups of maps from $\mathbb{Z}^d$ to $\mathbb{Z}^d$ satisfying some irreducibility and polynomial assumptions. As one of the consequences, we prove a non-linear analog of Bogolubov's theorem -- for any set $B \subset \mathbb{Z}^2$ of positive density, and $p(n) \in \mathbb{Z}[n]$, with $p(0) = 0$ and $\operatorname{deg}(p) \geq 2$, there exists $k \geq 1$ such that $k \mathbb{Z} \subset \{ x - p(y) \, | \, (x,y) \in B-B \}$. Unlike the previous works on twisted recurrence that used recent results of Benoist-Quint and Bourgain-Furman-Lindenstrauss-Mozes on equidistribution of random walks on automorphism groups of tori, our method relies on the classical Weyl equidistribution for polynomial orbits on tori.
Numerical studies of Thompson's group F and related groups
Published in International Journal of Algebra and Computation 29.2 (2019): 179243
• View Publication
• BIB
We have developed polynomial-time algorithms to generate terms of the cogrowth series for groups $\mathbb{Z}\wr \mathbb{Z},$ the lamplighter group, $(\mathbb{Z}\wr \mathbb{Z})\wr \mathbb{Z}$ and the Navas-Brin group $B.$ We have also given an improved algorithm for the coefficients of Thompson's group $F,$ giving 32 terms of the cogrowth series. We develop numerical techniques to extract the asymptotics of these various cogrowth series. We present improved rigorous lower bounds on the growth-rate of the cogrowth series for Thompson's group $F$ using the method from \cite{HHR15} applied to our extended series. We also generalise their method by showing that it applies to loops on any locally finite graph. Unfortunately, lower bounds less than 16 do not help in determining amenability.
Again for Thompson's group $F$ we prove that, if the group is amenable, there cannot be a sub-dominant stretched exponential term in the asymptotics\footnote{ }. Yet the numerical data provides compelling evidence for the presence of such a term. This observation suggests a potential path to a proof of non-amenability: If the universality class of the cogrowth sequence can be determined rigorously, it will likely prove non-amenability.
We estimate the asymptotics of the cogrowth coefficients of $F$ to be $$ c_n \sim c \cdot μ^n \cdot κ^{n^σ\log^δ{n}} \cdot n^g,$$ where $μ\approx 15,$ $κ\approx 1/e,$ $σ\approx 1/2,$ $δ\approx 1/2,$ and $g \approx -1.$ The growth constant $μ$ must be 16 for amenability. These two approaches, plus a third based on extrapolating lower bounds, support the conjecture \cite{ERvR15, HHR15} that the group is not amenable.
Kleshchev multipartitions and extended Young diagrams
Published
• View Publication
• BIB
We give a new simple characterization of the set of Kleshchev multipartitions, and more generally of the set of Uglov multipartitions. These combinatorial objects play an important role in various areas of representation theory of quantum groups, Hecke algebras or finite reductive groups. As a consequence, we obtain a proof of a generalization of a conjecture by Dipper, James and Murphy and a generalization of the LLT algorithm for arbitrary level.
Adsorbing staircase polygons subject to a force
Published
• View Publication
• BIB
We study several models of staircase polygons on the $45^\circ$ rotated square lattice, which interact with an impenetrable surface while also being pushed towards or pulled away from the surface by a force. The surface interaction is governed by a fugacity $a$ and the force by a fugacity $y$. Staircase polygons are simplifications of more general self-avoiding polygons, a well-studied model of interacting ring polymers. For this simplified case we are able to exactly determine the limiting free energy in the full $a$-$y$ plane, and demonstrate that staircase polygons exhibit four different phases, including a "mixed" adsorbed-ballistic phase.
Study Morphology of Minimum Spanning Tree Problem and Generalized Algorithms
In this paper, we study the form over the minimum spanning tree problem (MST) from which we will derive an intuitively generalized model and new methods with the upper bound of runtimes of logarithm. The new pattern we made has taken successful to better equilibrium the benefits of local and global when we employ the strategy of divide and conquer to optimize solutions on problem. Under new model, we let the course of clustering become more transparent with many details, so that the whole solution may be featured of much reasonable, flexibility, efficiency and approach to reveal or reflect the reality. There are some important methods and avenues as fruits derived from discussions or trial which can be broad usefulness in the fields of graphic analysis, data mining, k-means clustering problem and so forth.
On the Enumeration and Congruences for m-ary Partitions
Published
• View Publication
• BIB
Let $m\ge 2$ be a fixed positive integer. Suppose that $m^j \leq n< m^{j+1}$ is a positive integer for some $j\ge 0$. Denote $b_{m}(n)$ the number of $m$-ary partitions of $n$, where each part of the partition is a power of $m$. In this paper, we show that $b_m(n)$ can be represented as a $j$-fold summation by constructing a one-to-one correspondence between the $m$-ary partitions and a special class of integer sequences rely only on the base $m$ representation of $n$. It directly reduces to Andrews, Fraenkel and Sellers' characterization of the values $b_{m}(mn)$ modulo $m$. Moreover, denote $c_{m}(n)$ the number of $m$-ary partitions of $n$ without gaps, wherein if $m^i$ is the largest part, then $m^k$ for each $0\leq k<i$ also appears as a part. We also obtain an enumeration formula for $c_m(n)$ which leads to an alternative representation for the congruences of $c_m(mn)$ due to Andrews, Fraenkel, and Sellers.
A bijection of plane increasing trees with relaxed binary trees of right height at most one
Published
• View Publication
• BIB
Plane increasing trees are rooted labeled trees embedded into the plane such that the sequence of labels is increasing on any branch starting at the root. Relaxed binary trees are a subclass of unlabeled directed acyclic graphs. We construct a bijection between these two combinatorial objects and study the therefrom arising connections of certain parameters. Furthermore, we show central limit theorems for two statistics on leaves. We end the study by considering more than 20 subclasses and their bijective counterparts. Many of these subclasses are enumerated by known counting sequences, and thus enrich their combinatorial interpretation.
Refined restricted inversion sequences
Published
• View Publication
• BIB
Recently, the study of patterns in inversion sequences was initiated by Corteel-Martinez-Savage-Weselcouch and Mansour-Shattuck independently. Motivated by their works and a double Eulerian equidistribution due to Foata (1977), we investigate several classical statistics on restricted inversion sequences that are either known or conjectured to be enumerated by {\em Catalan}, {\em Large Schröder}, {\em Baxter} and {\em Euler} numbers. One of the two highlights of our results is a fascinating bijection between $000$-avoiding inversion sequences and Simsun permutations, which together with Foata's V- and S-codes, provide a proof of a restriced double Eulerian equdistribution. The other one is a refinement of a conjecture due to Martinez and Savage that the cardinality of $\I_n(\geq,\geq,>)$ is the $n$-th Baxter number, which is proved via the so-called {\em obstinate kernel method} developed by Bousquet-Mélou.
Restricted inversion sequences and enhanced $3$-noncrossing partitions
Published in European Journal of Combinatorics, 70 (2018), 202-211
• View Publication
• BIB
We prove a conjecture due independently to Yan and Martinez--Savage that asserts inversion sequences with no weakly decreasing subsequence of length $3$ and enhanced $3$-noncrossing partitions have the same cardinality. Our approach applies both the generating tree technique and the so-called obstinate kernel method developed by Bousquet-Mélou. One application of this equinumerosity is a discovery of an intriguing identity involving numbers of classical and enhanced $3$-noncrossing partitions.
Algebraic condition for the singularity of certain Töplitz pencils
Published
• View Publication
• BIB
An algebraic condition for the singularity of certain Töplitz matrix pencils is derived which involves only the principal minors of the constant parts of the pencils. This leads to an algebraic conjecture which is equivalent to the so-called Töplitz pencil conjecture.
A note on edge degree and spanning trail containing given edges
Let $G$ be a simple graph with $n\geq4$ vertices and $d(x)+d(y)\geq n+k$ for each edge $xy\in E(G)$. In this work we prove that $G$ either contains a spanning closed trail containing any given edge set $X$ if $|X|\leq k$, or $G$ is a well characterized graph. As a corollary, we show that line graphs of such graphs are $k$-hamiltonian.
Decomposing $C_4$-free graphs under degree constraints
Published
• View Publication
• BIB
A celebrated theorem of Stiebitz asserts that any graph with minimum degree at least $s+t+1$ can be partitioned into two parts which induce two subgraphs with minimum degree at least $s$ and $t$, respectively. This resolved a conjecture of Thomassen. In this paper, we prove that for $s,t\geq 2$, if a graph $G$ contains no cycle of length four and has minimum degree at least $s+t-1$, then $G$ can be partitioned into two parts which induce two subgraphs with minimum degree at least $s$ and $t$, respectively. This improves the result of Diwan, who proved the same statement for graphs of girth at least five. Our proof also works for the case of variable functions, in which the bounds are sharp as showing by some polarity graphs. As a corollary, it follows that any graph containing no cycle of length four with minimum degree at least $k+1$ contains $k$ vertex-disjoint cycles.
On the non-existence of $srg(76,21,2,7)$
Published
• View Publication
• BIB
We present a new non-existence proof for the strongly regular graph $G$ with parameters $(76,21,2,7)$, using the unit vector representation of the graph.
Antimagic orientation of biregular bipartite graphs
Published
• View Publication
• BIB
An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. An undirected graph $G$ is said to have an antimagic orientation if $G$ has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this paper, we support this conjecture by proving that every biregular bipartite graph admits an antimagic orientation.
Crystallization of random matrix orbits
Published
• View Publication
• BIB
Three operations on eigenvalues of real/complex/quaternion (corresponding to $β=1,2,4$) matrices, obtained from cutting out principal corners, adding, and multiplying matrices can be extrapolated to general values of $β>0$ through associated special functions.
We show that $β\to\infty$ limit for these operations leads to the finite free projection, additive convolution, and multiplicative convolution, respectively.
The limit is the most transparent for cutting out the corners, where the joint distribution of the eigenvalues of principal corners of a uniformly-random general $β$ self-adjoint matrix with fixed eigenvalues is known as $β$-corners process. We show that as $β\to\infty$ these eigenvalues crystallize on the irregular lattice of all the roots of derivatives of a single polynomial. In the second order, we observe a version of the discrete Gaussian Free Field (dGFF) put on top of this lattice, which provides a new explanation of why the (continuous) Gaussian Free Field governs the global asymptotics of random matrix ensembles.
The Extremal Function and Colin de Verdière Graph Parameter
Published in Electron. J. Combin. 25(2) (2018) P2.32
• View Publication
• BIB
We study the maximum number of edges in an $n$ vertex graph with Colin de Verdière parameter no more than $t$. We conjecture that for every integer $t$, if $G$ is a graph with at least $t$ vertices and Colin de Verdière parameter at most $t$, then $|E(G)| \leq t|V(G)|-\binom{t+1}{2}$. We observe a relation to the graph complement conjecture for the Colin de Verdière parameter and prove the conjectured edge upper bound for graphs $G$ such that either $μ(G) \leq 7$, or $μ(G) \geq |V(G)|-6$, or the complement of $G$ is chordal, or $G$ is chordal.