Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On some congruences using multiple harmonic sums of length three and four
In the present paper, we determine the sums $\sum_{j=1}^{p-1}\frac{H_j^{(s_1)}H_j^{(s_3)}}{j^{s_2}}$ and $\sum_{j=1}^{p-1}\frac{H_j^{(s_1)}H_j^{(s_3)}H_j^{(s_4)}}{j^{s_2}}$ modulo $p$ and modulo $p^2$ in certain cases. This is done by using multiple harmonic sums of length three and four, as well as, many other results. In addition, We recover three congruences conjectured by Z.-W Sun and solved later by the author himself and R. Meštrović.
Duality of graded graphs through operads
Published in Annals of Combinatorics, 2021
• View Publication
• BIB
Pairs of graded graphs, together with the Fomin property of graded graph duality, are rich combinatorial structures providing among other a framework for enumeration. The prototypical example is the one of the Young graded graph of integer partitions, allowing us to connect number of standard Young tableaux and numbers of permutations. Here, we use operads, that algebraic devices abstracting the notion of composition of combinatorial objects, to build pairs of graded graphs. For this, we first construct a pair of graded graphs where vertices are syntax trees, the elements of free nonsymmetric operads. This pair of graphs is dual for a new notion of duality called $φ$-diagonal duality, similar to the ones introduced by Fomin. We also provide a general way to build pairs of graded graphs from operads, wherein underlying posets are analogous to the Young lattice. Some examples of operads leading to new pairs of graded graphs involving integer compositions, Motzkin paths, and $m$-trees are considered.
On Graph Continued Fractions and the Heilmann-Lieb Theorem
Inspired by Viennot's observation that matching polynomials are numerators of branched continued fractions we present a proof of the Heilmann-Lieb Theorem.
Optimal Threshold Padlock Systems
Published
• View Publication
• BIB
In 1968, Liu described the problem of securing documents in a shared secret project. In an example, at least six out of eleven participating scientists need to be present to open the lock securing the secret documents. Shamir proposed a mathematical solution to this physical problem in 1979, by designing an efficient $k$-out-of-$n$ secret sharing scheme based on Lagrange's interpolation. Liu and Shamir also claimed that the minimal solution using physical locks is clearly impractical and exponential in the number of participants. In this paper we relax some implicit assumptions in their claim and propose an optimal physical solution to the problem of Liu that uses physical padlocks, but the number of padlocks is not greater than the number of participants. Then, we show that no device can do better for $k$-out-of-$n$ threshold padlock systems as soon as $k\geq{\sqrt{2n}}$, which holds true in particular for Liu's example. More generally, we derive bounds required to implement any threshold system and prove a lower bound of $\mathcal{O}{\log(n)}$ padlocks for any threshold larger than $2$. For instance we propose an optimal scheme reaching that bound for $2$-out-of-$n$ threshold systems and requiring less than $2\log_2(n)$ padlocks. We also discuss more complex access structures, a wrapping technique, and other sublinear realizations like an algorithm to generate $3$-out-of-$n$ systems with $2.5\sqrt{n}$ padlocks. Finally we give an algorithm building $k$-out-of-$n$ threshold padlock systems with only $\mathcal{O}{\log(n)^{k-1}}$ padlocks. Apart from the physical world, our results also show that it is possible to implement secret sharing over small fields.
Efficient Algorithms for Approximating Quantum Partition Functions
Published in Journal of Mathematical Physics 62, 022201 (2021)
• View Publication
• BIB
We establish a polynomial-time approximation algorithm for partition functions of quantum spin models at high temperature. Our algorithm is based on the quantum cluster expansion of Netočný and Redig and the cluster expansion approach to designing algorithms due to Helmuth, Perkins, and Regts. Similar results have previously been obtained by related methods, and our main contribution is a simple and slightly sharper analysis for the case of pairwise interactions on bounded-degree graphs.
The K-theory of the C*-algebras of 2-rank graphs associated to complete bipartite graphs
Published
• View Publication
• BIB
Using a result of Vdovina, we may associate to each complete connected bipartite graph $κ$ a $2$-dimensional square complex, which we call a tile complex, whose link at each vertex is $κ$. We regard the tile complex in two different ways, each having a different structure as a $2$-rank graph. To each $2$-rank graph is associated a universal C*-algebra, for which we compute the K-theory, thus providing a new infinite collection of $2$-rank graph algebras with explicit K-groups. We determine the homology of the tile complexes, and give generalisations of the procedures to complexes and systems consisting of polygons with a higher number of sides.
Homological Scaffold via Minimal Homology Bases
Published
• View Publication
• BIB
The homological scaffold leverages persistent homology to construct a topologically sound summary of a weighted network. However, its crucial dependency on the choice of representative cycles hinders the ability to trace back global features onto individual network components, unless one provides a principled way to make such a choice. In this paper, we apply recent advances in the computation of minimal homology bases to introduce a quasi-canonical version of the scaffold, called minimal, and employ it to analyze data both real and in silico. At the same time, we verify that, statistically, the standard scaffold is a good proxy of the minimal one for sufficiently complex networks.
Interdependencies of less-equal-relations between partial Lovász-vectors of digraphs
For digraphs $G$ and $H$, let ${\cal H}(G,H)$ be the set of all homomorphisms from $G$ to $H$, and let ${\cal S}(G,H)$ be the subset of those homomorphisms mapping all proper arcs in $G$ to proper arcs in $H$. From an earlier investigation we know that for certain digraphs $R$ and $S$, the relation "$\# {\cal S}(G,R) \leq \# {\cal S}(G,S)$ for all $G \in \mathfrak{ D }'$" implies "$\# {\cal H}(G,R) \leq \# {\cal H}(G,S)$ for all $G \in \mathfrak{ D }'$", where $\mathfrak{ D }'$ is a subclass of digraphs. Now we ask for the inverse: For which digraphs $R, S$ and which subclasses $\mathfrak{ D }'$ of digraphs does "$\# {\cal H}(G,R) \leq \# {\cal H}(G,S)$ for all $G \in \mathfrak{ D }'$" imply "$\# {\cal S}(G,R) \leq \# {\cal S}(G,S)$ for all $G \in \mathfrak{ D }'$"? We prove this implication for three combinations of digraph classes. In particular, the relations are equivalent for all flat posets $R, S$ with respect to all flat posets $G$.
Faster Parallel Multiterminal Cuts
Published
• View Publication
• BIB
We give an improved branch-and-bound solver for the multiterminal cut problem, based on the recent work of Henzinger et al.. We contribute new, highly effective data reduction rules to transform the graph into a smaller equivalent instance. In addition, we present a local search algorithm that can significantly improve a given solution to the multiterminal cut problem. Our exact algorithm is able to give exact solutions to more and harder problems compared to the state-of-the-art algorithm by Henzinger et al.; and give better solutions for more than two third of the problems that are too large to be solved to optimality. Additionally, we give an inexact heuristic algorithm that computes high-quality solutions for very hard instances in reasonable time.
Compact formulas for Macdonald polynomials and quasisymmetric Macdonald polynomials
Published
• View Publication
• BIB
We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam, and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These "quasisymmetric Macdonald polynomials" refine the (symmetric) Macdonald polynomials and specialize to the quasisymmetric Schur polynomials defined by Haglund, Luoto, Mason, and van Willigenburg.
A note on a stability result for the Fano plane
In this note, we adapt the Keevash-Sudakov proof of the (Turán) Stability Theorem for the Fano plane to find an explicit dependency between the parameters $\varepsilon$ and $δ$. This is useful in the solution of a multicolored version for hypergraphs of an extremal problem about edge-colorings, known as the Erdős-Rothschild problem, which may be considered for the Fano plane.
Near optimal sparsity-constrained group testing: improved bounds and algorithms
Published
• View Publication
• BIB
Recent advances in noiseless non-adaptive group testing have led to a precise asymptotic characterization of the number of tests required for high-probability recovery in the sublinear regime $k = n^θ$ (with $θ\in (0,1)$), with $n$ individuals among which $k$ are infected. However, the required number of tests may increase substantially under real-world practical constraints, notably including bounds on the maximum number $Δ$ of tests an individual can be placed in, or the maximum number $Γ$ of individuals in a given test. While previous works have given recovery guarantees for these settings, significant gaps remain between the achievability and converse bounds. In this paper, we substantially or completely close several of the most prominent gaps. In the case of $Δ$-divisible items, we show that the definite defectives (DD) algorithm coupled with a random regular design is asymptotically optimal in dense scaling regimes, and optimal to within a factor of $\eul$ more generally; we establish this by strengthening both the best known achievability and converse bounds. In the case of $Γ$-sized tests, we provide a comprehensive analysis of the regime $Γ= Θ(1)$, and again establish a precise threshold proving the asymptotic optimality of SCOMP (a slight refinement of DD) equipped with a tailored pooling scheme. Finally, for each of these two settings, we provide near-optimal adaptive algorithms based on sequential splitting, and provably demonstrate gaps between the performance of optimal adaptive and non-adaptive algorithms.
Counterexample to a conjecture of Ziegler concerning a simple polytope and its dual
Published
• View Publication
• BIB
Problem 4.19 in Ziegler's "Lectures on Polytopes" asserts that every simple $3$-dimensional polytope has the property that its dual can be constructed as the convex hull of a subset of the vertices of the original simple polytope. In this note we state a higher-dimensional analogue of this conjecture and provide a family of counterexamples for dimension $d \geq 3$.
Finding a shortest odd hole
Published
• View Publication
• BIB
An odd hole in a graph is a induced cycle with odd length greater than 3. In an earlier paper (with Sophie Spirkl), solving a longstanding open problem, we gave a polynomial-time algorithm to test if a graph has an odd hole. We subsequently showed that, for every t, there is a polynomial time algorithm to test whether a graph contains an odd hole of length at least t. In this paper, we give an algorithm that finds a shortest odd hole, if one exists.
Triangles in graphs without bipartite suspensions
Published in Discrete Mathematics 346, no. 6 (2023): 113355
• View Publication
• BIB
Given graphs $T$ and $H$, the generalized Turán number ex$(n,T,H)$ is the maximum number of copies of $T$ in an $n$-vertex graph with no copies of $H$. Alon and Shikhelman, using a result of Erd\H os, determined the asymptotics of ex$(n,K_3,H)$ when the chromatic number of $H$ is greater than 3 and proved several results when $H$ is bipartite. We consider this problem when $H$ has chromatic number 3. Even this special case for the following relatively simple 3-chromatic graphs appears to be challenging.
The suspension $\widehat H$ of a graph $H$ is the graph obtained from $H$ by adding a new vertex adjacent to all vertices of $H$. We give new upper and lower bounds on ex$(n,K_3,\widehat{H})$ when $H$ is a path, even cycle, or complete bipartite graph. One of the main tools we use is the triangle removal lemma, but it is unclear if much stronger statements can be proved without using the removal lemma.
Galois connections for phylogenetic networks and their polytopes
Published
• View Publication
• BIB
We describe Galois connections which arise between two kinds of combinatorial structures, both of which generalize trees with labelled leaves, and then apply those connections to a family of polytopes.
The graphs we study can be imbued with metric properties or associated to vectors. Famous examples are the Billera-Holmes-Vogtmann metric space of phylogenetic trees, and the Balanced Minimal Evolution polytopes of phylogenetic trees described by Eickmeyer, Huggins, Pachter and Yoshida. Recently the space of trees has been expanded to split networks by Devadoss and Petti, while the definition of phylogenetic polytopes has been generalized to encompass 1-nested phylogenetic networks, by Durell and Forcey. The first Galois connection we describe is a reflection between the (unweighted) circular split networks and the 1-nested phylogenetic networks. Another Galois connection exists between certain metric versions of these structures. Reflection between the purely combinatorial posets becomes a coreflection in the geometric case.
Our chief contributions here, beyond the discovery of the Galois connections, are: a translation between approaches using PC-trees and networks, a new way to look at weightings on networks, and a fuller characterization of faces of the phylogenetic polytopes.
A "Challenging Question" of Björner from 1976: Every Infinite Geometric Lattice of Finite Rank Has a Matching
It is proven that every geometric lattice of finite rank greater than 1 has a matching between the points and hyperplanes. This answers a question of Pólya Prize-winner Anders Björner from the 1981 Banff Conference on Ordered Sets, which he raised as a "challenging question" in 1976.
Cyclic Sieving for Cyclic Codes
Published
• View Publication
• BIB
Prompted by a question of Jim Propp, this paper examines the cyclic sieving phenomenon (CSP) in certain cyclic codes. For example, it is shown that, among dual Hamming codes over $F_q$, the generating function for codedwords according to the major index statistic (resp. the inversion statistic) gives rise to a CSP when $q=2$ or $q=3$ (resp. when $q=2$). A byproduct is a curious characterization of the irreducible polynomials in $F_2[x]$ and $F_3[x]$ that are primitive.
Symmetries of tropical moduli spaces of curves
Published
• View Publication
• BIB
We compute the automorphism group $\mathrm{Aut}(Δ_{g, n})$ for all $g, n \geq 0$ such that $3g - 3 + n > 0$, where $Δ_{g, n} \subset M_{g, n}^\mathrm{trop}$ is the moduli space of stable $n$-marked tropical curves of genus $g$ and volume one. In particular, we show that $\mathrm{Aut}(Δ_{g})$ is trivial for $g \geq 2$, while $\mathrm{Aut}(Δ_{g, n}) \cong S_n$ when $n \geq 1$ and $(g, n) \neq (0, 4), (1, 2)$. The space $Δ_{g, n}$ is a symmetric $Δ$-complex in the sense of Chan, Galatius, and Payne, and is identified with the dual intersection complex of the boundary divisor in the Deligne-Mumford-Knudsen moduli space $\overline{\mathcal{M}}_{g, n}$ of stable curves. After the work of Massarenti, who has shown that $\mathrm{Aut}(\overline{\mathcal{M}}_g)$ is trivial for $g \geq 2$ while $\mathrm{Aut}(\overline{\mathcal{M}}_{g, n}) \cong S_n$ when $n \geq 1$ and $2g - 2 + n \geq 3$, our result implies that the tropical moduli space $Δ_{g, n}$ faithfully reflects the symmetries of the algebraic moduli space for general $g$ and $n$.
Flexibility of Planar Graphs -- Sharpening the Tools to Get Lists of Size Four
Published in Discrete Applied Mathematics 306 (2022) 120-132
• View Publication
• BIB
A graph where each vertex $v$ has a list $L(v)$ of available colors is $L$-colorable if there is a proper coloring such that the color of $v$ is in $L(v)$ for each $v$. A graph is $k$-choosable if every assignment $L$ of at least $k$ colors to each vertex guarantees an $L$-coloring. Given a list assignment $L$, an $L$-request for a vertex $v$ is a color $c\in L(v)$. In this paper, we look at a variant of the widely studied class of precoloring extension problems from [Z. Dvořák, S. Norin, and L. Postle: List coloring with requests. J. Graph Theory 2019], wherein one must satisfy "enough", as opposed to all, of the requested set of precolors. A graph $G$ is $\varepsilon$-flexible for list size $k$ if for any $k$-list assignment $L$, and any set $S$ of $L$-requests, there is an $L$-coloring of $G$ satisfying an $\varepsilon$-fraction of the requests in $S$. It is conjectured that planar graphs are $\varepsilon$-flexible for list size $5$, yet it is proved only for list size $6$ and for certain subclasses of planar graphs. We give a stronger version of the main tool used in the proofs of the aforementioned results. By doing so, we improve upon a result by Masařík and show that planar graphs without $K_4^-$ are $\varepsilon$-flexible for list size $5$. We also prove that planar graphs without $4$-cycles and $3$-cycle distance at least 2 are $\varepsilon$-flexible for list size $4$. Finally, we introduce a new (slightly weaker) form of $\varepsilon$-flexibility where each vertex has exactly one request. In that setting, we provide a stronger tool and we demonstrate its usefulness to further extend the class of graphs that are $\varepsilon$-flexible for list size $5$.