Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Weighted words at degree two, I: Bressoud's algorithm as an energy transfer
Published
• View Publication
• BIB
In a recent paper, we generalized a partition identity stated by Siladić in his study of the level one standard module of type $A_2^{(2)}$. The proof used weighted words with an arbitrary number of primary colors and all the secondary colors obtained from these primary colors, and a brand new variant of the bijection of Bressoud for Schur's partition identity. In this paper, the first of two, we analyze this variant of Bressoud's algorithm in the framework of statistical mechanics, where an integer partition is viewed as an amount of energy shared, according to certain properties, between several states. This viewpoint allows us to generalize the previous result by considering a more general family of minimal difference conditions. For example, we generalize the Siladić identity to overpartitions. In the second paper, we connect this result to the Glaisher theorem and give some applications to level one perfect crystals.
Discrete Trace Theorems and Energy Minimizing Spring Embeddings of Planar Graphs
Published
• View Publication
• BIB
Tutte's spring embedding theorem states that, for a three-connected planar graph, if the outer face of the graph is fixed as the complement of some convex region in the plane, and all other vertices are placed at the mass center of their neighbors, then this results in a unique embedding, and this embedding is planar. It also follows fairly quickly that this embedding minimizes the sum of squared edge lengths, conditional on the embedding of the outer face. However, it is not at all clear how to embed this outer face. We consider the minimization problem of embedding this outer face, up to some normalization, so that the sum of squared edge lengths is minimized. In this work, we show the connection between this optimization problem and the Schur complement of the graph Laplacian with respect to the interior vertices. We prove a number of discrete trace theorems, and, using these new results, show the spectral equivalence of this Schur complement with the boundary Laplacian to the one-half power for a large class of graphs. Using this result, we give theoretical guarantees for this optimization problem, which motivates an algorithm to embed the outer face of a spring embedding.
The index and spectrum of Lie poset algebras of type B, C, and D
Published
• View Publication
• BIB
In this paper, we define posets of types B, C, and D. These posets encode the matrix forms of certain Lie algebras which lie between the algebras of upper-triangular and diagonal matrices. Interestingly, such type-B, C, and D Lie poset algebras can be related to Reiner's notion of a parset. Our primary concern is the index and spectral theories of type-B, C, and D Lie poset algebras. For an important restricted class, we develop combinatorial index formulas and, in particular, characterize posets corresponding to Frobenius Lie algebras. In this latter case we show that the spectrum is binary; that is, consists of an equal number of 0's and 1's.
Locally spherical hypertopes from generlised cubes
Published
• View Publication
• BIB
We show that every non-degenerate regular polytope can be used to construct a thin, residually-connected, chamber-transitive incidence geometry, i.e. a regular hypertope, with a tail-triangle Coxeter diagram. We discuss several interesting examples derived when this construction is applied to generalised cubes. In particular, we produce an example of a rank $5$ finite locally spherical proper hypertope of hyperbolic type.
Further Combinatorics and Applications of Two-Toned Tilings
Published
• View Publication
• BIB
Integer compositions, integer partitions, Fibonacci numbers, and generalizations of these have recently been shown to be interconnected via two-toned tilings of horizontal grids. In this article, we present refinements of two-toned tilings, describe functions which analyze them, and apply these to generalizations of integer compositions and partitions which interpolate between the two.
The Möbius Function of the Affine Linear Group $\text{AGL}(1,\Bbb F_q)$
Published
• View Publication
• BIB
Let $\text{AGL}(1,\Bbb F_q)$ denote the affine linear group of dimension one over the finite field $\Bbb F_q$. We determine the Möbius function of the lattice of subgroups of $\text{AGL}(1,\Bbb F_q)$.
Minimal crystallizations of 3-manifolds with boundary
Published in Beitr. Algebra Geom. 63(4) (2022), 907--919
• View Publication
• BIB
Let $(Γ,γ)$ be a crystallization of connected compact 3-manifold $M$ with $h$ boundary components. Let $\mathcal{G}(M)$ and $\mathit k (M)$ be the regular genus and gem-complexity of $M$ respectively, and let $\mathcal{G}(\partial M)$ be the regular genus of $\partial M$. We prove that
$$\mathit k (M)\geq 3 (\mathcal{G}(M)+h-1) \geq 3 (\mathcal{G} (\partial M)+h-1).$$ These bounds for gem-complexity of $M$ are sharp for several 3-manifolds with boundary. Further, we show that if $\partial M$ is connected and $\mathit k (M)< 3 (\mathcal{G} (\partial M)+1)$ then $M$ is a handlebody. In particular, we prove that $\mathit k (M) =3 \mathcal{G} (\partial M)$ if $M$ is a handlebody and $\mathit k (M) \geq 3 (\mathcal{G} (\partial M)+1)$ if $M$ is not a handlebody. Further, we obtain several combinatorial properties for a crystallization of 3-manifolds with boundary.
Criteria for apwenian sequences
Published
• View Publication
• BIB
In 1998, Allouche, Peyrière, Wen and Wen showed that the Hankel determinant $H_n$ of the Thue-Morse sequence over $\{-1,1\}$ satisfies $H_n/2^{n-1}\equiv 1~(\mathrm{mod}~2)$ for all $n\geq 1$. Inspired by this result, Fu and Han introduced \emph{apwenian} sequences over $\{-1,1\}$, namely, $\pm 1$ sequences whose Hankel determinants satisfy $H_n/2^{n-1}\equiv 1~(\mathrm{mod}~2)$ for all $n\geq 1$, and proved with computer assistance that a few sequences are apwenian. In this paper, we obtain an easy to check criterion for apwenian sequences, which allows us to determine all apwenian sequences that are fixed points of substitutions of constant length. Let $f(z)$ be the generating functions of such apwenian sequences. We show that for all integer $b\ge 2$ with $f(1/b)\neq 0$, the real number $f(1/b)$ is transcendental and its irrationality exponent is equal to $2$.
Besides, we also derive a criterion for zero-one apwenian sequences whose Hankel determinants satisfy $H_n\equiv 1~(\mathrm{mod}~2)$ for all $n\geq 1$. We find that the only zero-one apwenian sequence, among all fixed points of substitutions of constant length, is the period-doubling sequence. Various examples of apwenian sequences given by substitutions with projection are also given. Furthermore, we prove that all Sturmian sequences over $\{-1,1\}$ or $\{0,1\}$ are not apwenian. And we conjecture that fixed points of substitution of non-constant length over $\{-1,1\}$ or $\{0,1\}$ can not be apwenian.
Proximity and Remoteness in Directed and Undirected Graphs
Published
• View Publication
• BIB
Let $D$ be a strongly connected digraph. The average distance $\barσ(v)$ of a vertex $v$ of $D$ is the arithmetic mean of the distances from $v$ to all other vertices of $D$. The remoteness $ρ(D)$ and proximity $π(D)$ of $D$ are the maximum and the minimum of the average distances of the vertices of $D$, respectively. We obtain sharp upper and lower bounds on $π(D)$ and $ρ(D)$ as a function of the order $n$ of $D$ and describe the extreme digraphs for all the bounds. We also obtain such bounds for strong tournaments. We show that for a strong tournament $T$, we have $π(T)=ρ(T)$ if and only if $T$ is regular. Due to this result, one may conjecture that every strong digraph $D$ with $π(D)=ρ(D)$ is regular. We present an infinite family of non-regular strong digraphs $D$ such that $π(D)=ρ(D).$ We describe such a family for undirected graphs as well.
On the density of sumsets
Published in Monatsh. Math. 198 (2022), 565-580
• View Publication
• BIB
Recently introduced by the authors in [Proc. Edinb. Math. Soc. 60 (2020), 139-167], quasi-densities form a large family of real-valued functions partially defined on the power set of the integers that serve as a unifying framework for the study of many known densities (including the asymptotic density, the Banach density, the logarithmic density, the analytic density, and the Pólya density).
We further contribute to this line of research by proving that (i) for each $n \in \mathbf N^+$ and $α\in [0,1]$, there is $A \subseteq \mathbf{N}$ with $kA \in \text{dom}(μ)$ and $μ(kA) = αk/n$ for every quasi-density $μ$ and every $k=1,\ldots, n$, where $kA:=A+\cdots+A$ is the $k$-fold sumset of $A$ and $\text{dom}(μ)$ denotes the domain of definition of $μ$; (ii) for each $α\in [0,1]$ and every non-empty finite $B\subseteq \mathbf{N}$, there is $A \subseteq \mathbf{N}$ with $A+B \in \mathrm{dom}(μ)$ and $μ(A+B)=α$ for every quasi-density $μ$; (iii) for each $α\in [0,1]$, there exists $A\subseteq \mathbf{N}$ with $2A = \mathbf{N}$ such that $A \in \text{dom}(μ)$ and $μ(A) = α$ for every quasi-density $μ$.
Proofs rely on the properties of a little known density first considered by R.C. Buck and the "structure" of the set of all quasi-densities; in particular, they are rather different than previously known proofs of special cases of the same results.
Stable and Discriminative Topological Graph Analysis
We propose a novel method for topological analysis of unweighted graphs which is based on \textit{persistent homology}. The proposed method maps the input graph to a complete weighted graph where the weighting function maps each edge to a value indicating the degree to which it belongs to a clique. The persistent homology of this weighted graph is subsequently computed to give a topological representation describing the topological features of the input graph plus their significance.
A formal and experimental analysis of the proposed and existing methods for topological graph analysis is presented. Through this analysis, we find that the proposed method possesses the properties of being stable and performing accurate discrimination. Therefore this method can make accurate inferences regarding the topological features of a given graph. On the other hand, we find that the existing methods considered do not possess these properties making it difficult from them to make such inferences. These findings are experimentally demonstrated using a number of random and real world graphs.
The Toucher-Isolator Game on Trees
Consider the following Maker-Breaker type game played by Toucher and Isolator on the edges of a graph $G$ with first move given to Toucher. The aim of Isolator is to maximise the number of vertices which are not incident to any edges claimed by Toucher, and the aim of Toucher is to minimise this number. Let $u\left(G\right)$ be the number of isolated vertices when both players play optimally. Dowden, Kang, Mikalački and Stojaković proved that $\left\lceil \frac{n+2}{8}\right\rceil \le u\left(T\right)\leq\left\lfloor \frac{n-1}{2}\right\rfloor $, where $T$ is a tree with $n$ vertices. The author also proved that $u\left(P_{n}\right)=\left\lfloor \frac{n+3}{5}\right\rfloor$ for all $n\geq3$, where $P_{n}$ is a path with $n$ vertices.
The aim of this paper is to improve the lower bound to $u\left(T\right)\geq\left\lfloor \frac{n+3}{5}\right\rfloor$, which is sharp. Our result may be viewed as saying that paths are the 'best' for Isolator among trees with a given number of vertices.
Can graph properties have exponential quantum speedup?
Quantum computers can sometimes exponentially outperform classical ones, but only for problems with sufficient structure. While it is well known that query problems with full permutation symmetry can have at most polynomial quantum speedup -- even for partial functions -- it is unclear how far this condition must be relaxed to enable exponential speedup. In particular, it is natural to ask whether exponential speedup is possible for (partial) graph properties, in which the input describes a graph and the output can only depend on its isomorphism class. We show that the answer to this question depends strongly on the input model. In the adjacency matrix model, we prove that the bounded-error randomized query complexity $R$ of any graph property $\mathcal{P}$ has $R(\mathcal{P}) = O(Q(\mathcal{P})^{6})$, where $Q$ is the bounded-error quantum query complexity. This negatively resolves an open question of Montanaro and de Wolf in the adjacency matrix model. More generally, we prove $R(\mathcal{P}) = O(Q(\mathcal{P})^{3l})$ for any $l$-uniform hypergraph property $\mathcal{P}$ in the adjacency matrix model. In direct contrast, in the adjacency list model for bounded-degree graphs, we exhibit a promise problem that shows an exponential separation between the randomized and quantum query complexities.
Rainbow independent sets on dense graph classes
Published
• View Publication
• BIB
Given a family $\mathcal{I}$ of independent sets in a graph, a rainbow independent set is an independent set $I$ such that there is an injection $φ\colon I\to \mathcal{I}$ where for each $v\in I$, $v$ is contained in $φ(v)$. Aharoni, Briggs, J. Kim, and M. Kim [Rainbow independent sets in certain classes of graphs. arXiv:1909.13143] determined for various graph classes $\mathcal{C}$ whether $\mathcal{C}$ satisfies a property that for every $n$, there exists $N=N(\mathcal{C},n)$ such that every family of $N$ independent sets of size $n$ in a graph in $\mathcal{C}$ contains a rainbow independent set of size $n$. In this paper, we add two dense graph classes satisfying this property, namely, the class of graphs of bounded neighborhood diversity and the class of $r$-powers of graphs in a bounded expansion class.
Cycle type factorizations in $\mathrm{GL}_n \mathbb{F}_q$
Published
• View Publication
• BIB
Recent work by Huang, Lewis, Morales, Reiner, and Stanton suggests that the regular elliptic elements of $\mathrm{GL}_n \mathbb{F}_q$ are somehow analogous to the $n$-cycles of the symmetric group. In 1981, Stanley enumerated the factorizations of permutations into products of $n$-cycles. We study the analogous problem in $\mathrm{GL}_n \mathbb{F}_q$ of enumerating factorizations into products of regular elliptic elements. More precisely, we define a notion of cycle type for $\mathrm{GL}_n \mathbb{F}_q$ and seek to enumerate the tuples of a fixed number of regular elliptic elements whose product has a given cycle type. In some special cases, we provide explicit formulas, using a standard character-theoretic technique due to Frobenius by introducing simplified formulas for the necessary character values. We also address, for large $q$, the problem of computing the probability that the product of a random tuple of regular elliptic elements has a given cycle type. We conclude with some results about the polynomiality of our enumerative formulas and some open problems.
An efficient algorithm for $1$-dimensional (persistent) path homology
Published
• View Publication
• BIB
This paper focuses on developing an efficient algorithm for analyzing a directed network (graph) from a topological viewpoint. A prevalent technique for such topological analysis involves computation of homology groups and their persistence. These concepts are well suited for spaces that are not directed. As a result, one needs a concept of homology that accommodates orientations in input space. Path-homology developed for directed graphs by Grigor'yan, Lin, Muranov and Yau has been effectively adapted for this purpose recently by Chowdhury and Mémoli. They also give an algorithm to compute this path-homology. Our main contribution in this paper is an algorithm that computes this path-homology and its persistence more efficiently for the $1$-dimensional ($H_1$) case. In developing such an algorithm, we discover various structures and their efficient computations that aid computing the $1$-dimensional path-homnology. We implement our algorithm and present some preliminary experimental results.
Towards an automation of the circle method
Published in Gems in Experimental Mathematics, ed. T. Amdeberhan, L. Medina, and V. Moll; Contemporary Mathematics 517 (2010) 321--338
• View Publication
• BIB
The derivation of the Hardy-Ramanujan-Rademacher formula for the number of partitions of $n$ is reviewed. Next, the steps for finding analogous formulas for certain restricted classes of partitions or overpartiitons is examined, bearing in mind how these calculations can be automated in a CAS. Finally, a number of new formulas of this type which were conjectured with the aid of \emph{Mathematica} are presented along with results of a test for their numerical accuracy.
On the Length of Monotone Paths in Polyhedra
Published
• View Publication
• BIB
Motivated by the problem of bounding the number of iterations of the Simplex algorithm we investigate the possible lengths of monotone paths followed by the Simplex method inside the oriented graphs of polyhedra (oriented by the objective function). We consider both the shortest and the longest monotone paths and estimate the monotone diameter and height of polyhedra. Our analysis applies to transportation polytopes, matroid polytopes, matching polytopes, shortest-path polytopes, and the TSP, among others. We begin by showing that combinatorial cubes have monotone and Bland pivot height bounded by their dimension and that in fact all monotone paths of zonotopes are no larger than the number of edge directions of the zonotope. We later use this to show that several polytopes have polynomial-size pivot height, for all pivot rules. In contrast, we show that many well-known combinatorial polytopes have exponentially-long monotone paths. Surprisingly, for some famous pivot rules, e.g., greatest improvement and steepest edge, these same polytopes have polynomial-size simplex paths.
Inequalities between Partial Domination and Independent Partial Domination in Graphs
For a graph $G$, a vertex subset $S \subseteq V(G)$ is said to be $K_{k}$-isolating if $G - N_{G}[S]$ does not contain $K_{k}$ as a subgraph. The $K_{k}$-isolation number of $G$, denoted by $ι_{k}(G)$, is the minimum cardinality of a $K_{k}$-isolating set of $G$. Analogously, $S$ is said to be independent $K_{k}$-isolating if $S$ is a $K_{k}$-isolating set of $G$ and $G[S]$ has no edge. The independent $K_{k}$-isolation number of $G$, denoted by $ι'_{k}(G)$, is the minimum cardinality of an independent $K_{k}$-isolating set of $G$. Clearly, when $k = 1$, we have $γ(G) = ι_{1}(G)$ and $i(G) = ι'_{1}(G)$ where $γ(G)$ and $i(G)$ are the domination and independent domination numbers. For classic results between $γ(G)$ and $i(G)$, in 1978, Allan and Laskar proved that $γ(G) = i(G)$ for all $K_{1, 3}$-free graphs and this result was generalized to $K_{1, r}$-free graphs by Bollob$\acute{a}$s and Cockayne in 1979. In 2013, Rad and Volkmann proved that the ratio $i(G)/γ(G)$ is at most $Δ(G)/2$ when $Δ(G) \in \{3, 4, 5\}$. Further, Furuya et. al. proved that when $Δ(G) \geq 6$, we have $i(G)/γ(G) \leq Δ(G) - 2\sqrt{Δ(G)} + 2$. In this paper, for a smallest $K_{k}$-isolating set $S$, we prove that $ι'_k(G)\le -\frac{ι_k^2(G)}{\ell} +i_k(G)(Δ+2)-\ell Δ$ where $\ell$ is the number of some specific vertices of $S$ such that the union of their closed neighborhoods in $S$ is $S$. We prove that this bound is sharp. A special case of our main theorem implies $ι'_{k}(G)/ι_{k}(G) \leq Δ(G) - 2\sqrt{Δ(G)} + 2$. Further, we find an inequality between $ι'_{k}(G)$ and $ι_{k}(G)$ when $G$ is $K_{1, r}$-free graph. This also generalizes the result of Bollob$\acute{a}$s and Cockayne.
A note on sublinear separators and expansion
For a hereditary class C of graphs, let s_C(n) be the minimum function such that each n-vertex graph in C has a balanced separator of order at most s_C(n), and let nabla_C(r) be the minimum function bounding the expansion of C, in the sense of bounded expansion theory of Nešetřil and Ossona de Mendez. The results of Plotkin, Rao, and Smith (1994) and Esperet and Raymond (2018) imply that if s_C(n)=Theta(n^{1-epsilon}) for some epsilon>0, then nabla_C(r)=Omega(r^{1/(2.epsilon)-1}/polylog r) and nabla_C(r)=O(r^{1/epsilon-1}polylog r). Answering a question of Esperet and Raymond, we show that neither of the exponents can be substantially improved.