Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Geometric group testing
Published
• View Publication
• BIB
Group testing is concerned with identifying $t$ defective items in a set of $m$ items, where each test reports whether a specific subset of items contains at least one defective. In non-adaptive group testing, the subsets to be tested are fixed in advance. By testing multiple items at once, the required number of tests can be made much smaller than $m$. In fact, for $t \in \mathcal{O}(1)$, the optimal number of (non-adaptive) tests is known to be $Θ(\log{m})$.
In this paper, we consider the problem of non-adaptive group testing in a geometric setting, where the items are points in $d$-dimensional Euclidean space and the tests are axis-parallel boxes (hyperrectangles). We present upper and lower bounds on the required number of tests under this geometric constraint. In contrast to the general, combinatorial case, the bounds in our geometric setting are polynomial in $m$. For instance, our results imply that identifying a defective pair in a set of $m$ points in the plane always requires $Ω(m^{3/5})$ tests, and there exist configurations of $m$ points for which $\mathcal{O}(m^{2/3})$ tests are sufficient, whereas to identify a single defective point in the plane, $Θ(m^{1/2})$ tests are always necessary and sometimes sufficient.
Spectral Theory of Laplace Operators on Oriented Hypergraphs
Published in Discrete Mathematics 344(6) (2021) 112372
• View Publication
• BIB
Several new spectral properties of the normalized Laplacian defined for oriented hypergraphs are shown. The eigenvalue $1$ and the case of duplicate vertices are discussed; two Courant nodal domain theorems are established; new quantities that bound the eigenvalues are introduced. In particular, the Cheeger constant is generalized and it is shown that the classical Cheeger bounds can be generalized for some classes of hypergraphs; it is shown that a geometric quantity used to study zonotopes bounds the largest eigenvalue from below, and that the notion of coloring number can be generalized and used for proving a Hoffman-like bound. Finally, the spectrum of the unnormalized Laplacian for Cartesian products of hypergraphs is discussed.
An asymptotic version of the union-closed sets conjecture
Published
• View Publication
• BIB
We show that the biggest possible average set size in the complement $2^{\{1,2,\ldots, n\}} \setminus A$ of a union-closed family $A \subset 2^{\{1,2, \ldots, n\}}$ is $\tfrac{n+1}{2}$. With the same proof we get a sharp upper bound for the average frequency in complements of union-closed families. This implies an asymptotic version of the union-closed sets conjecture, formulated in terms of complements of union-closed families.
Dispersion of digital $(0,m,2)$-nets
Published in Monatshefte für Mathematik (195),pp. 155-171, 2021
• View Publication
• BIB
We study the dispersion of digital $(0,m,2)$-nets; i.e. the size of the largest axes-parallel box within such point sets. Digital nets are an important class of low-discrepancy point sets. We prove tight lower and upper bounds for certain subclasses of digital nets where the generating matrices are of triangular form and compute the dispersion of special nets such as the Hammersley point set exactly.
From representations of the rational Cherednik algebra to parabolic Hilbert schemes via the Dunkl-Opdam subalgebra
Published in Transformation Groups, 2022
• View Publication
• BIB
In this note we explicitly construct an action of the rational Cherednik algebra $H_{1,m/n}(S_n,\mathbb{C}^n)$ corresponding to the permutation representation of $S_n$ on the $\mathbb{C}^{*}$-equivariant homology of parabolic Hilbert schemes of points on the plane curve singularity $\{x^{m} = y^{n}\}$ for coprime $m$ and $n$. We use this to construct actions of quantized Gieseker algebras on parabolic Hilbert schemes on the same plane curve singularity, and actions of the Cherednik algebra at $t = 0$ on the equivariant homology of parabolic Hilbert schemes on the non-reduced curve $\{y^{n} = 0\}.$ Our main tool is the study of the combinatorial representation theory of the rational Cherednik algebra via the subalgebra generated by Dunkl-Opdam elements.
Invertible Elements of the Misere Dicotic Universe
We present a characterization of the invertible elements of the misere dicotic universe.
Randomized greedy algorithm for independent sets in regular uniform hypergraphs with large girth
Published
• View Publication
• BIB
In this paper, we consider a randomized greedy algorithm for independent sets in $r$-uniform $d$-regular hypergraphs $G$ on $n$ vertices with girth $g$. By analyzing the expected size of the independent sets generated by this algorithm, we show that $α(G)\geq (f(d,r)-ε(g,d,r))n$, where $ε(g,d,r)$ converges to $0$ as $g\rightarrow\infty$ for fixed $d$ and $r$, and $f(d,r)$ is determined by a differential equation. This extends earlier results of Gamarnik and Goldberg for graphs. We also prove that when applying this algorithm to uniform linear hypergraphs with bounded degree, the size of the independent sets generated by this algorithm concentrate around the mean asymptotically almost surely.
The structure of $I_4$-free and triangle-free binary matroids
Published
• View Publication
• BIB
A simple binary matroid is called $I_4$-free if none of its rank-4 flats are independent sets. These objects can be equivalently defined as the sets $E$ of points in $PG(n-1,2)$ for which $|E \cap F|$ is not a basis of $F$ for any four-dimensional flat $F$. We prove a decomposition theorem that exactly determines the structure of all $I_4$-free and triangle-free matroids. In particular, our theorem implies that the $I_4$-free and triangle-free matroids have critical number at most $2$.
The topology and geometry of random square-tiled surfaces
Published
• View Publication
• BIB
A square-tiled surface (STS) is a branched cover of the standard square torus with branching over exactly one point. In this paper we consider a randomizing model for STSs and generalizations to branched covers of other simple translation surfaces which we call polygon-tiled surfaces. We obtain a local central limit theorem for the genus and subsequently obtain that the distribution of the genus is asymptotically normal. We also study holonomy vectors (Euclidean displacement vectors between cone points) on a random STS. We show that asymptotically almost surely the set of holonomy vectors of a random STS contains the set of primitive vectors of $\mathbb{Z}^2$ and with probability approaching $1/e$, these sets are equal.
2-intersecting permutations
Published
• View Publication
• BIB
In this paper we consider the Erdős-Ko-Rado property for both $2$-pointwise and $2$-setwise intersecting permutations. Two permutations $σ,τ\in Sym(n)$ are $t$-setwise intersecting if there exists a $t$-subset $S$ of $\{1,2,\dots,n\}$ such that $S^σ= S^τ$. If for each $s\in S$, $s^σ= s^τ$, then we say $σ$ and $τ$ are $t$-pointwise intersecting. We say that $Sym(n)$ has the $t$-setwise (resp. $t$-pointwise) intersecting property if for any family $\mathcal{F}$ of $t$-setwise (resp. $t$-pointwise) intersecting permutations, $|\mathcal{F}| \leq (n-t)!t!$ (resp. $|\mathcal{F}| \leq (n-t)!$). Ellis (["Setwise intersecting families of permutation". { Journal of Combinatorial Theory, Series A}, 119(4):825-849, 2012.]), proved that for $n$ sufficiently large relative to $t$, $Sym(n)$ has the $t$-setwise intersecting property. Ellis also conjuctured that this result holds for all $n \geq t$. Ellis, Friedgut and Pilpel [Ellis, David, Ehud Friedgut, and Haran Pilpel. "Intersecting families of permutations." {Journal of the American Mathematical Society} 24(3):649-682, 2011.] also proved that for $n$ sufficiently large relative to $t$, $Sym(n)$ has the $t$-pointwise intersecting property. It is also conjectured that $Sym(n)$ has the $t$-pointwise intersecting propoperty for $n\geq 2t+1$. In this work, we prove these two conjectures for $Sym(n)$ when $t=2$.
An Averaging Processes on Hypergraphs
Published
• View Publication
• BIB
Consider the following iterated process on a hypergraph $H$. Each vertex $v$ has an initial vertex weight. At each step, we uniformly at random select an edge $F$ in $H$, and for each vertex $v$ in $F$ we replace the weight of $v$ by the average value of the vertex weights over all vertices in $F$. This is a generalization of an interactive process on graphs, first proposed by Aldous and Lanoue. In this paper, we use the eigenvalues of a Laplacian for hypergraphs to bound the rate of convergence for the iterated averaging process.
Quelques éléments de combinatoire des matrices de $SL_{2}(\mathbb{Z})$
Published in Bulletin des Sciences Math{é}matiques, 167, (2021)
• View Publication
• BIB
A Theorem of V.Ovsienko characterizes sequences of positive integers $(a_1,a_2,\ldots,a_n)$ such that the $(2\times2)$-matrix $\begin{pmatrix} a_n & -1 \\ 1 & 0 \end{pmatrix}\cdots \begin{pmatrix} a_1 & -1 \\ 1 & 0 \end{pmatrix}$ is equal to $\pm Id$. In this paper, we study this equation when we replace $\pm Id$ by $\pm M$. In particular, we give a combinatorial description of the solutions of this equation in terms of dissections of convex polygons in the cases $M=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$ and $M=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$.
Some snarks are worse than others
Published
• View Publication
• BIB
Many conjectures and open problems in graph theory can either be reduced to cubic graphs or are directly stated for cubic graphs. Furthermore, it is known that for a lot of problems, a counterexample must be a snark, i.e. a bridgeless cubic graph which is not 3--edge-colourable. In this paper we deal with the fact that the family of potential counterexamples to many interesting conjectures can be narrowed even further to the family ${\cal S}_{\geq 5}$ of bridgeless cubic graphs whose edge set cannot be covered with four perfect matchings. The Cycle Double Cover Conjecture, the Shortest Cycle Cover Conjecture and the Fan-Raspaud Conjecture are examples of statements for which ${\cal S}_{\geq 5}$ is crucial. In this paper, we study parameters which have the potential to further refine ${\cal S}_{\geq 5}$ and thus enlarge the set of cubic graphs for which the mentioned conjectures can be verified. We show that ${\cal S}_{\geq 5}$ can be naturally decomposed into subsets with increasing complexity, thereby producing a natural scale for proving these conjectures. More precisely, we consider the following parameters and questions: given a bridgeless cubic graph, (i) how many perfect matchings need to be added, (ii) how many copies of the same perfect matching need to be added, and (iii) how many 2--factors need to be added so that the resulting regular graph is Class I? We present new results for these parameters and we also establish some strong relations between these problems and some long-standing conjectures.
An asymmetric random Rado theorem for single equations: the $0$-statement
Published
• View Publication
• BIB
A famous result of Rado characterises those integer matrices $A$ which are partition regular, i.e. for which any finite colouring of the positive integers gives rise to a monochromatic solution to the equation $Ax=0$. Aigner-Horev and Person recently stated a conjecture on the probability threshold for the binomial random set $[n]_p$ having the asymmetric random Rado property: given partition regular matrices $A_1, \dots, A_r$ (for a fixed $r \geq 2$), however one $r$-colours $[n]_p$, there is always a colour $i \in [r]$ such that there is an $i$-coloured solution to $A_i x=0$. This generalises the symmetric case, which was resolved by Rödl and Ruciński, and Friedgut, Rödl and Schacht. Aigner-Horev and Person proved the $1$-statement of their asymmetric conjecture. In this paper, we resolve the $0$-statement in the case where the $A_i x=0$ correspond to single linear equations. Additionally we close a gap in the original proof of the 0-statement of the (symmetric) random Rado theorem.
A large gap in a dilate of a set
Published
• View Publication
• BIB
Let $A \subset \mathbb{F}_p$ with $|A| > 1$. We show there is a $d \in \mathbb{F}_p^{\times}$ such that $d \cdot A$ contains a gap of size at least $2p/ |A| - 2 $.
Planar Turán number of the 6-cycle
Published
• View Publication
• BIB
Let ${\rm ex}_{\mathcal{P}}(n,T,H)$ denote the maximum number of copies of $T$ in an $n$-vertex planar graph which does not contain $H$ as a subgraph. When $T=K_2$, ${\rm ex}_{\mathcal{P}}(n,T,H)$ is the well studied function, the planar Turán number of $H$, denoted by ${\rm ex}_{\mathcal{P}}(n,H)$. The topic of extremal planar graphs was initiated by Dowden (2016). He obtained sharp upper bound for both ${\rm ex}_{\mathcal{P}}(n,C_4)$ and ${\rm ex}_{\mathcal{P}}(n,C_5)$. Later on, Y. Lan, et al. continued this topic and proved that ${\rm ex}_{\mathcal{P}}(n,C_6)\leq \frac{18(n-2)}{7}$. In this paper, we give a sharp upper bound ${\rm ex}_{\mathcal{P}}(n,C_6) \leq \frac{5}{2}n-7$, for all $n\geq 18$, which improves Lan's result. We also pose a conjecture on ${\rm ex}_{\mathcal{P}}(n,C_k)$, for $k\geq 7$.
The size-Ramsey number of short subdivisions
The $r$-size-Ramsey number $\hat{R}_r(H)$ of a graph $H$ is the smallest number of edges a graph $G$ can have, such that for every edge-coloring of $G$ with $r$ colors there exists a monochromatic copy of $H$ in $G$. For a graph $H$, we denote by $H^q$ the graph obtained from $H$ by subdividing its edges with $q{-}1$ vertices each. In a recent paper of Kohayakawa, Retter and R{ö}dl, it is shown that for all constant integers $q,r\geq 2$ and every graph $H$ on $n$ vertices and of bounded maximum degree, the $r$-size-Ramsey number of $H^q$ is at most $(\log n)^{20(q-1)}n^{1+1/q}$, for $n$ large enough. We improve upon this result using a significantly shorter argument by showing that $\hat{R}_r(H^q)\leq O(n^{1+1/q})$ for any such graph $H$.
Multidimensional permanents of polystochastic matrices
Published in Linear Algebra Appl. 586 (2020), 89-102
• View Publication
• BIB
A $d$-dimensional matrix is called \emph{$1$-polystochastic} if it is non-negative and the sum over each line equals~$1$. Such a matrix that has a single $1$ in each line and zeros elsewhere is called a \emph{$1$-permutation} matrix. A \emph{diagonal} of a $d$-dimensional matrix of order $n$ is a choice of $n$ elements, no two in the same hyperplane. The \emph{permanent} of a $d$-dimensional matrix is the sum over the diagonals of the product of the elements within the diagonal.
For a given order $n$ and dimension $d$, the set of $1$-polystochastic matrices forms a convex polytope that includes the $1$-permutation matrices within its set of vertices. For even $n$ and odd $d$, we give a construction for a class of $1$-permutation matrices with zero permanent. Consequently, we show that the set of $1$-polystochastic matrices with zero permanent contains at least $n^{n^{3/2}(1/2-o(1))}$ $1$-permutation matrices and contains a polytope of dimension at least $cn^{3/2}$ for fixed $c,d$ and even $n\to\infty$. We also provide counterexamples to a conjecture by Taranenko about the location of local extrema of the permanent.
For odd $d$, we give a construction of $1$-permutation matrices that decompose into a convex linear sum of positive diagonals. These combine with a theorem of Taranenko to provide counterexamples to a conjecture by Dow and Gibson generalising van der Waerden's conjecture to higher dimensions.
Walks with Small Steps in the 4D-Orthant
Published
• View Publication
• BIB
We provide some first experimental data about generating functions of restricted lattice walks with small steps in NN^4.
An Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs
Published
• View Publication
• BIB
A "genome structure" is a labeled directed graph with vertices of degree 1 or 2. A set of operations over such graphs is fixed, and each of the operations has a certain cost, a strictly positive number. The transformation problem consists in the following: for given structures a and b and given costs, find a minimum total cost sequence of operations transforming a into b ("the shortest transformation of a into b"). Each operation corresponds to an "event", the latter being a change in the graph caused by executing one of the operations over it. The possibility of assigning different costs is important in applications, since it allows to distinguish between frequent and rare events. Apparently, arbitrary costs make the problem NP-hard, which results in nontriviality of passing from one restriction on costs to another, if the problem is solved by a linear or at least polynomial algorithm (assuming that P is not equal NP). We propose a novel linear time and space algorithm which constructs a sequence of operations transforming a to b with total cost close or equal to the absolute minimum. Namely, if all the so-called DCJ operations have the same cost w and if deletions and insertions have costs either both larger or both less than w, then the algorithm outputs a transformation of a into b with the total cost differing from the absolute minimum by at most 2w (in the former case) or equal to it (in the latter case). In some cases, the algorithm outputs an exact solution, e.g., in the case of circular genome structures. The condition on the costs of deletions and insertions can be omitted (although the proof described below does not include this general case).