Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Correlations in totally symmetric self-complementary plane partitions
Published in Transactions of the London Mathematical Society, Vol 8 no. 1, 493--526, 2021
• View Publication
• BIB
Totally symmetric self-complementary plane partitions (TSSCPPs) are boxed plane partitions with the maximum possible symmetry. We use the well-known representation of TSSCPPs as a dimer model on a honeycomb graph enclosed in one-twelfth of a hexagon with free boundary to express them as perfect matchings of a family of non-bipartite planar graphs. Our main result is that the edges of the TSSCPPs form a Pfaffian point process, for which we give explicit formulas for the inverse Kasteleyn matrix. Preliminary analysis of these correlations are then used to give a precise conjecture for the limit shape of TSSCPPs in the scaling limit.
On non-adaptive majority problems of large query size
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Analysis of Algorithms (November 26, 2021) dmtcs:7084
• View Publication
• BIB
We are given $n$ balls and an unknown coloring of them with two colors. Our goal is to find a ball that belongs to the larger color class, or show that the color classes have the same size. We can ask sets of $k$ balls as queries, and the problem has different variants, according to what the answers to the queries can be. These questions has attracted several researchers, but the focus of most research was the adaptive version, where queries are decided sequentially, after learning the answer to the previous query. Here we study the non-adaptive version, where all the queries have to be asked at the same time.
On Turán-good graphs
Published
• View Publication
• BIB
For graphs $H$ and $F$, the generalized Turán number $ex(n,H,F)$ is the largest number of copies of $H$ in an $F$-free graph on $n$ vertices. We say that $H$ is $F$-Turán-good if $ex(n,H,F)$ is the number of copies in the $(χ(F)-1)$-partite Turán graph, provided $n$ is large enough.
We present a general theorem in case $F$ has an edge whose deletion decreases the chromatic number. In particular, this determines $ex(n,P_k,C_{2\ell+1})$ and $ex(n,C_{2k},C_{2\ell+1})$ exactly, if $n$ is large enough. We also study the case when $F$ has a vertex whose deletion decreases the chromatic number.
Arithmetization of well-formed parenthesis strings. Motzkin Numbers of the Second Kind
In this paper, we perform an arithmetization of well-formed parenthesis strings with zeros (Motzkin words) and of corresponding Motzkin paths. The transformations used are reminiscent of Gödel numbering for mathematical objects of some formal language. We construct a Motzkin series that is as close as possible to natural numbers by many formal features. Parenthesis strings are encoded by ternary codes and corresponding natural numbers, Motzkin numbers of the 2nd kind, which made it possible to formalize and simplify the analysis of the successor function, to specify and clarify the procedure for selecting a successor. In the process of arithmetization of well-wormed parenthesis strings, various special numbers appeared. In this regard, in conclusion we will talk a little about numbers of the form $3^n+2$ and mirror numbers $2*3^n+1$.
Orthogonal symmetric matrices and joins of graphs
Published
• View Publication
• BIB
We introduce a notion of compatibility for multiplicity matrices. This gives rise to a necessary condition for the join of two (possibly disconnected) graphs $G$ and $H$ to be the pattern of an orthogonal symmetric matrix, or equivalently, for the minimum number of distinct eigenvalues $q$ of $G\vee H$ to be equal to two. Under additional hypotheses, we show that this necessary condition is also sufficient. As an application, we prove that $q(G\vee H)$ is either two or three when $G$ and $H$ are unions of complete graphs, and we characterise when each case occurs.
On distance matrices of helm graphs obtained from wheel graphs with an even number of vertices
Published
• View Publication
• BIB
Let $n \geq 4$. The helm graph $H_n$ on $2n-1$ vertices is obtained from the wheel graph $W_n$ by adjoining a pendant edge to each vertex of the outer cycle of $W_n$. Suppose $n$ is even. Let $D := [d_{ij}]$ be the distance matrix of $H_n$. In this paper, we first show that $\det(D) = 3(n-1)2^{n-1}.$ Next, we find a matrix $Ł$ and a vector $u$ such that \[D^{-1} = -\frac{1}{2}Ł+\frac{4}{3(n-1)}uu'.\] We also prove an interlacing property between the eigenvalues of $Ł$ and $D$.
The Characterization of Finite Elasticities
Published
• View Publication
• BIB
Our motivating goal is factorization in Krull Domains $H$ with finitely generated class group $G$. The elasticity $ρ(H)$ is the maximal number of atoms in any re-factorization of a product of $k$ atoms. The elasticities are the same as those of a combinatorial monoid of zero-sum sequences $B(G_0)$, where $G_0\subseteq G$ are the classes with height one primes. We characterize when finite elasticity holds for any Krull Domain with finitely generated class group. Our results are valid for the more general class of Transfer Krull Monoids (over a subset $G_0$ of a finitely generated abelian group $G$). We show there is a minimal $s\leq (d+1)m$, where $d$ is the torsion free rank and $m$ is the torsion exponent, such that $ρ_s(H)<\infty$ implies $ρ_k(H)<\infty$ for all $k\geq 1$. This ensures $ρ(H)<\infty$ if and only if $ρ_{(d+1)m}(H)<\infty$. Our characterization is in terms of a simple combinatorial obstruction to infinite elasticity: there existing a subset $G_0^\diamond\subseteq G_0$ and bound $N$ such that there are no nontrivial zero-sum sequences with terms from $G_0^\diamond$, and every minimal zero-sum sequence has at most $N$ terms from $G_0\setminus G_0^\diamond$. We give an explicit description of $G_0^\diamond$ in terms of the Convex Geometry of $G_0$ modulo the torsion subgroup $G_T\leq G$, and show finite elasticity is equivalent to there being no positive linear combination of the elements of this explicitly defined subset equal to $0$ modulo $G_T$. We use our results to show finite elasticity implies the set of distances $Δ(H)$, the catenary degree $\mathsf c(H)$ (for Krull Monoids) and a weakened tame degree (for Krull Monoids) are all also finite, and that the Structure Theorem for Unions holds. Our results for factorization in Transfer Krull Monoids are accomplished by developing an extensive theory in Convex Geometry generalizing positive bases.
Eigenvalues of the normalized complex Laplacian on finite electrical networks
The spectrum of the normalized complex Laplacian for electrical networks is analyzed. We show that eigenvalues lie in a larger region compared to the case of the real Laplacian. We show the existence of eigenvalues with negative real part and absolute value greater than 2. An estimate from below for the first non-vanishing eigenvalue in modulus is provided. We supplement the estimates with examples, showing sharpness.
Minimum distance-unbalancedness of trees
Published
• View Publication
• BIB
For a graph $G$, and two distinct vertices $u$ and $v$ of $G$, let $n_G(u,v)$ be the number of vertices of $G$ that are closer in $G$ to $u$ than to $v$. Miklavič and Šparl (arXiv:2011.01635v1) define the distance-unbalancedness of $G$ as the sum of $|n_G(u,v)-n_G(v,u)|$ over all unordered pairs of distinct vertices $u$ and $v$ of $G$. Confirming one of their conjectures, we show that the stars minimize the distance-unbalancedness among all trees of a fixed order.
Product Throttling
Throttling addresses the question of minimizing the sum or the product of the resources used to accomplish a task and the time needed to complete that task for various graph searching processes. Graph parameters of interest include various types of zero forcing, power domination, and Cops and Robbers. We provide a survey of product throttling for these parameters.
Oriented expressions of graph properties
Published
• View Publication
• BIB
Several graph properties are characterized as the class of graphs that admit an orientation avoiding finitely many oriented structures. For instance, if $F_k$ is the set of homomorphic images of the directed path on $k+1$ vertices, then a graph is $k$-colourable if and only if it admits an orientation with no induced oriented graph in $F_k$. There is a fundamental question underlying this kind of characterizations: given a graph property, $\mathcal{P}$, is there a finite set of oriented graphs, $F$, such that a graph belongs to $\mathcal{P}$ if and only if it admits an orientation with no induced oriented graph in $F$? We address this question by exhibiting necessary conditions upon certain graph classes to admit such a characterization. Consequently, we exhibit an uncountable family of hereditary classes, for which no such finite set exists. In particular, the class of graphs with no holes of prime length belongs to this family.
A note on Bridgeland stability conditions and Catalan numbers
Published in Involve 15 (2022) 427-432
• View Publication
• BIB
In this short note, we describe a problem in algebraic geometry where the solution involves Catalan numbers. More specifically, we consider the derived category of coherent sheaves on an elliptic surface, and the action of its autoequivalence group on its Bridgeland stability manifold. In solving an equation involving this group action, the generating function of Catalan numbers arises, allowing us to use asymptotic estimates of Catalan numbers to arrive at a bound for the solution set.
A triangle process on regular graphs
Published
• View Publication
• BIB
Switches are operations which make local changes to the edges of a graph, usually with the aim of preserving the vertex degrees. We study a restricted set of switches, called triangle switches. Each triangle switch creates or deletes at least one triangle. Triangle switches can be used to define Markov chains which generate graphs with a given degree sequence and with many more triangles (3-cycles) than is typical in a uniformly random graph with the same degrees. We show that the set of triangle switches connects the set of all $d$-regular graphs on $n$ vertices, for all $d\geq 3$. Hence, any Markov chain which assigns positive probability to all triangle switches is irreducible on these graphs. We also investigate this question for 2-regular graphs.
A Plethora of Polynomials: A Toolbox for Counting Problems
Published
• View Publication
• BIB
A wide variety of problems in combinatorics and discrete optimization depend on counting the set $S$ of integer points in a polytope, or in some more general object constructed via discrete geometry and first-order logic. We take a tour through numerous problems of this type. In particular, we consider families of such sets $S_t$ depending on one or more integer parameters $t$, and analyze the behavior of the function $f(t)=|S_t|$. In the examples that we investigate, this function exhibits surprising polynomial-like behavior. We end with two broad theorems detailing settings where this polynomial-like behavior must hold. The plethora of examples illustrates the framework in which this behavior occurs and also gives an intuition for many of the proofs, helping us create a toolbox for counting problems like these.
Frames over finite fields: Basic theory and equiangular lines in unitary geometry
Published
• View Publication
• BIB
We introduce the study of frames and equiangular lines in classical geometries over finite fields. After developing the basic theory, we give several examples and demonstrate finite field analogs of equiangular tight frames (ETFs) produced by modular difference sets, and by translation and modulation operators. Using the latter, we prove that Gerzon's bound is attained in each unitary geometry of dimension $d = 2^{2l+1}$ over the field $\mathbb{F}_{3^2}$. We also investigate interactions between complex ETFs and those in finite unitary geometries, and we show that every complex ETF implies the existence of ETFs with the same size over infinitely many finite fields.
Natural quasirandomness properties
Published
• View Publication
• BIB
The theory of quasirandomness has greatly expanded from its inaugural graph theoretical setting to several different combinatorial objects such as hypergraphs, tournaments, permutations, etc. However, these quasirandomness variants have been done in an ad-hoc case-by-case manner. In this paper, we propose three new hierarchies of quasirandomness properties that can be naturally defined for arbitrary combinatorial objects. Our properties are also "natural" in more formal sense: they are preserved by local combinatorial constructions (encoded by open interpretations). We show that our quasirandomness properties have several different but equivalent characterizations that are similar to hypergraph quasirandomness properties. We also prove several implications and separations comparing them to each other and to what has been known for hypergraphs.
The main notion explored by our statements and proofs is that of unique coupleability: two limit objects are uniquely coupleable if there is a unique limit object in the combined theory that is an alignment (i.e., a coupling) of these two objects.
On the Unimodality of Domination Polynomials
Published
• View Publication
• BIB
A polynomial is said to be unimodal if its coefficients are non-decreasing and then non-increasing. The domination polynomial of a graph $G$ is the generating function of the number of domination sets of each cardinality in $G$, and its coefficients have been conjectured to be unimodal. In this paper we will show the domination polynomial of paths, cycles and complete multipartite graphs are unimodal, and that the domination polynomial of almost every graph is unimodal with mode $ \lceil \frac{n}{2}\rceil $.
Normal polytopes and ellipsoids
Published
• View Publication
• BIB
We show that: (1) unimodular simplices in a lattice 3-polytope cover a neighborhood of the boundary of the polytope if and only if the polytope is very ample, (2) the convex hull of lattice points in every ellipsoid in R^3 has a unimodular cover, and (3) for every d at least 5, there are ellipsoids in R^d, such that the convex hulls of the lattice points in these ellipsoids are not even normal. Part (3) answers a question of Bruns, Michalek, and the author.
Renormalization of quasisymmetric functions
As a natural basis of the Hopf algebra of quasisymmetric functions, monomial quasisymmetric functions are formal power series defined from compositions. The same definition applies to left weak compositions, while leads to divergence for other weak compositions. We adapt the method of renormalization in quantum field theory, in the framework of Connes and Kreimer, to deal with such divergency. This approach defines monomial quasisymmetric functions for any weak composition as power series while extending the quasi-shuffle (stuffle) relation satisfied by the usual quasisymmetric functions. The algebra of renormalized quasisymmetric functions thus obtained turns out to be isomorphic to the quasi-shuffle algebra of weak compositions, giving the former a natural Hopf algebra structure and the latter a power series realization. This isomorphism also gives the free commutative Rota-Baxter algebra a power series realization, in support of a suggestion of Rota that Rota-Baxter algebra should provide a broad context for generalizations of symmetric functions.
The adjacency matrices and the transition matrices related to random walks on graphs
Published
• View Publication
• BIB
A pointed graph $(Γ,v_0)$ induces a family of transition matrices in Wildberger's construction of a hermitian hypergroup via a random walk on $Γ$ starting from $v_0$. We will give a necessary condition for producing a hermitian hypergroup as we assume a weaker condition than the distance-regularity for $(Γ,v_0)$. The condition obtained in this paper connects the transition matrices and the adjacency matrices associated with $Γ$.