Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Composite Ramsey theorems via trees
We prove a theorem ensuring that the compositions of certain Ramsey families are still Ramsey. As an application, we show that in any finite coloring of $\mathbb{N}$ there is an infinite set $A$ and an as large as desired finite set $B$ with $(A+B)\cup (AB)$ monochromatic, answering a question from a recent paper of Kra, Moreira, Richter, and Robertson. In fact, we prove an iterated version of this result that also generalizes a Ramsey theorem of Bergelson and Moreira that was previously only known to hold for fields. Our main new technique is an extension of the color focusing method that involves trees rather than sequences.
Characterization of $α$-excellent $2$-trees
Published
• View Publication
• BIB
A graph is $α$-excellent if every vertex of the graph is contained in some maximum independent set of the graph. In this paper, we present two characterizations of the $α$-excellent $2$-trees.
On Universality of the S Combinator
In combinatory logic it is known that the set of two combinators K and S are universal; in the sense that any other combinator can be expressed in terms of these two. K combinator can not be expressed only in terms of the S combinator. This will answer a question raised by Stephen Wolfram as ``Is the S combinator on its own computation universal?''
Determinants of matrices related to the Pascal triangle
Published
• View Publication
• BIB
In this note we prove an assertion made by M. Levin in 1999: the Pascal matrix modulo 2 has the property that each of the square sub-matrices laying on the upper border or on the left border has determinants, computed in $\mathbb{Z}$, equal to 1 or -1.
On certain topological indices of graphs
Published
• View Publication
• BIB
In this paper we give new bounds for a several vertex-based and edge-based topological indices of graphs: Albertson irregularity index, degree variance index, Mostar and the first Zagreb index. Moreover, we give a new upper bound for the energy of graphs through IRB-index. Most of our results rely on a well-known characterization of the Laplacian spectral radius.
Non-Crossing Shortest Paths are Covered with Exactly Four Forests
Given a set of paths $P$ we define the \emph{Path Covering with Forest Number} of $P$} (PCFN($P$)) as the minimum size of a set $F$ of forests satisfying that every path in $P$ is contained in at least one forest in $F$. We show that PCFN($P$) is treatable when $P$ is a set of non-crossing shortest paths in a plane graph or subclasses. We prove that if $P$ is a set of non-crossing shortest paths of a planar graph $G$ whose extremal vertices lie on the same face of $G$, then PCFN($P$)\leq 4$, and this bound is tight.
Quantum walks on simplexes and multiple perfect state transfer
Published
• View Publication
• BIB
In this paper, we study quantum walks on the extension of association schemes. Various state transfers can be achieved on these graphs, such as multiple state transfer among extreme points of a simplex, fractional revival on subsimplexes. Since only few examples of multiple (perfect) state transfer are known, we aim to make some additions in this collection.
Special Functions for Hyperoctahedral Groups Using Bosonic, Trigonometric Six-Vertex Models
Published
• View Publication
• BIB
Recent works have sought to realize certain families of orthogonal, symmetric polynomials as partition functions of well-chosen classes of solvable lattice models. Many of these use Boltzmann weights arising from the trigonometric six-vertex model $R$-matrix (or generalizations or specializations of these weights). In this paper, we seek new variants of bosonic models on lattices designed for type B/C root systems, whose partition functions match the zonal spherical function in type C. Under general assumptions, we find that this is possible for all highest weights in rank $2$ and $3$, but not for higher rank.
Berge's conjecture for cubic graphs with small colouring defect
A long-standing conjecture of Berge suggests that every bridgeless cubic graph can be expressed as a union of at most five perfect matchings. This conjecture trivially holds for $3$-edge-colourable cubic graphs, but remains widely open for graphs that are not $3$-edge-colourable. The aim of this paper is to verify the validity of Berge's conjecture for cubic graphs that are in a certain sense close to $3$-edge-colourable graphs. We measure the closeness by looking at the colouring defect, which is defined as the minimum number of edges left uncovered by any collection of three perfect matchings. While $3$-edge-colourable graphs have defect $0$, every bridgeless cubic graph with no $3$-edge-colouring has defect at least $3$. In 2015, Steffen proved that the Berge conjecture holds for cyclically $4$-edge-connected cubic graphs with colouring defect $3$ or $4$. Our aim is to improve Steffen's result in two ways. We show that all bridgeless cubic graphs with defect $3$ satisfy Berge's conjecture irrespectively of their cyclic connectivity. If, additionally, the graph in question is cyclically $4$-edge-connected, then four perfect matchings suffice, unless the graph is the Petersen graph. The result is best possible as there exists an infinite family of cubic graphs with cyclic connectivity $3$ which have defect $3$ but cannot be covered with four perfect matchings.
The AFLT $q$-Morris constant term identity
Published
• View Publication
• BIB
It is well-known that the Selberg integral is equivalent to the Morris constant term identity. More generally, Selberg type integrals can be turned into constant term identities for Laurent polynomials. In this paper, by extending the Gessel--Xin method of the Laurent series proof of constant term identities, we obtain an AFLT type $q$-Morris constant term identity. That is a $q$-Morris type constant term identity for a product of two Macdonald polynomials.
Containing the spread of a contagion on a tree
Published
• View Publication
• BIB
Contact tracing can be thought of as a race between two processes: an infection process and a tracing process. In this paper, we study a simple model of infection spreading on a tree, and a tracer who stabilizes one node at a time. We focus on the question, how should the tracer choose nodes to stabilize so as to prevent the infection from spreading further? We study simple policies, which prioritize nodes based on time, infectiousness, or probability of generating new contacts.
Symmetric function generalizations of the $q$-Baker--Forrester ex-conjecture and Selberg-type integrals
Published
• View Publication
• BIB
It is well-known that the famous Selberg integral is equivalent to the Morris constant term identity. In 1998, Baker and Forrester conjectured a generalization of the $q$-Morris constant term identity. This conjecture was proved and extended by Károlyi, Nagy, Petrov and Volkov in 2015. In this paper, we obtain two symmetric function generalizations of the $q$-Baker--Forrester ex-conjecture. These includes: (i) a $q$-Baker--Forrester type constant term identity for a product of a complete symmetric function and a Macdonald polynomial; (ii) a complete symmetric function generalization of KNPV's result.
On the Ihara expression for the generalized weighted zeta function
We consider the generalized weighted zeta function for a finite digraph, and show that it has the Ihara expression, a determinant expression of graph zeta functions, with a certain specified definition for inverse arcs. A finite digraph in this paper allows multi-arcs or multi-loops.
Partial shuffles by lazy swaps
Published
• View Publication
• BIB
What is the smallest number of random transpositions (meaning that we swap given pairs of elements with given probabilities) that we can make on an $n$-point set to ensure that each element is uniformly distributed -- in the sense that the probability that $i$ is mapped to $j$ is $1/n$ for all $i$ and $j$? And what if we insist that each pair is uniformly distributed?
In this paper we show that the minimum for the first problem is about $\frac{1}{2} n \log_2 n$, with this being exact when $n$ is a power of $2$. For the second problem, we show that, rather surprisingly, the answer is not quadratic: $O(n \log^2 n)$ random transpositions suffice. We also show that if we ask only that the pair $1,2$ is uniformly distributed then the answer is $2n-3$. This proves a conjecture of Groenland, Johnston, Radcliffe and Scott.
Circles of Apollonius two ways
Because the problem of Apollonius is generally considered over the reals, it suffers from variance of number: there are at most eight circles simultaneously tangent to a given trio of circles, but some configurations have fewer than eight tangent circles. This issue arises over other non-closed fields as well. Using the tools of enriched enumerative geometry, we give two different ways to count the circles of Apollonius such that invariance of number holds over any field of characteristic not 2. We also pose the geometricity problem for local indices in enriched enumerative geometry.
Leclerc's conjecture on a cluster structure for type A Richardson varieties
Published
• View Publication
• BIB
Leclerc constructed a conjectural cluster structure on Richardson varieties in simply laced types using cluster categories. We show that in type A, his conjectural cluster structure is in fact a cluster structure. We do this by comparing Leclerc's construction with another cluster structure on type A Richardson varieties due to Ingermanson. Ingermanson's construction uses the combinatorics of wiring diagrams and the Deodhar stratification. Though the two cluster structures are defined very differently, we show that the quivers coincide and clusters are related by the twist map for Richardson varieties, recently defined by Galashin--Lam.
Edge-Cuts and Rooted Spanning Trees
Published
• View Publication
• BIB
We give a closed form formula to determine the size of a k-respecting cut. Further, we show that for any k, the size of the k-respecting cut can be found only using the size of 2-respecting cuts.
Quivers of stylic algebras
Published
• View Publication
• BIB
We construct a complete system of primitive orthogonal idempotents and give an explicit quiver presentation of the monoid algebra of the stylic monoid introduced by Abram and Reutenauer [arXiv:2106.06556].
Logical convergence laws via stochastic approximation and Markov processes
Published
• View Publication
• BIB
Since the paper of Kleinberg and Kleinberg, SODA'05, where it was proven that the preferential attachment random graph with degeneracy at least 3 does not obey the first order 0-1 law, no general methods were developed to study logical limit laws for recursive random graph models with arbitrary degeneracy. Even in the (possibly) simplest case of the uniform attachment, it is still not known whether the first order convergence law holds in this model. We prove that the uniform attachment random graph with bounded degrees obeys the first order convergence law. To prove the law, we describe dynamics of first order equivalence classes of the random graph using Markov chains. The convergence law follows from the existence of a limit distribution of the considered Markov chain. To show the latter convergence, we use stochastic approximation processes.
On a question of Alon
A system of linear equations in $\mathbb{F}_p^n$ is \textit{common} if every two-colouring of $\mathbb{F}_p^n$ yields at least as many monochromatic solutions as a random two-colouring, asymptotically as $n \to \infty$. By analogy to the graph-theoretic setting, Alon has asked whether any (non-Sidorenko) system of linear equations can be made uncommon by adding sufficiently many free variables. Fox, Pham and Zhao answered this question in the affirmative among systems which consist of a single equation. We answer Alon's question in the negative.
We also observe that the property of remaining common despite that addition of arbitrarily many free variables is closely related to a notion of commonness in which one replaces the arithmetic mean of the number of monochromatic solutions with the geometric mean, and furthermore resolve questions of Kamčev--Liebenau--Morrison.