Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Turán numbers and anti-Ramsey numbers for short cycles in complete $3$-partite graphs
Published
• View Publication
• BIB
We call a $4$-cycle in $K_{n_{1}, n_{2}, n_{3}}$ multipartite, denoted by $C_{4}^{\text{multi}}$, if it contains at least one vertex in each part of $K_{n_{1}, n_{2}, n_{3}}$. The Turán number $\text{ex}(K_{n_{1},n_{2},n_{3}}, C_{4}^{\text{multi}})$ $\bigg($ respectively, $\text{ex}(K_{n_{1},n_{2},n_{3}},\{C_{3}, C_{4}^{\text{multi}}\})$ $\bigg)$ is the maximum number of edges in a graph $G\subseteq K_{n_{1},n_{2},n_{3}}$ such that $G$ contains no $C_{4}^{\text{multi}}$ $\bigg($ respectively, $G$ contains neither $C_{3}$ nor $C_{4}^{\text{multi}}$ $\bigg)$. We call a $C^{multi}_4$ rainbow if all four edges of it have different colors. The ant-Ramsey number $\text{ar}(K_{n_{1},n_{2},n_{3}}, C_{4}^{\text{multi}})$ is the maximum number of colors in an edge-colored of $K_{n_{1},n_{2},n_{3}}$ with no rainbow $C_{4}^{\text{multi}}$. In this paper, we determine that $\text{ex}(K_{n_{1},n_{2},n_{3}}, C_{4}^{\text{multi}})=n_{1}n_{2}+2n_{3}$ and $\text{ar}(K_{n_{1},n_{2},n_{3}}, C_{4}^{\text{multi}})=\text{ex}(K_{n_{1},n_{2},n_{3}}, \{C_{3}, C_{4}^{\text{multi}}\})+1=n_{1}n_{2}+n_{3}+1,$ where $n_{1}\ge n_{2}\ge n_{3}\ge 1.$
Rado equations solved by linear combinations of idempotent ultrafilters
Published
• View Publication
• BIB
We fully characterise the solvability of Rado equations inside linear combinations $a_{1}\U\oplus\dots\oplus a_{n}\U$ of idempotent ultrafilters $\U\inβ\Z$ by exploiting known relations between such combinations and strings of integers. This generalises a partial characterization previously obtained by Mauro Di Nasso.
On Artinian Gorenstein algebras associated to the face posets of regular polyhedra
We introduce Artinian Gorenstein algebras defined by the face posets of regular polyhedra. We consider the strong Lefschetz property and Hodge--Riemann relation for the algebras. We show the strong Lefschetz property of the algebras for all Platonic solids. On the other hand, for some Platonic solids, we show that the algebras do not satisfy the Hodge--Riemann relation with respect to some strong Lefschetz elements.
Limitations of Mean-Based Algorithms for Trace Reconstruction at Small Distance
Published
• View Publication
• BIB
Trace reconstruction considers the task of recovering an unknown string $x \in \{0,1\}^n$ given a number of independent "traces", i.e., subsequences of $x$ obtained by randomly and independently deleting every symbol of $x$ with some probability $p$. The information-theoretic limit of the number of traces needed to recover a string of length $n$ is still unknown. This limit is essentially the same as the number of traces needed to determine, given strings $x$ and $y$ and traces of one of them, which string is the source. The most-studied class of algorithms for the worst-case version of the problem are "mean-based" algorithms. These are a restricted class of distinguishers that only use the mean value of each coordinate on the given samples. In this work we study limitations of mean-based algorithms on strings at small Hamming or edit distance. We show that, on the one hand, distinguishing strings that are nearby in Hamming distance is "easy" for such distinguishers. On the other hand, we show that distinguishing strings that are nearby in edit distance is "hard" for mean-based algorithms. Along the way, we also describe a connection to the famous Prouhet-Tarry-Escott (PTE) problem, which shows a barrier to finding explicit hard-to-distinguish strings: namely such strings would imply explicit short solutions to the PTE problem, a well-known difficult problem in number theory. Furthermore, we show that the converse is also true, thus, finding explicit solutions to the PTE problem is equivalent to the problem of finding explicit strings that are hard-to-distinguish by mean-based algorithms.
Our techniques rely on complex analysis arguments that involve careful trigonometric estimates, and algebraic techniques that include applications of Descartes' rule of signs for polynomials over the reals.
An orthodontia formula for Grothendieck polynomials
We give a new operator formula for Grothendieck polynomials that generalizes Magyar's Demazure operator formula for Schubert polynomials. Our proofs are purely combinatorial, contrasting with the geometric and representation theoretic tools used by Magyar. We apply our formula to prove a necessary divisibility condition for a monomial to appear in a given Grothendieck polynomial.
Identifying Young diagrams among residue multisets
Published in Annals of Combinatorics (2023)
• View Publication
• BIB
To any Young diagram we can associate the multiset of residues of all its nodes. This paper is concerned with the inverse problem: given a multiset of elements of Z/eZ, does it comes from a Young diagram? We give a full solution in level one and a partial answer in higher levels for Young multidiagrams, using Fayers's notions of core block and weight of a multipartition. We apply the result in level one to study a shift operation on partitions.
Wiener index in graphs with given minimum degree and maximum degree
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (June 3, 2021) dmtcs:6956
• View Publication
• BIB
Let $G$ be a connected graph of order $n$.The Wiener index $W(G)$ of $G$ is the sum of the distances between all unordered pairs of vertices of $G$. In this paper we show that the well-known upper bound $\big( \frac{n}{δ+1}+2\big) {n \choose 2}$ on the Wiener index of a graph of order $n$ and minimum degree $δ$ [M. Kouider, P. Winkler, Mean distance and minimum degree. J. Graph Theory 25 no. 1 (1997)] can be improved significantly if the graph contains also a vertex of large degree. Specifically, we give the asymptotically sharp bound $W(G) \leq {n-Δ+δ\choose 2} \frac{n+2Δ}{δ+1}+ 2n(n-1)$ on the Wiener index of a graph $G$ of order $n$, minimum degree $δ$ and maximum degree $Δ$. We prove a similar result for triangle-free graphs, and we determine a bound on the Wiener index of $C_4$-free graphs of given order, minimum and maximum degree and show that it is, in some sense, best possible.
The second production matrix of a Riordan array
A Riordan array is defined by its production matrix. In this paper, we explore the notion of the second production matrix of a Riordan array, characterizing the matrix that is generated by it. We indicate how this procedure can be generalized to the so-called $n$-th production matrix of a Riordan array.
Set-Sequential Labelings of Odd Trees
Published
• View Publication
• BIB
A tree $T$ on $2^n$ vertices is called set-sequential if the elements in $V(T)\cup E(T)$ can be labeled with distinct nonzero $(n+1)$-dimensional $01$-vectors such that the vector labeling each edge is the component-wise sum modulo $2$ of the labels of the endpoints. It has been conjectured that all trees on $2^n$ vertices with only odd degree are set-sequential (the "Odd Tree Conjecture"), and in this paper, we present progress toward that conjecture. We show that certain kinds of caterpillars (with restrictions on the degrees of the vertices, but no restrictions on the diameter) are set-sequential. Additionally, we introduce some constructions of new set-sequential graphs from smaller set-sequential bipartite graphs (not necessarily odd trees). We also make a conjecture about pairings of the elements of $\mathbb{F}_2^n$ in a particular way; in the process, we provide a substantial clarification of a proof of a theorem that partitions $\mathbb{F}_2^n$ from a 2011 paper by Balister et al. Finally, we put forward a result on bipartite graphs that is a modification of a theorem in Balister et al.
Being Central on the Cheap: Stability in Heterogeneous Multiagent Centrality Games
Published
• View Publication
• BIB
We study strategic network formation games in which agents attempt to form (costly) links in order to maximize their network centrality. Our model derives from Jackson and Wolinsky's symmetric connection model, but allows for heterogeneity in agent utilities by replacing decay centrality (implicit in the Jackson-Wolinsky model) by a variety of classical centrality and game-theoretic measures of centrality. We are primarily interested in characterizing the asymptotically pairwise stable networks, i.e. those networks that are pairwise stable for all sufficiently small, positive edge costs. We uncover a rich typology of stability:
- we give an axiomatic approach to network centrality that allows us to predict the stable network for a rich set of combination of centrality utility functions, yielding stable networks with features reminiscent of structural properties such as "core periphery" and "rich club" networks.
- We show that a simple variation on the model renders it universal, i.e. every network may be a stable network.
- We also show that often we can infer a significant amount about agent utilities from the structure of stable networks.
Maker-Breaker Games on Random Hypergraphs
In this paper, we study Maker-Breaker games on the random hypergraph $H_{n,s,p}$, obtained from the complete $s$-graph by keeping every edge independently with probability $p$. We determine the threshold probability for the property of Maker winning the game as a function of $s$, the uniformity of the underlying hypergraph, as well as $m$, $b$, the number of vertices that Maker and Breaker are respectively allowed to pick each turn.
In addition, we show that depending on those $m,b,s$, there are two types of thresholds: either being Maker-win is a local property and the threshold is weak, or it is related to global properties of the random hypergraph and the threshold is semi-sharp. We conjecture that in the latter case, the threshold is actually sharp.
Free quantum analogue of Coxeter group $D_4$
Published in Journal of Algebra 604 (2022) 577-613
• View Publication
• BIB
We define the quantum group $D_4^+$ -- a free quantum version of the demihyperoctahedral group $D_4$ (the smallest representative of the Coxeter series $D$). In order to do so, we construct a free analogue of the property that a $4\times4$ matrix has determinant one. Such analogues of determinants are usually very hard to define for free quantum groups in general and our result only holds for the matrix size $N=4$. The free $D_4^+$ is then defined by imposing this generalized determinant condition on the free hyperoctahedral group $H_4^+$. Moreover, we give a detailed combinatorial description of the representation category of $D_4^+$.
A new upper bound for sets with no square differences
Published
• View Publication
• BIB
We show that if $A\subset \{1,\ldots,N\}$ has no solutions to $a-b=n^2$ with $a,b\in A$ and $n\geq 1$ then \[|A|\ll \frac{N}{(\log N)^{c\log\log \log N}}\] for some absolute constant $c>0$. This improves upon a result of Pintz-Steiger-Szemerédi.
Domination broadcast: A case study on a combination of cycle graph and sunlet graph
Domination in graphs has long been studied and is applied to signal distribution problem. For example, telecommunication companies want to spread the signal from broadcast stations by transmitting varying signal strength to all receiving stations. This problem can be interpreted in a term of graph theory. Assume that broadcast companies need to spread the signal in graphs by using broadcast stations with varying signal strength so that the signal could be sent to all the vertices. However, broadcast stations with stronger signal are generally more expensive. The distribution of signal was configured to cover all stations with minimum total cost of signal called the $γ_b-$dominating broadcast number. This paper shows another proof of the $γ_b-$dominating broadcast number of cycle graphs and sunlet graphs as a foundation for the further result. I also consider the $γ_b-$dominating broadcast number of a generalized version of sunlet graphs whose vertices on the cycle are equally extended by the path, called the sunlet graph with degree $n$. To obtain the optimal cost of the signal distribution for this extended version, we show that it is sufficient to use only one broadcast station at a vertex on the cycle with the signal cost equal to the radius of the sunlet graph with degree $n$.
Finitary affine oriented matroids
Published
• View Publication
• BIB
We initiate the axiomatic study of affine oriented matroids (AOMs) on arbitrary ground sets, obtaining fundamental notions such as minors, reorientations and a natural embedding into the frame work of Complexes of Oriented Matroids. The restriction to the finitary case (FAOMs) allows us to study tope graphs and covector posets, as well as to view FAOMs as oriented finitary semimatroids. We show shellability of FAOMs and single out the FAOMs that are affinely homeomorphic to $\mathbb{R}^n$. Finally, we study group actions on AOMs, whose quotients in the case of FAOMs are a stepping stone towards a general theory of affine and toric pseudoarrangements. Our results include applications of the multiplicity Tutte polynomial of group actions of semimatroids, generalizing enumerative properties of toric arrangements to a combinatorially defined class of arrangements of submanifolds. This answers partially a question by Ehrenborg and Readdy.
Quadrant Walks Starting Outside the Quadrant
We investigate a functional equation which resembles the functional equation for the generating function of a lattice walk model for the quarter plane. The interesting feature of this equation is that its orbit sum is zero while its solution is not algebraic. The solution can be interpreted as the generating function of lattice walks in $\mathbb{Z}^2$ starting at $(-1,-1)$ and subject to the restriction that the coordinate axes can be crossed only in one direction. We also consider certain variants of the equation, all of which seem to have transcendental solutions. In one case, the solution is perhaps not even D-finite.
Combinatorial perspectives on Dollo-$k$ characters in phylogenetics
Published
• View Publication
• BIB
Recently, the perfect phylogeny model with persistent characters has attracted great attention in the literature. It is based on the assumption that complex traits or characters can only be gained once and lost once in the course of evolution. Here, we consider a generalization of this model, namely Dollo parsimony, that allows for multiple character losses. More precisely, we take a combinatorial perspective on the notion of Dollo-$k$ characters, i.e. traits that are gained at most once and lost precisely $k$ times throughout evolution. We first introduce an algorithm based on the notion of spanning subtrees for finding a Dollo-$k$ labeling for a given character and a given tree in linear time. We then compare persistent characters (consisting of the union of Dollo-0 and Dollo-1 characters) and general Dollo-$k$ characters. While it is known that there is a strong connection between Fitch parsimony and persistent characters, we show that Dollo parsimony and Fitch parsimony are in general very different. Moreover, while it is known that there is a direct relationship between the number of persistent characters and the Sackin index of a tree, a popular index of tree balance, we show that this relationship does not generalize to Dollo-$k$ characters. In fact, determining the number of Dollo-$k$ characters for a given tree is much more involved than counting persistent characters, and we end this manuscript by introducing a recursive approach for the former. This approach leads to a polynomial time algorithm for counting the number of Dollo-$k$ characters, and both this algorithm as well as the algorithm for computing Dollo-$k$ labelings are publicly available in the Babel package for BEAST 2.
Near-linear-time, Optimal Vertex Cut Sparsifiers in Directed Acyclic Graphs
Let $G$ be a graph and $S, T \subseteq V(G)$ be (possibly overlapping) sets of terminals, $|S|=|T|=k$. We are interested in computing a vertex sparsifier for terminal cuts in $G$, i.e., a graph $H$ on a smallest possible number of vertices, where $S \cup T \subseteq V(H)$ and such that for every $A \subseteq S$ and $B \subseteq T$ the size of a minimum $(A,B)$-vertex cut is the same in $G$ as in $H$. We assume that our graphs are unweighted and that terminals may be part of the min-cut. In previous work, Kratsch and Wahlström (FOCS 2012/JACM 2020) used connections to matroid theory to show that a vertex sparsifier $H$ with $O(k^3)$ vertices can be computed in randomized polynomial time, even for arbitrary digraphs $G$. However, since then, no improvements on the size $O(k^3)$ have been shown.
In this paper, we draw inspiration from the renowned Bollobás's Two-Families Theorem in extremal combinatorics and introduce the use of total orderings into Kratsch and Wahlström's methods. This new perspective allows us to construct a sparsifier $H$ of $Θ(k^2)$ vertices for the case that $G$ is a DAG. We also show how to compute $H$ in time near-linear in the size of $G$, improving on the previous $O(n^{ω+1})$. Furthermore, $H$ recovers the closest min-cut in $G$ for every partition $(A,B)$, which was not previously known. Finally, we show that a sparsifier of size $Ω(k^2)$ is required, both for DAGs and for undirected edge cuts.
Set-valued domino tableaux and shifted set-valued domino tableaux
Published
• View Publication
• BIB
We prove K-theoretic and shifted K-theoretic analogues of the bijection of Stanton and White between domino tableaux and pairs of semistandard tableaux. As a result, we obtain product formulas for pairs of stable Grothendieck polynomials and pairs of K-theoretic Q-Schur functions.
The Paired Domination Number of Cubic Graphs
Let G be a simple undirected graph with no isolated vertex. A paired dominating set of G is a dominating set which induces a subgraph that has a perfect matching. The paired domination number of G, denoted by γpr(G), is the size of its smallest paired dominating set. Goddard and Henning conjectured that γpr(G) {\leq} 4n/7 holds for every graph G with δ(G) {\geq} 3, except the Petersen Graph. In this paper, we prove this conjecture for cubic graphs.