Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Data types with symmetries and polynomial functors over groupoids
Published in Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, Bath 2012, Electronic Notes in Theoretical Computer Science 286 (2012), 351-365
• View Publication
• BIB
Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect is often prominent and justifies the terminology. For example, Tambara's theorem states that the category of finite polynomial functors is the Lawvere theory for commutative semirings. In this talk I will explain how an upgrade of the theory from sets to groupoids is useful to deal with data types with symmetries, and provides a common generalisation of and a clean unifying framework for quotient containers (cf. Abbott et al.), species and analytic functors (Joyal 1985), as well as the stuff types of Baez-Dolan. The multi-variate setting also includes relations and spans, multispans, and stuff operators. An attractive feature of this theory is that with the correct homotopical approach - homotopy slices, homotopy pullbacks, homotopy colimits, etc. - the groupoid case looks exactly like the set case. After some standard examples, I will illustrate the notion of data-types-with-symmetries with examples from quantum field theory, where the symmetries of complicated tree structures of graphs play a crucial role, and can be handled elegantly using polynomial functors over groupoids. (These examples, although beyond species, are purely combinatorial and can be appreciated without background in quantum field theory.) Locally cartesian closed 2-categories provide semantics for 2-truncated intensional type theory. For a fullfledged type theory, locally cartesian closed \infty-categories seem to be needed. The theory of these is being developed by D.Gepner and the author as a setting for homotopical species, and several of the results exposed in this talk are just truncations of \infty-results obtained in joint work with Gepner. Details will appear elsewhere.
Combinatorial identities related to eigenfunction decompositions of Hill operators: Open Questions
Published
• View Publication
• BIB
We formulate several open questions related to enumerative combinatorics, which arise in the spectral analysis of Hill operators with trigonometric polynomial potentials.
On the weights of simple paths in weighted complete graphs
Published
• View Publication
• BIB
Consider a weighted graph G with n vertices, numbered by the set {1,...,n}. For any path p in G, we call w_G(p) the sum of the weights of the edges of the path and we define the multiset {\cal D}_{i,j} (G) = {w_G(p) | p simple path between i and j} We establish a criterion to say when, given a multisubset of the set of the real numbers there exists a weighted complete graph G such that the multisubset is equal to {\cal D}_{i,j} (G) for some i,j vertices of G. Besides we establish a criterion to say when, given for any i, j in {1,...,n} a multisubset of the set of the real numbers,{\cal D}_{i,j}, there exists a weighted complete graph G with vertices {1,...,n} such that {\cal D}_{i,j} (G)= {\cal D}_{i,j} for any i,j.
Abstract approach to Ramsey theory and Ramsey theorems for finite trees
Published
• View Publication
• BIB
I will give a presentation of an abstract approach to finite Ramsey theory found in an earlier paper of mine. I will prove from it a common generalization of Deuber's Ramsey theorem for regular trees and a recent Ramsey theorem of Jasinski for boron tree structures. This generalization appears to be new. I will also show, in exercises, how to deduce from it the Milliken Ramsey theorem for strong subtrees.
A Class of Permutation Binomials over Finite Fields
Published
• View Publication
• BIB
Let $q>2$ be a prime power and $f={\tt x}^{q-2}+t{\tt x}^{q^2-q-1}$, where $t\in\Bbb F_q^*$. It was recently conjectured that $f$ is a permutation polynomial of $\Bbb F_{q^2}$ if and only if one of the following holds: (i) $t=1$, $q\equiv 1\pmod 4$; (ii) $t=-3$, $q\equiv \pm1\pmod{12}$; (iii) $t=3$, $q\equiv -1\pmod 6$. We confirm this conjecture in the present paper.
Manifold arrangements
Published in Journal of Combinatorial Theory Series A 125 (2014), 214--239
• View Publication
• BIB
We determine the cd-index of the induced subdivision arising from a manifold arrangement. This generalizes earlier results in several directions: (i) One can work with manifolds other than the n-sphere and n-torus, (ii) the induced subdivision is a Whitney stratification, and (iii) the submanifolds in the arrangement are no longer required to be codimension one.
Extended Orbits-Fixedpoints Relations
I extend further, using new proofs, two generalizations of an earlier orbits-fixed-points theorem, which was restricted to group action of the symmetric group. The extended equality makes use of the Stirling numbers of the second kind. An illustration using Mathieu group M24 is discussed. Possible applications using tensor products of matrix permutation representations is indicated.
A Sidon-type condition on set systems
Published
• View Publication
• BIB
Consider families of $k$-subsets (or blocks) on a ground set of size $v$. Recall that if all $t$-subsets occur with the same frequency $λ$, one obtains a $t$-design with index $λ$. On the other hand, if all $t$-subsets occur with different frequencies, such a family has been called (by Sarvate and others) a $t$-adesign. An elementary observation shows that such families always exist for $v > k \ge t$. Here, we study the smallest possible maximum frequency $μ=μ(t,k,v)$.
The exact value of $μ$ is noted for $t=1$ and an upper bound (best possible up to a constant multiple) is obtained for $t=2$ using PBD closure. Weaker, yet still reasonable asymptotic bounds on $μ$ for higher $t$ follow from a probabilistic argument. Some connections are made with the famous Sidon problem of additive number theory.
Oriented Hypergraphs I: Introduction and Balance
Published in Electronic Journal of Combinatorics. Vol. 20 (3), 2013
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that extends the concept of a signed graph. We introduce hypergraphic structures and techniques central to the extension of the circuit classification of signed graphs to oriented hypergraphs. Oriented hypergraphs are further decomposed into three families -- balanced, balanceable, and unbalanceable -- and we obtain a complete classification of the balanced circuits of oriented hypergraphs.
The critical surface fugacity of self-avoiding walks on a rotated honeycomb lattice
Published in J. Phys. A: Math. Theor. 47 (2014), 075003+
• View Publication
• BIB
In a recent paper by Beaton et al, it was proved that a model of self-avoiding walks on the honeycomb lattice, interacting with an impenetrable surface, undergoes an adsorption phase transition when the surface fugacity is $1+\sqrt{2}$. Their proof used a generalisation of an identity obtained by Duminil-Copin and Smirnov, and confirmed a conjecture of Batchelor and Yung. We consider a similar model of self-avoiding walk adsorption on the honeycomb lattice, but with the lattice rotated by $π/2$. For this model there also exists a conjecture for the critical surface fugacity, made in 1998 by Batchelor, Bennett-Wood and Owczarek. Using similar methods to Beaton et al, we prove that this is indeed the critical fugacity.
Enumerating topological $(n_k)$-configurations
Published in Comput. Geom., 47(2):175-186, 2014
• View Publication
• BIB
An $(n_k)$-configuration is a set of $n$ points and $n$ lines in the projective plane such that their point-line incidence graph is $k$-regular. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines, or just combinatorial lines. We provide an algorithm for generating, for given $n$ and $k$, all topological $(n_k)$-configurations up to combinatorial isomorphism, without enumerating first all combinatorial $(n_k)$-configurations. We apply this algorithm to confirm efficiently a former result on topological $(18_4)$-configurations, from which we obtain a new geometric $(18_4)$-configuration. Preliminary results on $(19_4)$-configurations are also briefly reported.
There is no upper bound for the diameter of the commuting graph of a finite group
Published
• View Publication
• BIB
We construct a family of finite special 2-groups which have commuting graph of increasing diameter
Trinets encode tree-child and level-2 phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks generalize evolutionary trees, and are commonly used to represent evolutionary histories of species that undergo reticulate evolutionary processes such as hybridization, recombination and lateral gene transfer. Recently, there has been great interest in trying to develop methods to construct rooted phylogenetic networks from triplets, that is rooted trees on three species. However, although triplets determine or encode rooted phylogenetic trees, they do not in general encode rooted phylogenetic networks, which is a potential issue for any such method. Motivated by this fact, Huber and Moulton recently introduced trinets as a natural extension of rooted triplets to networks. In particular, they showed that level-1 phylogenetic networks are encoded by their trinets, and also conjectured that all "recoverable" rooted phylogenetic networks are encoded by their trinets. Here we prove that recoverable binary level-2 networks and binary tree-child networks are also encoded by their trinets. To do this we prove two decomposition theorems based on trinets which hold for all recoverable binary rooted phylogenetic networks. Our results provide some additional evidence in support of the conjecture that trinets encode all recoverable rooted phylogenetic networks, and could also lead to new approaches to construct phylogenetic networks from trinets.
Sets of unit vectors with small subset sums
Published in Transactions of the American Mathematical Society 368 (2016), 7153--7188
• View Publication
• BIB
We say that a family ${x_i|i\in[m]}$ of vectors in a Banach space $X$ satisfies the $k$-collapsing condition if $|\sum_{i\in I}x_i|\leq 1$ for all $k$-element subsets $I\subseteq{1,2,...,m}$. Let $C(k,d)$ denote the maximum cardinality of a $k$-collapsing family of unit vectors in a $d$\dimensional Banach space, where the maximum is taken over all spaces of dimension $d$. Similarly, let $CB(k,d)$ denote the maximum cardinality if we require in addition that $\sum_{i=1}^m x_i=o$. The case $k=2$ was considered by Füredi, Lagarias and Morgan (1991). These conditions originate in a theorem of Lawlor and Morgan (1994) on geometric shortest networks in smooth finite-dimensional Banach spaces. We show that $CB(k,d)=\max{k+1,2d}$ for all $k,d\geq 2$. The behaviour of $C(k,d)$ is not as simple, and we derive various upper and lower bounds for various ranges of $k$ and $d$. These include the exact values $C(k,d)=\max{k+1,2d}$ in certain cases.
We use a variety of tools from graph theory, convexity and linear algebra in the proofs: in particular the Hajnal-Szemerédi Theorem, the Brunn-Minkowski inequality, and lower bounds for the rank of a perturbation of the identity matrix.
Ramanujan's q-continued fractions and Schroeder-like numbers
In a recent paper G. Bhatnagar has given simple proofs of some of Ramanujan's continued fractions. In this note we show that some variants of these continued fractions are generating functions of q-Schroeder-like numbers.
Stretched skew Schur polynomials are recurrent
Published in Journal of Combinatorial Theory, Series A, Volume 122, February 2014, Pages 1-8
• View Publication
• BIB
We show that sequences of skew Schur polynomials obtained from stretched semi-standard Young tableaux satisfy a linear recurrence, which we give explicitly. Using this, we apply this to finding certain asymptotic behavior of these Schur polynomials and present conjectures on minimal recurrences for stretched Schur polynomials.
Positivity for Gaussian graphical models
Published
• View Publication
• BIB
Gaussian graphical models are parametric statistical models for jointly normal random variables whose dependence structure is determined by a graph. In previous work, we introduced trek separation, which gives a necessary and sufficient condition in terms of the graph for when a subdeterminant is zero for all covariance matrices that belong to the Gaussian graphical model. Here we extend this result to give explicit cancellation-free formulas for the expansions of nonzero subdeterminants.
Geometric realization of $γ$-vectors of 2-truncated cubes
Published in Uspekhi Mat. Nauk, 67:3(405) (2012), 181-182
• View Publication
• BIB
This paper continues investigation of the class of flag simple polytopes called 2-truncated cubes. It is an extended version of the short note Volodin (2012). A 2-truncated cube is a polytope obtained from a cube by sequence of truncations of codimension 2 faces. Constructed uniquely defined function which maps any 2-truncated cube to a flag simplicial complex with $f$-vector equal to $γ$-vector of the polytope. As a corollary we obtain that $γ$-vectors of 2-truncated cubes satisfy Frankl-Furedi-Kalai inequalities.
Isoperimetric Sequences for Infinite Complete Binary Trees, Meta-Fibonacci Sequences and Signed Almost Binary Partitions
In this paper we demonstrate connections between three seemingly unrelated concepts.
(1) The discrete isoperimetric problem in the infinite binary tree with all the leaves at the same level, $ {\mathcal T}_{\infty}$:
The $n$-th edge isoperimetric number $δ(n)$ is defined to be $\min_{|S|=n, S \subset V({\mathcal T}_{\infty})} |(S,\bar{S})|$,
where $(S,\bar{S})$ is the set of edges in the cut defined by $S$.
(2) Signed almost binary partitions: This is the special case of the coin-changing problem where the coins are drawn from the set
${\pm (2^d - 1): $d$ is a positive integer}$. The quantity of interest is $τ(n)$, the minimum number of coins necessary to
make change for $n$ cents.
(3) Certain Meta-Fibonacci sequences: The Tanny sequence is defined by $T(n)=T(n{-}1{-}T(n{-}1))+T(n{-}2{-}T(n{-}2))$
and the Conolly sequence is defined by $C(n)=C(n{-}C(n{-}1))+C(n{-}1{-}C(n{-}2))$, where the initial conditions are $T(1) = C(1) = T(2) = C(2) = 1$.
These are well-known "meta-Fibonacci" sequences.
The main result that ties these three together is the following: $$ δ(n) = τ(n) = n+ 2 + 2 \min_{1 \le k \le n} (C(k) - T(n-k) - k).$$ Apart from this, we prove several other results which bring out the interconnections between the above three concepts.
The rate of growth of the minimum clique size of graphs of given order and chromatic number
Let $Q(n,c)$ denote the minimum clique number over graphs with $n$ vertices and chromatic number $c$. We determine the rate of growth of of the sequence ${Q(n,\lceil rn \rceil)}_{n=1}^\infty$ for any fixed $0<r\leq 1$. We also give a better upper bound for $Q(n,\lceil rn \rceil)$.