Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A point-sphere incidence bound in odd dimensions and applications
Published
• View Publication
• BIB
In this paper, we prove a new point-sphere incidence bound in vector spaces over finite fields. More precisely, let $P$ be a set of points and $S$ be a set of spheres in $\mathbb{F}_q^d$. Suppose that $|P|, |S|\le N$, we prove that the number of incidences between $P$ and $S$ satisfies \[I(P, S)\le N^2q^{-1}+q^{\frac{d-1}{2}}N,\] under some conditions on $d, q$, and radii. This improves the known upper bound $N^2q^{-1}+q^{\frac{d}{2}}N$ in the literature. As an application, we show that for $A\subset \mathbb{F}_q$ with $q^{1/2}\ll |A|\ll q^{\frac{d^2+1}{2d^2}}$, one has \[\max \left\lbrace |A+A|,~ |dA^2|\right\rbrace \gg \frac{|A|^d}{q^{\frac{d-1}{2}}}.\] This improves earlier results on this sum-product type problem over arbitrary finite fields.
Siblings of countable cographs
We show that every countable cograph has either one or infinitely many siblings. This answers, very partially, a conjecture of Thomassé. The main tools are the notion of well quasi ordering and the correspondence between cographs and some labelled ordered trees.
4-Separations in Hajós Graphs
Published
• View Publication
• BIB
As a natural extension of the Four Color Theorem, Hajós conjectured that graphs containing no $K_5$-subdivision are 4-colorable. Any possible counterexample to this conjecture with minimum number of vertices is called a {\it Hajós graph}. Previous results show that Hajós graphs are 4-connected but not 5-connected. A $k$-separation in a graph $G$ is a pair $(G_1,G_2)$ of edge-disjoint subgraphs of $G$ such that $|V(G_1\cap G_2)|=k$, $G=G_1\cup G_2$, and $G_i\not\subseteq G_{3-i}$ for $i=1,2$. In this paper, we show that Hajós graphs do not admit a 4-separation $(G_1,G_2)$ such that $|V(G_1)|\ge 6$ and $G_1$ can be drawn in the plane with no edge crossings and all vertices in $V(G_1\cap G_2)$ incident with a common face. This is a step in our attempt to reduce Hajós' conjecture to the Four Color Theorem.
Partitions into distinct parts with bounded largest part
Published in Res. Number Theory 6 (2020)
• View Publication
• BIB
We prove an asymptotic formula for the number of partitions of $n$ into distinct parts where the largest part is at most $t\sqrt{n}$ for fixed $t \in \mathbb{R}$. Our method follows a probabilistic approach of Romik, who gave a simpler proof of Szekeres' asymptotic formula for distinct parts partitions when instead the number of parts is bounded by $t\sqrt{n}$. Although equivalent to a circle method/saddle-point method calculation, the probabilistic approach predicts the shape of the asymptotic formula, to some degree.
Trimming the permutahedron to extend the parking space
Published
• View Publication
• BIB
Berget and Rhoades asked whether the permutation representation obtained by the action of $S_{n-1}$ on parking functions of length $n-1$ can be extended to a permutation action of $S_{n}$. We answer this question in the affirmative. We realize our module in two different ways. The first description involves binary Lyndon words and the second involves the action of the symmetric group on the lattice points of the trimmed standard permutahedron.
Polygons in three-dimensional space
Let $P=A_1\ldots A_n$ be a generic polygon in three-dimensional space and let $v_1,v_2,\ldots,v_n$ be vectors $\overline{A_1A_2},\overline{A_2A_3},\ldots,\overline{A_nA_1}$, respectively. $P$ will be called \emph{regular}, if there exist vectors $u_1,\ldots,u_n$ such that cross products $[u_1,u_2],[u_2,u_3],\ldots,[u_n,u_1]$ are equal to vectors $v_2,v_3,\ldots,v_1$, respectively. In this case the polygon $P'$, defined be vectors $u_2-u_1,u_3-u_2,\ldots,u_1-u_n$ will be called the \emph{derived polygon} or the \emph{derivative} of the polygon $P$. In this work we formulate conditions for regularity and discuss geometric properties of derived polygons for $n=4,5,6$.
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.