Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Information Inequalities via Submodularity and a Problem in Extremal Graph Theory
Published
• View Publication
• BIB
The present paper offers, in its first part, a unified approach for the derivation of families of inequalities for set functions which satisfy sub/supermodularity properties. It applies this approach for the derivation of information inequalities with Shannon information measures. Connections of the considered approach to a generalized version of Shearer's lemma, and other related results in the literature are considered. Some of the derived information inequalities are new, and also known results (such as a generalized version of Han's inequality) are reproduced in a simple and unified way. In its second part, this paper applies the generalized Han's inequality to analyze a problem in extremal graph theory. This problem is motivated and analyzed from the perspective of information theory, and the analysis leads to generalized and refined bounds. The two parts of this paper are meant to be independently accessible to the reader.
Clustering Systems of Phylogenetic Networks
Published
• View Publication
• BIB
Rooted acyclic graphs appear naturally when the phylogenetic relationship of a set $X$ of taxa involves not only speciations but also recombination, horizontal transfer, or hybridization, that cannot be captured by trees. A variety of classes of such networks have been discussed in the literature, including phylogenetic, level-1, tree-child, tree-based, galled tree, regular, or normal networks as models of different types of evolutionary processes. Clusters arise in models of phylogeny as the sets $\mathtt{C}(v)$ of descendant taxa of a vertex $v$. The clustering system $\mathscr{C}_N$ comprising the clusters of a network $N$ conveys key information on $N$ itself. In the special case of rooted phylogenetic trees, $T$ is uniquely determined by its clustering system $\mathscr{C}_T$. Although this is no longer true for networks in general, it is of interest to relate properties of $N$ and $\mathscr{C}_N$. Here, we systematically investigate the relationships of several well-studied classes of networks and their clustering systems. The main results are correspondences of classes of networks and clustering system of the following form: If $N$ is a network of type $\mathbb{X}$, then $\mathcal{C}_N$ satisfies $\mathbb{Y}$, and conversely if $\mathscr{C}$ is a clustering system satisfying $\mathbb{Y}$ then there is network $N$ of type $\mathbb{X}$ such that $\mathscr{C}\subseteq\mathscr{C}_N$.This, in turn, allows us to investigate the mutual dependencies between the distinct types of networks in much detail.
Every signed planar graph without cycles of length from 4 to 7 is 3-colorable
Hu and Li investigate the signed graph version of Erd$\ddot{\mathrm{o}}$s problem: Is there a constant $c$ such that every signed planar graph without $k$-cycles, where $4\leq k\leq c$, is $3$-colorable and prove that each signed planar graph without cycles of length from 4 to 8 is 3-colorable. We give a very short and simple proof of this result and improve it, based on a recent observation.
The tropical and zonotopal geometry of periodic timetables
Published
• View Publication
• BIB
The Periodic Event Scheduling Problem (PESP) is the standard mathematical tool for optimizing periodic timetabling problems in public transport. A solution to PESP consists of three parts: a periodic timetable, a periodic tension, and integer periodic offset values. While the space of periodic tension has received much attention in the past, we explore geometric properties of the other two components, establishing novel connections between periodic timetabling and discrete geometry. Firstly, we study the space of feasible periodic timetables, and decompose it into polytropes, i.e., polytopes that are convex both classically and in the sense of tropical geometry. We then study this decomposition and use it to outline a new heuristic for PESP, based on the tropical neighbourhood of the polytropes. Secondly, we recognize that the space of fractional cycle offsets is in fact a zonotope. We relate its zonotopal tilings back to the hyperrectangle of fractional periodic tensions and to the tropical neighbourhood of the periodic timetable space. To conclude we also use this new understanding to give tight lower bounds on the minimum width of an integral cycle basis.
New Correlation Bound and Construction of Quasi-Complementary Code Sets
Published
• View Publication
• BIB
Quasi-complementary sequence sets (QCSSs) have attracted sustained research interests for simultaneously supporting more active users in multi-carrier code-division multiple-access (MC-CDMA) systems compared to complete complementary codes (CCCs). In this paper, we investigate a novel class of QCSSs composed of multiple CCCs. We derive a new aperiodic correlation lower bound for this type of QCSSs, which is tighter than the existing bounds for QCSSs. We then present a systematic construction of such QCSSs with a small alphabet size and low maximum correlation magnitude, and also show that the constructed aperiodic QCSSs can meet the newly derived bound asymptotically.
On the Balog-Ruzsa Theorem in short intervals
Published
• View Publication
• BIB
In this paper we give a short interval version of the Balog-Ruzsa theorem concerning bounds for the $L_1$ norm of the exponential sum over $r$-free numbers. As an application, we give a lower bound for the $L_1$ norm of the exponential sum defined with the Möbius function. Namely we show that $$\int_{\mathbb T} \left|\sum_{|n-N|<H} μ(n)e(n α)\right| d α\gg H^{\frac{1}{6}}$$ when $H \gg N^{\frac{9}{17} + \varepsilon}$.
An invitation to formal power series
Published
• View Publication
• BIB
This is a lecture on the theory of formal power series developed entirely without any analytic machinery. Combining ideas from various authors we are able to prove Newton's binomial theorem, Jacobi's triple product, the Rogers--Ramanujan identities and many other prominent results. We apply these methods to derive several combinatorial theorems including Ramanujan's partition congruences, generating functions of Stirling numbers and Jacobi's four-square theorem. We further discuss formal Laurent series and multivariate power series and end with a proof of MacMahon's master theorem.
Survivable Network Design Revisited: Group-Connectivity
Published
• View Publication
• BIB
In the classical survivable network design problem (SNDP), we are given an undirected graph $G=(V,E)$ with costs on edges and a connectivity requirement $k(s,t)$ for each pair of vertices. The goal is to find a minimum-cost subgraph $H\subseteq V$ such that every pair $(s,t)$ are connected by $k(s,t)$ edge or (openly) vertex disjoint paths, abbreviated as EC-SNDP and VC-SNDP, respectively. The seminal result of Jain [FOCS'98, Combinatorica'01] gives a $2$-approximation algorithm for EC-SNDP, and a decade later, an $O(k^3\log n)$-approximation algorithm for VC-SNDP, where $k$ is the largest connectivity requirement, was discovered by Chuzhoy and Khanna [FOCS'09, Theory Comput.'12]. While there is rich literature on point-to-point settings of SNDP, the viable case of connectivity between subsets is still relatively poorly understood.
This paper concerns the generalization of SNDP into the subset-to-subset setting, namely Group EC-SNDP. We develop the framework, which yields the first non-trivial (true) approximation algorithm for Group EC-SNDP. Previously, only a bicriteria approximation algorithm is known for Group EC-SNDP [Chalermsook, Grandoni, and Laekhanukit, SODA'15], and a true approximation algorithm is known only for the single-source variant with connectivity requirement $k(S,T)\in\{0,1,2\}$ [Gupta, Krishnaswamy, and Ravi, SODA'10; Khandekar, Kortsarz, and Nutov, FSTTCS'09 and Theor. Comput. Sci.'12].
Homological algebra of Nakayama algebras and 321-avoiding permutations
Published
• View Publication
• BIB
Linear Nakayama algebras over a field $K$ are in natural bijection to Dyck paths and Dyck paths are in natural bijection to 321-avoiding bijections via the Billey-Jockusch-Stanley bijection. Thus to every 321-avoiding permutation $π$ we can associate in a natural way a linear Nakayama algebra $A_π$. We give a homological interpretation of the fixed points statistic of 321-avoiding permutations using Nakayama algebras with a linear quiver. We furthermore show that the space of self-extension for the Jacobson radical of a linear Nakayama algebra $A_π$ is isomorphic to $K^{\mathfrak{s}(π)}$, where $\mathfrak{s}(π)$ is defined as the cardinality $k$ such that $π$ is the minimal product of transpositions of the form $s_i=(i,i+1)$ and $k$ is the number of distinct $s_i$ that appear.
11/4-colorability of subcubic triangle-free graphs
Published in Zdeněk Dvořák, Bernard Lidický, and Luke Postle: 11/4-colorability of subcubic triangle-free graphs, Advances in Combinatorics 2025:5, 61pp
• View Publication
• BIB
We prove that up to two exceptions, every connected subcubic triangle-free graph has fractional chromatic number at most 11/4. This is tight unless further exceptional graphs are excluded, and improves the known bound on the fractional chromatic number of subcubic triangle-free planar graphs.
On the compatible sets expansion of the Tutte polynomial
Published in Annals of Combinatorics 28 (2024) 33-42
• View Publication
• BIB
Kochol (2021) gave a new expansion formula for the Tutte polynomial of a matroid using the notion of \emph{compatible sets}, and asked how this expansion relates to the internal-external activities formula. Here, we provide an answer, which is obtained as a special case of a generalized version of the expansion formula to Las Vergnas's trivariate Tutte polynomials of matroid perspectives. The same generalization to matroid perspectives and bijection with activities have been independently proven by Kochol (2022 and 2023) in parallel with this work, but using different methods. Kochol proves both results recursively using the contraction-deletion relations, whereas we give a more direct proof of the bijection and use that to deduce the compatible sets expansion formula from Las Vergnas's activities expansion.
Categorifications of Non-Integer Quivers: Types $H_4$, $H_3$ and $I_2(2n+1)$
Published
• View Publication
• BIB
We define the notion of a weighted unfolding of quivers with real weights, and use this to provide a categorification of mutations of quivers of finite types $H_4$, $H_3$ and $I_2(2n+1)$. In particular, the (un)folding induces a semiring action on the categories associated to the unfolded quivers of types $E_8$, $D_6$ and $A_{2n}$ respectively. We then define the tropical seed pattern on the folded quivers, which includes $c$- and $g$-vectors, and show its compatibility with the unfolding.
On Ramsey numbers of 3-uniform Berge cycles
Published
• View Publication
• BIB
For an arbitrary graph $G$, a hypergraph $\mathcal{H}$ is called Berge-$G$ if there is a bijection $Φ:E(G)\longrightarrow E( \mathcal{H})$ such that for each $e\in E(G)$, we have $e\subseteq Φ(e)$. We denote by $\mathcal{B}^rG$, the family of $r$-uniform Berge-$G$ hypergraphs. For families $\mathcal{H}_1, \mathcal{H}_2,\ldots, \mathcal{H}_t$ of $r$-uniform hypergraphs, the Ramsey number $R(\mathcal{H}_1, \mathcal{H}_2,\ldots, \mathcal{H}_t)$ is the smallest integer $n$ such that in every $t$-hyperedge coloring of $\mathcal{K}_{n}^r$ there is a monochromatic copy of a hypergraph in $\mathcal{H}_i$ of color $i$, for some $1\leq i\leq t$.
Recently, the Ramsey problems of Berge hypergraphs have been studied by many researchers.
In this paper, we focus on Ramsey number involving $3$-uniform Berge cycles and we prove that for $n \geq 4$, $ R(\mathcal{B}^3C_n,\mathcal{B}^3C_n,\mathcal{B}^3C_3)=n+1.$ Moreover, for $m \geq n\geq 6$ and $m\geq 11$, we show that $R(\mathcal{B}^3K_m,\mathcal{B}^3C_n)= m+\lfloor \frac{n-1}{2}\rfloor -1.$ This is the first result of Ramsey number for two different families of Berge hypergraphs.
Spectral dynamics of guided edge removals and identifying transient amplifiers for death-Birth updating
Published
• View Publication
• BIB
The paper deals with two interrelated topics, identifying transient amplifiers in an iterative process and analyzing the process by its spectral dynamics, which is the change in the graph spectra by edge manipulations. Transient amplifiers are networks representing population structures which shift the balance between natural selection and random drift. Thus, amplifiers are highly relevant for understanding the relationships between spatial structures and evolutionary dynamics. We study an iterative procedure to identify transient amplifiers for death-Birth updating. The algorithm starts with a regular input graph and iteratively removes edges until desired structures are achieved. Thus, a sequence of candidate graphs is obtained. The edge removals are guided by quantities derived from the sequence of candidate graphs. Moreover, we are interested in the Laplacian spectra of the candidate graphs and analyze the iterative process by its spectral dynamics. The results show that although transient amplifiers for death-Birth updating are rare, a substantial number of them can be obtained by the proposed procedure. The graphs identified share structural properties and have some similarity to dumbbell and barbell graphs. Also, the spectral dynamics possesses characteristic features useful for deducing links between structural and spectral properties and for distinguishing transient amplifiers among evolutionary graphs in general.
Bunkbed conjecture for complete bipartite graphs and related classes of graphs
Let $G = (V,E)$ be a simple finite graph. The corresponding bunkbed graph $G^\pm$ consists of two copies $G^+ = (V^+,E^+),G^- = (V^-,E^-)$ of $G$ and additional edges connecting any two vertices $v_+ \in V_+,v_- \in V_-$ that are the copies of a vertex $v \in V$. The bunkbed conjecture states that for independent bond percolation on $G^\pm$, for all $v,w \in V$, it is more likely for $v_-,w_-$ to be connected than for $v_-,w_+$ to be connected. While this seems very plausible, so far surprisingly little is known rigorously. Recently the conjecture has been proved for complete graphs. Here we give a proof for complete bipartite graphs, complete graphs minus the edges of a complete subgraph, and symmetric complete $k$-partite graphs.
Preimages under the bubblesort operator
Published
• View Publication
• BIB
We study preimages of permutations under the bubblesort operator $\mathbf{B}$. We achieve a description of these preimages much more complete than what is known for the more complicated sorting operators $\mathbf{S}$ (stacksort) and $\mathbf{Q}$ (queuesort). We describe explicitly the set of preimages under $\mathbf{B}$ of any permutation $π$ from the left-to-right maxima of $π$, showing that there are $2^{k-1}$ such preimages if $k$ is the number of these left-to-right maxima. We further consider, for each $n$, the tree $T_n$ recording all permutations of size $n$ in its nodes, in which an edge from child to parent corresponds to an application of $\mathbf{B}$ (the root being the identity permutation), and we present several properties of these trees. In particular, for each permutation $π$, we show how the subtree of $T_n$ rooted at $π$ is determined by the number of left-to-right maxima of $π$ and the length of the longest suffix of left-to-right maxima of $π$. Building on this result, we determine the number of nodes and leaves at every height in such trees, and we recover (resp. obtain) the average height of nodes (resp. leaves) in $T_n$.
Lattice zonotopes of degree 2
Published in Beiträge zur Algebra und Geometrie 64 (2023), 1011-1025
• View Publication
• BIB
The Ehrhart polynomial $ehr_P (n)$ of a lattice polytope $P$ gives the number of integer lattice points in the $n$-th dilate of $P$ for all integers $n\geq 0$. The degree of $P$ is defined as the degree of its $h^\ast$-polynomial, a particular transformation of the Ehrhart polynomial with many useful properties which serves as an important tool for classification questions in Ehrhart theory. A zonotope is the Minkowski (pointwise) sum of line segments. We classify all Ehrhart polynomials of lattice zonotopes of degree $2$ thereby complementing results of Scott (1976), Treutlein (2010), and Henk-Tagami (2009). Our proof is constructive: by considering solid-angles and the lattice width, we provide a characterization of all $3$-dimensional zonotopes of degree $2$.
Some results on Quillen's Conjecture via equivalent-poset techniques
Published
• View Publication
• BIB
We extend the Main Theorem of Aschbacher and Smith on Quillen's Conjecture from $p>5$ to the remaining odd primes $p = 3,5$. In the process, we develop further combinatorial and homotopical methods for studying the poset of nontrivial elementary abelian $p$-subgroups of a finite group. The techniques lead to a number of further results on the Conjecture, often reducing dependence on the CFSG; in particular, we also provide some partial results toward the case of $p=2$.
On subspace designs
Published in EMS Surveys in Mathematical Sciences, 2023
• View Publication
• BIB
Guruswami and Xing introduced subspace designs in 2013 to give the first construction of positive rate rank metric codes list-decodable beyond half the distance. In this paper we provide bounds involving the parameters of a subspace design, showing they are tight via explicit constructions. We point out a connection with sum-rank metric codes, dealing with optimal codes and minimal codes with respect to this metric. Applications to two-intersection sets with respect to hyperplanes, two-weight codes, cutting blocking sets and lossless dimension expanders are also provided.
On robustness and related properties on toric ideals
Published
• View Publication
• BIB
A toric ideal is called robust if its universal Gröbner basis is a minimal set of generators, and is called generalized robust if its universal Gröbner basis equals its universal Markov basis (the union of all its minimal sets of binomial generators). Robust and generalized robust toric ideals are both interesting from both a Commutative Algebra and an Algebraic Statistics perspective. However, only a few nontrivial examples of such ideals are known. In this work we study these properties for toric ideals of both graphs and numerical semigroups. For toric ideals of graphs, we characterize combinatorially the graphs giving rise to robust and to generalized robust toric ideals generated by quadratic binomials. As a byproduct, we obtain families of Koszul rings. For toric ideals of numerical semigroups, we determine that one of its initial ideals is a complete intersection if and only if the semigroup belongs to the so-called family of free numerical semigroups. Hence, we characterize all complete intersection numerical semigroups which are minimally generated by one of its Gröbner basis and, as a consequence, all the Betti numbers of the toric ideal and its corresponding initial ideal coincide. Moreover, also for numerical semigroups, we prove that the ideal is generalized robust if and only if the semigroup has a unique Betti element and that there are only trivial examples of robust ideals. We finish the paper with some open questions.