Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Homothetic triangle representations of planar graphs
We prove that every planar graph is the intersection graph of homothetic triangles in the plane.
Triple-crossing projections, moves on knots and links and their minimal diagrams
Published in Journal of Knot Theory and Its Ramifications Vol. 29, No. 04, 2050015 (2020)
• View Publication
• BIB
In this paper we present a systematic method to generate prime knot and prime link minimal triple-point projections, and then classify all classical prime knots and prime links with triple-crossing number at most four. We also extend the table of known knots and links with triple-crossing number equal to five. By introducing a new type of diagrammatic move, we reduce the number of generating moves on triple-crossing diagrams, and derive a minimal generating set of moves connecting triple-crossing diagrams of the same knot.
Tree Descent Polynomials: Unimodality and Central Limit Theorem
Published
• View Publication
• BIB
For a poset whose Hasse diagram is a rooted plane forest $F$, we consider the corresponding tree descent polynomial $A_F(q)$, which is a generating function of the number of descents of the labelings of $F$. When the forest is a path, $A_F(q)$ specializes to the classical Eulerian polynomial. We prove that the coefficient sequence of $A_F(q)$ is unimodal and that if $\{T_{n}\}$ is a sequence of trees with $|T_{n}| = n$ and maximal down degree $D_{n} = O(n^{0.5-ε})$ then the number of descents in a labeling of $T_{n}$ is asymptotically normal.
Recursions for rational q,t-Catalan numbers
Published in J. Combin. Theory Ser. A 173 (2020), 105237
• View Publication
• BIB
We give a simple recursion labeled by binary sequences which computes rational $q,t$-Catalan power series, both in relatively prime and non relatively prime cases. It is inspired by, but not identical to recursions due to B. Elias, M. Hogancamp, and A. Mellit, obtained in their study of link homology. We also compare our recursion with the Hogancamp-Mellit's recursion and verify a connection between the Khovanov-Rozansky homology of $N,M$-torus links and the rational $q,t$-Catalan power series for general positive $N,M.$
Random shuffles on trees using extended promotion
Published in Internat. J. Algebra Comput. 29 (2019), 561-580
• Search Publication
The Tsetlin library is a very well studied model for the way an arrangement of books on a library shelf evolves over time. One of the most interesting properties of this Markov chain is that its spectrum can be computed exactly and that the eigenvalues are linear in the transition probabilities. In this paper we consider a generalization which can be interpreted as a self-organizing library in which the arrangements of books on each shelf are restricted to be linear extensions of a fixed poset. The moves on the books are given by the extended promotion operators of Ayyer, Klee, and Schilling while the shelves, bookcases, etc. evolve according to the move-to-back moves as in the the self-organizing library of Björner. We show that the eigenvalues of the transition matrix of this Markov chain are $\pm 1$ integer combinations of the transition probabilities if the posets that prescribe the restrictions on the book arrangements are rooted forests or more generally, if they consist of ordinal sums of a rooted forest and so called ladders. For some of the results we show that the monoids generated by the moves are either $\mathcal{R}$-trivial or, more generally, in $\textbf{DO(Ab)}$ and then we use the theory of left random walks on the minimal ideal of such monoids to find the eigenvalues. Moreover, in order to give a combinatorial description of the eigenvalues in the more general case, we relate the eigenvalues when the restrictions on the book arrangements change only by allowing for one additional transposition of two fixed books.
Value distribution of elementary symmetric polynomials and its perturbations over finite fields
Published
• View Publication
• BIB
In this article we establish the asymptotic behavior of generating functions related to the exponential sum over finite fields of elementary symmetric functions and their perturbations. This asymptotic behavior allows us to calculate the probability generating function of the probability that the the elementary symmetric polynomial of degree $k$ and its perturbations returns $β\in \mathbb{F}_q$ where $\mathbb{F}_q$ represents the field of $q$ elements. Our study extends many of the results known for perturbations over the binary field to any finite field. In particular, we establish when a particular perturbation is asymptotically balanced over a prime field and provide a construction to find such perturbations over any finite field.
The normality and sum of normalities of trees
Published in Discrete Matehmatics 2019
• View Publication
• BIB
The eccentricity of a vertex $v$ in a graph $G$ is the maximum distance from $v$ to any other vertex. The vertices whose eccentricity are equal to the diameter (the maximum eccentricity) of $G$ are called peripheral vertices. In trees the eccentricity at $v$ can always be achieved by the distance from $v$ to a peripheral vertex. From this observation we are motivated to introduce normality of a vertex $v$ as the minimum distance from $v$ to any peripheral vertex. We consider the properties of the normality as well as the middle part of a tree with respect to this concept. Various related observations are discussed and compared with those related to the eccentricity. Then, analogous to the sum of eccentricities we consider the sum of normalities. After briefly discussing the extremal problems in general graphs we focus on trees and trees under various constraints. As opposed to the path and star in numerous extremal problems, we present several interesting and unexpected extremal structures. Lastly we consider the difference between eccentricity and normality, and the sum of these differences. We also introduce some unsolved problems in the context.
Enumeration and Extensions of Word-representants
Published in Discrete Applied Mathematics, Volume 284, 2020, p. 423-433
• View Publication
• BIB
Given a finite word $w$ over a finite alphabet $V$, consider the graph with vertex set $V$ and with an edge between two elements of $V$ if and only if the two elements alternate in the word $w$. Such a graph is said to be word-representable or 11-representable by the word $w$; this latter terminology arises from the phenomenon that the condition of two elements $x$ and $y$ alternating in a word $w$ is the same as the condition of the subword of $w$ induced by $x$ and $y$ avoiding the pattern 11. In this paper, we first study minimal length words which word-represent graphs, giving an explicit formula for both the length and the number of such words in the case of trees and cycles. We then extend the notion of word-representability (or 11-representability) of graphs to $t$-representability of graphs, for any pattern $t$ on two letters. We prove that every graph is $t$-representable for any pattern $t$ on two letters (except for possibly one class of $t$). Finally, we pose a few open problems for future consideration.
Ramsey Goodness of Paths in Random Graphs
Published
• View Publication
• BIB
We say that a graph $G$ is Ramsey for $H_1$ versus $H_2$, and write $G \to (H_1,H_2)$, if every red-blue colouring of the edges of $G$ contains either a red copy of $H_1$ or a blue copy of $H_2$. In this paper we study the threshold for the event that the Erdős--Rényi random graph $G(N,p)$ is Ramsey for a clique versus a path. We show that $$G\big( (1 + \varepsilon) rn,p \big) \to (K_{r+1},P_n)$$ with high probability if $p \gg n^{-2 / (r + 1)}$, and $$G\big( rn + t, p \big) \to (K_{r+1},P_n)$$ with high probability if $p \gg n^{-2 / (r + 2)}$ and $t \gg 1/p$. Both of these results are sharp (in different ways), since with high probability $G(Cn,p) \not\to (K_{r+1}, P_n)$ for any constant $C > 0$ if $p \ll n^{-2/(r + 1)}$, and $G(rn + t, p) \not\to (K_{r+1}, P_n)$ if $t \ll 1/p$, for any $0 < p \le 1$.
An SOS counterexample to an inequality of symmetric functions
Published
• View Publication
• BIB
It is known that differences of symmetric functions corresponding to various bases are nonnegative on the nonnegative orthant exactly when the partitions defining them are comparable in dominance order. The only exception is the case of homogeneous symmetric functions where it is only known that dominance of the partitions implies nonnegativity of the corresponding difference of symmetric functions. It was conjectured by Cuttler, Greene, and Skandera in 2011 that the converse also holds, as in the cases of the monomial, elementary, power-sum, and Schur bases. In this paper we provide a counterexample, showing that homogeneous symmetric functions break the pattern. We use semidefinite programming to find an explicit sums of squares decomposition of the polynomial $H_{44} - H_{521}$ as a sum of 41 squares. This rational certificate of nonnegativity disproves the conjecture, since a polynomial which is a sum of squares cannot be negative, and since the partitions 44 and 521 are incomparable in dominance order.
Flows on signed graphs without long barbells
Published
• View Publication
• BIB
Many basic properties in Tutte's flow theory for unsigned graphs do not have their counterparts for signed graphs. However, signed graphs without long barbells in many ways behave like unsigned graphs from the point view of flows. In this paper, we study whether some basic properties in Tutte's flow theory remain valid for this family of signed graphs. Specifically let $(G,σ)$ be a flow-admissible signed graph without long barbells. We show that it admits a nowhere-zero $6$-flow and that it admits a nowhere-zero modulo $k$-flow if and only if it admits a nowhere-zero integer $k$-flow for each integer $k\geq 3$ and $k \not = 4$. We also show that each nowhere-zero positive integer $k$-flow of $(G,σ)$ can be expressed as the sum of some $2$-flows. For general graphs, we show that every nowhere-zero $\frac{p}{q}$-flow can be normalized in such a way, that each flow value is a multiple of $\frac{1}{2q}$. As a consequence we prove the equality of the integer flow number and the ceiling of the circular flow number for flow-admissible signed graphs without long barbells.
Flagged Littlewood-Richardson tableaux and branching rule for classical groups
Published in Journal of Combinatorial Theory, Series A, 181, (2021), 105419
• View Publication
• BIB
We give a new formula for the branching rule from ${\rm GL}_n$ to ${\rm O}_n$ generalizing the Littlewood's restriction formula. The formula is given in terms of Littlewood-Richardson tableaux with certain flag conditions which vanish in a stable range. As an application, we give a combinatorial formula for the Lusztig $t$-weight multiplicity $K_{μ0}(t)$ of type $B_n$ and $D_n$ with highest weight $μ$ and weight $0$.
On the minimum degree required for a triangle decomposition
Published
• View Publication
• BIB
We prove that, for sufficiently large $n$, every graph of order $n$ with minimum degree at least $0.852n$ has a fractional edge-decomposition into triangles. We do this by refining a method used by Dross to establish a bound of $0.9n$. By a result of Barber, Kühn, Lo and Osthus, our result implies that, for each $ε>0$, every graph of sufficiently large order $n$ with minimum degree at least $(0.852+ε)n$ has a triangle decomposition if and only if it has all even degrees and number of edges a multiple of three.
Partial linear spaces with a rank 3 affine primitive group of automorphisms
Published in J. London Math. Soc. 104 (2021), 1011-1084
• View Publication
• BIB
A partial linear space is a pair $(\mathcal{P},\mathcal{L})$ where $\mathcal{P}$ is a non-empty set of points and $\mathcal{L}$ is a collection of subsets of $\mathcal{P}$ called lines such that any two distinct points are contained in at most one line, and every line contains at least two points. A partial linear space is proper when it is not a linear space or a graph. A group of automorphisms $G$ of a proper partial linear space acts transitively on ordered pairs of distinct collinear points and ordered pairs of distinct non-collinear points precisely when $G$ is transitive of rank 3 on points. In this paper, we classify the finite proper partial linear spaces that admit rank 3 affine primitive automorphism groups, except for certain families of small groups, including subgroups of $AΓL_1(q)$. Up to these exceptions, this completes the classification of the finite proper partial linear spaces admitting rank 3 primitive automorphism groups. We also provide a more detailed version of the classification of the rank 3 affine primitive permutation groups, which may be of independent interest.
Compacted binary trees admit a stretched exponential
Published in J. Combin. Theory Ser. A 177 (2021), 105306
• View Publication
• BIB
A compacted binary tree is a directed acyclic graph encoding a binary tree in which common subtrees are factored and shared, such that they are represented only once. We show that the number of compacted binary trees of size $n$ grows asymptotically like $$Θ\left( n! \, 4^n e^{3a_1n^{1/3}} n^{3/4} \right),$$ where $a_1\approx-2.338$ is the largest root of the Airy function. Our method involves a new two parameter recurrence which yields an algorithm of quadratic arithmetic complexity. We use empirical methods to estimate the values of all terms defined by the recurrence, then we prove by induction that these estimates are sufficiently accurate for large $n$ to determine the asymptotic form. Our results also lead to new bounds on the number of minimal finite automata recognizing a finite language on a binary alphabet. As a consequence, these also exhibit a stretched exponential.
Equivariant cohomology, Schubert calculus, and edge labeled tableaux
Published in Facets of algebraic geometry. Vol. II, 284--335, London Math. Soc. Lecture Note Ser., 473, Cambridge Univ. Press, Cambridge, 2022
• View Publication
• BIB
This chapter concerns edge labeled Young tableaux, introduced by H. Thomas and the third author. It is used to model equivariant Schubert calculus of Grassmannians. We survey results, problems, conjectures, together with their influences from combinatorics, algebraic and symplectic geometry, linear algebra, and computational complexity. We report on a new shifted analogue of edge labeled tableaux. Conjecturally, this gives a Littlewood-Richardson rule for the structure constants of the D. Anderson-W. Fulton ring, which is related to the equivariant cohomology of isotropic Grassmannians.
Independence Polynomials and Hypergeometric Series
Published
• View Publication
• BIB
Let $Γ$ be a simple graph and $I_Γ(x)$ its multivariate independence polynomial. The main result of this paper is the characterization of chordal graphs as the only $Γ$ for which the power series expansion of $I_Γ^{-1}(x)$ is Horn hypergeometric.
Substitutive systems and a finitary version of Cobham's theorem
Published
• View Publication
• BIB
We study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear as common factors of two automatic sequences defined over multiplicatively independent bases. This generalises the famous theorem of Cobham.
Quantitative invertibility of random matrices: a combinatorial perspective
We study the lower tail behavior of the least singular value of an $n\times n$ random matrix $M_n := M+N_n$, where $M$ is a fixed complex matrix with operator norm at most $\exp(n^{c})$ and $N_n$ is a random matrix, each of whose entries is an independent copy of a complex random variable with mean $0$ and variance $1$. Motivated by applications, our focus is on obtaining bounds which hold with extremely high probability, rather than on the least singular value of a typical such matrix.
This setting has previously been considered in a series of influential works by Tao and Vu, most notably in connection with the strong circular law, and the smoothed analysis of the condition number, and our results improve upon theirs in two ways:
(i) We are able to handle $\|M\| = O(\exp(n^{c}))$, whereas the results of Tao and Vu are applicable only for $M = O(\text{poly(n)})$.
(ii) Even for $M = O(\text{poly(n)})$, we are able to extract more refined information -- for instance, our results show that for such $M$, the probability that $M_n$ is singular is $O(\exp(-n^{c}))$, whereas even in the case when $ξ$ is a Bernoulli random variable, the results of Tao and Vu only give a bound of the form $O_{C}(n^{-C})$ for any constant $C>0$.
As opposed to all previous works obtaining such bounds with error rate better than $n^{-1}$, our proof makes no use either of the inverse Littlewood--Offord theorems, or of any sophisticated net constructions. Instead, we show how to reduce the problem from the (complex) sphere to (Gaussian) integer vectors, where it is solved directly by utilizing and extending a combinatorial approach to the singularity problem for random discrete matrices, recently developed by Ferber, Luh, Samotij, and the author.
Cubic bent functions outside the completed Maiorana-McFarland class
Published
• View Publication
• BIB
In this paper we prove that in opposite to the cases of 6 and 8 variables, the Maiorana-McFarland construction does not describe the whole class of cubic bent functions in $n$ variables for all $n\ge 10$. Moreover, we show that for almost all values of $n$, these functions can simultaneously be homogeneous and have no affine derivatives.