Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Distance Graphs and sets of positive upper density in $\mathbb{R}^d$
Published in Analysis & PDE 13 (2020) 685-700
• View Publication
• BIB
We present a sharp extension of a result of Bourgain on finding configurations of $k+1$ points in general position in measurable subset of $\mathbb{R}^d$ of positive upper density whenever $d\geq k+1$ to all proper $k$-degenerate distance graphs.
On ideals generated by two generic quadratic forms in the exterior algebra
Published in J. Pure Appl. Alg. 223 (2019), no. 12, 5067--5082
• Search Publication
Based on the structure theory of pairs of skew-symmetric matrices, we give a conjecture for the Hilbert series of the exterior algebra modulo the ideal generated by two generic quadratic forms. We show that the conjectured series is an upper bound in the coefficient-wise sense, and we determine a majority of the coefficients. We also conjecture that the series is equal to the series of the squarefree polynomial ring modulo the ideal generated by the squares of two generic linear forms.
Three-dimensional normal pseudomanifolds with relatively few edges
Published in Advances in Mathematics 365 (2020) 107035
• View Publication
• BIB
Let $Δ$ be a $d$-dimensional normal pseudomanifold, $d \ge 3.$ A relative lower bound for the number of edges in $Δ$ is that $g_2$ of $Δ$ is at least $g_2$ of the link of any vertex. When this inequality is sharp $Δ$ has relatively minimal $g_2$. For example, whenever the one-skeleton of $Δ$ equals the one-skeleton of the star of a vertex, then $Δ$ has relatively minimal $g_2.$ Subdividing a facet in such an example also gives a complex with relatively minimal $g_2.$ We prove that in dimension three these are the only examples. As an application we determine the combinatorial and topological type of $3$-dimensional $Δ$ with relatively minimal $g_2$ whenever $Δ$ has two or fewer singularities. The topological type of any such complex is a pseudocompression body, a pseudomanifold version of a compression body.
Complete combinatorial descriptions of $Δ$ with $g_2(Δ) \le 2$ are due to Kalai [12] $(g_2=0)$, Nevo and Novinsky [13] $(g_2=1)$ and Zheng [21] $(g_2=2).$ In all three cases $Δ$ is the boundary of a simplicial polytope. Zheng observed that for all $d \ge 0$ there are triangulations of $S^d \ast \mathbb{RP}^2$ with $g_2=3.$ She asked if this is the only nonspherical topology possible for $g_2(Δ)=3.$ As another application of relatively minimal $g_2$ we give an affirmative answer when $Δ$ is $3$-dimensional.
Enumerating two permutation classes by the number of cycles
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (October 27, 2022) dmtcs:6173
• View Publication
• BIB
We enumerate permutations in the two permutation classes $\text{Av}_n(312, 4321)$ and $\text{Av}_n(321, 4123)$ by the number of cycles each permutation admits. We also refine this enumeration with respect to several statistics.
Introduction to Cluster Algebras
Published
• View Publication
• BIB
These are notes for a series of lectures presented at the ASIDE conference 2016. The definition of a cluster algebra is motivated through several examples, namely Markov triples, the Grassmannians $Gr_2(\mathbb{C})$, and the appearance of double Bruhat cells in the theory of total positivity. Once the definition of cluster algebras is introduced in several stages of increasing generality, proofs of fundamental results are sketched in the rank 2 case. From these foundations we build up the notion of Poisson structures compatible with a cluster algebra structure and indicate how this leads to a quantization of cluster algebras. Finally we give applications of these ideas to integrable systems in the form of Zamolodchikov periodicity and the pentagram map.
On the structure of matrices avoiding interval-minor patterns
We study the structure of 01-matrices avoiding a pattern P as an interval minor. We focus on critical P-avoiders, i.e., on the P-avoiding matrices in which changing a 0-entry to a 1-entry always creates a copy of P as an interval minor.
Let Q be the 3x3 permutation matrix corresponding to the permutation 231. As our main result, we show that for every pattern P that has no rotated copy of Q as interval minor, there is a constant c(P) such that any row and any column in any critical P-avoiding matrix can be partitioned into at most c(P) intervals, each consisting entirely of 0-entries or entirely of 1-entries. In contrast, for any pattern P that contains a rotated copy of Q, we construct critical P-avoiding matrices of arbitrary size $n\times n$ having a row with $Ω(n)$ alternating intervals of 0-entries and 1-entries.
Constructing de Bruijn sequences by concatenating smaller universal cycles
Published
• View Publication
• BIB
We present sufficient conditions for when an ordering of universal cycles $α_1, α_2, \ldots, α_m$ for disjoint sets $\mathbf{S}_1, \mathbf{S}_2, \ldots , \mathbf{S}_m$ can be concatenated together to obtain a universal cycle for $\mathbf{S} = \mathbf{S}_1 \cup \mathbf{S}_2 \cup \cdots \cup \mathbf{S}_m$. When $\mathbf{S}$ is the set of all $k$-ary strings of length $n$, the result of such a successful construction is a de Bruijn sequence. Our conditions are applied to generalize two previously known de Bruijn sequence constructions and then they are applied to develop three new de Bruijn sequence constructions.
Characterising knotting properties of polymers in nanochannels
Published
• View Publication
• BIB
Using a lattice model of polymers in a tube, we define one way to characterise different configurations of a given knot as either "local" or "non-local" and, for several ring polymer models, we provide both theoretical and numerical evidence that, at equilibrium, the non-local configurations are more likely than the local ones. These characterisations are based on a standard approach for measuring the "size" of a knot within a knotted polymer chain. The method involves associating knot-types to subarcs of the chain, and then identifying a knotted subarc with minimal arclength; this arclength is then the knot-size. If the resulting knot-size is small relative to the whole length of the chain, then the knot is considered to be localised or "local". If on the other hand the knot-size is comparable to the length of the chain, then the knot is considered to be "non-local".
Using this definition, we establish that all but exponentially few sufficiently long self-avoiding polygons (closed chains) in a tubular sublattice of the simple cubic lattice are "non-locally" knotted. This is shown to also hold for the case when the same polygons are subject to an external tensile force, as well as in the extreme case when they are as compact as possible (no empty lattice sites). We also provide numerical evidence for small tube sizes that at equilibrium non-local knotting is more likely than local knotting, regardless of the strength of the stretching or compressing force. We note however that because of the tube confinement, the occurrence of non-local knotting in walks (open chains) is significantly different than for polygons. The relevance of these results to recent experiments involving DNA knots in solid-state nanopores is also discussed.
The generating function of planar Eulerian orientations
Published in J. Combin. Theory Ser. A 2020
• View Publication
• BIB
The enumeration of planar maps equipped with an Eulerian orientation has attracted attention in both combinatorics and theoretical physics since at least 2000. The case of 4-valent maps is particularly interesting: these orientations are in bijection with properly 3-coloured quadrangulations, while in physics they correspond to configurations of the ice model.
We solve both problems -- namely the enumeration of planar Eulerian orientations and of 4-valent planar Eulerian orientations -- by expressing the associated generating functions as the inverses (for the composition of series) of simple hypergeometric series. Using these expressions, we derive the asymptotic behaviour of the number of planar Eulerian orientations, thus proving earlier predictions of Kostov, Zinn-Justin, Elvey Price and Guttmann. This behaviour, $μ^n /(n \log n)^2$, prevents the associated generating functions from being D-finite. Still, these generating functions are differentially algebraic, as they satisfy non-linear differential equations of order $2$. Differential algebraicity has recently been proved for other map problems, in particular for maps equipped with a Potts model.
Our solutions mix recursive and bijective ingredients. In particular, a preliminary bijection transforms our oriented maps into maps carrying a height function on their vertices. In the 4-valent case, we also observe an unexpected connection with the enumeration of maps equipped with a spanning tree that is internally inactive in the sense of Tutte. This connection remains to be explained combinatorially.
The Harborth Constant of Dihedral Groups
The Harborth constant of a finite group $G$, denoted $\gs(G)$, is the smallest integer $k$ such that the following holds: For $A\subseteq G$ with $|A|=k$, there exists $B\subseteq A$ with $|B|=\exp(G)$ such that the elements of $B$ can be rearranged into a sequence whose product equals $1_G$, the identity element of $G$. The Harborth constant is a well studied combinatorial invariant in the case of abelian groups. In this paper, we consider a generalization $\gs(G)$ of this combinatorial invariant for nonabelian groups and prove that if $G$ is a dihedral group of order $2n$ with $n\ge 3$, then $\gs(G) = n + 2$ if $n$ is even and $\gs(G) = 2n + 1$ otherwise.
Expanding phenomena over matrix rings
Published
• View Publication
• BIB
In this paper, we study expanding phenomena in the setting of matrix rings. More precisely, we will prove that
If $A$ is a set of $M_2(\mathbb{F}_q)$ and $|A|\gg q^{7/2}$, then we have \[|A(A+A)|, ~|A+AA|\gg q^4.\]
If $A$ is a set of $SL_2(\mathbb{F}_q)$ and $|A|\gg q^{5/2}$, then we have \[|A(A+A)|, ~|A+AA|\gg q^4.\]
We also obtain similar results for the cases of $A(B+C)$ and $A+BC$, where $A, B, C$ are sets in $M_2(\mathbb{F}_q)$.
Structure connectivity and substructure connectivity of twisted hypercubes
Published
• View Publication
• BIB
Let $G$ be a graph and $T$ a certain connected subgraph of $G$. The $T$-structure connectivity $κ(G; T)$ (or resp., $T$-substructure connectivity $κ^{s}(G; T)$) of $G$ is the minimum number of a set of subgraphs $\mathcal{F}=\{T_{1}, T_{2}, \ldots, T_{m}\}$ (or resp., $\mathcal{F}=\{T^{'}_{1}, T^{'}_{2}, \ldots, T^{'}_{m}\}$) such that $T_{i}$ is isomorphic to $T$ (or resp., $T^{'}_{i}$ is a connected subgraph of $T$) for every $1\leq i \leq m$, and $\mathcal{F}$'s removal will disconnect $G$. The twisted hypercube $H_{n}$ is a new variant of hypercubes with asymptotically optimal diameter introduced by X.D. Zhu. In this paper, we will determine both $κ(H_{n}; T)$ and $κ^{s}(H_{n}; T)$ for $T\in\{K_{1,r}, P_{k}\}$, respectively, where $3\leq r\leq 4$ and $1 \leq k \leq n$.
Edge Kempe equivalence of regular graph covers
Published
• View Publication
• BIB
Let $G$ be a finite $d$-regular graph with a proper edge coloring. An edge Kempe switch is a new proper edge coloring of $G$ obtained by switching the two colors along some bi-chromatic cycle. We prove that any other edge coloring can be obtained by performing finitely many edge Kempe switches, provided that $G$ is replaced with a suitable finite covering graph. The required covering degree is bounded above by a constant depending only on $d$.
Liminal reciprocity and factorization statistics
Published
• View Publication
• BIB
Let $M_{d,n}(q)$ denote the number of monic irreducible polynomials in $\mathbb{F}_q[x_1, x_2, \ldots , x_n]$ of degree $d$. We show that for a fixed degree $d$, the sequence $M_{d,n}(q)$ converges $q$-adically to an explicitly determined rational function $M_{d,\infty}(q)$. Furthermore we show that the limit $M_{d,\infty}(q)$ is related to the classic necklace polynomial $M_{d,1}(q)$ by an involutive functional equation, leading to a phenomenon we call liminal reciprocity. The limiting first moments of factorization statistics for squarefree polynomials are expressed in terms of a family of symmetric group representations as a consequence of liminal reciprocity.
Frieze varieties : A characterization of the finite-tame-wild trichotomy for acyclic quivers
Published
• View Publication
• BIB
We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver.
We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, respectively, if and only if the dimension of its frieze variety is $0,1$, or $\ge2$, respectively.
Hypergraph cuts above the average
Published
• View Publication
• BIB
An r-cut of a k-uniform hypergraph H is a partition of the vertex set of H into r parts and the size of the cut is the number of edges which have a vertex in each part. A classical result of Edwards says that every m-edge graph has a 2-cut of size $m/2 + Ω(\sqrt{m})$, and this is best possible. That is, there exist cuts which exceed the expected size of a random cut by some multiple of the standard deviation. We study analogues of this and related results in hypergraphs. First, we observe that similarly to graphs, every m-edge k-uniform hypergraph has an r-cut whose size is $Ω(\sqrt m)$ larger than the expected size of a random r-cut. Moreover, in the case where k=3 and r=2 this bound is best possible and is attained by Steiner triple systems. Surprisingly, for all other cases (that is, if $k \geq 4$ or $r \geq 3$), we show that every m-edge k-uniform hypergraph has an r-cut whose size is $Ω(m^{5/9})$ larger than the expected size of a random r-cut. This is a significant difference in behaviour, since the amount by which the size of the largest cut exceeds the expected size of a random cut is now considerably larger than the standard deviation.
A positive formula for the Ehrhart-like polynomials from root system chip-firing
Published in Algebraic Combinatorics, 2(6), 2019
• View Publication
• BIB
In earlier work in collaboration with Pavel Galashin and Thomas McConville we introduced a version of chip-firing for root systems. Our investigation of root system chip-firing led us to define certain polynomials analogous to Ehrhart polynomials of lattice polytopes, which we termed the symmetric and truncated Ehrhart-like polynomials. We conjectured that these polynomials have nonnegative integer coefficients. Here we affirm "half" of this positivity conjecture by providing a positive, combinatorial formula for the coefficients of the symmetric Ehrhart-like polynomials. This formula depends on a subtle integrality property of slices of permutohedra, and in turn a lemma concerning dilations of projections of root polytopes, which both may be of independent interest. We also discuss how our formula very naturally suggests a conjecture for the coefficients of the truncated Ehrhart-like polynomials that turns out to be false in general, but which may hold in some cases.
On Cayley graphs of algebraic structures
Published
• View Publication
• BIB
We present simple graph-theoretic characterizations of Cayley graphs for left-cancellative monoids, groups, left-quasigroups and quasigroups. We show that these characterizations are effective for the end-regular graphs of finite degree.
A Coloring Book Approach to Finding Coordination Sequences
Published in Acta Crystallographica Section A: Foundations and Advances, 2019, Volume A75, pages 121-134
• View Publication
• BIB
An elementary method is described for finding the coordination sequences for a tiling, based on coloring the underlying graph. We illustrate the method by first applying it to the two kinds of vertices (tetravalent and trivalent) in the Cairo (or dual-3^2.4.3.4) tiling. The coordination sequence for a tetravalent vertex turns out, surprisingly, to be 1, 4, 8 ,12, 16, ..., the same as for a vertex in the familiar square (or 4^4) tiling. We thought that such a simple fact should have a simple proof, and this article is the result. We also apply the method to obtain coordination sequences for the 3^2.4.3.4, 3.4.6.4, 4.8^2, 3.12^2, and 3^4.6 uniform tilings, as well as the snub-632 and bew tilings. In several cases the results provide proofs for previously conjectured formulas.
A George Szekeres Formula for Restricted Partitions
We derive an asymptotic formula for $A(n,j,r)$ the number of integer partitions of $n$ into at most $j$ parts each part $\le r$. We assume $j$ and $r$ are near their mean values. We also investigate the second largest part, the number of parts $\ge 2$, etc. We show that the fraction of the partitions of an even integer $n$ that are graphical, ie. whose parts form the degree sequence of a simple graph, is $O(\ln^{-1/2} n)$. Probabilistic results are used in our discussion of graphical partitions. The George Szekeres circle method is essential for our asymptotic results on partitions. We determine the distributions defined by the successive ranks of partitions, generalizing the result of Erdos and Richmond for the rank of a partition.