Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Positivity among P-partition generating functions
Published in Annals of Combinatorics, 26, 171-204, 2022
• View Publication
• BIB
We seek simple conditions on a pair of labeled posets that determine when the difference of their $(P,ω)$-partition enumerators is $F$-positive, i.e., positive in Gessel's fundamental basis. This is a quasisymmetric analogue of the extensively studied problem of finding conditions on a pair of skew shapes that determine when the difference of their skew Schur functions is Schur-positive. We determine necessary conditions and separate sufficient conditions for $F$-positivity, and show that a broad operation for combining posets preserves positivity properties. We conclude with classes of posets for which we have conditions that are both necessary and sufficient.
Crossed morphisms, (integration of) post-Lie algebras and the post-Lie Magnus expansion
Published
• View Publication
• BIB
In the first part of this letter it will be shown that the post-Lie Magnus expansion can be interpreted as a crossed morphism between two (local) Lie group. The second part will be devoted to present two combinatorial methods, both based on special tubings on planar trees, to compute the coefficients of this remarkable formal series.
Extremal overlap-free and extremal $β$-free binary words
Published
• View Publication
• BIB
An overlap-free (or $β$-free) word $w$ over a fixed alphabet $Σ$ is extremal if every word obtained from $w$ by inserting a single letter from $Σ$ at any position contains an overlap (or a factor of exponent at least $β$, respectively). We find all lengths which admit an extremal overlap-free binary word. For every extended real number $β$ such that $2^+\leqβ\leq 8/3$, we show that there are arbitrarily long extremal $β$-free binary words.
Chromatic sumsets
Published in Journal of Number Theory 219 (2021), 93-108
• View Publication
• BIB
Let $\mathbf{A} = (A_1,\ldots, A_q)$ be a $q$-tuple of finite sets of integers. Associated to every $q$-tuple of nonnegative integers $\mathbf{h} = (h_1,\ldots, h_q)$ is the linear form $\mathbf{h}\cdot \mathbf{A} = h_1 A_1 + \cdots + h_qA_q$. The set $(\mathbf{h}\cdot \mathbf{A} )^{(t)}$ consists of all elements of this sumset with at least $t$ representations. The structure of the set $(\mathbf{h}\cdot \mathbf{A} )^{(t)}$ is computed for all sufficiently large $h_i$.
Asymptotic behaviour of normalized dimensions of standard and strict Young diagrams -- growth and oscillations
Published in J. Knot Theory Ramifications 26 (2016)
• View Publication
• BIB
In this paper, we present the results of a computer investigation of asymptotics for maximum dimensions of linear and projective representations of the symmetric group. This problem reduces to the investigation of standard and strict Young diagrams of maximum dimensions. We constructed some sequences for both standard and strict Young diagrams with extremely large dimensions. The conjecture that the limit of normalized dimensions exists was proposed 30 years ago [A.~M.~Vershik and S.~V.~Kerov, 1985] and has not been proved yet. We studied the growth and oscillations of the normalized dimension function in sequences of Young diagrams. Our approach is based on analyzing finite differences of their normalized dimensions. This analysis also allows us to give much more precise estimation of the limit constants.
Construction of edge-ordered multidirected graphlets for comparing dynamics of spatial temporal neural networks
The integration and transmission of information in the brain are dependent on the interplay between structural and dynamical properties. Implicit in any pursuit aimed at understanding neural dynamics from appropriate sets of mathematically bounded conditions is the notion of an underlying fundamental structure-function constraint imposed by the geometry of the structural networks and the resultant latencies involved with transfer of information. We recently described the construction and theoretical analysis of a framework that models how local structure-function rules give rise to emergent global dynamics on a neural network. An important part of this research program is the requirement for a set of mathematical methods that allow us to catalog, theoretically analyze, and numerically study the rich dynamical patterns that result. One direction we are exploring is an extension of the theory of graphlets. In this paper we introduce an extension of graphlets and associated metric that maps the topological transition of a network from one moment in time to another at the same time that causal relationships are preserved.
Counting Standard Young Tableaux With Restricted Runs
The number of Young Tableaux whose shape is a k by n rectangle is famously (nk)! 0! ... (k-1)!/((n+k-1)!(n+k-2)!... n!) implying that for each specific k, that sequence satisfies a linear recurrence equation with polynomial coefficients of the first order. But what about counting Young tableaux where certain "run lengths" are forbidden? Then things seem to get much more complicated. We conclude with four conjectures and pledge donations to the OEIS in honor of the first provers.
Extension complexity of low-dimensional polytopes
Published
• View Publication
• BIB
Sometimes, it is possible to represent a complicated polytope as a projection of a much simpler polytope. To quantify this phenomenon, the extension complexity of a polytope $P$ is defined to be the minimum number of facets of a (possibly higher-dimensional) polytope from which $P$ can be obtained as a (linear) projection. This notion is motivated by its relevance to combinatorial optimisation, and has been studied intensively for various specific polytopes associated with important optimisation problems. In this paper we study extension complexity as a parameter of general polytopes, more specifically considering various families of low-dimensional polytopes.
First, we prove that for a fixed dimension $d$, the extension complexity of a random $d$-dimensional polytope (obtained as the convex hull of random points in a ball or on a sphere) is typically on the order of the square root of its number of vertices. Second, we prove that any cyclic $n$-vertex polygon (whose vertices lie on a circle) has extension complexity at most $24\sqrt n$. This bound is tight up to the constant factor $24$. Finally, we show that there exists an $n^{o(1)}$-dimensional polytope with at most $n$ vertices and extension complexity $n^{1-o(1)}$. Our theorems are proved with a range of different techniques, which we hope will be of further interest.
Distinct distances in the complex plane
Published in Trans. Amer. Math. Soc. 374 (2021), 6691-6725
• View Publication
• BIB
We prove that if $P$ is a set of $n$ points in $\mathbb{C}^2$, then either the points in $P$ determine $Ω(n^{1-ε})$ complex distances, or $P$ is contained in a line with slope $\pm i$. If the latter occurs then each pair of points in $P$ have complex distance 0.
The maximal tree with respect to the exponential of the second Zagreb index
The second Zagreb index is $M_2(G)=\sum_{uv\in E(G)}d_{G}(u)d_{G}(v)$. It was found to occur in certain approximate expressions of the total $π$-electron energy of alternant hydrocarbons and used by various researchers in their QSPR and QSAR studies. Recently the exponential of a vertex-degree-based topological index was introduced. It is known that among all trees with $n$ vertices, the exponential of the second Zagreb index $e^{M_2}$ attains its minimum value in the path $P_n$. In this paper, we show that $e^{M_2}$ attains its maximum value in the balanced double star with $n$ vertices and solve an open problem proposed by Cruz and Rada [R. Cruz, J. Rada, The path and the star as extremal values of vertex-degree-based topological indices among trees, MATCH Commun. Math. Comput. Chem. 82 (3) (2019) 715-732].
Fluctuation moments induced by conjugation with asymptotically liberating random matrix ensembles
Published
• View Publication
• BIB
G. Anderson and B. Farrel showed that conjugation of constant matrices by asymptotically liberating random unitary matrices give rise to asymptotic free independence. Independent Haar-unitary random matrices and independent Haar-orthogonal random matrices are examples of asymptotically liberating ensembles. In this paper, we investigate the fluctuation moments, and higher order moments, induced on constant matrices by conjugation with asymptotically liberating ensembles. In particular, we determine fluctuation moments induced by an ensembles related to the Discrete Fourier Transform matrix.
On some conjectures of P. Barry
Published
• View Publication
• BIB
We prove a number of conjectures [arXiv:2005.04066] recently stated by P. Barry, related to the paperfolding sequence and the Rueppel sequence.
Diameters of Cocircuit Graphs of Oriented Matroids: An Update
Published
• View Publication
• BIB
Oriented matroids (often called order types) are combinatorial structures that generalize point configurations, vector configurations, hyperplane arrangements, polyhedra, linear programs, and directed graphs. Oriented matroids have played a key role in combinatorics, computational geometry, and optimization. This paper surveys prior work and presents an update on the search for bounds on the diameter of the cocircuit graph of an oriented matroid.
We review the diameter problem and show the diameter bounds of general oriented matroids reduce to those of uniform oriented matroids. We give the latest exact bounds for oriented matroids of low rank and low corank, and for all oriented matroids with up to nine elements (this part required a large computer-based proof). The motivation for our investigations is the complexity of the simplex method and the criss-cross method. For arbitrary oriented matroids, we present an improvement to a quadratic bound of Finschi. Our discussion highlights two very important conjectures related to the polynomial Hirsch conjecture for polytope diameters.
Confining the Robber on Cographs
Published
• View Publication
• BIB
In this paper, the notions of {\em trapping} and {\em confining} the robber on a graph are introduced. We present some structural necessary conditions for graphs $G$ not containing the path on $k$ vertices (referred to as $P_k$-free graphs) for some $k\ge 4$, so that $k-3$ cops do not have a strategy to capture or confine the robber on $G$. Utilizing such conditions, we show that for planar cographs and planar $P_5$-free graphs the confining cop number is at most one and two, respectively. It is also shown that the number of vertices of a connected cograph on which one cop does not have a strategy to confine the robber has a tight lower-bound of eight. We also explore the effects of twin operations -- which are well known to provide a characterization of cographs -- on the number of cops required to capture or confine the robber on cographs. We conclude by posing two conjectures concerning the confining cop number of $P_5$-free graphs and the smallest planar graph of confining cop number of three.
Iterated sumsets and Hilbert functions
Published
• View Publication
• BIB
Let A be a finite subset of an abelian group (G, +). Let h $\ge$ 2 be an integer. If |A| $\ge$ 2 and the cardinality |hA| of the h-fold iterated sumset hA = A + $\times$ $\times$ $\times$ + A is known, what can one say about |(h -- 1)A| and |(h + 1)A|? It is known that |(h -- 1)A| $\ge$ |hA| (h--1)/h , a consequence of Pl{ü}nnecke's inequality. Here we improve this bound with a new approach. Namely, we model the sequence |hA| h$\ge$0 with the Hilbert function of a standard graded algebra. We then apply Macaulay's 1927 theorem on the growth of Hilbert functions, and more specifically a recent condensed version of it. Our bound implies |(h -- 1)A| $\ge$ $θ$(x, h) |hA| (h--1)/h for some factor $θ$(x, h) > 1, where x is a real number closely linked to |hA|. Moreover, we show that $θ$(x, h) asymptotically tends to e $\approx$ 2.718 as |A| grows and h lies in a suitable range varying with |A|.
Another approach to non-repetitive colorings of graphs of bounded degree
Published
• View Publication
• BIB
We propose a new proof technique that aims to be applied to the same problems as the Lovász Local Lemma or the entropy-compression method. We present this approach in the context of non-repetitive colorings and we use it to improve upper-bounds relating different non-repetitive numbers to the maximal degree of a graph. It seems that there should be other interesting applications to the presented approach.
In terms of upper-bound our approach seems to be as strong as entropy-compression, but the proofs are more elementary and shorter. The application we provide in this paper are upper bounds for graphs of maximal degree at most $Δ$: a minor improvement on the upper-bound of the non-repetitive number, a $4.25Δ+o(Δ)$ upper-bound on the weak total non-repetitive number and a $ Δ^2+\frac{3}{2^\frac{1}{3}}Δ^{\frac{5}{3}}+ o(Δ^{\frac{5}{3}})$ upper-bound on the total non-repetitive number of graphs. This last result implies the same upper-bound for the non-repetitive index of graphs, which improves the best known bound.
The distributions under two species-tree models of the number of root ancestral configurations for matching gene trees and species trees
Published
• View Publication
• BIB
For a pair consisting of a gene tree and a species tree, the ancestral configurations at an internal node of the species tree are the distinct sets of gene lineages that can be present at that node. Ancestral configurations appear in computations of gene tree probabilities under evolutionary models conditional on fixed species trees, and the enumeration of root ancestral configurations -- ancestral configurations at the root of the species tree -- assists in describing the complexity of these computations. In the case that the gene tree matches the species tree in topology, we study the distribution of the number of root ancestral configurations of a random labeled tree topology under each of two models.
Forcing Hamiltonicity in locally finite graphs via forbidden induced subgraphs I: nets and bulls
Published
• View Publication
• BIB
In a series of papers, of which this is the first, we study sufficient conditions for Hamiltonicity in terms of forbidden induced subgraphs and extend such results to locally finite infinite graphs. For this we use topological circles within the Freudenthal compactification of a locally finite graph as infinite cycles. In this paper we focus on conditions involving claws, nets and bulls as induced subgraphs. We extend Hamiltonicity results for finite claw-free and net-free graphs by Shepherd to locally finite graphs. Moreover, we generalise a classification of finite claw-free and net-free graphs by Shepherd to locally finite ones. Finally, we extend to locally finite graphs a Hamiltonicity result by Ryjáček involving a relaxed condition of being bull-free.
Forcing Hamiltonicity in locally finite graphs via forbidden induced subgraphs II: paws
In this paper we extend a result about a sufficient condition for Hamiltonicity for finite graphs by Broersma and Veldmann to locally finite graphs. In order to do this we use topological circles within the Freudenthal compactification of a locally finite graph as infinite cycles. The condition we focus on in this paper is in terms of forbidden induced subgraphs, namely being claw-free and a relaxation of being paw-free.
A Thomassen-type method for planar graph recoloring
The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertices all possible $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex. We use a list coloring technique inspired by results of Thomassen to prove that for a planar graph $G$ with $n$ vertices, $R_{10}(G)$ has diameter at most $8n$, and if $G$ is triangle-free, then $R_7(G)$ has diameter at most $7n$.