Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A study on free roots of Borcherds-Kac-Moody Lie Superalgebras
Published
• View Publication
• BIB
Let $\mathfrak g$ be a Borcherds-Kac-Moody Lie superalgebra (BKM superalgebra in short) with the associated graph $G$. Any such $\mathfrak g$ is constructed from a free Lie superalgebra by introducing three different sets of relations on the generators:
(1) Chevalley relations,
(2) Serre relations, and
(3) Commutation relations coming from the graph $G$. By Chevalley relations we get a triangular decomposition $\mathfrak g = \mathfrak{ n_+} \oplus \mathfrak h \oplus \mathfrak n_{-}$ and each roots space $\mathfrak{ g_α}$ is either contained in $\mathfrak{n_+}$ or $\mathfrak{ n_{-}}$. In particular, each $\mathfrak{ g_α}$ involves only the relations (2) and (3). In this paper, we are interested in the root spaces of $\mathfrak g$ which are independent of the Serre relations. We call these roots free roots$^{1}$ of $\mathfrak g$. Since these root spaces involve only commutation relations coming from the graph $G$ we can study them combinatorially. We use heaps of pieces to study these roots and prove many combinatorial properties. We construct two different bases for these root spaces of $\mathfrak g$: One by extending the Lalonde's Lyndon heap basis of free partially commutative Lie algebras to the case of free partially commutative Lie superalgebras and the other by extending the basis given in \cite{akv17} for the free root spaces of Borcherds algebras to the case of BKM superalgebras. This is done by studying the combinatorial properties of super Lyndon heaps. We also discuss a few other combinatorial properties of free roots.
The Unravelling Problem
We identify and study a simple combinatorial problem that is derived from submodularity issues encountered in the theory of tangles of graphs and abstract separation systems.
Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets
Published
• View Publication
• BIB
In order to be able to use methods of Universal Algebra for investigating posets, we assign to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset a certain algebra (based on a commutative directoid or on a lambda-lattice) which satisfies certain identities and implications. We show that the assigned algebras fully characterize the given corresponding posets. It turns out that the assigned algebras satisfy strong congruence properties which can be transferred back to the posets. We also mention applications of such posets in certain non-classical logics.
On Multicolour Ramsey Numbers and Subset-Colouring of Hypergraphs
Published
• View Publication
• BIB
For $n\geq s> r\geq 1$ and $k\geq 2$, write $n \rightarrow (s)_{k}^r$ if every hyperedge colouring with $k$ colours of the complete $r$-uniform hypergraph on $n$ vertices has a monochromatic subset of size $s$. Improving upon previous results by \textcite{AGLM14} and \textcite{EHMR84} we show that \[ \text{if } r \geq 3 \text{ and } n \nrightarrow (s)_k^r \text{ then } 2^n \nrightarrow (s+1)_{k+3}^{r+1}. \] This yields an improvement for some of the known lower bounds on multicolour hypergraph Ramsey numbers.
Given a hypergraph $H=(V,E)$, we consider the Ramsey-like problem of colouring all $r$-subsets of $V$ such that no hyperedge of size $\geq r+1$ is monochromatic. We provide upper and lower bounds on the number of colours necessary in terms of the chromatic number $χ(H)$. In particular we show that this number is $O(\log^{(r-1)} (r χ(H)) + r)$.
Twisted cubic and orbits of lines in $\mathrm{PG}(3,q)$
In the projective space $\mathrm{PG}(3,q)$, we consider the orbits of lines under the stabilizer group of the twisted cubic. It is well known that the lines can be partitioned into classes every of which is a union of line orbits. All types of lines forming a unique orbit are found. For the rest of the line types (apart from one of them) it is proved that they form exactly two or three orbits; sizes and structures of these orbits are determined. Problems remaining open for one type of lines are formulated. For $5\le q\le37$ and $q=64$, they are solved.
A Trivariate Dichromate Polynomial for Digraphs
We define a trivariate polynomial combining the NL-coflow and the NL-flow polynomial, which build a dual pair counting acyclic colorings of directed graphs, in the more general setting of regular oriented matroids.
Additive energy and a large sieve inequality for sparse sequences
Published
• View Publication
• BIB
We consider the large sieve inequality for sparse sequences of moduli and give a general result depending on the additive energy (both symmetric and asymmetric) of the sequence of moduli. For example, in the case of monomials $f(X) = X^k$ this allows us to improve, in some ranges of the parameters, the previous bounds of S. Baier and L. Zhao (2005), K.~Halupczok (2012, 2015, 2018) and M.~Munsch (2020). We also consider moduli defined by polynomials $f(X) \in \mathbb{Z}[X]$, Piatetski-Shapiro sequences and general convex sequences. We then apply our results to obtain a version of the Bombieri--Vinogradov theorem with Piatetski-Shapiro moduli improving the level of distribution of R.~C.~Baker (2014).
$K_4$-intersecting families of graphs
Published
• View Publication
• BIB
Ellis, Filmus, and Friedgut proved an old conjecture of Simonovits and Sós showing that the maximum size of a triangle-intersecting family of graphs on $n$ vertices has size at most $2^{\binom{n}{2} - 3}$, with equality for the family of graphs containing some fixed triangle. They conjectured that their results extend to cross-intersecting families, as well to $K_t$-intersecting families. We prove these conjectures for $t \in \{3,4\}$, showing that if $\mathcal F_1$ and $\mathcal F_2$ are families of graphs on $n$ labeled vertices such that for any $G_1 \in \mathcal F_1$ and $G_2 \in \mathcal F_2$, $G_1 \cap G_2$ contains a $K_t$, then $\lvert \mathcal F_1 \rvert \lvert \mathcal F_2 \rvert \le 4^{\binom{n}{2} - \binom{t}{2}}$, with equality if and only if $\mathcal F_1 = \mathcal F_2$ consists of all graphs that contain some fixed $K_t$. We also establish a stability result. More generally, "$G_1 \cap G_2$ contains a $K_t$" can be replaced by "$G_1$ and $G_2$ agree on a non-$(t-1)$-colorable graph."
A Bijective Proof of Richard Stanley's Observation that the sum of the cubes of the n-th row of Stern's Diatomic array equals 3 times 7 to the power n-1
In a delightful article, Richard Stanley derived, algebraically, the surprisingly simple formula, 3 times 7 to the power n-1, for the sum of the cubes of the n-th row of Stern's diatomic array. In this note, we find an elegant bijective proof of this surprising fact, that explains it and gives insight. The novelty is that this gorgeous bijection was discovered by a computer (SBE), with minimal guidance by a human (DZ). This debunks the conventional wisdom, held by some human supremacists, that computers can only compute, but they can't give insight
Automated Generation of Generating Functions Related to Generalized Stern's Diatomic Arrays in the footsteps of Richard Stanley
Using Symbolic Dynamic Programming we describe algorithms, fully implemented in Maple, for automatically generating generating functions introduced by Richard Stanley in his study of generalized Stern arrays, generalized even further, to arrays defined in terms of general sequences satisfying linear recurrences with constant coefficients, rather than just the Fibonacci and k-bonacci sequences
The Geography and Election Outcome (GEO) Metric: An Introduction
Published
• View Publication
• BIB
We introduce the Geography and Election Outcome (GEO) metric, a new method for identifying potential partisan gerrymanders. In contrast with currently popular methods, the GEO metric uses both geographic information about a districting plan as well as district-level partisan data, rather than just one or the other. We motivate and define the GEO metric, which gives a count (a non-negative integer) to each political party. The count indicates the number of previously lost districts which that party potentially could have had a 50% chance of winning, without risking any currently won districts, by making reasonable changes to the input map. We then analyze GEO metric scores for each party in several recent elections. We show that this relatively easy to understand and compute metric can encapsulate the results from more elaborate analyses.
Chain decompositions of q,t-Catalan numbers: tail extensions and flagpole partitions
Published
• View Publication
• BIB
This article is part of an ongoing investigation of the combinatorics of $q,t$-Catalan numbers $\textrm{Cat}_n(q,t)$. We develop a structure theory for integer partitions based on the partition statistics dinv, deficit, and minimum triangle height. Our goal is to decompose the infinite set of partitions of deficit $k$ into a disjoint union of chains $\mathcal{C}_μ$ indexed by partitions of size $k$. Among other structural properties, these chains can be paired to give refinements of the famous symmetry property $\textrm{Cat}_n(q,t)=\textrm{Cat}_n(t,q)$. Previously, we introduced a map that builds the tail part of each chain $\mathcal{C}_μ$. Our first main contribution here is to extend this map to construct larger second-order tails for each chain. Second, we introduce new classes of partitions called flagpole partitions and generalized flagpole partitions. Third, we describe a recursive construction for building the chain $\mathcal{C}_μ$ for a (generalized) flagpole partition $μ$, assuming that the chains indexed by certain specific smaller partitions (depending on $μ$) are already known. We also give some enumerative and asymptotic results for flagpole partitions and their generalized versions.
A tight lower bound on the matching number of graphs via Laplacian eigenvalues
Published in European Journal of Combinatorics 101 (2022), 103468
• View Publication
• BIB
Let $α'$ and $μ_i$ denote the matching number of a non-empty simple graph $G$ with $n$ vertices and the $i$-th smallest eigenvalue of its Laplacian matrix, respectively. In this paper, we prove a tight lower bound $$α' \ge \min\left\{\Big\lceil\frac{μ_2}{μ_n} (n -1)\Big\rceil,\ \ \Big\lceil\frac{1}{2}(n-1)\Big\rceil \right\}.$$ This bound strengthens the result of Brouwer and Haemers who proved that if $n$ is even and $2μ_2 \ge μ_n$, then $G$ has a perfect matching. A graph $G$ is factor-critical if for every vertex $v\in V(G)$, $G-v$ has a perfect matching. We also prove an analogue to the result of Brouwer and Haemers mentioned above by showing that if $n$ is odd and $2μ_2 \ge μ_n$, then $G$ is factor-critical. We use the separation inequality of Haemers to get a useful lemma, which is the key idea in the proofs. This lemma is of its own interest and has other applications. In particular, we prove similar results for the number of balloons, spanning even subgraphs, as well as spanning trees with bounded degree.
Two Metrics on Rooted Unordered Trees with Labels
Published in Algorithms Mol Biol 17, 13 (2022)
• View Publication
• BIB
The early development of a zygote can be mathematically described by a developmental tree. To compare developmental trees of different species, we need to define distances on trees. If children cells after a division are not distinguishable, developmental trees are represented by the space $\mathcal{T}$ of rooted trees with possibly repeated labels, where all vertices are unordered. If children cells after a division are partially distinguishable, developmental trees are represented by the space $\mathcal{P}$ of rooted trees with possibly repeated labels, where vertices can be ordered or unordered. On $\mathcal{T}$, the space of rooted unordered trees with possibly repeated labels, we define two metrics: the best-match metric and the left-regular metric, which show some advantages over existing methods. On $\mathcal{P}$, the space of rooted labeled trees with ordered or unordered vertices, there is no metric, and we define a semimetric, which is a variant of the best-match metric. To compute the best-match distance between two trees, the expected time complexity and worst-case time complexity are both $\mathcal{O}(n^2)$, where $n$ is the tree size. To compute the left-regular distance between two trees, the expected time complexity is $\mathcal{O}(n)$, and the worst-case time complexity is $\mathcal{O}(n\log n)$. For rooted labeled trees with (fully/partially) unordered vertices, we define metrics (semimetric) that have fast algorithms to compute and have advantages over existing methods. Such trees also appear outside of developmental biology, and such metrics can be applied to other types of trees which have more extensive applications, especially in molecular biology.
Determinantal Formula for Generalized Riffle Shuffle
Published
• View Publication
• BIB
We consider a generalized riffle shuffle on the colored permutation group $G_{p, n}$ and derive a determinantal formula for the probability of finding descents at given positions, proof of which is based on the bijection between the set of shuffles in question and that of non-intersecting lattice paths.
On Gardner's conjecture
Published
• View Publication
• BIB
Gardner conjectured that if two bounded measurable sets $A,B \subset \mathbb{R}^n$ are equidecomposable by a set of isometries $Γ$ generating an amenable group then $A$ and $B$ admit a measurable equidecomposition by all isometries. Cieśla and Sabok asked if there is a measurable equidecomposition using isometries only in the group generated by $Γ$. We answer this question negatively.
$2$-distance $(Δ+1)$-coloring of sparse graphs using the potential method
Published
• View Publication
• BIB
A $2$-distance $k$-coloring of a graph is a proper $k$-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance ($Δ+1$)-coloring for graphs with maximum average degree less than $\frac{18}{7}$ and maximum degree $Δ\geq 7$. As a corollary, every planar graph with girth at least $9$ and $Δ\geq 7$ admits a $2$-distance $(Δ+1)$-coloring. The proof uses the potential method to reduce new configurations compared to classic approaches on $2$-distance coloring.
A Link between Coding Theory and Cross-Validation with Applications
How many different binary classification problems a single learning algorithm can solve on a fixed data with exactly zero or at most a given number of cross-validation errors? While the number in the former case is known to be limited by the no-free-lunch theorem, we show that the exact answers are given by the theory of error detecting codes. As a case study, we focus on the AUC performance measure and leave-pair-out cross-validation (LPOCV), in which every possible pair of data with different class labels is held out at a time. We show that the maximal number of classification problems with fixed class proportion, for which a learning algorithm can achieve zero LPOCV error, equals the maximal number of code words in a constant weight code (CWC), with certain technical properties. We then generalize CWCs by introducing light CWCs, and prove an analogous result for nonzero LPOCV errors and light CWCs. Moreover, we prove both upper and lower bounds on the maximal numbers of code words in light CWCs. Finally, as an immediate practical application, we develop new LPOCV based randomization tests for learning algorithms that generalize the classical Wilcoxon-Mann-Whitney U test.
An extension of the rainbow Erdős-Rothschild problem
Published
• View Publication
• BIB
Given integers $r \geq 2$, $k \geq 3$ and $2 \leq s \leq \binom{k}{2}$, and a graph $G$, we consider $r$-edge-colorings of $G$ with no copy of a complete graph $K_k$ on $k$ vertices where $s$ or more colors appear, which are called $\mathcal{P}_{k,s}$-free $r$-colorings. We show that, for large $n$ and $r \geq r_0(k,s)$, the $(k-1)$-partite Turán graph $T_{k-1}(n)$ on $n$ vertices yields the largest number of $\mathcal{P}_{k,s}$-free $r$-colorings among all $n$-vertex graphs, and that it is the unique graph with this property.
Maximising line subgraphs of diameter at most $t$
Published
• View Publication
• BIB
We wish to bring attention to a natural but slightly hidden problem, posed by Erdős and Nešetřil in the late 1980s, an edge version of the degree--diameter problem. Our main result is that, for any graph of maximum degree $Δ$ with more than $1.5 Δ^t$ edges, its line graph must have diameter larger than $t$. In the case where the graph contains no cycle of length $2t+1$, we can improve the bound on the number of edges to one that is exact for $t\in\{1,2,3,4,6\}$. In the case $Δ=3$ and $t=3$, we obtain an exact bound. Our results also have implications for the related problem of bounding the distance-$t$ chromatic index, $t>2$; in particular, for this we obtain an upper bound of $1.941Δ^t$ for graphs of large enough maximum degree $Δ$, markedly improving upon earlier bounds for this parameter.