Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The number of ideals of $\mathbb{Z}[x]$ containing $x(x-α)(x-β)$ with given index
It is well-known that a connected regular graph is strongly-regular if and only if its adjacency matrix has exactly three eigenvalues. Let $B$ denote an integral square matrix and $\langle B \rangle$ denote the subring of the full matrix ring generated by $B$. Then $\langle B \rangle$ is a free $\mathbb{Z}$-module of finite rank, which guarantees that there are only finitely many ideals of $\langle B \rangle$ with given finite index. Thus, the formal Dirichlet series $ζ_{\langle B \rangle}(s)=\sum_{n\geq 1}a_n n^{-s}$ is well-defined where $a_n$ is the number of ideals of $\langle B \rangle$ with index $n$. In this article we aim to find an explicit form of $ζ_{\langle B \rangle}(s)$ when $B$ has exactly three eigenvalues all of which are integral, e.g., the adjacency matrix of a strongly-regular graph which is not a conference graph with a non-squared number of vertices. By isomorphism theorem for rings, $\langle B \rangle$ is isomorphic to $\mathbb{Z}[x]/m(x)\mathbb{Z}[x]$ where $m(x)$ is the minimal polynomial of $B$ over $\mathbb{Q}$, and $\mathbb{Z}[x]/m(x)\mathbb{Z}[x]$ is isomorphic to $\mathbb{Z}[x]/m(x+γ)\mathbb{Z}[x]$ for each $γ\in \mathbb{Z}$. Thus, the problem is reduced to counting the number of ideals of $\mathbb{Z}[x]/x(x-α)(x-β)\mathbb{Z}[x]$ with given finite index where $0,α$ and $β$ are distinct integers.
Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
Published in Discrete Analysis 2017:4
• View Publication
• BIB
Parametric Presburger arithmetic concerns families of sets S_t in Z^d, for t in N, that are defined using addition, inequalities, constants in Z, Boolean operations, multiplication by t, and quantifiers on variables ranging over Z. That is, such families are defined using quantifiers and Boolean combinations of formulas of the form a(t) x <= b(t), where a(t) is in Z[t]^d, b(t) in Z[t]. A function g: N -> Z is a quasi-polynomial if there exists a period m and polynomials f_0, ..., f_{m-1} in Q[t] such that g(t)=f_i(t) for t congruent to i (mod m.)
Recent results of Chen, Li, Sam; Calegari, Walker; Roune, Woods; and Shen concern specific families in parametric Presburger arithmetic that exhibit quasi-polynomial behavior. For example, S_t might be an a quasi-polynomial function of t or an element x(t) in S_t might be specifiable as a function with quasi-polynomial coordinates, for sufficiently large t. Woods conjectured that all parametric Presburger sets exhibit this quasi-polynomial behavior. Here, we prove this conjecture, using various tools from logic and combinatorics.
Species substitution, graph suspension, and graded Hopf algebras of painted tree polytopes
Published in Algebr. Geom. Topol. 19 (2019) 1019-1078
• View Publication
• BIB
Combinatorial Hopf algebras of trees exemplify the connections between operads and bialgebras. Painted trees were introduced recently as examples of how graded Hopf operads can bequeath Hopf structures upon compositions of coalgebras. We put these trees in context by exhibiting them as the minimal elements of face posets of certain convex polytopes. The full face posets themselves often possess the structure of graded Hopf algebras (with one-sided unit). We can enumerate faces using the fact that they are structure types of substitutions of combinatorial species. Species considered here include ordered and unordered binary trees and ordered lists (labeled corollas). Some of the polytopes that constitute our main results are well known in other contexts. First we see the classical permutohedra, and then certain generalized permutohedra: specifically the graph associahedra of suspensions of certain simple graphs. As an aside we show that the stellohedra also appear as liftings of generalized permutohedra: graph composihedra for complete graphs. Thus our results give examples of Hopf algebras of tubings and marked tubings of graphs. We also show an alternative associative algebra structure on the graph tubings of star graphs.
Topological complexity (within 1) of the space of isometry classes of planar n-gons for sufficiently large n
Published
• View Publication
• BIB
Hausmann and Rodriguez classified spaces of isometry classes of planar n-gons according to their genetic code, which is a collection of sets (called genes) containing n. Omitting the n yields what we call gees. We prove that, for a set of gees with largest gee of size k>0, the topological complexity (TC) of the associated space of n-gons is either 2n-5 or 2n-6 if n>2k+2. We present evidence that suggests that it is very rare that the TC is not equal to 2n-5 or 2n-6.
Global rigidity of 2-dimensional direction-length frameworks with connected rigidity matroids
Published
• View Publication
• BIB
A two-dimensional direction-length framework $(G,p)$ consists of a multigraph $G=(V;D,L)$ whose edge set is formed of "direction" edges $D$ and "length" edges $L$, and a realisation $p$ of this graph in the plane. The edges of the framework represent geometric constraints: length edges fix the distance between their endvertices, whereas direction edges specify the gradient of the line through both endvertices. A direction-length framework $(G,p)$ is globally rigid if every framework $(G,q)$ which satisfies the same direction and length constraints as $(G,p)$ can be obtained by translating $(G,p)$ in the plane, and/or rotating $(G,p)$ by $180^{\circ}$.
In this paper, we characterise global rigidity for generic direction-length frameworks whose associated rigidity matroid is connected, by showing that such frameworks are globally rigid if and only if every 2-separation of the underlying graph is direction-balanced.
Pieri rules for Schur functions in superspace
Published
• View Publication
• BIB
The Schur functions in superspace $s_Λ$ and $\bar s_Λ$ are the limits $q=t=0$ and $q=t=\infty$ respectively of the Macdonald polynomials in superspace. We prove Pieri rules for the bases $s_Λ$ and $\bar s_Λ$ (which happen to be essentially dual). As a consequence, we derive the basic properties of these bases such as dualities, monomial expansions, and tableaux generating functions.
On the purity of minor-closed classes of graphs
Published
• View Publication
• BIB
Given a graph $H$ with at least one edge, let $\operatorname{gap}_{H}(n)$ denote the maximum difference between the numbers of edges in two $n$-vertex edge-maximal graphs with no minor $H$. We show that for exactly four connected graphs $H$ (with at least two vertices), the class of graphs with no minor $H$ is pure, that is, $\operatorname{gap}_{H}(n) = 0$ for all $n \geq 1$; and for each connected graph $H$ (with at least two vertices) we have the dichotomy that either $\operatorname{gap}_{H}(n) = O(1)$ or $\operatorname{gap}_{H}(n) = Θ(n)$. Further, if $H$ is 2-connected and does not yield a pure class, then there is a constant $c>0$ such that $\operatorname{gap}_{H}(n) \sim cn$. We also give some partial results when $H$ is not connected or when there are two or more excluded minors.
The enhanced principal rank characteristic sequence over a field of characteristic 2
Published in Electron. J. Linear Algebra 32 (2017), 273--290
• View Publication
• BIB
The enhanced principal rank characteristic sequence (epr-sequence) of an $n \times n$ symmetric matrix over a field $\mathbb{F}$ was recently defined as $\ell_1 \ell_2 \cdots \ell_n$, where $\ell_k$ is either $\tt A$, $\tt S$, or $\tt N$ based on whether all, some (but not all), or none of the order-$k$ principal minors of the matrix are nonzero. Here, a complete characterization of the epr-sequences that are attainable by symmetric matrices over the field $\mathbb{Z}_2$, the integers modulo $2$, is established. Contrary to the attainable epr-sequences over a field of characteristic $0$, our characterization reveals that the attainable epr-sequences over $\mathbb{Z}_2$ possess very special structures. For more general fields of characteristic $2$, some restrictions on attainable epr-sequences are obtained.
Improvements to exact Boltzmann sampling using probabilistic divide-and-conquer and the recursive method
Published
• View Publication
• BIB
We demonstrate an approach for exact sampling of certain discrete combinatorial distributions, which is a hybrid of exact Boltzmann sampling and the recursive method, using probabilistic divide-and-conquer (PDC). The approach specializes to exact Boltzmann sampling in the trivial setting, and specializes to PDC deterministic second half in the first non-trivial application. A large class of examples is given for which this method broadly applies, and several examples are worked out explicitly.
Applications of a theorem by Ky Fan in the theory of weighted Laplacian graph energy
Published
• View Publication
• BIB
The energy of a graph $G$ is equal to the sum of the absolute values of the eigenvalues of $G$ , which in turn is equal to the sum of the singular values of the adjacency matrix of $G$. Let $X$, $Y$ and $Z$ be matrices, such that $X+Y= Z$. The Ky Fan theorem establishes an inequality between the sum of the singular values of $Z$ and the sum of the sum of the singular values of $X$ and $Y$. This theorem is applied in the theory of graph energy, resulting in several new inequalities, as well as new proofs of some earlier known inequalities.
Open problems on k-orbit polytopes
We present 35 open problems on combinatorial, geometric and algebraic aspects of k-orbit abstract polytopes. We also present a theory of rooted polytopes that has appeared implicitly in previous work but has not been formalized before.
Connectedness of the dart digraph and the squared-dart digraph
In this note we revisit the dart graph and the squared dart digraph constructions and prove that they yield strongly connected digraphs when applied to connected graphs of minimum valence at least 3.
Coloring Jordan regions and curves
Published in SIAM Journal on Discrete Mathematics 31(3) (2017), 1670-1684
• View Publication
• BIB
A Jordan region is a subset of the plane that is homeomorphic to a closed disk. Consider a family $\mathcal{F}$ of Jordan regions whose interiors are pairwise disjoint, and such that any two Jordan regions intersect in at most one point. If any point of the plane is contained in at most $k$ elements of $\mathcal{F}$ (with $k$ sufficiently large), then we show that the elements of $\mathcal{F}$ can be colored with at most $k+1$ colors so that intersecting Jordan regions are assigned distinct colors. This is best possible and answers a question raised by Reed and Shepherd in 1996. As a simple corollary, we also obtain a positive answer to a problem of Hliněný (1998) on the chromatic number of contact systems of strings.
We also investigate the chromatic number of families of touching Jordan curves. This can be used to bound the ratio between the maximum number of vertex-disjoint directed cycles in a planar digraph, and its fractional counterpart.
An Exploration of Sequence A000975
Published in Fibonacci Quarterly 55.5 (December 2017), pp.174-185; http://www.fq.math.ca/55-5.html
• View Publication
• BIB
Sequence A000975 in the Online Encyclopedia of Integer Sequences (OEIS) starts out 1, 2, 5, 10, 21, 42, 85, ... . As of July 1, 2016, the description in the OEIS lists several characterizations of this sequence and numerous examples of instances where this sequence occurs. It also presents a "not yet proved" result, a conjecture, and an unanswered question concerning this sequence. In this paper we show that all of these proposed results are in fact true.
A class of Ramsey-extremal hypergraphs
In 1991, McKay and Radziszowski proved that, however each 3-subset of a 13-set is assigned one of two colours, there is some 4-subset whose four 3-subsets have the same colour. More than 25 years later, this remains the only non-trivial classical Ramsey number known for hypergraphs. In this article, we find all the extremal colourings of the 3-subsets of a 12-set and list some of their properties. Using the catalogue, we provide an answer to a question of Dudek, Fleur, Mubayi and Rödl about the size-Ramsey numbers of hypergraphs.
A generalized lower bound theorem for balanced manifolds
Published
• View Publication
• BIB
A simplicial complex of dimension $d-1$ is said to be balanced if its graph is $d$-colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a generalization of their result to balanced triangulations of closed homology manifolds and balanced triangulations of orientable homology manifolds with boundary under an additional assumption that all proper links of these triangulations have the weak Lefschetz property. As a corollary, we show that if $Δ$ is an arbitrary balanced triangulation of any closed homology manifold of dimension $d-1 \geq 3$, then $2h_2(Δ) - (d-1)h_1(Δ) \geq 4{d \choose 2}(\tildeβ_1(Δ)-\tildeβ_0(Δ))$, thus verifying a conjecture by Klee and Novik. To prove these results we develop the theory of flag $h''$-vectors.
Seidel switching for weighted multi-digraphs and its quantum perspective
Construction of graphs with equal eigenvalues (co-spectral graphs) is an interesting problem in spectral graph theory. Seidel switching is a well-known method for generating co-spectral graphs. From a matrix theoretic point of view, Seidel switching is a combined action of a number of unitary operations on graphs. Recent works [1] and [2] have shown significant connections between graph and quantum information theories. Corresponding to Laplacian matrices of any graph there are quantum states useful in quantum computing. From this point of view, graph theoretical problems are meaningful in the context of quantum information. This work describes Seidel switching from a quantum perspective. Here, we generalize Seidel switching to weighted directed graphs. We use it to construct graphs with equal Laplacian and signless Laplacian spectra and consider density matrices corresponding to them. Hence Seidel switching is a technique to generate cospectral density matrices. Next, we show that all the unitary operators used in Seidel switching are global unitary operators. Global unitary operators can be used to generate entanglement, a benchmark phenomena in quantum information processing.
Can one see the shape of a network?
Traditionally, network analysis is based on local properties of vertices, like their degree or clustering, and their statistical behavior across the network in question. This paper develops an approach which is different in two respects. We investigate edge-based properties, and we define global characteristics of networks directly. The latter will provide our affirmative answer to the question raised in the title. More concretely, we start with Forman's notion of the Ricci curvature of a graph, or more generally, a polyhedral complex. This will allow us to pass from a graph as representing a network to a polyhedral complex for instance by filling in triangles into connected triples of edges and to investigate the resulting effect on the curvature. This is insightful for two reasons: First, we can define a curvature flow in order to asymptotically simplify a network and reduce it to its essentials. Second, using a construction of Bloch, which yields a discrete Gauss-Bonnet theorem, we have the Euler characteristic of a network as a global characteristic. These two aspects beautifully merge in the sense that the asymptotic properties of the curvature flow are indicated by that Euler characteristic.
Jacobi's triple product, mock theta functions, unimodal sequences and the $q$-bracket
Published
• View Publication
• BIB
In Ramanujan's final letter to Hardy, he listed examples of a strange new class of infinite series he called "mock theta functions". It turns out all of these examples are essentially specializations of a so-called universal mock theta function $g_3(z,q)$ of Gordon-McIntosh. Here we show that $g_3$ arises naturally from the reciprocal of the classical Jacobi triple product -- and is intimately tied to rank generating functions for unimodal sequences, which are connected to mock modular and quantum modular forms -- under the action of an operator related to statistical physics and partition theory, the $q$-bracket of Bloch-Okounkov. Secondly, we find $g_3(z,q)$ to extend in $q$ to the entire complex plane minus the unit circle, and give a finite formula for this universal mock theta function at roots of unity, that is simple by comparison to other such formulas in the literature; we also indicate similar formulas for other $q$-hypergeometric series. Finally, we look at interesting "quantum" behaviors of mock theta functions inside, outside, and on the unit circle.
A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane
We reprove the strong Hanani-Tutte theorem on the projective plane. In contrast to the previous proof by Pelsmajer, Schaefer and Stasi, our method is constructive and does not rely on the characterization of forbidden minors, which gives hope to extend it to other surfaces. Moreover, our approach can be used to provide an efficient algorithm turning a Hanani-Tutte drawing on the projective plane into an embedding.