Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Minimal multiple blocking sets
Published
• View Publication
• BIB
We prove that a minimal $t$-fold blocking set in a finite projective plane of order $n$ has cardinality at most \[\frac{1}{2} n\sqrt{4tn - (3t + 1)(t - 1)} + \frac{1}{2} (t - 1)n + t.\] This is the first general upper bound on the size of minimal $t$-fold blocking sets in finite projective planes and it generalizes the classical result of Bruen and Thas on minimal blocking sets. From the proof it directly follows that if equality occurs in this bound then every line intersects the blocking set $S$ in either $t$ points or $\frac{1}{2}(\sqrt{4tn - (3t + 1)(t - 1)} + t - 1) + 1$ points. We use this to show that for $n$ a prime power, equality can occur in our bound in exactly one of the following three cases: (a) $t = 1$, $n$ is a square and $S$ is a unital; (b) $t = n - \sqrt{n}$, $n$ is a square and $S$ is the complement of a Baer subplane; (c) $t = n$ and $S$ is equal to the set of all points except one. For a square prime power $q$ and $t \leq \sqrt{q} + 1$, we give a construction of a minimal $t$-fold blocking set $S$ in $\mathrm{PG}(2,q)$ with $|S| = q\sqrt{q} + 1 + (t - 1)(q - \sqrt{q} + 1)$. Furthermore, we obtain an upper bound on the size of minimal blocking sets in symmetric $2$-designs and use it to give new proofs of other known results regarding tangency sets in higher dimensional finite projective spaces. We also discuss further generalizations of our bound. In our proofs we use an incidence bound on combinatorial designs which follows from applying the expander mixing lemma to the incidence graph of these designs.
Maximum Likelihood Threshold and Generic Completion Rank of Graphs
Published
• View Publication
• BIB
The minimum number of observations such that the maximum likelihood estimator in a Gaussian graphical model exists with probability one is called the maximum likelihood threshold of the underlying graph G. The natural algebraic relaxation is the generic completion rank introduced by Uhler. We show that the maximum likelihood threshold and the generic completion rank behave in the same way under clique sums, which gives us large families of graphs on which these invariants coincide. On the other hand we determine both invariants for complete bipartite graphs $K_{m,n}$ and show that for some choices of m and n the two parameters may be quite far apart. In particular, this gives the first examples of graphs on which the maximum likelihood threshold and the generic completion rank do not agree.
Burling graphs, chromatic number, and orthogonal tree-decompositions
Published in Electronic Journal of Combinatorics, 25/1:P1.35, 2018
• View Publication
• BIB
A classic result of Asplund and Grünbaum states that intersection graphs of axis-aligned rectangles in the plane are $χ$-bounded. This theorem can be equivalently stated in terms of path-decompositions as follows: There exists a function $f:\mathbb{N}\to\mathbb{N}$ such that every graph that has two path-decompositions such that each bag of the first decomposition intersects each bag of the second in at most $k$ vertices has chromatic number at most $f(k)$. Recently, Dujmović, Joret, Morin, Norin, and Wood asked whether this remains true more generally for two tree-decompositions. In this note we provide a negative answer: There are graphs with arbitrarily large chromatic number for which one can find two tree-decompositions such that each bag of the first decomposition intersects each bag of the second in at most two vertices. Furthermore, this remains true even if one of the two decompositions is restricted to be a path-decomposition. This is shown using a construction of triangle-free graphs with unbounded chromatic number due to Burling, which we believe should be more widely known.
Colouring exact distance graphs of chordal graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$. Recently, there has been an effort to obtain bounds on the chromatic number $χ(G^{[\natural p]})$ of exact distance-$p$ graphs for $G$ from certain classes of graphs. In particular, if a graph $G$ has tree-width $t$, it has been shown that $χ(G^{[\natural p]}) \in \mathcal{O}(p^{t-1})$ for odd $p$, and $χ(G^{[\natural p]}) \in \mathcal{O}(p^{t}Δ(G))$ for even $p$. We show that if $G$ is chordal and has tree-width $t$, then $χ(G^{[\natural p]}) \in \mathcal{O}(p\, t^2)$ for odd $p$, and $χ(G^{[\natural p]}) \in \mathcal{O}(p\, t^2 Δ(G))$ for even $p$.
If we could show that for every graph $H$ of tree-width $t$ there is a chordal graph $G$ of tree-width $t$ which contains $H$ as an isometric subgraph (i.e., a distance preserving subgraph), then our results would extend to all graphs of tree-width $t$. While we cannot do this, we show that for every graph $H$ of genus $g$ there is a graph $G$ which is a triangulation of genus $g$ and contains $H$ as an isometric subgraph.
Bohr sets and multiplicative diophantine approximation
Published in Duke Math. J. 167, no. 9 (2018), 1623-1642
• View Publication
• BIB
In two dimensions, Gallagher's theorem is a strengthening of the Littlewood conjecture that holds for almost all pairs of real numbers. We prove an inhomogeneous fibre version of Gallagher's theorem, sharpening and making unconditional a result recently obtained conditionally by Beresnevich, Haynes and Velani. The idea is to find large generalised arithmetic progressions within inhomogeneous Bohr sets, extending a construction given by Tao. This precise structure enables us to verify the hypotheses of the Duffin--Schaeffer theorem for the problem at hand, via the geometry of numbers.
On Jacobian group and complexity of I-graph I(n,k,l) through Chebyshev polynomials
Published
• View Publication
• BIB
We consider a family of I-graphs I(n,k,l), which is a generalization of the class of generalized Petersen graphs. In the present paper, we provide a new method for counting Jacobian group of the I-graph I(n,k,l). We show that the minimum number of generators of Jac(I(n,k,l)) is at least two and at most 2k + 2l - 1. Also, we obtain a closed formula for the number of spanning trees of I(n,k,l) in terms of Chebyshev polynomials. We investigate some arithmetical properties of this number and its asymptotic behaviour.
Connected sums of $Z$-knotted triangulations
Published
• View Publication
• BIB
An embedded graph is called $z$-knotted if it contains the unique zigzag (up to reversing). We consider $z$-knotted triangulations, i.e. $z$-knotted embedded graphs whose faces are triangles, and describe all cases when the connected sum of two $z$-knotted triangulations is $z$-knotted.
Limit shapes of stable configurations of a generalized Bulgarian solitaire
Bulgarian solitaire is played on $n$ cards divided into several piles; a move consists of picking one card from each pile to form a new pile. In a recent generalization, $σ$-Bulgarian solitaire, the number of cards you pick from a pile is some function $σ$ of the pile size, such that you pick $σ(h)\le h$ cards from a pile of size $h$. Here we consider a special class of such functions. Let us call $σ$ well-behaved if $σ(1)=1$ and if both $σ(h)$ and $h-σ(h)$ are non-decreasing functions of $h$. Well-behaved $σ$-Bulgarian solitaire has a geometric interpretation in terms of layers at certain levels being picked in each move. It also satisfies that if a stable configuration of $n$ cards exists it is unique. Moreover, if piles are sorted in order of decreasing size ($λ_1 \ge λ_2\ge \dots$) then a configuration is convex if and only if it is a stable configuration of some well-behaved $σ$-Bulgarian solitaire. If sorted configurations are represented by Young diagrams and scaled down to have unit height and unit area, the stable configurations corresponding to an infinite sequence of well-behaved functions ($σ_1, σ_2, \dots$) may tend to a limit shape $φ$. We show that every convex $φ$ with certain properties can arise as the limit shape of some sequence of well-behaved $σ_n$. For the special case when $σ_n(h)=\lceil q_n h \rceil$ for $0 < q_n \le 1$, these limit shapes are triangular (in case $q_n^2 n\rightarrow 0$), or exponential (in case $q_n^2 n\rightarrow \infty$), or interpolating between these shapes (in case $q_n^2 n\rightarrow C>0$).
Decomposition techniques applied to the Clique-Stable set Separation problem
Published
• View Publication
• BIB
In a graph, a Clique-Stable Set separator (CS-separator) is a family $\mathcal{C}$ of cuts (bipartitions of the vertex set) such that for every clique $K$ and every stable set $S$ with $K \cap S = \emptyset$, there exists a cut $( W,W')$ in $\mathcal{C}$ such that $K \subseteq W$ and $S \subseteq W'$. Starting from a question concerning extended formulations of the Stable Set polytope and a related complexity communication problem, Yannakakis [17] asked in 1991 the following questions: does every graph admit a polynomial-size CS-separator? If not, does every perfect graph do? Several positive and negative results related to this question were given recently. Here we show how graph decomposition can be used to prove that a class of graphs admits a polynomial CS-separator. We apply this method to apple-free graphs and cap-free graphs.
Universality for critical heavy-tailed network models: Metric structure of maximal components
Published in Electron. J. Probab. 25, no. 47, 1-57 (2020)
• View Publication
• BIB
We study limits of the largest connected components (viewed as metric spaces) obtained by critical percolation on uniformly chosen graphs and configuration models with heavy-tailed degrees. For rank-one inhomogeneous random graphs, such results were derived by Bhamidi, van der Hofstad, Sen [Probab. Theory Relat. Fields 2018]. We develop general principles under which the identical scaling limits as the rank-one case can be obtained. Of independent interest, we derive refined asymptotics for various susceptibility functions and the maximal diameter in the barely subcritical regime.
Vertex connectivity of the power graph of a finite cyclic group
Published
• View Publication
• BIB
Let $n=p_1^{n_1}p_2^{n_2}\ldots p_r^{n_r}$, where $r,n_1,\ldots, n_r$ are positive integers and $p_1,p_2,\ldots,p_r$ are distinct prime numbers with $p_1<p_2<\cdots <p_r$. For the cyclic group $C_n$ of order $n$, let $\mathcal{P}(C_n)$ be the power graph of $C_n$ and $κ(\mathcal{P}(C_n))$ be the vertex connectivity of $\mathcal{P}(C_n)$. It is known that $κ(\mathcal{P}(C_n))=p_1^{n_1} -1$ if $r=1$. For $r\geq 2$, we determine the exact value of $κ(\mathcal{P}(C_n))$ when $2φ(p_1\ldots p_{r-1})\geq p_1\ldots p_{r-1}$, and give an upper bound for $κ(\mathcal{P}(C_n))$ when $2φ(p_1\ldots p_{r-1}) < p_1\ldots p_{r-1}$, which is sharp for many values of $n$ but equality need not hold always.
Layers and Matroids for the Traveling Salesman's Paths
Published
• View Publication
• BIB
Gottschalk and Vygen proved that every solution of the subtour elimination linear program for traveling salesman paths is a convex combination of more and more restrictive "generalized Gao-trees". We give a short proof of this fact, as a layered convex combination of bases of a sequence of increasingly restrictive matroids. A strongly polynomial, combinatorial algorithm follows for finding this convex combination, which is a new tool offering polyhedral insight, already instrumental in recent results for the $s-t$ path TSP.
Linear combinations of Rademacher random variables
For a fixed unit vector $a=(a_1,a_2,\ldots,a_n)\in S^{n-1}$, we consider the $2^n$ sign vectors $\varepsilon=(\varepsilon^1,\varepsilon^2,\ldots,\varepsilon^n)\in \{+1,-1\}^n$ and the corresponding scalar products $\varepsilon\cdot a=\sum_{i=1}^n \varepsilon^ia_i$. In this paper we will solve for $n=1,2,\ldots,9$ an old conjecture stating that of the $2^n$ sums of the form $\sum\pm a_i$ it is impossible that there are more with $|\sum_{i=1}^n \pm a_i|>1$ than there are with $|\sum_{i=1}^n \pm a_i|\leq1$. Although the problem has been solved completely in case the $a_i$'s are equal, the more general problem with possible non-equal $a_i$'s remains open for values of $n\geq 10$. The present method can also be used for $n\geq 10$, but unfortunately the technical difficulties seem to grow exponentially with $n$ and no "induction type of argument" has been found. The conjecture has an appealing reformulation in probability theory and in geometry. In probability theory the results lead to upper bounds which are much better than for instance Chebyshevnequalities.
Motzkin Numbers: an Operational Point of View
The Motzkin numbers can be derived as coefficients of hybrid polynomials. Such an identification allows the derivation of new identities for this family of numbers and offers a tool to investigate previously unnoticed links with the theory of special functions and with the relevant treatment in terms of operational means. The use of umbral methods opens new directions for further developments and generalizations, which leads, e.g., to the identification of new Motzkin associated forms.
The unit theorem for finite-dimensional algebras
Published
• View Publication
• BIB
The "unit theorem" to which the present mini-course is devoted is a theorem from algebra that has a combinatorial flavour, and that originated in fact from algebraic combinatorics. Beyond a proof, the course also addresses applications, one of which is a proof of the normal basis theorem from Galois theory.
Linearly many rainbow trees in properly edge-coloured complete graphs
Published
• View Publication
• BIB
A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. The study of rainbow decompositions has a long history, going back to the work of Euler on Latin squares. In this paper we discuss three problems about decomposing complete graphs into rainbow trees: the Brualdi-Hollingsworth Conjecture, Constantine's Conjecture, and the Kaneko-Kano-Suzuki Conjecture. We show that in every proper edge-colouring of $K_n$ there are $10^{-6}n$ edge-disjoint spanning isomorphic rainbow trees. This simultaneously improves the best known bounds on all these conjectures. Using our method we also show that every properly $(n-1)$-edge-coloured $K_n$ has $n/9$ edge-disjoint rainbow trees, giving further improvement on the Brualdi-Hollingsworth Conjecture.
Renormalization: a quasi-shuffle approach
Published
• View Publication
• BIB
In recent years, the usual BPHZ algorithm for renormalization in perturbative quantum field theory has been interpreted, after dimensional regularization, as a Birkhoff decomposition of characters on the Hopf algebra of Feynman graphs, with values in a Rota-Baxter algebra of amplitudes. We associate in this paper to any such algebra a universal semi-group (different in nature from the Connes-Marcolli "cosmical Galois group"). Its action on the physical amplitudes associated to Feynman graphs produces the expected operations: Bogoliubov's preparation map, extraction of divergences, renormalization. In this process a key role is played by commutative and noncommutative quasi-shuffle bialgebras whose universal properties are instrumental in encoding the renormalization process.
Point-to-line polymers and orthogonal Whittaker functions
Published in Trans. Amer. Math. Soc., 371(12): 8339-8379 (2019)
• View Publication
• BIB
We study a one dimensional directed polymer model in an inverse-gamma random environment, known as the log-gamma polymer, in three different geometries: point-to-line, point-to-half line and when the polymer is restricted to a half space with end point lying free on the corresponding half line.Via the use of A.N.Kirillov's geometric Robinson-Schensted-Knuth correspondence, we compute the Laplace transform of the partition functions in the above geometries in terms of orthogonal Whittaker functions, thus obtaining new connections between the ubiquitous class of Whittaker functions and exactly solvable probabilistic models. In the case of the first two geometries we also provide multiple contour integral formulae for the corresponding Laplace transforms. Passing to the zero-temperature limit, we obtain new formulae for the corresponding last passage percolation problems with exponential weights.
Subset sum problem in polycyclic groups
Published
• View Publication
• BIB
We consider a group-theoretic analogue of the classic subset sum problem. It is known that every virtually nilpotent group has polynomial time decidable subset sum problem. In this paper we use subgroup distortion to show that every polycyclic non-virtually-nilpotent group has NP-complete subset sum problem.
Distributed Distance-Bounded Network Design Through Distributed Convex Programming
Solving linear programs is often a challenging task in distributed settings. While there are good algorithms for solving packing and covering linear programs in a distributed manner (Kuhn et al.~2006), this is essentially the only class of linear programs for which such an algorithm is known. In this work we provide a distributed algorithm for solving a different class of convex programs which we call "distance-bounded network design convex programs". These can be thought of as relaxations of network design problems in which the connectivity requirement includes a distance constraint (most notably, graph spanners). Our algorithm runs in $O( (D/ε) \log n)$ rounds in the $\mathcal{LOCAL}$ model and finds a $(1+ε)$-approximation to the optimal LP solution for any $0 < ε\leq 1$, where $D$ is the largest distance constraint. While solving linear programs in a distributed setting is interesting in its own right, this class of convex programs is particularly important because solving them is often a crucial step when designing approximation algorithms. Hence we almost immediately obtain new and improved distributed approximation algorithms for a variety of network design problems, including Basic $3$- and $4$-Spanner, Directed $k$-Spanner, Lowest Degree $k$-Spanner, and Shallow-Light Steiner Network Design with a spanning demand graph. Our algorithms do not require any "heavy" computation and essentially match the best-known centralized approximation algorithms, while previous approaches which do not use heavy computation give approximations which are worse than the best-known centralized bounds.